Termination competition 2005 - TRS category
Short legend (
help page
for more):
Tool id
Problem id
NO, it is NOT terminating
Category unsupported
Problem id
I don't know
Problem id
YES, it is terminating
Times for giving answers are in seconds
sub-category: Standard Rewriting
AProVE 1.2pre
CiME 2.02
Matchbox
TEPARLA
TPA
TTT
TRS/AG01 - #3.10
2.62
32.35
(timeout)
24.79
(timeout)
0.40
TRS/AG01 - #3.11
1.96
36.10
(timeout)
57.75
(timeout)
0.51
TRS/AG01 - #3.12
0.86
0.01
(timeout)
0.02
0.07
0.01
TRS/AG01 - #3.13
1.92
(timeout)
(timeout)
24.88
(timeout)
0.58
TRS/AG01 - #3.14
0.72
0.01
(timeout)
0.01
0.02
0.01
TRS/AG01 - #3.15
0.73
0.05
(timeout)
0.02
0.03
0.00
TRS/AG01 - #3.16
0.74
0.03
(timeout)
0.01
0.01
0.02
TRS/AG01 - #3.17a
1.57
1.69
(timeout)
51.99
0.46
0.03
TRS/AG01 - #3.17
1.14
0.36
(timeout)
52.04
0.44
0.04
TRS/AG01 - #3.18
0.97
0.67
(timeout)
8.57
(timeout)
0.02
TRS/AG01 - #3.19
1.12
3.13
(timeout)
9.43
(timeout)
0.02
TRS/AG01 - #3.1
0.79
0.02
(timeout)
24.04
0.19
0.01
TRS/AG01 - #3.21
0.90
0.05
(timeout)
0.12
0.02
0.02
TRS/AG01 - #3.22
0.94
0.17
(timeout)
0.13
0.23
0.02
TRS/AG01 - #3.23
0.62
0.01
(timeout)
0.04
0.11
0.01
TRS/AG01 - #3.24
0.69
0.02
0.19
0.02
0.02
0.02
TRS/AG01 - #3.26
0.86
0.03
46.90
0.01
0.02
0.02
TRS/AG01 - #3.29
0.63
0.03
(timeout)
0.02
0.11
0.02
TRS/AG01 - #3.2
0.80
0.02
(timeout)
3.41
0.22
0.01
TRS/AG01 - #3.31
0.81
0.02
0.75
0.02
0.01
0.01
TRS/AG01 - #3.33
0.70
0.01
0.04
0.32
0.10
0.02
TRS/AG01 - #3.35
0.67
0.02
0.83
0.02
0.11
0.01
TRS/AG01 - #3.36
1.00
0.06
(timeout)
0.00
0.14
0.02
TRS/AG01 - #3.37
0.79
1.36
2.08
0.03
0.12
0.00
TRS/AG01 - #3.38
0.99
0.02
(timeout)
54.25
1.94
0.15
TRS/AG01 - #3.39
1.03
24.19
(timeout)
23.30
(timeout)
0.03
TRS/AG01 - #3.40
1.16
(timeout)
(timeout)
(timeout)
(timeout)
2.60
TRS/AG01 - #3.41
0.81
0.35
19.94
0.04
0.03
0.02
TRS/AG01 - #3.42
1.14
12.35
(timeout)
0.11
0.06
0.01
TRS/AG01 - #3.47
0.76
0.02
2.81
0.02
0.14
0.01
TRS/AG01 - #3.48
0.80
0.02
(timeout)
0.50
2.43
0.08
TRS/AG01 - #3.49
0.71
12.40
(timeout)
56.26
0.31
0.02
TRS/AG01 - #3.4
0.92
0.03
(timeout)
13.44
0.59
0.00
TRS/AG01 - #3.51
0.75
0.01
3.06
0.02
0.11
0.05
TRS/AG01 - #3.52
0.62
0.00
11.11
(timeout)
(timeout)
0.02
TRS/AG01 - #3.53a
0.68
0.02
(timeout)
0.01
0.08
0.01
TRS/AG01 - #3.53b
0.69
0.01
(timeout)
10.05
(timeout)
0.02
TRS/AG01 - #3.53
1.62
0.03
(timeout)
(timeout)
0.41
0.07
TRS/AG01 - #3.54
0.81
0.02
(timeout)
11.91
0.16
0.03
TRS/AG01 - #3.55
2.23
36.10
(timeout)
56.75
(timeout)
0.60
TRS/AG01 - #3.56
0.77
0.02
8.25
56.16
0.30
0.01
TRS/AG01 - #3.57
1.50
0.34
(timeout)
55.63
3.36
0.04
TRS/AG01 - #3.5a
1.07
36.08
(timeout)
10.19
(timeout)
0.02
TRS/AG01 - #3.5b
1.31
36.09
(timeout)
(timeout)
(timeout)
0.04
TRS/AG01 - #3.5
1.05
36.06
(timeout)
(timeout)
(timeout)
0.03
TRS/AG01 - #3.6a
1.12
0.05
(timeout)
43.79
(timeout)
0.03
TRS/AG01 - #3.6b
1.44
48.13
(timeout)
29.16
(timeout)
0.05
TRS/AG01 - #3.6
1.13
0.06
(timeout)
10.18
(timeout)
0.04
TRS/AG01 - #3.7
0.85
0.02
8.67
0.01
0.02
0.02
TRS/AG01 - #3.8a
1.21
0.03
(timeout)
6.15
0.70
0.02
TRS/AG01 - #3.8b
1.24
0.13
(timeout)
(timeout)
(timeout)
0.02
TRS/AProVE - AAECC-ring
(timeout)
(timeout)
(timeout)
(timeout)
(timeout)
5.53
TRS/AProVE - AAECC
14.50
(timeout)
(timeout)
(timeout)
(timeout)
59.17
TRS/AProVE - fac
3.67
0.20
(timeout)
13.34
0.69
0.02
TRS/AProVE - forward_instantiation2
0.85
0.05
(timeout)
0.49
27.30
0.16
TRS/AProVE - forward_instantiation
0.70
0.03
(timeout)
0.71
18.57
0.14
TRS/AProVE - IJCAR_12
1.44
30.09
(timeout)
29.42
(timeout)
0.02
TRS/AProVE - IJCAR_18
1.99
30.08
(timeout)
(timeout)
(timeout)
0.03
TRS/AProVE - IJCAR_1
0.84
19.64
20.23
4.98
(timeout)
0.02
TRS/AProVE - IJCAR_26a
2.25
0.21
(timeout)
41.75
(timeout)
0.03
TRS/AProVE - IJCAR_26
2.32
0.22
(timeout)
(timeout)
(timeout)
0.04
TRS/AProVE - improved_usable2
0.68
0.06
0.16
0.02
0.11
0.01
TRS/AProVE - improved_usable
5.02
0.56
1.64
0.01
0.14
2.54
TRS/AProVE - JFP_Ex17
0.91
0.05
(timeout)
0.04
0.04
0.08
TRS/AProVE - JFP_Ex31
54.03
19.69
(timeout)
40.34
(timeout)
13.67
TRS/AProVE - JFP_Ex51
9.05
4.82
(timeout)
18.25
(timeout)
6.45
TRS/AProVE - Liveness6.1
5.79
0.35
(timeout)
0.05
0.74
5.16
TRS/AProVE - Liveness6.2
0.96
2.33
(timeout)
0.03
1.22
6.02
TRS/AProVE - Liveness6.3
16.16
5.04
(timeout)
0.22
1.64
8.23
TRS/AProVE - Liveness6.4
51.97
(timeout)
(timeout)
55.31
(timeout)
14.13
TRS/AProVE - Liveness8
2.43
20.76
(timeout)
49.43
18.76
0.39
TRS/AProVE - Liveness_WRS
2.76
17.92
(timeout)
0.25
5.32
11.69
TRS/AProVE - LPAR_intlist
0.92
0.04
(timeout)
59.34
3.71
0.00
TRS/AProVE - rta1
1.04
0.36
(timeout)
28.25
(timeout)
0.03
TRS/AProVE - rta2
0.57
0.00
7.01
0.01
0.09
0.11
TRS/AProVE - rta3
0.95
0.24
(timeout)
3.10
(timeout)
4.82
TRS/Cime - ack_prolog
0.76
1.02
(timeout)
48.11
2.34
0.02
TRS/Cime - append-hard
5.41
12.09
(timeout)
10.87
(timeout)
10.01
TRS/Cime - append
0.86
0.01
(timeout)
9.45
1.45
0.02
TRS/Cime - append-wrong
1.25
12.17
43.95
10.87
(timeout)
10.26
TRS/Cime - big
4.25
0.43
(timeout)
(timeout)
(timeout)
0.78
TRS/Cime - boolean_rings
0.92
0.02
(timeout)
0.01
0.02
0.03
TRS/Cime - dpqs
0.70
0.02
0.87
0.03
0.12
0.01
TRS/Cime - fact-hard
5.92
15.10
(timeout)
25.48
(timeout)
10.26
TRS/Cime - filliatre2
5.47
9.67
(timeout)
(timeout)
(timeout)
1.05
TRS/Cime - filliatre3
3.99
9.58
(timeout)
(timeout)
(timeout)
1.09
TRS/Cime - filliatre
1.76
0.04
(timeout)
(timeout)
15.63
3.30
TRS/Cime - intersect
1.53
0.16
(timeout)
18.43
(timeout)
0.07
TRS/Cime - list-sum-prod-assoc-append
1.21
0.08
(timeout)
0.00
0.02
0.01
TRS/Cime - list-sum-prod-assoc
0.99
0.08
(timeout)
0.00
0.02
0.01
TRS/Cime - list-sum-prod-bin-assoc-distr-app
1.73
0.20
(timeout)
19.69
(timeout)
0.06
TRS/Cime - list-sum-prod-bin-assoc
1.50
0.18
(timeout)
20.49
(timeout)
0.06
TRS/Cime - list-sum-prod-bin
1.19
0.09
(timeout)
19.04
(timeout)
0.02
TRS/Cime - list-sum-prod
1.29
0.05
(timeout)
0.00
0.00
0.01
TRS/Cime - log2
7.29
0.17
(timeout)
12.77
(timeout)
0.06
TRS/Cime - lse
1.61
0.23
(timeout)
21.21
(timeout)
0.06
TRS/Cime - maude2
55.01
35.51
(timeout)
19.68
(timeout)
24.08
TRS/Cime - mucrl1
13.37
0.56
(timeout)
(timeout)
(timeout)
4.57
TRS/Cime - quick
1.38
0.42
(timeout)
(timeout)
(timeout)
3.05
TRS/Cime - ternary-hard
1.72
20.67
(timeout)
21.48
(timeout)
0.08
TRS/Cime - ternary
1.87
1.25
(timeout)
28.41
0.79
0.07
TRS/Cime - tree
3.41
0.17
(timeout)
15.71
0.43
1.13
TRS/D33 - 01
0.69
0.00
0.05
0.01
0.00
0.01
TRS/D33 - 02
0.70
0.03
0.06
0.00
0.02
0.01
TRS/D33 - 03
0.66
0.01
0.17
0.02
0.02
0.01
TRS/D33 - 04
0.80
0.01
(timeout)
0.03
0.01
0.01
TRS/D33 - 06
0.62
0.00
0.35
0.01
0.01
0.02
TRS/D33 - 07
0.84
0.01
(timeout)
0.00
0.03
0.02
TRS/D33 - 08
0.85
0.03
(timeout)
0.00
0.01
0.01
TRS/D33 - 09
0.60
0.02
6.57
0.02
0.01
0.00
TRS/D33 - 11
1.16
0.02
(timeout)
0.01
0.02
0.01
TRS/D33 - 12
0.79
0.20
(timeout)
37.35
(timeout)
0.02
TRS/D33 - 13
5.47
0.07
10.49
0.00
0.04
2.46
TRS/D33 - 17
0.63
0.02
(timeout)
0.01
0.03
0.01
TRS/D33 - 18
0.63
0.01
(timeout)
0.01
0.01
0.02
TRS/D33 - 20
1.28
0.02
(timeout)
0.03
0.13
0.03
TRS/D33 - 21
1.01
0.08
(timeout)
10.18
(timeout)
0.02
TRS/D33 - 27
0.64
0.02
0.67
0.02
0.02
0.01
TRS/D33 - 28
0.66
0.12
19.57
0.00
0.02
0.01
TRS/D33 - 30
0.92
0.01
(timeout)
0.03
0.02
0.01
TRS/D33 - 31
0.73
0.01
(timeout)
22.51
0.16
0.01
TRS/D33 - 32
1.04
6.35
(timeout)
(timeout)
(timeout)
0.03
TRS/D33 - 33
(timeout)
0.32
38.32
(timeout)
(timeout)
7.25
TRS/HM - n002
0.76
0.02
0.00
0.00
0.03
0.01
TRS/HM - n003
0.77
0.01
0.00
0.01
0.02
0.00
TRS/HM - n004
0.80
0.03
0.02
0.01
0.03
0.00
TRS/HM - n005
0.93
0.02
0.02
0.01
0.03
0.01
TRS/HM - n006
0.85
0.00
0.02
0.05
0.02
0.02
TRS/HM - n007
0.73
0.03
0.02
1.72
0.77
0.02
TRS/HM - n008
0.76
0.02
0.02
0.01
0.03
0.01
TRS/HM - t000
1.19
0.10
(timeout)
0.01
0.09
0.40
TRS/HM - t001
5.43
27.83
(timeout)
12.93
(timeout)
0.17
TRS/HM - t002
1.03
12.05
(timeout)
10.54
(timeout)
0.03
TRS/HM - t003
1.35
0.00
(timeout)
15.90
(timeout)
0.08
TRS/HM - t004
1.40
0.06
10.62
2.04
0.03
0.02
TRS/HM - t005
13.44
0.58
(timeout)
29.09
5.08
3.89
TRS/HM - t006
0.65
0.02
(timeout)
0.02
0.00
0.00
TRS/HM - t007
0.77
0.01
2.97
0.02
0.01
0.02
TRS/HM - t008
1.36
0.09
(timeout)
2.43
5.03
0.00
TRS/HM - t009
(timeout)
(timeout)
(timeout)
(timeout)
(timeout)
(timeout)
TRS/HM - t010
0.79
0.02
1.45
0.00
0.05
0.01
TRS/HM - t011
0.64
0.03
(timeout)
14.34
0.30
0.01
TRS/HM - t012
1.43
0.05
(timeout)
34.67
0.17
0.03
TRS/HM - t013
1.00
0.04
(timeout)
0.01
0.22
0.02
TRS/HM - t014
1.06
0.05
(timeout)
10.59
3.74
0.02
TRS/HofWald - 1
0.74
0.32
0.06
0.11
0.30
0.04
TRS/HofWald - 2
0.78
2.32
14.41
11.12
1.52
0.02
TRS/HofWald - 3
0.55
0.25
0.90
0.28
(timeout)
3.24
TRS/HofWald - 4
1.28
0.18
0.61
0.15
1.03
1.38
TRS/HofWald - 5
0.68
0.06
0.76
0.06
0.11
3.13
TRS/HofWald - 6
2.08
0.08
24.76
14.20
(timeout)
1.02
TRS/HofWald - 7
(timeout)
0.35
(timeout)
20.08
(timeout)
1.43
TRS/LJB01 - jones1
0.65
0.02
3.60
0.01
0.02
0.00
TRS/LJB01 - jones2
0.71
0.67
(timeout)
0.09
(timeout)
0.02
TRS/LJB01 - jones4
0.62
0.03
2.42
0.01
0.00
0.01
TRS/LJB01 - jones5
0.64
0.02
(timeout)
0.00
0.13
0.02
TRS/LJB01 - jones6
0.78
0.01
19.95
0.02
0.02
0.03
TRS/Rubio - ackclaude
0.83
1.04
(timeout)
47.77
2.57
0.03
TRS/Rubio - aoto
0.80
0.03
(timeout)
0.01
0.03
0.02
TRS/Rubio - bintrees
0.68
0.02
(timeout)
0.02
0.02
0.00
TRS/Rubio - bn122
0.63
0.02
16.48
0.01
0.10
0.01
TRS/Rubio - bn129
0.84
0.14
(timeout)
56.14
0.03
0.00
TRS/Rubio - division
1.00
0.10
(timeout)
(timeout)
12.61
0.02
TRS/Rubio - elimdupl
1.08
0.28
(timeout)
59.29
48.14
0.04
TRS/Rubio - enno
1.39
0.02
(timeout)
(timeout)
(timeout)
2.27
TRS/Rubio - gcd
1.42
0.04
(timeout)
10.13
(timeout)
0.03
TRS/Rubio - gmnp
0.71
0.01
4.73
0.01
0.07
0.02
TRS/Rubio - gm
0.85
0.02
(timeout)
5.09
0.20
0.02
TRS/Rubio - koen
0.57
0.02
43.47
0.02
0.02
0.03
TRS/Rubio - lescanne
0.61
0.01
(timeout)
0.03
0.02
0.02
TRS/Rubio - lindau
0.68
0.10
0.34
0.05
0.13
0.02
TRS/Rubio - logarquot
1.17
0.03
(timeout)
15.89
0.49
0.02
TRS/Rubio - ma96
3.09
0.10
(timeout)
(timeout)
(timeout)
1.49
TRS/Rubio - mfp90b
0.63
0.03
0.09
0.00
0.02
0.00
TRS/Rubio - mfp95
0.61
0.02
0.12
0.02
0.02
0.01
TRS/Rubio - nestrec
1.04
0.03
26.63
0.11
0.02
0.02
TRS/Rubio - p266
0.62
0.01
1.33
0.02
0.05
0.01
TRS/Rubio - polo2
1.14
(timeout)
(timeout)
0.01
0.01
0.02
TRS/Rubio - prov
0.73
0.04
(timeout)
0.04
0.14
0.00
TRS/Rubio - quick
1.43
36.10
(timeout)
58.62
(timeout)
0.53
TRS/Rubio - quotminus
0.88
0.03
(timeout)
16.89
0.53
0.01
TRS/Rubio - revlist
0.96
0.05
(timeout)
59.93
1.45
0.07
TRS/Rubio - selsort
2.43
2.30
(timeout)
(timeout)
(timeout)
0.28
TRS/Rubio - test4
0.78
9.84
0.67
0.03
0.05
0.02
TRS/Rubio - test829
0.67
0.01
2.05
0.01
0.02
0.01
TRS/Rubio - wst99
2.37
0.09
(timeout)
3.23
(timeout)
0.12
TRS/SK90 - 2.01
0.63
0.04
(timeout)
0.01
0.00
0.01
TRS/SK90 - 2.02
0.62
0.07
(timeout)
0.01
0.01
0.03
TRS/SK90 - 2.03
0.62
0.02
12.55
0.01
0.02
0.01
TRS/SK90 - 2.04
0.65
0.02
5.73
0.01
0.00
0.02
TRS/SK90 - 2.05
1.04
0.48
2.52
40.27
(timeout)
2.76
TRS/SK90 - 2.06
0.72
0.02
44.29
0.01
0.02
0.03
TRS/SK90 - 2.07
0.74
0.07
(timeout)
0.00
0.02
0.01
TRS/SK90 - 2.08
0.90
0.02
45.48
0.02
0.02
0.01
TRS/SK90 - 2.09
0.64
0.02
2.84
0.01
0.02
0.01
TRS/SK90 - 2.10
0.72
0.01
(timeout)
0.01
0.03
0.01
TRS/SK90 - 2.11
0.72
0.01
0.48
0.02
0.02
0.02
TRS/SK90 - 2.12
0.87
0.06
(timeout)
0.01
0.02
0.00
TRS/SK90 - 2.13
0.76
0.03
(timeout)
0.02
0.00
0.01
TRS/SK90 - 2.14
0.87
0.02
4.21
0.01
0.00
0.01
TRS/SK90 - 2.15
0.80
0.04
0.13
0.01
0.01
0.02
TRS/SK90 - 2.16
0.90
0.12
(timeout)
0.00
0.02
0.03
TRS/SK90 - 2.17
0.71
0.00
3.95
0.01
0.02
0.03
TRS/SK90 - 2.18
0.89
0.06
(timeout)
0.00
0.01
0.01
TRS/SK90 - 2.19
0.83
0.13
54.97
0.01
0.01
0.02
TRS/SK90 - 2.20
0.85
0.03
0.14
0.01
0.01
0.01
TRS/SK90 - 2.21
0.74
0.02
34.75
0.01
0.01
0.01
TRS/SK90 - 2.22
0.93
0.02
(timeout)
0.01
0.02
0.00
TRS/SK90 - 2.23
0.80
0.06
(timeout)
0.01
0.02
0.01
TRS/SK90 - 2.24
0.68
0.03
2.79
0.02
0.02
0.00
TRS/SK90 - 2.25
0.79
0.07
(timeout)
0.00
0.02
0.01
TRS/SK90 - 2.26
1.01
0.32
(timeout)
0.01
0.01
0.01
TRS/SK90 - 2.27
1.94
0.02
(timeout)
0.02
0.01
0.02
TRS/SK90 - 2.28
0.56
0.03
(timeout)
0.01
0.02
0.01
TRS/SK90 - 2.29
0.84
0.02
(timeout)
0.01
0.02
0.02
TRS/SK90 - 2.30
0.68
0.01
5.28
0.01
0.02
0.02
TRS/SK90 - 2.31
0.71
0.01
11.19
0.00
0.03
0.00
TRS/SK90 - 2.32
0.75
0.02
(timeout)
0.00
0.01
0.01
TRS/SK90 - 2.33
0.69
0.02
(timeout)
0.01
0.03
0.01
TRS/SK90 - 2.34
0.78
0.03
(timeout)
0.01
0.02
0.00
TRS/SK90 - 2.35
0.66
0.02
(timeout)
0.01
0.07
0.02
TRS/SK90 - 2.36
0.63
0.03
(timeout)
0.02
0.02
0.01
TRS/SK90 - 2.37
0.69
0.01
3.26
0.01
0.01
0.01
TRS/SK90 - 2.38
0.71
0.02
13.47
0.01
0.00
0.01
TRS/SK90 - 2.39
0.72
0.02
(timeout)
0.00
0.02
0.02
TRS/SK90 - 2.40
0.73
0.03
(timeout)
0.02
0.02
0.01
TRS/SK90 - 2.41
0.67
0.02
8.17
0.01
0.01
0.02
TRS/SK90 - 2.42
0.76
0.04
(timeout)
0.02
0.04
0.01
TRS/SK90 - 2.43
0.95
0.02
(timeout)
0.01
0.02
0.00
TRS/SK90 - 2.44
1.18
0.01
(timeout)
(timeout)
33.15
0.01
TRS/SK90 - 2.45
0.50
0.02
(timeout)
0.01
0.02
0.03
TRS/SK90 - 2.46
0.80
0.00
54.51
0.01
0.02
0.00
TRS/SK90 - 2.47
0.73
0.02
0.98
0.01
0.02
0.00
TRS/SK90 - 2.48
0.68
0.00
0.06
0.00
0.02
0.02
TRS/SK90 - 2.49
0.80
0.05
1.96
0.01
0.02
0.06
TRS/SK90 - 2.50
0.72
0.01
0.30
0.02
0.00
0.00
TRS/SK90 - 2.51
0.83
0.14
(timeout)
0.02
0.01
0.01
TRS/SK90 - 2.52
1.10
3.14
(timeout)
46.68
1.09
0.00
TRS/SK90 - 2.53
0.67
0.01
0.90
0.01
0.02
0.01
TRS/SK90 - 2.54
0.64
0.02
0.45
0.01
0.01
0.01
TRS/SK90 - 2.55
0.60
0.01
1.07
0.02
0.02
0.01
TRS/SK90 - 2.56
0.67
0.03
0.19
0.01
0.03
0.01
TRS/SK90 - 2.57
0.64
0.01
0.31
0.00
0.00
0.01
TRS/SK90 - 2.58
0.70
0.00
(timeout)
0.01
0.08
0.01
TRS/SK90 - 2.59
0.66
0.00
(timeout)
0.02
0.02
0.03
TRS/SK90 - 2.60
0.74
0.03
0.01
0.00
0.02
0.00
TRS/SK90 - 2.61
0.72
0.01
(timeout)
0.00
0.01
0.02
TRS/SK90 - 4.01
0.71
0.02
2.02
0.00
0.01
0.01
TRS/SK90 - 4.02
6.31
0.30
(timeout)
0.01
0.00
0.18
TRS/SK90 - 4.03
0.87
0.05
(timeout)
0.00
0.02
0.01
TRS/SK90 - 4.04
0.67
0.01
7.16
0.02
0.02
0.00
TRS/SK90 - 4.05
0.65
0.03
(timeout)
0.02
0.01
0.02
TRS/SK90 - 4.06
0.85
0.12
0.03
17.05
(timeout)
6.08
TRS/SK90 - 4.07
0.65
0.02
8.98
0.01
0.02
0.01
TRS/SK90 - 4.08
0.66
0.01
7.95
0.01
0.02
0.01
TRS/SK90 - 4.09
0.74
0.04
(timeout)
0.01
0.02
0.02
TRS/SK90 - 4.10
0.83
0.03
(timeout)
0.00
0.02
0.02
TRS/SK90 - 4.11
0.68
0.01
1.04
0.00
0.01
0.01
TRS/SK90 - 4.12
0.69
0.03
(timeout)
0.02
0.03
0.01
TRS/SK90 - 4.13
0.96
12.05
(timeout)
48.65
0.02
0.02
TRS/SK90 - 4.14
0.89
0.05
(timeout)
0.00
0.03
0.01
TRS/SK90 - 4.15
0.65
0.01
1.41
0.01
0.02
0.02
TRS/SK90 - 4.16
0.74
0.03
20.21
0.01
0.02
0.01
TRS/SK90 - 4.17
3.50
1.46
13.77
10.21
0.95
0.02
TRS/SK90 - 4.18
0.66
0.01
0.16
2.49
0.02
0.01
TRS/SK90 - 4.19
0.61
0.03
(timeout)
0.00
0.02
0.02
TRS/SK90 - 4.20
0.83
0.01
(timeout)
0.01
0.02
0.03
TRS/SK90 - 4.21
0.80
0.04
(timeout)
0.01
0.01
0.01
TRS/SK90 - 4.22
0.76
0.13
(timeout)
0.01
0.02
0.00
TRS/SK90 - 4.23
0.81
0.13
(timeout)
0.01
0.03
0.02
TRS/SK90 - 4.24
16.27
0.23
(timeout)
10.65
(timeout)
5.88
TRS/SK90 - 4.25
0.68
0.01
10.77
0.03
0.01
0.01
TRS/SK90 - 4.26
0.73
0.03
(timeout)
0.02
0.03
0.01
TRS/SK90 - 4.27
1.02
0.01
33.77
58.19
2.78
0.00
TRS/SK90 - 4.28
0.98
0.01
(timeout)
0.00
0.02
0.03
TRS/SK90 - 4.29
0.74
0.02
0.84
0.00
0.01
0.02
TRS/SK90 - 4.30
0.86
0.02
(timeout)
4.11
0.38
0.03
TRS/SK90 - 4.31
0.79
0.02
(timeout)
24.56
0.12
0.00
TRS/SK90 - 4.32
1.80
0.41
(timeout)
2.44
5.80
0.03
TRS/SK90 - 4.33
0.71
0.03
0.21
0.01
0.01
0.02
TRS/SK90 - 4.34
0.96
0.04
0.01
27.57
(timeout)
0.04
TRS/SK90 - 4.35
0.64
0.03
0.03
0.01
0.01
0.00
TRS/SK90 - 4.36
0.65
0.02
0.19
0.01
0.02
0.04
TRS/SK90 - 4.37
0.69
0.02
0.22
0.01
0.02
0.00
TRS/SK90 - 4.38
0.73
0.01
(timeout)
0.00
0.01
0.00
TRS/SK90 - 4.39
0.59
0.03
8.98
0.01
0.01
0.00
TRS/SK90 - 4.40
1.20
0.15
0.05
4.16
(timeout)
0.08
TRS/SK90 - 4.41
0.72
0.01
0.33
0.01
0.02
0.02
TRS/SK90 - 4.42
0.87
2.78
(timeout)
41.74
(timeout)
0.02
TRS/SK90 - 4.43
0.73
0.02
(timeout)
0.03
0.02
0.02
TRS/SK90 - 4.44
0.66
0.02
0.12
0.01
0.04
0.02
TRS/SK90 - 4.45
0.65
0.02
0.26
0.00
0.02
0.01
TRS/SK90 - 4.46
0.62
0.01
0.01
0.01
0.02
0.02
TRS/SK90 - 4.47
5.55
0.00
(timeout)
0.07
0.01
0.99
TRS/SK90 - 4.48
0.66
0.02
42.74
0.01
0.01
0.02
TRS/SK90 - 4.49
0.84
0.19
0.00
4.40
0.63
0.01
TRS/SK90 - 4.50
0.46
0.02
8.49
0.01
0.03
0.03
TRS/SK90 - 4.51
0.67
0.04
0.69
0.01
0.03
0.50
TRS/SK90 - 4.52
0.75
0.06
(timeout)
0.00
0.00
0.00
TRS/SK90 - 4.53
0.73
0.16
(timeout)
0.00
0.02
0.03
TRS/SK90 - 4.54
0.99
0.69
0.04
20.34
(timeout)
2.23
TRS/SK90 - 4.55
0.73
0.00
2.62
0.00
0.04
0.00
TRS/SK90 - 4.56
0.70
0.01
0.03
0.02
0.01
0.02
TRS/SK90 - 4.57
0.74
0.01
(timeout)
1.13
0.20
0.01
TRS/SK90 - 4.58
50.52
0.32
39.40
(timeout)
(timeout)
7.20
TRS/SK90 - 4.59
1.08
0.00
(timeout)
19.39
0.18
0.01
TRS/SK90 - 4.60
1.11
0.02
(timeout)
15.86
34.70
0.05
TRS/SK90 - 4.61
1.35
0.02
(timeout)
9.66
(timeout)
0.84
TRS/Ste92 - hydra
0.71
0.02
(timeout)
28.37
0.39
0.02
TRS/Ste92 - minsort
(timeout)
13.80
(timeout)
17.99
(timeout)
10.58
TRS/Ste92 - motivation
0.74
0.06
(timeout)
0.00
0.05
0.02
TRS/Ste92 - perfect2
1.18
15.17
(timeout)
15.54
(timeout)
0.09
TRS/Ste92 - perfect
0.94
0.02
(timeout)
10.77
0.02
0.04
TRS/TRCSR - Ex1_2_AEL03_C
(timeout)
36.22
(timeout)
(timeout)
(timeout)
58.68
TRS/TRCSR - Ex1_2_AEL03_FR
1.49
0.07
(timeout)
17.50
(timeout)
0.03
TRS/TRCSR - Ex1_2_AEL03_GM
(timeout)
(timeout)
(timeout)
(timeout)
(timeout)
(timeout)
TRS/TRCSR - Ex1_2_AEL03_Z
1.35
0.06
(timeout)
9.08
(timeout)
0.04
TRS/TRCSR - Ex1_2_Luc02c_C
0.96
0.04
(timeout)
0.03
0.13
0.45
TRS/TRCSR - Ex1_2_Luc02c_FR
1.02
0.02
(timeout)
0.01
0.01
0.01
TRS/TRCSR - Ex1_2_Luc02c_GM
(timeout)
0.32
(timeout)
4.42
(timeout)
5.38
TRS/TRCSR - Ex1_2_Luc02c_Z
0.78
0.01
(timeout)
0.01
0.00
0.00
TRS/TRCSR - Ex14_AEGL02_C
(timeout)
8.08
(timeout)
(timeout)
(timeout)
15.53
TRS/TRCSR - Ex14_AEGL02_FR
1.86
0.71
(timeout)
18.67
(timeout)
5.67
TRS/TRCSR - Ex14_AEGL02_GM
1.33
0.07
(timeout)
22.80
(timeout)
2.57
TRS/TRCSR - Ex14_AEGL02_Z
1.60
0.56
(timeout)
0.58
(timeout)
5.10
TRS/TRCSR - Ex15_Luc98_C
4.61
21.53
(timeout)
(timeout)
(timeout)
15.16
TRS/TRCSR - Ex15_Luc98_FR
(timeout)
(timeout)
(timeout)
8.11
(timeout)
20.92
TRS/TRCSR - Ex15_Luc98_GM
1.06
0.03
(timeout)
(timeout)
(timeout)
0.04
TRS/TRCSR - Ex15_Luc98_Z
1.26
(timeout)
(timeout)
8.25
(timeout)
0.02
TRS/TRCSR - Ex1_GL02a_C
(timeout)
(timeout)
(timeout)
(timeout)
(timeout)
(timeout)
TRS/TRCSR - Ex1_GL02a_FR
(timeout)
28.35
(timeout)
33.33
(timeout)
51.28
TRS/TRCSR - Ex1_GL02a_GM
1.17
0.02
(timeout)
0.01
0.01
0.02
TRS/TRCSR - Ex1_GL02a_Z
(timeout)
24.07
(timeout)
21.70
(timeout)
19.08
TRS/TRCSR - Ex1_GM03_C
(timeout)
19.34
(timeout)
(timeout)
(timeout)
(timeout)
TRS/TRCSR - Ex1_GM03_FR
(timeout)
(timeout)
(timeout)
6.52
(timeout)
10.47
TRS/TRCSR - Ex1_GM03_GM
(timeout)
(timeout)
(timeout)
8.35
(timeout)
23.97
TRS/TRCSR - Ex1_GM03_Z
1.17
0.04
0.00
5.52
(timeout)
0.01
TRS/TRCSR - Ex1_Luc02b_C
(timeout)
19.41
(timeout)
(timeout)
(timeout)
13.71
TRS/TRCSR - Ex1_Luc02b_FR
1.28
5.08
(timeout)
4.95
(timeout)
1.49
TRS/TRCSR - Ex1_Luc02b_GM
(timeout)
(timeout)
(timeout)
5.24
(timeout)
12.26
TRS/TRCSR - Ex1_Luc02b_Z
1.06
12.06
(timeout)
4.25
11.62
0.00
TRS/TRCSR - Ex1_Zan97_C
8.68
3.84
29.86
0.27
3.50
11.76
TRS/TRCSR - Ex1_Zan97_GM
0.82
0.02
2.75
0.00
0.01
0.02
TRS/TRCSR - Ex24_GM04_C
54.05
16.68
(timeout)
(timeout)
(timeout)
6.01
TRS/TRCSR - Ex26_Luc03b_C
(timeout)
9.53
(timeout)
(timeout)
(timeout)
(timeout)
TRS/TRCSR - Ex26_Luc03b_FR
(timeout)
(timeout)
(timeout)
8.29
(timeout)
(timeout)
TRS/TRCSR - Ex26_Luc03b_GM
2.95
0.06
(timeout)
7.96
(timeout)
(timeout)
TRS/TRCSR - Ex26_Luc03b_L
0.79
0.04
0.28
0.00
0.00
0.01
TRS/TRCSR - Ex26_Luc03b_Z
(timeout)
(timeout)
(timeout)
7.87
(timeout)
(timeout)
TRS/TRCSR - Ex2_Luc02a_C
(timeout)
(timeout)
(timeout)
(timeout)
(timeout)
(timeout)
TRS/TRCSR - Ex2_Luc02a_FR
1.55
0.05
(timeout)
(timeout)
(timeout)
1.83
TRS/TRCSR - Ex2_Luc02a_L
1.47
0.06
(timeout)
0.00
0.01
0.01
TRS/TRCSR - Ex2_Luc02a_Z
1.13
0.06
(timeout)
(timeout)
(timeout)
0.02
TRS/TRCSR - Ex2_Luc03b_C
4.30
6.50
(timeout)
(timeout)
(timeout)
20.96
TRS/TRCSR - Ex2_Luc03b_FR
1.54
0.02
(timeout)
7.06
(timeout)
5.57
TRS/TRCSR - Ex2_Luc03b_GM
1.98
0.08
(timeout)
9.08
(timeout)
8.63
TRS/TRCSR - Ex2_Luc03b_L
0.77
0.03
0.03
0.01
0.02
0.01
TRS/TRCSR - Ex2_Luc03b_Z
0.87
0.04
(timeout)
8.82
(timeout)
0.03
TRS/TRCSR - Ex3_12_Luc96a_C
(timeout)
7.28
(timeout)
(timeout)
(timeout)
8.58
TRS/TRCSR - Ex3_12_Luc96a_FR
0.88
0.36
(timeout)
1.64
0.01
0.01
TRS/TRCSR - Ex3_12_Luc96a_GM
(timeout)
3.30
(timeout)
8.59
(timeout)
6.20
TRS/TRCSR - Ex3_12_Luc96a_Z
0.88
0.98
(timeout)
0.52
0.02
0.03
TRS/TRCSR - Ex3_2_Luc97_C
(timeout)
23.26
(timeout)
(timeout)
(timeout)
59.68
TRS/TRCSR - Ex3_2_Luc97_FR
(timeout)
(timeout)
(timeout)
8.04
(timeout)
15.16
TRS/TRCSR - Ex3_2_Luc97_GM
(timeout)
(timeout)
(timeout)
7.12
(timeout)
(timeout)
TRS/TRCSR - Ex3_2_Luc97_Z
(timeout)
(timeout)
(timeout)
14.04
(timeout)
22.47
TRS/TRCSR - Ex3_3_25_Bor03_C
10.77
0.01
(timeout)
(timeout)
(timeout)
1.19
TRS/TRCSR - Ex3_3_25_Bor03_FR
(timeout)
0.02
(timeout)
(timeout)
(timeout)
(timeout)
TRS/TRCSR - Ex3_3_25_Bor03_GM
2.29
0.02
(timeout)
25.21
(timeout)
24.15
TRS/TRCSR - Ex3_3_25_Bor03_L
0.72
0.01
0.26
0.00
0.02
0.01
TRS/TRCSR - Ex3_3_25_Bor03_Z
3.48
0.02
0.00
0.01
(timeout)
0.03
TRS/TRCSR - Ex4_4_Luc96b_C
0.82
0.03
38.72
0.00
0.13
0.02
TRS/TRCSR - Ex4_4_Luc96b_FR
2.22
0.52
(timeout)
20.64
(timeout)
3.70
TRS/TRCSR - Ex4_4_Luc96b_GM
0.99
0.02
6.24
18.47
0.29
0.01
TRS/TRCSR - Ex4_4_Luc96b_L
0.72
0.00
0.13
0.01
0.01
0.00
TRS/TRCSR - Ex4_4_Luc96b_Z
1.13
0.45
0.01
0.87
(timeout)
2.95
TRS/TRCSR - Ex4_7_15_Bor03_C
(timeout)
(timeout)
(timeout)
(timeout)
(timeout)
10.00
TRS/TRCSR - Ex4_7_15_Bor03_FR
1.09
0.07
(timeout)
0.01
0.28
0.05
TRS/TRCSR - Ex4_7_15_Bor03_GM
1.03
2.55
(timeout)
0.04
0.33
0.01
TRS/TRCSR - Ex4_7_15_Bor03_L
0.59
0.02
0.01
0.00
0.01
0.01
TRS/TRCSR - Ex4_7_15_Bor03_Z
0.88
0.02
1.55
0.01
0.04
0.02
TRS/TRCSR - Ex4_7_37_Bor03_C
(timeout)
26.10
(timeout)
(timeout)
(timeout)
(timeout)
TRS/TRCSR - Ex4_7_37_Bor03_FR
1.80
18.12
(timeout)
8.90
(timeout)
7.52
TRS/TRCSR - Ex4_7_37_Bor03_GM
(timeout)
(timeout)
(timeout)
10.88
(timeout)
(timeout)
TRS/TRCSR - Ex4_7_37_Bor03_Z
1.21
12.17
(timeout)
12.22
(timeout)
0.04
TRS/TRCSR - Ex4_7_56_Bor03_C
(timeout)
9.45
(timeout)
(timeout)
(timeout)
14.99
TRS/TRCSR - Ex4_7_56_Bor03_FR
0.78
0.00
(timeout)
1.71
0.02
0.00
TRS/TRCSR - Ex4_7_56_Bor03_GM
(timeout)
2.03
(timeout)
8.77
(timeout)
6.22
TRS/TRCSR - Ex4_7_56_Bor03_Z
0.83
0.01
(timeout)
0.54
0.02
0.03
TRS/TRCSR - Ex4_7_77_Bor03_C
2.14
2.10
(timeout)
1.29
40.74
0.18
TRS/TRCSR - Ex4_7_77_Bor03_GM
0.70
0.03
(timeout)
0.01
0.03
0.02
TRS/TRCSR - Ex4_7_77_Bor03_Z
0.68
0.02
0.38
0.02
0.00
0.00
TRS/TRCSR - Ex49_GM04_C
(timeout)
33.89
(timeout)
(timeout)
(timeout)
(timeout)
TRS/TRCSR - Ex49_GM04_FR
(timeout)
(timeout)
(timeout)
8.28
(timeout)
31.07
TRS/TRCSR - Ex49_GM04_GM
2.05
5.08
(timeout)
18.29
(timeout)
6.34
TRS/TRCSR - Ex49_GM04_Z
1.23
0.03
(timeout)
9.54
23.24
0.03
TRS/TRCSR - Ex4_Zan97_C
50.73
13.94
(timeout)
(timeout)
(timeout)
20.16
TRS/TRCSR - Ex4_Zan97_FR
0.84
0.82
(timeout)
4.74
0.02
0.01
TRS/TRCSR - Ex4_Zan97_GM
(timeout)
21.95
(timeout)
20.54
(timeout)
17.43
TRS/TRCSR - Ex4_Zan97_Z
0.83
12.06
(timeout)
1.60
0.02
0.01
TRS/TRCSR - Ex5_7_Luc97_C
(timeout)
36.18
(timeout)
(timeout)
(timeout)
58.74
TRS/TRCSR - Ex5_7_Luc97_FR
(timeout)
(timeout)
(timeout)
19.00
(timeout)
59.42
TRS/TRCSR - Ex5_7_Luc97_GM
42.56
(timeout)
(timeout)
19.22
(timeout)
58.88
TRS/TRCSR - Ex5_7_Luc97_Z
(timeout)
(timeout)
(timeout)
18.72
(timeout)
59.71
TRS/TRCSR - Ex5_Zan97_C
2.46
3.16
(timeout)
(timeout)
44.09
0.39
TRS/TRCSR - Ex5_Zan97_FR
0.78
0.00
(timeout)
0.00
0.01
0.01
TRS/TRCSR - Ex5_Zan97_GM
0.75
0.06
(timeout)
56.11
(timeout)
0.21
TRS/TRCSR - Ex5_Zan97_Z
0.59
0.01
(timeout)
0.00
0.00
0.01
TRS/TRCSR - Ex6_15_AEL02_C
(timeout)
36.24
(timeout)
(timeout)
(timeout)
58.95
TRS/TRCSR - Ex6_15_AEL02_FR
(timeout)
(timeout)
(timeout)
18.96
(timeout)
52.40
TRS/TRCSR - Ex6_15_AEL02_GM
(timeout)
(timeout)
(timeout)
(timeout)
(timeout)
59.33
TRS/TRCSR - Ex6_15_AEL02_Z
(timeout)
18.79
(timeout)
19.25
(timeout)
26.86
TRS/TRCSR - Ex6_9_Luc02c_C
1.59
0.09
(timeout)
0.05
0.09
2.72
TRS/TRCSR - Ex6_9_Luc02c_FR
0.93
0.02
(timeout)
7.52
(timeout)
0.00
TRS/TRCSR - Ex6_9_Luc02c_GM
51.94
1.33
(timeout)
21.55
(timeout)
12.43
TRS/TRCSR - Ex6_9_Luc02c_Z
0.68
0.03
(timeout)
0.39
0.16
0.01
TRS/TRCSR - Ex6_GM04_C
4.13
0.88
32.75
0.38
3.17
5.64
TRS/TRCSR - Ex6_GM04_GM
0.62
0.02
2.10
0.01
0.02
0.03
TRS/TRCSR - Ex6_GM04_L
0.57
0.00
0.02
0.00
0.02
0.01
TRS/TRCSR - Ex6_Luc98_C
5.99
6.43
(timeout)
(timeout)
(timeout)
0.24
TRS/TRCSR - Ex6_Luc98_FR
1.46
0.87
(timeout)
(timeout)
(timeout)
2.26
TRS/TRCSR - Ex6_Luc98_GM
1.07
0.03
(timeout)
(timeout)
(timeout)
0.59
TRS/TRCSR - Ex6_Luc98_L
0.62
0.01
0.05
0.01
0.01
0.02
TRS/TRCSR - Ex6_Luc98_Z
0.72
0.01
(timeout)
(timeout)
2.36
0.01
TRS/TRCSR - Ex7_BLR02_C
(timeout)
22.79
(timeout)
(timeout)
(timeout)
59.32
TRS/TRCSR - Ex7_BLR02_FR
1.15
5.06
(timeout)
10.05
(timeout)
1.89
TRS/TRCSR - Ex7_BLR02_GM
41.09
(timeout)
(timeout)
12.35
(timeout)
59.33
TRS/TRCSR - Ex7_BLR02_Z
0.91
12.06
(timeout)
10.12
(timeout)
0.01
TRS/TRCSR - Ex8_BLR02_C
(timeout)
15.09
(timeout)
(timeout)
(timeout)
40.31
TRS/TRCSR - Ex8_BLR02_FR
0.90
0.55
(timeout)
12.06
0.02
0.03
TRS/TRCSR - Ex8_BLR02_GM
(timeout)
(timeout)
(timeout)
23.22
(timeout)
24.68
TRS/TRCSR - Ex8_BLR02_Z
0.86
1.62
(timeout)
10.64
0.01
0.00
TRS/TRCSR - Ex9_BLR02_C
8.77
21.39
(timeout)
(timeout)
(timeout)
3.51
TRS/TRCSR - Ex9_BLR02_FR
45.69
21.27
(timeout)
(timeout)
(timeout)
33.89
TRS/TRCSR - Ex9_BLR02_GM
2.52
0.46
(timeout)
(timeout)
(timeout)
25.29
TRS/TRCSR - Ex9_BLR02_L
0.69
0.01
5.49
0.00
0.03
0.03
TRS/TRCSR - Ex9_BLR02_Z
1.71
6.61
(timeout)
(timeout)
(timeout)
2.17
TRS/TRCSR - Ex9_Luc04_C
56.12
2.49
(timeout)
55.67
(timeout)
10.38
TRS/TRCSR - ExAppendixB_AEL03_C
(timeout)
36.20
(timeout)
(timeout)
(timeout)
58.77
TRS/TRCSR - ExAppendixB_AEL03_FR
1.24
12.07
(timeout)
15.44
(timeout)
0.06
TRS/TRCSR - ExAppendixB_AEL03_GM
(timeout)
(timeout)
(timeout)
34.55
(timeout)
58.72
TRS/TRCSR - ExAppendixB_AEL03_Z
1.38
24.09
(timeout)
13.14
(timeout)
0.04
TRS/TRCSR - ExConc_Zan97_C
1.27
0.04
18.81
0.01
0.03
0.01
TRS/TRCSR - ExConc_Zan97_FR
0.81
0.02
29.51
0.01
0.01
0.00
TRS/TRCSR - ExConc_Zan97_GM
0.68
0.01
25.62
0.01
0.01
0.01
TRS/TRCSR - ExConc_Zan97_L
0.31
0.01
0.02
0.01
0.01
0.00
TRS/TRCSR - ExIntrod_GM01_C
12.57
24.61
(timeout)
59.85
(timeout)
4.31
TRS/TRCSR - ExIntrod_GM01_GM
6.48
30.90
(timeout)
58.12
(timeout)
8.93
TRS/TRCSR - ExIntrod_GM04_C
12.42
22.13
(timeout)
(timeout)
(timeout)
4.22
TRS/TRCSR - ExIntrod_GM04_GM
0.91
0.02
(timeout)
0.03
0.02
0.04
TRS/TRCSR - ExIntrod_GM99_C
(timeout)
32.30
(timeout)
(timeout)
(timeout)
59.11
TRS/TRCSR - ExIntrod_GM99_FR
(timeout)
(timeout)
(timeout)
17.58
(timeout)
30.64
TRS/TRCSR - ExIntrod_GM99_GM
41.96
(timeout)
(timeout)
(timeout)
(timeout)
59.17
TRS/TRCSR - ExIntrod_GM99_Z
9.01
51.25
(timeout)
17.63
(timeout)
21.11
TRS/TRCSR - ExIntrod_Zan97_C
(timeout)
21.94
(timeout)
(timeout)
(timeout)
58.99
TRS/TRCSR - ExIntrod_Zan97_FR
53.31
55.57
(timeout)
17.04
(timeout)
24.86
TRS/TRCSR - ExIntrod_Zan97_GM
(timeout)
(timeout)
(timeout)
20.26
(timeout)
59.05
TRS/TRCSR - ExIntrod_Zan97_Z
1.70
0.03
0.01
15.86
(timeout)
0.03
TRS/TRCSR - ExSec11_1_Luc02a_C
(timeout)
35.89
(timeout)
(timeout)
(timeout)
59.09
TRS/TRCSR - ExSec11_1_Luc02a_FR
1.66
0.07
(timeout)
31.17
(timeout)
3.45
TRS/TRCSR - ExSec11_1_Luc02a_GM
44.27
(timeout)
(timeout)
18.93
(timeout)
59.37
TRS/TRCSR - ExSec11_1_Luc02a_L
3.24
0.08
(timeout)
0.01
0.02
0.00
TRS/TRCSR - ExSec11_1_Luc02a_Z
1.11
0.08
(timeout)
31.92
(timeout)
0.02
TRS/various - 02
0.65
0.02
0.77
0.30
(timeout)
0.00
TRS/various - 03
0.63
0.03
(timeout)
10.42
(timeout)
0.02
TRS/various - 04
(timeout)
(timeout)
(timeout)
(timeout)
(timeout)
59.61
TRS/various - 05
(timeout)
(timeout)
(timeout)
(timeout)
(timeout)
59.47
TRS/various - 06
0.63
0.04
17.36
0.01
0.00
0.00
TRS/various - 07
0.60
0.01
0.50
0.01
0.02
0.00
TRS/various - 08
(timeout)
(timeout)
(timeout)
(timeout)
(timeout)
(timeout)
TRS/various - 09
0.71
0.01
(timeout)
0.01
0.01
0.01
TRS/various - 10
1.56
0.01
(timeout)
36.20
(timeout)
0.05
TRS/various - 11
5.12
0.03
(timeout)
0.46
2.40
0.06
TRS/various - 12
1.08
0.05
(timeout)
0.00
0.15
0.02
TRS/various - 13
1.59
0.08
(timeout)
0.04
0.50
0.03
TRS/various - 14
6.93
0.11
(timeout)
20.58
(timeout)
1.11
TRS/various - 15
1.20
0.03
0.51
10.46
0.00
0.02
TRS/various - 18
0.67
0.01
(timeout)
0.03
0.02
0.02
TRS/various - 19
0.99
0.01
(timeout)
0.00
0.08
0.04
TRS/various - 20
1.19
0.15
1.89
2.32
(timeout)
0.05
TRS/various - 21
0.83
6.24
(timeout)
0.00
0.02
0.08
TRS/various - 22
0.81
0.01
(timeout)
0.02
0.12
0.02
TRS/various - 23
0.73
0.02
(timeout)
0.01
0.01
0.01
TRS/various - 24
0.84
0.03
(timeout)
0.24
0.10
0.02
TRS/various - 25
0.70
0.00
0.03
0.02
0.07
0.00
TRS/various - 26
0.76
0.03
(timeout)
1.59
0.09
0.01
TRS/various - 27
0.64
0.02
0.01
0.01
0.00
0.02
TRS/Zantema - jw01
0.57
0.54
0.04
0.05
0.15
0.03
TRS/Zantema - jw02
0.66
0.49
0.06
0.10
0.24
7.26
TRS/Zantema - jw03
0.58
0.14
0.05
0.05
0.11
0.69
TRS/Zantema - jw04
0.63
0.38
0.04
0.05
0.10
0.70
TRS/Zantema - jw05
0.61
0.47
0.06
0.10
0.07
7.27
TRS/Zantema - jw06
0.64
0.55
0.04
0.05
0.07
0.02
TRS/Zantema - jw07
0.66
0.42
0.07
0.10
6.87
0.25
TRS/Zantema - jw08
0.59
0.62
0.06
0.10
1.38
7.89
TRS/Zantema - jw09
0.87
0.35
0.06
0.11
0.28
6.88
TRS/Zantema - jw11
0.73
0.77
10.55
0.07
0.10
10.42
TRS/Zantema - jw12
0.70
0.81
0.09
0.08
0.10
7.79
TRS/Zantema - jw13
0.80
0.65
24.52
0.06
0.37
0.02
TRS/Zantema - jw14
0.51
0.55
0.03
0.05
0.15
0.00
TRS/Zantema - jw15
0.65
0.48
0.06
0.12
0.05
7.31
TRS/Zantema - jw16
0.59
0.12
0.06
0.07
0.06
0.02
TRS/Zantema - jw17
0.65
0.61
0.06
0.13
4.43
7.34
TRS/Zantema - jw18
0.63
0.21
0.07
0.08
0.14
0.01
TRS/Zantema - jw19
1.22
0.48
0.14
0.27
0.23
7.28
TRS/Zantema - jw20
0.66
0.48
0.06
0.12
0.17
0.04
TRS/Zantema - jw21
0.59
0.28
0.06
0.03
0.13
0.01
TRS/Zantema - jw22
0.58
0.56
0.05
0.14
0.33
8.44
TRS/Zantema - jw23
0.57
0.67
0.06
0.02
0.17
0.71
TRS/Zantema - jw24
0.70
0.37
0.06
0.05
0.02
0.75
TRS/Zantema - jw25
0.68
0.34
0.05
0.07
0.06
0.75
TRS/Zantema - jw26
0.59
0.67
0.05
0.02
0.12
0.72
TRS/Zantema - jw27
0.56
0.48
0.07
0.15
0.29
8.45
TRS/Zantema - jw28
0.61
0.29
0.06
0.01
0.12
0.00
TRS/Zantema - jw29
0.59
0.46
0.06
0.13
0.16
0.05
TRS/Zantema - jw30
1.02
0.49
0.14
0.28
0.41
7.25
TRS/Zantema - jw31
0.58
0.21
0.06
0.08
0.09
0.02
TRS/Zantema - jw32
0.55
0.60
0.06
0.11
4.45
7.31
TRS/Zantema - jw33
0.58
0.14
0.06
0.06
0.16
0.03
TRS/Zantema - jw34
0.64
0.47
0.06
0.13
0.24
7.27
TRS/Zantema - jw35
0.57
0.60
24.33
0.08
0.06
0.02
TRS/Zantema - jw36
0.81
0.66
0.20
0.06
0.16
0.02
TRS/Zantema - jw37
0.68
0.80
10.43
0.06
0.07
7.79
TRS/Zantema - jw38
0.62
0.80
0.18
0.07
0.10
10.43
TRS/Zantema - jw39
0.89
0.32
0.06
0.12
0.34
0.04
TRS/Zantema - jw40
0.90
0.35
0.06
0.11
0.08
6.87
TRS/Zantema - jw41
0.61
0.65
0.05
0.12
1.00
7.88
TRS/Zantema - jw42
0.58
0.36
0.05
0.12
6.87
0.25
TRS/Zantema - jw43
0.63
24.14
0.05
0.01
0.02
0.01
TRS/Zantema - jw44
0.72
0.04
21.30
0.01
0.01
0.01
TRS/Zantema - jw47
0.60
0.01
20.90
0.01
0.03
0.03
TRS/Zantema - jw50
0.67
24.16
0.05
0.01
0.04
0.02
TRS/Zantema - z01
1.12
24.13
3.02
55.48
(timeout)
0.05
TRS/Zantema - z02
2.28
0.27
1.44
0.12
22.48
2.19
TRS/Zantema - z03
0.99
28.84
(timeout)
2.68
0.28
0.06
TRS/Zantema - z04
0.69
0.11
16.16
0.05
0.29
0.00
TRS/Zantema - z05
1.06
36.18
0.29
56.06
(timeout)
1.79
TRS/Zantema - z06
0.79
0.96
0.23
0.03
0.05
0.01
TRS/Zantema - z07
0.88
3.67
32.83
57.57
0.18
0.03
TRS/Zantema - z08
0.80
4.41
(timeout)
0.21
33.04
0.04
TRS/Zantema - z09
17.36
0.30
(timeout)
8.18
(timeout)
0.22
TRS/Zantema - z10
50.95
0.32
(timeout)
16.34
(timeout)
4.40
TRS/Zantema - z11
0.90
5.32
(timeout)
52.71
0.06
0.02
TRS/Zantema - z12
1.04
0.45
57.66
49.08
(timeout)
2.26
TRS/Zantema - z13
0.99
0.40
(timeout)
54.15
(timeout)
2.19
TRS/Zantema - z14
0.94
0.19
(timeout)
48.52
(timeout)
2.20
TRS/Zantema - z15
0.92
0.27
58.29
49.09
(timeout)
2.16
TRS/Zantema - z16
0.91
0.18
(timeout)
47.73
(timeout)
2.16
TRS/Zantema - z17
(timeout)
0.92
(timeout)
58.94
(timeout)
6.09
TRS/Zantema - z18
1.05
0.26
(timeout)
46.36
(timeout)
2.15
TRS/Zantema - z19
14.47
1.40
(timeout)
48.27
(timeout)
2.17
TRS/Zantema - z20
39.64
4.44
(timeout)
53.48
(timeout)
2.48
TRS/Zantema - z21
6.76
1.71
(timeout)
1.04
(timeout)
2.35
TRS/Zantema - z22
41.19
11.81
(timeout)
57.67
(timeout)
2.59
TRS/Zantema - z23
1.05
0.88
48.80
47.30
(timeout)
2.98
TRS/Zantema - z24
1.23
1.77
33.46
48.00
(timeout)
2.98
TRS/Zantema - z25
0.95
35.62
0.31
0.12
0.15
0.02
TRS/Zantema - z26
55.04
11.67
(timeout)
0.05
0.31
6.74
TRS/Zantema - z27
6.41
0.14
25.52
0.17
0.68
0.07
TRS/Zantema - z28
0.76
0.11
(timeout)
0.02
0.07
4.54
TRS/Zantema - z29
0.85
0.17
(timeout)
0.42
0.26
0.02
TRS/Zantema - z30
7.01
30.37
34.59
56.02
(timeout)
0.32
TRS/currying/AG01 - #3.10
5.22
(timeout)
(timeout)
40.73
(timeout)
0.44
TRS/currying/AG01 - #3.13
4.44
(timeout)
(timeout)
51.63
(timeout)
0.74
TRS/currying/AG01 - #3.16
0.82
0.65
(timeout)
33.63
0.03
0.02
TRS/currying/AG01 - #3.18
1.09
2.79
(timeout)
37.56
(timeout)
0.02
TRS/currying/AG01 - #3.22
0.95
52.33
(timeout)
52.46
0.27
0.02
TRS/currying/AG01 - #3.25
0.94
0.92
16.05
55.84
0.02
0.01
TRS/currying/AG01 - #3.27
0.64
0.04
(timeout)
0.02
0.01
0.01
TRS/currying/AG01 - #3.2
1.00
3.92
(timeout)
41.55
0.31
0.02
TRS/currying/AG01 - #3.32
0.64
0.01
0.02
0.02
0.02
0.01
TRS/currying/AG01 - #3.36
1.25
9.77
(timeout)
39.48
0.22
0.02
TRS/currying/AG01 - #3.38
1.18
33.26
(timeout)
48.89
1.75
0.15
TRS/currying/AG01 - #3.40
1.46
(timeout)
(timeout)
54.56
(timeout)
2.53
TRS/currying/AG01 - #3.45
0.74
0.21
0.55
0.14
0.07
0.02
TRS/currying/AG01 - #3.48
0.90
37.73
(timeout)
57.75
1.25
0.08
TRS/currying/AG01 - #3.52
0.73
0.55
(timeout)
57.74
(timeout)
0.02
TRS/currying/AG01 - #3.55
3.96
(timeout)
(timeout)
40.45
(timeout)
0.58
TRS/currying/AG01 - #3.57
2.02
(timeout)
(timeout)
(timeout)
3.55
0.06
TRS/currying/AG01 - #3.6
1.69
50.83
(timeout)
36.26
(timeout)
0.04
TRS/currying/AG01 - #3.8
1.16
36.28
(timeout)
41.97
0.52
0.02
TRS/currying/D33 - 01
0.68
0.02
0.07
0.01
0.01
0.01
TRS/currying/D33 - 02
0.63
0.01
0.05
0.01
0.01
0.01
TRS/currying/D33 - 06
0.75
0.04
0.25
0.02
0.01
0.01
TRS/currying/D33 - 08
1.03
0.00
(timeout)
0.03
0.02
0.02
TRS/currying/D33 - 11
3.75
0.02
(timeout)
0.19
0.02
0.08
TRS/currying/D33 - 12
0.99
8.25
(timeout)
44.67
(timeout)
0.03
TRS/currying/D33 - 13
5.75
0.01
(timeout)
1.92
0.10
2.45
TRS/currying/D33 - 17
0.81
3.66
(timeout)
0.02
0.02
0.02
TRS/currying/D33 - 18
0.86
0.01
(timeout)
10.10
0.00
0.01
TRS/currying/D33 - 21
0.91
0.01
(timeout)
35.47
(timeout)
0.03
TRS/currying/D33 - 29
0.97
2.09
(timeout)
0.00
0.00
0.01
TRS/currying/D33 - 30
1.25
0.04
(timeout)
1.67
0.03
0.01
TRS/currying/D33 - 31
0.92
0.01
(timeout)
59.74
0.16
0.02
TRS/currying/D33 - 33
(timeout)
(timeout)
(timeout)
53.43
(timeout)
7.23
TRS/currying/Ste92 - hydra
0.79
12.83
(timeout)
36.30
0.46
0.03
TRS/currying/Ste92 - minsort
(timeout)
(timeout)
(timeout)
36.12
(timeout)
10.59
TRS/currying/Ste92 - motivation
0.75
2.40
(timeout)
0.04
0.04
0.01
TRS/currying/Ste92 - perfect2
2.71
(timeout)
(timeout)
42.07
(timeout)
0.10
TRS/currying/Ste92 - perfect
1.34
(timeout)
(timeout)
(timeout)
0.01
0.07
TRS/higher-order/AotoYam - 001
0.82
0.16
0.01
55.02
(timeout)
0.03
TRS/higher-order/AotoYam - 002
1.07
34.19
(timeout)
48.23
(timeout)
0.02
TRS/higher-order/AotoYam - 003
1.05
5.74
0.00
21.56
(timeout)
0.02
TRS/higher-order/AotoYam - 004
0.84
0.89
(timeout)
42.89
(timeout)
0.01
TRS/higher-order/AotoYam - 005
0.67
0.02
(timeout)
0.01
0.03
0.01
TRS/higher-order/AotoYam - 006
0.90
5.81
(timeout)
5.82
(timeout)
0.02
TRS/higher-order/AotoYam - 007
0.87
0.39
(timeout)
43.08
(timeout)
0.03
TRS/higher-order/AotoYam - 009
1.14
0.45
(timeout)
0.12
8.35
0.04
TRS/higher-order/AotoYam - 010
6.39
3.24
(timeout)
33.68
(timeout)
3.14
TRS/higher-order/AotoYam - 011
5.81
0.40
(timeout)
42.85
(timeout)
1.42
TRS/higher-order/AotoYam - 012
1.16
0.44
(timeout)
0.11
14.62
0.04
TRS/higher-order/AotoYam - 013
1.10
5.26
(timeout)
24.77
(timeout)
0.04
TRS/higher-order/AotoYam - 014
1.14
1.56
(timeout)
31.14
(timeout)
0.03
TRS/higher-order/AotoYam - 015
0.86
(timeout)
(timeout)
31.94
(timeout)
0.03
TRS/higher-order/AotoYam - 016
1.27
32.61
(timeout)
57.10
(timeout)
0.04
TRS/higher-order/AotoYam - 017
0.72
0.03
1.68
0.00
0.02
0.02
TRS/higher-order/AotoYam - 019
0.62
0.13
(timeout)
49.47
(timeout)
2.14
TRS/higher-order/AotoYam - 020
1.06
0.63
(timeout)
20.08
(timeout)
0.02
TRS/higher-order/AotoYam - 021
1.26
7.49
(timeout)
22.85
(timeout)
0.03
TRS/higher-order/AotoYam - 022
0.93
2.08
(timeout)
3.80
(timeout)
0.01
TRS/higher-order/AotoYam - 023
0.67
0.02
0.72
0.01
0.02
0.00
TRS/higher-order/AotoYam - 024
0.79
0.31
47.51
2.22
(timeout)
0.01
TRS/higher-order/AotoYam - 025
0.65
0.02
0.15
0.01
0.02
0.02
TRS/higher-order/AotoYam - 026
0.93
0.95
(timeout)
48.46
(timeout)
0.02
TRS/higher-order/AotoYam - 027
0.98
0.75
(timeout)
42.31
(timeout)
0.02
TRS/higher-order/AotoYam - 028
0.99
36.19
(timeout)
37.65
(timeout)
0.03
TRS/higher-order/AotoYam - Ex1SimplyTyped
0.88
0.37
(timeout)
38.53
(timeout)
0.01
TRS/higher-order/AotoYam - Ex5TermProof
(timeout)
2.84
(timeout)
33.98
(timeout)
6.81
TRS/higher-order/AProVE_HO - mapDivMinusHard
1.47
20.30
(timeout)
42.36
(timeout)
0.04
TRS/higher-order/AProVE_HO - mapDivMinus
1.15
4.43
(timeout)
39.37
(timeout)
0.02
TRS/higher-order/AProVE_HO - nonTermF
2.54
2.79
(timeout)
20.26
(timeout)
10.39
TRS/higher-order/AProVE_HO - ReverseLastInit
0.79
0.14
(timeout)
0.02
0.01
0.01
TRS/higher-order/AProVE_HO - TakeDropWhile
0.89
(timeout)
(timeout)
33.66
(timeout)
0.03
TRS/higher-order/AProVE_HO - termMonTypes
1.04
0.60
0.06
47.59
(timeout)
12.71
TRS/higher-order/AProVE_HO - TypeEx1
0.62
0.30
(timeout)
0.62
0.35
2.45
TRS/higher-order/AProVE_HO - TypeEx3
1.00
8.07
0.02
52.95
(timeout)
0.02
TRS/higher-order/AProVE_HO - TypeEx5
1.45
0.01
0.01
0.03
0.04
0.01
TRS/higher-order/Bird - BTreeMember
1.27
46.08
(timeout)
2.63
0.01
0.04
TRS/higher-order/Bird - Ex2_6_1Composition
0.70
0.05
2.53
0.00
0.02
0.02
TRS/higher-order/Bird - Ex2_8_1ConstSubstFix
0.96
0.30
12.91
6.05
(timeout)
0.12
TRS/higher-order/Bird - Hamming
7.62
(timeout)
(timeout)
(timeout)
(timeout)
0.23
TRS/higher-order/Bird - TreeFlatten
1.15
6.64
(timeout)
39.96
(timeout)
0.05
TRS/higher-order/Bird - TreeHeight
1.25
21.40
(timeout)
33.53
(timeout)
0.05
TRS/higher-order/Bird - TreeLevels
1.32
(timeout)
(timeout)
41.12
(timeout)
0.07
TRS/higher-order/Bird - TreeMap
0.91
16.23
(timeout)
54.30
(timeout)
0.03
TRS/higher-order/Bird - TreeSize
1.29
8.00
(timeout)
56.68
(timeout)
0.04
TRS/higher-order/Kusakari - Ex6_11
0.70
0.54
0.42
0.04
0.35
0.01
TRS/higher-order/Kusakari - Ex7_9
1.67
(timeout)
(timeout)
36.36
(timeout)
0.08
TRS/higher-order/Lifantsev - Ex10Functional
(timeout)
15.71
(timeout)
24.70
(timeout)
34.30
TRS/higher-order/Lifantsev - Ex2PrimRec
28.84
0.62
(timeout)
52.48
(timeout)
0.37
TRS/higher-order/Lifantsev - Ex3Lists
0.87
4.86
(timeout)
47.20
(timeout)
0.05
TRS/higher-order/Lifantsev - Ex4MapList
0.79
0.18
(timeout)
0.75
(timeout)
0.02
TRS/higher-order/Lifantsev - Ex5Sorting
(timeout)
(timeout)
(timeout)
31.83
(timeout)
59.20
TRS/higher-order/Lifantsev - Ex6Folding
50.24
0.03
(timeout)
25.38
(timeout)
7.16
TRS/higher-order/Lifantsev - Ex7OrdinalRec
(timeout)
22.20
(timeout)
43.04
(timeout)
11.10
TRS/higher-order/Lifantsev - Ex8Polymorphic
0.95
2.72
(timeout)
47.51
(timeout)
0.03
TRS/higher-order/Lifantsev - Ex9Maps
(timeout)
(timeout)
(timeout)
11.09
(timeout)
59.05
TRS/higher-order/ToyamaRTA04 - Ex4Filter
0.86
(timeout)
(timeout)
32.21
(timeout)
0.01
TRS/higher-order/ToyamaRTA04 - Ex5Folding
52.67
0.01
(timeout)
36.34
(timeout)
9.91
TRS/higher-order/ToyamaRTA04 - Ex6Recursor
(timeout)
1.33
(timeout)
40.57
(timeout)
5.23
TRS/higher-order/ToyamaRTA04 - Ex7Sorting
(timeout)
(timeout)
(timeout)
31.96
(timeout)
59.04
TRS/nontermin/AG01 - #4.12a
0.83
0.05
37.01
0.65
(timeout)
4.14
TRS/nontermin/AG01 - #4.13
20.02
0.04
(timeout)
5.22
(timeout)
2.56
TRS/nontermin/AG01 - #4.14
0.73
0.41
0.17
25.85
(timeout)
4.55
TRS/nontermin/AG01 - #4.15
0.87
12.14
(timeout)
(timeout)
(timeout)
6.81
TRS/nontermin/AG01 - #4.16
0.73
0.05
0.01
20.86
(timeout)
3.53
TRS/nontermin/AG01 - #4.17
0.91
12.09
0.26
54.13
(timeout)
4.46
TRS/nontermin/AG01 - #4.18
0.97
0.14
0.03
56.50
(timeout)
0.06
TRS/nontermin/AG01 - #4.19
19.76
0.13
(timeout)
0.97
(timeout)
2.47
TRS/nontermin/AG01 - #4.20a
0.69
0.02
0.63
0.01
0.04
0.01
TRS/nontermin/AG01 - #4.20
0.68
0.03
0.08
0.02
0.03
0.01
TRS/nontermin/AG01 - #4.21
0.72
0.02
0.13
0.01
0.07
0.00
TRS/nontermin/AG01 - #4.22
0.88
1.58
(timeout)
42.90
(timeout)
0.02
TRS/nontermin/AG01 - #4.23
0.93
12.24
(timeout)
27.08
(timeout)
0.03
TRS/nontermin/AG01 - #4.25
0.62
0.01
(timeout)
0.04
0.02
0.02
TRS/nontermin/AG01 - #4.26
5.34
12.19
(timeout)
(timeout)
(timeout)
10.26
TRS/nontermin/AG01 - #4.27
0.93
12.06
(timeout)
10.29
(timeout)
0.03
TRS/nontermin/AG01 - #4.28
1.30
0.10
9.22
2.64
4.93
0.00
TRS/nontermin/AG01 - #4.29
6.11
33.50
(timeout)
(timeout)
(timeout)
1.19
TRS/nontermin/AG01 - #4.2
0.85
6.56
3.78
55.52
(timeout)
6.01
TRS/nontermin/AG01 - #4.30a
1.10
6.18
(timeout)
30.41
(timeout)
0.04
TRS/nontermin/AG01 - #4.30b
6.01
33.39
(timeout)
(timeout)
(timeout)
3.14
TRS/nontermin/AG01 - #4.30c
6.84
34.72
(timeout)
10.12
(timeout)
10.27
TRS/nontermin/AG01 - #4.30
5.61
19.63
(timeout)
(timeout)
(timeout)
10.27
TRS/nontermin/AG01 - #4.31
15.07
0.22
12.24
9.44
(timeout)
0.09
TRS/nontermin/AG01 - #4.32
0.69
0.01
(timeout)
0.04
0.13
0.01
TRS/nontermin/AG01 - #4.33
1.03
0.06
(timeout)
6.42
(timeout)
0.01
TRS/nontermin/AG01 - #4.34
0.98
0.06
(timeout)
8.23
(timeout)
0.05
TRS/nontermin/AG01 - #4.35
3.23
0.10
(timeout)
(timeout)
(timeout)
1.24
TRS/nontermin/AG01 - #4.36
1.89
5.71
(timeout)
(timeout)
(timeout)
0.14
TRS/nontermin/AG01 - #4.37a
0.86
0.05
1.24
52.80
0.27
0.02
TRS/nontermin/AG01 - #4.37
0.70
0.01
0.85
50.48
0.19
0.01
TRS/nontermin/AG01 - #4.3
0.78
0.01
0.01
0.08
0.06
2.20
TRS/nontermin/AG01 - #4.4
0.78
0.03
0.01
0.04
0.10
2.45
TRS/nontermin/AG01 - #4.7
0.75
0.32
0.02
23.83
(timeout)
5.53
TRS/nontermin/cariboo - ex1
0.96
0.02
0.00
0.01
(timeout)
0.00
TRS/nontermin/cariboo - ex2
1.40
0.02
0.02
3.31
(timeout)
0.02
TRS/nontermin/cariboo - ex3
0.89
0.03
0.01
0.01
(timeout)
0.01
TRS/nontermin/cariboo - ex4
0.92
0.05
0.01
0.14
4.82
0.10
TRS/nontermin/cariboo - ex5
0.85
0.02
0.00
0.01
0.02
0.02
TRS/nontermin/cariboo - ex6
0.83
0.04
(timeout)
12.14
(timeout)
0.63
TRS/nontermin/cariboo - tricky1
0.70
0.08
3.64
0.21
0.66
2.48
TRS/nontermin/CSR - Ex1_2_AEL03
1.59
0.02
0.01
10.67
(timeout)
0.04
TRS/nontermin/CSR - Ex1_2_Luc02c
1.35
0.03
0.00
0.00
0.03
0.00
TRS/nontermin/CSR - Ex14_AEGL02
1.15
0.03
0.00
4.76
(timeout)
0.02
TRS/nontermin/CSR - Ex15_Luc98
1.78
0.02
0.01
11.33
(timeout)
0.00
TRS/nontermin/CSR - Ex1_GL02a
1.60
0.02
0.02
(timeout)
(timeout)
0.00
TRS/nontermin/CSR - Ex1_GM03
0.99
0.02
0.00
9.72
(timeout)
0.02
TRS/nontermin/CSR - Ex1_GM99
0.75
0.04
0.05
0.27
(timeout)
3.04
TRS/nontermin/CSR - Ex1_Luc02b
1.45
0.01
0.02
10.07
(timeout)
0.02
TRS/nontermin/CSR - Ex1_Zan97
0.96
0.09
0.02
0.02
0.25
0.25
TRS/nontermin/CSR - Ex24_GM04
0.77
0.02
0.01
0.23
(timeout)
3.04
TRS/nontermin/CSR - Ex26_Luc03b
1.69
0.06
0.01
(timeout)
(timeout)
0.02
TRS/nontermin/CSR - Ex2_Luc03b
1.56
0.02
0.02
(timeout)
(timeout)
0.01
TRS/nontermin/CSR - Ex3_12_Luc96a
1.63
0.02
0.01
0.06
(timeout)
0.01
TRS/nontermin/CSR - Ex3_2_Luc97
1.62
0.01
0.00
(timeout)
(timeout)
0.00
TRS/nontermin/CSR - Ex3_3_25_Bor03
1.61
0.03
0.01
0.02
(timeout)
0.00
TRS/nontermin/CSR - Ex4_4_Luc96b
0.81
0.04
0.00
0.01
(timeout)
0.02
TRS/nontermin/CSR - Ex4_7_15_Bor03
1.96
1.81
0.01
9.75
(timeout)
1.80
TRS/nontermin/CSR - Ex4_7_37_Bor03
1.61
0.02
0.00
10.74
(timeout)
0.02
TRS/nontermin/CSR - Ex4_7_56_Bor03
1.58
0.01
0.00
0.04
(timeout)
0.00
TRS/nontermin/CSR - Ex4_7_77_Bor03
2.88
0.02
0.01
0.01
0.03
0.02
TRS/nontermin/CSR - Ex49_GM04
1.09
0.03
(timeout)
0.53
3.39
0.01
TRS/nontermin/CSR - Ex4_Zan97
1.11
0.03
0.02
0.16
(timeout)
0.00
TRS/nontermin/CSR - Ex5_7_Luc97
1.80
0.02
0.01
11.42
(timeout)
0.01
TRS/nontermin/CSR - Ex5_Zan97
1.50
0.03
0.01
0.05
0.24
0.01
TRS/nontermin/CSR - Ex6_15_AEL02
1.88
0.04
0.00
(timeout)
(timeout)
0.03
TRS/nontermin/CSR - Ex6_9_Luc02c
1.35
0.01
0.00
0.14
(timeout)
0.01
TRS/nontermin/CSR - Ex6_GM04
0.93
0.03
0.00
0.02
0.03
0.00
TRS/nontermin/CSR - Ex6_Luc98
1.41
0.01
0.01
(timeout)
(timeout)
0.02
TRS/nontermin/CSR - Ex7_BLR02
1.53
0.03
0.00
9.72
(timeout)
0.02
TRS/nontermin/CSR - Ex8_BLR02
0.92
0.03
0.00
2.06
(timeout)
0.00
TRS/nontermin/CSR - Ex9_BLR02
1.56
0.04
0.02
(timeout)
(timeout)
0.02
TRS/nontermin/CSR - ExAppendixB_AEL03
1.71
0.05
0.01
10.84
(timeout)
0.01
TRS/nontermin/CSR - ExConc_Zan97
0.91
0.01
0.02
0.00
6.81
0.01
TRS/nontermin/CSR - ExIntrod_GM01
3.05
0.03
0.01
0.00
(timeout)
0.01
TRS/nontermin/CSR - ExIntrod_GM04
3.06
0.01
0.00
0.02
(timeout)
0.03
TRS/nontermin/CSR - ExIntrod_GM99
1.78
8.95
0.00
11.41
(timeout)
0.02
TRS/nontermin/CSR - ExIntrod_Zan97
1.71
0.02
0.00
11.17
(timeout)
0.02
TRS/nontermin/HM - n001
0.94
0.08
0.01
55.21
(timeout)
0.03
TRS/nontermin/Rubio-inn - bn111
5.85
0.06
(timeout)
0.00
0.02
0.23
TRS/nontermin/Rubio-inn - gkg
0.74
0.02
0.01
0.01
0.05
2.07
TRS/nontermin/Rubio-inn - muladd
0.87
5.97
0.01
23.54
(timeout)
4.23
TRS/nontermin/Rubio-inn - test10
0.98
20.90
0.02
(timeout)
(timeout)
9.51
TRS/nontermin/Rubio-inn - test75
0.80
0.03
(timeout)
3.98
(timeout)
3.14
TRS/nontermin/Rubio-inn - test76
2.69
0.05
(timeout)
6.42
(timeout)
4.34
TRS/nontermin/Rubio-inn - test77
51.55
0.03
(timeout)
6.55
(timeout)
4.40
TRS/nontermin/Rubio-inn - test830
0.67
0.01
1.13
0.02
0.06
0.01
TRS/nontermin/Rubio-inn - test9
0.85
0.59
(timeout)
0.84
(timeout)
5.79
TRS/nontermin/Rubio-inn - toyama
0.79
0.03
0.12
0.63
(timeout)
2.18
TRS/nontermin/TRCSR - ExSec11_1_Luc02a
1.71
0.06
0.00
(timeout)
(timeout)
0.02
secret2005 - aprove1
6.66
11.46
(timeout)
36.63
(timeout)
10.50
secret2005 - aprove2
6.63
27.23
(timeout)
(timeout)
(timeout)
10.90
secret2005 - aprove3
15.44
20.86
(timeout)
58.33
(timeout)
10.40
secret2005 - aprove4
4.98
12.28
(timeout)
58.56
(timeout)
10.20
secret2005 - aprove5
16.61
4.36
(timeout)
24.40
(timeout)
12.85
secret2005 - cime1
43.91
(timeout)
(timeout)
1.58
(timeout)
14.05
secret2005 - cime2
9.82
0.15
(timeout)
0.02
0.21
7.26
secret2005 - cime3
40.50
36.89
(timeout)
22.57
(timeout)
59.50
secret2005 - cime4
0.78
0.02
(timeout)
59.14
(timeout)
4.46
secret2005 - cime5
(timeout)
46.35
(timeout)
(timeout)
(timeout)
59.65
secret2005 - matchbox1
1.58
0.05
1.30
0.10
2.96
0.59
secret2005 - matchbox2
0.70
0.04
0.16
0.06
0.08
0.64
secret2005 - teparla1
1.21
0.78
(timeout)
0.66
(timeout)
1.75
secret2005 - teparla2
8.25
1.42
49.47
2.08
(timeout)
1.70
secret2005 - teparla3
5.38
0.48
20.76
0.20
(timeout)
1.57
secret2005 - tpa1
53.28
12.06
(timeout)
21.96
0.19
6.16
secret2005 - tpa2
6.49
15.29
(timeout)
8.07
0.05
0.02
secret2005 - tpa3
25.02
0.68
(timeout)
10.46
0.02
3.70
secret2005 - tpa4
(timeout)
0.29
(timeout)
11.61
0.03
4.22
secret2005 - tpa5
52.36
4.25
(timeout)
51.88
0.16
6.56
secret2005 - ttt1
0.79
0.03
(timeout)
10.32
(timeout)
8.98
secret2005 - ttt2
3.04
0.13
0.00
11.38
(timeout)
0.68
number of problems: 773 (588 YES, 94 NO, 91 UNKNOWN)
AProVE 1.2pre
CiME 2.02
Matchbox
TEPARLA
TPA
TTT
YES score
576 (98.0 %)
311 (52.9 %)
165 (28.1 %)
347 (59.0 %)
407 (69.2 %)
509 (86.6 %)
YES average time
1.70
0.98
3.06
1.21
1.35
0.46
NO score
94 (100.0 %)
0 (0.0 %)
80 (85.1 %)
15 (16.0 %)
0 (0.0 %)
52 (55.3 %)
NO average time
1.45
-
0.81
0.01
-
0.01
sub-category: Relative Termination
AProVE 1.2pre
CiME 2.02
Matchbox
TEPARLA
TPA
TTT
TRS/relative - rt1-1
0.00
0.01
TRS/relative - rt1-2
0.01
0.01
TRS/relative - rt1-3
0.01
0.02
TRS/relative - rt1-4
0.01
0.07
TRS/relative - rt1-5
0.00
0.02
TRS/relative - rt2-1
2.22
0.02
TRS/relative - rt2-2
0.02
0.07
TRS/relative - rt2-3
0.37
0.14
TRS/relative - rt2-4
0.02
0.05
TRS/relative - rt2-5
13.50
0.01
TRS/relative - rt2-6
0.00
0.04
TRS/relative - rt2-7
11.90
29.47
TRS/relative - rt2-8
10.60
(timeout)
TRS/relative - rt3-1
(timeout)
0.40
TRS/relative - rt3-2
29.85
0.07
TRS/relative - rt3-3
43.29
(timeout)
TRS/relative - rt3-4
(timeout)
(timeout)
TRS/relative - rt3-5
0.05
0.38
TRS/relative - rt3-6
3.89
(timeout)
TRS/relative - rt3-7
(timeout)
0.18
TRS/relative - rt3-8
(timeout)
(timeout)
TRS/relative - rt3-9
(timeout)
0.51
TRS/relative - rtL-cbn1
1.76
0.87
TRS/relative - rtL-cbn5
(timeout)
21.17
TRS/relative - rtL-cbo
(timeout)
(timeout)
TRS/relative - rtL-evnz
(timeout)
(timeout)
TRS/relative - rtL-evo
(timeout)
(timeout)
TRS/relative - rtL-me2
0.02
0.02
TRS/relative - rtL-me3
0.02
0.02
TRS/relative - rtL-pwl
3.53
1.85
TRS/relative - rtL-rw2
(timeout)
(timeout)
TRS/relative - rtL-rw5
(timeout)
(timeout)
TRS/relative - rtL-wl1nz
0.01
0.19
TRS/relative - rtL-wl1o
11.17
(timeout)
number of problems: 34 (23 YES, 0 NO, 11 UNKNOWN)
AProVE 1.2pre
CiME 2.02
Matchbox
TEPARLA
TPA
TTT
YES score
15 (65.2 %)
23 (100.0 %)
YES average time
1.18
2.42
NO score
0
0
NO average time
-
-
sub-category: Innermost Strategy
AProVE 1.2pre
CiME 2.02
Matchbox
TEPARLA
TPA
TTT
TRS/AG01 - #4.12a
0.68
0.11
TRS/AG01 - #4.13
0.63
0.01
TRS/AG01 - #4.14
0.60
0.02
TRS/AG01 - #4.15
0.61
0.03
TRS/AG01 - #4.16
0.64
0.00
TRS/AG01 - #4.17
0.66
4.44
TRS/AG01 - #4.18
0.72
0.04
TRS/AG01 - #4.19
0.89
0.03
TRS/AG01 - #4.20a
0.59
0.01
TRS/AG01 - #4.20
0.72
0.01
TRS/AG01 - #4.21
0.68
0.03
TRS/AG01 - #4.22
0.74
0.01
TRS/AG01 - #4.23
0.95
0.03
TRS/AG01 - #4.24
1.07
0.00
TRS/AG01 - #4.25
0.66
0.03
TRS/AG01 - #4.26
5.77
10.28
TRS/AG01 - #4.27
0.94
0.02
TRS/AG01 - #4.28
1.29
0.01
TRS/AG01 - #4.29
5.99
1.20
TRS/AG01 - #4.2
0.61
0.02
TRS/AG01 - #4.30a
0.93
0.03
TRS/AG01 - #4.30b
5.55
3.13
TRS/AG01 - #4.30c
6.85
10.28
TRS/AG01 - #4.30
5.97
10.37
TRS/AG01 - #4.31
14.86
0.10
TRS/AG01 - #4.32
0.75
0.02
TRS/AG01 - #4.33
1.03
0.04
TRS/AG01 - #4.34
0.93
0.02
TRS/AG01 - #4.35
3.02
1.37
TRS/AG01 - #4.36
2.26
0.14
TRS/AG01 - #4.37a
0.75
0.02
TRS/AG01 - #4.37
0.66
0.01
TRS/AG01 - #4.3
0.65
0.02
TRS/AG01 - #4.4
0.60
0.02
TRS/AG01 - #4.5
0.59
0.00
TRS/AG01 - #4.7
0.65
0.02
TRS/cariboo - tricky1
0.57
2.48
TRS/HM - n001
2.25
0.03
TRS/Rubio-inn - bn111
0.62
0.00
TRS/Rubio-inn - gkg
0.59
0.02
TRS/Rubio-inn - muladd
0.95
4.25
TRS/Rubio-inn - test10
0.68
0.02
TRS/Rubio-inn - test75
0.65
0.62
TRS/Rubio-inn - test76
0.78
2.26
TRS/Rubio-inn - test77
0.75
2.27
TRS/Rubio-inn - test830
0.71
0.01
TRS/Rubio-inn - test833
0.67
0.01
TRS/Rubio-inn - test9
0.72
0.09
TRS/Rubio-inn - toyama
0.61
0.01
TRS/currying/AG01 - #4.10
0.59
2.05
TRS/currying/AG01 - #4.13
0.65
0.02
TRS/currying/AG01 - #4.15
0.72
6.79
TRS/currying/AG01 - #4.17
0.81
4.44
TRS/currying/AG01 - #4.19
1.11
3.30
TRS/currying/AG01 - #4.22
0.80
0.03
TRS/currying/AG01 - #4.24
1.41
0.02
TRS/currying/AG01 - #4.26
5.79
10.27
TRS/currying/AG01 - #4.28
0.96
0.01
TRS/currying/AG01 - #4.2
0.67
4.32
TRS/currying/AG01 - #4.34
1.04
0.03
TRS/currying/AG01 - #4.36
3.64
0.21
TRS/currying/AG01 - #4.3
0.64
0.03
TRS/currying/AG01 - #4.5
0.67
0.00
TRS/currying/AG01 - #4.7
0.65
0.02
TRS/currying/AG01 - #4.8
0.87
2.27
number of problems: 65 (63 YES, 1 NO, 1 UNKNOWN)
AProVE 1.2pre
CiME 2.02
Matchbox
TEPARLA
TPA
TTT
YES score
63 (100.0 %)
50 (79.4 %)
YES average time
1.59
0.32
NO score
1 (100.0 %)
0 (0.0 %)
NO average time
0.95
-
sub-category: Termination modulo Theory
AProVE 1.2pre
CiME 2.02
Matchbox
TEPARLA
TPA
TTT
TRS/AProVE_AC - AC01
0.64
0.04
TRS/AProVE_AC - AC02
0.60
0.02
TRS/AProVE_AC - AC03
0.60
0.06
TRS/AProVE_AC - AC04
1.09
0.05
TRS/AProVE_AC - AC05
2.22
12.06
TRS/AProVE_AC - AC06
0.70
0.11
TRS/AProVE_AC - AC07
1.78
0.05
TRS/AProVE_AC - AC08
0.68
0.23
TRS/AProVE_AC - AC09
0.71
0.07
TRS/AProVE_AC - AC10
0.61
0.07
TRS/AProVE_AC - AC11
0.93
1.54
TRS/AProVE_AC - AC12
0.64
4.19
TRS/AProVE_AC - AC13
0.63
0.06
TRS/AProVE_AC - AC14
0.62
0.05
TRS/AProVE_AC - AC15
0.66
0.04
TRS/AProVE_AC - AC16
0.72
0.07
TRS/AProVE_AC - AC17
1.04
0.13
TRS/AProVE_AC - AC18
1.92
1.73
TRS/AProVE_AC - AC19
0.70
24.52
TRS/AProVE_AC - AC20
1.01
0.04
TRS/AProVE_AC - AC21
3.07
0.61
TRS/AProVE_AC - AC22
2.53
1.71
TRS/AProVE_AC - AC23
1.37
0.12
TRS/AProVE_AC - AC24
1.20
0.09
TRS/AProVE_AC - AC26
0.63
0.05
TRS/AProVE_AC - AC27
0.71
0.05
TRS/AProVE_AC - AC28
1.07
4.53
TRS/AProVE_AC - AC29
1.18
0.02
TRS/AProVE_AC - AC41
0.98
0.05
TRS/AProVE_AC - AC42
0.88
0.08
TRS/AProVE_AC - AC43
0.85
0.07
TRS/AProVE_AC - AC44
1.09
48.10
TRS/AProVE_AC - AC45
0.87
0.33
TRS/AProVE_AC - AC46
1.39
30.56
TRS/AProVE_AC - AC47
1.29
12.18
TRS/AProVE_AC - AC48
0.73
0.04
TRS/AProVE_AC - AC49
1.94
0.39
TRS/AProVE_AC - AC50
1.99
1.25
TRS/AProVE_AC - AC51
0.84
0.26
TRS/AProVE_AC - AC52
2.10
0.06
TRS/AProVE_AC - AC53
0.90
0.29
TRS/AProVE_AC - AC54
1.37
0.43
TRS/AProVE - IJCAR_AC1
1.43
28.26
TRS/CimeAC - bag-sum-prod-bin
2.39
0.16
TRS/CimeAC - bag-sum-prod-distr
1.59
0.29
TRS/CimeAC - bag-sum-prod
0.86
0.12
TRS/CimeAC - boolean_rings
0.67
0.10
TRS/CimeAC - differ
0.67
(timeout)
TRS/CimeAC - intersect
0.68
0.09
TRS/CimeAC - kusakari1
0.97
0.16
TRS/CimeAC - maude2
(timeout)
24.12
TRS/CimeAC - rationals
35.48
(timeout)
TRS/CimeAC - sequent_modulo
22.95
10.79
secret2005 - cime6
1.08
1.83
number of problems: 54 (52 YES, 0 NO, 2 UNKNOWN)
AProVE 1.2pre
CiME 2.02
Matchbox
TEPARLA
TPA
TTT
YES score
52 (100.0 %)
43 (82.7 %)
YES average time
1.55
2.10
NO score
0
0
NO average time
-
-
This script has been written in the
Objective CAML
language using the
CGI Library