Completion Test Database: Results
Equational Systemmkbtt-lpomaxcomp-lpomkbtt-kbomaxcomp-kbomkbtt-fullslothrop
AD93_Z22.trs
ASK93_1.trs 0.010.100.020.010.010.98
ASK93_2.trs
ASK93_5.trs
ASK93_6.trs 16.751.0610.930.835.7310.81
aufgabe3_2.trs 0.010.000.010.000.000.95
aufgabe3_3.trs 0.010.000.010.000.010.87
BD94_collapse.trs 0.050.010.080.010.031.18
BD94_peano.trs 0.030.000.021.22
BD94_sqrt.trs 0.020.000.030.010.021.00
BGK94_D08.trs 0.70
BGK94_D10.trs 0.8851.49
BGK94_D12.trs 1.1852.44
BGK94_D16.trs 37.4874.91
BGK94_M08.trs 0.740.241.250.490.597.72
BGK94_M10.trs 1.200.812.240.9420.97
BGK94_M12.trs 1.8341.693.651.4227.18
BGK94_M14.trs 2.735.732.0625.88
BGK94_Z22W.trs
BH96_fac8_theory.trs 0.110.020.520.060.072.07
Chr89_A2.trs 4.210.994.810.9595.76182.93
Chr89_A24.trs
Chr89_A3.trs 40.063.1720.85
fggx.trs 0.010.010.020.010.010.98
fib.trs 0.87100.320.857.18
HR94_1.trs
HR94_2.trs
kb_fail.trs failfailfailfailfail
kb_fail1.trs failfailfailfailfailfail
KK99_linear_assoc.trs 0.020.000.020.010.030.83
Les83_fib.trs 0.100.010.232.82
Les83_subset.trs 0.220.010.093.27
lr_theory.trs 0.350.110.452.891.747.90
LS06_CGE4.trs
LS06_CGE5.trs
LS94_G0.trs 0.520.050.710.061.285.90
LS94_G1.trs
LS94_G2.trs
LS94_G3.trs
LS94_P1.trs
OKW95_dt1_theory.trs 0.7846.150.916.22
rl_theory.trs 2.360.171.191.768.07
Sim91_sims2.trs
SK90_3.01.trs 1.200.092.230.614.1618.85
SK90_3.02.trs 0.030.010.030.020.050.97
SK90_3.03.trs 4.691.013.880.051.595.54
SK90_3.04.trs 6.721.7599.98
SK90_3.05.trs 1.580.351.070.333.46
SK90_3.06.trs 4.220.90
SK90_3.07.trs 3.03
SK90_3.08.trs 0.080.010.060.030.051.18
SK90_3.09.trs
SK90_3.10.trs 0.030.010.030.010.020.92
SK90_3.11.trs 0.030.010.030.010.021.02
SK90_3.12.trs failfailfailfailfailfail
SK90_3.13.trs 0.170.020.160.020.171.33
SK90_3.14.trs 0.130.010.210.160.151.65
SK90_3.15.trs 0.120.020.081.39
SK90_3.16.trs 0.020.010.030.010.010.80
SK90_3.17.trs 0.050.010.040.010.081.25
SK90_3.18.trs 0.150.010.303.50
SK90_3.19.trs 0.150.090.2615.110.322.73
SK90_3.20.trs 0.351.340.420.462.65
SK90_3.21.trs 0.160.040.250.030.1985.81
SK90_3.22.trs 4.038.03
SK90_3.23.trs 0.3096.930.430.190.374.72
SK90_3.24.trs 0.040.020.040.010.041.26
SK90_3.25.trs 0.020.430.020.010.030.99
SK90_3.26.trs
SK90_3.27.trs 13.3121.0936.470.5372.31
SK90_3.28.trs 20.2353.58110.76
SK90_3.29.trs 2.290.863.911.752.025.27
SK90_3.30.trs 0.030.010.030.020.020.76
SK90_3.31.trs 0.030.010.040.010.010.84
SK90_3.32.trs 0.010.000.010.000.010.74
SK90_3.33.trs 0.030.000.020.010.020.91
slothrop_ackermann.trs 0.020.000.030.68
slothrop_cge.trs 173.03
slothrop_cge3.trs
slothrop_endo.trs 0.620.383.887.60
slothrop_equiv_proofs.trs failfail2.52262.32
slothrop_equiv_proofs_or.trs failfail2.81
slothrop_fgh.trs 0.010.010.010.010.000.73
slothrop_groups.trs 0.450.080.080.542.22
slothrop_groups_conj.trs 0.110.020.181.100.212.49
slothrop_hard.trs 0.010.000.010.020.010.69
slothrop_nlp-2b.trs
TPDB_secret2006_torpa_secr10.trs 2.210.1714.340.559.1550.46
TPDB_secret2006_torpa_secr4.trs 4.7735.6915.2531.6217.1035.56
TPDB_thiemann27.trs
TPDB_zantema_z115.trs 0.735.6742.6315.27203.69
TPTP_BOO027-1_theory.trs 0.040.020.040.010.031.37
TPTP_COL053-1_theory.trs 0.010.000.010.000.010.67
TPTP_COL056-1_theory.trs 0.040.010.030.870.030.82
TPTP_COL060-1_theory.trs failfail0.010.000.021.14
TPTP_COL085-1_theory.trs 0.000.000.000.000.000.66
TPTP_GRP010-4_theory.trs 1.520.272.210.116.02231.47
TPTP_GRP011-4_theory.trs 0.480.090.620.100.6325.42
TPTP_GRP012-4_theory.trs 0.280.030.340.030.482.13
TPTP_GRP393-2_theory.trs 0.010.000.010.000.010.68
TPTP_GRP394-3_theory.trs 0.330.060.420.070.512.68
TPTP_GRP454-1_theory.trs 17.132.6549.630.14109.87
TPTP_GRP457-1_theory.trs 17.182.6649.981.62112.73
TPTP_GRP460-1_theory.trs 0.8917.742.9116.99
TPTP_GRP463-1_theory.trs 1.7617.803.2616.91
TPTP_GRP481-1_theory.trs 2.4057.2069.56
TPTP_GRP484-1_theory.trs 0.5213.52
TPTP_GRP487-1_theory.trs 1.007.05fail
TPTP_GRP490-1_theory.trs 0.84168.9313.21
TPTP_GRP493-1_theory.trs 5.1340.542.83
TPTP_GRP496-1_theory.trs 0.9011.13241.10
TPTP_HWC004-1_theory.trs 0.130.030.090.010.141.32
TPTP_HWC004-2_theory.trs 0.050.010.040.010.031.09
TPTP_SWV262-2_theory.trs 0.030.020.030.050.030.88
WS06_proofreduction.trs 162.66