Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 17308.98 | 1730.9 | 1974.11 | 790.69 | 2634.38 | 0.6 |
GRL | 27.56 | 2.76 | 2.23 | 2.49 | 2.66 | 1 |
openQbf | 50740.91 | 5074.09 | 1489.63 | 6000.82 | 3340.94 | 0.3 |
preQuantor | 195.65 | 19.57 | 10.86 | 15.89 | 4.58 | 0 |
Qbfl | 27550.76 | 2755.08 | 2640.04 | 599.84 | 5384.96 | 0 |
Quaffle | 5419.09 | 541.91 | 4.15 | 542.03 | 5.81 | 0 |
QUANTOR | 173.75 | 17.38 | 3.67 | 16.5 | 3.19 | 0 |
QUANTOR_hc | 177.3 | 17.73 | 3.4 | 16.95 | 5.03 | 0 |
qube3.0 | 56.86 | 5.69 | 16.33 | 0.07 | 0.08 | 1 |
qube4.0 | 587.87 | 58.79 | 175.93 | 0.07 | 0.25 | 1 |
qube5.0 | 587.55 | 58.76 | 175.83 | 0.07 | 0.23 | 1 |
semprop | 0.48 | 0.05 | 0.05 | 0.02 | 0.06 | 1 |
sKizzo-0.9-abs | 513.84 | 51.38 | 91.3 | 17.87 | 18.79 | 1 |
sKizzo-0.9-grn | 265.69 | 26.57 | 18.99 | 17.94 | 18.68 | 1 |
sKizzo-0.9-std | 518.7 | 51.87 | 92.77 | 18.24 | 21.42 | 1 |
SQBF | 1768.98 | 176.9 | 182.07 | 96.25 | 131.3 | 0.7 |
sSolve | 1.85 | 0.19 | 0.04 | 0.19 | 0.05 | 1 |
ssolve+ut | 20.22 | 2.02 | 0.44 | 2.2 | 0.4 | 1 |
ssolve-ut | 1.96 | 0.2 | 0.03 | 0.2 | 0.06 | 1 |
WalkQSAT | 1.46 | 0.15 | 0.1 | 0.1 | 0.14 | 1 |
yQuaffle | 11394.49 | 1139.45 | 1619.38 | 599.72 | 0.29 | 0 |