QBF Solver Evaluation Portal
qbflib.orgFamily HardwareFixpoint results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 900.02 | 90 | 152.14 | 44.26 | 75.87 | 0.9 |
| aqua-f3v | 4046.09 | 404.61 | 267.48 | 599.73 | 599.61 | 0.4 |
| aqua-s2v | 3745.42 | 374.54 | 278.66 | 599.72 | 599.65 | 0.4 |
| aqua-s3o | 3781.42 | 378.14 | 274.23 | 599.72 | 599.61 | 0.4 |
| caqe-minisat | 3013.68 | 301.37 | 298.39 | 304.39 | 598.95 | 0.5 |
| caqe-picosat | 3014.2 | 301.42 | 298.37 | 304.54 | 598.94 | 0.5 |
| depqbf-v1 | 5926.33 | 592.63 | 0.59 | 592.73 | 1.11 | 0 |
| depqbf-v2 | 3565.37 | 356.54 | 289.7 | 592.47 | 592.22 | 0.4 |
| depqbf-v3 | 5004.6 | 500.46 | 203.54 | 599.71 | 395.91 | 0.2 |
| ghostq-cegar | 5478.12 | 547.81 | 156.03 | 599.81 | 0.09 | 0 |
| ghostq-plain | 5412.44 | 541.24 | 156.28 | 599.81 | 62.4 | 0 |
| hiqqer1 | 3600.54 | 360.05 | 293.54 | 599.71 | 599.45 | 0.4 |
| hiqqer1ldsq | 3600.8 | 360.08 | 293.57 | 599.71 | 599.56 | 0.4 |
| hiqqer3 | 3600.67 | 360.07 | 293.54 | 599.71 | 599.44 | 0.4 |
| iprover-QBF | 1.42 | 0.14 | 0.27 | 0.05 | 0.01 | 0 |
| iprover-QBF-bloqqer | 1468.09 | 146.81 | 197.06 | 54.16 | 143.48 | 0.2 |
| qesto | 3600.45 | 360.05 | 293.41 | 599.36 | 599.5 | 0.4 |
| qestos | 2913 | 291.3 | 264.95 | 281.33 | 548.61 | 0.4 |
| qsts | 4748.96 | 474.9 | 100.71 | 463.88 | 194.61 | 0 |
| rareqs | 3600.35 | 360.04 | 293.4 | 599.36 | 599.5 | 0.4 |
| squeezebf+struqs | 4300.57 | 430.06 | 259.94 | 599.71 | 582.78 | 0.3 |
| struqs-10 | 4300.21 | 430.02 | 259.93 | 599.71 | 582.76 | 0.3 |
| xb-bid-qsts | 2536 | 253.6 | 272.81 | 107.77 | 514.82 | 0.5 |
| xb-qsts | 2535.33 | 253.53 | 272.82 | 107.45 | 514.77 | 0.5 |