Family Qq3k1k3k1v40v40v40m16 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.070.010.010.010.011
GRL0.0300.01001
openQbf1.520.150.010.1501
preQuantor0.060.010.010.010.010.8
Qbfl0.0400.01001
Quaffle1283.51128.35214.031.4412.010.8
QUANTOR0.0200001
QUANTOR_hc0.0400.01001
qube3.00.120.010.010.020.021
qube4.00.150.020.010.020.021
qube5.00.090.010.010.010.011
semprop0.050.010.010.010.011
sKizzo-0.9-abs0.0400.0100.011
sKizzo-0.9-grn0.0300.01001
sKizzo-0.9-std0.0300.01001
SQBF0.0200001
sSolve1.80.180.030.190.051
ssolve+ut1.770.180.020.180.031
ssolve-ut1.690.170.040.180.071
WalkQSAT0.0400.0100.011
yQuaffle0.070.010.010.010.011