Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 63671.81 | 2195.58 | 2769.79 | 156.93 | 5932.43 | 0.276 |
GRL | 9743.59 | 335.99 | 269.61 | 472.18 | 557.63 | 0.31 |
openQbf | 121661.96 | 4195.24 | 2694.57 | 6000.79 | 5675.67 | 0.31 |
preQuantor | 27299.88 | 941.38 | 1815.99 | 23.15 | 1156.59 | 0.241 |
Qbfl | 71256.93 | 2457.14 | 2601.12 | 599.7 | 5390.74 | 0.31 |
Quaffle | 16349.69 | 563.78 | 22.34 | 564.99 | 40.61 | 0 |
QUANTOR | 12550.56 | 432.78 | 1515.41 | 16.35 | 13.74 | 0.138 |
QUANTOR_hc | 1753.79 | 60.48 | 147.4 | 16.58 | 13.36 | 0.138 |
qube3.0 | 70984.06 | 2447.73 | 2620.88 | 598.72 | 5969.19 | 0.345 |
qube4.0 | 55898.69 | 1927.54 | 2605.32 | 296.45 | 4841.78 | 0.483 |
qube5.0 | 56405.6 | 1945.02 | 2593.91 | 338.69 | 4836.11 | 0.483 |
semprop | 16315.98 | 562.62 | 141.08 | 600.99 | 0.05 | 0.069 |
sKizzo-0.9-abs | 22727.32 | 783.7 | 1598.72 | 83.73 | 429.96 | 0.517 |
sKizzo-0.9-grn | 34218.18 | 1179.94 | 2170.93 | 255.51 | 464.07 | 0.379 |
sKizzo-0.9-std | 21037.91 | 725.45 | 1430.85 | 66.3 | 412.16 | 0.552 |
SQBF | 65421.48 | 2255.91 | 2301.29 | 1070.66 | 2798.84 | 0.241 |
sSolve | 94379.46 | 3254.46 | 2901.46 | 5432.1 | 5984.5 | 0.517 |
ssolve+ut | 89344.08 | 3080.83 | 2930.34 | 4495.48 | 5982.81 | 0.517 |
ssolve-ut | 94333.4 | 3252.88 | 2903.55 | 5416.15 | 5988.61 | 0.517 |
WalkQSAT | 10499.65 | 362.06 | 285.7 | 600.98 | 598.89 | 0.172 |
yQuaffle | 15899.09 | 548.24 | 37.14 | 556.89 | 78.3 | 0 |