Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 3.7K Mar 31 05:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 31 05:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 29 20:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 20:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 13:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 13:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 27 06:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 27 06:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 15 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.6M 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 1589357884044

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

Filename model.pnml
Petri model created: 164 places, 3697 transitions, 10898 arcs.
AT ITER 0 NEW BEST:: SOT 425598 SOS 135980 HAS SOPS 135979 HAS SOUS 16962 HAS SOUPS 16961 WITH SCORE 17096.98
AT ITER 2 NEW BEST:: SOT 425598 SOS 135900 HAS SOPS 135899 HAS SOUS 16962 HAS SOUPS 16961 WITH SCORE 17096.9
AT ITER 12 NEW BEST:: SOT 425666 SOS 135676 HAS SOPS 135675 HAS SOUS 16962 HAS SOUPS 16961 WITH SCORE 17096.676
AT ITER 14 NEW BEST:: SOT 425058 SOS 135684 HAS SOPS 135683 HAS SOUS 16960 HAS SOUPS 16959 WITH SCORE 17094.684
AT ITER 17 NEW BEST:: SOT 425056 SOS 135680 HAS SOPS 135679 HAS SOUS 16960 HAS SOUPS 16959 WITH SCORE 17094.68
AT ITER 20 NEW BEST:: SOT 425226 SOS 135306 HAS SOPS 135305 HAS SOUS 16926 HAS SOUPS 16925 WITH SCORE 17060.306
AT ITER 21 NEW BEST:: SOT 425222 SOS 135109 HAS SOPS 135108 HAS SOUS 16926 HAS SOUPS 16925 WITH SCORE 17060.109
AT ITER 36 NEW BEST:: SOT 425222 SOS 134609 HAS SOPS 134608 HAS SOUS 16926 HAS SOUPS 16925 WITH SCORE 17059.609
AT ITER 43 NEW BEST:: SOT 425434 SOS 133979 HAS SOPS 133978 HAS SOUS 16926 HAS SOUPS 16925 WITH SCORE 17058.979
AT ITER 51 NEW BEST:: SOT 424956 SOS 135198 HAS SOPS 135197 HAS SOUS 16858 HAS SOUPS 16857 WITH SCORE 16992.198
AT ITER 57 NEW BEST:: SOT 424972 SOS 135076 HAS SOPS 135075 HAS SOUS 16858 HAS SOUPS 16857 WITH SCORE 16992.076
AT ITER 62 NEW BEST:: SOT 424892 SOS 138507 HAS SOPS 138506 HAS SOUS 16852 HAS SOUPS 16851 WITH SCORE 16989.507
AT ITER 67 NEW BEST:: SOT 424888 SOS 138495 HAS SOPS 138494 HAS SOUS 16852 HAS SOUPS 16851 WITH SCORE 16989.495
AT ITER 72 NEW BEST:: SOT 425138 SOS 138407 HAS SOPS 138406 HAS SOUS 16852 HAS SOUPS 16851 WITH SCORE 16989.407
AT ITER 78 NEW BEST:: SOT 425201 SOS 138068 HAS SOPS 138067 HAS SOUS 16837 HAS SOUPS 16836 WITH SCORE 16974.068
AT ITER 80 NEW BEST:: SOT 425235 SOS 137008 HAS SOPS 137007 HAS SOUS 16813 HAS SOUPS 16812 WITH SCORE 16949.008
AT ITER 88 NEW BEST:: SOT 426452 SOS 138092 HAS SOPS 138091 HAS SOUS 16788 HAS SOUPS 16787 WITH SCORE 16925.092
AT ITER 97 NEW BEST:: SOT 428458 SOS 137266 HAS SOPS 137265 HAS SOUS 16774 HAS SOUPS 16773 WITH SCORE 16910.266
AT ITER 116 NEW BEST:: SOT 428516 SOS 136623 HAS SOPS 136622 HAS SOUS 16774 HAS SOUPS 16773 WITH SCORE 16909.623
AT ITER 142 NEW BEST:: SOT 430540 SOS 136325 HAS SOPS 136324 HAS SOUS 16774 HAS SOUPS 16773 WITH SCORE 16909.325
AT ITER 145 NEW BEST:: SOT 430452 SOS 135197 HAS SOPS 135196 HAS SOUS 16774 HAS SOUPS 16773 WITH SCORE 16908.197
AT ITER 146 NEW BEST:: SOT 430311 SOS 136318 HAS SOPS 136317 HAS SOUS 16751 HAS SOUPS 16750 WITH SCORE 16886.318
AT ITER 160 NEW BEST:: SOT 430295 SOS 136306 HAS SOPS 136305 HAS SOUS 16751 HAS SOUPS 16750 WITH SCORE 16886.306
AT ITER 161 NEW BEST:: SOT 431283 SOS 135368 HAS SOPS 135367 HAS SOUS 16657 HAS SOUPS 16656 WITH SCORE 16791.368
AT ITER 166 NEW BEST:: SOT 428995 SOS 134872 HAS SOPS 134871 HAS SOUS 16645 HAS SOUPS 16644 WITH SCORE 16778.872
AT ITER 167 NEW BEST:: SOT 428939 SOS 135362 HAS SOPS 135361 HAS SOUS 16631 HAS SOUPS 16630 WITH SCORE 16765.362
AT ITER 168 NEW BEST:: SOT 428917 SOS 135324 HAS SOPS 135323 HAS SOUS 16631 HAS SOUPS 16630 WITH SCORE 16765.324
AT ITER 173 NEW BEST:: SOT 428917 SOS 135076 HAS SOPS 135075 HAS SOUS 16623 HAS SOUPS 16622 WITH SCORE 16757.076
AT ITER 203 NEW BEST:: SOT 428864 SOS 133925 HAS SOPS 133924 HAS SOUS 16596 HAS SOUPS 16595 WITH SCORE 16728.925
AT ITER 211 NEW BEST:: SOT 429332 SOS 133353 HAS SOPS 133352 HAS SOUS 16596 HAS SOUPS 16595 WITH SCORE 16728.353
AT ITER 238 NEW BEST:: SOT 427949 SOS 132767 HAS SOPS 132766 HAS SOUS 16569 HAS SOUPS 16568 WITH SCORE 16700.767
AT ITER 239 NEW BEST:: SOT 427967 SOS 132257 HAS SOPS 132256 HAS SOUS 16543 HAS SOUPS 16542 WITH SCORE 16674.257
AT ITER 266 NEW BEST:: SOT 427969 SOS 132149 HAS SOPS 132148 HAS SOUS 16539 HAS SOUPS 16538 WITH SCORE 16670.149
AT ITER 281 NEW BEST:: SOT 428119 SOS 132143 HAS SOPS 132142 HAS SOUS 16539 HAS SOUPS 16538 WITH SCORE 16670.143
AT ITER 282 NEW BEST:: SOT 429053 SOS 132949 HAS SOPS 132948 HAS SOUS 16525 HAS SOUPS 16524 WITH SCORE 16656.949
AT ITER 292 NEW BEST:: SOT 429144 SOS 131507 HAS SOPS 131506 HAS SOUS 16510 HAS SOUPS 16509 WITH SCORE 16640.507
AT ITER 308 NEW BEST:: SOT 429130 SOS 130549 HAS SOPS 130548 HAS SOUS 16480 HAS SOUPS 16479 WITH SCORE 16609.549
AT ITER 313 NEW BEST:: SOT 429480 SOS 130226 HAS SOPS 130225 HAS SOUS 16480 HAS SOUPS 16479 WITH SCORE 16609.226
AT ITER 316 NEW BEST:: SOT 428638 SOS 130022 HAS SOPS 130021 HAS SOUS 16476 HAS SOUPS 16475 WITH SCORE 16605.022
AT ITER 337 NEW BEST:: SOT 428638 SOS 129922 HAS SOPS 129921 HAS SOUS 16476 HAS SOUPS 16475 WITH SCORE 16604.922
AT ITER 349 NEW BEST:: SOT 431035 SOS 129016 HAS SOPS 129015 HAS SOUS 16476 HAS SOUPS 16475 WITH SCORE 16604.016
AT ITER 366 NEW BEST:: SOT 432780 SOS 130205 HAS SOPS 130204 HAS SOUS 16447 HAS SOUPS 16446 WITH SCORE 16576.205
AT ITER 391 NEW BEST:: SOT 431778 SOS 130139 HAS SOPS 130138 HAS SOUS 16445 HAS SOUPS 16444 WITH SCORE 16574.139
AT ITER 441 NEW BEST:: SOT 433243 SOS 131122 HAS SOPS 131121 HAS SOUS 16420 HAS SOUPS 16419 WITH SCORE 16550.122
AT ITER 447 NEW BEST:: SOT 432758 SOS 130836 HAS SOPS 130835 HAS SOUS 16411 HAS SOUPS 16410 WITH SCORE 16540.836
AT ITER 451 NEW BEST:: SOT 432832 SOS 130882 HAS SOPS 130881 HAS SOUS 16393 HAS SOUPS 16392 WITH SCORE 16522.882
AT ITER 465 NEW BEST:: SOT 432838 SOS 130832 HAS SOPS 130831 HAS SOUS 16393 HAS SOUPS 16392 WITH SCORE 16522.832
AT ITER 471 NEW BEST:: SOT 433138 SOS 130820 HAS SOPS 130819 HAS SOUS 16393 HAS SOUPS 16392 WITH SCORE 16522.82
AT ITER 482 NEW BEST:: SOT 435281 SOS 130122 HAS SOPS 130121 HAS SOUS 16393 HAS SOUPS 16392 WITH SCORE 16522.122
AT ITER 486 NEW BEST:: SOT 434703 SOS 131024 HAS SOPS 131023 HAS SOUS 16351 HAS SOUPS 16350 WITH SCORE 16481.024
AT ITER 488 NEW BEST:: SOT 434957 SOS 130797 HAS SOPS 130796 HAS SOUS 16351 HAS SOUPS 16350 WITH SCORE 16480.797
AT ITER 492 NEW BEST:: SOT 435507 SOS 131427 HAS SOPS 131426 HAS SOUS 16310 HAS SOUPS 16309 WITH SCORE 16440.427
AT ITER 498 NEW BEST:: SOT 434749 SOS 130991 HAS SOPS 130990 HAS SOUS 16256 HAS SOUPS 16255 WITH SCORE 16385.991
AT ITER 510 NEW BEST:: SOT 434656 SOS 131332 HAS SOPS 131331 HAS SOUS 16239 HAS SOUPS 16238 WITH SCORE 16369.332
AT ITER 515 NEW BEST:: SOT 434376 SOS 131202 HAS SOPS 131201 HAS SOUS 16235 HAS SOUPS 16234 WITH SCORE 16365.202
AT ITER 521 NEW BEST:: SOT 434372 SOS 131030 HAS SOPS 131029 HAS SOUS 16231 HAS SOUPS 16230 WITH SCORE 16361.03
AT ITER 536 NEW BEST:: SOT 434375 SOS 130871 HAS SOPS 130870 HAS SOUS 16231 HAS SOUPS 16230 WITH SCORE 16360.871
AT ITER 539 NEW BEST:: SOT 435180 SOS 131410 HAS SOPS 131409 HAS SOUS 16218 HAS SOUPS 16217 WITH SCORE 16348.41
AT ITER 553 NEW BEST:: SOT 435094 SOS 131238 HAS SOPS 131237 HAS SOUS 16218 HAS SOUPS 16217 WITH SCORE 16348.238
AT ITER 557 NEW BEST:: SOT 435374 SOS 130958 HAS SOPS 130957 HAS SOUS 16218 HAS SOUPS 16217 WITH SCORE 16347.958
AT ITER 569 NEW BEST:: SOT 435771 SOS 130641 HAS SOPS 130640 HAS SOUS 16218 HAS SOUPS 16217 WITH SCORE 16347.641
AT ITER 581 NEW BEST:: SOT 435728 SOS 130501 HAS SOPS 130500 HAS SOUS 16218 HAS SOUPS 16217 WITH SCORE 16347.501
AT ITER 589 NEW BEST:: SOT 435755 SOS 130470 HAS SOPS 130469 HAS SOUS 16212 HAS SOUPS 16211 WITH SCORE 16341.47
AT ITER 598 NEW BEST:: SOT 435771 SOS 130338 HAS SOPS 130337 HAS SOUS 16212 HAS SOUPS 16211 WITH SCORE 16341.338
AT ITER 606 NEW BEST:: SOT 435341 SOS 130822 HAS SOPS 130821 HAS SOUS 16180 HAS SOUPS 16179 WITH SCORE 16309.822
AT ITER 607 NEW BEST:: SOT 435365 SOS 130702 HAS SOPS 130701 HAS SOUS 16180 HAS SOUPS 16179 WITH SCORE 16309.702
AT ITER 610 NEW BEST:: SOT 435446 SOS 130621 HAS SOPS 130620 HAS SOUS 16161 HAS SOUPS 16160 WITH SCORE 16290.621
AT ITER 616 NEW BEST:: SOT 436388 SOS 130893 HAS SOPS 130892 HAS SOUS 16123 HAS SOUPS 16122 WITH SCORE 16252.893
AT ITER 626 NEW BEST:: SOT 436386 SOS 130807 HAS SOPS 130806 HAS SOUS 16121 HAS SOUPS 16120 WITH SCORE 16250.807
AT ITER 632 NEW BEST:: SOT 436429 SOS 132675 HAS SOPS 132674 HAS SOUS 16027 HAS SOUPS 16026 WITH SCORE 16158.675
AT ITER 641 NEW BEST:: SOT 436853 SOS 132621 HAS SOPS 132620 HAS SOUS 16027 HAS SOUPS 16026 WITH SCORE 16158.621
AT ITER 644 NEW BEST:: SOT 436739 SOS 132561 HAS SOPS 132560 HAS SOUS 16021 HAS SOUPS 16020 WITH SCORE 16152.561
AT ITER 664 NEW BEST:: SOT 436839 SOS 132269 HAS SOPS 132268 HAS SOUS 16021 HAS SOUPS 16020 WITH SCORE 16152.269
AT ITER 671 NEW BEST:: SOT 436095 SOS 131873 HAS SOPS 131872 HAS SOUS 16021 HAS SOUPS 16020 WITH SCORE 16151.873
AT ITER 712 NEW BEST:: SOT 436013 SOS 131619 HAS SOPS 131618 HAS SOUS 16021 HAS SOUPS 16020 WITH SCORE 16151.619
AT ITER 715 NEW BEST:: SOT 436228 SOS 133290 HAS SOPS 133289 HAS SOUS 16019 HAS SOUPS 16018 WITH SCORE 16151.29
AT ITER 716 NEW BEST:: SOT 436200 SOS 133274 HAS SOPS 133273 HAS SOUS 16019 HAS SOUPS 16018 WITH SCORE 16151.274
AT ITER 747 NEW BEST:: SOT 436944 SOS 133346 HAS SOPS 133345 HAS SOUS 16009 HAS SOUPS 16008 WITH SCORE 16141.346
AT ITER 750 NEW BEST:: SOT 436125 SOS 132443 HAS SOPS 132442 HAS SOUS 16009 HAS SOUPS 16008 WITH SCORE 16140.443
AT ITER 752 NEW BEST:: SOT 436288 SOS 131894 HAS SOPS 131893 HAS SOUS 16009 HAS SOUPS 16008 WITH SCORE 16139.894
AT ITER 753 NEW BEST:: SOT 436525 SOS 129143 HAS SOPS 129142 HAS SOUS 16009 HAS SOUPS 16008 WITH SCORE 16137.143
AT ITER 758 NEW BEST:: SOT 436545 SOS 128773 HAS SOPS 128772 HAS SOUS 16009 HAS SOUPS 16008 WITH SCORE 16136.773
AT ITER 787 NEW BEST:: SOT 436683 SOS 128737 HAS SOPS 128736 HAS SOUS 16009 HAS SOUPS 16008 WITH SCORE 16136.737
AT ITER 793 NEW BEST:: SOT 436682 SOS 128735 HAS SOPS 128734 HAS SOUS 16006 HAS SOUPS 16005 WITH SCORE 16133.735
AT ITER 807 NEW BEST:: SOT 436681 SOS 128733 HAS SOPS 128732 HAS SOUS 16003 HAS SOUPS 16002 WITH SCORE 16130.733
AT ITER 820 NEW BEST:: SOT 437078 SOS 128642 HAS SOPS 128641 HAS SOUS 15988 HAS SOUPS 15987 WITH SCORE 16115.642
AT ITER 828 NEW BEST:: SOT 436413 SOS 127696 HAS SOPS 127695 HAS SOUS 15977 HAS SOUPS 15976 WITH SCORE 16103.696
AT ITER 868 NEW BEST:: SOT 435906 SOS 127331 HAS SOPS 127330 HAS SOUS 15898 HAS SOUPS 15897 WITH SCORE 16024.331
AT ITER 879 NEW BEST:: SOT 435866 SOS 127737 HAS SOPS 127736 HAS SOUS 15889 HAS SOUPS 15888 WITH SCORE 16015.737
AT ITER 882 NEW BEST:: SOT 435840 SOS 127715 HAS SOPS 127714 HAS SOUS 15889 HAS SOUPS 15888 WITH SCORE 16015.715
AT ITER 922 NEW BEST:: SOT 435796 SOS 127743 HAS SOPS 127742 HAS SOUS 15885 HAS SOUPS 15884 WITH SCORE 16011.743
AT ITER 929 NEW BEST:: SOT 436132 SOS 127785 HAS SOPS 127784 HAS SOUS 15855 HAS SOUPS 15854 WITH SCORE 15981.785
AT ITER 958 NEW BEST:: SOT 436071 SOS 126998 HAS SOPS 126997 HAS SOUS 15855 HAS SOUPS 15854 WITH SCORE 15980.998
AT ITER 967 NEW BEST:: SOT 435973 SOS 126942 HAS SOPS 126941 HAS SOUS 15855 HAS SOUPS 15854 WITH SCORE 15980.942
AT ITER 969 NEW BEST:: SOT 435987 SOS 126910 HAS SOPS 126909 HAS SOUS 15855 HAS SOUPS 15854 WITH SCORE 15980.91
AT ITER 974 NEW BEST:: SOT 436291 SOS 125862 HAS SOPS 125861 HAS SOUS 15855 HAS SOUPS 15854 WITH SCORE 15979.862
AT ITER 989 NEW BEST:: SOT 436260 SOS 125849 HAS SOPS 125848 HAS SOUS 15855 HAS SOUPS 15854 WITH SCORE 15979.849
AT ITER 990 NEW BEST:: SOT 433824 SOS 125567 HAS SOPS 125566 HAS SOUS 15816 HAS SOUPS 15815 WITH SCORE 15940.567
AT ITER 1024 NEW BEST:: SOT 433900 SOS 125110 HAS SOPS 125109 HAS SOUS 15816 HAS SOUPS 15815 WITH SCORE 15940.11
AT ITER 1037 NEW BEST:: SOT 433924 SOS 125038 HAS SOPS 125037 HAS SOUS 15816 HAS SOUPS 15815 WITH SCORE 15940.038
AT ITER 1038 NEW BEST:: SOT 434104 SOS 125086 HAS SOPS 125085 HAS SOUS 15812 HAS SOUPS 15811 WITH SCORE 15936.086
AT ITER 1042 NEW BEST:: SOT 434024 SOS 125004 HAS SOPS 125003 HAS SOUS 15812 HAS SOUPS 15811 WITH SCORE 15936.004
AT ITER 1045 NEW BEST:: SOT 434454 SOS 123382 HAS SOPS 123381 HAS SOUS 15812 HAS SOUPS 15811 WITH SCORE 15934.382
AT ITER 1065 NEW BEST:: SOT 435640 SOS 122286 HAS SOPS 122285 HAS SOUS 15812 HAS SOUPS 15811 WITH SCORE 15933.286
AT ITER 1068 NEW BEST:: SOT 436056 SOS 121543 HAS SOPS 121542 HAS SOUS 15812 HAS SOUPS 15811 WITH SCORE 15932.543
AT ITER 1073 NEW BEST:: SOT 435554 SOS 122499 HAS SOPS 122498 HAS SOUS 15809 HAS SOUPS 15808 WITH SCORE 15930.499
AT ITER 1093 NEW BEST:: SOT 436686 SOS 122153 HAS SOPS 122152 HAS SOUS 15809 HAS SOUPS 15808 WITH SCORE 15930.153
AT ITER 1109 NEW BEST:: SOT 436830 SOS 122456 HAS SOPS 122455 HAS SOUS 15788 HAS SOUPS 15787 WITH SCORE 15909.456
AT ITER 1112 NEW BEST:: SOT 436830 SOS 122420 HAS SOPS 122419 HAS SOUS 15788 HAS SOUPS 15787 WITH SCORE 15909.42
AT ITER 1119 NEW BEST:: SOT 436819 SOS 122399 HAS SOPS 122398 HAS SOUS 15788 HAS SOUPS 15787 WITH SCORE 15909.399
AT ITER 1157 NEW BEST:: SOT 437378 SOS 121313 HAS SOPS 121312 HAS SOUS 15781 HAS SOUPS 15780 WITH SCORE 15901.313
AT ITER 1180 NEW BEST:: SOT 437167 SOS 120864 HAS SOPS 120863 HAS SOUS 15781 HAS SOUPS 15780 WITH SCORE 15900.864
AT ITER 1189 NEW BEST:: SOT 437271 SOS 120772 HAS SOPS 120771 HAS SOUS 15781 HAS SOUPS 15780 WITH SCORE 15900.772
AT ITER 1194 NEW BEST:: SOT 437087 SOS 120588 HAS SOPS 120587 HAS SOUS 15781 HAS SOUPS 15780 WITH SCORE 15900.588
AT ITER 1200 NEW BEST:: SOT 437035 SOS 120514 HAS SOPS 120513 HAS SOUS 15781 HAS SOUPS 15780 WITH SCORE 15900.514
AT ITER 1203 NEW BEST:: SOT 437051 SOS 120434 HAS SOPS 120433 HAS SOUS 15781 HAS SOUPS 15780 WITH SCORE 15900.434
AT ITER 1210 NEW BEST:: SOT 436995 SOS 120326 HAS SOPS 120325 HAS SOUS 15781 HAS SOUPS 15780 WITH SCORE 15900.326
AT ITER 1242 NEW BEST:: SOT 436385 SOS 119568 HAS SOPS 119567 HAS SOUS 15763 HAS SOUPS 15762 WITH SCORE 15881.568
AT ITER 1270 NEW BEST:: SOT 436385 SOS 118504 HAS SOPS 118503 HAS SOUS 15763 HAS SOUPS 15762 WITH SCORE 15880.504
AT ITER 1272 NEW BEST:: SOT 436380 SOS 118491 HAS SOPS 118490 HAS SOUS 15763 HAS SOUPS 15762 WITH SCORE 15880.491
AT ITER 1273 NEW BEST:: SOT 436889 SOS 118404 HAS SOPS 118403 HAS SOUS 15763 HAS SOUPS 15762 WITH SCORE 15880.404
AT ITER 1275 NEW BEST:: SOT 436889 SOS 117984 HAS SOPS 117983 HAS SOUS 15763 HAS SOUPS 15762 WITH SCORE 15879.984
AT ITER 1281 NEW BEST:: SOT 436905 SOS 117106 HAS SOPS 117105 HAS SOUS 15763 HAS SOUPS 15762 WITH SCORE 15879.106
AT ITER 1320 NEW BEST:: SOT 436914 SOS 117025 HAS SOPS 117024 HAS SOUS 15763 HAS SOUPS 15762 WITH SCORE 15879.025
AT ITER 1382 NEW BEST:: SOT 436845 SOS 116907 HAS SOPS 116906 HAS SOUS 15738 HAS SOUPS 15737 WITH SCORE 15853.907
AT ITER 1383 NEW BEST:: SOT 436947 SOS 116803 HAS SOPS 116802 HAS SOUS 15738 HAS SOUPS 15737 WITH SCORE 15853.803
AT ITER 1389 NEW BEST:: SOT 437065 SOS 116495 HAS SOPS 116494 HAS SOUS 15738 HAS SOUPS 15737 WITH SCORE 15853.495
AT ITER 1420 NEW BEST:: SOT 436945 SOS 116375 HAS SOPS 116374 HAS SOUS 15738 HAS SOUPS 15737 WITH SCORE 15853.375
AT ITER 1431 NEW BEST:: SOT 436789 SOS 116357 HAS SOPS 116356 HAS SOUS 15738 HAS SOUPS 15737 WITH SCORE 15853.357
AT ITER 1448 NEW BEST:: SOT 436878 SOS 115860 HAS SOPS 115859 HAS SOUS 15738 HAS SOUPS 15737 WITH SCORE 15852.86
AT ITER 1452 NEW BEST:: SOT 436731 SOS 115691 HAS SOPS 115690 HAS SOUS 15738 HAS SOUPS 15737 WITH SCORE 15852.691
AT ITER 1489 NEW BEST:: SOT 436939 SOS 115603 HAS SOPS 115602 HAS SOUS 15738 HAS SOUPS 15737 WITH SCORE 15852.603
AT ITER 1499 NEW BEST:: SOT 437049 SOS 115234 HAS SOPS 115233 HAS SOUS 15738 HAS SOUPS 15737 WITH SCORE 15852.234
AT ITER 1502 NEW BEST:: SOT 436998 SOS 115317 HAS SOPS 115316 HAS SOUS 15733 HAS SOUPS 15732 WITH SCORE 15847.317
AT ITER 1524 NEW BEST:: SOT 436938 SOS 116013 HAS SOPS 116012 HAS SOUS 15716 HAS SOUPS 15715 WITH SCORE 15831.013
AT ITER 1550 NEW BEST:: SOT 436865 SOS 115786 HAS SOPS 115785 HAS SOUS 15716 HAS SOUPS 15715 WITH SCORE 15830.786
AT ITER 1553 NEW BEST:: SOT 437069 SOS 116514 HAS SOPS 116513 HAS SOUS 15700 HAS SOUPS 15699 WITH SCORE 15815.514
AT ITER 1559 NEW BEST:: SOT 437077 SOS 113870 HAS SOPS 113869 HAS SOUS 15700 HAS SOUPS 15699 WITH SCORE 15812.87
AT ITER 1569 NEW BEST:: SOT 436587 SOS 113970 HAS SOPS 113969 HAS SOUS 15676 HAS SOUPS 15675 WITH SCORE 15788.97
AT ITER 1600 NEW BEST:: SOT 436103 SOS 113374 HAS SOPS 113373 HAS SOUS 15676 HAS SOUPS 15675 WITH SCORE 15788.374
AT ITER 1638 NEW BEST:: SOT 436035 SOS 113304 HAS SOPS 113303 HAS SOUS 15676 HAS SOUPS 15675 WITH SCORE 15788.304
AT ITER 1646 NEW BEST:: SOT 436067 SOS 113554 HAS SOPS 113553 HAS SOUS 15670 HAS SOUPS 15669 WITH SCORE 15782.554
AT ITER 1699 NEW BEST:: SOT 435824 SOS 113363 HAS SOPS 113362 HAS SOUS 15634 HAS SOUPS 15633 WITH SCORE 15746.363
AT ITER 1719 NEW BEST:: SOT 435824 SOS 113293 HAS SOPS 113292 HAS SOUS 15634 HAS SOUPS 15633 WITH SCORE 15746.293
AT ITER 1727 NEW BEST:: SOT 435660 SOS 113141 HAS SOPS 113140 HAS SOUS 15634 HAS SOUPS 15633 WITH SCORE 15746.141
AT ITER 1737 NEW BEST:: SOT 435669 SOS 113134 HAS SOPS 113133 HAS SOUS 15616 HAS SOUPS 15615 WITH SCORE 15728.134
AT ITER 1739 NEW BEST:: SOT 433099 SOS 113844 HAS SOPS 113843 HAS SOUS 15603 HAS SOUPS 15602 WITH SCORE 15715.844
AT ITER 1769 NEW BEST:: SOT 433087 SOS 113840 HAS SOPS 113839 HAS SOUS 15603 HAS SOUPS 15602 WITH SCORE 15715.84
AT ITER 1788 NEW BEST:: SOT 433033 SOS 113792 HAS SOPS 113791 HAS SOUS 15603 HAS SOUPS 15602 WITH SCORE 15715.792
AT ITER 1789 NEW BEST:: SOT 433032 SOS 113790 HAS SOPS 113789 HAS SOUS 15600 HAS SOUPS 15599 WITH SCORE 15712.79
AT ITER 1797 NEW BEST:: SOT 432941 SOS 113428 HAS SOPS 113427 HAS SOUS 15600 HAS SOUPS 15599 WITH SCORE 15712.428
AT ITER 1808 NEW BEST:: SOT 432907 SOS 113342 HAS SOPS 113341 HAS SOUS 15600 HAS SOUPS 15599 WITH SCORE 15712.342
AT ITER 1826 NEW BEST:: SOT 432827 SOS 113281 HAS SOPS 113280 HAS SOUS 15600 HAS SOUPS 15599 WITH SCORE 15712.281
AT ITER 1845 NEW BEST:: SOT 432091 SOS 112373 HAS SOPS 112372 HAS SOUS 15600 HAS SOUPS 15599 WITH SCORE 15711.373
AT ITER 1903 NEW BEST:: SOT 432199 SOS 112265 HAS SOPS 112264 HAS SOUS 15566 HAS SOUPS 15565 WITH SCORE 15677.265
AT ITER 1919 NEW BEST:: SOT 432227 SOS 112283 HAS SOPS 112282 HAS SOUS 15564 HAS SOUPS 15563 WITH SCORE 15675.283
AT ITER 1949 NEW BEST:: SOT 432099 SOS 112211 HAS SOPS 112210 HAS SOUS 15564 HAS SOUPS 15563 WITH SCORE 15675.211
AT ITER 1953 NEW BEST:: SOT 431994 SOS 112428 HAS SOPS 112427 HAS SOUS 15561 HAS SOUPS 15560 WITH SCORE 15672.428
AT ITER 1965 NEW BEST:: SOT 432106 SOS 112124 HAS SOPS 112123 HAS SOUS 15561 HAS SOUPS 15560 WITH SCORE 15672.124
AT ITER 2017 NEW BEST:: SOT 431873 SOS 111603 HAS SOPS 111602 HAS SOUS 15561 HAS SOUPS 15560 WITH SCORE 15671.603
AT ITER 2021 NEW BEST:: SOT 431663 SOS 111683 HAS SOPS 111682 HAS SOUS 15553 HAS SOUPS 15552 WITH SCORE 15663.683
AT ITER 2023 NEW BEST:: SOT 431654 SOS 111696 HAS SOPS 111695 HAS SOUS 15552 HAS SOUPS 15551 WITH SCORE 15662.696
AT ITER 2028 NEW BEST:: SOT 431621 SOS 111689 HAS SOPS 111688 HAS SOUS 15551 HAS SOUPS 15550 WITH SCORE 15661.689
AT ITER 2076 NEW BEST:: SOT 430951 SOS 111591 HAS SOPS 111590 HAS SOUS 15551 HAS SOUPS 15550 WITH SCORE 15661.591
AT ITER 2088 NEW BEST:: SOT 430977 SOS 111580 HAS SOPS 111579 HAS SOUS 15551 HAS SOUPS 15550 WITH SCORE 15661.58
AT ITER 2126 NEW BEST:: SOT 430961 SOS 111568 HAS SOPS 111567 HAS SOUS 15551 HAS SOUPS 15550 WITH SCORE 15661.568
AT ITER 2133 NEW BEST:: SOT 430887 SOS 111420 HAS SOPS 111419 HAS SOUS 15547 HAS SOUPS 15546 WITH SCORE 15657.42
AT ITER 2155 NEW BEST:: SOT 430887 SOS 111390 HAS SOPS 111389 HAS SOUS 15547 HAS SOUPS 15546 WITH SCORE 15657.39
AT ITER 2166 NEW BEST:: SOT 431059 SOS 112312 HAS SOPS 112311 HAS SOUS 15530 HAS SOUPS 15529 WITH SCORE 15641.312
AT ITER 2195 NEW BEST:: SOT 431135 SOS 112464 HAS SOPS 112463 HAS SOUS 15526 HAS SOUPS 15525 WITH SCORE 15637.464
AT ITER 2210 NEW BEST:: SOT 430048 SOS 111970 HAS SOPS 111969 HAS SOUS 15523 HAS SOUPS 15522 WITH SCORE 15633.97
AT ITER 2246 NEW BEST:: SOT 430795 SOS 113783 HAS SOPS 113782 HAS SOUS 15506 HAS SOUPS 15505 WITH SCORE 15618.783
AT ITER 2265 NEW BEST:: SOT 430510 SOS 113420 HAS SOPS 113419 HAS SOUS 15506 HAS SOUPS 15505 WITH SCORE 15618.42
AT ITER 2268 NEW BEST:: SOT 430530 SOS 113180 HAS SOPS 113179 HAS SOUS 15506 HAS SOUPS 15505 WITH SCORE 15618.18
AT ITER 2279 NEW BEST:: SOT 431064 SOS 113092 HAS SOPS 113091 HAS SOUS 15506 HAS SOUPS 15505 WITH SCORE 15618.092
AT ITER 2287 NEW BEST:: SOT 430437 SOS 112652 HAS SOPS 112651 HAS SOUS 15505 HAS SOUPS 15504 WITH SCORE 15616.652
AT ITER 2373 NEW BEST:: SOT 430555 SOS 112918 HAS SOPS 112917 HAS SOUS 15499 HAS SOUPS 15498 WITH SCORE 15610.918
AT ITER 2398 NEW BEST:: SOT 430549 SOS 112882 HAS SOPS 112881 HAS SOUS 15499 HAS SOUPS 15498 WITH SCORE 15610.882
AT ITER 2417 NEW BEST:: SOT 430471 SOS 112806 HAS SOPS 112805 HAS SOUS 15499 HAS SOUPS 15498 WITH SCORE 15610.806
AT ITER 2423 NEW BEST:: SOT 430463 SOS 112766 HAS SOPS 112765 HAS SOUS 15499 HAS SOUPS 15498 WITH SCORE 15610.766
AT ITER 2447 NEW BEST:: SOT 430376 SOS 112597 HAS SOPS 112596 HAS SOUS 15499 HAS SOUPS 15498 WITH SCORE 15610.597
AT ITER 2572 NEW BEST:: SOT 429441 SOS 111966 HAS SOPS 111965 HAS SOUS 15448 HAS SOUPS 15447 WITH SCORE 15558.966
AT ITER 2573 NEW BEST:: SOT 429313 SOS 111870 HAS SOPS 111869 HAS SOUS 15448 HAS SOUPS 15447 WITH SCORE 15558.87
AT ITER 2591 NEW BEST:: SOT 429375 SOS 111904 HAS SOPS 111903 HAS SOUS 15411 HAS SOUPS 15410 WITH SCORE 15521.904
AT ITER 2608 NEW BEST:: SOT 429393 SOS 111750 HAS SOPS 111749 HAS SOUS 15411 HAS SOUPS 15410 WITH SCORE 15521.75
AT ITER 2680 NEW BEST:: SOT 429206 SOS 111665 HAS SOPS 111664 HAS SOUS 15402 HAS SOUPS 15401 WITH SCORE 15512.665
AT ITER 2700 NEW BEST:: SOT 429166 SOS 111627 HAS SOPS 111626 HAS SOUS 15402 HAS SOUPS 15401 WITH SCORE 15512.627
AT ITER 2708 NEW BEST:: SOT 429163 SOS 111606 HAS SOPS 111605 HAS SOUS 15402 HAS SOUPS 15401 WITH SCORE 15512.606
AT ITER 2732 NEW BEST:: SOT 429946 SOS 112032 HAS SOPS 112031 HAS SOUS 15401 HAS SOUPS 15400 WITH SCORE 15512.032
AT ITER 2737 NEW BEST:: SOT 429896 SOS 112040 HAS SOPS 112039 HAS SOUS 15399 HAS SOUPS 15398 WITH SCORE 15510.04
AT ITER 2770 NEW BEST:: SOT 429982 SOS 112028 HAS SOPS 112027 HAS SOUS 15399 HAS SOUPS 15398 WITH SCORE 15510.028
AT ITER 2793 NEW BEST:: SOT 429984 SOS 112012 HAS SOPS 112011 HAS SOUS 15399 HAS SOUPS 15398 WITH SCORE 15510.012
AT ITER 2843 NEW BEST:: SOT 429980 SOS 111934 HAS SOPS 111933 HAS SOUS 15399 HAS SOUPS 15398 WITH SCORE 15509.934
AT ITER 2863 NEW BEST:: SOT 430016 SOS 111982 HAS SOPS 111981 HAS SOUS 15385 HAS SOUPS 15384 WITH SCORE 15495.982
AT ITER 2885 NEW BEST:: SOT 430252 SOS 113318 HAS SOPS 113317 HAS SOUS 15372 HAS SOUPS 15371 WITH SCORE 15484.318
AT ITER 2923 NEW BEST:: SOT 430310 SOS 113269 HAS SOPS 113268 HAS SOUS 15372 HAS SOUPS 15371 WITH SCORE 15484.269
AT ITER 2972 NEW BEST:: SOT 430344 SOS 113265 HAS SOPS 113264 HAS SOUS 15372 HAS SOUPS 15371 WITH SCORE 15484.265
AT ITER 2978 NEW BEST:: SOT 430324 SOS 113293 HAS SOPS 113292 HAS SOUS 15368 HAS SOUPS 15367 WITH SCORE 15480.293
AT ITER 3007 NEW BEST:: SOT 429838 SOS 112977 HAS SOPS 112976 HAS SOUS 15368 HAS SOUPS 15367 WITH SCORE 15479.977
AT ITER 3069 NEW BEST:: SOT 429846 SOS 112969 HAS SOPS 112968 HAS SOUS 15368 HAS SOUPS 15367 WITH SCORE 15479.969
AT ITER 3095 NEW BEST:: SOT 429843 SOS 112963 HAS SOPS 112962 HAS SOUS 15363 HAS SOUPS 15362 WITH SCORE 15474.963
AT ITER 3099 NEW BEST:: SOT 429855 SOS 112927 HAS SOPS 112926 HAS SOUS 15363 HAS SOUPS 15362 WITH SCORE 15474.927
AT ITER 3149 NEW BEST:: SOT 429665 SOS 112729 HAS SOPS 112728 HAS SOUS 15343 HAS SOUPS 15342 WITH SCORE 15454.729
AT ITER 3156 NEW BEST:: SOT 429727 SOS 112237 HAS SOPS 112236 HAS SOUS 15343 HAS SOUPS 15342 WITH SCORE 15454.237
AT ITER 3197 NEW BEST:: SOT 429596 SOS 112183 HAS SOPS 112182 HAS SOUS 15343 HAS SOUPS 15342 WITH SCORE 15454.183
AT ITER 3204 NEW BEST:: SOT 429922 SOS 112363 HAS SOPS 112362 HAS SOUS 15339 HAS SOUPS 15338 WITH SCORE 15450.363
AT ITER 3207 NEW BEST:: SOT 429812 SOS 112343 HAS SOPS 112342 HAS SOUS 15339 HAS SOUPS 15338 WITH SCORE 15450.343
AT ITER 3223 NEW BEST:: SOT 429664 SOS 112191 HAS SOPS 112190 HAS SOUS 15331 HAS SOUPS 15330 WITH SCORE 15442.191
AT ITER 3234 NEW BEST:: SOT 426096 SOS 114847 HAS SOPS 114846 HAS SOUS 15327 HAS SOUPS 15326 WITH SCORE 15440.847
AT ITER 3258 NEW BEST:: SOT 426098 SOS 114787 HAS SOPS 114786 HAS SOUS 15327 HAS SOUPS 15326 WITH SCORE 15440.787
AT ITER 3260 NEW BEST:: SOT 428136 SOS 114579 HAS SOPS 114578 HAS SOUS 15327 HAS SOUPS 15326 WITH SCORE 15440.579
AT ITER 3280 NEW BEST:: SOT 428146 SOS 113273 HAS SOPS 113272 HAS SOUS 15327 HAS SOUPS 15326 WITH SCORE 15439.273
AT ITER 3283 NEW BEST:: SOT 427970 SOS 112921 HAS SOPS 112920 HAS SOUS 15327 HAS SOUPS 15326 WITH SCORE 15438.921
AT ITER 3286 NEW BEST:: SOT 427658 SOS 112640 HAS SOPS 112639 HAS SOUS 15259 HAS SOUPS 15258 WITH SCORE 15370.64
AT ITER 3321 NEW BEST:: SOT 427654 SOS 112636 HAS SOPS 112635 HAS SOUS 15259 HAS SOUPS 15258 WITH SCORE 15370.636
AT ITER 3353 NEW BEST:: SOT 428786 SOS 112316 HAS SOPS 112315 HAS SOUS 15259 HAS SOUPS 15258 WITH SCORE 15370.316
AT ITER 3361 NEW BEST:: SOT 428756 SOS 112270 HAS SOPS 112269 HAS SOUS 15259 HAS SOUPS 15258 WITH SCORE 15370.27
AT ITER 3380 NEW BEST:: SOT 428634 SOS 112074 HAS SOPS 112073 HAS SOUS 15235 HAS SOUPS 15234 WITH SCORE 15346.074
AT ITER 3410 NEW BEST:: SOT 428642 SOS 111882 HAS SOPS 111881 HAS SOUS 15235 HAS SOUPS 15234 WITH SCORE 15345.882
AT ITER 3495 NEW BEST:: SOT 428620 SOS 111876 HAS SOPS 111875 HAS SOUS 15235 HAS SOUPS 15234 WITH SCORE 15345.876
AT ITER 3506 NEW BEST:: SOT 429104 SOS 110864 HAS SOPS 110863 HAS SOUS 15235 HAS SOUPS 15234 WITH SCORE 15344.864
AT ITER 3573 NEW BEST:: SOT 428782 SOS 110670 HAS SOPS 110669 HAS SOUS 15220 HAS SOUPS 15219 WITH SCORE 15329.67
AT ITER 3586 NEW BEST:: SOT 428618 SOS 110042 HAS SOPS 110041 HAS SOUS 15220 HAS SOUPS 15219 WITH SCORE 15329.042
AT ITER 3595 NEW BEST:: SOT 428588 SOS 109982 HAS SOPS 109981 HAS SOUS 15220 HAS SOUPS 15219 WITH SCORE 15328.982
AT ITER 3649 NEW BEST:: SOT 428602 SOS 109966 HAS SOPS 109965 HAS SOUS 15219 HAS SOUPS 15218 WITH SCORE 15327.966
AT ITER 3669 NEW BEST:: SOT 428702 SOS 110046 HAS SOPS 110045 HAS SOUS 15215 HAS SOUPS 15214 WITH SCORE 15324.046
AT ITER 3676 NEW BEST:: SOT 429272 SOS 110370 HAS SOPS 110369 HAS SOUS 15182 HAS SOUPS 15181 WITH SCORE 15291.37
AT ITER 3703 NEW BEST:: SOT 429306 SOS 110343 HAS SOPS 110342 HAS SOUS 15182 HAS SOUPS 15181 WITH SCORE 15291.343
AT ITER 3736 NEW BEST:: SOT 429278 SOS 110327 HAS SOPS 110326 HAS SOUS 15182 HAS SOUPS 15181 WITH SCORE 15291.327
AT ITER 3751 NEW BEST:: SOT 429286 SOS 110251 HAS SOPS 110250 HAS SOUS 15182 HAS SOUPS 15181 WITH SCORE 15291.251
AT ITER 3781 NEW BEST:: SOT 428216 SOS 109287 HAS SOPS 109286 HAS SOUS 15182 HAS SOUPS 15181 WITH SCORE 15290.287
AT ITER 3843 NEW BEST:: SOT 428112 SOS 109151 HAS SOPS 109150 HAS SOUS 15182 HAS SOUPS 15181 WITH SCORE 15290.151
AT ITER 3849 NEW BEST:: SOT 428122 SOS 109015 HAS SOPS 109014 HAS SOUS 15182 HAS SOUPS 15181 WITH SCORE 15290.015
AT ITER 3869 NEW BEST:: SOT 428114 SOS 109009 HAS SOPS 109008 HAS SOUS 15182 HAS SOUPS 15181 WITH SCORE 15290.009
AT ITER 3873 NEW BEST:: SOT 428112 SOS 109005 HAS SOPS 109004 HAS SOUS 15179 HAS SOUPS 15178 WITH SCORE 15287.005
AT ITER 3888 NEW BEST:: SOT 428274 SOS 108951 HAS SOPS 108950 HAS SOUS 15095 HAS SOUPS 15094 WITH SCORE 15202.951
AT ITER 3979 NEW BEST:: SOT 428134 SOS 108771 HAS SOPS 108770 HAS SOUS 15083 HAS SOUPS 15082 WITH SCORE 15190.771
AT ITER 4020 NEW BEST:: SOT 427804 SOS 108363 HAS SOPS 108362 HAS SOUS 15083 HAS SOUPS 15082 WITH SCORE 15190.363
AT ITER 4103 NEW BEST:: SOT 427072 SOS 107843 HAS SOPS 107842 HAS SOUS 15071 HAS SOUPS 15070 WITH SCORE 15177.843
AT ITER 4148 NEW BEST:: SOT 425362 SOS 110883 HAS SOPS 110882 HAS SOUS 15047 HAS SOUPS 15046 WITH SCORE 15156.883
AT ITER 4192 NEW BEST:: SOT 425171 SOS 110534 HAS SOPS 110533 HAS SOUS 15046 HAS SOUPS 15045 WITH SCORE 15155.534
AT ITER 4229 NEW BEST:: SOT 425597 SOS 110796 HAS SOPS 110795 HAS SOUS 15036 HAS SOUPS 15035 WITH SCORE 15145.796
AT ITER 4230 NEW BEST:: SOT 425525 SOS 110736 HAS SOPS 110735 HAS SOUS 15036 HAS SOUPS 15035 WITH SCORE 15145.736
AT ITER 4303 NEW BEST:: SOT 425525 SOS 110606 HAS SOPS 110605 HAS SOUS 15036 HAS SOUPS 15035 WITH SCORE 15145.606
AT ITER 4308 NEW BEST:: SOT 425548 SOS 110517 HAS SOPS 110516 HAS SOUS 15036 HAS SOUPS 15035 WITH SCORE 15145.517
AT ITER 4387 NEW BEST:: SOT 425512 SOS 110479 HAS SOPS 110478 HAS SOUS 15036 HAS SOUPS 15035 WITH SCORE 15145.479
AT ITER 4405 NEW BEST:: SOT 425466 SOS 110477 HAS SOPS 110476 HAS SOUS 15036 HAS SOUPS 15035 WITH SCORE 15145.477
AT ITER 4419 NEW BEST:: SOT 425378 SOS 110301 HAS SOPS 110300 HAS SOUS 15036 HAS SOUPS 15035 WITH SCORE 15145.301
AT ITER 4429 NEW BEST:: SOT 425340 SOS 110273 HAS SOPS 110272 HAS SOUS 15036 HAS SOUPS 15035 WITH SCORE 15145.273
AT ITER 4530 NEW BEST:: SOT 425118 SOS 110165 HAS SOPS 110164 HAS SOUS 15036 HAS SOUPS 15035 WITH SCORE 15145.165
AT ITER 4576 NEW BEST:: SOT 425018 SOS 110007 HAS SOPS 110006 HAS SOUS 15036 HAS SOUPS 15035 WITH SCORE 15145.007
AT ITER 4611 NEW BEST:: SOT 424596 SOS 109658 HAS SOPS 109657 HAS SOUS 14996 HAS SOUPS 14995 WITH SCORE 15104.658
AT ITER 4624 NEW BEST:: SOT 424551 SOS 109095 HAS SOPS 109094 HAS SOUS 14987 HAS SOUPS 14986 WITH SCORE 15095.095
AT ITER 4690 NEW BEST:: SOT 424165 SOS 108854 HAS SOPS 108853 HAS SOUS 14946 HAS SOUPS 14945 WITH SCORE 15053.854
AT ITER 4702 NEW BEST:: SOT 424101 SOS 108746 HAS SOPS 108745 HAS SOUS 14946 HAS SOUPS 14945 WITH SCORE 15053.746
AT ITER 4767 NEW BEST:: SOT 424380 SOS 108695 HAS SOPS 108694 HAS SOUS 14946 HAS SOUPS 14945 WITH SCORE 15053.695
AT ITER 4772 NEW BEST:: SOT 424374 SOS 108681 HAS SOPS 108680 HAS SOUS 14946 HAS SOUPS 14945 WITH SCORE 15053.681
AT ITER 4773 NEW BEST:: SOT 424372 SOS 108677 HAS SOPS 108676 HAS SOUS 14946 HAS SOUPS 14945 WITH SCORE 15053.677
AT ITER 4778 NEW BEST:: SOT 424354 SOS 108626 HAS SOPS 108625 HAS SOUS 14946 HAS SOUPS 14945 WITH SCORE 15053.626
AT ITER 4799 NEW BEST:: SOT 424210 SOS 108576 HAS SOPS 108575 HAS SOUS 14946 HAS SOUPS 14945 WITH SCORE 15053.576
AT ITER 4801 NEW BEST:: SOT 424161 SOS 108499 HAS SOPS 108498 HAS SOUS 14946 HAS SOUPS 14945 WITH SCORE 15053.499
AT ITER 4806 NEW BEST:: SOT 424019 SOS 108243 HAS SOPS 108242 HAS SOUS 14946 HAS SOUPS 14945 WITH SCORE 15053.243
AT ITER 4834 NEW BEST:: SOT 423795 SOS 108149 HAS SOPS 108148 HAS SOUS 14940 HAS SOUPS 14939 WITH SCORE 15047.149
AT ITER 4835 NEW BEST:: SOT 423576 SOS 107664 HAS SOPS 107663 HAS SOUS 14923 HAS SOUPS 14922 WITH SCORE 15029.664
AT ITER 4950 NEW BEST:: SOT 423560 SOS 107660 HAS SOPS 107659 HAS SOUS 14923 HAS SOUPS 14922 WITH SCORE 15029.66
AT ITER 5014 NEW BEST:: SOT 423545 SOS 107585 HAS SOPS 107584 HAS SOUS 14923 HAS SOUPS 14922 WITH SCORE 15029.585
AT ITER 5016 NEW BEST:: SOT 423597 SOS 107257 HAS SOPS 107256 HAS SOUS 14914 HAS SOUPS 14913 WITH SCORE 15020.257
AT ITER 5104 NEW BEST:: SOT 423597 SOS 106345 HAS SOPS 106344 HAS SOUS 14914 HAS SOUPS 14913 WITH SCORE 15019.345
AT ITER 5108 NEW BEST:: SOT 423565 SOS 106281 HAS SOPS 106280 HAS SOUS 14914 HAS SOUPS 14913 WITH SCORE 15019.281
AT ITER 5168 NEW BEST:: SOT 423568 SOS 106270 HAS SOPS 106269 HAS SOUS 14914 HAS SOUPS 14913 WITH SCORE 15019.27
AT ITER 5185 NEW BEST:: SOT 423522 SOS 105998 HAS SOPS 105997 HAS SOUS 14914 HAS SOUPS 14913 WITH SCORE 15018.998
AT ITER 5192 NEW BEST:: SOT 423521 SOS 105996 HAS SOPS 105995 HAS SOUS 14912 HAS SOUPS 14911 WITH SCORE 15016.996
AT ITER 5313 NEW BEST:: SOT 423569 SOS 105678 HAS SOPS 105677 HAS SOUS 14912 HAS SOUPS 14911 WITH SCORE 15016.678
AT ITER 5344 NEW BEST:: SOT 423544 SOS 105691 HAS SOPS 105690 HAS SOUS 14911 HAS SOUPS 14910 WITH SCORE 15015.691
AT ITER 5372 NEW BEST:: SOT 423542 SOS 105687 HAS SOPS 105686 HAS SOUS 14906 HAS SOUPS 14905 WITH SCORE 15010.687
AT ITER 5463 NEW BEST:: SOT 422713 SOS 105065 HAS SOPS 105064 HAS SOUS 14831 HAS SOUPS 14830 WITH SCORE 14935.065
AT ITER 5501 NEW BEST:: SOT 422720 SOS 105114 HAS SOPS 105113 HAS SOUS 14830 HAS SOUPS 14829 WITH SCORE 14934.114
AT ITER 5507 NEW BEST:: SOT 422585 SOS 105019 HAS SOPS 105018 HAS SOUS 14830 HAS SOUPS 14829 WITH SCORE 14934.019
AT ITER 5537 NEW BEST:: SOT 422543 SOS 104935 HAS SOPS 104934 HAS SOUS 14830 HAS SOUPS 14829 WITH SCORE 14933.935
AT ITER 5552 NEW BEST:: SOT 422567 SOS 104899 HAS SOPS 104898 HAS SOUS 14830 HAS SOUPS 14829 WITH SCORE 14933.899
AT ITER 5565 NEW BEST:: SOT 422531 SOS 104881 HAS SOPS 104880 HAS SOUS 14830 HAS SOUPS 14829 WITH SCORE 14933.881
AT ITER 5578 NEW BEST:: SOT 422483 SOS 104845 HAS SOPS 104844 HAS SOUS 14830 HAS SOUPS 14829 WITH SCORE 14933.845
AT ITER 5597 NEW BEST:: SOT 422483 SOS 104653 HAS SOPS 104652 HAS SOUS 14830 HAS SOUPS 14829 WITH SCORE 14933.653
AT ITER 5624 NEW BEST:: SOT 422391 SOS 104521 HAS SOPS 104520 HAS SOUS 14814 HAS SOUPS 14813 WITH SCORE 14917.521
AT ITER 5658 NEW BEST:: SOT 422011 SOS 103729 HAS SOPS 103728 HAS SOUS 14802 HAS SOUPS 14801 WITH SCORE 14904.729
AT ITER 5665 NEW BEST:: SOT 421999 SOS 103661 HAS SOPS 103660 HAS SOUS 14790 HAS SOUPS 14789 WITH SCORE 14892.661
AT ITER 5700 NEW BEST:: SOT 422322 SOS 103863 HAS SOPS 103862 HAS SOUS 14781 HAS SOUPS 14780 WITH SCORE 14883.863
AT ITER 5714 NEW BEST:: SOT 422322 SOS 103851 HAS SOPS 103850 HAS SOUS 14781 HAS SOUPS 14780 WITH SCORE 14883.851
AT ITER 5725 NEW BEST:: SOT 422250 SOS 103707 HAS SOPS 103706 HAS SOUS 14781 HAS SOUPS 14780 WITH SCORE 14883.707
AT ITER 5847 NEW BEST:: SOT 422287 SOS 103726 HAS SOPS 103725 HAS SOUS 14758 HAS SOUPS 14757 WITH SCORE 14860.726
AT ITER 5904 NEW BEST:: SOT 422590 SOS 104519 HAS SOPS 104518 HAS SOUS 14749 HAS SOUPS 14748 WITH SCORE 14852.519
AT ITER 5934 NEW BEST:: SOT 422593 SOS 104452 HAS SOPS 104451 HAS SOUS 14749 HAS SOUPS 14748 WITH SCORE 14852.452
AT ITER 6100 NEW BEST:: SOT 422705 SOS 104292 HAS SOPS 104291 HAS SOUS 14749 HAS SOUPS 14748 WITH SCORE 14852.292
AT ITER 6128 NEW BEST:: SOT 422441 SOS 103064 HAS SOPS 103063 HAS SOUS 14748 HAS SOUPS 14747 WITH SCORE 14850.064
AT ITER 6166 NEW BEST:: SOT 422405 SOS 103030 HAS SOPS 103029 HAS SOUS 14746 HAS SOUPS 14745 WITH SCORE 14848.03
AT ITER 6182 NEW BEST:: SOT 422391 SOS 103022 HAS SOPS 103021 HAS SOUS 14744 HAS SOUPS 14743 WITH SCORE 14846.022
AT ITER 6205 NEW BEST:: SOT 422381 SOS 103016 HAS SOPS 103015 HAS SOUS 14744 HAS SOUPS 14743 WITH SCORE 14846.016
AT ITER 6238 NEW BEST:: SOT 422381 SOS 102884 HAS SOPS 102883 HAS SOUS 14744 HAS SOUPS 14743 WITH SCORE 14845.884
AT ITER 6276 NEW BEST:: SOT 421929 SOS 102470 HAS SOPS 102469 HAS SOUS 14676 HAS SOUPS 14675 WITH SCORE 14777.47
AT ITER 6362 NEW BEST:: SOT 421923 SOS 102074 HAS SOPS 102073 HAS SOUS 14670 HAS SOUPS 14669 WITH SCORE 14771.074
AT ITER 6399 NEW BEST:: SOT 421877 SOS 101952 HAS SOPS 101951 HAS SOUS 14670 HAS SOUPS 14669 WITH SCORE 14770.952
AT ITER 6457 NEW BEST:: SOT 421661 SOS 100708 HAS SOPS 100707 HAS SOUS 14663 HAS SOUPS 14662 WITH SCORE 14762.708
AT ITER 6507 NEW BEST:: SOT 421765 SOS 100676 HAS SOPS 100675 HAS SOUS 14663 HAS SOUPS 14662 WITH SCORE 14762.676
AT ITER 6528 NEW BEST:: SOT 421746 SOS 100651 HAS SOPS 100650 HAS SOUS 14663 HAS SOUPS 14662 WITH SCORE 14762.651
AT ITER 6565 NEW BEST:: SOT 421473 SOS 100534 HAS SOPS 100533 HAS SOUS 14663 HAS SOUPS 14662 WITH SCORE 14762.534
AT ITER 6643 NEW BEST:: SOT 421276 SOS 99931 HAS SOPS 99930 HAS SOUS 14663 HAS SOUPS 14662 WITH SCORE 14761.931
AT ITER 6712 NEW BEST:: SOT 421274 SOS 99917 HAS SOPS 99916 HAS SOUS 14663 HAS SOUPS 14662 WITH SCORE 14761.917
AT ITER 6805 NEW BEST:: SOT 421232 SOS 99889 HAS SOPS 99888 HAS SOUS 14663 HAS SOUPS 14662 WITH SCORE 14761.889
AT ITER 6882 NEW BEST:: SOT 421220 SOS 99885 HAS SOPS 99884 HAS SOUS 14663 HAS SOUPS 14662 WITH SCORE 14761.885
AT ITER 6911 NEW BEST:: SOT 420880 SOS 99837 HAS SOPS 99836 HAS SOUS 14655 HAS SOUPS 14654 WITH SCORE 14753.837
AT ITER 7048 NEW BEST:: SOT 420910 SOS 99477 HAS SOPS 99476 HAS SOUS 14655 HAS SOUPS 14654 WITH SCORE 14753.477
AT ITER 7069 NEW BEST:: SOT 420830 SOS 99435 HAS SOPS 99434 HAS SOUS 14653 HAS SOUPS 14652 WITH SCORE 14751.435
AT ITER 7088 NEW BEST:: SOT 421254 SOS 99755 HAS SOPS 99754 HAS SOUS 14647 HAS SOUPS 14646 WITH SCORE 14745.755
AT ITER 7109 NEW BEST:: SOT 421190 SOS 99731 HAS SOPS 99730 HAS SOUS 14647 HAS SOUPS 14646 WITH SCORE 14745.731
AT ITER 7182 NEW BEST:: SOT 421186 SOS 99723 HAS SOPS 99722 HAS SOUS 14643 HAS SOUPS 14642 WITH SCORE 14741.723
AT ITER 7253 NEW BEST:: SOT 421228 SOS 99709 HAS SOPS 99708 HAS SOUS 14643 HAS SOUPS 14642 WITH SCORE 14741.709
AT ITER 7290 NEW BEST:: SOT 420750 SOS 99509 HAS SOPS 99508 HAS SOUS 14623 HAS SOUPS 14622 WITH SCORE 14721.509
AT ITER 7292 NEW BEST:: SOT 420608 SOS 99345 HAS SOPS 99344 HAS SOUS 14619 HAS SOUPS 14618 WITH SCORE 14717.345
AT ITER 7374 NEW BEST:: SOT 420203 SOS 99270 HAS SOPS 99269 HAS SOUS 14619 HAS SOUPS 14618 WITH SCORE 14717.27
AT ITER 7397 NEW BEST:: SOT 420203 SOS 99268 HAS SOPS 99267 HAS SOUS 14619 HAS SOUPS 14618 WITH SCORE 14717.268
AT ITER 7400 NEW BEST:: SOT 419947 SOS 99094 HAS SOPS 99093 HAS SOUS 14619 HAS SOUPS 14618 WITH SCORE 14717.094
AT ITER 7403 NEW BEST:: SOT 419898 SOS 99271 HAS SOPS 99270 HAS SOUS 14608 HAS SOUPS 14607 WITH SCORE 14706.271
AT ITER 7424 NEW BEST:: SOT 419694 SOS 99149 HAS SOPS 99148 HAS SOUS 14606 HAS SOUPS 14605 WITH SCORE 14704.149
AT ITER 7456 NEW BEST:: SOT 419602 SOS 98997 HAS SOPS 98996 HAS SOUS 14590 HAS SOUPS 14589 WITH SCORE 14687.997
AT ITER 7470 NEW BEST:: SOT 419657 SOS 98972 HAS SOPS 98971 HAS SOUS 14575 HAS SOUPS 14574 WITH SCORE 14672.972
AT ITER 7476 NEW BEST:: SOT 419651 SOS 98960 HAS SOPS 98959 HAS SOUS 14571 HAS SOUPS 14570 WITH SCORE 14668.96
AT ITER 7480 NEW BEST:: SOT 419101 SOS 98598 HAS SOPS 98597 HAS SOUS 14438 HAS SOUPS 14437 WITH SCORE 14535.598
AT ITER 7491 NEW BEST:: SOT 419125 SOS 98578 HAS SOPS 98577 HAS SOUS 14436 HAS SOUPS 14435 WITH SCORE 14533.578
AT ITER 7566 NEW BEST:: SOT 418368 SOS 98084 HAS SOPS 98083 HAS SOUS 14427 HAS SOUPS 14426 WITH SCORE 14524.084
AT ITER 7652 NEW BEST:: SOT 418270 SOS 98050 HAS SOPS 98049 HAS SOUS 14425 HAS SOUPS 14424 WITH SCORE 14522.05
AT ITER 7677 NEW BEST:: SOT 418158 SOS 97938 HAS SOPS 97937 HAS SOUS 14407 HAS SOUPS 14406 WITH SCORE 14503.938
AT ITER 7718 NEW BEST:: SOT 418158 SOS 97924 HAS SOPS 97923 HAS SOUS 14407 HAS SOUPS 14406 WITH SCORE 14503.924
AT ITER 7720 NEW BEST:: SOT 417968 SOS 97776 HAS SOPS 97775 HAS SOUS 14407 HAS SOUPS 14406 WITH SCORE 14503.776
AT ITER 7734 NEW BEST:: SOT 418023 SOS 97585 HAS SOPS 97584 HAS SOUS 14386 HAS SOUPS 14385 WITH SCORE 14482.585
AT ITER 7743 NEW BEST:: SOT 418005 SOS 97513 HAS SOPS 97512 HAS SOUS 14386 HAS SOUPS 14385 WITH SCORE 14482.513
AT ITER 7762 NEW BEST:: SOT 417951 SOS 97462 HAS SOPS 97461 HAS SOUS 14357 HAS SOUPS 14356 WITH SCORE 14453.462
AT ITER 7859 NEW BEST:: SOT 417953 SOS 97410 HAS SOPS 97409 HAS SOUS 14357 HAS SOUPS 14356 WITH SCORE 14453.41
AT ITER 7998 NEW BEST:: SOT 417955 SOS 97358 HAS SOPS 97357 HAS SOUS 14357 HAS SOUPS 14356 WITH SCORE 14453.358
AT ITER 8026 NEW BEST:: SOT 417935 SOS 97338 HAS SOPS 97337 HAS SOUS 14357 HAS SOUPS 14356 WITH SCORE 14453.338
AT ITER 8125 NEW BEST:: SOT 417933 SOS 97334 HAS SOPS 97333 HAS SOUS 14355 HAS SOUPS 14354 WITH SCORE 14451.334
AT ITER 8156 NEW BEST:: SOT 416858 SOS 96827 HAS SOPS 96826 HAS SOUS 14346 HAS SOUPS 14345 WITH SCORE 14441.827
AT ITER 8226 NEW BEST:: SOT 416790 SOS 96853 HAS SOPS 96852 HAS SOUS 14344 HAS SOUPS 14343 WITH SCORE 14439.853
AT ITER 8294 NEW BEST:: SOT 416674 SOS 96781 HAS SOPS 96780 HAS SOUS 14344 HAS SOUPS 14343 WITH SCORE 14439.781
AT ITER 8303 NEW BEST:: SOT 416433 SOS 96704 HAS SOPS 96703 HAS SOUS 14339 HAS SOUPS 14338 WITH SCORE 14434.704
AT ITER 8319 NEW BEST:: SOT 416381 SOS 96646 HAS SOPS 96645 HAS SOUS 14339 HAS SOUPS 14338 WITH SCORE 14434.646
AT ITER 8388 NEW BEST:: SOT 416376 SOS 96636 HAS SOPS 96635 HAS SOUS 14330 HAS SOUPS 14329 WITH SCORE 14425.636
AT ITER 8470 NEW BEST:: SOT 416326 SOS 96606 HAS SOPS 96605 HAS SOUS 14330 HAS SOUPS 14329 WITH SCORE 14425.606
AT ITER 8483 NEW BEST:: SOT 416330 SOS 96394 HAS SOPS 96393 HAS SOUS 14330 HAS SOUPS 14329 WITH SCORE 14425.394
AT ITER 8501 NEW BEST:: SOT 416357 SOS 96529 HAS SOPS 96528 HAS SOUS 14327 HAS SOUPS 14326 WITH SCORE 14422.529
AT ITER 8550 NEW BEST:: SOT 415875 SOS 96203 HAS SOPS 96202 HAS SOUS 14327 HAS SOUPS 14326 WITH SCORE 14422.203
AT ITER 8594 NEW BEST:: SOT 415818 SOS 96182 HAS SOPS 96181 HAS SOUS 14324 HAS SOUPS 14323 WITH SCORE 14419.182
AT ITER 8712 NEW BEST:: SOT 415792 SOS 96090 HAS SOPS 96089 HAS SOUS 14324 HAS SOUPS 14323 WITH SCORE 14419.09
AT ITER 8739 NEW BEST:: SOT 415862 SOS 96154 HAS SOPS 96153 HAS SOUS 14290 HAS SOUPS 14289 WITH SCORE 14385.154
AT ITER 8749 NEW BEST:: SOT 415804 SOS 96106 HAS SOPS 96105 HAS SOUS 14278 HAS SOUPS 14277 WITH SCORE 14373.106
AT ITER 8787 NEW BEST:: SOT 415553 SOS 96143 HAS SOPS 96142 HAS SOUS 14269 HAS SOUPS 14268 WITH SCORE 14364.143
AT ITER 8789 NEW BEST:: SOT 415444 SOS 95974 HAS SOPS 95973 HAS SOUS 14269 HAS SOUPS 14268 WITH SCORE 14363.974
AT ITER 8793 NEW BEST:: SOT 415406 SOS 95972 HAS SOPS 95971 HAS SOUS 14269 HAS SOUPS 14268 WITH SCORE 14363.972
AT ITER 8832 NEW BEST:: SOT 415304 SOS 95867 HAS SOPS 95866 HAS SOUS 14254 HAS SOUPS 14253 WITH SCORE 14348.867
AT ITER 8836 NEW BEST:: SOT 415339 SOS 95808 HAS SOPS 95807 HAS SOUS 14245 HAS SOUPS 14244 WITH SCORE 14339.808
AT ITER 8938 NEW BEST:: SOT 415269 SOS 95746 HAS SOPS 95745 HAS SOUS 14245 HAS SOUPS 14244 WITH SCORE 14339.746
AT ITER 9017 NEW BEST:: SOT 415205 SOS 95684 HAS SOPS 95683 HAS SOUS 14245 HAS SOUPS 14244 WITH SCORE 14339.684
AT ITER 9122 NEW BEST:: SOT 415105 SOS 95540 HAS SOPS 95539 HAS SOUS 14245 HAS SOUPS 14244 WITH SCORE 14339.54
AT ITER 9292 NEW BEST:: SOT 415125 SOS 95558 HAS SOPS 95557 HAS SOUS 14243 HAS SOUPS 14242 WITH SCORE 14337.558
AT ITER 9311 NEW BEST:: SOT 414929 SOS 95504 HAS SOPS 95503 HAS SOUS 14243 HAS SOUPS 14242 WITH SCORE 14337.504
AT ITER 9641 NEW BEST:: SOT 414933 SOS 95498 HAS SOPS 95497 HAS SOUS 14243 HAS SOUPS 14242 WITH SCORE 14337.498
AT ITER 9672 NEW BEST:: SOT 414909 SOS 95474 HAS SOPS 95473 HAS SOUS 14231 HAS SOUPS 14230 WITH SCORE 14325.474
AT ITER 9787 NEW BEST:: SOT 414817 SOS 95362 HAS SOPS 95361 HAS SOUS 14215 HAS SOUPS 14214 WITH SCORE 14309.362
AT ITER 9901 NEW BEST:: SOT 414809 SOS 95306 HAS SOPS 95305 HAS SOUS 14201 HAS SOUPS 14200 WITH SCORE 14295.306

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="DNAwalker-PT-18lozangeBlock"
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 DNAwalker-PT-18lozangeBlock, 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 r063-tajo-158922807200224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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