Instance | Result | Time | |
---|---|---|---|
stmt23_66_67 | SAT | 34.74 | |
stmt17_63_70 | SAT | 37.08 | |
stmt17_62_78 | SAT | 38.5 | |
stmt17_63_78 | SAT | 39.06 | |
stmt23_66_76 | SAT | 39.14 | |
stmt28_68_73 | SAT | 39.57 | |
stmt28_68_69 | SAT | 41.19 | |
stmt19_65_87 | SAT | 43.29 | |
stmt19_64_91 | SAT | 43.79 | |
stmt19_64_87 | SAT | 44.31 | |
stmt23_67_92 | SAT | 44.44 | |
stmt19_65_95 | SAT | 50.12 | |
stmt17_70_82 | SAT | 51.38 | |
stmt17_70_78 | SAT | 53.18 | |
stmt17_70_86 | SAT | 53.55 | |
stmt17_74_78 | SAT | 57.57 | |
stmt19_75_83 | SAT | 57.68 | |
stmt19_75_95 | SAT | 58.05 | |
stmt17_74_90 | SAT | 58.56 | |
stmt28_73_85 | SAT | 58.58 | |
stmt19_71_95 | SAT | 58.75 | |
stmt19_79_83 | SAT | 59.65 | |
stmt17_78_90 | SAT | 62.77 | |
stmt17_82_86 | SAT | 62.88 | |
stmt19_79_87 | SAT | 63.78 | |
stmt28_73_97 | SAT | 67.63 | |
stmt17_78_94 | SAT | 68.05 | |
stmt17_78_98 | SAT | 68.57 | |
stmt19_83_91 | SAT | 69.01 | |
stmt23_88_92 | SAT | 69.81 | |
stmt19_87_95 | SAT | 73.55 | |
stmt17_82_94 | SAT | 79.54 | |
stmt23_92_96 | SAT | 81.46 | |
stmt28_89_97 | SAT | 84.4 | |
stmt17_94_98 | SAT | 84.69 |