/data/benchmarks/mse21_complete_unwt/opb/security-witness_paxian/unweighted/RSN_Security_Min_Witness-Direct-FlexScan-D4.opb
/data/benchmarks/mse21_complete_unwt/opb/security-witness_paxian/unweighted/RSN_Security_Min_Witness-Direct-FlexScan-DF.opb
/data/benchmarks/mse21_complete_unwt/opb/security-witness_paxian/unweighted/RSN_Security_Min_Witness-Direct-FlexScan-DA.opb
/data/benchmarks/mse21_complete_unwt/opb/security-witness_paxian/unweighted/RSN_Security_Min_Witness-Direct-FlexScan-D0.opb
/data/benchmarks/mse21_complete_unwt/opb/security-witness_paxian/unweighted/RSN_Security_Min_Witness-Direct-FlexScan-DB.opb
/data/benchmarks/mse21_complete_unwt/opb/CircuitTraceCompaction/ctrl.opb
/data/benchmarks/mse21_complete_unwt/opb/security-witness_paxian/unweighted/RSN_Security_Min_Witness-Direct-FlexScan-D9.opb
/data/benchmarks/mse21_complete_unwt/opb/program_disambiguation-Ramos/Q29_OPTIONS_1.opb
/data/benchmarks/mse21_complete_unwt/opb/program_disambiguation-Ramos/Q6_YESNO_3.opb
/data/benchmarks/mse21_complete_unwt/opb/pseudoBoolean/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb.msat.opb
/data/benchmarks/mse21_complete_unwt/opb/pseudoBoolean/primes-dimacs-cnf/normalized-hanoi4.opb.msat.opb
/data/benchmarks/mse21_complete_unwt/opb/pseudoBoolean/primes-dimacs-cnf/normalized-par16-1.opb.msat.opb
/data/benchmarks/mse21_complete_unwt/opb/pseudoBoolean/primes-dimacs-cnf/normalized-par16-2.opb.msat.opb
/data/benchmarks/mse21_complete_unwt/opb/pseudoBoolean/primes-dimacs-cnf/normalized-par16-4.opb.msat.opb
/data/benchmarks/mse21_complete_unwt/opb/scheduling_xiaojuan/lam20-n500-p13-frag3/20-500-83.opb
/data/benchmarks/mse21_complete_unwt/opb/frb/frb25-13-2.partial.opb
/data/benchmarks/mse21_complete_unwt/opb/frb/frb35-17-4.partial.opb
/data/benchmarks/mse21_complete_unwt/opb/frb/frb30-15-5.partial.opb
/data/benchmarks/mse21_complete_unwt/opb/frb/frb35-17-5.partial.opb
/data/benchmarks/mse21_complete_unwt/opb/frb/frb25-13-4.partial.opb
/data/benchmarks/mse21_complete_unwt/opb/frb/frb30-15-2.partial.opb
/data/benchmarks/mse21_complete_unwt/opb/frb/frb30-15-1.partial.opb
/data/benchmarks/mse21_complete_unwt/opb/frb/frb25-13-5.partial.opb
/data/benchmarks/mse21_complete_unwt/opb/frb/frb25-13-3.partial.opb
/data/benchmarks/mse21_complete_unwt/opb/RBAC_marco.mori/violations/role_domino_0.0_11.opb
/data/benchmarks/mse21_complete_unwt/opb/RBAC_marco.mori/violations/role_domino_0.0_12.opb
/data/benchmarks/mse21_complete_unwt/opb/RBAC_marco.mori/violations/role_university_0.0_6.opb
/data/benchmarks/mse21_complete_unwt/opb/RBAC_marco.mori/violations/role_domino_0.0_6.opb
/data/benchmarks/mse21_complete_unwt/opb/RBAC_marco.mori/violations/role_domino_0.0_10.opb
/data/benchmarks/mse21_complete_unwt/opb/RBAC_marco.mori/violations/role_university_0.0_2.opb
/data/benchmarks/mse21_complete_unwt/opb/RBAC_marco.mori/violations/role_university_0.0_4.opb
/data/benchmarks/mse21_complete_unwt/opb/RBAC_marco.mori/multiple/role_university_multiple_0.0_0.opb
/data/benchmarks/mse21_complete_unwt/opb/RBAC_marco.mori/multiple/role_university_multiple_0.0_2.opb
/data/benchmarks/mse21_complete_unwt/opb/drmx-atmostk/drmx-am28-outof-60-etot.opb
/data/benchmarks/mse21_complete_unwt/opb/drmx-atmostk/drmx-am20-outof-50-ecardn.opb
/data/benchmarks/mse21_complete_unwt/opb/drmx-atmostk/drmx-am20-outof-50-ekmtot.opb
/data/benchmarks/mse21_complete_unwt/opb/drmx-atmostk/drmx-am12-outof-40-ecardn.opb
/data/benchmarks/mse21_complete_unwt/opb/drmx-atmostk/drmx-am32-outof-70-esortn.opb
/data/benchmarks/mse21_complete_unwt/opb/drmx-atmostk/drmx-am28-outof-60-emtot.opb
/data/benchmarks/mse21_complete_unwt/opb/drmx-atmostk/drmx-am20-outof-50-eseqc.opb
/data/benchmarks/mse21_complete_unwt/opb/drmx-atmostk/drmx-am28-outof-60-ekmtot.opb
/data/benchmarks/mse21_complete_unwt/opb/drmx-atmostk/drmx-am16-outof-45-emtot.opb
/data/benchmarks/mse21_complete_unwt/opb/drmx-atmostk/drmx-am32-outof-70-etot.opb
/data/benchmarks/mse21_complete_unwt/opb/drmx-atmostk/drmx-am16-outof-45-ecardn.opb
/data/benchmarks/mse21_complete_unwt/opb/mbd/b17_C-mbd14-0348.opb
/data/benchmarks/mse21_complete_unwt/opb/mbd/b20_C-mbd14-0238.opb
/data/benchmarks/mse21_complete_unwt/opb/mbd/b20_C-mbd14-0259.opb
/data/benchmarks/mse21_complete_unwt/opb/mbd/b17_C-mbd14-0390.opb
/data/benchmarks/mse21_complete_unwt/opb/mbd/b20_C-mbd14-0359.opb
/data/benchmarks/mse21_complete_unwt/opb/mbd/b21_C-mbd14-0230.opb
/data/benchmarks/mse21_complete_unwt/opb/mbd/b21_C-mbd14-0347.opb
/data/benchmarks/mse21_complete_unwt/opb/mbd/b21_C-mbd14-0381.opb
/data/benchmarks/mse21_complete_unwt/opb/mbd/b21_C-mbd14-0374.opb
/data/benchmarks/mse21_complete_unwt/opb/MaxSATQueriesinInterpretableClassifiers/wcnf_gz/parkinsons_train_6_DNF_3_1.opb
/data/benchmarks/mse21_complete_unwt/opb/protein_ins/6ebx_.1era_.g.wcnf.t.opb
/data/benchmarks/mse21_complete_unwt/opb/protein_ins/1bpi_.2knt_.g.wcnf.t.opb
/data/benchmarks/mse21_complete_unwt/opb/protein_ins/1knt_.5pti_.g.wcnf.t.opb
/data/benchmarks/mse21_complete_unwt/opb/protein_ins/3ebx_.1era_.g.wcnf.t.opb
/data/benchmarks/mse21_complete_unwt/opb/protein_ins/sandiaprotein.g.wcnf.t.opb
/data/benchmarks/mse21_complete_unwt/opb/protein_ins/1knt_.2knt_.g.wcnf.t.opb
/data/benchmarks/mse21_complete_unwt/opb/protein_ins/1bpi_.5pti_.g.wcnf.t.opb
/data/benchmarks/mse21_complete_unwt/opb/protein_ins/2knt_.5pti_.g.wcnf.t.opb
/data/benchmarks/mse21_complete_unwt/opb/protein_ins/3ebx_.6ebx_.g.wcnf.t.opb
/data/benchmarks/mse21_complete_unwt/opb/protein_ins/1knt_.1bpi_.g.wcnf.t.opb
/data/benchmarks/mse21_complete_unwt/opb/protein_ins/p1.wcnf.t.opb
/data/benchmarks/mse21_complete_unwt/opb/ConsistentQueryAnswering/real-6.opb
/data/benchmarks/mse21_complete_unwt/opb/ConsistentQueryAnswering/real-2.opb
/data/benchmarks/mse21_complete_unwt/opb/gen-hyper-tw/GenHyperTW_b02.opb
/data/benchmarks/mse21_complete_unwt/opb/gen-hyper-tw/GenHyperTW_grid5.opb
/data/benchmarks/mse21_complete_unwt/opb/bcp/hipp-yRa1/simp/simp-ibd_45.07.opb
/data/benchmarks/mse21_complete_unwt/opb/bcp/hipp-yRa1/su/SU-100kb__simp-genos.haps.24.opb
/data/benchmarks/mse21_complete_unwt/opb/MaximumCommonSub-GraphExtraction/solved/g4_n47e57_n48e52_n133e169_n141e184.opb
/data/benchmarks/mse21_complete_unwt/opb/MaximumCommonSub-GraphExtraction/solved/g2_n58e76_n72e90.opb
/data/benchmarks/mse21_complete_unwt/opb/HaplotypeAssembly/splitedReads_160.matrix.opb
/data/benchmarks/mse21_complete_unwt/opb/HaplotypeAssembly/splitedReads_18.matrix.opb
/data/benchmarks/mse21_complete_unwt/opb/HaplotypeAssembly/splitedReads_414.matrix.opb
/data/benchmarks/mse21_complete_unwt/opb/HaplotypeAssembly/splitedReads_137.matrix.opb
/data/benchmarks/mse21_complete_unwt/opb/planning-bnn/navigation_3x3_4.opb
/data/benchmarks/mse21_complete_unwt/opb/optic/gen_cvc-add3-bw3_33.opb
/data/benchmarks/mse21_complete_unwt/opb/min-fill/MinFill_R5_jean.opb
/data/benchmarks/mse21_complete_unwt/opb/maxone/structured/3col120_5_7.shuffled.cnf.opb
/data/benchmarks/mse21_complete_unwt/opb/maxone/structured/3col120_5_1.shuffled.cnf.opb
/data/benchmarks/mse21_complete_unwt/opb/maxone/structured/3col120_5_4.shuffled.cnf.opb
/data/benchmarks/mse21_complete_unwt/opb/maxone/structured/3col120_5_3.shuffled.cnf.opb
/data/benchmarks/mse21_complete_unwt/opb/maxone/structured/3col120_5_5.shuffled.cnf.opb
/data/benchmarks/mse21_complete_unwt/opb/SeanSafarpour/divider-problem.dimacs_8.filtered.opb
/data/benchmarks/mse21_complete_unwt/opb/SeanSafarpour/SM_RX_TOP.dimacs.filtered.opb
/data/benchmarks/mse21_complete_unwt/opb/close_solutions/SAT04__industrial__vangelder__cnf-color__abb313GPIA-9-tr.used-as.sat04-321.cnf.wcnf.6.opb
/data/benchmarks/mse21_complete_unwt/opb/close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-12.cnf.wcnf.3.opb
/data/benchmarks/mse21_complete_unwt/opb/treewidth-computation/TWComp_water_N32.opb
/data/benchmarks/mse21_complete_unwt/opb/treewidth-computation/TWComp_mildew_35.opb
/data/benchmarks/mse21_complete_unwt/opb/treewidth-computation/TWComp_jean_N77.opb
/data/benchmarks/mse21_complete_unwt/opb/reversi/rev44-10.opb
/data/benchmarks/mse21_complete_unwt/opb/reversi/rev44-12.opb
/data/benchmarks/mse21_complete_unwt/opb/optic/gen_add_5_carry_399.opb
/data/benchmarks/mse21_complete_unwt/opb/optic/gen_alldiff_3_cook_991.opb
/data/benchmarks/mse21_complete_unwt/opb/optic/gen_mult_5_5_299.opb
/data/benchmarks/mse21_complete_unwt/opb/optic/gen_cvc-plus_4_991.opb
/data/benchmarks/mse21_complete_unwt/opb/optic/gen_cvc-mult4_4_991.opb
/data/benchmarks/mse21_complete_unwt/opb/reversi/rev66-2.opb