QBF Solver Evaluation Portal
qbflib.orgSota solver results for family s641
QBFEVAL'16 - Solver Portfolio Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s641_d10_u | caqe-portfolio | UNSAT | 221.14 |  |
| s641_d2_s | caqe-portfolio | SAT | 16.05 | |
| s641_d3_s | caqe-portfolio | SAT | 4.63 | |
| s641_d4_s | caqe-portfolio | SAT | 15.85 | |
| s641_d5_s | caqe-portfolio | SAT | 28.97 | |
| s641_d6_s | caqe-portfolio | SAT | 51.81 | |
| s641_d7_u | caqe-portfolio | UNSAT | 89.5 | |
| s641_d8_u | caqe-portfolio | UNSAT | 147.67 | |