Results for instance adder-6-sat
QBFEVAL'06



Solver Time Result
sKizzo-0.9-abs5.8SAT
sKizzo-0.9-std5.96SAT
SQBF27.61SAT
preQuantor27.65SAT
2clsQ28.15SAT
QUANTOR_hc38.34SAT
QUANTOR38.51SAT
sKizzo-0.9-grn83.1SAT
Quaffle554.98FAIL
yQuaffle592.11FAIL
Qbfl594.62FAIL
GRL600.88FAIL
semprop600.99FAIL
WalkQSAT601FAIL
sSolve5999.16FAIL
ssolve+ut5999.33FAIL
ssolve-ut6000.22FAIL
qube5.06000.29FAIL
qube3.06000.36FAIL
qube4.06000.38FAIL
openQbf6000.79FAIL