QBF Solver Evaluation Portal
qbflib.orgFamily jmc_quant_squaring results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 13295.79 | 4431.93 | 2218.18 | 6000.42 | 4705.47 | 0 |
| GRL | 1802.6 | 600.87 | 0.03 | 600.86 | 0.02 | 0 |
| openQbf | 18002.34 | 6000.78 | 0.13 | 6000.87 | 0.28 | 0 |
| preQuantor | 675.71 | 225.24 | 265.23 | 38.66 | 1.93 | 0 |
| Qbfl | 1751.86 | 583.95 | 1.89 | 583.96 | 2.32 | 0 |
| Quaffle | 1768.13 | 589.38 | 0.37 | 589.35 | 0.41 | 0 |
| QUANTOR | 6155.04 | 2051.68 | 2792.23 | 79.8 | 5.05 | 0 |
| QUANTOR_hc | 751.93 | 250.64 | 247.56 | 80.72 | 10.21 | 0 |
| qube3.0 | 8163.19 | 2721.06 | 2319.02 | 1101.1 | 39.59 | 0 |
| qube4.0 | 9334.1 | 3111.37 | 2097.95 | 2251.01 | 1168.52 | 0 |
| qube5.0 | 9318.06 | 3106.02 | 2101.59 | 2242.87 | 1168.25 | 0 |
| semprop | 1803 | 601 | 0 | 601 | 0 | 0 |
| sKizzo-0.9-abs | 1347.62 | 449.21 | 336.46 | 384.78 | 311.64 | 0 |
| sKizzo-0.9-grn | 7604.15 | 2534.72 | 2457.06 | 1020.99 | 438.14 | 0 |
| sKizzo-0.9-std | 6041.63 | 2013.88 | 2361.5 | 628.18 | 552.98 | 0 |
| SQBF | 778.7 | 259.57 | 34.28 | 250.97 | 28.42 | 0 |
| sSolve | 17998.87 | 5999.62 | 0.58 | 6000 | 1.2 | 0 |
| ssolve+ut | 17995.77 | 5998.59 | 0.35 | 5998.79 | 0.69 | 0 |
| ssolve-ut | 18000.95 | 6000.32 | 0.03 | 6000.31 | 0.03 | 0 |
| WalkQSAT | 1802.98 | 600.99 | 0.01 | 601 | 0.02 | 0 |
| yQuaffle | 13568.66 | 4522.89 | 1044.85 | 3819.54 | 70.39 | 0 |