Porous Invariants for Linear Systems: POROUS Tool and experimental data

POROUS Tool and experimental data for Porous Invariants for Linear Systems. The code is maintained at https://github.com/davidjpurser/porous-tool Contains: the code in porous-tool-May2023.zip the results of experiements run on a Dell PowerEdge M620 with 2x Intel Xeon E5-2667 v2 CPUs and 256GB RAM in document-journal.csv as a summary file, listing each generated instance type, file name, success status, and timing information. Used as input to analysis.py. journal-data.zip containing individual randomly generated instances and their output Preliminary results were presented in the paper Porous Invariants. CAV 2021 by Engel Lefaucheux, Joël Ouaknine, David Purser and James Worrell.