Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 6.2K Feb 25 16:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 16:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 16:45 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:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 16:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 25 16:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 16:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 16:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 85K 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 1678790156139

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=BusinessProcesses-PT-05
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 10:35:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 10:35:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 10:35:58] [INFO ] Load time of PNML (sax parser for PT used): 77 ms
[2023-03-14 10:35:58] [INFO ] Transformed 368 places.
[2023-03-14 10:35:58] [INFO ] Transformed 319 transitions.
[2023-03-14 10:35:58] [INFO ] Found NUPN structural information;
[2023-03-14 10:35:58] [INFO ] Parsed PT model containing 368 places and 319 transitions and 854 arcs in 170 ms.
[2023-03-14 10:35:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 368 places, 319 transitions and 854 arcs took 7 ms.
Total runtime 214 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 05
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: 368 places, 319 transitions, 854 arcs.
AT ITER 0 NEW BEST:: SOT 75677 SOS 32211 HAS SOPS 32211 HAS SOUS 30928 HAS SOUPS 30928 WITH SCORE 30960.211
AT ITER 7 NEW BEST:: SOT 75677 SOS 32197 HAS SOPS 32197 HAS SOUS 30914 HAS SOUPS 30914 WITH SCORE 30946.197
AT ITER 8 NEW BEST:: SOT 75694 SOS 32148 HAS SOPS 32148 HAS SOUS 30862 HAS SOUPS 30862 WITH SCORE 30894.148
AT ITER 11 NEW BEST:: SOT 75694 SOS 32113 HAS SOPS 32113 HAS SOUS 30827 HAS SOUPS 30827 WITH SCORE 30859.113
AT ITER 16 NEW BEST:: SOT 75694 SOS 32107 HAS SOPS 32107 HAS SOUS 30821 HAS SOUPS 30821 WITH SCORE 30853.107
AT ITER 20 NEW BEST:: SOT 75629 SOS 31948 HAS SOPS 31948 HAS SOUS 30730 HAS SOUPS 30730 WITH SCORE 30761.948
AT ITER 22 NEW BEST:: SOT 75501 SOS 31755 HAS SOPS 31755 HAS SOUS 30570 HAS SOUPS 30570 WITH SCORE 30601.755
AT ITER 25 NEW BEST:: SOT 75501 SOS 31729 HAS SOPS 31729 HAS SOUS 30544 HAS SOUPS 30544 WITH SCORE 30575.729
AT ITER 26 NEW BEST:: SOT 75480 SOS 31793 HAS SOPS 31793 HAS SOUS 30485 HAS SOUPS 30485 WITH SCORE 30516.793
AT ITER 34 NEW BEST:: SOT 75579 SOS 31778 HAS SOPS 31778 HAS SOUS 30470 HAS SOUPS 30470 WITH SCORE 30501.778
AT ITER 40 NEW BEST:: SOT 75490 SOS 31666 HAS SOPS 31666 HAS SOUS 30380 HAS SOUPS 30380 WITH SCORE 30411.666
AT ITER 41 NEW BEST:: SOT 73215 SOS 29682 HAS SOPS 29682 HAS SOUS 28225 HAS SOUPS 28225 WITH SCORE 28254.682
AT ITER 43 NEW BEST:: SOT 73185 SOS 29659 HAS SOPS 29659 HAS SOUS 28202 HAS SOUPS 28202 WITH SCORE 28231.659
AT ITER 46 NEW BEST:: SOT 73168 SOS 29642 HAS SOPS 29642 HAS SOUS 28185 HAS SOUPS 28185 WITH SCORE 28214.642
AT ITER 51 NEW BEST:: SOT 73101 SOS 29575 HAS SOPS 29575 HAS SOUS 28118 HAS SOUPS 28118 WITH SCORE 28147.575
AT ITER 64 NEW BEST:: SOT 73101 SOS 29527 HAS SOPS 29527 HAS SOUS 28070 HAS SOUPS 28070 WITH SCORE 28099.527
AT ITER 65 NEW BEST:: SOT 73077 SOS 29590 HAS SOPS 29590 HAS SOUS 28020 HAS SOUPS 28020 WITH SCORE 28049.59
AT ITER 66 NEW BEST:: SOT 73010 SOS 29563 HAS SOPS 29563 HAS SOUS 27993 HAS SOUPS 27993 WITH SCORE 28022.563
AT ITER 67 NEW BEST:: SOT 72995 SOS 29518 HAS SOPS 29518 HAS SOUS 27993 HAS SOUPS 27993 WITH SCORE 28022.518
AT ITER 70 NEW BEST:: SOT 72998 SOS 29476 HAS SOPS 29476 HAS SOUS 27951 HAS SOUPS 27951 WITH SCORE 27980.476
AT ITER 74 NEW BEST:: SOT 72891 SOS 29262 HAS SOPS 29262 HAS SOUS 27737 HAS SOUPS 27737 WITH SCORE 27766.262
AT ITER 80 NEW BEST:: SOT 72842 SOS 29213 HAS SOPS 29213 HAS SOUS 27691 HAS SOUPS 27691 WITH SCORE 27720.213
AT ITER 81 NEW BEST:: SOT 72831 SOS 29202 HAS SOPS 29202 HAS SOUS 27680 HAS SOUPS 27680 WITH SCORE 27709.202
AT ITER 82 NEW BEST:: SOT 72743 SOS 29072 HAS SOPS 29072 HAS SOUS 27658 HAS SOUPS 27658 WITH SCORE 27687.072
AT ITER 94 NEW BEST:: SOT 72555 SOS 28822 HAS SOPS 28822 HAS SOUS 27408 HAS SOUPS 27408 WITH SCORE 27436.822
AT ITER 97 NEW BEST:: SOT 72545 SOS 28811 HAS SOPS 28811 HAS SOUS 27406 HAS SOUPS 27406 WITH SCORE 27434.811
AT ITER 98 NEW BEST:: SOT 72536 SOS 28654 HAS SOPS 28654 HAS SOUS 27249 HAS SOUPS 27249 WITH SCORE 27277.654
AT ITER 109 NEW BEST:: SOT 72535 SOS 28551 HAS SOPS 28551 HAS SOUS 27146 HAS SOUPS 27146 WITH SCORE 27174.551
AT ITER 113 NEW BEST:: SOT 72454 SOS 28373 HAS SOPS 28373 HAS SOUS 26968 HAS SOUPS 26968 WITH SCORE 26996.373
AT ITER 116 NEW BEST:: SOT 72454 SOS 28361 HAS SOPS 28361 HAS SOUS 26967 HAS SOUPS 26967 WITH SCORE 26995.361
AT ITER 117 NEW BEST:: SOT 72507 SOS 28381 HAS SOPS 28381 HAS SOUS 26933 HAS SOUPS 26933 WITH SCORE 26961.381
AT ITER 121 NEW BEST:: SOT 72460 SOS 28474 HAS SOPS 28474 HAS SOUS 26917 HAS SOUPS 26917 WITH SCORE 26945.474
AT ITER 122 NEW BEST:: SOT 72366 SOS 28380 HAS SOPS 28380 HAS SOUS 26823 HAS SOUPS 26823 WITH SCORE 26851.38
AT ITER 125 NEW BEST:: SOT 72337 SOS 28306 HAS SOPS 28306 HAS SOUS 26771 HAS SOUPS 26771 WITH SCORE 26799.306
AT ITER 129 NEW BEST:: SOT 72274 SOS 28247 HAS SOPS 28247 HAS SOUS 26712 HAS SOUPS 26712 WITH SCORE 26740.247
AT ITER 146 NEW BEST:: SOT 72266 SOS 28239 HAS SOPS 28239 HAS SOUS 26712 HAS SOUPS 26712 WITH SCORE 26740.239
AT ITER 149 NEW BEST:: SOT 72163 SOS 28217 HAS SOPS 28217 HAS SOUS 26703 HAS SOUPS 26703 WITH SCORE 26731.217
AT ITER 172 NEW BEST:: SOT 72179 SOS 28201 HAS SOPS 28201 HAS SOUS 26627 HAS SOUPS 26627 WITH SCORE 26655.201
AT ITER 173 NEW BEST:: SOT 72199 SOS 28188 HAS SOPS 28188 HAS SOUS 26614 HAS SOUPS 26614 WITH SCORE 26642.188
AT ITER 182 NEW BEST:: SOT 72204 SOS 28164 HAS SOPS 28164 HAS SOUS 26551 HAS SOUPS 26551 WITH SCORE 26579.164
AT ITER 183 NEW BEST:: SOT 72080 SOS 28095 HAS SOPS 28095 HAS SOUS 26481 HAS SOUPS 26481 WITH SCORE 26509.095
AT ITER 198 NEW BEST:: SOT 72036 SOS 28008 HAS SOPS 28008 HAS SOUS 26394 HAS SOUPS 26394 WITH SCORE 26422.008
AT ITER 200 NEW BEST:: SOT 72060 SOS 27997 HAS SOPS 27997 HAS SOUS 26359 HAS SOUPS 26359 WITH SCORE 26386.997
AT ITER 205 NEW BEST:: SOT 71953 SOS 27822 HAS SOPS 27822 HAS SOUS 26205 HAS SOUPS 26205 WITH SCORE 26232.822
AT ITER 211 NEW BEST:: SOT 71989 SOS 27819 HAS SOPS 27819 HAS SOUS 26202 HAS SOUPS 26202 WITH SCORE 26229.819
AT ITER 212 NEW BEST:: SOT 71970 SOS 27800 HAS SOPS 27800 HAS SOUS 26183 HAS SOUPS 26183 WITH SCORE 26210.8
AT ITER 224 NEW BEST:: SOT 71952 SOS 27782 HAS SOPS 27782 HAS SOUS 26183 HAS SOUPS 26183 WITH SCORE 26210.782
AT ITER 234 NEW BEST:: SOT 71992 SOS 27766 HAS SOPS 27766 HAS SOUS 26167 HAS SOUPS 26167 WITH SCORE 26194.766
AT ITER 237 NEW BEST:: SOT 71980 SOS 27742 HAS SOPS 27742 HAS SOUS 26155 HAS SOUPS 26155 WITH SCORE 26182.742
AT ITER 243 NEW BEST:: SOT 71938 SOS 27700 HAS SOPS 27700 HAS SOUS 26113 HAS SOUPS 26113 WITH SCORE 26140.7
AT ITER 244 NEW BEST:: SOT 71901 SOS 27619 HAS SOPS 27619 HAS SOUS 26032 HAS SOUPS 26032 WITH SCORE 26059.619
AT ITER 254 NEW BEST:: SOT 71817 SOS 27573 HAS SOPS 27573 HAS SOUS 25986 HAS SOUPS 25986 WITH SCORE 26013.573
AT ITER 256 NEW BEST:: SOT 71636 SOS 27454 HAS SOPS 27454 HAS SOUS 25867 HAS SOUPS 25867 WITH SCORE 25894.454
AT ITER 263 NEW BEST:: SOT 71497 SOS 27233 HAS SOPS 27233 HAS SOUS 25646 HAS SOUPS 25646 WITH SCORE 25673.233
AT ITER 264 NEW BEST:: SOT 71292 SOS 27259 HAS SOPS 27259 HAS SOUS 25454 HAS SOUPS 25454 WITH SCORE 25481.259
AT ITER 270 NEW BEST:: SOT 71292 SOS 27258 HAS SOPS 27258 HAS SOUS 25453 HAS SOUPS 25453 WITH SCORE 25480.258
AT ITER 273 NEW BEST:: SOT 71219 SOS 27240 HAS SOPS 27240 HAS SOUS 25447 HAS SOUPS 25447 WITH SCORE 25474.24
AT ITER 283 NEW BEST:: SOT 71174 SOS 27208 HAS SOPS 27208 HAS SOUS 25415 HAS SOUPS 25415 WITH SCORE 25442.208
AT ITER 286 NEW BEST:: SOT 71165 SOS 27061 HAS SOPS 27061 HAS SOUS 25397 HAS SOUPS 25397 WITH SCORE 25424.061
AT ITER 301 NEW BEST:: SOT 71000 SOS 26876 HAS SOPS 26876 HAS SOUS 25246 HAS SOUPS 25246 WITH SCORE 25272.876
AT ITER 331 NEW BEST:: SOT 70999 SOS 26874 HAS SOPS 26874 HAS SOUS 25244 HAS SOUPS 25244 WITH SCORE 25270.874
AT ITER 345 NEW BEST:: SOT 70990 SOS 26865 HAS SOPS 26865 HAS SOUS 25244 HAS SOUPS 25244 WITH SCORE 25270.865
AT ITER 353 NEW BEST:: SOT 70925 SOS 26733 HAS SOPS 26733 HAS SOUS 25112 HAS SOUPS 25112 WITH SCORE 25138.733
AT ITER 358 NEW BEST:: SOT 70927 SOS 26695 HAS SOPS 26695 HAS SOUS 25074 HAS SOUPS 25074 WITH SCORE 25100.695
AT ITER 359 NEW BEST:: SOT 70906 SOS 26646 HAS SOPS 26646 HAS SOUS 25025 HAS SOUPS 25025 WITH SCORE 25051.646
AT ITER 363 NEW BEST:: SOT 70871 SOS 26611 HAS SOPS 26611 HAS SOUS 24990 HAS SOUPS 24990 WITH SCORE 25016.611
AT ITER 405 NEW BEST:: SOT 70852 SOS 26573 HAS SOPS 26573 HAS SOUS 24952 HAS SOUPS 24952 WITH SCORE 24978.573
AT ITER 408 NEW BEST:: SOT 70844 SOS 26557 HAS SOPS 26557 HAS SOUS 24936 HAS SOUPS 24936 WITH SCORE 24962.557
AT ITER 417 NEW BEST:: SOT 70833 SOS 26512 HAS SOPS 26512 HAS SOUS 24891 HAS SOUPS 24891 WITH SCORE 24917.512
AT ITER 420 NEW BEST:: SOT 70752 SOS 26285 HAS SOPS 26285 HAS SOUS 24664 HAS SOUPS 24664 WITH SCORE 24690.285
AT ITER 423 NEW BEST:: SOT 70663 SOS 25980 HAS SOPS 25980 HAS SOUS 24512 HAS SOUPS 24512 WITH SCORE 24537.98
AT ITER 426 NEW BEST:: SOT 70654 SOS 25962 HAS SOPS 25962 HAS SOUS 24494 HAS SOUPS 24494 WITH SCORE 24519.962
AT ITER 428 NEW BEST:: SOT 70654 SOS 25892 HAS SOPS 25892 HAS SOUS 24424 HAS SOUPS 24424 WITH SCORE 24449.892
AT ITER 429 NEW BEST:: SOT 70596 SOS 25851 HAS SOPS 25851 HAS SOUS 24383 HAS SOUPS 24383 WITH SCORE 24408.851
AT ITER 432 NEW BEST:: SOT 70562 SOS 25706 HAS SOPS 25706 HAS SOUS 24340 HAS SOUPS 24340 WITH SCORE 24365.706
AT ITER 435 NEW BEST:: SOT 70561 SOS 25667 HAS SOPS 25667 HAS SOUS 24301 HAS SOUPS 24301 WITH SCORE 24326.667
AT ITER 438 NEW BEST:: SOT 70538 SOS 25632 HAS SOPS 25632 HAS SOUS 24284 HAS SOUPS 24284 WITH SCORE 24309.632
AT ITER 441 NEW BEST:: SOT 70523 SOS 25602 HAS SOPS 25602 HAS SOUS 24254 HAS SOUPS 24254 WITH SCORE 24279.602
AT ITER 446 NEW BEST:: SOT 70329 SOS 25367 HAS SOPS 25367 HAS SOUS 24019 HAS SOUPS 24019 WITH SCORE 24044.367
AT ITER 457 NEW BEST:: SOT 70341 SOS 25161 HAS SOPS 25161 HAS SOUS 23813 HAS SOUPS 23813 WITH SCORE 23838.161
AT ITER 460 NEW BEST:: SOT 70341 SOS 25144 HAS SOPS 25144 HAS SOUS 23796 HAS SOUPS 23796 WITH SCORE 23821.144
AT ITER 461 NEW BEST:: SOT 70334 SOS 25140 HAS SOPS 25140 HAS SOUS 23792 HAS SOUPS 23792 WITH SCORE 23817.14
AT ITER 463 NEW BEST:: SOT 70330 SOS 25132 HAS SOPS 25132 HAS SOUS 23784 HAS SOUPS 23784 WITH SCORE 23809.132
AT ITER 473 NEW BEST:: SOT 70333 SOS 25135 HAS SOPS 25135 HAS SOUS 23757 HAS SOUPS 23757 WITH SCORE 23782.135
AT ITER 483 NEW BEST:: SOT 70309 SOS 25133 HAS SOPS 25133 HAS SOUS 23755 HAS SOUPS 23755 WITH SCORE 23780.133
AT ITER 489 NEW BEST:: SOT 70309 SOS 24995 HAS SOPS 24995 HAS SOUS 23617 HAS SOUPS 23617 WITH SCORE 23641.995
AT ITER 496 NEW BEST:: SOT 70299 SOS 24977 HAS SOPS 24977 HAS SOUS 23599 HAS SOUPS 23599 WITH SCORE 23623.977
AT ITER 497 NEW BEST:: SOT 70342 SOS 24952 HAS SOPS 24952 HAS SOUS 23574 HAS SOUPS 23574 WITH SCORE 23598.952
AT ITER 505 NEW BEST:: SOT 69893 SOS 28943 HAS SOPS 28943 HAS SOUS 23406 HAS SOUPS 23406 WITH SCORE 23434.943
AT ITER 514 NEW BEST:: SOT 69883 SOS 28933 HAS SOPS 28933 HAS SOUS 23406 HAS SOUPS 23406 WITH SCORE 23434.933
AT ITER 526 NEW BEST:: SOT 69861 SOS 28911 HAS SOPS 28911 HAS SOUS 23406 HAS SOUPS 23406 WITH SCORE 23434.911
AT ITER 532 NEW BEST:: SOT 69840 SOS 28869 HAS SOPS 28869 HAS SOUS 23365 HAS SOUPS 23365 WITH SCORE 23393.869
AT ITER 537 NEW BEST:: SOT 69825 SOS 28839 HAS SOPS 28839 HAS SOUS 23335 HAS SOUPS 23335 WITH SCORE 23363.839
AT ITER 544 NEW BEST:: SOT 69825 SOS 28676 HAS SOPS 28676 HAS SOUS 23164 HAS SOUPS 23164 WITH SCORE 23192.676
AT ITER 546 NEW BEST:: SOT 69725 SOS 28591 HAS SOPS 28591 HAS SOUS 23079 HAS SOUPS 23079 WITH SCORE 23107.591
AT ITER 563 NEW BEST:: SOT 69702 SOS 28568 HAS SOPS 28568 HAS SOUS 23056 HAS SOUPS 23056 WITH SCORE 23084.568
AT ITER 570 NEW BEST:: SOT 69702 SOS 28568 HAS SOPS 28568 HAS SOUS 23044 HAS SOUPS 23044 WITH SCORE 23072.568
AT ITER 584 NEW BEST:: SOT 69702 SOS 28557 HAS SOPS 28557 HAS SOUS 23033 HAS SOUPS 23033 WITH SCORE 23061.557
AT ITER 586 NEW BEST:: SOT 69664 SOS 28519 HAS SOPS 28519 HAS SOUS 22995 HAS SOUPS 22995 WITH SCORE 23023.519
AT ITER 588 NEW BEST:: SOT 69609 SOS 28408 HAS SOPS 28408 HAS SOUS 22900 HAS SOUPS 22900 WITH SCORE 22928.408
AT ITER 590 NEW BEST:: SOT 69587 SOS 28364 HAS SOPS 28364 HAS SOUS 22856 HAS SOUPS 22856 WITH SCORE 22884.364
AT ITER 593 NEW BEST:: SOT 69562 SOS 28339 HAS SOPS 28339 HAS SOUS 22831 HAS SOUPS 22831 WITH SCORE 22859.339
AT ITER 596 NEW BEST:: SOT 69545 SOS 28309 HAS SOPS 28309 HAS SOUS 22801 HAS SOUPS 22801 WITH SCORE 22829.309
AT ITER 601 NEW BEST:: SOT 69602 SOS 28288 HAS SOPS 28288 HAS SOUS 22724 HAS SOUPS 22724 WITH SCORE 22752.288
AT ITER 605 NEW BEST:: SOT 69562 SOS 28248 HAS SOPS 28248 HAS SOUS 22684 HAS SOUPS 22684 WITH SCORE 22712.248
AT ITER 610 NEW BEST:: SOT 69490 SOS 28190 HAS SOPS 28190 HAS SOUS 22626 HAS SOUPS 22626 WITH SCORE 22654.19
AT ITER 632 NEW BEST:: SOT 69480 SOS 28180 HAS SOPS 28180 HAS SOUS 22616 HAS SOUPS 22616 WITH SCORE 22644.18
AT ITER 633 NEW BEST:: SOT 69500 SOS 28049 HAS SOPS 28049 HAS SOUS 22485 HAS SOUPS 22485 WITH SCORE 22513.049
AT ITER 634 NEW BEST:: SOT 69499 SOS 28048 HAS SOPS 28048 HAS SOUS 22484 HAS SOUPS 22484 WITH SCORE 22512.048
AT ITER 635 NEW BEST:: SOT 69440 SOS 27989 HAS SOPS 27989 HAS SOUS 22484 HAS SOUPS 22484 WITH SCORE 22511.989
AT ITER 636 NEW BEST:: SOT 69400 SOS 27882 HAS SOPS 27882 HAS SOUS 22377 HAS SOUPS 22377 WITH SCORE 22404.882
AT ITER 650 NEW BEST:: SOT 69327 SOS 27846 HAS SOPS 27846 HAS SOUS 22322 HAS SOUPS 22322 WITH SCORE 22349.846
AT ITER 657 NEW BEST:: SOT 69282 SOS 27756 HAS SOPS 27756 HAS SOUS 22232 HAS SOUPS 22232 WITH SCORE 22259.756
AT ITER 669 NEW BEST:: SOT 69273 SOS 27735 HAS SOPS 27735 HAS SOUS 22214 HAS SOUPS 22214 WITH SCORE 22241.735
AT ITER 684 NEW BEST:: SOT 69272 SOS 27734 HAS SOPS 27734 HAS SOUS 22213 HAS SOUPS 22213 WITH SCORE 22240.734
AT ITER 687 NEW BEST:: SOT 69315 SOS 27729 HAS SOPS 27729 HAS SOUS 22208 HAS SOUPS 22208 WITH SCORE 22235.729
AT ITER 690 NEW BEST:: SOT 69314 SOS 27727 HAS SOPS 27727 HAS SOUS 22194 HAS SOUPS 22194 WITH SCORE 22221.727
AT ITER 708 NEW BEST:: SOT 69318 SOS 27719 HAS SOPS 27719 HAS SOUS 22186 HAS SOUPS 22186 WITH SCORE 22213.719
AT ITER 726 NEW BEST:: SOT 69333 SOS 27645 HAS SOPS 27645 HAS SOUS 22008 HAS SOUPS 22008 WITH SCORE 22035.645
AT ITER 737 NEW BEST:: SOT 69333 SOS 27645 HAS SOPS 27645 HAS SOUS 21979 HAS SOUPS 21979 WITH SCORE 22006.645
AT ITER 745 NEW BEST:: SOT 69331 SOS 27642 HAS SOPS 27642 HAS SOUS 21979 HAS SOUPS 21979 WITH SCORE 22006.642
AT ITER 746 NEW BEST:: SOT 69311 SOS 27640 HAS SOPS 27640 HAS SOUS 21933 HAS SOUPS 21933 WITH SCORE 21960.64
AT ITER 757 NEW BEST:: SOT 69300 SOS 27629 HAS SOPS 27629 HAS SOUS 21922 HAS SOUPS 21922 WITH SCORE 21949.629
AT ITER 767 NEW BEST:: SOT 69300 SOS 27629 HAS SOPS 27629 HAS SOUS 21904 HAS SOUPS 21904 WITH SCORE 21931.629
AT ITER 771 NEW BEST:: SOT 69297 SOS 27626 HAS SOPS 27626 HAS SOUS 21901 HAS SOUPS 21901 WITH SCORE 21928.626
AT ITER 774 NEW BEST:: SOT 69252 SOS 27581 HAS SOPS 27581 HAS SOUS 21856 HAS SOUPS 21856 WITH SCORE 21883.581
AT ITER 790 NEW BEST:: SOT 69252 SOS 27516 HAS SOPS 27516 HAS SOUS 21791 HAS SOUPS 21791 WITH SCORE 21818.516
AT ITER 794 NEW BEST:: SOT 69262 SOS 27525 HAS SOPS 27525 HAS SOUS 21790 HAS SOUPS 21790 WITH SCORE 21817.525
AT ITER 799 NEW BEST:: SOT 69231 SOS 27482 HAS SOPS 27482 HAS SOUS 21747 HAS SOUPS 21747 WITH SCORE 21774.482
AT ITER 802 NEW BEST:: SOT 69230 SOS 27480 HAS SOPS 27480 HAS SOUS 21745 HAS SOUPS 21745 WITH SCORE 21772.48
AT ITER 804 NEW BEST:: SOT 69217 SOS 27461 HAS SOPS 27461 HAS SOUS 21726 HAS SOUPS 21726 WITH SCORE 21753.461
AT ITER 807 NEW BEST:: SOT 69251 SOS 27495 HAS SOPS 27495 HAS SOUS 21721 HAS SOUPS 21721 WITH SCORE 21748.495
AT ITER 845 NEW BEST:: SOT 69246 SOS 27221 HAS SOPS 27221 HAS SOUS 21614 HAS SOUPS 21614 WITH SCORE 21641.221
AT ITER 857 NEW BEST:: SOT 69246 SOS 27070 HAS SOPS 27070 HAS SOUS 21465 HAS SOUPS 21465 WITH SCORE 21492.07
AT ITER 859 NEW BEST:: SOT 69096 SOS 26805 HAS SOPS 26805 HAS SOUS 21200 HAS SOUPS 21200 WITH SCORE 21226.805
AT ITER 860 NEW BEST:: SOT 69071 SOS 26756 HAS SOPS 26756 HAS SOUS 21178 HAS SOUPS 21178 WITH SCORE 21204.756
AT ITER 875 NEW BEST:: SOT 68976 SOS 26699 HAS SOPS 26699 HAS SOUS 21144 HAS SOUPS 21144 WITH SCORE 21170.699
AT ITER 897 NEW BEST:: SOT 68965 SOS 26688 HAS SOPS 26688 HAS SOUS 21144 HAS SOUPS 21144 WITH SCORE 21170.688
AT ITER 904 NEW BEST:: SOT 68965 SOS 26688 HAS SOPS 26688 HAS SOUS 21117 HAS SOUPS 21117 WITH SCORE 21143.688
AT ITER 906 NEW BEST:: SOT 68965 SOS 26662 HAS SOPS 26662 HAS SOUS 21107 HAS SOUPS 21107 WITH SCORE 21133.662
AT ITER 910 NEW BEST:: SOT 68941 SOS 26620 HAS SOPS 26620 HAS SOUS 21072 HAS SOUPS 21072 WITH SCORE 21098.62
AT ITER 913 NEW BEST:: SOT 68876 SOS 26492 HAS SOPS 26492 HAS SOUS 20944 HAS SOUPS 20944 WITH SCORE 20970.492
AT ITER 915 NEW BEST:: SOT 68873 SOS 26486 HAS SOPS 26486 HAS SOUS 20938 HAS SOUPS 20938 WITH SCORE 20964.486
AT ITER 918 NEW BEST:: SOT 68869 SOS 26482 HAS SOPS 26482 HAS SOUS 20934 HAS SOUPS 20934 WITH SCORE 20960.482
AT ITER 928 NEW BEST:: SOT 68892 SOS 25343 HAS SOPS 25343 HAS SOUS 20899 HAS SOUPS 20899 WITH SCORE 20924.343
AT ITER 963 NEW BEST:: SOT 68791 SOS 25242 HAS SOPS 25242 HAS SOUS 20796 HAS SOUPS 20796 WITH SCORE 20821.242
AT ITER 967 NEW BEST:: SOT 68791 SOS 25221 HAS SOPS 25221 HAS SOUS 20754 HAS SOUPS 20754 WITH SCORE 20779.221
AT ITER 971 NEW BEST:: SOT 68784 SOS 25207 HAS SOPS 25207 HAS SOUS 20747 HAS SOUPS 20747 WITH SCORE 20772.207
AT ITER 976 NEW BEST:: SOT 68784 SOS 25205 HAS SOPS 25205 HAS SOUS 20744 HAS SOUPS 20744 WITH SCORE 20769.205
AT ITER 984 NEW BEST:: SOT 68732 SOS 25153 HAS SOPS 25153 HAS SOUS 20692 HAS SOUPS 20692 WITH SCORE 20717.153
AT ITER 992 NEW BEST:: SOT 68680 SOS 25049 HAS SOPS 25049 HAS SOUS 20644 HAS SOUPS 20644 WITH SCORE 20669.049
AT ITER 999 NEW BEST:: SOT 68690 SOS 25033 HAS SOPS 25033 HAS SOUS 20628 HAS SOUPS 20628 WITH SCORE 20653.033
AT ITER 1001 NEW BEST:: SOT 68696 SOS 25003 HAS SOPS 25003 HAS SOUS 20598 HAS SOUPS 20598 WITH SCORE 20623.003
AT ITER 1029 NEW BEST:: SOT 68677 SOS 24969 HAS SOPS 24969 HAS SOUS 20564 HAS SOUPS 20564 WITH SCORE 20588.969
AT ITER 1041 NEW BEST:: SOT 68644 SOS 24903 HAS SOPS 24903 HAS SOUS 20498 HAS SOUPS 20498 WITH SCORE 20522.903
AT ITER 1044 NEW BEST:: SOT 68644 SOS 24847 HAS SOPS 24847 HAS SOUS 20498 HAS SOUPS 20498 WITH SCORE 20522.847
AT ITER 1052 NEW BEST:: SOT 68642 SOS 24842 HAS SOPS 24842 HAS SOUS 20493 HAS SOUPS 20493 WITH SCORE 20517.842
AT ITER 1061 NEW BEST:: SOT 68565 SOS 24678 HAS SOPS 24678 HAS SOUS 20329 HAS SOUPS 20329 WITH SCORE 20353.678
AT ITER 1066 NEW BEST:: SOT 68575 SOS 24677 HAS SOPS 24677 HAS SOUS 20296 HAS SOUPS 20296 WITH SCORE 20320.677
AT ITER 1077 NEW BEST:: SOT 68575 SOS 24662 HAS SOPS 24662 HAS SOUS 20294 HAS SOUPS 20294 WITH SCORE 20318.662
AT ITER 1080 NEW BEST:: SOT 68589 SOS 24650 HAS SOPS 24650 HAS SOUS 20232 HAS SOUPS 20232 WITH SCORE 20256.65
AT ITER 1100 NEW BEST:: SOT 68574 SOS 24635 HAS SOPS 24635 HAS SOUS 20215 HAS SOUPS 20215 WITH SCORE 20239.635
AT ITER 1109 NEW BEST:: SOT 68528 SOS 24589 HAS SOPS 24589 HAS SOUS 20123 HAS SOUPS 20123 WITH SCORE 20147.589
AT ITER 1111 NEW BEST:: SOT 68528 SOS 24547 HAS SOPS 24547 HAS SOUS 20102 HAS SOUPS 20102 WITH SCORE 20126.547
AT ITER 1112 NEW BEST:: SOT 68511 SOS 24518 HAS SOPS 24518 HAS SOUS 20073 HAS SOUPS 20073 WITH SCORE 20097.518
AT ITER 1119 NEW BEST:: SOT 68480 SOS 24404 HAS SOPS 24404 HAS SOUS 19959 HAS SOUPS 19959 WITH SCORE 19983.404
AT ITER 1146 NEW BEST:: SOT 68400 SOS 24312 HAS SOPS 24312 HAS SOUS 19925 HAS SOUPS 19925 WITH SCORE 19949.312
AT ITER 1174 NEW BEST:: SOT 68387 SOS 24282 HAS SOPS 24282 HAS SOUS 19903 HAS SOUPS 19903 WITH SCORE 19927.282
AT ITER 1188 NEW BEST:: SOT 68268 SOS 24079 HAS SOPS 24079 HAS SOUS 19778 HAS SOUPS 19778 WITH SCORE 19802.079
AT ITER 1195 NEW BEST:: SOT 68268 SOS 24047 HAS SOPS 24047 HAS SOUS 19746 HAS SOUPS 19746 WITH SCORE 19770.047
AT ITER 1196 NEW BEST:: SOT 68371 SOS 23951 HAS SOPS 23951 HAS SOUS 19650 HAS SOUPS 19650 WITH SCORE 19673.951
AT ITER 1211 NEW BEST:: SOT 68389 SOS 23920 HAS SOPS 23920 HAS SOUS 19619 HAS SOUPS 19619 WITH SCORE 19642.92
AT ITER 1226 NEW BEST:: SOT 68386 SOS 23917 HAS SOPS 23917 HAS SOUS 19616 HAS SOUPS 19616 WITH SCORE 19639.917
AT ITER 1235 NEW BEST:: SOT 68435 SOS 23918 HAS SOPS 23918 HAS SOUS 19578 HAS SOUPS 19578 WITH SCORE 19601.918
AT ITER 1238 NEW BEST:: SOT 68405 SOS 23858 HAS SOPS 23858 HAS SOUS 19548 HAS SOUPS 19548 WITH SCORE 19571.858
AT ITER 1249 NEW BEST:: SOT 68397 SOS 23831 HAS SOPS 23831 HAS SOUS 19539 HAS SOUPS 19539 WITH SCORE 19562.831
AT ITER 1260 NEW BEST:: SOT 68339 SOS 23721 HAS SOPS 23721 HAS SOUS 19467 HAS SOUPS 19467 WITH SCORE 19490.721
AT ITER 1266 NEW BEST:: SOT 68339 SOS 23712 HAS SOPS 23712 HAS SOUS 19458 HAS SOUPS 19458 WITH SCORE 19481.712
AT ITER 1274 NEW BEST:: SOT 68294 SOS 23622 HAS SOPS 23622 HAS SOUS 19368 HAS SOUPS 19368 WITH SCORE 19391.622
AT ITER 1305 NEW BEST:: SOT 68307 SOS 23635 HAS SOPS 23635 HAS SOUS 19363 HAS SOUPS 19363 WITH SCORE 19386.635
AT ITER 1311 NEW BEST:: SOT 68307 SOS 23624 HAS SOPS 23624 HAS SOUS 19352 HAS SOUPS 19352 WITH SCORE 19375.624
AT ITER 1318 NEW BEST:: SOT 68284 SOS 23601 HAS SOPS 23601 HAS SOUS 19329 HAS SOUPS 19329 WITH SCORE 19352.601
AT ITER 1329 NEW BEST:: SOT 68274 SOS 23581 HAS SOPS 23581 HAS SOUS 19317 HAS SOUPS 19317 WITH SCORE 19340.581
AT ITER 1347 NEW BEST:: SOT 68261 SOS 23568 HAS SOPS 23568 HAS SOUS 19304 HAS SOUPS 19304 WITH SCORE 19327.568
AT ITER 1350 NEW BEST:: SOT 68197 SOS 23504 HAS SOPS 23504 HAS SOUS 19240 HAS SOUPS 19240 WITH SCORE 19263.504
AT ITER 1364 NEW BEST:: SOT 68187 SOS 23328 HAS SOPS 23328 HAS SOUS 19188 HAS SOUPS 19188 WITH SCORE 19211.328
AT ITER 1368 NEW BEST:: SOT 68187 SOS 23161 HAS SOPS 23161 HAS SOUS 19139 HAS SOUPS 19139 WITH SCORE 19162.161
AT ITER 1378 NEW BEST:: SOT 68159 SOS 23156 HAS SOPS 23156 HAS SOUS 19104 HAS SOUPS 19104 WITH SCORE 19127.156
AT ITER 1382 NEW BEST:: SOT 68159 SOS 23141 HAS SOPS 23141 HAS SOUS 19089 HAS SOUPS 19089 WITH SCORE 19112.141
AT ITER 1385 NEW BEST:: SOT 68145 SOS 23113 HAS SOPS 23113 HAS SOUS 19061 HAS SOUPS 19061 WITH SCORE 19084.113
AT ITER 1390 NEW BEST:: SOT 68145 SOS 23113 HAS SOPS 23113 HAS SOUS 19044 HAS SOUPS 19044 WITH SCORE 19067.113
AT ITER 1402 NEW BEST:: SOT 68137 SOS 23047 HAS SOPS 23047 HAS SOUS 18978 HAS SOUPS 18978 WITH SCORE 19001.047
AT ITER 1414 NEW BEST:: SOT 68137 SOS 23039 HAS SOPS 23039 HAS SOUS 18974 HAS SOUPS 18974 WITH SCORE 18997.039
AT ITER 1421 NEW BEST:: SOT 68105 SOS 23034 HAS SOPS 23034 HAS SOUS 18969 HAS SOUPS 18969 WITH SCORE 18992.034
AT ITER 1441 NEW BEST:: SOT 68125 SOS 23031 HAS SOPS 23031 HAS SOUS 18966 HAS SOUPS 18966 WITH SCORE 18989.031
AT ITER 1442 NEW BEST:: SOT 68137 SOS 23010 HAS SOPS 23010 HAS SOUS 18900 HAS SOUPS 18900 WITH SCORE 18923.01
AT ITER 1443 NEW BEST:: SOT 68132 SOS 23005 HAS SOPS 23005 HAS SOUS 18882 HAS SOUPS 18882 WITH SCORE 18905.005
AT ITER 1461 NEW BEST:: SOT 68112 SOS 22990 HAS SOPS 22990 HAS SOUS 18867 HAS SOUPS 18867 WITH SCORE 18889.99
AT ITER 1474 NEW BEST:: SOT 68118 SOS 22968 HAS SOPS 22968 HAS SOUS 18859 HAS SOUPS 18859 WITH SCORE 18881.968
AT ITER 1480 NEW BEST:: SOT 68112 SOS 22956 HAS SOPS 22956 HAS SOUS 18857 HAS SOUPS 18857 WITH SCORE 18879.956
AT ITER 1495 NEW BEST:: SOT 68102 SOS 22936 HAS SOPS 22936 HAS SOUS 18837 HAS SOUPS 18837 WITH SCORE 18859.936
AT ITER 1514 NEW BEST:: SOT 68088 SOS 22922 HAS SOPS 22922 HAS SOUS 18823 HAS SOUPS 18823 WITH SCORE 18845.922
AT ITER 1531 NEW BEST:: SOT 68088 SOS 22895 HAS SOPS 22895 HAS SOUS 18796 HAS SOUPS 18796 WITH SCORE 18818.895
AT ITER 1546 NEW BEST:: SOT 68088 SOS 22878 HAS SOPS 22878 HAS SOUS 18779 HAS SOUPS 18779 WITH SCORE 18801.878
AT ITER 1553 NEW BEST:: SOT 68064 SOS 22852 HAS SOPS 22852 HAS SOUS 18753 HAS SOUPS 18753 WITH SCORE 18775.852
AT ITER 1564 NEW BEST:: SOT 68063 SOS 22851 HAS SOPS 22851 HAS SOUS 18752 HAS SOUPS 18752 WITH SCORE 18774.851
AT ITER 1570 NEW BEST:: SOT 68029 SOS 22783 HAS SOPS 22783 HAS SOUS 18693 HAS SOUPS 18693 WITH SCORE 18715.783
AT ITER 1581 NEW BEST:: SOT 68010 SOS 22759 HAS SOPS 22759 HAS SOUS 18669 HAS SOUPS 18669 WITH SCORE 18691.759
AT ITER 1583 NEW BEST:: SOT 68006 SOS 22751 HAS SOPS 22751 HAS SOUS 18661 HAS SOUPS 18661 WITH SCORE 18683.751
AT ITER 1594 NEW BEST:: SOT 67973 SOS 22685 HAS SOPS 22685 HAS SOUS 18628 HAS SOUPS 18628 WITH SCORE 18650.685
AT ITER 1597 NEW BEST:: SOT 67953 SOS 22639 HAS SOPS 22639 HAS SOUS 18582 HAS SOUPS 18582 WITH SCORE 18604.639
AT ITER 1609 NEW BEST:: SOT 67953 SOS 22635 HAS SOPS 22635 HAS SOUS 18578 HAS SOUPS 18578 WITH SCORE 18600.635
AT ITER 1616 NEW BEST:: SOT 67934 SOS 22614 HAS SOPS 22614 HAS SOUS 18557 HAS SOUPS 18557 WITH SCORE 18579.614
AT ITER 1623 NEW BEST:: SOT 67949 SOS 22610 HAS SOPS 22610 HAS SOUS 18553 HAS SOUPS 18553 WITH SCORE 18575.61
AT ITER 1624 NEW BEST:: SOT 67948 SOS 22608 HAS SOPS 22608 HAS SOUS 18551 HAS SOUPS 18551 WITH SCORE 18573.608
AT ITER 1637 NEW BEST:: SOT 67926 SOS 22592 HAS SOPS 22592 HAS SOUS 18535 HAS SOUPS 18535 WITH SCORE 18557.592
AT ITER 1639 NEW BEST:: SOT 67911 SOS 22527 HAS SOPS 22527 HAS SOUS 18502 HAS SOUPS 18502 WITH SCORE 18524.527
AT ITER 1643 NEW BEST:: SOT 67899 SOS 22503 HAS SOPS 22503 HAS SOUS 18478 HAS SOUPS 18478 WITH SCORE 18500.503
AT ITER 1656 NEW BEST:: SOT 67923 SOS 22541 HAS SOPS 22541 HAS SOUS 18466 HAS SOUPS 18466 WITH SCORE 18488.541
AT ITER 1666 NEW BEST:: SOT 67912 SOS 22530 HAS SOPS 22530 HAS SOUS 18455 HAS SOUPS 18455 WITH SCORE 18477.53
AT ITER 1694 NEW BEST:: SOT 67938 SOS 22543 HAS SOPS 22543 HAS SOUS 18446 HAS SOUPS 18446 WITH SCORE 18468.543
AT ITER 1719 NEW BEST:: SOT 67938 SOS 22529 HAS SOPS 22529 HAS SOUS 18432 HAS SOUPS 18432 WITH SCORE 18454.529
AT ITER 1739 NEW BEST:: SOT 67979 SOS 22570 HAS SOPS 22570 HAS SOUS 18423 HAS SOUPS 18423 WITH SCORE 18445.57
AT ITER 1744 NEW BEST:: SOT 67976 SOS 22590 HAS SOPS 22590 HAS SOUS 18421 HAS SOUPS 18421 WITH SCORE 18443.59
AT ITER 1755 NEW BEST:: SOT 67975 SOS 22589 HAS SOPS 22589 HAS SOUS 18420 HAS SOUPS 18420 WITH SCORE 18442.589
AT ITER 1784 NEW BEST:: SOT 67967 SOS 22573 HAS SOPS 22573 HAS SOUS 18396 HAS SOUPS 18396 WITH SCORE 18418.573
AT ITER 1791 NEW BEST:: SOT 67960 SOS 22559 HAS SOPS 22559 HAS SOUS 18374 HAS SOUPS 18374 WITH SCORE 18396.559
AT ITER 1806 NEW BEST:: SOT 67936 SOS 22511 HAS SOPS 22511 HAS SOUS 18350 HAS SOUPS 18350 WITH SCORE 18372.511
AT ITER 1809 NEW BEST:: SOT 67936 SOS 22507 HAS SOPS 22507 HAS SOUS 18346 HAS SOUPS 18346 WITH SCORE 18368.507
AT ITER 1819 NEW BEST:: SOT 67970 SOS 22521 HAS SOPS 22521 HAS SOUS 18345 HAS SOUPS 18345 WITH SCORE 18367.521
AT ITER 1870 NEW BEST:: SOT 67976 SOS 22518 HAS SOPS 22518 HAS SOUS 18342 HAS SOUPS 18342 WITH SCORE 18364.518
AT ITER 1889 NEW BEST:: SOT 67909 SOS 22428 HAS SOPS 22428 HAS SOUS 18309 HAS SOUPS 18309 WITH SCORE 18331.428
AT ITER 1895 NEW BEST:: SOT 67918 SOS 22446 HAS SOPS 22446 HAS SOUS 18289 HAS SOUPS 18289 WITH SCORE 18311.446
AT ITER 1902 NEW BEST:: SOT 67899 SOS 22408 HAS SOPS 22408 HAS SOUS 18259 HAS SOUPS 18259 WITH SCORE 18281.408
AT ITER 1911 NEW BEST:: SOT 67899 SOS 22338 HAS SOPS 22338 HAS SOUS 18189 HAS SOUPS 18189 WITH SCORE 18211.338
AT ITER 1917 NEW BEST:: SOT 67954 SOS 22294 HAS SOPS 22294 HAS SOUS 18145 HAS SOUPS 18145 WITH SCORE 18167.294
AT ITER 1920 NEW BEST:: SOT 67970 SOS 22266 HAS SOPS 22266 HAS SOUS 18117 HAS SOUPS 18117 WITH SCORE 18139.266
AT ITER 1940 NEW BEST:: SOT 67994 SOS 22264 HAS SOPS 22264 HAS SOUS 18115 HAS SOUPS 18115 WITH SCORE 18137.264
AT ITER 1945 NEW BEST:: SOT 67993 SOS 22262 HAS SOPS 22262 HAS SOUS 18113 HAS SOUPS 18113 WITH SCORE 18135.262
AT ITER 1955 NEW BEST:: SOT 67990 SOS 22256 HAS SOPS 22256 HAS SOUS 18107 HAS SOUPS 18107 WITH SCORE 18129.256
AT ITER 1970 NEW BEST:: SOT 67987 SOS 22256 HAS SOPS 22256 HAS SOUS 18072 HAS SOUPS 18072 WITH SCORE 18094.256
AT ITER 1992 NEW BEST:: SOT 67960 SOS 22202 HAS SOPS 22202 HAS SOUS 18018 HAS SOUPS 18018 WITH SCORE 18040.202
AT ITER 1995 NEW BEST:: SOT 67859 SOS 22101 HAS SOPS 22101 HAS SOUS 17917 HAS SOUPS 17917 WITH SCORE 17939.101
AT ITER 2001 NEW BEST:: SOT 67859 SOS 22101 HAS SOPS 22101 HAS SOUS 17904 HAS SOUPS 17904 WITH SCORE 17926.101
AT ITER 2002 NEW BEST:: SOT 67860 SOS 22064 HAS SOPS 22064 HAS SOUS 17867 HAS SOUPS 17867 WITH SCORE 17889.064
AT ITER 2005 NEW BEST:: SOT 67848 SOS 22064 HAS SOPS 22064 HAS SOUS 17843 HAS SOUPS 17843 WITH SCORE 17865.064
AT ITER 2018 NEW BEST:: SOT 67837 SOS 22045 HAS SOPS 22045 HAS SOUS 17824 HAS SOUPS 17824 WITH SCORE 17846.045
AT ITER 2037 NEW BEST:: SOT 67804 SOS 22012 HAS SOPS 22012 HAS SOUS 17824 HAS SOUPS 17824 WITH SCORE 17846.012
AT ITER 2038 NEW BEST:: SOT 67793 SOS 21979 HAS SOPS 21979 HAS SOUS 17802 HAS SOUPS 17802 WITH SCORE 17823.979
AT ITER 2087 NEW BEST:: SOT 67806 SOS 21952 HAS SOPS 21952 HAS SOUS 17795 HAS SOUPS 17795 WITH SCORE 17816.952
AT ITER 2089 NEW BEST:: SOT 67798 SOS 21944 HAS SOPS 21944 HAS SOUS 17787 HAS SOUPS 17787 WITH SCORE 17808.944
AT ITER 2099 NEW BEST:: SOT 67771 SOS 21890 HAS SOPS 21890 HAS SOUS 17732 HAS SOUPS 17732 WITH SCORE 17753.89
AT ITER 2128 NEW BEST:: SOT 67770 SOS 21870 HAS SOPS 21870 HAS SOUS 17721 HAS SOUPS 17721 WITH SCORE 17742.87
AT ITER 2194 NEW BEST:: SOT 67759 SOS 21859 HAS SOPS 21859 HAS SOUS 17710 HAS SOUPS 17710 WITH SCORE 17731.859
AT ITER 2204 NEW BEST:: SOT 67847 SOS 21939 HAS SOPS 21939 HAS SOUS 17694 HAS SOUPS 17694 WITH SCORE 17715.939
AT ITER 2212 NEW BEST:: SOT 67830 SOS 21905 HAS SOPS 21905 HAS SOUS 17646 HAS SOUPS 17646 WITH SCORE 17667.905
AT ITER 2221 NEW BEST:: SOT 67929 SOS 21867 HAS SOPS 21867 HAS SOUS 17608 HAS SOUPS 17608 WITH SCORE 17629.867
AT ITER 2223 NEW BEST:: SOT 67912 SOS 21850 HAS SOPS 21850 HAS SOUS 17608 HAS SOUPS 17608 WITH SCORE 17629.85
AT ITER 2227 NEW BEST:: SOT 67901 SOS 21838 HAS SOPS 21838 HAS SOUS 17600 HAS SOUPS 17600 WITH SCORE 17621.838
AT ITER 2240 NEW BEST:: SOT 67892 SOS 21820 HAS SOPS 21820 HAS SOUS 17582 HAS SOUPS 17582 WITH SCORE 17603.82
AT ITER 2265 NEW BEST:: SOT 67892 SOS 21820 HAS SOPS 21820 HAS SOUS 17577 HAS SOUPS 17577 WITH SCORE 17598.82
AT ITER 2267 NEW BEST:: SOT 67868 SOS 21795 HAS SOPS 21795 HAS SOUS 17575 HAS SOUPS 17575 WITH SCORE 17596.795
AT ITER 2275 NEW BEST:: SOT 67892 SOS 21803 HAS SOPS 21803 HAS SOUS 17570 HAS SOUPS 17570 WITH SCORE 17591.803
AT ITER 2296 NEW BEST:: SOT 67887 SOS 21793 HAS SOPS 21793 HAS SOUS 17560 HAS SOUPS 17560 WITH SCORE 17581.793
AT ITER 2306 NEW BEST:: SOT 67882 SOS 21778 HAS SOPS 21778 HAS SOUS 17545 HAS SOUPS 17545 WITH SCORE 17566.778
AT ITER 2313 NEW BEST:: SOT 67865 SOS 21770 HAS SOPS 21770 HAS SOUS 17537 HAS SOUPS 17537 WITH SCORE 17558.77
AT ITER 2330 NEW BEST:: SOT 67869 SOS 21769 HAS SOPS 21769 HAS SOUS 17533 HAS SOUPS 17533 WITH SCORE 17554.769
AT ITER 2337 NEW BEST:: SOT 67865 SOS 21765 HAS SOPS 21765 HAS SOUS 17529 HAS SOUPS 17529 WITH SCORE 17550.765
AT ITER 2338 NEW BEST:: SOT 67866 SOS 21750 HAS SOPS 21750 HAS SOUS 17514 HAS SOUPS 17514 WITH SCORE 17535.75
AT ITER 2349 NEW BEST:: SOT 67862 SOS 21746 HAS SOPS 21746 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17531.746
AT ITER 2359 NEW BEST:: SOT 67852 SOS 21726 HAS SOPS 21726 HAS SOUS 17497 HAS SOUPS 17497 WITH SCORE 17518.726
AT ITER 2370 NEW BEST:: SOT 67854 SOS 21718 HAS SOPS 21718 HAS SOUS 17489 HAS SOUPS 17489 WITH SCORE 17510.718
AT ITER 2375 NEW BEST:: SOT 67809 SOS 21703 HAS SOPS 21703 HAS SOUS 17474 HAS SOUPS 17474 WITH SCORE 17495.703
AT ITER 2410 NEW BEST:: SOT 67809 SOS 21702 HAS SOPS 21702 HAS SOUS 17460 HAS SOUPS 17460 WITH SCORE 17481.702
AT ITER 2411 NEW BEST:: SOT 67792 SOS 21607 HAS SOPS 21607 HAS SOUS 17434 HAS SOUPS 17434 WITH SCORE 17455.607
AT ITER 2413 NEW BEST:: SOT 67792 SOS 21575 HAS SOPS 21575 HAS SOUS 17402 HAS SOUPS 17402 WITH SCORE 17423.575
AT ITER 2443 NEW BEST:: SOT 67739 SOS 21514 HAS SOPS 21514 HAS SOUS 17341 HAS SOUPS 17341 WITH SCORE 17362.514
AT ITER 2462 NEW BEST:: SOT 67723 SOS 21469 HAS SOPS 21469 HAS SOUS 17315 HAS SOUPS 17315 WITH SCORE 17336.469
AT ITER 2477 NEW BEST:: SOT 67725 SOS 21473 HAS SOPS 21473 HAS SOUS 17301 HAS SOUPS 17301 WITH SCORE 17322.473
AT ITER 2488 NEW BEST:: SOT 67684 SOS 21438 HAS SOPS 21438 HAS SOUS 17266 HAS SOUPS 17266 WITH SCORE 17287.438
AT ITER 2529 NEW BEST:: SOT 67684 SOS 21430 HAS SOPS 21430 HAS SOUS 17266 HAS SOUPS 17266 WITH SCORE 17287.43
AT ITER 2534 NEW BEST:: SOT 67675 SOS 21421 HAS SOPS 21421 HAS SOUS 17257 HAS SOUPS 17257 WITH SCORE 17278.421
AT ITER 2569 NEW BEST:: SOT 67636 SOS 21366 HAS SOPS 21366 HAS SOUS 17202 HAS SOUPS 17202 WITH SCORE 17223.366
AT ITER 2574 NEW BEST:: SOT 67636 SOS 21349 HAS SOPS 21349 HAS SOUS 17185 HAS SOUPS 17185 WITH SCORE 17206.349
AT ITER 2575 NEW BEST:: SOT 67770 SOS 21316 HAS SOPS 21316 HAS SOUS 17152 HAS SOUPS 17152 WITH SCORE 17173.316
AT ITER 2586 NEW BEST:: SOT 67763 SOS 21302 HAS SOPS 21302 HAS SOUS 17131 HAS SOUPS 17131 WITH SCORE 17152.302
AT ITER 2603 NEW BEST:: SOT 67763 SOS 21301 HAS SOPS 21301 HAS SOUS 17130 HAS SOUPS 17130 WITH SCORE 17151.301
AT ITER 2605 NEW BEST:: SOT 67763 SOS 21296 HAS SOPS 21296 HAS SOUS 17125 HAS SOUPS 17125 WITH SCORE 17146.296
AT ITER 2606 NEW BEST:: SOT 67734 SOS 21231 HAS SOPS 21231 HAS SOUS 17060 HAS SOUPS 17060 WITH SCORE 17081.231
AT ITER 2609 NEW BEST:: SOT 67735 SOS 21225 HAS SOPS 21225 HAS SOUS 17054 HAS SOUPS 17054 WITH SCORE 17075.225
AT ITER 2613 NEW BEST:: SOT 67726 SOS 21186 HAS SOPS 21186 HAS SOUS 17036 HAS SOUPS 17036 WITH SCORE 17057.186
AT ITER 2630 NEW BEST:: SOT 67731 SOS 21182 HAS SOPS 21182 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17053.182
AT ITER 2641 NEW BEST:: SOT 67721 SOS 21172 HAS SOPS 21172 HAS SOUS 17022 HAS SOUPS 17022 WITH SCORE 17043.172
AT ITER 2659 NEW BEST:: SOT 67693 SOS 21144 HAS SOPS 21144 HAS SOUS 16994 HAS SOUPS 16994 WITH SCORE 17015.144
AT ITER 2687 NEW BEST:: SOT 67663 SOS 21108 HAS SOPS 21108 HAS SOUS 16958 HAS SOUPS 16958 WITH SCORE 16979.108
AT ITER 2709 NEW BEST:: SOT 67693 SOS 21134 HAS SOPS 21134 HAS SOUS 16954 HAS SOUPS 16954 WITH SCORE 16975.134
AT ITER 2710 NEW BEST:: SOT 67692 SOS 21116 HAS SOPS 21116 HAS SOUS 16936 HAS SOUPS 16936 WITH SCORE 16957.116
AT ITER 2717 NEW BEST:: SOT 67693 SOS 21118 HAS SOPS 21118 HAS SOUS 16934 HAS SOUPS 16934 WITH SCORE 16955.118
AT ITER 2727 NEW BEST:: SOT 67662 SOS 21087 HAS SOPS 21087 HAS SOUS 16903 HAS SOUPS 16903 WITH SCORE 16924.087
AT ITER 2740 NEW BEST:: SOT 67612 SOS 20987 HAS SOPS 20987 HAS SOUS 16853 HAS SOUPS 16853 WITH SCORE 16873.987
AT ITER 2744 NEW BEST:: SOT 67612 SOS 20987 HAS SOPS 20987 HAS SOUS 16848 HAS SOUPS 16848 WITH SCORE 16868.987
AT ITER 2749 NEW BEST:: SOT 67663 SOS 20885 HAS SOPS 20885 HAS SOUS 16822 HAS SOUPS 16822 WITH SCORE 16842.885
AT ITER 2769 NEW BEST:: SOT 67659 SOS 20881 HAS SOPS 20881 HAS SOUS 16818 HAS SOUPS 16818 WITH SCORE 16838.881
AT ITER 2778 NEW BEST:: SOT 67616 SOS 20795 HAS SOPS 20795 HAS SOUS 16762 HAS SOUPS 16762 WITH SCORE 16782.795
AT ITER 2825 NEW BEST:: SOT 67615 SOS 20793 HAS SOPS 20793 HAS SOUS 16761 HAS SOUPS 16761 WITH SCORE 16781.793
AT ITER 2845 NEW BEST:: SOT 67615 SOS 20787 HAS SOPS 20787 HAS SOUS 16755 HAS SOUPS 16755 WITH SCORE 16775.787
AT ITER 2850 NEW BEST:: SOT 67601 SOS 20759 HAS SOPS 20759 HAS SOUS 16727 HAS SOUPS 16727 WITH SCORE 16747.759
AT ITER 2918 NEW BEST:: SOT 67555 SOS 20667 HAS SOPS 20667 HAS SOUS 16635 HAS SOUPS 16635 WITH SCORE 16655.667
AT ITER 2924 NEW BEST:: SOT 67533 SOS 20623 HAS SOPS 20623 HAS SOUS 16569 HAS SOUPS 16569 WITH SCORE 16589.623
AT ITER 2938 NEW BEST:: SOT 67516 SOS 20593 HAS SOPS 20593 HAS SOUS 16539 HAS SOUPS 16539 WITH SCORE 16559.593
AT ITER 2941 NEW BEST:: SOT 67504 SOS 20569 HAS SOPS 20569 HAS SOUS 16515 HAS SOUPS 16515 WITH SCORE 16535.569
AT ITER 2978 NEW BEST:: SOT 67499 SOS 20564 HAS SOPS 20564 HAS SOUS 16510 HAS SOUPS 16510 WITH SCORE 16530.564
AT ITER 2980 NEW BEST:: SOT 67499 SOS 20517 HAS SOPS 20517 HAS SOUS 16463 HAS SOUPS 16463 WITH SCORE 16483.517
AT ITER 2986 NEW BEST:: SOT 67495 SOS 20513 HAS SOPS 20513 HAS SOUS 16459 HAS SOUPS 16459 WITH SCORE 16479.513
AT ITER 2995 NEW BEST:: SOT 67485 SOS 20505 HAS SOPS 20505 HAS SOUS 16451 HAS SOUPS 16451 WITH SCORE 16471.505
AT ITER 3007 NEW BEST:: SOT 67485 SOS 20505 HAS SOPS 20505 HAS SOUS 16447 HAS SOUPS 16447 WITH SCORE 16467.505
AT ITER 3022 NEW BEST:: SOT 67496 SOS 20460 HAS SOPS 20460 HAS SOUS 16402 HAS SOUPS 16402 WITH SCORE 16422.46
AT ITER 3035 NEW BEST:: SOT 67487 SOS 20460 HAS SOPS 20460 HAS SOUS 16393 HAS SOUPS 16393 WITH SCORE 16413.46
AT ITER 3070 NEW BEST:: SOT 67454 SOS 20361 HAS SOPS 20361 HAS SOUS 16393 HAS SOUPS 16393 WITH SCORE 16413.361
AT ITER 3083 NEW BEST:: SOT 67361 SOS 20292 HAS SOPS 20292 HAS SOUS 16300 HAS SOUPS 16300 WITH SCORE 16320.292
AT ITER 3087 NEW BEST:: SOT 67362 SOS 20293 HAS SOPS 20293 HAS SOUS 16296 HAS SOUPS 16296 WITH SCORE 16316.293
AT ITER 3092 NEW BEST:: SOT 67323 SOS 20176 HAS SOPS 20176 HAS SOUS 16251 HAS SOUPS 16251 WITH SCORE 16271.176
AT ITER 3099 NEW BEST:: SOT 67315 SOS 20160 HAS SOPS 20160 HAS SOUS 16235 HAS SOUPS 16235 WITH SCORE 16255.16
AT ITER 3117 NEW BEST:: SOT 67238 SOS 20127 HAS SOPS 20127 HAS SOUS 16202 HAS SOUPS 16202 WITH SCORE 16222.127
AT ITER 3135 NEW BEST:: SOT 67237 SOS 20126 HAS SOPS 20126 HAS SOUS 16201 HAS SOUPS 16201 WITH SCORE 16221.126
AT ITER 3156 NEW BEST:: SOT 67232 SOS 20128 HAS SOPS 20128 HAS SOUS 16173 HAS SOUPS 16173 WITH SCORE 16193.128
AT ITER 3169 NEW BEST:: SOT 67232 SOS 20126 HAS SOPS 20126 HAS SOUS 16173 HAS SOUPS 16173 WITH SCORE 16193.126
AT ITER 3170 NEW BEST:: SOT 67228 SOS 20122 HAS SOPS 20122 HAS SOUS 16169 HAS SOUPS 16169 WITH SCORE 16189.122
AT ITER 3194 NEW BEST:: SOT 67225 SOS 20116 HAS SOPS 20116 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16183.116
AT ITER 3203 NEW BEST:: SOT 67152 SOS 21083 HAS SOPS 21083 HAS SOUS 16118 HAS SOUPS 16118 WITH SCORE 16139.083
AT ITER 3247 NEW BEST:: SOT 67149 SOS 21080 HAS SOPS 21080 HAS SOUS 16112 HAS SOUPS 16112 WITH SCORE 16133.08
AT ITER 3264 NEW BEST:: SOT 67149 SOS 21079 HAS SOPS 21079 HAS SOUS 16111 HAS SOUPS 16111 WITH SCORE 16132.079
AT ITER 3282 NEW BEST:: SOT 67149 SOS 21065 HAS SOPS 21065 HAS SOUS 16108 HAS SOUPS 16108 WITH SCORE 16129.065
AT ITER 3289 NEW BEST:: SOT 67149 SOS 21060 HAS SOPS 21060 HAS SOUS 16103 HAS SOUPS 16103 WITH SCORE 16124.06
AT ITER 3292 NEW BEST:: SOT 67135 SOS 21052 HAS SOPS 21052 HAS SOUS 16095 HAS SOUPS 16095 WITH SCORE 16116.052
AT ITER 3297 NEW BEST:: SOT 67111 SOS 21028 HAS SOPS 21028 HAS SOUS 16045 HAS SOUPS 16045 WITH SCORE 16066.028
AT ITER 3314 NEW BEST:: SOT 67096 SOS 21013 HAS SOPS 21013 HAS SOUS 16012 HAS SOUPS 16012 WITH SCORE 16033.013
AT ITER 3346 NEW BEST:: SOT 67104 SOS 20982 HAS SOPS 20982 HAS SOUS 15981 HAS SOUPS 15981 WITH SCORE 16001.982
AT ITER 3350 NEW BEST:: SOT 67104 SOS 20981 HAS SOPS 20981 HAS SOUS 15980 HAS SOUPS 15980 WITH SCORE 16000.981
AT ITER 3356 NEW BEST:: SOT 67104 SOS 20931 HAS SOPS 20931 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15950.931
AT ITER 3358 NEW BEST:: SOT 67100 SOS 20923 HAS SOPS 20923 HAS SOUS 15918 HAS SOUPS 15918 WITH SCORE 15938.923
AT ITER 3374 NEW BEST:: SOT 67099 SOS 20921 HAS SOPS 20921 HAS SOUS 15916 HAS SOUPS 15916 WITH SCORE 15936.921
AT ITER 3386 NEW BEST:: SOT 67076 SOS 20874 HAS SOPS 20874 HAS SOUS 15869 HAS SOUPS 15869 WITH SCORE 15889.874
AT ITER 3393 NEW BEST:: SOT 67107 SOS 20899 HAS SOPS 20899 HAS SOUS 15850 HAS SOUPS 15850 WITH SCORE 15870.899
AT ITER 3412 NEW BEST:: SOT 67091 SOS 20869 HAS SOPS 20869 HAS SOUS 15820 HAS SOUPS 15820 WITH SCORE 15840.869
AT ITER 3446 NEW BEST:: SOT 66985 SOS 20657 HAS SOPS 20657 HAS SOUS 15670 HAS SOUPS 15670 WITH SCORE 15690.657
AT ITER 3456 NEW BEST:: SOT 67034 SOS 20694 HAS SOPS 20694 HAS SOUS 15667 HAS SOUPS 15667 WITH SCORE 15687.694
AT ITER 3545 NEW BEST:: SOT 67034 SOS 20679 HAS SOPS 20679 HAS SOUS 15652 HAS SOUPS 15652 WITH SCORE 15672.679
AT ITER 3547 NEW BEST:: SOT 67004 SOS 20634 HAS SOPS 20634 HAS SOUS 15622 HAS SOUPS 15622 WITH SCORE 15642.634
AT ITER 3563 NEW BEST:: SOT 67008 SOS 20575 HAS SOPS 20575 HAS SOUS 15563 HAS SOUPS 15563 WITH SCORE 15583.575
AT ITER 3580 NEW BEST:: SOT 67008 SOS 20542 HAS SOPS 20542 HAS SOUS 15530 HAS SOUPS 15530 WITH SCORE 15550.542
AT ITER 3581 NEW BEST:: SOT 66987 SOS 20500 HAS SOPS 20500 HAS SOUS 15488 HAS SOUPS 15488 WITH SCORE 15508.5
AT ITER 3611 NEW BEST:: SOT 66974 SOS 20481 HAS SOPS 20481 HAS SOUS 15469 HAS SOUPS 15469 WITH SCORE 15489.481
AT ITER 3616 NEW BEST:: SOT 66964 SOS 20461 HAS SOPS 20461 HAS SOUS 15449 HAS SOUPS 15449 WITH SCORE 15469.461
AT ITER 3621 NEW BEST:: SOT 66951 SOS 20448 HAS SOPS 20448 HAS SOUS 15444 HAS SOUPS 15444 WITH SCORE 15464.448
AT ITER 3622 NEW BEST:: SOT 66938 SOS 20422 HAS SOPS 20422 HAS SOUS 15440 HAS SOUPS 15440 WITH SCORE 15460.422
AT ITER 3676 NEW BEST:: SOT 66894 SOS 20410 HAS SOPS 20410 HAS SOUS 15428 HAS SOUPS 15428 WITH SCORE 15448.41
AT ITER 3707 NEW BEST:: SOT 66882 SOS 20398 HAS SOPS 20398 HAS SOUS 15416 HAS SOUPS 15416 WITH SCORE 15436.398
AT ITER 3716 NEW BEST:: SOT 66897 SOS 20410 HAS SOPS 20410 HAS SOUS 15410 HAS SOUPS 15410 WITH SCORE 15430.41
AT ITER 3762 NEW BEST:: SOT 66833 SOS 20346 HAS SOPS 20346 HAS SOUS 15401 HAS SOUPS 15401 WITH SCORE 15421.346
AT ITER 3764 NEW BEST:: SOT 66832 SOS 20344 HAS SOPS 20344 HAS SOUS 15399 HAS SOUPS 15399 WITH SCORE 15419.344
AT ITER 3832 NEW BEST:: SOT 66828 SOS 20339 HAS SOPS 20339 HAS SOUS 15397 HAS SOUPS 15397 WITH SCORE 15417.339
AT ITER 3850 NEW BEST:: SOT 66823 SOS 20336 HAS SOPS 20336 HAS SOUS 15394 HAS SOUPS 15394 WITH SCORE 15414.336
AT ITER 3894 NEW BEST:: SOT 66818 SOS 20331 HAS SOPS 20331 HAS SOUS 15389 HAS SOUPS 15389 WITH SCORE 15409.331
AT ITER 3911 NEW BEST:: SOT 66771 SOS 20323 HAS SOPS 20323 HAS SOUS 15351 HAS SOUPS 15351 WITH SCORE 15371.323
AT ITER 3923 NEW BEST:: SOT 66769 SOS 20318 HAS SOPS 20318 HAS SOUS 15346 HAS SOUPS 15346 WITH SCORE 15366.318
AT ITER 3928 NEW BEST:: SOT 66739 SOS 20201 HAS SOPS 20201 HAS SOUS 15328 HAS SOUPS 15328 WITH SCORE 15348.201
AT ITER 3932 NEW BEST:: SOT 66717 SOS 20179 HAS SOPS 20179 HAS SOUS 15306 HAS SOUPS 15306 WITH SCORE 15326.179
AT ITER 3939 NEW BEST:: SOT 66686 SOS 20148 HAS SOPS 20148 HAS SOUS 15275 HAS SOUPS 15275 WITH SCORE 15295.148
AT ITER 3943 NEW BEST:: SOT 66715 SOS 20138 HAS SOPS 20138 HAS SOUS 15257 HAS SOUPS 15257 WITH SCORE 15277.138
AT ITER 3978 NEW BEST:: SOT 66697 SOS 20120 HAS SOPS 20120 HAS SOUS 15257 HAS SOUPS 15257 WITH SCORE 15277.12
AT ITER 3984 NEW BEST:: SOT 66697 SOS 20116 HAS SOPS 20116 HAS SOUS 15253 HAS SOUPS 15253 WITH SCORE 15273.116
AT ITER 4009 NEW BEST:: SOT 66699 SOS 20102 HAS SOPS 20102 HAS SOUS 15245 HAS SOUPS 15245 WITH SCORE 15265.102
AT ITER 4087 NEW BEST:: SOT 66698 SOS 20100 HAS SOPS 20100 HAS SOUS 15243 HAS SOUPS 15243 WITH SCORE 15263.1
AT ITER 4095 NEW BEST:: SOT 66697 SOS 20097 HAS SOPS 20097 HAS SOUS 15240 HAS SOUPS 15240 WITH SCORE 15260.097
AT ITER 4108 NEW BEST:: SOT 66697 SOS 20092 HAS SOPS 20092 HAS SOUS 15235 HAS SOUPS 15235 WITH SCORE 15255.092
AT ITER 4260 NEW BEST:: SOT 66682 SOS 20104 HAS SOPS 20104 HAS SOUS 15222 HAS SOUPS 15222 WITH SCORE 15242.104
AT ITER 4274 NEW BEST:: SOT 66682 SOS 20083 HAS SOPS 20083 HAS SOUS 15201 HAS SOUPS 15201 WITH SCORE 15221.083
AT ITER 4289 NEW BEST:: SOT 66685 SOS 20058 HAS SOPS 20058 HAS SOUS 15176 HAS SOUPS 15176 WITH SCORE 15196.058
AT ITER 4302 NEW BEST:: SOT 66685 SOS 20049 HAS SOPS 20049 HAS SOUS 15167 HAS SOUPS 15167 WITH SCORE 15187.049
AT ITER 4319 NEW BEST:: SOT 66684 SOS 20048 HAS SOPS 20048 HAS SOUS 15166 HAS SOUPS 15166 WITH SCORE 15186.048
AT ITER 4343 NEW BEST:: SOT 66682 SOS 20028 HAS SOPS 20028 HAS SOUS 15164 HAS SOUPS 15164 WITH SCORE 15184.028
AT ITER 4410 NEW BEST:: SOT 66689 SOS 20036 HAS SOPS 20036 HAS SOUS 15082 HAS SOUPS 15082 WITH SCORE 15102.036
AT ITER 4431 NEW BEST:: SOT 66688 SOS 20034 HAS SOPS 20034 HAS SOUS 15082 HAS SOUPS 15082 WITH SCORE 15102.034
AT ITER 4432 NEW BEST:: SOT 66683 SOS 20029 HAS SOPS 20029 HAS SOUS 15077 HAS SOUPS 15077 WITH SCORE 15097.029
AT ITER 4444 NEW BEST:: SOT 66678 SOS 20024 HAS SOPS 20024 HAS SOUS 15072 HAS SOUPS 15072 WITH SCORE 15092.024
AT ITER 4467 NEW BEST:: SOT 66686 SOS 20040 HAS SOPS 20040 HAS SOUS 15066 HAS SOUPS 15066 WITH SCORE 15086.04
AT ITER 4481 NEW BEST:: SOT 66686 SOS 20030 HAS SOPS 20030 HAS SOUS 15056 HAS SOUPS 15056 WITH SCORE 15076.03
AT ITER 4500 NEW BEST:: SOT 66610 SOS 19954 HAS SOPS 19954 HAS SOUS 15056 HAS SOUPS 15056 WITH SCORE 15075.954
AT ITER 4516 NEW BEST:: SOT 66603 SOS 19947 HAS SOPS 19947 HAS SOUS 15049 HAS SOUPS 15049 WITH SCORE 15068.947
AT ITER 4529 NEW BEST:: SOT 66602 SOS 19946 HAS SOPS 19946 HAS SOUS 15048 HAS SOUPS 15048 WITH SCORE 15067.946
AT ITER 4561 NEW BEST:: SOT 66602 SOS 19938 HAS SOPS 19938 HAS SOUS 15040 HAS SOUPS 15040 WITH SCORE 15059.938
AT ITER 4595 NEW BEST:: SOT 66602 SOS 19922 HAS SOPS 19922 HAS SOUS 15024 HAS SOUPS 15024 WITH SCORE 15043.922
AT ITER 4635 NEW BEST:: SOT 66588 SOS 19897 HAS SOPS 19897 HAS SOUS 14999 HAS SOUPS 14999 WITH SCORE 15018.897
AT ITER 4684 NEW BEST:: SOT 66588 SOS 19897 HAS SOPS 19897 HAS SOUS 14994 HAS SOUPS 14994 WITH SCORE 15013.897
AT ITER 4691 NEW BEST:: SOT 66586 SOS 19893 HAS SOPS 19893 HAS SOUS 14990 HAS SOUPS 14990 WITH SCORE 15009.893
AT ITER 4693 NEW BEST:: SOT 66584 SOS 19891 HAS SOPS 19891 HAS SOUS 14988 HAS SOUPS 14988 WITH SCORE 15007.891
AT ITER 4698 NEW BEST:: SOT 66577 SOS 19884 HAS SOPS 19884 HAS SOUS 14981 HAS SOUPS 14981 WITH SCORE 15000.884
AT ITER 4703 NEW BEST:: SOT 66576 SOS 19883 HAS SOPS 19883 HAS SOUS 14980 HAS SOUPS 14980 WITH SCORE 14999.883
AT ITER 4728 NEW BEST:: SOT 66584 SOS 19899 HAS SOPS 19899 HAS SOUS 14979 HAS SOUPS 14979 WITH SCORE 14998.899
AT ITER 4745 NEW BEST:: SOT 66574 SOS 19888 HAS SOPS 19888 HAS SOUS 14961 HAS SOUPS 14961 WITH SCORE 14980.888
AT ITER 4751 NEW BEST:: SOT 66574 SOS 19869 HAS SOPS 19869 HAS SOUS 14942 HAS SOUPS 14942 WITH SCORE 14961.869
AT ITER 4765 NEW BEST:: SOT 66537 SOS 19805 HAS SOPS 19805 HAS SOUS 14897 HAS SOUPS 14897 WITH SCORE 14916.805
AT ITER 4804 NEW BEST:: SOT 66570 SOS 19832 HAS SOPS 19832 HAS SOUS 14885 HAS SOUPS 14885 WITH SCORE 14904.832
AT ITER 4826 NEW BEST:: SOT 66568 SOS 19828 HAS SOPS 19828 HAS SOUS 14881 HAS SOUPS 14881 WITH SCORE 14900.828
AT ITER 4827 NEW BEST:: SOT 66595 SOS 19850 HAS SOPS 19850 HAS SOUS 14830 HAS SOUPS 14830 WITH SCORE 14849.85
AT ITER 4831 NEW BEST:: SOT 66610 SOS 19850 HAS SOPS 19850 HAS SOUS 14826 HAS SOUPS 14826 WITH SCORE 14845.85
AT ITER 4844 NEW BEST:: SOT 66610 SOS 19849 HAS SOPS 19849 HAS SOUS 14825 HAS SOUPS 14825 WITH SCORE 14844.849
AT ITER 4849 NEW BEST:: SOT 66607 SOS 19840 HAS SOPS 19840 HAS SOUS 14819 HAS SOUPS 14819 WITH SCORE 14838.84
AT ITER 4850 NEW BEST:: SOT 66594 SOS 19768 HAS SOPS 19768 HAS SOUS 14760 HAS SOUPS 14760 WITH SCORE 14779.768
AT ITER 4864 NEW BEST:: SOT 66562 SOS 19715 HAS SOPS 19715 HAS SOUS 14707 HAS SOUPS 14707 WITH SCORE 14726.715
AT ITER 4899 NEW BEST:: SOT 66554 SOS 19707 HAS SOPS 19707 HAS SOUS 14699 HAS SOUPS 14699 WITH SCORE 14718.707
AT ITER 4937 NEW BEST:: SOT 66548 SOS 19705 HAS SOPS 19705 HAS SOUS 14693 HAS SOUPS 14693 WITH SCORE 14712.705
AT ITER 4945 NEW BEST:: SOT 66540 SOS 19697 HAS SOPS 19697 HAS SOUS 14693 HAS SOUPS 14693 WITH SCORE 14712.697
AT ITER 5014 NEW BEST:: SOT 66531 SOS 19685 HAS SOPS 19685 HAS SOUS 14681 HAS SOUPS 14681 WITH SCORE 14700.685
AT ITER 5017 NEW BEST:: SOT 66531 SOS 19683 HAS SOPS 19683 HAS SOUS 14679 HAS SOUPS 14679 WITH SCORE 14698.683
AT ITER 5043 NEW BEST:: SOT 66531 SOS 19682 HAS SOPS 19682 HAS SOUS 14678 HAS SOUPS 14678 WITH SCORE 14697.682
AT ITER 5083 NEW BEST:: SOT 66531 SOS 19681 HAS SOPS 19681 HAS SOUS 14678 HAS SOUPS 14678 WITH SCORE 14697.681
AT ITER 5118 NEW BEST:: SOT 66523 SOS 19833 HAS SOPS 19833 HAS SOUS 14674 HAS SOUPS 14674 WITH SCORE 14693.833
AT ITER 5141 NEW BEST:: SOT 66512 SOS 19789 HAS SOPS 19789 HAS SOUS 14663 HAS SOUPS 14663 WITH SCORE 14682.789
AT ITER 5147 NEW BEST:: SOT 66511 SOS 19788 HAS SOPS 19788 HAS SOUS 14662 HAS SOUPS 14662 WITH SCORE 14681.788
AT ITER 5148 NEW BEST:: SOT 66482 SOS 19774 HAS SOPS 19774 HAS SOUS 14648 HAS SOUPS 14648 WITH SCORE 14667.774
AT ITER 5166 NEW BEST:: SOT 66482 SOS 19772 HAS SOPS 19772 HAS SOUS 14646 HAS SOUPS 14646 WITH SCORE 14665.772
AT ITER 5175 NEW BEST:: SOT 66462 SOS 19752 HAS SOPS 19752 HAS SOUS 14626 HAS SOUPS 14626 WITH SCORE 14645.752
AT ITER 5179 NEW BEST:: SOT 66465 SOS 19790 HAS SOPS 19790 HAS SOUS 14616 HAS SOUPS 14616 WITH SCORE 14635.79
AT ITER 5209 NEW BEST:: SOT 66467 SOS 19778 HAS SOPS 19778 HAS SOUS 14608 HAS SOUPS 14608 WITH SCORE 14627.778
AT ITER 5213 NEW BEST:: SOT 66487 SOS 19771 HAS SOPS 19771 HAS SOUS 14601 HAS SOUPS 14601 WITH SCORE 14620.771
AT ITER 5214 NEW BEST:: SOT 66462 SOS 19746 HAS SOPS 19746 HAS SOUS 14576 HAS SOUPS 14576 WITH SCORE 14595.746
AT ITER 5217 NEW BEST:: SOT 66461 SOS 19744 HAS SOPS 19744 HAS SOUS 14574 HAS SOUPS 14574 WITH SCORE 14593.744
AT ITER 5236 NEW BEST:: SOT 66470 SOS 19740 HAS SOPS 19740 HAS SOUS 14570 HAS SOUPS 14570 WITH SCORE 14589.74
AT ITER 5240 NEW BEST:: SOT 66472 SOS 19735 HAS SOPS 19735 HAS SOUS 14568 HAS SOUPS 14568 WITH SCORE 14587.735
AT ITER 5296 NEW BEST:: SOT 66464 SOS 19719 HAS SOPS 19719 HAS SOUS 14552 HAS SOUPS 14552 WITH SCORE 14571.719
AT ITER 5326 NEW BEST:: SOT 66439 SOS 19694 HAS SOPS 19694 HAS SOUS 14540 HAS SOUPS 14540 WITH SCORE 14559.694
AT ITER 5334 NEW BEST:: SOT 66409 SOS 19664 HAS SOPS 19664 HAS SOUS 14510 HAS SOUPS 14510 WITH SCORE 14529.664
AT ITER 5357 NEW BEST:: SOT 66431 SOS 19686 HAS SOPS 19686 HAS SOUS 14475 HAS SOUPS 14475 WITH SCORE 14494.686
AT ITER 5378 NEW BEST:: SOT 66427 SOS 19682 HAS SOPS 19682 HAS SOUS 14471 HAS SOUPS 14471 WITH SCORE 14490.682
AT ITER 5404 NEW BEST:: SOT 66414 SOS 19656 HAS SOPS 19656 HAS SOUS 14460 HAS SOUPS 14460 WITH SCORE 14479.656
AT ITER 5503 NEW BEST:: SOT 66385 SOS 19611 HAS SOPS 19611 HAS SOUS 14415 HAS SOUPS 14415 WITH SCORE 14434.611
AT ITER 5526 NEW BEST:: SOT 66382 SOS 19605 HAS SOPS 19605 HAS SOUS 14415 HAS SOUPS 14415 WITH SCORE 14434.605
AT ITER 5540 NEW BEST:: SOT 66379 SOS 19596 HAS SOPS 19596 HAS SOUS 14406 HAS SOUPS 14406 WITH SCORE 14425.596
AT ITER 5581 NEW BEST:: SOT 66378 SOS 19574 HAS SOPS 19574 HAS SOUS 14384 HAS SOUPS 14384 WITH SCORE 14403.574
AT ITER 5606 NEW BEST:: SOT 66362 SOS 19558 HAS SOPS 19558 HAS SOUS 14368 HAS SOUPS 14368 WITH SCORE 14387.558
AT ITER 5664 NEW BEST:: SOT 66361 SOS 19556 HAS SOPS 19556 HAS SOUS 14366 HAS SOUPS 14366 WITH SCORE 14385.556
AT ITER 5715 NEW BEST:: SOT 66351 SOS 19550 HAS SOPS 19550 HAS SOUS 14360 HAS SOUPS 14360 WITH SCORE 14379.55
AT ITER 5718 NEW BEST:: SOT 66387 SOS 19586 HAS SOPS 19586 HAS SOUS 14338 HAS SOUPS 14338 WITH SCORE 14357.586
AT ITER 5765 NEW BEST:: SOT 66380 SOS 19565 HAS SOPS 19565 HAS SOUS 14317 HAS SOUPS 14317 WITH SCORE 14336.565
AT ITER 5814 NEW BEST:: SOT 66374 SOS 19556 HAS SOPS 19556 HAS SOUS 14308 HAS SOUPS 14308 WITH SCORE 14327.556
AT ITER 5851 NEW BEST:: SOT 66374 SOS 19525 HAS SOPS 19525 HAS SOUS 14302 HAS SOUPS 14302 WITH SCORE 14321.525
AT ITER 5920 NEW BEST:: SOT 66362 SOS 19501 HAS SOPS 19501 HAS SOUS 14284 HAS SOUPS 14284 WITH SCORE 14303.501
AT ITER 5946 NEW BEST:: SOT 66316 SOS 19432 HAS SOPS 19432 HAS SOUS 14261 HAS SOUPS 14261 WITH SCORE 14280.432
AT ITER 5956 NEW BEST:: SOT 66275 SOS 19389 HAS SOPS 19389 HAS SOUS 14257 HAS SOUPS 14257 WITH SCORE 14276.389
AT ITER 5967 NEW BEST:: SOT 66275 SOS 19354 HAS SOPS 19354 HAS SOUS 14222 HAS SOUPS 14222 WITH SCORE 14241.354
AT ITER 6016 NEW BEST:: SOT 66274 SOS 19353 HAS SOPS 19353 HAS SOUS 14221 HAS SOUPS 14221 WITH SCORE 14240.353
AT ITER 6048 NEW BEST:: SOT 66273 SOS 19351 HAS SOPS 19351 HAS SOUS 14219 HAS SOUPS 14219 WITH SCORE 14238.351
AT ITER 6096 NEW BEST:: SOT 66278 SOS 19346 HAS SOPS 19346 HAS SOUS 14214 HAS SOUPS 14214 WITH SCORE 14233.346
AT ITER 6104 NEW BEST:: SOT 66265 SOS 19315 HAS SOPS 19315 HAS SOUS 14183 HAS SOUPS 14183 WITH SCORE 14202.315
AT ITER 6126 NEW BEST:: SOT 66265 SOS 19294 HAS SOPS 19294 HAS SOUS 14176 HAS SOUPS 14176 WITH SCORE 14195.294
AT ITER 6145 NEW BEST:: SOT 66251 SOS 19292 HAS SOPS 19292 HAS SOUS 14174 HAS SOUPS 14174 WITH SCORE 14193.292
AT ITER 6184 NEW BEST:: SOT 66244 SOS 19257 HAS SOPS 19257 HAS SOUS 14139 HAS SOUPS 14139 WITH SCORE 14158.257
AT ITER 6241 NEW BEST:: SOT 66237 SOS 19250 HAS SOPS 19250 HAS SOUS 14139 HAS SOUPS 14139 WITH SCORE 14158.25
AT ITER 6244 NEW BEST:: SOT 66234 SOS 19247 HAS SOPS 19247 HAS SOUS 14136 HAS SOUPS 14136 WITH SCORE 14155.247
AT ITER 6303 NEW BEST:: SOT 66228 SOS 19242 HAS SOPS 19242 HAS SOUS 14131 HAS SOUPS 14131 WITH SCORE 14150.242
AT ITER 6346 NEW BEST:: SOT 66228 SOS 19241 HAS SOPS 19241 HAS SOUS 14130 HAS SOUPS 14130 WITH SCORE 14149.241
AT ITER 6412 NEW BEST:: SOT 66219 SOS 19232 HAS SOPS 19232 HAS SOUS 14121 HAS SOUPS 14121 WITH SCORE 14140.232
AT ITER 6427 NEW BEST:: SOT 66219 SOS 19231 HAS SOPS 19231 HAS SOUS 14119 HAS SOUPS 14119 WITH SCORE 14138.231
AT ITER 6511 NEW BEST:: SOT 66194 SOS 19192 HAS SOPS 19192 HAS SOUS 14080 HAS SOUPS 14080 WITH SCORE 14099.192
AT ITER 6516 NEW BEST:: SOT 66175 SOS 19173 HAS SOPS 19173 HAS SOUS 14061 HAS SOUPS 14061 WITH SCORE 14080.173
AT ITER 6549 NEW BEST:: SOT 66152 SOS 19150 HAS SOPS 19150 HAS SOUS 14044 HAS SOUPS 14044 WITH SCORE 14063.15
AT ITER 6664 NEW BEST:: SOT 66151 SOS 19148 HAS SOPS 19148 HAS SOUS 14043 HAS SOUPS 14043 WITH SCORE 14062.148
AT ITER 6714 NEW BEST:: SOT 66139 SOS 19124 HAS SOPS 19124 HAS SOUS 14027 HAS SOUPS 14027 WITH SCORE 14046.124
AT ITER 6749 NEW BEST:: SOT 66137 SOS 19120 HAS SOPS 19120 HAS SOUS 14023 HAS SOUPS 14023 WITH SCORE 14042.12
AT ITER 6762 NEW BEST:: SOT 66129 SOS 19113 HAS SOPS 19113 HAS SOUS 14016 HAS SOUPS 14016 WITH SCORE 14035.113
AT ITER 6773 NEW BEST:: SOT 66129 SOS 19069 HAS SOPS 19069 HAS SOUS 13980 HAS SOUPS 13980 WITH SCORE 13999.069
AT ITER 6794 NEW BEST:: SOT 66116 SOS 19056 HAS SOPS 19056 HAS SOUS 13967 HAS SOUPS 13967 WITH SCORE 13986.056
AT ITER 6798 NEW BEST:: SOT 66116 SOS 19056 HAS SOPS 19056 HAS SOUS 13961 HAS SOUPS 13961 WITH SCORE 13980.056
AT ITER 6801 NEW BEST:: SOT 66091 SOS 19031 HAS SOPS 19031 HAS SOUS 13943 HAS SOUPS 13943 WITH SCORE 13962.031
AT ITER 6803 NEW BEST:: SOT 66091 SOS 19028 HAS SOPS 19028 HAS SOUS 13937 HAS SOUPS 13937 WITH SCORE 13956.028
AT ITER 6942 NEW BEST:: SOT 66086 SOS 19023 HAS SOPS 19023 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13951.023
AT ITER 6981 NEW BEST:: SOT 66061 SOS 18998 HAS SOPS 18998 HAS SOUS 13926 HAS SOUPS 13926 WITH SCORE 13944.998
AT ITER 7000 NEW BEST:: SOT 66060 SOS 18997 HAS SOPS 18997 HAS SOUS 13925 HAS SOUPS 13925 WITH SCORE 13943.997
AT ITER 7001 NEW BEST:: SOT 66053 SOS 18990 HAS SOPS 18990 HAS SOUS 13918 HAS SOUPS 13918 WITH SCORE 13936.99
AT ITER 7098 NEW BEST:: SOT 66057 SOS 18992 HAS SOPS 18992 HAS SOUS 13917 HAS SOUPS 13917 WITH SCORE 13935.992
AT ITER 7100 NEW BEST:: SOT 66052 SOS 18987 HAS SOPS 18987 HAS SOUS 13912 HAS SOUPS 13912 WITH SCORE 13930.987
AT ITER 7109 NEW BEST:: SOT 66046 SOS 18975 HAS SOPS 18975 HAS SOUS 13900 HAS SOUPS 13900 WITH SCORE 13918.975
AT ITER 7134 NEW BEST:: SOT 66046 SOS 18974 HAS SOPS 18974 HAS SOUS 13899 HAS SOUPS 13899 WITH SCORE 13917.974
AT ITER 7200 NEW BEST:: SOT 66098 SOS 18933 HAS SOPS 18933 HAS SOUS 13864 HAS SOUPS 13864 WITH SCORE 13882.933
AT ITER 7245 NEW BEST:: SOT 66098 SOS 18930 HAS SOPS 18930 HAS SOUS 13861 HAS SOUPS 13861 WITH SCORE 13879.93
AT ITER 7253 NEW BEST:: SOT 66104 SOS 18924 HAS SOPS 18924 HAS SOUS 13855 HAS SOUPS 13855 WITH SCORE 13873.924
AT ITER 7271 NEW BEST:: SOT 66094 SOS 18972 HAS SOPS 18972 HAS SOUS 13844 HAS SOUPS 13844 WITH SCORE 13862.972
AT ITER 7386 NEW BEST:: SOT 66089 SOS 18962 HAS SOPS 18962 HAS SOUS 13839 HAS SOUPS 13839 WITH SCORE 13857.962
AT ITER 7410 NEW BEST:: SOT 66089 SOS 18954 HAS SOPS 18954 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13841.954
AT ITER 7434 NEW BEST:: SOT 66089 SOS 18930 HAS SOPS 18930 HAS SOUS 13799 HAS SOUPS 13799 WITH SCORE 13817.93
AT ITER 7478 NEW BEST:: SOT 66086 SOS 18927 HAS SOPS 18927 HAS SOUS 13799 HAS SOUPS 13799 WITH SCORE 13817.927
AT ITER 7486 NEW BEST:: SOT 66077 SOS 18909 HAS SOPS 18909 HAS SOUS 13781 HAS SOUPS 13781 WITH SCORE 13799.909
AT ITER 7500 NEW BEST:: SOT 66069 SOS 18893 HAS SOPS 18893 HAS SOUS 13765 HAS SOUPS 13765 WITH SCORE 13783.893
AT ITER 7514 NEW BEST:: SOT 66075 SOS 18889 HAS SOPS 18889 HAS SOUS 13761 HAS SOUPS 13761 WITH SCORE 13779.889
AT ITER 7531 NEW BEST:: SOT 66075 SOS 18698 HAS SOPS 18698 HAS SOUS 13678 HAS SOUPS 13678 WITH SCORE 13696.698
AT ITER 7547 NEW BEST:: SOT 66072 SOS 18692 HAS SOPS 18692 HAS SOUS 13672 HAS SOUPS 13672 WITH SCORE 13690.692
AT ITER 7644 NEW BEST:: SOT 66073 SOS 18692 HAS SOPS 18692 HAS SOUS 13670 HAS SOUPS 13670 WITH SCORE 13688.692
AT ITER 7686 NEW BEST:: SOT 66066 SOS 18678 HAS SOPS 18678 HAS SOUS 13656 HAS SOUPS 13656 WITH SCORE 13674.678
AT ITER 7695 NEW BEST:: SOT 66056 SOS 18667 HAS SOPS 18667 HAS SOUS 13654 HAS SOUPS 13654 WITH SCORE 13672.667
AT ITER 7729 NEW BEST:: SOT 66043 SOS 18665 HAS SOPS 18665 HAS SOUS 13652 HAS SOUPS 13652 WITH SCORE 13670.665
AT ITER 7733 NEW BEST:: SOT 66040 SOS 18661 HAS SOPS 18661 HAS SOUS 13651 HAS SOUPS 13651 WITH SCORE 13669.661
AT ITER 7828 NEW BEST:: SOT 66040 SOS 18616 HAS SOPS 18616 HAS SOUS 13621 HAS SOUPS 13621 WITH SCORE 13639.616
AT ITER 7836 NEW BEST:: SOT 66040 SOS 18616 HAS SOPS 18616 HAS SOUS 13615 HAS SOUPS 13615 WITH SCORE 13633.616
AT ITER 7859 NEW BEST:: SOT 66032 SOS 18608 HAS SOPS 18608 HAS SOUS 13607 HAS SOUPS 13607 WITH SCORE 13625.608
AT ITER 7881 NEW BEST:: SOT 66032 SOS 18600 HAS SOPS 18600 HAS SOUS 13599 HAS SOUPS 13599 WITH SCORE 13617.6
AT ITER 7915 NEW BEST:: SOT 66022 SOS 18591 HAS SOPS 18591 HAS SOUS 13594 HAS SOUPS 13594 WITH SCORE 13612.591
AT ITER 7931 NEW BEST:: SOT 66073 SOS 18634 HAS SOPS 18634 HAS SOUS 13577 HAS SOUPS 13577 WITH SCORE 13595.634
AT ITER 7935 NEW BEST:: SOT 66035 SOS 18606 HAS SOPS 18606 HAS SOUS 13549 HAS SOUPS 13549 WITH SCORE 13567.606
AT ITER 7989 NEW BEST:: SOT 66021 SOS 18579 HAS SOPS 18579 HAS SOUS 13522 HAS SOUPS 13522 WITH SCORE 13540.579
AT ITER 8000 NEW BEST:: SOT 66020 SOS 18570 HAS SOPS 18570 HAS SOUS 13513 HAS SOUPS 13513 WITH SCORE 13531.57
AT ITER 8031 NEW BEST:: SOT 66092 SOS 18642 HAS SOPS 18642 HAS SOUS 13509 HAS SOUPS 13509 WITH SCORE 13527.642
AT ITER 8050 NEW BEST:: SOT 66096 SOS 18650 HAS SOPS 18650 HAS SOUS 13502 HAS SOUPS 13502 WITH SCORE 13520.65
AT ITER 8094 NEW BEST:: SOT 66095 SOS 18648 HAS SOPS 18648 HAS SOUS 13500 HAS SOUPS 13500 WITH SCORE 13518.648
AT ITER 8101 NEW BEST:: SOT 66080 SOS 18633 HAS SOPS 18633 HAS SOUS 13500 HAS SOUPS 13500 WITH SCORE 13518.633
AT ITER 8107 NEW BEST:: SOT 66075 SOS 18623 HAS SOPS 18623 HAS SOUS 13490 HAS SOUPS 13490 WITH SCORE 13508.623
AT ITER 8111 NEW BEST:: SOT 66075 SOS 18608 HAS SOPS 18608 HAS SOUS 13479 HAS SOUPS 13479 WITH SCORE 13497.608
AT ITER 8126 NEW BEST:: SOT 66055 SOS 18588 HAS SOPS 18588 HAS SOUS 13479 HAS SOUPS 13479 WITH SCORE 13497.588
AT ITER 8132 NEW BEST:: SOT 66052 SOS 18585 HAS SOPS 18585 HAS SOUS 13476 HAS SOUPS 13476 WITH SCORE 13494.585
AT ITER 8165 NEW BEST:: SOT 66052 SOS 18584 HAS SOPS 18584 HAS SOUS 13475 HAS SOUPS 13475 WITH SCORE 13493.584
AT ITER 8196 NEW BEST:: SOT 66028 SOS 18569 HAS SOPS 18569 HAS SOUS 13460 HAS SOUPS 13460 WITH SCORE 13478.569
AT ITER 8204 NEW BEST:: SOT 66027 SOS 18569 HAS SOPS 18569 HAS SOUS 13459 HAS SOUPS 13459 WITH SCORE 13477.569
AT ITER 8243 NEW BEST:: SOT 65987 SOS 18518 HAS SOPS 18518 HAS SOUS 13437 HAS SOUPS 13437 WITH SCORE 13455.518
AT ITER 8360 NEW BEST:: SOT 65981 SOS 18512 HAS SOPS 18512 HAS SOUS 13431 HAS SOUPS 13431 WITH SCORE 13449.512
AT ITER 8465 NEW BEST:: SOT 65969 SOS 18501 HAS SOPS 18501 HAS SOUS 13420 HAS SOUPS 13420 WITH SCORE 13438.501
AT ITER 8474 NEW BEST:: SOT 65963 SOS 18495 HAS SOPS 18495 HAS SOUS 13414 HAS SOUPS 13414 WITH SCORE 13432.495
AT ITER 8482 NEW BEST:: SOT 65955 SOS 18490 HAS SOPS 18490 HAS SOUS 13409 HAS SOUPS 13409 WITH SCORE 13427.49
AT ITER 8503 NEW BEST:: SOT 65962 SOS 18485 HAS SOPS 18485 HAS SOUS 13404 HAS SOUPS 13404 WITH SCORE 13422.485
AT ITER 8577 NEW BEST:: SOT 65962 SOS 18461 HAS SOPS 18461 HAS SOUS 13380 HAS SOUPS 13380 WITH SCORE 13398.461
AT ITER 8584 NEW BEST:: SOT 65965 SOS 18459 HAS SOPS 18459 HAS SOUS 13380 HAS SOUPS 13380 WITH SCORE 13398.459
AT ITER 8682 NEW BEST:: SOT 65959 SOS 18453 HAS SOPS 18453 HAS SOUS 13374 HAS SOUPS 13374 WITH SCORE 13392.453
AT ITER 8690 NEW BEST:: SOT 65940 SOS 18434 HAS SOPS 18434 HAS SOUS 13355 HAS SOUPS 13355 WITH SCORE 13373.434
AT ITER 8693 NEW BEST:: SOT 65934 SOS 18417 HAS SOPS 18417 HAS SOUS 13353 HAS SOUPS 13353 WITH SCORE 13371.417
AT ITER 8699 NEW BEST:: SOT 65931 SOS 18414 HAS SOPS 18414 HAS SOUS 13350 HAS SOUPS 13350 WITH SCORE 13368.414
AT ITER 8715 NEW BEST:: SOT 65931 SOS 18408 HAS SOPS 18408 HAS SOUS 13350 HAS SOUPS 13350 WITH SCORE 13368.408
AT ITER 8811 NEW BEST:: SOT 65931 SOS 18408 HAS SOPS 18408 HAS SOUS 13349 HAS SOUPS 13349 WITH SCORE 13367.408
AT ITER 8878 NEW BEST:: SOT 65930 SOS 18396 HAS SOPS 18396 HAS SOUS 13346 HAS SOUPS 13346 WITH SCORE 13364.396
AT ITER 8968 NEW BEST:: SOT 65927 SOS 18390 HAS SOPS 18390 HAS SOUS 13340 HAS SOUPS 13340 WITH SCORE 13358.39
AT ITER 8981 NEW BEST:: SOT 65902 SOS 18340 HAS SOPS 18340 HAS SOUS 13290 HAS SOUPS 13290 WITH SCORE 13308.34
AT ITER 9001 NEW BEST:: SOT 65902 SOS 18340 HAS SOPS 18340 HAS SOUS 13289 HAS SOUPS 13289 WITH SCORE 13307.34
AT ITER 9117 NEW BEST:: SOT 65888 SOS 18326 HAS SOPS 18326 HAS SOUS 13275 HAS SOUPS 13275 WITH SCORE 13293.326
AT ITER 9206 NEW BEST:: SOT 65874 SOS 18298 HAS SOPS 18298 HAS SOUS 13269 HAS SOUPS 13269 WITH SCORE 13287.298
AT ITER 9221 NEW BEST:: SOT 65876 SOS 18298 HAS SOPS 18298 HAS SOUS 13261 HAS SOUPS 13261 WITH SCORE 13279.298
AT ITER 9223 NEW BEST:: SOT 65868 SOS 18290 HAS SOPS 18290 HAS SOUS 13256 HAS SOUPS 13256 WITH SCORE 13274.29
AT ITER 9244 NEW BEST:: SOT 65868 SOS 18234 HAS SOPS 18234 HAS SOUS 13237 HAS SOUPS 13237 WITH SCORE 13255.234
AT ITER 9245 NEW BEST:: SOT 65856 SOS 18200 HAS SOPS 18200 HAS SOUS 13236 HAS SOUPS 13236 WITH SCORE 13254.2
AT ITER 9296 NEW BEST:: SOT 65857 SOS 18202 HAS SOPS 18202 HAS SOUS 13235 HAS SOUPS 13235 WITH SCORE 13253.202
AT ITER 9377 NEW BEST:: SOT 65857 SOS 18197 HAS SOPS 18197 HAS SOUS 13235 HAS SOUPS 13235 WITH SCORE 13253.197
AT ITER 9390 NEW BEST:: SOT 65853 SOS 18192 HAS SOPS 18192 HAS SOUS 13230 HAS SOUPS 13230 WITH SCORE 13248.192
AT ITER 9419 NEW BEST:: SOT 65853 SOS 18161 HAS SOPS 18161 HAS SOUS 13229 HAS SOUPS 13229 WITH SCORE 13247.161
AT ITER 9421 NEW BEST:: SOT 65852 SOS 18159 HAS SOPS 18159 HAS SOUS 13227 HAS SOUPS 13227 WITH SCORE 13245.159
AT ITER 9441 NEW BEST:: SOT 65851 SOS 18161 HAS SOPS 18161 HAS SOUS 13225 HAS SOUPS 13225 WITH SCORE 13243.161
AT ITER 9442 NEW BEST:: SOT 65836 SOS 18155 HAS SOPS 18155 HAS SOUS 13219 HAS SOUPS 13219 WITH SCORE 13237.155
AT ITER 9507 NEW BEST:: SOT 65827 SOS 18133 HAS SOPS 18133 HAS SOUS 13210 HAS SOUPS 13210 WITH SCORE 13228.133
AT ITER 9515 NEW BEST:: SOT 65833 SOS 18130 HAS SOPS 18130 HAS SOUS 13207 HAS SOUPS 13207 WITH SCORE 13225.13
AT ITER 9529 NEW BEST:: SOT 65828 SOS 18128 HAS SOPS 18128 HAS SOUS 13205 HAS SOUPS 13205 WITH SCORE 13223.128
AT ITER 9540 NEW BEST:: SOT 65827 SOS 18126 HAS SOPS 18126 HAS SOUS 13203 HAS SOUPS 13203 WITH SCORE 13221.126
AT ITER 9559 NEW BEST:: SOT 65818 SOS 18122 HAS SOPS 18122 HAS SOUS 13199 HAS SOUPS 13199 WITH SCORE 13217.122
AT ITER 9565 NEW BEST:: SOT 65816 SOS 18118 HAS SOPS 18118 HAS SOUS 13195 HAS SOUPS 13195 WITH SCORE 13213.118
AT ITER 9608 NEW BEST:: SOT 65815 SOS 18116 HAS SOPS 18116 HAS SOUS 13194 HAS SOUPS 13194 WITH SCORE 13212.116
AT ITER 9614 NEW BEST:: SOT 65774 SOS 18041 HAS SOPS 18041 HAS SOUS 13151 HAS SOUPS 13151 WITH SCORE 13169.041
AT ITER 9639 NEW BEST:: SOT 65762 SOS 18017 HAS SOPS 18017 HAS SOUS 13127 HAS SOUPS 13127 WITH SCORE 13145.017
AT ITER 9713 NEW BEST:: SOT 65762 SOS 18002 HAS SOPS 18002 HAS SOUS 13112 HAS SOUPS 13112 WITH SCORE 13130.002
AT ITER 9850 NEW BEST:: SOT 65762 SOS 17995 HAS SOPS 17995 HAS SOUS 13105 HAS SOUPS 13105 WITH SCORE 13122.995
AT ITER 9892 NEW BEST:: SOT 65759 SOS 17989 HAS SOPS 17989 HAS SOUS 13099 HAS SOUPS 13099 WITH SCORE 13116.989
AT ITER 9898 NEW BEST:: SOT 65746 SOS 17979 HAS SOPS 17979 HAS SOUS 13089 HAS SOUPS 13089 WITH SCORE 13106.979
AT ITER 9956 NEW BEST:: SOT 65767 SOS 17953 HAS SOPS 17953 HAS SOUS 13063 HAS SOUPS 13063 WITH SCORE 13080.953
AT ITER 9958 NEW BEST:: SOT 65750 SOS 17919 HAS SOPS 17919 HAS SOUS 13046 HAS SOUPS 13046 WITH SCORE 13063.919
AT ITER 9968 NEW BEST:: SOT 65755 SOS 17921 HAS SOPS 17921 HAS SOUS 13044 HAS SOUPS 13044 WITH SCORE 13061.921
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393352 kB
MemFree: 14810948 kB
After kill :
MemTotal: 16393352 kB
MemFree: 16120488 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="BusinessProcesses-PT-05"
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 BusinessProcesses-PT-05, 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 r043-tajo-167813696900488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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