Family Qq3k1k3k1v80v80v80m16 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.050.010.010.010.011
GRL0.0400.0100.011
openQbf1.580.160.010.160.011
preQuantor0.0200000.6
Qbfl0.0100001
Quaffle633.5463.35162.20.010.010.9
QUANTOR0.0400.01001
QUANTOR_hc0.0300.01001
qube3.00.060.010.010.010.011
qube4.00.10.010.010.010.011
qube5.00.190.020.010.020.011
semprop0.060.010.010.010.011
sKizzo-0.9-abs0.0300.01001
sKizzo-0.9-grn0.0100001
sKizzo-0.9-std0.0100001
SQBF0.060.010.010.010.011
sSolve1.710.170.030.180.051
ssolve+ut1.940.190.020.20.041
ssolve-ut1.820.180.040.170.041
WalkQSAT0.0100001
yQuaffle0.050.010.0100.011