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



Solver Time Result
qsts0.13UNSAT
rareqs8.67SAT
ghostq-plain8.7SAT
ghostq-cegar8.77SAT
qesto27.94SAT
xb-qsts59.23SAT
xb-bid-qsts59.76SAT
caqe-minisat63.47SAT
AIGSolve71.83SAT
caqe-picosat86.25SAT
iprover-QBF237.53FAIL
hiqqer1ldsq267.03SAT
hiqqer1273.49SAT
depqbf-v2281.11SAT
depqbf-v3290.09SAT
qestos368.42FAIL
hiqqer3407.2SAT
iprover-QBF-bloqqer453.43FAIL
depqbf-v1591.75FAIL
squeezebf+struqs599.81FAIL
struqs-10599.82FAIL
aqua-s2v600FAIL
aqua-f3v600FAIL
aqua-s3o600FAIL