You need to sign in or sign up before continuing.
Convert BTOR2 files with large line IDs
There is one BTOR2 file array/btor2/goel-2019/example.btor2 whose maximum line ID is 90000013.
However, it actually has less than 1500 lines.
These large IDs result in an Out-of-Memory problem when the array storing the variable names of lines is initialized.