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.6232.35(timeout)24.79(timeout)0.40
TRS/AG01 - #3.11 1.9636.10(timeout)57.75(timeout)0.51
TRS/AG01 - #3.12 0.860.01(timeout)0.020.070.01
TRS/AG01 - #3.13 1.92(timeout)(timeout)24.88(timeout)0.58
TRS/AG01 - #3.14 0.720.01(timeout)0.010.020.01
TRS/AG01 - #3.15 0.730.05(timeout)0.020.030.00
TRS/AG01 - #3.16 0.740.03(timeout)0.010.010.02
TRS/AG01 - #3.17a 1.571.69(timeout)51.990.460.03
TRS/AG01 - #3.17 1.140.36(timeout)52.040.440.04
TRS/AG01 - #3.18 0.970.67(timeout)8.57(timeout)0.02
TRS/AG01 - #3.19 1.123.13(timeout)9.43(timeout)0.02
TRS/AG01 - #3.1 0.790.02(timeout)24.040.190.01
TRS/AG01 - #3.21 0.900.05(timeout)0.120.020.02
TRS/AG01 - #3.22 0.940.17(timeout)0.130.230.02
TRS/AG01 - #3.23 0.620.01(timeout)0.040.110.01
TRS/AG01 - #3.24 0.690.020.190.020.020.02
TRS/AG01 - #3.26 0.860.0346.900.010.020.02
TRS/AG01 - #3.29 0.630.03(timeout)0.020.110.02
TRS/AG01 - #3.2 0.800.02(timeout)3.410.220.01
TRS/AG01 - #3.31 0.810.020.750.020.010.01
TRS/AG01 - #3.33 0.700.010.040.320.100.02
TRS/AG01 - #3.35 0.670.020.830.020.110.01
TRS/AG01 - #3.36 1.000.06(timeout)0.000.140.02
TRS/AG01 - #3.37 0.791.362.080.030.120.00
TRS/AG01 - #3.38 0.990.02(timeout)54.251.940.15
TRS/AG01 - #3.39 1.0324.19(timeout)23.30(timeout)0.03
TRS/AG01 - #3.40 1.16(timeout)(timeout)(timeout)(timeout)2.60
TRS/AG01 - #3.41 0.810.3519.940.040.030.02
TRS/AG01 - #3.42 1.1412.35(timeout)0.110.060.01
TRS/AG01 - #3.47 0.760.022.810.020.140.01
TRS/AG01 - #3.48 0.800.02(timeout)0.502.430.08
TRS/AG01 - #3.49 0.7112.40(timeout)56.260.310.02
TRS/AG01 - #3.4 0.920.03(timeout)13.440.590.00
TRS/AG01 - #3.51 0.750.013.060.020.110.05
TRS/AG01 - #3.52 0.620.0011.11(timeout)(timeout)0.02
TRS/AG01 - #3.53a 0.680.02(timeout)0.010.080.01
TRS/AG01 - #3.53b 0.690.01(timeout)10.05(timeout)0.02
TRS/AG01 - #3.53 1.620.03(timeout)(timeout)0.410.07
TRS/AG01 - #3.54 0.810.02(timeout)11.910.160.03
TRS/AG01 - #3.55 2.2336.10(timeout)56.75(timeout)0.60
TRS/AG01 - #3.56 0.770.028.2556.160.300.01
TRS/AG01 - #3.57 1.500.34(timeout)55.633.360.04
TRS/AG01 - #3.5a 1.0736.08(timeout)10.19(timeout)0.02
TRS/AG01 - #3.5b 1.3136.09(timeout)(timeout)(timeout)0.04
TRS/AG01 - #3.5 1.0536.06(timeout)(timeout)(timeout)0.03
TRS/AG01 - #3.6a 1.120.05(timeout)43.79(timeout)0.03
TRS/AG01 - #3.6b 1.4448.13(timeout)29.16(timeout)0.05
TRS/AG01 - #3.6 1.130.06(timeout)10.18(timeout)0.04
TRS/AG01 - #3.7 0.850.028.670.010.020.02
TRS/AG01 - #3.8a 1.210.03(timeout)6.150.700.02
TRS/AG01 - #3.8b 1.240.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.670.20(timeout)13.340.690.02
TRS/AProVE - forward_instantiation2 0.850.05(timeout)0.4927.300.16
TRS/AProVE - forward_instantiation 0.700.03(timeout)0.7118.570.14
TRS/AProVE - IJCAR_12 1.4430.09(timeout)29.42(timeout)0.02
TRS/AProVE - IJCAR_18 1.9930.08(timeout)(timeout)(timeout)0.03
TRS/AProVE - IJCAR_1 0.8419.6420.234.98(timeout)0.02
TRS/AProVE - IJCAR_26a 2.250.21(timeout)41.75(timeout)0.03
TRS/AProVE - IJCAR_26 2.320.22(timeout)(timeout)(timeout)0.04
TRS/AProVE - improved_usable2 0.680.060.160.020.110.01
TRS/AProVE - improved_usable 5.020.561.640.010.142.54
TRS/AProVE - JFP_Ex17 0.910.05(timeout)0.040.040.08
TRS/AProVE - JFP_Ex31 54.0319.69(timeout)40.34(timeout)13.67
TRS/AProVE - JFP_Ex51 9.054.82(timeout)18.25(timeout)6.45
TRS/AProVE - Liveness6.1 5.790.35(timeout)0.050.745.16
TRS/AProVE - Liveness6.2 0.962.33(timeout)0.031.226.02
TRS/AProVE - Liveness6.3 16.165.04(timeout)0.221.648.23
TRS/AProVE - Liveness6.4 51.97(timeout)(timeout)55.31(timeout)14.13
TRS/AProVE - Liveness8 2.4320.76(timeout)49.4318.760.39
TRS/AProVE - Liveness_WRS 2.7617.92(timeout)0.255.3211.69
TRS/AProVE - LPAR_intlist 0.920.04(timeout)59.343.710.00
TRS/AProVE - rta1 1.040.36(timeout)28.25(timeout)0.03
TRS/AProVE - rta2 0.570.007.010.010.090.11
TRS/AProVE - rta3 0.950.24(timeout)3.10(timeout)4.82
TRS/Cime - ack_prolog 0.761.02(timeout)48.112.340.02
TRS/Cime - append-hard 5.4112.09(timeout)10.87(timeout)10.01
TRS/Cime - append 0.860.01(timeout)9.451.450.02
TRS/Cime - append-wrong 1.2512.1743.9510.87(timeout)10.26
TRS/Cime - big 4.250.43(timeout)(timeout)(timeout)0.78
TRS/Cime - boolean_rings 0.920.02(timeout)0.010.020.03
TRS/Cime - dpqs 0.700.020.870.030.120.01
TRS/Cime - fact-hard 5.9215.10(timeout)25.48(timeout)10.26
TRS/Cime - filliatre2 5.479.67(timeout)(timeout)(timeout)1.05
TRS/Cime - filliatre3 3.999.58(timeout)(timeout)(timeout)1.09
TRS/Cime - filliatre 1.760.04(timeout)(timeout)15.633.30
TRS/Cime - intersect 1.530.16(timeout)18.43(timeout)0.07
TRS/Cime - list-sum-prod-assoc-append 1.210.08(timeout)0.000.020.01
TRS/Cime - list-sum-prod-assoc 0.990.08(timeout)0.000.020.01
TRS/Cime - list-sum-prod-bin-assoc-distr-app 1.730.20(timeout)19.69(timeout)0.06
TRS/Cime - list-sum-prod-bin-assoc 1.500.18(timeout)20.49(timeout)0.06
TRS/Cime - list-sum-prod-bin 1.190.09(timeout)19.04(timeout)0.02
TRS/Cime - list-sum-prod 1.290.05(timeout)0.000.000.01
TRS/Cime - log2 7.290.17(timeout)12.77(timeout)0.06
TRS/Cime - lse 1.610.23(timeout)21.21(timeout)0.06
TRS/Cime - maude2 55.0135.51(timeout)19.68(timeout)24.08
TRS/Cime - mucrl1 13.370.56(timeout)(timeout)(timeout)4.57
TRS/Cime - quick 1.380.42(timeout)(timeout)(timeout)3.05
TRS/Cime - ternary-hard 1.7220.67(timeout)21.48(timeout)0.08
TRS/Cime - ternary 1.871.25(timeout)28.410.790.07
TRS/Cime - tree 3.410.17(timeout)15.710.431.13
TRS/D33 - 01 0.690.000.050.010.000.01
TRS/D33 - 02 0.700.030.060.000.020.01
TRS/D33 - 03 0.660.010.170.020.020.01
TRS/D33 - 04 0.800.01(timeout)0.030.010.01
TRS/D33 - 06 0.620.000.350.010.010.02
TRS/D33 - 07 0.840.01(timeout)0.000.030.02
TRS/D33 - 08 0.850.03(timeout)0.000.010.01
TRS/D33 - 09 0.600.026.570.020.010.00
TRS/D33 - 11 1.160.02(timeout)0.010.020.01
TRS/D33 - 12 0.790.20(timeout)37.35(timeout)0.02
TRS/D33 - 13 5.470.0710.490.000.042.46
TRS/D33 - 17 0.630.02(timeout)0.010.030.01
TRS/D33 - 18 0.630.01(timeout)0.010.010.02
TRS/D33 - 20 1.280.02(timeout)0.030.130.03
TRS/D33 - 21 1.010.08(timeout)10.18(timeout)0.02
TRS/D33 - 27 0.640.020.670.020.020.01
TRS/D33 - 28 0.660.1219.570.000.020.01
TRS/D33 - 30 0.920.01(timeout)0.030.020.01
TRS/D33 - 31 0.730.01(timeout)22.510.160.01
TRS/D33 - 32 1.046.35(timeout)(timeout)(timeout)0.03
TRS/D33 - 33 (timeout)0.3238.32(timeout)(timeout)7.25
TRS/HM - n002 0.760.020.000.000.030.01
TRS/HM - n003 0.770.010.000.010.020.00
TRS/HM - n004 0.800.030.020.010.030.00
TRS/HM - n005 0.930.020.020.010.030.01
TRS/HM - n006 0.850.000.020.050.020.02
TRS/HM - n007 0.730.030.021.720.770.02
TRS/HM - n008 0.760.020.020.010.030.01
TRS/HM - t000 1.190.10(timeout)0.010.090.40
TRS/HM - t001 5.4327.83(timeout)12.93(timeout)0.17
TRS/HM - t002 1.0312.05(timeout)10.54(timeout)0.03
TRS/HM - t003 1.350.00(timeout)15.90(timeout)0.08
TRS/HM - t004 1.400.0610.622.040.030.02
TRS/HM - t005 13.440.58(timeout)29.095.083.89
TRS/HM - t006 0.650.02(timeout)0.020.000.00
TRS/HM - t007 0.770.012.970.020.010.02
TRS/HM - t008 1.360.09(timeout)2.435.030.00
TRS/HM - t009 (timeout)(timeout)(timeout)(timeout)(timeout)(timeout)
TRS/HM - t010 0.790.021.450.000.050.01
TRS/HM - t011 0.640.03(timeout)14.340.300.01
TRS/HM - t012 1.430.05(timeout)34.670.170.03
TRS/HM - t013 1.000.04(timeout)0.010.220.02
TRS/HM - t014 1.060.05(timeout)10.593.740.02
TRS/HofWald - 1 0.740.320.060.110.300.04
TRS/HofWald - 2 0.782.3214.4111.121.520.02
TRS/HofWald - 3 0.550.250.900.28(timeout)3.24
TRS/HofWald - 4 1.280.180.610.151.031.38
TRS/HofWald - 5 0.680.060.760.060.113.13
TRS/HofWald - 6 2.080.0824.7614.20(timeout)1.02
TRS/HofWald - 7 (timeout)0.35(timeout)20.08(timeout)1.43
TRS/LJB01 - jones1 0.650.023.600.010.020.00
TRS/LJB01 - jones2 0.710.67(timeout)0.09(timeout)0.02
TRS/LJB01 - jones4 0.620.032.420.010.000.01
TRS/LJB01 - jones5 0.640.02(timeout)0.000.130.02
TRS/LJB01 - jones6 0.780.0119.950.020.020.03
TRS/Rubio - ackclaude 0.831.04(timeout)47.772.570.03
TRS/Rubio - aoto 0.800.03(timeout)0.010.030.02
TRS/Rubio - bintrees 0.680.02(timeout)0.020.020.00
TRS/Rubio - bn122 0.630.0216.480.010.100.01
TRS/Rubio - bn129 0.840.14(timeout)56.140.030.00
TRS/Rubio - division 1.000.10(timeout)(timeout)12.610.02
TRS/Rubio - elimdupl 1.080.28(timeout)59.2948.140.04
TRS/Rubio - enno 1.390.02(timeout)(timeout)(timeout)2.27
TRS/Rubio - gcd 1.420.04(timeout)10.13(timeout)0.03
TRS/Rubio - gmnp 0.710.014.730.010.070.02
TRS/Rubio - gm 0.850.02(timeout)5.090.200.02
TRS/Rubio - koen 0.570.0243.470.020.020.03
TRS/Rubio - lescanne 0.610.01(timeout)0.030.020.02
TRS/Rubio - lindau 0.680.100.340.050.130.02
TRS/Rubio - logarquot 1.170.03(timeout)15.890.490.02
TRS/Rubio - ma96 3.090.10(timeout)(timeout)(timeout)1.49
TRS/Rubio - mfp90b 0.630.030.090.000.020.00
TRS/Rubio - mfp95 0.610.020.120.020.020.01
TRS/Rubio - nestrec 1.040.0326.630.110.020.02
TRS/Rubio - p266 0.620.011.330.020.050.01
TRS/Rubio - polo2 1.14(timeout)(timeout)0.010.010.02
TRS/Rubio - prov 0.730.04(timeout)0.040.140.00
TRS/Rubio - quick 1.4336.10(timeout)58.62(timeout)0.53
TRS/Rubio - quotminus 0.880.03(timeout)16.890.530.01
TRS/Rubio - revlist 0.960.05(timeout)59.931.450.07
TRS/Rubio - selsort 2.432.30(timeout)(timeout)(timeout)0.28
TRS/Rubio - test4 0.789.840.670.030.050.02
TRS/Rubio - test829 0.670.012.050.010.020.01
TRS/Rubio - wst99 2.370.09(timeout)3.23(timeout)0.12
TRS/SK90 - 2.01 0.630.04(timeout)0.010.000.01
TRS/SK90 - 2.02 0.620.07(timeout)0.010.010.03
TRS/SK90 - 2.03 0.620.0212.550.010.020.01
TRS/SK90 - 2.04 0.650.025.730.010.000.02
TRS/SK90 - 2.05 1.040.482.5240.27(timeout)2.76
TRS/SK90 - 2.06 0.720.0244.290.010.020.03
TRS/SK90 - 2.07 0.740.07(timeout)0.000.020.01
TRS/SK90 - 2.08 0.900.0245.480.020.020.01
TRS/SK90 - 2.09 0.640.022.840.010.020.01
TRS/SK90 - 2.10 0.720.01(timeout)0.010.030.01
TRS/SK90 - 2.11 0.720.010.480.020.020.02
TRS/SK90 - 2.12 0.870.06(timeout)0.010.020.00
TRS/SK90 - 2.13 0.760.03(timeout)0.020.000.01
TRS/SK90 - 2.14 0.870.024.210.010.000.01
TRS/SK90 - 2.15 0.800.040.130.010.010.02
TRS/SK90 - 2.16 0.900.12(timeout)0.000.020.03
TRS/SK90 - 2.17 0.710.003.950.010.020.03
TRS/SK90 - 2.18 0.890.06(timeout)0.000.010.01
TRS/SK90 - 2.19 0.830.1354.970.010.010.02
TRS/SK90 - 2.20 0.850.030.140.010.010.01
TRS/SK90 - 2.21 0.740.0234.750.010.010.01
TRS/SK90 - 2.22 0.930.02(timeout)0.010.020.00
TRS/SK90 - 2.23 0.800.06(timeout)0.010.020.01
TRS/SK90 - 2.24 0.680.032.790.020.020.00
TRS/SK90 - 2.25 0.790.07(timeout)0.000.020.01
TRS/SK90 - 2.26 1.010.32(timeout)0.010.010.01
TRS/SK90 - 2.27 1.940.02(timeout)0.020.010.02
TRS/SK90 - 2.28 0.560.03(timeout)0.010.020.01
TRS/SK90 - 2.29 0.840.02(timeout)0.010.020.02
TRS/SK90 - 2.30 0.680.015.280.010.020.02
TRS/SK90 - 2.31 0.710.0111.190.000.030.00
TRS/SK90 - 2.32 0.750.02(timeout)0.000.010.01
TRS/SK90 - 2.33 0.690.02(timeout)0.010.030.01
TRS/SK90 - 2.34 0.780.03(timeout)0.010.020.00
TRS/SK90 - 2.35 0.660.02(timeout)0.010.070.02
TRS/SK90 - 2.36 0.630.03(timeout)0.020.020.01
TRS/SK90 - 2.37 0.690.013.260.010.010.01
TRS/SK90 - 2.38 0.710.0213.470.010.000.01
TRS/SK90 - 2.39 0.720.02(timeout)0.000.020.02
TRS/SK90 - 2.40 0.730.03(timeout)0.020.020.01
TRS/SK90 - 2.41 0.670.028.170.010.010.02
TRS/SK90 - 2.42 0.760.04(timeout)0.020.040.01
TRS/SK90 - 2.43 0.950.02(timeout)0.010.020.00
TRS/SK90 - 2.44 1.180.01(timeout)(timeout)33.150.01
TRS/SK90 - 2.45 0.500.02(timeout)0.010.020.03
TRS/SK90 - 2.46 0.800.0054.510.010.020.00
TRS/SK90 - 2.47 0.730.020.980.010.020.00
TRS/SK90 - 2.48 0.680.000.060.000.020.02
TRS/SK90 - 2.49 0.800.051.960.010.020.06
TRS/SK90 - 2.50 0.720.010.300.020.000.00
TRS/SK90 - 2.51 0.830.14(timeout)0.020.010.01
TRS/SK90 - 2.52 1.103.14(timeout)46.681.090.00
TRS/SK90 - 2.53 0.670.010.900.010.020.01
TRS/SK90 - 2.54 0.640.020.450.010.010.01
TRS/SK90 - 2.55 0.600.011.070.020.020.01
TRS/SK90 - 2.56 0.670.030.190.010.030.01
TRS/SK90 - 2.57 0.640.010.310.000.000.01
TRS/SK90 - 2.58 0.700.00(timeout)0.010.080.01
TRS/SK90 - 2.59 0.660.00(timeout)0.020.020.03
TRS/SK90 - 2.60 0.740.030.010.000.020.00
TRS/SK90 - 2.61 0.720.01(timeout)0.000.010.02
TRS/SK90 - 4.01 0.710.022.020.000.010.01
TRS/SK90 - 4.02 6.310.30(timeout)0.010.000.18
TRS/SK90 - 4.03 0.870.05(timeout)0.000.020.01
TRS/SK90 - 4.04 0.670.017.160.020.020.00
TRS/SK90 - 4.05 0.650.03(timeout)0.020.010.02
TRS/SK90 - 4.06 0.850.120.0317.05(timeout)6.08
TRS/SK90 - 4.07 0.650.028.980.010.020.01
TRS/SK90 - 4.08 0.660.017.950.010.020.01
TRS/SK90 - 4.09 0.740.04(timeout)0.010.020.02
TRS/SK90 - 4.10 0.830.03(timeout)0.000.020.02
TRS/SK90 - 4.11 0.680.011.040.000.010.01
TRS/SK90 - 4.12 0.690.03(timeout)0.020.030.01
TRS/SK90 - 4.13 0.9612.05(timeout)48.650.020.02
TRS/SK90 - 4.14 0.890.05(timeout)0.000.030.01
TRS/SK90 - 4.15 0.650.011.410.010.020.02
TRS/SK90 - 4.16 0.740.0320.210.010.020.01
TRS/SK90 - 4.17 3.501.4613.7710.210.950.02
TRS/SK90 - 4.18 0.660.010.162.490.020.01
TRS/SK90 - 4.19 0.610.03(timeout)0.000.020.02
TRS/SK90 - 4.20 0.830.01(timeout)0.010.020.03
TRS/SK90 - 4.21 0.800.04(timeout)0.010.010.01
TRS/SK90 - 4.22 0.760.13(timeout)0.010.020.00
TRS/SK90 - 4.23 0.810.13(timeout)0.010.030.02
TRS/SK90 - 4.24 16.270.23(timeout)10.65(timeout)5.88
TRS/SK90 - 4.25 0.680.0110.770.030.010.01
TRS/SK90 - 4.26 0.730.03(timeout)0.020.030.01
TRS/SK90 - 4.27 1.020.0133.7758.192.780.00
TRS/SK90 - 4.28 0.980.01(timeout)0.000.020.03
TRS/SK90 - 4.29 0.740.020.840.000.010.02
TRS/SK90 - 4.30 0.860.02(timeout)4.110.380.03
TRS/SK90 - 4.31 0.790.02(timeout)24.560.120.00
TRS/SK90 - 4.32 1.800.41(timeout)2.445.800.03
TRS/SK90 - 4.33 0.710.030.210.010.010.02
TRS/SK90 - 4.34 0.960.040.0127.57(timeout)0.04
TRS/SK90 - 4.35 0.640.030.030.010.010.00
TRS/SK90 - 4.36 0.650.020.190.010.020.04
TRS/SK90 - 4.37 0.690.020.220.010.020.00
TRS/SK90 - 4.38 0.730.01(timeout)0.000.010.00
TRS/SK90 - 4.39 0.590.038.980.010.010.00
TRS/SK90 - 4.40 1.200.150.054.16(timeout)0.08
TRS/SK90 - 4.41 0.720.010.330.010.020.02
TRS/SK90 - 4.42 0.872.78(timeout)41.74(timeout)0.02
TRS/SK90 - 4.43 0.730.02(timeout)0.030.020.02
TRS/SK90 - 4.44 0.660.020.120.010.040.02
TRS/SK90 - 4.45 0.650.020.260.000.020.01
TRS/SK90 - 4.46 0.620.010.010.010.020.02
TRS/SK90 - 4.47 5.550.00(timeout)0.070.010.99
TRS/SK90 - 4.48 0.660.0242.740.010.010.02
TRS/SK90 - 4.49 0.840.190.004.400.630.01
TRS/SK90 - 4.50 0.460.028.490.010.030.03
TRS/SK90 - 4.51 0.670.040.690.010.030.50
TRS/SK90 - 4.52 0.750.06(timeout)0.000.000.00
TRS/SK90 - 4.53 0.730.16(timeout)0.000.020.03
TRS/SK90 - 4.54 0.990.690.0420.34(timeout)2.23
TRS/SK90 - 4.55 0.730.002.620.000.040.00
TRS/SK90 - 4.56 0.700.010.030.020.010.02
TRS/SK90 - 4.57 0.740.01(timeout)1.130.200.01
TRS/SK90 - 4.58 50.520.3239.40(timeout)(timeout)7.20
TRS/SK90 - 4.59 1.080.00(timeout)19.390.180.01
TRS/SK90 - 4.60 1.110.02(timeout)15.8634.700.05
TRS/SK90 - 4.61 1.350.02(timeout)9.66(timeout)0.84
TRS/Ste92 - hydra 0.710.02(timeout)28.370.390.02
TRS/Ste92 - minsort (timeout)13.80(timeout)17.99(timeout)10.58
TRS/Ste92 - motivation 0.740.06(timeout)0.000.050.02
TRS/Ste92 - perfect2 1.1815.17(timeout)15.54(timeout)0.09
TRS/Ste92 - perfect 0.940.02(timeout)10.770.020.04
TRS/TRCSR - Ex1_2_AEL03_C (timeout)36.22(timeout)(timeout)(timeout)58.68
TRS/TRCSR - Ex1_2_AEL03_FR 1.490.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.350.06(timeout)9.08(timeout)0.04
TRS/TRCSR - Ex1_2_Luc02c_C 0.960.04(timeout)0.030.130.45
TRS/TRCSR - Ex1_2_Luc02c_FR 1.020.02(timeout)0.010.010.01
TRS/TRCSR - Ex1_2_Luc02c_GM (timeout)0.32(timeout)4.42(timeout)5.38
TRS/TRCSR - Ex1_2_Luc02c_Z 0.780.01(timeout)0.010.000.00
TRS/TRCSR - Ex14_AEGL02_C (timeout)8.08(timeout)(timeout)(timeout)15.53
TRS/TRCSR - Ex14_AEGL02_FR 1.860.71(timeout)18.67(timeout)5.67
TRS/TRCSR - Ex14_AEGL02_GM 1.330.07(timeout)22.80(timeout)2.57
TRS/TRCSR - Ex14_AEGL02_Z 1.600.56(timeout)0.58(timeout)5.10
TRS/TRCSR - Ex15_Luc98_C 4.6121.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.060.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.170.02(timeout)0.010.010.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.170.040.005.52(timeout)0.01
TRS/TRCSR - Ex1_Luc02b_C (timeout)19.41(timeout)(timeout)(timeout)13.71
TRS/TRCSR - Ex1_Luc02b_FR 1.285.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.0612.06(timeout)4.2511.620.00
TRS/TRCSR - Ex1_Zan97_C 8.683.8429.860.273.5011.76
TRS/TRCSR - Ex1_Zan97_GM 0.820.022.750.000.010.02
TRS/TRCSR - Ex24_GM04_C 54.0516.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.950.06(timeout)7.96(timeout)(timeout)
TRS/TRCSR - Ex26_Luc03b_L 0.790.040.280.000.000.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.550.05(timeout)(timeout)(timeout)1.83
TRS/TRCSR - Ex2_Luc02a_L 1.470.06(timeout)0.000.010.01
TRS/TRCSR - Ex2_Luc02a_Z 1.130.06(timeout)(timeout)(timeout)0.02
TRS/TRCSR - Ex2_Luc03b_C 4.306.50(timeout)(timeout)(timeout)20.96
TRS/TRCSR - Ex2_Luc03b_FR 1.540.02(timeout)7.06(timeout)5.57
TRS/TRCSR - Ex2_Luc03b_GM 1.980.08(timeout)9.08(timeout)8.63
TRS/TRCSR - Ex2_Luc03b_L 0.770.030.030.010.020.01
TRS/TRCSR - Ex2_Luc03b_Z 0.870.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.880.36(timeout)1.640.010.01
TRS/TRCSR - Ex3_12_Luc96a_GM (timeout)3.30(timeout)8.59(timeout)6.20
TRS/TRCSR - Ex3_12_Luc96a_Z 0.880.98(timeout)0.520.020.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.770.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.290.02(timeout)25.21(timeout)24.15
TRS/TRCSR - Ex3_3_25_Bor03_L 0.720.010.260.000.020.01
TRS/TRCSR - Ex3_3_25_Bor03_Z 3.480.020.000.01(timeout)0.03
TRS/TRCSR - Ex4_4_Luc96b_C 0.820.0338.720.000.130.02
TRS/TRCSR - Ex4_4_Luc96b_FR 2.220.52(timeout)20.64(timeout)3.70
TRS/TRCSR - Ex4_4_Luc96b_GM 0.990.026.2418.470.290.01
TRS/TRCSR - Ex4_4_Luc96b_L 0.720.000.130.010.010.00
TRS/TRCSR - Ex4_4_Luc96b_Z 1.130.450.010.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.090.07(timeout)0.010.280.05
TRS/TRCSR - Ex4_7_15_Bor03_GM 1.032.55(timeout)0.040.330.01
TRS/TRCSR - Ex4_7_15_Bor03_L 0.590.020.010.000.010.01
TRS/TRCSR - Ex4_7_15_Bor03_Z 0.880.021.550.010.040.02
TRS/TRCSR - Ex4_7_37_Bor03_C (timeout)26.10(timeout)(timeout)(timeout)(timeout)
TRS/TRCSR - Ex4_7_37_Bor03_FR 1.8018.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.2112.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.780.00(timeout)1.710.020.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.830.01(timeout)0.540.020.03
TRS/TRCSR - Ex4_7_77_Bor03_C 2.142.10(timeout)1.2940.740.18
TRS/TRCSR - Ex4_7_77_Bor03_GM 0.700.03(timeout)0.010.030.02
TRS/TRCSR - Ex4_7_77_Bor03_Z 0.680.020.380.020.000.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.055.08(timeout)18.29(timeout)6.34
TRS/TRCSR - Ex49_GM04_Z 1.230.03(timeout)9.5423.240.03
TRS/TRCSR - Ex4_Zan97_C 50.7313.94(timeout)(timeout)(timeout)20.16
TRS/TRCSR - Ex4_Zan97_FR 0.840.82(timeout)4.740.020.01
TRS/TRCSR - Ex4_Zan97_GM (timeout)21.95(timeout)20.54(timeout)17.43
TRS/TRCSR - Ex4_Zan97_Z 0.8312.06(timeout)1.600.020.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.463.16(timeout)(timeout)44.090.39
TRS/TRCSR - Ex5_Zan97_FR 0.780.00(timeout)0.000.010.01
TRS/TRCSR - Ex5_Zan97_GM 0.750.06(timeout)56.11(timeout)0.21
TRS/TRCSR - Ex5_Zan97_Z 0.590.01(timeout)0.000.000.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.590.09(timeout)0.050.092.72
TRS/TRCSR - Ex6_9_Luc02c_FR 0.930.02(timeout)7.52(timeout)0.00
TRS/TRCSR - Ex6_9_Luc02c_GM 51.941.33(timeout)21.55(timeout)12.43
TRS/TRCSR - Ex6_9_Luc02c_Z 0.680.03(timeout)0.390.160.01
TRS/TRCSR - Ex6_GM04_C 4.130.8832.750.383.175.64
TRS/TRCSR - Ex6_GM04_GM 0.620.022.100.010.020.03
TRS/TRCSR - Ex6_GM04_L 0.570.000.020.000.020.01
TRS/TRCSR - Ex6_Luc98_C 5.996.43(timeout)(timeout)(timeout)0.24
TRS/TRCSR - Ex6_Luc98_FR 1.460.87(timeout)(timeout)(timeout)2.26
TRS/TRCSR - Ex6_Luc98_GM 1.070.03(timeout)(timeout)(timeout)0.59
TRS/TRCSR - Ex6_Luc98_L 0.620.010.050.010.010.02
TRS/TRCSR - Ex6_Luc98_Z 0.720.01(timeout)(timeout)2.360.01
TRS/TRCSR - Ex7_BLR02_C (timeout)22.79(timeout)(timeout)(timeout)59.32
TRS/TRCSR - Ex7_BLR02_FR 1.155.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.9112.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.900.55(timeout)12.060.020.03
TRS/TRCSR - Ex8_BLR02_GM (timeout)(timeout)(timeout)23.22(timeout)24.68
TRS/TRCSR - Ex8_BLR02_Z 0.861.62(timeout)10.640.010.00
TRS/TRCSR - Ex9_BLR02_C 8.7721.39(timeout)(timeout)(timeout)3.51
TRS/TRCSR - Ex9_BLR02_FR 45.6921.27(timeout)(timeout)(timeout)33.89
TRS/TRCSR - Ex9_BLR02_GM 2.520.46(timeout)(timeout)(timeout)25.29
TRS/TRCSR - Ex9_BLR02_L 0.690.015.490.000.030.03
TRS/TRCSR - Ex9_BLR02_Z 1.716.61(timeout)(timeout)(timeout)2.17
TRS/TRCSR - Ex9_Luc04_C 56.122.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.2412.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.3824.09(timeout)13.14(timeout)0.04
TRS/TRCSR - ExConc_Zan97_C 1.270.0418.810.010.030.01
TRS/TRCSR - ExConc_Zan97_FR 0.810.0229.510.010.010.00
TRS/TRCSR - ExConc_Zan97_GM 0.680.0125.620.010.010.01
TRS/TRCSR - ExConc_Zan97_L 0.310.010.020.010.010.00
TRS/TRCSR - ExIntrod_GM01_C 12.5724.61(timeout)59.85(timeout)4.31
TRS/TRCSR - ExIntrod_GM01_GM 6.4830.90(timeout)58.12(timeout)8.93
TRS/TRCSR - ExIntrod_GM04_C 12.4222.13(timeout)(timeout)(timeout)4.22
TRS/TRCSR - ExIntrod_GM04_GM 0.910.02(timeout)0.030.020.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.0151.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.3155.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.700.030.0115.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.660.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.240.08(timeout)0.010.020.00
TRS/TRCSR - ExSec11_1_Luc02a_Z 1.110.08(timeout)31.92(timeout)0.02
TRS/various - 02 0.650.020.770.30(timeout)0.00
TRS/various - 03 0.630.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.630.0417.360.010.000.00
TRS/various - 07 0.600.010.500.010.020.00
TRS/various - 08 (timeout)(timeout)(timeout)(timeout)(timeout)(timeout)
TRS/various - 09 0.710.01(timeout)0.010.010.01
TRS/various - 10 1.560.01(timeout)36.20(timeout)0.05
TRS/various - 11 5.120.03(timeout)0.462.400.06
TRS/various - 12 1.080.05(timeout)0.000.150.02
TRS/various - 13 1.590.08(timeout)0.040.500.03
TRS/various - 14 6.930.11(timeout)20.58(timeout)1.11
TRS/various - 15 1.200.030.5110.460.000.02
TRS/various - 18 0.670.01(timeout)0.030.020.02
TRS/various - 19 0.990.01(timeout)0.000.080.04
TRS/various - 20 1.190.151.892.32(timeout)0.05
TRS/various - 21 0.836.24(timeout)0.000.020.08
TRS/various - 22 0.810.01(timeout)0.020.120.02
TRS/various - 23 0.730.02(timeout)0.010.010.01
TRS/various - 24 0.840.03(timeout)0.240.100.02
TRS/various - 25 0.700.000.030.020.070.00
TRS/various - 26 0.760.03(timeout)1.590.090.01
TRS/various - 27 0.640.020.010.010.000.02
TRS/Zantema - jw01 0.570.540.040.050.150.03
TRS/Zantema - jw02 0.660.490.060.100.247.26
TRS/Zantema - jw03 0.580.140.050.050.110.69
TRS/Zantema - jw04 0.630.380.040.050.100.70
TRS/Zantema - jw05 0.610.470.060.100.077.27
TRS/Zantema - jw06 0.640.550.040.050.070.02
TRS/Zantema - jw07 0.660.420.070.106.870.25
TRS/Zantema - jw08 0.590.620.060.101.387.89
TRS/Zantema - jw09 0.870.350.060.110.286.88
TRS/Zantema - jw11 0.730.7710.550.070.1010.42
TRS/Zantema - jw12 0.700.810.090.080.107.79
TRS/Zantema - jw13 0.800.6524.520.060.370.02
TRS/Zantema - jw14 0.510.550.030.050.150.00
TRS/Zantema - jw15 0.650.480.060.120.057.31
TRS/Zantema - jw16 0.590.120.060.070.060.02
TRS/Zantema - jw17 0.650.610.060.134.437.34
TRS/Zantema - jw18 0.630.210.070.080.140.01
TRS/Zantema - jw19 1.220.480.140.270.237.28
TRS/Zantema - jw20 0.660.480.060.120.170.04
TRS/Zantema - jw21 0.590.280.060.030.130.01
TRS/Zantema - jw22 0.580.560.050.140.338.44
TRS/Zantema - jw23 0.570.670.060.020.170.71
TRS/Zantema - jw24 0.700.370.060.050.020.75
TRS/Zantema - jw25 0.680.340.050.070.060.75
TRS/Zantema - jw26 0.590.670.050.020.120.72
TRS/Zantema - jw27 0.560.480.070.150.298.45
TRS/Zantema - jw28 0.610.290.060.010.120.00
TRS/Zantema - jw29 0.590.460.060.130.160.05
TRS/Zantema - jw30 1.020.490.140.280.417.25
TRS/Zantema - jw31 0.580.210.060.080.090.02
TRS/Zantema - jw32 0.550.600.060.114.457.31
TRS/Zantema - jw33 0.580.140.060.060.160.03
TRS/Zantema - jw34 0.640.470.060.130.247.27
TRS/Zantema - jw35 0.570.6024.330.080.060.02
TRS/Zantema - jw36 0.810.660.200.060.160.02
TRS/Zantema - jw37 0.680.8010.430.060.077.79
TRS/Zantema - jw38 0.620.800.180.070.1010.43
TRS/Zantema - jw39 0.890.320.060.120.340.04
TRS/Zantema - jw40 0.900.350.060.110.086.87
TRS/Zantema - jw41 0.610.650.050.121.007.88
TRS/Zantema - jw42 0.580.360.050.126.870.25
TRS/Zantema - jw43 0.6324.140.050.010.020.01
TRS/Zantema - jw44 0.720.0421.300.010.010.01
TRS/Zantema - jw47 0.600.0120.900.010.030.03
TRS/Zantema - jw50 0.6724.160.050.010.040.02
TRS/Zantema - z01 1.1224.133.0255.48(timeout)0.05
TRS/Zantema - z02 2.280.271.440.1222.482.19
TRS/Zantema - z03 0.9928.84(timeout)2.680.280.06
TRS/Zantema - z04 0.690.1116.160.050.290.00
TRS/Zantema - z05 1.0636.180.2956.06(timeout)1.79
TRS/Zantema - z06 0.790.960.230.030.050.01
TRS/Zantema - z07 0.883.6732.8357.570.180.03
TRS/Zantema - z08 0.804.41(timeout)0.2133.040.04
TRS/Zantema - z09 17.360.30(timeout)8.18(timeout)0.22
TRS/Zantema - z10 50.950.32(timeout)16.34(timeout)4.40
TRS/Zantema - z11 0.905.32(timeout)52.710.060.02
TRS/Zantema - z12 1.040.4557.6649.08(timeout)2.26
TRS/Zantema - z13 0.990.40(timeout)54.15(timeout)2.19
TRS/Zantema - z14 0.940.19(timeout)48.52(timeout)2.20
TRS/Zantema - z15 0.920.2758.2949.09(timeout)2.16
TRS/Zantema - z16 0.910.18(timeout)47.73(timeout)2.16
TRS/Zantema - z17 (timeout)0.92(timeout)58.94(timeout)6.09
TRS/Zantema - z18 1.050.26(timeout)46.36(timeout)2.15
TRS/Zantema - z19 14.471.40(timeout)48.27(timeout)2.17
TRS/Zantema - z20 39.644.44(timeout)53.48(timeout)2.48
TRS/Zantema - z21 6.761.71(timeout)1.04(timeout)2.35
TRS/Zantema - z22 41.1911.81(timeout)57.67(timeout)2.59
TRS/Zantema - z23 1.050.8848.8047.30(timeout)2.98
TRS/Zantema - z24 1.231.7733.4648.00(timeout)2.98
TRS/Zantema - z25 0.9535.620.310.120.150.02
TRS/Zantema - z26 55.0411.67(timeout)0.050.316.74
TRS/Zantema - z27 6.410.1425.520.170.680.07
TRS/Zantema - z28 0.760.11(timeout)0.020.074.54
TRS/Zantema - z29 0.850.17(timeout)0.420.260.02
TRS/Zantema - z30 7.0130.3734.5956.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.820.65(timeout)33.630.030.02
TRS/currying/AG01 - #3.18 1.092.79(timeout)37.56(timeout)0.02
TRS/currying/AG01 - #3.22 0.9552.33(timeout)52.460.270.02
TRS/currying/AG01 - #3.25 0.940.9216.0555.840.020.01
TRS/currying/AG01 - #3.27 0.640.04(timeout)0.020.010.01
TRS/currying/AG01 - #3.2 1.003.92(timeout)41.550.310.02
TRS/currying/AG01 - #3.32 0.640.010.020.020.020.01
TRS/currying/AG01 - #3.36 1.259.77(timeout)39.480.220.02
TRS/currying/AG01 - #3.38 1.1833.26(timeout)48.891.750.15
TRS/currying/AG01 - #3.40 1.46(timeout)(timeout)54.56(timeout)2.53
TRS/currying/AG01 - #3.45 0.740.210.550.140.070.02
TRS/currying/AG01 - #3.48 0.9037.73(timeout)57.751.250.08
TRS/currying/AG01 - #3.52 0.730.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.550.06
TRS/currying/AG01 - #3.6 1.6950.83(timeout)36.26(timeout)0.04
TRS/currying/AG01 - #3.8 1.1636.28(timeout)41.970.520.02
TRS/currying/D33 - 01 0.680.020.070.010.010.01
TRS/currying/D33 - 02 0.630.010.050.010.010.01
TRS/currying/D33 - 06 0.750.040.250.020.010.01
TRS/currying/D33 - 08 1.030.00(timeout)0.030.020.02
TRS/currying/D33 - 11 3.750.02(timeout)0.190.020.08
TRS/currying/D33 - 12 0.998.25(timeout)44.67(timeout)0.03
TRS/currying/D33 - 13 5.750.01(timeout)1.920.102.45
TRS/currying/D33 - 17 0.813.66(timeout)0.020.020.02
TRS/currying/D33 - 18 0.860.01(timeout)10.100.000.01
TRS/currying/D33 - 21 0.910.01(timeout)35.47(timeout)0.03
TRS/currying/D33 - 29 0.972.09(timeout)0.000.000.01
TRS/currying/D33 - 30 1.250.04(timeout)1.670.030.01
TRS/currying/D33 - 31 0.920.01(timeout)59.740.160.02
TRS/currying/D33 - 33 (timeout)(timeout)(timeout)53.43(timeout)7.23
TRS/currying/Ste92 - hydra 0.7912.83(timeout)36.300.460.03
TRS/currying/Ste92 - minsort (timeout)(timeout)(timeout)36.12(timeout)10.59
TRS/currying/Ste92 - motivation 0.752.40(timeout)0.040.040.01
TRS/currying/Ste92 - perfect2 2.71(timeout)(timeout)42.07(timeout)0.10
TRS/currying/Ste92 - perfect 1.34(timeout)(timeout)(timeout)0.010.07
TRS/higher-order/AotoYam - 001 0.820.160.0155.02(timeout)0.03
TRS/higher-order/AotoYam - 002 1.0734.19(timeout)48.23(timeout)0.02
TRS/higher-order/AotoYam - 003 1.055.740.0021.56(timeout)0.02
TRS/higher-order/AotoYam - 004 0.840.89(timeout)42.89(timeout)0.01
TRS/higher-order/AotoYam - 005 0.670.02(timeout)0.010.030.01
TRS/higher-order/AotoYam - 006 0.905.81(timeout)5.82(timeout)0.02
TRS/higher-order/AotoYam - 007 0.870.39(timeout)43.08(timeout)0.03
TRS/higher-order/AotoYam - 009 1.140.45(timeout)0.128.350.04
TRS/higher-order/AotoYam - 010 6.393.24(timeout)33.68(timeout)3.14
TRS/higher-order/AotoYam - 011 5.810.40(timeout)42.85(timeout)1.42
TRS/higher-order/AotoYam - 012 1.160.44(timeout)0.1114.620.04
TRS/higher-order/AotoYam - 013 1.105.26(timeout)24.77(timeout)0.04
TRS/higher-order/AotoYam - 014 1.141.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.2732.61(timeout)57.10(timeout)0.04
TRS/higher-order/AotoYam - 017 0.720.031.680.000.020.02
TRS/higher-order/AotoYam - 019 0.620.13(timeout)49.47(timeout)2.14
TRS/higher-order/AotoYam - 020 1.060.63(timeout)20.08(timeout)0.02
TRS/higher-order/AotoYam - 021 1.267.49(timeout)22.85(timeout)0.03
TRS/higher-order/AotoYam - 022 0.932.08(timeout)3.80(timeout)0.01
TRS/higher-order/AotoYam - 023 0.670.020.720.010.020.00
TRS/higher-order/AotoYam - 024 0.790.3147.512.22(timeout)0.01
TRS/higher-order/AotoYam - 025 0.650.020.150.010.020.02
TRS/higher-order/AotoYam - 026 0.930.95(timeout)48.46(timeout)0.02
TRS/higher-order/AotoYam - 027 0.980.75(timeout)42.31(timeout)0.02
TRS/higher-order/AotoYam - 028 0.9936.19(timeout)37.65(timeout)0.03
TRS/higher-order/AotoYam - Ex1SimplyTyped 0.880.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.4720.30(timeout)42.36(timeout)0.04
TRS/higher-order/AProVE_HO - mapDivMinus 1.154.43(timeout)39.37(timeout)0.02
TRS/higher-order/AProVE_HO - nonTermF 2.542.79(timeout)20.26(timeout)10.39
TRS/higher-order/AProVE_HO - ReverseLastInit 0.790.14(timeout)0.020.010.01
TRS/higher-order/AProVE_HO - TakeDropWhile 0.89(timeout)(timeout)33.66(timeout)0.03
TRS/higher-order/AProVE_HO - termMonTypes 1.040.600.0647.59(timeout)12.71
TRS/higher-order/AProVE_HO - TypeEx1 0.620.30(timeout)0.620.352.45
TRS/higher-order/AProVE_HO - TypeEx3 1.008.070.0252.95(timeout)0.02
TRS/higher-order/AProVE_HO - TypeEx5 1.450.010.010.030.040.01
TRS/higher-order/Bird - BTreeMember 1.2746.08(timeout)2.630.010.04
TRS/higher-order/Bird - Ex2_6_1Composition 0.700.052.530.000.020.02
TRS/higher-order/Bird - Ex2_8_1ConstSubstFix 0.960.3012.916.05(timeout)0.12
TRS/higher-order/Bird - Hamming 7.62(timeout)(timeout)(timeout)(timeout)0.23
TRS/higher-order/Bird - TreeFlatten 1.156.64(timeout)39.96(timeout)0.05
TRS/higher-order/Bird - TreeHeight 1.2521.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.9116.23(timeout)54.30(timeout)0.03
TRS/higher-order/Bird - TreeSize 1.298.00(timeout)56.68(timeout)0.04
TRS/higher-order/Kusakari - Ex6_11 0.700.540.420.040.350.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.840.62(timeout)52.48(timeout)0.37
TRS/higher-order/Lifantsev - Ex3Lists 0.874.86(timeout)47.20(timeout)0.05
TRS/higher-order/Lifantsev - Ex4MapList 0.790.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.240.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.952.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.670.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.830.0537.010.65(timeout)4.14
TRS/nontermin/AG01 - #4.13 20.020.04(timeout)5.22(timeout)2.56
TRS/nontermin/AG01 - #4.14 0.730.410.1725.85(timeout)4.55
TRS/nontermin/AG01 - #4.15 0.8712.14(timeout)(timeout)(timeout)6.81
TRS/nontermin/AG01 - #4.16 0.730.050.0120.86(timeout)3.53
TRS/nontermin/AG01 - #4.17 0.9112.090.2654.13(timeout)4.46
TRS/nontermin/AG01 - #4.18 0.970.140.0356.50(timeout)0.06
TRS/nontermin/AG01 - #4.19 19.760.13(timeout)0.97(timeout)2.47
TRS/nontermin/AG01 - #4.20a 0.690.020.630.010.040.01
TRS/nontermin/AG01 - #4.20 0.680.030.080.020.030.01
TRS/nontermin/AG01 - #4.21 0.720.020.130.010.070.00
TRS/nontermin/AG01 - #4.22 0.881.58(timeout)42.90(timeout)0.02
TRS/nontermin/AG01 - #4.23 0.9312.24(timeout)27.08(timeout)0.03
TRS/nontermin/AG01 - #4.25 0.620.01(timeout)0.040.020.02
TRS/nontermin/AG01 - #4.26 5.3412.19(timeout)(timeout)(timeout)10.26
TRS/nontermin/AG01 - #4.27 0.9312.06(timeout)10.29(timeout)0.03
TRS/nontermin/AG01 - #4.28 1.300.109.222.644.930.00
TRS/nontermin/AG01 - #4.29 6.1133.50(timeout)(timeout)(timeout)1.19
TRS/nontermin/AG01 - #4.2 0.856.563.7855.52(timeout)6.01
TRS/nontermin/AG01 - #4.30a 1.106.18(timeout)30.41(timeout)0.04
TRS/nontermin/AG01 - #4.30b 6.0133.39(timeout)(timeout)(timeout)3.14
TRS/nontermin/AG01 - #4.30c 6.8434.72(timeout)10.12(timeout)10.27
TRS/nontermin/AG01 - #4.30 5.6119.63(timeout)(timeout)(timeout)10.27
TRS/nontermin/AG01 - #4.31 15.070.2212.249.44(timeout)0.09
TRS/nontermin/AG01 - #4.32 0.690.01(timeout)0.040.130.01
TRS/nontermin/AG01 - #4.33 1.030.06(timeout)6.42(timeout)0.01
TRS/nontermin/AG01 - #4.34 0.980.06(timeout)8.23(timeout)0.05
TRS/nontermin/AG01 - #4.35 3.230.10(timeout)(timeout)(timeout)1.24
TRS/nontermin/AG01 - #4.36 1.895.71(timeout)(timeout)(timeout)0.14
TRS/nontermin/AG01 - #4.37a 0.860.051.2452.800.270.02
TRS/nontermin/AG01 - #4.37 0.700.010.8550.480.190.01
TRS/nontermin/AG01 - #4.3 0.780.010.010.080.062.20
TRS/nontermin/AG01 - #4.4 0.780.030.010.040.102.45
TRS/nontermin/AG01 - #4.7 0.750.320.0223.83(timeout)5.53
TRS/nontermin/cariboo - ex1 0.960.020.000.01(timeout)0.00
TRS/nontermin/cariboo - ex2 1.400.020.023.31(timeout)0.02
TRS/nontermin/cariboo - ex3 0.890.030.010.01(timeout)0.01
TRS/nontermin/cariboo - ex4 0.920.050.010.144.820.10
TRS/nontermin/cariboo - ex5 0.850.020.000.010.020.02
TRS/nontermin/cariboo - ex6 0.830.04(timeout)12.14(timeout)0.63
TRS/nontermin/cariboo - tricky1 0.700.083.640.210.662.48
TRS/nontermin/CSR - Ex1_2_AEL03 1.590.020.0110.67(timeout)0.04
TRS/nontermin/CSR - Ex1_2_Luc02c 1.350.030.000.000.030.00
TRS/nontermin/CSR - Ex14_AEGL02 1.150.030.004.76(timeout)0.02
TRS/nontermin/CSR - Ex15_Luc98 1.780.020.0111.33(timeout)0.00
TRS/nontermin/CSR - Ex1_GL02a 1.600.020.02(timeout)(timeout)0.00
TRS/nontermin/CSR - Ex1_GM03 0.990.020.009.72(timeout)0.02
TRS/nontermin/CSR - Ex1_GM99 0.750.040.050.27(timeout)3.04
TRS/nontermin/CSR - Ex1_Luc02b 1.450.010.0210.07(timeout)0.02
TRS/nontermin/CSR - Ex1_Zan97 0.960.090.020.020.250.25
TRS/nontermin/CSR - Ex24_GM04 0.770.020.010.23(timeout)3.04
TRS/nontermin/CSR - Ex26_Luc03b 1.690.060.01(timeout)(timeout)0.02
TRS/nontermin/CSR - Ex2_Luc03b 1.560.020.02(timeout)(timeout)0.01
TRS/nontermin/CSR - Ex3_12_Luc96a 1.630.020.010.06(timeout)0.01
TRS/nontermin/CSR - Ex3_2_Luc97 1.620.010.00(timeout)(timeout)0.00
TRS/nontermin/CSR - Ex3_3_25_Bor03 1.610.030.010.02(timeout)0.00
TRS/nontermin/CSR - Ex4_4_Luc96b 0.810.040.000.01(timeout)0.02
TRS/nontermin/CSR - Ex4_7_15_Bor03 1.961.810.019.75(timeout)1.80
TRS/nontermin/CSR - Ex4_7_37_Bor03 1.610.020.0010.74(timeout)0.02
TRS/nontermin/CSR - Ex4_7_56_Bor03 1.580.010.000.04(timeout)0.00
TRS/nontermin/CSR - Ex4_7_77_Bor03 2.880.020.010.010.030.02
TRS/nontermin/CSR - Ex49_GM04 1.090.03(timeout)0.533.390.01
TRS/nontermin/CSR - Ex4_Zan97 1.110.030.020.16(timeout)0.00
TRS/nontermin/CSR - Ex5_7_Luc97 1.800.020.0111.42(timeout)0.01
TRS/nontermin/CSR - Ex5_Zan97 1.500.030.010.050.240.01
TRS/nontermin/CSR - Ex6_15_AEL02 1.880.040.00(timeout)(timeout)0.03
TRS/nontermin/CSR - Ex6_9_Luc02c 1.350.010.000.14(timeout)0.01
TRS/nontermin/CSR - Ex6_GM04 0.930.030.000.020.030.00
TRS/nontermin/CSR - Ex6_Luc98 1.410.010.01(timeout)(timeout)0.02
TRS/nontermin/CSR - Ex7_BLR02 1.530.030.009.72(timeout)0.02
TRS/nontermin/CSR - Ex8_BLR02 0.920.030.002.06(timeout)0.00
TRS/nontermin/CSR - Ex9_BLR02 1.560.040.02(timeout)(timeout)0.02
TRS/nontermin/CSR - ExAppendixB_AEL03 1.710.050.0110.84(timeout)0.01
TRS/nontermin/CSR - ExConc_Zan97 0.910.010.020.006.810.01
TRS/nontermin/CSR - ExIntrod_GM01 3.050.030.010.00(timeout)0.01
TRS/nontermin/CSR - ExIntrod_GM04 3.060.010.000.02(timeout)0.03
TRS/nontermin/CSR - ExIntrod_GM99 1.788.950.0011.41(timeout)0.02
TRS/nontermin/CSR - ExIntrod_Zan97 1.710.020.0011.17(timeout)0.02
TRS/nontermin/HM - n001 0.940.080.0155.21(timeout)0.03
TRS/nontermin/Rubio-inn - bn111 5.850.06(timeout)0.000.020.23
TRS/nontermin/Rubio-inn - gkg 0.740.020.010.010.052.07
TRS/nontermin/Rubio-inn - muladd 0.875.970.0123.54(timeout)4.23
TRS/nontermin/Rubio-inn - test10 0.9820.900.02(timeout)(timeout)9.51
TRS/nontermin/Rubio-inn - test75 0.800.03(timeout)3.98(timeout)3.14
TRS/nontermin/Rubio-inn - test76 2.690.05(timeout)6.42(timeout)4.34
TRS/nontermin/Rubio-inn - test77 51.550.03(timeout)6.55(timeout)4.40
TRS/nontermin/Rubio-inn - test830 0.670.011.130.020.060.01
TRS/nontermin/Rubio-inn - test9 0.850.59(timeout)0.84(timeout)5.79
TRS/nontermin/Rubio-inn - toyama 0.790.030.120.63(timeout)2.18
TRS/nontermin/TRCSR - ExSec11_1_Luc02a 1.710.060.00(timeout)(timeout)0.02
secret2005 - aprove1 6.6611.46(timeout)36.63(timeout)10.50
secret2005 - aprove2 6.6327.23(timeout)(timeout)(timeout)10.90
secret2005 - aprove3 15.4420.86(timeout)58.33(timeout)10.40
secret2005 - aprove4 4.9812.28(timeout)58.56(timeout)10.20
secret2005 - aprove5 16.614.36(timeout)24.40(timeout)12.85
secret2005 - cime1 43.91(timeout)(timeout)1.58(timeout)14.05
secret2005 - cime2 9.820.15(timeout)0.020.217.26
secret2005 - cime3 40.5036.89(timeout)22.57(timeout)59.50
secret2005 - cime4 0.780.02(timeout)59.14(timeout)4.46
secret2005 - cime5 (timeout)46.35(timeout)(timeout)(timeout)59.65
secret2005 - matchbox1 1.580.051.300.102.960.59
secret2005 - matchbox2 0.700.040.160.060.080.64
secret2005 - teparla1 1.210.78(timeout)0.66(timeout)1.75
secret2005 - teparla2 8.251.4249.472.08(timeout)1.70
secret2005 - teparla3 5.380.4820.760.20(timeout)1.57
secret2005 - tpa1 53.2812.06(timeout)21.960.196.16
secret2005 - tpa2 6.4915.29(timeout)8.070.050.02
secret2005 - tpa3 25.020.68(timeout)10.460.023.70
secret2005 - tpa4 (timeout)0.29(timeout)11.610.034.22
secret2005 - tpa5 52.364.25(timeout)51.880.166.56
secret2005 - ttt1 0.790.03(timeout)10.32(timeout)8.98
secret2005 - ttt2 3.040.130.0011.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.000.01
TRS/relative - rt1-2 0.010.01
TRS/relative - rt1-3 0.010.02
TRS/relative - rt1-4 0.010.07
TRS/relative - rt1-5 0.000.02
TRS/relative - rt2-1 2.220.02
TRS/relative - rt2-2 0.020.07
TRS/relative - rt2-3 0.370.14
TRS/relative - rt2-4 0.020.05
TRS/relative - rt2-5 13.500.01
TRS/relative - rt2-6 0.000.04
TRS/relative - rt2-7 11.9029.47
TRS/relative - rt2-8 10.60(timeout)
TRS/relative - rt3-1 (timeout)0.40
TRS/relative - rt3-2 29.850.07
TRS/relative - rt3-3 43.29(timeout)
TRS/relative - rt3-4 (timeout)(timeout)
TRS/relative - rt3-5 0.050.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.760.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.020.02
TRS/relative - rtL-me3 0.020.02
TRS/relative - rtL-pwl 3.531.85
TRS/relative - rtL-rw2 (timeout)(timeout)
TRS/relative - rtL-rw5 (timeout)(timeout)
TRS/relative - rtL-wl1nz 0.010.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.680.11
TRS/AG01 - #4.13 0.630.01
TRS/AG01 - #4.14 0.600.02
TRS/AG01 - #4.15 0.610.03
TRS/AG01 - #4.16 0.640.00
TRS/AG01 - #4.17 0.664.44
TRS/AG01 - #4.18 0.720.04
TRS/AG01 - #4.19 0.890.03
TRS/AG01 - #4.20a 0.590.01
TRS/AG01 - #4.20 0.720.01
TRS/AG01 - #4.21 0.680.03
TRS/AG01 - #4.22 0.740.01
TRS/AG01 - #4.23 0.950.03
TRS/AG01 - #4.24 1.070.00
TRS/AG01 - #4.25 0.660.03
TRS/AG01 - #4.26 5.7710.28
TRS/AG01 - #4.27 0.940.02
TRS/AG01 - #4.28 1.290.01
TRS/AG01 - #4.29 5.991.20
TRS/AG01 - #4.2 0.610.02
TRS/AG01 - #4.30a 0.930.03
TRS/AG01 - #4.30b 5.553.13
TRS/AG01 - #4.30c 6.8510.28
TRS/AG01 - #4.30 5.9710.37
TRS/AG01 - #4.31 14.860.10
TRS/AG01 - #4.32 0.750.02
TRS/AG01 - #4.33 1.030.04
TRS/AG01 - #4.34 0.930.02
TRS/AG01 - #4.35 3.021.37
TRS/AG01 - #4.36 2.260.14
TRS/AG01 - #4.37a 0.750.02
TRS/AG01 - #4.37 0.660.01
TRS/AG01 - #4.3 0.650.02
TRS/AG01 - #4.4 0.600.02
TRS/AG01 - #4.5 0.590.00
TRS/AG01 - #4.7 0.650.02
TRS/cariboo - tricky1 0.572.48
TRS/HM - n001 2.250.03
TRS/Rubio-inn - bn111 0.620.00
TRS/Rubio-inn - gkg 0.590.02
TRS/Rubio-inn - muladd 0.954.25
TRS/Rubio-inn - test10 0.680.02
TRS/Rubio-inn - test75 0.650.62
TRS/Rubio-inn - test76 0.782.26
TRS/Rubio-inn - test77 0.752.27
TRS/Rubio-inn - test830 0.710.01
TRS/Rubio-inn - test833 0.670.01
TRS/Rubio-inn - test9 0.720.09
TRS/Rubio-inn - toyama 0.610.01
TRS/currying/AG01 - #4.10 0.592.05
TRS/currying/AG01 - #4.13 0.650.02
TRS/currying/AG01 - #4.15 0.726.79
TRS/currying/AG01 - #4.17 0.814.44
TRS/currying/AG01 - #4.19 1.113.30
TRS/currying/AG01 - #4.22 0.800.03
TRS/currying/AG01 - #4.24 1.410.02
TRS/currying/AG01 - #4.26 5.7910.27
TRS/currying/AG01 - #4.28 0.960.01
TRS/currying/AG01 - #4.2 0.674.32
TRS/currying/AG01 - #4.34 1.040.03
TRS/currying/AG01 - #4.36 3.640.21
TRS/currying/AG01 - #4.3 0.640.03
TRS/currying/AG01 - #4.5 0.670.00
TRS/currying/AG01 - #4.7 0.650.02
TRS/currying/AG01 - #4.8 0.872.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.640.04
TRS/AProVE_AC - AC02 0.600.02
TRS/AProVE_AC - AC03 0.600.06
TRS/AProVE_AC - AC04 1.090.05
TRS/AProVE_AC - AC05 2.2212.06
TRS/AProVE_AC - AC06 0.700.11
TRS/AProVE_AC - AC07 1.780.05
TRS/AProVE_AC - AC08 0.680.23
TRS/AProVE_AC - AC09 0.710.07
TRS/AProVE_AC - AC10 0.610.07
TRS/AProVE_AC - AC11 0.931.54
TRS/AProVE_AC - AC12 0.644.19
TRS/AProVE_AC - AC13 0.630.06
TRS/AProVE_AC - AC14 0.620.05
TRS/AProVE_AC - AC15 0.660.04
TRS/AProVE_AC - AC16 0.720.07
TRS/AProVE_AC - AC17 1.040.13
TRS/AProVE_AC - AC18 1.921.73
TRS/AProVE_AC - AC19 0.7024.52
TRS/AProVE_AC - AC20 1.010.04
TRS/AProVE_AC - AC21 3.070.61
TRS/AProVE_AC - AC22 2.531.71
TRS/AProVE_AC - AC23 1.370.12
TRS/AProVE_AC - AC24 1.200.09
TRS/AProVE_AC - AC26 0.630.05
TRS/AProVE_AC - AC27 0.710.05
TRS/AProVE_AC - AC28 1.074.53
TRS/AProVE_AC - AC29 1.180.02
TRS/AProVE_AC - AC41 0.980.05
TRS/AProVE_AC - AC42 0.880.08
TRS/AProVE_AC - AC43 0.850.07
TRS/AProVE_AC - AC44 1.0948.10
TRS/AProVE_AC - AC45 0.870.33
TRS/AProVE_AC - AC46 1.3930.56
TRS/AProVE_AC - AC47 1.2912.18
TRS/AProVE_AC - AC48 0.730.04
TRS/AProVE_AC - AC49 1.940.39
TRS/AProVE_AC - AC50 1.991.25
TRS/AProVE_AC - AC51 0.840.26
TRS/AProVE_AC - AC52 2.100.06
TRS/AProVE_AC - AC53 0.900.29
TRS/AProVE_AC - AC54 1.370.43
TRS/AProVE - IJCAR_AC1 1.4328.26
TRS/CimeAC - bag-sum-prod-bin 2.390.16
TRS/CimeAC - bag-sum-prod-distr 1.590.29
TRS/CimeAC - bag-sum-prod 0.860.12
TRS/CimeAC - boolean_rings 0.670.10
TRS/CimeAC - differ 0.67(timeout)
TRS/CimeAC - intersect 0.680.09
TRS/CimeAC - kusakari1 0.970.16
TRS/CimeAC - maude2 (timeout)24.12
TRS/CimeAC - rationals 35.48(timeout)
TRS/CimeAC - sequent_modulo 22.9510.79
secret2005 - cime6 1.081.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