tdstat.py can report on satisfaction of reach-avoid spec with argument --checksat
tdstat.py can report on satisfaction of reach-avoid spec with argument --checksat

fmrchallenge/fmrbenchmark,fmrchallenge/fmrbenchmark,fmrchallenge/fmrbenchmark