HARD SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray02_32.cnf UNSAT HARD SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray08_32.cnf UNKNOWN HARD SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray32_32.cnf UNKNOWN HARD SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf UNKNOWN HARD SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate128.cnf UNKNOWN HARD SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl032.cnf UNSAT HARD SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl128.cnf UNKNOWN HARD SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf UNKNOWN HARD SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf UNKNOWN HARD SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf UNKNOWN HARD SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand032.cnf UNSAT HARD SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand128.cnf UNKNOWN HARD SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf UNKNOWN HARD SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf UNKNOWN HARD SAT09/APPLICATIONS/bitverif/minxor/minxor128.cnf UNSAT HARD SAT09/APPLICATIONS/bitverif/mulhs/mulhs016.cnf UNKNOWN HARD SAT09/APPLICATIONS/bitverif/mulhs/mulhs032.cnf UNKNOWN HARD SAT09/APPLICATIONS/bitverif/smulo/smulo128.cnf UNKNOWN HARD SAT09/APPLICATIONS/c32sat/post-c32s-ss-8.cnf UNSAT HARD SAT09/APPLICATIONS/c32sat/post-cbmc-aes-d-r2-noholes.cnf UNSAT HARD SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ee-r2-noholes.cnf UNSAT HARD SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ee-r3-noholes.cnf UNKNOWN HARD SAT09/APPLICATIONS/c32sat/post-cbmc-zfcp-2.8-u2-noholes.cnf UNKNOWN HARD SAT09/APPLICATIONS/crypto/desgen/gss-19-s100.cnf SAT HARD SAT09/APPLICATIONS/crypto/desgen/gss-21-s100.cnf SAT HARD SAT09/APPLICATIONS/crypto/desgen/gss-22-s100.cnf UNKNOWN HARD SAT09/APPLICATIONS/crypto/desgen/gss-23-s100.cnf SAT HARD SAT09/APPLICATIONS/crypto/desgen/gss-24-s100.cnf UNKNOWN HARD SAT09/APPLICATIONS/crypto/desgen/gss-25-s100.cnf SAT HARD SAT09/APPLICATIONS/crypto/desgen/gss-26-s100.cnf UNKNOWN HARD SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf UNKNOWN HARD SAT09/APPLICATIONS/crypto/desgen/gss-28-s100.cnf UNKNOWN HARD SAT09/APPLICATIONS/crypto/desgen/gss-31-s100.cnf UNKNOWN HARD SAT09/APPLICATIONS/crypto/desgen/gss-32-s100.cnf UNKNOWN HARD SAT09/APPLICATIONS/crypto/desgen/gss-33-s100.cnf UNKNOWN HARD SAT09/APPLICATIONS/crypto/desgen/gss-34-s100.cnf UNKNOWN HARD SAT09/APPLICATIONS/crypto/md5gen/gus-md5-10.cnf UNKNOWN HARD SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf UNKNOWN HARD SAT09/APPLICATIONS/crypto/md5gen/gus-md5-14.cnf UNKNOWN HARD SAT09/APPLICATIONS/crypto/md5gen/gus-md5-15.cnf UNKNOWN HARD SAT09/APPLICATIONS/crypto/md5gen/gus-md5-16.cnf UNKNOWN HARD SAT09/APPLICATIONS/diagnosis/ACG-15-10p0.cnf UNSAT HARD SAT09/APPLICATIONS/diagnosis/ACG-15-10p1.cnf SAT HARD SAT09/APPLICATIONS/diagnosis/ACG-20-10p0.cnf UNKNOWN HARD SAT09/APPLICATIONS/diagnosis/ACG-20-10p1.cnf UNKNOWN HARD SAT09/APPLICATIONS/diagnosis/ACG-20-5p1.cnf SAT HARD SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf UNSAT HARD SAT09/APPLICATIONS/diagnosis/UCG-15-10p1.cnf SAT HARD SAT09/APPLICATIONS/diagnosis/UCG-20-10p1.cnf UNKNOWN HARD SAT09/APPLICATIONS/diagnosis/UCG-20-5p1.cnf SAT HARD SAT09/APPLICATIONS/diagnosis/UR-15-10p0.cnf UNKNOWN HARD SAT09/APPLICATIONS/diagnosis/UR-15-10p1.cnf UNKNOWN HARD SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf UNKNOWN HARD SAT09/APPLICATIONS/diagnosis/UR-20-5p0.cnf UNKNOWN HARD SAT09/APPLICATIONS/diagnosis/UR-20-5p1.cnf UNKNOWN HARD SAT09/APPLICATIONS/diagnosis/UTI-15-5p0.cnf UNSAT HARD SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf UNKNOWN HARD SAT09/APPLICATIONS/diagnosis/UTI-20-10p1.cnf UNKNOWN HARD SAT09/APPLICATIONS/diagnosis/UTI-20-5p0.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_09_UNSAT.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_10_UNSAT.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_11_UNSAT.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_12_UNSAT.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_13_UNSAT.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_14_UNSAT.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_15_UNKNOWN.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_16_UNKNOWN.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_17_UNKNOWN.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_09_UNKNOWN.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_10_UNKNOWN.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_11_UNKNOWN.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_12_UNKNOWN.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_13_UNKNOWN.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_08_UNSAT.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_10_UNKNOWN.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_11_UNKNOWN.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_12_UNKNOWN.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_13_UNKNOWN.cnf UNKNOWN HARD SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_14_UNKNOWN.cnf UNKNOWN MEDIUM SAT09/APPLICATIONS/aprove09/AProVE09-06.cnf SAT MEDIUM SAT09/APPLICATIONS/aprove09/AProVE09-08.cnf SAT MEDIUM SAT09/APPLICATIONS/aprove09/AProVE09-15.cnf SAT MEDIUM SAT09/APPLICATIONS/aprove09/AProVE09-20.cnf SAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_2_L324_coli.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_L100_coli.sat.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_L150_coli.sat.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_L200_coli.sat.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_l40_lambda.cnf SAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_l41_lambda.cnf SAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_l42_lambda.cnf SAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_l43_lambda.cnf SAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_l44_lambda.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_l45_lambda.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_l47_lambda.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_l48_lambda.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_L60_coli.sat.cnf SAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_L70_coli.sat.cnf SAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_L80_coli.sat.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bioinfo/q_query_3_L90_coli.sat.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate016.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl016.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner064.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bitverif/icbrt/icbrt1_32.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bitverif/maxand/maxand064.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor032.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bitverif/minand/minand128.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bitverif/minor/minor064.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand032.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand064.cnf UNSAT MEDIUM SAT09/APPLICATIONS/bitverif/smulo/smulo016.cnf UNSAT MEDIUM SAT09/APPLICATIONS/c32sat/post-c32s-col400-16.cnf UNSAT MEDIUM SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-22.cnf SAT MEDIUM SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf UNSAT MEDIUM SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ele-noholes.cnf UNSAT MEDIUM SAT09/APPLICATIONS/crypto/desgen/gss-13-s100.cnf SAT MEDIUM SAT09/APPLICATIONS/crypto/desgen/gss-14-s100.cnf SAT MEDIUM SAT09/APPLICATIONS/crypto/desgen/gss-15-s100.cnf SAT MEDIUM SAT09/APPLICATIONS/crypto/desgen/gss-16-s100.cnf SAT MEDIUM SAT09/APPLICATIONS/crypto/desgen/gss-17-s100.cnf SAT MEDIUM SAT09/APPLICATIONS/crypto/desgen/gss-20-s100.cnf SAT MEDIUM SAT09/APPLICATIONS/crypto/md5gen/gus-md5-04.cnf UNSAT MEDIUM SAT09/APPLICATIONS/crypto/md5gen/gus-md5-05.cnf UNSAT MEDIUM SAT09/APPLICATIONS/crypto/md5gen/gus-md5-06.cnf UNSAT MEDIUM SAT09/APPLICATIONS/crypto/md5gen/gus-md5-07.cnf UNSAT MEDIUM SAT09/APPLICATIONS/crypto/md5gen/gus-md5-09.cnf UNSAT MEDIUM SAT09/APPLICATIONS/diagnosis/ACG-10-5p0.cnf UNSAT MEDIUM SAT09/APPLICATIONS/diagnosis/UCG-10-5p0.cnf UNSAT MEDIUM SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.cnf UNSAT MEDIUM SAT09/APPLICATIONS/diagnosis/UR-10-5p0.cnf UNSAT MEDIUM SAT09/APPLICATIONS/diagnosis/UR-10-5p1.cnf SAT MEDIUM SAT09/APPLICATIONS/diagnosis/UR-15-5p0.cnf UNSAT MEDIUM SAT09/APPLICATIONS/diagnosis/UTI-10-10p0.cnf UNSAT MEDIUM SAT09/APPLICATIONS/diagnosis/UTI-15-10p0.cnf UNSAT MEDIUM SAT09/APPLICATIONS/diagnosis/UTI-15-10p1.cnf SAT MEDIUM SAT09/APPLICATIONS/diagnosis/UTI-15-5p1.cnf SAT MEDIUM SAT09/APPLICATIONS/diagnosis/UTI-20-5p1.cnf SAT MEDIUM SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_20_SAT.cnf SAT MEDIUM SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_21_SAT.cnf SAT MEDIUM SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_22_SAT.cnf SAT MEDIUM SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_06_UNSAT.cnf UNSAT MEDIUM SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf UNSAT MEDIUM SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_14_SAT.cnf SAT MEDIUM SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_07_UNSAT.cnf UNSAT EASY SAT09/APPLICATIONS/aprove09/AProVE09-01.cnf SAT EASY SAT09/APPLICATIONS/aprove09/AProVE09-03.cnf SAT EASY SAT09/APPLICATIONS/aprove09/AProVE09-05.cnf SAT EASY SAT09/APPLICATIONS/aprove09/AProVE09-07.cnf SAT EASY SAT09/APPLICATIONS/aprove09/AProVE09-10.cnf SAT EASY SAT09/APPLICATIONS/aprove09/AProVE09-11.cnf SAT EASY SAT09/APPLICATIONS/aprove09/AProVE09-12.cnf SAT EASY SAT09/APPLICATIONS/aprove09/AProVE09-13.cnf SAT EASY SAT09/APPLICATIONS/aprove09/AProVE09-17.cnf SAT EASY SAT09/APPLICATIONS/aprove09/AProVE09-19.cnf SAT EASY SAT09/APPLICATIONS/aprove09/AProVE09-21.cnf SAT EASY SAT09/APPLICATIONS/aprove09/AProVE09-22.cnf SAT EASY SAT09/APPLICATIONS/aprove09/AProVE09-24.cnf SAT EASY SAT09/APPLICATIONS/aprove09/AProVE09-25.cnf SAT EASY SAT09/APPLICATIONS/bioinfo/q_query_3_l37_lambda.cnf SAT EASY SAT09/APPLICATIONS/bioinfo/q_query_3_l38_lambda.cnf SAT EASY SAT09/APPLICATIONS/bioinfo/q_query_3_l39_lambda.cnf SAT EASY SAT09/APPLICATIONS/bitverif/minor/minor032.cnf UNSAT EASY SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_17_SAT.cnf SAT HARD SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf SAT HARD SAT07/industrial/anbulagan/hard-sat/partial-10-15-s.cnf UNKNOWN HARD SAT07/industrial/anbulagan/hard-sat/partial-5-17-s.cnf UNKNOWN HARD SAT07/industrial/anbulagan/hard-unsat/dated-10-19-u.cnf UNKNOWN HARD SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf UNKNOWN HARD SAT07/industrial/anbulagan/hard-unsat/dated-5-17-u.cnf UNKNOWN HARD SAT07/industrial/anbulagan/hard-unsat/dated-5-19-u.cnf UNKNOWN HARD SAT07/industrial/anbulagan/hard-unsat/partial-10-13-u.cnf UNKNOWN HARD SAT07/industrial/anbulagan/hard-unsat/partial-10-19-u.cnf UNKNOWN HARD SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf UNKNOWN HARD SAT07/industrial/anbulagan/hard-unsat/partial-5-13-u.cnf UNKNOWN HARD SAT07/industrial/anbulagan/hard-unsat/partial-5-15-u.cnf UNKNOWN HARD SAT07/industrial/anbulagan/hard-unsat/partial-5-17-u.cnf UNKNOWN HARD SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf UNKNOWN HARD SAT07/industrial/anbulagan/hard-unsat/total-10-19-u.cnf UNKNOWN HARD SAT07/industrial/anbulagan/hard-unsat/total-5-15-u.cnf UNKNOWN HARD SAT07/industrial/anbulagan/hard-unsat/total-5-17-u.cnf UNKNOWN HARD SAT07/industrial/anbulagan/medium-unsat/total-10-13-u.cnf UNSAT HARD SAT07/industrial/fuhs/hard/AProVE07-01.cnf UNKNOWN HARD SAT07/industrial/fuhs/hard/AProVE07-08.cnf UNKNOWN HARD SAT07/industrial/fuhs/hard/AProVE07-25.cnf UNKNOWN HARD SAT07/industrial/fuhs/hard/AProVE07-26.cnf UNKNOWN HARD SAT07/industrial/fuhs/hard/AProVE07-27.cnf UNKNOWN HARD SAT07/industrial/fuhs/medium/AProVE07-09.cnf UNSAT HARD SAT07/industrial/fuhs/medium/AProVE07-16.cnf UNSAT HARD SAT07/industrial/grieu/vmpc_29.cnf SAT HARD SAT07/industrial/grieu/vmpc_33.cnf SAT HARD SAT07/industrial/grieu/vmpc_34.cnf SAT HARD SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf UNSAT HARD SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf UNKNOWN HARD SAT07/industrial/jarvisalo/eq.atree.braun.13.unsat.cnf UNKNOWN HARD SAT07/industrial/narain/clauses-8.cnf UNKNOWN HARD SAT07/industrial/palacios/hard/safe-30-h29-unsat.cnf UNKNOWN HARD SAT07/industrial/palacios/hard/safe-50-h49-unsat.cnf UNKNOWN HARD SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf UNKNOWN HARD SAT07/industrial/palacios/hard/sortnet-8-ipc5-h18-unsat.cnf UNKNOWN HARD SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf UNKNOWN HARD SAT07/industrial/palacios/medium/cube-11-h13-unsat.cnf UNSAT HARD SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf SAT HARD SAT07/industrial/palacios/medium/emptyroom-4-h21-unsat.cnf UNSAT HARD SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq1.cnf velev UNSAT HARD SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq2.cnf velev UNSAT HARD SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq3.cnf velev UNSAT HARD SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq4.cnf velev UNSAT HARD SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq5.cnf velev UNKNOWN HARD SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.cnf velev UNKNOWN HARD SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf velev UNKNOWN HARD SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.cnf velev UNKNOWN HARD SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.cnf velev UNKNOWN HARD SATRACES/goldb-heqc-dalumul.cnf UNSAT HARD SATRACES/goldb-heqc-frg1mul.cnf UNSAT HARD SATRACES/goldb-heqc-i10mul.cnf UNSAT HARD SATRACES/goldb-heqc-term1mul.cnf UNSAT HARD SATRACES/goldb-heqc-x1mul.cnf UNSAT HARD SATRACES/manol-pipe-f10ni.cnf UNSAT HARD SATRACES/manol-pipe-f9b.cnf UNSAT HARD SATRACES/manol-pipe-f9n.cnf UNSAT HARD SATRACES/manol-pipe-g10bidw.cnf UNSAT HARD SATRACES/manol-pipe-g10nid.cnf UNSAT HARD SATRACES/post-c32s-ss-8.cnf UNSAT HARD SATRACES/post-cbmc-aes-d-r2.cnf UNSAT HARD SATRACES/post-cbmc-aes-ee-r2.cnf UNSAT HARD SATRACES/post-cbmc-aes-ee-r3.cnf UNSAT HARD SATRACES/simon-s02b-k2f-gr-rcs-w8.cnf miscellaneous UNSAT HARD SATRACES/vange-col-abb313GPIA-9-c.cnf miscellaneous SAT HARD SATRACES/velev-pipe-o-uns-1.0-7.cnf UNSAT HARD SATRACES/velev-pipe-uns-1.0-8.cnf UNSAT HARD SATRACES/velev-vliw-uns-4.0-9C1.cnf UNSAT HARD SATRACES/velev-vliw-uns-4.0-9-i1.cnf UNSAT MEDIUM SAT07/industrial/anbulagan/hard-unsat/dated-5-15-u.cnf UNSAT MEDIUM SAT07/industrial/anbulagan/medium-sat/partial-5-13-s.cnf SAT MEDIUM SAT07/industrial/anbulagan/medium-sat/partial-5-15-s.cnf SAT MEDIUM SAT07/industrial/anbulagan/medium-unsat/total-5-11-u.cnf UNSAT MEDIUM SAT07/industrial/anbulagan/medium-unsat/total-5-13-u.cnf UNSAT MEDIUM SAT07/industrial/grieu/vmpc_24.cnf SAT MEDIUM SAT07/industrial/grieu/vmpc_25.cnf SAT MEDIUM SAT07/industrial/grieu/vmpc_26.cnf SAT MEDIUM SAT07/industrial/grieu/vmpc_28.cnf SAT MEDIUM SAT07/industrial/grieu/vmpc_30.cnf SAT MEDIUM SAT07/industrial/jarvisalo/eq.atree.braun.10.unsat.cnf UNSAT MEDIUM SAT07/industrial/jarvisalo/eq.atree.braun.8.unsat.cnf UNSAT MEDIUM SAT07/industrial/jarvisalo/eq.atree.braun.9.unsat.cnf UNSAT MEDIUM SAT07/industrial/palacios/medium/blocks-4-ipc5-h22-unknown.cnf UNSAT MEDIUM SAT07/industrial/palacios/uts/uts-l05-ipc5-h26-unsat.cnf UNSAT MEDIUM SAT07/industrial/palacios/uts/uts-l05-ipc5-h27-unknown.cnf UNSAT MEDIUM SAT07/industrial/palacios/uts/uts-l06-ipc5-h28-unknown.cnf UNSAT MEDIUM SAT07/industrial/palacios/uts/uts-l06-ipc5-h31-unknown.cnf UNSAT MEDIUM SAT07/industrial/palacios/uts/uts-l06-ipc5-h33-unknown.cnf UNSAT MEDIUM SAT07/industrial/palacios/uts/uts-l06-ipc5-h35-unknown.cnf SAT MEDIUM SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug5.cnf velev SAT MEDIUM SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug8.cnf velev SAT MEDIUM SATRACES/aloul-chnl11-13.cnf miscellaneous UNSAT MEDIUM SATRACES/goldb-heqc-alu4mul.cnf UNSAT MEDIUM SATRACES/hoons-vbmc-lucky7.cnf miscellaneous UNSAT MEDIUM SATRACES/manol-pipe-c10nid_i.cnf UNSAT MEDIUM SATRACES/manol-pipe-c10nidw.cnf UNSAT MEDIUM SATRACES/manol-pipe-c10nidw_s.cnf UNSAT MEDIUM SATRACES/manol-pipe-c6bidw_i.cnf UNSAT MEDIUM SATRACES/manol-pipe-c6nidw_i.cnf UNSAT MEDIUM SATRACES/manol-pipe-c7bidw_i.cnf UNSAT MEDIUM SATRACES/manol-pipe-c7nidw.cnf UNSAT MEDIUM SATRACES/manol-pipe-f9b.cnf UNSAT MEDIUM SATRACES/manol-pipe-g10id.cnf UNSAT MEDIUM SATRACES/manol-pipe-g10nid.cnf UNSAT MEDIUM SATRACES/manol-pipe-g7nidw.cnf UNSAT MEDIUM SATRACES/mizh-md5-47-3.cnf SAT MEDIUM SATRACES/mizh-md5-47-4.cnf SAT MEDIUM SATRACES/mizh-md5-48-5.cnf SAT MEDIUM SATRACES/mizh-sha0-35-3.cnf SAT MEDIUM SATRACES/mizh-sha0-36-2.cnf SAT MEDIUM SATRACES/mizh-sha0-36-3.cnf SAT MEDIUM SATRACES/mizh-sha0-36-4.cnf SAT MEDIUM SATRACES/post-c32s-gcdm16-22.cnf SAT MEDIUM SATRACES/schup-l2s-bc56s-1-k391.cnf miscellaneous UNSAT MEDIUM SATRACES/schup-l2s-guid-1-k56.cnf miscellaneous UNSAT MEDIUM SATRACES/schup-l2s-motst-2-k315.cnf miscellaneous SAT MEDIUM SATRACES/simon-s02b-dp11u10.cnf miscellaneous UNSAT MEDIUM SATRACES/simon-s03-fifo8-300.cnf miscellaneous UNSAT MEDIUM SATRACES/simon-s03-w08-15.cnf miscellaneous SAT MEDIUM SATRACES/velev-engi-uns-1.0-4nd.cnf UNSAT MEDIUM SATRACES/velev-live-uns-2.0-ebuf.cnf UNSAT MEDIUM SATRACES/velev-pipe-o-uns-1.1-6.cnf UNSAT MEDIUM SATRACES/velev-pipe-sat-1.0-b10.cnf SAT MEDIUM SATRACES/velev-pipe-sat-1.0-b7.cnf SAT EASY SAT07/industrial/babic/hsatv17/hsat_vc11803.cnf UNSAT EASY SAT07/industrial/babic/hsatv17/hsat_vc11813.cnf UNSAT EASY SAT07/industrial/babic/xinetd/xinetd_vc56703.cnf UNSAT EASY SATRACES/cmu-bmc-barrel6.cnf miscellaneous UNSAT EASY SATRACES/cmu-bmc-longmult15.cnf miscellaneous UNSAT EASY SATRACES/een-tip-sat-texas-tp-5e.cnf miscellaneous SAT EASY SATRACES/een-tip-uns-nusmv-t5.B.cnf miscellaneous UNSAT EASY SATRACES/manol-pipe-c9.cnf UNSAT EASY SATRACES/manol-pipe-g6bi.cnf UNSAT EASY SATRACES/post-cbmc-aes-d-r1.cnf UNSAT EASY SATRACES/schup-l2s-abp4-1-k31.cnf miscellaneous UNSAT