Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 690561.62 | 1255.57 | 2186.75 | 26.76 | 1246.62 | 0.765 |
GRL | 59230.27 | 107.69 | 216.06 | 0.13 | 44.18 | 0.76 |
openQbf | 1305613.99 | 2373.84 | 2866.72 | 52.72 | 6000.36 | 0.622 |
preQuantor | 90055.64 | 163.74 | 840.34 | 18.28 | 32.06 | 0.145 |
Qbfl | 1238030.95 | 2250.97 | 2754.7 | 598.56 | 5993.72 | 0.449 |
Quaffle | 245513.29 | 446.39 | 834 | 520.7 | 542.81 | 0.391 |
QUANTOR | 27094.33 | 49.26 | 166.75 | 17.55 | 11.12 | 0.118 |
QUANTOR_hc | 22738.27 | 41.34 | 86.42 | 17.62 | 10.36 | 0.113 |
qube3.0 | 449984.27 | 818.15 | 2002.77 | 0.07 | 1.05 | 0.871 |
qube4.0 | 403047.27 | 732.81 | 1899.84 | 0.07 | 0.63 | 0.893 |
qube5.0 | 402971.69 | 732.68 | 1899.59 | 0.09 | 0.62 | 0.893 |
semprop | 48494.14 | 88.17 | 209.09 | 0.02 | 0.93 | 0.845 |
sKizzo-0.9-abs | 1046891.25 | 1903.44 | 2681.23 | 24.81 | 5990.11 | 0.667 |
sKizzo-0.9-grn | 722060.29 | 1312.84 | 2435.9 | 14.13 | 175.99 | 0.758 |
sKizzo-0.9-std | 765141.41 | 1391.17 | 2461.96 | 15.8 | 483.53 | 0.773 |
SQBF | 295345.79 | 536.99 | 1493.22 | 27.97 | 236.4 | 0.758 |
sSolve | 8282.69 | 15.06 | 174.01 | 0.22 | 0.28 | 1 |
ssolve+ut | 8926.73 | 16.23 | 173.75 | 0.24 | 2.02 | 0.998 |
ssolve-ut | 6939.81 | 12.62 | 157.16 | 0.2 | 0.08 | 0.998 |
WalkQSAT | 64824.11 | 117.86 | 227.69 | 0.07 | 46.59 | 0.762 |
yQuaffle | 327176.83 | 594.87 | 1302.59 | 316.67 | 598.54 | 0.524 |