Results for instance ev-pr-6x6-7-5-0-1-2-lg
QBFEVAL'06



Solver Time Result
sKizzo-0.9-grn0.52UNSAT
sKizzo-0.9-abs0.55UNSAT
sKizzo-0.9-std0.56UNSAT
Quaffle2.76UNSAT
GRL3.1UNSAT
WalkQSAT5.56UNSAT
qube5.06.6UNSAT
qube3.07.27UNSAT
qube4.08.1UNSAT
yQuaffle9.87UNSAT
Qbfl31.05UNSAT
semprop35.86UNSAT
openQbf67.07UNSAT
ssolve-ut150.17UNSAT
sSolve154.28UNSAT
ssolve+ut154.65UNSAT
SQBF240.14UNSAT
QUANTOR_hc244.71FAIL
QUANTOR246.15FAIL
2clsQ265.96UNSAT
preQuantor583.6FAIL