QBF Solver Evaluation Portal
qbflib.orgSota solver results for family FPGA_PLB_FIT_FAST
QBFEVAL'16 - Solver Portfolio Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| lut4_2_fXOR | caqe-portfolio | SAT | 0.33 |  |
| lut4_3_fAND | aqme-10 | SAT | 1.38 | |
| lut4_AND_f1 | aqme-10 | SAT | 0.67 | |
| lut4_XOR_f1 | caqe-portfolio | SAT | 0.22 | |
| lut4_XOR_fOR | caqe-portfolio | UNSAT | 0.22 | |