Results for instance eequery_query04_1344n
QBFEVAL'16 - 2QBF Track.



Solver Time Result
rareqs0.07SAT
hiqqer1ldsq0.08SAT
hiqqer10.1SAT
hiqqer30.1SAT
dynQBF0.2SAT
qestos0.33SAT
aspQ0.58SAT
xb-bid-qsts0.62UNSAT
xb-qsts0.77SAT
depqbf-v20.81SAT
qsts3.07SAT
areqs3.57SAT
depqbf-v120.61SAT
depqbf-v3125.74SAT
iprover-QBF-bloqqer282.35FAIL
iprover-QBF599.22FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
cadet599.71FAIL
ghostq-cegar599.81FAIL
ghostq-plain599.91FAIL