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.r491-tall-167912711401152.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 UtilityControlRoom-PT-Z2T4N08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711401152
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 28K Feb 26 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 150K Feb 26 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 37K Feb 26 14:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 159K Feb 26 14:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 45K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 46K Feb 26 14:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 243K Feb 26 14:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 66K Feb 26 14:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 280K Feb 26 14:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.4K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 93K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679311572513

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=UtilityControlRoom-PT-Z2T4N08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 11:26:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 11:26:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 11:26:14] [INFO ] Load time of PNML (sax parser for PT used): 48 ms
[2023-03-20 11:26:14] [INFO ] Transformed 140 places.
[2023-03-20 11:26:14] [INFO ] Transformed 216 transitions.
[2023-03-20 11:26:14] [INFO ] Parsed PT model containing 140 places and 216 transitions and 680 arcs in 125 ms.
[2023-03-20 11:26:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 140 places, 216 transitions and 680 arcs took 5 ms.
Total runtime 163 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z2T4N08
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: 140 places, 216 transitions, 680 arcs.
AT ITER 0 NEW BEST:: SOT 24109 SOS 17637 HAS SOPS 17637 HAS SOUS 11248 HAS SOUPS 11248 WITH SCORE 11265.637
AT ITER 3 NEW BEST:: SOT 24079 SOS 17619 HAS SOPS 17619 HAS SOUS 11237 HAS SOUPS 11237 WITH SCORE 11254.619
AT ITER 6 NEW BEST:: SOT 23930 SOS 16510 HAS SOPS 16510 HAS SOUS 11072 HAS SOUPS 11072 WITH SCORE 11088.51
AT ITER 7 NEW BEST:: SOT 23892 SOS 16478 HAS SOPS 16478 HAS SOUS 11022 HAS SOUPS 11022 WITH SCORE 11038.478
AT ITER 9 NEW BEST:: SOT 23864 SOS 16484 HAS SOPS 16484 HAS SOUS 10960 HAS SOUPS 10960 WITH SCORE 10976.484
AT ITER 10 NEW BEST:: SOT 23850 SOS 16368 HAS SOPS 16368 HAS SOUS 10917 HAS SOUPS 10917 WITH SCORE 10933.368
AT ITER 13 NEW BEST:: SOT 23851 SOS 16353 HAS SOPS 16353 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10917.353
AT ITER 15 NEW BEST:: SOT 23851 SOS 16350 HAS SOPS 16350 HAS SOUS 10900 HAS SOUPS 10900 WITH SCORE 10916.35
AT ITER 17 NEW BEST:: SOT 23835 SOS 16311 HAS SOPS 16311 HAS SOUS 10861 HAS SOUPS 10861 WITH SCORE 10877.311
AT ITER 22 NEW BEST:: SOT 23835 SOS 16255 HAS SOPS 16255 HAS SOUS 10859 HAS SOUPS 10859 WITH SCORE 10875.255
AT ITER 29 NEW BEST:: SOT 23807 SOS 16131 HAS SOPS 16131 HAS SOUS 10767 HAS SOUPS 10767 WITH SCORE 10783.131
AT ITER 35 NEW BEST:: SOT 23806 SOS 16091 HAS SOPS 16091 HAS SOUS 10744 HAS SOUPS 10744 WITH SCORE 10760.091
AT ITER 37 NEW BEST:: SOT 23718 SOS 15858 HAS SOPS 15858 HAS SOUS 10599 HAS SOUPS 10599 WITH SCORE 10614.858
AT ITER 43 NEW BEST:: SOT 21161 SOS 14429 HAS SOPS 14429 HAS SOUS 9075 HAS SOUPS 9075 WITH SCORE 9089.429
AT ITER 45 NEW BEST:: SOT 21161 SOS 14373 HAS SOPS 14373 HAS SOUS 9047 HAS SOUPS 9047 WITH SCORE 9061.373
AT ITER 46 NEW BEST:: SOT 21152 SOS 14364 HAS SOPS 14364 HAS SOUS 9029 HAS SOUPS 9029 WITH SCORE 9043.364
AT ITER 54 NEW BEST:: SOT 21112 SOS 14350 HAS SOPS 14350 HAS SOUS 8963 HAS SOUPS 8963 WITH SCORE 8977.35
AT ITER 55 NEW BEST:: SOT 21105 SOS 14276 HAS SOPS 14276 HAS SOUS 8893 HAS SOUPS 8893 WITH SCORE 8907.276
AT ITER 57 NEW BEST:: SOT 21064 SOS 14276 HAS SOPS 14276 HAS SOUS 8849 HAS SOUPS 8849 WITH SCORE 8863.276
AT ITER 61 NEW BEST:: SOT 21071 SOS 14290 HAS SOPS 14290 HAS SOUS 8792 HAS SOUPS 8792 WITH SCORE 8806.29
AT ITER 62 NEW BEST:: SOT 21028 SOS 14290 HAS SOPS 14290 HAS SOUS 8761 HAS SOUPS 8761 WITH SCORE 8775.29
AT ITER 67 NEW BEST:: SOT 20990 SOS 14219 HAS SOPS 14219 HAS SOUS 8643 HAS SOUPS 8643 WITH SCORE 8657.219
AT ITER 75 NEW BEST:: SOT 20968 SOS 14197 HAS SOPS 14197 HAS SOUS 8619 HAS SOUPS 8619 WITH SCORE 8633.197
AT ITER 76 NEW BEST:: SOT 19936 SOS 13435 HAS SOPS 13435 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8064.435
AT ITER 81 NEW BEST:: SOT 19882 SOS 13381 HAS SOPS 13381 HAS SOUS 8033 HAS SOUPS 8033 WITH SCORE 8046.381
AT ITER 86 NEW BEST:: SOT 19874 SOS 13365 HAS SOPS 13365 HAS SOUS 8025 HAS SOUPS 8025 WITH SCORE 8038.365
AT ITER 93 NEW BEST:: SOT 19885 SOS 13376 HAS SOPS 13376 HAS SOUS 7979 HAS SOUPS 7979 WITH SCORE 7992.376
AT ITER 94 NEW BEST:: SOT 19885 SOS 13376 HAS SOPS 13376 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7976.376
AT ITER 98 NEW BEST:: SOT 19885 SOS 13369 HAS SOPS 13369 HAS SOUS 7936 HAS SOUPS 7936 WITH SCORE 7949.369
AT ITER 99 NEW BEST:: SOT 19888 SOS 13224 HAS SOPS 13224 HAS SOUS 7935 HAS SOUPS 7935 WITH SCORE 7948.224
AT ITER 103 NEW BEST:: SOT 19876 SOS 13167 HAS SOPS 13167 HAS SOUS 7934 HAS SOUPS 7934 WITH SCORE 7947.167
AT ITER 104 NEW BEST:: SOT 19844 SOS 13135 HAS SOPS 13135 HAS SOUS 7924 HAS SOUPS 7924 WITH SCORE 7937.135
AT ITER 109 NEW BEST:: SOT 19819 SOS 13110 HAS SOPS 13110 HAS SOUS 7917 HAS SOUPS 7917 WITH SCORE 7930.11
AT ITER 114 NEW BEST:: SOT 19818 SOS 13107 HAS SOPS 13107 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7898.107
AT ITER 115 NEW BEST:: SOT 19730 SOS 12973 HAS SOPS 12973 HAS SOUS 7796 HAS SOUPS 7796 WITH SCORE 7808.973
AT ITER 119 NEW BEST:: SOT 19717 SOS 12908 HAS SOPS 12908 HAS SOUS 7779 HAS SOUPS 7779 WITH SCORE 7791.908
AT ITER 127 NEW BEST:: SOT 19645 SOS 12880 HAS SOPS 12880 HAS SOUS 7708 HAS SOUPS 7708 WITH SCORE 7720.88
AT ITER 133 NEW BEST:: SOT 19638 SOS 12866 HAS SOPS 12866 HAS SOUS 7701 HAS SOUPS 7701 WITH SCORE 7713.866
AT ITER 140 NEW BEST:: SOT 19632 SOS 12860 HAS SOPS 12860 HAS SOUS 7689 HAS SOUPS 7689 WITH SCORE 7701.86
AT ITER 141 NEW BEST:: SOT 19666 SOS 12387 HAS SOPS 12387 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7578.387
AT ITER 147 NEW BEST:: SOT 19658 SOS 12373 HAS SOPS 12373 HAS SOUS 7555 HAS SOUPS 7555 WITH SCORE 7567.373
AT ITER 148 NEW BEST:: SOT 19622 SOS 12337 HAS SOPS 12337 HAS SOUS 7536 HAS SOUPS 7536 WITH SCORE 7548.337
AT ITER 152 NEW BEST:: SOT 19617 SOS 12332 HAS SOPS 12332 HAS SOUS 7526 HAS SOUPS 7526 WITH SCORE 7538.332
AT ITER 154 NEW BEST:: SOT 19578 SOS 12207 HAS SOPS 12207 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7485.207
AT ITER 155 NEW BEST:: SOT 19564 SOS 12194 HAS SOPS 12194 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7471.194
AT ITER 156 NEW BEST:: SOT 19553 SOS 12223 HAS SOPS 12223 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7443.223
AT ITER 165 NEW BEST:: SOT 19568 SOS 12130 HAS SOPS 12130 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7383.13
AT ITER 166 NEW BEST:: SOT 19474 SOS 12062 HAS SOPS 12062 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7275.062
AT ITER 170 NEW BEST:: SOT 19472 SOS 12060 HAS SOPS 12060 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7273.06
AT ITER 172 NEW BEST:: SOT 19348 SOS 11852 HAS SOPS 11852 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7126.852
AT ITER 173 NEW BEST:: SOT 19364 SOS 11869 HAS SOPS 11869 HAS SOUS 7104 HAS SOUPS 7104 WITH SCORE 7115.869
AT ITER 175 NEW BEST:: SOT 19194 SOS 11784 HAS SOPS 11784 HAS SOUS 7037 HAS SOUPS 7037 WITH SCORE 7048.784
AT ITER 176 NEW BEST:: SOT 19103 SOS 11688 HAS SOPS 11688 HAS SOUS 6908 HAS SOUPS 6908 WITH SCORE 6919.688
AT ITER 177 NEW BEST:: SOT 19087 SOS 11656 HAS SOPS 11656 HAS SOUS 6876 HAS SOUPS 6876 WITH SCORE 6887.656
AT ITER 179 NEW BEST:: SOT 19096 SOS 11580 HAS SOPS 11580 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6779.58
AT ITER 180 NEW BEST:: SOT 19078 SOS 11562 HAS SOPS 11562 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6766.562
AT ITER 182 NEW BEST:: SOT 19078 SOS 11557 HAS SOPS 11557 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6761.557
AT ITER 195 NEW BEST:: SOT 19053 SOS 11522 HAS SOPS 11522 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6747.522
AT ITER 200 NEW BEST:: SOT 19053 SOS 11524 HAS SOPS 11524 HAS SOUS 6735 HAS SOUPS 6735 WITH SCORE 6746.524
AT ITER 203 NEW BEST:: SOT 19046 SOS 11532 HAS SOPS 11532 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6731.532
AT ITER 212 NEW BEST:: SOT 19035 SOS 11510 HAS SOPS 11510 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6718.51
AT ITER 218 NEW BEST:: SOT 18988 SOS 11428 HAS SOPS 11428 HAS SOUS 6643 HAS SOUPS 6643 WITH SCORE 6654.428
AT ITER 224 NEW BEST:: SOT 18976 SOS 11477 HAS SOPS 11477 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6647.477
AT ITER 235 NEW BEST:: SOT 18972 SOS 11473 HAS SOPS 11473 HAS SOUS 6632 HAS SOUPS 6632 WITH SCORE 6643.473
AT ITER 237 NEW BEST:: SOT 18886 SOS 11343 HAS SOPS 11343 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6611.343
AT ITER 239 NEW BEST:: SOT 18883 SOS 11366 HAS SOPS 11366 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6607.366
AT ITER 246 NEW BEST:: SOT 18876 SOS 11345 HAS SOPS 11345 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6600.345
AT ITER 254 NEW BEST:: SOT 18878 SOS 11347 HAS SOPS 11347 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6598.347
AT ITER 265 NEW BEST:: SOT 18850 SOS 11287 HAS SOPS 11287 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6565.287
AT ITER 266 NEW BEST:: SOT 18851 SOS 11288 HAS SOPS 11288 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6564.288
AT ITER 269 NEW BEST:: SOT 18802 SOS 11152 HAS SOPS 11152 HAS SOUS 6506 HAS SOUPS 6506 WITH SCORE 6517.152
AT ITER 277 NEW BEST:: SOT 18794 SOS 11128 HAS SOPS 11128 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6501.128
AT ITER 278 NEW BEST:: SOT 18773 SOS 11116 HAS SOPS 11116 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6489.116
AT ITER 280 NEW BEST:: SOT 18764 SOS 11072 HAS SOPS 11072 HAS SOUS 6401 HAS SOUPS 6401 WITH SCORE 6412.072
AT ITER 290 NEW BEST:: SOT 18764 SOS 11072 HAS SOPS 11072 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6410.072
AT ITER 291 NEW BEST:: SOT 18764 SOS 11053 HAS SOPS 11053 HAS SOUS 6384 HAS SOUPS 6384 WITH SCORE 6395.053
AT ITER 305 NEW BEST:: SOT 18729 SOS 10967 HAS SOPS 10967 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6320.967
AT ITER 306 NEW BEST:: SOT 18733 SOS 10966 HAS SOPS 10966 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6314.966
AT ITER 311 NEW BEST:: SOT 18752 SOS 10960 HAS SOPS 10960 HAS SOUS 6292 HAS SOUPS 6292 WITH SCORE 6302.96
AT ITER 328 NEW BEST:: SOT 18722 SOS 10827 HAS SOPS 10827 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6241.827
AT ITER 345 NEW BEST:: SOT 18718 SOS 10819 HAS SOPS 10819 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6233.819
AT ITER 347 NEW BEST:: SOT 18718 SOS 10819 HAS SOPS 10819 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6226.819
AT ITER 348 NEW BEST:: SOT 18712 SOS 10828 HAS SOPS 10828 HAS SOUS 6208 HAS SOUPS 6208 WITH SCORE 6218.828
AT ITER 350 NEW BEST:: SOT 18614 SOS 10718 HAS SOPS 10718 HAS SOUS 6166 HAS SOUPS 6166 WITH SCORE 6176.718
AT ITER 366 NEW BEST:: SOT 18614 SOS 10707 HAS SOPS 10707 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6165.707
AT ITER 373 NEW BEST:: SOT 18608 SOS 10686 HAS SOPS 10686 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6155.686
AT ITER 392 NEW BEST:: SOT 18597 SOS 10680 HAS SOPS 10680 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6139.68
AT ITER 396 NEW BEST:: SOT 18576 SOS 10612 HAS SOPS 10612 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6079.612
AT ITER 397 NEW BEST:: SOT 18576 SOS 10613 HAS SOPS 10613 HAS SOUS 6068 HAS SOUPS 6068 WITH SCORE 6078.613
AT ITER 398 NEW BEST:: SOT 18560 SOS 10620 HAS SOPS 10620 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6060.62
AT ITER 403 NEW BEST:: SOT 18508 SOS 10572 HAS SOPS 10572 HAS SOUS 6027 HAS SOUPS 6027 WITH SCORE 6037.572
AT ITER 410 NEW BEST:: SOT 18507 SOS 10570 HAS SOPS 10570 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6028.57
AT ITER 419 NEW BEST:: SOT 18340 SOS 10650 HAS SOPS 10650 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 5986.65
AT ITER 434 NEW BEST:: SOT 18309 SOS 10636 HAS SOPS 10636 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5938.636
AT ITER 436 NEW BEST:: SOT 18225 SOS 10450 HAS SOPS 10450 HAS SOUS 5848 HAS SOUPS 5848 WITH SCORE 5858.45
AT ITER 442 NEW BEST:: SOT 18219 SOS 10444 HAS SOPS 10444 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5847.444
AT ITER 444 NEW BEST:: SOT 18218 SOS 10442 HAS SOPS 10442 HAS SOUS 5835 HAS SOUPS 5835 WITH SCORE 5845.442
AT ITER 448 NEW BEST:: SOT 18245 SOS 10457 HAS SOPS 10457 HAS SOUS 5825 HAS SOUPS 5825 WITH SCORE 5835.457
AT ITER 453 NEW BEST:: SOT 18246 SOS 10410 HAS SOPS 10410 HAS SOUS 5821 HAS SOUPS 5821 WITH SCORE 5831.41
AT ITER 463 NEW BEST:: SOT 18222 SOS 10386 HAS SOPS 10386 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5791.386
AT ITER 464 NEW BEST:: SOT 18205 SOS 10690 HAS SOPS 10690 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5784.69
AT ITER 473 NEW BEST:: SOT 18191 SOS 10676 HAS SOPS 10676 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5777.676
AT ITER 477 NEW BEST:: SOT 18140 SOS 10587 HAS SOPS 10587 HAS SOUS 5712 HAS SOUPS 5712 WITH SCORE 5722.587
AT ITER 478 NEW BEST:: SOT 18138 SOS 10564 HAS SOPS 10564 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5718.564
AT ITER 488 NEW BEST:: SOT 18078 SOS 10398 HAS SOPS 10398 HAS SOUS 5669 HAS SOUPS 5669 WITH SCORE 5679.398
AT ITER 500 NEW BEST:: SOT 18074 SOS 10390 HAS SOPS 10390 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5671.39
AT ITER 505 NEW BEST:: SOT 18065 SOS 10382 HAS SOPS 10382 HAS SOUS 5648 HAS SOUPS 5648 WITH SCORE 5658.382
AT ITER 511 NEW BEST:: SOT 18061 SOS 10364 HAS SOPS 10364 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5654.364
AT ITER 512 NEW BEST:: SOT 18057 SOS 10343 HAS SOPS 10343 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5638.343
AT ITER 513 NEW BEST:: SOT 18054 SOS 10342 HAS SOPS 10342 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5637.342
AT ITER 519 NEW BEST:: SOT 18021 SOS 10299 HAS SOPS 10299 HAS SOUS 5611 HAS SOUPS 5611 WITH SCORE 5621.299
AT ITER 529 NEW BEST:: SOT 18020 SOS 10297 HAS SOPS 10297 HAS SOUS 5609 HAS SOUPS 5609 WITH SCORE 5619.297
AT ITER 535 NEW BEST:: SOT 18039 SOS 10313 HAS SOPS 10313 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5616.313
AT ITER 536 NEW BEST:: SOT 18044 SOS 10318 HAS SOPS 10318 HAS SOUS 5594 HAS SOUPS 5594 WITH SCORE 5604.318
AT ITER 539 NEW BEST:: SOT 18034 SOS 10300 HAS SOPS 10300 HAS SOUS 5585 HAS SOUPS 5585 WITH SCORE 5595.3
AT ITER 556 NEW BEST:: SOT 18033 SOS 10300 HAS SOPS 10300 HAS SOUS 5584 HAS SOUPS 5584 WITH SCORE 5594.3
AT ITER 566 NEW BEST:: SOT 18031 SOS 10298 HAS SOPS 10298 HAS SOUS 5582 HAS SOUPS 5582 WITH SCORE 5592.298
AT ITER 568 NEW BEST:: SOT 18019 SOS 10275 HAS SOPS 10275 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5581.275
AT ITER 579 NEW BEST:: SOT 18004 SOS 10251 HAS SOPS 10251 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5532.251
AT ITER 581 NEW BEST:: SOT 17961 SOS 10189 HAS SOPS 10189 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5470.189
AT ITER 590 NEW BEST:: SOT 17960 SOS 10188 HAS SOPS 10188 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5469.188
AT ITER 591 NEW BEST:: SOT 17960 SOS 10188 HAS SOPS 10188 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5467.188
AT ITER 594 NEW BEST:: SOT 17956 SOS 10180 HAS SOPS 10180 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5451.18
AT ITER 609 NEW BEST:: SOT 17950 SOS 10174 HAS SOPS 10174 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5445.174
AT ITER 627 NEW BEST:: SOT 17956 SOS 10150 HAS SOPS 10150 HAS SOUS 5411 HAS SOUPS 5411 WITH SCORE 5421.15
AT ITER 631 NEW BEST:: SOT 17934 SOS 10116 HAS SOPS 10116 HAS SOUS 5353 HAS SOUPS 5353 WITH SCORE 5363.116
AT ITER 635 NEW BEST:: SOT 17957 SOS 10224 HAS SOPS 10224 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5360.224
AT ITER 666 NEW BEST:: SOT 17954 SOS 10218 HAS SOPS 10218 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5354.218
AT ITER 671 NEW BEST:: SOT 17950 SOS 10206 HAS SOPS 10206 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5346.206
AT ITER 673 NEW BEST:: SOT 17936 SOS 10192 HAS SOPS 10192 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5332.192
AT ITER 680 NEW BEST:: SOT 17931 SOS 10240 HAS SOPS 10240 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5316.24
AT ITER 688 NEW BEST:: SOT 17933 SOS 10235 HAS SOPS 10235 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5306.235
AT ITER 697 NEW BEST:: SOT 17955 SOS 10257 HAS SOPS 10257 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5302.257
AT ITER 711 NEW BEST:: SOT 17947 SOS 10241 HAS SOPS 10241 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5282.241
AT ITER 733 NEW BEST:: SOT 17897 SOS 10183 HAS SOPS 10183 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5282.183
AT ITER 753 NEW BEST:: SOT 17857 SOS 10103 HAS SOPS 10103 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5225.103
AT ITER 755 NEW BEST:: SOT 17857 SOS 10087 HAS SOPS 10087 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5221.087
AT ITER 778 NEW BEST:: SOT 17856 SOS 10070 HAS SOPS 10070 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5212.07
AT ITER 798 NEW BEST:: SOT 17855 SOS 10068 HAS SOPS 10068 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5210.068
AT ITER 802 NEW BEST:: SOT 17832 SOS 10088 HAS SOPS 10088 HAS SOUS 5164 HAS SOUPS 5164 WITH SCORE 5174.088
AT ITER 810 NEW BEST:: SOT 17834 SOS 9972 HAS SOPS 9972 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5163.972
AT ITER 811 NEW BEST:: SOT 17834 SOS 9938 HAS SOPS 9938 HAS SOUS 5153 HAS SOUPS 5153 WITH SCORE 5162.938
AT ITER 826 NEW BEST:: SOT 17820 SOS 9940 HAS SOPS 9940 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5151.94
AT ITER 833 NEW BEST:: SOT 17912 SOS 9921 HAS SOPS 9921 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5148.921
AT ITER 854 NEW BEST:: SOT 17908 SOS 9779 HAS SOPS 9779 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5137.779
AT ITER 866 NEW BEST:: SOT 17902 SOS 9773 HAS SOPS 9773 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5123.773
AT ITER 871 NEW BEST:: SOT 17924 SOS 9725 HAS SOPS 9725 HAS SOUS 5091 HAS SOUPS 5091 WITH SCORE 5100.725
AT ITER 879 NEW BEST:: SOT 17923 SOS 9722 HAS SOPS 9722 HAS SOUS 5089 HAS SOUPS 5089 WITH SCORE 5098.722
AT ITER 886 NEW BEST:: SOT 17891 SOS 9660 HAS SOPS 9660 HAS SOUS 5057 HAS SOUPS 5057 WITH SCORE 5066.66
AT ITER 892 NEW BEST:: SOT 17891 SOS 9659 HAS SOPS 9659 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5064.659
AT ITER 904 NEW BEST:: SOT 17881 SOS 9657 HAS SOPS 9657 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5048.657
AT ITER 917 NEW BEST:: SOT 17874 SOS 9641 HAS SOPS 9641 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5040.641
AT ITER 924 NEW BEST:: SOT 17848 SOS 9578 HAS SOPS 9578 HAS SOUS 5003 HAS SOUPS 5003 WITH SCORE 5012.578
AT ITER 934 NEW BEST:: SOT 17844 SOS 9531 HAS SOPS 9531 HAS SOUS 4956 HAS SOUPS 4956 WITH SCORE 4965.531
AT ITER 949 NEW BEST:: SOT 17877 SOS 9546 HAS SOPS 9546 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4957.546
AT ITER 968 NEW BEST:: SOT 17877 SOS 9545 HAS SOPS 9545 HAS SOUS 4947 HAS SOUPS 4947 WITH SCORE 4956.545
AT ITER 978 NEW BEST:: SOT 17826 SOS 9489 HAS SOPS 9489 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4946.489
AT ITER 989 NEW BEST:: SOT 17813 SOS 9469 HAS SOPS 9469 HAS SOUS 4917 HAS SOUPS 4917 WITH SCORE 4926.469
AT ITER 1011 NEW BEST:: SOT 17806 SOS 9442 HAS SOPS 9442 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4892.442
AT ITER 1016 NEW BEST:: SOT 17814 SOS 9442 HAS SOPS 9442 HAS SOUS 4875 HAS SOUPS 4875 WITH SCORE 4884.442
AT ITER 1019 NEW BEST:: SOT 17813 SOS 9441 HAS SOPS 9441 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4882.441
AT ITER 1029 NEW BEST:: SOT 17805 SOS 9433 HAS SOPS 9433 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4878.433
AT ITER 1030 NEW BEST:: SOT 17805 SOS 9373 HAS SOPS 9373 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4878.373
AT ITER 1031 NEW BEST:: SOT 17803 SOS 9372 HAS SOPS 9372 HAS SOUS 4867 HAS SOUPS 4867 WITH SCORE 4876.372
AT ITER 1036 NEW BEST:: SOT 17777 SOS 9337 HAS SOPS 9337 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4866.337
AT ITER 1038 NEW BEST:: SOT 17673 SOS 9295 HAS SOPS 9295 HAS SOUS 4851 HAS SOUPS 4851 WITH SCORE 4860.295
AT ITER 1045 NEW BEST:: SOT 17667 SOS 9289 HAS SOPS 9289 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4854.289
AT ITER 1058 NEW BEST:: SOT 17628 SOS 9277 HAS SOPS 9277 HAS SOUS 4826 HAS SOUPS 4826 WITH SCORE 4835.277
AT ITER 1062 NEW BEST:: SOT 17626 SOS 9276 HAS SOPS 9276 HAS SOUS 4826 HAS SOUPS 4826 WITH SCORE 4835.276
AT ITER 1063 NEW BEST:: SOT 17620 SOS 9270 HAS SOPS 9270 HAS SOUS 4814 HAS SOUPS 4814 WITH SCORE 4823.27
AT ITER 1064 NEW BEST:: SOT 17633 SOS 9286 HAS SOPS 9286 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4804.286
AT ITER 1068 NEW BEST:: SOT 17594 SOS 9255 HAS SOPS 9255 HAS SOUS 4771 HAS SOUPS 4771 WITH SCORE 4780.255
AT ITER 1081 NEW BEST:: SOT 17582 SOS 9243 HAS SOPS 9243 HAS SOUS 4753 HAS SOUPS 4753 WITH SCORE 4762.243
AT ITER 1083 NEW BEST:: SOT 17576 SOS 9243 HAS SOPS 9243 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4741.243
AT ITER 1090 NEW BEST:: SOT 17518 SOS 9183 HAS SOPS 9183 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4702.183
AT ITER 1101 NEW BEST:: SOT 17535 SOS 9167 HAS SOPS 9167 HAS SOUS 4677 HAS SOUPS 4677 WITH SCORE 4686.167
AT ITER 1109 NEW BEST:: SOT 17529 SOS 9153 HAS SOPS 9153 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4676.153
AT ITER 1122 NEW BEST:: SOT 17485 SOS 9108 HAS SOPS 9108 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4647.108
AT ITER 1130 NEW BEST:: SOT 17453 SOS 9062 HAS SOPS 9062 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4632.062
AT ITER 1138 NEW BEST:: SOT 17488 SOS 9132 HAS SOPS 9132 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4597.132
AT ITER 1169 NEW BEST:: SOT 17488 SOS 9131 HAS SOPS 9131 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4597.131
AT ITER 1173 NEW BEST:: SOT 17438 SOS 9008 HAS SOPS 9008 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4537.008
AT ITER 1195 NEW BEST:: SOT 17421 SOS 9007 HAS SOPS 9007 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4525.007
AT ITER 1231 NEW BEST:: SOT 17397 SOS 8971 HAS SOPS 8971 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4500.971
AT ITER 1248 NEW BEST:: SOT 17397 SOS 8958 HAS SOPS 8958 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4493.958
AT ITER 1258 NEW BEST:: SOT 17397 SOS 8958 HAS SOPS 8958 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4488.958
AT ITER 1270 NEW BEST:: SOT 17391 SOS 8946 HAS SOPS 8946 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4487.946
AT ITER 1271 NEW BEST:: SOT 17392 SOS 8944 HAS SOPS 8944 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4486.944
AT ITER 1277 NEW BEST:: SOT 17386 SOS 8950 HAS SOPS 8950 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4482.95
AT ITER 1312 NEW BEST:: SOT 17368 SOS 8950 HAS SOPS 8950 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4480.95
AT ITER 1321 NEW BEST:: SOT 17359 SOS 8934 HAS SOPS 8934 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4471.934
AT ITER 1347 NEW BEST:: SOT 17273 SOS 8750 HAS SOPS 8750 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4392.75
AT ITER 1350 NEW BEST:: SOT 17273 SOS 8747 HAS SOPS 8747 HAS SOUS 4381 HAS SOUPS 4381 WITH SCORE 4389.747
AT ITER 1374 NEW BEST:: SOT 17274 SOS 8745 HAS SOPS 8745 HAS SOUS 4381 HAS SOUPS 4381 WITH SCORE 4389.745
AT ITER 1381 NEW BEST:: SOT 17259 SOS 8713 HAS SOPS 8713 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4357.713
AT ITER 1393 NEW BEST:: SOT 17242 SOS 8682 HAS SOPS 8682 HAS SOUS 4325 HAS SOUPS 4325 WITH SCORE 4333.682
AT ITER 1400 NEW BEST:: SOT 17281 SOS 8671 HAS SOPS 8671 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4317.671
AT ITER 1411 NEW BEST:: SOT 17272 SOS 8650 HAS SOPS 8650 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4314.65
AT ITER 1412 NEW BEST:: SOT 17272 SOS 8650 HAS SOPS 8650 HAS SOUS 4300 HAS SOUPS 4300 WITH SCORE 4308.65
AT ITER 1444 NEW BEST:: SOT 17266 SOS 8644 HAS SOPS 8644 HAS SOUS 4293 HAS SOUPS 4293 WITH SCORE 4301.644
AT ITER 1452 NEW BEST:: SOT 17242 SOS 8618 HAS SOPS 8618 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4267.618
AT ITER 1470 NEW BEST:: SOT 17241 SOS 8615 HAS SOPS 8615 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4266.615
AT ITER 1488 NEW BEST:: SOT 17241 SOS 8608 HAS SOPS 8608 HAS SOUS 4255 HAS SOUPS 4255 WITH SCORE 4263.608
AT ITER 1506 NEW BEST:: SOT 17232 SOS 8588 HAS SOPS 8588 HAS SOUS 4243 HAS SOUPS 4243 WITH SCORE 4251.588
AT ITER 1519 NEW BEST:: SOT 17214 SOS 8588 HAS SOPS 8588 HAS SOUS 4240 HAS SOUPS 4240 WITH SCORE 4248.588
AT ITER 1521 NEW BEST:: SOT 17201 SOS 8588 HAS SOPS 8588 HAS SOUS 4214 HAS SOUPS 4214 WITH SCORE 4222.588
AT ITER 1524 NEW BEST:: SOT 17194 SOS 8583 HAS SOPS 8583 HAS SOUS 4207 HAS SOUPS 4207 WITH SCORE 4215.583
AT ITER 1526 NEW BEST:: SOT 17194 SOS 8584 HAS SOPS 8584 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4214.584
AT ITER 1574 NEW BEST:: SOT 17194 SOS 8575 HAS SOPS 8575 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4211.575
AT ITER 1609 NEW BEST:: SOT 17191 SOS 8569 HAS SOPS 8569 HAS SOUS 4200 HAS SOUPS 4200 WITH SCORE 4208.569
AT ITER 1630 NEW BEST:: SOT 17170 SOS 8548 HAS SOPS 8548 HAS SOUS 4194 HAS SOUPS 4194 WITH SCORE 4202.548
AT ITER 1633 NEW BEST:: SOT 17170 SOS 8530 HAS SOPS 8530 HAS SOUS 4194 HAS SOUPS 4194 WITH SCORE 4202.53
AT ITER 1677 NEW BEST:: SOT 17164 SOS 8524 HAS SOPS 8524 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4196.524
AT ITER 1680 NEW BEST:: SOT 17170 SOS 8539 HAS SOPS 8539 HAS SOUS 4185 HAS SOUPS 4185 WITH SCORE 4193.539
AT ITER 1681 NEW BEST:: SOT 17156 SOS 8511 HAS SOPS 8511 HAS SOUS 4143 HAS SOUPS 4143 WITH SCORE 4151.511
AT ITER 1716 NEW BEST:: SOT 17155 SOS 8509 HAS SOPS 8509 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4149.509
AT ITER 1743 NEW BEST:: SOT 17148 SOS 8495 HAS SOPS 8495 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4138.495
AT ITER 1755 NEW BEST:: SOT 17142 SOS 8492 HAS SOPS 8492 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4138.492
AT ITER 1767 NEW BEST:: SOT 17174 SOS 8516 HAS SOPS 8516 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4136.516
AT ITER 1769 NEW BEST:: SOT 17170 SOS 8512 HAS SOPS 8512 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4132.512
AT ITER 1777 NEW BEST:: SOT 17163 SOS 8444 HAS SOPS 8444 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4127.444
AT ITER 1801 NEW BEST:: SOT 17154 SOS 8428 HAS SOPS 8428 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4113.428
AT ITER 1808 NEW BEST:: SOT 17144 SOS 8423 HAS SOPS 8423 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4103.423
AT ITER 1861 NEW BEST:: SOT 17144 SOS 8417 HAS SOPS 8417 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4103.417
AT ITER 1887 NEW BEST:: SOT 17117 SOS 8408 HAS SOPS 8408 HAS SOUS 4078 HAS SOUPS 4078 WITH SCORE 4086.408
AT ITER 1898 NEW BEST:: SOT 17116 SOS 8406 HAS SOPS 8406 HAS SOUS 4078 HAS SOUPS 4078 WITH SCORE 4086.406
AT ITER 1935 NEW BEST:: SOT 17117 SOS 8386 HAS SOPS 8386 HAS SOUS 4059 HAS SOUPS 4059 WITH SCORE 4067.386
AT ITER 1961 NEW BEST:: SOT 17117 SOS 8386 HAS SOPS 8386 HAS SOUS 4049 HAS SOUPS 4049 WITH SCORE 4057.386
AT ITER 1966 NEW BEST:: SOT 17111 SOS 8360 HAS SOPS 8360 HAS SOUS 4043 HAS SOUPS 4043 WITH SCORE 4051.36
AT ITER 2018 NEW BEST:: SOT 17109 SOS 8362 HAS SOPS 8362 HAS SOUS 4041 HAS SOUPS 4041 WITH SCORE 4049.362
AT ITER 2076 NEW BEST:: SOT 17097 SOS 8338 HAS SOPS 8338 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4041.338
AT ITER 2105 NEW BEST:: SOT 17071 SOS 8314 HAS SOPS 8314 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4017.314
AT ITER 2118 NEW BEST:: SOT 17093 SOS 7686 HAS SOPS 7686 HAS SOUS 3995 HAS SOUPS 3995 WITH SCORE 4002.686
AT ITER 2127 NEW BEST:: SOT 17072 SOS 7632 HAS SOPS 7632 HAS SOUS 3961 HAS SOUPS 3961 WITH SCORE 3968.632
AT ITER 2146 NEW BEST:: SOT 17069 SOS 7623 HAS SOPS 7623 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3962.623
AT ITER 2150 NEW BEST:: SOT 17069 SOS 7601 HAS SOPS 7601 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3962.601
AT ITER 2176 NEW BEST:: SOT 17088 SOS 7555 HAS SOPS 7555 HAS SOUS 3943 HAS SOUPS 3943 WITH SCORE 3950.555
AT ITER 2178 NEW BEST:: SOT 17088 SOS 7555 HAS SOPS 7555 HAS SOUS 3922 HAS SOUPS 3922 WITH SCORE 3929.555
AT ITER 2215 NEW BEST:: SOT 17088 SOS 7552 HAS SOPS 7552 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3926.552
AT ITER 2258 NEW BEST:: SOT 17087 SOS 7550 HAS SOPS 7550 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3925.55
AT ITER 2260 NEW BEST:: SOT 17079 SOS 7534 HAS SOPS 7534 HAS SOUS 3910 HAS SOUPS 3910 WITH SCORE 3917.534
AT ITER 2283 NEW BEST:: SOT 17075 SOS 7532 HAS SOPS 7532 HAS SOUS 3906 HAS SOUPS 3906 WITH SCORE 3913.532
AT ITER 2313 NEW BEST:: SOT 17059 SOS 7484 HAS SOPS 7484 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3897.484
AT ITER 2320 NEW BEST:: SOT 17054 SOS 7520 HAS SOPS 7520 HAS SOUS 3873 HAS SOUPS 3873 WITH SCORE 3880.52
AT ITER 2371 NEW BEST:: SOT 17043 SOS 7493 HAS SOPS 7493 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3861.493
AT ITER 2389 NEW BEST:: SOT 17043 SOS 7493 HAS SOPS 7493 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3860.493
AT ITER 2404 NEW BEST:: SOT 17044 SOS 7471 HAS SOPS 7471 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3852.471
AT ITER 2409 NEW BEST:: SOT 17038 SOS 7463 HAS SOPS 7463 HAS SOUS 3837 HAS SOUPS 3837 WITH SCORE 3844.463
AT ITER 2410 NEW BEST:: SOT 17038 SOS 7461 HAS SOPS 7461 HAS SOUS 3835 HAS SOUPS 3835 WITH SCORE 3842.461
AT ITER 2431 NEW BEST:: SOT 17033 SOS 7457 HAS SOPS 7457 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3837.457
AT ITER 2432 NEW BEST:: SOT 17026 SOS 7456 HAS SOPS 7456 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3833.456
AT ITER 2433 NEW BEST:: SOT 17017 SOS 7447 HAS SOPS 7447 HAS SOUS 3817 HAS SOUPS 3817 WITH SCORE 3824.447
AT ITER 2515 NEW BEST:: SOT 17010 SOS 7436 HAS SOPS 7436 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3819.436
AT ITER 2556 NEW BEST:: SOT 17010 SOS 7424 HAS SOPS 7424 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3815.424
AT ITER 2557 NEW BEST:: SOT 17009 SOS 7420 HAS SOPS 7420 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3811.42
AT ITER 2567 NEW BEST:: SOT 16972 SOS 7379 HAS SOPS 7379 HAS SOUS 3789 HAS SOUPS 3789 WITH SCORE 3796.379
AT ITER 2571 NEW BEST:: SOT 16970 SOS 7376 HAS SOPS 7376 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3793.376
AT ITER 2603 NEW BEST:: SOT 16940 SOS 7358 HAS SOPS 7358 HAS SOUS 3762 HAS SOUPS 3762 WITH SCORE 3769.358
AT ITER 2627 NEW BEST:: SOT 16939 SOS 7355 HAS SOPS 7355 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3764.355
AT ITER 2658 NEW BEST:: SOT 16939 SOS 7365 HAS SOPS 7365 HAS SOUS 3756 HAS SOUPS 3756 WITH SCORE 3763.365
AT ITER 2696 NEW BEST:: SOT 16926 SOS 7352 HAS SOPS 7352 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3750.352
AT ITER 2697 NEW BEST:: SOT 16920 SOS 7335 HAS SOPS 7335 HAS SOUS 3726 HAS SOUPS 3726 WITH SCORE 3733.335
AT ITER 2708 NEW BEST:: SOT 16907 SOS 7310 HAS SOPS 7310 HAS SOUS 3702 HAS SOUPS 3702 WITH SCORE 3709.31
AT ITER 2709 NEW BEST:: SOT 16901 SOS 7309 HAS SOPS 7309 HAS SOUS 3692 HAS SOUPS 3692 WITH SCORE 3699.309
AT ITER 2760 NEW BEST:: SOT 16856 SOS 7275 HAS SOPS 7275 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3680.275
AT ITER 2793 NEW BEST:: SOT 16843 SOS 7253 HAS SOPS 7253 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3674.253
AT ITER 2797 NEW BEST:: SOT 16827 SOS 7235 HAS SOPS 7235 HAS SOUS 3653 HAS SOUPS 3653 WITH SCORE 3660.235
AT ITER 2798 NEW BEST:: SOT 16827 SOS 7237 HAS SOPS 7237 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3659.237
AT ITER 2819 NEW BEST:: SOT 16825 SOS 7237 HAS SOPS 7237 HAS SOUS 3650 HAS SOUPS 3650 WITH SCORE 3657.237
AT ITER 2829 NEW BEST:: SOT 16809 SOS 7223 HAS SOPS 7223 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3643.223
AT ITER 2836 NEW BEST:: SOT 16776 SOS 7649 HAS SOPS 7649 HAS SOUS 3626 HAS SOUPS 3626 WITH SCORE 3633.649
AT ITER 2842 NEW BEST:: SOT 16764 SOS 7653 HAS SOPS 7653 HAS SOUS 3625 HAS SOUPS 3625 WITH SCORE 3632.653
AT ITER 2853 NEW BEST:: SOT 16759 SOS 7651 HAS SOPS 7651 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3629.651
AT ITER 2855 NEW BEST:: SOT 16765 SOS 7463 HAS SOPS 7463 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3621.463
AT ITER 2988 NEW BEST:: SOT 16754 SOS 7447 HAS SOPS 7447 HAS SOUS 3605 HAS SOUPS 3605 WITH SCORE 3612.447
AT ITER 3015 NEW BEST:: SOT 16750 SOS 7441 HAS SOPS 7441 HAS SOUS 3601 HAS SOUPS 3601 WITH SCORE 3608.441
AT ITER 3018 NEW BEST:: SOT 16749 SOS 7442 HAS SOPS 7442 HAS SOUS 3600 HAS SOUPS 3600 WITH SCORE 3607.442
AT ITER 3026 NEW BEST:: SOT 16747 SOS 7440 HAS SOPS 7440 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3605.44
AT ITER 3134 NEW BEST:: SOT 16745 SOS 7438 HAS SOPS 7438 HAS SOUS 3596 HAS SOUPS 3596 WITH SCORE 3603.438
AT ITER 3146 NEW BEST:: SOT 16739 SOS 7436 HAS SOPS 7436 HAS SOUS 3595 HAS SOUPS 3595 WITH SCORE 3602.436
AT ITER 3170 NEW BEST:: SOT 16739 SOS 7434 HAS SOPS 7434 HAS SOUS 3595 HAS SOUPS 3595 WITH SCORE 3602.434
AT ITER 3193 NEW BEST:: SOT 16737 SOS 7432 HAS SOPS 7432 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3598.432
AT ITER 3208 NEW BEST:: SOT 16731 SOS 7421 HAS SOPS 7421 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3592.421
AT ITER 3244 NEW BEST:: SOT 16704 SOS 7395 HAS SOPS 7395 HAS SOUS 3568 HAS SOUPS 3568 WITH SCORE 3575.395
AT ITER 3261 NEW BEST:: SOT 16713 SOS 7404 HAS SOPS 7404 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3572.404
AT ITER 3271 NEW BEST:: SOT 16718 SOS 7409 HAS SOPS 7409 HAS SOUS 3559 HAS SOUPS 3559 WITH SCORE 3566.409
AT ITER 3286 NEW BEST:: SOT 16716 SOS 7401 HAS SOPS 7401 HAS SOUS 3550 HAS SOUPS 3550 WITH SCORE 3557.401
AT ITER 3302 NEW BEST:: SOT 16715 SOS 7400 HAS SOPS 7400 HAS SOUS 3550 HAS SOUPS 3550 WITH SCORE 3557.4
AT ITER 3304 NEW BEST:: SOT 16713 SOS 7400 HAS SOPS 7400 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3556.4
AT ITER 3318 NEW BEST:: SOT 16713 SOS 7400 HAS SOPS 7400 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3555.4
AT ITER 3378 NEW BEST:: SOT 16719 SOS 7385 HAS SOPS 7385 HAS SOUS 3545 HAS SOUPS 3545 WITH SCORE 3552.385
AT ITER 3404 NEW BEST:: SOT 16719 SOS 7379 HAS SOPS 7379 HAS SOUS 3543 HAS SOUPS 3543 WITH SCORE 3550.379
AT ITER 3412 NEW BEST:: SOT 16709 SOS 7367 HAS SOPS 7367 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3538.367
AT ITER 3429 NEW BEST:: SOT 16707 SOS 7365 HAS SOPS 7365 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3533.365
AT ITER 3497 NEW BEST:: SOT 16697 SOS 7355 HAS SOPS 7355 HAS SOUS 3499 HAS SOUPS 3499 WITH SCORE 3506.355
AT ITER 3505 NEW BEST:: SOT 16697 SOS 7355 HAS SOPS 7355 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3502.355
AT ITER 3509 NEW BEST:: SOT 16695 SOS 7350 HAS SOPS 7350 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3498.35
AT ITER 3514 NEW BEST:: SOT 16695 SOS 7350 HAS SOPS 7350 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3489.35
AT ITER 3589 NEW BEST:: SOT 16698 SOS 7347 HAS SOPS 7347 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3489.347
AT ITER 3656 NEW BEST:: SOT 16697 SOS 7408 HAS SOPS 7408 HAS SOUS 3478 HAS SOUPS 3478 WITH SCORE 3485.408
AT ITER 3669 NEW BEST:: SOT 16703 SOS 7328 HAS SOPS 7328 HAS SOUS 3468 HAS SOUPS 3468 WITH SCORE 3475.328
AT ITER 3713 NEW BEST:: SOT 16689 SOS 7302 HAS SOPS 7302 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3460.302
AT ITER 3744 NEW BEST:: SOT 16633 SOS 7167 HAS SOPS 7167 HAS SOUS 3413 HAS SOUPS 3413 WITH SCORE 3420.167
AT ITER 3751 NEW BEST:: SOT 16602 SOS 7117 HAS SOPS 7117 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3408.117
AT ITER 3756 NEW BEST:: SOT 16613 SOS 7128 HAS SOPS 7128 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3402.128
AT ITER 3772 NEW BEST:: SOT 16623 SOS 7118 HAS SOPS 7118 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3400.118
AT ITER 3796 NEW BEST:: SOT 16573 SOS 7084 HAS SOPS 7084 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3372.084
AT ITER 3811 NEW BEST:: SOT 16574 SOS 7085 HAS SOPS 7085 HAS SOUS 3357 HAS SOUPS 3357 WITH SCORE 3364.085
AT ITER 3817 NEW BEST:: SOT 16565 SOS 7076 HAS SOPS 7076 HAS SOUS 3357 HAS SOUPS 3357 WITH SCORE 3364.076
AT ITER 3819 NEW BEST:: SOT 16546 SOS 6974 HAS SOPS 6974 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3309.974
AT ITER 3860 NEW BEST:: SOT 16537 SOS 6965 HAS SOPS 6965 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3298.965
AT ITER 3862 NEW BEST:: SOT 16535 SOS 6963 HAS SOPS 6963 HAS SOUS 3291 HAS SOUPS 3291 WITH SCORE 3297.963
AT ITER 3868 NEW BEST:: SOT 16538 SOS 6963 HAS SOPS 6963 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3294.963
AT ITER 3888 NEW BEST:: SOT 16563 SOS 6985 HAS SOPS 6985 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3285.985
AT ITER 3902 NEW BEST:: SOT 16560 SOS 6970 HAS SOPS 6970 HAS SOUS 3276 HAS SOUPS 3276 WITH SCORE 3282.97
AT ITER 3917 NEW BEST:: SOT 16556 SOS 6967 HAS SOPS 6967 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3274.967
AT ITER 3982 NEW BEST:: SOT 16554 SOS 6965 HAS SOPS 6965 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3272.965
AT ITER 4030 NEW BEST:: SOT 16557 SOS 6964 HAS SOPS 6964 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3260.964
AT ITER 4031 NEW BEST:: SOT 16556 SOS 6962 HAS SOPS 6962 HAS SOUS 3249 HAS SOUPS 3249 WITH SCORE 3255.962
AT ITER 4053 NEW BEST:: SOT 16556 SOS 6942 HAS SOPS 6942 HAS SOUS 3249 HAS SOUPS 3249 WITH SCORE 3255.942
AT ITER 4054 NEW BEST:: SOT 16548 SOS 6932 HAS SOPS 6932 HAS SOUS 3234 HAS SOUPS 3234 WITH SCORE 3240.932
AT ITER 4055 NEW BEST:: SOT 16548 SOS 6929 HAS SOPS 6929 HAS SOUS 3234 HAS SOUPS 3234 WITH SCORE 3240.929
AT ITER 4064 NEW BEST:: SOT 16544 SOS 6925 HAS SOPS 6925 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3230.925
AT ITER 4068 NEW BEST:: SOT 16542 SOS 6923 HAS SOPS 6923 HAS SOUS 3220 HAS SOUPS 3220 WITH SCORE 3226.923
AT ITER 4069 NEW BEST:: SOT 16528 SOS 6909 HAS SOPS 6909 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3222.909
AT ITER 4072 NEW BEST:: SOT 16525 SOS 6906 HAS SOPS 6906 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3222.906
AT ITER 4085 NEW BEST:: SOT 16521 SOS 6900 HAS SOPS 6900 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3206.9
AT ITER 4096 NEW BEST:: SOT 16514 SOS 6886 HAS SOPS 6886 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3178.886
AT ITER 4098 NEW BEST:: SOT 16517 SOS 6873 HAS SOPS 6873 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3174.873
AT ITER 4132 NEW BEST:: SOT 16516 SOS 6853 HAS SOPS 6853 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3174.853
AT ITER 4162 NEW BEST:: SOT 16515 SOS 6853 HAS SOPS 6853 HAS SOUS 3167 HAS SOUPS 3167 WITH SCORE 3173.853
AT ITER 4186 NEW BEST:: SOT 16502 SOS 6846 HAS SOPS 6846 HAS SOUS 3166 HAS SOUPS 3166 WITH SCORE 3172.846
AT ITER 4200 NEW BEST:: SOT 16497 SOS 6844 HAS SOPS 6844 HAS SOUS 3163 HAS SOUPS 3163 WITH SCORE 3169.844
AT ITER 4208 NEW BEST:: SOT 16500 SOS 6842 HAS SOPS 6842 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3165.842
AT ITER 4230 NEW BEST:: SOT 16439 SOS 7005 HAS SOPS 7005 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3145.005
AT ITER 4249 NEW BEST:: SOT 16425 SOS 6991 HAS SOPS 6991 HAS SOUS 3117 HAS SOUPS 3117 WITH SCORE 3123.991
AT ITER 4307 NEW BEST:: SOT 16425 SOS 6991 HAS SOPS 6991 HAS SOUS 3116 HAS SOUPS 3116 WITH SCORE 3122.991
AT ITER 4386 NEW BEST:: SOT 16452 SOS 6997 HAS SOPS 6997 HAS SOUS 3105 HAS SOUPS 3105 WITH SCORE 3111.997
AT ITER 4432 NEW BEST:: SOT 16451 SOS 6998 HAS SOPS 6998 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3110.998
AT ITER 4468 NEW BEST:: SOT 16451 SOS 6998 HAS SOPS 6998 HAS SOUS 3103 HAS SOUPS 3103 WITH SCORE 3109.998
AT ITER 4508 NEW BEST:: SOT 16445 SOS 6986 HAS SOPS 6986 HAS SOUS 3097 HAS SOUPS 3097 WITH SCORE 3103.986
AT ITER 4513 NEW BEST:: SOT 16445 SOS 6985 HAS SOPS 6985 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3102.985
AT ITER 4536 NEW BEST:: SOT 16436 SOS 6975 HAS SOPS 6975 HAS SOUS 3089 HAS SOUPS 3089 WITH SCORE 3095.975
AT ITER 4558 NEW BEST:: SOT 16436 SOS 6976 HAS SOPS 6976 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3094.976
AT ITER 4675 NEW BEST:: SOT 16423 SOS 6956 HAS SOPS 6956 HAS SOUS 3081 HAS SOUPS 3081 WITH SCORE 3087.956
AT ITER 4712 NEW BEST:: SOT 16463 SOS 6990 HAS SOPS 6990 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3081.99
AT ITER 4736 NEW BEST:: SOT 16464 SOS 6986 HAS SOPS 6986 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3081.986
AT ITER 4748 NEW BEST:: SOT 16455 SOS 6977 HAS SOPS 6977 HAS SOUS 3052 HAS SOUPS 3052 WITH SCORE 3058.977
AT ITER 4751 NEW BEST:: SOT 16447 SOS 6963 HAS SOPS 6963 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3047.963
AT ITER 4776 NEW BEST:: SOT 16442 SOS 6958 HAS SOPS 6958 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3047.958
AT ITER 4862 NEW BEST:: SOT 16438 SOS 6950 HAS SOPS 6950 HAS SOUS 3033 HAS SOUPS 3033 WITH SCORE 3039.95
AT ITER 4914 NEW BEST:: SOT 16437 SOS 6948 HAS SOPS 6948 HAS SOUS 3029 HAS SOUPS 3029 WITH SCORE 3035.948
AT ITER 4963 NEW BEST:: SOT 16409 SOS 7072 HAS SOPS 7072 HAS SOUS 3023 HAS SOUPS 3023 WITH SCORE 3030.072
AT ITER 4968 NEW BEST:: SOT 16409 SOS 7037 HAS SOPS 7037 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3018.037
AT ITER 5036 NEW BEST:: SOT 16377 SOS 6984 HAS SOPS 6984 HAS SOUS 2974 HAS SOUPS 2974 WITH SCORE 2980.984
AT ITER 5037 NEW BEST:: SOT 16375 SOS 6980 HAS SOPS 6980 HAS SOUS 2972 HAS SOUPS 2972 WITH SCORE 2978.98
AT ITER 5046 NEW BEST:: SOT 16389 SOS 6989 HAS SOPS 6989 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2973.989
AT ITER 5083 NEW BEST:: SOT 16385 SOS 6989 HAS SOPS 6989 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2962.989
AT ITER 5090 NEW BEST:: SOT 16376 SOS 6980 HAS SOPS 6980 HAS SOUS 2941 HAS SOUPS 2941 WITH SCORE 2947.98
AT ITER 5136 NEW BEST:: SOT 16384 SOS 6983 HAS SOPS 6983 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2946.983
AT ITER 5255 NEW BEST:: SOT 16379 SOS 6970 HAS SOPS 6970 HAS SOUS 2932 HAS SOUPS 2932 WITH SCORE 2938.97
AT ITER 5395 NEW BEST:: SOT 16339 SOS 6914 HAS SOPS 6914 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2913.914
AT ITER 5412 NEW BEST:: SOT 16321 SOS 6900 HAS SOPS 6900 HAS SOUS 2902 HAS SOUPS 2902 WITH SCORE 2908.9
AT ITER 5477 NEW BEST:: SOT 16315 SOS 6880 HAS SOPS 6880 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2890.88
AT ITER 5489 NEW BEST:: SOT 16302 SOS 6897 HAS SOPS 6897 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2877.897
AT ITER 5505 NEW BEST:: SOT 16304 SOS 6897 HAS SOPS 6897 HAS SOUS 2866 HAS SOUPS 2866 WITH SCORE 2872.897
AT ITER 5524 NEW BEST:: SOT 16299 SOS 6895 HAS SOPS 6895 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2869.895
AT ITER 5545 NEW BEST:: SOT 16297 SOS 6888 HAS SOPS 6888 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2862.888
AT ITER 5569 NEW BEST:: SOT 16286 SOS 6856 HAS SOPS 6856 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2860.856
AT ITER 5776 NEW BEST:: SOT 16266 SOS 6878 HAS SOPS 6878 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2857.878
AT ITER 5826 NEW BEST:: SOT 16263 SOS 6874 HAS SOPS 6874 HAS SOUS 2848 HAS SOUPS 2848 WITH SCORE 2854.874
AT ITER 5893 NEW BEST:: SOT 16262 SOS 6873 HAS SOPS 6873 HAS SOUS 2846 HAS SOUPS 2846 WITH SCORE 2852.873
AT ITER 5955 NEW BEST:: SOT 16263 SOS 6870 HAS SOPS 6870 HAS SOUS 2846 HAS SOUPS 2846 WITH SCORE 2852.87
AT ITER 6012 NEW BEST:: SOT 16262 SOS 6862 HAS SOPS 6862 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2846.862
AT ITER 6021 NEW BEST:: SOT 16261 SOS 6864 HAS SOPS 6864 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2841.864
AT ITER 6050 NEW BEST:: SOT 16261 SOS 6927 HAS SOPS 6927 HAS SOUS 2834 HAS SOUPS 2834 WITH SCORE 2840.927
AT ITER 6115 NEW BEST:: SOT 16265 SOS 6917 HAS SOPS 6917 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2831.917
AT ITER 6116 NEW BEST:: SOT 16260 SOS 6912 HAS SOPS 6912 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2829.912
AT ITER 6187 NEW BEST:: SOT 16259 SOS 6916 HAS SOPS 6916 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2822.916
AT ITER 6214 NEW BEST:: SOT 16258 SOS 6916 HAS SOPS 6916 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2821.916
AT ITER 6229 NEW BEST:: SOT 16250 SOS 6860 HAS SOPS 6860 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2821.86
AT ITER 6333 NEW BEST:: SOT 16255 SOS 6792 HAS SOPS 6792 HAS SOUS 2801 HAS SOUPS 2801 WITH SCORE 2807.792
AT ITER 6375 NEW BEST:: SOT 16261 SOS 6756 HAS SOPS 6756 HAS SOUS 2801 HAS SOUPS 2801 WITH SCORE 2807.756
AT ITER 6444 NEW BEST:: SOT 16255 SOS 6750 HAS SOPS 6750 HAS SOUS 2801 HAS SOUPS 2801 WITH SCORE 2807.75
AT ITER 6468 NEW BEST:: SOT 16250 SOS 6746 HAS SOPS 6746 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2803.746
AT ITER 6493 NEW BEST:: SOT 16250 SOS 6744 HAS SOPS 6744 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2800.744
AT ITER 6510 NEW BEST:: SOT 16250 SOS 6742 HAS SOPS 6742 HAS SOUS 2792 HAS SOUPS 2792 WITH SCORE 2798.742
AT ITER 6543 NEW BEST:: SOT 16249 SOS 6734 HAS SOPS 6734 HAS SOUS 2783 HAS SOUPS 2783 WITH SCORE 2789.734
AT ITER 6569 NEW BEST:: SOT 16250 SOS 6734 HAS SOPS 6734 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2785.734
AT ITER 6606 NEW BEST:: SOT 16248 SOS 6724 HAS SOPS 6724 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2785.724
AT ITER 6622 NEW BEST:: SOT 16246 SOS 6722 HAS SOPS 6722 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2781.722
AT ITER 6656 NEW BEST:: SOT 16245 SOS 6724 HAS SOPS 6724 HAS SOUS 2773 HAS SOUPS 2773 WITH SCORE 2779.724
AT ITER 6722 NEW BEST:: SOT 16237 SOS 6716 HAS SOPS 6716 HAS SOUS 2762 HAS SOUPS 2762 WITH SCORE 2768.716
AT ITER 6737 NEW BEST:: SOT 16232 SOS 6706 HAS SOPS 6706 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2763.706
AT ITER 6845 NEW BEST:: SOT 16223 SOS 6715 HAS SOPS 6715 HAS SOUS 2748 HAS SOUPS 2748 WITH SCORE 2754.715
AT ITER 6899 NEW BEST:: SOT 16223 SOS 6713 HAS SOPS 6713 HAS SOUS 2748 HAS SOUPS 2748 WITH SCORE 2754.713
AT ITER 6903 NEW BEST:: SOT 16225 SOS 6714 HAS SOPS 6714 HAS SOUS 2747 HAS SOUPS 2747 WITH SCORE 2753.714
AT ITER 6953 NEW BEST:: SOT 16227 SOS 6718 HAS SOPS 6718 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2751.718
AT ITER 7056 NEW BEST:: SOT 16224 SOS 6716 HAS SOPS 6716 HAS SOUS 2743 HAS SOUPS 2743 WITH SCORE 2749.716
AT ITER 7079 NEW BEST:: SOT 16217 SOS 6702 HAS SOPS 6702 HAS SOUS 2742 HAS SOUPS 2742 WITH SCORE 2748.702
AT ITER 7109 NEW BEST:: SOT 16210 SOS 6700 HAS SOPS 6700 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2744.7
AT ITER 7220 NEW BEST:: SOT 16210 SOS 6700 HAS SOPS 6700 HAS SOUS 2737 HAS SOUPS 2737 WITH SCORE 2743.7
AT ITER 7267 NEW BEST:: SOT 16204 SOS 6694 HAS SOPS 6694 HAS SOUS 2737 HAS SOUPS 2737 WITH SCORE 2743.694
AT ITER 7396 NEW BEST:: SOT 16206 SOS 6696 HAS SOPS 6696 HAS SOUS 2734 HAS SOUPS 2734 WITH SCORE 2740.696
AT ITER 7449 NEW BEST:: SOT 16190 SOS 6741 HAS SOPS 6741 HAS SOUS 2729 HAS SOUPS 2729 WITH SCORE 2735.741
AT ITER 7563 NEW BEST:: SOT 16187 SOS 6738 HAS SOPS 6738 HAS SOUS 2726 HAS SOUPS 2726 WITH SCORE 2732.738
AT ITER 7583 NEW BEST:: SOT 16190 SOS 6700 HAS SOPS 6700 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2730.7
AT ITER 7709 NEW BEST:: SOT 16188 SOS 6705 HAS SOPS 6705 HAS SOUS 2721 HAS SOUPS 2721 WITH SCORE 2727.705
AT ITER 7734 NEW BEST:: SOT 16170 SOS 6687 HAS SOPS 6687 HAS SOUS 2703 HAS SOUPS 2703 WITH SCORE 2709.687
AT ITER 7751 NEW BEST:: SOT 16170 SOS 6683 HAS SOPS 6683 HAS SOUS 2702 HAS SOUPS 2702 WITH SCORE 2708.683
AT ITER 7824 NEW BEST:: SOT 16167 SOS 6677 HAS SOPS 6677 HAS SOUS 2701 HAS SOUPS 2701 WITH SCORE 2707.677
AT ITER 7867 NEW BEST:: SOT 16167 SOS 6675 HAS SOPS 6675 HAS SOUS 2700 HAS SOUPS 2700 WITH SCORE 2706.675
AT ITER 7887 NEW BEST:: SOT 16168 SOS 6673 HAS SOPS 6673 HAS SOUS 2698 HAS SOUPS 2698 WITH SCORE 2704.673
AT ITER 7922 NEW BEST:: SOT 16157 SOS 6657 HAS SOPS 6657 HAS SOUS 2693 HAS SOUPS 2693 WITH SCORE 2699.657
AT ITER 7923 NEW BEST:: SOT 16155 SOS 6654 HAS SOPS 6654 HAS SOUS 2691 HAS SOUPS 2691 WITH SCORE 2697.654
AT ITER 7948 NEW BEST:: SOT 16154 SOS 6654 HAS SOPS 6654 HAS SOUS 2690 HAS SOUPS 2690 WITH SCORE 2696.654
AT ITER 8106 NEW BEST:: SOT 16144 SOS 6642 HAS SOPS 6642 HAS SOUS 2690 HAS SOUPS 2690 WITH SCORE 2696.642
AT ITER 8107 NEW BEST:: SOT 16144 SOS 6649 HAS SOPS 6649 HAS SOUS 2689 HAS SOUPS 2689 WITH SCORE 2695.649
AT ITER 8154 NEW BEST:: SOT 16134 SOS 6645 HAS SOPS 6645 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2681.645
AT ITER 8174 NEW BEST:: SOT 16133 SOS 6644 HAS SOPS 6644 HAS SOUS 2674 HAS SOUPS 2674 WITH SCORE 2680.644
AT ITER 8297 NEW BEST:: SOT 16140 SOS 6651 HAS SOPS 6651 HAS SOUS 2669 HAS SOUPS 2669 WITH SCORE 2675.651
AT ITER 8425 NEW BEST:: SOT 16140 SOS 6651 HAS SOPS 6651 HAS SOUS 2667 HAS SOUPS 2667 WITH SCORE 2673.651
AT ITER 8466 NEW BEST:: SOT 16142 SOS 6651 HAS SOPS 6651 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2672.651
AT ITER 8486 NEW BEST:: SOT 16137 SOS 6648 HAS SOPS 6648 HAS SOUS 2662 HAS SOUPS 2662 WITH SCORE 2668.648
AT ITER 8555 NEW BEST:: SOT 16151 SOS 6655 HAS SOPS 6655 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2657.655
AT ITER 8575 NEW BEST:: SOT 16151 SOS 6655 HAS SOPS 6655 HAS SOUS 2648 HAS SOUPS 2648 WITH SCORE 2654.655
AT ITER 8633 NEW BEST:: SOT 16147 SOS 6656 HAS SOPS 6656 HAS SOUS 2646 HAS SOUPS 2646 WITH SCORE 2652.656
AT ITER 8713 NEW BEST:: SOT 16133 SOS 6679 HAS SOPS 6679 HAS SOUS 2635 HAS SOUPS 2635 WITH SCORE 2641.679
AT ITER 8744 NEW BEST:: SOT 16132 SOS 6645 HAS SOPS 6645 HAS SOUS 2633 HAS SOUPS 2633 WITH SCORE 2639.645
AT ITER 8818 NEW BEST:: SOT 16130 SOS 6644 HAS SOPS 6644 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2636.644
AT ITER 8846 NEW BEST:: SOT 16128 SOS 6641 HAS SOPS 6641 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2632.641
AT ITER 8859 NEW BEST:: SOT 16124 SOS 6639 HAS SOPS 6639 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2632.639
AT ITER 8898 NEW BEST:: SOT 16117 SOS 6625 HAS SOPS 6625 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2618.625
AT ITER 8902 NEW BEST:: SOT 16120 SOS 6633 HAS SOPS 6633 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2616.633
AT ITER 9066 NEW BEST:: SOT 16119 SOS 6632 HAS SOPS 6632 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2616.632
AT ITER 9072 NEW BEST:: SOT 16119 SOS 6632 HAS SOPS 6632 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2615.632
AT ITER 9094 NEW BEST:: SOT 16117 SOS 6630 HAS SOPS 6630 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2614.63
AT ITER 9133 NEW BEST:: SOT 16105 SOS 6620 HAS SOPS 6620 HAS SOUS 2604 HAS SOUPS 2604 WITH SCORE 2610.62
AT ITER 9448 NEW BEST:: SOT 16104 SOS 6611 HAS SOPS 6611 HAS SOUS 2602 HAS SOUPS 2602 WITH SCORE 2608.611
AT ITER 9527 NEW BEST:: SOT 16094 SOS 6597 HAS SOPS 6597 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2604.597
AT ITER 9625 NEW BEST:: SOT 16094 SOS 6596 HAS SOPS 6596 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2603.596
AT ITER 9660 NEW BEST:: SOT 16090 SOS 6593 HAS SOPS 6593 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2603.593
AT ITER 9706 NEW BEST:: SOT 16087 SOS 6595 HAS SOPS 6595 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2601.595
AT ITER 9774 NEW BEST:: SOT 16087 SOS 6595 HAS SOPS 6595 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2600.595
AT ITER 9801 NEW BEST:: SOT 16085 SOS 6593 HAS SOPS 6593 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2600.593
AT ITER 9842 NEW BEST:: SOT 16085 SOS 6587 HAS SOPS 6587 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2600.587
AT ITER 9843 NEW BEST:: SOT 16075 SOS 6580 HAS SOPS 6580 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2598.58
AT ITER 9934 NEW BEST:: SOT 16077 SOS 6581 HAS SOPS 6581 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2597.581
AT ITER 9935 NEW BEST:: SOT 16077 SOS 6581 HAS SOPS 6581 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2595.581
AT ITER 9964 NEW BEST:: SOT 16077 SOS 6580 HAS SOPS 6580 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2595.58
AT ITER 9979 NEW BEST:: SOT 16076 SOS 6579 HAS SOPS 6579 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2594.579
STATE_SPACE STATES 2959359753 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 30 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 34123933984 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679311590214

--------------------
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

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="UtilityControlRoom-PT-Z2T4N08"
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 UtilityControlRoom-PT-Z2T4N08, 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 r491-tall-167912711401152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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