Family Tree results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ000001
GRL0.010.0100.0101
openQbf6000.256000.2506000.2500
preQuantor000001
Qbfl530.37530.370530.3700
Quaffle0.010.0100.0101
QUANTOR000001
QUANTOR_hc0.010.0100.0101
qube3.0000001
qube4.0000001
qube5.00.010.0100.0101
semprop000001
sKizzo-0.9-abs000001
sKizzo-0.9-grn000001
sKizzo-0.9-std000001
SQBF000001
sSolve0.150.1500.1501
ssolve+ut0.240.2400.2401
ssolve-ut0.190.1900.1901
WalkQSAT0.010.0100.0101
yQuaffle000001