QBF Solver Evaluation Portal
qbflib.orgFamily ASP_Program_Inclusion results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 75925.56 | 1898.14 | 2686.38 | 145.35 | 5900.35 | 0.7 |
| GRL | 7445.44 | 186.14 | 271.5 | 9.63 | 592.6 | 0.7 |
| openQbf | 207206.54 | 5180.16 | 1786.66 | 6000.87 | 0.07 | 0.175 |
| preQuantor | 4129.41 | 103.24 | 55.42 | 91.04 | 57.14 | 0 |
| Qbfl | 12802.19 | 320.05 | 769.68 | 38.05 | 85.15 | 0.925 |
| Quaffle | 26766.64 | 669.17 | 753.18 | 551.15 | 13.78 | 0 |
| QUANTOR | 2966.8 | 74.17 | 10.23 | 73.29 | 8.53 | 0 |
| QUANTOR_hc | 8919.15 | 222.98 | 925.19 | 74.44 | 7.99 | 0 |
| qube3.0 | 119.56 | 2.99 | 1.82 | 2.78 | 3.15 | 1 |
| qube4.0 | 141.57 | 3.54 | 4.55 | 1.64 | 2.05 | 1 |
| qube5.0 | 148.46 | 3.71 | 4.56 | 1.81 | 2.06 | 1 |
| semprop | 113.11 | 2.83 | 2.99 | 3.19 | 3.18 | 1 |
| sKizzo-0.9-abs | 21561.87 | 539.05 | 889.21 | 21.57 | 714.38 | 0.7 |
| sKizzo-0.9-grn | 22552.41 | 563.81 | 867.63 | 73.13 | 675.93 | 0.6 |
| sKizzo-0.9-std | 16524.55 | 413.11 | 634.34 | 22.08 | 578.21 | 0.7 |
| SQBF | 238148.53 | 5953.71 | 291.68 | 6000.42 | 0 | 0 |
| sSolve | 208.72 | 5.22 | 5.51 | 2.83 | 7.6 | 1 |
| ssolve+ut | 388.81 | 9.72 | 7.61 | 7.32 | 12.77 | 1 |
| ssolve-ut | 187.29 | 4.68 | 5.13 | 2.27 | 6.94 | 1 |
| WalkQSAT | 10880.58 | 272.01 | 241.5 | 226.17 | 493.44 | 0.85 |
| yQuaffle | 26556.98 | 663.92 | 807.61 | 534.93 | 11.28 | 0 |