/home/evaluation/evaluation/pub/bench/sc2020/main/009-80-8 SAT 318.0
/home/evaluation/evaluation/pub/bench/sc2020/main/01-integer-programming-20-30-40 SAT 2224.0
/home/evaluation/evaluation/pub/bench/sc2020/main/01-integer-programming-5-10-100 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170055892 SAT 0.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170058143 SAT 3.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170058440 SAT 1496.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170059081 SAT 0.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170059722 SAT 836.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170104584 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170105432 SAT 114.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170153306 SAT 3.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170154931 SAT 9.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170222843 SAT 4.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170223547 SAT 5.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170225515 SAT 324.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170225812 SAT 4.0
/home/evaluation/evaluation/pub/bench/sc2020/main/22930-0426-195.smt2 UNSAT 1327.0
/home/evaluation/evaluation/pub/bench/sc2020/main/22930-0601-11.smt2 UNSAT 1458.0
/home/evaluation/evaluation/pub/bench/sc2020/main/3bitadd_32.cnf.gz.CP3-cnfmiter UNSAT 19.0
/home/evaluation/evaluation/pub/bench/sc2020/main/49-132779 SAT 1103.0
/home/evaluation/evaluation/pub/bench/sc2020/main/49-133045 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/49-133485 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/4g_5color_166_100_02 SAT 391.0
/home/evaluation/evaluation/pub/bench/sc2020/main/4g_5color_168_100_02 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/4g_5color_170_050_05 SAT 107.0
/home/evaluation/evaluation/pub/bench/sc2020/main/4g_5color_170_060_05 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/4g_6color_180_100_02 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/4g_6color_182_100_02 SAT 2398.0
/home/evaluation/evaluation/pub/bench/sc2020/main/4g_6color_366_060_06 SAT 1428.0
/home/evaluation/evaluation/pub/bench/sc2020/main/4g_6color_366_070_06 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/53-129696 SAT 921.0
/home/evaluation/evaluation/pub/bench/sc2020/main/53-131174 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/53-131220 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/53-131587 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/53-131674 SAT 2358.0
/home/evaluation/evaluation/pub/bench/sc2020/main/58-134003 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/59-129706 SAT 2475.0
/home/evaluation/evaluation/pub/bench/sc2020/main/59-131147 SAT 2293.0
/home/evaluation/evaluation/pub/bench/sc2020/main/60-129673 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/6g_5color_164_100_01 SAT 1224.0
/home/evaluation/evaluation/pub/bench/sc2020/main/6g_5color_166_100_01 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/6g_5color_170_020_04 SAT 1.0
/home/evaluation/evaluation/pub/bench/sc2020/main/6g_5color_170_030_04 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/6g_6color_366_040_04 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/6g_6color_366_050_04 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/6s153 UNSAT 48.0
/home/evaluation/evaluation/pub/bench/sc2020/main/6s20 UNSAT 612.0
/home/evaluation/evaluation/pub/bench/sc2020/main/8-5-6 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/abw-I-ash85.mtx-w24 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/abw-I-ash85.mtx-w25 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/abw-K-dwt__234.mtx-w51 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/abw-K-dwt__234.mtx-w54 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/abw-K-dwt__234.mtx-w55 UNSAT 722.0
/home/evaluation/evaluation/pub/bench/sc2020/main/abw-N-bcsstk07.mtx-w35 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/abw-N-bcsstk07.mtx-w38 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/abw-N-bcsstk07.mtx-w44 UNSAT 122.0
/home/evaluation/evaluation/pub/bench/sc2020/main/abw-O-impcol_d.mtx-w101 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/abw-Q-494_bus.mtx-w208 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/abw-Q-494_bus.mtx-w242 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/abw-R-dwt__503.mtx-w64 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/abw-V-nos6.mtx-w220 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/abw-X-can__715.mtx-w103 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ACG-15-10p1 SAT 364.0
/home/evaluation/evaluation/pub/bench/sc2020/main/apn-sbox6-cut4-helpbox26 SAT 1983.0
/home/evaluation/evaluation/pub/bench/sc2020/main/atco_enc1_opt2_10_16 SAT 240.0
/home/evaluation/evaluation/pub/bench/sc2020/main/atco_enc2_opt2_05_9-sc2014 SAT 117.0
/home/evaluation/evaluation/pub/bench/sc2020/main/b1904P1-8x8c6h7SAT UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/b1904P3-8x8c11h0SAT UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/b2005-p1-12x12c10h7-Ser8-0 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/b2005-p2-14x14c17h9-Ser3-0 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/b2005-p2-14x14c17h9-Ser4-0 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/b2005-p3-14x14c17h9-Ser6-0 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/b2005-p4-12x12c10h7-Ser4-0 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/b2005-p4-14x14c17h9-Ser5-0 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/b2005-p5-14x14c17h9-Ser3-0 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover11with22_and2positions SAT 77.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover11with25_and5positions SAT 148.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover12with22_and2positions UNSAT 214.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover12with23_and2positions SAT 255.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover12with24_and2positions SAT 141.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover12with25_and5positions UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover13with25_and1positions SAT 98.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover13with25_and3positions UNSAT 1006.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover13with25 SAT 69.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover14with25_and1positions UNSAT 135.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover14with25_and2positions UNSAT 138.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover14with25 UNSAT 138.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover15with25 UNSAT 105.0
/home/evaluation/evaluation/pub/bench/sc2020/main/battleship-24-47-sat SAT 1107.0
/home/evaluation/evaluation/pub/bench/sc2020/main/battleship-27-54-sat UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/beempgsol5b1 UNSAT 450.0
/home/evaluation/evaluation/pub/bench/sc2020/main/bivium-39-200-0s0-0x5fa955de2b4f64d00226837d226c955de4566ce95f660180d7-30 UNSAT 1141.0
/home/evaluation/evaluation/pub/bench/sc2020/main/bivium-40-200-0s0-0x92fc13b11169afbb2ef11a684d9fe9a19e743cd6aa5ce23fb5-19 UNSAT 473.0
/home/evaluation/evaluation/pub/bench/sc2020/main/bv-term-small-rw_1159.smt2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/bv-term-small-rw_1220.smt2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/bv-term-small-rw_206.smt2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/bv-term-small-rw_350.smt2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/bv-term-small-rw_503.smt2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/bv-term-small-rw_848.smt2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ccp-s8-facto4 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-101-wffvars-500-cryptocplx-31-overlap-2 SAT 14.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2 SAT 20.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-107-wffvars-500-cryptocplx-31-overlap-2 SAT 2.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-108-wffvars-500-cryptocplx-31-overlap-2 SAT 179.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-110-wffvars-500-cryptocplx-31-overlap-2 SAT 76.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-115-wffvars-500-cryptocplx-31-overlap-2 SAT 7.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-121-wffvars-500-cryptocplx-31-overlap-2 SAT 19.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-12-wffvars-450-cryptocplx-40-overlap-2 SAT 473.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-132-wffvars-500-cryptocplx-31-overlap-2 SAT 42.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-133-wffvars-500-cryptocplx-31-overlap-2 SAT 30.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-18-wffvars-450-cryptocplx-40-overlap-2 SAT 143.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2 SAT 14.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-3-wffvars-450-cryptocplx-40-overlap-2 SAT 87.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-8-wffvars-450-cryptocplx-40-overlap-2 SAT 77.0
/home/evaluation/evaluation/pub/bench/sc2020/main/contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07 UNSAT 175.0
/home/evaluation/evaluation/pub/bench/sc2020/main/course0.2_2018_3_5 SAT 32.0
/home/evaluation/evaluation/pub/bench/sc2020/main/course0.2_2018_3-sc2018 SAT 760.0
/home/evaluation/evaluation/pub/bench/sc2020/main/crafted_n10_d6_c3_num18 UNSAT 1471.0
/home/evaluation/evaluation/pub/bench/sc2020/main/crafted_n11_d6_c4_num19 UNSAT 233.0
/home/evaluation/evaluation/pub/bench/sc2020/main/crafted_n12_d6_c4_num9 UNSAT 284.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ctl_4291_567_11_unsat UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ctl_4291_567_6_unsat_pre UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ctl_4291_567_9_unsat_pre UNSAT 603.0
/home/evaluation/evaluation/pub/bench/sc2020/main/cz-alt-3-7 UNSAT 1510.0
/home/evaluation/evaluation/pub/bench/sc2020/main/dislog_a09_x11_n20 SAT 265.0
/home/evaluation/evaluation/pub/bench/sc2020/main/dislog_a11_x11_n21 SAT 65.0
/home/evaluation/evaluation/pub/bench/sc2020/main/dislog_a12_x12_n22 SAT 1204.0
/home/evaluation/evaluation/pub/bench/sc2020/main/dislog_a13_x13_n23 SAT 1267.0
/home/evaluation/evaluation/pub/bench/sc2020/main/dislog_a14_x14_n24 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/dislog_a18_x18_n28 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/dislog_a19_x19_n29 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter249_74_10 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter249_74_11 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter304_77_11 UNSAT 1222.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter405_71_12 SAT 46.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter454_70_11 UNSAT 446.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter454_70_12 SAT 225.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter634_77_14 SAT 308.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter690_74_15 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter690_74_16 SAT 114.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter774_83_17 SAT 157.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter799_70_12 UNSAT 1046.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter799_70_13 SAT 61.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter845_79_18 SAT 711.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter845_79_19 SAT 24.0
/home/evaluation/evaluation/pub/bench/sc2020/main/dlx1c.ucl.sat.chaff.4.1.bryant UNSAT 0.0
/home/evaluation/evaluation/pub/bench/sc2020/main/e_rphp096_04 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ex051_9-sc2018 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/f6bidw UNSAT 11.0
/home/evaluation/evaluation/pub/bench/sc2020/main/fclqcolor-18-14-11.cnf.gz.CP3-cnfmiter UNSAT 32.0
/home/evaluation/evaluation/pub/bench/sc2020/main/fclqcolor-20-15-12.cnf.gz.CP3-cnfmiter UNSAT 64.0
/home/evaluation/evaluation/pub/bench/sc2020/main/fermat-33106286870663 SAT 159.0
/home/evaluation/evaluation/pub/bench/sc2020/main/fermat-770131695059117 SAT 2084.0
/home/evaluation/evaluation/pub/bench/sc2020/main/fermat-834855329100173267 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/fermat-907547022132073 SAT 2089.0
/home/evaluation/evaluation/pub/bench/sc2020/main/fermat-931960058139995587 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/filter_iir_true-unreach-call.c UNSAT 375.0
/home/evaluation/evaluation/pub/bench/sc2020/main/frb59-26-1.used-as.sat04-891 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/fsf-300-354-2-2-3-2.23.opt SAT 130.0
/home/evaluation/evaluation/pub/bench/sc2020/main/full-bf-ga-6-ce UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/full-bf-ga-7-ce UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/full-bf-ga-9-ce SAT 16.0
/home/evaluation/evaluation/pub/bench/sc2020/main/full-bg-gb-6-ce UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/full-bg-gb-7-ce UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/full-bg-gb-8-ce UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/full-bg-gb-9-ce SAT 499.0
/home/evaluation/evaluation/pub/bench/sc2020/main/g2-hwmcc15deep-6s33-k34 UNSAT 647.0
/home/evaluation/evaluation/pub/bench/sc2020/main/g2-hwmcc15deep-6s516r-k17 UNSAT 987.0
/home/evaluation/evaluation/pub/bench/sc2020/main/g2-hwmcc15deep-bobpcihm-k31 UNSAT 1696.0
/home/evaluation/evaluation/pub/bench/sc2020/main/g2-T83.2.1 UNSAT 542.0
/home/evaluation/evaluation/pub/bench/sc2020/main/g2-T85.2.1 UNSAT 681.0
/home/evaluation/evaluation/pub/bench/sc2020/main/goldb-heqc-k2mul UNSAT 418.0
/home/evaluation/evaluation/pub/bench/sc2020/main/grain-53-80-0s0-seed-125-4-init-35 UNSAT 277.0
/home/evaluation/evaluation/pub/bench/sc2020/main/grain-53-80-0s0-seed-125-8-init-35 UNSAT 290.0
/home/evaluation/evaluation/pub/bench/sc2020/main/grain-55-80-0s0-seed-125-45-init-40 UNSAT 206.0
/home/evaluation/evaluation/pub/bench/sc2020/main/GreenTao_2-5-5_34308 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/gto_p50c314 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/gto_p60c241 UNSAT 117.0
/home/evaluation/evaluation/pub/bench/sc2020/main/harder-php-025-024.sat05-1191.reshuffled-07 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/hcp_CP16_16 SAT 1843.0
/home/evaluation/evaluation/pub/bench/sc2020/main/hid-uns-enc-6-1-0-0-0-0-14492 UNSAT 282.0
/home/evaluation/evaluation/pub/bench/sc2020/main/hid-uns-enc-6-1-0-0-0-0-26462 UNSAT 663.0
/home/evaluation/evaluation/pub/bench/sc2020/main/hid-uns-enc-6-1-0-0-0-0-27601 UNSAT 339.0
/home/evaluation/evaluation/pub/bench/sc2020/main/hid-uns-enc-6-1-0-0-0-0-3251 UNSAT 388.0
/home/evaluation/evaluation/pub/bench/sc2020/main/homer17.shuffled UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k90.debugged UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/iffyInterleavedModMult-8.smt2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/jkkk-one-one-10-30-unsat UNSAT 90.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-041-ext.xml.hg_4 UNSAT 1222.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-052-ext.xml.hg_4 SAT 380.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-065-ext.xml.hg_3 UNSAT 1248.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-097-ext.xml.hg_4 UNSAT 1400.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-117-ext.xml.hg_5 SAT 201.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-120-ext.xml.hg_6 SAT 193.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-125-ext.xml.hg_4 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-126-ext.xml.hg_7 SAT 142.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-127-ext.xml.hg_6 SAT 707.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-132-ext.xml.hg_9 SAT 195.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-148-ext.xml.hg_8 SAT 35.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-149-ext.xml.hg_4 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-154-ext.xml.hg_4 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-157-ext.xml.hg_4 UNSAT 1485.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kittell-k7 UNSAT 1545.0
/home/evaluation/evaluation/pub/bench/sc2020/main/LABS_n038_goal002 UNSAT 1059.0
/home/evaluation/evaluation/pub/bench/sc2020/main/LABS_n071_goal001-sc2013 UNSAT 1790.0
/home/evaluation/evaluation/pub/bench/sc2020/main/lang23.cnf.gz.CP3-cnfmiter UNSAT 164.0
/home/evaluation/evaluation/pub/bench/sc2020/main/lang28.cnf.gz.CP3-cnfmiter UNSAT 1174.0
/home/evaluation/evaluation/pub/bench/sc2020/main/LED_round_29-32_faultAt_29_fault_injections_5_seed_1579630418 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07 UNSAT 1256.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ls15-normalized.cnf.gz.CP3-cnfmiter UNSAT 24.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ls16-normalized.cnf.gz.CP3-cnfmiter UNSAT 51.0
/home/evaluation/evaluation/pub/bench/sc2020/main/mm-2x3-8-8-sb.1.sat05-475.reshuffled-07 UNSAT 395.0
/home/evaluation/evaluation/pub/bench/sc2020/main/mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07 SAT 185.0
/home/evaluation/evaluation/pub/bench/sc2020/main/mp1-9_49 SAT 1100.0
/home/evaluation/evaluation/pub/bench/sc2020/main/mp1-blockpuzzle_5x10_s7_free4 UNSAT 484.0
/home/evaluation/evaluation/pub/bench/sc2020/main/mp1-rubikcube312 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/mp1-squ_any_s09x07_c27_bail_UNS UNSAT 718.0
/home/evaluation/evaluation/pub/bench/sc2020/main/mrpp_8x8#16_12 SAT 1.0
/home/evaluation/evaluation/pub/bench/sc2020/main/mrpp_8x8#24_14 SAT 20.0
/home/evaluation/evaluation/pub/bench/sc2020/main/mulhs16.smt2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Nb51T6-sc2018 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_12477_5_3_3_0_0_435991723 UNSAT 204.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_12477_5_3_3_1_0_435991723 SAT 178.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_21015_5_3_3_0_0_11 UNSAT 490.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_21015_5_3_3_1_0_11 SAT 486.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_2_17_4_3_0_0_435991723 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_2_18_8_3_1_0_435991723 SAT 133.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_2_18_9_3_0_0_435991723 UNSAT 697.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_2_19_5_3_1_0_435991723 SAT 2394.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_3001_7_3_3_1_31_435991723 SAT 193.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_3047_7_3_3_1_0_1 SAT 195.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_3_16_3_3_0_0_435991723 UNSAT 452.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_5047_6_3_3_0_0_41 UNSAT 174.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_5047_6_3_3_3_0_435991723 SAT 148.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_7047_6_3_3_0_0_420 UNSAT 324.0
/home/evaluation/evaluation/pub/bench/sc2020/main/newpol29-4 UNSAT 201.0
/home/evaluation/evaluation/pub/bench/sc2020/main/newpol34-4 UNSAT 272.0
/home/evaluation/evaluation/pub/bench/sc2020/main/newpol36-4 UNSAT 932.0
/home/evaluation/evaluation/pub/bench/sc2020/main/newpol4-6 UNSAT 74.0
/home/evaluation/evaluation/pub/bench/sc2020/main/newpol6-6 UNSAT 77.0
/home/evaluation/evaluation/pub/bench/sc2020/main/newpol6-7 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/newpol6-8 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/newpol7-6 UNSAT 141.0
/home/evaluation/evaluation/pub/bench/sc2020/main/post-cbmc-aes-ee-r2 UNSAT 130.0
/home/evaluation/evaluation/pub/bench/sc2020/main/preimage_80r_490m_160h_seed_150 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/preimage_80r_490m_160h_seed_6 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/preimage_80r_491m_160h_seed_391 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/preimage_80r_491m_160h_seed_407 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/preimage_80r_491m_160h_seed_71 SAT 1663.0
/home/evaluation/evaluation/pub/bench/sc2020/main/preimage_80r_491m_160h_seed_7 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/preimage_80r_492m_160h_seed_136 SAT 506.0
/home/evaluation/evaluation/pub/bench/sc2020/main/preimage_80r_493m_160h_seed_249 SAT 830.0
/home/evaluation/evaluation/pub/bench/sc2020/main/preimage_80r_493m_160h_seed_457 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/preimage_80r_494m_160h_seed_378 SAT 1250.0
/home/evaluation/evaluation/pub/bench/sc2020/main/preimage_80r_495m_160h_seed_379 SAT 977.0
/home/evaluation/evaluation/pub/bench/sc2020/main/PRESENT_round_1-32_faultAt_30_fault_injections_10_seed_1579630418 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/prime2209-84 SAT 1.0
/home/evaluation/evaluation/pub/bench/sc2020/main/problem_19.smt2 UNSAT 795.0
/home/evaluation/evaluation/pub/bench/sc2020/main/problem_21.smt2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/problem_23.smt2 UNSAT 427.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_200_300_70 UNSAT 29.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_200_301_70 UNSAT 54.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_200_305_70 UNSAT 326.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_200_306_70 UNSAT 103.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_200_316_70 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_200_317_70 UNSAT 33.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_200_323_70 UNSAT 41.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_300_301_30 SAT 5.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_300_311_20 SAT 4.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_300_312_20 SAT 5.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_300_314_20 SAT 2.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_300_322_20 SAT 2.0
/home/evaluation/evaluation/pub/bench/sc2020/main/QG7a-gensys-ukn009.sat05-3849.reshuffled-07 UNSAT 1243.0
/home/evaluation/evaluation/pub/bench/sc2020/main/rbcl_xits_08_UNSAT UNSAT 755.0
/home/evaluation/evaluation/pub/bench/sc2020/main/rbsat-v2400c266431gyes6 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/rbsat-v2400c266431gyes7 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/rbsat-v2640c305320g4 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/rbsat-v2640c305320gyes10 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/rbsat-v760c43649g8 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/rook-42-0-1 UNSAT 791.0
/home/evaluation/evaluation/pub/bench/sc2020/main/rphp4_090_shuffled UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/SAT_dat.k80 UNSAT 72.0
/home/evaluation/evaluation/pub/bench/sc2020/main/schup-l2s-bc56s-1-k391 UNSAT 325.0
/home/evaluation/evaluation/pub/bench/sc2020/main/schur-triples-7-60 SAT 359.0
/home/evaluation/evaluation/pub/bench/sc2020/main/schur-triples-7-90 SAT 404.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sgen4-unsat-89-1 UNSAT 2125.0
/home/evaluation/evaluation/pub/bench/sc2020/main/SGI_30_70_20_60_10-dir.shuffled-as.sat03-144 UNSAT 1661.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sgp_5-6-8.sat05-2669.reshuffled-07 SAT 1984.0
/home/evaluation/evaluation/pub/bench/sc2020/main/simon03:sat02bis:k2fix_gr_2pinvar_w8.used-as.sat04-349 UNSAT 3.0
/home/evaluation/evaluation/pub/bench/sc2020/main/simon-mixed-s02bis-05 UNSAT 134.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_4_4_i4096_r8 UNSAT 228.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_5_5_i000_w31_r9 UNSAT 1862.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_5_5_i003_w31_r9 UNSAT 1655.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_5_5_i028_w31_r9 UNSAT 871.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_5_5_i031_w31_r9 UNSAT 1919.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_5_5_i032_w31_r9 UNSAT 1922.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_5_5_i035_w31_r9 UNSAT 1607.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_5_5_i037_w31_r9 UNSAT 1476.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i003_r12 SAT 901.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i019_r12 SAT 76.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i041_r12 SAT 22.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i053_r12 SAT 451.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i058_r12 SAT 1615.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i059_r12 SAT 2099.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i092_r12 SAT 466.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i131_r12 SAT 553.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i235_r12 SAT 137.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i260_r12 SAT 536.0
/home/evaluation/evaluation/pub/bench/sc2020/main/SocialGolfers-6-6-6-cp_c18 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sqrt_ineq_3.c SAT 20.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ssAES_4-4-4_round_7-10_faultAt_7_fault_injections_2_seed_1564286498 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ssAES_4-4-8_round_7-10_faultAt_8_fault_injections_2_seed_1579630418 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_1579630418 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_31944661 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ssp-0.046166496845693274 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ssp-0.497665446947731 SAT 589.0
/home/evaluation/evaluation/pub/bench/sc2020/main/stable-300-0.1-20-98765432130020 SAT 11.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sted1_0x0-649 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sted1_0x0_n438-636 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sted2_0x0_n219-342 SAT 372.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sted3_0x1e3-147 SAT 2113.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sted4_0x1e3-124 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sted5_0x0-157 SAT 656.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sted6_0x0-135 SAT 194.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Steiner-135-32-bce UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Steiner-135-33-bce UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Steiner-15-7-bce UNSAT 0.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Steiner-243-45-bce UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Steiner-243-46-bce UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Steiner-27-10-bce UNSAT 0.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Steiner-405-70-bce UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Steiner-405-71-bce UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Steiner-45-16-bce UNSAT 9.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Steiner-729-112-bce UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Steiner-729-113-bce UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Steiner-81-21-bce UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Steiner-9-5-bce UNSAT 0.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sv-comp19_prop-reachsafety.newton_2_2_true-unreach-call_true-termination.i-witness UNSAT 437.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sv-comp19_prop-reachsafety.queue_longer_false-unreach-call.i-witness SAT 122.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Timetable_C_151_E_34_Cl_10_S_4 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Timetable_C_181_E_34_Cl_12_S_10 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Timetable_C_181_E_34_Cl_12_S_6 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Timetable_C_226_E_34_Cl_15_S_12 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Timetable_C_241_E_34_Cl_16_S_12 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Timetable_C_241_E_45_Cl_16_S_14 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Timetable_C_241_E_45_Cl_16_S_16 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Timetable_C_331_E_45_Cl_22_S_26 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Timetable_C_392_E_50_Cl_26_S_26 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Timetable_C_392_E_50_Cl_26_S_28 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Timetable_C_392_E_62_Cl_26_S_28 SAT 1040.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Timetable_C_437_E_62_Cl_29_S_28 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Timetable_C_466_E_50_Cl_31_S_28 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Timetable_C_497_E_62_Cl_33_S_30 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/traffic_kkb_unknown UNSAT 156.0
/home/evaluation/evaluation/pub/bench/sc2020/main/tseitingrid7x165_shuffled UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/tseitingrid7x185_shuffled UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/TT7F-33-24A UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/TT7F-33-24B SAT 2306.0
/home/evaluation/evaluation/pub/bench/sc2020/main/TT7F-33-24C UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/TT7F-33-24D UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/TT7F-33-24E UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/TT7F-33-25 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/TT7F-33-26 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/TT7F-34-24B UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/TT7F-34-24C UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/TT7F-34-24D UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/TT7F-34-24E UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/TT7F-34-25 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/TT7F-34-26 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/TT7F-34-27 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/uum12.smt2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/VanDerWaerden_2-3-16_238 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/VanDerWaerden_2-3-32_1006 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/VanDerWaerden_pd_2-3-26_635 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/velev-dlx-uns-1.0-05 UNSAT 124.0
/home/evaluation/evaluation/pub/bench/sc2020/main/velev-pipe-uns-1.0-9 UNSAT 59.0
/home/evaluation/evaluation/pub/bench/sc2020/main/vlsat2_15440_1409906.dimacs UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/vlsat2_15960_1464039.dimacs UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/vlsat2_16676_1598591.dimacs SAT 21.0
/home/evaluation/evaluation/pub/bench/sc2020/main/vlsat2_21114_2240429.dimacs UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/vlsat2_24450_2770239.dimacs SAT 22.0
/home/evaluation/evaluation/pub/bench/sc2020/main/vlsat2_30195_3855554.dimacs UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/vlsat2_30744_3925645.dimacs UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/vlsat2_32480_4362044.dimacs UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/vlsat2_34161_4607712.dimacs SAT 62.0
/home/evaluation/evaluation/pub/bench/sc2020/main/vlsat2_35929_5082743.dimacs UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/vlsat2_37758_5364539.dimacs UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/vlsat2_39552_5878762.dimacs UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/vlsat2_40170_5970608.dimacs UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/vlsat2_57038_10572502.dimacs UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/w15 UNSAT 1486.0
/home/evaluation/evaluation/pub/bench/sc2020/main/w16-5 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/w16-6a UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/w19-20.0 UNSAT 177.0
/home/evaluation/evaluation/pub/bench/sc2020/main/w19-20.1 UNSAT 359.0
/home/evaluation/evaluation/pub/bench/sc2020/main/w19-2.0 UNSAT 462.0
/home/evaluation/evaluation/pub/bench/sc2020/main/w19-49.0 UNSAT 450.0
/home/evaluation/evaluation/pub/bench/sc2020/main/w19-5.1 UNSAT 562.0
/home/evaluation/evaluation/pub/bench/sc2020/main/w19-8.0 UNSAT 197.0
