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



Solver Time Result
QuBE70.94SAT
QuBE7-c4.14SAT
QuBE7-m4.3SAT
quantor-3.121.81FAIL
nenofex-qbfeval10843.94FAIL
aqme-101200FAIL
struqs-101200.09FAIL
depqbf-pre1200.17FAIL
depqbf1200.18FAIL