Results for instance nusmv.syncarb5^2.B-f2
QBFEVAL'06



Solver Time Result
sKizzo-0.9-std0.18SAT
sKizzo-0.9-abs0.19SAT
sKizzo-0.9-grn0.2SAT
qube5.01.44SAT
QUANTOR_hc3.51UNSAT
QUANTOR3.62SAT
SQBF4.12SAT
preQuantor4.13SAT
2clsQ4.15SAT
ssolve-ut7SAT
sSolve8.3SAT
ssolve+ut8.35SAT
Quaffle8.61SAT
WalkQSAT15.13SAT
semprop34.06SAT
Qbfl175.77SAT
GRL600.97FAIL
yQuaffle6000.22FAIL
qube3.06000.6FAIL
qube4.06000.65FAIL
openQbf6000.88FAIL