fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r099-tall-167814472500480
Last Updated
May 14, 2023

About the Execution of Smart for DES-PT-50a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
8418.004 3600000.00 3600041.00 110.30 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472500480.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DES-PT-50a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472500480
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 7.4K Feb 26 15:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 15:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 15:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 15:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 15:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 15:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 15:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 26 15:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 97K Mar 5 18:22 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 1678244668569

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=DES-PT-50a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 50a
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: 314 places, 271 transitions, 1306 arcs.
AT ITER 0 NEW BEST:: SOT 72836 SOS 68600 HAS SOPS 68600 HAS SOUS 35953 HAS SOUPS 35953 WITH SCORE 36021.6
AT ITER 19 NEW BEST:: SOT 72694 SOS 68576 HAS SOPS 68576 HAS SOUS 35929 HAS SOUPS 35929 WITH SCORE 35997.576
AT ITER 29 NEW BEST:: SOT 72694 SOS 68576 HAS SOPS 68576 HAS SOUS 35928 HAS SOUPS 35928 WITH SCORE 35996.576
AT ITER 32 NEW BEST:: SOT 72374 SOS 68339 HAS SOPS 68339 HAS SOUS 35690 HAS SOUPS 35690 WITH SCORE 35758.339
AT ITER 33 NEW BEST:: SOT 71705 SOS 67670 HAS SOPS 67670 HAS SOUS 35020 HAS SOUPS 35020 WITH SCORE 35087.67
AT ITER 48 NEW BEST:: SOT 71665 SOS 67633 HAS SOPS 67633 HAS SOUS 34982 HAS SOUPS 34982 WITH SCORE 35049.633
AT ITER 52 NEW BEST:: SOT 71661 SOS 67629 HAS SOPS 67629 HAS SOUS 34977 HAS SOUPS 34977 WITH SCORE 35044.629
AT ITER 53 NEW BEST:: SOT 71503 SOS 67349 HAS SOPS 67349 HAS SOUS 34653 HAS SOUPS 34653 WITH SCORE 34720.349
AT ITER 56 NEW BEST:: SOT 71503 SOS 67349 HAS SOPS 67349 HAS SOUS 34652 HAS SOUPS 34652 WITH SCORE 34719.349
AT ITER 58 NEW BEST:: SOT 71388 SOS 67302 HAS SOPS 67302 HAS SOUS 34493 HAS SOUPS 34493 WITH SCORE 34560.302
AT ITER 70 NEW BEST:: SOT 69134 SOS 65048 HAS SOPS 65048 HAS SOUS 32238 HAS SOUPS 32238 WITH SCORE 32303.048
AT ITER 73 NEW BEST:: SOT 69134 SOS 65048 HAS SOPS 65048 HAS SOUS 32237 HAS SOUPS 32237 WITH SCORE 32302.048
AT ITER 74 NEW BEST:: SOT 69134 SOS 65092 HAS SOPS 65092 HAS SOUS 32236 HAS SOUPS 32236 WITH SCORE 32301.092
AT ITER 90 NEW BEST:: SOT 60168 SOS 56157 HAS SOPS 56157 HAS SOUS 23299 HAS SOUPS 23299 WITH SCORE 23355.157
AT ITER 92 NEW BEST:: SOT 60176 SOS 56138 HAS SOPS 56138 HAS SOUS 23280 HAS SOUPS 23280 WITH SCORE 23336.138
AT ITER 109 NEW BEST:: SOT 60056 SOS 56018 HAS SOPS 56018 HAS SOUS 23159 HAS SOUPS 23159 WITH SCORE 23215.018
AT ITER 111 NEW BEST:: SOT 56301 SOS 52263 HAS SOPS 52263 HAS SOUS 19403 HAS SOUPS 19403 WITH SCORE 19455.263
AT ITER 118 NEW BEST:: SOT 56370 SOS 52119 HAS SOPS 52119 HAS SOUS 19287 HAS SOUPS 19287 WITH SCORE 19339.119
AT ITER 124 NEW BEST:: SOT 56370 SOS 52121 HAS SOPS 52121 HAS SOUS 19286 HAS SOUPS 19286 WITH SCORE 19338.121
AT ITER 149 NEW BEST:: SOT 56355 SOS 52061 HAS SOPS 52061 HAS SOUS 19236 HAS SOUPS 19236 WITH SCORE 19288.061
AT ITER 151 NEW BEST:: SOT 56285 SOS 52059 HAS SOPS 52059 HAS SOUS 19233 HAS SOUPS 19233 WITH SCORE 19285.059
AT ITER 169 NEW BEST:: SOT 56285 SOS 52063 HAS SOPS 52063 HAS SOUS 19229 HAS SOUPS 19229 WITH SCORE 19281.063
AT ITER 172 NEW BEST:: SOT 56233 SOS 52011 HAS SOPS 52011 HAS SOUS 19176 HAS SOUPS 19176 WITH SCORE 19228.011
AT ITER 187 NEW BEST:: SOT 55846 SOS 51624 HAS SOPS 51624 HAS SOUS 18788 HAS SOUPS 18788 WITH SCORE 18839.624
AT ITER 197 NEW BEST:: SOT 55843 SOS 51621 HAS SOPS 51621 HAS SOUS 18749 HAS SOUPS 18749 WITH SCORE 18800.621
AT ITER 204 NEW BEST:: SOT 55705 SOS 51495 HAS SOPS 51495 HAS SOUS 18623 HAS SOUPS 18623 WITH SCORE 18674.495
AT ITER 234 NEW BEST:: SOT 55479 SOS 51269 HAS SOPS 51269 HAS SOUS 18339 HAS SOUPS 18339 WITH SCORE 18390.269
AT ITER 251 NEW BEST:: SOT 55443 SOS 51223 HAS SOPS 51223 HAS SOUS 18293 HAS SOUPS 18293 WITH SCORE 18344.223
AT ITER 258 NEW BEST:: SOT 55443 SOS 51223 HAS SOPS 51223 HAS SOUS 18292 HAS SOUPS 18292 WITH SCORE 18343.223
AT ITER 261 NEW BEST:: SOT 52450 SOS 48230 HAS SOPS 48230 HAS SOUS 15298 HAS SOUPS 15298 WITH SCORE 15346.23
AT ITER 292 NEW BEST:: SOT 52259 SOS 48036 HAS SOPS 48036 HAS SOUS 15146 HAS SOUPS 15146 WITH SCORE 15194.036
AT ITER 302 NEW BEST:: SOT 52199 SOS 47976 HAS SOPS 47976 HAS SOUS 15086 HAS SOUPS 15086 WITH SCORE 15133.976
AT ITER 305 NEW BEST:: SOT 52117 SOS 47894 HAS SOPS 47894 HAS SOUS 14981 HAS SOUPS 14981 WITH SCORE 15028.894
AT ITER 342 NEW BEST:: SOT 52029 SOS 47805 HAS SOPS 47805 HAS SOUS 14980 HAS SOUPS 14980 WITH SCORE 15027.805
AT ITER 353 NEW BEST:: SOT 51787 SOS 47563 HAS SOPS 47563 HAS SOUS 14738 HAS SOUPS 14738 WITH SCORE 14785.563
AT ITER 356 NEW BEST:: SOT 51775 SOS 47551 HAS SOPS 47551 HAS SOUS 14726 HAS SOUPS 14726 WITH SCORE 14773.551
AT ITER 368 NEW BEST:: SOT 51774 SOS 47550 HAS SOPS 47550 HAS SOUS 14724 HAS SOUPS 14724 WITH SCORE 14771.55
AT ITER 376 NEW BEST:: SOT 51793 SOS 47569 HAS SOPS 47569 HAS SOUS 14720 HAS SOUPS 14720 WITH SCORE 14767.569
AT ITER 382 NEW BEST:: SOT 51792 SOS 47560 HAS SOPS 47560 HAS SOUS 14711 HAS SOUPS 14711 WITH SCORE 14758.56
AT ITER 387 NEW BEST:: SOT 51790 SOS 47558 HAS SOPS 47558 HAS SOUS 14707 HAS SOUPS 14707 WITH SCORE 14754.558
AT ITER 423 NEW BEST:: SOT 51895 SOS 47664 HAS SOPS 47664 HAS SOUS 14703 HAS SOUPS 14703 WITH SCORE 14750.664
AT ITER 456 NEW BEST:: SOT 51896 SOS 47665 HAS SOPS 47665 HAS SOUS 14669 HAS SOUPS 14669 WITH SCORE 14716.665
AT ITER 459 NEW BEST:: SOT 51314 SOS 47083 HAS SOPS 47083 HAS SOUS 14465 HAS SOUPS 14465 WITH SCORE 14512.083
AT ITER 477 NEW BEST:: SOT 51314 SOS 47184 HAS SOPS 47184 HAS SOUS 14454 HAS SOUPS 14454 WITH SCORE 14501.184
AT ITER 491 NEW BEST:: SOT 51147 SOS 47017 HAS SOPS 47017 HAS SOUS 14287 HAS SOUPS 14287 WITH SCORE 14334.017
AT ITER 494 NEW BEST:: SOT 51136 SOS 47006 HAS SOPS 47006 HAS SOUS 14265 HAS SOUPS 14265 WITH SCORE 14312.006
AT ITER 506 NEW BEST:: SOT 50244 SOS 46114 HAS SOPS 46114 HAS SOUS 14146 HAS SOUPS 14146 WITH SCORE 14192.114
AT ITER 515 NEW BEST:: SOT 50243 SOS 46113 HAS SOPS 46113 HAS SOUS 14144 HAS SOUPS 14144 WITH SCORE 14190.113
AT ITER 522 NEW BEST:: SOT 50226 SOS 46086 HAS SOPS 46086 HAS SOUS 14134 HAS SOUPS 14134 WITH SCORE 14180.086
AT ITER 523 NEW BEST:: SOT 49609 SOS 45511 HAS SOPS 45511 HAS SOUS 13516 HAS SOUPS 13516 WITH SCORE 13561.511
AT ITER 534 NEW BEST:: SOT 49626 SOS 45414 HAS SOPS 45414 HAS SOUS 13419 HAS SOUPS 13419 WITH SCORE 13464.414
AT ITER 562 NEW BEST:: SOT 49625 SOS 45413 HAS SOPS 45413 HAS SOUS 13417 HAS SOUPS 13417 WITH SCORE 13462.413
AT ITER 571 NEW BEST:: SOT 49625 SOS 45413 HAS SOPS 45413 HAS SOUS 13317 HAS SOUPS 13317 WITH SCORE 13362.413
AT ITER 576 NEW BEST:: SOT 49607 SOS 45388 HAS SOPS 45388 HAS SOUS 13292 HAS SOUPS 13292 WITH SCORE 13337.388
AT ITER 611 NEW BEST:: SOT 49576 SOS 45357 HAS SOPS 45357 HAS SOUS 13230 HAS SOUPS 13230 WITH SCORE 13275.357
AT ITER 636 NEW BEST:: SOT 49575 SOS 45356 HAS SOPS 45356 HAS SOUS 13228 HAS SOUPS 13228 WITH SCORE 13273.356
AT ITER 647 NEW BEST:: SOT 49574 SOS 45355 HAS SOPS 45355 HAS SOUS 13226 HAS SOUPS 13226 WITH SCORE 13271.355
AT ITER 657 NEW BEST:: SOT 49488 SOS 45269 HAS SOPS 45269 HAS SOUS 13205 HAS SOUPS 13205 WITH SCORE 13250.269
AT ITER 663 NEW BEST:: SOT 49154 SOS 44934 HAS SOPS 44934 HAS SOUS 13176 HAS SOUPS 13176 WITH SCORE 13220.934
AT ITER 683 NEW BEST:: SOT 49136 SOS 44916 HAS SOPS 44916 HAS SOUS 13140 HAS SOUPS 13140 WITH SCORE 13184.916
AT ITER 714 NEW BEST:: SOT 49130 SOS 44910 HAS SOPS 44910 HAS SOUS 13134 HAS SOUPS 13134 WITH SCORE 13178.91
AT ITER 772 NEW BEST:: SOT 49121 SOS 44478 HAS SOPS 44478 HAS SOUS 13125 HAS SOUPS 13125 WITH SCORE 13169.478
AT ITER 773 NEW BEST:: SOT 49118 SOS 44475 HAS SOPS 44475 HAS SOUS 13119 HAS SOUPS 13119 WITH SCORE 13163.475
AT ITER 786 NEW BEST:: SOT 49118 SOS 44474 HAS SOPS 44474 HAS SOUS 13118 HAS SOUPS 13118 WITH SCORE 13162.474
AT ITER 806 NEW BEST:: SOT 49118 SOS 44410 HAS SOPS 44410 HAS SOUS 13063 HAS SOUPS 13063 WITH SCORE 13107.41
AT ITER 808 NEW BEST:: SOT 49063 SOS 44355 HAS SOPS 44355 HAS SOUS 13062 HAS SOUPS 13062 WITH SCORE 13106.355
AT ITER 818 NEW BEST:: SOT 49060 SOS 44352 HAS SOPS 44352 HAS SOUS 13026 HAS SOUPS 13026 WITH SCORE 13070.352
AT ITER 869 NEW BEST:: SOT 49085 SOS 44377 HAS SOPS 44377 HAS SOUS 13024 HAS SOUPS 13024 WITH SCORE 13068.377
AT ITER 876 NEW BEST:: SOT 49035 SOS 44211 HAS SOPS 44211 HAS SOUS 12943 HAS SOUPS 12943 WITH SCORE 12987.211
AT ITER 877 NEW BEST:: SOT 49034 SOS 44210 HAS SOPS 44210 HAS SOUS 12941 HAS SOUPS 12941 WITH SCORE 12985.21
AT ITER 886 NEW BEST:: SOT 48832 SOS 40915 HAS SOPS 40915 HAS SOUS 12829 HAS SOUPS 12829 WITH SCORE 12869.915
AT ITER 916 NEW BEST:: SOT 48832 SOS 38237 HAS SOPS 38237 HAS SOUS 12790 HAS SOUPS 12790 WITH SCORE 12828.237
AT ITER 919 NEW BEST:: SOT 48807 SOS 38212 HAS SOPS 38212 HAS SOUS 12765 HAS SOUPS 12765 WITH SCORE 12803.212
AT ITER 925 NEW BEST:: SOT 48807 SOS 38203 HAS SOPS 38203 HAS SOUS 12756 HAS SOUPS 12756 WITH SCORE 12794.203
AT ITER 937 NEW BEST:: SOT 48791 SOS 38187 HAS SOPS 38187 HAS SOUS 12732 HAS SOUPS 12732 WITH SCORE 12770.187
AT ITER 938 NEW BEST:: SOT 48778 SOS 38174 HAS SOPS 38174 HAS SOUS 12724 HAS SOUPS 12724 WITH SCORE 12762.174
AT ITER 954 NEW BEST:: SOT 48777 SOS 38173 HAS SOPS 38173 HAS SOUS 12722 HAS SOUPS 12722 WITH SCORE 12760.173
AT ITER 968 NEW BEST:: SOT 48723 SOS 38119 HAS SOPS 38119 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12745.119
AT ITER 974 NEW BEST:: SOT 48519 SOS 37915 HAS SOPS 37915 HAS SOUS 12573 HAS SOUPS 12573 WITH SCORE 12610.915
AT ITER 1045 NEW BEST:: SOT 48518 SOS 37914 HAS SOPS 37914 HAS SOUS 12571 HAS SOUPS 12571 WITH SCORE 12608.914
AT ITER 1098 NEW BEST:: SOT 48463 SOS 37804 HAS SOPS 37804 HAS SOUS 12461 HAS SOUPS 12461 WITH SCORE 12498.804
AT ITER 1104 NEW BEST:: SOT 48460 SOS 37800 HAS SOPS 37800 HAS SOUS 12460 HAS SOUPS 12460 WITH SCORE 12497.8
AT ITER 1108 NEW BEST:: SOT 48358 SOS 37698 HAS SOPS 37698 HAS SOUS 12416 HAS SOUPS 12416 WITH SCORE 12453.698
AT ITER 1122 NEW BEST:: SOT 48357 SOS 37697 HAS SOPS 37697 HAS SOUS 12414 HAS SOUPS 12414 WITH SCORE 12451.697
AT ITER 1131 NEW BEST:: SOT 48355 SOS 37695 HAS SOPS 37695 HAS SOUS 12410 HAS SOUPS 12410 WITH SCORE 12447.695
AT ITER 1141 NEW BEST:: SOT 48199 SOS 37409 HAS SOPS 37409 HAS SOUS 12228 HAS SOUPS 12228 WITH SCORE 12265.409
AT ITER 1148 NEW BEST:: SOT 48148 SOS 37686 HAS SOPS 37686 HAS SOUS 12184 HAS SOUPS 12184 WITH SCORE 12221.686
AT ITER 1179 NEW BEST:: SOT 48147 SOS 37685 HAS SOPS 37685 HAS SOUS 12182 HAS SOUPS 12182 WITH SCORE 12219.685
AT ITER 1180 NEW BEST:: SOT 48075 SOS 37591 HAS SOPS 37591 HAS SOUS 12126 HAS SOUPS 12126 WITH SCORE 12163.591
AT ITER 1201 NEW BEST:: SOT 48074 SOS 37590 HAS SOPS 37590 HAS SOUS 12124 HAS SOUPS 12124 WITH SCORE 12161.59
AT ITER 1211 NEW BEST:: SOT 48098 SOS 37614 HAS SOPS 37614 HAS SOUS 12098 HAS SOUPS 12098 WITH SCORE 12135.614
AT ITER 1235 NEW BEST:: SOT 48097 SOS 37613 HAS SOPS 37613 HAS SOUS 12096 HAS SOUPS 12096 WITH SCORE 12133.613
AT ITER 1250 NEW BEST:: SOT 48048 SOS 37564 HAS SOPS 37564 HAS SOUS 12001 HAS SOUPS 12001 WITH SCORE 12038.564
AT ITER 1253 NEW BEST:: SOT 48101 SOS 37552 HAS SOPS 37552 HAS SOUS 11972 HAS SOUPS 11972 WITH SCORE 12009.552
AT ITER 1299 NEW BEST:: SOT 48057 SOS 37508 HAS SOPS 37508 HAS SOUS 11928 HAS SOUPS 11928 WITH SCORE 11965.508
AT ITER 1315 NEW BEST:: SOT 48056 SOS 37507 HAS SOPS 37507 HAS SOUS 11926 HAS SOUPS 11926 WITH SCORE 11963.507
AT ITER 1316 NEW BEST:: SOT 48154 SOS 37601 HAS SOPS 37601 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11955.601
AT ITER 1336 NEW BEST:: SOT 48153 SOS 37600 HAS SOPS 37600 HAS SOUS 11916 HAS SOUPS 11916 WITH SCORE 11953.6
AT ITER 1379 NEW BEST:: SOT 48151 SOS 37586 HAS SOPS 37586 HAS SOUS 11908 HAS SOUPS 11908 WITH SCORE 11945.586
AT ITER 1403 NEW BEST:: SOT 48050 SOS 37485 HAS SOPS 37485 HAS SOUS 11807 HAS SOUPS 11807 WITH SCORE 11844.485
AT ITER 1427 NEW BEST:: SOT 47965 SOS 35300 HAS SOPS 35300 HAS SOUS 11753 HAS SOUPS 11753 WITH SCORE 11788.3
AT ITER 1433 NEW BEST:: SOT 47960 SOS 35295 HAS SOPS 35295 HAS SOUS 11748 HAS SOUPS 11748 WITH SCORE 11783.295
AT ITER 1439 NEW BEST:: SOT 47870 SOS 34717 HAS SOPS 34717 HAS SOUS 11385 HAS SOUPS 11385 WITH SCORE 11419.717
AT ITER 1459 NEW BEST:: SOT 47869 SOS 34716 HAS SOPS 34716 HAS SOUS 11384 HAS SOUPS 11384 WITH SCORE 11418.716
AT ITER 1461 NEW BEST:: SOT 47719 SOS 34711 HAS SOPS 34711 HAS SOUS 11379 HAS SOUPS 11379 WITH SCORE 11413.711
AT ITER 1468 NEW BEST:: SOT 47711 SOS 34703 HAS SOPS 34703 HAS SOUS 11363 HAS SOUPS 11363 WITH SCORE 11397.703
AT ITER 1469 NEW BEST:: SOT 47703 SOS 34695 HAS SOPS 34695 HAS SOUS 11355 HAS SOUPS 11355 WITH SCORE 11389.695
AT ITER 1491 NEW BEST:: SOT 47759 SOS 34550 HAS SOPS 34550 HAS SOUS 11254 HAS SOUPS 11254 WITH SCORE 11288.55
AT ITER 1510 NEW BEST:: SOT 47738 SOS 34529 HAS SOPS 34529 HAS SOUS 11214 HAS SOUPS 11214 WITH SCORE 11248.529
AT ITER 1565 NEW BEST:: SOT 47605 SOS 34383 HAS SOPS 34383 HAS SOUS 11184 HAS SOUPS 11184 WITH SCORE 11218.383
AT ITER 1571 NEW BEST:: SOT 47614 SOS 34356 HAS SOPS 34356 HAS SOUS 11175 HAS SOUPS 11175 WITH SCORE 11209.356
AT ITER 1602 NEW BEST:: SOT 47607 SOS 34349 HAS SOPS 34349 HAS SOUS 11168 HAS SOUPS 11168 WITH SCORE 11202.349
AT ITER 1630 NEW BEST:: SOT 47596 SOS 34338 HAS SOPS 34338 HAS SOUS 11146 HAS SOUPS 11146 WITH SCORE 11180.338
AT ITER 1634 NEW BEST:: SOT 47589 SOS 34331 HAS SOPS 34331 HAS SOUS 11139 HAS SOUPS 11139 WITH SCORE 11173.331
AT ITER 1640 NEW BEST:: SOT 47614 SOS 34356 HAS SOPS 34356 HAS SOUS 11130 HAS SOUPS 11130 WITH SCORE 11164.356
AT ITER 1641 NEW BEST:: SOT 47584 SOS 34280 HAS SOPS 34280 HAS SOUS 11114 HAS SOUPS 11114 WITH SCORE 11148.28
AT ITER 1650 NEW BEST:: SOT 47581 SOS 34277 HAS SOPS 34277 HAS SOUS 11111 HAS SOUPS 11111 WITH SCORE 11145.277
AT ITER 1669 NEW BEST:: SOT 47564 SOS 34097 HAS SOPS 34097 HAS SOUS 11073 HAS SOUPS 11073 WITH SCORE 11107.097
AT ITER 1673 NEW BEST:: SOT 47578 SOS 34111 HAS SOPS 34111 HAS SOUS 11070 HAS SOUPS 11070 WITH SCORE 11104.111
AT ITER 1675 NEW BEST:: SOT 47577 SOS 34110 HAS SOPS 34110 HAS SOUS 11068 HAS SOUPS 11068 WITH SCORE 11102.11
AT ITER 1684 NEW BEST:: SOT 47615 SOS 34148 HAS SOPS 34148 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11100.148
AT ITER 1692 NEW BEST:: SOT 47634 SOS 34167 HAS SOPS 34167 HAS SOUS 11046 HAS SOUPS 11046 WITH SCORE 11080.167
AT ITER 1700 NEW BEST:: SOT 47616 SOS 34102 HAS SOPS 34102 HAS SOUS 11022 HAS SOUPS 11022 WITH SCORE 11056.102
AT ITER 1709 NEW BEST:: SOT 47642 SOS 34128 HAS SOPS 34128 HAS SOUS 11008 HAS SOUPS 11008 WITH SCORE 11042.128
AT ITER 1736 NEW BEST:: SOT 47637 SOS 34123 HAS SOPS 34123 HAS SOUS 11008 HAS SOUPS 11008 WITH SCORE 11042.123
AT ITER 1739 NEW BEST:: SOT 47637 SOS 34119 HAS SOPS 34119 HAS SOUS 11004 HAS SOUPS 11004 WITH SCORE 11038.119
AT ITER 1764 NEW BEST:: SOT 47564 SOS 34068 HAS SOPS 34068 HAS SOUS 10971 HAS SOUPS 10971 WITH SCORE 11005.068
AT ITER 1771 NEW BEST:: SOT 47519 SOS 34010 HAS SOPS 34010 HAS SOUS 10943 HAS SOUPS 10943 WITH SCORE 10977.01
AT ITER 1786 NEW BEST:: SOT 47519 SOS 33998 HAS SOPS 33998 HAS SOUS 10931 HAS SOUPS 10931 WITH SCORE 10964.998
AT ITER 1831 NEW BEST:: SOT 47518 SOS 33997 HAS SOPS 33997 HAS SOUS 10929 HAS SOUPS 10929 WITH SCORE 10962.997
AT ITER 1834 NEW BEST:: SOT 47517 SOS 33996 HAS SOPS 33996 HAS SOUS 10927 HAS SOUPS 10927 WITH SCORE 10960.996
AT ITER 1848 NEW BEST:: SOT 47513 SOS 33992 HAS SOPS 33992 HAS SOUS 10919 HAS SOUPS 10919 WITH SCORE 10952.992
AT ITER 1863 NEW BEST:: SOT 47483 SOS 33962 HAS SOPS 33962 HAS SOUS 10914 HAS SOUPS 10914 WITH SCORE 10947.962
AT ITER 1874 NEW BEST:: SOT 47403 SOS 33882 HAS SOPS 33882 HAS SOUS 10878 HAS SOUPS 10878 WITH SCORE 10911.882
AT ITER 1903 NEW BEST:: SOT 47337 SOS 33816 HAS SOPS 33816 HAS SOUS 10760 HAS SOUPS 10760 WITH SCORE 10793.816
AT ITER 1923 NEW BEST:: SOT 47321 SOS 33800 HAS SOPS 33800 HAS SOUS 10744 HAS SOUPS 10744 WITH SCORE 10777.8
AT ITER 1936 NEW BEST:: SOT 47319 SOS 33798 HAS SOPS 33798 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10773.798
AT ITER 1941 NEW BEST:: SOT 47316 SOS 33796 HAS SOPS 33796 HAS SOUS 10738 HAS SOUPS 10738 WITH SCORE 10771.796
AT ITER 1964 NEW BEST:: SOT 47309 SOS 33789 HAS SOPS 33789 HAS SOUS 10718 HAS SOUPS 10718 WITH SCORE 10751.789
AT ITER 2003 NEW BEST:: SOT 47293 SOS 33773 HAS SOPS 33773 HAS SOUS 10718 HAS SOUPS 10718 WITH SCORE 10751.773
AT ITER 2014 NEW BEST:: SOT 47293 SOS 33756 HAS SOPS 33756 HAS SOUS 10701 HAS SOUPS 10701 WITH SCORE 10734.756
AT ITER 2063 NEW BEST:: SOT 47098 SOS 33492 HAS SOPS 33492 HAS SOUS 10626 HAS SOUPS 10626 WITH SCORE 10659.492
AT ITER 2067 NEW BEST:: SOT 47067 SOS 34184 HAS SOPS 34184 HAS SOUS 10583 HAS SOUPS 10583 WITH SCORE 10617.184
AT ITER 2086 NEW BEST:: SOT 47066 SOS 34183 HAS SOPS 34183 HAS SOUS 10581 HAS SOUPS 10581 WITH SCORE 10615.183
AT ITER 2131 NEW BEST:: SOT 46978 SOS 33976 HAS SOPS 33976 HAS SOUS 10548 HAS SOUPS 10548 WITH SCORE 10581.976
AT ITER 2141 NEW BEST:: SOT 46977 SOS 33975 HAS SOPS 33975 HAS SOUS 10545 HAS SOUPS 10545 WITH SCORE 10578.975
AT ITER 2156 NEW BEST:: SOT 46975 SOS 33973 HAS SOPS 33973 HAS SOUS 10541 HAS SOUPS 10541 WITH SCORE 10574.973
AT ITER 2161 NEW BEST:: SOT 46980 SOS 33964 HAS SOPS 33964 HAS SOUS 10532 HAS SOUPS 10532 WITH SCORE 10565.964
AT ITER 2163 NEW BEST:: SOT 47003 SOS 33987 HAS SOPS 33987 HAS SOUS 10523 HAS SOUPS 10523 WITH SCORE 10556.987
AT ITER 2185 NEW BEST:: SOT 46996 SOS 33980 HAS SOPS 33980 HAS SOUS 10457 HAS SOUPS 10457 WITH SCORE 10490.98
AT ITER 2199 NEW BEST:: SOT 46891 SOS 33817 HAS SOPS 33817 HAS SOUS 10346 HAS SOUPS 10346 WITH SCORE 10379.817
AT ITER 2207 NEW BEST:: SOT 46877 SOS 33803 HAS SOPS 33803 HAS SOUS 10318 HAS SOUPS 10318 WITH SCORE 10351.803
AT ITER 2210 NEW BEST:: SOT 46871 SOS 33797 HAS SOPS 33797 HAS SOUS 10312 HAS SOUPS 10312 WITH SCORE 10345.797
AT ITER 2241 NEW BEST:: SOT 46858 SOS 33784 HAS SOPS 33784 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10319.784
AT ITER 2262 NEW BEST:: SOT 46858 SOS 33781 HAS SOPS 33781 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10317.781
AT ITER 2263 NEW BEST:: SOT 46871 SOS 33794 HAS SOPS 33794 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10278.794
AT ITER 2266 NEW BEST:: SOT 46870 SOS 33768 HAS SOPS 33768 HAS SOUS 10219 HAS SOUPS 10219 WITH SCORE 10252.768
AT ITER 2270 NEW BEST:: SOT 46840 SOS 33738 HAS SOPS 33738 HAS SOUS 10189 HAS SOUPS 10189 WITH SCORE 10222.738
AT ITER 2307 NEW BEST:: SOT 46745 SOS 33542 HAS SOPS 33542 HAS SOUS 9993 HAS SOUPS 9993 WITH SCORE 10026.542
AT ITER 2309 NEW BEST:: SOT 46739 SOS 33528 HAS SOPS 33528 HAS SOUS 9979 HAS SOUPS 9979 WITH SCORE 10012.528
AT ITER 2329 NEW BEST:: SOT 46727 SOS 33516 HAS SOPS 33516 HAS SOUS 9955 HAS SOUPS 9955 WITH SCORE 9988.516
AT ITER 2333 NEW BEST:: SOT 46727 SOS 33520 HAS SOPS 33520 HAS SOUS 9948 HAS SOUPS 9948 WITH SCORE 9981.52
AT ITER 2339 NEW BEST:: SOT 46577 SOS 33295 HAS SOPS 33295 HAS SOUS 9723 HAS SOUPS 9723 WITH SCORE 9756.295
AT ITER 2346 NEW BEST:: SOT 46555 SOS 33251 HAS SOPS 33251 HAS SOUS 9701 HAS SOUPS 9701 WITH SCORE 9734.251
AT ITER 2363 NEW BEST:: SOT 46554 SOS 33162 HAS SOPS 33162 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9732.162
AT ITER 2388 NEW BEST:: SOT 46554 SOS 32970 HAS SOPS 32970 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9731.97
AT ITER 2446 NEW BEST:: SOT 46546 SOS 32953 HAS SOPS 32953 HAS SOUS 9682 HAS SOUPS 9682 WITH SCORE 9714.953
AT ITER 2457 NEW BEST:: SOT 46545 SOS 32952 HAS SOPS 32952 HAS SOUS 9680 HAS SOUPS 9680 WITH SCORE 9712.952
AT ITER 2472 NEW BEST:: SOT 46529 SOS 32936 HAS SOPS 32936 HAS SOUS 9658 HAS SOUPS 9658 WITH SCORE 9690.936
AT ITER 2524 NEW BEST:: SOT 46510 SOS 32917 HAS SOPS 32917 HAS SOUS 9639 HAS SOUPS 9639 WITH SCORE 9671.917
AT ITER 2529 NEW BEST:: SOT 46510 SOS 32917 HAS SOPS 32917 HAS SOUS 9637 HAS SOUPS 9637 WITH SCORE 9669.917
AT ITER 2535 NEW BEST:: SOT 46493 SOS 32900 HAS SOPS 32900 HAS SOUS 9607 HAS SOUPS 9607 WITH SCORE 9639.9
AT ITER 2548 NEW BEST:: SOT 46491 SOS 32898 HAS SOPS 32898 HAS SOUS 9603 HAS SOUPS 9603 WITH SCORE 9635.898
AT ITER 2550 NEW BEST:: SOT 46465 SOS 32872 HAS SOPS 32872 HAS SOUS 9524 HAS SOUPS 9524 WITH SCORE 9556.872
AT ITER 2577 NEW BEST:: SOT 46459 SOS 32866 HAS SOPS 32866 HAS SOUS 9512 HAS SOUPS 9512 WITH SCORE 9544.866
AT ITER 2593 NEW BEST:: SOT 46418 SOS 32825 HAS SOPS 32825 HAS SOUS 9389 HAS SOUPS 9389 WITH SCORE 9421.825
AT ITER 2601 NEW BEST:: SOT 46418 SOS 32838 HAS SOPS 32838 HAS SOUS 9352 HAS SOUPS 9352 WITH SCORE 9384.838
AT ITER 2619 NEW BEST:: SOT 46407 SOS 32827 HAS SOPS 32827 HAS SOUS 9330 HAS SOUPS 9330 WITH SCORE 9362.827
AT ITER 2623 NEW BEST:: SOT 46367 SOS 32787 HAS SOPS 32787 HAS SOUS 9290 HAS SOUPS 9290 WITH SCORE 9322.787
AT ITER 2627 NEW BEST:: SOT 46366 SOS 32786 HAS SOPS 32786 HAS SOUS 9288 HAS SOUPS 9288 WITH SCORE 9320.786
AT ITER 2632 NEW BEST:: SOT 46318 SOS 32683 HAS SOPS 32683 HAS SOUS 9247 HAS SOUPS 9247 WITH SCORE 9279.683
AT ITER 2665 NEW BEST:: SOT 46309 SOS 32674 HAS SOPS 32674 HAS SOUS 9218 HAS SOUPS 9218 WITH SCORE 9250.674
AT ITER 2692 NEW BEST:: SOT 46307 SOS 32672 HAS SOPS 32672 HAS SOUS 9216 HAS SOUPS 9216 WITH SCORE 9248.672
AT ITER 2712 NEW BEST:: SOT 46313 SOS 32678 HAS SOPS 32678 HAS SOUS 9210 HAS SOUPS 9210 WITH SCORE 9242.678
AT ITER 2744 NEW BEST:: SOT 46313 SOS 32676 HAS SOPS 32676 HAS SOUS 9208 HAS SOUPS 9208 WITH SCORE 9240.676
AT ITER 2762 NEW BEST:: SOT 46304 SOS 32658 HAS SOPS 32658 HAS SOUS 9199 HAS SOUPS 9199 WITH SCORE 9231.658
AT ITER 2763 NEW BEST:: SOT 46303 SOS 32657 HAS SOPS 32657 HAS SOUS 9198 HAS SOUPS 9198 WITH SCORE 9230.657
AT ITER 2769 NEW BEST:: SOT 46302 SOS 32656 HAS SOPS 32656 HAS SOUS 9196 HAS SOUPS 9196 WITH SCORE 9228.656
AT ITER 2778 NEW BEST:: SOT 46298 SOS 32604 HAS SOPS 32604 HAS SOUS 9166 HAS SOUPS 9166 WITH SCORE 9198.604
AT ITER 2784 NEW BEST:: SOT 46281 SOS 32571 HAS SOPS 32571 HAS SOUS 9133 HAS SOUPS 9133 WITH SCORE 9165.571
AT ITER 2795 NEW BEST:: SOT 46281 SOS 32544 HAS SOPS 32544 HAS SOUS 9106 HAS SOUPS 9106 WITH SCORE 9138.544
AT ITER 2806 NEW BEST:: SOT 46096 SOS 32364 HAS SOPS 32364 HAS SOUS 9077 HAS SOUPS 9077 WITH SCORE 9109.364
AT ITER 2813 NEW BEST:: SOT 46096 SOS 32294 HAS SOPS 32294 HAS SOUS 9007 HAS SOUPS 9007 WITH SCORE 9039.294
AT ITER 2821 NEW BEST:: SOT 46089 SOS 32287 HAS SOPS 32287 HAS SOUS 8993 HAS SOUPS 8993 WITH SCORE 9025.287
AT ITER 2843 NEW BEST:: SOT 46089 SOS 32670 HAS SOPS 32670 HAS SOUS 8987 HAS SOUPS 8987 WITH SCORE 9019.67
AT ITER 2911 NEW BEST:: SOT 46086 SOS 32667 HAS SOPS 32667 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 9013.667
AT ITER 2917 NEW BEST:: SOT 46041 SOS 32622 HAS SOPS 32622 HAS SOUS 8979 HAS SOUPS 8979 WITH SCORE 9011.622
AT ITER 2927 NEW BEST:: SOT 46037 SOS 32623 HAS SOPS 32623 HAS SOUS 8978 HAS SOUPS 8978 WITH SCORE 9010.623
AT ITER 2934 NEW BEST:: SOT 46017 SOS 32603 HAS SOPS 32603 HAS SOUS 8969 HAS SOUPS 8969 WITH SCORE 9001.603
AT ITER 2977 NEW BEST:: SOT 46017 SOS 32603 HAS SOPS 32603 HAS SOUS 8964 HAS SOUPS 8964 WITH SCORE 8996.603
AT ITER 2982 NEW BEST:: SOT 46013 SOS 32599 HAS SOPS 32599 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8988.599
AT ITER 3007 NEW BEST:: SOT 45968 SOS 32490 HAS SOPS 32490 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8962.49
AT ITER 3008 NEW BEST:: SOT 45959 SOS 32480 HAS SOPS 32480 HAS SOUS 8924 HAS SOUPS 8924 WITH SCORE 8956.48
AT ITER 3069 NEW BEST:: SOT 45919 SOS 32438 HAS SOPS 32438 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8914.438
AT ITER 3070 NEW BEST:: SOT 45918 SOS 32437 HAS SOPS 32437 HAS SOUS 8877 HAS SOUPS 8877 WITH SCORE 8909.437
AT ITER 3127 NEW BEST:: SOT 45916 SOS 32435 HAS SOPS 32435 HAS SOUS 8875 HAS SOUPS 8875 WITH SCORE 8907.435
AT ITER 3168 NEW BEST:: SOT 45914 SOS 32433 HAS SOPS 32433 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 8903.433
AT ITER 3180 NEW BEST:: SOT 45913 SOS 32432 HAS SOPS 32432 HAS SOUS 8869 HAS SOUPS 8869 WITH SCORE 8901.432
AT ITER 3220 NEW BEST:: SOT 45913 SOS 32711 HAS SOPS 32711 HAS SOUS 8854 HAS SOUPS 8854 WITH SCORE 8886.711
AT ITER 3271 NEW BEST:: SOT 45909 SOS 32707 HAS SOPS 32707 HAS SOUS 8846 HAS SOUPS 8846 WITH SCORE 8878.707
AT ITER 3303 NEW BEST:: SOT 45907 SOS 32703 HAS SOPS 32703 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8876.703
AT ITER 3317 NEW BEST:: SOT 45899 SOS 32695 HAS SOPS 32695 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8860.695
AT ITER 3338 NEW BEST:: SOT 45899 SOS 32652 HAS SOPS 32652 HAS SOUS 8785 HAS SOUPS 8785 WITH SCORE 8817.652
AT ITER 3346 NEW BEST:: SOT 45938 SOS 32647 HAS SOPS 32647 HAS SOUS 8768 HAS SOUPS 8768 WITH SCORE 8800.647
AT ITER 3364 NEW BEST:: SOT 45938 SOS 32645 HAS SOPS 32645 HAS SOUS 8766 HAS SOUPS 8766 WITH SCORE 8798.645
AT ITER 3415 NEW BEST:: SOT 45987 SOS 32694 HAS SOPS 32694 HAS SOUS 8761 HAS SOUPS 8761 WITH SCORE 8793.694
AT ITER 3419 NEW BEST:: SOT 45974 SOS 32681 HAS SOPS 32681 HAS SOUS 8735 HAS SOUPS 8735 WITH SCORE 8767.681
AT ITER 3427 NEW BEST:: SOT 45973 SOS 32680 HAS SOPS 32680 HAS SOUS 8733 HAS SOUPS 8733 WITH SCORE 8765.68
AT ITER 3445 NEW BEST:: SOT 45951 SOS 32658 HAS SOPS 32658 HAS SOUS 8718 HAS SOUPS 8718 WITH SCORE 8750.658
AT ITER 3466 NEW BEST:: SOT 45947 SOS 32654 HAS SOPS 32654 HAS SOUS 8714 HAS SOUPS 8714 WITH SCORE 8746.654
AT ITER 3496 NEW BEST:: SOT 45926 SOS 32633 HAS SOPS 32633 HAS SOUS 8693 HAS SOUPS 8693 WITH SCORE 8725.633
AT ITER 3530 NEW BEST:: SOT 45883 SOS 32590 HAS SOPS 32590 HAS SOUS 8602 HAS SOUPS 8602 WITH SCORE 8634.59
AT ITER 3568 NEW BEST:: SOT 45880 SOS 32587 HAS SOPS 32587 HAS SOUS 8599 HAS SOUPS 8599 WITH SCORE 8631.587
AT ITER 3599 NEW BEST:: SOT 45879 SOS 32586 HAS SOPS 32586 HAS SOUS 8577 HAS SOUPS 8577 WITH SCORE 8609.586
AT ITER 3611 NEW BEST:: SOT 45863 SOS 32570 HAS SOPS 32570 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8593.57
AT ITER 3640 NEW BEST:: SOT 45863 SOS 32564 HAS SOPS 32564 HAS SOUS 8554 HAS SOUPS 8554 WITH SCORE 8586.564
AT ITER 3649 NEW BEST:: SOT 45849 SOS 32550 HAS SOPS 32550 HAS SOUS 8540 HAS SOUPS 8540 WITH SCORE 8572.55
AT ITER 3694 NEW BEST:: SOT 45847 SOS 32548 HAS SOPS 32548 HAS SOUS 8536 HAS SOUPS 8536 WITH SCORE 8568.548
AT ITER 3810 NEW BEST:: SOT 45845 SOS 32546 HAS SOPS 32546 HAS SOUS 8534 HAS SOUPS 8534 WITH SCORE 8566.546
AT ITER 3829 NEW BEST:: SOT 45837 SOS 32538 HAS SOPS 32538 HAS SOUS 8518 HAS SOUPS 8518 WITH SCORE 8550.538
AT ITER 3836 NEW BEST:: SOT 45808 SOS 32509 HAS SOPS 32509 HAS SOUS 8460 HAS SOUPS 8460 WITH SCORE 8492.509
AT ITER 3846 NEW BEST:: SOT 45802 SOS 32503 HAS SOPS 32503 HAS SOUS 8448 HAS SOUPS 8448 WITH SCORE 8480.503
AT ITER 3875 NEW BEST:: SOT 45563 SOS 32264 HAS SOPS 32264 HAS SOUS 8445 HAS SOUPS 8445 WITH SCORE 8477.264
AT ITER 3890 NEW BEST:: SOT 45562 SOS 32263 HAS SOPS 32263 HAS SOUS 8443 HAS SOUPS 8443 WITH SCORE 8475.263
AT ITER 3920 NEW BEST:: SOT 45590 SOS 32281 HAS SOPS 32281 HAS SOUS 8441 HAS SOUPS 8441 WITH SCORE 8473.281
AT ITER 3952 NEW BEST:: SOT 45582 SOS 32280 HAS SOPS 32280 HAS SOUS 8440 HAS SOUPS 8440 WITH SCORE 8472.28
AT ITER 3958 NEW BEST:: SOT 45573 SOS 32271 HAS SOPS 32271 HAS SOUS 8413 HAS SOUPS 8413 WITH SCORE 8445.271
AT ITER 3989 NEW BEST:: SOT 45566 SOS 32264 HAS SOPS 32264 HAS SOUS 8406 HAS SOUPS 8406 WITH SCORE 8438.264
AT ITER 3997 NEW BEST:: SOT 45557 SOS 32255 HAS SOPS 32255 HAS SOUS 8403 HAS SOUPS 8403 WITH SCORE 8435.255
AT ITER 4011 NEW BEST:: SOT 45532 SOS 32159 HAS SOPS 32159 HAS SOUS 8353 HAS SOUPS 8353 WITH SCORE 8385.159
AT ITER 4055 NEW BEST:: SOT 45532 SOS 32136 HAS SOPS 32136 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8362.136
AT ITER 4082 NEW BEST:: SOT 45529 SOS 32124 HAS SOPS 32124 HAS SOUS 8327 HAS SOUPS 8327 WITH SCORE 8359.124
AT ITER 4084 NEW BEST:: SOT 45529 SOS 31874 HAS SOPS 31874 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8351.874
AT ITER 4104 NEW BEST:: SOT 45495 SOS 31807 HAS SOPS 31807 HAS SOUS 8278 HAS SOUPS 8278 WITH SCORE 8309.807
AT ITER 4117 NEW BEST:: SOT 45478 SOS 31790 HAS SOPS 31790 HAS SOUS 8278 HAS SOUPS 8278 WITH SCORE 8309.79
AT ITER 4188 NEW BEST:: SOT 45488 SOS 31806 HAS SOPS 31806 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8307.806
AT ITER 4213 NEW BEST:: SOT 45487 SOS 31805 HAS SOPS 31805 HAS SOUS 8274 HAS SOUPS 8274 WITH SCORE 8305.805
AT ITER 4272 NEW BEST:: SOT 45465 SOS 31783 HAS SOPS 31783 HAS SOUS 8252 HAS SOUPS 8252 WITH SCORE 8283.783
AT ITER 4349 NEW BEST:: SOT 45464 SOS 31782 HAS SOPS 31782 HAS SOUS 8250 HAS SOUPS 8250 WITH SCORE 8281.782
AT ITER 4352 NEW BEST:: SOT 45464 SOS 31781 HAS SOPS 31781 HAS SOUS 8249 HAS SOUPS 8249 WITH SCORE 8280.781
AT ITER 4367 NEW BEST:: SOT 45449 SOS 31766 HAS SOPS 31766 HAS SOUS 8234 HAS SOUPS 8234 WITH SCORE 8265.766
AT ITER 4404 NEW BEST:: SOT 45435 SOS 31752 HAS SOPS 31752 HAS SOUS 8201 HAS SOUPS 8201 WITH SCORE 8232.752
AT ITER 4491 NEW BEST:: SOT 45416 SOS 31712 HAS SOPS 31712 HAS SOUS 8161 HAS SOUPS 8161 WITH SCORE 8192.712
AT ITER 4515 NEW BEST:: SOT 45407 SOS 31703 HAS SOPS 31703 HAS SOUS 8143 HAS SOUPS 8143 WITH SCORE 8174.703
AT ITER 4517 NEW BEST:: SOT 45400 SOS 31696 HAS SOPS 31696 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8160.696
AT ITER 4523 NEW BEST:: SOT 45368 SOS 31619 HAS SOPS 31619 HAS SOUS 8110 HAS SOUPS 8110 WITH SCORE 8141.619
AT ITER 4524 NEW BEST:: SOT 45366 SOS 31617 HAS SOPS 31617 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8137.617
AT ITER 4529 NEW BEST:: SOT 45354 SOS 31605 HAS SOPS 31605 HAS SOUS 8094 HAS SOUPS 8094 WITH SCORE 8125.605
AT ITER 4539 NEW BEST:: SOT 45317 SOS 31468 HAS SOPS 31468 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7988.468
AT ITER 4542 NEW BEST:: SOT 45298 SOS 31431 HAS SOPS 31431 HAS SOUS 7955 HAS SOUPS 7955 WITH SCORE 7986.431
AT ITER 4572 NEW BEST:: SOT 45292 SOS 31425 HAS SOPS 31425 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7974.425
AT ITER 4584 NEW BEST:: SOT 45300 SOS 31453 HAS SOPS 31453 HAS SOUS 7935 HAS SOUPS 7935 WITH SCORE 7966.453
AT ITER 4595 NEW BEST:: SOT 45311 SOS 31464 HAS SOPS 31464 HAS SOUS 7918 HAS SOUPS 7918 WITH SCORE 7949.464
AT ITER 4629 NEW BEST:: SOT 45311 SOS 31486 HAS SOPS 31486 HAS SOUS 7913 HAS SOUPS 7913 WITH SCORE 7944.486
AT ITER 4655 NEW BEST:: SOT 45282 SOS 31457 HAS SOPS 31457 HAS SOUS 7913 HAS SOUPS 7913 WITH SCORE 7944.457
AT ITER 4659 NEW BEST:: SOT 45285 SOS 31460 HAS SOPS 31460 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7924.46
AT ITER 4729 NEW BEST:: SOT 45258 SOS 31127 HAS SOPS 31127 HAS SOUS 7881 HAS SOUPS 7881 WITH SCORE 7912.127
AT ITER 4738 NEW BEST:: SOT 45238 SOS 31107 HAS SOPS 31107 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7872.107
AT ITER 4765 NEW BEST:: SOT 45219 SOS 31088 HAS SOPS 31088 HAS SOUS 7781 HAS SOUPS 7781 WITH SCORE 7812.088
AT ITER 4773 NEW BEST:: SOT 45214 SOS 31083 HAS SOPS 31083 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7789.083
AT ITER 4787 NEW BEST:: SOT 45213 SOS 31082 HAS SOPS 31082 HAS SOUS 7757 HAS SOUPS 7757 WITH SCORE 7788.082
AT ITER 4800 NEW BEST:: SOT 45213 SOS 31044 HAS SOPS 31044 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7750.044
AT ITER 4815 NEW BEST:: SOT 45172 SOS 31002 HAS SOPS 31002 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7708.002
AT ITER 4825 NEW BEST:: SOT 45171 SOS 31001 HAS SOPS 31001 HAS SOUS 7676 HAS SOUPS 7676 WITH SCORE 7707.001
AT ITER 4832 NEW BEST:: SOT 45169 SOS 30999 HAS SOPS 30999 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7702.999
AT ITER 4837 NEW BEST:: SOT 45163 SOS 31005 HAS SOPS 31005 HAS SOUS 7648 HAS SOUPS 7648 WITH SCORE 7679.005
AT ITER 4867 NEW BEST:: SOT 45170 SOS 31019 HAS SOPS 31019 HAS SOUS 7645 HAS SOUPS 7645 WITH SCORE 7676.019
AT ITER 4954 NEW BEST:: SOT 45166 SOS 30669 HAS SOPS 30669 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7671.669
AT ITER 4961 NEW BEST:: SOT 45142 SOS 30645 HAS SOPS 30645 HAS SOUS 7624 HAS SOUPS 7624 WITH SCORE 7654.645
AT ITER 4998 NEW BEST:: SOT 45136 SOS 30639 HAS SOPS 30639 HAS SOUS 7618 HAS SOUPS 7618 WITH SCORE 7648.639
AT ITER 5001 NEW BEST:: SOT 45135 SOS 30638 HAS SOPS 30638 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7646.638
AT ITER 5012 NEW BEST:: SOT 45118 SOS 30620 HAS SOPS 30620 HAS SOUS 7615 HAS SOUPS 7615 WITH SCORE 7645.62
AT ITER 5038 NEW BEST:: SOT 45118 SOS 30620 HAS SOPS 30620 HAS SOUS 7614 HAS SOUPS 7614 WITH SCORE 7644.62
AT ITER 5068 NEW BEST:: SOT 45118 SOS 30625 HAS SOPS 30625 HAS SOUS 7574 HAS SOUPS 7574 WITH SCORE 7604.625
AT ITER 5122 NEW BEST:: SOT 45110 SOS 29702 HAS SOPS 29702 HAS SOUS 7560 HAS SOUPS 7560 WITH SCORE 7589.702
AT ITER 5169 NEW BEST:: SOT 45110 SOS 29688 HAS SOPS 29688 HAS SOUS 7557 HAS SOUPS 7557 WITH SCORE 7586.688
AT ITER 5254 NEW BEST:: SOT 45131 SOS 29709 HAS SOPS 29709 HAS SOUS 7549 HAS SOUPS 7549 WITH SCORE 7578.709
AT ITER 5257 NEW BEST:: SOT 45122 SOS 29660 HAS SOPS 29660 HAS SOUS 7542 HAS SOUPS 7542 WITH SCORE 7571.66
AT ITER 5268 NEW BEST:: SOT 45122 SOS 29754 HAS SOPS 29754 HAS SOUS 7540 HAS SOUPS 7540 WITH SCORE 7569.754
AT ITER 5278 NEW BEST:: SOT 45124 SOS 29756 HAS SOPS 29756 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7544.756
AT ITER 5281 NEW BEST:: SOT 45091 SOS 29677 HAS SOPS 29677 HAS SOUS 7469 HAS SOUPS 7469 WITH SCORE 7498.677
AT ITER 5310 NEW BEST:: SOT 45077 SOS 29663 HAS SOPS 29663 HAS SOUS 7469 HAS SOUPS 7469 WITH SCORE 7498.663
AT ITER 5325 NEW BEST:: SOT 45067 SOS 29653 HAS SOPS 29653 HAS SOUS 7463 HAS SOUPS 7463 WITH SCORE 7492.653
AT ITER 5437 NEW BEST:: SOT 45050 SOS 29653 HAS SOPS 29653 HAS SOUS 7429 HAS SOUPS 7429 WITH SCORE 7458.653
AT ITER 5553 NEW BEST:: SOT 45133 SOS 29736 HAS SOPS 29736 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7437.736
AT ITER 5554 NEW BEST:: SOT 45127 SOS 29730 HAS SOPS 29730 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7425.73
AT ITER 5581 NEW BEST:: SOT 45133 SOS 29723 HAS SOPS 29723 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7418.723
AT ITER 5584 NEW BEST:: SOT 45233 SOS 29723 HAS SOPS 29723 HAS SOUS 7387 HAS SOUPS 7387 WITH SCORE 7416.723
AT ITER 5604 NEW BEST:: SOT 45221 SOS 29711 HAS SOPS 29711 HAS SOUS 7387 HAS SOUPS 7387 WITH SCORE 7416.711
AT ITER 5607 NEW BEST:: SOT 45213 SOS 29703 HAS SOPS 29703 HAS SOUS 7379 HAS SOUPS 7379 WITH SCORE 7408.703
AT ITER 5755 NEW BEST:: SOT 45212 SOS 29702 HAS SOPS 29702 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7406.702
AT ITER 5791 NEW BEST:: SOT 45183 SOS 29673 HAS SOPS 29673 HAS SOUS 7361 HAS SOUPS 7361 WITH SCORE 7390.673
AT ITER 5833 NEW BEST:: SOT 45182 SOS 29671 HAS SOPS 29671 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7389.671
AT ITER 5858 NEW BEST:: SOT 45165 SOS 29633 HAS SOPS 29633 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7351.633
AT ITER 5904 NEW BEST:: SOT 45158 SOS 29626 HAS SOPS 29626 HAS SOUS 7308 HAS SOUPS 7308 WITH SCORE 7337.626
AT ITER 5955 NEW BEST:: SOT 45157 SOS 29625 HAS SOPS 29625 HAS SOUS 7306 HAS SOUPS 7306 WITH SCORE 7335.625
AT ITER 5956 NEW BEST:: SOT 45151 SOS 29619 HAS SOPS 29619 HAS SOUS 7294 HAS SOUPS 7294 WITH SCORE 7323.619
AT ITER 5961 NEW BEST:: SOT 45122 SOS 29505 HAS SOPS 29505 HAS SOUS 7281 HAS SOUPS 7281 WITH SCORE 7310.505
AT ITER 6014 NEW BEST:: SOT 45097 SOS 29480 HAS SOPS 29480 HAS SOUS 7279 HAS SOUPS 7279 WITH SCORE 7308.48
AT ITER 6017 NEW BEST:: SOT 45097 SOS 29480 HAS SOPS 29480 HAS SOUS 7275 HAS SOUPS 7275 WITH SCORE 7304.48
AT ITER 6035 NEW BEST:: SOT 45089 SOS 29472 HAS SOPS 29472 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7294.472
AT ITER 6047 NEW BEST:: SOT 44993 SOS 29376 HAS SOPS 29376 HAS SOUS 7233 HAS SOUPS 7233 WITH SCORE 7262.376
AT ITER 6063 NEW BEST:: SOT 44993 SOS 29386 HAS SOPS 29386 HAS SOUS 7228 HAS SOUPS 7228 WITH SCORE 7257.386
AT ITER 6122 NEW BEST:: SOT 44991 SOS 29383 HAS SOPS 29383 HAS SOUS 7225 HAS SOUPS 7225 WITH SCORE 7254.383
AT ITER 6175 NEW BEST:: SOT 44987 SOS 29379 HAS SOPS 29379 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7246.379
AT ITER 6189 NEW BEST:: SOT 44973 SOS 29365 HAS SOPS 29365 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7229.365
AT ITER 6211 NEW BEST:: SOT 44971 SOS 29363 HAS SOPS 29363 HAS SOUS 7196 HAS SOUPS 7196 WITH SCORE 7225.363
AT ITER 6299 NEW BEST:: SOT 44947 SOS 29350 HAS SOPS 29350 HAS SOUS 7183 HAS SOUPS 7183 WITH SCORE 7212.35
AT ITER 6364 NEW BEST:: SOT 44912 SOS 29278 HAS SOPS 29278 HAS SOUS 7141 HAS SOUPS 7141 WITH SCORE 7170.278
AT ITER 6424 NEW BEST:: SOT 44888 SOS 29206 HAS SOPS 29206 HAS SOUS 7093 HAS SOUPS 7093 WITH SCORE 7122.206
AT ITER 6483 NEW BEST:: SOT 44889 SOS 29208 HAS SOPS 29208 HAS SOUS 7089 HAS SOUPS 7089 WITH SCORE 7118.208
AT ITER 6494 NEW BEST:: SOT 44888 SOS 29207 HAS SOPS 29207 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7116.207
AT ITER 6520 NEW BEST:: SOT 44888 SOS 29264 HAS SOPS 29264 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7113.264
AT ITER 6594 NEW BEST:: SOT 44876 SOS 29252 HAS SOPS 29252 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7113.252
AT ITER 6603 NEW BEST:: SOT 44875 SOS 29251 HAS SOPS 29251 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7111.251
AT ITER 6634 NEW BEST:: SOT 44870 SOS 29246 HAS SOPS 29246 HAS SOUS 7071 HAS SOUPS 7071 WITH SCORE 7100.246
AT ITER 6715 NEW BEST:: SOT 44875 SOS 29173 HAS SOPS 29173 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7027.173
AT ITER 6736 NEW BEST:: SOT 44860 SOS 29158 HAS SOPS 29158 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 7013.158
AT ITER 6804 NEW BEST:: SOT 44839 SOS 29137 HAS SOPS 29137 HAS SOUS 6963 HAS SOUPS 6963 WITH SCORE 6992.137
AT ITER 6874 NEW BEST:: SOT 44837 SOS 29137 HAS SOPS 29137 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6988.137
AT ITER 6893 NEW BEST:: SOT 44826 SOS 29126 HAS SOPS 29126 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6966.126
AT ITER 6917 NEW BEST:: SOT 44827 SOS 29127 HAS SOPS 29127 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6938.127
AT ITER 6937 NEW BEST:: SOT 44817 SOS 29117 HAS SOPS 29117 HAS SOUS 6889 HAS SOUPS 6889 WITH SCORE 6918.117
AT ITER 6945 NEW BEST:: SOT 44807 SOS 29115 HAS SOPS 29115 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6867.115
AT ITER 6997 NEW BEST:: SOT 44784 SOS 29071 HAS SOPS 29071 HAS SOUS 6813 HAS SOUPS 6813 WITH SCORE 6842.071
AT ITER 7077 NEW BEST:: SOT 44784 SOS 29068 HAS SOPS 29068 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6839.068
AT ITER 7175 NEW BEST:: SOT 44777 SOS 29053 HAS SOPS 29053 HAS SOUS 6804 HAS SOUPS 6804 WITH SCORE 6833.053
AT ITER 7178 NEW BEST:: SOT 44776 SOS 29052 HAS SOPS 29052 HAS SOUS 6787 HAS SOUPS 6787 WITH SCORE 6816.052
AT ITER 7182 NEW BEST:: SOT 44776 SOS 29075 HAS SOPS 29075 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6813.075
AT ITER 7191 NEW BEST:: SOT 44777 SOS 29076 HAS SOPS 29076 HAS SOUS 6770 HAS SOUPS 6770 WITH SCORE 6799.076
AT ITER 7224 NEW BEST:: SOT 44780 SOS 29079 HAS SOPS 29079 HAS SOUS 6767 HAS SOUPS 6767 WITH SCORE 6796.079
AT ITER 7313 NEW BEST:: SOT 44778 SOS 29077 HAS SOPS 29077 HAS SOUS 6763 HAS SOUPS 6763 WITH SCORE 6792.077
AT ITER 7341 NEW BEST:: SOT 44777 SOS 29076 HAS SOPS 29076 HAS SOUS 6762 HAS SOUPS 6762 WITH SCORE 6791.076
AT ITER 7352 NEW BEST:: SOT 44775 SOS 29074 HAS SOPS 29074 HAS SOUS 6756 HAS SOUPS 6756 WITH SCORE 6785.074
AT ITER 7394 NEW BEST:: SOT 44768 SOS 29050 HAS SOPS 29050 HAS SOUS 6735 HAS SOUPS 6735 WITH SCORE 6764.05
AT ITER 7449 NEW BEST:: SOT 44768 SOS 29042 HAS SOPS 29042 HAS SOUS 6727 HAS SOUPS 6727 WITH SCORE 6756.042
AT ITER 7470 NEW BEST:: SOT 44764 SOS 29038 HAS SOPS 29038 HAS SOUS 6719 HAS SOUPS 6719 WITH SCORE 6748.038
AT ITER 7512 NEW BEST:: SOT 44639 SOS 28845 HAS SOPS 28845 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6714.845
AT ITER 7519 NEW BEST:: SOT 44637 SOS 28843 HAS SOPS 28843 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6707.843
AT ITER 7574 NEW BEST:: SOT 44635 SOS 28841 HAS SOPS 28841 HAS SOUS 6675 HAS SOUPS 6675 WITH SCORE 6703.841
AT ITER 7579 NEW BEST:: SOT 44654 SOS 28860 HAS SOPS 28860 HAS SOUS 6667 HAS SOUPS 6667 WITH SCORE 6695.86
AT ITER 7583 NEW BEST:: SOT 44654 SOS 28860 HAS SOPS 28860 HAS SOUS 6624 HAS SOUPS 6624 WITH SCORE 6652.86
AT ITER 7586 NEW BEST:: SOT 44653 SOS 28859 HAS SOPS 28859 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6650.859
AT ITER 7679 NEW BEST:: SOT 44652 SOS 28858 HAS SOPS 28858 HAS SOUS 6621 HAS SOUPS 6621 WITH SCORE 6649.858
AT ITER 7785 NEW BEST:: SOT 44649 SOS 28855 HAS SOPS 28855 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6648.855
AT ITER 7794 NEW BEST:: SOT 44657 SOS 28863 HAS SOPS 28863 HAS SOUS 6617 HAS SOUPS 6617 WITH SCORE 6645.863
AT ITER 7830 NEW BEST:: SOT 44654 SOS 28860 HAS SOPS 28860 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6639.86
AT ITER 7835 NEW BEST:: SOT 44641 SOS 28847 HAS SOPS 28847 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6627.847
AT ITER 7885 NEW BEST:: SOT 44653 SOS 28859 HAS SOPS 28859 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6622.859
AT ITER 7928 NEW BEST:: SOT 44634 SOS 28812 HAS SOPS 28812 HAS SOUS 6584 HAS SOUPS 6584 WITH SCORE 6612.812
AT ITER 7950 NEW BEST:: SOT 44632 SOS 28810 HAS SOPS 28810 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6610.81
AT ITER 7968 NEW BEST:: SOT 44632 SOS 28810 HAS SOPS 28810 HAS SOUS 6575 HAS SOUPS 6575 WITH SCORE 6603.81
AT ITER 8025 NEW BEST:: SOT 44631 SOS 28808 HAS SOPS 28808 HAS SOUS 6574 HAS SOUPS 6574 WITH SCORE 6602.808
AT ITER 8228 NEW BEST:: SOT 44646 SOS 28823 HAS SOPS 28823 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6568.823
AT ITER 8279 NEW BEST:: SOT 44646 SOS 28821 HAS SOPS 28821 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6566.821
AT ITER 8307 NEW BEST:: SOT 44643 SOS 28815 HAS SOPS 28815 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6560.815
AT ITER 8373 NEW BEST:: SOT 44642 SOS 28814 HAS SOPS 28814 HAS SOUS 6530 HAS SOUPS 6530 WITH SCORE 6558.814
AT ITER 8435 NEW BEST:: SOT 44641 SOS 28763 HAS SOPS 28763 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6556.763
AT ITER 8450 NEW BEST:: SOT 44633 SOS 27167 HAS SOPS 27167 HAS SOUS 6500 HAS SOUPS 6500 WITH SCORE 6527.167
AT ITER 8511 NEW BEST:: SOT 44619 SOS 27153 HAS SOPS 27153 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6499.153
AT ITER 8574 NEW BEST:: SOT 44618 SOS 27152 HAS SOPS 27152 HAS SOUS 6470 HAS SOUPS 6470 WITH SCORE 6497.152
AT ITER 8652 NEW BEST:: SOT 44617 SOS 27151 HAS SOPS 27151 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6495.151
AT ITER 8734 NEW BEST:: SOT 44616 SOS 27150 HAS SOPS 27150 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6493.15
AT ITER 8772 NEW BEST:: SOT 44608 SOS 27142 HAS SOPS 27142 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6492.142
AT ITER 8791 NEW BEST:: SOT 44609 SOS 27143 HAS SOPS 27143 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6479.143
AT ITER 8907 NEW BEST:: SOT 44602 SOS 27132 HAS SOPS 27132 HAS SOUS 6441 HAS SOUPS 6441 WITH SCORE 6468.132
AT ITER 8962 NEW BEST:: SOT 44586 SOS 27113 HAS SOPS 27113 HAS SOUS 6430 HAS SOUPS 6430 WITH SCORE 6457.113
AT ITER 8970 NEW BEST:: SOT 44567 SOS 27094 HAS SOPS 27094 HAS SOUS 6411 HAS SOUPS 6411 WITH SCORE 6438.094
AT ITER 9006 NEW BEST:: SOT 44545 SOS 27024 HAS SOPS 27024 HAS SOUS 6375 HAS SOUPS 6375 WITH SCORE 6402.024
AT ITER 9053 NEW BEST:: SOT 44671 SOS 27096 HAS SOPS 27096 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6373.096
AT ITER 9080 NEW BEST:: SOT 44670 SOS 27095 HAS SOPS 27095 HAS SOUS 6344 HAS SOUPS 6344 WITH SCORE 6371.095
AT ITER 9104 NEW BEST:: SOT 44666 SOS 27089 HAS SOPS 27089 HAS SOUS 6343 HAS SOUPS 6343 WITH SCORE 6370.089
AT ITER 9124 NEW BEST:: SOT 44665 SOS 27082 HAS SOPS 27082 HAS SOUS 6341 HAS SOUPS 6341 WITH SCORE 6368.082
AT ITER 9219 NEW BEST:: SOT 44665 SOS 27068 HAS SOPS 27068 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6359.068
AT ITER 9234 NEW BEST:: SOT 44659 SOS 27061 HAS SOPS 27061 HAS SOUS 6325 HAS SOUPS 6325 WITH SCORE 6352.061
AT ITER 9251 NEW BEST:: SOT 44727 SOS 27165 HAS SOPS 27165 HAS SOUS 6313 HAS SOUPS 6313 WITH SCORE 6340.165
AT ITER 9253 NEW BEST:: SOT 44726 SOS 27164 HAS SOPS 27164 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6338.164
AT ITER 9271 NEW BEST:: SOT 44716 SOS 27154 HAS SOPS 27154 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6335.154
AT ITER 9401 NEW BEST:: SOT 44702 SOS 27120 HAS SOPS 27120 HAS SOUS 6300 HAS SOUPS 6300 WITH SCORE 6327.12
AT ITER 9424 NEW BEST:: SOT 44700 SOS 27118 HAS SOPS 27118 HAS SOUS 6296 HAS SOUPS 6296 WITH SCORE 6323.118
AT ITER 9429 NEW BEST:: SOT 44699 SOS 27117 HAS SOPS 27117 HAS SOUS 6295 HAS SOUPS 6295 WITH SCORE 6322.117
AT ITER 9461 NEW BEST:: SOT 44665 SOS 27083 HAS SOPS 27083 HAS SOUS 6295 HAS SOUPS 6295 WITH SCORE 6322.083
AT ITER 9507 NEW BEST:: SOT 44662 SOS 27080 HAS SOPS 27080 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6316.08
AT ITER 9510 NEW BEST:: SOT 44660 SOS 27076 HAS SOPS 27076 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6314.076
AT ITER 9583 NEW BEST:: SOT 44656 SOS 27072 HAS SOPS 27072 HAS SOUS 6279 HAS SOUPS 6279 WITH SCORE 6306.072
AT ITER 9585 NEW BEST:: SOT 44678 SOS 27094 HAS SOPS 27094 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6268.094
AT ITER 9625 NEW BEST:: SOT 44672 SOS 27088 HAS SOPS 27088 HAS SOUS 6229 HAS SOUPS 6229 WITH SCORE 6256.088
AT ITER 9656 NEW BEST:: SOT 44670 SOS 27086 HAS SOPS 27086 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6252.086
AT ITER 9659 NEW BEST:: SOT 44621 SOS 27003 HAS SOPS 27003 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6169.003
AT ITER 9696 NEW BEST:: SOT 44621 SOS 27003 HAS SOPS 27003 HAS SOUS 6139 HAS SOUPS 6139 WITH SCORE 6166.003
AT ITER 9733 NEW BEST:: SOT 44619 SOS 27001 HAS SOPS 27001 HAS SOUS 6137 HAS SOUPS 6137 WITH SCORE 6164.001
AT ITER 9764 NEW BEST:: SOT 44611 SOS 26993 HAS SOPS 26993 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6158.993
AT ITER 9803 NEW BEST:: SOT 44611 SOS 26985 HAS SOPS 26985 HAS SOUS 6124 HAS SOUPS 6124 WITH SCORE 6150.985
AT ITER 9896 NEW BEST:: SOT 44566 SOS 26911 HAS SOPS 26911 HAS SOUS 6095 HAS SOUPS 6095 WITH SCORE 6121.911
AT ITER 9916 NEW BEST:: SOT 44511 SOS 26856 HAS SOPS 26856 HAS SOUS 6095 HAS SOUPS 6095 WITH SCORE 6121.856
AT ITER 9938 NEW BEST:: SOT 44509 SOS 26854 HAS SOPS 26854 HAS SOUS 6093 HAS SOUPS 6093 WITH SCORE 6119.854
AT ITER 9945 NEW BEST:: SOT 44501 SOS 26846 HAS SOPS 26846 HAS SOUS 6093 HAS SOUPS 6093 WITH SCORE 6119.846
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 7780292 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16155560 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="DES-PT-50a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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 DES-PT-50a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472500480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-50a.tgz
mv DES-PT-50a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;