QBF Solver Evaluation Portal
qbflib.orgFamily CounterFactual results for solvers
QBFEVAL'16 - Random QBFs Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqua-f3v | 17576.29 | 219.7 | 286.91 | 1.28 | 599.79 | 0.638 |
| aqua-s2v | 19330.45 | 241.63 | 292.74 | 1.51 | 599.77 | 0.6 |
| aqua-s3o | 18971.32 | 237.14 | 289.31 | 0.94 | 599.77 | 0.613 |
| caqe-minisat | 26601.92 | 332.52 | 295.55 | 599.67 | 599.43 | 0.45 |
| caqe-picosat | 15755.06 | 196.94 | 269.19 | 7.72 | 599.48 | 0.7 |
| depqbf-v1 | 20991.71 | 262.4 | 286.9 | 10.62 | 592.52 | 0.588 |
| depqbf-v2 | 19956.99 | 249.46 | 289.14 | 3.67 | 592.42 | 0.588 |
| depqbf-v3 | 21036.46 | 262.96 | 291.51 | 19.87 | 599.5 | 0.575 |
| hiqqer1 | 18252.96 | 228.16 | 288.23 | 3.73 | 599.74 | 0.625 |
| hiqqer1ldsq | 18190.29 | 227.38 | 288.09 | 3.6 | 599.76 | 0.625 |
| hiqqer3 | 18304.41 | 228.81 | 287.77 | 6.27 | 599.75 | 0.625 |
| iprover-QBF | 32171.76 | 402.15 | 174.03 | 373.09 | 284.74 | 0.05 |
| iprover-QBF-bloqqer | 23482.12 | 293.53 | 235.83 | 280.98 | 545.98 | 0.2 |
| qesto | 20464.32 | 255.8 | 284.71 | 31.95 | 599.68 | 0.613 |
| qestos | 22251.05 | 278.14 | 288.67 | 83.14 | 599.78 | 0.575 |
| qsts | 32056.42 | 400.71 | 277.18 | 599.71 | 586.65 | 0.35 |
| rareqs | 23790.26 | 297.38 | 293.24 | 241.78 | 599.68 | 0.5 |
| squeezebf+struqs | 42006.25 | 525.08 | 197.51 | 599.71 | 0 | 0.125 |
| struqs-10 | 42004.99 | 525.06 | 197.5 | 599.71 | 0 | 0.125 |
| xb-bid-qsts | 16628.89 | 207.86 | 280.08 | 4.05 | 599.49 | 0.663 |
| xb-qsts | 16667.21 | 208.34 | 279.95 | 3.91 | 599.49 | 0.663 |