Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813687900256.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BridgeAndVehicles-PT-V50P50N10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813687900256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 22K Feb 25 12:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 25 12:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 247K Feb 25 12:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 950K Feb 25 12:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Feb 25 15:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 42K Feb 25 15:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 111K Feb 25 15:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 335K Feb 25 15:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 40K Feb 25 12:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 234K Feb 25 12:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 177K Feb 25 12:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 714K Feb 25 12:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 15:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.5K Feb 25 15:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.1M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678464603179

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BridgeAndVehicles-PT-V50P50N10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (PT), instance V50P50N10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 128 places, 1328 transitions, 10010 arcs.
AT ITER 0 NEW BEST:: SOT 103478 SOS 100502 HAS SOPS 98952 HAS SOUS 11127 HAS SOUPS 11109 WITH SCORE 11209.502
AT ITER 9 NEW BEST:: SOT 103477 SOS 100501 HAS SOPS 98951 HAS SOUS 11124 HAS SOUPS 11106 WITH SCORE 11206.501
AT ITER 31 NEW BEST:: SOT 103476 SOS 100500 HAS SOPS 98950 HAS SOUS 11121 HAS SOUPS 11103 WITH SCORE 11203.5
AT ITER 55 NEW BEST:: SOT 101118 SOS 98219 HAS SOPS 96669 HAS SOUS 8024 HAS SOUPS 8006 WITH SCORE 8104.219
AT ITER 69 NEW BEST:: SOT 100737 SOS 97838 HAS SOPS 96288 HAS SOUS 6921 HAS SOUPS 6903 WITH SCORE 7000.838
AT ITER 97 NEW BEST:: SOT 100715 SOS 97816 HAS SOPS 96266 HAS SOUS 6899 HAS SOUPS 6881 WITH SCORE 6978.816
AT ITER 105 NEW BEST:: SOT 100713 SOS 97814 HAS SOPS 96264 HAS SOUS 6895 HAS SOUPS 6877 WITH SCORE 6974.814
AT ITER 111 NEW BEST:: SOT 100711 SOS 97812 HAS SOPS 96262 HAS SOUS 6891 HAS SOUPS 6873 WITH SCORE 6970.812
AT ITER 125 NEW BEST:: SOT 100709 SOS 97810 HAS SOPS 96260 HAS SOUS 6887 HAS SOUPS 6869 WITH SCORE 6966.81
AT ITER 146 NEW BEST:: SOT 100709 SOS 97808 HAS SOPS 96258 HAS SOUS 6884 HAS SOUPS 6866 WITH SCORE 6963.808
AT ITER 153 NEW BEST:: SOT 100703 SOS 97802 HAS SOPS 96252 HAS SOUS 6880 HAS SOUPS 6862 WITH SCORE 6959.802
AT ITER 154 NEW BEST:: SOT 100703 SOS 97753 HAS SOPS 96053 HAS SOUS 6869 HAS SOUPS 6848 WITH SCORE 6945.753
AT ITER 169 NEW BEST:: SOT 100701 SOS 97751 HAS SOPS 96051 HAS SOUS 6865 HAS SOUPS 6844 WITH SCORE 6941.751
AT ITER 232 NEW BEST:: SOT 100699 SOS 97749 HAS SOPS 96049 HAS SOUS 6861 HAS SOUPS 6840 WITH SCORE 6937.749
AT ITER 265 NEW BEST:: SOT 100697 SOS 97747 HAS SOPS 96047 HAS SOUS 6857 HAS SOUPS 6836 WITH SCORE 6933.747
AT ITER 276 NEW BEST:: SOT 100693 SOS 97743 HAS SOPS 96043 HAS SOUS 6673 HAS SOUPS 6652 WITH SCORE 6749.743
AT ITER 300 NEW BEST:: SOT 100691 SOS 97741 HAS SOPS 96041 HAS SOUS 6669 HAS SOUPS 6648 WITH SCORE 6745.741
AT ITER 305 NEW BEST:: SOT 100689 SOS 97739 HAS SOPS 96039 HAS SOUS 6665 HAS SOUPS 6644 WITH SCORE 6741.739
AT ITER 307 NEW BEST:: SOT 100626 SOS 97685 HAS SOPS 95985 HAS SOUS 6494 HAS SOUPS 6473 WITH SCORE 6570.685
AT ITER 386 NEW BEST:: SOT 100622 SOS 97681 HAS SOPS 95981 HAS SOUS 6486 HAS SOUPS 6465 WITH SCORE 6562.681
AT ITER 398 NEW BEST:: SOT 100623 SOS 97682 HAS SOPS 95982 HAS SOUS 6485 HAS SOUPS 6464 WITH SCORE 6561.682
AT ITER 408 NEW BEST:: SOT 100621 SOS 97680 HAS SOPS 95980 HAS SOUS 6481 HAS SOUPS 6460 WITH SCORE 6557.68
AT ITER 423 NEW BEST:: SOT 100607 SOS 97666 HAS SOPS 95966 HAS SOUS 6478 HAS SOUPS 6457 WITH SCORE 6554.666
AT ITER 431 NEW BEST:: SOT 100605 SOS 97664 HAS SOPS 95964 HAS SOUS 6452 HAS SOUPS 6431 WITH SCORE 6528.664
AT ITER 435 NEW BEST:: SOT 100603 SOS 97662 HAS SOPS 95962 HAS SOUS 6448 HAS SOUPS 6427 WITH SCORE 6524.662
AT ITER 456 NEW BEST:: SOT 100581 SOS 97640 HAS SOPS 95940 HAS SOUS 6426 HAS SOUPS 6405 WITH SCORE 6502.64
AT ITER 466 NEW BEST:: SOT 100579 SOS 97638 HAS SOPS 95938 HAS SOUS 6422 HAS SOUPS 6401 WITH SCORE 6498.638
AT ITER 502 NEW BEST:: SOT 100641 SOS 97712 HAS SOPS 96012 HAS SOUS 6362 HAS SOUPS 6341 WITH SCORE 6438.712
AT ITER 523 NEW BEST:: SOT 100641 SOS 91586 HAS SOPS 91086 HAS SOUS 6334 HAS SOUPS 6325 WITH SCORE 6416.586
AT ITER 566 NEW BEST:: SOT 100635 SOS 91580 HAS SOPS 91080 HAS SOUS 6289 HAS SOUPS 6280 WITH SCORE 6371.58
AT ITER 596 NEW BEST:: SOT 100631 SOS 91576 HAS SOPS 91076 HAS SOUS 6281 HAS SOUPS 6272 WITH SCORE 6363.576
AT ITER 615 NEW BEST:: SOT 100629 SOS 91574 HAS SOPS 91074 HAS SOUS 6277 HAS SOUPS 6268 WITH SCORE 6359.574
AT ITER 618 NEW BEST:: SOT 100627 SOS 91572 HAS SOPS 91072 HAS SOUS 6273 HAS SOUPS 6264 WITH SCORE 6355.572
AT ITER 638 NEW BEST:: SOT 100627 SOS 91470 HAS SOPS 90970 HAS SOUS 6271 HAS SOUPS 6262 WITH SCORE 6353.47
AT ITER 650 NEW BEST:: SOT 100627 SOS 91174 HAS SOPS 90674 HAS SOUS 6265 HAS SOUPS 6256 WITH SCORE 6347.174
AT ITER 747 NEW BEST:: SOT 100613 SOS 91160 HAS SOPS 90660 HAS SOUS 6105 HAS SOUPS 6096 WITH SCORE 6187.16
AT ITER 772 NEW BEST:: SOT 100613 SOS 91109 HAS SOPS 90609 HAS SOUS 6104 HAS SOUPS 6095 WITH SCORE 6186.109
AT ITER 777 NEW BEST:: SOT 100611 SOS 91107 HAS SOPS 90607 HAS SOUS 6100 HAS SOUPS 6091 WITH SCORE 6182.107
AT ITER 792 NEW BEST:: SOT 100595 SOS 91091 HAS SOPS 90591 HAS SOUS 6074 HAS SOUPS 6065 WITH SCORE 6156.091
AT ITER 795 NEW BEST:: SOT 100593 SOS 91089 HAS SOPS 90589 HAS SOUS 6059 HAS SOUPS 6050 WITH SCORE 6141.089
AT ITER 873 NEW BEST:: SOT 100591 SOS 91087 HAS SOPS 90587 HAS SOUS 6055 HAS SOUPS 6046 WITH SCORE 6137.087
AT ITER 978 NEW BEST:: SOT 100569 SOS 91065 HAS SOPS 90565 HAS SOUS 6011 HAS SOUPS 6002 WITH SCORE 6093.065
AT ITER 985 NEW BEST:: SOT 100563 SOS 91059 HAS SOPS 90559 HAS SOUS 5999 HAS SOUPS 5990 WITH SCORE 6081.059
AT ITER 1009 NEW BEST:: SOT 100563 SOS 91057 HAS SOPS 90557 HAS SOUS 5999 HAS SOUPS 5990 WITH SCORE 6081.057
AT ITER 1051 NEW BEST:: SOT 100557 SOS 91051 HAS SOPS 90551 HAS SOUS 5987 HAS SOUPS 5978 WITH SCORE 6069.051
AT ITER 1088 NEW BEST:: SOT 100557 SOS 91054 HAS SOPS 90754 HAS SOUS 5981 HAS SOUPS 5976 WITH SCORE 6067.054
AT ITER 1122 NEW BEST:: SOT 100557 SOS 91059 HAS SOPS 90759 HAS SOUS 5971 HAS SOUPS 5966 WITH SCORE 6057.059
AT ITER 1128 NEW BEST:: SOT 100555 SOS 91057 HAS SOPS 90757 HAS SOUS 5967 HAS SOUPS 5962 WITH SCORE 6053.057
AT ITER 1133 NEW BEST:: SOT 100553 SOS 91055 HAS SOPS 90755 HAS SOUS 5963 HAS SOUPS 5958 WITH SCORE 6049.055
AT ITER 1138 NEW BEST:: SOT 100449 SOS 90951 HAS SOPS 90651 HAS SOUS 5963 HAS SOUPS 5958 WITH SCORE 6048.951
AT ITER 1151 NEW BEST:: SOT 100409 SOS 90911 HAS SOPS 90611 HAS SOUS 5833 HAS SOUPS 5828 WITH SCORE 5918.911
AT ITER 1257 NEW BEST:: SOT 100401 SOS 90903 HAS SOPS 90603 HAS SOUS 5817 HAS SOUPS 5812 WITH SCORE 5902.903
AT ITER 1337 NEW BEST:: SOT 100389 SOS 90891 HAS SOPS 90591 HAS SOUS 5793 HAS SOUPS 5788 WITH SCORE 5878.891
AT ITER 1350 NEW BEST:: SOT 100388 SOS 90890 HAS SOPS 90590 HAS SOUS 5792 HAS SOUPS 5787 WITH SCORE 5877.89
AT ITER 1376 NEW BEST:: SOT 100386 SOS 90888 HAS SOPS 90588 HAS SOUS 5788 HAS SOUPS 5783 WITH SCORE 5873.888
AT ITER 1434 NEW BEST:: SOT 100386 SOS 90937 HAS SOPS 90587 HAS SOUS 5787 HAS SOUPS 5781 WITH SCORE 5871.937
AT ITER 1437 NEW BEST:: SOT 100378 SOS 90929 HAS SOPS 90579 HAS SOUS 5727 HAS SOUPS 5721 WITH SCORE 5811.929
AT ITER 1537 NEW BEST:: SOT 100330 SOS 90881 HAS SOPS 90281 HAS SOUS 5689 HAS SOUPS 5678 WITH SCORE 5768.881
AT ITER 1648 NEW BEST:: SOT 100328 SOS 90879 HAS SOPS 90279 HAS SOUS 5685 HAS SOUPS 5674 WITH SCORE 5764.879
AT ITER 1693 NEW BEST:: SOT 100328 SOS 90673 HAS SOPS 90073 HAS SOUS 5681 HAS SOUPS 5670 WITH SCORE 5760.673
AT ITER 1708 NEW BEST:: SOT 100322 SOS 90667 HAS SOPS 90067 HAS SOUS 5669 HAS SOUPS 5658 WITH SCORE 5748.667
AT ITER 1734 NEW BEST:: SOT 100323 SOS 90668 HAS SOPS 90068 HAS SOUS 5666 HAS SOUPS 5655 WITH SCORE 5745.668
AT ITER 1740 NEW BEST:: SOT 100317 SOS 90662 HAS SOPS 90062 HAS SOUS 5658 HAS SOUPS 5647 WITH SCORE 5737.662
AT ITER 1749 NEW BEST:: SOT 100306 SOS 90661 HAS SOPS 90060 HAS SOUS 5648 HAS SOUPS 5636 WITH SCORE 5726.661
AT ITER 1769 NEW BEST:: SOT 100298 SOS 90653 HAS SOPS 90052 HAS SOUS 5632 HAS SOUPS 5620 WITH SCORE 5710.653
AT ITER 1877 NEW BEST:: SOT 100290 SOS 90597 HAS SOPS 89997 HAS SOUS 5624 HAS SOUPS 5613 WITH SCORE 5703.597
AT ITER 1886 NEW BEST:: SOT 100286 SOS 90593 HAS SOPS 89993 HAS SOUS 5616 HAS SOUPS 5605 WITH SCORE 5695.593
AT ITER 1900 NEW BEST:: SOT 100286 SOS 90593 HAS SOPS 89993 HAS SOUS 5614 HAS SOUPS 5603 WITH SCORE 5693.593
AT ITER 1930 NEW BEST:: SOT 100276 SOS 90583 HAS SOPS 89983 HAS SOUS 5608 HAS SOUPS 5597 WITH SCORE 5687.583
AT ITER 1937 NEW BEST:: SOT 100276 SOS 90583 HAS SOPS 89983 HAS SOUS 5606 HAS SOUPS 5595 WITH SCORE 5685.583
AT ITER 1959 NEW BEST:: SOT 100274 SOS 90581 HAS SOPS 89981 HAS SOUS 5602 HAS SOUPS 5591 WITH SCORE 5681.581
AT ITER 1966 NEW BEST:: SOT 100260 SOS 90567 HAS SOPS 89967 HAS SOUS 5574 HAS SOUPS 5563 WITH SCORE 5653.567
AT ITER 1997 NEW BEST:: SOT 100254 SOS 90561 HAS SOPS 89961 HAS SOUS 5562 HAS SOUPS 5551 WITH SCORE 5641.561
AT ITER 2001 NEW BEST:: SOT 100252 SOS 90559 HAS SOPS 89959 HAS SOUS 5560 HAS SOUPS 5549 WITH SCORE 5639.559
AT ITER 2286 NEW BEST:: SOT 100248 SOS 90555 HAS SOPS 89955 HAS SOUS 5546 HAS SOUPS 5535 WITH SCORE 5625.555
AT ITER 2364 NEW BEST:: SOT 100246 SOS 90553 HAS SOPS 89953 HAS SOUS 5542 HAS SOUPS 5531 WITH SCORE 5621.553
AT ITER 2476 NEW BEST:: SOT 100238 SOS 90545 HAS SOPS 89945 HAS SOUS 5526 HAS SOUPS 5515 WITH SCORE 5605.545
AT ITER 2567 NEW BEST:: SOT 100236 SOS 90543 HAS SOPS 89943 HAS SOUS 5456 HAS SOUPS 5445 WITH SCORE 5535.543
AT ITER 2602 NEW BEST:: SOT 100230 SOS 90537 HAS SOPS 89937 HAS SOUS 5444 HAS SOUPS 5433 WITH SCORE 5523.537
AT ITER 2620 NEW BEST:: SOT 100224 SOS 90531 HAS SOPS 89931 HAS SOUS 5432 HAS SOUPS 5421 WITH SCORE 5511.531
AT ITER 2752 NEW BEST:: SOT 100224 SOS 90425 HAS SOPS 89825 HAS SOUS 5430 HAS SOUPS 5419 WITH SCORE 5509.425
AT ITER 2763 NEW BEST:: SOT 100220 SOS 90421 HAS SOPS 89821 HAS SOUS 5422 HAS SOUPS 5411 WITH SCORE 5501.421
AT ITER 2801 NEW BEST:: SOT 100218 SOS 90419 HAS SOPS 89819 HAS SOUS 5418 HAS SOUPS 5407 WITH SCORE 5497.419
AT ITER 2808 NEW BEST:: SOT 100210 SOS 90411 HAS SOPS 89811 HAS SOUS 5402 HAS SOUPS 5391 WITH SCORE 5481.411
AT ITER 3114 NEW BEST:: SOT 100197 SOS 90398 HAS SOPS 89798 HAS SOUS 5402 HAS SOUPS 5391 WITH SCORE 5481.398
AT ITER 3184 NEW BEST:: SOT 100193 SOS 90394 HAS SOPS 89794 HAS SOUS 5394 HAS SOUPS 5383 WITH SCORE 5473.394
AT ITER 3253 NEW BEST:: SOT 100193 SOS 90392 HAS SOPS 89792 HAS SOUS 5394 HAS SOUPS 5383 WITH SCORE 5473.392
AT ITER 3310 NEW BEST:: SOT 100304 SOS 90503 HAS SOPS 89903 HAS SOUS 5382 HAS SOUPS 5371 WITH SCORE 5461.503
AT ITER 3398 NEW BEST:: SOT 100302 SOS 90501 HAS SOPS 89901 HAS SOUS 5378 HAS SOUPS 5367 WITH SCORE 5457.501
AT ITER 3541 NEW BEST:: SOT 100302 SOS 90499 HAS SOPS 89899 HAS SOUS 5377 HAS SOUPS 5366 WITH SCORE 5456.499
AT ITER 3606 NEW BEST:: SOT 100300 SOS 90497 HAS SOPS 89897 HAS SOUS 5375 HAS SOUPS 5364 WITH SCORE 5454.497
AT ITER 3617 NEW BEST:: SOT 100300 SOS 90347 HAS SOPS 89897 HAS SOUS 5373 HAS SOUPS 5364 WITH SCORE 5454.347
AT ITER 3650 NEW BEST:: SOT 100298 SOS 90345 HAS SOPS 89895 HAS SOUS 5369 HAS SOUPS 5360 WITH SCORE 5450.345
AT ITER 3692 NEW BEST:: SOT 100288 SOS 90335 HAS SOPS 89885 HAS SOUS 5349 HAS SOUPS 5340 WITH SCORE 5430.335
AT ITER 3849 NEW BEST:: SOT 100336 SOS 90383 HAS SOPS 89933 HAS SOUS 5347 HAS SOUPS 5338 WITH SCORE 5428.383
AT ITER 3934 NEW BEST:: SOT 100334 SOS 90381 HAS SOPS 89931 HAS SOUS 5343 HAS SOUPS 5334 WITH SCORE 5424.381
AT ITER 3960 NEW BEST:: SOT 100330 SOS 90377 HAS SOPS 89927 HAS SOUS 5335 HAS SOUPS 5326 WITH SCORE 5416.377
AT ITER 3975 NEW BEST:: SOT 100328 SOS 90375 HAS SOPS 89925 HAS SOUS 5331 HAS SOUPS 5322 WITH SCORE 5412.375
AT ITER 3992 NEW BEST:: SOT 100552 SOS 90599 HAS SOPS 90149 HAS SOUS 5329 HAS SOUPS 5320 WITH SCORE 5410.599
AT ITER 4014 NEW BEST:: SOT 100550 SOS 90597 HAS SOPS 90147 HAS SOUS 5325 HAS SOUPS 5316 WITH SCORE 5406.597
AT ITER 4039 NEW BEST:: SOT 100542 SOS 90589 HAS SOPS 90139 HAS SOUS 5309 HAS SOUPS 5300 WITH SCORE 5390.589
AT ITER 4165 NEW BEST:: SOT 100540 SOS 90587 HAS SOPS 90137 HAS SOUS 5305 HAS SOUPS 5296 WITH SCORE 5386.587
AT ITER 4234 NEW BEST:: SOT 100538 SOS 90585 HAS SOPS 90135 HAS SOUS 5301 HAS SOUPS 5292 WITH SCORE 5382.585
AT ITER 4240 NEW BEST:: SOT 100534 SOS 90581 HAS SOPS 90131 HAS SOUS 5293 HAS SOUPS 5284 WITH SCORE 5374.581
AT ITER 4249 NEW BEST:: SOT 100530 SOS 90577 HAS SOPS 90127 HAS SOUS 5285 HAS SOUPS 5276 WITH SCORE 5366.577
AT ITER 4253 NEW BEST:: SOT 100528 SOS 90575 HAS SOPS 90125 HAS SOUS 5281 HAS SOUPS 5272 WITH SCORE 5362.575
AT ITER 4304 NEW BEST:: SOT 100528 SOS 90573 HAS SOPS 90123 HAS SOUS 5281 HAS SOUPS 5272 WITH SCORE 5362.573
AT ITER 4347 NEW BEST:: SOT 100528 SOS 90416 HAS SOPS 89966 HAS SOUS 5278 HAS SOUPS 5269 WITH SCORE 5359.416
AT ITER 4351 NEW BEST:: SOT 100532 SOS 90420 HAS SOPS 89970 HAS SOUS 5268 HAS SOUPS 5259 WITH SCORE 5349.42
AT ITER 4371 NEW BEST:: SOT 100532 SOS 90420 HAS SOPS 89970 HAS SOUS 5262 HAS SOUPS 5253 WITH SCORE 5343.42
AT ITER 4398 NEW BEST:: SOT 100530 SOS 90418 HAS SOPS 89968 HAS SOUS 5258 HAS SOUPS 5249 WITH SCORE 5339.418
AT ITER 4492 NEW BEST:: SOT 100528 SOS 90416 HAS SOPS 89966 HAS SOUS 5254 HAS SOUPS 5245 WITH SCORE 5335.416
AT ITER 4559 NEW BEST:: SOT 100526 SOS 90414 HAS SOPS 89964 HAS SOUS 5250 HAS SOUPS 5241 WITH SCORE 5331.414
AT ITER 4616 NEW BEST:: SOT 100524 SOS 90412 HAS SOPS 89962 HAS SOUS 5246 HAS SOUPS 5237 WITH SCORE 5327.412
AT ITER 4751 NEW BEST:: SOT 100512 SOS 90400 HAS SOPS 89950 HAS SOUS 5167 HAS SOUPS 5158 WITH SCORE 5248.4
AT ITER 4841 NEW BEST:: SOT 100510 SOS 90398 HAS SOPS 89948 HAS SOUS 5163 HAS SOUPS 5154 WITH SCORE 5244.398
AT ITER 4974 NEW BEST:: SOT 100508 SOS 90396 HAS SOPS 89946 HAS SOUS 5159 HAS SOUPS 5150 WITH SCORE 5240.396
AT ITER 5146 NEW BEST:: SOT 100506 SOS 90394 HAS SOPS 89944 HAS SOUS 5155 HAS SOUPS 5146 WITH SCORE 5236.394
AT ITER 5471 NEW BEST:: SOT 100506 SOS 90392 HAS SOPS 89942 HAS SOUS 5155 HAS SOUPS 5146 WITH SCORE 5236.392
AT ITER 5535 NEW BEST:: SOT 100504 SOS 90390 HAS SOPS 89940 HAS SOUS 5151 HAS SOUPS 5142 WITH SCORE 5232.39
AT ITER 5798 NEW BEST:: SOT 100496 SOS 90382 HAS SOPS 89932 HAS SOUS 5135 HAS SOUPS 5126 WITH SCORE 5216.382
AT ITER 5876 NEW BEST:: SOT 100440 SOS 90326 HAS SOPS 89876 HAS SOUS 5127 HAS SOUPS 5118 WITH SCORE 5208.326
AT ITER 5955 NEW BEST:: SOT 100435 SOS 90318 HAS SOPS 90218 HAS SOUS 5098 HAS SOUPS 5096 WITH SCORE 5186.318
AT ITER 6083 NEW BEST:: SOT 100433 SOS 90316 HAS SOPS 90216 HAS SOUS 5094 HAS SOUPS 5092 WITH SCORE 5182.316
AT ITER 6122 NEW BEST:: SOT 100431 SOS 90314 HAS SOPS 90214 HAS SOUS 5090 HAS SOUPS 5088 WITH SCORE 5178.314
AT ITER 6183 NEW BEST:: SOT 100429 SOS 90312 HAS SOPS 90212 HAS SOUS 5086 HAS SOUPS 5084 WITH SCORE 5174.312
AT ITER 6282 NEW BEST:: SOT 100427 SOS 90310 HAS SOPS 90210 HAS SOUS 5082 HAS SOUPS 5080 WITH SCORE 5170.31
AT ITER 6291 NEW BEST:: SOT 100425 SOS 90308 HAS SOPS 90208 HAS SOUS 5078 HAS SOUPS 5076 WITH SCORE 5166.308
AT ITER 6908 NEW BEST:: SOT 100423 SOS 90306 HAS SOPS 90206 HAS SOUS 5074 HAS SOUPS 5072 WITH SCORE 5162.306
AT ITER 7010 NEW BEST:: SOT 100423 SOS 90522 HAS SOPS 90166 HAS SOUS 5054 HAS SOUPS 5045 WITH SCORE 5135.522
AT ITER 7107 NEW BEST:: SOT 100555 SOS 90654 HAS SOPS 90298 HAS SOUS 5043 HAS SOUPS 5034 WITH SCORE 5124.654
AT ITER 7110 NEW BEST:: SOT 100557 SOS 90656 HAS SOPS 90300 HAS SOUS 5036 HAS SOUPS 5027 WITH SCORE 5117.656
AT ITER 7266 NEW BEST:: SOT 100689 SOS 90788 HAS SOPS 90432 HAS SOUS 5025 HAS SOUPS 5016 WITH SCORE 5106.788
AT ITER 7295 NEW BEST:: SOT 100687 SOS 90786 HAS SOPS 90430 HAS SOUS 5021 HAS SOUPS 5012 WITH SCORE 5102.786
AT ITER 7540 NEW BEST:: SOT 100557 SOS 90656 HAS SOPS 90300 HAS SOUS 5014 HAS SOUPS 5005 WITH SCORE 5095.656
AT ITER 7576 NEW BEST:: SOT 100557 SOS 90332 HAS SOPS 89962 HAS SOUS 5021 HAS SOUPS 5005 WITH SCORE 5095.332
AT ITER 7658 NEW BEST:: SOT 100568 SOS 90343 HAS SOPS 89973 HAS SOUS 5017 HAS SOUPS 5001 WITH SCORE 5091.343
AT ITER 7675 NEW BEST:: SOT 100568 SOS 90341 HAS SOPS 89971 HAS SOUS 5017 HAS SOUPS 5001 WITH SCORE 5091.341
AT ITER 7700 NEW BEST:: SOT 100566 SOS 90339 HAS SOPS 89969 HAS SOUS 5013 HAS SOUPS 4997 WITH SCORE 5087.339
AT ITER 7725 NEW BEST:: SOT 100582 SOS 89383 HAS SOPS 89013 HAS SOUS 5010 HAS SOUPS 4994 WITH SCORE 5083.383
AT ITER 7758 NEW BEST:: SOT 100588 SOS 89282 HAS SOPS 88912 HAS SOUS 5006 HAS SOUPS 4990 WITH SCORE 5079.282
AT ITER 7841 NEW BEST:: SOT 100586 SOS 89280 HAS SOPS 88910 HAS SOUS 5002 HAS SOUPS 4986 WITH SCORE 5075.28
AT ITER 7875 NEW BEST:: SOT 100580 SOS 89274 HAS SOPS 88904 HAS SOUS 4990 HAS SOUPS 4974 WITH SCORE 5063.274
AT ITER 7911 NEW BEST:: SOT 100578 SOS 89272 HAS SOPS 88902 HAS SOUS 4986 HAS SOUPS 4970 WITH SCORE 5059.272
AT ITER 7927 NEW BEST:: SOT 100576 SOS 89270 HAS SOPS 88900 HAS SOUS 4982 HAS SOUPS 4966 WITH SCORE 5055.27
AT ITER 8017 NEW BEST:: SOT 100567 SOS 89262 HAS SOPS 88991 HAS SOUS 4975 HAS SOUPS 4960 WITH SCORE 5049.262
AT ITER 8388 NEW BEST:: SOT 100567 SOS 89258 HAS SOPS 88987 HAS SOUS 4975 HAS SOUPS 4960 WITH SCORE 5049.258
AT ITER 8397 NEW BEST:: SOT 100565 SOS 89256 HAS SOPS 88985 HAS SOUS 4971 HAS SOUPS 4956 WITH SCORE 5045.256
AT ITER 8599 NEW BEST:: SOT 100573 SOS 89264 HAS SOPS 88993 HAS SOUS 4964 HAS SOUPS 4949 WITH SCORE 5038.264
AT ITER 9099 NEW BEST:: SOT 100571 SOS 89262 HAS SOPS 88991 HAS SOUS 4960 HAS SOUPS 4945 WITH SCORE 5034.262
AT ITER 9158 NEW BEST:: SOT 100569 SOS 89260 HAS SOPS 88989 HAS SOUS 4960 HAS SOUPS 4945 WITH SCORE 5034.26
AT ITER 9334 NEW BEST:: SOT 100567 SOS 89258 HAS SOPS 88987 HAS SOUS 4956 HAS SOUPS 4941 WITH SCORE 5030.258
AT ITER 9527 NEW BEST:: SOT 100409 SOS 89100 HAS SOPS 88829 HAS SOUS 4939 HAS SOUPS 4924 WITH SCORE 5013.1
AT ITER 9577 NEW BEST:: SOT 100409 SOS 88190 HAS SOPS 87919 HAS SOUS 4930 HAS SOUPS 4915 WITH SCORE 5003.19
AT ITER 9584 NEW BEST:: SOT 100407 SOS 88188 HAS SOPS 87917 HAS SOUS 4926 HAS SOUPS 4911 WITH SCORE 4999.188
AT ITER 9652 NEW BEST:: SOT 100443 SOS 88224 HAS SOPS 87953 HAS SOUS 4923 HAS SOUPS 4908 WITH SCORE 4996.224

BK_STOP 1678467335583

--------------------
content from stderr:

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 383 Killed ${SMART}/smart ${INPUT_SM}

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="BridgeAndVehicles-PT-V50P50N10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is BridgeAndVehicles-PT-V50P50N10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813687900256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V50P50N10.tgz
mv BridgeAndVehicles-PT-V50P50N10 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;