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



Solver Time Result
AIGSolve22.81SAT
quantor-3.126.95FAIL
nenofex-qbfeval10303.83FAIL
struqs-105917.68FAIL
aqme-106481.84FAIL
QuBE7-m28167.8FAIL
QuBE7-c39455.9FAIL
depqbf-pre43200FAIL
depqbf43200FAIL
QuBE743200.1FAIL