QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-2qbf-5cnf-40var-160cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 32563.42 | 3256.34 | 2630.33 | 3840.07 | 5810.4 | 0.7 |
| GRL | 5408.99 | 540.9 | 180.27 | 600.99 | 0.01 | 0.1 |
| openQbf | 55785.31 | 5578.53 | 1266.89 | 6000.86 | 0.29 | 0.1 |
| preQuantor | 409.07 | 40.91 | 31.81 | 51.85 | 59.68 | 0.3 |
| Qbfl | 5408.75 | 540.88 | 163.25 | 595.17 | 2.45 | 0.1 |
| Quaffle | 5346.24 | 534.62 | 1.44 | 534.85 | 2.75 | 0 |
| QUANTOR | 285.57 | 28.56 | 30.29 | 27.39 | 25.15 | 0.4 |
| QUANTOR_hc | 292.52 | 29.25 | 31.3 | 27.94 | 24.95 | 0.4 |
| qube3.0 | 12816.24 | 1281.62 | 1768.14 | 413.44 | 1571.83 | 0.9 |
| qube4.0 | 8412.12 | 841.21 | 915.73 | 292.6 | 1264.58 | 1 |
| qube5.0 | 8388.65 | 838.87 | 913.32 | 292.86 | 1263.29 | 1 |
| semprop | 4533.04 | 453.3 | 240.06 | 600.99 | 596.43 | 0.3 |
| sKizzo-0.9-abs | 41954.35 | 4195.44 | 2369.32 | 6000.74 | 5533.7 | 0.4 |
| sKizzo-0.9-grn | 48048.57 | 4804.86 | 2391.4 | 6000.61 | 5969.71 | 0.2 |
| sKizzo-0.9-std | 48062.69 | 4806.27 | 2383.9 | 6000.54 | 5936.87 | 0.2 |
| SQBF | 13506.04 | 1350.6 | 1579.7 | 1128.32 | 1485.23 | 0.9 |
| sSolve | 2.05 | 0.21 | 0.03 | 0.21 | 0.04 | 1 |
| ssolve+ut | 2.47 | 0.25 | 0.08 | 0.23 | 0.09 | 1 |
| ssolve-ut | 2.04 | 0.2 | 0.05 | 0.21 | 0.08 | 1 |
| WalkQSAT | 5302.28 | 530.23 | 179.58 | 600.99 | 106.68 | 0.2 |
| yQuaffle | 50127.14 | 5012.71 | 2021.29 | 5999.23 | 3955.94 | 0.2 |