QBF Solver Evaluation Portal
qbflib.orgFamily FPGA_PLB_FIT_SLOW results for solvers
QBFEVAL'16 - Prenex non-CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| ghostq-cegar | 12.45 | 6.23 | 1.48 | 6.23 | 0 | 1 |
| ghostq-plain | 1199.72 | 599.86 | 0.05 | 599.86 | 0 | 0 |
| qsts | 992.47 | 496.24 | 103.48 | 496.24 | 0 | 0.5 |
| quabs-minisat | 252.67 | 126.34 | 11.09 | 126.34 | 0 | 1 |
| quabs-picosat | 1199.78 | 599.89 | 0.18 | 599.89 | 0 | 0 |
| rareqs-nn | 62.44 | 31.22 | 25.21 | 31.22 | 0 | 1 |
| xb-bid-qsts | 31.2 | 15.6 | 12.72 | 15.6 | 0 | 1 |
| xb-qsts | 6.56 | 3.28 | 0.46 | 3.28 | 0 | 1 |