Tyrolean Termination Tool 2
Home
ToC
Result
Statistic
Poly
CSI-UNR
FORT-UNR
CSI-UNC
FORT-UNC
CSI-NFP
FORT-NFP
CSI-CR
FORT-CR
21
0.2
0.2
0.2
0.2
0.2
0.3
0.2
0.3
33
0.3
0.2
0.2
0.2
0.2
0.3
0.2
0.3
34
0.2
0.4
0.2
0.6
0.2
0.3
0.2
0.4
38
0.3
0.2
0.2
0.3
0.2
0.3
0.2
0.3
39
0.2
0.4
0.1
0.7
0.1
0.4
0.2
0.4
40
0.2
0.3
0.2
0.6
0.2
0.3
0.1
0.4
80
0.1
0.3
0.2
0.2
0.1
0.3
0.2
0.3
81
0.2
0.3
0.2
0.4
0.2
0.3
0.2
0.4
84
0.2
0.3
0.2
0.3
0.2
0.3
0.1
0.3
114
0.1
0.2
0.1
0.2
0.2
0.6
0.2
0.9
115
0.2
0.2
0.2
0.2
0.2
1.7
0.1
4.3
116
0.2
0.2
0.1
0.2
0.1
1.1
0.2
2.7
212
0.1
0.2
0.2
0.2
0.2
0.2
0.2
0.3
213
0.1
0.2
0.2
0.2
0.1
0.3
0.2
0.5
214
0.2
0.2
0.2
0.2
0.2
1.2
0.2
31.0
215
0.2
0.3
0.2
0.2
0.2
1.3
0.2
60.0
223
0.1
0.2
0.2
0.3
0.2
0.3
0.2
0.3
224
0.2
0.3
0.2
0.5
0.2
0.3
0.2
0.4
225
0.1
0.3
0.1
0.3
0.1
0.3
0.2
0.3
503
0.2
0.3
0.1
0.3
0.2
0.3
0.2
0.4
543
0.2
0.3
0.2
0.3
0.2
0.3
0.2
0.3
647
0.2
0.3
0.2
0.3
0.2
0.3
0.2
0.4
648
0.2
0.2
0.2
0.2
0.1
0.3
0.2
0.2
649
0.1
0.2
0.2
0.2
0.2
0.3
0.2
0.3
650
0.2
0.7
0.2
1.6
0.1
1.1
0.2
2.8
CSI-UNR
FORT-UNR
CSI-UNC
FORT-UNC
CSI-NFP
FORT-NFP
CSI-CR
FORT-CR
651
0.2
0.4
0.2
0.7
0.2
1.1
0.2
1.6
652
0.2
0.3
0.2
0.3
0.2
0.3
0.2
0.4
653
0.2
0.3
0.2
0.4
0.1
0.4
0.2
0.4
654
0.2
0.6
0.2
1.5
0.2
0.9
0.2
2.6
655
0.2
0.3
0.2
0.6
0.2
0.3
0.2
0.8
656
0.2
0.3
0.1
0.2
0.2
0.3
0.2
0.3
657
0.2
0.3
0.2
1.5
0.2
0.3
0.2
0.6
658
0.2
0.4
0.2
1.3
0.2
0.5
0.2
1.7
659
0.3
0.3
0.2
0.3
0.2
0.4
0.2
1.2
660
0.2
0.3
0.2
0.7
0.1
0.4
0.2
0.5
661
0.2
0.4
0.1
0.6
0.2
0.5
0.2
0.6
662
0.2
0.2
0.1
0.2
0.1
0.2
0.2
0.3
663
0.2
0.3
0.2
0.5
0.2
0.4
0.2
0.5
664
0.2
0.3
0.2
0.4
0.3
0.2
0.2
0.4
665
0.2
0.3
0.2
0.6
0.2
0.3
0.3
0.4
666
0.2
0.3
0.2
0.6
0.2
0.3
0.2
0.8
667
0.2
0.4
0.1
0.6
0.2
0.7
0.2
1.1
668
0.2
0.3
0.2
0.5
0.2
0.3
0.2
0.4
669
0.2
0.3
0.1
0.5
0.2
0.3
0.2
0.4
670
0.2
0.3
0.2
0.4
0.2
0.3
0.2
0.3
671
0.2
0.8
0.2
1.8
0.1
1.0
0.2
0.5
672
0.2
0.2
0.2
0.2
0.2
0.3
0.2
0.9
673
0.1
0.2
0.2
0.5
0.2
0.3
0.2
0.4
674
0.1
0.3
0.1
0.5
0.2
0.3
0.2
0.3
675
0.2
0.7
0.2
1.6
0.2
0.8
0.2
0.7
CSI-UNR
FORT-UNR
CSI-UNC
FORT-UNC
CSI-NFP
FORT-NFP
CSI-CR
FORT-CR
676
0.2
0.3
0.2
0.5
0.2
0.5
0.2
0.5
677
0.2
0.2
0.1
0.2
0.2
0.2
0.2
0.4
678
0.2
0.3
0.2
0.7
0.2
0.3
0.2
0.5
679
0.2
0.3
0.2
0.3
0.2
0.3
0.2
0.3
680
0.2
0.6
0.2
1.7
0.2
1.9
0.3
3.1
681
0.1
0.8
0.2
1.8
0.2
1.1
0.2
0.8
682
0.2
0.4
0.2
0.5
0.2
0.4
0.2
0.6
683
0.2
0.2
0.2
0.2
0.2
0.3
0.2
0.5
684
0.2
0.2
0.1
0.2
0.1
0.2
0.2
0.3
685
0.2
0.4
0.2
0.6
0.2
0.3
0.2
0.8
686
0.2
0.2
0.2
0.2
0.2
0.3
0.1
4.9
687
0.2
0.3
0.2
0.6
0.2
0.3
0.2
0.5
688
0.2
0.3
0.2
0.6
0.2
0.3
0.2
0.4
689
0.2
0.3
0.2
0.5
0.2
0.4
0.1
1.4
690
0.2
0.4
0.2
1.0
0.1
0.5
0.2
1.9
691
0.2
0.3
0.1
0.2
0.2
0.3
0.2
0.3
692
0.2
0.3
0.1
0.3
0.2
0.4
0.2
0.4
693
0.2
0.2
0.1
0.2
0.1
0.2
0.2
0.3
694
0.2
0.3
0.2
0.7
0.2
0.4
0.2
0.7
695
0.2
0.3
0.2
0.6
0.2
0.4
0.1
0.4
696
0.1
0.3
0.1
0.4
0.2
0.3
0.2
0.4
697
0.2
0.3
0.2
0.3
0.2
0.3
0.2
0.4
698
0.2
0.3
0.2
0.4
0.2
0.3
0.2
0.3
699
0.2
0.2
0.1
0.2
0.2
0.5
0.2
60.0
700
0.1
0.4
0.2
0.3
0.3
0.5
0.3
0.6
CSI-UNR
FORT-UNR
CSI-UNC
FORT-UNC
CSI-NFP
FORT-NFP
CSI-CR
FORT-CR
701
0.4
0.6
0.3
0.9
0.3
0.9
0.4
1.3
702
0.3
0.7
0.4
0.8
0.2
0.4
0.2
0.4
703
0.1
1.2
0.2
5.0
0.2
2.0
0.2
1.6
704
0.4
0.5
0.2
0.3
0.2
0.3
0.2
0.3
705
0.2
0.2
0.2
0.2
0.2
0.3
0.2
0.3
706
0.2
0.3
0.2
0.5
0.2
0.4
0.2
0.5
707
0.2
0.2
0.2
0.4
0.2
0.3
0.2
0.3
708
0.2
1.3
0.1
4.3
0.1
1.8
0.2
1.3
709
0.3
0.2
0.1
0.2
0.2
0.2
0.2
0.3
710
0.2
0.3
0.2
0.3
0.2
0.3
0.2
0.3
711
0.2
0.3
0.2
0.4
0.2
0.3
0.2
0.4
712
0.2
0.5
0.2
0.5
0.2
0.4
0.2
0.5
713
0.2
0.3
0.2
0.4
0.2
0.3
0.2
0.4
714
0.2
0.2
0.2
0.4
0.1
0.3
0.1
0.4
715
0.2
0.3
0.2
0.7
0.1
0.5
0.2
0.7
716
0.2
0.4
0.2
0.6
0.2
0.5
0.2
1.0
717
0.2
0.3
0.2
0.6
0.2
0.3
0.2
0.5
718
0.2
0.4
0.2
0.5
0.2
0.5
0.2
0.5
719
0.2
0.3
0.2
0.6
0.2
0.3
0.2
0.5
720
0.2
0.3
0.2
0.5
0.2
0.3
0.2
0.4
721
0.2
0.2
0.1
0.3
0.2
0.4
0.2
0.3
735
0.2
0.3
0.2
0.4
0.1
0.3
0.2
0.4
761
0.1
0.2
0.1
0.2
0.1
0.3
0.2
0.3