Marabou does not seem to respect timeout sometimes

[tflinkow]

(I'm aware this is probably more of a problem with Marabou than it is a Vehicle one; however, since I'm using Vehicle as the interface to Marabou, I don't know what's going on behind the scenes in terms of Marabou queries generated and how Marabou is invoked etc.)

---

Running

vehicle --no-warnings verify -s property.vcl \
                             -n classifier:network.onnx \
                             -p epsilon:0.2 \
                             -p delta:15.0 \
                             -d trainingImages:images.idx \
                             -d trainingLabels:labels.idx \
                             -v Marabou \
                             -a "--timeout=10"

will not timeout after 10 seconds --- in fact, it doesn't seem to ever really timeout (even after waiting for 10 minutes).

mwe.zip

[MatthewDaggitt]

Yup, I've also found that. It's definitely an issue on the Marabou side.

I've opened an issue on the Marabou repo: NeuralNetworkVerification/Marabou#859