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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve8.388.3808.3801
aqme-10120012000120000
depqbf1200.141200.1401200.1400
depqbf-pre1200.161200.1601200.1600
nenofex-qbfeval10261.7261.70261.700
qmaiga300.66300.660300.6600
quantor-3.1120012000120000
QuBE70.10.100.101
QuBE7-c2.872.8702.8701
QuBE7-m3.043.0403.0401
struqs-1036.1436.14036.1401