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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve4370.62336.2606.7720.313160.692
aqme-10301017.7823155.2119126.2420446.739372.990.077
depqbf5616004320004320000
depqbf-pre5616004320004320000
nenofex-qbfeval106080.78467.75160.07446.7188.430
quantor-3.16203.98477.23857.43303.94296.90
QuBE7393807.0330292.8512841.0830777.725469.150.077
QuBE7-c209091.2516083.9418684.6194.5729835.860.538
QuBE7-m21697116690.0819094.355.4534190.590.538
struqs-10279262.2421481.7115934.4922727.734092.480.385