Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 18023.93 | 1638.54 | 2671.1 | 2.89 | 14.16 | 0.727 |
GRL | 6607.67 | 600.7 | 0.17 | 600.69 | 0.32 | 0 |
openQbf | 66009.78 | 6000.89 | 0.05 | 6000.9 | 0.1 | 0 |
preQuantor | 1080.77 | 98.25 | 160.6 | 2.87 | 14.06 | 1 |
Qbfl | 6505.65 | 591.42 | 7.67 | 594.88 | 16.51 | 0 |
Quaffle | 5702.97 | 518.45 | 153.76 | 563.78 | 3.14 | 0.091 |
QUANTOR | 555.91 | 50.54 | 71.44 | 9.59 | 55.5 | 1 |
QUANTOR_hc | 88.39 | 8.04 | 22.84 | 0.13 | 0.4 | 1 |
qube3.0 | 22868.04 | 2078.91 | 2422.11 | 846.09 | 1038.45 | 0 |
qube4.0 | 44268.74 | 4024.43 | 2170.45 | 4767.16 | 4810.39 | 0 |
qube5.0 | 12.74 | 1.16 | 1.73 | 0.22 | 0.78 | 1 |
semprop | 5448.27 | 495.3 | 224.38 | 601 | 562.05 | 0.182 |
sKizzo-0.9-abs | 176.09 | 16.01 | 28.02 | 1.01 | 16.37 | 1 |
sKizzo-0.9-grn | 341.62 | 31.06 | 72.58 | 0.99 | 16.21 | 1 |
sKizzo-0.9-std | 163.48 | 14.86 | 26.59 | 1.11 | 17.11 | 1 |
SQBF | 760.3 | 69.12 | 108.41 | 2.87 | 14.12 | 0.727 |
sSolve | 26555.69 | 2414.15 | 2717.77 | 599.97 | 5980.82 | 0.273 |
ssolve+ut | 26555.62 | 2414.15 | 2717.79 | 599.96 | 5982.09 | 0.273 |
ssolve-ut | 48150.67 | 4377.33 | 2650.56 | 6000.32 | 5993.01 | 0.273 |
WalkQSAT | 6042.62 | 549.33 | 163.39 | 601 | 0.01 | 0.091 |
yQuaffle | 65999.7 | 5999.97 | 0.17 | 5999.98 | 0.25 | 0 |