QBF Solver Evaluation Portal
qbflib.orgFamily FPGA_PLB_FIT_FAST 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 | 182.69 | 60.9 | 85.1 | 1.31 | 1.18 | 1 |
| ghostq-plain | 64.92 | 21.64 | 30.2 | 0.3 | 0.03 | 1 |
| qsts | 15.71 | 5.24 | 6.63 | 1.03 | 0.95 | 1 |
| quabs-minisat | 4.6 | 1.53 | 1.97 | 0.17 | 0.06 | 1 |
| quabs-picosat | 4.94 | 1.65 | 2.06 | 0.27 | 0.16 | 1 |
| rareqs-nn | 702.77 | 234.26 | 261.67 | 101.94 | 100.82 | 0.667 |
| xb-bid-qsts | 63.58 | 21.19 | 15.79 | 25.08 | 24.87 | 1 |
| xb-qsts | 2.03 | 0.68 | 0.35 | 0.78 | 0.58 | 1 |