Instance | Result | Time | |
---|---|---|---|
stmt23_66_67 | SAT | 3.86 | |
stmt17_63_70 | SAT | 4.14 | |
stmt19_64_87 | SAT | 5.98 | |
stmt23_88_92 | FAIL | 900 | |
stmt28_73_97 | FAIL | 900 | |
stmt17_82_86 | FAIL | 900 | |
stmt17_70_86 | FAIL | 900 | |
stmt17_78_94 | FAIL | 900 | |
stmt17_70_78 | FAIL | 900 | |
stmt23_92_96 | FAIL | 900 | |
stmt19_79_83 | FAIL | 900 | |
stmt19_79_87 | FAIL | 900 | |
stmt17_82_94 | FAIL | 900 | |
stmt17_74_78 | FAIL | 900 | |
stmt17_94_98 | FAIL | 900 | |
stmt28_73_85 | FAIL | 900 | |
stmt17_63_78 | FAIL | 900 | |
stmt28_68_69 | FAIL | 900 | |
stmt19_71_95 | FAIL | 900 | |
stmt19_64_91 | FAIL | 900 | |
stmt23_66_76 | FAIL | 900 | |
stmt19_75_83 | FAIL | 900 | |
stmt19_65_87 | FAIL | 900 | |
stmt17_70_82 | FAIL | 900 | |
stmt23_67_92 | FAIL | 900 | |
stmt28_68_73 | FAIL | 900 | |
stmt17_78_90 | FAIL | 900 | |
stmt17_74_90 | FAIL | 900 | |
stmt17_78_98 | FAIL | 900 | |
stmt19_65_95 | FAIL | 900 | |
stmt19_75_95 | FAIL | 900 | |
stmt28_89_97 | FAIL | 900 | |
stmt19_87_95 | FAIL | 900 | |
stmt17_62_78 | FAIL | 900 | |
stmt19_83_91 | FAIL | 900 |