Instance | Result | Time | |
---|---|---|---|
query04_query03_1133 | UNSAT | 4.53 | |
query30_eequery_1133 | SAT | 4.56 | |
query51_query48_1133 | UNSAT | 4.58 | |
query50_query49_1133 | UNSAT | 4.62 | |
ntrivil_query54_1133 | SAT | 4.63 | |
query71_query15_1133 | UNSAT | 4.66 | |
query21_reachqu_1133 | SAT | 4.68 | |
query64_query31_1133 | UNSAT | 4.8 | |
query08_query26_1344 | SAT | 5.12 | |
query44_query57_1133 | UNSAT | 5.15 | |
query49_query58_1344 | FAIL | 6.9 | |
query64_query55_1344 | FAIL | 6.9 | |
query33_query71_1344 | FAIL | 6.9 | |
query03_query57_1344 | FAIL | 6.93 | |
query44_query58_1344 | FAIL | 6.96 | |
query48_query42_1344 | FAIL | 6.96 | |
nreachq_query02_1344 | FAIL | 6.98 | |
query08_query64_1344 | FAIL | 7.02 | |
query42_query57_1344 | FAIL | 7.02 | |
query64_query58_1344 | FAIL | 7.04 | |
nreachq_reachqu_2233 | FAIL | 7.06 | |
query42_query64_1344 | FAIL | 7.09 | |
query09_trivial_1344 | FAIL | 7.96 | |
nreachq_reachqu_2133 | FAIL | 8.19 | |
query49_query64_1133 | UNSAT | 26.14 |