Family s713 results for solvers
QBFEVAL'16 - Prenex CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve4346.85434.69252.83599.72549.840.3
aqua-f3v3164.97316.5284.82351.53596.810.5
aqua-s2v3149.27314.93286.08346.02596.820.5
aqua-s3o3178.4317.84283.67356.76596.540.5
caqe-minisat2209.77220.98223.81133.53224.350.8
caqe-picosat1688.62168.86178.4106.7197.670.9
depqbf-v15923.02592.30.63592.170.80
depqbf-v23089.59308.96284.2332.67587.820.5
depqbf-v33607.04360.7264.64506.39594.270.5
ghostq-cegar554.1355.4161.9126.2967.741
ghostq-plain205.5220.5518.681433.351
hiqqer13430.09343.01250.81385.87545.40.6
hiqqer1ldsq3491.16349.12256.2417.02545.890.5
hiqqer33731.02373.1235.13435.1527.670.5
iprover-QBF2658.99265.9214.56154.33367.30
iprover-QBF-bloqqer2793.78279.38243.71131.74427.90.1
qesto1222.07122.21160.0567.98114.991
qestos4402.6440.26164.1470.57191.90.1
qsts1.060.110.060.10.11
rareqs1088.96108.998.8695.56191.381
squeezebf+struqs5053.53505.35193.01599.81384.190.2
struqs-105018.75501.88198.06599.82423.960.2
xb-bid-qsts1666.68166.67196.3396.2198.720.9
xb-qsts1426.6142.66168.7896.4799.150.9