======================== Introduction ======================== These are results of krh on the problems of CASC-18. Results for the provers with exception of krh are from the published CASC-18 results: http://www.cs.miami.edu/~tptp/CASC/18/WWWFiles/Results.html. Results for krh were obtained on a 2400 MHz Pentium Linux machine. The input files were those of the TPTP 2.5.0, converted to protein format. pre.pl was used to convert non-Horn problems that are not range restricted. Krh was started on all problems with the same settings. set_flag(echo, false). set_flag(debug, false). set_flag(back_subsumption, false). set_flag(back_subsumption_within_news, false). set_flag(sort_bodies, true). set_flag(sort_heads, true). set_flag(check_disjunctions_are_ground, true). set_flag(negative_units, true). set_flag(merge_inf_input, false). set_flag(wp_semantics, false). set_flag(proof_terms, true). set_flag(level_cut, true). set_parameter(max_weight_initial, 3). set_parameter(max_weight_increment, 1). Krh was tested in the following variants: Krh 2003_03_21 timeout 600s, memory limit 500000k Krh 2003_03_28 with tptp2X magic transformation timeout 600s, memory limit 500000k, with the tptp2X magic sets transformation (-t magic) applied. This transformation failed for some problem files, these are marked with '-x-' in the result column. ============================================================================ Summary ============================================================================ ---------------------------------------------------------------------------- Problem set casc18(hne), 35 problems Infinite H-universe, unsatisfiable, Horn, without equality. ---------------------------------------------------------------------------- 1 Vampire 2.0-CASC 34 solved 2 Vampire 5.0 33 solved 3 Vampire 5.0-CASC 33 solved 4 Gandalf c-2.5-PROOF 28 solved 5 Gandalf c-2.5 28 solved 6 E-SETHEO csp02 28 solved 7 10, 12 together. 24 solved 8 E 0.7 20 solved 9 EP 0.7 20 solved 10 Krh 2003_03_21 19 solved 11 Bliksem 1.12a 17 solved 12 Krh 2003_03_28 with tptp2X magic transformation 16 solved 13 Otter 3.2 16 solved 14 DCTP 10.1p 16 solved 15 SCOTT 6.1 13 solved 16 DCTP 1.2 12 solved ---------------------------------------------------------------------------- Problem set casc18(heq), 35 problems Infinite H-universe, unsatisfiable, Horn, with equality. ---------------------------------------------------------------------------- 1 E-SETHEO csp02 33 solved 2 Vampire 5.0-CASC 32 solved 3 E 0.7 32 solved 4 Vampire 2.0-CASC 31 solved 5 Vampire 5.0 31 solved 6 EP 0.7 31 solved 7 Gandalf c-2.5-PROOF 29 solved 8 Gandalf c-2.5 29 solved 9 SCOTT 6.1 24 solved 10 Bliksem 1.12a 23 solved 11 Otter 3.2 21 solved 12 DCTP 10.1p 20 solved 13 DCTP 1.2 18 solved 14 Krh 2003_03_21 16 solved 15 Krh 2003_03_28 with tptp2X magic transformation 16 solved 16 14, 15 together. 16 solved ---------------------------------------------------------------------------- Problem set casc18(nne), 35 problems Infinite H-universe, unsatisfiable, Non-Horn, without equality. ---------------------------------------------------------------------------- 1 Vampire 5.0 33 solved 2 Vampire 5.0-CASC 33 solved 3 Vampire 2.0-CASC 31 solved 4 E-SETHEO csp02 29 solved 5 Gandalf c-2.5 29 solved 6 Gandalf c-2.5-PROOF 28 solved 7 E 0.7 23 solved 8 EP 0.7 23 solved 9 DCTP 10.1p 22 solved 10 Bliksem 1.12a 22 solved 11 SCOTT 6.1 15 solved 12 Krh 2003_03_21 11 solved 13 12, 16 together. 11 solved 14 DCTP 1.2 11 solved 15 Otter 3.2 10 solved 16 Krh 2003_03_28 with tptp2X magic transformation 8 solved ---------------------------------------------------------------------------- Problem set casc18(neq), 35 problems Infinite H-universe, unsatisfiable, Non-Horn, with equality. ---------------------------------------------------------------------------- 1 Vampire 5.0 32 solved 2 Vampire 5.0-CASC 31 solved 3 Vampire 2.0-CASC 30 solved 4 E-SETHEO csp02 28 solved 5 Gandalf c-2.5 28 solved 6 E 0.7 27 solved 7 EP 0.7 26 solved 8 Gandalf c-2.5-PROOF 26 solved 9 DCTP 10.1p 15 solved 10 DCTP 1.2 12 solved 11 Bliksem 1.12a 9 solved 12 Otter 3.2 9 solved 13 SCOTT 6.1 6 solved 14 Krh 2003_03_21 2 solved 15 Krh 2003_03_28 with tptp2X magic transformation 2 solved 16 14, 15 together. 2 solved ---------------------------------------------------------------------------- Problem set casc18(peq), 35 problems Infinite H-universe, unsatisfiable, pure equality. ---------------------------------------------------------------------------- 1 E 0.7 29 solved 2 Vampire 5.0 29 solved 3 EP 0.7 29 solved 4 Vampire 5.0-CASC 28 solved 5 E-SETHEO csp02 27 solved 6 Vampire 2.0-CASC 26 solved 7 Bliksem 1.12a 17 solved 8 Gandalf c-2.5 15 solved 9 Gandalf c-2.5-PROOF 14 solved 10 SCOTT 6.1 5 solved 11 Otter 3.2 4 solved 12 DCTP 1.2 3 solved 13 DCTP 10.1p 3 solved 14 Krh 2003_03_21 0 solved 15 Krh 2003_03_28 with tptp2X magic transformation 0 solved 16 14, 15 together. 0 solved ---------------------------------------------------------------------------- Problem set casc18(ept), 35 problems Finite H-universe, unsatisfiable. ---------------------------------------------------------------------------- 1 Gandalf c-2.5-SAT 34 solved 2 E-SETHEO csp02 33 solved 3 Vampire 5.0 26 solved 4 DCTP 10.1p 25 solved 5 GrAnDe 1.1 21 solved 6 DCTP 1.2-EPR 17 solved 7 SCOTT 6.1 7 solved 8 Krh 2003_03_21 5 solved 9 8, 10 together. 5 solved 10 Krh 2003_03_28 with tptp2X magic transformation 4 solved ---------------------------------------------------------------------------- Problem set casc18(eps), 35 problems Finite H-universe, satisfiable. ---------------------------------------------------------------------------- 1 E-SETHEO csp02 27 solved 2 DCTP 1.2-EPR 27 solved 3 Gandalf c-2.5-SAT 24 solved 4 GrAnDe 1.1 17 solved 5 Krh 2003_03_21 15 solved 6 Krh 2003_03_28 with tptp2X magic transformation 15 solved 7 5, 6 together. 15 solved 8 Vampire 5.0 6 solved 9 SCOTT 6.1 2 solved 10 DCTP 10.1p 0 solved ---------------------------------------------------------------------------- Problem set casc18(sne), 35 problems Infinite H-universe, satisfiable, without equality. ---------------------------------------------------------------------------- 1 Gandalf c-2.5-SAT 28 solved 2 GandalfSat 1.0 23 solved 3 ICGNS 2002b 19 solved 4 E-SETHEO csp02-SAT 19 solved 5 DCTP 10.1p-SAT 17 solved 6 SCOTT 6.1 15 solved 7 DCTP 1.2-SAT 10 solved 8 9, 10 together. 7 solved 9 Krh 2003_03_21 5 solved 10 Krh 2003_03_28 with tptp2X magic transformation 3 solved ---------------------------------------------------------------------------- Problem set casc18(seq), 35 problems Infinite H-universe, satisfiable, with equality. ---------------------------------------------------------------------------- 1 Gandalf c-2.5-SAT 33 solved 2 ICGNS 2002b 31 solved 3 SCOTT 6.1 22 solved 4 GandalfSat 1.0 21 solved 5 E-SETHEO csp02-SAT 15 solved 6 DCTP 1.2-SAT 14 solved 7 DCTP 10.1p-SAT 14 solved 8 Krh 2003_03_21 0 solved 9 Krh 2003_03_28 with tptp2X magic transformation 0 solved 10 8, 9 together. 0 solved ---------------------------------------------------------------------------- Problem set casc18(ueq), 70 problems Infinite H-universe, unsatisfiable, unit equality. ---------------------------------------------------------------------------- 1 Waldmeister 702 70 solved 2 Waldmeister 601 70 solved 3 E-SETHEO csp02 40 solved 4 E 0.7 36 solved 5 Gandalf c-2.5 27 solved 6 Vampire 5.0 25 solved 7 Otter 3.2 17 solved 8 SCOTT 6.1 17 solved 9 CiME 2 15 solved 10 Bliksem 1.12a 11 solved 11 Krh 2003_03_21 4 solved 12 Krh 2003_03_28 with tptp2X magic transformation 4 solved 13 11, 12 together. 4 solved ============================================================================ Details ============================================================================ ---------------------------------------------------------------------------- Abbreviations ---------------------------------------------------------------------------- --- Timeout (or unspecified). -g- GaveUp (Used only by CASC). -u- Unknown (Used only by CASC). -m- Out of Memory (Used only by KRH). -l- Max number of vars exceeded (Used only by KRH). -?- No result available. -x- Tptp2X preprocessing failure. ---------------------------------------------------------------------------- Problem set casc18(hne), 35 problems Infinite H-universe, unsatisfiable, Horn, without equality. ---------------------------------------------------------------------------- 1 Vampire 2.0-CASC 34 solved 2 Vampire 5.0 33 solved 3 Vampire 5.0-CASC 33 solved 4 Gandalf c-2.5-PROOF 28 solved 5 Gandalf c-2.5 28 solved 6 E-SETHEO csp02 28 solved 7 10, 12 together. 24 solved 8 E 0.7 20 solved 9 EP 0.7 20 solved 10 Krh 2003_03_21 19 solved 11 Bliksem 1.12a 17 solved 12 Krh 2003_03_28 with tptp2X magic transformation 16 solved 13 Otter 3.2 16 solved 14 DCTP 10.1p 16 solved 15 SCOTT 6.1 13 solved 16 DCTP 1.2 12 solved Prob. Rating \ Prover| 1| 2| 3| 4| 5| 6| 7| 8| 9| 10| 11| 12| 13| 14| 15| 16| ---------------------|------|------|------|------|------|------|------|------|------|------|------|------|------|------|------|------| LCL417-1 0.83| ---| ---| ---| -g-| -g-| -g-| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| LCL191-1 0.71| 216.4| 14.6| 14.6| 40.0| 40.0| ---| 2.0| ---| ---| 2.0| 159.9| -m-| -g-| ---| 230.1| ---| SYN631-1 0.67| 0.1| 60.3| 60.3| 10.0| 9.9| -g-| 13.2| ---| ---| 13.2| ---| 18.2| 52.3| 37.3| 90.1| 0.0| LCL030-1 0.57| 397.4| 13.2| 13.2| 0.0| 0.0| -g-| 269.8| ---| ---| 269.8| 534.4| ---| 19.8| ---| 89.9| ---| LCL223-1 0.57| 0.3| 5.8| 64.4| -g-| -g-| 95.3| 10.7| ---| ---| 10.7| ---| -m-| -g-| ---| -g-| 300.2| LCL227-1 0.57| 151.9| 0.5| 190.0| -u-| -u-| 29.3| ---| 10.6| 15.0| -m-| ---| -m-| -g-| ---| -g-| ---| LCL249-1 0.57| 221.3| 10.4| 191.4| -u-| -u-| 20.6| 149.8| 49.5| 72.6| 149.8| ---| -m-| -g-| ---| -g-| ---| RNG004-3 0.57| 15.5| 8.2| 8.2| -g-| -g-| -g-| 262.2| ---| ---| 262.2| 104.8| 286.5| 29.2| ---| 130.0| ---| ANA003-2 0.43| 41.0| 5.3| 5.4| -g-| -g-| 0.3| ---| 0.2| 0.3| ---| ---| ---| ---| ---| ---| ---| LCL012-1 0.43| 44.1| 5.3| 5.3| 10.0| 10.0| 6.2| 24.7| 6.1| 9.6| 24.7| 478.2| ---| 34.5| ---| 500.5| ---| LCL024-1 0.43| 38.6| 5.1| 5.1| 230.1| 230.1| 1.4| ---| 1.3| 2.3| ---| 141.0| ---| 38.1| ---| ---| ---| LCL253-1 0.43| 310.1| -g-| ---| -u-| -u-| 548.5| ---| ---| ---| -m-| ---| -m-| -g-| ---| -g-| ---| PUZ042-1 0.43| 305.3| 76.3| 76.3| 0.0| 0.0| 95.3| 0.3| 95.5| 97.1| 0.3| ---| -m-| 5.0| 381.2| -g-| 200.2| RNG001-5 0.43| 196.4| 99.6| 99.6| 50.0| 50.0| 32.2| ---| 31.7| 43.4| ---| 90.9| ---| 12.0| 37.2| ---| ---| RNG039-2 0.43| 2.0| 1.1| 1.1| 30.0| 30.0| 0.9| 0.5| 0.7| 1.2| 0.5| 3.7| 1.3| 2.7| 105.1| 60.0| 0.0| LCL416-1 0.33| 0.5| 0.1| 0.1| 30.0| 30.0| 0.8| 1.5| 0.6| 1.2| 1.5| 1.0| 2.2| 5.5| ---| 70.1| 230.2| SYN556-1 0.33| 0.1| 52.2| 52.2| 69.8| 70.0| 542.2| ---| ---| ---| ---| 80.2| ---| ---| 0.1| ---| ---| SYN597-1 0.33| 2.0| 52.3| 52.3| 80.0| 80.1| 542.2| 12.3| ---| ---| ---| ---| 12.3| -g-| 0.1| ---| ---| SYN600-1 0.33| 0.4| 1.8| 1.9| 40.0| 40.0| 542.2| ---| ---| ---| ---| ---| -m-| 9.9| 8.4| ---| ---| SYN601-1 0.33| 90.5| 59.3| 59.3| 80.1| 80.1| 542.2| ---| ---| ---| ---| ---| ---| -g-| 12.0| ---| ---| SYN602-1 0.33| 150.8| 52.6| 52.7| 30.0| 30.0| 542.2| 106.2| ---| ---| 106.2| ---| 108.7| 55.6| 0.1| ---| 0.0| SYN616-1 0.33| 9.3| 52.7| 52.7| 190.2| 200.2| 542.2| 327.0| ---| ---| 327.5| ---| 327.0| ---| 1.0| ---| ---| SYN628-1 0.33| 0.1| 52.2| 52.2| 10.0| 10.0| 542.2| 15.7| ---| ---| 15.7| ---| 16.0| ---| 0.3| ---| ---| SYN653-1 0.33| 28.4| 1.4| 1.4| 50.0| 50.0| -g-| ---| 2.1| 3.1| -l-| 0.2| -l-| ---| 0.1| 69.9| 0.0| GEO002-4 0.29| 1.3| 0.0| 0.0| 0.0| 0.0| 0.1| 0.0| 0.0| 0.1| 0.0| 0.0| 0.0| 0.1| 0.1| 40.0| 0.0| GRP048-2 0.29| 33.8| 6.6| 6.6| 0.0| 0.0| 0.7| 0.1| 0.6| 1.2| 0.1| 0.1| 0.2| 5.6| 131.3| 40.0| 100.1| LCL048-1 0.29| 7.7| 0.2| 0.2| 0.0| 0.0| 10.8| 2.8| 10.7| 16.7| 2.8| 0.4| 7.6| 0.3| 3.1| 80.0| ---| LCL224-1 0.29| 0.1| 0.2| 12.3| 90.1| 90.1| 58.9| 9.9| 15.0| 22.2| 9.9| 43.3| -m-| -g-| ---| -g-| 280.3| LCL225-1 0.29| 1.2| 3.2| 4.9| 90.1| 90.1| 35.3| 10.0| 14.3| 20.8| 10.0| 38.7| -m-| -g-| ---| -g-| 330.3| LCL402-1 0.29| 301.7| 1.0| 1.0| 0.0| 0.0| 20.7| 15.2| 20.6| 32.1| 15.2| 0.9| 37.1| 1.6| 333.5| 10.0| ---| NUM017-1 0.29| 81.6| 32.0| 31.9| 60.0| 60.0| -g-| ---| ---| ---| ---| 0.1| ---| 238.1| ---| 320.3| 370.2| PLA008-1 0.29| 0.4| 0.1| 0.1| 350.2| 350.3| 0.3| 1.8| 0.6| 0.8| ---| ---| 1.8| ---| ---| ---| ---| PLA010-1 0.29| 0.2| 0.1| 0.2| 350.3| 350.3| 1.8| 1.8| 1.6| 1.9| ---| ---| 1.8| ---| ---| ---| ---| PLA015-1 0.29| 0.3| 0.1| 0.1| 340.2| 340.3| 3.4| 2.4| 7.0| 7.3| ---| ---| 2.4| ---| ---| ---| ---| PLA018-1 0.29| 0.1| 0.0| 0.0| 100.0| 100.0| 0.2| 2.4| 0.0| 0.1| ---| ---| 2.4| ---| ---| ---| ---| ---------------------------------------------------------------------------- Problem set casc18(heq), 35 problems Infinite H-universe, unsatisfiable, Horn, with equality. ---------------------------------------------------------------------------- 1 E-SETHEO csp02 33 solved 2 Vampire 5.0-CASC 32 solved 3 E 0.7 32 solved 4 Vampire 2.0-CASC 31 solved 5 Vampire 5.0 31 solved 6 EP 0.7 31 solved 7 Gandalf c-2.5-PROOF 29 solved 8 Gandalf c-2.5 29 solved 9 SCOTT 6.1 24 solved 10 Bliksem 1.12a 23 solved 11 Otter 3.2 21 solved 12 DCTP 10.1p 20 solved 13 DCTP 1.2 18 solved 14 Krh 2003_03_21 16 solved 15 Krh 2003_03_28 with tptp2X magic transformation 16 solved 16 14, 15 together. 16 solved Prob. Rating \ Prover| 1| 2| 3| 4| 5| 6| 7| 8| 9| 10| 11| 12| 13| 14| 15| 16| ---------------------|------|------|------|------|------|------|------|------|------|------|------|------|------|------|------|------| LCL152-1 0.86| 121.3| ---| 105.1| 11.9| ---| -u-| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ANA004-1 0.71| 24.0| ---| 6.3| ---| ---| 9.2| -g-| -g-| ---| ---| ---| ---| ---| ---| ---| ---| COL006-3 0.71| -g-| 8.5| ---| 8.0| 8.6| ---| 110.1| 110.1| ---| ---| ---| ---| ---| ---| -m-| ---| LAT002-1 0.71| 425.8| ---| ---| ---| ---| ---| -u-| ---| 440.4| ---| ---| ---| -u-| ---| ---| ---| HWV002-1 0.57| 357.5| 200.6| 343.3| 206.9| 200.7| 410.5| -g-| -g-| ---| 376.5| -g-| ---| ---| ---| ---| ---| LCL300-3 0.57| 71.9| 107.2| 9.7| ---| 107.1| 14.8| -g-| -g-| ---| ---| -g-| ---| ---| ---| ---| ---| BOO015-1 0.43| 51.7| 36.5| 11.2| 1.0| 27.6| 14.3| -g-| -u-| 70.0| 1.3| 16.3| ---| -u-| ---| ---| ---| CAT011-4 0.43| 16.2| 0.1| 0.0| 0.1| 0.1| 0.1| 0.0| 0.0| ---| 0.0| 0.2| 0.1| 0.0| 0.0| 0.0| 0.0| CAT018-4 0.43| 16.2| 3.8| 0.1| 4.8| 3.8| 0.2| 0.0| 0.0| ---| 0.0| ---| 1.0| 0.0| 6.3| 8.3| 6.3| COL044-2 0.43| 18.7| 11.6| 1.9| 0.8| 117.8| 3.4| 510.4| 510.5| ---| ---| ---| 347.2| ---| ---| -m-| ---| COL044-3 0.43| 19.1| 11.1| 2.9| 0.9| 117.2| 5.2| 500.4| 520.5| ---| ---| ---| 377.6| ---| ---| -m-| ---| COL044-5 0.43| 28.2| 11.1| 12.0| 0.9| 8.2| 19.7| 510.3| 520.5| ---| ---| ---| ---| ---| ---| -m-| ---| HWC003-2 0.43| 16.3| 46.2| 0.1| ---| ---| 0.2| 80.0| 80.1| 220.0| ---| ---| 0.2| 0.0| ---| ---| ---| RNG008-6 0.43| 25.6| 31.6| 20.2| 0.5| 31.7| 26.5| 19.9| 19.9| 60.0| 0.5| 7.2| ---| ---| ---| ---| ---| BOO008-1 0.29| 23.9| 12.6| 2.1| 1.0| 12.7| 3.2| 60.0| 60.0| 270.2| 1.1| 8.7| 5.7| 0.0| ---| ---| ---| BOO017-1 0.29| 2.7| 0.5| 0.6| 0.1| 0.5| 1.1| 50.0| 50.0| 10.0| 0.0| 0.2| 1.7| 0.0| 109.2| 316.0| 109.2| CAT002-1 0.29| 16.8| 28.2| 0.6| 405.0| 28.3| 0.9| 0.0| 0.0| 170.2| 7.2| 1.7| 0.2| 0.0| 2.9| 3.8| 2.9| COL003-2 0.29| 17.2| 1.6| 0.9| 3.9| 5.7| 1.8| 330.2| 330.2| 20.0| ---| -g-| ---| ---| ---| -m-| ---| COL042-5 0.29| 29.1| 3.0| 20.5| 7.4| 12.8| 33.1| 590.5| 590.5| ---| ---| -g-| ---| ---| ---| -m-| ---| GRP002-1 0.29| 566.3| 101.3| 316.7| 0.3| 101.3| 364.5| 39.7| 40.0| 100.0| 0.2| ---| 79.6| 80.0| ---| ---| ---| HEN003-1 0.29| 16.2| 0.0| 0.1| 0.1| 0.0| 0.2| 0.0| 0.0| 60.0| 0.1| 0.1| 0.1| 0.0| 0.3| 4.4| 0.3| HEN003-2 0.29| 16.2| 0.0| 0.0| 0.0| 0.0| 0.2| 0.0| 0.0| 70.0| 0.1| 0.1| 0.1| 0.0| 0.3| 0.9| 0.3| HEN004-2 0.29| -g-| 0.0| ---| 0.1| 0.1| ---| 0.0| 0.0| 170.1| 0.1| 0.2| ---| ---| ---| ---| ---| HEN005-4 0.29| 16.2| 0.0| 0.0| 0.1| 0.0| 0.1| 0.0| 0.0| 10.0| 0.0| 0.2| 0.1| 0.0| 0.8| 1.1| 0.8| HEN006-1 0.29| 16.5| 0.2| 0.3| 0.2| 0.2| 0.8| 0.0| 0.0| 0.0| 0.5| 0.2| 0.2| 0.0| 16.9| 118.4| 16.9| HEN006-2 0.29| 20.1| 0.2| 3.9| 0.1| 0.1| 10.3| 0.0| 0.0| 70.1| 0.1| 0.3| 0.3| 0.0| 252.3| 442.4| 252.3| HEN006-6 0.29| 16.2| 0.0| 3.9| 0.1| 0.0| 9.6| 0.0| 0.0| 0.0| 0.0| 1.9| 0.7| 0.0| 9.8| 12.9| 9.8| HEN006-7 0.29| 16.4| 0.1| 0.2| 0.2| 0.1| 0.6| 0.0| 0.0| 0.0| 1.1| 0.2| 0.9| 0.0| 244.3| 454.9| 244.3| HEN007-1 0.29| 16.4| 0.2| 0.2| 0.1| 0.2| 0.6| 0.0| 0.0| 0.0| 1.6| 0.9| ---| ---| ---| ---| ---| HEN010-7 0.29| 20.3| 1.2| 3.8| 0.1| 1.1| 7.4| 0.0| 0.0| 0.0| 0.2| 0.2| 0.2| 0.0| 0.1| 0.1| 0.1| HEN012-1 0.29| 16.8| 0.0| 0.6| 0.1| 0.0| 1.3| 0.0| 0.0| 40.0| 0.1| 0.1| ---| ---| 0.3| 0.6| 0.3| HWC001-1 0.29| 16.2| 1.5| 0.0| 0.1| 1.5| 0.1| 0.0| 0.0| 19.9| 0.0| 0.1| 0.1| 0.0| ---| ---| ---| LAT005-5 0.29| 94.6| 17.5| 80.7| 37.8| 17.6| 88.2| 0.0| 0.0| 0.0| ---| 2.8| ---| ---| 0.1| 0.4| 0.1| LCL109-5 0.29| 16.2| 0.1| 0.0| 0.1| 0.1| 0.1| 0.0| 0.0| 0.0| 0.0| 0.1| 0.1| 0.0| 0.1| 3.8| 0.1| RNG005-1 0.29| 0.3| 0.3| 0.1| 0.4| 0.3| 0.2| 0.0| 0.0| 0.0| 0.1| 0.3| 0.1| 0.0| 0.2| 1.0| 0.2| ---------------------------------------------------------------------------- Problem set casc18(nne), 35 problems Infinite H-universe, unsatisfiable, Non-Horn, without equality. ---------------------------------------------------------------------------- 1 Vampire 5.0 33 solved 2 Vampire 5.0-CASC 33 solved 3 Vampire 2.0-CASC 31 solved 4 E-SETHEO csp02 29 solved 5 Gandalf c-2.5 29 solved 6 Gandalf c-2.5-PROOF 28 solved 7 E 0.7 23 solved 8 EP 0.7 23 solved 9 DCTP 10.1p 22 solved 10 Bliksem 1.12a 22 solved 11 SCOTT 6.1 15 solved 12 Krh 2003_03_21 11 solved 13 12, 16 together. 11 solved 14 DCTP 1.2 11 solved 15 Otter 3.2 10 solved 16 Krh 2003_03_28 with tptp2X magic transformation 8 solved Prob. Rating \ Prover| 1| 2| 3| 4| 5| 6| 7| 8| 9| 10| 11| 12| 13| 14| 15| 16| ---------------------|------|------|------|------|------|------|------|------|------|------|------|------|------|------|------|------| ANA002-1 0.67| 24.4| 24.5| 19.4| ---| 360.2| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ANA002-3 0.67| ---| ---| 536.0| 1.2| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| FLD022-1 0.67| ---| ---| 227.8| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| -u-| ---| ---| FLD068-1 0.67| 141.8| 231.0| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| SET010-1 0.67| 23.9| 23.8| 354.0| 15.8| 30.0| 30.0| 25.2| 26.4| 1.2| ---| ---| ---| ---| 0.0| ---| ---| SET013-1 0.67| 1.2| 1.2| 0.7| 1.2| 310.3| 310.2| 2.1| 4.0| ---| 81.7| ---| ---| ---| ---| ---| ---| SET013-2 0.67| 7.2| 7.2| 0.2| 89.6| 0.0| 0.0| 25.8| 33.8| ---| ---| ---| ---| ---| ---| ---| ---| SYN067-1 0.67| 0.6| 0.6| ---| 153.4| ---| ---| 123.4| 174.3| 23.1| ---| ---| ---| ---| 0.0| ---| ---| SYN802-1 0.67| 5.5| 5.5| 480.7| ---| ---| ---| ---| ---| ---| ---| ---| 214.9| 214.9| ---| ---| 505.6| ANA002-4 0.33| 54.1| 54.1| 51.1| 1.2| 280.3| 480.4| ---| ---| 1.6| 549.2| ---| ---| ---| ---| ---| ---| FLD036-3 0.33| 6.0| 6.0| 29.5| 2.7| 0.0| 0.0| 1.4| 2.5| 2.5| ---| 90.1| 3.4| 3.4| 50.0| 12.1| 9.4| GRP039-6 0.33| 9.5| 9.5| 53.0| 31.9| 0.0| 0.0| 1.6| 3.2| 75.3| 0.1| ---| 8.5| 8.5| ---| ---| 9.0| HWV006-1 0.33| 65.0| 64.8| 0.1| 62.2| 0.0| 0.0| 0.1| 0.2| 0.2| 0.1| 0.0| 0.0| 0.0| 0.0| 0.1| ---| HWV006-2 0.33| 166.6| 166.6| 0.1| 0.4| 0.0| 0.0| 0.1| 0.2| 1.3| 0.1| 0.0| 0.0| 0.0| 0.0| 0.1| -m-| HWV007-2 0.33| 141.2| 141.5| 0.1| 8.0| 0.0| 0.0| 0.1| 0.2| 1.1| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| -m-| SET014-2 0.33| 11.5| 11.1| 0.2| 0.3| 20.0| 20.0| ---| ---| 8.9| ---| 100.1| ---| ---| 460.4| ---| ---| SYN036-1 0.33| 0.1| 0.1| 158.1| 63.8| 120.1| 120.1| 0.8| 1.8| 2.6| 0.0| ---| ---| ---| ---| ---| -x-| SYN353-1 0.33| 0.0| 0.0| 0.1| 30.2| 0.0| 0.0| 0.0| 0.2| ---| ---| ---| ---| ---| ---| -g-| ---| SYN568-1 0.33| 0.0| 0.0| 0.1| 0.1| 0.0| 0.0| 0.4| 0.8| 0.1| 0.0| 40.0| ---| ---| 0.0| 0.1| ---| SYN576-1 0.33| 92.9| 92.9| 120.5| 0.1| 10.0| 9.9| ---| ---| ---| 4.9| 10.0| ---| ---| ---| 6.4| ---| SYN607-1 0.33| 24.7| 24.4| 7.1| 0.1| 39.9| 40.0| ---| ---| 0.1| ---| 20.0| ---| ---| ---| ---| ---| SYN633-1 0.33| 0.0| 0.0| 0.2| 0.1| 30.0| 19.9| 5.3| 7.9| 0.1| 6.8| 10.0| ---| ---| ---| ---| ---| SYN634-1 0.33| 0.0| 0.0| 0.1| 0.2| 20.0| 20.0| 0.1| 0.3| 0.7| 115.3| 40.0| ---| ---| ---| ---| ---| SYN635-1 0.33| 0.0| 0.0| 0.2| 0.1| 29.9| 29.8| 0.1| 0.2| 0.7| ---| 29.9| ---| ---| ---| ---| ---| SYN641-1 0.33| 12.2| 12.2| 0.1| 0.1| 0.0| 0.0| 0.6| 1.1| 13.2| 1.1| 10.0| ---| ---| 0.0| 3.8| ---| SYN642-1 0.33| 0.2| 0.2| 0.1| 0.1| 0.0| 0.0| 43.1| 53.1| 13.3| 0.0| 0.0| ---| ---| 0.0| 3.6| ---| SYN657-1 0.33| 0.0| 0.0| 0.1| 0.1| 30.0| 30.0| 0.2| 0.5| 0.6| 0.1| 10.0| ---| ---| ---| 191.1| ---| SYN673-1 0.33| 14.4| 14.4| 43.5| 0.2| 0.0| 0.0| ---| ---| 0.6| 4.4| 60.0| ---| ---| ---| 3.9| ---| SYN694-1 0.33| 7.5| 7.6| 1.1| 0.1| 39.9| 40.0| 152.4| 195.4| 377.3| 9.5| ---| ---| ---| ---| ---| ---| SYN698-1 0.33| 82.4| 82.4| 1.4| 0.1| 40.0| 40.0| 119.7| 158.8| 344.3| 11.7| ---| ---| ---| ---| ---| ---| SYN755-1 0.33| 0.0| 0.0| ---| 62.3| 10.0| 9.9| 0.3| 0.6| 22.9| 0.1| ---| 0.1| 0.1| 0.0| ---| 0.5| SYN758-1 0.33| 0.2| 0.2| 398.9| ---| ---| ---| ---| ---| ---| 43.1| ---| 0.7| 0.7| ---| ---| 3.4| SYN759-1 0.33| 0.2| 0.2| ---| ---| 140.0| 140.1| ---| ---| ---| 73.9| ---| 0.9| 0.9| ---| ---| 4.7| SYN784-1 0.33| 0.1| 0.1| 301.5| 64.5| 10.0| 10.0| 6.7| 10.3| ---| 21.4| ---| 0.2| 0.2| ---| ---| 0.7| SYN796-1 0.33| 0.1| 0.1| 245.7| 64.6| 90.1| 90.1| 2.4| 4.2| ---| 0.7| ---| 0.1| 0.1| ---| ---| 0.6| ---------------------------------------------------------------------------- Problem set casc18(neq), 35 problems Infinite H-universe, unsatisfiable, Non-Horn, with equality. ---------------------------------------------------------------------------- 1 Vampire 5.0 32 solved 2 Vampire 5.0-CASC 31 solved 3 Vampire 2.0-CASC 30 solved 4 E-SETHEO csp02 28 solved 5 Gandalf c-2.5 28 solved 6 E 0.7 27 solved 7 EP 0.7 26 solved 8 Gandalf c-2.5-PROOF 26 solved 9 DCTP 10.1p 15 solved 10 DCTP 1.2 12 solved 11 Bliksem 1.12a 9 solved 12 Otter 3.2 9 solved 13 SCOTT 6.1 6 solved 14 Krh 2003_03_21 2 solved 15 Krh 2003_03_28 with tptp2X magic transformation 2 solved 16 14, 15 together. 2 solved Prob. Rating \ Prover| 1| 2| 3| 4| 5| 6| 7| 8| 9| 10| 11| 12| 13| 14| 15| 16| ---------------------|------|------|------|------|------|------|------|------|------|------|------|------|------|------|------|------| LDA008-1 0.90| 325.9| ---| 126.6| -g-| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| NUM007-1 0.90| ---| ---| ---| -g-| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| GEO008-1 0.88| 103.1| 100.8| 224.9| -g-| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| GEO009-1 0.88| 18.2| 303.5| ---| -g-| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| HWV029-2 0.88| ---| ---| ---| -g-| 340.3| ---| ---| 440.3| ---| ---| ---| ---| ---| ---| ---| ---| HWV033-1 0.88| ---| ---| ---| -g-| 60.0| ---| ---| 60.0| ---| ---| ---| ---| ---| ---| ---| ---| LDA010-1 0.70| 7.1| 7.1| 136.1| 51.4| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| GRP026-1 0.67| 90.0| 89.9| ---| 24.2| ---| 3.3| 6.0| ---| ---| -u-| 14.2| ---| ---| ---| ---| ---| LDA011-1 0.60| 0.4| 0.4| 0.1| 15.4| 30.0| 0.3| 0.6| 30.0| ---| ---| 65.3| ---| ---| ---| ---| ---| SET042-3 0.60| 1.6| 1.6| 1.2| -g-| 0.0| ---| ---| 0.0| ---| ---| ---| ---| ---| ---| ---| ---| GEO007-1 0.50| 2.4| 38.6| 0.2| 15.6| 110.0| 0.3| 0.7| 100.1| ---| ---| ---| ---| ---| ---| ---| ---| GEO010-1 0.50| 0.3| 96.6| 0.3| 15.4| 180.2| 0.0| 0.1| ---| ---| ---| ---| ---| ---| ---| ---| ---| HWV017-1 0.50| 0.1| 0.1| 1.0| 12.6| 20.0| 1.8| 3.8| 19.9| ---| ---| 127.8| 263.5| ---| ---| ---| ---| LDA005-1 0.50| 7.5| 18.1| 5.6| 15.4| 29.9| 9.5| 15.8| 30.0| ---| ---| ---| ---| ---| ---| ---| ---| LDA006-2 0.50| 4.7| 18.2| 69.2| 15.7| 0.0| 0.4| 0.9| 0.0| ---| ---| 51.6| 273.1| ---| ---| ---| ---| GEO083-1 0.44| 8.7| 8.6| 137.5| 5.2| 80.0| 6.1| 9.6| 79.9| ---| ---| ---| ---| ---| ---| ---| ---| MGT029-1 0.44| 33.4| 33.4| 12.1| 0.6| -g-| 2.0| 3.5| -g-| 0.6| 0.0| ---| ---| -g-| ---| ---| ---| SET497-6 0.44| 15.9| 204.3| 24.2| 16.5| 119.9| 1.9| 2.8| 120.1| ---| ---| 458.2| ---| ---| ---| ---| ---| CAT018-3 0.40| 3.2| 3.2| 1.4| 0.7| 20.0| 0.1| 0.2| 20.0| 0.6| 0.0| ---| ---| -g-| ---| ---| ---| GRP039-2 0.40| 0.3| 0.3| 0.2| 2.8| 20.0| 0.0| 0.2| 19.8| 2.8| 0.0| 0.3| ---| ---| ---| ---| ---| GRP040-3 0.40| 0.5| 0.5| 0.2| 0.6| 0.0| 0.1| 0.2| 0.0| 0.6| 0.0| 0.0| 419.9| ---| ---| ---| ---| LDA007-1 0.40| 0.0| 0.0| 20.4| 8.3| 20.0| 0.1| 0.2| 20.0| 104.2| ---| -u-| 8.7| 70.1| ---| ---| ---| SET022-3 0.40| 53.7| 92.8| 296.4| 10.0| 19.9| 187.8| 260.8| 19.9| ---| ---| ---| ---| ---| ---| ---| ---| SYN014-1 0.40| 0.0| 0.0| 0.1| 15.2| 340.2| 0.2| 0.6| -g-| 57.4| ---| ---| ---| ---| 0.1| 0.4| 0.1| GEO011-1 0.38| 0.9| 7.3| 0.3| 15.4| 90.1| 0.3| 0.6| 90.1| ---| ---| ---| ---| 330.3| ---| ---| ---| HWV016-1 0.38| 0.3| 0.3| 1.2| 16.9| 20.0| 333.5| ---| 20.0| ---| ---| ---| ---| ---| ---| ---| ---| HWV022-1 0.38| 0.2| 0.2| 0.6| 15.3| 20.0| 0.1| 0.2| 20.0| 56.0| 119.9| ---| 320.7| ---| ---| ---| ---| SWC049-1 0.33| 0.1| 0.1| 0.2| 47.4| 189.9| 0.1| 0.3| 190.1| 48.5| ---| ---| ---| ---| 8.6| 202.8| 8.6| LDA007-2 0.30| 6.1| 6.1| 4.0| 3.2| 0.0| 0.1| 0.3| 0.0| 3.2| 0.0| 1.6| 3.0| 0.0| ---| ---| ---| GEO001-1 0.25| 0.1| 0.1| 0.1| 0.1| 0.0| 0.0| 0.1| 0.0| 0.1| 0.0| ---| 314.0| 70.0| ---| ---| ---| GEO002-1 0.25| 0.0| 0.1| 0.1| 0.1| 0.0| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| 301.6| 0.0| ---| ---| ---| GEO006-1 0.25| 0.1| 5.7| 0.2| 0.2| 0.0| 0.0| 0.2| 0.0| 0.2| 0.0| ---| 429.2| 120.1| ---| ---| ---| HWV013-2 0.25| 0.1| 0.1| 0.2| 0.2| 30.0| 0.1| 0.2| 30.0| 0.2| 0.0| ---| ---| ---| ---| ---| ---| HWV023-2 0.25| 0.1| 0.1| 0.2| 0.7| 50.0| 0.1| 0.2| 50.0| 0.7| 0.0| ---| ---| ---| ---| ---| ---| HWV027-2 0.25| 0.0| 0.0| 0.1| 0.3| 50.0| 0.1| 0.2| 49.9| 0.2| 0.0| ---| ---| ---| ---| ---| ---| ---------------------------------------------------------------------------- Problem set casc18(peq), 35 problems Infinite H-universe, unsatisfiable, pure equality. ---------------------------------------------------------------------------- 1 E 0.7 29 solved 2 Vampire 5.0 29 solved 3 EP 0.7 29 solved 4 Vampire 5.0-CASC 28 solved 5 E-SETHEO csp02 27 solved 6 Vampire 2.0-CASC 26 solved 7 Bliksem 1.12a 17 solved 8 Gandalf c-2.5 15 solved 9 Gandalf c-2.5-PROOF 14 solved 10 SCOTT 6.1 5 solved 11 Otter 3.2 4 solved 12 DCTP 1.2 3 solved 13 DCTP 10.1p 3 solved 14 Krh 2003_03_21 0 solved 15 Krh 2003_03_28 with tptp2X magic transformation 0 solved 16 14, 15 together. 0 solved Prob. Rating \ Prover| 1| 2| 3| 4| 5| 6| 7| 8| 9| 10| 11| 12| 13| 14| 15| 16| ---------------------|------|------|------|------|------|------|------|------|------|------|------|------|------|------|------|------| COL076-1 0.83| ---| ---| ---| ---| -g-| ---| ---| 290.2| 180.1| -g-| ---| ---| ---| ---| ---| ---| BOO039-1 0.80| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| COL076-2 0.67| 25.7| ---| 57.3| ---| 26.2| ---| ---| 290.3| 290.2| ---| ---| ---| ---| ---| ---| ---| GRP198-1 0.67| ---| ---| ---| ---| -g-| ---| ---| 90.1| -u-| 10.0| ---| ---| ---| ---| ---| ---| RNG029-3 0.67| 34.4| ---| 91.1| ---| 34.5| ---| ---| -u-| -u-| ---| ---| -u-| ---| ---| -m-| ---| GRP210-1 0.60| 21.2| 45.4| 39.9| 45.5| 21.7| ---| ---| -g-| -g-| ---| ---| ---| ---| ---| ---| ---| GRP254-1 0.60| 1.2| 1.7| 2.4| 1.7| 1.0| 147.9| ---| -g-| -g-| ---| ---| ---| ---| ---| ---| ---| GRP255-1 0.60| ---| 2.6| ---| 2.4| -g-| 89.4| 3.7| -g-| -g-| ---| ---| ---| ---| ---| ---| ---| GRP263-1 0.60| 0.3| 0.8| 0.8| 0.8| 0.8| 0.9| ---| -g-| -g-| ---| ---| ---| ---| ---| ---| ---| COL077-1 0.50| 25.8| 405.7| 48.8| ---| 26.0| 14.5| 4.5| 70.1| 70.0| 30.0| ---| ---| ---| ---| ---| ---| COL080-1 0.50| ---| ---| ---| ---| -g-| 246.3| 0.2| 200.2| 190.1| 10.0| ---| ---| ---| ---| ---| ---| COL081-1 0.50| 22.6| 33.0| 43.8| 18.0| 13.1| 35.2| 6.4| 190.2| 190.1| 60.0| ---| ---| ---| ---| ---| ---| GRP054-1 0.50| 6.8| 14.0| 10.4| 11.9| 7.0| 27.2| -u-| ---| ---| -g-| -g-| ---| ---| ---| ---| ---| LAT015-1 0.50| 40.7| 163.3| 64.1| 163.1| 40.7| ---| -u-| -u-| -u-| ---| -g-| -u-| ---| -m-| -m-| ---| ALG003-1 0.40| 5.7| 63.1| 10.5| 63.0| ---| 61.3| ---| 200.1| 200.1| ---| ---| ---| ---| ---| ---| ---| GRP242-1 0.40| 0.9| 1.7| 1.9| 1.6| 0.7| 0.9| ---| -g-| -g-| ---| ---| ---| ---| ---| ---| ---| GRP281-1 0.40| 101.7| 40.5| 166.7| 40.3| 92.7| ---| 1.9| -g-| -g-| ---| ---| ---| ---| ---| ---| ---| GRP283-1 0.40| 2.2| 20.2| 4.7| 20.1| 62.1| 1.4| 5.7| -g-| -g-| ---| ---| ---| ---| ---| ---| ---| GRP297-1 0.40| 0.1| 0.1| 0.2| 0.1| 0.2| ---| 0.2| 420.3| 430.3| ---| ---| ---| ---| ---| ---| ---| GRP305-1 0.40| 48.4| 82.8| 90.3| 82.9| 6.6| 91.7| 0.3| -g-| -g-| ---| ---| ---| ---| ---| ---| ---| GRP312-1 0.40| 2.5| 1.1| 4.7| 1.1| 2.8| 107.1| ---| -g-| -g-| ---| ---| ---| ---| ---| ---| ---| GRP313-1 0.40| 19.5| 1.3| 23.2| 1.3| 2.7| 35.7| 0.9| -g-| -g-| ---| ---| ---| ---| ---| ---| ---| GRP330-1 0.40| 0.7| 1.1| 1.7| 1.1| 0.5| 52.7| ---| -g-| -g-| ---| ---| ---| ---| ---| ---| ---| GRP332-1 0.40| 49.5| 4.1| 85.3| 4.1| -g-| 91.2| 1.5| -g-| -g-| ---| ---| ---| ---| ---| ---| ---| GRP339-1 0.40| 3.5| 2.9| 6.9| 2.9| 19.4| 53.6| 54.2| -g-| -g-| ---| 260.0| ---| ---| ---| ---| ---| GRP369-1 0.40| 0.5| 0.3| 1.1| 0.3| 0.7| 31.0| 10.8| -g-| -g-| ---| ---| ---| ---| ---| ---| ---| GRP401-1 0.40| ---| 38.1| ---| 38.2| -g-| 0.4| 0.9| -u-| -u-| 39.9| ---| ---| ---| ---| ---| ---| BOO020-1 0.33| 23.9| 0.8| 49.6| 0.7| 24.0| 16.4| ---| 0.0| 0.0| ---| ---| ---| ---| ---| ---| ---| CAT004-2 0.33| 0.1| 0.2| 0.4| 0.2| 0.3| 12.8| 0.7| 0.0| 0.0| -g-| ---| 0.0| 0.2| ---| ---| ---| GRP056-1 0.33| 52.1| 4.0| 84.7| 4.0| 52.3| 34.4| ---| ---| ---| -u-| -g-| ---| ---| ---| ---| ---| GRP074-1 0.33| 11.1| 1.7| 22.3| 1.7| 11.3| 3.0| ---| 90.1| 90.0| -g-| -g-| ---| ---| ---| ---| ---| GRP086-1 0.33| 0.1| 0.2| 0.3| 0.2| 0.2| 23.7| 67.6| 0.0| 0.0| ---| 0.2| 0.0| 0.3| ---| ---| ---| GRP108-1 0.33| 0.0| 0.2| 0.1| 0.2| 0.1| 46.8| 0.0| 0.0| 0.0| ---| 1.6| 0.0| 94.7| ---| ---| ---| GRP111-1 0.33| 0.1| 0.5| 0.5| 0.5| 0.2| 48.2| 0.1| 220.2| 50.0| ---| 11.5| ---| ---| ---| ---| ---| LAT030-1 0.33| 19.0| 0.5| 20.0| 0.5| 19.1| 0.6| -u-| 10.0| 10.0| ---| -g-| -u-| ---| -m-| -m-| ---| ---------------------------------------------------------------------------- Problem set casc18(ept), 35 problems Finite H-universe, unsatisfiable. ---------------------------------------------------------------------------- 1 Gandalf c-2.5-SAT 34 solved 2 E-SETHEO csp02 33 solved 3 Vampire 5.0 26 solved 4 DCTP 10.1p 25 solved 5 GrAnDe 1.1 21 solved 6 DCTP 1.2-EPR 17 solved 7 SCOTT 6.1 7 solved 8 Krh 2003_03_21 5 solved 9 8, 10 together. 5 solved 10 Krh 2003_03_28 with tptp2X magic transformation 4 solved Prob. Rating \ Prover| 1| 2| 3| 4| 5| 6| 7| 8| 9| 10| ---------------------|------|------|------|------|------|------|------|------|------|------| SYN440-1 0.67| 100.1| 12.7| 2.6| ---| 0.2| ---| ---| ---| ---| ---| SYN457-1 0.67| 100.1| 10.5| 2.2| ---| 0.2| ---| ---| ---| ---| -m-| SYN466-1 0.67| 100.1| 10.4| 1.5| ---| 0.1| ---| ---| ---| ---| ---| SYN447-1 0.56| 100.1| 14.9| 3.0| ---| 0.2| ---| ---| ---| ---| ---| SYN454-1 0.56| 100.1| 8.4| 1.5| ---| 0.1| ---| ---| ---| ---| ---| SYN470-1 0.56| 100.0| 9.0| 3.5| 142.6| 0.1| ---| ---| ---| ---| ---| SYN487-1 0.56| 100.0| 8.6| 6.2| ---| 0.1| ---| ---| ---| ---| ---| SYN500-1 0.56| 100.1| 8.9| 1.5| ---| 0.2| ---| ---| ---| ---| ---| SYN507-1 0.56| 100.1| 8.8| 9.7| ---| 0.1| ---| ---| ---| ---| ---| SYN844-1 0.50| 9.9| 12.4| 2.2| 21.6| ---| 0.0| 0.1| -m-| ---| -x-| GRP128-2.006 0.44| 50.0| 10.8| ---| ---| 0.1| 50.0| 60.0| 2.0| 2.0| 84.1| PUZ010-1 0.44| 100.0| 8.3| ---| 24.8| 0.1| 160.0| ---| 3.3| 3.3| 23.9| PUZ017-1 0.44| 100.0| -g-| 0.1| 176.1| 7.5| 100.1| ---| ---| ---| ---| PUZ037-3 0.44| 80.0| 166.5| 8.6| ---| ---| ---| ---| -m-| ---| -m-| SYN475-1 0.44| 100.1| 9.0| 1.0| 94.5| 0.1| ---| ---| ---| ---| ---| SYN483-1 0.44| 100.1| 8.5| 1.4| 130.2| 0.1| ---| ---| ---| ---| ---| SYN498-1 0.44| 100.1| 9.0| 1.8| 104.1| 0.1| ---| ---| ---| ---| ---| SYN813-1 0.38| 100.1| 244.5| 5.7| 61.8| ---| 240.2| -g-| ---| ---| -x-| SYN820-1 0.38| -u-| 204.6| 1.8| 49.8| ---| 9.6| 0.1| -m-| ---| -x-| SYN834-1 0.38| 10.0| 10.3| 1.5| 10.4| ---| 0.0| 0.1| ---| ---| -x-| SYN845-1 0.38| 59.9| 12.4| 1.6| 25.8| ---| 0.0| 10.0| -m-| ---| -x-| SYN848-1 0.38| 19.9| 296.7| 65.8| 137.0| -u-| 29.8| -g-| -m-| ---| -x-| SYN859-1 0.38| 19.9| ---| 5.4| 142.2| -u-| 30.0| -g-| -m-| ---| -x-| SYN462-1 0.33| 100.0| 8.4| 0.7| 73.6| 0.1| ---| ---| ---| ---| ---| SYN501-1 0.33| 100.1| 8.6| 0.9| 283.0| 0.1| ---| ---| ---| ---| ---| SYN876-1 0.25| 0.0| 1.1| ---| 1.1| -u-| 0.0| -g-| ---| ---| -x-| SYN883-1 0.25| 0.0| 1.4| ---| 1.4| -u-| 0.0| -g-| ---| ---| -x-| SYN886-1 0.25| 0.1| 1.7| ---| 1.6| -u-| 0.0| -g-| ---| ---| -x-| SYN887-1 0.25| 10.0| 2.4| ---| 2.3| -u-| 0.0| -g-| ---| ---| -x-| SYN900-1 0.25| 0.1| 3.6| ---| 3.7| -u-| 0.0| -g-| ---| ---| -x-| GRP127-2.006 0.22| 0.0| 0.4| ---| 0.3| 0.1| 0.0| 29.9| 0.1| 0.1| 19.7| GRP128-3.005 0.22| 70.0| 8.4| ---| 11.8| 0.1| ---| ---| 0.3| 0.3| 5.0| PUZ037-2 0.22| 0.0| 9.1| 0.1| 35.4| -u-| 10.0| 0.0| 0.3| 0.3| -m-| SYN504-1 0.22| 100.1| 9.0| 2.3| 112.7| 0.1| ---| ---| ---| ---| ---| SYN510-1 0.22| 100.1| 8.5| 0.8| 73.7| 0.1| ---| ---| ---| ---| ---| ---------------------------------------------------------------------------- Problem set casc18(eps), 35 problems Finite H-universe, satisfiable. ---------------------------------------------------------------------------- 1 E-SETHEO csp02 27 solved 2 DCTP 1.2-EPR 27 solved 3 Gandalf c-2.5-SAT 24 solved 4 GrAnDe 1.1 17 solved 5 Krh 2003_03_21 15 solved 6 Krh 2003_03_28 with tptp2X magic transformation 15 solved 7 5, 6 together. 15 solved 8 Vampire 5.0 6 solved 9 SCOTT 6.1 2 solved 10 DCTP 10.1p 0 solved Prob. Rating \ Prover| 1| 2| 3| 4| 5| 6| 7| 8| 9| 10| ---------------------|------|------|------|------|------|------|------|------|------|------| SYN821-1 0.83| ---| ---| ---| -u-| -m-| -x-| ---| ---| -g-| ---| SYN839-1 0.83| ---| ---| ---| -u-| -m-| -x-| ---| ---| ---| ---| SYN841-1 0.83| ---| ---| ---| -u-| -m-| -x-| ---| ---| ---| ---| SYN842-1 0.83| ---| ---| ---| ---| -m-| -x-| ---| ---| ---| ---| SYN854-1 0.83| ---| ---| ---| -u-| -m-| -x-| ---| ---| ---| ---| SYN855-1 0.83| ---| ---| ---| ---| -m-| -x-| ---| ---| ---| ---| GRP132-2.005 0.67| 8.4| 40.0| 100.1| 0.2| 0.1| 1.7| 0.1| ---| ---| -u-| GRP135-1.005 0.67| 8.4| 210.1| 100.1| 0.1| 0.1| 4.1| 0.1| ---| ---| ---| SYN441-1 0.67| 8.4| ---| 100.0| 0.2| ---| ---| ---| 35.3| ---| ---| SYN851-1 0.67| ---| 220.1| -u-| -u-| -m-| -x-| ---| ---| -g-| ---| SYN863-1 0.67| ---| 229.9| -u-| -u-| -m-| -x-| ---| ---| ---| ---| GRP123-1.005 0.50| 0.2| 0.0| 100.1| 0.1| 0.0| 1.6| 0.0| ---| ---| -u-| GRP123-2.005 0.50| 0.2| 0.0| 80.1| 0.1| 0.0| 1.4| 0.0| 138.6| ---| -u-| GRP123-6.005 0.50| 8.2| 0.0| 100.1| 0.1| 0.5| 4.6| 0.5| ---| ---| -u-| GRP124-3.005 0.50| 8.4| 120.0| 100.1| 0.3| 0.0| 1.9| 0.0| ---| ---| -u-| GRP124-4.005 0.50| 0.2| 0.0| 100.1| 0.1| 0.0| 4.7| 0.0| ---| ---| -u-| GRP126-1.005 0.50| 0.8| 0.0| 100.0| 0.1| 0.0| 2.7| 0.0| ---| ---| -u-| GRP127-1.005 0.50| 0.3| 0.0| 100.1| 0.1| 0.0| 2.5| 0.0| ---| ---| -u-| GRP129-1.005 0.50| 8.2| 100.1| 100.1| 0.1| 0.0| 2.8| 0.0| ---| ---| -u-| GRP130-1.005 0.50| 8.2| 19.8| 100.1| 0.1| 0.0| 2.9| 0.0| ---| ---| -u-| GRP130-2.005 0.50| 1.2| 0.0| 70.0| 0.1| 0.0| 2.8| 0.0| ---| ---| -u-| SYN307-1 0.50| 0.1| 0.0| 100.1| 0.0| 0.0| 0.0| 0.0| ---| 0.0| -u-| SYN449-1 0.50| 8.4| ---| 100.1| 0.1| ---| ---| ---| 11.5| ---| ---| SYN811-1 0.50| 105.9| 20.0| -u-| -u-| ---| -x-| ---| ---| -g-| -u-| GRP130-4.004 0.33| 0.3| 0.0| 40.0| 0.1| 0.0| 0.9| 0.0| ---| -g-| -u-| MGT066-1 0.33| 0.1| 0.0| 90.1| 0.0| 0.0| 0.0| 0.0| 134.4| 0.0| -u-| SYN418-1 0.33| 0.8| 0.0| 160.1| ---| -m-| -x-| ---| ---| ---| -u-| SYN423-1 0.33| 1.6| 0.0| 170.0| ---| ---| -x-| ---| ---| ---| -u-| SYN424-1 0.33| 2.9| 0.0| 170.1| ---| ---| -x-| ---| ---| ---| -u-| SYN429-1 0.33| 2.3| 0.0| 170.1| ---| ---| -x-| ---| ---| ---| -u-| SYN513-1 0.33| 0.5| 0.0| 170.1| ---| ---| -x-| ---| ---| ---| -u-| SYN518-1 0.33| 1.7| 0.0| 170.1| ---| ---| -x-| ---| ---| ---| -u-| SYN545-1 0.33| 1.0| 0.0| 170.1| ---| ---| -x-| ---| ---| ---| -u-| SYN827-1 0.33| 8.8| 0.0| -u-| ---| ---| -x-| ---| 1.5| -g-| -u-| SYN835-1 0.33| 10.5| 0.0| -u-| ---| ---| -x-| ---| 12.2| -g-| -u-| ---------------------------------------------------------------------------- Problem set casc18(sne), 35 problems Infinite H-universe, satisfiable, without equality. ---------------------------------------------------------------------------- 1 Gandalf c-2.5-SAT 28 solved 2 GandalfSat 1.0 23 solved 3 ICGNS 2002b 19 solved 4 E-SETHEO csp02-SAT 19 solved 5 DCTP 10.1p-SAT 17 solved 6 SCOTT 6.1 15 solved 7 DCTP 1.2-SAT 10 solved 8 9, 10 together. 7 solved 9 Krh 2003_03_21 5 solved 10 Krh 2003_03_28 with tptp2X magic transformation 3 solved Prob. Rating \ Prover| 1| 2| 3| 4| 5| 6| 7| 8| 9| 10| ---------------------|------|------|------|------|------|------|------|------|------|------| LCL240-1 0.75| ---| -g-| ---| ---| ---| ---| ---| ---| -m-| -m-| LCL248-1 0.75| ---| -g-| ---| ---| ---| ---| ---| ---| -m-| -m-| SYN770-1 0.75| 0.0| 0.0| 0.1| ---| ---| 0.0| ---| ---| ---| ---| SYN776-1 0.75| 70.0| 0.0| 0.2| ---| ---| ---| ---| ---| ---| ---| SYN806-1 0.75| 0.0| 0.0| 0.2| 14.1| ---| ---| ---| ---| ---| ---| SYN904-1 0.75| ---| -u-| ---| -u-| -u-| ---| ---| ---| ---| -x-| SYN907-1 0.75| ---| -u-| ---| ---| -u-| ---| ---| ---| ---| -x-| SYN912-1 0.75| -u-| -u-| ---| ---| ---| ---| ---| ---| ---| -x-| TOP006-1 0.75| 40.0| -g-| ---| 4.2| 14.2| 0.0| ---| ---| ---| ---| TOP009-1 0.75| 0.0| -g-| ---| ---| ---| ---| ---| ---| ---| ---| TOP012-1 0.75| 29.9| -g-| 0.2| ---| ---| 0.0| ---| ---| ---| ---| TOP013-1 0.75| 40.0| -g-| ---| ---| ---| 0.0| ---| ---| ---| ---| TOP018-1 0.75| 40.0| -g-| ---| ---| ---| 0.0| ---| ---| ---| ---| HWV035-1 0.50| 0.0| 0.0| 0.1| 0.1| 0.1| -g-| 0.0| 0.0| 0.0| ---| HWV036-1 0.50| 0.0| 0.0| 0.1| 0.1| 0.1| -g-| 0.0| 0.0| 0.0| ---| LCL415-1 0.50| ---| -g-| ---| 0.1| -u-| -g-| ---| ---| ---| ---| NLP026-1 0.50| 0.0| 0.0| ---| 3.9| 0.1| 0.0| 0.0| ---| ---| ---| NLP191-1 0.50| ---| 0.0| ---| 0.2| 0.1| ---| 0.0| ---| ---| ---| NUM288-1 0.50| 0.0| 0.0| 0.1| 0.2| 0.1| 0.0| 0.0| ---| ---| ---| SWV016-1 0.50| 20.0| -g-| 11.8| 0.2| ---| 0.0| ---| ---| ---| ---| SYN736-1 0.50| 0.0| 0.0| 0.2| ---| ---| 0.0| ---| ---| ---| ---| SYN754-1 0.50| 0.0| 0.0| 0.2| ---| ---| 0.0| ---| ---| ---| ---| TOP010-1 0.50| 0.0| 0.0| ---| 0.2| 18.2| ---| ---| ---| ---| ---| TOP011-1 0.50| 0.0| 0.0| 0.2| 0.1| 14.2| 0.0| ---| ---| ---| ---| TOP014-1 0.50| 40.0| 30.0| ---| 0.2| 18.1| ---| ---| ---| ---| ---| TOP016-1 0.50| 40.0| 0.0| ---| 0.1| 18.1| 0.0| ---| ---| ---| ---| GRP394-2 0.25| 0.0| 0.0| 0.1| 7.1| 0.1| 0.0| 0.0| 0.0| ---| 0.0| HWV036-2 0.25| 0.0| 0.0| 0.1| 0.1| 0.1| -g-| 0.0| 0.0| 0.0| -m-| NUM287-1 0.25| 0.0| 0.0| 0.1| 7.1| 0.1| 0.0| 0.0| 0.0| -l-| 0.0| PUZ045-1 0.25| 0.0| 0.0| 0.1| ---| 0.1| -g-| ---| ---| ---| ---| PUZ046-1 0.25| 0.0| 0.0| 5.0| 7.2| 0.1| -g-| 0.0| 0.0| 0.0| 0.0| SYN303-1 0.25| 0.0| 30.0| -g-| 0.1| 0.1| -g-| ---| 0.0| 0.0| ---| SYN330-1 0.25| 0.0| 29.9| 5.3| ---| ---| ---| ---| ---| ---| ---| SYN351-1 0.25| 0.0| 10.0| 0.1| ---| ---| ---| ---| ---| ---| ---| SYN786-1 0.25| 80.1| 0.0| 0.2| 0.1| 0.1| 0.0| 0.0| ---| ---| -m-| ---------------------------------------------------------------------------- Problem set casc18(seq), 35 problems Infinite H-universe, satisfiable, with equality. ---------------------------------------------------------------------------- 1 Gandalf c-2.5-SAT 33 solved 2 ICGNS 2002b 31 solved 3 SCOTT 6.1 22 solved 4 GandalfSat 1.0 21 solved 5 E-SETHEO csp02-SAT 15 solved 6 DCTP 1.2-SAT 14 solved 7 DCTP 10.1p-SAT 14 solved 8 Krh 2003_03_21 0 solved 9 Krh 2003_03_28 with tptp2X magic transformation 0 solved 10 8, 9 together. 0 solved Prob. Rating \ Prover| 1| 2| 3| 4| 5| 6| 7| 8| 9| 10| ---------------------|------|------|------|------|------|------|------|------|------|------| LCL142-1 0.86| 0.0| 0.1| 0.0| 0.0| ---| ---| ---| ---| ---| ---| LCL280-3 0.86| 0.0| 0.1| 0.0| 0.0| ---| ---| ---| ---| ---| ---| LCL338-3 0.86| 0.0| 0.1| 0.0| 20.0| ---| ---| ---| ---| ---| ---| RNG007-5 0.86| 0.0| 0.1| 0.0| 0.0| ---| ---| ---| ---| ---| ---| ROB015-1 0.86| 0.0| 0.1| 0.0| 0.0| ---| ---| ---| ---| ---| ---| BOO056-1 0.83| 0.0| 0.4| ---| -u-| ---| ---| ---| ---| ---| ---| BOO057-1 0.83| 0.0| 0.4| ---| -u-| ---| ---| ---| ---| ---| ---| BOO037-1 0.67| 0.0| 0.1| 0.0| 0.0| 0.1| 0.0| 0.1| ---| ---| ---| GRP395-1 0.67| 0.0| 0.1| 0.0| 0.0| 0.1| 0.0| 0.1| ---| ---| ---| GRP397-1 0.67| 0.0| 0.1| -g-| 0.0| 299.2| 0.0| 0.1| ---| ---| ---| HEN013-3 0.67| 0.0| 0.1| 0.0| 0.0| 299.2| 0.0| 0.1| ---| ---| ---| LAT048-1 0.67| 0.0| 0.1| ---| -u-| ---| ---| ---| ---| ---| ---| LAT050-1 0.67| 0.0| 0.3| ---| -u-| ---| ---| ---| ---| ---| ---| LAT054-1 0.67| 9.9| 2.6| ---| -u-| ---| ---| ---| ---| ---| ---| LAT056-1 0.67| 0.0| 0.1| 0.0| 0.0| 299.2| 0.0| 0.1| ---| ---| ---| LAT058-1 0.67| 0.0| 0.1| 0.0| 0.0| 0.1| 0.0| 0.1| ---| ---| ---| LAT063-1 0.67| 0.0| 0.3| ---| -u-| ---| ---| ---| ---| ---| ---| LCL411-2 0.67| 0.0| 0.1| 0.0| 0.0| 0.1| 0.0| 0.1| ---| ---| ---| LCL412-1 0.67| 0.0| 0.1| 0.0| 0.0| 0.1| 0.0| 0.1| ---| ---| ---| RNG031-6 0.67| 0.0| 0.5| ---| -u-| ---| ---| ---| ---| ---| ---| RNG031-7 0.67| 0.0| 1.1| ---| -u-| ---| ---| ---| ---| ---| ---| ROB029-1 0.67| 0.0| 0.1| 0.0| 0.0| 0.1| 0.0| 0.1| ---| ---| ---| NLP056-1 0.57| 190.1| ---| ---| -u-| 0.2| 0.0| 0.1| ---| ---| ---| NLP186-1 0.57| 100.0| -g-| ---| -u-| 0.2| 0.0| 0.2| ---| ---| ---| CAT020-2 0.50| 0.0| 0.1| 0.0| 0.0| 299.2| 0.0| 0.1| ---| ---| ---| CAT001-2 0.43| 0.0| 0.1| 0.0| -u-| 0.3| ---| ---| ---| ---| ---| BOO019-1 0.33| 0.0| 0.1| 0.0| 30.0| ---| ---| ---| ---| ---| ---| BOO033-1 0.33| 0.0| 0.1| 0.0| 0.0| ---| ---| ---| ---| ---| ---| COL073-1 0.33| 0.0| 0.1| 0.0| -u-| ---| ---| ---| ---| ---| ---| GRP204-1 0.33| 0.0| 0.1| 0.0| 9.9| ---| ---| ---| ---| ---| ---| LAT047-1 0.33| 0.0| 0.1| 0.0| 40.0| ---| ---| ---| ---| ---| ---| LAT051-1 0.33| 0.0| 0.1| 0.0| 30.0| ---| ---| ---| ---| ---| ---| LCL136-1 0.33| 0.0| 0.1| 0.0| 20.0| ---| ---| ---| ---| ---| ---| NLP052-1 0.29| ---| ---| -g-| -u-| 0.2| 0.0| 0.2| ---| ---| ---| NLP053-1 0.29| ---| ---| ---| -u-| 0.2| 0.0| 0.2| ---| ---| ---| ---------------------------------------------------------------------------- Problem set casc18(ueq), 70 problems Infinite H-universe, unsatisfiable, unit equality. ---------------------------------------------------------------------------- 1 Waldmeister 702 70 solved 2 Waldmeister 601 70 solved 3 E-SETHEO csp02 40 solved 4 E 0.7 36 solved 5 Gandalf c-2.5 27 solved 6 Vampire 5.0 25 solved 7 Otter 3.2 17 solved 8 SCOTT 6.1 17 solved 9 CiME 2 15 solved 10 Bliksem 1.12a 11 solved 11 Krh 2003_03_21 4 solved 12 Krh 2003_03_28 with tptp2X magic transformation 4 solved 13 11, 12 together. 4 solved Prob. Rating \ Prover| 1| 2| 3| 4| 5| 6| 7| 8| 9| 10| 11| 12| 13| ---------------------|------|------|------|------|------|------|------|------|------|------|------|------|------| COL042-1 0.83| 0.0| 0.6| -g-| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| COL043-1 0.83| 0.0| 0.9| -g-| ---| -g-| ---| ---| ---| ---| ---| ---| ---| ---| COL043-3 0.83| 0.0| 0.0| -g-| ---| -g-| ---| ---| ---| ---| ---| ---| ---| ---| GRP164-1 0.83| 43.7| 41.8| -g-| ---| -g-| ---| ---| ---| ---| ---| ---| ---| ---| RNG027-5 0.83| 3.0| 3.9| -g-| ---| ---| ---| ---| ---| ---| ---| ---| -m-| ---| RNG027-7 0.83| 3.0| 4.0| -g-| ---| -g-| ---| ---| ---| ---| ---| ---| -m-| ---| RNG027-8 0.83| 3.9| 4.2| -g-| ---| ---| ---| -g-| ---| ---| ---| ---| ---| ---| RNG027-9 0.83| 3.9| 4.2| -g-| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| RNG028-5 0.83| 3.2| 4.8| -g-| ---| ---| ---| ---| ---| ---| ---| ---| -m-| ---| RNG028-8 0.83| 3.6| 4.8| -g-| ---| ---| ---| ---| ---| ---| ---| ---| ---| ---| RNG028-9 0.83| 3.6| 4.8| -g-| ---| -g-| ---| ---| ---| ---| ---| ---| ---| ---| RNG029-5 0.83| 2.3| 3.4| -g-| ---| ---| ---| ---| -g-| ---| ---| ---| -m-| ---| RNG029-6 0.83| 2.3| 3.4| -g-| ---| ---| ---| ---| ---| ---| ---| ---| -m-| ---| RNG029-7 0.83| 2.3| 3.5| -g-| ---| ---| ---| ---| ---| ---| ---| ---| -m-| ---| ROB006-1 0.83| 19.1| 30.0| -g-| ---| -g-| ---| ---| ---| ---| ---| ---| -m-| ---| ROB006-2 0.83| 14.1| 48.9| -g-| ---| -g-| ---| ---| ---| ---| ---| ---| ---| ---| ROB026-1 0.83| 19.0| 30.2| -g-| ---| -g-| ---| ---| ---| ---| ---| ---| -m-| ---| COL006-1 0.67| 1.5| 0.4| 254.6| ---| 60.0| ---| ---| ---| ---| ---| ---| ---| ---| COL006-7 0.67| 0.0| 0.0| -g-| ---| 190.2| ---| ---| ---| ---| ---| ---| ---| ---| COL044-6 0.67| 0.0| 0.0| -g-| ---| -g-| 116.5| ---| 170.1| ---| ---| ---| ---| ---| COL044-7 0.67| 0.0| 0.0| -g-| ---| -g-| 122.5| ---| ---| ---| ---| ---| ---| ---| COL044-8 0.67| 0.0| 0.0| -g-| ---| -g-| ---| ---| ---| ---| ---| ---| ---| ---| COL044-9 0.67| 0.0| 0.0| -g-| ---| -g-| ---| ---| ---| ---| ---| ---| ---| ---| COL066-1 0.67| 0.3| 1.0| 126.9| ---| ---| ---| -g-| ---| ---| ---| ---| ---| ---| GRP181-1 0.67| 9.8| 9.1| 11.2| 23.2| -g-| 72.4| -g-| ---| ---| ---| ---| ---| ---| GRP185-3 0.67| 0.1| 0.1| -g-| ---| 20.0| ---| 58.2| 200.2| 0.0| 62.6| ---| ---| ---| GRP185-4 0.67| 0.1| 0.1| -g-| ---| 20.0| ---| 113.3| ---| 0.0| 252.6| ---| -m-| ---| RNG025-4 0.67| 0.2| 0.2| -g-| ---| ---| ---| 20.3| 170.1| ---| ---| ---| ---| ---| RNG025-5 0.67| 0.2| 0.2| -g-| ---| -g-| ---| 12.5| ---| ---| ---| ---| ---| ---| RNG025-6 0.67| 0.0| 0.0| -g-| ---| ---| ---| 7.4| 90.0| 160.1| ---| ---| -m-| ---| RNG025-7 0.67| 0.0| 0.0| -g-| 0.5| ---| ---| 1.8| ---| 229.4| ---| ---| -m-| ---| COL006-6 0.50| 0.0| 0.0| -g-| ---| 0.0| ---| ---| ---| ---| 114.4| ---| ---| ---| GRP167-3 0.50| 1.2| 1.0| 4.7| 5.1| -g-| 64.9| ---| ---| ---| 221.3| ---| ---| ---| GRP167-4 0.50| 1.2| 1.0| 4.6| 4.8| -g-| 65.4| ---| 280.2| ---| ---| ---| ---| ---| GRP177-2 0.50| 2.9| 2.6| -g-| ---| 30.0| ---| -g-| 120.0| 0.0| 87.3| ---| -m-| ---| GRP179-1 0.50| 0.8| 0.8| 5.5| 6.4| -g-| 71.6| ---| ---| ---| ---| ---| ---| ---| GRP179-2 0.50| 0.8| 0.8| 4.6| 7.1| -g-| 71.2| ---| 220.1| ---| 143.3| ---| ---| ---| GRP180-1 0.50| 1.3| 1.1| 19.5| 19.4| -g-| 76.2| ---| 290.3| ---| ---| ---| ---| ---| GRP180-2 0.50| 1.3| 1.0| 24.9| 24.9| -g-| 79.5| ---| ---| ---| ---| ---| ---| ---| GRP181-2 0.50| 10.0| 9.5| 7.1| 7.0| ---| 88.2| -g-| ---| ---| ---| ---| ---| ---| GRP183-2 0.50| 0.9| 0.9| 5.7| 5.2| -g-| 67.0| ---| ---| ---| ---| ---| -m-| ---| GRP183-4 0.50| 0.9| 0.9| 5.7| 13.6| -g-| 72.7| 154.5| ---| ---| ---| ---| ---| ---| GRP186-1 0.50| 1.0| 1.0| 4.3| 5.7| -g-| 72.6| ---| 160.1| ---| ---| ---| ---| ---| GRP187-1 0.50| 23.7| 22.4| 28.7| 36.1| -g-| 73.1| -g-| ---| ---| ---| ---| ---| ---| RNG026-6 0.50| 0.0| 0.0| 1.7| 0.0| 20.0| ---| -g-| ---| 0.0| ---| ---| -m-| ---| RNG026-7 0.50| 0.0| 0.0| 1.8| 1.8| 29.9| ---| ---| ---| 0.0| ---| ---| -m-| ---| RNG035-7 0.50| 6.3| 5.7| 91.4| 91.7| ---| ---| ---| ---| ---| ---| ---| ---| ---| BOO034-1 0.33| 0.0| 0.0| 0.2| 0.0| 0.0| 97.8| 43.2| ---| 0.0| ---| ---| -m-| ---| COL003-20 0.33| 0.0| 0.0| 0.5| 0.3| 70.0| 9.8| 3.4| 30.0| ---| 30.4| ---| ---| ---| COL006-5 0.33| 0.0| 0.0| 68.4| 68.0| 210.2| ---| ---| ---| ---| ---| ---| ---| ---| COL011-1 0.33| 0.2| 0.2| 13.9| 13.7| 140.1| ---| 0.5| 10.0| ---| ---| 35.9| 37.6| 35.9| COL036-1 0.33| 0.1| 0.1| 16.3| 16.9| 50.0| ---| 0.2| 39.9| ---| 5.9| 84.2| 150.9| 84.2| COL037-1 0.33| 0.1| 0.0| 3.7| 3.6| 50.0| ---| 1.6| 20.0| ---| ---| 0.5| 1.3| 0.5| COL044-1 0.33| 0.1| 0.0| 1.5| 1.4| 60.0| 282.6| 0.8| 30.0| ---| 0.1| 0.7| 1.1| 0.7| COL065-1 0.33| 4.1| 4.3| 58.7| 58.8| 20.0| 76.7| ---| ---| ---| ---| ---| ---| ---| GRP024-5 0.33| 3.2| 3.0| 19.4| 31.3| 49.9| 45.7| ---| ---| ---| ---| ---| ---| ---| GRP178-2 0.33| 0.6| 0.5| 6.1| 3.2| 250.1| ---| -g-| ---| 160.1| ---| ---| ---| ---| GRP183-1 0.33| 0.9| 0.8| 6.8| 5.4| -g-| 71.7| 186.2| ---| ---| 180.6| ---| -m-| ---| GRP183-3 0.33| 0.9| 0.8| 7.1| 6.9| -g-| 69.1| 162.8| 220.2| ---| ---| ---| -m-| ---| GRP184-1 0.33| 0.1| 0.1| 6.5| 7.4| 230.2| 14.9| ---| ---| ---| ---| ---| -m-| ---| GRP184-3 0.33| 0.1| 0.1| 10.2| 10.1| 29.9| 13.3| ---| ---| ---| ---| ---| -m-| ---| LAT017-1 0.33| 1.5| 0.4| 6.9| 10.4| -g-| ---| ---| ---| ---| ---| ---| -m-| ---| LAT020-1 0.33| 18.9| 26.2| 10.8| 10.6| -g-| 115.9| ---| ---| ---| ---| ---| ---| ---| LCL160-1 0.33| 1.2| 0.0| 2.7| 2.5| 29.9| 0.8| ---| ---| ---| 47.6| ---| ---| ---| RNG019-6 0.33| 0.0| 0.0| 12.6| ---| 130.1| ---| -g-| ---| 0.0| ---| ---| -m-| ---| RNG019-7 0.33| 0.0| 0.0| 22.2| ---| 20.0| ---| 0.1| ---| 0.0| ---| ---| -m-| ---| RNG020-6 0.33| 0.0| 0.0| 22.2| 22.2| 130.1| ---| ---| 60.0| 0.0| ---| ---| -m-| ---| RNG020-7 0.33| 0.0| 0.0| 12.6| 12.4| 140.0| ---| 0.2| ---| 0.0| ---| ---| -m-| ---| RNG021-6 0.33| 0.0| 0.0| 22.2| ---| 130.1| ---| ---| 110.1| 0.0| ---| ---| -m-| ---| RNG021-7 0.33| 0.0| 0.0| 22.2| 22.1| 20.0| ---| ---| ---| 0.0| ---| ---| -m-| ---|