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-158897679900376.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-V50P20N50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679900376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.5M
-rw-r--r-- 1 mcc users 8.9K Mar 26 02:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Mar 26 02:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 190K Mar 25 21:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 531K Mar 25 21:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 13K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 49K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 134K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 405K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K Mar 25 17:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 25 17:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 540K Mar 25 13:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.6M Mar 25 13:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.6K Mar 25 17:55 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 6.0M 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 1589016150162

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

Filename model.pnml
Petri model created: 168 places, 5408 transitions, 42330 arcs.
AT ITER 0 NEW BEST:: SOT 608712 SOS 595116 HAS SOPS 589566 HAS SOUS 42291 HAS SOUPS 42233 WITH SCORE 42828.116
AT ITER 17 NEW BEST:: SOT 612120 SOS 598524 HAS SOPS 592974 HAS SOUS 41158 HAS SOUPS 41100 WITH SCORE 41698.524
AT ITER 25 NEW BEST:: SOT 612120 SOS 598524 HAS SOPS 592974 HAS SOUS 36158 HAS SOUPS 36100 WITH SCORE 36698.524
AT ITER 69 NEW BEST:: SOT 612120 SOS 598525 HAS SOPS 593075 HAS SOUS 36153 HAS SOUPS 36097 WITH SCORE 36695.525
AT ITER 97 NEW BEST:: SOT 612119 SOS 598524 HAS SOPS 593074 HAS SOUS 36150 HAS SOUPS 36094 WITH SCORE 36692.524
AT ITER 144 NEW BEST:: SOT 612119 SOS 598524 HAS SOPS 593074 HAS SOUS 32170 HAS SOUPS 32114 WITH SCORE 32712.524
AT ITER 178 NEW BEST:: SOT 612119 SOS 598524 HAS SOPS 593074 HAS SOUS 32148 HAS SOUPS 32092 WITH SCORE 32690.524
AT ITER 278 NEW BEST:: SOT 612119 SOS 598522 HAS SOPS 593072 HAS SOUS 32147 HAS SOUPS 32091 WITH SCORE 32689.522
AT ITER 279 NEW BEST:: SOT 613451 SOS 599854 HAS SOPS 594404 HAS SOUS 29193 HAS SOUPS 29137 WITH SCORE 29736.854
AT ITER 367 NEW BEST:: SOT 613450 SOS 599853 HAS SOPS 594403 HAS SOUS 29190 HAS SOUPS 29134 WITH SCORE 29733.853
AT ITER 393 NEW BEST:: SOT 613449 SOS 599852 HAS SOPS 594402 HAS SOUS 29187 HAS SOUPS 29131 WITH SCORE 29730.852
AT ITER 442 NEW BEST:: SOT 613380 SOS 599783 HAS SOPS 594333 HAS SOUS 29056 HAS SOUPS 29000 WITH SCORE 29599.783
AT ITER 446 NEW BEST:: SOT 613365 SOS 599768 HAS SOPS 594318 HAS SOUS 29017 HAS SOUPS 28961 WITH SCORE 29560.768
AT ITER 490 NEW BEST:: SOT 613365 SOS 589866 HAS SOPS 584616 HAS SOUS 29014 HAS SOUPS 28960 WITH SCORE 29549.866
AT ITER 507 NEW BEST:: SOT 613364 SOS 589865 HAS SOPS 584615 HAS SOUS 29011 HAS SOUPS 28957 WITH SCORE 29546.865
AT ITER 530 NEW BEST:: SOT 613303 SOS 589804 HAS SOPS 584554 HAS SOUS 28860 HAS SOUPS 28806 WITH SCORE 29395.804
AT ITER 541 NEW BEST:: SOT 613300 SOS 589801 HAS SOPS 584551 HAS SOUS 28851 HAS SOUPS 28797 WITH SCORE 29386.801
AT ITER 634 NEW BEST:: SOT 613292 SOS 589793 HAS SOPS 584543 HAS SOUS 28827 HAS SOUPS 28773 WITH SCORE 29362.793
AT ITER 637 NEW BEST:: SOT 614028 SOS 590529 HAS SOPS 585279 HAS SOUS 28715 HAS SOUPS 28661 WITH SCORE 29251.529
AT ITER 696 NEW BEST:: SOT 614028 SOS 493977 HAS SOPS 491527 HAS SOUS 28659 HAS SOUPS 28633 WITH SCORE 29126.977
AT ITER 697 NEW BEST:: SOT 614027 SOS 493976 HAS SOPS 491526 HAS SOUS 28656 HAS SOUPS 28630 WITH SCORE 29123.976
AT ITER 702 NEW BEST:: SOT 614029 SOS 493978 HAS SOPS 491528 HAS SOUS 28552 HAS SOUPS 28526 WITH SCORE 29019.978
AT ITER 730 NEW BEST:: SOT 614028 SOS 493977 HAS SOPS 491527 HAS SOUS 28549 HAS SOUPS 28523 WITH SCORE 29016.977
AT ITER 737 NEW BEST:: SOT 613989 SOS 493938 HAS SOPS 491488 HAS SOUS 28432 HAS SOUPS 28406 WITH SCORE 28899.938
AT ITER 831 NEW BEST:: SOT 613987 SOS 493936 HAS SOPS 491486 HAS SOUS 28426 HAS SOUPS 28400 WITH SCORE 28893.936
AT ITER 912 NEW BEST:: SOT 613986 SOS 493935 HAS SOPS 491485 HAS SOUS 28423 HAS SOUPS 28397 WITH SCORE 28890.935
AT ITER 919 NEW BEST:: SOT 613668 SOS 493617 HAS SOPS 491167 HAS SOUS 28411 HAS SOUPS 28385 WITH SCORE 28878.617
AT ITER 924 NEW BEST:: SOT 612743 SOS 493000 HAS SOPS 490550 HAS SOUS 27750 HAS SOUPS 27724 WITH SCORE 28217.0
AT ITER 928 NEW BEST:: SOT 612747 SOS 493004 HAS SOPS 490554 HAS SOUS 27593 HAS SOUPS 27567 WITH SCORE 28060.004
AT ITER 958 NEW BEST:: SOT 613096 SOS 493353 HAS SOPS 490903 HAS SOUS 27410 HAS SOUPS 27384 WITH SCORE 27877.353
AT ITER 988 NEW BEST:: SOT 613096 SOS 493606 HAS SOPS 491156 HAS SOUS 27409 HAS SOUPS 27383 WITH SCORE 27876.606
AT ITER 1119 NEW BEST:: SOT 613095 SOS 493605 HAS SOPS 491155 HAS SOUS 27406 HAS SOUPS 27380 WITH SCORE 27873.605
AT ITER 1126 NEW BEST:: SOT 613094 SOS 493604 HAS SOPS 491154 HAS SOUS 27403 HAS SOUPS 27377 WITH SCORE 27870.604
AT ITER 1130 NEW BEST:: SOT 613093 SOS 493603 HAS SOPS 491153 HAS SOUS 27400 HAS SOUPS 27374 WITH SCORE 27867.603
AT ITER 1137 NEW BEST:: SOT 613093 SOS 493603 HAS SOPS 491153 HAS SOUS 27298 HAS SOUPS 27272 WITH SCORE 27765.603
AT ITER 1173 NEW BEST:: SOT 613082 SOS 493592 HAS SOPS 491142 HAS SOUS 27265 HAS SOUPS 27239 WITH SCORE 27732.592
AT ITER 1202 NEW BEST:: SOT 613081 SOS 493591 HAS SOPS 491141 HAS SOUS 27262 HAS SOUPS 27236 WITH SCORE 27729.591
AT ITER 1204 NEW BEST:: SOT 613074 SOS 493584 HAS SOPS 491134 HAS SOUS 27241 HAS SOUPS 27215 WITH SCORE 27708.584
AT ITER 1207 NEW BEST:: SOT 613074 SOS 494398 HAS SOPS 491948 HAS SOUS 27240 HAS SOUPS 27214 WITH SCORE 27708.398
AT ITER 1211 NEW BEST:: SOT 613074 SOS 494651 HAS SOPS 492201 HAS SOUS 27239 HAS SOUPS 27213 WITH SCORE 27707.651
AT ITER 1271 NEW BEST:: SOT 612886 SOS 494512 HAS SOPS 491962 HAS SOUS 27051 HAS SOUPS 27023 WITH SCORE 27517.512
AT ITER 1297 NEW BEST:: SOT 612882 SOS 494508 HAS SOPS 491958 HAS SOUS 27039 HAS SOUPS 27011 WITH SCORE 27505.508
AT ITER 1304 NEW BEST:: SOT 612882 SOS 494504 HAS SOPS 491954 HAS SOUS 27037 HAS SOUPS 27009 WITH SCORE 27503.504
AT ITER 1346 NEW BEST:: SOT 612882 SOS 494557 HAS SOPS 492007 HAS SOUS 27034 HAS SOUPS 27006 WITH SCORE 27500.557
AT ITER 1381 NEW BEST:: SOT 612882 SOS 494607 HAS SOPS 492057 HAS SOUS 26982 HAS SOUPS 26955 WITH SCORE 27449.607
AT ITER 1422 NEW BEST:: SOT 612882 SOS 494605 HAS SOPS 492055 HAS SOUS 26981 HAS SOUPS 26954 WITH SCORE 27448.605
AT ITER 1532 NEW BEST:: SOT 612878 SOS 494601 HAS SOPS 492051 HAS SOUS 26969 HAS SOUPS 26942 WITH SCORE 27436.601
AT ITER 1548 NEW BEST:: SOT 612878 SOS 494599 HAS SOPS 492049 HAS SOUS 26969 HAS SOUPS 26942 WITH SCORE 27436.599
AT ITER 1588 NEW BEST:: SOT 612876 SOS 494597 HAS SOPS 492047 HAS SOUS 26963 HAS SOUPS 26936 WITH SCORE 27430.597
AT ITER 1620 NEW BEST:: SOT 612876 SOS 494127 HAS SOPS 491577 HAS SOUS 26942 HAS SOUPS 26915 WITH SCORE 27409.127
AT ITER 1656 NEW BEST:: SOT 612875 SOS 494126 HAS SOPS 491576 HAS SOUS 26939 HAS SOUPS 26912 WITH SCORE 27406.126
AT ITER 1707 NEW BEST:: SOT 612861 SOS 494112 HAS SOPS 491562 HAS SOUS 26897 HAS SOUPS 26870 WITH SCORE 27364.112
AT ITER 1723 NEW BEST:: SOT 612860 SOS 494111 HAS SOPS 491561 HAS SOUS 26894 HAS SOUPS 26867 WITH SCORE 27361.111
AT ITER 1762 NEW BEST:: SOT 612859 SOS 494110 HAS SOPS 491560 HAS SOUS 26891 HAS SOUPS 26864 WITH SCORE 27358.11
AT ITER 1773 NEW BEST:: SOT 612859 SOS 494108 HAS SOPS 491558 HAS SOUS 26891 HAS SOUPS 26864 WITH SCORE 27358.108
AT ITER 1811 NEW BEST:: SOT 612858 SOS 494107 HAS SOPS 491557 HAS SOUS 26888 HAS SOUPS 26861 WITH SCORE 27355.107
AT ITER 1818 NEW BEST:: SOT 612857 SOS 494106 HAS SOPS 491556 HAS SOUS 26885 HAS SOUPS 26858 WITH SCORE 27352.106
AT ITER 1938 NEW BEST:: SOT 612857 SOS 494146 HAS SOPS 491596 HAS SOUS 26876 HAS SOUPS 26849 WITH SCORE 27343.146
AT ITER 1989 NEW BEST:: SOT 612856 SOS 494145 HAS SOPS 491595 HAS SOUS 26873 HAS SOUPS 26846 WITH SCORE 27340.145
AT ITER 2018 NEW BEST:: SOT 612856 SOS 494143 HAS SOPS 491593 HAS SOUS 26872 HAS SOUPS 26845 WITH SCORE 27339.143
AT ITER 2025 NEW BEST:: SOT 612856 SOS 494133 HAS SOPS 491583 HAS SOUS 26872 HAS SOUPS 26845 WITH SCORE 27339.133
AT ITER 2035 NEW BEST:: SOT 612851 SOS 494128 HAS SOPS 491678 HAS SOUS 26853 HAS SOUPS 26828 WITH SCORE 27322.128
AT ITER 2054 NEW BEST:: SOT 612849 SOS 494126 HAS SOPS 491676 HAS SOUS 26847 HAS SOUPS 26822 WITH SCORE 27316.126
AT ITER 2117 NEW BEST:: SOT 612849 SOS 494122 HAS SOPS 491672 HAS SOUS 26845 HAS SOUPS 26820 WITH SCORE 27314.122
AT ITER 2216 NEW BEST:: SOT 612849 SOS 494120 HAS SOPS 491670 HAS SOUS 26845 HAS SOUPS 26820 WITH SCORE 27314.12
AT ITER 2261 NEW BEST:: SOT 612845 SOS 494116 HAS SOPS 491666 HAS SOUS 26833 HAS SOUPS 26808 WITH SCORE 27302.116
AT ITER 2266 NEW BEST:: SOT 612843 SOS 494114 HAS SOPS 491664 HAS SOUS 26829 HAS SOUPS 26804 WITH SCORE 27298.114
AT ITER 2270 NEW BEST:: SOT 612842 SOS 494113 HAS SOPS 491663 HAS SOUS 26826 HAS SOUPS 26801 WITH SCORE 27295.113
AT ITER 2299 NEW BEST:: SOT 612842 SOS 494111 HAS SOPS 491661 HAS SOUS 26826 HAS SOUPS 26801 WITH SCORE 27295.111
AT ITER 2399 NEW BEST:: SOT 612842 SOS 493905 HAS SOPS 491455 HAS SOUS 26822 HAS SOUPS 26797 WITH SCORE 27290.905
AT ITER 2404 NEW BEST:: SOT 612841 SOS 493904 HAS SOPS 491454 HAS SOUS 26819 HAS SOUPS 26794 WITH SCORE 27287.904
AT ITER 2439 NEW BEST:: SOT 612841 SOS 493902 HAS SOPS 491452 HAS SOUS 26819 HAS SOUPS 26794 WITH SCORE 27287.902
AT ITER 2475 NEW BEST:: SOT 612840 SOS 493901 HAS SOPS 491451 HAS SOUS 26816 HAS SOUPS 26791 WITH SCORE 27284.901
AT ITER 2514 NEW BEST:: SOT 612840 SOS 493897 HAS SOPS 491447 HAS SOUS 26816 HAS SOUPS 26791 WITH SCORE 27284.897
AT ITER 2544 NEW BEST:: SOT 612840 SOS 493895 HAS SOPS 491445 HAS SOUS 26815 HAS SOUPS 26790 WITH SCORE 27283.895
AT ITER 2559 NEW BEST:: SOT 612839 SOS 493894 HAS SOPS 491444 HAS SOUS 26812 HAS SOUPS 26787 WITH SCORE 27280.894
AT ITER 2633 NEW BEST:: SOT 612839 SOS 492511 HAS SOPS 490061 HAS SOUS 26785 HAS SOUPS 26760 WITH SCORE 27252.511
AT ITER 2657 NEW BEST:: SOT 612838 SOS 492510 HAS SOPS 490060 HAS SOUS 26782 HAS SOUPS 26757 WITH SCORE 27249.51
AT ITER 2689 NEW BEST:: SOT 612838 SOS 492508 HAS SOPS 490058 HAS SOUS 26781 HAS SOUPS 26756 WITH SCORE 27248.508
AT ITER 2745 NEW BEST:: SOT 612838 SOS 492506 HAS SOPS 490056 HAS SOUS 26781 HAS SOUPS 26756 WITH SCORE 27248.506
AT ITER 2919 NEW BEST:: SOT 612828 SOS 492496 HAS SOPS 490046 HAS SOUS 26751 HAS SOUPS 26726 WITH SCORE 27218.496
AT ITER 2934 NEW BEST:: SOT 612828 SOS 492494 HAS SOPS 490044 HAS SOUS 26751 HAS SOUPS 26726 WITH SCORE 27218.494
AT ITER 2971 NEW BEST:: SOT 612851 SOS 492371 HAS SOPS 489921 HAS SOUS 26734 HAS SOUPS 26709 WITH SCORE 27201.371
AT ITER 2985 NEW BEST:: SOT 612849 SOS 492369 HAS SOPS 489919 HAS SOUS 26728 HAS SOUPS 26703 WITH SCORE 27195.369
AT ITER 2992 NEW BEST:: SOT 612849 SOS 492365 HAS SOPS 489915 HAS SOUS 26726 HAS SOUPS 26701 WITH SCORE 27193.365
AT ITER 2997 NEW BEST:: SOT 612848 SOS 492364 HAS SOPS 489914 HAS SOUS 26723 HAS SOUPS 26698 WITH SCORE 27190.364
AT ITER 3022 NEW BEST:: SOT 612846 SOS 492362 HAS SOPS 489912 HAS SOUS 26717 HAS SOUPS 26692 WITH SCORE 27184.362
AT ITER 3035 NEW BEST:: SOT 612845 SOS 492361 HAS SOPS 489911 HAS SOUS 26714 HAS SOUPS 26689 WITH SCORE 27181.361
AT ITER 3109 NEW BEST:: SOT 612845 SOS 492377 HAS SOPS 489927 HAS SOUS 26713 HAS SOUPS 26688 WITH SCORE 27180.377
AT ITER 3126 NEW BEST:: SOT 612845 SOS 492375 HAS SOPS 489925 HAS SOUS 26713 HAS SOUPS 26688 WITH SCORE 27180.375
AT ITER 3244 NEW BEST:: SOT 612842 SOS 492372 HAS SOPS 489922 HAS SOUS 26704 HAS SOUPS 26679 WITH SCORE 27171.372
AT ITER 3481 NEW BEST:: SOT 612842 SOS 492366 HAS SOPS 489916 HAS SOUS 26704 HAS SOUPS 26679 WITH SCORE 27171.366
AT ITER 3492 NEW BEST:: SOT 612842 SOS 475274 HAS SOPS 473724 HAS SOUS 26665 HAS SOUPS 26649 WITH SCORE 27124.274
AT ITER 3572 NEW BEST:: SOT 612842 SOS 475272 HAS SOPS 473722 HAS SOUS 26665 HAS SOUPS 26649 WITH SCORE 27124.272
AT ITER 3600 NEW BEST:: SOT 612842 SOS 475270 HAS SOPS 473720 HAS SOUS 26665 HAS SOUPS 26649 WITH SCORE 27124.27
AT ITER 3681 NEW BEST:: SOT 612841 SOS 475269 HAS SOPS 473719 HAS SOUS 26662 HAS SOUPS 26646 WITH SCORE 27121.269
AT ITER 3683 NEW BEST:: SOT 612841 SOS 475263 HAS SOPS 473713 HAS SOUS 26662 HAS SOUPS 26646 WITH SCORE 27121.263
AT ITER 3796 NEW BEST:: SOT 613557 SOS 475979 HAS SOPS 474429 HAS SOUS 26633 HAS SOUPS 26617 WITH SCORE 27092.979
AT ITER 3814 NEW BEST:: SOT 613556 SOS 475978 HAS SOPS 474428 HAS SOUS 26630 HAS SOUPS 26614 WITH SCORE 27089.978
AT ITER 3847 NEW BEST:: SOT 613556 SOS 475976 HAS SOPS 474426 HAS SOUS 26630 HAS SOUPS 26614 WITH SCORE 27089.976
AT ITER 3851 NEW BEST:: SOT 613556 SOS 475950 HAS SOPS 474400 HAS SOUS 26630 HAS SOUPS 26614 WITH SCORE 27089.95
AT ITER 3854 NEW BEST:: SOT 613555 SOS 475949 HAS SOPS 474399 HAS SOUS 26627 HAS SOUPS 26611 WITH SCORE 27086.949
AT ITER 3971 NEW BEST:: SOT 613510 SOS 475904 HAS SOPS 474354 HAS SOUS 26582 HAS SOUPS 26566 WITH SCORE 27041.904
AT ITER 3985 NEW BEST:: SOT 613510 SOS 475896 HAS SOPS 474346 HAS SOUS 26582 HAS SOUPS 26566 WITH SCORE 27041.896
AT ITER 4031 NEW BEST:: SOT 613506 SOS 475892 HAS SOPS 474342 HAS SOUS 26570 HAS SOUPS 26554 WITH SCORE 27029.892
AT ITER 4038 NEW BEST:: SOT 613505 SOS 475891 HAS SOPS 474341 HAS SOUS 26567 HAS SOUPS 26551 WITH SCORE 27026.891
AT ITER 4044 NEW BEST:: SOT 613505 SOS 475881 HAS SOPS 474331 HAS SOUS 26567 HAS SOUPS 26551 WITH SCORE 27026.881
AT ITER 4083 NEW BEST:: SOT 613505 SOS 475875 HAS SOPS 474325 HAS SOUS 26567 HAS SOUPS 26551 WITH SCORE 27026.875
AT ITER 4172 NEW BEST:: SOT 613505 SOS 475869 HAS SOPS 474319 HAS SOUS 26567 HAS SOUPS 26551 WITH SCORE 27026.869
AT ITER 4193 NEW BEST:: SOT 617014 SOS 479520 HAS SOPS 477970 HAS SOUS 26497 HAS SOUPS 26481 WITH SCORE 26960.52
AT ITER 4198 NEW BEST:: SOT 620444 SOS 482972 HAS SOPS 481422 HAS SOUS 25197 HAS SOUPS 25181 WITH SCORE 25663.972
AT ITER 4259 NEW BEST:: SOT 620620 SOS 483148 HAS SOPS 481598 HAS SOUS 24963 HAS SOUPS 24947 WITH SCORE 25430.148
AT ITER 4262 NEW BEST:: SOT 621675 SOS 484204 HAS SOPS 482654 HAS SOUS 23057 HAS SOUPS 23041 WITH SCORE 23525.204
AT ITER 4314 NEW BEST:: SOT 621695 SOS 483206 HAS SOPS 481656 HAS SOUS 23033 HAS SOUPS 23017 WITH SCORE 23500.206
AT ITER 4333 NEW BEST:: SOT 621677 SOS 483188 HAS SOPS 481638 HAS SOUS 22979 HAS SOUPS 22963 WITH SCORE 23446.188
AT ITER 4339 NEW BEST:: SOT 621677 SOS 483182 HAS SOPS 481632 HAS SOUS 22979 HAS SOUPS 22963 WITH SCORE 23446.182
AT ITER 4375 NEW BEST:: SOT 621677 SOS 483180 HAS SOPS 481630 HAS SOUS 22978 HAS SOUPS 22962 WITH SCORE 23445.18
AT ITER 4409 NEW BEST:: SOT 621677 SOS 483178 HAS SOPS 481628 HAS SOUS 22978 HAS SOUPS 22962 WITH SCORE 23445.178
AT ITER 4442 NEW BEST:: SOT 621677 SOS 483168 HAS SOPS 481618 HAS SOUS 22973 HAS SOUPS 22957 WITH SCORE 23440.168
AT ITER 4463 NEW BEST:: SOT 621677 SOS 483156 HAS SOPS 481606 HAS SOUS 22973 HAS SOUPS 22957 WITH SCORE 23440.156
AT ITER 4511 NEW BEST:: SOT 621669 SOS 483148 HAS SOPS 481598 HAS SOUS 22759 HAS SOUPS 22743 WITH SCORE 23226.148
AT ITER 4550 NEW BEST:: SOT 622708 SOS 484207 HAS SOPS 482657 HAS SOUS 22756 HAS SOUPS 22740 WITH SCORE 23224.207
AT ITER 4554 NEW BEST:: SOT 622706 SOS 484205 HAS SOPS 482655 HAS SOUS 22752 HAS SOUPS 22736 WITH SCORE 23220.205
AT ITER 4610 NEW BEST:: SOT 622696 SOS 484188 HAS SOPS 482638 HAS SOUS 22738 HAS SOUPS 22722 WITH SCORE 23206.188
AT ITER 4612 NEW BEST:: SOT 622696 SOS 484184 HAS SOPS 482634 HAS SOUS 22736 HAS SOUPS 22720 WITH SCORE 23204.184
AT ITER 4776 NEW BEST:: SOT 622682 SOS 484170 HAS SOPS 482620 HAS SOUS 22708 HAS SOUPS 22692 WITH SCORE 23176.17
AT ITER 4826 NEW BEST:: SOT 622680 SOS 484168 HAS SOPS 482618 HAS SOUS 22704 HAS SOUPS 22688 WITH SCORE 23172.168
AT ITER 4835 NEW BEST:: SOT 622656 SOS 484144 HAS SOPS 482594 HAS SOUS 22656 HAS SOUPS 22640 WITH SCORE 23124.144
AT ITER 4858 NEW BEST:: SOT 622644 SOS 484132 HAS SOPS 482582 HAS SOUS 22632 HAS SOUPS 22616 WITH SCORE 23100.132
AT ITER 4886 NEW BEST:: SOT 622636 SOS 484124 HAS SOPS 482574 HAS SOUS 22622 HAS SOUPS 22606 WITH SCORE 23090.124
AT ITER 4891 NEW BEST:: SOT 623358 SOS 484846 HAS SOPS 483296 HAS SOUS 22282 HAS SOUPS 22266 WITH SCORE 22750.846
AT ITER 4901 NEW BEST:: SOT 623354 SOS 484842 HAS SOPS 483292 HAS SOUS 22274 HAS SOUPS 22258 WITH SCORE 22742.842
AT ITER 4915 NEW BEST:: SOT 623354 SOS 484790 HAS SOPS 483240 HAS SOUS 22273 HAS SOUPS 22257 WITH SCORE 22741.79
AT ITER 4935 NEW BEST:: SOT 623326 SOS 484762 HAS SOPS 483212 HAS SOUS 22217 HAS SOUPS 22201 WITH SCORE 22685.762
AT ITER 4938 NEW BEST:: SOT 623312 SOS 484748 HAS SOPS 483198 HAS SOUS 22189 HAS SOUPS 22173 WITH SCORE 22657.748
AT ITER 4955 NEW BEST:: SOT 623278 SOS 484714 HAS SOPS 483164 HAS SOUS 22121 HAS SOUPS 22105 WITH SCORE 22589.714
AT ITER 4973 NEW BEST:: SOT 623270 SOS 484706 HAS SOPS 483156 HAS SOUS 22105 HAS SOUPS 22089 WITH SCORE 22573.706
AT ITER 5011 NEW BEST:: SOT 623270 SOS 479302 HAS SOPS 478152 HAS SOUS 22089 HAS SOUPS 22077 WITH SCORE 22556.302
AT ITER 5052 NEW BEST:: SOT 623250 SOS 479282 HAS SOPS 478132 HAS SOUS 22049 HAS SOUPS 22037 WITH SCORE 22516.282
AT ITER 5068 NEW BEST:: SOT 623250 SOS 479278 HAS SOPS 478128 HAS SOUS 22049 HAS SOUPS 22037 WITH SCORE 22516.278
AT ITER 5086 NEW BEST:: SOT 627306 SOS 483334 HAS SOPS 482184 HAS SOUS 21973 HAS SOUPS 21961 WITH SCORE 22444.334
AT ITER 5120 NEW BEST:: SOT 627794 SOS 483839 HAS SOPS 482689 HAS SOUS 21940 HAS SOUPS 21928 WITH SCORE 22411.839
AT ITER 5139 NEW BEST:: SOT 627814 SOS 481998 HAS SOPS 480789 HAS SOUS 21960 HAS SOUPS 21918 WITH SCORE 22399.998
AT ITER 5173 NEW BEST:: SOT 627814 SOS 481992 HAS SOPS 480783 HAS SOUS 21960 HAS SOUPS 21918 WITH SCORE 22399.992
AT ITER 5187 NEW BEST:: SOT 627814 SOS 481988 HAS SOPS 480779 HAS SOUS 21960 HAS SOUPS 21918 WITH SCORE 22399.988
AT ITER 5240 NEW BEST:: SOT 627814 SOS 481984 HAS SOPS 480775 HAS SOUS 21960 HAS SOUPS 21918 WITH SCORE 22399.984
AT ITER 5252 NEW BEST:: SOT 627882 SOS 479488 HAS SOPS 478279 HAS SOUS 21943 HAS SOUPS 21901 WITH SCORE 22380.488
AT ITER 5260 NEW BEST:: SOT 627876 SOS 479482 HAS SOPS 478273 HAS SOUS 21931 HAS SOUPS 21889 WITH SCORE 22368.482
AT ITER 5288 NEW BEST:: SOT 627872 SOS 479478 HAS SOPS 478269 HAS SOUS 21923 HAS SOUPS 21881 WITH SCORE 22360.478
AT ITER 5331 NEW BEST:: SOT 627872 SOS 479470 HAS SOPS 478261 HAS SOUS 21923 HAS SOUPS 21881 WITH SCORE 22360.47
AT ITER 5347 NEW BEST:: SOT 627870 SOS 479468 HAS SOPS 478259 HAS SOUS 21919 HAS SOUPS 21877 WITH SCORE 22356.468
AT ITER 5419 NEW BEST:: SOT 627866 SOS 479464 HAS SOPS 478255 HAS SOUS 21909 HAS SOUPS 21867 WITH SCORE 22346.464
AT ITER 5478 NEW BEST:: SOT 627866 SOS 479462 HAS SOPS 478253 HAS SOUS 21909 HAS SOUPS 21867 WITH SCORE 22346.462
AT ITER 5493 NEW BEST:: SOT 627860 SOS 479456 HAS SOPS 478247 HAS SOUS 21897 HAS SOUPS 21855 WITH SCORE 22334.456
AT ITER 5506 NEW BEST:: SOT 627860 SOS 477703 HAS SOPS 476456 HAS SOUS 21899 HAS SOUPS 21838 WITH SCORE 22315.703
AT ITER 5515 NEW BEST:: SOT 627860 SOS 477693 HAS SOPS 476446 HAS SOUS 21899 HAS SOUPS 21838 WITH SCORE 22315.693
AT ITER 5582 NEW BEST:: SOT 627860 SOS 477687 HAS SOPS 476440 HAS SOUS 21899 HAS SOUPS 21838 WITH SCORE 22315.687
AT ITER 5593 NEW BEST:: SOT 627959 SOS 476172 HAS SOPS 474925 HAS SOUS 21886 HAS SOUPS 21825 WITH SCORE 22301.172
AT ITER 5691 NEW BEST:: SOT 627957 SOS 476170 HAS SOPS 474923 HAS SOUS 21882 HAS SOUPS 21821 WITH SCORE 22297.17
AT ITER 5723 NEW BEST:: SOT 627957 SOS 475554 HAS SOPS 474307 HAS SOUS 21876 HAS SOUPS 21815 WITH SCORE 22290.554
AT ITER 6009 NEW BEST:: SOT 627957 SOS 468654 HAS SOPS 468007 HAS SOUS 21846 HAS SOUPS 21791 WITH SCORE 22259.654
AT ITER 6014 NEW BEST:: SOT 627954 SOS 468653 HAS SOPS 468006 HAS SOUS 21843 HAS SOUPS 21788 WITH SCORE 22256.653
AT ITER 6041 NEW BEST:: SOT 627952 SOS 468651 HAS SOPS 468004 HAS SOUS 21841 HAS SOUPS 21786 WITH SCORE 22254.651
AT ITER 6125 NEW BEST:: SOT 627952 SOS 468649 HAS SOPS 468002 HAS SOUS 21841 HAS SOUPS 21786 WITH SCORE 22254.649
AT ITER 6184 NEW BEST:: SOT 627944 SOS 468641 HAS SOPS 467994 HAS SOUS 21825 HAS SOUPS 21770 WITH SCORE 22238.641
AT ITER 6233 NEW BEST:: SOT 627944 SOS 468637 HAS SOPS 467990 HAS SOUS 21825 HAS SOUPS 21770 WITH SCORE 22238.637
AT ITER 6247 NEW BEST:: SOT 627944 SOS 468613 HAS SOPS 467966 HAS SOUS 21825 HAS SOUPS 21770 WITH SCORE 22238.613
AT ITER 6250 NEW BEST:: SOT 627938 SOS 468607 HAS SOPS 467960 HAS SOUS 21813 HAS SOUPS 21758 WITH SCORE 22226.607
AT ITER 6274 NEW BEST:: SOT 627928 SOS 468586 HAS SOPS 467939 HAS SOUS 21784 HAS SOUPS 21729 WITH SCORE 22197.586
AT ITER 6275 NEW BEST:: SOT 627924 SOS 468582 HAS SOPS 467935 HAS SOUS 21778 HAS SOUPS 21723 WITH SCORE 22191.582
AT ITER 6286 NEW BEST:: SOT 627918 SOS 468576 HAS SOPS 467929 HAS SOUS 21766 HAS SOUPS 21711 WITH SCORE 22179.576
AT ITER 6297 NEW BEST:: SOT 628130 SOS 468788 HAS SOPS 468141 HAS SOUS 21751 HAS SOUPS 21696 WITH SCORE 22164.788
AT ITER 6374 NEW BEST:: SOT 628128 SOS 468786 HAS SOPS 468139 HAS SOUS 21747 HAS SOUPS 21692 WITH SCORE 22160.786
AT ITER 6395 NEW BEST:: SOT 628126 SOS 468784 HAS SOPS 468137 HAS SOUS 21743 HAS SOUPS 21688 WITH SCORE 22156.784
AT ITER 6401 NEW BEST:: SOT 628397 SOS 469055 HAS SOPS 468408 HAS SOUS 21732 HAS SOUPS 21677 WITH SCORE 22146.055
AT ITER 6467 NEW BEST:: SOT 628344 SOS 469002 HAS SOPS 468355 HAS SOUS 21677 HAS SOUPS 21622 WITH SCORE 22091.002
AT ITER 6569 NEW BEST:: SOT 628270 SOS 468626 HAS SOPS 467979 HAS SOUS 21609 HAS SOUPS 21554 WITH SCORE 22022.626
AT ITER 6572 NEW BEST:: SOT 628270 SOS 468578 HAS SOPS 467927 HAS SOUS 21611 HAS SOUPS 21554 WITH SCORE 22022.578
AT ITER 6592 NEW BEST:: SOT 628217 SOS 468525 HAS SOPS 467874 HAS SOUS 21611 HAS SOUPS 21554 WITH SCORE 22022.525
AT ITER 6605 NEW BEST:: SOT 628217 SOS 468521 HAS SOPS 467870 HAS SOUS 21611 HAS SOUPS 21554 WITH SCORE 22022.521
AT ITER 6688 NEW BEST:: SOT 628207 SOS 468511 HAS SOPS 467860 HAS SOUS 21591 HAS SOUPS 21534 WITH SCORE 22002.511
AT ITER 6796 NEW BEST:: SOT 628193 SOS 468497 HAS SOPS 467846 HAS SOUS 21563 HAS SOUPS 21506 WITH SCORE 21974.497
AT ITER 6971 NEW BEST:: SOT 628193 SOS 468495 HAS SOPS 467844 HAS SOUS 21563 HAS SOUPS 21506 WITH SCORE 21974.495
AT ITER 7043 NEW BEST:: SOT 628193 SOS 468493 HAS SOPS 467842 HAS SOUS 21563 HAS SOUPS 21506 WITH SCORE 21974.493
AT ITER 7095 NEW BEST:: SOT 628193 SOS 468491 HAS SOPS 467840 HAS SOUS 21563 HAS SOUPS 21506 WITH SCORE 21974.491
AT ITER 7124 NEW BEST:: SOT 628188 SOS 467980 HAS SOPS 467329 HAS SOUS 21548 HAS SOUPS 21491 WITH SCORE 21958.98
AT ITER 7163 NEW BEST:: SOT 628135 SOS 467927 HAS SOPS 467276 HAS SOUS 21548 HAS SOUPS 21491 WITH SCORE 21958.927
AT ITER 7343 NEW BEST:: SOT 628133 SOS 467925 HAS SOPS 467274 HAS SOUS 21544 HAS SOUPS 21487 WITH SCORE 21954.925
AT ITER 7356 NEW BEST:: SOT 628129 SOS 467921 HAS SOPS 467270 HAS SOUS 21536 HAS SOUPS 21479 WITH SCORE 21946.921
AT ITER 7378 NEW BEST:: SOT 628119 SOS 467911 HAS SOPS 467260 HAS SOUS 21516 HAS SOUPS 21459 WITH SCORE 21926.911
AT ITER 7514 NEW BEST:: SOT 628114 SOS 467338 HAS SOPS 466687 HAS SOUS 21501 HAS SOUPS 21444 WITH SCORE 21911.338
AT ITER 7564 NEW BEST:: SOT 628112 SOS 467336 HAS SOPS 466685 HAS SOUS 21497 HAS SOUPS 21440 WITH SCORE 21907.336
AT ITER 7584 NEW BEST:: SOT 628156 SOS 467380 HAS SOPS 466729 HAS SOUS 21486 HAS SOUPS 21429 WITH SCORE 21896.38
AT ITER 7651 NEW BEST:: SOT 627400 SOS 466624 HAS SOPS 465973 HAS SOUS 21456 HAS SOUPS 21399 WITH SCORE 21865.624
AT ITER 7812 NEW BEST:: SOT 627400 SOS 466024 HAS SOPS 465373 HAS SOUS 21444 HAS SOUPS 21387 WITH SCORE 21853.024
AT ITER 7900 NEW BEST:: SOT 627400 SOS 466020 HAS SOPS 465369 HAS SOUS 21444 HAS SOUPS 21387 WITH SCORE 21853.02
AT ITER 8023 NEW BEST:: SOT 627400 SOS 464692 HAS SOPS 464041 HAS SOUS 21418 HAS SOUPS 21361 WITH SCORE 21825.692
AT ITER 8141 NEW BEST:: SOT 627398 SOS 464690 HAS SOPS 464039 HAS SOUS 21414 HAS SOUPS 21357 WITH SCORE 21821.69
AT ITER 8155 NEW BEST:: SOT 627398 SOS 464688 HAS SOPS 464037 HAS SOUS 21414 HAS SOUPS 21357 WITH SCORE 21821.688
AT ITER 8168 NEW BEST:: SOT 627396 SOS 464686 HAS SOPS 464035 HAS SOUS 21410 HAS SOUPS 21353 WITH SCORE 21817.686
AT ITER 8189 NEW BEST:: SOT 627376 SOS 464666 HAS SOPS 464015 HAS SOUS 21370 HAS SOUPS 21313 WITH SCORE 21777.666
AT ITER 8285 NEW BEST:: SOT 627370 SOS 464660 HAS SOPS 464009 HAS SOUS 21358 HAS SOUPS 21301 WITH SCORE 21765.66
AT ITER 8287 NEW BEST:: SOT 627368 SOS 464658 HAS SOPS 464007 HAS SOUS 21354 HAS SOUPS 21297 WITH SCORE 21761.658
AT ITER 8406 NEW BEST:: SOT 627368 SOS 461062 HAS SOPS 460961 HAS SOUS 21348 HAS SOUPS 21297 WITH SCORE 21758.062
AT ITER 8410 NEW BEST:: SOT 627368 SOS 461052 HAS SOPS 460951 HAS SOUS 21348 HAS SOUPS 21297 WITH SCORE 21758.052
AT ITER 8659 NEW BEST:: SOT 627366 SOS 461050 HAS SOPS 460949 HAS SOUS 21344 HAS SOUPS 21293 WITH SCORE 21754.05
AT ITER 8701 NEW BEST:: SOT 627360 SOS 461044 HAS SOPS 460943 HAS SOUS 21332 HAS SOUPS 21281 WITH SCORE 21742.044
AT ITER 8784 NEW BEST:: SOT 627356 SOS 461040 HAS SOPS 460939 HAS SOUS 21324 HAS SOUPS 21273 WITH SCORE 21734.04
AT ITER 8875 NEW BEST:: SOT 628255 SOS 461939 HAS SOPS 461838 HAS SOUS 21322 HAS SOUPS 21271 WITH SCORE 21732.939
AT ITER 8966 NEW BEST:: SOT 628253 SOS 461937 HAS SOPS 461836 HAS SOUS 21318 HAS SOUPS 21267 WITH SCORE 21728.937
AT ITER 9032 NEW BEST:: SOT 628249 SOS 461933 HAS SOPS 461832 HAS SOUS 21312 HAS SOUPS 21261 WITH SCORE 21722.933
AT ITER 9433 NEW BEST:: SOT 628247 SOS 461931 HAS SOPS 461830 HAS SOUS 21308 HAS SOUPS 21257 WITH SCORE 21718.931
AT ITER 9446 NEW BEST:: SOT 628247 SOS 461929 HAS SOPS 461828 HAS SOUS 21308 HAS SOUPS 21257 WITH SCORE 21718.929
AT ITER 9726 NEW BEST:: SOT 628206 SOS 461888 HAS SOPS 461787 HAS SOUS 21267 HAS SOUPS 21216 WITH SCORE 21677.888
AT ITER 9790 NEW BEST:: SOT 628206 SOS 461886 HAS SOPS 461785 HAS SOUS 21267 HAS SOUPS 21216 WITH SCORE 21677.886

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-V50P20N50"
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-V50P20N50, 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-158897679900376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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