About the Execution of 2023-gold for AutonomousCar-PT-10a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 485.775 | 1114808.00 | 3671742.00 | 2400.80 | FTTTTFTFFTFTFTTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r043-smll-171620180400229.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool gold2023
Input is AutonomousCar-PT-10a, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-smll-171620180400229
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 5.9K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 22 14:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 19 07:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 17:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 12 17:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 171K Apr 12 17:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Apr 12 17:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Apr 12 17:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 22 14:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 1.5M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-00
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-01
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-02
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-03
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-04
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-05
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-06
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-07
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-08
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-09
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-10
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-11
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-12
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-13
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-14
FORMULA_NAME AutonomousCar-PT-10a-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1716325573604
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AutonomousCar-PT-10a
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2024-05-21 21:06:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -timeout, 360, -rebuildPNML]
[2024-05-21 21:06:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-21 21:06:16] [INFO ] Load time of PNML (sax parser for PT used): 370 ms
[2024-05-21 21:06:16] [INFO ] Transformed 97 places.
[2024-05-21 21:06:16] [INFO ] Transformed 1921 transitions.
[2024-05-21 21:06:16] [INFO ] Found NUPN structural information;
[2024-05-21 21:06:16] [INFO ] Parsed PT model containing 97 places and 1921 transitions and 29152 arcs in 520 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 31 ms.
Working with output stream class java.io.PrintStream
Ensure Unique test removed 423 transitions
Reduce redundant transitions removed 423 transitions.
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 455 resets, run finished after 1298 ms. (steps per millisecond=7 ) properties (out of 10) seen :6
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-05 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 66 ms. (steps per millisecond=151 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 33 resets, run finished after 92 ms. (steps per millisecond=108 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 114 ms. (steps per millisecond=87 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 34 resets, run finished after 57 ms. (steps per millisecond=175 ) properties (out of 4) seen :0
Running SMT prover for 4 properties.
[2024-05-21 21:06:18] [INFO ] Flow matrix only has 1497 transitions (discarded 1 similar events)
// Phase 1: matrix 1497 rows 97 cols
[2024-05-21 21:06:18] [INFO ] Computed 15 invariants in 58 ms
[2024-05-21 21:06:19] [INFO ] After 278ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2024-05-21 21:06:19] [INFO ] [Nat]Absence check using 15 positive place invariants in 9 ms returned sat
[2024-05-21 21:06:20] [INFO ] After 863ms SMT Verify possible using state equation in natural domain returned unsat :1 sat :3
[2024-05-21 21:06:20] [INFO ] State equation strengthened by 403 read => feed constraints.
[2024-05-21 21:06:20] [INFO ] After 236ms SMT Verify possible using 403 Read/Feed constraints in natural domain returned unsat :1 sat :3
[2024-05-21 21:06:21] [INFO ] After 585ms SMT Verify possible using trap constraints in natural domain returned unsat :1 sat :3
Attempting to minimize the solution found.
Minimization took 167 ms.
[2024-05-21 21:06:21] [INFO ] After 1787ms SMT Verify possible using all constraints in natural domain returned unsat :1 sat :3
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-15 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 4 Parikh solutions to 3 different solutions.
Parikh walk visited 0 properties in 175 ms.
Support contains 51 out of 97 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 97/97 places, 1498/1498 transitions.
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 97 transition count 1495
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 4 place count 96 transition count 1495
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 6 place count 94 transition count 1473
Iterating global reduction 2 with 2 rules applied. Total rules applied 8 place count 94 transition count 1473
Free-agglomeration rule applied 5 times.
Iterating global reduction 2 with 5 rules applied. Total rules applied 13 place count 94 transition count 1468
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 18 place count 89 transition count 1468
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 19 place count 89 transition count 1468
Applied a total of 19 rules in 790 ms. Remains 89 /97 variables (removed 8) and now considering 1468/1498 (removed 30) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 791 ms. Remains : 89/97 places, 1468/1498 transitions.
Incomplete random walk after 10000 steps, including 502 resets, run finished after 618 ms. (steps per millisecond=16 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 68 ms. (steps per millisecond=147 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 34 resets, run finished after 67 ms. (steps per millisecond=149 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 39 resets, run finished after 85 ms. (steps per millisecond=117 ) properties (out of 3) seen :0
Interrupted probabilistic random walk after 265692 steps, run timeout after 3001 ms. (steps per millisecond=88 ) properties seen :{}
Probabilistic random walk after 265692 steps, saw 46705 distinct states, run finished after 3003 ms. (steps per millisecond=88 ) properties seen :0
Running SMT prover for 3 properties.
// Phase 1: matrix 1468 rows 89 cols
[2024-05-21 21:06:26] [INFO ] Computed 15 invariants in 23 ms
[2024-05-21 21:06:26] [INFO ] After 61ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2024-05-21 21:06:26] [INFO ] [Nat]Absence check using 15 positive place invariants in 5 ms returned sat
[2024-05-21 21:06:27] [INFO ] After 807ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2024-05-21 21:06:27] [INFO ] State equation strengthened by 383 read => feed constraints.
[2024-05-21 21:06:27] [INFO ] After 245ms SMT Verify possible using 383 Read/Feed constraints in natural domain returned unsat :0 sat :3
[2024-05-21 21:06:28] [INFO ] Deduced a trap composed of 16 places in 1108 ms of which 2 ms to minimize.
[2024-05-21 21:06:28] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 1201 ms
[2024-05-21 21:06:29] [INFO ] Deduced a trap composed of 7 places in 1063 ms of which 2 ms to minimize.
[2024-05-21 21:06:29] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 1150 ms
[2024-05-21 21:06:29] [INFO ] After 2741ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :3
Attempting to minimize the solution found.
Minimization took 141 ms.
[2024-05-21 21:06:30] [INFO ] After 3790ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :3
Parikh walk visited 0 properties in 157 ms.
Support contains 51 out of 89 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 89/89 places, 1468/1468 transitions.
Applied a total of 0 rules in 146 ms. Remains 89 /89 variables (removed 0) and now considering 1468/1468 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 146 ms. Remains : 89/89 places, 1468/1468 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 89/89 places, 1468/1468 transitions.
Applied a total of 0 rules in 188 ms. Remains 89 /89 variables (removed 0) and now considering 1468/1468 (removed 0) transitions.
[2024-05-21 21:06:30] [INFO ] Invariant cache hit.
[2024-05-21 21:06:31] [INFO ] Implicit Places using invariants in 522 ms returned []
[2024-05-21 21:06:31] [INFO ] Invariant cache hit.
[2024-05-21 21:06:31] [INFO ] State equation strengthened by 383 read => feed constraints.
[2024-05-21 21:06:32] [INFO ] Implicit Places using invariants and state equation in 1068 ms returned [84, 87]
Discarding 2 places :
Implicit Place search using SMT with State Equation took 1598 ms to find 2 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 87/89 places, 1468/1468 transitions.
Applied a total of 0 rules in 123 ms. Remains 87 /87 variables (removed 0) and now considering 1468/1468 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 1919 ms. Remains : 87/89 places, 1468/1468 transitions.
Incomplete random walk after 10000 steps, including 495 resets, run finished after 648 ms. (steps per millisecond=15 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 46 ms. (steps per millisecond=217 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 34 resets, run finished after 45 ms. (steps per millisecond=222 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 39 resets, run finished after 61 ms. (steps per millisecond=163 ) properties (out of 3) seen :0
Interrupted probabilistic random walk after 330956 steps, run timeout after 3001 ms. (steps per millisecond=110 ) properties seen :{}
Probabilistic random walk after 330956 steps, saw 57170 distinct states, run finished after 3001 ms. (steps per millisecond=110 ) properties seen :0
Running SMT prover for 3 properties.
// Phase 1: matrix 1468 rows 87 cols
[2024-05-21 21:06:36] [INFO ] Computed 13 invariants in 24 ms
[2024-05-21 21:06:36] [INFO ] After 43ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2024-05-21 21:06:36] [INFO ] [Nat]Absence check using 13 positive place invariants in 5 ms returned sat
[2024-05-21 21:06:37] [INFO ] After 625ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2024-05-21 21:06:37] [INFO ] State equation strengthened by 383 read => feed constraints.
[2024-05-21 21:06:37] [INFO ] After 187ms SMT Verify possible using 383 Read/Feed constraints in natural domain returned unsat :0 sat :3
[2024-05-21 21:06:38] [INFO ] Deduced a trap composed of 7 places in 909 ms of which 1 ms to minimize.
[2024-05-21 21:06:38] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 999 ms
[2024-05-21 21:06:38] [INFO ] After 1373ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :3
Attempting to minimize the solution found.
Minimization took 133 ms.
[2024-05-21 21:06:38] [INFO ] After 2205ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :3
Parikh walk visited 0 properties in 142 ms.
Support contains 51 out of 87 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 87/87 places, 1468/1468 transitions.
Applied a total of 0 rules in 124 ms. Remains 87 /87 variables (removed 0) and now considering 1468/1468 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 124 ms. Remains : 87/87 places, 1468/1468 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 87/87 places, 1468/1468 transitions.
Applied a total of 0 rules in 123 ms. Remains 87 /87 variables (removed 0) and now considering 1468/1468 (removed 0) transitions.
[2024-05-21 21:06:38] [INFO ] Invariant cache hit.
[2024-05-21 21:06:39] [INFO ] Implicit Places using invariants in 419 ms returned []
[2024-05-21 21:06:39] [INFO ] Invariant cache hit.
[2024-05-21 21:06:39] [INFO ] State equation strengthened by 383 read => feed constraints.
[2024-05-21 21:06:40] [INFO ] Implicit Places using invariants and state equation in 1007 ms returned []
Implicit Place search using SMT with State Equation took 1428 ms to find 0 implicit places.
[2024-05-21 21:06:40] [INFO ] Redundant transitions in 150 ms returned []
[2024-05-21 21:06:40] [INFO ] Invariant cache hit.
[2024-05-21 21:06:41] [INFO ] Dead Transitions using invariants and state equation in 1170 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2881 ms. Remains : 87/87 places, 1468/1468 transitions.
Applied a total of 0 rules in 111 ms. Remains 87 /87 variables (removed 0) and now considering 1468/1468 (removed 0) transitions.
Running SMT prover for 3 properties.
[2024-05-21 21:06:41] [INFO ] Invariant cache hit.
[2024-05-21 21:06:41] [INFO ] After 53ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2024-05-21 21:06:41] [INFO ] [Nat]Absence check using 13 positive place invariants in 3 ms returned sat
[2024-05-21 21:06:42] [INFO ] After 596ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2024-05-21 21:06:43] [INFO ] Deduced a trap composed of 7 places in 1015 ms of which 3 ms to minimize.
[2024-05-21 21:06:43] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 1107 ms
[2024-05-21 21:06:43] [INFO ] After 1864ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :3
Attempting to minimize the solution found.
Minimization took 122 ms.
[2024-05-21 21:06:43] [INFO ] After 2040ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :3
[2024-05-21 21:06:44] [INFO ] Export to MCC of 3 properties in file /home/mcc/execution/ReachabilityCardinality.sr.xml took 8 ms.
[2024-05-21 21:06:44] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 87 places, 1468 transitions and 25721 arcs took 31 ms.
[2024-05-21 21:06:45] [INFO ] Flatten gal took : 676 ms
Total runtime 28864 ms.
There are residual formulas that ITS could not solve within timeout
starting LoLA
BK_INPUT AutonomousCar-PT-10a
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution/370
ReachabilityCardinality
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1716326688412
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/370/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/370/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/370/ReachabilityCardinality.xml
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 6 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 11 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 3
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 14 (type EXCL) for 0 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07
lola: time limit : 1196 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 10 (type FNDP) for 0 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 11 (type EQUN) for 0 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 13 (type SRCH) for 0 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/370/ReachabilityCardinality-11.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 5/896 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 17891 t fired, 17 attempts, .
11 EF STEQ 5/896 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 5/896 1/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 16887 m, 3377 m/sec, 63173 t fired, .
14 EF EXCL 5/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2874 m, 574 m/sec, 3870 t fired, .
Time elapsed: 16 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 10/892 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 39723 t fired, 17 attempts, .
11 EF STEQ 10/892 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 10/892 1/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 37089 m, 4040 m/sec, 145931 t fired, .
14 EF EXCL 10/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4821 m, 389 m/sec, 14230 t fired, .
Time elapsed: 21 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 15/887 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 62121 t fired, 17 attempts, .
11 EF STEQ 15/887 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 15/887 1/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 57207 m, 4023 m/sec, 233400 t fired, .
14 EF EXCL 15/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 6753 m, 386 m/sec, 23928 t fired, .
Time elapsed: 26 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 20/882 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 84589 t fired, 17 attempts, .
11 EF STEQ 20/882 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 20/882 1/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 77267 m, 4012 m/sec, 318115 t fired, .
14 EF EXCL 20/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 8697 m, 388 m/sec, 33329 t fired, .
Time elapsed: 31 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 25/877 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 107047 t fired, 17 attempts, .
11 EF STEQ 25/877 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 25/877 1/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 97262 m, 3999 m/sec, 404381 t fired, .
14 EF EXCL 25/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 10639 m, 388 m/sec, 42795 t fired, .
Time elapsed: 36 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 30/872 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 129169 t fired, 17 attempts, .
11 EF STEQ 30/872 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 30/872 1/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 117226 m, 3992 m/sec, 489863 t fired, .
14 EF EXCL 30/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 12577 m, 387 m/sec, 52330 t fired, .
Time elapsed: 41 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 35/867 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 151482 t fired, 17 attempts, .
11 EF STEQ 35/867 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 35/867 1/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 137237 m, 4002 m/sec, 580157 t fired, .
14 EF EXCL 35/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 14513 m, 387 m/sec, 62104 t fired, .
Time elapsed: 46 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 40/862 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 173627 t fired, 17 attempts, .
11 EF STEQ 40/862 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 40/862 1/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 157201 m, 3992 m/sec, 671720 t fired, .
14 EF EXCL 40/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 16449 m, 387 m/sec, 72318 t fired, .
Time elapsed: 51 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 45/857 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 195849 t fired, 17 attempts, .
11 EF STEQ 45/857 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 45/857 1/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 177130 m, 3985 m/sec, 764202 t fired, .
14 EF EXCL 45/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 18375 m, 385 m/sec, 82704 t fired, .
Time elapsed: 56 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 50/852 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 217989 t fired, 17 attempts, .
11 EF STEQ 50/852 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 50/852 1/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 197330 m, 4040 m/sec, 853192 t fired, .
14 EF EXCL 50/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 20303 m, 385 m/sec, 91708 t fired, .
Time elapsed: 61 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 55/847 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 240339 t fired, 17 attempts, .
11 EF STEQ 55/847 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 55/847 1/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 217765 m, 4087 m/sec, 942536 t fired, .
14 EF EXCL 55/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 22245 m, 388 m/sec, 101146 t fired, .
Time elapsed: 66 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 60/842 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 262638 t fired, 17 attempts, .
11 EF STEQ 60/842 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 60/842 1/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 238091 m, 4065 m/sec, 1030816 t fired, .
14 EF EXCL 60/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 24189 m, 388 m/sec, 110826 t fired, .
Time elapsed: 71 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 65/837 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 284947 t fired, 17 attempts, .
11 EF STEQ 65/837 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 65/837 1/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 258383 m, 4058 m/sec, 1124527 t fired, .
14 EF EXCL 65/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 26139 m, 390 m/sec, 120379 t fired, .
Time elapsed: 76 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 70/832 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 307445 t fired, 17 attempts, .
11 EF STEQ 70/832 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 70/832 1/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 278776 m, 4078 m/sec, 1220622 t fired, .
14 EF EXCL 70/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 28082 m, 388 m/sec, 130461 t fired, .
Time elapsed: 81 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 75/827 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 329858 t fired, 17 attempts, .
11 EF STEQ 75/827 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 75/827 2/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 299043 m, 4053 m/sec, 1315312 t fired, .
14 EF EXCL 75/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 30015 m, 386 m/sec, 140787 t fired, .
Time elapsed: 86 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 80/822 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 352180 t fired, 17 attempts, .
11 EF STEQ 80/822 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 80/822 2/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 319224 m, 4036 m/sec, 1408723 t fired, .
14 EF EXCL 80/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 31949 m, 386 m/sec, 150470 t fired, .
Time elapsed: 91 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 85/817 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 374640 t fired, 17 attempts, .
11 EF STEQ 85/817 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 85/817 2/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 339248 m, 4004 m/sec, 1500540 t fired, .
14 EF EXCL 85/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 33885 m, 387 m/sec, 159796 t fired, .
Time elapsed: 96 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 90/812 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 397024 t fired, 17 attempts, .
11 EF STEQ 90/812 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 90/812 2/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 359364 m, 4023 m/sec, 1594677 t fired, .
14 EF EXCL 90/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 35824 m, 387 m/sec, 169286 t fired, .
Time elapsed: 101 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 95/807 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 419539 t fired, 17 attempts, .
11 EF STEQ 95/807 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 95/807 2/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 379411 m, 4009 m/sec, 1686178 t fired, .
14 EF EXCL 95/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 37769 m, 389 m/sec, 178872 t fired, .
Time elapsed: 106 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 100/802 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 441946 t fired, 17 attempts, .
11 EF STEQ 100/802 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 100/802 2/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 399453 m, 4008 m/sec, 1779065 t fired, .
14 EF EXCL 100/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 39712 m, 388 m/sec, 188675 t fired, .
Time elapsed: 111 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 105/797 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 464247 t fired, 17 attempts, .
11 EF STEQ 105/797 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 105/797 2/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 419456 m, 4000 m/sec, 1874125 t fired, .
14 EF EXCL 105/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 41654 m, 388 m/sec, 198912 t fired, .
Time elapsed: 116 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 110/792 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 486759 t fired, 17 attempts, .
11 EF STEQ 110/792 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 110/792 2/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 439343 m, 3977 m/sec, 1968696 t fired, .
14 EF EXCL 110/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 43582 m, 385 m/sec, 209358 t fired, .
Time elapsed: 121 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 115/787 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 509206 t fired, 17 attempts, .
11 EF STEQ 115/787 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 115/787 2/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 459334 m, 3998 m/sec, 2066652 t fired, .
14 EF EXCL 115/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 45519 m, 387 m/sec, 218408 t fired, .
Time elapsed: 126 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 120/782 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 530728 t fired, 17 attempts, .
11 EF STEQ 120/782 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 120/782 2/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 479035 m, 3940 m/sec, 2166453 t fired, .
14 EF EXCL 120/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 47426 m, 381 m/sec, 225075 t fired, .
Time elapsed: 131 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 125/777 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 552974 t fired, 17 attempts, .
11 EF STEQ 125/777 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 125/777 2/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 499038 m, 4000 m/sec, 2263675 t fired, .
14 EF EXCL 125/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 49367 m, 388 m/sec, 235019 t fired, .
Time elapsed: 136 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 130/772 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 575313 t fired, 17 attempts, .
11 EF STEQ 130/772 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 130/772 2/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 519010 m, 3994 m/sec, 2364867 t fired, .
14 EF EXCL 130/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 51337 m, 394 m/sec, 247094 t fired, .
Time elapsed: 141 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 135/767 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 597665 t fired, 17 attempts, .
11 EF STEQ 135/767 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 135/767 2/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 539019 m, 4001 m/sec, 2464175 t fired, .
14 EF EXCL 135/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 53266 m, 385 m/sec, 255331 t fired, .
Time elapsed: 146 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 140/762 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 619888 t fired, 17 attempts, .
11 EF STEQ 140/762 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 140/762 2/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 559022 m, 4000 m/sec, 2559165 t fired, .
14 EF EXCL 140/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 55233 m, 393 m/sec, 269115 t fired, .
Time elapsed: 151 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 145/757 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 643174 t fired, 17 attempts, .
11 EF STEQ 145/757 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 145/757 2/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 578324 m, 3860 m/sec, 2642103 t fired, .
14 EF EXCL 145/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 57253 m, 404 m/sec, 276973 t fired, .
Time elapsed: 156 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 150/752 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 666268 t fired, 17 attempts, .
11 EF STEQ 150/752 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 150/752 3/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 597466 m, 3828 m/sec, 2723050 t fired, .
14 EF EXCL 150/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 59295 m, 408 m/sec, 289250 t fired, .
Time elapsed: 161 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 155/747 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 689437 t fired, 17 attempts, .
11 EF STEQ 155/747 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 155/747 3/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 616591 m, 3825 m/sec, 2804957 t fired, .
14 EF EXCL 155/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 61334 m, 407 m/sec, 299314 t fired, .
Time elapsed: 166 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 160/742 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 712654 t fired, 17 attempts, .
11 EF STEQ 160/742 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 160/742 3/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 635734 m, 3828 m/sec, 2892798 t fired, .
14 EF EXCL 160/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 63362 m, 405 m/sec, 309915 t fired, .
Time elapsed: 171 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 165/737 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 735821 t fired, 17 attempts, .
11 EF STEQ 165/737 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 165/737 3/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 654886 m, 3830 m/sec, 2981136 t fired, .
14 EF EXCL 165/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 65413 m, 410 m/sec, 321810 t fired, .
Time elapsed: 176 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 170/732 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 759292 t fired, 17 attempts, .
11 EF STEQ 170/732 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 170/732 3/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 674010 m, 3824 m/sec, 3068899 t fired, .
14 EF EXCL 170/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 67431 m, 403 m/sec, 331540 t fired, .
Time elapsed: 181 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 175/727 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 782598 t fired, 17 attempts, .
11 EF STEQ 175/727 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 175/727 3/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 692982 m, 3794 m/sec, 3152462 t fired, .
14 EF EXCL 175/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 69487 m, 411 m/sec, 344802 t fired, .
Time elapsed: 186 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 180/722 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 805678 t fired, 17 attempts, .
11 EF STEQ 180/722 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 180/722 3/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 712028 m, 3809 m/sec, 3240704 t fired, .
14 EF EXCL 180/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 71501 m, 402 m/sec, 352758 t fired, .
Time elapsed: 191 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 185/717 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 828823 t fired, 17 attempts, .
11 EF STEQ 185/717 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 185/717 3/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 730906 m, 3775 m/sec, 3324753 t fired, .
14 EF EXCL 185/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 73548 m, 409 m/sec, 366891 t fired, .
Time elapsed: 196 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 190/712 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 852089 t fired, 17 attempts, .
11 EF STEQ 190/712 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 190/712 3/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 750033 m, 3825 m/sec, 3414081 t fired, .
14 EF EXCL 190/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 75575 m, 405 m/sec, 375129 t fired, .
Time elapsed: 201 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 195/707 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 875517 t fired, 17 attempts, .
11 EF STEQ 195/707 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 195/707 3/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 768948 m, 3783 m/sec, 3498085 t fired, .
14 EF EXCL 195/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 77611 m, 407 m/sec, 387139 t fired, .
Time elapsed: 206 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 200/702 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 899006 t fired, 17 attempts, .
11 EF STEQ 200/702 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 200/702 3/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 788145 m, 3839 m/sec, 3586077 t fired, .
14 EF EXCL 200/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 79654 m, 408 m/sec, 397357 t fired, .
Time elapsed: 211 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 205/697 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 922466 t fired, 17 attempts, .
11 EF STEQ 205/697 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 205/697 3/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 807163 m, 3803 m/sec, 3674486 t fired, .
14 EF EXCL 205/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 81679 m, 405 m/sec, 407845 t fired, .
Time elapsed: 216 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 210/692 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 945851 t fired, 17 attempts, .
11 EF STEQ 210/692 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 210/692 3/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 826264 m, 3820 m/sec, 3766999 t fired, .
14 EF EXCL 210/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 83726 m, 409 m/sec, 419818 t fired, .
Time elapsed: 221 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 215/687 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 968946 t fired, 17 attempts, .
11 EF STEQ 215/687 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 215/687 3/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 845340 m, 3815 m/sec, 3860133 t fired, .
14 EF EXCL 215/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 85741 m, 403 m/sec, 429390 t fired, .
Time elapsed: 226 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 220/682 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 992325 t fired, 17 attempts, .
11 EF STEQ 220/682 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 220/682 3/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 864371 m, 3806 m/sec, 3951377 t fired, .
14 EF EXCL 220/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 87797 m, 411 m/sec, 442896 t fired, .
Time elapsed: 231 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 225/677 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1014127 t fired, 49 attempts, .
11 EF STEQ 225/677 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 225/677 4/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 883476 m, 3821 m/sec, 4046029 t fired, .
14 EF EXCL 225/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 89805 m, 401 m/sec, 450630 t fired, .
Time elapsed: 236 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 230/672 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1037586 t fired, 49 attempts, .
11 EF STEQ 230/672 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 230/672 4/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 902482 m, 3801 m/sec, 4137174 t fired, .
14 EF EXCL 230/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 91849 m, 408 m/sec, 464588 t fired, .
Time elapsed: 241 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 235/667 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1060889 t fired, 49 attempts, .
11 EF STEQ 235/667 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 235/667 4/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 921644 m, 3832 m/sec, 4232776 t fired, .
14 EF EXCL 235/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 93885 m, 407 m/sec, 473174 t fired, .
Time elapsed: 246 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 240/662 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1084262 t fired, 49 attempts, .
11 EF STEQ 240/662 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 240/662 4/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 941084 m, 3888 m/sec, 4318123 t fired, .
14 EF EXCL 240/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 95934 m, 409 m/sec, 485128 t fired, .
Time elapsed: 251 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 245/657 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1107757 t fired, 49 attempts, .
11 EF STEQ 245/657 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 245/657 4/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 960510 m, 3885 m/sec, 4410151 t fired, .
14 EF EXCL 245/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 97981 m, 409 m/sec, 495429 t fired, .
Time elapsed: 256 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 250/652 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1130853 t fired, 49 attempts, .
11 EF STEQ 250/652 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 250/652 4/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 979826 m, 3863 m/sec, 4498460 t fired, .
14 EF EXCL 250/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 100012 m, 406 m/sec, 505954 t fired, .
Time elapsed: 261 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 255/647 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1154462 t fired, 49 attempts, .
11 EF STEQ 255/647 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 255/647 4/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 999175 m, 3869 m/sec, 4587920 t fired, .
14 EF EXCL 255/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 102070 m, 411 m/sec, 517981 t fired, .
Time elapsed: 266 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 260/642 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1177735 t fired, 49 attempts, .
11 EF STEQ 260/642 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 260/642 4/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1018532 m, 3871 m/sec, 4677525 t fired, .
14 EF EXCL 260/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 104093 m, 404 m/sec, 527556 t fired, .
Time elapsed: 271 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 265/637 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1200907 t fired, 49 attempts, .
11 EF STEQ 265/637 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 265/637 4/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1037958 m, 3885 m/sec, 4766565 t fired, .
14 EF EXCL 265/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 106158 m, 413 m/sec, 541123 t fired, .
Time elapsed: 276 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 270/632 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1224211 t fired, 49 attempts, .
11 EF STEQ 270/632 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 270/632 4/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1057295 m, 3867 m/sec, 4863309 t fired, .
14 EF EXCL 270/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 108183 m, 405 m/sec, 548963 t fired, .
Time elapsed: 281 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 275/627 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1247304 t fired, 49 attempts, .
11 EF STEQ 275/627 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 275/627 4/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1076580 m, 3857 m/sec, 4957076 t fired, .
14 EF EXCL 275/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 110248 m, 413 m/sec, 563171 t fired, .
Time elapsed: 286 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 280/622 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1270621 t fired, 49 attempts, .
11 EF STEQ 280/622 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 280/622 4/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1096068 m, 3897 m/sec, 5053537 t fired, .
14 EF EXCL 280/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 112283 m, 407 m/sec, 571578 t fired, .
Time elapsed: 291 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 285/617 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1294164 t fired, 49 attempts, .
11 EF STEQ 285/617 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 285/617 4/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1117092 m, 4204 m/sec, 5158852 t fired, .
14 EF EXCL 285/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 114353 m, 414 m/sec, 583688 t fired, .
Time elapsed: 296 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 290/612 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1317872 t fired, 49 attempts, .
11 EF STEQ 290/612 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 290/612 4/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1137762 m, 4134 m/sec, 5259289 t fired, .
14 EF EXCL 290/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 116424 m, 414 m/sec, 594011 t fired, .
Time elapsed: 301 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 295/607 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1341308 t fired, 49 attempts, .
11 EF STEQ 295/607 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 295/607 4/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1158279 m, 4103 m/sec, 5362179 t fired, .
14 EF EXCL 295/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 118468 m, 408 m/sec, 604736 t fired, .
Time elapsed: 306 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 300/602 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1364561 t fired, 49 attempts, .
11 EF STEQ 300/602 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 300/602 5/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1178405 m, 4025 m/sec, 5457350 t fired, .
14 EF EXCL 300/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 120519 m, 410 m/sec, 616578 t fired, .
Time elapsed: 311 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 305/597 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1388016 t fired, 49 attempts, .
11 EF STEQ 305/597 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 305/597 5/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1198765 m, 4072 m/sec, 5558081 t fired, .
14 EF EXCL 305/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 122544 m, 405 m/sec, 626428 t fired, .
Time elapsed: 316 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 310/592 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1411634 t fired, 49 attempts, .
11 EF STEQ 310/592 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 310/592 5/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1219036 m, 4054 m/sec, 5658931 t fired, .
14 EF EXCL 310/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 124614 m, 414 m/sec, 639615 t fired, .
Time elapsed: 321 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 315/587 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1435148 t fired, 49 attempts, .
11 EF STEQ 315/587 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 315/587 5/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1239979 m, 4188 m/sec, 5762383 t fired, .
14 EF EXCL 315/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 126641 m, 405 m/sec, 647791 t fired, .
Time elapsed: 326 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 320/582 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1458718 t fired, 49 attempts, .
11 EF STEQ 320/582 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 320/582 5/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1260729 m, 4150 m/sec, 5859199 t fired, .
14 EF EXCL 320/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 128690 m, 409 m/sec, 662073 t fired, .
Time elapsed: 331 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 325/577 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1482308 t fired, 49 attempts, .
11 EF STEQ 325/577 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 325/577 5/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1281006 m, 4055 m/sec, 5961511 t fired, .
14 EF EXCL 325/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 130737 m, 409 m/sec, 670011 t fired, .
Time elapsed: 336 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 330/572 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1506078 t fired, 49 attempts, .
11 EF STEQ 330/572 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 330/572 5/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1301877 m, 4174 m/sec, 6059995 t fired, .
14 EF EXCL 330/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 132785 m, 409 m/sec, 682430 t fired, .
Time elapsed: 341 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 335/567 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1530072 t fired, 49 attempts, .
11 EF STEQ 335/567 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 335/567 5/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1322304 m, 4085 m/sec, 6160072 t fired, .
14 EF EXCL 335/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 134921 m, 427 m/sec, 691826 t fired, .
Time elapsed: 346 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 340/562 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1554015 t fired, 49 attempts, .
11 EF STEQ 340/562 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 340/562 5/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1342685 m, 4076 m/sec, 6263130 t fired, .
14 EF EXCL 340/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 136974 m, 410 m/sec, 702239 t fired, .
Time elapsed: 351 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 345/557 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1577578 t fired, 49 attempts, .
11 EF STEQ 345/557 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 345/557 5/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1363387 m, 4140 m/sec, 6366620 t fired, .
14 EF EXCL 345/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 139055 m, 416 m/sec, 714588 t fired, .
Time elapsed: 356 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 350/552 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1601167 t fired, 49 attempts, .
11 EF STEQ 350/552 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 350/552 5/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1384067 m, 4136 m/sec, 6464222 t fired, .
14 EF EXCL 350/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 141092 m, 407 m/sec, 724066 t fired, .
Time elapsed: 361 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 355/547 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1624649 t fired, 49 attempts, .
11 EF STEQ 355/547 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 355/547 5/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1404780 m, 4142 m/sec, 6562470 t fired, .
14 EF EXCL 355/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 143167 m, 415 m/sec, 737873 t fired, .
Time elapsed: 366 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 360/542 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1648332 t fired, 49 attempts, .
11 EF STEQ 360/542 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 360/542 5/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1425188 m, 4081 m/sec, 6670316 t fired, .
14 EF EXCL 360/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 145208 m, 408 m/sec, 745694 t fired, .
Time elapsed: 371 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 4 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 365/537 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1671802 t fired, 49 attempts, .
11 EF STEQ 365/537 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
13 EF SRCH 365/537 5/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1445752 m, 4112 m/sec, 6775605 t fired, .
14 EF EXCL 365/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 147281 m, 414 m/sec, 759837 t fired, .
Time elapsed: 376 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
lola: CANCELED task # 13 (type SRCH) for AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 1 3 0 1 0 1 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 370/532 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1694315 t fired, 49 attempts, .
11 EF STEQ 370/532 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 370/1196 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 149339 m, 411 m/sec, 768422 t fired, .
Time elapsed: 381 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
lola: LAUNCH task # 23 (type FNDP) for 6 AutonomousCar-PT-10a-ReachabilityCardinality-2024-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 23 (type FNDP) for AutonomousCar-PT-10a-ReachabilityCardinality-2024-13
lola: result : true
lola: fired transitions : 383
lola: tried executions : 20
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 17 (type FNDP) for 3 AutonomousCar-PT-10a-ReachabilityCardinality-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 17 (type FNDP) for AutonomousCar-PT-10a-ReachabilityCardinality-2024-10
lola: result : true
lola: fired transitions : 232
lola: tried executions : 4
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 15 (type SRCH) for 0 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 15 (type SRCH) for AutonomousCar-PT-10a-ReachabilityCardinality-2024-07
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 375/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1718065 t fired, 49 attempts, .
11 EF STEQ 375/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 375/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 151472 m, 426 m/sec, 781083 t fired, .
Time elapsed: 386 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 380/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1741769 t fired, 49 attempts, .
11 EF STEQ 380/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 380/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 153599 m, 425 m/sec, 791438 t fired, .
Time elapsed: 391 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 385/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1766217 t fired, 49 attempts, .
11 EF STEQ 385/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 385/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 155658 m, 411 m/sec, 802532 t fired, .
Time elapsed: 396 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 390/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1790622 t fired, 49 attempts, .
11 EF STEQ 390/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 390/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 157769 m, 422 m/sec, 814292 t fired, .
Time elapsed: 401 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 395/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1814804 t fired, 49 attempts, .
11 EF STEQ 395/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 395/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 159920 m, 430 m/sec, 825061 t fired, .
Time elapsed: 406 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 400/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1838417 t fired, 49 attempts, .
11 EF STEQ 400/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 400/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 162027 m, 421 m/sec, 837503 t fired, .
Time elapsed: 411 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 405/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1861169 t fired, 49 attempts, .
11 EF STEQ 405/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 405/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 164108 m, 416 m/sec, 847414 t fired, .
Time elapsed: 416 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 410/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1885016 t fired, 49 attempts, .
11 EF STEQ 410/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 410/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 166245 m, 427 m/sec, 861029 t fired, .
Time elapsed: 421 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 415/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1909002 t fired, 49 attempts, .
11 EF STEQ 415/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 415/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 168330 m, 417 m/sec, 869644 t fired, .
Time elapsed: 426 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 420/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1931724 t fired, 49 attempts, .
11 EF STEQ 420/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 420/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 170474 m, 428 m/sec, 884812 t fired, .
Time elapsed: 431 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 425/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1955671 t fired, 49 attempts, .
11 EF STEQ 425/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 425/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 172494 m, 404 m/sec, 891929 t fired, .
Time elapsed: 436 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 430/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 1980194 t fired, 49 attempts, .
11 EF STEQ 430/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 430/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 174543 m, 409 m/sec, 904892 t fired, .
Time elapsed: 441 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 435/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2004329 t fired, 49 attempts, .
11 EF STEQ 435/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 435/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 176601 m, 411 m/sec, 914511 t fired, .
Time elapsed: 446 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 440/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2028936 t fired, 56 attempts, .
11 EF STEQ 440/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 440/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 178671 m, 414 m/sec, 925935 t fired, .
Time elapsed: 451 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 445/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2053400 t fired, 56 attempts, .
11 EF STEQ 445/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 445/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 180759 m, 417 m/sec, 937260 t fired, .
Time elapsed: 456 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 450/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2077999 t fired, 56 attempts, .
11 EF STEQ 450/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 450/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 182821 m, 412 m/sec, 947732 t fired, .
Time elapsed: 461 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 455/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2102705 t fired, 56 attempts, .
11 EF STEQ 455/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 455/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 184914 m, 418 m/sec, 960119 t fired, .
Time elapsed: 466 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 460/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2127527 t fired, 56 attempts, .
11 EF STEQ 460/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 460/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 186972 m, 411 m/sec, 969620 t fired, .
Time elapsed: 471 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 465/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2152212 t fired, 56 attempts, .
11 EF STEQ 465/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 465/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 189068 m, 419 m/sec, 983527 t fired, .
Time elapsed: 476 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 470/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2177102 t fired, 56 attempts, .
11 EF STEQ 470/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 470/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 191120 m, 410 m/sec, 991470 t fired, .
Time elapsed: 481 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 475/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2202003 t fired, 56 attempts, .
11 EF STEQ 475/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 475/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 193208 m, 417 m/sec, 1005794 t fired, .
Time elapsed: 486 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 480/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2226699 t fired, 56 attempts, .
11 EF STEQ 480/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 480/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 195271 m, 412 m/sec, 1014134 t fired, .
Time elapsed: 491 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 485/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2251124 t fired, 56 attempts, .
11 EF STEQ 485/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 485/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 197347 m, 415 m/sec, 1026583 t fired, .
Time elapsed: 496 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 490/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2276166 t fired, 56 attempts, .
11 EF STEQ 490/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 490/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 199423 m, 415 m/sec, 1036831 t fired, .
Time elapsed: 501 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 495/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2300690 t fired, 56 attempts, .
11 EF STEQ 495/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 495/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 201491 m, 413 m/sec, 1047748 t fired, .
Time elapsed: 506 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 500/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2325086 t fired, 56 attempts, .
11 EF STEQ 500/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 500/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 203559 m, 413 m/sec, 1059516 t fired, .
Time elapsed: 511 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 505/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2349282 t fired, 56 attempts, .
11 EF STEQ 505/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 505/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 205601 m, 408 m/sec, 1069689 t fired, .
Time elapsed: 516 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 510/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2373689 t fired, 56 attempts, .
11 EF STEQ 510/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 510/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 207687 m, 417 m/sec, 1082451 t fired, .
Time elapsed: 521 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 515/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2398528 t fired, 56 attempts, .
11 EF STEQ 515/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 515/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 209738 m, 410 m/sec, 1091311 t fired, .
Time elapsed: 526 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 520/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2422855 t fired, 56 attempts, .
11 EF STEQ 520/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 520/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 211820 m, 416 m/sec, 1105947 t fired, .
Time elapsed: 531 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 525/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2447408 t fired, 56 attempts, .
11 EF STEQ 525/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 525/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 213872 m, 410 m/sec, 1113316 t fired, .
Time elapsed: 536 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 530/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2472220 t fired, 56 attempts, .
11 EF STEQ 530/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 530/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 215950 m, 415 m/sec, 1126963 t fired, .
Time elapsed: 541 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 535/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2496904 t fired, 56 attempts, .
11 EF STEQ 535/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 535/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 217911 m, 392 m/sec, 1135620 t fired, .
Time elapsed: 546 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 540/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2521595 t fired, 56 attempts, .
11 EF STEQ 540/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 540/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 219972 m, 412 m/sec, 1147002 t fired, .
Time elapsed: 551 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 545/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2546408 t fired, 56 attempts, .
11 EF STEQ 545/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 545/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 222172 m, 440 m/sec, 1157398 t fired, .
Time elapsed: 556 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 550/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2571439 t fired, 56 attempts, .
11 EF STEQ 550/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 550/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 224219 m, 409 m/sec, 1165085 t fired, .
Time elapsed: 561 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 555/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2595983 t fired, 56 attempts, .
11 EF STEQ 555/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 555/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 226258 m, 407 m/sec, 1174091 t fired, .
Time elapsed: 566 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 560/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2620932 t fired, 56 attempts, .
11 EF STEQ 560/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 560/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 228335 m, 415 m/sec, 1188137 t fired, .
Time elapsed: 571 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 565/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2644842 t fired, 56 attempts, .
11 EF STEQ 565/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 565/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 230525 m, 438 m/sec, 1207657 t fired, .
Time elapsed: 576 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 570/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2668844 t fired, 56 attempts, .
11 EF STEQ 570/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 570/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 232664 m, 427 m/sec, 1214472 t fired, .
Time elapsed: 581 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 575/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2692265 t fired, 56 attempts, .
11 EF STEQ 575/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 575/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 234801 m, 427 m/sec, 1223436 t fired, .
Time elapsed: 586 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 580/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2715348 t fired, 56 attempts, .
11 EF STEQ 580/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 580/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 236891 m, 418 m/sec, 1235072 t fired, .
Time elapsed: 591 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 585/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2738049 t fired, 56 attempts, .
11 EF STEQ 585/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 585/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 239028 m, 427 m/sec, 1252668 t fired, .
Time elapsed: 596 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 590/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2760981 t fired, 56 attempts, .
11 EF STEQ 590/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 590/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 241187 m, 431 m/sec, 1263910 t fired, .
Time elapsed: 601 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 595/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2784644 t fired, 56 attempts, .
11 EF STEQ 595/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 595/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 243314 m, 425 m/sec, 1273466 t fired, .
Time elapsed: 606 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 600/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2808056 t fired, 56 attempts, .
11 EF STEQ 600/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 600/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 245395 m, 416 m/sec, 1283239 t fired, .
Time elapsed: 611 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 605/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2831825 t fired, 56 attempts, .
11 EF STEQ 605/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 605/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 247442 m, 409 m/sec, 1298046 t fired, .
Time elapsed: 616 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 610/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2855360 t fired, 56 attempts, .
11 EF STEQ 610/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 610/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 249541 m, 419 m/sec, 1313391 t fired, .
Time elapsed: 621 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 615/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2878946 t fired, 56 attempts, .
11 EF STEQ 615/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 615/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 251575 m, 406 m/sec, 1320713 t fired, .
Time elapsed: 626 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 620/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2902679 t fired, 56 attempts, .
11 EF STEQ 620/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 620/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 253608 m, 406 m/sec, 1329826 t fired, .
Time elapsed: 631 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 625/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2926547 t fired, 56 attempts, .
11 EF STEQ 625/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 625/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 255640 m, 406 m/sec, 1342358 t fired, .
Time elapsed: 636 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 630/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2950436 t fired, 56 attempts, .
11 EF STEQ 630/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 630/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 257699 m, 411 m/sec, 1359954 t fired, .
Time elapsed: 641 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 635/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2974312 t fired, 56 attempts, .
11 EF STEQ 635/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 635/3589 1/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 259750 m, 410 m/sec, 1368894 t fired, .
Time elapsed: 646 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 640/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 2998171 t fired, 56 attempts, .
11 EF STEQ 640/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 640/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 261787 m, 407 m/sec, 1378026 t fired, .
Time elapsed: 651 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 645/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3021549 t fired, 64 attempts, .
11 EF STEQ 645/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 645/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 263822 m, 407 m/sec, 1387771 t fired, .
Time elapsed: 656 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 650/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3045449 t fired, 64 attempts, .
11 EF STEQ 650/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 650/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 265886 m, 412 m/sec, 1403144 t fired, .
Time elapsed: 661 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 655/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3069343 t fired, 64 attempts, .
11 EF STEQ 655/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 655/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 267978 m, 418 m/sec, 1418017 t fired, .
Time elapsed: 666 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 660/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3093280 t fired, 64 attempts, .
11 EF STEQ 660/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 660/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 270005 m, 405 m/sec, 1425374 t fired, .
Time elapsed: 671 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 665/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3116817 t fired, 64 attempts, .
11 EF STEQ 665/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 665/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 272049 m, 408 m/sec, 1434472 t fired, .
Time elapsed: 676 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 670/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3140441 t fired, 64 attempts, .
11 EF STEQ 670/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 670/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 274121 m, 414 m/sec, 1447818 t fired, .
Time elapsed: 681 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 675/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3164078 t fired, 64 attempts, .
11 EF STEQ 675/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 675/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 276223 m, 420 m/sec, 1465955 t fired, .
Time elapsed: 686 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 680/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3187943 t fired, 64 attempts, .
11 EF STEQ 680/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 680/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 278270 m, 409 m/sec, 1474006 t fired, .
Time elapsed: 691 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 685/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3211931 t fired, 64 attempts, .
11 EF STEQ 685/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 685/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 280310 m, 408 m/sec, 1482824 t fired, .
Time elapsed: 696 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 690/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3235714 t fired, 64 attempts, .
11 EF STEQ 690/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 690/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 282350 m, 408 m/sec, 1492894 t fired, .
Time elapsed: 701 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 695/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3259536 t fired, 64 attempts, .
11 EF STEQ 695/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 695/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 284423 m, 414 m/sec, 1508925 t fired, .
Time elapsed: 706 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 700/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3283389 t fired, 64 attempts, .
11 EF STEQ 700/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 700/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 286502 m, 415 m/sec, 1522925 t fired, .
Time elapsed: 711 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 705/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3306708 t fired, 64 attempts, .
11 EF STEQ 705/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 705/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 288485 m, 396 m/sec, 1530315 t fired, .
Time elapsed: 716 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 710/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3330009 t fired, 64 attempts, .
11 EF STEQ 710/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 710/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 290460 m, 395 m/sec, 1539040 t fired, .
Time elapsed: 721 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 715/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3353311 t fired, 64 attempts, .
11 EF STEQ 715/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 715/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 292461 m, 400 m/sec, 1551835 t fired, .
Time elapsed: 726 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 720/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3376580 t fired, 64 attempts, .
11 EF STEQ 720/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 720/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 294498 m, 407 m/sec, 1569466 t fired, .
Time elapsed: 731 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 725/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3399730 t fired, 64 attempts, .
11 EF STEQ 725/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 725/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 296497 m, 399 m/sec, 1577724 t fired, .
Time elapsed: 736 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 730/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3422949 t fired, 64 attempts, .
11 EF STEQ 730/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 730/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 298483 m, 397 m/sec, 1586778 t fired, .
Time elapsed: 741 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 735/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3446227 t fired, 64 attempts, .
11 EF STEQ 735/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 735/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 300481 m, 399 m/sec, 1596448 t fired, .
Time elapsed: 746 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 740/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3469472 t fired, 64 attempts, .
11 EF STEQ 740/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 740/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 302511 m, 406 m/sec, 1610890 t fired, .
Time elapsed: 751 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 745/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3492501 t fired, 64 attempts, .
11 EF STEQ 745/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 745/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 304563 m, 410 m/sec, 1626360 t fired, .
Time elapsed: 756 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 750/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3515719 t fired, 64 attempts, .
11 EF STEQ 750/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 750/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 306539 m, 395 m/sec, 1633392 t fired, .
Time elapsed: 761 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 755/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3538706 t fired, 64 attempts, .
11 EF STEQ 755/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 755/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 308515 m, 395 m/sec, 1642194 t fired, .
Time elapsed: 766 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 760/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3561861 t fired, 64 attempts, .
11 EF STEQ 760/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 760/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 310509 m, 398 m/sec, 1653517 t fired, .
Time elapsed: 771 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 765/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3585166 t fired, 64 attempts, .
11 EF STEQ 765/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 765/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 312538 m, 405 m/sec, 1670526 t fired, .
Time elapsed: 776 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 770/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3608363 t fired, 64 attempts, .
11 EF STEQ 770/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 770/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 314553 m, 403 m/sec, 1681240 t fired, .
Time elapsed: 781 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 775/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3631565 t fired, 64 attempts, .
11 EF STEQ 775/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 775/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 316544 m, 398 m/sec, 1689510 t fired, .
Time elapsed: 786 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 780/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3654862 t fired, 64 attempts, .
11 EF STEQ 780/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 780/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 318533 m, 397 m/sec, 1698649 t fired, .
Time elapsed: 791 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 785/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3678058 t fired, 64 attempts, .
11 EF STEQ 785/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 785/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 320544 m, 402 m/sec, 1712318 t fired, .
Time elapsed: 796 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 790/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3701203 t fired, 64 attempts, .
11 EF STEQ 790/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 790/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 322585 m, 408 m/sec, 1730025 t fired, .
Time elapsed: 801 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 795/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3724508 t fired, 64 attempts, .
11 EF STEQ 795/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 795/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 324560 m, 395 m/sec, 1736706 t fired, .
Time elapsed: 806 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 800/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3747551 t fired, 64 attempts, .
11 EF STEQ 800/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 800/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 326544 m, 396 m/sec, 1745023 t fired, .
Time elapsed: 811 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 805/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3770899 t fired, 64 attempts, .
11 EF STEQ 805/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 805/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 328532 m, 397 m/sec, 1755592 t fired, .
Time elapsed: 816 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 810/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3794246 t fired, 64 attempts, .
11 EF STEQ 810/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 810/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 330558 m, 405 m/sec, 1771459 t fired, .
Time elapsed: 821 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 815/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3817601 t fired, 64 attempts, .
11 EF STEQ 815/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 815/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 332590 m, 406 m/sec, 1784484 t fired, .
Time elapsed: 826 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 820/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3840617 t fired, 64 attempts, .
11 EF STEQ 820/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 820/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 334571 m, 396 m/sec, 1792174 t fired, .
Time elapsed: 831 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 825/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3863813 t fired, 64 attempts, .
11 EF STEQ 825/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 825/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 336550 m, 395 m/sec, 1800873 t fired, .
Time elapsed: 836 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 830/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3887198 t fired, 64 attempts, .
11 EF STEQ 830/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 830/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 338552 m, 400 m/sec, 1814365 t fired, .
Time elapsed: 841 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 835/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3910565 t fired, 64 attempts, .
11 EF STEQ 835/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 835/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 340587 m, 407 m/sec, 1832123 t fired, .
Time elapsed: 846 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 840/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3933875 t fired, 64 attempts, .
11 EF STEQ 840/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 840/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 342585 m, 399 m/sec, 1839482 t fired, .
Time elapsed: 851 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 845/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3957224 t fired, 64 attempts, .
11 EF STEQ 845/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 845/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 344570 m, 397 m/sec, 1848159 t fired, .
Time elapsed: 856 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 850/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 3980540 t fired, 64 attempts, .
11 EF STEQ 850/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 850/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 346552 m, 396 m/sec, 1857853 t fired, .
Time elapsed: 861 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 855/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4003931 t fired, 64 attempts, .
11 EF STEQ 855/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 855/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 348561 m, 401 m/sec, 1872930 t fired, .
Time elapsed: 866 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 860/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4027006 t fired, 73 attempts, .
11 EF STEQ 860/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 860/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 350602 m, 408 m/sec, 1887704 t fired, .
Time elapsed: 871 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 865/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4050410 t fired, 73 attempts, .
11 EF STEQ 865/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 865/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 352577 m, 395 m/sec, 1894796 t fired, .
Time elapsed: 876 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 870/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4073727 t fired, 73 attempts, .
11 EF STEQ 870/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 870/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 354556 m, 395 m/sec, 1903692 t fired, .
Time elapsed: 881 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 875/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4096822 t fired, 73 attempts, .
11 EF STEQ 875/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 875/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 356554 m, 399 m/sec, 1915468 t fired, .
Time elapsed: 886 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 880/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4120146 t fired, 73 attempts, .
11 EF STEQ 880/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 880/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 358584 m, 406 m/sec, 1932506 t fired, .
Time elapsed: 891 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 885/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4143309 t fired, 73 attempts, .
11 EF STEQ 885/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 885/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 360596 m, 402 m/sec, 1942552 t fired, .
Time elapsed: 896 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 890/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4166768 t fired, 73 attempts, .
11 EF STEQ 890/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 890/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 362582 m, 397 m/sec, 1951164 t fired, .
Time elapsed: 901 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 895/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4189902 t fired, 73 attempts, .
11 EF STEQ 895/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 895/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 364568 m, 397 m/sec, 1960334 t fired, .
Time elapsed: 906 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 900/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4213114 t fired, 73 attempts, .
11 EF STEQ 900/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 900/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 366574 m, 401 m/sec, 1974157 t fired, .
Time elapsed: 911 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 905/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4236458 t fired, 73 attempts, .
11 EF STEQ 905/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 905/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 368624 m, 410 m/sec, 1991272 t fired, .
Time elapsed: 916 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 910/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4259642 t fired, 73 attempts, .
11 EF STEQ 910/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 910/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 370603 m, 395 m/sec, 1998114 t fired, .
Time elapsed: 921 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 915/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4282849 t fired, 73 attempts, .
11 EF STEQ 915/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 915/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 372584 m, 396 m/sec, 2006488 t fired, .
Time elapsed: 926 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 920/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4306350 t fired, 73 attempts, .
11 EF STEQ 920/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 920/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 374569 m, 397 m/sec, 2017467 t fired, .
Time elapsed: 931 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 925/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4329524 t fired, 73 attempts, .
11 EF STEQ 925/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 925/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 376591 m, 404 m/sec, 2033340 t fired, .
Time elapsed: 936 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 930/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4352921 t fired, 73 attempts, .
11 EF STEQ 930/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 930/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 378616 m, 405 m/sec, 2045845 t fired, .
Time elapsed: 941 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 935/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4376413 t fired, 73 attempts, .
11 EF STEQ 935/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 935/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 380601 m, 397 m/sec, 2053635 t fired, .
Time elapsed: 946 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 940/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4399582 t fired, 73 attempts, .
11 EF STEQ 940/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 940/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 382582 m, 396 m/sec, 2062535 t fired, .
Time elapsed: 951 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 945/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4422848 t fired, 73 attempts, .
11 EF STEQ 945/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 945/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 384585 m, 400 m/sec, 2076206 t fired, .
Time elapsed: 956 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 950/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4446207 t fired, 73 attempts, .
11 EF STEQ 950/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 950/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 386627 m, 408 m/sec, 2094381 t fired, .
Time elapsed: 961 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 955/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4469457 t fired, 73 attempts, .
11 EF STEQ 955/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 955/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 388621 m, 398 m/sec, 2100929 t fired, .
Time elapsed: 966 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 960/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4492798 t fired, 73 attempts, .
11 EF STEQ 960/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 960/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 390607 m, 397 m/sec, 2109490 t fired, .
Time elapsed: 971 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 965/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4516143 t fired, 73 attempts, .
11 EF STEQ 965/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 965/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 392595 m, 397 m/sec, 2119408 t fired, .
Time elapsed: 976 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 970/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4539534 t fired, 73 attempts, .
11 EF STEQ 970/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 970/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 394615 m, 404 m/sec, 2135085 t fired, .
Time elapsed: 981 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 975/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4562864 t fired, 73 attempts, .
11 EF STEQ 975/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 975/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 396752 m, 427 m/sec, 2149456 t fired, .
Time elapsed: 986 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 980/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4586169 t fired, 73 attempts, .
11 EF STEQ 980/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 980/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 398765 m, 402 m/sec, 2160201 t fired, .
Time elapsed: 991 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 985/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4609215 t fired, 73 attempts, .
11 EF STEQ 985/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 985/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 400780 m, 403 m/sec, 2170587 t fired, .
Time elapsed: 996 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 990/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4632384 t fired, 73 attempts, .
11 EF STEQ 990/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 990/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 402793 m, 402 m/sec, 2182913 t fired, .
Time elapsed: 1001 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 995/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4655475 t fired, 73 attempts, .
11 EF STEQ 995/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 995/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 404812 m, 403 m/sec, 2192804 t fired, .
Time elapsed: 1006 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 1000/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4678649 t fired, 73 attempts, .
11 EF STEQ 1000/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 1000/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 406830 m, 403 m/sec, 2204990 t fired, .
Time elapsed: 1011 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 1005/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4702039 t fired, 73 attempts, .
11 EF STEQ 1005/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 1005/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 408841 m, 402 m/sec, 2215189 t fired, .
Time elapsed: 1016 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 1010/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4725245 t fired, 73 attempts, .
11 EF STEQ 1010/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 1010/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 410858 m, 403 m/sec, 2226062 t fired, .
Time elapsed: 1021 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 1015/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4748600 t fired, 73 attempts, .
11 EF STEQ 1015/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 1015/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 412869 m, 402 m/sec, 2237706 t fired, .
Time elapsed: 1026 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 1020/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4771804 t fired, 73 attempts, .
11 EF STEQ 1020/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 1020/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 414887 m, 403 m/sec, 2247744 t fired, .
Time elapsed: 1031 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 1025/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4794982 t fired, 73 attempts, .
11 EF STEQ 1025/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 1025/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 416898 m, 402 m/sec, 2260717 t fired, .
Time elapsed: 1036 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 1030/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4818285 t fired, 73 attempts, .
11 EF STEQ 1030/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 1030/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 418919 m, 404 m/sec, 2270159 t fired, .
Time elapsed: 1041 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 1035/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4841685 t fired, 73 attempts, .
11 EF STEQ 1035/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 1035/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 420938 m, 403 m/sec, 2281537 t fired, .
Time elapsed: 1046 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 1040/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4864939 t fired, 73 attempts, .
11 EF STEQ 1040/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 1040/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 422946 m, 401 m/sec, 2292682 t fired, .
Time elapsed: 1051 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 1045/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4888316 t fired, 73 attempts, .
11 EF STEQ 1045/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 1045/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 424958 m, 402 m/sec, 2302802 t fired, .
Time elapsed: 1056 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 1050/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4911641 t fired, 73 attempts, .
11 EF STEQ 1050/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 1050/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 426971 m, 402 m/sec, 2315481 t fired, .
Time elapsed: 1061 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 1055/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4934953 t fired, 73 attempts, .
11 EF STEQ 1055/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 1055/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 428989 m, 403 m/sec, 2325246 t fired, .
Time elapsed: 1066 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 1060/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4958275 t fired, 73 attempts, .
11 EF STEQ 1060/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 1060/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 431012 m, 404 m/sec, 2337087 t fired, .
Time elapsed: 1071 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 1065/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 4981683 t fired, 73 attempts, .
11 EF STEQ 1065/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 1065/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 433029 m, 403 m/sec, 2347509 t fired, .
Time elapsed: 1076 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 EF FNDP 1070/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 5005058 t fired, 73 attempts, .
11 EF STEQ 1070/3589 0/5 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 sara is running.
14 EF EXCL 1070/3589 2/32 AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 435047 m, 403 m/sec, 2358222 t fired, .
Time elapsed: 1081 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 3
lola: FINISHED task # 10 (type FNDP) for AutonomousCar-PT-10a-ReachabilityCardinality-2024-07
lola: result : true
lola: fired transitions : 5010191
lola: tried executions : 74
lola: time used : 1071.000000
lola: memory pages used : 0
lola: CANCELED task # 11 (type EQUN) for AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 (obsolete)
lola: CANCELED task # 14 (type EXCL) for AutonomousCar-PT-10a-ReachabilityCardinality-2024-07 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-10a-ReachabilityCardinality-2024-07: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-10: AG false findpath
AutonomousCar-PT-10a-ReachabilityCardinality-2024-13: EF true findpath
Time elapsed: 1082 secs. Pages in use: 6
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AutonomousCar-PT-10a"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="gold2023"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool gold2023"
echo " Input is AutonomousCar-PT-10a, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r043-smll-171620180400229"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutonomousCar-PT-10a.tgz
mv AutonomousCar-PT-10a execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;