Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538300120.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SmartHome-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538300120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 272K
-rw-r--r-- 1 mcc users 3.4K May 14 03:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 03:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 21:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 21:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.8K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 10:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 102K 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 1590469786041

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

Filename model.pnml
Petri model created: 427 places, 451 transitions, 1038 arcs.
AT ITER 0 NEW BEST:: SOT 114065 SOS 26207 HAS SOPS 26207 HAS SOUS 25530 HAS SOUPS 25530 WITH SCORE 25556.207
AT ITER 1 NEW BEST:: SOT 113758 SOS 26828 HAS SOPS 26828 HAS SOUS 25351 HAS SOUPS 25351 WITH SCORE 25377.828
AT ITER 15 NEW BEST:: SOT 113658 SOS 26758 HAS SOPS 26758 HAS SOUS 25261 HAS SOUPS 25261 WITH SCORE 25287.758
AT ITER 23 NEW BEST:: SOT 113648 SOS 26738 HAS SOPS 26738 HAS SOUS 25241 HAS SOUPS 25241 WITH SCORE 25267.738
AT ITER 38 NEW BEST:: SOT 113401 SOS 26559 HAS SOPS 26559 HAS SOUS 25015 HAS SOUPS 25015 WITH SCORE 25041.559
AT ITER 41 NEW BEST:: SOT 113398 SOS 26581 HAS SOPS 26581 HAS SOUS 25012 HAS SOUPS 25012 WITH SCORE 25038.581
AT ITER 45 NEW BEST:: SOT 113403 SOS 26558 HAS SOPS 26558 HAS SOUS 24998 HAS SOUPS 24998 WITH SCORE 25024.558
AT ITER 49 NEW BEST:: SOT 112787 SOS 30679 HAS SOPS 30679 HAS SOUS 24820 HAS SOUPS 24820 WITH SCORE 24850.679
AT ITER 60 NEW BEST:: SOT 112790 SOS 30675 HAS SOPS 30675 HAS SOUS 24815 HAS SOUPS 24815 WITH SCORE 24845.675
AT ITER 72 NEW BEST:: SOT 112770 SOS 30635 HAS SOPS 30635 HAS SOUS 24775 HAS SOUPS 24775 WITH SCORE 24805.635
AT ITER 85 NEW BEST:: SOT 112770 SOS 30608 HAS SOPS 30608 HAS SOUS 24748 HAS SOUPS 24748 WITH SCORE 24778.608
AT ITER 87 NEW BEST:: SOT 112741 SOS 30587 HAS SOPS 30587 HAS SOUS 24705 HAS SOUPS 24705 WITH SCORE 24735.587
AT ITER 93 NEW BEST:: SOT 112627 SOS 30359 HAS SOPS 30359 HAS SOUS 24591 HAS SOUPS 24591 WITH SCORE 24621.359
AT ITER 104 NEW BEST:: SOT 112628 SOS 30358 HAS SOPS 30358 HAS SOUS 24590 HAS SOUPS 24590 WITH SCORE 24620.358
AT ITER 113 NEW BEST:: SOT 112611 SOS 30324 HAS SOPS 30324 HAS SOUS 24547 HAS SOUPS 24547 WITH SCORE 24577.324
AT ITER 129 NEW BEST:: SOT 112611 SOS 30283 HAS SOPS 30283 HAS SOUS 24533 HAS SOUPS 24533 WITH SCORE 24563.283
AT ITER 130 NEW BEST:: SOT 112593 SOS 30211 HAS SOPS 30211 HAS SOUS 24497 HAS SOUPS 24497 WITH SCORE 24527.211
AT ITER 133 NEW BEST:: SOT 112575 SOS 30157 HAS SOPS 30157 HAS SOUS 24471 HAS SOUPS 24471 WITH SCORE 24501.157
AT ITER 154 NEW BEST:: SOT 112574 SOS 30156 HAS SOPS 30156 HAS SOUS 24470 HAS SOUPS 24470 WITH SCORE 24500.156
AT ITER 170 NEW BEST:: SOT 112574 SOS 30121 HAS SOPS 30121 HAS SOUS 24448 HAS SOUPS 24448 WITH SCORE 24478.121
AT ITER 171 NEW BEST:: SOT 112498 SOS 29969 HAS SOPS 29969 HAS SOUS 24285 HAS SOUPS 24285 WITH SCORE 24314.969
AT ITER 175 NEW BEST:: SOT 112509 SOS 29967 HAS SOPS 29967 HAS SOUS 24283 HAS SOUPS 24283 WITH SCORE 24312.967
AT ITER 192 NEW BEST:: SOT 112587 SOS 29943 HAS SOPS 29943 HAS SOUS 24259 HAS SOUPS 24259 WITH SCORE 24288.943
AT ITER 218 NEW BEST:: SOT 112594 SOS 29883 HAS SOPS 29883 HAS SOUS 24226 HAS SOUPS 24226 WITH SCORE 24255.883
AT ITER 225 NEW BEST:: SOT 111578 SOS 34447 HAS SOPS 34447 HAS SOUS 23713 HAS SOUPS 23713 WITH SCORE 23747.447
AT ITER 228 NEW BEST:: SOT 111574 SOS 34449 HAS SOPS 34449 HAS SOUS 23676 HAS SOUPS 23676 WITH SCORE 23710.449
AT ITER 236 NEW BEST:: SOT 111536 SOS 34411 HAS SOPS 34411 HAS SOUS 23676 HAS SOUPS 23676 WITH SCORE 23710.411
AT ITER 263 NEW BEST:: SOT 111536 SOS 34379 HAS SOPS 34379 HAS SOUS 23660 HAS SOUPS 23660 WITH SCORE 23694.379
AT ITER 273 NEW BEST:: SOT 111477 SOS 34320 HAS SOPS 34320 HAS SOUS 23600 HAS SOUPS 23600 WITH SCORE 23634.32
AT ITER 289 NEW BEST:: SOT 111482 SOS 34314 HAS SOPS 34314 HAS SOUS 23594 HAS SOUPS 23594 WITH SCORE 23628.314
AT ITER 299 NEW BEST:: SOT 111159 SOS 35556 HAS SOPS 35556 HAS SOUS 23542 HAS SOUPS 23542 WITH SCORE 23577.556
AT ITER 306 NEW BEST:: SOT 110490 SOS 35408 HAS SOPS 35408 HAS SOUS 22905 HAS SOUPS 22905 WITH SCORE 22940.408
AT ITER 315 NEW BEST:: SOT 110447 SOS 35372 HAS SOPS 35372 HAS SOUS 22824 HAS SOUPS 22824 WITH SCORE 22859.372
AT ITER 322 NEW BEST:: SOT 110447 SOS 35319 HAS SOPS 35319 HAS SOUS 22779 HAS SOUPS 22779 WITH SCORE 22814.319
AT ITER 327 NEW BEST:: SOT 110533 SOS 35304 HAS SOPS 35304 HAS SOUS 22694 HAS SOUPS 22694 WITH SCORE 22729.304
AT ITER 334 NEW BEST:: SOT 110358 SOS 35891 HAS SOPS 35891 HAS SOUS 22647 HAS SOUPS 22647 WITH SCORE 22682.891
AT ITER 345 NEW BEST:: SOT 110378 SOS 35256 HAS SOPS 35256 HAS SOUS 22607 HAS SOUPS 22607 WITH SCORE 22642.256
AT ITER 358 NEW BEST:: SOT 110324 SOS 35202 HAS SOPS 35202 HAS SOUS 22553 HAS SOUPS 22553 WITH SCORE 22588.202
AT ITER 370 NEW BEST:: SOT 110321 SOS 35193 HAS SOPS 35193 HAS SOUS 22547 HAS SOUPS 22547 WITH SCORE 22582.193
AT ITER 375 NEW BEST:: SOT 110309 SOS 35169 HAS SOPS 35169 HAS SOUS 22535 HAS SOUPS 22535 WITH SCORE 22570.169
AT ITER 392 NEW BEST:: SOT 110309 SOS 35024 HAS SOPS 35024 HAS SOUS 22535 HAS SOUPS 22535 WITH SCORE 22570.024
AT ITER 395 NEW BEST:: SOT 110308 SOS 35023 HAS SOPS 35023 HAS SOUS 22534 HAS SOUPS 22534 WITH SCORE 22569.023
AT ITER 406 NEW BEST:: SOT 109620 SOS 34944 HAS SOPS 34944 HAS SOUS 21798 HAS SOUPS 21798 WITH SCORE 21832.944
AT ITER 413 NEW BEST:: SOT 109613 SOS 34932 HAS SOPS 34932 HAS SOUS 21761 HAS SOUPS 21761 WITH SCORE 21795.932
AT ITER 423 NEW BEST:: SOT 109607 SOS 34921 HAS SOPS 34921 HAS SOUS 21754 HAS SOUPS 21754 WITH SCORE 21788.921
AT ITER 426 NEW BEST:: SOT 109676 SOS 35059 HAS SOPS 35059 HAS SOUS 21750 HAS SOUPS 21750 WITH SCORE 21785.059
AT ITER 444 NEW BEST:: SOT 109670 SOS 35047 HAS SOPS 35047 HAS SOUS 21744 HAS SOUPS 21744 WITH SCORE 21779.047
AT ITER 456 NEW BEST:: SOT 109670 SOS 35037 HAS SOPS 35037 HAS SOUS 21734 HAS SOUPS 21734 WITH SCORE 21769.037
AT ITER 465 NEW BEST:: SOT 109654 SOS 35021 HAS SOPS 35021 HAS SOUS 21733 HAS SOUPS 21733 WITH SCORE 21768.021
AT ITER 473 NEW BEST:: SOT 109483 SOS 34897 HAS SOPS 34897 HAS SOUS 21671 HAS SOUPS 21671 WITH SCORE 21705.897
AT ITER 475 NEW BEST:: SOT 109469 SOS 34869 HAS SOPS 34869 HAS SOUS 21670 HAS SOUPS 21670 WITH SCORE 21704.869
AT ITER 476 NEW BEST:: SOT 109427 SOS 34785 HAS SOPS 34785 HAS SOUS 21628 HAS SOUPS 21628 WITH SCORE 21662.785
AT ITER 490 NEW BEST:: SOT 109379 SOS 34689 HAS SOPS 34689 HAS SOUS 21580 HAS SOUPS 21580 WITH SCORE 21614.689
AT ITER 494 NEW BEST:: SOT 109375 SOS 34725 HAS SOPS 34725 HAS SOUS 21570 HAS SOUPS 21570 WITH SCORE 21604.725
AT ITER 498 NEW BEST:: SOT 109279 SOS 34620 HAS SOPS 34620 HAS SOUS 21474 HAS SOUPS 21474 WITH SCORE 21508.62
AT ITER 506 NEW BEST:: SOT 109252 SOS 34593 HAS SOPS 34593 HAS SOUS 21447 HAS SOUPS 21447 WITH SCORE 21481.593
AT ITER 512 NEW BEST:: SOT 109255 SOS 34487 HAS SOPS 34487 HAS SOUS 21341 HAS SOUPS 21341 WITH SCORE 21375.487
AT ITER 513 NEW BEST:: SOT 109218 SOS 34374 HAS SOPS 34374 HAS SOUS 21324 HAS SOUPS 21324 WITH SCORE 21358.374
AT ITER 534 NEW BEST:: SOT 109049 SOS 34137 HAS SOPS 34137 HAS SOUS 21125 HAS SOUPS 21125 WITH SCORE 21159.137
AT ITER 537 NEW BEST:: SOT 109027 SOS 34147 HAS SOPS 34147 HAS SOUS 21121 HAS SOUPS 21121 WITH SCORE 21155.147
AT ITER 541 NEW BEST:: SOT 108921 SOS 33935 HAS SOPS 33935 HAS SOUS 21008 HAS SOUPS 21008 WITH SCORE 21041.935
AT ITER 544 NEW BEST:: SOT 108920 SOS 33838 HAS SOPS 33838 HAS SOUS 20985 HAS SOUPS 20985 WITH SCORE 21018.838
AT ITER 550 NEW BEST:: SOT 108919 SOS 33813 HAS SOPS 33813 HAS SOUS 20983 HAS SOUPS 20983 WITH SCORE 21016.813
AT ITER 565 NEW BEST:: SOT 108915 SOS 33809 HAS SOPS 33809 HAS SOUS 20979 HAS SOUPS 20979 WITH SCORE 21012.809
AT ITER 576 NEW BEST:: SOT 108915 SOS 33786 HAS SOPS 33786 HAS SOUS 20956 HAS SOUPS 20956 WITH SCORE 20989.786
AT ITER 604 NEW BEST:: SOT 108908 SOS 33738 HAS SOPS 33738 HAS SOUS 20916 HAS SOUPS 20916 WITH SCORE 20949.738
AT ITER 608 NEW BEST:: SOT 108891 SOS 33729 HAS SOPS 33729 HAS SOUS 20912 HAS SOUPS 20912 WITH SCORE 20945.729
AT ITER 625 NEW BEST:: SOT 108883 SOS 33664 HAS SOPS 33664 HAS SOUS 20861 HAS SOUPS 20861 WITH SCORE 20894.664
AT ITER 637 NEW BEST:: SOT 108900 SOS 33650 HAS SOPS 33650 HAS SOUS 20856 HAS SOUPS 20856 WITH SCORE 20889.65
AT ITER 654 NEW BEST:: SOT 108847 SOS 33579 HAS SOPS 33579 HAS SOUS 20703 HAS SOUPS 20703 WITH SCORE 20736.579
AT ITER 663 NEW BEST:: SOT 108773 SOS 30707 HAS SOPS 30707 HAS SOUS 20543 HAS SOUPS 20543 WITH SCORE 20573.707
AT ITER 678 NEW BEST:: SOT 108773 SOS 30667 HAS SOPS 30667 HAS SOUS 20543 HAS SOUPS 20543 WITH SCORE 20573.667
AT ITER 680 NEW BEST:: SOT 108797 SOS 30680 HAS SOPS 30680 HAS SOUS 20472 HAS SOUPS 20472 WITH SCORE 20502.68
AT ITER 689 NEW BEST:: SOT 108787 SOS 30665 HAS SOPS 30665 HAS SOUS 20457 HAS SOUPS 20457 WITH SCORE 20487.665
AT ITER 702 NEW BEST:: SOT 108680 SOS 30451 HAS SOPS 30451 HAS SOUS 20350 HAS SOUPS 20350 WITH SCORE 20380.451
AT ITER 707 NEW BEST:: SOT 108678 SOS 30450 HAS SOPS 30450 HAS SOUS 20348 HAS SOUPS 20348 WITH SCORE 20378.45
AT ITER 713 NEW BEST:: SOT 108647 SOS 30419 HAS SOPS 30419 HAS SOUS 20294 HAS SOUPS 20294 WITH SCORE 20324.419
AT ITER 721 NEW BEST:: SOT 108676 SOS 30448 HAS SOPS 30448 HAS SOUS 20273 HAS SOUPS 20273 WITH SCORE 20303.448
AT ITER 746 NEW BEST:: SOT 108675 SOS 30447 HAS SOPS 30447 HAS SOUS 20272 HAS SOUPS 20272 WITH SCORE 20302.447
AT ITER 753 NEW BEST:: SOT 108646 SOS 30417 HAS SOPS 30417 HAS SOUS 20243 HAS SOUPS 20243 WITH SCORE 20273.417
AT ITER 768 NEW BEST:: SOT 108612 SOS 30383 HAS SOPS 30383 HAS SOUS 20209 HAS SOUPS 20209 WITH SCORE 20239.383
AT ITER 773 NEW BEST:: SOT 108513 SOS 30738 HAS SOPS 30738 HAS SOUS 20154 HAS SOUPS 20154 WITH SCORE 20184.738
AT ITER 778 NEW BEST:: SOT 108482 SOS 30676 HAS SOPS 30676 HAS SOUS 20092 HAS SOUPS 20092 WITH SCORE 20122.676
AT ITER 787 NEW BEST:: SOT 107854 SOS 30278 HAS SOPS 30278 HAS SOUS 19581 HAS SOUPS 19581 WITH SCORE 19611.278
AT ITER 795 NEW BEST:: SOT 107803 SOS 30188 HAS SOPS 30188 HAS SOUS 19491 HAS SOUPS 19491 WITH SCORE 19521.188
AT ITER 803 NEW BEST:: SOT 107767 SOS 30116 HAS SOPS 30116 HAS SOUS 19385 HAS SOUPS 19385 WITH SCORE 19415.116
AT ITER 813 NEW BEST:: SOT 107775 SOS 30089 HAS SOPS 30089 HAS SOUS 19358 HAS SOUPS 19358 WITH SCORE 19388.089
AT ITER 836 NEW BEST:: SOT 107775 SOS 30089 HAS SOPS 30089 HAS SOUS 19352 HAS SOUPS 19352 WITH SCORE 19382.089
AT ITER 845 NEW BEST:: SOT 107707 SOS 29988 HAS SOPS 29988 HAS SOUS 19249 HAS SOUPS 19249 WITH SCORE 19278.988
AT ITER 884 NEW BEST:: SOT 107694 SOS 29962 HAS SOPS 29962 HAS SOUS 19211 HAS SOUPS 19211 WITH SCORE 19240.962
AT ITER 895 NEW BEST:: SOT 107691 SOS 29959 HAS SOPS 29959 HAS SOUS 19205 HAS SOUPS 19205 WITH SCORE 19234.959
AT ITER 911 NEW BEST:: SOT 107688 SOS 29956 HAS SOPS 29956 HAS SOUS 19202 HAS SOUPS 19202 WITH SCORE 19231.956
AT ITER 943 NEW BEST:: SOT 107634 SOS 29848 HAS SOPS 29848 HAS SOUS 19148 HAS SOUPS 19148 WITH SCORE 19177.848
AT ITER 956 NEW BEST:: SOT 107556 SOS 29725 HAS SOPS 29725 HAS SOUS 19087 HAS SOUPS 19087 WITH SCORE 19116.725
AT ITER 999 NEW BEST:: SOT 107513 SOS 29682 HAS SOPS 29682 HAS SOUS 19050 HAS SOUPS 19050 WITH SCORE 19079.682
AT ITER 1023 NEW BEST:: SOT 107478 SOS 29615 HAS SOPS 29615 HAS SOUS 19015 HAS SOUPS 19015 WITH SCORE 19044.615
AT ITER 1037 NEW BEST:: SOT 107474 SOS 29611 HAS SOPS 29611 HAS SOUS 19015 HAS SOUPS 19015 WITH SCORE 19044.611
AT ITER 1040 NEW BEST:: SOT 107474 SOS 29508 HAS SOPS 29508 HAS SOUS 19015 HAS SOUPS 19015 WITH SCORE 19044.508
AT ITER 1042 NEW BEST:: SOT 107487 SOS 29477 HAS SOPS 29477 HAS SOUS 18988 HAS SOUPS 18988 WITH SCORE 19017.477
AT ITER 1051 NEW BEST:: SOT 107484 SOS 29474 HAS SOPS 29474 HAS SOUS 18988 HAS SOUPS 18988 WITH SCORE 19017.474
AT ITER 1063 NEW BEST:: SOT 107456 SOS 29390 HAS SOPS 29390 HAS SOUS 18904 HAS SOUPS 18904 WITH SCORE 18933.39
AT ITER 1076 NEW BEST:: SOT 107330 SOS 27938 HAS SOPS 27938 HAS SOUS 18712 HAS SOUPS 18712 WITH SCORE 18739.938
AT ITER 1083 NEW BEST:: SOT 107306 SOS 27890 HAS SOPS 27890 HAS SOUS 18684 HAS SOUPS 18684 WITH SCORE 18711.89
AT ITER 1087 NEW BEST:: SOT 107347 SOS 27826 HAS SOPS 27826 HAS SOUS 18655 HAS SOUPS 18655 WITH SCORE 18682.826
AT ITER 1106 NEW BEST:: SOT 107347 SOS 27823 HAS SOPS 27823 HAS SOUS 18652 HAS SOUPS 18652 WITH SCORE 18679.823
AT ITER 1124 NEW BEST:: SOT 107357 SOS 27798 HAS SOPS 27798 HAS SOUS 18627 HAS SOUPS 18627 WITH SCORE 18654.798
AT ITER 1131 NEW BEST:: SOT 107344 SOS 27759 HAS SOPS 27759 HAS SOUS 18601 HAS SOUPS 18601 WITH SCORE 18628.759
AT ITER 1135 NEW BEST:: SOT 107344 SOS 27693 HAS SOPS 27693 HAS SOUS 18601 HAS SOUPS 18601 WITH SCORE 18628.693
AT ITER 1138 NEW BEST:: SOT 107321 SOS 27670 HAS SOPS 27670 HAS SOUS 18557 HAS SOUPS 18557 WITH SCORE 18584.67
AT ITER 1142 NEW BEST:: SOT 107273 SOS 27622 HAS SOPS 27622 HAS SOUS 18533 HAS SOUPS 18533 WITH SCORE 18560.622
AT ITER 1145 NEW BEST:: SOT 107269 SOS 27590 HAS SOPS 27590 HAS SOUS 18527 HAS SOUPS 18527 WITH SCORE 18554.59
AT ITER 1157 NEW BEST:: SOT 107269 SOS 27573 HAS SOPS 27573 HAS SOUS 18510 HAS SOUPS 18510 WITH SCORE 18537.573
AT ITER 1164 NEW BEST:: SOT 107270 SOS 27619 HAS SOPS 27619 HAS SOUS 18507 HAS SOUPS 18507 WITH SCORE 18534.619
AT ITER 1166 NEW BEST:: SOT 107241 SOS 27486 HAS SOPS 27486 HAS SOUS 18449 HAS SOUPS 18449 WITH SCORE 18476.486
AT ITER 1172 NEW BEST:: SOT 107167 SOS 27338 HAS SOPS 27338 HAS SOUS 18348 HAS SOUPS 18348 WITH SCORE 18375.338
AT ITER 1173 NEW BEST:: SOT 107150 SOS 27304 HAS SOPS 27304 HAS SOUS 18345 HAS SOUPS 18345 WITH SCORE 18372.304
AT ITER 1175 NEW BEST:: SOT 107150 SOS 27233 HAS SOPS 27233 HAS SOUS 18274 HAS SOUPS 18274 WITH SCORE 18301.233
AT ITER 1183 NEW BEST:: SOT 107056 SOS 27134 HAS SOPS 27134 HAS SOUS 18175 HAS SOUPS 18175 WITH SCORE 18202.134
AT ITER 1192 NEW BEST:: SOT 107049 SOS 27120 HAS SOPS 27120 HAS SOUS 18161 HAS SOUPS 18161 WITH SCORE 18188.12
AT ITER 1195 NEW BEST:: SOT 107038 SOS 27098 HAS SOPS 27098 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18155.098
AT ITER 1214 NEW BEST:: SOT 107021 SOS 27081 HAS SOPS 27081 HAS SOUS 18127 HAS SOUPS 18127 WITH SCORE 18154.081
AT ITER 1250 NEW BEST:: SOT 107048 SOS 26997 HAS SOPS 26997 HAS SOUS 18028 HAS SOUPS 18028 WITH SCORE 18054.997
AT ITER 1251 NEW BEST:: SOT 106992 SOS 26877 HAS SOPS 26877 HAS SOUS 17979 HAS SOUPS 17979 WITH SCORE 18005.877
AT ITER 1312 NEW BEST:: SOT 106980 SOS 26843 HAS SOPS 26843 HAS SOUS 17955 HAS SOUPS 17955 WITH SCORE 17981.843
AT ITER 1349 NEW BEST:: SOT 106987 SOS 26842 HAS SOPS 26842 HAS SOUS 17954 HAS SOUPS 17954 WITH SCORE 17980.842
AT ITER 1362 NEW BEST:: SOT 106981 SOS 26836 HAS SOPS 26836 HAS SOUS 17948 HAS SOUPS 17948 WITH SCORE 17974.836
AT ITER 1365 NEW BEST:: SOT 106969 SOS 26830 HAS SOPS 26830 HAS SOUS 17942 HAS SOUPS 17942 WITH SCORE 17968.83
AT ITER 1386 NEW BEST:: SOT 106961 SOS 26822 HAS SOPS 26822 HAS SOUS 17934 HAS SOUPS 17934 WITH SCORE 17960.822
AT ITER 1388 NEW BEST:: SOT 106960 SOS 26820 HAS SOPS 26820 HAS SOUS 17932 HAS SOUPS 17932 WITH SCORE 17958.82
AT ITER 1393 NEW BEST:: SOT 106961 SOS 26907 HAS SOPS 26907 HAS SOUS 17930 HAS SOUPS 17930 WITH SCORE 17956.907
AT ITER 1413 NEW BEST:: SOT 106966 SOS 26884 HAS SOPS 26884 HAS SOUS 17909 HAS SOUPS 17909 WITH SCORE 17935.884
AT ITER 1422 NEW BEST:: SOT 106956 SOS 26864 HAS SOPS 26864 HAS SOUS 17889 HAS SOUPS 17889 WITH SCORE 17915.864
AT ITER 1429 NEW BEST:: SOT 106903 SOS 26691 HAS SOPS 26691 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 17866.691
AT ITER 1440 NEW BEST:: SOT 106889 SOS 26663 HAS SOPS 26663 HAS SOUS 17812 HAS SOUPS 17812 WITH SCORE 17838.663
AT ITER 1441 NEW BEST:: SOT 106787 SOS 26459 HAS SOPS 26459 HAS SOUS 17714 HAS SOUPS 17714 WITH SCORE 17740.459
AT ITER 1454 NEW BEST:: SOT 106741 SOS 26420 HAS SOPS 26420 HAS SOUS 17658 HAS SOUPS 17658 WITH SCORE 17684.42
AT ITER 1480 NEW BEST:: SOT 106661 SOS 26300 HAS SOPS 26300 HAS SOUS 17578 HAS SOUPS 17578 WITH SCORE 17604.3
AT ITER 1483 NEW BEST:: SOT 106661 SOS 26245 HAS SOPS 26245 HAS SOUS 17569 HAS SOUPS 17569 WITH SCORE 17595.245
AT ITER 1491 NEW BEST:: SOT 106597 SOS 26190 HAS SOPS 26190 HAS SOUS 17528 HAS SOUPS 17528 WITH SCORE 17554.19
AT ITER 1514 NEW BEST:: SOT 106560 SOS 26116 HAS SOPS 26116 HAS SOUS 17488 HAS SOUPS 17488 WITH SCORE 17514.116
AT ITER 1531 NEW BEST:: SOT 106519 SOS 26034 HAS SOPS 26034 HAS SOUS 17447 HAS SOUPS 17447 WITH SCORE 17473.034
AT ITER 1533 NEW BEST:: SOT 106496 SOS 25988 HAS SOPS 25988 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17449.988
AT ITER 1534 NEW BEST:: SOT 106480 SOS 25973 HAS SOPS 25973 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17449.973
AT ITER 1541 NEW BEST:: SOT 106428 SOS 25869 HAS SOPS 25869 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17449.869
AT ITER 1562 NEW BEST:: SOT 106421 SOS 25855 HAS SOPS 25855 HAS SOUS 17410 HAS SOUPS 17410 WITH SCORE 17435.855
AT ITER 1564 NEW BEST:: SOT 106415 SOS 25837 HAS SOPS 25837 HAS SOUS 17392 HAS SOUPS 17392 WITH SCORE 17417.837
AT ITER 1579 NEW BEST:: SOT 106406 SOS 25810 HAS SOPS 25810 HAS SOUS 17374 HAS SOUPS 17374 WITH SCORE 17399.81
AT ITER 1588 NEW BEST:: SOT 106406 SOS 25794 HAS SOPS 25794 HAS SOUS 17358 HAS SOUPS 17358 WITH SCORE 17383.794
AT ITER 1649 NEW BEST:: SOT 106400 SOS 25751 HAS SOPS 25751 HAS SOUS 17346 HAS SOUPS 17346 WITH SCORE 17371.751
AT ITER 1652 NEW BEST:: SOT 106387 SOS 25725 HAS SOPS 25725 HAS SOUS 17320 HAS SOUPS 17320 WITH SCORE 17345.725
AT ITER 1653 NEW BEST:: SOT 106384 SOS 25719 HAS SOPS 25719 HAS SOUS 17314 HAS SOUPS 17314 WITH SCORE 17339.719
AT ITER 1668 NEW BEST:: SOT 106318 SOS 25653 HAS SOPS 25653 HAS SOUS 17246 HAS SOUPS 17246 WITH SCORE 17271.653
AT ITER 1672 NEW BEST:: SOT 106318 SOS 25653 HAS SOPS 25653 HAS SOUS 17240 HAS SOUPS 17240 WITH SCORE 17265.653
AT ITER 1673 NEW BEST:: SOT 106264 SOS 25545 HAS SOPS 25545 HAS SOUS 17132 HAS SOUPS 17132 WITH SCORE 17157.545
AT ITER 1690 NEW BEST:: SOT 106167 SOS 25516 HAS SOPS 25516 HAS SOUS 17048 HAS SOUPS 17048 WITH SCORE 17073.516
AT ITER 1707 NEW BEST:: SOT 106175 SOS 25527 HAS SOPS 25527 HAS SOUS 17026 HAS SOUPS 17026 WITH SCORE 17051.527
AT ITER 1711 NEW BEST:: SOT 106170 SOS 25504 HAS SOPS 25504 HAS SOUS 17008 HAS SOUPS 17008 WITH SCORE 17033.504
AT ITER 1746 NEW BEST:: SOT 106152 SOS 25468 HAS SOPS 25468 HAS SOUS 16997 HAS SOUPS 16997 WITH SCORE 17022.468
AT ITER 1752 NEW BEST:: SOT 106140 SOS 25444 HAS SOPS 25444 HAS SOUS 16973 HAS SOUPS 16973 WITH SCORE 16998.444
AT ITER 1753 NEW BEST:: SOT 106105 SOS 25409 HAS SOPS 25409 HAS SOUS 16940 HAS SOUPS 16940 WITH SCORE 16965.409
AT ITER 1754 NEW BEST:: SOT 106103 SOS 25405 HAS SOPS 25405 HAS SOUS 16938 HAS SOUPS 16938 WITH SCORE 16963.405
AT ITER 1775 NEW BEST:: SOT 106081 SOS 25326 HAS SOPS 25326 HAS SOUS 16882 HAS SOUPS 16882 WITH SCORE 16907.326
AT ITER 1790 NEW BEST:: SOT 106081 SOS 25311 HAS SOPS 25311 HAS SOUS 16867 HAS SOUPS 16867 WITH SCORE 16892.311
AT ITER 1868 NEW BEST:: SOT 106058 SOS 25265 HAS SOPS 25265 HAS SOUS 16821 HAS SOUPS 16821 WITH SCORE 16846.265
AT ITER 1875 NEW BEST:: SOT 106047 SOS 25243 HAS SOPS 25243 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16824.243
AT ITER 1902 NEW BEST:: SOT 106047 SOS 25247 HAS SOPS 25247 HAS SOUS 16795 HAS SOUPS 16795 WITH SCORE 16820.247
AT ITER 1904 NEW BEST:: SOT 106041 SOS 25247 HAS SOPS 25247 HAS SOUS 16786 HAS SOUPS 16786 WITH SCORE 16811.247
AT ITER 1929 NEW BEST:: SOT 106037 SOS 25239 HAS SOPS 25239 HAS SOUS 16778 HAS SOUPS 16778 WITH SCORE 16803.239
AT ITER 1941 NEW BEST:: SOT 106037 SOS 25150 HAS SOPS 25150 HAS SOUS 16689 HAS SOUPS 16689 WITH SCORE 16714.15
AT ITER 1950 NEW BEST:: SOT 105988 SOS 25102 HAS SOPS 25102 HAS SOUS 16644 HAS SOUPS 16644 WITH SCORE 16669.102
AT ITER 1982 NEW BEST:: SOT 105963 SOS 25077 HAS SOPS 25077 HAS SOUS 16633 HAS SOUPS 16633 WITH SCORE 16658.077
AT ITER 1983 NEW BEST:: SOT 105851 SOS 24919 HAS SOPS 24919 HAS SOUS 16549 HAS SOUPS 16549 WITH SCORE 16573.919
AT ITER 1995 NEW BEST:: SOT 105836 SOS 24928 HAS SOPS 24928 HAS SOUS 16540 HAS SOUPS 16540 WITH SCORE 16564.928
AT ITER 1997 NEW BEST:: SOT 105836 SOS 24928 HAS SOPS 24928 HAS SOUS 16539 HAS SOUPS 16539 WITH SCORE 16563.928
AT ITER 2006 NEW BEST:: SOT 105818 SOS 24901 HAS SOPS 24901 HAS SOUS 16512 HAS SOUPS 16512 WITH SCORE 16536.901
AT ITER 2020 NEW BEST:: SOT 105744 SOS 24753 HAS SOPS 24753 HAS SOUS 16452 HAS SOUPS 16452 WITH SCORE 16476.753
AT ITER 2113 NEW BEST:: SOT 105725 SOS 24715 HAS SOPS 24715 HAS SOUS 16424 HAS SOUPS 16424 WITH SCORE 16448.715
AT ITER 2115 NEW BEST:: SOT 105713 SOS 24710 HAS SOPS 24710 HAS SOUS 16416 HAS SOUPS 16416 WITH SCORE 16440.71
AT ITER 2126 NEW BEST:: SOT 105713 SOS 24709 HAS SOPS 24709 HAS SOUS 16415 HAS SOUPS 16415 WITH SCORE 16439.709
AT ITER 2132 NEW BEST:: SOT 105663 SOS 24561 HAS SOPS 24561 HAS SOUS 16292 HAS SOUPS 16292 WITH SCORE 16316.561
AT ITER 2134 NEW BEST:: SOT 105659 SOS 24559 HAS SOPS 24559 HAS SOUS 16290 HAS SOUPS 16290 WITH SCORE 16314.559
AT ITER 2147 NEW BEST:: SOT 105659 SOS 24552 HAS SOPS 24552 HAS SOUS 16283 HAS SOUPS 16283 WITH SCORE 16307.552
AT ITER 2159 NEW BEST:: SOT 105659 SOS 24547 HAS SOPS 24547 HAS SOUS 16278 HAS SOUPS 16278 WITH SCORE 16302.547
AT ITER 2161 NEW BEST:: SOT 105659 SOS 24471 HAS SOPS 24471 HAS SOUS 16240 HAS SOUPS 16240 WITH SCORE 16264.471
AT ITER 2192 NEW BEST:: SOT 105657 SOS 24467 HAS SOPS 24467 HAS SOUS 16236 HAS SOUPS 16236 WITH SCORE 16260.467
AT ITER 2207 NEW BEST:: SOT 105625 SOS 24425 HAS SOPS 24425 HAS SOUS 16194 HAS SOUPS 16194 WITH SCORE 16218.425
AT ITER 2212 NEW BEST:: SOT 105606 SOS 24387 HAS SOPS 24387 HAS SOUS 16156 HAS SOUPS 16156 WITH SCORE 16180.387
AT ITER 2217 NEW BEST:: SOT 105611 SOS 24343 HAS SOPS 24343 HAS SOUS 16143 HAS SOUPS 16143 WITH SCORE 16167.343
AT ITER 2242 NEW BEST:: SOT 105470 SOS 24061 HAS SOPS 24061 HAS SOUS 16003 HAS SOUPS 16003 WITH SCORE 16027.061
AT ITER 2245 NEW BEST:: SOT 105451 SOS 24061 HAS SOPS 24061 HAS SOUS 15986 HAS SOUPS 15986 WITH SCORE 16010.061
AT ITER 2261 NEW BEST:: SOT 105433 SOS 24030 HAS SOPS 24030 HAS SOUS 15972 HAS SOUPS 15972 WITH SCORE 15996.03
AT ITER 2306 NEW BEST:: SOT 105161 SOS 23678 HAS SOPS 23678 HAS SOUS 15922 HAS SOUPS 15922 WITH SCORE 15945.678
AT ITER 2308 NEW BEST:: SOT 105159 SOS 23600 HAS SOPS 23600 HAS SOUS 15844 HAS SOUPS 15844 WITH SCORE 15867.6
AT ITER 2316 NEW BEST:: SOT 105023 SOS 24435 HAS SOPS 24435 HAS SOUS 15828 HAS SOUPS 15828 WITH SCORE 15852.435
AT ITER 2327 NEW BEST:: SOT 105027 SOS 24443 HAS SOPS 24443 HAS SOUS 15826 HAS SOUPS 15826 WITH SCORE 15850.443
AT ITER 2336 NEW BEST:: SOT 105027 SOS 24437 HAS SOPS 24437 HAS SOUS 15820 HAS SOUPS 15820 WITH SCORE 15844.437
AT ITER 2347 NEW BEST:: SOT 105019 SOS 24429 HAS SOPS 24429 HAS SOUS 15812 HAS SOUPS 15812 WITH SCORE 15836.429
AT ITER 2358 NEW BEST:: SOT 105016 SOS 24426 HAS SOPS 24426 HAS SOUS 15809 HAS SOUPS 15809 WITH SCORE 15833.426
AT ITER 2397 NEW BEST:: SOT 105002 SOS 24398 HAS SOPS 24398 HAS SOUS 15781 HAS SOUPS 15781 WITH SCORE 15805.398
AT ITER 2399 NEW BEST:: SOT 104996 SOS 24389 HAS SOPS 24389 HAS SOUS 15778 HAS SOUPS 15778 WITH SCORE 15802.389
AT ITER 2441 NEW BEST:: SOT 104993 SOS 24383 HAS SOPS 24383 HAS SOUS 15772 HAS SOUPS 15772 WITH SCORE 15796.383
AT ITER 2477 NEW BEST:: SOT 104978 SOS 24353 HAS SOPS 24353 HAS SOUS 15742 HAS SOUPS 15742 WITH SCORE 15766.353
AT ITER 2492 NEW BEST:: SOT 104871 SOS 24251 HAS SOPS 24251 HAS SOUS 15693 HAS SOUPS 15693 WITH SCORE 15717.251
AT ITER 2493 NEW BEST:: SOT 104871 SOS 24266 HAS SOPS 24266 HAS SOUS 15681 HAS SOUPS 15681 WITH SCORE 15705.266
AT ITER 2519 NEW BEST:: SOT 104878 SOS 24253 HAS SOPS 24253 HAS SOUS 15668 HAS SOUPS 15668 WITH SCORE 15692.253
AT ITER 2534 NEW BEST:: SOT 104878 SOS 24253 HAS SOPS 24253 HAS SOUS 15660 HAS SOUPS 15660 WITH SCORE 15684.253
AT ITER 2540 NEW BEST:: SOT 104878 SOS 24235 HAS SOPS 24235 HAS SOUS 15642 HAS SOUPS 15642 WITH SCORE 15666.235
AT ITER 2542 NEW BEST:: SOT 104889 SOS 24257 HAS SOPS 24257 HAS SOUS 15639 HAS SOUPS 15639 WITH SCORE 15663.257
AT ITER 2543 NEW BEST:: SOT 104882 SOS 24257 HAS SOPS 24257 HAS SOUS 15632 HAS SOUPS 15632 WITH SCORE 15656.257
AT ITER 2554 NEW BEST:: SOT 104835 SOS 24163 HAS SOPS 24163 HAS SOUS 15585 HAS SOUPS 15585 WITH SCORE 15609.163
AT ITER 2561 NEW BEST:: SOT 104790 SOS 24283 HAS SOPS 24283 HAS SOUS 15570 HAS SOUPS 15570 WITH SCORE 15594.283
AT ITER 2593 NEW BEST:: SOT 104758 SOS 24247 HAS SOPS 24247 HAS SOUS 15568 HAS SOUPS 15568 WITH SCORE 15592.247
AT ITER 2609 NEW BEST:: SOT 104736 SOS 24225 HAS SOPS 24225 HAS SOUS 15546 HAS SOUPS 15546 WITH SCORE 15570.225
AT ITER 2624 NEW BEST:: SOT 104734 SOS 24223 HAS SOPS 24223 HAS SOUS 15544 HAS SOUPS 15544 WITH SCORE 15568.223
AT ITER 2711 NEW BEST:: SOT 104625 SOS 24102 HAS SOPS 24102 HAS SOUS 15532 HAS SOUPS 15532 WITH SCORE 15556.102
AT ITER 2743 NEW BEST:: SOT 104562 SOS 24008 HAS SOPS 24008 HAS SOUS 15470 HAS SOUPS 15470 WITH SCORE 15494.008
AT ITER 2755 NEW BEST:: SOT 104559 SOS 24005 HAS SOPS 24005 HAS SOUS 15467 HAS SOUPS 15467 WITH SCORE 15491.005
AT ITER 2790 NEW BEST:: SOT 104537 SOS 23961 HAS SOPS 23961 HAS SOUS 15467 HAS SOUPS 15467 WITH SCORE 15490.961
AT ITER 2798 NEW BEST:: SOT 104527 SOS 23935 HAS SOPS 23935 HAS SOUS 15448 HAS SOUPS 15448 WITH SCORE 15471.935
AT ITER 2813 NEW BEST:: SOT 104511 SOS 23903 HAS SOPS 23903 HAS SOUS 15424 HAS SOUPS 15424 WITH SCORE 15447.903
AT ITER 2825 NEW BEST:: SOT 104507 SOS 23899 HAS SOPS 23899 HAS SOUS 15394 HAS SOUPS 15394 WITH SCORE 15417.899
AT ITER 2835 NEW BEST:: SOT 104505 SOS 23895 HAS SOPS 23895 HAS SOUS 15390 HAS SOUPS 15390 WITH SCORE 15413.895
AT ITER 2867 NEW BEST:: SOT 104480 SOS 23845 HAS SOPS 23845 HAS SOUS 15365 HAS SOUPS 15365 WITH SCORE 15388.845
AT ITER 2891 NEW BEST:: SOT 104372 SOS 23685 HAS SOPS 23685 HAS SOUS 15261 HAS SOUPS 15261 WITH SCORE 15284.685
AT ITER 2906 NEW BEST:: SOT 104367 SOS 23643 HAS SOPS 23643 HAS SOUS 15251 HAS SOUPS 15251 WITH SCORE 15274.643
AT ITER 2917 NEW BEST:: SOT 104367 SOS 23643 HAS SOPS 23643 HAS SOUS 15234 HAS SOUPS 15234 WITH SCORE 15257.643
AT ITER 2967 NEW BEST:: SOT 104352 SOS 23598 HAS SOPS 23598 HAS SOUS 15204 HAS SOUPS 15204 WITH SCORE 15227.598
AT ITER 3049 NEW BEST:: SOT 104352 SOS 23540 HAS SOPS 23540 HAS SOUS 15161 HAS SOUPS 15161 WITH SCORE 15184.54
AT ITER 3055 NEW BEST:: SOT 104352 SOS 23538 HAS SOPS 23538 HAS SOUS 15159 HAS SOUPS 15159 WITH SCORE 15182.538
AT ITER 3068 NEW BEST:: SOT 104333 SOS 23538 HAS SOPS 23538 HAS SOUS 15123 HAS SOUPS 15123 WITH SCORE 15146.538
AT ITER 3071 NEW BEST:: SOT 104323 SOS 23518 HAS SOPS 23518 HAS SOUS 15104 HAS SOUPS 15104 WITH SCORE 15127.518
AT ITER 3087 NEW BEST:: SOT 104317 SOS 23512 HAS SOPS 23512 HAS SOUS 15098 HAS SOUPS 15098 WITH SCORE 15121.512
AT ITER 3124 NEW BEST:: SOT 104313 SOS 23457 HAS SOPS 23457 HAS SOUS 15090 HAS SOUPS 15090 WITH SCORE 15113.457
AT ITER 3126 NEW BEST:: SOT 104312 SOS 23454 HAS SOPS 23454 HAS SOUS 15087 HAS SOUPS 15087 WITH SCORE 15110.454
AT ITER 3183 NEW BEST:: SOT 104312 SOS 23440 HAS SOPS 23440 HAS SOUS 15073 HAS SOUPS 15073 WITH SCORE 15096.44
AT ITER 3208 NEW BEST:: SOT 104303 SOS 23422 HAS SOPS 23422 HAS SOUS 15064 HAS SOUPS 15064 WITH SCORE 15087.422
AT ITER 3226 NEW BEST:: SOT 104324 SOS 23422 HAS SOPS 23422 HAS SOUS 15046 HAS SOUPS 15046 WITH SCORE 15069.422
AT ITER 3253 NEW BEST:: SOT 104254 SOS 23282 HAS SOPS 23282 HAS SOUS 14976 HAS SOUPS 14976 WITH SCORE 14999.282
AT ITER 3292 NEW BEST:: SOT 104227 SOS 23255 HAS SOPS 23255 HAS SOUS 14957 HAS SOUPS 14957 WITH SCORE 14980.255
AT ITER 3313 NEW BEST:: SOT 104215 SOS 23231 HAS SOPS 23231 HAS SOUS 14933 HAS SOUPS 14933 WITH SCORE 14956.231
AT ITER 3318 NEW BEST:: SOT 104217 SOS 23235 HAS SOPS 23235 HAS SOUS 14930 HAS SOUPS 14930 WITH SCORE 14953.235
AT ITER 3361 NEW BEST:: SOT 104201 SOS 23135 HAS SOPS 23135 HAS SOUS 14904 HAS SOUPS 14904 WITH SCORE 14927.135
AT ITER 3370 NEW BEST:: SOT 104189 SOS 23111 HAS SOPS 23111 HAS SOUS 14874 HAS SOUPS 14874 WITH SCORE 14897.111
AT ITER 3409 NEW BEST:: SOT 104196 SOS 23088 HAS SOPS 23088 HAS SOUS 14855 HAS SOUPS 14855 WITH SCORE 14878.088
AT ITER 3412 NEW BEST:: SOT 104196 SOS 23072 HAS SOPS 23072 HAS SOUS 14839 HAS SOUPS 14839 WITH SCORE 14862.072
AT ITER 3469 NEW BEST:: SOT 104192 SOS 23064 HAS SOPS 23064 HAS SOUS 14831 HAS SOUPS 14831 WITH SCORE 14854.064
AT ITER 3522 NEW BEST:: SOT 104192 SOS 23064 HAS SOPS 23064 HAS SOUS 14829 HAS SOUPS 14829 WITH SCORE 14852.064
AT ITER 3530 NEW BEST:: SOT 104166 SOS 23038 HAS SOPS 23038 HAS SOUS 14829 HAS SOUPS 14829 WITH SCORE 14852.038
AT ITER 3536 NEW BEST:: SOT 104162 SOS 23030 HAS SOPS 23030 HAS SOUS 14826 HAS SOUPS 14826 WITH SCORE 14849.03
AT ITER 3541 NEW BEST:: SOT 104073 SOS 22933 HAS SOPS 22933 HAS SOUS 14816 HAS SOUPS 14816 WITH SCORE 14838.933
AT ITER 3547 NEW BEST:: SOT 104056 SOS 22910 HAS SOPS 22910 HAS SOUS 14793 HAS SOUPS 14793 WITH SCORE 14815.91
AT ITER 3600 NEW BEST:: SOT 104043 SOS 22851 HAS SOPS 22851 HAS SOUS 14767 HAS SOUPS 14767 WITH SCORE 14789.851
AT ITER 3614 NEW BEST:: SOT 104041 SOS 22842 HAS SOPS 22842 HAS SOUS 14758 HAS SOUPS 14758 WITH SCORE 14780.842
AT ITER 3615 NEW BEST:: SOT 104041 SOS 22803 HAS SOPS 22803 HAS SOUS 14750 HAS SOUPS 14750 WITH SCORE 14772.803
AT ITER 3628 NEW BEST:: SOT 104044 SOS 22832 HAS SOPS 22832 HAS SOUS 14734 HAS SOUPS 14734 WITH SCORE 14756.832
AT ITER 3629 NEW BEST:: SOT 103981 SOS 22856 HAS SOPS 22856 HAS SOUS 14671 HAS SOUPS 14671 WITH SCORE 14693.856
AT ITER 3656 NEW BEST:: SOT 103980 SOS 22899 HAS SOPS 22899 HAS SOUS 14669 HAS SOUPS 14669 WITH SCORE 14691.899
AT ITER 3665 NEW BEST:: SOT 103937 SOS 22856 HAS SOPS 22856 HAS SOUS 14626 HAS SOUPS 14626 WITH SCORE 14648.856
AT ITER 3691 NEW BEST:: SOT 103927 SOS 22858 HAS SOPS 22858 HAS SOUS 14606 HAS SOUPS 14606 WITH SCORE 14628.858
AT ITER 3694 NEW BEST:: SOT 103915 SOS 22846 HAS SOPS 22846 HAS SOUS 14606 HAS SOUPS 14606 WITH SCORE 14628.846
AT ITER 3701 NEW BEST:: SOT 103915 SOS 22833 HAS SOPS 22833 HAS SOUS 14606 HAS SOUPS 14606 WITH SCORE 14628.833
AT ITER 3703 NEW BEST:: SOT 103901 SOS 22861 HAS SOPS 22861 HAS SOUS 14595 HAS SOUPS 14595 WITH SCORE 14617.861
AT ITER 3707 NEW BEST:: SOT 103900 SOS 22860 HAS SOPS 22860 HAS SOUS 14593 HAS SOUPS 14593 WITH SCORE 14615.86
AT ITER 3712 NEW BEST:: SOT 103900 SOS 22849 HAS SOPS 22849 HAS SOUS 14593 HAS SOUPS 14593 WITH SCORE 14615.849
AT ITER 3720 NEW BEST:: SOT 103899 SOS 22848 HAS SOPS 22848 HAS SOUS 14592 HAS SOUPS 14592 WITH SCORE 14614.848
AT ITER 3727 NEW BEST:: SOT 103898 SOS 22846 HAS SOPS 22846 HAS SOUS 14590 HAS SOUPS 14590 WITH SCORE 14612.846
AT ITER 3731 NEW BEST:: SOT 103871 SOS 22844 HAS SOPS 22844 HAS SOUS 14588 HAS SOUPS 14588 WITH SCORE 14610.844
AT ITER 3755 NEW BEST:: SOT 103990 SOS 22963 HAS SOPS 22963 HAS SOUS 14553 HAS SOUPS 14553 WITH SCORE 14575.963
AT ITER 3801 NEW BEST:: SOT 103984 SOS 22951 HAS SOPS 22951 HAS SOUS 14547 HAS SOUPS 14547 WITH SCORE 14569.951
AT ITER 3805 NEW BEST:: SOT 103957 SOS 22897 HAS SOPS 22897 HAS SOUS 14489 HAS SOUPS 14489 WITH SCORE 14511.897
AT ITER 3831 NEW BEST:: SOT 103959 SOS 22891 HAS SOPS 22891 HAS SOUS 14487 HAS SOUPS 14487 WITH SCORE 14509.891
AT ITER 3837 NEW BEST:: SOT 103955 SOS 22887 HAS SOPS 22887 HAS SOUS 14479 HAS SOUPS 14479 WITH SCORE 14501.887
AT ITER 3851 NEW BEST:: SOT 103917 SOS 22849 HAS SOPS 22849 HAS SOUS 14479 HAS SOUPS 14479 WITH SCORE 14501.849
AT ITER 3874 NEW BEST:: SOT 103844 SOS 22776 HAS SOPS 22776 HAS SOUS 14406 HAS SOUPS 14406 WITH SCORE 14428.776
AT ITER 3891 NEW BEST:: SOT 103820 SOS 22788 HAS SOPS 22788 HAS SOUS 14404 HAS SOUPS 14404 WITH SCORE 14426.788
AT ITER 3930 NEW BEST:: SOT 103814 SOS 22782 HAS SOPS 22782 HAS SOUS 14404 HAS SOUPS 14404 WITH SCORE 14426.782
AT ITER 3934 NEW BEST:: SOT 103769 SOS 22692 HAS SOPS 22692 HAS SOUS 14388 HAS SOUPS 14388 WITH SCORE 14410.692
AT ITER 3953 NEW BEST:: SOT 103767 SOS 22690 HAS SOPS 22690 HAS SOUS 14364 HAS SOUPS 14364 WITH SCORE 14386.69
AT ITER 3958 NEW BEST:: SOT 103767 SOS 22690 HAS SOPS 22690 HAS SOUS 14352 HAS SOUPS 14352 WITH SCORE 14374.69
AT ITER 3959 NEW BEST:: SOT 103770 SOS 22684 HAS SOPS 22684 HAS SOUS 14346 HAS SOUPS 14346 WITH SCORE 14368.684
AT ITER 3970 NEW BEST:: SOT 103712 SOS 22626 HAS SOPS 22626 HAS SOUS 14288 HAS SOUPS 14288 WITH SCORE 14310.626
AT ITER 4015 NEW BEST:: SOT 103702 SOS 22630 HAS SOPS 22630 HAS SOUS 14258 HAS SOUPS 14258 WITH SCORE 14280.63
AT ITER 4023 NEW BEST:: SOT 103664 SOS 22592 HAS SOPS 22592 HAS SOUS 14236 HAS SOUPS 14236 WITH SCORE 14258.592
AT ITER 4032 NEW BEST:: SOT 103640 SOS 22567 HAS SOPS 22567 HAS SOUS 14224 HAS SOUPS 14224 WITH SCORE 14246.567
AT ITER 4034 NEW BEST:: SOT 103627 SOS 22539 HAS SOPS 22539 HAS SOUS 14196 HAS SOUPS 14196 WITH SCORE 14218.539
AT ITER 4097 NEW BEST:: SOT 103637 SOS 22533 HAS SOPS 22533 HAS SOUS 14180 HAS SOUPS 14180 WITH SCORE 14202.533
AT ITER 4103 NEW BEST:: SOT 103631 SOS 22527 HAS SOPS 22527 HAS SOUS 14174 HAS SOUPS 14174 WITH SCORE 14196.527
AT ITER 4125 NEW BEST:: SOT 103620 SOS 22518 HAS SOPS 22518 HAS SOUS 14165 HAS SOUPS 14165 WITH SCORE 14187.518
AT ITER 4128 NEW BEST:: SOT 103572 SOS 22422 HAS SOPS 22422 HAS SOUS 14117 HAS SOUPS 14117 WITH SCORE 14139.422
AT ITER 4129 NEW BEST:: SOT 103514 SOS 22286 HAS SOPS 22286 HAS SOUS 14051 HAS SOUPS 14051 WITH SCORE 14073.286
AT ITER 4163 NEW BEST:: SOT 103505 SOS 22268 HAS SOPS 22268 HAS SOUS 14033 HAS SOUPS 14033 WITH SCORE 14055.268
AT ITER 4183 NEW BEST:: SOT 103497 SOS 22256 HAS SOPS 22256 HAS SOUS 14027 HAS SOUPS 14027 WITH SCORE 14049.256
AT ITER 4214 NEW BEST:: SOT 103456 SOS 22207 HAS SOPS 22207 HAS SOUS 13978 HAS SOUPS 13978 WITH SCORE 14000.207
AT ITER 4251 NEW BEST:: SOT 103456 SOS 22201 HAS SOPS 22201 HAS SOUS 13972 HAS SOUPS 13972 WITH SCORE 13994.201
AT ITER 4253 NEW BEST:: SOT 103438 SOS 22165 HAS SOPS 22165 HAS SOUS 13936 HAS SOUPS 13936 WITH SCORE 13958.165
AT ITER 4276 NEW BEST:: SOT 103437 SOS 22209 HAS SOPS 22209 HAS SOUS 13924 HAS SOUPS 13924 WITH SCORE 13946.209
AT ITER 4279 NEW BEST:: SOT 103435 SOS 22207 HAS SOPS 22207 HAS SOUS 13924 HAS SOUPS 13924 WITH SCORE 13946.207
AT ITER 4284 NEW BEST:: SOT 103448 SOS 22203 HAS SOPS 22203 HAS SOUS 13920 HAS SOUPS 13920 WITH SCORE 13942.203
AT ITER 4294 NEW BEST:: SOT 103436 SOS 22191 HAS SOPS 22191 HAS SOUS 13901 HAS SOUPS 13901 WITH SCORE 13923.191
AT ITER 4300 NEW BEST:: SOT 103421 SOS 22176 HAS SOPS 22176 HAS SOUS 13886 HAS SOUPS 13886 WITH SCORE 13908.176
AT ITER 4302 NEW BEST:: SOT 103406 SOS 22161 HAS SOPS 22161 HAS SOUS 13886 HAS SOUPS 13886 WITH SCORE 13908.161
AT ITER 4313 NEW BEST:: SOT 103329 SOS 22090 HAS SOPS 22090 HAS SOUS 13825 HAS SOUPS 13825 WITH SCORE 13847.09
AT ITER 4386 NEW BEST:: SOT 103329 SOS 22090 HAS SOPS 22090 HAS SOUS 13822 HAS SOUPS 13822 WITH SCORE 13844.09
AT ITER 4420 NEW BEST:: SOT 103327 SOS 22088 HAS SOPS 22088 HAS SOUS 13820 HAS SOUPS 13820 WITH SCORE 13842.088
AT ITER 4423 NEW BEST:: SOT 103327 SOS 22088 HAS SOPS 22088 HAS SOUS 13819 HAS SOUPS 13819 WITH SCORE 13841.088
AT ITER 4434 NEW BEST:: SOT 103325 SOS 22086 HAS SOPS 22086 HAS SOUS 13817 HAS SOUPS 13817 WITH SCORE 13839.086
AT ITER 4439 NEW BEST:: SOT 103480 SOS 22169 HAS SOPS 22169 HAS SOUS 13792 HAS SOUPS 13792 WITH SCORE 13814.169
AT ITER 4565 NEW BEST:: SOT 103474 SOS 22158 HAS SOPS 22158 HAS SOUS 13781 HAS SOUPS 13781 WITH SCORE 13803.158
AT ITER 4602 NEW BEST:: SOT 103458 SOS 22154 HAS SOPS 22154 HAS SOUS 13777 HAS SOUPS 13777 WITH SCORE 13799.154
AT ITER 4632 NEW BEST:: SOT 103480 SOS 22176 HAS SOPS 22176 HAS SOUS 13759 HAS SOUPS 13759 WITH SCORE 13781.176
AT ITER 4654 NEW BEST:: SOT 103476 SOS 22163 HAS SOPS 22163 HAS SOUS 13750 HAS SOUPS 13750 WITH SCORE 13772.163
AT ITER 4672 NEW BEST:: SOT 103468 SOS 22147 HAS SOPS 22147 HAS SOUS 13734 HAS SOUPS 13734 WITH SCORE 13756.147
AT ITER 4769 NEW BEST:: SOT 103464 SOS 22139 HAS SOPS 22139 HAS SOUS 13729 HAS SOUPS 13729 WITH SCORE 13751.139
AT ITER 4798 NEW BEST:: SOT 103464 SOS 22116 HAS SOPS 22116 HAS SOUS 13706 HAS SOUPS 13706 WITH SCORE 13728.116
AT ITER 4814 NEW BEST:: SOT 103460 SOS 22564 HAS SOPS 22564 HAS SOUS 13702 HAS SOUPS 13702 WITH SCORE 13724.564
AT ITER 4841 NEW BEST:: SOT 103436 SOS 22516 HAS SOPS 22516 HAS SOUS 13692 HAS SOUPS 13692 WITH SCORE 13714.516
AT ITER 4846 NEW BEST:: SOT 103396 SOS 22476 HAS SOPS 22476 HAS SOUS 13652 HAS SOUPS 13652 WITH SCORE 13674.476
AT ITER 4861 NEW BEST:: SOT 103396 SOS 22469 HAS SOPS 22469 HAS SOUS 13652 HAS SOUPS 13652 WITH SCORE 13674.469
AT ITER 4866 NEW BEST:: SOT 103392 SOS 22461 HAS SOPS 22461 HAS SOUS 13644 HAS SOUPS 13644 WITH SCORE 13666.461
AT ITER 4883 NEW BEST:: SOT 103355 SOS 22395 HAS SOPS 22395 HAS SOUS 13607 HAS SOUPS 13607 WITH SCORE 13629.395
AT ITER 4888 NEW BEST:: SOT 103352 SOS 22396 HAS SOPS 22396 HAS SOUS 13604 HAS SOUPS 13604 WITH SCORE 13626.396
AT ITER 4900 NEW BEST:: SOT 103342 SOS 22386 HAS SOPS 22386 HAS SOUS 13594 HAS SOUPS 13594 WITH SCORE 13616.386
AT ITER 4924 NEW BEST:: SOT 103344 SOS 22388 HAS SOPS 22388 HAS SOUS 13593 HAS SOUPS 13593 WITH SCORE 13615.388
AT ITER 4958 NEW BEST:: SOT 103342 SOS 22394 HAS SOPS 22394 HAS SOUS 13591 HAS SOUPS 13591 WITH SCORE 13613.394
AT ITER 4959 NEW BEST:: SOT 103342 SOS 22392 HAS SOPS 22392 HAS SOUS 13591 HAS SOUPS 13591 WITH SCORE 13613.392
AT ITER 5012 NEW BEST:: SOT 103392 SOS 22442 HAS SOPS 22442 HAS SOUS 13539 HAS SOUPS 13539 WITH SCORE 13561.442
AT ITER 5082 NEW BEST:: SOT 103389 SOS 22426 HAS SOPS 22426 HAS SOUS 13523 HAS SOUPS 13523 WITH SCORE 13545.426
AT ITER 5119 NEW BEST:: SOT 103367 SOS 22380 HAS SOPS 22380 HAS SOUS 13459 HAS SOUPS 13459 WITH SCORE 13481.38
AT ITER 5143 NEW BEST:: SOT 103299 SOS 22299 HAS SOPS 22299 HAS SOUS 13433 HAS SOUPS 13433 WITH SCORE 13455.299
AT ITER 5194 NEW BEST:: SOT 103311 SOS 22308 HAS SOPS 22308 HAS SOUS 13422 HAS SOUPS 13422 WITH SCORE 13444.308
AT ITER 5219 NEW BEST:: SOT 103310 SOS 22306 HAS SOPS 22306 HAS SOUS 13420 HAS SOUPS 13420 WITH SCORE 13442.306
AT ITER 5236 NEW BEST:: SOT 103288 SOS 22283 HAS SOPS 22283 HAS SOUS 13416 HAS SOUPS 13416 WITH SCORE 13438.283
AT ITER 5324 NEW BEST:: SOT 103287 SOS 22386 HAS SOPS 22386 HAS SOUS 13415 HAS SOUPS 13415 WITH SCORE 13437.386
AT ITER 5326 NEW BEST:: SOT 103284 SOS 22383 HAS SOPS 22383 HAS SOUS 13412 HAS SOUPS 13412 WITH SCORE 13434.383
AT ITER 5333 NEW BEST:: SOT 103293 SOS 22397 HAS SOPS 22397 HAS SOUS 13404 HAS SOUPS 13404 WITH SCORE 13426.397
AT ITER 5362 NEW BEST:: SOT 103291 SOS 22386 HAS SOPS 22386 HAS SOUS 13393 HAS SOUPS 13393 WITH SCORE 13415.386
AT ITER 5367 NEW BEST:: SOT 103291 SOS 22386 HAS SOPS 22386 HAS SOUS 13392 HAS SOUPS 13392 WITH SCORE 13414.386
AT ITER 5392 NEW BEST:: SOT 103289 SOS 22391 HAS SOPS 22391 HAS SOUS 13388 HAS SOUPS 13388 WITH SCORE 13410.391
AT ITER 5416 NEW BEST:: SOT 103296 SOS 22398 HAS SOPS 22398 HAS SOUS 13385 HAS SOUPS 13385 WITH SCORE 13407.398
AT ITER 5428 NEW BEST:: SOT 103223 SOS 22613 HAS SOPS 22613 HAS SOUS 13362 HAS SOUPS 13362 WITH SCORE 13384.613
AT ITER 5439 NEW BEST:: SOT 103191 SOS 22571 HAS SOPS 22571 HAS SOUS 13357 HAS SOUPS 13357 WITH SCORE 13379.571
AT ITER 5475 NEW BEST:: SOT 103184 SOS 22564 HAS SOPS 22564 HAS SOUS 13357 HAS SOUPS 13357 WITH SCORE 13379.564
AT ITER 5534 NEW BEST:: SOT 103180 SOS 22556 HAS SOPS 22556 HAS SOUS 13349 HAS SOUPS 13349 WITH SCORE 13371.556
AT ITER 5560 NEW BEST:: SOT 103177 SOS 22553 HAS SOPS 22553 HAS SOUS 13340 HAS SOUPS 13340 WITH SCORE 13362.553
AT ITER 5563 NEW BEST:: SOT 103177 SOS 22547 HAS SOPS 22547 HAS SOUS 13340 HAS SOUPS 13340 WITH SCORE 13362.547
AT ITER 5570 NEW BEST:: SOT 103168 SOS 22517 HAS SOPS 22517 HAS SOUS 13310 HAS SOUPS 13310 WITH SCORE 13332.517
AT ITER 5572 NEW BEST:: SOT 103126 SOS 22433 HAS SOPS 22433 HAS SOUS 13273 HAS SOUPS 13273 WITH SCORE 13295.433
AT ITER 5602 NEW BEST:: SOT 103151 SOS 22458 HAS SOPS 22458 HAS SOUS 13243 HAS SOUPS 13243 WITH SCORE 13265.458
AT ITER 5659 NEW BEST:: SOT 103198 SOS 22454 HAS SOPS 22454 HAS SOUS 13227 HAS SOUPS 13227 WITH SCORE 13249.454
AT ITER 5677 NEW BEST:: SOT 102987 SOS 22249 HAS SOPS 22249 HAS SOUS 13211 HAS SOUPS 13211 WITH SCORE 13233.249
AT ITER 5693 NEW BEST:: SOT 102979 SOS 22233 HAS SOPS 22233 HAS SOUS 13203 HAS SOUPS 13203 WITH SCORE 13225.233
AT ITER 5709 NEW BEST:: SOT 102977 SOS 22231 HAS SOPS 22231 HAS SOUS 13201 HAS SOUPS 13201 WITH SCORE 13223.231
AT ITER 5810 NEW BEST:: SOT 102960 SOS 22197 HAS SOPS 22197 HAS SOUS 13200 HAS SOUPS 13200 WITH SCORE 13222.197
AT ITER 5812 NEW BEST:: SOT 102919 SOS 22094 HAS SOPS 22094 HAS SOUS 13163 HAS SOUPS 13163 WITH SCORE 13185.094
AT ITER 5825 NEW BEST:: SOT 102907 SOS 22082 HAS SOPS 22082 HAS SOUS 13151 HAS SOUPS 13151 WITH SCORE 13173.082
AT ITER 5828 NEW BEST:: SOT 102895 SOS 22020 HAS SOPS 22020 HAS SOUS 13120 HAS SOUPS 13120 WITH SCORE 13142.02
AT ITER 5872 NEW BEST:: SOT 102856 SOS 21975 HAS SOPS 21975 HAS SOUS 13075 HAS SOUPS 13075 WITH SCORE 13096.975
AT ITER 5880 NEW BEST:: SOT 102844 SOS 21963 HAS SOPS 21963 HAS SOUS 13063 HAS SOUPS 13063 WITH SCORE 13084.963
AT ITER 5914 NEW BEST:: SOT 102842 SOS 21959 HAS SOPS 21959 HAS SOUS 13058 HAS SOUPS 13058 WITH SCORE 13079.959
AT ITER 5915 NEW BEST:: SOT 102842 SOS 21957 HAS SOPS 21957 HAS SOUS 13058 HAS SOUPS 13058 WITH SCORE 13079.957
AT ITER 5929 NEW BEST:: SOT 102885 SOS 21949 HAS SOPS 21949 HAS SOUS 13050 HAS SOUPS 13050 WITH SCORE 13071.949
AT ITER 5944 NEW BEST:: SOT 102864 SOS 21973 HAS SOPS 21973 HAS SOUS 13031 HAS SOUPS 13031 WITH SCORE 13052.973
AT ITER 5965 NEW BEST:: SOT 102853 SOS 21962 HAS SOPS 21962 HAS SOUS 13020 HAS SOUPS 13020 WITH SCORE 13041.962
AT ITER 6002 NEW BEST:: SOT 102851 SOS 21960 HAS SOPS 21960 HAS SOUS 13018 HAS SOUPS 13018 WITH SCORE 13039.96
AT ITER 6013 NEW BEST:: SOT 102845 SOS 21948 HAS SOPS 21948 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13033.948
AT ITER 6017 NEW BEST:: SOT 102841 SOS 21944 HAS SOPS 21944 HAS SOUS 13008 HAS SOUPS 13008 WITH SCORE 13029.944
AT ITER 6068 NEW BEST:: SOT 102841 SOS 21944 HAS SOPS 21944 HAS SOUS 12999 HAS SOUPS 12999 WITH SCORE 13020.944
AT ITER 6089 NEW BEST:: SOT 102838 SOS 21892 HAS SOPS 21892 HAS SOUS 12980 HAS SOUPS 12980 WITH SCORE 13001.892
AT ITER 6096 NEW BEST:: SOT 102838 SOS 21886 HAS SOPS 21886 HAS SOUS 12974 HAS SOUPS 12974 WITH SCORE 12995.886
AT ITER 6131 NEW BEST:: SOT 102832 SOS 21878 HAS SOPS 21878 HAS SOUS 12966 HAS SOUPS 12966 WITH SCORE 12987.878
AT ITER 6134 NEW BEST:: SOT 102832 SOS 21877 HAS SOPS 21877 HAS SOUS 12965 HAS SOUPS 12965 WITH SCORE 12986.877
AT ITER 6180 NEW BEST:: SOT 102811 SOS 21881 HAS SOPS 21881 HAS SOUS 12954 HAS SOUPS 12954 WITH SCORE 12975.881
AT ITER 6195 NEW BEST:: SOT 102811 SOS 21877 HAS SOPS 21877 HAS SOUS 12950 HAS SOUPS 12950 WITH SCORE 12971.877
AT ITER 6309 NEW BEST:: SOT 102811 SOS 21877 HAS SOPS 21877 HAS SOUS 12939 HAS SOUPS 12939 WITH SCORE 12960.877
AT ITER 6314 NEW BEST:: SOT 102811 SOS 21877 HAS SOPS 21877 HAS SOUS 12931 HAS SOUPS 12931 WITH SCORE 12952.877
AT ITER 6355 NEW BEST:: SOT 102749 SOS 21753 HAS SOPS 21753 HAS SOUS 12912 HAS SOUPS 12912 WITH SCORE 12933.753
AT ITER 6378 NEW BEST:: SOT 102745 SOS 21749 HAS SOPS 21749 HAS SOUS 12901 HAS SOUPS 12901 WITH SCORE 12922.749
AT ITER 6404 NEW BEST:: SOT 102715 SOS 21719 HAS SOPS 21719 HAS SOUS 12901 HAS SOUPS 12901 WITH SCORE 12922.719
AT ITER 6443 NEW BEST:: SOT 102699 SOS 21715 HAS SOPS 21715 HAS SOUS 12897 HAS SOUPS 12897 WITH SCORE 12918.715
AT ITER 6460 NEW BEST:: SOT 102689 SOS 21695 HAS SOPS 21695 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12890.695
AT ITER 6500 NEW BEST:: SOT 102705 SOS 21680 HAS SOPS 21680 HAS SOUS 12854 HAS SOUPS 12854 WITH SCORE 12875.68
AT ITER 6548 NEW BEST:: SOT 102704 SOS 21678 HAS SOPS 21678 HAS SOUS 12852 HAS SOUPS 12852 WITH SCORE 12873.678
AT ITER 6568 NEW BEST:: SOT 102704 SOS 21677 HAS SOPS 21677 HAS SOUS 12851 HAS SOUPS 12851 WITH SCORE 12872.677
AT ITER 6575 NEW BEST:: SOT 102704 SOS 21677 HAS SOPS 21677 HAS SOUS 12850 HAS SOUPS 12850 WITH SCORE 12871.677
AT ITER 6702 NEW BEST:: SOT 102695 SOS 21659 HAS SOPS 21659 HAS SOUS 12832 HAS SOUPS 12832 WITH SCORE 12853.659
AT ITER 6728 NEW BEST:: SOT 102693 SOS 21638 HAS SOPS 21638 HAS SOUS 12792 HAS SOUPS 12792 WITH SCORE 12813.638
AT ITER 6744 NEW BEST:: SOT 102656 SOS 21576 HAS SOPS 21576 HAS SOUS 12755 HAS SOUPS 12755 WITH SCORE 12776.576
AT ITER 6755 NEW BEST:: SOT 102643 SOS 21563 HAS SOPS 21563 HAS SOUS 12742 HAS SOUPS 12742 WITH SCORE 12763.563
AT ITER 6756 NEW BEST:: SOT 102642 SOS 21590 HAS SOPS 21590 HAS SOUS 12741 HAS SOUPS 12741 WITH SCORE 12762.59
AT ITER 6769 NEW BEST:: SOT 102649 SOS 21571 HAS SOPS 21571 HAS SOUS 12722 HAS SOUPS 12722 WITH SCORE 12743.571
AT ITER 6770 NEW BEST:: SOT 102639 SOS 21551 HAS SOPS 21551 HAS SOUS 12702 HAS SOUPS 12702 WITH SCORE 12723.551
AT ITER 6784 NEW BEST:: SOT 102629 SOS 21529 HAS SOPS 21529 HAS SOUS 12681 HAS SOUPS 12681 WITH SCORE 12702.529
AT ITER 6806 NEW BEST:: SOT 102629 SOS 21510 HAS SOPS 21510 HAS SOUS 12662 HAS SOUPS 12662 WITH SCORE 12683.51
AT ITER 6811 NEW BEST:: SOT 102627 SOS 21506 HAS SOPS 21506 HAS SOUS 12658 HAS SOUPS 12658 WITH SCORE 12679.506
AT ITER 6818 NEW BEST:: SOT 102611 SOS 21490 HAS SOPS 21490 HAS SOUS 12656 HAS SOUPS 12656 WITH SCORE 12677.49
AT ITER 6840 NEW BEST:: SOT 102611 SOS 21440 HAS SOPS 21440 HAS SOUS 12645 HAS SOUPS 12645 WITH SCORE 12666.44
AT ITER 6868 NEW BEST:: SOT 102588 SOS 21417 HAS SOPS 21417 HAS SOUS 12622 HAS SOUPS 12622 WITH SCORE 12643.417
AT ITER 6903 NEW BEST:: SOT 102588 SOS 21412 HAS SOPS 21412 HAS SOUS 12622 HAS SOUPS 12622 WITH SCORE 12643.412
AT ITER 6906 NEW BEST:: SOT 102588 SOS 21405 HAS SOPS 21405 HAS SOUS 12622 HAS SOUPS 12622 WITH SCORE 12643.405
AT ITER 6913 NEW BEST:: SOT 102585 SOS 21405 HAS SOPS 21405 HAS SOUS 12619 HAS SOUPS 12619 WITH SCORE 12640.405
AT ITER 6933 NEW BEST:: SOT 102580 SOS 21395 HAS SOPS 21395 HAS SOUS 12614 HAS SOUPS 12614 WITH SCORE 12635.395
AT ITER 6944 NEW BEST:: SOT 102599 SOS 21433 HAS SOPS 21433 HAS SOUS 12568 HAS SOUPS 12568 WITH SCORE 12589.433
AT ITER 6965 NEW BEST:: SOT 102592 SOS 21419 HAS SOPS 21419 HAS SOUS 12561 HAS SOUPS 12561 WITH SCORE 12582.419
AT ITER 6984 NEW BEST:: SOT 102570 SOS 21409 HAS SOPS 21409 HAS SOUS 12561 HAS SOUPS 12561 WITH SCORE 12582.409
AT ITER 7006 NEW BEST:: SOT 102572 SOS 21405 HAS SOPS 21405 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12578.405
AT ITER 7028 NEW BEST:: SOT 102572 SOS 21405 HAS SOPS 21405 HAS SOUS 12548 HAS SOUPS 12548 WITH SCORE 12569.405
AT ITER 7049 NEW BEST:: SOT 102572 SOS 21403 HAS SOPS 21403 HAS SOUS 12548 HAS SOUPS 12548 WITH SCORE 12569.403
AT ITER 7089 NEW BEST:: SOT 102568 SOS 21395 HAS SOPS 21395 HAS SOUS 12544 HAS SOUPS 12544 WITH SCORE 12565.395
AT ITER 7100 NEW BEST:: SOT 102636 SOS 21457 HAS SOPS 21457 HAS SOUS 12527 HAS SOUPS 12527 WITH SCORE 12548.457
AT ITER 7173 NEW BEST:: SOT 102636 SOS 21457 HAS SOPS 21457 HAS SOUS 12526 HAS SOUPS 12526 WITH SCORE 12547.457
AT ITER 7202 NEW BEST:: SOT 102621 SOS 21427 HAS SOPS 21427 HAS SOUS 12505 HAS SOUPS 12505 WITH SCORE 12526.427
AT ITER 7215 NEW BEST:: SOT 102619 SOS 21435 HAS SOPS 21435 HAS SOUS 12504 HAS SOUPS 12504 WITH SCORE 12525.435
AT ITER 7223 NEW BEST:: SOT 102616 SOS 21429 HAS SOPS 21429 HAS SOUS 12498 HAS SOUPS 12498 WITH SCORE 12519.429
AT ITER 7254 NEW BEST:: SOT 102616 SOS 21439 HAS SOPS 21439 HAS SOUS 12494 HAS SOUPS 12494 WITH SCORE 12515.439
AT ITER 7380 NEW BEST:: SOT 102574 SOS 21404 HAS SOPS 21404 HAS SOUS 12470 HAS SOUPS 12470 WITH SCORE 12491.404
AT ITER 7408 NEW BEST:: SOT 102562 SOS 21403 HAS SOPS 21403 HAS SOUS 12469 HAS SOUPS 12469 WITH SCORE 12490.403
AT ITER 7422 NEW BEST:: SOT 102562 SOS 21403 HAS SOPS 21403 HAS SOUS 12411 HAS SOUPS 12411 WITH SCORE 12432.403
AT ITER 7427 NEW BEST:: SOT 102550 SOS 21379 HAS SOPS 21379 HAS SOUS 12394 HAS SOUPS 12394 WITH SCORE 12415.379
AT ITER 7475 NEW BEST:: SOT 102541 SOS 21370 HAS SOPS 21370 HAS SOUS 12385 HAS SOUPS 12385 WITH SCORE 12406.37
AT ITER 7530 NEW BEST:: SOT 102451 SOS 21280 HAS SOPS 21280 HAS SOUS 12381 HAS SOUPS 12381 WITH SCORE 12402.28
AT ITER 7542 NEW BEST:: SOT 102442 SOS 21262 HAS SOPS 21262 HAS SOUS 12372 HAS SOUPS 12372 WITH SCORE 12393.262
AT ITER 7677 NEW BEST:: SOT 102438 SOS 21254 HAS SOPS 21254 HAS SOUS 12372 HAS SOUPS 12372 WITH SCORE 12393.254
AT ITER 7704 NEW BEST:: SOT 102437 SOS 21252 HAS SOPS 21252 HAS SOUS 12371 HAS SOUPS 12371 WITH SCORE 12392.252
AT ITER 7753 NEW BEST:: SOT 102452 SOS 21248 HAS SOPS 21248 HAS SOUS 12367 HAS SOUPS 12367 WITH SCORE 12388.248
AT ITER 7778 NEW BEST:: SOT 102450 SOS 21246 HAS SOPS 21246 HAS SOUS 12363 HAS SOUPS 12363 WITH SCORE 12384.246
AT ITER 7782 NEW BEST:: SOT 102447 SOS 21240 HAS SOPS 21240 HAS SOUS 12360 HAS SOUPS 12360 WITH SCORE 12381.24
AT ITER 7884 NEW BEST:: SOT 102479 SOS 21259 HAS SOPS 21259 HAS SOUS 12332 HAS SOUPS 12332 WITH SCORE 12353.259
AT ITER 7896 NEW BEST:: SOT 102470 SOS 21241 HAS SOPS 21241 HAS SOUS 12314 HAS SOUPS 12314 WITH SCORE 12335.241
AT ITER 7946 NEW BEST:: SOT 102470 SOS 21235 HAS SOPS 21235 HAS SOUS 12314 HAS SOUPS 12314 WITH SCORE 12335.235
AT ITER 7949 NEW BEST:: SOT 102446 SOS 21187 HAS SOPS 21187 HAS SOUS 12260 HAS SOUPS 12260 WITH SCORE 12281.187
AT ITER 7954 NEW BEST:: SOT 102425 SOS 21145 HAS SOPS 21145 HAS SOUS 12250 HAS SOUPS 12250 WITH SCORE 12271.145
AT ITER 7956 NEW BEST:: SOT 102417 SOS 21412 HAS SOPS 21412 HAS SOUS 12242 HAS SOUPS 12242 WITH SCORE 12263.412
AT ITER 8049 NEW BEST:: SOT 102411 SOS 21400 HAS SOPS 21400 HAS SOUS 12230 HAS SOUPS 12230 WITH SCORE 12251.4
AT ITER 8088 NEW BEST:: SOT 102404 SOS 21386 HAS SOPS 21386 HAS SOUS 12223 HAS SOUPS 12223 WITH SCORE 12244.386
AT ITER 8193 NEW BEST:: SOT 102397 SOS 21360 HAS SOPS 21360 HAS SOUS 12197 HAS SOUPS 12197 WITH SCORE 12218.36
AT ITER 8194 NEW BEST:: SOT 102401 SOS 21359 HAS SOPS 21359 HAS SOUS 12196 HAS SOUPS 12196 WITH SCORE 12217.359
AT ITER 8211 NEW BEST:: SOT 102401 SOS 21356 HAS SOPS 21356 HAS SOUS 12193 HAS SOUPS 12193 WITH SCORE 12214.356
AT ITER 8321 NEW BEST:: SOT 102401 SOS 21388 HAS SOPS 21388 HAS SOUS 12161 HAS SOUPS 12161 WITH SCORE 12182.388
AT ITER 8324 NEW BEST:: SOT 102403 SOS 21371 HAS SOPS 21371 HAS SOUS 12144 HAS SOUPS 12144 WITH SCORE 12165.371
AT ITER 8351 NEW BEST:: SOT 102394 SOS 21447 HAS SOPS 21447 HAS SOUS 12135 HAS SOUPS 12135 WITH SCORE 12156.447
AT ITER 8354 NEW BEST:: SOT 102394 SOS 21430 HAS SOPS 21430 HAS SOUS 12135 HAS SOUPS 12135 WITH SCORE 12156.43
AT ITER 8674 NEW BEST:: SOT 102394 SOS 21429 HAS SOPS 21429 HAS SOUS 12133 HAS SOUPS 12133 WITH SCORE 12154.429
AT ITER 8740 NEW BEST:: SOT 102376 SOS 21375 HAS SOPS 21375 HAS SOUS 12097 HAS SOUPS 12097 WITH SCORE 12118.375
AT ITER 8774 NEW BEST:: SOT 102366 SOS 21360 HAS SOPS 21360 HAS SOUS 12087 HAS SOUPS 12087 WITH SCORE 12108.36
AT ITER 8830 NEW BEST:: SOT 102365 SOS 21351 HAS SOPS 21351 HAS SOUS 12081 HAS SOUPS 12081 WITH SCORE 12102.351
AT ITER 8831 NEW BEST:: SOT 102371 SOS 21344 HAS SOPS 21344 HAS SOUS 12081 HAS SOUPS 12081 WITH SCORE 12102.344
AT ITER 8832 NEW BEST:: SOT 102368 SOS 21338 HAS SOPS 21338 HAS SOUS 12078 HAS SOUPS 12078 WITH SCORE 12099.338
AT ITER 8873 NEW BEST:: SOT 102366 SOS 21334 HAS SOPS 21334 HAS SOUS 12074 HAS SOUPS 12074 WITH SCORE 12095.334
AT ITER 8894 NEW BEST:: SOT 102352 SOS 21320 HAS SOPS 21320 HAS SOUS 12074 HAS SOUPS 12074 WITH SCORE 12095.32
AT ITER 8901 NEW BEST:: SOT 102303 SOS 21213 HAS SOPS 21213 HAS SOUS 12071 HAS SOUPS 12071 WITH SCORE 12092.213
AT ITER 8906 NEW BEST:: SOT 102304 SOS 21207 HAS SOPS 21207 HAS SOUS 12068 HAS SOUPS 12068 WITH SCORE 12089.207
AT ITER 8918 NEW BEST:: SOT 102308 SOS 21204 HAS SOPS 21204 HAS SOUS 12061 HAS SOUPS 12061 WITH SCORE 12082.204
AT ITER 8947 NEW BEST:: SOT 102325 SOS 21201 HAS SOPS 21201 HAS SOUS 12059 HAS SOUPS 12059 WITH SCORE 12080.201
AT ITER 8949 NEW BEST:: SOT 102314 SOS 21191 HAS SOPS 21191 HAS SOUS 12049 HAS SOUPS 12049 WITH SCORE 12070.191
AT ITER 8958 NEW BEST:: SOT 102314 SOS 21155 HAS SOPS 21155 HAS SOUS 12024 HAS SOUPS 12024 WITH SCORE 12045.155
AT ITER 8959 NEW BEST:: SOT 102340 SOS 21181 HAS SOPS 21181 HAS SOUS 12022 HAS SOUPS 12022 WITH SCORE 12043.181
AT ITER 8960 NEW BEST:: SOT 102340 SOS 21181 HAS SOPS 21181 HAS SOUS 12021 HAS SOUPS 12021 WITH SCORE 12042.181
AT ITER 8979 NEW BEST:: SOT 102309 SOS 21149 HAS SOPS 21149 HAS SOUS 12020 HAS SOUPS 12020 WITH SCORE 12041.149
AT ITER 9069 NEW BEST:: SOT 102305 SOS 21145 HAS SOPS 21145 HAS SOUS 12020 HAS SOUPS 12020 WITH SCORE 12041.145
AT ITER 9241 NEW BEST:: SOT 102304 SOS 21143 HAS SOPS 21143 HAS SOUS 12019 HAS SOUPS 12019 WITH SCORE 12040.143
AT ITER 9242 NEW BEST:: SOT 102313 SOS 21158 HAS SOPS 21158 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12034.158
AT ITER 9295 NEW BEST:: SOT 102313 SOS 21154 HAS SOPS 21154 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12034.154
AT ITER 9301 NEW BEST:: SOT 102313 SOS 21154 HAS SOPS 21154 HAS SOUS 12002 HAS SOUPS 12002 WITH SCORE 12023.154
AT ITER 9342 NEW BEST:: SOT 102310 SOS 21151 HAS SOPS 21151 HAS SOUS 12000 HAS SOUPS 12000 WITH SCORE 12021.151
AT ITER 9468 NEW BEST:: SOT 102296 SOS 21155 HAS SOPS 21155 HAS SOUS 11996 HAS SOUPS 11996 WITH SCORE 12017.155
AT ITER 9514 NEW BEST:: SOT 102289 SOS 21148 HAS SOPS 21148 HAS SOUS 11996 HAS SOUPS 11996 WITH SCORE 12017.148
AT ITER 9650 NEW BEST:: SOT 102298 SOS 21140 HAS SOPS 21140 HAS SOUS 11988 HAS SOUPS 11988 WITH SCORE 12009.14
AT ITER 9658 NEW BEST:: SOT 102292 SOS 21118 HAS SOPS 21118 HAS SOUS 11982 HAS SOUPS 11982 WITH SCORE 12003.118
AT ITER 9694 NEW BEST:: SOT 102264 SOS 21068 HAS SOPS 21068 HAS SOUS 11961 HAS SOUPS 11961 WITH SCORE 11982.068
AT ITER 9720 NEW BEST:: SOT 102277 SOS 21079 HAS SOPS 21079 HAS SOUS 11957 HAS SOUPS 11957 WITH SCORE 11978.079
AT ITER 9725 NEW BEST:: SOT 102263 SOS 21051 HAS SOPS 21051 HAS SOUS 11943 HAS SOUPS 11943 WITH SCORE 11964.051
AT ITER 9739 NEW BEST:: SOT 102256 SOS 21044 HAS SOPS 21044 HAS SOUS 11943 HAS SOUPS 11943 WITH SCORE 11964.044
AT ITER 9745 NEW BEST:: SOT 102251 SOS 21023 HAS SOPS 21023 HAS SOUS 11930 HAS SOUPS 11930 WITH SCORE 11951.023
AT ITER 9760 NEW BEST:: SOT 102251 SOS 21019 HAS SOPS 21019 HAS SOUS 11926 HAS SOUPS 11926 WITH SCORE 11947.019
AT ITER 9769 NEW BEST:: SOT 102251 SOS 20997 HAS SOPS 20997 HAS SOUS 11926 HAS SOUPS 11926 WITH SCORE 11946.997
AT ITER 9772 NEW BEST:: SOT 102251 SOS 20986 HAS SOPS 20986 HAS SOUS 11926 HAS SOUPS 11926 WITH SCORE 11946.986
AT ITER 9806 NEW BEST:: SOT 102249 SOS 20984 HAS SOPS 20984 HAS SOUS 11924 HAS SOUPS 11924 WITH SCORE 11944.984
AT ITER 9887 NEW BEST:: SOT 102230 SOS 20946 HAS SOPS 20946 HAS SOUS 11905 HAS SOUPS 11905 WITH SCORE 11925.946
AT ITER 9943 NEW BEST:: SOT 102223 SOS 20932 HAS SOPS 20932 HAS SOUS 11905 HAS SOUPS 11905 WITH SCORE 11925.932
AT ITER 9966 NEW BEST:: SOT 102231 SOS 20945 HAS SOPS 20945 HAS SOUS 11900 HAS SOUPS 11900 WITH SCORE 11920.945

BK_STOP 1590473142739

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 458 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SmartHome-PT-15"
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 SmartHome-PT-15, 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 r224-oct2-159033538300120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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