WST competition 2004 - TRS category
Short legend (
help page
for more):
Tool id
Problem id
YES, it is terminating
I don't know
NO, it is NOT terminating
Times for giving answers are in seconds
AProVE
CARIBOO
CiME 2.02
Matchbox
TTT
AG01 - #3.10
1.97
0.50
27.39
(timeout)
0.94
AG01 - #3.11
1.32
0.52
36.17
60.10
0.85
AG01 - #3.12
0.84
0.50
0.02
(timeout)
0.01
AG01 - #3.13
1.57
0.52
20.17
2.67
0.95
AG01 - #3.14
0.65
0.43
0.03
(timeout)
0.02
AG01 - #3.15
0.64
0.53
0.05
47.86
0.02
AG01 - #3.16
0.72
0.46
0.02
5.16
0.00
AG01 - #3.17a
8.19
0.53
0.04
59.74
0.04
AG01 - #3.17
1.24
0.56
0.04
(timeout)
0.04
AG01 - #3.18
0.77
0.57
0.48
53.98
0.00
AG01 - #3.19
12.47
0.51
1.66
55.99
0.02
AG01 - #3.1
0.73
0.54
0.01
53.09
0.02
AG01 - #3.20
0.58
0.53
0.01
3.51
0.00
AG01 - #3.21
5.29
0.52
0.06
59.99
0.01
AG01 - #3.22
5.27
0.59
0.14
(timeout)
0.01
AG01 - #3.23
0.64
0.56
0.03
60.40
0.01
AG01 - #3.24
0.52
0.56
0.03
0.12
0.01
AG01 - #3.25
0.64
0.46
0.02
19.41
0.02
AG01 - #3.26
2.51
0.57
0.03
44.70
0.00
AG01 - #3.27
1.74
0.56
0.03
57.27
0.01
AG01 - #3.28
0.70
0.54
0.03
51.36
0.00
AG01 - #3.29
0.55
0.50
0.02
59.93
0.00
AG01 - #3.2
0.72
0.49
0.02
(timeout)
0.00
AG01 - #3.30
0.52
0.59
0.01
0.01
0.01
AG01 - #3.31
0.65
0.53
0.03
6.82
0.01
AG01 - #3.32
0.53
0.52
0.00
0.02
0.00
AG01 - #3.33
0.53
0.63
0.03
0.05
0.01
AG01 - #3.34
0.61
0.57
0.03
0.18
0.00
AG01 - #3.35
0.57
0.55
0.02
0.24
0.01
AG01 - #3.36
0.89
0.47
0.05
56.72
0.02
AG01 - #3.37
0.80
0.58
0.05
0.70
0.00
AG01 - #3.38
0.87
0.51
0.04
57.72
0.12
AG01 - #3.39
0.82
0.48
2.09
57.70
0.02
AG01 - #3.3
0.91
0.59
0.05
47.88
0.03
AG01 - #3.40
1.09
0.59
8.66
(timeout)
0.08 (error)
AG01 - #3.41
0.70
0.50
0.07
2.53
0.01
AG01 - #3.42
1.06
0.52
2.10
(timeout)
0.01
AG01 - #3.43
1.06
0.57
0.04
5.63
0.31 (error)
AG01 - #3.44
0.49
0.59
0.02
0.07
0.00
AG01 - #3.45
0.63
0.56
0.02
0.41
0.00
AG01 - #3.46
0.57
0.59
0.03
0.21
0.01
AG01 - #3.47
0.67
0.46
0.02
(timeout)
0.00
AG01 - #3.48
0.72
0.61
0.02
14.87
0.09
AG01 - #3.49
0.70
0.57
1.75
42.94
0.01
AG01 - #3.4
0.78
0.61
0.03
52.37
0.01
AG01 - #3.50
0.67
0.47
0.04
0.59
0.00
AG01 - #3.51
0.84
0.51
0.02
2.27
0.02
AG01 - #3.52
0.70
0.59
0.04
58.57
0.00
AG01 - #3.53a
0.61
0.53
0.01
0.48
0.01
AG01 - #3.53b
0.80
0.54
0.01
42.14
0.02
AG01 - #3.53
1.06
0.46
0.03
55.63
0.03
AG01 - #3.54
0.80
0.57
0.01
38.69
0.01
AG01 - #3.55
1.71
0.48
36.16
58.55
0.89
AG01 - #3.56
0.79
0.47
0.01
4.98
0.01
AG01 - #3.57
0.96
0.51
0.04
60.38
0.03
AG01 - #3.5a
0.97
0.59
9.98
58.76
0.02
AG01 - #3.5b
1.13
0.51
14.03
53.60
0.07
AG01 - #3.5
0.97
0.57
10.07
57.34
0.03
AG01 - #3.6a
1.01
0.57
0.07
60.40
0.02
AG01 - #3.6b
1.25
0.57
12.32
59.10
0.06
AG01 - #3.6
1.11
0.58
0.06
(timeout)
0.04
AG01 - #3.7
0.99
0.52
0.03
10.14
0.01
AG01 - #3.8a
0.90
0.57
0.04
(timeout)
0.01
AG01 - #3.8b
0.95
0.48
0.08
43.26
0.04
AG01 - #3.8
0.83
0.62
0.03
58.49
0.00
AG01 - #3.9
1.05
0.53
0.07
(timeout)
0.06
AG01 - #4.10
0.53
0.66
0.02
0.01
0.00
AG01 - #4.11
0.50
0.28
14.96
0.01
0.01
AG01 - #4.12a
0.64
0.53
0.04
28.49
0.02
AG01 - #4.12
0.62
0.59
0.14
17.51
0.03
AG01 - #4.13
0.70
0.55
0.04
0.00
0.00
AG01 - #4.14
0.70
0.55
0.09
2.45
0.00
AG01 - #4.15
0.62
0.48
12.15
52.20
0.02
AG01 - #4.16
0.61
0.53
0.01
8.35
0.00
AG01 - #4.17
0.82
0.70
12.08
6.78
0.04 (error)
AG01 - #4.18
1.08
0.53
0.15
2.10
0.04 (error)
AG01 - #4.19
0.66
0.55
0.15
0.00
0.00
AG01 - #4.1
0.46
0.58
0.03
8.98
0.00
AG01 - #4.20a
0.45
0.58
0.03
0.02
0.00
AG01 - #4.20
0.49
0.56
0.02
0.01
0.01
AG01 - #4.21
0.54
0.51
0.03
0.01
0.01
AG01 - #4.22
0.69
0.68
0.27
14.73
0.00
AG01 - #4.23
0.70
0.55
11.09
47.08
0.02
AG01 - #4.24
0.88
0.72
0.02
4.92
0.01
AG01 - #4.25
0.56
0.59
0.02
0.02
0.02
AG01 - #4.26
5.90
0.75
5.72
59.14
3.25 (error)
AG01 - #4.27
0.67
0.59
12.07
60.11
0.02
AG01 - #4.28
0.96
0.61
0.05
3.60
0.03
AG01 - #4.29
5.21
0.78
33.78
5.72
0.29
AG01 - #4.2
0.64
0.58
0.59
3.85
0.01
AG01 - #4.30a
0.85
0.57
0.58
59.82
0.02
AG01 - #4.30b
5.48
0.64
33.40
60.01
2.34
AG01 - #4.30c
5.94
0.60
34.64
57.67
1.01 (error)
AG01 - #4.30
4.71
0.68
19.68
52.34
4.00 (error)
AG01 - #4.31
4.30
0.60
0.18
0.02
0.48 (error)
AG01 - #4.32
0.64
0.56
0.03
0.91
0.01
AG01 - #4.33
0.87
0.51
0.04
(timeout)
0.02
AG01 - #4.34
0.85
0.68
0.02
55.04
0.03
AG01 - #4.35
2.04
0.97
0.08
0.01
6.72
AG01 - #4.36
1.83
0.57
2.38
60.35
0.28
AG01 - #4.37a
0.66
0.59
0.03
0.02
0.00
AG01 - #4.37
0.68
0.57
0.02
0.02
0.01
AG01 - #4.3
0.65
0.53
0.03
0.00
0.01
AG01 - #4.4a
0.58
0.51
0.03
0.01
0.01
AG01 - #4.4
0.66
0.52
0.04
0.01
0.01
AG01 - #4.5
0.96
0.56
0.01
1.86
0.01
AG01 - #4.6
0.64
0.62
0.04
59.67
0.04 (error)
AG01 - #4.7
0.56
0.57
0.08
1.23
0.01
AG01 - #4.8
0.68
0.54
0.06
58.75
0.02 (error)
AG01 - #4.9
0.69
0.57
0.03
57.88
0.03 (error)
AProVE - AAECCcond
13.44
0.56
0.01 (error)
0.00 (error)
0.00 (error)
AProVE - AAECC-ring-cond
(timeout)
(timeout)
0.02 (error)
0.01 (error)
0.02 (error)
AProVE - AAECC-ring
(timeout)
0.57
(timeout)
31.06
53.46 (error)
AProVE - AAECC
14.58
0.46
(timeout)
59.85
58.86 (error)
AProVE_AC - AC01
0.57
0.56
0.03
60.26
0.00 (error)
AProVE_AC - AC02
0.54
0.52
0.05
59.54
0.01 (error)
AProVE_AC - AC03
0.58
0.53
0.10
(timeout)
0.00 (error)
AProVE_AC - AC04
1.15
0.43
0.08
(timeout)
0.00 (error)
AProVE_AC - AC05
1.73
0.55
0.57
60.00
0.00 (error)
AProVE_AC - AC06
0.64
0.53
0.17
0.38
0.01 (error)
AProVE_AC - AC07
1.31
0.49
0.04
(timeout)
0.01 (error)
AProVE_AC - AC08
0.73
0.53
0.34
0.40
0.00 (error)
AProVE_AC - AC09
0.58
0.50
0.10
0.54
0.00 (error)
AProVE_AC - AC10
0.62
0.54
0.11
0.56
0.01 (error)
AProVE_AC - AC11
0.75
0.49
2.09
0.12
0.01 (error)
AProVE_AC - AC12
0.70
0.42
2.64
59.74
0.01 (error)
AProVE_AC - AC13
0.67
0.51
0.08
0.51
0.01 (error)
AProVE_AC - AC14
0.58
0.56
0.09
0.61
0.01 (error)
AProVE_AC - AC15
0.67
0.52
0.09
(timeout)
0.02 (error)
AProVE_AC - AC16
0.83
0.54
0.11
0.37
0.01 (error)
AProVE_AC - AC17
1.02
0.45
0.14
0.43
0.00 (error)
AProVE_AC - AC18
2.13
0.46
1.79
0.30
0.01 (error)
AProVE_AC - AC19
0.73
0.53
0.31
24.52
0.01 (error)
AProVE_AC - AC20
1.09
0.53
0.08
59.51
0.01 (error)
AProVE_AC - AC21
3.33
0.48
0.71
0.54
0.00 (error)
AProVE_AC - AC22
2.12
0.57
1.90
0.52
0.02 (error)
AProVE_AC - AC23
1.15
0.55
0.25
0.35
0.01 (error)
AProVE_AC - AC24
1.25
0.51
0.20
0.41
0.01 (error)
AProVE_AC - AC25
0.69
0.57
0.09
0.54
0.00 (error)
AProVE_AC - AC26
0.68
0.49
0.11
0.47
0.00 (error)
AProVE_AC - AC27
0.71
0.49
0.11
0.39
0.01 (error)
AProVE_AC - AC28
1.02
0.54
1.56
37.75
0.00 (error)
AProVE_AC - AC29
1.10
0.45
0.03
35.66
0.00 (error)
AProVE_AC - AC41
0.96
0.55
0.04
0.52
0.00 (error)
AProVE_AC - AC42
0.78
0.53
0.12
59.44
0.01 (error)
AProVE_AC - AC43
0.73
0.59
0.11
14.34
0.01 (error)
AProVE_AC - AC44
0.92
0.52
12.57
33.63
0.01 (error)
AProVE_AC - AC45
0.80
0.59
0.07
(timeout)
0.00 (error)
AProVE_AC - AC46
1.10
0.46
24.66
59.55
0.00 (error)
AProVE_AC - AC47
1.04
0.54
12.41
(timeout)
0.00 (error)
AProVE_AC - AC48
0.64
0.50
0.09
0.55
0.00 (error)
AProVE_AC - AC49
2.14
0.57
0.07
60.49
0.00 (error)
AProVE_AC - AC50
2.13
0.48
0.06
59.50
0.02 (error)
AProVE_AC - AC51
0.71
0.53
0.32
46.25
0.01 (error)
AProVE_AC - AC52
1.93
0.53
0.13
(timeout)
0.01 (error)
AProVE_AC - AC53
0.79
0.61
0.11
43.35
0.00 (error)
AProVE_AC - AC54
1.06
0.48
0.09
0.37
0.00 (error)
AProVE - fac
10.76
0.55
0.10
(timeout)
0.02
AProVE - forward_instantiation2
4.76
0.55
0.04
8.71
59.04 (error)
AProVE - forward_instantiation
0.60
0.56
0.06
56.02
0.08
AProVE - IJCAR_12
0.91
0.51
1.72
(timeout)
0.02
AProVE - IJCAR_18
1.26
0.57
1.48
51.41
0.03
AProVE - IJCAR_1
0.72
0.55
1.01
11.92
0.02
AProVE - IJCAR_26a
1.50
0.58
0.17
55.87
0.04
AProVE - IJCAR_26
1.27
0.53
0.17
56.63
0.02
AProVE - IJCAR_AC1
1.14
0.59
1.16
0.38
0.01 (error)
AProVE - improved_usable2
0.64
0.59
0.02
1.75
0.01
AProVE - improved_usable
0.63
0.55
0.06
54.05
1.26 (error)
AProVE - JFP_Ex17
0.85
0.57
0.05
57.06
7.39
AProVE - JFP_Ex31
(timeout)
0.61
5.74
59.31
59.55 (error)
AProVE - JFP_Ex51
2.08
0.54
11.27
25.73
7.59
AProVE - Liveness6.1
6.56
0.49
0.05
27.00
3.62 (error)
AProVE - Liveness6.2
10.76
0.45
0.15
(timeout)
11.39 (error)
AProVE - Liveness6.3
23.66
0.51
1.31
40.14
21.03 (error)
AProVE - Liveness6.4
(timeout)
0.55
(timeout)
33.59
58.95 (error)
AProVE - Liveness8
2.04
0.50
7.43
45.46
1.62
AProVE - Liveness_WRS
8.76
0.52
18.07
60.49
60.00 (error)
AProVE - LPAR_intlist
0.83
0.50
0.03
27.42
0.01
AProVE - rta1
0.89
0.56
0.40
(timeout)
0.00
AProVE - rta2
0.64
0.56
0.03
60.47
0.01 (error)
AProVE - rta3
5.98
0.56
0.33
33.85
0.25 (error)
CimeAC - bag-sum-prod-bin-distr
1.98
0.56
0.76
0.26
0.00 (error)
CimeAC - bag-sum-prod-bin
2.21
0.54
0.27
0.27
0.01 (error)
CimeAC - bag-sum-prod-distr
1.71
0.57
0.76
0.26
0.01 (error)
CimeAC - bag-sum-prod
0.69
0.53
0.14
0.31
0.01 (error)
CimeAC - boolean_rings
0.71
0.57
0.24
0.40
0.00 (error)
CimeAC - differ
0.70
0.62
(timeout)
44.59
0.00 (error)
CimeAC - intersect
0.71
0.55
0.09
0.44
0.00 (error)
Cime - ack_prolog
0.90
0.48
0.12
(timeout)
0.02
CimeAC - kusakari1
1.00
0.56
0.17
47.17
0.02 (error)
CimeAC - maude2
(timeout)
0.59
20.51
0.51
0.00 (error)
CimeAC - rationals
(timeout)
0.61
(timeout)
0.00 (error)
0.00 (error)
CimeAC - sequent_modulo
(timeout)
0.50
10.77
0.52
0.00 (error)
CimeAC - temporal-logic
0.60
0.59
0.09
0.03
0.01 (error)
CimeAC - ternary
2.33
0.50
1.81
0.26
0.01 (error)
Cime - append-hard
5.49
0.56
2.91
(timeout)
33.88 (error)
Cime - append
0.81
0.49
0.03
(timeout)
0.01
Cime - append-wrong
1.01
0.57
6.20
5.06
59.99 (error)
Cime - big
4.07
0.60
0.45
0.92
0.34
Cime - boolean_rings
0.79
0.52
0.02
0.41
0.01
Cime - dpqs
0.65
0.60
0.03
0.60
0.02
Cime - fact-hard
5.59
0.52
6.78
(timeout)
0.87 (error)
Cime - filliatre2
1.17
0.46
18.37
59.80
19.07
Cime - filliatre3
3.16
0.61
9.74
58.74
19.81
Cime - filliatre
3.05
0.49
0.08
47.30
3.37
Cime - intersect
1.23
0.68
0.17
55.08
0.12
Cime - list-sum-prod-assoc-append
1.05
0.48
0.06
(timeout)
0.01
Cime - list-sum-prod-assoc
0.94
0.54
0.08
55.18
0.00
Cime - list-sum-prod-bin-assoc-distr-app
1.52
0.61
0.21
58.59
0.04
Cime - list-sum-prod-bin-assoc
1.15
0.44
0.17
52.49
0.02
Cime - list-sum-prod-bin
1.14
0.55
0.10
(timeout)
0.03
Cime - list-sum-prod
1.29
0.51
0.07
56.63
0.01
Cime - log2
9.97
0.64
0.15
22.91
0.05
Cime - lse
2.23
0.57
0.23
0.28
51.35 (error)
Cime - maude2
(timeout)
0.57
34.05
0.51
51.40 (error)
Cime - mucrl1
19.98
0.87
0.49
0.36
3.10
Cime - quick
0.76
0.50
0.45
33.34
7.25
Cime - ternary-hard
2.55
0.57
2.64
(timeout)
0.06
Cime - ternary
1.82
0.46
0.90
58.68
0.00
Cime - tree
2.75
0.52
0.18
55.26
0.09
CSR - Ex1_2_AEL03
1.26
0.46
0.05
0.01 (error)
0.03 (error)
CSR - Ex1_2_Luc02c
0.62
0.56
0.01
0.00 (error)
0.00 (error)
CSR - Ex14_AEGL02
1.97
0.59
0.04
1.15
0.00 (error)
CSR - Ex15_Luc98
0.99
0.57
0.05
(timeout)
0.01 (error)
CSR - Ex1_GL02a
11.79
0.50
0.02
10.03
4.06 (error)
CSR - Ex1_GM03
(timeout)
0.57
0.02
(timeout)
0.02 (error)
CSR - Ex1_GM99
0.88
0.47
0.04
2.42
1.02 (error)
CSR - Ex1_Luc02b
0.76
0.57
0.03
24.73
0.02 (error)
CSR - Ex1_Zan97
9.73
0.47
0.05
1.81
0.02 (error)
CSR - Ex24_GM04
0.83
0.51
0.03
0.01
2.81 (error)
CSR - Ex26_Luc03b
0.66
0.58
0.06
0.45
0.01 (error)
CSR - Ex2_Luc02a
1.26
0.53
0.07
0.42
0.01 (error)
CSR - Ex2_Luc03b
0.58
0.51
0.02
23.54
0.01 (error)
CSR - Ex3_12_Luc96a
0.68
0.56
0.02
(timeout)
0.00 (error)
CSR - Ex3_2_Luc97
34.10
0.53
0.02
5.40
0.01 (error)
CSR - Ex3_3_25_Bor03
0.63
0.51
0.01
52.98
5.98 (error)
CSR - Ex4_4_Luc96b
0.61
0.51
0.00
2.08
0.02 (error)
CSR - Ex4_7_15_Bor03
0.63
0.57
0.58
0.53
0.01 (error)
CSR - Ex4_7_37_Bor03
1.05
0.57
0.04
(timeout)
0.02 (error)
CSR - Ex4_7_56_Bor03
0.71
0.60
0.03
57.60
0.01 (error)
CSR - Ex4_7_77_Bor03
0.61
0.45
0.02
18.21
0.01 (error)
CSR - Ex49_GM04
1.03
0.55
0.03
60.47
0.01
CSR - Ex4_Zan97
0.81
0.59
0.04
59.67
0.02 (error)
CSR - Ex5_7_Luc97
(timeout)
0.57
0.04
2.42
0.03 (error)
CSR - Ex5_Zan97
0.60
0.58
0.01
59.20
0.01 (error)
CSR - Ex6_15_AEL02
(timeout)
0.58
0.03
60.20
51.35 (error)
CSR - Ex6_9_Luc02c
0.78
0.55
0.02
0.01 (error)
0.00 (error)
CSR - Ex6_GM04
0.49
0.54
0.02
0.52
0.01 (error)
CSR - Ex6_Luc98
0.66
0.55
0.01
14.69
0.01 (error)
CSR - Ex7_BLR02
0.87
0.58
0.02
0.00 (error)
0.01 (error)
CSR - Ex8_BLR02
0.78
0.53
0.03
0.83
0.05 (error)
CSR - Ex9_BLR02
0.69
0.49
0.02
6.00
0.02 (error)
CSR - Ex9_Luc04
3.59
0.56
0.04
2.42
1.02 (error)
CSR - ExAppendixB_AEL03
1.05
0.50
0.05
0.01 (error)
0.03 (error)
CSR - ExConc_Zan97
0.58
0.56
0.01
0.28
0.01 (error)
CSR - ExIntrod_GM01
6.92
0.54
0.02
6.06
0.04 (error)
CSR - ExIntrod_GM04
2.09
0.55
0.04
2.54
0.01 (error)
CSR - ExIntrod_GM99
(timeout)
0.56
8.73
55.79
59.02 (error)
CSR - ExIntrod_Zan97
(timeout)
0.55
0.04
0.43
0.01 (error)
CSR - ExSec11_1_Luc02a
2.52
0.53
0.08
0.50
0.04 (error)
D33 - 01
0.61
0.55
0.03
(timeout)
0.01
D33 - 02
0.56
0.62
0.02
25.22
0.01
D33 - 03
0.53
0.48
0.00
0.39
0.01
D33 - 04
1.84
0.59
0.02
59.58
0.01
D33 - 05
0.59
0.59
0.02
0.15
0.00
D33 - 06
0.50
0.49
0.03
0.14
0.00
D33 - 07
1.35
0.58
0.04
59.68
0.01
D33 - 08
0.75
0.54
0.00
50.61
0.02
D33 - 09
0.58
0.57
0.02
(timeout)
0.00
D33 - 11
1.39
0.57
0.01
59.75
0.11
D33 - 12
0.80
0.50
0.25
(timeout)
0.01
D33 - 13
4.85
0.49
0.08
5.93
0.03 (error)
D33 - 17
0.69
0.45
0.03
60.45
0.01
D33 - 18
0.70
0.61
0.01
59.53
0.00
D33 - 20
2.31
0.54
0.04
(timeout)
0.01
D33 - 21
0.73
0.50
0.08
60.45
0.01
D33 - 27
0.50
0.51
0.01
18.25
0.01
D33 - 28
0.81
0.55
0.14
60.45
0.01
D33 - 29
0.74
0.56
0.14
(timeout)
0.01
D33 - 30
(timeout)
0.52
0.01
59.04
0.01
D33 - 31
0.73
0.49
0.03
60.20
0.01
D33 - 32
0.82
0.55
6.24
58.95
0.03
D33 - 33
(timeout)
0.53
0.37
6.04
58.45 (error)
HM - n001
1.32
0.50
0.07
11.14
0.02 (error)
HM - n002
1.45
0.60
0.00
0.01
0.00
HM - n003
0.76
0.62
0.01
0.00
0.00
HM - n004
1.15
0.57
0.02
0.01
0.01
HM - n005
0.68
0.47
0.02
0.01
0.00
HM - n006
0.86
0.52
0.02
0.01
0.00
HM - n007
0.66
0.62
0.00
0.01
0.01
HM - n008
1.10
0.50
0.02
0.01
0.01
HM - t000
0.81
0.56
0.13
59.71
0.52
HM - t001
(timeout)
0.52
27.79
54.21
0.06
HM - t002
0.89
0.56
12.08
53.55
0.03
HM - t003
1.06
0.54
0.01
49.27
0.06
HM - t004
3.88
0.55
0.07
52.00
0.01
HM - t005
8.23
0.53
0.73
60.05
2.10
HM - t006
0.63
0.56
0.02
58.54
0.01
HM - t007
1.21
0.52
0.01
3.06
0.00
HM - t008
0.99
0.54
0.04
8.40
0.00
HM - t009
(timeout)
0.59
(timeout)
25.08
55.21 (error)
HM - t010
1.19
0.61
0.01
1.35
0.00
HM - t011
0.64
0.45
0.01
52.50
0.01
HM - t012
2.76
0.54
0.13
53.07
0.01
HM - t013
0.97
0.53
0.04
54.73
0.01
HM - t014
0.75
0.57
0.05
52.45
0.00
LJB01 - jones1
0.61
0.56
0.02
0.41
0.00
LJB01 - jones2
0.65
0.58
0.11
54.32
0.01
LJB01 - jones3
0.75
0.57
0.16
56.39
0.01
LJB01 - jones4
0.59
0.52
0.03
2.43
0.01
LJB01 - jones5
0.58
0.56
0.01
(timeout)
0.39 (error)
LJB01 - jones6
0.56
0.56
0.01
23.58
0.00
Ohl02 - fib
0.87
(timeout)
0.00 (error)
0.01 (error)
0.01 (error)
Ohl02 - gcd
1.27
0.47
0.01 (error)
0.00 (error)
0.01 (error)
Ohl02 - quicksort
1.08
(timeout)
0.01 (error)
0.01 (error)
0.00 (error)
Ohl02 - quotrem
0.88
(timeout)
0.00 (error)
0.01 (error)
0.00 (error)
qualif - aa
0.97
0.52
0.02
0.00
0.00
qualif - ab
0.50
0.48
0.02
0.01
0.00
qualif - ack
0.77
0.57
0.15
60.04
0.01
qualif - add
0.68
0.53
0.30
49.87
0.01 (error)
qualif - bin
0.66
0.44
0.06
(timeout)
0.01
qualif - inn
0.85
0.57
0.03
1.87
0.00
qualif - no
0.55
0.55
0.01
0.01
0.01 (error)
qualif - quot
0.71
0.44
0.02
59.38
0.01
qualif - simpleac
1.41
0.56
0.03
0.11
0.00 (error)
qualif - simplec
0.74
0.54
0.01
0.08
0.01 (error)
qualif - simple
0.60
0.55
0.02
0.02
0.01
qualif - syr1
24.07
0.53
4.55
(timeout)
0.97 (error)
qualif - syr2
(timeout)
0.46
0.62
46.27
0.10 (error)
qualif - toyama2
0.66
0.50
0.02
0.09
5.49 (error)
qualif - toyamaac
0.93
0.59
0.10
(timeout)
0.01 (error)
qualif - toyama
0.55
0.45
0.03
0.54
0.01
Rubio - ackclaude
0.86
0.57
0.12
59.86
0.00
Rubio - aoto
0.58
0.50
0.06
1.93
0.00
Rubio - bintrees
0.57
0.47
0.00
58.81
0.01
Rubio - bn122
0.52
0.57
0.01
(timeout)
0.01
Rubio - bn129
0.76
0.51
0.17
59.81
0.00
Rubio - division
0.96
0.60
0.07
48.00
0.03
Rubio - elimdupl
0.95
0.48
0.06
(timeout)
0.09
Rubio - enno
1.07
0.60
0.05
19.38
5.86
Rubio - gcd
0.97
0.56
0.07
49.09
0.02
Rubio - gmnp
0.61
0.50
0.02
0.24
0.02
Rubio - gm
0.79
0.61
0.02
59.80
0.02
Rubio - herchydra
(timeout)
0.56
0.37
6.04
59.16 (error)
Rubio-inn - bn111
0.52
0.63
0.09
59.38
0.01
Rubio-inn - gkg
0.53
0.53
0.03
0.01
0.01
Rubio-inn - muladd
0.72
0.54
0.92
4.62
0.04 (error)
Rubio-inn - test10
0.61
0.56
14.97
0.02
0.02
Rubio-inn - test75
0.56
0.53
0.03
60.29
0.04 (error)
Rubio-inn - test76
0.64
0.57
0.06
(timeout)
0.00 (error)
Rubio-inn - test77
0.53
0.37
0.03
(timeout)
0.02 (error)
Rubio-inn - test830
0.62
0.55
0.03
0.01
0.01
Rubio-inn - test833
0.60
0.55
0.03
0.01
0.01
Rubio-inn - test9
0.61
0.59
0.13
16.44
0.03
Rubio-inn - toyama
0.55
0.52
0.04
8.95
0.00
Rubio - insertsort
0.87
0.54
6.22
(timeout)
0.03
Rubio - koen
0.56
0.57
0.02
59.69
0.01
Rubio - lescanne
0.58
0.55
0.01
60.48
0.02
Rubio - lindau
0.50
0.52
0.08
0.09
0.02
Rubio - logarquot
0.81
0.50
0.01
60.29
0.00
Rubio - ma96
2.36
0.51
0.08
59.51
44.88
Rubio - mfp90b
0.60
0.63
0.01
0.12
0.02
Rubio - mfp95
0.54
0.45
0.02
0.11
0.01
Rubio - nestrec
0.68
0.56
0.02
20.60
0.02
Rubio - p266
0.52
0.52
0.02
1.05
0.01
Rubio - polo2
1.26
0.59
(timeout)
12.74
0.01
Rubio - prov
0.66
0.58
0.02
(timeout)
0.01
Rubio - quick
1.29
0.52
36.15
60.21
0.90
Rubio - quotminus
0.75
0.33
0.03
(timeout)
0.01
Rubio - revlist
0.85
0.58
0.06
60.44
0.14
Rubio - selsort
1.86
0.49
2.42
60.01
0.66
Rubio - test4
0.71
0.55
0.87
0.60
0.00
Rubio - test829
0.58
0.46
0.00
6.71
0.00
Rubio - wst99
11.95
0.49
0.12
(timeout)
0.08
SK90 - 2.01
0.55
0.54
0.04
(timeout)
0.01
SK90 - 2.02
0.61
0.56
0.08
59.97
0.01
SK90 - 2.03
0.59
0.56
0.02
1.58
0.01
SK90 - 2.04
0.63
0.49
0.04
(timeout)
0.00
SK90 - 2.05
0.90
0.52
0.35
0.16
0.03 (error)
SK90 - 2.06
0.56
0.57
0.04
60.31
0.01
SK90 - 2.07
0.73
0.51
0.04
50.25
0.01
SK90 - 2.08
0.86
0.60
0.02
15.79
0.02
SK90 - 2.09
0.66
0.52
0.02
(timeout)
0.00
SK90 - 2.10
0.63
0.50
0.03
59.95
0.01
SK90 - 2.11
0.55
0.58
0.02
5.42
0.00
SK90 - 2.12
0.80
0.48
0.06
(timeout)
0.01
SK90 - 2.13
0.69
0.45
0.01
1.91
0.01
SK90 - 2.14
0.65
0.56
0.04
53.22
0.02
SK90 - 2.15
0.66
0.53
0.03
0.07
0.01
SK90 - 2.16
0.77
0.47
0.14
60.45
0.02
SK90 - 2.17
0.67
0.59
0.01
7.47
0.01
SK90 - 2.18
0.66
0.56
0.04
(timeout)
0.01
SK90 - 2.19
0.78
0.54
0.15
1.74
0.01
SK90 - 2.20
0.68
0.58
0.02
0.13
0.01
SK90 - 2.21
0.62
0.54
0.01
30.01
0.00
SK90 - 2.22
0.33
0.55
0.02
8.46
0.02
SK90 - 2.23
0.73
0.58
0.06
(timeout)
0.02
SK90 - 2.24
0.55
0.48
0.00
4.83
0.01
SK90 - 2.25
0.71
0.54
0.10 (error)
35.05
0.01
SK90 - 2.26
0.87
0.52
0.36
60.18
0.00
SK90 - 2.27
1.77
0.19
0.03
3.81
0.01
SK90 - 2.28
0.55
0.54
0.03
(timeout)
0.01
SK90 - 2.29
0.92
0.55
0.01
47.67
0.01
SK90 - 2.30
0.57
0.56
0.01
3.52
0.01
SK90 - 2.31
0.59
0.53
0.03
3.42
0.00
SK90 - 2.32
0.70
0.55
0.01
0.30
0.01
SK90 - 2.33
0.59
0.56
0.03
59.35
0.00
SK90 - 2.34
0.69
0.46
0.03
60.45
0.00
SK90 - 2.35
0.61
0.52
0.01
(timeout)
0.01
SK90 - 2.36
0.63
0.59
0.01
59.49
0.00
SK90 - 2.37
0.52
0.48
0.03
2.79
0.01
SK90 - 2.38
0.58
0.55
0.02
(timeout)
0.00
SK90 - 2.39
0.61
0.51
0.04
(timeout)
0.03
SK90 - 2.40
0.59
0.51
0.01
5.47
0.00
SK90 - 2.41
0.59
0.59
0.02
0.26
0.01
SK90 - 2.42
0.72
0.47
0.05
59.52
0.02
SK90 - 2.43
0.71
0.56
0.00
60.14
0.02
SK90 - 2.44
0.94
0.57
0.01
60.49
0.03
SK90 - 2.45
0.68
0.45
0.02
59.66
0.01
SK90 - 2.46
2.57
0.46
0.03
60.41
0.02
SK90 - 2.47
0.59
0.52
0.02
0.75
0.01
SK90 - 2.48
0.69
0.54
0.01
0.05
0.01
SK90 - 2.49
0.54
0.47
0.06
0.51
0.00
SK90 - 2.50
0.54
0.56
0.02
0.41
0.01
SK90 - 2.51
0.94
0.55
0.16
(timeout)
0.00
SK90 - 2.52
1.04
0.43
2.68
60.09
0.02
SK90 - 2.53
0.59
0.49
0.04
18.98
0.01
SK90 - 2.54
0.65
0.59
0.03
0.39
0.00
SK90 - 2.55
0.65
0.54
0.02
60.39
0.00
SK90 - 2.56
0.63
0.51
0.00
0.12
0.00
SK90 - 2.57
0.60
0.60
0.02
0.23
0.01
SK90 - 2.58
0.65
0.54
0.02
59.30
0.01
SK90 - 2.59
0.58
0.58
0.03
(timeout)
0.00
SK90 - 2.60
0.56
0.46
0.01
0.02
0.01
SK90 - 2.61
0.65
0.48
0.03
(timeout)
0.04
SK90 - 4.01
0.69
0.49
0.01
59.34
0.00
SK90 - 4.02
6.68
0.54
0.21
0.34
0.06
SK90 - 4.03
0.73
0.44
0.03
0.46
0.01
SK90 - 4.04
0.55
0.44
0.02
60.27
0.01
SK90 - 4.05
0.65
0.60
0.03
4.84
0.00
SK90 - 4.06
0.84
0.59
0.13
1.43
0.02 (error)
SK90 - 4.07
0.56
0.51
0.03
59.57
0.01
SK90 - 4.08
0.55
0.59
0.04
60.39
0.01
SK90 - 4.09
0.78
0.58
0.04
0.53
0.00
SK90 - 4.10
0.72
0.43
0.05
(timeout)
0.01
SK90 - 4.11
0.66
0.43
0.02
0.82
0.01
SK90 - 4.12
0.60
0.55
0.02
3.36
0.01
SK90 - 4.13
0.69
0.54
12.05
59.23
0.00
SK90 - 4.14
0.81
0.55
0.05
(timeout)
0.00
SK90 - 4.15
0.55
0.58
0.03
60.39
0.00
SK90 - 4.16
0.73
0.50
0.03
19.19
0.02
SK90 - 4.17
9.72
0.53
0.22
14.31
0.01
SK90 - 4.18
0.61
0.57
0.00
0.04
0.00
SK90 - 4.19
0.58
0.54
0.04
(timeout)
0.01
SK90 - 4.20
0.70
0.45
0.02
0.35
0.01
SK90 - 4.21
0.74
0.60
0.03
0.52
0.00
SK90 - 4.22
0.67
0.53
0.14
(timeout)
0.01
SK90 - 4.23
0.72
0.55
0.32
1.05
0.01
SK90 - 4.24
0.90
0.47
0.32
59.58
59.10 (error)
SK90 - 4.25
0.58
0.59
0.02
(timeout)
0.02
SK90 - 4.26
0.66
0.51
0.04
59.47
0.01
SK90 - 4.27
0.86
0.52
0.03
28.36
0.01
SK90 - 4.28
0.79
0.43
0.03
0.30
0.02
SK90 - 4.29
0.75
0.55
0.02
4.44
0.00
SK90 - 4.30
0.75
0.57
0.04
44.85
0.01
SK90 - 4.31
0.69
0.55
0.00
59.79
0.00
SK90 - 4.32
1.11
0.54
0.51
19.48
0.01
SK90 - 4.33
0.56
0.54
0.02
0.27
0.01
SK90 - 4.34
0.84
0.58
0.05
0.01
0.02 (error)
SK90 - 4.35
0.49
0.55
0.00
0.03
0.00
SK90 - 4.36
0.54
0.47
0.02
0.15
0.01
SK90 - 4.37
0.51
0.49
0.02
0.29
0.00
SK90 - 4.38
0.69
0.55
0.04
4.24
0.01
SK90 - 4.39
0.58
0.56
0.03
(timeout)
0.02
SK90 - 4.40
0.80
0.57
0.13
0.03
0.14 (error)
SK90 - 4.41
0.59
0.50
0.00
0.31
0.01
SK90 - 4.42
0.88
0.59
0.52
(timeout)
0.01
SK90 - 4.43
0.65
0.45
0.03
(timeout)
0.02
SK90 - 4.44
0.53
0.54
0.01
0.06
0.01
SK90 - 4.45
0.53
0.46
0.01
33.21
0.01
SK90 - 4.46
0.43
0.57
0.03
0.02
0.00
SK90 - 4.47
8.64
0.57
0.02
0.01
0.01
SK90 - 4.48
0.51
0.48
0.02
49.35
0.00
SK90 - 4.49
0.65
0.51
0.20
0.01
0.01
SK90 - 4.50
0.55
0.46
0.02
0.52
0.01
SK90 - 4.51
1.07
0.52
0.05
6.84
0.31 (error)
SK90 - 4.52
0.62
0.59
0.02
(timeout)
0.00
SK90 - 4.53
0.70
0.53
0.18
(timeout)
0.00
SK90 - 4.54
0.80
0.52
0.78
0.02
0.10 (error)
SK90 - 4.55
0.65
0.52
0.01
0.22
0.00
SK90 - 4.56
0.59
0.45
0.03
0.01
0.00
SK90 - 4.57
0.65
0.55
0.01
59.24
0.01
SK90 - 4.58
(timeout)
0.53
0.37
7.34
59.02 (error)
SK90 - 4.59
0.68
0.57
0.02
59.51
0.01
SK90 - 4.60
0.78
0.57
0.01
(timeout)
0.19
SK90 - 4.61
5.80
0.49
0.02
60.43
5.82
Ste92 - hydra
0.72
0.47
0.04
59.23
0.01
Ste92 - minsort
(timeout)
0.60
13.79
(timeout)
57.97 (error)
Ste92 - motivation
0.70
0.50
0.05
(timeout)
0.01
Ste92 - perfect2
1.21
0.44
15.16
59.65
0.00
Ste92 - perfect
0.81
0.54
0.04
60.08
0.01
TRCSR - Ex1_2_AEL03_C
(timeout)
0.45
36.34
0.01 (error)
52.92 (error)
TRCSR - Ex1_2_AEL03_FR
1.04
0.61
0.05
0.00 (error)
0.02
TRCSR - Ex1_2_AEL03_GM
(timeout)
0.49
(timeout)
0.01 (error)
58.68 (error)
TRCSR - Ex1_2_AEL03_Z
1.21
0.53
0.04
0.01 (error)
0.01
TRCSR - Ex1_2_Luc02c_C
0.82
0.53
0.07
0.01 (error)
0.65
TRCSR - Ex1_2_Luc02c_FR
0.72
0.57
0.03
0.01 (error)
0.01
TRCSR - Ex1_2_Luc02c_GM
(timeout)
0.46
0.33
0.02 (error)
57.92 (error)
TRCSR - Ex1_2_Luc02c_Z
0.61
0.53
0.03
0.01 (error)
0.00
TRCSR - Ex14_AEGL02_C
(timeout)
0.59
2.30
2.13
58.86 (error)
TRCSR - Ex14_AEGL02_FR
(timeout)
0.54
0.09
4.13
59.07 (error)
TRCSR - Ex14_AEGL02_GM
0.87
0.52
0.07
25.52
3.15
TRCSR - Ex14_AEGL02_Z
(timeout)
0.51
0.07
2.52
58.93 (error)
TRCSR - Ex15_Luc98_C
10.15
0.45
21.63
32.86
8.62
TRCSR - Ex15_Luc98_FR
(timeout)
0.45
1.47
60.25
58.83 (error)
TRCSR - Ex15_Luc98_GM
0.74
0.59
0.01
59.03
15.71
TRCSR - Ex15_Luc98_Z
0.99
0.48
1.34
60.18
0.06
TRCSR - Ex1_GL02a_C
(timeout)
0.57
30.90
2.74
58.75 (error)
TRCSR - Ex1_GL02a_FR
(timeout)
0.51
0.88
59.04
58.67 (error)
TRCSR - Ex1_GL02a_GM
0.90
0.48
0.03
19.50
0.02
TRCSR - Ex1_GL02a_Z
(timeout)
0.49
24.16
59.58
58.51 (error)
TRCSR - Ex1_GM03_C
(timeout)
0.50
10.93
60.32
58.82 (error)
TRCSR - Ex1_GM03_FR
(timeout)
0.49
28.16
60.24
59.00 (error)
TRCSR - Ex1_GM03_GM
(timeout)
0.54
(timeout)
60.25
57.88 (error)
TRCSR - Ex1_GM03_Z
0.86
0.60
0.03
0.01
0.01
TRCSR - Ex1_Luc02b_C
(timeout)
0.54
7.84
8.48
58.74 (error)
TRCSR - Ex1_Luc02b_FR
1.19
0.57
0.18
(timeout)
0.19
TRCSR - Ex1_Luc02b_GM
(timeout)
0.53
21.03
42.18
58.33 (error)
TRCSR - Ex1_Luc02b_Z
0.81
0.46
0.27
4.85
0.01
TRCSR - Ex1_Zan97_C
0.57
0.59
0.66
24.60
58.99 (error)
TRCSR - Ex1_Zan97_GM
0.59
0.49
0.03
0.36
0.01
TRCSR - Ex24_GM04_C
(timeout)
0.54
2.03
0.34
58.96 (error)
TRCSR - Ex26_Luc03b_C
(timeout)
0.52
9.52
1.77
8.84
TRCSR - Ex26_Luc03b_FR
(timeout)
0.61
(timeout)
2.04
57.62 (error)
TRCSR - Ex26_Luc03b_GM
3.52
0.46
0.21
1.01
1.12
TRCSR - Ex26_Luc03b_L
0.62
0.55
0.03
0.10
0.04
TRCSR - Ex26_Luc03b_Z
(timeout)
0.49
(timeout)
0.67
57.54 (error)
TRCSR - Ex2_Luc02a_C
(timeout)
0.49
33.12
1.85
7.06
TRCSR - Ex2_Luc02a_FR
1.16
0.46
0.06
0.96
0.13
TRCSR - Ex2_Luc02a_L
1.34
0.48
0.07
34.53
0.00
TRCSR - Ex2_Luc02a_Z
0.78
0.47
0.07
0.69
0.02
TRCSR - Ex2_Luc03b_C
8.39
0.50
1.78
19.95
58.84 (error)
TRCSR - Ex2_Luc03b_FR
3.91
0.56
0.06
60.23
2.07
TRCSR - Ex2_Luc03b_GM
2.39
0.54
0.04
11.51
53.51 (error)
TRCSR - Ex2_Luc03b_L
0.59
0.55
0.00
0.04
0.02
TRCSR - Ex2_Luc03b_Z
0.77
0.54
0.05
57.81
0.03
TRCSR - Ex3_12_Luc96a_C
(timeout)
0.51
1.75
7.72
19.75 (error)
TRCSR - Ex3_12_Luc96a_FR
0.69
0.56
0.11
(timeout)
0.02
TRCSR - Ex3_12_Luc96a_GM
(timeout)
0.59
1.65
59.84
59.78 (error)
TRCSR - Ex3_12_Luc96a_Z
0.72
0.50
0.09
(timeout)
0.02
TRCSR - Ex3_2_Luc97_C
(timeout)
0.50
20.36
29.00
59.52 (error)
TRCSR - Ex3_2_Luc97_FR
(timeout)
0.61
4.96
(timeout)
59.51 (error)
TRCSR - Ex3_2_Luc97_GM
(timeout)
0.51
45.38
(timeout)
58.51 (error)
TRCSR - Ex3_2_Luc97_Z
(timeout)
0.51
3.81
(timeout)
58.19 (error)
TRCSR - Ex3_3_25_Bor03_C
(timeout)
0.57
0.01
3.94
1.70
TRCSR - Ex3_3_25_Bor03_FR
(timeout)
0.55
0.04
60.36
59.72 (error)
TRCSR - Ex3_3_25_Bor03_GM
17.40
0.61
0.01
(timeout)
13.30
TRCSR - Ex3_3_25_Bor03_L
0.58
0.47
0.01
0.12
0.01
TRCSR - Ex3_3_25_Bor03_Z
0.61
0.48
0.01
0.01
0.01
TRCSR - Ex4_4_Luc96b_C
0.77
0.54
0.03
3.01
0.06
TRCSR - Ex4_4_Luc96b_FR
52.82
0.49
0.29
10.31
19.14 (error)
TRCSR - Ex4_4_Luc96b_GM
0.80
0.53
0.02
5.95
0.03
TRCSR - Ex4_4_Luc96b_L
0.50
0.51
0.02
0.10
0.01
TRCSR - Ex4_4_Luc96b_Z
0.82
0.51
0.21
0.02
9.13 (error)
TRCSR - Ex4_7_15_Bor03_C
(timeout)
0.19
28.81
(timeout)
6.10 (error)
TRCSR - Ex4_7_15_Bor03_FR
0.81
0.49
0.01
(timeout)
0.04
TRCSR - Ex4_7_15_Bor03_GM
1.06
0.57
0.11
60.01
0.00
TRCSR - Ex4_7_15_Bor03_L
0.49
0.56
0.03
0.03
0.00
TRCSR - Ex4_7_15_Bor03_Z
0.69
0.45
0.03
0.35
0.01
TRCSR - Ex4_7_37_Bor03_C
(timeout)
0.50
21.29
4.45
58.66 (error)
TRCSR - Ex4_7_37_Bor03_FR
1.24
0.51
0.45
(timeout)
6.73
TRCSR - Ex4_7_37_Bor03_GM
(timeout)
0.61
(timeout)
(timeout)
59.77 (error)
TRCSR - Ex4_7_37_Bor03_Z
1.22
0.55
7.24
59.76
0.01
TRCSR - Ex4_7_56_Bor03_C
(timeout)
0.56
2.25
3.19
14.62 (error)
TRCSR - Ex4_7_56_Bor03_FR
0.78
0.54
0.03
(timeout)
0.02
TRCSR - Ex4_7_56_Bor03_GM
(timeout)
0.58
1.20
(timeout)
59.73 (error)
TRCSR - Ex4_7_56_Bor03_Z
0.71
0.58
0.01
60.01
0.00
TRCSR - Ex4_7_77_Bor03_C
1.65
0.56
0.43
28.36
0.17
TRCSR - Ex4_7_77_Bor03_FR
0.57
0.48
0.00
0.35
0.01
TRCSR - Ex4_7_77_Bor03_GM
0.66
0.55
0.03
(timeout)
0.02
TRCSR - Ex4_7_77_Bor03_Z
0.61
0.56
0.02
0.34
0.00
TRCSR - Ex49_GM04_C
(timeout)
0.60
33.91
4.02
59.54 (error)
TRCSR - Ex49_GM04_FR
(timeout)
0.53
(timeout)
(timeout)
59.29 (error)
TRCSR - Ex49_GM04_GM
57.12
0.55
11.10
29.19
11.19
TRCSR - Ex49_GM04_Z
1.35
0.51
0.04
39.59
0.02
TRCSR - Ex4_Zan97_C
(timeout)
0.54
3.91
5.26
59.58 (error)
TRCSR - Ex4_Zan97_FR
0.76
0.58
0.17
5.47
0.01
TRCSR - Ex4_Zan97_GM
(timeout)
0.54
6.53
60.48
59.77 (error)
TRCSR - Ex4_Zan97_Z
0.76
0.55
0.25
1.37
0.02
TRCSR - Ex5_7_Luc97_C
(timeout)
0.56
36.28
36.84
59.75 (error)
TRCSR - Ex5_7_Luc97_FR
(timeout)
0.50
5.09
(timeout)
59.40 (error)
TRCSR - Ex5_7_Luc97_GM
(timeout)
0.60
(timeout)
(timeout)
58.35 (error)
TRCSR - Ex5_7_Luc97_Z
(timeout)
0.45
3.98
(timeout)
58.16 (error)
TRCSR - Ex5_Zan97_C
1.92
0.55
0.73
(timeout)
0.26
TRCSR - Ex5_Zan97_FR
0.65
0.43
0.03
(timeout)
0.01
TRCSR - Ex5_Zan97_GM
0.73
0.49
0.33
60.18
0.23
TRCSR - Ex5_Zan97_Z
0.58
0.57
0.03
7.93
0.01
TRCSR - Ex6_15_AEL02_C
(timeout)
0.56
36.45
21.68
58.71 (error)
TRCSR - Ex6_15_AEL02_FR
(timeout)
0.50
0.93
(timeout)
58.41 (error)
TRCSR - Ex6_15_AEL02_GM
(timeout)
0.59
(timeout)
59.71
59.77 (error)
TRCSR - Ex6_15_AEL02_Z
(timeout)
0.54
2.72
59.65
59.25 (error)
TRCSR - Ex6_9_Luc02c_C
0.84
0.48
0.09
0.01 (error)
7.56
TRCSR - Ex6_9_Luc02c_FR
0.69
0.57
0.02
0.01 (error)
0.02
TRCSR - Ex6_9_Luc02c_GM
(timeout)
0.55
1.09
0.00 (error)
59.77 (error)
TRCSR - Ex6_9_Luc02c_Z
0.62
0.52
0.01
0.01 (error)
0.02
TRCSR - Ex6_GM04_C
0.57
0.51
0.31
25.63
59.75 (error)
TRCSR - Ex6_GM04_GM
0.52
0.48
0.02
1.86
0.01
TRCSR - Ex6_GM04_L
0.53
0.55
0.02
0.01
0.00
TRCSR - Ex6_Luc98_C
7.18
0.48
1.12
13.71
0.17
TRCSR - Ex6_Luc98_FR
1.09
0.50
0.08
(timeout)
0.19
TRCSR - Ex6_Luc98_GM
1.27
0.45
0.05
(timeout)
0.56
TRCSR - Ex6_Luc98_L
0.55
0.51
0.04
0.05
0.00
TRCSR - Ex6_Luc98_Z
0.64
0.56
0.04
59.94
0.03
TRCSR - Ex7_BLR02_C
(timeout)
0.51
17.53
0.00 (error)
59.61 (error)
TRCSR - Ex7_BLR02_FR
1.16
0.59
0.22
0.01 (error)
0.21
TRCSR - Ex7_BLR02_GM
(timeout)
0.46
(timeout)
0.00 (error)
59.69 (error)
TRCSR - Ex7_BLR02_Z
0.87
0.48
0.22
0.01 (error)
0.01
TRCSR - Ex8_BLR02_C
(timeout)
0.50
3.38
5.94
59.63 (error)
TRCSR - Ex8_BLR02_FR
0.91
0.46
0.12
5.92
0.01
TRCSR - Ex8_BLR02_GM
(timeout)
0.57
51.25
0.99
59.66 (error)
TRCSR - Ex8_BLR02_Z
0.78
0.57
0.08
(timeout)
0.01
TRCSR - Ex9_BLR02_C
(timeout)
0.52
18.47
39.26
1.12
TRCSR - Ex9_BLR02_FR
(timeout)
0.51
2.34
60.28
59.72 (error)
TRCSR - Ex9_BLR02_GM
3.68
0.53
0.69
50.47
5.02
TRCSR - Ex9_BLR02_L
0.64
0.53
0.03
0.28
0.00
TRCSR - Ex9_BLR02_Z
0.97
0.46
2.70
60.37
2.23
TRCSR - Ex9_Luc04_C
(timeout)
0.56
0.93
(timeout)
58.98 (error)
TRCSR - ExAppendixB_AEL03_C
(timeout)
0.47
36.36
0.00 (error)
58.61 (error)
TRCSR - ExAppendixB_AEL03_FR
1.21
0.61
12.08
0.01 (error)
0.02
TRCSR - ExAppendixB_AEL03_GM
(timeout)
0.49
(timeout)
0.00 (error)
58.69 (error)
TRCSR - ExAppendixB_AEL03_Z
1.13
0.54
24.10
0.00 (error)
0.03
TRCSR - ExConc_Zan97_C
1.09
0.54
0.04
12.41
0.02
TRCSR - ExConc_Zan97_FR
0.66
0.50
0.03
6.35
0.01
TRCSR - ExConc_Zan97_GM
0.49
0.59
0.00
0.37
0.01
TRCSR - ExConc_Zan97_L
0.47
0.56
0.02
0.02
0.00
TRCSR - ExIntrod_GM01_C
(timeout)
0.46
13.70
13.41
9.03
TRCSR - ExIntrod_GM01_GM
6.17
0.53
11.70
(timeout)
59.14 (error)
TRCSR - ExIntrod_GM04_C
(timeout)
0.46
9.82
51.84
5.17
TRCSR - ExIntrod_GM04_GM
1.28
0.58
0.04
50.88
6.64
TRCSR - ExIntrod_GM99_C
(timeout)
0.44
32.37
55.03
58.90 (error)
TRCSR - ExIntrod_GM99_FR
(timeout)
0.57
(timeout)
54.51
49.19 (error)
TRCSR - ExIntrod_GM99_GM
(timeout)
0.47
(timeout)
17.17
58.14 (error)
TRCSR - ExIntrod_GM99_Z
1.63
0.59
51.53
60.35
43.06 (error)
TRCSR - ExIntrod_Zan97_C
(timeout)
0.51
15.17
1.28
58.64 (error)
TRCSR - ExIntrod_Zan97_FR
(timeout)
0.46
21.23
55.25
51.89 (error)
TRCSR - ExIntrod_Zan97_GM
(timeout)
0.55
(timeout)
3.35
58.19 (error)
TRCSR - ExIntrod_Zan97_Z
0.87
0.49
0.02
0.00
0.01
TRCSR - ExSec11_1_Luc02a_C
(timeout)
0.52
36.01
1.21
27.64
TRCSR - ExSec11_1_Luc02a_FR
1.22
0.49
0.07
1.62
0.14
TRCSR - ExSec11_1_Luc02a_GM
(timeout)
0.56
(timeout)
1.30
2.99
TRCSR - ExSec11_1_Luc02a_L
3.06
0.59
0.10
1.47
0.01
TRCSR - ExSec11_1_Luc02a
3.18
0.55
0.09
0.48
0.04 (error)
TRCSR - ExSec11_1_Luc02a_Z
0.90
0.57
0.08
1.31
0.01
various - 01
0.65
0.54
0.02
0.51
0.00
various - 02
0.55
0.51
0.03
0.06
0.02
various - 03
0.58
0.58
0.04
57.05
0.02
various - 04
(timeout)
0.57
(timeout)
0.89
55.90 (error)
various - 05
(timeout)
0.50
(timeout)
0.53
54.56 (error)
various - 06
0.60
0.56
0.03
0.85
0.01
various - 07
0.58
0.44
0.02
60.49
0.01
various - 08
(timeout)
0.52
(timeout)
0.62
58.71 (error)
various - 09
0.66
0.48
0.02
0.55
0.02
various - 10
1.07
0.43
0.01
59.91
0.04
various - 11
4.65
0.54
0.04
56.35
0.03
various - 12
1.04
0.46
0.07
(timeout)
0.00
various - 13
1.50
0.52
0.09
(timeout)
0.01
various - 14
10.40
0.56
0.12
58.98
0.09
various - 15
0.68
0.50
0.06
0.18
0.01
various - 16
0.58
0.59
0.05
42.46
0.02
various - 17
0.69
0.48
0.06
60.26
0.00
various - 18
0.56
0.54
0.02
59.28
0.00
various - 19
0.73
0.50
0.01
59.00
0.01
various - 20
0.60
0.56
0.07 (error)
15.23
0.06 (error)
various - 21
0.64
0.50
5.77
57.43
0.04
various - 22
0.68
0.46
0.01
53.87
0.01
various - 23
0.49
0.53
0.02
54.43
0.03
various - 24
0.65
0.53
0.04
60.18 (error)
0.01
various - 25
0.59
0.52
0.04
0.05
0.01
various - 26
0.75
0.52
0.02
0.39
0.01
various - 27
0.54
0.57
0.01
0.01
0.01
cariboo - ex6
0.20
0.54
0.01 (error)
0.01
0.01 (error)
cariboo - ex5
0.27
0.60
0.01 (error)
0.68
0.00 (error)
cariboo - ex4
0.27
0.56
0.01 (error)
2.96
0.00 (error)
cariboo - ex3
0.25
0.58
0.01 (error)
0.44
0.01 (error)
cariboo - ex2
0.20
0.62
0.01 (error)
0.49
0.01 (error)
cariboo - ex1
0.23
0.58
0.02 (error)
0.53
0.00 (error)
cariboo - tricky1
(timeout)
0.58
0.07
0.66
0.12 (error)
Standard rewriting category
AProVE
CARIBOO
CiME 2.02
Matchbox
TTT
YES score
410
6
297
96
397
NO score
22
0
1
21
12
Theory category
AProVE
CARIBOO
CiME 2.02
Matchbox
TTT
YES score
54
0
46
0
0
NO score
1
0
1
1
0
Innermost category
AProVE
CARIBOO
CiME 2.02
Matchbox
TTT
YES score
55
35
13
7
43
NO score
2
0
0
0
0
Context-sensitive category
AProVE
CARIBOO
CiME 2.02
Matchbox
TTT
YES score
32
0
1
0
1
NO score
0
0
0
0
0
Conditional category
AProVE
CARIBOO
CiME 2.02
Matchbox
TTT
YES score
5
0
0
0
0
NO score
0
0
0
0
0
This script has been written in the
Objective CAML
language using the
CGI Library