Family ISCAS89 results for solvers
QBFEVAL'16 - Solver Portfolio Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-10636.6990.96207.921.3114.050.857
caqe-portfolio67.659.669.155.335.411
squeezebf+aqme638.4591.21207.831.3214.220.857