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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ17308.981730.91974.11790.692634.380.6
GRL27.562.762.232.492.661
openQbf50740.915074.091489.636000.823340.940.3
preQuantor195.6519.5710.8615.894.580
Qbfl27550.762755.082640.04599.845384.960
Quaffle5419.09541.914.15542.035.810
QUANTOR173.7517.383.6716.53.190
QUANTOR_hc177.317.733.416.955.030
qube3.056.865.6916.330.070.081
qube4.0587.8758.79175.930.070.251
qube5.0587.5558.76175.830.070.231
semprop0.480.050.050.020.061
sKizzo-0.9-abs513.8451.3891.317.8718.791
sKizzo-0.9-grn265.6926.5718.9917.9418.681
sKizzo-0.9-std518.751.8792.7718.2421.421
SQBF1768.98176.9182.0796.25131.30.7
sSolve1.850.190.040.190.051
ssolve+ut20.222.020.442.20.41
ssolve-ut1.960.20.030.20.061
WalkQSAT1.460.150.10.10.141
yQuaffle11394.491139.451619.38599.720.290