Family C880 results for solvers
QBFEVAL'10 - Small Hard Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve662.18110.36138.1826.7452.760.667
aqme-10170256.528376.0814875.329029.25321170
depqbf2592004320004320000
depqbf-pre2592004320004320000
nenofex-qbfeval10458.9376.4923.0878.2937.780
quantor-3.184456.0514076.0119868.0140.9615.940.167
QuBE7251259.6141876.62959.4843200.17941.10.167
QuBE7-c232467.438744.579963.0143200.126733.50.167
QuBE7-m225631.3137605.2212510.5443200.133569.30.167
struqs-1057155.719525.954184.599269.418033.970