Results for instance test5_quant_squaring5
QBFEVAL'10 - Competitive Track.



Solver Time Result
QuBE70.1SAT
QuBE7-c2.87SAT
QuBE7-m3.04SAT
AIGSolve8.38SAT
struqs-1036.14SAT
nenofex-qbfeval10261.7FAIL
qmaiga300.66FAIL
aqme-101200FAIL
quantor-3.11200FAIL
depqbf1200.14FAIL
depqbf-pre1200.16FAIL