FORMULAS

➀	UNC
➁	{+2} GUNC

	➀			➁
version	fort-h-2.0	✔		fort-h-2.0	✔
total	122	121		122	121
yes	72	70		72	70
⌀ yes time	0.29			0.54
total yes time	21.17			38.54
no	49	49		49	49
⌀ no time	0.20			0.20
total no time	9.75			9.98
maybe	0			0
timeout	(60s) 1	(600s) 2		(60s) 1	(600s) 2
⌀ time	0.75			0.89
total time	90.92	2060.89		108.52	2060.59
COPS/111	0.00	0.54		0.02	0.58
COPS/114	0.00	10.14		0.10	10.10
COPS/115	0.00	211.58		1.42	211.40
COPS/116	0.00	22.33		0.35	22.44
COPS/212	0.00	0.06		0.01	0.06
COPS/214	0.01			7.15
COPS/213	0.00	0.17		0.01	0.19
COPS/215	0.01			7.25
COPS/21	0.00	0.36		0.02	0.35
COPS/223	0.00	0.04		0.00	0.02
COPS/224	0.02	0.20		0.04	0.21
COPS/225	0.00	0.05		0.00	0.05
COPS/33	0.00	0.09		0.01	0.10
COPS/34	0.01	0.13		0.01	0.15
COPS/36	0.00	0.10		0.01	0.10
COPS/38	0.00	0.04		0.00	0.03
COPS/39	0.01	0.38		0.01	0.37
COPS/40	0.01	0.13		0.01	0.11
COPS/503	0.01	0.07		0.01	0.05
COPS/505	0.03	0.41		0.03	0.42
COPS/506	0.00	6.42		0.80	6.42
COPS/507	0.01	0.07		0.01	0.08
COPS/508	0.01	0.07		0.01	0.05
COPS/509	0.01	0.10		0.01	0.07
COPS/510	0.02	0.19		0.02	0.20
COPS/511	0.08	1.01		0.09	1.01
COPS/512	0.05	0.28		0.04	0.26
COPS/543	0.00	0.02		0.00	0.03
COPS/557	0.05	0.28		0.04	0.26
COPS/647	0.00	0.06		0.01	0.06
COPS/648	0.00	0.01		0.00	0.01
COPS/649	0.00	0.03		0.00	0.03
COPS/650	3.94	44.71		3.97	44.89
COPS/651	0.25	2.18		0.26	2.19
COPS/652	0.04	0.44		0.05	0.41
COPS/653	0.01	0.12		0.01	0.11
COPS/654	1.13	11.90		1.12	11.87
COPS/655	0.05	0.38		0.06	0.38
COPS/656	0.00	0.01		0.00	0.01
COPS/657	0.97	104.80		0.98	104.15
COPS/658	0.16	3.62		0.16	3.67
COPS/659	0.00	0.27		0.02	0.30
COPS/660	0.02	0.25		0.02	0.23
COPS/661	0.13	1.29		0.14	1.28
COPS/662	0.00	0.04		0.00	0.04
COPS/663	0.05	0.51		0.08	0.55
COPS/664	0.00	0.08		0.00	0.06
COPS/665	0.03	0.33		0.04	0.34
COPS/666	0.01	0.18		0.02	0.17
COPS/667	0.04	0.43		0.05	0.43
COPS/668	0.02	0.17		0.02	0.19
COPS/669	0.00	0.07		0.00	0.06
COPS/670	0.00	0.11		0.00	0.12
COPS/671	2.57	57.71		2.64	57.56
COPS/672	0.00	0.09		0.01	0.10
COPS/673	0.00	0.10		0.01	0.11
COPS/674	0.00	0.12		0.01	0.10
COPS/675	1.65	18.40		1.71	18.48
COPS/676	0.12	1.26		0.15	1.28
COPS/677	0.00	0.13		0.01	0.12
COPS/678	0.06	0.80		0.05	0.79
COPS/679	0.00	0.05		0.00	0.05
COPS/680	0.10	1.40		0.10	1.39
COPS/681	2.83	60.14		2.82	60.11
COPS/682	0.01	0.21		0.01	0.18
COPS/683	0.00	0.05		0.01	0.07
COPS/684	0.00	0.02		0.00	0.02
COPS/685	0.04	0.32		0.04	0.30
COPS/686	0.00	0.38		0.03	0.37
COPS/687	0.02	0.32		0.02	0.30
COPS/688	0.02	0.21		0.02	0.20
COPS/689	0.02	0.24		0.03	0.23
COPS/690	0.56	5.05		0.55	5.04
COPS/691	0.00	0.05		0.00	0.05
COPS/692	0.02	0.16		0.02	0.14
COPS/693	0.00	0.03		0.00	0.03
COPS/694	0.03	0.30		0.02	0.29
COPS/695	0.04	0.56		0.03	0.59
COPS/696	0.01	0.07		0.01	0.06
COPS/697	0.02	0.12		0.02	0.11
COPS/698	0.00	0.05		0.00	0.05
COPS/699	0.00	2.22		0.10	2.19
COPS/700	0.00	0.04		0.00	0.04
COPS/701	0.03	0.24		0.03	0.25
COPS/702	0.04	0.33		0.04	0.32
COPS/703	8.62	179.04		8.46	179.02
COPS/704	0.01	0.05		0.01	0.06
COPS/705	0.00	0.03		0.00	0.02
COPS/706	0.01	0.09		0.01	0.09
COPS/707	0.00	0.06		0.00	0.04
COPS/708	5.93	91.52		6.05	91.99
COPS/709	0.00	0.00		0.00	0.00
COPS/710	0.00	0.02		0.00	0.02
COPS/711	0.02	0.19		0.03	0.19
COPS/712	0.01	0.14		0.01	0.15
COPS/713	0.02	0.18		0.02	0.19
COPS/714	0.00	0.05		0.00	0.04
COPS/715	0.02	0.24		0.02	0.27
COPS/716	0.16	1.52		0.16	1.46
COPS/717	0.03	0.35		0.03	0.35
COPS/718	0.27	2.84		0.27	2.90
COPS/719	0.03	0.37		0.03	0.38
COPS/720	0.01	0.17		0.01	0.17
COPS/721	0.00	0.04		0.00	0.06
COPS/731	0.01	0.08		0.01	0.08
COPS/732	0.06	1.61		0.07	1.60
COPS/733	0.07	1.57		0.08	1.60
COPS/734	0.08	0.30		0.08	0.30
COPS/735	0.00	0.05		0.00	0.04
COPS/736	0.00	0.03		0.01	0.02
COPS/737	0.03	0.16		0.03	0.14
COPS/738	0.03	0.11		0.03	0.11
COPS/739	0.02	0.30		0.03	0.28
COPS/741	∞			∞
COPS/740	0.07	0.23		0.05	0.23
COPS/74	0.03	0.82		0.02	0.92
COPS/761	0.00	0.04		0.00	0.02
COPS/800	0.00	0.03		0.00	0.02
COPS/80	0.00	0.05		0.00	0.04
COPS/81	0.00	0.08		0.01	0.08
COPS/82	0.00	0.03		0.00	0.02
COPS/84	0.00	0.07		0.01	0.09