| AD93_Z22.trs
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| Y:47.97
| T:600.00
| M:34.99
|
| ASK93_1.trs
| Y:0.02
| Y:0.04
| Y:0.02
| Y:0.02
| Y:0.05
| Y:1.33
| Y:0.04
| Y:0.01
|
| ASK93_2.trs
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
|
| ASK93_5.trs
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| M:45.09
|
| ASK93_6.trs
| Y:0.12
| Y:0.18
| Y:0.10
| Y:0.06
| Y:0.72
| Y:0.96
| Y:0.06
| Y:0.27
|
| BD94_collapse.trs
| Y:0.04
| Y:0.04
| Y:0.04
| Y:0.04
| Y:0.06
| Y:0.59
| Y:0.04
| Y:0.01
|
| BD94_peano.trs
| Y:0.02
| Y:0.06
| T:600.00
| T:600.00
| Y:0.07
| Y:0.74
| Y:0.04
| Y:0.01
|
| BD94_sqrt.trs
| Y:0.03
| Y:0.04
| Y:0.04
| Y:0.04
| Y:0.04
| Y:0.59
| Y:0.04
| Y:0.01
|
| BGK94_D08.trs
| Y:1.11
| Y:7.70
| Y:1.19
| Y:2.74
| Y:15.46
| Y:2.77
| Y:11.31
| Y:0.16
|
| BGK94_D10.trs
| Y:1.15
| Y:8.34
| Y:0.68
| Y:5.78
| Y:25.08
| Y:2.63
| Y:9.29
| Y:0.18
|
| BGK94_D12.trs
| Y:1.43
| Y:6.41
| Y:1.12
| Y:4.84
| Y:18.08
| Y:3.07
| Y:13.42
| Y:0.21
|
| BGK94_D16.trs
| Y:2.41
| Y:30.79
| Y:1.07
| Y:7.75
| Y:5.57
| Y:63.58
| Y:43.27
| Y:4.02
|
| BGK94_M08.trs
| Y:0.09
| Y:0.16
| Y:0.08
| Y:0.15
| Y:0.26
| Y:1.12
| Y:0.47
| Y:0.06
|
| BGK94_M10.trs
| Y:0.18
| Y:0.18
| Y:0.10
| Y:0.18
| Y:1.75
| Y:1.19
| Y:0.66
| Y:0.34
|
| BGK94_M12.trs
| Y:0.13
| Y:0.21
| Y:0.13
| Y:0.24
| Y:1.78
| Y:1.38
| Y:2.02
| Y:8.76
|
| BGK94_M14.trs
| Y:0.16
| Y:0.24
| Y:0.17
| Y:0.28
| Y:203.59
| Y:1.53
| Y:1.64
| M:83.36
|
| BGK94_Z22W.trs
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| Y:254.48
| T:600.00
| M:49.19
|
| BH96_fac8_theory.trs
| Y:0.04
| Y:0.07
| Y:0.07
| Y:0.12
| Y:0.16
| Y:0.68
| Y:0.04
| Y:0.01
|
| Chr89_A2.trs
| Y:0.80
| Y:4.80
| Y:0.36
| Y:3.27
| Y:8.94
| Y:1.45
| Y:1.06
| Y:0.12
|
| Chr89_A3.trs
| Y:1.25
| Y:28.14
| Y:1.45
| Y:39.55
| Y:69.11
| Y:2.08
| Y:1.60
| Y:0.53
|
| Chr89_A24.trs
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| M:348.90
|
| HR94_1.trs
| T:600.00
| T:600.00
| M:1.04
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| M:575.40
|
| HR94_2.trs
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| M:3.53
|
| KK99_linear_assoc.trs
| Y:0.02
| Y:0.02
| Y:0.03
| Y:0.02
| Y:0.04
| Y:0.58
| Y:0.04
| Y:0.01
|
| LS06_CGE4.trs
| M:0.02
| M:0.17
| M:0.01
| Y:1.88
| Y:14.07
| T:600.00
| Y:27.76
| T:600.00
|
| LS06_CGE5.trs
| M:0.03
| M:0.98
| M:0.01
| Y:4.92
| Y:13.31
| T:600.00
| Y:62.18
| T:600.00
|
| LS94_G0.trs
| Y:0.12
| Y:0.17
| Y:0.09
| Y:0.14
| Y:0.27
| Y:1.21
| Y:0.10
| Y:0.01
|
| LS94_G1.trs
| T:600.00
| E:288.53
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
|
| LS94_G2.trs
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| M:22.16
|
| LS94_G3.trs
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| M:32.31
|
| LS94_P1.trs
| Y:11.45
| Y:14.74
| Y:1.76
| Y:8.16
| Y:30.11
| Y:7.26
| Y:96.58
| Y:9.89
|
| Les83_fib.trs
| Y:0.03
| Y:0.15
| T:600.00
| T:600.00
| Y:0.20
| Y:0.83
| Y:0.04
| Y:0.01
|
| Les83_subset.trs
| Y:0.85
| Y:1.19
| T:600.00
| T:600.00
| Y:0.16
| Y:0.93
| Y:0.04
| Y:0.01
|
| OKW95_dt1_theory.trs
| Y:0.46
| Y:2.81
| T:600.00
| T:600.00
| Y:4.32
| Y:0.75
| Y:0.14
| Y:0.17
|
| SK90_3.01.trs
| Y:0.85
| Y:0.36
| Y:0.26
| Y:1.99
| Y:4.22
| Y:1.07
| Y:0.36
| Y:0.02
|
| SK90_3.02.trs
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.04
| Y:0.58
| Y:0.04
| Y:0.01
|
| SK90_3.03.trs
| M:0.03
| Y:4.28
| Y:0.68
| Y:1.00
| Y:56.57
| Y:1.68
| Y:2.36
| Y:0.18
|
| SK90_3.04.trs
| Y:0.46
| Y:0.49
| M:0.54
| M:1.79
| Y:1.15
| Y:3.79
| Y:0.92
| Y:0.33
|
| SK90_3.05.trs
| M:0.77
| Y:1.90
| Y:0.32
| Y:0.91
| Y:2.83
| Y:1.83
| Y:11.85
| Y:0.06
|
| SK90_3.06.trs
| Y:0.98
| Y:2.01
| M:0.01
| M:0.01
| Y:1.78
| Y:2.12
| Y:1.43
| Y:0.11
|
| SK90_3.07.trs
| Y:1.98
| Y:2.05
| T:600.00
| T:600.00
| Y:2.87
| Y:2.02
| Y:2.58
| Y:0.44
|
| SK90_3.08.trs
| Y:0.03
| Y:0.07
| Y:0.04
| Y:0.04
| Y:0.09
| M:0.45
| Y:0.04
| Y:0.01
|
| SK90_3.09.trs
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| Y:192.90
| T:600.00
| M:38.43
|
| SK90_3.10.trs
| Y:0.03
| Y:0.03
| Y:0.04
| Y:0.03
| Y:0.04
| Y:0.66
| Y:0.04
| Y:0.01
|
| SK90_3.11.trs
| Y:0.04
| Y:0.04
| Y:0.04
| Y:0.04
| Y:0.04
| Y:0.59
| Y:0.04
| Y:0.01
|
| SK90_3.12.trs
| M:0.01
| T:600.00
| Y:0.15
| Y:0.30
| Y:0.94
| M:0.42
| E:388.38
| M:0.01
|
| SK90_3.13.trs
| Y:0.05
| Y:0.11
| Y:0.04
| Y:0.06
| Y:0.16
| Y:0.71
| Y:0.04
| Y:0.01
|
| SK90_3.14.trs
| Y:0.12
| Y:0.20
| Y:0.07
| Y:0.13
| Y:0.51
| Y:0.66
| Y:0.04
| Y:0.01
|
| SK90_3.15.trs
| T:600.00
| Y:0.08
| Y:0.06
| Y:0.09
| Y:0.10
| T:600.00
| Y:0.24
| M:0.02
|
| SK90_3.16.trs
| Y:0.03
| Y:0.03
| Y:0.04
| Y:0.03
| Y:0.04
| Y:0.66
| Y:0.04
| Y:0.01
|
| SK90_3.17.trs
| Y:0.08
| Y:0.13
| Y:0.03
| Y:0.04
| Y:0.17
| M:0.42
| Y:0.04
| Y:0.01
|
| SK90_3.18.trs
| Y:0.12
| Y:0.13
| T:600.00
| T:600.00
| Y:0.17
| Y:0.76
| Y:0.04
| Y:0.01
|
| SK90_3.19.trs
| Y:0.03
| Y:0.11
| Y:0.08
| Y:0.18
| Y:0.06
| Y:0.86
| Y:0.04
| Y:0.02
|
| SK90_3.20.trs
| Y:0.11
| Y:0.65
| Y:0.12
| Y:0.35
| Y:0.63
| Y:0.76
| Y:0.04
| Y:0.15
|
| SK90_3.21.trs
| Y:0.49
| Y:0.95
| Y:0.09
| Y:0.24
| Y:1.29
| Y:0.72
| Y:0.24
| Y:0.01
|
| SK90_3.22.trs
| Y:0.58
| Y:2.38
| Y:0.90
| Y:0.28
| Y:1.26
| Y:1.11
| Y:18.88
| Y:0.39
|
| SK90_3.23.trs
| Y:0.58
| Y:1.32
| Y:0.27
| Y:0.53
| Y:1.06
| T:600.00
| Y:0.10
| Y:0.08
|
| SK90_3.24.trs
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.03
| Y:0.57
| Y:0.04
| Y:0.01
|
| SK90_3.25.trs
| Y:0.03
| Y:0.08
| Y:0.04
| Y:0.06
| Y:0.09
| Y:0.52
| Y:0.04
| Y:0.01
|
| SK90_3.26.trs
| Y:99.36
| T:600.00
| Y:60.67
| Y:284.43
| Y:97.29
| Y:39.92
| T:600.00
| Y:9.69
|
| SK90_3.27.trs
| Y:0.42
| Y:40.48
| Y:0.07
| Y:0.12
| Y:2.01
| Y:1.25
| Y:2.65
| Y:1.08
|
| SK90_3.28.trs
| Y:8.98
| Y:18.55
| T:600.00
| T:600.00
| Y:99.01
| T:600.00
| Y:19.84
| Y:251.56
|
| SK90_3.29.trs
| Y:0.10
| Y:0.15
| Y:0.16
| Y:1.28
| Y:0.20
| Y:0.76
| Y:0.05
| Y:0.75
|
| SK90_3.30.trs
| Y:0.02
| Y:0.05
| Y:0.02
| Y:0.05
| Y:0.07
| Y:0.57
| Y:0.04
| Y:0.01
|
| SK90_3.31.trs
| Y:0.02
| Y:0.02
| Y:0.04
| Y:0.04
| Y:0.02
| Y:0.55
| Y:0.04
| Y:0.01
|
| SK90_3.32.trs
| Y:0.03
| Y:0.03
| Y:0.03
| Y:0.03
| Y:0.04
| Y:0.52
| Y:0.04
| Y:0.01
|
| SK90_3.33.trs
| Y:0.03
| Y:0.03
| Y:0.03
| Y:0.03
| Y:0.03
| Y:0.53
| Y:0.04
| Y:0.01
|
| Sim91_sims2.trs
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| M:0.01
|
| TPDB_secret2006_torpa_secr4.trs
| Y:0.57
| Y:0.98
| Y:0.33
| Y:2.11
| Y:2.03
| Y:0.87
| Y:0.64
| Y:0.12
|
| TPDB_secret2006_torpa_secr10.trs
| Y:0.22
| Y:0.47
| Y:0.09
| Y:0.52
| Y:0.74
| Y:1.28
| Y:4.15
| Y:0.09
|
| TPDB_thiemann27.trs
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
|
| TPDB_zantema_z115.trs
| Y:0.54
| Y:2.02
| Y:0.65
| Y:0.75
| Y:0.89
| Y:1.37
| Y:0.54
| Y:0.14
|
| TPTP_BOO027-1_theory.trs
| Y:0.02
| Y:0.04
| Y:0.03
| Y:0.02
| Y:0.04
| Y:0.67
| Y:0.04
| Y:0.01
|
| TPTP_COL053-1_theory.trs
| Y:0.02
| Y:0.02
| Y:0.03
| Y:0.02
| Y:0.02
| Y:0.51
| Y:0.04
| Y:0.01
|
| TPTP_COL056-1_theory.trs
| Y:0.02
| Y:0.03
| Y:0.02
| Y:0.03
| Y:0.07
| Y:0.55
| Y:0.04
| Y:0.01
|
| TPTP_COL060-1_theory.trs
| M:0.01
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.03
| Y:1.00
| Y:0.04
| M:0.01
|
| TPTP_COL085-1_theory.trs
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.52
| Y:0.04
| Y:0.01
|
| TPTP_GRP010-4_theory.trs
| Y:0.39
| Y:0.46
| Y:0.15
| Y:1.02
| Y:0.73
| Y:2.68
| Y:0.40
| Y:0.06
|
| TPTP_GRP011-4_theory.trs
| Y:0.30
| Y:0.96
| Y:0.22
| Y:0.69
| Y:0.90
| Y:1.09
| Y:0.46
| Y:0.02
|
| TPTP_GRP012-4_theory.trs
| Y:0.10
| Y:0.17
| Y:0.09
| Y:0.14
| Y:0.22
| Y:1.06
| Y:0.06
| Y:0.01
|
| TPTP_GRP393-2_theory.trs
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.03
| Y:0.55
| Y:0.04
| Y:0.00
|
| TPTP_GRP394-3_theory.trs
| Y:0.25
| Y:0.31
| Y:0.14
| Y:0.26
| Y:0.47
| Y:0.98
| Y:0.14
| Y:0.02
|
| TPTP_GRP454-1_theory.trs
| M:0.20
| Y:1.24
| Y:1.04
| Y:2.10
| Y:6.50
| Y:1.90
| Y:9.41
| Y:0.30
|
| TPTP_GRP457-1_theory.trs
| M:0.19
| Y:1.28
| Y:1.05
| Y:5.44
| Y:9.56
| Y:1.89
| Y:20.40
| Y:0.30
|
| TPTP_GRP460-1_theory.trs
| M:0.39
| M:0.31
| Y:0.98
| Y:0.81
| Y:2.35
| Y:2.32
| Y:55.85
| Y:0.10
|
| TPTP_GRP463-1_theory.trs
| M:0.24
| Y:1.32
| Y:1.00
| Y:0.82
| Y:2.48
| Y:2.17
| Y:17.52
| Y:0.31
|
| TPTP_GRP481-1_theory.trs
| Y:1.10
| Y:3.82
| Y:0.68
| Y:1.78
| Y:3.19
| Y:2.18
| Y:10.44
| Y:0.44
|
| TPTP_GRP484-1_theory.trs
| Y:2.29
| Y:6.81
| Y:1.39
| Y:4.15
| Y:10.54
| Y:2.76
| Y:12.83
| Y:0.08
|
| TPTP_GRP487-1_theory.trs
| M:0.27
| Y:7.80
| Y:0.90
| M:1.86
| Y:9.75
| Y:3.36
| Y:19.39
| Y:0.12
|
| TPTP_GRP490-1_theory.trs
| Y:0.82
| Y:2.04
| Y:0.66
| Y:1.89
| Y:3.34
| Y:2.57
| Y:8.59
| Y:0.13
|
| TPTP_GRP493-1_theory.trs
| Y:1.45
| Y:3.10
| Y:0.87
| Y:2.34
| Y:5.38
| Y:2.36
| Y:58.21
| Y:1.21
|
| TPTP_GRP496-1_theory.trs
| M:0.28
| Y:2.54
| Y:0.40
| Y:6.99
| Y:4.66
| Y:2.86
| Y:57.98
| Y:0.14
|
| TPTP_HWC004-1_theory.trs
| Y:0.02
| Y:0.03
| Y:0.03
| Y:0.03
| Y:0.04
| M:0.87
| Y:0.04
| Y:0.01
|
| TPTP_HWC004-2_theory.trs
| Y:0.02
| Y:0.05
| Y:0.02
| Y:0.03
| Y:0.03
| Y:0.63
| Y:0.04
| Y:0.01
|
| TPTP_SWV262-2_theory.trs
| Y:0.02
| Y:0.07
| Y:0.04
| Y:0.05
| Y:0.04
| T:600.00
| Y:0.04
| Y:0.01
|
| WS06_proofreduction.trs
| M:0.19
| M:6.34
| M:0.11
| M:1.20
| M:4.03
| T:600.00
| Y:5.10
| M:0.26
|
| aufgabe3_2.trs
| Y:0.02
| Y:0.03
| Y:0.02
| Y:0.02
| Y:0.03
| Y:0.54
| Y:0.04
| Y:0.01
|
| aufgabe3_3.trs
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.50
| Y:0.04
| Y:0.01
|
| fggx.trs
| Y:0.02
| Y:0.05
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.50
| Y:0.04
| Y:0.01
|
| fib.trs
| Y:0.25
| Y:1.11
| M:0.04
| M:0.06
| Y:0.56
| Y:0.66
| Y:2.28
| Y:0.63
|
| kb_fail1.trs
| M:0.01
| M:0.01
| M:0.01
| M:0.01
| M:0.01
| M:0.79
| M:9.27
| M:0.01
|
| kb_fail.trs
| M:0.01
| M:0.01
| M:0.01
| M:0.01
| M:0.01
| M:0.72
| M:10.70
| M:0.01
|
| lr_theory.trs
| Y:0.35
| Y:0.86
| Y:0.21
| Y:0.86
| Y:1.93
| Y:1.26
| Y:0.39
| Y:0.02
|
| rl_theory.trs
| Y:0.38
| Y:1.24
| Y:0.30
| Y:0.85
| Y:1.96
| Y:2.89
| Y:0.96
| Y:0.04
|
| slothrop_ackermann.trs
| Y:0.02
| Y:0.07
| Y:0.02
| Y:0.03
| Y:0.25
| Y:0.53
| Y:0.05
| Y:0.01
|
| slothrop_cge3.trs
| M:0.01
| M:0.16
| M:0.01
| Y:1.17
| Y:6.84
| T:600.00
| Y:10.41
| T:600.00
|
| slothrop_cge.trs
| M:0.01
| M:0.08
| M:0.01
| Y:0.78
| Y:3.15
| T:600.00
| Y:3.13
| T:600.00
|
| slothrop_endo.trs
| Y:0.55
| Y:1.33
| Y:0.25
| Y:0.39
| Y:1.53
| T:600.00
| Y:0.99
| Y:0.09
|
| slothrop_equiv_proofs.trs
| M:0.05
| M:3.13
| M:0.07
| M:0.76
| M:4.10
| T:600.00
| Y:1.08
| M:0.01
|
| slothrop_equiv_proofs_or.trs
| M:0.05
| M:3.15
| M:0.07
| M:0.75
| M:4.52
| T:600.00
| Y:1.17
| M:0.01
|
| slothrop_fgh.trs
| Y:0.03
| Y:0.04
| Y:0.02
| Y:0.04
| Y:0.03
| Y:0.55
| Y:0.05
| Y:0.01
|
| slothrop_groups.trs
| Y:0.23
| Y:0.27
| Y:0.16
| Y:0.22
| Y:0.40
| Y:1.02
| Y:0.60
| Y:0.02
|
| slothrop_groups_conj.trs
| Y:0.06
| Y:0.11
| Y:0.08
| Y:0.14
| Y:0.18
| Y:0.77
| Y:0.05
| Y:0.01
|
| slothrop_hard.trs
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.02
| Y:0.73
| Y:0.05
| Y:0.01
|
| slothrop_nlp-2b.trs
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| T:600.00
| M:0.10
|