FORMULAS

➀	NFP
➁	NFP

	➀	➁
version	fort-h-2.0	CSI
total	122	122
yes	55	55
⌀ yes time	0.02	0.79
total yes time	1.17	43.60
no	67	61
⌀ no time	0.01	1.02
total no time	0.59	62.48
maybe	0	5
timeout	(60s) 0	(60s) 1
⌀ time	0.01	1.53
total time	1.76	186.94
COPS/111	0.01	1.02
COPS/114	0.05	0.72
COPS/115	0.67	0.71
COPS/116	0.09	0.71
COPS/212	0.00	0.85
COPS/213	0.00	0.78
COPS/214	0.06	0.98
COPS/215	0.08	0.87
COPS/223	0.00	0.87
COPS/21	0.01	0.85
COPS/224	0.00	0.76
COPS/225	0.00	0.74
COPS/33	0.00	0.78
COPS/34	0.01	0.74
COPS/36	0.00	0.86
COPS/38	0.00	0.81
COPS/39	0.01	0.87
COPS/40	0.00	0.78
COPS/503	0.01	0.77
COPS/505	0.00	0.75
COPS/506	0.01	0.87
COPS/507	0.01	0.78
COPS/508	0.00	0.76
COPS/509	0.00	4.16
COPS/510	0.01	0.89
COPS/511	0.01	0.85
COPS/512	0.00	2.40
COPS/543	0.00	0.85
COPS/557	0.00	2.38
COPS/647	0.00	0.75
COPS/648	0.00	0.77
COPS/649	0.00	0.75
COPS/650	0.05	0.79
COPS/651	0.03	0.76
COPS/652	0.00	0.76
COPS/653	0.00	0.77
COPS/654	0.04	0.76
COPS/655	0.01	0.76
COPS/656	0.00	0.77
COPS/657	0.01	0.70
COPS/658	0.01	0.75
COPS/659	0.01	0.74
COPS/660	0.00	0.76
COPS/661	0.01	0.76
COPS/662	0.00	0.77
COPS/663	0.01	0.78
COPS/664	0.00	0.76
COPS/665	0.01	0.73
COPS/666	0.00	0.70
COPS/667	0.01	0.75
COPS/668	0.00	0.75
COPS/669	0.00	0.74
COPS/670	0.00	0.76
COPS/671	0.02	0.77
COPS/672	0.00	0.76
COPS/673	0.00	0.74
COPS/674	0.00	0.76
COPS/675	0.03	0.70
COPS/676	0.01	0.76
COPS/677	0.00	0.76
COPS/678	0.00	0.76
COPS/679	0.00	0.73
COPS/680	0.04	0.75
COPS/681	0.03	0.79
COPS/682	0.00	0.71
COPS/683	0.00	0.73
COPS/684	0.00	0.73
COPS/685	0.00	0.74
COPS/686	0.01	0.77
COPS/687	0.00	0.77
COPS/688	0.00	0.76
COPS/689	0.01	0.76
COPS/690	0.02	0.81
COPS/691	0.00	0.77
COPS/692	0.01	0.76
COPS/693	0.00	0.74
COPS/694	0.01	0.70
COPS/695	0.00	0.75
COPS/696	0.00	0.75
COPS/697	0.00	0.76
COPS/698	0.00	0.74
COPS/699	0.03	0.76
COPS/700	0.00	0.76
COPS/701	0.01	0.76
COPS/702	0.01	0.76
COPS/703	0.06	0.76
COPS/704	0.00	0.74
COPS/705	0.00	0.87
COPS/706	0.00	0.74
COPS/707	0.00	0.76
COPS/708	0.05	0.74
COPS/709	0.00	0.77
COPS/710	0.00	0.74
COPS/711	0.00	0.77
COPS/712	0.00	0.73
COPS/713	0.00	0.75
COPS/714	0.00	0.76
COPS/715	0.01	0.75
COPS/716	0.01	0.70
COPS/717	0.00	0.74
COPS/718	0.01	0.76
COPS/719	0.00	0.76
COPS/720	0.00	0.75
COPS/721	0.00	0.77
COPS/731	0.00	4.18
COPS/732	0.00	5.53
COPS/733	0.01	5.42
COPS/734	0.00	0.74
COPS/735	0.00	0.75
COPS/736	0.00	0.76
COPS/737	0.00	0.76
COPS/738	0.01	3.75
COPS/739	0.00	11.57
COPS/740	0.00	0.79
COPS/741	0.10	∞
COPS/74	0.01	1.23
COPS/761	0.00	0.81
COPS/800	0.00	0.74
COPS/80	0.00	0.76
COPS/81	0.01	0.86
COPS/82	0.00	0.85
COPS/84	0.00	0.76