How to use the version that used to attend VNN-COMP 2024?

[ytsao]

Hi,

I'm using Marabou to verify the instance in VNN-COMP 2024, but I have different result compare with the result the provided by VNN-COMP 2024.
So, I'm wondering how to access the version of Marabou that used to attend in VNN-COMP 2024?

The instance that I used is dist-shift dataset, and index4164_delta0.13.vnnlib, the result from VNN-COMP is sat, while I got unsat by running Marabou through cmd environment.

Thanks!

[ytsao]

I found this problem is in metaroom-2023 dataset as well.
I'm testing on 4cnn_ry_111_18_no_custom_OP.onnx and spec_idx_2_eps_0.00000436.vnnlib.