instances/Sat_Data/GI/iso_b03m_s100.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s100.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_s81.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s60.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s81.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c2_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s100.AB08.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s16.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s100.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s80.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num7.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c4_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s36.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_s81.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s40.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m1296.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c3_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s100.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c3_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s80.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s40.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s40.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_s16.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c4_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_m200.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c3_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_s81.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c3_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num30.cnf UNKNOWN
instances/Sat_Data/GI/crafted_n14_d3_c3_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s64.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c2_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_m1296.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m1296.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c2_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_m200.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s100.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s16.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m1296.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_s16.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num5.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s20.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m200.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c2_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m400.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num7.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c3_num22.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num27.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m400.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m400.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s20.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s40.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m400.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_m200.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c3_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c2_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m1296.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num6.cnf UNKNOWN
instances/Sat_Data/GI/iso_b03_s100.AB08.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_s16.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s80.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_m200.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m625.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m576.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c2_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s80.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s20.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num27.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s40.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s60.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s20.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m400.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c3_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m1000.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m256.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s64.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s100.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s64.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s40.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/chh1-1.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c3_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m800.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s40.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c4_num5.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s20.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c3_num18.cnf UNKNOWN
instances/Sat_Data/GI/iso_b03m_s60.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s20.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m256.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c2_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s100.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num15.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m256.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c2_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_m1296.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_s16.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m784.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s81.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c2_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s16.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c4_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s64.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c4_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s40.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s60.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c4_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m1296.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s40.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c2_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s80.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_s16.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s81.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_s16.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c3_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num10.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_m200.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c4_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c2_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m1296.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s20.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m784.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s16.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m200.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/chh2-1.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num15.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_s81.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s20.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s100.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/tnn1.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m600.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s100.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c3_num5.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s100.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c3_num7.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m200.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_m200.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num7.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m600.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s60.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m784.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m784.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m200.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num20.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s60.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s36.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s40.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c3_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/chh5-4.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s80.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c2_num5.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m196.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s100.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s16.AB08.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m400.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s16.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num5.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num27.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s60.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s81.AB08.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_m200.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s100.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c2_num10.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_m200.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s80.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c4_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m800.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c3_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m784.AB08.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c2_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c4_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s81.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s100.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s60.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m784.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num7.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s60.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m1296.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c2_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s100.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m1296.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m256.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c3_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m625.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c2_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num30.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s80.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s40.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_m200.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c3_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s40.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s81.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m625.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c2_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s81.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s40.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c4_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c2_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s16.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num10.cnf UNKNOWN
instances/Sat_Data/GI/iso_b03m_m1000.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_s81.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m200.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c2_num7.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num7.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s36.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c2_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s20.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c3_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s60.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c3_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s16.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m256.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c4_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c2_num10.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c4_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num5.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c3_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s80.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s80.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m576.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m400.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_m200.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m576.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s100.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c2_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s40.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c4_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c4_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s81.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s60.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s100.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_m200.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m625.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s60.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c3_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s100.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c4_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num30.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s100.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m200.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m576.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s40.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num15.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_m256.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m400.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c3_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_m1296.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c3_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num5.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c4_num18.cnf UNKNOWN
instances/Sat_Data/GI/iso_b03m_m800.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_m200.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c3_num5.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s100.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m625.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s60.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m800.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s20.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s20.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c3_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m784.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c3_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s36.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c2_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s16.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s20.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m256.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c2_num18.cnf UNKNOWN
instances/Sat_Data/GI/crafted_n12_d4_c2_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c2_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m200.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num10.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s40.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c3_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m800.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c2_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c3_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c3_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num10.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c4_num30.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m576.AB08.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num5.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c4_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c3_num27.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s100.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s16.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s20.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c2_num20.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m256.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s100.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m196.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s20.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s100.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s16.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m625.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num10.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s60.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c4_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m576.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m1000.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c3_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m400.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s64.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c4_num7.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num7.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s60.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m600.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s100.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m256.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m200.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s100.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m200.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c2_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s100.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s40.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s16.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num30.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m1296.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_m200.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num22.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c2_num30.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m196.AB08.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m800.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num27.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c2_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c4_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c2_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s16.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s40.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m196.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c2_num20.cnf UNKNOWN
instances/Sat_Data/GI/iso_m2D_s16.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num5.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c2_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s40.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c3_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_m625.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s20.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c3_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c2_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_m625.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c3_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s20.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s81.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s80.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num7.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m800.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s40.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m400.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c4_num27.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c2_num10.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s60.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num20.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s40.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c2_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c2_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_m256.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c2_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m1296.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num27.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c3_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s60.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c2_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num7.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s80.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num20.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c2_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c2_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num30.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s100.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/chh5-5.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_m200.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num20.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c3_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m576.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num22.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s64.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num27.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s16.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m256.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_s81.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m1000.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s100.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c2_num15.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num5.cnf UNKNOWN
instances/Sat_Data/GI/crafted_n13_d4_c4_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m1000.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s16.AB08.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m400.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c4_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c2_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num22.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s100.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_m625.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m1296.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m400.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c4_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c3_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m1296.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num20.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c4_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s81.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c4_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s80.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m400.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s80.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c3_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m576.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s81.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m1296.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c3_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s20.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num7.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_m625.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s100.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num30.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c2_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s100.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_s81.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c2_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num30.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c3_num10.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c4_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c3_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c3_num22.cnf UNSATISFIABLE
instances/Sat_Data/GI/chh4-3.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m625.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_s16.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c3_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c3_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c4_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m600.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c2_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s60.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c4_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s81.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c2_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s20.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m800.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s100.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m600.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s40.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m256.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m256.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num10.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num15.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s36.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c2_num27.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c2_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s100.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m625.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s16.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s16.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s60.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m196.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m1296.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m576.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m400.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c3_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c4_num15.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/tnn7.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s64.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c3_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s100.AB08.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m784.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c3_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s60.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s64.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c2_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num5.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m256.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_m200.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num20.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/kef5.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c4_num1.cnf UNKNOWN
instances/Sat_Data/GI/crafted_n12_d5_c2_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c4_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num20.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c2_num7.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s64.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/usr7.cnf UNKNOWN
instances/Sat_Data/GI/iso_b03m_s40.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s100.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s16.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s80.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num22.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m200.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c3_num10.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c2_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c4_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s20.AB08.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num22.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s60.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c2_num15.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c3_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s81.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s60.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m1296.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s36.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num15.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m576.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c2_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num22.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c2_num30.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num5.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c3_num15.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c3_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c4_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c3_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c2_num14.cnf UNKNOWN
instances/Sat_Data/GI/iso_b03m_s20.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s100.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c2_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s20.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s80.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num30.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s20.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m400.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c3_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c3_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c4_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num27.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c3_num27.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s40.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s64.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c3_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m784.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num30.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m256.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c3_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s20.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s16.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m1000.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num6.cnf UNKNOWN
instances/Sat_Data/GI/crafted_n12_d5_c4_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c3_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s60.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s20.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num11.cnf UNKNOWN
instances/Sat_Data/GI/iso_m4D_m625.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m196.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c4_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c2_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s100.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s20.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s80.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c2_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c2_num30.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m256.AB08.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m625.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num3.cnf UNKNOWN
instances/Sat_Data/GI/iso_m2D_m196.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s100.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m600.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s36.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s100.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s80.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s100.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c3_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c2_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_m200.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c3_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s81.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_m200.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m400.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c2_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_m1296.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m400.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m256.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s81.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s60.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c2_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m1000.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m800.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m800.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s81.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c4_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s80.AB08.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_m200.AB08.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m1296.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c2_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c2_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num7.cnf UNKNOWN
instances/Sat_Data/GI/crafted_n13_d4_c3_num27.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_s81.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_m200.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m800.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s80.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c4_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_m256.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c4_num7.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s36.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num10.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num15.cnf UNKNOWN
instances/Sat_Data/GI/crafted_n11_d4_c4_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_s81.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c2_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num10.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s40.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s81.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s81.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s60.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c3_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c3_num15.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s20.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c2_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s40.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c3_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m625.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num30.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num22.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s80.AB08.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c3_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_m200.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s60.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m600.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m400.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_m200.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c3_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c4_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c3_num7.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s40.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c3_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s16.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m196.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m600.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m600.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_m200.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s81.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s16.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c2_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s60.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num20.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c3_num27.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s80.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c4_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m800.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c4_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s81.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c4_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s40.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m1000.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m576.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m400.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_m200.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m800.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c2_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c3_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num23.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_s16.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c3_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s20.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c2_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_m625.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c3_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c4_num22.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s100.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s100.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c4_num30.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s100.AB05.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m200.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m256.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c3_num17.cnf UNKNOWN
instances/Sat_Data/GI/crafted_n16_d3_c4_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c3_num18.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m1296.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s40.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num5.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s20.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c2_num28.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m800.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s40.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s60.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s81.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s80.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c2_num5.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m600.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s40.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s36.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m625.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s20.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num27.cnf UNKNOWN
instances/Sat_Data/GI/crafted_n16_d3_c4_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c2_num22.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_m256.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num5.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s80.AB04.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c3_num20.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num22.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s20.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num27.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c4_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c3_num24.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c3_num20.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m200.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s20.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_m200.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m576.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c4_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num11.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s64.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s16.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num20.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m196.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c4_num30.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c2_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_m200.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c2_num1.cnf UNKNOWN
instances/Sat_Data/GI/iso_b09_s60.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c2_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s40.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m196.AB12.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s20.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m625.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num20.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c3_num27.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s20.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c4_num15.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s20.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c4_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s36.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c4_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num25.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c3_num22.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s80.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s40.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c4_num13.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m1000.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c4_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d4_c2_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_s16.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_m1296.AB16.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c3_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c2_num22.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_m625.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c3_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m400.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c3_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num10.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c3_num21.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num6.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_s81.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s20.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s80.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/usr2.cnf UNKNOWN
instances/Sat_Data/GI/iso_m4D_m256.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c3_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c4_num12.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s100.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c4_num3.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03_s20.AB02.cnf SATISFIABLE
instances/Sat_Data/GI/usr1.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c2_num22.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c3_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c3_num20.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s80.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m1000.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s20.AB18.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m400.AB21.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s100.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s20.AB22.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s81.AB00.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c2_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c3_num2.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m196.AB15.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num26.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s81.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c3_num29.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_m200.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_s100.AB10.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_s80.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d4_c4_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s81.AB03.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c2_num10.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m576.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_s16.AB14.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n14_d3_c2_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_m200.AB20.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03m_m400.AB13.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m784.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m4D_m1296.AB01.cnf SATISFIABLE
instances/Sat_Data/GI/iso_m2D_m400.AB06.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d3_c3_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b03m_s40.AB17.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n13_d4_c2_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_m576.AB23.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c3_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_b09_s20.AB07.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d6_c3_num4.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c2_num8.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4D_m625.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b03_s60.AB19.cnf SATISFIABLE
instances/Sat_Data/GI/iso_b09_s80.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n11_d4_c4_num9.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n10_d6_c2_num15.cnf UNKNOWN
instances/Sat_Data/GI/crafted_n12_d4_c2_num1.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num1.cnf UNKNOWN
instances/Sat_Data/GI/crafted_n14_d3_c3_num19.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m2D_s81.AB09.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d5_c3_num16.cnf UNSATISFIABLE
instances/Sat_Data/GI/iso_m4Dr6_s16.AB11.cnf SATISFIABLE
instances/Sat_Data/GI/crafted_n12_d6_c4_num17.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n18_d3_c4_num14.cnf UNSATISFIABLE
instances/Sat_Data/GI/crafted_n16_d3_c2_num13.cnf UNSATISFIABLE
