Results for instance ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp
QBFEVAL'16 - Random QBFs Track.



Solver Time Result
aqua-s2v0.36UNSAT
aqua-s3o0.36UNSAT
aqua-f3v0.4UNSAT
hiqqer1ldsq0.94UNSAT
hiqqer10.94UNSAT
hiqqer31.13UNSAT
xb-qsts1.46UNSAT
rareqs1.66UNSAT
depqbf-v22.12UNSAT
qsts4.52UNSAT
caqe-picosat7.98UNSAT
qesto9.84UNSAT
xb-bid-qsts33.41SAT
depqbf-v356.46UNSAT
depqbf-v187.61UNSAT
caqe-minisat213.25UNSAT
iprover-QBF-bloqqer298.64FAIL
iprover-QBF318.55FAIL
squeezebf+struqs599.71FAIL
qestos599.71FAIL
struqs-10599.71FAIL