Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961251000784.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 PhaseVariation-PT-D05CS100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961251000784
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 836K
-rw-r--r-- 1 mcc users 4.4K Apr 12 00:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 00:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 10 23:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 10 23:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Apr 10 08:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 08:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Apr 9 13:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 9 13:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 9 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 633K 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 1589648608194

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

Filename model.pnml
Petri model created: 77 places, 677 transitions, 4685 arcs.
AT ITER 0 NEW BEST:: SOT 46635 SOS 33492 HAS SOPS 28721 HAS SOUS 23309 HAS SOUPS 22271 WITH SCORE 22304.492
AT ITER 1 NEW BEST:: SOT 46635 SOS 33485 HAS SOPS 29237 HAS SOUS 22922 HAS SOUPS 21933 WITH SCORE 21966.485
AT ITER 2 NEW BEST:: SOT 46635 SOS 33653 HAS SOPS 29449 HAS SOUS 22549 HAS SOUPS 21529 WITH SCORE 21562.653
AT ITER 3 NEW BEST:: SOT 46635 SOS 33631 HAS SOPS 29371 HAS SOUS 22515 HAS SOUPS 21495 WITH SCORE 21528.631
AT ITER 4 NEW BEST:: SOT 46635 SOS 33490 HAS SOPS 29173 HAS SOUS 22242 HAS SOUPS 21233 WITH SCORE 21266.49
AT ITER 5 NEW BEST:: SOT 46109 SOS 34341 HAS SOPS 31003 HAS SOUS 21404 HAS SOUPS 20898 WITH SCORE 20932.341
AT ITER 6 NEW BEST:: SOT 46358 SOS 34842 HAS SOPS 31286 HAS SOUS 20912 HAS SOUPS 20392 WITH SCORE 20426.842
AT ITER 7 NEW BEST:: SOT 46358 SOS 34848 HAS SOPS 31326 HAS SOUS 20657 HAS SOUPS 20142 WITH SCORE 20176.848
AT ITER 8 NEW BEST:: SOT 46120 SOS 34610 HAS SOPS 31088 HAS SOUS 20548 HAS SOUPS 20033 WITH SCORE 20067.61
AT ITER 9 NEW BEST:: SOT 46120 SOS 34610 HAS SOPS 31088 HAS SOUS 20544 HAS SOUPS 20029 WITH SCORE 20063.61
AT ITER 11 NEW BEST:: SOT 46120 SOS 34610 HAS SOPS 31088 HAS SOUS 20523 HAS SOUPS 20008 WITH SCORE 20042.61
AT ITER 13 NEW BEST:: SOT 46120 SOS 34595 HAS SOPS 31088 HAS SOUS 20331 HAS SOUPS 19820 WITH SCORE 19854.595
AT ITER 14 NEW BEST:: SOT 46120 SOS 34547 HAS SOPS 31128 HAS SOUS 20220 HAS SOUPS 19709 WITH SCORE 19743.547
AT ITER 15 NEW BEST:: SOT 46132 SOS 34569 HAS SOPS 31266 HAS SOUS 20038 HAS SOUPS 19527 WITH SCORE 19561.569
AT ITER 17 NEW BEST:: SOT 46132 SOS 34569 HAS SOPS 31266 HAS SOUS 20036 HAS SOUPS 19525 WITH SCORE 19559.569
AT ITER 21 NEW BEST:: SOT 46132 SOS 34517 HAS SOPS 31248 HAS SOUS 19990 HAS SOUPS 19479 WITH SCORE 19513.517
AT ITER 24 NEW BEST:: SOT 46132 SOS 34546 HAS SOPS 31164 HAS SOUS 19728 HAS SOUPS 19193 WITH SCORE 19227.546
AT ITER 25 NEW BEST:: SOT 46132 SOS 34516 HAS SOPS 31394 HAS SOUS 19552 HAS SOUPS 19033 WITH SCORE 19067.516
AT ITER 26 NEW BEST:: SOT 46132 SOS 34516 HAS SOPS 31394 HAS SOUS 19437 HAS SOUPS 18918 WITH SCORE 18952.516
AT ITER 27 NEW BEST:: SOT 46132 SOS 34566 HAS SOPS 31502 HAS SOUS 19168 HAS SOUPS 18662 WITH SCORE 18696.566
AT ITER 29 NEW BEST:: SOT 46132 SOS 34559 HAS SOPS 31490 HAS SOUS 18903 HAS SOUPS 18398 WITH SCORE 18432.559
AT ITER 31 NEW BEST:: SOT 38183 SOS 27552 HAS SOPS 23481 HAS SOUS 10503 HAS SOUPS 10026 WITH SCORE 10053.552
AT ITER 41 NEW BEST:: SOT 38183 SOS 27355 HAS SOPS 23411 HAS SOUS 10299 HAS SOUPS 9822 WITH SCORE 9849.355
AT ITER 43 NEW BEST:: SOT 38128 SOS 27286 HAS SOPS 23176 HAS SOUS 10292 HAS SOUPS 9811 WITH SCORE 9838.286
AT ITER 45 NEW BEST:: SOT 37342 SOS 31222 HAS SOPS 30550 HAS SOUS 9301 HAS SOUPS 9221 WITH SCORE 9252.222
AT ITER 46 NEW BEST:: SOT 37342 SOS 31216 HAS SOPS 30730 HAS SOUS 9226 HAS SOUPS 9157 WITH SCORE 9188.216
AT ITER 50 NEW BEST:: SOT 37342 SOS 31220 HAS SOPS 30856 HAS SOUS 9181 HAS SOUPS 9119 WITH SCORE 9150.22
AT ITER 51 NEW BEST:: SOT 37649 SOS 31539 HAS SOPS 31271 HAS SOUS 8842 HAS SOUPS 8786 WITH SCORE 8817.539
AT ITER 53 NEW BEST:: SOT 37137 SOS 31027 HAS SOPS 30759 HAS SOUS 8671 HAS SOUPS 8615 WITH SCORE 8646.027
AT ITER 55 NEW BEST:: SOT 36984 SOS 30874 HAS SOPS 30606 HAS SOUS 8530 HAS SOUPS 8474 WITH SCORE 8504.874
AT ITER 61 NEW BEST:: SOT 37142 SOS 31032 HAS SOPS 30764 HAS SOUS 8095 HAS SOUPS 8039 WITH SCORE 8070.032
AT ITER 62 NEW BEST:: SOT 37293 SOS 31183 HAS SOPS 30915 HAS SOUS 8010 HAS SOUPS 7954 WITH SCORE 7985.183
AT ITER 69 NEW BEST:: SOT 37461 SOS 31351 HAS SOPS 31083 HAS SOUS 7860 HAS SOUPS 7804 WITH SCORE 7835.351
AT ITER 71 NEW BEST:: SOT 37515 SOS 31405 HAS SOPS 31137 HAS SOUS 7824 HAS SOUPS 7768 WITH SCORE 7799.405
AT ITER 72 NEW BEST:: SOT 37512 SOS 31381 HAS SOPS 31142 HAS SOUS 7651 HAS SOUPS 7605 WITH SCORE 7636.381
AT ITER 75 NEW BEST:: SOT 37529 SOS 31272 HAS SOPS 31015 HAS SOUS 7641 HAS SOUPS 7595 WITH SCORE 7626.272
AT ITER 77 NEW BEST:: SOT 37395 SOS 31138 HAS SOPS 30881 HAS SOUS 7596 HAS SOUPS 7550 WITH SCORE 7581.138
AT ITER 80 NEW BEST:: SOT 37190 SOS 30933 HAS SOPS 30679 HAS SOUS 7391 HAS SOUPS 7348 WITH SCORE 7378.933
AT ITER 82 NEW BEST:: SOT 37484 SOS 31227 HAS SOPS 30973 HAS SOUS 7367 HAS SOUPS 7324 WITH SCORE 7355.227
AT ITER 83 NEW BEST:: SOT 37484 SOS 31235 HAS SOPS 30973 HAS SOUS 7363 HAS SOUPS 7320 WITH SCORE 7351.235
AT ITER 85 NEW BEST:: SOT 37484 SOS 31203 HAS SOPS 30953 HAS SOUS 7349 HAS SOUPS 7306 WITH SCORE 7337.203
AT ITER 86 NEW BEST:: SOT 37534 SOS 31171 HAS SOPS 30919 HAS SOUS 7328 HAS SOUPS 7285 WITH SCORE 7316.171
AT ITER 90 NEW BEST:: SOT 37534 SOS 31171 HAS SOPS 30919 HAS SOUS 7262 HAS SOUPS 7219 WITH SCORE 7250.171
AT ITER 91 NEW BEST:: SOT 37534 SOS 31171 HAS SOPS 30919 HAS SOUS 7258 HAS SOUPS 7215 WITH SCORE 7246.171
AT ITER 94 NEW BEST:: SOT 37492 SOS 31129 HAS SOPS 30877 HAS SOUS 7254 HAS SOUPS 7211 WITH SCORE 7242.129
AT ITER 96 NEW BEST:: SOT 37580 SOS 31266 HAS SOPS 31045 HAS SOUS 7166 HAS SOUPS 7128 WITH SCORE 7159.266
AT ITER 107 NEW BEST:: SOT 37580 SOS 31291 HAS SOPS 31093 HAS SOUS 7148 HAS SOUPS 7113 WITH SCORE 7144.291
AT ITER 110 NEW BEST:: SOT 37523 SOS 31234 HAS SOPS 31036 HAS SOUS 7083 HAS SOUPS 7048 WITH SCORE 7079.234
AT ITER 111 NEW BEST:: SOT 37523 SOS 31263 HAS SOPS 31180 HAS SOUS 7021 HAS SOUPS 6994 WITH SCORE 7025.263
AT ITER 114 NEW BEST:: SOT 37686 SOS 31426 HAS SOPS 31343 HAS SOUS 6950 HAS SOUPS 6923 WITH SCORE 6954.426
AT ITER 133 NEW BEST:: SOT 37578 SOS 31318 HAS SOPS 31235 HAS SOUS 6933 HAS SOUPS 6906 WITH SCORE 6937.318
AT ITER 139 NEW BEST:: SOT 37074 SOS 30778 HAS SOPS 30533 HAS SOUS 6911 HAS SOUPS 6873 WITH SCORE 6903.778
AT ITER 146 NEW BEST:: SOT 37074 SOS 30778 HAS SOPS 30533 HAS SOUS 6876 HAS SOUPS 6838 WITH SCORE 6868.778
AT ITER 147 NEW BEST:: SOT 37028 SOS 30732 HAS SOPS 30487 HAS SOUS 6804 HAS SOUPS 6766 WITH SCORE 6796.732
AT ITER 148 NEW BEST:: SOT 37007 SOS 30711 HAS SOPS 30466 HAS SOUS 6789 HAS SOUPS 6751 WITH SCORE 6781.711
AT ITER 150 NEW BEST:: SOT 37007 SOS 30687 HAS SOPS 30442 HAS SOUS 6789 HAS SOUPS 6751 WITH SCORE 6781.687
AT ITER 164 NEW BEST:: SOT 37043 SOS 30517 HAS SOPS 30440 HAS SOUS 6637 HAS SOUPS 6610 WITH SCORE 6640.517
AT ITER 166 NEW BEST:: SOT 37035 SOS 30509 HAS SOPS 30432 HAS SOUS 6629 HAS SOUPS 6602 WITH SCORE 6632.509
AT ITER 169 NEW BEST:: SOT 37059 SOS 30533 HAS SOPS 30456 HAS SOUS 6594 HAS SOUPS 6567 WITH SCORE 6597.533
AT ITER 179 NEW BEST:: SOT 37058 SOS 30532 HAS SOPS 30455 HAS SOUS 6538 HAS SOUPS 6511 WITH SCORE 6541.532
AT ITER 187 NEW BEST:: SOT 37219 SOS 30693 HAS SOPS 30616 HAS SOUS 6507 HAS SOUPS 6480 WITH SCORE 6510.693
AT ITER 219 NEW BEST:: SOT 37259 SOS 30733 HAS SOPS 30656 HAS SOUS 6494 HAS SOUPS 6467 WITH SCORE 6497.733
AT ITER 222 NEW BEST:: SOT 37181 SOS 30655 HAS SOPS 30578 HAS SOUS 6430 HAS SOUPS 6403 WITH SCORE 6433.655
AT ITER 227 NEW BEST:: SOT 37181 SOS 30655 HAS SOPS 30578 HAS SOUS 6421 HAS SOUPS 6394 WITH SCORE 6424.655
AT ITER 236 NEW BEST:: SOT 37292 SOS 30766 HAS SOPS 30689 HAS SOUS 6419 HAS SOUPS 6392 WITH SCORE 6422.766
AT ITER 252 NEW BEST:: SOT 37292 SOS 30766 HAS SOPS 30689 HAS SOUS 6416 HAS SOUPS 6389 WITH SCORE 6419.766
AT ITER 254 NEW BEST:: SOT 37292 SOS 30766 HAS SOPS 30689 HAS SOUS 6371 HAS SOUPS 6344 WITH SCORE 6374.766
AT ITER 256 NEW BEST:: SOT 37144 SOS 30592 HAS SOPS 30457 HAS SOUS 6372 HAS SOUPS 6338 WITH SCORE 6368.592
AT ITER 258 NEW BEST:: SOT 37090 SOS 30538 HAS SOPS 30403 HAS SOUS 6366 HAS SOUPS 6332 WITH SCORE 6362.538
AT ITER 277 NEW BEST:: SOT 37096 SOS 30544 HAS SOPS 30409 HAS SOUS 6343 HAS SOUPS 6309 WITH SCORE 6339.544
AT ITER 283 NEW BEST:: SOT 37096 SOS 30654 HAS SOPS 30577 HAS SOUS 6249 HAS SOUPS 6222 WITH SCORE 6252.654
AT ITER 302 NEW BEST:: SOT 37053 SOS 30611 HAS SOPS 30535 HAS SOUS 6199 HAS SOUPS 6173 WITH SCORE 6203.611
AT ITER 318 NEW BEST:: SOT 37005 SOS 30563 HAS SOPS 30487 HAS SOUS 6172 HAS SOUPS 6146 WITH SCORE 6176.563
AT ITER 325 NEW BEST:: SOT 37005 SOS 30479 HAS SOPS 30403 HAS SOUS 6172 HAS SOUPS 6146 WITH SCORE 6176.479
AT ITER 327 NEW BEST:: SOT 37005 SOS 30479 HAS SOPS 30403 HAS SOUS 6161 HAS SOUPS 6135 WITH SCORE 6165.479
AT ITER 339 NEW BEST:: SOT 36991 SOS 30465 HAS SOPS 30389 HAS SOUS 6147 HAS SOUPS 6121 WITH SCORE 6151.465
AT ITER 354 NEW BEST:: SOT 36987 SOS 30461 HAS SOPS 30385 HAS SOUS 6143 HAS SOUPS 6117 WITH SCORE 6147.461
AT ITER 369 NEW BEST:: SOT 36993 SOS 30467 HAS SOPS 30391 HAS SOUS 6135 HAS SOUPS 6109 WITH SCORE 6139.467
AT ITER 373 NEW BEST:: SOT 36522 SOS 30017 HAS SOPS 29902 HAS SOUS 5999 HAS SOUPS 5970 WITH SCORE 6000.017
AT ITER 375 NEW BEST:: SOT 36487 SOS 29982 HAS SOPS 29867 HAS SOUS 5866 HAS SOUPS 5837 WITH SCORE 5866.982
AT ITER 381 NEW BEST:: SOT 36513 SOS 30008 HAS SOPS 29893 HAS SOUS 5861 HAS SOUPS 5832 WITH SCORE 5862.008
AT ITER 384 NEW BEST:: SOT 36348 SOS 29843 HAS SOPS 29728 HAS SOUS 5812 HAS SOUPS 5783 WITH SCORE 5812.843
AT ITER 392 NEW BEST:: SOT 36348 SOS 29855 HAS SOPS 29728 HAS SOUS 5806 HAS SOUPS 5777 WITH SCORE 5806.855
AT ITER 402 NEW BEST:: SOT 36183 SOS 29608 HAS SOPS 29419 HAS SOUS 5779 HAS SOUPS 5740 WITH SCORE 5769.608
AT ITER 420 NEW BEST:: SOT 36183 SOS 29623 HAS SOPS 29473 HAS SOUS 5758 HAS SOUPS 5722 WITH SCORE 5751.623
AT ITER 465 NEW BEST:: SOT 36148 SOS 29588 HAS SOPS 29438 HAS SOUS 5733 HAS SOUPS 5697 WITH SCORE 5726.588
AT ITER 477 NEW BEST:: SOT 35991 SOS 29431 HAS SOPS 29281 HAS SOUS 5706 HAS SOUPS 5670 WITH SCORE 5699.431
AT ITER 485 NEW BEST:: SOT 35795 SOS 34505 HAS SOPS 29109 HAS SOUS 5442 HAS SOUPS 5420 WITH SCORE 5454.505
AT ITER 491 NEW BEST:: SOT 35768 SOS 34478 HAS SOPS 29082 HAS SOUS 5401 HAS SOUPS 5379 WITH SCORE 5413.478
AT ITER 493 NEW BEST:: SOT 35832 SOS 34542 HAS SOPS 29178 HAS SOUS 5360 HAS SOUPS 5340 WITH SCORE 5374.542
AT ITER 500 NEW BEST:: SOT 35796 SOS 34506 HAS SOPS 29142 HAS SOUS 5339 HAS SOUPS 5319 WITH SCORE 5353.506
AT ITER 501 NEW BEST:: SOT 35784 SOS 34494 HAS SOPS 29130 HAS SOUS 5330 HAS SOUPS 5310 WITH SCORE 5344.494
AT ITER 515 NEW BEST:: SOT 35117 SOS 33827 HAS SOPS 28451 HAS SOUS 5286 HAS SOUPS 5264 WITH SCORE 5297.827
AT ITER 530 NEW BEST:: SOT 35122 SOS 33832 HAS SOPS 28480 HAS SOUS 5259 HAS SOUPS 5238 WITH SCORE 5271.832
AT ITER 532 NEW BEST:: SOT 35131 SOS 33841 HAS SOPS 28489 HAS SOUS 5246 HAS SOUPS 5225 WITH SCORE 5258.841
AT ITER 545 NEW BEST:: SOT 35113 SOS 33823 HAS SOPS 28471 HAS SOUS 5232 HAS SOUPS 5211 WITH SCORE 5244.823
AT ITER 547 NEW BEST:: SOT 35066 SOS 33776 HAS SOPS 28412 HAS SOUS 5052 HAS SOUPS 5031 WITH SCORE 5064.776
AT ITER 566 NEW BEST:: SOT 35081 SOS 33791 HAS SOPS 28427 HAS SOUS 5019 HAS SOUPS 4998 WITH SCORE 5031.791
AT ITER 573 NEW BEST:: SOT 35099 SOS 33809 HAS SOPS 28445 HAS SOUS 4980 HAS SOUPS 4959 WITH SCORE 4992.809
AT ITER 588 NEW BEST:: SOT 35072 SOS 33782 HAS SOPS 28418 HAS SOUS 4962 HAS SOUPS 4941 WITH SCORE 4974.782
AT ITER 607 NEW BEST:: SOT 34872 SOS 33582 HAS SOPS 28230 HAS SOUS 4905 HAS SOUPS 4884 WITH SCORE 4917.582
AT ITER 615 NEW BEST:: SOT 34864 SOS 33574 HAS SOPS 28222 HAS SOUS 4897 HAS SOUPS 4876 WITH SCORE 4909.574
AT ITER 636 NEW BEST:: SOT 34901 SOS 33611 HAS SOPS 28259 HAS SOUS 4881 HAS SOUPS 4860 WITH SCORE 4893.611
AT ITER 658 NEW BEST:: SOT 34893 SOS 33603 HAS SOPS 30051 HAS SOUS 4867 HAS SOUPS 4856 WITH SCORE 4889.603
AT ITER 659 NEW BEST:: SOT 34933 SOS 33643 HAS SOPS 30091 HAS SOUS 4837 HAS SOUPS 4826 WITH SCORE 4859.643
AT ITER 660 NEW BEST:: SOT 34954 SOS 33664 HAS SOPS 30080 HAS SOUS 4823 HAS SOUPS 4812 WITH SCORE 4845.664
AT ITER 664 NEW BEST:: SOT 34954 SOS 31334 HAS SOPS 30220 HAS SOUS 4819 HAS SOUPS 4812 WITH SCORE 4843.334
AT ITER 666 NEW BEST:: SOT 34909 SOS 31289 HAS SOPS 30175 HAS SOUS 4815 HAS SOUPS 4808 WITH SCORE 4839.289
AT ITER 693 NEW BEST:: SOT 34919 SOS 31299 HAS SOPS 30185 HAS SOUS 4808 HAS SOUPS 4801 WITH SCORE 4832.299
AT ITER 721 NEW BEST:: SOT 34858 SOS 31238 HAS SOPS 30124 HAS SOUS 4782 HAS SOUPS 4775 WITH SCORE 4806.238
AT ITER 732 NEW BEST:: SOT 34803 SOS 31183 HAS SOPS 30069 HAS SOUS 4775 HAS SOUPS 4768 WITH SCORE 4799.183
AT ITER 756 NEW BEST:: SOT 34734 SOS 31114 HAS SOPS 30000 HAS SOUS 4775 HAS SOUPS 4768 WITH SCORE 4799.114
AT ITER 793 NEW BEST:: SOT 34524 SOS 30904 HAS SOPS 29790 HAS SOUS 4643 HAS SOUPS 4636 WITH SCORE 4666.904
AT ITER 797 NEW BEST:: SOT 34520 SOS 30900 HAS SOPS 29786 HAS SOUS 4638 HAS SOUPS 4631 WITH SCORE 4661.9
AT ITER 801 NEW BEST:: SOT 34525 SOS 30995 HAS SOPS 29971 HAS SOUS 4613 HAS SOUPS 4611 WITH SCORE 4641.995
AT ITER 825 NEW BEST:: SOT 34509 SOS 30979 HAS SOPS 29955 HAS SOUS 4595 HAS SOUPS 4593 WITH SCORE 4623.979
AT ITER 826 NEW BEST:: SOT 34571 SOS 31041 HAS SOPS 30017 HAS SOUS 4593 HAS SOUPS 4591 WITH SCORE 4622.041
AT ITER 830 NEW BEST:: SOT 34529 SOS 30999 HAS SOPS 29975 HAS SOUS 4551 HAS SOUPS 4549 WITH SCORE 4579.999
AT ITER 852 NEW BEST:: SOT 34476 SOS 30946 HAS SOPS 29922 HAS SOUS 4510 HAS SOUPS 4508 WITH SCORE 4538.946
AT ITER 856 NEW BEST:: SOT 34473 SOS 30943 HAS SOPS 29919 HAS SOUS 4500 HAS SOUPS 4498 WITH SCORE 4528.943
AT ITER 883 NEW BEST:: SOT 34487 SOS 30957 HAS SOPS 29933 HAS SOUS 4492 HAS SOUPS 4490 WITH SCORE 4520.957
AT ITER 914 NEW BEST:: SOT 34466 SOS 30936 HAS SOPS 29912 HAS SOUS 4486 HAS SOUPS 4484 WITH SCORE 4514.936
AT ITER 915 NEW BEST:: SOT 34468 SOS 30938 HAS SOPS 29914 HAS SOUS 4482 HAS SOUPS 4480 WITH SCORE 4510.938
AT ITER 927 NEW BEST:: SOT 34498 SOS 30968 HAS SOPS 29944 HAS SOUS 4476 HAS SOUPS 4474 WITH SCORE 4504.968
AT ITER 932 NEW BEST:: SOT 34389 SOS 30859 HAS SOPS 29835 HAS SOUS 4411 HAS SOUPS 4409 WITH SCORE 4439.859
AT ITER 939 NEW BEST:: SOT 34382 SOS 30852 HAS SOPS 29828 HAS SOUS 4404 HAS SOUPS 4402 WITH SCORE 4432.852
AT ITER 1032 NEW BEST:: SOT 34339 SOS 30809 HAS SOPS 29785 HAS SOUS 4403 HAS SOUPS 4401 WITH SCORE 4431.809
AT ITER 1065 NEW BEST:: SOT 34339 SOS 30789 HAS SOPS 29765 HAS SOUS 4403 HAS SOUPS 4401 WITH SCORE 4431.789
AT ITER 1102 NEW BEST:: SOT 34070 SOS 30520 HAS SOPS 29496 HAS SOUS 4390 HAS SOUPS 4388 WITH SCORE 4418.52
AT ITER 1118 NEW BEST:: SOT 34010 SOS 30460 HAS SOPS 29436 HAS SOUS 4361 HAS SOUPS 4359 WITH SCORE 4389.46
AT ITER 1132 NEW BEST:: SOT 34002 SOS 30452 HAS SOPS 29428 HAS SOUS 4334 HAS SOUPS 4332 WITH SCORE 4362.452
AT ITER 1202 NEW BEST:: SOT 34016 SOS 30466 HAS SOPS 29442 HAS SOUS 4326 HAS SOUPS 4324 WITH SCORE 4354.466
AT ITER 1204 NEW BEST:: SOT 34016 SOS 30466 HAS SOPS 29442 HAS SOUS 4317 HAS SOUPS 4315 WITH SCORE 4345.466
AT ITER 1225 NEW BEST:: SOT 34035 SOS 30485 HAS SOPS 29461 HAS SOUS 4282 HAS SOUPS 4280 WITH SCORE 4310.485
AT ITER 1228 NEW BEST:: SOT 34063 SOS 30513 HAS SOPS 29489 HAS SOUS 4239 HAS SOUPS 4237 WITH SCORE 4267.513
AT ITER 1260 NEW BEST:: SOT 34029 SOS 30479 HAS SOPS 29455 HAS SOUS 4231 HAS SOUPS 4229 WITH SCORE 4259.479
AT ITER 1277 NEW BEST:: SOT 33972 SOS 30422 HAS SOPS 29398 HAS SOUS 4174 HAS SOUPS 4172 WITH SCORE 4202.422
AT ITER 1287 NEW BEST:: SOT 33972 SOS 29921 HAS SOPS 29421 HAS SOUS 4173 HAS SOUPS 4172 WITH SCORE 4201.921
AT ITER 1318 NEW BEST:: SOT 33972 SOS 29921 HAS SOPS 29421 HAS SOUS 4172 HAS SOUPS 4171 WITH SCORE 4200.921
AT ITER 1348 NEW BEST:: SOT 33983 SOS 29932 HAS SOPS 29432 HAS SOUS 4158 HAS SOUPS 4157 WITH SCORE 4186.932
AT ITER 1369 NEW BEST:: SOT 33954 SOS 29903 HAS SOPS 29403 HAS SOUS 4136 HAS SOUPS 4135 WITH SCORE 4164.903
AT ITER 1381 NEW BEST:: SOT 33919 SOS 29868 HAS SOPS 29368 HAS SOUS 4118 HAS SOUPS 4117 WITH SCORE 4146.868
AT ITER 1402 NEW BEST:: SOT 33919 SOS 29856 HAS SOPS 29356 HAS SOUS 4118 HAS SOUPS 4117 WITH SCORE 4146.856
AT ITER 1415 NEW BEST:: SOT 33917 SOS 29854 HAS SOPS 29354 HAS SOUS 4115 HAS SOUPS 4114 WITH SCORE 4143.854
AT ITER 1444 NEW BEST:: SOT 33871 SOS 29808 HAS SOPS 29308 HAS SOUS 4102 HAS SOUPS 4101 WITH SCORE 4130.808
AT ITER 1472 NEW BEST:: SOT 33771 SOS 29708 HAS SOPS 29208 HAS SOUS 4094 HAS SOUPS 4093 WITH SCORE 4122.708
AT ITER 1475 NEW BEST:: SOT 33749 SOS 29686 HAS SOPS 29186 HAS SOUS 4078 HAS SOUPS 4077 WITH SCORE 4106.686
AT ITER 1492 NEW BEST:: SOT 33709 SOS 29646 HAS SOPS 29146 HAS SOUS 4051 HAS SOUPS 4050 WITH SCORE 4079.646
AT ITER 1535 NEW BEST:: SOT 33707 SOS 29644 HAS SOPS 29144 HAS SOUS 4049 HAS SOUPS 4048 WITH SCORE 4077.644
AT ITER 1566 NEW BEST:: SOT 33707 SOS 29632 HAS SOPS 29132 HAS SOUS 4049 HAS SOUPS 4048 WITH SCORE 4077.632
AT ITER 1598 NEW BEST:: SOT 33685 SOS 29610 HAS SOPS 29110 HAS SOUS 4028 HAS SOUPS 4027 WITH SCORE 4056.61
AT ITER 1607 NEW BEST:: SOT 33585 SOS 29510 HAS SOPS 29010 HAS SOUS 3931 HAS SOUPS 3930 WITH SCORE 3959.51
AT ITER 1622 NEW BEST:: SOT 33577 SOS 29502 HAS SOPS 29002 HAS SOUS 3925 HAS SOUPS 3924 WITH SCORE 3953.502
AT ITER 1645 NEW BEST:: SOT 33557 SOS 29482 HAS SOPS 28982 HAS SOUS 3910 HAS SOUPS 3909 WITH SCORE 3938.482
AT ITER 1660 NEW BEST:: SOT 33556 SOS 29481 HAS SOPS 28981 HAS SOUS 3894 HAS SOUPS 3893 WITH SCORE 3922.481
AT ITER 1697 NEW BEST:: SOT 33576 SOS 29501 HAS SOPS 29001 HAS SOUS 3849 HAS SOUPS 3848 WITH SCORE 3877.501
AT ITER 1792 NEW BEST:: SOT 33659 SOS 29584 HAS SOPS 29084 HAS SOUS 3847 HAS SOUPS 3846 WITH SCORE 3875.584
AT ITER 1796 NEW BEST:: SOT 33668 SOS 29593 HAS SOPS 29093 HAS SOUS 3845 HAS SOUPS 3844 WITH SCORE 3873.593
AT ITER 1806 NEW BEST:: SOT 33668 SOS 29533 HAS SOPS 29021 HAS SOUS 3845 HAS SOUPS 3844 WITH SCORE 3873.533
AT ITER 1808 NEW BEST:: SOT 33666 SOS 29531 HAS SOPS 29019 HAS SOUS 3841 HAS SOUPS 3840 WITH SCORE 3869.531
AT ITER 1820 NEW BEST:: SOT 33654 SOS 29519 HAS SOPS 29007 HAS SOUS 3841 HAS SOUPS 3840 WITH SCORE 3869.519
AT ITER 1860 NEW BEST:: SOT 33666 SOS 29531 HAS SOPS 29019 HAS SOUS 3829 HAS SOUPS 3828 WITH SCORE 3857.531
AT ITER 1874 NEW BEST:: SOT 33656 SOS 29521 HAS SOPS 29009 HAS SOUS 3825 HAS SOUPS 3824 WITH SCORE 3853.521
AT ITER 1929 NEW BEST:: SOT 33674 SOS 29539 HAS SOPS 29027 HAS SOUS 3819 HAS SOUPS 3818 WITH SCORE 3847.539
AT ITER 2110 NEW BEST:: SOT 33664 SOS 29529 HAS SOPS 29017 HAS SOUS 3809 HAS SOUPS 3808 WITH SCORE 3837.529
AT ITER 2122 NEW BEST:: SOT 33613 SOS 29478 HAS SOPS 28966 HAS SOUS 3781 HAS SOUPS 3780 WITH SCORE 3809.478
AT ITER 2162 NEW BEST:: SOT 33612 SOS 29477 HAS SOPS 28965 HAS SOUS 3780 HAS SOUPS 3779 WITH SCORE 3808.477
AT ITER 2179 NEW BEST:: SOT 33612 SOS 29477 HAS SOPS 28965 HAS SOUS 3779 HAS SOUPS 3778 WITH SCORE 3807.477
AT ITER 2266 NEW BEST:: SOT 33591 SOS 29456 HAS SOPS 28944 HAS SOUS 3778 HAS SOUPS 3777 WITH SCORE 3806.456
AT ITER 2304 NEW BEST:: SOT 33587 SOS 29452 HAS SOPS 28940 HAS SOUS 3778 HAS SOUPS 3777 WITH SCORE 3806.452
AT ITER 2320 NEW BEST:: SOT 33572 SOS 29437 HAS SOPS 28925 HAS SOUS 3763 HAS SOUPS 3762 WITH SCORE 3791.437
AT ITER 2374 NEW BEST:: SOT 33593 SOS 29458 HAS SOPS 28946 HAS SOUS 3747 HAS SOUPS 3746 WITH SCORE 3775.458
AT ITER 2416 NEW BEST:: SOT 33592 SOS 29970 HAS SOPS 29969 HAS SOUS 3746 HAS SOUPS 3745 WITH SCORE 3774.97
AT ITER 2472 NEW BEST:: SOT 33592 SOS 29962 HAS SOPS 29961 HAS SOUS 3746 HAS SOUPS 3745 WITH SCORE 3774.962
AT ITER 2495 NEW BEST:: SOT 33618 SOS 29988 HAS SOPS 29987 HAS SOUS 3737 HAS SOUPS 3736 WITH SCORE 3765.988
AT ITER 2645 NEW BEST:: SOT 33618 SOS 29988 HAS SOPS 29987 HAS SOUS 3731 HAS SOUPS 3730 WITH SCORE 3759.988
AT ITER 2834 NEW BEST:: SOT 33645 SOS 30015 HAS SOPS 30014 HAS SOUS 3717 HAS SOUPS 3716 WITH SCORE 3746.015
AT ITER 2836 NEW BEST:: SOT 33631 SOS 30001 HAS SOPS 30000 HAS SOUS 3701 HAS SOUPS 3700 WITH SCORE 3730.001
AT ITER 2842 NEW BEST:: SOT 33615 SOS 29985 HAS SOPS 29984 HAS SOUS 3686 HAS SOUPS 3685 WITH SCORE 3714.985
AT ITER 2856 NEW BEST:: SOT 33603 SOS 29973 HAS SOPS 29972 HAS SOUS 3678 HAS SOUPS 3677 WITH SCORE 3706.973
AT ITER 2974 NEW BEST:: SOT 33603 SOS 29973 HAS SOPS 29972 HAS SOUS 3674 HAS SOUPS 3673 WITH SCORE 3702.973
AT ITER 3222 NEW BEST:: SOT 33587 SOS 29957 HAS SOPS 29956 HAS SOUS 3660 HAS SOUPS 3659 WITH SCORE 3688.957
AT ITER 3266 NEW BEST:: SOT 33570 SOS 29940 HAS SOPS 29939 HAS SOUS 3658 HAS SOUPS 3657 WITH SCORE 3686.94
AT ITER 3332 NEW BEST:: SOT 33557 SOS 29927 HAS SOPS 29926 HAS SOUS 3653 HAS SOUPS 3652 WITH SCORE 3681.927
AT ITER 3510 NEW BEST:: SOT 33547 SOS 29917 HAS SOPS 29916 HAS SOUS 3638 HAS SOUPS 3637 WITH SCORE 3666.917
AT ITER 3713 NEW BEST:: SOT 33530 SOS 29900 HAS SOPS 29899 HAS SOUS 3636 HAS SOUPS 3635 WITH SCORE 3664.9
AT ITER 3756 NEW BEST:: SOT 33530 SOS 29892 HAS SOPS 29891 HAS SOUS 3636 HAS SOUPS 3635 WITH SCORE 3664.892
AT ITER 3862 NEW BEST:: SOT 33494 SOS 29856 HAS SOPS 29855 HAS SOUS 3627 HAS SOUPS 3626 WITH SCORE 3655.856
AT ITER 4716 NEW BEST:: SOT 33471 SOS 29833 HAS SOPS 29832 HAS SOUS 3613 HAS SOUPS 3612 WITH SCORE 3641.833
AT ITER 4752 NEW BEST:: SOT 33452 SOS 29814 HAS SOPS 29813 HAS SOUS 3600 HAS SOUPS 3599 WITH SCORE 3628.814
AT ITER 4842 NEW BEST:: SOT 33427 SOS 29789 HAS SOPS 29788 HAS SOUS 3598 HAS SOUPS 3597 WITH SCORE 3626.789
AT ITER 5016 NEW BEST:: SOT 33408 SOS 29770 HAS SOPS 29769 HAS SOUS 3589 HAS SOUPS 3588 WITH SCORE 3617.77
AT ITER 5073 NEW BEST:: SOT 33352 SOS 29714 HAS SOPS 29713 HAS SOUS 3575 HAS SOUPS 3574 WITH SCORE 3603.714
AT ITER 5161 NEW BEST:: SOT 33362 SOS 29724 HAS SOPS 29723 HAS SOUS 3572 HAS SOUPS 3571 WITH SCORE 3600.724
AT ITER 5326 NEW BEST:: SOT 33317 SOS 29679 HAS SOPS 29678 HAS SOUS 3558 HAS SOUPS 3557 WITH SCORE 3586.679
AT ITER 5375 NEW BEST:: SOT 33283 SOS 29645 HAS SOPS 29644 HAS SOUS 3550 HAS SOUPS 3549 WITH SCORE 3578.645
AT ITER 5654 NEW BEST:: SOT 33237 SOS 29599 HAS SOPS 29598 HAS SOUS 3548 HAS SOUPS 3547 WITH SCORE 3576.599
AT ITER 6199 NEW BEST:: SOT 33243 SOS 29605 HAS SOPS 29604 HAS SOUS 3546 HAS SOUPS 3545 WITH SCORE 3574.605
AT ITER 6213 NEW BEST:: SOT 33247 SOS 29609 HAS SOPS 29608 HAS SOUS 3545 HAS SOUPS 3544 WITH SCORE 3573.609
AT ITER 6485 NEW BEST:: SOT 33253 SOS 29615 HAS SOPS 29614 HAS SOUS 3539 HAS SOUPS 3538 WITH SCORE 3567.615
AT ITER 6779 NEW BEST:: SOT 33234 SOS 29596 HAS SOPS 29595 HAS SOUS 3526 HAS SOUPS 3525 WITH SCORE 3554.596
AT ITER 6892 NEW BEST:: SOT 33227 SOS 29589 HAS SOPS 29588 HAS SOUS 3520 HAS SOUPS 3519 WITH SCORE 3548.589
AT ITER 7256 NEW BEST:: SOT 33213 SOS 29575 HAS SOPS 29574 HAS SOUS 3499 HAS SOUPS 3498 WITH SCORE 3527.575
AT ITER 7315 NEW BEST:: SOT 33226 SOS 29588 HAS SOPS 29587 HAS SOUS 3479 HAS SOUPS 3478 WITH SCORE 3507.588
AT ITER 7863 NEW BEST:: SOT 33216 SOS 29578 HAS SOPS 29577 HAS SOUS 3457 HAS SOUPS 3456 WITH SCORE 3485.578
AT ITER 8101 NEW BEST:: SOT 33222 SOS 29584 HAS SOPS 29583 HAS SOUS 3449 HAS SOUPS 3448 WITH SCORE 3477.584
AT ITER 8286 NEW BEST:: SOT 33190 SOS 29552 HAS SOPS 29551 HAS SOUS 3444 HAS SOUPS 3443 WITH SCORE 3472.552
AT ITER 8530 NEW BEST:: SOT 33182 SOS 29544 HAS SOPS 29543 HAS SOUS 3437 HAS SOUPS 3436 WITH SCORE 3465.544
AT ITER 9325 NEW BEST:: SOT 33181 SOS 30092 HAS SOPS 29520 HAS SOUS 3436 HAS SOUPS 3435 WITH SCORE 3465.092
AT ITER 9475 NEW BEST:: SOT 33180 SOS 30664 HAS SOPS 30663 HAS SOUS 3435 HAS SOUPS 3434 WITH SCORE 3464.664

BK_STOP 1589650231580

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 470 Aborted ${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="PhaseVariation-PT-D05CS100"
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 PhaseVariation-PT-D05CS100, 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 r108-csrt-158961251000784"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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