Family mA-t2-6qbf-5cnf-20var-640cl results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ327.932.7917.2220.0629.341
GRL0.170.020.010.020.011
openQbf3.360.340.10.280.11
preQuantor269.6726.9718.0518.73.030
Qbfl82.428.247.444.710.131
Quaffle0.980.10.150.020.011
QUANTOR156.5515.661.1715.560.70
QUANTOR_hc164.3916.441.3516.181.60
qube3.00.170.020.010.020.011
qube4.00.270.030.010.030.011
qube5.00.270.030.010.030.011
semprop0.060.010.0100.011
sKizzo-0.9-abs151.515.159.8310.632.211
sKizzo-0.9-grn151.5115.159.8110.672.41
sKizzo-0.9-std153.6715.371010.812.51
SQBF318.5831.8616.5819.5730.731
sSolve2.130.210.050.220.11
ssolve+ut1.950.20.040.190.051
ssolve-ut1.850.190.040.190.031
WalkQSAT0.110.010.010.0101
yQuaffle0.180.020.020.010.021