Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 175.19 | 87.6 | 62.15 | 87.6 | 0 | 1 |
GRL | 112.87 | 56.44 | 55.57 | 56.44 | 0 | 0.5 |
openQbf | 12001.83 | 6000.92 | 0.03 | 6000.92 | 0 | 0 |
preQuantor | 879.1 | 439.55 | 414.15 | 439.55 | 0 | 1 |
Qbfl | 942.35 | 471.18 | 122.01 | 471.18 | 0 | 0.5 |
Quaffle | 22.84 | 11.42 | 7.24 | 11.42 | 0 | 1 |
QUANTOR | 549.55 | 274.78 | 125.69 | 274.78 | 0 | 0 |
QUANTOR_hc | 407.58 | 203.79 | 56.33 | 203.79 | 0 | 0 |
qube3.0 | 6001.29 | 3000.65 | 2999.96 | 3000.65 | 0 | 0.5 |
qube4.0 | 6000.71 | 3000.36 | 2999.92 | 3000.36 | 0 | 0.5 |
qube5.0 | 97.8 | 48.9 | 48.32 | 48.9 | 0 | 1 |
semprop | 7.13 | 3.57 | 2.27 | 3.57 | 0 | 1 |
sKizzo-0.9-abs | 657.07 | 328.54 | 205.35 | 328.54 | 0 | 0.5 |
sKizzo-0.9-grn | 502.41 | 251.21 | 0.05 | 251.21 | 0 | 0.5 |
sKizzo-0.9-std | 2816.73 | 1408.37 | 847.82 | 1408.37 | 0 | 0 |
SQBF | 174.89 | 87.45 | 61.91 | 87.45 | 0 | 1 |
sSolve | 22.64 | 11.32 | 11.11 | 11.32 | 0 | 1 |
ssolve+ut | 22.78 | 11.39 | 11.11 | 11.39 | 0 | 1 |
ssolve-ut | 22.54 | 11.27 | 11.03 | 11.27 | 0 | 1 |
WalkQSAT | 12.56 | 6.28 | 5.64 | 6.28 | 0 | 1 |
yQuaffle | 3850.39 | 1925.2 | 1925.12 | 1925.2 | 0 | 1 |