Family evader-pursuer-6x6-logarithmic results for solvers
QBFEVAL'16 - Prenex CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve4798.78599.850.07599.880.130
aqua-f3v1369.13171.14157.01119.47331.70.625
aqua-s2v1258.43157.3151.9584.44305.050.625
aqua-s3o1296.68162.09150.49108.61302.330.625
caqe-minisat3291.14411.39254.55599.71454.350.375
caqe-picosat3237.37404.67259.62599.71481.420.375
depqbf-v12148.02268.5266.63176.61583.510.625
depqbf-v22014.21251.78268.31106.81581.960.625
depqbf-v32214.1276.76267.5195.72589.160.625
ghostq-cegar3701.87462.73220.85583.77233.980.25
ghostq-plain1874.46234.31148.84305.72290.210.375
hiqqer11478.5184.81244.1458.9368.580.75
hiqqer1ldsq1985.01248.13274.4586.56593.940.625
hiqqer31639.46204.93241.2378.69419.540.75
iprover-QBF3942.79492.85110.82525.09217.270
iprover-QBF-bloqqer4116.77514.6178.4599.1867.490.125
qesto3494.18436.77244.92599.71352.270.375
qestos1427.01178.38133.14184.92191.250.375
qsts1923.2240.487.68251.7181.510.125
rareqs2970.9371.36276.16560.85574.960.5
squeezebf+struqs4468.24558.53108.95599.7100.125
struqs-104465.87558.23109.82599.710.050.125
xb-bid-qsts2231.72278.97270.56200.62584.870.625
xb-qsts2231.92278.99270.84201.2585.270.625