About the Execution of LoLa+red for Philosophers-PT-010000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3295999.00 | 0.00 | 0.00 | ? ? ? ? ? 10000 10000 ? 1 1 1 1 1 1 1 1 | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r295-tall-167873947600269.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is Philosophers-PT-010000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r295-tall-167873947600269
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 321M
-rw-r--r-- 1 mcc users 11M Feb 26 03:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52M Feb 26 03:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9M Feb 25 19:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 34M Feb 25 19:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0M Feb 25 16:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21M Feb 25 16:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6M Feb 25 16:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 17M Feb 25 16:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9M Feb 26 20:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 47M Feb 26 20:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14M Feb 26 12:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79M Feb 26 12:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.1M Feb 25 16:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 2.7M Feb 25 16:33 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 22M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Philosophers-PT-010000-UpperBounds-00
FORMULA_NAME Philosophers-PT-010000-UpperBounds-01
FORMULA_NAME Philosophers-PT-010000-UpperBounds-02
FORMULA_NAME Philosophers-PT-010000-UpperBounds-03
FORMULA_NAME Philosophers-PT-010000-UpperBounds-04
FORMULA_NAME Philosophers-PT-010000-UpperBounds-05
FORMULA_NAME Philosophers-PT-010000-UpperBounds-06
FORMULA_NAME Philosophers-PT-010000-UpperBounds-07
FORMULA_NAME Philosophers-PT-010000-UpperBounds-08
FORMULA_NAME Philosophers-PT-010000-UpperBounds-09
FORMULA_NAME Philosophers-PT-010000-UpperBounds-10
FORMULA_NAME Philosophers-PT-010000-UpperBounds-11
FORMULA_NAME Philosophers-PT-010000-UpperBounds-12
FORMULA_NAME Philosophers-PT-010000-UpperBounds-13
FORMULA_NAME Philosophers-PT-010000-UpperBounds-14
FORMULA_NAME Philosophers-PT-010000-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1678812638332
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=lolaxred
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Philosophers-PT-010000
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-14 16:50:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -timeout, 360, -rebuildPNML]
[2023-03-14 16:50:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 16:50:41] [INFO ] Load time of PNML (sax parser for PT used): 1266 ms
[2023-03-14 16:50:41] [INFO ] Transformed 50000 places.
[2023-03-14 16:50:41] [INFO ] Transformed 50000 transitions.
[2023-03-14 16:50:41] [INFO ] Parsed PT model containing 50000 places and 50000 transitions and 160000 arcs in 1521 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 17845 ms.
// Phase 1: matrix 50000 rows 50000 cols
[2023-03-14 16:51:00] [INFO ] Computed 20000 place invariants in 275 ms
FORMULA Philosophers-PT-010000-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Philosophers-PT-010000-UpperBounds-12 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Philosophers-PT-010000-UpperBounds-10 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Philosophers-PT-010000-UpperBounds-09 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Philosophers-PT-010000-UpperBounds-08 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Philosophers-PT-010000-UpperBounds-06 10000 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Philosophers-PT-010000-UpperBounds-05 10000 TECHNIQUES TOPOLOGICAL INITIAL_STATE
Interrupted random walk after 5266 steps, including 1 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen 7213
FORMULA Philosophers-PT-010000-UpperBounds-14 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Philosophers-PT-010000-UpperBounds-11 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
Interrupted Best-First random walk after 9001 steps, including 0 resets, run timeout after 5023 ms. (steps per millisecond=1 ) properties seen 3
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 5074 ms. (steps per millisecond=1 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 5124 ms. (steps per millisecond=1 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 5122 ms. (steps per millisecond=1 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 5055 ms. (steps per millisecond=1 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 5130 ms. (steps per millisecond=1 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2645 ms. (steps per millisecond=3 ) properties (out of 7) seen :0
[2023-03-14 16:52:03] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : [10000, 10000, 10000, 10000, 10000, 10000, 1] Max seen :[1395, 1385, 1395, 1385, 256, 1395, 0]
Support contains 30000 out of 50000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Applied a total of 0 rules in 516 ms. Remains 50000 /50000 variables (removed 0) and now considering 50000/50000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 523 ms. Remains : 50000/50000 places, 50000/50000 transitions.
[2023-03-14 16:52:39] [INFO ] Invariant cache hit.
Interrupted random walk after 5298 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen 10289
Interrupted Best-First random walk after 11001 steps, including 0 resets, run timeout after 5211 ms. (steps per millisecond=2 ) properties seen 3
Interrupted Best-First random walk after 11001 steps, including 0 resets, run timeout after 5261 ms. (steps per millisecond=2 ) properties seen 2
Interrupted Best-First random walk after 11001 steps, including 0 resets, run timeout after 5497 ms. (steps per millisecond=2 ) properties seen 3
Interrupted Best-First random walk after 11001 steps, including 0 resets, run timeout after 5081 ms. (steps per millisecond=2 ) properties seen 2
Interrupted Best-First random walk after 11001 steps, including 0 resets, run timeout after 5105 ms. (steps per millisecond=2 ) properties seen 3
Interrupted Best-First random walk after 11001 steps, including 0 resets, run timeout after 5174 ms. (steps per millisecond=2 ) properties seen 3
Interrupted Best-First random walk after 21002 steps, including 0 resets, run timeout after 5037 ms. (steps per millisecond=4 ) properties seen 3
FORMULA Philosophers-PT-010000-UpperBounds-13 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
[2023-03-14 16:53:45] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : [10000, 10000, 10000, 10000, 10000, 10000] Max seen :[1923, 1967, 1923, 1967, 586, 1923]
Support contains 30000 out of 50000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Applied a total of 0 rules in 282 ms. Remains 50000 /50000 variables (removed 0) and now considering 50000/50000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 283 ms. Remains : 50000/50000 places, 50000/50000 transitions.
[2023-03-14 16:54:35] [INFO ] Invariant cache hit.
Finished random walk after 5384 steps, including 0 resets, run visited all 6 properties in 30005 ms. (steps per millisecond=0 )
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5474 ms. (steps per millisecond=1 ) properties seen 3
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5045 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5129 ms. (steps per millisecond=1 ) properties seen 3
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5118 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5133 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5470 ms. (steps per millisecond=1 ) properties seen 3
[2023-03-14 16:55:36] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : [10000, 10000, 10000, 10000, 10000, 10000] Max seen :[1962, 1967, 1962, 1967, 595, 1962]
Support contains 30000 out of 50000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Applied a total of 0 rules in 255 ms. Remains 50000 /50000 variables (removed 0) and now considering 50000/50000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 255 ms. Remains : 50000/50000 places, 50000/50000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Applied a total of 0 rules in 242 ms. Remains 50000 /50000 variables (removed 0) and now considering 50000/50000 (removed 0) transitions.
[2023-03-14 16:56:27] [INFO ] Invariant cache hit.
[2023-03-14 16:56:31] [INFO ] Implicit Places using invariants in 3634 ms returned []
Implicit Place search using SMT only with invariants took 3638 ms to find 0 implicit places.
[2023-03-14 16:56:31] [INFO ] Invariant cache hit.
[2023-03-14 16:56:34] [INFO ] Dead Transitions using invariants and state equation in 3555 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7438 ms. Remains : 50000/50000 places, 50000/50000 transitions.
[2023-03-14 16:56:34] [INFO ] Invariant cache hit.
Finished random walk after 5927 steps, including 0 resets, run visited all 6 properties in 30004 ms. (steps per millisecond=0 )
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5403 ms. (steps per millisecond=1 ) properties seen 3
Interrupted Best-First random walk after 9001 steps, including 0 resets, run timeout after 5005 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5487 ms. (steps per millisecond=1 ) properties seen 3
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5386 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5526 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 9001 steps, including 0 resets, run timeout after 5066 ms. (steps per millisecond=1 ) properties seen 3
[2023-03-14 16:57:36] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : [10000, 10000, 10000, 10000, 10000, 10000] Max seen :[2038, 2096, 2038, 2096, 727, 2038]
Support contains 30000 out of 50000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Applied a total of 0 rules in 252 ms. Remains 50000 /50000 variables (removed 0) and now considering 50000/50000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 252 ms. Remains : 50000/50000 places, 50000/50000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Applied a total of 0 rules in 230 ms. Remains 50000 /50000 variables (removed 0) and now considering 50000/50000 (removed 0) transitions.
[2023-03-14 16:58:27] [INFO ] Invariant cache hit.
[2023-03-14 16:58:30] [INFO ] Implicit Places using invariants in 3592 ms returned []
Implicit Place search using SMT only with invariants took 3594 ms to find 0 implicit places.
[2023-03-14 16:58:30] [INFO ] Invariant cache hit.
[2023-03-14 16:58:34] [INFO ] Dead Transitions using invariants and state equation in 3641 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7466 ms. Remains : 50000/50000 places, 50000/50000 transitions.
[2023-03-14 16:58:34] [INFO ] Invariant cache hit.
Finished random walk after 5898 steps, including 0 resets, run visited all 6 properties in 30004 ms. (steps per millisecond=0 )
Interrupted Best-First random walk after 9001 steps, including 0 resets, run timeout after 5029 ms. (steps per millisecond=1 ) properties seen 3
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5367 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5468 ms. (steps per millisecond=1 ) properties seen 3
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5371 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5482 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5574 ms. (steps per millisecond=1 ) properties seen 3
[2023-03-14 16:59:36] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : [10000, 10000, 10000, 10000, 10000, 10000] Max seen :[2052, 2096, 2052, 2096, 727, 2052]
Support contains 30000 out of 50000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Applied a total of 0 rules in 229 ms. Remains 50000 /50000 variables (removed 0) and now considering 50000/50000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 229 ms. Remains : 50000/50000 places, 50000/50000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Applied a total of 0 rules in 210 ms. Remains 50000 /50000 variables (removed 0) and now considering 50000/50000 (removed 0) transitions.
[2023-03-14 17:00:28] [INFO ] Invariant cache hit.
[2023-03-14 17:00:32] [INFO ] Implicit Places using invariants in 4096 ms returned []
Implicit Place search using SMT only with invariants took 4100 ms to find 0 implicit places.
[2023-03-14 17:00:32] [INFO ] Invariant cache hit.
[2023-03-14 17:00:36] [INFO ] Dead Transitions using invariants and state equation in 3591 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7904 ms. Remains : 50000/50000 places, 50000/50000 transitions.
[2023-03-14 17:00:36] [INFO ] Invariant cache hit.
Finished random walk after 5872 steps, including 0 resets, run visited all 6 properties in 30005 ms. (steps per millisecond=0 )
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5541 ms. (steps per millisecond=1 ) properties seen 3
Interrupted Best-First random walk after 9001 steps, including 0 resets, run timeout after 5153 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5563 ms. (steps per millisecond=1 ) properties seen 3
Interrupted Best-First random walk after 9001 steps, including 0 resets, run timeout after 5090 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5537 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 9001 steps, including 0 resets, run timeout after 5083 ms. (steps per millisecond=1 ) properties seen 3
[2023-03-14 17:01:38] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : [10000, 10000, 10000, 10000, 10000, 10000] Max seen :[2077, 2096, 2077, 2096, 727, 2077]
Support contains 30000 out of 50000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Applied a total of 0 rules in 208 ms. Remains 50000 /50000 variables (removed 0) and now considering 50000/50000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 209 ms. Remains : 50000/50000 places, 50000/50000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Applied a total of 0 rules in 206 ms. Remains 50000 /50000 variables (removed 0) and now considering 50000/50000 (removed 0) transitions.
[2023-03-14 17:02:28] [INFO ] Invariant cache hit.
[2023-03-14 17:02:31] [INFO ] Implicit Places using invariants in 3544 ms returned []
Implicit Place search using SMT only with invariants took 3548 ms to find 0 implicit places.
[2023-03-14 17:02:31] [INFO ] Invariant cache hit.
[2023-03-14 17:02:35] [INFO ] Dead Transitions using invariants and state equation in 3637 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7393 ms. Remains : 50000/50000 places, 50000/50000 transitions.
[2023-03-14 17:02:35] [INFO ] Invariant cache hit.
Finished random walk after 5893 steps, including 0 resets, run visited all 6 properties in 30001 ms. (steps per millisecond=0 )
Interrupted Best-First random walk after 9001 steps, including 0 resets, run timeout after 5021 ms. (steps per millisecond=1 ) properties seen 3
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5408 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 9001 steps, including 0 resets, run timeout after 5025 ms. (steps per millisecond=1 ) properties seen 3
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5373 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 9001 steps, including 0 resets, run timeout after 5075 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5457 ms. (steps per millisecond=1 ) properties seen 3
[2023-03-14 17:03:36] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : [10000, 10000, 10000, 10000, 10000, 10000] Max seen :[2114, 2096, 2114, 2096, 727, 2114]
Support contains 30000 out of 50000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Applied a total of 0 rules in 239 ms. Remains 50000 /50000 variables (removed 0) and now considering 50000/50000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 239 ms. Remains : 50000/50000 places, 50000/50000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Applied a total of 0 rules in 230 ms. Remains 50000 /50000 variables (removed 0) and now considering 50000/50000 (removed 0) transitions.
[2023-03-14 17:04:27] [INFO ] Invariant cache hit.
[2023-03-14 17:04:31] [INFO ] Implicit Places using invariants in 3593 ms returned []
Implicit Place search using SMT only with invariants took 3595 ms to find 0 implicit places.
[2023-03-14 17:04:31] [INFO ] Invariant cache hit.
[2023-03-14 17:04:34] [INFO ] Dead Transitions using invariants and state equation in 3622 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7449 ms. Remains : 50000/50000 places, 50000/50000 transitions.
[2023-03-14 17:04:34] [INFO ] Invariant cache hit.
Finished random walk after 5919 steps, including 0 resets, run visited all 6 properties in 30005 ms. (steps per millisecond=0 )
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5417 ms. (steps per millisecond=1 ) properties seen 3
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5381 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 9001 steps, including 0 resets, run timeout after 5188 ms. (steps per millisecond=1 ) properties seen 3
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5383 ms. (steps per millisecond=1 ) properties seen 2
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5401 ms. (steps per millisecond=1 ) properties seen 3
Interrupted Best-First random walk after 10001 steps, including 0 resets, run timeout after 5383 ms. (steps per millisecond=1 ) properties seen 3
[2023-03-14 17:05:36] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : [10000, 10000, 10000, 10000, 10000, 10000] Max seen :[2114, 2096, 2114, 2096, 727, 2114]
Support contains 30000 out of 50000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Applied a total of 0 rules in 227 ms. Remains 50000 /50000 variables (removed 0) and now considering 50000/50000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 229 ms. Remains : 50000/50000 places, 50000/50000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Applied a total of 0 rules in 248 ms. Remains 50000 /50000 variables (removed 0) and now considering 50000/50000 (removed 0) transitions.
[2023-03-14 17:06:27] [INFO ] Invariant cache hit.
[2023-03-14 17:06:31] [INFO ] Implicit Places using invariants in 3674 ms returned []
Implicit Place search using SMT only with invariants took 3675 ms to find 0 implicit places.
[2023-03-14 17:06:31] [INFO ] Invariant cache hit.
[2023-03-14 17:06:34] [INFO ] Dead Transitions using invariants and state equation in 3671 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7597 ms. Remains : 50000/50000 places, 50000/50000 transitions.
Starting property specific reduction for Philosophers-PT-010000-UpperBounds-00
[2023-03-14 17:06:34] [INFO ] Invariant cache hit.
Finished random walk after 8032 steps, including 2 resets, run visited all 1 properties in 30003 ms. (steps per millisecond=0 )
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 5477 ms. (steps per millisecond=1 ) properties (out of 1) seen :0
[2023-03-14 17:07:10] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : [10000] Max seen :[1395]
Support contains 10000 out of 50000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Performed 10000 Post agglomeration using F-continuation condition.Transition count delta: 10000
Deduced a syphon composed of 10000 places in 7 ms
Reduce places removed 10000 places and 0 transitions.
Iterating global reduction 0 with 20000 rules applied. Total rules applied 20000 place count 40000 transition count 40000
Free-agglomeration rule (complex) applied 10000 times.
Iterating global reduction 0 with 10000 rules applied. Total rules applied 30000 place count 40000 transition count 30000
Reduce places removed 10000 places and 0 transitions.
Drop transitions removed 10000 transitions
Reduce isomorphic transitions removed 10000 transitions.
Iterating post reduction 0 with 20000 rules applied. Total rules applied 50000 place count 30000 transition count 20000
Applied a total of 50000 rules in 21974 ms. Remains 30000 /50000 variables (removed 20000) and now considering 20000/50000 (removed 30000) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 21974 ms. Remains : 30000/50000 places, 20000/50000 transitions.
// Phase 1: matrix 20000 rows 30000 cols
[2023-03-14 17:07:37] [INFO ] Computed 20000 place invariants in 71 ms
Finished random walk after 12026 steps, including 0 resets, run visited all 1 properties in 30003 ms. (steps per millisecond=0 )
Finished Best-First random walk after 10001 steps, including 0 resets, run visited all 1 properties in 5378 ms. (steps per millisecond=1 )
[2023-03-14 17:08:12] [INFO ] Invariant cache hit.
[2023-03-14 17:08:58] [INFO ] [Real]Absence check using 20000 positive place invariants in 41092 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6255]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 151 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 151 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 152 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:08:58] [INFO ] Invariant cache hit.
[2023-03-14 17:09:00] [INFO ] Implicit Places using invariants in 2247 ms returned []
Implicit Place search using SMT only with invariants took 2254 ms to find 0 implicit places.
[2023-03-14 17:09:00] [INFO ] Invariant cache hit.
[2023-03-14 17:09:02] [INFO ] Dead Transitions using invariants and state equation in 2193 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4609 ms. Remains : 30000/30000 places, 20000/20000 transitions.
[2023-03-14 17:09:02] [INFO ] Invariant cache hit.
Finished random walk after 12221 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=0 )
Finished Best-First random walk after 10001 steps, including 0 resets, run visited all 1 properties in 5409 ms. (steps per millisecond=1 )
[2023-03-14 17:09:38] [INFO ] Invariant cache hit.
[2023-03-14 17:10:23] [INFO ] [Real]Absence check using 20000 positive place invariants in 41508 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6376]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 124 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 124 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 151 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:10:23] [INFO ] Invariant cache hit.
[2023-03-14 17:10:26] [INFO ] Implicit Places using invariants in 2181 ms returned []
Implicit Place search using SMT only with invariants took 2187 ms to find 0 implicit places.
[2023-03-14 17:10:26] [INFO ] Invariant cache hit.
[2023-03-14 17:10:28] [INFO ] Dead Transitions using invariants and state equation in 2186 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4531 ms. Remains : 30000/30000 places, 20000/20000 transitions.
[2023-03-14 17:10:28] [INFO ] Invariant cache hit.
Finished random walk after 12681 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5342 ms. (steps per millisecond=1 )
[2023-03-14 17:11:03] [INFO ] Invariant cache hit.
[2023-03-14 17:11:48] [INFO ] [Real]Absence check using 20000 positive place invariants in 41502 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6433]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 118 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 119 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 119 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:11:49] [INFO ] Invariant cache hit.
[2023-03-14 17:11:51] [INFO ] Implicit Places using invariants in 2138 ms returned []
Implicit Place search using SMT only with invariants took 2139 ms to find 0 implicit places.
[2023-03-14 17:11:51] [INFO ] Invariant cache hit.
[2023-03-14 17:11:53] [INFO ] Dead Transitions using invariants and state equation in 2172 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4431 ms. Remains : 30000/30000 places, 20000/20000 transitions.
[2023-03-14 17:11:53] [INFO ] Invariant cache hit.
Finished random walk after 12722 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5471 ms. (steps per millisecond=1 )
[2023-03-14 17:12:28] [INFO ] Invariant cache hit.
[2023-03-14 17:13:14] [INFO ] [Real]Absence check using 20000 positive place invariants in 41129 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6433]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 138 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 138 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 132 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:13:14] [INFO ] Invariant cache hit.
[2023-03-14 17:13:16] [INFO ] Implicit Places using invariants in 2172 ms returned []
Implicit Place search using SMT only with invariants took 2173 ms to find 0 implicit places.
[2023-03-14 17:13:16] [INFO ] Invariant cache hit.
[2023-03-14 17:13:18] [INFO ] Dead Transitions using invariants and state equation in 2410 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4719 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Ending property specific reduction for Philosophers-PT-010000-UpperBounds-00 in 404097 ms.
Starting property specific reduction for Philosophers-PT-010000-UpperBounds-01
// Phase 1: matrix 50000 rows 50000 cols
[2023-03-14 17:13:19] [INFO ] Computed 20000 place invariants in 153 ms
Finished random walk after 8163 steps, including 2 resets, run visited all 1 properties in 30002 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5426 ms. (steps per millisecond=1 )
[2023-03-14 17:13:54] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : [10000] Max seen :[1408]
Support contains 10000 out of 50000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Performed 10000 Post agglomeration using F-continuation condition.Transition count delta: 10000
Deduced a syphon composed of 10000 places in 6 ms
Reduce places removed 10000 places and 0 transitions.
Iterating global reduction 0 with 20000 rules applied. Total rules applied 20000 place count 40000 transition count 40000
Free-agglomeration rule (complex) applied 10000 times.
Iterating global reduction 0 with 10000 rules applied. Total rules applied 30000 place count 40000 transition count 30000
Reduce places removed 10000 places and 0 transitions.
Drop transitions removed 10000 transitions
Reduce isomorphic transitions removed 10000 transitions.
Iterating post reduction 0 with 20000 rules applied. Total rules applied 50000 place count 30000 transition count 20000
Applied a total of 50000 rules in 18269 ms. Remains 30000 /50000 variables (removed 20000) and now considering 20000/50000 (removed 30000) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 18269 ms. Remains : 30000/50000 places, 20000/50000 transitions.
// Phase 1: matrix 20000 rows 30000 cols
[2023-03-14 17:14:18] [INFO ] Computed 20000 place invariants in 64 ms
Finished random walk after 12754 steps, including 0 resets, run visited all 1 properties in 30002 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5405 ms. (steps per millisecond=1 )
[2023-03-14 17:14:53] [INFO ] Invariant cache hit.
[2023-03-14 17:15:38] [INFO ] [Real]Absence check using 20000 positive place invariants in 41317 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6564]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 175 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 175 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 138 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:15:38] [INFO ] Invariant cache hit.
[2023-03-14 17:15:41] [INFO ] Implicit Places using invariants in 2220 ms returned []
Implicit Place search using SMT only with invariants took 2221 ms to find 0 implicit places.
[2023-03-14 17:15:41] [INFO ] Invariant cache hit.
[2023-03-14 17:15:43] [INFO ] Dead Transitions using invariants and state equation in 2294 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4658 ms. Remains : 30000/30000 places, 20000/20000 transitions.
[2023-03-14 17:15:43] [INFO ] Invariant cache hit.
Finished random walk after 12020 steps, including 0 resets, run visited all 1 properties in 30002 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5552 ms. (steps per millisecond=1 )
[2023-03-14 17:16:19] [INFO ] Invariant cache hit.
[2023-03-14 17:17:04] [INFO ] [Real]Absence check using 20000 positive place invariants in 41244 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6564]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 141 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 141 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 141 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:17:04] [INFO ] Invariant cache hit.
[2023-03-14 17:17:06] [INFO ] Implicit Places using invariants in 2287 ms returned []
Implicit Place search using SMT only with invariants took 2288 ms to find 0 implicit places.
[2023-03-14 17:17:06] [INFO ] Invariant cache hit.
[2023-03-14 17:17:08] [INFO ] Dead Transitions using invariants and state equation in 2186 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4621 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Ending property specific reduction for Philosophers-PT-010000-UpperBounds-01 in 229998 ms.
Starting property specific reduction for Philosophers-PT-010000-UpperBounds-02
// Phase 1: matrix 50000 rows 50000 cols
[2023-03-14 17:17:09] [INFO ] Computed 20000 place invariants in 150 ms
Finished random walk after 7330 steps, including 2 resets, run visited all 1 properties in 30002 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5539 ms. (steps per millisecond=1 )
[2023-03-14 17:17:44] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : [10000] Max seen :[1400]
Support contains 10000 out of 50000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Performed 10000 Post agglomeration using F-continuation condition.Transition count delta: 10000
Deduced a syphon composed of 10000 places in 8 ms
Reduce places removed 10000 places and 0 transitions.
Iterating global reduction 0 with 20000 rules applied. Total rules applied 20000 place count 40000 transition count 40000
Free-agglomeration rule (complex) applied 10000 times.
Iterating global reduction 0 with 10000 rules applied. Total rules applied 30000 place count 40000 transition count 30000
Reduce places removed 10000 places and 0 transitions.
Drop transitions removed 10000 transitions
Reduce isomorphic transitions removed 10000 transitions.
Iterating post reduction 0 with 20000 rules applied. Total rules applied 50000 place count 30000 transition count 20000
Applied a total of 50000 rules in 19877 ms. Remains 30000 /50000 variables (removed 20000) and now considering 20000/50000 (removed 30000) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 19887 ms. Remains : 30000/50000 places, 20000/50000 transitions.
// Phase 1: matrix 20000 rows 30000 cols
[2023-03-14 17:18:09] [INFO ] Computed 20000 place invariants in 61 ms
Finished random walk after 12020 steps, including 0 resets, run visited all 1 properties in 30002 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5588 ms. (steps per millisecond=1 )
[2023-03-14 17:18:45] [INFO ] Invariant cache hit.
[2023-03-14 17:19:30] [INFO ] [Real]Absence check using 20000 positive place invariants in 41214 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6305]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 135 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 135 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 155 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:19:30] [INFO ] Invariant cache hit.
[2023-03-14 17:19:33] [INFO ] Implicit Places using invariants in 2251 ms returned []
Implicit Place search using SMT only with invariants took 2252 ms to find 0 implicit places.
[2023-03-14 17:19:33] [INFO ] Invariant cache hit.
[2023-03-14 17:19:35] [INFO ] Dead Transitions using invariants and state equation in 2177 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4587 ms. Remains : 30000/30000 places, 20000/20000 transitions.
[2023-03-14 17:19:35] [INFO ] Invariant cache hit.
Finished random walk after 12387 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5537 ms. (steps per millisecond=1 )
[2023-03-14 17:20:10] [INFO ] Invariant cache hit.
[2023-03-14 17:20:56] [INFO ] [Real]Absence check using 20000 positive place invariants in 41378 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6399]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 138 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 138 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 120 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:20:56] [INFO ] Invariant cache hit.
[2023-03-14 17:20:58] [INFO ] Implicit Places using invariants in 2180 ms returned []
Implicit Place search using SMT only with invariants took 2181 ms to find 0 implicit places.
[2023-03-14 17:20:58] [INFO ] Invariant cache hit.
[2023-03-14 17:21:00] [INFO ] Dead Transitions using invariants and state equation in 2118 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4424 ms. Remains : 30000/30000 places, 20000/20000 transitions.
[2023-03-14 17:21:00] [INFO ] Invariant cache hit.
Finished random walk after 12463 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5499 ms. (steps per millisecond=1 )
[2023-03-14 17:21:36] [INFO ] Invariant cache hit.
[2023-03-14 17:22:21] [INFO ] [Real]Absence check using 20000 positive place invariants in 41436 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6399]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 137 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 138 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 134 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:22:21] [INFO ] Invariant cache hit.
[2023-03-14 17:22:23] [INFO ] Implicit Places using invariants in 2135 ms returned []
Implicit Place search using SMT only with invariants took 2137 ms to find 0 implicit places.
[2023-03-14 17:22:23] [INFO ] Invariant cache hit.
[2023-03-14 17:22:25] [INFO ] Dead Transitions using invariants and state equation in 2194 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4467 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Ending property specific reduction for Philosophers-PT-010000-UpperBounds-02 in 317009 ms.
Starting property specific reduction for Philosophers-PT-010000-UpperBounds-03
// Phase 1: matrix 50000 rows 50000 cols
[2023-03-14 17:22:26] [INFO ] Computed 20000 place invariants in 125 ms
Finished random walk after 8015 steps, including 2 resets, run visited all 1 properties in 30003 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5509 ms. (steps per millisecond=1 )
[2023-03-14 17:23:01] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : [10000] Max seen :[1391]
Support contains 10000 out of 50000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Performed 10000 Post agglomeration using F-continuation condition.Transition count delta: 10000
Deduced a syphon composed of 10000 places in 8 ms
Reduce places removed 10000 places and 0 transitions.
Iterating global reduction 0 with 20000 rules applied. Total rules applied 20000 place count 40000 transition count 40000
Free-agglomeration rule (complex) applied 10000 times.
Iterating global reduction 0 with 10000 rules applied. Total rules applied 30000 place count 40000 transition count 30000
Reduce places removed 10000 places and 0 transitions.
Drop transitions removed 10000 transitions
Reduce isomorphic transitions removed 10000 transitions.
Iterating post reduction 0 with 20000 rules applied. Total rules applied 50000 place count 30000 transition count 20000
Applied a total of 50000 rules in 17482 ms. Remains 30000 /50000 variables (removed 20000) and now considering 20000/50000 (removed 30000) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 17482 ms. Remains : 30000/50000 places, 20000/50000 transitions.
// Phase 1: matrix 20000 rows 30000 cols
[2023-03-14 17:23:24] [INFO ] Computed 20000 place invariants in 41 ms
Finished random walk after 12353 steps, including 0 resets, run visited all 1 properties in 30002 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5550 ms. (steps per millisecond=1 )
[2023-03-14 17:23:59] [INFO ] Invariant cache hit.
[2023-03-14 17:24:45] [INFO ] [Real]Absence check using 20000 positive place invariants in 41450 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6509]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 141 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 142 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 133 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:24:45] [INFO ] Invariant cache hit.
[2023-03-14 17:24:47] [INFO ] Implicit Places using invariants in 2144 ms returned []
Implicit Place search using SMT only with invariants took 2145 ms to find 0 implicit places.
[2023-03-14 17:24:47] [INFO ] Invariant cache hit.
[2023-03-14 17:24:49] [INFO ] Dead Transitions using invariants and state equation in 2258 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4544 ms. Remains : 30000/30000 places, 20000/20000 transitions.
[2023-03-14 17:24:49] [INFO ] Invariant cache hit.
Finished random walk after 12641 steps, including 0 resets, run visited all 1 properties in 30002 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5518 ms. (steps per millisecond=1 )
[2023-03-14 17:25:25] [INFO ] Invariant cache hit.
[2023-03-14 17:26:10] [INFO ] [Real]Absence check using 20000 positive place invariants in 41274 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6509]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 130 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 130 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 129 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:26:10] [INFO ] Invariant cache hit.
[2023-03-14 17:26:13] [INFO ] Implicit Places using invariants in 2268 ms returned []
Implicit Place search using SMT only with invariants took 2269 ms to find 0 implicit places.
[2023-03-14 17:26:13] [INFO ] Invariant cache hit.
[2023-03-14 17:26:15] [INFO ] Dead Transitions using invariants and state equation in 2262 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4662 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Ending property specific reduction for Philosophers-PT-010000-UpperBounds-03 in 229317 ms.
Starting property specific reduction for Philosophers-PT-010000-UpperBounds-04
// Phase 1: matrix 50000 rows 50000 cols
[2023-03-14 17:26:15] [INFO ] Computed 20000 place invariants in 166 ms
Finished random walk after 8357 steps, including 2 resets, run visited all 1 properties in 30003 ms. (steps per millisecond=0 )
Interrupted Best-First random walk after 8001 steps, including 0 resets, run timeout after 5004 ms. (steps per millisecond=1 ) properties seen 0
[2023-03-14 17:26:50] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : [10000] Max seen :[291]
Support contains 10000 out of 50000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Free-agglomeration rule (complex) applied 20000 times.
Iterating global reduction 0 with 20000 rules applied. Total rules applied 20000 place count 50000 transition count 30000
Reduce places removed 20000 places and 0 transitions.
Ensure Unique test removed 10000 transitions
Reduce isomorphic transitions removed 10000 transitions.
Iterating post reduction 0 with 30000 rules applied. Total rules applied 50000 place count 30000 transition count 20000
Applied a total of 50000 rules in 28292 ms. Remains 30000 /50000 variables (removed 20000) and now considering 20000/50000 (removed 30000) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 28293 ms. Remains : 30000/50000 places, 20000/50000 transitions.
// Phase 1: matrix 20000 rows 30000 cols
[2023-03-14 17:27:24] [INFO ] Computed 20000 place invariants in 59 ms
Finished random walk after 15027 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=0 )
Finished Best-First random walk after 8001 steps, including 0 resets, run visited all 1 properties in 5074 ms. (steps per millisecond=1 )
[2023-03-14 17:27:59] [INFO ] Invariant cache hit.
[2023-03-14 17:28:44] [INFO ] [Real]Absence check using 20000 positive place invariants in 41070 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[2766]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 132 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 132 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 140 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:28:44] [INFO ] Invariant cache hit.
[2023-03-14 17:28:47] [INFO ] Implicit Places using invariants in 2511 ms returned []
Implicit Place search using SMT only with invariants took 2512 ms to find 0 implicit places.
[2023-03-14 17:28:47] [INFO ] Invariant cache hit.
[2023-03-14 17:28:49] [INFO ] Dead Transitions using invariants and state equation in 2525 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5180 ms. Remains : 30000/30000 places, 20000/20000 transitions.
[2023-03-14 17:28:49] [INFO ] Invariant cache hit.
Finished random walk after 15372 steps, including 0 resets, run visited all 1 properties in 30002 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5526 ms. (steps per millisecond=1 )
[2023-03-14 17:29:25] [INFO ] Invariant cache hit.
[2023-03-14 17:30:10] [INFO ] [Real]Absence check using 20000 positive place invariants in 41046 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[2860]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 149 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 149 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 158 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:30:10] [INFO ] Invariant cache hit.
[2023-03-14 17:30:12] [INFO ] Implicit Places using invariants in 2247 ms returned []
Implicit Place search using SMT only with invariants took 2248 ms to find 0 implicit places.
[2023-03-14 17:30:12] [INFO ] Invariant cache hit.
[2023-03-14 17:30:15] [INFO ] Dead Transitions using invariants and state equation in 2181 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4592 ms. Remains : 30000/30000 places, 20000/20000 transitions.
[2023-03-14 17:30:15] [INFO ] Invariant cache hit.
Finished random walk after 15164 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5434 ms. (steps per millisecond=1 )
[2023-03-14 17:30:50] [INFO ] Invariant cache hit.
[2023-03-14 17:31:35] [INFO ] [Real]Absence check using 20000 positive place invariants in 41269 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[2860]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 144 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 144 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 133 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:31:36] [INFO ] Invariant cache hit.
[2023-03-14 17:31:38] [INFO ] Implicit Places using invariants in 2154 ms returned []
Implicit Place search using SMT only with invariants took 2156 ms to find 0 implicit places.
[2023-03-14 17:31:38] [INFO ] Invariant cache hit.
[2023-03-14 17:31:40] [INFO ] Dead Transitions using invariants and state equation in 2288 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4579 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Ending property specific reduction for Philosophers-PT-010000-UpperBounds-04 in 325225 ms.
Starting property specific reduction for Philosophers-PT-010000-UpperBounds-07
// Phase 1: matrix 50000 rows 50000 cols
[2023-03-14 17:31:40] [INFO ] Computed 20000 place invariants in 186 ms
Finished random walk after 8115 steps, including 2 resets, run visited all 1 properties in 30004 ms. (steps per millisecond=0 )
Finished Best-First random walk after 8001 steps, including 0 resets, run visited all 1 properties in 5102 ms. (steps per millisecond=1 )
[2023-03-14 17:32:15] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : [10000] Max seen :[1486]
Support contains 10000 out of 50000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Performed 10000 Post agglomeration using F-continuation condition.Transition count delta: 10000
Deduced a syphon composed of 10000 places in 8 ms
Reduce places removed 10000 places and 0 transitions.
Iterating global reduction 0 with 20000 rules applied. Total rules applied 20000 place count 40000 transition count 40000
Free-agglomeration rule (complex) applied 10000 times.
Iterating global reduction 0 with 10000 rules applied. Total rules applied 30000 place count 40000 transition count 30000
Reduce places removed 10000 places and 0 transitions.
Drop transitions removed 10000 transitions
Reduce isomorphic transitions removed 10000 transitions.
Iterating post reduction 0 with 20000 rules applied. Total rules applied 50000 place count 30000 transition count 20000
Applied a total of 50000 rules in 20922 ms. Remains 30000 /50000 variables (removed 20000) and now considering 20000/50000 (removed 30000) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 20922 ms. Remains : 30000/50000 places, 20000/50000 transitions.
// Phase 1: matrix 20000 rows 30000 cols
[2023-03-14 17:32:41] [INFO ] Computed 20000 place invariants in 73 ms
Finished random walk after 12207 steps, including 0 resets, run visited all 1 properties in 30002 ms. (steps per millisecond=0 )
Finished Best-First random walk after 8001 steps, including 0 resets, run visited all 1 properties in 5051 ms. (steps per millisecond=1 )
[2023-03-14 17:33:17] [INFO ] Invariant cache hit.
[2023-03-14 17:34:02] [INFO ] [Real]Absence check using 20000 positive place invariants in 40830 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6282]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 164 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 165 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 137 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:34:02] [INFO ] Invariant cache hit.
[2023-03-14 17:34:04] [INFO ] Implicit Places using invariants in 2445 ms returned []
Implicit Place search using SMT only with invariants took 2446 ms to find 0 implicit places.
[2023-03-14 17:34:04] [INFO ] Invariant cache hit.
[2023-03-14 17:34:07] [INFO ] Dead Transitions using invariants and state equation in 2273 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4858 ms. Remains : 30000/30000 places, 20000/20000 transitions.
[2023-03-14 17:34:07] [INFO ] Invariant cache hit.
Finished random walk after 12338 steps, including 0 resets, run visited all 1 properties in 30002 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5586 ms. (steps per millisecond=1 )
[2023-03-14 17:34:42] [INFO ] Invariant cache hit.
[2023-03-14 17:35:27] [INFO ] [Real]Absence check using 20000 positive place invariants in 41293 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6378]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 131 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 131 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 139 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:35:28] [INFO ] Invariant cache hit.
[2023-03-14 17:35:30] [INFO ] Implicit Places using invariants in 2536 ms returned []
Implicit Place search using SMT only with invariants took 2537 ms to find 0 implicit places.
[2023-03-14 17:35:30] [INFO ] Invariant cache hit.
[2023-03-14 17:35:33] [INFO ] Dead Transitions using invariants and state equation in 2547 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5225 ms. Remains : 30000/30000 places, 20000/20000 transitions.
[2023-03-14 17:35:33] [INFO ] Invariant cache hit.
Finished random walk after 12477 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5515 ms. (steps per millisecond=1 )
[2023-03-14 17:36:08] [INFO ] Invariant cache hit.
[2023-03-14 17:36:54] [INFO ] [Real]Absence check using 20000 positive place invariants in 41452 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6398]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 147 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 147 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 122 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:36:54] [INFO ] Invariant cache hit.
[2023-03-14 17:36:56] [INFO ] Implicit Places using invariants in 2207 ms returned []
Implicit Place search using SMT only with invariants took 2225 ms to find 0 implicit places.
[2023-03-14 17:36:56] [INFO ] Invariant cache hit.
[2023-03-14 17:36:58] [INFO ] Dead Transitions using invariants and state equation in 2260 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4608 ms. Remains : 30000/30000 places, 20000/20000 transitions.
[2023-03-14 17:36:58] [INFO ] Invariant cache hit.
Finished random walk after 12496 steps, including 0 resets, run visited all 1 properties in 30002 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5570 ms. (steps per millisecond=1 )
[2023-03-14 17:37:34] [INFO ] Invariant cache hit.
[2023-03-14 17:38:19] [INFO ] [Real]Absence check using 20000 positive place invariants in 41394 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6493]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 128 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 128 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 142 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:38:19] [INFO ] Invariant cache hit.
[2023-03-14 17:38:22] [INFO ] Implicit Places using invariants in 2237 ms returned []
Implicit Place search using SMT only with invariants took 2239 ms to find 0 implicit places.
[2023-03-14 17:38:22] [INFO ] Invariant cache hit.
[2023-03-14 17:38:24] [INFO ] Dead Transitions using invariants and state equation in 2189 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4572 ms. Remains : 30000/30000 places, 20000/20000 transitions.
[2023-03-14 17:38:24] [INFO ] Invariant cache hit.
Finished random walk after 12321 steps, including 0 resets, run visited all 1 properties in 30002 ms. (steps per millisecond=0 )
Finished Best-First random walk after 9001 steps, including 0 resets, run visited all 1 properties in 5452 ms. (steps per millisecond=1 )
[2023-03-14 17:38:59] [INFO ] Invariant cache hit.
[2023-03-14 17:39:45] [INFO ] [Real]Absence check using 20000 positive place invariants in 41422 ms returned unknown
Current structural bounds on expressions (after SMT) : [10000] Max seen :[6493]
Support contains 10000 out of 30000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 134 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 134 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 30000/30000 places, 20000/20000 transitions.
Applied a total of 0 rules in 121 ms. Remains 30000 /30000 variables (removed 0) and now considering 20000/20000 (removed 0) transitions.
[2023-03-14 17:39:45] [INFO ] Invariant cache hit.
[2023-03-14 17:39:47] [INFO ] Implicit Places using invariants in 2196 ms returned []
Implicit Place search using SMT only with invariants took 2197 ms to find 0 implicit places.
[2023-03-14 17:39:47] [INFO ] Invariant cache hit.
[2023-03-14 17:39:49] [INFO ] Dead Transitions using invariants and state equation in 2269 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4604 ms. Remains : 30000/30000 places, 20000/20000 transitions.
Ending property specific reduction for Philosophers-PT-010000-UpperBounds-07 in 489288 ms.
[2023-03-14 17:39:52] [INFO ] Flatten gal took : 1919 ms
[2023-03-14 17:39:52] [INFO ] Export to MCC of 6 properties in file /home/mcc/execution/UpperBounds.sr.xml took 28 ms.
[2023-03-14 17:39:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 50000 places, 50000 transitions and 160000 arcs took 157 ms.
Total runtime 2952413 ms.
There are residual formulas that ITS could not solve within timeout
starting LoLA
BK_INPUT Philosophers-PT-010000
BK_EXAMINATION: UpperBounds
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution/377
Upper Bounds
BK_STOP 1678815934331
--------------------
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.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination UpperBounds -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/377/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/377/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/377/UpperBounds.xml
lola: Rule S: 0 transitions removed,0 places removed
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 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: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 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: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 16 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 21 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 26 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 31 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 36 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 41 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 46 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 51 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 56 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 61 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 66 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 71 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 76 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 81 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 86 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 91 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 96 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 101 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 106 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 111 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 116 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 121 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 126 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 131 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 136 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 141 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 146 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 151 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 156 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 161 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 166 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 171 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 176 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 181 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 186 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 191 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 196 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 201 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 206 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 211 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 216 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 221 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 226 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 231 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 236 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 241 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 246 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 251 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 256 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 261 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 266 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 271 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 276 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 281 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 286 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 291 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 296 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 301 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 306 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 311 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 316 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 321 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 326 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 331 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Philosophers-PT-010000-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-03: BOUND 0 0 0 0 0 0 0 0
Philosophers-PT-010000-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
Philosophers-PT-010000-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 336 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 6
/home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin//../BenchKit_head.sh: line 63: 1097 Killed lola --conf=$BIN_DIR/configfiles/upperboundsconf --formula=$DIR/UpperBounds.xml $DIR/model.pnml
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="Philosophers-PT-010000"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lolaxred"
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-5348"
echo " Executing tool lolaxred"
echo " Input is Philosophers-PT-010000, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r295-tall-167873947600269"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Philosophers-PT-010000.tgz
mv Philosophers-PT-010000 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;