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.r048-ebro-158902542000312.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 DES-PT-50a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542000312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 256K
-rw-r--r-- 1 mcc users 2.7K Mar 30 01:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 01:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 08:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 26 08:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K 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 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 97K 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 1589110333062

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

Filename model.pnml
Petri model created: 314 places, 271 transitions, 1306 arcs.
AT ITER 0 NEW BEST:: SOT 72836 SOS 68600 HAS SOPS 68600 HAS SOUS 35953 HAS SOUPS 35953 WITH SCORE 36021.6
AT ITER 19 NEW BEST:: SOT 68582 SOS 64532 HAS SOPS 64532 HAS SOUS 31709 HAS SOUPS 31709 WITH SCORE 31773.532
AT ITER 40 NEW BEST:: SOT 68506 SOS 64456 HAS SOPS 64456 HAS SOUS 31642 HAS SOUPS 31642 WITH SCORE 31706.456
AT ITER 42 NEW BEST:: SOT 68459 SOS 64453 HAS SOPS 64453 HAS SOUS 31639 HAS SOUPS 31639 WITH SCORE 31703.453
AT ITER 62 NEW BEST:: SOT 68180 SOS 64225 HAS SOPS 64225 HAS SOUS 31410 HAS SOUPS 31410 WITH SCORE 31474.225
AT ITER 66 NEW BEST:: SOT 68030 SOS 64065 HAS SOPS 64065 HAS SOUS 31253 HAS SOUPS 31253 WITH SCORE 31317.065
AT ITER 76 NEW BEST:: SOT 67765 SOS 63836 HAS SOPS 63836 HAS SOUS 31164 HAS SOUPS 31164 WITH SCORE 31227.836
AT ITER 79 NEW BEST:: SOT 67297 SOS 63368 HAS SOPS 63368 HAS SOUS 31164 HAS SOUPS 31164 WITH SCORE 31227.368
AT ITER 80 NEW BEST:: SOT 67180 SOS 63275 HAS SOPS 63275 HAS SOUS 31060 HAS SOUPS 31060 WITH SCORE 31123.275
AT ITER 84 NEW BEST:: SOT 66436 SOS 62453 HAS SOPS 62453 HAS SOUS 30743 HAS SOUPS 30743 WITH SCORE 30805.453
AT ITER 86 NEW BEST:: SOT 66136 SOS 62152 HAS SOPS 62152 HAS SOUS 30442 HAS SOUPS 30442 WITH SCORE 30504.152
AT ITER 110 NEW BEST:: SOT 66136 SOS 62151 HAS SOPS 62151 HAS SOUS 30441 HAS SOUPS 30441 WITH SCORE 30503.151
AT ITER 113 NEW BEST:: SOT 66135 SOS 61885 HAS SOPS 61885 HAS SOUS 30407 HAS SOUPS 30407 WITH SCORE 30468.885
AT ITER 116 NEW BEST:: SOT 57011 SOS 52812 HAS SOPS 52812 HAS SOUS 21333 HAS SOUPS 21333 WITH SCORE 21385.812
AT ITER 117 NEW BEST:: SOT 56760 SOS 52582 HAS SOPS 52582 HAS SOUS 21153 HAS SOUPS 21153 WITH SCORE 21205.582
AT ITER 118 NEW BEST:: SOT 56760 SOS 52742 HAS SOPS 52742 HAS SOUS 21147 HAS SOUPS 21147 WITH SCORE 21199.742
AT ITER 128 NEW BEST:: SOT 56752 SOS 52726 HAS SOPS 52726 HAS SOUS 21131 HAS SOUPS 21131 WITH SCORE 21183.726
AT ITER 137 NEW BEST:: SOT 56424 SOS 52398 HAS SOPS 52398 HAS SOUS 20752 HAS SOUPS 20752 WITH SCORE 20804.398
AT ITER 145 NEW BEST:: SOT 56421 SOS 52395 HAS SOPS 52395 HAS SOUS 20748 HAS SOUPS 20748 WITH SCORE 20800.395
AT ITER 161 NEW BEST:: SOT 56421 SOS 52379 HAS SOPS 52379 HAS SOUS 20747 HAS SOUPS 20747 WITH SCORE 20799.379
AT ITER 170 NEW BEST:: SOT 56338 SOS 52319 HAS SOPS 52319 HAS SOUS 20687 HAS SOUPS 20687 WITH SCORE 20739.319
AT ITER 190 NEW BEST:: SOT 56338 SOS 52275 HAS SOPS 52275 HAS SOUS 20687 HAS SOUPS 20687 WITH SCORE 20739.275
AT ITER 197 NEW BEST:: SOT 56338 SOS 52275 HAS SOPS 52275 HAS SOUS 20686 HAS SOUPS 20686 WITH SCORE 20738.275
AT ITER 204 NEW BEST:: SOT 56338 SOS 52206 HAS SOPS 52206 HAS SOUS 20685 HAS SOUPS 20685 WITH SCORE 20737.206
AT ITER 207 NEW BEST:: SOT 55217 SOS 50835 HAS SOPS 50835 HAS SOUS 19312 HAS SOUPS 19312 WITH SCORE 19362.835
AT ITER 209 NEW BEST:: SOT 55181 SOS 50799 HAS SOPS 50799 HAS SOUS 19274 HAS SOUPS 19274 WITH SCORE 19324.799
AT ITER 237 NEW BEST:: SOT 55181 SOS 50798 HAS SOPS 50798 HAS SOUS 19274 HAS SOUPS 19274 WITH SCORE 19324.798
AT ITER 238 NEW BEST:: SOT 55028 SOS 50636 HAS SOPS 50636 HAS SOUS 19112 HAS SOUPS 19112 WITH SCORE 19162.636
AT ITER 244 NEW BEST:: SOT 54945 SOS 50551 HAS SOPS 50551 HAS SOUS 19027 HAS SOUPS 19027 WITH SCORE 19077.551
AT ITER 250 NEW BEST:: SOT 54945 SOS 50542 HAS SOPS 50542 HAS SOUS 19027 HAS SOUPS 19027 WITH SCORE 19077.542
AT ITER 280 NEW BEST:: SOT 54952 SOS 50549 HAS SOPS 50549 HAS SOUS 19023 HAS SOUPS 19023 WITH SCORE 19073.549
AT ITER 281 NEW BEST:: SOT 54958 SOS 50555 HAS SOPS 50555 HAS SOUS 18851 HAS SOUPS 18851 WITH SCORE 18901.555
AT ITER 287 NEW BEST:: SOT 54940 SOS 50504 HAS SOPS 50504 HAS SOUS 18829 HAS SOUPS 18829 WITH SCORE 18879.504
AT ITER 332 NEW BEST:: SOT 54961 SOS 50552 HAS SOPS 50552 HAS SOUS 18582 HAS SOUPS 18582 WITH SCORE 18632.552
AT ITER 338 NEW BEST:: SOT 54869 SOS 50460 HAS SOPS 50460 HAS SOUS 18489 HAS SOUPS 18489 WITH SCORE 18539.46
AT ITER 350 NEW BEST:: SOT 54868 SOS 50459 HAS SOPS 50459 HAS SOUS 18488 HAS SOUPS 18488 WITH SCORE 18538.459
AT ITER 353 NEW BEST:: SOT 54866 SOS 50456 HAS SOPS 50456 HAS SOUS 18485 HAS SOUPS 18485 WITH SCORE 18535.456
AT ITER 357 NEW BEST:: SOT 54861 SOS 50308 HAS SOPS 50308 HAS SOUS 18337 HAS SOUPS 18337 WITH SCORE 18387.308
AT ITER 377 NEW BEST:: SOT 54426 SOS 49873 HAS SOPS 49873 HAS SOUS 17594 HAS SOUPS 17594 WITH SCORE 17643.873
AT ITER 415 NEW BEST:: SOT 53169 SOS 48616 HAS SOPS 48616 HAS SOUS 16336 HAS SOUPS 16336 WITH SCORE 16384.616
AT ITER 449 NEW BEST:: SOT 53169 SOS 48616 HAS SOPS 48616 HAS SOUS 16328 HAS SOUPS 16328 WITH SCORE 16376.616
AT ITER 460 NEW BEST:: SOT 53168 SOS 48615 HAS SOPS 48615 HAS SOUS 16326 HAS SOUPS 16326 WITH SCORE 16374.615
AT ITER 464 NEW BEST:: SOT 53166 SOS 48613 HAS SOPS 48613 HAS SOUS 16325 HAS SOUPS 16325 WITH SCORE 16373.613
AT ITER 467 NEW BEST:: SOT 50044 SOS 45491 HAS SOPS 45491 HAS SOUS 13203 HAS SOUPS 13203 WITH SCORE 13248.491
AT ITER 474 NEW BEST:: SOT 50033 SOS 45464 HAS SOPS 45464 HAS SOUS 13196 HAS SOUPS 13196 WITH SCORE 13241.464
AT ITER 475 NEW BEST:: SOT 49476 SOS 45053 HAS SOPS 45053 HAS SOUS 13085 HAS SOUPS 13085 WITH SCORE 13130.053
AT ITER 482 NEW BEST:: SOT 49475 SOS 45052 HAS SOPS 45052 HAS SOUS 13083 HAS SOUPS 13083 WITH SCORE 13128.052
AT ITER 528 NEW BEST:: SOT 49472 SOS 44935 HAS SOPS 44935 HAS SOUS 13023 HAS SOUPS 13023 WITH SCORE 13067.935
AT ITER 582 NEW BEST:: SOT 49468 SOS 44931 HAS SOPS 44931 HAS SOUS 13015 HAS SOUPS 13015 WITH SCORE 13059.931
AT ITER 586 NEW BEST:: SOT 49324 SOS 44786 HAS SOPS 44786 HAS SOUS 12870 HAS SOUPS 12870 WITH SCORE 12914.786
AT ITER 604 NEW BEST:: SOT 49150 SOS 44444 HAS SOPS 44444 HAS SOUS 12528 HAS SOUPS 12528 WITH SCORE 12572.444
AT ITER 609 NEW BEST:: SOT 49010 SOS 44301 HAS SOPS 44301 HAS SOUS 12385 HAS SOUPS 12385 WITH SCORE 12429.301
AT ITER 610 NEW BEST:: SOT 48998 SOS 44289 HAS SOPS 44289 HAS SOUS 12373 HAS SOUPS 12373 WITH SCORE 12417.289
AT ITER 663 NEW BEST:: SOT 48932 SOS 44083 HAS SOPS 44083 HAS SOUS 12313 HAS SOUPS 12313 WITH SCORE 12357.083
AT ITER 712 NEW BEST:: SOT 48955 SOS 44105 HAS SOPS 44105 HAS SOUS 12308 HAS SOUPS 12308 WITH SCORE 12352.105
AT ITER 717 NEW BEST:: SOT 48820 SOS 43970 HAS SOPS 43970 HAS SOUS 12286 HAS SOUPS 12286 WITH SCORE 12329.97
AT ITER 719 NEW BEST:: SOT 48807 SOS 43957 HAS SOPS 43957 HAS SOUS 12286 HAS SOUPS 12286 WITH SCORE 12329.957
AT ITER 732 NEW BEST:: SOT 48807 SOS 43919 HAS SOPS 43919 HAS SOUS 12279 HAS SOUPS 12279 WITH SCORE 12322.919
AT ITER 742 NEW BEST:: SOT 48806 SOS 43918 HAS SOPS 43918 HAS SOUS 12277 HAS SOUPS 12277 WITH SCORE 12320.918
AT ITER 773 NEW BEST:: SOT 48806 SOS 43876 HAS SOPS 43876 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12310.876
AT ITER 799 NEW BEST:: SOT 48806 SOS 43876 HAS SOPS 43876 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12307.876
AT ITER 838 NEW BEST:: SOT 48799 SOS 43868 HAS SOPS 43868 HAS SOUS 12256 HAS SOUPS 12256 WITH SCORE 12299.868
AT ITER 842 NEW BEST:: SOT 48791 SOS 43860 HAS SOPS 43860 HAS SOUS 12248 HAS SOUPS 12248 WITH SCORE 12291.86
AT ITER 895 NEW BEST:: SOT 48642 SOS 43698 HAS SOPS 43698 HAS SOUS 12086 HAS SOUPS 12086 WITH SCORE 12129.698
AT ITER 903 NEW BEST:: SOT 48635 SOS 43691 HAS SOPS 43691 HAS SOUS 12079 HAS SOUPS 12079 WITH SCORE 12122.691
AT ITER 942 NEW BEST:: SOT 48635 SOS 43670 HAS SOPS 43670 HAS SOUS 12078 HAS SOUPS 12078 WITH SCORE 12121.67
AT ITER 987 NEW BEST:: SOT 48501 SOS 43462 HAS SOPS 43462 HAS SOUS 11907 HAS SOUPS 11907 WITH SCORE 11950.462
AT ITER 1021 NEW BEST:: SOT 48486 SOS 43447 HAS SOPS 43447 HAS SOUS 11892 HAS SOUPS 11892 WITH SCORE 11935.447
AT ITER 1048 NEW BEST:: SOT 48475 SOS 43436 HAS SOPS 43436 HAS SOUS 11870 HAS SOUPS 11870 WITH SCORE 11913.436
AT ITER 1055 NEW BEST:: SOT 48449 SOS 43404 HAS SOPS 43404 HAS SOUS 11864 HAS SOUPS 11864 WITH SCORE 11907.404
AT ITER 1102 NEW BEST:: SOT 48444 SOS 43394 HAS SOPS 43394 HAS SOUS 11860 HAS SOUPS 11860 WITH SCORE 11903.394
AT ITER 1108 NEW BEST:: SOT 48443 SOS 43393 HAS SOPS 43393 HAS SOUS 11858 HAS SOUPS 11858 WITH SCORE 11901.393
AT ITER 1111 NEW BEST:: SOT 48442 SOS 43392 HAS SOPS 43392 HAS SOUS 11856 HAS SOUPS 11856 WITH SCORE 11899.392
AT ITER 1114 NEW BEST:: SOT 48442 SOS 43391 HAS SOPS 43391 HAS SOUS 11855 HAS SOUPS 11855 WITH SCORE 11898.391
AT ITER 1124 NEW BEST:: SOT 48509 SOS 43394 HAS SOPS 43394 HAS SOUS 11794 HAS SOUPS 11794 WITH SCORE 11837.394
AT ITER 1128 NEW BEST:: SOT 48495 SOS 43380 HAS SOPS 43380 HAS SOUS 11774 HAS SOUPS 11774 WITH SCORE 11817.38
AT ITER 1148 NEW BEST:: SOT 48495 SOS 43364 HAS SOPS 43364 HAS SOUS 11766 HAS SOUPS 11766 WITH SCORE 11809.364
AT ITER 1165 NEW BEST:: SOT 48281 SOS 43134 HAS SOPS 43134 HAS SOUS 11644 HAS SOUPS 11644 WITH SCORE 11687.134
AT ITER 1195 NEW BEST:: SOT 48274 SOS 43127 HAS SOPS 43127 HAS SOUS 11636 HAS SOUPS 11636 WITH SCORE 11679.127
AT ITER 1249 NEW BEST:: SOT 48274 SOS 43127 HAS SOPS 43127 HAS SOUS 11635 HAS SOUPS 11635 WITH SCORE 11678.127
AT ITER 1252 NEW BEST:: SOT 48134 SOS 42987 HAS SOPS 42987 HAS SOUS 11635 HAS SOUPS 11635 WITH SCORE 11677.987
AT ITER 1255 NEW BEST:: SOT 48165 SOS 42857 HAS SOPS 42857 HAS SOUS 11505 HAS SOUPS 11505 WITH SCORE 11547.857
AT ITER 1285 NEW BEST:: SOT 48165 SOS 42853 HAS SOPS 42853 HAS SOUS 11489 HAS SOUPS 11489 WITH SCORE 11531.853
AT ITER 1294 NEW BEST:: SOT 48165 SOS 42843 HAS SOPS 42843 HAS SOUS 11479 HAS SOUPS 11479 WITH SCORE 11521.843
AT ITER 1311 NEW BEST:: SOT 48162 SOS 42840 HAS SOPS 42840 HAS SOUS 11475 HAS SOUPS 11475 WITH SCORE 11517.84
AT ITER 1319 NEW BEST:: SOT 48161 SOS 42839 HAS SOPS 42839 HAS SOUS 11475 HAS SOUPS 11475 WITH SCORE 11517.839
AT ITER 1334 NEW BEST:: SOT 48171 SOS 42849 HAS SOPS 42849 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11486.849
AT ITER 1375 NEW BEST:: SOT 48291 SOS 42969 HAS SOPS 42969 HAS SOUS 11408 HAS SOUPS 11408 WITH SCORE 11450.969
AT ITER 1429 NEW BEST:: SOT 48200 SOS 42733 HAS SOPS 42733 HAS SOUS 11242 HAS SOUPS 11242 WITH SCORE 11284.733
AT ITER 1436 NEW BEST:: SOT 48209 SOS 42769 HAS SOPS 42769 HAS SOUS 11239 HAS SOUPS 11239 WITH SCORE 11281.769
AT ITER 1479 NEW BEST:: SOT 48197 SOS 42757 HAS SOPS 42757 HAS SOUS 11215 HAS SOUPS 11215 WITH SCORE 11257.757
AT ITER 1498 NEW BEST:: SOT 48192 SOS 42738 HAS SOPS 42738 HAS SOUS 11196 HAS SOUPS 11196 WITH SCORE 11238.738
AT ITER 1507 NEW BEST:: SOT 47932 SOS 42479 HAS SOPS 42479 HAS SOUS 10937 HAS SOUPS 10937 WITH SCORE 10979.479
AT ITER 1555 NEW BEST:: SOT 47374 SOS 41912 HAS SOPS 41912 HAS SOUS 10730 HAS SOUPS 10730 WITH SCORE 10771.912
AT ITER 1564 NEW BEST:: SOT 47369 SOS 41907 HAS SOPS 41907 HAS SOUS 10730 HAS SOUPS 10730 WITH SCORE 10771.907
AT ITER 1568 NEW BEST:: SOT 47369 SOS 41400 HAS SOPS 41400 HAS SOUS 10725 HAS SOUPS 10725 WITH SCORE 10766.4
AT ITER 1582 NEW BEST:: SOT 47365 SOS 41394 HAS SOPS 41394 HAS SOUS 10719 HAS SOUPS 10719 WITH SCORE 10760.394
AT ITER 1652 NEW BEST:: SOT 47365 SOS 41295 HAS SOPS 41295 HAS SOUS 10620 HAS SOUPS 10620 WITH SCORE 10661.295
AT ITER 1699 NEW BEST:: SOT 47365 SOS 41295 HAS SOPS 41295 HAS SOUS 10601 HAS SOUPS 10601 WITH SCORE 10642.295
AT ITER 1751 NEW BEST:: SOT 47364 SOS 41294 HAS SOPS 41294 HAS SOUS 10599 HAS SOUPS 10599 WITH SCORE 10640.294
AT ITER 1754 NEW BEST:: SOT 47330 SOS 41144 HAS SOPS 41144 HAS SOUS 10449 HAS SOUPS 10449 WITH SCORE 10490.144
AT ITER 1793 NEW BEST:: SOT 47329 SOS 41143 HAS SOPS 41143 HAS SOUS 10447 HAS SOUPS 10447 WITH SCORE 10488.143
AT ITER 1819 NEW BEST:: SOT 47331 SOS 41141 HAS SOPS 41141 HAS SOUS 10445 HAS SOUPS 10445 WITH SCORE 10486.141
AT ITER 1845 NEW BEST:: SOT 47305 SOS 37182 HAS SOPS 37182 HAS SOUS 10407 HAS SOUPS 10407 WITH SCORE 10444.182
AT ITER 1898 NEW BEST:: SOT 47302 SOS 37179 HAS SOPS 37179 HAS SOUS 10356 HAS SOUPS 10356 WITH SCORE 10393.179
AT ITER 1906 NEW BEST:: SOT 47208 SOS 37085 HAS SOPS 37085 HAS SOUS 10250 HAS SOUPS 10250 WITH SCORE 10287.085
AT ITER 1919 NEW BEST:: SOT 47208 SOS 37085 HAS SOPS 37085 HAS SOUS 10248 HAS SOUPS 10248 WITH SCORE 10285.085
AT ITER 1925 NEW BEST:: SOT 47206 SOS 37083 HAS SOPS 37083 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10282.083
AT ITER 1943 NEW BEST:: SOT 46994 SOS 36871 HAS SOPS 36871 HAS SOUS 10029 HAS SOUPS 10029 WITH SCORE 10065.871
AT ITER 1950 NEW BEST:: SOT 46852 SOS 36729 HAS SOPS 36729 HAS SOUS 9887 HAS SOUPS 9887 WITH SCORE 9923.729
AT ITER 2009 NEW BEST:: SOT 46812 SOS 36689 HAS SOPS 36689 HAS SOUS 9863 HAS SOUPS 9863 WITH SCORE 9899.689
AT ITER 2030 NEW BEST:: SOT 46806 SOS 36530 HAS SOPS 36530 HAS SOUS 9857 HAS SOUPS 9857 WITH SCORE 9893.53
AT ITER 2133 NEW BEST:: SOT 46797 SOS 36521 HAS SOPS 36521 HAS SOUS 9848 HAS SOUPS 9848 WITH SCORE 9884.521
AT ITER 2136 NEW BEST:: SOT 46799 SOS 34225 HAS SOPS 34225 HAS SOUS 9806 HAS SOUPS 9806 WITH SCORE 9840.225
AT ITER 2173 NEW BEST:: SOT 46799 SOS 34187 HAS SOPS 34187 HAS SOUS 9768 HAS SOUPS 9768 WITH SCORE 9802.187
AT ITER 2204 NEW BEST:: SOT 46790 SOS 34178 HAS SOPS 34178 HAS SOUS 9750 HAS SOUPS 9750 WITH SCORE 9784.178
AT ITER 2231 NEW BEST:: SOT 46789 SOS 34177 HAS SOPS 34177 HAS SOUS 9748 HAS SOUPS 9748 WITH SCORE 9782.177
AT ITER 2264 NEW BEST:: SOT 46784 SOS 34172 HAS SOPS 34172 HAS SOUS 9743 HAS SOUPS 9743 WITH SCORE 9777.172
AT ITER 2284 NEW BEST:: SOT 46781 SOS 34169 HAS SOPS 34169 HAS SOUS 9737 HAS SOUPS 9737 WITH SCORE 9771.169
AT ITER 2292 NEW BEST:: SOT 46799 SOS 34184 HAS SOPS 34184 HAS SOUS 9697 HAS SOUPS 9697 WITH SCORE 9731.184
AT ITER 2294 NEW BEST:: SOT 46730 SOS 34152 HAS SOPS 34152 HAS SOUS 9642 HAS SOUPS 9642 WITH SCORE 9676.152
AT ITER 2298 NEW BEST:: SOT 46661 SOS 34100 HAS SOPS 34100 HAS SOUS 9590 HAS SOUPS 9590 WITH SCORE 9624.1
AT ITER 2340 NEW BEST:: SOT 46660 SOS 34099 HAS SOPS 34099 HAS SOUS 9588 HAS SOUPS 9588 WITH SCORE 9622.099
AT ITER 2371 NEW BEST:: SOT 46640 SOS 34079 HAS SOPS 34079 HAS SOUS 9548 HAS SOUPS 9548 WITH SCORE 9582.079
AT ITER 2382 NEW BEST:: SOT 46479 SOS 33883 HAS SOPS 33883 HAS SOUS 9534 HAS SOUPS 9534 WITH SCORE 9567.883
AT ITER 2427 NEW BEST:: SOT 46462 SOS 33840 HAS SOPS 33840 HAS SOUS 9491 HAS SOUPS 9491 WITH SCORE 9524.84
AT ITER 2436 NEW BEST:: SOT 46459 SOS 33837 HAS SOPS 33837 HAS SOUS 9485 HAS SOUPS 9485 WITH SCORE 9518.837
AT ITER 2437 NEW BEST:: SOT 46456 SOS 33678 HAS SOPS 33678 HAS SOUS 9326 HAS SOUPS 9326 WITH SCORE 9359.678
AT ITER 2444 NEW BEST:: SOT 46456 SOS 33640 HAS SOPS 33640 HAS SOUS 9322 HAS SOUPS 9322 WITH SCORE 9355.64
AT ITER 2457 NEW BEST:: SOT 46425 SOS 33609 HAS SOPS 33609 HAS SOUS 9266 HAS SOUPS 9266 WITH SCORE 9299.609
AT ITER 2493 NEW BEST:: SOT 46425 SOS 33547 HAS SOPS 33547 HAS SOUS 9235 HAS SOUPS 9235 WITH SCORE 9268.547
AT ITER 2555 NEW BEST:: SOT 46425 SOS 33547 HAS SOPS 33547 HAS SOUS 9232 HAS SOUPS 9232 WITH SCORE 9265.547
AT ITER 2571 NEW BEST:: SOT 46417 SOS 33538 HAS SOPS 33538 HAS SOUS 9223 HAS SOUPS 9223 WITH SCORE 9256.538
AT ITER 2581 NEW BEST:: SOT 46412 SOS 33533 HAS SOPS 33533 HAS SOUS 9218 HAS SOUPS 9218 WITH SCORE 9251.533
AT ITER 2592 NEW BEST:: SOT 46402 SOS 33513 HAS SOPS 33513 HAS SOUS 9218 HAS SOUPS 9218 WITH SCORE 9251.513
AT ITER 2618 NEW BEST:: SOT 46432 SOS 33543 HAS SOPS 33543 HAS SOUS 9211 HAS SOUPS 9211 WITH SCORE 9244.543
AT ITER 2634 NEW BEST:: SOT 46272 SOS 33376 HAS SOPS 33376 HAS SOUS 9044 HAS SOUPS 9044 WITH SCORE 9077.376
AT ITER 2642 NEW BEST:: SOT 46274 SOS 33372 HAS SOPS 33372 HAS SOUS 9040 HAS SOUPS 9040 WITH SCORE 9073.372
AT ITER 2648 NEW BEST:: SOT 46273 SOS 33371 HAS SOPS 33371 HAS SOUS 9038 HAS SOUPS 9038 WITH SCORE 9071.371
AT ITER 2655 NEW BEST:: SOT 45951 SOS 33049 HAS SOPS 33049 HAS SOUS 8716 HAS SOUPS 8716 WITH SCORE 8749.049
AT ITER 2670 NEW BEST:: SOT 45950 SOS 33024 HAS SOPS 33024 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8746.024
AT ITER 2687 NEW BEST:: SOT 45813 SOS 32887 HAS SOPS 32887 HAS SOUS 8576 HAS SOUPS 8576 WITH SCORE 8608.887
AT ITER 2744 NEW BEST:: SOT 45828 SOS 32902 HAS SOPS 32902 HAS SOUS 8569 HAS SOUPS 8569 WITH SCORE 8601.902
AT ITER 2784 NEW BEST:: SOT 45827 SOS 32901 HAS SOPS 32901 HAS SOUS 8567 HAS SOUPS 8567 WITH SCORE 8599.901
AT ITER 2849 NEW BEST:: SOT 45824 SOS 32898 HAS SOPS 32898 HAS SOUS 8567 HAS SOUPS 8567 WITH SCORE 8599.898
AT ITER 2874 NEW BEST:: SOT 45824 SOS 32855 HAS SOPS 32855 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8556.855
AT ITER 2877 NEW BEST:: SOT 45813 SOS 32792 HAS SOPS 32792 HAS SOUS 8512 HAS SOUPS 8512 WITH SCORE 8544.792
AT ITER 2879 NEW BEST:: SOT 45810 SOS 32786 HAS SOPS 32786 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8538.786
AT ITER 2922 NEW BEST:: SOT 45785 SOS 32695 HAS SOPS 32695 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8510.695
AT ITER 2950 NEW BEST:: SOT 45783 SOS 32693 HAS SOPS 32693 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8507.693
AT ITER 3048 NEW BEST:: SOT 45782 SOS 32692 HAS SOPS 32692 HAS SOUS 8473 HAS SOUPS 8473 WITH SCORE 8505.692
AT ITER 3090 NEW BEST:: SOT 45717 SOS 32627 HAS SOPS 32627 HAS SOUS 8343 HAS SOUPS 8343 WITH SCORE 8375.627
AT ITER 3096 NEW BEST:: SOT 45716 SOS 32626 HAS SOPS 32626 HAS SOUS 8341 HAS SOUPS 8341 WITH SCORE 8373.626
AT ITER 3104 NEW BEST:: SOT 45715 SOS 32625 HAS SOPS 32625 HAS SOUS 8341 HAS SOUPS 8341 WITH SCORE 8373.625
AT ITER 3152 NEW BEST:: SOT 45604 SOS 32420 HAS SOPS 32420 HAS SOUS 8213 HAS SOUPS 8213 WITH SCORE 8245.42
AT ITER 3160 NEW BEST:: SOT 45595 SOS 32411 HAS SOPS 32411 HAS SOUS 8195 HAS SOUPS 8195 WITH SCORE 8227.411
AT ITER 3194 NEW BEST:: SOT 45588 SOS 32404 HAS SOPS 32404 HAS SOUS 8188 HAS SOUPS 8188 WITH SCORE 8220.404
AT ITER 3236 NEW BEST:: SOT 45560 SOS 32376 HAS SOPS 32376 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8184.376
AT ITER 3241 NEW BEST:: SOT 45533 SOS 32340 HAS SOPS 32340 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8166.34
AT ITER 3299 NEW BEST:: SOT 45533 SOS 32336 HAS SOPS 32336 HAS SOUS 8130 HAS SOUPS 8130 WITH SCORE 8162.336
AT ITER 3367 NEW BEST:: SOT 45486 SOS 32159 HAS SOPS 32159 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8132.159
AT ITER 3378 NEW BEST:: SOT 45482 SOS 32148 HAS SOPS 32148 HAS SOUS 8089 HAS SOUPS 8089 WITH SCORE 8121.148
AT ITER 3463 NEW BEST:: SOT 45516 SOS 32182 HAS SOPS 32182 HAS SOUS 8065 HAS SOUPS 8065 WITH SCORE 8097.182
AT ITER 3489 NEW BEST:: SOT 45507 SOS 32164 HAS SOPS 32164 HAS SOUS 8047 HAS SOUPS 8047 WITH SCORE 8079.164
AT ITER 3516 NEW BEST:: SOT 45486 SOS 32123 HAS SOPS 32123 HAS SOUS 8045 HAS SOUPS 8045 WITH SCORE 8077.123
AT ITER 3664 NEW BEST:: SOT 45475 SOS 32112 HAS SOPS 32112 HAS SOUS 8045 HAS SOUPS 8045 WITH SCORE 8077.112
AT ITER 3697 NEW BEST:: SOT 45489 SOS 31988 HAS SOPS 31988 HAS SOUS 7921 HAS SOUPS 7921 WITH SCORE 7952.988
AT ITER 3729 NEW BEST:: SOT 45489 SOS 31988 HAS SOPS 31988 HAS SOUS 7920 HAS SOUPS 7920 WITH SCORE 7951.988
AT ITER 3879 NEW BEST:: SOT 45485 SOS 32012 HAS SOPS 32012 HAS SOUS 7912 HAS SOUPS 7912 WITH SCORE 7944.012
AT ITER 3896 NEW BEST:: SOT 45484 SOS 32011 HAS SOPS 32011 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7943.011
AT ITER 3929 NEW BEST:: SOT 45482 SOS 32009 HAS SOPS 32009 HAS SOUS 7907 HAS SOUPS 7907 WITH SCORE 7939.009
AT ITER 3956 NEW BEST:: SOT 45481 SOS 32005 HAS SOPS 32005 HAS SOUS 7903 HAS SOUPS 7903 WITH SCORE 7935.005
AT ITER 3964 NEW BEST:: SOT 45481 SOS 31995 HAS SOPS 31995 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7924.995
AT ITER 4049 NEW BEST:: SOT 45472 SOS 31986 HAS SOPS 31986 HAS SOUS 7875 HAS SOUPS 7875 WITH SCORE 7906.986
AT ITER 4119 NEW BEST:: SOT 45463 SOS 31955 HAS SOPS 31955 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7875.955
AT ITER 4124 NEW BEST:: SOT 45486 SOS 31978 HAS SOPS 31978 HAS SOUS 7790 HAS SOUPS 7790 WITH SCORE 7821.978
AT ITER 4151 NEW BEST:: SOT 45483 SOS 31975 HAS SOPS 31975 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7818.975
AT ITER 4168 NEW BEST:: SOT 45483 SOS 31978 HAS SOPS 31978 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7815.978
AT ITER 4235 NEW BEST:: SOT 45482 SOS 31977 HAS SOPS 31977 HAS SOUS 7782 HAS SOUPS 7782 WITH SCORE 7813.977
AT ITER 4243 NEW BEST:: SOT 45466 SOS 31962 HAS SOPS 31962 HAS SOUS 7767 HAS SOUPS 7767 WITH SCORE 7798.962
AT ITER 4267 NEW BEST:: SOT 45389 SOS 31880 HAS SOPS 31880 HAS SOUS 7749 HAS SOUPS 7749 WITH SCORE 7780.88
AT ITER 4318 NEW BEST:: SOT 45382 SOS 31850 HAS SOPS 31850 HAS SOUS 7739 HAS SOUPS 7739 WITH SCORE 7770.85
AT ITER 4322 NEW BEST:: SOT 45381 SOS 31849 HAS SOPS 31849 HAS SOUS 7735 HAS SOUPS 7735 WITH SCORE 7766.849
AT ITER 4327 NEW BEST:: SOT 45381 SOS 31848 HAS SOPS 31848 HAS SOUS 7734 HAS SOUPS 7734 WITH SCORE 7765.848
AT ITER 4371 NEW BEST:: SOT 45380 SOS 31847 HAS SOPS 31847 HAS SOUS 7732 HAS SOUPS 7732 WITH SCORE 7763.847
AT ITER 4414 NEW BEST:: SOT 45372 SOS 31839 HAS SOPS 31839 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7747.839
AT ITER 4431 NEW BEST:: SOT 45372 SOS 31839 HAS SOPS 31839 HAS SOUS 7709 HAS SOUPS 7709 WITH SCORE 7740.839
AT ITER 4469 NEW BEST:: SOT 45407 SOS 31874 HAS SOPS 31874 HAS SOUS 7699 HAS SOUPS 7699 WITH SCORE 7730.874
AT ITER 4479 NEW BEST:: SOT 45376 SOS 31142 HAS SOPS 31142 HAS SOUS 7639 HAS SOUPS 7639 WITH SCORE 7670.142
AT ITER 4517 NEW BEST:: SOT 45370 SOS 31136 HAS SOPS 31136 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7664.136
AT ITER 4527 NEW BEST:: SOT 45332 SOS 31109 HAS SOPS 31109 HAS SOUS 7606 HAS SOUPS 7606 WITH SCORE 7637.109
AT ITER 4606 NEW BEST:: SOT 45330 SOS 31016 HAS SOPS 31016 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7635.016
AT ITER 4653 NEW BEST:: SOT 45318 SOS 30987 HAS SOPS 30987 HAS SOUS 7597 HAS SOUPS 7597 WITH SCORE 7627.987
AT ITER 4693 NEW BEST:: SOT 45316 SOS 30985 HAS SOPS 30985 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7625.985
AT ITER 4827 NEW BEST:: SOT 45303 SOS 30972 HAS SOPS 30972 HAS SOUS 7582 HAS SOUPS 7582 WITH SCORE 7612.972
AT ITER 4899 NEW BEST:: SOT 45301 SOS 30966 HAS SOPS 30966 HAS SOUS 7575 HAS SOUPS 7575 WITH SCORE 7605.966
AT ITER 4908 NEW BEST:: SOT 45300 SOS 30965 HAS SOPS 30965 HAS SOUS 7573 HAS SOUPS 7573 WITH SCORE 7603.965
AT ITER 4921 NEW BEST:: SOT 45288 SOS 30951 HAS SOPS 30951 HAS SOUS 7559 HAS SOUPS 7559 WITH SCORE 7589.951
AT ITER 5032 NEW BEST:: SOT 45408 SOS 31017 HAS SOPS 31017 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7574.017
AT ITER 5082 NEW BEST:: SOT 45409 SOS 31014 HAS SOPS 31014 HAS SOUS 7540 HAS SOUPS 7540 WITH SCORE 7571.014
AT ITER 5096 NEW BEST:: SOT 45389 SOS 30994 HAS SOPS 30994 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7550.994
AT ITER 5101 NEW BEST:: SOT 45393 SOS 30990 HAS SOPS 30990 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7550.99
AT ITER 5137 NEW BEST:: SOT 45386 SOS 30976 HAS SOPS 30976 HAS SOUS 7518 HAS SOUPS 7518 WITH SCORE 7548.976
AT ITER 5218 NEW BEST:: SOT 45362 SOS 30941 HAS SOPS 30941 HAS SOUS 7509 HAS SOUPS 7509 WITH SCORE 7539.941
AT ITER 5228 NEW BEST:: SOT 45350 SOS 30929 HAS SOPS 30929 HAS SOUS 7497 HAS SOUPS 7497 WITH SCORE 7527.929
AT ITER 5357 NEW BEST:: SOT 45345 SOS 30924 HAS SOPS 30924 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7522.924
AT ITER 5378 NEW BEST:: SOT 45344 SOS 30905 HAS SOPS 30905 HAS SOUS 7490 HAS SOUPS 7490 WITH SCORE 7520.905
AT ITER 5386 NEW BEST:: SOT 45330 SOS 30891 HAS SOPS 30891 HAS SOUS 7446 HAS SOUPS 7446 WITH SCORE 7476.891
AT ITER 5411 NEW BEST:: SOT 45314 SOS 30859 HAS SOPS 30859 HAS SOUS 7430 HAS SOUPS 7430 WITH SCORE 7460.859
AT ITER 5527 NEW BEST:: SOT 45313 SOS 30857 HAS SOPS 30857 HAS SOUS 7428 HAS SOUPS 7428 WITH SCORE 7458.857
AT ITER 5613 NEW BEST:: SOT 45312 SOS 30856 HAS SOPS 30856 HAS SOUS 7426 HAS SOUPS 7426 WITH SCORE 7456.856
AT ITER 5685 NEW BEST:: SOT 45312 SOS 30866 HAS SOPS 30866 HAS SOUS 7404 HAS SOUPS 7404 WITH SCORE 7434.866
AT ITER 5715 NEW BEST:: SOT 45311 SOS 30856 HAS SOPS 30856 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7424.856
AT ITER 5757 NEW BEST:: SOT 45307 SOS 30846 HAS SOPS 30846 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7419.846
AT ITER 5826 NEW BEST:: SOT 45170 SOS 30579 HAS SOPS 30579 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7291.579
AT ITER 5877 NEW BEST:: SOT 45170 SOS 30579 HAS SOPS 30579 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7278.579
AT ITER 5920 NEW BEST:: SOT 45151 SOS 30560 HAS SOPS 30560 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7240.56
AT ITER 5984 NEW BEST:: SOT 45139 SOS 30548 HAS SOPS 30548 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7216.548
AT ITER 5988 NEW BEST:: SOT 45136 SOS 30545 HAS SOPS 30545 HAS SOUS 7180 HAS SOUPS 7180 WITH SCORE 7210.545
AT ITER 5993 NEW BEST:: SOT 45136 SOS 30537 HAS SOPS 30537 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7206.537
AT ITER 6026 NEW BEST:: SOT 45139 SOS 30540 HAS SOPS 30540 HAS SOUS 7173 HAS SOUPS 7173 WITH SCORE 7203.54
AT ITER 6076 NEW BEST:: SOT 45138 SOS 30539 HAS SOPS 30539 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7201.539
AT ITER 6136 NEW BEST:: SOT 45137 SOS 30538 HAS SOPS 30538 HAS SOUS 7170 HAS SOUPS 7170 WITH SCORE 7200.538
AT ITER 6142 NEW BEST:: SOT 45088 SOS 30489 HAS SOPS 30489 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7191.489
AT ITER 6160 NEW BEST:: SOT 45086 SOS 30487 HAS SOPS 30487 HAS SOUS 7159 HAS SOUPS 7159 WITH SCORE 7189.487
AT ITER 6184 NEW BEST:: SOT 45082 SOS 30483 HAS SOPS 30483 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7185.483
AT ITER 6207 NEW BEST:: SOT 45082 SOS 30457 HAS SOPS 30457 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7172.457
AT ITER 6249 NEW BEST:: SOT 45081 SOS 30456 HAS SOPS 30456 HAS SOUS 7140 HAS SOUPS 7140 WITH SCORE 7170.456
AT ITER 6314 NEW BEST:: SOT 45080 SOS 30455 HAS SOPS 30455 HAS SOUS 7140 HAS SOUPS 7140 WITH SCORE 7170.455
AT ITER 6331 NEW BEST:: SOT 45080 SOS 30456 HAS SOPS 30456 HAS SOUS 7132 HAS SOUPS 7132 WITH SCORE 7162.456
AT ITER 6404 NEW BEST:: SOT 45069 SOS 30447 HAS SOPS 30447 HAS SOUS 7124 HAS SOUPS 7124 WITH SCORE 7154.447
AT ITER 6415 NEW BEST:: SOT 45062 SOS 30440 HAS SOPS 30440 HAS SOUS 7117 HAS SOUPS 7117 WITH SCORE 7147.44
AT ITER 6422 NEW BEST:: SOT 45052 SOS 30430 HAS SOPS 30430 HAS SOUS 7104 HAS SOUPS 7104 WITH SCORE 7134.43
AT ITER 6477 NEW BEST:: SOT 45050 SOS 30428 HAS SOPS 30428 HAS SOUS 7102 HAS SOUPS 7102 WITH SCORE 7132.428
AT ITER 6484 NEW BEST:: SOT 45029 SOS 30386 HAS SOPS 30386 HAS SOUS 7060 HAS SOUPS 7060 WITH SCORE 7090.386
AT ITER 6519 NEW BEST:: SOT 45007 SOS 28554 HAS SOPS 28554 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7070.554
AT ITER 6566 NEW BEST:: SOT 45005 SOS 28552 HAS SOPS 28552 HAS SOUS 7038 HAS SOUPS 7038 WITH SCORE 7066.552
AT ITER 6610 NEW BEST:: SOT 45005 SOS 28879 HAS SOPS 28879 HAS SOUS 7029 HAS SOUPS 7029 WITH SCORE 7057.879
AT ITER 6618 NEW BEST:: SOT 44997 SOS 28871 HAS SOPS 28871 HAS SOUS 7013 HAS SOUPS 7013 WITH SCORE 7041.871
AT ITER 6630 NEW BEST:: SOT 44971 SOS 28821 HAS SOPS 28821 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6962.821
AT ITER 6659 NEW BEST:: SOT 44971 SOS 28820 HAS SOPS 28820 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6961.82
AT ITER 6694 NEW BEST:: SOT 44963 SOS 28812 HAS SOPS 28812 HAS SOUS 6917 HAS SOUPS 6917 WITH SCORE 6945.812
AT ITER 6768 NEW BEST:: SOT 44997 SOS 28864 HAS SOPS 28864 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6944.864
AT ITER 6925 NEW BEST:: SOT 44996 SOS 28863 HAS SOPS 28863 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6943.863
AT ITER 6941 NEW BEST:: SOT 44986 SOS 28853 HAS SOPS 28853 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6930.853
AT ITER 6990 NEW BEST:: SOT 44980 SOS 28847 HAS SOPS 28847 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6924.847
AT ITER 6993 NEW BEST:: SOT 44976 SOS 28839 HAS SOPS 28839 HAS SOUS 6892 HAS SOUPS 6892 WITH SCORE 6920.839
AT ITER 7249 NEW BEST:: SOT 44978 SOS 28841 HAS SOPS 28841 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6902.841
AT ITER 7256 NEW BEST:: SOT 44972 SOS 28791 HAS SOPS 28791 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6890.791
AT ITER 7372 NEW BEST:: SOT 44970 SOS 28789 HAS SOPS 28789 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6888.789
AT ITER 7391 NEW BEST:: SOT 44970 SOS 28459 HAS SOPS 28459 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6882.459
AT ITER 7404 NEW BEST:: SOT 44960 SOS 28449 HAS SOPS 28449 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6882.449
AT ITER 7422 NEW BEST:: SOT 44959 SOS 28448 HAS SOPS 28448 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6881.448
AT ITER 7469 NEW BEST:: SOT 44931 SOS 28434 HAS SOPS 28434 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6881.434
AT ITER 7550 NEW BEST:: SOT 44904 SOS 28407 HAS SOPS 28407 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6881.407
AT ITER 7572 NEW BEST:: SOT 44903 SOS 28406 HAS SOPS 28406 HAS SOUS 6851 HAS SOUPS 6851 WITH SCORE 6879.406
AT ITER 7706 NEW BEST:: SOT 44738 SOS 28356 HAS SOPS 28356 HAS SOUS 6842 HAS SOUPS 6842 WITH SCORE 6870.356
AT ITER 7916 NEW BEST:: SOT 44757 SOS 28371 HAS SOPS 28371 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6869.371
AT ITER 8096 NEW BEST:: SOT 44755 SOS 28369 HAS SOPS 28369 HAS SOUS 6839 HAS SOUPS 6839 WITH SCORE 6867.369
AT ITER 8126 NEW BEST:: SOT 44750 SOS 28364 HAS SOPS 28364 HAS SOUS 6829 HAS SOUPS 6829 WITH SCORE 6857.364
AT ITER 8209 NEW BEST:: SOT 44749 SOS 28363 HAS SOPS 28363 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6855.363
AT ITER 8222 NEW BEST:: SOT 44747 SOS 27639 HAS SOPS 27639 HAS SOUS 6811 HAS SOUPS 6811 WITH SCORE 6838.639
AT ITER 8253 NEW BEST:: SOT 44744 SOS 27631 HAS SOPS 27631 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6830.631
AT ITER 8260 NEW BEST:: SOT 44736 SOS 27607 HAS SOPS 27607 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6806.607
AT ITER 8366 NEW BEST:: SOT 44733 SOS 27598 HAS SOPS 27598 HAS SOUS 6770 HAS SOUPS 6770 WITH SCORE 6797.598
AT ITER 8419 NEW BEST:: SOT 44729 SOS 27593 HAS SOPS 27593 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6796.593
AT ITER 8436 NEW BEST:: SOT 44715 SOS 27579 HAS SOPS 27579 HAS SOUS 6763 HAS SOUPS 6763 WITH SCORE 6790.579
AT ITER 8461 NEW BEST:: SOT 44726 SOS 27578 HAS SOPS 27578 HAS SOUS 6762 HAS SOUPS 6762 WITH SCORE 6789.578
AT ITER 8489 NEW BEST:: SOT 44724 SOS 27574 HAS SOPS 27574 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6787.574
AT ITER 8490 NEW BEST:: SOT 44725 SOS 27575 HAS SOPS 27575 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6784.575
AT ITER 8511 NEW BEST:: SOT 44721 SOS 27569 HAS SOPS 27569 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6778.569
AT ITER 8555 NEW BEST:: SOT 44715 SOS 27463 HAS SOPS 27463 HAS SOUS 6743 HAS SOUPS 6743 WITH SCORE 6770.463
AT ITER 8585 NEW BEST:: SOT 44714 SOS 27212 HAS SOPS 27212 HAS SOUS 6738 HAS SOUPS 6738 WITH SCORE 6765.212
AT ITER 8605 NEW BEST:: SOT 44714 SOS 27212 HAS SOPS 27212 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6763.212
AT ITER 8613 NEW BEST:: SOT 44721 SOS 24119 HAS SOPS 24119 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6705.119
AT ITER 8665 NEW BEST:: SOT 44721 SOS 24118 HAS SOPS 24118 HAS SOUS 6680 HAS SOUPS 6680 WITH SCORE 6704.118
AT ITER 8697 NEW BEST:: SOT 44721 SOS 24118 HAS SOPS 24118 HAS SOUS 6586 HAS SOUPS 6586 WITH SCORE 6610.118
AT ITER 8730 NEW BEST:: SOT 44730 SOS 24096 HAS SOPS 24096 HAS SOUS 6563 HAS SOUPS 6563 WITH SCORE 6587.096
AT ITER 8751 NEW BEST:: SOT 44723 SOS 23739 HAS SOPS 23739 HAS SOUS 6562 HAS SOUPS 6562 WITH SCORE 6585.739
AT ITER 8787 NEW BEST:: SOT 44722 SOS 23738 HAS SOPS 23738 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6583.738
AT ITER 8819 NEW BEST:: SOT 44726 SOS 23737 HAS SOPS 23737 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6583.737
AT ITER 8833 NEW BEST:: SOT 44748 SOS 23735 HAS SOPS 23735 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6579.735
AT ITER 8861 NEW BEST:: SOT 44759 SOS 23729 HAS SOPS 23729 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6573.729
AT ITER 8979 NEW BEST:: SOT 44758 SOS 23727 HAS SOPS 23727 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6571.727
AT ITER 9033 NEW BEST:: SOT 44735 SOS 23714 HAS SOPS 23714 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6560.714
AT ITER 9042 NEW BEST:: SOT 44728 SOS 23707 HAS SOPS 23707 HAS SOUS 6530 HAS SOUPS 6530 WITH SCORE 6553.707
AT ITER 9067 NEW BEST:: SOT 44725 SOS 23705 HAS SOPS 23705 HAS SOUS 6529 HAS SOUPS 6529 WITH SCORE 6552.705
AT ITER 9201 NEW BEST:: SOT 44730 SOS 23704 HAS SOPS 23704 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6551.704
AT ITER 9209 NEW BEST:: SOT 44730 SOS 23699 HAS SOPS 23699 HAS SOUS 6523 HAS SOUPS 6523 WITH SCORE 6546.699
AT ITER 9407 NEW BEST:: SOT 44716 SOS 23685 HAS SOPS 23685 HAS SOUS 6509 HAS SOUPS 6509 WITH SCORE 6532.685
AT ITER 9408 NEW BEST:: SOT 44720 SOS 23680 HAS SOPS 23680 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6527.68
AT ITER 9411 NEW BEST:: SOT 44745 SOS 23705 HAS SOPS 23705 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6521.705
AT ITER 9601 NEW BEST:: SOT 44736 SOS 23696 HAS SOPS 23696 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6503.696
AT ITER 9691 NEW BEST:: SOT 44735 SOS 23694 HAS SOPS 23694 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6501.694
AT ITER 9692 NEW BEST:: SOT 44729 SOS 23690 HAS SOPS 23690 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6501.69
AT ITER 9755 NEW BEST:: SOT 44728 SOS 23689 HAS SOPS 23689 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6501.689
AT ITER 9789 NEW BEST:: SOT 44694 SOS 23667 HAS SOPS 23667 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6482.667
AT ITER 9796 NEW BEST:: SOT 44700 SOS 23673 HAS SOPS 23673 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6468.673
AT ITER 9858 NEW BEST:: SOT 44694 SOS 23667 HAS SOPS 23667 HAS SOUS 6441 HAS SOUPS 6441 WITH SCORE 6464.667
AT ITER 9939 NEW BEST:: SOT 44679 SOS 23649 HAS SOPS 23649 HAS SOUS 6411 HAS SOUPS 6411 WITH SCORE 6434.649
AT ITER 9971 NEW BEST:: SOT 44674 SOS 23632 HAS SOPS 23632 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6417.632

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="DES-PT-50a"
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 DES-PT-50a, 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 r048-ebro-158902542000312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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