FORMULAS

➀	forall s, t, u (s -> t & s ->! u => t ->* u)
➁	forall t, u (t <->* u & NF(u) => t ->* u)
➂	forall t (WN(t) => CR(t))

	➀			➁			➂
version	current	✔		current	✔		current	✔
total	122	122		122	120		122	118
yes	59	59		59	57		59	56
⌀ yes time	0.02			0.30			0.03
total yes time	1.12			17.95			2.01
no	63	63		63	63		62	62
⌀ no time	0.01			0.04			0.11
total no time	0.64			2.42			6.82
maybe	0			0			0
timeout	(60s) 0	(600s) 0		(60s) 0	(600s) 2		(60s) 1	(600s) 3
⌀ time	0.01			0.17			0.56
total time	1.76	423.74		20.37	1872.00		68.83	2986.21
COPS/111	0.02	0.15		0.02	0.57		0.04	0.32
COPS/114	0.05	0.95		0.14	10.38		0.10	2.18
COPS/115	0.64	13.68		1.97	215.91		0.92	32.39
COPS/116	0.09	13.82		0.31	28.49		0.07	34.21
COPS/212	0.00	0.01		0.01	0.08		0.00	0.03
COPS/213	0.00	0.06		0.02	0.17		0.00	1.02
COPS/214	0.05	1.36		7.33			0.06
COPS/215	0.07	2.55		7.48			0.08
COPS/21	0.00	0.06		0.02	0.36		0.00	0.16
COPS/223	0.00	0.02		0.00	0.03		0.02	0.09
COPS/224	0.00	0.10		0.01	0.14		0.01	0.72
COPS/225	0.00	0.02		0.00	0.03		0.00	0.05
COPS/33	0.00	0.09		0.01	0.11		0.00	0.19
COPS/34	0.01	0.37		0.01	0.34		0.02	1.44
COPS/36	0.00	0.03		0.01	0.08		0.01	0.09
COPS/38	0.00	0.01		0.00	0.03		0.00	0.03
COPS/39	0.01	0.11		0.01	0.39		0.03	0.32
COPS/40	0.00	0.04		0.01	0.11		0.01	0.10
COPS/503	0.00	0.18		0.00	0.14		0.01	1.38
COPS/505	0.00	0.02		0.01	0.06		0.01	0.13
COPS/506	0.01	0.06		0.12	2.02		0.05	0.66
COPS/507	0.01	0.06		0.01	0.14		0.21	5.30
COPS/508	0.00	0.07		0.00	0.07		0.00	0.23
COPS/509	0.00	0.10		0.01	0.09		0.03	1.35
COPS/510	0.00	0.05		0.01	0.07		0.08	3.97
COPS/511	0.01	0.42		0.04	0.74		0.19	34.24
COPS/512	0.00	0.07		0.02	0.18		0.04	1.13
COPS/543	0.00	0.03		0.00	0.02		0.01	0.04
COPS/557	0.00	0.13		0.02	0.32		0.06	4.18
COPS/647	0.00	0.19		0.01	0.16		0.01	1.00
COPS/648	0.00	0.00		0.00	0.01		0.00	0.01
COPS/649	0.00	0.16		0.00	0.09		0.00	0.43
COPS/650	0.03	6.86		0.06	5.21		0.66	67.92
COPS/651	0.03	3.74		0.04	2.22		0.38	34.51
COPS/652	0.00	0.10		0.00	0.09		0.00	0.54
COPS/653	0.00	0.16		0.00	0.21		0.03	0.61
COPS/654	0.05	5.65		0.08	4.13		0.38	75.14
COPS/655	0.01	0.43		0.02	0.55		0.05	11.87
COPS/656	0.00	0.01		0.00	0.01		0.00	0.01
COPS/657	0.01	0.34		0.37	69.99		0.03	2.54
COPS/658	0.01	2.63		0.16	18.68		0.11	60.21
COPS/659	0.01	1.44		0.02	1.31		0.00	11.11
COPS/660	0.01	0.51		0.02	0.53		0.01	1.41
COPS/661	0.01	0.47		0.01	0.38		0.06	2.51
COPS/662	0.00	0.02		0.00	0.04		0.00	0.04
COPS/663	0.01	0.41		0.01	0.40		0.04	2.70
COPS/664	0.00	0.19		0.01	0.16		0.01	1.01
COPS/665	0.01	0.17		0.02	0.31		0.03	0.82
COPS/666	0.01	0.62		0.01	0.60		0.03	5.17
COPS/667	0.02	1.29		0.02	1.23		0.07	8.07
COPS/668	0.00	0.22		0.01	0.26		0.02	1.09
COPS/669	0.00	0.17		0.00	0.12		0.01	0.40
COPS/670	0.00	0.02		0.01	0.11		0.00	0.04
COPS/671	0.02	0.54		0.02	0.42		0.02	2.55
COPS/672	0.00	0.52		0.00	0.45		0.00	7.28
COPS/673	0.00	0.03		0.01	0.15		0.01	0.11
COPS/674	0.00	0.03		0.01	0.12		0.00	0.06
COPS/675	0.02	0.64		0.06	1.10		0.21	4.39
COPS/676	0.01	0.53		0.01	0.39		0.06	2.65
COPS/677	0.00	0.08		0.01	0.13		0.00	0.14
COPS/678	0.01	0.31		0.06	2.04		0.01	1.00
COPS/679	0.00	0.01		0.00	0.03		0.00	0.03
COPS/680	0.04	10.82		0.09	7.50		0.46	132.81
COPS/681	0.03	0.80		0.03	0.55		0.02	3.93
COPS/682	0.00	0.13		0.02	0.38		0.05	4.52
COPS/683	0.00	0.14		0.00	0.12		0.00	0.87
COPS/684	0.00	0.01		0.00	0.01		0.00	0.01
COPS/685	0.01	0.81		0.02	0.72		0.05	5.38
COPS/686	0.01	5.66		0.03	4.72		0.00	363.53
COPS/687	0.00	0.13		0.02	0.38		0.04	0.85
COPS/688	0.01	0.22		0.01	0.28		0.02	1.03
COPS/689	0.00	1.90		0.02	1.45		0.04	12.97
COPS/690	0.01	2.62		0.05	2.48		0.04	35.99
COPS/691	0.00	0.08		0.00	0.08		0.00	0.16
COPS/692	0.00	0.15		0.01	0.09		0.01	0.38
COPS/693	0.00	0.02		0.00	0.02		0.00	0.04
COPS/694	0.01	0.50		0.02	0.78		0.05	7.76
COPS/695	0.01	0.13		0.03	0.69		0.03	0.48
COPS/696	0.00	0.09		0.00	0.08		0.01	0.30
COPS/697	0.00	0.10		0.00	0.08		0.02	0.42
COPS/698	0.00	0.05		0.00	0.05		0.01	0.07
COPS/699	0.04	143.33		0.09	118.05		0.02
COPS/700	0.00	0.05		0.00	0.05		0.00	0.10
COPS/701	0.01	0.86		0.02	0.67		0.05	5.54
COPS/702	0.01	0.13		0.02	0.24		0.05	0.69
COPS/703	0.05	3.30		0.05	2.07		1.12	31.05
COPS/704	0.01	0.07		0.00	0.04		0.00	0.22
COPS/705	0.00	0.01		0.00	0.02		0.00	0.03
COPS/706	0.00	0.11		0.00	0.13		0.02	1.68
COPS/707	0.00	0.01		0.01	0.06		0.00	0.02
COPS/708	0.06	3.55		0.06	3.80		0.64	22.21
COPS/709	0.00	0.00		0.00	0.01		0.00	0.00
COPS/710	0.00	0.01		0.00	0.02		0.00	0.01
COPS/711	0.01	0.29		0.01	0.31		0.09	8.58
COPS/712	0.01	0.23		0.01	0.33		0.02	1.10
COPS/713	0.01	0.08		0.00	0.10		0.02	0.32
COPS/714	0.00	0.05		0.00	0.06		0.00	0.11
COPS/715	0.01	0.61		0.01	0.61		0.03	3.95
COPS/716	0.01	0.96		0.02	0.79		0.12	8.45
COPS/717	0.00	0.36		0.01	0.46		0.02	1.94
COPS/718	0.01	0.39		0.01	0.33		0.01	1.53
COPS/719	0.00	0.19		0.03	0.65		0.02	1.72
COPS/720	0.00	0.15		0.01	0.23		0.01	0.53
COPS/721	0.00	0.11		0.01	0.09		0.01	0.23
COPS/731	0.00	0.11		0.01	0.13		0.03	1.27
COPS/732	0.01	0.20		0.02	0.42		0.58	36.52
COPS/733	0.01	0.21		0.02	0.45		0.52	28.27
COPS/734	0.01	0.06		0.01	0.08		0.03	0.87
COPS/735	0.00	0.05		0.00	0.08		0.01	0.14
COPS/736	0.00	0.03		0.00	0.04		0.02	0.59
COPS/737	0.00	0.04		0.00	0.03		0.02	0.63
COPS/738	0.00	0.06		0.01	0.11		0.03	0.71
COPS/739	0.00	0.05		0.03	0.30		0.07	1.61
COPS/740	0.00	0.11		0.01	0.14		0.01	4.12
COPS/741	0.10	179.89		0.84	146.51		∞
COPS/74	0.01	0.46		0.03	1.14		0.06	15.87
COPS/761	0.00	0.02		0.00	0.03		0.00	0.03
COPS/800	0.00	0.02		0.00	0.03		0.00	0.04
COPS/80	0.00	0.03		0.00	0.04		0.01	0.26
COPS/81	0.00	0.05		0.01	0.09		0.03	0.22
COPS/82	0.00	0.01		0.00	0.03		0.01	0.10
COPS/84	0.00	0.02		0.00	0.07		0.00	0.05