FORMULAS

➀	~forall s, t (s <->* t)
➁	~forall s, t (s <->* t)

	➀			➁
version	collapsing-SCCs	✔		unoptimized
total	122	122		122
yes	91	89		91
⌀ yes time	0.07			0.14
total yes time	6.54			12.41
no	31	29		28
⌀ no time	0.41			1.12
total no time	12.77			31.41
maybe	0			0
timeout	(60s) 0	(600s) 4		(60s) 3
⌀ time	0.16			1.83
total time	19.31	3121.22		223.82
COPS/111	0.02	0.51		1.63
COPS/114	0.10	10.01		∞
COPS/115	1.54	210.63		∞
COPS/116	0.34	21.61		∞
COPS/212	0.00	0.05		0.03
COPS/213	0.01	0.15		0.14
COPS/214	5.12			12.54
COPS/215	5.36			13.12
COPS/21	0.01	0.36		0.52
COPS/223	0.00	0.03		0.01
COPS/224	0.01	0.30		0.05
COPS/225	0.00	0.04		0.01
COPS/33	0.00	0.13		0.03
COPS/34	0.00	0.22		0.06
COPS/36	0.00	0.10		0.02
COPS/39	0.01	0.36		0.20
COPS/38	0.00	0.03		0.01
COPS/40	0.00	0.11		0.11
COPS/503	0.00	0.16		0.07
COPS/505	0.00	0.08		0.04
COPS/506	0.08	1.56		1.10
COPS/507	0.00	0.06		0.03
COPS/508	0.00	0.04		0.03
COPS/509	0.00	0.15		0.02
COPS/510	0.00	0.05		0.02
COPS/511	0.03	0.88		0.62
COPS/512	0.01	0.28		0.05
COPS/543	0.00	0.01		0.00
COPS/557	0.01	0.70		0.05
COPS/647	0.00	0.74		0.01
COPS/648	0.00	0.01		0.00
COPS/649	0.00	0.61		0.01
COPS/650	0.08	29.61		0.13
COPS/651	0.07	15.24		0.11
COPS/652	0.00	0.38		0.00
COPS/653	0.00	0.34		0.03
COPS/654	0.16	48.74		0.19
COPS/655	0.02	2.10		0.08
COPS/656	0.00	0.01		0.00
COPS/657	0.09	1.97		0.51
COPS/658	0.09	5.55		0.65
COPS/660	0.02	1.64		0.09
COPS/659	0.05	15.00		0.09
COPS/661	0.01	1.50		0.02
COPS/662	0.00	0.03		0.02
COPS/663	0.01	1.41		0.03
COPS/664	0.00	0.63		0.02
COPS/665	0.01	0.26		0.10
COPS/666	0.02	2.43		0.07
COPS/667	0.02	4.03		0.05
COPS/668	0.01	1.48		0.05
COPS/669	0.00	0.25		0.03
COPS/670	0.00	0.07		0.05
COPS/671	0.01	1.76		0.02
COPS/672	0.01	2.18		0.05
COPS/673	0.00	0.12		0.08
COPS/674	0.00	0.09		0.03
COPS/675	0.01	3.10		0.06
COPS/676	0.01	1.78		0.02
COPS/677	0.01	0.12		0.15
COPS/678	0.04	0.60		0.41
COPS/679	0.00	0.03		0.03
COPS/680	0.17	72.53		0.25
COPS/681	0.01	3.07		0.03
COPS/682	0.01	0.35		0.13
COPS/683	0.01	0.42		0.06
COPS/684	0.00	0.01		0.01
COPS/685	0.02	4.62		0.08
COPS/686	0.25	147.32		0.31
COPS/687	0.01	0.23		0.24
COPS/688	0.01	1.23		0.08
COPS/689	0.04	10.19		0.07
COPS/690	0.08	23.78		0.11
COPS/691	0.00	0.11		0.00
COPS/692	0.00	0.18		0.01
COPS/693	0.00	0.02		0.01
COPS/694	0.01	2.07		0.10
COPS/695	0.01	0.23		0.24
COPS/696	0.00	0.14		0.02
COPS/697	0.00	0.24		0.01
COPS/698	0.00	0.10		0.04
COPS/699	3.41			3.69
COPS/700	0.00	0.11		0.00
COPS/701	0.07	20.30		0.07
COPS/702	0.00	0.22		0.09
COPS/703	0.05	9.04		0.07
COPS/704	0.00	0.08		0.01
COPS/705	0.00	0.02		0.01
COPS/706	0.00	0.43		0.03
COPS/707	0.00	0.03		0.05
COPS/708	0.03	10.53		0.07
COPS/709	0.00	0.00		0.00
COPS/710	0.00	0.01		0.00
COPS/711	0.01	0.72		0.06
COPS/712	0.02	1.92		0.06
COPS/713	0.00	0.17		0.02
COPS/714	0.00	0.18		0.01
COPS/715	0.02	3.11		0.09
COPS/716	0.02	3.68		0.03
COPS/717	0.02	1.88		0.08
COPS/718	0.01	1.07		0.01
COPS/719	0.02	0.41		0.08
COPS/720	0.00	0.78		0.09
COPS/721	0.00	0.29		0.02
COPS/731	0.00	0.12		0.02
COPS/732	0.01	0.27		0.18
COPS/733	0.02	0.23		0.18
COPS/734	0.01	0.88		0.01
COPS/735	0.00	0.18		0.01
COPS/736	0.00	0.35		0.01
COPS/737	0.00	0.36		0.00
COPS/738	0.00	0.36		0.01
COPS/739	0.02	0.24		0.03
COPS/740	0.01	2.69		0.01
COPS/741	1.51			2.74
COPS/74	0.02	0.96		0.34
COPS/761	0.00	0.02		0.06
COPS/800	0.00	0.03		0.00
COPS/80	0.00	0.09		0.01
COPS/81	0.00	0.07		0.05
COPS/82	0.00	0.02		0.01
COPS/84	0.00	0.08		0.01