Family Qq3k1k1k3v80v80v80m8 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.070.010.010.010.011
GRL0.0200001
openQbf1.560.160.020.150.031
preQuantor0.0300.01000.8
Qbfl0.080.010.010.010.011
Quaffle0.0200001
QUANTOR0.060.010.010.010.011
QUANTOR_hc000001
qube3.00.120.010.010.010.011
qube4.00.080.0100.010.011
qube5.00.140.010.010.010.011
semprop0.060.010.010.010.011
sKizzo-0.9-abs0.0100001
sKizzo-0.9-grn000001
sKizzo-0.9-std0.0100001
SQBF0.080.010.010.010.011
sSolve1.490.150.040.150.051
ssolve+ut1.820.180.040.190.081
ssolve-ut1.820.180.030.180.061
WalkQSAT0.0400.0100.011
yQuaffle0.0300.01001