QBF Solver Evaluation Portal
qbflib.orgSota solver results for family FPGA_PLB_FIT_SLOW
QBFEVAL'08
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| lut4_2_f1 | quantor3.0 | SAT | 0.07 |  |
| lut4_2_f2 | quantor3.0 | UNSAT | 1.57 | |
| lut4_AND_fXOR | quantor3.0 | UNSAT | 0.41 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| lut4_2_f1 | quantor3.0 | SAT | 0.07 | |
| lut4_2_f2 | quantor3.0 | UNSAT | 1.57 | |
| lut4_AND_fXOR | quantor3.0 | UNSAT | 0.41 | |