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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve2756.2275.62217.48299.18346.450.8
aqua-f3v4824.19482.42235.22600575.850.2
aqua-s2v4824.06482.41235.25600575.980.2
aqua-s3o4824.29482.43235.2600575.750.2
caqe-minisat2371.44237.14252.75100.55323.040.8
caqe-picosat2224.59222.46245.5676.09268.340.8
depqbf-v15330.91533.09177.67592.170.570.1
depqbf-v23308.5330.85239.96314.46586.80.6
depqbf-v33749.71374.97244.78462.12593.520.5
ghostq-cegar121.0212.19.749.7815.291
ghostq-plain92.339.236.778.739.51
hiqqer13780.16378.02273.02599.71573.890.4
hiqqer1ldsq3635.37363.54263.94524.98573.730.5
hiqqer34095.05409.51245.17599.76562.20.4
iprover-QBF2639.83263.98231.91106.93392.510.1
iprover-QBF-bloqqer2491.94249.19235.93159.33167.50.2
qesto991.7499.17140.6349.881.321
qestos3444.82344.48179.88392.27421.380.2
qsts2.220.220.150.220.241
rareqs390.8339.0849.451933.651
squeezebf+struqs4932.15493.22215.23599.81466.460.2
struqs-104932.22493.22215.15599.71466.080.2
xb-bid-qsts1579.74157.97175.1795.63201.590.9
xb-qsts1563.22156.32174.2895.64200.020.9