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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 968K
-rw-r--r-- 1 mcc users 18K Feb 26 14:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 26 14:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 29K Feb 26 14:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 146K Feb 26 14:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 43K Feb 26 14:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 218K Feb 26 14:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 33K Feb 26 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 146K Feb 26 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 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 1679311449410

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-Z2T4N06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 11:24:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 11:24:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 11:24:11] [INFO ] Load time of PNML (sax parser for PT used): 70 ms
[2023-03-20 11:24:11] [INFO ] Transformed 106 places.
[2023-03-20 11:24:11] [INFO ] Transformed 162 transitions.
[2023-03-20 11:24:11] [INFO ] Parsed PT model containing 106 places and 162 transitions and 510 arcs in 377 ms.
[2023-03-20 11:24:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 106 places, 162 transitions and 510 arcs took 8 ms.
Total runtime 470 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z2T4N06
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 2 NEW BEST:: SOT 13806 SOS 10262 HAS SOPS 10262 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6967.262
AT ITER 10 NEW BEST:: SOT 13774 SOS 10198 HAS SOPS 10198 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6933.198
AT ITER 11 NEW BEST:: SOT 12081 SOS 8636 HAS SOPS 8636 HAS SOUS 5870 HAS SOUPS 5870 WITH SCORE 5878.636
AT ITER 13 NEW BEST:: SOT 12081 SOS 8620 HAS SOPS 8620 HAS SOUS 5848 HAS SOUPS 5848 WITH SCORE 5856.62
AT ITER 16 NEW BEST:: SOT 12043 SOS 8556 HAS SOPS 8556 HAS SOUS 5795 HAS SOUPS 5795 WITH SCORE 5803.556
AT ITER 22 NEW BEST:: SOT 12001 SOS 8544 HAS SOPS 8544 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5761.544
AT ITER 26 NEW BEST:: SOT 11999 SOS 8542 HAS SOPS 8542 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5757.542
AT ITER 27 NEW BEST:: SOT 12007 SOS 8526 HAS SOPS 8526 HAS SOUS 5725 HAS SOUPS 5725 WITH SCORE 5733.526
AT ITER 28 NEW BEST:: SOT 12035 SOS 8538 HAS SOPS 8538 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5729.538
AT ITER 29 NEW BEST:: SOT 11991 SOS 8476 HAS SOPS 8476 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5647.476
AT ITER 33 NEW BEST:: SOT 11955 SOS 8441 HAS SOPS 8441 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5613.441
AT ITER 34 NEW BEST:: SOT 11927 SOS 8371 HAS SOPS 8371 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5578.371
AT ITER 36 NEW BEST:: SOT 11853 SOS 8297 HAS SOPS 8297 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5504.297
AT ITER 37 NEW BEST:: SOT 11926 SOS 8390 HAS SOPS 8390 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5451.39
AT ITER 41 NEW BEST:: SOT 11977 SOS 8507 HAS SOPS 8507 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5443.507
AT ITER 47 NEW BEST:: SOT 11984 SOS 8506 HAS SOPS 8506 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5443.506
AT ITER 48 NEW BEST:: SOT 11982 SOS 8504 HAS SOPS 8504 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5441.504
AT ITER 49 NEW BEST:: SOT 11972 SOS 8464 HAS SOPS 8464 HAS SOUS 5269 HAS SOUPS 5269 WITH SCORE 5277.464
AT ITER 51 NEW BEST:: SOT 11941 SOS 8433 HAS SOPS 8433 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5261.433
AT ITER 53 NEW BEST:: SOT 11966 SOS 8365 HAS SOPS 8365 HAS SOUS 5201 HAS SOUPS 5201 WITH SCORE 5209.365
AT ITER 57 NEW BEST:: SOT 11941 SOS 8305 HAS SOPS 8305 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5118.305
AT ITER 59 NEW BEST:: SOT 11917 SOS 8218 HAS SOPS 8218 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5109.218
AT ITER 61 NEW BEST:: SOT 11888 SOS 8205 HAS SOPS 8205 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5082.205
AT ITER 63 NEW BEST:: SOT 11839 SOS 8163 HAS SOPS 8163 HAS SOUS 5046 HAS SOUPS 5046 WITH SCORE 5054.163
AT ITER 65 NEW BEST:: SOT 11772 SOS 8138 HAS SOPS 8138 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5035.138
AT ITER 67 NEW BEST:: SOT 11711 SOS 8077 HAS SOPS 8077 HAS SOUS 5024 HAS SOUPS 5024 WITH SCORE 5032.077
AT ITER 68 NEW BEST:: SOT 11681 SOS 8034 HAS SOPS 8034 HAS SOUS 4905 HAS SOUPS 4905 WITH SCORE 4913.034
AT ITER 71 NEW BEST:: SOT 11681 SOS 8037 HAS SOPS 8037 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4901.037
AT ITER 76 NEW BEST:: SOT 11683 SOS 8039 HAS SOPS 8039 HAS SOUS 4888 HAS SOUPS 4888 WITH SCORE 4896.039
AT ITER 80 NEW BEST:: SOT 11670 SOS 8023 HAS SOPS 8023 HAS SOUS 4817 HAS SOUPS 4817 WITH SCORE 4825.023
AT ITER 83 NEW BEST:: SOT 11663 SOS 8009 HAS SOPS 8009 HAS SOUS 4789 HAS SOUPS 4789 WITH SCORE 4797.009
AT ITER 84 NEW BEST:: SOT 11646 SOS 7959 HAS SOPS 7959 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4731.959
AT ITER 95 NEW BEST:: SOT 11673 SOS 8003 HAS SOPS 8003 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4661.003
AT ITER 96 NEW BEST:: SOT 11680 SOS 7939 HAS SOPS 7939 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4596.939
AT ITER 97 NEW BEST:: SOT 11614 SOS 7873 HAS SOPS 7873 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4569.873
AT ITER 100 NEW BEST:: SOT 11587 SOS 7866 HAS SOPS 7866 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4539.866
AT ITER 104 NEW BEST:: SOT 11587 SOS 7874 HAS SOPS 7874 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4531.874
AT ITER 105 NEW BEST:: SOT 11583 SOS 7872 HAS SOPS 7872 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4529.872
AT ITER 106 NEW BEST:: SOT 11594 SOS 7871 HAS SOPS 7871 HAS SOUS 4517 HAS SOUPS 4517 WITH SCORE 4524.871
AT ITER 107 NEW BEST:: SOT 11628 SOS 7905 HAS SOPS 7905 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4515.905
AT ITER 108 NEW BEST:: SOT 11615 SOS 7897 HAS SOPS 7897 HAS SOUS 4468 HAS SOUPS 4468 WITH SCORE 4475.897
AT ITER 115 NEW BEST:: SOT 11704 SOS 7949 HAS SOPS 7949 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4473.949
AT ITER 116 NEW BEST:: SOT 11703 SOS 7943 HAS SOPS 7943 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4471.943
AT ITER 127 NEW BEST:: SOT 11682 SOS 7888 HAS SOPS 7888 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4437.888
AT ITER 129 NEW BEST:: SOT 11681 SOS 7525 HAS SOPS 7525 HAS SOUS 4383 HAS SOUPS 4383 WITH SCORE 4390.525
AT ITER 130 NEW BEST:: SOT 11686 SOS 7556 HAS SOPS 7556 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4386.556
AT ITER 132 NEW BEST:: SOT 11714 SOS 7534 HAS SOPS 7534 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4363.534
AT ITER 135 NEW BEST:: SOT 11642 SOS 7456 HAS SOPS 7456 HAS SOUS 4279 HAS SOUPS 4279 WITH SCORE 4286.456
AT ITER 145 NEW BEST:: SOT 11632 SOS 7446 HAS SOPS 7446 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4252.446
AT ITER 146 NEW BEST:: SOT 11621 SOS 7433 HAS SOPS 7433 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4248.433
AT ITER 150 NEW BEST:: SOT 11592 SOS 7401 HAS SOPS 7401 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4227.401
AT ITER 155 NEW BEST:: SOT 11592 SOS 7399 HAS SOPS 7399 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4223.399
AT ITER 162 NEW BEST:: SOT 11553 SOS 7349 HAS SOPS 7349 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4193.349
AT ITER 163 NEW BEST:: SOT 11579 SOS 7378 HAS SOPS 7378 HAS SOUS 4167 HAS SOUPS 4167 WITH SCORE 4174.378
AT ITER 169 NEW BEST:: SOT 11510 SOS 7277 HAS SOPS 7277 HAS SOUS 4144 HAS SOUPS 4144 WITH SCORE 4151.277
AT ITER 173 NEW BEST:: SOT 11520 SOS 7282 HAS SOPS 7282 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4144.282
AT ITER 179 NEW BEST:: SOT 11401 SOS 7172 HAS SOPS 7172 HAS SOUS 4003 HAS SOUPS 4003 WITH SCORE 4010.172
AT ITER 188 NEW BEST:: SOT 11417 SOS 7220 HAS SOPS 7220 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3990.22
AT ITER 191 NEW BEST:: SOT 11412 SOS 7210 HAS SOPS 7210 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3980.21
AT ITER 192 NEW BEST:: SOT 11412 SOS 7140 HAS SOPS 7140 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3980.14
AT ITER 194 NEW BEST:: SOT 11428 SOS 7152 HAS SOPS 7152 HAS SOUS 3945 HAS SOUPS 3945 WITH SCORE 3952.152
AT ITER 195 NEW BEST:: SOT 11384 SOS 7116 HAS SOPS 7116 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3942.116
AT ITER 196 NEW BEST:: SOT 11336 SOS 7071 HAS SOPS 7071 HAS SOUS 3879 HAS SOUPS 3879 WITH SCORE 3886.071
AT ITER 200 NEW BEST:: SOT 11334 SOS 7067 HAS SOPS 7067 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3878.067
AT ITER 202 NEW BEST:: SOT 11316 SOS 7047 HAS SOPS 7047 HAS SOUS 3847 HAS SOUPS 3847 WITH SCORE 3854.047
AT ITER 212 NEW BEST:: SOT 11290 SOS 7013 HAS SOPS 7013 HAS SOUS 3813 HAS SOUPS 3813 WITH SCORE 3820.013
AT ITER 214 NEW BEST:: SOT 11294 SOS 7025 HAS SOPS 7025 HAS SOUS 3809 HAS SOUPS 3809 WITH SCORE 3816.025
AT ITER 228 NEW BEST:: SOT 11294 SOS 7015 HAS SOPS 7015 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3811.015
AT ITER 229 NEW BEST:: SOT 11294 SOS 7015 HAS SOPS 7015 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3809.015
AT ITER 231 NEW BEST:: SOT 11300 SOS 7029 HAS SOPS 7029 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3807.029
AT ITER 236 NEW BEST:: SOT 11232 SOS 6995 HAS SOPS 6995 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3778.995
AT ITER 243 NEW BEST:: SOT 11221 SOS 6996 HAS SOPS 6996 HAS SOUS 3768 HAS SOUPS 3768 WITH SCORE 3774.996
AT ITER 247 NEW BEST:: SOT 11215 SOS 6990 HAS SOPS 6990 HAS SOUS 3768 HAS SOUPS 3768 WITH SCORE 3774.99
AT ITER 250 NEW BEST:: SOT 11218 SOS 6986 HAS SOPS 6986 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3770.986
AT ITER 260 NEW BEST:: SOT 11213 SOS 6981 HAS SOPS 6981 HAS SOUS 3759 HAS SOUPS 3759 WITH SCORE 3765.981
AT ITER 263 NEW BEST:: SOT 11209 SOS 6973 HAS SOPS 6973 HAS SOUS 3755 HAS SOUPS 3755 WITH SCORE 3761.973
AT ITER 267 NEW BEST:: SOT 11194 SOS 6958 HAS SOPS 6958 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3745.958
AT ITER 290 NEW BEST:: SOT 11193 SOS 6937 HAS SOPS 6937 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3745.937
AT ITER 297 NEW BEST:: SOT 11187 SOS 6931 HAS SOPS 6931 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3736.931
AT ITER 300 NEW BEST:: SOT 11187 SOS 6923 HAS SOPS 6923 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3728.923
AT ITER 301 NEW BEST:: SOT 11225 SOS 6914 HAS SOPS 6914 HAS SOUS 3705 HAS SOUPS 3705 WITH SCORE 3711.914
AT ITER 304 NEW BEST:: SOT 11224 SOS 6912 HAS SOPS 6912 HAS SOUS 3705 HAS SOUPS 3705 WITH SCORE 3711.912
AT ITER 316 NEW BEST:: SOT 11182 SOS 6904 HAS SOPS 6904 HAS SOUS 3705 HAS SOUPS 3705 WITH SCORE 3711.904
AT ITER 318 NEW BEST:: SOT 11082 SOS 6796 HAS SOPS 6796 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3633.796
AT ITER 321 NEW BEST:: SOT 11084 SOS 6798 HAS SOPS 6798 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3629.798
AT ITER 341 NEW BEST:: SOT 11076 SOS 6781 HAS SOPS 6781 HAS SOUS 3605 HAS SOUPS 3605 WITH SCORE 3611.781
AT ITER 347 NEW BEST:: SOT 11070 SOS 6775 HAS SOPS 6775 HAS SOUS 3599 HAS SOUPS 3599 WITH SCORE 3605.775
AT ITER 352 NEW BEST:: SOT 11066 SOS 6771 HAS SOPS 6771 HAS SOUS 3595 HAS SOUPS 3595 WITH SCORE 3601.771
AT ITER 353 NEW BEST:: SOT 11010 SOS 6756 HAS SOPS 6756 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3595.756
AT ITER 358 NEW BEST:: SOT 11009 SOS 6752 HAS SOPS 6752 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3593.752
AT ITER 361 NEW BEST:: SOT 10997 SOS 6730 HAS SOPS 6730 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3581.73
AT ITER 367 NEW BEST:: SOT 10997 SOS 6713 HAS SOPS 6713 HAS SOUS 3566 HAS SOUPS 3566 WITH SCORE 3572.713
AT ITER 371 NEW BEST:: SOT 10997 SOS 6446 HAS SOPS 6446 HAS SOUS 3543 HAS SOUPS 3543 WITH SCORE 3549.446
AT ITER 375 NEW BEST:: SOT 10999 SOS 6430 HAS SOPS 6430 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3539.43
AT ITER 381 NEW BEST:: SOT 10984 SOS 6418 HAS SOPS 6418 HAS SOUS 3521 HAS SOUPS 3521 WITH SCORE 3527.418
AT ITER 387 NEW BEST:: SOT 10984 SOS 6422 HAS SOPS 6422 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3525.422
AT ITER 389 NEW BEST:: SOT 11018 SOS 6439 HAS SOPS 6439 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3508.439
AT ITER 401 NEW BEST:: SOT 11018 SOS 6415 HAS SOPS 6415 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3506.415
AT ITER 406 NEW BEST:: SOT 11009 SOS 6444 HAS SOPS 6444 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3477.444
AT ITER 410 NEW BEST:: SOT 10977 SOS 6477 HAS SOPS 6477 HAS SOUS 3469 HAS SOUPS 3469 WITH SCORE 3475.477
AT ITER 412 NEW BEST:: SOT 10973 SOS 6473 HAS SOPS 6473 HAS SOUS 3469 HAS SOUPS 3469 WITH SCORE 3475.473
AT ITER 423 NEW BEST:: SOT 10967 SOS 6470 HAS SOPS 6470 HAS SOUS 3469 HAS SOUPS 3469 WITH SCORE 3475.47
AT ITER 425 NEW BEST:: SOT 10973 SOS 6466 HAS SOPS 6466 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3470.466
AT ITER 459 NEW BEST:: SOT 10963 SOS 6456 HAS SOPS 6456 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3452.456
AT ITER 478 NEW BEST:: SOT 10963 SOS 6446 HAS SOPS 6446 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3452.446
AT ITER 480 NEW BEST:: SOT 10966 SOS 6429 HAS SOPS 6429 HAS SOUS 3429 HAS SOUPS 3429 WITH SCORE 3435.429
AT ITER 492 NEW BEST:: SOT 10965 SOS 6427 HAS SOPS 6427 HAS SOUS 3427 HAS SOUPS 3427 WITH SCORE 3433.427
AT ITER 503 NEW BEST:: SOT 10959 SOS 6421 HAS SOPS 6421 HAS SOUS 3427 HAS SOUPS 3427 WITH SCORE 3433.421
AT ITER 506 NEW BEST:: SOT 10959 SOS 6415 HAS SOPS 6415 HAS SOUS 3427 HAS SOUPS 3427 WITH SCORE 3433.415
AT ITER 517 NEW BEST:: SOT 10957 SOS 6298 HAS SOPS 6298 HAS SOUS 3403 HAS SOUPS 3403 WITH SCORE 3409.298
AT ITER 526 NEW BEST:: SOT 10949 SOS 6288 HAS SOPS 6288 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3403.288
AT ITER 530 NEW BEST:: SOT 10925 SOS 6282 HAS SOPS 6282 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3397.282
AT ITER 536 NEW BEST:: SOT 10939 SOS 6296 HAS SOPS 6296 HAS SOUS 3380 HAS SOUPS 3380 WITH SCORE 3386.296
AT ITER 542 NEW BEST:: SOT 10911 SOS 6260 HAS SOPS 6260 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3354.26
AT ITER 543 NEW BEST:: SOT 10909 SOS 6258 HAS SOPS 6258 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3352.258
AT ITER 547 NEW BEST:: SOT 10900 SOS 6258 HAS SOPS 6258 HAS SOUS 3341 HAS SOUPS 3341 WITH SCORE 3347.258
AT ITER 548 NEW BEST:: SOT 10897 SOS 6255 HAS SOPS 6255 HAS SOUS 3339 HAS SOUPS 3339 WITH SCORE 3345.255
AT ITER 555 NEW BEST:: SOT 10927 SOS 6225 HAS SOPS 6225 HAS SOUS 3339 HAS SOUPS 3339 WITH SCORE 3345.225
AT ITER 560 NEW BEST:: SOT 10936 SOS 6225 HAS SOPS 6225 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3330.225
AT ITER 564 NEW BEST:: SOT 10904 SOS 6131 HAS SOPS 6131 HAS SOUS 3278 HAS SOUPS 3278 WITH SCORE 3284.131
AT ITER 576 NEW BEST:: SOT 10891 SOS 6118 HAS SOPS 6118 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3262.118
AT ITER 585 NEW BEST:: SOT 10854 SOS 6075 HAS SOPS 6075 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3207.075
AT ITER 589 NEW BEST:: SOT 10854 SOS 6035 HAS SOPS 6035 HAS SOUS 3193 HAS SOUPS 3193 WITH SCORE 3199.035
AT ITER 601 NEW BEST:: SOT 10847 SOS 6018 HAS SOPS 6018 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3180.018
AT ITER 607 NEW BEST:: SOT 10845 SOS 6014 HAS SOPS 6014 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3178.014
AT ITER 614 NEW BEST:: SOT 10836 SOS 6005 HAS SOPS 6005 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3178.005
AT ITER 621 NEW BEST:: SOT 10838 SOS 6007 HAS SOPS 6007 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3177.007
AT ITER 622 NEW BEST:: SOT 10838 SOS 5991 HAS SOPS 5991 HAS SOUS 3163 HAS SOUPS 3163 WITH SCORE 3168.991
AT ITER 641 NEW BEST:: SOT 10812 SOS 5949 HAS SOPS 5949 HAS SOUS 3133 HAS SOUPS 3133 WITH SCORE 3138.949
AT ITER 647 NEW BEST:: SOT 10797 SOS 5930 HAS SOPS 5930 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3107.93
AT ITER 652 NEW BEST:: SOT 10783 SOS 5902 HAS SOPS 5902 HAS SOUS 3098 HAS SOUPS 3098 WITH SCORE 3103.902
AT ITER 663 NEW BEST:: SOT 10759 SOS 5855 HAS SOPS 5855 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3085.855
AT ITER 670 NEW BEST:: SOT 10747 SOS 5844 HAS SOPS 5844 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3075.844
AT ITER 672 NEW BEST:: SOT 10672 SOS 5788 HAS SOPS 5788 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3065.788
AT ITER 673 NEW BEST:: SOT 10651 SOS 5764 HAS SOPS 5764 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3059.764
AT ITER 674 NEW BEST:: SOT 10563 SOS 5683 HAS SOPS 5683 HAS SOUS 2953 HAS SOUPS 2953 WITH SCORE 2958.683
AT ITER 678 NEW BEST:: SOT 10568 SOS 5681 HAS SOPS 5681 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2951.681
AT ITER 680 NEW BEST:: SOT 10568 SOS 5681 HAS SOPS 5681 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2948.681
AT ITER 683 NEW BEST:: SOT 10446 SOS 5993 HAS SOPS 5993 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2845.993
AT ITER 699 NEW BEST:: SOT 10442 SOS 5989 HAS SOPS 5989 HAS SOUS 2836 HAS SOUPS 2836 WITH SCORE 2841.989
AT ITER 702 NEW BEST:: SOT 10440 SOS 5979 HAS SOPS 5979 HAS SOUS 2832 HAS SOUPS 2832 WITH SCORE 2837.979
AT ITER 710 NEW BEST:: SOT 10440 SOS 5975 HAS SOPS 5975 HAS SOUS 2832 HAS SOUPS 2832 WITH SCORE 2837.975
AT ITER 716 NEW BEST:: SOT 10440 SOS 5975 HAS SOPS 5975 HAS SOUS 2831 HAS SOUPS 2831 WITH SCORE 2836.975
AT ITER 728 NEW BEST:: SOT 10459 SOS 5975 HAS SOPS 5975 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2830.975
AT ITER 731 NEW BEST:: SOT 10457 SOS 5973 HAS SOPS 5973 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2828.973
AT ITER 740 NEW BEST:: SOT 10436 SOS 5943 HAS SOPS 5943 HAS SOUS 2805 HAS SOUPS 2805 WITH SCORE 2810.943
AT ITER 771 NEW BEST:: SOT 10434 SOS 5935 HAS SOPS 5935 HAS SOUS 2803 HAS SOUPS 2803 WITH SCORE 2808.935
AT ITER 792 NEW BEST:: SOT 10420 SOS 5915 HAS SOPS 5915 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2794.915
AT ITER 797 NEW BEST:: SOT 10431 SOS 5909 HAS SOPS 5909 HAS SOUS 2787 HAS SOUPS 2787 WITH SCORE 2792.909
AT ITER 815 NEW BEST:: SOT 10423 SOS 5873 HAS SOPS 5873 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2771.873
AT ITER 829 NEW BEST:: SOT 10396 SOS 5527 HAS SOPS 5527 HAS SOUS 2727 HAS SOUPS 2727 WITH SCORE 2732.527
AT ITER 840 NEW BEST:: SOT 10390 SOS 5524 HAS SOPS 5524 HAS SOUS 2727 HAS SOUPS 2727 WITH SCORE 2732.524
AT ITER 846 NEW BEST:: SOT 10375 SOS 5506 HAS SOPS 5506 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2720.506
AT ITER 847 NEW BEST:: SOT 10375 SOS 5505 HAS SOPS 5505 HAS SOUS 2714 HAS SOUPS 2714 WITH SCORE 2719.505
AT ITER 859 NEW BEST:: SOT 10388 SOS 5517 HAS SOPS 5517 HAS SOUS 2713 HAS SOUPS 2713 WITH SCORE 2718.517
AT ITER 864 NEW BEST:: SOT 10385 SOS 5482 HAS SOPS 5482 HAS SOUS 2696 HAS SOUPS 2696 WITH SCORE 2701.482
AT ITER 883 NEW BEST:: SOT 10384 SOS 5481 HAS SOPS 5481 HAS SOUS 2693 HAS SOUPS 2693 WITH SCORE 2698.481
AT ITER 914 NEW BEST:: SOT 10384 SOS 5474 HAS SOPS 5474 HAS SOUS 2687 HAS SOUPS 2687 WITH SCORE 2692.474
AT ITER 929 NEW BEST:: SOT 10378 SOS 5440 HAS SOPS 5440 HAS SOUS 2653 HAS SOUPS 2653 WITH SCORE 2658.44
AT ITER 936 NEW BEST:: SOT 10376 SOS 5414 HAS SOPS 5414 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2656.414
AT ITER 938 NEW BEST:: SOT 10427 SOS 5442 HAS SOPS 5442 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2652.442
AT ITER 951 NEW BEST:: SOT 10397 SOS 5403 HAS SOPS 5403 HAS SOUS 2622 HAS SOUPS 2622 WITH SCORE 2627.403
AT ITER 971 NEW BEST:: SOT 10401 SOS 5379 HAS SOPS 5379 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2622.379
AT ITER 994 NEW BEST:: SOT 10401 SOS 5378 HAS SOPS 5378 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2621.378
AT ITER 1008 NEW BEST:: SOT 10398 SOS 5391 HAS SOPS 5391 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2615.391
AT ITER 1019 NEW BEST:: SOT 10394 SOS 5393 HAS SOPS 5393 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2605.393
AT ITER 1053 NEW BEST:: SOT 10395 SOS 5390 HAS SOPS 5390 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2605.39
AT ITER 1062 NEW BEST:: SOT 10387 SOS 5372 HAS SOPS 5372 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2597.372
AT ITER 1074 NEW BEST:: SOT 10387 SOS 5367 HAS SOPS 5367 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2597.367
AT ITER 1078 NEW BEST:: SOT 10348 SOS 5328 HAS SOPS 5328 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2571.328
AT ITER 1087 NEW BEST:: SOT 10348 SOS 5328 HAS SOPS 5328 HAS SOUS 2563 HAS SOUPS 2563 WITH SCORE 2568.328
AT ITER 1112 NEW BEST:: SOT 10343 SOS 5321 HAS SOPS 5321 HAS SOUS 2551 HAS SOUPS 2551 WITH SCORE 2556.321
AT ITER 1130 NEW BEST:: SOT 10335 SOS 5274 HAS SOPS 5274 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2533.274
AT ITER 1144 NEW BEST:: SOT 10335 SOS 5269 HAS SOPS 5269 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2533.269
AT ITER 1146 NEW BEST:: SOT 10329 SOS 5263 HAS SOPS 5263 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2533.263
AT ITER 1148 NEW BEST:: SOT 10329 SOS 5262 HAS SOPS 5262 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2533.262
AT ITER 1152 NEW BEST:: SOT 10319 SOS 5252 HAS SOPS 5252 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2523.252
AT ITER 1184 NEW BEST:: SOT 10320 SOS 5247 HAS SOPS 5247 HAS SOUS 2516 HAS SOUPS 2516 WITH SCORE 2521.247
AT ITER 1215 NEW BEST:: SOT 10322 SOS 5262 HAS SOPS 5262 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2519.262
AT ITER 1218 NEW BEST:: SOT 10326 SOS 5262 HAS SOPS 5262 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2515.262
AT ITER 1222 NEW BEST:: SOT 10298 SOS 5222 HAS SOPS 5222 HAS SOUS 2493 HAS SOUPS 2493 WITH SCORE 2498.222
AT ITER 1244 NEW BEST:: SOT 10297 SOS 5222 HAS SOPS 5222 HAS SOUS 2491 HAS SOUPS 2491 WITH SCORE 2496.222
AT ITER 1250 NEW BEST:: SOT 10296 SOS 5218 HAS SOPS 5218 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2495.218
AT ITER 1254 NEW BEST:: SOT 10295 SOS 5216 HAS SOPS 5216 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2493.216
AT ITER 1256 NEW BEST:: SOT 10289 SOS 5176 HAS SOPS 5176 HAS SOUS 2462 HAS SOUPS 2462 WITH SCORE 2467.176
AT ITER 1258 NEW BEST:: SOT 10288 SOS 5174 HAS SOPS 5174 HAS SOUS 2451 HAS SOUPS 2451 WITH SCORE 2456.174
AT ITER 1273 NEW BEST:: SOT 10279 SOS 5165 HAS SOPS 5165 HAS SOUS 2449 HAS SOUPS 2449 WITH SCORE 2454.165
AT ITER 1282 NEW BEST:: SOT 10275 SOS 5159 HAS SOPS 5159 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2449.159
AT ITER 1293 NEW BEST:: SOT 10260 SOS 5136 HAS SOPS 5136 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2431.136
AT ITER 1317 NEW BEST:: SOT 10260 SOS 5132 HAS SOPS 5132 HAS SOUS 2424 HAS SOUPS 2424 WITH SCORE 2429.132
AT ITER 1341 NEW BEST:: SOT 10260 SOS 5130 HAS SOPS 5130 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2423.13
AT ITER 1350 NEW BEST:: SOT 10255 SOS 5125 HAS SOPS 5125 HAS SOUS 2413 HAS SOUPS 2413 WITH SCORE 2418.125
AT ITER 1356 NEW BEST:: SOT 10252 SOS 5122 HAS SOPS 5122 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2417.122
AT ITER 1386 NEW BEST:: SOT 10245 SOS 5121 HAS SOPS 5121 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2410.121
AT ITER 1428 NEW BEST:: SOT 10245 SOS 5121 HAS SOPS 5121 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2408.121
AT ITER 1435 NEW BEST:: SOT 10235 SOS 5091 HAS SOPS 5091 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2408.091
AT ITER 1477 NEW BEST:: SOT 10223 SOS 5082 HAS SOPS 5082 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2405.082
AT ITER 1527 NEW BEST:: SOT 10213 SOS 5067 HAS SOPS 5067 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2400.067
AT ITER 1536 NEW BEST:: SOT 10211 SOS 5063 HAS SOPS 5063 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2400.063
AT ITER 1539 NEW BEST:: SOT 10206 SOS 5041 HAS SOPS 5041 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2395.041
AT ITER 1546 NEW BEST:: SOT 10211 SOS 5040 HAS SOPS 5040 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2394.04
AT ITER 1547 NEW BEST:: SOT 10181 SOS 5004 HAS SOPS 5004 HAS SOUS 2356 HAS SOUPS 2356 WITH SCORE 2361.004
AT ITER 1549 NEW BEST:: SOT 10180 SOS 4992 HAS SOPS 4992 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2359.992
AT ITER 1551 NEW BEST:: SOT 10176 SOS 4988 HAS SOPS 4988 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2354.988
AT ITER 1552 NEW BEST:: SOT 10176 SOS 4983 HAS SOPS 4983 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2354.983
AT ITER 1573 NEW BEST:: SOT 10176 SOS 4982 HAS SOPS 4982 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2352.982
AT ITER 1575 NEW BEST:: SOT 10176 SOS 4982 HAS SOPS 4982 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2346.982
AT ITER 1578 NEW BEST:: SOT 10164 SOS 4976 HAS SOPS 4976 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2340.976
AT ITER 1583 NEW BEST:: SOT 10145 SOS 5001 HAS SOPS 5001 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2335.001
AT ITER 1591 NEW BEST:: SOT 10143 SOS 5000 HAS SOPS 5000 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2331.0
AT ITER 1603 NEW BEST:: SOT 10161 SOS 4996 HAS SOPS 4996 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2326.996
AT ITER 1634 NEW BEST:: SOT 10161 SOS 4994 HAS SOPS 4994 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2324.994
AT ITER 1646 NEW BEST:: SOT 10159 SOS 4961 HAS SOPS 4961 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2293.961
AT ITER 1671 NEW BEST:: SOT 10169 SOS 4975 HAS SOPS 4975 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2292.975
AT ITER 1677 NEW BEST:: SOT 10168 SOS 4975 HAS SOPS 4975 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2290.975
AT ITER 1684 NEW BEST:: SOT 10157 SOS 4953 HAS SOPS 4953 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2279.953
AT ITER 1695 NEW BEST:: SOT 10134 SOS 4930 HAS SOPS 4930 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2276.93
AT ITER 1707 NEW BEST:: SOT 10131 SOS 4928 HAS SOPS 4928 HAS SOUS 2271 HAS SOUPS 2271 WITH SCORE 2275.928
AT ITER 1724 NEW BEST:: SOT 10137 SOS 4932 HAS SOPS 4932 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2273.932
AT ITER 1753 NEW BEST:: SOT 10126 SOS 4915 HAS SOPS 4915 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2263.915
AT ITER 1760 NEW BEST:: SOT 10120 SOS 4949 HAS SOPS 4949 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2259.949
AT ITER 1775 NEW BEST:: SOT 10106 SOS 4927 HAS SOPS 4927 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2235.927
AT ITER 1815 NEW BEST:: SOT 10102 SOS 4923 HAS SOPS 4923 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2234.923
AT ITER 1858 NEW BEST:: SOT 10081 SOS 4877 HAS SOPS 4877 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2205.877
AT ITER 1865 NEW BEST:: SOT 10080 SOS 4876 HAS SOPS 4876 HAS SOUS 2200 HAS SOUPS 2200 WITH SCORE 2204.876
AT ITER 1879 NEW BEST:: SOT 10080 SOS 4917 HAS SOPS 4917 HAS SOUS 2189 HAS SOUPS 2189 WITH SCORE 2193.917
AT ITER 1917 NEW BEST:: SOT 10075 SOS 4911 HAS SOPS 4911 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2186.911
AT ITER 1943 NEW BEST:: SOT 10073 SOS 4905 HAS SOPS 4905 HAS SOUS 2178 HAS SOUPS 2178 WITH SCORE 2182.905
AT ITER 2037 NEW BEST:: SOT 10073 SOS 4893 HAS SOPS 4893 HAS SOUS 2174 HAS SOUPS 2174 WITH SCORE 2178.893
AT ITER 2093 NEW BEST:: SOT 10077 SOS 4892 HAS SOPS 4892 HAS SOUS 2173 HAS SOUPS 2173 WITH SCORE 2177.892
AT ITER 2094 NEW BEST:: SOT 10082 SOS 4893 HAS SOPS 4893 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2172.893
AT ITER 2098 NEW BEST:: SOT 10076 SOS 4883 HAS SOPS 4883 HAS SOUS 2166 HAS SOUPS 2166 WITH SCORE 2170.883
AT ITER 2113 NEW BEST:: SOT 10047 SOS 4835 HAS SOPS 4835 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2154.835
AT ITER 2118 NEW BEST:: SOT 10040 SOS 4828 HAS SOPS 4828 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2153.828
AT ITER 2119 NEW BEST:: SOT 10040 SOS 4828 HAS SOPS 4828 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2151.828
AT ITER 2126 NEW BEST:: SOT 10039 SOS 4827 HAS SOPS 4827 HAS SOUS 2146 HAS SOUPS 2146 WITH SCORE 2150.827
AT ITER 2129 NEW BEST:: SOT 10036 SOS 4821 HAS SOPS 4821 HAS SOUS 2143 HAS SOUPS 2143 WITH SCORE 2147.821
AT ITER 2138 NEW BEST:: SOT 10034 SOS 4811 HAS SOPS 4811 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2143.811
AT ITER 2171 NEW BEST:: SOT 10032 SOS 4811 HAS SOPS 4811 HAS SOUS 2137 HAS SOUPS 2137 WITH SCORE 2141.811
AT ITER 2183 NEW BEST:: SOT 10024 SOS 4803 HAS SOPS 4803 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2135.803
AT ITER 2195 NEW BEST:: SOT 10028 SOS 4803 HAS SOPS 4803 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2127.803
AT ITER 2250 NEW BEST:: SOT 10019 SOS 4785 HAS SOPS 4785 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2109.785
AT ITER 2263 NEW BEST:: SOT 10015 SOS 4786 HAS SOPS 4786 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2108.786
AT ITER 2396 NEW BEST:: SOT 10016 SOS 4788 HAS SOPS 4788 HAS SOUS 2103 HAS SOUPS 2103 WITH SCORE 2107.788
AT ITER 2461 NEW BEST:: SOT 10018 SOS 4790 HAS SOPS 4790 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2105.79
AT ITER 2470 NEW BEST:: SOT 10017 SOS 4789 HAS SOPS 4789 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2102.789
AT ITER 2536 NEW BEST:: SOT 10011 SOS 4775 HAS SOPS 4775 HAS SOUS 2092 HAS SOUPS 2092 WITH SCORE 2096.775
AT ITER 2549 NEW BEST:: SOT 10005 SOS 4769 HAS SOPS 4769 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2090.769
AT ITER 2553 NEW BEST:: SOT 10005 SOS 4766 HAS SOPS 4766 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2085.766
AT ITER 2573 NEW BEST:: SOT 10005 SOS 4766 HAS SOPS 4766 HAS SOUS 2080 HAS SOUPS 2080 WITH SCORE 2084.766
AT ITER 2581 NEW BEST:: SOT 10007 SOS 4768 HAS SOPS 4768 HAS SOUS 2079 HAS SOUPS 2079 WITH SCORE 2083.768
AT ITER 2593 NEW BEST:: SOT 10022 SOS 4760 HAS SOPS 4760 HAS SOUS 2075 HAS SOUPS 2075 WITH SCORE 2079.76
AT ITER 2599 NEW BEST:: SOT 10021 SOS 4759 HAS SOPS 4759 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2078.759
AT ITER 2616 NEW BEST:: SOT 10019 SOS 4755 HAS SOPS 4755 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2077.755
AT ITER 2619 NEW BEST:: SOT 10019 SOS 4743 HAS SOPS 4743 HAS SOUS 2057 HAS SOUPS 2057 WITH SCORE 2061.743
AT ITER 2634 NEW BEST:: SOT 10018 SOS 4742 HAS SOPS 4742 HAS SOUS 2056 HAS SOUPS 2056 WITH SCORE 2060.742
AT ITER 2681 NEW BEST:: SOT 10017 SOS 4738 HAS SOPS 4738 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2058.738
AT ITER 2694 NEW BEST:: SOT 10000 SOS 4725 HAS SOPS 4725 HAS SOUS 2045 HAS SOUPS 2045 WITH SCORE 2049.725
AT ITER 2733 NEW BEST:: SOT 10001 SOS 4716 HAS SOPS 4716 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2044.716
AT ITER 2825 NEW BEST:: SOT 9992 SOS 4707 HAS SOPS 4707 HAS SOUS 2009 HAS SOUPS 2009 WITH SCORE 2013.707
AT ITER 2829 NEW BEST:: SOT 9991 SOS 4705 HAS SOPS 4705 HAS SOUS 2007 HAS SOUPS 2007 WITH SCORE 2011.705
AT ITER 2856 NEW BEST:: SOT 9989 SOS 4703 HAS SOPS 4703 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2009.703
AT ITER 2903 NEW BEST:: SOT 9986 SOS 4691 HAS SOPS 4691 HAS SOUS 1999 HAS SOUPS 1999 WITH SCORE 2003.691
AT ITER 2933 NEW BEST:: SOT 9988 SOS 4689 HAS SOPS 4689 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 2001.689
AT ITER 2945 NEW BEST:: SOT 9981 SOS 4675 HAS SOPS 4675 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1994.675
AT ITER 2951 NEW BEST:: SOT 9977 SOS 4667 HAS SOPS 4667 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1994.667
AT ITER 2979 NEW BEST:: SOT 9972 SOS 4689 HAS SOPS 4689 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1990.689
AT ITER 2982 NEW BEST:: SOT 9980 SOS 4675 HAS SOPS 4675 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1983.675
AT ITER 3017 NEW BEST:: SOT 9982 SOS 4673 HAS SOPS 4673 HAS SOUS 1977 HAS SOUPS 1977 WITH SCORE 1981.673
AT ITER 3042 NEW BEST:: SOT 9981 SOS 4669 HAS SOPS 4669 HAS SOUS 1976 HAS SOUPS 1976 WITH SCORE 1980.669
AT ITER 3078 NEW BEST:: SOT 9947 SOS 4638 HAS SOPS 4638 HAS SOUS 1936 HAS SOUPS 1936 WITH SCORE 1940.638
AT ITER 3093 NEW BEST:: SOT 9947 SOS 4637 HAS SOPS 4637 HAS SOUS 1936 HAS SOUPS 1936 WITH SCORE 1940.637
AT ITER 3181 NEW BEST:: SOT 9936 SOS 4626 HAS SOPS 4626 HAS SOUS 1936 HAS SOUPS 1936 WITH SCORE 1940.626
AT ITER 3182 NEW BEST:: SOT 9936 SOS 4619 HAS SOPS 4619 HAS SOUS 1936 HAS SOUPS 1936 WITH SCORE 1940.619
AT ITER 3188 NEW BEST:: SOT 9932 SOS 4614 HAS SOPS 4614 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1934.614
AT ITER 3278 NEW BEST:: SOT 9912 SOS 4594 HAS SOPS 4594 HAS SOUS 1917 HAS SOUPS 1917 WITH SCORE 1921.594
AT ITER 3288 NEW BEST:: SOT 9900 SOS 4576 HAS SOPS 4576 HAS SOUS 1900 HAS SOUPS 1900 WITH SCORE 1904.576
AT ITER 3312 NEW BEST:: SOT 9900 SOS 4576 HAS SOPS 4576 HAS SOUS 1899 HAS SOUPS 1899 WITH SCORE 1903.576
AT ITER 3341 NEW BEST:: SOT 9900 SOS 4574 HAS SOPS 4574 HAS SOUS 1899 HAS SOUPS 1899 WITH SCORE 1903.574
AT ITER 3345 NEW BEST:: SOT 9898 SOS 4576 HAS SOPS 4576 HAS SOUS 1896 HAS SOUPS 1896 WITH SCORE 1900.576
AT ITER 3435 NEW BEST:: SOT 9882 SOS 4566 HAS SOPS 4566 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1893.566
AT ITER 3446 NEW BEST:: SOT 9880 SOS 4563 HAS SOPS 4563 HAS SOUS 1887 HAS SOUPS 1887 WITH SCORE 1891.563
AT ITER 3474 NEW BEST:: SOT 9882 SOS 4564 HAS SOPS 4564 HAS SOUS 1885 HAS SOUPS 1885 WITH SCORE 1889.564
AT ITER 3480 NEW BEST:: SOT 9884 SOS 4566 HAS SOPS 4566 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1888.566
AT ITER 3520 NEW BEST:: SOT 9886 SOS 4584 HAS SOPS 4584 HAS SOUS 1882 HAS SOUPS 1882 WITH SCORE 1886.584
AT ITER 3626 NEW BEST:: SOT 9885 SOS 4583 HAS SOPS 4583 HAS SOUS 1881 HAS SOUPS 1881 WITH SCORE 1885.583
AT ITER 3627 NEW BEST:: SOT 9883 SOS 4573 HAS SOPS 4573 HAS SOUS 1871 HAS SOUPS 1871 WITH SCORE 1875.573
AT ITER 3665 NEW BEST:: SOT 9880 SOS 4573 HAS SOPS 4573 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1870.573
AT ITER 3784 NEW BEST:: SOT 9880 SOS 4573 HAS SOPS 4573 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1869.573
AT ITER 3785 NEW BEST:: SOT 9880 SOS 4579 HAS SOPS 4579 HAS SOUS 1850 HAS SOUPS 1850 WITH SCORE 1854.579
AT ITER 3801 NEW BEST:: SOT 9882 SOS 4581 HAS SOPS 4581 HAS SOUS 1848 HAS SOUPS 1848 WITH SCORE 1852.581
AT ITER 3856 NEW BEST:: SOT 9882 SOS 4579 HAS SOPS 4579 HAS SOUS 1848 HAS SOUPS 1848 WITH SCORE 1852.579
AT ITER 3864 NEW BEST:: SOT 9882 SOS 4572 HAS SOPS 4572 HAS SOUS 1848 HAS SOUPS 1848 WITH SCORE 1852.572
AT ITER 3872 NEW BEST:: SOT 9887 SOS 4577 HAS SOPS 4577 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1849.577
AT ITER 3894 NEW BEST:: SOT 9887 SOS 4581 HAS SOPS 4581 HAS SOUS 1843 HAS SOUPS 1843 WITH SCORE 1847.581
AT ITER 3909 NEW BEST:: SOT 9880 SOS 4565 HAS SOPS 4565 HAS SOUS 1833 HAS SOUPS 1833 WITH SCORE 1837.565
AT ITER 3912 NEW BEST:: SOT 9879 SOS 4563 HAS SOPS 4563 HAS SOUS 1833 HAS SOUPS 1833 WITH SCORE 1837.563
AT ITER 3940 NEW BEST:: SOT 9875 SOS 4556 HAS SOPS 4556 HAS SOUS 1827 HAS SOUPS 1827 WITH SCORE 1831.556
AT ITER 3952 NEW BEST:: SOT 9874 SOS 4555 HAS SOPS 4555 HAS SOUS 1823 HAS SOUPS 1823 WITH SCORE 1827.555
AT ITER 4014 NEW BEST:: SOT 9864 SOS 4537 HAS SOPS 4537 HAS SOUS 1807 HAS SOUPS 1807 WITH SCORE 1811.537
AT ITER 4043 NEW BEST:: SOT 9861 SOS 4531 HAS SOPS 4531 HAS SOUS 1805 HAS SOUPS 1805 WITH SCORE 1809.531
AT ITER 4084 NEW BEST:: SOT 9860 SOS 4529 HAS SOPS 4529 HAS SOUS 1804 HAS SOUPS 1804 WITH SCORE 1808.529
AT ITER 4215 NEW BEST:: SOT 9878 SOS 4542 HAS SOPS 4542 HAS SOUS 1798 HAS SOUPS 1798 WITH SCORE 1802.542
AT ITER 4273 NEW BEST:: SOT 9877 SOS 4547 HAS SOPS 4547 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1800.547
AT ITER 4283 NEW BEST:: SOT 9875 SOS 4541 HAS SOPS 4541 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1787.541
AT ITER 4317 NEW BEST:: SOT 9874 SOS 4538 HAS SOPS 4538 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1785.538
AT ITER 4335 NEW BEST:: SOT 9872 SOS 4536 HAS SOPS 4536 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1783.536
AT ITER 4388 NEW BEST:: SOT 9870 SOS 4526 HAS SOPS 4526 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1779.526
AT ITER 4512 NEW BEST:: SOT 9864 SOS 4513 HAS SOPS 4513 HAS SOUS 1769 HAS SOUPS 1769 WITH SCORE 1773.513
AT ITER 4576 NEW BEST:: SOT 9861 SOS 4500 HAS SOPS 4500 HAS SOUS 1764 HAS SOUPS 1764 WITH SCORE 1768.5
AT ITER 4605 NEW BEST:: SOT 9857 SOS 4496 HAS SOPS 4496 HAS SOUS 1755 HAS SOUPS 1755 WITH SCORE 1759.496
AT ITER 4611 NEW BEST:: SOT 9840 SOS 4456 HAS SOPS 4456 HAS SOUS 1736 HAS SOUPS 1736 WITH SCORE 1740.456
AT ITER 4646 NEW BEST:: SOT 9837 SOS 4465 HAS SOPS 4465 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1739.465
AT ITER 4945 NEW BEST:: SOT 9836 SOS 4464 HAS SOPS 4464 HAS SOUS 1734 HAS SOUPS 1734 WITH SCORE 1738.464
AT ITER 4988 NEW BEST:: SOT 9833 SOS 4461 HAS SOPS 4461 HAS SOUS 1731 HAS SOUPS 1731 WITH SCORE 1735.461
AT ITER 4990 NEW BEST:: SOT 9833 SOS 4461 HAS SOPS 4461 HAS SOUS 1730 HAS SOUPS 1730 WITH SCORE 1734.461
AT ITER 5065 NEW BEST:: SOT 9835 SOS 4460 HAS SOPS 4460 HAS SOUS 1730 HAS SOUPS 1730 WITH SCORE 1734.46
AT ITER 5074 NEW BEST:: SOT 9832 SOS 4457 HAS SOPS 4457 HAS SOUS 1723 HAS SOUPS 1723 WITH SCORE 1727.457
AT ITER 5081 NEW BEST:: SOT 9834 SOS 4459 HAS SOPS 4459 HAS SOUS 1721 HAS SOUPS 1721 WITH SCORE 1725.459
AT ITER 5116 NEW BEST:: SOT 9833 SOS 4459 HAS SOPS 4459 HAS SOUS 1719 HAS SOUPS 1719 WITH SCORE 1723.459
AT ITER 5140 NEW BEST:: SOT 9835 SOS 4409 HAS SOPS 4409 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1719.409
AT ITER 5173 NEW BEST:: SOT 9830 SOS 4401 HAS SOPS 4401 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1715.401
AT ITER 5273 NEW BEST:: SOT 9839 SOS 4410 HAS SOPS 4410 HAS SOUS 1710 HAS SOUPS 1710 WITH SCORE 1714.41
AT ITER 5358 NEW BEST:: SOT 9837 SOS 4408 HAS SOPS 4408 HAS SOUS 1708 HAS SOUPS 1708 WITH SCORE 1712.408
AT ITER 5384 NEW BEST:: SOT 9835 SOS 4408 HAS SOPS 4408 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1711.408
AT ITER 5434 NEW BEST:: SOT 9829 SOS 4400 HAS SOPS 4400 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1711.4
AT ITER 5491 NEW BEST:: SOT 9828 SOS 4398 HAS SOPS 4398 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1711.398
AT ITER 5544 NEW BEST:: SOT 9824 SOS 4394 HAS SOPS 4394 HAS SOUS 1704 HAS SOUPS 1704 WITH SCORE 1708.394
AT ITER 5642 NEW BEST:: SOT 9825 SOS 4387 HAS SOPS 4387 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1704.387
AT ITER 5769 NEW BEST:: SOT 9825 SOS 4389 HAS SOPS 4389 HAS SOUS 1699 HAS SOUPS 1699 WITH SCORE 1703.389
AT ITER 5783 NEW BEST:: SOT 9829 SOS 4384 HAS SOPS 4384 HAS SOUS 1696 HAS SOUPS 1696 WITH SCORE 1700.384
AT ITER 5928 NEW BEST:: SOT 9831 SOS 4384 HAS SOPS 4384 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1697.384
AT ITER 5938 NEW BEST:: SOT 9831 SOS 4384 HAS SOPS 4384 HAS SOUS 1692 HAS SOUPS 1692 WITH SCORE 1696.384
AT ITER 6007 NEW BEST:: SOT 9828 SOS 4377 HAS SOPS 4377 HAS SOUS 1687 HAS SOUPS 1687 WITH SCORE 1691.377
AT ITER 6034 NEW BEST:: SOT 9824 SOS 4373 HAS SOPS 4373 HAS SOUS 1682 HAS SOUPS 1682 WITH SCORE 1686.373
AT ITER 6095 NEW BEST:: SOT 9821 SOS 4372 HAS SOPS 4372 HAS SOUS 1679 HAS SOUPS 1679 WITH SCORE 1683.372
AT ITER 6128 NEW BEST:: SOT 9819 SOS 4370 HAS SOPS 4370 HAS SOUS 1679 HAS SOUPS 1679 WITH SCORE 1683.37
AT ITER 6158 NEW BEST:: SOT 9818 SOS 4370 HAS SOPS 4370 HAS SOUS 1678 HAS SOUPS 1678 WITH SCORE 1682.37
AT ITER 6175 NEW BEST:: SOT 9817 SOS 4370 HAS SOPS 4370 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1680.37
AT ITER 6178 NEW BEST:: SOT 9816 SOS 4366 HAS SOPS 4366 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1680.366
AT ITER 6318 NEW BEST:: SOT 9807 SOS 4514 HAS SOPS 4514 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1677.514
AT ITER 6324 NEW BEST:: SOT 9790 SOS 4546 HAS SOPS 4546 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1674.546
AT ITER 6387 NEW BEST:: SOT 9790 SOS 4544 HAS SOPS 4544 HAS SOUS 1668 HAS SOUPS 1668 WITH SCORE 1672.544
AT ITER 6399 NEW BEST:: SOT 9798 SOS 4547 HAS SOPS 4547 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1669.547
AT ITER 6415 NEW BEST:: SOT 9784 SOS 4631 HAS SOPS 4631 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1663.631
AT ITER 6443 NEW BEST:: SOT 9784 SOS 4631 HAS SOPS 4631 HAS SOUS 1658 HAS SOUPS 1658 WITH SCORE 1662.631
AT ITER 6449 NEW BEST:: SOT 9783 SOS 4629 HAS SOPS 4629 HAS SOUS 1657 HAS SOUPS 1657 WITH SCORE 1661.629
AT ITER 6463 NEW BEST:: SOT 9781 SOS 4622 HAS SOPS 4622 HAS SOUS 1655 HAS SOUPS 1655 WITH SCORE 1659.622
AT ITER 6543 NEW BEST:: SOT 9773 SOS 4606 HAS SOPS 4606 HAS SOUS 1648 HAS SOUPS 1648 WITH SCORE 1652.606
AT ITER 6570 NEW BEST:: SOT 9772 SOS 4604 HAS SOPS 4604 HAS SOUS 1646 HAS SOUPS 1646 WITH SCORE 1650.604
AT ITER 6599 NEW BEST:: SOT 9770 SOS 4602 HAS SOPS 4602 HAS SOUS 1642 HAS SOUPS 1642 WITH SCORE 1646.602
AT ITER 6660 NEW BEST:: SOT 9769 SOS 4601 HAS SOPS 4601 HAS SOUS 1642 HAS SOUPS 1642 WITH SCORE 1646.601
AT ITER 6717 NEW BEST:: SOT 9754 SOS 4649 HAS SOPS 4649 HAS SOUS 1636 HAS SOUPS 1636 WITH SCORE 1640.649
AT ITER 6719 NEW BEST:: SOT 9754 SOS 4649 HAS SOPS 4649 HAS SOUS 1632 HAS SOUPS 1632 WITH SCORE 1636.649
AT ITER 6797 NEW BEST:: SOT 9747 SOS 4635 HAS SOPS 4635 HAS SOUS 1632 HAS SOUPS 1632 WITH SCORE 1636.635
AT ITER 6827 NEW BEST:: SOT 9742 SOS 4631 HAS SOPS 4631 HAS SOUS 1628 HAS SOUPS 1628 WITH SCORE 1632.631
AT ITER 6917 NEW BEST:: SOT 9742 SOS 4629 HAS SOPS 4629 HAS SOUS 1628 HAS SOUPS 1628 WITH SCORE 1632.629
AT ITER 6968 NEW BEST:: SOT 9742 SOS 4698 HAS SOPS 4698 HAS SOUS 1627 HAS SOUPS 1627 WITH SCORE 1631.698
AT ITER 7103 NEW BEST:: SOT 9738 SOS 4694 HAS SOPS 4694 HAS SOUS 1619 HAS SOUPS 1619 WITH SCORE 1623.694
AT ITER 7202 NEW BEST:: SOT 9738 SOS 4693 HAS SOPS 4693 HAS SOUS 1619 HAS SOUPS 1619 WITH SCORE 1623.693
AT ITER 7241 NEW BEST:: SOT 9718 SOS 4729 HAS SOPS 4729 HAS SOUS 1613 HAS SOUPS 1613 WITH SCORE 1617.729
AT ITER 7294 NEW BEST:: SOT 9718 SOS 4730 HAS SOPS 4730 HAS SOUS 1612 HAS SOUPS 1612 WITH SCORE 1616.73
AT ITER 7328 NEW BEST:: SOT 9720 SOS 4744 HAS SOPS 4744 HAS SOUS 1610 HAS SOUPS 1610 WITH SCORE 1614.744
AT ITER 7426 NEW BEST:: SOT 9718 SOS 4743 HAS SOPS 4743 HAS SOUS 1610 HAS SOUPS 1610 WITH SCORE 1614.743
AT ITER 7438 NEW BEST:: SOT 9718 SOS 4743 HAS SOPS 4743 HAS SOUS 1608 HAS SOUPS 1608 WITH SCORE 1612.743
AT ITER 7580 NEW BEST:: SOT 9716 SOS 4740 HAS SOPS 4740 HAS SOUS 1607 HAS SOUPS 1607 WITH SCORE 1611.74
AT ITER 7722 NEW BEST:: SOT 9718 SOS 4736 HAS SOPS 4736 HAS SOUS 1607 HAS SOUPS 1607 WITH SCORE 1611.736
AT ITER 7766 NEW BEST:: SOT 9719 SOS 4732 HAS SOPS 4732 HAS SOUS 1607 HAS SOUPS 1607 WITH SCORE 1611.732
AT ITER 7870 NEW BEST:: SOT 9717 SOS 4724 HAS SOPS 4724 HAS SOUS 1605 HAS SOUPS 1605 WITH SCORE 1609.724
AT ITER 8037 NEW BEST:: SOT 9717 SOS 4714 HAS SOPS 4714 HAS SOUS 1605 HAS SOUPS 1605 WITH SCORE 1609.714
AT ITER 8124 NEW BEST:: SOT 9721 SOS 4704 HAS SOPS 4704 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1608.704
AT ITER 8136 NEW BEST:: SOT 9717 SOS 4702 HAS SOPS 4702 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1606.702
AT ITER 8159 NEW BEST:: SOT 9717 SOS 4700 HAS SOPS 4700 HAS SOUS 1600 HAS SOUPS 1600 WITH SCORE 1604.7
AT ITER 8255 NEW BEST:: SOT 9720 SOS 4703 HAS SOPS 4703 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1601.703
AT ITER 8291 NEW BEST:: SOT 9720 SOS 4701 HAS SOPS 4701 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1601.701
AT ITER 8364 NEW BEST:: SOT 9720 SOS 4711 HAS SOPS 4711 HAS SOUS 1596 HAS SOUPS 1596 WITH SCORE 1600.711
AT ITER 8671 NEW BEST:: SOT 9716 SOS 4697 HAS SOPS 4697 HAS SOUS 1592 HAS SOUPS 1592 WITH SCORE 1596.697
AT ITER 8704 NEW BEST:: SOT 9710 SOS 4693 HAS SOPS 4693 HAS SOUS 1590 HAS SOUPS 1590 WITH SCORE 1594.693
AT ITER 8774 NEW BEST:: SOT 9710 SOS 4692 HAS SOPS 4692 HAS SOUS 1590 HAS SOUPS 1590 WITH SCORE 1594.692
AT ITER 8784 NEW BEST:: SOT 9709 SOS 4700 HAS SOPS 4700 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1592.7
AT ITER 8785 NEW BEST:: SOT 9709 SOS 4699 HAS SOPS 4699 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1592.699
AT ITER 9026 NEW BEST:: SOT 9707 SOS 4697 HAS SOPS 4697 HAS SOUS 1586 HAS SOUPS 1586 WITH SCORE 1590.697
AT ITER 9030 NEW BEST:: SOT 9701 SOS 4691 HAS SOPS 4691 HAS SOUS 1575 HAS SOUPS 1575 WITH SCORE 1579.691
AT ITER 9137 NEW BEST:: SOT 9697 SOS 4687 HAS SOPS 4687 HAS SOUS 1573 HAS SOUPS 1573 WITH SCORE 1577.687
AT ITER 9281 NEW BEST:: SOT 9696 SOS 4686 HAS SOPS 4686 HAS SOUS 1573 HAS SOUPS 1573 WITH SCORE 1577.686
AT ITER 9371 NEW BEST:: SOT 9694 SOS 4684 HAS SOPS 4684 HAS SOUS 1572 HAS SOUPS 1572 WITH SCORE 1576.684
AT ITER 9408 NEW BEST:: SOT 9692 SOS 4682 HAS SOPS 4682 HAS SOUS 1570 HAS SOUPS 1570 WITH SCORE 1574.682
AT ITER 9612 NEW BEST:: SOT 9691 SOS 4731 HAS SOPS 4731 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1572.731
AT ITER 9633 NEW BEST:: SOT 9691 SOS 4728 HAS SOPS 4728 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1572.728
STATE_SPACE STATES 27622035 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 24 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 253169448 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679311459937

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

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