Category | filename ---------+------------------------------------------------------------------------------------------------------------------------------------------------------------------------- MUS | SAT02/industrial/biere/cmpadd/ca002.shuffled.cnf MUS | SAT02/industrial/biere/cmpadd/ca064.shuffled.cnf MUS | SAT02/industrial/biere/cmpadd/ca256.shuffled.cnf MUS | SAT02/industrial/biere/dinphil/dp02u01.shuffled.cnf MUS | SAT02/industrial/biere/dinphil/dp08u07.shuffled.cnf MUS | SAT02/industrial/biere/dinphil/dp09u08.shuffled.cnf MUS | SAT02/industrial/dellacherie/comb/comb2.shuffled.cnf MUS | SAT02/industrial/dellacherie/fifo8/fifo8_100.shuffled.cnf MUS | SAT02/industrial/dellacherie/fifo8/fifo8_300.shuffled.cnf MUS | SAT02/industrial/dellacherie/w08/w08_10.shuffled.cnf MUS | SAT02/industrial/dellacherie/w10/w10_70.shuffled.cnf MUS | SAT02/industrial/goldberg/bmc1/23.shuffled.cnf MUS | SAT02/industrial/goldberg/bmc1/42.shuffled.cnf MUS | SAT02/industrial/goldberg/fpga_routing/c499_gr_rcs_w5.shuffled.cnf MUS | SAT02/industrial/goldberg/fpga_routing/c880_gr_rcs_w6.shuffled.cnf MUS | SAT02/industrial/goldberg/fpga_routing/term1_gr_rcs_w3.shuffled.cnf MUS | SAT02/industrial/goldberg/fpga_routing/too_large_gr_rcs_w5.shuffled.cnf MUS | SAT02/industrial/goldberg/fpga_routing/too_large_gr_rcs_w6.shuffled.cnf MUS | SAT02/industrial/goldberg/rand_net/rand_net40-25-10.shuffled.cnf MUS | SAT02/industrial/goldberg/rand_net/rand_net40-25-1.shuffled.cnf MUS | SAT02/industrial/goldberg/rand_net/rand_net40-25-5.shuffled.cnf MUS | SAT02/industrial/goldberg/rand_net/rand_net40-30-5.shuffled.cnf MUS | SAT02/industrial/goldberg/rand_net/rand_net50-25-5.shuffled.cnf MUS | SAT02/industrial/goldberg/rand_net/rand_net50-30-1.shuffled.cnf MUS | SAT02/industrial/goldberg/rand_net/rand_net50-40-5.shuffled.cnf MUS | SAT02/industrial/goldberg/rand_net/rand_net60-25-5.shuffled.cnf MUS | SAT02/industrial/goldberg/rand_net/rand_net60-30-10.shuffled.cnf MUS | SAT02/industrial/goldberg/rand_net/rand_net70-25-1.shuffled.cnf MUS | SAT02/industrial/goldberg/rand_net/rand_net70-25-5.shuffled.cnf MUS | SAT02/industrial/goldberg/rand_net/rand_net70-30-1.shuffled.cnf MUS | SAT02/industrial/goldberg/rand_net/rand_net70-60-1.shuffled.cnf MUS | SAT03/industrial/goldberg/hard_eq_check/c7552mul.miter.shuffled-as.sat03-347.cnf MUS | SAT03/industrial/kukula/addm_bench/am_4_4.shuffled-as.sat03-360.cnf MUS | SAT03/industrial/kukula/addm_bench/am_5_5.shuffled-as.sat03-361.cnf MUS | SAT04/industrial/hoonsang/vis-bmc/luckySeven.used-as.sat04-990.cnf MUS | SAT07/industrial/anbulagan/medium-unsat/total-5-11-u.cnf MUS | SAT07/industrial/babic/dspam/dspam_dump_vc1081.cnf MUS | SAT07/industrial/babic/dspam/dspam_dump_vc1093.cnf MUS | SAT07/industrial/babic/dspam/dspam_dump_vc950.cnf MUS | SAT07/industrial/babic/dspam/dspam_dump_vc972.cnf MUS | SAT07/industrial/babic/hsatv17/hsat_vc11803.cnf MUS | SAT07/industrial/babic/hsatv17/hsat_vc11817.cnf MUS | SAT07/industrial/babic/hsatv17/hsat_vc11944.cnf MUS | SAT07/industrial/babic/hsatv17/hsat_vc12016.cnf MUS | SAT07/industrial/babic/hsatv17/hsat_vc12072.cnf MUS | SAT07/industrial/babic/xinetd/xinetd_vc56687.cnf MUS | SAT07/industrial/babic/xinetd/xinetd_vc56703.cnf MUS | SAT07/industrial/jarvisalo/eq.atree.braun.7.unsat.cnf MUS | SAT07/industrial/palacios/uts/uts-l05-ipc5-h26-unsat.cnf MUS | SAT07/industrial/palacios/uts/uts-l06-ipc5-h28-unknown.cnf MUS | SAT07/industrial/palacios/uts/uts-l06-ipc5-h31-unknown.cnf MUS | SAT09/APPLICATIONS/bitverif/icbrt/icbrt2_32.cnf MUS | SAT09/APPLICATIONS/bitverif/maxand/maxand032.cnf MUS | SAT09/APPLICATIONS/bitverif/maxor/maxor032.cnf MUS | SAT09/APPLICATIONS/bitverif/minand/minand016.cnf MUS | SAT09/APPLICATIONS/bitverif/minand/minand064.cnf MUS | SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand032.cnf MUS | SAT09/APPLICATIONS/bitverif/minxor/minxor032.cnf MUS | SAT09/APPLICATIONS/bitverif/mulhs/mulhs008.cnf MUS | SAT09/APPLICATIONS/bitverif/smulo/smulo016.cnf MUS | SAT09/APPLICATIONS/c32sat/post-cbmc-aes-d-r1-noholes.cnf MUS | SAT09/APPLICATIONS/crypto/md5gen/gus-md5-05.cnf MUS | SAT09/APPLICATIONS/crypto/md5gen/gus-md5-06.cnf MUS | SAT09/APPLICATIONS/diagnosis/ACG-10-10t0.cnf MUS | SAT09/APPLICATIONS/diagnosis/ACG-10-5p0.cnf MUS | SAT09/APPLICATIONS/diagnosis/ACG-20-5t0.cnf MUS | SAT09/APPLICATIONS/diagnosis/UCG-10-10t0.cnf MUS | SAT09/APPLICATIONS/diagnosis/UCG-20-5t0.cnf MUS | SAT09/APPLICATIONS/diagnosis/UR-10-10t0.cnf MUS | SAT09/APPLICATIONS/diagnosis/UR-10-5p0.cnf MUS | SAT09/APPLICATIONS/diagnosis/UR-15-10t0.cnf MUS | SAT09/APPLICATIONS/diagnosis/UR-15-5t0.cnf MUS | SAT09/APPLICATIONS/diagnosis/UR-20-5t0.cnf MUS | SAT09/APPLICATIONS/diagnosis/UTI-20-5t0.cnf MUS | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_06_UNSAT.cnf MUS | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top20.cnf MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-nusmvguidancep9-tseitin.cnf MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-nusmvtcastp2-tseitin.cnf MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp0neg-tseitin.cnf MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvguidancep1-tseitin.cnf MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-viscoherencep3-tseitin.cnf MUS | SAT11/application/leberre/2dimensionalstrippacking/E00N10.cnf MUS | SAT11/application/leberre/2dimensionalstrippacking/E00N15.cnf MUS | SAT11/application/leberre/2dimensionalstrippacking/E03N15.cnf MUS | SAT11/application/leberre/2dimensionalstrippacking/E04F15.cnf MUS | SAT11/application/leberre/2dimensionalstrippacking/E04N18.cnf MUS | SAT11/application/leberre/2dimensionalstrippacking/E05N15.cnf MUS | SAT11/application/leberre/2dimensionalstrippacking/E07N10.cnf MUS | SAT11/application/leberre/2dimensionalstrippacking/E10N10.cnf MUS | SAT11/application/leberre/2dimensionalstrippacking/E10X15.cnf MUS | SAT11/application/leberre/2dimensionalstrippacking/E13N10.cnf MUS | SAT11/application/leberre/2dimensionalstrippacking/E13X15.cnf MUS | SAT11/application/leberre/2dimensionalstrippacking/E15N10.cnf MUS | SAT11/application/leberre/2dimensionalstrippacking/E15N15.cnf MUS | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.010-NOTKNOWN.cnf MUS | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.010-NOTKNOWN.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b14_134.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b14_141.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b14_210.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b15_291.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b15_294.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b15_296.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b15_303.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b15_304.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b15_307.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b15_421.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b15_463.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b17_1037.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b17_1324.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b17_1327.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b17_1456.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b17_420.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b20_141.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b20_171.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b20_238.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b20_240.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b20_341.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b20_349.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b20_381.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b20_388.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b20_424.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b20_492.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b20_498.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b21_111.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b21_112.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b21_167.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b21_242.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b21_250.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b21_359.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b21_422.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b21_481.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b21_486.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b21_96.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b22_102.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b22_113.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b22_133.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b22_141.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b22_162.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b22_172.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b22_241.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b22_355.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b22_356.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b22_488.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b22_600.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b22_662.cnf MUS | SAT11/mus/chen/fdmus_v100/fdmus_b22_669.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_20259_10.cnf_0.48000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_20259_8.cnf_0.39000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_20403_10.cnf_0.03000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_20403_12.cnf_0.08000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_20403_8.cnf_0.03000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_22134_10.cnf_0.47000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_22134_8.cnf_0.38000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_24095_8.cnf_0.21000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_25208_10.cnf_0.58000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_25208_14.cnf_37.38000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_28491_10.cnf_0.46000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_28491_12.cnf_0.50000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_28491_6.cnf_0.31000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_2948_14.cnf_0.97000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_5371_10.cnf_0.46000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_5371_12.cnf_0.50000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_5371_4.cnf_0.21000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_5371_6.cnf_0.30000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_9789_21.cnf_46.05000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_9789_6.cnf_0.31000000.unsat.cnf MUS | SAT11/mus/marques-silva/abstraction-refinement-intel/edn_9789_8.cnf_0.51000000.unsat.cnf MUS | SAT11/mus/marques-silva/atpg/bf1355-123.cnf MUS | SAT11/mus/marques-silva/atpg/bf1355-127.cnf MUS | SAT11/mus/marques-silva/atpg/bf1355-227.cnf MUS | SAT11/mus/marques-silva/atpg/bf1355-228.cnf MUS | SAT11/mus/marques-silva/atpg/bf1355-359.cnf MUS | SAT11/mus/marques-silva/atpg/bf1355-445.cnf MUS | SAT11/mus/marques-silva/atpg/bf1355-446.cnf MUS | SAT11/mus/marques-silva/atpg/bf1355-462.cnf MUS | SAT11/mus/marques-silva/atpg/bf1355-466.cnf MUS | SAT11/mus/marques-silva/atpg/bf1355-530.cnf MUS | SAT11/mus/marques-silva/atpg/bf1355-598.cnf MUS | SAT11/mus/marques-silva/atpg/bf1355-621.cnf MUS | SAT11/mus/marques-silva/atpg/bf1355-665.cnf MUS | SAT11/mus/marques-silva/atpg/bf1355-666.cnf MUS | SAT11/mus/marques-silva/atpg/bf1355-741.cnf MUS | SAT11/mus/marques-silva/atpg/ssa2670-129.cnf MUS | SAT11/mus/marques-silva/atpg/ssa2670-132.cnf MUS | SAT11/mus/marques-silva/atpg/ssa2670-133.cnf MUS | SAT11/mus/marques-silva/atpg/ssa2670-140.cnf MUS | SAT11/mus/marques-silva/bmc-aerielogic/fifo4_33.cnf MUS | SAT11/mus/marques-silva/bmc-aerielogic/w10_45.shuffled.cnf MUS | SAT11/mus/marques-silva/bmc-default/barrel2.cnf MUS | SAT11/mus/marques-silva/bmc-default/barrel6.cnf MUS | SAT11/mus/marques-silva/bmc-default/barrel7.cnf MUS | SAT11/mus/marques-silva/bmc-default/longmult0.cnf MUS | SAT11/mus/marques-silva/bmc-default/longmult6.cnf MUS | SAT11/mus/marques-silva/bmc-default/longmult7.cnf MUS | SAT11/mus/marques-silva/bmc-default/longmult9.cnf MUS | SAT11/mus/marques-silva/bmc-default/queueinvar12.cnf MUS | SAT11/mus/marques-silva/bmc-default/queueinvar14.cnf MUS | SAT11/mus/marques-silva/bmc-default/queueinvar20.cnf MUS | SAT11/mus/marques-silva/bmc-default/queueinvar4.cnf MUS | SAT11/mus/marques-silva/bmc-default/queueinvar8.cnf MUS | SAT11/mus/marques-silva/design-debugging/c1_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/c1_DD_s3_f1_e2_v1-bug-onevec-gate-0.dimacs.seq.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/c4_DD_s3_f1_e2_v1-bug-onevec-gate-0.dimacs.seq.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/c5315-bug-gate-0.dimacs.seq.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/c5_DD_s3_f1_e1_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/c5_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/c5_DD_s3_f1_e1_v2-bug-gate-0.dimacs.seq.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/c6_DD_s3_f1_e1_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/c6_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/c7552-bug-gate-0.dimacs.seq.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/divider-problem.dimacs_1.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/divider-problem.dimacs_2.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/divider-problem.dimacs_5.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/divider-problem.dimacs_7.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/divider-problem.dimacs_9.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/dividers11.dimacs.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/dividers3.dimacs.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/dividers7.dimacs.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/dividers9.dimacs.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/fpu1-problem.dimacs_13.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/fpu2-problem.dimacs_16.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/mem_ctrl-debug.dimacs.cnf MUS | SAT11/mus/marques-silva/design-debugging/mem_ctrl-problem.dimacs_27.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/mot_comb3._red-gate-0.dimacs.seq.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/mrisc_mem2wire-problem.dimacs_29.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/rsdecoder4.dimacs.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/rsdecoder6.dimacs.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/rsdecoder_fsm1.dimacs.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/rsdecoder_multivec1.dimacs.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/rsdecoder-problem.dimacs_31.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/rsdecoder-problem.dimacs_37.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/rsdecoder-problem.dimacs_38.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/rsdecoder-problem.dimacs_39.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/s38584-bug-onevec-gate-0.dimacs.seq.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/SM_RX_TOP.dimacs.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/wb2.dimacs.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/wb_4m8s1.dimacs.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/wb_conmax3.dimacs.filtered.cnf MUS | SAT11/mus/marques-silva/design-debugging/wb-debug.dimacs.cnf MUS | SAT11/mus/marques-silva/design-debugging/wb-problem.dimacs_46.filtered.cnf MUS | SAT11/mus/marques-silva/equivalence-checking/c2670.cnf MUS | SAT11/mus/marques-silva/equivalence-checking/c3540-s.cnf MUS | SAT11/mus/marques-silva/equivalence-checking/c5315-s.cnf MUS | SAT11/mus/marques-silva/equivalence-checking/c7552.cnf MUS | SAT11/mus/marques-silva/fpga-routing/9symml_gr_2pin_w5.shuffled.cnf MUS | SAT11/mus/marques-silva/fpga-routing/alu2_gr_rcs_w7.shuffled.cnf MUS | SAT11/mus/marques-silva/fpga-routing/apex7_gr_2pin_w4.shuffled.cnf MUS | SAT11/mus/marques-silva/fpga-routing/c499_gr_2pin_w5.shuffled.cnf MUS | SAT11/mus/marques-silva/fpga-routing/example2_gr_rcs_w5.shuffled.cnf MUS | SAT11/mus/marques-silva/fpga-routing/term1_gr_2pin_w3.shuffled.cnf MUS | SAT11/mus/marques-silva/fpga-routing/too_large_gr_rcs_w6.shuffled.cnf MUS | SAT11/mus/marques-silva/fpga-routing/vda_gr_rcs_w7.shuffled.cnf MUS | SAT11/mus/marques-silva/hardware-verification/3pipe_1_ooo.cnf MUS | SAT11/mus/marques-silva/hardware-verification/4pipe_1_ooo.cnf MUS | SAT11/mus/marques-silva/hardware-verification/4pipe_3_ooo.cnf MUS | SAT11/mus/marques-silva/hardware-verification/4pipe_4_ooo.cnf MUS | SAT11/mus/marques-silva/hardware-verification/c10nidw_s.cnf MUS | SAT11/mus/marques-silva/hardware-verification/c6bidw_s.cnf MUS | SAT11/mus/marques-silva/hardware-verification/c6n_s.cnf MUS | SAT11/mus/marques-silva/hardware-verification/c7b_s.cnf MUS | SAT11/mus/marques-silva/hardware-verification/c7n_s.cnf MUS | SAT11/mus/marques-silva/hardware-verification/c8bidw_s.cnf MUS | SAT11/mus/marques-silva/hardware-verification/c8idw_s.cnf MUS | SAT11/mus/marques-silva/hardware-verification/dlx2_aa.cnf MUS | SAT11/mus/marques-silva/hardware-verification/dlx2_ca.cnf MUS | SAT11/mus/marques-silva/hardware-verification/dlx2_cc.cnf MUS | SAT11/mus/marques-silva/hardware-verification/elf.rf7.ucl.sat.chaff.4.1.bryant.cnf MUS | SAT11/mus/marques-silva/hardware-verification/f6b.cnf MUS | SAT11/mus/marques-silva/hardware-verification/f6n.cnf MUS | SAT11/mus/marques-silva/hardware-verification/f7b.cnf MUS | SAT11/mus/marques-silva/hardware-verification/f7.cnf MUS | SAT11/mus/marques-silva/hardware-verification/g6b.cnf MUS | SAT11/mus/marques-silva/hardware-verification/g6bid.cnf MUS | SAT11/mus/marques-silva/hardware-verification/g6n.cnf MUS | SAT11/mus/marques-silva/hardware-verification/g7b.cnf MUS | SAT11/mus/marques-silva/hardware-verification/g7n.cnf MUS | SAT11/mus/marques-silva/hardware-verification/ooo.rf8.ucl.sat.chaff.4.1.bryant.cnf MUS | SAT11/mus/marques-silva/hardware-verification/ooo.tag10.ucl.sat.chaff.4.1.bryant.cnf MUS | SAT11/mus/marques-silva/hardware-verification/ooo.tag12.ucl.sat.chaff.4.1.bryant.cnf MUS | SAT11/mus/marques-silva/product-configuration/C168_FW_UT_851.cnf MUS | SAT11/mus/marques-silva/product-configuration/C202_FW_SZ_61.cnf MUS | SAT11/mus/marques-silva/product-configuration/C208_FA_UT_3254.cnf MUS | SAT11/mus/marques-silva/product-configuration/C210_FW_UT_8630.cnf MUS | SAT11/mus/marques-silva/software-verification/bin_libsmbsharemodes_vc4083.cnf MUS | SAT11/mus/marques-silva/software-verification/cvs_vc81760.cnf MUS | SAT11/mus/marques-silva/software-verification/dspam_dump_vc1093.cnf MUS | SAT11/mus/marques-silva/software-verification/dspam_dump_vc949.cnf MUS | SAT11/mus/marques-silva/software-verification/dspam_dump_vc950.cnf MUS | SAT11/mus/marques-silva/software-verification/dspam_dump_vc962.cnf MUS | SAT11/mus/marques-silva/software-verification/dspam_dump_vc973.cnf MUS | SAT11/mus/marques-silva/software-verification/hsat_vc11813.cnf MUS | SAT11/mus/marques-silva/software-verification/hsat_vc12016.cnf MUS | SAT11/mus/marques-silva/software-verification/hsat_vc12070.cnf MUS | SAT11/mus/marques-silva/software-verification/hsat_vc12072.cnf MUS | SAT11/mus/marques-silva/software-verification/itox_vc1216.cnf MUS | SAT11/mus/marques-silva/software-verification/itox_vc965.cnf (300 rows)