Family Qq2k1k4v80v80m8 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.050.010.010.010.011
GRL0.0100001
openQbf1.510.150.020.150.031
preQuantor0.060.010.010.010.010.6
Qbfl0.0400.01001
Quaffle1832.81183.28164.05143.63133.620.9
QUANTOR0.0300.01001
QUANTOR_hc0.050.010.0100.011
qube3.00.10.010.010.010.011
qube4.00.070.010.010.010.011
qube5.00.150.020.010.020.021
semprop0.0400.01001
sKizzo-0.9-abs0.0200001
sKizzo-0.9-grn0.0300.01001
sKizzo-0.9-std0.0300.01001
SQBF0.070.010.010.010.011
sSolve1.790.180.030.170.041
ssolve+ut1.860.190.030.190.051
ssolve-ut1.750.180.060.180.091
WalkQSAT0.070.010.010.010.011
yQuaffle0.090.010.010.010.011