Results for instance ev-pr-8x8-5-7-0-1-2-lg
QBFEVAL'06



Solver Time Result
yQuaffle0.31UNSAT
ssolve+ut0.33UNSAT
semprop0.37UNSAT
sSolve0.51UNSAT
ssolve-ut0.52UNSAT
sKizzo-0.9-abs0.64UNSAT
WalkQSAT0.66UNSAT
sKizzo-0.9-grn0.66UNSAT
sKizzo-0.9-std0.75UNSAT
GRL0.93UNSAT
Quaffle1.03UNSAT
qube3.01.67UNSAT
qube4.06.38UNSAT
qube5.06.73UNSAT
openQbf18.94UNSAT
Qbfl20.21UNSAT
QUANTOR_hc24.12FAIL
QUANTOR25.13FAIL
SQBF294.94UNSAT
2clsQ297.79UNSAT
preQuantor1969.52FAIL