Instance | Result | Time | |
---|---|---|---|
stmt7_33_34 | SAT | 0.02 | |
stmt23_66_67 | SAT | 7.34 | |
stmt17_63_70 | SAT | 8.35 | |
stmt28_68_69 | SAT | 8.64 | |
stmt23_66_76 | SAT | 9.73 | |
stmt28_68_73 | SAT | 10 | |
stmt23_72_76 | SAT | 10.13 | |
stmt17_63_78 | SAT | 10.4 | |
stmt17_62_78 | SAT | 10.66 | |
stmt17_70_78 | SAT | 11.2 | |
stmt17_63_82 | SAT | 11.48 | |
stmt17_74_78 | SAT | 12.3 | |
stmt19_64_87 | SAT | 12.32 | |
stmt17_70_82 | SAT | 12.38 | |
stmt28_68_81 | SAT | 12.51 | |
stmt19_75_83 | SAT | 13.15 | |
stmt19_65_87 | SAT | 13.45 | |
stmt19_64_91 | SAT | 13.89 | |
stmt23_67_92 | SAT | 14.25 | |
stmt17_70_86 | SAT | 14.28 | |
stmt19_79_83 | SAT | 14.68 | |
stmt28_73_85 | SAT | 14.73 | |
stmt17_70_90 | SAT | 15.04 | |
stmt23_66_96 | SAT | 15.33 | |
stmt17_82_86 | SAT | 15.4 | |
stmt19_79_87 | SAT | 15.56 | |
stmt19_65_95 | SAT | 15.65 | |
stmt19_71_95 | SAT | 15.79 | |
stmt17_74_90 | SAT | 16.16 | |
stmt19_64_99 | SAT | 16.33 | |
stmt17_78_90 | SAT | 16.35 | |
stmt19_75_95 | SAT | 16.43 | |
stmt17_62_98 | SAT | 17.13 | |
stmt23_88_92 | SAT | 17.7 | |
stmt19_83_91 | SAT | 17.72 | |
stmt17_70_98 | SAT | 17.97 | |
stmt28_73_97 | SAT | 18.06 | |
stmt17_82_94 | SAT | 18.91 | |
stmt17_78_98 | SAT | 19.14 | |
stmt17_82_98 | SAT | 19.32 | |
stmt17_78_94 | SAT | 19.5 | |
stmt19_87_95 | SAT | 19.93 | |
stmt23_92_96 | SAT | 20.42 | |
stmt17_86_98 | SAT | 21.42 | |
stmt17_94_98 | SAT | 21.97 | |
stmt28_89_97 | SAT | 22.22 |