Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 24783.54 | 4130.59 | 2087.29 | 4650.61 | 5400.89 | 0.167 |
GRL | 3511.08 | 585.18 | 34.49 | 600.58 | 92.58 | 0.167 |
openQbf | 36005.33 | 6000.89 | 0.04 | 6000.9 | 0.11 | 0 |
preQuantor | 87.02 | 14.5 | 6.7 | 16.52 | 16.35 | 0.167 |
Qbfl | 3572.49 | 595.42 | 2.39 | 596.24 | 5.84 | 0 |
Quaffle | 3063.19 | 510.53 | 141.57 | 573.09 | 380.38 | 0.167 |
QUANTOR | 71.95 | 11.99 | 4.84 | 14.03 | 12.79 | 0.167 |
QUANTOR_hc | 0.11 | 0.02 | 0.01 | 0.02 | 0.02 | 1 |
qube3.0 | 10541.7 | 1756.95 | 1335.02 | 1168.15 | 894.92 | 0.167 |
qube4.0 | 10022.93 | 1670.49 | 1072.48 | 1297.12 | 1238.97 | 0.167 |
qube5.0 | 8764.76 | 1460.79 | 910.34 | 902.52 | 226.82 | 0.167 |
semprop | 3009.63 | 501.61 | 222.25 | 601 | 596.36 | 0.167 |
sKizzo-0.9-abs | 85.77 | 14.3 | 9.78 | 19.11 | 19.13 | 1 |
sKizzo-0.9-grn | 1099.38 | 183.23 | 57.84 | 164.04 | 27.61 | 0.167 |
sKizzo-0.9-std | 82.16 | 13.69 | 9.48 | 18.13 | 18.01 | 1 |
SQBF | 1717.37 | 286.23 | 218.03 | 227.16 | 255.92 | 0.167 |
sSolve | 3697.93 | 616.32 | 480.68 | 545.86 | 694.55 | 1 |
ssolve+ut | 3779.3 | 629.88 | 491.43 | 562.71 | 719.68 | 1 |
ssolve-ut | 3722.46 | 620.41 | 484.23 | 548.26 | 693.12 | 1 |
WalkQSAT | 3288.17 | 548.03 | 118.43 | 601 | 317.8 | 0.167 |
yQuaffle | 35996.73 | 5999.46 | 0.41 | 5999.6 | 1.03 | 0 |