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.r427-tajo-167905979200088.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 ShieldRVs-PT-010A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979200088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 6.4K Feb 26 18:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 18:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 18:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 18:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 18:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 26 18:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 18:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 18:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 63K 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 1679379407769

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=ShieldRVs-PT-010A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 06:16:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 06:16:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 06:16:49] [INFO ] Load time of PNML (sax parser for PT used): 45 ms
[2023-03-21 06:16:49] [INFO ] Transformed 143 places.
[2023-03-21 06:16:49] [INFO ] Transformed 193 transitions.
[2023-03-21 06:16:49] [INFO ] Found NUPN structural information;
[2023-03-21 06:16:49] [INFO ] Parsed PT model containing 143 places and 193 transitions and 920 arcs in 105 ms.
[2023-03-21 06:16:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 143 places, 193 transitions and 920 arcs took 6 ms.
Total runtime 140 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 010A
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: 143 places, 193 transitions, 920 arcs.
AT ITER 0 NEW BEST:: SOT 20701 SOS 17759 HAS SOPS 17759 HAS SOUS 14307 HAS SOUPS 14307 WITH SCORE 14324.759
AT ITER 2 NEW BEST:: SOT 20701 SOS 17761 HAS SOPS 17761 HAS SOUS 14305 HAS SOUPS 14305 WITH SCORE 14322.761
AT ITER 3 NEW BEST:: SOT 20668 SOS 17607 HAS SOPS 17607 HAS SOUS 14172 HAS SOUPS 14172 WITH SCORE 14189.607
AT ITER 9 NEW BEST:: SOT 20675 SOS 17473 HAS SOPS 17473 HAS SOUS 13888 HAS SOUPS 13888 WITH SCORE 13905.473
AT ITER 12 NEW BEST:: SOT 20678 SOS 17273 HAS SOPS 17273 HAS SOUS 13692 HAS SOUPS 13692 WITH SCORE 13709.273
AT ITER 13 NEW BEST:: SOT 20700 SOS 17091 HAS SOPS 17091 HAS SOUS 13539 HAS SOUPS 13539 WITH SCORE 13556.091
AT ITER 16 NEW BEST:: SOT 20696 SOS 17071 HAS SOPS 17071 HAS SOUS 13525 HAS SOUPS 13525 WITH SCORE 13542.071
AT ITER 17 NEW BEST:: SOT 20684 SOS 17062 HAS SOPS 17062 HAS SOUS 13522 HAS SOUPS 13522 WITH SCORE 13539.062
AT ITER 20 NEW BEST:: SOT 20699 SOS 16952 HAS SOPS 16952 HAS SOUS 13330 HAS SOUPS 13330 WITH SCORE 13346.952
AT ITER 23 NEW BEST:: SOT 20753 SOS 16789 HAS SOPS 16789 HAS SOUS 13039 HAS SOUPS 13039 WITH SCORE 13055.789
AT ITER 25 NEW BEST:: SOT 20755 SOS 16534 HAS SOPS 16534 HAS SOUS 12768 HAS SOUPS 12768 WITH SCORE 12784.534
AT ITER 26 NEW BEST:: SOT 20632 SOS 16411 HAS SOPS 16411 HAS SOUS 12639 HAS SOUPS 12639 WITH SCORE 12655.411
AT ITER 27 NEW BEST:: SOT 20602 SOS 16199 HAS SOPS 16199 HAS SOUS 12551 HAS SOUPS 12551 WITH SCORE 12567.199
AT ITER 29 NEW BEST:: SOT 20584 SOS 16181 HAS SOPS 16181 HAS SOUS 12531 HAS SOUPS 12531 WITH SCORE 12547.181
AT ITER 30 NEW BEST:: SOT 20489 SOS 16086 HAS SOPS 16086 HAS SOUS 12433 HAS SOUPS 12433 WITH SCORE 12449.086
AT ITER 33 NEW BEST:: SOT 20475 SOS 15776 HAS SOPS 15776 HAS SOUS 12045 HAS SOUPS 12045 WITH SCORE 12060.776
AT ITER 34 NEW BEST:: SOT 20455 SOS 15735 HAS SOPS 15735 HAS SOUS 12000 HAS SOUPS 12000 WITH SCORE 12015.735
AT ITER 37 NEW BEST:: SOT 20452 SOS 15729 HAS SOPS 15729 HAS SOUS 11994 HAS SOUPS 11994 WITH SCORE 12009.729
AT ITER 41 NEW BEST:: SOT 20449 SOS 15726 HAS SOPS 15726 HAS SOUS 11994 HAS SOUPS 11994 WITH SCORE 12009.726
AT ITER 42 NEW BEST:: SOT 20521 SOS 15722 HAS SOPS 15722 HAS SOUS 11935 HAS SOUPS 11935 WITH SCORE 11950.722
AT ITER 45 NEW BEST:: SOT 20479 SOS 15471 HAS SOPS 15471 HAS SOUS 11905 HAS SOUPS 11905 WITH SCORE 11920.471
AT ITER 46 NEW BEST:: SOT 20470 SOS 15460 HAS SOPS 15460 HAS SOUS 11885 HAS SOUPS 11885 WITH SCORE 11900.46
AT ITER 48 NEW BEST:: SOT 20421 SOS 15427 HAS SOPS 15427 HAS SOUS 11858 HAS SOUPS 11858 WITH SCORE 11873.427
AT ITER 49 NEW BEST:: SOT 20383 SOS 15468 HAS SOPS 15468 HAS SOUS 11698 HAS SOUPS 11698 WITH SCORE 11713.468
AT ITER 54 NEW BEST:: SOT 20345 SOS 15430 HAS SOPS 15430 HAS SOUS 11659 HAS SOUPS 11659 WITH SCORE 11674.43
AT ITER 55 NEW BEST:: SOT 20312 SOS 15331 HAS SOPS 15331 HAS SOUS 11572 HAS SOUPS 11572 WITH SCORE 11587.331
AT ITER 56 NEW BEST:: SOT 20296 SOS 15009 HAS SOPS 15009 HAS SOUS 11558 HAS SOUPS 11558 WITH SCORE 11573.009
AT ITER 64 NEW BEST:: SOT 20255 SOS 14739 HAS SOPS 14739 HAS SOUS 11322 HAS SOUPS 11322 WITH SCORE 11336.739
AT ITER 66 NEW BEST:: SOT 20187 SOS 14604 HAS SOPS 14604 HAS SOUS 11215 HAS SOUPS 11215 WITH SCORE 11229.604
AT ITER 67 NEW BEST:: SOT 20131 SOS 14478 HAS SOPS 14478 HAS SOUS 11145 HAS SOUPS 11145 WITH SCORE 11159.478
AT ITER 75 NEW BEST:: SOT 20137 SOS 14484 HAS SOPS 14484 HAS SOUS 11140 HAS SOUPS 11140 WITH SCORE 11154.484
AT ITER 77 NEW BEST:: SOT 20137 SOS 14430 HAS SOPS 14430 HAS SOUS 11097 HAS SOUPS 11097 WITH SCORE 11111.43
AT ITER 79 NEW BEST:: SOT 20170 SOS 14379 HAS SOPS 14379 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11080.379
AT ITER 80 NEW BEST:: SOT 20200 SOS 14417 HAS SOPS 14417 HAS SOUS 11057 HAS SOUPS 11057 WITH SCORE 11071.417
AT ITER 87 NEW BEST:: SOT 20221 SOS 14419 HAS SOPS 14419 HAS SOUS 11055 HAS SOUPS 11055 WITH SCORE 11069.419
AT ITER 88 NEW BEST:: SOT 20191 SOS 14349 HAS SOPS 14349 HAS SOUS 11003 HAS SOUPS 11003 WITH SCORE 11017.349
AT ITER 90 NEW BEST:: SOT 20180 SOS 14327 HAS SOPS 14327 HAS SOUS 10989 HAS SOUPS 10989 WITH SCORE 11003.327
AT ITER 95 NEW BEST:: SOT 20136 SOS 14267 HAS SOPS 14267 HAS SOUS 10922 HAS SOUPS 10922 WITH SCORE 10936.267
AT ITER 100 NEW BEST:: SOT 20217 SOS 14211 HAS SOPS 14211 HAS SOUS 10866 HAS SOUPS 10866 WITH SCORE 10880.211
AT ITER 102 NEW BEST:: SOT 20178 SOS 14080 HAS SOPS 14080 HAS SOUS 10851 HAS SOUPS 10851 WITH SCORE 10865.08
AT ITER 106 NEW BEST:: SOT 20178 SOS 14078 HAS SOPS 14078 HAS SOUS 10849 HAS SOUPS 10849 WITH SCORE 10863.078
AT ITER 109 NEW BEST:: SOT 20178 SOS 14075 HAS SOPS 14075 HAS SOUS 10847 HAS SOUPS 10847 WITH SCORE 10861.075
AT ITER 111 NEW BEST:: SOT 20232 SOS 13936 HAS SOPS 13936 HAS SOUS 10832 HAS SOUPS 10832 WITH SCORE 10845.936
AT ITER 114 NEW BEST:: SOT 20257 SOS 13927 HAS SOPS 13927 HAS SOUS 10818 HAS SOUPS 10818 WITH SCORE 10831.927
AT ITER 116 NEW BEST:: SOT 20214 SOS 13779 HAS SOPS 13779 HAS SOUS 10815 HAS SOUPS 10815 WITH SCORE 10828.779
AT ITER 124 NEW BEST:: SOT 20201 SOS 13753 HAS SOPS 13753 HAS SOUS 10789 HAS SOUPS 10789 WITH SCORE 10802.753
AT ITER 126 NEW BEST:: SOT 20111 SOS 13665 HAS SOPS 13665 HAS SOUS 10650 HAS SOUPS 10650 WITH SCORE 10663.665
AT ITER 137 NEW BEST:: SOT 20083 SOS 13637 HAS SOPS 13637 HAS SOUS 10596 HAS SOUPS 10596 WITH SCORE 10609.637
AT ITER 140 NEW BEST:: SOT 20079 SOS 13631 HAS SOPS 13631 HAS SOUS 10582 HAS SOUPS 10582 WITH SCORE 10595.631
AT ITER 144 NEW BEST:: SOT 20053 SOS 13610 HAS SOPS 13610 HAS SOUS 10562 HAS SOUPS 10562 WITH SCORE 10575.61
AT ITER 149 NEW BEST:: SOT 20074 SOS 13617 HAS SOPS 13617 HAS SOUS 10518 HAS SOUPS 10518 WITH SCORE 10531.617
AT ITER 151 NEW BEST:: SOT 20087 SOS 13611 HAS SOPS 13611 HAS SOUS 10514 HAS SOUPS 10514 WITH SCORE 10527.611
AT ITER 153 NEW BEST:: SOT 20087 SOS 13622 HAS SOPS 13622 HAS SOUS 10505 HAS SOUPS 10505 WITH SCORE 10518.622
AT ITER 159 NEW BEST:: SOT 20082 SOS 13581 HAS SOPS 13581 HAS SOUS 10464 HAS SOUPS 10464 WITH SCORE 10477.581
AT ITER 160 NEW BEST:: SOT 20061 SOS 13523 HAS SOPS 13523 HAS SOUS 10406 HAS SOUPS 10406 WITH SCORE 10419.523
AT ITER 164 NEW BEST:: SOT 20052 SOS 13514 HAS SOPS 13514 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10410.514
AT ITER 167 NEW BEST:: SOT 20001 SOS 13404 HAS SOPS 13404 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10410.404
AT ITER 169 NEW BEST:: SOT 20157 SOS 13402 HAS SOPS 13402 HAS SOUS 10360 HAS SOUPS 10360 WITH SCORE 10373.402
AT ITER 171 NEW BEST:: SOT 20162 SOS 13233 HAS SOPS 13233 HAS SOUS 10146 HAS SOUPS 10146 WITH SCORE 10159.233
AT ITER 175 NEW BEST:: SOT 20215 SOS 13257 HAS SOPS 13257 HAS SOUS 10074 HAS SOUPS 10074 WITH SCORE 10087.257
AT ITER 179 NEW BEST:: SOT 20210 SOS 13248 HAS SOPS 13248 HAS SOUS 10065 HAS SOUPS 10065 WITH SCORE 10078.248
AT ITER 182 NEW BEST:: SOT 20205 SOS 13238 HAS SOPS 13238 HAS SOUS 10029 HAS SOUPS 10029 WITH SCORE 10042.238
AT ITER 192 NEW BEST:: SOT 20148 SOS 12957 HAS SOPS 12957 HAS SOUS 10028 HAS SOUPS 10028 WITH SCORE 10040.957
AT ITER 194 NEW BEST:: SOT 20148 SOS 12929 HAS SOPS 12929 HAS SOUS 9993 HAS SOUPS 9993 WITH SCORE 10005.929
AT ITER 196 NEW BEST:: SOT 20148 SOS 12911 HAS SOPS 12911 HAS SOUS 9985 HAS SOUPS 9985 WITH SCORE 9997.911
AT ITER 200 NEW BEST:: SOT 20119 SOS 12831 HAS SOPS 12831 HAS SOUS 9945 HAS SOUPS 9945 WITH SCORE 9957.831
AT ITER 202 NEW BEST:: SOT 20016 SOS 12703 HAS SOPS 12703 HAS SOUS 9717 HAS SOUPS 9717 WITH SCORE 9729.703
AT ITER 203 NEW BEST:: SOT 19950 SOS 12721 HAS SOPS 12721 HAS SOUS 9628 HAS SOUPS 9628 WITH SCORE 9640.721
AT ITER 206 NEW BEST:: SOT 19919 SOS 12662 HAS SOPS 12662 HAS SOUS 9583 HAS SOUPS 9583 WITH SCORE 9595.662
AT ITER 221 NEW BEST:: SOT 19863 SOS 12589 HAS SOPS 12589 HAS SOUS 9531 HAS SOUPS 9531 WITH SCORE 9543.589
AT ITER 222 NEW BEST:: SOT 19794 SOS 12490 HAS SOPS 12490 HAS SOUS 9429 HAS SOUPS 9429 WITH SCORE 9441.49
AT ITER 223 NEW BEST:: SOT 19777 SOS 12474 HAS SOPS 12474 HAS SOUS 9412 HAS SOUPS 9412 WITH SCORE 9424.474
AT ITER 227 NEW BEST:: SOT 19739 SOS 12400 HAS SOPS 12400 HAS SOUS 9300 HAS SOUPS 9300 WITH SCORE 9312.4
AT ITER 231 NEW BEST:: SOT 19739 SOS 12397 HAS SOPS 12397 HAS SOUS 9297 HAS SOUPS 9297 WITH SCORE 9309.397
AT ITER 233 NEW BEST:: SOT 19730 SOS 12378 HAS SOPS 12378 HAS SOUS 9283 HAS SOUPS 9283 WITH SCORE 9295.378
AT ITER 246 NEW BEST:: SOT 19562 SOS 12160 HAS SOPS 12160 HAS SOUS 9054 HAS SOUPS 9054 WITH SCORE 9066.16
AT ITER 248 NEW BEST:: SOT 19545 SOS 12143 HAS SOPS 12143 HAS SOUS 9037 HAS SOUPS 9037 WITH SCORE 9049.143
AT ITER 255 NEW BEST:: SOT 19417 SOS 12038 HAS SOPS 12038 HAS SOUS 8932 HAS SOUPS 8932 WITH SCORE 8944.038
AT ITER 274 NEW BEST:: SOT 19397 SOS 12018 HAS SOPS 12018 HAS SOUS 8912 HAS SOUPS 8912 WITH SCORE 8924.018
AT ITER 279 NEW BEST:: SOT 19397 SOS 12022 HAS SOPS 12022 HAS SOUS 8909 HAS SOUPS 8909 WITH SCORE 8921.022
AT ITER 281 NEW BEST:: SOT 19383 SOS 11912 HAS SOPS 11912 HAS SOUS 8862 HAS SOUPS 8862 WITH SCORE 8873.912
AT ITER 285 NEW BEST:: SOT 19383 SOS 11922 HAS SOPS 11922 HAS SOUS 8847 HAS SOUPS 8847 WITH SCORE 8858.922
AT ITER 288 NEW BEST:: SOT 19382 SOS 11914 HAS SOPS 11914 HAS SOUS 8847 HAS SOUPS 8847 WITH SCORE 8858.914
AT ITER 293 NEW BEST:: SOT 19350 SOS 11865 HAS SOPS 11865 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8809.865
AT ITER 309 NEW BEST:: SOT 19350 SOS 11857 HAS SOPS 11857 HAS SOUS 8796 HAS SOUPS 8796 WITH SCORE 8807.857
AT ITER 313 NEW BEST:: SOT 19213 SOS 11573 HAS SOPS 11573 HAS SOUS 8469 HAS SOUPS 8469 WITH SCORE 8480.573
AT ITER 316 NEW BEST:: SOT 19231 SOS 11609 HAS SOPS 11609 HAS SOUS 8452 HAS SOUPS 8452 WITH SCORE 8463.609
AT ITER 322 NEW BEST:: SOT 19211 SOS 11589 HAS SOPS 11589 HAS SOUS 8426 HAS SOUPS 8426 WITH SCORE 8437.589
AT ITER 331 NEW BEST:: SOT 19211 SOS 11589 HAS SOPS 11589 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8436.589
AT ITER 344 NEW BEST:: SOT 19228 SOS 11599 HAS SOPS 11599 HAS SOUS 8349 HAS SOUPS 8349 WITH SCORE 8360.599
AT ITER 346 NEW BEST:: SOT 19223 SOS 11606 HAS SOPS 11606 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8359.606
AT ITER 355 NEW BEST:: SOT 19193 SOS 11541 HAS SOPS 11541 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8287.541
AT ITER 365 NEW BEST:: SOT 19134 SOS 11478 HAS SOPS 11478 HAS SOUS 8221 HAS SOUPS 8221 WITH SCORE 8232.478
AT ITER 376 NEW BEST:: SOT 19128 SOS 11462 HAS SOPS 11462 HAS SOUS 8193 HAS SOUPS 8193 WITH SCORE 8204.462
AT ITER 378 NEW BEST:: SOT 19008 SOS 11364 HAS SOPS 11364 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8106.364
AT ITER 394 NEW BEST:: SOT 18995 SOS 11351 HAS SOPS 11351 HAS SOUS 8082 HAS SOUPS 8082 WITH SCORE 8093.351
AT ITER 396 NEW BEST:: SOT 18987 SOS 11331 HAS SOPS 11331 HAS SOUS 8058 HAS SOUPS 8058 WITH SCORE 8069.331
AT ITER 405 NEW BEST:: SOT 18942 SOS 11286 HAS SOPS 11286 HAS SOUS 8013 HAS SOUPS 8013 WITH SCORE 8024.286
AT ITER 415 NEW BEST:: SOT 18924 SOS 11259 HAS SOPS 11259 HAS SOUS 7986 HAS SOUPS 7986 WITH SCORE 7997.259
AT ITER 429 NEW BEST:: SOT 18914 SOS 11179 HAS SOPS 11179 HAS SOUS 7966 HAS SOUPS 7966 WITH SCORE 7977.179
AT ITER 431 NEW BEST:: SOT 18821 SOS 11086 HAS SOPS 11086 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7884.086
AT ITER 432 NEW BEST:: SOT 18802 SOS 11066 HAS SOPS 11066 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7852.066
AT ITER 435 NEW BEST:: SOT 18801 SOS 11063 HAS SOPS 11063 HAS SOUS 7839 HAS SOUPS 7839 WITH SCORE 7850.063
AT ITER 443 NEW BEST:: SOT 18817 SOS 11057 HAS SOPS 11057 HAS SOUS 7833 HAS SOUPS 7833 WITH SCORE 7844.057
AT ITER 449 NEW BEST:: SOT 18715 SOS 11240 HAS SOPS 11240 HAS SOUS 7742 HAS SOUPS 7742 WITH SCORE 7753.24
AT ITER 462 NEW BEST:: SOT 18706 SOS 11231 HAS SOPS 11231 HAS SOUS 7733 HAS SOUPS 7733 WITH SCORE 7744.231
AT ITER 463 NEW BEST:: SOT 18692 SOS 11131 HAS SOPS 11131 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7730.131
AT ITER 470 NEW BEST:: SOT 18702 SOS 11052 HAS SOPS 11052 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7717.052
AT ITER 480 NEW BEST:: SOT 18672 SOS 10990 HAS SOPS 10990 HAS SOUS 7583 HAS SOUPS 7583 WITH SCORE 7593.99
AT ITER 485 NEW BEST:: SOT 18678 SOS 10995 HAS SOPS 10995 HAS SOUS 7580 HAS SOUPS 7580 WITH SCORE 7590.995
AT ITER 510 NEW BEST:: SOT 18703 SOS 10987 HAS SOPS 10987 HAS SOUS 7567 HAS SOUPS 7567 WITH SCORE 7577.987
AT ITER 520 NEW BEST:: SOT 18635 SOS 10953 HAS SOPS 10953 HAS SOUS 7511 HAS SOUPS 7511 WITH SCORE 7521.953
AT ITER 525 NEW BEST:: SOT 18608 SOS 10937 HAS SOPS 10937 HAS SOUS 7495 HAS SOUPS 7495 WITH SCORE 7505.937
AT ITER 532 NEW BEST:: SOT 18573 SOS 10894 HAS SOPS 10894 HAS SOUS 7477 HAS SOUPS 7477 WITH SCORE 7487.894
AT ITER 555 NEW BEST:: SOT 18572 SOS 10834 HAS SOPS 10834 HAS SOUS 7430 HAS SOUPS 7430 WITH SCORE 7440.834
AT ITER 560 NEW BEST:: SOT 18509 SOS 10767 HAS SOPS 10767 HAS SOUS 7386 HAS SOUPS 7386 WITH SCORE 7396.767
AT ITER 570 NEW BEST:: SOT 18506 SOS 10764 HAS SOPS 10764 HAS SOUS 7383 HAS SOUPS 7383 WITH SCORE 7393.764
AT ITER 579 NEW BEST:: SOT 18516 SOS 10782 HAS SOPS 10782 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7386.782
AT ITER 584 NEW BEST:: SOT 18482 SOS 10730 HAS SOPS 10730 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7292.73
AT ITER 591 NEW BEST:: SOT 18503 SOS 10709 HAS SOPS 10709 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7292.709
AT ITER 592 NEW BEST:: SOT 18500 SOS 10709 HAS SOPS 10709 HAS SOUS 7273 HAS SOUPS 7273 WITH SCORE 7283.709
AT ITER 601 NEW BEST:: SOT 18488 SOS 10693 HAS SOPS 10693 HAS SOUS 7257 HAS SOUPS 7257 WITH SCORE 7267.693
AT ITER 638 NEW BEST:: SOT 18488 SOS 10593 HAS SOPS 10593 HAS SOUS 7213 HAS SOUPS 7213 WITH SCORE 7223.593
AT ITER 648 NEW BEST:: SOT 18487 SOS 10591 HAS SOPS 10591 HAS SOUS 7211 HAS SOUPS 7211 WITH SCORE 7221.591
AT ITER 666 NEW BEST:: SOT 18476 SOS 10574 HAS SOPS 10574 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7210.574
AT ITER 676 NEW BEST:: SOT 18468 SOS 10558 HAS SOPS 10558 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7162.558
AT ITER 681 NEW BEST:: SOT 18456 SOS 10552 HAS SOPS 10552 HAS SOUS 7126 HAS SOUPS 7126 WITH SCORE 7136.552
AT ITER 691 NEW BEST:: SOT 18418 SOS 10514 HAS SOPS 10514 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7098.514
AT ITER 696 NEW BEST:: SOT 18410 SOS 10546 HAS SOPS 10546 HAS SOUS 7080 HAS SOUPS 7080 WITH SCORE 7090.546
AT ITER 704 NEW BEST:: SOT 18356 SOS 10492 HAS SOPS 10492 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7036.492
AT ITER 707 NEW BEST:: SOT 18263 SOS 10389 HAS SOPS 10389 HAS SOUS 6893 HAS SOUPS 6893 WITH SCORE 6903.389
AT ITER 714 NEW BEST:: SOT 18166 SOS 10292 HAS SOPS 10292 HAS SOUS 6786 HAS SOUPS 6786 WITH SCORE 6796.292
AT ITER 727 NEW BEST:: SOT 18150 SOS 10286 HAS SOPS 10286 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6785.286
AT ITER 731 NEW BEST:: SOT 18145 SOS 10266 HAS SOPS 10266 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6783.266
AT ITER 744 NEW BEST:: SOT 18130 SOS 10252 HAS SOPS 10252 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6769.252
AT ITER 751 NEW BEST:: SOT 18130 SOS 10234 HAS SOPS 10234 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6769.234
AT ITER 752 NEW BEST:: SOT 18118 SOS 10222 HAS SOPS 10222 HAS SOUS 6744 HAS SOUPS 6744 WITH SCORE 6754.222
AT ITER 761 NEW BEST:: SOT 18105 SOS 10209 HAS SOPS 10209 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6741.209
AT ITER 768 NEW BEST:: SOT 18058 SOS 10162 HAS SOPS 10162 HAS SOUS 6529 HAS SOUPS 6529 WITH SCORE 6539.162
AT ITER 786 NEW BEST:: SOT 17942 SOS 10046 HAS SOPS 10046 HAS SOUS 6413 HAS SOUPS 6413 WITH SCORE 6423.046
AT ITER 793 NEW BEST:: SOT 17935 SOS 10045 HAS SOPS 10045 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6408.045
AT ITER 794 NEW BEST:: SOT 17910 SOS 10014 HAS SOPS 10014 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6373.014
AT ITER 811 NEW BEST:: SOT 17911 SOS 10010 HAS SOPS 10010 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6373.01
AT ITER 827 NEW BEST:: SOT 17905 SOS 10001 HAS SOPS 10001 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6360.001
AT ITER 846 NEW BEST:: SOT 17894 SOS 9990 HAS SOPS 9990 HAS SOUS 6339 HAS SOUPS 6339 WITH SCORE 6348.99
AT ITER 852 NEW BEST:: SOT 17895 SOS 9968 HAS SOPS 9968 HAS SOUS 6315 HAS SOUPS 6315 WITH SCORE 6324.968
AT ITER 859 NEW BEST:: SOT 17875 SOS 9948 HAS SOPS 9948 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6296.948
AT ITER 867 NEW BEST:: SOT 17871 SOS 9937 HAS SOPS 9937 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6285.937
AT ITER 868 NEW BEST:: SOT 17891 SOS 9947 HAS SOPS 9947 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6283.947
AT ITER 878 NEW BEST:: SOT 17874 SOS 9939 HAS SOPS 9939 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6273.939
AT ITER 906 NEW BEST:: SOT 17906 SOS 10099 HAS SOPS 10099 HAS SOUS 6263 HAS SOUPS 6263 WITH SCORE 6273.099
AT ITER 908 NEW BEST:: SOT 17840 SOS 9949 HAS SOPS 9949 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6159.949
AT ITER 914 NEW BEST:: SOT 17757 SOS 9728 HAS SOPS 9728 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6033.728
AT ITER 921 NEW BEST:: SOT 17743 SOS 9714 HAS SOPS 9714 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6023.714
AT ITER 923 NEW BEST:: SOT 17726 SOS 9687 HAS SOPS 9687 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 6002.687
AT ITER 936 NEW BEST:: SOT 17639 SOS 9518 HAS SOPS 9518 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5828.518
AT ITER 940 NEW BEST:: SOT 17604 SOS 9524 HAS SOPS 9524 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5790.524
AT ITER 952 NEW BEST:: SOT 17590 SOS 9528 HAS SOPS 9528 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5772.528
AT ITER 966 NEW BEST:: SOT 17566 SOS 9507 HAS SOPS 9507 HAS SOUS 5713 HAS SOUPS 5713 WITH SCORE 5722.507
AT ITER 967 NEW BEST:: SOT 17558 SOS 9392 HAS SOPS 9392 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5688.392
AT ITER 970 NEW BEST:: SOT 17558 SOS 9399 HAS SOPS 9399 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5686.399
AT ITER 989 NEW BEST:: SOT 17477 SOS 9377 HAS SOPS 9377 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5673.377
AT ITER 1004 NEW BEST:: SOT 17478 SOS 9325 HAS SOPS 9325 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5670.325
AT ITER 1008 NEW BEST:: SOT 17478 SOS 9325 HAS SOPS 9325 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5666.325
AT ITER 1015 NEW BEST:: SOT 17430 SOS 9224 HAS SOPS 9224 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5579.224
AT ITER 1021 NEW BEST:: SOT 17409 SOS 9212 HAS SOPS 9212 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5567.212
AT ITER 1023 NEW BEST:: SOT 17414 SOS 9211 HAS SOPS 9211 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5564.211
AT ITER 1037 NEW BEST:: SOT 17379 SOS 9176 HAS SOPS 9176 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5501.176
AT ITER 1054 NEW BEST:: SOT 17378 SOS 9176 HAS SOPS 9176 HAS SOUS 5489 HAS SOUPS 5489 WITH SCORE 5498.176
AT ITER 1055 NEW BEST:: SOT 17377 SOS 9130 HAS SOPS 9130 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5444.13
AT ITER 1059 NEW BEST:: SOT 17370 SOS 9123 HAS SOPS 9123 HAS SOUS 5389 HAS SOUPS 5389 WITH SCORE 5398.123
AT ITER 1065 NEW BEST:: SOT 17370 SOS 9087 HAS SOPS 9087 HAS SOUS 5387 HAS SOUPS 5387 WITH SCORE 5396.087
AT ITER 1071 NEW BEST:: SOT 17370 SOS 9085 HAS SOPS 9085 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5395.085
AT ITER 1075 NEW BEST:: SOT 17344 SOS 9079 HAS SOPS 9079 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5379.079
AT ITER 1090 NEW BEST:: SOT 17338 SOS 9073 HAS SOPS 9073 HAS SOUS 5359 HAS SOUPS 5359 WITH SCORE 5368.073
AT ITER 1115 NEW BEST:: SOT 17326 SOS 9068 HAS SOPS 9068 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5356.068
AT ITER 1116 NEW BEST:: SOT 17327 SOS 9065 HAS SOPS 9065 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5356.065
AT ITER 1142 NEW BEST:: SOT 17304 SOS 8984 HAS SOPS 8984 HAS SOUS 5311 HAS SOUPS 5311 WITH SCORE 5319.984
AT ITER 1149 NEW BEST:: SOT 17297 SOS 8937 HAS SOPS 8937 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5276.937
AT ITER 1159 NEW BEST:: SOT 17291 SOS 8914 HAS SOPS 8914 HAS SOUS 5254 HAS SOUPS 5254 WITH SCORE 5262.914
AT ITER 1169 NEW BEST:: SOT 17345 SOS 8582 HAS SOPS 8582 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5198.582
AT ITER 1189 NEW BEST:: SOT 17372 SOS 8569 HAS SOPS 8569 HAS SOUS 5169 HAS SOUPS 5169 WITH SCORE 5177.569
AT ITER 1206 NEW BEST:: SOT 17352 SOS 8549 HAS SOPS 8549 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5157.549
AT ITER 1235 NEW BEST:: SOT 17308 SOS 8511 HAS SOPS 8511 HAS SOUS 5111 HAS SOUPS 5111 WITH SCORE 5119.511
AT ITER 1236 NEW BEST:: SOT 17300 SOS 8503 HAS SOPS 8503 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5111.503
AT ITER 1243 NEW BEST:: SOT 17291 SOS 8494 HAS SOPS 8494 HAS SOUS 5088 HAS SOUPS 5088 WITH SCORE 5096.494
AT ITER 1245 NEW BEST:: SOT 17292 SOS 8495 HAS SOPS 8495 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5090.495
AT ITER 1266 NEW BEST:: SOT 17291 SOS 8496 HAS SOPS 8496 HAS SOUS 5078 HAS SOUPS 5078 WITH SCORE 5086.496
AT ITER 1272 NEW BEST:: SOT 17281 SOS 8522 HAS SOPS 8522 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5082.522
AT ITER 1276 NEW BEST:: SOT 17277 SOS 8518 HAS SOPS 8518 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5078.518
AT ITER 1287 NEW BEST:: SOT 17267 SOS 8502 HAS SOPS 8502 HAS SOUS 5056 HAS SOUPS 5056 WITH SCORE 5064.502
AT ITER 1297 NEW BEST:: SOT 17261 SOS 8492 HAS SOPS 8492 HAS SOUS 5048 HAS SOUPS 5048 WITH SCORE 5056.492
AT ITER 1299 NEW BEST:: SOT 17257 SOS 8490 HAS SOPS 8490 HAS SOUS 5046 HAS SOUPS 5046 WITH SCORE 5054.49
AT ITER 1301 NEW BEST:: SOT 17256 SOS 8489 HAS SOPS 8489 HAS SOUS 5045 HAS SOUPS 5045 WITH SCORE 5053.489
AT ITER 1315 NEW BEST:: SOT 17251 SOS 8484 HAS SOPS 8484 HAS SOUS 5040 HAS SOUPS 5040 WITH SCORE 5048.484
AT ITER 1319 NEW BEST:: SOT 17237 SOS 8473 HAS SOPS 8473 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5036.473
AT ITER 1336 NEW BEST:: SOT 17237 SOS 8473 HAS SOPS 8473 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5020.473
AT ITER 1349 NEW BEST:: SOT 17232 SOS 8434 HAS SOPS 8434 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5007.434
AT ITER 1355 NEW BEST:: SOT 17208 SOS 8438 HAS SOPS 8438 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4996.438
AT ITER 1361 NEW BEST:: SOT 17200 SOS 8422 HAS SOPS 8422 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4993.422
AT ITER 1371 NEW BEST:: SOT 17197 SOS 8419 HAS SOPS 8419 HAS SOUS 4982 HAS SOUPS 4982 WITH SCORE 4990.419
AT ITER 1376 NEW BEST:: SOT 17193 SOS 8413 HAS SOPS 8413 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4984.413
AT ITER 1412 NEW BEST:: SOT 17190 SOS 8383 HAS SOPS 8383 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4968.383
AT ITER 1420 NEW BEST:: SOT 17185 SOS 8348 HAS SOPS 8348 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4961.348
AT ITER 1422 NEW BEST:: SOT 17165 SOS 8356 HAS SOPS 8356 HAS SOUS 4940 HAS SOUPS 4940 WITH SCORE 4948.356
AT ITER 1425 NEW BEST:: SOT 17165 SOS 8355 HAS SOPS 8355 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4947.355
AT ITER 1426 NEW BEST:: SOT 17169 SOS 8353 HAS SOPS 8353 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4945.353
AT ITER 1451 NEW BEST:: SOT 17150 SOS 8334 HAS SOPS 8334 HAS SOUS 4895 HAS SOUPS 4895 WITH SCORE 4903.334
AT ITER 1454 NEW BEST:: SOT 17151 SOS 8320 HAS SOPS 8320 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4880.32
AT ITER 1517 NEW BEST:: SOT 17149 SOS 8310 HAS SOPS 8310 HAS SOUS 4870 HAS SOUPS 4870 WITH SCORE 4878.31
AT ITER 1537 NEW BEST:: SOT 17123 SOS 8276 HAS SOPS 8276 HAS SOUS 4821 HAS SOUPS 4821 WITH SCORE 4829.276
AT ITER 1542 NEW BEST:: SOT 17082 SOS 8235 HAS SOPS 8235 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4788.235
AT ITER 1577 NEW BEST:: SOT 17074 SOS 8227 HAS SOPS 8227 HAS SOUS 4772 HAS SOUPS 4772 WITH SCORE 4780.227
AT ITER 1581 NEW BEST:: SOT 17054 SOS 8207 HAS SOPS 8207 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4760.207
AT ITER 1588 NEW BEST:: SOT 17052 SOS 8204 HAS SOPS 8204 HAS SOUS 4749 HAS SOUPS 4749 WITH SCORE 4757.204
AT ITER 1615 NEW BEST:: SOT 17014 SOS 8168 HAS SOPS 8168 HAS SOUS 4713 HAS SOUPS 4713 WITH SCORE 4721.168
AT ITER 1640 NEW BEST:: SOT 17000 SOS 8154 HAS SOPS 8154 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4708.154
AT ITER 1647 NEW BEST:: SOT 16993 SOS 8156 HAS SOPS 8156 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4707.156
AT ITER 1655 NEW BEST:: SOT 16987 SOS 8150 HAS SOPS 8150 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4701.15
AT ITER 1667 NEW BEST:: SOT 16987 SOS 8193 HAS SOPS 8193 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4691.193
AT ITER 1693 NEW BEST:: SOT 16987 SOS 8141 HAS SOPS 8141 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4677.141
AT ITER 1712 NEW BEST:: SOT 16987 SOS 8087 HAS SOPS 8087 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4657.087
AT ITER 1805 NEW BEST:: SOT 16981 SOS 8080 HAS SOPS 8080 HAS SOUS 4642 HAS SOUPS 4642 WITH SCORE 4650.08
AT ITER 1806 NEW BEST:: SOT 16981 SOS 8075 HAS SOPS 8075 HAS SOUS 4637 HAS SOUPS 4637 WITH SCORE 4645.075
AT ITER 1824 NEW BEST:: SOT 16973 SOS 8090 HAS SOPS 8090 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4636.09
AT ITER 1837 NEW BEST:: SOT 16971 SOS 8084 HAS SOPS 8084 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4632.084
AT ITER 1840 NEW BEST:: SOT 16963 SOS 8072 HAS SOPS 8072 HAS SOUS 4614 HAS SOUPS 4614 WITH SCORE 4622.072
AT ITER 1857 NEW BEST:: SOT 16908 SOS 7743 HAS SOPS 7743 HAS SOUS 4594 HAS SOUPS 4594 WITH SCORE 4601.743
AT ITER 1858 NEW BEST:: SOT 16897 SOS 7629 HAS SOPS 7629 HAS SOUS 4594 HAS SOUPS 4594 WITH SCORE 4601.629
AT ITER 1861 NEW BEST:: SOT 16897 SOS 7587 HAS SOPS 7587 HAS SOUS 4587 HAS SOUPS 4587 WITH SCORE 4594.587
AT ITER 1866 NEW BEST:: SOT 16893 SOS 7583 HAS SOPS 7583 HAS SOUS 4583 HAS SOUPS 4583 WITH SCORE 4590.583
AT ITER 1879 NEW BEST:: SOT 16895 SOS 7585 HAS SOPS 7585 HAS SOUS 4581 HAS SOUPS 4581 WITH SCORE 4588.585
AT ITER 1880 NEW BEST:: SOT 16895 SOS 7623 HAS SOPS 7623 HAS SOUS 4575 HAS SOUPS 4575 WITH SCORE 4582.623
AT ITER 1883 NEW BEST:: SOT 16832 SOS 7545 HAS SOPS 7545 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4517.545
AT ITER 1884 NEW BEST:: SOT 16830 SOS 7543 HAS SOPS 7543 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4515.543
AT ITER 1905 NEW BEST:: SOT 16823 SOS 7534 HAS SOPS 7534 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4506.534
AT ITER 1909 NEW BEST:: SOT 16807 SOS 7529 HAS SOPS 7529 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4471.529
AT ITER 1926 NEW BEST:: SOT 16796 SOS 7485 HAS SOPS 7485 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4444.485
AT ITER 1934 NEW BEST:: SOT 16785 SOS 7390 HAS SOPS 7390 HAS SOUS 4412 HAS SOUPS 4412 WITH SCORE 4419.39
AT ITER 1957 NEW BEST:: SOT 16787 SOS 7377 HAS SOPS 7377 HAS SOUS 4404 HAS SOUPS 4404 WITH SCORE 4411.377
AT ITER 1971 NEW BEST:: SOT 16741 SOS 7583 HAS SOPS 7583 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4384.583
AT ITER 1985 NEW BEST:: SOT 16741 SOS 7571 HAS SOPS 7571 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4384.571
AT ITER 1987 NEW BEST:: SOT 16700 SOS 7530 HAS SOPS 7530 HAS SOUS 4341 HAS SOUPS 4341 WITH SCORE 4348.53
AT ITER 1991 NEW BEST:: SOT 16699 SOS 7533 HAS SOPS 7533 HAS SOUS 4337 HAS SOUPS 4337 WITH SCORE 4344.533
AT ITER 1992 NEW BEST:: SOT 16693 SOS 7551 HAS SOPS 7551 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4252.551
AT ITER 2008 NEW BEST:: SOT 16691 SOS 7548 HAS SOPS 7548 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4241.548
AT ITER 2010 NEW BEST:: SOT 16689 SOS 7543 HAS SOPS 7543 HAS SOUS 4224 HAS SOUPS 4224 WITH SCORE 4231.543
AT ITER 2031 NEW BEST:: SOT 16681 SOS 7514 HAS SOPS 7514 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4210.514
AT ITER 2039 NEW BEST:: SOT 16686 SOS 7514 HAS SOPS 7514 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4196.514
AT ITER 2051 NEW BEST:: SOT 16670 SOS 7513 HAS SOPS 7513 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4176.513
AT ITER 2052 NEW BEST:: SOT 16665 SOS 7508 HAS SOPS 7508 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4167.508
AT ITER 2061 NEW BEST:: SOT 16687 SOS 7518 HAS SOPS 7518 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4141.518
AT ITER 2066 NEW BEST:: SOT 16683 SOS 7499 HAS SOPS 7499 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4128.499
AT ITER 2072 NEW BEST:: SOT 16683 SOS 7505 HAS SOPS 7505 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4125.505
AT ITER 2125 NEW BEST:: SOT 16679 SOS 7486 HAS SOPS 7486 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4125.486
AT ITER 2133 NEW BEST:: SOT 16679 SOS 7483 HAS SOPS 7483 HAS SOUS 4117 HAS SOUPS 4117 WITH SCORE 4124.483
AT ITER 2140 NEW BEST:: SOT 16677 SOS 7479 HAS SOPS 7479 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4115.479
AT ITER 2166 NEW BEST:: SOT 16684 SOS 7458 HAS SOPS 7458 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4115.458
AT ITER 2217 NEW BEST:: SOT 16684 SOS 7452 HAS SOPS 7452 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4109.452
AT ITER 2221 NEW BEST:: SOT 16687 SOS 7446 HAS SOPS 7446 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4109.446
AT ITER 2223 NEW BEST:: SOT 16677 SOS 7436 HAS SOPS 7436 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4092.436
AT ITER 2245 NEW BEST:: SOT 16677 SOS 7444 HAS SOPS 7444 HAS SOUS 4079 HAS SOUPS 4079 WITH SCORE 4086.444
AT ITER 2246 NEW BEST:: SOT 16677 SOS 7440 HAS SOPS 7440 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4075.44
AT ITER 2282 NEW BEST:: SOT 16674 SOS 7422 HAS SOPS 7422 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4075.422
AT ITER 2321 NEW BEST:: SOT 16666 SOS 7414 HAS SOPS 7414 HAS SOUS 4060 HAS SOUPS 4060 WITH SCORE 4067.414
AT ITER 2334 NEW BEST:: SOT 16653 SOS 7408 HAS SOPS 7408 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4053.408
AT ITER 2361 NEW BEST:: SOT 16665 SOS 7437 HAS SOPS 7437 HAS SOUS 4041 HAS SOUPS 4041 WITH SCORE 4048.437
AT ITER 2379 NEW BEST:: SOT 16643 SOS 7376 HAS SOPS 7376 HAS SOUS 4040 HAS SOUPS 4040 WITH SCORE 4047.376
AT ITER 2383 NEW BEST:: SOT 16626 SOS 7357 HAS SOPS 7357 HAS SOUS 4022 HAS SOUPS 4022 WITH SCORE 4029.357
AT ITER 2408 NEW BEST:: SOT 16614 SOS 7291 HAS SOPS 7291 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4013.291
AT ITER 2439 NEW BEST:: SOT 16614 SOS 7277 HAS SOPS 7277 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4013.277
AT ITER 2441 NEW BEST:: SOT 16612 SOS 7275 HAS SOPS 7275 HAS SOUS 4004 HAS SOUPS 4004 WITH SCORE 4011.275
AT ITER 2470 NEW BEST:: SOT 16609 SOS 7273 HAS SOPS 7273 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4007.273
AT ITER 2482 NEW BEST:: SOT 16601 SOS 7272 HAS SOPS 7272 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3988.272
AT ITER 2491 NEW BEST:: SOT 16606 SOS 7221 HAS SOPS 7221 HAS SOUS 3970 HAS SOUPS 3970 WITH SCORE 3977.221
AT ITER 2504 NEW BEST:: SOT 16584 SOS 7199 HAS SOPS 7199 HAS SOUS 3948 HAS SOUPS 3948 WITH SCORE 3955.199
AT ITER 2538 NEW BEST:: SOT 16578 SOS 7187 HAS SOPS 7187 HAS SOUS 3933 HAS SOUPS 3933 WITH SCORE 3940.187
AT ITER 2605 NEW BEST:: SOT 16574 SOS 7163 HAS SOPS 7163 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3932.163
AT ITER 2620 NEW BEST:: SOT 16573 SOS 7161 HAS SOPS 7161 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3930.161
AT ITER 2663 NEW BEST:: SOT 16571 SOS 7141 HAS SOPS 7141 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3927.141
AT ITER 2686 NEW BEST:: SOT 16555 SOS 7117 HAS SOPS 7117 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3923.117
AT ITER 2690 NEW BEST:: SOT 16579 SOS 7141 HAS SOPS 7141 HAS SOUS 3900 HAS SOUPS 3900 WITH SCORE 3907.141
AT ITER 2691 NEW BEST:: SOT 16575 SOS 7111 HAS SOPS 7111 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3906.111
AT ITER 2723 NEW BEST:: SOT 16575 SOS 7103 HAS SOPS 7103 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3899.103
AT ITER 2754 NEW BEST:: SOT 16577 SOS 7129 HAS SOPS 7129 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3896.129
AT ITER 2775 NEW BEST:: SOT 16577 SOS 7123 HAS SOPS 7123 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3884.123
AT ITER 2803 NEW BEST:: SOT 16565 SOS 7111 HAS SOPS 7111 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3869.111
AT ITER 2815 NEW BEST:: SOT 16553 SOS 7099 HAS SOPS 7099 HAS SOUS 3850 HAS SOUPS 3850 WITH SCORE 3857.099
AT ITER 2836 NEW BEST:: SOT 16552 SOS 7097 HAS SOPS 7097 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3855.097
AT ITER 2858 NEW BEST:: SOT 16544 SOS 7089 HAS SOPS 7089 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3847.089
AT ITER 2926 NEW BEST:: SOT 16537 SOS 7104 HAS SOPS 7104 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3828.104
AT ITER 3086 NEW BEST:: SOT 16529 SOS 7094 HAS SOPS 7094 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3812.094
AT ITER 3090 NEW BEST:: SOT 16529 SOS 7086 HAS SOPS 7086 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3810.086
AT ITER 3110 NEW BEST:: SOT 16524 SOS 7086 HAS SOPS 7086 HAS SOUS 3773 HAS SOUPS 3773 WITH SCORE 3780.086
AT ITER 3175 NEW BEST:: SOT 16522 SOS 7083 HAS SOPS 7083 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3771.083
AT ITER 3212 NEW BEST:: SOT 16517 SOS 7063 HAS SOPS 7063 HAS SOUS 3759 HAS SOUPS 3759 WITH SCORE 3766.063
AT ITER 3248 NEW BEST:: SOT 16465 SOS 7059 HAS SOPS 7059 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3726.059
AT ITER 3252 NEW BEST:: SOT 16462 SOS 7055 HAS SOPS 7055 HAS SOUS 3710 HAS SOUPS 3710 WITH SCORE 3717.055
AT ITER 3265 NEW BEST:: SOT 16461 SOS 7050 HAS SOPS 7050 HAS SOUS 3701 HAS SOUPS 3701 WITH SCORE 3708.05
AT ITER 3266 NEW BEST:: SOT 16460 SOS 7050 HAS SOPS 7050 HAS SOUS 3698 HAS SOUPS 3698 WITH SCORE 3705.05
AT ITER 3284 NEW BEST:: SOT 16457 SOS 7043 HAS SOPS 7043 HAS SOUS 3694 HAS SOUPS 3694 WITH SCORE 3701.043
AT ITER 3286 NEW BEST:: SOT 16451 SOS 7037 HAS SOPS 7037 HAS SOUS 3686 HAS SOUPS 3686 WITH SCORE 3693.037
AT ITER 3296 NEW BEST:: SOT 16430 SOS 7018 HAS SOPS 7018 HAS SOUS 3680 HAS SOUPS 3680 WITH SCORE 3687.018
AT ITER 3307 NEW BEST:: SOT 16430 SOS 7016 HAS SOPS 7016 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3683.016
AT ITER 3355 NEW BEST:: SOT 16475 SOS 7009 HAS SOPS 7009 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3658.009
AT ITER 3369 NEW BEST:: SOT 16475 SOS 7008 HAS SOPS 7008 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3658.008
AT ITER 3406 NEW BEST:: SOT 16461 SOS 6992 HAS SOPS 6992 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3641.992
AT ITER 3475 NEW BEST:: SOT 16458 SOS 6987 HAS SOPS 6987 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3638.987
AT ITER 3494 NEW BEST:: SOT 16437 SOS 6973 HAS SOPS 6973 HAS SOUS 3629 HAS SOUPS 3629 WITH SCORE 3635.973
AT ITER 3564 NEW BEST:: SOT 16451 SOS 6957 HAS SOPS 6957 HAS SOUS 3626 HAS SOUPS 3626 WITH SCORE 3632.957
AT ITER 3569 NEW BEST:: SOT 16449 SOS 6956 HAS SOPS 6956 HAS SOUS 3621 HAS SOUPS 3621 WITH SCORE 3627.956
AT ITER 3587 NEW BEST:: SOT 16425 SOS 6938 HAS SOPS 6938 HAS SOUS 3620 HAS SOUPS 3620 WITH SCORE 3626.938
AT ITER 3635 NEW BEST:: SOT 16423 SOS 6928 HAS SOPS 6928 HAS SOUS 3612 HAS SOUPS 3612 WITH SCORE 3618.928
AT ITER 3640 NEW BEST:: SOT 16413 SOS 6935 HAS SOPS 6935 HAS SOUS 3606 HAS SOUPS 3606 WITH SCORE 3612.935
AT ITER 3681 NEW BEST:: SOT 16412 SOS 6994 HAS SOPS 6994 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3610.994
AT ITER 3704 NEW BEST:: SOT 16410 SOS 6990 HAS SOPS 6990 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3610.99
AT ITER 3733 NEW BEST:: SOT 16414 SOS 7004 HAS SOPS 7004 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3610.004
AT ITER 3747 NEW BEST:: SOT 16414 SOS 6998 HAS SOPS 6998 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3608.998
AT ITER 3758 NEW BEST:: SOT 16393 SOS 6981 HAS SOPS 6981 HAS SOUS 3582 HAS SOUPS 3582 WITH SCORE 3588.981
AT ITER 3785 NEW BEST:: SOT 16392 SOS 6978 HAS SOPS 6978 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3586.978
AT ITER 3808 NEW BEST:: SOT 16391 SOS 6977 HAS SOPS 6977 HAS SOUS 3579 HAS SOUPS 3579 WITH SCORE 3585.977
AT ITER 3810 NEW BEST:: SOT 16391 SOS 6977 HAS SOPS 6977 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3584.977
AT ITER 3887 NEW BEST:: SOT 16390 SOS 6976 HAS SOPS 6976 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3580.976
AT ITER 3969 NEW BEST:: SOT 16383 SOS 6957 HAS SOPS 6957 HAS SOUS 3560 HAS SOUPS 3560 WITH SCORE 3566.957
AT ITER 3977 NEW BEST:: SOT 16387 SOS 6963 HAS SOPS 6963 HAS SOUS 3555 HAS SOUPS 3555 WITH SCORE 3561.963
AT ITER 4025 NEW BEST:: SOT 16377 SOS 6955 HAS SOPS 6955 HAS SOUS 3540 HAS SOUPS 3540 WITH SCORE 3546.955
AT ITER 4048 NEW BEST:: SOT 16367 SOS 6950 HAS SOPS 6950 HAS SOUS 3530 HAS SOUPS 3530 WITH SCORE 3536.95
AT ITER 4054 NEW BEST:: SOT 16367 SOS 6951 HAS SOPS 6951 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3535.951
AT ITER 4073 NEW BEST:: SOT 16380 SOS 6896 HAS SOPS 6896 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3532.896
AT ITER 4092 NEW BEST:: SOT 16372 SOS 6884 HAS SOPS 6884 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3514.884
AT ITER 4112 NEW BEST:: SOT 16386 SOS 6813 HAS SOPS 6813 HAS SOUS 3506 HAS SOUPS 3506 WITH SCORE 3512.813
AT ITER 4155 NEW BEST:: SOT 16390 SOS 6819 HAS SOPS 6819 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3510.819
AT ITER 4157 NEW BEST:: SOT 16390 SOS 6819 HAS SOPS 6819 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3501.819
AT ITER 4161 NEW BEST:: SOT 16386 SOS 6815 HAS SOPS 6815 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3497.815
AT ITER 4191 NEW BEST:: SOT 16375 SOS 6848 HAS SOPS 6848 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3480.848
AT ITER 4206 NEW BEST:: SOT 16376 SOS 6844 HAS SOPS 6844 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3478.844
AT ITER 4209 NEW BEST:: SOT 16372 SOS 6840 HAS SOPS 6840 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3478.84
AT ITER 4217 NEW BEST:: SOT 16368 SOS 6836 HAS SOPS 6836 HAS SOUS 3468 HAS SOUPS 3468 WITH SCORE 3474.836
AT ITER 4225 NEW BEST:: SOT 16368 SOS 6776 HAS SOPS 6776 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3454.776
AT ITER 4323 NEW BEST:: SOT 16364 SOS 6772 HAS SOPS 6772 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3447.772
AT ITER 4328 NEW BEST:: SOT 16334 SOS 6710 HAS SOPS 6710 HAS SOUS 3431 HAS SOUPS 3431 WITH SCORE 3437.71
AT ITER 4329 NEW BEST:: SOT 16334 SOS 6709 HAS SOPS 6709 HAS SOUS 3429 HAS SOUPS 3429 WITH SCORE 3435.709
AT ITER 4338 NEW BEST:: SOT 16322 SOS 6625 HAS SOPS 6625 HAS SOUS 3417 HAS SOUPS 3417 WITH SCORE 3423.625
AT ITER 4346 NEW BEST:: SOT 16322 SOS 6625 HAS SOPS 6625 HAS SOUS 3413 HAS SOUPS 3413 WITH SCORE 3419.625
AT ITER 4358 NEW BEST:: SOT 16299 SOS 6605 HAS SOPS 6605 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3413.605
AT ITER 4365 NEW BEST:: SOT 16295 SOS 6601 HAS SOPS 6601 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3408.601
AT ITER 4373 NEW BEST:: SOT 16305 SOS 6612 HAS SOPS 6612 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3389.612
AT ITER 4381 NEW BEST:: SOT 16305 SOS 6398 HAS SOPS 6398 HAS SOUS 3345 HAS SOUPS 3345 WITH SCORE 3351.398
AT ITER 4414 NEW BEST:: SOT 16305 SOS 6397 HAS SOPS 6397 HAS SOUS 3344 HAS SOUPS 3344 WITH SCORE 3350.397
AT ITER 4466 NEW BEST:: SOT 16299 SOS 6392 HAS SOPS 6392 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3344.392
AT ITER 4486 NEW BEST:: SOT 16282 SOS 6374 HAS SOPS 6374 HAS SOUS 3320 HAS SOUPS 3320 WITH SCORE 3326.374
AT ITER 4537 NEW BEST:: SOT 16282 SOS 6312 HAS SOPS 6312 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3320.312
AT ITER 4554 NEW BEST:: SOT 16267 SOS 6294 HAS SOPS 6294 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3302.294
AT ITER 4680 NEW BEST:: SOT 16264 SOS 6284 HAS SOPS 6284 HAS SOUS 3291 HAS SOUPS 3291 WITH SCORE 3297.284
AT ITER 4689 NEW BEST:: SOT 16264 SOS 6277 HAS SOPS 6277 HAS SOUS 3286 HAS SOUPS 3286 WITH SCORE 3292.277
AT ITER 4724 NEW BEST:: SOT 16262 SOS 6275 HAS SOPS 6275 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3290.275
AT ITER 4731 NEW BEST:: SOT 16261 SOS 6271 HAS SOPS 6271 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3289.271
AT ITER 4733 NEW BEST:: SOT 16258 SOS 6246 HAS SOPS 6246 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3289.246
AT ITER 4790 NEW BEST:: SOT 16256 SOS 6244 HAS SOPS 6244 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3287.244
AT ITER 4828 NEW BEST:: SOT 16256 SOS 6184 HAS SOPS 6184 HAS SOUS 3270 HAS SOUPS 3270 WITH SCORE 3276.184
AT ITER 4866 NEW BEST:: SOT 16250 SOS 6166 HAS SOPS 6166 HAS SOUS 3259 HAS SOUPS 3259 WITH SCORE 3265.166
AT ITER 4908 NEW BEST:: SOT 16259 SOS 6194 HAS SOPS 6194 HAS SOUS 3251 HAS SOUPS 3251 WITH SCORE 3257.194
AT ITER 4952 NEW BEST:: SOT 16259 SOS 6193 HAS SOPS 6193 HAS SOUS 3250 HAS SOUPS 3250 WITH SCORE 3256.193
AT ITER 4981 NEW BEST:: SOT 16254 SOS 6179 HAS SOPS 6179 HAS SOUS 3250 HAS SOUPS 3250 WITH SCORE 3256.179
AT ITER 5008 NEW BEST:: SOT 16250 SOS 6161 HAS SOPS 6161 HAS SOUS 3238 HAS SOUPS 3238 WITH SCORE 3244.161
AT ITER 5056 NEW BEST:: SOT 16248 SOS 6159 HAS SOPS 6159 HAS SOUS 3236 HAS SOUPS 3236 WITH SCORE 3242.159
AT ITER 5087 NEW BEST:: SOT 16243 SOS 6154 HAS SOPS 6154 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3237.154
AT ITER 5101 NEW BEST:: SOT 16247 SOS 6168 HAS SOPS 6168 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3233.168
AT ITER 5140 NEW BEST:: SOT 16241 SOS 6162 HAS SOPS 6162 HAS SOUS 3209 HAS SOUPS 3209 WITH SCORE 3215.162
AT ITER 5177 NEW BEST:: SOT 16241 SOS 6160 HAS SOPS 6160 HAS SOUS 3207 HAS SOUPS 3207 WITH SCORE 3213.16
AT ITER 5212 NEW BEST:: SOT 16240 SOS 6158 HAS SOPS 6158 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3212.158
AT ITER 5250 NEW BEST:: SOT 16228 SOS 6166 HAS SOPS 6166 HAS SOUS 3193 HAS SOUPS 3193 WITH SCORE 3199.166
AT ITER 5273 NEW BEST:: SOT 16229 SOS 6175 HAS SOPS 6175 HAS SOUS 3165 HAS SOUPS 3165 WITH SCORE 3171.175
AT ITER 5370 NEW BEST:: SOT 16213 SOS 6151 HAS SOPS 6151 HAS SOUS 3137 HAS SOUPS 3137 WITH SCORE 3143.151
AT ITER 5377 NEW BEST:: SOT 16185 SOS 6054 HAS SOPS 6054 HAS SOUS 3101 HAS SOUPS 3101 WITH SCORE 3107.054
AT ITER 5381 NEW BEST:: SOT 16148 SOS 6013 HAS SOPS 6013 HAS SOUS 3071 HAS SOUPS 3071 WITH SCORE 3077.013
AT ITER 5490 NEW BEST:: SOT 16148 SOS 6010 HAS SOPS 6010 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3076.01
AT ITER 5656 NEW BEST:: SOT 16145 SOS 6004 HAS SOPS 6004 HAS SOUS 3063 HAS SOUPS 3063 WITH SCORE 3069.004
AT ITER 5725 NEW BEST:: SOT 16145 SOS 5991 HAS SOPS 5991 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3066.991
AT ITER 5728 NEW BEST:: SOT 16141 SOS 5981 HAS SOPS 5981 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3059.981
AT ITER 5730 NEW BEST:: SOT 16138 SOS 5966 HAS SOPS 5966 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3055.966
AT ITER 5735 NEW BEST:: SOT 16148 SOS 5975 HAS SOPS 5975 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3051.975
AT ITER 5772 NEW BEST:: SOT 16142 SOS 5969 HAS SOPS 5969 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3047.969
AT ITER 5784 NEW BEST:: SOT 16137 SOS 5964 HAS SOPS 5964 HAS SOUS 3031 HAS SOUPS 3031 WITH SCORE 3036.964
AT ITER 5790 NEW BEST:: SOT 16135 SOS 5962 HAS SOPS 5962 HAS SOUS 3029 HAS SOUPS 3029 WITH SCORE 3034.962
AT ITER 5844 NEW BEST:: SOT 16129 SOS 5968 HAS SOPS 5968 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3033.968
AT ITER 5864 NEW BEST:: SOT 16129 SOS 5923 HAS SOPS 5923 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3021.923
AT ITER 5903 NEW BEST:: SOT 16117 SOS 5911 HAS SOPS 5911 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3003.911
AT ITER 5946 NEW BEST:: SOT 16116 SOS 5918 HAS SOPS 5918 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3002.918
AT ITER 6090 NEW BEST:: SOT 16110 SOS 5920 HAS SOPS 5920 HAS SOUS 2991 HAS SOUPS 2991 WITH SCORE 2996.92
AT ITER 6147 NEW BEST:: SOT 16110 SOS 5914 HAS SOPS 5914 HAS SOUS 2975 HAS SOUPS 2975 WITH SCORE 2980.914
AT ITER 6207 NEW BEST:: SOT 16107 SOS 5908 HAS SOPS 5908 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2971.908
AT ITER 6264 NEW BEST:: SOT 16104 SOS 5902 HAS SOPS 5902 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2969.902
AT ITER 6320 NEW BEST:: SOT 16103 SOS 5901 HAS SOPS 5901 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2969.901
AT ITER 6427 NEW BEST:: SOT 16100 SOS 5880 HAS SOPS 5880 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2963.88
AT ITER 6474 NEW BEST:: SOT 16093 SOS 5868 HAS SOPS 5868 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2952.868
AT ITER 6520 NEW BEST:: SOT 16089 SOS 5863 HAS SOPS 5863 HAS SOUS 2942 HAS SOUPS 2942 WITH SCORE 2947.863
AT ITER 6553 NEW BEST:: SOT 16087 SOS 5860 HAS SOPS 5860 HAS SOUS 2939 HAS SOUPS 2939 WITH SCORE 2944.86
AT ITER 6668 NEW BEST:: SOT 16089 SOS 5857 HAS SOPS 5857 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2941.857
AT ITER 6826 NEW BEST:: SOT 16085 SOS 5822 HAS SOPS 5822 HAS SOUS 2923 HAS SOUPS 2923 WITH SCORE 2928.822
AT ITER 6936 NEW BEST:: SOT 16081 SOS 5824 HAS SOPS 5824 HAS SOUS 2915 HAS SOUPS 2915 WITH SCORE 2920.824
AT ITER 6986 NEW BEST:: SOT 16071 SOS 5814 HAS SOPS 5814 HAS SOUS 2909 HAS SOUPS 2909 WITH SCORE 2914.814
AT ITER 6988 NEW BEST:: SOT 16063 SOS 5806 HAS SOPS 5806 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2903.806
AT ITER 7063 NEW BEST:: SOT 16063 SOS 5806 HAS SOPS 5806 HAS SOUS 2897 HAS SOUPS 2897 WITH SCORE 2902.806
AT ITER 7113 NEW BEST:: SOT 16066 SOS 5811 HAS SOPS 5811 HAS SOUS 2892 HAS SOUPS 2892 WITH SCORE 2897.811
AT ITER 7126 NEW BEST:: SOT 16064 SOS 5807 HAS SOPS 5807 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2896.807
AT ITER 7200 NEW BEST:: SOT 16064 SOS 5801 HAS SOPS 5801 HAS SOUS 2888 HAS SOUPS 2888 WITH SCORE 2893.801
AT ITER 7248 NEW BEST:: SOT 16076 SOS 5765 HAS SOPS 5765 HAS SOUS 2888 HAS SOUPS 2888 WITH SCORE 2893.765
AT ITER 7343 NEW BEST:: SOT 16076 SOS 5761 HAS SOPS 5761 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2889.761
AT ITER 7426 NEW BEST:: SOT 16076 SOS 5759 HAS SOPS 5759 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2889.759
AT ITER 7464 NEW BEST:: SOT 16076 SOS 5758 HAS SOPS 5758 HAS SOUS 2883 HAS SOUPS 2883 WITH SCORE 2888.758
AT ITER 7476 NEW BEST:: SOT 16074 SOS 5756 HAS SOPS 5756 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2885.756
AT ITER 7633 NEW BEST:: SOT 16072 SOS 5742 HAS SOPS 5742 HAS SOUS 2879 HAS SOUPS 2879 WITH SCORE 2884.742
AT ITER 7687 NEW BEST:: SOT 16073 SOS 5759 HAS SOPS 5759 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2876.759
AT ITER 7811 NEW BEST:: SOT 16071 SOS 5757 HAS SOPS 5757 HAS SOUS 2869 HAS SOUPS 2869 WITH SCORE 2874.757
AT ITER 7896 NEW BEST:: SOT 16075 SOS 5757 HAS SOPS 5757 HAS SOUS 2865 HAS SOUPS 2865 WITH SCORE 2870.757
AT ITER 7952 NEW BEST:: SOT 16075 SOS 5743 HAS SOPS 5743 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2868.743
AT ITER 7973 NEW BEST:: SOT 16075 SOS 5739 HAS SOPS 5739 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2868.739
AT ITER 8038 NEW BEST:: SOT 16074 SOS 5735 HAS SOPS 5735 HAS SOUS 2860 HAS SOUPS 2860 WITH SCORE 2865.735
AT ITER 8062 NEW BEST:: SOT 16068 SOS 5727 HAS SOPS 5727 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2859.727
AT ITER 8103 NEW BEST:: SOT 16065 SOS 5721 HAS SOPS 5721 HAS SOUS 2849 HAS SOUPS 2849 WITH SCORE 2854.721
AT ITER 8178 NEW BEST:: SOT 16061 SOS 5713 HAS SOPS 5713 HAS SOUS 2841 HAS SOUPS 2841 WITH SCORE 2846.713
AT ITER 8187 NEW BEST:: SOT 16061 SOS 5712 HAS SOPS 5712 HAS SOUS 2841 HAS SOUPS 2841 WITH SCORE 2846.712
AT ITER 8264 NEW BEST:: SOT 16048 SOS 5698 HAS SOPS 5698 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2829.698
AT ITER 8400 NEW BEST:: SOT 16031 SOS 5676 HAS SOPS 5676 HAS SOUS 2791 HAS SOUPS 2791 WITH SCORE 2796.676
AT ITER 8440 NEW BEST:: SOT 16026 SOS 5671 HAS SOPS 5671 HAS SOUS 2786 HAS SOUPS 2786 WITH SCORE 2791.671
AT ITER 8465 NEW BEST:: SOT 16024 SOS 5669 HAS SOPS 5669 HAS SOUS 2785 HAS SOUPS 2785 WITH SCORE 2790.669
AT ITER 8510 NEW BEST:: SOT 16023 SOS 5653 HAS SOPS 5653 HAS SOUS 2777 HAS SOUPS 2777 WITH SCORE 2782.653
AT ITER 8596 NEW BEST:: SOT 16020 SOS 5649 HAS SOPS 5649 HAS SOUS 2767 HAS SOUPS 2767 WITH SCORE 2772.649
AT ITER 8597 NEW BEST:: SOT 16018 SOS 5648 HAS SOPS 5648 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2771.648
AT ITER 8671 NEW BEST:: SOT 16019 SOS 5649 HAS SOPS 5649 HAS SOUS 2755 HAS SOUPS 2755 WITH SCORE 2760.649
AT ITER 8693 NEW BEST:: SOT 16019 SOS 5649 HAS SOPS 5649 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2759.649
AT ITER 8772 NEW BEST:: SOT 16019 SOS 5643 HAS SOPS 5643 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2759.643
AT ITER 8780 NEW BEST:: SOT 16014 SOS 5638 HAS SOPS 5638 HAS SOUS 2749 HAS SOUPS 2749 WITH SCORE 2754.638
AT ITER 8878 NEW BEST:: SOT 16012 SOS 5636 HAS SOPS 5636 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2750.636
AT ITER 8893 NEW BEST:: SOT 16011 SOS 5632 HAS SOPS 5632 HAS SOUS 2741 HAS SOUPS 2741 WITH SCORE 2746.632
AT ITER 8933 NEW BEST:: SOT 16010 SOS 5625 HAS SOPS 5625 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2740.625
AT ITER 8944 NEW BEST:: SOT 16008 SOS 5617 HAS SOPS 5617 HAS SOUS 2733 HAS SOUPS 2733 WITH SCORE 2738.617
AT ITER 9339 NEW BEST:: SOT 16004 SOS 5609 HAS SOPS 5609 HAS SOUS 2713 HAS SOUPS 2713 WITH SCORE 2718.609
AT ITER 9347 NEW BEST:: SOT 16000 SOS 5603 HAS SOPS 5603 HAS SOUS 2701 HAS SOUPS 2701 WITH SCORE 2706.603
AT ITER 9389 NEW BEST:: SOT 16002 SOS 5603 HAS SOPS 5603 HAS SOUS 2700 HAS SOUPS 2700 WITH SCORE 2705.603
AT ITER 9494 NEW BEST:: SOT 16000 SOS 5600 HAS SOPS 5600 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2699.6
AT ITER 9614 NEW BEST:: SOT 15998 SOS 5594 HAS SOPS 5594 HAS SOUS 2691 HAS SOUPS 2691 WITH SCORE 2696.594
AT ITER 9655 NEW BEST:: SOT 15998 SOS 5588 HAS SOPS 5588 HAS SOUS 2685 HAS SOUPS 2685 WITH SCORE 2690.588
AT ITER 9859 NEW BEST:: SOT 15990 SOS 5580 HAS SOPS 5580 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2682.58
AT ITER 9892 NEW BEST:: SOT 15990 SOS 5580 HAS SOPS 5580 HAS SOUS 2674 HAS SOUPS 2674 WITH SCORE 2679.58
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393356 kB
MemFree: 208972 kB
After kill :
MemTotal: 16393356 kB
MemFree: 16290972 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="ShieldRVs-PT-010A"
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 ShieldRVs-PT-010A, 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 r427-tajo-167905979200088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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