FORMULAS

➀	GCR
➁	GCR

	➀		➁
version	fort-h-2.0		AGCP
total	122		122
yes	37		24
⌀ yes time	0.06		0.02
total yes time	2.08		0.56
no	84		79
⌀ no time	0.04		0.07
total no time	3.74		5.36
maybe	0		15
timeout	(60s) 1		(60s) 4
⌀ time	0.54		2.27
total time	65.82		276.42
COPS-MSTRS/111	0.02		0.04
COPS-MSTRS/114	0.09		0.04
COPS-MSTRS/115	1.43		0.07
COPS-MSTRS/116	0.20		3.15
COPS-MSTRS/212	0.00		0.05
COPS-MSTRS/213	0.05		6.15
COPS-MSTRS/214	2.18		0.23
COPS-MSTRS/215	∞		∞
COPS-MSTRS/21	0.01		0.05
COPS-MSTRS/223	0.01		0.01
COPS-MSTRS/224	0.01		4.20
COPS-MSTRS/225	0.00		0.02
COPS-MSTRS/33	0.00		2.16
COPS-MSTRS/34	0.01		0.04
COPS-MSTRS/36	0.01		0.02
COPS-MSTRS/38	0.00		0.02
COPS-MSTRS/39	0.01		0.02
COPS-MSTRS/40	0.01		0.02
COPS-MSTRS/503	0.01		0.02
COPS-MSTRS/505	0.01		0.01
COPS-MSTRS/506	0.03		0.02
COPS-MSTRS/507	0.01		0.02
COPS-MSTRS/508	0.01		2.71
COPS-MSTRS/509	0.01		0.67
COPS-MSTRS/510	0.00		0.03
COPS-MSTRS/511	0.03		0.02
COPS-MSTRS/512	0.02		0.08
COPS-MSTRS/543	0.00		0.02
COPS-MSTRS/557	0.02		0.08
COPS-MSTRS/647	0.01		0.02
COPS-MSTRS/648	0.00		0.02
COPS-MSTRS/649	0.00		0.05
COPS-MSTRS/650	0.03		0.07
COPS-MSTRS/651	0.02		∞
COPS-MSTRS/652	0.00		0.02
COPS-MSTRS/653	0.01		0.02
COPS-MSTRS/654	0.04		0.23
COPS-MSTRS/655	0.02		0.07
COPS-MSTRS/656	0.00		0.01
COPS-MSTRS/657	0.01		0.09
COPS-MSTRS/658	0.05		0.08
COPS-MSTRS/659	0.02		0.03
COPS-MSTRS/661	0.01		0.02
COPS-MSTRS/660	0.01		0.38
COPS-MSTRS/662	0.00		0.01
COPS-MSTRS/663	0.01		0.03
COPS-MSTRS/664	0.01		0.02
COPS-MSTRS/665	0.01		0.02
COPS-MSTRS/666	0.02		0.03
COPS-MSTRS/667	0.02		0.03
COPS-MSTRS/668	0.01		0.06
COPS-MSTRS/669	0.00		0.02
COPS-MSTRS/670	0.00		0.03
COPS-MSTRS/671	0.01		0.02
COPS-MSTRS/672	0.02		0.16
COPS-MSTRS/673	0.00		0.01
COPS-MSTRS/674	0.00		0.03
COPS-MSTRS/675	0.01		0.03
COPS-MSTRS/676	0.01		0.03
COPS-MSTRS/677	0.01		0.03
COPS-MSTRS/678	0.01		0.03
COPS-MSTRS/679	0.00		0.02
COPS-MSTRS/680	0.05		0.49
COPS-MSTRS/681	0.01		0.04
COPS-MSTRS/682	0.01		0.02
COPS-MSTRS/683	0.00		0.05
COPS-MSTRS/684	0.00		0.01
COPS-MSTRS/685	0.02		0.03
COPS-MSTRS/686	0.04		0.44
COPS-MSTRS/687	0.01		0.04
COPS-MSTRS/688	0.01		0.02
COPS-MSTRS/689	0.02		0.07
COPS-MSTRS/690	0.04		∞
COPS-MSTRS/691	0.00		0.02
COPS-MSTRS/692	0.01		0.02
COPS-MSTRS/693	0.00		0.17
COPS-MSTRS/694	0.02		0.02
COPS-MSTRS/695	0.01		0.02
COPS-MSTRS/696	0.00		0.03
COPS-MSTRS/697	0.00		0.08
COPS-MSTRS/698	0.00		0.02
COPS-MSTRS/699	0.44		∞
COPS-MSTRS/700	0.00		0.02
COPS-MSTRS/701	0.02		0.02
COPS-MSTRS/702	0.01		0.02
COPS-MSTRS/703	0.02		0.31
COPS-MSTRS/704	0.00		0.02
COPS-MSTRS/705	0.00		2.98
COPS-MSTRS/706	0.01		0.13
COPS-MSTRS/707	0.00		0.02
COPS-MSTRS/708	0.02		0.03
COPS-MSTRS/709	0.00		0.01
COPS-MSTRS/710	0.00		0.02
COPS-MSTRS/711	0.01		0.20
COPS-MSTRS/712	0.01		0.02
COPS-MSTRS/713	0.00		0.02
COPS-MSTRS/714	0.00		0.02
COPS-MSTRS/715	0.01		0.03
COPS-MSTRS/716	0.01		0.02
COPS-MSTRS/717	0.01		0.09
COPS-MSTRS/718	0.01		2.81
COPS-MSTRS/719	0.01		0.15
COPS-MSTRS/720	0.01		0.02
COPS-MSTRS/721	0.00		0.04
COPS-MSTRS/731	0.01		0.22
COPS-MSTRS/732	0.04		0.43
COPS-MSTRS/733	0.05		0.03
COPS-MSTRS/734	0.00		0.05
COPS-MSTRS/735	0.00		0.02
COPS-MSTRS/736	0.00		0.02
COPS-MSTRS/737	0.00		0.04
COPS-MSTRS/738	0.00		0.02
COPS-MSTRS/739	0.03		0.04
COPS-MSTRS/740	0.01		0.03
COPS-MSTRS/741	0.19		0.09
COPS-MSTRS/74	0.04		0.02
COPS-MSTRS/761	0.00		0.02
COPS-MSTRS/800	0.00		0.01
COPS-MSTRS/80	0.00		0.02
COPS-MSTRS/81	0.02		5.04
COPS-MSTRS/82	0.01		0.03
COPS-MSTRS/84	0.00		0.01