Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 1508.51 | 150.85 | 215.57 | 45.56 | 111.24 | 0.8 |
aqua-f3v | 3510.43 | 351.04 | 181.76 | 306.57 | 195.24 | 0.1 |
aqua-s2v | 3532.54 | 353.25 | 185.57 | 301.82 | 208.85 | 0.1 |
aqua-s3o | 3650.15 | 365.02 | 188.26 | 324.85 | 255.36 | 0.1 |
caqe-minisat | 147.33 | 14.73 | 32.84 | 3.9 | 4.97 | 0.9 |
caqe-picosat | 58.65 | 5.87 | 6.71 | 3.94 | 4.95 | 0.9 |
depqbf-v1 | 5418.19 | 541.82 | 152.24 | 592.38 | 0.92 | 0.1 |
depqbf-v2 | 687.42 | 68.74 | 175.28 | 5.71 | 6.79 | 0.9 |
depqbf-v3 | 5644.69 | 564.47 | 105.89 | 599.76 | 0.1 | 0.1 |
ghostq-cegar | 5098.31 | 509.83 | 184.11 | 599.81 | 363.01 | 0.2 |
ghostq-plain | 4436.32 | 443.63 | 245.94 | 599.81 | 596.36 | 0.3 |
hiqqer1 | 53.31 | 5.33 | 6.58 | 2.21 | 3.1 | 1 |
hiqqer1ldsq | 53.36 | 5.34 | 6.61 | 2.22 | 3.11 | 1 |
hiqqer3 | 1219.13 | 121.91 | 238.96 | 2.65 | 4.14 | 0.8 |
iprover-QBF | 4033.77 | 403.38 | 212 | 488.19 | 443.81 | 0.3 |
iprover-QBF-bloqqer | 633.54 | 63.35 | 178.61 | 3.93 | 4.98 | 0 |
qesto | 778.11 | 77.81 | 177.93 | 6.21 | 10.42 | 0.8 |
qestos | 3599.96 | 360 | 293.71 | 599.71 | 599.65 | 0.4 |
qsts | 2109.31 | 210.93 | 265.44 | 21.65 | 263.56 | 0.7 |
rareqs | 1232.94 | 123.29 | 238.27 | 2.84 | 7.71 | 0.8 |
squeezebf+struqs | 5997.21 | 599.72 | 0.03 | 599.71 | 0 | 0 |
struqs-10 | 5997.2 | 599.72 | 0.03 | 599.71 | 0 | 0 |
xb-bid-qsts | 441.33 | 44.13 | 121.06 | 3.88 | 4.92 | 0.9 |
xb-qsts | 433.08 | 43.31 | 118.67 | 3.85 | 4.93 | 0.9 |