Results for instance c5_BMC_p2_k64
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qsts1.28UNSAT
xb-bid-qsts160.84SAT
aqua-s2v499.92FAIL
depqbf-v1592.02FAIL
depqbf-v2592.32FAIL
iprover-QBF-bloqqer599.12FAIL
iprover-QBF599.22FAIL
xb-qsts599.52FAIL
qesto599.62FAIL
caqe-minisat599.66FAIL
caqe-picosat599.7FAIL
rareqs599.71FAIL
qestos599.71FAIL
squeezebf+struqs599.71FAIL
ghostq-plain599.71FAIL
hiqqer3599.81FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL
ghostq-cegar599.81FAIL
depqbf-v3599.81FAIL
aqua-s3o599.81FAIL
aqua-f3v599.81FAIL
struqs-10599.81FAIL
AIGSolve599.82FAIL