QBF Solver Evaluation Portal
qbflib.orgFamily Connect4 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 | 672.19 | 134.44 | 156.18 | 12.24 | 163.44 | 0.6 |
| ghostq-plain | 701.64 | 140.33 | 164.45 | 10.2 | 166.71 | 0.6 |
| qsts | 1197.83 | 239.57 | 292.68 | 1.02 | 298.34 | 0.6 |
| quabs-minisat | 1219.69 | 243.94 | 290.51 | 13.35 | 303.07 | 0.6 |
| quabs-picosat | 1246.36 | 249.27 | 286.31 | 32.63 | 309.02 | 0.4 |
| rareqs-nn | 1227.48 | 245.5 | 288.74 | 13.74 | 298.57 | 0.6 |
| xb-bid-qsts | 1028.71 | 205.74 | 232.28 | 57.58 | 186.95 | 0.8 |
| xb-qsts | 1284.25 | 256.85 | 280.14 | 58.12 | 314.96 | 0.6 |