Instance | Result | Time | |
---|---|---|---|
query04_query03_1133 | UNSAT | 0 | |
query09_trivial_1344 | SAT | 0 | |
query23_query06_1344 | SAT | 0 | |
query27_query03_1344 | SAT | 0 | |
query49_query23_1344 | UNSAT | 0 | |
query08_query64_1344 | SAT | 0 | |
exquery_query07_1344 | UNSAT | 0 | |
eequery_query23_1344 | UNSAT | 0 | |
query03_query57_1344 | SAT | 0 | |
query07_falsequ_1344 | UNSAT | 0 | |
axquery_query58_1344 | SAT | 0 | |
query08_query26_1344 | SAT | 0 | |
axquery_query31_1344 | SAT | 0 | |
axquery_query02_1344 | SAT | 0 | |
query55_query30_1344 | UNSAT | 0 | |
trivial_query31_1344 | SAT | 0 | |
trivial_query09_1344 | SAT | 0 | |
query04_query03_1344 | UNSAT | 0.7 | |
query49_query64_1133 | UNSAT | 2.4 | |
query52_query36_1344 | UNSAT | 5.03 | |
eequery_reachqu_1344 | UNSAT | 11.7 | |
query51_query31_1344 | UNSAT | 146.47 | |
query11_query64_1344 | UNSAT | 300.84 | |
query33_query71_1344 | UNSAT | 304.32 | |
query64_query55_1344 | UNSAT | 314.66 | |
nreachq_query02_1344 | UNSAT | 344.65 | |
query42_query64_1344 | FAIL | 900.06 |