Family comp results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.040.020.010.0201
GRL1201.71600.860.05600.8600
openQbf12001.776000.890.016000.8900
preQuantor0.040.020.020.0201
Qbfl1174.21587.116.4587.1100
Quaffle640.69320.3543.99320.3501
QUANTOR0.060.030.010.0301
QUANTOR_hc0.040.020.010.0201
qube3.0499.08249.543.86249.5401
qube4.01474.56737.28422.12737.2801
qube5.01932.28966.14945.16966.1401
semprop792.03396.02204.9396.0200.5
sKizzo-0.9-abs0.090.050.020.0501
sKizzo-0.9-grn0.060.0300.0301
sKizzo-0.9-std0.070.040.020.0401
SQBF0.020.010.010.0101
sSolve300.45150.2348.74150.2301
ssolve+ut301.86150.9348.38150.9301
ssolve-ut300.54150.2750.07150.2701
WalkQSAT420.14210.07209.86210.0700
yQuaffle32.9716.4915.516.4901