Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 26.03 | 8.68 | 11.76 | 0.63 | 0.53 | 1 |
GRL | 334.18 | 111.39 | 37.72 | 131.1 | 72.49 | 0 |
openQbf | 18002.54 | 6000.85 | 0.03 | 6000.84 | 0.03 | 0 |
preQuantor | 14.42 | 4.81 | 6.27 | 0.63 | 0.51 | 0.667 |
Qbfl | 12591.47 | 4197.16 | 2545.35 | 5996.98 | 5399.49 | 0 |
Quaffle | 7407.91 | 2469.3 | 2558.25 | 1394.1 | 1378.84 | 0.667 |
QUANTOR | 13.04 | 4.35 | 5.89 | 0.3 | 0.23 | 0.667 |
QUANTOR_hc | 12.77 | 4.26 | 5.74 | 0.32 | 0.25 | 0.667 |
qube3.0 | 6038.67 | 2012.89 | 2819.76 | 31.34 | 24.62 | 0.667 |
qube4.0 | 6057.61 | 2019.2 | 2815.32 | 50.4 | 43.78 | 0.667 |
qube5.0 | 6308.93 | 2102.98 | 2758.33 | 294.44 | 280.43 | 0.667 |
semprop | 1474.65 | 491.55 | 154.74 | 600.94 | 328.23 | 0.333 |
sKizzo-0.9-abs | 558.81 | 186.27 | 262.91 | 0.5 | 0.27 | 0.667 |
sKizzo-0.9-grn | 6002.89 | 2000.96 | 2828.33 | 1.78 | 1.49 | 0.667 |
sKizzo-0.9-std | 708.71 | 236.24 | 333.6 | 0.48 | 0.27 | 0.667 |
SQBF | 18.15 | 6.05 | 8.04 | 0.62 | 0.51 | 1 |
sSolve | 15400.66 | 5133.55 | 1224.94 | 5999.61 | 2598.38 | 0.333 |
ssolve+ut | 15528.91 | 5176.3 | 1164.48 | 5999.53 | 2470.05 | 0.333 |
ssolve-ut | 15415.32 | 5138.44 | 1218.91 | 6000.3 | 2585.66 | 0.333 |
WalkQSAT | 140.21 | 46.74 | 59.91 | 7.87 | 6.9 | 0 |
yQuaffle | 6101.6 | 2033.87 | 2804.15 | 100.54 | 98.6 | 0.667 |