QBF Solver Evaluation Portal
qbflib.orgFamily ASP_Program_Inclusion results for solvers
QBFEVAL'10 - Random QBFs Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 225.51 | 5.64 | 1.45 | 5.3 | 2.31 | 1 |
| depqbf | 2394.61 | 59.87 | 123.13 | 9.76 | 63.18 | 1 |
| depqbf-pre | 47.99 | 1.2 | 1.03 | 0.65 | 1.33 | 1 |
| nenofex-qbfeval10 | 38744.21 | 968.61 | 239.55 | 1021.32 | 446.61 | 0 |
| quantor-3.1 | 4871.11 | 121.78 | 18.75 | 115.66 | 11.46 | 0 |
| QuBE7 | 125.57 | 3.14 | 1.16 | 2.52 | 1.77 | 1 |
| QuBE7-c | 94.86 | 2.37 | 0.47 | 2.3 | 0.74 | 1 |
| QuBE7-m | 102.02 | 2.55 | 0.64 | 2.3 | 1.22 | 1 |
| struqs-10 | 48003.18 | 1200.08 | 0.01 | 1200.08 | 0 | 0 |