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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve332.5166.25154.16166.2500.5
aqme-10864004320004320000
depqbf864004320004320000
depqbf-pre864004320004320000
nenofex-qbfeval10373.52186.761.64186.7600
quantor-3.156.0328.012.7128.0100
QuBE780260.440130.23069.940130.200
QuBE7-c86400.243200.1043200.100
QuBE7-m45446.522723.2510413.6522723.2500
struqs-10864004320004320000