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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve166.1116.613.5417.0271
aqua-f3v5997.17599.720.01599.720.010
aqua-s2v5997.37599.740.04599.720.010
aqua-s3o5997.21599.720.01599.7200
caqe-minisat5997.43599.740.04599.730.030
caqe-picosat5998.26599.830.07599.830.110
depqbf-v15922.22592.220.28592.270.480
depqbf-v25346.62534.66175.85593.270.590.1
depqbf-v35997.4599.740.05599.7100
ghostq-cegar1220.37122.0440.26115.8463.271
ghostq-plain5999.71599.970.13600.010.20
hiqqer15485.36548.54153.59599.7100.1
hiqqer1ldsq5483.99548.4154.07599.710.10.1
hiqqer34849.28484.93229.92599.71550.050.2
iprover-QBF5167.63516.7649.85515.0948.890
iprover-QBF-bloqqer3475.46347.55193.1319.54343.420
qesto5997.1599.710599.7100
qestos5975.62597.566.74599.810.10
qsts5996.91599.690.04599.710.10
rareqs5997.41599.740.05599.7100
squeezebf+struqs5997.1599.710599.7100
struqs-105997.1599.710599.7100
xb-bid-qsts1497.97149.8224.9839.848.060.8
xb-qsts5997.12599.710599.7100