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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ194.8719.496.822.063.930.9
GRL0.170.020.010.020.011
openQbf3.270.330.020.330.041
preQuantor126.6512.6710.4119.5420.710.1
Qbfl261.2626.1330.1412.932.491
Quaffle0.360.040.010.040.011
QUANTOR169.2816.935.7318.822.560.1
QUANTOR_hc174.417.445.9518.781.580.1
qube3.00.20.020.010.020.011
qube4.00.280.030.010.030.021
qube5.00.440.040.010.0401
semprop0.130.010.010.010.011
sKizzo-0.9-abs181.1718.1210.812.2210.51
sKizzo-0.9-grn181.0318.110.6312.3610.471
sKizzo-0.9-std167.3716.7411.0511.463.721
SQBF190.02196.5821.173.131
sSolve1.740.170.030.180.041
ssolve+ut1.790.180.030.170.051
ssolve-ut2.030.20.040.180.071
WalkQSAT0.090.010.010.010.011
yQuaffle0.140.010.010.0101