Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 229809.02 | 2735.82 | 2912.39 | 115.21 | 5992.98 | 0.571 |
GRL | 39485.76 | 470.07 | 237.86 | 600.72 | 35.87 | 0.238 |
openQbf | 465286.01 | 5539.12 | 1538.44 | 6000.88 | 0.07 | 0.083 |
preQuantor | 21430.19 | 255.12 | 1106.46 | 48.1 | 51.51 | 0.464 |
Qbfl | 267930.54 | 3189.65 | 2744.16 | 599.7 | 5400.23 | 0.107 |
Quaffle | 205157.37 | 2442.35 | 2645.73 | 555.28 | 5465.73 | 0.131 |
QUANTOR | 5270.37 | 62.74 | 123.22 | 43.03 | 55.83 | 0.452 |
QUANTOR_hc | 5297.35 | 63.06 | 123.12 | 42.74 | 55.89 | 0.452 |
qube3.0 | 278776.47 | 3318.77 | 2906.49 | 5995.08 | 5968.81 | 0.429 |
qube4.0 | 266493.31 | 3172.54 | 2812.46 | 3328.85 | 5947.37 | 0.429 |
qube5.0 | 266490.17 | 3172.5 | 2812.85 | 3318.86 | 5960.43 | 0.429 |
semprop | 32404.1 | 385.76 | 281.81 | 600.99 | 599.7 | 0.393 |
sKizzo-0.9-abs | 249938.71 | 2975.46 | 2843.55 | 2397.47 | 5978.01 | 0.417 |
sKizzo-0.9-grn | 27058.37 | 322.12 | 945.27 | 87.91 | 225.09 | 0.488 |
sKizzo-0.9-std | 84620.68 | 1007.39 | 1746.63 | 260.73 | 748.92 | 0.357 |
SQBF | 120458.64 | 1434.03 | 1845.33 | 681.67 | 2456.69 | 0.44 |
sSolve | 412607.01 | 4911.99 | 2258.4 | 6000.24 | 0.37 | 0.214 |
ssolve+ut | 407231.95 | 4848 | 2302.08 | 6000.25 | 0.36 | 0.214 |
ssolve-ut | 412564.78 | 4911.49 | 2258.47 | 6000.27 | 0.12 | 0.214 |
WalkQSAT | 34342.62 | 408.84 | 259.43 | 600.33 | 530.93 | 0.298 |
yQuaffle | 48171.92 | 573.48 | 892.32 | 596.68 | 576.65 | 0.321 |