Family mA-t2-2qbf-5cnf-160var-2560cl results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ186.1718.621.3619.091.971
GRL14.991.51.711.121.281
openQbf18.381.842.750.70.681
preQuantor189.2818.930.9218.731.360
Qbfl39681.963968.22599.815783.345938.580.5
Quaffle11386.881138.691619.25599.352.210
QUANTOR150.0515.011.1514.861.950
QUANTOR_hc143.1514.320.4414.180.740
qube3.00.80.080.030.090.061
qube4.00.850.090.040.10.061
qube5.01.080.110.040.110.071
semprop0.170.020.010.020.011
sKizzo-0.9-abs59084.045908.4195.846000.18307.50
sKizzo-0.9-grn319.7631.9834.0120.3115.821
sKizzo-0.9-std322.9532.338.1215.4214.981
SQBF24847.712484.772689.45915.444896.290.7
sSolve2.10.210.040.220.051
ssolve+ut2.160.220.020.210.031
ssolve-ut2.030.20.040.210.061
WalkQSAT3005.9300.59300.39300.82600.940.5
yQuaffle5580.61558.06122.7599.020.740.1