Instance | Result | Time | |
---|---|---|---|
stmt23_66_67 | SAT | 3.83 | |
stmt17_63_70 | SAT | 4.11 | |
stmt19_64_87 | SAT | 6.43 | |
stmt28_68_69 | SAT | 6.86 | |
stmt17_62_78 | SAT | 7.82 | |
stmt17_63_78 | SAT | 7.88 | |
stmt28_68_73 | SAT | 8.93 | |
stmt17_70_78 | SAT | 9.07 | |
stmt23_66_76 | SAT | 9.72 | |
stmt23_67_92 | SAT | 10.02 | |
stmt17_70_82 | SAT | 10.32 | |
stmt17_70_86 | SAT | 10.79 | |
stmt17_74_90 | SAT | 11.12 | |
stmt17_74_78 | SAT | 13.12 | |
stmt28_73_85 | SAT | 13.15 | |
stmt19_83_91 | SAT | 13.35 | |
stmt17_82_86 | SAT | 13.72 | |
stmt19_64_91 | SAT | 13.77 | |
stmt17_78_90 | SAT | 14.14 | |
stmt17_82_94 | SAT | 14.69 | |
stmt19_71_95 | SAT | 14.82 | |
stmt19_75_83 | SAT | 16.36 | |
stmt19_65_95 | SAT | 16.67 | |
stmt19_65_87 | SAT | 17.18 | |
stmt17_78_94 | SAT | 17.29 | |
stmt19_79_87 | SAT | 17.43 | |
stmt17_94_98 | SAT | 18.5 | |
stmt28_89_97 | SAT | 19.83 | |
stmt23_92_96 | SAT | 20.11 | |
stmt23_88_92 | SAT | 21.58 | |
stmt19_87_95 | SAT | 22.1 | |
stmt19_75_95 | SAT | 23.94 | |
stmt17_78_98 | SAT | 24.95 | |
stmt19_79_83 | SAT | 25.12 | |
stmt28_73_97 | SAT | 27.72 |