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



Solver Time Result
qsts0.03SAT
ghostq-plain0.59SAT
ghostq-cegar0.6SAT
AIGSolve11.68SAT
depqbf-v312.82SAT
qestos22.59SAT
qesto22.65SAT
rareqs22.67SAT
depqbf-v232.51SAT
caqe-minisat68.69SAT
caqe-picosat72.01SAT
xb-qsts103.71SAT
xb-bid-qsts104.25SAT
squeezebf+struqs341.23SAT
struqs-10393.05SAT
hiqqer1428.21SAT
hiqqer1ldsq431.88SAT
hiqqer3564.03SAT
depqbf-v1593.62FAIL
iprover-QBF599.22FAIL
iprover-QBF-bloqqer599.23FAIL
aqua-f3v600FAIL
aqua-s2v600FAIL
aqua-s3o600FAIL