| benchmark |
AProVE
| ttt2-1.17+nonreach
|
|
|
|---|
| AG01/#3.49.xml |
YES
3.94/1.76
| YES
2.88/1.00
|
| AG01/#3.19.xml |
YES
4.65/2.01
| YES
5.28/1.79
|
| AG01/#3.56.xml |
YES
4.04/1.74
| YES
4.53/1.42
|
| AG01/#3.18.xml |
YES
4.33/1.94
| YES
4.05/1.37
|
| AG01/#3.6.xml |
YES
4.76/2.04
| YES
4.48/1.50
|
| AG01/#3.35.xml |
YES
7.16/2.57
| YES
0.56/0.39
|
| AG01/#3.53.xml |
YES
4.26/1.92
| YES
12.02/3.67
|
| AG01/#3.55.xml |
YES
5.28/2.10
| YES
10.92/3.18
|
| AG01/#3.52.xml |
YES
3.78/1.75
| YES
1.51/0.65
|
| AG01/#3.47.xml |
YES
3.44/1.63
| YES
1.20/0.56
|
| AG01/#3.10.xml |
YES
6.40/2.41
| YES
15.60/4.49
|
| AG01/#3.4.xml |
YES
4.18/1.80
| YES
4.12/1.38
|
| AG01/#3.6b.xml |
YES
4.89/2.07
| YES
7.22/2.18
|
| AG01/#3.22.xml |
YES
4.14/1.84
| YES
3.68/1.29
|
| AG01/#3.57.xml |
StarExec error
| YES
12.47/3.50
|
| AG01/#3.53b.xml |
YES
3.63/1.74
| YES
1.54/0.67
|
| AG01/#3.53a.xml |
YES
3.39/1.61
| YES
1.03/0.52
|
| AG01/#3.12.xml |
YES
4.09/1.77
| YES
5.19/1.67
|
| AG01/#3.39.xml |
YES
4.28/2.02
| YES
7.14/2.13
|
| AG01/#3.23.xml |
YES
3.56/1.66
| YES
1.35/0.61
|
| AG01/#3.15.xml |
YES
3.43/1.55
| YES
0.57/0.40
|
| AG01/#3.40.xml |
YES
4.79/2.17
| MAYBE
132.27/42.35
|
| AG01/#3.5a.xml |
YES
4.29/1.96
| StarExec error
|
| AG01/#3.13.xml |
YES
5.64/2.31
| YES
12.79/3.61
|
| AG01/#3.17.xml |
YES
4.90/2.00
| YES
6.81/1.99
|
| AG01/#3.29.xml |
YES
3.40/1.66
| YES
0.61/0.41
|
| AG01/#3.41.xml |
YES
3.60/2.05
| YES
1.67/0.69
|
| AG01/#3.8a.xml |
YES
4.32/1.90
| YES
4.54/1.43
|
| AG01/#3.2.xml |
YES
4.04/1.90
| YES
2.92/1.07
|
| AG01/#3.51.xml |
YES
4.11/1.75
| YES
4.71/1.53
|
| AG01/#3.36.xml |
YES
4.64/1.93
| YES
3.06/1.03
|
| AG01/#3.48.xml |
YES
3.63/1.70
| YES
3.85/1.32
|
| AG01/#3.16.xml |
YES
3.60/1.72
| YES
2.22/0.86
|
| AG01/#3.1.xml |
YES
3.82/1.71
| YES
2.64/0.96
|
| AG01/#3.6a.xml |
YES
4.85/2.04
| YES
4.88/1.58
|
| AG01/#3.26.xml |
YES
8.54/3.02
| YES
1.53/0.64
|
| AG01/#3.7.xml |
YES
4.95/2.10
| YES
0.60/0.42
|
| AG01/#3.5b.xml |
YES
5.00/2.81
| YES
5.38/1.69
|
| AG01/#3.5.xml |
YES
4.47/1.88
| YES
4.04/1.35
|
| AG01/#3.38.xml |
YES
4.62/1.98
| YES
3.65/1.29
|
| AG01/#3.31.xml |
YES
3.70/1.77
| YES
1.02/0.50
|
| AG01/#3.33.xml |
YES
3.63/1.62
| YES
7.19/2.07
|
| AG01/#3.24.xml |
YES
3.80/1.63
| YES
1.02/0.52
|
| AG01/#3.42.xml |
YES
3.85/1.80
| YES
5.13/1.60
|
| AG01/#3.37.xml |
YES
3.86/1.84
| YES
1.62/0.68
|
| AG01/#4.30c.xml |
YES
10.25/4.80
| MAYBE
89.74/42.34
|
| AG01/#3.54.xml |
YES
5.37/2.42
| YES
2.42/0.89
|
| AG01/#3.17a.xml |
YES
4.86/2.08
| YES
10.31/2.87
|
| AG01/#3.8b.xml |
YES
5.15/2.12
| YES
6.92/2.19
|
| AG01/#3.21.xml |
YES
3.85/1.82
| YES
1.79/0.73
|
| Applicative_05/nonTermF.xml |
timeout (wallclock)
| NO
0.42/0.37
|
| Applicative_05/TreeLevels.xml |
YES
4.31/1.91
| YES
6.30/2.01
|
| Applicative_05/Ex2_6_1Composition.xml |
YES
3.72/1.71
| YES
0.50/0.38
|
| Applicative_05/Ex7Sorting.xml |
MAYBE
688.51/300.51
| MAYBE
54.01/16.87
|
| Applicative_05/Ex2_8_1ConstSubstFix.xml |
NO
36.32/13.49
| NO
0.46/0.37
|
| Applicative_05/Ex6Recursor.xml |
YES
119.48/60.47
| MAYBE
19.04/7.34
|
| Applicative_05/Ex7_9.xml |
YES
4.76/2.07
| MAYBE
16.63/7.36
|
| Applicative_05/TypeEx5.xml |
NO
4.48/2.07
| NO
0.31/0.31
|
| Applicative_05/Ex8Polymorphic.xml |
YES
3.98/1.80
| YES
2.98/1.07
|
| Applicative_05/TreeFlatten.xml |
YES
4.08/1.78
| YES
4.45/1.46
|
| Applicative_05/Ex3Lists.xml |
YES
3.94/1.74
| YES
4.96/1.64
|
| Applicative_05/TypeEx1.xml |
YES
4.50/1.90
| YES
3.29/1.12
|
| Applicative_05/Ex10Functional.xml |
timeout (wallclock)
| MAYBE
41.97/13.39
|
| Applicative_05/ReverseLastInit.xml |
YES
3.79/1.76
| YES
1.79/0.72
|
| Applicative_05/Ex9Maps.xml |
YES
19.98/6.14
| MAYBE
62.41/20.92
|
| Applicative_05/TakeDropWhile.xml |
YES
3.92/1.76
| YES
4.03/1.40
|
| Applicative_05/Ex2PrimRec.xml |
timeout (wallclock)
| MAYBE
31.77/11.19
|
| Applicative_05/TypeEx3.xml |
NO
8.51/2.97
| NO
0.32/0.32
|
| Applicative_05/Ex4MapList.xml |
YES
4.02/1.84
| YES
2.65/0.97
|
| Applicative_05/Ex7OrdinalRec.xml |
MAYBE
543.03/291.57
| MAYBE
38.43/13.01
|
| Applicative_05/Ex5Sorting.xml |
timeout (wallclock)
| MAYBE
54.22/16.76
|
| Applicative_05/mapDivMinusHard.xml |
YES
4.95/2.06
| MAYBE
120.54/42.36
|
| Applicative_05/Hamming.xml |
NO
6.44/2.48
| NO
0.51/0.43
|
| Applicative_05/TreeMap.xml |
YES
3.83/1.81
| YES
3.06/1.10
|
| Applicative_05/BTreeMember.xml |
YES
4.31/1.84
| YES
4.84/1.56
|
| Applicative_05/Ex6Folding.xml |
MAYBE
382.53/291.49
| MAYBE
25.26/7.38
|
| Applicative_05/Ex5Folding.xml |
MAYBE
447.22/291.53
| MAYBE
26.76/7.73
|
| Applicative_05/termMonTypes.xml |
NO
8.09/3.05
| NO
0.41/0.37
|
| Applicative_05/TreeSize.xml |
YES
4.01/1.79
| YES
4.26/1.42
|
| Applicative_05/TreeHeight.xml |
YES
4.27/1.84
| YES
4.79/1.64
|
| Applicative_05/mapDivMinus.xml |
YES
4.24/1.85
| MAYBE
16.84/7.35
|
| Applicative_05/Ex6_11.xml |
YES
3.69/1.68
| YES
5.12/1.92
|
| AotoYamada_05/026.xml |
YES
3.93/1.76
| YES
2.73/1.01
|
| AotoYamada_05/002.xml |
YES
4.19/1.91
| YES
3.26/1.17
|
| AotoYamada_05/022.xml |
YES
4.02/1.83
| YES
2.59/0.98
|
| AotoYamada_05/003.xml |
NO
5.27/2.07
| NO
0.31/0.32
|
| AotoYamada_05/Ex5TermProof.xml |
YES
156.48/71.79
| MAYBE
26.24/7.49
|
| AotoYamada_05/015.xml |
YES
3.86/1.77
| YES
3.49/1.22
|
| AotoYamada_05/010.xml |
YES
5.17/2.24
| MAYBE
31.73/9.90
|
| AotoYamada_05/024.xml |
YES
3.81/1.78
| YES
2.17/0.86
|
| AotoYamada_05/021.xml |
YES
4.11/1.86
| YES
4.66/1.57
|
| AotoYamada_05/017.xml |
YES
3.46/1.63
| YES
0.48/0.37
|
| AotoYamada_05/012.xml |
YES
4.20/1.78
| YES
3.53/1.21
|
| AotoYamada_05/005.xml |
YES
3.62/1.64
| YES
0.49/0.38
|
| AotoYamada_05/011.xml |
YES
4.97/2.06
| MAYBE
34.03/11.65
|
| AotoYamada_05/001.xml |
NO
4.97/2.04
| NO
0.30/0.31
|
| AotoYamada_05/027.xml |
YES
3.81/1.76
| YES
3.40/1.17
|
| AotoYamada_05/Ex1SimplyTyped.xml |
YES
3.93/1.77
| YES
3.10/1.11
|
| AotoYamada_05/006.xml |
YES
3.90/1.79
| YES
3.14/1.14
|
| AotoYamada_05/025.xml |
YES
3.65/1.70
| YES
0.52/0.38
|
| AotoYamada_05/004.xml |
YES
3.75/1.82
| YES
3.22/1.14
|
| AotoYamada_05/020.xml |
YES
4.02/1.85
| YES
4.13/1.42
|
| AotoYamada_05/014.xml |
YES
4.08/1.86
| YES
4.42/1.47
|
| AotoYamada_05/009.xml |
YES
3.91/1.80
| YES
3.09/1.10
|
| AotoYamada_05/028.xml |
YES
3.60/1.90
| YES
2.85/1.09
|
| AotoYamada_05/019.xml |
YES
3.72/1.73
| YES
1.81/0.74
|
| AotoYamada_05/013.xml |
YES
4.04/1.81
| YES
3.69/1.28
|
| AotoYamada_05/007.xml |
YES
3.57/1.74
| YES
3.18/1.14
|
| AotoYamada_05/016.xml |
YES
4.17/1.85
| StarExec error
|
| AotoYamada_05/023.xml |
YES
3.57/1.63
| YES
0.49/0.37
|
| AProVE_09_Inductive/zerolist.xml |
MAYBE
382.53/291.49
| MAYBE
14.03/7.33
|
| AProVE_09_Inductive/log.xml |
MAYBE
641.41/291.75
| MAYBE
107.12/42.33
|
| AProVE_09_Inductive/maxsort.xml |
MAYBE
690.48/292.59
| MAYBE
66.99/21.17
|
| AProVE_09_Inductive/qsortlast.xml |
MAYBE
757.00/291.52
| MAYBE
124.47/42.36
|
| AProVE_09_Inductive/qsort.xml |
MAYBE
667.82/291.51
| MAYBE
83.11/25.92
|
| AProVE_09_Inductive/qsortmiddle.xml |
MAYBE
744.67/291.54
| MAYBE
132.72/42.37
|
| AProVE_09_Inductive/minsort.xml |
MAYBE
724.81/291.51
| MAYBE
60.89/19.75
|
| AProVE_09_Inductive/gcd2.xml |
MAYBE
666.10/291.51
| MAYBE
49.01/17.88
|
| AProVE_09_Inductive/maxsortcondition.xml |
MAYBE
704.48/291.52
| MAYBE
47.42/16.69
|
| AProVE_09_Inductive/div.xml |
MAYBE
658.77/291.50
| MAYBE
28.96/9.18
|
| AProVE_09_Inductive/mod.xml |
MAYBE
665.74/292.60
| MAYBE
34.45/11.00
|
| AProVE_09_Inductive/divhard.xml |
MAYBE
655.67/292.61
| MAYBE
32.16/10.41
|
| AProVE_09_Inductive/gcd.xml |
MAYBE
660.28/292.09
| MAYBE
25.32/7.51
|
| AProVE_09_Inductive/gcdhard.xml |
MAYBE
658.74/291.56
| MAYBE
45.87/13.77
|
| AProVE_08/log.xml |
MAYBE
1084.33/293.16
| MAYBE
124.59/42.34
|
| AProVE_08/round_nonterm.xml |
NO
4.43/1.86
| NO
0.62/0.41
|
| AProVE_08/parting05_maxsort.xml |
MAYBE
693.43/292.64
| MAYBE
71.76/22.70
|
| AProVE_08/parting03_minsort.xml |
MAYBE
680.87/291.50
| MAYBE
57.94/17.37
|
| AProVE_08/parting04_maxsort_h.xml |
MAYBE
916.12/292.70
| MAYBE
129.52/42.35
|
| AProVE_08/thiemann40_modified.xml |
YES
27.77/13.52
| YES
4.75/1.62
|
| AProVE_08/parting01_reverse.xml |
MAYBE
652.05/292.07
| MAYBE
58.46/19.13
|
| AProVE_08/round.xml |
MAYBE
306.09/291.45
| MAYBE
15.59/7.33
|
| AProVE_08/id_inc.xml |
YES
5.50/2.14
| YES
24.64/6.47
|
| AProVE_08/parting02_doublelist.xml |
MAYBE
649.80/292.83
| MAYBE
57.91/18.09
|
| Beerendonk_07/12.xml |
YES
5.93/4.52
| MAYBE
21.23/7.34
|
| Beerendonk_07/10.xml |
YES
5.56/2.34
| YES
8.57/2.54
|
| Beerendonk_07/14.xml |
YES
5.72/2.39
| MAYBE
14.47/7.33
|
| Beerendonk_07/13.xml |
YES
6.03/2.55
| MAYBE
26.08/7.33
|
| Beerendonk_07/3.xml |
YES
4.37/2.02
| MAYBE
15.31/7.35
|
| Beerendonk_07/20.xml |
YES
4.29/1.92
| MAYBE
43.46/12.83
|
| Beerendonk_07/7.xml |
YES
4.36/2.32
| YES
3.56/1.19
|
| Beerendonk_07/1.xml |
YES
4.17/1.87
| YES
2.79/1.00
|
| Beerendonk_07/17.xml |
YES
22.78/12.81
| MAYBE
105.59/42.35
|
| Beerendonk_07/23.xml |
YES
5.87/2.25
| YES
5.49/1.69
|
| Beerendonk_07/19.xml |
YES
32.40/14.40
| MAYBE
120.50/42.35
|
| Beerendonk_07/16.xml |
YES
20.36/11.73
| MAYBE
61.28/18.62
|
| Beerendonk_07/5.xml |
YES
4.84/2.06
| YES
5.37/1.69
|
| Beerendonk_07/11.xml |
YES
6.82/2.84
| MAYBE
22.27/7.34
|
| Beerendonk_07/2.xml |
YES
4.38/1.98
| YES
3.00/1.05
|
| Beerendonk_07/8.xml |
YES
4.05/1.93
| YES
4.20/1.41
|
| Beerendonk_07/18.xml |
YES
4.80/2.04
| MAYBE
115.97/42.34
|
| Beerendonk_07/6.xml |
YES
4.30/1.85
| YES
3.24/1.12
|
| Beerendonk_07/21.xml |
MAYBE
621.28/291.56
| MAYBE
51.73/15.51
|
| Beerendonk_07/9.xml |
YES
4.75/2.01
| YES
4.46/1.49
|
| Beerendonk_07/4.xml |
YES
4.42/2.04
| MAYBE
10.90/7.34
|
| Beerendonk_07/24.xml |
YES
26.35/11.40
| MAYBE
125.29/42.35
|
| Beerendonk_07/15.xml |
YES
10.62/4.30
| MAYBE
60.45/20.69
|
| Beerendonk_07/22.xml |
YES
5.38/2.18
| YES
5.20/1.63
|
| AProVE_10/isNat.xml |
NO
21.67/12.67
| MAYBE
14.05/7.32
|
| AProVE_10/ex3.xml |
NO
35.10/11.94
| MAYBE
29.29/10.66
|
| AProVE_10/halfdouble.xml |
NO
25.76/13.04
| MAYBE
131.07/42.34
|
| AProVE_10/isList.xml |
NO
4.40/1.98
| NO
0.43/0.36
|
| AProVE_10/scnp.xml |
YES
3.38/1.63
| YES
0.73/0.44
|
| AProVE_10/downfrom.xml |
MAYBE
389.79/291.46
| MAYBE
102.06/42.34
|
| AProVE_10/ex5.xml |
YES
3.22/1.51
| YES
0.47/0.37
|
| AProVE_10/andIsNat.xml |
NO
45.96/18.09
| MAYBE
95.32/42.33
|
| AProVE_10/ex1.xml |
NO
25.25/11.87
| MAYBE
24.82/8.53
|
| AProVE_10/challenge_fab.xml |
MAYBE
628.57/291.48
| MAYBE
131.01/42.33
|
| AProVE_10/double.xml |
NO
37.42/11.82
| MAYBE
15.76/7.32
|
| AProVE_10/Zantema06-03-modified.xml |
timeout (wallclock)
| MAYBE
142.00/42.33
|
| AProVE_10/ex2.xml |
NO
38.27/12.33
| MAYBE
88.57/42.33
|
| AProVE_10/ex4.xml |
NO
40.22/14.34
| MAYBE
39.94/12.63
|
| AProVE_04/Liveness_WRS.xml |
YES
7.22/2.62
| YES
7.31/2.14
|
| AProVE_04/IJCAR_1.xml |
YES
4.12/1.83
| YES
2.44/0.90
|
| AProVE_04/IJCAR_18.xml |
YES
5.25/2.13
| YES
9.37/2.83
|
| AProVE_04/AAECC-ring.xml |
timeout (wallclock)
| MAYBE
143.01/42.40
|
| AProVE_04/AAECC.xml |
YES
55.74/19.93
| MAYBE
97.33/27.64
|
| AProVE_04/forward_instantiation2.xml |
YES
3.91/1.88
| YES
0.98/0.52
|
| AProVE_04/JFP_Ex51.xml |
YES
5.48/2.20
| YES
24.42/6.73
|
| AProVE_04/IJCAR_12.xml |
YES
4.70/2.04
| YES
4.76/1.57
|
| AProVE_04/rta1.xml |
YES
4.14/1.90
| YES
5.07/1.66
|
| AProVE_04/IJCAR_26.xml |
YES
5.64/2.26
| YES
11.57/3.40
|
| AProVE_04/LPAR_intlist.xml |
YES
4.25/1.81
| YES
4.06/1.31
|
| AProVE_04/IJCAR_26a.xml |
YES
5.42/2.12
| YES
11.85/3.47
|
| AProVE_04/Liveness8.xml |
YES
5.09/3.51
| YES
4.00/1.29
|
| AProVE_04/Liveness6.3.xml |
YES
10.50/3.87
| YES
9.81/2.77
|
| AProVE_04/fac.xml |
YES
5.41/2.29
| YES
4.63/1.55
|
| AProVE_04/Liveness6.4.xml |
YES
79.14/24.88
| MAYBE
144.65/42.34
|
| AProVE_04/improved_usable2.xml |
YES
3.76/1.75
| YES
1.32/0.61
|
| AProVE_04/Liveness6.1.xml |
YES
12.61/5.21
| YES
2.03/0.79
|
| AProVE_04/Liveness6.2.xml |
YES
6.13/2.51
| YES
3.02/1.04
|
| AProVE_04/rta2.xml |
YES
3.18/1.52
| YES
0.65/0.41
|
| AProVE_04/JFP_Ex31.xml |
YES
133.30/59.53
| MAYBE
144.68/42.34
|
| AProVE_04/improved_usable.xml |
YES
3.89/1.69
| YES
1.47/0.66
|
| AProVE_04/rta3.xml |
YES
3.62/2.12
| YES
2.48/0.94
|
| AProVE_04/forward_instantiation.xml |
YES
3.77/1.78
| YES
0.87/0.50
|
| Applicative_first_order_05/01.xml |
YES
4.47/1.89
| YES
5.13/1.74
|
| Applicative_first_order_05/12.xml |
YES
4.67/1.99
| YES
7.51/2.37
|
| Applicative_first_order_05/06.xml |
YES
4.55/1.95
| YES
4.65/1.53
|
| Applicative_first_order_05/#3.18.xml |
YES
5.24/2.14
| MAYBE
25.97/8.03
|
| Applicative_first_order_05/#3.6.xml |
YES
5.87/2.33
| MAYBE
24.53/7.37
|
| Applicative_first_order_05/#3.55.xml |
YES
6.59/2.65
| MAYBE
27.30/7.80
|
| Applicative_first_order_05/motivation.xml |
YES
4.69/2.03
| YES
5.25/1.71
|
| Applicative_first_order_05/02.xml |
YES
4.31/1.88
| YES
4.57/1.56
|
| Applicative_first_order_05/#3.52.xml |
YES
4.57/2.02
| YES
5.44/1.77
|
| Applicative_first_order_05/#3.10.xml |
YES
7.81/2.92
| MAYBE
65.26/20.67
|
| Applicative_first_order_05/#3.22.xml |
YES
4.65/1.99
| MAYBE
21.04/7.37
|
| Applicative_first_order_05/#3.57.xml |
YES
6.02/2.39
| MAYBE
31.29/8.85
|
| Applicative_first_order_05/13.xml |
YES
27.03/13.32
| MAYBE
24.81/7.36
|
| Applicative_first_order_05/#3.8.xml |
YES
5.24/2.76
| MAYBE
47.89/17.07
|
| Applicative_first_order_05/hydra.xml |
YES
4.63/1.93
| YES
6.91/2.17
|
| Applicative_first_order_05/minsort.xml |
MAYBE
680.41/291.74
| StarExec error
|
| Applicative_first_order_05/#3.45.xml |
YES
4.63/2.21
| YES
6.74/2.08
|
| Applicative_first_order_05/17.xml |
YES
4.44/1.87
| YES
7.38/2.27
|
| Applicative_first_order_05/08.xml |
YES
4.39/1.93
| YES
6.09/1.96
|
| Applicative_first_order_05/29.xml |
YES
4.62/2.02
| YES
5.96/1.96
|
| Applicative_first_order_05/#3.27.xml |
YES
4.21/1.91
| YES
4.99/1.62
|
| Applicative_first_order_05/#3.40.xml |
YES
5.62/2.21
| MAYBE
131.73/42.38
|
| Applicative_first_order_05/#3.13.xml |
YES
6.83/2.72
| MAYBE
26.85/7.47
|
| Applicative_first_order_05/33.xml |
MAYBE
897.64/291.52
| MAYBE
133.65/42.38
|
| Applicative_first_order_05/11.xml |
YES
5.30/2.14
| YES
11.75/3.86
|
| Applicative_first_order_05/#3.2.xml |
YES
4.82/2.94
| MAYBE
15.60/7.37
|
| Applicative_first_order_05/#3.36.xml |
StarExec error
| MAYBE
18.55/7.36
|
| Applicative_first_order_05/#3.32.xml |
YES
4.48/1.97
| StarExec error
|
| Applicative_first_order_05/#3.48.xml |
YES
4.47/1.96
| YES
7.69/2.47
|
| Applicative_first_order_05/#3.16.xml |
YES
4.90/1.95
| YES
7.15/2.27
|
| Applicative_first_order_05/18.xml |
YES
4.32/1.94
| YES
4.97/1.60
|
| Applicative_first_order_05/#3.38.xml |
YES
5.48/4.89
| MAYBE
26.34/7.78
|
| Applicative_first_order_05/21.xml |
YES
4.92/2.04
| MAYBE
14.99/7.35
|
| Applicative_first_order_05/#3.25.xml |
YES
5.68/2.30
| MAYBE
15.81/7.35
|
| Applicative_first_order_05/31.xml |
YES
5.40/2.17
| MAYBE
31.78/10.02
|
| Applicative_first_order_05/30.xml |
YES
4.04/1.82
| YES
8.97/2.74
|
| Applicative_first_order_05/perfect.xml |
YES
5.15/2.13
| YES
15.35/4.62
|
| Applicative_first_order_05/perfect2.xml |
YES
5.58/2.26
| MAYBE
135.27/42.39
|
| AProVE_07/thiemann14.xml |
YES
25.73/8.92
| YES
10.81/3.32
|
| AProVE_07/otto06.xml |
YES
8.47/3.21
| MAYBE
37.89/13.59
|
| AProVE_07/kabasci06.xml |
YES
4.79/2.07
| MAYBE
120.80/42.36
|
| AProVE_07/thiemann01.xml |
YES
6.14/2.64
| MAYBE
19.27/7.34
|
| AProVE_07/thiemann31.xml |
YES
8.40/3.20
| MAYBE
49.86/16.33
|
| AProVE_07/thiemann21.xml |
MAYBE
684.45/291.52
| MAYBE
105.56/42.36
|
| AProVE_07/thiemann25.xml |
YES
5.67/2.34
| MAYBE
30.59/11.03
|
| AProVE_07/thiemann05.xml |
YES
6.71/2.54
| MAYBE
25.50/7.68
|
| AProVE_07/thiemann03.xml |
YES
7.70/2.80
| MAYBE
111.19/42.34
|
| AProVE_07/thiemann39.xml |
YES
5.53/2.17
| MAYBE
90.69/29.11
|
| AProVE_07/thiemann34.xml |
YES
8.33/3.12
| MAYBE
40.64/15.20
|
| AProVE_07/thiemann26.xml |
NO
135.61/57.45
| MAYBE
39.56/13.20
|
| AProVE_07/wiehe03.xml |
YES
7.85/2.86
| YES
26.36/7.38
|
| AProVE_07/otto03.xml |
YES
4.53/2.00
| MAYBE
24.29/8.28
|
| AProVE_07/thiemann10.xml |
YES
5.18/2.08
| YES
5.90/1.86
|
| AProVE_07/thiemann30.xml |
MAYBE
400.12/291.53
| MAYBE
23.93/7.37
|
| AProVE_07/otto04.xml |
YES
6.60/2.61
| MAYBE
34.37/12.18
|
| AProVE_07/otto05.xml |
YES
5.11/2.07
| YES
5.20/1.67
|
| AProVE_07/thiemann40.xml |
YES
4.51/1.98
| YES
2.83/0.99
|
| AProVE_07/thiemann17.xml |
YES
6.26/2.36
| YES
9.08/2.66
|
| AProVE_07/kabasci05.xml |
YES
5.51/2.27
| YES
16.43/5.30
|
| AProVE_07/otto08.xml |
YES
7.60/3.24
| MAYBE
18.36/7.35
|
| AProVE_07/thiemann18.xml |
YES
7.32/2.65
| YES
13.15/3.73
|
| AProVE_07/wiehe01.xml |
StarExec error
| YES
11.57/3.49
|
| AProVE_07/wiehe11.xml |
YES
7.43/2.71
| YES
28.57/8.78
|
| AProVE_07/kabasci02.xml |
YES
7.79/2.80
| YES
21.71/6.09
|
| AProVE_07/thiemann36.xml |
YES
10.07/4.38
| MAYBE
50.83/16.88
|
| AProVE_07/thiemann29.xml |
YES
40.61/19.19
| MAYBE
118.60/42.34
|
| AProVE_07/thiemann37.xml |
YES
15.02/5.27
| MAYBE
38.08/13.81
|
| AProVE_07/wiehe08.xml |
YES
6.65/2.48
| YES
18.70/6.53
|
| AProVE_07/thiemann04.xml |
YES
67.08/19.08
| MAYBE
69.82/25.27
|
| AProVE_07/otto02.xml |
YES
6.18/2.38
| MAYBE
29.46/10.46
|
| AProVE_07/thiemann38.xml |
YES
7.10/2.76
| MAYBE
40.64/15.10
|
| AProVE_07/thiemann41.xml |
YES
5.01/3.10
| MAYBE
27.67/9.72
|
| AProVE_07/thiemann27.xml |
YES
4.78/2.04
| MAYBE
23.90/8.09
|
| AProVE_07/otto07.xml |
YES
4.82/2.13
| MAYBE
24.60/8.50
|
| AProVE_07/otto01.xml |
YES
6.98/2.67
| MAYBE
53.88/18.53
|
| AProVE_07/kabasci03.xml |
StarExec error
| YES
16.84/4.69
|
| AProVE_07/thiemann23.xml |
YES
6.73/2.69
| MAYBE
29.87/10.68
|
| AProVE_07/thiemann07.xml |
YES
25.71/9.02
| MAYBE
115.68/42.35
|
| AProVE_07/thiemann32.xml |
YES
14.84/6.94
| MAYBE
130.57/42.35
|
| AProVE_07/thiemann19.xml |
YES
8.44/3.29
| MAYBE
42.56/15.84
|
| AProVE_07/otto12.xml |
YES
7.94/3.01
| MAYBE
37.27/13.29
|
| AProVE_07/thiemann09.xml |
YES
5.06/2.16
| MAYBE
37.63/12.88
|
| AProVE_07/wiehe06.xml |
YES
6.61/2.48
| YES
13.85/3.99
|
| AProVE_07/otto11.xml |
YES
5.25/2.10
| MAYBE
26.12/8.99
|
| AProVE_07/kabasci01.xml |
YES
17.08/5.36
| YES
45.71/12.23
|
| AProVE_07/thiemann16.xml |
YES
6.25/2.46
| YES
14.71/4.27
|
| AProVE_07/thiemann11.xml |
YES
37.25/14.30
| MAYBE
131.77/42.34
|
| AProVE_07/wiehe02.xml |
YES
7.08/2.59
| YES
21.19/5.91
|
| AProVE_07/thiemann22.xml |
YES
7.72/3.61
| MAYBE
131.40/42.33
|
| AProVE_07/thiemann35.xml |
YES
6.26/2.44
| MAYBE
61.00/19.98
|
| AProVE_07/thiemann20.xml |
MAYBE
805.47/291.49
| MAYBE
102.83/42.33
|
| AProVE_07/thiemann15.xml |
YES
5.09/2.03
| StarExec error
|
| AProVE_07/wiehe09.xml |
YES
6.73/2.52
| YES
13.60/3.95
|
| AProVE_07/wiehe05.xml |
StarExec error
| YES
14.30/4.24
|
| AProVE_07/wiehe12.xml |
YES
7.94/2.84
| YES
27.86/7.62
|
| AProVE_07/thiemann28.xml |
NO
15.55/7.93
| MAYBE
33.97/10.90
|
| AProVE_07/kabasci04.xml |
YES
4.79/2.10
| YES
9.12/2.77
|
| AProVE_07/thiemann13.xml |
YES
20.61/7.64
| MAYBE
131.80/42.35
|
| AProVE_07/thiemann06.xml |
YES
20.68/6.44
| MAYBE
113.40/42.35
|
| AProVE_07/otto10.xml |
YES
6.38/2.45
| MAYBE
38.48/13.90
|
| AProVE_07/thiemann12.xml |
YES
5.21/2.10
| YES
6.48/2.01
|
| AProVE_07/otto09.xml |
YES
8.78/3.69
| MAYBE
17.97/7.34
|
| AProVE_07/otto13.xml |
YES
8.04/7.70
| MAYBE
43.77/16.36
|
| AProVE_07/thiemann33.xml |
YES
10.03/4.55
| MAYBE
32.67/11.51
|
| AProVE_07/wiehe07.xml |
MAYBE
882.26/296.55
| MAYBE
29.89/8.49
|
| AProVE_07/thiemann24.xml |
YES
6.06/2.41
| MAYBE
34.32/12.24
|
| AProVE_07/thiemann02.xml |
YES
12.90/4.63
| MAYBE
89.57/29.98
|
| AProVE_07/thiemann08.xml |
YES
4.98/2.04
| YES
5.41/1.79
|
| AProVE_06/nonterm.xml |
NO
6.03/2.38
| NO
0.56/0.40
|
| AProVE_06/modulo.xml |
YES
14.39/10.33
| MAYBE
17.53/7.34
|
| AProVE_06/div_notTermin.xml |
MAYBE
651.51/291.52
| MAYBE
127.01/42.35
|
| AProVE_06/tower.xml |
YES
5.06/2.08
| YES
9.62/2.80
|
| AProVE_06/mapHard.xml |
YES
7.76/2.80
| MAYBE
131.72/42.36
|
| AProVE_06/tower_sizeChange.xml |
YES
33.64/14.63
| MAYBE
53.82/21.90
|
| AProVE_06/identity.xml |
YES
5.81/2.49
| MAYBE
133.06/42.34
|
| AProVE_06/logarithm.xml |
YES
14.82/8.36
| MAYBE
127.94/42.35
|
| AProVE_06/factorial1.xml |
YES
5.14/2.03
| YES
9.10/2.70
|
| AProVE_06/quot.xml |
YES
9.38/8.81
| MAYBE
16.06/7.33
|
| AProVE_06/factorial2.xml |
YES
6.15/2.44
| MAYBE
27.57/8.68
|
| AProVE_06/div_notCeTermin.xml |
YES
13.54/5.72
| MAYBE
126.62/42.35
|
| AProVE_06/quicksort.xml |
YES
7.06/2.63
| YES
22.43/6.08
|
| AProVE_06/sizeChange.xml |
YES
3.90/1.83
| YES
2.83/1.04
|
| HirokawaMiddeldorp_04/t005.xml |
YES
8.12/2.90
| YES
17.18/5.27
|
| HirokawaMiddeldorp_04/t003.xml |
YES
4.35/1.91
| YES
5.86/1.94
|
| HirokawaMiddeldorp_04/t011.xml |
YES
3.52/1.64
| YES
0.92/0.49
|
| HirokawaMiddeldorp_04/t008.xml |
YES
7.83/2.72
| YES
3.53/1.16
|
| HirokawaMiddeldorp_04/n006.xml |
NO
3.21/1.55
| NO
0.30/0.31
|
| HirokawaMiddeldorp_04/n005.xml |
NO
3.05/1.45
| NO
0.30/0.30
|
| HirokawaMiddeldorp_04/t004.xml |
YES
7.48/2.60
| YES
4.97/1.51
|
| HirokawaMiddeldorp_04/n007.xml |
NO
3.85/1.82
| NO
0.30/0.31
|
| HirokawaMiddeldorp_04/t013.xml |
YES
4.37/1.95
| YES
4.22/1.35
|
| HirokawaMiddeldorp_04/t002.xml |
YES
4.47/1.92
| MAYBE
13.49/7.33
|
| HirokawaMiddeldorp_04/n002.xml |
NO
3.30/1.57
| NO
0.30/0.30
|
| HirokawaMiddeldorp_04/t006.xml |
YES
3.28/1.51
| YES
0.51/0.38
|
| HirokawaMiddeldorp_04/t001.xml |
YES
4.64/2.10
| YES
8.61/2.62
|
| HirokawaMiddeldorp_04/t010.xml |
YES
4.10/1.75
| YES
0.65/0.45
|
| HirokawaMiddeldorp_04/t007.xml |
YES
4.00/1.76
| YES
0.62/0.43
|
| HirokawaMiddeldorp_04/t014.xml |
YES
4.23/1.88
| YES
4.31/1.44
|
| HirokawaMiddeldorp_04/n003.xml |
NO
5.89/2.30
| NO
0.30/0.31
|
| HirokawaMiddeldorp_04/t012.xml |
YES
4.16/1.87
| YES
2.86/0.99
|
| HirokawaMiddeldorp_04/n004.xml |
NO
6.45/2.36
| NO
0.31/0.31
|
| HirokawaMiddeldorp_04/t009.xml |
YES
16.97/7.52
| MAYBE
144.14/42.43
|
| HirokawaMiddeldorp_04/n008.xml |
NO
5.50/2.28
| NO
0.31/0.31
|
| HirokawaMiddeldorp_04/t000.xml |
YES
4.23/1.79
| YES
1.40/0.66
|
| GTSSK07/cade01.xml |
YES
4.80/2.09
| MAYBE
25.24/8.85
|
| GTSSK07/cade11.xml |
YES
4.53/2.09
| MAYBE
31.75/11.49
|
| GTSSK07/cade14.xml |
YES
10.49/5.50
| MAYBE
35.75/13.11
|
| GTSSK07/cade16.xml |
YES
4.99/2.26
| MAYBE
33.64/12.19
|
| GTSSK07/cade12t.xml |
timeout (wallclock)
| MAYBE
122.67/42.34
|
| GTSSK07/cade09.xml |
YES
4.84/2.15
| MAYBE
130.88/42.34
|
| GTSSK07/cade10.xml |
YES
5.02/2.14
| MAYBE
101.03/42.33
|
| GTSSK07/cade06.xml |
MAYBE
655.58/291.51
| MAYBE
31.74/11.30
|
| GTSSK07/cade03.xml |
YES
4.96/2.20
| MAYBE
24.47/8.38
|
| GTSSK07/cade04t.xml |
MAYBE
345.99/291.56
| MAYBE
12.64/7.33
|
| GTSSK07/cade13t.xml |
YES
5.33/2.24
| MAYBE
18.51/7.34
|
| GTSSK07/cade05t.xml |
YES
5.76/2.47
| MAYBE
65.64/21.72
|
| GTSSK07/cade17.xml |
timeout (wallclock)
| MAYBE
132.63/42.34
|
| GTSSK07/cade08.xml |
MAYBE
661.92/291.88
| MAYBE
32.00/11.38
|
| GTSSK07/cade07.xml |
MAYBE
334.53/242.30
| MAYBE
31.98/11.10
|
| GTSSK07/cade15.xml |
YES
13.63/5.70
| MAYBE
60.76/20.26
|
| Mixed_TRS/while2.xml |
timeout (wallclock)
| MAYBE
122.24/42.33
|
| Mixed_TRS/motivation.xml |
YES
3.84/1.72
| YES
2.16/0.82
|
| Mixed_TRS/jones1.xml |
YES
3.38/1.57
| YES
0.53/0.38
|
| Mixed_TRS/jones5.xml |
StarExec error
| YES
0.71/0.43
|
| Mixed_TRS/beans.xml |
YES
4.59/1.99
| MAYBE
144.50/42.34
|
| Mixed_TRS/3.xml |
YES
3.97/1.90
| YES
1.38/0.63
|
| Mixed_TRS/7.xml |
YES
66.44/35.07
| MAYBE
43.32/16.13
|
| Mixed_TRS/1.xml |
YES
4.20/1.89
| YES
1.73/0.80
|
| Mixed_TRS/hydra.xml |
YES
3.71/1.66
| YES
2.18/0.82
|
| Mixed_TRS/minsort.xml |
MAYBE
657.95/291.52
| MAYBE
46.74/15.62
|
| Mixed_TRS/while.xml |
YES
4.27/1.93
| MAYBE
17.48/7.33
|
| Mixed_TRS/jones4.xml |
YES
3.62/1.71
| YES
0.48/0.37
|
| Mixed_TRS/gcdMinMax.xml |
YES
4.80/1.99
| MAYBE
70.46/23.03
|
| Mixed_TRS/Ex1_Luc04b_GM.xml |
YES
6.24/2.83
| YES
20.75/5.69
|
| Mixed_TRS/hydra-Zantema06.xml |
MAYBE
666.11/291.50
| MAYBE
128.86/42.34
|
| Mixed_TRS/5.xml |
YES
3.83/1.76
| YES
0.93/0.53
|
| Mixed_TRS/jones2.xml |
YES
3.54/1.67
| YES
2.16/0.80
|
| Mixed_TRS/2.xml |
YES
4.27/1.91
| YES
2.88/1.03
|
| Mixed_TRS/div_hard.xml |
MAYBE
547.55/291.50
| MAYBE
20.49/7.34
|
| Mixed_TRS/jones6.xml |
YES
3.62/1.73
| YES
1.68/0.68
|
| Mixed_TRS/test1.xml |
YES
3.80/1.84
| YES
1.24/0.58
|
| Mixed_TRS/6.xml |
MAYBE
340.05/291.49
| MAYBE
21.72/7.32
|
| Mixed_TRS/fossacs.xml |
MAYBE
669.85/291.48
| StarExec error
|
| Mixed_TRS/sigma.xml |
timeout (wallclock)
| MAYBE
31.58/10.09
|
| Mixed_TRS/gcd.xml |
YES
4.61/1.97
| YES
6.80/2.09
|
| Mixed_TRS/4.xml |
YES
4.31/1.99
| YES
1.43/0.77
|
| Mixed_TRS/perfect.xml |
YES
3.87/1.78
| YES
3.86/1.38
|
| Mixed_TRS/gcd_triple.xml |
YES
5.98/2.40
| YES
11.28/3.31
|
| Mixed_TRS/perfect2.xml |
YES
4.62/1.95
| YES
6.21/1.97
|
| Hydras/lepper_8.xml |
MAYBE
1065.33/297.60
| MAYBE
148.60/43.20
|
| Hydras/worm_wrong.xml |
YES
55.04/20.12
| YES
25.05/8.15
|
| Hydras/lepper_4.xml |
MAYBE
1019.03/300.09
| MAYBE
137.59/42.52
|
| Hydras/lepper_2.xml |
NO
154.83/53.38
| MAYBE
120.43/42.40
|
| Hydras/worm_fixed2.xml |
timeout (wallclock)
| MAYBE
131.12/42.34
|
| Hydras/hydra_touzet.xml |
MAYBE
646.17/292.25
| MAYBE
82.05/27.16
|
| Hydras/hydra_buchholz.xml |
timeout (wallclock)
| MAYBE
40.13/12.98
|
| Hydras/lepper_0.xml |
timeout (wallclock)
| MAYBE
81.51/28.09
|
| Hydras/lepper_5.xml |
timeout (wallclock)
| MAYBE
146.68/42.63
|
| Hydras/lepper_9.xml |
timeout (wallclock)
| MAYBE
147.33/43.50
|
| Hydras/worm_fixed.xml |
MAYBE
886.86/291.55
| MAYBE
55.44/17.58
|
| Hydras/worm_fixed3.xml |
timeout (wallclock)
| MAYBE
131.81/42.35
|
| Hydras/lepper_6.xml |
timeout (wallclock)
| MAYBE
147.44/42.76
|
| Hydras/lepper_10.xml |
timeout (wallclock)
| MAYBE
144.94/43.87
|
| Hydras/goodstein.xml |
timeout (wallclock)
| MAYBE
90.21/28.60
|
| Hydras/lepper_3.xml |
NO
572.91/180.66
| MAYBE
130.63/42.46
|
| Hydras/lepper_1.xml |
timeout (wallclock)
| MAYBE
92.95/29.90
|
| Der95/03.xml |
YES
3.39/1.52
| YES
0.85/0.47
|
| Der95/01.xml |
YES
3.47/1.60
| YES
0.48/0.38
|
| Der95/12.xml |
YES
3.75/1.70
| YES
3.42/1.21
|
| Der95/27.xml |
StarExec error
| YES
0.57/0.40
|
| Der95/06.xml |
YES
6.28/2.42
| YES
1.35/0.59
|
| Der95/02.xml |
YES
3.52/1.59
| YES
0.46/0.37
|
| Der95/13.xml |
YES
27.65/13.15
| MAYBE
27.43/8.35
|
| Der95/20.xml |
YES
3.59/1.65
| YES
0.55/0.40
|
| Der95/04.xml |
YES
4.40/1.83
| YES
0.85/0.48
|
| Der95/17.xml |
YES
3.35/1.54
| YES
0.50/0.38
|
| Der95/08.xml |
YES
3.70/1.69
| YES
17.24/5.49
|
| Der95/28.xml |
YES
3.55/1.68
| YES
1.99/0.78
|
| Der95/09.xml |
YES
3.01/1.51
| YES
0.49/0.37
|
| Der95/33.xml |
MAYBE
911.02/292.43
| MAYBE
133.06/42.33
|
| Der95/11.xml |
YES
4.10/1.79
| YES
17.37/5.57
|
| Der95/07.xml |
YES
10.68/3.48
| YES
0.96/0.50
|
| Der95/18.xml |
YES
3.54/1.69
| YES
1.59/0.68
|
| Der95/21.xml |
YES
3.77/1.72
| YES
3.20/1.13
|
| Der95/31.xml |
YES
3.78/1.77
| YES
2.97/1.03
|
| Der95/30.xml |
timeout (wallclock)
| YES
3.64/1.19
|
| Der95/32.xml |
YES
3.82/1.75
| YES
3.42/1.19
|
| CiME_04/filliatre2.xml |
YES
4.18/1.79
| YES
7.71/2.24
|
| CiME_04/tree.xml |
YES
5.33/2.14
| YES
31.00/8.28
|
| CiME_04/boolean_rings.xml |
YES
3.83/1.76
| YES
2.43/0.90
|
| CiME_04/intersect.xml |
YES
4.48/2.15
| YES
7.63/2.32
|
| CiME_04/append-hard.xml |
YES
4.40/1.96
| YES
2.75/0.96
|
| CiME_04/ack_prolog.xml |
YES
3.76/1.80
| YES
2.97/1.07
|
| CiME_04/ternary-hard.xml |
YES
4.91/5.34
| YES
13.84/4.15
|
| CiME_04/filliatre.xml |
YES
5.48/2.13
| YES
6.75/1.99
|
| CiME_04/append.xml |
YES
3.67/1.71
| YES
2.30/0.88
|
| CiME_04/fact-hard.xml |
YES
6.38/3.44
| MAYBE
93.21/42.34
|
| CiME_04/list-sum-prod-bin-assoc.xml |
YES
4.22/1.87
| YES
9.87/2.94
|
| CiME_04/list-sum-prod-assoc-append.xml |
YES
3.70/1.75
| YES
8.71/2.80
|
| CiME_04/dpqs.xml |
YES
4.40/1.81
| YES
1.23/0.57
|
| CiME_04/ternary.xml |
YES
5.03/2.02
| YES
12.89/3.71
|
| CiME_04/filliatre3.xml |
YES
4.46/2.00
| YES
14.27/3.97
|
| CiME_04/list-sum-prod.xml |
YES
3.83/1.80
| YES
9.92/3.72
|
| CiME_04/lse.xml |
YES
4.69/1.98
| YES
12.23/3.54
|
| CiME_04/mucrl1.xml |
YES
7.61/3.31
| YES
29.12/8.34
|
| CiME_04/maude2.xml |
timeout (wallclock)
| MAYBE
51.68/18.53
|
| CiME_04/log2.xml |
YES
6.04/3.54
| YES
28.58/7.65
|
| CiME_04/append-wrong.xml |
NO
5.50/2.21
| NO
0.60/0.48
|
| CiME_04/list-sum-prod-assoc.xml |
YES
4.04/1.83
| YES
7.00/2.14
|
| CiME_04/list-sum-prod-bin.xml |
YES
4.17/1.83
| YES
9.89/2.91
|
| CiME_04/big.xml |
YES
6.24/2.45
| YES
29.72/8.71
|
| CiME_04/list-sum-prod-bin-assoc-distr-app.xml |
YES
4.73/2.02
| YES
15.93/4.60
|
| Endrullis_06/linear1.xml |
YES
4.56/2.10
| YES
2.68/0.94
|
| Endrullis_06/linear2.xml |
YES
12.89/4.17
| YES
30.89/8.36
|
| Endrullis_06/pair3hard.xml |
YES
9.47/3.47
| MAYBE
101.50/42.34
|
| Endrullis_06/pair3rotate.xml |
YES
4.90/2.08
| YES
24.55/6.44
|
| Endrullis_06/pair2simple2.xml |
YES
4.49/1.97
| MAYBE
63.96/21.59
|
| Endrullis_06/pair2hard.xml |
YES
90.05/38.41
| YES
22.58/7.03
|
| Endrullis_06/direct.xml |
YES
4.68/2.72
| YES
1.53/0.64
|
| Endrullis_06/pair2simple1.xml |
YES
3.66/1.68
| YES
6.75/2.03
|
| Endrullis_06/labeling.xml |
YES
15.81/5.28
| MAYBE
5.46/2.08
|
| Endrullis_06/quadruple2.xml |
YES
18.51/9.91
| YES
1.83/0.71
|
| Endrullis_06/pair3swap.xml |
YES
5.39/2.11
| YES
22.95/6.74
|
| Endrullis_06/quadruple1.xml |
YES
4.69/2.20
| YES
20.84/5.49
|
| EEG_IJCAR_12/emmes-nonloop-ex7_5.xml |
MAYBE
651.79/291.50
| MAYBE
132.12/42.34
|
| EEG_IJCAR_12/enger-nonloop-swap_decr.xml |
NO
32.57/12.07
| MAYBE
29.65/10.54
|
| EEG_IJCAR_12/emmes-nonloop-ex6_1.xml |
NO
31.88/11.90
| MAYBE
14.44/7.33
|
| EEG_IJCAR_12/emmes-nonloop-ex4_1.xml |
NO
23.37/12.23
| MAYBE
18.56/7.33
|
| EEG_IJCAR_12/enger-nonloop-isList-List.xml |
MAYBE
669.73/291.46
| MAYBE
15.80/7.33
|
| EEG_IJCAR_12/enger-nonloop-isDNat.xml |
NO
36.59/11.79
| MAYBE
27.27/9.80
|
| EEG_IJCAR_12/emmes-nonloop-ex2_4.xml |
NO
67.29/22.92
| MAYBE
39.00/14.44
|
| EEG_IJCAR_12/emmes-nonloop-ex2_5.xml |
NO
70.09/24.14
| MAYBE
45.73/15.14
|
| EEG_IJCAR_12/enger-nonloop-add.xml |
NO
29.07/12.85
| MAYBE
38.89/12.35
|
| EEG_IJCAR_12/rybalchenko-nonloop-popl08.xml |
StarExec error
| MAYBE
131.06/42.37
|
| EEG_IJCAR_12/emmes-nonloop-ex7_2.xml |
MAYBE
428.30/291.47
| MAYBE
111.34/42.34
|
| EEG_IJCAR_12/enger-nonloop-toOne.xml |
NO
37.10/12.48
| MAYBE
130.53/42.33
|
| EEG_IJCAR_12/emmes-nonloop-ex1_2.xml |
MAYBE
640.97/291.49
| MAYBE
98.66/42.33
|
| EEG_IJCAR_12/emmes-nonloop-ex1_1.xml |
StarExec error
| MAYBE
36.13/11.53
|
| EEG_IJCAR_12/emmes-nonloop-ex3_4.xml |
MAYBE
630.01/291.50
| MAYBE
33.16/11.98
|
| EEG_IJCAR_12/emmes-nonloop-ex1_5.xml |
NO
39.84/12.52
| MAYBE
17.38/7.33
|
| EEG_IJCAR_12/emmes-nonloop-ex2_1.xml |
MAYBE
684.56/291.46
| MAYBE
39.55/13.58
|
| EEG_IJCAR_12/enger-nonloop-isTrueList.xml |
NO
29.64/11.70
| MAYBE
22.83/7.67
|
| EEG_IJCAR_12/emmes-nonloop-ex7_1.xml |
MAYBE
426.20/291.47
| MAYBE
130.75/42.33
|
| EEG_IJCAR_12/emmes-nonloop-ex2_2.xml |
NO
36.61/12.94
| MAYBE
95.29/42.33
|
| EEG_IJCAR_12/emmes-nonloop-ex7_4.xml |
MAYBE
425.96/291.47
| MAYBE
119.19/42.34
|
| EEG_IJCAR_12/emmes-nonloop-ex4_4.xml |
NO
22.87/12.43
| MAYBE
18.76/7.34
|
| EEG_IJCAR_12/emmes-nonloop-ex7_6.xml |
MAYBE
658.12/291.52
| MAYBE
132.04/42.34
|
| EEG_IJCAR_12/emmes-nonloop-ex4_2.xml |
NO
30.40/13.33
| MAYBE
89.37/42.34
|
| EEG_IJCAR_12/enger-nonloop-isList.xml |
NO
28.97/11.78
| MAYBE
18.79/7.34
|
| EEG_IJCAR_12/emmes-nonloop-ex7_3.xml |
MAYBE
647.29/292.07
| MAYBE
131.58/42.34
|
| EEG_IJCAR_12/enger-nonloop-swapXY.xml |
NO
38.39/12.18
| StarExec error
|
| EEG_IJCAR_12/emmes-nonloop-ex5_1.xml |
NO
35.59/15.65
| MAYBE
115.97/42.34
|
| EEG_IJCAR_12/emmes-nonloop-ex3_1.xml |
NO
36.71/12.39
| MAYBE
24.43/7.33
|
| EEG_IJCAR_12/enger-nonloop-addTrue.xml |
NO
33.87/13.00
| MAYBE
40.79/12.51
|
| EEG_IJCAR_12/enger-nonloop-while-lt.xml |
NO
37.03/11.76
| MAYBE
19.92/7.33
|
| EEG_IJCAR_12/emmes-nonloop-ex3_2.xml |
NO
32.67/12.57
| MAYBE
12.55/7.33
|
| EEG_IJCAR_12/emmes-nonloop-ex7_9.xml |
MAYBE
431.46/291.49
| MAYBE
117.14/42.35
|
| EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.xml |
NO
35.21/12.46
| MAYBE
128.28/42.35
|
| EEG_IJCAR_12/enger-nonloop-swapXY2.xml |
NO
29.60/11.83
| MAYBE
17.12/7.34
|
| EEG_IJCAR_12/emmes-nonloop-ex7_7.xml |
MAYBE
429.93/291.48
| MAYBE
119.20/42.33
|
| EEG_IJCAR_12/emmes-nonloop-ex1_4.xml |
NO
38.73/12.23
| MAYBE
16.26/7.33
|
| EEG_IJCAR_12/emmes-nonloop-ex5_3.xml |
NO
38.32/16.27
| MAYBE
27.13/7.50
|
| EEG_IJCAR_12/emmes-nonloop-ex6_2.xml |
NO
33.42/11.95
| MAYBE
22.40/7.34
|
| EEG_IJCAR_12/emmes-nonloop-ex5_2.xml |
NO
31.68/13.62
| MAYBE
131.18/42.34
|
| EEG_IJCAR_12/enger-nonloop-ex_payet.xml |
MAYBE
339.72/291.48
| MAYBE
29.81/8.91
|
| EEG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.xml |
MAYBE
930.60/292.25
| MAYBE
128.48/42.35
|
| EEG_IJCAR_12/enger-nonloop-swapX.xml |
NO
37.64/12.30
| MAYBE
25.59/8.85
|
| EEG_IJCAR_12/emmes-nonloop-ex4_3.xml |
NO
36.32/15.44
| MAYBE
91.42/42.34
|
| EEG_IJCAR_12/emmes-nonloop-ex1_3.xml |
MAYBE
640.11/291.48
| MAYBE
98.69/42.35
|
| EEG_IJCAR_12/emmes-nonloop-ex3_3.xml |
NO
33.62/12.41
| MAYBE
19.06/7.33
|
| EEG_IJCAR_12/emmes-nonloop-ex7_8.xml |
MAYBE
637.21/291.49
| MAYBE
131.64/42.33
|
| EEG_IJCAR_12/emmes-nonloop-ex2_3.xml |
MAYBE
679.81/292.25
| MAYBE
25.13/8.36
|
| EEG_IJCAR_12/enger-nonloop-unbounded.xml |
NO
36.92/12.11
| MAYBE
30.47/11.09
|
| SK90/2.49.xml |
YES
4.87/2.01
| YES
1.19/0.57
|
| SK90/4.03.xml |
YES
3.85/1.83
| YES
3.07/1.06
|
| SK90/2.60.xml |
YES
3.49/1.57
| YES
0.66/0.41
|
| SK90/4.12.xml |
YES
3.64/1.67
| YES
1.61/0.66
|
| SK90/2.45.xml |
YES
4.01/1.85
| YES
14.85/5.31
|
| SK90/2.15.xml |
YES
3.62/1.64
| YES
1.53/0.65
|
| SK90/4.44.xml |
YES
3.44/2.66
| YES
1.36/0.62
|
| SK90/4.39.xml |
YES
3.37/1.54
| YES
0.89/0.47
|
| SK90/2.40.xml |
YES
3.78/1.69
| YES
1.92/0.76
|
| SK90/4.41.xml |
YES
3.71/1.82
| YES
1.15/0.56
|
| SK90/2.47.xml |
YES
5.83/2.30
| YES
0.85/0.46
|
| SK90/4.37.xml |
YES
3.63/1.60
| YES
0.93/0.49
|
| SK90/4.50.xml |
YES
3.49/1.63
| YES
0.50/0.37
|
| SK90/4.19.xml |
StarExec error
| YES
0.52/0.39
|
| SK90/2.22.xml |
YES
3.64/2.08
| YES
3.09/1.11
|
| SK90/2.08.xml |
YES
3.58/1.65
| YES
3.26/1.12
|
| SK90/4.10.xml |
YES
3.77/1.67
| YES
2.40/0.90
|
| SK90/4.26.xml |
YES
4.29/1.82
| YES
5.07/1.57
|
| SK90/2.59.xml |
YES
3.47/1.69
| YES
2.05/0.84
|
| SK90/2.27.xml |
YES
3.66/1.71
| YES
3.71/1.22
|
| SK90/4.57.xml |
YES
3.95/1.76
| YES
2.58/0.99
|
| SK90/2.57.xml |
YES
3.39/1.57
| YES
0.83/0.45
|
| SK90/4.60.xml |
YES
4.01/1.81
| YES
5.92/2.09
|
| SK90/2.31.xml |
YES
3.30/1.53
| YES
0.47/0.37
|
| SK90/2.46.xml |
YES
10.82/3.49
| YES
0.77/0.44
|
| SK90/4.28.xml |
YES
4.38/1.93
| YES
9.75/3.28
|
| SK90/4.46.xml |
YES
3.17/1.49
| StarExec error
|
| SK90/2.52.xml |
YES
4.09/1.90
| YES
5.33/1.75
|
| SK90/2.03.xml |
YES
3.32/1.60
| YES
0.61/0.41
|
| SK90/2.33.xml |
StarExec error
| YES
0.52/0.38
|
| SK90/4.14.xml |
YES
3.86/1.77
| YES
4.31/1.43
|
| SK90/4.20.xml |
YES
3.92/1.71
| YES
2.23/0.87
|
| SK90/4.13.xml |
YES
3.77/1.73
| YES
3.39/1.23
|
| SK90/4.11.xml |
YES
3.45/1.61
| YES
0.47/0.37
|
| SK90/4.53.xml |
YES
3.41/1.65
| YES
17.47/5.51
|
| SK90/2.38.xml |
YES
3.63/1.60
| YES
0.54/0.39
|
| SK90/4.06.xml |
NO
4.91/2.23
| NO
0.41/0.36
|
| SK90/2.25.xml |
YES
3.55/1.65
| YES
2.74/0.97
|
| SK90/2.12.xml |
YES
3.77/1.68
| YES
3.75/1.31
|
| SK90/4.54.xml |
NO
7.06/2.65
| NO
0.46/0.38
|
| SK90/2.50.xml |
YES
5.95/2.35
| YES
1.11/0.55
|
| SK90/4.34.xml |
NO
3.21/1.56
| NO
1.63/0.67
|
| SK90/4.47.xml |
YES
4.75/2.09
| YES
1.68/0.71
|
| SK90/4.52.xml |
YES
3.11/1.51
| YES
0.51/0.39
|
| SK90/2.07.xml |
YES
3.50/1.65
| YES
2.82/1.00
|
| SK90/2.42.xml |
YES
4.01/1.84
| YES
2.81/0.98
|
| SK90/2.09.xml |
YES
3.39/1.63
| YES
0.50/0.38
|
| SK90/4.48.xml |
YES
3.38/1.52
| YES
0.47/0.38
|
| SK90/2.17.xml |
YES
3.71/1.74
| YES
1.42/0.62
|
| SK90/2.06.xml |
StarExec error
| YES
2.17/0.82
|
| SK90/4.30.xml |
YES
4.66/1.94
| YES
6.27/1.85
|
| SK90/2.39.xml |
YES
4.44/1.90
| YES
2.55/0.92
|
| SK90/2.35.xml |
YES
3.78/1.78
| YES
1.82/0.73
|
| SK90/4.01.xml |
YES
3.37/1.61
| YES
0.44/0.36
|
| SK90/2.29.xml |
YES
3.91/2.35
| YES
4.06/1.45
|
| SK90/4.02.xml |
YES
3.80/2.29
| MAYBE
67.16/26.34
|
| SK90/4.27.xml |
YES
4.30/1.94
| YES
4.40/1.40
|
| SK90/4.61.xml |
StarExec error
| YES
12.84/3.78
|
| SK90/4.49.xml |
NO
4.44/2.01
| NO
0.31/0.31
|
| SK90/4.09.xml |
YES
3.54/1.68
| YES
3.02/1.03
|
| SK90/4.29.xml |
YES
3.52/1.56
| YES
0.54/0.39
|
| SK90/2.37.xml |
YES
3.43/1.62
| YES
0.70/0.43
|
| SK90/4.07.xml |
YES
3.35/1.60
| YES
0.45/0.37
|
| SK90/4.45.xml |
YES
3.31/1.51
| YES
0.52/0.38
|
| SK90/2.54.xml |
YES
3.61/1.63
| YES
0.96/0.49
|
| SK90/2.32.xml |
YES
3.94/1.80
| YES
1.98/0.78
|
| SK90/4.16.xml |
YES
3.76/1.71
| YES
1.90/0.75
|
| SK90/4.55.xml |
StarExec error
| YES
0.82/0.48
|
| SK90/4.31.xml |
YES
3.89/1.72
| YES
3.70/1.24
|
| SK90/4.08.xml |
YES
3.65/1.63
| YES
1.15/0.55
|
| SK90/2.13.xml |
YES
4.07/1.82
| YES
2.98/1.03
|
| SK90/4.18.xml |
YES
3.81/1.69
| YES
2.27/0.89
|
| SK90/2.20.xml |
YES
3.44/1.65
| YES
1.70/0.69
|
| SK90/2.55.xml |
YES
3.61/1.64
| YES
1.01/0.51
|
| SK90/4.05.xml |
YES
3.57/3.71
| YES
2.10/0.83
|
| SK90/2.05.xml |
NO
6.09/2.33
| NO
0.42/0.38
|
| SK90/4.21.xml |
YES
3.76/1.78
| YES
2.98/1.07
|
| SK90/4.36.xml |
YES
3.41/1.55
| YES
1.48/0.63
|
| SK90/4.22.xml |
YES
3.75/1.69
| YES
3.06/1.12
|
| SK90/2.56.xml |
YES
3.54/1.69
| YES
0.43/0.36
|
| SK90/4.43.xml |
YES
3.78/1.68
| YES
4.98/1.54
|
| SK90/4.32.xml |
YES
26.31/7.47
| YES
10.63/2.93
|
| SK90/2.44.xml |
YES
4.10/1.81
| YES
5.11/1.57
|
| SK90/4.25.xml |
YES
3.54/2.53
| YES
0.50/0.37
|
| SK90/2.43.xml |
YES
3.98/1.72
| YES
4.73/1.51
|
| SK90/2.58.xml |
YES
3.76/1.65
| YES
1.24/0.58
|
| SK90/2.48.xml |
YES
4.36/1.77
| YES
0.82/0.46
|
| SK90/4.17.xml |
YES
5.60/2.51
| YES
1.29/0.58
|
| SK90/2.24.xml |
YES
3.39/1.54
| YES
1.63/0.67
|
| SK90/2.16.xml |
YES
3.69/1.77
| YES
3.31/1.21
|
| SK90/4.15.xml |
YES
3.37/1.60
| YES
0.51/0.38
|
| SK90/2.41.xml |
YES
3.36/1.53
| YES
0.46/0.37
|
| SK90/2.51.xml |
YES
3.55/1.63
| YES
1.66/0.70
|
| SK90/4.24.xml |
YES
4.43/1.92
| YES
3.76/1.28
|
| SK90/4.04.xml |
YES
3.57/2.08
| YES
0.49/0.42
|
| SK90/2.28.xml |
YES
3.46/1.62
| YES
0.79/0.45
|
| SK90/2.01.xml |
YES
3.64/1.68
| YES
2.30/0.85
|
| SK90/2.23.xml |
YES
3.87/1.79
| YES
4.03/1.35
|
| SK90/4.38.xml |
YES
3.62/1.59
| YES
0.47/0.37
|
| SK90/4.42.xml |
YES
3.92/1.79
| YES
2.42/0.91
|
| SK90/2.53.xml |
YES
3.56/1.59
| YES
0.54/0.38
|
| SK90/2.21.xml |
YES
3.59/1.63
| YES
1.96/0.78
|
| SK90/4.40.xml |
NO
9.94/3.66
| NO
0.51/0.39
|
| SK90/2.61.xml |
YES
3.80/2.19
| YES
0.64/0.45
|
| SK90/2.19.xml |
YES
3.67/1.76
| YES
3.63/1.35
|
| SK90/2.11.xml |
YES
3.48/1.60
| YES
0.55/0.39
|
| SK90/2.10.xml |
YES
3.49/1.67
| YES
3.11/1.06
|
| SK90/4.23.xml |
YES
3.55/1.63
| YES
2.22/0.84
|
| SK90/4.51.xml |
YES
3.99/1.82
| YES
1.52/0.67
|
| SK90/2.26.xml |
YES
3.64/1.69
| YES
5.58/1.84
|
| SK90/4.33.xml |
YES
3.48/1.64
| YES
1.11/0.54
|
| SK90/4.56.xml |
YES
3.63/1.69
| YES
0.51/0.38
|
| SK90/2.30.xml |
YES
3.97/1.71
| YES
1.90/0.77
|
| SK90/2.04.xml |
YES
3.35/1.54
| YES
1.46/0.62
|
| SK90/2.14.xml |
YES
3.64/1.64
| YES
1.25/0.58
|
| SK90/2.36.xml |
YES
3.36/1.54
| YES
0.49/0.38
|
| SK90/2.02.xml |
YES
3.33/1.55
| YES
0.54/0.39
|
| SK90/2.18.xml |
YES
3.65/1.65
| YES
2.10/0.81
|
| SK90/4.35.xml |
YES
3.45/1.57
| YES
1.05/0.52
|
| SK90/2.34.xml |
YES
3.76/1.77
| YES
1.65/0.69
|
| SK90/4.59.xml |
YES
3.90/1.80
| YES
5.92/1.85
|
| Secret_07_TRS/aprove07.xml |
timeout (wallclock)
| MAYBE
26.81/8.99
|
| Secret_07_TRS/secret3.xml |
YES
3.96/1.83
| YES
5.40/1.74
|
| Secret_07_TRS/aprove04.xml |
timeout (wallclock)
| MAYBE
55.85/18.87
|
| Secret_07_TRS/3.xml |
YES
48.55/17.50
| MAYBE
133.15/42.35
|
| Secret_07_TRS/7.xml |
NO
348.17/120.10
| MAYBE
113.96/42.33
|
| Secret_07_TRS/aprove02.xml |
timeout (wallclock)
| MAYBE
43.98/15.59
|
| Secret_07_TRS/1.xml |
MAYBE
358.75/291.48
| MAYBE
45.15/14.88
|
| Secret_07_TRS/aprove10.xml |
MAYBE
691.97/292.58
| MAYBE
101.11/27.95
|
| Secret_07_TRS/aprove08.xml |
MAYBE
401.19/291.51
| MAYBE
35.02/11.88
|
| Secret_07_TRS/secret2.xml |
YES
3.91/1.84
| YES
6.34/2.04
|
| Secret_07_TRS/aprove09.xml |
MAYBE
1123.95/293.64
| MAYBE
52.15/19.92
|
| Secret_07_TRS/aprove01.xml |
MAYBE
1149.94/291.52
| StarExec error
|
| Secret_07_TRS/5.xml |
YES
48.71/17.86
| MAYBE
145.20/42.34
|
| Secret_07_TRS/aprove06.xml |
MAYBE
995.84/292.86
| MAYBE
133.85/42.37
|
| Secret_07_TRS/aprove03.xml |
timeout (wallclock)
| MAYBE
124.50/42.37
|
| Secret_07_TRS/2.xml |
timeout (wallclock)
| StarExec error
|
| Secret_07_TRS/secret5.xml |
YES
4.99/2.12
| YES
22.52/7.39
|
| Secret_07_TRS/secret4.xml |
YES
4.27/1.81
| YES
7.75/2.43
|
| Secret_07_TRS/4.xml |
MAYBE
340.48/291.50
| MAYBE
88.19/32.83
|
| Secret_07_TRS/aprove05.xml |
timeout (wallclock)
| MAYBE
33.19/11.80
|
| Secret_07_TRS/secret1.xml |
YES
4.43/1.87
| YES
19.51/5.95
|
| Strategy_removed_CSR_05/Ex8_BLR02.xml |
NO
4.24/1.87
| NO
0.31/0.32
|
| Strategy_removed_CSR_05/Ex4_4_Luc96b.xml |
NO
3.85/1.78
| NO
0.30/0.36
|
| Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml |
NO
4.91/2.61
| NO
0.30/0.31
|
| Strategy_removed_CSR_05/Ex6_GM04.xml |
NO
5.54/2.24
| NO
0.30/0.31
|
| Strategy_removed_CSR_05/Ex6_9_Luc02c.xml |
NO
6.20/2.45
| NO
0.31/0.31
|
| Strategy_removed_CSR_05/Ex1_Zan97.xml |
NO
11.27/3.62
| NO
0.48/0.37
|
| Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml |
NO
6.56/2.58
| NO
0.31/0.31
|
| Strategy_removed_CSR_05/Ex1_GM03.xml |
NO
3.98/1.84
| NO
0.31/0.32
|
| Strategy_removed_CSR_05/Ex7_BLR02.xml |
NO
6.61/2.58
| NO
0.31/0.31
|
| Strategy_removed_CSR_05/Ex6_15_AEL02.xml |
NO
6.93/2.73
| NO
0.33/0.33
|
| Strategy_removed_CSR_05/ExIntrod_GM99.xml |
NO
7.31/2.72
| NO
0.32/0.32
|
| Strategy_removed_CSR_05/ExAppendixB_AEL03.xml |
NO
6.77/2.70
| NO
0.32/0.32
|
| Strategy_removed_CSR_05/Ex3_2_Luc97.xml |
NO
6.56/2.56
| NO
0.31/0.31
|
| Strategy_removed_CSR_05/Ex1_GM99.xml |
NO
3.89/1.80
| NO
0.45/0.37
|
| Strategy_removed_CSR_05/Ex15_Luc98.xml |
NO
6.84/3.33
| NO
0.31/0.32
|
| Strategy_removed_CSR_05/Ex4_Zan97.xml |
NO
5.15/2.19
| StarExec error
|
| Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml |
NO
6.91/2.61
| NO
0.31/0.32
|
| Strategy_removed_CSR_05/Ex5_7_Luc97.xml |
NO
6.24/2.59
| NO
0.32/0.33
|
| Strategy_removed_CSR_05/Ex14_AEGL02.xml |
NO
6.44/2.57
| NO
0.31/0.31
|
| Strategy_removed_CSR_05/Ex49_GM04.xml |
YES
3.83/1.76
| YES
3.71/1.32
|
| Strategy_removed_CSR_05/Ex6_Luc98.xml |
NO
6.69/2.62
| StarExec error
|
| Strategy_removed_CSR_05/ExConc_Zan97.xml |
NO
3.13/1.46
| NO
0.31/0.31
|
| Strategy_removed_CSR_05/ExIntrod_GM01.xml |
NO
5.80/2.34
| NO
0.31/0.32
|
| Strategy_removed_CSR_05/ExIntrod_GM04.xml |
NO
5.42/2.25
| NO
0.31/0.32
|
| Strategy_removed_CSR_05/Ex3_12_Luc96a.xml |
NO
6.50/2.56
| NO
0.31/0.31
|
| Strategy_removed_CSR_05/Ex2_Luc03b.xml |
NO
6.41/3.22
| NO
0.31/0.31
|
| Strategy_removed_CSR_05/Ex1_GL02a.xml |
NO
6.47/2.55
| NO
0.31/0.32
|
| Strategy_removed_CSR_05/Ex26_Luc03b.xml |
NO
6.70/2.64
| StarExec error
|
| Strategy_removed_CSR_05/Ex9_BLR02.xml |
NO
6.54/2.54
| NO
0.31/0.31
|
| Strategy_removed_CSR_05/Ex24_GM04.xml |
NO
3.81/1.85
| MAYBE
1.04/0.53
|
| Strategy_removed_CSR_05/Ex5_Zan97.xml |
NO
5.98/2.52
| NO
0.31/0.31
|
| Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml |
NO
6.64/2.59
| NO
0.54/0.39
|
| Strategy_removed_CSR_05/Ex1_Luc02b.xml |
NO
6.46/2.55
| NO
0.31/0.32
|
| Strategy_removed_CSR_05/Ex1_2_Luc02c.xml |
NO
6.03/2.38
| NO
0.31/0.31
|
| Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml |
NO
6.46/2.60
| NO
0.33/0.33
|
| Strategy_removed_CSR_05/ExIntrod_Zan97.xml |
NO
6.14/2.53
| NO
0.32/0.32
|
| Strategy_removed_CSR_05/Ex1_2_AEL03.xml |
NO
6.62/2.61
| NO
0.32/0.32
|
| Strategy_removed_AG01/#4.4.xml |
NO
4.02/1.81
| NO
0.42/0.36
|
| Strategy_removed_AG01/#4.19.xml |
MAYBE
827.30/299.30
| MAYBE
20.78/7.33
|
| Strategy_removed_AG01/#4.18.xml |
NO
3.05/1.49
| NO
1.81/0.71
|
| Strategy_removed_AG01/#4.13.xml |
NO
5.58/2.38
| MAYBE
7.99/7.32
|
| Strategy_removed_AG01/#4.27.xml |
YES
3.82/1.75
| YES
4.24/1.39
|
| Strategy_removed_AG01/#4.17.xml |
NO
4.58/2.13
| NO
0.48/0.38
|
| Strategy_removed_AG01/#4.22.xml |
YES
3.72/2.37
| YES
1.81/0.75
|
| Strategy_removed_AG01/#4.36.xml |
YES
6.23/2.43
| YES
10.07/3.07
|
| Strategy_removed_AG01/#4.37.xml |
YES
3.80/1.71
| YES
1.83/0.73
|
| Strategy_removed_AG01/#4.20a.xml |
YES
4.32/1.78
| YES
0.94/0.51
|
| Strategy_removed_AG01/#4.30b.xml |
YES
9.21/5.22
| MAYBE
31.57/8.80
|
| Strategy_removed_AG01/#4.33.xml |
StarExec error
| YES
5.13/1.58
|
| Strategy_removed_AG01/#4.26.xml |
YES
4.37/1.94
| YES
3.44/1.17
|
| Strategy_removed_AG01/#4.35.xml |
YES
5.43/2.12
| YES
13.47/4.04
|
| Strategy_removed_AG01/#4.16.xml |
NO
4.09/1.98
| NO
0.55/0.40
|
| Strategy_removed_AG01/#4.15.xml |
NO
4.46/1.91
| NO
0.57/0.41
|
| Strategy_removed_AG01/#4.14.xml |
NO
3.98/1.83
| NO
0.40/0.36
|
| Strategy_removed_AG01/#4.23.xml |
YES
4.27/1.89
| YES
3.32/1.13
|
| Strategy_removed_AG01/#4.32.xml |
YES
3.67/1.69
| YES
1.91/0.75
|
| Strategy_removed_AG01/#4.28.xml |
YES
6.53/2.46
| YES
3.22/1.08
|
| Strategy_removed_AG01/#4.25.xml |
YES
3.73/1.65
| MAYBE
1.17/0.58
|
| Strategy_removed_AG01/#4.21.xml |
YES
4.05/1.76
| YES
1.24/0.57
|
| Strategy_removed_AG01/#4.30a.xml |
YES
4.24/1.89
| MAYBE
12.64/7.34
|
| Strategy_removed_AG01/#4.3.xml |
NO
3.89/1.79
| MAYBE
8.10/7.33
|
| Strategy_removed_AG01/#4.20.xml |
YES
4.46/1.91
| YES
0.62/0.42
|
| Strategy_removed_AG01/#4.30.xml |
YES
6.66/3.03
| MAYBE
20.82/7.33
|
| Strategy_removed_AG01/#4.29.xml |
YES
4.98/2.09
| YES
7.51/2.23
|
| Strategy_removed_AG01/#4.34.xml |
YES
4.14/1.83
| YES
6.04/1.82
|
| Strategy_removed_AG01/#4.37a.xml |
YES
3.93/1.75
| YES
2.06/0.86
|
| Strategy_removed_AG01/#4.30c.xml |
YES
12.31/6.67
| MAYBE
61.73/22.10
|
| Strategy_removed_AG01/#4.2.xml |
NO
4.54/2.12
| NO
0.45/0.37
|
| Strategy_removed_AG01/#4.12a.xml |
NO
4.15/1.82
| NO
0.43/0.37
|
| Strategy_removed_AG01/#4.7.xml |
NO
3.94/1.93
| NO
0.42/0.36
|
| Rubio_04/lindau.xml |
YES
3.71/1.69
| YES
1.17/0.55
|
| Rubio_04/division.xml |
YES
4.40/1.87
| YES
4.69/1.47
|
| Rubio_04/gmnp.xml |
YES
3.61/1.62
| YES
1.88/0.76
|
| Rubio_04/gm.xml |
YES
3.79/1.71
| YES
3.03/1.07
|
| Rubio_04/selsort.xml |
YES
5.60/2.28
| YES
11.18/3.33
|
| Rubio_04/enno.xml |
YES
4.98/2.13
| YES
6.48/2.02
|
| Rubio_04/bn129.xml |
StarExec error
| YES
0.52/0.38
|
| Rubio_04/quotminus.xml |
YES
4.07/1.84
| YES
4.41/1.46
|
| Rubio_04/prov.xml |
YES
3.54/1.69
| YES
1.45/0.69
|
| Rubio_04/p266.xml |
YES
3.54/1.58
| YES
3.93/1.26
|
| Rubio_04/bintrees.xml |
YES
3.83/1.74
| YES
0.49/0.38
|
| Rubio_04/nestrec.xml |
YES
6.81/2.59
| YES
2.73/0.95
|
| Rubio_04/ma96.xml |
YES
5.54/2.25
| YES
14.70/4.37
|
| Rubio_04/logarquot.xml |
YES
3.94/1.80
| YES
4.97/1.66
|
| Rubio_04/test829.xml |
YES
3.65/1.68
| YES
1.48/0.63
|
| Rubio_04/elimdupl.xml |
YES
4.48/1.99
| YES
4.45/1.47
|
| Rubio_04/koen.xml |
YES
3.18/1.53
| YES
0.44/0.37
|
| Rubio_04/mfp90b.xml |
YES
3.28/1.58
| YES
0.43/0.36
|
| Rubio_04/polo2.xml |
YES
4.01/1.78
| StarExec error
|
| Rubio_04/mfp95.xml |
YES
3.41/1.54
| YES
0.76/0.44
|
| Rubio_04/gcd.xml |
YES
4.69/2.03
| YES
4.39/1.49
|
| Rubio_04/test4.xml |
YES
4.15/1.90
| YES
0.99/0.52
|
| Rubio_04/lescanne.xml |
YES
3.50/1.63
| YES
0.51/0.38
|
| Rubio_04/aoto.xml |
YES
4.39/1.77
| YES
2.54/0.90
|
| Rubio_04/bn122.xml |
YES
3.58/1.63
| YES
1.74/0.69
|
| Rubio_04/revlist.xml |
YES
4.80/2.14
| YES
4.13/1.37
|
| Rubio_04/quick.xml |
YES
5.39/2.21
| YES
9.95/2.95
|
| Rubio_04/wst99.xml |
YES
8.38/3.01
| YES
20.24/5.73
|
| MNZ_10/0.xml |
YES
91.02/27.28
| YES
90.37/23.17
|
| MNZ_10/3.xml |
YES
71.95/20.27
| YES
35.54/9.42
|
| MNZ_10/7.xml |
MAYBE
473.70/291.53
| MAYBE
131.41/42.34
|
| MNZ_10/1.xml |
YES
47.31/17.02
| YES
23.18/6.28
|
| MNZ_10/5.xml |
timeout (wallclock)
| MAYBE
131.62/42.35
|
| MNZ_10/nrvsq.xml |
YES
91.60/31.23
| MAYBE
134.20/42.42
|
| MNZ_10/2.xml |
StarExec error
| YES
26.03/6.96
|
| MNZ_10/8.xml |
YES
92.55/29.48
| YES
31.75/8.46
|
| MNZ_10/nvsr.xml |
YES
409.50/205.81
| MAYBE
131.87/42.34
|
| MNZ_10/labelled.xml |
YES
47.16/40.79
| MAYBE
125.98/47.00
|
| MNZ_10/6.xml |
timeout (wallclock)
| MAYBE
131.54/42.35
|
| MNZ_10/9.xml |
YES
436.79/235.30
| MAYBE
131.45/42.35
|
| MNZ_10/4.xml |
MAYBE
589.51/292.52
| MAYBE
131.64/42.35
|
| Secret_06_TRS/gen-25.xml |
YES
38.56/16.35
| YES
17.39/4.78
|
| Secret_06_TRS/10.xml |
YES
11.41/3.98
| YES
6.86/3.06
|
| Secret_06_TRS/division.xml |
YES
8.21/3.39
| MAYBE
24.37/7.33
|
| Secret_06_TRS/gen-28.xml |
YES
29.52/14.26
| YES
3.49/1.25
|
| Secret_06_TRS/cime1.xml |
MAYBE
799.56/294.36
| MAYBE
46.41/16.84
|
| Secret_06_TRS/tpa10.xml |
YES
5.12/2.20
| MAYBE
70.73/25.45
|
| Secret_06_TRS/3.xml |
MAYBE
768.11/291.50
| MAYBE
131.89/42.34
|
| Secret_06_TRS/7.xml |
YES
6.64/2.59
| YES
2.53/0.90
|
| Secret_06_TRS/tpa07.xml |
MAYBE
440.69/291.51
| MAYBE
50.55/18.04
|
| Secret_06_TRS/gen-9.xml |
YES
5.05/2.15
| YES
6.37/1.95
|
| Secret_06_TRS/tpa02.xml |
MAYBE
15.51/5.69
| MAYBE
12.16/7.32
|
| Secret_06_TRS/tpa04.xml |
MAYBE
688.30/292.26
| MAYBE
130.04/42.34
|
| Secret_06_TRS/tpa09.xml |
MAYBE
536.35/291.58
| MAYBE
48.07/15.89
|
| Secret_06_TRS/gen-17.xml |
YES
3.92/1.74
| YES
21.24/5.60
|
| Secret_06_TRS/toList.xml |
YES
13.78/5.62
| MAYBE
105.05/42.35
|
| Secret_06_TRS/reverse.xml |
YES
6.26/2.50
| YES
9.19/2.99
|
| Secret_06_TRS/gen-18.xml |
YES
26.98/13.11
| YES
14.31/5.28
|
| Secret_06_TRS/5.xml |
YES
4.52/1.99
| YES
24.64/7.12
|
| Secret_06_TRS/tpa06.xml |
MAYBE
904.08/291.55
| MAYBE
135.54/42.35
|
| Secret_06_TRS/times.xml |
timeout (wallclock)
| MAYBE
35.57/11.77
|
| Secret_06_TRS/logarithm.xml |
MAYBE
643.23/292.72
| MAYBE
128.19/42.35
|
| Secret_06_TRS/tpa01.xml |
MAYBE
6.08/2.53
| MAYBE
6.09/2.29
|
| Secret_06_TRS/2.xml |
YES
34.35/12.01
| YES
5.29/1.60
|
| Secret_06_TRS/double.xml |
YES
5.80/2.27
| MAYBE
27.96/8.42
|
| Secret_06_TRS/gen-22.xml |
YES
5.90/2.39
| YES
12.52/3.55
|
| Secret_06_TRS/nrOfNodes.xml |
YES
8.93/4.26
| MAYBE
51.05/16.95
|
| Secret_06_TRS/8.xml |
StarExec error
| YES
2.32/0.86
|
| Secret_06_TRS/divExp.xml |
YES
4.40/2.00
| MAYBE
10.83/7.41
|
| Secret_06_TRS/gen-10.xml |
YES
5.63/2.21
| YES
3.33/1.19
|
| Secret_06_TRS/tpa03.xml |
MAYBE
17.89/8.31
| MAYBE
12.21/7.32
|
| Secret_06_TRS/tpa05.xml |
StarExec error
| MAYBE
62.61/23.58
|
| Secret_06_TRS/gen-15.xml |
YES
4.95/2.02
| YES
8.63/2.58
|
| Secret_06_TRS/6.xml |
YES
7.09/2.82
| YES
1.73/0.70
|
| Secret_06_TRS/9.xml |
YES
5.49/2.71
| YES
2.70/0.95
|
| Secret_06_TRS/4.xml |
YES
5.34/2.23
| YES
2.19/0.82
|
| Secret_06_TRS/sumList.xml |
YES
7.97/3.59
| YES
23.81/6.45
|
| Secret_06_TRS/tpa08.xml |
StarExec error
| MAYBE
55.85/19.42
|
| Secret_06_TRS/addList.xml |
YES
10.07/4.86
| YES
35.51/9.56
|
| Secret_06_TRS/gen-1.xml |
YES
5.20/2.16
| YES
2.48/0.90
|
| Secret_06_TRS/gen-14.xml |
YES
4.96/2.06
| YES
8.71/2.66
|
| Secret_05_TRS/teparla2.xml |
YES
8.80/3.15
| MAYBE
58.52/18.08
|
| Secret_05_TRS/tpa4.xml |
MAYBE
413.87/291.55
| StarExec error
|
| Secret_05_TRS/tpa2.xml |
YES
4.71/2.40
| YES
5.51/1.68
|
| Secret_05_TRS/cime1.xml |
timeout (wallclock)
| StarExec error
|
| Secret_05_TRS/aprove2.xml |
YES
7.98/3.19
| MAYBE
39.00/13.27
|
| Secret_05_TRS/cime2.xml |
YES
30.97/13.86
| MAYBE
37.75/12.07
|
| Secret_05_TRS/matchbox1.xml |
YES
4.70/2.08
| MAYBE
4.12/1.70
|
| Secret_05_TRS/aprove3.xml |
YES
7.78/2.95
| MAYBE
28.32/9.51
|
| Secret_05_TRS/aprove1.xml |
YES
6.18/2.40
| MAYBE
128.73/42.35
|
| Secret_05_TRS/teparla1.xml |
YES
3.84/1.78
| MAYBE
118.38/42.33
|
| Secret_05_TRS/tpa5.xml |
MAYBE
642.50/291.50
| MAYBE
129.11/42.34
|
| Secret_05_TRS/tpa3.xml |
MAYBE
386.86/292.49
| MAYBE
43.92/16.11
|
| Secret_05_TRS/cime5.xml |
YES
17.71/5.55
| YES
34.13/9.09
|
| Secret_05_TRS/ttt1.xml |
NO
4.67/1.93
| NO
1.12/0.54
|
| Secret_05_TRS/teparla3.xml |
MAYBE
303.50/291.46
| MAYBE
42.65/16.00
|
| Secret_05_TRS/aprove4.xml |
YES
5.41/2.34
| MAYBE
29.73/10.46
|
| Secret_05_TRS/tpa1.xml |
YES
4.39/1.94
| MAYBE
70.21/23.14
|
| Secret_05_TRS/aprove5.xml |
YES
5.21/2.13
| MAYBE
26.62/7.66
|
| Secret_05_TRS/ttt2.xml |
NO
4.09/1.95
| NO
0.41/0.36
|
| Secret_05_TRS/cime3.xml |
MAYBE
932.41/294.72
| MAYBE
80.68/28.87
|
| Secret_05_TRS/matchbox2.xml |
YES
3.96/1.79
| YES
1.53/0.75
|
| Secret_05_TRS/cime4.xml |
NO
4.07/1.82
| MAYBE
2.00/0.87
|
| Zantema_05/jw44.xml |
YES
3.62/2.16
| YES
0.87/0.46
|
| Zantema_05/jw33.xml |
YES
3.87/1.79
| YES
1.52/0.73
|
| Zantema_05/jw34.xml |
YES
6.43/2.53
| YES
1.19/0.61
|
| Zantema_05/z22.xml |
YES
35.98/15.71
| MAYBE
130.66/42.33
|
| Zantema_05/z16.xml |
MAYBE
864.94/292.55
| MAYBE
103.04/42.33
|
| Zantema_05/z30.xml |
MAYBE
544.30/295.78
| YES
10.54/4.10
|
| Zantema_05/jw27.xml |
YES
5.53/2.46
| YES
1.83/0.92
|
| Zantema_05/z28.xml |
YES
5.48/2.31
| MAYBE
45.90/13.36
|
| Zantema_05/jw01.xml |
YES
3.82/1.73
| YES
1.48/0.74
|
| Zantema_05/jw02.xml |
YES
3.93/1.89
| YES
2.53/1.28
|
| Zantema_05/jw12.xml |
YES
3.64/1.68
| YES
2.49/1.01
|
| Zantema_05/jw32.xml |
YES
5.65/2.61
| YES
1.58/0.76
|
| Zantema_05/jw08.xml |
YES
4.07/3.73
| YES
1.81/0.93
|
| Zantema_05/z19.xml |
YES
36.14/17.80
| MAYBE
90.51/42.34
|
| Zantema_05/z06.xml |
YES
3.98/1.81
| YES
2.69/0.97
|
| Zantema_05/jw38.xml |
YES
3.67/1.72
| YES
1.68/0.75
|
| Zantema_05/z11.xml |
YES
4.44/1.99
| MAYBE
15.58/7.33
|
| Zantema_05/jw39.xml |
YES
4.12/1.86
| YES
1.81/0.79
|
| Zantema_05/jw05.xml |
YES
5.41/2.35
| YES
2.08/0.98
|
| Zantema_05/jw06.xml |
YES
3.92/1.84
| YES
1.30/0.71
|
| Zantema_05/z05.xml |
YES
12.52/4.19
| MAYBE
36.05/10.21
|
| Zantema_05/jw15.xml |
YES
3.85/1.75
| YES
1.14/0.61
|
| Zantema_05/jw16.xml |
YES
3.83/1.73
| YES
1.45/0.77
|
| Zantema_05/jw11.xml |
YES
3.67/1.74
| StarExec error
|
| Zantema_05/z29.xml |
YES
4.20/1.88
| YES
5.68/1.72
|
| Zantema_05/jw26.xml |
YES
4.00/1.86
| YES
1.12/0.59
|
| Zantema_05/z02.xml |
StarExec error
| YES
2.34/0.92
|
| Zantema_05/z09.xml |
MAYBE
372.50/291.50
| MAYBE
26.63/8.12
|
| Zantema_05/jw47.xml |
YES
3.47/1.60
| YES
0.56/0.39
|
| Zantema_05/jw31.xml |
YES
3.95/2.60
| YES
1.43/0.69
|
| Zantema_05/z08.xml |
YES
5.76/2.38
| YES
2.69/0.97
|
| Zantema_05/jw09.xml |
YES
3.89/1.84
| YES
1.24/0.61
|
| Zantema_05/jw22.xml |
YES
3.82/1.82
| YES
1.97/0.99
|
| Zantema_05/z21.xml |
YES
39.59/16.63
| MAYBE
135.65/42.34
|
| Zantema_05/jw50.xml |
YES
3.70/1.70
| YES
0.56/0.40
|
| Zantema_05/z07.xml |
YES
5.36/2.20
| MAYBE
11.27/7.33
|
| Zantema_05/z03.xml |
YES
7.39/2.77
| MAYBE
11.95/7.33
|
| Zantema_05/jw25.xml |
YES
4.11/1.87
| YES
1.13/0.60
|
| Zantema_05/jw20.xml |
YES
3.80/1.71
| YES
1.11/0.61
|
| Zantema_05/jw13.xml |
YES
3.94/1.78
| YES
1.56/0.67
|
| Zantema_05/z10.xml |
timeout (wallclock)
| MAYBE
39.55/13.83
|
| Zantema_05/jw42.xml |
YES
3.92/1.80
| YES
1.27/0.68
|
| Zantema_05/jw29.xml |
YES
4.01/1.81
| YES
1.08/0.60
|
| Zantema_05/jw07.xml |
YES
3.80/1.76
| YES
1.58/0.78
|
| Zantema_05/jw41.xml |
YES
7.78/3.19
| YES
1.87/0.90
|
| Zantema_05/jw35.xml |
YES
3.64/1.73
| YES
1.06/0.52
|
| Zantema_05/z13.xml |
timeout (wallclock)
| MAYBE
92.23/32.48
|
| Zantema_05/z20.xml |
MAYBE
636.42/291.95
| MAYBE
73.66/22.80
|
| Zantema_05/z17.xml |
MAYBE
581.57/297.11
| MAYBE
123.84/42.33
|
| Zantema_05/jw43.xml |
YES
3.73/1.74
| YES
0.59/0.40
|
| Zantema_05/z26.xml |
YES
7.75/2.89
| YES
1.56/0.65
|
| Zantema_05/z01.xml |
YES
194.62/63.93
| YES
5.73/2.04
|
| Zantema_05/jw24.xml |
YES
3.90/1.76
| YES
1.27/0.65
|
| Zantema_05/z27.xml |
YES
26.78/13.45
| MAYBE
9.40/7.33
|
| Zantema_05/jw28.xml |
YES
3.57/1.70
| YES
1.33/0.69
|
| Zantema_05/jw03.xml |
YES
3.83/2.86
| YES
1.05/0.58
|
| Zantema_05/jw23.xml |
YES
3.72/1.72
| YES
1.25/0.64
|
| Zantema_05/jw19.xml |
YES
3.74/1.78
| YES
1.44/0.70
|
| Zantema_05/jw18.xml |
YES
3.96/1.81
| YES
1.34/0.67
|
| Zantema_05/jw37.xml |
YES
7.22/3.31
| YES
2.41/0.95
|
| Zantema_05/jw40.xml |
YES
3.84/1.78
| YES
1.27/0.66
|
| Zantema_05/z04.xml |
YES
3.56/1.65
| YES
1.41/0.63
|
| Zantema_05/jw30.xml |
YES
7.01/5.08
| YES
1.39/0.69
|
| Zantema_05/jw14.xml |
YES
3.56/1.66
| YES
0.95/0.49
|
| Zantema_05/z23.xml |
MAYBE
626.86/299.93
| MAYBE
144.48/42.34
|
| Zantema_05/jw36.xml |
YES
3.96/1.77
| YES
2.00/0.78
|
| Zantema_05/jw04.xml |
YES
4.04/1.93
| YES
1.08/0.58
|
| Zantema_05/z12.xml |
timeout (wallclock)
| MAYBE
124.33/42.33
|
| Zantema_05/z15.xml |
MAYBE
725.97/295.47
| MAYBE
99.69/42.34
|
| Zantema_05/z14.xml |
MAYBE
811.58/291.50
| MAYBE
101.67/42.33
|
| Zantema_05/z24.xml |
MAYBE
726.96/294.96
| MAYBE
126.49/42.35
|
| Zantema_05/z25.xml |
YES
3.80/1.68
| MAYBE
34.26/11.41
|
| Zantema_05/jw21.xml |
YES
3.96/1.82
| YES
1.48/0.79
|
| Zantema_05/jw17.xml |
StarExec error
| YES
2.04/0.95
|
| Zantema_05/z18.xml |
MAYBE
561.03/293.78
| MAYBE
100.01/42.33
|
| Waldmann_06/jwtpa2.xml |
YES
5.67/2.18
| YES
6.34/1.94
|
| Waldmann_06/jwno4.xml |
NO
5.49/2.61
| NO
0.43/0.37
|
| Waldmann_06/jwno2.xml |
MAYBE
429.06/291.49
| MAYBE
21.87/7.32
|
| Waldmann_06/jwteparla2.xml |
YES
9.49/3.91
| MAYBE
23.67/7.33
|
| Waldmann_06/jwmatchb2.xml |
YES
27.59/13.93
| YES
3.00/1.10
|
| Waldmann_06/jwaprove1.xml |
YES
13.26/4.41
| MAYBE
124.37/42.34
|
| Waldmann_06/jwtpa1.xml |
YES
13.44/4.30
| YES
1.98/0.79
|
| Waldmann_06/jwno6.xml |
NO
4.92/2.16
| NO
0.48/0.38
|
| Waldmann_06/jwno9.xml |
NO
6.17/2.50
| NO
0.52/0.40
|
| Waldmann_06/jwno7.xml |
MAYBE
385.27/291.48
| MAYBE
25.25/7.32
|
| Waldmann_06/jwcime2.xml |
YES
4.73/2.10
| YES
2.00/0.83
|
| Waldmann_06/jwno5.xml |
MAYBE
385.61/291.48
| MAYBE
20.66/7.33
|
| Waldmann_06/jwno3.xml |
MAYBE
379.98/291.48
| MAYBE
27.50/7.91
|
| Waldmann_06/jwaprove2.xml |
YES
13.42/4.46
| MAYBE
126.67/42.33
|
| Waldmann_06/jwmatchb1.xml |
YES
33.98/18.13
| StarExec error
|
| Waldmann_06/jwcime1.xml |
YES
9.24/3.39
| MAYBE
38.55/11.33
|
| Waldmann_06/jwttt.xml |
YES
5.00/2.19
| YES
5.82/1.75
|
| Waldmann_06/jwno8.xml |
MAYBE
606.58/291.49
| MAYBE
24.43/7.37
|
| Waldmann_06/jwteparla1.xml |
YES
4.94/2.09
| MAYBE
18.49/7.32
|
| Waldmann_06/jwno1.xml |
NO
5.81/2.48
| NO
0.56/0.40
|
| Zantema_15/delta.xml |
MAYBE
354.83/292.44
| MAYBE
11.32/7.33
|
| Zantema_15/ex08.xml |
MAYBE
1158.84/291.48
| MAYBE
144.63/42.33
|
| Zantema_15/ex07.xml |
MAYBE
607.23/291.45
| MAYBE
144.41/42.33
|
| Zantema_15/ex13.xml |
MAYBE
320.45/291.86
| MAYBE
23.35/7.58
|
| Zantema_15/ex06.xml |
timeout (wallclock)
| MAYBE
234.06/67.38
|
| Zantema_15/ex12.xml |
MAYBE
613.63/291.45
| MAYBE
19.55/7.32
|
| Zantema_15/ex14.xml |
MAYBE
619.38/291.46
| MAYBE
8.59/7.32
|
| Zantema_15/ex11.xml |
MAYBE
337.70/291.79
| MAYBE
17.13/7.33
|
| Zantema_15/ex01.xml |
NO
5.32/2.07
| MAYBE
233.14/67.35
|
| Zantema_15/ex05.xml |
timeout (wallclock)
| MAYBE
130.48/42.33
|
| Zantema_15/ex09.xml |
MAYBE
611.36/291.81
| MAYBE
144.63/42.33
|
| Zantema_15/ex04.xml |
NO
17.02/5.11
| MAYBE
232.44/67.34
|
| Zantema_15/ex03.xml |
timeout (cpu)
| MAYBE
233.44/67.35
|
| Zantema_15/ex02.xml |
MAYBE
1162.91/291.83
| MAYBE
233.22/67.35
|
| Zantema_15/ex10.xml |
MAYBE
599.34/291.44
| StarExec error
|
| Zantema_15/s.xml |
MAYBE
387.81/291.49
| MAYBE
14.95/7.33
|
| TCT_12/recursion-10.xml |
YES
4.41/1.84
| YES
10.88/3.33
|
| TCT_12/polycounter-10.xml |
YES
5.14/2.46
| YES
2.46/1.07
|
| TCT_12/recursion-5.xml |
YES
3.71/1.71
| YES
5.70/1.86
|
| TCT_12/polycounter-5.xml |
YES
3.99/1.83
| YES
1.27/0.57
|
| TCT_12/sat.xml |
YES
3.96/1.79
| YES
6.63/2.06
|
| Strategy_removed_mixed_05/ex3.xml |
NO
10.17/3.33
| NO
0.31/0.31
|
| Strategy_removed_mixed_05/test9.xml |
NO
4.25/1.89
| NO
0.52/0.39
|
| Strategy_removed_mixed_05/gkg.xml |
NO
3.98/1.86
| NO
0.41/0.36
|
| Strategy_removed_mixed_05/toyama.xml |
NO
3.83/1.72
| MAYBE
7.98/7.33
|
| Strategy_removed_mixed_05/test10.xml |
NO
13.00/8.49
| NO
0.43/0.36
|
| Strategy_removed_mixed_05/test77.xml |
NO
14.19/5.66
| MAYBE
11.38/7.33
|
| Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml |
NO
6.63/2.69
| NO
0.33/0.33
|
| Strategy_removed_mixed_05/n001.xml |
NO
3.19/1.51
| NO
2.31/0.84
|
| Strategy_removed_mixed_05/ex5.xml |
NO
6.30/2.31
| NO
0.31/0.31
|
| Strategy_removed_mixed_05/test75.xml |
NO
4.14/1.91
| StarExec error
|
| Strategy_removed_mixed_05/ex6.xml |
NO
4.63/2.05
| NO
0.43/0.36
|
| Strategy_removed_mixed_05/ex1.xml |
NO
8.59/2.99
| NO
0.31/0.31
|
| Strategy_removed_mixed_05/muladd.xml |
NO
4.21/1.85
| NO
0.43/0.37
|
| Strategy_removed_mixed_05/test830.xml |
YES
3.84/1.84
| YES
1.85/0.74
|
| Strategy_removed_mixed_05/bn111.xml |
YES
27.50/13.63
| StarExec error
|
| Strategy_removed_mixed_05/tricky1.xml |
YES
3.68/1.85
| YES
2.20/0.88
|
| Strategy_removed_mixed_05/ex2.xml |
NO
6.15/2.45
| NO
0.31/0.32
|
| Strategy_removed_mixed_05/test76.xml |
NO
6.49/2.55
| MAYBE
11.41/7.33
|
| Strategy_removed_mixed_05/ex4.xml |
NO
15.57/4.64
| NO
0.46/0.38
|
| Various_04/05.xml |
MAYBE
641.41/292.32
| MAYBE
10.81/7.34
|
| Various_04/03.xml |
YES
3.47/4.54
| YES
0.83/0.49
|
| Various_04/12.xml |
YES
3.94/1.79
| YES
8.71/2.59
|
| Various_04/10.xml |
YES
5.12/2.16
| YES
14.41/4.14
|
| Various_04/27.xml |
YES
3.31/1.53
| YES
0.48/0.38
|
| Various_04/06.xml |
YES
4.12/1.81
| StarExec error
|
| Various_04/02.xml |
YES
3.77/1.72
| YES
0.53/0.38
|
| Various_04/14.xml |
YES
9.07/3.58
| YES
30.37/8.16
|
| Various_04/13.xml |
YES
4.01/1.85
| YES
11.90/3.43
|
| Various_04/25.xml |
YES
3.52/1.66
| YES
0.60/0.42
|
| Various_04/04.xml |
MAYBE
766.97/292.79
| MAYBE
11.27/7.36
|
| Various_04/08.xml |
MAYBE
898.76/300.30
| MAYBE
15.26/7.36
|
| Various_04/23.xml |
YES
3.77/1.74
| YES
2.87/1.00
|
| Various_04/19.xml |
YES
3.71/1.72
| StarExec error
|
| Various_04/09.xml |
YES
4.19/1.82
| YES
0.98/0.50
|
| Various_04/11.xml |
YES
3.98/1.87
| MAYBE
9.50/7.33
|
| Various_04/07.xml |
YES
3.90/1.73
| YES
0.40/0.35
|
| Various_04/18.xml |
YES
3.57/1.65
| YES
0.55/0.41
|
| Various_04/21.xml |
YES
3.81/1.69
| YES
0.63/0.44
|
| Various_04/24.xml |
YES
4.23/1.80
| YES
5.29/1.59
|
| Various_04/26.xml |
YES
3.85/1.73
| YES
1.88/0.76
|
| Various_04/15.xml |
YES
6.40/2.44
| YES
14.28/5.52
|
| Various_04/22.xml |
YES
3.52/1.64
| YES
1.65/0.70
|
| Transformed_CSR_04/OvConsOS_complete_L.xml |
NO
3.17/1.47
| NO
0.33/0.33
|
| Transformed_CSR_04/OvConsOS_nosorts_GM.xml |
NO
13.27/6.17
| NO
0.69/0.44
|
| Transformed_CSR_04/MYNAT_nosorts_noand_C.xml |
YES
8.17/2.94
| MAYBE
145.39/42.39
|
| Transformed_CSR_04/OvConsOS_complete-noand_Z.xml |
NO
883.20/240.28
| MAYBE
147.01/42.43
|
| Transformed_CSR_04/MYNAT_complete_GM.xml |
YES
6.45/2.62
| MAYBE
144.66/42.40
|
| Transformed_CSR_04/ExIntrod_GM04_GM.xml |
YES
5.77/2.29
| YES
14.56/4.06
|
| Transformed_CSR_04/Ex25_Luc06_Z.xml |
YES
5.47/2.06
| YES
1.08/0.53
|
| Transformed_CSR_04/PALINDROME_complete_C.xml |
YES
12.51/4.36
| YES
47.38/13.43
|
| Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml |
YES
6.46/2.80
| YES
19.16/5.19
|
| Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml |
YES
4.58/1.95
| YES
4.11/1.32
|
| Transformed_CSR_04/Ex1_Zan97_FR.xml |
NO
8.16/2.82
| NO
0.43/0.37
|
| Transformed_CSR_04/MYNAT_complete_iGM.xml |
YES
8.76/3.16
| MAYBE
147.68/42.46
|
| Transformed_CSR_04/PEANO_nokinds_FR.xml |
YES
4.03/1.86
| YES
22.15/6.04
|
| Transformed_CSR_04/ExConc_Zan97_C.xml |
YES
15.04/4.57
| YES
0.89/0.49
|
| Transformed_CSR_04/Ex9_Luc04_iGM.xml |
NO
271.43/106.67
| MAYBE
108.04/42.33
|
| Transformed_CSR_04/Ex24_Luc06_C.xml |
YES
65.39/25.60
| YES
29.38/7.71
|
| Transformed_CSR_04/Ex9_Luc04_FR.xml |
NO
4.03/1.85
| NO
0.40/0.36
|
| Transformed_CSR_04/Ex2_Luc02a_Z.xml |
YES
3.73/1.71
| YES
6.48/2.04
|
| Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml |
YES
10.51/3.54
| YES
10.42/2.94
|
| Transformed_CSR_04/Ex4_7_37_Bor03_C.xml |
timeout (wallclock)
| MAYBE
145.63/42.40
|
| Transformed_CSR_04/Ex24_Luc06_GM.xml |
NO
4.43/1.90
| NO
0.46/0.38
|
| Transformed_CSR_04/ExProp7_Luc06_iGM.xml |
YES
11.03/3.83
| YES
12.76/3.53
|
| Transformed_CSR_04/Ex4_7_15_Bor03_L.xml |
StarExec error
| YES
0.80/0.49
|
| Transformed_CSR_04/Ex23_Luc06_FR.xml |
YES
6.26/2.38
| YES
0.66/0.42
|
| Transformed_CSR_04/MYNAT_nokinds_noand_C.xml |
timeout (wallclock)
| MAYBE
147.57/42.44
|
| Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml |
YES
14.03/4.62
| MAYBE
138.58/42.38
|
| Transformed_CSR_04/Ex7_BLR02_FR.xml |
StarExec error
| YES
10.54/3.36
|
| Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml |
YES
4.17/1.89
| YES
8.60/2.48
|
| Transformed_CSR_04/ExProp7_Luc06_GM.xml |
YES
4.78/2.05
| YES
5.00/1.57
|
| Transformed_CSR_04/Ex14_Luc06_FR.xml |
NO
5.04/2.22
| NO
0.48/0.37
|
| Transformed_CSR_04/Ex9_Luc04_C.xml |
MAYBE
875.18/291.57
| MAYBE
144.77/42.34
|
| Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml |
timeout (wallclock)
| StarExec error
|
| Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml |
MAYBE
956.72/297.38
| MAYBE
145.55/42.42
|
| Transformed_CSR_04/Ex23_Luc06_C.xml |
YES
10.94/3.93
| YES
1.99/0.77
|
| Transformed_CSR_04/Ex24_GM04_GM.xml |
NO
35.39/23.00
| MAYBE
8.75/7.33
|
| Transformed_CSR_04/PEANO_complete-noand_Z.xml |
YES
25.13/7.88
| YES
63.81/16.88
|
| Transformed_CSR_04/Ex1_Luc02b_GM.xml |
timeout (wallclock)
| MAYBE
133.86/42.34
|
| Transformed_CSR_04/ExAppendixB_AEL03_Z.xml |
YES
4.39/1.95
| YES
14.62/5.84
|
| Transformed_CSR_04/PALINDROME_nokinds_C.xml |
YES
8.23/2.80
| YES
28.56/7.92
|
| Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml |
MAYBE
742.80/292.32
| MAYBE
145.93/42.43
|
| Transformed_CSR_04/Ex1_GM99_iGM.xml |
NO
11.82/5.29
| MAYBE
111.59/42.34
|
| Transformed_CSR_04/Ex3_12_Luc96a_GM.xml |
MAYBE
857.68/292.48
| MAYBE
129.42/42.34
|
| Transformed_CSR_04/Ex3_2_Luc97_Z.xml |
MAYBE
562.31/291.92
| MAYBE
125.46/42.36
|
| Transformed_CSR_04/PEANO_nosorts-noand_FR.xml |
YES
3.32/1.54
| YES
0.67/0.42
|
| Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml |
YES
70.04/20.37
| StarExec error
|
| Transformed_CSR_04/Ex4_7_37_Bor03_L.xml |
NO
3.05/1.46
| NO
0.32/0.32
|
| Transformed_CSR_04/Ex14_AEGL02_C.xml |
YES
125.12/39.43
| YES
49.64/12.95
|
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml |
NO
5.54/2.33
| NO
0.50/0.39
|
| Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml |
NO
2.99/1.75
| NO
0.32/0.32
|
| Transformed_CSR_04/OvConsOS_complete-noand_FR.xml |
NO
354.74/90.50
| MAYBE
148.62/42.44
|
| Transformed_CSR_04/PALINDROME_complete-noand_L.xml |
NO
78.71/22.91
| NO
0.34/0.34
|
| Transformed_CSR_04/Ex9_Luc04_L.xml |
NO
3.86/1.76
| NO
0.42/0.36
|
| Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml |
YES
426.27/168.94
| MAYBE
147.33/42.59
|
| Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml |
NO
3.09/1.46
| NO
0.33/0.34
|
| Transformed_CSR_04/PEANO_complete_L.xml |
NO
3.04/1.49
| NO
0.31/0.32
|
| Transformed_CSR_04/Ex15_Luc06_FR.xml |
YES
11.78/3.92
| YES
1.27/0.59
|
| Transformed_CSR_04/Ex3_2_Luc97_L.xml |
StarExec error
| NO
0.32/0.32
|
| Transformed_CSR_04/Ex6_9_Luc02c_FR.xml |
YES
3.85/2.05
| YES
4.52/1.63
|
| Transformed_CSR_04/OvConsOS_nokinds_C.xml |
timeout (wallclock)
| MAYBE
146.05/42.42
|
| Transformed_CSR_04/MYNAT_complete_Z.xml |
YES
5.23/2.25
| MAYBE
140.93/42.38
|
| Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml |
YES
6.15/2.55
| YES
20.27/6.18
|
| Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml |
YES
16.79/5.84
| MAYBE
146.11/42.67
|
| Transformed_CSR_04/Ex4_7_77_Bor03_L.xml |
NO
3.05/1.46
| NO
0.30/0.31
|
| Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml |
YES
3.29/1.54
| YES
0.55/0.39
|
| Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml |
MAYBE
709.15/292.93
| MAYBE
147.24/42.52
|
| Transformed_CSR_04/Ex9_BLR02_GM.xml |
YES
5.78/2.68
| YES
24.78/6.78
|
| Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml |
timeout (wallclock)
| MAYBE
90.74/43.42
|
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml |
timeout (wallclock)
| MAYBE
145.27/42.36
|
| Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml |
YES
4.00/1.82
| YES
1.24/0.62
|
| Transformed_CSR_04/PEANO_nosorts_FR.xml |
YES
3.40/1.63
| YES
0.45/0.36
|
| Transformed_CSR_04/OvConsOS_nosorts_L.xml |
NO
3.05/1.47
| NO
0.31/0.31
|
| Transformed_CSR_04/Ex15_Luc98_Z.xml |
YES
4.10/1.81
| YES
15.31/5.59
|
| Transformed_CSR_04/Ex4_DLMMU04_C.xml |
timeout (wallclock)
| MAYBE
146.49/42.41
|
| Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml |
MAYBE
842.84/292.07
| MAYBE
148.07/42.43
|
| Transformed_CSR_04/Ex5_7_Luc97_L.xml |
NO
3.24/1.48
| NO
0.32/0.33
|
| Transformed_CSR_04/PEANO_nokinds-noand_Z.xml |
YES
7.26/2.80
| YES
12.96/3.69
|
| Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml |
YES
6.64/2.44
| YES
26.28/7.11
|
| Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml |
YES
4.22/1.81
| YES
19.96/5.74
|
| Transformed_CSR_04/PALINDROME_complete_FR.xml |
YES
5.30/2.20
| YES
96.20/25.32
|
| Transformed_CSR_04/Ex15_Luc98_GM.xml |
YES
4.45/1.84
| YES
6.04/1.80
|
| Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml |
timeout (wallclock)
| MAYBE
144.86/42.38
|
| Transformed_CSR_04/MYNAT_complete-noand_Z.xml |
YES
46.28/12.93
| MAYBE
145.75/42.40
|
| Transformed_CSR_04/MYNAT_nosorts_FR.xml |
YES
3.70/1.65
| YES
2.37/0.91
|
| Transformed_CSR_04/Ex8_BLR02_GM.xml |
MAYBE
1110.08/292.03
| MAYBE
132.92/42.35
|
| Transformed_CSR_04/Ex23_Luc06_L.xml |
YES
3.17/1.50
| YES
0.47/0.37
|
| Transformed_CSR_04/Ex25_Luc06_iGM.xml |
YES
38.30/10.56
| YES
16.99/4.56
|
| Transformed_CSR_04/Ex1_2_Luc02c_Z.xml |
YES
3.48/1.66
| YES
1.73/0.72
|
| Transformed_CSR_04/Ex15_Luc98_iGM.xml |
YES
11.99/4.01
| YES
24.70/6.74
|
| Transformed_CSR_04/ExIntrod_GM01_L.xml |
NO
3.20/1.47
| NO
0.31/0.32
|
| Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml |
MAYBE
834.87/292.70
| MAYBE
143.76/42.35
|
| Transformed_CSR_04/Ex7_BLR02_Z.xml |
YES
3.97/1.82
| YES
17.42/5.71
|
| Transformed_CSR_04/Ex26_Luc03b_FR.xml |
YES
13.11/4.33
| MAYBE
141.88/42.36
|
| Transformed_CSR_04/OvConsOS_nosorts_FR.xml |
NO
6.18/2.38
| NO
0.45/0.37
|
| Transformed_CSR_04/ExAppendixB_AEL03_GM.xml |
YES
171.78/45.77
| MAYBE
139.25/42.37
|
| Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml |
timeout (wallclock)
| MAYBE
136.37/42.36
|
| Transformed_CSR_04/Ex24_Luc06_L.xml |
NO
6.02/2.23
| NO
0.31/0.31
|
| Transformed_CSR_04/Ex1_GM03_Z.xml |
NO
4.48/2.00
| NO
0.31/0.32
|
| Transformed_CSR_04/ExConc_Zan97_Z.xml |
NO
3.16/1.73
| NO
0.31/0.32
|
| Transformed_CSR_04/Ex49_GM04_iGM.xml |
YES
11.09/3.71
| YES
27.16/7.31
|
| Transformed_CSR_04/OvConsOS_complete_noand_GM.xml |
YES
37.31/11.92
| MAYBE
147.43/42.50
|
| Transformed_CSR_04/Ex24_Luc06_iGM.xml |
NO
10.73/4.67
| MAYBE
144.90/42.34
|
| Transformed_CSR_04/Ex14_Luc06_iGM.xml |
timeout (wallclock)
| StarExec error
|
| Transformed_CSR_04/Ex6_15_AEL02_L.xml |
NO
3.07/1.46
| NO
0.32/0.33
|
| Transformed_CSR_04/Ex6_15_AEL02_FR.xml |
timeout (wallclock)
| MAYBE
116.22/42.36
|
| Transformed_CSR_04/Ex3_3_25_Bor03_L.xml |
YES
3.76/1.69
| YES
0.43/0.36
|
| Transformed_CSR_04/Ex1_Luc04b_C.xml |
YES
7.89/2.87
| YES
26.99/7.34
|
| Transformed_CSR_04/Ex14_Luc06_L.xml |
NO
9.15/3.04
| NO
0.45/0.38
|
| Transformed_CSR_04/Ex1_GM03_GM.xml |
timeout (wallclock)
| MAYBE
133.40/42.37
|
| Transformed_CSR_04/Ex7_BLR02_C.xml |
timeout (wallclock)
| MAYBE
145.53/42.38
|
| Transformed_CSR_04/Ex5_7_Luc97_FR.xml |
MAYBE
1161.83/292.39
| MAYBE
126.04/42.37
|
| Transformed_CSR_04/ExIntrod_GM99_FR.xml |
MAYBE
860.98/291.55
| MAYBE
144.58/42.35
|
| Transformed_CSR_04/ExIntrod_GM99_C.xml |
MAYBE
1006.39/297.68
| MAYBE
145.75/42.41
|
| Transformed_CSR_04/Ex1_GL02a_L.xml |
NO
4.63/2.02
| NO
0.31/0.35
|
| Transformed_CSR_04/Ex5_Zan97_C.xml |
YES
6.29/2.35
| YES
16.01/4.35
|
| Transformed_CSR_04/Ex5_Zan97_FR.xml |
YES
3.99/1.74
| YES
2.38/0.89
|
| Transformed_CSR_04/PALINDROME_nokinds_GM.xml |
YES
3.85/1.73
| YES
1.38/0.62
|
| Transformed_CSR_04/Ex24_Luc06_FR.xml |
NO
4.08/1.84
| NO
0.41/0.36
|
| Transformed_CSR_04/OvConsOS_complete_iGM.xml |
MAYBE
895.18/291.95
| MAYBE
147.24/42.51
|
| Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml |
MAYBE
823.05/293.67
| MAYBE
148.03/42.47
|
| Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml |
YES
185.33/58.59
| MAYBE
147.36/42.49
|
| Transformed_CSR_04/PALINDROME_complete_Z.xml |
YES
5.96/2.34
| YES
50.67/13.55
|
| Transformed_CSR_04/Ex14_Luc06_C.xml |
timeout (wallclock)
| MAYBE
144.87/42.35
|
| Transformed_CSR_04/Ex1_GM99_FR.xml |
NO
4.00/1.86
| NO
0.56/0.40
|
| Transformed_CSR_04/Ex1_GL02a_iGM.xml |
YES
11.11/3.79
| YES
24.56/6.61
|
| Transformed_CSR_04/ExIntrod_Zan97_L.xml |
NO
3.14/1.51
| NO
0.32/0.32
|
| Transformed_CSR_04/ExIntrod_Zan97_iGM.xml |
MAYBE
859.61/291.60
| MAYBE
143.62/42.39
|
| Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml |
YES
18.70/5.83
| StarExec error
|
| Transformed_CSR_04/OvConsOS_nokinds_L.xml |
NO
3.05/1.48
| StarExec error
|
| Transformed_CSR_04/OvConsOS_nokinds_FR.xml |
NO
351.33/89.29
| MAYBE
142.46/42.38
|
| Transformed_CSR_04/Ex6_9_Luc02c_GM.xml |
YES
8.61/3.15
| YES
16.82/4.86
|
| Transformed_CSR_04/Ex3_12_Luc96a_Z.xml |
YES
3.81/1.78
| YES
15.57/5.50
|
| Transformed_CSR_04/Ex49_GM04_Z.xml |
YES
4.35/1.95
| YES
5.84/1.91
|
| Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml |
MAYBE
708.77/292.33
| MAYBE
146.13/42.73
|
| Transformed_CSR_04/ExIntrod_GM99_L.xml |
NO
3.25/1.57
| NO
0.32/0.32
|
| Transformed_CSR_04/Ex26_Luc03b_Z.xml |
YES
19.00/8.74
| YES
31.37/9.30
|
| Transformed_CSR_04/PEANO_nosorts_C.xml |
YES
5.99/5.55
| YES
23.99/6.45
|
| Transformed_CSR_04/ExProp7_Luc06_FR.xml |
YES
4.56/1.89
| YES
2.35/0.87
|
| Transformed_CSR_04/PEANO_complete_noand_GM.xml |
YES
10.36/3.63
| YES
88.99/24.52
|
| Transformed_CSR_04/Ex15_Luc06_L.xml |
NO
5.35/2.08
| NO
0.30/0.31
|
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml |
NO
3.09/1.49
| NO
0.31/0.31
|
| Transformed_CSR_04/LISTUTILITIES_complete_FR.xml |
MAYBE
955.32/293.19
| MAYBE
148.89/42.49
|
| Transformed_CSR_04/Ex2_Luc02a_L.xml |
YES
3.65/1.67
| YES
4.04/1.35
|
| Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml |
MAYBE
1128.17/292.73
| MAYBE
145.16/42.39
|
| Transformed_CSR_04/Ex1_GM03_FR.xml |
MAYBE
681.13/291.51
| StarExec error
|
| Transformed_CSR_04/Ex23_Luc06_Z.xml |
YES
3.72/1.60
| YES
0.44/0.37
|
| Transformed_CSR_04/PALINDROME_complete-noand_Z.xml |
YES
5.57/2.40
| YES
62.16/16.13
|
| Transformed_CSR_04/PEANO_complete-noand_L.xml |
NO
3.07/1.49
| NO
0.32/0.32
|
| Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml |
MAYBE
806.47/291.83
| MAYBE
148.32/42.53
|
| Transformed_CSR_04/Ex5_7_Luc97_GM.xml |
MAYBE
1156.09/292.59
| MAYBE
141.27/42.38
|
| Transformed_CSR_04/Ex5_DLMMU04_C.xml |
YES
12.96/4.53
| MAYBE
145.34/42.40
|
| Transformed_CSR_04/ExIntrod_GM04_Z.xml |
NO
22.30/9.37
| NO
3.33/1.11
|
| Transformed_CSR_04/Ex24_GM04_Z.xml |
NO
25.31/13.20
| NO
2.91/1.01
|
| Transformed_CSR_04/PALINDROME_nosorts_iGM.xml |
YES
5.02/2.03
| YES
20.67/5.60
|
| Transformed_CSR_04/PEANO_nokinds_noand_C.xml |
MAYBE
1023.42/296.81
| MAYBE
145.56/42.39
|
| Transformed_CSR_04/OvConsOS_nokinds_Z.xml |
NO
366.92/93.89
| MAYBE
142.81/42.37
|
| Transformed_CSR_04/Ex5_Zan97_L.xml |
NO
3.11/1.54
| NO
0.31/0.32
|
| Transformed_CSR_04/Ex6_Luc98_L.xml |
YES
3.41/1.54
| YES
0.43/0.35
|
| Transformed_CSR_04/OvConsOS_nokinds_GM.xml |
MAYBE
834.13/292.53
| MAYBE
145.30/42.37
|
| Transformed_CSR_04/Ex1_Luc04b_L.xml |
NO
3.12/1.54
| NO
0.31/0.31
|
| Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml |
MAYBE
667.27/292.42
| MAYBE
146.03/42.78
|
| Transformed_CSR_04/Ex3_12_Luc96a_FR.xml |
YES
3.70/1.71
| YES
4.57/1.64
|
| Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml |
timeout (wallclock)
| MAYBE
145.18/42.39
|
| Transformed_CSR_04/PALINDROME_complete-noand_FR.xml |
YES
5.76/2.44
| YES
79.21/20.43
|
| Transformed_CSR_04/Ex1_GL02a_GM.xml |
YES
3.96/1.78
| YES
7.28/2.33
|
| Transformed_CSR_04/PALINDROME_nosorts_GM.xml |
YES
3.51/1.64
| YES
0.61/0.42
|
| Transformed_CSR_04/ExIntrod_Zan97_FR.xml |
timeout (wallclock)
| MAYBE
131.55/42.35
|
| Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml |
YES
9.13/3.05
| MAYBE
135.49/42.36
|
| Transformed_CSR_04/Ex14_AEGL02_L.xml |
NO
8.31/2.83
| NO
0.44/0.37
|
| Transformed_CSR_04/ExIntrod_GM01_Z.xml |
NO
16.99/10.82
| NO
0.76/0.45
|
| Transformed_CSR_04/Ex2_Luc02a_C.xml |
YES
10.39/3.91
| YES
29.26/7.85
|
| Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml |
MAYBE
1029.51/292.91
| MAYBE
146.61/42.42
|
| Transformed_CSR_04/Ex4_7_77_Bor03_C.xml |
YES
5.27/2.11
| StarExec error
|
| Transformed_CSR_04/Ex1_GL02a_Z.xml |
NO
52.36/18.96
| MAYBE
140.48/42.35
|
| Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml |
YES
15.69/4.83
| YES
10.79/3.22
|
| Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml |
YES
14.29/4.63
| YES
30.99/8.49
|
| Transformed_CSR_04/Ex6_15_AEL02_Z.xml |
NO
27.21/9.68
| MAYBE
106.40/42.38
|
| Transformed_CSR_04/Ex2_Luc02a_GM.xml |
YES
8.07/2.90
| MAYBE
136.48/42.36
|
| Transformed_CSR_04/Ex4_4_Luc96b_L.xml |
YES
3.18/1.57
| YES
0.74/0.43
|
| Transformed_CSR_04/Ex6_9_Luc02c_L.xml |
NO
3.05/1.55
| NO
0.31/0.31
|
| Transformed_CSR_04/Ex5_DLMMU04_iGM.xml |
YES
18.72/5.97
| YES
105.71/28.02
|
| Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml |
YES
6.02/2.41
| YES
18.97/5.69
|
| Transformed_CSR_04/PEANO_complete-noand_FR.xml |
YES
15.88/4.95
| YES
66.88/17.90
|
| Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml |
YES
3.42/1.60
| YES
0.42/0.36
|
| Transformed_CSR_04/MYNAT_nokinds_GM.xml |
YES
4.99/2.01
| MAYBE
136.52/42.37
|
| Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml |
MAYBE
1132.87/294.64
| MAYBE
144.92/42.39
|
| Transformed_CSR_04/Ex1_GM99_GM.xml |
NO
5.78/2.28
| MAYBE
25.41/7.75
|
| Transformed_CSR_04/PEANO_nokinds-noand_L.xml |
NO
2.94/1.49
| NO
0.32/0.32
|
| Transformed_CSR_04/MYNAT_nosorts-noand_L.xml |
NO
3.18/1.49
| NO
0.31/0.31
|
| Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml |
YES
4.65/1.96
| MAYBE
133.21/42.35
|
| Transformed_CSR_04/Ex1_2_AEL03_iGM.xml |
YES
82.46/22.60
| YES
134.48/37.74
|
| Transformed_CSR_04/Ex2_Luc03b_C.xml |
YES
8.86/3.08
| YES
28.02/7.81
|
| Transformed_CSR_04/Ex1_GL02a_C.xml |
YES
13.21/4.59
| YES
55.96/14.68
|
| Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml |
MAYBE
617.82/291.81
| MAYBE
148.23/42.50
|
| Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml |
YES
7.72/2.82
| MAYBE
139.90/42.35
|
| Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml |
NO
71.52/21.58
| MAYBE
144.89/42.36
|
| Transformed_CSR_04/Ex2_Luc02a_iGM.xml |
YES
16.43/5.13
| YES
28.49/8.03
|
| Transformed_CSR_04/Ex1_Luc02b_L.xml |
NO
3.17/1.49
| NO
0.31/0.31
|
| Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml |
MAYBE
1066.35/291.81
| MAYBE
142.21/42.37
|
| Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml |
YES
4.42/1.91
| YES
4.44/1.44
|
| Transformed_CSR_04/MYNAT_nokinds_FR.xml |
YES
4.53/1.91
| MAYBE
134.12/42.36
|
| Transformed_CSR_04/Ex1_Luc04b_GM.xml |
YES
6.32/2.35
| YES
12.94/3.62
|
| Transformed_CSR_04/Ex4_4_Luc96b_C.xml |
YES
4.12/1.77
| YES
10.07/2.84
|
| Transformed_CSR_04/MYNAT_complete-noand_L.xml |
NO
3.19/1.52
| NO
0.34/0.34
|
| Transformed_CSR_04/Ex3_2_Luc97_GM.xml |
MAYBE
1002.15/292.95
| MAYBE
140.20/42.34
|
| Transformed_CSR_04/Ex25_Luc06_L.xml |
YES
3.23/1.51
| YES
0.41/0.36
|
| Transformed_CSR_04/Ex16_Luc06_FR.xml |
YES
3.63/1.67
| YES
0.67/0.44
|
| Transformed_CSR_04/Ex1_GM03_iGM.xml |
MAYBE
806.98/291.76
| MAYBE
142.56/42.38
|
| Transformed_CSR_04/Ex4_4_Luc96b_GM.xml |
YES
4.38/1.87
| YES
13.55/5.53
|
| Transformed_CSR_04/Ex4_4_Luc96b_Z.xml |
NO
4.72/1.99
| NO
0.41/0.36
|
| Transformed_CSR_04/Ex6_Luc98_iGM.xml |
YES
6.50/2.55
| YES
19.66/5.30
|
| Transformed_CSR_04/Ex23_Luc06_iGM.xml |
YES
12.52/3.96
| YES
6.21/1.88
|
| Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml |
StarExec error
| MAYBE
98.27/43.31
|
| Transformed_CSR_04/Ex24_GM04_C.xml |
timeout (wallclock)
| MAYBE
144.93/42.34
|
| Transformed_CSR_04/PEANO_nosorts-noand_L.xml |
NO
3.05/1.52
| NO
0.31/0.31
|
| Transformed_CSR_04/PEANO_nosorts_L.xml |
NO
3.09/1.48
| NO
0.31/0.31
|
| Transformed_CSR_04/Ex2_Luc03b_GM.xml |
YES
8.25/3.07
| YES
13.06/3.79
|
| Transformed_CSR_04/Ex1_2_AEL03_FR.xml |
YES
4.33/1.89
| YES
7.98/2.48
|
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml |
NO
4.75/2.20
| NO
0.59/0.41
|
| Transformed_CSR_04/Ex9_BLR02_C.xml |
YES
8.58/3.08
| YES
28.68/8.01
|
| Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml |
NO
3.05/1.48
| NO
0.32/0.32
|
| Transformed_CSR_04/Ex1_GM03_C.xml |
MAYBE
960.42/291.58
| MAYBE
145.24/42.38
|
| Transformed_CSR_04/Ex9_Luc06_GM.xml |
YES
3.76/1.70
| YES
1.17/0.55
|
| Transformed_CSR_04/MYNAT_nosorts_C.xml |
YES
5.56/2.19
| YES
26.11/6.95
|
| Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml |
NO
2.98/1.47
| NO
0.33/0.33
|
| Transformed_CSR_04/ExAppendixB_AEL03_FR.xml |
YES
4.07/1.84
| YES
8.36/2.50
|
| Transformed_CSR_04/ExSec11_1_Luc02a_L.xml |
YES
3.84/1.70
| YES
5.67/1.81
|
| Transformed_CSR_04/PEANO_complete_iGM.xml |
YES
7.06/2.60
| MAYBE
145.18/42.41
|
| Transformed_CSR_04/Ex1_Luc04b_Z.xml |
NO
5.93/2.33
| NO
0.31/0.31
|
| Transformed_CSR_04/Ex16_Luc06_GM.xml |
YES
4.07/1.79
| YES
2.27/0.85
|
| Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml |
timeout (wallclock)
| StarExec error
|
| Transformed_CSR_04/Ex3_12_Luc96a_C.xml |
timeout (wallclock)
| MAYBE
145.07/42.36
|
| Transformed_CSR_04/Ex9_BLR02_L.xml |
YES
3.10/1.52
| YES
0.43/0.36
|
| Transformed_CSR_04/PALINDROME_nosorts_L.xml |
NO
2.96/1.49
| NO
0.31/0.31
|
| Transformed_CSR_04/Ex1_2_Luc02c_FR.xml |
YES
3.74/1.69
| YES
5.04/1.74
|
| Transformed_CSR_04/LISTUTILITIES_complete_C.xml |
MAYBE
791.81/292.19
| MAYBE
147.61/42.77
|
| Transformed_CSR_04/Ex15_Luc06_GM.xml |
YES
6.62/2.43
| YES
1.29/0.59
|
| Transformed_CSR_04/Ex1_Luc02b_C.xml |
MAYBE
967.81/293.24
| MAYBE
145.30/42.37
|
| Transformed_CSR_04/PEANO_nokinds_L.xml |
NO
3.20/1.56
| NO
0.31/0.31
|
| Transformed_CSR_04/Ex15_Luc06_Z.xml |
YES
5.00/2.05
| YES
0.93/0.50
|
| Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml |
MAYBE
809.55/294.19
| MAYBE
148.56/42.71
|
| Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml |
YES
4.08/1.82
| YES
13.92/5.82
|
| Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml |
NO
923.18/292.84
| MAYBE
145.84/42.40
|
| Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml |
MAYBE
1027.04/296.38
| MAYBE
145.76/42.41
|
| Transformed_CSR_04/Ex9_BLR02_Z.xml |
YES
5.14/2.39
| YES
18.67/5.96
|
| Transformed_CSR_04/ExIntrod_GM04_iGM.xml |
YES
10.92/3.82
| YES
26.89/7.24
|
| Transformed_CSR_04/PALINDROME_complete_noand_GM.xml |
YES
15.65/7.24
| MAYBE
147.14/42.47
|
| Transformed_CSR_04/Ex3_2_Luc97_C.xml |
MAYBE
980.31/293.56
| MAYBE
145.13/42.37
|
| Transformed_CSR_04/Ex14_AEGL02_GM.xml |
YES
4.74/2.02
| YES
6.04/1.97
|
| Transformed_CSR_04/Ex6_GM04_C.xml |
YES
10.28/3.51
| YES
4.48/1.41
|
| Transformed_CSR_04/Ex49_GM04_FR.xml |
YES
11.18/4.33
| YES
38.79/11.01
|
| Transformed_CSR_04/PEANO_nokinds_Z.xml |
YES
3.92/1.86
| YES
24.78/6.82
|
| Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml |
NO
42.27/14.23
| MAYBE
142.87/42.37
|
| Transformed_CSR_04/ExIntrod_GM04_C.xml |
YES
7.14/2.76
| YES
27.19/7.43
|
| Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml |
YES
23.68/7.33
| YES
109.58/29.04
|
| Transformed_CSR_04/Ex1_2_AEL03_C.xml |
MAYBE
1031.70/291.73
| MAYBE
146.29/42.43
|
| Transformed_CSR_04/Ex6_9_Luc02c_Z.xml |
YES
3.63/1.69
| YES
5.13/1.57
|
| Transformed_CSR_04/Ex16_Luc06_L.xml |
NO
7.50/2.61
| NO
0.31/0.31
|
| Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml |
YES
4.04/1.76
| YES
4.30/1.41
|
| Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml |
NO
5.40/2.31
| NO
0.32/0.33
|
| Transformed_CSR_04/Ex18_Luc06_L.xml |
YES
2.94/1.55
| YES
0.44/0.36
|
| Transformed_CSR_04/Ex1_Luc02b_Z.xml |
YES
3.82/1.74
| YES
17.27/5.70
|
| Transformed_CSR_04/ExProp7_Luc06_Z.xml |
YES
4.04/1.81
| YES
1.32/0.63
|
| Transformed_CSR_04/OvConsOS_complete_C.xml |
timeout (wallclock)
| MAYBE
149.21/42.51
|
| Transformed_CSR_04/ExAppendixB_AEL03_L.xml |
NO
2.88/1.48
| NO
0.32/0.32
|
| Transformed_CSR_04/Ex8_BLR02_L.xml |
NO
3.13/1.49
| NO
0.31/0.31
|
| Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml |
YES
74.01/20.82
| MAYBE
146.55/42.44
|
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml |
NO
22.24/8.93
| MAYBE
144.32/42.36
|
| Transformed_CSR_04/OvConsOS_complete_FR.xml |
MAYBE
1160.02/293.25
| MAYBE
147.59/42.41
|
| Transformed_CSR_04/PEANO_nosorts_noand_C.xml |
YES
6.50/2.41
| YES
27.39/7.46
|
| Transformed_CSR_04/Ex1_Zan97_GM.xml |
YES
4.43/1.81
| YES
0.46/0.37
|
| Transformed_CSR_04/Ex5_DLMMU04_GM.xml |
YES
8.64/3.03
| YES
46.52/12.27
|
| Transformed_CSR_04/Ex6_GM04_iGM.xml |
YES
6.07/2.30
| YES
2.47/0.89
|
| Transformed_CSR_04/Ex9_Luc06_iGM.xml |
YES
5.20/2.31
| YES
4.63/1.45
|
| Transformed_CSR_04/OvConsOS_nosorts_C.xml |
timeout (wallclock)
| MAYBE
145.23/42.38
|
| Transformed_CSR_04/Ex24_GM04_L.xml |
NO
10.31/3.33
| NO
0.31/0.31
|
| Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml |
YES
10.29/3.41
| MAYBE
135.41/42.37
|
| Transformed_CSR_04/Ex25_Luc06_FR.xml |
YES
9.90/3.42
| YES
5.98/1.76
|
| Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml |
MAYBE
753.37/292.13
| MAYBE
145.52/42.77
|
| Transformed_CSR_04/PEANO_nokinds_iGM.xml |
YES
5.29/2.14
| YES
67.64/18.20
|
| Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml |
YES
3.25/1.59
| YES
0.59/0.40
|
| Transformed_CSR_04/Ex1_GL02a_FR.xml |
NO
327.09/107.60
| MAYBE
134.22/42.36
|
| Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml |
timeout (wallclock)
| MAYBE
147.75/42.57
|
| Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml |
NO
12.37/4.38
| MAYBE
63.53/20.98
|
| Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml |
MAYBE
835.50/291.85
| MAYBE
147.84/42.43
|
| Transformed_CSR_04/PALINDROME_nokinds_FR.xml |
YES
4.11/1.81
| YES
1.63/0.69
|
| Transformed_CSR_04/ExIntrod_GM01_FR.xml |
NO
23.66/8.96
| NO
2.30/0.84
|
| Transformed_CSR_04/ExConc_Zan97_L.xml |
YES
3.15/1.49
| YES
0.41/0.36
|
| Transformed_CSR_04/MYNAT_nokinds_iGM.xml |
YES
7.30/2.65
| MAYBE
144.95/42.40
|
| Transformed_CSR_04/MYNAT_complete-noand_FR.xml |
YES
50.89/14.84
| MAYBE
146.02/42.40
|
| Transformed_CSR_04/ExIntrod_GM99_iGM.xml |
MAYBE
804.37/291.75
| MAYBE
144.65/42.39
|
| Transformed_CSR_04/PEANO_nosorts_GM.xml |
YES
3.55/1.64
| YES
0.60/0.40
|
| Transformed_CSR_04/Ex15_Luc98_FR.xml |
YES
10.09/3.46
| YES
25.33/8.01
|
| Transformed_CSR_04/Ex6_Luc98_C.xml |
YES
7.66/2.94
| YES
24.24/6.51
|
| Transformed_CSR_04/Ex9_Luc06_C.xml |
YES
44.53/18.48
| YES
5.16/1.60
|
| Transformed_CSR_04/Ex15_Luc98_L.xml |
NO
2.99/1.46
| NO
0.31/0.31
|
| Transformed_CSR_04/Ex1_2_AEL03_Z.xml |
YES
4.16/1.79
| YES
6.71/2.13
|
| Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml |
YES
4.09/2.11
| YES
13.32/4.76
|
| Transformed_CSR_04/OvConsOS_complete_noand_C.xml |
MAYBE
769.49/292.05
| MAYBE
147.75/42.73
|
| Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml |
NO
6.08/2.51
| NO
0.59/0.41
|
| Transformed_CSR_04/MYNAT_nosorts_GM.xml |
YES
4.12/1.78
| MAYBE
131.56/42.34
|
| Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml |
NO
201.29/60.93
| NO
0.32/0.33
|
| Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml |
YES
146.05/43.86
| MAYBE
145.35/42.42
|
| Transformed_CSR_04/PALINDROME_complete_L.xml |
NO
2.99/1.50
| NO
0.33/0.33
|
| Transformed_CSR_04/ExIntrod_GM01_GM.xml |
StarExec error
| YES
23.10/6.21
|
| Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml |
YES
171.53/63.56
| MAYBE
145.19/42.39
|
| Transformed_CSR_04/Ex18_Luc06_iGM.xml |
YES
10.95/3.58
| YES
1.68/0.67
|
| Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml |
MAYBE
682.94/291.81
| MAYBE
147.45/42.43
|
| Transformed_CSR_04/Ex1_Luc02b_FR.xml |
YES
4.59/1.91
| YES
16.99/6.45
|
| Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml |
YES
4.45/1.93
| YES
5.08/1.57
|
| Transformed_CSR_04/Ex4_DLMMU04_L.xml |
NO
3.21/1.48
| NO
0.32/0.33
|
| Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml |
NO
933.43/293.65
| MAYBE
145.75/42.40
|
| Transformed_CSR_04/Ex16_Luc06_iGM.xml |
YES
6.92/2.82
| MAYBE
32.66/10.07
|
| Transformed_CSR_04/Ex2_Luc02a_FR.xml |
YES
4.74/2.09
| YES
13.35/4.03
|
| Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml |
timeout (wallclock)
| MAYBE
148.89/42.58
|
| Transformed_CSR_04/Ex3_3_25_Bor03_C.xml |
YES
9.00/3.07
| YES
29.07/8.20
|
| Transformed_CSR_04/ExConc_Zan97_GM.xml |
YES
9.24/3.03
| YES
5.30/1.60
|
| Transformed_CSR_04/Ex2_Luc03b_iGM.xml |
YES
7.92/2.88
| YES
24.33/6.65
|
| Transformed_CSR_04/PEANO_complete_noand_C.xml |
timeout (wallclock)
| MAYBE
148.37/42.49
|
| Transformed_CSR_04/PEANO_nokinds_C.xml |
YES
5.80/2.25
| MAYBE
145.16/42.38
|
| Transformed_CSR_04/PEANO_nosorts_noand_GM.xml |
YES
3.57/1.64
| YES
0.66/0.43
|
| Transformed_CSR_04/ExSec11_1_Luc02a_C.xml |
YES
11.27/3.91
| YES
30.22/8.16
|
| Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml |
timeout (wallclock)
| MAYBE
148.64/42.46
|
| Transformed_CSR_04/ExIntrod_Zan97_GM.xml |
MAYBE
791.53/291.58
| StarExec error
|
| Transformed_CSR_04/Ex8_BLR02_FR.xml |
StarExec error
| YES
9.14/3.39
|
| Transformed_CSR_04/Ex23_Luc06_GM.xml |
YES
7.26/2.57
| YES
2.42/0.90
|
| Transformed_CSR_04/MYNAT_complete_noand_C.xml |
MAYBE
758.88/291.86
| MAYBE
147.97/42.61
|
| Transformed_CSR_04/OvConsOS_complete_GM.xml |
MAYBE
972.20/292.95
| MAYBE
147.48/42.42
|
| Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml |
YES
5.77/2.30
| YES
29.84/8.18
|
| Transformed_CSR_04/Ex49_GM04_C.xml |
YES
9.20/3.19
| YES
28.06/7.59
|
| Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml |
timeout (wallclock)
| MAYBE
148.47/42.57
|
| Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml |
timeout (wallclock)
| MAYBE
135.15/42.77
|
| Transformed_CSR_04/PALINDROME_nokinds_L.xml |
NO
3.14/1.47
| NO
0.32/0.32
|
| Transformed_CSR_04/Ex14_AEGL02_Z.xml |
NO
7.74/3.02
| NO
1.78/0.71
|
| Transformed_CSR_04/OvConsOS_complete-noand_L.xml |
NO
3.14/1.55
| NO
0.36/0.37
|
| Transformed_CSR_04/Ex1_GM99_C.xml |
YES
104.50/36.03
| MAYBE
144.83/42.35
|
| Transformed_CSR_04/ExIntrod_GM99_GM.xml |
YES
86.18/22.60
| YES
45.48/12.32
|
| Transformed_CSR_04/PALINDROME_complete_noand_C.xml |
YES
25.67/8.71
| YES
71.69/21.28
|
| Transformed_CSR_04/ExConc_Zan97_iGM.xml |
YES
23.12/6.66
| YES
13.90/3.76
|
| Transformed_CSR_04/PEANO_nokinds_GM.xml |
YES
4.37/1.89
| YES
28.30/7.76
|
| Transformed_CSR_04/Ex4_Zan97_L.xml |
NO
3.15/1.56
| NO
0.31/0.31
|
| Transformed_CSR_04/Ex7_BLR02_L.xml |
NO
3.13/1.49
| NO
0.31/0.31
|
| Transformed_CSR_04/Ex5_7_Luc97_Z.xml |
MAYBE
1160.91/293.11
| MAYBE
118.27/42.37
|
| Transformed_CSR_04/Ex1_GM99_L.xml |
NO
7.08/3.16
| NO
0.31/0.31
|
| Transformed_CSR_04/Ex4_Zan97_FR.xml |
YES
3.73/1.68
| YES
5.55/1.88
|
| Transformed_CSR_04/Ex9_Luc06_FR.xml |
NO
4.08/1.85
| NO
0.46/0.38
|
| Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml |
YES
13.78/4.57
| YES
99.03/26.18
|
| Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml |
YES
4.82/2.08
| YES
11.31/3.69
|
| Transformed_CSR_04/PALINDROME_nokinds_Z.xml |
YES
4.07/1.74
| YES
1.42/0.63
|
| Transformed_CSR_04/Ex3_2_Luc97_FR.xml |
MAYBE
473.83/291.61
| MAYBE
128.38/42.35
|
| Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml |
YES
4.65/2.01
| YES
15.65/4.43
|
| Transformed_CSR_04/Ex6_GM04_GM.xml |
YES
4.26/1.77
| YES
0.54/0.39
|
| Transformed_CSR_04/Ex16_Luc06_C.xml |
YES
80.43/27.15
| MAYBE
144.83/42.34
|
| Transformed_CSR_04/Ex6_Luc98_GM.xml |
YES
5.21/2.22
| YES
9.34/2.84
|
| Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml |
YES
15.97/4.99
| YES
46.76/17.94
|
| Transformed_CSR_04/Ex15_Luc06_C.xml |
YES
10.21/3.52
| YES
1.83/0.73
|
| Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml |
YES
6.98/2.67
| YES
22.00/5.97
|
| Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml |
MAYBE
831.06/292.89
| MAYBE
145.51/42.41
|
| Transformed_CSR_04/Ex1_2_Luc02c_L.xml |
NO
3.04/1.53
| NO
0.30/0.32
|
| Transformed_CSR_04/Ex14_Luc06_GM.xml |
timeout (wallclock)
| MAYBE
12.54/7.33
|
| Transformed_CSR_04/LISTUTILITIES_complete_GM.xml |
MAYBE
599.93/292.36
| MAYBE
148.43/42.54
|
| Transformed_CSR_04/Ex1_2_Luc02c_GM.xml |
YES
8.29/3.03
| YES
7.76/2.41
|
| Transformed_CSR_04/ExProp7_Luc06_C.xml |
YES
146.88/42.07
| YES
24.74/6.69
|
| Transformed_CSR_04/Ex4_Zan97_C.xml |
timeout (wallclock)
| MAYBE
145.00/42.36
|
| Transformed_CSR_04/Ex26_Luc03b_GM.xml |
YES
6.39/4.74
| YES
31.58/9.87
|
| Transformed_CSR_04/Ex6_Luc98_Z.xml |
YES
3.82/1.77
| YES
3.74/1.21
|
| Transformed_CSR_04/Ex3_2_Luc97_iGM.xml |
MAYBE
709.80/292.75
| MAYBE
144.63/42.38
|
| Transformed_CSR_04/Ex1_Zan97_C.xml |
YES
18.54/5.49
| YES
1.59/0.67
|
| Transformed_CSR_04/ExIntrod_GM01_iGM.xml |
YES
11.12/3.94
| YES
27.06/7.34
|
| Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml |
YES
3.39/1.64
| YES
0.70/0.44
|
| Transformed_CSR_04/Ex4_7_15_Bor03_C.xml |
YES
68.67/19.51
| YES
19.83/5.32
|
| Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml |
YES
4.29/1.81
| YES
2.62/0.94
|
| Transformed_CSR_04/Ex2_Luc03b_FR.xml |
YES
6.58/2.54
| YES
20.86/6.02
|
| Transformed_CSR_04/Ex9_Luc04_GM.xml |
NO
6.80/2.60
| MAYBE
37.92/11.48
|
| Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml |
NO
74.36/21.57
| MAYBE
144.82/42.36
|
| Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml |
NO
3.09/1.57
| NO
0.32/0.32
|
| Transformed_CSR_04/Ex1_Zan97_iGM.xml |
YES
7.03/2.51
| YES
3.60/1.20
|
| Transformed_CSR_04/PEANO_nokinds_noand_GM.xml |
YES
7.07/2.64
| YES
48.47/14.52
|
| Transformed_CSR_04/Ex4_DLMMU04_iGM.xml |
YES
86.06/23.74
| MAYBE
145.66/42.41
|
| Transformed_CSR_04/ExIntrod_GM01_C.xml |
YES
8.16/2.94
| YES
28.10/7.73
|
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml |
NO
9.44/3.43
| NO
6.57/2.05
|
| Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml |
MAYBE
843.55/292.90
| MAYBE
142.26/42.37
|
| Transformed_CSR_04/ExProp7_Luc06_L.xml |
YES
3.53/1.57
| YES
1.04/0.56
|
| Transformed_CSR_04/Ex26_Luc03b_C.xml |
YES
9.85/3.46
| YES
30.38/9.16
|
| Transformed_CSR_04/Ex1_Luc04b_iGM.xml |
YES
9.53/3.31
| YES
26.53/7.16
|
| Transformed_CSR_04/PALINDROME_complete_GM.xml |
YES
8.08/2.90
| YES
97.71/27.76
|
| Transformed_CSR_04/LISTUTILITIES_complete_Z.xml |
MAYBE
938.28/291.92
| MAYBE
148.14/42.48
|
| Transformed_CSR_04/Ex18_Luc06_FR.xml |
YES
7.45/2.61
| YES
0.54/0.39
|
| Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml |
YES
12.55/4.11
| YES
57.53/30.30
|
| Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml |
YES
4.11/1.79
| YES
17.57/5.56
|
| Transformed_CSR_04/PEANO_complete_noand_iGM.xml |
YES
186.82/63.04
| MAYBE
147.13/42.48
|
| Transformed_CSR_04/Ex1_2_AEL03_GM.xml |
YES
164.41/44.25
| MAYBE
137.70/42.38
|
| Transformed_CSR_04/Ex1_Zan97_L.xml |
NO
5.96/2.22
| NO
0.42/0.36
|
| Transformed_CSR_04/PEANO_complete_GM.xml |
YES
5.16/2.08
| YES
50.74/14.38
|
| Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml |
YES
12.23/4.13
| YES
29.47/8.61
|
| Transformed_CSR_04/Ex4_Zan97_iGM.xml |
MAYBE
725.87/291.66
| MAYBE
144.57/42.36
|
| Transformed_CSR_04/PALINDROME_nosorts_C.xml |
YES
5.48/2.19
| YES
23.85/6.44
|
| Transformed_CSR_04/OvConsOS_complete_Z.xml |
timeout (wallclock)
| StarExec error
|
| Transformed_CSR_04/Ex24_GM04_FR.xml |
MAYBE
175.58/136.35
| MAYBE
10.91/7.33
|
| Transformed_CSR_04/Ex5_Zan97_iGM.xml |
YES
5.78/2.26
| YES
15.84/4.35
|
| Transformed_CSR_04/Ex5_Zan97_Z.xml |
YES
3.35/1.61
| YES
0.43/0.36
|
| Transformed_CSR_04/Ex4_7_56_Bor03_C.xml |
MAYBE
880.92/292.77
| MAYBE
144.75/42.35
|
| Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml |
YES
9.07/3.09
| YES
34.30/9.13
|
| Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml |
NO
2.96/1.48
| NO
0.31/0.31
|
| Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml |
MAYBE
653.51/291.84
| MAYBE
147.07/42.56
|
| Transformed_CSR_04/Ex5_7_Luc97_iGM.xml |
MAYBE
746.17/291.72
| MAYBE
145.04/42.41
|
| Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml |
NO
119.85/31.75
| MAYBE
143.47/42.36
|
| Transformed_CSR_04/MYNAT_complete_L.xml |
NO
3.12/1.57
| NO
0.32/0.32
|
| Transformed_CSR_04/OvConsOS_nosorts_Z.xml |
NO
5.95/2.31
| NO
0.45/0.37
|
| Transformed_CSR_04/Ex6_GM04_FR.xml |
NO
7.25/2.68
| NO
0.53/0.40
|
| Transformed_CSR_04/Ex18_Luc06_GM.xml |
YES
7.15/2.56
| YES
1.56/0.66
|
| Transformed_CSR_04/LISTUTILITIES_complete_L.xml |
NO
3.21/1.54
| NO
0.37/0.37
|
| Transformed_CSR_04/Ex4_Zan97_Z.xml |
YES
3.63/1.67
| YES
16.64/5.58
|
| Transformed_CSR_04/Ex49_GM04_GM.xml |
YES
6.24/2.49
| YES
29.49/8.65
|
| Transformed_CSR_04/Ex3_12_Luc96a_L.xml |
NO
3.01/1.61
| NO
0.31/0.32
|
| Transformed_CSR_04/Ex25_Luc06_C.xml |
YES
21.62/7.12
| YES
1.19/0.57
|
| Transformed_CSR_04/Ex1_Luc04b_FR.xml |
NO
10.66/3.56
| NO
0.64/0.42
|
| Transformed_CSR_04/Ex8_BLR02_iGM.xml |
MAYBE
787.66/291.69
| MAYBE
144.74/42.37
|
| Transformed_CSR_04/Ex8_BLR02_Z.xml |
YES
3.70/1.71
| YES
8.02/2.77
|
| Transformed_CSR_04/PEANO_complete_Z.xml |
YES
4.54/1.90
| YES
49.04/13.87
|
| Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml |
YES
3.48/1.85
| YES
0.53/0.39
|
| Transformed_CSR_04/Ex1_2_Luc02c_C.xml |
YES
5.39/2.17
| YES
6.05/1.81
|
| Transformed_CSR_04/Ex14_AEGL02_iGM.xml |
YES
9.39/3.24
| YES
21.91/5.92
|
| Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml |
MAYBE
746.23/292.82
| MAYBE
144.47/42.39
|
| Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml |
YES
5.08/2.13
| YES
15.69/4.28
|
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml |
timeout (wallclock)
| MAYBE
144.83/42.35
|
| Transformed_CSR_04/Ex1_GM03_L.xml |
NO
3.18/1.48
| NO
0.31/0.31
|
| Transformed_CSR_04/Ex18_Luc06_C.xml |
YES
15.11/4.57
| YES
2.43/0.89
|
| Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml |
YES
3.96/1.79
| YES
7.35/2.21
|
| Transformed_CSR_04/Ex5_DLMMU04_L.xml |
NO
3.01/1.83
| NO
0.31/0.32
|
| Transformed_CSR_04/Ex4_DLMMU04_Z.xml |
NO
49.73/13.50
| NO
4.91/1.52
|
| Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml |
YES
20.77/6.51
| MAYBE
147.77/42.45
|
| Transformed_CSR_04/Ex4_7_56_Bor03_L.xml |
NO
3.14/1.54
| NO
0.31/0.31
|
| Transformed_CSR_04/Ex5_DLMMU04_Z.xml |
NO
8.00/2.90
| NO
0.43/0.38
|
| Transformed_CSR_04/PALINDROME_nosorts_FR.xml |
YES
3.47/1.61
| YES
0.47/0.37
|
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml |
MAYBE
812.52/291.64
| MAYBE
145.01/42.36
|
| Transformed_CSR_04/Ex4_4_Luc96b_FR.xml |
NO
7.80/2.86
| NO
0.60/0.41
|
| Transformed_CSR_04/Ex5_Zan97_GM.xml |
YES
4.52/1.94
| YES
3.28/1.11
|
| Transformed_CSR_04/Ex6_GM04_L.xml |
YES
3.22/1.56
| YES
0.41/0.36
|
| Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml |
NO
3.18/1.53
| NO
0.40/0.40
|
| Transformed_CSR_04/ExIntrod_GM99_Z.xml |
NO
15.01/5.67
| NO
0.62/0.42
|
| Transformed_CSR_04/Ex7_BLR02_iGM.xml |
MAYBE
686.39/292.52
| MAYBE
144.56/42.37
|
| Transformed_CSR_04/MYNAT_nokinds-noand_L.xml |
NO
2.97/1.47
| NO
0.31/0.32
|
| Transformed_CSR_04/Ex25_Luc06_GM.xml |
YES
12.50/4.00
| YES
9.50/2.66
|
| Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml |
YES
20.67/6.28
| MAYBE
145.62/42.40
|
| Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml |
YES
10.02/3.50
| YES
25.86/7.05
|
| Transformed_CSR_04/ExIntrod_Zan97_Z.xml |
NO
6.48/2.58
| NO
0.32/0.32
|
| Transformed_CSR_04/PEANO_nosorts_iGM.xml |
YES
5.26/2.22
| YES
12.54/3.47
|
| Transformed_CSR_04/MYNAT_nokinds_Z.xml |
YES
4.32/1.91
| MAYBE
133.37/42.35
|
| Transformed_CSR_04/Ex15_Luc98_C.xml |
YES
9.05/3.42
| YES
27.28/7.31
|
| Transformed_CSR_04/Ex8_BLR02_C.xml |
timeout (wallclock)
| MAYBE
145.33/42.39
|
| Transformed_CSR_04/MYNAT_complete_noand_iGM.xml |
YES
770.58/278.07
| MAYBE
147.60/42.64
|
| Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml |
YES
5.25/2.10
| YES
2.59/0.94
|
| Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml |
NO
3.41/1.59
| NO
0.36/0.36
|
| Transformed_CSR_04/MYNAT_nosorts_iGM.xml |
YES
5.17/2.08
| YES
17.96/6.11
|
| Transformed_CSR_04/Ex6_15_AEL02_C.xml |
MAYBE
1025.33/293.55
| MAYBE
147.81/42.44
|
| Transformed_CSR_04/Ex14_AEGL02_FR.xml |
NO
22.90/9.33
| MAYBE
52.37/16.63
|
| Transformed_CSR_04/MYNAT_nokinds_C.xml |
YES
6.84/2.65
| MAYBE
146.11/42.40
|
| Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml |
YES
7.46/2.66
| YES
5.37/1.65
|
| Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml |
timeout (wallclock)
| MAYBE
148.49/42.47
|
| Transformed_CSR_04/ExIntrod_Zan97_C.xml |
MAYBE
961.94/292.97
| MAYBE
145.37/42.38
|
| Transformed_CSR_04/MYNAT_nosorts_L.xml |
NO
3.07/1.45
| NO
0.31/0.31
|
| Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml |
NO
2.87/1.46
| NO
0.31/0.32
|
| Transformed_CSR_04/Ex49_GM04_L.xml |
NO
3.22/1.55
| NO
0.31/0.32
|
| Transformed_CSR_04/Ex7_BLR02_GM.xml |
MAYBE
764.81/291.59
| MAYBE
134.43/42.36
|
| Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml |
MAYBE
816.28/292.03
| MAYBE
148.43/42.44
|
| Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml |
YES
4.76/1.99
| YES
12.74/4.14
|
| Transformed_CSR_04/Ex2_Luc03b_L.xml |
YES
3.39/1.53
| YES
0.49/0.43
|
| Transformed_CSR_04/Ex4_DLMMU04_FR.xml |
NO
48.57/13.46
| NO
4.09/1.32
|
| Transformed_CSR_04/Ex2_Luc03b_Z.xml |
YES
4.63/1.96
| YES
4.18/1.33
|
| Transformed_CSR_04/Ex6_Luc98_FR.xml |
YES
5.17/2.09
| YES
11.25/3.47
|
| Transformed_CSR_04/OvConsOS_nokinds_iGM.xml |
MAYBE
949.06/298.00
| MAYBE
145.21/42.41
|
| Transformed_CSR_04/PALINDROME_nokinds_iGM.xml |
YES
6.78/2.46
| YES
26.90/7.33
|
| Transformed_CSR_04/Ex9_BLR02_FR.xml |
YES
12.54/4.58
| YES
20.71/7.21
|
| Transformed_CSR_04/MYNAT_complete_noand_GM.xml |
YES
35.19/11.68
| MAYBE
147.58/42.46
|
| Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml |
NO
3.06/1.49
| NO
0.33/0.33
|
| Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml |
NO
2.82/2.51
| NO
0.32/0.32
|
| Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml |
MAYBE
1132.26/293.59
| MAYBE
147.56/42.41
|
| Transformed_CSR_04/ExAppendixB_AEL03_C.xml |
MAYBE
1033.28/293.37
| MAYBE
147.40/42.43
|
| Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml |
NO
58.39/16.35
| MAYBE
141.22/42.36
|
| Transformed_CSR_04/PALINDROME_complete_iGM.xml |
YES
10.66/3.55
| YES
101.16/27.57
|
| Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml |
YES
3.60/1.66
| YES
4.24/1.55
|
| Transformed_CSR_04/Ex6_9_Luc02c_C.xml |
YES
4.62/2.20
| YES
18.45/4.97
|
| Transformed_CSR_04/PEANO_complete_C.xml |
YES
8.44/3.11
| MAYBE
146.40/42.41
|
| Transformed_CSR_04/Ex6_15_AEL02_GM.xml |
timeout (wallclock)
| MAYBE
142.97/42.39
|
| Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml |
NO
3.12/1.50
| NO
0.33/0.33
|
| Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml |
NO
13.20/4.97
| MAYBE
66.99/20.52
|
| Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml |
timeout (wallclock)
| MAYBE
147.56/42.44
|
| Transformed_CSR_04/ExConc_Zan97_FR.xml |
YES
9.11/3.03
| YES
3.34/1.11
|
| Transformed_CSR_04/ExIntrod_GM04_L.xml |
NO
3.02/1.47
| NO
0.31/0.32
|
| Transformed_CSR_04/Ex9_BLR02_iGM.xml |
YES
10.97/3.69
| YES
30.40/8.25
|
| Transformed_CSR_04/Ex4_DLMMU04_GM.xml |
YES
44.00/12.11
| YES
110.81/28.59
|
| Transformed_CSR_04/PEANO_complete_FR.xml |
YES
4.77/2.02
| YES
63.99/17.73
|
| Transformed_CSR_04/Ex5_DLMMU04_FR.xml |
NO
25.34/10.46
| MAYBE
139.56/42.35
|
| Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml |
YES
3.37/1.67
| StarExec error
|
| Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml |
NO
3.16/1.55
| NO
0.33/0.34
|
| Transformed_CSR_04/Ex18_Luc06_Z.xml |
YES
3.37/2.23
| YES
0.43/0.37
|
| Transformed_CSR_04/ExIntrod_GM04_FR.xml |
NO
25.76/10.25
| MAYBE
144.16/42.34
|
| Transformed_CSR_04/Ex4_Zan97_GM.xml |
MAYBE
915.40/293.77
| MAYBE
132.65/42.34
|
| Transformed_CSR_04/Ex24_GM04_iGM.xml |
MAYBE
878.52/292.51
| MAYBE
37.55/12.49
|
| Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml |
YES
6.29/2.36
| YES
19.08/5.20
|
| Transformed_CSR_04/Ex5_7_Luc97_C.xml |
timeout (wallclock)
| MAYBE
145.94/42.41
|
| Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml |
NO
61.97/21.04
| MAYBE
137.90/42.35
|
| Transformed_CSR_04/Ex26_Luc03b_L.xml |
YES
3.30/1.53
| YES
0.59/0.41
|
| Transformed_CSR_04/Ex1_Luc02b_iGM.xml |
MAYBE
667.44/291.57
| MAYBE
144.87/42.38
|
| Transformed_CSR_04/MYNAT_complete_C.xml |
YES
13.43/4.74
| MAYBE
149.08/42.49
|
| Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml |
MAYBE
1138.14/292.97
| MAYBE
146.51/42.41
|
| Transformed_CSR_04/PEANO_nokinds-noand_FR.xml |
YES
7.24/2.67
| YES
31.74/8.67
|
| Transformed_CSR_04/Ex15_Luc06_iGM.xml |
YES
7.13/3.23
| YES
3.03/1.05
|
| Transformed_CSR_04/Ex1_2_AEL03_L.xml |
NO
3.13/1.55
| NO
0.31/0.32
|
| Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml |
timeout (wallclock)
| MAYBE
147.03/42.43
|
| Transformed_CSR_04/OvConsOS_nosorts_iGM.xml |
NO
63.82/18.82
| MAYBE
145.09/42.37
|
| Transformed_CSR_04/Ex6_15_AEL02_iGM.xml |
timeout (wallclock)
| MAYBE
145.54/42.43
|
| Transformed_CSR_04/Ex26_Luc03b_iGM.xml |
YES
14.05/4.63
| YES
27.82/7.75
|
| Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml |
YES
8.18/3.06
| MAYBE
143.77/42.40
|
| Transformed_CSR_04/MYNAT_nokinds_L.xml |
NO
3.14/1.48
| NO
0.31/0.32
|
| Transformed_CSR_04/MYNAT_complete_FR.xml |
YES
5.41/2.17
| MAYBE
142.28/42.38
|
|
| 1200 |
925 |
|---|