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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ170.3617.041.0217.152.151
GRL0.570.060.070.040.051
openQbf1162.62116.26215.118.5814.781
preQuantor169.2116.921.216.731.590
Qbfl5601.73560.17116.24598.890.670.1
Quaffle5568.82556.883.4556.964.360
QUANTOR252.7825.2815.1115.0415.260
QUANTOR_hc230.7223.0711.9815.6714.220
qube3.00.210.020.010.020.011
qube4.00.280.030.010.030.021
qube5.00.310.030.010.030.021
semprop0.10.010.010.010.011
sKizzo-0.9-abs170.9817.110.811.519.811
sKizzo-0.9-grn171.0717.1110.7711.449.861
sKizzo-0.9-std174.0517.4110.9111.6710.141
SQBF168.8416.881.217.52.411
sSolve1.760.180.050.180.081
ssolve+ut3.070.310.210.190.051
ssolve-ut1.790.180.060.190.111
WalkQSAT0.170.020.010.020.021
yQuaffle8664.81866.481725.1268.88546.740.6