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.970.5027.39(timeout)0.94
AG01 - #3.11 1.320.5236.1760.100.85
AG01 - #3.12 0.840.500.02(timeout)0.01
AG01 - #3.13 1.570.5220.172.670.95
AG01 - #3.14 0.650.430.03(timeout)0.02
AG01 - #3.15 0.640.530.0547.860.02
AG01 - #3.16 0.720.460.025.160.00
AG01 - #3.17a 8.190.530.0459.740.04
AG01 - #3.17 1.240.560.04(timeout)0.04
AG01 - #3.18 0.770.570.4853.980.00
AG01 - #3.19 12.470.511.6655.990.02
AG01 - #3.1 0.730.540.0153.090.02
AG01 - #3.20 0.580.530.013.510.00
AG01 - #3.21 5.290.520.0659.990.01
AG01 - #3.22 5.270.590.14(timeout)0.01
AG01 - #3.23 0.640.560.0360.400.01
AG01 - #3.24 0.520.560.030.120.01
AG01 - #3.25 0.640.460.0219.410.02
AG01 - #3.26 2.510.570.0344.700.00
AG01 - #3.27 1.740.560.0357.270.01
AG01 - #3.28 0.700.540.0351.360.00
AG01 - #3.29 0.550.500.0259.930.00
AG01 - #3.2 0.720.490.02(timeout)0.00
AG01 - #3.30 0.520.590.010.010.01
AG01 - #3.31 0.650.530.036.820.01
AG01 - #3.32 0.530.520.000.020.00
AG01 - #3.33 0.530.630.030.050.01
AG01 - #3.34 0.610.570.030.180.00
AG01 - #3.35 0.570.550.020.240.01
AG01 - #3.36 0.890.470.0556.720.02
AG01 - #3.37 0.800.580.050.700.00
AG01 - #3.38 0.870.510.0457.720.12
AG01 - #3.39 0.820.482.0957.700.02
AG01 - #3.3 0.910.590.0547.880.03
AG01 - #3.40 1.090.598.66(timeout)0.08 (error)
AG01 - #3.41 0.700.500.072.530.01
AG01 - #3.42 1.060.522.10(timeout)0.01
AG01 - #3.43 1.060.570.045.630.31 (error)
AG01 - #3.44 0.490.590.020.070.00
AG01 - #3.45 0.630.560.020.410.00
AG01 - #3.46 0.570.590.030.210.01
AG01 - #3.47 0.670.460.02(timeout)0.00
AG01 - #3.48 0.720.610.0214.870.09
AG01 - #3.49 0.700.571.7542.940.01
AG01 - #3.4 0.780.610.0352.370.01
AG01 - #3.50 0.670.470.040.590.00
AG01 - #3.51 0.840.510.022.270.02
AG01 - #3.52 0.700.590.0458.570.00
AG01 - #3.53a 0.610.530.010.480.01
AG01 - #3.53b 0.800.540.0142.140.02
AG01 - #3.53 1.060.460.0355.630.03
AG01 - #3.54 0.800.570.0138.690.01
AG01 - #3.55 1.710.4836.1658.550.89
AG01 - #3.56 0.790.470.014.980.01
AG01 - #3.57 0.960.510.0460.380.03
AG01 - #3.5a 0.970.599.9858.760.02
AG01 - #3.5b 1.130.5114.0353.600.07
AG01 - #3.5 0.970.5710.0757.340.03
AG01 - #3.6a 1.010.570.0760.400.02
AG01 - #3.6b 1.250.5712.3259.100.06
AG01 - #3.6 1.110.580.06(timeout)0.04
AG01 - #3.7 0.990.520.0310.140.01
AG01 - #3.8a 0.900.570.04(timeout)0.01
AG01 - #3.8b 0.950.480.0843.260.04
AG01 - #3.8 0.830.620.0358.490.00
AG01 - #3.9 1.050.530.07(timeout)0.06
AG01 - #4.10 0.530.660.020.010.00
AG01 - #4.11 0.500.2814.960.010.01
AG01 - #4.12a 0.640.530.0428.490.02
AG01 - #4.12 0.620.590.1417.510.03
AG01 - #4.13 0.700.550.040.000.00
AG01 - #4.14 0.700.550.092.450.00
AG01 - #4.15 0.620.4812.1552.200.02
AG01 - #4.16 0.610.530.018.350.00
AG01 - #4.17 0.820.7012.086.780.04 (error)
AG01 - #4.18 1.080.530.152.100.04 (error)
AG01 - #4.19 0.660.550.150.000.00
AG01 - #4.1 0.460.580.038.980.00
AG01 - #4.20a 0.450.580.030.020.00
AG01 - #4.20 0.490.560.020.010.01
AG01 - #4.21 0.540.510.030.010.01
AG01 - #4.22 0.690.680.2714.730.00
AG01 - #4.23 0.700.5511.0947.080.02
AG01 - #4.24 0.880.720.024.920.01
AG01 - #4.25 0.560.590.020.020.02
AG01 - #4.26 5.900.755.7259.143.25 (error)
AG01 - #4.27 0.670.5912.0760.110.02
AG01 - #4.28 0.960.610.053.600.03
AG01 - #4.29 5.210.7833.785.720.29
AG01 - #4.2 0.640.580.593.850.01
AG01 - #4.30a 0.850.570.5859.820.02
AG01 - #4.30b 5.480.6433.4060.012.34
AG01 - #4.30c 5.940.6034.6457.671.01 (error)
AG01 - #4.30 4.710.6819.6852.344.00 (error)
AG01 - #4.31 4.300.600.180.020.48 (error)
AG01 - #4.32 0.640.560.030.910.01
AG01 - #4.33 0.870.510.04(timeout)0.02
AG01 - #4.34 0.850.680.0255.040.03
AG01 - #4.35 2.040.970.080.016.72
AG01 - #4.36 1.830.572.3860.350.28
AG01 - #4.37a 0.660.590.030.020.00
AG01 - #4.37 0.680.570.020.020.01
AG01 - #4.3 0.650.530.030.000.01
AG01 - #4.4a 0.580.510.030.010.01
AG01 - #4.4 0.660.520.040.010.01
AG01 - #4.5 0.960.560.011.860.01
AG01 - #4.6 0.640.620.0459.670.04 (error)
AG01 - #4.7 0.560.570.081.230.01
AG01 - #4.8 0.680.540.0658.750.02 (error)
AG01 - #4.9 0.690.570.0357.880.03 (error)
AProVE - AAECCcond 13.440.560.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.0653.46 (error)
AProVE - AAECC 14.580.46(timeout)59.8558.86 (error)
AProVE_AC - AC01 0.570.560.0360.260.00 (error)
AProVE_AC - AC02 0.540.520.0559.540.01 (error)
AProVE_AC - AC03 0.580.530.10(timeout)0.00 (error)
AProVE_AC - AC04 1.150.430.08(timeout)0.00 (error)
AProVE_AC - AC05 1.730.550.5760.000.00 (error)
AProVE_AC - AC06 0.640.530.170.380.01 (error)
AProVE_AC - AC07 1.310.490.04(timeout)0.01 (error)
AProVE_AC - AC08 0.730.530.340.400.00 (error)
AProVE_AC - AC09 0.580.500.100.540.00 (error)
AProVE_AC - AC10 0.620.540.110.560.01 (error)
AProVE_AC - AC11 0.750.492.090.120.01 (error)
AProVE_AC - AC12 0.700.422.6459.740.01 (error)
AProVE_AC - AC13 0.670.510.080.510.01 (error)
AProVE_AC - AC14 0.580.560.090.610.01 (error)
AProVE_AC - AC15 0.670.520.09(timeout)0.02 (error)
AProVE_AC - AC16 0.830.540.110.370.01 (error)
AProVE_AC - AC17 1.020.450.140.430.00 (error)
AProVE_AC - AC18 2.130.461.790.300.01 (error)
AProVE_AC - AC19 0.730.530.3124.520.01 (error)
AProVE_AC - AC20 1.090.530.0859.510.01 (error)
AProVE_AC - AC21 3.330.480.710.540.00 (error)
AProVE_AC - AC22 2.120.571.900.520.02 (error)
AProVE_AC - AC23 1.150.550.250.350.01 (error)
AProVE_AC - AC24 1.250.510.200.410.01 (error)
AProVE_AC - AC25 0.690.570.090.540.00 (error)
AProVE_AC - AC26 0.680.490.110.470.00 (error)
AProVE_AC - AC27 0.710.490.110.390.01 (error)
AProVE_AC - AC28 1.020.541.5637.750.00 (error)
AProVE_AC - AC29 1.100.450.0335.660.00 (error)
AProVE_AC - AC41 0.960.550.040.520.00 (error)
AProVE_AC - AC42 0.780.530.1259.440.01 (error)
AProVE_AC - AC43 0.730.590.1114.340.01 (error)
AProVE_AC - AC44 0.920.5212.5733.630.01 (error)
AProVE_AC - AC45 0.800.590.07(timeout)0.00 (error)
AProVE_AC - AC46 1.100.4624.6659.550.00 (error)
AProVE_AC - AC47 1.040.5412.41(timeout)0.00 (error)
AProVE_AC - AC48 0.640.500.090.550.00 (error)
AProVE_AC - AC49 2.140.570.0760.490.00 (error)
AProVE_AC - AC50 2.130.480.0659.500.02 (error)
AProVE_AC - AC51 0.710.530.3246.250.01 (error)
AProVE_AC - AC52 1.930.530.13(timeout)0.01 (error)
AProVE_AC - AC53 0.790.610.1143.350.00 (error)
AProVE_AC - AC54 1.060.480.090.370.00 (error)
AProVE - fac 10.760.550.10(timeout)0.02
AProVE - forward_instantiation2 4.760.550.048.7159.04 (error)
AProVE - forward_instantiation 0.600.560.0656.020.08
AProVE - IJCAR_12 0.910.511.72(timeout)0.02
AProVE - IJCAR_18 1.260.571.4851.410.03
AProVE - IJCAR_1 0.720.551.0111.920.02
AProVE - IJCAR_26a 1.500.580.1755.870.04
AProVE - IJCAR_26 1.270.530.1756.630.02
AProVE - IJCAR_AC1 1.140.591.160.380.01 (error)
AProVE - improved_usable2 0.640.590.021.750.01
AProVE - improved_usable 0.630.550.0654.051.26 (error)
AProVE - JFP_Ex17 0.850.570.0557.067.39
AProVE - JFP_Ex31 (timeout)0.615.7459.3159.55 (error)
AProVE - JFP_Ex51 2.080.5411.2725.737.59
AProVE - Liveness6.1 6.560.490.0527.003.62 (error)
AProVE - Liveness6.2 10.760.450.15(timeout)11.39 (error)
AProVE - Liveness6.3 23.660.511.3140.1421.03 (error)
AProVE - Liveness6.4 (timeout)0.55(timeout)33.5958.95 (error)
AProVE - Liveness8 2.040.507.4345.461.62
AProVE - Liveness_WRS 8.760.5218.0760.4960.00 (error)
AProVE - LPAR_intlist 0.830.500.0327.420.01
AProVE - rta1 0.890.560.40(timeout)0.00
AProVE - rta2 0.640.560.0360.470.01 (error)
AProVE - rta3 5.980.560.3333.850.25 (error)
CimeAC - bag-sum-prod-bin-distr 1.980.560.760.260.00 (error)
CimeAC - bag-sum-prod-bin 2.210.540.270.270.01 (error)
CimeAC - bag-sum-prod-distr 1.710.570.760.260.01 (error)
CimeAC - bag-sum-prod 0.690.530.140.310.01 (error)
CimeAC - boolean_rings 0.710.570.240.400.00 (error)
CimeAC - differ 0.700.62(timeout)44.590.00 (error)
CimeAC - intersect 0.710.550.090.440.00 (error)
Cime - ack_prolog 0.900.480.12(timeout)0.02
CimeAC - kusakari1 1.000.560.1747.170.02 (error)
CimeAC - maude2 (timeout)0.5920.510.510.00 (error)
CimeAC - rationals (timeout)0.61(timeout)0.00 (error)0.00 (error)
CimeAC - sequent_modulo (timeout)0.5010.770.520.00 (error)
CimeAC - temporal-logic 0.600.590.090.030.01 (error)
CimeAC - ternary 2.330.501.810.260.01 (error)
Cime - append-hard 5.490.562.91(timeout)33.88 (error)
Cime - append 0.810.490.03(timeout)0.01
Cime - append-wrong 1.010.576.205.0659.99 (error)
Cime - big 4.070.600.450.920.34
Cime - boolean_rings 0.790.520.020.410.01
Cime - dpqs 0.650.600.030.600.02
Cime - fact-hard 5.590.526.78(timeout)0.87 (error)
Cime - filliatre2 1.170.4618.3759.8019.07
Cime - filliatre3 3.160.619.7458.7419.81
Cime - filliatre 3.050.490.0847.303.37
Cime - intersect 1.230.680.1755.080.12
Cime - list-sum-prod-assoc-append 1.050.480.06(timeout)0.01
Cime - list-sum-prod-assoc 0.940.540.0855.180.00
Cime - list-sum-prod-bin-assoc-distr-app 1.520.610.2158.590.04
Cime - list-sum-prod-bin-assoc 1.150.440.1752.490.02
Cime - list-sum-prod-bin 1.140.550.10(timeout)0.03
Cime - list-sum-prod 1.290.510.0756.630.01
Cime - log2 9.970.640.1522.910.05
Cime - lse 2.230.570.230.2851.35 (error)
Cime - maude2 (timeout)0.5734.050.5151.40 (error)
Cime - mucrl1 19.980.870.490.363.10
Cime - quick 0.760.500.4533.347.25
Cime - ternary-hard 2.550.572.64(timeout)0.06
Cime - ternary 1.820.460.9058.680.00
Cime - tree 2.750.520.1855.260.09
CSR - Ex1_2_AEL03 1.260.460.050.01 (error)0.03 (error)
CSR - Ex1_2_Luc02c 0.620.560.010.00 (error)0.00 (error)
CSR - Ex14_AEGL02 1.970.590.041.150.00 (error)
CSR - Ex15_Luc98 0.990.570.05(timeout)0.01 (error)
CSR - Ex1_GL02a 11.790.500.0210.034.06 (error)
CSR - Ex1_GM03 (timeout)0.570.02(timeout)0.02 (error)
CSR - Ex1_GM99 0.880.470.042.421.02 (error)
CSR - Ex1_Luc02b 0.760.570.0324.730.02 (error)
CSR - Ex1_Zan97 9.730.470.051.810.02 (error)
CSR - Ex24_GM04 0.830.510.030.012.81 (error)
CSR - Ex26_Luc03b 0.660.580.060.450.01 (error)
CSR - Ex2_Luc02a 1.260.530.070.420.01 (error)
CSR - Ex2_Luc03b 0.580.510.0223.540.01 (error)
CSR - Ex3_12_Luc96a 0.680.560.02(timeout)0.00 (error)
CSR - Ex3_2_Luc97 34.100.530.025.400.01 (error)
CSR - Ex3_3_25_Bor03 0.630.510.0152.985.98 (error)
CSR - Ex4_4_Luc96b 0.610.510.002.080.02 (error)
CSR - Ex4_7_15_Bor03 0.630.570.580.530.01 (error)
CSR - Ex4_7_37_Bor03 1.050.570.04(timeout)0.02 (error)
CSR - Ex4_7_56_Bor03 0.710.600.0357.600.01 (error)
CSR - Ex4_7_77_Bor03 0.610.450.0218.210.01 (error)
CSR - Ex49_GM04 1.030.550.0360.470.01
CSR - Ex4_Zan97 0.810.590.0459.670.02 (error)
CSR - Ex5_7_Luc97 (timeout)0.570.042.420.03 (error)
CSR - Ex5_Zan97 0.600.580.0159.200.01 (error)
CSR - Ex6_15_AEL02 (timeout)0.580.0360.2051.35 (error)
CSR - Ex6_9_Luc02c 0.780.550.020.01 (error)0.00 (error)
CSR - Ex6_GM04 0.490.540.020.520.01 (error)
CSR - Ex6_Luc98 0.660.550.0114.690.01 (error)
CSR - Ex7_BLR02 0.870.580.020.00 (error)0.01 (error)
CSR - Ex8_BLR02 0.780.530.030.830.05 (error)
CSR - Ex9_BLR02 0.690.490.026.000.02 (error)
CSR - Ex9_Luc04 3.590.560.042.421.02 (error)
CSR - ExAppendixB_AEL03 1.050.500.050.01 (error)0.03 (error)
CSR - ExConc_Zan97 0.580.560.010.280.01 (error)
CSR - ExIntrod_GM01 6.920.540.026.060.04 (error)
CSR - ExIntrod_GM04 2.090.550.042.540.01 (error)
CSR - ExIntrod_GM99 (timeout)0.568.7355.7959.02 (error)
CSR - ExIntrod_Zan97 (timeout)0.550.040.430.01 (error)
CSR - ExSec11_1_Luc02a 2.520.530.080.500.04 (error)
D33 - 01 0.610.550.03(timeout)0.01
D33 - 02 0.560.620.0225.220.01
D33 - 03 0.530.480.000.390.01
D33 - 04 1.840.590.0259.580.01
D33 - 05 0.590.590.020.150.00
D33 - 06 0.500.490.030.140.00
D33 - 07 1.350.580.0459.680.01
D33 - 08 0.750.540.0050.610.02
D33 - 09 0.580.570.02(timeout)0.00
D33 - 11 1.390.570.0159.750.11
D33 - 12 0.800.500.25(timeout)0.01
D33 - 13 4.850.490.085.930.03 (error)
D33 - 17 0.690.450.0360.450.01
D33 - 18 0.700.610.0159.530.00
D33 - 20 2.310.540.04(timeout)0.01
D33 - 21 0.730.500.0860.450.01
D33 - 27 0.500.510.0118.250.01
D33 - 28 0.810.550.1460.450.01
D33 - 29 0.740.560.14(timeout)0.01
D33 - 30 (timeout)0.520.0159.040.01
D33 - 31 0.730.490.0360.200.01
D33 - 32 0.820.556.2458.950.03
D33 - 33 (timeout)0.530.376.0458.45 (error)
HM - n001 1.320.500.0711.140.02 (error)
HM - n002 1.450.600.000.010.00
HM - n003 0.760.620.010.000.00
HM - n004 1.150.570.020.010.01
HM - n005 0.680.470.020.010.00
HM - n006 0.860.520.020.010.00
HM - n007 0.660.620.000.010.01
HM - n008 1.100.500.020.010.01
HM - t000 0.810.560.1359.710.52
HM - t001 (timeout)0.5227.7954.210.06
HM - t002 0.890.5612.0853.550.03
HM - t003 1.060.540.0149.270.06
HM - t004 3.880.550.0752.000.01
HM - t005 8.230.530.7360.052.10
HM - t006 0.630.560.0258.540.01
HM - t007 1.210.520.013.060.00
HM - t008 0.990.540.048.400.00
HM - t009 (timeout)0.59(timeout)25.0855.21 (error)
HM - t010 1.190.610.011.350.00
HM - t011 0.640.450.0152.500.01
HM - t012 2.760.540.1353.070.01
HM - t013 0.970.530.0454.730.01
HM - t014 0.750.570.0552.450.00
LJB01 - jones1 0.610.560.020.410.00
LJB01 - jones2 0.650.580.1154.320.01
LJB01 - jones3 0.750.570.1656.390.01
LJB01 - jones4 0.590.520.032.430.01
LJB01 - jones5 0.580.560.01(timeout)0.39 (error)
LJB01 - jones6 0.560.560.0123.580.00
Ohl02 - fib 0.87(timeout)0.00 (error)0.01 (error)0.01 (error)
Ohl02 - gcd 1.270.470.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.970.520.020.000.00
qualif - ab 0.500.480.020.010.00
qualif - ack 0.770.570.1560.040.01
qualif - add 0.680.530.3049.870.01 (error)
qualif - bin 0.660.440.06(timeout)0.01
qualif - inn 0.850.570.031.870.00
qualif - no 0.550.550.010.010.01 (error)
qualif - quot 0.710.440.0259.380.01
qualif - simpleac 1.410.560.030.110.00 (error)
qualif - simplec 0.740.540.010.080.01 (error)
qualif - simple 0.600.550.020.020.01
qualif - syr1 24.070.534.55(timeout)0.97 (error)
qualif - syr2 (timeout)0.460.6246.270.10 (error)
qualif - toyama2 0.660.500.020.095.49 (error)
qualif - toyamaac 0.930.590.10(timeout)0.01 (error)
qualif - toyama 0.550.450.030.540.01
Rubio - ackclaude 0.860.570.1259.860.00
Rubio - aoto 0.580.500.061.930.00
Rubio - bintrees 0.570.470.0058.810.01
Rubio - bn122 0.520.570.01(timeout)0.01
Rubio - bn129 0.760.510.1759.810.00
Rubio - division 0.960.600.0748.000.03
Rubio - elimdupl 0.950.480.06(timeout)0.09
Rubio - enno 1.070.600.0519.385.86
Rubio - gcd 0.970.560.0749.090.02
Rubio - gmnp 0.610.500.020.240.02
Rubio - gm 0.790.610.0259.800.02
Rubio - herchydra (timeout)0.560.376.0459.16 (error)
Rubio-inn - bn111 0.520.630.0959.380.01
Rubio-inn - gkg 0.530.530.030.010.01
Rubio-inn - muladd 0.720.540.924.620.04 (error)
Rubio-inn - test10 0.610.5614.970.020.02
Rubio-inn - test75 0.560.530.0360.290.04 (error)
Rubio-inn - test76 0.640.570.06(timeout)0.00 (error)
Rubio-inn - test77 0.530.370.03(timeout)0.02 (error)
Rubio-inn - test830 0.620.550.030.010.01
Rubio-inn - test833 0.600.550.030.010.01
Rubio-inn - test9 0.610.590.1316.440.03
Rubio-inn - toyama 0.550.520.048.950.00
Rubio - insertsort 0.870.546.22(timeout)0.03
Rubio - koen 0.560.570.0259.690.01
Rubio - lescanne 0.580.550.0160.480.02
Rubio - lindau 0.500.520.080.090.02
Rubio - logarquot 0.810.500.0160.290.00
Rubio - ma96 2.360.510.0859.5144.88
Rubio - mfp90b 0.600.630.010.120.02
Rubio - mfp95 0.540.450.020.110.01
Rubio - nestrec 0.680.560.0220.600.02
Rubio - p266 0.520.520.021.050.01
Rubio - polo2 1.260.59(timeout)12.740.01
Rubio - prov 0.660.580.02(timeout)0.01
Rubio - quick 1.290.5236.1560.210.90
Rubio - quotminus 0.750.330.03(timeout)0.01
Rubio - revlist 0.850.580.0660.440.14
Rubio - selsort 1.860.492.4260.010.66
Rubio - test4 0.710.550.870.600.00
Rubio - test829 0.580.460.006.710.00
Rubio - wst99 11.950.490.12(timeout)0.08
SK90 - 2.01 0.550.540.04(timeout)0.01
SK90 - 2.02 0.610.560.0859.970.01
SK90 - 2.03 0.590.560.021.580.01
SK90 - 2.04 0.630.490.04(timeout)0.00
SK90 - 2.05 0.900.520.350.160.03 (error)
SK90 - 2.06 0.560.570.0460.310.01
SK90 - 2.07 0.730.510.0450.250.01
SK90 - 2.08 0.860.600.0215.790.02
SK90 - 2.09 0.660.520.02(timeout)0.00
SK90 - 2.10 0.630.500.0359.950.01
SK90 - 2.11 0.550.580.025.420.00
SK90 - 2.12 0.800.480.06(timeout)0.01
SK90 - 2.13 0.690.450.011.910.01
SK90 - 2.14 0.650.560.0453.220.02
SK90 - 2.15 0.660.530.030.070.01
SK90 - 2.16 0.770.470.1460.450.02
SK90 - 2.17 0.670.590.017.470.01
SK90 - 2.18 0.660.560.04(timeout)0.01
SK90 - 2.19 0.780.540.151.740.01
SK90 - 2.20 0.680.580.020.130.01
SK90 - 2.21 0.620.540.0130.010.00
SK90 - 2.22 0.330.550.028.460.02
SK90 - 2.23 0.730.580.06(timeout)0.02
SK90 - 2.24 0.550.480.004.830.01
SK90 - 2.25 0.710.540.10 (error)35.050.01
SK90 - 2.26 0.870.520.3660.180.00
SK90 - 2.27 1.770.190.033.810.01
SK90 - 2.28 0.550.540.03(timeout)0.01
SK90 - 2.29 0.920.550.0147.670.01
SK90 - 2.30 0.570.560.013.520.01
SK90 - 2.31 0.590.530.033.420.00
SK90 - 2.32 0.700.550.010.300.01
SK90 - 2.33 0.590.560.0359.350.00
SK90 - 2.34 0.690.460.0360.450.00
SK90 - 2.35 0.610.520.01(timeout)0.01
SK90 - 2.36 0.630.590.0159.490.00
SK90 - 2.37 0.520.480.032.790.01
SK90 - 2.38 0.580.550.02(timeout)0.00
SK90 - 2.39 0.610.510.04(timeout)0.03
SK90 - 2.40 0.590.510.015.470.00
SK90 - 2.41 0.590.590.020.260.01
SK90 - 2.42 0.720.470.0559.520.02
SK90 - 2.43 0.710.560.0060.140.02
SK90 - 2.44 0.940.570.0160.490.03
SK90 - 2.45 0.680.450.0259.660.01
SK90 - 2.46 2.570.460.0360.410.02
SK90 - 2.47 0.590.520.020.750.01
SK90 - 2.48 0.690.540.010.050.01
SK90 - 2.49 0.540.470.060.510.00
SK90 - 2.50 0.540.560.020.410.01
SK90 - 2.51 0.940.550.16(timeout)0.00
SK90 - 2.52 1.040.432.6860.090.02
SK90 - 2.53 0.590.490.0418.980.01
SK90 - 2.54 0.650.590.030.390.00
SK90 - 2.55 0.650.540.0260.390.00
SK90 - 2.56 0.630.510.000.120.00
SK90 - 2.57 0.600.600.020.230.01
SK90 - 2.58 0.650.540.0259.300.01
SK90 - 2.59 0.580.580.03(timeout)0.00
SK90 - 2.60 0.560.460.010.020.01
SK90 - 2.61 0.650.480.03(timeout)0.04
SK90 - 4.01 0.690.490.0159.340.00
SK90 - 4.02 6.680.540.210.340.06
SK90 - 4.03 0.730.440.030.460.01
SK90 - 4.04 0.550.440.0260.270.01
SK90 - 4.05 0.650.600.034.840.00
SK90 - 4.06 0.840.590.131.430.02 (error)
SK90 - 4.07 0.560.510.0359.570.01
SK90 - 4.08 0.550.590.0460.390.01
SK90 - 4.09 0.780.580.040.530.00
SK90 - 4.10 0.720.430.05(timeout)0.01
SK90 - 4.11 0.660.430.020.820.01
SK90 - 4.12 0.600.550.023.360.01
SK90 - 4.13 0.690.5412.0559.230.00
SK90 - 4.14 0.810.550.05(timeout)0.00
SK90 - 4.15 0.550.580.0360.390.00
SK90 - 4.16 0.730.500.0319.190.02
SK90 - 4.17 9.720.530.2214.310.01
SK90 - 4.18 0.610.570.000.040.00
SK90 - 4.19 0.580.540.04(timeout)0.01
SK90 - 4.20 0.700.450.020.350.01
SK90 - 4.21 0.740.600.030.520.00
SK90 - 4.22 0.670.530.14(timeout)0.01
SK90 - 4.23 0.720.550.321.050.01
SK90 - 4.24 0.900.470.3259.5859.10 (error)
SK90 - 4.25 0.580.590.02(timeout)0.02
SK90 - 4.26 0.660.510.0459.470.01
SK90 - 4.27 0.860.520.0328.360.01
SK90 - 4.28 0.790.430.030.300.02
SK90 - 4.29 0.750.550.024.440.00
SK90 - 4.30 0.750.570.0444.850.01
SK90 - 4.31 0.690.550.0059.790.00
SK90 - 4.32 1.110.540.5119.480.01
SK90 - 4.33 0.560.540.020.270.01
SK90 - 4.34 0.840.580.050.010.02 (error)
SK90 - 4.35 0.490.550.000.030.00
SK90 - 4.36 0.540.470.020.150.01
SK90 - 4.37 0.510.490.020.290.00
SK90 - 4.38 0.690.550.044.240.01
SK90 - 4.39 0.580.560.03(timeout)0.02
SK90 - 4.40 0.800.570.130.030.14 (error)
SK90 - 4.41 0.590.500.000.310.01
SK90 - 4.42 0.880.590.52(timeout)0.01
SK90 - 4.43 0.650.450.03(timeout)0.02
SK90 - 4.44 0.530.540.010.060.01
SK90 - 4.45 0.530.460.0133.210.01
SK90 - 4.46 0.430.570.030.020.00
SK90 - 4.47 8.640.570.020.010.01
SK90 - 4.48 0.510.480.0249.350.00
SK90 - 4.49 0.650.510.200.010.01
SK90 - 4.50 0.550.460.020.520.01
SK90 - 4.51 1.070.520.056.840.31 (error)
SK90 - 4.52 0.620.590.02(timeout)0.00
SK90 - 4.53 0.700.530.18(timeout)0.00
SK90 - 4.54 0.800.520.780.020.10 (error)
SK90 - 4.55 0.650.520.010.220.00
SK90 - 4.56 0.590.450.030.010.00
SK90 - 4.57 0.650.550.0159.240.01
SK90 - 4.58 (timeout)0.530.377.3459.02 (error)
SK90 - 4.59 0.680.570.0259.510.01
SK90 - 4.60 0.780.570.01(timeout)0.19
SK90 - 4.61 5.800.490.0260.435.82
Ste92 - hydra 0.720.470.0459.230.01
Ste92 - minsort (timeout)0.6013.79(timeout)57.97 (error)
Ste92 - motivation 0.700.500.05(timeout)0.01
Ste92 - perfect2 1.210.4415.1659.650.00
Ste92 - perfect 0.810.540.0460.080.01
TRCSR - Ex1_2_AEL03_C (timeout)0.4536.340.01 (error)52.92 (error)
TRCSR - Ex1_2_AEL03_FR 1.040.610.050.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.210.530.040.01 (error)0.01
TRCSR - Ex1_2_Luc02c_C 0.820.530.070.01 (error)0.65
TRCSR - Ex1_2_Luc02c_FR 0.720.570.030.01 (error)0.01
TRCSR - Ex1_2_Luc02c_GM (timeout)0.460.330.02 (error)57.92 (error)
TRCSR - Ex1_2_Luc02c_Z 0.610.530.030.01 (error)0.00
TRCSR - Ex14_AEGL02_C (timeout)0.592.302.1358.86 (error)
TRCSR - Ex14_AEGL02_FR (timeout)0.540.094.1359.07 (error)
TRCSR - Ex14_AEGL02_GM 0.870.520.0725.523.15
TRCSR - Ex14_AEGL02_Z (timeout)0.510.072.5258.93 (error)
TRCSR - Ex15_Luc98_C 10.150.4521.6332.868.62
TRCSR - Ex15_Luc98_FR (timeout)0.451.4760.2558.83 (error)
TRCSR - Ex15_Luc98_GM 0.740.590.0159.0315.71
TRCSR - Ex15_Luc98_Z 0.990.481.3460.180.06
TRCSR - Ex1_GL02a_C (timeout)0.5730.902.7458.75 (error)
TRCSR - Ex1_GL02a_FR (timeout)0.510.8859.0458.67 (error)
TRCSR - Ex1_GL02a_GM 0.900.480.0319.500.02
TRCSR - Ex1_GL02a_Z (timeout)0.4924.1659.5858.51 (error)
TRCSR - Ex1_GM03_C (timeout)0.5010.9360.3258.82 (error)
TRCSR - Ex1_GM03_FR (timeout)0.4928.1660.2459.00 (error)
TRCSR - Ex1_GM03_GM (timeout)0.54(timeout)60.2557.88 (error)
TRCSR - Ex1_GM03_Z 0.860.600.030.010.01
TRCSR - Ex1_Luc02b_C (timeout)0.547.848.4858.74 (error)
TRCSR - Ex1_Luc02b_FR 1.190.570.18(timeout)0.19
TRCSR - Ex1_Luc02b_GM (timeout)0.5321.0342.1858.33 (error)
TRCSR - Ex1_Luc02b_Z 0.810.460.274.850.01
TRCSR - Ex1_Zan97_C 0.570.590.6624.6058.99 (error)
TRCSR - Ex1_Zan97_GM 0.590.490.030.360.01
TRCSR - Ex24_GM04_C (timeout)0.542.030.3458.96 (error)
TRCSR - Ex26_Luc03b_C (timeout)0.529.521.778.84
TRCSR - Ex26_Luc03b_FR (timeout)0.61(timeout)2.0457.62 (error)
TRCSR - Ex26_Luc03b_GM 3.520.460.211.011.12
TRCSR - Ex26_Luc03b_L 0.620.550.030.100.04
TRCSR - Ex26_Luc03b_Z (timeout)0.49(timeout)0.6757.54 (error)
TRCSR - Ex2_Luc02a_C (timeout)0.4933.121.857.06
TRCSR - Ex2_Luc02a_FR 1.160.460.060.960.13
TRCSR - Ex2_Luc02a_L 1.340.480.0734.530.00
TRCSR - Ex2_Luc02a_Z 0.780.470.070.690.02
TRCSR - Ex2_Luc03b_C 8.390.501.7819.9558.84 (error)
TRCSR - Ex2_Luc03b_FR 3.910.560.0660.232.07
TRCSR - Ex2_Luc03b_GM 2.390.540.0411.5153.51 (error)
TRCSR - Ex2_Luc03b_L 0.590.550.000.040.02
TRCSR - Ex2_Luc03b_Z 0.770.540.0557.810.03
TRCSR - Ex3_12_Luc96a_C (timeout)0.511.757.7219.75 (error)
TRCSR - Ex3_12_Luc96a_FR 0.690.560.11(timeout)0.02
TRCSR - Ex3_12_Luc96a_GM (timeout)0.591.6559.8459.78 (error)
TRCSR - Ex3_12_Luc96a_Z 0.720.500.09(timeout)0.02
TRCSR - Ex3_2_Luc97_C (timeout)0.5020.3629.0059.52 (error)
TRCSR - Ex3_2_Luc97_FR (timeout)0.614.96(timeout)59.51 (error)
TRCSR - Ex3_2_Luc97_GM (timeout)0.5145.38(timeout)58.51 (error)
TRCSR - Ex3_2_Luc97_Z (timeout)0.513.81(timeout)58.19 (error)
TRCSR - Ex3_3_25_Bor03_C (timeout)0.570.013.941.70
TRCSR - Ex3_3_25_Bor03_FR (timeout)0.550.0460.3659.72 (error)
TRCSR - Ex3_3_25_Bor03_GM 17.400.610.01(timeout)13.30
TRCSR - Ex3_3_25_Bor03_L 0.580.470.010.120.01
TRCSR - Ex3_3_25_Bor03_Z 0.610.480.010.010.01
TRCSR - Ex4_4_Luc96b_C 0.770.540.033.010.06
TRCSR - Ex4_4_Luc96b_FR 52.820.490.2910.3119.14 (error)
TRCSR - Ex4_4_Luc96b_GM 0.800.530.025.950.03
TRCSR - Ex4_4_Luc96b_L 0.500.510.020.100.01
TRCSR - Ex4_4_Luc96b_Z 0.820.510.210.029.13 (error)
TRCSR - Ex4_7_15_Bor03_C (timeout)0.1928.81(timeout)6.10 (error)
TRCSR - Ex4_7_15_Bor03_FR 0.810.490.01(timeout)0.04
TRCSR - Ex4_7_15_Bor03_GM 1.060.570.1160.010.00
TRCSR - Ex4_7_15_Bor03_L 0.490.560.030.030.00
TRCSR - Ex4_7_15_Bor03_Z 0.690.450.030.350.01
TRCSR - Ex4_7_37_Bor03_C (timeout)0.5021.294.4558.66 (error)
TRCSR - Ex4_7_37_Bor03_FR 1.240.510.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.220.557.2459.760.01
TRCSR - Ex4_7_56_Bor03_C (timeout)0.562.253.1914.62 (error)
TRCSR - Ex4_7_56_Bor03_FR 0.780.540.03(timeout)0.02
TRCSR - Ex4_7_56_Bor03_GM (timeout)0.581.20(timeout)59.73 (error)
TRCSR - Ex4_7_56_Bor03_Z 0.710.580.0160.010.00
TRCSR - Ex4_7_77_Bor03_C 1.650.560.4328.360.17
TRCSR - Ex4_7_77_Bor03_FR 0.570.480.000.350.01
TRCSR - Ex4_7_77_Bor03_GM 0.660.550.03(timeout)0.02
TRCSR - Ex4_7_77_Bor03_Z 0.610.560.020.340.00
TRCSR - Ex49_GM04_C (timeout)0.6033.914.0259.54 (error)
TRCSR - Ex49_GM04_FR (timeout)0.53(timeout)(timeout)59.29 (error)
TRCSR - Ex49_GM04_GM 57.120.5511.1029.1911.19
TRCSR - Ex49_GM04_Z 1.350.510.0439.590.02
TRCSR - Ex4_Zan97_C (timeout)0.543.915.2659.58 (error)
TRCSR - Ex4_Zan97_FR 0.760.580.175.470.01
TRCSR - Ex4_Zan97_GM (timeout)0.546.5360.4859.77 (error)
TRCSR - Ex4_Zan97_Z 0.760.550.251.370.02
TRCSR - Ex5_7_Luc97_C (timeout)0.5636.2836.8459.75 (error)
TRCSR - Ex5_7_Luc97_FR (timeout)0.505.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.453.98(timeout)58.16 (error)
TRCSR - Ex5_Zan97_C 1.920.550.73(timeout)0.26
TRCSR - Ex5_Zan97_FR 0.650.430.03(timeout)0.01
TRCSR - Ex5_Zan97_GM 0.730.490.3360.180.23
TRCSR - Ex5_Zan97_Z 0.580.570.037.930.01
TRCSR - Ex6_15_AEL02_C (timeout)0.5636.4521.6858.71 (error)
TRCSR - Ex6_15_AEL02_FR (timeout)0.500.93(timeout)58.41 (error)
TRCSR - Ex6_15_AEL02_GM (timeout)0.59(timeout)59.7159.77 (error)
TRCSR - Ex6_15_AEL02_Z (timeout)0.542.7259.6559.25 (error)
TRCSR - Ex6_9_Luc02c_C 0.840.480.090.01 (error)7.56
TRCSR - Ex6_9_Luc02c_FR 0.690.570.020.01 (error)0.02
TRCSR - Ex6_9_Luc02c_GM (timeout)0.551.090.00 (error)59.77 (error)
TRCSR - Ex6_9_Luc02c_Z 0.620.520.010.01 (error)0.02
TRCSR - Ex6_GM04_C 0.570.510.3125.6359.75 (error)
TRCSR - Ex6_GM04_GM 0.520.480.021.860.01
TRCSR - Ex6_GM04_L 0.530.550.020.010.00
TRCSR - Ex6_Luc98_C 7.180.481.1213.710.17
TRCSR - Ex6_Luc98_FR 1.090.500.08(timeout)0.19
TRCSR - Ex6_Luc98_GM 1.270.450.05(timeout)0.56
TRCSR - Ex6_Luc98_L 0.550.510.040.050.00
TRCSR - Ex6_Luc98_Z 0.640.560.0459.940.03
TRCSR - Ex7_BLR02_C (timeout)0.5117.530.00 (error)59.61 (error)
TRCSR - Ex7_BLR02_FR 1.160.590.220.01 (error)0.21
TRCSR - Ex7_BLR02_GM (timeout)0.46(timeout)0.00 (error)59.69 (error)
TRCSR - Ex7_BLR02_Z 0.870.480.220.01 (error)0.01
TRCSR - Ex8_BLR02_C (timeout)0.503.385.9459.63 (error)
TRCSR - Ex8_BLR02_FR 0.910.460.125.920.01
TRCSR - Ex8_BLR02_GM (timeout)0.5751.250.9959.66 (error)
TRCSR - Ex8_BLR02_Z 0.780.570.08(timeout)0.01
TRCSR - Ex9_BLR02_C (timeout)0.5218.4739.261.12
TRCSR - Ex9_BLR02_FR (timeout)0.512.3460.2859.72 (error)
TRCSR - Ex9_BLR02_GM 3.680.530.6950.475.02
TRCSR - Ex9_BLR02_L 0.640.530.030.280.00
TRCSR - Ex9_BLR02_Z 0.970.462.7060.372.23
TRCSR - Ex9_Luc04_C (timeout)0.560.93(timeout)58.98 (error)
TRCSR - ExAppendixB_AEL03_C (timeout)0.4736.360.00 (error)58.61 (error)
TRCSR - ExAppendixB_AEL03_FR 1.210.6112.080.01 (error)0.02
TRCSR - ExAppendixB_AEL03_GM (timeout)0.49(timeout)0.00 (error)58.69 (error)
TRCSR - ExAppendixB_AEL03_Z 1.130.5424.100.00 (error)0.03
TRCSR - ExConc_Zan97_C 1.090.540.0412.410.02
TRCSR - ExConc_Zan97_FR 0.660.500.036.350.01
TRCSR - ExConc_Zan97_GM 0.490.590.000.370.01
TRCSR - ExConc_Zan97_L 0.470.560.020.020.00
TRCSR - ExIntrod_GM01_C (timeout)0.4613.7013.419.03
TRCSR - ExIntrod_GM01_GM 6.170.5311.70(timeout)59.14 (error)
TRCSR - ExIntrod_GM04_C (timeout)0.469.8251.845.17
TRCSR - ExIntrod_GM04_GM 1.280.580.0450.886.64
TRCSR - ExIntrod_GM99_C (timeout)0.4432.3755.0358.90 (error)
TRCSR - ExIntrod_GM99_FR (timeout)0.57(timeout)54.5149.19 (error)
TRCSR - ExIntrod_GM99_GM (timeout)0.47(timeout)17.1758.14 (error)
TRCSR - ExIntrod_GM99_Z 1.630.5951.5360.3543.06 (error)
TRCSR - ExIntrod_Zan97_C (timeout)0.5115.171.2858.64 (error)
TRCSR - ExIntrod_Zan97_FR (timeout)0.4621.2355.2551.89 (error)
TRCSR - ExIntrod_Zan97_GM (timeout)0.55(timeout)3.3558.19 (error)
TRCSR - ExIntrod_Zan97_Z 0.870.490.020.000.01
TRCSR - ExSec11_1_Luc02a_C (timeout)0.5236.011.2127.64
TRCSR - ExSec11_1_Luc02a_FR 1.220.490.071.620.14
TRCSR - ExSec11_1_Luc02a_GM (timeout)0.56(timeout)1.302.99
TRCSR - ExSec11_1_Luc02a_L 3.060.590.101.470.01
TRCSR - ExSec11_1_Luc02a 3.180.550.090.480.04 (error)
TRCSR - ExSec11_1_Luc02a_Z 0.900.570.081.310.01
various - 01 0.650.540.020.510.00
various - 02 0.550.510.030.060.02
various - 03 0.580.580.0457.050.02
various - 04 (timeout)0.57(timeout)0.8955.90 (error)
various - 05 (timeout)0.50(timeout)0.5354.56 (error)
various - 06 0.600.560.030.850.01
various - 07 0.580.440.0260.490.01
various - 08 (timeout)0.52(timeout)0.6258.71 (error)
various - 09 0.660.480.020.550.02
various - 10 1.070.430.0159.910.04
various - 11 4.650.540.0456.350.03
various - 12 1.040.460.07(timeout)0.00
various - 13 1.500.520.09(timeout)0.01
various - 14 10.400.560.1258.980.09
various - 15 0.680.500.060.180.01
various - 16 0.580.590.0542.460.02
various - 17 0.690.480.0660.260.00
various - 18 0.560.540.0259.280.00
various - 19 0.730.500.0159.000.01
various - 20 0.600.560.07 (error)15.230.06 (error)
various - 21 0.640.505.7757.430.04
various - 22 0.680.460.0153.870.01
various - 23 0.490.530.0254.430.03
various - 24 0.650.530.0460.18 (error)0.01
various - 25 0.590.520.040.050.01
various - 26 0.750.520.020.390.01
various - 27 0.540.570.010.010.01
cariboo - ex6 0.200.540.01 (error)0.010.01 (error)
cariboo - ex5 0.270.600.01 (error)0.680.00 (error)
cariboo - ex4 0.270.560.01 (error)2.960.00 (error)
cariboo - ex3 0.250.580.01 (error)0.440.01 (error)
cariboo - ex2 0.200.620.01 (error)0.490.01 (error)
cariboo - ex1 0.230.580.02 (error)0.530.00 (error)
cariboo - tricky1 (timeout)0.580.070.660.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