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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ212.5421.251.1121.41.281
GRL0.430.040.010.040.011
openQbf9.420.941.40.480.051
preQuantor171.1617.128.6220.9722.20
Qbfl51618.225161.821350.545994.892651.90.3
Quaffle0.690.070.010.070.011
QUANTOR298.2329.8212.7928.2315.490
QUANTOR_hc234.1723.428.1317.9815.320
qube3.00.420.040.010.050.021
qube4.00.570.060.010.060.031
qube5.00.720.070.010.070.011
semprop0.130.010.010.010.011
sKizzo-0.9-abs24924.929.4511.76.11
sKizzo-0.9-grn247.8224.7829.3511.515.541
sKizzo-0.9-std156.6415.6612.6611.073.771
SQBF212.4521.251.2721.432.271
sSolve2.170.220.030.220.041
ssolve+ut1.990.20.030.20.051
ssolve-ut2.020.20.020.20.031
WalkQSAT0.220.020.010.0201
yQuaffle0.250.030.010.030.011