QBF Solver Evaluation Portal
qbflib.orgFamily k_ph_p results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 4509.93 | 563.74 | 435.41 | 901 | 898.56 | 0.375 |
| CSBJ | 5406.21 | 675.78 | 390.11 | 901 | 450.43 | 0.25 |
| GRL | 4538.77 | 567.35 | 430.88 | 901.01 | 884.18 | 0.375 |
| openQbf | 5408.87 | 676.11 | 389.53 | 901 | 449.22 | 0.25 |
| orSAT | 6364.09 | 795.51 | 279.11 | 901 | 0.01 | 0 |
| QBFL-BS | 5408.97 | 676.12 | 389.54 | 901.01 | 449.11 | 0.25 |
| QBFL-JW | 5407.74 | 675.97 | 389.79 | 901.01 | 449.69 | 0.25 |
| QMRes | 4533.49 | 566.69 | 431.69 | 901.01 | 886.83 | 0.25 |
| QSAT | 3074.63 | 384.33 | 409.4 | 181.36 | 896.56 | 0.625 |
| QUANTOR | 4506.33 | 563.29 | 435.99 | 901 | 900.36 | 0.375 |
| QUBE-BJ | 5408.17 | 676.02 | 389.73 | 901.03 | 450.02 | 0.25 |
| QUBE-LRN | 4509.44 | 563.68 | 435.52 | 901.03 | 899.38 | 0.375 |
| semprop | 5406.11 | 675.76 | 390.13 | 901 | 450.48 | 0.25 |
| sSolve | 4555.22 | 569.4 | 428.34 | 901 | 875.9 | 0.375 |
| WalkQSAT | 904.39 | 113.05 | 297.82 | 0.39 | 0.98 | 0 |
| yQuaffle | 1150.96 | 143.87 | 111.97 | 210.8 | 231.81 | 0.375 |