Family Qq3k1k2k2v80v80v80m16 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.050.010.0100.011
GRL0.0200001
openQbf1.560.160.020.150.031
preQuantor0.050.010.010.010.010.9
Qbfl0.050.010.0100.011
Quaffle24.592.466.850.010.011
QUANTOR0.0100001
QUANTOR_hc000001
qube3.00.130.010.010.010.021
qube4.00.150.020.010.020.011
qube5.00.140.010.010.020.021
semprop0.060.010.010.010.011
sKizzo-0.9-abs000001
sKizzo-0.9-grn0.050.010.010.010.011
sKizzo-0.9-std0.0100001
SQBF0.070.010.010.010.011
sSolve1.760.180.040.190.071
ssolve+ut1.940.190.020.20.051
ssolve-ut1.690.170.050.170.081
WalkQSAT0.0200001
yQuaffle0.0400.0100.011