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.r203-smll-167840349200152.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 GPUForwardProgress-PT-40a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349200152
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 8.8K Feb 25 14:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 25 14:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 14:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 14:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 14:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 25 14:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 62K Mar 5 18:22 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 1678555299765

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=GPUForwardProgress-PT-40a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 17:21:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 17:21:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 17:21:43] [INFO ] Load time of PNML (sax parser for PT used): 127 ms
[2023-03-11 17:21:43] [INFO ] Transformed 168 places.
[2023-03-11 17:21:43] [INFO ] Transformed 209 transitions.
[2023-03-11 17:21:43] [INFO ] Found NUPN structural information;
[2023-03-11 17:21:43] [INFO ] Parsed PT model containing 168 places and 209 transitions and 821 arcs in 284 ms.
[2023-03-11 17:21:43] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 168 places, 209 transitions and 821 arcs took 11 ms.
Total runtime 358 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 40a
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: 168 places, 209 transitions, 821 arcs.
AT ITER 0 NEW BEST:: SOT 22888 SOS 19894 HAS SOPS 19892 HAS SOUS 14825 HAS SOUPS 14824 WITH SCORE 14843.894
AT ITER 1 NEW BEST:: SOT 22814 SOS 19709 HAS SOPS 19707 HAS SOUS 14729 HAS SOUPS 14728 WITH SCORE 14747.709
AT ITER 3 NEW BEST:: SOT 22814 SOS 19709 HAS SOPS 19707 HAS SOUS 14728 HAS SOUPS 14727 WITH SCORE 14746.709
AT ITER 6 NEW BEST:: SOT 22922 SOS 19711 HAS SOPS 19709 HAS SOUS 14686 HAS SOUPS 14685 WITH SCORE 14704.711
AT ITER 8 NEW BEST:: SOT 22955 SOS 19653 HAS SOPS 19651 HAS SOUS 14531 HAS SOUPS 14530 WITH SCORE 14549.653
AT ITER 9 NEW BEST:: SOT 22901 SOS 19518 HAS SOPS 19516 HAS SOUS 14450 HAS SOUPS 14449 WITH SCORE 14468.518
AT ITER 10 NEW BEST:: SOT 22888 SOS 19505 HAS SOPS 19503 HAS SOUS 14437 HAS SOUPS 14436 WITH SCORE 14455.505
AT ITER 12 NEW BEST:: SOT 22937 SOS 19387 HAS SOPS 19385 HAS SOUS 14245 HAS SOUPS 14244 WITH SCORE 14263.387
AT ITER 14 NEW BEST:: SOT 22902 SOS 19352 HAS SOPS 19350 HAS SOUS 14210 HAS SOUPS 14209 WITH SCORE 14228.352
AT ITER 15 NEW BEST:: SOT 22911 SOS 19192 HAS SOPS 19190 HAS SOUS 13970 HAS SOUPS 13969 WITH SCORE 13988.192
AT ITER 16 NEW BEST:: SOT 22867 SOS 19148 HAS SOPS 19146 HAS SOUS 13926 HAS SOUPS 13925 WITH SCORE 13944.148
AT ITER 18 NEW BEST:: SOT 22850 SOS 19131 HAS SOPS 19129 HAS SOUS 13904 HAS SOUPS 13903 WITH SCORE 13922.131
AT ITER 21 NEW BEST:: SOT 22992 SOS 19083 HAS SOPS 19081 HAS SOUS 13775 HAS SOUPS 13774 WITH SCORE 13793.083
AT ITER 22 NEW BEST:: SOT 22959 SOS 19050 HAS SOPS 19048 HAS SOUS 13742 HAS SOUPS 13741 WITH SCORE 13760.05
AT ITER 23 NEW BEST:: SOT 23067 SOS 18981 HAS SOPS 18979 HAS SOUS 13674 HAS SOUPS 13673 WITH SCORE 13691.981
AT ITER 26 NEW BEST:: SOT 23067 SOS 18981 HAS SOPS 18979 HAS SOUS 13664 HAS SOUPS 13663 WITH SCORE 13681.981
AT ITER 29 NEW BEST:: SOT 23026 SOS 18940 HAS SOPS 18938 HAS SOUS 13623 HAS SOUPS 13622 WITH SCORE 13640.94
AT ITER 30 NEW BEST:: SOT 23073 SOS 18958 HAS SOPS 18956 HAS SOUS 13603 HAS SOUPS 13602 WITH SCORE 13620.958
AT ITER 31 NEW BEST:: SOT 23100 SOS 18821 HAS SOPS 18819 HAS SOUS 13362 HAS SOUPS 13361 WITH SCORE 13379.821
AT ITER 34 NEW BEST:: SOT 23098 SOS 18817 HAS SOPS 18815 HAS SOUS 13360 HAS SOUPS 13359 WITH SCORE 13377.817
AT ITER 37 NEW BEST:: SOT 23114 SOS 18705 HAS SOPS 18703 HAS SOUS 13232 HAS SOUPS 13231 WITH SCORE 13249.705
AT ITER 38 NEW BEST:: SOT 23036 SOS 18510 HAS SOPS 18508 HAS SOUS 13115 HAS SOUPS 13114 WITH SCORE 13132.51
AT ITER 39 NEW BEST:: SOT 21614 SOS 16891 HAS SOPS 16889 HAS SOUS 11495 HAS SOUPS 11494 WITH SCORE 11510.891
AT ITER 41 NEW BEST:: SOT 21609 SOS 16729 HAS SOPS 16727 HAS SOUS 11263 HAS SOUPS 11262 WITH SCORE 11278.729
AT ITER 42 NEW BEST:: SOT 21573 SOS 16693 HAS SOPS 16691 HAS SOUS 11227 HAS SOUPS 11226 WITH SCORE 11242.693
AT ITER 43 NEW BEST:: SOT 21599 SOS 16719 HAS SOPS 16717 HAS SOUS 11219 HAS SOUPS 11218 WITH SCORE 11234.719
AT ITER 45 NEW BEST:: SOT 21599 SOS 16719 HAS SOPS 16717 HAS SOUS 11216 HAS SOUPS 11215 WITH SCORE 11231.719
AT ITER 46 NEW BEST:: SOT 21692 SOS 16647 HAS SOPS 16645 HAS SOUS 11142 HAS SOUPS 11141 WITH SCORE 11157.647
AT ITER 47 NEW BEST:: SOT 21690 SOS 16606 HAS SOPS 16604 HAS SOUS 11103 HAS SOUPS 11102 WITH SCORE 11118.606
AT ITER 48 NEW BEST:: SOT 21694 SOS 16467 HAS SOPS 16465 HAS SOUS 10939 HAS SOUPS 10938 WITH SCORE 10954.467
AT ITER 50 NEW BEST:: SOT 21691 SOS 16464 HAS SOPS 16462 HAS SOUS 10937 HAS SOUPS 10936 WITH SCORE 10952.464
AT ITER 51 NEW BEST:: SOT 21666 SOS 16439 HAS SOPS 16437 HAS SOUS 10912 HAS SOUPS 10911 WITH SCORE 10927.439
AT ITER 52 NEW BEST:: SOT 21610 SOS 16383 HAS SOPS 16381 HAS SOUS 10856 HAS SOUPS 10855 WITH SCORE 10871.383
AT ITER 53 NEW BEST:: SOT 21594 SOS 16375 HAS SOPS 16373 HAS SOUS 10856 HAS SOUPS 10855 WITH SCORE 10871.375
AT ITER 57 NEW BEST:: SOT 21627 SOS 16441 HAS SOPS 16439 HAS SOUS 10855 HAS SOUPS 10854 WITH SCORE 10870.441
AT ITER 58 NEW BEST:: SOT 21613 SOS 16427 HAS SOPS 16425 HAS SOUS 10841 HAS SOUPS 10840 WITH SCORE 10856.427
AT ITER 63 NEW BEST:: SOT 21613 SOS 16351 HAS SOPS 16349 HAS SOUS 10803 HAS SOUPS 10802 WITH SCORE 10818.351
AT ITER 64 NEW BEST:: SOT 21640 SOS 16361 HAS SOPS 16359 HAS SOUS 10795 HAS SOUPS 10794 WITH SCORE 10810.361
AT ITER 67 NEW BEST:: SOT 21625 SOS 16207 HAS SOPS 16205 HAS SOUS 10572 HAS SOUPS 10571 WITH SCORE 10587.207
AT ITER 69 NEW BEST:: SOT 21625 SOS 16207 HAS SOPS 16205 HAS SOUS 10465 HAS SOUPS 10464 WITH SCORE 10480.207
AT ITER 74 NEW BEST:: SOT 21660 SOS 16277 HAS SOPS 16275 HAS SOUS 10404 HAS SOUPS 10403 WITH SCORE 10419.277
AT ITER 76 NEW BEST:: SOT 21692 SOS 16153 HAS SOPS 16151 HAS SOUS 10188 HAS SOUPS 10187 WITH SCORE 10203.153
AT ITER 79 NEW BEST:: SOT 21649 SOS 16088 HAS SOPS 16086 HAS SOUS 10182 HAS SOUPS 10181 WITH SCORE 10197.088
AT ITER 80 NEW BEST:: SOT 21726 SOS 16165 HAS SOPS 16163 HAS SOUS 10180 HAS SOUPS 10179 WITH SCORE 10195.165
AT ITER 83 NEW BEST:: SOT 21682 SOS 15981 HAS SOPS 15979 HAS SOUS 9992 HAS SOUPS 9991 WITH SCORE 10006.981
AT ITER 88 NEW BEST:: SOT 21635 SOS 15934 HAS SOPS 15932 HAS SOUS 9945 HAS SOUPS 9944 WITH SCORE 9959.934
AT ITER 89 NEW BEST:: SOT 21635 SOS 15934 HAS SOPS 15932 HAS SOUS 9812 HAS SOUPS 9811 WITH SCORE 9826.934
AT ITER 96 NEW BEST:: SOT 21584 SOS 15741 HAS SOPS 15739 HAS SOUS 9594 HAS SOUPS 9593 WITH SCORE 9608.741
AT ITER 98 NEW BEST:: SOT 21617 SOS 15758 HAS SOPS 15756 HAS SOUS 9593 HAS SOUPS 9592 WITH SCORE 9607.758
AT ITER 100 NEW BEST:: SOT 21668 SOS 15809 HAS SOPS 15807 HAS SOUS 9542 HAS SOUPS 9541 WITH SCORE 9556.809
AT ITER 101 NEW BEST:: SOT 21649 SOS 15645 HAS SOPS 15643 HAS SOUS 9334 HAS SOUPS 9333 WITH SCORE 9348.645
AT ITER 102 NEW BEST:: SOT 21554 SOS 15550 HAS SOPS 15548 HAS SOUS 9213 HAS SOUPS 9212 WITH SCORE 9227.55
AT ITER 105 NEW BEST:: SOT 21645 SOS 15710 HAS SOPS 15708 HAS SOUS 9197 HAS SOUPS 9196 WITH SCORE 9211.71
AT ITER 106 NEW BEST:: SOT 21624 SOS 15694 HAS SOPS 15692 HAS SOUS 9194 HAS SOUPS 9193 WITH SCORE 9208.694
AT ITER 108 NEW BEST:: SOT 21551 SOS 15519 HAS SOPS 15517 HAS SOUS 9150 HAS SOUPS 9149 WITH SCORE 9164.519
AT ITER 111 NEW BEST:: SOT 21485 SOS 15354 HAS SOPS 15352 HAS SOUS 9051 HAS SOUPS 9050 WITH SCORE 9065.354
AT ITER 113 NEW BEST:: SOT 21485 SOS 15317 HAS SOPS 15315 HAS SOUS 9014 HAS SOUPS 9013 WITH SCORE 9028.317
AT ITER 114 NEW BEST:: SOT 21600 SOS 15371 HAS SOPS 15369 HAS SOUS 8914 HAS SOUPS 8913 WITH SCORE 8928.371
AT ITER 116 NEW BEST:: SOT 21549 SOS 15166 HAS SOPS 15164 HAS SOUS 8752 HAS SOUPS 8751 WITH SCORE 8766.166
AT ITER 118 NEW BEST:: SOT 21462 SOS 15026 HAS SOPS 15024 HAS SOUS 8704 HAS SOUPS 8703 WITH SCORE 8718.026
AT ITER 121 NEW BEST:: SOT 21447 SOS 15001 HAS SOPS 14999 HAS SOUS 8689 HAS SOUPS 8688 WITH SCORE 8703.001
AT ITER 122 NEW BEST:: SOT 21444 SOS 14992 HAS SOPS 14990 HAS SOUS 8683 HAS SOUPS 8682 WITH SCORE 8696.992
AT ITER 124 NEW BEST:: SOT 21400 SOS 14948 HAS SOPS 14946 HAS SOUS 8670 HAS SOUPS 8669 WITH SCORE 8683.948
AT ITER 125 NEW BEST:: SOT 21380 SOS 14962 HAS SOPS 14960 HAS SOUS 8596 HAS SOUPS 8595 WITH SCORE 8609.962
AT ITER 127 NEW BEST:: SOT 21469 SOS 15034 HAS SOPS 15032 HAS SOUS 8562 HAS SOUPS 8561 WITH SCORE 8576.034
AT ITER 128 NEW BEST:: SOT 21532 SOS 15147 HAS SOPS 15145 HAS SOUS 8510 HAS SOUPS 8509 WITH SCORE 8524.147
AT ITER 133 NEW BEST:: SOT 21502 SOS 15117 HAS SOPS 15115 HAS SOUS 8495 HAS SOUPS 8494 WITH SCORE 8509.117
AT ITER 135 NEW BEST:: SOT 21456 SOS 15071 HAS SOPS 15069 HAS SOUS 8472 HAS SOUPS 8471 WITH SCORE 8486.071
AT ITER 137 NEW BEST:: SOT 21434 SOS 15016 HAS SOPS 15014 HAS SOUS 8417 HAS SOUPS 8416 WITH SCORE 8431.016
AT ITER 139 NEW BEST:: SOT 21643 SOS 15021 HAS SOPS 15019 HAS SOUS 8398 HAS SOUPS 8397 WITH SCORE 8412.021
AT ITER 142 NEW BEST:: SOT 21692 SOS 15070 HAS SOPS 15068 HAS SOUS 8349 HAS SOUPS 8348 WITH SCORE 8363.07
AT ITER 148 NEW BEST:: SOT 21687 SOS 15065 HAS SOPS 15063 HAS SOUS 8344 HAS SOUPS 8343 WITH SCORE 8358.065
AT ITER 150 NEW BEST:: SOT 21786 SOS 15073 HAS SOPS 15071 HAS SOUS 8294 HAS SOUPS 8293 WITH SCORE 8308.073
AT ITER 151 NEW BEST:: SOT 21786 SOS 15070 HAS SOPS 15068 HAS SOUS 8292 HAS SOUPS 8291 WITH SCORE 8306.07
AT ITER 152 NEW BEST:: SOT 21791 SOS 14957 HAS SOPS 14955 HAS SOUS 8237 HAS SOUPS 8236 WITH SCORE 8250.957
AT ITER 157 NEW BEST:: SOT 21725 SOS 14825 HAS SOPS 14823 HAS SOUS 8127 HAS SOUPS 8126 WITH SCORE 8140.825
AT ITER 158 NEW BEST:: SOT 21711 SOS 14811 HAS SOPS 14809 HAS SOUS 8099 HAS SOUPS 8098 WITH SCORE 8112.811
AT ITER 159 NEW BEST:: SOT 21547 SOS 14551 HAS SOPS 14549 HAS SOUS 7771 HAS SOUPS 7770 WITH SCORE 7784.551
AT ITER 161 NEW BEST:: SOT 21649 SOS 14354 HAS SOPS 14352 HAS SOUS 7689 HAS SOUPS 7688 WITH SCORE 7702.354
AT ITER 165 NEW BEST:: SOT 21614 SOS 14249 HAS SOPS 14247 HAS SOUS 7584 HAS SOUPS 7583 WITH SCORE 7597.249
AT ITER 181 NEW BEST:: SOT 21730 SOS 14365 HAS SOPS 14363 HAS SOUS 7537 HAS SOUPS 7536 WITH SCORE 7550.365
AT ITER 186 NEW BEST:: SOT 21716 SOS 14351 HAS SOPS 14349 HAS SOUS 7537 HAS SOUPS 7536 WITH SCORE 7550.351
AT ITER 188 NEW BEST:: SOT 21713 SOS 14348 HAS SOPS 14346 HAS SOUS 7537 HAS SOUPS 7536 WITH SCORE 7550.348
AT ITER 189 NEW BEST:: SOT 21665 SOS 14252 HAS SOPS 14250 HAS SOUS 7489 HAS SOUPS 7488 WITH SCORE 7502.252
AT ITER 201 NEW BEST:: SOT 21520 SOS 14107 HAS SOPS 14105 HAS SOUS 7436 HAS SOUPS 7435 WITH SCORE 7449.107
AT ITER 203 NEW BEST:: SOT 21475 SOS 14055 HAS SOPS 14053 HAS SOUS 7403 HAS SOUPS 7402 WITH SCORE 7416.055
AT ITER 207 NEW BEST:: SOT 21419 SOS 13971 HAS SOPS 13969 HAS SOUS 7375 HAS SOUPS 7374 WITH SCORE 7387.971
AT ITER 208 NEW BEST:: SOT 21414 SOS 13966 HAS SOPS 13964 HAS SOUS 7365 HAS SOUPS 7364 WITH SCORE 7377.966
AT ITER 214 NEW BEST:: SOT 21409 SOS 13961 HAS SOPS 13959 HAS SOUS 7365 HAS SOUPS 7364 WITH SCORE 7377.961
AT ITER 220 NEW BEST:: SOT 21369 SOS 13861 HAS SOPS 13859 HAS SOUS 7305 HAS SOUPS 7304 WITH SCORE 7317.861
AT ITER 227 NEW BEST:: SOT 21295 SOS 13787 HAS SOPS 13785 HAS SOUS 7254 HAS SOUPS 7253 WITH SCORE 7266.787
AT ITER 229 NEW BEST:: SOT 21248 SOS 13684 HAS SOPS 13682 HAS SOUS 7202 HAS SOUPS 7201 WITH SCORE 7214.684
AT ITER 230 NEW BEST:: SOT 21306 SOS 13793 HAS SOPS 13791 HAS SOUS 7147 HAS SOUPS 7146 WITH SCORE 7159.793
AT ITER 231 NEW BEST:: SOT 21280 SOS 13780 HAS SOPS 13778 HAS SOUS 7147 HAS SOUPS 7146 WITH SCORE 7159.78
AT ITER 238 NEW BEST:: SOT 21312 SOS 13780 HAS SOPS 13778 HAS SOUS 7115 HAS SOUPS 7114 WITH SCORE 7127.78
AT ITER 246 NEW BEST:: SOT 21266 SOS 13774 HAS SOPS 13772 HAS SOUS 7094 HAS SOUPS 7093 WITH SCORE 7106.774
AT ITER 247 NEW BEST:: SOT 21252 SOS 13766 HAS SOPS 13764 HAS SOUS 7090 HAS SOUPS 7089 WITH SCORE 7102.766
AT ITER 252 NEW BEST:: SOT 21217 SOS 13731 HAS SOPS 13729 HAS SOUS 7067 HAS SOUPS 7066 WITH SCORE 7079.731
AT ITER 254 NEW BEST:: SOT 21191 SOS 13716 HAS SOPS 13714 HAS SOUS 7055 HAS SOUPS 7054 WITH SCORE 7067.716
AT ITER 257 NEW BEST:: SOT 21268 SOS 13721 HAS SOPS 13719 HAS SOUS 7026 HAS SOUPS 7025 WITH SCORE 7038.721
AT ITER 259 NEW BEST:: SOT 21254 SOS 13707 HAS SOPS 13705 HAS SOUS 6998 HAS SOUPS 6997 WITH SCORE 7010.707
AT ITER 260 NEW BEST:: SOT 21292 SOS 13739 HAS SOPS 13737 HAS SOUS 6960 HAS SOUPS 6959 WITH SCORE 6972.739
AT ITER 262 NEW BEST:: SOT 21291 SOS 13725 HAS SOPS 13723 HAS SOUS 6945 HAS SOUPS 6944 WITH SCORE 6957.725
AT ITER 265 NEW BEST:: SOT 21178 SOS 13363 HAS SOPS 13361 HAS SOUS 6769 HAS SOUPS 6768 WITH SCORE 6781.363
AT ITER 269 NEW BEST:: SOT 21174 SOS 13345 HAS SOPS 13343 HAS SOUS 6757 HAS SOUPS 6756 WITH SCORE 6769.345
AT ITER 275 NEW BEST:: SOT 21168 SOS 13339 HAS SOPS 13337 HAS SOUS 6745 HAS SOUPS 6744 WITH SCORE 6757.339
AT ITER 277 NEW BEST:: SOT 21146 SOS 13295 HAS SOPS 13293 HAS SOUS 6734 HAS SOUPS 6733 WITH SCORE 6746.295
AT ITER 278 NEW BEST:: SOT 21119 SOS 13268 HAS SOPS 13266 HAS SOUS 6680 HAS SOUPS 6679 WITH SCORE 6692.268
AT ITER 280 NEW BEST:: SOT 21057 SOS 13188 HAS SOPS 13186 HAS SOUS 6630 HAS SOUPS 6629 WITH SCORE 6642.188
AT ITER 292 NEW BEST:: SOT 21040 SOS 13171 HAS SOPS 13169 HAS SOUS 6630 HAS SOUPS 6629 WITH SCORE 6642.171
AT ITER 294 NEW BEST:: SOT 20971 SOS 13124 HAS SOPS 13122 HAS SOUS 6589 HAS SOUPS 6588 WITH SCORE 6601.124
AT ITER 301 NEW BEST:: SOT 20935 SOS 13088 HAS SOPS 13086 HAS SOUS 6571 HAS SOUPS 6570 WITH SCORE 6583.088
AT ITER 313 NEW BEST:: SOT 20917 SOS 13061 HAS SOPS 13059 HAS SOUS 6535 HAS SOUPS 6534 WITH SCORE 6547.061
AT ITER 314 NEW BEST:: SOT 20899 SOS 13043 HAS SOPS 13041 HAS SOUS 6513 HAS SOUPS 6512 WITH SCORE 6525.043
AT ITER 317 NEW BEST:: SOT 20930 SOS 12928 HAS SOPS 12926 HAS SOUS 6502 HAS SOUPS 6501 WITH SCORE 6513.928
AT ITER 321 NEW BEST:: SOT 20923 SOS 12921 HAS SOPS 12919 HAS SOUS 6488 HAS SOUPS 6487 WITH SCORE 6499.921
AT ITER 325 NEW BEST:: SOT 20913 SOS 12901 HAS SOPS 12899 HAS SOUS 6468 HAS SOUPS 6467 WITH SCORE 6479.901
AT ITER 329 NEW BEST:: SOT 20908 SOS 12896 HAS SOPS 12894 HAS SOUS 6458 HAS SOUPS 6457 WITH SCORE 6469.896
AT ITER 332 NEW BEST:: SOT 20789 SOS 12740 HAS SOPS 12738 HAS SOUS 6311 HAS SOUPS 6310 WITH SCORE 6322.74
AT ITER 334 NEW BEST:: SOT 20780 SOS 12741 HAS SOPS 12739 HAS SOUS 6308 HAS SOUPS 6307 WITH SCORE 6319.741
AT ITER 345 NEW BEST:: SOT 20780 SOS 12716 HAS SOPS 12714 HAS SOUS 6258 HAS SOUPS 6257 WITH SCORE 6269.716
AT ITER 349 NEW BEST:: SOT 20778 SOS 12716 HAS SOPS 12714 HAS SOUS 6256 HAS SOUPS 6255 WITH SCORE 6267.716
AT ITER 350 NEW BEST:: SOT 20767 SOS 12705 HAS SOPS 12703 HAS SOUS 6234 HAS SOUPS 6233 WITH SCORE 6245.705
AT ITER 354 NEW BEST:: SOT 20757 SOS 12695 HAS SOPS 12693 HAS SOUS 6214 HAS SOUPS 6213 WITH SCORE 6225.695
AT ITER 361 NEW BEST:: SOT 20651 SOS 12629 HAS SOPS 12627 HAS SOUS 6151 HAS SOUPS 6150 WITH SCORE 6162.629
AT ITER 366 NEW BEST:: SOT 20612 SOS 12616 HAS SOPS 12614 HAS SOUS 6117 HAS SOUPS 6116 WITH SCORE 6128.616
AT ITER 368 NEW BEST:: SOT 20559 SOS 12406 HAS SOPS 12404 HAS SOUS 5888 HAS SOUPS 5887 WITH SCORE 5899.406
AT ITER 371 NEW BEST:: SOT 20515 SOS 12406 HAS SOPS 12404 HAS SOUS 5859 HAS SOUPS 5858 WITH SCORE 5870.406
AT ITER 373 NEW BEST:: SOT 20500 SOS 12391 HAS SOPS 12389 HAS SOUS 5829 HAS SOUPS 5828 WITH SCORE 5840.391
AT ITER 378 NEW BEST:: SOT 20497 SOS 12370 HAS SOPS 12368 HAS SOUS 5814 HAS SOUPS 5813 WITH SCORE 5825.37
AT ITER 385 NEW BEST:: SOT 20497 SOS 12370 HAS SOPS 12368 HAS SOUS 5775 HAS SOUPS 5774 WITH SCORE 5786.37
AT ITER 389 NEW BEST:: SOT 20494 SOS 12364 HAS SOPS 12362 HAS SOUS 5769 HAS SOUPS 5768 WITH SCORE 5780.364
AT ITER 396 NEW BEST:: SOT 20486 SOS 12356 HAS SOPS 12354 HAS SOUS 5761 HAS SOUPS 5760 WITH SCORE 5772.356
AT ITER 414 NEW BEST:: SOT 20479 SOS 12323 HAS SOPS 12321 HAS SOUS 5747 HAS SOUPS 5746 WITH SCORE 5758.323
AT ITER 421 NEW BEST:: SOT 20474 SOS 12318 HAS SOPS 12316 HAS SOUS 5747 HAS SOUPS 5746 WITH SCORE 5758.318
AT ITER 424 NEW BEST:: SOT 20474 SOS 12318 HAS SOPS 12316 HAS SOUS 5737 HAS SOUPS 5736 WITH SCORE 5748.318
AT ITER 430 NEW BEST:: SOT 20474 SOS 12318 HAS SOPS 12316 HAS SOUS 5736 HAS SOUPS 5735 WITH SCORE 5747.318
AT ITER 435 NEW BEST:: SOT 20485 SOS 12207 HAS SOPS 12205 HAS SOUS 5664 HAS SOUPS 5663 WITH SCORE 5675.207
AT ITER 439 NEW BEST:: SOT 20479 SOS 12201 HAS SOPS 12199 HAS SOUS 5658 HAS SOUPS 5657 WITH SCORE 5669.201
AT ITER 447 NEW BEST:: SOT 20479 SOS 12201 HAS SOPS 12199 HAS SOUS 5654 HAS SOUPS 5653 WITH SCORE 5665.201
AT ITER 454 NEW BEST:: SOT 20450 SOS 12104 HAS SOPS 12102 HAS SOUS 5654 HAS SOUPS 5653 WITH SCORE 5665.104
AT ITER 459 NEW BEST:: SOT 20548 SOS 11860 HAS SOPS 11858 HAS SOUS 5622 HAS SOUPS 5621 WITH SCORE 5632.86
AT ITER 472 NEW BEST:: SOT 20559 SOS 11720 HAS SOPS 11718 HAS SOUS 5586 HAS SOUPS 5585 WITH SCORE 5596.72
AT ITER 477 NEW BEST:: SOT 20505 SOS 11702 HAS SOPS 11700 HAS SOUS 5554 HAS SOUPS 5553 WITH SCORE 5564.702
AT ITER 484 NEW BEST:: SOT 20516 SOS 11649 HAS SOPS 11647 HAS SOUS 5467 HAS SOUPS 5466 WITH SCORE 5477.649
AT ITER 489 NEW BEST:: SOT 20407 SOS 11551 HAS SOPS 11549 HAS SOUS 5409 HAS SOUPS 5408 WITH SCORE 5419.551
AT ITER 496 NEW BEST:: SOT 20390 SOS 11492 HAS SOPS 11490 HAS SOUS 5313 HAS SOUPS 5312 WITH SCORE 5323.492
AT ITER 498 NEW BEST:: SOT 20390 SOS 11366 HAS SOPS 11364 HAS SOUS 5250 HAS SOUPS 5249 WITH SCORE 5260.366
AT ITER 501 NEW BEST:: SOT 20390 SOS 11353 HAS SOPS 11351 HAS SOUS 5237 HAS SOUPS 5236 WITH SCORE 5247.353
AT ITER 508 NEW BEST:: SOT 20394 SOS 11266 HAS SOPS 11264 HAS SOUS 5189 HAS SOUPS 5188 WITH SCORE 5199.266
AT ITER 516 NEW BEST:: SOT 20390 SOS 11262 HAS SOPS 11260 HAS SOUS 5187 HAS SOUPS 5186 WITH SCORE 5197.262
AT ITER 538 NEW BEST:: SOT 20380 SOS 11251 HAS SOPS 11249 HAS SOUS 5174 HAS SOUPS 5173 WITH SCORE 5184.251
AT ITER 543 NEW BEST:: SOT 20380 SOS 11234 HAS SOPS 11232 HAS SOUS 5157 HAS SOUPS 5156 WITH SCORE 5167.234
AT ITER 553 NEW BEST:: SOT 20349 SOS 11196 HAS SOPS 11194 HAS SOUS 5143 HAS SOUPS 5142 WITH SCORE 5153.196
AT ITER 554 NEW BEST:: SOT 20399 SOS 11179 HAS SOPS 11177 HAS SOUS 5139 HAS SOUPS 5138 WITH SCORE 5149.179
AT ITER 556 NEW BEST:: SOT 20383 SOS 11147 HAS SOPS 11145 HAS SOUS 5107 HAS SOUPS 5106 WITH SCORE 5117.147
AT ITER 558 NEW BEST:: SOT 20358 SOS 11152 HAS SOPS 11150 HAS SOUS 5045 HAS SOUPS 5044 WITH SCORE 5055.152
AT ITER 563 NEW BEST:: SOT 20354 SOS 11146 HAS SOPS 11144 HAS SOUS 5039 HAS SOUPS 5038 WITH SCORE 5049.146
AT ITER 572 NEW BEST:: SOT 20350 SOS 11142 HAS SOPS 11140 HAS SOUS 5031 HAS SOUPS 5030 WITH SCORE 5041.142
AT ITER 577 NEW BEST:: SOT 20337 SOS 11129 HAS SOPS 11127 HAS SOUS 5005 HAS SOUPS 5004 WITH SCORE 5015.129
AT ITER 584 NEW BEST:: SOT 20337 SOS 11127 HAS SOPS 11125 HAS SOUS 5003 HAS SOUPS 5002 WITH SCORE 5013.127
AT ITER 587 NEW BEST:: SOT 20357 SOS 11146 HAS SOPS 11144 HAS SOUS 4995 HAS SOUPS 4994 WITH SCORE 5005.146
AT ITER 604 NEW BEST:: SOT 20354 SOS 11143 HAS SOPS 11141 HAS SOUS 4995 HAS SOUPS 4994 WITH SCORE 5005.143
AT ITER 614 NEW BEST:: SOT 20330 SOS 11111 HAS SOPS 11109 HAS SOUS 4963 HAS SOUPS 4962 WITH SCORE 4973.111
AT ITER 628 NEW BEST:: SOT 20323 SOS 11110 HAS SOPS 11108 HAS SOUS 4949 HAS SOUPS 4948 WITH SCORE 4959.11
AT ITER 649 NEW BEST:: SOT 20326 SOS 11106 HAS SOPS 11104 HAS SOUS 4948 HAS SOUPS 4947 WITH SCORE 4958.106
AT ITER 667 NEW BEST:: SOT 20270 SOS 11052 HAS SOPS 11050 HAS SOUS 4892 HAS SOUPS 4891 WITH SCORE 4902.052
AT ITER 672 NEW BEST:: SOT 20292 SOS 11036 HAS SOPS 11034 HAS SOUS 4882 HAS SOUPS 4881 WITH SCORE 4892.036
AT ITER 673 NEW BEST:: SOT 20263 SOS 11046 HAS SOPS 11044 HAS SOUS 4855 HAS SOUPS 4854 WITH SCORE 4865.046
AT ITER 676 NEW BEST:: SOT 20258 SOS 11041 HAS SOPS 11039 HAS SOUS 4845 HAS SOUPS 4844 WITH SCORE 4855.041
AT ITER 683 NEW BEST:: SOT 20255 SOS 11006 HAS SOPS 11004 HAS SOUS 4823 HAS SOUPS 4822 WITH SCORE 4833.006
AT ITER 696 NEW BEST:: SOT 20312 SOS 11051 HAS SOPS 11049 HAS SOUS 4808 HAS SOUPS 4807 WITH SCORE 4818.051
AT ITER 699 NEW BEST:: SOT 20288 SOS 11003 HAS SOPS 11001 HAS SOUS 4738 HAS SOUPS 4737 WITH SCORE 4748.003
AT ITER 703 NEW BEST:: SOT 20287 SOS 11002 HAS SOPS 11000 HAS SOUS 4736 HAS SOUPS 4735 WITH SCORE 4746.002
AT ITER 718 NEW BEST:: SOT 20270 SOS 10985 HAS SOPS 10983 HAS SOUS 4702 HAS SOUPS 4701 WITH SCORE 4711.985
AT ITER 720 NEW BEST:: SOT 20248 SOS 10963 HAS SOPS 10961 HAS SOUS 4680 HAS SOUPS 4679 WITH SCORE 4689.963
AT ITER 726 NEW BEST:: SOT 20238 SOS 10953 HAS SOPS 10951 HAS SOUS 4660 HAS SOUPS 4659 WITH SCORE 4669.953
AT ITER 735 NEW BEST:: SOT 20230 SOS 10860 HAS SOPS 10858 HAS SOUS 4607 HAS SOUPS 4606 WITH SCORE 4616.86
AT ITER 737 NEW BEST:: SOT 20096 SOS 10726 HAS SOPS 10724 HAS SOUS 4595 HAS SOUPS 4594 WITH SCORE 4604.726
AT ITER 739 NEW BEST:: SOT 20093 SOS 10673 HAS SOPS 10671 HAS SOUS 4571 HAS SOUPS 4570 WITH SCORE 4580.673
AT ITER 740 NEW BEST:: SOT 20062 SOS 10642 HAS SOPS 10640 HAS SOUS 4559 HAS SOUPS 4558 WITH SCORE 4568.642
AT ITER 746 NEW BEST:: SOT 20051 SOS 10634 HAS SOPS 10632 HAS SOUS 4551 HAS SOUPS 4550 WITH SCORE 4560.634
AT ITER 751 NEW BEST:: SOT 20145 SOS 10689 HAS SOPS 10687 HAS SOUS 4545 HAS SOUPS 4544 WITH SCORE 4554.689
AT ITER 764 NEW BEST:: SOT 20087 SOS 10631 HAS SOPS 10629 HAS SOUS 4487 HAS SOUPS 4486 WITH SCORE 4496.631
AT ITER 768 NEW BEST:: SOT 20080 SOS 10624 HAS SOPS 10622 HAS SOUS 4480 HAS SOUPS 4479 WITH SCORE 4489.624
AT ITER 772 NEW BEST:: SOT 20019 SOS 10563 HAS SOPS 10561 HAS SOUS 4358 HAS SOUPS 4357 WITH SCORE 4367.563
AT ITER 775 NEW BEST:: SOT 20018 SOS 10562 HAS SOPS 10560 HAS SOUS 4356 HAS SOUPS 4355 WITH SCORE 4365.562
AT ITER 781 NEW BEST:: SOT 20014 SOS 10541 HAS SOPS 10539 HAS SOUS 4324 HAS SOUPS 4323 WITH SCORE 4333.541
AT ITER 788 NEW BEST:: SOT 19927 SOS 10454 HAS SOPS 10452 HAS SOUS 4261 HAS SOUPS 4260 WITH SCORE 4270.454
AT ITER 807 NEW BEST:: SOT 19917 SOS 10434 HAS SOPS 10432 HAS SOUS 4241 HAS SOUPS 4240 WITH SCORE 4250.434
AT ITER 817 NEW BEST:: SOT 19920 SOS 10432 HAS SOPS 10430 HAS SOUS 4241 HAS SOUPS 4240 WITH SCORE 4250.432
AT ITER 828 NEW BEST:: SOT 19805 SOS 10418 HAS SOPS 10416 HAS SOUS 4233 HAS SOUPS 4232 WITH SCORE 4242.418
AT ITER 833 NEW BEST:: SOT 19805 SOS 10414 HAS SOPS 10412 HAS SOUS 4225 HAS SOUPS 4224 WITH SCORE 4234.414
AT ITER 844 NEW BEST:: SOT 19781 SOS 10366 HAS SOPS 10364 HAS SOUS 4193 HAS SOUPS 4192 WITH SCORE 4202.366
AT ITER 863 NEW BEST:: SOT 19781 SOS 10358 HAS SOPS 10356 HAS SOUS 4189 HAS SOUPS 4188 WITH SCORE 4198.358
AT ITER 876 NEW BEST:: SOT 19736 SOS 10281 HAS SOPS 10279 HAS SOUS 4147 HAS SOUPS 4146 WITH SCORE 4156.281
AT ITER 895 NEW BEST:: SOT 19688 SOS 10246 HAS SOPS 10244 HAS SOUS 4118 HAS SOUPS 4117 WITH SCORE 4127.246
AT ITER 913 NEW BEST:: SOT 19660 SOS 10218 HAS SOPS 10216 HAS SOUS 4062 HAS SOUPS 4061 WITH SCORE 4071.218
AT ITER 915 NEW BEST:: SOT 19653 SOS 10215 HAS SOPS 10213 HAS SOUS 4052 HAS SOUPS 4051 WITH SCORE 4061.215
AT ITER 917 NEW BEST:: SOT 19578 SOS 10146 HAS SOPS 10144 HAS SOUS 4004 HAS SOUPS 4003 WITH SCORE 4013.146
AT ITER 921 NEW BEST:: SOT 19571 SOS 10074 HAS SOPS 10072 HAS SOUS 3939 HAS SOUPS 3938 WITH SCORE 3948.074
AT ITER 932 NEW BEST:: SOT 19562 SOS 10088 HAS SOPS 10086 HAS SOUS 3937 HAS SOUPS 3936 WITH SCORE 3946.088
AT ITER 935 NEW BEST:: SOT 19562 SOS 10081 HAS SOPS 10079 HAS SOUS 3930 HAS SOUPS 3929 WITH SCORE 3939.081
AT ITER 942 NEW BEST:: SOT 19562 SOS 10081 HAS SOPS 10079 HAS SOUS 3818 HAS SOUPS 3817 WITH SCORE 3827.081
AT ITER 956 NEW BEST:: SOT 19558 SOS 10077 HAS SOPS 10075 HAS SOUS 3812 HAS SOUPS 3811 WITH SCORE 3821.077
AT ITER 957 NEW BEST:: SOT 19552 SOS 10062 HAS SOPS 10060 HAS SOUS 3803 HAS SOUPS 3802 WITH SCORE 3812.062
AT ITER 972 NEW BEST:: SOT 19514 SOS 10034 HAS SOPS 10032 HAS SOUS 3775 HAS SOUPS 3774 WITH SCORE 3784.034
AT ITER 973 NEW BEST:: SOT 19514 SOS 10032 HAS SOPS 10030 HAS SOUS 3773 HAS SOUPS 3772 WITH SCORE 3782.032
AT ITER 984 NEW BEST:: SOT 19505 SOS 10023 HAS SOPS 10021 HAS SOUS 3755 HAS SOUPS 3754 WITH SCORE 3764.023
AT ITER 1000 NEW BEST:: SOT 19473 SOS 9991 HAS SOPS 9989 HAS SOUS 3743 HAS SOUPS 3742 WITH SCORE 3751.991
AT ITER 1006 NEW BEST:: SOT 19461 SOS 9967 HAS SOPS 9965 HAS SOUS 3707 HAS SOUPS 3706 WITH SCORE 3715.967
AT ITER 1009 NEW BEST:: SOT 19462 SOS 9965 HAS SOPS 9963 HAS SOUS 3707 HAS SOUPS 3706 WITH SCORE 3715.965
AT ITER 1011 NEW BEST:: SOT 19464 SOS 9961 HAS SOPS 9959 HAS SOUS 3706 HAS SOUPS 3705 WITH SCORE 3714.961
AT ITER 1051 NEW BEST:: SOT 19444 SOS 9941 HAS SOPS 9939 HAS SOUS 3696 HAS SOUPS 3695 WITH SCORE 3704.941
AT ITER 1070 NEW BEST:: SOT 19439 SOS 9939 HAS SOPS 9937 HAS SOUS 3694 HAS SOUPS 3693 WITH SCORE 3702.939
AT ITER 1071 NEW BEST:: SOT 19395 SOS 9873 HAS SOPS 9871 HAS SOUS 3622 HAS SOUPS 3621 WITH SCORE 3630.873
AT ITER 1072 NEW BEST:: SOT 19389 SOS 9865 HAS SOPS 9863 HAS SOUS 3612 HAS SOUPS 3611 WITH SCORE 3620.865
AT ITER 1078 NEW BEST:: SOT 19376 SOS 9838 HAS SOPS 9836 HAS SOUS 3588 HAS SOUPS 3587 WITH SCORE 3596.838
AT ITER 1080 NEW BEST:: SOT 19378 SOS 9834 HAS SOPS 9832 HAS SOUS 3586 HAS SOUPS 3585 WITH SCORE 3594.834
AT ITER 1090 NEW BEST:: SOT 19377 SOS 9823 HAS SOPS 9821 HAS SOUS 3579 HAS SOUPS 3578 WITH SCORE 3587.823
AT ITER 1098 NEW BEST:: SOT 19383 SOS 9822 HAS SOPS 9820 HAS SOUS 3565 HAS SOUPS 3564 WITH SCORE 3573.822
AT ITER 1114 NEW BEST:: SOT 19360 SOS 9799 HAS SOPS 9797 HAS SOUS 3532 HAS SOUPS 3531 WITH SCORE 3540.799
AT ITER 1141 NEW BEST:: SOT 19382 SOS 9778 HAS SOPS 9776 HAS SOUS 3511 HAS SOUPS 3510 WITH SCORE 3519.778
AT ITER 1142 NEW BEST:: SOT 19382 SOS 9776 HAS SOPS 9774 HAS SOUS 3509 HAS SOUPS 3508 WITH SCORE 3517.776
AT ITER 1144 NEW BEST:: SOT 19324 SOS 9729 HAS SOPS 9727 HAS SOUS 3485 HAS SOUPS 3484 WITH SCORE 3493.729
AT ITER 1158 NEW BEST:: SOT 19320 SOS 9791 HAS SOPS 9789 HAS SOUS 3478 HAS SOUPS 3477 WITH SCORE 3486.791
AT ITER 1170 NEW BEST:: SOT 19319 SOS 9787 HAS SOPS 9785 HAS SOUS 3473 HAS SOUPS 3472 WITH SCORE 3481.787
AT ITER 1173 NEW BEST:: SOT 19314 SOS 9782 HAS SOPS 9780 HAS SOUS 3469 HAS SOUPS 3468 WITH SCORE 3477.782
AT ITER 1183 NEW BEST:: SOT 19305 SOS 9773 HAS SOPS 9771 HAS SOUS 3469 HAS SOUPS 3468 WITH SCORE 3477.773
AT ITER 1197 NEW BEST:: SOT 19274 SOS 9786 HAS SOPS 9784 HAS SOUS 3468 HAS SOUPS 3467 WITH SCORE 3476.786
AT ITER 1212 NEW BEST:: SOT 19266 SOS 9778 HAS SOPS 9776 HAS SOUS 3460 HAS SOUPS 3459 WITH SCORE 3468.778
AT ITER 1235 NEW BEST:: SOT 19265 SOS 9777 HAS SOPS 9775 HAS SOUS 3458 HAS SOUPS 3457 WITH SCORE 3466.777
AT ITER 1252 NEW BEST:: SOT 19205 SOS 9698 HAS SOPS 9696 HAS SOUS 3418 HAS SOUPS 3417 WITH SCORE 3426.698
AT ITER 1259 NEW BEST:: SOT 19192 SOS 9684 HAS SOPS 9682 HAS SOUS 3402 HAS SOUPS 3401 WITH SCORE 3410.684
AT ITER 1264 NEW BEST:: SOT 19272 SOS 9740 HAS SOPS 9738 HAS SOUS 3376 HAS SOUPS 3375 WITH SCORE 3384.74
AT ITER 1280 NEW BEST:: SOT 19246 SOS 9714 HAS SOPS 9712 HAS SOUS 3339 HAS SOUPS 3338 WITH SCORE 3347.714
AT ITER 1284 NEW BEST:: SOT 19203 SOS 9671 HAS SOPS 9669 HAS SOUS 3311 HAS SOUPS 3310 WITH SCORE 3319.671
AT ITER 1293 NEW BEST:: SOT 19186 SOS 9635 HAS SOPS 9633 HAS SOUS 3277 HAS SOUPS 3276 WITH SCORE 3285.635
AT ITER 1304 NEW BEST:: SOT 19169 SOS 9603 HAS SOPS 9601 HAS SOUS 3273 HAS SOUPS 3272 WITH SCORE 3281.603
AT ITER 1317 NEW BEST:: SOT 19160 SOS 9601 HAS SOPS 9599 HAS SOUS 3272 HAS SOUPS 3271 WITH SCORE 3280.601
AT ITER 1333 NEW BEST:: SOT 19156 SOS 9597 HAS SOPS 9595 HAS SOUS 3264 HAS SOUPS 3263 WITH SCORE 3272.597
AT ITER 1336 NEW BEST:: SOT 19134 SOS 9575 HAS SOPS 9573 HAS SOUS 3220 HAS SOUPS 3219 WITH SCORE 3228.575
AT ITER 1337 NEW BEST:: SOT 19115 SOS 9556 HAS SOPS 9554 HAS SOUS 3182 HAS SOUPS 3181 WITH SCORE 3190.556
AT ITER 1368 NEW BEST:: SOT 19106 SOS 9547 HAS SOPS 9545 HAS SOUS 3164 HAS SOUPS 3163 WITH SCORE 3172.547
AT ITER 1393 NEW BEST:: SOT 19100 SOS 9541 HAS SOPS 9539 HAS SOUS 3152 HAS SOUPS 3151 WITH SCORE 3160.541
AT ITER 1397 NEW BEST:: SOT 19156 SOS 9572 HAS SOPS 9570 HAS SOUS 3137 HAS SOUPS 3136 WITH SCORE 3145.572
AT ITER 1420 NEW BEST:: SOT 19155 SOS 9571 HAS SOPS 9569 HAS SOUS 3136 HAS SOUPS 3135 WITH SCORE 3144.571
AT ITER 1423 NEW BEST:: SOT 19040 SOS 9456 HAS SOPS 9454 HAS SOUS 3049 HAS SOUPS 3048 WITH SCORE 3057.456
AT ITER 1424 NEW BEST:: SOT 19040 SOS 9418 HAS SOPS 9416 HAS SOUS 3030 HAS SOUPS 3029 WITH SCORE 3038.418
AT ITER 1429 NEW BEST:: SOT 19043 SOS 9421 HAS SOPS 9419 HAS SOUS 3027 HAS SOUPS 3026 WITH SCORE 3035.421
AT ITER 1436 NEW BEST:: SOT 19003 SOS 9341 HAS SOPS 9339 HAS SOUS 2989 HAS SOUPS 2988 WITH SCORE 2997.341
AT ITER 1478 NEW BEST:: SOT 19005 SOS 9323 HAS SOPS 9321 HAS SOUS 2977 HAS SOUPS 2976 WITH SCORE 2985.323
AT ITER 1480 NEW BEST:: SOT 19001 SOS 9315 HAS SOPS 9313 HAS SOUS 2973 HAS SOUPS 2972 WITH SCORE 2981.315
AT ITER 1545 NEW BEST:: SOT 19001 SOS 9312 HAS SOPS 9310 HAS SOUS 2973 HAS SOUPS 2972 WITH SCORE 2981.312
AT ITER 1592 NEW BEST:: SOT 19001 SOS 9309 HAS SOPS 9307 HAS SOUS 2973 HAS SOUPS 2972 WITH SCORE 2981.309
AT ITER 1600 NEW BEST:: SOT 18995 SOS 9303 HAS SOPS 9301 HAS SOUS 2969 HAS SOUPS 2968 WITH SCORE 2977.303
AT ITER 1607 NEW BEST:: SOT 18992 SOS 9283 HAS SOPS 9281 HAS SOUS 2946 HAS SOUPS 2945 WITH SCORE 2954.283
AT ITER 1626 NEW BEST:: SOT 18993 SOS 9284 HAS SOPS 9282 HAS SOUS 2945 HAS SOUPS 2944 WITH SCORE 2953.284
AT ITER 1684 NEW BEST:: SOT 18987 SOS 9278 HAS SOPS 9276 HAS SOUS 2940 HAS SOUPS 2939 WITH SCORE 2948.278
AT ITER 1692 NEW BEST:: SOT 18987 SOS 9278 HAS SOPS 9276 HAS SOUS 2937 HAS SOUPS 2936 WITH SCORE 2945.278
AT ITER 1693 NEW BEST:: SOT 18983 SOS 9278 HAS SOPS 9276 HAS SOUS 2933 HAS SOUPS 2932 WITH SCORE 2941.278
AT ITER 1697 NEW BEST:: SOT 18994 SOS 9270 HAS SOPS 9268 HAS SOUS 2919 HAS SOUPS 2918 WITH SCORE 2927.27
AT ITER 1716 NEW BEST:: SOT 18997 SOS 9273 HAS SOPS 9271 HAS SOUS 2916 HAS SOUPS 2915 WITH SCORE 2924.273
AT ITER 1736 NEW BEST:: SOT 18989 SOS 9265 HAS SOPS 9263 HAS SOUS 2908 HAS SOUPS 2907 WITH SCORE 2916.265
AT ITER 1751 NEW BEST:: SOT 18974 SOS 9250 HAS SOPS 9248 HAS SOUS 2878 HAS SOUPS 2877 WITH SCORE 2886.25
AT ITER 1754 NEW BEST:: SOT 18973 SOS 9247 HAS SOPS 9245 HAS SOUS 2875 HAS SOUPS 2874 WITH SCORE 2883.247
AT ITER 1758 NEW BEST:: SOT 18962 SOS 9236 HAS SOPS 9234 HAS SOUS 2870 HAS SOUPS 2869 WITH SCORE 2878.236
AT ITER 1762 NEW BEST:: SOT 18969 SOS 9225 HAS SOPS 9223 HAS SOUS 2866 HAS SOUPS 2865 WITH SCORE 2874.225
AT ITER 1769 NEW BEST:: SOT 18962 SOS 9216 HAS SOPS 9214 HAS SOUS 2858 HAS SOUPS 2857 WITH SCORE 2866.216
AT ITER 1771 NEW BEST:: SOT 18952 SOS 9206 HAS SOPS 9204 HAS SOUS 2853 HAS SOUPS 2852 WITH SCORE 2861.206
AT ITER 1808 NEW BEST:: SOT 18968 SOS 9170 HAS SOPS 9168 HAS SOUS 2835 HAS SOUPS 2834 WITH SCORE 2843.17
AT ITER 1814 NEW BEST:: SOT 18959 SOS 9152 HAS SOPS 9150 HAS SOUS 2821 HAS SOUPS 2820 WITH SCORE 2829.152
AT ITER 1876 NEW BEST:: SOT 18961 SOS 9129 HAS SOPS 9127 HAS SOUS 2807 HAS SOUPS 2806 WITH SCORE 2815.129
AT ITER 1877 NEW BEST:: SOT 18932 SOS 9118 HAS SOPS 9116 HAS SOUS 2785 HAS SOUPS 2784 WITH SCORE 2793.118
AT ITER 1886 NEW BEST:: SOT 18904 SOS 9090 HAS SOPS 9088 HAS SOUS 2761 HAS SOUPS 2760 WITH SCORE 2769.09
AT ITER 1898 NEW BEST:: SOT 18909 SOS 9075 HAS SOPS 9073 HAS SOUS 2761 HAS SOUPS 2760 WITH SCORE 2769.075
AT ITER 1909 NEW BEST:: SOT 18884 SOS 9070 HAS SOPS 9068 HAS SOUS 2759 HAS SOUPS 2758 WITH SCORE 2767.07
AT ITER 1915 NEW BEST:: SOT 18886 SOS 9061 HAS SOPS 9059 HAS SOUS 2737 HAS SOUPS 2736 WITH SCORE 2745.061
AT ITER 1950 NEW BEST:: SOT 18868 SOS 9036 HAS SOPS 9034 HAS SOUS 2701 HAS SOUPS 2700 WITH SCORE 2709.036
AT ITER 1958 NEW BEST:: SOT 18790 SOS 8966 HAS SOPS 8964 HAS SOUS 2645 HAS SOUPS 2644 WITH SCORE 2652.966
AT ITER 1999 NEW BEST:: SOT 18767 SOS 8943 HAS SOPS 8941 HAS SOUS 2599 HAS SOUPS 2598 WITH SCORE 2606.943
AT ITER 2012 NEW BEST:: SOT 18769 SOS 8929 HAS SOPS 8927 HAS SOUS 2589 HAS SOUPS 2588 WITH SCORE 2596.929
AT ITER 2022 NEW BEST:: SOT 18769 SOS 8927 HAS SOPS 8925 HAS SOUS 2589 HAS SOUPS 2588 WITH SCORE 2596.927
AT ITER 2023 NEW BEST:: SOT 18762 SOS 8944 HAS SOPS 8942 HAS SOUS 2587 HAS SOUPS 2586 WITH SCORE 2594.944
AT ITER 2031 NEW BEST:: SOT 18761 SOS 8944 HAS SOPS 8942 HAS SOUS 2586 HAS SOUPS 2585 WITH SCORE 2593.944
AT ITER 2034 NEW BEST:: SOT 18757 SOS 8932 HAS SOPS 8930 HAS SOUS 2578 HAS SOUPS 2577 WITH SCORE 2585.932
AT ITER 2037 NEW BEST:: SOT 18752 SOS 8935 HAS SOPS 8933 HAS SOUS 2576 HAS SOUPS 2575 WITH SCORE 2583.935
AT ITER 2058 NEW BEST:: SOT 18752 SOS 8933 HAS SOPS 8931 HAS SOUS 2576 HAS SOUPS 2575 WITH SCORE 2583.933
AT ITER 2062 NEW BEST:: SOT 18731 SOS 8912 HAS SOPS 8910 HAS SOUS 2555 HAS SOUPS 2554 WITH SCORE 2562.912
AT ITER 2066 NEW BEST:: SOT 18710 SOS 8921 HAS SOPS 8919 HAS SOUS 2537 HAS SOUPS 2536 WITH SCORE 2544.921
AT ITER 2068 NEW BEST:: SOT 18708 SOS 8919 HAS SOPS 8917 HAS SOUS 2533 HAS SOUPS 2532 WITH SCORE 2540.919
AT ITER 2080 NEW BEST:: SOT 18721 SOS 8925 HAS SOPS 8923 HAS SOUS 2527 HAS SOUPS 2526 WITH SCORE 2534.925
AT ITER 2177 NEW BEST:: SOT 18700 SOS 8926 HAS SOPS 8924 HAS SOUS 2520 HAS SOUPS 2519 WITH SCORE 2527.926
AT ITER 2231 NEW BEST:: SOT 18696 SOS 8920 HAS SOPS 8918 HAS SOUS 2516 HAS SOUPS 2515 WITH SCORE 2523.92
AT ITER 2236 NEW BEST:: SOT 18696 SOS 8918 HAS SOPS 8916 HAS SOUS 2514 HAS SOUPS 2513 WITH SCORE 2521.918
AT ITER 2253 NEW BEST:: SOT 18678 SOS 8900 HAS SOPS 8898 HAS SOUS 2496 HAS SOUPS 2495 WITH SCORE 2503.9
AT ITER 2270 NEW BEST:: SOT 18676 SOS 8898 HAS SOPS 8896 HAS SOUS 2496 HAS SOUPS 2495 WITH SCORE 2503.898
AT ITER 2290 NEW BEST:: SOT 18675 SOS 8895 HAS SOPS 8893 HAS SOUS 2493 HAS SOUPS 2492 WITH SCORE 2500.895
AT ITER 2304 NEW BEST:: SOT 18673 SOS 8893 HAS SOPS 8891 HAS SOUS 2489 HAS SOUPS 2488 WITH SCORE 2496.893
AT ITER 2325 NEW BEST:: SOT 18673 SOS 8883 HAS SOPS 8881 HAS SOUS 2484 HAS SOUPS 2483 WITH SCORE 2491.883
AT ITER 2334 NEW BEST:: SOT 18670 SOS 8880 HAS SOPS 8878 HAS SOUS 2478 HAS SOUPS 2477 WITH SCORE 2485.88
AT ITER 2369 NEW BEST:: SOT 18654 SOS 8854 HAS SOPS 8852 HAS SOUS 2456 HAS SOUPS 2455 WITH SCORE 2463.854
AT ITER 2380 NEW BEST:: SOT 18591 SOS 8791 HAS SOPS 8789 HAS SOUS 2426 HAS SOUPS 2425 WITH SCORE 2433.791
AT ITER 2395 NEW BEST:: SOT 18591 SOS 8791 HAS SOPS 8789 HAS SOUS 2422 HAS SOUPS 2421 WITH SCORE 2429.791
AT ITER 2413 NEW BEST:: SOT 18590 SOS 8790 HAS SOPS 8788 HAS SOUS 2420 HAS SOUPS 2419 WITH SCORE 2427.79
AT ITER 2447 NEW BEST:: SOT 18590 SOS 8788 HAS SOPS 8786 HAS SOUS 2419 HAS SOUPS 2418 WITH SCORE 2426.788
AT ITER 2453 NEW BEST:: SOT 18584 SOS 8782 HAS SOPS 8780 HAS SOUS 2407 HAS SOUPS 2406 WITH SCORE 2414.782
AT ITER 2486 NEW BEST:: SOT 18580 SOS 8778 HAS SOPS 8776 HAS SOUS 2405 HAS SOUPS 2404 WITH SCORE 2412.778
AT ITER 2504 NEW BEST:: SOT 18578 SOS 8776 HAS SOPS 8774 HAS SOUS 2405 HAS SOUPS 2404 WITH SCORE 2412.776
AT ITER 2507 NEW BEST:: SOT 18581 SOS 8773 HAS SOPS 8771 HAS SOUS 2405 HAS SOUPS 2404 WITH SCORE 2412.773
AT ITER 2520 NEW BEST:: SOT 18556 SOS 8760 HAS SOPS 8758 HAS SOUS 2405 HAS SOUPS 2404 WITH SCORE 2412.76
AT ITER 2581 NEW BEST:: SOT 18551 SOS 8762 HAS SOPS 8760 HAS SOUS 2402 HAS SOUPS 2401 WITH SCORE 2409.762
AT ITER 2602 NEW BEST:: SOT 18521 SOS 8726 HAS SOPS 8724 HAS SOUS 2370 HAS SOUPS 2369 WITH SCORE 2377.726
AT ITER 2622 NEW BEST:: SOT 18481 SOS 8691 HAS SOPS 8689 HAS SOUS 2348 HAS SOUPS 2347 WITH SCORE 2355.691
AT ITER 2636 NEW BEST:: SOT 18457 SOS 8667 HAS SOPS 8665 HAS SOUS 2300 HAS SOUPS 2299 WITH SCORE 2307.667
AT ITER 2651 NEW BEST:: SOT 18453 SOS 8672 HAS SOPS 8670 HAS SOUS 2292 HAS SOUPS 2291 WITH SCORE 2299.672
AT ITER 2708 NEW BEST:: SOT 18439 SOS 8694 HAS SOPS 8692 HAS SOUS 2285 HAS SOUPS 2284 WITH SCORE 2292.694
AT ITER 2709 NEW BEST:: SOT 18437 SOS 8692 HAS SOPS 8690 HAS SOUS 2281 HAS SOUPS 2280 WITH SCORE 2288.692
AT ITER 2751 NEW BEST:: SOT 18430 SOS 8655 HAS SOPS 8653 HAS SOUS 2247 HAS SOUPS 2246 WITH SCORE 2254.655
AT ITER 2753 NEW BEST:: SOT 18431 SOS 8651 HAS SOPS 8649 HAS SOUS 2245 HAS SOUPS 2244 WITH SCORE 2252.651
AT ITER 2755 NEW BEST:: SOT 18427 SOS 8647 HAS SOPS 8645 HAS SOUS 2241 HAS SOUPS 2240 WITH SCORE 2248.647
AT ITER 2773 NEW BEST:: SOT 18427 SOS 8645 HAS SOPS 8643 HAS SOUS 2240 HAS SOUPS 2239 WITH SCORE 2247.645
AT ITER 2779 NEW BEST:: SOT 18432 SOS 8643 HAS SOPS 8641 HAS SOUS 2237 HAS SOUPS 2236 WITH SCORE 2244.643
AT ITER 2781 NEW BEST:: SOT 18426 SOS 8637 HAS SOPS 8635 HAS SOUS 2225 HAS SOUPS 2224 WITH SCORE 2232.637
AT ITER 2784 NEW BEST:: SOT 18403 SOS 8629 HAS SOPS 8627 HAS SOUS 2207 HAS SOUPS 2206 WITH SCORE 2214.629
AT ITER 2798 NEW BEST:: SOT 18400 SOS 8623 HAS SOPS 8621 HAS SOUS 2202 HAS SOUPS 2201 WITH SCORE 2209.623
AT ITER 2806 NEW BEST:: SOT 18402 SOS 8621 HAS SOPS 8619 HAS SOUS 2198 HAS SOUPS 2197 WITH SCORE 2205.621
AT ITER 2815 NEW BEST:: SOT 18397 SOS 8616 HAS SOPS 8614 HAS SOUS 2191 HAS SOUPS 2190 WITH SCORE 2198.616
AT ITER 2854 NEW BEST:: SOT 18394 SOS 8603 HAS SOPS 8601 HAS SOUS 2185 HAS SOUPS 2184 WITH SCORE 2192.603
AT ITER 2857 NEW BEST:: SOT 18386 SOS 8595 HAS SOPS 8593 HAS SOUS 2169 HAS SOUPS 2168 WITH SCORE 2176.595
AT ITER 2876 NEW BEST:: SOT 18383 SOS 8592 HAS SOPS 8590 HAS SOUS 2167 HAS SOUPS 2166 WITH SCORE 2174.592
AT ITER 2902 NEW BEST:: SOT 18381 SOS 8594 HAS SOPS 8592 HAS SOUS 2165 HAS SOUPS 2164 WITH SCORE 2172.594
AT ITER 2928 NEW BEST:: SOT 18375 SOS 8585 HAS SOPS 8583 HAS SOUS 2159 HAS SOUPS 2158 WITH SCORE 2166.585
AT ITER 2950 NEW BEST:: SOT 18356 SOS 8566 HAS SOPS 8564 HAS SOUS 2157 HAS SOUPS 2156 WITH SCORE 2164.566
AT ITER 2998 NEW BEST:: SOT 18383 SOS 8581 HAS SOPS 8579 HAS SOUS 2151 HAS SOUPS 2150 WITH SCORE 2158.581
AT ITER 3075 NEW BEST:: SOT 18383 SOS 8579 HAS SOPS 8577 HAS SOUS 2149 HAS SOUPS 2148 WITH SCORE 2156.579
AT ITER 3108 NEW BEST:: SOT 18382 SOS 8577 HAS SOPS 8575 HAS SOUS 2147 HAS SOUPS 2146 WITH SCORE 2154.577
AT ITER 3111 NEW BEST:: SOT 18378 SOS 8565 HAS SOPS 8563 HAS SOUS 2129 HAS SOUPS 2128 WITH SCORE 2136.565
AT ITER 3147 NEW BEST:: SOT 18378 SOS 8560 HAS SOPS 8558 HAS SOUS 2129 HAS SOUPS 2128 WITH SCORE 2136.56
AT ITER 3156 NEW BEST:: SOT 18329 SOS 8499 HAS SOPS 8497 HAS SOUS 2067 HAS SOUPS 2066 WITH SCORE 2074.499
AT ITER 3233 NEW BEST:: SOT 18324 SOS 8478 HAS SOPS 8476 HAS SOUS 2057 HAS SOUPS 2056 WITH SCORE 2064.478
AT ITER 3239 NEW BEST:: SOT 18332 SOS 8479 HAS SOPS 8477 HAS SOUS 2056 HAS SOUPS 2055 WITH SCORE 2063.479
AT ITER 3351 NEW BEST:: SOT 18334 SOS 8479 HAS SOPS 8477 HAS SOUS 2054 HAS SOUPS 2053 WITH SCORE 2061.479
AT ITER 3384 NEW BEST:: SOT 18378 SOS 8511 HAS SOPS 8509 HAS SOUS 2036 HAS SOUPS 2035 WITH SCORE 2043.511
AT ITER 3421 NEW BEST:: SOT 18388 SOS 8505 HAS SOPS 8503 HAS SOUS 2033 HAS SOUPS 2032 WITH SCORE 2040.505
AT ITER 3435 NEW BEST:: SOT 18401 SOS 8492 HAS SOPS 8490 HAS SOUS 2023 HAS SOUPS 2022 WITH SCORE 2030.492
AT ITER 3520 NEW BEST:: SOT 18399 SOS 8490 HAS SOPS 8488 HAS SOUS 2023 HAS SOUPS 2022 WITH SCORE 2030.49
AT ITER 3544 NEW BEST:: SOT 18399 SOS 8488 HAS SOPS 8486 HAS SOUS 2022 HAS SOUPS 2021 WITH SCORE 2029.488
AT ITER 3597 NEW BEST:: SOT 18401 SOS 8476 HAS SOPS 8474 HAS SOUS 2019 HAS SOUPS 2018 WITH SCORE 2026.476
AT ITER 3630 NEW BEST:: SOT 18394 SOS 8473 HAS SOPS 8471 HAS SOUS 2013 HAS SOUPS 2012 WITH SCORE 2020.473
AT ITER 3645 NEW BEST:: SOT 18393 SOS 8472 HAS SOPS 8470 HAS SOUS 2011 HAS SOUPS 2010 WITH SCORE 2018.472
AT ITER 3742 NEW BEST:: SOT 18388 SOS 8462 HAS SOPS 8460 HAS SOUS 2003 HAS SOUPS 2002 WITH SCORE 2010.462
AT ITER 3768 NEW BEST:: SOT 18391 SOS 8465 HAS SOPS 8463 HAS SOUS 2002 HAS SOUPS 2001 WITH SCORE 2009.465
AT ITER 3788 NEW BEST:: SOT 18392 SOS 8462 HAS SOPS 8460 HAS SOUS 1999 HAS SOUPS 1998 WITH SCORE 2006.462
AT ITER 3824 NEW BEST:: SOT 18407 SOS 8469 HAS SOPS 8467 HAS SOUS 1998 HAS SOUPS 1997 WITH SCORE 2005.469
AT ITER 3833 NEW BEST:: SOT 18403 SOS 8455 HAS SOPS 8453 HAS SOUS 1996 HAS SOUPS 1995 WITH SCORE 2003.455
AT ITER 3847 NEW BEST:: SOT 18393 SOS 8452 HAS SOPS 8450 HAS SOUS 1986 HAS SOUPS 1985 WITH SCORE 1993.452
AT ITER 3852 NEW BEST:: SOT 18391 SOS 8450 HAS SOPS 8448 HAS SOUS 1982 HAS SOUPS 1981 WITH SCORE 1989.45
AT ITER 3906 NEW BEST:: SOT 18386 SOS 8452 HAS SOPS 8450 HAS SOUS 1978 HAS SOUPS 1977 WITH SCORE 1985.452
AT ITER 3927 NEW BEST:: SOT 18384 SOS 8449 HAS SOPS 8447 HAS SOUS 1974 HAS SOUPS 1973 WITH SCORE 1981.449
AT ITER 3931 NEW BEST:: SOT 18385 SOS 8444 HAS SOPS 8442 HAS SOUS 1973 HAS SOUPS 1972 WITH SCORE 1980.444
AT ITER 3942 NEW BEST:: SOT 18386 SOS 8417 HAS SOPS 8415 HAS SOUS 1959 HAS SOUPS 1958 WITH SCORE 1966.417
AT ITER 4110 NEW BEST:: SOT 18391 SOS 8422 HAS SOPS 8420 HAS SOUS 1954 HAS SOUPS 1953 WITH SCORE 1961.422
AT ITER 4176 NEW BEST:: SOT 18398 SOS 8429 HAS SOPS 8427 HAS SOUS 1953 HAS SOUPS 1952 WITH SCORE 1960.429
AT ITER 4216 NEW BEST:: SOT 18400 SOS 8423 HAS SOPS 8421 HAS SOUS 1947 HAS SOUPS 1946 WITH SCORE 1954.423
AT ITER 4230 NEW BEST:: SOT 18402 SOS 8419 HAS SOPS 8417 HAS SOUS 1945 HAS SOUPS 1944 WITH SCORE 1952.419
AT ITER 4297 NEW BEST:: SOT 18462 SOS 8471 HAS SOPS 8469 HAS SOUS 1935 HAS SOUPS 1934 WITH SCORE 1942.471
AT ITER 4350 NEW BEST:: SOT 18462 SOS 8468 HAS SOPS 8466 HAS SOUS 1933 HAS SOUPS 1932 WITH SCORE 1940.468
AT ITER 4390 NEW BEST:: SOT 18443 SOS 8445 HAS SOPS 8443 HAS SOUS 1919 HAS SOUPS 1918 WITH SCORE 1926.445
AT ITER 4461 NEW BEST:: SOT 18441 SOS 8441 HAS SOPS 8439 HAS SOUS 1913 HAS SOUPS 1912 WITH SCORE 1920.441
AT ITER 4469 NEW BEST:: SOT 18425 SOS 8425 HAS SOPS 8423 HAS SOUS 1902 HAS SOUPS 1901 WITH SCORE 1909.425
AT ITER 4495 NEW BEST:: SOT 18424 SOS 8424 HAS SOPS 8422 HAS SOUS 1900 HAS SOUPS 1899 WITH SCORE 1907.424
AT ITER 4544 NEW BEST:: SOT 18423 SOS 8418 HAS SOPS 8416 HAS SOUS 1898 HAS SOUPS 1897 WITH SCORE 1905.418
AT ITER 4572 NEW BEST:: SOT 18408 SOS 8398 HAS SOPS 8396 HAS SOUS 1883 HAS SOUPS 1882 WITH SCORE 1890.398
AT ITER 4578 NEW BEST:: SOT 18402 SOS 8392 HAS SOPS 8390 HAS SOUS 1880 HAS SOUPS 1879 WITH SCORE 1887.392
AT ITER 4609 NEW BEST:: SOT 18417 SOS 8372 HAS SOPS 8370 HAS SOUS 1864 HAS SOUPS 1863 WITH SCORE 1871.372
AT ITER 4629 NEW BEST:: SOT 18416 SOS 8371 HAS SOPS 8369 HAS SOUS 1862 HAS SOUPS 1861 WITH SCORE 1869.371
AT ITER 4705 NEW BEST:: SOT 18409 SOS 8369 HAS SOPS 8367 HAS SOUS 1856 HAS SOUPS 1855 WITH SCORE 1863.369
AT ITER 4727 NEW BEST:: SOT 18412 SOS 8368 HAS SOPS 8366 HAS SOUS 1854 HAS SOUPS 1853 WITH SCORE 1861.368
AT ITER 4798 NEW BEST:: SOT 18405 SOS 8333 HAS SOPS 8331 HAS SOUS 1844 HAS SOUPS 1843 WITH SCORE 1851.333
AT ITER 4811 NEW BEST:: SOT 18402 SOS 8328 HAS SOPS 8326 HAS SOUS 1840 HAS SOUPS 1839 WITH SCORE 1847.328
AT ITER 4825 NEW BEST:: SOT 18398 SOS 8327 HAS SOPS 8325 HAS SOUS 1838 HAS SOUPS 1837 WITH SCORE 1845.327
AT ITER 4899 NEW BEST:: SOT 18395 SOS 8324 HAS SOPS 8322 HAS SOUS 1835 HAS SOUPS 1834 WITH SCORE 1842.324
AT ITER 4969 NEW BEST:: SOT 18387 SOS 8316 HAS SOPS 8314 HAS SOUS 1819 HAS SOUPS 1818 WITH SCORE 1826.316
AT ITER 4981 NEW BEST:: SOT 18379 SOS 8310 HAS SOPS 8308 HAS SOUS 1813 HAS SOUPS 1812 WITH SCORE 1820.31
AT ITER 5120 NEW BEST:: SOT 18383 SOS 8309 HAS SOPS 8307 HAS SOUS 1813 HAS SOUPS 1812 WITH SCORE 1820.309
AT ITER 5128 NEW BEST:: SOT 18382 SOS 8308 HAS SOPS 8306 HAS SOUS 1811 HAS SOUPS 1810 WITH SCORE 1818.308
AT ITER 5243 NEW BEST:: SOT 18382 SOS 8304 HAS SOPS 8302 HAS SOUS 1807 HAS SOUPS 1806 WITH SCORE 1814.304
AT ITER 5293 NEW BEST:: SOT 18376 SOS 8289 HAS SOPS 8287 HAS SOUS 1798 HAS SOUPS 1797 WITH SCORE 1805.289
AT ITER 5379 NEW BEST:: SOT 18374 SOS 8280 HAS SOPS 8278 HAS SOUS 1787 HAS SOUPS 1786 WITH SCORE 1794.28
AT ITER 5399 NEW BEST:: SOT 18373 SOS 8279 HAS SOPS 8277 HAS SOUS 1787 HAS SOUPS 1786 WITH SCORE 1794.279
AT ITER 5413 NEW BEST:: SOT 18365 SOS 8267 HAS SOPS 8265 HAS SOUS 1779 HAS SOUPS 1778 WITH SCORE 1786.267
AT ITER 5446 NEW BEST:: SOT 18362 SOS 8264 HAS SOPS 8262 HAS SOUS 1773 HAS SOUPS 1772 WITH SCORE 1780.264
AT ITER 5506 NEW BEST:: SOT 18363 SOS 8271 HAS SOPS 8269 HAS SOUS 1771 HAS SOUPS 1770 WITH SCORE 1778.271
AT ITER 5508 NEW BEST:: SOT 18360 SOS 8268 HAS SOPS 8266 HAS SOUS 1765 HAS SOUPS 1764 WITH SCORE 1772.268
AT ITER 5587 NEW BEST:: SOT 18358 SOS 8266 HAS SOPS 8264 HAS SOUS 1764 HAS SOUPS 1763 WITH SCORE 1771.266
AT ITER 5598 NEW BEST:: SOT 18350 SOS 8264 HAS SOPS 8262 HAS SOUS 1764 HAS SOUPS 1763 WITH SCORE 1771.264
AT ITER 5621 NEW BEST:: SOT 18355 SOS 8258 HAS SOPS 8256 HAS SOUS 1761 HAS SOUPS 1760 WITH SCORE 1768.258
AT ITER 5654 NEW BEST:: SOT 18341 SOS 8282 HAS SOPS 8280 HAS SOUS 1759 HAS SOUPS 1758 WITH SCORE 1766.282
AT ITER 5932 NEW BEST:: SOT 18345 SOS 8268 HAS SOPS 8266 HAS SOUS 1755 HAS SOUPS 1754 WITH SCORE 1762.268
AT ITER 5981 NEW BEST:: SOT 18341 SOS 8264 HAS SOPS 8262 HAS SOUS 1753 HAS SOUPS 1752 WITH SCORE 1760.264
AT ITER 5987 NEW BEST:: SOT 18340 SOS 8261 HAS SOPS 8259 HAS SOUS 1751 HAS SOUPS 1750 WITH SCORE 1758.261
AT ITER 5988 NEW BEST:: SOT 18351 SOS 8250 HAS SOPS 8248 HAS SOUS 1745 HAS SOUPS 1744 WITH SCORE 1752.25
AT ITER 5996 NEW BEST:: SOT 18352 SOS 8251 HAS SOPS 8249 HAS SOUS 1744 HAS SOUPS 1743 WITH SCORE 1751.251
AT ITER 6010 NEW BEST:: SOT 18358 SOS 8251 HAS SOPS 8249 HAS SOUS 1732 HAS SOUPS 1731 WITH SCORE 1739.251
AT ITER 6049 NEW BEST:: SOT 18360 SOS 8253 HAS SOPS 8251 HAS SOUS 1730 HAS SOUPS 1729 WITH SCORE 1737.253
AT ITER 6092 NEW BEST:: SOT 18339 SOS 8232 HAS SOPS 8230 HAS SOUS 1688 HAS SOUPS 1687 WITH SCORE 1695.232
AT ITER 6114 NEW BEST:: SOT 18334 SOS 8223 HAS SOPS 8221 HAS SOUS 1681 HAS SOUPS 1680 WITH SCORE 1688.223
AT ITER 6159 NEW BEST:: SOT 18328 SOS 8211 HAS SOPS 8209 HAS SOUS 1669 HAS SOUPS 1668 WITH SCORE 1676.211
AT ITER 6359 NEW BEST:: SOT 18324 SOS 8203 HAS SOPS 8201 HAS SOUS 1661 HAS SOUPS 1660 WITH SCORE 1668.203
AT ITER 6493 NEW BEST:: SOT 18322 SOS 8201 HAS SOPS 8199 HAS SOUS 1657 HAS SOUPS 1656 WITH SCORE 1664.201
AT ITER 6544 NEW BEST:: SOT 18316 SOS 8197 HAS SOPS 8195 HAS SOUS 1651 HAS SOUPS 1650 WITH SCORE 1658.197
AT ITER 6594 NEW BEST:: SOT 18303 SOS 8184 HAS SOPS 8182 HAS SOUS 1640 HAS SOUPS 1639 WITH SCORE 1647.184
AT ITER 6673 NEW BEST:: SOT 18302 SOS 8183 HAS SOPS 8181 HAS SOUS 1638 HAS SOUPS 1637 WITH SCORE 1645.183
AT ITER 6797 NEW BEST:: SOT 18292 SOS 8173 HAS SOPS 8171 HAS SOUS 1633 HAS SOUPS 1632 WITH SCORE 1640.173
AT ITER 6800 NEW BEST:: SOT 18288 SOS 8169 HAS SOPS 8167 HAS SOUS 1625 HAS SOUPS 1624 WITH SCORE 1632.169
AT ITER 6840 NEW BEST:: SOT 18266 SOS 8147 HAS SOPS 8145 HAS SOUS 1625 HAS SOUPS 1624 WITH SCORE 1632.147
AT ITER 6912 NEW BEST:: SOT 18263 SOS 8143 HAS SOPS 8141 HAS SOUS 1621 HAS SOUPS 1620 WITH SCORE 1628.143
AT ITER 6919 NEW BEST:: SOT 18261 SOS 8131 HAS SOPS 8129 HAS SOUS 1612 HAS SOUPS 1611 WITH SCORE 1619.131
AT ITER 6977 NEW BEST:: SOT 18263 SOS 8118 HAS SOPS 8116 HAS SOUS 1604 HAS SOUPS 1603 WITH SCORE 1611.118
AT ITER 6978 NEW BEST:: SOT 18268 SOS 8099 HAS SOPS 8097 HAS SOUS 1587 HAS SOUPS 1586 WITH SCORE 1594.099
AT ITER 7010 NEW BEST:: SOT 18248 SOS 8079 HAS SOPS 8077 HAS SOUS 1574 HAS SOUPS 1573 WITH SCORE 1581.079
AT ITER 7174 NEW BEST:: SOT 18248 SOS 8076 HAS SOPS 8074 HAS SOUS 1572 HAS SOUPS 1571 WITH SCORE 1579.076
AT ITER 7208 NEW BEST:: SOT 18247 SOS 8077 HAS SOPS 8075 HAS SOUS 1571 HAS SOUPS 1570 WITH SCORE 1578.077
AT ITER 7256 NEW BEST:: SOT 18239 SOS 8076 HAS SOPS 8074 HAS SOUS 1565 HAS SOUPS 1564 WITH SCORE 1572.076
AT ITER 7363 NEW BEST:: SOT 18238 SOS 8075 HAS SOPS 8073 HAS SOUS 1563 HAS SOUPS 1562 WITH SCORE 1570.075
AT ITER 7376 NEW BEST:: SOT 18232 SOS 8063 HAS SOPS 8061 HAS SOUS 1552 HAS SOUPS 1551 WITH SCORE 1559.063
AT ITER 7440 NEW BEST:: SOT 18232 SOS 8058 HAS SOPS 8056 HAS SOUS 1547 HAS SOUPS 1546 WITH SCORE 1554.058
AT ITER 7489 NEW BEST:: SOT 18228 SOS 8054 HAS SOPS 8052 HAS SOUS 1539 HAS SOUPS 1538 WITH SCORE 1546.054
AT ITER 7633 NEW BEST:: SOT 18240 SOS 8058 HAS SOPS 8056 HAS SOUS 1538 HAS SOUPS 1537 WITH SCORE 1545.058
AT ITER 7697 NEW BEST:: SOT 18239 SOS 8059 HAS SOPS 8057 HAS SOUS 1537 HAS SOUPS 1536 WITH SCORE 1544.059
AT ITER 7747 NEW BEST:: SOT 18234 SOS 8049 HAS SOPS 8047 HAS SOUS 1531 HAS SOUPS 1530 WITH SCORE 1538.049
AT ITER 7777 NEW BEST:: SOT 18235 SOS 8047 HAS SOPS 8045 HAS SOUS 1530 HAS SOUPS 1529 WITH SCORE 1537.047
AT ITER 7808 NEW BEST:: SOT 18231 SOS 8043 HAS SOPS 8041 HAS SOUS 1522 HAS SOUPS 1521 WITH SCORE 1529.043
AT ITER 7820 NEW BEST:: SOT 18238 SOS 8049 HAS SOPS 8047 HAS SOUS 1520 HAS SOUPS 1519 WITH SCORE 1527.049
AT ITER 7825 NEW BEST:: SOT 18233 SOS 8046 HAS SOPS 8044 HAS SOUS 1517 HAS SOUPS 1516 WITH SCORE 1524.046
AT ITER 7860 NEW BEST:: SOT 18232 SOS 8045 HAS SOPS 8043 HAS SOUS 1515 HAS SOUPS 1514 WITH SCORE 1522.045
AT ITER 7999 NEW BEST:: SOT 18227 SOS 8056 HAS SOPS 8054 HAS SOUS 1513 HAS SOUPS 1512 WITH SCORE 1520.056
AT ITER 8167 NEW BEST:: SOT 18225 SOS 8058 HAS SOPS 8056 HAS SOUS 1511 HAS SOUPS 1510 WITH SCORE 1518.058
AT ITER 8250 NEW BEST:: SOT 18221 SOS 8054 HAS SOPS 8052 HAS SOUS 1495 HAS SOUPS 1494 WITH SCORE 1502.054
AT ITER 8284 NEW BEST:: SOT 18221 SOS 8051 HAS SOPS 8049 HAS SOUS 1493 HAS SOUPS 1492 WITH SCORE 1500.051
AT ITER 8298 NEW BEST:: SOT 18220 SOS 8050 HAS SOPS 8048 HAS SOUS 1491 HAS SOUPS 1490 WITH SCORE 1498.05
AT ITER 8325 NEW BEST:: SOT 18229 SOS 8049 HAS SOPS 8047 HAS SOUS 1491 HAS SOUPS 1490 WITH SCORE 1498.049
AT ITER 8326 NEW BEST:: SOT 18227 SOS 8047 HAS SOPS 8045 HAS SOUS 1487 HAS SOUPS 1486 WITH SCORE 1494.047
AT ITER 8339 NEW BEST:: SOT 18226 SOS 8043 HAS SOPS 8041 HAS SOUS 1482 HAS SOUPS 1481 WITH SCORE 1489.043
AT ITER 8383 NEW BEST:: SOT 18219 SOS 8038 HAS SOPS 8036 HAS SOUS 1478 HAS SOUPS 1477 WITH SCORE 1485.038
AT ITER 8621 NEW BEST:: SOT 18219 SOS 8037 HAS SOPS 8035 HAS SOUS 1478 HAS SOUPS 1477 WITH SCORE 1485.037
AT ITER 8651 NEW BEST:: SOT 18218 SOS 8036 HAS SOPS 8034 HAS SOUS 1478 HAS SOUPS 1477 WITH SCORE 1485.036
AT ITER 8786 NEW BEST:: SOT 18208 SOS 8026 HAS SOPS 8024 HAS SOUS 1474 HAS SOUPS 1473 WITH SCORE 1481.026
AT ITER 8803 NEW BEST:: SOT 18195 SOS 8013 HAS SOPS 8011 HAS SOUS 1448 HAS SOUPS 1447 WITH SCORE 1455.013
AT ITER 8828 NEW BEST:: SOT 18171 SOS 8030 HAS SOPS 8028 HAS SOUS 1444 HAS SOUPS 1443 WITH SCORE 1451.03
AT ITER 8892 NEW BEST:: SOT 18173 SOS 8034 HAS SOPS 8032 HAS SOUS 1441 HAS SOUPS 1440 WITH SCORE 1448.034
AT ITER 9271 NEW BEST:: SOT 18173 SOS 8016 HAS SOPS 8014 HAS SOUS 1433 HAS SOUPS 1432 WITH SCORE 1440.016
AT ITER 9332 NEW BEST:: SOT 18170 SOS 8012 HAS SOPS 8010 HAS SOUS 1430 HAS SOUPS 1429 WITH SCORE 1437.012
AT ITER 9658 NEW BEST:: SOT 18171 SOS 8007 HAS SOPS 8005 HAS SOUS 1429 HAS SOUPS 1428 WITH SCORE 1436.007
AT ITER 9735 NEW BEST:: SOT 18169 SOS 8006 HAS SOPS 8004 HAS SOUS 1429 HAS SOUPS 1428 WITH SCORE 1436.006
AT ITER 9829 NEW BEST:: SOT 18167 SOS 8002 HAS SOPS 8000 HAS SOUS 1427 HAS SOUPS 1426 WITH SCORE 1434.002
AT ITER 9913 NEW BEST:: SOT 18159 SOS 8002 HAS SOPS 8000 HAS SOUS 1422 HAS SOUPS 1421 WITH SCORE 1429.002
AT ITER 9914 NEW BEST:: SOT 18159 SOS 8000 HAS SOPS 7998 HAS SOUS 1417 HAS SOUPS 1416 WITH SCORE 1424.0
AT ITER 9939 NEW BEST:: SOT 18163 SOS 8002 HAS SOPS 8000 HAS SOUS 1412 HAS SOUPS 1411 WITH SCORE 1419.002
AT ITER 9956 NEW BEST:: SOT 18162 SOS 8008 HAS SOPS 8006 HAS SOUS 1410 HAS SOUPS 1409 WITH SCORE 1417.008
AT ITER 9981 NEW BEST:: SOT 18145 SOS 7976 HAS SOPS 7974 HAS SOUS 1404 HAS SOUPS 1403 WITH SCORE 1410.976
STATE_SPACE STATES 7253530602356856934379453 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 42 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 256291276829733742369547622 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678555316290

--------------------
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="GPUForwardProgress-PT-40a"
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 GPUForwardProgress-PT-40a, 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 r203-smll-167840349200152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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