FORT experimental results

FORMULAS

➀	AGCP v0.03
➁	FORT GCR

	➀	➁
version	AGCP v0.03	FORT 2.0
total	121	121
yes	24	37
⌀ yes time	0.02	0.45
total yes time	0.51	16.58
no	78	81
⌀ no time	0.06	0.70
total no time	4.88	56.85
maybe	15	0
timeout	(60s) 4	(60s) 3
⌀ time	2.28	2.09
total time	275.58	253.43

111	0.02	0.34
114	0.03	0.56
115	0.06	3.43
116	2.92	1.55
212	0.05	0.23
213	5.83	0.34
214	0.17	18.56
215	∞	∞
21	0.05	0.27
223	0.02	0.26
224	3.90	0.29
225	0.02	0.24
33	1.96	0.24
34	0.02	0.30
36	0.02	0.25
38	0.02	0.23
39	0.02	0.32
40	0.02	0.26
503	0.02	0.27
505	0.01	0.24
506	0.01	0.39
507	0.02	0.28
508	3.12	0.25
509	0.60	0.30
510	0.02	0.36
511	0.02	0.93
512	0.07	0.36
543	0.02	0.24
557	0.07	0.43
647	0.02	0.31
648	0.02	0.20
649	0.04	0.27
650	0.08	1.70
651	∞	1.23
652	0.02	0.25
653	0.02	0.29
654	0.21	1.75
655	0.07	1.25
656	0.01	0.22
657	0.07	0.35
658	0.06	0.95
659	0.04	0.68
660	0.32	0.35
661	0.02	0.39
662	0.02	0.23
663	0.02	0.39
664	0.02	0.30
665	0.02	0.33
666	0.03	0.46
667	0.02	0.59
668	0.05	0.33
669	0.02	0.28
670	0.03	0.23
671	0.02	0.36
672	0.17	0.52
673	0.01	0.24
674	0.03	0.24
675	0.03	0.37
676	0.03	0.38
677	0.03	0.27
678	0.03	0.35
679	0.02	0.23
680	0.54	1.93
681	0.03	0.43
682	0.02	0.43
683	0.05	0.31
684	0.02	0.22
685	0.02	0.44
686	0.43	2.85
687	0.03	0.30
688	0.02	0.33
689	0.06	0.74
690	∞	1.07
691	0.02	0.24
692	0.02	0.30
693	0.16	0.23
694	0.02	0.49
695	0.02	0.31
696	0.03	0.24
697	0.08	0.28
698	0.02	0.23
699	∞	∞
700	0.02	0.24
701	0.02	0.49
702	0.02	0.31
703	0.28	0.90
704	0.02	0.23
705	2.79	0.22
706	0.12	0.31
707	0.02	0.22
708	0.02	0.73
709	0.02	0.22
710	0.02	0.22
711	0.21	0.31
712	0.02	0.38
713	0.02	0.27
714	0.02	0.25
715	0.02	0.45
716	0.02	0.49
717	0.09	0.33
718	3.13	0.32
719	0.14	0.36
720	0.02	0.30
721	0.03	0.29
731	0.23	0.30
732	0.22	0.45
733	0.04	0.67
734	0.04	0.28
735	0.02	0.25
736	0.02	0.29
737	0.03	0.27
738	0.02	0.29
739	0.03	0.70
740	0.02	0.65
741	0.09	∞
74	0.02	0.82
761	0.02	0.23
80	0.02	0.26
81	5.35	0.28
82	0.02	0.24
84	0.02	0.23