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.r235-tall-167856421800488.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 smartxred
Input is LeafsetExtension-PT-S16C3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421800488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 11K Feb 25 16:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 16:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 16:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 16:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 23K Feb 25 16:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 25 16:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 21K Feb 25 16:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Feb 25 16:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 905K 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 1678659056221

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LeafsetExtension-PT-S16C3
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 22:10:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 22:10:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 22:10:58] [INFO ] Load time of PNML (sax parser for PT used): 363 ms
[2023-03-12 22:10:58] [INFO ] Transformed 1542 places.
[2023-03-12 22:10:58] [INFO ] Transformed 1449 transitions.
[2023-03-12 22:10:58] [INFO ] Parsed PT model containing 1542 places and 1449 transitions and 4668 arcs in 450 ms.
[2023-03-12 22:10:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1542 places, 1449 transitions and 4668 arcs took 17 ms.
Total runtime 497 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S16C3
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1542 places, 1449 transitions, 4668 arcs.
AT ITER 0 NEW BEST:: SOT 1243930 SOS 267444 HAS SOPS 263534 HAS SOUS 236824 HAS SOUPS 235311 WITH SCORE 235578.444
AT ITER 6 NEW BEST:: SOT 1243821 SOS 267335 HAS SOPS 263425 HAS SOUS 236715 HAS SOUPS 235202 WITH SCORE 235469.335
AT ITER 95 NEW BEST:: SOT 1243668 SOS 267182 HAS SOPS 263272 HAS SOUS 236562 HAS SOUPS 235049 WITH SCORE 235316.182
AT ITER 128 NEW BEST:: SOT 1243578 SOS 266788 HAS SOPS 262878 HAS SOUS 236476 HAS SOUPS 234963 WITH SCORE 235229.788
AT ITER 148 NEW BEST:: SOT 1243578 SOS 266786 HAS SOPS 262876 HAS SOUS 236475 HAS SOUPS 234962 WITH SCORE 235228.786
AT ITER 161 NEW BEST:: SOT 1243543 SOS 266754 HAS SOPS 262844 HAS SOUS 236440 HAS SOUPS 234927 WITH SCORE 235193.754
AT ITER 164 NEW BEST:: SOT 1242861 SOS 266184 HAS SOPS 262274 HAS SOUS 235839 HAS SOUPS 234326 WITH SCORE 234592.184
AT ITER 167 NEW BEST:: SOT 1242775 SOS 265376 HAS SOPS 261466 HAS SOUS 235670 HAS SOUPS 234157 WITH SCORE 234422.376
AT ITER 189 NEW BEST:: SOT 1242775 SOS 265375 HAS SOPS 261465 HAS SOUS 235669 HAS SOUPS 234156 WITH SCORE 234421.375
AT ITER 198 NEW BEST:: SOT 1242712 SOS 265312 HAS SOPS 261402 HAS SOUS 235606 HAS SOUPS 234093 WITH SCORE 234358.312
AT ITER 208 NEW BEST:: SOT 1243735 SOS 266341 HAS SOPS 260364 HAS SOUS 235752 HAS SOUPS 233250 WITH SCORE 233516.341
AT ITER 250 NEW BEST:: SOT 1242393 SOS 271154 HAS SOPS 265177 HAS SOUS 235358 HAS SOUPS 232856 WITH SCORE 233127.154
AT ITER 307 NEW BEST:: SOT 1242368 SOS 271129 HAS SOPS 265152 HAS SOUS 235333 HAS SOUPS 232831 WITH SCORE 233102.129
AT ITER 311 NEW BEST:: SOT 1243156 SOS 271848 HAS SOPS 263916 HAS SOUS 234399 HAS SOUPS 231777 WITH SCORE 232048.848
AT ITER 324 NEW BEST:: SOT 1243131 SOS 271823 HAS SOPS 263891 HAS SOUS 234374 HAS SOUPS 231752 WITH SCORE 232023.823
AT ITER 354 NEW BEST:: SOT 1243103 SOS 271754 HAS SOPS 263430 HAS SOUS 233954 HAS SOUPS 231332 WITH SCORE 231603.754
AT ITER 364 NEW BEST:: SOT 1241470 SOS 278547 HAS SOPS 270223 HAS SOUS 233425 HAS SOUPS 230803 WITH SCORE 231081.547
AT ITER 374 NEW BEST:: SOT 1241470 SOS 278544 HAS SOPS 270220 HAS SOUS 233425 HAS SOUPS 230803 WITH SCORE 231081.544
AT ITER 405 NEW BEST:: SOT 1241470 SOS 278525 HAS SOPS 270201 HAS SOUS 233425 HAS SOUPS 230803 WITH SCORE 231081.525
AT ITER 406 NEW BEST:: SOT 1241460 SOS 272361 HAS SOPS 264037 HAS SOUS 233258 HAS SOUPS 230636 WITH SCORE 230908.361
AT ITER 407 NEW BEST:: SOT 1241094 SOS 272148 HAS SOPS 263824 HAS SOUS 232973 HAS SOUPS 230351 WITH SCORE 230623.148
AT ITER 434 NEW BEST:: SOT 1239780 SOS 270950 HAS SOPS 262619 HAS SOUS 231674 HAS SOUPS 229052 WITH SCORE 229322.95
AT ITER 498 NEW BEST:: SOT 1239738 SOS 270965 HAS SOPS 262592 HAS SOUS 231639 HAS SOUPS 228980 WITH SCORE 229250.965
AT ITER 520 NEW BEST:: SOT 1231833 SOS 442654 HAS SOPS 434281 HAS SOUS 226482 HAS SOUPS 223823 WITH SCORE 224265.654
AT ITER 593 NEW BEST:: SOT 1230187 SOS 448765 HAS SOPS 440392 HAS SOUS 225940 HAS SOUPS 223281 WITH SCORE 223729.765
AT ITER 623 NEW BEST:: SOT 1230187 SOS 448317 HAS SOPS 439944 HAS SOUS 225940 HAS SOUPS 223281 WITH SCORE 223729.317
AT ITER 675 NEW BEST:: SOT 1230113 SOS 448250 HAS SOPS 439877 HAS SOUS 225866 HAS SOUPS 223207 WITH SCORE 223655.25
AT ITER 702 NEW BEST:: SOT 1230113 SOS 448176 HAS SOPS 439803 HAS SOUS 225866 HAS SOUPS 223207 WITH SCORE 223655.176
AT ITER 720 NEW BEST:: SOT 1230113 SOS 448048 HAS SOPS 439675 HAS SOUS 225866 HAS SOUPS 223207 WITH SCORE 223655.048
AT ITER 788 NEW BEST:: SOT 1230113 SOS 448048 HAS SOPS 439675 HAS SOUS 225805 HAS SOUPS 223146 WITH SCORE 223594.048
AT ITER 811 NEW BEST:: SOT 1230113 SOS 448048 HAS SOPS 439675 HAS SOUS 225691 HAS SOUPS 223032 WITH SCORE 223480.048
AT ITER 816 NEW BEST:: SOT 1230113 SOS 448048 HAS SOPS 439675 HAS SOUS 225586 HAS SOUPS 222927 WITH SCORE 223375.048
AT ITER 820 NEW BEST:: SOT 1230113 SOS 447951 HAS SOPS 439578 HAS SOUS 225576 HAS SOUPS 222917 WITH SCORE 223364.951
AT ITER 908 NEW BEST:: SOT 1230003 SOS 448015 HAS SOPS 439642 HAS SOUS 225530 HAS SOUPS 222871 WITH SCORE 223319.015
AT ITER 921 NEW BEST:: SOT 1230003 SOS 447996 HAS SOPS 439623 HAS SOUS 225530 HAS SOUPS 222871 WITH SCORE 223318.996
AT ITER 930 NEW BEST:: SOT 1229977 SOS 447970 HAS SOPS 439571 HAS SOUS 225497 HAS SOUPS 222812 WITH SCORE 223259.97
AT ITER 941 NEW BEST:: SOT 1229977 SOS 447970 HAS SOPS 439571 HAS SOUS 225442 HAS SOUPS 222757 WITH SCORE 223204.97
AT ITER 956 NEW BEST:: SOT 1229977 SOS 447959 HAS SOPS 439560 HAS SOUS 225442 HAS SOUPS 222757 WITH SCORE 223204.959
AT ITER 967 NEW BEST:: SOT 1229977 SOS 447959 HAS SOPS 439560 HAS SOUS 225347 HAS SOUPS 222662 WITH SCORE 223109.959
AT ITER 969 NEW BEST:: SOT 1229824 SOS 447653 HAS SOPS 439254 HAS SOUS 225194 HAS SOUPS 222509 WITH SCORE 222956.653
AT ITER 975 NEW BEST:: SOT 1229711 SOS 447711 HAS SOPS 439312 HAS SOUS 225168 HAS SOUPS 222483 WITH SCORE 222930.711
AT ITER 997 NEW BEST:: SOT 1229701 SOS 447690 HAS SOPS 439291 HAS SOUS 225139 HAS SOUPS 222454 WITH SCORE 222901.69
AT ITER 1010 NEW BEST:: SOT 1229646 SOS 447635 HAS SOPS 439236 HAS SOUS 225084 HAS SOUPS 222399 WITH SCORE 222846.635
AT ITER 1026 NEW BEST:: SOT 1229646 SOS 447635 HAS SOPS 439236 HAS SOUS 224964 HAS SOUPS 222279 WITH SCORE 222726.635
AT ITER 1042 NEW BEST:: SOT 1229590 SOS 447584 HAS SOPS 439185 HAS SOUS 224908 HAS SOUPS 222223 WITH SCORE 222670.584
AT ITER 1060 NEW BEST:: SOT 1229590 SOS 447584 HAS SOPS 439185 HAS SOUS 224777 HAS SOUPS 222092 WITH SCORE 222539.584
AT ITER 1121 NEW BEST:: SOT 1229590 SOS 447584 HAS SOPS 439185 HAS SOUS 224736 HAS SOUPS 222051 WITH SCORE 222498.584
AT ITER 1171 NEW BEST:: SOT 1229662 SOS 447656 HAS SOPS 439257 HAS SOUS 224708 HAS SOUPS 222023 WITH SCORE 222470.656
AT ITER 1180 NEW BEST:: SOT 1229662 SOS 447631 HAS SOPS 439232 HAS SOUS 224683 HAS SOUPS 221998 WITH SCORE 222445.631
AT ITER 1216 NEW BEST:: SOT 1229610 SOS 447579 HAS SOPS 439180 HAS SOUS 224631 HAS SOUPS 221946 WITH SCORE 222393.579
AT ITER 1226 NEW BEST:: SOT 1229588 SOS 447597 HAS SOPS 439198 HAS SOUS 224627 HAS SOUPS 221942 WITH SCORE 222389.597
AT ITER 1234 NEW BEST:: SOT 1229606 SOS 447452 HAS SOPS 439053 HAS SOUS 224567 HAS SOUPS 221882 WITH SCORE 222329.452
AT ITER 1263 NEW BEST:: SOT 1229606 SOS 447323 HAS SOPS 438905 HAS SOUS 224419 HAS SOUPS 221734 WITH SCORE 222181.323
AT ITER 1264 NEW BEST:: SOT 1229592 SOS 447295 HAS SOPS 438877 HAS SOUS 224391 HAS SOUPS 221706 WITH SCORE 222153.295
AT ITER 1287 NEW BEST:: SOT 1229592 SOS 447290 HAS SOPS 438872 HAS SOUS 224391 HAS SOUPS 221706 WITH SCORE 222153.29
AT ITER 1295 NEW BEST:: SOT 1229490 SOS 447217 HAS SOPS 438787 HAS SOUS 224346 HAS SOUPS 221661 WITH SCORE 222108.217
AT ITER 1308 NEW BEST:: SOT 1229490 SOS 447217 HAS SOPS 438787 HAS SOUS 224287 HAS SOUPS 221602 WITH SCORE 222049.217
AT ITER 1310 NEW BEST:: SOT 1229496 SOS 447223 HAS SOPS 438793 HAS SOUS 224160 HAS SOUPS 221475 WITH SCORE 221922.223
AT ITER 1363 NEW BEST:: SOT 1229472 SOS 445819 HAS SOPS 437389 HAS SOUS 224044 HAS SOUPS 221359 WITH SCORE 221804.819
AT ITER 1366 NEW BEST:: SOT 1229385 SOS 445740 HAS SOPS 437310 HAS SOUS 223956 HAS SOUPS 221271 WITH SCORE 221716.74
AT ITER 1370 NEW BEST:: SOT 1229291 SOS 444536 HAS SOPS 436106 HAS SOUS 223768 HAS SOUPS 221083 WITH SCORE 221527.536
AT ITER 1384 NEW BEST:: SOT 1229242 SOS 444501 HAS SOPS 436071 HAS SOUS 223737 HAS SOUPS 221052 WITH SCORE 221496.501
AT ITER 1430 NEW BEST:: SOT 1229135 SOS 444405 HAS SOPS 435975 HAS SOUS 223634 HAS SOUPS 220949 WITH SCORE 221393.405
AT ITER 1441 NEW BEST:: SOT 1229107 SOS 444377 HAS SOPS 435947 HAS SOUS 223606 HAS SOUPS 220921 WITH SCORE 221365.377
AT ITER 1446 NEW BEST:: SOT 1229043 SOS 444313 HAS SOPS 435819 HAS SOUS 223537 HAS SOUPS 220793 WITH SCORE 221237.313
AT ITER 1450 NEW BEST:: SOT 1229124 SOS 444394 HAS SOPS 435900 HAS SOUS 223483 HAS SOUPS 220739 WITH SCORE 221183.394
AT ITER 1452 NEW BEST:: SOT 1229055 SOS 443766 HAS SOPS 435272 HAS SOUS 223344 HAS SOUPS 220600 WITH SCORE 221043.766
AT ITER 1465 NEW BEST:: SOT 1229055 SOS 443703 HAS SOPS 435209 HAS SOUS 223344 HAS SOUPS 220600 WITH SCORE 221043.703
AT ITER 1475 NEW BEST:: SOT 1229144 SOS 443792 HAS SOPS 435298 HAS SOUS 223342 HAS SOUPS 220598 WITH SCORE 221041.792
AT ITER 1480 NEW BEST:: SOT 1229118 SOS 460279 HAS SOPS 435268 HAS SOUS 224156 HAS SOUPS 220425 WITH SCORE 220885.279
AT ITER 1515 NEW BEST:: SOT 1229843 SOS 460941 HAS SOPS 433836 HAS SOUS 223050 HAS SOUPS 219211 WITH SCORE 219671.941
AT ITER 1554 NEW BEST:: SOT 1229772 SOS 460890 HAS SOPS 433785 HAS SOUS 223003 HAS SOUPS 219164 WITH SCORE 219624.89
AT ITER 1557 NEW BEST:: SOT 1229635 SOS 460616 HAS SOPS 433511 HAS SOUS 222866 HAS SOUPS 219027 WITH SCORE 219487.616
AT ITER 1563 NEW BEST:: SOT 1229376 SOS 460331 HAS SOPS 433226 HAS SOUS 222426 HAS SOUPS 218587 WITH SCORE 219047.331
AT ITER 1579 NEW BEST:: SOT 1229052 SOS 460102 HAS SOPS 432997 HAS SOUS 222170 HAS SOUPS 218331 WITH SCORE 218791.102
AT ITER 1582 NEW BEST:: SOT 1229083 SOS 460133 HAS SOPS 433028 HAS SOUS 222160 HAS SOUPS 218321 WITH SCORE 218781.133
AT ITER 1589 NEW BEST:: SOT 1227287 SOS 461042 HAS SOPS 433937 HAS SOUS 220732 HAS SOUPS 216893 WITH SCORE 217354.042
AT ITER 1590 NEW BEST:: SOT 1227266 SOS 461021 HAS SOPS 433895 HAS SOUS 220708 HAS SOUPS 216848 WITH SCORE 217309.021
AT ITER 1605 NEW BEST:: SOT 1227276 SOS 461031 HAS SOPS 433905 HAS SOUS 220587 HAS SOUPS 216727 WITH SCORE 217188.031
AT ITER 1620 NEW BEST:: SOT 1227176 SOS 460920 HAS SOPS 433794 HAS SOUS 220513 HAS SOUPS 216653 WITH SCORE 217113.92
AT ITER 1639 NEW BEST:: SOT 1227140 SOS 460887 HAS SOPS 433761 HAS SOUS 220477 HAS SOUPS 216617 WITH SCORE 217077.887
AT ITER 1668 NEW BEST:: SOT 1227140 SOS 460852 HAS SOPS 433726 HAS SOUS 220477 HAS SOUPS 216617 WITH SCORE 217077.852
AT ITER 1682 NEW BEST:: SOT 1227048 SOS 459869 HAS SOPS 432743 HAS SOUS 220295 HAS SOUPS 216435 WITH SCORE 216894.869
AT ITER 1700 NEW BEST:: SOT 1227048 SOS 459801 HAS SOPS 432675 HAS SOUS 220295 HAS SOUPS 216435 WITH SCORE 216894.801
AT ITER 1729 NEW BEST:: SOT 1227048 SOS 459793 HAS SOPS 432667 HAS SOUS 220295 HAS SOUPS 216435 WITH SCORE 216894.793
AT ITER 1739 NEW BEST:: SOT 1227048 SOS 459793 HAS SOPS 432667 HAS SOUS 220186 HAS SOUPS 216326 WITH SCORE 216785.793
AT ITER 1752 NEW BEST:: SOT 1226522 SOS 462485 HAS SOPS 435359 HAS SOUS 220157 HAS SOUPS 216297 WITH SCORE 216759.485
AT ITER 1768 NEW BEST:: SOT 1226522 SOS 462483 HAS SOPS 435357 HAS SOUS 219965 HAS SOUPS 216105 WITH SCORE 216567.483
AT ITER 1776 NEW BEST:: SOT 1226522 SOS 462483 HAS SOPS 435357 HAS SOUS 219913 HAS SOUPS 216053 WITH SCORE 216515.483
AT ITER 1840 NEW BEST:: SOT 1226522 SOS 462461 HAS SOPS 435335 HAS SOUS 219913 HAS SOUPS 216053 WITH SCORE 216515.461
AT ITER 1843 NEW BEST:: SOT 1226522 SOS 462461 HAS SOPS 435335 HAS SOUS 219780 HAS SOUPS 215920 WITH SCORE 216382.461
AT ITER 1893 NEW BEST:: SOT 1226438 SOS 462377 HAS SOPS 435251 HAS SOUS 219696 HAS SOUPS 215836 WITH SCORE 216298.377
AT ITER 1912 NEW BEST:: SOT 1226438 SOS 462324 HAS SOPS 435198 HAS SOUS 219643 HAS SOUPS 215783 WITH SCORE 216245.324
AT ITER 1934 NEW BEST:: SOT 1226412 SOS 462300 HAS SOPS 435174 HAS SOUS 219617 HAS SOUPS 215757 WITH SCORE 216219.3
AT ITER 1942 NEW BEST:: SOT 1225658 SOS 463573 HAS SOPS 436447 HAS SOUS 219245 HAS SOUPS 215385 WITH SCORE 215848.573
AT ITER 1975 NEW BEST:: SOT 1225658 SOS 463573 HAS SOPS 436447 HAS SOUS 219227 HAS SOUPS 215367 WITH SCORE 215830.573
AT ITER 1996 NEW BEST:: SOT 1225658 SOS 463560 HAS SOPS 436434 HAS SOUS 219226 HAS SOUPS 215366 WITH SCORE 215829.56
AT ITER 1999 NEW BEST:: SOT 1225658 SOS 463560 HAS SOPS 436434 HAS SOUS 219092 HAS SOUPS 215232 WITH SCORE 215695.56
AT ITER 2004 NEW BEST:: SOT 1226115 SOS 463953 HAS SOPS 434695 HAS SOUS 217556 HAS SOUPS 213663 WITH SCORE 214126.953
AT ITER 2019 NEW BEST:: SOT 1226115 SOS 463867 HAS SOPS 434609 HAS SOUS 217470 HAS SOUPS 213577 WITH SCORE 214040.867
AT ITER 2025 NEW BEST:: SOT 1226043 SOS 463867 HAS SOPS 434537 HAS SOUS 217326 HAS SOUPS 213433 WITH SCORE 213896.867
AT ITER 2038 NEW BEST:: SOT 1226020 SOS 463844 HAS SOPS 434514 HAS SOUS 217303 HAS SOUPS 213410 WITH SCORE 213873.844
AT ITER 2075 NEW BEST:: SOT 1225949 SOS 463773 HAS SOPS 434443 HAS SOUS 217232 HAS SOUPS 213339 WITH SCORE 213802.773
AT ITER 2145 NEW BEST:: SOT 1225949 SOS 463620 HAS SOPS 434290 HAS SOUS 217232 HAS SOUPS 213339 WITH SCORE 213802.62
AT ITER 2167 NEW BEST:: SOT 1225944 SOS 463663 HAS SOPS 434333 HAS SOUS 217227 HAS SOUPS 213334 WITH SCORE 213797.663
AT ITER 2208 NEW BEST:: SOT 1225934 SOS 463653 HAS SOPS 434323 HAS SOUS 217217 HAS SOUPS 213324 WITH SCORE 213787.653
AT ITER 2221 NEW BEST:: SOT 1225848 SOS 463688 HAS SOPS 434358 HAS SOUS 217166 HAS SOUPS 213273 WITH SCORE 213736.688
AT ITER 2224 NEW BEST:: SOT 1225833 SOS 463680 HAS SOPS 434350 HAS SOUS 217166 HAS SOUPS 213273 WITH SCORE 213736.68
AT ITER 2258 NEW BEST:: SOT 1225803 SOS 463650 HAS SOPS 434320 HAS SOUS 217136 HAS SOUPS 213243 WITH SCORE 213706.65
AT ITER 2267 NEW BEST:: SOT 1225762 SOS 463628 HAS SOPS 434298 HAS SOUS 217136 HAS SOUPS 213243 WITH SCORE 213706.628
AT ITER 2292 NEW BEST:: SOT 1225649 SOS 463685 HAS SOPS 434355 HAS SOUS 217110 HAS SOUPS 213217 WITH SCORE 213680.685
AT ITER 2293 NEW BEST:: SOT 1225682 SOS 463718 HAS SOPS 434388 HAS SOUS 217059 HAS SOUPS 213166 WITH SCORE 213629.718
AT ITER 2336 NEW BEST:: SOT 1225669 SOS 462313 HAS SOPS 432983 HAS SOUS 216959 HAS SOUPS 213066 WITH SCORE 213528.313
AT ITER 2342 NEW BEST:: SOT 1225639 SOS 462013 HAS SOPS 432683 HAS SOUS 216899 HAS SOUPS 213006 WITH SCORE 213468.013
AT ITER 2355 NEW BEST:: SOT 1225552 SOS 462097 HAS SOPS 432767 HAS SOUS 216881 HAS SOUPS 212988 WITH SCORE 213450.097
AT ITER 2358 NEW BEST:: SOT 1225492 SOS 462037 HAS SOPS 432647 HAS SOUS 216864 HAS SOUPS 212928 WITH SCORE 213390.037
AT ITER 2367 NEW BEST:: SOT 1225465 SOS 461972 HAS SOPS 432555 HAS SOUS 216800 HAS SOUPS 212864 WITH SCORE 213325.972
AT ITER 2394 NEW BEST:: SOT 1225437 SOS 461946 HAS SOPS 432529 HAS SOUS 216772 HAS SOUPS 212836 WITH SCORE 213297.946
AT ITER 2411 NEW BEST:: SOT 1225322 SOS 461017 HAS SOPS 431600 HAS SOUS 216570 HAS SOUPS 212634 WITH SCORE 213095.017
AT ITER 2419 NEW BEST:: SOT 1225232 SOS 460517 HAS SOPS 431100 HAS SOUS 216503 HAS SOUPS 212567 WITH SCORE 213027.517
AT ITER 2426 NEW BEST:: SOT 1225179 SOS 460465 HAS SOPS 431048 HAS SOUS 216450 HAS SOUPS 212514 WITH SCORE 212974.465
AT ITER 2459 NEW BEST:: SOT 1225143 SOS 460429 HAS SOPS 430976 HAS SOUS 216398 HAS SOUPS 212432 WITH SCORE 212892.429
AT ITER 2462 NEW BEST:: SOT 1225137 SOS 460327 HAS SOPS 430874 HAS SOUS 216386 HAS SOUPS 212420 WITH SCORE 212880.327
AT ITER 2473 NEW BEST:: SOT 1225137 SOS 459847 HAS SOPS 430394 HAS SOUS 216386 HAS SOUPS 212420 WITH SCORE 212879.847
AT ITER 2480 NEW BEST:: SOT 1224904 SOS 459653 HAS SOPS 430169 HAS SOUS 216161 HAS SOUPS 212195 WITH SCORE 212654.653
AT ITER 2499 NEW BEST:: SOT 1224852 SOS 459564 HAS SOPS 430080 HAS SOUS 216057 HAS SOUPS 212091 WITH SCORE 212550.564
AT ITER 2520 NEW BEST:: SOT 1224747 SOS 459636 HAS SOPS 430152 HAS SOUS 216055 HAS SOUPS 212089 WITH SCORE 212548.636
AT ITER 2545 NEW BEST:: SOT 1224632 SOS 459560 HAS SOPS 430043 HAS SOUS 215946 HAS SOUPS 211980 WITH SCORE 212439.56
AT ITER 2548 NEW BEST:: SOT 1224581 SOS 459293 HAS SOPS 429776 HAS SOUS 215823 HAS SOUPS 211857 WITH SCORE 212316.293
AT ITER 2562 NEW BEST:: SOT 1224587 SOS 459155 HAS SOPS 429638 HAS SOUS 215803 HAS SOUPS 211837 WITH SCORE 212296.155
AT ITER 2563 NEW BEST:: SOT 1224572 SOS 459155 HAS SOPS 429638 HAS SOUS 215788 HAS SOUPS 211822 WITH SCORE 212281.155
AT ITER 2574 NEW BEST:: SOT 1224572 SOS 459134 HAS SOPS 429617 HAS SOUS 215767 HAS SOUPS 211801 WITH SCORE 212260.134
AT ITER 2576 NEW BEST:: SOT 1224499 SOS 459248 HAS SOPS 429608 HAS SOUS 215755 HAS SOUPS 211704 WITH SCORE 212163.248
AT ITER 2591 NEW BEST:: SOT 1224612 SOS 459231 HAS SOPS 429580 HAS SOUS 215727 HAS SOUPS 211676 WITH SCORE 212135.231
AT ITER 2601 NEW BEST:: SOT 1224607 SOS 459181 HAS SOPS 429467 HAS SOUS 215775 HAS SOUPS 211666 WITH SCORE 212125.181
AT ITER 2618 NEW BEST:: SOT 1224607 SOS 459181 HAS SOPS 429467 HAS SOUS 215702 HAS SOUPS 211593 WITH SCORE 212052.181
AT ITER 2632 NEW BEST:: SOT 1224443 SOS 458857 HAS SOPS 429143 HAS SOUS 215378 HAS SOUPS 211269 WITH SCORE 211727.857
AT ITER 2647 NEW BEST:: SOT 1224267 SOS 458505 HAS SOPS 428791 HAS SOUS 215202 HAS SOUPS 211093 WITH SCORE 211551.505
AT ITER 2649 NEW BEST:: SOT 1224291 SOS 458529 HAS SOPS 428815 HAS SOUS 215103 HAS SOUPS 210994 WITH SCORE 211452.529
AT ITER 2680 NEW BEST:: SOT 1224291 SOS 458525 HAS SOPS 428815 HAS SOUS 215102 HAS SOUPS 210994 WITH SCORE 211452.525
AT ITER 2739 NEW BEST:: SOT 1224262 SOS 458496 HAS SOPS 428786 HAS SOUS 215044 HAS SOUPS 210936 WITH SCORE 211394.496
AT ITER 2756 NEW BEST:: SOT 1224206 SOS 458035 HAS SOPS 428325 HAS SOUS 214940 HAS SOUPS 210832 WITH SCORE 211290.035
AT ITER 2767 NEW BEST:: SOT 1224101 SOS 457865 HAS SOPS 428117 HAS SOUS 214730 HAS SOUPS 210622 WITH SCORE 211079.865
AT ITER 2779 NEW BEST:: SOT 1223935 SOS 457905 HAS SOPS 428157 HAS SOUS 214652 HAS SOUPS 210544 WITH SCORE 211001.905
AT ITER 2808 NEW BEST:: SOT 1223935 SOS 457903 HAS SOPS 428157 HAS SOUS 214652 HAS SOUPS 210544 WITH SCORE 211001.903
AT ITER 2814 NEW BEST:: SOT 1223923 SOS 457891 HAS SOPS 428145 HAS SOUS 214628 HAS SOUPS 210520 WITH SCORE 210977.891
AT ITER 2815 NEW BEST:: SOT 1223874 SOS 457793 HAS SOPS 428047 HAS SOUS 214579 HAS SOUPS 210471 WITH SCORE 210928.793
AT ITER 2820 NEW BEST:: SOT 1223874 SOS 457793 HAS SOPS 428047 HAS SOUS 214455 HAS SOUPS 210347 WITH SCORE 210804.793
AT ITER 2870 NEW BEST:: SOT 1223832 SOS 457754 HAS SOPS 428008 HAS SOUS 214412 HAS SOUPS 210304 WITH SCORE 210761.754
AT ITER 2877 NEW BEST:: SOT 1223815 SOS 457761 HAS SOPS 428015 HAS SOUS 214395 HAS SOUPS 210287 WITH SCORE 210744.761
AT ITER 2929 NEW BEST:: SOT 1223762 SOS 457359 HAS SOPS 427613 HAS SOUS 214288 HAS SOUPS 210180 WITH SCORE 210637.359
AT ITER 2965 NEW BEST:: SOT 1223757 SOS 457354 HAS SOPS 427608 HAS SOUS 214278 HAS SOUPS 210170 WITH SCORE 210627.354
AT ITER 2987 NEW BEST:: SOT 1222649 SOS 456427 HAS SOPS 426681 HAS SOUS 213230 HAS SOUPS 209122 WITH SCORE 209578.427
AT ITER 2990 NEW BEST:: SOT 1222649 SOS 456570 HAS SOPS 426824 HAS SOUS 213229 HAS SOUPS 209121 WITH SCORE 209577.57
AT ITER 3008 NEW BEST:: SOT 1222672 SOS 456593 HAS SOPS 426847 HAS SOUS 213128 HAS SOUPS 209020 WITH SCORE 209476.593
AT ITER 3009 NEW BEST:: SOT 1222611 SOS 456562 HAS SOPS 426816 HAS SOUS 213111 HAS SOUPS 209003 WITH SCORE 209459.562
AT ITER 3029 NEW BEST:: SOT 1222599 SOS 456550 HAS SOPS 426804 HAS SOUS 213087 HAS SOUPS 208979 WITH SCORE 209435.55
AT ITER 3047 NEW BEST:: SOT 1222577 SOS 456584 HAS SOPS 426816 HAS SOUS 213074 HAS SOUPS 208944 WITH SCORE 209400.584
AT ITER 3096 NEW BEST:: SOT 1222577 SOS 456432 HAS SOPS 426664 HAS SOUS 213043 HAS SOUPS 208913 WITH SCORE 209369.432
AT ITER 3109 NEW BEST:: SOT 1222409 SOS 456250 HAS SOPS 426482 HAS SOUS 212707 HAS SOUPS 208577 WITH SCORE 209033.25
AT ITER 3110 NEW BEST:: SOT 1222370 SOS 456214 HAS SOPS 426446 HAS SOUS 212668 HAS SOUPS 208538 WITH SCORE 208994.214
AT ITER 3134 NEW BEST:: SOT 1222405 SOS 456250 HAS SOPS 426482 HAS SOUS 212651 HAS SOUPS 208521 WITH SCORE 208977.25
AT ITER 3166 NEW BEST:: SOT 1222289 SOS 456235 HAS SOPS 426467 HAS SOUS 212651 HAS SOUPS 208521 WITH SCORE 208977.235
AT ITER 3177 NEW BEST:: SOT 1222259 SOS 456145 HAS SOPS 426377 HAS SOUS 212591 HAS SOUPS 208461 WITH SCORE 208917.145
AT ITER 3192 NEW BEST:: SOT 1222259 SOS 456144 HAS SOPS 426376 HAS SOUS 212591 HAS SOUPS 208461 WITH SCORE 208917.144
AT ITER 3207 NEW BEST:: SOT 1222259 SOS 456139 HAS SOPS 426371 HAS SOUS 212591 HAS SOUPS 208461 WITH SCORE 208917.139
AT ITER 3223 NEW BEST:: SOT 1222259 SOS 456139 HAS SOPS 426371 HAS SOUS 212590 HAS SOUPS 208460 WITH SCORE 208916.139
AT ITER 3269 NEW BEST:: SOT 1222277 SOS 456157 HAS SOPS 426389 HAS SOUS 212482 HAS SOUPS 208352 WITH SCORE 208808.157
AT ITER 3271 NEW BEST:: SOT 1222211 SOS 456011 HAS SOPS 426243 HAS SOUS 212325 HAS SOUPS 208195 WITH SCORE 208651.011
AT ITER 3343 NEW BEST:: SOT 1222211 SOS 455965 HAS SOPS 426197 HAS SOUS 212325 HAS SOUPS 208195 WITH SCORE 208650.965
AT ITER 3346 NEW BEST:: SOT 1222211 SOS 455965 HAS SOPS 426197 HAS SOUS 212217 HAS SOUPS 208087 WITH SCORE 208542.965
AT ITER 3354 NEW BEST:: SOT 1222211 SOS 455965 HAS SOPS 426197 HAS SOUS 212104 HAS SOUPS 207974 WITH SCORE 208429.965
AT ITER 3363 NEW BEST:: SOT 1222196 SOS 455950 HAS SOPS 426167 HAS SOUS 212074 HAS SOUPS 207944 WITH SCORE 208399.95
AT ITER 3373 NEW BEST:: SOT 1222184 SOS 455950 HAS SOPS 426167 HAS SOUS 212062 HAS SOUPS 207932 WITH SCORE 208387.95
AT ITER 3388 NEW BEST:: SOT 1222077 SOS 455843 HAS SOPS 426060 HAS SOUS 211921 HAS SOUPS 207791 WITH SCORE 208246.843
AT ITER 3399 NEW BEST:: SOT 1222077 SOS 455843 HAS SOPS 426060 HAS SOUS 211795 HAS SOUPS 207665 WITH SCORE 208120.843
AT ITER 3403 NEW BEST:: SOT 1222077 SOS 455834 HAS SOPS 426051 HAS SOUS 211786 HAS SOUPS 207656 WITH SCORE 208111.834
AT ITER 3409 NEW BEST:: SOT 1222040 SOS 455747 HAS SOPS 425964 HAS SOUS 211668 HAS SOUPS 207538 WITH SCORE 207993.747
AT ITER 3415 NEW BEST:: SOT 1222040 SOS 455579 HAS SOPS 425796 HAS SOUS 211644 HAS SOUPS 207514 WITH SCORE 207969.579
AT ITER 3475 NEW BEST:: SOT 1222040 SOS 455552 HAS SOPS 425769 HAS SOUS 211644 HAS SOUPS 207514 WITH SCORE 207969.552
AT ITER 3482 NEW BEST:: SOT 1222013 SOS 455434 HAS SOPS 425651 HAS SOUS 211575 HAS SOUPS 207445 WITH SCORE 207900.434
AT ITER 3568 NEW BEST:: SOT 1221929 SOS 455350 HAS SOPS 425567 HAS SOUS 211491 HAS SOUPS 207361 WITH SCORE 207816.35
AT ITER 3580 NEW BEST:: SOT 1221851 SOS 455300 HAS SOPS 425517 HAS SOUS 211346 HAS SOUPS 207216 WITH SCORE 207671.3
AT ITER 3584 NEW BEST:: SOT 1221800 SOS 455300 HAS SOPS 425517 HAS SOUS 211295 HAS SOUPS 207165 WITH SCORE 207620.3
AT ITER 3605 NEW BEST:: SOT 1221693 SOS 455254 HAS SOPS 425494 HAS SOUS 211233 HAS SOUPS 207103 WITH SCORE 207558.254
AT ITER 3625 NEW BEST:: SOT 1221693 SOS 455249 HAS SOPS 425489 HAS SOUS 211233 HAS SOUPS 207103 WITH SCORE 207558.249
AT ITER 3650 NEW BEST:: SOT 1221607 SOS 455303 HAS SOPS 425455 HAS SOUS 211171 HAS SOUPS 206953 WITH SCORE 207408.303
AT ITER 3665 NEW BEST:: SOT 1221590 SOS 455423 HAS SOPS 425495 HAS SOUS 211177 HAS SOUPS 206942 WITH SCORE 207397.423
AT ITER 3698 NEW BEST:: SOT 1221554 SOS 455387 HAS SOPS 425459 HAS SOUS 211105 HAS SOUPS 206870 WITH SCORE 207325.387
AT ITER 3737 NEW BEST:: SOT 1221510 SOS 455333 HAS SOPS 425405 HAS SOUS 211008 HAS SOUPS 206773 WITH SCORE 207228.333
AT ITER 3743 NEW BEST:: SOT 1221437 SOS 455333 HAS SOPS 425405 HAS SOUS 210935 HAS SOUPS 206700 WITH SCORE 207155.333
AT ITER 3745 NEW BEST:: SOT 1221424 SOS 455320 HAS SOPS 425392 HAS SOUS 210909 HAS SOUPS 206674 WITH SCORE 207129.32
AT ITER 3754 NEW BEST:: SOT 1221149 SOS 455301 HAS SOPS 425373 HAS SOUS 210671 HAS SOUPS 206436 WITH SCORE 206891.301
AT ITER 3765 NEW BEST:: SOT 1221121 SOS 455277 HAS SOPS 425349 HAS SOUS 210634 HAS SOUPS 206399 WITH SCORE 206854.277
AT ITER 3781 NEW BEST:: SOT 1221119 SOS 455326 HAS SOPS 425398 HAS SOUS 210630 HAS SOUPS 206395 WITH SCORE 206850.326
AT ITER 3806 NEW BEST:: SOT 1221011 SOS 455373 HAS SOPS 425445 HAS SOUS 210616 HAS SOUPS 206381 WITH SCORE 206836.373
AT ITER 3821 NEW BEST:: SOT 1220994 SOS 455460 HAS SOPS 425515 HAS SOUS 210621 HAS SOUPS 206370 WITH SCORE 206825.46
AT ITER 3824 NEW BEST:: SOT 1220854 SOS 455326 HAS SOPS 425311 HAS SOUS 210411 HAS SOUPS 206160 WITH SCORE 206615.326
AT ITER 3864 NEW BEST:: SOT 1220771 SOS 455243 HAS SOPS 425145 HAS SOUS 210245 HAS SOUPS 205994 WITH SCORE 206449.243
AT ITER 3902 NEW BEST:: SOT 1220764 SOS 455312 HAS SOPS 425134 HAS SOUS 210235 HAS SOUPS 205980 WITH SCORE 206435.312
AT ITER 3916 NEW BEST:: SOT 1220764 SOS 455304 HAS SOPS 425126 HAS SOUS 210235 HAS SOUPS 205980 WITH SCORE 206435.304
AT ITER 3917 NEW BEST:: SOT 1220760 SOS 455300 HAS SOPS 425118 HAS SOUS 210231 HAS SOUPS 205972 WITH SCORE 206427.3
AT ITER 3920 NEW BEST:: SOT 1220760 SOS 455165 HAS SOPS 424983 HAS SOUS 210066 HAS SOUPS 205807 WITH SCORE 206262.165
AT ITER 3942 NEW BEST:: SOT 1220751 SOS 455156 HAS SOPS 424974 HAS SOUS 210048 HAS SOUPS 205789 WITH SCORE 206244.156
AT ITER 3945 NEW BEST:: SOT 1220632 SOS 455530 HAS SOPS 424861 HAS SOUS 209987 HAS SOUPS 205670 WITH SCORE 206125.53
AT ITER 3946 NEW BEST:: SOT 1220632 SOS 455514 HAS SOPS 424845 HAS SOUS 209987 HAS SOUPS 205670 WITH SCORE 206125.514
AT ITER 4007 NEW BEST:: SOT 1220366 SOS 455248 HAS SOPS 424713 HAS SOUS 209719 HAS SOUPS 205513 WITH SCORE 205968.248
AT ITER 4041 NEW BEST:: SOT 1220366 SOS 455248 HAS SOPS 424713 HAS SOUS 209644 HAS SOUPS 205438 WITH SCORE 205893.248
AT ITER 4059 NEW BEST:: SOT 1220387 SOS 455269 HAS SOPS 424734 HAS SOUS 209540 HAS SOUPS 205334 WITH SCORE 205789.269
AT ITER 4064 NEW BEST:: SOT 1220387 SOS 455196 HAS SOPS 424661 HAS SOUS 209540 HAS SOUPS 205334 WITH SCORE 205789.196
AT ITER 4093 NEW BEST:: SOT 1220381 SOS 455190 HAS SOPS 424655 HAS SOUS 209528 HAS SOUPS 205322 WITH SCORE 205777.19
AT ITER 4100 NEW BEST:: SOT 1220348 SOS 455151 HAS SOPS 424616 HAS SOUS 209491 HAS SOUPS 205285 WITH SCORE 205740.151
AT ITER 4111 NEW BEST:: SOT 1220325 SOS 454760 HAS SOPS 424225 HAS SOUS 209445 HAS SOUPS 205239 WITH SCORE 205693.76
AT ITER 4114 NEW BEST:: SOT 1220233 SOS 454668 HAS SOPS 424133 HAS SOUS 209261 HAS SOUPS 205055 WITH SCORE 205509.668
AT ITER 4131 NEW BEST:: SOT 1220202 SOS 454637 HAS SOPS 424102 HAS SOUS 209257 HAS SOUPS 205051 WITH SCORE 205505.637
AT ITER 4147 NEW BEST:: SOT 1220143 SOS 454583 HAS SOPS 424048 HAS SOUS 209198 HAS SOUPS 204992 WITH SCORE 205446.583
AT ITER 4150 NEW BEST:: SOT 1220143 SOS 454583 HAS SOPS 424048 HAS SOUS 209180 HAS SOUPS 204974 WITH SCORE 205428.583
AT ITER 4180 NEW BEST:: SOT 1220232 SOS 454672 HAS SOPS 424137 HAS SOUS 209178 HAS SOUPS 204972 WITH SCORE 205426.672
AT ITER 4223 NEW BEST:: SOT 1220180 SOS 454620 HAS SOPS 424085 HAS SOUS 209074 HAS SOUPS 204868 WITH SCORE 205322.62
AT ITER 4281 NEW BEST:: SOT 1220164 SOS 454604 HAS SOPS 424053 HAS SOUS 209051 HAS SOUPS 204836 WITH SCORE 205290.604
AT ITER 4286 NEW BEST:: SOT 1220135 SOS 454577 HAS SOPS 424026 HAS SOUS 209022 HAS SOUPS 204807 WITH SCORE 205261.577
AT ITER 4319 NEW BEST:: SOT 1220135 SOS 454549 HAS SOPS 423998 HAS SOUS 209022 HAS SOUPS 204807 WITH SCORE 205261.549
AT ITER 4321 NEW BEST:: SOT 1220103 SOS 454285 HAS SOPS 423734 HAS SOUS 208955 HAS SOUPS 204740 WITH SCORE 205194.285
AT ITER 4382 NEW BEST:: SOT 1219937 SOS 450371 HAS SOPS 419820 HAS SOUS 208613 HAS SOUPS 204398 WITH SCORE 204848.371
AT ITER 4408 NEW BEST:: SOT 1219890 SOS 450277 HAS SOPS 419726 HAS SOUS 208519 HAS SOUPS 204304 WITH SCORE 204754.277
AT ITER 4415 NEW BEST:: SOT 1219794 SOS 450290 HAS SOPS 419643 HAS SOUS 208479 HAS SOUPS 204221 WITH SCORE 204671.29
AT ITER 4426 NEW BEST:: SOT 1219794 SOS 450282 HAS SOPS 419635 HAS SOUS 208479 HAS SOUPS 204221 WITH SCORE 204671.282
AT ITER 4440 NEW BEST:: SOT 1219844 SOS 450332 HAS SOPS 419685 HAS SOUS 208453 HAS SOUPS 204195 WITH SCORE 204645.332
AT ITER 4463 NEW BEST:: SOT 1219844 SOS 450332 HAS SOPS 419685 HAS SOUS 208448 HAS SOUPS 204190 WITH SCORE 204640.332
AT ITER 4504 NEW BEST:: SOT 1219775 SOS 450269 HAS SOPS 419622 HAS SOUS 208379 HAS SOUPS 204121 WITH SCORE 204571.269
AT ITER 4508 NEW BEST:: SOT 1219619 SOS 449938 HAS SOPS 419550 HAS SOUS 208202 HAS SOUPS 203972 WITH SCORE 204421.938
AT ITER 4559 NEW BEST:: SOT 1219495 SOS 449938 HAS SOPS 419550 HAS SOUS 208078 HAS SOUPS 203848 WITH SCORE 204297.938
AT ITER 4627 NEW BEST:: SOT 1219495 SOS 449947 HAS SOPS 419559 HAS SOUS 208077 HAS SOUPS 203847 WITH SCORE 204296.947
AT ITER 4639 NEW BEST:: SOT 1219495 SOS 449884 HAS SOPS 419496 HAS SOUS 208077 HAS SOUPS 203847 WITH SCORE 204296.884
AT ITER 4667 NEW BEST:: SOT 1219473 SOS 449939 HAS SOPS 419474 HAS SOUS 208067 HAS SOUPS 203828 WITH SCORE 204277.939
AT ITER 4682 NEW BEST:: SOT 1219451 SOS 449915 HAS SOPS 419450 HAS SOUS 208022 HAS SOUPS 203783 WITH SCORE 204232.915
AT ITER 4687 NEW BEST:: SOT 1219433 SOS 449915 HAS SOPS 419450 HAS SOUS 207986 HAS SOUPS 203747 WITH SCORE 204196.915
AT ITER 4695 NEW BEST:: SOT 1219433 SOS 449915 HAS SOPS 419450 HAS SOUS 207926 HAS SOUPS 203687 WITH SCORE 204136.915
AT ITER 4700 NEW BEST:: SOT 1219433 SOS 449895 HAS SOPS 419430 HAS SOUS 207926 HAS SOUPS 203687 WITH SCORE 204136.895
AT ITER 4733 NEW BEST:: SOT 1219433 SOS 449895 HAS SOPS 419430 HAS SOUS 207865 HAS SOUPS 203626 WITH SCORE 204075.895
AT ITER 4755 NEW BEST:: SOT 1219433 SOS 449802 HAS SOPS 419337 HAS SOUS 207865 HAS SOUPS 203626 WITH SCORE 204075.802
AT ITER 4762 NEW BEST:: SOT 1219433 SOS 449699 HAS SOPS 419234 HAS SOUS 207865 HAS SOUPS 203626 WITH SCORE 204075.699
AT ITER 4771 NEW BEST:: SOT 1219417 SOS 449677 HAS SOPS 419212 HAS SOUS 207849 HAS SOUPS 203610 WITH SCORE 204059.677
AT ITER 4844 NEW BEST:: SOT 1219438 SOS 449519 HAS SOPS 419054 HAS SOUS 207811 HAS SOUPS 203572 WITH SCORE 204021.519
AT ITER 4854 NEW BEST:: SOT 1219438 SOS 449419 HAS SOPS 418954 HAS SOUS 207811 HAS SOUPS 203572 WITH SCORE 204021.419
AT ITER 4857 NEW BEST:: SOT 1219438 SOS 449372 HAS SOPS 418907 HAS SOUS 207811 HAS SOUPS 203572 WITH SCORE 204021.372
AT ITER 4875 NEW BEST:: SOT 1219339 SOS 449374 HAS SOPS 418909 HAS SOUS 207712 HAS SOUPS 203473 WITH SCORE 203922.374
AT ITER 4881 NEW BEST:: SOT 1219194 SOS 450292 HAS SOPS 418876 HAS SOUS 207822 HAS SOUPS 203471 WITH SCORE 203921.292
AT ITER 4903 NEW BEST:: SOT 1219194 SOS 450272 HAS SOPS 418856 HAS SOUS 207822 HAS SOUPS 203471 WITH SCORE 203921.272
AT ITER 4904 NEW BEST:: SOT 1219091 SOS 450156 HAS SOPS 418845 HAS SOUS 207773 HAS SOUPS 203460 WITH SCORE 203910.156
AT ITER 4950 NEW BEST:: SOT 1219056 SOS 450121 HAS SOPS 418810 HAS SOUS 207738 HAS SOUPS 203425 WITH SCORE 203875.121
AT ITER 4992 NEW BEST:: SOT 1219055 SOS 450120 HAS SOPS 418809 HAS SOUS 207736 HAS SOUPS 203423 WITH SCORE 203873.12
AT ITER 5035 NEW BEST:: SOT 1219201 SOS 450117 HAS SOPS 418806 HAS SOUS 207733 HAS SOUPS 203420 WITH SCORE 203870.117
AT ITER 5059 NEW BEST:: SOT 1219174 SOS 450092 HAS SOPS 418781 HAS SOUS 207706 HAS SOUPS 203393 WITH SCORE 203843.092
AT ITER 5103 NEW BEST:: SOT 1219529 SOS 450383 HAS SOPS 417761 HAS SOUS 206797 HAS SOUPS 202487 WITH SCORE 202937.383
AT ITER 5200 NEW BEST:: SOT 1219490 SOS 449128 HAS SOPS 416506 HAS SOUS 206777 HAS SOUPS 202467 WITH SCORE 202916.128
AT ITER 5226 NEW BEST:: SOT 1219490 SOS 449128 HAS SOPS 416506 HAS SOUS 206680 HAS SOUPS 202370 WITH SCORE 202819.128
AT ITER 5252 NEW BEST:: SOT 1219603 SOS 449188 HAS SOPS 416566 HAS SOUS 206604 HAS SOUPS 202294 WITH SCORE 202743.188
AT ITER 5259 NEW BEST:: SOT 1219470 SOS 449319 HAS SOPS 416721 HAS SOUS 206504 HAS SOUPS 202194 WITH SCORE 202643.319
AT ITER 5278 NEW BEST:: SOT 1219470 SOS 449314 HAS SOPS 416716 HAS SOUS 206499 HAS SOUPS 202189 WITH SCORE 202638.314
AT ITER 5279 NEW BEST:: SOT 1219434 SOS 449278 HAS SOPS 416680 HAS SOUS 206464 HAS SOUPS 202154 WITH SCORE 202603.278
AT ITER 5300 NEW BEST:: SOT 1219434 SOS 449275 HAS SOPS 416677 HAS SOUS 206464 HAS SOUPS 202154 WITH SCORE 202603.275
AT ITER 5308 NEW BEST:: SOT 1219354 SOS 449397 HAS SOPS 416718 HAS SOUS 206380 HAS SOUPS 202057 WITH SCORE 202506.397
AT ITER 5327 NEW BEST:: SOT 1219286 SOS 449318 HAS SOPS 416639 HAS SOUS 206241 HAS SOUPS 201918 WITH SCORE 202367.318
AT ITER 5358 NEW BEST:: SOT 1219286 SOS 449318 HAS SOPS 416639 HAS SOUS 206127 HAS SOUPS 201804 WITH SCORE 202253.318
AT ITER 5359 NEW BEST:: SOT 1219193 SOS 449225 HAS SOPS 416453 HAS SOUS 206032 HAS SOUPS 201709 WITH SCORE 202158.225
AT ITER 5423 NEW BEST:: SOT 1219257 SOS 449289 HAS SOPS 416517 HAS SOUS 205992 HAS SOUPS 201669 WITH SCORE 202118.289
AT ITER 5439 NEW BEST:: SOT 1219257 SOS 449289 HAS SOPS 416517 HAS SOUS 205991 HAS SOUPS 201668 WITH SCORE 202117.289
AT ITER 5445 NEW BEST:: SOT 1219260 SOS 449292 HAS SOPS 416520 HAS SOUS 205860 HAS SOUPS 201537 WITH SCORE 201986.292
AT ITER 5497 NEW BEST:: SOT 1219241 SOS 449273 HAS SOPS 416501 HAS SOUS 205841 HAS SOUPS 201518 WITH SCORE 201967.273
AT ITER 5498 NEW BEST:: SOT 1219230 SOS 449261 HAS SOPS 416492 HAS SOUS 205832 HAS SOUPS 201509 WITH SCORE 201958.261
AT ITER 5523 NEW BEST:: SOT 1219230 SOS 448859 HAS SOPS 416090 HAS SOUS 205832 HAS SOUPS 201509 WITH SCORE 201957.859
AT ITER 5524 NEW BEST:: SOT 1219229 SOS 448858 HAS SOPS 416089 HAS SOUS 205831 HAS SOUPS 201508 WITH SCORE 201956.858
AT ITER 5527 NEW BEST:: SOT 1219150 SOS 448789 HAS SOPS 416020 HAS SOUS 205756 HAS SOUPS 201433 WITH SCORE 201881.789
AT ITER 5534 NEW BEST:: SOT 1219150 SOS 448711 HAS SOPS 415942 HAS SOUS 205678 HAS SOUPS 201355 WITH SCORE 201803.711
AT ITER 5538 NEW BEST:: SOT 1219150 SOS 448667 HAS SOPS 415898 HAS SOUS 205678 HAS SOUPS 201355 WITH SCORE 201803.667
AT ITER 5539 NEW BEST:: SOT 1219150 SOS 448648 HAS SOPS 415879 HAS SOUS 205678 HAS SOUPS 201355 WITH SCORE 201803.648
AT ITER 5548 NEW BEST:: SOT 1219113 SOS 448611 HAS SOPS 415842 HAS SOUS 205604 HAS SOUPS 201281 WITH SCORE 201729.611
AT ITER 5562 NEW BEST:: SOT 1219113 SOS 448603 HAS SOPS 415842 HAS SOUS 205603 HAS SOUPS 201281 WITH SCORE 201729.603
AT ITER 5591 NEW BEST:: SOT 1218921 SOS 448411 HAS SOPS 415650 HAS SOUS 205315 HAS SOUPS 200993 WITH SCORE 201441.411
AT ITER 5593 NEW BEST:: SOT 1218838 SOS 448328 HAS SOPS 415650 HAS SOUS 205232 HAS SOUPS 200910 WITH SCORE 201358.328
AT ITER 5622 NEW BEST:: SOT 1218838 SOS 448153 HAS SOPS 415475 HAS SOUS 205232 HAS SOUPS 200910 WITH SCORE 201358.153
AT ITER 5642 NEW BEST:: SOT 1218827 SOS 448153 HAS SOPS 415475 HAS SOUS 205221 HAS SOUPS 200899 WITH SCORE 201347.153
AT ITER 5735 NEW BEST:: SOT 1218786 SOS 448166 HAS SOPS 415488 HAS SOUS 205180 HAS SOUPS 200858 WITH SCORE 201306.166
AT ITER 5738 NEW BEST:: SOT 1218786 SOS 448166 HAS SOPS 415488 HAS SOUS 205114 HAS SOUPS 200792 WITH SCORE 201240.166
AT ITER 5742 NEW BEST:: SOT 1218745 SOS 448288 HAS SOPS 415610 HAS SOUS 205111 HAS SOUPS 200789 WITH SCORE 201237.288
AT ITER 5756 NEW BEST:: SOT 1218744 SOS 448287 HAS SOPS 415609 HAS SOUS 205110 HAS SOUPS 200788 WITH SCORE 201236.287
AT ITER 5840 NEW BEST:: SOT 1218652 SOS 448109 HAS SOPS 415431 HAS SOUS 205017 HAS SOUPS 200695 WITH SCORE 201143.109
AT ITER 5905 NEW BEST:: SOT 1218652 SOS 447898 HAS SOPS 415220 HAS SOUS 205017 HAS SOUPS 200695 WITH SCORE 201142.898
AT ITER 5913 NEW BEST:: SOT 1218652 SOS 447896 HAS SOPS 415218 HAS SOUS 205017 HAS SOUPS 200695 WITH SCORE 201142.896
AT ITER 5925 NEW BEST:: SOT 1218533 SOS 447359 HAS SOPS 414681 HAS SOUS 204838 HAS SOUPS 200516 WITH SCORE 200963.359
AT ITER 5935 NEW BEST:: SOT 1218533 SOS 447348 HAS SOPS 414670 HAS SOUS 204838 HAS SOUPS 200516 WITH SCORE 200963.348
AT ITER 5948 NEW BEST:: SOT 1218501 SOS 447348 HAS SOPS 414670 HAS SOUS 204806 HAS SOUPS 200484 WITH SCORE 200931.348
AT ITER 5973 NEW BEST:: SOT 1218478 SOS 447348 HAS SOPS 414670 HAS SOUS 204783 HAS SOUPS 200461 WITH SCORE 200908.348
AT ITER 6008 NEW BEST:: SOT 1218427 SOS 447385 HAS SOPS 414707 HAS SOUS 204742 HAS SOUPS 200420 WITH SCORE 200867.385
AT ITER 6071 NEW BEST:: SOT 1218415 SOS 447346 HAS SOPS 414668 HAS SOUS 204730 HAS SOUPS 200408 WITH SCORE 200855.346
AT ITER 6077 NEW BEST:: SOT 1218560 SOS 447491 HAS SOPS 414268 HAS SOUS 204383 HAS SOUPS 200054 WITH SCORE 200501.491
AT ITER 6146 NEW BEST:: SOT 1218560 SOS 445726 HAS SOPS 412503 HAS SOUS 204383 HAS SOUPS 200054 WITH SCORE 200499.726
AT ITER 6201 NEW BEST:: SOT 1218629 SOS 445678 HAS SOPS 412455 HAS SOUS 204152 HAS SOUPS 199823 WITH SCORE 200268.678
AT ITER 6265 NEW BEST:: SOT 1218588 SOS 445662 HAS SOPS 412439 HAS SOUS 204150 HAS SOUPS 199821 WITH SCORE 200266.662
AT ITER 6333 NEW BEST:: SOT 1218558 SOS 445632 HAS SOPS 412409 HAS SOUS 204120 HAS SOUPS 199791 WITH SCORE 200236.632
AT ITER 6340 NEW BEST:: SOT 1218558 SOS 445524 HAS SOPS 412301 HAS SOUS 204120 HAS SOUPS 199791 WITH SCORE 200236.524
AT ITER 6359 NEW BEST:: SOT 1218594 SOS 445499 HAS SOPS 412276 HAS SOUS 204115 HAS SOUPS 199786 WITH SCORE 200231.499
AT ITER 6390 NEW BEST:: SOT 1218653 SOS 445558 HAS SOPS 412335 HAS SOUS 204068 HAS SOUPS 199739 WITH SCORE 200184.558
AT ITER 6399 NEW BEST:: SOT 1218652 SOS 445557 HAS SOPS 412334 HAS SOUS 204066 HAS SOUPS 199737 WITH SCORE 200182.557
AT ITER 6405 NEW BEST:: SOT 1218645 SOS 445489 HAS SOPS 412266 HAS SOUS 204059 HAS SOUPS 199730 WITH SCORE 200175.489
AT ITER 6417 NEW BEST:: SOT 1218479 SOS 445592 HAS SOPS 412369 HAS SOUS 203990 HAS SOUPS 199661 WITH SCORE 200106.592
AT ITER 6460 NEW BEST:: SOT 1218459 SOS 445452 HAS SOPS 412229 HAS SOUS 203950 HAS SOUPS 199621 WITH SCORE 200066.452
AT ITER 6513 NEW BEST:: SOT 1218477 SOS 445446 HAS SOPS 412223 HAS SOUS 203944 HAS SOUPS 199615 WITH SCORE 200060.446
AT ITER 6531 NEW BEST:: SOT 1218549 SOS 445444 HAS SOPS 412221 HAS SOUS 203942 HAS SOUPS 199613 WITH SCORE 200058.444
AT ITER 6532 NEW BEST:: SOT 1218548 SOS 445417 HAS SOPS 412194 HAS SOUS 203915 HAS SOUPS 199586 WITH SCORE 200031.417
AT ITER 6543 NEW BEST:: SOT 1218566 SOS 445435 HAS SOPS 412212 HAS SOUS 203896 HAS SOUPS 199567 WITH SCORE 200012.435
AT ITER 6591 NEW BEST:: SOT 1218566 SOS 445433 HAS SOPS 412210 HAS SOUS 203896 HAS SOUPS 199567 WITH SCORE 200012.433
AT ITER 6603 NEW BEST:: SOT 1218504 SOS 445366 HAS SOPS 412081 HAS SOUS 203773 HAS SOUPS 199443 WITH SCORE 199888.366
AT ITER 6621 NEW BEST:: SOT 1218504 SOS 445366 HAS SOPS 412081 HAS SOUS 203748 HAS SOUPS 199418 WITH SCORE 199863.366
AT ITER 6644 NEW BEST:: SOT 1218491 SOS 445372 HAS SOPS 412087 HAS SOUS 203735 HAS SOUPS 199405 WITH SCORE 199850.372
AT ITER 6648 NEW BEST:: SOT 1218491 SOS 445315 HAS SOPS 412030 HAS SOUS 203735 HAS SOUPS 199405 WITH SCORE 199850.315
AT ITER 6650 NEW BEST:: SOT 1218491 SOS 445205 HAS SOPS 411920 HAS SOUS 203735 HAS SOUPS 199405 WITH SCORE 199850.205
AT ITER 6662 NEW BEST:: SOT 1218539 SOS 445253 HAS SOPS 411968 HAS SOUS 203672 HAS SOUPS 199342 WITH SCORE 199787.253
AT ITER 6664 NEW BEST:: SOT 1218519 SOS 445217 HAS SOPS 411932 HAS SOUS 203632 HAS SOUPS 199302 WITH SCORE 199747.217
AT ITER 6701 NEW BEST:: SOT 1218519 SOS 445216 HAS SOPS 411883 HAS SOUS 203632 HAS SOUPS 199302 WITH SCORE 199747.216
AT ITER 6725 NEW BEST:: SOT 1218478 SOS 445151 HAS SOPS 411818 HAS SOUS 203550 HAS SOUPS 199220 WITH SCORE 199665.151
AT ITER 6753 NEW BEST:: SOT 1218388 SOS 445195 HAS SOPS 411862 HAS SOUS 203496 HAS SOUPS 199166 WITH SCORE 199611.195
AT ITER 6754 NEW BEST:: SOT 1218385 SOS 445192 HAS SOPS 411859 HAS SOUS 203496 HAS SOUPS 199166 WITH SCORE 199611.192
AT ITER 6778 NEW BEST:: SOT 1218412 SOS 445219 HAS SOPS 411886 HAS SOUS 203401 HAS SOUPS 199071 WITH SCORE 199516.219
AT ITER 6831 NEW BEST:: SOT 1218398 SOS 444787 HAS SOPS 411454 HAS SOUS 203360 HAS SOUPS 199030 WITH SCORE 199474.787
AT ITER 6861 NEW BEST:: SOT 1218338 SOS 444727 HAS SOPS 411394 HAS SOUS 203240 HAS SOUPS 198910 WITH SCORE 199354.727
AT ITER 6866 NEW BEST:: SOT 1218318 SOS 444710 HAS SOPS 411377 HAS SOUS 203220 HAS SOUPS 198890 WITH SCORE 199334.71
AT ITER 6868 NEW BEST:: SOT 1218317 SOS 444613 HAS SOPS 411375 HAS SOUS 203211 HAS SOUPS 198888 WITH SCORE 199332.613
AT ITER 6981 NEW BEST:: SOT 1218212 SOS 444528 HAS SOPS 411290 HAS SOUS 203211 HAS SOUPS 198888 WITH SCORE 199332.528
AT ITER 6982 NEW BEST:: SOT 1218212 SOS 444104 HAS SOPS 410866 HAS SOUS 203211 HAS SOUPS 198888 WITH SCORE 199332.104
AT ITER 7029 NEW BEST:: SOT 1218212 SOS 444104 HAS SOPS 410866 HAS SOUS 203202 HAS SOUPS 198879 WITH SCORE 199323.104
AT ITER 7058 NEW BEST:: SOT 1218217 SOS 444109 HAS SOPS 410871 HAS SOUS 203189 HAS SOUPS 198866 WITH SCORE 199310.109
AT ITER 7072 NEW BEST:: SOT 1218211 SOS 444103 HAS SOPS 410865 HAS SOUS 203177 HAS SOUPS 198854 WITH SCORE 199298.103
AT ITER 7076 NEW BEST:: SOT 1218173 SOS 444065 HAS SOPS 410789 HAS SOUS 203101 HAS SOUPS 198778 WITH SCORE 199222.065
AT ITER 7085 NEW BEST:: SOT 1218149 SOS 444041 HAS SOPS 410741 HAS SOUS 203053 HAS SOUPS 198730 WITH SCORE 199174.041
AT ITER 7091 NEW BEST:: SOT 1218149 SOS 444039 HAS SOPS 410739 HAS SOUS 203053 HAS SOUPS 198730 WITH SCORE 199174.039
AT ITER 7173 NEW BEST:: SOT 1218144 SOS 443986 HAS SOPS 410686 HAS SOUS 203043 HAS SOUPS 198720 WITH SCORE 199163.986
AT ITER 7174 NEW BEST:: SOT 1218144 SOS 443938 HAS SOPS 410638 HAS SOUS 203043 HAS SOUPS 198720 WITH SCORE 199163.938
AT ITER 7291 NEW BEST:: SOT 1218144 SOS 443879 HAS SOPS 410579 HAS SOUS 203043 HAS SOUPS 198720 WITH SCORE 199163.879
AT ITER 7317 NEW BEST:: SOT 1218144 SOS 443870 HAS SOPS 410570 HAS SOUS 203041 HAS SOUPS 198718 WITH SCORE 199161.87
AT ITER 7332 NEW BEST:: SOT 1218041 SOS 443767 HAS SOPS 410570 HAS SOUS 202938 HAS SOUPS 198615 WITH SCORE 199058.767
AT ITER 7387 NEW BEST:: SOT 1218041 SOS 443767 HAS SOPS 410570 HAS SOUS 202817 HAS SOUPS 198494 WITH SCORE 198937.767
AT ITER 7440 NEW BEST:: SOT 1217955 SOS 442706 HAS SOPS 409509 HAS SOUS 202731 HAS SOUPS 198408 WITH SCORE 198850.706
AT ITER 7521 NEW BEST:: SOT 1217960 SOS 442711 HAS SOPS 409514 HAS SOUS 202660 HAS SOUPS 198337 WITH SCORE 198779.711
AT ITER 7547 NEW BEST:: SOT 1217957 SOS 442729 HAS SOPS 409479 HAS SOUS 202654 HAS SOUPS 198331 WITH SCORE 198773.729
AT ITER 7593 NEW BEST:: SOT 1217957 SOS 442729 HAS SOPS 409479 HAS SOUS 202639 HAS SOUPS 198316 WITH SCORE 198758.729
AT ITER 7617 NEW BEST:: SOT 1217934 SOS 442587 HAS SOPS 409337 HAS SOUS 202570 HAS SOUPS 198247 WITH SCORE 198689.587
AT ITER 7653 NEW BEST:: SOT 1218325 SOS 442936 HAS SOPS 408090 HAS SOUS 201382 HAS SOUPS 197060 WITH SCORE 197502.936
AT ITER 7665 NEW BEST:: SOT 1218311 SOS 442922 HAS SOPS 408076 HAS SOUS 201354 HAS SOUPS 197032 WITH SCORE 197474.922
AT ITER 7688 NEW BEST:: SOT 1218270 SOS 442827 HAS SOPS 407981 HAS SOUS 201280 HAS SOUPS 196958 WITH SCORE 197400.827
AT ITER 7714 NEW BEST:: SOT 1218270 SOS 442761 HAS SOPS 407915 HAS SOUS 201280 HAS SOUPS 196958 WITH SCORE 197400.761
AT ITER 7725 NEW BEST:: SOT 1218270 SOS 442733 HAS SOPS 407887 HAS SOUS 201280 HAS SOUPS 196958 WITH SCORE 197400.733
AT ITER 7791 NEW BEST:: SOT 1218270 SOS 442728 HAS SOPS 407882 HAS SOUS 201280 HAS SOUPS 196958 WITH SCORE 197400.728
AT ITER 7797 NEW BEST:: SOT 1218270 SOS 442708 HAS SOPS 407862 HAS SOUS 201260 HAS SOUPS 196938 WITH SCORE 197380.708
AT ITER 7813 NEW BEST:: SOT 1218270 SOS 442637 HAS SOPS 407791 HAS SOUS 201230 HAS SOUPS 196908 WITH SCORE 197350.637
AT ITER 7836 NEW BEST:: SOT 1218266 SOS 442633 HAS SOPS 407787 HAS SOUS 201226 HAS SOUPS 196904 WITH SCORE 197346.633
AT ITER 7940 NEW BEST:: SOT 1218266 SOS 442371 HAS SOPS 407525 HAS SOUS 201226 HAS SOUPS 196904 WITH SCORE 197346.371
AT ITER 7964 NEW BEST:: SOT 1218266 SOS 442365 HAS SOPS 407519 HAS SOUS 201220 HAS SOUPS 196898 WITH SCORE 197340.365
AT ITER 8014 NEW BEST:: SOT 1218252 SOS 442351 HAS SOPS 407505 HAS SOUS 201192 HAS SOUPS 196870 WITH SCORE 197312.351
AT ITER 8025 NEW BEST:: SOT 1218332 SOS 442431 HAS SOPS 407585 HAS SOUS 201148 HAS SOUPS 196826 WITH SCORE 197268.431
AT ITER 8033 NEW BEST:: SOT 1218332 SOS 442428 HAS SOPS 407582 HAS SOUS 201148 HAS SOUPS 196826 WITH SCORE 197268.428
AT ITER 8080 NEW BEST:: SOT 1218306 SOS 442402 HAS SOPS 407556 HAS SOUS 201096 HAS SOUPS 196774 WITH SCORE 197216.402
AT ITER 8142 NEW BEST:: SOT 1218306 SOS 442385 HAS SOPS 407539 HAS SOUS 201079 HAS SOUPS 196757 WITH SCORE 197199.385
AT ITER 8155 NEW BEST:: SOT 1218330 SOS 442409 HAS SOPS 407563 HAS SOUS 201023 HAS SOUPS 196701 WITH SCORE 197143.409
AT ITER 8206 NEW BEST:: SOT 1218321 SOS 442372 HAS SOPS 407526 HAS SOUS 201005 HAS SOUPS 196683 WITH SCORE 197125.372
AT ITER 8234 NEW BEST:: SOT 1218337 SOS 442388 HAS SOPS 407542 HAS SOUS 200894 HAS SOUPS 196572 WITH SCORE 197014.388
AT ITER 8243 NEW BEST:: SOT 1218303 SOS 442381 HAS SOPS 407535 HAS SOUS 200887 HAS SOUPS 196565 WITH SCORE 197007.381
AT ITER 8245 NEW BEST:: SOT 1218251 SOS 442329 HAS SOPS 407483 HAS SOUS 200810 HAS SOUPS 196488 WITH SCORE 196930.329
AT ITER 8258 NEW BEST:: SOT 1218077 SOS 443354 HAS SOPS 407325 HAS SOUS 200798 HAS SOUPS 196364 WITH SCORE 196807.354
AT ITER 8262 NEW BEST:: SOT 1218032 SOS 443354 HAS SOPS 407325 HAS SOUS 200753 HAS SOUPS 196319 WITH SCORE 196762.354
AT ITER 8279 NEW BEST:: SOT 1217985 SOS 443297 HAS SOPS 407268 HAS SOUS 200672 HAS SOUPS 196238 WITH SCORE 196681.297
AT ITER 8309 NEW BEST:: SOT 1218003 SOS 443315 HAS SOPS 407286 HAS SOUS 200669 HAS SOUPS 196235 WITH SCORE 196678.315
AT ITER 8310 NEW BEST:: SOT 1217996 SOS 443326 HAS SOPS 407290 HAS SOUS 200655 HAS SOUPS 196221 WITH SCORE 196664.326
AT ITER 8387 NEW BEST:: SOT 1217995 SOS 443325 HAS SOPS 407289 HAS SOUS 200653 HAS SOUPS 196219 WITH SCORE 196662.325
AT ITER 8390 NEW BEST:: SOT 1217989 SOS 443319 HAS SOPS 407283 HAS SOUS 200641 HAS SOUPS 196207 WITH SCORE 196650.319
AT ITER 8412 NEW BEST:: SOT 1217989 SOS 443295 HAS SOPS 407259 HAS SOUS 200641 HAS SOUPS 196207 WITH SCORE 196650.295
AT ITER 8427 NEW BEST:: SOT 1217967 SOS 443219 HAS SOPS 407161 HAS SOUS 200597 HAS SOUPS 196163 WITH SCORE 196606.219
AT ITER 8474 NEW BEST:: SOT 1218020 SOS 443272 HAS SOPS 407214 HAS SOUS 200540 HAS SOUPS 196106 WITH SCORE 196549.272
AT ITER 8522 NEW BEST:: SOT 1217967 SOS 443219 HAS SOPS 407161 HAS SOUS 200540 HAS SOUPS 196106 WITH SCORE 196549.219
AT ITER 8523 NEW BEST:: SOT 1217544 SOS 444054 HAS SOPS 407944 HAS SOUS 200139 HAS SOUPS 195705 WITH SCORE 196149.054
AT ITER 8557 NEW BEST:: SOT 1217503 SOS 444097 HAS SOPS 407946 HAS SOUS 200105 HAS SOUPS 195623 WITH SCORE 196067.097
AT ITER 8562 NEW BEST:: SOT 1217531 SOS 444125 HAS SOPS 407974 HAS SOUS 200012 HAS SOUPS 195530 WITH SCORE 195974.125
AT ITER 8641 NEW BEST:: SOT 1217528 SOS 444122 HAS SOPS 407971 HAS SOUS 200006 HAS SOUPS 195524 WITH SCORE 195968.122
AT ITER 8648 NEW BEST:: SOT 1217523 SOS 444115 HAS SOPS 407959 HAS SOUS 199996 HAS SOUPS 195514 WITH SCORE 195958.115
AT ITER 8653 NEW BEST:: SOT 1217523 SOS 444102 HAS SOPS 407946 HAS SOUS 199995 HAS SOUPS 195513 WITH SCORE 195957.102
AT ITER 8660 NEW BEST:: SOT 1217448 SOS 444102 HAS SOPS 407946 HAS SOUS 199920 HAS SOUPS 195438 WITH SCORE 195882.102
AT ITER 8695 NEW BEST:: SOT 1217448 SOS 444102 HAS SOPS 407946 HAS SOUS 199845 HAS SOUPS 195363 WITH SCORE 195807.102
AT ITER 8721 NEW BEST:: SOT 1217418 SOS 444145 HAS SOPS 407959 HAS SOUS 199785 HAS SOUPS 195303 WITH SCORE 195747.145
AT ITER 8752 NEW BEST:: SOT 1217406 SOS 444133 HAS SOPS 407935 HAS SOUS 199761 HAS SOUPS 195279 WITH SCORE 195723.133
AT ITER 8825 NEW BEST:: SOT 1217413 SOS 445025 HAS SOPS 408827 HAS SOUS 199712 HAS SOUPS 195230 WITH SCORE 195675.025
AT ITER 8852 NEW BEST:: SOT 1217409 SOS 445053 HAS SOPS 408855 HAS SOUS 199708 HAS SOUPS 195226 WITH SCORE 195671.053
AT ITER 8854 NEW BEST:: SOT 1217403 SOS 445047 HAS SOPS 408849 HAS SOUS 199696 HAS SOUPS 195214 WITH SCORE 195659.047
AT ITER 8915 NEW BEST:: SOT 1217359 SOS 445003 HAS SOPS 408805 HAS SOUS 199608 HAS SOUPS 195126 WITH SCORE 195571.003
AT ITER 8927 NEW BEST:: SOT 1217319 SOS 445075 HAS SOPS 408820 HAS SOUS 199605 HAS SOUPS 195113 WITH SCORE 195558.075
AT ITER 8938 NEW BEST:: SOT 1217319 SOS 445012 HAS SOPS 408757 HAS SOUS 199605 HAS SOUPS 195113 WITH SCORE 195558.012
AT ITER 8941 NEW BEST:: SOT 1217191 SOS 445278 HAS SOPS 408647 HAS SOUS 199524 HAS SOUPS 194985 WITH SCORE 195430.278
AT ITER 8943 NEW BEST:: SOT 1217184 SOS 445229 HAS SOPS 408598 HAS SOUS 199510 HAS SOUPS 194971 WITH SCORE 195416.229
AT ITER 8946 NEW BEST:: SOT 1217174 SOS 445105 HAS SOPS 408474 HAS SOUS 199490 HAS SOUPS 194951 WITH SCORE 195396.105
AT ITER 8952 NEW BEST:: SOT 1217174 SOS 445099 HAS SOPS 408468 HAS SOUS 199484 HAS SOUPS 194945 WITH SCORE 195390.099
AT ITER 8996 NEW BEST:: SOT 1217142 SOS 445035 HAS SOPS 408404 HAS SOUS 199452 HAS SOUPS 194913 WITH SCORE 195358.035
AT ITER 8998 NEW BEST:: SOT 1217142 SOS 445085 HAS SOPS 408454 HAS SOUS 199450 HAS SOUPS 194911 WITH SCORE 195356.085
AT ITER 9161 NEW BEST:: SOT 1217142 SOS 445085 HAS SOPS 408454 HAS SOUS 199360 HAS SOUPS 194821 WITH SCORE 195266.085
AT ITER 9169 NEW BEST:: SOT 1217104 SOS 445085 HAS SOPS 408454 HAS SOUS 199316 HAS SOUPS 194777 WITH SCORE 195222.085
AT ITER 9178 NEW BEST:: SOT 1217092 SOS 445073 HAS SOPS 408442 HAS SOUS 199292 HAS SOUPS 194753 WITH SCORE 195198.073
AT ITER 9227 NEW BEST:: SOT 1217092 SOS 444988 HAS SOPS 408357 HAS SOUS 199292 HAS SOUPS 194753 WITH SCORE 195197.988
AT ITER 9250 NEW BEST:: SOT 1217076 SOS 444760 HAS SOPS 408129 HAS SOUS 199276 HAS SOUPS 194737 WITH SCORE 195181.76
AT ITER 9291 NEW BEST:: SOT 1217075 SOS 444780 HAS SOPS 408074 HAS SOUS 199221 HAS SOUPS 194682 WITH SCORE 195126.78
AT ITER 9312 NEW BEST:: SOT 1217017 SOS 444730 HAS SOPS 408024 HAS SOUS 199202 HAS SOUPS 194663 WITH SCORE 195107.73
AT ITER 9323 NEW BEST:: SOT 1217003 SOS 444698 HAS SOPS 407978 HAS SOUS 199156 HAS SOUPS 194617 WITH SCORE 195061.698
AT ITER 9325 NEW BEST:: SOT 1216987 SOS 444889 HAS SOPS 408060 HAS SOUS 199183 HAS SOUPS 194585 WITH SCORE 195029.889
AT ITER 9344 NEW BEST:: SOT 1216987 SOS 444877 HAS SOPS 408048 HAS SOUS 199171 HAS SOUPS 194573 WITH SCORE 195017.877
AT ITER 9345 NEW BEST:: SOT 1216987 SOS 444861 HAS SOPS 408032 HAS SOUS 199155 HAS SOUPS 194557 WITH SCORE 195001.861
AT ITER 9387 NEW BEST:: SOT 1216960 SOS 444828 HAS SOPS 407999 HAS SOUS 199122 HAS SOUPS 194524 WITH SCORE 194968.828
AT ITER 9392 NEW BEST:: SOT 1216936 SOS 444804 HAS SOPS 407975 HAS SOUS 199103 HAS SOUPS 194505 WITH SCORE 194949.804
AT ITER 9431 NEW BEST:: SOT 1216948 SOS 444781 HAS SOPS 407952 HAS SOUS 199080 HAS SOUPS 194482 WITH SCORE 194926.781
AT ITER 9476 NEW BEST:: SOT 1216947 SOS 444780 HAS SOPS 407950 HAS SOUS 199078 HAS SOUPS 194480 WITH SCORE 194924.78
AT ITER 9478 NEW BEST:: SOT 1216947 SOS 444779 HAS SOPS 407949 HAS SOUS 199077 HAS SOUPS 194479 WITH SCORE 194923.779
AT ITER 9488 NEW BEST:: SOT 1216914 SOS 444736 HAS SOPS 407906 HAS SOUS 199015 HAS SOUPS 194417 WITH SCORE 194861.736
AT ITER 9524 NEW BEST:: SOT 1216907 SOS 444744 HAS SOPS 407907 HAS SOUS 199008 HAS SOUPS 194403 WITH SCORE 194847.744
AT ITER 9535 NEW BEST:: SOT 1216907 SOS 444740 HAS SOPS 407856 HAS SOUS 199008 HAS SOUPS 194403 WITH SCORE 194847.74
AT ITER 9577 NEW BEST:: SOT 1216809 SOS 444748 HAS SOPS 407864 HAS SOUS 198910 HAS SOUPS 194305 WITH SCORE 194749.748
AT ITER 9586 NEW BEST:: SOT 1216821 SOS 444760 HAS SOPS 407876 HAS SOUS 198899 HAS SOUPS 194294 WITH SCORE 194738.76
AT ITER 9592 NEW BEST:: SOT 1216785 SOS 444724 HAS SOPS 407840 HAS SOUS 198863 HAS SOUPS 194258 WITH SCORE 194702.724
AT ITER 9612 NEW BEST:: SOT 1216769 SOS 444755 HAS SOPS 407871 HAS SOUS 198852 HAS SOUPS 194247 WITH SCORE 194691.755
AT ITER 9670 NEW BEST:: SOT 1216727 SOS 444713 HAS SOPS 407829 HAS SOUS 198810 HAS SOUPS 194205 WITH SCORE 194649.713
AT ITER 9743 NEW BEST:: SOT 1216735 SOS 444299 HAS SOPS 407415 HAS SOUS 198726 HAS SOUPS 194121 WITH SCORE 194565.299
AT ITER 9750 NEW BEST:: SOT 1216735 SOS 444298 HAS SOPS 407414 HAS SOUS 198726 HAS SOUPS 194121 WITH SCORE 194565.298
AT ITER 9760 NEW BEST:: SOT 1216720 SOS 444281 HAS SOPS 407397 HAS SOUS 198709 HAS SOUPS 194104 WITH SCORE 194548.281
AT ITER 9780 NEW BEST:: SOT 1216666 SOS 444363 HAS SOPS 407353 HAS SOUS 198667 HAS SOUPS 194048 WITH SCORE 194492.363
AT ITER 9790 NEW BEST:: SOT 1216642 SOS 444284 HAS SOPS 407274 HAS SOUS 198619 HAS SOUPS 194000 WITH SCORE 194444.284
AT ITER 9838 NEW BEST:: SOT 1216639 SOS 444281 HAS SOPS 407271 HAS SOUS 198616 HAS SOUPS 193997 WITH SCORE 194441.281
AT ITER 9848 NEW BEST:: SOT 1216546 SOS 444431 HAS SOPS 407205 HAS SOUS 198577 HAS SOUPS 193931 WITH SCORE 194375.431
AT ITER 9928 NEW BEST:: SOT 1216447 SOS 444436 HAS SOPS 407210 HAS SOUS 198482 HAS SOUPS 193836 WITH SCORE 194280.436
AT ITER 9953 NEW BEST:: SOT 1216444 SOS 444433 HAS SOPS 407207 HAS SOUS 198479 HAS SOUPS 193833 WITH SCORE 194277.433
AT ITER 9997 NEW BEST:: SOT 1216444 SOS 444421 HAS SOPS 407195 HAS SOUS 198470 HAS SOUPS 193824 WITH SCORE 194268.421
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6453156 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124096 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="LeafsetExtension-PT-S16C3"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is LeafsetExtension-PT-S16C3, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r235-tall-167856421800488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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