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.r107-tall-167814483700056.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 CloudReconfiguration-PT-307, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814483700056
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 8.3K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 141K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 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 660K 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 1678318329137

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=CloudReconfiguration-PT-307
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-08 23:32:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-08 23:32:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 23:32:10] [INFO ] Load time of PNML (sax parser for PT used): 232 ms
[2023-03-08 23:32:10] [INFO ] Transformed 2584 places.
[2023-03-08 23:32:10] [INFO ] Transformed 3094 transitions.
[2023-03-08 23:32:10] [INFO ] Found NUPN structural information;
[2023-03-08 23:32:10] [INFO ] Parsed PT model containing 2584 places and 3094 transitions and 6459 arcs in 349 ms.
[2023-03-08 23:32:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2584 places, 3094 transitions and 6459 arcs took 26 ms.
Total runtime 404 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 307
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: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4440554 SOS 758790 HAS SOPS 758790 HAS SOUS 699817 HAS SOUPS 699817 WITH SCORE 700575.79
AT ITER 4 NEW BEST:: SOT 4439957 SOS 757994 HAS SOPS 757994 HAS SOUS 699021 HAS SOUPS 699021 WITH SCORE 699778.994
AT ITER 11 NEW BEST:: SOT 4439957 SOS 757845 HAS SOPS 757845 HAS SOUS 698872 HAS SOUPS 698872 WITH SCORE 699629.845
AT ITER 43 NEW BEST:: SOT 4439895 SOS 757787 HAS SOPS 757787 HAS SOUS 698814 HAS SOUPS 698814 WITH SCORE 699571.787
AT ITER 76 NEW BEST:: SOT 4439894 SOS 757785 HAS SOPS 757785 HAS SOUS 698812 HAS SOUPS 698812 WITH SCORE 699569.785
AT ITER 89 NEW BEST:: SOT 4433238 SOS 803193 HAS SOPS 803193 HAS SOUS 694383 HAS SOUPS 694383 WITH SCORE 695186.193
AT ITER 102 NEW BEST:: SOT 4433148 SOS 803111 HAS SOPS 803111 HAS SOUS 694301 HAS SOUPS 694301 WITH SCORE 695104.111
AT ITER 110 NEW BEST:: SOT 4432948 SOS 803187 HAS SOPS 803187 HAS SOUS 694101 HAS SOUPS 694101 WITH SCORE 694904.187
AT ITER 132 NEW BEST:: SOT 4432733 SOS 802972 HAS SOPS 802972 HAS SOUS 694100 HAS SOUPS 694100 WITH SCORE 694902.972
AT ITER 167 NEW BEST:: SOT 4431829 SOS 802282 HAS SOPS 802282 HAS SOUS 693248 HAS SOUPS 693248 WITH SCORE 694050.282
AT ITER 172 NEW BEST:: SOT 4431799 SOS 802252 HAS SOPS 802252 HAS SOUS 693218 HAS SOUPS 693218 WITH SCORE 694020.252
AT ITER 182 NEW BEST:: SOT 4431798 SOS 802250 HAS SOPS 802250 HAS SOUS 693216 HAS SOUPS 693216 WITH SCORE 694018.25
AT ITER 203 NEW BEST:: SOT 4431798 SOS 802223 HAS SOPS 802223 HAS SOUS 693216 HAS SOUPS 693216 WITH SCORE 694018.223
AT ITER 213 NEW BEST:: SOT 4431726 SOS 802151 HAS SOPS 802151 HAS SOUS 693144 HAS SOUPS 693144 WITH SCORE 693946.151
AT ITER 214 NEW BEST:: SOT 4431513 SOS 802005 HAS SOPS 802005 HAS SOUS 692931 HAS SOUPS 692931 WITH SCORE 693733.005
AT ITER 246 NEW BEST:: SOT 4431286 SOS 801551 HAS SOPS 801551 HAS SOUS 692477 HAS SOUPS 692477 WITH SCORE 693278.551
AT ITER 252 NEW BEST:: SOT 4431148 SOS 801466 HAS SOPS 801466 HAS SOUS 692392 HAS SOUPS 692392 WITH SCORE 693193.466
AT ITER 276 NEW BEST:: SOT 4431008 SOS 801186 HAS SOPS 801186 HAS SOUS 692018 HAS SOUPS 692018 WITH SCORE 692819.186
AT ITER 286 NEW BEST:: SOT 4430710 SOS 800590 HAS SOPS 800590 HAS SOUS 691422 HAS SOUPS 691422 WITH SCORE 692222.59
AT ITER 289 NEW BEST:: SOT 4430548 SOS 800266 HAS SOPS 800266 HAS SOUS 691098 HAS SOUPS 691098 WITH SCORE 691898.266
AT ITER 297 NEW BEST:: SOT 4430506 SOS 800182 HAS SOPS 800182 HAS SOUS 691097 HAS SOUPS 691097 WITH SCORE 691897.182
AT ITER 314 NEW BEST:: SOT 4430295 SOS 800005 HAS SOPS 800005 HAS SOUS 690920 HAS SOUPS 690920 WITH SCORE 691720.005
AT ITER 322 NEW BEST:: SOT 4430072 SOS 799823 HAS SOPS 799823 HAS SOUS 690724 HAS SOUPS 690724 WITH SCORE 691523.823
AT ITER 331 NEW BEST:: SOT 4430072 SOS 799732 HAS SOPS 799732 HAS SOUS 690632 HAS SOUPS 690632 WITH SCORE 691431.732
AT ITER 332 NEW BEST:: SOT 4429954 SOS 799496 HAS SOPS 799496 HAS SOUS 690396 HAS SOUPS 690396 WITH SCORE 691195.496
AT ITER 333 NEW BEST:: SOT 4429999 SOS 799586 HAS SOPS 799586 HAS SOUS 690305 HAS SOUPS 690305 WITH SCORE 691104.586
AT ITER 367 NEW BEST:: SOT 4420788 SOS 807891 HAS SOPS 807891 HAS SOUS 682217 HAS SOUPS 682217 WITH SCORE 683024.891
AT ITER 381 NEW BEST:: SOT 4420788 SOS 807840 HAS SOPS 807840 HAS SOUS 682166 HAS SOUPS 682166 WITH SCORE 682973.84
AT ITER 386 NEW BEST:: SOT 4420571 SOS 807406 HAS SOPS 807406 HAS SOUS 681949 HAS SOUPS 681949 WITH SCORE 682756.406
AT ITER 433 NEW BEST:: SOT 4420571 SOS 807256 HAS SOPS 807256 HAS SOUS 681949 HAS SOUPS 681949 WITH SCORE 682756.256
AT ITER 436 NEW BEST:: SOT 4420571 SOS 806946 HAS SOPS 806946 HAS SOUS 681948 HAS SOUPS 681948 WITH SCORE 682754.946
AT ITER 454 NEW BEST:: SOT 4420571 SOS 806619 HAS SOPS 806619 HAS SOUS 681947 HAS SOUPS 681947 WITH SCORE 682753.619
AT ITER 492 NEW BEST:: SOT 4420521 SOS 806569 HAS SOPS 806569 HAS SOUS 681847 HAS SOUPS 681847 WITH SCORE 682653.569
AT ITER 494 NEW BEST:: SOT 4420426 SOS 806379 HAS SOPS 806379 HAS SOUS 681657 HAS SOUPS 681657 WITH SCORE 682463.379
AT ITER 497 NEW BEST:: SOT 4420426 SOS 806379 HAS SOPS 806379 HAS SOUS 681574 HAS SOUPS 681574 WITH SCORE 682380.379
AT ITER 517 NEW BEST:: SOT 4420425 SOS 806377 HAS SOPS 806377 HAS SOUS 681572 HAS SOUPS 681572 WITH SCORE 682378.377
AT ITER 521 NEW BEST:: SOT 4420627 SOS 806344 HAS SOPS 806344 HAS SOUS 681349 HAS SOUPS 681349 WITH SCORE 682155.344
AT ITER 557 NEW BEST:: SOT 4420532 SOS 806249 HAS SOPS 806249 HAS SOUS 681254 HAS SOUPS 681254 WITH SCORE 682060.249
AT ITER 563 NEW BEST:: SOT 4420532 SOS 806172 HAS SOPS 806172 HAS SOUS 681254 HAS SOUPS 681254 WITH SCORE 682060.172
AT ITER 601 NEW BEST:: SOT 4420465 SOS 806038 HAS SOPS 806038 HAS SOUS 681187 HAS SOUPS 681187 WITH SCORE 681993.038
AT ITER 603 NEW BEST:: SOT 4420465 SOS 805972 HAS SOPS 805972 HAS SOUS 681121 HAS SOUPS 681121 WITH SCORE 681926.972
AT ITER 610 NEW BEST:: SOT 4420498 SOS 806038 HAS SOPS 806038 HAS SOUS 680905 HAS SOUPS 680905 WITH SCORE 681711.038
AT ITER 622 NEW BEST:: SOT 4420497 SOS 805827 HAS SOPS 805827 HAS SOUS 680693 HAS SOUPS 680693 WITH SCORE 681498.827
AT ITER 630 NEW BEST:: SOT 4420265 SOS 805491 HAS SOPS 805491 HAS SOUS 680345 HAS SOUPS 680345 WITH SCORE 681150.491
AT ITER 636 NEW BEST:: SOT 4415129 SOS 835742 HAS SOPS 835742 HAS SOUS 677435 HAS SOUPS 677435 WITH SCORE 678270.742
AT ITER 640 NEW BEST:: SOT 4415083 SOS 835650 HAS SOPS 835650 HAS SOUS 677388 HAS SOUPS 677388 WITH SCORE 678223.65
AT ITER 660 NEW BEST:: SOT 4415083 SOS 835575 HAS SOPS 835575 HAS SOUS 677388 HAS SOUPS 677388 WITH SCORE 678223.575
AT ITER 689 NEW BEST:: SOT 4415133 SOS 835675 HAS SOPS 835675 HAS SOUS 677369 HAS SOUPS 677369 WITH SCORE 678204.675
AT ITER 701 NEW BEST:: SOT 4415090 SOS 835589 HAS SOPS 835589 HAS SOUS 677283 HAS SOUPS 677283 WITH SCORE 678118.589
AT ITER 702 NEW BEST:: SOT 4415050 SOS 835549 HAS SOPS 835549 HAS SOUS 677243 HAS SOUPS 677243 WITH SCORE 678078.549
AT ITER 705 NEW BEST:: SOT 4414761 SOS 834971 HAS SOPS 834971 HAS SOUS 677004 HAS SOUPS 677004 WITH SCORE 677838.971
AT ITER 714 NEW BEST:: SOT 4414669 SOS 834879 HAS SOPS 834879 HAS SOUS 676912 HAS SOUPS 676912 WITH SCORE 677746.879
AT ITER 715 NEW BEST:: SOT 4414624 SOS 834789 HAS SOPS 834789 HAS SOUS 676822 HAS SOUPS 676822 WITH SCORE 677656.789
AT ITER 716 NEW BEST:: SOT 4414624 SOS 834770 HAS SOPS 834770 HAS SOUS 676822 HAS SOUPS 676822 WITH SCORE 677656.77
AT ITER 760 NEW BEST:: SOT 4414200 SOS 833922 HAS SOPS 833922 HAS SOUS 676433 HAS SOUPS 676433 WITH SCORE 677266.922
AT ITER 764 NEW BEST:: SOT 4414200 SOS 833713 HAS SOPS 833713 HAS SOUS 676224 HAS SOUPS 676224 WITH SCORE 677057.713
AT ITER 773 NEW BEST:: SOT 4414200 SOS 833713 HAS SOPS 833713 HAS SOUS 676200 HAS SOUPS 676200 WITH SCORE 677033.713
AT ITER 808 NEW BEST:: SOT 4414241 SOS 833519 HAS SOPS 833519 HAS SOUS 676006 HAS SOUPS 676006 WITH SCORE 676839.519
AT ITER 820 NEW BEST:: SOT 4414084 SOS 833205 HAS SOPS 833205 HAS SOUS 675849 HAS SOUPS 675849 WITH SCORE 676682.205
AT ITER 828 NEW BEST:: SOT 4414084 SOS 832896 HAS SOPS 832896 HAS SOUS 675849 HAS SOUPS 675849 WITH SCORE 676681.896
AT ITER 831 NEW BEST:: SOT 4414084 SOS 832657 HAS SOPS 832657 HAS SOUS 675849 HAS SOUPS 675849 WITH SCORE 676681.657
AT ITER 839 NEW BEST:: SOT 4414084 SOS 832602 HAS SOPS 832602 HAS SOUS 675849 HAS SOUPS 675849 WITH SCORE 676681.602
AT ITER 842 NEW BEST:: SOT 4413818 SOS 832336 HAS SOPS 832336 HAS SOUS 675583 HAS SOUPS 675583 WITH SCORE 676415.336
AT ITER 885 NEW BEST:: SOT 4413818 SOS 832336 HAS SOPS 832336 HAS SOUS 675389 HAS SOUPS 675389 WITH SCORE 676221.336
AT ITER 907 NEW BEST:: SOT 4413049 SOS 834763 HAS SOPS 834763 HAS SOUS 674527 HAS SOUPS 674527 WITH SCORE 675361.763
AT ITER 936 NEW BEST:: SOT 4413021 SOS 834707 HAS SOPS 834707 HAS SOUS 674471 HAS SOUPS 674471 WITH SCORE 675305.707
AT ITER 987 NEW BEST:: SOT 4412958 SOS 834689 HAS SOPS 834689 HAS SOUS 674345 HAS SOUPS 674345 WITH SCORE 675179.689
AT ITER 988 NEW BEST:: SOT 4412709 SOS 834191 HAS SOPS 834191 HAS SOUS 673847 HAS SOUPS 673847 WITH SCORE 674681.191
AT ITER 1039 NEW BEST:: SOT 4412550 SOS 833873 HAS SOPS 833873 HAS SOUS 673529 HAS SOUPS 673529 WITH SCORE 674362.873
AT ITER 1052 NEW BEST:: SOT 4412247 SOS 833267 HAS SOPS 833267 HAS SOUS 672923 HAS SOUPS 672923 WITH SCORE 673756.267
AT ITER 1132 NEW BEST:: SOT 4412247 SOS 832547 HAS SOPS 832547 HAS SOUS 672923 HAS SOUPS 672923 WITH SCORE 673755.547
AT ITER 1138 NEW BEST:: SOT 4412179 SOS 832632 HAS SOPS 832632 HAS SOUS 672855 HAS SOUPS 672855 WITH SCORE 673687.632
AT ITER 1183 NEW BEST:: SOT 4410840 SOS 831516 HAS SOPS 831516 HAS SOUS 671738 HAS SOUPS 671738 WITH SCORE 672569.516
AT ITER 1189 NEW BEST:: SOT 4410748 SOS 831439 HAS SOPS 831439 HAS SOUS 671646 HAS SOUPS 671646 WITH SCORE 672477.439
AT ITER 1223 NEW BEST:: SOT 4410748 SOS 830997 HAS SOPS 830997 HAS SOUS 671204 HAS SOUPS 671204 WITH SCORE 672034.997
AT ITER 1226 NEW BEST:: SOT 4410709 SOS 830752 HAS SOPS 830752 HAS SOUS 670998 HAS SOUPS 670998 WITH SCORE 671828.752
AT ITER 1229 NEW BEST:: SOT 4410603 SOS 830681 HAS SOPS 830681 HAS SOUS 670892 HAS SOUPS 670892 WITH SCORE 671722.681
AT ITER 1236 NEW BEST:: SOT 4410602 SOS 830679 HAS SOPS 830679 HAS SOUS 670890 HAS SOUPS 670890 WITH SCORE 671720.679
AT ITER 1238 NEW BEST:: SOT 4410331 SOS 830137 HAS SOPS 830137 HAS SOUS 670732 HAS SOUPS 670732 WITH SCORE 671562.137
AT ITER 1244 NEW BEST:: SOT 4410293 SOS 830061 HAS SOPS 830061 HAS SOUS 670656 HAS SOUPS 670656 WITH SCORE 671486.061
AT ITER 1247 NEW BEST:: SOT 4410292 SOS 830059 HAS SOPS 830059 HAS SOUS 670654 HAS SOUPS 670654 WITH SCORE 671484.059
AT ITER 1249 NEW BEST:: SOT 4410245 SOS 829965 HAS SOPS 829965 HAS SOUS 670459 HAS SOUPS 670459 WITH SCORE 671288.965
AT ITER 1267 NEW BEST:: SOT 4410087 SOS 829807 HAS SOPS 829807 HAS SOUS 670301 HAS SOUPS 670301 WITH SCORE 671130.807
AT ITER 1270 NEW BEST:: SOT 4408972 SOS 829212 HAS SOPS 829212 HAS SOUS 669312 HAS SOUPS 669312 WITH SCORE 670141.212
AT ITER 1286 NEW BEST:: SOT 4408972 SOS 828923 HAS SOPS 828923 HAS SOUS 669311 HAS SOUPS 669311 WITH SCORE 670139.923
AT ITER 1289 NEW BEST:: SOT 4408849 SOS 828677 HAS SOPS 828677 HAS SOUS 669065 HAS SOUPS 669065 WITH SCORE 669893.677
AT ITER 1321 NEW BEST:: SOT 4408849 SOS 828440 HAS SOPS 828440 HAS SOUS 669065 HAS SOUPS 669065 WITH SCORE 669893.44
AT ITER 1332 NEW BEST:: SOT 4408787 SOS 828427 HAS SOPS 828427 HAS SOUS 668917 HAS SOUPS 668917 WITH SCORE 669745.427
AT ITER 1335 NEW BEST:: SOT 4408539 SOS 828427 HAS SOPS 828427 HAS SOUS 668793 HAS SOUPS 668793 WITH SCORE 669621.427
AT ITER 1344 NEW BEST:: SOT 4408381 SOS 828438 HAS SOPS 828438 HAS SOUS 668776 HAS SOUPS 668776 WITH SCORE 669604.438
AT ITER 1349 NEW BEST:: SOT 4408380 SOS 828280 HAS SOPS 828280 HAS SOUS 668774 HAS SOUPS 668774 WITH SCORE 669602.28
AT ITER 1355 NEW BEST:: SOT 4408345 SOS 828210 HAS SOPS 828210 HAS SOUS 668739 HAS SOUPS 668739 WITH SCORE 669567.21
AT ITER 1365 NEW BEST:: SOT 4408221 SOS 828251 HAS SOPS 828251 HAS SOUS 668698 HAS SOUPS 668698 WITH SCORE 669526.251
AT ITER 1375 NEW BEST:: SOT 4408221 SOS 828251 HAS SOPS 828251 HAS SOUS 668449 HAS SOUPS 668449 WITH SCORE 669277.251
AT ITER 1376 NEW BEST:: SOT 4408221 SOS 828077 HAS SOPS 828077 HAS SOUS 668449 HAS SOUPS 668449 WITH SCORE 669277.077
AT ITER 1391 NEW BEST:: SOT 4408159 SOS 827953 HAS SOPS 827953 HAS SOUS 668325 HAS SOUPS 668325 WITH SCORE 669152.953
AT ITER 1395 NEW BEST:: SOT 4408110 SOS 828108 HAS SOPS 828108 HAS SOUS 668276 HAS SOUPS 668276 WITH SCORE 669104.108
AT ITER 1401 NEW BEST:: SOT 4408078 SOS 828044 HAS SOPS 828044 HAS SOUS 668233 HAS SOUPS 668233 WITH SCORE 669061.044
AT ITER 1423 NEW BEST:: SOT 4408143 SOS 827512 HAS SOPS 827512 HAS SOUS 668032 HAS SOUPS 668032 WITH SCORE 668859.512
AT ITER 1442 NEW BEST:: SOT 4408110 SOS 827446 HAS SOPS 827446 HAS SOUS 667966 HAS SOUPS 667966 WITH SCORE 668793.446
AT ITER 1483 NEW BEST:: SOT 4407841 SOS 826908 HAS SOPS 826908 HAS SOUS 667428 HAS SOUPS 667428 WITH SCORE 668254.908
AT ITER 1484 NEW BEST:: SOT 4407898 SOS 826751 HAS SOPS 826751 HAS SOUS 667271 HAS SOUPS 667271 WITH SCORE 668097.751
AT ITER 1495 NEW BEST:: SOT 4407898 SOS 826472 HAS SOPS 826472 HAS SOUS 667271 HAS SOUPS 667271 WITH SCORE 668097.472
AT ITER 1497 NEW BEST:: SOT 4407850 SOS 826424 HAS SOPS 826424 HAS SOUS 667223 HAS SOUPS 667223 WITH SCORE 668049.424
AT ITER 1511 NEW BEST:: SOT 4407863 SOS 826450 HAS SOPS 826450 HAS SOUS 667167 HAS SOUPS 667167 WITH SCORE 667993.45
AT ITER 1515 NEW BEST:: SOT 4407863 SOS 826450 HAS SOPS 826450 HAS SOUS 666905 HAS SOUPS 666905 WITH SCORE 667731.45
AT ITER 1516 NEW BEST:: SOT 4407937 SOS 826598 HAS SOPS 826598 HAS SOUS 666713 HAS SOUPS 666713 WITH SCORE 667539.598
AT ITER 1555 NEW BEST:: SOT 4407918 SOS 826501 HAS SOPS 826501 HAS SOUS 666616 HAS SOUPS 666616 WITH SCORE 667442.501
AT ITER 1573 NEW BEST:: SOT 4407814 SOS 826420 HAS SOPS 826420 HAS SOUS 666512 HAS SOUPS 666512 WITH SCORE 667338.42
AT ITER 1614 NEW BEST:: SOT 4407733 SOS 826177 HAS SOPS 826177 HAS SOUS 666385 HAS SOUPS 666385 WITH SCORE 667211.177
AT ITER 1617 NEW BEST:: SOT 4407475 SOS 825919 HAS SOPS 825919 HAS SOUS 666256 HAS SOUPS 666256 WITH SCORE 667081.919
AT ITER 1624 NEW BEST:: SOT 4407475 SOS 825802 HAS SOPS 825802 HAS SOUS 666255 HAS SOUPS 666255 WITH SCORE 667080.802
AT ITER 1638 NEW BEST:: SOT 4407352 SOS 825556 HAS SOPS 825556 HAS SOUS 666009 HAS SOUPS 666009 WITH SCORE 666834.556
AT ITER 1644 NEW BEST:: SOT 4407352 SOS 825200 HAS SOPS 825200 HAS SOUS 665831 HAS SOUPS 665831 WITH SCORE 666656.2
AT ITER 1664 NEW BEST:: SOT 4407351 SOS 825199 HAS SOPS 825199 HAS SOUS 665829 HAS SOUPS 665829 WITH SCORE 666654.199
AT ITER 1717 NEW BEST:: SOT 4407350 SOS 825197 HAS SOPS 825197 HAS SOUS 665827 HAS SOUPS 665827 WITH SCORE 666652.197
AT ITER 1732 NEW BEST:: SOT 4407596 SOS 825689 HAS SOPS 825689 HAS SOUS 665768 HAS SOUPS 665768 WITH SCORE 666593.689
AT ITER 1739 NEW BEST:: SOT 4407531 SOS 825466 HAS SOPS 825466 HAS SOUS 665610 HAS SOUPS 665610 WITH SCORE 666435.466
AT ITER 1741 NEW BEST:: SOT 4407413 SOS 825348 HAS SOPS 825348 HAS SOUS 665492 HAS SOUPS 665492 WITH SCORE 666317.348
AT ITER 1744 NEW BEST:: SOT 4407423 SOS 825160 HAS SOPS 825160 HAS SOUS 665398 HAS SOUPS 665398 WITH SCORE 666223.16
AT ITER 1746 NEW BEST:: SOT 4407423 SOS 825160 HAS SOPS 825160 HAS SOUS 665395 HAS SOUPS 665395 WITH SCORE 666220.16
AT ITER 1760 NEW BEST:: SOT 4407055 SOS 824608 HAS SOPS 824608 HAS SOUS 664843 HAS SOUPS 664843 WITH SCORE 665667.608
AT ITER 1775 NEW BEST:: SOT 4406747 SOS 824300 HAS SOPS 824300 HAS SOUS 664535 HAS SOUPS 664535 WITH SCORE 665359.3
AT ITER 1776 NEW BEST:: SOT 4406683 SOS 824235 HAS SOPS 824235 HAS SOUS 664470 HAS SOUPS 664470 WITH SCORE 665294.235
AT ITER 1789 NEW BEST:: SOT 4406683 SOS 824235 HAS SOPS 824235 HAS SOUS 664272 HAS SOUPS 664272 WITH SCORE 665096.235
AT ITER 1808 NEW BEST:: SOT 4406751 SOS 824371 HAS SOPS 824371 HAS SOUS 664095 HAS SOUPS 664095 WITH SCORE 664919.371
AT ITER 1819 NEW BEST:: SOT 4406751 SOS 824115 HAS SOPS 824115 HAS SOUS 664095 HAS SOUPS 664095 WITH SCORE 664919.115
AT ITER 1826 NEW BEST:: SOT 4406666 SOS 823945 HAS SOPS 823945 HAS SOUS 664010 HAS SOUPS 664010 WITH SCORE 664833.945
AT ITER 1828 NEW BEST:: SOT 4406497 SOS 823332 HAS SOPS 823332 HAS SOUS 663592 HAS SOUPS 663592 WITH SCORE 664415.332
AT ITER 1834 NEW BEST:: SOT 4406346 SOS 823302 HAS SOPS 823302 HAS SOUS 663503 HAS SOUPS 663503 WITH SCORE 664326.302
AT ITER 1848 NEW BEST:: SOT 4406185 SOS 822980 HAS SOPS 822980 HAS SOUS 663181 HAS SOUPS 663181 WITH SCORE 664003.98
AT ITER 1887 NEW BEST:: SOT 4406272 SOS 823004 HAS SOPS 823004 HAS SOUS 663162 HAS SOUPS 663162 WITH SCORE 663985.004
AT ITER 1894 NEW BEST:: SOT 4406211 SOS 822974 HAS SOPS 822974 HAS SOUS 663132 HAS SOUPS 663132 WITH SCORE 663954.974
AT ITER 1919 NEW BEST:: SOT 4406082 SOS 822716 HAS SOPS 822716 HAS SOUS 663003 HAS SOUPS 663003 WITH SCORE 663825.716
AT ITER 1925 NEW BEST:: SOT 4406081 SOS 822714 HAS SOPS 822714 HAS SOUS 663001 HAS SOUPS 663001 WITH SCORE 663823.714
AT ITER 1931 NEW BEST:: SOT 4406008 SOS 822536 HAS SOPS 822536 HAS SOUS 662823 HAS SOUPS 662823 WITH SCORE 663645.536
AT ITER 1947 NEW BEST:: SOT 4405738 SOS 821996 HAS SOPS 821996 HAS SOUS 662608 HAS SOUPS 662608 WITH SCORE 663429.996
AT ITER 1989 NEW BEST:: SOT 4405650 SOS 821820 HAS SOPS 821820 HAS SOUS 662521 HAS SOUPS 662521 WITH SCORE 663342.82
AT ITER 1996 NEW BEST:: SOT 4405485 SOS 821962 HAS SOPS 821962 HAS SOUS 662506 HAS SOUPS 662506 WITH SCORE 663327.962
AT ITER 2015 NEW BEST:: SOT 4405485 SOS 821714 HAS SOPS 821714 HAS SOUS 662505 HAS SOUPS 662505 WITH SCORE 663326.714
AT ITER 2056 NEW BEST:: SOT 4405485 SOS 821714 HAS SOPS 821714 HAS SOUS 662477 HAS SOUPS 662477 WITH SCORE 663298.714
AT ITER 2071 NEW BEST:: SOT 4405485 SOS 821633 HAS SOPS 821633 HAS SOUS 662396 HAS SOUPS 662396 WITH SCORE 663217.633
AT ITER 2083 NEW BEST:: SOT 4405470 SOS 820835 HAS SOPS 820835 HAS SOUS 661997 HAS SOUPS 661997 WITH SCORE 662817.835
AT ITER 2116 NEW BEST:: SOT 4405469 SOS 820798 HAS SOPS 820798 HAS SOUS 661960 HAS SOUPS 661960 WITH SCORE 662780.798
AT ITER 2121 NEW BEST:: SOT 4405299 SOS 820458 HAS SOPS 820458 HAS SOUS 661620 HAS SOUPS 661620 WITH SCORE 662440.458
AT ITER 2129 NEW BEST:: SOT 4405299 SOS 820458 HAS SOPS 820458 HAS SOUS 661553 HAS SOUPS 661553 WITH SCORE 662373.458
AT ITER 2153 NEW BEST:: SOT 4405299 SOS 820104 HAS SOPS 820104 HAS SOUS 661552 HAS SOUPS 661552 WITH SCORE 662372.104
AT ITER 2154 NEW BEST:: SOT 4405299 SOS 819957 HAS SOPS 819957 HAS SOUS 661552 HAS SOUPS 661552 WITH SCORE 662371.957
AT ITER 2159 NEW BEST:: SOT 4405152 SOS 819830 HAS SOPS 819830 HAS SOUS 661405 HAS SOUPS 661405 WITH SCORE 662224.83
AT ITER 2173 NEW BEST:: SOT 4404935 SOS 819396 HAS SOPS 819396 HAS SOUS 660971 HAS SOUPS 660971 WITH SCORE 661790.396
AT ITER 2178 NEW BEST:: SOT 4404935 SOS 819368 HAS SOPS 819368 HAS SOUS 660971 HAS SOUPS 660971 WITH SCORE 661790.368
AT ITER 2179 NEW BEST:: SOT 4404719 SOS 818720 HAS SOPS 818720 HAS SOUS 660539 HAS SOUPS 660539 WITH SCORE 661357.72
AT ITER 2214 NEW BEST:: SOT 4404651 SOS 818584 HAS SOPS 818584 HAS SOUS 660403 HAS SOUPS 660403 WITH SCORE 661221.584
AT ITER 2218 NEW BEST:: SOT 4404311 SOS 817564 HAS SOPS 817564 HAS SOUS 659723 HAS SOUPS 659723 WITH SCORE 660540.564
AT ITER 2227 NEW BEST:: SOT 4404310 SOS 817562 HAS SOPS 817562 HAS SOUS 659721 HAS SOUPS 659721 WITH SCORE 660538.562
AT ITER 2233 NEW BEST:: SOT 4404598 SOS 818138 HAS SOPS 818138 HAS SOUS 659703 HAS SOUPS 659703 WITH SCORE 660521.138
AT ITER 2244 NEW BEST:: SOT 4404598 SOS 818138 HAS SOPS 818138 HAS SOUS 659694 HAS SOUPS 659694 WITH SCORE 660512.138
AT ITER 2251 NEW BEST:: SOT 4404598 SOS 817718 HAS SOPS 817718 HAS SOUS 659694 HAS SOUPS 659694 WITH SCORE 660511.718
AT ITER 2256 NEW BEST:: SOT 4404653 SOS 817828 HAS SOPS 817828 HAS SOUS 659626 HAS SOUPS 659626 WITH SCORE 660443.828
AT ITER 2262 NEW BEST:: SOT 4404576 SOS 817674 HAS SOPS 817674 HAS SOUS 659549 HAS SOUPS 659549 WITH SCORE 660366.674
AT ITER 2272 NEW BEST:: SOT 4404505 SOS 817532 HAS SOPS 817532 HAS SOUS 659407 HAS SOUPS 659407 WITH SCORE 660224.532
AT ITER 2345 NEW BEST:: SOT 4404376 SOS 817426 HAS SOPS 817426 HAS SOUS 659278 HAS SOUPS 659278 WITH SCORE 660095.426
AT ITER 2386 NEW BEST:: SOT 4404237 SOS 817287 HAS SOPS 817287 HAS SOUS 659139 HAS SOUPS 659139 WITH SCORE 659956.287
AT ITER 2387 NEW BEST:: SOT 4404212 SOS 817237 HAS SOPS 817237 HAS SOUS 659089 HAS SOUPS 659089 WITH SCORE 659906.237
AT ITER 2406 NEW BEST:: SOT 4404020 SOS 795685 HAS SOPS 795685 HAS SOUS 658897 HAS SOUPS 658897 WITH SCORE 659692.685
AT ITER 2415 NEW BEST:: SOT 4403652 SOS 795178 HAS SOPS 795178 HAS SOUS 658455 HAS SOUPS 658455 WITH SCORE 659250.178
AT ITER 2428 NEW BEST:: SOT 4403581 SOS 795036 HAS SOPS 795036 HAS SOUS 658041 HAS SOUPS 658041 WITH SCORE 658836.036
AT ITER 2436 NEW BEST:: SOT 4403581 SOS 794785 HAS SOPS 794785 HAS SOUS 657786 HAS SOUPS 657786 WITH SCORE 658580.785
AT ITER 2442 NEW BEST:: SOT 4403581 SOS 794752 HAS SOPS 794752 HAS SOUS 657786 HAS SOUPS 657786 WITH SCORE 658580.752
AT ITER 2448 NEW BEST:: SOT 4403568 SOS 794726 HAS SOPS 794726 HAS SOUS 657760 HAS SOUPS 657760 WITH SCORE 658554.726
AT ITER 2484 NEW BEST:: SOT 4403323 SOS 793976 HAS SOPS 793976 HAS SOUS 657217 HAS SOUPS 657217 WITH SCORE 658010.976
AT ITER 2487 NEW BEST:: SOT 4403323 SOS 793976 HAS SOPS 793976 HAS SOUS 657191 HAS SOUPS 657191 WITH SCORE 657984.976
AT ITER 2492 NEW BEST:: SOT 4403179 SOS 793976 HAS SOPS 793976 HAS SOUS 657119 HAS SOUPS 657119 WITH SCORE 657912.976
AT ITER 2503 NEW BEST:: SOT 4403178 SOS 793829 HAS SOPS 793829 HAS SOUS 657118 HAS SOUPS 657118 WITH SCORE 657911.829
AT ITER 2527 NEW BEST:: SOT 4403105 SOS 793683 HAS SOPS 793683 HAS SOUS 656972 HAS SOUPS 656972 WITH SCORE 657765.683
AT ITER 2572 NEW BEST:: SOT 4399211 SOS 796638 HAS SOPS 796638 HAS SOUS 653938 HAS SOUPS 653938 WITH SCORE 654734.638
AT ITER 2591 NEW BEST:: SOT 4399211 SOS 796510 HAS SOPS 796510 HAS SOUS 653938 HAS SOUPS 653938 WITH SCORE 654734.51
AT ITER 2601 NEW BEST:: SOT 4399172 SOS 796734 HAS SOPS 796734 HAS SOUS 653899 HAS SOUPS 653899 WITH SCORE 654695.734
AT ITER 2607 NEW BEST:: SOT 4399104 SOS 796598 HAS SOPS 796598 HAS SOUS 653763 HAS SOUPS 653763 WITH SCORE 654559.598
AT ITER 2618 NEW BEST:: SOT 4399080 SOS 796330 HAS SOPS 796330 HAS SOUS 653620 HAS SOUPS 653620 WITH SCORE 654416.33
AT ITER 2627 NEW BEST:: SOT 4398988 SOS 796253 HAS SOPS 796253 HAS SOUS 653540 HAS SOUPS 653540 WITH SCORE 654336.253
AT ITER 2651 NEW BEST:: SOT 4399029 SOS 795940 HAS SOPS 795940 HAS SOUS 653309 HAS SOUPS 653309 WITH SCORE 654104.94
AT ITER 2662 NEW BEST:: SOT 4398879 SOS 795640 HAS SOPS 795640 HAS SOUS 653009 HAS SOUPS 653009 WITH SCORE 653804.64
AT ITER 2673 NEW BEST:: SOT 4398613 SOS 795418 HAS SOPS 795418 HAS SOUS 652656 HAS SOUPS 652656 WITH SCORE 653451.418
AT ITER 2709 NEW BEST:: SOT 4397221 SOS 794958 HAS SOPS 794958 HAS SOUS 651596 HAS SOUPS 651596 WITH SCORE 652390.958
AT ITER 2713 NEW BEST:: SOT 4397018 SOS 794794 HAS SOPS 794794 HAS SOUS 651415 HAS SOUPS 651415 WITH SCORE 652209.794
AT ITER 2739 NEW BEST:: SOT 4396852 SOS 794462 HAS SOPS 794462 HAS SOUS 651083 HAS SOUPS 651083 WITH SCORE 651877.462
AT ITER 2749 NEW BEST:: SOT 4396666 SOS 795246 HAS SOPS 795246 HAS SOUS 651071 HAS SOUPS 651071 WITH SCORE 651866.246
AT ITER 2752 NEW BEST:: SOT 4396666 SOS 795238 HAS SOPS 795238 HAS SOUS 651071 HAS SOUPS 651071 WITH SCORE 651866.238
AT ITER 2779 NEW BEST:: SOT 4396814 SOS 795036 HAS SOPS 795036 HAS SOUS 650970 HAS SOUPS 650970 WITH SCORE 651765.036
AT ITER 2783 NEW BEST:: SOT 4396814 SOS 795036 HAS SOPS 795036 HAS SOUS 650762 HAS SOUPS 650762 WITH SCORE 651557.036
AT ITER 2789 NEW BEST:: SOT 4396730 SOS 794868 HAS SOPS 794868 HAS SOUS 650594 HAS SOUPS 650594 WITH SCORE 651388.868
AT ITER 2837 NEW BEST:: SOT 4396489 SOS 794639 HAS SOPS 794639 HAS SOUS 650353 HAS SOUPS 650353 WITH SCORE 651147.639
AT ITER 2857 NEW BEST:: SOT 4396489 SOS 794557 HAS SOPS 794557 HAS SOUS 650312 HAS SOUPS 650312 WITH SCORE 651106.557
AT ITER 2866 NEW BEST:: SOT 4396468 SOS 794494 HAS SOPS 794494 HAS SOUS 650270 HAS SOUPS 650270 WITH SCORE 651064.494
AT ITER 2874 NEW BEST:: SOT 4396494 SOS 794338 HAS SOPS 794338 HAS SOUS 650236 HAS SOUPS 650236 WITH SCORE 651030.338
AT ITER 2915 NEW BEST:: SOT 4396494 SOS 794311 HAS SOPS 794311 HAS SOUS 650222 HAS SOUPS 650222 WITH SCORE 651016.311
AT ITER 2918 NEW BEST:: SOT 4396467 SOS 794230 HAS SOPS 794230 HAS SOUS 650168 HAS SOUPS 650168 WITH SCORE 650962.23
AT ITER 2920 NEW BEST:: SOT 4396444 SOS 792624 HAS SOPS 792624 HAS SOUS 650145 HAS SOUPS 650145 WITH SCORE 650937.624
AT ITER 2930 NEW BEST:: SOT 4396373 SOS 792532 HAS SOPS 792532 HAS SOUS 650040 HAS SOUPS 650040 WITH SCORE 650832.532
AT ITER 2955 NEW BEST:: SOT 4396297 SOS 792238 HAS SOPS 792238 HAS SOUS 649746 HAS SOUPS 649746 WITH SCORE 650538.238
AT ITER 2982 NEW BEST:: SOT 4396297 SOS 792238 HAS SOPS 792238 HAS SOUS 649664 HAS SOUPS 649664 WITH SCORE 650456.238
AT ITER 2984 NEW BEST:: SOT 4396186 SOS 792127 HAS SOPS 792127 HAS SOUS 649553 HAS SOUPS 649553 WITH SCORE 650345.127
AT ITER 3104 NEW BEST:: SOT 4396186 SOS 792072 HAS SOPS 792072 HAS SOUS 649498 HAS SOUPS 649498 WITH SCORE 650290.072
AT ITER 3112 NEW BEST:: SOT 4396216 SOS 791668 HAS SOPS 791668 HAS SOUS 649405 HAS SOUPS 649405 WITH SCORE 650196.668
AT ITER 3114 NEW BEST:: SOT 4396216 SOS 791654 HAS SOPS 791654 HAS SOUS 649405 HAS SOUPS 649405 WITH SCORE 650196.654
AT ITER 3125 NEW BEST:: SOT 4396193 SOS 791608 HAS SOPS 791608 HAS SOUS 649359 HAS SOUPS 649359 WITH SCORE 650150.608
AT ITER 3127 NEW BEST:: SOT 4396103 SOS 791428 HAS SOPS 791428 HAS SOUS 649268 HAS SOUPS 649268 WITH SCORE 650059.428
AT ITER 3134 NEW BEST:: SOT 4395980 SOS 791182 HAS SOPS 791182 HAS SOUS 649145 HAS SOUPS 649145 WITH SCORE 649936.182
AT ITER 3151 NEW BEST:: SOT 4395868 SOS 790958 HAS SOPS 790958 HAS SOUS 649030 HAS SOUPS 649030 WITH SCORE 649820.958
AT ITER 3201 NEW BEST:: SOT 4395817 SOS 791121 HAS SOPS 791121 HAS SOUS 648945 HAS SOUPS 648945 WITH SCORE 649736.121
AT ITER 3202 NEW BEST:: SOT 4395817 SOS 790899 HAS SOPS 790899 HAS SOUS 648945 HAS SOUPS 648945 WITH SCORE 649735.899
AT ITER 3205 NEW BEST:: SOT 4395817 SOS 790845 HAS SOPS 790845 HAS SOUS 648891 HAS SOUPS 648891 WITH SCORE 649681.845
AT ITER 3215 NEW BEST:: SOT 4395803 SOS 790817 HAS SOPS 790817 HAS SOUS 648877 HAS SOUPS 648877 WITH SCORE 649667.817
AT ITER 3235 NEW BEST:: SOT 4395436 SOS 790821 HAS SOPS 790821 HAS SOUS 648705 HAS SOUPS 648705 WITH SCORE 649495.821
AT ITER 3248 NEW BEST:: SOT 4394245 SOS 789636 HAS SOPS 789636 HAS SOUS 647514 HAS SOUPS 647514 WITH SCORE 648303.636
AT ITER 3251 NEW BEST:: SOT 4394245 SOS 789636 HAS SOPS 789636 HAS SOUS 647478 HAS SOUPS 647478 WITH SCORE 648267.636
AT ITER 3253 NEW BEST:: SOT 4394228 SOS 789602 HAS SOPS 789602 HAS SOUS 647173 HAS SOUPS 647173 WITH SCORE 647962.602
AT ITER 3260 NEW BEST:: SOT 4393919 SOS 788984 HAS SOPS 788984 HAS SOUS 646738 HAS SOUPS 646738 WITH SCORE 647526.984
AT ITER 3274 NEW BEST:: SOT 4393137 SOS 788202 HAS SOPS 788202 HAS SOUS 645944 HAS SOUPS 645944 WITH SCORE 646732.202
AT ITER 3301 NEW BEST:: SOT 4393137 SOS 788100 HAS SOPS 788100 HAS SOUS 645842 HAS SOUPS 645842 WITH SCORE 646630.1
AT ITER 3319 NEW BEST:: SOT 4393137 SOS 788100 HAS SOPS 788100 HAS SOUS 645841 HAS SOUPS 645841 WITH SCORE 646629.1
AT ITER 3322 NEW BEST:: SOT 4393235 SOS 788198 HAS SOPS 788198 HAS SOUS 645721 HAS SOUPS 645721 WITH SCORE 646509.198
AT ITER 3357 NEW BEST:: SOT 4393176 SOS 788080 HAS SOPS 788080 HAS SOUS 645603 HAS SOUPS 645603 WITH SCORE 646391.08
AT ITER 3375 NEW BEST:: SOT 4392814 SOS 787742 HAS SOPS 787742 HAS SOUS 645252 HAS SOUPS 645252 WITH SCORE 646039.742
AT ITER 3383 NEW BEST:: SOT 4392778 SOS 787995 HAS SOPS 787995 HAS SOUS 645245 HAS SOUPS 645245 WITH SCORE 646032.995
AT ITER 3403 NEW BEST:: SOT 4392778 SOS 787909 HAS SOPS 787909 HAS SOUS 645159 HAS SOUPS 645159 WITH SCORE 645946.909
AT ITER 3442 NEW BEST:: SOT 4392852 SOS 787767 HAS SOPS 787767 HAS SOUS 644977 HAS SOUPS 644977 WITH SCORE 645764.767
AT ITER 3451 NEW BEST:: SOT 4392852 SOS 787574 HAS SOPS 787574 HAS SOUS 644977 HAS SOUPS 644977 WITH SCORE 645764.574
AT ITER 3461 NEW BEST:: SOT 4392852 SOS 787574 HAS SOPS 787574 HAS SOUS 644901 HAS SOUPS 644901 WITH SCORE 645688.574
AT ITER 3540 NEW BEST:: SOT 4392768 SOS 787406 HAS SOPS 787406 HAS SOUS 644733 HAS SOUPS 644733 WITH SCORE 645520.406
AT ITER 3559 NEW BEST:: SOT 4392559 SOS 787447 HAS SOPS 787447 HAS SOUS 644562 HAS SOUPS 644562 WITH SCORE 645349.447
AT ITER 3568 NEW BEST:: SOT 4392546 SOS 787421 HAS SOPS 787421 HAS SOUS 644549 HAS SOUPS 644549 WITH SCORE 645336.421
AT ITER 3573 NEW BEST:: SOT 4392483 SOS 787295 HAS SOPS 787295 HAS SOUS 644423 HAS SOUPS 644423 WITH SCORE 645210.295
AT ITER 3574 NEW BEST:: SOT 4392562 SOS 787453 HAS SOPS 787453 HAS SOUS 644273 HAS SOUPS 644273 WITH SCORE 645060.453
AT ITER 3602 NEW BEST:: SOT 4392513 SOS 787273 HAS SOPS 787273 HAS SOUS 644157 HAS SOUPS 644157 WITH SCORE 644944.273
AT ITER 3642 NEW BEST:: SOT 4392847 SOS 786939 HAS SOPS 786939 HAS SOUS 644157 HAS SOUPS 644157 WITH SCORE 644943.939
AT ITER 3662 NEW BEST:: SOT 4392523 SOS 773331 HAS SOPS 773331 HAS SOUS 643509 HAS SOUPS 643509 WITH SCORE 644282.331
AT ITER 3681 NEW BEST:: SOT 4392160 SOS 772968 HAS SOPS 772968 HAS SOUS 643146 HAS SOUPS 643146 WITH SCORE 643918.968
AT ITER 3684 NEW BEST:: SOT 4391708 SOS 772552 HAS SOPS 772552 HAS SOUS 642813 HAS SOUPS 642813 WITH SCORE 643585.552
AT ITER 3691 NEW BEST:: SOT 4391662 SOS 772460 HAS SOPS 772460 HAS SOUS 642721 HAS SOUPS 642721 WITH SCORE 643493.46
AT ITER 3701 NEW BEST:: SOT 4391662 SOS 772413 HAS SOPS 772413 HAS SOUS 642674 HAS SOUPS 642674 WITH SCORE 643446.413
AT ITER 3711 NEW BEST:: SOT 4391533 SOS 772241 HAS SOPS 772241 HAS SOUS 642502 HAS SOUPS 642502 WITH SCORE 643274.241
AT ITER 3720 NEW BEST:: SOT 4391533 SOS 772241 HAS SOPS 772241 HAS SOUS 642491 HAS SOUPS 642491 WITH SCORE 643263.241
AT ITER 3759 NEW BEST:: SOT 4391533 SOS 772160 HAS SOPS 772160 HAS SOUS 642491 HAS SOUPS 642491 WITH SCORE 643263.16
AT ITER 3762 NEW BEST:: SOT 4391533 SOS 772149 HAS SOPS 772149 HAS SOUS 642491 HAS SOUPS 642491 WITH SCORE 643263.149
AT ITER 3771 NEW BEST:: SOT 4391532 SOS 772000 HAS SOPS 772000 HAS SOUS 642488 HAS SOUPS 642488 WITH SCORE 643260.0
AT ITER 3781 NEW BEST:: SOT 4391317 SOS 771785 HAS SOPS 771785 HAS SOUS 642273 HAS SOUPS 642273 WITH SCORE 643044.785
AT ITER 3806 NEW BEST:: SOT 4391258 SOS 771725 HAS SOPS 771725 HAS SOUS 642156 HAS SOUPS 642156 WITH SCORE 642927.725
AT ITER 3830 NEW BEST:: SOT 4391000 SOS 770850 HAS SOPS 770850 HAS SOUS 641638 HAS SOUPS 641638 WITH SCORE 642408.85
AT ITER 3845 NEW BEST:: SOT 4391034 SOS 770918 HAS SOPS 770918 HAS SOUS 641431 HAS SOUPS 641431 WITH SCORE 642201.918
AT ITER 3851 NEW BEST:: SOT 4390969 SOS 770825 HAS SOPS 770825 HAS SOUS 641336 HAS SOUPS 641336 WITH SCORE 642106.825
AT ITER 3864 NEW BEST:: SOT 4390435 SOS 770420 HAS SOPS 770420 HAS SOUS 641161 HAS SOUPS 641161 WITH SCORE 641931.42
AT ITER 3877 NEW BEST:: SOT 4390153 SOS 770414 HAS SOPS 770414 HAS SOUS 641158 HAS SOUPS 641158 WITH SCORE 641928.414
AT ITER 3902 NEW BEST:: SOT 4390021 SOS 770150 HAS SOPS 770150 HAS SOUS 640894 HAS SOUPS 640894 WITH SCORE 641664.15
AT ITER 3934 NEW BEST:: SOT 4389961 SOS 770030 HAS SOPS 770030 HAS SOUS 640834 HAS SOUPS 640834 WITH SCORE 641604.03
AT ITER 3944 NEW BEST:: SOT 4390087 SOS 769585 HAS SOPS 769585 HAS SOUS 640359 HAS SOUPS 640359 WITH SCORE 641128.585
AT ITER 3973 NEW BEST:: SOT 4390086 SOS 769583 HAS SOPS 769583 HAS SOUS 640357 HAS SOUPS 640357 WITH SCORE 641126.583
AT ITER 3975 NEW BEST:: SOT 4390085 SOS 769581 HAS SOPS 769581 HAS SOUS 640355 HAS SOUPS 640355 WITH SCORE 641124.581
AT ITER 4006 NEW BEST:: SOT 4389995 SOS 769401 HAS SOPS 769401 HAS SOUS 640175 HAS SOUPS 640175 WITH SCORE 640944.401
AT ITER 4016 NEW BEST:: SOT 4389994 SOS 769167 HAS SOPS 769167 HAS SOUS 640173 HAS SOUPS 640173 WITH SCORE 640942.167
AT ITER 4020 NEW BEST:: SOT 4389974 SOS 769127 HAS SOPS 769127 HAS SOUS 640145 HAS SOUPS 640145 WITH SCORE 640914.127
AT ITER 4031 NEW BEST:: SOT 4389749 SOS 768902 HAS SOPS 768902 HAS SOUS 639758 HAS SOUPS 639758 WITH SCORE 640526.902
AT ITER 4036 NEW BEST:: SOT 4389748 SOS 768633 HAS SOPS 768633 HAS SOUS 639756 HAS SOUPS 639756 WITH SCORE 640524.633
AT ITER 4067 NEW BEST:: SOT 4389789 SOS 768617 HAS SOPS 768617 HAS SOUS 639740 HAS SOUPS 639740 WITH SCORE 640508.617
AT ITER 4082 NEW BEST:: SOT 4389568 SOS 768643 HAS SOPS 768643 HAS SOUS 639636 HAS SOUPS 639636 WITH SCORE 640404.643
AT ITER 4112 NEW BEST:: SOT 4389542 SOS 768058 HAS SOPS 768058 HAS SOUS 639597 HAS SOUPS 639597 WITH SCORE 640365.058
AT ITER 4131 NEW BEST:: SOT 4389211 SOS 768226 HAS SOPS 768226 HAS SOUS 639370 HAS SOUPS 639370 WITH SCORE 640138.226
AT ITER 4179 NEW BEST:: SOT 4389169 SOS 768142 HAS SOPS 768142 HAS SOUS 639345 HAS SOUPS 639345 WITH SCORE 640113.142
AT ITER 4180 NEW BEST:: SOT 4389169 SOS 768142 HAS SOPS 768142 HAS SOUS 639219 HAS SOUPS 639219 WITH SCORE 639987.142
AT ITER 4192 NEW BEST:: SOT 4389044 SOS 768211 HAS SOPS 768211 HAS SOUS 639094 HAS SOUPS 639094 WITH SCORE 639862.211
AT ITER 4213 NEW BEST:: SOT 4389044 SOS 768004 HAS SOPS 768004 HAS SOUS 639094 HAS SOUPS 639094 WITH SCORE 639862.004
AT ITER 4214 NEW BEST:: SOT 4389017 SOS 754018 HAS SOPS 754018 HAS SOUS 638921 HAS SOUPS 638921 WITH SCORE 639675.018
AT ITER 4220 NEW BEST:: SOT 4389016 SOS 753930 HAS SOPS 753930 HAS SOUS 638919 HAS SOUPS 638919 WITH SCORE 639672.93
AT ITER 4239 NEW BEST:: SOT 4389043 SOS 753913 HAS SOPS 753913 HAS SOUS 638902 HAS SOUPS 638902 WITH SCORE 639655.913
AT ITER 4275 NEW BEST:: SOT 4388923 SOS 754291 HAS SOPS 754291 HAS SOUS 638782 HAS SOUPS 638782 WITH SCORE 639536.291
AT ITER 4279 NEW BEST:: SOT 4388653 SOS 754061 HAS SOPS 754061 HAS SOUS 638339 HAS SOUPS 638339 WITH SCORE 639093.061
AT ITER 4284 NEW BEST:: SOT 4388717 SOS 753990 HAS SOPS 753990 HAS SOUS 638281 HAS SOUPS 638281 WITH SCORE 639034.99
AT ITER 4286 NEW BEST:: SOT 4388717 SOS 753783 HAS SOPS 753783 HAS SOUS 638074 HAS SOUPS 638074 WITH SCORE 638827.783
AT ITER 4298 NEW BEST:: SOT 4388610 SOS 754199 HAS SOPS 754199 HAS SOUS 638055 HAS SOUPS 638055 WITH SCORE 638809.199
AT ITER 4305 NEW BEST:: SOT 4388610 SOS 754144 HAS SOPS 754144 HAS SOUS 638000 HAS SOUPS 638000 WITH SCORE 638754.144
AT ITER 4309 NEW BEST:: SOT 4388610 SOS 754020 HAS SOPS 754020 HAS SOUS 637876 HAS SOUPS 637876 WITH SCORE 638630.02
AT ITER 4321 NEW BEST:: SOT 4388634 SOS 753951 HAS SOPS 753951 HAS SOUS 637807 HAS SOUPS 637807 WITH SCORE 638560.951
AT ITER 4343 NEW BEST:: SOT 4388634 SOS 753920 HAS SOPS 753920 HAS SOUS 637807 HAS SOUPS 637807 WITH SCORE 638560.92
AT ITER 4344 NEW BEST:: SOT 4388486 SOS 753624 HAS SOPS 753624 HAS SOUS 637338 HAS SOUPS 637338 WITH SCORE 638091.624
AT ITER 4352 NEW BEST:: SOT 4388018 SOS 753038 HAS SOPS 753038 HAS SOUS 636651 HAS SOUPS 636651 WITH SCORE 637404.038
AT ITER 4355 NEW BEST:: SOT 4387874 SOS 752894 HAS SOPS 752894 HAS SOUS 636507 HAS SOUPS 636507 WITH SCORE 637259.894
AT ITER 4364 NEW BEST:: SOT 4387831 SOS 752808 HAS SOPS 752808 HAS SOUS 636464 HAS SOUPS 636464 WITH SCORE 637216.808
AT ITER 4365 NEW BEST:: SOT 4387989 SOS 752938 HAS SOPS 752938 HAS SOUS 636342 HAS SOUPS 636342 WITH SCORE 637094.938
AT ITER 4404 NEW BEST:: SOT 4388123 SOS 753087 HAS SOPS 753087 HAS SOUS 636287 HAS SOUPS 636287 WITH SCORE 637040.087
AT ITER 4416 NEW BEST:: SOT 4388046 SOS 752933 HAS SOPS 752933 HAS SOUS 636133 HAS SOUPS 636133 WITH SCORE 636885.933
AT ITER 4426 NEW BEST:: SOT 4388007 SOS 752443 HAS SOPS 752443 HAS SOUS 636055 HAS SOUPS 636055 WITH SCORE 636807.443
AT ITER 4427 NEW BEST:: SOT 4387703 SOS 752202 HAS SOPS 752202 HAS SOUS 635751 HAS SOUPS 635751 WITH SCORE 636503.202
AT ITER 4464 NEW BEST:: SOT 4387689 SOS 752243 HAS SOPS 752243 HAS SOUS 635711 HAS SOUPS 635711 WITH SCORE 636463.243
AT ITER 4501 NEW BEST:: SOT 4387689 SOS 752056 HAS SOPS 752056 HAS SOUS 635524 HAS SOUPS 635524 WITH SCORE 636276.056
AT ITER 4508 NEW BEST:: SOT 4387751 SOS 751674 HAS SOPS 751674 HAS SOUS 635333 HAS SOUPS 635333 WITH SCORE 636084.674
AT ITER 4515 NEW BEST:: SOT 4387736 SOS 751644 HAS SOPS 751644 HAS SOUS 635303 HAS SOUPS 635303 WITH SCORE 636054.644
AT ITER 4522 NEW BEST:: SOT 4387789 SOS 751100 HAS SOPS 751100 HAS SOUS 635085 HAS SOUPS 635085 WITH SCORE 635836.1
AT ITER 4605 NEW BEST:: SOT 4387630 SOS 750941 HAS SOPS 750941 HAS SOUS 634926 HAS SOUPS 634926 WITH SCORE 635676.941
AT ITER 4622 NEW BEST:: SOT 4387348 SOS 750377 HAS SOPS 750377 HAS SOUS 634759 HAS SOUPS 634759 WITH SCORE 635509.377
AT ITER 4630 NEW BEST:: SOT 4387348 SOS 750377 HAS SOPS 750377 HAS SOUS 634703 HAS SOUPS 634703 WITH SCORE 635453.377
AT ITER 4658 NEW BEST:: SOT 4387508 SOS 750316 HAS SOPS 750316 HAS SOUS 634509 HAS SOUPS 634509 WITH SCORE 635259.316
AT ITER 4683 NEW BEST:: SOT 4387508 SOS 750098 HAS SOPS 750098 HAS SOUS 634291 HAS SOUPS 634291 WITH SCORE 635041.098
AT ITER 4688 NEW BEST:: SOT 4387508 SOS 749986 HAS SOPS 749986 HAS SOUS 634291 HAS SOUPS 634291 WITH SCORE 635040.986
AT ITER 4695 NEW BEST:: SOT 4387495 SOS 749960 HAS SOPS 749960 HAS SOUS 634265 HAS SOUPS 634265 WITH SCORE 635014.96
AT ITER 4707 NEW BEST:: SOT 4387623 SOS 749518 HAS SOPS 749518 HAS SOUS 634172 HAS SOUPS 634172 WITH SCORE 634921.518
AT ITER 4716 NEW BEST:: SOT 4387851 SOS 749545 HAS SOPS 749545 HAS SOUS 634094 HAS SOUPS 634094 WITH SCORE 634843.545
AT ITER 4718 NEW BEST:: SOT 4387739 SOS 749321 HAS SOPS 749321 HAS SOUS 633971 HAS SOUPS 633971 WITH SCORE 634720.321
AT ITER 4727 NEW BEST:: SOT 4387750 SOS 749119 HAS SOPS 749119 HAS SOUS 633758 HAS SOUPS 633758 WITH SCORE 634507.119
AT ITER 4759 NEW BEST:: SOT 4387721 SOS 749061 HAS SOPS 749061 HAS SOUS 633728 HAS SOUPS 633728 WITH SCORE 634477.061
AT ITER 4785 NEW BEST:: SOT 4387721 SOS 748983 HAS SOPS 748983 HAS SOUS 633728 HAS SOUPS 633728 WITH SCORE 634476.983
AT ITER 4823 NEW BEST:: SOT 4387601 SOS 748884 HAS SOPS 748884 HAS SOUS 633704 HAS SOUPS 633704 WITH SCORE 634452.884
AT ITER 4832 NEW BEST:: SOT 4387598 SOS 748878 HAS SOPS 748878 HAS SOUS 633684 HAS SOUPS 633684 WITH SCORE 634432.878
AT ITER 4890 NEW BEST:: SOT 4387446 SOS 749139 HAS SOPS 749139 HAS SOUS 633330 HAS SOUPS 633330 WITH SCORE 634079.139
AT ITER 4911 NEW BEST:: SOT 4387468 SOS 748939 HAS SOPS 748939 HAS SOUS 633234 HAS SOUPS 633234 WITH SCORE 633982.939
AT ITER 4920 NEW BEST:: SOT 4387453 SOS 748909 HAS SOPS 748909 HAS SOUS 633219 HAS SOUPS 633219 WITH SCORE 633967.909
AT ITER 4939 NEW BEST:: SOT 4387446 SOS 748895 HAS SOPS 748895 HAS SOUS 632933 HAS SOUPS 632933 WITH SCORE 633681.895
AT ITER 4941 NEW BEST:: SOT 4387500 SOS 748389 HAS SOPS 748389 HAS SOUS 632680 HAS SOUPS 632680 WITH SCORE 633428.389
AT ITER 4945 NEW BEST:: SOT 4387251 SOS 749313 HAS SOPS 749313 HAS SOUS 632612 HAS SOUPS 632612 WITH SCORE 633361.313
AT ITER 4949 NEW BEST:: SOT 4387339 SOS 749489 HAS SOPS 749489 HAS SOUS 632522 HAS SOUPS 632522 WITH SCORE 633271.489
AT ITER 4979 NEW BEST:: SOT 4387271 SOS 749353 HAS SOPS 749353 HAS SOUS 632386 HAS SOUPS 632386 WITH SCORE 633135.353
AT ITER 4989 NEW BEST:: SOT 4387271 SOS 749353 HAS SOPS 749353 HAS SOUS 632200 HAS SOUPS 632200 WITH SCORE 632949.353
AT ITER 5012 NEW BEST:: SOT 4387175 SOS 749161 HAS SOPS 749161 HAS SOUS 632104 HAS SOUPS 632104 WITH SCORE 632853.161
AT ITER 5013 NEW BEST:: SOT 4387174 SOS 748810 HAS SOPS 748810 HAS SOUS 632102 HAS SOUPS 632102 WITH SCORE 632850.81
AT ITER 5039 NEW BEST:: SOT 4387074 SOS 748610 HAS SOPS 748610 HAS SOUS 632002 HAS SOUPS 632002 WITH SCORE 632750.61
AT ITER 5045 NEW BEST:: SOT 4387004 SOS 748470 HAS SOPS 748470 HAS SOUS 631862 HAS SOUPS 631862 WITH SCORE 632610.47
AT ITER 5075 NEW BEST:: SOT 4387004 SOS 748408 HAS SOPS 748408 HAS SOUS 631800 HAS SOUPS 631800 WITH SCORE 632548.408
AT ITER 5099 NEW BEST:: SOT 4387003 SOS 748406 HAS SOPS 748406 HAS SOUS 631798 HAS SOUPS 631798 WITH SCORE 632546.406
AT ITER 5175 NEW BEST:: SOT 4387003 SOS 748401 HAS SOPS 748401 HAS SOUS 631793 HAS SOUPS 631793 WITH SCORE 632541.401
AT ITER 5184 NEW BEST:: SOT 4386861 SOS 748117 HAS SOPS 748117 HAS SOUS 631509 HAS SOUPS 631509 WITH SCORE 632257.117
AT ITER 5199 NEW BEST:: SOT 4386880 SOS 748155 HAS SOPS 748155 HAS SOUS 631296 HAS SOUPS 631296 WITH SCORE 632044.155
AT ITER 5213 NEW BEST:: SOT 4386801 SOS 747997 HAS SOPS 747997 HAS SOUS 631138 HAS SOUPS 631138 WITH SCORE 631885.997
AT ITER 5223 NEW BEST:: SOT 4386803 SOS 747773 HAS SOPS 747773 HAS SOUS 630914 HAS SOUPS 630914 WITH SCORE 631661.773
AT ITER 5229 NEW BEST:: SOT 4386774 SOS 747715 HAS SOPS 747715 HAS SOUS 630856 HAS SOUPS 630856 WITH SCORE 631603.715
AT ITER 5248 NEW BEST:: SOT 4386731 SOS 747629 HAS SOPS 747629 HAS SOUS 630770 HAS SOUPS 630770 WITH SCORE 631517.629
AT ITER 5259 NEW BEST:: SOT 4387061 SOS 747776 HAS SOPS 747776 HAS SOUS 630747 HAS SOUPS 630747 WITH SCORE 631494.776
AT ITER 5318 NEW BEST:: SOT 4387025 SOS 747704 HAS SOPS 747704 HAS SOUS 630710 HAS SOUPS 630710 WITH SCORE 631457.704
AT ITER 5341 NEW BEST:: SOT 4386716 SOS 747561 HAS SOPS 747561 HAS SOUS 630496 HAS SOUPS 630496 WITH SCORE 631243.561
AT ITER 5356 NEW BEST:: SOT 4386716 SOS 747528 HAS SOPS 747528 HAS SOUS 630496 HAS SOUPS 630496 WITH SCORE 631243.528
AT ITER 5429 NEW BEST:: SOT 4386713 SOS 747522 HAS SOPS 747522 HAS SOUS 630493 HAS SOUPS 630493 WITH SCORE 631240.522
AT ITER 5467 NEW BEST:: SOT 4386613 SOS 747322 HAS SOPS 747322 HAS SOUS 630293 HAS SOUPS 630293 WITH SCORE 631040.322
AT ITER 5470 NEW BEST:: SOT 4386476 SOS 747184 HAS SOPS 747184 HAS SOUS 630155 HAS SOUPS 630155 WITH SCORE 630902.184
AT ITER 5474 NEW BEST:: SOT 4386476 SOS 747154 HAS SOPS 747154 HAS SOUS 630155 HAS SOUPS 630155 WITH SCORE 630902.154
AT ITER 5496 NEW BEST:: SOT 4386271 SOS 746998 HAS SOPS 746998 HAS SOUS 629984 HAS SOUPS 629984 WITH SCORE 630730.998
AT ITER 5501 NEW BEST:: SOT 4386193 SOS 746891 HAS SOPS 746891 HAS SOUS 629905 HAS SOUPS 629905 WITH SCORE 630651.891
AT ITER 5508 NEW BEST:: SOT 4386146 SOS 747044 HAS SOPS 747044 HAS SOUS 629889 HAS SOUPS 629889 WITH SCORE 630636.044
AT ITER 5529 NEW BEST:: SOT 4386198 SOS 747148 HAS SOPS 747148 HAS SOUS 629884 HAS SOUPS 629884 WITH SCORE 630631.148
AT ITER 5596 NEW BEST:: SOT 4386198 SOS 747125 HAS SOPS 747125 HAS SOUS 629861 HAS SOUPS 629861 WITH SCORE 630608.125
AT ITER 5600 NEW BEST:: SOT 4386198 SOS 746916 HAS SOPS 746916 HAS SOUS 629861 HAS SOUPS 629861 WITH SCORE 630607.916
AT ITER 5605 NEW BEST:: SOT 4386084 SOS 746688 HAS SOPS 746688 HAS SOUS 629633 HAS SOUPS 629633 WITH SCORE 630379.688
AT ITER 5619 NEW BEST:: SOT 4385938 SOS 746396 HAS SOPS 746396 HAS SOUS 629341 HAS SOUPS 629341 WITH SCORE 630087.396
AT ITER 5642 NEW BEST:: SOT 4385794 SOS 746324 HAS SOPS 746324 HAS SOUS 629267 HAS SOUPS 629267 WITH SCORE 630013.324
AT ITER 5658 NEW BEST:: SOT 4385794 SOS 746204 HAS SOPS 746204 HAS SOUS 629147 HAS SOUPS 629147 WITH SCORE 629893.204
AT ITER 5664 NEW BEST:: SOT 4385496 SOS 745918 HAS SOPS 745918 HAS SOUS 628856 HAS SOUPS 628856 WITH SCORE 629601.918
AT ITER 5742 NEW BEST:: SOT 4384988 SOS 745596 HAS SOPS 745596 HAS SOUS 628413 HAS SOUPS 628413 WITH SCORE 629158.596
AT ITER 5743 NEW BEST:: SOT 4384895 SOS 745410 HAS SOPS 745410 HAS SOUS 628320 HAS SOUPS 628320 WITH SCORE 629065.41
AT ITER 5749 NEW BEST:: SOT 4384794 SOS 745208 HAS SOPS 745208 HAS SOUS 628112 HAS SOUPS 628112 WITH SCORE 628857.208
AT ITER 5754 NEW BEST:: SOT 4384367 SOS 745974 HAS SOPS 745974 HAS SOUS 627903 HAS SOUPS 627903 WITH SCORE 628648.974
AT ITER 5763 NEW BEST:: SOT 4384343 SOS 745902 HAS SOPS 745902 HAS SOUS 627855 HAS SOUPS 627855 WITH SCORE 628600.902
AT ITER 5767 NEW BEST:: SOT 4384243 SOS 745702 HAS SOPS 745702 HAS SOUS 627824 HAS SOUPS 627824 WITH SCORE 628569.702
AT ITER 5790 NEW BEST:: SOT 4384230 SOS 745676 HAS SOPS 745676 HAS SOUS 627818 HAS SOUPS 627818 WITH SCORE 628563.676
AT ITER 5794 NEW BEST:: SOT 4384130 SOS 746238 HAS SOPS 746238 HAS SOUS 627760 HAS SOUPS 627760 WITH SCORE 628506.238
AT ITER 5828 NEW BEST:: SOT 4383796 SOS 745966 HAS SOPS 745966 HAS SOUS 627488 HAS SOUPS 627488 WITH SCORE 628233.966
AT ITER 5844 NEW BEST:: SOT 4383775 SOS 745844 HAS SOPS 745844 HAS SOUS 627446 HAS SOUPS 627446 WITH SCORE 628191.844
AT ITER 5853 NEW BEST:: SOT 4383493 SOS 745524 HAS SOPS 745524 HAS SOUS 627418 HAS SOUPS 627418 WITH SCORE 628163.524
AT ITER 5854 NEW BEST:: SOT 4383494 SOS 745718 HAS SOPS 745718 HAS SOUS 627369 HAS SOUPS 627369 WITH SCORE 628114.718
AT ITER 5877 NEW BEST:: SOT 4383125 SOS 745357 HAS SOPS 745357 HAS SOUS 627326 HAS SOUPS 627326 WITH SCORE 628071.357
AT ITER 5882 NEW BEST:: SOT 4382807 SOS 745039 HAS SOPS 745039 HAS SOUS 627008 HAS SOUPS 627008 WITH SCORE 627753.039
AT ITER 5899 NEW BEST:: SOT 4382895 SOS 744838 HAS SOPS 744838 HAS SOUS 626860 HAS SOUPS 626860 WITH SCORE 627604.838
AT ITER 5906 NEW BEST:: SOT 4382894 SOS 744861 HAS SOPS 744861 HAS SOUS 626858 HAS SOUPS 626858 WITH SCORE 627602.861
AT ITER 5947 NEW BEST:: SOT 4382798 SOS 744669 HAS SOPS 744669 HAS SOUS 626666 HAS SOUPS 626666 WITH SCORE 627410.669
AT ITER 5977 NEW BEST:: SOT 4382744 SOS 744905 HAS SOPS 744905 HAS SOUS 626612 HAS SOUPS 626612 WITH SCORE 627356.905
AT ITER 5988 NEW BEST:: SOT 4382741 SOS 744899 HAS SOPS 744899 HAS SOUS 626609 HAS SOUPS 626609 WITH SCORE 627353.899
AT ITER 5996 NEW BEST:: SOT 4382591 SOS 744599 HAS SOPS 744599 HAS SOUS 626309 HAS SOUPS 626309 WITH SCORE 627053.599
AT ITER 5997 NEW BEST:: SOT 4382591 SOS 744599 HAS SOPS 744599 HAS SOUS 626151 HAS SOUPS 626151 WITH SCORE 626895.599
AT ITER 5999 NEW BEST:: SOT 4382485 SOS 744493 HAS SOPS 744493 HAS SOUS 626045 HAS SOUPS 626045 WITH SCORE 626789.493
AT ITER 6007 NEW BEST:: SOT 4382353 SOS 744229 HAS SOPS 744229 HAS SOUS 625781 HAS SOUPS 625781 WITH SCORE 626525.229
AT ITER 6008 NEW BEST:: SOT 4382349 SOS 744221 HAS SOPS 744221 HAS SOUS 625773 HAS SOUPS 625773 WITH SCORE 626517.221
AT ITER 6022 NEW BEST:: SOT 4382349 SOS 744221 HAS SOPS 744221 HAS SOUS 625579 HAS SOUPS 625579 WITH SCORE 626323.221
AT ITER 6043 NEW BEST:: SOT 4382222 SOS 743967 HAS SOPS 743967 HAS SOUS 625325 HAS SOUPS 625325 WITH SCORE 626068.967
AT ITER 6066 NEW BEST:: SOT 4382166 SOS 743942 HAS SOPS 743942 HAS SOUS 625284 HAS SOUPS 625284 WITH SCORE 626027.942
AT ITER 6105 NEW BEST:: SOT 4381948 SOS 743274 HAS SOPS 743274 HAS SOUS 624834 HAS SOUPS 624834 WITH SCORE 625577.274
AT ITER 6115 NEW BEST:: SOT 4381895 SOS 743115 HAS SOPS 743115 HAS SOUS 624728 HAS SOUPS 624728 WITH SCORE 625471.115
AT ITER 6159 NEW BEST:: SOT 4381895 SOS 743115 HAS SOPS 743115 HAS SOUS 624655 HAS SOUPS 624655 WITH SCORE 625398.115
AT ITER 6165 NEW BEST:: SOT 4381726 SOS 742777 HAS SOPS 742777 HAS SOUS 624317 HAS SOUPS 624317 WITH SCORE 625059.777
AT ITER 6184 NEW BEST:: SOT 4381834 SOS 742993 HAS SOPS 742993 HAS SOUS 624256 HAS SOUPS 624256 WITH SCORE 624998.993
AT ITER 6185 NEW BEST:: SOT 4381909 SOS 743143 HAS SOPS 743143 HAS SOUS 624214 HAS SOUPS 624214 WITH SCORE 624957.143
AT ITER 6204 NEW BEST:: SOT 4381813 SOS 742951 HAS SOPS 742951 HAS SOUS 624022 HAS SOUPS 624022 WITH SCORE 624764.951
AT ITER 6207 NEW BEST:: SOT 4381388 SOS 742101 HAS SOPS 742101 HAS SOUS 623172 HAS SOUPS 623172 WITH SCORE 623914.101
AT ITER 6213 NEW BEST:: SOT 4381384 SOS 742093 HAS SOPS 742093 HAS SOUS 623172 HAS SOUPS 623172 WITH SCORE 623914.093
AT ITER 6230 NEW BEST:: SOT 4381383 SOS 741750 HAS SOPS 741750 HAS SOUS 623170 HAS SOUPS 623170 WITH SCORE 623911.75
AT ITER 6261 NEW BEST:: SOT 4381267 SOS 741518 HAS SOPS 741518 HAS SOUS 622938 HAS SOUPS 622938 WITH SCORE 623679.518
AT ITER 6262 NEW BEST:: SOT 4379692 SOS 753572 HAS SOPS 753572 HAS SOUS 621725 HAS SOUPS 621725 WITH SCORE 622478.572
AT ITER 6266 NEW BEST:: SOT 4379793 SOS 753301 HAS SOPS 753301 HAS SOUS 621458 HAS SOUPS 621458 WITH SCORE 622211.301
AT ITER 6298 NEW BEST:: SOT 4379679 SOS 753232 HAS SOPS 753232 HAS SOUS 621358 HAS SOUPS 621358 WITH SCORE 622111.232
AT ITER 6301 NEW BEST:: SOT 4379679 SOS 753085 HAS SOPS 753085 HAS SOUS 621358 HAS SOUPS 621358 WITH SCORE 622111.085
AT ITER 6335 NEW BEST:: SOT 4378348 SOS 753335 HAS SOPS 753335 HAS SOUS 620379 HAS SOUPS 620379 WITH SCORE 621132.335
AT ITER 6340 NEW BEST:: SOT 4378285 SOS 753209 HAS SOPS 753209 HAS SOUS 620253 HAS SOUPS 620253 WITH SCORE 621006.209
AT ITER 6343 NEW BEST:: SOT 4378132 SOS 752750 HAS SOPS 752750 HAS SOUS 619947 HAS SOUPS 619947 WITH SCORE 620699.75
AT ITER 6351 NEW BEST:: SOT 4378132 SOS 752616 HAS SOPS 752616 HAS SOUS 619880 HAS SOUPS 619880 WITH SCORE 620632.616
AT ITER 6364 NEW BEST:: SOT 4378125 SOS 752602 HAS SOPS 752602 HAS SOUS 619866 HAS SOUPS 619866 WITH SCORE 620618.602
AT ITER 6376 NEW BEST:: SOT 4378085 SOS 752569 HAS SOPS 752569 HAS SOUS 619816 HAS SOUPS 619816 WITH SCORE 620568.569
AT ITER 6404 NEW BEST:: SOT 4378019 SOS 752437 HAS SOPS 752437 HAS SOUS 619538 HAS SOUPS 619538 WITH SCORE 620290.437
AT ITER 6415 NEW BEST:: SOT 4377947 SOS 752357 HAS SOPS 752357 HAS SOUS 619522 HAS SOUPS 619522 WITH SCORE 620274.357
AT ITER 6421 NEW BEST:: SOT 4377779 SOS 752105 HAS SOPS 752105 HAS SOUS 619270 HAS SOUPS 619270 WITH SCORE 620022.105
AT ITER 6427 NEW BEST:: SOT 4377651 SOS 751849 HAS SOPS 751849 HAS SOUS 619014 HAS SOUPS 619014 WITH SCORE 619765.849
AT ITER 6452 NEW BEST:: SOT 4377647 SOS 751841 HAS SOPS 751841 HAS SOUS 618991 HAS SOUPS 618991 WITH SCORE 619742.841
AT ITER 6470 NEW BEST:: SOT 4377636 SOS 751830 HAS SOPS 751830 HAS SOUS 618980 HAS SOUPS 618980 WITH SCORE 619731.83
AT ITER 6485 NEW BEST:: SOT 4377494 SOS 751546 HAS SOPS 751546 HAS SOUS 618838 HAS SOUPS 618838 WITH SCORE 619589.546
AT ITER 6525 NEW BEST:: SOT 4377494 SOS 751478 HAS SOPS 751478 HAS SOUS 618793 HAS SOUPS 618793 WITH SCORE 619544.478
AT ITER 6538 NEW BEST:: SOT 4377378 SOS 751105 HAS SOPS 751105 HAS SOUS 618420 HAS SOUPS 618420 WITH SCORE 619171.105
AT ITER 6572 NEW BEST:: SOT 4377373 SOS 751090 HAS SOPS 751090 HAS SOUS 618410 HAS SOUPS 618410 WITH SCORE 619161.09
AT ITER 6574 NEW BEST:: SOT 4376142 SOS 753039 HAS SOPS 753039 HAS SOUS 618158 HAS SOUPS 618158 WITH SCORE 618911.039
AT ITER 6586 NEW BEST:: SOT 4376016 SOS 752787 HAS SOPS 752787 HAS SOUS 618032 HAS SOUPS 618032 WITH SCORE 618784.787
AT ITER 6597 NEW BEST:: SOT 4375904 SOS 752920 HAS SOPS 752920 HAS SOUS 617989 HAS SOUPS 617989 WITH SCORE 618741.92
AT ITER 6607 NEW BEST:: SOT 4371173 SOS 770926 HAS SOPS 770926 HAS SOUS 613912 HAS SOUPS 613912 WITH SCORE 614682.926
AT ITER 6618 NEW BEST:: SOT 4371086 SOS 770752 HAS SOPS 770752 HAS SOUS 613738 HAS SOUPS 613738 WITH SCORE 614508.752
AT ITER 6619 NEW BEST:: SOT 4371084 SOS 770746 HAS SOPS 770746 HAS SOUS 613734 HAS SOUPS 613734 WITH SCORE 614504.746
AT ITER 6625 NEW BEST:: SOT 4370786 SOS 770150 HAS SOPS 770150 HAS SOUS 613287 HAS SOUPS 613287 WITH SCORE 614057.15
AT ITER 6627 NEW BEST:: SOT 4370708 SOS 769468 HAS SOPS 769468 HAS SOUS 613091 HAS SOUPS 613091 WITH SCORE 613860.468
AT ITER 6640 NEW BEST:: SOT 4370664 SOS 769380 HAS SOPS 769380 HAS SOUS 613047 HAS SOUPS 613047 WITH SCORE 613816.38
AT ITER 6644 NEW BEST:: SOT 4370599 SOS 769250 HAS SOPS 769250 HAS SOUS 612982 HAS SOUPS 612982 WITH SCORE 613751.25
AT ITER 6703 NEW BEST:: SOT 4370599 SOS 769086 HAS SOPS 769086 HAS SOUS 612818 HAS SOUPS 612818 WITH SCORE 613587.086
AT ITER 6739 NEW BEST:: SOT 4370524 SOS 768936 HAS SOPS 768936 HAS SOUS 612818 HAS SOUPS 612818 WITH SCORE 613586.936
AT ITER 6746 NEW BEST:: SOT 4370188 SOS 768656 HAS SOPS 768656 HAS SOUS 612482 HAS SOUPS 612482 WITH SCORE 613250.656
AT ITER 6761 NEW BEST:: SOT 4370188 SOS 768656 HAS SOPS 768656 HAS SOUS 612451 HAS SOUPS 612451 WITH SCORE 613219.656
AT ITER 6803 NEW BEST:: SOT 4369972 SOS 768552 HAS SOPS 768552 HAS SOUS 612235 HAS SOUPS 612235 WITH SCORE 613003.552
AT ITER 6824 NEW BEST:: SOT 4370098 SOS 768804 HAS SOPS 768804 HAS SOUS 612163 HAS SOUPS 612163 WITH SCORE 612931.804
AT ITER 6828 NEW BEST:: SOT 4369956 SOS 768520 HAS SOPS 768520 HAS SOUS 611879 HAS SOUPS 611879 WITH SCORE 612647.52
AT ITER 6882 NEW BEST:: SOT 4369836 SOS 768280 HAS SOPS 768280 HAS SOUS 611879 HAS SOUPS 611879 WITH SCORE 612647.28
AT ITER 6892 NEW BEST:: SOT 4369538 SOS 767684 HAS SOPS 767684 HAS SOUS 611694 HAS SOUPS 611694 WITH SCORE 612461.684
AT ITER 6933 NEW BEST:: SOT 4369521 SOS 767650 HAS SOPS 767650 HAS SOUS 611677 HAS SOUPS 611677 WITH SCORE 612444.65
AT ITER 6940 NEW BEST:: SOT 4369447 SOS 767502 HAS SOPS 767502 HAS SOUS 611586 HAS SOUPS 611586 WITH SCORE 612353.502
AT ITER 6954 NEW BEST:: SOT 4369409 SOS 767426 HAS SOPS 767426 HAS SOUS 611510 HAS SOUPS 611510 WITH SCORE 612277.426
AT ITER 6984 NEW BEST:: SOT 4369313 SOS 767330 HAS SOPS 767330 HAS SOUS 611414 HAS SOUPS 611414 WITH SCORE 612181.33
AT ITER 6992 NEW BEST:: SOT 4369313 SOS 767211 HAS SOPS 767211 HAS SOUS 611295 HAS SOUPS 611295 WITH SCORE 612062.211
AT ITER 6994 NEW BEST:: SOT 4369151 SOS 766729 HAS SOPS 766729 HAS SOUS 611243 HAS SOUPS 611243 WITH SCORE 612009.729
AT ITER 6997 NEW BEST:: SOT 4369252 SOS 766714 HAS SOPS 766714 HAS SOUS 611228 HAS SOUPS 611228 WITH SCORE 611994.714
AT ITER 7013 NEW BEST:: SOT 4368813 SOS 765836 HAS SOPS 765836 HAS SOUS 610954 HAS SOUPS 610954 WITH SCORE 611719.836
AT ITER 7014 NEW BEST:: SOT 4368805 SOS 765697 HAS SOPS 765697 HAS SOUS 610938 HAS SOUPS 610938 WITH SCORE 611703.697
AT ITER 7015 NEW BEST:: SOT 4368609 SOS 765494 HAS SOPS 765494 HAS SOUS 610553 HAS SOUPS 610553 WITH SCORE 611318.494
AT ITER 7017 NEW BEST:: SOT 4368452 SOS 765180 HAS SOPS 765180 HAS SOUS 610458 HAS SOUPS 610458 WITH SCORE 611223.18
AT ITER 7031 NEW BEST:: SOT 4368325 SOS 764926 HAS SOPS 764926 HAS SOUS 610204 HAS SOUPS 610204 WITH SCORE 610968.926
AT ITER 7037 NEW BEST:: SOT 4368168 SOS 764268 HAS SOPS 764268 HAS SOUS 609703 HAS SOUPS 609703 WITH SCORE 610467.268
AT ITER 7064 NEW BEST:: SOT 4368168 SOS 764136 HAS SOPS 764136 HAS SOUS 609703 HAS SOUPS 609703 WITH SCORE 610467.136
AT ITER 7067 NEW BEST:: SOT 4367828 SOS 763772 HAS SOPS 763772 HAS SOUS 609284 HAS SOUPS 609284 WITH SCORE 610047.772
AT ITER 7069 NEW BEST:: SOT 4367803 SOS 763798 HAS SOPS 763798 HAS SOUS 609278 HAS SOUPS 609278 WITH SCORE 610041.798
AT ITER 7073 NEW BEST:: SOT 4367793 SOS 763256 HAS SOPS 763256 HAS SOUS 609007 HAS SOUPS 609007 WITH SCORE 609770.256
AT ITER 7097 NEW BEST:: SOT 4367732 SOS 763134 HAS SOPS 763134 HAS SOUS 608885 HAS SOUPS 608885 WITH SCORE 609648.134
AT ITER 7126 NEW BEST:: SOT 4367701 SOS 763072 HAS SOPS 763072 HAS SOUS 608823 HAS SOUPS 608823 WITH SCORE 609586.072
AT ITER 7133 NEW BEST:: SOT 4367473 SOS 762616 HAS SOPS 762616 HAS SOUS 608367 HAS SOUPS 608367 WITH SCORE 609129.616
AT ITER 7198 NEW BEST:: SOT 4366219 SOS 761160 HAS SOPS 761160 HAS SOUS 606911 HAS SOUPS 606911 WITH SCORE 607672.16
AT ITER 7201 NEW BEST:: SOT 4366168 SOS 760546 HAS SOPS 760546 HAS SOUS 606809 HAS SOUPS 606809 WITH SCORE 607569.546
AT ITER 7207 NEW BEST:: SOT 4366111 SOS 760432 HAS SOPS 760432 HAS SOUS 606752 HAS SOUPS 606752 WITH SCORE 607512.432
AT ITER 7222 NEW BEST:: SOT 4366111 SOS 760263 HAS SOPS 760263 HAS SOUS 606752 HAS SOUPS 606752 WITH SCORE 607512.263
AT ITER 7229 NEW BEST:: SOT 4366200 SOS 760441 HAS SOPS 760441 HAS SOUS 606703 HAS SOUPS 606703 WITH SCORE 607463.441
AT ITER 7244 NEW BEST:: SOT 4366270 SOS 760053 HAS SOPS 760053 HAS SOUS 606509 HAS SOUPS 606509 WITH SCORE 607269.053
AT ITER 7255 NEW BEST:: SOT 4366194 SOS 759825 HAS SOPS 759825 HAS SOUS 606357 HAS SOUPS 606357 WITH SCORE 607116.825
AT ITER 7267 NEW BEST:: SOT 4366143 SOS 759629 HAS SOPS 759629 HAS SOUS 606212 HAS SOUPS 606212 WITH SCORE 606971.629
AT ITER 7293 NEW BEST:: SOT 4366054 SOS 759451 HAS SOPS 759451 HAS SOUS 606034 HAS SOUPS 606034 WITH SCORE 606793.451
AT ITER 7338 NEW BEST:: SOT 4365966 SOS 759275 HAS SOPS 759275 HAS SOUS 605958 HAS SOUPS 605958 WITH SCORE 606717.275
AT ITER 7374 NEW BEST:: SOT 4365920 SOS 759234 HAS SOPS 759234 HAS SOUS 605917 HAS SOUPS 605917 WITH SCORE 606676.234
AT ITER 7375 NEW BEST:: SOT 4365829 SOS 758923 HAS SOPS 758923 HAS SOUS 605606 HAS SOUPS 605606 WITH SCORE 606364.923
AT ITER 7391 NEW BEST:: SOT 4365270 SOS 758217 HAS SOPS 758217 HAS SOUS 605067 HAS SOUPS 605067 WITH SCORE 605825.217
AT ITER 7405 NEW BEST:: SOT 4365246 SOS 758416 HAS SOPS 758416 HAS SOUS 605050 HAS SOUPS 605050 WITH SCORE 605808.416
AT ITER 7408 NEW BEST:: SOT 4365184 SOS 758292 HAS SOPS 758292 HAS SOUS 604926 HAS SOUPS 604926 WITH SCORE 605684.292
AT ITER 7443 NEW BEST:: SOT 4365065 SOS 758162 HAS SOPS 758162 HAS SOUS 604828 HAS SOUPS 604828 WITH SCORE 605586.162
AT ITER 7444 NEW BEST:: SOT 4364895 SOS 757376 HAS SOPS 757376 HAS SOUS 604509 HAS SOUPS 604509 WITH SCORE 605266.376
AT ITER 7461 NEW BEST:: SOT 4364861 SOS 757308 HAS SOPS 757308 HAS SOUS 604441 HAS SOUPS 604441 WITH SCORE 605198.308
AT ITER 7504 NEW BEST:: SOT 4364861 SOS 756801 HAS SOPS 756801 HAS SOUS 604216 HAS SOUPS 604216 WITH SCORE 604972.801
AT ITER 7509 NEW BEST:: SOT 4364860 SOS 756799 HAS SOPS 756799 HAS SOUS 604214 HAS SOUPS 604214 WITH SCORE 604970.799
AT ITER 7515 NEW BEST:: SOT 4364857 SOS 756793 HAS SOPS 756793 HAS SOUS 604208 HAS SOUPS 604208 WITH SCORE 604964.793
AT ITER 7520 NEW BEST:: SOT 4364981 SOS 756903 HAS SOPS 756903 HAS SOUS 604120 HAS SOUPS 604120 WITH SCORE 604876.903
AT ITER 7522 NEW BEST:: SOT 4364981 SOS 756903 HAS SOPS 756903 HAS SOUS 604119 HAS SOUPS 604119 WITH SCORE 604875.903
AT ITER 7526 NEW BEST:: SOT 4364942 SOS 756825 HAS SOPS 756825 HAS SOUS 604041 HAS SOUPS 604041 WITH SCORE 604797.825
AT ITER 7530 NEW BEST:: SOT 4364942 SOS 756735 HAS SOPS 756735 HAS SOUS 604041 HAS SOUPS 604041 WITH SCORE 604797.735
AT ITER 7535 NEW BEST:: SOT 4364942 SOS 756700 HAS SOPS 756700 HAS SOUS 604041 HAS SOUPS 604041 WITH SCORE 604797.7
AT ITER 7541 NEW BEST:: SOT 4364910 SOS 756636 HAS SOPS 756636 HAS SOUS 603977 HAS SOUPS 603977 WITH SCORE 604733.636
AT ITER 7573 NEW BEST:: SOT 4364871 SOS 756558 HAS SOPS 756558 HAS SOUS 603926 HAS SOUPS 603926 WITH SCORE 604682.558
AT ITER 7578 NEW BEST:: SOT 4364863 SOS 756551 HAS SOPS 756551 HAS SOUS 603918 HAS SOUPS 603918 WITH SCORE 604674.551
AT ITER 7581 NEW BEST:: SOT 4364797 SOS 756518 HAS SOPS 756518 HAS SOUS 603860 HAS SOUPS 603860 WITH SCORE 604616.518
AT ITER 7618 NEW BEST:: SOT 4364802 SOS 756508 HAS SOPS 756508 HAS SOUS 603860 HAS SOUPS 603860 WITH SCORE 604616.508
AT ITER 7625 NEW BEST:: SOT 4364805 SOS 756439 HAS SOPS 756439 HAS SOUS 603855 HAS SOUPS 603855 WITH SCORE 604611.439
AT ITER 7644 NEW BEST:: SOT 4364773 SOS 756271 HAS SOPS 756271 HAS SOUS 603771 HAS SOUPS 603771 WITH SCORE 604527.271
AT ITER 7652 NEW BEST:: SOT 4364773 SOS 756271 HAS SOPS 756271 HAS SOUS 603746 HAS SOUPS 603746 WITH SCORE 604502.271
AT ITER 7657 NEW BEST:: SOT 4364378 SOS 755481 HAS SOPS 755481 HAS SOUS 603487 HAS SOUPS 603487 WITH SCORE 604242.481
AT ITER 7659 NEW BEST:: SOT 4364378 SOS 755456 HAS SOPS 755456 HAS SOUS 603486 HAS SOUPS 603486 WITH SCORE 604241.456
AT ITER 7662 NEW BEST:: SOT 4364378 SOS 755399 HAS SOPS 755399 HAS SOUS 603445 HAS SOUPS 603445 WITH SCORE 604200.399
AT ITER 7672 NEW BEST:: SOT 4364485 SOS 755613 HAS SOPS 755613 HAS SOUS 603428 HAS SOUPS 603428 WITH SCORE 604183.613
AT ITER 7679 NEW BEST:: SOT 4364433 SOS 755561 HAS SOPS 755561 HAS SOUS 603376 HAS SOUPS 603376 WITH SCORE 604131.561
AT ITER 7712 NEW BEST:: SOT 4364240 SOS 755175 HAS SOPS 755175 HAS SOUS 603360 HAS SOUPS 603360 WITH SCORE 604115.175
AT ITER 7746 NEW BEST:: SOT 4364240 SOS 754898 HAS SOPS 754898 HAS SOUS 603360 HAS SOUPS 603360 WITH SCORE 604114.898
AT ITER 7764 NEW BEST:: SOT 4364174 SOS 754832 HAS SOPS 754832 HAS SOUS 603294 HAS SOUPS 603294 WITH SCORE 604048.832
AT ITER 7766 NEW BEST:: SOT 4364340 SOS 753834 HAS SOPS 753834 HAS SOUS 602876 HAS SOUPS 602876 WITH SCORE 603629.834
AT ITER 7785 NEW BEST:: SOT 4364472 SOS 753809 HAS SOPS 753809 HAS SOUS 602851 HAS SOUPS 602851 WITH SCORE 603604.809
AT ITER 7796 NEW BEST:: SOT 4364040 SOS 747606 HAS SOPS 747606 HAS SOUS 602275 HAS SOUPS 602275 WITH SCORE 603022.606
AT ITER 7823 NEW BEST:: SOT 4363934 SOS 747394 HAS SOPS 747394 HAS SOUS 601939 HAS SOUPS 601939 WITH SCORE 602686.394
AT ITER 7828 NEW BEST:: SOT 4363934 SOS 747394 HAS SOPS 747394 HAS SOUS 601937 HAS SOUPS 601937 WITH SCORE 602684.394
AT ITER 7837 NEW BEST:: SOT 4363848 SOS 747222 HAS SOPS 747222 HAS SOUS 601765 HAS SOUPS 601765 WITH SCORE 602512.222
AT ITER 7844 NEW BEST:: SOT 4363771 SOS 747068 HAS SOPS 747068 HAS SOUS 601459 HAS SOUPS 601459 WITH SCORE 602206.068
AT ITER 7846 NEW BEST:: SOT 4363760 SOS 747046 HAS SOPS 747046 HAS SOUS 601437 HAS SOUPS 601437 WITH SCORE 602184.046
AT ITER 7854 NEW BEST:: SOT 4363753 SOS 747032 HAS SOPS 747032 HAS SOUS 601430 HAS SOUPS 601430 WITH SCORE 602177.032
AT ITER 7899 NEW BEST:: SOT 4363604 SOS 746734 HAS SOPS 746734 HAS SOUS 601384 HAS SOUPS 601384 WITH SCORE 602130.734
AT ITER 7908 NEW BEST:: SOT 4363596 SOS 746718 HAS SOPS 746718 HAS SOUS 601368 HAS SOUPS 601368 WITH SCORE 602114.718
AT ITER 7918 NEW BEST:: SOT 4363586 SOS 746698 HAS SOPS 746698 HAS SOUS 601348 HAS SOUPS 601348 WITH SCORE 602094.698
AT ITER 7941 NEW BEST:: SOT 4363505 SOS 746536 HAS SOPS 746536 HAS SOUS 601186 HAS SOUPS 601186 WITH SCORE 601932.536
AT ITER 7953 NEW BEST:: SOT 4363363 SOS 746252 HAS SOPS 746252 HAS SOUS 600902 HAS SOUPS 600902 WITH SCORE 601648.252
AT ITER 7977 NEW BEST:: SOT 4363419 SOS 746364 HAS SOPS 746364 HAS SOUS 600669 HAS SOUPS 600669 WITH SCORE 601415.364
AT ITER 8028 NEW BEST:: SOT 4362028 SOS 747299 HAS SOPS 747299 HAS SOUS 599840 HAS SOUPS 599840 WITH SCORE 600587.299
AT ITER 8055 NEW BEST:: SOT 4362028 SOS 747191 HAS SOPS 747191 HAS SOUS 599786 HAS SOUPS 599786 WITH SCORE 600533.191
AT ITER 8138 NEW BEST:: SOT 4362020 SOS 747284 HAS SOPS 747284 HAS SOUS 599778 HAS SOUPS 599778 WITH SCORE 600525.284
AT ITER 8146 NEW BEST:: SOT 4361946 SOS 747210 HAS SOPS 747210 HAS SOUS 599704 HAS SOUPS 599704 WITH SCORE 600451.21
AT ITER 8174 NEW BEST:: SOT 4361946 SOS 747185 HAS SOPS 747185 HAS SOUS 599704 HAS SOUPS 599704 WITH SCORE 600451.185
AT ITER 8195 NEW BEST:: SOT 4361942 SOS 747177 HAS SOPS 747177 HAS SOUS 599700 HAS SOUPS 599700 WITH SCORE 600447.177
AT ITER 8201 NEW BEST:: SOT 4361995 SOS 747141 HAS SOPS 747141 HAS SOUS 599664 HAS SOUPS 599664 WITH SCORE 600411.141
AT ITER 8212 NEW BEST:: SOT 4361995 SOS 747141 HAS SOPS 747141 HAS SOUS 599633 HAS SOUPS 599633 WITH SCORE 600380.141
AT ITER 8229 NEW BEST:: SOT 4361857 SOS 747211 HAS SOPS 747211 HAS SOUS 599568 HAS SOUPS 599568 WITH SCORE 600315.211
AT ITER 8231 NEW BEST:: SOT 4361729 SOS 747083 HAS SOPS 747083 HAS SOUS 599440 HAS SOUPS 599440 WITH SCORE 600187.083
AT ITER 8238 NEW BEST:: SOT 4361643 SOS 746911 HAS SOPS 746911 HAS SOUS 599283 HAS SOUPS 599283 WITH SCORE 600029.911
AT ITER 8266 NEW BEST:: SOT 4361511 SOS 746647 HAS SOPS 746647 HAS SOUS 599019 HAS SOUPS 599019 WITH SCORE 599765.647
AT ITER 8277 NEW BEST:: SOT 4361445 SOS 746581 HAS SOPS 746581 HAS SOUS 599019 HAS SOUPS 599019 WITH SCORE 599765.581
AT ITER 8310 NEW BEST:: SOT 4361375 SOS 746441 HAS SOPS 746441 HAS SOUS 598879 HAS SOUPS 598879 WITH SCORE 599625.441
AT ITER 8352 NEW BEST:: SOT 4361165 SOS 745890 HAS SOPS 745890 HAS SOUS 598459 HAS SOUPS 598459 WITH SCORE 599204.89
AT ITER 8360 NEW BEST:: SOT 4361036 SOS 745632 HAS SOPS 745632 HAS SOUS 598201 HAS SOUPS 598201 WITH SCORE 598946.632
AT ITER 8377 NEW BEST:: SOT 4361040 SOS 745640 HAS SOPS 745640 HAS SOUS 598151 HAS SOUPS 598151 WITH SCORE 598896.64
AT ITER 8419 NEW BEST:: SOT 4361030 SOS 745620 HAS SOPS 745620 HAS SOUS 598131 HAS SOUPS 598131 WITH SCORE 598876.62
AT ITER 8433 NEW BEST:: SOT 4360922 SOS 745404 HAS SOPS 745404 HAS SOUS 597915 HAS SOUPS 597915 WITH SCORE 598660.404
AT ITER 8439 NEW BEST:: SOT 4360902 SOS 745364 HAS SOPS 745364 HAS SOUS 597879 HAS SOUPS 597879 WITH SCORE 598624.364
AT ITER 8454 NEW BEST:: SOT 4360466 SOS 744492 HAS SOPS 744492 HAS SOUS 597173 HAS SOUPS 597173 WITH SCORE 597917.492
AT ITER 8481 NEW BEST:: SOT 4360451 SOS 744485 HAS SOPS 744485 HAS SOUS 597166 HAS SOUPS 597166 WITH SCORE 597910.485
AT ITER 8512 NEW BEST:: SOT 4360451 SOS 744308 HAS SOPS 744308 HAS SOUS 597166 HAS SOUPS 597166 WITH SCORE 597910.308
AT ITER 8560 NEW BEST:: SOT 4360357 SOS 744167 HAS SOPS 744167 HAS SOUS 597025 HAS SOUPS 597025 WITH SCORE 597769.167
AT ITER 8584 NEW BEST:: SOT 4360346 SOS 744145 HAS SOPS 744145 HAS SOUS 597009 HAS SOUPS 597009 WITH SCORE 597753.145
AT ITER 8592 NEW BEST:: SOT 4360346 SOS 744011 HAS SOPS 744011 HAS SOUS 597009 HAS SOUPS 597009 WITH SCORE 597753.011
AT ITER 8600 NEW BEST:: SOT 4360340 SOS 743999 HAS SOPS 743999 HAS SOUS 596997 HAS SOUPS 596997 WITH SCORE 597740.999
AT ITER 8630 NEW BEST:: SOT 4360279 SOS 743877 HAS SOPS 743877 HAS SOUS 596875 HAS SOUPS 596875 WITH SCORE 597618.877
AT ITER 8637 NEW BEST:: SOT 4359985 SOS 743617 HAS SOPS 743617 HAS SOUS 596686 HAS SOUPS 596686 WITH SCORE 597429.617
AT ITER 8654 NEW BEST:: SOT 4359886 SOS 743419 HAS SOPS 743419 HAS SOUS 596587 HAS SOUPS 596587 WITH SCORE 597330.419
AT ITER 8657 NEW BEST:: SOT 4359847 SOS 743393 HAS SOPS 743393 HAS SOUS 596548 HAS SOUPS 596548 WITH SCORE 597291.393
AT ITER 8715 NEW BEST:: SOT 4359847 SOS 743096 HAS SOPS 743096 HAS SOUS 596251 HAS SOUPS 596251 WITH SCORE 596994.096
AT ITER 8722 NEW BEST:: SOT 4359836 SOS 742866 HAS SOPS 742866 HAS SOUS 596022 HAS SOUPS 596022 WITH SCORE 596764.866
AT ITER 8732 NEW BEST:: SOT 4359436 SOS 742066 HAS SOPS 742066 HAS SOUS 595379 HAS SOUPS 595379 WITH SCORE 596121.066
AT ITER 8750 NEW BEST:: SOT 4358815 SOS 741556 HAS SOPS 741556 HAS SOUS 594869 HAS SOUPS 594869 WITH SCORE 595610.556
AT ITER 8760 NEW BEST:: SOT 4358686 SOS 741298 HAS SOPS 741298 HAS SOUS 594740 HAS SOUPS 594740 WITH SCORE 595481.298
AT ITER 8776 NEW BEST:: SOT 4358610 SOS 741222 HAS SOPS 741222 HAS SOUS 594626 HAS SOUPS 594626 WITH SCORE 595367.222
AT ITER 8800 NEW BEST:: SOT 4358599 SOS 741219 HAS SOPS 741219 HAS SOUS 594615 HAS SOUPS 594615 WITH SCORE 595356.219
AT ITER 8820 NEW BEST:: SOT 4358597 SOS 741215 HAS SOPS 741215 HAS SOUS 594611 HAS SOUPS 594611 WITH SCORE 595352.215
AT ITER 8824 NEW BEST:: SOT 4358584 SOS 741189 HAS SOPS 741189 HAS SOUS 594585 HAS SOUPS 594585 WITH SCORE 595326.189
AT ITER 8838 NEW BEST:: SOT 4358578 SOS 741201 HAS SOPS 741201 HAS SOUS 594579 HAS SOUPS 594579 WITH SCORE 595320.201
AT ITER 8849 NEW BEST:: SOT 4358578 SOS 741091 HAS SOPS 741091 HAS SOUS 594469 HAS SOUPS 594469 WITH SCORE 595210.091
AT ITER 8877 NEW BEST:: SOT 4358577 SOS 741046 HAS SOPS 741046 HAS SOUS 594467 HAS SOUPS 594467 WITH SCORE 595208.046
AT ITER 8895 NEW BEST:: SOT 4358572 SOS 741036 HAS SOPS 741036 HAS SOUS 594457 HAS SOUPS 594457 WITH SCORE 595198.036
AT ITER 8920 NEW BEST:: SOT 4358572 SOS 740366 HAS SOPS 740366 HAS SOUS 594457 HAS SOUPS 594457 WITH SCORE 595197.366
AT ITER 8960 NEW BEST:: SOT 4358590 SOS 739810 HAS SOPS 739810 HAS SOUS 594302 HAS SOUPS 594302 WITH SCORE 595041.81
AT ITER 8977 NEW BEST:: SOT 4358523 SOS 739670 HAS SOPS 739670 HAS SOUS 594167 HAS SOUPS 594167 WITH SCORE 594906.67
AT ITER 8990 NEW BEST:: SOT 4358433 SOS 739347 HAS SOPS 739347 HAS SOUS 593844 HAS SOUPS 593844 WITH SCORE 594583.347
AT ITER 9019 NEW BEST:: SOT 4358217 SOS 738881 HAS SOPS 738881 HAS SOUS 593662 HAS SOUPS 593662 WITH SCORE 594400.881
AT ITER 9022 NEW BEST:: SOT 4358244 SOS 738708 HAS SOPS 738708 HAS SOUS 593334 HAS SOUPS 593334 WITH SCORE 594072.708
AT ITER 9027 NEW BEST:: SOT 4358202 SOS 738624 HAS SOPS 738624 HAS SOUS 593292 HAS SOUPS 593292 WITH SCORE 594030.624
AT ITER 9065 NEW BEST:: SOT 4358202 SOS 738624 HAS SOPS 738624 HAS SOUS 593290 HAS SOUPS 593290 WITH SCORE 594028.624
AT ITER 9108 NEW BEST:: SOT 4358089 SOS 738398 HAS SOPS 738398 HAS SOUS 593162 HAS SOUPS 593162 WITH SCORE 593900.398
AT ITER 9109 NEW BEST:: SOT 4357950 SOS 738732 HAS SOPS 738732 HAS SOUS 593091 HAS SOUPS 593091 WITH SCORE 593829.732
AT ITER 9131 NEW BEST:: SOT 4357949 SOS 738730 HAS SOPS 738730 HAS SOUS 593089 HAS SOUPS 593089 WITH SCORE 593827.73
AT ITER 9172 NEW BEST:: SOT 4357585 SOS 738650 HAS SOPS 738650 HAS SOUS 592989 HAS SOUPS 592989 WITH SCORE 593727.65
AT ITER 9191 NEW BEST:: SOT 4357331 SOS 738396 HAS SOPS 738396 HAS SOUS 592735 HAS SOUPS 592735 WITH SCORE 593473.396
AT ITER 9195 NEW BEST:: SOT 4357471 SOS 738138 HAS SOPS 738138 HAS SOUS 592603 HAS SOUPS 592603 WITH SCORE 593341.138
AT ITER 9217 NEW BEST:: SOT 4357465 SOS 737980 HAS SOPS 737980 HAS SOUS 592518 HAS SOUPS 592518 WITH SCORE 593255.98
AT ITER 9218 NEW BEST:: SOT 4357464 SOS 737971 HAS SOPS 737971 HAS SOUS 592510 HAS SOUPS 592510 WITH SCORE 593247.971
AT ITER 9263 NEW BEST:: SOT 4357453 SOS 737970 HAS SOPS 737970 HAS SOUS 592499 HAS SOUPS 592499 WITH SCORE 593236.97
AT ITER 9287 NEW BEST:: SOT 4357553 SOS 737955 HAS SOPS 737955 HAS SOUS 592484 HAS SOUPS 592484 WITH SCORE 593221.955
AT ITER 9297 NEW BEST:: SOT 4357527 SOS 737903 HAS SOPS 737903 HAS SOUS 592432 HAS SOUPS 592432 WITH SCORE 593169.903
AT ITER 9305 NEW BEST:: SOT 4357585 SOS 737681 HAS SOPS 737681 HAS SOUS 592379 HAS SOUPS 592379 WITH SCORE 593116.681
AT ITER 9310 NEW BEST:: SOT 4357541 SOS 737593 HAS SOPS 737593 HAS SOUS 592291 HAS SOUPS 592291 WITH SCORE 593028.593
AT ITER 9324 NEW BEST:: SOT 4357347 SOS 737205 HAS SOPS 737205 HAS SOUS 591903 HAS SOUPS 591903 WITH SCORE 592640.205
AT ITER 9343 NEW BEST:: SOT 4357216 SOS 737179 HAS SOPS 737179 HAS SOUS 591827 HAS SOUPS 591827 WITH SCORE 592564.179
AT ITER 9372 NEW BEST:: SOT 4357127 SOS 736912 HAS SOPS 736912 HAS SOUS 591579 HAS SOUPS 591579 WITH SCORE 592315.912
AT ITER 9394 NEW BEST:: SOT 4356989 SOS 736636 HAS SOPS 736636 HAS SOUS 591303 HAS SOUPS 591303 WITH SCORE 592039.636
AT ITER 9407 NEW BEST:: SOT 4356989 SOS 736636 HAS SOPS 736636 HAS SOUS 591111 HAS SOUPS 591111 WITH SCORE 591847.636
AT ITER 9413 NEW BEST:: SOT 4356958 SOS 736574 HAS SOPS 736574 HAS SOUS 591049 HAS SOUPS 591049 WITH SCORE 591785.574
AT ITER 9453 NEW BEST:: SOT 4356905 SOS 736468 HAS SOPS 736468 HAS SOUS 590996 HAS SOUPS 590996 WITH SCORE 591732.468
AT ITER 9482 NEW BEST:: SOT 4356424 SOS 737468 HAS SOPS 737468 HAS SOUS 590759 HAS SOUPS 590759 WITH SCORE 591496.468
AT ITER 9494 NEW BEST:: SOT 4356380 SOS 737468 HAS SOPS 737468 HAS SOUS 590715 HAS SOUPS 590715 WITH SCORE 591452.468
AT ITER 9498 NEW BEST:: SOT 4356402 SOS 737417 HAS SOPS 737417 HAS SOUS 590694 HAS SOUPS 590694 WITH SCORE 591431.417
AT ITER 9527 NEW BEST:: SOT 4356355 SOS 737064 HAS SOPS 737064 HAS SOUS 590568 HAS SOUPS 590568 WITH SCORE 591305.064
AT ITER 9543 NEW BEST:: SOT 4356294 SOS 737003 HAS SOPS 737003 HAS SOUS 590446 HAS SOUPS 590446 WITH SCORE 591183.003
AT ITER 9555 NEW BEST:: SOT 4356078 SOS 736787 HAS SOPS 736787 HAS SOUS 590224 HAS SOUPS 590224 WITH SCORE 590960.787
AT ITER 9561 NEW BEST:: SOT 4356036 SOS 736703 HAS SOPS 736703 HAS SOUS 590182 HAS SOUPS 590182 WITH SCORE 590918.703
AT ITER 9573 NEW BEST:: SOT 4355859 SOS 736349 HAS SOPS 736349 HAS SOUS 589828 HAS SOUPS 589828 WITH SCORE 590564.349
AT ITER 9597 NEW BEST:: SOT 4355850 SOS 736331 HAS SOPS 736331 HAS SOUS 589810 HAS SOUPS 589810 WITH SCORE 590546.331
AT ITER 9674 NEW BEST:: SOT 4355850 SOS 736234 HAS SOPS 736234 HAS SOUS 589810 HAS SOUPS 589810 WITH SCORE 590546.234
AT ITER 9686 NEW BEST:: SOT 4355678 SOS 735890 HAS SOPS 735890 HAS SOUS 589466 HAS SOUPS 589466 WITH SCORE 590201.89
AT ITER 9687 NEW BEST:: SOT 4355530 SOS 736629 HAS SOPS 736629 HAS SOUS 589400 HAS SOUPS 589400 WITH SCORE 590136.629
AT ITER 9704 NEW BEST:: SOT 4355522 SOS 736613 HAS SOPS 736613 HAS SOUS 589383 HAS SOUPS 589383 WITH SCORE 590119.613
AT ITER 9707 NEW BEST:: SOT 4355326 SOS 736467 HAS SOPS 736467 HAS SOUS 589187 HAS SOUPS 589187 WITH SCORE 589923.467
AT ITER 9739 NEW BEST:: SOT 4355297 SOS 736545 HAS SOPS 736545 HAS SOUS 589158 HAS SOUPS 589158 WITH SCORE 589894.545
AT ITER 9756 NEW BEST:: SOT 4355247 SOS 736445 HAS SOPS 736445 HAS SOUS 589108 HAS SOUPS 589108 WITH SCORE 589844.445
AT ITER 9802 NEW BEST:: SOT 4355246 SOS 736374 HAS SOPS 736374 HAS SOUS 589102 HAS SOUPS 589102 WITH SCORE 589838.374
AT ITER 9840 NEW BEST:: SOT 4355179 SOS 736307 HAS SOPS 736307 HAS SOUS 589035 HAS SOUPS 589035 WITH SCORE 589771.307
AT ITER 9914 NEW BEST:: SOT 4355195 SOS 736339 HAS SOPS 736339 HAS SOUS 588961 HAS SOUPS 588961 WITH SCORE 589697.339
AT ITER 9919 NEW BEST:: SOT 4355157 SOS 736301 HAS SOPS 736301 HAS SOUS 588923 HAS SOUPS 588923 WITH SCORE 589659.301
AT ITER 9923 NEW BEST:: SOT 4355094 SOS 735320 HAS SOPS 735320 HAS SOUS 588575 HAS SOUPS 588575 WITH SCORE 589310.32
AT ITER 9986 NEW BEST:: SOT 4355055 SOS 735242 HAS SOPS 735242 HAS SOUS 588497 HAS SOUPS 588497 WITH SCORE 589232.242
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11933344 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124256 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

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="CloudReconfiguration-PT-307"
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 CloudReconfiguration-PT-307, 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 r107-tall-167814483700056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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