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.r171-tall-167838858700512.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 FlexibleBarrier-PT-12a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858700512
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 616K
-rw-r--r-- 1 mcc users 7.2K Feb 25 13:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 13:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 12:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 12:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 138K Feb 25 13:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 13:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 25 13:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 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 128K 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 1679477901904

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=FlexibleBarrier-PT-12a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 09:38:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 09:38:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 09:38:23] [INFO ] Load time of PNML (sax parser for PT used): 63 ms
[2023-03-22 09:38:23] [INFO ] Transformed 147 places.
[2023-03-22 09:38:23] [INFO ] Transformed 448 transitions.
[2023-03-22 09:38:23] [INFO ] Found NUPN structural information;
[2023-03-22 09:38:23] [INFO ] Parsed PT model containing 147 places and 448 transitions and 2045 arcs in 127 ms.
[2023-03-22 09:38:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 147 places, 448 transitions and 2045 arcs took 7 ms.
Total runtime 166 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 12a
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: 147 places, 448 transitions, 2045 arcs.
AT ITER 0 NEW BEST:: SOT 56392 SOS 46478 HAS SOPS 46478 HAS SOUS 27625 HAS SOUPS 27625 WITH SCORE 27671.478
AT ITER 2 NEW BEST:: SOT 56416 SOS 46454 HAS SOPS 46454 HAS SOUS 27601 HAS SOUPS 27601 WITH SCORE 27647.454
AT ITER 3 NEW BEST:: SOT 56427 SOS 46439 HAS SOPS 46439 HAS SOUS 27251 HAS SOUPS 27251 WITH SCORE 27297.439
AT ITER 5 NEW BEST:: SOT 56310 SOS 46330 HAS SOPS 46330 HAS SOUS 27184 HAS SOUPS 27184 WITH SCORE 27230.33
AT ITER 8 NEW BEST:: SOT 56348 SOS 46253 HAS SOPS 46253 HAS SOUS 27166 HAS SOUPS 27166 WITH SCORE 27212.253
AT ITER 10 NEW BEST:: SOT 56456 SOS 46263 HAS SOPS 46263 HAS SOUS 27151 HAS SOUPS 27151 WITH SCORE 27197.263
AT ITER 11 NEW BEST:: SOT 56178 SOS 46007 HAS SOPS 46007 HAS SOUS 27007 HAS SOUPS 27007 WITH SCORE 27053.007
AT ITER 12 NEW BEST:: SOT 56115 SOS 45944 HAS SOPS 45944 HAS SOUS 26928 HAS SOUPS 26928 WITH SCORE 26973.944
AT ITER 13 NEW BEST:: SOT 56133 SOS 45930 HAS SOPS 45930 HAS SOUS 26668 HAS SOUPS 26668 WITH SCORE 26713.93
AT ITER 14 NEW BEST:: SOT 56197 SOS 45866 HAS SOPS 45866 HAS SOUS 25900 HAS SOUPS 25900 WITH SCORE 25945.866
AT ITER 17 NEW BEST:: SOT 56215 SOS 45623 HAS SOPS 45623 HAS SOUS 25829 HAS SOUPS 25829 WITH SCORE 25874.623
AT ITER 22 NEW BEST:: SOT 56204 SOS 45601 HAS SOPS 45601 HAS SOUS 25818 HAS SOUPS 25818 WITH SCORE 25863.601
AT ITER 23 NEW BEST:: SOT 55489 SOS 44900 HAS SOPS 44870 HAS SOUS 25243 HAS SOUPS 25214 WITH SCORE 25258.9
AT ITER 26 NEW BEST:: SOT 54856 SOS 44273 HAS SOPS 44243 HAS SOUS 24915 HAS SOUPS 24886 WITH SCORE 24930.273
AT ITER 27 NEW BEST:: SOT 54868 SOS 44219 HAS SOPS 44171 HAS SOUS 24867 HAS SOUPS 24838 WITH SCORE 24882.219
AT ITER 28 NEW BEST:: SOT 54355 SOS 43654 HAS SOPS 43606 HAS SOUS 24589 HAS SOUPS 24560 WITH SCORE 24603.654
AT ITER 29 NEW BEST:: SOT 54331 SOS 43630 HAS SOPS 43582 HAS SOUS 24541 HAS SOUPS 24512 WITH SCORE 24555.63
AT ITER 30 NEW BEST:: SOT 53216 SOS 42774 HAS SOPS 42467 HAS SOUS 23295 HAS SOUPS 23207 WITH SCORE 23249.774
AT ITER 31 NEW BEST:: SOT 53189 SOS 42408 HAS SOPS 42101 HAS SOUS 22006 HAS SOUPS 21918 WITH SCORE 21960.408
AT ITER 32 NEW BEST:: SOT 52937 SOS 41366 HAS SOPS 41039 HAS SOUS 20016 HAS SOUPS 19928 WITH SCORE 19969.366
AT ITER 34 NEW BEST:: SOT 52936 SOS 40652 HAS SOPS 40325 HAS SOUS 19363 HAS SOUPS 19275 WITH SCORE 19315.652
AT ITER 35 NEW BEST:: SOT 52961 SOS 39997 HAS SOPS 39670 HAS SOUS 18866 HAS SOUPS 18778 WITH SCORE 18817.997
AT ITER 36 NEW BEST:: SOT 52958 SOS 40001 HAS SOPS 39674 HAS SOUS 18864 HAS SOUPS 18776 WITH SCORE 18816.001
AT ITER 38 NEW BEST:: SOT 52990 SOS 40017 HAS SOPS 39651 HAS SOUS 18841 HAS SOUPS 18753 WITH SCORE 18793.017
AT ITER 42 NEW BEST:: SOT 52975 SOS 39938 HAS SOPS 39523 HAS SOUS 18795 HAS SOUPS 18707 WITH SCORE 18746.938
AT ITER 47 NEW BEST:: SOT 52968 SOS 39924 HAS SOPS 39485 HAS SOUS 18757 HAS SOUPS 18669 WITH SCORE 18708.924
AT ITER 49 NEW BEST:: SOT 52964 SOS 39835 HAS SOPS 39362 HAS SOUS 18643 HAS SOUPS 18555 WITH SCORE 18594.835
AT ITER 53 NEW BEST:: SOT 53011 SOS 38668 HAS SOPS 38195 HAS SOUS 17432 HAS SOUPS 17344 WITH SCORE 17382.668
AT ITER 55 NEW BEST:: SOT 53010 SOS 38666 HAS SOPS 38193 HAS SOUS 17431 HAS SOUPS 17343 WITH SCORE 17381.666
AT ITER 56 NEW BEST:: SOT 52996 SOS 38657 HAS SOPS 38165 HAS SOUS 17420 HAS SOUPS 17329 WITH SCORE 17367.657
AT ITER 58 NEW BEST:: SOT 52969 SOS 37826 HAS SOPS 37334 HAS SOUS 16619 HAS SOUPS 16528 WITH SCORE 16565.826
AT ITER 61 NEW BEST:: SOT 52929 SOS 37751 HAS SOPS 37254 HAS SOUS 16547 HAS SOUPS 16456 WITH SCORE 16493.751
AT ITER 62 NEW BEST:: SOT 52942 SOS 36996 HAS SOPS 36499 HAS SOUS 16275 HAS SOUPS 16184 WITH SCORE 16220.996
AT ITER 63 NEW BEST:: SOT 52929 SOS 35708 HAS SOPS 35211 HAS SOUS 15950 HAS SOUPS 15859 WITH SCORE 15894.708
AT ITER 64 NEW BEST:: SOT 52928 SOS 35706 HAS SOPS 35209 HAS SOUS 15949 HAS SOUPS 15858 WITH SCORE 15893.706
AT ITER 66 NEW BEST:: SOT 52951 SOS 35718 HAS SOPS 35174 HAS SOUS 15859 HAS SOUPS 15768 WITH SCORE 15803.718
AT ITER 67 NEW BEST:: SOT 52998 SOS 35696 HAS SOPS 35152 HAS SOUS 15800 HAS SOUPS 15709 WITH SCORE 15744.696
AT ITER 69 NEW BEST:: SOT 53012 SOS 35432 HAS SOPS 34888 HAS SOUS 15656 HAS SOUPS 15565 WITH SCORE 15600.432
AT ITER 70 NEW BEST:: SOT 52932 SOS 35065 HAS SOPS 34511 HAS SOUS 15459 HAS SOUPS 15368 WITH SCORE 15403.065
AT ITER 74 NEW BEST:: SOT 52839 SOS 34972 HAS SOPS 34418 HAS SOUS 15410 HAS SOUPS 15319 WITH SCORE 15353.972
AT ITER 79 NEW BEST:: SOT 52830 SOS 34960 HAS SOPS 34400 HAS SOUS 15395 HAS SOUPS 15304 WITH SCORE 15338.96
AT ITER 80 NEW BEST:: SOT 52829 SOS 34958 HAS SOPS 34359 HAS SOUS 15366 HAS SOUPS 15275 WITH SCORE 15309.958
AT ITER 81 NEW BEST:: SOT 52802 SOS 32582 HAS SOPS 31911 HAS SOUS 14104 HAS SOUPS 14013 WITH SCORE 14045.582
AT ITER 86 NEW BEST:: SOT 52798 SOS 32599 HAS SOPS 31928 HAS SOUS 14100 HAS SOUPS 14009 WITH SCORE 14041.599
AT ITER 91 NEW BEST:: SOT 53327 SOS 32156 HAS SOPS 31476 HAS SOUS 13795 HAS SOUPS 13704 WITH SCORE 13736.156
AT ITER 93 NEW BEST:: SOT 53356 SOS 30841 HAS SOPS 30036 HAS SOUS 12879 HAS SOUPS 12788 WITH SCORE 12818.841
AT ITER 94 NEW BEST:: SOT 53098 SOS 30555 HAS SOPS 29744 HAS SOUS 12696 HAS SOUPS 12605 WITH SCORE 12635.555
AT ITER 108 NEW BEST:: SOT 52732 SOS 30167 HAS SOPS 29264 HAS SOUS 12139 HAS SOUPS 12039 WITH SCORE 12069.167
AT ITER 111 NEW BEST:: SOT 52526 SOS 29961 HAS SOPS 29058 HAS SOUS 12039 HAS SOUPS 11939 WITH SCORE 11968.961
AT ITER 113 NEW BEST:: SOT 52511 SOS 29901 HAS SOPS 28978 HAS SOUS 11985 HAS SOUPS 11884 WITH SCORE 11913.901
AT ITER 114 NEW BEST:: SOT 52486 SOS 29779 HAS SOPS 28806 HAS SOUS 11863 HAS SOUPS 11762 WITH SCORE 11791.779
AT ITER 115 NEW BEST:: SOT 52461 SOS 29754 HAS SOPS 28787 HAS SOUS 11844 HAS SOUPS 11743 WITH SCORE 11772.754
AT ITER 117 NEW BEST:: SOT 52456 SOS 29742 HAS SOPS 28777 HAS SOUS 11834 HAS SOUPS 11733 WITH SCORE 11762.742
AT ITER 118 NEW BEST:: SOT 52422 SOS 29686 HAS SOPS 28732 HAS SOUS 11789 HAS SOUPS 11688 WITH SCORE 11717.686
AT ITER 120 NEW BEST:: SOT 52372 SOS 29618 HAS SOPS 28664 HAS SOUS 11711 HAS SOUPS 11610 WITH SCORE 11639.618
AT ITER 125 NEW BEST:: SOT 52409 SOS 28062 HAS SOPS 26920 HAS SOUS 11074 HAS SOUPS 10973 WITH SCORE 11001.062
AT ITER 126 NEW BEST:: SOT 52407 SOS 28042 HAS SOPS 26900 HAS SOUS 11064 HAS SOUPS 10963 WITH SCORE 10991.042
AT ITER 133 NEW BEST:: SOT 52407 SOS 28007 HAS SOPS 26881 HAS SOUS 11064 HAS SOUPS 10963 WITH SCORE 10991.007
AT ITER 134 NEW BEST:: SOT 52401 SOS 27824 HAS SOPS 26513 HAS SOUS 10849 HAS SOUPS 10748 WITH SCORE 10775.824
AT ITER 137 NEW BEST:: SOT 52429 SOS 27310 HAS SOPS 25999 HAS SOUS 10813 HAS SOUPS 10712 WITH SCORE 10739.31
AT ITER 139 NEW BEST:: SOT 52429 SOS 27286 HAS SOPS 25975 HAS SOUS 10789 HAS SOUPS 10688 WITH SCORE 10715.286
AT ITER 144 NEW BEST:: SOT 52470 SOS 27274 HAS SOPS 25963 HAS SOUS 10777 HAS SOUPS 10676 WITH SCORE 10703.274
AT ITER 154 NEW BEST:: SOT 52069 SOS 28108 HAS SOPS 25517 HAS SOUS 10365 HAS SOUPS 10219 WITH SCORE 10247.108
AT ITER 168 NEW BEST:: SOT 52028 SOS 26072 HAS SOPS 23497 HAS SOUS 10112 HAS SOUPS 9966 WITH SCORE 9992.072
AT ITER 170 NEW BEST:: SOT 51973 SOS 26013 HAS SOPS 23387 HAS SOUS 10068 HAS SOUPS 9922 WITH SCORE 9948.013
AT ITER 172 NEW BEST:: SOT 51966 SOS 25999 HAS SOPS 23373 HAS SOUS 10061 HAS SOUPS 9915 WITH SCORE 9940.999
AT ITER 179 NEW BEST:: SOT 51966 SOS 25993 HAS SOPS 23367 HAS SOUS 10061 HAS SOUPS 9915 WITH SCORE 9940.993
AT ITER 183 NEW BEST:: SOT 51981 SOS 25985 HAS SOPS 23397 HAS SOUS 10061 HAS SOUPS 9915 WITH SCORE 9940.985
AT ITER 184 NEW BEST:: SOT 51982 SOS 26008 HAS SOPS 23420 HAS SOUS 10052 HAS SOUPS 9906 WITH SCORE 9932.008
AT ITER 193 NEW BEST:: SOT 52159 SOS 26015 HAS SOPS 23382 HAS SOUS 10050 HAS SOUPS 9904 WITH SCORE 9930.015
AT ITER 195 NEW BEST:: SOT 51439 SOS 26191 HAS SOPS 23532 HAS SOUS 9760 HAS SOUPS 9606 WITH SCORE 9632.191
AT ITER 196 NEW BEST:: SOT 51429 SOS 26184 HAS SOPS 23512 HAS SOUS 9730 HAS SOUPS 9576 WITH SCORE 9602.184
AT ITER 199 NEW BEST:: SOT 51602 SOS 26340 HAS SOPS 23518 HAS SOUS 9574 HAS SOUPS 9420 WITH SCORE 9446.34
AT ITER 210 NEW BEST:: SOT 51156 SOS 26516 HAS SOPS 23694 HAS SOUS 9567 HAS SOUPS 9413 WITH SCORE 9439.516
AT ITER 215 NEW BEST:: SOT 51117 SOS 26453 HAS SOPS 23613 HAS SOUS 9512 HAS SOUPS 9358 WITH SCORE 9384.453
AT ITER 231 NEW BEST:: SOT 51108 SOS 26435 HAS SOPS 23595 HAS SOUS 9503 HAS SOUPS 9349 WITH SCORE 9375.435
AT ITER 235 NEW BEST:: SOT 51103 SOS 26432 HAS SOPS 23585 HAS SOUS 9497 HAS SOUPS 9343 WITH SCORE 9369.432
AT ITER 237 NEW BEST:: SOT 51116 SOS 26379 HAS SOPS 23254 HAS SOUS 9315 HAS SOUPS 9161 WITH SCORE 9187.379
AT ITER 245 NEW BEST:: SOT 51131 SOS 26369 HAS SOPS 23258 HAS SOUS 9298 HAS SOUPS 9144 WITH SCORE 9170.369
AT ITER 247 NEW BEST:: SOT 51120 SOS 26356 HAS SOPS 23236 HAS SOUS 9278 HAS SOUPS 9124 WITH SCORE 9150.356
AT ITER 249 NEW BEST:: SOT 51074 SOS 26292 HAS SOPS 23167 HAS SOUS 9240 HAS SOUPS 9086 WITH SCORE 9112.292
AT ITER 253 NEW BEST:: SOT 51046 SOS 26264 HAS SOPS 23111 HAS SOUS 9184 HAS SOUPS 9030 WITH SCORE 9056.264
AT ITER 254 NEW BEST:: SOT 50987 SOS 26205 HAS SOPS 22993 HAS SOUS 9066 HAS SOUPS 8912 WITH SCORE 8938.205
AT ITER 256 NEW BEST:: SOT 50908 SOS 26008 HAS SOPS 22796 HAS SOUS 8952 HAS SOUPS 8798 WITH SCORE 8824.008
AT ITER 262 NEW BEST:: SOT 50885 SOS 25993 HAS SOPS 22781 HAS SOUS 8944 HAS SOUPS 8790 WITH SCORE 8815.993
AT ITER 266 NEW BEST:: SOT 50873 SOS 25975 HAS SOPS 22763 HAS SOUS 8932 HAS SOUPS 8778 WITH SCORE 8803.975
AT ITER 267 NEW BEST:: SOT 50842 SOS 25944 HAS SOPS 22732 HAS SOUS 8901 HAS SOUPS 8747 WITH SCORE 8772.944
AT ITER 273 NEW BEST:: SOT 50868 SOS 25968 HAS SOPS 22745 HAS SOUS 8874 HAS SOUPS 8720 WITH SCORE 8745.968
AT ITER 275 NEW BEST:: SOT 50868 SOS 25964 HAS SOPS 22741 HAS SOUS 8872 HAS SOUPS 8718 WITH SCORE 8743.964
AT ITER 294 NEW BEST:: SOT 50813 SOS 25878 HAS SOPS 22655 HAS SOUS 8824 HAS SOUPS 8670 WITH SCORE 8695.878
AT ITER 295 NEW BEST:: SOT 50802 SOS 25867 HAS SOPS 22644 HAS SOUS 8813 HAS SOUPS 8659 WITH SCORE 8684.867
AT ITER 309 NEW BEST:: SOT 50802 SOS 25861 HAS SOPS 22638 HAS SOUS 8809 HAS SOUPS 8655 WITH SCORE 8680.861
AT ITER 310 NEW BEST:: SOT 50814 SOS 23509 HAS SOPS 20324 HAS SOUS 8650 HAS SOUPS 8496 WITH SCORE 8519.509
AT ITER 315 NEW BEST:: SOT 50814 SOS 23429 HAS SOPS 20264 HAS SOUS 8650 HAS SOUPS 8496 WITH SCORE 8519.429
AT ITER 319 NEW BEST:: SOT 50489 SOS 25097 HAS SOPS 19907 HAS SOUS 8590 HAS SOUPS 8415 WITH SCORE 8440.097
AT ITER 321 NEW BEST:: SOT 50494 SOS 25151 HAS SOPS 19917 HAS SOUS 8564 HAS SOUPS 8389 WITH SCORE 8414.151
AT ITER 323 NEW BEST:: SOT 50495 SOS 25138 HAS SOPS 19875 HAS SOUS 8522 HAS SOUPS 8347 WITH SCORE 8372.138
AT ITER 327 NEW BEST:: SOT 50652 SOS 25268 HAS SOPS 19751 HAS SOUS 8507 HAS SOUPS 8332 WITH SCORE 8357.268
AT ITER 329 NEW BEST:: SOT 50473 SOS 25093 HAS SOPS 19616 HAS SOUS 8490 HAS SOUPS 8315 WITH SCORE 8340.093
AT ITER 340 NEW BEST:: SOT 50458 SOS 25380 HAS SOPS 19580 HAS SOUS 8475 HAS SOUPS 8293 WITH SCORE 8318.38
AT ITER 348 NEW BEST:: SOT 50453 SOS 25370 HAS SOPS 19570 HAS SOUS 8470 HAS SOUPS 8288 WITH SCORE 8313.37
AT ITER 353 NEW BEST:: SOT 50423 SOS 25337 HAS SOPS 19534 HAS SOUS 8446 HAS SOUPS 8264 WITH SCORE 8289.337
AT ITER 361 NEW BEST:: SOT 50412 SOS 25304 HAS SOPS 19501 HAS SOUS 8424 HAS SOUPS 8242 WITH SCORE 8267.304
AT ITER 362 NEW BEST:: SOT 50359 SOS 25315 HAS SOPS 19464 HAS SOUS 8396 HAS SOUPS 8214 WITH SCORE 8239.315
AT ITER 366 NEW BEST:: SOT 50349 SOS 25305 HAS SOPS 19454 HAS SOUS 8386 HAS SOUPS 8204 WITH SCORE 8229.305
AT ITER 367 NEW BEST:: SOT 50347 SOS 25294 HAS SOPS 19450 HAS SOUS 8382 HAS SOUPS 8200 WITH SCORE 8225.294
AT ITER 368 NEW BEST:: SOT 49738 SOS 24711 HAS SOPS 19168 HAS SOUS 8274 HAS SOUPS 8092 WITH SCORE 8116.711
AT ITER 372 NEW BEST:: SOT 49743 SOS 24731 HAS SOPS 19178 HAS SOUS 8259 HAS SOUPS 8077 WITH SCORE 8101.731
AT ITER 380 NEW BEST:: SOT 49736 SOS 24670 HAS SOPS 19110 HAS SOUS 8191 HAS SOUPS 8009 WITH SCORE 8033.67
AT ITER 395 NEW BEST:: SOT 49697 SOS 24591 HAS SOPS 19012 HAS SOUS 8113 HAS SOUPS 7931 WITH SCORE 7955.591
AT ITER 399 NEW BEST:: SOT 49657 SOS 24509 HAS SOPS 18932 HAS SOUS 8041 HAS SOUPS 7859 WITH SCORE 7883.509
AT ITER 402 NEW BEST:: SOT 49657 SOS 24506 HAS SOPS 18929 HAS SOUS 8041 HAS SOUPS 7859 WITH SCORE 7883.506
AT ITER 409 NEW BEST:: SOT 49148 SOS 26063 HAS SOPS 20754 HAS SOUS 8004 HAS SOUPS 7822 WITH SCORE 7848.063
AT ITER 427 NEW BEST:: SOT 49090 SOS 25995 HAS SOPS 20714 HAS SOUS 7990 HAS SOUPS 7808 WITH SCORE 7833.995
AT ITER 434 NEW BEST:: SOT 49084 SOS 25983 HAS SOPS 20546 HAS SOUS 7930 HAS SOUPS 7748 WITH SCORE 7773.983
AT ITER 447 NEW BEST:: SOT 49090 SOS 25980 HAS SOPS 20536 HAS SOUS 7918 HAS SOUPS 7736 WITH SCORE 7761.98
AT ITER 452 NEW BEST:: SOT 49055 SOS 25883 HAS SOPS 20466 HAS SOUS 7902 HAS SOUPS 7720 WITH SCORE 7745.883
AT ITER 455 NEW BEST:: SOT 49046 SOS 25505 HAS SOPS 20097 HAS SOUS 7866 HAS SOUPS 7684 WITH SCORE 7709.505
AT ITER 461 NEW BEST:: SOT 49009 SOS 25411 HAS SOPS 20003 HAS SOUS 7789 HAS SOUPS 7607 WITH SCORE 7632.411
AT ITER 463 NEW BEST:: SOT 48999 SOS 25406 HAS SOPS 19988 HAS SOUS 7774 HAS SOUPS 7592 WITH SCORE 7617.406
AT ITER 465 NEW BEST:: SOT 48992 SOS 25399 HAS SOPS 19974 HAS SOUS 7757 HAS SOUPS 7575 WITH SCORE 7600.399
AT ITER 469 NEW BEST:: SOT 48992 SOS 25399 HAS SOPS 19940 HAS SOUS 7723 HAS SOUPS 7541 WITH SCORE 7566.399
AT ITER 480 NEW BEST:: SOT 48878 SOS 25284 HAS SOPS 19824 HAS SOUS 7663 HAS SOUPS 7481 WITH SCORE 7506.284
AT ITER 483 NEW BEST:: SOT 48878 SOS 24972 HAS SOPS 19520 HAS SOUS 7647 HAS SOUPS 7465 WITH SCORE 7489.972
AT ITER 488 NEW BEST:: SOT 48876 SOS 24957 HAS SOPS 19516 HAS SOUS 7634 HAS SOUPS 7452 WITH SCORE 7476.957
AT ITER 505 NEW BEST:: SOT 48879 SOS 24951 HAS SOPS 19515 HAS SOUS 7630 HAS SOUPS 7448 WITH SCORE 7472.951
AT ITER 511 NEW BEST:: SOT 48887 SOS 24952 HAS SOPS 19492 HAS SOUS 7607 HAS SOUPS 7425 WITH SCORE 7449.952
AT ITER 521 NEW BEST:: SOT 48900 SOS 24964 HAS SOPS 19504 HAS SOUS 7606 HAS SOUPS 7424 WITH SCORE 7448.964
AT ITER 528 NEW BEST:: SOT 48898 SOS 24960 HAS SOPS 19498 HAS SOUS 7602 HAS SOUPS 7418 WITH SCORE 7442.96
AT ITER 536 NEW BEST:: SOT 48872 SOS 24880 HAS SOPS 19446 HAS SOUS 7584 HAS SOUPS 7400 WITH SCORE 7424.88
AT ITER 543 NEW BEST:: SOT 48865 SOS 24873 HAS SOPS 19432 HAS SOUS 7570 HAS SOUPS 7386 WITH SCORE 7410.873
AT ITER 545 NEW BEST:: SOT 48192 SOS 24179 HAS SOPS 18738 HAS SOUS 7188 HAS SOUPS 7004 WITH SCORE 7028.179
AT ITER 553 NEW BEST:: SOT 48217 SOS 24229 HAS SOPS 18788 HAS SOUS 7186 HAS SOUPS 7002 WITH SCORE 7026.229
AT ITER 555 NEW BEST:: SOT 48209 SOS 24205 HAS SOPS 18764 HAS SOUS 7162 HAS SOUPS 6978 WITH SCORE 7002.205
AT ITER 567 NEW BEST:: SOT 48202 SOS 24172 HAS SOPS 18737 HAS SOUS 7148 HAS SOUPS 6964 WITH SCORE 6988.172
AT ITER 607 NEW BEST:: SOT 48199 SOS 24166 HAS SOPS 18731 HAS SOUS 7148 HAS SOUPS 6964 WITH SCORE 6988.166
AT ITER 608 NEW BEST:: SOT 48133 SOS 24071 HAS SOPS 18722 HAS SOUS 7139 HAS SOUPS 6955 WITH SCORE 6979.071
AT ITER 614 NEW BEST:: SOT 48106 SOS 23993 HAS SOPS 18635 HAS SOUS 7070 HAS SOUPS 6886 WITH SCORE 6909.993
AT ITER 616 NEW BEST:: SOT 48100 SOS 23979 HAS SOPS 18615 HAS SOUS 7050 HAS SOUPS 6866 WITH SCORE 6889.979
AT ITER 617 NEW BEST:: SOT 48090 SOS 24043 HAS SOPS 18636 HAS SOUS 7043 HAS SOUPS 6859 WITH SCORE 6883.043
AT ITER 619 NEW BEST:: SOT 48086 SOS 24031 HAS SOPS 18624 HAS SOUS 7035 HAS SOUPS 6851 WITH SCORE 6875.031
AT ITER 625 NEW BEST:: SOT 47961 SOS 23843 HAS SOPS 18426 HAS SOUS 6961 HAS SOUPS 6777 WITH SCORE 6800.843
AT ITER 634 NEW BEST:: SOT 47721 SOS 23589 HAS SOPS 18376 HAS SOUS 6905 HAS SOUPS 6721 WITH SCORE 6744.589
AT ITER 640 NEW BEST:: SOT 47721 SOS 23563 HAS SOPS 18350 HAS SOUS 6892 HAS SOUPS 6708 WITH SCORE 6731.563
AT ITER 647 NEW BEST:: SOT 47731 SOS 23585 HAS SOPS 18370 HAS SOUS 6888 HAS SOUPS 6704 WITH SCORE 6727.585
AT ITER 648 NEW BEST:: SOT 47699 SOS 23289 HAS SOPS 18078 HAS SOUS 6793 HAS SOUPS 6609 WITH SCORE 6632.289
AT ITER 652 NEW BEST:: SOT 47704 SOS 23278 HAS SOPS 18067 HAS SOUS 6786 HAS SOUPS 6602 WITH SCORE 6625.278
AT ITER 655 NEW BEST:: SOT 47711 SOS 23285 HAS SOPS 18073 HAS SOUS 6784 HAS SOUPS 6600 WITH SCORE 6623.285
AT ITER 657 NEW BEST:: SOT 47703 SOS 23273 HAS SOPS 18057 HAS SOUS 6768 HAS SOUPS 6584 WITH SCORE 6607.273
AT ITER 663 NEW BEST:: SOT 47672 SOS 23211 HAS SOPS 17973 HAS SOUS 6702 HAS SOUPS 6518 WITH SCORE 6541.211
AT ITER 670 NEW BEST:: SOT 47670 SOS 23207 HAS SOPS 17969 HAS SOUS 6700 HAS SOUPS 6516 WITH SCORE 6539.207
AT ITER 674 NEW BEST:: SOT 47654 SOS 23183 HAS SOPS 17937 HAS SOUS 6684 HAS SOUPS 6500 WITH SCORE 6523.183
AT ITER 685 NEW BEST:: SOT 47667 SOS 23182 HAS SOPS 17934 HAS SOUS 6677 HAS SOUPS 6491 WITH SCORE 6514.182
AT ITER 694 NEW BEST:: SOT 47629 SOS 23106 HAS SOPS 17858 HAS SOUS 6629 HAS SOUPS 6443 WITH SCORE 6466.106
AT ITER 701 NEW BEST:: SOT 47756 SOS 23221 HAS SOPS 17800 HAS SOUS 6614 HAS SOUPS 6428 WITH SCORE 6451.221
AT ITER 710 NEW BEST:: SOT 47753 SOS 23218 HAS SOPS 17794 HAS SOUS 6608 HAS SOUPS 6422 WITH SCORE 6445.218
AT ITER 712 NEW BEST:: SOT 47591 SOS 24430 HAS SOPS 17592 HAS SOUS 6506 HAS SOUPS 6310 WITH SCORE 6334.43
AT ITER 730 NEW BEST:: SOT 47585 SOS 24412 HAS SOPS 17574 HAS SOUS 6494 HAS SOUPS 6298 WITH SCORE 6322.412
AT ITER 749 NEW BEST:: SOT 47544 SOS 24394 HAS SOPS 17524 HAS SOUS 6464 HAS SOUPS 6268 WITH SCORE 6292.394
AT ITER 767 NEW BEST:: SOT 47546 SOS 24397 HAS SOPS 17528 HAS SOUS 6459 HAS SOUPS 6263 WITH SCORE 6287.397
AT ITER 781 NEW BEST:: SOT 47535 SOS 24386 HAS SOPS 17520 HAS SOUS 6451 HAS SOUPS 6255 WITH SCORE 6279.386
AT ITER 811 NEW BEST:: SOT 47524 SOS 24367 HAS SOPS 17490 HAS SOUS 6421 HAS SOUPS 6225 WITH SCORE 6249.367
AT ITER 816 NEW BEST:: SOT 47530 SOS 24373 HAS SOPS 17496 HAS SOUS 6419 HAS SOUPS 6223 WITH SCORE 6247.373
AT ITER 830 NEW BEST:: SOT 47495 SOS 24280 HAS SOPS 17403 HAS SOUS 6361 HAS SOUPS 6165 WITH SCORE 6189.28
AT ITER 847 NEW BEST:: SOT 47438 SOS 24187 HAS SOPS 17289 HAS SOUS 6265 HAS SOUPS 6069 WITH SCORE 6093.187
AT ITER 849 NEW BEST:: SOT 47390 SOS 24177 HAS SOPS 17231 HAS SOUS 6207 HAS SOUPS 6011 WITH SCORE 6035.177
AT ITER 874 NEW BEST:: SOT 47381 SOS 24155 HAS SOPS 17180 HAS SOUS 6149 HAS SOUPS 5953 WITH SCORE 5977.155
AT ITER 877 NEW BEST:: SOT 47361 SOS 24108 HAS SOPS 17126 HAS SOUS 6117 HAS SOUPS 5921 WITH SCORE 5945.108
AT ITER 894 NEW BEST:: SOT 47361 SOS 24108 HAS SOPS 17126 HAS SOUS 6114 HAS SOUPS 5918 WITH SCORE 5942.108
AT ITER 899 NEW BEST:: SOT 47360 SOS 24105 HAS SOPS 17124 HAS SOUS 6110 HAS SOUPS 5914 WITH SCORE 5938.105
AT ITER 907 NEW BEST:: SOT 47359 SOS 24150 HAS SOPS 17120 HAS SOUS 6108 HAS SOUPS 5911 WITH SCORE 5935.15
AT ITER 911 NEW BEST:: SOT 47271 SOS 24058 HAS SOPS 17024 HAS SOUS 6052 HAS SOUPS 5855 WITH SCORE 5879.058
AT ITER 930 NEW BEST:: SOT 47240 SOS 24047 HAS SOPS 16962 HAS SOUS 5999 HAS SOUPS 5802 WITH SCORE 5826.047
AT ITER 942 NEW BEST:: SOT 47246 SOS 24045 HAS SOPS 16960 HAS SOUS 5997 HAS SOUPS 5800 WITH SCORE 5824.045
AT ITER 967 NEW BEST:: SOT 47230 SOS 24023 HAS SOPS 16928 HAS SOUS 5977 HAS SOUPS 5780 WITH SCORE 5804.023
AT ITER 981 NEW BEST:: SOT 47230 SOS 24005 HAS SOPS 16912 HAS SOUS 5963 HAS SOUPS 5766 WITH SCORE 5790.005
AT ITER 984 NEW BEST:: SOT 47227 SOS 23986 HAS SOPS 16890 HAS SOUS 5956 HAS SOUPS 5759 WITH SCORE 5782.986
AT ITER 1012 NEW BEST:: SOT 47232 SOS 23991 HAS SOPS 16894 HAS SOUS 5941 HAS SOUPS 5744 WITH SCORE 5767.991
AT ITER 1021 NEW BEST:: SOT 47240 SOS 24005 HAS SOPS 16910 HAS SOUS 5937 HAS SOUPS 5740 WITH SCORE 5764.005
AT ITER 1026 NEW BEST:: SOT 47216 SOS 23981 HAS SOPS 16886 HAS SOUS 5927 HAS SOUPS 5730 WITH SCORE 5753.981
AT ITER 1028 NEW BEST:: SOT 47214 SOS 23978 HAS SOPS 16883 HAS SOUS 5925 HAS SOUPS 5728 WITH SCORE 5751.978
AT ITER 1032 NEW BEST:: SOT 47208 SOS 23965 HAS SOPS 16767 HAS SOUS 5876 HAS SOUPS 5679 WITH SCORE 5702.965
AT ITER 1039 NEW BEST:: SOT 47206 SOS 23958 HAS SOPS 16760 HAS SOUS 5874 HAS SOUPS 5677 WITH SCORE 5700.958
AT ITER 1040 NEW BEST:: SOT 47204 SOS 23954 HAS SOPS 16756 HAS SOUS 5869 HAS SOUPS 5672 WITH SCORE 5695.954
AT ITER 1043 NEW BEST:: SOT 47234 SOS 23935 HAS SOPS 16746 HAS SOUS 5862 HAS SOUPS 5665 WITH SCORE 5688.935
AT ITER 1050 NEW BEST:: SOT 47201 SOS 23902 HAS SOPS 16703 HAS SOUS 5819 HAS SOUPS 5622 WITH SCORE 5645.902
AT ITER 1057 NEW BEST:: SOT 47164 SOS 23883 HAS SOPS 16658 HAS SOUS 5774 HAS SOUPS 5577 WITH SCORE 5600.883
AT ITER 1080 NEW BEST:: SOT 47163 SOS 23867 HAS SOPS 16647 HAS SOUS 5769 HAS SOUPS 5572 WITH SCORE 5595.867
AT ITER 1084 NEW BEST:: SOT 47126 SOS 23831 HAS SOPS 16615 HAS SOUS 5769 HAS SOUPS 5572 WITH SCORE 5595.831
AT ITER 1093 NEW BEST:: SOT 47126 SOS 23829 HAS SOPS 16613 HAS SOUS 5767 HAS SOUPS 5570 WITH SCORE 5593.829
AT ITER 1099 NEW BEST:: SOT 47118 SOS 23813 HAS SOPS 16597 HAS SOUS 5759 HAS SOUPS 5562 WITH SCORE 5585.813
AT ITER 1100 NEW BEST:: SOT 47120 SOS 23781 HAS SOPS 16581 HAS SOUS 5757 HAS SOUPS 5560 WITH SCORE 5583.781
AT ITER 1113 NEW BEST:: SOT 47119 SOS 23779 HAS SOPS 16579 HAS SOUS 5757 HAS SOUPS 5560 WITH SCORE 5583.779
AT ITER 1131 NEW BEST:: SOT 47032 SOS 23695 HAS SOPS 16576 HAS SOUS 5724 HAS SOUPS 5527 WITH SCORE 5550.695
AT ITER 1135 NEW BEST:: SOT 47038 SOS 23714 HAS SOPS 16564 HAS SOUS 5708 HAS SOUPS 5511 WITH SCORE 5534.714
AT ITER 1148 NEW BEST:: SOT 47037 SOS 23711 HAS SOPS 16561 HAS SOUS 5706 HAS SOUPS 5509 WITH SCORE 5532.711
AT ITER 1155 NEW BEST:: SOT 47018 SOS 23673 HAS SOPS 16544 HAS SOUS 5688 HAS SOUPS 5491 WITH SCORE 5514.673
AT ITER 1176 NEW BEST:: SOT 47018 SOS 23649 HAS SOPS 16520 HAS SOUS 5684 HAS SOUPS 5487 WITH SCORE 5510.649
AT ITER 1199 NEW BEST:: SOT 47010 SOS 23627 HAS SOPS 16490 HAS SOUS 5668 HAS SOUPS 5471 WITH SCORE 5494.627
AT ITER 1207 NEW BEST:: SOT 46905 SOS 26841 HAS SOPS 16366 HAS SOUS 5639 HAS SOUPS 5423 WITH SCORE 5449.841
AT ITER 1233 NEW BEST:: SOT 46879 SOS 26823 HAS SOPS 16347 HAS SOUS 5613 HAS SOUPS 5397 WITH SCORE 5423.823
AT ITER 1252 NEW BEST:: SOT 46879 SOS 26809 HAS SOPS 16333 HAS SOUS 5592 HAS SOUPS 5376 WITH SCORE 5402.809
AT ITER 1264 NEW BEST:: SOT 47002 SOS 26722 HAS SOPS 15441 HAS SOUS 5546 HAS SOUPS 5330 WITH SCORE 5356.722
AT ITER 1269 NEW BEST:: SOT 47002 SOS 26722 HAS SOPS 15430 HAS SOUS 5535 HAS SOUPS 5319 WITH SCORE 5345.722
AT ITER 1270 NEW BEST:: SOT 47002 SOS 26722 HAS SOPS 15430 HAS SOUS 5528 HAS SOUPS 5312 WITH SCORE 5338.722
AT ITER 1271 NEW BEST:: SOT 47003 SOS 26719 HAS SOPS 15428 HAS SOUS 5526 HAS SOUPS 5310 WITH SCORE 5336.719
AT ITER 1281 NEW BEST:: SOT 46991 SOS 26709 HAS SOPS 15411 HAS SOUS 5514 HAS SOUPS 5298 WITH SCORE 5324.709
AT ITER 1291 NEW BEST:: SOT 46983 SOS 26683 HAS SOPS 15378 HAS SOUS 5499 HAS SOUPS 5283 WITH SCORE 5309.683
AT ITER 1328 NEW BEST:: SOT 46960 SOS 26659 HAS SOPS 15374 HAS SOUS 5495 HAS SOUPS 5279 WITH SCORE 5305.659
AT ITER 1341 NEW BEST:: SOT 46971 SOS 26651 HAS SOPS 15074 HAS SOUS 5427 HAS SOUPS 5211 WITH SCORE 5237.651
AT ITER 1352 NEW BEST:: SOT 46984 SOS 26605 HAS SOPS 15058 HAS SOUS 5400 HAS SOUPS 5184 WITH SCORE 5210.605
AT ITER 1354 NEW BEST:: SOT 46983 SOS 26602 HAS SOPS 15055 HAS SOUS 5399 HAS SOUPS 5183 WITH SCORE 5209.602
AT ITER 1369 NEW BEST:: SOT 46977 SOS 26586 HAS SOPS 15043 HAS SOUS 5397 HAS SOUPS 5181 WITH SCORE 5207.586
AT ITER 1398 NEW BEST:: SOT 46967 SOS 26590 HAS SOPS 15037 HAS SOUS 5391 HAS SOUPS 5175 WITH SCORE 5201.59
AT ITER 1411 NEW BEST:: SOT 46946 SOS 26561 HAS SOPS 15007 HAS SOUS 5364 HAS SOUPS 5148 WITH SCORE 5174.561
AT ITER 1429 NEW BEST:: SOT 46946 SOS 26532 HAS SOPS 15007 HAS SOUS 5364 HAS SOUPS 5148 WITH SCORE 5174.532
AT ITER 1432 NEW BEST:: SOT 46945 SOS 26546 HAS SOPS 15013 HAS SOUS 5358 HAS SOUPS 5142 WITH SCORE 5168.546
AT ITER 1435 NEW BEST:: SOT 46940 SOS 26533 HAS SOPS 15003 HAS SOUS 5348 HAS SOUPS 5132 WITH SCORE 5158.533
AT ITER 1458 NEW BEST:: SOT 46951 SOS 26470 HAS SOPS 14976 HAS SOUS 5321 HAS SOUPS 5105 WITH SCORE 5131.47
AT ITER 1460 NEW BEST:: SOT 46940 SOS 27536 HAS SOPS 14960 HAS SOUS 5315 HAS SOUPS 5094 WITH SCORE 5121.536
AT ITER 1474 NEW BEST:: SOT 46924 SOS 27514 HAS SOPS 14924 HAS SOUS 5293 HAS SOUPS 5072 WITH SCORE 5099.514
AT ITER 1526 NEW BEST:: SOT 46917 SOS 27507 HAS SOPS 14910 HAS SOUS 5280 HAS SOUPS 5058 WITH SCORE 5085.507
AT ITER 1560 NEW BEST:: SOT 46907 SOS 27497 HAS SOPS 14890 HAS SOUS 5260 HAS SOUPS 5038 WITH SCORE 5065.497
AT ITER 1566 NEW BEST:: SOT 46884 SOS 27451 HAS SOPS 14833 HAS SOUS 5213 HAS SOUPS 4991 WITH SCORE 5018.451
AT ITER 1583 NEW BEST:: SOT 46858 SOS 32001 HAS SOPS 14786 HAS SOUS 5205 HAS SOUPS 4962 WITH SCORE 4994.001
AT ITER 1602 NEW BEST:: SOT 46854 SOS 31993 HAS SOPS 14778 HAS SOUS 5201 HAS SOUPS 4958 WITH SCORE 4989.993
AT ITER 1618 NEW BEST:: SOT 46838 SOS 31976 HAS SOPS 14746 HAS SOUS 5176 HAS SOUPS 4933 WITH SCORE 4964.976
AT ITER 1655 NEW BEST:: SOT 46829 SOS 31973 HAS SOPS 14743 HAS SOUS 5167 HAS SOUPS 4924 WITH SCORE 4955.973
AT ITER 1674 NEW BEST:: SOT 46816 SOS 31941 HAS SOPS 14717 HAS SOUS 5164 HAS SOUPS 4921 WITH SCORE 4952.941
AT ITER 1677 NEW BEST:: SOT 46833 SOS 31954 HAS SOPS 14626 HAS SOUS 5129 HAS SOUPS 4886 WITH SCORE 4917.954
AT ITER 1686 NEW BEST:: SOT 46827 SOS 31936 HAS SOPS 14608 HAS SOUS 5117 HAS SOUPS 4874 WITH SCORE 4905.936
AT ITER 1688 NEW BEST:: SOT 46828 SOS 31934 HAS SOPS 14500 HAS SOUS 5092 HAS SOUPS 4849 WITH SCORE 4880.934
AT ITER 1690 NEW BEST:: SOT 46816 SOS 31914 HAS SOPS 14476 HAS SOUS 5068 HAS SOUPS 4825 WITH SCORE 4856.914
AT ITER 1747 NEW BEST:: SOT 46816 SOS 31903 HAS SOPS 14460 HAS SOUS 5055 HAS SOUPS 4812 WITH SCORE 4843.903
AT ITER 1780 NEW BEST:: SOT 46806 SOS 31901 HAS SOPS 14452 HAS SOUS 5049 HAS SOUPS 4806 WITH SCORE 4837.901
AT ITER 1794 NEW BEST:: SOT 46795 SOS 31895 HAS SOPS 14430 HAS SOUS 5026 HAS SOUPS 4783 WITH SCORE 4814.895
AT ITER 1795 NEW BEST:: SOT 46794 SOS 31897 HAS SOPS 14424 HAS SOUS 5020 HAS SOUPS 4777 WITH SCORE 4808.897
AT ITER 1818 NEW BEST:: SOT 46789 SOS 31909 HAS SOPS 14434 HAS SOUS 5014 HAS SOUPS 4771 WITH SCORE 4802.909
AT ITER 1836 NEW BEST:: SOT 46793 SOS 31912 HAS SOPS 14437 HAS SOUS 5012 HAS SOUPS 4769 WITH SCORE 4800.912
AT ITER 1859 NEW BEST:: SOT 46790 SOS 31896 HAS SOPS 14431 HAS SOUS 5006 HAS SOUPS 4763 WITH SCORE 4794.896
AT ITER 1861 NEW BEST:: SOT 46786 SOS 31891 HAS SOPS 14423 HAS SOUS 5001 HAS SOUPS 4758 WITH SCORE 4789.891
AT ITER 1874 NEW BEST:: SOT 46786 SOS 31889 HAS SOPS 14423 HAS SOUS 5001 HAS SOUPS 4758 WITH SCORE 4789.889
AT ITER 1898 NEW BEST:: SOT 46781 SOS 31876 HAS SOPS 14405 HAS SOUS 4983 HAS SOUPS 4740 WITH SCORE 4771.876
AT ITER 1959 NEW BEST:: SOT 46755 SOS 31876 HAS SOPS 14379 HAS SOUS 4954 HAS SOUPS 4711 WITH SCORE 4742.876
AT ITER 1973 NEW BEST:: SOT 46740 SOS 31885 HAS SOPS 14377 HAS SOUS 4933 HAS SOUPS 4690 WITH SCORE 4721.885
AT ITER 1999 NEW BEST:: SOT 46740 SOS 31885 HAS SOPS 14377 HAS SOUS 4929 HAS SOUPS 4686 WITH SCORE 4717.885
AT ITER 2012 NEW BEST:: SOT 46739 SOS 31882 HAS SOPS 14373 HAS SOUS 4925 HAS SOUPS 4682 WITH SCORE 4713.882
AT ITER 2015 NEW BEST:: SOT 46752 SOS 31879 HAS SOPS 14359 HAS SOUS 4914 HAS SOUPS 4671 WITH SCORE 4702.879
AT ITER 2023 NEW BEST:: SOT 46749 SOS 31883 HAS SOPS 14369 HAS SOUS 4905 HAS SOUPS 4662 WITH SCORE 4693.883
AT ITER 2042 NEW BEST:: SOT 46736 SOS 31804 HAS SOPS 14295 HAS SOUS 4892 HAS SOUPS 4649 WITH SCORE 4680.804
AT ITER 2053 NEW BEST:: SOT 46733 SOS 31798 HAS SOPS 14286 HAS SOUS 4886 HAS SOUPS 4643 WITH SCORE 4674.798
AT ITER 2078 NEW BEST:: SOT 46727 SOS 31887 HAS SOPS 14274 HAS SOUS 4878 HAS SOUPS 4633 WITH SCORE 4664.887
AT ITER 2088 NEW BEST:: SOT 46728 SOS 31884 HAS SOPS 14272 HAS SOUS 4876 HAS SOUPS 4631 WITH SCORE 4662.884
AT ITER 2106 NEW BEST:: SOT 46721 SOS 31870 HAS SOPS 14248 HAS SOUS 4859 HAS SOUPS 4614 WITH SCORE 4645.87
AT ITER 2217 NEW BEST:: SOT 46721 SOS 31869 HAS SOPS 14248 HAS SOUS 4859 HAS SOUPS 4614 WITH SCORE 4645.869
AT ITER 2311 NEW BEST:: SOT 46750 SOS 31899 HAS SOPS 14250 HAS SOUS 4843 HAS SOUPS 4598 WITH SCORE 4629.899
AT ITER 2320 NEW BEST:: SOT 46749 SOS 31897 HAS SOPS 14246 HAS SOUS 4830 HAS SOUPS 4585 WITH SCORE 4616.897
AT ITER 2321 NEW BEST:: SOT 46749 SOS 31890 HAS SOPS 14246 HAS SOUS 4830 HAS SOUPS 4585 WITH SCORE 4616.89
AT ITER 2326 NEW BEST:: SOT 46749 SOS 31890 HAS SOPS 14242 HAS SOUS 4826 HAS SOUPS 4581 WITH SCORE 4612.89
AT ITER 2344 NEW BEST:: SOT 46752 SOS 31893 HAS SOPS 14241 HAS SOUS 4825 HAS SOUPS 4580 WITH SCORE 4611.893
AT ITER 2376 NEW BEST:: SOT 46752 SOS 31891 HAS SOPS 14239 HAS SOUS 4823 HAS SOUPS 4578 WITH SCORE 4609.891
AT ITER 2379 NEW BEST:: SOT 46749 SOS 31888 HAS SOPS 14233 HAS SOUS 4814 HAS SOUPS 4569 WITH SCORE 4600.888
AT ITER 2383 NEW BEST:: SOT 46750 SOS 31890 HAS SOPS 14235 HAS SOUS 4811 HAS SOUPS 4566 WITH SCORE 4597.89
AT ITER 2393 NEW BEST:: SOT 46748 SOS 31883 HAS SOPS 14227 HAS SOUS 4803 HAS SOUPS 4558 WITH SCORE 4589.883
AT ITER 2414 NEW BEST:: SOT 46742 SOS 31872 HAS SOPS 14215 HAS SOUS 4796 HAS SOUPS 4551 WITH SCORE 4582.872
AT ITER 2439 NEW BEST:: SOT 46746 SOS 31872 HAS SOPS 14215 HAS SOUS 4792 HAS SOUPS 4547 WITH SCORE 4578.872
AT ITER 2443 NEW BEST:: SOT 46733 SOS 31863 HAS SOPS 14189 HAS SOUS 4780 HAS SOUPS 4535 WITH SCORE 4566.863
AT ITER 2489 NEW BEST:: SOT 46712 SOS 31843 HAS SOPS 14169 HAS SOUS 4771 HAS SOUPS 4526 WITH SCORE 4557.843
AT ITER 2520 NEW BEST:: SOT 46714 SOS 31836 HAS SOPS 14161 HAS SOUS 4762 HAS SOUPS 4517 WITH SCORE 4548.836
AT ITER 2526 NEW BEST:: SOT 46714 SOS 31835 HAS SOPS 14161 HAS SOUS 4762 HAS SOUPS 4517 WITH SCORE 4548.835
AT ITER 2534 NEW BEST:: SOT 46699 SOS 31785 HAS SOPS 14085 HAS SOUS 4686 HAS SOUPS 4441 WITH SCORE 4472.785
AT ITER 2539 NEW BEST:: SOT 46685 SOS 31788 HAS SOPS 14074 HAS SOUS 4675 HAS SOUPS 4430 WITH SCORE 4461.788
AT ITER 2544 NEW BEST:: SOT 46668 SOS 31754 HAS SOPS 14040 HAS SOUS 4647 HAS SOUPS 4402 WITH SCORE 4433.754
AT ITER 2555 NEW BEST:: SOT 46657 SOS 31944 HAS SOPS 14017 HAS SOUS 4632 HAS SOUPS 4383 WITH SCORE 4414.944
AT ITER 2567 NEW BEST:: SOT 46656 SOS 31951 HAS SOPS 14015 HAS SOUS 4622 HAS SOUPS 4373 WITH SCORE 4404.951
AT ITER 2574 NEW BEST:: SOT 46652 SOS 31941 HAS SOPS 13999 HAS SOUS 4606 HAS SOUPS 4357 WITH SCORE 4388.941
AT ITER 2580 NEW BEST:: SOT 46642 SOS 31943 HAS SOPS 13990 HAS SOUS 4593 HAS SOUPS 4344 WITH SCORE 4375.943
AT ITER 2583 NEW BEST:: SOT 46638 SOS 31954 HAS SOPS 13991 HAS SOUS 4585 HAS SOUPS 4336 WITH SCORE 4367.954
AT ITER 2623 NEW BEST:: SOT 46639 SOS 31960 HAS SOPS 13993 HAS SOUS 4584 HAS SOUPS 4335 WITH SCORE 4366.96
AT ITER 2659 NEW BEST:: SOT 46652 SOS 31950 HAS SOPS 13997 HAS SOUS 4582 HAS SOUPS 4333 WITH SCORE 4364.95
AT ITER 2689 NEW BEST:: SOT 46652 SOS 31946 HAS SOPS 13987 HAS SOUS 4577 HAS SOUPS 4328 WITH SCORE 4359.946
AT ITER 2708 NEW BEST:: SOT 46649 SOS 31936 HAS SOPS 13981 HAS SOUS 4571 HAS SOUPS 4322 WITH SCORE 4353.936
AT ITER 2751 NEW BEST:: SOT 46650 SOS 31932 HAS SOPS 13978 HAS SOUS 4568 HAS SOUPS 4319 WITH SCORE 4350.932
AT ITER 2839 NEW BEST:: SOT 46648 SOS 31929 HAS SOPS 13975 HAS SOUS 4566 HAS SOUPS 4317 WITH SCORE 4348.929
AT ITER 2841 NEW BEST:: SOT 46642 SOS 33450 HAS SOPS 13955 HAS SOUS 4560 HAS SOUPS 4304 WITH SCORE 4337.45
AT ITER 2844 NEW BEST:: SOT 46641 SOS 33449 HAS SOPS 13953 HAS SOUS 4559 HAS SOUPS 4303 WITH SCORE 4336.449
AT ITER 2863 NEW BEST:: SOT 46625 SOS 33420 HAS SOPS 13921 HAS SOUS 4537 HAS SOUPS 4281 WITH SCORE 4314.42
AT ITER 2890 NEW BEST:: SOT 46621 SOS 36959 HAS SOPS 13899 HAS SOUS 4543 HAS SOUPS 4271 WITH SCORE 4307.959
AT ITER 2912 NEW BEST:: SOT 46618 SOS 36955 HAS SOPS 13895 HAS SOUS 4540 HAS SOUPS 4268 WITH SCORE 4304.955
AT ITER 2917 NEW BEST:: SOT 46612 SOS 36943 HAS SOPS 13883 HAS SOUS 4534 HAS SOUPS 4262 WITH SCORE 4298.943
AT ITER 2919 NEW BEST:: SOT 46608 SOS 36936 HAS SOPS 13875 HAS SOUS 4527 HAS SOUPS 4255 WITH SCORE 4291.936
AT ITER 2941 NEW BEST:: SOT 46604 SOS 36913 HAS SOPS 13867 HAS SOUS 4526 HAS SOUPS 4254 WITH SCORE 4290.913
AT ITER 2945 NEW BEST:: SOT 46599 SOS 36903 HAS SOPS 13857 HAS SOUS 4519 HAS SOUPS 4247 WITH SCORE 4283.903
AT ITER 2949 NEW BEST:: SOT 46598 SOS 36894 HAS SOPS 13840 HAS SOUS 4502 HAS SOUPS 4230 WITH SCORE 4266.894
AT ITER 3014 NEW BEST:: SOT 46587 SOS 36880 HAS SOPS 13826 HAS SOUS 4488 HAS SOUPS 4216 WITH SCORE 4252.88
AT ITER 3020 NEW BEST:: SOT 46587 SOS 36889 HAS SOPS 13826 HAS SOUS 4482 HAS SOUPS 4210 WITH SCORE 4246.889
AT ITER 3022 NEW BEST:: SOT 46578 SOS 36872 HAS SOPS 13807 HAS SOUS 4469 HAS SOUPS 4197 WITH SCORE 4233.872
AT ITER 3025 NEW BEST:: SOT 46574 SOS 36870 HAS SOPS 13803 HAS SOUS 4467 HAS SOUPS 4195 WITH SCORE 4231.87
AT ITER 3107 NEW BEST:: SOT 46574 SOS 36874 HAS SOPS 13803 HAS SOUS 4463 HAS SOUPS 4191 WITH SCORE 4227.874
AT ITER 3121 NEW BEST:: SOT 46576 SOS 36877 HAS SOPS 13789 HAS SOUS 4452 HAS SOUPS 4180 WITH SCORE 4216.877
AT ITER 3129 NEW BEST:: SOT 46575 SOS 36876 HAS SOPS 13787 HAS SOUS 4450 HAS SOUPS 4178 WITH SCORE 4214.876
AT ITER 3142 NEW BEST:: SOT 46575 SOS 36876 HAS SOPS 13787 HAS SOUS 4449 HAS SOUPS 4177 WITH SCORE 4213.876
AT ITER 3158 NEW BEST:: SOT 46573 SOS 36871 HAS SOPS 13783 HAS SOUS 4442 HAS SOUPS 4170 WITH SCORE 4206.871
AT ITER 3168 NEW BEST:: SOT 46569 SOS 36863 HAS SOPS 13771 HAS SOUS 4434 HAS SOUPS 4162 WITH SCORE 4198.863
AT ITER 3169 NEW BEST:: SOT 46568 SOS 36862 HAS SOPS 13769 HAS SOUS 4432 HAS SOUPS 4160 WITH SCORE 4196.862
AT ITER 3172 NEW BEST:: SOT 46432 SOS 36724 HAS SOPS 13645 HAS SOUS 4394 HAS SOUPS 4122 WITH SCORE 4158.724
AT ITER 3192 NEW BEST:: SOT 46426 SOS 36712 HAS SOPS 13623 HAS SOUS 4373 HAS SOUPS 4101 WITH SCORE 4137.712
AT ITER 3209 NEW BEST:: SOT 46421 SOS 36705 HAS SOPS 13613 HAS SOUS 4363 HAS SOUPS 4091 WITH SCORE 4127.705
AT ITER 3328 NEW BEST:: SOT 46422 SOS 36702 HAS SOPS 13610 HAS SOUS 4360 HAS SOUPS 4088 WITH SCORE 4124.702
AT ITER 3336 NEW BEST:: SOT 46422 SOS 36702 HAS SOPS 13610 HAS SOUS 4356 HAS SOUPS 4084 WITH SCORE 4120.702
AT ITER 3364 NEW BEST:: SOT 46390 SOS 36671 HAS SOPS 13579 HAS SOUS 4341 HAS SOUPS 4069 WITH SCORE 4105.671
AT ITER 3378 NEW BEST:: SOT 46384 SOS 36648 HAS SOPS 13558 HAS SOUS 4327 HAS SOUPS 4055 WITH SCORE 4091.648
AT ITER 3381 NEW BEST:: SOT 46387 SOS 36651 HAS SOPS 13560 HAS SOUS 4325 HAS SOUPS 4053 WITH SCORE 4089.651
AT ITER 3394 NEW BEST:: SOT 46399 SOS 36663 HAS SOPS 13556 HAS SOUS 4321 HAS SOUPS 4049 WITH SCORE 4085.663
AT ITER 3404 NEW BEST:: SOT 46398 SOS 36648 HAS SOPS 13540 HAS SOUS 4305 HAS SOUPS 4033 WITH SCORE 4069.648
AT ITER 3439 NEW BEST:: SOT 46400 SOS 36657 HAS SOPS 13544 HAS SOUS 4295 HAS SOUPS 4023 WITH SCORE 4059.657
AT ITER 3478 NEW BEST:: SOT 46397 SOS 36654 HAS SOPS 13538 HAS SOUS 4288 HAS SOUPS 4016 WITH SCORE 4052.654
AT ITER 3487 NEW BEST:: SOT 46396 SOS 36653 HAS SOPS 13537 HAS SOUS 4287 HAS SOUPS 4015 WITH SCORE 4051.653
AT ITER 3708 NEW BEST:: SOT 46388 SOS 36633 HAS SOPS 13521 HAS SOUS 4273 HAS SOUPS 4001 WITH SCORE 4037.633
AT ITER 3801 NEW BEST:: SOT 46386 SOS 36627 HAS SOPS 13515 HAS SOUS 4269 HAS SOUPS 3997 WITH SCORE 4033.627
AT ITER 3809 NEW BEST:: SOT 46384 SOS 36623 HAS SOPS 13511 HAS SOUS 4269 HAS SOUPS 3997 WITH SCORE 4033.623
AT ITER 3822 NEW BEST:: SOT 46380 SOS 34974 HAS SOPS 13507 HAS SOUS 4253 HAS SOUPS 3981 WITH SCORE 4015.974
AT ITER 3879 NEW BEST:: SOT 46377 SOS 34988 HAS SOPS 13501 HAS SOUS 4247 HAS SOUPS 3975 WITH SCORE 4009.988
AT ITER 3884 NEW BEST:: SOT 46369 SOS 34981 HAS SOPS 13490 HAS SOUS 4236 HAS SOUPS 3964 WITH SCORE 3998.981
AT ITER 3915 NEW BEST:: SOT 46365 SOS 34977 HAS SOPS 13486 HAS SOUS 4236 HAS SOUPS 3964 WITH SCORE 3998.977
AT ITER 4000 NEW BEST:: SOT 46365 SOS 34957 HAS SOPS 13476 HAS SOUS 4236 HAS SOUPS 3964 WITH SCORE 3998.957
AT ITER 4012 NEW BEST:: SOT 46362 SOS 35620 HAS SOPS 13467 HAS SOUS 4230 HAS SOUPS 3955 WITH SCORE 3990.62
AT ITER 4013 NEW BEST:: SOT 46346 SOS 35604 HAS SOPS 13442 HAS SOUS 4212 HAS SOUPS 3937 WITH SCORE 3972.604
AT ITER 4018 NEW BEST:: SOT 46380 SOS 35638 HAS SOPS 13470 HAS SOUS 4209 HAS SOUPS 3934 WITH SCORE 3969.638
AT ITER 4026 NEW BEST:: SOT 46374 SOS 35627 HAS SOPS 13458 HAS SOUS 4202 HAS SOUPS 3927 WITH SCORE 3962.627
AT ITER 4061 NEW BEST:: SOT 46369 SOS 35627 HAS SOPS 13453 HAS SOUS 4197 HAS SOUPS 3922 WITH SCORE 3957.627
AT ITER 4063 NEW BEST:: SOT 46367 SOS 35621 HAS SOPS 13449 HAS SOUS 4195 HAS SOUPS 3920 WITH SCORE 3955.621
AT ITER 4104 NEW BEST:: SOT 46365 SOS 35618 HAS SOPS 13445 HAS SOUS 4185 HAS SOUPS 3910 WITH SCORE 3945.618
AT ITER 4134 NEW BEST:: SOT 46365 SOS 35608 HAS SOPS 13440 HAS SOUS 4185 HAS SOUPS 3910 WITH SCORE 3945.608
AT ITER 4197 NEW BEST:: SOT 46362 SOS 35602 HAS SOPS 13437 HAS SOUS 4185 HAS SOUPS 3910 WITH SCORE 3945.602
AT ITER 4199 NEW BEST:: SOT 46359 SOS 35598 HAS SOPS 13431 HAS SOUS 4180 HAS SOUPS 3905 WITH SCORE 3940.598
AT ITER 4203 NEW BEST:: SOT 46359 SOS 35594 HAS SOPS 13427 HAS SOUS 4176 HAS SOUPS 3901 WITH SCORE 3936.594
AT ITER 4217 NEW BEST:: SOT 46359 SOS 35592 HAS SOPS 13425 HAS SOUS 4174 HAS SOUPS 3899 WITH SCORE 3934.592
AT ITER 4303 NEW BEST:: SOT 46357 SOS 35590 HAS SOPS 13421 HAS SOUS 4170 HAS SOUPS 3895 WITH SCORE 3930.59
AT ITER 4319 NEW BEST:: SOT 46356 SOS 35577 HAS SOPS 13410 HAS SOUS 4164 HAS SOUPS 3889 WITH SCORE 3924.577
AT ITER 4400 NEW BEST:: SOT 46355 SOS 35574 HAS SOPS 13408 HAS SOUS 4163 HAS SOUPS 3888 WITH SCORE 3923.574
AT ITER 4410 NEW BEST:: SOT 46358 SOS 35570 HAS SOPS 13407 HAS SOUS 4162 HAS SOUPS 3887 WITH SCORE 3922.57
AT ITER 4462 NEW BEST:: SOT 46356 SOS 35564 HAS SOPS 13403 HAS SOUS 4162 HAS SOUPS 3887 WITH SCORE 3922.564
AT ITER 4529 NEW BEST:: SOT 46356 SOS 35562 HAS SOPS 13403 HAS SOUS 4162 HAS SOUPS 3887 WITH SCORE 3922.562
AT ITER 4548 NEW BEST:: SOT 46356 SOS 35562 HAS SOPS 13395 HAS SOUS 4154 HAS SOUPS 3879 WITH SCORE 3914.562
AT ITER 4549 NEW BEST:: SOT 46353 SOS 35559 HAS SOPS 13392 HAS SOUS 4151 HAS SOUPS 3876 WITH SCORE 3911.559
AT ITER 4561 NEW BEST:: SOT 46343 SOS 35549 HAS SOPS 13372 HAS SOUS 4131 HAS SOUPS 3856 WITH SCORE 3891.549
AT ITER 4581 NEW BEST:: SOT 46344 SOS 35545 HAS SOPS 13369 HAS SOUS 4128 HAS SOUPS 3853 WITH SCORE 3888.545
AT ITER 4664 NEW BEST:: SOT 46347 SOS 35536 HAS SOPS 13363 HAS SOUS 4122 HAS SOUPS 3847 WITH SCORE 3882.536
AT ITER 4677 NEW BEST:: SOT 46347 SOS 35528 HAS SOPS 13359 HAS SOUS 4118 HAS SOUPS 3843 WITH SCORE 3878.528
AT ITER 4697 NEW BEST:: SOT 46346 SOS 35537 HAS SOPS 13362 HAS SOUS 4116 HAS SOUPS 3841 WITH SCORE 3876.537
AT ITER 4715 NEW BEST:: SOT 46345 SOS 35535 HAS SOPS 13360 HAS SOUS 4114 HAS SOUPS 3839 WITH SCORE 3874.535
AT ITER 4747 NEW BEST:: SOT 46344 SOS 35534 HAS SOPS 13359 HAS SOUS 4114 HAS SOUPS 3839 WITH SCORE 3874.534
AT ITER 4748 NEW BEST:: SOT 46344 SOS 35527 HAS SOPS 13359 HAS SOUS 4114 HAS SOUPS 3839 WITH SCORE 3874.527
AT ITER 4768 NEW BEST:: SOT 46344 SOS 35527 HAS SOPS 13352 HAS SOUS 4107 HAS SOUPS 3832 WITH SCORE 3867.527
AT ITER 5041 NEW BEST:: SOT 46344 SOS 35526 HAS SOPS 13351 HAS SOUS 4106 HAS SOUPS 3831 WITH SCORE 3866.526
AT ITER 5404 NEW BEST:: SOT 46341 SOS 35526 HAS SOPS 13349 HAS SOUS 4105 HAS SOUPS 3830 WITH SCORE 3865.526
AT ITER 5527 NEW BEST:: SOT 46337 SOS 35522 HAS SOPS 13341 HAS SOUS 4097 HAS SOUPS 3822 WITH SCORE 3857.522
AT ITER 5529 NEW BEST:: SOT 46335 SOS 35519 HAS SOPS 13337 HAS SOUS 4094 HAS SOUPS 3819 WITH SCORE 3854.519
AT ITER 5568 NEW BEST:: SOT 46334 SOS 35517 HAS SOPS 13335 HAS SOUS 4093 HAS SOUPS 3818 WITH SCORE 3853.517
AT ITER 5588 NEW BEST:: SOT 46329 SOS 35526 HAS SOPS 13325 HAS SOUS 4077 HAS SOUPS 3802 WITH SCORE 3837.526
AT ITER 5594 NEW BEST:: SOT 46325 SOS 35526 HAS SOPS 13317 HAS SOUS 4069 HAS SOUPS 3794 WITH SCORE 3829.526
AT ITER 5600 NEW BEST:: SOT 46323 SOS 35522 HAS SOPS 13313 HAS SOUS 4065 HAS SOUPS 3790 WITH SCORE 3825.522
AT ITER 5753 NEW BEST:: SOT 46311 SOS 35510 HAS SOPS 13298 HAS SOUS 4055 HAS SOUPS 3780 WITH SCORE 3815.51
AT ITER 5824 NEW BEST:: SOT 46300 SOS 35493 HAS SOPS 13276 HAS SOUS 4033 HAS SOUPS 3758 WITH SCORE 3793.493
AT ITER 5908 NEW BEST:: SOT 46298 SOS 35472 HAS SOPS 13272 HAS SOUS 4029 HAS SOUPS 3754 WITH SCORE 3789.472
AT ITER 5929 NEW BEST:: SOT 46293 SOS 35467 HAS SOPS 13268 HAS SOUS 4026 HAS SOUPS 3751 WITH SCORE 3786.467
AT ITER 5967 NEW BEST:: SOT 46292 SOS 35463 HAS SOPS 13266 HAS SOUS 4024 HAS SOUPS 3749 WITH SCORE 3784.463
AT ITER 6129 NEW BEST:: SOT 46290 SOS 35459 HAS SOPS 13262 HAS SOUS 4020 HAS SOUPS 3745 WITH SCORE 3780.459
AT ITER 6285 NEW BEST:: SOT 46289 SOS 35459 HAS SOPS 13261 HAS SOUS 4019 HAS SOUPS 3744 WITH SCORE 3779.459
AT ITER 6322 NEW BEST:: SOT 46283 SOS 35448 HAS SOPS 13249 HAS SOUS 4018 HAS SOUPS 3743 WITH SCORE 3778.448
AT ITER 6357 NEW BEST:: SOT 46261 SOS 35433 HAS SOPS 13233 HAS SOUS 4012 HAS SOUPS 3737 WITH SCORE 3772.433
AT ITER 6377 NEW BEST:: SOT 46247 SOS 35412 HAS SOPS 13214 HAS SOUS 4000 HAS SOUPS 3725 WITH SCORE 3760.412
AT ITER 6390 NEW BEST:: SOT 46245 SOS 35408 HAS SOPS 13210 HAS SOUS 3996 HAS SOUPS 3721 WITH SCORE 3756.408
AT ITER 6480 NEW BEST:: SOT 46244 SOS 35408 HAS SOPS 13209 HAS SOUS 3995 HAS SOUPS 3720 WITH SCORE 3755.408
AT ITER 6485 NEW BEST:: SOT 46245 SOS 35410 HAS SOPS 13207 HAS SOUS 3993 HAS SOUPS 3718 WITH SCORE 3753.41
AT ITER 6556 NEW BEST:: SOT 46250 SOS 35407 HAS SOPS 13210 HAS SOUS 3991 HAS SOUPS 3716 WITH SCORE 3751.407
AT ITER 6622 NEW BEST:: SOT 46250 SOS 35409 HAS SOPS 13210 HAS SOUS 3989 HAS SOUPS 3714 WITH SCORE 3749.409
AT ITER 6638 NEW BEST:: SOT 46223 SOS 35381 HAS SOPS 13198 HAS SOUS 3985 HAS SOUPS 3710 WITH SCORE 3745.381
AT ITER 6643 NEW BEST:: SOT 46216 SOS 35366 HAS SOPS 13184 HAS SOUS 3976 HAS SOUPS 3701 WITH SCORE 3736.366
AT ITER 6784 NEW BEST:: SOT 46217 SOS 35371 HAS SOPS 13186 HAS SOUS 3974 HAS SOUPS 3699 WITH SCORE 3734.371
AT ITER 6829 NEW BEST:: SOT 46206 SOS 35363 HAS SOPS 13174 HAS SOUS 3961 HAS SOUPS 3686 WITH SCORE 3721.363
AT ITER 6855 NEW BEST:: SOT 46206 SOS 35274 HAS SOPS 13085 HAS SOUS 3958 HAS SOUPS 3683 WITH SCORE 3718.274
AT ITER 6880 NEW BEST:: SOT 46205 SOS 35272 HAS SOPS 13081 HAS SOUS 3954 HAS SOUPS 3679 WITH SCORE 3714.272
AT ITER 6945 NEW BEST:: SOT 46205 SOS 35266 HAS SOPS 13081 HAS SOUS 3954 HAS SOUPS 3679 WITH SCORE 3714.266
AT ITER 6968 NEW BEST:: SOT 46206 SOS 35270 HAS SOPS 13083 HAS SOUS 3953 HAS SOUPS 3678 WITH SCORE 3713.27
AT ITER 6979 NEW BEST:: SOT 46206 SOS 35269 HAS SOPS 13082 HAS SOUS 3953 HAS SOUPS 3678 WITH SCORE 3713.269
AT ITER 6982 NEW BEST:: SOT 46206 SOS 35226 HAS SOPS 13040 HAS SOUS 3953 HAS SOUPS 3678 WITH SCORE 3713.226
AT ITER 7065 NEW BEST:: SOT 46200 SOS 35220 HAS SOPS 13028 HAS SOUS 3941 HAS SOUPS 3666 WITH SCORE 3701.22
AT ITER 7072 NEW BEST:: SOT 46195 SOS 35209 HAS SOPS 13018 HAS SOUS 3935 HAS SOUPS 3660 WITH SCORE 3695.209
AT ITER 7215 NEW BEST:: SOT 46195 SOS 35216 HAS SOPS 13018 HAS SOUS 3931 HAS SOUPS 3656 WITH SCORE 3691.216
AT ITER 7217 NEW BEST:: SOT 46193 SOS 35213 HAS SOPS 13014 HAS SOUS 3928 HAS SOUPS 3653 WITH SCORE 3688.213
AT ITER 7518 NEW BEST:: SOT 46191 SOS 35224 HAS SOPS 13026 HAS SOUS 3927 HAS SOUPS 3652 WITH SCORE 3687.224
AT ITER 7561 NEW BEST:: SOT 46190 SOS 35223 HAS SOPS 13024 HAS SOUS 3925 HAS SOUPS 3650 WITH SCORE 3685.223
AT ITER 7607 NEW BEST:: SOT 46186 SOS 35219 HAS SOPS 13020 HAS SOUS 3923 HAS SOUPS 3648 WITH SCORE 3683.219
AT ITER 7876 NEW BEST:: SOT 46179 SOS 35207 HAS SOPS 13014 HAS SOUS 3917 HAS SOUPS 3642 WITH SCORE 3677.207
AT ITER 8036 NEW BEST:: SOT 46179 SOS 35127 HAS SOPS 12934 HAS SOUS 3917 HAS SOUPS 3642 WITH SCORE 3677.127
AT ITER 8075 NEW BEST:: SOT 46189 SOS 35138 HAS SOPS 12885 HAS SOUS 3909 HAS SOUPS 3634 WITH SCORE 3669.138
AT ITER 8087 NEW BEST:: SOT 46150 SOS 35107 HAS SOPS 12855 HAS SOUS 3900 HAS SOUPS 3626 WITH SCORE 3661.107
AT ITER 8149 NEW BEST:: SOT 46151 SOS 35104 HAS SOPS 12854 HAS SOUS 3900 HAS SOUPS 3626 WITH SCORE 3661.104
AT ITER 8200 NEW BEST:: SOT 46134 SOS 35095 HAS SOPS 12835 HAS SOUS 3885 HAS SOUPS 3611 WITH SCORE 3646.095
AT ITER 8232 NEW BEST:: SOT 46129 SOS 35092 HAS SOPS 12829 HAS SOUS 3879 HAS SOUPS 3605 WITH SCORE 3640.092
AT ITER 8279 NEW BEST:: SOT 46128 SOS 35087 HAS SOPS 12824 HAS SOUS 3872 HAS SOUPS 3598 WITH SCORE 3633.087
AT ITER 8376 NEW BEST:: SOT 46127 SOS 35086 HAS SOPS 12822 HAS SOUS 3870 HAS SOUPS 3596 WITH SCORE 3631.086
AT ITER 8414 NEW BEST:: SOT 46130 SOS 35090 HAS SOPS 12820 HAS SOUS 3871 HAS SOUPS 3594 WITH SCORE 3629.09
AT ITER 8431 NEW BEST:: SOT 46130 SOS 35093 HAS SOPS 12820 HAS SOUS 3868 HAS SOUPS 3591 WITH SCORE 3626.093
AT ITER 8435 NEW BEST:: SOT 46129 SOS 35091 HAS SOPS 12818 HAS SOUS 3867 HAS SOUPS 3590 WITH SCORE 3625.091
AT ITER 8471 NEW BEST:: SOT 46129 SOS 35082 HAS SOPS 12818 HAS SOUS 3867 HAS SOUPS 3590 WITH SCORE 3625.082
AT ITER 8483 NEW BEST:: SOT 46128 SOS 35081 HAS SOPS 12816 HAS SOUS 3866 HAS SOUPS 3589 WITH SCORE 3624.081
AT ITER 8501 NEW BEST:: SOT 46128 SOS 35082 HAS SOPS 12816 HAS SOUS 3865 HAS SOUPS 3588 WITH SCORE 3623.082
AT ITER 8556 NEW BEST:: SOT 46118 SOS 35067 HAS SOPS 12796 HAS SOUS 3850 HAS SOUPS 3573 WITH SCORE 3608.067
AT ITER 8696 NEW BEST:: SOT 46122 SOS 35060 HAS SOPS 12790 HAS SOUS 3844 HAS SOUPS 3567 WITH SCORE 3602.06
AT ITER 8897 NEW BEST:: SOT 46121 SOS 35059 HAS SOPS 12788 HAS SOUS 3842 HAS SOUPS 3565 WITH SCORE 3600.059
AT ITER 8962 NEW BEST:: SOT 46120 SOS 35054 HAS SOPS 12786 HAS SOUS 3840 HAS SOUPS 3563 WITH SCORE 3598.054
AT ITER 9338 NEW BEST:: SOT 46112 SOS 35055 HAS SOPS 12779 HAS SOUS 3833 HAS SOUPS 3556 WITH SCORE 3591.055
AT ITER 9395 NEW BEST:: SOT 46111 SOS 35054 HAS SOPS 12778 HAS SOUS 3832 HAS SOUPS 3555 WITH SCORE 3590.054
AT ITER 9403 NEW BEST:: SOT 46111 SOS 35052 HAS SOPS 12778 HAS SOUS 3832 HAS SOUPS 3555 WITH SCORE 3590.052
AT ITER 9413 NEW BEST:: SOT 46110 SOS 35050 HAS SOPS 12775 HAS SOUS 3829 HAS SOUPS 3552 WITH SCORE 3587.05
AT ITER 9616 NEW BEST:: SOT 46109 SOS 35050 HAS SOPS 12774 HAS SOUS 3828 HAS SOUPS 3551 WITH SCORE 3586.05
AT ITER 9793 NEW BEST:: SOT 46109 SOS 35049 HAS SOPS 12774 HAS SOUS 3828 HAS SOUPS 3551 WITH SCORE 3586.049
AT ITER 9841 NEW BEST:: SOT 46103 SOS 35041 HAS SOPS 12769 HAS SOUS 3821 HAS SOUPS 3544 WITH SCORE 3579.041
AT ITER 9888 NEW BEST:: SOT 46103 SOS 35034 HAS SOPS 12769 HAS SOUS 3821 HAS SOUPS 3544 WITH SCORE 3579.034
STATE_SPACE STATES 8916100448257 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 14 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 167300718133249 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679477934692

--------------------
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="FlexibleBarrier-PT-12a"
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 FlexibleBarrier-PT-12a, 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 r171-tall-167838858700512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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