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.r207-tajo-159033469300328.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 ShieldIIPt-PT-020B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469300328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 3.3K May 14 01:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 01:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 18:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 18:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 13:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 13:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 08:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 08:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 338K May 12 20:42 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 1590439264173

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

Filename model.pnml
Petri model created: 1403 places, 1303 transitions, 3246 arcs.
AT ITER 0 NEW BEST:: SOT 944271 SOS 87785 HAS SOPS 87785 HAS SOUS 81625 HAS SOUPS 81625 WITH SCORE 81712.785
AT ITER 11 NEW BEST:: SOT 944228 SOS 87613 HAS SOPS 87613 HAS SOUS 81539 HAS SOUPS 81539 WITH SCORE 81626.613
AT ITER 15 NEW BEST:: SOT 944101 SOS 87485 HAS SOPS 87485 HAS SOUS 81412 HAS SOUPS 81412 WITH SCORE 81499.485
AT ITER 39 NEW BEST:: SOT 944064 SOS 87385 HAS SOPS 87385 HAS SOUS 81333 HAS SOUPS 81333 WITH SCORE 81420.385
AT ITER 90 NEW BEST:: SOT 944031 SOS 87319 HAS SOPS 87319 HAS SOUS 81267 HAS SOUPS 81267 WITH SCORE 81354.319
AT ITER 112 NEW BEST:: SOT 944029 SOS 87314 HAS SOPS 87314 HAS SOUS 81262 HAS SOUPS 81262 WITH SCORE 81349.314
AT ITER 159 NEW BEST:: SOT 943962 SOS 87294 HAS SOPS 87294 HAS SOUS 81239 HAS SOUPS 81239 WITH SCORE 81326.294
AT ITER 161 NEW BEST:: SOT 943962 SOS 87184 HAS SOPS 87184 HAS SOUS 81129 HAS SOUPS 81129 WITH SCORE 81216.184
AT ITER 184 NEW BEST:: SOT 943974 SOS 87177 HAS SOPS 87177 HAS SOUS 81089 HAS SOUPS 81089 WITH SCORE 81176.177
AT ITER 203 NEW BEST:: SOT 943974 SOS 87174 HAS SOPS 87174 HAS SOUS 81086 HAS SOUPS 81086 WITH SCORE 81173.174
AT ITER 242 NEW BEST:: SOT 943923 SOS 87072 HAS SOPS 87072 HAS SOUS 81042 HAS SOUPS 81042 WITH SCORE 81129.072
AT ITER 247 NEW BEST:: SOT 943909 SOS 87069 HAS SOPS 87069 HAS SOUS 81027 HAS SOUPS 81027 WITH SCORE 81114.069
AT ITER 348 NEW BEST:: SOT 943891 SOS 87060 HAS SOPS 87060 HAS SOUS 81018 HAS SOUPS 81018 WITH SCORE 81105.06
AT ITER 355 NEW BEST:: SOT 943864 SOS 87071 HAS SOPS 87071 HAS SOUS 80988 HAS SOUPS 80988 WITH SCORE 81075.071
AT ITER 415 NEW BEST:: SOT 943877 SOS 87097 HAS SOPS 87097 HAS SOUS 80960 HAS SOUPS 80960 WITH SCORE 81047.097
AT ITER 474 NEW BEST:: SOT 943893 SOS 87076 HAS SOPS 87076 HAS SOUS 80955 HAS SOUPS 80955 WITH SCORE 81042.076
AT ITER 499 NEW BEST:: SOT 943857 SOS 87048 HAS SOPS 87048 HAS SOUS 80875 HAS SOUPS 80875 WITH SCORE 80962.048
AT ITER 519 NEW BEST:: SOT 943852 SOS 87030 HAS SOPS 87030 HAS SOUS 80857 HAS SOUPS 80857 WITH SCORE 80944.03
AT ITER 521 NEW BEST:: SOT 943852 SOS 87027 HAS SOPS 87027 HAS SOUS 80838 HAS SOUPS 80838 WITH SCORE 80925.027
AT ITER 527 NEW BEST:: SOT 943852 SOS 87022 HAS SOPS 87022 HAS SOUS 80833 HAS SOUPS 80833 WITH SCORE 80920.022
AT ITER 540 NEW BEST:: SOT 943800 SOS 86978 HAS SOPS 86978 HAS SOUS 80789 HAS SOUPS 80789 WITH SCORE 80875.978
AT ITER 637 NEW BEST:: SOT 943798 SOS 86943 HAS SOPS 86943 HAS SOUS 80787 HAS SOUPS 80787 WITH SCORE 80873.943
AT ITER 697 NEW BEST:: SOT 943766 SOS 86919 HAS SOPS 86919 HAS SOUS 80763 HAS SOUPS 80763 WITH SCORE 80849.919
AT ITER 730 NEW BEST:: SOT 943730 SOS 86847 HAS SOPS 86847 HAS SOUS 80691 HAS SOUPS 80691 WITH SCORE 80777.847
AT ITER 732 NEW BEST:: SOT 943686 SOS 86844 HAS SOPS 86844 HAS SOUS 80688 HAS SOUPS 80688 WITH SCORE 80774.844
AT ITER 779 NEW BEST:: SOT 943685 SOS 86842 HAS SOPS 86842 HAS SOUS 80686 HAS SOUPS 80686 WITH SCORE 80772.842
AT ITER 811 NEW BEST:: SOT 943685 SOS 86836 HAS SOPS 86836 HAS SOUS 80680 HAS SOUPS 80680 WITH SCORE 80766.836
AT ITER 872 NEW BEST:: SOT 943685 SOS 86813 HAS SOPS 86813 HAS SOUS 80657 HAS SOUPS 80657 WITH SCORE 80743.813
AT ITER 912 NEW BEST:: SOT 943685 SOS 86792 HAS SOPS 86792 HAS SOUS 80636 HAS SOUPS 80636 WITH SCORE 80722.792
AT ITER 932 NEW BEST:: SOT 943679 SOS 86780 HAS SOPS 86780 HAS SOUS 80630 HAS SOUPS 80630 WITH SCORE 80716.78
AT ITER 969 NEW BEST:: SOT 943677 SOS 86778 HAS SOPS 86778 HAS SOUS 80628 HAS SOUPS 80628 WITH SCORE 80714.778
AT ITER 988 NEW BEST:: SOT 943677 SOS 86731 HAS SOPS 86731 HAS SOUS 80581 HAS SOUPS 80581 WITH SCORE 80667.731
AT ITER 1010 NEW BEST:: SOT 943677 SOS 86643 HAS SOPS 86643 HAS SOUS 80493 HAS SOUPS 80493 WITH SCORE 80579.643
AT ITER 1054 NEW BEST:: SOT 943642 SOS 86685 HAS SOPS 86685 HAS SOUS 80470 HAS SOUPS 80470 WITH SCORE 80556.685
AT ITER 1226 NEW BEST:: SOT 943642 SOS 86678 HAS SOPS 86678 HAS SOUS 80470 HAS SOUPS 80470 WITH SCORE 80556.678
AT ITER 1327 NEW BEST:: SOT 943686 SOS 86721 HAS SOPS 86721 HAS SOUS 80437 HAS SOUPS 80437 WITH SCORE 80523.721
AT ITER 1407 NEW BEST:: SOT 943675 SOS 86698 HAS SOPS 86698 HAS SOUS 80425 HAS SOUPS 80425 WITH SCORE 80511.698
AT ITER 1465 NEW BEST:: SOT 943675 SOS 86698 HAS SOPS 86698 HAS SOUS 80423 HAS SOUPS 80423 WITH SCORE 80509.698
AT ITER 1468 NEW BEST:: SOT 943614 SOS 86566 HAS SOPS 86566 HAS SOUS 80360 HAS SOUPS 80360 WITH SCORE 80446.566
AT ITER 1495 NEW BEST:: SOT 943604 SOS 86556 HAS SOPS 86556 HAS SOUS 80350 HAS SOUPS 80350 WITH SCORE 80436.556
AT ITER 1503 NEW BEST:: SOT 943553 SOS 86505 HAS SOPS 86505 HAS SOUS 80291 HAS SOUPS 80291 WITH SCORE 80377.505
AT ITER 1505 NEW BEST:: SOT 943513 SOS 86544 HAS SOPS 86544 HAS SOUS 80287 HAS SOUPS 80287 WITH SCORE 80373.544
AT ITER 1515 NEW BEST:: SOT 943498 SOS 86464 HAS SOPS 86464 HAS SOUS 80170 HAS SOUPS 80170 WITH SCORE 80256.464
AT ITER 1516 NEW BEST:: SOT 943517 SOS 86378 HAS SOPS 86378 HAS SOUS 80127 HAS SOUPS 80127 WITH SCORE 80213.378
AT ITER 1553 NEW BEST:: SOT 943517 SOS 86378 HAS SOPS 86378 HAS SOUS 80115 HAS SOUPS 80115 WITH SCORE 80201.378
AT ITER 1588 NEW BEST:: SOT 943476 SOS 86369 HAS SOPS 86369 HAS SOUS 80074 HAS SOUPS 80074 WITH SCORE 80160.369
AT ITER 1598 NEW BEST:: SOT 943475 SOS 86315 HAS SOPS 86315 HAS SOUS 80072 HAS SOUPS 80072 WITH SCORE 80158.315
AT ITER 1671 NEW BEST:: SOT 943475 SOS 86304 HAS SOPS 86304 HAS SOUS 80061 HAS SOUPS 80061 WITH SCORE 80147.304
AT ITER 1734 NEW BEST:: SOT 943495 SOS 86248 HAS SOPS 86248 HAS SOUS 80033 HAS SOUPS 80033 WITH SCORE 80119.248
AT ITER 1768 NEW BEST:: SOT 943440 SOS 86248 HAS SOPS 86248 HAS SOUS 79923 HAS SOUPS 79923 WITH SCORE 80009.248
AT ITER 1797 NEW BEST:: SOT 943439 SOS 86246 HAS SOPS 86246 HAS SOUS 79897 HAS SOUPS 79897 WITH SCORE 79983.246
AT ITER 1805 NEW BEST:: SOT 943416 SOS 86197 HAS SOPS 86197 HAS SOUS 79848 HAS SOUPS 79848 WITH SCORE 79934.197
AT ITER 1826 NEW BEST:: SOT 943430 SOS 86194 HAS SOPS 86194 HAS SOUS 79845 HAS SOUPS 79845 WITH SCORE 79931.194
AT ITER 1834 NEW BEST:: SOT 943456 SOS 86200 HAS SOPS 86200 HAS SOUS 79830 HAS SOUPS 79830 WITH SCORE 79916.2
AT ITER 1929 NEW BEST:: SOT 943448 SOS 86170 HAS SOPS 86170 HAS SOUS 79808 HAS SOUPS 79808 WITH SCORE 79894.17
AT ITER 2023 NEW BEST:: SOT 943398 SOS 86107 HAS SOPS 86107 HAS SOUS 79719 HAS SOUPS 79719 WITH SCORE 79805.107
AT ITER 2028 NEW BEST:: SOT 943398 SOS 86070 HAS SOPS 86070 HAS SOUS 79682 HAS SOUPS 79682 WITH SCORE 79768.07
AT ITER 2031 NEW BEST:: SOT 943366 SOS 85980 HAS SOPS 85980 HAS SOUS 79618 HAS SOUPS 79618 WITH SCORE 79703.98
AT ITER 2086 NEW BEST:: SOT 943348 SOS 85926 HAS SOPS 85926 HAS SOUS 79582 HAS SOUPS 79582 WITH SCORE 79667.926
AT ITER 2123 NEW BEST:: SOT 943348 SOS 85890 HAS SOPS 85890 HAS SOUS 79546 HAS SOUPS 79546 WITH SCORE 79631.89
AT ITER 2141 NEW BEST:: SOT 943348 SOS 85861 HAS SOPS 85861 HAS SOUS 79546 HAS SOUPS 79546 WITH SCORE 79631.861
AT ITER 2163 NEW BEST:: SOT 943339 SOS 85834 HAS SOPS 85834 HAS SOUS 79528 HAS SOUPS 79528 WITH SCORE 79613.834
AT ITER 2169 NEW BEST:: SOT 943387 SOS 85791 HAS SOPS 85791 HAS SOUS 79515 HAS SOUPS 79515 WITH SCORE 79600.791
AT ITER 2174 NEW BEST:: SOT 943329 SOS 85801 HAS SOPS 85801 HAS SOUS 79457 HAS SOUPS 79457 WITH SCORE 79542.801
AT ITER 2181 NEW BEST:: SOT 943298 SOS 85737 HAS SOPS 85737 HAS SOUS 79393 HAS SOUPS 79393 WITH SCORE 79478.737
AT ITER 2202 NEW BEST:: SOT 943298 SOS 85737 HAS SOPS 85737 HAS SOUS 79389 HAS SOUPS 79389 WITH SCORE 79474.737
AT ITER 2211 NEW BEST:: SOT 943297 SOS 85725 HAS SOPS 85725 HAS SOUS 79387 HAS SOUPS 79387 WITH SCORE 79472.725
AT ITER 2224 NEW BEST:: SOT 943237 SOS 85760 HAS SOPS 85760 HAS SOUS 79380 HAS SOUPS 79380 WITH SCORE 79465.76
AT ITER 2227 NEW BEST:: SOT 943263 SOS 85730 HAS SOPS 85730 HAS SOUS 79321 HAS SOUPS 79321 WITH SCORE 79406.73
AT ITER 2295 NEW BEST:: SOT 943310 SOS 85643 HAS SOPS 85643 HAS SOUS 79271 HAS SOUPS 79271 WITH SCORE 79356.643
AT ITER 2363 NEW BEST:: SOT 943310 SOS 85633 HAS SOPS 85633 HAS SOUS 79261 HAS SOUPS 79261 WITH SCORE 79346.633
AT ITER 2364 NEW BEST:: SOT 943301 SOS 85606 HAS SOPS 85606 HAS SOUS 79243 HAS SOUPS 79243 WITH SCORE 79328.606
AT ITER 2368 NEW BEST:: SOT 943301 SOS 85614 HAS SOPS 85614 HAS SOUS 79236 HAS SOUPS 79236 WITH SCORE 79321.614
AT ITER 2404 NEW BEST:: SOT 943255 SOS 85522 HAS SOPS 85522 HAS SOUS 79144 HAS SOUPS 79144 WITH SCORE 79229.522
AT ITER 2408 NEW BEST:: SOT 943255 SOS 85489 HAS SOPS 85489 HAS SOUS 79144 HAS SOUPS 79144 WITH SCORE 79229.489
AT ITER 2496 NEW BEST:: SOT 943232 SOS 85442 HAS SOPS 85442 HAS SOUS 79097 HAS SOUPS 79097 WITH SCORE 79182.442
AT ITER 2501 NEW BEST:: SOT 943231 SOS 85439 HAS SOPS 85439 HAS SOUS 79094 HAS SOUPS 79094 WITH SCORE 79179.439
AT ITER 2577 NEW BEST:: SOT 943205 SOS 85426 HAS SOPS 85426 HAS SOUS 79081 HAS SOUPS 79081 WITH SCORE 79166.426
AT ITER 2597 NEW BEST:: SOT 943182 SOS 85383 HAS SOPS 85383 HAS SOUS 79065 HAS SOUPS 79065 WITH SCORE 79150.383
AT ITER 2611 NEW BEST:: SOT 943182 SOS 85366 HAS SOPS 85366 HAS SOUS 79048 HAS SOUPS 79048 WITH SCORE 79133.366
AT ITER 2615 NEW BEST:: SOT 943182 SOS 85324 HAS SOPS 85324 HAS SOUS 79006 HAS SOUPS 79006 WITH SCORE 79091.324
AT ITER 2656 NEW BEST:: SOT 943191 SOS 85342 HAS SOPS 85342 HAS SOUS 78984 HAS SOUPS 78984 WITH SCORE 79069.342
AT ITER 2714 NEW BEST:: SOT 943191 SOS 85330 HAS SOPS 85330 HAS SOUS 78984 HAS SOUPS 78984 WITH SCORE 79069.33
AT ITER 2718 NEW BEST:: SOT 943165 SOS 85302 HAS SOPS 85302 HAS SOUS 78956 HAS SOUPS 78956 WITH SCORE 79041.302
AT ITER 2747 NEW BEST:: SOT 943165 SOS 85253 HAS SOPS 85253 HAS SOUS 78912 HAS SOUPS 78912 WITH SCORE 78997.253
AT ITER 2755 NEW BEST:: SOT 943165 SOS 85250 HAS SOPS 85250 HAS SOUS 78888 HAS SOUPS 78888 WITH SCORE 78973.25
AT ITER 2777 NEW BEST:: SOT 943163 SOS 85120 HAS SOPS 85120 HAS SOUS 78820 HAS SOUPS 78820 WITH SCORE 78905.12
AT ITER 2797 NEW BEST:: SOT 943163 SOS 85068 HAS SOPS 85068 HAS SOUS 78768 HAS SOUPS 78768 WITH SCORE 78853.068
AT ITER 2804 NEW BEST:: SOT 943197 SOS 84941 HAS SOPS 84941 HAS SOUS 78739 HAS SOUPS 78739 WITH SCORE 78823.941
AT ITER 2815 NEW BEST:: SOT 943223 SOS 84986 HAS SOPS 84986 HAS SOUS 78722 HAS SOUPS 78722 WITH SCORE 78806.986
AT ITER 2835 NEW BEST:: SOT 943190 SOS 84920 HAS SOPS 84920 HAS SOUS 78656 HAS SOUPS 78656 WITH SCORE 78740.92
AT ITER 2862 NEW BEST:: SOT 943171 SOS 84882 HAS SOPS 84882 HAS SOUS 78618 HAS SOUPS 78618 WITH SCORE 78702.882
AT ITER 2957 NEW BEST:: SOT 943123 SOS 84829 HAS SOPS 84829 HAS SOUS 78565 HAS SOUPS 78565 WITH SCORE 78649.829
AT ITER 2999 NEW BEST:: SOT 943123 SOS 84789 HAS SOPS 84789 HAS SOUS 78554 HAS SOUPS 78554 WITH SCORE 78638.789
AT ITER 3002 NEW BEST:: SOT 943096 SOS 84762 HAS SOPS 84762 HAS SOUS 78527 HAS SOUPS 78527 WITH SCORE 78611.762
AT ITER 3003 NEW BEST:: SOT 943093 SOS 84759 HAS SOPS 84759 HAS SOUS 78524 HAS SOUPS 78524 WITH SCORE 78608.759
AT ITER 3022 NEW BEST:: SOT 943093 SOS 84724 HAS SOPS 84724 HAS SOUS 78524 HAS SOUPS 78524 WITH SCORE 78608.724
AT ITER 3172 NEW BEST:: SOT 943093 SOS 84713 HAS SOPS 84713 HAS SOUS 78513 HAS SOUPS 78513 WITH SCORE 78597.713
AT ITER 3188 NEW BEST:: SOT 943117 SOS 84730 HAS SOPS 84730 HAS SOUS 78506 HAS SOUPS 78506 WITH SCORE 78590.73
AT ITER 3200 NEW BEST:: SOT 943078 SOS 84723 HAS SOPS 84723 HAS SOUS 78481 HAS SOUPS 78481 WITH SCORE 78565.723
AT ITER 3250 NEW BEST:: SOT 943066 SOS 84701 HAS SOPS 84701 HAS SOUS 78471 HAS SOUPS 78471 WITH SCORE 78555.701
AT ITER 3252 NEW BEST:: SOT 943066 SOS 84671 HAS SOPS 84671 HAS SOUS 78471 HAS SOUPS 78471 WITH SCORE 78555.671
AT ITER 3314 NEW BEST:: SOT 943066 SOS 84654 HAS SOPS 84654 HAS SOUS 78454 HAS SOUPS 78454 WITH SCORE 78538.654
AT ITER 3319 NEW BEST:: SOT 943066 SOS 84672 HAS SOPS 84672 HAS SOUS 78453 HAS SOUPS 78453 WITH SCORE 78537.672
AT ITER 3337 NEW BEST:: SOT 943066 SOS 84667 HAS SOPS 84667 HAS SOUS 78448 HAS SOUPS 78448 WITH SCORE 78532.667
AT ITER 3385 NEW BEST:: SOT 942998 SOS 84706 HAS SOPS 84706 HAS SOUS 78421 HAS SOUPS 78421 WITH SCORE 78505.706
AT ITER 3390 NEW BEST:: SOT 942986 SOS 84694 HAS SOPS 84694 HAS SOUS 78409 HAS SOUPS 78409 WITH SCORE 78493.694
AT ITER 3400 NEW BEST:: SOT 942986 SOS 84620 HAS SOPS 84620 HAS SOUS 78400 HAS SOUPS 78400 WITH SCORE 78484.62
AT ITER 3528 NEW BEST:: SOT 942971 SOS 84675 HAS SOPS 84675 HAS SOUS 78370 HAS SOUPS 78370 WITH SCORE 78454.675
AT ITER 3596 NEW BEST:: SOT 942971 SOS 84648 HAS SOPS 84648 HAS SOUS 78367 HAS SOUPS 78367 WITH SCORE 78451.648
AT ITER 3637 NEW BEST:: SOT 942937 SOS 84561 HAS SOPS 84561 HAS SOUS 78295 HAS SOUPS 78295 WITH SCORE 78379.561
AT ITER 3649 NEW BEST:: SOT 942995 SOS 84625 HAS SOPS 84625 HAS SOUS 78294 HAS SOUPS 78294 WITH SCORE 78378.625
AT ITER 3650 NEW BEST:: SOT 942953 SOS 84623 HAS SOPS 84623 HAS SOUS 78292 HAS SOUPS 78292 WITH SCORE 78376.623
AT ITER 3787 NEW BEST:: SOT 942938 SOS 84593 HAS SOPS 84593 HAS SOUS 78249 HAS SOUPS 78249 WITH SCORE 78333.593
AT ITER 3862 NEW BEST:: SOT 942975 SOS 84623 HAS SOPS 84623 HAS SOUS 78213 HAS SOUPS 78213 WITH SCORE 78297.623
AT ITER 3867 NEW BEST:: SOT 942975 SOS 84620 HAS SOPS 84620 HAS SOUS 78192 HAS SOUPS 78192 WITH SCORE 78276.62
AT ITER 3880 NEW BEST:: SOT 942920 SOS 84510 HAS SOPS 84510 HAS SOUS 78075 HAS SOUPS 78075 WITH SCORE 78159.51
AT ITER 3890 NEW BEST:: SOT 942920 SOS 84485 HAS SOPS 84485 HAS SOUS 78050 HAS SOUPS 78050 WITH SCORE 78134.485
AT ITER 3899 NEW BEST:: SOT 942932 SOS 84426 HAS SOPS 84426 HAS SOUS 78011 HAS SOUPS 78011 WITH SCORE 78095.426
AT ITER 3902 NEW BEST:: SOT 942932 SOS 84419 HAS SOPS 84419 HAS SOUS 77982 HAS SOUPS 77982 WITH SCORE 78066.419
AT ITER 3946 NEW BEST:: SOT 942932 SOS 84395 HAS SOPS 84395 HAS SOUS 77982 HAS SOUPS 77982 WITH SCORE 78066.395
AT ITER 4002 NEW BEST:: SOT 942927 SOS 84380 HAS SOPS 84380 HAS SOUS 77967 HAS SOUPS 77967 WITH SCORE 78051.38
AT ITER 4034 NEW BEST:: SOT 942927 SOS 84409 HAS SOPS 84409 HAS SOUS 77963 HAS SOUPS 77963 WITH SCORE 78047.409
AT ITER 4073 NEW BEST:: SOT 942927 SOS 84377 HAS SOPS 84377 HAS SOUS 77960 HAS SOUPS 77960 WITH SCORE 78044.377
AT ITER 4141 NEW BEST:: SOT 942875 SOS 84221 HAS SOPS 84221 HAS SOUS 77804 HAS SOUPS 77804 WITH SCORE 77888.221
AT ITER 4151 NEW BEST:: SOT 942875 SOS 84213 HAS SOPS 84213 HAS SOUS 77796 HAS SOUPS 77796 WITH SCORE 77880.213
AT ITER 4153 NEW BEST:: SOT 942875 SOS 84204 HAS SOPS 84204 HAS SOUS 77779 HAS SOUPS 77779 WITH SCORE 77863.204
AT ITER 4173 NEW BEST:: SOT 942826 SOS 84214 HAS SOPS 84214 HAS SOUS 77761 HAS SOUPS 77761 WITH SCORE 77845.214
AT ITER 4249 NEW BEST:: SOT 942814 SOS 84166 HAS SOPS 84166 HAS SOUS 77737 HAS SOUPS 77737 WITH SCORE 77821.166
AT ITER 4263 NEW BEST:: SOT 942758 SOS 84023 HAS SOPS 84023 HAS SOUS 77650 HAS SOUPS 77650 WITH SCORE 77734.023
AT ITER 4310 NEW BEST:: SOT 942726 SOS 83950 HAS SOPS 83950 HAS SOUS 77577 HAS SOUPS 77577 WITH SCORE 77660.95
AT ITER 4326 NEW BEST:: SOT 942689 SOS 83839 HAS SOPS 83839 HAS SOUS 77466 HAS SOUPS 77466 WITH SCORE 77549.839
AT ITER 4333 NEW BEST:: SOT 942689 SOS 83791 HAS SOPS 83791 HAS SOUS 77432 HAS SOUPS 77432 WITH SCORE 77515.791
AT ITER 4412 NEW BEST:: SOT 942728 SOS 83787 HAS SOPS 83787 HAS SOUS 77399 HAS SOUPS 77399 WITH SCORE 77482.787
AT ITER 4447 NEW BEST:: SOT 942748 SOS 83785 HAS SOPS 83785 HAS SOUS 77397 HAS SOUPS 77397 WITH SCORE 77480.785
AT ITER 4543 NEW BEST:: SOT 942711 SOS 83650 HAS SOPS 83650 HAS SOUS 77286 HAS SOUPS 77286 WITH SCORE 77369.65
AT ITER 4577 NEW BEST:: SOT 942709 SOS 83645 HAS SOPS 83645 HAS SOUS 77281 HAS SOUPS 77281 WITH SCORE 77364.645
AT ITER 4653 NEW BEST:: SOT 942704 SOS 83635 HAS SOPS 83635 HAS SOUS 77281 HAS SOUPS 77281 WITH SCORE 77364.635
AT ITER 4751 NEW BEST:: SOT 942688 SOS 83587 HAS SOPS 83587 HAS SOUS 77249 HAS SOUPS 77249 WITH SCORE 77332.587
AT ITER 4876 NEW BEST:: SOT 942645 SOS 83570 HAS SOPS 83570 HAS SOUS 77232 HAS SOUPS 77232 WITH SCORE 77315.57
AT ITER 4885 NEW BEST:: SOT 942629 SOS 83554 HAS SOPS 83554 HAS SOUS 77216 HAS SOUPS 77216 WITH SCORE 77299.554
AT ITER 4901 NEW BEST:: SOT 942576 SOS 83571 HAS SOPS 83571 HAS SOUS 77209 HAS SOUPS 77209 WITH SCORE 77292.571
AT ITER 4914 NEW BEST:: SOT 942537 SOS 83518 HAS SOPS 83518 HAS SOUS 77156 HAS SOUPS 77156 WITH SCORE 77239.518
AT ITER 4995 NEW BEST:: SOT 942481 SOS 83458 HAS SOPS 83458 HAS SOUS 77149 HAS SOUPS 77149 WITH SCORE 77232.458
AT ITER 5114 NEW BEST:: SOT 942445 SOS 83405 HAS SOPS 83405 HAS SOUS 77096 HAS SOUPS 77096 WITH SCORE 77179.405
AT ITER 5138 NEW BEST:: SOT 942416 SOS 83347 HAS SOPS 83347 HAS SOUS 77038 HAS SOUPS 77038 WITH SCORE 77121.347
AT ITER 5157 NEW BEST:: SOT 942420 SOS 83308 HAS SOPS 83308 HAS SOUS 76999 HAS SOUPS 76999 WITH SCORE 77082.308
AT ITER 5164 NEW BEST:: SOT 942384 SOS 83284 HAS SOPS 83284 HAS SOUS 76975 HAS SOUPS 76975 WITH SCORE 77058.284
AT ITER 5235 NEW BEST:: SOT 942384 SOS 83242 HAS SOPS 83242 HAS SOUS 76933 HAS SOUPS 76933 WITH SCORE 77016.242
AT ITER 5241 NEW BEST:: SOT 942375 SOS 83224 HAS SOPS 83224 HAS SOUS 76915 HAS SOUPS 76915 WITH SCORE 76998.224
AT ITER 5272 NEW BEST:: SOT 942375 SOS 83211 HAS SOPS 83211 HAS SOUS 76912 HAS SOUPS 76912 WITH SCORE 76995.211
AT ITER 5289 NEW BEST:: SOT 942375 SOS 83211 HAS SOPS 83211 HAS SOUS 76911 HAS SOUPS 76911 WITH SCORE 76994.211
AT ITER 5309 NEW BEST:: SOT 942328 SOS 83134 HAS SOPS 83134 HAS SOUS 76858 HAS SOUPS 76858 WITH SCORE 76941.134
AT ITER 5312 NEW BEST:: SOT 942328 SOS 83099 HAS SOPS 83099 HAS SOUS 76851 HAS SOUPS 76851 WITH SCORE 76934.099
AT ITER 5326 NEW BEST:: SOT 942319 SOS 83154 HAS SOPS 83154 HAS SOUS 76842 HAS SOUPS 76842 WITH SCORE 76925.154
AT ITER 5358 NEW BEST:: SOT 942312 SOS 83140 HAS SOPS 83140 HAS SOUS 76828 HAS SOUPS 76828 WITH SCORE 76911.14
AT ITER 5376 NEW BEST:: SOT 942308 SOS 83136 HAS SOPS 83136 HAS SOUS 76828 HAS SOUPS 76828 WITH SCORE 76911.136
AT ITER 5523 NEW BEST:: SOT 942306 SOS 83130 HAS SOPS 83130 HAS SOUS 76824 HAS SOUPS 76824 WITH SCORE 76907.13
AT ITER 5553 NEW BEST:: SOT 942273 SOS 83031 HAS SOPS 83031 HAS SOUS 76725 HAS SOUPS 76725 WITH SCORE 76808.031
AT ITER 5593 NEW BEST:: SOT 942257 SOS 83015 HAS SOPS 83015 HAS SOUS 76709 HAS SOUPS 76709 WITH SCORE 76792.015
AT ITER 5599 NEW BEST:: SOT 942255 SOS 83037 HAS SOPS 83037 HAS SOUS 76707 HAS SOUPS 76707 WITH SCORE 76790.037
AT ITER 5605 NEW BEST:: SOT 942357 SOS 82975 HAS SOPS 82975 HAS SOUS 76706 HAS SOUPS 76706 WITH SCORE 76788.975
AT ITER 5620 NEW BEST:: SOT 942342 SOS 82928 HAS SOPS 82928 HAS SOUS 76674 HAS SOUPS 76674 WITH SCORE 76756.928
AT ITER 5627 NEW BEST:: SOT 942310 SOS 82896 HAS SOPS 82896 HAS SOUS 76642 HAS SOUPS 76642 WITH SCORE 76724.896
AT ITER 5628 NEW BEST:: SOT 942276 SOS 82850 HAS SOPS 82850 HAS SOUS 76611 HAS SOUPS 76611 WITH SCORE 76693.85
AT ITER 5712 NEW BEST:: SOT 942212 SOS 82826 HAS SOPS 82826 HAS SOUS 76569 HAS SOUPS 76569 WITH SCORE 76651.826
AT ITER 5718 NEW BEST:: SOT 942204 SOS 82822 HAS SOPS 82822 HAS SOUS 76565 HAS SOUPS 76565 WITH SCORE 76647.822
AT ITER 5741 NEW BEST:: SOT 942121 SOS 82791 HAS SOPS 82791 HAS SOUS 76428 HAS SOUPS 76428 WITH SCORE 76510.791
AT ITER 5826 NEW BEST:: SOT 942121 SOS 82796 HAS SOPS 82796 HAS SOUS 76426 HAS SOUPS 76426 WITH SCORE 76508.796
AT ITER 5829 NEW BEST:: SOT 942041 SOS 82595 HAS SOPS 82595 HAS SOUS 76307 HAS SOUPS 76307 WITH SCORE 76389.595
AT ITER 5855 NEW BEST:: SOT 942076 SOS 82656 HAS SOPS 82656 HAS SOUS 76304 HAS SOUPS 76304 WITH SCORE 76386.656
AT ITER 5856 NEW BEST:: SOT 942076 SOS 82628 HAS SOPS 82628 HAS SOUS 76276 HAS SOUPS 76276 WITH SCORE 76358.628
AT ITER 5889 NEW BEST:: SOT 942073 SOS 82589 HAS SOPS 82589 HAS SOUS 76265 HAS SOUPS 76265 WITH SCORE 76347.589
AT ITER 5896 NEW BEST:: SOT 942071 SOS 82587 HAS SOPS 82587 HAS SOUS 76263 HAS SOUPS 76263 WITH SCORE 76345.587
AT ITER 5975 NEW BEST:: SOT 942071 SOS 82573 HAS SOPS 82573 HAS SOUS 76249 HAS SOUPS 76249 WITH SCORE 76331.573
AT ITER 5996 NEW BEST:: SOT 942038 SOS 82529 HAS SOPS 82529 HAS SOUS 76205 HAS SOUPS 76205 WITH SCORE 76287.529
AT ITER 6005 NEW BEST:: SOT 942038 SOS 82516 HAS SOPS 82516 HAS SOUS 76193 HAS SOUPS 76193 WITH SCORE 76275.516
AT ITER 6042 NEW BEST:: SOT 942011 SOS 82444 HAS SOPS 82444 HAS SOUS 76176 HAS SOUPS 76176 WITH SCORE 76258.444
AT ITER 6075 NEW BEST:: SOT 942011 SOS 82386 HAS SOPS 82386 HAS SOUS 76118 HAS SOUPS 76118 WITH SCORE 76200.386
AT ITER 6162 NEW BEST:: SOT 941950 SOS 82352 HAS SOPS 82352 HAS SOUS 76057 HAS SOUPS 76057 WITH SCORE 76139.352
AT ITER 6192 NEW BEST:: SOT 941875 SOS 82040 HAS SOPS 82040 HAS SOUS 75874 HAS SOUPS 75874 WITH SCORE 75956.04
AT ITER 6239 NEW BEST:: SOT 941877 SOS 82023 HAS SOPS 82023 HAS SOUS 75857 HAS SOUPS 75857 WITH SCORE 75939.023
AT ITER 6291 NEW BEST:: SOT 941849 SOS 82012 HAS SOPS 82012 HAS SOUS 75846 HAS SOUPS 75846 WITH SCORE 75928.012
AT ITER 6297 NEW BEST:: SOT 941855 SOS 81956 HAS SOPS 81956 HAS SOUS 75790 HAS SOUPS 75790 WITH SCORE 75871.956
AT ITER 6409 NEW BEST:: SOT 941828 SOS 81813 HAS SOPS 81813 HAS SOUS 75689 HAS SOUPS 75689 WITH SCORE 75770.813
AT ITER 6447 NEW BEST:: SOT 941872 SOS 81857 HAS SOPS 81857 HAS SOUS 75686 HAS SOUPS 75686 WITH SCORE 75767.857
AT ITER 6473 NEW BEST:: SOT 941871 SOS 81802 HAS SOPS 81802 HAS SOUS 75659 HAS SOUPS 75659 WITH SCORE 75740.802
AT ITER 6596 NEW BEST:: SOT 941858 SOS 81776 HAS SOPS 81776 HAS SOUS 75633 HAS SOUPS 75633 WITH SCORE 75714.776
AT ITER 6635 NEW BEST:: SOT 941858 SOS 81776 HAS SOPS 81776 HAS SOUS 75631 HAS SOUPS 75631 WITH SCORE 75712.776
AT ITER 6641 NEW BEST:: SOT 941852 SOS 81764 HAS SOPS 81764 HAS SOUS 75622 HAS SOUPS 75622 WITH SCORE 75703.764
AT ITER 6659 NEW BEST:: SOT 941815 SOS 81714 HAS SOPS 81714 HAS SOUS 75535 HAS SOUPS 75535 WITH SCORE 75616.714
AT ITER 6660 NEW BEST:: SOT 941814 SOS 81679 HAS SOPS 81679 HAS SOUS 75533 HAS SOUPS 75533 WITH SCORE 75614.679
AT ITER 6717 NEW BEST:: SOT 941800 SOS 81671 HAS SOPS 81671 HAS SOUS 75519 HAS SOUPS 75519 WITH SCORE 75600.671
AT ITER 6723 NEW BEST:: SOT 941780 SOS 81651 HAS SOPS 81651 HAS SOUS 75516 HAS SOUPS 75516 WITH SCORE 75597.651
AT ITER 6761 NEW BEST:: SOT 941767 SOS 81599 HAS SOPS 81599 HAS SOUS 75477 HAS SOUPS 75477 WITH SCORE 75558.599
AT ITER 6785 NEW BEST:: SOT 941680 SOS 81492 HAS SOPS 81492 HAS SOUS 75400 HAS SOUPS 75400 WITH SCORE 75481.492
AT ITER 6810 NEW BEST:: SOT 941664 SOS 81485 HAS SOPS 81485 HAS SOUS 75359 HAS SOUPS 75359 WITH SCORE 75440.485
AT ITER 6819 NEW BEST:: SOT 941656 SOS 81461 HAS SOPS 81461 HAS SOUS 75343 HAS SOUPS 75343 WITH SCORE 75424.461
AT ITER 6831 NEW BEST:: SOT 941642 SOS 81433 HAS SOPS 81433 HAS SOUS 75329 HAS SOUPS 75329 WITH SCORE 75410.433
AT ITER 6849 NEW BEST:: SOT 941616 SOS 81421 HAS SOPS 81421 HAS SOUS 75317 HAS SOUPS 75317 WITH SCORE 75398.421
AT ITER 6868 NEW BEST:: SOT 941616 SOS 81416 HAS SOPS 81416 HAS SOUS 75312 HAS SOUPS 75312 WITH SCORE 75393.416
AT ITER 6896 NEW BEST:: SOT 941590 SOS 81322 HAS SOPS 81322 HAS SOUS 75218 HAS SOUPS 75218 WITH SCORE 75299.322
AT ITER 6961 NEW BEST:: SOT 941590 SOS 81318 HAS SOPS 81318 HAS SOUS 75214 HAS SOUPS 75214 WITH SCORE 75295.318
AT ITER 6966 NEW BEST:: SOT 941569 SOS 81242 HAS SOPS 81242 HAS SOUS 75100 HAS SOUPS 75100 WITH SCORE 75181.242
AT ITER 7014 NEW BEST:: SOT 941552 SOS 81203 HAS SOPS 81203 HAS SOUS 75046 HAS SOUPS 75046 WITH SCORE 75127.203
AT ITER 7028 NEW BEST:: SOT 941599 SOS 81138 HAS SOPS 81138 HAS SOUS 75034 HAS SOUPS 75034 WITH SCORE 75115.138
AT ITER 7034 NEW BEST:: SOT 941569 SOS 81096 HAS SOPS 81096 HAS SOUS 74967 HAS SOUPS 74967 WITH SCORE 75048.096
AT ITER 7061 NEW BEST:: SOT 941561 SOS 81088 HAS SOPS 81088 HAS SOUS 74959 HAS SOUPS 74959 WITH SCORE 75040.088
AT ITER 7130 NEW BEST:: SOT 941544 SOS 81071 HAS SOPS 81071 HAS SOUS 74942 HAS SOUPS 74942 WITH SCORE 75023.071
AT ITER 7186 NEW BEST:: SOT 941544 SOS 81031 HAS SOPS 81031 HAS SOUS 74942 HAS SOUPS 74942 WITH SCORE 75023.031
AT ITER 7251 NEW BEST:: SOT 941506 SOS 80822 HAS SOPS 80822 HAS SOUS 74820 HAS SOUPS 74820 WITH SCORE 74900.822
AT ITER 7319 NEW BEST:: SOT 941497 SOS 80804 HAS SOPS 80804 HAS SOUS 74802 HAS SOUPS 74802 WITH SCORE 74882.804
AT ITER 7370 NEW BEST:: SOT 941488 SOS 80786 HAS SOPS 80786 HAS SOUS 74784 HAS SOUPS 74784 WITH SCORE 74864.786
AT ITER 7445 NEW BEST:: SOT 941482 SOS 80774 HAS SOPS 80774 HAS SOUS 74783 HAS SOUPS 74783 WITH SCORE 74863.774
AT ITER 7455 NEW BEST:: SOT 941476 SOS 80768 HAS SOPS 80768 HAS SOUS 74777 HAS SOUPS 74777 WITH SCORE 74857.768
AT ITER 7472 NEW BEST:: SOT 941461 SOS 80737 HAS SOPS 80737 HAS SOUS 74777 HAS SOUPS 74777 WITH SCORE 74857.737
AT ITER 7504 NEW BEST:: SOT 941457 SOS 80729 HAS SOPS 80729 HAS SOUS 74769 HAS SOUPS 74769 WITH SCORE 74849.729
AT ITER 7647 NEW BEST:: SOT 941455 SOS 80725 HAS SOPS 80725 HAS SOUS 74765 HAS SOUPS 74765 WITH SCORE 74845.725
AT ITER 7678 NEW BEST:: SOT 941515 SOS 80762 HAS SOPS 80762 HAS SOUS 74759 HAS SOUPS 74759 WITH SCORE 74839.762
AT ITER 7749 NEW BEST:: SOT 941538 SOS 80738 HAS SOPS 80738 HAS SOUS 74755 HAS SOUPS 74755 WITH SCORE 74835.738
AT ITER 7763 NEW BEST:: SOT 941520 SOS 80677 HAS SOPS 80677 HAS SOUS 74729 HAS SOUPS 74729 WITH SCORE 74809.677
AT ITER 7797 NEW BEST:: SOT 941497 SOS 80576 HAS SOPS 80576 HAS SOUS 74628 HAS SOUPS 74628 WITH SCORE 74708.576
AT ITER 7809 NEW BEST:: SOT 941497 SOS 80550 HAS SOPS 80550 HAS SOUS 74600 HAS SOUPS 74600 WITH SCORE 74680.55
AT ITER 7813 NEW BEST:: SOT 941496 SOS 80595 HAS SOPS 80595 HAS SOUS 74598 HAS SOUPS 74598 WITH SCORE 74678.595
AT ITER 7818 NEW BEST:: SOT 941483 SOS 80513 HAS SOPS 80513 HAS SOUS 74562 HAS SOUPS 74562 WITH SCORE 74642.513
AT ITER 7825 NEW BEST:: SOT 941483 SOS 80505 HAS SOPS 80505 HAS SOUS 74554 HAS SOUPS 74554 WITH SCORE 74634.505
AT ITER 7828 NEW BEST:: SOT 941479 SOS 80645 HAS SOPS 80645 HAS SOUS 74551 HAS SOUPS 74551 WITH SCORE 74631.645
AT ITER 7844 NEW BEST:: SOT 941465 SOS 80617 HAS SOPS 80617 HAS SOUS 74510 HAS SOUPS 74510 WITH SCORE 74590.617
AT ITER 7868 NEW BEST:: SOT 941465 SOS 80617 HAS SOPS 80617 HAS SOUS 74507 HAS SOUPS 74507 WITH SCORE 74587.617
AT ITER 7922 NEW BEST:: SOT 941460 SOS 80612 HAS SOPS 80612 HAS SOUS 74502 HAS SOUPS 74502 WITH SCORE 74582.612
AT ITER 8058 NEW BEST:: SOT 941450 SOS 80602 HAS SOPS 80602 HAS SOUS 74486 HAS SOUPS 74486 WITH SCORE 74566.602
AT ITER 8075 NEW BEST:: SOT 941431 SOS 80538 HAS SOPS 80538 HAS SOUS 74436 HAS SOUPS 74436 WITH SCORE 74516.538
AT ITER 8117 NEW BEST:: SOT 941429 SOS 80537 HAS SOPS 80537 HAS SOUS 74435 HAS SOUPS 74435 WITH SCORE 74515.537
AT ITER 8198 NEW BEST:: SOT 941442 SOS 80518 HAS SOPS 80518 HAS SOUS 74433 HAS SOUPS 74433 WITH SCORE 74513.518
AT ITER 8268 NEW BEST:: SOT 941442 SOS 80517 HAS SOPS 80517 HAS SOUS 74432 HAS SOUPS 74432 WITH SCORE 74512.517
AT ITER 8322 NEW BEST:: SOT 941442 SOS 80562 HAS SOPS 80562 HAS SOUS 74402 HAS SOUPS 74402 WITH SCORE 74482.562
AT ITER 8334 NEW BEST:: SOT 941399 SOS 80433 HAS SOPS 80433 HAS SOUS 74316 HAS SOUPS 74316 WITH SCORE 74396.433
AT ITER 8392 NEW BEST:: SOT 941411 SOS 80443 HAS SOPS 80443 HAS SOUS 74271 HAS SOUPS 74271 WITH SCORE 74351.443
AT ITER 8469 NEW BEST:: SOT 941411 SOS 80418 HAS SOPS 80418 HAS SOUS 74246 HAS SOUPS 74246 WITH SCORE 74326.418
AT ITER 8478 NEW BEST:: SOT 941411 SOS 80405 HAS SOPS 80405 HAS SOUS 74233 HAS SOUPS 74233 WITH SCORE 74313.405
AT ITER 8582 NEW BEST:: SOT 941381 SOS 80345 HAS SOPS 80345 HAS SOUS 74147 HAS SOUPS 74147 WITH SCORE 74227.345
AT ITER 8639 NEW BEST:: SOT 941379 SOS 80344 HAS SOPS 80344 HAS SOUS 74146 HAS SOUPS 74146 WITH SCORE 74226.344
AT ITER 8641 NEW BEST:: SOT 941379 SOS 80315 HAS SOPS 80315 HAS SOUS 74115 HAS SOUPS 74115 WITH SCORE 74195.315
AT ITER 8705 NEW BEST:: SOT 941376 SOS 80309 HAS SOPS 80309 HAS SOUS 74112 HAS SOUPS 74112 WITH SCORE 74192.309
AT ITER 8727 NEW BEST:: SOT 941376 SOS 80269 HAS SOPS 80269 HAS SOUS 74098 HAS SOUPS 74098 WITH SCORE 74178.269
AT ITER 8728 NEW BEST:: SOT 941367 SOS 80251 HAS SOPS 80251 HAS SOUS 74097 HAS SOUPS 74097 WITH SCORE 74177.251
AT ITER 8744 NEW BEST:: SOT 941383 SOS 80229 HAS SOPS 80229 HAS SOUS 74090 HAS SOUPS 74090 WITH SCORE 74170.229
AT ITER 8762 NEW BEST:: SOT 941383 SOS 80175 HAS SOPS 80175 HAS SOUS 74067 HAS SOUPS 74067 WITH SCORE 74147.175
AT ITER 8771 NEW BEST:: SOT 941383 SOS 80175 HAS SOPS 80175 HAS SOUS 74065 HAS SOUPS 74065 WITH SCORE 74145.175
AT ITER 8864 NEW BEST:: SOT 941383 SOS 80163 HAS SOPS 80163 HAS SOUS 74065 HAS SOUPS 74065 WITH SCORE 74145.163
AT ITER 8869 NEW BEST:: SOT 941354 SOS 80119 HAS SOPS 80119 HAS SOUS 74063 HAS SOUPS 74063 WITH SCORE 74143.119
AT ITER 8899 NEW BEST:: SOT 941353 SOS 80106 HAS SOPS 80106 HAS SOUS 74020 HAS SOUPS 74020 WITH SCORE 74100.106
AT ITER 8931 NEW BEST:: SOT 941309 SOS 80037 HAS SOPS 80037 HAS SOUS 73962 HAS SOUPS 73962 WITH SCORE 74042.037
AT ITER 8996 NEW BEST:: SOT 941309 SOS 80031 HAS SOPS 80031 HAS SOUS 73955 HAS SOUPS 73955 WITH SCORE 74035.031
AT ITER 9006 NEW BEST:: SOT 941305 SOS 79857 HAS SOPS 79857 HAS SOUS 73874 HAS SOUPS 73874 WITH SCORE 73953.857
AT ITER 9011 NEW BEST:: SOT 941302 SOS 79852 HAS SOPS 79852 HAS SOUS 73869 HAS SOUPS 73869 WITH SCORE 73948.852
AT ITER 9023 NEW BEST:: SOT 941286 SOS 79872 HAS SOPS 79872 HAS SOUS 73844 HAS SOUPS 73844 WITH SCORE 73923.872
AT ITER 9076 NEW BEST:: SOT 941267 SOS 79815 HAS SOPS 79815 HAS SOUS 73787 HAS SOUPS 73787 WITH SCORE 73866.815
AT ITER 9081 NEW BEST:: SOT 941183 SOS 79868 HAS SOPS 79868 HAS SOUS 73750 HAS SOUPS 73750 WITH SCORE 73829.868
AT ITER 9239 NEW BEST:: SOT 941154 SOS 79826 HAS SOPS 79826 HAS SOUS 73721 HAS SOUPS 73721 WITH SCORE 73800.826
AT ITER 9241 NEW BEST:: SOT 941153 SOS 79825 HAS SOPS 79825 HAS SOUS 73720 HAS SOUPS 73720 WITH SCORE 73799.825
AT ITER 9299 NEW BEST:: SOT 941152 SOS 79769 HAS SOPS 79769 HAS SOUS 73718 HAS SOUPS 73718 WITH SCORE 73797.769
AT ITER 9319 NEW BEST:: SOT 941146 SOS 79757 HAS SOPS 79757 HAS SOUS 73706 HAS SOUPS 73706 WITH SCORE 73785.757
AT ITER 9326 NEW BEST:: SOT 941138 SOS 79741 HAS SOPS 79741 HAS SOUS 73690 HAS SOUPS 73690 WITH SCORE 73769.741
AT ITER 9356 NEW BEST:: SOT 941138 SOS 79740 HAS SOPS 79740 HAS SOUS 73689 HAS SOUPS 73689 WITH SCORE 73768.74
AT ITER 9409 NEW BEST:: SOT 941120 SOS 79723 HAS SOPS 79723 HAS SOUS 73672 HAS SOUPS 73672 WITH SCORE 73751.723
AT ITER 9462 NEW BEST:: SOT 941119 SOS 79722 HAS SOPS 79722 HAS SOUS 73672 HAS SOUPS 73672 WITH SCORE 73751.722
AT ITER 9565 NEW BEST:: SOT 941119 SOS 79722 HAS SOPS 79722 HAS SOUS 73661 HAS SOUPS 73661 WITH SCORE 73740.722
AT ITER 9566 NEW BEST:: SOT 941071 SOS 79664 HAS SOPS 79664 HAS SOUS 73613 HAS SOUPS 73613 WITH SCORE 73692.664
AT ITER 9580 NEW BEST:: SOT 941082 SOS 79653 HAS SOPS 79653 HAS SOUS 73613 HAS SOUPS 73613 WITH SCORE 73692.653
AT ITER 9599 NEW BEST:: SOT 941059 SOS 79574 HAS SOPS 79574 HAS SOUS 73567 HAS SOUPS 73567 WITH SCORE 73646.574
AT ITER 9617 NEW BEST:: SOT 941033 SOS 79561 HAS SOPS 79561 HAS SOUS 73554 HAS SOUPS 73554 WITH SCORE 73633.561
AT ITER 9703 NEW BEST:: SOT 940957 SOS 79229 HAS SOPS 79229 HAS SOUS 73315 HAS SOUPS 73315 WITH SCORE 73394.229
AT ITER 9724 NEW BEST:: SOT 940978 SOS 79174 HAS SOPS 79174 HAS SOUS 73260 HAS SOUPS 73260 WITH SCORE 73339.174
AT ITER 9769 NEW BEST:: SOT 940924 SOS 79171 HAS SOPS 79171 HAS SOUS 73224 HAS SOUPS 73224 WITH SCORE 73303.171
AT ITER 9771 NEW BEST:: SOT 940924 SOS 79143 HAS SOPS 79143 HAS SOUS 73223 HAS SOUPS 73223 WITH SCORE 73302.143
AT ITER 9809 NEW BEST:: SOT 940925 SOS 79129 HAS SOPS 79129 HAS SOUS 73208 HAS SOUPS 73208 WITH SCORE 73287.129
AT ITER 9836 NEW BEST:: SOT 940948 SOS 79121 HAS SOPS 79121 HAS SOUS 73200 HAS SOUPS 73200 WITH SCORE 73279.121
AT ITER 9851 NEW BEST:: SOT 940942 SOS 79086 HAS SOPS 79086 HAS SOUS 73165 HAS SOUPS 73165 WITH SCORE 73244.086
AT ITER 9865 NEW BEST:: SOT 940928 SOS 79058 HAS SOPS 79058 HAS SOUS 73137 HAS SOUPS 73137 WITH SCORE 73216.058
AT ITER 9897 NEW BEST:: SOT 940928 SOS 79055 HAS SOPS 79055 HAS SOUS 73134 HAS SOUPS 73134 WITH SCORE 73213.055
AT ITER 9903 NEW BEST:: SOT 940911 SOS 79004 HAS SOPS 79004 HAS SOUS 73100 HAS SOUPS 73100 WITH SCORE 73179.004
AT ITER 9946 NEW BEST:: SOT 940915 SOS 78966 HAS SOPS 78966 HAS SOUS 73061 HAS SOUPS 73061 WITH SCORE 73139.966

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="ShieldIIPt-PT-020B"
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 ShieldIIPt-PT-020B, 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 r207-tajo-159033469300328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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