Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 230495.08 | 2216.3 | 2826 | 61.15 | 5999.39 | 0.635 |
GRL | 43446.39 | 417.75 | 260.45 | 600.59 | 513.2 | 0.25 |
openQbf | 573459.3 | 5514.03 | 1518.48 | 6000.88 | 0.07 | 0.096 |
preQuantor | 21461.39 | 206.36 | 999.4 | 34.86 | 55.68 | 0.548 |
Qbfl | 301156.43 | 2895.73 | 2710.36 | 599.44 | 5400.62 | 0.096 |
Quaffle | 214178.5 | 2059.41 | 2534.28 | 550.05 | 5467.82 | 0.25 |
QUANTOR | 5308.54 | 51.04 | 113.32 | 22.22 | 51.43 | 0.558 |
QUANTOR_hc | 5336.13 | 51.31 | 113.25 | 22.78 | 52.39 | 0.558 |
qube3.0 | 341078.98 | 3279.61 | 2906.89 | 5995.08 | 5980.52 | 0.442 |
qube4.0 | 316444.79 | 3042.74 | 2818.35 | 3193.16 | 5982.9 | 0.462 |
qube5.0 | 332756.48 | 3199.58 | 2808.92 | 3318.86 | 5968.49 | 0.433 |
semprop | 38496.4 | 370.16 | 286.5 | 600.99 | 599.95 | 0.413 |
sKizzo-0.9-abs | 250004.78 | 2403.89 | 2811.21 | 111.61 | 5999.5 | 0.529 |
sKizzo-0.9-grn | 27071.24 | 260.3 | 858.93 | 11.18 | 185.01 | 0.587 |
sKizzo-0.9-std | 97490.03 | 937.4 | 1709.03 | 171.9 | 719.15 | 0.481 |
SQBF | 120490.13 | 1158.56 | 1751.88 | 51.59 | 1615.24 | 0.529 |
sSolve | 430665.94 | 4141.02 | 2738.21 | 6000.21 | 5967.66 | 0.337 |
ssolve+ut | 425269.85 | 4089.13 | 2753.41 | 6000.23 | 5967.49 | 0.337 |
ssolve-ut | 460624.8 | 4429.08 | 2599.27 | 6000.27 | 5248.02 | 0.288 |
WalkQSAT | 38454.75 | 369.76 | 267.44 | 599.98 | 560.41 | 0.269 |
yQuaffle | 80389.67 | 772.98 | 1432.4 | 596.46 | 589.32 | 0.375 |