fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r491-tall-167912711401104
Last Updated
May 14, 2023

About the Execution of Smart+red for UtilityControlRoom-PT-Z2T3N06

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
302.779 8829.00 11946.00 415.40 2.6085E+0007 2.3890E+0008 6 23 normal

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1016K
-rw-r--r-- 1 mcc users 14K Feb 26 14:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 14:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 22K Feb 26 14:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 105K Feb 26 14:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 47K Feb 26 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 261K Feb 26 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 49K Feb 26 14:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 207K Feb 26 14:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.2K 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 70K 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 1679310515972

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-Z2T3N06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 11:08:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 11:08:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 11:08:38] [INFO ] Load time of PNML (sax parser for PT used): 41 ms
[2023-03-20 11:08:38] [INFO ] Transformed 106 places.
[2023-03-20 11:08:38] [INFO ] Transformed 162 transitions.
[2023-03-20 11:08:38] [INFO ] Parsed PT model containing 106 places and 162 transitions and 510 arcs in 112 ms.
[2023-03-20 11:08:38] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 106 places, 162 transitions and 510 arcs took 5 ms.
Total runtime 149 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z2T3N06
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: 106 places, 162 transitions, 510 arcs.
AT ITER 0 NEW BEST:: SOT 13815 SOS 10287 HAS SOPS 10287 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6994.287
AT ITER 3 NEW BEST:: SOT 13771 SOS 10214 HAS SOPS 10214 HAS SOUS 6920 HAS SOUPS 6920 WITH SCORE 6930.214
AT ITER 4 NEW BEST:: SOT 13744 SOS 10208 HAS SOPS 10208 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6908.208
AT ITER 5 NEW BEST:: SOT 13744 SOS 10166 HAS SOPS 10166 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6866.166
AT ITER 6 NEW BEST:: SOT 13723 SOS 10124 HAS SOPS 10124 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6841.124
AT ITER 8 NEW BEST:: SOT 13758 SOS 10156 HAS SOPS 10156 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6763.156
AT ITER 9 NEW BEST:: SOT 13748 SOS 10082 HAS SOPS 10082 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6707.082
AT ITER 14 NEW BEST:: SOT 13724 SOS 10034 HAS SOPS 10034 HAS SOUS 6606 HAS SOUPS 6606 WITH SCORE 6616.034
AT ITER 21 NEW BEST:: SOT 13687 SOS 9287 HAS SOPS 9287 HAS SOUS 6448 HAS SOUPS 6448 WITH SCORE 6457.287
AT ITER 22 NEW BEST:: SOT 13663 SOS 9248 HAS SOPS 9248 HAS SOUS 6391 HAS SOUPS 6391 WITH SCORE 6400.248
AT ITER 24 NEW BEST:: SOT 13639 SOS 9200 HAS SOPS 9200 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6337.2
AT ITER 26 NEW BEST:: SOT 13610 SOS 9084 HAS SOPS 9084 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6250.084
AT ITER 27 NEW BEST:: SOT 13622 SOS 9074 HAS SOPS 9074 HAS SOUS 6239 HAS SOUPS 6239 WITH SCORE 6248.074
AT ITER 32 NEW BEST:: SOT 13616 SOS 9042 HAS SOPS 9042 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6216.042
AT ITER 33 NEW BEST:: SOT 13565 SOS 8976 HAS SOPS 8976 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6153.976
AT ITER 35 NEW BEST:: SOT 13565 SOS 8973 HAS SOPS 8973 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6150.973
AT ITER 36 NEW BEST:: SOT 13583 SOS 8991 HAS SOPS 8991 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6148.991
AT ITER 37 NEW BEST:: SOT 13583 SOS 9008 HAS SOPS 9008 HAS SOUS 6139 HAS SOUPS 6139 WITH SCORE 6148.008
AT ITER 42 NEW BEST:: SOT 13583 SOS 9008 HAS SOPS 9008 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6145.008
AT ITER 47 NEW BEST:: SOT 13583 SOS 9009 HAS SOPS 9009 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6136.009
AT ITER 49 NEW BEST:: SOT 13518 SOS 8944 HAS SOPS 8944 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6068.944
AT ITER 54 NEW BEST:: SOT 13510 SOS 8928 HAS SOPS 8928 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6068.928
AT ITER 63 NEW BEST:: SOT 13454 SOS 8896 HAS SOPS 8896 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6034.896
AT ITER 65 NEW BEST:: SOT 13393 SOS 8835 HAS SOPS 8835 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5983.835
AT ITER 67 NEW BEST:: SOT 13386 SOS 8828 HAS SOPS 8828 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5973.828
AT ITER 68 NEW BEST:: SOT 13369 SOS 8811 HAS SOPS 8811 HAS SOUS 5943 HAS SOUPS 5943 WITH SCORE 5951.811
AT ITER 71 NEW BEST:: SOT 13338 SOS 8667 HAS SOPS 8667 HAS SOUS 5818 HAS SOUPS 5818 WITH SCORE 5826.667
AT ITER 74 NEW BEST:: SOT 13299 SOS 8627 HAS SOPS 8627 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5785.627
AT ITER 75 NEW BEST:: SOT 13295 SOS 8602 HAS SOPS 8602 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5735.602
AT ITER 80 NEW BEST:: SOT 13279 SOS 8544 HAS SOPS 8544 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5703.544
AT ITER 81 NEW BEST:: SOT 13261 SOS 8526 HAS SOPS 8526 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5685.526
AT ITER 93 NEW BEST:: SOT 13248 SOS 8490 HAS SOPS 8490 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5659.49
AT ITER 94 NEW BEST:: SOT 13194 SOS 8409 HAS SOPS 8409 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5578.409
AT ITER 98 NEW BEST:: SOT 12001 SOS 7385 HAS SOPS 7385 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4900.385
AT ITER 102 NEW BEST:: SOT 11976 SOS 7360 HAS SOPS 7360 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4871.36
AT ITER 105 NEW BEST:: SOT 11934 SOS 7338 HAS SOPS 7338 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4849.338
AT ITER 107 NEW BEST:: SOT 11934 SOS 7334 HAS SOPS 7334 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4849.334
AT ITER 108 NEW BEST:: SOT 11945 SOS 7356 HAS SOPS 7356 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4843.356
AT ITER 112 NEW BEST:: SOT 11931 SOS 7330 HAS SOPS 7330 HAS SOUS 4817 HAS SOUPS 4817 WITH SCORE 4824.33
AT ITER 123 NEW BEST:: SOT 11931 SOS 7318 HAS SOPS 7318 HAS SOUS 4814 HAS SOUPS 4814 WITH SCORE 4821.318
AT ITER 129 NEW BEST:: SOT 11931 SOS 7318 HAS SOPS 7318 HAS SOUS 4812 HAS SOUPS 4812 WITH SCORE 4819.318
AT ITER 132 NEW BEST:: SOT 11864 SOS 7360 HAS SOPS 7360 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4724.36
AT ITER 140 NEW BEST:: SOT 11848 SOS 7355 HAS SOPS 7355 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4724.355
AT ITER 141 NEW BEST:: SOT 11850 SOS 7348 HAS SOPS 7348 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4717.348
AT ITER 142 NEW BEST:: SOT 11841 SOS 7335 HAS SOPS 7335 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4699.335
AT ITER 149 NEW BEST:: SOT 11859 SOS 7341 HAS SOPS 7341 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4681.341
AT ITER 154 NEW BEST:: SOT 11883 SOS 7376 HAS SOPS 7376 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4680.376
AT ITER 156 NEW BEST:: SOT 11882 SOS 7375 HAS SOPS 7375 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4680.375
AT ITER 158 NEW BEST:: SOT 11875 SOS 7292 HAS SOPS 7292 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4632.292
AT ITER 159 NEW BEST:: SOT 11874 SOS 7290 HAS SOPS 7290 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4630.29
AT ITER 161 NEW BEST:: SOT 11891 SOS 7243 HAS SOPS 7243 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4565.243
AT ITER 165 NEW BEST:: SOT 11887 SOS 7235 HAS SOPS 7235 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4557.235
AT ITER 169 NEW BEST:: SOT 11887 SOS 7217 HAS SOPS 7217 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4557.217
AT ITER 173 NEW BEST:: SOT 11878 SOS 7155 HAS SOPS 7155 HAS SOUS 4465 HAS SOUPS 4465 WITH SCORE 4472.155
AT ITER 183 NEW BEST:: SOT 11871 SOS 7151 HAS SOPS 7151 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4468.151
AT ITER 187 NEW BEST:: SOT 11863 SOS 7157 HAS SOPS 7157 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4452.157
AT ITER 190 NEW BEST:: SOT 11855 SOS 7144 HAS SOPS 7144 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4444.144
AT ITER 194 NEW BEST:: SOT 11860 SOS 7124 HAS SOPS 7124 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4435.124
AT ITER 196 NEW BEST:: SOT 11877 SOS 6520 HAS SOPS 6520 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4381.52
AT ITER 197 NEW BEST:: SOT 11871 SOS 6514 HAS SOPS 6514 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4381.514
AT ITER 200 NEW BEST:: SOT 11867 SOS 6475 HAS SOPS 6475 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4376.475
AT ITER 201 NEW BEST:: SOT 11827 SOS 6435 HAS SOPS 6435 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4363.435
AT ITER 206 NEW BEST:: SOT 11850 SOS 6366 HAS SOPS 6366 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4361.366
AT ITER 207 NEW BEST:: SOT 11828 SOS 6353 HAS SOPS 6353 HAS SOUS 4295 HAS SOUPS 4295 WITH SCORE 4301.353
AT ITER 210 NEW BEST:: SOT 11828 SOS 6341 HAS SOPS 6341 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4265.341
AT ITER 212 NEW BEST:: SOT 11825 SOS 6329 HAS SOPS 6329 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4238.329
AT ITER 222 NEW BEST:: SOT 11790 SOS 6294 HAS SOPS 6294 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4212.294
AT ITER 231 NEW BEST:: SOT 11791 SOS 6293 HAS SOPS 6293 HAS SOUS 4200 HAS SOUPS 4200 WITH SCORE 4206.293
AT ITER 235 NEW BEST:: SOT 11782 SOS 6230 HAS SOPS 6230 HAS SOUS 4184 HAS SOUPS 4184 WITH SCORE 4190.23
AT ITER 236 NEW BEST:: SOT 11811 SOS 6254 HAS SOPS 6254 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4171.254
AT ITER 242 NEW BEST:: SOT 11797 SOS 6240 HAS SOPS 6240 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4162.24
AT ITER 255 NEW BEST:: SOT 11781 SOS 6263 HAS SOPS 6263 HAS SOUS 4096 HAS SOUPS 4096 WITH SCORE 4102.263
AT ITER 257 NEW BEST:: SOT 11742 SOS 6228 HAS SOPS 6228 HAS SOUS 4078 HAS SOUPS 4078 WITH SCORE 4084.228
AT ITER 258 NEW BEST:: SOT 11741 SOS 6148 HAS SOPS 6148 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4072.148
AT ITER 263 NEW BEST:: SOT 11737 SOS 6140 HAS SOPS 6140 HAS SOUS 4054 HAS SOUPS 4054 WITH SCORE 4060.14
AT ITER 267 NEW BEST:: SOT 11711 SOS 6200 HAS SOPS 6200 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4056.2
AT ITER 271 NEW BEST:: SOT 11697 SOS 6121 HAS SOPS 6121 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4052.121
AT ITER 278 NEW BEST:: SOT 11675 SOS 5864 HAS SOPS 5864 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4029.864
AT ITER 279 NEW BEST:: SOT 11652 SOS 5824 HAS SOPS 5824 HAS SOUS 4021 HAS SOUPS 4021 WITH SCORE 4026.824
AT ITER 283 NEW BEST:: SOT 11650 SOS 5818 HAS SOPS 5818 HAS SOUS 4017 HAS SOUPS 4017 WITH SCORE 4022.818
AT ITER 298 NEW BEST:: SOT 11591 SOS 5748 HAS SOPS 5748 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3941.748
AT ITER 302 NEW BEST:: SOT 11567 SOS 5656 HAS SOPS 5656 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3858.656
AT ITER 312 NEW BEST:: SOT 11563 SOS 5652 HAS SOPS 5652 HAS SOUS 3851 HAS SOUPS 3851 WITH SCORE 3856.652
AT ITER 318 NEW BEST:: SOT 11559 SOS 5644 HAS SOPS 5644 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3850.644
AT ITER 319 NEW BEST:: SOT 11495 SOS 5613 HAS SOPS 5613 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3812.613
AT ITER 322 NEW BEST:: SOT 11495 SOS 5601 HAS SOPS 5601 HAS SOUS 3795 HAS SOUPS 3795 WITH SCORE 3800.601
AT ITER 336 NEW BEST:: SOT 11492 SOS 5589 HAS SOPS 5589 HAS SOUS 3781 HAS SOUPS 3781 WITH SCORE 3786.589
AT ITER 346 NEW BEST:: SOT 11477 SOS 5529 HAS SOPS 5529 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3748.529
AT ITER 351 NEW BEST:: SOT 11484 SOS 5525 HAS SOPS 5525 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3744.525
AT ITER 369 NEW BEST:: SOT 11490 SOS 5521 HAS SOPS 5521 HAS SOUS 3727 HAS SOUPS 3727 WITH SCORE 3732.521
AT ITER 373 NEW BEST:: SOT 11490 SOS 5519 HAS SOPS 5519 HAS SOUS 3727 HAS SOUPS 3727 WITH SCORE 3732.519
AT ITER 378 NEW BEST:: SOT 11489 SOS 5517 HAS SOPS 5517 HAS SOUS 3727 HAS SOUPS 3727 WITH SCORE 3732.517
AT ITER 381 NEW BEST:: SOT 11487 SOS 5516 HAS SOPS 5516 HAS SOUS 3724 HAS SOUPS 3724 WITH SCORE 3729.516
AT ITER 391 NEW BEST:: SOT 11488 SOS 5512 HAS SOPS 5512 HAS SOUS 3710 HAS SOUPS 3710 WITH SCORE 3715.512
AT ITER 392 NEW BEST:: SOT 11462 SOS 5447 HAS SOPS 5447 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3711.447
AT ITER 394 NEW BEST:: SOT 11469 SOS 5450 HAS SOPS 5450 HAS SOUS 3701 HAS SOUPS 3701 WITH SCORE 3706.45
AT ITER 398 NEW BEST:: SOT 11461 SOS 5445 HAS SOPS 5445 HAS SOUS 3670 HAS SOUPS 3670 WITH SCORE 3675.445
AT ITER 411 NEW BEST:: SOT 11447 SOS 5489 HAS SOPS 5489 HAS SOUS 3659 HAS SOUPS 3659 WITH SCORE 3664.489
AT ITER 426 NEW BEST:: SOT 11442 SOS 5411 HAS SOPS 5411 HAS SOUS 3586 HAS SOUPS 3586 WITH SCORE 3591.411
AT ITER 438 NEW BEST:: SOT 11419 SOS 5337 HAS SOPS 5337 HAS SOUS 3559 HAS SOUPS 3559 WITH SCORE 3564.337
AT ITER 444 NEW BEST:: SOT 11419 SOS 5331 HAS SOPS 5331 HAS SOUS 3553 HAS SOUPS 3553 WITH SCORE 3558.331
AT ITER 455 NEW BEST:: SOT 11401 SOS 5315 HAS SOPS 5315 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3557.315
AT ITER 463 NEW BEST:: SOT 11398 SOS 5306 HAS SOPS 5306 HAS SOUS 3546 HAS SOUPS 3546 WITH SCORE 3551.306
AT ITER 468 NEW BEST:: SOT 11378 SOS 5282 HAS SOPS 5282 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3546.282
AT ITER 471 NEW BEST:: SOT 11375 SOS 5251 HAS SOPS 5251 HAS SOUS 3515 HAS SOUPS 3515 WITH SCORE 3520.251
AT ITER 475 NEW BEST:: SOT 11205 SOS 5129 HAS SOPS 5129 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3405.129
AT ITER 494 NEW BEST:: SOT 11205 SOS 5125 HAS SOPS 5125 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3401.125
AT ITER 495 NEW BEST:: SOT 11194 SOS 5103 HAS SOPS 5103 HAS SOUS 3363 HAS SOUPS 3363 WITH SCORE 3368.103
AT ITER 521 NEW BEST:: SOT 11207 SOS 5078 HAS SOPS 5078 HAS SOUS 3358 HAS SOUPS 3358 WITH SCORE 3363.078
AT ITER 528 NEW BEST:: SOT 11177 SOS 5002 HAS SOPS 5002 HAS SOUS 3297 HAS SOUPS 3297 WITH SCORE 3302.002
AT ITER 560 NEW BEST:: SOT 11169 SOS 4996 HAS SOPS 4996 HAS SOUS 3289 HAS SOUPS 3289 WITH SCORE 3293.996
AT ITER 574 NEW BEST:: SOT 11164 SOS 4991 HAS SOPS 4991 HAS SOUS 3242 HAS SOUPS 3242 WITH SCORE 3246.991
AT ITER 578 NEW BEST:: SOT 11160 SOS 4987 HAS SOPS 4987 HAS SOUS 3225 HAS SOUPS 3225 WITH SCORE 3229.987
AT ITER 602 NEW BEST:: SOT 11144 SOS 4966 HAS SOPS 4966 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3208.966
AT ITER 606 NEW BEST:: SOT 11138 SOS 4956 HAS SOPS 4956 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3196.956
AT ITER 615 NEW BEST:: SOT 11135 SOS 4947 HAS SOPS 4947 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3190.947
AT ITER 616 NEW BEST:: SOT 11110 SOS 4941 HAS SOPS 4941 HAS SOUS 3173 HAS SOUPS 3173 WITH SCORE 3177.941
AT ITER 642 NEW BEST:: SOT 11075 SOS 4854 HAS SOPS 4854 HAS SOUS 3143 HAS SOUPS 3143 WITH SCORE 3147.854
AT ITER 661 NEW BEST:: SOT 11072 SOS 4854 HAS SOPS 4854 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3144.854
AT ITER 672 NEW BEST:: SOT 11079 SOS 4862 HAS SOPS 4862 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3140.862
AT ITER 679 NEW BEST:: SOT 11079 SOS 4860 HAS SOPS 4860 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3140.86
AT ITER 680 NEW BEST:: SOT 11071 SOS 4852 HAS SOPS 4852 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3132.852
AT ITER 685 NEW BEST:: SOT 11042 SOS 4788 HAS SOPS 4788 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3080.788
AT ITER 692 NEW BEST:: SOT 11030 SOS 4771 HAS SOPS 4771 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3063.771
AT ITER 696 NEW BEST:: SOT 11028 SOS 4769 HAS SOPS 4769 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3060.769
AT ITER 702 NEW BEST:: SOT 11003 SOS 4718 HAS SOPS 4718 HAS SOUS 2993 HAS SOUPS 2993 WITH SCORE 2997.718
AT ITER 704 NEW BEST:: SOT 11004 SOS 4715 HAS SOPS 4715 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2996.715
AT ITER 708 NEW BEST:: SOT 11004 SOS 4730 HAS SOPS 4730 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2988.73
AT ITER 710 NEW BEST:: SOT 11006 SOS 4732 HAS SOPS 4732 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2986.732
AT ITER 713 NEW BEST:: SOT 11006 SOS 4728 HAS SOPS 4728 HAS SOUS 2981 HAS SOUPS 2981 WITH SCORE 2985.728
AT ITER 716 NEW BEST:: SOT 10987 SOS 4714 HAS SOPS 4714 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2974.714
AT ITER 726 NEW BEST:: SOT 10983 SOS 4710 HAS SOPS 4710 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2970.71
AT ITER 731 NEW BEST:: SOT 10977 SOS 4704 HAS SOPS 4704 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2970.704
AT ITER 752 NEW BEST:: SOT 10977 SOS 4717 HAS SOPS 4717 HAS SOUS 2953 HAS SOUPS 2953 WITH SCORE 2957.717
AT ITER 760 NEW BEST:: SOT 10973 SOS 4713 HAS SOPS 4713 HAS SOUS 2949 HAS SOUPS 2949 WITH SCORE 2953.713
AT ITER 768 NEW BEST:: SOT 10975 SOS 4710 HAS SOPS 4710 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2950.71
AT ITER 832 NEW BEST:: SOT 10975 SOS 4694 HAS SOPS 4694 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2940.694
AT ITER 837 NEW BEST:: SOT 10975 SOS 4680 HAS SOPS 4680 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2933.68
AT ITER 840 NEW BEST:: SOT 10975 SOS 4668 HAS SOPS 4668 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2933.668
AT ITER 857 NEW BEST:: SOT 10964 SOS 4635 HAS SOPS 4635 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2912.635
AT ITER 862 NEW BEST:: SOT 10975 SOS 4625 HAS SOPS 4625 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2902.625
AT ITER 875 NEW BEST:: SOT 10975 SOS 4624 HAS SOPS 4624 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2902.624
AT ITER 892 NEW BEST:: SOT 10978 SOS 4586 HAS SOPS 4586 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2900.586
AT ITER 948 NEW BEST:: SOT 10958 SOS 4566 HAS SOPS 4566 HAS SOUS 2876 HAS SOUPS 2876 WITH SCORE 2880.566
AT ITER 982 NEW BEST:: SOT 10979 SOS 4572 HAS SOPS 4572 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2860.572
AT ITER 985 NEW BEST:: SOT 10974 SOS 4562 HAS SOPS 4562 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2855.562
AT ITER 998 NEW BEST:: SOT 10995 SOS 4573 HAS SOPS 4573 HAS SOUS 2848 HAS SOUPS 2848 WITH SCORE 2852.573
AT ITER 999 NEW BEST:: SOT 10998 SOS 4566 HAS SOPS 4566 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2848.566
AT ITER 1030 NEW BEST:: SOT 10993 SOS 4562 HAS SOPS 4562 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2848.562
AT ITER 1052 NEW BEST:: SOT 10984 SOS 4557 HAS SOPS 4557 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2843.557
AT ITER 1069 NEW BEST:: SOT 10975 SOS 4533 HAS SOPS 4533 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2829.533
AT ITER 1092 NEW BEST:: SOT 10987 SOS 4535 HAS SOPS 4535 HAS SOUS 2810 HAS SOUPS 2810 WITH SCORE 2814.535
AT ITER 1100 NEW BEST:: SOT 10965 SOS 4484 HAS SOPS 4484 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2800.484
AT ITER 1111 NEW BEST:: SOT 10956 SOS 4466 HAS SOPS 4466 HAS SOUS 2788 HAS SOUPS 2788 WITH SCORE 2792.466
AT ITER 1113 NEW BEST:: SOT 10962 SOS 4448 HAS SOPS 4448 HAS SOUS 2788 HAS SOUPS 2788 WITH SCORE 2792.448
AT ITER 1126 NEW BEST:: SOT 10962 SOS 4430 HAS SOPS 4430 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2786.43
AT ITER 1144 NEW BEST:: SOT 10960 SOS 4431 HAS SOPS 4431 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2783.431
AT ITER 1148 NEW BEST:: SOT 10952 SOS 4423 HAS SOPS 4423 HAS SOUS 2771 HAS SOUPS 2771 WITH SCORE 2775.423
AT ITER 1190 NEW BEST:: SOT 10953 SOS 4419 HAS SOPS 4419 HAS SOUS 2761 HAS SOUPS 2761 WITH SCORE 2765.419
AT ITER 1194 NEW BEST:: SOT 10950 SOS 4411 HAS SOPS 4411 HAS SOUS 2758 HAS SOUPS 2758 WITH SCORE 2762.411
AT ITER 1207 NEW BEST:: SOT 10950 SOS 4391 HAS SOPS 4391 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2758.391
AT ITER 1211 NEW BEST:: SOT 10957 SOS 4398 HAS SOPS 4398 HAS SOUS 2749 HAS SOUPS 2749 WITH SCORE 2753.398
AT ITER 1222 NEW BEST:: SOT 10955 SOS 4318 HAS SOPS 4318 HAS SOUS 2697 HAS SOUPS 2697 WITH SCORE 2701.318
AT ITER 1258 NEW BEST:: SOT 10950 SOS 4303 HAS SOPS 4303 HAS SOUS 2692 HAS SOUPS 2692 WITH SCORE 2696.303
AT ITER 1268 NEW BEST:: SOT 10944 SOS 4297 HAS SOPS 4297 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2688.297
AT ITER 1277 NEW BEST:: SOT 10935 SOS 4290 HAS SOPS 4290 HAS SOUS 2680 HAS SOUPS 2680 WITH SCORE 2684.29
AT ITER 1278 NEW BEST:: SOT 10932 SOS 4284 HAS SOPS 4284 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2682.284
AT ITER 1285 NEW BEST:: SOT 10935 SOS 4283 HAS SOPS 4283 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2681.283
AT ITER 1290 NEW BEST:: SOT 10910 SOS 4254 HAS SOPS 4254 HAS SOUS 2653 HAS SOUPS 2653 WITH SCORE 2657.254
AT ITER 1313 NEW BEST:: SOT 10912 SOS 4259 HAS SOPS 4259 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2655.259
AT ITER 1339 NEW BEST:: SOT 10914 SOS 4253 HAS SOPS 4253 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2651.253
AT ITER 1347 NEW BEST:: SOT 10921 SOS 4259 HAS SOPS 4259 HAS SOUS 2646 HAS SOUPS 2646 WITH SCORE 2650.259
AT ITER 1351 NEW BEST:: SOT 10918 SOS 4250 HAS SOPS 4250 HAS SOUS 2646 HAS SOUPS 2646 WITH SCORE 2650.25
AT ITER 1373 NEW BEST:: SOT 10909 SOS 4225 HAS SOPS 4225 HAS SOUS 2636 HAS SOUPS 2636 WITH SCORE 2640.225
AT ITER 1387 NEW BEST:: SOT 10906 SOS 4226 HAS SOPS 4226 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2636.226
AT ITER 1409 NEW BEST:: SOT 10908 SOS 4206 HAS SOPS 4206 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2628.206
AT ITER 1416 NEW BEST:: SOT 10925 SOS 4156 HAS SOPS 4156 HAS SOUS 2623 HAS SOUPS 2623 WITH SCORE 2627.156
AT ITER 1440 NEW BEST:: SOT 10926 SOS 4139 HAS SOPS 4139 HAS SOUS 2606 HAS SOUPS 2606 WITH SCORE 2610.139
AT ITER 1450 NEW BEST:: SOT 10925 SOS 4139 HAS SOPS 4139 HAS SOUS 2605 HAS SOUPS 2605 WITH SCORE 2609.139
AT ITER 1476 NEW BEST:: SOT 10925 SOS 4138 HAS SOPS 4138 HAS SOUS 2604 HAS SOUPS 2604 WITH SCORE 2608.138
AT ITER 1490 NEW BEST:: SOT 10922 SOS 4135 HAS SOPS 4135 HAS SOUS 2602 HAS SOUPS 2602 WITH SCORE 2606.135
AT ITER 1534 NEW BEST:: SOT 10918 SOS 4129 HAS SOPS 4129 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2599.129
AT ITER 1539 NEW BEST:: SOT 10914 SOS 4122 HAS SOPS 4122 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2594.122
AT ITER 1550 NEW BEST:: SOT 10922 SOS 4086 HAS SOPS 4086 HAS SOUS 2587 HAS SOUPS 2587 WITH SCORE 2591.086
AT ITER 1563 NEW BEST:: SOT 10837 SOS 4196 HAS SOPS 4196 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2553.196
AT ITER 1569 NEW BEST:: SOT 10832 SOS 4191 HAS SOPS 4191 HAS SOUS 2546 HAS SOUPS 2546 WITH SCORE 2550.191
AT ITER 1572 NEW BEST:: SOT 10828 SOS 4187 HAS SOPS 4187 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2542.187
AT ITER 1606 NEW BEST:: SOT 10828 SOS 4187 HAS SOPS 4187 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2538.187
AT ITER 1631 NEW BEST:: SOT 10796 SOS 4155 HAS SOPS 4155 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2522.155
AT ITER 1645 NEW BEST:: SOT 10795 SOS 4155 HAS SOPS 4155 HAS SOUS 2515 HAS SOUPS 2515 WITH SCORE 2519.155
AT ITER 1647 NEW BEST:: SOT 10763 SOS 4229 HAS SOPS 4229 HAS SOUS 2505 HAS SOUPS 2505 WITH SCORE 2509.229
AT ITER 1648 NEW BEST:: SOT 10761 SOS 4223 HAS SOPS 4223 HAS SOUS 2503 HAS SOUPS 2503 WITH SCORE 2507.223
AT ITER 1655 NEW BEST:: SOT 10753 SOS 4192 HAS SOPS 4192 HAS SOUS 2485 HAS SOUPS 2485 WITH SCORE 2489.192
AT ITER 1690 NEW BEST:: SOT 10773 SOS 4181 HAS SOPS 4181 HAS SOUS 2476 HAS SOUPS 2476 WITH SCORE 2480.181
AT ITER 1691 NEW BEST:: SOT 10769 SOS 4178 HAS SOPS 4178 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2478.178
AT ITER 1723 NEW BEST:: SOT 10766 SOS 4166 HAS SOPS 4166 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2468.166
AT ITER 1764 NEW BEST:: SOT 10780 SOS 4152 HAS SOPS 4152 HAS SOUS 2450 HAS SOUPS 2450 WITH SCORE 2454.152
AT ITER 1765 NEW BEST:: SOT 10776 SOS 4148 HAS SOPS 4148 HAS SOUS 2449 HAS SOUPS 2449 WITH SCORE 2453.148
AT ITER 1792 NEW BEST:: SOT 10773 SOS 4143 HAS SOPS 4143 HAS SOUS 2446 HAS SOUPS 2446 WITH SCORE 2450.143
AT ITER 1841 NEW BEST:: SOT 10754 SOS 4109 HAS SOPS 4109 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2433.109
AT ITER 1881 NEW BEST:: SOT 10748 SOS 4103 HAS SOPS 4103 HAS SOUS 2423 HAS SOUPS 2423 WITH SCORE 2427.103
AT ITER 1906 NEW BEST:: SOT 10747 SOS 4103 HAS SOPS 4103 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2425.103
AT ITER 1917 NEW BEST:: SOT 10738 SOS 4094 HAS SOPS 4094 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2425.094
AT ITER 1935 NEW BEST:: SOT 10707 SOS 4082 HAS SOPS 4082 HAS SOUS 2408 HAS SOUPS 2408 WITH SCORE 2412.082
AT ITER 1987 NEW BEST:: SOT 10712 SOS 4081 HAS SOPS 4081 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2411.081
AT ITER 2007 NEW BEST:: SOT 10700 SOS 4077 HAS SOPS 4077 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2407.077
AT ITER 2011 NEW BEST:: SOT 10700 SOS 4076 HAS SOPS 4076 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2407.076
AT ITER 2068 NEW BEST:: SOT 10696 SOS 4096 HAS SOPS 4096 HAS SOUS 2399 HAS SOUPS 2399 WITH SCORE 2403.096
AT ITER 2104 NEW BEST:: SOT 10697 SOS 4151 HAS SOPS 4151 HAS SOUS 2396 HAS SOUPS 2396 WITH SCORE 2400.151
AT ITER 2113 NEW BEST:: SOT 10676 SOS 4125 HAS SOPS 4125 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2370.125
AT ITER 2128 NEW BEST:: SOT 10674 SOS 4123 HAS SOPS 4123 HAS SOUS 2364 HAS SOUPS 2364 WITH SCORE 2368.123
AT ITER 2143 NEW BEST:: SOT 10665 SOS 4114 HAS SOPS 4114 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2366.114
AT ITER 2147 NEW BEST:: SOT 10664 SOS 4160 HAS SOPS 4160 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2365.16
AT ITER 2148 NEW BEST:: SOT 10656 SOS 4155 HAS SOPS 4155 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2365.155
AT ITER 2167 NEW BEST:: SOT 10630 SOS 4093 HAS SOPS 4093 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2348.093
AT ITER 2185 NEW BEST:: SOT 10624 SOS 4099 HAS SOPS 4099 HAS SOUS 2338 HAS SOUPS 2338 WITH SCORE 2342.099
AT ITER 2201 NEW BEST:: SOT 10622 SOS 4095 HAS SOPS 4095 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2337.095
AT ITER 2212 NEW BEST:: SOT 10629 SOS 4130 HAS SOPS 4130 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2332.13
AT ITER 2214 NEW BEST:: SOT 10623 SOS 4124 HAS SOPS 4124 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2319.124
AT ITER 2221 NEW BEST:: SOT 10623 SOS 4122 HAS SOPS 4122 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2318.122
AT ITER 2229 NEW BEST:: SOT 10622 SOS 4121 HAS SOPS 4121 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2317.121
AT ITER 2249 NEW BEST:: SOT 10620 SOS 4116 HAS SOPS 4116 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2312.116
AT ITER 2266 NEW BEST:: SOT 10620 SOS 4114 HAS SOPS 4114 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2312.114
AT ITER 2299 NEW BEST:: SOT 10620 SOS 4108 HAS SOPS 4108 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2311.108
AT ITER 2312 NEW BEST:: SOT 10620 SOS 4107 HAS SOPS 4107 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2310.107
AT ITER 2346 NEW BEST:: SOT 10614 SOS 4098 HAS SOPS 4098 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2307.098
AT ITER 2351 NEW BEST:: SOT 10599 SOS 4131 HAS SOPS 4131 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2298.131
AT ITER 2365 NEW BEST:: SOT 10598 SOS 4129 HAS SOPS 4129 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2296.129
AT ITER 2388 NEW BEST:: SOT 10595 SOS 4116 HAS SOPS 4116 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2290.116
AT ITER 2428 NEW BEST:: SOT 10593 SOS 4116 HAS SOPS 4116 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2288.116
AT ITER 2439 NEW BEST:: SOT 10593 SOS 4109 HAS SOPS 4109 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2288.109
AT ITER 2484 NEW BEST:: SOT 10522 SOS 4088 HAS SOPS 4088 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2229.088
AT ITER 2493 NEW BEST:: SOT 10519 SOS 4081 HAS SOPS 4081 HAS SOUS 2220 HAS SOUPS 2220 WITH SCORE 2224.081
AT ITER 2510 NEW BEST:: SOT 10514 SOS 4082 HAS SOPS 4082 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2219.082
AT ITER 2514 NEW BEST:: SOT 10514 SOS 4072 HAS SOPS 4072 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2214.072
AT ITER 2542 NEW BEST:: SOT 10513 SOS 4070 HAS SOPS 4070 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2209.07
AT ITER 2558 NEW BEST:: SOT 10529 SOS 4056 HAS SOPS 4056 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2209.056
AT ITER 2615 NEW BEST:: SOT 10527 SOS 4054 HAS SOPS 4054 HAS SOUS 2199 HAS SOUPS 2199 WITH SCORE 2203.054
AT ITER 2659 NEW BEST:: SOT 10527 SOS 4053 HAS SOPS 4053 HAS SOUS 2199 HAS SOUPS 2199 WITH SCORE 2203.053
AT ITER 2660 NEW BEST:: SOT 10544 SOS 4050 HAS SOPS 4050 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2200.05
AT ITER 2661 NEW BEST:: SOT 10540 SOS 4035 HAS SOPS 4035 HAS SOUS 2193 HAS SOUPS 2193 WITH SCORE 2197.035
AT ITER 2674 NEW BEST:: SOT 10534 SOS 4029 HAS SOPS 4029 HAS SOUS 2187 HAS SOUPS 2187 WITH SCORE 2191.029
AT ITER 2677 NEW BEST:: SOT 10533 SOS 4026 HAS SOPS 4026 HAS SOUS 2184 HAS SOUPS 2184 WITH SCORE 2188.026
AT ITER 2699 NEW BEST:: SOT 10529 SOS 4022 HAS SOPS 4022 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2185.022
AT ITER 2731 NEW BEST:: SOT 10529 SOS 4018 HAS SOPS 4018 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2183.018
AT ITER 2746 NEW BEST:: SOT 10529 SOS 4016 HAS SOPS 4016 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2181.016
AT ITER 2756 NEW BEST:: SOT 10539 SOS 4036 HAS SOPS 4036 HAS SOUS 2171 HAS SOUPS 2171 WITH SCORE 2175.036
AT ITER 2783 NEW BEST:: SOT 10481 SOS 4343 HAS SOPS 4343 HAS SOUS 2153 HAS SOUPS 2153 WITH SCORE 2157.343
AT ITER 2791 NEW BEST:: SOT 10445 SOS 4307 HAS SOPS 4307 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2140.307
AT ITER 2820 NEW BEST:: SOT 10443 SOS 4309 HAS SOPS 4309 HAS SOUS 2134 HAS SOUPS 2134 WITH SCORE 2138.309
AT ITER 2827 NEW BEST:: SOT 10455 SOS 4323 HAS SOPS 4323 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2135.323
AT ITER 2840 NEW BEST:: SOT 10448 SOS 4313 HAS SOPS 4313 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2129.313
AT ITER 2841 NEW BEST:: SOT 10444 SOS 4305 HAS SOPS 4305 HAS SOUS 2121 HAS SOUPS 2121 WITH SCORE 2125.305
AT ITER 2847 NEW BEST:: SOT 10434 SOS 4335 HAS SOPS 4335 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2120.335
AT ITER 2861 NEW BEST:: SOT 10418 SOS 4327 HAS SOPS 4327 HAS SOUS 2108 HAS SOUPS 2108 WITH SCORE 2112.327
AT ITER 2879 NEW BEST:: SOT 10415 SOS 4304 HAS SOPS 4304 HAS SOUS 2103 HAS SOUPS 2103 WITH SCORE 2107.304
AT ITER 2958 NEW BEST:: SOT 10415 SOS 4300 HAS SOPS 4300 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2105.3
AT ITER 2963 NEW BEST:: SOT 10412 SOS 4284 HAS SOPS 4284 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2105.284
AT ITER 2988 NEW BEST:: SOT 10410 SOS 4282 HAS SOPS 4282 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2104.282
AT ITER 2999 NEW BEST:: SOT 10409 SOS 4280 HAS SOPS 4280 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2102.28
AT ITER 3007 NEW BEST:: SOT 10427 SOS 4154 HAS SOPS 4154 HAS SOUS 2091 HAS SOUPS 2091 WITH SCORE 2095.154
AT ITER 3010 NEW BEST:: SOT 10427 SOS 4154 HAS SOPS 4154 HAS SOUS 2089 HAS SOUPS 2089 WITH SCORE 2093.154
AT ITER 3018 NEW BEST:: SOT 10428 SOS 4144 HAS SOPS 4144 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2089.144
AT ITER 3019 NEW BEST:: SOT 10405 SOS 4098 HAS SOPS 4098 HAS SOUS 2051 HAS SOUPS 2051 WITH SCORE 2055.098
AT ITER 3046 NEW BEST:: SOT 10395 SOS 4088 HAS SOPS 4088 HAS SOUS 2041 HAS SOUPS 2041 WITH SCORE 2045.088
AT ITER 3047 NEW BEST:: SOT 10389 SOS 4077 HAS SOPS 4077 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2031.077
AT ITER 3048 NEW BEST:: SOT 10387 SOS 4052 HAS SOPS 4052 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1990.052
AT ITER 3050 NEW BEST:: SOT 10387 SOS 4051 HAS SOPS 4051 HAS SOUS 1985 HAS SOUPS 1985 WITH SCORE 1989.051
AT ITER 3068 NEW BEST:: SOT 10387 SOS 4047 HAS SOPS 4047 HAS SOUS 1985 HAS SOUPS 1985 WITH SCORE 1989.047
AT ITER 3127 NEW BEST:: SOT 10382 SOS 4050 HAS SOPS 4050 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1987.05
AT ITER 3160 NEW BEST:: SOT 10388 SOS 3999 HAS SOPS 3999 HAS SOUS 1968 HAS SOUPS 1968 WITH SCORE 1971.999
AT ITER 3218 NEW BEST:: SOT 10391 SOS 3996 HAS SOPS 3996 HAS SOUS 1968 HAS SOUPS 1968 WITH SCORE 1971.996
AT ITER 3225 NEW BEST:: SOT 10284 SOS 4263 HAS SOPS 4263 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1936.263
AT ITER 3279 NEW BEST:: SOT 10278 SOS 4240 HAS SOPS 4240 HAS SOUS 1911 HAS SOUPS 1911 WITH SCORE 1915.24
AT ITER 3280 NEW BEST:: SOT 10274 SOS 4230 HAS SOPS 4230 HAS SOUS 1911 HAS SOUPS 1911 WITH SCORE 1915.23
AT ITER 3321 NEW BEST:: SOT 10271 SOS 4238 HAS SOPS 4238 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1911.238
AT ITER 3460 NEW BEST:: SOT 10271 SOS 4200 HAS SOPS 4200 HAS SOUS 1898 HAS SOUPS 1898 WITH SCORE 1902.2
AT ITER 3499 NEW BEST:: SOT 10267 SOS 4196 HAS SOPS 4196 HAS SOUS 1896 HAS SOUPS 1896 WITH SCORE 1900.196
AT ITER 3507 NEW BEST:: SOT 10241 SOS 4144 HAS SOPS 4144 HAS SOUS 1878 HAS SOUPS 1878 WITH SCORE 1882.144
AT ITER 3508 NEW BEST:: SOT 10239 SOS 4128 HAS SOPS 4128 HAS SOUS 1876 HAS SOUPS 1876 WITH SCORE 1880.128
AT ITER 3532 NEW BEST:: SOT 10237 SOS 4122 HAS SOPS 4122 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1878.122
AT ITER 3620 NEW BEST:: SOT 10264 SOS 3874 HAS SOPS 3874 HAS SOUS 1872 HAS SOUPS 1872 WITH SCORE 1875.874
AT ITER 3650 NEW BEST:: SOT 10263 SOS 3874 HAS SOPS 3874 HAS SOUS 1869 HAS SOUPS 1869 WITH SCORE 1872.874
AT ITER 3687 NEW BEST:: SOT 10262 SOS 3875 HAS SOPS 3875 HAS SOUS 1868 HAS SOUPS 1868 WITH SCORE 1871.875
AT ITER 3690 NEW BEST:: SOT 10258 SOS 3865 HAS SOPS 3865 HAS SOUS 1867 HAS SOUPS 1867 WITH SCORE 1870.865
AT ITER 3694 NEW BEST:: SOT 10258 SOS 3865 HAS SOPS 3865 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1869.865
AT ITER 3743 NEW BEST:: SOT 10258 SOS 3862 HAS SOPS 3862 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1868.862
AT ITER 3769 NEW BEST:: SOT 10258 SOS 3862 HAS SOPS 3862 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1866.862
AT ITER 3789 NEW BEST:: SOT 10258 SOS 3866 HAS SOPS 3866 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1865.866
AT ITER 3826 NEW BEST:: SOT 10242 SOS 3876 HAS SOPS 3876 HAS SOUS 1857 HAS SOUPS 1857 WITH SCORE 1860.876
AT ITER 3869 NEW BEST:: SOT 10234 SOS 3891 HAS SOPS 3891 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1857.891
AT ITER 3936 NEW BEST:: SOT 10234 SOS 3889 HAS SOPS 3889 HAS SOUS 1852 HAS SOUPS 1852 WITH SCORE 1855.889
AT ITER 3940 NEW BEST:: SOT 10232 SOS 3887 HAS SOPS 3887 HAS SOUS 1850 HAS SOUPS 1850 WITH SCORE 1853.887
AT ITER 3950 NEW BEST:: SOT 10230 SOS 3899 HAS SOPS 3899 HAS SOUS 1848 HAS SOUPS 1848 WITH SCORE 1851.899
AT ITER 3977 NEW BEST:: SOT 10227 SOS 3896 HAS SOPS 3896 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1848.896
AT ITER 3989 NEW BEST:: SOT 10201 SOS 3847 HAS SOPS 3847 HAS SOUS 1827 HAS SOUPS 1827 WITH SCORE 1830.847
AT ITER 4021 NEW BEST:: SOT 10202 SOS 3848 HAS SOPS 3848 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1829.848
AT ITER 4116 NEW BEST:: SOT 10203 SOS 3847 HAS SOPS 3847 HAS SOUS 1825 HAS SOUPS 1825 WITH SCORE 1828.847
AT ITER 4142 NEW BEST:: SOT 10203 SOS 3846 HAS SOPS 3846 HAS SOUS 1825 HAS SOUPS 1825 WITH SCORE 1828.846
AT ITER 4178 NEW BEST:: SOT 10186 SOS 3837 HAS SOPS 3837 HAS SOUS 1811 HAS SOUPS 1811 WITH SCORE 1814.837
AT ITER 4269 NEW BEST:: SOT 10185 SOS 3836 HAS SOPS 3836 HAS SOUS 1810 HAS SOUPS 1810 WITH SCORE 1813.836
AT ITER 4314 NEW BEST:: SOT 10137 SOS 3854 HAS SOPS 3854 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1784.854
AT ITER 4317 NEW BEST:: SOT 10129 SOS 3846 HAS SOPS 3846 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1782.846
AT ITER 4321 NEW BEST:: SOT 10130 SOS 3847 HAS SOPS 3847 HAS SOUS 1772 HAS SOUPS 1772 WITH SCORE 1775.847
AT ITER 4351 NEW BEST:: SOT 10122 SOS 3837 HAS SOPS 3837 HAS SOUS 1769 HAS SOUPS 1769 WITH SCORE 1772.837
AT ITER 4369 NEW BEST:: SOT 10129 SOS 3832 HAS SOPS 3832 HAS SOUS 1764 HAS SOUPS 1764 WITH SCORE 1767.832
AT ITER 4437 NEW BEST:: SOT 10125 SOS 3824 HAS SOPS 3824 HAS SOUS 1757 HAS SOUPS 1757 WITH SCORE 1760.824
AT ITER 4447 NEW BEST:: SOT 10125 SOS 3822 HAS SOPS 3822 HAS SOUS 1755 HAS SOUPS 1755 WITH SCORE 1758.822
AT ITER 4470 NEW BEST:: SOT 10122 SOS 3816 HAS SOPS 3816 HAS SOUS 1752 HAS SOUPS 1752 WITH SCORE 1755.816
AT ITER 4479 NEW BEST:: SOT 10122 SOS 3816 HAS SOPS 3816 HAS SOUS 1750 HAS SOUPS 1750 WITH SCORE 1753.816
AT ITER 4526 NEW BEST:: SOT 10132 SOS 3809 HAS SOPS 3809 HAS SOUS 1748 HAS SOUPS 1748 WITH SCORE 1751.809
AT ITER 4537 NEW BEST:: SOT 10132 SOS 3801 HAS SOPS 3801 HAS SOUS 1743 HAS SOUPS 1743 WITH SCORE 1746.801
AT ITER 4586 NEW BEST:: SOT 10128 SOS 3797 HAS SOPS 3797 HAS SOUS 1739 HAS SOUPS 1739 WITH SCORE 1742.797
AT ITER 4602 NEW BEST:: SOT 10127 SOS 3795 HAS SOPS 3795 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1740.795
AT ITER 4616 NEW BEST:: SOT 10124 SOS 3789 HAS SOPS 3789 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1740.789
AT ITER 4644 NEW BEST:: SOT 10124 SOS 3789 HAS SOPS 3789 HAS SOUS 1736 HAS SOUPS 1736 WITH SCORE 1739.789
AT ITER 4751 NEW BEST:: SOT 10132 SOS 3750 HAS SOPS 3750 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1735.75
AT ITER 4806 NEW BEST:: SOT 10130 SOS 3740 HAS SOPS 3740 HAS SOUS 1725 HAS SOUPS 1725 WITH SCORE 1728.74
AT ITER 4855 NEW BEST:: SOT 10130 SOS 3738 HAS SOPS 3738 HAS SOUS 1725 HAS SOUPS 1725 WITH SCORE 1728.738
AT ITER 4890 NEW BEST:: SOT 10129 SOS 3736 HAS SOPS 3736 HAS SOUS 1722 HAS SOUPS 1722 WITH SCORE 1725.736
AT ITER 4893 NEW BEST:: SOT 10128 SOS 3734 HAS SOPS 3734 HAS SOUS 1721 HAS SOUPS 1721 WITH SCORE 1724.734
AT ITER 4966 NEW BEST:: SOT 10111 SOS 3726 HAS SOPS 3726 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1717.726
AT ITER 4967 NEW BEST:: SOT 10073 SOS 3848 HAS SOPS 3848 HAS SOUS 1704 HAS SOUPS 1704 WITH SCORE 1707.848
AT ITER 5009 NEW BEST:: SOT 10068 SOS 3843 HAS SOPS 3843 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1704.843
AT ITER 5028 NEW BEST:: SOT 10066 SOS 3841 HAS SOPS 3841 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1703.841
AT ITER 5069 NEW BEST:: SOT 10064 SOS 3853 HAS SOPS 3853 HAS SOUS 1688 HAS SOUPS 1688 WITH SCORE 1691.853
AT ITER 5129 NEW BEST:: SOT 10063 SOS 3849 HAS SOPS 3849 HAS SOUS 1686 HAS SOUPS 1686 WITH SCORE 1689.849
AT ITER 5152 NEW BEST:: SOT 10054 SOS 3843 HAS SOPS 3843 HAS SOUS 1684 HAS SOUPS 1684 WITH SCORE 1687.843
AT ITER 5209 NEW BEST:: SOT 10053 SOS 3845 HAS SOPS 3845 HAS SOUS 1682 HAS SOUPS 1682 WITH SCORE 1685.845
AT ITER 5237 NEW BEST:: SOT 10057 SOS 3841 HAS SOPS 3841 HAS SOUS 1678 HAS SOUPS 1678 WITH SCORE 1681.841
AT ITER 5324 NEW BEST:: SOT 10051 SOS 3835 HAS SOPS 3835 HAS SOUS 1675 HAS SOUPS 1675 WITH SCORE 1678.835
AT ITER 5327 NEW BEST:: SOT 10050 SOS 3834 HAS SOPS 3834 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1676.834
AT ITER 5397 NEW BEST:: SOT 10048 SOS 3830 HAS SOPS 3830 HAS SOUS 1671 HAS SOUPS 1671 WITH SCORE 1674.83
AT ITER 5472 NEW BEST:: SOT 10054 SOS 3832 HAS SOPS 3832 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1668.832
AT ITER 5524 NEW BEST:: SOT 10057 SOS 3829 HAS SOPS 3829 HAS SOUS 1662 HAS SOUPS 1662 WITH SCORE 1665.829
AT ITER 5539 NEW BEST:: SOT 10060 SOS 3825 HAS SOPS 3825 HAS SOUS 1658 HAS SOUPS 1658 WITH SCORE 1661.825
AT ITER 5634 NEW BEST:: SOT 10057 SOS 3822 HAS SOPS 3822 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1659.822
AT ITER 5705 NEW BEST:: SOT 10056 SOS 3821 HAS SOPS 3821 HAS SOUS 1650 HAS SOUPS 1650 WITH SCORE 1653.821
AT ITER 5838 NEW BEST:: SOT 10051 SOS 3816 HAS SOPS 3816 HAS SOUS 1640 HAS SOUPS 1640 WITH SCORE 1643.816
AT ITER 5922 NEW BEST:: SOT 10035 SOS 3866 HAS SOPS 3866 HAS SOUS 1634 HAS SOUPS 1634 WITH SCORE 1637.866
AT ITER 5993 NEW BEST:: SOT 10035 SOS 3866 HAS SOPS 3866 HAS SOUS 1631 HAS SOUPS 1631 WITH SCORE 1634.866
AT ITER 6031 NEW BEST:: SOT 10014 SOS 3841 HAS SOPS 3841 HAS SOUS 1611 HAS SOUPS 1611 WITH SCORE 1614.841
AT ITER 6367 NEW BEST:: SOT 10013 SOS 3841 HAS SOPS 3841 HAS SOUS 1610 HAS SOUPS 1610 WITH SCORE 1613.841
AT ITER 6422 NEW BEST:: SOT 9992 SOS 3813 HAS SOPS 3813 HAS SOUS 1589 HAS SOUPS 1589 WITH SCORE 1592.813
AT ITER 6460 NEW BEST:: SOT 9991 SOS 3812 HAS SOPS 3812 HAS SOUS 1587 HAS SOUPS 1587 WITH SCORE 1590.812
AT ITER 6532 NEW BEST:: SOT 9992 SOS 3823 HAS SOPS 3823 HAS SOUS 1586 HAS SOUPS 1586 WITH SCORE 1589.823
AT ITER 6937 NEW BEST:: SOT 9990 SOS 3819 HAS SOPS 3819 HAS SOUS 1583 HAS SOUPS 1583 WITH SCORE 1586.819
AT ITER 6984 NEW BEST:: SOT 9984 SOS 3813 HAS SOPS 3813 HAS SOUS 1576 HAS SOUPS 1576 WITH SCORE 1579.813
AT ITER 7229 NEW BEST:: SOT 9986 SOS 3821 HAS SOPS 3821 HAS SOUS 1575 HAS SOUPS 1575 WITH SCORE 1578.821
AT ITER 7427 NEW BEST:: SOT 9986 SOS 3817 HAS SOPS 3817 HAS SOUS 1575 HAS SOUPS 1575 WITH SCORE 1578.817
AT ITER 7446 NEW BEST:: SOT 9986 SOS 3817 HAS SOPS 3817 HAS SOUS 1572 HAS SOUPS 1572 WITH SCORE 1575.817
AT ITER 7490 NEW BEST:: SOT 9989 SOS 3818 HAS SOPS 3818 HAS SOUS 1571 HAS SOUPS 1571 WITH SCORE 1574.818
AT ITER 7519 NEW BEST:: SOT 9981 SOS 3806 HAS SOPS 3806 HAS SOUS 1565 HAS SOUPS 1565 WITH SCORE 1568.806
AT ITER 7537 NEW BEST:: SOT 9980 SOS 3804 HAS SOPS 3804 HAS SOUS 1564 HAS SOUPS 1564 WITH SCORE 1567.804
AT ITER 7583 NEW BEST:: SOT 9976 SOS 3800 HAS SOPS 3800 HAS SOUS 1560 HAS SOUPS 1560 WITH SCORE 1563.8
AT ITER 7641 NEW BEST:: SOT 9973 SOS 3791 HAS SOPS 3791 HAS SOUS 1559 HAS SOUPS 1559 WITH SCORE 1562.791
AT ITER 7712 NEW BEST:: SOT 9969 SOS 3787 HAS SOPS 3787 HAS SOUS 1559 HAS SOUPS 1559 WITH SCORE 1562.787
AT ITER 7750 NEW BEST:: SOT 9968 SOS 3788 HAS SOPS 3788 HAS SOUS 1558 HAS SOUPS 1558 WITH SCORE 1561.788
AT ITER 7800 NEW BEST:: SOT 9968 SOS 3786 HAS SOPS 3786 HAS SOUS 1558 HAS SOUPS 1558 WITH SCORE 1561.786
AT ITER 7803 NEW BEST:: SOT 9970 SOS 3783 HAS SOPS 3783 HAS SOUS 1558 HAS SOUPS 1558 WITH SCORE 1561.783
AT ITER 7947 NEW BEST:: SOT 9966 SOS 3825 HAS SOPS 3825 HAS SOUS 1556 HAS SOUPS 1556 WITH SCORE 1559.825
AT ITER 7956 NEW BEST:: SOT 9970 SOS 3826 HAS SOPS 3826 HAS SOUS 1554 HAS SOUPS 1554 WITH SCORE 1557.826
AT ITER 7964 NEW BEST:: SOT 9968 SOS 3824 HAS SOPS 3824 HAS SOUS 1552 HAS SOUPS 1552 WITH SCORE 1555.824
AT ITER 8047 NEW BEST:: SOT 9964 SOS 3820 HAS SOPS 3820 HAS SOUS 1550 HAS SOUPS 1550 WITH SCORE 1553.82
AT ITER 8124 NEW BEST:: SOT 9959 SOS 3815 HAS SOPS 3815 HAS SOUS 1545 HAS SOUPS 1545 WITH SCORE 1548.815
AT ITER 8183 NEW BEST:: SOT 9953 SOS 3811 HAS SOPS 3811 HAS SOUS 1541 HAS SOUPS 1541 WITH SCORE 1544.811
AT ITER 8324 NEW BEST:: SOT 9953 SOS 3819 HAS SOPS 3819 HAS SOUS 1538 HAS SOUPS 1538 WITH SCORE 1541.819
AT ITER 8464 NEW BEST:: SOT 9952 SOS 3817 HAS SOPS 3817 HAS SOUS 1536 HAS SOUPS 1536 WITH SCORE 1539.817
AT ITER 9000 NEW BEST:: SOT 9953 SOS 3816 HAS SOPS 3816 HAS SOUS 1535 HAS SOUPS 1535 WITH SCORE 1538.816
AT ITER 9095 NEW BEST:: SOT 9941 SOS 3815 HAS SOPS 3815 HAS SOUS 1534 HAS SOUPS 1534 WITH SCORE 1537.815
AT ITER 9460 NEW BEST:: SOT 9941 SOS 3814 HAS SOPS 3814 HAS SOUS 1534 HAS SOUPS 1534 WITH SCORE 1537.814
AT ITER 9637 NEW BEST:: SOT 9939 SOS 3813 HAS SOPS 3813 HAS SOUS 1534 HAS SOUPS 1534 WITH SCORE 1537.813
AT ITER 9877 NEW BEST:: SOT 9934 SOS 3808 HAS SOPS 3808 HAS SOUS 1529 HAS SOUPS 1529 WITH SCORE 1532.808
STATE_SPACE STATES 26085150 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 23 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 238899108 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679310524801

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

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