About the Execution of Smart+red for SmartHome-PT-08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 728.296 | 117162.00 | 125076.00 | 714.70 | 8.0657E+0011 7.4740E+0012 1 11 | 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.r459-smll-167912650900216.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 SmartHome-PT-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912650900216
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 6.9K Feb 26 05:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 05:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 05:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 05:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 05:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 127K Feb 26 05:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 05:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 05:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 64K 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 1679260412965
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=SmartHome-PT-08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 21:13:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 21:13:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 21:13:36] [INFO ] Load time of PNML (sax parser for PT used): 95 ms
[2023-03-19 21:13:36] [INFO ] Transformed 252 places.
[2023-03-19 21:13:36] [INFO ] Transformed 291 transitions.
[2023-03-19 21:13:36] [INFO ] Found NUPN structural information;
[2023-03-19 21:13:36] [INFO ] Parsed PT model containing 252 places and 291 transitions and 664 arcs in 226 ms.
[2023-03-19 21:13:36] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 252 places, 291 transitions and 664 arcs took 8 ms.
Total runtime 291 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 08
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: 252 places, 291 transitions, 664 arcs.
AT ITER 0 NEW BEST:: SOT 43937 SOS 10855 HAS SOPS 10855 HAS SOUS 10499 HAS SOUPS 10499 WITH SCORE 10509.855
AT ITER 11 NEW BEST:: SOT 43715 SOS 12779 HAS SOPS 12779 HAS SOUS 10469 HAS SOUPS 10469 WITH SCORE 10481.779
AT ITER 13 NEW BEST:: SOT 43316 SOS 13849 HAS SOPS 13849 HAS SOUS 10313 HAS SOUPS 10313 WITH SCORE 10326.849
AT ITER 18 NEW BEST:: SOT 43287 SOS 13791 HAS SOPS 13791 HAS SOUS 10255 HAS SOUPS 10255 WITH SCORE 10268.791
AT ITER 32 NEW BEST:: SOT 43273 SOS 13763 HAS SOPS 13763 HAS SOUS 10249 HAS SOUPS 10249 WITH SCORE 10262.763
AT ITER 40 NEW BEST:: SOT 43066 SOS 13778 HAS SOPS 13778 HAS SOUS 10075 HAS SOUPS 10075 WITH SCORE 10088.778
AT ITER 41 NEW BEST:: SOT 43051 SOS 13767 HAS SOPS 13767 HAS SOUS 10060 HAS SOUPS 10060 WITH SCORE 10073.767
AT ITER 52 NEW BEST:: SOT 43044 SOS 13751 HAS SOPS 13751 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10057.751
AT ITER 55 NEW BEST:: SOT 43022 SOS 13730 HAS SOPS 13730 HAS SOUS 10037 HAS SOUPS 10037 WITH SCORE 10050.73
AT ITER 66 NEW BEST:: SOT 43021 SOS 13668 HAS SOPS 13668 HAS SOUS 9975 HAS SOUPS 9975 WITH SCORE 9988.668
AT ITER 70 NEW BEST:: SOT 42923 SOS 13472 HAS SOPS 13472 HAS SOUS 9828 HAS SOUPS 9828 WITH SCORE 9841.472
AT ITER 75 NEW BEST:: SOT 42650 SOS 13699 HAS SOPS 13699 HAS SOUS 9613 HAS SOUPS 9613 WITH SCORE 9626.699
AT ITER 77 NEW BEST:: SOT 42650 SOS 13692 HAS SOPS 13692 HAS SOUS 9613 HAS SOUPS 9613 WITH SCORE 9626.692
AT ITER 79 NEW BEST:: SOT 42650 SOS 13691 HAS SOPS 13691 HAS SOUS 9612 HAS SOUPS 9612 WITH SCORE 9625.691
AT ITER 88 NEW BEST:: SOT 42635 SOS 13668 HAS SOPS 13668 HAS SOUS 9586 HAS SOUPS 9586 WITH SCORE 9599.668
AT ITER 94 NEW BEST:: SOT 42635 SOS 13678 HAS SOPS 13678 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9586.678
AT ITER 104 NEW BEST:: SOT 42637 SOS 13665 HAS SOPS 13665 HAS SOUS 9560 HAS SOUPS 9560 WITH SCORE 9573.665
AT ITER 112 NEW BEST:: SOT 42624 SOS 13457 HAS SOPS 13457 HAS SOUS 9534 HAS SOUPS 9534 WITH SCORE 9547.457
AT ITER 114 NEW BEST:: SOT 42624 SOS 13419 HAS SOPS 13419 HAS SOUS 9496 HAS SOUPS 9496 WITH SCORE 9509.419
AT ITER 173 NEW BEST:: SOT 42624 SOS 13408 HAS SOPS 13408 HAS SOUS 9438 HAS SOUPS 9438 WITH SCORE 9451.408
AT ITER 190 NEW BEST:: SOT 42577 SOS 13368 HAS SOPS 13368 HAS SOUS 9395 HAS SOUPS 9395 WITH SCORE 9408.368
AT ITER 226 NEW BEST:: SOT 42610 SOS 13402 HAS SOPS 13402 HAS SOUS 9378 HAS SOUPS 9378 WITH SCORE 9391.402
AT ITER 229 NEW BEST:: SOT 42599 SOS 13380 HAS SOPS 13380 HAS SOUS 9356 HAS SOUPS 9356 WITH SCORE 9369.38
AT ITER 238 NEW BEST:: SOT 42585 SOS 13372 HAS SOPS 13372 HAS SOUS 9342 HAS SOUPS 9342 WITH SCORE 9355.372
AT ITER 254 NEW BEST:: SOT 42584 SOS 13369 HAS SOPS 13369 HAS SOUS 9340 HAS SOUPS 9340 WITH SCORE 9353.369
AT ITER 259 NEW BEST:: SOT 42581 SOS 13366 HAS SOPS 13366 HAS SOUS 9338 HAS SOUPS 9338 WITH SCORE 9351.366
AT ITER 260 NEW BEST:: SOT 42555 SOS 13314 HAS SOPS 13314 HAS SOUS 9312 HAS SOUPS 9312 WITH SCORE 9325.314
AT ITER 261 NEW BEST:: SOT 42541 SOS 13286 HAS SOPS 13286 HAS SOUS 9312 HAS SOUPS 9312 WITH SCORE 9325.286
AT ITER 272 NEW BEST:: SOT 42477 SOS 13483 HAS SOPS 13483 HAS SOUS 9273 HAS SOUPS 9273 WITH SCORE 9286.483
AT ITER 286 NEW BEST:: SOT 42470 SOS 13469 HAS SOPS 13469 HAS SOUS 9259 HAS SOUPS 9259 WITH SCORE 9272.469
AT ITER 289 NEW BEST:: SOT 42470 SOS 13460 HAS SOPS 13460 HAS SOUS 9250 HAS SOUPS 9250 WITH SCORE 9263.46
AT ITER 299 NEW BEST:: SOT 42462 SOS 13445 HAS SOPS 13445 HAS SOUS 9242 HAS SOUPS 9242 WITH SCORE 9255.445
AT ITER 304 NEW BEST:: SOT 42462 SOS 13460 HAS SOPS 13460 HAS SOUS 9227 HAS SOUPS 9227 WITH SCORE 9240.46
AT ITER 307 NEW BEST:: SOT 42450 SOS 13436 HAS SOPS 13436 HAS SOUS 9220 HAS SOUPS 9220 WITH SCORE 9233.436
AT ITER 323 NEW BEST:: SOT 42488 SOS 13512 HAS SOPS 13512 HAS SOUS 9215 HAS SOUPS 9215 WITH SCORE 9228.512
AT ITER 333 NEW BEST:: SOT 42488 SOS 13503 HAS SOPS 13503 HAS SOUS 9206 HAS SOUPS 9206 WITH SCORE 9219.503
AT ITER 338 NEW BEST:: SOT 42460 SOS 13475 HAS SOPS 13475 HAS SOUS 9205 HAS SOUPS 9205 WITH SCORE 9218.475
AT ITER 345 NEW BEST:: SOT 42428 SOS 12739 HAS SOPS 12739 HAS SOUS 9141 HAS SOUPS 9141 WITH SCORE 9153.739
AT ITER 349 NEW BEST:: SOT 42411 SOS 12709 HAS SOPS 12709 HAS SOUS 9128 HAS SOUPS 9128 WITH SCORE 9140.709
AT ITER 350 NEW BEST:: SOT 42411 SOS 12709 HAS SOPS 12709 HAS SOUS 9103 HAS SOUPS 9103 WITH SCORE 9115.709
AT ITER 356 NEW BEST:: SOT 42389 SOS 12687 HAS SOPS 12687 HAS SOUS 9088 HAS SOUPS 9088 WITH SCORE 9100.687
AT ITER 359 NEW BEST:: SOT 42368 SOS 12190 HAS SOPS 12190 HAS SOUS 9044 HAS SOUPS 9044 WITH SCORE 9056.19
AT ITER 369 NEW BEST:: SOT 42146 SOS 12319 HAS SOPS 12319 HAS SOUS 8970 HAS SOUPS 8970 WITH SCORE 8982.319
AT ITER 372 NEW BEST:: SOT 42081 SOS 12193 HAS SOPS 12193 HAS SOUS 8886 HAS SOUPS 8886 WITH SCORE 8898.193
AT ITER 383 NEW BEST:: SOT 42075 SOS 12187 HAS SOPS 12187 HAS SOUS 8880 HAS SOUPS 8880 WITH SCORE 8892.187
AT ITER 389 NEW BEST:: SOT 42068 SOS 12173 HAS SOPS 12173 HAS SOUS 8866 HAS SOUPS 8866 WITH SCORE 8878.173
AT ITER 397 NEW BEST:: SOT 42034 SOS 12343 HAS SOPS 12343 HAS SOUS 8849 HAS SOUPS 8849 WITH SCORE 8861.343
AT ITER 398 NEW BEST:: SOT 42033 SOS 12341 HAS SOPS 12341 HAS SOUS 8847 HAS SOUPS 8847 WITH SCORE 8859.341
AT ITER 399 NEW BEST:: SOT 42021 SOS 12317 HAS SOPS 12317 HAS SOUS 8823 HAS SOUPS 8823 WITH SCORE 8835.317
AT ITER 401 NEW BEST:: SOT 42020 SOS 12315 HAS SOPS 12315 HAS SOUS 8821 HAS SOUPS 8821 WITH SCORE 8833.315
AT ITER 405 NEW BEST:: SOT 42005 SOS 12285 HAS SOPS 12285 HAS SOUS 8791 HAS SOUPS 8791 WITH SCORE 8803.285
AT ITER 407 NEW BEST:: SOT 42014 SOS 12294 HAS SOPS 12294 HAS SOUS 8784 HAS SOUPS 8784 WITH SCORE 8796.294
AT ITER 408 NEW BEST:: SOT 42014 SOS 12292 HAS SOPS 12292 HAS SOUS 8782 HAS SOUPS 8782 WITH SCORE 8794.292
AT ITER 427 NEW BEST:: SOT 41989 SOS 12267 HAS SOPS 12267 HAS SOUS 8780 HAS SOUPS 8780 WITH SCORE 8792.267
AT ITER 438 NEW BEST:: SOT 41972 SOS 12251 HAS SOPS 12251 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8790.251
AT ITER 453 NEW BEST:: SOT 41972 SOS 12240 HAS SOPS 12240 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8779.24
AT ITER 467 NEW BEST:: SOT 41949 SOS 12194 HAS SOPS 12194 HAS SOUS 8721 HAS SOUPS 8721 WITH SCORE 8733.194
AT ITER 494 NEW BEST:: SOT 41912 SOS 12173 HAS SOPS 12173 HAS SOUS 8663 HAS SOUPS 8663 WITH SCORE 8675.173
AT ITER 517 NEW BEST:: SOT 41926 SOS 12200 HAS SOPS 12200 HAS SOUS 8641 HAS SOUPS 8641 WITH SCORE 8653.2
AT ITER 523 NEW BEST:: SOT 41898 SOS 12172 HAS SOPS 12172 HAS SOUS 8627 HAS SOUPS 8627 WITH SCORE 8639.172
AT ITER 529 NEW BEST:: SOT 41891 SOS 12158 HAS SOPS 12158 HAS SOUS 8613 HAS SOUPS 8613 WITH SCORE 8625.158
AT ITER 537 NEW BEST:: SOT 41874 SOS 12124 HAS SOPS 12124 HAS SOUS 8583 HAS SOUPS 8583 WITH SCORE 8595.124
AT ITER 543 NEW BEST:: SOT 41861 SOS 12098 HAS SOPS 12098 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8569.098
AT ITER 547 NEW BEST:: SOT 41864 SOS 12088 HAS SOPS 12088 HAS SOUS 8547 HAS SOUPS 8547 WITH SCORE 8559.088
AT ITER 551 NEW BEST:: SOT 41847 SOS 12054 HAS SOPS 12054 HAS SOUS 8539 HAS SOUPS 8539 WITH SCORE 8551.054
AT ITER 555 NEW BEST:: SOT 41819 SOS 12025 HAS SOPS 12025 HAS SOUS 8510 HAS SOUPS 8510 WITH SCORE 8522.025
AT ITER 566 NEW BEST:: SOT 41728 SOS 11859 HAS SOPS 11859 HAS SOUS 8418 HAS SOUPS 8418 WITH SCORE 8429.859
AT ITER 577 NEW BEST:: SOT 41716 SOS 11847 HAS SOPS 11847 HAS SOUS 8406 HAS SOUPS 8406 WITH SCORE 8417.847
AT ITER 590 NEW BEST:: SOT 41694 SOS 11990 HAS SOPS 11990 HAS SOUS 8399 HAS SOUPS 8399 WITH SCORE 8410.99
AT ITER 606 NEW BEST:: SOT 41683 SOS 11979 HAS SOPS 11979 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8399.979
AT ITER 626 NEW BEST:: SOT 41660 SOS 12325 HAS SOPS 12325 HAS SOUS 8365 HAS SOUPS 8365 WITH SCORE 8377.325
AT ITER 647 NEW BEST:: SOT 41647 SOS 12299 HAS SOPS 12299 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8334.299
AT ITER 650 NEW BEST:: SOT 41647 SOS 12299 HAS SOPS 12299 HAS SOUS 8282 HAS SOUPS 8282 WITH SCORE 8294.299
AT ITER 655 NEW BEST:: SOT 41647 SOS 12294 HAS SOPS 12294 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8289.294
AT ITER 673 NEW BEST:: SOT 41639 SOS 12286 HAS SOPS 12286 HAS SOUS 8270 HAS SOUPS 8270 WITH SCORE 8282.286
AT ITER 684 NEW BEST:: SOT 41638 SOS 12285 HAS SOPS 12285 HAS SOUS 8269 HAS SOUPS 8269 WITH SCORE 8281.285
AT ITER 686 NEW BEST:: SOT 41628 SOS 12264 HAS SOPS 12264 HAS SOUS 8246 HAS SOUPS 8246 WITH SCORE 8258.264
AT ITER 697 NEW BEST:: SOT 41629 SOS 12249 HAS SOPS 12249 HAS SOUS 8246 HAS SOUPS 8246 WITH SCORE 8258.249
AT ITER 699 NEW BEST:: SOT 41628 SOS 12262 HAS SOPS 12262 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8257.262
AT ITER 701 NEW BEST:: SOT 41628 SOS 12256 HAS SOPS 12256 HAS SOUS 8239 HAS SOUPS 8239 WITH SCORE 8251.256
AT ITER 710 NEW BEST:: SOT 41626 SOS 12254 HAS SOPS 12254 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8249.254
AT ITER 724 NEW BEST:: SOT 41600 SOS 12269 HAS SOPS 12269 HAS SOUS 8143 HAS SOUPS 8143 WITH SCORE 8155.269
AT ITER 734 NEW BEST:: SOT 41578 SOS 12247 HAS SOPS 12247 HAS SOUS 8121 HAS SOUPS 8121 WITH SCORE 8133.247
AT ITER 752 NEW BEST:: SOT 41571 SOS 12233 HAS SOPS 12233 HAS SOUS 8107 HAS SOUPS 8107 WITH SCORE 8119.233
AT ITER 755 NEW BEST:: SOT 41571 SOS 12233 HAS SOPS 12233 HAS SOUS 8098 HAS SOUPS 8098 WITH SCORE 8110.233
AT ITER 780 NEW BEST:: SOT 41571 SOS 12233 HAS SOPS 12233 HAS SOUS 8097 HAS SOUPS 8097 WITH SCORE 8109.233
AT ITER 796 NEW BEST:: SOT 41575 SOS 12237 HAS SOPS 12237 HAS SOUS 8079 HAS SOUPS 8079 WITH SCORE 8091.237
AT ITER 813 NEW BEST:: SOT 41553 SOS 12215 HAS SOPS 12215 HAS SOUS 8057 HAS SOUPS 8057 WITH SCORE 8069.215
AT ITER 819 NEW BEST:: SOT 41553 SOS 12200 HAS SOPS 12200 HAS SOUS 8042 HAS SOUPS 8042 WITH SCORE 8054.2
AT ITER 825 NEW BEST:: SOT 41534 SOS 12206 HAS SOPS 12206 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8052.206
AT ITER 838 NEW BEST:: SOT 41529 SOS 12196 HAS SOPS 12196 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8047.196
AT ITER 852 NEW BEST:: SOT 41529 SOS 12192 HAS SOPS 12192 HAS SOUS 8031 HAS SOUPS 8031 WITH SCORE 8043.192
AT ITER 856 NEW BEST:: SOT 41521 SOS 12176 HAS SOPS 12176 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8027.176
AT ITER 864 NEW BEST:: SOT 41491 SOS 12116 HAS SOPS 12116 HAS SOUS 7955 HAS SOUPS 7955 WITH SCORE 7967.116
AT ITER 868 NEW BEST:: SOT 41460 SOS 12114 HAS SOPS 12114 HAS SOUS 7953 HAS SOUPS 7953 WITH SCORE 7965.114
AT ITER 882 NEW BEST:: SOT 41451 SOS 12105 HAS SOPS 12105 HAS SOUS 7944 HAS SOUPS 7944 WITH SCORE 7956.105
AT ITER 886 NEW BEST:: SOT 41451 SOS 12105 HAS SOPS 12105 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7954.105
AT ITER 898 NEW BEST:: SOT 41414 SOS 12031 HAS SOPS 12031 HAS SOUS 7909 HAS SOUPS 7909 WITH SCORE 7921.031
AT ITER 899 NEW BEST:: SOT 41415 SOS 12033 HAS SOPS 12033 HAS SOUS 7907 HAS SOUPS 7907 WITH SCORE 7919.033
AT ITER 902 NEW BEST:: SOT 41411 SOS 12028 HAS SOPS 12028 HAS SOUS 7905 HAS SOUPS 7905 WITH SCORE 7917.028
AT ITER 927 NEW BEST:: SOT 41406 SOS 12018 HAS SOPS 12018 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7907.018
AT ITER 928 NEW BEST:: SOT 41406 SOS 11996 HAS SOPS 11996 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7884.996
AT ITER 933 NEW BEST:: SOT 41402 SOS 11988 HAS SOPS 11988 HAS SOUS 7869 HAS SOUPS 7869 WITH SCORE 7880.988
AT ITER 934 NEW BEST:: SOT 41396 SOS 11990 HAS SOPS 11990 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7876.99
AT ITER 937 NEW BEST:: SOT 41375 SOS 11959 HAS SOPS 11959 HAS SOUS 7833 HAS SOUPS 7833 WITH SCORE 7844.959
AT ITER 958 NEW BEST:: SOT 41387 SOS 11983 HAS SOPS 11983 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7828.983
AT ITER 983 NEW BEST:: SOT 41366 SOS 11920 HAS SOPS 11920 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7786.92
AT ITER 987 NEW BEST:: SOT 41368 SOS 11906 HAS SOPS 11906 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7755.906
AT ITER 990 NEW BEST:: SOT 41358 SOS 11834 HAS SOPS 11834 HAS SOUS 7724 HAS SOUPS 7724 WITH SCORE 7735.834
AT ITER 1007 NEW BEST:: SOT 41277 SOS 11732 HAS SOPS 11732 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7693.732
AT ITER 1010 NEW BEST:: SOT 41275 SOS 11728 HAS SOPS 11728 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7691.728
AT ITER 1011 NEW BEST:: SOT 41273 SOS 11724 HAS SOPS 11724 HAS SOUS 7674 HAS SOUPS 7674 WITH SCORE 7685.724
AT ITER 1019 NEW BEST:: SOT 41273 SOS 11713 HAS SOPS 11713 HAS SOUS 7663 HAS SOUPS 7663 WITH SCORE 7674.713
AT ITER 1022 NEW BEST:: SOT 41258 SOS 11683 HAS SOPS 11683 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7644.683
AT ITER 1025 NEW BEST:: SOT 41246 SOS 11605 HAS SOPS 11605 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7604.605
AT ITER 1041 NEW BEST:: SOT 41242 SOS 11597 HAS SOPS 11597 HAS SOUS 7586 HAS SOUPS 7586 WITH SCORE 7597.597
AT ITER 1057 NEW BEST:: SOT 41211 SOS 11557 HAS SOPS 11557 HAS SOUS 7586 HAS SOUPS 7586 WITH SCORE 7597.557
AT ITER 1068 NEW BEST:: SOT 41211 SOS 11545 HAS SOPS 11545 HAS SOUS 7574 HAS SOUPS 7574 WITH SCORE 7585.545
AT ITER 1083 NEW BEST:: SOT 41172 SOS 11504 HAS SOPS 11504 HAS SOUS 7569 HAS SOUPS 7569 WITH SCORE 7580.504
AT ITER 1098 NEW BEST:: SOT 41164 SOS 11496 HAS SOPS 11496 HAS SOUS 7569 HAS SOUPS 7569 WITH SCORE 7580.496
AT ITER 1119 NEW BEST:: SOT 41132 SOS 11405 HAS SOPS 11405 HAS SOUS 7510 HAS SOUPS 7510 WITH SCORE 7521.405
AT ITER 1124 NEW BEST:: SOT 41122 SOS 11375 HAS SOPS 11375 HAS SOUS 7490 HAS SOUPS 7490 WITH SCORE 7501.375
AT ITER 1128 NEW BEST:: SOT 41113 SOS 11357 HAS SOPS 11357 HAS SOUS 7490 HAS SOUPS 7490 WITH SCORE 7501.357
AT ITER 1135 NEW BEST:: SOT 41071 SOS 11273 HAS SOPS 11273 HAS SOUS 7467 HAS SOUPS 7467 WITH SCORE 7478.273
AT ITER 1154 NEW BEST:: SOT 41068 SOS 11264 HAS SOPS 11264 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7472.264
AT ITER 1155 NEW BEST:: SOT 41051 SOS 11230 HAS SOPS 11230 HAS SOUS 7444 HAS SOUPS 7444 WITH SCORE 7455.23
AT ITER 1158 NEW BEST:: SOT 41037 SOS 11209 HAS SOPS 11209 HAS SOUS 7423 HAS SOUPS 7423 WITH SCORE 7434.209
AT ITER 1171 NEW BEST:: SOT 41033 SOS 11201 HAS SOPS 11201 HAS SOUS 7369 HAS SOUPS 7369 WITH SCORE 7380.201
AT ITER 1173 NEW BEST:: SOT 41033 SOS 11201 HAS SOPS 11201 HAS SOUS 7368 HAS SOUPS 7368 WITH SCORE 7379.201
AT ITER 1179 NEW BEST:: SOT 41028 SOS 11196 HAS SOPS 11196 HAS SOUS 7363 HAS SOUPS 7363 WITH SCORE 7374.196
AT ITER 1181 NEW BEST:: SOT 41036 SOS 11188 HAS SOPS 11188 HAS SOUS 7355 HAS SOUPS 7355 WITH SCORE 7366.188
AT ITER 1204 NEW BEST:: SOT 40986 SOS 11396 HAS SOPS 11396 HAS SOUS 7327 HAS SOUPS 7327 WITH SCORE 7338.396
AT ITER 1215 NEW BEST:: SOT 40980 SOS 11390 HAS SOPS 11390 HAS SOUS 7321 HAS SOUPS 7321 WITH SCORE 7332.39
AT ITER 1233 NEW BEST:: SOT 40968 SOS 11382 HAS SOPS 11382 HAS SOUS 7309 HAS SOUPS 7309 WITH SCORE 7320.382
AT ITER 1235 NEW BEST:: SOT 40976 SOS 11398 HAS SOPS 11398 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7309.398
AT ITER 1255 NEW BEST:: SOT 40976 SOS 11395 HAS SOPS 11395 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7306.395
AT ITER 1264 NEW BEST:: SOT 40970 SOS 11383 HAS SOPS 11383 HAS SOUS 7283 HAS SOUPS 7283 WITH SCORE 7294.383
AT ITER 1275 NEW BEST:: SOT 40946 SOS 11335 HAS SOPS 11335 HAS SOUS 7256 HAS SOUPS 7256 WITH SCORE 7267.335
AT ITER 1311 NEW BEST:: SOT 40939 SOS 11291 HAS SOPS 11291 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7238.291
AT ITER 1314 NEW BEST:: SOT 40875 SOS 11223 HAS SOPS 11223 HAS SOUS 7159 HAS SOUPS 7159 WITH SCORE 7170.223
AT ITER 1323 NEW BEST:: SOT 40872 SOS 11217 HAS SOPS 11217 HAS SOUS 7159 HAS SOUPS 7159 WITH SCORE 7170.217
AT ITER 1334 NEW BEST:: SOT 40840 SOS 11169 HAS SOPS 11169 HAS SOUS 7143 HAS SOUPS 7143 WITH SCORE 7154.169
AT ITER 1337 NEW BEST:: SOT 40837 SOS 11163 HAS SOPS 11163 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7148.163
AT ITER 1353 NEW BEST:: SOT 40810 SOS 11109 HAS SOPS 11109 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7122.109
AT ITER 1357 NEW BEST:: SOT 40800 SOS 11084 HAS SOPS 11084 HAS SOUS 7101 HAS SOUPS 7101 WITH SCORE 7112.084
AT ITER 1370 NEW BEST:: SOT 40799 SOS 11082 HAS SOPS 11082 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7111.082
AT ITER 1384 NEW BEST:: SOT 40798 SOS 11072 HAS SOPS 11072 HAS SOUS 7090 HAS SOUPS 7090 WITH SCORE 7101.072
AT ITER 1396 NEW BEST:: SOT 40774 SOS 11048 HAS SOPS 11048 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7078.048
AT ITER 1401 NEW BEST:: SOT 40771 SOS 11042 HAS SOPS 11042 HAS SOUS 7061 HAS SOUPS 7061 WITH SCORE 7072.042
AT ITER 1408 NEW BEST:: SOT 40774 SOS 11045 HAS SOPS 11045 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7069.045
AT ITER 1427 NEW BEST:: SOT 40769 SOS 11061 HAS SOPS 11061 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7066.061
AT ITER 1437 NEW BEST:: SOT 40758 SOS 11049 HAS SOPS 11049 HAS SOUS 7043 HAS SOUPS 7043 WITH SCORE 7054.049
AT ITER 1450 NEW BEST:: SOT 40719 SOS 10971 HAS SOPS 10971 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7033.971
AT ITER 1468 NEW BEST:: SOT 40710 SOS 10953 HAS SOPS 10953 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7033.953
AT ITER 1482 NEW BEST:: SOT 40731 SOS 10816 HAS SOPS 10816 HAS SOUS 7011 HAS SOUPS 7011 WITH SCORE 7021.816
AT ITER 1496 NEW BEST:: SOT 40725 SOS 10810 HAS SOPS 10810 HAS SOUS 6999 HAS SOUPS 6999 WITH SCORE 7009.81
AT ITER 1499 NEW BEST:: SOT 40717 SOS 10794 HAS SOPS 10794 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6993.794
AT ITER 1509 NEW BEST:: SOT 40705 SOS 10794 HAS SOPS 10794 HAS SOUS 6971 HAS SOUPS 6971 WITH SCORE 6981.794
AT ITER 1515 NEW BEST:: SOT 40698 SOS 10787 HAS SOPS 10787 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6975.787
AT ITER 1525 NEW BEST:: SOT 40713 SOS 10817 HAS SOPS 10817 HAS SOUS 6961 HAS SOUPS 6961 WITH SCORE 6971.817
AT ITER 1529 NEW BEST:: SOT 40712 SOS 10815 HAS SOPS 10815 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6969.815
AT ITER 1565 NEW BEST:: SOT 40666 SOS 10790 HAS SOPS 10790 HAS SOUS 6951 HAS SOUPS 6951 WITH SCORE 6961.79
AT ITER 1579 NEW BEST:: SOT 40639 SOS 10736 HAS SOPS 10736 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6919.736
AT ITER 1592 NEW BEST:: SOT 40706 SOS 10803 HAS SOPS 10803 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6893.803
AT ITER 1598 NEW BEST:: SOT 40684 SOS 10787 HAS SOPS 10787 HAS SOUS 6867 HAS SOUPS 6867 WITH SCORE 6877.787
AT ITER 1617 NEW BEST:: SOT 40686 SOS 10785 HAS SOPS 10785 HAS SOUS 6865 HAS SOUPS 6865 WITH SCORE 6875.785
AT ITER 1619 NEW BEST:: SOT 40692 SOS 10772 HAS SOPS 10772 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6862.772
AT ITER 1639 NEW BEST:: SOT 40716 SOS 10796 HAS SOPS 10796 HAS SOUS 6851 HAS SOUPS 6851 WITH SCORE 6861.796
AT ITER 1645 NEW BEST:: SOT 40699 SOS 10774 HAS SOPS 10774 HAS SOUS 6839 HAS SOUPS 6839 WITH SCORE 6849.774
AT ITER 1679 NEW BEST:: SOT 40699 SOS 10774 HAS SOPS 10774 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6846.774
AT ITER 1685 NEW BEST:: SOT 40685 SOS 10760 HAS SOPS 10760 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6820.76
AT ITER 1721 NEW BEST:: SOT 40685 SOS 10760 HAS SOPS 10760 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6808.76
AT ITER 1747 NEW BEST:: SOT 40678 SOS 10844 HAS SOPS 10844 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6801.844
AT ITER 1751 NEW BEST:: SOT 40663 SOS 10829 HAS SOPS 10829 HAS SOUS 6776 HAS SOUPS 6776 WITH SCORE 6786.829
AT ITER 1772 NEW BEST:: SOT 40600 SOS 10636 HAS SOPS 10636 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6712.636
AT ITER 1781 NEW BEST:: SOT 40626 SOS 10689 HAS SOPS 10689 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6702.689
AT ITER 1788 NEW BEST:: SOT 40655 SOS 10679 HAS SOPS 10679 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6700.679
AT ITER 1802 NEW BEST:: SOT 40672 SOS 10696 HAS SOPS 10696 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6689.696
AT ITER 1812 NEW BEST:: SOT 40670 SOS 10690 HAS SOPS 10690 HAS SOUS 6675 HAS SOUPS 6675 WITH SCORE 6685.69
AT ITER 1830 NEW BEST:: SOT 40664 SOS 10678 HAS SOPS 10678 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6673.678
AT ITER 1831 NEW BEST:: SOT 40643 SOS 10644 HAS SOPS 10644 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6639.644
AT ITER 1852 NEW BEST:: SOT 40642 SOS 10642 HAS SOPS 10642 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6637.642
AT ITER 1862 NEW BEST:: SOT 40641 SOS 10619 HAS SOPS 10619 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6614.619
AT ITER 1866 NEW BEST:: SOT 40654 SOS 10618 HAS SOPS 10618 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6613.618
AT ITER 1913 NEW BEST:: SOT 40651 SOS 10612 HAS SOPS 10612 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6607.612
AT ITER 1930 NEW BEST:: SOT 40639 SOS 10643 HAS SOPS 10643 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6599.643
AT ITER 1949 NEW BEST:: SOT 40639 SOS 10642 HAS SOPS 10642 HAS SOUS 6588 HAS SOUPS 6588 WITH SCORE 6598.642
AT ITER 1957 NEW BEST:: SOT 40604 SOS 10607 HAS SOPS 10607 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6563.607
AT ITER 1975 NEW BEST:: SOT 40604 SOS 10574 HAS SOPS 10574 HAS SOUS 6520 HAS SOUPS 6520 WITH SCORE 6530.574
AT ITER 1979 NEW BEST:: SOT 40600 SOS 10569 HAS SOPS 10569 HAS SOUS 6515 HAS SOUPS 6515 WITH SCORE 6525.569
AT ITER 1999 NEW BEST:: SOT 40547 SOS 11198 HAS SOPS 11198 HAS SOUS 6497 HAS SOUPS 6497 WITH SCORE 6508.198
AT ITER 2006 NEW BEST:: SOT 40546 SOS 11196 HAS SOPS 11196 HAS SOUS 6497 HAS SOUPS 6497 WITH SCORE 6508.196
AT ITER 2008 NEW BEST:: SOT 40534 SOS 11184 HAS SOPS 11184 HAS SOUS 6485 HAS SOUPS 6485 WITH SCORE 6496.184
AT ITER 2020 NEW BEST:: SOT 40502 SOS 11142 HAS SOPS 11142 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6476.142
AT ITER 2029 NEW BEST:: SOT 40496 SOS 11137 HAS SOPS 11137 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6471.137
AT ITER 2030 NEW BEST:: SOT 40496 SOS 11137 HAS SOPS 11137 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6470.137
AT ITER 2076 NEW BEST:: SOT 40494 SOS 11135 HAS SOPS 11135 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6470.135
AT ITER 2092 NEW BEST:: SOT 40491 SOS 11131 HAS SOPS 11131 HAS SOUS 6455 HAS SOUPS 6455 WITH SCORE 6466.131
AT ITER 2098 NEW BEST:: SOT 40486 SOS 11128 HAS SOPS 11128 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6463.128
AT ITER 2113 NEW BEST:: SOT 40478 SOS 11112 HAS SOPS 11112 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6456.112
AT ITER 2117 NEW BEST:: SOT 40469 SOS 11085 HAS SOPS 11085 HAS SOUS 6427 HAS SOUPS 6427 WITH SCORE 6438.085
AT ITER 2152 NEW BEST:: SOT 40399 SOS 11361 HAS SOPS 11361 HAS SOUS 6376 HAS SOUPS 6376 WITH SCORE 6387.361
AT ITER 2157 NEW BEST:: SOT 40397 SOS 11357 HAS SOPS 11357 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6383.357
AT ITER 2162 NEW BEST:: SOT 40395 SOS 11355 HAS SOPS 11355 HAS SOUS 6368 HAS SOUPS 6368 WITH SCORE 6379.355
AT ITER 2165 NEW BEST:: SOT 40377 SOS 11319 HAS SOPS 11319 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6361.319
AT ITER 2170 NEW BEST:: SOT 40363 SOS 11305 HAS SOPS 11305 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6347.305
AT ITER 2184 NEW BEST:: SOT 40357 SOS 11335 HAS SOPS 11335 HAS SOUS 6333 HAS SOUPS 6333 WITH SCORE 6344.335
AT ITER 2198 NEW BEST:: SOT 40357 SOS 11335 HAS SOPS 11335 HAS SOUS 6319 HAS SOUPS 6319 WITH SCORE 6330.335
AT ITER 2217 NEW BEST:: SOT 40338 SOS 11316 HAS SOPS 11316 HAS SOUS 6300 HAS SOUPS 6300 WITH SCORE 6311.316
AT ITER 2233 NEW BEST:: SOT 40338 SOS 11316 HAS SOPS 11316 HAS SOUS 6296 HAS SOUPS 6296 WITH SCORE 6307.316
AT ITER 2284 NEW BEST:: SOT 40350 SOS 11266 HAS SOPS 11266 HAS SOUS 6278 HAS SOUPS 6278 WITH SCORE 6289.266
AT ITER 2286 NEW BEST:: SOT 40349 SOS 11263 HAS SOPS 11263 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6287.263
AT ITER 2292 NEW BEST:: SOT 40348 SOS 11261 HAS SOPS 11261 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6285.261
AT ITER 2338 NEW BEST:: SOT 40333 SOS 11234 HAS SOPS 11234 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6285.234
AT ITER 2345 NEW BEST:: SOT 40333 SOS 11203 HAS SOPS 11203 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6285.203
AT ITER 2364 NEW BEST:: SOT 40333 SOS 11203 HAS SOPS 11203 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6254.203
AT ITER 2378 NEW BEST:: SOT 40333 SOS 11203 HAS SOPS 11203 HAS SOUS 6242 HAS SOUPS 6242 WITH SCORE 6253.203
AT ITER 2380 NEW BEST:: SOT 40338 SOS 11201 HAS SOPS 11201 HAS SOUS 6240 HAS SOUPS 6240 WITH SCORE 6251.201
AT ITER 2386 NEW BEST:: SOT 40303 SOS 11399 HAS SOPS 11399 HAS SOUS 6226 HAS SOUPS 6226 WITH SCORE 6237.399
AT ITER 2406 NEW BEST:: SOT 40308 SOS 11398 HAS SOPS 11398 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6236.398
AT ITER 2414 NEW BEST:: SOT 40303 SOS 11385 HAS SOPS 11385 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6231.385
AT ITER 2415 NEW BEST:: SOT 40310 SOS 11382 HAS SOPS 11382 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6228.382
AT ITER 2466 NEW BEST:: SOT 40302 SOS 11366 HAS SOPS 11366 HAS SOUS 6209 HAS SOUPS 6209 WITH SCORE 6220.366
AT ITER 2487 NEW BEST:: SOT 40302 SOS 11351 HAS SOPS 11351 HAS SOUS 6194 HAS SOUPS 6194 WITH SCORE 6205.351
AT ITER 2546 NEW BEST:: SOT 40300 SOS 11347 HAS SOPS 11347 HAS SOUS 6190 HAS SOUPS 6190 WITH SCORE 6201.347
AT ITER 2548 NEW BEST:: SOT 40288 SOS 11335 HAS SOPS 11335 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6189.335
AT ITER 2582 NEW BEST:: SOT 40270 SOS 11299 HAS SOPS 11299 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6153.299
AT ITER 2595 NEW BEST:: SOT 40256 SOS 11271 HAS SOPS 11271 HAS SOUS 6114 HAS SOUPS 6114 WITH SCORE 6125.271
AT ITER 2606 NEW BEST:: SOT 40234 SOS 11247 HAS SOPS 11247 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6101.247
AT ITER 2662 NEW BEST:: SOT 40232 SOS 11243 HAS SOPS 11243 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6097.243
AT ITER 2690 NEW BEST:: SOT 40213 SOS 11223 HAS SOPS 11223 HAS SOUS 6070 HAS SOUPS 6070 WITH SCORE 6081.223
AT ITER 2742 NEW BEST:: SOT 40212 SOS 11213 HAS SOPS 11213 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6080.213
AT ITER 2761 NEW BEST:: SOT 40200 SOS 11189 HAS SOPS 11189 HAS SOUS 6045 HAS SOUPS 6045 WITH SCORE 6056.189
AT ITER 2780 NEW BEST:: SOT 40200 SOS 11189 HAS SOPS 11189 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6055.189
AT ITER 2837 NEW BEST:: SOT 40188 SOS 11177 HAS SOPS 11177 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6043.177
AT ITER 2850 NEW BEST:: SOT 40181 SOS 11174 HAS SOPS 11174 HAS SOUS 6029 HAS SOUPS 6029 WITH SCORE 6040.174
AT ITER 2871 NEW BEST:: SOT 40203 SOS 10700 HAS SOPS 10700 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6024.7
AT ITER 2883 NEW BEST:: SOT 40198 SOS 10690 HAS SOPS 10690 HAS SOUS 6004 HAS SOUPS 6004 WITH SCORE 6014.69
AT ITER 2896 NEW BEST:: SOT 40195 SOS 10684 HAS SOPS 10684 HAS SOUS 5998 HAS SOUPS 5998 WITH SCORE 6008.684
AT ITER 2923 NEW BEST:: SOT 40195 SOS 10684 HAS SOPS 10684 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6006.684
AT ITER 2941 NEW BEST:: SOT 40194 SOS 10682 HAS SOPS 10682 HAS SOUS 5994 HAS SOUPS 5994 WITH SCORE 6004.682
AT ITER 2965 NEW BEST:: SOT 40186 SOS 10664 HAS SOPS 10664 HAS SOUS 5966 HAS SOUPS 5966 WITH SCORE 5976.664
AT ITER 2976 NEW BEST:: SOT 40186 SOS 10672 HAS SOPS 10672 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5973.672
AT ITER 2978 NEW BEST:: SOT 40133 SOS 10594 HAS SOPS 10594 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 5951.594
AT ITER 3042 NEW BEST:: SOT 40112 SOS 10552 HAS SOPS 10552 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5928.552
AT ITER 3087 NEW BEST:: SOT 40123 SOS 10560 HAS SOPS 10560 HAS SOUS 5912 HAS SOUPS 5912 WITH SCORE 5922.56
AT ITER 3089 NEW BEST:: SOT 40123 SOS 10524 HAS SOPS 10524 HAS SOUS 5912 HAS SOUPS 5912 WITH SCORE 5922.524
AT ITER 3135 NEW BEST:: SOT 40122 SOS 10522 HAS SOPS 10522 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5921.522
AT ITER 3170 NEW BEST:: SOT 40118 SOS 10494 HAS SOPS 10494 HAS SOUS 5903 HAS SOUPS 5903 WITH SCORE 5913.494
AT ITER 3220 NEW BEST:: SOT 40113 SOS 10487 HAS SOPS 10487 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5909.487
AT ITER 3244 NEW BEST:: SOT 40103 SOS 10467 HAS SOPS 10467 HAS SOUS 5889 HAS SOUPS 5889 WITH SCORE 5899.467
AT ITER 3278 NEW BEST:: SOT 40101 SOS 10463 HAS SOPS 10463 HAS SOUS 5885 HAS SOUPS 5885 WITH SCORE 5895.463
AT ITER 3300 NEW BEST:: SOT 40095 SOS 10451 HAS SOPS 10451 HAS SOUS 5873 HAS SOUPS 5873 WITH SCORE 5883.451
AT ITER 3353 NEW BEST:: SOT 40098 SOS 10438 HAS SOPS 10438 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5879.438
AT ITER 3495 NEW BEST:: SOT 40084 SOS 10410 HAS SOPS 10410 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5878.41
AT ITER 3534 NEW BEST:: SOT 40082 SOS 10406 HAS SOPS 10406 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5874.406
AT ITER 3564 NEW BEST:: SOT 40079 SOS 10400 HAS SOPS 10400 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5868.4
AT ITER 3626 NEW BEST:: SOT 40077 SOS 10398 HAS SOPS 10398 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5866.398
AT ITER 3638 NEW BEST:: SOT 40071 SOS 10386 HAS SOPS 10386 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5854.386
AT ITER 3686 NEW BEST:: SOT 40070 SOS 10384 HAS SOPS 10384 HAS SOUS 5841 HAS SOUPS 5841 WITH SCORE 5851.384
AT ITER 3689 NEW BEST:: SOT 40070 SOS 10384 HAS SOPS 10384 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5850.384
AT ITER 3757 NEW BEST:: SOT 40079 SOS 10402 HAS SOPS 10402 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5846.402
AT ITER 3766 NEW BEST:: SOT 40072 SOS 10388 HAS SOPS 10388 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5839.388
AT ITER 3803 NEW BEST:: SOT 40065 SOS 10372 HAS SOPS 10372 HAS SOUS 5813 HAS SOUPS 5813 WITH SCORE 5823.372
AT ITER 3830 NEW BEST:: SOT 40065 SOS 10369 HAS SOPS 10369 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5817.369
AT ITER 3840 NEW BEST:: SOT 40059 SOS 10357 HAS SOPS 10357 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5808.357
AT ITER 3931 NEW BEST:: SOT 40047 SOS 10365 HAS SOPS 10365 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5792.365
AT ITER 3985 NEW BEST:: SOT 40047 SOS 10362 HAS SOPS 10362 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5792.362
AT ITER 4008 NEW BEST:: SOT 40052 SOS 10372 HAS SOPS 10372 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5777.372
AT ITER 4009 NEW BEST:: SOT 40028 SOS 10358 HAS SOPS 10358 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5775.358
AT ITER 4035 NEW BEST:: SOT 40024 SOS 10354 HAS SOPS 10354 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5771.354
AT ITER 4067 NEW BEST:: SOT 40022 SOS 10352 HAS SOPS 10352 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5767.352
AT ITER 4105 NEW BEST:: SOT 40020 SOS 10349 HAS SOPS 10349 HAS SOUS 5754 HAS SOUPS 5754 WITH SCORE 5764.349
AT ITER 4127 NEW BEST:: SOT 39992 SOS 10272 HAS SOPS 10272 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5759.272
AT ITER 4147 NEW BEST:: SOT 39991 SOS 10271 HAS SOPS 10271 HAS SOUS 5748 HAS SOUPS 5748 WITH SCORE 5758.271
AT ITER 4197 NEW BEST:: SOT 39992 SOS 10274 HAS SOPS 10274 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5744.274
AT ITER 4200 NEW BEST:: SOT 39990 SOS 10272 HAS SOPS 10272 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5742.272
AT ITER 4202 NEW BEST:: SOT 39988 SOS 10268 HAS SOPS 10268 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5738.268
AT ITER 4221 NEW BEST:: SOT 39977 SOS 10246 HAS SOPS 10246 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5716.246
AT ITER 4282 NEW BEST:: SOT 39977 SOS 10242 HAS SOPS 10242 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5716.242
AT ITER 4286 NEW BEST:: SOT 39977 SOS 10242 HAS SOPS 10242 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5714.242
AT ITER 4317 NEW BEST:: SOT 39965 SOS 10242 HAS SOPS 10242 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5708.242
AT ITER 4327 NEW BEST:: SOT 39964 SOS 10240 HAS SOPS 10240 HAS SOUS 5696 HAS SOUPS 5696 WITH SCORE 5706.24
AT ITER 4342 NEW BEST:: SOT 39953 SOS 10237 HAS SOPS 10237 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5703.237
AT ITER 4346 NEW BEST:: SOT 39951 SOS 10234 HAS SOPS 10234 HAS SOUS 5690 HAS SOUPS 5690 WITH SCORE 5700.234
AT ITER 4368 NEW BEST:: SOT 39984 SOS 10295 HAS SOPS 10295 HAS SOUS 5689 HAS SOUPS 5689 WITH SCORE 5699.295
AT ITER 4383 NEW BEST:: SOT 39979 SOS 10285 HAS SOPS 10285 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5689.285
AT ITER 4386 NEW BEST:: SOT 39971 SOS 10277 HAS SOPS 10277 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5687.277
AT ITER 4408 NEW BEST:: SOT 39963 SOS 10261 HAS SOPS 10261 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5671.261
AT ITER 4429 NEW BEST:: SOT 39960 SOS 10263 HAS SOPS 10263 HAS SOUS 5659 HAS SOUPS 5659 WITH SCORE 5669.263
AT ITER 4436 NEW BEST:: SOT 39934 SOS 10243 HAS SOPS 10243 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5656.243
AT ITER 4477 NEW BEST:: SOT 39927 SOS 10229 HAS SOPS 10229 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5636.229
AT ITER 4483 NEW BEST:: SOT 39915 SOS 10289 HAS SOPS 10289 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5630.289
AT ITER 4490 NEW BEST:: SOT 39913 SOS 10285 HAS SOPS 10285 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5626.285
AT ITER 4502 NEW BEST:: SOT 39868 SOS 10195 HAS SOPS 10195 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5568.195
AT ITER 4504 NEW BEST:: SOT 39826 SOS 10140 HAS SOPS 10140 HAS SOUS 5544 HAS SOUPS 5544 WITH SCORE 5554.14
AT ITER 4520 NEW BEST:: SOT 39831 SOS 10144 HAS SOPS 10144 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5550.144
AT ITER 4564 NEW BEST:: SOT 39831 SOS 10128 HAS SOPS 10128 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5550.128
AT ITER 4595 NEW BEST:: SOT 39795 SOS 10266 HAS SOPS 10266 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5514.266
AT ITER 4602 NEW BEST:: SOT 39773 SOS 10224 HAS SOPS 10224 HAS SOUS 5501 HAS SOUPS 5501 WITH SCORE 5511.224
AT ITER 4605 NEW BEST:: SOT 39754 SOS 10186 HAS SOPS 10186 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5510.186
AT ITER 4659 NEW BEST:: SOT 39759 SOS 10191 HAS SOPS 10191 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5509.191
AT ITER 4661 NEW BEST:: SOT 39736 SOS 10145 HAS SOPS 10145 HAS SOUS 5458 HAS SOUPS 5458 WITH SCORE 5468.145
AT ITER 4667 NEW BEST:: SOT 39704 SOS 10113 HAS SOPS 10113 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5462.113
AT ITER 4682 NEW BEST:: SOT 39696 SOS 10081 HAS SOPS 10081 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5430.081
AT ITER 4689 NEW BEST:: SOT 39674 SOS 10037 HAS SOPS 10037 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5430.037
AT ITER 4767 NEW BEST:: SOT 39672 SOS 10035 HAS SOPS 10035 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5428.035
AT ITER 4774 NEW BEST:: SOT 39667 SOS 10025 HAS SOPS 10025 HAS SOUS 5411 HAS SOUPS 5411 WITH SCORE 5421.025
AT ITER 4853 NEW BEST:: SOT 39659 SOS 10177 HAS SOPS 10177 HAS SOUS 5407 HAS SOUPS 5407 WITH SCORE 5417.177
AT ITER 4919 NEW BEST:: SOT 39666 SOS 10041 HAS SOPS 10041 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5411.041
AT ITER 4921 NEW BEST:: SOT 39665 SOS 10039 HAS SOPS 10039 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5409.039
AT ITER 4955 NEW BEST:: SOT 39665 SOS 10039 HAS SOPS 10039 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5400.039
AT ITER 4985 NEW BEST:: SOT 39660 SOS 10034 HAS SOPS 10034 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5394.034
AT ITER 4990 NEW BEST:: SOT 39655 SOS 10024 HAS SOPS 10024 HAS SOUS 5381 HAS SOUPS 5381 WITH SCORE 5391.024
AT ITER 4992 NEW BEST:: SOT 39650 SOS 10014 HAS SOPS 10014 HAS SOUS 5371 HAS SOUPS 5371 WITH SCORE 5381.014
AT ITER 4997 NEW BEST:: SOT 39650 SOS 10010 HAS SOPS 10010 HAS SOUS 5367 HAS SOUPS 5367 WITH SCORE 5377.01
AT ITER 5032 NEW BEST:: SOT 39651 SOS 10003 HAS SOPS 10003 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5361.003
AT ITER 5067 NEW BEST:: SOT 39646 SOS 9995 HAS SOPS 9995 HAS SOUS 5343 HAS SOUPS 5343 WITH SCORE 5352.995
AT ITER 5141 NEW BEST:: SOT 39644 SOS 9993 HAS SOPS 9993 HAS SOUS 5341 HAS SOUPS 5341 WITH SCORE 5350.993
AT ITER 5185 NEW BEST:: SOT 39641 SOS 9987 HAS SOPS 9987 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5344.987
AT ITER 5189 NEW BEST:: SOT 39653 SOS 9981 HAS SOPS 9981 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5338.981
AT ITER 5230 NEW BEST:: SOT 39652 SOS 9979 HAS SOPS 9979 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5336.979
AT ITER 5233 NEW BEST:: SOT 39644 SOS 9963 HAS SOPS 9963 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5327.963
AT ITER 5265 NEW BEST:: SOT 39655 SOS 9948 HAS SOPS 9948 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5314.948
AT ITER 5296 NEW BEST:: SOT 39646 SOS 9941 HAS SOPS 9941 HAS SOUS 5298 HAS SOUPS 5298 WITH SCORE 5307.941
AT ITER 5323 NEW BEST:: SOT 39646 SOS 9941 HAS SOPS 9941 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5301.941
AT ITER 5361 NEW BEST:: SOT 39640 SOS 9929 HAS SOPS 9929 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5289.929
AT ITER 5398 NEW BEST:: SOT 39639 SOS 9927 HAS SOPS 9927 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5287.927
AT ITER 5404 NEW BEST:: SOT 39622 SOS 9910 HAS SOPS 9910 HAS SOUS 5246 HAS SOUPS 5246 WITH SCORE 5255.91
AT ITER 5429 NEW BEST:: SOT 39620 SOS 9909 HAS SOPS 9909 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5254.909
AT ITER 5437 NEW BEST:: SOT 39620 SOS 9906 HAS SOPS 9906 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5251.906
AT ITER 5459 NEW BEST:: SOT 39611 SOS 9897 HAS SOPS 9897 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5242.897
AT ITER 5485 NEW BEST:: SOT 39592 SOS 9859 HAS SOPS 9859 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5223.859
AT ITER 5540 NEW BEST:: SOT 39591 SOS 9857 HAS SOPS 9857 HAS SOUS 5213 HAS SOUPS 5213 WITH SCORE 5222.857
AT ITER 5587 NEW BEST:: SOT 39601 SOS 9877 HAS SOPS 9877 HAS SOUS 5207 HAS SOUPS 5207 WITH SCORE 5216.877
AT ITER 5734 NEW BEST:: SOT 39593 SOS 9865 HAS SOPS 9865 HAS SOUS 5199 HAS SOUPS 5199 WITH SCORE 5208.865
AT ITER 5805 NEW BEST:: SOT 39588 SOS 9785 HAS SOPS 9785 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5203.785
AT ITER 5813 NEW BEST:: SOT 39577 SOS 9772 HAS SOPS 9772 HAS SOUS 5181 HAS SOUPS 5181 WITH SCORE 5190.772
AT ITER 5827 NEW BEST:: SOT 39577 SOS 9770 HAS SOPS 9770 HAS SOUS 5180 HAS SOUPS 5180 WITH SCORE 5189.77
AT ITER 5838 NEW BEST:: SOT 39573 SOS 9769 HAS SOPS 9769 HAS SOUS 5177 HAS SOUPS 5177 WITH SCORE 5186.769
AT ITER 5876 NEW BEST:: SOT 39551 SOS 9729 HAS SOPS 9729 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5165.729
AT ITER 5890 NEW BEST:: SOT 39550 SOS 9727 HAS SOPS 9727 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5165.727
AT ITER 5893 NEW BEST:: SOT 39577 SOS 9754 HAS SOPS 9754 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5157.754
AT ITER 5957 NEW BEST:: SOT 39574 SOS 9748 HAS SOPS 9748 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5157.748
AT ITER 6004 NEW BEST:: SOT 39572 SOS 9744 HAS SOPS 9744 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5155.744
AT ITER 6049 NEW BEST:: SOT 39557 SOS 9729 HAS SOPS 9729 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5155.729
AT ITER 6093 NEW BEST:: SOT 39558 SOS 9727 HAS SOPS 9727 HAS SOUS 5144 HAS SOUPS 5144 WITH SCORE 5153.727
AT ITER 6179 NEW BEST:: SOT 39553 SOS 9721 HAS SOPS 9721 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5147.721
AT ITER 6197 NEW BEST:: SOT 39566 SOS 9749 HAS SOPS 9749 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5143.749
AT ITER 6233 NEW BEST:: SOT 39566 SOS 9749 HAS SOPS 9749 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5142.749
AT ITER 6237 NEW BEST:: SOT 39565 SOS 9748 HAS SOPS 9748 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5142.748
AT ITER 6245 NEW BEST:: SOT 39564 SOS 9746 HAS SOPS 9746 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5141.746
AT ITER 6293 NEW BEST:: SOT 39565 SOS 9742 HAS SOPS 9742 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5140.742
AT ITER 6375 NEW BEST:: SOT 39561 SOS 9734 HAS SOPS 9734 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5132.734
AT ITER 6425 NEW BEST:: SOT 39558 SOS 9719 HAS SOPS 9719 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5117.719
AT ITER 6467 NEW BEST:: SOT 39558 SOS 9719 HAS SOPS 9719 HAS SOUS 5102 HAS SOUPS 5102 WITH SCORE 5111.719
AT ITER 6552 NEW BEST:: SOT 39543 SOS 9702 HAS SOPS 9702 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5094.702
AT ITER 6553 NEW BEST:: SOT 39540 SOS 9696 HAS SOPS 9696 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5094.696
AT ITER 6561 NEW BEST:: SOT 39535 SOS 9691 HAS SOPS 9691 HAS SOUS 5084 HAS SOUPS 5084 WITH SCORE 5093.691
AT ITER 6620 NEW BEST:: SOT 39535 SOS 9691 HAS SOPS 9691 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5091.691
AT ITER 6631 NEW BEST:: SOT 39539 SOS 9643 HAS SOPS 9643 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5091.643
AT ITER 6665 NEW BEST:: SOT 39516 SOS 9620 HAS SOPS 9620 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5090.62
AT ITER 6680 NEW BEST:: SOT 39517 SOS 9618 HAS SOPS 9618 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5088.618
AT ITER 6686 NEW BEST:: SOT 39511 SOS 9606 HAS SOPS 9606 HAS SOUS 5076 HAS SOUPS 5076 WITH SCORE 5085.606
AT ITER 6687 NEW BEST:: SOT 39464 SOS 9512 HAS SOPS 9512 HAS SOUS 5076 HAS SOUPS 5076 WITH SCORE 5085.512
AT ITER 6700 NEW BEST:: SOT 39465 SOS 9514 HAS SOPS 9514 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5076.514
AT ITER 6725 NEW BEST:: SOT 39465 SOS 9500 HAS SOPS 9500 HAS SOUS 5066 HAS SOUPS 5066 WITH SCORE 5075.5
AT ITER 6747 NEW BEST:: SOT 39448 SOS 9466 HAS SOPS 9466 HAS SOUS 5034 HAS SOUPS 5034 WITH SCORE 5043.466
AT ITER 6824 NEW BEST:: SOT 39447 SOS 9451 HAS SOPS 9451 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5037.451
AT ITER 6829 NEW BEST:: SOT 39433 SOS 9531 HAS SOPS 9531 HAS SOUS 5019 HAS SOUPS 5019 WITH SCORE 5028.531
AT ITER 6843 NEW BEST:: SOT 39393 SOS 9451 HAS SOPS 9451 HAS SOUS 5019 HAS SOUPS 5019 WITH SCORE 5028.451
AT ITER 6890 NEW BEST:: SOT 39395 SOS 9455 HAS SOPS 9455 HAS SOUS 5013 HAS SOUPS 5013 WITH SCORE 5022.455
AT ITER 6907 NEW BEST:: SOT 39393 SOS 9453 HAS SOPS 9453 HAS SOUS 5011 HAS SOUPS 5011 WITH SCORE 5020.453
AT ITER 6926 NEW BEST:: SOT 39385 SOS 9453 HAS SOPS 9453 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5015.453
AT ITER 6974 NEW BEST:: SOT 39396 SOS 9464 HAS SOPS 9464 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5010.464
AT ITER 6998 NEW BEST:: SOT 39398 SOS 9462 HAS SOPS 9462 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5008.462
AT ITER 7011 NEW BEST:: SOT 39397 SOS 9460 HAS SOPS 9460 HAS SOUS 4997 HAS SOUPS 4997 WITH SCORE 5006.46
AT ITER 7071 NEW BEST:: SOT 39396 SOS 9458 HAS SOPS 9458 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5004.458
AT ITER 7094 NEW BEST:: SOT 39383 SOS 9445 HAS SOPS 9445 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4997.445
AT ITER 7138 NEW BEST:: SOT 39383 SOS 9445 HAS SOPS 9445 HAS SOUS 4986 HAS SOUPS 4986 WITH SCORE 4995.445
AT ITER 7172 NEW BEST:: SOT 39380 SOS 9442 HAS SOPS 9442 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4992.442
AT ITER 7201 NEW BEST:: SOT 39379 SOS 9441 HAS SOPS 9441 HAS SOUS 4982 HAS SOUPS 4982 WITH SCORE 4991.441
AT ITER 7214 NEW BEST:: SOT 39372 SOS 9427 HAS SOPS 9427 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4987.427
AT ITER 7242 NEW BEST:: SOT 39350 SOS 9383 HAS SOPS 9383 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4985.383
AT ITER 7274 NEW BEST:: SOT 39353 SOS 9382 HAS SOPS 9382 HAS SOUS 4969 HAS SOUPS 4969 WITH SCORE 4978.382
AT ITER 7275 NEW BEST:: SOT 39350 SOS 9379 HAS SOPS 9379 HAS SOUS 4969 HAS SOUPS 4969 WITH SCORE 4978.379
AT ITER 7351 NEW BEST:: SOT 39348 SOS 9375 HAS SOPS 9375 HAS SOUS 4969 HAS SOUPS 4969 WITH SCORE 4978.375
AT ITER 7382 NEW BEST:: SOT 39348 SOS 9375 HAS SOPS 9375 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4975.375
AT ITER 7412 NEW BEST:: SOT 39357 SOS 9371 HAS SOPS 9371 HAS SOUS 4962 HAS SOUPS 4962 WITH SCORE 4971.371
AT ITER 7559 NEW BEST:: SOT 39357 SOS 9370 HAS SOPS 9370 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4970.37
AT ITER 7575 NEW BEST:: SOT 39355 SOS 9366 HAS SOPS 9366 HAS SOUS 4957 HAS SOUPS 4957 WITH SCORE 4966.366
AT ITER 7596 NEW BEST:: SOT 39350 SOS 9358 HAS SOPS 9358 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4964.358
AT ITER 7613 NEW BEST:: SOT 39345 SOS 9348 HAS SOPS 9348 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4954.348
AT ITER 7619 NEW BEST:: SOT 39343 SOS 9342 HAS SOPS 9342 HAS SOUS 4941 HAS SOUPS 4941 WITH SCORE 4950.342
AT ITER 7696 NEW BEST:: SOT 39342 SOS 9340 HAS SOPS 9340 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4942.34
AT ITER 7748 NEW BEST:: SOT 39329 SOS 9314 HAS SOPS 9314 HAS SOUS 4923 HAS SOUPS 4923 WITH SCORE 4932.314
AT ITER 7782 NEW BEST:: SOT 39326 SOS 9308 HAS SOPS 9308 HAS SOUS 4923 HAS SOUPS 4923 WITH SCORE 4932.308
AT ITER 7861 NEW BEST:: SOT 39326 SOS 9306 HAS SOPS 9306 HAS SOUS 4921 HAS SOUPS 4921 WITH SCORE 4930.306
AT ITER 7933 NEW BEST:: SOT 39319 SOS 9348 HAS SOPS 9348 HAS SOUS 4915 HAS SOUPS 4915 WITH SCORE 4924.348
AT ITER 8013 NEW BEST:: SOT 39311 SOS 9345 HAS SOPS 9345 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4921.345
AT ITER 8073 NEW BEST:: SOT 39311 SOS 9345 HAS SOPS 9345 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4911.345
AT ITER 8125 NEW BEST:: SOT 39295 SOS 9323 HAS SOPS 9323 HAS SOUS 4880 HAS SOUPS 4880 WITH SCORE 4889.323
AT ITER 8171 NEW BEST:: SOT 39281 SOS 9295 HAS SOPS 9295 HAS SOUS 4852 HAS SOUPS 4852 WITH SCORE 4861.295
AT ITER 8181 NEW BEST:: SOT 39230 SOS 9378 HAS SOPS 9378 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4843.378
AT ITER 8182 NEW BEST:: SOT 39231 SOS 9338 HAS SOPS 9338 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4841.338
AT ITER 8291 NEW BEST:: SOT 39223 SOS 9322 HAS SOPS 9322 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4841.322
AT ITER 8367 NEW BEST:: SOT 39221 SOS 9320 HAS SOPS 9320 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4841.32
AT ITER 8404 NEW BEST:: SOT 39220 SOS 9315 HAS SOPS 9315 HAS SOUS 4831 HAS SOUPS 4831 WITH SCORE 4840.315
AT ITER 8454 NEW BEST:: SOT 39220 SOS 9315 HAS SOPS 9315 HAS SOUS 4827 HAS SOUPS 4827 WITH SCORE 4836.315
AT ITER 8479 NEW BEST:: SOT 39218 SOS 9311 HAS SOPS 9311 HAS SOUS 4825 HAS SOUPS 4825 WITH SCORE 4834.311
AT ITER 8513 NEW BEST:: SOT 39218 SOS 9282 HAS SOPS 9282 HAS SOUS 4825 HAS SOUPS 4825 WITH SCORE 4834.282
AT ITER 8516 NEW BEST:: SOT 39213 SOS 9293 HAS SOPS 9293 HAS SOUS 4820 HAS SOUPS 4820 WITH SCORE 4829.293
AT ITER 8518 NEW BEST:: SOT 39208 SOS 9283 HAS SOPS 9283 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4824.283
AT ITER 8547 NEW BEST:: SOT 39197 SOS 9261 HAS SOPS 9261 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4816.261
AT ITER 8591 NEW BEST:: SOT 39197 SOS 9261 HAS SOPS 9261 HAS SOUS 4806 HAS SOUPS 4806 WITH SCORE 4815.261
AT ITER 8630 NEW BEST:: SOT 39196 SOS 9260 HAS SOPS 9260 HAS SOUS 4805 HAS SOUPS 4805 WITH SCORE 4814.26
AT ITER 8674 NEW BEST:: SOT 39188 SOS 9244 HAS SOPS 9244 HAS SOUS 4797 HAS SOUPS 4797 WITH SCORE 4806.244
AT ITER 8778 NEW BEST:: SOT 39187 SOS 9242 HAS SOPS 9242 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4804.242
AT ITER 8862 NEW BEST:: SOT 39182 SOS 9232 HAS SOPS 9232 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4794.232
AT ITER 8889 NEW BEST:: SOT 39183 SOS 9228 HAS SOPS 9228 HAS SOUS 4781 HAS SOUPS 4781 WITH SCORE 4790.228
AT ITER 8980 NEW BEST:: SOT 39183 SOS 9228 HAS SOPS 9228 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4770.228
AT ITER 9151 NEW BEST:: SOT 39170 SOS 9202 HAS SOPS 9202 HAS SOUS 4735 HAS SOUPS 4735 WITH SCORE 4744.202
AT ITER 9270 NEW BEST:: SOT 39173 SOS 9194 HAS SOPS 9194 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4736.194
AT ITER 9430 NEW BEST:: SOT 39173 SOS 9194 HAS SOPS 9194 HAS SOUS 4723 HAS SOUPS 4723 WITH SCORE 4732.194
AT ITER 9650 NEW BEST:: SOT 39171 SOS 9190 HAS SOPS 9190 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4728.19
AT ITER 9652 NEW BEST:: SOT 39170 SOS 9189 HAS SOPS 9189 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4727.189
AT ITER 9672 NEW BEST:: SOT 39164 SOS 9177 HAS SOPS 9177 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4721.177
AT ITER 9690 NEW BEST:: SOT 39161 SOS 9199 HAS SOPS 9199 HAS SOUS 4711 HAS SOUPS 4711 WITH SCORE 4720.199
AT ITER 9691 NEW BEST:: SOT 39151 SOS 9189 HAS SOPS 9189 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4715.189
AT ITER 9717 NEW BEST:: SOT 39150 SOS 9187 HAS SOPS 9187 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4714.187
AT ITER 9745 NEW BEST:: SOT 39145 SOS 9182 HAS SOPS 9182 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4709.182
AT ITER 9764 NEW BEST:: SOT 39141 SOS 9173 HAS SOPS 9173 HAS SOUS 4695 HAS SOUPS 4695 WITH SCORE 4704.173
AT ITER 9776 NEW BEST:: SOT 39140 SOS 9172 HAS SOPS 9172 HAS SOUS 4695 HAS SOUPS 4695 WITH SCORE 4704.172
AT ITER 9804 NEW BEST:: SOT 39119 SOS 9152 HAS SOPS 9152 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4691.152
AT ITER 9868 NEW BEST:: SOT 39119 SOS 9151 HAS SOPS 9151 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4691.151
AT ITER 9874 NEW BEST:: SOT 39116 SOS 9145 HAS SOPS 9145 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4691.145
AT ITER 9935 NEW BEST:: SOT 39114 SOS 9141 HAS SOPS 9141 HAS SOUS 4678 HAS SOUPS 4678 WITH SCORE 4687.141
STATE_SPACE STATES 806568794170 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 11 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 7474032554320 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1679260530127
--------------------
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="SmartHome-PT-08"
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 SmartHome-PT-08, 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 r459-smll-167912650900216"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-08.tgz
mv SmartHome-PT-08 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 '
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 ;