instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_33_1_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_42_0_1_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_0_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_1_0_0_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_30_0_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_0_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_18_1_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_16_0_0_0_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_43_0_1_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_39_1_0_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_22_1_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_0_0_0_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_1_0_0_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_16_1_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_25_1_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_1_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_43_0_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_25_0_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_1_0_0_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_0_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_33_0_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_17_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_1_0_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_0_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_0_0_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_0_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_14_1_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_17_0_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_34_0_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_22_1_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_44_1_0_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_22_0_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_12_0_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_25_0_0_0_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_12_0_0_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_14_1_0_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_15_0_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_42_1_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_25_0_0_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_23_1_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_41_0_1_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_12_1_1_0_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_0_0_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_39_1_0_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_1_0_0_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_0_0_0_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_19_1_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_26_1_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_49_0_0_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_44_1_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_0_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_48_1_0_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_45_1_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_34_1_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_26_0_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_15_0_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_30_0_1_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_0_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_0_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_22_0_0_0_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_48_1_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_26_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_16_0_0_0_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_37_0_1_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_22_1_0_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_49_1_1_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_0_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_42_0_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_12_1_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_1_1_0_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_31_1_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_44_1_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_39_0_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_0_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_15_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_12_0_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_1_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_29_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_35_1_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_27_0_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_0_0_0_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_47_1_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_35_0_0_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_49_1_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_36_1_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_0_1_0_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_0_0_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_12_1_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_17_1_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_1_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_40_1_0_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_31_0_0_0_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_21_1_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_14_0_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_15_0_0_0_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_18_0_0_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_49_1_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_1_0_0_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_17_1_0_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_18_1_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_36_0_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_12_1_1_0_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_17_1_0_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_19_0_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_35_1_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_22_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_0_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_18_0_0_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_0_0_0_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_40_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_1_1_0_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_34_1_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_49_0_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_15_0_0_0_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_33_0_0_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_15_0_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_21_0_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_48_1_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_34_0_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_14_0_0_0_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_0_1_0_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_0_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_48_0_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_14_1_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_40_1_0_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_19_0_0_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_36_0_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_35_0_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_22_1_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_31_1_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_1_0_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_37_1_0_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_30_1_0_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_1_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_33_1_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_34_0_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_50_0_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_35_0_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_15_0_0_0_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_46_0_1_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_25_0_0_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_36_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_39_1_1_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_21_0_0_0_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_42_1_1_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_23_1_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_1_1_0_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_0_1_0_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_18_0_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_50_1_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_1_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_37_1_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_29_1_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_36_0_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_34_1_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_40_1_0_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_16_0_0_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_1_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_31_0_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_0_0_0_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_18_0_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_42_0_0_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_1_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_43_0_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_46_1_1_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_0_1_0_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_48_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_29_1_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_40_0_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_40_1_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_15_0_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_34_1_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_45_0_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_30_1_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_23_0_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_29_1_1_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_17_1_0_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_21_1_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_26_0_0_0_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_29_1_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_14_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_29_0_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_38_0_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_1_1_0_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_41_1_1_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_23_0_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_18_0_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_23_0_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_0_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_0_0_0_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_22_0_0_0_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_34_0_0_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_29_0_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_41_0_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_27_1_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_0_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_48_0_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_0_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_1_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_26_0_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_25_1_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_1_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_37_0_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_0_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_42_1_0_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_1_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_1_0_0_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_14_0_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_42_0_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_39_1_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_23_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_26_0_0_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_29_0_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_0_0_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_37_1_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_14_0_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_18_0_0_0_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_25_0_0_0_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_15_0_0_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_27_0_0_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_25_0_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_0_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_26_1_0_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_30_0_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_0_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_50_1_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_22_0_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_0_0_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_14_0_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_14_1_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_46_1_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_46_1_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_23_0_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_33_1_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_0_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_50_1_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_0_1_0_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_34_1_0_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_15_1_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_43_1_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_1_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_0_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_45_1_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_21_0_0_0_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_22_1_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_36_1_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_0_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_1_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_18_1_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_19_0_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_45_0_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_44_0_0_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_0_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_0_1_0_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_42_0_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_29_0_0_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_12_0_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_0_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_23_0_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_42_1_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_1_0_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_45_0_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_41_0_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_1_0_0_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_0_0_0_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_1_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_0_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_17_0_0_0_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_34_0_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_39_1_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_0_0_0_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_1_0_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_46_0_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_31_0_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_23_0_0_0_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_14_0_0_0_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_27_1_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_43_1_1_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_14_1_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_0_0_0_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_38_0_0_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_19_0_0_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_1_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_45_0_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_0_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_1_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_17_1_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_47_0_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_1_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_18_0_0_0_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_42_1_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_36_1_0_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_47_1_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_29_0_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_30_0_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_49_0_0_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_31_1_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_35_0_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_48_1_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_21_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_49_0_1_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_44_1_1_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_12_0_1_0_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_12_0_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_31_0_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_1_0_0_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_0_0_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_47_1_1_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_31_1_0_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_41_0_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_31_1_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_46_1_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_47_0_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_45_0_0_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_0_0_0_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_21_1_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_15_1_0_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_0_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_0_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_33_0_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_47_1_1_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_15_0_0_0_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_43_0_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_1_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_38_0_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_36_1_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_12_0_1_0_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_34_1_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_25_1_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_43_0_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_0_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_26_0_0_0_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_41_1_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_0_0_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_16_1_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_25_0_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_27_1_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_33_1_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_48_1_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_18_0_0_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_0_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_45_1_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_37_1_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_30_0_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_30_0_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_18_0_0_0_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_27_0_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_37_1_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_15_1_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_1_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_0_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_22_1_0_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_40_0_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_35_0_1_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_38_1_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_29_1_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_18_0_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_1_1_0_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_49_0_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_1_1_0_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_22_0_0_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_30_0_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_26_0_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_0_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_0_0_0_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_0_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_29_1_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_18_0_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_43_1_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_0_1_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_19_0_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_42_0_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_36_0_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_1_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_33_1_0_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_35_1_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_12_1_0_0_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_36_1_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_0_0_0_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_1_1_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_27_1_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_38_0_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_26_0_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_49_0_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_30_1_1_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_26_1_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_26_1_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_0_0_0_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_1_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_25_0_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_30_1_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_14_0_0_0_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_31_0_0_0_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_37_0_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_22_0_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_25_1_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_41_0_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_46_0_1_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_1_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_23_1_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_0_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_40_1_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_0_0_0_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_1_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_19_0_0_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_0_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_1_0_0_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_37_0_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_36_0_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_0_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_1_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_30_1_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_0_1_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_17_0_0_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_16_0_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_25_1_0_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_50_1_0_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_1_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_44_0_1_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_0_0_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_40_0_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_1_0_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_0_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_41_0_0_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_17_1_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_29_0_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_16_1_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_1_0_0_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_31_0_1_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_0_0_0_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_34_1_0_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_26_1_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_38_1_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_34_0_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_13_0_0_0_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_50_0_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_23_0_0_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_39_0_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_36_1_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_18_0_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_30_1_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_33_1_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_48_1_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_22_0_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_0_0_0_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_11_1_1_0_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_0_1_0_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_1_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_28_0_0_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_15_0_1_0_0_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_34_1_1_1_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_19_0_0_0_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_30_1_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_14_0_0_0_1_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_1_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_49_1_0_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_44_1_1_1_1_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_46_0_0_1_1_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_36_1_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_16_0_0_0_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_36_1_0_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_24_0_0_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_31_1_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_33_0_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_50_1_0_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_23_1_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_1_0_0_0_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_39_1_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_32_1_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_50_0_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_0_0_0_0_pairwise.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_0_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_15_0_0_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_1_1_0_0_commander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_44_0_1_1_1_bimander.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_10_1_1_0_0_bdd.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_42_0_1_1_1_nested.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_50_1_1_1_1_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_20_0_1_0_0_2product.cnf
instances/sat/data/QUEENS-CSSC14/instances/Sat_Data/nqueen/nqueen_25_1_1_0_0_bimander.cnf
