Instance | Result | Time | |
---|---|---|---|
query25_query54_1133 | SAT | 0 | |
query08_axquery_1133 | SAT | 0 | |
falsequ_query11_1133 | SAT | 0 | |
exquery_query60_1133 | UNSAT | 0 | |
exquery_query42_1133 | UNSAT | 0 | |
eequery_query36_1133 | UNSAT | 0 | |
eequery_query04_1133 | UNSAT | 0 | |
axquery_exquery_1133 | UNSAT | 0 | |
axquery_eequery_1133 | UNSAT | 0 | |
axquery_axquery_1133 | SAT | 0 | |
query26_query60_1133 | UNSAT | 0 | |
query50_query06_1133 | UNSAT | 0 | |
query55_query10_1133 | UNSAT | 0 |