Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 636K
-rw-r--r-- 1 mcc users 7.0K Feb 25 23:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 23:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 23:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 23:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 23:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 23:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 23:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 25 23:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 239K Mar 5 18:23 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 1679088596246

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldRVt-PT-020B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 020B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1003 places, 1003 transitions, 2366 arcs.
AT ITER 0 NEW BEST:: SOT 515077 SOS 45056 HAS SOPS 45056 HAS SOUS 41787 HAS SOUPS 41787 WITH SCORE 41832.056
AT ITER 66 NEW BEST:: SOT 515077 SOS 45056 HAS SOPS 45056 HAS SOUS 41764 HAS SOUPS 41764 WITH SCORE 41809.056
AT ITER 143 NEW BEST:: SOT 515050 SOS 45051 HAS SOPS 45051 HAS SOUS 41737 HAS SOUPS 41737 WITH SCORE 41782.051
AT ITER 203 NEW BEST:: SOT 515050 SOS 45048 HAS SOPS 45048 HAS SOUS 41734 HAS SOUPS 41734 WITH SCORE 41779.048
AT ITER 216 NEW BEST:: SOT 515019 SOS 45042 HAS SOPS 45042 HAS SOUS 41703 HAS SOUPS 41703 WITH SCORE 41748.042
AT ITER 381 NEW BEST:: SOT 514998 SOS 45041 HAS SOPS 45041 HAS SOUS 41702 HAS SOUPS 41702 WITH SCORE 41747.041
AT ITER 447 NEW BEST:: SOT 514998 SOS 44997 HAS SOPS 44997 HAS SOUS 41673 HAS SOUPS 41673 WITH SCORE 41717.997
AT ITER 518 NEW BEST:: SOT 514998 SOS 44967 HAS SOPS 44967 HAS SOUS 41642 HAS SOUPS 41642 WITH SCORE 41686.967
AT ITER 542 NEW BEST:: SOT 515024 SOS 44992 HAS SOPS 44992 HAS SOUS 41641 HAS SOUPS 41641 WITH SCORE 41685.992
AT ITER 631 NEW BEST:: SOT 515024 SOS 44992 HAS SOPS 44992 HAS SOUS 41640 HAS SOUPS 41640 WITH SCORE 41684.992
AT ITER 677 NEW BEST:: SOT 515026 SOS 44990 HAS SOPS 44990 HAS SOUS 41640 HAS SOUPS 41640 WITH SCORE 41684.99
AT ITER 693 NEW BEST:: SOT 515051 SOS 45000 HAS SOPS 45000 HAS SOUS 41606 HAS SOUPS 41606 WITH SCORE 41651.0
AT ITER 695 NEW BEST:: SOT 515054 SOS 44989 HAS SOPS 44989 HAS SOUS 41606 HAS SOUPS 41606 WITH SCORE 41650.989
AT ITER 704 NEW BEST:: SOT 515044 SOS 44969 HAS SOPS 44969 HAS SOUS 41586 HAS SOUPS 41586 WITH SCORE 41630.969
AT ITER 713 NEW BEST:: SOT 515044 SOS 44969 HAS SOPS 44969 HAS SOUS 41583 HAS SOUPS 41583 WITH SCORE 41627.969
AT ITER 755 NEW BEST:: SOT 515043 SOS 44935 HAS SOPS 44935 HAS SOUS 41581 HAS SOUPS 41581 WITH SCORE 41625.935
AT ITER 809 NEW BEST:: SOT 515034 SOS 44863 HAS SOPS 44863 HAS SOUS 41542 HAS SOUPS 41542 WITH SCORE 41586.863
AT ITER 952 NEW BEST:: SOT 515034 SOS 44851 HAS SOPS 44851 HAS SOUS 41530 HAS SOUPS 41530 WITH SCORE 41574.851
AT ITER 968 NEW BEST:: SOT 515034 SOS 44835 HAS SOPS 44835 HAS SOUS 41527 HAS SOUPS 41527 WITH SCORE 41571.835
AT ITER 969 NEW BEST:: SOT 515025 SOS 44777 HAS SOPS 44777 HAS SOUS 41478 HAS SOUPS 41478 WITH SCORE 41522.777
AT ITER 1031 NEW BEST:: SOT 515016 SOS 44750 HAS SOPS 44750 HAS SOUS 41451 HAS SOUPS 41451 WITH SCORE 41495.75
AT ITER 1041 NEW BEST:: SOT 515007 SOS 44744 HAS SOPS 44744 HAS SOUS 41445 HAS SOUPS 41445 WITH SCORE 41489.744
AT ITER 1058 NEW BEST:: SOT 515007 SOS 44710 HAS SOPS 44710 HAS SOUS 41411 HAS SOUPS 41411 WITH SCORE 41455.71
AT ITER 1121 NEW BEST:: SOT 515007 SOS 44696 HAS SOPS 44696 HAS SOUS 41411 HAS SOUPS 41411 WITH SCORE 41455.696
AT ITER 1182 NEW BEST:: SOT 514993 SOS 44682 HAS SOPS 44682 HAS SOUS 41397 HAS SOUPS 41397 WITH SCORE 41441.682
AT ITER 1207 NEW BEST:: SOT 514969 SOS 44707 HAS SOPS 44707 HAS SOUS 41373 HAS SOUPS 41373 WITH SCORE 41417.707
AT ITER 1338 NEW BEST:: SOT 514945 SOS 44635 HAS SOPS 44635 HAS SOUS 41301 HAS SOUPS 41301 WITH SCORE 41345.635
AT ITER 1360 NEW BEST:: SOT 514945 SOS 44620 HAS SOPS 44620 HAS SOUS 41271 HAS SOUPS 41271 WITH SCORE 41315.62
AT ITER 1362 NEW BEST:: SOT 514933 SOS 44596 HAS SOPS 44596 HAS SOUS 41235 HAS SOUPS 41235 WITH SCORE 41279.596
AT ITER 1393 NEW BEST:: SOT 514933 SOS 44592 HAS SOPS 44592 HAS SOUS 41231 HAS SOUPS 41231 WITH SCORE 41275.592
AT ITER 1419 NEW BEST:: SOT 514947 SOS 44608 HAS SOPS 44608 HAS SOUS 41193 HAS SOUPS 41193 WITH SCORE 41237.608
AT ITER 1420 NEW BEST:: SOT 514940 SOS 44601 HAS SOPS 44601 HAS SOUS 41186 HAS SOUPS 41186 WITH SCORE 41230.601
AT ITER 1425 NEW BEST:: SOT 514940 SOS 44597 HAS SOPS 44597 HAS SOUS 41182 HAS SOUPS 41182 WITH SCORE 41226.597
AT ITER 1458 NEW BEST:: SOT 514963 SOS 44633 HAS SOPS 44633 HAS SOUS 41168 HAS SOUPS 41168 WITH SCORE 41212.633
AT ITER 1481 NEW BEST:: SOT 514963 SOS 44632 HAS SOPS 44632 HAS SOUS 41167 HAS SOUPS 41167 WITH SCORE 41211.632
AT ITER 1535 NEW BEST:: SOT 514964 SOS 44634 HAS SOPS 44634 HAS SOUS 41127 HAS SOUPS 41127 WITH SCORE 41171.634
AT ITER 1575 NEW BEST:: SOT 514964 SOS 44624 HAS SOPS 44624 HAS SOUS 41116 HAS SOUPS 41116 WITH SCORE 41160.624
AT ITER 1660 NEW BEST:: SOT 514964 SOS 44584 HAS SOPS 44584 HAS SOUS 41076 HAS SOUPS 41076 WITH SCORE 41120.584
AT ITER 1662 NEW BEST:: SOT 514964 SOS 44584 HAS SOPS 44584 HAS SOUS 41048 HAS SOUPS 41048 WITH SCORE 41092.584
AT ITER 1678 NEW BEST:: SOT 514964 SOS 44584 HAS SOPS 44584 HAS SOUS 41045 HAS SOUPS 41045 WITH SCORE 41089.584
AT ITER 1707 NEW BEST:: SOT 514937 SOS 44530 HAS SOPS 44530 HAS SOUS 40969 HAS SOUPS 40969 WITH SCORE 41013.53
AT ITER 1755 NEW BEST:: SOT 514915 SOS 44486 HAS SOPS 44486 HAS SOUS 40925 HAS SOUPS 40925 WITH SCORE 40969.486
AT ITER 1845 NEW BEST:: SOT 514915 SOS 44512 HAS SOPS 44512 HAS SOUS 40921 HAS SOUPS 40921 WITH SCORE 40965.512
AT ITER 1899 NEW BEST:: SOT 514877 SOS 44436 HAS SOPS 44436 HAS SOUS 40845 HAS SOUPS 40845 WITH SCORE 40889.436
AT ITER 1922 NEW BEST:: SOT 514877 SOS 44419 HAS SOPS 44419 HAS SOUS 40828 HAS SOUPS 40828 WITH SCORE 40872.419
AT ITER 1940 NEW BEST:: SOT 514887 SOS 44368 HAS SOPS 44368 HAS SOUS 40797 HAS SOUPS 40797 WITH SCORE 40841.368
AT ITER 1983 NEW BEST:: SOT 514887 SOS 44353 HAS SOPS 44353 HAS SOUS 40797 HAS SOUPS 40797 WITH SCORE 40841.353
AT ITER 2072 NEW BEST:: SOT 514886 SOS 44332 HAS SOPS 44332 HAS SOUS 40792 HAS SOUPS 40792 WITH SCORE 40836.332
AT ITER 2109 NEW BEST:: SOT 514898 SOS 44284 HAS SOPS 44284 HAS SOUS 40784 HAS SOUPS 40784 WITH SCORE 40828.284
AT ITER 2149 NEW BEST:: SOT 514959 SOS 44350 HAS SOPS 44350 HAS SOUS 40781 HAS SOUPS 40781 WITH SCORE 40825.35
AT ITER 2203 NEW BEST:: SOT 514959 SOS 44347 HAS SOPS 44347 HAS SOUS 40778 HAS SOUPS 40778 WITH SCORE 40822.347
AT ITER 2210 NEW BEST:: SOT 514959 SOS 44346 HAS SOPS 44346 HAS SOUS 40776 HAS SOUPS 40776 WITH SCORE 40820.346
AT ITER 2259 NEW BEST:: SOT 514959 SOS 44327 HAS SOPS 44327 HAS SOUS 40776 HAS SOUPS 40776 WITH SCORE 40820.327
AT ITER 2299 NEW BEST:: SOT 514959 SOS 44319 HAS SOPS 44319 HAS SOUS 40767 HAS SOUPS 40767 WITH SCORE 40811.319
AT ITER 2318 NEW BEST:: SOT 514944 SOS 44289 HAS SOPS 44289 HAS SOUS 40737 HAS SOUPS 40737 WITH SCORE 40781.289
AT ITER 2339 NEW BEST:: SOT 514954 SOS 44280 HAS SOPS 44280 HAS SOUS 40728 HAS SOUPS 40728 WITH SCORE 40772.28
AT ITER 2418 NEW BEST:: SOT 514954 SOS 44275 HAS SOPS 44275 HAS SOUS 40728 HAS SOUPS 40728 WITH SCORE 40772.275
AT ITER 2500 NEW BEST:: SOT 514951 SOS 44269 HAS SOPS 44269 HAS SOUS 40724 HAS SOUPS 40724 WITH SCORE 40768.269
AT ITER 2560 NEW BEST:: SOT 514919 SOS 44205 HAS SOPS 44205 HAS SOUS 40660 HAS SOUPS 40660 WITH SCORE 40704.205
AT ITER 2564 NEW BEST:: SOT 514898 SOS 44138 HAS SOPS 44138 HAS SOUS 40614 HAS SOUPS 40614 WITH SCORE 40658.138
AT ITER 2576 NEW BEST:: SOT 514879 SOS 44100 HAS SOPS 44100 HAS SOUS 40576 HAS SOUPS 40576 WITH SCORE 40620.1
AT ITER 2578 NEW BEST:: SOT 514860 SOS 44095 HAS SOPS 44095 HAS SOUS 40557 HAS SOUPS 40557 WITH SCORE 40601.095
AT ITER 2630 NEW BEST:: SOT 514858 SOS 44093 HAS SOPS 44093 HAS SOUS 40557 HAS SOUPS 40557 WITH SCORE 40601.093
AT ITER 2648 NEW BEST:: SOT 514837 SOS 43937 HAS SOPS 43937 HAS SOUS 40490 HAS SOUPS 40490 WITH SCORE 40533.937
AT ITER 2707 NEW BEST:: SOT 514823 SOS 43956 HAS SOPS 43956 HAS SOUS 40462 HAS SOUPS 40462 WITH SCORE 40505.956
AT ITER 2727 NEW BEST:: SOT 514836 SOS 43920 HAS SOPS 43920 HAS SOUS 40443 HAS SOUPS 40443 WITH SCORE 40486.92
AT ITER 2774 NEW BEST:: SOT 514866 SOS 43991 HAS SOPS 43991 HAS SOUS 40435 HAS SOUPS 40435 WITH SCORE 40478.991
AT ITER 2783 NEW BEST:: SOT 514858 SOS 43929 HAS SOPS 43929 HAS SOUS 40381 HAS SOUPS 40381 WITH SCORE 40424.929
AT ITER 2842 NEW BEST:: SOT 514860 SOS 43928 HAS SOPS 43928 HAS SOUS 40380 HAS SOUPS 40380 WITH SCORE 40423.928
AT ITER 2882 NEW BEST:: SOT 514860 SOS 43922 HAS SOPS 43922 HAS SOUS 40374 HAS SOUPS 40374 WITH SCORE 40417.922
AT ITER 2949 NEW BEST:: SOT 514873 SOS 43888 HAS SOPS 43888 HAS SOUS 40348 HAS SOUPS 40348 WITH SCORE 40391.888
AT ITER 2962 NEW BEST:: SOT 514873 SOS 43884 HAS SOPS 43884 HAS SOUS 40344 HAS SOUPS 40344 WITH SCORE 40387.884
AT ITER 2964 NEW BEST:: SOT 514855 SOS 43848 HAS SOPS 43848 HAS SOUS 40308 HAS SOUPS 40308 WITH SCORE 40351.848
AT ITER 2967 NEW BEST:: SOT 514833 SOS 43804 HAS SOPS 43804 HAS SOUS 40264 HAS SOUPS 40264 WITH SCORE 40307.804
AT ITER 3027 NEW BEST:: SOT 514844 SOS 43794 HAS SOPS 43794 HAS SOUS 40237 HAS SOUPS 40237 WITH SCORE 40280.794
AT ITER 3032 NEW BEST:: SOT 514838 SOS 43779 HAS SOPS 43779 HAS SOUS 40222 HAS SOUPS 40222 WITH SCORE 40265.779
AT ITER 3058 NEW BEST:: SOT 514832 SOS 43767 HAS SOPS 43767 HAS SOUS 40213 HAS SOUPS 40213 WITH SCORE 40256.767
AT ITER 3136 NEW BEST:: SOT 514832 SOS 43724 HAS SOPS 43724 HAS SOUS 40209 HAS SOUPS 40209 WITH SCORE 40252.724
AT ITER 3362 NEW BEST:: SOT 514823 SOS 43706 HAS SOPS 43706 HAS SOUS 40185 HAS SOUPS 40185 WITH SCORE 40228.706
AT ITER 3382 NEW BEST:: SOT 514823 SOS 43700 HAS SOPS 43700 HAS SOUS 40179 HAS SOUPS 40179 WITH SCORE 40222.7
AT ITER 3440 NEW BEST:: SOT 514823 SOS 43685 HAS SOPS 43685 HAS SOUS 40149 HAS SOUPS 40149 WITH SCORE 40192.685
AT ITER 3497 NEW BEST:: SOT 514823 SOS 43685 HAS SOPS 43685 HAS SOUS 40148 HAS SOUPS 40148 WITH SCORE 40191.685
AT ITER 3593 NEW BEST:: SOT 514824 SOS 43649 HAS SOPS 43649 HAS SOUS 40129 HAS SOUPS 40129 WITH SCORE 40172.649
AT ITER 3595 NEW BEST:: SOT 514824 SOS 43642 HAS SOPS 43642 HAS SOUS 40122 HAS SOUPS 40122 WITH SCORE 40165.642
AT ITER 3619 NEW BEST:: SOT 514812 SOS 43630 HAS SOPS 43630 HAS SOUS 40110 HAS SOUPS 40110 WITH SCORE 40153.63
AT ITER 3654 NEW BEST:: SOT 514812 SOS 43629 HAS SOPS 43629 HAS SOUS 40109 HAS SOUPS 40109 WITH SCORE 40152.629
AT ITER 3681 NEW BEST:: SOT 514812 SOS 43595 HAS SOPS 43595 HAS SOUS 40075 HAS SOUPS 40075 WITH SCORE 40118.595
AT ITER 3756 NEW BEST:: SOT 514812 SOS 43590 HAS SOPS 43590 HAS SOUS 40067 HAS SOUPS 40067 WITH SCORE 40110.59
AT ITER 3787 NEW BEST:: SOT 514799 SOS 43564 HAS SOPS 43564 HAS SOUS 40033 HAS SOUPS 40033 WITH SCORE 40076.564
AT ITER 3799 NEW BEST:: SOT 514799 SOS 43570 HAS SOPS 43570 HAS SOUS 40030 HAS SOUPS 40030 WITH SCORE 40073.57
AT ITER 3804 NEW BEST:: SOT 514775 SOS 43554 HAS SOPS 43554 HAS SOUS 40014 HAS SOUPS 40014 WITH SCORE 40057.554
AT ITER 3839 NEW BEST:: SOT 514775 SOS 43554 HAS SOPS 43554 HAS SOUS 40011 HAS SOUPS 40011 WITH SCORE 40054.554
AT ITER 3840 NEW BEST:: SOT 514775 SOS 43536 HAS SOPS 43536 HAS SOUS 39993 HAS SOUPS 39993 WITH SCORE 40036.536
AT ITER 3876 NEW BEST:: SOT 514775 SOS 43535 HAS SOPS 43535 HAS SOUS 39992 HAS SOUPS 39992 WITH SCORE 40035.535
AT ITER 3914 NEW BEST:: SOT 514762 SOS 43509 HAS SOPS 43509 HAS SOUS 39966 HAS SOUPS 39966 WITH SCORE 40009.509
AT ITER 3942 NEW BEST:: SOT 514762 SOS 43508 HAS SOPS 43508 HAS SOUS 39965 HAS SOUPS 39965 WITH SCORE 40008.508
AT ITER 4067 NEW BEST:: SOT 514748 SOS 43433 HAS SOPS 43433 HAS SOUS 39904 HAS SOUPS 39904 WITH SCORE 39947.433
AT ITER 4086 NEW BEST:: SOT 514748 SOS 43423 HAS SOPS 43423 HAS SOUS 39899 HAS SOUPS 39899 WITH SCORE 39942.423
AT ITER 4138 NEW BEST:: SOT 514746 SOS 43406 HAS SOPS 43406 HAS SOUS 39882 HAS SOUPS 39882 WITH SCORE 39925.406
AT ITER 4141 NEW BEST:: SOT 514719 SOS 43352 HAS SOPS 43352 HAS SOUS 39828 HAS SOUPS 39828 WITH SCORE 39871.352
AT ITER 4177 NEW BEST:: SOT 514717 SOS 43351 HAS SOPS 43351 HAS SOUS 39827 HAS SOUPS 39827 WITH SCORE 39870.351
AT ITER 4180 NEW BEST:: SOT 514730 SOS 43356 HAS SOPS 43356 HAS SOUS 39819 HAS SOUPS 39819 WITH SCORE 39862.356
AT ITER 4285 NEW BEST:: SOT 514659 SOS 43284 HAS SOPS 43284 HAS SOUS 39727 HAS SOUPS 39727 WITH SCORE 39770.284
AT ITER 4338 NEW BEST:: SOT 514658 SOS 43240 HAS SOPS 43240 HAS SOUS 39724 HAS SOUPS 39724 WITH SCORE 39767.24
AT ITER 4346 NEW BEST:: SOT 514658 SOS 43239 HAS SOPS 43239 HAS SOUS 39723 HAS SOUPS 39723 WITH SCORE 39766.239
AT ITER 4401 NEW BEST:: SOT 514658 SOS 43236 HAS SOPS 43236 HAS SOUS 39720 HAS SOUPS 39720 WITH SCORE 39763.236
AT ITER 4403 NEW BEST:: SOT 514654 SOS 43232 HAS SOPS 43232 HAS SOUS 39716 HAS SOUPS 39716 WITH SCORE 39759.232
AT ITER 4439 NEW BEST:: SOT 514606 SOS 43136 HAS SOPS 43136 HAS SOUS 39620 HAS SOUPS 39620 WITH SCORE 39663.136
AT ITER 4460 NEW BEST:: SOT 514606 SOS 43098 HAS SOPS 43098 HAS SOUS 39598 HAS SOUPS 39598 WITH SCORE 39641.098
AT ITER 4527 NEW BEST:: SOT 514606 SOS 43079 HAS SOPS 43079 HAS SOUS 39560 HAS SOUPS 39560 WITH SCORE 39603.079
AT ITER 4536 NEW BEST:: SOT 514606 SOS 43079 HAS SOPS 43079 HAS SOUS 39559 HAS SOUPS 39559 WITH SCORE 39602.079
AT ITER 4581 NEW BEST:: SOT 514592 SOS 43077 HAS SOPS 43077 HAS SOUS 39557 HAS SOUPS 39557 WITH SCORE 39600.077
AT ITER 4643 NEW BEST:: SOT 514592 SOS 43070 HAS SOPS 43070 HAS SOUS 39550 HAS SOUPS 39550 WITH SCORE 39593.07
AT ITER 4711 NEW BEST:: SOT 514569 SOS 43001 HAS SOPS 43001 HAS SOUS 39504 HAS SOUPS 39504 WITH SCORE 39547.001
AT ITER 4725 NEW BEST:: SOT 514572 SOS 43007 HAS SOPS 43007 HAS SOUS 39502 HAS SOUPS 39502 WITH SCORE 39545.007
AT ITER 4780 NEW BEST:: SOT 514571 SOS 42993 HAS SOPS 42993 HAS SOUS 39488 HAS SOUPS 39488 WITH SCORE 39530.993
AT ITER 4967 NEW BEST:: SOT 514555 SOS 42961 HAS SOPS 42961 HAS SOUS 39456 HAS SOUPS 39456 WITH SCORE 39498.961
AT ITER 5052 NEW BEST:: SOT 514555 SOS 42944 HAS SOPS 42944 HAS SOUS 39439 HAS SOUPS 39439 WITH SCORE 39481.944
AT ITER 5107 NEW BEST:: SOT 514553 SOS 42938 HAS SOPS 42938 HAS SOUS 39435 HAS SOUPS 39435 WITH SCORE 39477.938
AT ITER 5140 NEW BEST:: SOT 514524 SOS 42880 HAS SOPS 42880 HAS SOUS 39376 HAS SOUPS 39376 WITH SCORE 39418.88
AT ITER 5179 NEW BEST:: SOT 514523 SOS 42800 HAS SOPS 42800 HAS SOUS 39350 HAS SOUPS 39350 WITH SCORE 39392.8
AT ITER 5238 NEW BEST:: SOT 514530 SOS 42801 HAS SOPS 42801 HAS SOUS 39344 HAS SOUPS 39344 WITH SCORE 39386.801
AT ITER 5242 NEW BEST:: SOT 514528 SOS 42797 HAS SOPS 42797 HAS SOUS 39326 HAS SOUPS 39326 WITH SCORE 39368.797
AT ITER 5248 NEW BEST:: SOT 514507 SOS 42795 HAS SOPS 42795 HAS SOUS 39324 HAS SOUPS 39324 WITH SCORE 39366.795
AT ITER 5332 NEW BEST:: SOT 514504 SOS 42766 HAS SOPS 42766 HAS SOUS 39314 HAS SOUPS 39314 WITH SCORE 39356.766
AT ITER 5357 NEW BEST:: SOT 514504 SOS 42760 HAS SOPS 42760 HAS SOUS 39314 HAS SOUPS 39314 WITH SCORE 39356.76
AT ITER 5366 NEW BEST:: SOT 514490 SOS 42732 HAS SOPS 42732 HAS SOUS 39301 HAS SOUPS 39301 WITH SCORE 39343.732
AT ITER 5480 NEW BEST:: SOT 514490 SOS 42702 HAS SOPS 42702 HAS SOUS 39286 HAS SOUPS 39286 WITH SCORE 39328.702
AT ITER 5510 NEW BEST:: SOT 514490 SOS 42702 HAS SOPS 42702 HAS SOUS 39282 HAS SOUPS 39282 WITH SCORE 39324.702
AT ITER 5525 NEW BEST:: SOT 514490 SOS 42682 HAS SOPS 42682 HAS SOUS 39272 HAS SOUPS 39272 WITH SCORE 39314.682
AT ITER 5537 NEW BEST:: SOT 514529 SOS 42730 HAS SOPS 42730 HAS SOUS 39254 HAS SOUPS 39254 WITH SCORE 39296.73
AT ITER 5556 NEW BEST:: SOT 514529 SOS 42700 HAS SOPS 42700 HAS SOUS 39219 HAS SOUPS 39219 WITH SCORE 39261.7
AT ITER 5607 NEW BEST:: SOT 514549 SOS 42740 HAS SOPS 42740 HAS SOUS 39216 HAS SOUPS 39216 WITH SCORE 39258.74
AT ITER 5627 NEW BEST:: SOT 514522 SOS 42772 HAS SOPS 42772 HAS SOUS 39189 HAS SOUPS 39189 WITH SCORE 39231.772
AT ITER 5771 NEW BEST:: SOT 514522 SOS 42771 HAS SOPS 42771 HAS SOUS 39189 HAS SOUPS 39189 WITH SCORE 39231.771
AT ITER 5778 NEW BEST:: SOT 514522 SOS 42759 HAS SOPS 42759 HAS SOUS 39177 HAS SOUPS 39177 WITH SCORE 39219.759
AT ITER 5942 NEW BEST:: SOT 514514 SOS 42786 HAS SOPS 42786 HAS SOUS 39169 HAS SOUPS 39169 WITH SCORE 39211.786
AT ITER 5980 NEW BEST:: SOT 514487 SOS 42674 HAS SOPS 42674 HAS SOUS 39030 HAS SOUPS 39030 WITH SCORE 39072.674
AT ITER 5982 NEW BEST:: SOT 514508 SOS 42641 HAS SOPS 42641 HAS SOUS 39016 HAS SOUPS 39016 WITH SCORE 39058.641
AT ITER 6182 NEW BEST:: SOT 514500 SOS 42629 HAS SOPS 42629 HAS SOUS 39004 HAS SOUPS 39004 WITH SCORE 39046.629
AT ITER 6205 NEW BEST:: SOT 514500 SOS 42599 HAS SOPS 42599 HAS SOUS 38974 HAS SOUPS 38974 WITH SCORE 39016.599
AT ITER 6242 NEW BEST:: SOT 514499 SOS 42597 HAS SOPS 42597 HAS SOUS 38973 HAS SOUPS 38973 WITH SCORE 39015.597
AT ITER 6296 NEW BEST:: SOT 514499 SOS 42597 HAS SOPS 42597 HAS SOUS 38963 HAS SOUPS 38963 WITH SCORE 39005.597
AT ITER 6312 NEW BEST:: SOT 514483 SOS 42564 HAS SOPS 42564 HAS SOUS 38907 HAS SOUPS 38907 WITH SCORE 38949.564
AT ITER 6335 NEW BEST:: SOT 514471 SOS 42516 HAS SOPS 42516 HAS SOUS 38871 HAS SOUPS 38871 WITH SCORE 38913.516
AT ITER 6345 NEW BEST:: SOT 514471 SOS 42492 HAS SOPS 42492 HAS SOUS 38871 HAS SOUPS 38871 WITH SCORE 38913.492
AT ITER 6406 NEW BEST:: SOT 514471 SOS 42491 HAS SOPS 42491 HAS SOUS 38846 HAS SOUPS 38846 WITH SCORE 38888.491
AT ITER 6426 NEW BEST:: SOT 514452 SOS 42472 HAS SOPS 42472 HAS SOUS 38808 HAS SOUPS 38808 WITH SCORE 38850.472
AT ITER 6448 NEW BEST:: SOT 514452 SOS 42472 HAS SOPS 42472 HAS SOUS 38805 HAS SOUPS 38805 WITH SCORE 38847.472
AT ITER 6454 NEW BEST:: SOT 514441 SOS 42432 HAS SOPS 42432 HAS SOUS 38801 HAS SOUPS 38801 WITH SCORE 38843.432
AT ITER 6503 NEW BEST:: SOT 514393 SOS 42373 HAS SOPS 42373 HAS SOUS 38733 HAS SOUPS 38733 WITH SCORE 38775.373
AT ITER 6585 NEW BEST:: SOT 514383 SOS 42368 HAS SOPS 42368 HAS SOUS 38728 HAS SOUPS 38728 WITH SCORE 38770.368
AT ITER 6633 NEW BEST:: SOT 514383 SOS 42364 HAS SOPS 42364 HAS SOUS 38724 HAS SOUPS 38724 WITH SCORE 38766.364
AT ITER 6792 NEW BEST:: SOT 514383 SOS 42364 HAS SOPS 42364 HAS SOUS 38712 HAS SOUPS 38712 WITH SCORE 38754.364
AT ITER 6852 NEW BEST:: SOT 514383 SOS 42348 HAS SOPS 42348 HAS SOUS 38696 HAS SOUPS 38696 WITH SCORE 38738.348
AT ITER 6942 NEW BEST:: SOT 514383 SOS 42326 HAS SOPS 42326 HAS SOUS 38674 HAS SOUPS 38674 WITH SCORE 38716.326
AT ITER 6980 NEW BEST:: SOT 514408 SOS 42275 HAS SOPS 42275 HAS SOUS 38634 HAS SOUPS 38634 WITH SCORE 38676.275
AT ITER 6981 NEW BEST:: SOT 514454 SOS 42329 HAS SOPS 42329 HAS SOUS 38616 HAS SOUPS 38616 WITH SCORE 38658.329
AT ITER 6982 NEW BEST:: SOT 514422 SOS 42261 HAS SOPS 42261 HAS SOUS 38534 HAS SOUPS 38534 WITH SCORE 38576.261
AT ITER 7037 NEW BEST:: SOT 514422 SOS 42243 HAS SOPS 42243 HAS SOUS 38534 HAS SOUPS 38534 WITH SCORE 38576.243
AT ITER 7049 NEW BEST:: SOT 514389 SOS 42177 HAS SOPS 42177 HAS SOUS 38445 HAS SOUPS 38445 WITH SCORE 38487.177
AT ITER 7078 NEW BEST:: SOT 514389 SOS 42175 HAS SOPS 42175 HAS SOUS 38443 HAS SOUPS 38443 WITH SCORE 38485.175
AT ITER 7092 NEW BEST:: SOT 514369 SOS 42115 HAS SOPS 42115 HAS SOUS 38383 HAS SOUPS 38383 WITH SCORE 38425.115
AT ITER 7131 NEW BEST:: SOT 514372 SOS 42121 HAS SOPS 42121 HAS SOUS 38371 HAS SOUPS 38371 WITH SCORE 38413.121
AT ITER 7177 NEW BEST:: SOT 514372 SOS 42103 HAS SOPS 42103 HAS SOUS 38352 HAS SOUPS 38352 WITH SCORE 38394.103
AT ITER 7195 NEW BEST:: SOT 514372 SOS 42071 HAS SOPS 42071 HAS SOUS 38342 HAS SOUPS 38342 WITH SCORE 38384.071
AT ITER 7208 NEW BEST:: SOT 514371 SOS 42055 HAS SOPS 42055 HAS SOUS 38333 HAS SOUPS 38333 WITH SCORE 38375.055
AT ITER 7253 NEW BEST:: SOT 514388 SOS 42042 HAS SOPS 42042 HAS SOUS 38314 HAS SOUPS 38314 WITH SCORE 38356.042
AT ITER 7268 NEW BEST:: SOT 514412 SOS 42167 HAS SOPS 42167 HAS SOUS 38297 HAS SOUPS 38297 WITH SCORE 38339.167
AT ITER 7272 NEW BEST:: SOT 514390 SOS 42158 HAS SOPS 42158 HAS SOUS 38275 HAS SOUPS 38275 WITH SCORE 38317.158
AT ITER 7303 NEW BEST:: SOT 514387 SOS 42152 HAS SOPS 42152 HAS SOUS 38269 HAS SOUPS 38269 WITH SCORE 38311.152
AT ITER 7317 NEW BEST:: SOT 514362 SOS 42050 HAS SOPS 42050 HAS SOUS 38167 HAS SOUPS 38167 WITH SCORE 38209.05
AT ITER 7354 NEW BEST:: SOT 514344 SOS 41952 HAS SOPS 41952 HAS SOUS 38117 HAS SOUPS 38117 WITH SCORE 38158.952
AT ITER 7413 NEW BEST:: SOT 514346 SOS 41919 HAS SOPS 41919 HAS SOUS 38110 HAS SOUPS 38110 WITH SCORE 38151.919
AT ITER 7442 NEW BEST:: SOT 514341 SOS 41909 HAS SOPS 41909 HAS SOUS 38062 HAS SOUPS 38062 WITH SCORE 38103.909
AT ITER 7447 NEW BEST:: SOT 514332 SOS 41891 HAS SOPS 41891 HAS SOUS 38053 HAS SOUPS 38053 WITH SCORE 38094.891
AT ITER 7483 NEW BEST:: SOT 514379 SOS 41951 HAS SOPS 41951 HAS SOUS 38040 HAS SOUPS 38040 WITH SCORE 38081.951
AT ITER 7500 NEW BEST:: SOT 514361 SOS 41915 HAS SOPS 41915 HAS SOUS 38004 HAS SOUPS 38004 WITH SCORE 38045.915
AT ITER 7557 NEW BEST:: SOT 514363 SOS 41841 HAS SOPS 41841 HAS SOUS 37964 HAS SOUPS 37964 WITH SCORE 38005.841
AT ITER 7596 NEW BEST:: SOT 514362 SOS 41839 HAS SOPS 41839 HAS SOUS 37962 HAS SOUPS 37962 WITH SCORE 38003.839
AT ITER 7619 NEW BEST:: SOT 514367 SOS 41800 HAS SOPS 41800 HAS SOUS 37920 HAS SOUPS 37920 WITH SCORE 37961.8
AT ITER 7630 NEW BEST:: SOT 514367 SOS 41800 HAS SOPS 41800 HAS SOUS 37917 HAS SOUPS 37917 WITH SCORE 37958.8
AT ITER 7685 NEW BEST:: SOT 514367 SOS 41800 HAS SOPS 41800 HAS SOUS 37916 HAS SOUPS 37916 WITH SCORE 37957.8
AT ITER 7688 NEW BEST:: SOT 514367 SOS 41790 HAS SOPS 41790 HAS SOUS 37906 HAS SOUPS 37906 WITH SCORE 37947.79
AT ITER 7758 NEW BEST:: SOT 514311 SOS 41823 HAS SOPS 41823 HAS SOUS 37873 HAS SOUPS 37873 WITH SCORE 37914.823
AT ITER 7857 NEW BEST:: SOT 514308 SOS 41817 HAS SOPS 41817 HAS SOUS 37867 HAS SOUPS 37867 WITH SCORE 37908.817
AT ITER 7867 NEW BEST:: SOT 514309 SOS 41816 HAS SOPS 41816 HAS SOUS 37867 HAS SOUPS 37867 WITH SCORE 37908.816
AT ITER 7870 NEW BEST:: SOT 514304 SOS 41800 HAS SOPS 41800 HAS SOUS 37851 HAS SOUPS 37851 WITH SCORE 37892.8
AT ITER 7872 NEW BEST:: SOT 514216 SOS 41771 HAS SOPS 41771 HAS SOUS 37766 HAS SOUPS 37766 WITH SCORE 37807.771
AT ITER 7896 NEW BEST:: SOT 514195 SOS 41721 HAS SOPS 41721 HAS SOUS 37706 HAS SOUPS 37706 WITH SCORE 37747.721
AT ITER 7927 NEW BEST:: SOT 514227 SOS 41699 HAS SOPS 41699 HAS SOUS 37684 HAS SOUPS 37684 WITH SCORE 37725.699
AT ITER 7936 NEW BEST:: SOT 514267 SOS 41738 HAS SOPS 41738 HAS SOUS 37667 HAS SOUPS 37667 WITH SCORE 37708.738
AT ITER 7975 NEW BEST:: SOT 514270 SOS 41736 HAS SOPS 41736 HAS SOUS 37665 HAS SOUPS 37665 WITH SCORE 37706.736
AT ITER 7981 NEW BEST:: SOT 514270 SOS 41733 HAS SOPS 41733 HAS SOUS 37662 HAS SOUPS 37662 WITH SCORE 37703.733
AT ITER 7983 NEW BEST:: SOT 514262 SOS 41678 HAS SOPS 41678 HAS SOUS 37615 HAS SOUPS 37615 WITH SCORE 37656.678
AT ITER 7987 NEW BEST:: SOT 514256 SOS 41680 HAS SOPS 41680 HAS SOUS 37610 HAS SOUPS 37610 WITH SCORE 37651.68
AT ITER 8005 NEW BEST:: SOT 514254 SOS 41676 HAS SOPS 41676 HAS SOUS 37606 HAS SOUPS 37606 WITH SCORE 37647.676
AT ITER 8123 NEW BEST:: SOT 514242 SOS 41658 HAS SOPS 41658 HAS SOUS 37588 HAS SOUPS 37588 WITH SCORE 37629.658
AT ITER 8210 NEW BEST:: SOT 514235 SOS 41651 HAS SOPS 41651 HAS SOUS 37588 HAS SOUPS 37588 WITH SCORE 37629.651
AT ITER 8214 NEW BEST:: SOT 514235 SOS 41621 HAS SOPS 41621 HAS SOUS 37573 HAS SOUPS 37573 WITH SCORE 37614.621
AT ITER 8215 NEW BEST:: SOT 514227 SOS 41533 HAS SOPS 41533 HAS SOUS 37493 HAS SOUPS 37493 WITH SCORE 37534.533
AT ITER 8301 NEW BEST:: SOT 514218 SOS 41506 HAS SOPS 41506 HAS SOUS 37484 HAS SOUPS 37484 WITH SCORE 37525.506
AT ITER 8305 NEW BEST:: SOT 514217 SOS 41446 HAS SOPS 41446 HAS SOUS 37453 HAS SOUPS 37453 WITH SCORE 37494.446
AT ITER 8340 NEW BEST:: SOT 514213 SOS 41425 HAS SOPS 41425 HAS SOUS 37440 HAS SOUPS 37440 WITH SCORE 37481.425
AT ITER 8425 NEW BEST:: SOT 514205 SOS 41409 HAS SOPS 41409 HAS SOUS 37424 HAS SOUPS 37424 WITH SCORE 37465.409
AT ITER 8550 NEW BEST:: SOT 514204 SOS 41405 HAS SOPS 41405 HAS SOUS 37422 HAS SOUPS 37422 WITH SCORE 37463.405
AT ITER 8563 NEW BEST:: SOT 514201 SOS 41397 HAS SOPS 41397 HAS SOUS 37416 HAS SOUPS 37416 WITH SCORE 37457.397
AT ITER 8578 NEW BEST:: SOT 514177 SOS 41349 HAS SOPS 41349 HAS SOUS 37368 HAS SOUPS 37368 WITH SCORE 37409.349
AT ITER 8637 NEW BEST:: SOT 514148 SOS 41262 HAS SOPS 41262 HAS SOUS 37310 HAS SOUPS 37310 WITH SCORE 37351.262
AT ITER 8665 NEW BEST:: SOT 514147 SOS 41259 HAS SOPS 41259 HAS SOUS 37308 HAS SOUPS 37308 WITH SCORE 37349.259
AT ITER 8667 NEW BEST:: SOT 514122 SOS 41184 HAS SOPS 41184 HAS SOUS 37233 HAS SOUPS 37233 WITH SCORE 37274.184
AT ITER 8757 NEW BEST:: SOT 514178 SOS 41271 HAS SOPS 41271 HAS SOUS 37214 HAS SOUPS 37214 WITH SCORE 37255.271
AT ITER 8786 NEW BEST:: SOT 514182 SOS 41225 HAS SOPS 41225 HAS SOUS 37177 HAS SOUPS 37177 WITH SCORE 37218.225
AT ITER 8810 NEW BEST:: SOT 514180 SOS 41223 HAS SOPS 41223 HAS SOUS 37175 HAS SOUPS 37175 WITH SCORE 37216.223
AT ITER 8860 NEW BEST:: SOT 514187 SOS 41226 HAS SOPS 41226 HAS SOUS 37171 HAS SOUPS 37171 WITH SCORE 37212.226
AT ITER 9051 NEW BEST:: SOT 514187 SOS 41198 HAS SOPS 41198 HAS SOUS 37157 HAS SOUPS 37157 WITH SCORE 37198.198
AT ITER 9074 NEW BEST:: SOT 514173 SOS 41130 HAS SOPS 41130 HAS SOUS 37074 HAS SOUPS 37074 WITH SCORE 37115.13
AT ITER 9082 NEW BEST:: SOT 514172 SOS 41115 HAS SOPS 41115 HAS SOUS 37072 HAS SOUPS 37072 WITH SCORE 37113.115
AT ITER 9089 NEW BEST:: SOT 514172 SOS 41094 HAS SOPS 41094 HAS SOUS 37030 HAS SOUPS 37030 WITH SCORE 37071.094
AT ITER 9130 NEW BEST:: SOT 514169 SOS 41080 HAS SOPS 41080 HAS SOUS 37001 HAS SOUPS 37001 WITH SCORE 37042.08
AT ITER 9156 NEW BEST:: SOT 514155 SOS 41052 HAS SOPS 41052 HAS SOUS 36973 HAS SOUPS 36973 WITH SCORE 37014.052
AT ITER 9200 NEW BEST:: SOT 514151 SOS 41035 HAS SOPS 41035 HAS SOUS 36956 HAS SOUPS 36956 WITH SCORE 36997.035
AT ITER 9254 NEW BEST:: SOT 514178 SOS 41062 HAS SOPS 41062 HAS SOUS 36951 HAS SOUPS 36951 WITH SCORE 36992.062
AT ITER 9285 NEW BEST:: SOT 514163 SOS 41017 HAS SOPS 41017 HAS SOUS 36921 HAS SOUPS 36921 WITH SCORE 36962.017
AT ITER 9320 NEW BEST:: SOT 514153 SOS 41007 HAS SOPS 41007 HAS SOUS 36911 HAS SOUPS 36911 WITH SCORE 36952.007
AT ITER 9327 NEW BEST:: SOT 514142 SOS 40985 HAS SOPS 40985 HAS SOUS 36900 HAS SOUPS 36900 WITH SCORE 36940.985
AT ITER 9340 NEW BEST:: SOT 514164 SOS 41029 HAS SOPS 41029 HAS SOUS 36889 HAS SOUPS 36889 WITH SCORE 36930.029
AT ITER 9362 NEW BEST:: SOT 514180 SOS 41015 HAS SOPS 41015 HAS SOUS 36875 HAS SOUPS 36875 WITH SCORE 36916.015
AT ITER 9369 NEW BEST:: SOT 514174 SOS 41009 HAS SOPS 41009 HAS SOUS 36869 HAS SOUPS 36869 WITH SCORE 36910.009
AT ITER 9443 NEW BEST:: SOT 514174 SOS 41006 HAS SOPS 41006 HAS SOUS 36866 HAS SOUPS 36866 WITH SCORE 36907.006
AT ITER 9464 NEW BEST:: SOT 514174 SOS 41019 HAS SOPS 41019 HAS SOUS 36863 HAS SOUPS 36863 WITH SCORE 36904.019
AT ITER 9470 NEW BEST:: SOT 514172 SOS 41027 HAS SOPS 41027 HAS SOUS 36849 HAS SOUPS 36849 WITH SCORE 36890.027
AT ITER 9591 NEW BEST:: SOT 514165 SOS 41012 HAS SOPS 41012 HAS SOUS 36821 HAS SOUPS 36821 WITH SCORE 36862.012
AT ITER 9609 NEW BEST:: SOT 514148 SOS 41011 HAS SOPS 41011 HAS SOUS 36804 HAS SOUPS 36804 WITH SCORE 36845.011
AT ITER 9610 NEW BEST:: SOT 514121 SOS 40989 HAS SOPS 40989 HAS SOUS 36782 HAS SOUPS 36782 WITH SCORE 36822.989
AT ITER 9615 NEW BEST:: SOT 514121 SOS 40969 HAS SOPS 40969 HAS SOUS 36762 HAS SOUPS 36762 WITH SCORE 36802.969
AT ITER 9685 NEW BEST:: SOT 514117 SOS 40865 HAS SOPS 40865 HAS SOUS 36688 HAS SOUPS 36688 WITH SCORE 36728.865
AT ITER 9727 NEW BEST:: SOT 514117 SOS 40843 HAS SOPS 40843 HAS SOUS 36666 HAS SOUPS 36666 WITH SCORE 36706.843
AT ITER 9738 NEW BEST:: SOT 514109 SOS 40837 HAS SOPS 40837 HAS SOUS 36652 HAS SOUPS 36652 WITH SCORE 36692.837
AT ITER 9740 NEW BEST:: SOT 514089 SOS 40812 HAS SOPS 40812 HAS SOUS 36618 HAS SOUPS 36618 WITH SCORE 36658.812
AT ITER 9776 NEW BEST:: SOT 514091 SOS 40816 HAS SOPS 40816 HAS SOUS 36617 HAS SOUPS 36617 WITH SCORE 36657.816
AT ITER 9777 NEW BEST:: SOT 514091 SOS 40813 HAS SOPS 40813 HAS SOUS 36614 HAS SOUPS 36614 WITH SCORE 36654.813
AT ITER 9813 NEW BEST:: SOT 514083 SOS 40831 HAS SOPS 40831 HAS SOUS 36605 HAS SOUPS 36605 WITH SCORE 36645.831
AT ITER 9860 NEW BEST:: SOT 514086 SOS 40830 HAS SOPS 40830 HAS SOUS 36604 HAS SOUPS 36604 WITH SCORE 36644.83
AT ITER 9884 NEW BEST:: SOT 514119 SOS 40804 HAS SOPS 40804 HAS SOUS 36601 HAS SOUPS 36601 WITH SCORE 36641.804
AT ITER 9887 NEW BEST:: SOT 514119 SOS 40799 HAS SOPS 40799 HAS SOUS 36591 HAS SOUPS 36591 WITH SCORE 36631.799
AT ITER 9924 NEW BEST:: SOT 514113 SOS 40793 HAS SOPS 40793 HAS SOUS 36585 HAS SOUPS 36585 WITH SCORE 36625.793
AT ITER 9941 NEW BEST:: SOT 514115 SOS 40737 HAS SOPS 40737 HAS SOUS 36541 HAS SOUPS 36541 WITH SCORE 36581.737
AT ITER 9987 NEW BEST:: SOT 514067 SOS 40739 HAS SOPS 40739 HAS SOUS 36519 HAS SOUPS 36519 WITH SCORE 36559.739
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 9308756 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16152928 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="ShieldRVt-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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is ShieldRVt-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 r419-tajo-167905973600288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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