Family jmc_quant_squaring results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL9007.45900.750.15900.760.30
openQbf9009.27900.930.03900.940.060
qbfbdd9005.32900.530.24900.530.370
QbflHR90109010.019010.010
QChaffLearn8981.92898.192.01898.533.030
QMRes4490.02449395.73360.93892.840.3
QUANTOR1396.72139.67256.6950.0758.460
semprop9010.05901.010.01901.010.010
skizzo_v0.47429.57742.96208.85900.43477.720
skizzo_v0.58148.3814.83168.27900.26359.540
sSolve9007.95900.80.07900.80.110
WalkQSAT9009.93900.990.01900.990.010
yQuaffle9004.6900.460.21900.460.320