Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aqua-f3v | 5704.42 | 190.15 | 197.09 | 98.85 | 89.21 | 0.833 |
aqua-s2v | 5711.56 | 190.39 | 197.58 | 98.33 | 95.08 | 0.833 |
aqua-s3o | 5566.03 | 185.53 | 198.4 | 98.09 | 62.52 | 0.833 |
caqe-minisat | 3244.53 | 108.15 | 196.85 | 12.2 | 48.97 | 0.9 |
caqe-picosat | 3782.7 | 126.09 | 215.33 | 15.89 | 72.74 | 0.867 |
depqbf-v1 | 5971.2 | 199.04 | 248.2 | 61.47 | 301.9 | 0.733 |
depqbf-v2 | 4182.34 | 139.41 | 215.36 | 23.07 | 87.49 | 0.833 |
depqbf-v3 | 6526.2 | 217.54 | 246.05 | 77.03 | 387.65 | 0.767 |
hiqqer1 | 3801.9 | 126.73 | 222.38 | 4.62 | 62.9 | 0.833 |
hiqqer1ldsq | 3806.15 | 126.87 | 222.29 | 4.6 | 62.27 | 0.833 |
hiqqer3 | 3586.45 | 119.55 | 219.92 | 5.42 | 49.43 | 0.833 |
iprover-QBF | 14589.12 | 486.3 | 186.82 | 599.12 | 234.48 | 0.1 |
iprover-QBF-bloqqer | 12833.91 | 427.8 | 258.17 | 599.12 | 594.7 | 0.267 |
qesto | 2598.66 | 86.62 | 181.69 | 8.54 | 21.32 | 0.9 |
qestos | 4524.51 | 150.82 | 234.26 | 15.14 | 187.48 | 0.767 |
qsts | 2951.46 | 98.38 | 199.08 | 3.89 | 17.35 | 0.9 |
rareqs | 873.38 | 29.11 | 84.04 | 4.37 | 9.75 | 1 |
squeezebf+struqs | 16033.36 | 534.45 | 178.71 | 599.71 | 0 | 0.133 |
struqs-10 | 16217.97 | 540.6 | 177.34 | 599.71 | 0 | 0.1 |
xb-bid-qsts | 2783.03 | 92.77 | 180.94 | 15.43 | 38.34 | 0.9 |
xb-qsts | 2722.34 | 90.74 | 179.83 | 14.88 | 36.55 | 0.9 |