QBF Solver Evaluation Portal
qbflib.orgSota solver results for family FPGA_PLB_FIT_SLOW
QBFEVAL'05
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| lut4_2_f1 | sSolve | SAT | 0.09 |  |
| lut4_2_f2 | skizzo_v0.4 | UNSAT | 2.85 | |
| lut4_AND_fXOR | skizzo_v0.5 | UNSAT | 0.8 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| lut4_2_f1 | sSolve | SAT | 0.09 | |
| lut4_2_f2 | skizzo_v0.4 | UNSAT | 2.85 | |
| lut4_AND_fXOR | skizzo_v0.5 | UNSAT | 0.8 | |