/home/evaluation/evaluation/pub/bench/sc2020/main/009-80-8 SAT 342.0
/home/evaluation/evaluation/pub/bench/sc2020/main/01-integer-programming-20-30-40 UNKNOWN 10000.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 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170058143 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170058440 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170059081 SAT 475.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170059722 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170104584 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170105432 SAT 1003.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170153306 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170154931 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170222843 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170223547 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170225515 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/170225812 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/22930-0426-195.smt2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/22930-0601-11.smt2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/3bitadd_32.cnf.gz.CP3-cnfmiter UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/49-132779 UNKNOWN 10000.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 1332.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 994.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 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/4g_6color_366_060_06 UNKNOWN 10000.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 UNKNOWN 10000.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 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/58-134003 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/59-129706 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/59-131147 UNKNOWN 10000.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 1700.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 UNKNOWN 10000.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 79.0
/home/evaluation/evaluation/pub/bench/sc2020/main/6s20 UNSAT 576.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 1108.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 962.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 485.0
/home/evaluation/evaluation/pub/bench/sc2020/main/apn-sbox6-cut4-helpbox26 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/atco_enc1_opt2_10_16 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/atco_enc2_opt2_05_9-sc2014 SAT 1181.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 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover11with25_and5positions UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover12with22_and2positions UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover12with23_and2positions UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover12with24_and2positions UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover12with25_and5positions UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover13with25_and1positions SAT 140.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover13with25_and3positions UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover13with25 SAT 40.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover14with25_and1positions UNSAT 73.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover14with25_and2positions UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover14with25 UNSAT 366.0
/home/evaluation/evaluation/pub/bench/sc2020/main/baseballcover15with25 UNSAT 129.0
/home/evaluation/evaluation/pub/bench/sc2020/main/battleship-24-47-sat UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/battleship-27-54-sat UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/beempgsol5b1 UNSAT 49.0
/home/evaluation/evaluation/pub/bench/sc2020/main/bivium-39-200-0s0-0x5fa955de2b4f64d00226837d226c955de4566ce95f660180d7-30 UNSAT 1734.0
/home/evaluation/evaluation/pub/bench/sc2020/main/bivium-40-200-0s0-0x92fc13b11169afbb2ef11a684d9fe9a19e743cd6aa5ce23fb5-19 UNSAT 1461.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 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-107-wffvars-500-cryptocplx-31-overlap-2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-108-wffvars-500-cryptocplx-31-overlap-2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-110-wffvars-500-cryptocplx-31-overlap-2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-115-wffvars-500-cryptocplx-31-overlap-2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-121-wffvars-500-cryptocplx-31-overlap-2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-12-wffvars-450-cryptocplx-40-overlap-2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-132-wffvars-500-cryptocplx-31-overlap-2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-133-wffvars-500-cryptocplx-31-overlap-2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-18-wffvars-450-cryptocplx-40-overlap-2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-3-wffvars-450-cryptocplx-40-overlap-2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/combined-crypto1-wff-seed-8-wffvars-450-cryptocplx-40-overlap-2 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07 UNSAT 177.0
/home/evaluation/evaluation/pub/bench/sc2020/main/course0.2_2018_3_5 SAT 519.0
/home/evaluation/evaluation/pub/bench/sc2020/main/course0.2_2018_3-sc2018 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/crafted_n10_d6_c3_num18 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/crafted_n11_d6_c4_num19 UNSAT 350.0
/home/evaluation/evaluation/pub/bench/sc2020/main/crafted_n12_d6_c4_num9 UNSAT 1020.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 317.0
/home/evaluation/evaluation/pub/bench/sc2020/main/cz-alt-3-7 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/dislog_a09_x11_n20 SAT 144.0
/home/evaluation/evaluation/pub/bench/sc2020/main/dislog_a12_x12_n22 SAT 1941.0
/home/evaluation/evaluation/pub/bench/sc2020/main/dislog_a13_x13_n23 UNKNOWN 10000.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 UNSAT 1583.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 822.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter405_71_12 SAT 253.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter454_70_11 UNSAT 256.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter454_70_12 SAT 950.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter634_77_14 SAT 2065.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 109.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter774_83_17 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter799_70_12 UNSAT 873.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter799_70_13 SAT 141.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter845_79_18 SAT 108.0
/home/evaluation/evaluation/pub/bench/sc2020/main/DLTM_twitter845_79_19 SAT 83.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 3.0
/home/evaluation/evaluation/pub/bench/sc2020/main/fclqcolor-18-14-11.cnf.gz.CP3-cnfmiter UNSAT 316.0
/home/evaluation/evaluation/pub/bench/sc2020/main/fclqcolor-20-15-12.cnf.gz.CP3-cnfmiter UNSAT 570.0
/home/evaluation/evaluation/pub/bench/sc2020/main/fermat-33106286870663 SAT 148.0
/home/evaluation/evaluation/pub/bench/sc2020/main/fermat-770131695059117 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/fermat-834855329100173267 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/fermat-907547022132073 SAT 353.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 382.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 UNKNOWN 10000.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 125.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 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/g2-hwmcc15deep-6s33-k34 UNSAT 701.0
/home/evaluation/evaluation/pub/bench/sc2020/main/g2-hwmcc15deep-6s516r-k17 UNSAT 871.0
/home/evaluation/evaluation/pub/bench/sc2020/main/g2-hwmcc15deep-bobpcihm-k31 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/g2-T83.2.1 UNSAT 1261.0
/home/evaluation/evaluation/pub/bench/sc2020/main/g2-T85.2.1 UNSAT 1260.0
/home/evaluation/evaluation/pub/bench/sc2020/main/goldb-heqc-k2mul UNSAT 607.0
/home/evaluation/evaluation/pub/bench/sc2020/main/grain-53-80-0s0-seed-125-4-init-35 UNSAT 278.0
/home/evaluation/evaluation/pub/bench/sc2020/main/grain-53-80-0s0-seed-125-8-init-35 UNSAT 352.0
/home/evaluation/evaluation/pub/bench/sc2020/main/grain-55-80-0s0-seed-125-45-init-40 UNSAT 396.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 151.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 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/hid-uns-enc-6-1-0-0-0-0-14492 UNSAT 153.0
/home/evaluation/evaluation/pub/bench/sc2020/main/hid-uns-enc-6-1-0-0-0-0-26462 UNSAT 513.0
/home/evaluation/evaluation/pub/bench/sc2020/main/hid-uns-enc-6-1-0-0-0-0-27601 UNSAT 138.0
/home/evaluation/evaluation/pub/bench/sc2020/main/hid-uns-enc-6-1-0-0-0-0-3251 UNSAT 235.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 100.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-041-ext.xml.hg_4 UNSAT 494.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-052-ext.xml.hg_4 SAT 457.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-065-ext.xml.hg_3 UNSAT 566.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-097-ext.xml.hg_4 UNSAT 570.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-117-ext.xml.hg_5 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-120-ext.xml.hg_6 SAT 646.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-125-ext.xml.hg_4 UNSAT 1248.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-126-ext.xml.hg_7 SAT 115.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-127-ext.xml.hg_6 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-132-ext.xml.hg_9 SAT 1040.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-148-ext.xml.hg_8 SAT 647.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-149-ext.xml.hg_4 UNSAT 1593.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-154-ext.xml.hg_4 UNSAT 1393.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kakuro-easy-157-ext.xml.hg_4 UNSAT 651.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Kittell-k7 UNSAT 224.0
/home/evaluation/evaluation/pub/bench/sc2020/main/LABS_n038_goal002 UNSAT 2020.0
/home/evaluation/evaluation/pub/bench/sc2020/main/LABS_n071_goal001-sc2013 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/lang23.cnf.gz.CP3-cnfmiter UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/lang28.cnf.gz.CP3-cnfmiter UNKNOWN 10000.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 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ls15-normalized.cnf.gz.CP3-cnfmiter UNSAT 1351.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ls16-normalized.cnf.gz.CP3-cnfmiter UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/mm-2x3-8-8-sb.1.sat05-475.reshuffled-07 UNSAT 2143.0
/home/evaluation/evaluation/pub/bench/sc2020/main/mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07 SAT 26.0
/home/evaluation/evaluation/pub/bench/sc2020/main/mp1-9_49 SAT 279.0
/home/evaluation/evaluation/pub/bench/sc2020/main/mp1-blockpuzzle_5x10_s7_free4 UNKNOWN 10000.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 943.0
/home/evaluation/evaluation/pub/bench/sc2020/main/mrpp_8x8#16_12 SAT 3.0
/home/evaluation/evaluation/pub/bench/sc2020/main/mrpp_8x8#24_14 SAT 171.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 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_12477_5_3_3_1_0_435991723 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_21015_5_3_3_0_0_11 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_21015_5_3_3_1_0_11 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_2_17_4_3_0_0_435991723 UNSAT 1231.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_2_18_8_3_1_0_435991723 SAT 1177.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_2_18_9_3_0_0_435991723 UNSAT 2192.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_2_19_5_3_1_0_435991723 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_3001_7_3_3_1_31_435991723 SAT 1501.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_3047_7_3_3_1_0_1 SAT 1730.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_3_16_3_3_0_0_435991723 UNSAT 775.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_5047_6_3_3_0_0_41 UNSAT 2009.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_5047_6_3_3_3_0_435991723 SAT 1556.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ncc_none_7047_6_3_3_0_0_420 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/newpol29-4 UNSAT 2347.0
/home/evaluation/evaluation/pub/bench/sc2020/main/newpol34-4 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/newpol36-4 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/newpol4-6 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/newpol6-6 UNKNOWN 10000.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 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/post-cbmc-aes-ee-r2 UNSAT 90.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 SAT 1460.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 UNKNOWN 10000.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 2216.0
/home/evaluation/evaluation/pub/bench/sc2020/main/preimage_80r_493m_160h_seed_249 SAT 1757.0
/home/evaluation/evaluation/pub/bench/sc2020/main/preimage_80r_493m_160h_seed_457 SAT 531.0
/home/evaluation/evaluation/pub/bench/sc2020/main/preimage_80r_494m_160h_seed_378 SAT 663.0
/home/evaluation/evaluation/pub/bench/sc2020/main/preimage_80r_495m_160h_seed_379 SAT 836.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 0.0
/home/evaluation/evaluation/pub/bench/sc2020/main/problem_19.smt2 UNSAT 576.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 1097.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_200_300_70 UNSAT 113.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_200_301_70 UNSAT 315.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_200_305_70 UNSAT 857.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_200_306_70 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_200_316_70 UNSAT 130.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_200_317_70 UNSAT 140.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_200_323_70 UNSAT 776.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_300_301_30 SAT 828.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_300_311_20 SAT 827.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_300_312_20 SAT 239.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_300_314_20 SAT 693.0
/home/evaluation/evaluation/pub/bench/sc2020/main/ps_300_322_20 SAT 756.0
/home/evaluation/evaluation/pub/bench/sc2020/main/QG7a-gensys-ukn009.sat05-3849.reshuffled-07 UNSAT 1145.0
/home/evaluation/evaluation/pub/bench/sc2020/main/rbcl_xits_08_UNSAT UNSAT 1463.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 333.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 85.0
/home/evaluation/evaluation/pub/bench/sc2020/main/schup-l2s-bc56s-1-k391 UNSAT 326.0
/home/evaluation/evaluation/pub/bench/sc2020/main/schur-triples-7-60 SAT 410.0
/home/evaluation/evaluation/pub/bench/sc2020/main/schur-triples-7-90 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sgen4-unsat-89-1 UNSAT 292.0
/home/evaluation/evaluation/pub/bench/sc2020/main/SGI_30_70_20_60_10-dir.shuffled-as.sat03-144 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sgp_5-6-8.sat05-2669.reshuffled-07 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/simon03:sat02bis:k2fix_gr_2pinvar_w8.used-as.sat04-349 UNSAT 7.0
/home/evaluation/evaluation/pub/bench/sc2020/main/simon-mixed-s02bis-05 UNSAT 120.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_4_4_i4096_r8 UNSAT 923.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_5_5_i000_w31_r9 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_5_5_i003_w31_r9 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_5_5_i028_w31_r9 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_5_5_i031_w31_r9 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_5_5_i032_w31_r9 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_5_5_i035_w31_r9 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_4_5_5_i037_w31_r9 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i003_r12 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i019_r12 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i041_r12 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i053_r12 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i058_r12 SAT 1133.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i059_r12 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i092_r12 SAT 726.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i131_r12 SAT 1554.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i235_r12 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/size_5_5_5_i260_r12 UNKNOWN 10000.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 1.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 81.0
/home/evaluation/evaluation/pub/bench/sc2020/main/stable-300-0.1-20-98765432130020 SAT 70.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 1667.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sted3_0x1e3-147 SAT 2297.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sted4_0x1e3-124 SAT 741.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sted5_0x0-157 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sted6_0x0-135 UNKNOWN 10000.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 6.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 41.0
/home/evaluation/evaluation/pub/bench/sc2020/main/sv-comp19_prop-reachsafety.queue_longer_false-unreach-call.i-witness SAT 109.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 SAT 48.0
/home/evaluation/evaluation/pub/bench/sc2020/main/Timetable_C_392_E_62_Cl_26_S_28 SAT 102.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 102.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 UNKNOWN 10000.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 140.0
/home/evaluation/evaluation/pub/bench/sc2020/main/velev-pipe-uns-1.0-9 UNSAT 161.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 UNKNOWN 10000.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 1092.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 UNKNOWN 10000.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 2184.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 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/w19-20.1 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/w19-2.0 UNKNOWN 10000.0
/home/evaluation/evaluation/pub/bench/sc2020/main/w19-49.0 UNSAT 1132.0
/home/evaluation/evaluation/pub/bench/sc2020/main/w19-5.1 UNSAT 1403.0
/home/evaluation/evaluation/pub/bench/sc2020/main/w19-8.0 UNSAT 2488.0
/home/evaluation/evaluation/pub/bench/sc2020/main/dislog_a11_x11_n21 UNKNOWN 10000.0
