@RELATION CV_SAT03-16_INDU

@ATTRIBUTE instance_id STRING
@ATTRIBUTE repetition NUMERIC
@ATTRIBUTE fold NUMERIC

@DATA
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w22-b6.cnf.gz,1,1
SAT-Race-2015-CNF/post-cbmc-aes-ee-r2-noholes.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2009Unselected/application/SAT09/APPLICATIONS/diagnosis/UR-15-5p1.cnf.gz,1,1
industrial/SAT-Race-2008-CNF/ibm-2004-23-k100.cnf.gz,1,1
industrial/SAT-Comp-2003-CNF/simon/sat02/k2fix_gr_2pinvar_w8.shuffled-as.sat03-435.cnf.gz,1,1
SAT-Race-2015-CNF/40bits_10.dimacs.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/6s165.cnf.gz,1,1
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-05.cnf.gz,1,1
industrial/SAT-Comp-2011-CNF/manthey/traffic/traffic_b_unsat.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2004/01/IBM_FV_2004_rule_batch_01_SAT_dat.k95.cnf.gz,1,1
industrial/SAT-Race-2008-CNF/ibm-2002-11r1-k45.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT09/APPLICATIONS/diagnosis/ACG-15-5p1.cnf.gz,1,1
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_2_unsat.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/li03/li-exam/li-exam-64.used-as.sat04-302.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/13_rule_1/SAT_dat.k10.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c9idw_i.cnf.gz,1,1
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite2_v01a.shuffled-as.sat05-4054.cnf.gz,1,1
SAT-Race-2015-CNF/hitag2-10-60-0-0xe14721bd199894a-99.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/30_rule/SAT_dat.k55.cnf.gz,1,1
industrial/SAT-Comp-2003-CNF/maris/CNF/ferry12u.shuffled-as.sat03-383.cnf.gz,1,1
industrial/SAT-Comp-2003-CNF/simon/sat02/f2clk_40.shuffled-as.sat03-424.cnf.gz,1,1
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog4_v01a.renamed-as.sat05-3965.cnf.gz,1,1
SAT-Race-2015-CNF/6s9.cnf.gz,1,1
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog6_ks99i.shuffled-as.sat05-4023.cnf.gz,1,1
industrial/SAT-Comp-2007-CNF/palacios/medium/emptyroom-4-h21-unsat.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/bivium-exptime6400/bivium-40-200-0s0-0x66b619d7b8e447710bf43b794ded6cfaf1e75bb8a947e14c78-50.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/grid-strips-grid-y-3.065-SAT.cnf.gz,1,1
SAT-Comp-2016-CNF/app16/sokoban-p20.sas.cr.39.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/li03/li-exam-shuffling-1/shuffling-1-s1614425735-of-bench-sat04-302.used-as.sat04-475.cnf.gz,1,1
industrial/SAT-Comp-2009-CNF/SAT_RACE08/cnf/manol-pipe-c6bidw_i.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-1/shuffling-1-s889321446-of-bench-sat04-728.used-as.sat04-741.cnf.gz,1,1
SAT-Comp-2016-CNF/app16/ak128modbtbg2msisc.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f8b.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-160/002.cnf.gz,1,1
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite1_v01i.shuffled-as.sat05-4053.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/ctl_4291_567_5_unsat_pre.cnf.gz,1,1
SAT-Race-2015-CNF/46bits_11.dimacs.cnf.gz,1,1
industrial/SAT-Comp-2011-CNF/leberre/2dimensionalstrippacking/E05X15.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/pb_300_10_lb_08.cnf.gz,1,1
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-6295.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1/12pipe_bug10_q0.used-as.sat04-729.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-1/shuffling-1-s1735667200-of-bench-sat04-332.used-as.sat04-445.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/li03/li-exam-shuffling-2/shuffling-2-s1843956569-of-bench-sat04-302.used-as.sat04-614.cnf.gz,1,1
industrial/SAT-Comp-2011-CNF/fuhs/AProVE11/AProVE11-11.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime1200/hitag2-10-60-0-0xbc15b17d0353413-10.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_8_unsat_pre.cnf.gz,1,1
industrial/SAT-Comp-2003-CNF/schuppan/l2s/motors-stuck-2-k315-sat.shuffled-as.sat03-411.cnf.gz,1,1
industrial/SAT-Comp-2003-CNF/maris/CNF/gripper10u.shuffled-as.sat03-389.cnf.gz,1,1
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom25.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/9vliw_m_9stages_iq3_C1_bug1.cnf.gz,1,1
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom21.cnf.gz,1,1
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.167.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-1/shuffling-1-s95485215-of-bench-sat04-306.used-as.sat04-471.cnf.gz,1,1
SAT-Comp-2016-CNF/app16/hitag2-8-60-0-0xb2021557d918860-94.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4201_555_unsat.cnf.gz,1,1
SAT-Race-2015-CNF/vmpc_29.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT03/industrial/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.cnf.gz,1,1
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w48-b6.cnf.gz,1,1
SAT-Comp-2016-CNF/app16/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-2/shuffling-2-s1338284274-of-bench-sat04-725.used-as.sat04-751.cnf.gz,1,1
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry10_v01a.renamed-as.sat05-3993.cnf.gz,1,1
SAT-Race-2015-CNF/7pipe_k.cnf.gz,1,1
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c9nidw_s.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-1/shuffling-1-s765004498-of-bench-sat04-365.used-as.sat04-504.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-2/shuffling-2-s1273147401-of-bench-sat04-365.used-as.sat04-642.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/MD5-32-3.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-2/shuffling-2-s109623650-of-bench-sat04-990.used-as.sat04-1006.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_7_unsat_pre.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c10i_i.cnf.gz,1,1
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-13845.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2004/07/IBM_FV_2004_rule_batch_07_SAT_dat.k55.cnf.gz,1,1
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/softveri/cbmc/aes_decry_2_rounds.debugged.cnf.gz,1,1
industrial/SAT-Race-2010-CNF/software-verification/bitverif/maxxor128.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2009Unselected/application/SAT09/APPLICATIONS/diagnosis/UCG-10-10p1.cnf.gz,1,1
industrial/SAT-Comp-2011-CNF/manthey/traffic/traffic_fb_unknown.cnf.gz,1,1
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/diagnosis/UTI-15-10p0.cnf.gz,1,1
industrial/SAT-Race-2010-CNF/cryptography/mizh/sha0_36_5.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT02/industrial/aloul/Homer/homer16.shuffled.cnf.gz,1,1
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry5_ks99i.renamed-as.sat05-3994.cnf.gz,1,1
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf.gz,1,1
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/diagnosis/UR-15-5p0.cnf.gz,1,1
industrial/SAT-Comp-2011-CNF/kullmann/AES/Benchmarks/32/aes_32_1_keyfind_1.cnf.gz,1,1
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf.gz,1,1
SAT-Race-2015-CNF/ACG-20-10p1.cnf.gz,1,1
industrial/SAT-Comp-2011-CNF/manthey/traffic/traffic_3b_unknown.cnf.gz,1,1
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry7_v01a.renamed-as.sat05-4002.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/complete-400-0.1-12-98765432140012.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.075-NOTKNOWN.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/gss-23-s100.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime1200/hitag2-10-60-0-0xfee9637399d85a2-78.cnf.gz,1,1
industrial/SAT-Race-2010-CNF/mixed/bioinf/q_query_2_L324_coli.cnf.gz,1,1
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-top22.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/ctl_3791_556_unsat_pre.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/beempgsol5b1.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f10bi.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2004/26/IBM_FV_2004_rule_batch_26_SAT_dat.k95.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k45.cnf.gz,1,1
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-9-U-10652.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/schuppan03/l2s/abp4-1-k31-unsat.used-as.sat04-438.cnf.gz,1,1
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-13-U-9007.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check/i10mul.miter.used-as.sat04-333.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f9nidw.cnf.gz,1,1
industrial/SAT-Race-2010-CNF/cryptography/mizh/md5_48_3.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-2/shuffling-2-s216507367-of-bench-sat04-422.used-as.sat04-699.cnf.gz,1,1
industrial/SAT-Comp-2007-CNF/anbulagan/medium-sat/dated-10-17-s.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/006-22-144.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check/frg2mul.miter.used-as.sat04-332.cnf.gz,1,1
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-15.cnf.gz,1,1
SAT-Race-2015-CNF/manthey_DimacsSorter_31_0.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-128/006.cnf.gz,1,1
SAT-Comp-2016-CNF/app16/ak128astepbg2msaig.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2009Unselected/application/SAT09/APPLICATIONS/bitverif/maxand/maxand128.cnf.gz,1,1
industrial/SAT-Comp-2003-CNF/maris/CNF/ferry9u.shuffled-as.sat03-387.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/MD5-31-4.cnf.gz,1,1
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-11-U-7061.cnf.gz,1,1
SAT-Race-2015-CNF/gss-22-s100.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c6ni_i.cnf.gz,1,1
industrial/SAT-Comp-2009-CNF/SAT_RACE06/manol-pipe-g6bi.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/simon03/sat02bis/k2fix_gr_2pinvar_w8.used-as.sat04-349.cnf.gz,1,1
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-4208.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime9600/hitag2-7-60-0-0x5f8ec0ffa4b15c6-25.cnf.gz,1,1
industrial/SAT-Comp-2007-CNF/narain/clauses-4.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.150-NOTKNOWN.cnf.gz,1,1
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_13_UNKNOWN.cnf.gz,1,1
industrial/SAT-Comp-2003-CNF/simon/sat02/comb2.shuffled-as.sat03-420.cnf.gz,1,1
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w14-b7.cnf.gz,1,1
SAT-Race-2015-CNF/SAT_dat.k85-24_1_rule_3.cnf.gz,1,1
SAT-Race-2015-CNF/hitag2-10-60-0-0x8edc44db7837bbf-65.cnf.gz,1,1
SAT-Race-2015-CNF/mrpp_8x8#20_16.cnf.gz,1,1
SAT-Race-2015-CNF/38bits_10.dimacs.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-2/shuffling-2-s73165169-of-bench-sat04-334.used-as.sat04-582.cnf.gz,1,1
SAT-Race-2015-CNF/mrpp_4x4#6_16.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-1/shuffling-1-s358595283-of-bench-sat04-349.used-as.sat04-488.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-2/shuffling-2-s504782760-of-bench-sat04-312.used-as.sat04-604.cnf.gz,1,1
SAT-Race-2015-CNF/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-NOTKNOWN.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/kukula03/addm_benchs-shuffling-1/shuffling-1-s1289525658-of-bench-sat04-341.used-as.sat04-480.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/simon03/sat02bis/cnf-r4-b1-k1.1-comp.used-as.sat04-354.cnf.gz,1,1
SAT-Race-2015-CNF/countbitssrl032.cnf.gz,1,1
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf.gz,1,1
industrial/SAT-Race-2010-CNF/hardware-verification/velev/11pipe_11_ooo.cnf.gz,1,1
industrial/SAT-Comp-2005-CNF/maris05/Depots/depots1_ks99i.shuffled-as.sat05-4010.cnf.gz,1,1
SAT-Race-2015-CNF/mrpp_4x4#10_9.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-2/shuffling-2-s218791748-of-bench-sat04-308.used-as.sat04-608.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/6s184.cnf.gz,1,1
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers5_v01a.shuffled-as.sat05-4048.cnf.gz,1,1
SAT-Race-2015-CNF/58bits_11.dimacs.cnf.gz,1,1
SAT-Comp-2016-CNF/app16/total-5-17-u.cnf.gz,1,1
SAT-Race-2015-CNF/mrpp_4x4#12_12.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-1/shuffling-1-s1613721304-of-bench-sat04-345.used-as.sat04-484.cnf.gz,1,1
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers1_ks99i.shuffled-as.sat05-4038.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-128/010.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/MD5-29-3.cnf.gz,1,1
industrial/SAT-Race-2008-CNF/ibm-2002-22r-k80.cnf.gz,1,1
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers5_v01a.renamed-as.sat05-3981.cnf.gz,1,1
industrial/SAT-Comp-2007-CNF/anbulagan/medium-unsat/total-5-13-u.cnf.gz,1,1
industrial/SAT-Comp-2003-CNF/simon/sat02/k2fix_gr_2pin_w8.shuffled-as.sat03-437.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/stable-400-0.1-12-98765432140012.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/kukula03/addm_benchs/am_8_8.used-as.sat04-341.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top27.cnf.gz,1,1
SAT-Race-2015-CNF/mrpp_8x8#18_13.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc/philo.used-as.sat04-988.cnf.gz,1,1
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_17_SAT.cnf.gz,1,1
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT02/industrial/aloul/Homer/homer17.shuffled.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-2/shuffling-2-s603990491-of-bench-sat04-321.used-as.sat04-595.cnf.gz,1,1
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.188.cnf.gz,1,1
industrial/SAT-Comp-2007-CNF/crypto/mizh-md5-48-2.cnf.gz,1,1
industrial/SAT-Comp-2007-CNF/manolios/manol-pipe-g10bidw.cnf.gz,1,1
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite3_v01a.renamed-as.sat05-3989.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/rpoc_xits_15_SAT.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/simon03/sat02bis/k2fix_gr_rcs_w8.used-as.sat04-353.cnf.gz,1,1
SAT-Comp-2016-CNF/app16/sat_prob_3.cnf.gz,1,1
industrial/SAT-Comp-2003-CNF/simon/sat02/k2fix_gr_2pinvar_w9.shuffled-as.sat03-436.cnf.gz,1,1
industrial/SAT-Comp-2003-CNF/simon/sat02/fifo8_400.shuffled-as.sat03-427.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/kukula03/addm_benchs-shuffling-1/shuffling-1-s1194368086-of-bench-sat04-340.used-as.sat04-479.cnf.gz,1,1
industrial/SAT-Race-2008-CNF/ibm-2002-22r-k75.cnf.gz,1,1
industrial/SAT-Comp-2011-CNF/fuhs/AProVE11/AProVE11-15.cnf.gz,1,1
SAT-Comp-2016-CNF/app16/schup-l2s-bc56s-1-k391.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/004-22-160.cnf.gz,1,1
SAT-Race-2015-CNF/mrpp_8x8#24_20.cnf.gz,1,1
SAT-Comp-2016-CNF/app16/test_v7_r12_vr10_c1_s18160.smt2-stp212.cnf.gz,1,1
industrial/SAT-Race-2008-CNF/ibm-2002-29r-k75.cnf.gz,1,1
SAT-Comp-2016-CNF/app16/test_v7_r17_vr5_c1_s25451.smt2-cvc4.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/bob12s09-opt.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-144/003.cnf.gz,1,1
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog1_v01a.renamed-as.sat05-3959.cnf.gz,1,1
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry5_ks99i.shuffled-as.sat05-4061.cnf.gz,1,1
industrial/SAT-Race-2010-CNF/hardware-verification/manolios/c7n.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-2/shuffling-2-s1016393551-of-bench-sat04-357.used-as.sat04-634.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/heule_weaver--arc4/arcfour_initialPermutation_6_40.cnf.gz,1,1
SAT-Comp-2016-CNF/app16/f1000.cnf.gz,1,1
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog5_ks99i.shuffled-as.sat05-4022.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-1/shuffling-1-s1769330284-of-bench-sat04-422.used-as.sat04-561.cnf.gz,1,1
industrial/SAT-Race-2010-CNF/hardware-verification/manolios/c9idw.cnf.gz,1,1
industrial/SAT-Race-2010-CNF/hardware-verification/velev/16pipe_16_ooo.cnf.gz,1,1
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/b04_s_2_unknown_pre.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc/rcnum25.used-as.sat04-987.cnf.gz,1,1
SAT-Comp-2016-CNF/app16/test_v3_r3_vr10_c1_s24300.smt2-stp212.cnf.gz,1,1
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-1/shuffling-1-s568675787-of-bench-sat04-350.used-as.sat04-489.cnf.gz,1,1
industrial/SAT-Comp-2014-CNF/UCG-15-10p0.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/ctl_4291_567_8_unsat.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/li-test4-100.cnf.gz,1,2
industrial/SAT-Comp-2003-CNF/maris/CNF/hanoi5u.shuffled-as.sat03-401.cnf.gz,1,2
industrial/SAT-Comp-2014-CNF/atco_enc1_opt1_05_21.cnf.gz,1,2
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate016.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_24.shuffled-as.sat05-1944.cnf.gz,1,2
industrial/SAT-Comp-2014-CNF/manol-pipe-c8nidw.cnf.gz,1,2
industrial/SAT-Challenge-2012/SATCompetition2007/industrial/velev/SAT4.0/9vliw_m_9stages_iq3_C1_bug2.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/anbulagan/hard-sat/partial-10-17-s.cnf.gz,1,2
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/Sz512_15128_0.smt2-stp212.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/manolios/manol-pipe-f9b.cnf.gz,1,2
industrial/SAT-Comp-2003-CNF/li/li-exam/li-exam-64.shuffled-as.sat03-369.cnf.gz,1,2
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_11_UNSAT.cnf.gz,1,2
industrial/SAT-Comp-2014-CNF/9vliw_m_9stages_iq3_C1_bug4.cnf.gz,1,2
SAT-Race-2015-CNF/q_query_3_L80_coli.sat.cnf.gz,1,2
industrial/SAT-Race-2010-CNF/mixed/diagnosis/UTI-20-10p0.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/anbulagan/diag-sat/total-5-15-s.cnf.gz,1,2
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_06_UNSAT.cnf.gz,1,2
SAT-Race-2015-CNF/manthey_DimacsSorterHalf_28_4.cnf.gz,1,2
SAT-Race-2015-CNF/manthey_DimacsSorterHalf_32_1.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/manolios/manol-pipe-c6nidw_i.cnf.gz,1,2
SAT-Race-2015-CNF/atco_enc2_opt2_05_9.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf.gz,1,2
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-128/004.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/fuhs/hard/AProVE07-08.cnf.gz,1,2
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/6s20.cnf.gz,1,2
industrial/SAT-Comp-2014-CNF/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.030-NOTKNOWN.cnf.gz,1,2
SAT-Race-2015-CNF/MD5-29-5.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/palacios/medium/cube-11-h14-sat.cnf.gz,1,2
SAT-Race-2015-CNF/partial-10-11-s.cnf.gz,1,2
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-22.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf.gz,1,2
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/g10nidw.cnf.gz,1,2
SAT-Race-2015-CNF/atco_enc1_opt1_10_15.cnf.gz,1,2
industrial/SAT-Race-2010-CNF/software-verification/bitverif/countbitsarray32_32.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/maris05/Depots/depots1_v01a.shuffled-as.sat05-4013.cnf.gz,1,2
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.22.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite3_v01i.renamed-as.sat05-3990.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/marijn/Philips-shuffling-2/shuffling-2-s1204697340-of-bench-sat04-301.used-as.sat04-615.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.020-NOTKNOWN.cnf.gz,1,2
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-6967.cnf.gz,1,2
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4201_555_unsat_pre.cnf.gz,1,2
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/31_2_rule_1/SAT_dat.k55.debugged.cnf.gz,1,2
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-4.035-NOTKNOWN.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/test_v7_r7_vr10_c1_s32506.smt2-cvc4.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog8_v01a.shuffled-as.sat05-4037.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/maris05/Depots/depots2_v01i.renamed-as.sat05-3949.cnf.gz,1,2
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.2.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/partial-10-13-u.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-1/shuffling-1-s580256948-of-bench-sat04-727.used-as.sat04-740.cnf.gz,1,2
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime9600/hitag2-7-60-0-0x39ff85d4ef127de-52.cnf.gz,1,2
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bitverif/minor/minor032.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/Sz512_15127_4.smt2-cvc4.cnf.gz,1,2
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w24-b9.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/narain/clauses-10.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/fuhs/medium/AProVE07-11.cnf.gz,1,2
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom17.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/ak128simpbbg2msisc.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/ak016modbtsimpbisc.cnf.gz,1,2
SAT-Race-2015-CNF/bob12m09-opt.cnf.gz,1,2
industrial/SAT-Comp-2014-CNF/SAT_dat.k75-24_1_rule_3.cnf.gz,1,2
SAT-Race-2015-CNF/008-80-12.cnf.gz,1,2
SAT-Race-2015-CNF/mrpp_6x6#18_9.cnf.gz,1,2
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c8nidw_i.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog6_ks99i.renamed-as.sat05-3956.cnf.gz,1,2
SAT-Race-2015-CNF/partial-5-17-s.cnf.gz,1,2
industrial/SAT-Comp-2014-CNF/MD5-28-5.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/newton.4.3.i.smt2-stp212.cnf.gz,1,2
industrial/SAT-Comp-2011-CNF/fuhs/AProVE11/AProVE11-13.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry9_ks99a.renamed-as.sat05-4008.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/babic/dspam/dspam_dump_vc1104.cnf.gz,1,2
industrial/SAT-Comp-2014-CNF/9vliw_m_9stages_iq3_C1_bug9.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-2/shuffling-2-s279405308-of-bench-sat04-309.used-as.sat04-607.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/ablmulub2x32o.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/babic/xinetd/itox_vc1044.cnf.gz,1,2
SAT-Race-2015-CNF/manthey_DimacsSorterHalf_29_2.cnf.gz,1,2
industrial/SAT-Comp-2014-CNF/6s126-opt.cnf.gz,1,2
industrial/SAT-Race-2008-CNF/post-cbmc-aes-d-r1.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/babic/dspam/dspam_dump_vc949.cnf.gz,1,2
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-top28.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers4_v01i.renamed-as.sat05-3980.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/aes_64_2_keyfind_1.cnf.gz,1,2
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/11_rule_1/SAT_dat.k95.cnf.gz,1,2
industrial/SAT-Comp-2014-CNF/SAT_dat.k80-24_1_rule_2.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-1/shuffling-1-s1931619758-of-bench-sat04-352.used-as.sat04-491.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-1/shuffling-1-s997857548-of-bench-sat04-346.used-as.sat04-485.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/fuhs/medium/AProVE07-06.cnf.gz,1,2
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf.gz,1,2
industrial/SAT-Race-2010-CNF/hardware-verification/velev/12pipe_q0_k.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/mul_03_3000_1.smt2-cvc4.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color/abb313GPIA-8-cn.used-as.sat04-315.cnf.gz,1,2
SAT-Race-2015-CNF/dated-10-17-u.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/simon03/sat02/comb1.used-as.sat04-361.cnf.gz,1,2
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_21_SAT.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/palacios/uts/uts-l05-ipc5-h27-unknown.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers2_v01i.shuffled-as.sat05-4045.cnf.gz,1,2
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime1200/hitag2-10-60-0-0xb7b72dfef34c17b-39.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/babic/xinetd/itox_vc909.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/test_v3_r8_vr5_c1_s8257.smt2-stp212.cnf.gz,1,2
industrial/SAT-Comp-2013-CNF/SC13_submissions/heule_weaver--arc4/arcfour_initialPermutation_6_15.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-1/shuffling-1-s716603489-of-bench-sat04-317.used-as.sat04-460.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry6_v01i.renamed-as.sat05-3999.cnf.gz,1,2
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/01_rule/SAT_dat.k90.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/jarvisalo/eq.atree.braun.7.unsat.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/gss-26-s100.cnf.gz,1,2
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_15_SAT.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/rbcl_xits_09_UNKNOWN.cnf.gz,1,2
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_5_unsat.cnf.gz,1,2
SAT-Race-2015-CNF/grieu-vmpc-31.cnf.gz,1,2
industrial/SAT-Race-2010-CNF/hardware-verification/ibm/2004_rb10Sd.k85.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/sortnet-7-ipc5-h15-unsat.cnf.gz,1,2
SAT-Race-2015-CNF/hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf.gz,1,2
industrial/SAT-Comp-2003-CNF/simon/sat02/fifo8_300.shuffled-as.sat03-426.cnf.gz,1,2
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbsharemodes_vc4322-tseitin.cnf.gz,1,2
industrial/SAT-Comp-2009-CNF/SAT_RACE08/cnf/velev-engi-uns-1.0-4nd.cnf.gz,1,2
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-6-U-7061.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/pb_400_02_lb_15.cnf.gz,1,2
SAT-Race-2015-CNF/50bits_13.dimacs.cnf.gz,1,2
industrial/SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf.gz,1,2
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/31_1_rule_2/SAT_dat.k95.debugged.cnf.gz,1,2
SAT-Race-2015-CNF/mrpp_8x8#22_24.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/li03/li-exam-shuffling-1/shuffling-1-s367099883-of-bench-sat04-305.used-as.sat04-472.cnf.gz,1,2
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/crypto/desgen/gss-34-s100.cnf.gz,1,2
industrial/SAT-Comp-2003-CNF/maris/CNF/ferry8u.shuffled-as.sat03-385.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite1_v01i.renamed-as.sat05-3986.cnf.gz,1,2
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c10idw.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/jarvisalo/eq.atree.braun.10.unsat.cnf.gz,1,2
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w22-b8.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-2/shuffling-2-s876707344-of-bench-sat04-988.used-as.sat04-1004.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/partial-5-11-u.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1/12pipe_bug4_q0.used-as.sat04-723.cnf.gz,1,2
industrial/SAT-Comp-2011-CNF/kullmann/AES/Benchmarks/128/aes_128_2_keyfind_1.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/babic/xinetd/itox_vc1216.cnf.gz,1,2
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/blocks-blocks-37-1.150-SAT.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/test_v7_r17_vr10_c1_s3680.smt2-stp212.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-1/shuffling-1-s1667727374-of-bench-sat04-987.used-as.sat04-995.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/schuppan03/l2s/motors-stuck-2-k315-sat.used-as.sat04-435.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/schuppan03/l2s/bc56-sensors-2-k592-unsat.used-as.sat04-429.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry10_ks99a.shuffled-as.sat05-4059.cnf.gz,1,2
SAT-Race-2015-CNF/AProVE09-06.cnf.gz,1,2
industrial/SAT-Comp-2014-CNF/001-80-12.cnf.gz,1,2
industrial/SAT-Race-2008-CNF/ibm-2004-1_11-k80.cnf.gz,1,2
industrial/SAT-Race-2010-CNF/hardware-verification/velev/2dlx_ca_bp_f_liveness.cnf.gz,1,2
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime4800/hitag2-8-60-0-0xfba1a41b5dfd7f7-52.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/countbitssrl128.cnf.gz,1,2
industrial/SAT-Challenge-2012/satrace2008/post-cbmc-aes-ee-r2.cnf.gz,1,2
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/nonopt/6s126.cnf.gz,1,2
SAT-Race-2015-CNF/partial-5-15-s.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/velev-vliw-uns-2.0-uq5.cnf.gz,1,2
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w54-b9.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/UCG-20-5p1.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-1/shuffling-1-s793536932-of-bench-sat04-354.used-as.sat04-493.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/maris03/gripper/gripper10u.used-as.sat04-420.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-2/shuffling-2-s561047768-of-bench-sat04-354.used-as.sat04-631.cnf.gz,1,2
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w52-b6.cnf.gz,1,2
industrial/SAT-Comp-2014-CNF/010-22-160.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/crypto/mizh-sha0-36-2.cnf.gz,1,2
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/arcfour_initialPermutation_6_14.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-1/shuffling-1-s1103408877-of-bench-sat04-316.used-as.sat04-461.cnf.gz,1,2
industrial/SAT-Comp-2011-CNF/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-countbits128-tseitin.cnf.gz,1,2
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-21.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_36.renamed-as.sat05-1922.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-1/shuffling-1-s1013918631-of-bench-sat04-320.used-as.sat04-457.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/uum16.smt2-cvc4.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/sokoban-p17.sas.ex.11.cnf.gz,1,2
industrial/SAT-Comp-2003-CNF/schuppan/l2s/bc56-sensors-2-k592-unsat.shuffled-as.sat03-405.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/snw_16_9_preOpt_pre.cnf.gz,1,2
industrial/SAT-Comp-2014-CNF/pb_300_10_lb_07.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color/inithx.i.1-cn-54.used-as.sat04-324.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/test_v7_r17_vr1_c1_s30331.smt2-stp212.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/schuppan03/l2s/guidance-1-k56-unsat.used-as.sat04-432.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/maris03/gripper/gripper14.used-as.sat04-427.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-1/shuffling-1-s1950134129-of-bench-sat04-307.used-as.sat04-470.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-2/shuffling-2-s1460079743-of-bench-sat04-721.used-as.sat04-747.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-2/shuffling-2-s394545217-of-bench-sat04-419.used-as.sat04-696.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/ak032modbtmodbtisc.cnf.gz,1,2
SAT-Race-2015-CNF/mrpp_4x4#4_24.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-19419.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry7_ks99a.renamed-as.sat05-4000.cnf.gz,1,2
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT02/industrial/goldberg/rand_net/rand_net70-60-10.shuffled.cnf.gz,1,2
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c10bid_s.cnf.gz,1,2
industrial/SAT-Race-2010-CNF/software-verification/fuhs/AProVE09-20.cnf.gz,1,2
industrial/SAT-Race-2010-CNF/hardware-verification/manolios/c10idw_i.cnf.gz,1,2
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/crypto/desgen/gss-15-s100.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/snw_17_9_CCSpreOptEncpre.cnf.gz,1,2
industrial/SAT-Comp-2007-CNF/anbulagan/medium-sat/partial-5-11-s.cnf.gz,1,2
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.83.cnf.gz,1,2
SAT-Race-2015-CNF/beempgsol5b1.cnf.gz,1,2
industrial/SAT-Comp-2014-CNF/atco_enc3_opt2_05_21.cnf.gz,1,2
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-1/shuffling-1-s1719683924-of-bench-sat04-310.used-as.sat04-467.cnf.gz,1,2
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2009Unselected/application/SAT09/APPLICATIONS/diagnosis/UCG-15-5p1.cnf.gz,1,2
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-15163.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog7_v01a.shuffled-as.sat05-4036.cnf.gz,1,2
industrial/SAT-Comp-2003-CNF/schuppan/l2s/motors-stuck-2-k314-unsat.shuffled-as.sat03-410.cnf.gz,1,2
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog3_v01i.shuffled-as.sat05-4031.cnf.gz,1,2
industrial/SAT-Comp-2014-CNF/aes_24_4_keyfind_4.cnf.gz,1,2
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/31_1_rule_2/SAT_dat.k60.debugged.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-2/shuffling-2-s180942410-of-bench-sat04-435.used-as.sat04-712.cnf.gz,1,3
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry6_ks99i.shuffled-as.sat05-4064.cnf.gz,1,3
industrial/SAT-Race-2008-CNF/velev-fvp-sat-3.0-b18.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_26.shuffled-as.sat05-1946.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check/rotmul.miter.used-as.sat04-336.cnf.gz,1,3
industrial/SAT-Comp-2007-CNF/palacios/uts/uts-l06-ipc5-h30-unknown.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/snw_16_9_Encpre.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/rintanen/SATPlanning/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.030-NOTKNOWN.cnf.gz,1,3
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bioinfo/q_query_3_l41_lambda.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/ak064diagodiagoisc.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-2/shuffling-2-s1898485654-of-bench-sat04-329.used-as.sat04-587.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/safe-30-h29-unsat.cnf.gz,1,3
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-15-U-10652.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-2/shuffling-2-s433859593-of-bench-sat04-424.used-as.sat04-701.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/sokoban-p20.sas.cr.23.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers1_v01i.shuffled-as.sat05-4043.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/li03/li-exam-shuffling-2/shuffling-2-s78076770-of-bench-sat04-305.used-as.sat04-611.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-2/shuffling-2-s243747910-of-bench-sat04-317.used-as.sat04-599.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/sokoban-p20.sas.ex.11.cnf.gz,1,3
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-128/005.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f8nidw.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/schuppan03/l2s/dme-03-1-k247-unsat.used-as.sat04-431.cnf.gz,1,3
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/alu4mul.miter.shuffled-as.sat03-344.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/abb313GPIA-9-c.used-as.sat04-317.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/sokoban-p10.sas.cr.35.cnf.gz,1,3
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-15.cnf.gz,1,3
SAT-Race-2015-CNF/50bits_14.dimacs.cnf.gz,1,3
SAT-Race-2015-CNF/62bits_14.dimacs.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/velev/pipe_unsat_1.0/10pipe_k.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/valves-gates-1-k617-unsat.cnf.gz,1,3
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-top30.cnf.gz,1,3
SAT-Race-2015-CNF/mrpp_4x4#4_5.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/arcfour_initialPermutation_5_32.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color/abb313GPIA-9-cn.used-as.sat04-322.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/total-10-13-u.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/snw_13_8_CCSpreOptpre.cnf.gz,1,3
industrial/SAT-Comp-2007-CNF/palacios/uts/uts-l06-ipc5-h28-unknown.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/11pipe_q0_k.cnf.gz,1,3
SAT-Race-2015-CNF/007-80-8.cnf.gz,1,3
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_1_unsat.cnf.gz,1,3
industrial/SAT-Comp-2007-CNF/babic/xinetd/xinetd_vc56703.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/snw_13_8_CCSEncnopre.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/ablmulub8x16o.cnf.gz,1,3
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/23_rule/SAT_dat.k85.debugged.cnf.gz,1,3
industrial/SAT-Comp-2011-CNF/manthey/traffic/traffic_r_sat.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/sokoban-p01.sas.ex.17.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/ndhf_xits_17_UNKNOWN.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/UR-20-10p1.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog4_v01i.shuffled-as.sat05-4033.cnf.gz,1,3
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w48-b9.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/blocks-blocks-36-0.130-NOTKNOWN.cnf.gz,1,3
SAT-Race-2015-CNF/64bits_13.dimacs.cnf.gz,1,3
SAT-Race-2015-CNF/complete-400-0.1-3-9876543214003.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/sokoban-p20.sas.cr.27.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2009Unselected/application/SAT09/APPLICATIONS/bitverif/isqrt/isqrt1_32.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/SAT_dat.k100-24_1_rule_3.cnf.gz,1,3
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl016.cnf.gz,1,3
SAT-Race-2015-CNF/beempgsol2b1.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-2/shuffling-2-s496613354-of-bench-sat04-358.used-as.sat04-635.cnf.gz,1,3
industrial/SAT-Comp-2011-CNF/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.gz,1,3
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.108.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug6.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/schuppan03/l2s/motors-stuck-1-k407-unsat.used-as.sat04-433.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-15606.cnf.gz,1,3
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_10_unsat_pre.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog5_ks99i.renamed-as.sat05-3955.cnf.gz,1,3
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_1_unsat_pre.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/miza-sr06-md5-48-01.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry5_v01i.shuffled-as.sat05-4062.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog8_ks99i.shuffled-as.sat05-4025.cnf.gz,1,3
industrial/SAT-Race-2008-CNF/ibm-2002-22r-k60.cnf.gz,1,3
SAT-Race-2015-CNF/mrpp_6x6#16_24.cnf.gz,1,3
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime9600/hitag2-7-60-0-0xe8fa35372ed37e2-80.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/SAT_dat.k35-31_2_rule_2.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-2/shuffling-2-s1446184795-of-bench-sat04-423.used-as.sat04-700.cnf.gz,1,3
industrial/SAT-Comp-2011-CNF/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf.gz,1,3
SAT-Race-2015-CNF/mrpp_4x4#6_20.cnf.gz,1,3
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-13698.cnf.gz,1,3
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-144/001.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/gss-28-s100.cnf.gz,1,3
SAT-Race-2015-CNF/002-80-12.cnf.gz,1,3
SAT-Race-2015-CNF/velev-vliw-uns-4.0-9-i1.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/aes_32_2_keyfind_3.cnf.gz,1,3
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/31_1_rule_3/SAT_dat.k100.debugged.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/6s123.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT02/industrial/aloul/Homer/homer14.shuffled.cnf.gz,1,3
SAT-Race-2015-CNF/vmpc_33.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-2/shuffling-2-s524759601-of-bench-sat04-350.used-as.sat04-627.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/maris05/Depots/depots1_v01i.shuffled-as.sat05-4014.cnf.gz,1,3
industrial/SAT-Comp-2007-CNF/babic/hsatv17/hsat_vc11935.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/6s153.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/kukula03/addm_benchs-shuffling-1/shuffling-1-s61431964-of-bench-sat04-342.used-as.sat04-481.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog7_v01a.renamed-as.sat05-3969.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/f600.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/slp-synthesis-aes-top23.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/kukula03/addm_benchs/am_7_7.used-as.sat04-340.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-1/shuffling-1-s1388695022-of-bench-sat04-356.used-as.sat04-495.cnf.gz,1,3
SAT-Race-2015-CNF/manthey_DimacsSorterHalf_37_6.cnf.gz,1,3
industrial/SAT-Race-2010-CNF/hardware-verification/manolios/c9b_i.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c8nidw_s.cnf.gz,1,3
SAT-Race-2015-CNF/group_mulr.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/atco_enc1_opt1_03_56.cnf.gz,1,3
industrial/SAT-Comp-2003-CNF/simon/sat02/comb3.shuffled-as.sat03-421.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.140-NOTKNOWN.cnf.gz,1,3
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/nonopt/6s20.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-2/shuffling-2-s591390940-of-bench-sat04-314.used-as.sat04-602.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers1_ks99i.renamed-as.sat05-3971.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/9vliw_m_9stages_iq3_C1_bug7.cnf.gz,1,3
industrial/SAT-Comp-2007-CNF/grieu/vmpc_26.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/li-test4-96.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite3_v01i.shuffled-as.sat05-4057.cnf.gz,1,3
industrial/SAT-Comp-2007-CNF/babic/dspam/dspam_dump_vc962.cnf.gz,1,3
industrial/SAT-Comp-2011-CNF/manthey/traffic/traffic_r_uc_sat.cnf.gz,1,3
SAT-Race-2015-CNF/manthey_DimacsSorterHalf_36_7.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/UR-20-5p0.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog4_v01i.renamed-as.sat05-3966.cnf.gz,1,3
industrial/SAT-Comp-2003-CNF/maris/CNF/ferry12.shuffled-as.sat03-382.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/narain05/vpn/clauses-10.shuffled-as.sat05-1965.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbclient_vc1228447-tseitin.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/28_rule/SAT_dat.k100.cnf.gz,1,3
industrial/SAT-Comp-2011-CNF/kullmann/AES/Benchmarks/128/aes_128_3_keyfind_1.cnf.gz,1,3
industrial/SAT-Comp-2003-CNF/maris/CNF/gripper11.shuffled-as.sat03-390.cnf.gz,1,3
industrial/SAT-Comp-2007-CNF/babic/xinetd/xinetd_vc56687.cnf.gz,1,3
SAT-Race-2015-CNF/manthey_DimacsSorter_31_8.cnf.gz,1,3
SAT-Race-2015-CNF/SAT_dat.k70-24_1_rule_3.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-2/shuffling-2-s1976851858-of-bench-sat04-985.used-as.sat04-1001.cnf.gz,1,3
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-144/005.cnf.gz,1,3
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w18-b7.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-innfeed_innfeed_vc37051-tseitin.cnf.gz,1,3
industrial/SAT-Race-2010-CNF/hardware-verification/manolios/c10id_i.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbclient_vc1225819-tseitin.cnf.gz,1,3
SAT-Race-2015-CNF/mrpp_4x4#4_4.cnf.gz,1,3
industrial/SAT-Comp-2011-CNF/fuhs/AProVE11/AProVE11-16.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-2/shuffling-2-s1712089181-of-bench-sat04-436.used-as.sat04-713.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/MD5-28-4.cnf.gz,1,3
industrial/SAT-Comp-2007-CNF/anbulagan/diag-sat/total-5-11-s.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers1_v01a.shuffled-as.sat05-4042.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq1.used-as.sat04-717.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/test_v7_r12_vr1_c1_s22787.smt2-cvc4.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/atco_enc2_opt1_05_21.cnf.gz,1,3
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-top29.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-2/shuffling-2-s772306053-of-bench-sat04-351.used-as.sat04-628.cnf.gz,1,3
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner064.cnf.gz,1,3
industrial/SAT-Comp-2007-CNF/anbulagan/medium-sat/total-10-15-s.cnf.gz,1,3
industrial/SAT-Comp-2011-CNF/leberre/2dimensionalstrippacking/korf-17.cnf.gz,1,3
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/bivium-exptime12800/bivium-39-200-0s0-0x28df9231b320bd56dfb68bfc7c3f0ca20dbae6b0eba535ad91-98.cnf.gz,1,3
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/bivium-exptime6400/bivium-40-200-0s0-0x92fc13b11169afbb2ef11a684d9fe9a19e743cd6aa5ce23fb5-19.cnf.gz,1,3
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w32-b9.cnf.gz,1,3
industrial/SAT-Comp-2009-CNF/SAT_RACE06/velev-pipe-sat-1.0-b7.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f9idw.cnf.gz,1,3
industrial/SAT-Comp-2007-CNF/manolios/manol-pipe-c7bidw_i.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/sokoban-p18.sas.cr.29.cnf.gz,1,3
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/desmul.miter.shuffled-as.sat03-350.cnf.gz,1,3
industrial/SAT-Race-2010-CNF/hardware-verification/ibm/SAT_dat.k45.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color/myciel6-cn.used-as.sat04-319.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/test_v7_r17_vr5_c1_s2807.smt2-stp212.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/sokoban-p20.sas.cr.35.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/bob12m02.cnf.gz,1,3
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.28.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-1/shuffling-1-s973963881-of-bench-sat04-985.used-as.sat04-993.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/snw_13_9_preOpt_pre.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/snw_13_9_Encpre.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/q_query_3_L200_coli.sat.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_33.shuffled-as.sat05-1952.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f10bidw.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite3_v01a.shuffled-as.sat05-4056.cnf.gz,1,3
SAT-Race-2015-CNF/mrpp_8x8#24_16.cnf.gz,1,3
SAT-Race-2015-CNF/minxorminand064.cnf.gz,1,3
industrial/SAT-Comp-2007-CNF/crypto/mizh-sha0-35-2.cnf.gz,1,3
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w42-b9.cnf.gz,1,3
SAT-Race-2015-CNF/mrpp_4x4#6_5.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-1/shuffling-1-s810499108-of-bench-sat04-435.used-as.sat04-574.cnf.gz,1,3
industrial/SAT-Comp-2007-CNF/anbulagan/hard-unsat/partial-10-17-u.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/complete-500-0.1-7-9876543215007.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libmsrpc_vc1228572-tseitin.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/marijn/Philips/philips.used-as.sat04-301.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/10pipe_k.cnf.gz,1,3
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite3_ks99i.renamed-as.sat05-3984.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2009Unselected/application/SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor064.cnf.gz,1,3
industrial/SAT-Comp-2009-CNF/SAT_RACE08/cnf/mizh-sha0-36-3.cnf.gz,1,3
industrial/SAT-Comp-2003-CNF/simon/sat02/6pipe.shuffled-as.sat03-414.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/MD5-32-1.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/snw_13_8_pre.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-1/shuffling-1-s875444519-of-bench-sat04-428.used-as.sat04-567.cnf.gz,1,3
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2004/20/IBM_FV_2004_rule_batch_20_SAT_dat.k75.cnf.gz,1,3
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bioinfo/q_query_3_l42_lambda.cnf.gz,1,3
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom23.cnf.gz,1,3
industrial/SAT-Comp-2007-CNF/fuhs/medium/AProVE07-20.cnf.gz,1,3
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf.gz,1,3
SAT-Race-2015-CNF/atco_enc1_opt2_10_16.cnf.gz,1,3
industrial/SAT-Comp-2009-CNF/SAT_RACE08/cnf/cmu-bmc-barrel6.cnf.gz,1,3
industrial/SAT-Race-2008-CNF/ibm-2002-25r-k10.cnf.gz,1,3
SAT-Comp-2016-CNF/app16/li-test4-98.cnf.gz,1,3
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_9_unsat_pre.cnf.gz,1,3
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-1/shuffling-1-s355579135-of-bench-sat04-357.used-as.sat04-496.cnf.gz,1,3
industrial/SAT-Comp-2011-CNF/leberre/2dimensionalstrippacking/E00X23.cnf.gz,1,3
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_15_UNKNOWN.cnf.gz,1,3
industrial/SAT-Comp-2014-CNF/MD5-27-4.cnf.gz,1,4
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/bivium-exptime12800/bivium-39-200-0s0-0x5fa955de2b4f64d00226837d226c955de4566ce95f660180d7-30.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/babic/dspam/dspam_dump_vc1093.cnf.gz,1,4
SAT-Race-2015-CNF/manthey_DimacsSorter_35_7.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-1/shuffling-1-s1530771508-of-bench-sat04-323.used-as.sat04-454.cnf.gz,1,4
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/frg2mul.miter.shuffled-as.sat03-352.cnf.gz,1,4
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_3082_415_unsat_pre.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/rpoc_xits_10_UNKNOWN.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf.gz,1,4
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f8bidw.cnf.gz,1,4
industrial/SAT-Race-2010-CNF/mixed/diagnosis/ACG-15-10p0.cnf.gz,1,4
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-144/009.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-1/shuffling-1-s472031984-of-bench-sat04-430.used-as.sat04-569.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-1/shuffling-1-s1704429820-of-bench-sat04-721.used-as.sat04-734.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/leberre/2dimensionalstrippacking/E05F20.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/partial-10-15-s.cnf.gz,1,4
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2004/1_31_2/IBM_FV_2004_rule_batch_1_31_2_SAT_dat.k65.debugged.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/partial-5-19-u.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/newton.3.3.i.smt2-stp212.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-2/shuffling-2-s1080347346-of-bench-sat04-432.used-as.sat04-709.cnf.gz,1,4
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/20_rule/SAT_dat.k60.debugged.cnf.gz,1,4
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_16_UNKNOWN.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/maris03/gripper/gripper13u.used-as.sat04-426.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-2/shuffling-2-s113738192-of-bench-sat04-420.used-as.sat04-697.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/palacios/uts/uts-l06-ipc5-h32-unknown.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/anbulagan/medium-sat/total-5-17-s.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf.gz,1,4
industrial/SAT-Race-2010-CNF/hardware-verification/ibm/SAT_dat.k50.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-nlzbe256-tseitin.cnf.gz,1,4
industrial/SAT-Comp-2014-CNF/SAT_dat.k95-24_1_rule_1.cnf.gz,1,4
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-128/007.cnf.gz,1,4
SAT-Race-2015-CNF/UR-15-10p1.cnf.gz,1,4
industrial/SAT-Comp-2014-CNF/vmpc_32.renamed-as.sat05-1919.cnf.gz,1,4
SAT-Race-2015-CNF/manthey_DimacsSorterHalf_37_9.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_27.shuffled-as.sat05-1947.cnf.gz,1,4
industrial/SAT-Comp-2003-CNF/simon/sat02/k2fix_gr_rcs_w8.shuffled-as.sat03-439.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/kukula03/addm_benchs/am_6_6.used-as.sat04-339.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry10_ks99a.renamed-as.sat05-3992.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/marijn/Philips-shuffling-1/shuffling-1-s1948244678-of-bench-sat04-301.used-as.sat04-476.cnf.gz,1,4
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-10-U-9007.cnf.gz,1,4
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-03.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/maris05/Depots/depots2_v01a.shuffled-as.sat05-4015.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/anbulagan/diag-sat/dated-10-11-s.cnf.gz,1,4
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf.gz,1,4
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/6s166.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color/myciel6-c.used-as.sat04-318.cnf.gz,1,4
SAT-Race-2015-CNF/manthey_DimacsSorter_35_8.cnf.gz,1,4
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_11_unsat.cnf.gz,1,4
SAT-Race-2015-CNF/010-23-80.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/babic/xinetd/itox_vc979.cnf.gz,1,4
SAT-Race-2015-CNF/AProVE07-03.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/simon03/sat02bis/dp12u11.used-as.sat04-358.cnf.gz,1,4
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-16.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step15.cnf.gz,1,4
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2004/3_11/IBM_FV_2004_rule_batch_3_11_SAT_dat.k90.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-2/shuffling-2-s382766827-of-bench-sat04-343.used-as.sat04-621.cnf.gz,1,4
SAT-Race-2015-CNF/6s133.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/newton.2.2.i.smt2-cvc4.cnf.gz,1,4
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w44-b9.cnf.gz,1,4
SAT-Race-2015-CNF/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf.gz,1,4
SAT-Race-2015-CNF/mrpp_6x6#10_8.cnf.gz,1,4
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/i8mul.miter.shuffled-as.sat03-354.cnf.gz,1,4
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c10bidw_i.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-1/shuffling-1-s57793011-of-bench-sat04-724.used-as.sat04-737.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-2/shuffling-2-s1141275903-of-bench-sat04-307.used-as.sat04-609.cnf.gz,1,4
industrial/SAT-Race-2008-CNF/ibm-2004-3_02_3-k95.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/manthey/traffic/traffic_pcb_unknown.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-1/shuffling-1-s1591254236-of-bench-sat04-991.used-as.sat04-999.cnf.gz,1,4
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_11_unsat_pre.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/maris05/Depots/depots3_v01a.renamed-as.sat05-3950.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-2/shuffling-2-s666499463-of-bench-sat04-323.used-as.sat04-593.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/grieu/vmpc_27.cnf.gz,1,4
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-10-U-15228.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/simon03/sat02bis/cnt10.used-as.sat04-356.cnf.gz,1,4
SAT-Race-2015-CNF/6s169-opt.cnf.gz,1,4
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/b_unsat.cnf.gz,1,4
industrial/SAT-Race-2010-CNF/hardware-verification/manolios/g7nidw.cnf.gz,1,4
SAT-Race-2015-CNF/atco_enc1_opt1_04_32.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/mulhs032.cnf.gz,1,4
SAT-Race-2015-CNF/aaai10-planning-ipc5-TPP-21-step11.cnf.gz,1,4
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.85.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/rpoc_xits_08_UNSAT.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/narain/clauses-8.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-1/shuffling-1-s409894747-of-bench-sat04-426.used-as.sat04-565.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/anbulagan/medium-sat/total-10-19-s.cnf.gz,1,4
SAT-Race-2015-CNF/6s11-opt.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf.gz,1,4
industrial/SAT-Race-2010-CNF/hardware-verification/manolios/f6bid.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/leberre/2dimensionalstrippacking/korf-15.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check/x1mul.miter.used-as.sat04-338.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-1/shuffling-1-s1783682068-of-bench-sat04-331.used-as.sat04-446.cnf.gz,1,4
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.79.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/1dlx_c_iq57_a.cnf.gz,1,4
industrial/SAT-Comp-2014-CNF/stable-400-0.1-5-9876543214005.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_36.shuffled-as.sat05-1954.cnf.gz,1,4
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2009Unselected/application/SAT09/APPLICATIONS/bitverif/smulo/smulo032.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/palacios/medium/cube-9-h10-unsat.cnf.gz,1,4
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bioinfo/q_query_3_l37_lambda.cnf.gz,1,4
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime9600/hitag2-7-60-0-0xc048b9ebae66e9d-32-SAT.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-2/shuffling-2-s491931010-of-bench-sat04-986.used-as.sat04-1002.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/maris05/Depots/depots3_v01a.shuffled-as.sat05-4017.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-1/shuffling-1-s1841184384-of-bench-sat04-984.used-as.sat04-992.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/rpoc_xits_14_UNKNOWN.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers1_v01i.renamed-as.sat05-3976.cnf.gz,1,4
SAT-Race-2015-CNF/007-80-12.cnf.gz,1,4
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.33.cnf.gz,1,4
SAT-Race-2015-CNF/008-80-8.cnf.gz,1,4
industrial/SAT-Challenge-2012/satrace2008/velev-npe-1.0-9dlx-b71.cnf.gz,1,4
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/crypto/desgen/gss-21-s100.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc/FIFO.used-as.sat04-991.cnf.gz,1,4
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c10nid_s.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/anbulagan/diag-sat/dated-5-19-s.cnf.gz,1,4
industrial/SAT-Race-2008-CNF/een-pico-prop00-75.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-14808.cnf.gz,1,4
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c9nidw.cnf.gz,1,4
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w20-b7.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/kullmann/AES/Benchmarks/32/aes_32_2_keyfind_1.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq2.used-as.sat04-343.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-2/shuffling-2-s515884951-of-bench-sat04-344.used-as.sat04-622.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/blocks-blocks-37-1.120-NOTKNOWN.cnf.gz,1,4
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c7nidw_i.cnf.gz,1,4
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bioinfo/q_query_3_l38_lambda.cnf.gz,1,4
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-128/002.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/barman-pfile08-030.sas.cr.27.cnf.gz,1,4
SAT-Race-2015-CNF/009-80-8.cnf.gz,1,4
SAT-Race-2015-CNF/010-22-144.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry9_ks99a.shuffled-as.sat05-4075.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/blocks-blocks-36-0.170-NOTKNOWN.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-2/shuffling-2-s2102867814-of-bench-sat04-349.used-as.sat04-626.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-1/shuffling-1-s1513542704-of-bench-sat04-338.used-as.sat04-477.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog1_v01i.renamed-as.sat05-3960.cnf.gz,1,4
industrial/SAT-Comp-2003-CNF/simon/sat02/sha2.shuffled-as.sat03-442.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/anbulagan/hard-unsat/partial-10-11-u.cnf.gz,1,4
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-19.cnf.gz,1,4
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.158.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers4_v01a.renamed-as.sat05-3979.cnf.gz,1,4
industrial/SAT-Comp-2011-CNF/fuhs/AProVE11/AProVE11-10.cnf.gz,1,4
industrial/SAT-Comp-2003-CNF/simon/sat02/ip50.shuffled-as.sat03-434.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-2/shuffling-2-s307483067-of-bench-sat04-324.used-as.sat04-592.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-2/shuffling-2-s954892531-of-bench-sat04-355.used-as.sat04-632.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-1/shuffling-1-s37489193-of-bench-sat04-720.used-as.sat04-733.cnf.gz,1,4
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f10nidw.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-1/shuffling-1-s1514628018-of-bench-sat04-424.used-as.sat04-563.cnf.gz,1,4
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-20-U-10652.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-2/shuffling-2-s961664232-of-bench-sat04-430.used-as.sat04-707.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-2/shuffling-2-s1643341322-of-bench-sat04-345.used-as.sat04-623.cnf.gz,1,4
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/11_rule_1/SAT_dat.k85.cnf.gz,1,4
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/11_rule_3/SAT_dat.k95.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/sat_prob_23.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/rpoc_xits_11_UNKNOWN.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-2/shuffling-2-s148068072-of-bench-sat04-726.used-as.sat04-752.cnf.gz,1,4
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/diagnosis/ACG-10-5p0.cnf.gz,1,4
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/24_1_rule_2/SAT_dat.k55.debugged.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/babic/hsatv17/hsat_vc12062.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-2087.cnf.gz,1,4
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/c7552mul.miter.shuffled-as.sat03-347.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/crypto/mizh-md5-48-5.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/anbulagan/diag-sat/dated-5-17-s.cnf.gz,1,4
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/31_2_rule_2/SAT_dat.k80.debugged.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/fuhs/medium/AProVE07-21.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/ak128diagobg2asaig.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers4_v01i.shuffled-as.sat05-4047.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-1/shuffling-1-s1722048485-of-bench-sat04-437.used-as.sat04-576.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/partial-10-19-s.cnf.gz,1,4
industrial/SAT-Challenge-2012/satrace2008/post-cbmc-aes-ee-r3.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-1/shuffling-1-s419401927-of-bench-sat04-364.used-as.sat04-503.cnf.gz,1,4
industrial/SAT-Comp-2009-CNF/SAT_RACE06/manol-pipe-c9.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/anbulagan/medium-sat/total-5-19-s.cnf.gz,1,4
industrial/SAT-Comp-2003-CNF/kukula/addm_bench/am_4_4.shuffled-as.sat03-360.cnf.gz,1,4
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime1200/hitag2-10-60-0-0xdf7fa6426edec07-17.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-1/shuffling-1-s1581706011-of-bench-sat04-335.used-as.sat04-442.cnf.gz,1,4
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w20-b10.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/AProVE07-25.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-2/shuffling-2-s811558295-of-bench-sat04-991.used-as.sat04-1007.cnf.gz,1,4
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2004/2_31_2/IBM_FV_2004_rule_batch_2_31_2_SAT_dat.k45.debugged.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-5377.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog4_ks99i.renamed-as.sat05-3954.cnf.gz,1,4
SAT-Race-2015-CNF/13pipe_q0_k.cnf.gz,1,4
industrial/SAT-Comp-2003-CNF/li/li-test4/li-test4-99.shuffled-as.sat03-377.cnf.gz,1,4
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/26_rule/SAT_dat.k100.cnf.gz,1,4
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-4.045-SAT.cnf.gz,1,4
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-1/shuffling-1-s1485189478-of-bench-sat04-366.used-as.sat04-505.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog3_ks99i.shuffled-as.sat05-4020.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry8_v01i.renamed-as.sat05-4007.cnf.gz,1,4
SAT-Race-2015-CNF/mrpp_4x4#8_8.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers2_v01a.renamed-as.sat05-3977.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/babic/dspam/dspam_dump_vc972.cnf.gz,1,4
industrial/SAT-Comp-2005-CNF/narain05/vpn/clauses-8.shuffled-as.sat05-1969.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/velev-pipe-oun-1.1-05.cnf.gz,1,4
SAT-Comp-2016-CNF/app16/newton.2.3.i.smt2-cvc4.cnf.gz,1,4
industrial/SAT-Comp-2014-CNF/reg_s_2_unknown.cnf.gz,1,4
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/softveri/cbmc/aes_equiv_encry_3_rounds.debugged.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/anbulagan/hard-unsat/total-10-15-u.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/anbulagan/hard-sat/partial-5-19-s.cnf.gz,1,4
industrial/SAT-Comp-2007-CNF/anbulagan/diag-sat/dated-5-15-s.cnf.gz,1,4
SAT-Race-2015-CNF/dimacs.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/manthey/traffic/traffic_f_unknown.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-1/shuffling-1-s285126640-of-bench-sat04-421.used-as.sat04-560.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-1/shuffling-1-s526006719-of-bench-sat04-330.used-as.sat04-447.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check/desmul.miter.used-as.sat04-330.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/anbulagan/diag-sat/dated-5-11-s.cnf.gz,1,5
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtswvrod6x8p2-tseitin.cnf.gz,1,5
SAT-Race-2015-CNF/manthey_DimacsSorterHalf_35_9.cnf.gz,1,5
SAT-Race-2015-CNF/bob12m02-opt.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1/12pipe_bug3_q0.used-as.sat04-722.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-14424.cnf.gz,1,5
industrial/SAT-Comp-2003-CNF/maris/CNF/gripper11u.shuffled-as.sat03-391.cnf.gz,1,5
industrial/SAT-Comp-2014-CNF/rbcl_xits_14_SAT.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/li-test4-95.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-2/shuffling-2-s638988020-of-bench-sat04-319.used-as.sat04-597.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/fuhs/medium/AProVE07-16.cnf.gz,1,5
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_eventlogadm_vc331235-tseitin.cnf.gz,1,5
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime1200/hitag2-10-60-0-0xac23f1205f76343-96.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/barman-pfile10-040.sas.cr.21.cnf.gz,1,5
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.cnf.gz,1,5
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_10_unsat.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/barman-pfile06-022.sas.ex.7.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf.gz,1,5
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/6s133.cnf.gz,1,5
SAT-Race-2015-CNF/62bits_10.dimacs.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-1/shuffling-1-s735218192-of-bench-sat04-329.used-as.sat04-448.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/slp-synthesis-aes-top26.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/sokoban-p09.sas.cr.25.cnf.gz,1,5
SAT-Race-2015-CNF/SAT_dat.k95-24_1_rule_3.cnf.gz,1,5
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite2_ks99i.shuffled-as.sat05-4050.cnf.gz,1,5
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/bivium-exptime12800/bivium-39-200-0s0-0xdcfb6ab71951500b8e460045bd45afee15c87e08b0072eb174-43.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1/12pipe_bug5_q0.used-as.sat04-724.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/maris03/gripper/gripper12.used-as.sat04-423.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-1/shuffling-1-s564272260-of-bench-sat04-988.used-as.sat04-996.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-2/shuffling-2-s1560502144-of-bench-sat04-719.used-as.sat04-745.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/ak128boothboothisc.cnf.gz,1,5
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/11_rule_1/SAT_dat.k80.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/mulhs064.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/leberre/2dimensionalstrippacking/E04F20.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/anbulagan/hard-unsat/total-5-15-u.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/schuppan03/l2s/motors-stuck-2-k314-unsat.used-as.sat04-434.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/crypto/mizh-sha0-35-4.cnf.gz,1,5
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/31_1_rule_1/SAT_dat.k55.debugged.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-1/shuffling-1-s53191867-of-bench-sat04-436.used-as.sat04-575.cnf.gz,1,5
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_14_UNSAT.cnf.gz,1,5
SAT-Race-2015-CNF/post-cbmc-aes-d-r2-noholes.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-28046.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/fuhs/AProVE11/AProVE11-12.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/palacios/medium/emptyroom-4-h22-sat.cnf.gz,1,5
industrial/SAT-Comp-2009-CNF/SAT_RACE08/cnf/cmu-bmc-longmult15.cnf.gz,1,5
industrial/SAT-Comp-2003-CNF/kukula/addm_bench/am_5_5.shuffled-as.sat03-361.cnf.gz,1,5
industrial/SAT-Race-2008-CNF/cmu-bmc-longmult13.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-22556.cnf.gz,1,5
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w44-b8.cnf.gz,1,5
industrial/SAT-Comp-2014-CNF/003-23-80.cnf.gz,1,5
industrial/SAT-Comp-2014-CNF/atco_enc1_opt2_05_4.cnf.gz,1,5
industrial/SAT-Comp-2009-CNF/SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf.gz,1,5
SAT-Race-2015-CNF/MD5-28-1.cnf.gz,1,5
SAT-Race-2015-CNF/mrpp_6x6#14_24.cnf.gz,1,5
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime1200/hitag2-10-60-0-0xa04d664a73eac4d-66.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/safe028_tso.oepc_true-unreach-call.i-cbmc-u2.cnf.gz,1,5
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c6bi_i.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf.gz,1,5
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bioinfo/q_query_3_L60_coli.sat.cnf.gz,1,5
SAT-Race-2015-CNF/manol-pipe-c10nid_i.cnf.gz,1,5
industrial/SAT-Comp-2003-CNF/li/li-test4/li-test4-97.shuffled-as.sat03-375.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-2/shuffling-2-s1765005333-of-bench-sat04-326.used-as.sat04-590.cnf.gz,1,5
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/crypto/desgen/gss-32-s100.cnf.gz,1,5
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/23-96/007.cnf.gz,1,5
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-160/009.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/snw_16_8_preOpt_pre.cnf.gz,1,5
SAT-Race-2015-CNF/manthey_DimacsSorter_31_6.cnf.gz,1,5
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/kullmann/AES/Benchmarks/64/aes_64_1_keyfind_2.cnf.gz,1,5
industrial/SAT-Comp-2003-CNF/maris/CNF/ferry11u.shuffled-as.sat03-381.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/li-exam-63.cnf.gz,1,5
industrial/SAT-Comp-2014-CNF/atco_enc3_opt1_03_53.cnf.gz,1,5
industrial/SAT-Comp-2003-CNF/maris/CNF/gripper14.shuffled-as.sat03-396.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color/inithx.i.1-tr-54.used-as.sat04-325.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/safe029_power.opt_false-unreach-call.i-cbmc-u2.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check/i8mul.miter.used-as.sat04-334.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/crypto/mizh-sha0-35-3.cnf.gz,1,5
industrial/SAT-Comp-2003-CNF/li/li-test4/li-test4-100.shuffled-as.sat03-370.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-2/shuffling-2-s1616118883-of-bench-sat04-718.used-as.sat04-744.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/simon03/sat02/w08_15.used-as.sat04-360.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/gss-24-s100.cnf.gz,1,5
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2004/2_31_2/IBM_FV_2004_rule_batch_2_31_2_SAT_dat.k25.debugged.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-1/shuffling-1-s914569715-of-bench-sat04-360.used-as.sat04-499.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/ibm-2002-23r-k90.cnf.gz,1,5
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/31_1_rule_1/SAT_dat.k40.debugged.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-2/shuffling-2-s709151728-of-bench-sat04-425.used-as.sat04-702.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step15.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/anbulagan/medium-unsat/dated-5-11-u.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/anbulagan/diag-sat/total-10-11-s.cnf.gz,1,5
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/13_rule_1/SAT_dat.k30.cnf.gz,1,5
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog3_v01a.renamed-as.sat05-3963.cnf.gz,1,5
industrial/SAT-Race-2010-CNF/hardware-verification/manolios/c8n_i.cnf.gz,1,5
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-160/003.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/ak064simpbbg2btaig.cnf.gz,1,5
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog2_ks99i.renamed-as.sat05-3952.cnf.gz,1,5
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry6_v01a.shuffled-as.sat05-4065.cnf.gz,1,5
industrial/SAT-Comp-2014-CNF/006-80-4.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-30-step11.cnf.gz,1,5
SAT-Race-2015-CNF/atco_enc1_opt1_10_21.cnf.gz,1,5
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w44-b7.cnf.gz,1,5
industrial/SAT-Race-2008-CNF/ibm-2002-30r-k85.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/snw_16_8_pre.cnf.gz,1,5
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry7_v01a.shuffled-as.sat05-4069.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/custmulun16x16o.cnf.gz,1,5
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray08_32.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/crypto/mizh-md5-47-5.cnf.gz,1,5
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime4800/hitag2-8-60-0-0x880693399044612-25-SAT.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/babic/hsatv17/hsat_vc11813.cnf.gz,1,5
SAT-Race-2015-CNF/mrpp_8x8#18_20.cnf.gz,1,5
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w46-b7.cnf.gz,1,5
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry8_ks99a.renamed-as.sat05-4004.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/leberre/2dimensionalstrippacking/E02F17.cnf.gz,1,5
SAT-Race-2015-CNF/56bits_12.dimacs.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/fuhs/medium/AProVE07-04.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1/12pipe_bug9_q0.used-as.sat04-728.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/ak032diagodiagoisc.cnf.gz,1,5
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers2_v01a.shuffled-as.sat05-4044.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/manolios/manol-pipe-f9n.cnf.gz,1,5
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c10n.cnf.gz,1,5
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite2_v01i.shuffled-as.sat05-4055.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom20.cnf.gz,1,5
industrial/SAT-Comp-2014-CNF/hitag2-10-60-0-0x0ffdbe60727f161-57.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/homer17.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/traffic_3_uc_sat.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/babic/xinetd/itox_vc1033.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/ablmulub16x4o.cnf.gz,1,5
SAT-Race-2015-CNF/mrpp_6x6#12_16.cnf.gz,1,5
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers2_v01i.renamed-as.sat05-3978.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/fuhs/medium/AProVE07-09.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/babic/dspam/dspam_dump_vc973.cnf.gz,1,5
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f9.cnf.gz,1,5
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-18-U-10652.cnf.gz,1,5
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/nonopt/bob12s06.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/fuhs/AProVE11/AProVE11-02.cnf.gz,1,5
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand128.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/sokoban-p20.sas.cr.33.cnf.gz,1,5
industrial/SAT-Comp-2014-CNF/005-22-160.cnf.gz,1,5
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_9_unsat.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf.gz,1,5
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry7_ks99a.shuffled-as.sat05-4067.cnf.gz,1,5
SAT-Race-2015-CNF/6s131-opt.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/sin2.c.2.smt2-cvc4.cnf.gz,1,5
SAT-Race-2015-CNF/54bits_13.dimacs.cnf.gz,1,5
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_eventlogadm_vc352372-tseitin.cnf.gz,1,5
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry8_v01a.shuffled-as.sat05-4073.cnf.gz,1,5
SAT-Race-2015-CNF/mrpp_8x8#22_11.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/narain/clauses-2.cnf.gz,1,5
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2004/1_31_2/IBM_FV_2004_rule_batch_1_31_2_SAT_dat.k95.debugged.cnf.gz,1,5
SAT-Race-2015-CNF/008-80-4.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-1/shuffling-1-s1771355652-of-bench-sat04-989.used-as.sat04-997.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/AProVE11-06.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/maris03/gripper/gripper11.used-as.sat04-421.cnf.gz,1,5
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.8.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-2/shuffling-2-s162517441-of-bench-sat04-987.used-as.sat04-1003.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/babic/xinetd/itox_vc965.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/fuhs/hard/AProVE07-26.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/Sz512_15127_5.smt2-stp212.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-2/shuffling-2-s125784644-of-bench-sat04-352.used-as.sat04-629.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/gss-27-s100.cnf.gz,1,5
industrial/SAT-Comp-2007-CNF/fuhs/medium/AProVE07-02.cnf.gz,1,5
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite1_ks99i.renamed-as.sat05-3982.cnf.gz,1,5
industrial/SAT-Comp-2003-CNF/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf.gz,1,5
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w42-b8.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-1/shuffling-1-s32798078-of-bench-sat04-359.used-as.sat04-498.cnf.gz,1,5
industrial/SAT-Comp-2003-CNF/simon/sat02/sha1.shuffled-as.sat03-441.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-6336.cnf.gz,1,5
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/leberre/2dimensionalstrippacking/E04F17.cnf.gz,1,5
SAT-Race-2015-CNF/atco_enc1_opt2_20_12.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-2/shuffling-2-s1401914502-of-bench-sat04-353.used-as.sat04-630.cnf.gz,1,5
SAT-Race-2015-CNF/mrpp_8x8#12_9.cnf.gz,1,5
SAT-Race-2015-CNF/AProVE07-27.cnf.gz,1,5
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-128/001.cnf.gz,1,5
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry5_v01i.renamed-as.sat05-3995.cnf.gz,1,5
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c10id.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-1876.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom16.cnf.gz,1,5
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-22.cnf.gz,1,5
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/diagnosis/UTI-10-10p0.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/podwr001_power.opt_false-unreach-call.i-cbmc-u2.cnf.gz,1,5
industrial/SAT-Comp-2003-CNF/simon/sat02/cnf-r4-b1-k1.1-comp.shuffled-as.sat03-416.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-2/shuffling-2-s928541943-of-bench-sat04-316.used-as.sat04-600.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-1/shuffling-1-s156786317-of-bench-sat04-722.used-as.sat04-735.cnf.gz,1,5
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2004/3_11/IBM_FV_2004_rule_batch_3_11_SAT_dat.k100.cnf.gz,1,5
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-2/shuffling-2-s309728486-of-bench-sat04-729.used-as.sat04-755.cnf.gz,1,5
SAT-Comp-2016-CNF/app16/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf.gz,1,5
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2004/26/IBM_FV_2004_rule_batch_26_SAT_dat.k90.cnf.gz,1,5
industrial/SAT-Comp-2011-CNF/leberre/2dimensionalstrippacking/E07N15.cnf.gz,1,5
SAT-Race-2015-CNF/hitag2-8-60-0-0x1eb82244d7f1c3c-47.cnf.gz,1,5
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT09/APPLICATIONS/diagnosis/ACG-10-10p0.cnf.gz,1,5
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry8_ks99i.shuffled-as.sat05-4072.cnf.gz,1,5
SAT-Race-2015-CNF/50bits_11.dimacs.cnf.gz,1,5
SAT-Race-2015-CNF/mrpp_8x8#24_11.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-1/shuffling-1-s833081156-of-bench-sat04-343.used-as.sat04-482.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry7_ks99i.renamed-as.sat05-4001.cnf.gz,1,6
SAT-Race-2015-CNF/hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf.gz,1,6
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/diagnosis/UTI-15-10p1.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-1/shuffling-1-s1179492673-of-bench-sat04-362.used-as.sat04-501.cnf.gz,1,6
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w50-b6.cnf.gz,1,6
industrial/SAT-Comp-2011-CNF/leberre/2dimensionalstrippacking/E03N17.cnf.gz,1,6
industrial/SAT-Comp-2007-CNF/babic/dspam/dspam_dump_vc1080.cnf.gz,1,6
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/31_2_rule_2/SAT_dat.k100.debugged.cnf.gz,1,6
industrial/SAT-Comp-2003-CNF/simon/sat02/f2clk_50.shuffled-as.sat03-425.cnf.gz,1,6
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-src_wget_vc17912-tseitin.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/test_v5_r5_vr1_c1_s15604.smt2-stp212.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-2/shuffling-2-s957167688-of-bench-sat04-720.used-as.sat04-746.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog6_v01a.renamed-as.sat05-3968.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry10_v01a.shuffled-as.sat05-4060.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/safe009_pso.oepc_true-unreach-call.i-cbmc-u2.cnf.gz,1,6
SAT-Race-2015-CNF/atco_enc3_opt2_10_12.cnf.gz,1,6
industrial/SAT-Comp-2003-CNF/simon/sat02/dp11u10.shuffled-as.sat03-422.cnf.gz,1,6
SAT-Race-2015-CNF/UR-20-10p0.cnf.gz,1,6
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/beempgsol2b1.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/Sz512_15127_1.smt2-stp212.cnf.gz,1,6
industrial/SAT-Comp-2014-CNF/SAT_dat.k30-30_rule.cnf.gz,1,6
SAT-Race-2015-CNF/MD5-29-4.cnf.gz,1,6
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c10bi.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/li-test4-99.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/maxor128.cnf.gz,1,6
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/blocks-blocks-36-0.160-NOTKNOWN.cnf.gz,1,6
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/g9nidw.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/ak064modasbg2asisc.cnf.gz,1,6
industrial/SAT-Comp-2003-CNF/simon/sat02/cnt10.shuffled-as.sat03-418.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/ctl_3791_556_unsat.cnf.gz,1,6
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2009Unselected/application/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-08.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/gus-md5-12.cnf.gz,1,6
industrial/SAT-Comp-2007-CNF/grieu/vmpc_28.cnf.gz,1,6
industrial/SAT-Comp-2014-CNF/bob12m04.cnf.gz,1,6
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w44-b6.cnf.gz,1,6
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/31_1_rule_1/SAT_dat.k35.debugged.cnf.gz,1,6
industrial/SAT-Comp-2014-CNF/q_query_3_L100_coli.sat.cnf.gz,1,6
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_12_unsat_pre.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-2/shuffling-2-s319656492-of-bench-sat04-426.used-as.sat04-703.cnf.gz,1,6
SAT-Race-2015-CNF/6s130-opt.cnf.gz,1,6
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2009Unselected/application/SAT09/APPLICATIONS/diagnosis/ACG-10-10p1.cnf.gz,1,6
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/mironov-zhang/sha0_36_1.cnf.gz,1,6
SAT-Race-2015-CNF/gss-18-s100.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_34.shuffled-as.sat05-1958.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-2/shuffling-2-s340247357-of-bench-sat04-361.used-as.sat04-638.cnf.gz,1,6
industrial/SAT-Comp-2007-CNF/palacios/uts/uts-l05-ipc5-h26-unsat.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-1/shuffling-1-s1938802273-of-bench-sat04-312.used-as.sat04-465.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/Depots/depots2_ks99i.shuffled-as.sat05-4011.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-2/shuffling-2-s1330526887-of-bench-sat04-320.used-as.sat04-596.cnf.gz,1,6
SAT-Race-2015-CNF/ACG-20-5p0.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite4_v01a.shuffled-as.sat05-4058.cnf.gz,1,6
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-160/008.cnf.gz,1,6
SAT-Race-2015-CNF/manthey_DimacsSorter_28_3.cnf.gz,1,6
industrial/SAT-Comp-2007-CNF/manolios/manol-pipe-f10ni.cnf.gz,1,6
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/crypto/desgen/gss-13-s100.cnf.gz,1,6
SAT-Race-2015-CNF/UCG-20-5p0.cnf.gz,1,6
industrial/SAT-Race-2008-CNF/ibm-2002-31_1r3-k30.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/C168_FW_UT_518.cnf.gz,1,6
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_20_SAT.cnf.gz,1,6
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bitverif/minor/minor064.cnf.gz,1,6
SAT-Race-2015-CNF/010-80-12.cnf.gz,1,6
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/blocks-blocks-36-0.180-SAT.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_35.renamed-as.sat05-1921.cnf.gz,1,6
SAT-Race-2015-CNF/mrpp_6x6#16_9.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/newton.5.1.i.smt2-cvc4.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-2/shuffling-2-s1616009971-of-bench-sat04-315.used-as.sat04-601.cnf.gz,1,6
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-04.cnf.gz,1,6
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/g10bi.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1/12pipe_bug7_q0.used-as.sat04-726.cnf.gz,1,6
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-06.cnf.gz,1,6
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/c32sat/post-c32s-col400-16.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog7_ks99i.renamed-as.sat05-3957.cnf.gz,1,6
SAT-Race-2015-CNF/42bits_12.dimacs.cnf.gz,1,6
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2004/3_31_1/IBM_FV_2004_rule_batch_3_31_1_SAT_dat.k35.debugged.cnf.gz,1,6
industrial/SAT-Comp-2014-CNF/rbcl_xits_08_UNSAT.cnf.gz,1,6
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf.gz,1,6
SAT-Race-2015-CNF/48bits_11.dimacs.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/g250.29.cnf.gz,1,6
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/crypto/desgen/gss-14-s100.cnf.gz,1,6
industrial/SAT-Comp-2013-CNF/SC13_submissions/heule_weaver--arc4/arcfour_initialPermutation_6_56.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/sokoban-p20.sas.cr.31.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-1/shuffling-1-s315487131-of-bench-sat04-322.used-as.sat04-455.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/narain05/vpn/clauses-2.shuffled-as.sat05-1966.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/Depots/depots3_ks99i.shuffled-as.sat05-4012.cnf.gz,1,6
SAT-Race-2015-CNF/003-80-8.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers1_v01a.renamed-as.sat05-3975.cnf.gz,1,6
SAT-Race-2015-CNF/post-c32s-ss-8.cnf.gz,1,6
industrial/SAT-Comp-2011-CNF/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step21.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-2/shuffling-2-s671567988-of-bench-sat04-311.used-as.sat04-605.cnf.gz,1,6
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/23-64/004.cnf.gz,1,6
SAT-Race-2015-CNF/complete-500-0.1-15-98765432150015.cnf.gz,1,6
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_12_UNKNOWN.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-1/shuffling-1-s74924153-of-bench-sat04-315.used-as.sat04-462.cnf.gz,1,6
industrial/SAT-Challenge-2012/satrace2008/een-tip-sat-nusmv-t5.B.cnf.gz,1,6
industrial/SAT-Race-2010-CNF/mixed/bioinf/q_query_3_l45_lambda.cnf.gz,1,6
industrial/SAT-Comp-2007-CNF/crypto/mizh-sha0-35-5.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite1_v01a.renamed-as.sat05-3985.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-2/shuffling-2-s1182968979-of-bench-sat04-332.used-as.sat04-584.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry9_v01a.shuffled-as.sat05-4076.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-2/shuffling-2-s993306987-of-bench-sat04-366.used-as.sat04-643.cnf.gz,1,6
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/c3540mul.miter.shuffled-as.sat03-345.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/sokoban-p20.sas.ex.13.cnf.gz,1,6
industrial/SAT-Comp-2014-CNF/complete-300-0.1-8-9876543213008.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-2/shuffling-2-s1727927196-of-bench-sat04-360.used-as.sat04-637.cnf.gz,1,6
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f10id.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog7_ks99i.shuffled-as.sat05-4024.cnf.gz,1,6
SAT-Race-2015-CNF/manthey_DimacsSorterHalf_36_0.cnf.gz,1,6
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT_RACE06/ibm-2002-21r-k95.cnf.gz,1,6
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/6s9.cnf.gz,1,6
SAT-Race-2015-CNF/atco_enc1_opt2_10_14.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-2/shuffling-2-s85307076-of-bench-sat04-728.used-as.sat04-754.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/Sz1024_34824.smt2-stp212.cnf.gz,1,6
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2009Unselected/application/SAT09/APPLICATIONS/diagnosis/ACG-15-5p0.cnf.gz,1,6
SAT-Race-2015-CNF/manthey_DimacsSorter_35_1.cnf.gz,1,6
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/bob12m06.cnf.gz,1,6
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-top25.cnf.gz,1,6
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_6_unsat.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-2/shuffling-2-s600266287-of-bench-sat04-431.used-as.sat04-708.cnf.gz,1,6
industrial/SAT-Comp-2014-CNF/IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-21438.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/e2_2.c.smt2-cvc4.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/ak128boothbg2btisc.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers5_ks99i.shuffled-as.sat05-4041.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/mizh-md5-47-3.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/rbcl_xits_11_UNKNOWN.cnf.gz,1,6
SAT-Race-2015-CNF/manthey_DimacsSorterHalf_31_2.cnf.gz,1,6
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom22.cnf.gz,1,6
SAT-Race-2015-CNF/dated-10-13-u.cnf.gz,1,6
SAT-Race-2015-CNF/aes_id.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/sat_prob_143.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog4_v01a.shuffled-as.sat05-4032.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite2_ks99i.renamed-as.sat05-3983.cnf.gz,1,6
SAT-Race-2015-CNF/mrpp_8x8#8_9.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_29.shuffled-as.sat05-1948.cnf.gz,1,6
industrial/SAT-Comp-2011-CNF/kullmann/AES/Benchmarks/32/aes_32_4_keyfind_1.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-2/shuffling-2-s1480152728-of-bench-sat04-434.used-as.sat04-711.cnf.gz,1,6
industrial/SAT-Comp-2014-CNF/8pipe_k.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-2/shuffling-2-s1548269416-of-bench-sat04-346.used-as.sat04-624.cnf.gz,1,6
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w50-b7.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers4_v01a.shuffled-as.sat05-4046.cnf.gz,1,6
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/31_2_rule_2/SAT_dat.k90.debugged.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/li03/li-exam-shuffling-1/shuffling-1-s1899190794-of-bench-sat04-304.used-as.sat04-473.cnf.gz,1,6
industrial/SAT-Comp-2007-CNF/palacios/medium/sortnet-7-ipc5-h16-sat.cnf.gz,1,6
industrial/SAT-Comp-2007-CNF/palacios/uts/uts-l06-ipc5-h34-unknown.cnf.gz,1,6
industrial/SAT-Comp-2007-CNF/grieu/vmpc_25.cnf.gz,1,6
SAT-Race-2015-CNF/11pipe_k.cnf.gz,1,6
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand032.cnf.gz,1,6
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-top24.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-2/shuffling-2-s388109912-of-bench-sat04-337.used-as.sat04-579.cnf.gz,1,6
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.135.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-1/shuffling-1-s957317036-of-bench-sat04-986.used-as.sat04-994.cnf.gz,1,6
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/20_rule/SAT_dat.k90.debugged.cnf.gz,1,6
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-1/shuffling-1-s1666656867-of-bench-sat04-427.used-as.sat04-566.cnf.gz,1,6
industrial/SAT-Comp-2007-CNF/palacios/uts/uts-l06-ipc5-h29-unknown.cnf.gz,1,6
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/bivium-exptime12800/bivium-39-200-0s0-0x163b785faa4bfb1b3b894a9206768a6c3d5d6f038b3797c4c2-99.cnf.gz,1,6
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bioinfo/q_query_3_L70_coli.sat.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/eq.atree.braun.13.unsat.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/aes_64_3_keyfind_1.cnf.gz,1,6
industrial/SAT-Comp-2014-CNF/complete-400-0.1-7-9876543214007.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers4_ks99i.renamed-as.sat05-3973.cnf.gz,1,6
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w18-b8.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-2/shuffling-2-s1672286451-of-bench-sat04-331.used-as.sat04-585.cnf.gz,1,6
industrial/SAT-Comp-2014-CNF/MD5-30-2.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-1/shuffling-1-s267419589-of-bench-sat04-419.used-as.sat04-558.cnf.gz,1,6
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_7_unsat.cnf.gz,1,6
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w28-b8.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/li03/li-exam-shuffling-2/shuffling-2-s669678138-of-bench-sat04-304.used-as.sat04-612.cnf.gz,1,6
industrial/SAT-Comp-2014-CNF/velev-vliw-uns-4.0-9.cnf.gz,1,6
SAT-Race-2015-CNF/58bits_10.dimacs.cnf.gz,1,6
SAT-Race-2015-CNF/manthey_DimacsSorter_28_7.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-1/shuffling-1-s747993272-of-bench-sat04-429.used-as.sat04-568.cnf.gz,1,6
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f10i.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-1/shuffling-1-s339618419-of-bench-sat04-361.used-as.sat04-500.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-1/shuffling-1-s1667165673-of-bench-sat04-723.used-as.sat04-736.cnf.gz,1,6
SAT-Race-2015-CNF/UCG-20-10p1.cnf.gz,1,6
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime1200/hitag2-10-60-0-0x2201a94920a2d2e-8.cnf.gz,1,6
industrial/SAT-Comp-2007-CNF/anbulagan/medium-unsat/dated-10-15-u.cnf.gz,1,6
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ele-noholes.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-1/shuffling-1-s1521634232-of-bench-sat04-336.used-as.sat04-441.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry8_v01a.renamed-as.sat05-4006.cnf.gz,1,6
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c6bidw.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-2/shuffling-2-s644021767-of-bench-sat04-362.used-as.sat04-639.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/UTI-20-10p1.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/li03/li-test4/li-test4-94.used-as.sat04-313.cnf.gz,1,6
SAT-Race-2015-CNF/aes_32_2_keyfind_1.cnf.gz,1,6
industrial/SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq46_a.cnf.gz,1,6
SAT-Race-2015-CNF/SAT_dat.k90.debugged.cnf.gz,1,6
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/bob12s02.cnf.gz,1,6
industrial/SAT-Comp-2003-CNF/maris/CNF/hanoi4.shuffled-as.sat03-398.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-1/shuffling-1-s562318426-of-bench-sat04-420.used-as.sat04-559.cnf.gz,1,6
SAT-Race-2015-CNF/6s167-opt.cnf.gz,1,6
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/bivium-exptime6400/bivium-40-200-0s0-0xd447c33176b6b675fd5f8dc3a5deda46569dc34eedf37da020-6.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-1/shuffling-1-s147121172-of-bench-sat04-433.used-as.sat04-572.cnf.gz,1,6
industrial/SAT-Comp-2011-CNF/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf.gz,1,6
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check/c6288mul.miter.used-as.sat04-328.cnf.gz,1,6
SAT-Comp-2016-CNF/app16/li-exam-62.cnf.gz,1,6
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry6_ks99i.renamed-as.sat05-3997.cnf.gz,1,7
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf.gz,1,7
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w48-b8.cnf.gz,1,7
industrial/SAT-Comp-2003-CNF/maris/CNF/ferry8.shuffled-as.sat03-384.cnf.gz,1,7
SAT-Race-2015-CNF/atco_enc3_opt2_10_14.cnf.gz,1,7
industrial/SAT-Comp-2014-CNF/atco_enc2_opt1_10_21.cnf.gz,1,7
SAT-Race-2015-CNF/manthey_DimacsSorter_37_3.cnf.gz,1,7
industrial/SAT-Comp-2009-CNF/SAT_RACE06/velev-live-uns-2.0-ebuf.cnf.gz,1,7
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-07.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/rbcl_xits_13_UNKNOWN.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/partial-10-19-u.cnf.gz,1,7
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_10_UNKNOWN.cnf.gz,1,7
industrial/SAT-Comp-2007-CNF/anbulagan/diag-sat/total-10-13-s.cnf.gz,1,7
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-2-U-9007.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/am_7_7.shuffled-as.sat03-363.cnf.gz,1,7
industrial/SAT-Race-2010-CNF/cryptography/md5gen/gus-md5-09.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/satelite/tip_bmc:sat_nusmv.tcas-t^5.B.cnf.gz,1,7
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_3082_415_unsat.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f8idw.cnf.gz,1,7
industrial/SAT-Comp-2007-CNF/fuhs/hard/AProVE07-01.cnf.gz,1,7
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_22.renamed-as.sat05-1924.cnf.gz,1,7
industrial/SAT-Comp-2011-CNF/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step14.cnf.gz,1,7
SAT-Race-2015-CNF/MD5-29-2.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-innfeed_innfeed_vc36608-tseitin.cnf.gz,1,7
industrial/SAT-Comp-2007-CNF/manolios/manol-pipe-g10nid.cnf.gz,1,7
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_23.renamed-as.sat05-1927.cnf.gz,1,7
industrial/SAT-Comp-2007-CNF/palacios/medium/blocks-4-ipc5-h21-unknown.cnf.gz,1,7
industrial/SAT-Comp-2003-CNF/maris/CNF/gripper13.shuffled-as.sat03-394.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-1/shuffling-1-s652240044-of-bench-sat04-431.used-as.sat04-570.cnf.gz,1,7
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite4_v01a.renamed-as.sat05-3991.cnf.gz,1,7
industrial/SAT-Comp-2007-CNF/anbulagan/hard-unsat/total-10-17-u.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-2/shuffling-2-s146112674-of-bench-sat04-328.used-as.sat04-588.cnf.gz,1,7
SAT-Race-2015-CNF/UCG-15-10p1.cnf.gz,1,7
industrial/SAT-Comp-2005-CNF/narain05/vpn/clauses-6.shuffled-as.sat05-1968.cnf.gz,1,7
industrial/SAT-Comp-2011-CNF/fuhs/AProVE11/AProVE11-07.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/newton.2.3.i.smt2-stp212.cnf.gz,1,7
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/crypto/desgen/gss-17-s100.cnf.gz,1,7
industrial/SAT-Comp-2014-CNF/SAT_dat.k85-24_1_rule_1.cnf.gz,1,7
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w40-b8.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c10ni.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/14_rule_2/SAT_dat.k90.cnf.gz,1,7
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_25.shuffled-as.sat05-1945.cnf.gz,1,7
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-24.cnf.gz,1,7
industrial/SAT-Comp-2014-CNF/004-22-144.cnf.gz,1,7
SAT-Race-2015-CNF/mrpp_8x8#24_24.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/par32-1-c.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-1/shuffling-1-s590994361-of-bench-sat04-313.used-as.sat04-464.cnf.gz,1,7
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog2_v01i.shuffled-as.sat05-4029.cnf.gz,1,7
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/b04_s_unknown_pre.cnf.gz,1,7
industrial/SAT-Race-2008-CNF/ibm-2004-29-k25.cnf.gz,1,7
SAT-Race-2015-CNF/6s16.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/sokoban-p04.sas.ex.13.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-2/shuffling-2-s954929066-of-bench-sat04-347.used-as.sat04-625.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/ak128modasbg2asisc.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/e2_1.c.smt2-stp212.cnf.gz,1,7
industrial/SAT-Comp-2007-CNF/babic/hsatv17/hsat_vc12016.cnf.gz,1,7
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime9600/hitag2-7-60-0-0xe97b5f1bee04d70-47.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/snw_16_9_CCSpreOptpre.cnf.gz,1,7
industrial/SAT-Race-2010-CNF/software-verification/bitverif/countbitsrotate128.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/sat_prob_83.cnf.gz,1,7
industrial/SAT-Challenge-2012/satrace2008/ibm-2002-18r-k90.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-1/shuffling-1-s1607689246-of-bench-sat04-351.used-as.sat04-490.cnf.gz,1,7
SAT-Race-2015-CNF/bjrb07amba10andenv.cnf.gz,1,7
industrial/SAT-Comp-2014-CNF/stable-400-0.1-2-9876543214002.cnf.gz,1,7
industrial/SAT-Comp-2014-CNF/ACG-15-10p1.cnf.gz,1,7
industrial/SAT-Comp-2003-CNF/li/li-test4/li-test4-98.shuffled-as.sat03-376.cnf.gz,1,7
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.46.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/velev/pipe_unsat_1.0/6pipe_k.cnf.gz,1,7
SAT-Race-2015-CNF/manthey_DimacsSorter_30_5.cnf.gz,1,7
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_2_unsat_pre.cnf.gz,1,7
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.35.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-2/shuffling-2-s711661477-of-bench-sat04-989.used-as.sat04-1005.cnf.gz,1,7
SAT-Race-2015-CNF/aes_24_4_keyfind_5.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/velev/pipe_unsat_1.0/12pipe_k.cnf.gz,1,7
industrial/SAT-Comp-2009-CNF/SAT_RACE06/manol-pipe-g10id.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/add_01_1000_4.smt2-cvc4.cnf.gz,1,7
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog5_v01a.renamed-as.sat05-3967.cnf.gz,1,7
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.080-SAT.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/simon03/sat02/f2clk_40.used-as.sat04-364.cnf.gz,1,7
industrial/SAT-Comp-2014-CNF/9vliw_m_9stages_iq3_C1_bug3.cnf.gz,1,7
industrial/SAT-Comp-2003-CNF/maris/CNF/hanoi5.shuffled-as.sat03-400.cnf.gz,1,7
SAT-Race-2015-CNF/mrpp_8x8#22_20.cnf.gz,1,7
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bioinfo/q_query_3_l40_lambda.cnf.gz,1,7
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/diagnosis/UCG-10-5p0.cnf.gz,1,7
SAT-Race-2015-CNF/mrpp_6x6#18_12.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf.gz,1,7
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-144/002.cnf.gz,1,7
industrial/SAT-Comp-2007-CNF/palacios/hard/sortnet-6-ipc5-h11-unsat.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-1/shuffling-1-s2015158897-of-bench-sat04-358.used-as.sat04-497.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/kukula03/addm_benchs-shuffling-2/shuffling-2-s192031989-of-bench-sat04-342.used-as.sat04-620.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/E00N23.cnf.gz,1,7
industrial/SAT-Comp-2009-CNF/SAT_RACE08/cnf/mizh-sha0-36-4.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT05/industrial/narain05/vpn/clauses-8.renamed-as.sat05-1964.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check/dalumul.miter.used-as.sat04-329.cnf.gz,1,7
industrial/SAT-Comp-2003-CNF/simon/sat02/ip38.shuffled-as.sat03-433.cnf.gz,1,7
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.117.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/11_rule_1/SAT_dat.k90.cnf.gz,1,7
industrial/SAT-Comp-2007-CNF/anbulagan/medium-unsat/total-5-11-u.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/snw_13_8_CCSpreOptEncpre.cnf.gz,1,7
industrial/SAT-Comp-2007-CNF/palacios/uts/uts-l06-ipc5-h31-unknown.cnf.gz,1,7
SAT-Race-2015-CNF/6s165-nonopt.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/ak064paralparalisc.cnf.gz,1,7
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-128/003.cnf.gz,1,7
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.136.cnf.gz,1,7
industrial/SAT-Comp-2014-CNF/gss-25-s100.cnf.gz,1,7
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w46-b9.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-11953.cnf.gz,1,7
SAT-Race-2015-CNF/complete-500-0.1-1-9876543215001.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-2/shuffling-2-s376420895-of-bench-sat04-984.used-as.sat04-1000.cnf.gz,1,7
industrial/SAT-Comp-2013-CNF/SC13_submissions/heule_weaver--arc4/arcfour_initialPermutation_6_24.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/partial-5-15-u.cnf.gz,1,7
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_10_UNSAT.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/eq.atree.braun.11.unsat.cnf.gz,1,7
industrial/SAT-Comp-2009-CNF/SAT_RACE06/een-tip-uns-nusmv-t5.B.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/11_rule_3/SAT_dat.k100.cnf.gz,1,7
SAT-Race-2015-CNF/q_query_3_L150_coli.sat.cnf.gz,1,7
industrial/SAT-Comp-2014-CNF/maxxor032.cnf.gz,1,7
SAT-Race-2015-CNF/manthey_DimacsSorterHalf_37_8.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libmsrpc_vc1225297-tseitin.cnf.gz,1,7
industrial/SAT-Comp-2014-CNF/atco_enc2_opt2_05_4.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/korf-18.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/kukula03/addm_benchs-shuffling-1/shuffling-1-s1628049261-of-bench-sat04-339.used-as.sat04-478.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/k_unsat.cnf.gz,1,7
industrial/SAT-Race-2010-CNF/hardware-verification/manolios/c8idw_s.cnf.gz,1,7
industrial/SAT-Comp-2007-CNF/anbulagan/hard-unsat/partial-5-13-u.cnf.gz,1,7
SAT-Race-2015-CNF/mrpp_8x8#18_12.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf.gz,1,7
industrial/SAT-Comp-2014-CNF/MD5-28-2.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/sortnet-8-ipc5-h18-unsat.cnf.gz,1,7
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf.gz,1,7
SAT-Race-2015-CNF/manthey_DimacsSorterHalf_30_0.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-2/shuffling-2-s1151462259-of-bench-sat04-723.used-as.sat04-749.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-1/shuffling-1-s1856380600-of-bench-sat04-314.used-as.sat04-463.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/rpoc_xits_09_UNSAT.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color/abb313GPIA-8-c.used-as.sat04-314.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-1/shuffling-1-s2049964664-of-bench-sat04-432.used-as.sat04-571.cnf.gz,1,7
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ee-r3-noholes.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c10bid.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-2/shuffling-2-s1024720616-of-bench-sat04-433.used-as.sat04-710.cnf.gz,1,7
industrial/SAT-Comp-2014-CNF/006-23-80.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-1/shuffling-1-s1354984697-of-bench-sat04-434.used-as.sat04-573.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/mironov-zhang/md5_48_4.cnf.gz,1,7
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers2_ks99i.shuffled-as.sat05-4039.cnf.gz,1,7
SAT-Race-2015-CNF/10pipe_q0_k.cnf.gz,1,7
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/dalumul.miter.shuffled-as.sat03-349.cnf.gz,1,7
SAT-Race-2015-CNF/manthey_DimacsSorter_36_4.cnf.gz,1,7
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry9_v01a.renamed-as.sat05-4009.cnf.gz,1,7
industrial/SAT-Comp-2014-CNF/MD5-30-4.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-1/shuffling-1-s1891661652-of-bench-sat04-325.used-as.sat04-452.cnf.gz,1,7
industrial/SAT-Comp-2003-CNF/schuppan/l2s/motors-stuck-1-k407-unsat.shuffled-as.sat03-409.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2004/07/IBM_FV_2004_rule_batch_07_SAT_dat.k90.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-2/shuffling-2-s177435489-of-bench-sat04-335.used-as.sat04-581.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-1/shuffling-1-s1322003189-of-bench-sat04-344.used-as.sat04-483.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-1/shuffling-1-s1615066517-of-bench-sat04-717.used-as.sat04-730.cnf.gz,1,7
industrial/SAT-Comp-2007-CNF/anbulagan/medium-sat/partial-5-13-s.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-1/shuffling-1-s1573688530-of-bench-sat04-321.used-as.sat04-456.cnf.gz,1,7
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry6_v01i.shuffled-as.sat05-4066.cnf.gz,1,7
SAT-Race-2015-CNF/bob12s02.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/kukula03/addm_benchs-shuffling-2/shuffling-2-s544294839-of-bench-sat04-341.used-as.sat04-619.cnf.gz,1,7
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w12-b6.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/fuhs/AProVE11/AProVE11-05.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-1/shuffling-1-s672513749-of-bench-sat04-729.used-as.sat04-742.cnf.gz,1,7
SAT-Race-2015-CNF/complete-500-0.1-8-9876543215008.cnf.gz,1,7
industrial/SAT-Comp-2011-CNF/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf.gz,1,7
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-17.cnf.gz,1,7
SAT-Race-2015-CNF/atco_enc2_opt2_20_11.cnf.gz,1,7
industrial/SAT-Race-2010-CNF/software-verification/bitverif/countbitsarray02_32.cnf.gz,1,7
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_31.shuffled-as.sat05-1950.cnf.gz,1,7
SAT-Race-2015-CNF/aaai10-planning-ipc5-pathways-17-step20.cnf.gz,1,7
SAT-Race-2015-CNF/62bits_11.dimacs.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/simon03/sat02bis/dp11u10.used-as.sat04-357.cnf.gz,1,7
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w20-b8.cnf.gz,1,7
industrial/SAT-Comp-2003-CNF/kukula/addm_bench/am_9_9.shuffled-as.sat03-365.cnf.gz,1,7
industrial/SAT-Comp-2011-CNF/leberre/2dimensionalstrippacking/E04F19.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-1/shuffling-1-s242737891-of-bench-sat04-353.used-as.sat04-492.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/safe027_pso.opt_true-unreach-call.i-cbmc-u2.cnf.gz,1,7
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f6bidw.cnf.gz,1,7
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry6_ks99a.shuffled-as.sat05-4063.cnf.gz,1,7
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_21.shuffled-as.sat05-1955.cnf.gz,1,7
industrial/SAT-Comp-2003-CNF/kukula/addm_bench/am_8_8.shuffled-as.sat03-364.cnf.gz,1,7
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w24-b7.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/sat_prob_63.cnf.gz,1,7
SAT-Race-2015-CNF/48bits_12.dimacs.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/mulhs016.cnf.gz,1,7
industrial/SAT-Comp-2009-CNF/SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug5.cnf.gz,1,7
SAT-Race-2015-CNF/k2fix_gr_rcs_w9.shuffled.cnf.gz,1,7
industrial/SAT-Challenge-2012/satrace2008/marijn-philips.cnf.gz,1,7
SAT-Race-2015-CNF/mrpp_6x6#16_12.cnf.gz,1,7
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry8_ks99a.shuffled-as.sat05-4071.cnf.gz,1,7
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf.gz,1,7
industrial/SAT-Comp-2011-CNF/manthey/traffic/traffic_kkb_unknown.cnf.gz,1,7
industrial/SAT-Comp-2003-CNF/maris/CNF/ferry10u.shuffled-as.sat03-379.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/simon03/sat02/w08_14.used-as.sat04-359.cnf.gz,1,7
industrial/SAT-Comp-2007-CNF/palacios/hard/sortnet-8-ipc5-h19-sat.cnf.gz,1,7
industrial/SAT-Comp-2003-CNF/simon/sat02/homer18.shuffled-as.sat03-429.cnf.gz,1,7
SAT-Comp-2016-CNF/app16/maxxororand032.cnf.gz,1,7
industrial/SAT-Comp-2007-CNF/fuhs/medium/AProVE07-22.cnf.gz,1,7
industrial/SAT-Comp-2014-CNF/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.020-NOTKNOWN.cnf.gz,1,7
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-2/shuffling-2-s757623650-of-bench-sat04-428.used-as.sat04-705.cnf.gz,1,7
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w46-b8.cnf.gz,1,8
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry7_v01i.shuffled-as.sat05-4070.cnf.gz,1,8
industrial/SAT-Comp-2007-CNF/palacios/hard/safe-50-h50-sat.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f8n.cnf.gz,1,8
industrial/SAT-Comp-2014-CNF/6s137.cnf.gz,1,8
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-11.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/maris/CNF/gripper13u.shuffled-as.sat03-395.cnf.gz,1,8
SAT-Race-2015-CNF/SAT_dat.k80-24_1_rule_1.cnf.gz,1,8
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_21.renamed-as.sat05-1923.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf.gz,1,8
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/diagnosis/UTI-15-5p0.cnf.gz,1,8
industrial/SAT-Race-2010-CNF/hardware-verification/manolios/c6n.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/16pipe_16_ooo.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color/abb313GPIA-8-tr.used-as.sat04-316.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-1/shuffling-1-s2090118101-of-bench-sat04-327.used-as.sat04-450.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/gss-20-s100.cnf.gz,1,8
SAT-Race-2015-CNF/manthey_DimacsSorter_31_4.cnf.gz,1,8
industrial/SAT-Comp-2014-CNF/atco_enc3_opt1_04_50.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-2/shuffling-2-s1705735321-of-bench-sat04-336.used-as.sat04-580.cnf.gz,1,8
industrial/SAT-Comp-2014-CNF/atco_enc1_opt1_18_18.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc/twoall.used-as.sat04-985.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/ndhf_xits_09_UNSAT.cnf.gz,1,8
SAT-Race-2015-CNF/itox_vc1130.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/gripper14u.cnf.gz,1,8
SAT-Race-2015-CNF/mrpp_8x8#16_12.cnf.gz,1,8
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bioinfo/q_query_3_l47_lambda.cnf.gz,1,8
SAT-Race-2015-CNF/6s16-opt.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/ACG-20-10p0.cnf.gz,1,8
SAT-Race-2015-CNF/manthey_DimacsSorterHalf_29_8.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/test_v7_r12_vr10_c1_s18160.smt2-cvc4.cnf.gz,1,8
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime1200/hitag2-10-60-0-0xa360966c6eb75c4-62.cnf.gz,1,8
industrial/SAT-Comp-2011-CNF/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf.gz,1,8
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom15.cnf.gz,1,8
industrial/SAT-Race-2010-CNF/mixed/bioinf/ndhf_xits_13_UNSAT.cnf.gz,1,8
SAT-Race-2015-CNF/ACG-15-10p0.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/velev/pipe_unsat_1.1/9pipe_q0_k.cnf.gz,1,8
SAT-Race-2015-CNF/atco_enc3_opt1_13_48.cnf.gz,1,8
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite3_ks99i.shuffled-as.sat05-4051.cnf.gz,1,8
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/aes_32_5_keyfind_1.cnf.gz,1,8
industrial/SAT-Comp-2007-CNF/palacios/medium/cube-9-h11-sat.cnf.gz,1,8
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-2-U-10652.cnf.gz,1,8
SAT-Race-2015-CNF/aes_32_3_keyfind_1.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-2/shuffling-2-s261218073-of-bench-sat04-724.used-as.sat04-750.cnf.gz,1,8
industrial/SAT-Race-2010-CNF/mixed/bioinf/q_query_3_l44_lambda.cnf.gz,1,8
industrial/SAT-Comp-2014-CNF/9vliw_m_9stages_iq3_C1_bug8.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-1/shuffling-1-s1519120721-of-bench-sat04-718.used-as.sat04-731.cnf.gz,1,8
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers5_ks99i.renamed-as.sat05-3974.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-1/shuffling-1-s464988151-of-bench-sat04-326.used-as.sat04-451.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check/alu4mul.miter.used-as.sat04-326.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-1/shuffling-1-s458350434-of-bench-sat04-425.used-as.sat04-564.cnf.gz,1,8
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-25-U-7061.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2004/23/IBM_FV_2004_rule_batch_23_SAT_dat.k90.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-1/shuffling-1-s580450786-of-bench-sat04-719.used-as.sat04-732.cnf.gz,1,8
SAT-Race-2015-CNF/46bits_12.dimacs.cnf.gz,1,8
industrial/SAT-Comp-2007-CNF/anbulagan/medium-unsat/total-10-11-u.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-2/shuffling-2-s1241010979-of-bench-sat04-429.used-as.sat04-706.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/li03/li-test4/li-test4-97.used-as.sat04-308.cnf.gz,1,8
industrial/SAT-Comp-2011-CNF/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf.gz,1,8
industrial/SAT-Comp-2007-CNF/grieu/vmpc_30.cnf.gz,1,8
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog1_ks99i.shuffled-as.sat05-4018.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-2/shuffling-2-s1987109058-of-bench-sat04-322.used-as.sat04-594.cnf.gz,1,8
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf.gz,1,8
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_22.shuffled-as.sat05-1956.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check/c3540mul.miter.used-as.sat04-327.cnf.gz,1,8
industrial/SAT-Comp-2014-CNF/MD5-32-2.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/simon/sat02/7pipe.shuffled-as.sat03-415.cnf.gz,1,8
industrial/SAT-Comp-2014-CNF/complete-300-0.1-4-9876543213004.cnf.gz,1,8
SAT-Race-2015-CNF/openstacks-p30_3.085-SAT.cnf.gz,1,8
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.149.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2004/01/IBM_FV_2004_rule_batch_01_SAT_dat.k100.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/total-10-19-u.cnf.gz,1,8
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/bivium-exptime12800/bivium-39-200-0s0-0x53e7622aad02b083b53dcd6a4a76f54a150ceb996ea1dfa300-63.cnf.gz,1,8
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf.gz,1,8
industrial/SAT-Comp-2007-CNF/babic/hsatv17/hsat_vc12070.cnf.gz,1,8
industrial/SAT-Comp-2014-CNF/SAT_dat.k100-24_1_rule_2.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/maris/CNF/gripper14u.shuffled-as.sat03-397.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbsharemodes_vc6201-tseitin.cnf.gz,1,8
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_32.shuffled-as.sat05-1951.cnf.gz,1,8
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom26.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/mix034_rmo.opt_false-unreach-call.i-cbmc-u2.cnf.gz,1,8
industrial/SAT-Comp-2011-CNF/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf.gz,1,8
industrial/SAT-Comp-2007-CNF/babic/hsatv17/hsat_vc11773.cnf.gz,1,8
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.41.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/maris/CNF/ferry11.shuffled-as.sat03-380.cnf.gz,1,8
industrial/SAT-Comp-2011-CNF/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/snw_13_8_CCSpreOptnopre.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/leberre/2dimensionalstrippacking/E03X18.cnf.gz,1,8
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-144/008.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/li03/li-exam-shuffling-2/shuffling-2-s84691703-of-bench-sat04-303.used-as.sat04-613.cnf.gz,1,8
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/b_unsat_pre.cnf.gz,1,8
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-05.cnf.gz,1,8
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/20_rule/SAT_dat.k65.debugged.cnf.gz,1,8
industrial/SAT-Comp-2009-CNF/SAT_RACE08/cnf/een-tip-sat-texas-tp-5e.cnf.gz,1,8
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-10.cnf.gz,1,8
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-0-U-7061.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c10ni_i.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check/frg1mul.miter.used-as.sat04-331.cnf.gz,1,8
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime4800/hitag2-8-60-0-0xa3b8497b8aad6d7-42.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/vdamul.miter.shuffled-as.sat03-358.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c10bidw_s.cnf.gz,1,8
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor032.cnf.gz,1,8
industrial/SAT-Comp-2005-CNF/maris05/Depots/depots1_v01a.renamed-as.sat05-3946.cnf.gz,1,8
industrial/SAT-Comp-2007-CNF/babic/hsatv17/hsat_vc12072.cnf.gz,1,8
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom12.cnf.gz,1,8
SAT-Race-2015-CNF/aes_64_1_keyfind_1.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-1/shuffling-1-s382583204-of-bench-sat04-337.used-as.sat04-440.cnf.gz,1,8
SAT-Race-2015-CNF/50bits_10.dimacs.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c8bidw.cnf.gz,1,8
industrial/SAT-Comp-2014-CNF/stable-400-0.1-11-98765432140011.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATCompetition2009/application/SAT09/APPLICATIONS/diagnosis/ACG-15-10p1.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/k2mul.miter.cnf.gz,1,8
industrial/SAT-Comp-2011-CNF/leberre/2dimensionalstrippacking/E04N18.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/am_9_9.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf.gz,1,8
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/bob12s06.cnf.gz,1,8
industrial/SAT-Race-2010-CNF/hardware-verification/manolios/g9bidw.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-2/shuffling-2-s56834739-of-bench-sat04-333.used-as.sat04-583.cnf.gz,1,8
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-14-U-15228.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/li/li-exam/li-exam-62.shuffled-as.sat03-367.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2004/30/IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf.gz,1,8
industrial/SAT-Comp-2007-CNF/crypto/mizh-md5-47-4.cnf.gz,1,8
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2004/2_31_1/IBM_FV_2004_rule_batch_2_31_1_SAT_dat.k35.debugged.cnf.gz,1,8
industrial/SAT-Comp-2007-CNF/anbulagan/medium-sat/dated-10-13-s.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-2/shuffling-2-s1466302401-of-bench-sat04-427.used-as.sat04-704.cnf.gz,1,8
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_6_unsat_pre.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/velev/pipe_unsat_1.0/9pipe_k.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/maris/CNF/hanoi4u.shuffled-as.sat03-399.cnf.gz,1,8
SAT-Race-2015-CNF/66bit.dimacs.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c9bidw_i.cnf.gz,1,8
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-144/007.cnf.gz,1,8
industrial/SAT-Comp-2005-CNF/maris05/Depots/depots2_v01i.shuffled-as.sat05-4016.cnf.gz,1,8
industrial/SAT-Race-2008-CNF/ibm-2002-20r-k75.cnf.gz,1,8
industrial/SAT-Comp-2007-CNF/manolios/manol-pipe-f7idw.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-1585.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/eq.atree.braun.12.unsat.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/servers_slapd_a_vc149923.cnf.gz,1,8
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/23-64/003.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf.gz,1,8
industrial/SAT-Comp-2014-CNF/atco_enc1_opt2_10_12.cnf.gz,1,8
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog2_v01i.renamed-as.sat05-3962.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-1/shuffling-1-s292537483-of-bench-sat04-308.used-as.sat04-469.cnf.gz,1,8
SAT-Race-2015-CNF/48bits_13.dimacs.cnf.gz,1,8
industrial/SAT-Comp-2011-CNF/fuhs/AProVE11/AProVE11-09.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/schuppan/l2s/abp4-1-k31-unsat.shuffled-as.sat03-403.cnf.gz,1,8
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf.gz,1,8
industrial/SAT-Comp-2014-CNF/atco_enc2_opt1_15_100.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/maris/CNF/gripper10.shuffled-as.sat03-388.cnf.gz,1,8
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bioinfo/q_query_3_l43_lambda.cnf.gz,1,8
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf.gz,1,8
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime1200/hitag2-10-60-0-0xe6754daf48162bf-46.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-1/shuffling-1-s936521956-of-bench-sat04-318.used-as.sat04-459.cnf.gz,1,8
SAT-Race-2015-CNF/manthey_DimacsSorter_28_0.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-1434.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2009Unselected/application/SAT09/APPLICATIONS/bitverif/maxor/maxor064.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/simon03/sat02/fifo8_400.used-as.sat04-363.cnf.gz,1,8
SAT-Race-2015-CNF/UCG-20-10p0.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/maris/CNF/ferry9.shuffled-as.sat03-386.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/li/li-test4/li-test4-96.shuffled-as.sat03-374.cnf.gz,1,8
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-12.cnf.gz,1,8
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite1_ks99i.shuffled-as.sat05-4049.cnf.gz,1,8
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-7-U-10652.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/simon03/sat02bis/cnf-r4-b1-k1.2-comp.used-as.sat04-355.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/maris03/gripper/gripper10.used-as.sat04-419.cnf.gz,1,8
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/bob12m04.cnf.gz,1,8
industrial/SAT-Comp-2005-CNF/maris05/Depots/depots2_ks99i.renamed-as.sat05-3944.cnf.gz,1,8
industrial/SAT-Race-2010-CNF/hardware-verification/manolios/f7nidw.cnf.gz,1,8
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.62.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/snw_16_9_CCSpre.cnf.gz,1,8
industrial/SAT-Comp-2005-CNF/maris05/Depots/depots1_ks99i.renamed-as.sat05-3943.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/sokoban-p20.sas.cr.21.cnf.gz,1,8
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-08.cnf.gz,1,8
industrial/SAT-Comp-2007-CNF/anbulagan/hard-sat/partial-10-13-s.cnf.gz,1,8
industrial/SAT-Comp-2011-CNF/kullmann/AES/Benchmarks/128/aes_128_1_keyfind_1.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc/gigamax.used-as.sat04-984.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/simon/sat02/w08_15.shuffled-as.sat03-444.cnf.gz,1,8
industrial/SAT-Comp-2014-CNF/6s12.cnf.gz,1,8
SAT-Race-2015-CNF/6s17-opt.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/fuhs/AProVE11/AProVE11-01.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/partial-5-17-u.cnf.gz,1,8
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bitverif/maxand/maxand064.cnf.gz,1,8
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_19_UNKNOWN.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/simon/sat02/ip36.shuffled-as.sat03-432.cnf.gz,1,8
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog8_ks99i.renamed-as.sat05-3958.cnf.gz,1,8
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/6s153.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/square.2.0.i.smt2-cvc4.cnf.gz,1,8
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.109.cnf.gz,1,8
industrial/SAT-Race-2010-CNF/mixed/bioinf/q_query_3_l48_lambda.cnf.gz,1,8
SAT-Race-2015-CNF/atco_enc3_opt2_18_44.cnf.gz,1,8
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog3_v01i.renamed-as.sat05-3964.cnf.gz,1,8
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/diagnosis/UR-20-5p1.cnf.gz,1,8
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-15-U-8013.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/smulo128.cnf.gz,1,8
industrial/SAT-Comp-2009-CNF/SAT_RACE08/cnf/aloul-chnl11-13.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-16597.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq3.used-as.sat04-344.cnf.gz,1,8
SAT-Comp-2016-CNF/app16/sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf.gz,1,8
industrial/SAT-Comp-2004-CNF/li03/li-test4/li-test4-101.used-as.sat04-312.cnf.gz,1,8
industrial/SAT-Comp-2003-CNF/maris/CNF/ferry10.shuffled-as.sat03-378.cnf.gz,1,8
SAT-Race-2015-CNF/mrpp_6x6#20_10.cnf.gz,1,9
industrial/SAT-Comp-2003-CNF/maris/CNF/gripper12.shuffled-as.sat03-392.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/barman-pfile07-027.sas.cr.37.cnf.gz,1,9
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry8_ks99i.renamed-as.sat05-4005.cnf.gz,1,9
industrial/SAT-Comp-2003-CNF/li/li-exam/li-exam-63.shuffled-as.sat03-368.cnf.gz,1,9
SAT-Race-2015-CNF/mrpp_6x6#10_10.cnf.gz,1,9
SAT-Race-2015-CNF/minandmaxor128.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/06_rule/SAT_dat.k100.cnf.gz,1,9
SAT-Race-2015-CNF/002-80-4.cnf.gz,1,9
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.180.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/velev/pipe_unsat_1.1/8pipe_q0_k.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/stable-400-0.1-4-9876543214004.cnf.gz,1,9
industrial/SAT-Comp-2011-CNF/leberre/2dimensionalstrippacking/E15N15.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/006-23-96.cnf.gz,1,9
industrial/SAT-Comp-2003-CNF/schuppan/l2s/abp1-1-k31-unsat.shuffled-as.sat03-402.cnf.gz,1,9
industrial/SAT-Race-2008-CNF/ibm-2004-01-k90.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/babic/dspam/dspam_dump_vc1081.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/g10bid.cnf.gz,1,9
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bitverif/icbrt/icbrt1_32.cnf.gz,1,9
SAT-Race-2015-CNF/mrpp_8x8#24_14.cnf.gz,1,9
SAT-Race-2015-CNF/dated-5-13-u.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/SAT_dat.k95-24_1_rule_2.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/gus-md5-10.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/sokoban-p20.sas.cr.29.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-2/shuffling-2-s1274015131-of-bench-sat04-367.used-as.sat04-644.cnf.gz,1,9
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_12_UNSAT.cnf.gz,1,9
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.93.cnf.gz,1,9
SAT-Race-2015-CNF/009-23-64.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/E02F22.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.140-NOTKNOWN.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/anbulagan/diag-sat/dated-10-15-s.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-1/shuffling-1-s1931574585-of-bench-sat04-328.used-as.sat04-449.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.050-NOTKNOWN.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/mironov-zhang/md5_47_1.cnf.gz,1,9
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/6s103.cnf.gz,1,9
SAT-Race-2015-CNF/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/babic/xinetd/itox_vc1138.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/par32-3-c.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-1/shuffling-1-s655938367-of-bench-sat04-355.used-as.sat04-494.cnf.gz,1,9
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/softveri/cbmc/aes_equiv_encry_2_rounds.debugged.cnf.gz,1,9
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf.gz,1,9
industrial/SAT-Race-2008-CNF/een-pico-prop05-75.cnf.gz,1,9
industrial/SAT-Comp-2003-CNF/simon/sat02/homer20.shuffled-as.sat03-431.cnf.gz,1,9
SAT-Race-2015-CNF/mrpp_8x8#22_10.cnf.gz,1,9
industrial/SAT-Race-2008-CNF/ibm-2004-29-k55.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/li03/li-exam-shuffling-1/shuffling-1-s1699598943-of-bench-sat04-303.used-as.sat04-474.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/Sz512_15127_3.smt2-cvc4.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/manol-pipe-c10nidw.cnf.gz,1,9
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-160/007.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color/inithx.i.1-c-54.used-as.sat04-323.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/palacios/medium/blocks-4-ipc5-h22-unknown.cnf.gz,1,9
SAT-Race-2015-CNF/manthey_DimacsSorterHalf_30_3.cnf.gz,1,9
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog2_ks99i.shuffled-as.sat05-4019.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/uum8.smt2-stp212.cnf.gz,1,9
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite2_v01a.renamed-as.sat05-3987.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/div2.c.20.smt2-stp212.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/SAT_dat.k85-24_1_rule_2.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/barman-pfile10-038.sas.cr.25.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/maris03/gripper/gripper11u.used-as.sat04-422.cnf.gz,1,9
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog4_ks99i.shuffled-as.sat05-4021.cnf.gz,1,9
SAT-Race-2015-CNF/manthey_DimacsSorter_30_6.cnf.gz,1,9
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/hitag2-exptime4800/hitag2-8-60-0-0xdcdbc8bf368ee73-37.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/manolios/manol-pipe-c10nidw_s.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1/12pipe_bug6_q0.used-as.sat04-725.cnf.gz,1,9
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1/12pipe_bug8_q0.used-as.sat04-727.cnf.gz,1,9
industrial/SAT-Comp-2003-CNF/li/li-test4/li-test4-101.shuffled-as.sat03-371.cnf.gz,1,9
industrial/SAT-Race-2010-CNF/hardware-verification/manolios/c7bidw.cnf.gz,1,9
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/simon03/sat02/sha2.used-as.sat04-367.cnf.gz,1,9
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_23.shuffled-as.sat05-1959.cnf.gz,1,9
SAT-Race-2015-CNF/mrpp_6x6#12_8.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-18788.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/simon03/sat02/f2clk_50.used-as.sat04-365.cnf.gz,1,9
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/6s139.cnf.gz,1,9
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_12_unsat.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/ak064boothboothisc.cnf.gz,1,9
SAT-Race-2015-CNF/atco_enc2_opt2_10_21.cnf.gz,1,9
industrial/SAT-Comp-2003-CNF/simon/sat02/w08_14.shuffled-as.sat03-443.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/maris03/gripper/gripper13.used-as.sat04-425.cnf.gz,1,9
industrial/SAT-Race-2010-CNF/cryptography/md5gen/gus-md5-07.cnf.gz,1,9
SAT-Race-2015-CNF/6s168-opt.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/li-exam-61.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-1/shuffling-1-s342491719-of-bench-sat04-439.used-as.sat04-578.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/kukula03/addm_benchs-shuffling-2/shuffling-2-s1137334707-of-bench-sat04-340.used-as.sat04-618.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/e2a_2.c.smt2-cvc4.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-2/shuffling-2-s120869283-of-bench-sat04-313.used-as.sat04-603.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/ak128paralparalisc.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/simon03/sat02bis/k2fix_gr_2pin_w9.used-as.sat04-352.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/SAT_dat.k100-24_1_rule_1.cnf.gz,1,9
industrial/SAT-Race-2010-CNF/hardware-verification/manolios/c10ni_s.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-2/shuffling-2-s356209203-of-bench-sat04-338.used-as.sat04-616.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT02/industrial/goldberg/rand_net/rand_net60-40-10.shuffled.cnf.gz,1,9
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-13.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/atco_enc1_opt2_10_15.cnf.gz,1,9
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/crypto/desgen/gss-33-s100.cnf.gz,1,9
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry6_ks99a.renamed-as.sat05-3996.cnf.gz,1,9
industrial/SAT-Race-2008-CNF/ibm-2002-24r3-k100.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-1/shuffling-1-s396788833-of-bench-sat04-726.used-as.sat04-739.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/ak128paralbg2msisc.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-1/shuffling-1-s2140855737-of-bench-sat04-333.used-as.sat04-444.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/countbitsarray04_32.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/q_query_3_l46_lambda.cnf.gz,1,9
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/grid-strips-grid-y-3.035-NOTKNOWN.cnf.gz,1,9
industrial/SAT-Comp-2003-CNF/li/li-test4/li-test4-95.shuffled-as.sat03-373.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f6nidw.cnf.gz,1,9
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-128/008.cnf.gz,1,9
industrial/SAT-Comp-2003-CNF/li/li-test4/li-test4-94.shuffled-as.sat03-372.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/slp-synthesis-aes-top21.cnf.gz,1,9
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bitverif/smulo/smulo016.cnf.gz,1,9
SAT-Race-2015-CNF/manthey_DimacsSorter_30_1.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/Sz512_15127_6.smt2-stp212.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-1/shuffling-1-s1999993233-of-bench-sat04-725.used-as.sat04-738.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/9dlx_vliw_at_b_iq7.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/ak032modbtsimpbisc.cnf.gz,1,9
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/diagnosis/UTI-15-5p1.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/palacios/medium/safe-30-h30-sat.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/grieu/vmpc_24.cnf.gz,1,9
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry6_v01a.renamed-as.sat05-3998.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/sokoban-p19.sas.cr.23.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/07_rule/SAT_dat.k65.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2004/07/IBM_FV_2004_rule_batch_07_SAT_dat.k35.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/maris03/gripper/gripper12u.used-as.sat04-424.cnf.gz,1,9
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/diagnosis/UR-10-5p0.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/anbulagan/hard-unsat/total-5-19-u.cnf.gz,1,9
industrial/SAT-Comp-2013-CNF/SC13_submissions/heule_weaver--arc4/arcfour_initialPermutation_6_16.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/simon03/sat02/fifo8_300.used-as.sat04-362.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/simon03/sat02/sha1.used-as.sat04-366.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f9bidw.cnf.gz,1,9
industrial/SAT-Race-2008-CNF/ibm-2004-23-k80.cnf.gz,1,9
SAT-Race-2015-CNF/manthey_DimacsSorterHalf_33_1.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/ak064modbtmodbtisc.cnf.gz,1,9
SAT-Race-2015-CNF/MD5-30-1.cnf.gz,1,9
industrial/SAT-Race-2008-CNF/een-tip-sat-vis-eisen.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT09/APPLICATIONS/diagnosis/UR-10-10p1.cnf.gz,1,9
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom19.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/fuhs/AProVE11/AProVE11-14.cnf.gz,1,9
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog3_v01a.shuffled-as.sat05-4030.cnf.gz,1,9
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/nonopt/6s139.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-1/shuffling-1-s812375025-of-bench-sat04-334.used-as.sat04-443.cnf.gz,1,9
industrial/SAT-Race-2010-CNF/hardware-verification/ibm/SAT_dat.k100.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/snw_16_9_preOptEncpre.cnf.gz,1,9
SAT-Race-2015-CNF/complete-400-0.1-16-98765432140016.cnf.gz,1,9
industrial/SAT-Race-2010-CNF/cryptography/desgen/gss-16-s100.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/velev/pipe_unsat_1.0/13pipe_k.cnf.gz,1,9
industrial/SAT-Race-2010-CNF/cryptography/mizh/sha0_35_1.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/sokoban-p16.sas.cr.37.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/custmulsb2x32o.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/manolios/manol-pipe-c7nidw.cnf.gz,1,9
SAT-Race-2015-CNF/aaai10-planning-ipc5-pathways-13-step17.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1/12pipe_bug2_q0.used-as.sat04-721.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_eventlogadm_vc344392-tseitin.cnf.gz,1,9
SAT-Race-2015-CNF/complete-500-0.1-17-98765432150017.cnf.gz,1,9
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-2/shuffling-2-s1246940670-of-bench-sat04-717.used-as.sat04-743.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/anbulagan/diag-sat/total-5-13-s.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-1/shuffling-1-s1174621000-of-bench-sat04-309.used-as.sat04-468.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/snw_16_9_pre.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f10n.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2009Unselected/application/SAT09/APPLICATIONS/bitverif/isqrt/isqrt2_32.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/babic/dspam/dspam_dump_vc1103.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/15pipe_q0_k.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/f10bid.cnf.gz,1,9
industrial/SAT-Comp-2011-CNF/kullmann/AES/Benchmarks/128/aes_128_10_keyfind_1.cnf.gz,1,9
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_07_UNSAT.cnf.gz,1,9
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/c6288mul.miter.shuffled-as.sat03-346.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/babic/hsatv17/hsat_vc11944.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/velev/vliw_unsat_2.0-shuffling-1/shuffling-1-s849090124-of-bench-sat04-347.used-as.sat04-486.cnf.gz,1,9
industrial/SAT-Comp-2009-CNF/SAT_RACE06/velev-pipe-sat-1.0-b10.cnf.gz,1,9
industrial/SAT-Comp-2013-CNF/SC13_submissions/soos--grainofsalt/bivium-exptime12800/bivium-39-200-0s0-0x1b770901581bbb2863c83835583d7ce4e1fafd907076320542-34.cnf.gz,1,9
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog2_v01a.shuffled-as.sat05-4028.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/q_query_3_L90_coli.sat.cnf.gz,1,9
industrial/SAT-Comp-2005-CNF/narain05/vpn/clauses-4.shuffled-as.sat05-1967.cnf.gz,1,9
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c6bid.cnf.gz,1,9
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/6s19.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/002-23-96.cnf.gz,1,9
industrial/SAT-Comp-2003-CNF/simon/sat02/k2fix_gr_2pin_w9.shuffled-as.sat03-438.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/complete-300-0.1-7-9876543213007.cnf.gz,1,9
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog3_ks99i.renamed-as.sat05-3953.cnf.gz,1,9
industrial/SAT-Comp-2005-CNF/maris05/Depots/depots2_v01a.renamed-as.sat05-3948.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-2/shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/minxorminand128.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/MD5-31-5.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/babic/hsatv17/hsat_vc11817.cnf.gz,1,9
SAT-Race-2015-CNF/002-80-8.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-2/shuffling-2-s990144954-of-bench-sat04-437.used-as.sat04-714.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/snw_13_9_preOptEncpre.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-1/shuffling-1-s394233189-of-bench-sat04-324.used-as.sat04-453.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/MD5-28-3.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-1/shuffling-1-s1025511904-of-bench-sat04-438.used-as.sat04-577.cnf.gz,1,9
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/diagnosis/UTI-20-5p0.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-2/shuffling-2-s725710038-of-bench-sat04-363.used-as.sat04-640.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/snw_13_9_pre.cnf.gz,1,9
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-160/001.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/palacios/uts/uts-l06-ipc5-h35-unknown.cnf.gz,1,9
industrial/SAT-Comp-2014-CNF/9vliw_m_9stages_iq3_C1_bug10.cnf.gz,1,9
SAT-Comp-2016-CNF/app16/UR-15-10p0.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/anbulagan/hard-unsat/dated-5-17-u.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-2/shuffling-2-s903327482-of-bench-sat04-438.used-as.sat04-715.cnf.gz,1,9
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1/12pipe_bug1_q0.used-as.sat04-720.cnf.gz,1,9
industrial/SAT-Comp-2007-CNF/narain/clauses-6.cnf.gz,1,10
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w40-b10.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/Sz512_15128_1.smt2-cvc4.cnf.gz,1,10
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/rotmul.miter.shuffled-as.sat03-356.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2004/22/IBM_FV_2004_rule_batch_22_SAT_dat.k100.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-2/shuffling-2-s780396772-of-bench-sat04-359.used-as.sat04-636.cnf.gz,1,10
industrial/SAT-Comp-2007-CNF/anbulagan/hard-unsat/partial-10-15-u.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c10nidw_i.cnf.gz,1,10
industrial/SAT-Comp-2007-CNF/anbulagan/hard-unsat/dated-5-19-u.cnf.gz,1,10
industrial/SAT-Race-2008-CNF/manol-pipe-c9n_i.cnf.gz,1,10
industrial/SAT-Comp-2003-CNF/maris/CNF/gripper12u.shuffled-as.sat03-393.cnf.gz,1,10
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bitverif/minand/minand128.cnf.gz,1,10
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/80-8/006.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check/term1mul.miter.used-as.sat04-337.cnf.gz,1,10
industrial/SAT-Comp-2014-CNF/atco_enc2_opt1_20_11.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/simon03/sat02bis/k2fix_gr_2pin_w8.used-as.sat04-351.cnf.gz,1,10
industrial/SAT-Comp-2007-CNF/anbulagan/diag-sat/dated-10-19-s.cnf.gz,1,10
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w48-b7.cnf.gz,1,10
industrial/SAT-Comp-2011-CNF/leberre/2dimensionalstrippacking/E05F18.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c6bid_i.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-2/shuffling-2-s554396412-of-bench-sat04-318.used-as.sat04-598.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-1006.cnf.gz,1,10
SAT-Race-2015-CNF/6s13-opt.cnf.gz,1,10
industrial/SAT-Race-2010-CNF/cryptography/desgen/gss-31-s100.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/gaussian.c.75.smt2-cvc4.cnf.gz,1,10
industrial/SAT-Comp-2009-CNF/SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf.gz,1,10
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog5_v01a.shuffled-as.sat05-4034.cnf.gz,1,10
industrial/SAT-Comp-2014-CNF/minxor128.cnf.gz,1,10
industrial/SAT-Comp-2014-CNF/c10bi_i.cnf.gz,1,10
SAT-Race-2015-CNF/48bits_14.dimacs.cnf.gz,1,10
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom18.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-2/shuffling-2-s2123257475-of-bench-sat04-327.used-as.sat04-589.cnf.gz,1,10
industrial/SAT-Comp-2014-CNF/grid-strips-grid-y-3.055-NOTKNOWN.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/fuhs/AProVE11/AProVE11-08.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/mironov-zhang/md5_47_2.cnf.gz,1,10
SAT-Race-2015-CNF/58bits_13.dimacs.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc/dekker.used-as.sat04-989.cnf.gz,1,10
industrial/SAT-Comp-2003-CNF/simon/sat02/comb1.shuffled-as.sat03-419.cnf.gz,1,10
SAT-Race-2015-CNF/64bits_11.dimacs.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/sin2.c.20.smt2-cvc4.cnf.gz,1,10
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers2_ks99i.renamed-as.sat05-3972.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-1/shuffling-1-s1070142220-of-bench-sat04-311.used-as.sat04-466.cnf.gz,1,10
industrial/SAT-Comp-2003-CNF/kukula/addm_bench/am_6_6.shuffled-as.sat03-362.cnf.gz,1,10
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_28.shuffled-as.sat05-1957.cnf.gz,1,10
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/diagnosis/UR-10-5p1.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/kukula03/addm_benchs-shuffling-2/shuffling-2-s184229172-of-bench-sat04-339.used-as.sat04-617.cnf.gz,1,10
industrial/SAT-Comp-2003-CNF/schuppan/l2s/guidance-1-k56-unsat.shuffled-as.sat03-408.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-1/shuffling-1-s511155725-of-bench-sat04-363.used-as.sat04-502.cnf.gz,1,10
industrial/SAT-Comp-2014-CNF/manol-pipe-g10bid_i.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2004/07/IBM_FV_2004_rule_batch_07_SAT_dat.k95.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-1/shuffling-1-s1777916872-of-bench-sat04-367.used-as.sat04-506.cnf.gz,1,10
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w26-b7.cnf.gz,1,10
industrial/SAT-Race-2010-CNF/software-verification/nec/hard-12-U-7061.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/velev/pipe-sat-1-1-shuffling-2/shuffling-2-s91505816-of-bench-sat04-722.used-as.sat04-748.cnf.gz,1,10
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf.gz,1,10
industrial/SAT-Comp-2003-CNF/simon/sat02/homer19.shuffled-as.sat03-430.cnf.gz,1,10
industrial/SAT-Comp-2014-CNF/atco_enc1_opt1_15_240.cnf.gz,1,10
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/6s137.cnf.gz,1,10
industrial/SAT-Comp-2014-CNF/stable-300-0.1-20-98765432130020.cnf.gz,1,10
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2004/1_31_1/IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k90.debugged.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-2/shuffling-2-s663936811-of-bench-sat04-421.used-as.sat04-698.cnf.gz,1,10
industrial/SAT-Race-2010-CNF/software-verification/post/zfcp.cnf.gz,1,10
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-01.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/maris03/gripper-shuffling-1/shuffling-1-s1870372346-of-bench-sat04-423.used-as.sat04-562.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-2/shuffling-2-s1519467671-of-bench-sat04-325.used-as.sat04-591.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/li-exam-61.shuffled-as.sat03-366.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/UTI-20-5p1.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/simon03/sat02bis-shuffling-2/shuffling-2-s1970369959-of-bench-sat04-356.used-as.sat04-633.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/schuppan03/l2s/bc57-sensors-1-k303-unsat.used-as.sat04-430.cnf.gz,1,10
industrial/SAT-Comp-2007-CNF/palacios/hard/safe-50-h49-unsat.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-12992.cnf.gz,1,10
industrial/SAT-Comp-2011-CNF/rintanen/SATPlanning/grid-strips-grid-y-4.025-NOTKNOWN.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/barman-pfile09-036.sas.cr.33.cnf.gz,1,10
industrial/SAT-Comp-2003-CNF/schuppan/l2s/dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf.gz,1,10
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog2_v01a.renamed-as.sat05-3961.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc-shuffling-1/shuffling-1-s1029132062-of-bench-sat04-990.used-as.sat04-998.cnf.gz,1,10
SAT-Race-2015-CNF/46bits_14.dimacs.cnf.gz,1,10
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_12_UNKNOWN.cnf.gz,1,10
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/i10mul.miter.shuffled-as.sat03-353.cnf.gz,1,10
industrial/SAT-Comp-2003-CNF/schuppan/l2s/bc56-sensors-1-k391-unsat.shuffled-as.sat03-404.cnf.gz,1,10
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_30.shuffled-as.sat05-1949.cnf.gz,1,10
industrial/SAT-Comp-2005-CNF/maris05/Depots/depots1_v01i.renamed-as.sat05-3947.cnf.gz,1,10
industrial/SAT-Comp-2003-CNF/simon/sat02/dp12u11.shuffled-as.sat03-423.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbsharemodes_vc7701-tseitin.cnf.gz,1,10
industrial/SAT-Comp-2013-CNF/SC13_submissions/kummling_grosmann--pesp/b04_s_unknown.cnf.gz,1,10
industrial/SAT-Comp-2007-CNF/babic/dspam/dspam_dump_vc950.cnf.gz,1,10
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/term1mul.miter.shuffled-as.sat03-357.cnf.gz,1,10
industrial/SAT-Comp-2007-CNF/grieu/vmpc_34.cnf.gz,1,10
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/aprove09/AProVE09-25.cnf.gz,1,10
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/23-96/003.cnf.gz,1,10
industrial/SAT-Comp-2014-CNF/complete-300-0.1-18-98765432130018.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.075-NOTKNOWN.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-3.045-NOTKNOWN.cnf.gz,1,10
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.194.cnf.gz,1,10
industrial/SAT-Comp-2011-CNF/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf.gz,1,10
SAT-Race-2015-CNF/6s151.cnf.gz,1,10
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.20.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2009Unselected/application/SAT09/APPLICATIONS/bitverif/minor/minor128.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc/all.used-as.sat04-986.cnf.gz,1,10
industrial/SAT-Comp-2014-CNF/6s10.cnf.gz,1,10
industrial/SAT-Comp-2014-CNF/SAT_dat.k70-24_1_rule_1.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/vangelder/cnf-color-shuffling-1/shuffling-1-s374833513-of-bench-sat04-319.used-as.sat04-458.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/velev/pipe_unsat_1.1/7pipe_q0_k.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c6bi.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/sokoban-p16.sas.cr.39.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/dated-10-19-u.cnf.gz,1,10
SAT-Race-2015-CNF/manthey_single-ordered-initialized-w26-b8.cnf.gz,1,10
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog8_v01a.renamed-as.sat05-3970.cnf.gz,1,10
SAT-Race-2015-CNF/009-80-4.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-25297.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/gss-29-s100.cnf.gz,1,10
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/80-8/005.cnf.gz,1,10
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/bob12s04.cnf.gz,1,10
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2004/2_31_1/IBM_FV_2004_rule_batch_2_31_1_SAT_dat.k80.debugged.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2009Unselected/application/SAT09/APPLICATIONS/diagnosis/UTI-10-10p1.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/9dlx_vliw_at_b_iq4.used-as.sat04-345.cnf.gz,1,10
industrial/SAT-Comp-2003-CNF/simon/sat02/homer17.shuffled-as.sat03-428.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/barman-pfile10-040.sas.cr.17.cnf.gz,1,10
SAT-Race-2015-CNF/manthey_DimacsSorterHalf_30_7.cnf.gz,1,10
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite1_v01a.shuffled-as.sat05-4052.cnf.gz,1,10
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/23-80/001.cnf.gz,1,10
industrial/SAT-Comp-2014-CNF/006-22-160.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-2/shuffling-2-s158913847-of-bench-sat04-306.used-as.sat04-610.cnf.gz,1,10
industrial/SAT-Comp-2007-CNF/anbulagan/medium-sat/total-10-17-s.cnf.gz,1,10
industrial/SAT-Race-2010-CNF/hardware-verification/velev/12pipe_bug8.cnf.gz,1,10
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf.gz,1,10
industrial/SAT-Comp-2014-CNF/stable-400-0.1-7-9876543214007.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-29020.cnf.gz,1,10
industrial/SAT-Race-2008-CNF/ibm-2002-04r-k80.cnf.gz,1,10
SAT-Race-2015-CNF/004-80-8.cnf.gz,1,10
industrial/SAT-Comp-2005-CNF/maris05/DriverLog/driverlog6_v01a.shuffled-as.sat05-4035.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/schuppan03/l2s-shuffling-2/shuffling-2-s122749197-of-bench-sat04-439.used-as.sat04-716.cnf.gz,1,10
industrial/SAT-Comp-2011-CNF/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf.gz,1,10
industrial/SAT-Comp-2007-CNF/fuhs/medium/AProVE07-15.cnf.gz,1,10
industrial/SAT-Comp-2007-CNF/jarvisalo/eq.atree.braun.8.unsat.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/sokoban-p20.sas.cr.25.cnf.gz,1,10
industrial/SAT-Comp-2013-CNF/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/nonopt/bob12m06.cnf.gz,1,10
industrial/SAT-Comp-2007-CNF/palacios/uts/uts-l06-ipc5-h33-unknown.cnf.gz,1,10
industrial/SAT-Comp-2011-CNF/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step13.cnf.gz,1,10
industrial/SAT-Comp-2005-CNF/maris05/Rovers/rovers4_ks99i.shuffled-as.sat05-4040.cnf.gz,1,10
industrial/SAT-Comp-2014-CNF/MD5-32-5.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/hoonsang/vis-bmc/luckySeven.used-as.sat04-990.cnf.gz,1,10
industrial/SAT-Comp-2011-CNF/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step16.cnf.gz,1,10
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry7_v01i.renamed-as.sat05-4003.cnf.gz,1,10
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/bioinfo/q_query_3_l39_lambda.cnf.gz,1,10
industrial/SAT-Comp-2007-CNF/babic/hsatv17/hsat_vc11803.cnf.gz,1,10
SAT-Race-2015-CNF/44bits_11.dimacs.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATCompetition2011/application/SAT_RACE06/velev-pipe-sat-1.0-b9.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-3230.cnf.gz,1,10
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/frg1mul.miter.shuffled-as.sat03-351.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-18972.cnf.gz,1,10
industrial/SAT-Comp-2014-CNF/MD5-32-4.cnf.gz,1,10
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry7_ks99i.shuffled-as.sat05-4068.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/simon03/sat02-shuffling-2/shuffling-2-s329391454-of-bench-sat04-364.used-as.sat04-641.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2004/22/IBM_FV_2004_rule_batch_22_SAT_dat.k65.cnf.gz,1,10
SAT-Race-2015-CNF/MD5-30-5.cnf.gz,1,10
SAT-Race-2015-CNF/005-80-12.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/snw_13_9_CCSpre.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/snw_16_8_nopre.cnf.gz,1,10
industrial/SAT-Comp-2011-CNF/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step16.cnf.gz,1,10
industrial/SAT-Comp-2013-CNF/SC13_submissions/nossum--sha1/22-128/009.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/simon03/sat02bis/k2fix_gr_2pinvar_w9.used-as.sat04-350.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/ACG-20-5p1.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbclient_vc1225238-tseitin.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-9056.cnf.gz,1,10
SAT-Race-2015-CNF/52bits_12.dimacs.cnf.gz,1,10
industrial/SAT-Race-2008-CNF/manol-pipe-g8nidw.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/modgen-n200-m90860q08c40-3866.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/goldberg03/hard_eq_check-shuffling-2/shuffling-2-s1852960813-of-bench-sat04-330.used-as.sat04-586.cnf.gz,1,10
industrial/SAT-Comp-2005-CNF/grieu05/vmpc/vmpc_35.shuffled-as.sat05-1953.cnf.gz,1,10
industrial/SAT-Comp-2007-CNF/anbulagan/hard-unsat/dated-10-11-u.cnf.gz,1,10
industrial/SAT-Comp-2011-CNF/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom24.cnf.gz,1,10
SAT-Race-2015-CNF/mrpp_4x4#10_20.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/sokoban-p20.sas.cr.37.cnf.gz,1,10
industrial/SAT-Race-2008-CNF/post-cbmc-aes-ele.cnf.gz,1,10
SAT-Race-2015-CNF/E02F20.cnf.gz,1,10
SAT-Race-2015-CNF/jgiraldezlevy.2200.9086.08.40.81.cnf.gz,1,10
SAT-Race-2015-CNF/manthey_DimacsSorter_30_4.cnf.gz,1,10
SAT-Race-2015-CNF/post-cbmc-aes-d-r2.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satCompetition2011Unselected/SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.085-SAT.cnf.gz,1,10
industrial/SAT-Comp-2005-CNF/maris05/Satellite/satellite2_v01i.renamed-as.sat05-3988.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/cube-11-h13-unsat.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/ak064paralbg2btaig.cnf.gz,1,10
industrial/SAT-Comp-2011-CNF/kullmann/AES/Benchmarks/64/aes_64_4_keyfind_1.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/ibm/2002/07_rule/SAT_dat.k75.cnf.gz,1,10
SAT-Race-2015-CNF/mrpp_8x8#20_20.cnf.gz,1,10
SAT-Race-2015-CNF/gss-19-s100.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/aes_32_3_keyfind_2.cnf.gz,1,10
industrial/SAT-Challenge-2012/SC2012_Application_Debugged/satrace-unselected/ibm/2002/31_2_rule_2/SAT_dat.k30.debugged.cnf.gz,1,10
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-14.cnf.gz,1,10
industrial/SAT-Comp-2004-CNF/li03/li-test4-shuffling-2/shuffling-2-s413000580-of-bench-sat04-310.used-as.sat04-606.cnf.gz,1,10
industrial/SAT-Comp-2007-CNF/jarvisalo/eq.atree.braun.9.unsat.cnf.gz,1,10
industrial/SAT-Comp-2003-CNF/goldberg/hard_eq_check/C880mul.miter.shuffled-as.sat03-348.cnf.gz,1,10
industrial/SAT-Comp-2009-CNF/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_22_SAT.cnf.gz,1,10
industrial/SAT-Comp-2003-CNF/simon/sat02/cnf-r4-b1-k1.2-comp.shuffled-as.sat03-417.cnf.gz,1,10
industrial/SAT-Comp-2005-CNF/maris05/Ferry/ferry8_v01i.shuffled-as.sat05-4074.cnf.gz,1,10
industrial/SAT-Comp-2007-CNF/anbulagan/diag-sat/dated-5-13-s.cnf.gz,1,10
industrial/SAT-Comp-2007-CNF/anbulagan/hard-unsat/dated-5-15-u.cnf.gz,1,10
SAT-Comp-2016-CNF/app16/14pipe_q0_k.cnf.gz,1,10
industrial/SAT-Challenge-2012/SATChallenge2012_Application/satRaceUnselected/manolios/cnf/c6nid.cnf.gz,1,10