Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 0.04 | 0.02 | 0.01 | 0.02 | 0 | 1 |
GRL | 1201.71 | 600.86 | 0.05 | 600.86 | 0 | 0 |
openQbf | 12001.77 | 6000.89 | 0.01 | 6000.89 | 0 | 0 |
preQuantor | 0.04 | 0.02 | 0.02 | 0.02 | 0 | 1 |
Qbfl | 1174.21 | 587.11 | 6.4 | 587.11 | 0 | 0 |
Quaffle | 640.69 | 320.35 | 43.99 | 320.35 | 0 | 1 |
QUANTOR | 0.06 | 0.03 | 0.01 | 0.03 | 0 | 1 |
QUANTOR_hc | 0.04 | 0.02 | 0.01 | 0.02 | 0 | 1 |
qube3.0 | 499.08 | 249.54 | 3.86 | 249.54 | 0 | 1 |
qube4.0 | 1474.56 | 737.28 | 422.12 | 737.28 | 0 | 1 |
qube5.0 | 1932.28 | 966.14 | 945.16 | 966.14 | 0 | 1 |
semprop | 792.03 | 396.02 | 204.9 | 396.02 | 0 | 0.5 |
sKizzo-0.9-abs | 0.09 | 0.05 | 0.02 | 0.05 | 0 | 1 |
sKizzo-0.9-grn | 0.06 | 0.03 | 0 | 0.03 | 0 | 1 |
sKizzo-0.9-std | 0.07 | 0.04 | 0.02 | 0.04 | 0 | 1 |
SQBF | 0.02 | 0.01 | 0.01 | 0.01 | 0 | 1 |
sSolve | 300.45 | 150.23 | 48.74 | 150.23 | 0 | 1 |
ssolve+ut | 301.86 | 150.93 | 48.38 | 150.93 | 0 | 1 |
ssolve-ut | 300.54 | 150.27 | 50.07 | 150.27 | 0 | 1 |
WalkQSAT | 420.14 | 210.07 | 209.86 | 210.07 | 0 | 0 |
yQuaffle | 32.97 | 16.49 | 15.5 | 16.49 | 0 | 1 |