FORMULAS

➀	forall s (exists t (NF(t) & s ->* t))
➁	forall s (exists t (~exists u (t -> u) & s ->* t))

	➀			➁
version	fort-h-2.0	✔		fort-h-2.0	✔
total	122	122		122	122
yes	41	41		41	41
⌀ yes time	0.02			0.02
total yes time	0.64			0.77
no	81	81		81	81
⌀ no time	0.00			0.00
total no time	0.21			0.28
maybe	0			0
timeout	(60s) 0	(600s) 0		(60s) 0	(600s) 0
⌀ time	0.01			0.01
total time	0.85	20.50		1.05	23.71
COPS/111	0.00	0.05		0.01	0.06
COPS/114	0.04	0.41		0.05	0.44
COPS/115	0.53	6.36		0.60	6.93
COPS/116	0.00	6.91		0.01	7.07
COPS/212	0.00	0.00		0.00	0.01
COPS/213	0.00	0.03		0.00	0.03
COPS/214	0.01	0.68		0.01	0.68
COPS/21	0.00	0.03		0.00	0.04
COPS/215	0.01	1.35		0.01	1.41
COPS/223	0.00	0.01		0.00	0.01
COPS/224	0.00	0.01		0.00	0.02
COPS/225	0.00	0.00		0.00	0.01
COPS/33	0.00	0.02		0.00	0.03
COPS/34	0.00	0.04		0.01	0.03
COPS/36	0.00	0.01		0.00	0.01
COPS/38	0.00	0.01		0.00	0.01
COPS/39	0.00	0.04		0.00	0.05
COPS/40	0.00	0.01		0.00	0.02
COPS/503	0.00	0.01		0.00	0.05
COPS/505	0.00	0.00		0.00	0.01
COPS/506	0.00	0.02		0.00	0.03
COPS/507	0.00	0.01		0.00	0.01
COPS/508	0.00	0.01		0.00	0.01
COPS/509	0.00	0.01		0.00	0.01
COPS/510	0.00	0.00		0.00	0.01
COPS/511	0.00	0.03		0.01	0.04
COPS/512	0.00	0.01		0.00	0.01
COPS/543	0.00	0.01		0.00	0.01
COPS/557	0.00	0.01		0.00	0.02
COPS/647	0.00	0.01		0.00	0.01
COPS/648	0.00	0.00		0.00	0.00
COPS/649	0.00	0.00		0.00	0.01
COPS/650	0.02	0.24		0.02	0.34
COPS/651	0.01	0.27		0.01	0.42
COPS/652	0.00	0.02		0.00	0.03
COPS/653	0.00	0.02		0.00	0.02
COPS/654	0.03	0.29		0.02	0.43
COPS/655	0.00	0.02		0.00	0.05
COPS/656	0.00	0.00		0.00	0.00
COPS/657	0.00	0.04		0.01	0.05
COPS/658	0.01	0.07		0.01	0.10
COPS/659	0.00	0.04		0.00	0.09
COPS/660	0.00	0.02		0.00	0.03
COPS/661	0.00	0.03		0.00	0.04
COPS/662	0.00	0.01		0.00	0.01
COPS/663	0.00	0.04		0.01	0.04
COPS/664	0.00	0.01		0.00	0.01
COPS/665	0.00	0.02		0.00	0.04
COPS/666	0.00	0.02		0.01	0.04
COPS/667	0.00	0.05		0.01	0.08
COPS/668	0.00	0.02		0.00	0.02
COPS/669	0.00	0.01		0.00	0.02
COPS/670	0.00	0.00		0.00	0.01
COPS/671	0.01	0.09		0.01	0.12
COPS/672	0.00	0.01		0.00	0.02
COPS/673	0.00	0.00		0.00	0.01
COPS/674	0.00	0.01		0.00	0.01
COPS/675	0.01	0.12		0.01	0.14
COPS/676	0.00	0.05		0.01	0.06
COPS/677	0.00	0.02		0.00	0.02
COPS/678	0.00	0.01		0.00	0.02
COPS/679	0.00	0.00		0.00	0.00
COPS/680	0.02	0.44		0.03	0.92
COPS/681	0.01	0.10		0.01	0.14
COPS/682	0.00	0.02		0.00	0.02
COPS/683	0.00	0.01		0.00	0.02
COPS/684	0.00	0.00		0.00	0.00
COPS/685	0.01	0.02		0.01	0.03
COPS/686	0.00	0.04		0.00	0.07
COPS/687	0.00	0.02		0.00	0.03
COPS/688	0.00	0.03		0.00	0.02
COPS/689	0.00	0.03		0.00	0.04
COPS/690	0.01	0.08		0.01	0.16
COPS/691	0.00	0.01		0.00	0.01
COPS/692	0.00	0.01		0.00	0.02
COPS/693	0.00	0.01		0.00	0.01
COPS/694	0.00	0.04		0.00	0.05
COPS/695	0.00	0.02		0.00	0.02
COPS/696	0.00	0.01		0.00	0.02
COPS/697	0.00	0.01		0.00	0.03
COPS/698	0.00	0.00		0.00	0.01
COPS/699	0.00	0.18		0.01	0.30
COPS/700	0.00	0.01		0.00	0.01
COPS/701	0.01	0.06		0.01	0.06
COPS/702	0.00	0.02		0.00	0.02
COPS/703	0.03	0.35		0.03	0.47
COPS/704	0.00	0.01		0.00	0.01
COPS/705	0.00	0.00		0.00	0.01
COPS/706	0.00	0.02		0.00	0.02
COPS/707	0.00	0.00		0.00	0.00
COPS/708	0.02	0.27		0.03	0.39
COPS/709	0.00	0.00		0.00	0.00
COPS/710	0.00	0.00		0.00	0.00
COPS/711	0.00	0.01		0.00	0.04
COPS/712	0.00	0.02		0.00	0.04
COPS/713	0.00	0.01		0.00	0.02
COPS/714	0.00	0.00		0.00	0.01
COPS/715	0.00	0.05		0.00	0.07
COPS/716	0.01	0.08		0.01	0.11
COPS/717	0.00	0.02		0.00	0.03
COPS/718	0.00	0.03		0.00	0.04
COPS/719	0.00	0.03		0.00	0.02
COPS/720	0.00	0.01		0.00	0.02
COPS/721	0.00	0.01		0.00	0.00
COPS/731	0.00	0.01		0.00	0.01
COPS/732	0.00	0.02		0.00	0.02
COPS/733	0.00	0.02		0.00	0.03
COPS/734	0.00	0.01		0.00	0.01
COPS/735	0.00	0.00		0.00	0.01
COPS/736	0.00	0.01		0.00	0.01
COPS/737	0.00	0.01		0.00	0.01
COPS/738	0.00	0.01		0.00	0.01
COPS/739	0.00	0.01		0.00	0.01
COPS/740	0.00	0.01		0.00	0.02
COPS/741	0.04	0.56		0.05	0.76
COPS/74	0.01	0.04		0.01	0.07
COPS/761	0.00	0.01		0.00	0.01
COPS/800	0.00	0.00		0.00	0.01
COPS/80	0.00	0.01		0.00	0.01
COPS/81	0.00	0.02		0.00	0.02
COPS/82	0.00	0.00		0.00	0.01
COPS/84	0.00	0.01		0.00	0.01