Family Qq3k2k2k1v80v80v80m16 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.060.010.010.010.011
GRL0.0100001
openQbf1.510.150.020.150.031
preQuantor0.0400.01000.9
Qbfl0.0400.0100.011
Quaffle1521.81152.18232.490.010.010.7
QUANTOR0.0200001
QUANTOR_hc0.0300.01001
qube3.00.130.010.010.010.021
qube4.00.070.010.010.010.011
qube5.00.160.020.010.020.021
semprop0.060.010.010.010.011
sKizzo-0.9-abs0.0400.0100.011
sKizzo-0.9-grn0.0200001
sKizzo-0.9-std0.0200001
SQBF0.060.010.010.010.011
sSolve1.650.170.030.180.061
ssolve+ut1.860.190.040.180.031
ssolve-ut1.820.180.030.190.041
WalkQSAT0.0300.01001
yQuaffle0.080.010.010.010.011