fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r018-oct2-158897679900352
Last Updated
Jun 28, 2020

About the Execution of smart for BridgeAndVehicles-PT-V20P20N50

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15753.480 3600000.00 3598415.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897679900352.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BridgeAndVehicles-PT-V20P20N50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679900352
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.0M
-rw-r--r-- 1 mcc users 8.3K Mar 26 02:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Mar 26 02:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 125K Mar 25 21:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 369K Mar 25 21:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 8.9K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 100K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 309K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Mar 25 17:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 30K Mar 25 17:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 128K Mar 25 12:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 374K Mar 25 12:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.5K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.5M Mar 24 05:37 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 1589013050082

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (PT), instance V20P20N50
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 108 places, 2228 transitions, 17190 arcs.
AT ITER 0 NEW BEST:: SOT 181422 SOS 174366 HAS SOPS 172146 HAS SOUS 16959 HAS SOUPS 16901 WITH SCORE 17075.366
AT ITER 13 NEW BEST:: SOT 181422 SOS 175058 HAS SOPS 172838 HAS SOUS 16949 HAS SOUPS 16891 WITH SCORE 17066.058
AT ITER 14 NEW BEST:: SOT 181422 SOS 142566 HAS SOPS 141146 HAS SOUS 16910 HAS SOUPS 16872 WITH SCORE 17014.566
AT ITER 17 NEW BEST:: SOT 181422 SOS 142298 HAS SOPS 140878 HAS SOUS 16896 HAS SOUPS 16858 WITH SCORE 17000.298
AT ITER 27 NEW BEST:: SOT 181422 SOS 142262 HAS SOPS 140822 HAS SOUS 16848 HAS SOUPS 16809 WITH SCORE 16951.262
AT ITER 29 NEW BEST:: SOT 181422 SOS 142268 HAS SOPS 140828 HAS SOUS 16837 HAS SOUPS 16798 WITH SCORE 16940.268
AT ITER 35 NEW BEST:: SOT 181422 SOS 142268 HAS SOPS 140828 HAS SOUS 15917 HAS SOUPS 15878 WITH SCORE 16020.268
AT ITER 47 NEW BEST:: SOT 181422 SOS 142242 HAS SOPS 140802 HAS SOUS 15917 HAS SOUPS 15878 WITH SCORE 16020.242
AT ITER 54 NEW BEST:: SOT 181422 SOS 142240 HAS SOPS 140800 HAS SOUS 15916 HAS SOUPS 15877 WITH SCORE 16019.24
AT ITER 76 NEW BEST:: SOT 181422 SOS 142236 HAS SOPS 140796 HAS SOUS 15916 HAS SOUPS 15877 WITH SCORE 16019.236
AT ITER 113 NEW BEST:: SOT 182303 SOS 143117 HAS SOPS 141677 HAS SOUS 15675 HAS SOUPS 15636 WITH SCORE 15779.117
AT ITER 119 NEW BEST:: SOT 182287 SOS 143101 HAS SOPS 141661 HAS SOUS 15504 HAS SOUPS 15465 WITH SCORE 15608.101
AT ITER 136 NEW BEST:: SOT 181387 SOS 142658 HAS SOPS 141218 HAS SOUS 15469 HAS SOUPS 15430 WITH SCORE 15572.658
AT ITER 168 NEW BEST:: SOT 181387 SOS 139068 HAS SOPS 137748 HAS SOUS 15463 HAS SOUPS 15427 WITH SCORE 15566.068
AT ITER 171 NEW BEST:: SOT 181387 SOS 139428 HAS SOPS 138108 HAS SOUS 15450 HAS SOUPS 15414 WITH SCORE 15553.428
AT ITER 178 NEW BEST:: SOT 181387 SOS 121710 HAS SOPS 121470 HAS SOUS 15360 HAS SOUPS 15351 WITH SCORE 15472.71
AT ITER 195 NEW BEST:: SOT 181387 SOS 121709 HAS SOPS 121469 HAS SOUS 15359 HAS SOUPS 15350 WITH SCORE 15471.709
AT ITER 205 NEW BEST:: SOT 181387 SOS 121707 HAS SOPS 121467 HAS SOUS 15359 HAS SOUPS 15350 WITH SCORE 15471.707
AT ITER 223 NEW BEST:: SOT 181115 SOS 121752 HAS SOPS 121512 HAS SOUS 15115 HAS SOUPS 15106 WITH SCORE 15227.752
AT ITER 244 NEW BEST:: SOT 181115 SOS 121752 HAS SOPS 121512 HAS SOUS 15113 HAS SOUPS 15104 WITH SCORE 15225.752
AT ITER 281 NEW BEST:: SOT 181113 SOS 121714 HAS SOPS 121494 HAS SOUS 15109 HAS SOUPS 15101 WITH SCORE 15222.714
AT ITER 291 NEW BEST:: SOT 181113 SOS 121713 HAS SOPS 121493 HAS SOUS 15108 HAS SOUPS 15100 WITH SCORE 15221.713
AT ITER 297 NEW BEST:: SOT 181113 SOS 121671 HAS SOPS 121451 HAS SOUS 15107 HAS SOUPS 15099 WITH SCORE 15220.671
AT ITER 302 NEW BEST:: SOT 181113 SOS 121671 HAS SOPS 121451 HAS SOUS 15105 HAS SOUPS 15097 WITH SCORE 15218.671
AT ITER 314 NEW BEST:: SOT 180548 SOS 121645 HAS SOPS 121545 HAS SOUS 14959 HAS SOUPS 14954 WITH SCORE 15075.645
AT ITER 316 NEW BEST:: SOT 180686 SOS 121783 HAS SOPS 121683 HAS SOUS 14944 HAS SOUPS 14939 WITH SCORE 15060.783
AT ITER 330 NEW BEST:: SOT 179560 SOS 120705 HAS SOPS 120605 HAS SOUS 14353 HAS SOUPS 14348 WITH SCORE 14468.705
AT ITER 351 NEW BEST:: SOT 179557 SOS 120716 HAS SOPS 120616 HAS SOUS 14348 HAS SOUPS 14343 WITH SCORE 14463.716
AT ITER 357 NEW BEST:: SOT 180028 SOS 121187 HAS SOPS 121087 HAS SOUS 13799 HAS SOUPS 13794 WITH SCORE 13915.187
AT ITER 360 NEW BEST:: SOT 180028 SOS 121185 HAS SOPS 121085 HAS SOUS 13799 HAS SOUPS 13794 WITH SCORE 13915.185
AT ITER 364 NEW BEST:: SOT 179774 SOS 120931 HAS SOPS 120891 HAS SOUS 13537 HAS SOUPS 13535 WITH SCORE 13655.931
AT ITER 382 NEW BEST:: SOT 179750 SOS 120907 HAS SOPS 120867 HAS SOUS 13501 HAS SOUPS 13499 WITH SCORE 13619.907
AT ITER 388 NEW BEST:: SOT 179750 SOS 120905 HAS SOPS 120865 HAS SOUS 13501 HAS SOUPS 13499 WITH SCORE 13619.905
AT ITER 389 NEW BEST:: SOT 180016 SOS 121171 HAS SOPS 121131 HAS SOUS 13357 HAS SOUPS 13355 WITH SCORE 13476.171
AT ITER 392 NEW BEST:: SOT 180016 SOS 121174 HAS SOPS 121134 HAS SOUS 13356 HAS SOUPS 13354 WITH SCORE 13475.174
AT ITER 401 NEW BEST:: SOT 180016 SOS 121246 HAS SOPS 121206 HAS SOUS 12924 HAS SOUPS 12922 WITH SCORE 13043.246
AT ITER 417 NEW BEST:: SOT 180632 SOS 121862 HAS SOPS 121822 HAS SOUS 12806 HAS SOUPS 12804 WITH SCORE 12925.862
AT ITER 431 NEW BEST:: SOT 180626 SOS 121856 HAS SOPS 121816 HAS SOUS 12776 HAS SOUPS 12774 WITH SCORE 12895.856
AT ITER 444 NEW BEST:: SOT 180626 SOS 121831 HAS SOPS 121791 HAS SOUS 12769 HAS SOUPS 12767 WITH SCORE 12888.831
AT ITER 468 NEW BEST:: SOT 180625 SOS 121830 HAS SOPS 121790 HAS SOUS 12768 HAS SOUPS 12766 WITH SCORE 12887.83
AT ITER 474 NEW BEST:: SOT 180600 SOS 121804 HAS SOPS 121764 HAS SOUS 12401 HAS SOUPS 12399 WITH SCORE 12520.804
AT ITER 476 NEW BEST:: SOT 180600 SOS 121804 HAS SOPS 121764 HAS SOUS 12389 HAS SOUPS 12387 WITH SCORE 12508.804
AT ITER 479 NEW BEST:: SOT 180600 SOS 121735 HAS SOPS 121695 HAS SOUS 12386 HAS SOUPS 12384 WITH SCORE 12505.735
AT ITER 493 NEW BEST:: SOT 180600 SOS 121733 HAS SOPS 121693 HAS SOUS 12386 HAS SOUPS 12384 WITH SCORE 12505.733
AT ITER 500 NEW BEST:: SOT 180600 SOS 121731 HAS SOPS 121691 HAS SOUS 12386 HAS SOUPS 12384 WITH SCORE 12505.731
AT ITER 512 NEW BEST:: SOT 180600 SOS 121727 HAS SOPS 121687 HAS SOUS 12386 HAS SOUPS 12384 WITH SCORE 12505.727
AT ITER 513 NEW BEST:: SOT 180596 SOS 121723 HAS SOPS 121683 HAS SOUS 12380 HAS SOUPS 12378 WITH SCORE 12499.723
AT ITER 515 NEW BEST:: SOT 180596 SOS 121709 HAS SOPS 121669 HAS SOUS 12380 HAS SOUPS 12378 WITH SCORE 12499.709
AT ITER 517 NEW BEST:: SOT 180566 SOS 121675 HAS SOPS 121635 HAS SOUS 11729 HAS SOUPS 11727 WITH SCORE 11848.675
AT ITER 531 NEW BEST:: SOT 180565 SOS 121674 HAS SOPS 121634 HAS SOUS 11728 HAS SOUPS 11726 WITH SCORE 11847.674
AT ITER 555 NEW BEST:: SOT 180572 SOS 122381 HAS SOPS 122381 HAS SOUS 11708 HAS SOUPS 11708 WITH SCORE 11830.381
AT ITER 564 NEW BEST:: SOT 180572 SOS 122379 HAS SOPS 122379 HAS SOUS 11708 HAS SOUPS 11708 WITH SCORE 11830.379
AT ITER 568 NEW BEST:: SOT 180570 SOS 122377 HAS SOPS 122377 HAS SOUS 11702 HAS SOUPS 11702 WITH SCORE 11824.377
AT ITER 569 NEW BEST:: SOT 180570 SOS 122375 HAS SOPS 122375 HAS SOUS 11702 HAS SOUPS 11702 WITH SCORE 11824.375
AT ITER 577 NEW BEST:: SOT 180566 SOS 122371 HAS SOPS 122371 HAS SOUS 11698 HAS SOUPS 11698 WITH SCORE 11820.371
AT ITER 584 NEW BEST:: SOT 180564 SOS 122369 HAS SOPS 122369 HAS SOUS 11696 HAS SOUPS 11696 WITH SCORE 11818.369
AT ITER 609 NEW BEST:: SOT 180564 SOS 122363 HAS SOPS 122363 HAS SOUS 11696 HAS SOUPS 11696 WITH SCORE 11818.363
AT ITER 614 NEW BEST:: SOT 180564 SOS 122353 HAS SOPS 122353 HAS SOUS 11696 HAS SOUPS 11696 WITH SCORE 11818.353
AT ITER 643 NEW BEST:: SOT 180564 SOS 122372 HAS SOPS 122372 HAS SOUS 11686 HAS SOUPS 11686 WITH SCORE 11808.372
AT ITER 680 NEW BEST:: SOT 180564 SOS 122361 HAS SOPS 122361 HAS SOUS 11681 HAS SOUPS 11681 WITH SCORE 11803.361
AT ITER 690 NEW BEST:: SOT 180554 SOS 122322 HAS SOPS 122322 HAS SOUS 11529 HAS SOUPS 11529 WITH SCORE 11651.322
AT ITER 694 NEW BEST:: SOT 180554 SOS 122312 HAS SOPS 122312 HAS SOUS 11529 HAS SOUPS 11529 WITH SCORE 11651.312
AT ITER 730 NEW BEST:: SOT 180554 SOS 122308 HAS SOPS 122308 HAS SOUS 11529 HAS SOUPS 11529 WITH SCORE 11651.308
AT ITER 733 NEW BEST:: SOT 180554 SOS 122294 HAS SOPS 122294 HAS SOUS 11529 HAS SOUPS 11529 WITH SCORE 11651.294
AT ITER 740 NEW BEST:: SOT 180554 SOS 122290 HAS SOPS 122290 HAS SOUS 11529 HAS SOUPS 11529 WITH SCORE 11651.29
AT ITER 745 NEW BEST:: SOT 180677 SOS 122202 HAS SOPS 122202 HAS SOUS 11524 HAS SOUPS 11524 WITH SCORE 11646.202
AT ITER 781 NEW BEST:: SOT 180876 SOS 122401 HAS SOPS 122401 HAS SOUS 11516 HAS SOUPS 11516 WITH SCORE 11638.401
AT ITER 801 NEW BEST:: SOT 180865 SOS 122390 HAS SOPS 122390 HAS SOUS 11493 HAS SOUPS 11493 WITH SCORE 11615.39
AT ITER 816 NEW BEST:: SOT 180865 SOS 122390 HAS SOPS 122390 HAS SOUS 11491 HAS SOUPS 11491 WITH SCORE 11613.39
AT ITER 853 NEW BEST:: SOT 180846 SOS 122372 HAS SOPS 122372 HAS SOUS 11473 HAS SOUPS 11473 WITH SCORE 11595.372
AT ITER 856 NEW BEST:: SOT 180845 SOS 122371 HAS SOPS 122371 HAS SOUS 11470 HAS SOUPS 11470 WITH SCORE 11592.371
AT ITER 886 NEW BEST:: SOT 180845 SOS 122369 HAS SOPS 122369 HAS SOUS 11470 HAS SOUPS 11470 WITH SCORE 11592.369
AT ITER 902 NEW BEST:: SOT 180835 SOS 122358 HAS SOPS 122358 HAS SOUS 11446 HAS SOUPS 11446 WITH SCORE 11568.358
AT ITER 917 NEW BEST:: SOT 181350 SOS 122873 HAS SOPS 122873 HAS SOUS 11309 HAS SOUPS 11309 WITH SCORE 11431.873
AT ITER 923 NEW BEST:: SOT 181349 SOS 122871 HAS SOPS 122871 HAS SOUS 11306 HAS SOUPS 11306 WITH SCORE 11428.871
AT ITER 930 NEW BEST:: SOT 181345 SOS 122867 HAS SOPS 122867 HAS SOUS 11294 HAS SOUPS 11294 WITH SCORE 11416.867
AT ITER 966 NEW BEST:: SOT 181345 SOS 122735 HAS SOPS 122735 HAS SOUS 11288 HAS SOUPS 11288 WITH SCORE 11410.735
AT ITER 1021 NEW BEST:: SOT 181333 SOS 122723 HAS SOPS 122723 HAS SOUS 11252 HAS SOUPS 11252 WITH SCORE 11374.723
AT ITER 1033 NEW BEST:: SOT 181333 SOS 122719 HAS SOPS 122719 HAS SOUS 11252 HAS SOUPS 11252 WITH SCORE 11374.719
AT ITER 1089 NEW BEST:: SOT 181333 SOS 122717 HAS SOPS 122717 HAS SOUS 11252 HAS SOUPS 11252 WITH SCORE 11374.717
AT ITER 1173 NEW BEST:: SOT 181333 SOS 122715 HAS SOPS 122715 HAS SOUS 11252 HAS SOUPS 11252 WITH SCORE 11374.715
AT ITER 1184 NEW BEST:: SOT 182215 SOS 123920 HAS SOPS 123920 HAS SOUS 11248 HAS SOUPS 11248 WITH SCORE 11371.92
AT ITER 1200 NEW BEST:: SOT 182195 SOS 123900 HAS SOPS 123900 HAS SOUS 11223 HAS SOUPS 11223 WITH SCORE 11346.9
AT ITER 1238 NEW BEST:: SOT 182195 SOS 123668 HAS SOPS 123668 HAS SOUS 11212 HAS SOUPS 11212 WITH SCORE 11335.668
AT ITER 1327 NEW BEST:: SOT 182310 SOS 123946 HAS SOPS 123946 HAS SOUS 11172 HAS SOUPS 11172 WITH SCORE 11295.946
AT ITER 1335 NEW BEST:: SOT 182309 SOS 123945 HAS SOPS 123945 HAS SOUS 11169 HAS SOUPS 11169 WITH SCORE 11292.945
AT ITER 1363 NEW BEST:: SOT 182309 SOS 123943 HAS SOPS 123943 HAS SOUS 11169 HAS SOUPS 11169 WITH SCORE 11292.943
AT ITER 1367 NEW BEST:: SOT 182309 SOS 123939 HAS SOPS 123939 HAS SOUS 11169 HAS SOUPS 11169 WITH SCORE 11292.939
AT ITER 1378 NEW BEST:: SOT 182308 SOS 123940 HAS SOPS 123940 HAS SOUS 11166 HAS SOUPS 11166 WITH SCORE 11289.94
AT ITER 1383 NEW BEST:: SOT 182307 SOS 123939 HAS SOPS 123939 HAS SOUS 11163 HAS SOUPS 11163 WITH SCORE 11286.939
AT ITER 1416 NEW BEST:: SOT 182306 SOS 123938 HAS SOPS 123938 HAS SOUS 11160 HAS SOUPS 11160 WITH SCORE 11283.938
AT ITER 1436 NEW BEST:: SOT 182304 SOS 123936 HAS SOPS 123936 HAS SOUS 11154 HAS SOUPS 11154 WITH SCORE 11277.936
AT ITER 1476 NEW BEST:: SOT 182303 SOS 123935 HAS SOPS 123935 HAS SOUS 11153 HAS SOUPS 11153 WITH SCORE 11276.935
AT ITER 1482 NEW BEST:: SOT 182300 SOS 123254 HAS SOPS 123234 HAS SOUS 11154 HAS SOUPS 11153 WITH SCORE 11276.254
AT ITER 1492 NEW BEST:: SOT 182300 SOS 122978 HAS SOPS 122958 HAS SOUS 11141 HAS SOUPS 11140 WITH SCORE 11262.978
AT ITER 1546 NEW BEST:: SOT 182187 SOS 123454 HAS SOPS 123454 HAS SOUS 11033 HAS SOUPS 11033 WITH SCORE 11156.454
AT ITER 1666 NEW BEST:: SOT 182305 SOS 123899 HAS SOPS 123739 HAS SOUS 10988 HAS SOUPS 10982 WITH SCORE 11105.899
AT ITER 1704 NEW BEST:: SOT 182303 SOS 123897 HAS SOPS 123737 HAS SOUS 10984 HAS SOUPS 10978 WITH SCORE 11101.897
AT ITER 1706 NEW BEST:: SOT 182303 SOS 123827 HAS SOPS 123667 HAS SOUS 10981 HAS SOUPS 10975 WITH SCORE 11098.827
AT ITER 1707 NEW BEST:: SOT 182303 SOS 122952 HAS SOPS 122912 HAS SOUS 10972 HAS SOUPS 10970 WITH SCORE 11092.952
AT ITER 1719 NEW BEST:: SOT 182298 SOS 122947 HAS SOPS 122907 HAS SOUS 10957 HAS SOUPS 10955 WITH SCORE 11077.947
AT ITER 1812 NEW BEST:: SOT 182296 SOS 122945 HAS SOPS 122905 HAS SOUS 10951 HAS SOUPS 10949 WITH SCORE 11071.945
AT ITER 1826 NEW BEST:: SOT 182449 SOS 123098 HAS SOPS 123058 HAS SOUS 10939 HAS SOUPS 10937 WITH SCORE 11060.098
AT ITER 1831 NEW BEST:: SOT 182448 SOS 123097 HAS SOPS 123057 HAS SOUS 10936 HAS SOUPS 10934 WITH SCORE 11057.097
AT ITER 1904 NEW BEST:: SOT 182448 SOS 123093 HAS SOPS 123053 HAS SOUS 10936 HAS SOUPS 10934 WITH SCORE 11057.093
AT ITER 1905 NEW BEST:: SOT 182304 SOS 122949 HAS SOPS 122909 HAS SOUS 10936 HAS SOUPS 10934 WITH SCORE 11056.949
AT ITER 1980 NEW BEST:: SOT 182304 SOS 122945 HAS SOPS 122905 HAS SOUS 10936 HAS SOUPS 10934 WITH SCORE 11056.945
AT ITER 1988 NEW BEST:: SOT 182370 SOS 122417 HAS SOPS 122377 HAS SOUS 10927 HAS SOUPS 10925 WITH SCORE 11047.417
AT ITER 2003 NEW BEST:: SOT 182370 SOS 122415 HAS SOPS 122375 HAS SOUS 10927 HAS SOUPS 10925 WITH SCORE 11047.415
AT ITER 2019 NEW BEST:: SOT 182370 SOS 122411 HAS SOPS 122371 HAS SOUS 10927 HAS SOUPS 10925 WITH SCORE 11047.411
AT ITER 2058 NEW BEST:: SOT 182684 SOS 122725 HAS SOPS 122685 HAS SOUS 10910 HAS SOUPS 10908 WITH SCORE 11030.725
AT ITER 2099 NEW BEST:: SOT 182684 SOS 122705 HAS SOPS 122665 HAS SOUS 10910 HAS SOUPS 10908 WITH SCORE 11030.705
AT ITER 2192 NEW BEST:: SOT 182677 SOS 122713 HAS SOPS 122673 HAS SOUS 10890 HAS SOUPS 10888 WITH SCORE 11010.713
AT ITER 2222 NEW BEST:: SOT 182676 SOS 122712 HAS SOPS 122672 HAS SOUS 10887 HAS SOUPS 10885 WITH SCORE 11007.712
AT ITER 2232 NEW BEST:: SOT 182676 SOS 122684 HAS SOPS 122644 HAS SOUS 10887 HAS SOUPS 10885 WITH SCORE 11007.684
AT ITER 2247 NEW BEST:: SOT 182676 SOS 122672 HAS SOPS 122632 HAS SOUS 10887 HAS SOUPS 10885 WITH SCORE 11007.672
AT ITER 2259 NEW BEST:: SOT 182675 SOS 122671 HAS SOPS 122631 HAS SOUS 10884 HAS SOUPS 10882 WITH SCORE 11004.671
AT ITER 2318 NEW BEST:: SOT 182675 SOS 122627 HAS SOPS 122587 HAS SOUS 10882 HAS SOUPS 10880 WITH SCORE 11002.627
AT ITER 2321 NEW BEST:: SOT 182675 SOS 122615 HAS SOPS 122575 HAS SOUS 10882 HAS SOUPS 10880 WITH SCORE 11002.615
AT ITER 2338 NEW BEST:: SOT 182672 SOS 122612 HAS SOPS 122572 HAS SOUS 10881 HAS SOUPS 10879 WITH SCORE 11001.612
AT ITER 2344 NEW BEST:: SOT 182672 SOS 122608 HAS SOPS 122568 HAS SOUS 10881 HAS SOUPS 10879 WITH SCORE 11001.608
AT ITER 2362 NEW BEST:: SOT 182716 SOS 122652 HAS SOPS 122612 HAS SOUS 10874 HAS SOUPS 10872 WITH SCORE 10994.652
AT ITER 2432 NEW BEST:: SOT 182715 SOS 122651 HAS SOPS 122611 HAS SOUS 10871 HAS SOUPS 10869 WITH SCORE 10991.651
AT ITER 2465 NEW BEST:: SOT 182715 SOS 122647 HAS SOPS 122607 HAS SOUS 10871 HAS SOUPS 10869 WITH SCORE 10991.647
AT ITER 2479 NEW BEST:: SOT 182715 SOS 122643 HAS SOPS 122603 HAS SOUS 10871 HAS SOUPS 10869 WITH SCORE 10991.643
AT ITER 2505 NEW BEST:: SOT 182715 SOS 122635 HAS SOPS 122595 HAS SOUS 10871 HAS SOUPS 10869 WITH SCORE 10991.635
AT ITER 2530 NEW BEST:: SOT 182715 SOS 122631 HAS SOPS 122591 HAS SOUS 10871 HAS SOUPS 10869 WITH SCORE 10991.631
AT ITER 2531 NEW BEST:: SOT 182715 SOS 122627 HAS SOPS 122587 HAS SOUS 10871 HAS SOUPS 10869 WITH SCORE 10991.627
AT ITER 2605 NEW BEST:: SOT 182715 SOS 122625 HAS SOPS 122585 HAS SOUS 10871 HAS SOUPS 10869 WITH SCORE 10991.625
AT ITER 2618 NEW BEST:: SOT 182714 SOS 122624 HAS SOPS 122584 HAS SOUS 10866 HAS SOUPS 10864 WITH SCORE 10986.624
AT ITER 2680 NEW BEST:: SOT 182712 SOS 122622 HAS SOPS 122582 HAS SOUS 10858 HAS SOUPS 10856 WITH SCORE 10978.622
AT ITER 2689 NEW BEST:: SOT 182711 SOS 122621 HAS SOPS 122581 HAS SOUS 10855 HAS SOUPS 10853 WITH SCORE 10975.621
AT ITER 2753 NEW BEST:: SOT 182711 SOS 122619 HAS SOPS 122579 HAS SOUS 10855 HAS SOUPS 10853 WITH SCORE 10975.619
AT ITER 2761 NEW BEST:: SOT 182710 SOS 122618 HAS SOPS 122578 HAS SOUS 10852 HAS SOUPS 10850 WITH SCORE 10972.618
AT ITER 2813 NEW BEST:: SOT 182708 SOS 122616 HAS SOPS 122576 HAS SOUS 10850 HAS SOUPS 10848 WITH SCORE 10970.616
AT ITER 2875 NEW BEST:: SOT 182708 SOS 122437 HAS SOPS 122397 HAS SOUS 10808 HAS SOUPS 10806 WITH SCORE 10928.437
AT ITER 3035 NEW BEST:: SOT 182753 SOS 122482 HAS SOPS 122442 HAS SOUS 10804 HAS SOUPS 10802 WITH SCORE 10924.482
AT ITER 3043 NEW BEST:: SOT 182750 SOS 122504 HAS SOPS 122464 HAS SOUS 10792 HAS SOUPS 10790 WITH SCORE 10912.504
AT ITER 3049 NEW BEST:: SOT 182750 SOS 122502 HAS SOPS 122462 HAS SOUS 10792 HAS SOUPS 10790 WITH SCORE 10912.502
AT ITER 3052 NEW BEST:: SOT 182749 SOS 122501 HAS SOPS 122461 HAS SOUS 10789 HAS SOUPS 10787 WITH SCORE 10909.501
AT ITER 3118 NEW BEST:: SOT 182749 SOS 122499 HAS SOPS 122459 HAS SOUS 10789 HAS SOUPS 10787 WITH SCORE 10909.499
AT ITER 3142 NEW BEST:: SOT 182745 SOS 122495 HAS SOPS 122455 HAS SOUS 10781 HAS SOUPS 10779 WITH SCORE 10901.495
AT ITER 3144 NEW BEST:: SOT 182745 SOS 122491 HAS SOPS 122451 HAS SOUS 10781 HAS SOUPS 10779 WITH SCORE 10901.491
AT ITER 3161 NEW BEST:: SOT 182745 SOS 122489 HAS SOPS 122449 HAS SOUS 10781 HAS SOUPS 10779 WITH SCORE 10901.489
AT ITER 3207 NEW BEST:: SOT 182825 SOS 122399 HAS SOPS 122299 HAS SOUS 10726 HAS SOUPS 10723 WITH SCORE 10845.399
AT ITER 3227 NEW BEST:: SOT 182823 SOS 122397 HAS SOPS 122297 HAS SOUS 10720 HAS SOUPS 10717 WITH SCORE 10839.397
AT ITER 3400 NEW BEST:: SOT 182821 SOS 122395 HAS SOPS 122295 HAS SOUS 10716 HAS SOUPS 10713 WITH SCORE 10835.395
AT ITER 3421 NEW BEST:: SOT 182823 SOS 122397 HAS SOPS 122297 HAS SOUS 10711 HAS SOUPS 10708 WITH SCORE 10830.397
AT ITER 3480 NEW BEST:: SOT 182823 SOS 122389 HAS SOPS 122289 HAS SOUS 10711 HAS SOUPS 10708 WITH SCORE 10830.389
AT ITER 3482 NEW BEST:: SOT 182823 SOS 122387 HAS SOPS 122287 HAS SOUS 10711 HAS SOUPS 10708 WITH SCORE 10830.387
AT ITER 3616 NEW BEST:: SOT 182807 SOS 122371 HAS SOPS 122271 HAS SOUS 10697 HAS SOUPS 10694 WITH SCORE 10816.371
AT ITER 3725 NEW BEST:: SOT 182803 SOS 122367 HAS SOPS 122267 HAS SOUS 10685 HAS SOUPS 10682 WITH SCORE 10804.367
AT ITER 3731 NEW BEST:: SOT 182802 SOS 122366 HAS SOPS 122266 HAS SOUS 10682 HAS SOUPS 10679 WITH SCORE 10801.366
AT ITER 3800 NEW BEST:: SOT 182801 SOS 122365 HAS SOPS 122265 HAS SOUS 10679 HAS SOUPS 10676 WITH SCORE 10798.365
AT ITER 3817 NEW BEST:: SOT 182801 SOS 122343 HAS SOPS 122243 HAS SOUS 10678 HAS SOUPS 10675 WITH SCORE 10797.343
AT ITER 3819 NEW BEST:: SOT 182801 SOS 122341 HAS SOPS 122241 HAS SOUS 10678 HAS SOUPS 10675 WITH SCORE 10797.341
AT ITER 3923 NEW BEST:: SOT 182799 SOS 122339 HAS SOPS 122239 HAS SOUS 10672 HAS SOUPS 10669 WITH SCORE 10791.339
AT ITER 3934 NEW BEST:: SOT 182775 SOS 122316 HAS SOPS 122216 HAS SOUS 10648 HAS SOUPS 10645 WITH SCORE 10767.316
AT ITER 3944 NEW BEST:: SOT 182775 SOS 122310 HAS SOPS 122210 HAS SOUS 10648 HAS SOUPS 10645 WITH SCORE 10767.31
AT ITER 4114 NEW BEST:: SOT 182769 SOS 122304 HAS SOPS 122204 HAS SOUS 10641 HAS SOUPS 10638 WITH SCORE 10760.304
AT ITER 4126 NEW BEST:: SOT 182769 SOS 122298 HAS SOPS 122198 HAS SOUS 10641 HAS SOUPS 10638 WITH SCORE 10760.298
AT ITER 4170 NEW BEST:: SOT 182769 SOS 122296 HAS SOPS 122196 HAS SOUS 10641 HAS SOUPS 10638 WITH SCORE 10760.296
AT ITER 4336 NEW BEST:: SOT 182770 SOS 122297 HAS SOPS 122197 HAS SOUS 10638 HAS SOUPS 10635 WITH SCORE 10757.297
AT ITER 4379 NEW BEST:: SOT 182769 SOS 122296 HAS SOPS 122196 HAS SOUS 10635 HAS SOUPS 10632 WITH SCORE 10754.296
AT ITER 4480 NEW BEST:: SOT 182769 SOS 122294 HAS SOPS 122194 HAS SOUS 10635 HAS SOUPS 10632 WITH SCORE 10754.294
AT ITER 4509 NEW BEST:: SOT 182769 SOS 122292 HAS SOPS 122192 HAS SOUS 10635 HAS SOUPS 10632 WITH SCORE 10754.292
AT ITER 4552 NEW BEST:: SOT 182726 SOS 122223 HAS SOPS 122143 HAS SOUS 10635 HAS SOUPS 10632 WITH SCORE 10754.223
AT ITER 4560 NEW BEST:: SOT 182726 SOS 122221 HAS SOPS 122141 HAS SOUS 10635 HAS SOUPS 10632 WITH SCORE 10754.221
AT ITER 4640 NEW BEST:: SOT 182726 SOS 122219 HAS SOPS 122139 HAS SOUS 10635 HAS SOUPS 10632 WITH SCORE 10754.219
AT ITER 4662 NEW BEST:: SOT 182726 SOS 122217 HAS SOPS 122137 HAS SOUS 10635 HAS SOUPS 10632 WITH SCORE 10754.217
AT ITER 4770 NEW BEST:: SOT 182726 SOS 122215 HAS SOPS 122135 HAS SOUS 10635 HAS SOUPS 10632 WITH SCORE 10754.215
AT ITER 4886 NEW BEST:: SOT 182726 SOS 122211 HAS SOPS 122131 HAS SOUS 10635 HAS SOUPS 10632 WITH SCORE 10754.211
AT ITER 5035 NEW BEST:: SOT 182723 SOS 122208 HAS SOPS 122128 HAS SOUS 10628 HAS SOUPS 10625 WITH SCORE 10747.208
AT ITER 5198 NEW BEST:: SOT 182723 SOS 122194 HAS SOPS 122114 HAS SOUS 10628 HAS SOUPS 10625 WITH SCORE 10747.194
AT ITER 5277 NEW BEST:: SOT 183350 SOS 122821 HAS SOPS 122741 HAS SOUS 10625 HAS SOUPS 10622 WITH SCORE 10744.821
AT ITER 5391 NEW BEST:: SOT 183348 SOS 122819 HAS SOPS 122739 HAS SOUS 10619 HAS SOUPS 10616 WITH SCORE 10738.819
AT ITER 5433 NEW BEST:: SOT 183345 SOS 122816 HAS SOPS 122736 HAS SOUS 10612 HAS SOUPS 10609 WITH SCORE 10731.816
AT ITER 5639 NEW BEST:: SOT 183343 SOS 122814 HAS SOPS 122734 HAS SOUS 10606 HAS SOUPS 10603 WITH SCORE 10725.814
AT ITER 5656 NEW BEST:: SOT 183342 SOS 122813 HAS SOPS 122733 HAS SOUS 10603 HAS SOUPS 10600 WITH SCORE 10722.813
AT ITER 5689 NEW BEST:: SOT 183388 SOS 122859 HAS SOPS 122779 HAS SOUS 10596 HAS SOUPS 10593 WITH SCORE 10715.859
AT ITER 5729 NEW BEST:: SOT 183386 SOS 122857 HAS SOPS 122777 HAS SOUS 10592 HAS SOUPS 10589 WITH SCORE 10711.857
AT ITER 5854 NEW BEST:: SOT 182720 SOS 122191 HAS SOPS 122111 HAS SOUS 10580 HAS SOUPS 10577 WITH SCORE 10699.191
AT ITER 6630 NEW BEST:: SOT 182719 SOS 122190 HAS SOPS 122110 HAS SOUS 10579 HAS SOUPS 10576 WITH SCORE 10698.19
AT ITER 6659 NEW BEST:: SOT 182716 SOS 122187 HAS SOPS 122107 HAS SOUS 10570 HAS SOUPS 10567 WITH SCORE 10689.187
AT ITER 6687 NEW BEST:: SOT 182713 SOS 122184 HAS SOPS 122104 HAS SOUS 10561 HAS SOUPS 10558 WITH SCORE 10680.184
AT ITER 6976 NEW BEST:: SOT 182713 SOS 122772 HAS SOPS 122612 HAS SOUS 10472 HAS SOUPS 10467 WITH SCORE 10589.772
AT ITER 6985 NEW BEST:: SOT 182712 SOS 122771 HAS SOPS 122611 HAS SOUS 10469 HAS SOUPS 10464 WITH SCORE 10586.771
AT ITER 7022 NEW BEST:: SOT 182711 SOS 122770 HAS SOPS 122610 HAS SOUS 10466 HAS SOUPS 10461 WITH SCORE 10583.77
AT ITER 7362 NEW BEST:: SOT 182710 SOS 122769 HAS SOPS 122609 HAS SOUS 10463 HAS SOUPS 10458 WITH SCORE 10580.769
AT ITER 7387 NEW BEST:: SOT 182706 SOS 122765 HAS SOPS 122605 HAS SOUS 10457 HAS SOUPS 10452 WITH SCORE 10574.765
AT ITER 7453 NEW BEST:: SOT 182706 SOS 122803 HAS SOPS 122643 HAS SOUS 10456 HAS SOUPS 10451 WITH SCORE 10573.803
AT ITER 7574 NEW BEST:: SOT 182706 SOS 122799 HAS SOPS 122639 HAS SOUS 10456 HAS SOUPS 10451 WITH SCORE 10573.799
AT ITER 7654 NEW BEST:: SOT 182752 SOS 122845 HAS SOPS 122685 HAS SOUS 10448 HAS SOUPS 10443 WITH SCORE 10565.845
AT ITER 7735 NEW BEST:: SOT 182752 SOS 122843 HAS SOPS 122683 HAS SOUS 10448 HAS SOUPS 10443 WITH SCORE 10565.843
AT ITER 7764 NEW BEST:: SOT 182751 SOS 122842 HAS SOPS 122682 HAS SOUS 10445 HAS SOUPS 10440 WITH SCORE 10562.842
AT ITER 7975 NEW BEST:: SOT 182751 SOS 122840 HAS SOPS 122680 HAS SOUS 10445 HAS SOUPS 10440 WITH SCORE 10562.84
AT ITER 8013 NEW BEST:: SOT 182751 SOS 122834 HAS SOPS 122674 HAS SOUS 10445 HAS SOUPS 10440 WITH SCORE 10562.834
AT ITER 8473 NEW BEST:: SOT 182747 SOS 122830 HAS SOPS 122670 HAS SOUS 10438 HAS SOUPS 10433 WITH SCORE 10555.83
AT ITER 9041 NEW BEST:: SOT 182746 SOS 122829 HAS SOPS 122669 HAS SOUS 10435 HAS SOUPS 10430 WITH SCORE 10552.829
AT ITER 9182 NEW BEST:: SOT 182745 SOS 122828 HAS SOPS 122668 HAS SOUS 10432 HAS SOUPS 10427 WITH SCORE 10549.828
AT ITER 9388 NEW BEST:: SOT 182745 SOS 122824 HAS SOPS 122664 HAS SOUS 10432 HAS SOUPS 10427 WITH SCORE 10549.824
AT ITER 9465 NEW BEST:: SOT 182745 SOS 122820 HAS SOPS 122660 HAS SOUS 10432 HAS SOUPS 10427 WITH SCORE 10549.82
AT ITER 9558 NEW BEST:: SOT 182745 SOS 122818 HAS SOPS 122658 HAS SOUS 10432 HAS SOUPS 10427 WITH SCORE 10549.818
AT ITER 9576 NEW BEST:: SOT 182745 SOS 122812 HAS SOPS 122652 HAS SOUS 10432 HAS SOUPS 10427 WITH SCORE 10549.812
AT ITER 9645 NEW BEST:: SOT 182745 SOS 122810 HAS SOPS 122650 HAS SOUS 10432 HAS SOUPS 10427 WITH SCORE 10549.81
AT ITER 9732 NEW BEST:: SOT 182745 SOS 122792 HAS SOPS 122632 HAS SOUS 10432 HAS SOUPS 10427 WITH SCORE 10549.792
AT ITER 9741 NEW BEST:: SOT 182745 SOS 122790 HAS SOPS 122630 HAS SOUS 10432 HAS SOUPS 10427 WITH SCORE 10549.79
AT ITER 9948 NEW BEST:: SOT 182745 SOS 122784 HAS SOPS 122624 HAS SOUS 10432 HAS SOUPS 10427 WITH SCORE 10549.784

BK_TIME_CONFINEMENT_REACHED

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

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-V20P20N50"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is BridgeAndVehicles-PT-V20P20N50, 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 r018-oct2-158897679900352"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V20P20N50.tgz
mv BridgeAndVehicles-PT-V20P20N50 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 ;