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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 19K Feb 26 14:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 26 14:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 26K Feb 26 14:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 113K Feb 26 14:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 46K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 65K Feb 26 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 340K Feb 26 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 75K Feb 26 14:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 324K Feb 26 14:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.1K Feb 25 17:24 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 1679310854333

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-Z2T3N08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 11:14:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 11:14:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 11:14:16] [INFO ] Load time of PNML (sax parser for PT used): 50 ms
[2023-03-20 11:14:16] [INFO ] Transformed 140 places.
[2023-03-20 11:14:16] [INFO ] Transformed 216 transitions.
[2023-03-20 11:14:16] [INFO ] Parsed PT model containing 140 places and 216 transitions and 680 arcs in 390 ms.
[2023-03-20 11:14:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 140 places, 216 transitions and 680 arcs took 6 ms.
Total runtime 436 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z2T3N08
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 1 NEW BEST:: SOT 24080 SOS 17644 HAS SOPS 17644 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11200.644
AT ITER 9 NEW BEST:: SOT 24038 SOS 17560 HAS SOPS 17560 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11169.56
AT ITER 10 NEW BEST:: SOT 24018 SOS 17520 HAS SOPS 17520 HAS SOUS 11046 HAS SOUPS 11046 WITH SCORE 11063.52
AT ITER 12 NEW BEST:: SOT 24018 SOS 17513 HAS SOPS 17513 HAS SOUS 11039 HAS SOUPS 11039 WITH SCORE 11056.513
AT ITER 13 NEW BEST:: SOT 23961 SOS 17606 HAS SOPS 17606 HAS SOUS 11012 HAS SOUPS 11012 WITH SCORE 11029.606
AT ITER 19 NEW BEST:: SOT 23942 SOS 17568 HAS SOPS 17568 HAS SOUS 10958 HAS SOUPS 10958 WITH SCORE 10975.568
AT ITER 21 NEW BEST:: SOT 23942 SOS 17547 HAS SOPS 17547 HAS SOUS 10937 HAS SOUPS 10937 WITH SCORE 10954.547
AT ITER 22 NEW BEST:: SOT 23925 SOS 17530 HAS SOPS 17530 HAS SOUS 10937 HAS SOUPS 10937 WITH SCORE 10954.53
AT ITER 28 NEW BEST:: SOT 23944 SOS 17479 HAS SOPS 17479 HAS SOUS 10932 HAS SOUPS 10932 WITH SCORE 10949.479
AT ITER 29 NEW BEST:: SOT 19918 SOS 14721 HAS SOPS 14721 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8441.721
AT ITER 30 NEW BEST:: SOT 19823 SOS 14529 HAS SOPS 14529 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8346.529
AT ITER 33 NEW BEST:: SOT 19692 SOS 14340 HAS SOPS 14340 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8155.34
AT ITER 35 NEW BEST:: SOT 19658 SOS 14306 HAS SOPS 14306 HAS SOUS 8063 HAS SOUPS 8063 WITH SCORE 8077.306
AT ITER 36 NEW BEST:: SOT 19681 SOS 14360 HAS SOPS 14360 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8069.36
AT ITER 38 NEW BEST:: SOT 19626 SOS 14271 HAS SOPS 14271 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8031.271
AT ITER 39 NEW BEST:: SOT 19532 SOS 14208 HAS SOPS 14208 HAS SOUS 7991 HAS SOUPS 7991 WITH SCORE 8005.208
AT ITER 43 NEW BEST:: SOT 19487 SOS 14107 HAS SOPS 14107 HAS SOUS 7944 HAS SOUPS 7944 WITH SCORE 7958.107
AT ITER 47 NEW BEST:: SOT 19369 SOS 13989 HAS SOPS 13989 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7839.989
AT ITER 48 NEW BEST:: SOT 19366 SOS 13986 HAS SOPS 13986 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7830.986
AT ITER 50 NEW BEST:: SOT 19324 SOS 13937 HAS SOPS 13937 HAS SOUS 7750 HAS SOUPS 7750 WITH SCORE 7763.937
AT ITER 52 NEW BEST:: SOT 19292 SOS 13915 HAS SOPS 13915 HAS SOUS 7708 HAS SOUPS 7708 WITH SCORE 7721.915
AT ITER 55 NEW BEST:: SOT 19292 SOS 13915 HAS SOPS 13915 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7719.915
AT ITER 56 NEW BEST:: SOT 19263 SOS 13857 HAS SOPS 13857 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7690.857
AT ITER 59 NEW BEST:: SOT 19228 SOS 13803 HAS SOPS 13803 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7667.803
AT ITER 67 NEW BEST:: SOT 19201 SOS 13761 HAS SOPS 13761 HAS SOUS 7597 HAS SOUPS 7597 WITH SCORE 7610.761
AT ITER 68 NEW BEST:: SOT 19201 SOS 13761 HAS SOPS 13761 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7600.761
AT ITER 70 NEW BEST:: SOT 19203 SOS 13763 HAS SOPS 13763 HAS SOUS 7581 HAS SOUPS 7581 WITH SCORE 7594.763
AT ITER 73 NEW BEST:: SOT 19311 SOS 13835 HAS SOPS 13835 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7575.835
AT ITER 74 NEW BEST:: SOT 19260 SOS 13719 HAS SOPS 13719 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7517.719
AT ITER 75 NEW BEST:: SOT 19245 SOS 13669 HAS SOPS 13669 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7487.669
AT ITER 81 NEW BEST:: SOT 19246 SOS 13737 HAS SOPS 13737 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7444.737
AT ITER 82 NEW BEST:: SOT 19238 SOS 13666 HAS SOPS 13666 HAS SOUS 7420 HAS SOUPS 7420 WITH SCORE 7433.666
AT ITER 84 NEW BEST:: SOT 19238 SOS 13671 HAS SOPS 13671 HAS SOUS 7415 HAS SOUPS 7415 WITH SCORE 7428.671
AT ITER 86 NEW BEST:: SOT 19201 SOS 13597 HAS SOPS 13597 HAS SOUS 7415 HAS SOUPS 7415 WITH SCORE 7428.597
AT ITER 89 NEW BEST:: SOT 18953 SOS 13222 HAS SOPS 13222 HAS SOUS 7141 HAS SOUPS 7141 WITH SCORE 7154.222
AT ITER 91 NEW BEST:: SOT 18933 SOS 13149 HAS SOPS 13149 HAS SOUS 7077 HAS SOUPS 7077 WITH SCORE 7090.149
AT ITER 97 NEW BEST:: SOT 18954 SOS 13146 HAS SOPS 13146 HAS SOUS 7037 HAS SOUPS 7037 WITH SCORE 7050.146
AT ITER 103 NEW BEST:: SOT 18912 SOS 13112 HAS SOPS 13112 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7011.112
AT ITER 107 NEW BEST:: SOT 18861 SOS 13040 HAS SOPS 13040 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6923.04
AT ITER 109 NEW BEST:: SOT 18848 SOS 13031 HAS SOPS 13031 HAS SOUS 6907 HAS SOUPS 6907 WITH SCORE 6920.031
AT ITER 120 NEW BEST:: SOT 18842 SOS 13135 HAS SOPS 13135 HAS SOUS 6870 HAS SOUPS 6870 WITH SCORE 6883.135
AT ITER 121 NEW BEST:: SOT 18805 SOS 13094 HAS SOPS 13094 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6869.094
AT ITER 129 NEW BEST:: SOT 18805 SOS 13094 HAS SOPS 13094 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6867.094
AT ITER 132 NEW BEST:: SOT 18761 SOS 13006 HAS SOPS 13006 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6845.006
AT ITER 133 NEW BEST:: SOT 18767 SOS 13012 HAS SOPS 13012 HAS SOUS 6805 HAS SOUPS 6805 WITH SCORE 6818.012
AT ITER 136 NEW BEST:: SOT 18749 SOS 13003 HAS SOPS 13003 HAS SOUS 6787 HAS SOUPS 6787 WITH SCORE 6800.003
AT ITER 141 NEW BEST:: SOT 18707 SOS 12961 HAS SOPS 12961 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6772.961
AT ITER 142 NEW BEST:: SOT 18684 SOS 12921 HAS SOPS 12921 HAS SOUS 6725 HAS SOUPS 6725 WITH SCORE 6737.921
AT ITER 143 NEW BEST:: SOT 18702 SOS 12919 HAS SOPS 12919 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6665.919
AT ITER 156 NEW BEST:: SOT 18696 SOS 12878 HAS SOPS 12878 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6653.878
AT ITER 168 NEW BEST:: SOT 18696 SOS 12853 HAS SOPS 12853 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6638.853
AT ITER 177 NEW BEST:: SOT 18695 SOS 12854 HAS SOPS 12854 HAS SOUS 6625 HAS SOUPS 6625 WITH SCORE 6637.854
AT ITER 179 NEW BEST:: SOT 18671 SOS 12842 HAS SOPS 12842 HAS SOUS 6625 HAS SOUPS 6625 WITH SCORE 6637.842
AT ITER 180 NEW BEST:: SOT 18646 SOS 12790 HAS SOPS 12790 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6626.79
AT ITER 183 NEW BEST:: SOT 18646 SOS 12772 HAS SOPS 12772 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6626.772
AT ITER 184 NEW BEST:: SOT 18624 SOS 12772 HAS SOPS 12772 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6604.772
AT ITER 185 NEW BEST:: SOT 18618 SOS 12765 HAS SOPS 12765 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6554.765
AT ITER 190 NEW BEST:: SOT 18580 SOS 12708 HAS SOPS 12708 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6516.708
AT ITER 209 NEW BEST:: SOT 18500 SOS 12504 HAS SOPS 12504 HAS SOUS 6427 HAS SOUPS 6427 WITH SCORE 6439.504
AT ITER 210 NEW BEST:: SOT 18476 SOS 12471 HAS SOPS 12471 HAS SOUS 6385 HAS SOUPS 6385 WITH SCORE 6397.471
AT ITER 211 NEW BEST:: SOT 18470 SOS 12465 HAS SOPS 12465 HAS SOUS 6379 HAS SOUPS 6379 WITH SCORE 6391.465
AT ITER 220 NEW BEST:: SOT 18359 SOS 12323 HAS SOPS 12323 HAS SOUS 6309 HAS SOUPS 6309 WITH SCORE 6321.323
AT ITER 223 NEW BEST:: SOT 18357 SOS 12319 HAS SOPS 12319 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6318.319
AT ITER 242 NEW BEST:: SOT 18418 SOS 12422 HAS SOPS 12422 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6286.422
AT ITER 243 NEW BEST:: SOT 18412 SOS 12416 HAS SOPS 12416 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6280.416
AT ITER 249 NEW BEST:: SOT 18404 SOS 12404 HAS SOPS 12404 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6266.404
AT ITER 251 NEW BEST:: SOT 18297 SOS 12176 HAS SOPS 12176 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6162.176
AT ITER 256 NEW BEST:: SOT 18286 SOS 12184 HAS SOPS 12184 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6150.184
AT ITER 261 NEW BEST:: SOT 18268 SOS 12148 HAS SOPS 12148 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6114.148
AT ITER 272 NEW BEST:: SOT 18268 SOS 12148 HAS SOPS 12148 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6109.148
AT ITER 278 NEW BEST:: SOT 18250 SOS 12130 HAS SOPS 12130 HAS SOUS 6088 HAS SOUPS 6088 WITH SCORE 6100.13
AT ITER 288 NEW BEST:: SOT 18257 SOS 12133 HAS SOPS 12133 HAS SOUS 6085 HAS SOUPS 6085 WITH SCORE 6097.133
AT ITER 289 NEW BEST:: SOT 18257 SOS 12154 HAS SOPS 12154 HAS SOUS 6078 HAS SOUPS 6078 WITH SCORE 6090.154
AT ITER 292 NEW BEST:: SOT 18276 SOS 11507 HAS SOPS 11507 HAS SOUS 6051 HAS SOUPS 6051 WITH SCORE 6062.507
AT ITER 295 NEW BEST:: SOT 18244 SOS 11476 HAS SOPS 11476 HAS SOUS 6041 HAS SOUPS 6041 WITH SCORE 6052.476
AT ITER 305 NEW BEST:: SOT 18244 SOS 11388 HAS SOPS 11388 HAS SOUS 5930 HAS SOUPS 5930 WITH SCORE 5941.388
AT ITER 310 NEW BEST:: SOT 18222 SOS 11366 HAS SOPS 11366 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5935.366
AT ITER 313 NEW BEST:: SOT 18210 SOS 11342 HAS SOPS 11342 HAS SOUS 5904 HAS SOUPS 5904 WITH SCORE 5915.342
AT ITER 323 NEW BEST:: SOT 18176 SOS 11291 HAS SOPS 11291 HAS SOUS 5887 HAS SOUPS 5887 WITH SCORE 5898.291
AT ITER 327 NEW BEST:: SOT 18172 SOS 11283 HAS SOPS 11283 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 5894.283
AT ITER 332 NEW BEST:: SOT 18141 SOS 11240 HAS SOPS 11240 HAS SOUS 5874 HAS SOUPS 5874 WITH SCORE 5885.24
AT ITER 345 NEW BEST:: SOT 18117 SOS 11140 HAS SOPS 11140 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5873.14
AT ITER 349 NEW BEST:: SOT 18117 SOS 11147 HAS SOPS 11147 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5871.147
AT ITER 355 NEW BEST:: SOT 18071 SOS 11020 HAS SOPS 11020 HAS SOUS 5806 HAS SOUPS 5806 WITH SCORE 5817.02
AT ITER 359 NEW BEST:: SOT 18067 SOS 11069 HAS SOPS 11069 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5815.069
AT ITER 360 NEW BEST:: SOT 18070 SOS 11025 HAS SOPS 11025 HAS SOUS 5760 HAS SOUPS 5760 WITH SCORE 5771.025
AT ITER 380 NEW BEST:: SOT 18046 SOS 10972 HAS SOPS 10972 HAS SOUS 5751 HAS SOUPS 5751 WITH SCORE 5761.972
AT ITER 381 NEW BEST:: SOT 18043 SOS 10969 HAS SOPS 10969 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5760.969
AT ITER 401 NEW BEST:: SOT 18033 SOS 10959 HAS SOPS 10959 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5750.959
AT ITER 408 NEW BEST:: SOT 18069 SOS 10968 HAS SOPS 10968 HAS SOUS 5722 HAS SOUPS 5722 WITH SCORE 5732.968
AT ITER 422 NEW BEST:: SOT 17997 SOS 10898 HAS SOPS 10898 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5726.898
AT ITER 433 NEW BEST:: SOT 17996 SOS 10897 HAS SOPS 10897 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5724.897
AT ITER 434 NEW BEST:: SOT 17978 SOS 10785 HAS SOPS 10785 HAS SOUS 5678 HAS SOUPS 5678 WITH SCORE 5688.785
AT ITER 442 NEW BEST:: SOT 17887 SOS 10694 HAS SOPS 10694 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5626.694
AT ITER 446 NEW BEST:: SOT 17886 SOS 10693 HAS SOPS 10693 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5625.693
AT ITER 457 NEW BEST:: SOT 17868 SOS 10675 HAS SOPS 10675 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5615.675
AT ITER 462 NEW BEST:: SOT 17843 SOS 10646 HAS SOPS 10646 HAS SOUS 5564 HAS SOUPS 5564 WITH SCORE 5574.646
AT ITER 463 NEW BEST:: SOT 17835 SOS 10638 HAS SOPS 10638 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5540.638
AT ITER 464 NEW BEST:: SOT 17828 SOS 10618 HAS SOPS 10618 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5500.618
AT ITER 479 NEW BEST:: SOT 17809 SOS 10569 HAS SOPS 10569 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5494.569
AT ITER 484 NEW BEST:: SOT 17797 SOS 10525 HAS SOPS 10525 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5494.525
AT ITER 494 NEW BEST:: SOT 17777 SOS 10509 HAS SOPS 10509 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5482.509
AT ITER 497 NEW BEST:: SOT 17774 SOS 10509 HAS SOPS 10509 HAS SOUS 5469 HAS SOUPS 5469 WITH SCORE 5479.509
AT ITER 503 NEW BEST:: SOT 17767 SOS 10495 HAS SOPS 10495 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5465.495
AT ITER 510 NEW BEST:: SOT 17755 SOS 10457 HAS SOPS 10457 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5454.457
AT ITER 527 NEW BEST:: SOT 17755 SOS 10439 HAS SOPS 10439 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5442.439
AT ITER 537 NEW BEST:: SOT 17686 SOS 10370 HAS SOPS 10370 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5403.37
AT ITER 540 NEW BEST:: SOT 17682 SOS 10366 HAS SOPS 10366 HAS SOUS 5387 HAS SOUPS 5387 WITH SCORE 5397.366
AT ITER 541 NEW BEST:: SOT 17682 SOS 10353 HAS SOPS 10353 HAS SOUS 5387 HAS SOUPS 5387 WITH SCORE 5397.353
AT ITER 548 NEW BEST:: SOT 17679 SOS 10344 HAS SOPS 10344 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5394.344
AT ITER 550 NEW BEST:: SOT 17662 SOS 10313 HAS SOPS 10313 HAS SOUS 5365 HAS SOUPS 5365 WITH SCORE 5375.313
AT ITER 560 NEW BEST:: SOT 17650 SOS 10305 HAS SOPS 10305 HAS SOUS 5353 HAS SOUPS 5353 WITH SCORE 5363.305
AT ITER 568 NEW BEST:: SOT 17626 SOS 10253 HAS SOPS 10253 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5291.253
AT ITER 570 NEW BEST:: SOT 17627 SOS 10207 HAS SOPS 10207 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5291.207
AT ITER 577 NEW BEST:: SOT 17618 SOS 10196 HAS SOPS 10196 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5281.196
AT ITER 592 NEW BEST:: SOT 17623 SOS 10128 HAS SOPS 10128 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5252.128
AT ITER 594 NEW BEST:: SOT 17609 SOS 10072 HAS SOPS 10072 HAS SOUS 5212 HAS SOUPS 5212 WITH SCORE 5222.072
AT ITER 595 NEW BEST:: SOT 17607 SOS 10072 HAS SOPS 10072 HAS SOUS 5208 HAS SOUPS 5208 WITH SCORE 5218.072
AT ITER 605 NEW BEST:: SOT 17588 SOS 10015 HAS SOPS 10015 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5199.015
AT ITER 612 NEW BEST:: SOT 17583 SOS 9975 HAS SOPS 9975 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5198.975
AT ITER 613 NEW BEST:: SOT 17516 SOS 9901 HAS SOPS 9901 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5158.901
AT ITER 614 NEW BEST:: SOT 17516 SOS 9879 HAS SOPS 9879 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5136.879
AT ITER 616 NEW BEST:: SOT 17468 SOS 9855 HAS SOPS 9855 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5112.855
AT ITER 631 NEW BEST:: SOT 17458 SOS 9835 HAS SOPS 9835 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5102.835
AT ITER 645 NEW BEST:: SOT 17347 SOS 9768 HAS SOPS 9768 HAS SOUS 5088 HAS SOUPS 5088 WITH SCORE 5097.768
AT ITER 658 NEW BEST:: SOT 17342 SOS 9758 HAS SOPS 9758 HAS SOUS 5083 HAS SOUPS 5083 WITH SCORE 5092.758
AT ITER 670 NEW BEST:: SOT 17342 SOS 9749 HAS SOPS 9749 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5083.749
AT ITER 709 NEW BEST:: SOT 17341 SOS 9748 HAS SOPS 9748 HAS SOUS 5072 HAS SOUPS 5072 WITH SCORE 5081.748
AT ITER 712 NEW BEST:: SOT 17348 SOS 9758 HAS SOPS 9758 HAS SOUS 5069 HAS SOUPS 5069 WITH SCORE 5078.758
AT ITER 735 NEW BEST:: SOT 17352 SOS 9758 HAS SOPS 9758 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5076.758
AT ITER 754 NEW BEST:: SOT 17337 SOS 9640 HAS SOPS 9640 HAS SOUS 4997 HAS SOUPS 4997 WITH SCORE 5006.64
AT ITER 765 NEW BEST:: SOT 17317 SOS 9607 HAS SOPS 9607 HAS SOUS 4987 HAS SOUPS 4987 WITH SCORE 4996.607
AT ITER 780 NEW BEST:: SOT 17311 SOS 9599 HAS SOPS 9599 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4992.599
AT ITER 784 NEW BEST:: SOT 17280 SOS 9571 HAS SOPS 9571 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4954.571
AT ITER 805 NEW BEST:: SOT 17280 SOS 9561 HAS SOPS 9561 HAS SOUS 4940 HAS SOUPS 4940 WITH SCORE 4949.561
AT ITER 808 NEW BEST:: SOT 17276 SOS 9557 HAS SOPS 9557 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4947.557
AT ITER 818 NEW BEST:: SOT 17274 SOS 9555 HAS SOPS 9555 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4947.555
AT ITER 823 NEW BEST:: SOT 17268 SOS 9549 HAS SOPS 9549 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4945.549
AT ITER 826 NEW BEST:: SOT 17267 SOS 9548 HAS SOPS 9548 HAS SOUS 4934 HAS SOUPS 4934 WITH SCORE 4943.548
AT ITER 830 NEW BEST:: SOT 17282 SOS 9524 HAS SOPS 9524 HAS SOUS 4932 HAS SOUPS 4932 WITH SCORE 4941.524
AT ITER 842 NEW BEST:: SOT 17272 SOS 9529 HAS SOPS 9529 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4936.529
AT ITER 851 NEW BEST:: SOT 17285 SOS 9479 HAS SOPS 9479 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4928.479
AT ITER 854 NEW BEST:: SOT 17255 SOS 9393 HAS SOPS 9393 HAS SOUS 4849 HAS SOUPS 4849 WITH SCORE 4858.393
AT ITER 856 NEW BEST:: SOT 17238 SOS 9393 HAS SOPS 9393 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4824.393
AT ITER 866 NEW BEST:: SOT 17239 SOS 9392 HAS SOPS 9392 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4824.392
AT ITER 894 NEW BEST:: SOT 17234 SOS 9392 HAS SOPS 9392 HAS SOUS 4809 HAS SOUPS 4809 WITH SCORE 4818.392
AT ITER 914 NEW BEST:: SOT 17212 SOS 9327 HAS SOPS 9327 HAS SOUS 4772 HAS SOUPS 4772 WITH SCORE 4781.327
AT ITER 931 NEW BEST:: SOT 17203 SOS 9255 HAS SOPS 9255 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4751.255
AT ITER 956 NEW BEST:: SOT 17215 SOS 9301 HAS SOPS 9301 HAS SOUS 4735 HAS SOUPS 4735 WITH SCORE 4744.301
AT ITER 965 NEW BEST:: SOT 17212 SOS 9292 HAS SOPS 9292 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4738.292
AT ITER 967 NEW BEST:: SOT 17203 SOS 9264 HAS SOPS 9264 HAS SOUS 4715 HAS SOUPS 4715 WITH SCORE 4724.264
AT ITER 968 NEW BEST:: SOT 17197 SOS 9252 HAS SOPS 9252 HAS SOUS 4709 HAS SOUPS 4709 WITH SCORE 4718.252
AT ITER 976 NEW BEST:: SOT 17155 SOS 9667 HAS SOPS 9667 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4717.667
AT ITER 979 NEW BEST:: SOT 17129 SOS 9641 HAS SOPS 9641 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4691.641
AT ITER 992 NEW BEST:: SOT 17127 SOS 9641 HAS SOPS 9641 HAS SOUS 4680 HAS SOUPS 4680 WITH SCORE 4689.641
AT ITER 1008 NEW BEST:: SOT 17173 SOS 9766 HAS SOPS 9766 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4671.766
AT ITER 1014 NEW BEST:: SOT 17173 SOS 9724 HAS SOPS 9724 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4671.724
AT ITER 1027 NEW BEST:: SOT 17169 SOS 9716 HAS SOPS 9716 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4663.716
AT ITER 1036 NEW BEST:: SOT 17159 SOS 9706 HAS SOPS 9706 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4647.706
AT ITER 1045 NEW BEST:: SOT 17129 SOS 9658 HAS SOPS 9658 HAS SOUS 4608 HAS SOUPS 4608 WITH SCORE 4617.658
AT ITER 1057 NEW BEST:: SOT 17129 SOS 9650 HAS SOPS 9650 HAS SOUS 4600 HAS SOUPS 4600 WITH SCORE 4609.65
AT ITER 1059 NEW BEST:: SOT 17116 SOS 9646 HAS SOPS 9646 HAS SOUS 4590 HAS SOUPS 4590 WITH SCORE 4599.646
AT ITER 1066 NEW BEST:: SOT 17108 SOS 9634 HAS SOPS 9634 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4587.634
AT ITER 1068 NEW BEST:: SOT 17108 SOS 9634 HAS SOPS 9634 HAS SOUS 4576 HAS SOUPS 4576 WITH SCORE 4585.634
AT ITER 1085 NEW BEST:: SOT 17138 SOS 9618 HAS SOPS 9618 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4567.618
AT ITER 1111 NEW BEST:: SOT 17135 SOS 9615 HAS SOPS 9615 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4567.615
AT ITER 1134 NEW BEST:: SOT 17130 SOS 9610 HAS SOPS 9610 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4562.61
AT ITER 1167 NEW BEST:: SOT 17130 SOS 9610 HAS SOPS 9610 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4559.61
AT ITER 1192 NEW BEST:: SOT 17135 SOS 9615 HAS SOPS 9615 HAS SOUS 4549 HAS SOUPS 4549 WITH SCORE 4558.615
AT ITER 1195 NEW BEST:: SOT 17140 SOS 9617 HAS SOPS 9617 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4553.617
AT ITER 1257 NEW BEST:: SOT 17136 SOS 9609 HAS SOPS 9609 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4550.609
AT ITER 1262 NEW BEST:: SOT 17131 SOS 9582 HAS SOPS 9582 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4534.582
AT ITER 1274 NEW BEST:: SOT 17131 SOS 9582 HAS SOPS 9582 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4533.582
AT ITER 1279 NEW BEST:: SOT 17108 SOS 9560 HAS SOPS 9560 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4496.56
AT ITER 1301 NEW BEST:: SOT 17090 SOS 9524 HAS SOPS 9524 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4469.524
AT ITER 1304 NEW BEST:: SOT 17090 SOS 9516 HAS SOPS 9516 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4469.516
AT ITER 1306 NEW BEST:: SOT 17089 SOS 9514 HAS SOPS 9514 HAS SOUS 4459 HAS SOUPS 4459 WITH SCORE 4468.514
AT ITER 1325 NEW BEST:: SOT 17089 SOS 9514 HAS SOPS 9514 HAS SOUS 4449 HAS SOUPS 4449 WITH SCORE 4458.514
AT ITER 1326 NEW BEST:: SOT 17072 SOS 9493 HAS SOPS 9493 HAS SOUS 4431 HAS SOUPS 4431 WITH SCORE 4440.493
AT ITER 1347 NEW BEST:: SOT 17068 SOS 9485 HAS SOPS 9485 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4432.485
AT ITER 1349 NEW BEST:: SOT 17039 SOS 9521 HAS SOPS 9521 HAS SOUS 4361 HAS SOUPS 4361 WITH SCORE 4370.521
AT ITER 1351 NEW BEST:: SOT 17038 SOS 9520 HAS SOPS 9520 HAS SOUS 4360 HAS SOUPS 4360 WITH SCORE 4369.52
AT ITER 1366 NEW BEST:: SOT 17038 SOS 9520 HAS SOPS 9520 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4366.52
AT ITER 1373 NEW BEST:: SOT 16976 SOS 9460 HAS SOPS 9460 HAS SOUS 4329 HAS SOUPS 4329 WITH SCORE 4338.46
AT ITER 1391 NEW BEST:: SOT 16970 SOS 9442 HAS SOPS 9442 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4320.442
AT ITER 1393 NEW BEST:: SOT 16950 SOS 9426 HAS SOPS 9426 HAS SOUS 4297 HAS SOUPS 4297 WITH SCORE 4306.426
AT ITER 1395 NEW BEST:: SOT 16952 SOS 9426 HAS SOPS 9426 HAS SOUS 4295 HAS SOUPS 4295 WITH SCORE 4304.426
AT ITER 1402 NEW BEST:: SOT 16944 SOS 9408 HAS SOPS 9408 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4290.408
AT ITER 1433 NEW BEST:: SOT 16924 SOS 9368 HAS SOPS 9368 HAS SOUS 4271 HAS SOUPS 4271 WITH SCORE 4280.368
AT ITER 1447 NEW BEST:: SOT 16934 SOS 9357 HAS SOPS 9357 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4272.357
AT ITER 1463 NEW BEST:: SOT 16926 SOS 9345 HAS SOPS 9345 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4259.345
AT ITER 1464 NEW BEST:: SOT 16918 SOS 9329 HAS SOPS 9329 HAS SOUS 4244 HAS SOUPS 4244 WITH SCORE 4253.329
AT ITER 1497 NEW BEST:: SOT 16925 SOS 9343 HAS SOPS 9343 HAS SOUS 4240 HAS SOUPS 4240 WITH SCORE 4249.343
AT ITER 1498 NEW BEST:: SOT 16911 SOS 9329 HAS SOPS 9329 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4240.329
AT ITER 1521 NEW BEST:: SOT 16901 SOS 9293 HAS SOPS 9293 HAS SOUS 4230 HAS SOUPS 4230 WITH SCORE 4239.293
AT ITER 1526 NEW BEST:: SOT 16904 SOS 9289 HAS SOPS 9289 HAS SOUS 4224 HAS SOUPS 4224 WITH SCORE 4233.289
AT ITER 1549 NEW BEST:: SOT 16905 SOS 9289 HAS SOPS 9289 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4231.289
AT ITER 1551 NEW BEST:: SOT 16900 SOS 9284 HAS SOPS 9284 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4224.284
AT ITER 1565 NEW BEST:: SOT 16883 SOS 9277 HAS SOPS 9277 HAS SOUS 4202 HAS SOUPS 4202 WITH SCORE 4211.277
AT ITER 1570 NEW BEST:: SOT 16847 SOS 9215 HAS SOPS 9215 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4159.215
AT ITER 1581 NEW BEST:: SOT 16844 SOS 9213 HAS SOPS 9213 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4157.213
AT ITER 1639 NEW BEST:: SOT 16845 SOS 9211 HAS SOPS 9211 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4157.211
AT ITER 1665 NEW BEST:: SOT 16836 SOS 9196 HAS SOPS 9196 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4141.196
AT ITER 1708 NEW BEST:: SOT 16834 SOS 9195 HAS SOPS 9195 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4139.195
AT ITER 1718 NEW BEST:: SOT 16833 SOS 9193 HAS SOPS 9193 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4139.193
AT ITER 1722 NEW BEST:: SOT 16837 SOS 9177 HAS SOPS 9177 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4138.177
AT ITER 1736 NEW BEST:: SOT 16831 SOS 9171 HAS SOPS 9171 HAS SOUS 4113 HAS SOUPS 4113 WITH SCORE 4122.171
AT ITER 1776 NEW BEST:: SOT 16833 SOS 9164 HAS SOPS 9164 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4117.164
AT ITER 1777 NEW BEST:: SOT 16832 SOS 9165 HAS SOPS 9165 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4116.165
AT ITER 1781 NEW BEST:: SOT 16823 SOS 9146 HAS SOPS 9146 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4097.146
AT ITER 1859 NEW BEST:: SOT 16822 SOS 9132 HAS SOPS 9132 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4093.132
AT ITER 1869 NEW BEST:: SOT 16810 SOS 9108 HAS SOPS 9108 HAS SOUS 4071 HAS SOUPS 4071 WITH SCORE 4080.108
AT ITER 1896 NEW BEST:: SOT 16812 SOS 9103 HAS SOPS 9103 HAS SOUS 4071 HAS SOUPS 4071 WITH SCORE 4080.103
AT ITER 1914 NEW BEST:: SOT 16809 SOS 9100 HAS SOPS 9100 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4077.1
AT ITER 1955 NEW BEST:: SOT 16809 SOS 9095 HAS SOPS 9095 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4075.095
AT ITER 1963 NEW BEST:: SOT 16813 SOS 9104 HAS SOPS 9104 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4074.104
AT ITER 2002 NEW BEST:: SOT 16804 SOS 9086 HAS SOPS 9086 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4074.086
AT ITER 2032 NEW BEST:: SOT 16802 SOS 9078 HAS SOPS 9078 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4070.078
AT ITER 2036 NEW BEST:: SOT 16796 SOS 9083 HAS SOPS 9083 HAS SOUS 4060 HAS SOUPS 4060 WITH SCORE 4069.083
AT ITER 2039 NEW BEST:: SOT 16793 SOS 8883 HAS SOPS 8883 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4059.883
AT ITER 2066 NEW BEST:: SOT 16758 SOS 8902 HAS SOPS 8902 HAS SOUS 4040 HAS SOUPS 4040 WITH SCORE 4048.902
AT ITER 2093 NEW BEST:: SOT 16763 SOS 8901 HAS SOPS 8901 HAS SOUS 4017 HAS SOUPS 4017 WITH SCORE 4025.901
AT ITER 2107 NEW BEST:: SOT 16766 SOS 8893 HAS SOPS 8893 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4017.893
AT ITER 2142 NEW BEST:: SOT 16763 SOS 8897 HAS SOPS 8897 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4014.897
AT ITER 2148 NEW BEST:: SOT 16732 SOS 8853 HAS SOPS 8853 HAS SOUS 3980 HAS SOUPS 3980 WITH SCORE 3988.853
AT ITER 2165 NEW BEST:: SOT 16730 SOS 8852 HAS SOPS 8852 HAS SOUS 3979 HAS SOUPS 3979 WITH SCORE 3987.852
AT ITER 2191 NEW BEST:: SOT 16727 SOS 8850 HAS SOPS 8850 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3981.85
AT ITER 2198 NEW BEST:: SOT 16717 SOS 8896 HAS SOPS 8896 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3976.896
AT ITER 2214 NEW BEST:: SOT 16727 SOS 8902 HAS SOPS 8902 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3974.902
AT ITER 2223 NEW BEST:: SOT 16709 SOS 8890 HAS SOPS 8890 HAS SOUS 3948 HAS SOUPS 3948 WITH SCORE 3956.89
AT ITER 2241 NEW BEST:: SOT 16689 SOS 8875 HAS SOPS 8875 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3945.875
AT ITER 2246 NEW BEST:: SOT 16675 SOS 8847 HAS SOPS 8847 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3934.847
AT ITER 2247 NEW BEST:: SOT 16672 SOS 8841 HAS SOPS 8841 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3928.841
AT ITER 2355 NEW BEST:: SOT 16672 SOS 8838 HAS SOPS 8838 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3928.838
AT ITER 2414 NEW BEST:: SOT 16652 SOS 8818 HAS SOPS 8818 HAS SOUS 3887 HAS SOUPS 3887 WITH SCORE 3895.818
AT ITER 2416 NEW BEST:: SOT 16647 SOS 8803 HAS SOPS 8803 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3890.803
AT ITER 2426 NEW BEST:: SOT 16641 SOS 8793 HAS SOPS 8793 HAS SOUS 3881 HAS SOUPS 3881 WITH SCORE 3889.793
AT ITER 2429 NEW BEST:: SOT 16639 SOS 8792 HAS SOPS 8792 HAS SOUS 3881 HAS SOUPS 3881 WITH SCORE 3889.792
AT ITER 2433 NEW BEST:: SOT 16637 SOS 8797 HAS SOPS 8797 HAS SOUS 3874 HAS SOUPS 3874 WITH SCORE 3882.797
AT ITER 2452 NEW BEST:: SOT 16633 SOS 8775 HAS SOPS 8775 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3878.775
AT ITER 2501 NEW BEST:: SOT 16626 SOS 8768 HAS SOPS 8768 HAS SOUS 3863 HAS SOUPS 3863 WITH SCORE 3871.768
AT ITER 2606 NEW BEST:: SOT 16621 SOS 8737 HAS SOPS 8737 HAS SOUS 3850 HAS SOUPS 3850 WITH SCORE 3858.737
AT ITER 2632 NEW BEST:: SOT 16619 SOS 8733 HAS SOPS 8733 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3857.733
AT ITER 2671 NEW BEST:: SOT 16614 SOS 8728 HAS SOPS 8728 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3852.728
AT ITER 2712 NEW BEST:: SOT 16562 SOS 8676 HAS SOPS 8676 HAS SOUS 3792 HAS SOUPS 3792 WITH SCORE 3800.676
AT ITER 2728 NEW BEST:: SOT 16562 SOS 8687 HAS SOPS 8687 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3788.687
AT ITER 2742 NEW BEST:: SOT 16560 SOS 8683 HAS SOPS 8683 HAS SOUS 3779 HAS SOUPS 3779 WITH SCORE 3787.683
AT ITER 2763 NEW BEST:: SOT 16558 SOS 8681 HAS SOPS 8681 HAS SOUS 3777 HAS SOUPS 3777 WITH SCORE 3785.681
AT ITER 2796 NEW BEST:: SOT 16538 SOS 8621 HAS SOPS 8621 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3765.621
AT ITER 2826 NEW BEST:: SOT 16538 SOS 8618 HAS SOPS 8618 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3765.618
AT ITER 2830 NEW BEST:: SOT 16528 SOS 8587 HAS SOPS 8587 HAS SOUS 3742 HAS SOUPS 3742 WITH SCORE 3750.587
AT ITER 2859 NEW BEST:: SOT 16524 SOS 8531 HAS SOPS 8531 HAS SOUS 3684 HAS SOUPS 3684 WITH SCORE 3692.531
AT ITER 2871 NEW BEST:: SOT 16521 SOS 8528 HAS SOPS 8528 HAS SOUS 3681 HAS SOUPS 3681 WITH SCORE 3689.528
AT ITER 2910 NEW BEST:: SOT 16515 SOS 8524 HAS SOPS 8524 HAS SOUS 3680 HAS SOUPS 3680 WITH SCORE 3688.524
AT ITER 2918 NEW BEST:: SOT 16509 SOS 8518 HAS SOPS 8518 HAS SOUS 3674 HAS SOUPS 3674 WITH SCORE 3682.518
AT ITER 2956 NEW BEST:: SOT 16529 SOS 8542 HAS SOPS 8542 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3681.542
AT ITER 2969 NEW BEST:: SOT 16519 SOS 8512 HAS SOPS 8512 HAS SOUS 3653 HAS SOUPS 3653 WITH SCORE 3661.512
AT ITER 2972 NEW BEST:: SOT 16521 SOS 8506 HAS SOPS 8506 HAS SOUS 3653 HAS SOUPS 3653 WITH SCORE 3661.506
AT ITER 3023 NEW BEST:: SOT 16521 SOS 8502 HAS SOPS 8502 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3656.502
AT ITER 3054 NEW BEST:: SOT 16540 SOS 8509 HAS SOPS 8509 HAS SOUS 3612 HAS SOUPS 3612 WITH SCORE 3620.509
AT ITER 3064 NEW BEST:: SOT 16553 SOS 8520 HAS SOPS 8520 HAS SOUS 3596 HAS SOUPS 3596 WITH SCORE 3604.52
AT ITER 3082 NEW BEST:: SOT 16539 SOS 8486 HAS SOPS 8486 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3599.486
AT ITER 3094 NEW BEST:: SOT 16508 SOS 8480 HAS SOPS 8480 HAS SOUS 3582 HAS SOUPS 3582 WITH SCORE 3590.48
AT ITER 3095 NEW BEST:: SOT 16502 SOS 8468 HAS SOPS 8468 HAS SOUS 3579 HAS SOUPS 3579 WITH SCORE 3587.468
AT ITER 3110 NEW BEST:: SOT 16501 SOS 8467 HAS SOPS 8467 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3586.467
AT ITER 3129 NEW BEST:: SOT 16477 SOS 8439 HAS SOPS 8439 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3564.439
AT ITER 3135 NEW BEST:: SOT 16475 SOS 8429 HAS SOPS 8429 HAS SOUS 3545 HAS SOUPS 3545 WITH SCORE 3553.429
AT ITER 3173 NEW BEST:: SOT 16469 SOS 8419 HAS SOPS 8419 HAS SOUS 3543 HAS SOUPS 3543 WITH SCORE 3551.419
AT ITER 3174 NEW BEST:: SOT 16480 SOS 8579 HAS SOPS 8579 HAS SOUS 3511 HAS SOUPS 3511 WITH SCORE 3519.579
AT ITER 3176 NEW BEST:: SOT 16480 SOS 8578 HAS SOPS 8578 HAS SOUS 3511 HAS SOUPS 3511 WITH SCORE 3519.578
AT ITER 3198 NEW BEST:: SOT 16480 SOS 8546 HAS SOPS 8546 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3518.546
AT ITER 3246 NEW BEST:: SOT 16478 SOS 8542 HAS SOPS 8542 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3510.542
AT ITER 3252 NEW BEST:: SOT 16482 SOS 8733 HAS SOPS 8733 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3504.733
AT ITER 3260 NEW BEST:: SOT 16482 SOS 8731 HAS SOPS 8731 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3502.731
AT ITER 3270 NEW BEST:: SOT 16471 SOS 8717 HAS SOPS 8717 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3494.717
AT ITER 3273 NEW BEST:: SOT 16466 SOS 8687 HAS SOPS 8687 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3492.687
AT ITER 3276 NEW BEST:: SOT 16460 SOS 8670 HAS SOPS 8670 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3479.67
AT ITER 3285 NEW BEST:: SOT 16454 SOS 8667 HAS SOPS 8667 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3479.667
AT ITER 3330 NEW BEST:: SOT 16453 SOS 8677 HAS SOPS 8677 HAS SOUS 3470 HAS SOUPS 3470 WITH SCORE 3478.677
AT ITER 3375 NEW BEST:: SOT 16447 SOS 8671 HAS SOPS 8671 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3472.671
AT ITER 3376 NEW BEST:: SOT 16443 SOS 8669 HAS SOPS 8669 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3468.669
AT ITER 3385 NEW BEST:: SOT 16442 SOS 8666 HAS SOPS 8666 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3467.666
AT ITER 3438 NEW BEST:: SOT 16452 SOS 8672 HAS SOPS 8672 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3465.672
AT ITER 3480 NEW BEST:: SOT 16445 SOS 8648 HAS SOPS 8648 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3452.648
AT ITER 3540 NEW BEST:: SOT 16425 SOS 8606 HAS SOPS 8606 HAS SOUS 3415 HAS SOUPS 3415 WITH SCORE 3423.606
AT ITER 3562 NEW BEST:: SOT 16418 SOS 8599 HAS SOPS 8599 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3417.599
AT ITER 3568 NEW BEST:: SOT 16423 SOS 8544 HAS SOPS 8544 HAS SOUS 3373 HAS SOUPS 3373 WITH SCORE 3381.544
AT ITER 3583 NEW BEST:: SOT 16424 SOS 8541 HAS SOPS 8541 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3370.541
AT ITER 3612 NEW BEST:: SOT 16416 SOS 8528 HAS SOPS 8528 HAS SOUS 3356 HAS SOUPS 3356 WITH SCORE 3364.528
AT ITER 3627 NEW BEST:: SOT 16365 SOS 8375 HAS SOPS 8375 HAS SOUS 3305 HAS SOUPS 3305 WITH SCORE 3313.375
AT ITER 3667 NEW BEST:: SOT 16362 SOS 8372 HAS SOPS 8372 HAS SOUS 3302 HAS SOUPS 3302 WITH SCORE 3310.372
AT ITER 3681 NEW BEST:: SOT 16350 SOS 8359 HAS SOPS 8359 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3301.359
AT ITER 3685 NEW BEST:: SOT 16350 SOS 8357 HAS SOPS 8357 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3300.357
AT ITER 3702 NEW BEST:: SOT 16348 SOS 8343 HAS SOPS 8343 HAS SOUS 3270 HAS SOUPS 3270 WITH SCORE 3278.343
AT ITER 3708 NEW BEST:: SOT 16353 SOS 8344 HAS SOPS 8344 HAS SOUS 3267 HAS SOUPS 3267 WITH SCORE 3275.344
AT ITER 3747 NEW BEST:: SOT 16369 SOS 8361 HAS SOPS 8361 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3274.361
AT ITER 3815 NEW BEST:: SOT 16373 SOS 8349 HAS SOPS 8349 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3274.349
AT ITER 3829 NEW BEST:: SOT 16373 SOS 8347 HAS SOPS 8347 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3272.347
AT ITER 3830 NEW BEST:: SOT 16367 SOS 8331 HAS SOPS 8331 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3264.331
AT ITER 3854 NEW BEST:: SOT 16367 SOS 8317 HAS SOPS 8317 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3264.317
AT ITER 3903 NEW BEST:: SOT 16370 SOS 8291 HAS SOPS 8291 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3262.291
AT ITER 3949 NEW BEST:: SOT 16362 SOS 8267 HAS SOPS 8267 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3254.267
AT ITER 3955 NEW BEST:: SOT 16360 SOS 8265 HAS SOPS 8265 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3254.265
AT ITER 3958 NEW BEST:: SOT 16330 SOS 8235 HAS SOPS 8235 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3191.235
AT ITER 3990 NEW BEST:: SOT 16326 SOS 8247 HAS SOPS 8247 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3183.247
AT ITER 4007 NEW BEST:: SOT 16310 SOS 8223 HAS SOPS 8223 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3179.223
AT ITER 4014 NEW BEST:: SOT 16302 SOS 8071 HAS SOPS 8071 HAS SOUS 3161 HAS SOUPS 3161 WITH SCORE 3169.071
AT ITER 4030 NEW BEST:: SOT 16305 SOS 8077 HAS SOPS 8077 HAS SOUS 3158 HAS SOUPS 3158 WITH SCORE 3166.077
AT ITER 4040 NEW BEST:: SOT 16300 SOS 8079 HAS SOPS 8079 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3164.079
AT ITER 4052 NEW BEST:: SOT 16310 SOS 8088 HAS SOPS 8088 HAS SOUS 3153 HAS SOUPS 3153 WITH SCORE 3161.088
AT ITER 4088 NEW BEST:: SOT 16311 SOS 8086 HAS SOPS 8086 HAS SOUS 3147 HAS SOUPS 3147 WITH SCORE 3155.086
AT ITER 4137 NEW BEST:: SOT 16311 SOS 8071 HAS SOPS 8071 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3148.071
AT ITER 4165 NEW BEST:: SOT 16310 SOS 8069 HAS SOPS 8069 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3146.069
AT ITER 4174 NEW BEST:: SOT 16325 SOS 8082 HAS SOPS 8082 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3144.082
AT ITER 4192 NEW BEST:: SOT 16312 SOS 8072 HAS SOPS 8072 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3138.072
AT ITER 4212 NEW BEST:: SOT 16297 SOS 8060 HAS SOPS 8060 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3128.06
AT ITER 4260 NEW BEST:: SOT 16289 SOS 8052 HAS SOPS 8052 HAS SOUS 3093 HAS SOUPS 3093 WITH SCORE 3101.052
AT ITER 4365 NEW BEST:: SOT 16289 SOS 8052 HAS SOPS 8052 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3096.052
AT ITER 4411 NEW BEST:: SOT 16295 SOS 8052 HAS SOPS 8052 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3088.052
AT ITER 4523 NEW BEST:: SOT 16284 SOS 8042 HAS SOPS 8042 HAS SOUS 3071 HAS SOUPS 3071 WITH SCORE 3079.042
AT ITER 4577 NEW BEST:: SOT 16287 SOS 8044 HAS SOPS 8044 HAS SOUS 3069 HAS SOUPS 3069 WITH SCORE 3077.044
AT ITER 4600 NEW BEST:: SOT 16287 SOS 8037 HAS SOPS 8037 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3076.037
AT ITER 4624 NEW BEST:: SOT 16288 SOS 8037 HAS SOPS 8037 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3074.037
AT ITER 4627 NEW BEST:: SOT 16286 SOS 8029 HAS SOPS 8029 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3067.029
AT ITER 4640 NEW BEST:: SOT 16282 SOS 8025 HAS SOPS 8025 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3063.025
AT ITER 4658 NEW BEST:: SOT 16276 SOS 8035 HAS SOPS 8035 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3057.035
AT ITER 4661 NEW BEST:: SOT 16276 SOS 8033 HAS SOPS 8033 HAS SOUS 3047 HAS SOUPS 3047 WITH SCORE 3055.033
AT ITER 4684 NEW BEST:: SOT 16276 SOS 8030 HAS SOPS 8030 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3050.03
AT ITER 4687 NEW BEST:: SOT 16275 SOS 8028 HAS SOPS 8028 HAS SOUS 3040 HAS SOUPS 3040 WITH SCORE 3048.028
AT ITER 4724 NEW BEST:: SOT 16274 SOS 8044 HAS SOPS 8044 HAS SOUS 3029 HAS SOUPS 3029 WITH SCORE 3037.044
AT ITER 4750 NEW BEST:: SOT 16270 SOS 8042 HAS SOPS 8042 HAS SOUS 3025 HAS SOUPS 3025 WITH SCORE 3033.042
AT ITER 4853 NEW BEST:: SOT 16269 SOS 8041 HAS SOPS 8041 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3032.041
AT ITER 4854 NEW BEST:: SOT 16265 SOS 8033 HAS SOPS 8033 HAS SOUS 3020 HAS SOUPS 3020 WITH SCORE 3028.033
AT ITER 4873 NEW BEST:: SOT 16264 SOS 8031 HAS SOPS 8031 HAS SOUS 3018 HAS SOUPS 3018 WITH SCORE 3026.031
AT ITER 4934 NEW BEST:: SOT 16265 SOS 8030 HAS SOPS 8030 HAS SOUS 3018 HAS SOUPS 3018 WITH SCORE 3026.03
AT ITER 5030 NEW BEST:: SOT 16264 SOS 8029 HAS SOPS 8029 HAS SOUS 3015 HAS SOUPS 3015 WITH SCORE 3023.029
AT ITER 5089 NEW BEST:: SOT 16263 SOS 8033 HAS SOPS 8033 HAS SOUS 3009 HAS SOUPS 3009 WITH SCORE 3017.033
AT ITER 5131 NEW BEST:: SOT 16257 SOS 8025 HAS SOPS 8025 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3015.025
AT ITER 5138 NEW BEST:: SOT 16255 SOS 8021 HAS SOPS 8021 HAS SOUS 3003 HAS SOUPS 3003 WITH SCORE 3011.021
AT ITER 5181 NEW BEST:: SOT 16253 SOS 8019 HAS SOPS 8019 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3007.019
AT ITER 5235 NEW BEST:: SOT 16260 SOS 8021 HAS SOPS 8021 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3006.021
AT ITER 5266 NEW BEST:: SOT 16258 SOS 8019 HAS SOPS 8019 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3005.019
AT ITER 5320 NEW BEST:: SOT 16254 SOS 8015 HAS SOPS 8015 HAS SOUS 2993 HAS SOUPS 2993 WITH SCORE 3001.015
AT ITER 5360 NEW BEST:: SOT 16261 SOS 8022 HAS SOPS 8022 HAS SOUS 2991 HAS SOUPS 2991 WITH SCORE 2999.022
AT ITER 5420 NEW BEST:: SOT 16261 SOS 8022 HAS SOPS 8022 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2995.022
AT ITER 5488 NEW BEST:: SOT 16245 SOS 7990 HAS SOPS 7990 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2991.99
AT ITER 5490 NEW BEST:: SOT 16241 SOS 7977 HAS SOPS 7977 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2980.977
AT ITER 5590 NEW BEST:: SOT 16234 SOS 7967 HAS SOPS 7967 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2975.967
AT ITER 5601 NEW BEST:: SOT 16266 SOS 7999 HAS SOPS 7999 HAS SOUS 2963 HAS SOUPS 2963 WITH SCORE 2970.999
AT ITER 5618 NEW BEST:: SOT 16252 SOS 7971 HAS SOPS 7971 HAS SOUS 2949 HAS SOUPS 2949 WITH SCORE 2956.971
AT ITER 5621 NEW BEST:: SOT 16250 SOS 7969 HAS SOPS 7969 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2954.969
AT ITER 5624 NEW BEST:: SOT 16247 SOS 7966 HAS SOPS 7966 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2954.966
AT ITER 5700 NEW BEST:: SOT 16247 SOS 7965 HAS SOPS 7965 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2954.965
AT ITER 5709 NEW BEST:: SOT 16241 SOS 7953 HAS SOPS 7953 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2945.953
AT ITER 5716 NEW BEST:: SOT 16227 SOS 7929 HAS SOPS 7929 HAS SOUS 2924 HAS SOUPS 2924 WITH SCORE 2931.929
AT ITER 5718 NEW BEST:: SOT 16227 SOS 7927 HAS SOPS 7927 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2929.927
AT ITER 5744 NEW BEST:: SOT 16230 SOS 7803 HAS SOPS 7803 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2870.803
AT ITER 5746 NEW BEST:: SOT 16156 SOS 7587 HAS SOPS 7587 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2786.587
AT ITER 5790 NEW BEST:: SOT 16152 SOS 7579 HAS SOPS 7579 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2782.579
AT ITER 5823 NEW BEST:: SOT 16149 SOS 7581 HAS SOPS 7581 HAS SOUS 2772 HAS SOUPS 2772 WITH SCORE 2779.581
AT ITER 5857 NEW BEST:: SOT 16148 SOS 7573 HAS SOPS 7573 HAS SOUS 2771 HAS SOUPS 2771 WITH SCORE 2778.573
AT ITER 5859 NEW BEST:: SOT 16148 SOS 7576 HAS SOPS 7576 HAS SOUS 2769 HAS SOUPS 2769 WITH SCORE 2776.576
AT ITER 5886 NEW BEST:: SOT 16148 SOS 7575 HAS SOPS 7575 HAS SOUS 2769 HAS SOUPS 2769 WITH SCORE 2776.575
AT ITER 5901 NEW BEST:: SOT 16148 SOS 7569 HAS SOPS 7569 HAS SOUS 2769 HAS SOUPS 2769 WITH SCORE 2776.569
AT ITER 5913 NEW BEST:: SOT 16147 SOS 7567 HAS SOPS 7567 HAS SOUS 2767 HAS SOUPS 2767 WITH SCORE 2774.567
AT ITER 5954 NEW BEST:: SOT 16147 SOS 7567 HAS SOPS 7567 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2772.567
AT ITER 5993 NEW BEST:: SOT 16139 SOS 7551 HAS SOPS 7551 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2763.551
AT ITER 6003 NEW BEST:: SOT 16137 SOS 7547 HAS SOPS 7547 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2761.547
AT ITER 6024 NEW BEST:: SOT 16137 SOS 7538 HAS SOPS 7538 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2761.538
AT ITER 6032 NEW BEST:: SOT 16135 SOS 7534 HAS SOPS 7534 HAS SOUS 2752 HAS SOUPS 2752 WITH SCORE 2759.534
AT ITER 6119 NEW BEST:: SOT 16132 SOS 7529 HAS SOPS 7529 HAS SOUS 2747 HAS SOUPS 2747 WITH SCORE 2754.529
AT ITER 6185 NEW BEST:: SOT 16138 SOS 7531 HAS SOPS 7531 HAS SOUS 2733 HAS SOUPS 2733 WITH SCORE 2740.531
AT ITER 6201 NEW BEST:: SOT 16132 SOS 7515 HAS SOPS 7515 HAS SOUS 2725 HAS SOUPS 2725 WITH SCORE 2732.515
AT ITER 6203 NEW BEST:: SOT 16131 SOS 7501 HAS SOPS 7501 HAS SOUS 2722 HAS SOUPS 2722 WITH SCORE 2729.501
AT ITER 6226 NEW BEST:: SOT 16127 SOS 7497 HAS SOPS 7497 HAS SOUS 2712 HAS SOUPS 2712 WITH SCORE 2719.497
AT ITER 6269 NEW BEST:: SOT 16127 SOS 7466 HAS SOPS 7466 HAS SOUS 2712 HAS SOUPS 2712 WITH SCORE 2719.466
AT ITER 6280 NEW BEST:: SOT 16121 SOS 7452 HAS SOPS 7452 HAS SOUS 2704 HAS SOUPS 2704 WITH SCORE 2711.452
AT ITER 6330 NEW BEST:: SOT 16115 SOS 7440 HAS SOPS 7440 HAS SOUS 2692 HAS SOUPS 2692 WITH SCORE 2699.44
AT ITER 6399 NEW BEST:: SOT 16118 SOS 7452 HAS SOPS 7452 HAS SOUS 2687 HAS SOUPS 2687 WITH SCORE 2694.452
AT ITER 6405 NEW BEST:: SOT 16123 SOS 7454 HAS SOPS 7454 HAS SOUS 2685 HAS SOUPS 2685 WITH SCORE 2692.454
AT ITER 6434 NEW BEST:: SOT 16114 SOS 7395 HAS SOPS 7395 HAS SOUS 2676 HAS SOUPS 2676 WITH SCORE 2683.395
AT ITER 6472 NEW BEST:: SOT 16100 SOS 7353 HAS SOPS 7353 HAS SOUS 2662 HAS SOUPS 2662 WITH SCORE 2669.353
AT ITER 6590 NEW BEST:: SOT 16107 SOS 7359 HAS SOPS 7359 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2667.359
AT ITER 6595 NEW BEST:: SOT 16091 SOS 7335 HAS SOPS 7335 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2667.335
AT ITER 6629 NEW BEST:: SOT 16080 SOS 7324 HAS SOPS 7324 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2651.324
AT ITER 6666 NEW BEST:: SOT 16072 SOS 7304 HAS SOPS 7304 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2650.304
AT ITER 6685 NEW BEST:: SOT 16070 SOS 7304 HAS SOPS 7304 HAS SOUS 2641 HAS SOUPS 2641 WITH SCORE 2648.304
AT ITER 6763 NEW BEST:: SOT 16066 SOS 7302 HAS SOPS 7302 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2647.302
AT ITER 6853 NEW BEST:: SOT 16066 SOS 7307 HAS SOPS 7307 HAS SOUS 2635 HAS SOUPS 2635 WITH SCORE 2642.307
AT ITER 6903 NEW BEST:: SOT 16061 SOS 7292 HAS SOPS 7292 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2637.292
AT ITER 7032 NEW BEST:: SOT 16064 SOS 7286 HAS SOPS 7286 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2635.286
AT ITER 7135 NEW BEST:: SOT 16063 SOS 7284 HAS SOPS 7284 HAS SOUS 2627 HAS SOUPS 2627 WITH SCORE 2634.284
AT ITER 7202 NEW BEST:: SOT 16064 SOS 7285 HAS SOPS 7285 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2633.285
AT ITER 7264 NEW BEST:: SOT 16062 SOS 7283 HAS SOPS 7283 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2631.283
AT ITER 7277 NEW BEST:: SOT 16060 SOS 7281 HAS SOPS 7281 HAS SOUS 2622 HAS SOUPS 2622 WITH SCORE 2629.281
AT ITER 7401 NEW BEST:: SOT 16069 SOS 7266 HAS SOPS 7266 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2624.266
AT ITER 7424 NEW BEST:: SOT 16067 SOS 7264 HAS SOPS 7264 HAS SOUS 2615 HAS SOUPS 2615 WITH SCORE 2622.264
AT ITER 7428 NEW BEST:: SOT 16062 SOS 7259 HAS SOPS 7259 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2617.259
AT ITER 7442 NEW BEST:: SOT 16060 SOS 7257 HAS SOPS 7257 HAS SOUS 2606 HAS SOUPS 2606 WITH SCORE 2613.257
AT ITER 7493 NEW BEST:: SOT 16056 SOS 7250 HAS SOPS 7250 HAS SOUS 2601 HAS SOUPS 2601 WITH SCORE 2608.25
AT ITER 7494 NEW BEST:: SOT 16055 SOS 7252 HAS SOPS 7252 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2606.252
AT ITER 7499 NEW BEST:: SOT 16058 SOS 7255 HAS SOPS 7255 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2603.255
AT ITER 7656 NEW BEST:: SOT 16055 SOS 7252 HAS SOPS 7252 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2601.252
AT ITER 7662 NEW BEST:: SOT 16053 SOS 7251 HAS SOPS 7251 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2601.251
AT ITER 7667 NEW BEST:: SOT 16045 SOS 7230 HAS SOPS 7230 HAS SOUS 2581 HAS SOUPS 2581 WITH SCORE 2588.23
AT ITER 7703 NEW BEST:: SOT 16040 SOS 7235 HAS SOPS 7235 HAS SOUS 2576 HAS SOUPS 2576 WITH SCORE 2583.235
AT ITER 7713 NEW BEST:: SOT 16037 SOS 7232 HAS SOPS 7232 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2577.232
AT ITER 7733 NEW BEST:: SOT 16039 SOS 7234 HAS SOPS 7234 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2575.234
AT ITER 7734 NEW BEST:: SOT 16042 SOS 7232 HAS SOPS 7232 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2567.232
AT ITER 7740 NEW BEST:: SOT 16044 SOS 7233 HAS SOPS 7233 HAS SOUS 2559 HAS SOUPS 2559 WITH SCORE 2566.233
AT ITER 7824 NEW BEST:: SOT 16036 SOS 7225 HAS SOPS 7225 HAS SOUS 2552 HAS SOUPS 2552 WITH SCORE 2559.225
AT ITER 7838 NEW BEST:: SOT 16033 SOS 7235 HAS SOPS 7235 HAS SOUS 2541 HAS SOUPS 2541 WITH SCORE 2548.235
AT ITER 7911 NEW BEST:: SOT 16031 SOS 7233 HAS SOPS 7233 HAS SOUS 2540 HAS SOUPS 2540 WITH SCORE 2547.233
AT ITER 7948 NEW BEST:: SOT 16028 SOS 7232 HAS SOPS 7232 HAS SOUS 2540 HAS SOUPS 2540 WITH SCORE 2547.232
AT ITER 8033 NEW BEST:: SOT 16019 SOS 7214 HAS SOPS 7214 HAS SOUS 2531 HAS SOUPS 2531 WITH SCORE 2538.214
AT ITER 8051 NEW BEST:: SOT 16015 SOS 7212 HAS SOPS 7212 HAS SOUS 2531 HAS SOUPS 2531 WITH SCORE 2538.212
AT ITER 8065 NEW BEST:: SOT 16010 SOS 7200 HAS SOPS 7200 HAS SOUS 2527 HAS SOUPS 2527 WITH SCORE 2534.2
AT ITER 8176 NEW BEST:: SOT 16011 SOS 7197 HAS SOPS 7197 HAS SOUS 2526 HAS SOUPS 2526 WITH SCORE 2533.197
AT ITER 8242 NEW BEST:: SOT 16011 SOS 7196 HAS SOPS 7196 HAS SOUS 2526 HAS SOUPS 2526 WITH SCORE 2533.196
AT ITER 8243 NEW BEST:: SOT 16009 SOS 7195 HAS SOPS 7195 HAS SOUS 2523 HAS SOUPS 2523 WITH SCORE 2530.195
AT ITER 8259 NEW BEST:: SOT 16004 SOS 7179 HAS SOPS 7179 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2524.179
AT ITER 8579 NEW BEST:: SOT 16003 SOS 7177 HAS SOPS 7177 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2521.177
AT ITER 8677 NEW BEST:: SOT 15995 SOS 7161 HAS SOPS 7161 HAS SOUS 2503 HAS SOUPS 2503 WITH SCORE 2510.161
AT ITER 8692 NEW BEST:: SOT 15995 SOS 7154 HAS SOPS 7154 HAS SOUS 2503 HAS SOUPS 2503 WITH SCORE 2510.154
AT ITER 8734 NEW BEST:: SOT 15994 SOS 7156 HAS SOPS 7156 HAS SOUS 2499 HAS SOUPS 2499 WITH SCORE 2506.156
AT ITER 8738 NEW BEST:: SOT 15991 SOS 7153 HAS SOPS 7153 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2502.153
AT ITER 8817 NEW BEST:: SOT 15983 SOS 7141 HAS SOPS 7141 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2497.141
AT ITER 8942 NEW BEST:: SOT 15993 SOS 7147 HAS SOPS 7147 HAS SOUS 2487 HAS SOUPS 2487 WITH SCORE 2494.147
AT ITER 8944 NEW BEST:: SOT 15988 SOS 7153 HAS SOPS 7153 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2488.153
AT ITER 8993 NEW BEST:: SOT 15984 SOS 7145 HAS SOPS 7145 HAS SOUS 2477 HAS SOUPS 2477 WITH SCORE 2484.145
AT ITER 9047 NEW BEST:: SOT 15985 SOS 7142 HAS SOPS 7142 HAS SOUS 2477 HAS SOUPS 2477 WITH SCORE 2484.142
AT ITER 9096 NEW BEST:: SOT 15983 SOS 7140 HAS SOPS 7140 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2481.14
AT ITER 9202 NEW BEST:: SOT 15978 SOS 7135 HAS SOPS 7135 HAS SOUS 2466 HAS SOUPS 2466 WITH SCORE 2473.135
AT ITER 9206 NEW BEST:: SOT 15977 SOS 7134 HAS SOPS 7134 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2472.134
AT ITER 9290 NEW BEST:: SOT 15969 SOS 7165 HAS SOPS 7165 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2464.165
AT ITER 9465 NEW BEST:: SOT 15953 SOS 7156 HAS SOPS 7156 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2460.156
AT ITER 9588 NEW BEST:: SOT 15948 SOS 7457 HAS SOPS 7457 HAS SOUS 2450 HAS SOUPS 2450 WITH SCORE 2457.457
AT ITER 9707 NEW BEST:: SOT 15942 SOS 7449 HAS SOPS 7449 HAS SOUS 2442 HAS SOUPS 2442 WITH SCORE 2449.449
AT ITER 9710 NEW BEST:: SOT 15920 SOS 7462 HAS SOPS 7462 HAS SOUS 2439 HAS SOUPS 2439 WITH SCORE 2446.462
AT ITER 9806 NEW BEST:: SOT 15917 SOS 7456 HAS SOPS 7456 HAS SOUS 2433 HAS SOUPS 2433 WITH SCORE 2440.456
AT ITER 9828 NEW BEST:: SOT 15917 SOS 7455 HAS SOPS 7455 HAS SOUS 2433 HAS SOUPS 2433 WITH SCORE 2440.455
AT ITER 9907 NEW BEST:: SOT 15914 SOS 7449 HAS SOPS 7449 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2437.449
AT ITER 9953 NEW BEST:: SOT 15905 SOS 7435 HAS SOPS 7435 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2427.435
STATE_SPACE STATES 2607925383 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 29 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 30057504344 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679310871057

--------------------
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-Z2T3N08"
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-Z2T3N08, 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-167912711401112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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