Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 843.09 | 84.31 | 165.53 | 18.76 | 32.46 | 0.9 |
aqua-f3v | 2927.73 | 292.77 | 228.9 | 280.67 | 409.24 | 0.3 |
aqua-s2v | 2946.85 | 294.69 | 232.78 | 278.02 | 408.7 | 0.3 |
aqua-s3o | 3097.89 | 309.79 | 240.59 | 297.03 | 471.27 | 0.3 |
caqe-minisat | 619.97 | 62 | 179.25 | 2.08 | 3.31 | 0.9 |
caqe-picosat | 620.53 | 62.05 | 179.26 | 2.18 | 3.2 | 0.9 |
depqbf-v1 | 4156.73 | 415.67 | 270.65 | 592.58 | 592.81 | 0.3 |
depqbf-v2 | 623.72 | 62.37 | 176.91 | 3.46 | 5.1 | 0.9 |
depqbf-v3 | 4199.63 | 419.96 | 274.66 | 599.71 | 599.71 | 0.3 |
ghostq-cegar | 4230.21 | 423.02 | 270.08 | 599.81 | 591.34 | 0.3 |
ghostq-plain | 4019.12 | 401.91 | 268.18 | 599.86 | 599.66 | 0.4 |
hiqqer1 | 621.13 | 62.11 | 179.24 | 1.25 | 1.88 | 0.9 |
hiqqer1ldsq | 621.09 | 62.11 | 179.28 | 1.24 | 1.88 | 0.9 |
hiqqer3 | 612.35 | 61.24 | 179.53 | 1.26 | 2.2 | 0.9 |
iprover-QBF | 3486.09 | 348.61 | 232.66 | 454.53 | 472.5 | 0.3 |
iprover-QBF-bloqqer | 619.91 | 61.99 | 179.05 | 2.17 | 3.22 | 0.9 |
qesto | 166.87 | 16.69 | 36.82 | 1.1 | 7.61 | 0.9 |
qestos | 2874.86 | 287.49 | 289.47 | 237.72 | 599.69 | 0.6 |
qsts | 1374.47 | 137.45 | 233.77 | 6.81 | 40.15 | 0.8 |
rareqs | 1728.9 | 172.89 | 253.42 | 1.75 | 58.34 | 0.8 |
squeezebf+struqs | 4337.52 | 433.75 | 255.8 | 599.71 | 594.68 | 0.3 |
struqs-10 | 4337.1 | 433.71 | 255.85 | 599.71 | 594.67 | 0.3 |
xb-bid-qsts | 431.86 | 43.19 | 122.83 | 2.12 | 3.15 | 0.9 |
xb-qsts | 427.41 | 42.74 | 121.47 | 2.14 | 3.18 | 0.9 |