Family Qq3k1k3k1v80v80v80m4 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.0100001
GRL0.0300.01001
openQbf1.540.150.010.160.031
preQuantor0.050.010.01000.9
Qbfl0.0300.01001
Quaffle0.0200001
QUANTOR0.0200001
QUANTOR_hc0.080.010.010.010.011
qube3.00.060.010.0100.011
qube4.00.150.020.010.020.021
qube5.00.10.010.010.010.011
semprop0.050.010.010.010.011
sKizzo-0.9-abs0.050.010.010.010.011
sKizzo-0.9-grn0.050.010.0100.011
sKizzo-0.9-std0.0400.01001
SQBF0.0200001
sSolve1.650.170.030.160.041
ssolve+ut1.760.180.020.190.041
ssolve-ut1.830.180.020.190.041
WalkQSAT0.050.010.0100.011
yQuaffle0.060.010.010.010.011