QBF Solver Evaluation Portal
qbflib.orgFamily C432 results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 0.61 | 0.15 | 0.11 | 0.16 | 0.21 | 1 |
| aqme-10 | 1668.04 | 417.01 | 416.98 | 393.97 | 831.4 | 1 |
| depqbf | 3156.94 | 789.23 | 490.32 | 978.38 | 821.85 | 0.5 |
| depqbf-pre | 2832.31 | 708.08 | 515.24 | 816.06 | 984.17 | 0.5 |
| nenofex-qbfeval10 | 1683.84 | 420.96 | 421.33 | 403.15 | 841.15 | 1 |
| qmaiga | 0.57 | 0.14 | 0.1 | 0.16 | 0.19 | 1 |
| quantor-3.1 | 280.93 | 70.23 | 73.78 | 54.18 | 140.41 | 1 |
| QuBE7 | 3600.17 | 900.04 | 519.6 | 1200.03 | 600 | 0.25 |
| QuBE7-c | 2425.55 | 606.39 | 593.69 | 612.61 | 1187.26 | 0.5 |
| QuBE7-m | 2415.99 | 604 | 596.04 | 607.78 | 1192.03 | 0.5 |
| struqs-10 | 3777.96 | 944.49 | 442.71 | 1200.09 | 511.2 | 0.25 |