Results for instance test4_quant_squaring2
QBFEVAL'10 - Small Hard Track.



Solver Time Result
AIGSolve0.08UNSAT
QuBE7-c1.92SAT
QuBE7-m2.11SAT
nenofex-qbfeval10391.47FAIL
quantor-3.1655.47FAIL
QuBE7737.48SAT
struqs-109580.42FAIL
aqme-1014406.7FAIL
depqbf-pre43200FAIL
depqbf43200FAIL