QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-8x8-logarithmic results for solvers
QBFEVAL'17 - Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| cqesto | 2719.05 | 679.76 | 381.46 | 900 | 440.48 | 0.25 |
| ghostq-cegar | 3600 | 900 | 0 | 900 | 0 | 0 |
| ghostq-plain | 2842.59 | 710.65 | 327.97 | 900 | 378.71 | 0.25 |
| qfun0.1 | 2809.8 | 702.45 | 342.17 | 900 | 395.1 | 0.25 |
| QuAbS_2017 | 2764.73 | 691.18 | 361.68 | 900 | 417.64 | 0.25 |
| Qute_hybrid | 3508.76 | 877.19 | 0.94 | 876.82 | 1.56 | 0 |
| Qute_opt617 | 3155.21 | 788.8 | 192.6 | 900 | 222.4 | 0.25 |
| Qute_opt993 | 3121.36 | 780.34 | 207.26 | 900 | 239.32 | 0.25 |