Family Qq3k2k1k2v40v40v40m16 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.0400.0100.011
GRL0.0200001
openQbf1.550.160.010.160.021
preQuantor0.050.010.010.010.011
Qbfl0.070.010.010.010.011
Quaffle2561.04256.1256.24249.7503.640.5
QUANTOR0.0100001
QUANTOR_hc0.0400.0100.011
qube3.00.090.010.010.010.011
qube4.00.160.020.010.020.011
qube5.00.130.010.010.0101
semprop0.070.010.010.010.011
sKizzo-0.9-abs0.0100001
sKizzo-0.9-grn000001
sKizzo-0.9-std0.0200001
SQBF0.0400.01001
sSolve1.920.190.020.20.031
ssolve+ut1.730.170.020.180.031
ssolve-ut1.790.180.040.180.071
WalkQSAT0.0400.0100.011
yQuaffle0.0300.01001