Results for instance rankfunc2_unsigned_64
QBFEVAL'10 - 2QBF Track.



Solver Time Result
QuBE70.37SAT
QuBE7-m0.38SAT
QuBE7-c0.38SAT
quantor-3.123.83FAIL
nenofex-qbfeval10466.8FAIL
aqme-101200FAIL
struqs-101200.08FAIL
depqbf-pre1200.16FAIL
depqbf1200.17FAIL