QBF Solver Evaluation Portal
qbflib.orgInstances of family Counter solved by QUANTOR
QBFEVAL'05
| Instance | Result | Time | |
|---|---|---|---|
| counter_r_4 | SAT | 0 | |
| counter_4 | SAT | 0 | |
| counter_r_2 | SAT | 0 | |
| counter_2 | SAT | 0 | |
| counter_re_2 | SAT | 0 | |
| counter_re_4 | SAT | 0 | |
| counter_e_2 | SAT | 0 | |
| counter_e_4 | SAT | 0 | |
| counter_8 | SAT | 0.23 | |
| counter_re_64 | FAIL | 9.82 | |
| counter_re_16 | FAIL | 9.84 | |
| counter_re_32 | FAIL | 10.85 | |
| counter_e_64 | FAIL | 11.27 | |
| counter_r_64 | FAIL | 11.48 | |
| counter_r_32 | FAIL | 11.79 | |
| counter_e_32 | FAIL | 12.06 | |
| counter_e_16 | FAIL | 12.35 | |
| counter_r_16 | FAIL | 12.47 | |
| counter_64 | FAIL | 30.41 | |
| counter_16 | FAIL | 31.08 | |
| counter_32 | FAIL | 31.61 | |
| counter_r_8 | SAT | 32.05 | |
| counter_e_8 | SAT | 80.59 | |
| counter_re_8 | SAT | 168.46 |