Family s1269 results for solvers
QBFEVAL'10 - Competitive Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve120012000120000
aqme-10120012000120000
depqbf1200.161200.1601200.1600
depqbf-pre1199.991199.9901199.9900
nenofex-qbfeval101199.961199.9601199.9600
qmaiga120012000120000
quantor-3.1120012000120000
QuBE71200.171200.1701200.1700
QuBE7-c63.1863.18063.1801
QuBE7-m63.2363.23063.2301
struqs-101200.111200.1101200.1100