Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541700128.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudReconfiguration-PT-316, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541700128
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 824K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 26 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K Mar 24 05:37 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 1589099071262

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 316
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4449380 SOS 709814 HAS SOPS 709814 HAS SOUS 687976 HAS SOUPS 687976 WITH SCORE 688685.814
AT ITER 5 NEW BEST:: SOT 4447794 SOS 709057 HAS SOPS 709057 HAS SOUS 686271 HAS SOUPS 686271 WITH SCORE 686980.057
AT ITER 9 NEW BEST:: SOT 4447572 SOS 708870 HAS SOPS 708870 HAS SOUS 686066 HAS SOUPS 686066 WITH SCORE 686774.87
AT ITER 52 NEW BEST:: SOT 4447553 SOS 708832 HAS SOPS 708832 HAS SOUS 686028 HAS SOUPS 686028 WITH SCORE 686736.832
AT ITER 62 NEW BEST:: SOT 4447379 SOS 708679 HAS SOPS 708679 HAS SOUS 685875 HAS SOUPS 685875 WITH SCORE 686583.679
AT ITER 81 NEW BEST:: SOT 4447379 SOS 708678 HAS SOPS 708678 HAS SOUS 685874 HAS SOUPS 685874 WITH SCORE 686582.678
AT ITER 93 NEW BEST:: SOT 4447117 SOS 708154 HAS SOPS 708154 HAS SOUS 685350 HAS SOUPS 685350 WITH SCORE 686058.154
AT ITER 128 NEW BEST:: SOT 4444386 SOS 735116 HAS SOPS 735116 HAS SOUS 683676 HAS SOUPS 683676 WITH SCORE 684411.116
AT ITER 160 NEW BEST:: SOT 4444268 SOS 734880 HAS SOPS 734880 HAS SOUS 683440 HAS SOUPS 683440 WITH SCORE 684174.88
AT ITER 172 NEW BEST:: SOT 4444171 SOS 734686 HAS SOPS 734686 HAS SOUS 683246 HAS SOUPS 683246 WITH SCORE 683980.686
AT ITER 179 NEW BEST:: SOT 4444044 SOS 734650 HAS SOPS 734650 HAS SOUS 683174 HAS SOUPS 683174 WITH SCORE 683908.65
AT ITER 180 NEW BEST:: SOT 4443776 SOS 734114 HAS SOPS 734114 HAS SOUS 682638 HAS SOUPS 682638 WITH SCORE 683372.114
AT ITER 181 NEW BEST:: SOT 4443776 SOS 734114 HAS SOPS 734114 HAS SOUS 682637 HAS SOUPS 682637 WITH SCORE 683371.114
AT ITER 238 NEW BEST:: SOT 4443242 SOS 733762 HAS SOPS 733762 HAS SOUS 682222 HAS SOUPS 682222 WITH SCORE 682955.762
AT ITER 241 NEW BEST:: SOT 4443092 SOS 733650 HAS SOPS 733650 HAS SOUS 682110 HAS SOUPS 682110 WITH SCORE 682843.65
AT ITER 254 NEW BEST:: SOT 4443092 SOS 733104 HAS SOPS 733104 HAS SOUS 681837 HAS SOUPS 681837 WITH SCORE 682570.104
AT ITER 287 NEW BEST:: SOT 4442089 SOS 732118 HAS SOPS 732118 HAS SOUS 680586 HAS SOUPS 680586 WITH SCORE 681318.118
AT ITER 314 NEW BEST:: SOT 4441930 SOS 731800 HAS SOPS 731800 HAS SOUS 680268 HAS SOUPS 680268 WITH SCORE 680999.8
AT ITER 339 NEW BEST:: SOT 4441926 SOS 731792 HAS SOPS 731792 HAS SOUS 680263 HAS SOUPS 680263 WITH SCORE 680994.792
AT ITER 363 NEW BEST:: SOT 4441925 SOS 731790 HAS SOPS 731790 HAS SOUS 680261 HAS SOUPS 680261 WITH SCORE 680992.79
AT ITER 414 NEW BEST:: SOT 4441925 SOS 731789 HAS SOPS 731789 HAS SOUS 680260 HAS SOUPS 680260 WITH SCORE 680991.789
AT ITER 423 NEW BEST:: SOT 4441649 SOS 731237 HAS SOPS 731237 HAS SOUS 679708 HAS SOUPS 679708 WITH SCORE 680439.237
AT ITER 431 NEW BEST:: SOT 4441540 SOS 731019 HAS SOPS 731019 HAS SOUS 679490 HAS SOUPS 679490 WITH SCORE 680221.019
AT ITER 438 NEW BEST:: SOT 4441539 SOS 731017 HAS SOPS 731017 HAS SOUS 679488 HAS SOUPS 679488 WITH SCORE 680219.017
AT ITER 457 NEW BEST:: SOT 4441193 SOS 730635 HAS SOPS 730635 HAS SOUS 679009 HAS SOUPS 679009 WITH SCORE 679739.635
AT ITER 460 NEW BEST:: SOT 4441250 SOS 730361 HAS SOPS 730361 HAS SOUS 678735 HAS SOUPS 678735 WITH SCORE 679465.361
AT ITER 488 NEW BEST:: SOT 4441347 SOS 730555 HAS SOPS 730555 HAS SOUS 678548 HAS SOUPS 678548 WITH SCORE 679278.555
AT ITER 489 NEW BEST:: SOT 4441321 SOS 730310 HAS SOPS 730310 HAS SOUS 678303 HAS SOUPS 678303 WITH SCORE 679033.31
AT ITER 547 NEW BEST:: SOT 4441198 SOS 730064 HAS SOPS 730064 HAS SOUS 678057 HAS SOUPS 678057 WITH SCORE 678787.064
AT ITER 568 NEW BEST:: SOT 4441138 SOS 730132 HAS SOPS 730132 HAS SOUS 677911 HAS SOUPS 677911 WITH SCORE 678641.132
AT ITER 591 NEW BEST:: SOT 4441137 SOS 730130 HAS SOPS 730130 HAS SOUS 677909 HAS SOUPS 677909 WITH SCORE 678639.13
AT ITER 592 NEW BEST:: SOT 4441022 SOS 729900 HAS SOPS 729900 HAS SOUS 677793 HAS SOUPS 677793 WITH SCORE 678522.9
AT ITER 593 NEW BEST:: SOT 4440868 SOS 730164 HAS SOPS 730164 HAS SOUS 677612 HAS SOUPS 677612 WITH SCORE 678342.164
AT ITER 621 NEW BEST:: SOT 4440792 SOS 729936 HAS SOPS 729936 HAS SOUS 677460 HAS SOUPS 677460 WITH SCORE 678189.936
AT ITER 641 NEW BEST:: SOT 4440666 SOS 729684 HAS SOPS 729684 HAS SOUS 677208 HAS SOUPS 677208 WITH SCORE 677937.684
AT ITER 653 NEW BEST:: SOT 4440666 SOS 729684 HAS SOPS 729684 HAS SOUS 677143 HAS SOUPS 677143 WITH SCORE 677872.684
AT ITER 689 NEW BEST:: SOT 4440666 SOS 729684 HAS SOPS 729684 HAS SOUS 676980 HAS SOUPS 676980 WITH SCORE 677709.684
AT ITER 722 NEW BEST:: SOT 4440626 SOS 729604 HAS SOPS 729604 HAS SOUS 676900 HAS SOUPS 676900 WITH SCORE 677629.604
AT ITER 724 NEW BEST:: SOT 4440586 SOS 729564 HAS SOPS 729564 HAS SOUS 676860 HAS SOUPS 676860 WITH SCORE 677589.564
AT ITER 733 NEW BEST:: SOT 4440416 SOS 729224 HAS SOPS 729224 HAS SOUS 676520 HAS SOUPS 676520 WITH SCORE 677249.224
AT ITER 790 NEW BEST:: SOT 4440310 SOS 729012 HAS SOPS 729012 HAS SOUS 676414 HAS SOUPS 676414 WITH SCORE 677143.012
AT ITER 794 NEW BEST:: SOT 4439767 SOS 728853 HAS SOPS 728853 HAS SOUS 675984 HAS SOUPS 675984 WITH SCORE 676712.853
AT ITER 816 NEW BEST:: SOT 4439528 SOS 728375 HAS SOPS 728375 HAS SOUS 675506 HAS SOUPS 675506 WITH SCORE 676234.375
AT ITER 819 NEW BEST:: SOT 4439484 SOS 728329 HAS SOPS 728329 HAS SOUS 675501 HAS SOUPS 675501 WITH SCORE 676229.329
AT ITER 823 NEW BEST:: SOT 4439388 SOS 728265 HAS SOPS 728265 HAS SOUS 675405 HAS SOUPS 675405 WITH SCORE 676133.265
AT ITER 837 NEW BEST:: SOT 4439200 SOS 727889 HAS SOPS 727889 HAS SOUS 675029 HAS SOUPS 675029 WITH SCORE 675756.889
AT ITER 855 NEW BEST:: SOT 4439189 SOS 727882 HAS SOPS 727882 HAS SOUS 675022 HAS SOUPS 675022 WITH SCORE 675749.882
AT ITER 861 NEW BEST:: SOT 4439188 SOS 727840 HAS SOPS 727840 HAS SOUS 675020 HAS SOUPS 675020 WITH SCORE 675747.84
AT ITER 866 NEW BEST:: SOT 4439086 SOS 727783 HAS SOPS 727783 HAS SOUS 674771 HAS SOUPS 674771 WITH SCORE 675498.783
AT ITER 875 NEW BEST:: SOT 4438954 SOS 727519 HAS SOPS 727519 HAS SOUS 674639 HAS SOUPS 674639 WITH SCORE 675366.519
AT ITER 885 NEW BEST:: SOT 4438855 SOS 727436 HAS SOPS 727436 HAS SOUS 674540 HAS SOUPS 674540 WITH SCORE 675267.436
AT ITER 888 NEW BEST:: SOT 4438975 SOS 727428 HAS SOPS 727428 HAS SOUS 674532 HAS SOUPS 674532 WITH SCORE 675259.428
AT ITER 889 NEW BEST:: SOT 4438930 SOS 727382 HAS SOPS 727382 HAS SOUS 674486 HAS SOUPS 674486 WITH SCORE 675213.382
AT ITER 917 NEW BEST:: SOT 4438793 SOS 727245 HAS SOPS 727245 HAS SOUS 674349 HAS SOUPS 674349 WITH SCORE 675076.245
AT ITER 930 NEW BEST:: SOT 4438793 SOS 727160 HAS SOPS 727160 HAS SOUS 674264 HAS SOUPS 674264 WITH SCORE 674991.16
AT ITER 963 NEW BEST:: SOT 4438744 SOS 727111 HAS SOPS 727111 HAS SOUS 674215 HAS SOUPS 674215 WITH SCORE 674942.111
AT ITER 966 NEW BEST:: SOT 4438326 SOS 726693 HAS SOPS 726693 HAS SOUS 673797 HAS SOUPS 673797 WITH SCORE 674523.693
AT ITER 1013 NEW BEST:: SOT 4438173 SOS 726598 HAS SOPS 726598 HAS SOUS 673676 HAS SOUPS 673676 WITH SCORE 674402.598
AT ITER 1025 NEW BEST:: SOT 4437918 SOS 726726 HAS SOPS 726726 HAS SOUS 673561 HAS SOUPS 673561 WITH SCORE 674287.726
AT ITER 1030 NEW BEST:: SOT 4437741 SOS 726535 HAS SOPS 726535 HAS SOUS 673521 HAS SOUPS 673521 WITH SCORE 674247.535
AT ITER 1045 NEW BEST:: SOT 4437710 SOS 726473 HAS SOPS 726473 HAS SOUS 673380 HAS SOUPS 673380 WITH SCORE 674106.473
AT ITER 1055 NEW BEST:: SOT 4437173 SOS 726179 HAS SOPS 726179 HAS SOUS 672964 HAS SOUPS 672964 WITH SCORE 673690.179
AT ITER 1056 NEW BEST:: SOT 4436857 SOS 726369 HAS SOPS 726369 HAS SOUS 672657 HAS SOUPS 672657 WITH SCORE 673383.369
AT ITER 1070 NEW BEST:: SOT 4436786 SOS 726298 HAS SOPS 726298 HAS SOUS 672586 HAS SOUPS 672586 WITH SCORE 673312.298
AT ITER 1087 NEW BEST:: SOT 4436743 SOS 726212 HAS SOPS 726212 HAS SOUS 672500 HAS SOUPS 672500 WITH SCORE 673226.212
AT ITER 1095 NEW BEST:: SOT 4436632 SOS 726152 HAS SOPS 726152 HAS SOUS 672440 HAS SOUPS 672440 WITH SCORE 673166.152
AT ITER 1174 NEW BEST:: SOT 4436631 SOS 726150 HAS SOPS 726150 HAS SOUS 672438 HAS SOUPS 672438 WITH SCORE 673164.15
AT ITER 1207 NEW BEST:: SOT 4436612 SOS 726135 HAS SOPS 726135 HAS SOUS 672419 HAS SOUPS 672419 WITH SCORE 673145.135
AT ITER 1210 NEW BEST:: SOT 4436838 SOS 726211 HAS SOPS 726211 HAS SOUS 672293 HAS SOUPS 672293 WITH SCORE 673019.211
AT ITER 1233 NEW BEST:: SOT 4436832 SOS 726199 HAS SOPS 726199 HAS SOUS 672263 HAS SOUPS 672263 WITH SCORE 672989.199
AT ITER 1282 NEW BEST:: SOT 4436821 SOS 726882 HAS SOPS 726882 HAS SOUS 672252 HAS SOUPS 672252 WITH SCORE 672978.882
AT ITER 1291 NEW BEST:: SOT 4436631 SOS 726818 HAS SOPS 726818 HAS SOUS 672009 HAS SOUPS 672009 WITH SCORE 672735.818
AT ITER 1320 NEW BEST:: SOT 4436499 SOS 726554 HAS SOPS 726554 HAS SOUS 671877 HAS SOUPS 671877 WITH SCORE 672603.554
AT ITER 1321 NEW BEST:: SOT 4436459 SOS 726474 HAS SOPS 726474 HAS SOUS 671797 HAS SOUPS 671797 WITH SCORE 672523.474
AT ITER 1344 NEW BEST:: SOT 4436346 SOS 726377 HAS SOPS 726377 HAS SOUS 671684 HAS SOUPS 671684 WITH SCORE 672410.377
AT ITER 1347 NEW BEST:: SOT 4436082 SOS 726113 HAS SOPS 726113 HAS SOUS 671156 HAS SOUPS 671156 WITH SCORE 671882.113
AT ITER 1392 NEW BEST:: SOT 4436100 SOS 726149 HAS SOPS 726149 HAS SOUS 670860 HAS SOUPS 670860 WITH SCORE 671586.149
AT ITER 1454 NEW BEST:: SOT 4435888 SOS 725937 HAS SOPS 725937 HAS SOUS 670648 HAS SOUPS 670648 WITH SCORE 671373.937
AT ITER 1471 NEW BEST:: SOT 4435765 SOS 725691 HAS SOPS 725691 HAS SOUS 670648 HAS SOUPS 670648 WITH SCORE 671373.691
AT ITER 1473 NEW BEST:: SOT 4435533 SOS 725227 HAS SOPS 725227 HAS SOUS 670184 HAS SOUPS 670184 WITH SCORE 670909.227
AT ITER 1488 NEW BEST:: SOT 4435286 SOS 724986 HAS SOPS 724986 HAS SOUS 669690 HAS SOUPS 669690 WITH SCORE 670414.986
AT ITER 1493 NEW BEST:: SOT 4435134 SOS 724892 HAS SOPS 724892 HAS SOUS 669596 HAS SOUPS 669596 WITH SCORE 670320.892
AT ITER 1524 NEW BEST:: SOT 4435059 SOS 724742 HAS SOPS 724742 HAS SOUS 669545 HAS SOUPS 669545 WITH SCORE 670269.742
AT ITER 1538 NEW BEST:: SOT 4435123 SOS 724870 HAS SOPS 724870 HAS SOUS 669431 HAS SOUPS 669431 WITH SCORE 670155.87
AT ITER 1563 NEW BEST:: SOT 4434565 SOS 725386 HAS SOPS 725386 HAS SOUS 668762 HAS SOUPS 668762 WITH SCORE 669487.386
AT ITER 1576 NEW BEST:: SOT 4434545 SOS 725603 HAS SOPS 725603 HAS SOUS 668519 HAS SOUPS 668519 WITH SCORE 669244.603
AT ITER 1579 NEW BEST:: SOT 4434545 SOS 725053 HAS SOPS 725053 HAS SOUS 668244 HAS SOUPS 668244 WITH SCORE 668969.053
AT ITER 1586 NEW BEST:: SOT 4434543 SOS 725031 HAS SOPS 725031 HAS SOUS 668223 HAS SOUPS 668223 WITH SCORE 668948.031
AT ITER 1588 NEW BEST:: SOT 4434543 SOS 724994 HAS SOPS 724994 HAS SOUS 668223 HAS SOUPS 668223 WITH SCORE 668947.994
AT ITER 1590 NEW BEST:: SOT 4434543 SOS 724993 HAS SOPS 724993 HAS SOUS 668222 HAS SOUPS 668222 WITH SCORE 668946.993
AT ITER 1592 NEW BEST:: SOT 4434347 SOS 724601 HAS SOPS 724601 HAS SOUS 667830 HAS SOUPS 667830 WITH SCORE 668554.601
AT ITER 1633 NEW BEST:: SOT 4434347 SOS 724527 HAS SOPS 724527 HAS SOUS 667756 HAS SOUPS 667756 WITH SCORE 668480.527
AT ITER 1635 NEW BEST:: SOT 4434345 SOS 724523 HAS SOPS 724523 HAS SOUS 667754 HAS SOUPS 667754 WITH SCORE 668478.523
AT ITER 1704 NEW BEST:: SOT 4434218 SOS 724060 HAS SOPS 724060 HAS SOUS 667418 HAS SOUPS 667418 WITH SCORE 668142.06
AT ITER 1738 NEW BEST:: SOT 4434024 SOS 723866 HAS SOPS 723866 HAS SOUS 667224 HAS SOUPS 667224 WITH SCORE 667947.866
AT ITER 1745 NEW BEST:: SOT 4433954 SOS 723726 HAS SOPS 723726 HAS SOUS 667084 HAS SOUPS 667084 WITH SCORE 667807.726
AT ITER 1781 NEW BEST:: SOT 4433954 SOS 723726 HAS SOPS 723726 HAS SOUS 666980 HAS SOUPS 666980 WITH SCORE 667703.726
AT ITER 1782 NEW BEST:: SOT 4433690 SOS 723462 HAS SOPS 723462 HAS SOUS 666716 HAS SOUPS 666716 WITH SCORE 667439.462
AT ITER 1796 NEW BEST:: SOT 4433412 SOS 722906 HAS SOPS 722906 HAS SOUS 666160 HAS SOUPS 666160 WITH SCORE 666882.906
AT ITER 1826 NEW BEST:: SOT 4433328 SOS 722947 HAS SOPS 722947 HAS SOUS 666138 HAS SOUPS 666138 WITH SCORE 666860.947
AT ITER 1867 NEW BEST:: SOT 4433196 SOS 722683 HAS SOPS 722683 HAS SOUS 665796 HAS SOUPS 665796 WITH SCORE 666518.683
AT ITER 1869 NEW BEST:: SOT 4433120 SOS 722569 HAS SOPS 722569 HAS SOUS 665682 HAS SOUPS 665682 WITH SCORE 666404.569
AT ITER 1905 NEW BEST:: SOT 4433210 SOS 722391 HAS SOPS 722391 HAS SOUS 665504 HAS SOUPS 665504 WITH SCORE 666226.391
AT ITER 1955 NEW BEST:: SOT 4433094 SOS 722159 HAS SOPS 722159 HAS SOUS 665272 HAS SOUPS 665272 WITH SCORE 665994.159
AT ITER 1957 NEW BEST:: SOT 4433094 SOS 722180 HAS SOPS 722180 HAS SOUS 665251 HAS SOUPS 665251 WITH SCORE 665973.18
AT ITER 1968 NEW BEST:: SOT 4433074 SOS 722170 HAS SOPS 722170 HAS SOUS 665241 HAS SOUPS 665241 WITH SCORE 665963.17
AT ITER 1974 NEW BEST:: SOT 4432318 SOS 722013 HAS SOPS 722013 HAS SOUS 664474 HAS SOUPS 664474 WITH SCORE 665196.013
AT ITER 1977 NEW BEST:: SOT 4432283 SOS 721943 HAS SOPS 721943 HAS SOUS 664404 HAS SOUPS 664404 WITH SCORE 665125.943
AT ITER 1983 NEW BEST:: SOT 4432256 SOS 721889 HAS SOPS 721889 HAS SOUS 664377 HAS SOUPS 664377 WITH SCORE 665098.889
AT ITER 1990 NEW BEST:: SOT 4432086 SOS 721719 HAS SOPS 721719 HAS SOUS 664207 HAS SOUPS 664207 WITH SCORE 664928.719
AT ITER 2107 NEW BEST:: SOT 4431914 SOS 721734 HAS SOPS 721734 HAS SOUS 664182 HAS SOUPS 664182 WITH SCORE 664903.734
AT ITER 2124 NEW BEST:: SOT 4431862 SOS 721734 HAS SOPS 721734 HAS SOUS 664130 HAS SOUPS 664130 WITH SCORE 664851.734
AT ITER 2137 NEW BEST:: SOT 4431770 SOS 721642 HAS SOPS 721642 HAS SOUS 664038 HAS SOUPS 664038 WITH SCORE 664759.642
AT ITER 2156 NEW BEST:: SOT 4431488 SOS 721078 HAS SOPS 721078 HAS SOUS 663474 HAS SOUPS 663474 WITH SCORE 664195.078
AT ITER 2210 NEW BEST:: SOT 4431527 SOS 721156 HAS SOPS 721156 HAS SOUS 663131 HAS SOUPS 663131 WITH SCORE 663852.156
AT ITER 2214 NEW BEST:: SOT 4431527 SOS 721155 HAS SOPS 721155 HAS SOUS 663130 HAS SOUPS 663130 WITH SCORE 663851.155
AT ITER 2290 NEW BEST:: SOT 4431526 SOS 721153 HAS SOPS 721153 HAS SOUS 663128 HAS SOUPS 663128 WITH SCORE 663849.153
AT ITER 2296 NEW BEST:: SOT 4431526 SOS 721106 HAS SOPS 721106 HAS SOUS 663128 HAS SOUPS 663128 WITH SCORE 663849.106
AT ITER 2325 NEW BEST:: SOT 4431526 SOS 721106 HAS SOPS 721106 HAS SOUS 663127 HAS SOUPS 663127 WITH SCORE 663848.106
AT ITER 2339 NEW BEST:: SOT 4431526 SOS 720821 HAS SOPS 720821 HAS SOUS 662842 HAS SOUPS 662842 WITH SCORE 663562.821
AT ITER 2370 NEW BEST:: SOT 4431443 SOS 720797 HAS SOPS 720797 HAS SOUS 662765 HAS SOUPS 662765 WITH SCORE 663485.797
AT ITER 2389 NEW BEST:: SOT 4431255 SOS 720609 HAS SOPS 720609 HAS SOUS 662577 HAS SOUPS 662577 WITH SCORE 663297.609
AT ITER 2393 NEW BEST:: SOT 4431140 SOS 720379 HAS SOPS 720379 HAS SOUS 662347 HAS SOUPS 662347 WITH SCORE 663067.379
AT ITER 2398 NEW BEST:: SOT 4429461 SOS 735687 HAS SOPS 735687 HAS SOUS 661084 HAS SOUPS 661084 WITH SCORE 661819.687
AT ITER 2439 NEW BEST:: SOT 4429193 SOS 735258 HAS SOPS 735258 HAS SOUS 660986 HAS SOUPS 660986 WITH SCORE 661721.258
AT ITER 2493 NEW BEST:: SOT 4429171 SOS 735214 HAS SOPS 735214 HAS SOUS 660942 HAS SOUPS 660942 WITH SCORE 661677.214
AT ITER 2531 NEW BEST:: SOT 4429031 SOS 734794 HAS SOPS 734794 HAS SOUS 660662 HAS SOUPS 660662 WITH SCORE 661396.794
AT ITER 2601 NEW BEST:: SOT 4429007 SOS 734863 HAS SOPS 734863 HAS SOUS 660646 HAS SOUPS 660646 WITH SCORE 661380.863
AT ITER 2642 NEW BEST:: SOT 4429007 SOS 734862 HAS SOPS 734862 HAS SOUS 660645 HAS SOUPS 660645 WITH SCORE 661379.862
AT ITER 2680 NEW BEST:: SOT 4429007 SOS 734244 HAS SOPS 734244 HAS SOUS 660336 HAS SOUPS 660336 WITH SCORE 661070.244
AT ITER 2698 NEW BEST:: SOT 4428733 SOS 733869 HAS SOPS 733869 HAS SOUS 660310 HAS SOUPS 660310 WITH SCORE 661043.869
AT ITER 2714 NEW BEST:: SOT 4428878 SOS 733830 HAS SOPS 733830 HAS SOUS 660271 HAS SOUPS 660271 WITH SCORE 661004.83
AT ITER 2742 NEW BEST:: SOT 4428777 SOS 733628 HAS SOPS 733628 HAS SOUS 660069 HAS SOUPS 660069 WITH SCORE 660802.628
AT ITER 2752 NEW BEST:: SOT 4428564 SOS 733233 HAS SOPS 733233 HAS SOUS 659970 HAS SOUPS 659970 WITH SCORE 660703.233
AT ITER 2806 NEW BEST:: SOT 4428564 SOS 733232 HAS SOPS 733232 HAS SOUS 659969 HAS SOUPS 659969 WITH SCORE 660702.232
AT ITER 2819 NEW BEST:: SOT 4428536 SOS 733232 HAS SOPS 733232 HAS SOUS 659941 HAS SOUPS 659941 WITH SCORE 660674.232
AT ITER 2825 NEW BEST:: SOT 4428293 SOS 733016 HAS SOPS 733016 HAS SOUS 659708 HAS SOUPS 659708 WITH SCORE 660441.016
AT ITER 2826 NEW BEST:: SOT 4428047 SOS 732832 HAS SOPS 732832 HAS SOUS 659515 HAS SOUPS 659515 WITH SCORE 660247.832
AT ITER 2837 NEW BEST:: SOT 4427821 SOS 732380 HAS SOPS 732380 HAS SOUS 659063 HAS SOUPS 659063 WITH SCORE 659795.38
AT ITER 2849 NEW BEST:: SOT 4427685 SOS 732108 HAS SOPS 732108 HAS SOUS 658791 HAS SOUPS 658791 WITH SCORE 659523.108
AT ITER 2871 NEW BEST:: SOT 4427673 SOS 732168 HAS SOPS 732168 HAS SOUS 658789 HAS SOUPS 658789 WITH SCORE 659521.168
AT ITER 2899 NEW BEST:: SOT 4427498 SOS 732066 HAS SOPS 732066 HAS SOUS 658578 HAS SOUPS 658578 WITH SCORE 659310.066
AT ITER 2915 NEW BEST:: SOT 4427463 SOS 731996 HAS SOPS 731996 HAS SOUS 658543 HAS SOUPS 658543 WITH SCORE 659274.996
AT ITER 2920 NEW BEST:: SOT 4427441 SOS 731952 HAS SOPS 731952 HAS SOUS 658518 HAS SOUPS 658518 WITH SCORE 659249.952
AT ITER 2937 NEW BEST:: SOT 4427272 SOS 731752 HAS SOPS 731752 HAS SOUS 658318 HAS SOUPS 658318 WITH SCORE 659049.752
AT ITER 2969 NEW BEST:: SOT 4427287 SOS 731311 HAS SOPS 731311 HAS SOUS 657862 HAS SOUPS 657862 WITH SCORE 658593.311
AT ITER 2976 NEW BEST:: SOT 4427214 SOS 731485 HAS SOPS 731485 HAS SOUS 657789 HAS SOUPS 657789 WITH SCORE 658520.485
AT ITER 2977 NEW BEST:: SOT 4427058 SOS 731329 HAS SOPS 731329 HAS SOUS 657633 HAS SOUPS 657633 WITH SCORE 658364.329
AT ITER 3027 NEW BEST:: SOT 4426799 SOS 731260 HAS SOPS 731260 HAS SOUS 657374 HAS SOUPS 657374 WITH SCORE 658105.26
AT ITER 3031 NEW BEST:: SOT 4426710 SOS 731082 HAS SOPS 731082 HAS SOUS 657196 HAS SOUPS 657196 WITH SCORE 657927.082
AT ITER 3038 NEW BEST:: SOT 4426473 SOS 730608 HAS SOPS 730608 HAS SOUS 656722 HAS SOUPS 656722 WITH SCORE 657452.608
AT ITER 3088 NEW BEST:: SOT 4426413 SOS 730488 HAS SOPS 730488 HAS SOUS 656602 HAS SOUPS 656602 WITH SCORE 657332.488
AT ITER 3127 NEW BEST:: SOT 4426413 SOS 730428 HAS SOPS 730428 HAS SOUS 656601 HAS SOUPS 656601 WITH SCORE 657331.428
AT ITER 3151 NEW BEST:: SOT 4426238 SOS 730229 HAS SOPS 730229 HAS SOUS 656436 HAS SOUPS 656436 WITH SCORE 657166.229
AT ITER 3164 NEW BEST:: SOT 4426177 SOS 730107 HAS SOPS 730107 HAS SOUS 656375 HAS SOUPS 656375 WITH SCORE 657105.107
AT ITER 3166 NEW BEST:: SOT 4425600 SOS 728953 HAS SOPS 728953 HAS SOUS 655622 HAS SOUPS 655622 WITH SCORE 656350.953
AT ITER 3200 NEW BEST:: SOT 4425600 SOS 728921 HAS SOPS 728921 HAS SOUS 655590 HAS SOUPS 655590 WITH SCORE 656318.921
AT ITER 3211 NEW BEST:: SOT 4425507 SOS 728911 HAS SOPS 728911 HAS SOUS 655545 HAS SOUPS 655545 WITH SCORE 656273.911
AT ITER 3214 NEW BEST:: SOT 4425367 SOS 728631 HAS SOPS 728631 HAS SOUS 655544 HAS SOUPS 655544 WITH SCORE 656272.631
AT ITER 3230 NEW BEST:: SOT 4425367 SOS 728534 HAS SOPS 728534 HAS SOUS 655447 HAS SOUPS 655447 WITH SCORE 656175.534
AT ITER 3254 NEW BEST:: SOT 4425089 SOS 728285 HAS SOPS 728285 HAS SOUS 654871 HAS SOUPS 654871 WITH SCORE 655599.285
AT ITER 3260 NEW BEST:: SOT 4425058 SOS 728223 HAS SOPS 728223 HAS SOUS 654870 HAS SOUPS 654870 WITH SCORE 655598.223
AT ITER 3263 NEW BEST:: SOT 4425050 SOS 728207 HAS SOPS 728207 HAS SOUS 654854 HAS SOUPS 654854 WITH SCORE 655582.207
AT ITER 3271 NEW BEST:: SOT 4424702 SOS 727859 HAS SOPS 727859 HAS SOUS 654506 HAS SOUPS 654506 WITH SCORE 655233.859
AT ITER 3275 NEW BEST:: SOT 4424667 SOS 727842 HAS SOPS 727842 HAS SOUS 654489 HAS SOUPS 654489 WITH SCORE 655216.842
AT ITER 3287 NEW BEST:: SOT 4424661 SOS 727620 HAS SOPS 727620 HAS SOUS 654477 HAS SOUPS 654477 WITH SCORE 655204.62
AT ITER 3325 NEW BEST:: SOT 4424382 SOS 727062 HAS SOPS 727062 HAS SOUS 654201 HAS SOUPS 654201 WITH SCORE 654928.062
AT ITER 3359 NEW BEST:: SOT 4424108 SOS 726514 HAS SOPS 726514 HAS SOUS 653653 HAS SOUPS 653653 WITH SCORE 654379.514
AT ITER 3375 NEW BEST:: SOT 4424114 SOS 726474 HAS SOPS 726474 HAS SOUS 653613 HAS SOUPS 653613 WITH SCORE 654339.474
AT ITER 3376 NEW BEST:: SOT 4424060 SOS 726366 HAS SOPS 726366 HAS SOUS 653505 HAS SOUPS 653505 WITH SCORE 654231.366
AT ITER 3381 NEW BEST:: SOT 4424047 SOS 726353 HAS SOPS 726353 HAS SOUS 653492 HAS SOUPS 653492 WITH SCORE 654218.353
AT ITER 3416 NEW BEST:: SOT 4423778 SOS 727790 HAS SOPS 727790 HAS SOUS 653378 HAS SOUPS 653378 WITH SCORE 654105.79
AT ITER 3430 NEW BEST:: SOT 4423664 SOS 727562 HAS SOPS 727562 HAS SOUS 653150 HAS SOUPS 653150 WITH SCORE 653877.562
AT ITER 3454 NEW BEST:: SOT 4423317 SOS 727438 HAS SOPS 727438 HAS SOUS 652879 HAS SOUPS 652879 WITH SCORE 653606.438
AT ITER 3459 NEW BEST:: SOT 4423262 SOS 727328 HAS SOPS 727328 HAS SOUS 652711 HAS SOUPS 652711 WITH SCORE 653438.328
AT ITER 3468 NEW BEST:: SOT 4423283 SOS 727370 HAS SOPS 727370 HAS SOUS 652460 HAS SOUPS 652460 WITH SCORE 653187.37
AT ITER 3475 NEW BEST:: SOT 4422878 SOS 727098 HAS SOPS 727098 HAS SOUS 651917 HAS SOUPS 651917 WITH SCORE 652644.098
AT ITER 3487 NEW BEST:: SOT 4422796 SOS 727025 HAS SOPS 727025 HAS SOUS 651835 HAS SOUPS 651835 WITH SCORE 652562.025
AT ITER 3520 NEW BEST:: SOT 4422727 SOS 726887 HAS SOPS 726887 HAS SOUS 651766 HAS SOUPS 651766 WITH SCORE 652492.887
AT ITER 3530 NEW BEST:: SOT 4422644 SOS 726827 HAS SOPS 726827 HAS SOUS 651683 HAS SOUPS 651683 WITH SCORE 652409.827
AT ITER 3554 NEW BEST:: SOT 4422644 SOS 726795 HAS SOPS 726795 HAS SOUS 651651 HAS SOUPS 651651 WITH SCORE 652377.795
AT ITER 3562 NEW BEST:: SOT 4422632 SOS 726771 HAS SOPS 726771 HAS SOUS 651639 HAS SOUPS 651639 WITH SCORE 652365.771
AT ITER 3570 NEW BEST:: SOT 4422570 SOS 726647 HAS SOPS 726647 HAS SOUS 651515 HAS SOUPS 651515 WITH SCORE 652241.647
AT ITER 3574 NEW BEST:: SOT 4422505 SOS 726582 HAS SOPS 726582 HAS SOUS 651515 HAS SOUPS 651515 WITH SCORE 652241.582
AT ITER 3611 NEW BEST:: SOT 4422463 SOS 726498 HAS SOPS 726498 HAS SOUS 651431 HAS SOUPS 651431 WITH SCORE 652157.498
AT ITER 3677 NEW BEST:: SOT 4422463 SOS 726497 HAS SOPS 726497 HAS SOUS 651430 HAS SOUPS 651430 WITH SCORE 652156.497
AT ITER 3683 NEW BEST:: SOT 4422463 SOS 726496 HAS SOPS 726496 HAS SOUS 651429 HAS SOUPS 651429 WITH SCORE 652155.496
AT ITER 3689 NEW BEST:: SOT 4422305 SOS 726411 HAS SOPS 726411 HAS SOUS 651271 HAS SOUPS 651271 WITH SCORE 651997.411
AT ITER 3695 NEW BEST:: SOT 4422198 SOS 726197 HAS SOPS 726197 HAS SOUS 651057 HAS SOUPS 651057 WITH SCORE 651783.197
AT ITER 3707 NEW BEST:: SOT 4422054 SOS 726053 HAS SOPS 726053 HAS SOUS 650913 HAS SOUPS 650913 WITH SCORE 651639.053
AT ITER 3709 NEW BEST:: SOT 4422030 SOS 726005 HAS SOPS 726005 HAS SOUS 650889 HAS SOUPS 650889 WITH SCORE 651615.005
AT ITER 3710 NEW BEST:: SOT 4421949 SOS 725843 HAS SOPS 725843 HAS SOUS 650539 HAS SOUPS 650539 WITH SCORE 651264.843
AT ITER 3730 NEW BEST:: SOT 4421760 SOS 725440 HAS SOPS 725440 HAS SOUS 650538 HAS SOUPS 650538 WITH SCORE 651263.44
AT ITER 3738 NEW BEST:: SOT 4421525 SOS 724970 HAS SOPS 724970 HAS SOUS 649853 HAS SOUPS 649853 WITH SCORE 650577.97
AT ITER 3748 NEW BEST:: SOT 4421525 SOS 724969 HAS SOPS 724969 HAS SOUS 649793 HAS SOUPS 649793 WITH SCORE 650517.969
AT ITER 3804 NEW BEST:: SOT 4421430 SOS 724912 HAS SOPS 724912 HAS SOUS 649726 HAS SOUPS 649726 WITH SCORE 650450.912
AT ITER 3810 NEW BEST:: SOT 4421346 SOS 724786 HAS SOPS 724786 HAS SOUS 649642 HAS SOUPS 649642 WITH SCORE 650366.786
AT ITER 3826 NEW BEST:: SOT 4421299 SOS 724692 HAS SOPS 724692 HAS SOUS 649640 HAS SOUPS 649640 WITH SCORE 650364.692
AT ITER 3857 NEW BEST:: SOT 4421294 SOS 724682 HAS SOPS 724682 HAS SOUS 649630 HAS SOUPS 649630 WITH SCORE 650354.682
AT ITER 3883 NEW BEST:: SOT 4421294 SOS 724682 HAS SOPS 724682 HAS SOUS 649615 HAS SOUPS 649615 WITH SCORE 650339.682
AT ITER 3911 NEW BEST:: SOT 4421325 SOS 724378 HAS SOPS 724378 HAS SOUS 649494 HAS SOUPS 649494 WITH SCORE 650218.378
AT ITER 3917 NEW BEST:: SOT 4421224 SOS 724286 HAS SOPS 724286 HAS SOUS 649402 HAS SOUPS 649402 WITH SCORE 650126.286
AT ITER 3926 NEW BEST:: SOT 4421190 SOS 724218 HAS SOPS 724218 HAS SOUS 649351 HAS SOUPS 649351 WITH SCORE 650075.218
AT ITER 3960 NEW BEST:: SOT 4420838 SOS 723866 HAS SOPS 723866 HAS SOUS 648999 HAS SOUPS 648999 WITH SCORE 649722.866
AT ITER 3981 NEW BEST:: SOT 4420372 SOS 724374 HAS SOPS 724374 HAS SOUS 648565 HAS SOUPS 648565 WITH SCORE 649289.374
AT ITER 3991 NEW BEST:: SOT 4420372 SOS 724373 HAS SOPS 724373 HAS SOUS 648433 HAS SOUPS 648433 WITH SCORE 649157.373
AT ITER 4005 NEW BEST:: SOT 4420213 SOS 724176 HAS SOPS 724176 HAS SOUS 648236 HAS SOUPS 648236 WITH SCORE 648960.176
AT ITER 4020 NEW BEST:: SOT 4420208 SOS 724166 HAS SOPS 724166 HAS SOUS 648226 HAS SOUPS 648226 WITH SCORE 648950.166
AT ITER 4029 NEW BEST:: SOT 4420208 SOS 724068 HAS SOPS 724068 HAS SOUS 648128 HAS SOUPS 648128 WITH SCORE 648852.068
AT ITER 4035 NEW BEST:: SOT 4419936 SOS 723796 HAS SOPS 723796 HAS SOUS 647856 HAS SOUPS 647856 WITH SCORE 648579.796
AT ITER 4049 NEW BEST:: SOT 4419783 SOS 723490 HAS SOPS 723490 HAS SOUS 647550 HAS SOUPS 647550 WITH SCORE 648273.49
AT ITER 4080 NEW BEST:: SOT 4419295 SOS 723494 HAS SOPS 723494 HAS SOUS 647062 HAS SOUPS 647062 WITH SCORE 647785.494
AT ITER 4084 NEW BEST:: SOT 4419176 SOS 723494 HAS SOPS 723494 HAS SOUS 647029 HAS SOUPS 647029 WITH SCORE 647752.494
AT ITER 4093 NEW BEST:: SOT 4419175 SOS 723492 HAS SOPS 723492 HAS SOUS 647027 HAS SOUPS 647027 WITH SCORE 647750.492
AT ITER 4102 NEW BEST:: SOT 4419175 SOS 723492 HAS SOPS 723492 HAS SOUS 647017 HAS SOUPS 647017 WITH SCORE 647740.492
AT ITER 4110 NEW BEST:: SOT 4419106 SOS 723354 HAS SOPS 723354 HAS SOUS 646987 HAS SOUPS 646987 WITH SCORE 647710.354
AT ITER 4158 NEW BEST:: SOT 4419106 SOS 723306 HAS SOPS 723306 HAS SOUS 646939 HAS SOUPS 646939 WITH SCORE 647662.306
AT ITER 4171 NEW BEST:: SOT 4419106 SOS 723246 HAS SOPS 723246 HAS SOUS 646879 HAS SOUPS 646879 WITH SCORE 647602.246
AT ITER 4234 NEW BEST:: SOT 4418897 SOS 722828 HAS SOPS 722828 HAS SOUS 646461 HAS SOUPS 646461 WITH SCORE 647183.828
AT ITER 4254 NEW BEST:: SOT 4418914 SOS 722597 HAS SOPS 722597 HAS SOUS 646230 HAS SOUPS 646230 WITH SCORE 646952.597
AT ITER 4270 NEW BEST:: SOT 4418914 SOS 722549 HAS SOPS 722549 HAS SOUS 646182 HAS SOUPS 646182 WITH SCORE 646904.549
AT ITER 4272 NEW BEST:: SOT 4418650 SOS 722285 HAS SOPS 722285 HAS SOUS 645918 HAS SOUPS 645918 WITH SCORE 646640.285
AT ITER 4386 NEW BEST:: SOT 4418478 SOS 721941 HAS SOPS 721941 HAS SOUS 645681 HAS SOUPS 645681 WITH SCORE 646402.941
AT ITER 4396 NEW BEST:: SOT 4418288 SOS 721561 HAS SOPS 721561 HAS SOUS 645491 HAS SOUPS 645491 WITH SCORE 646212.561
AT ITER 4413 NEW BEST:: SOT 4418318 SOS 721621 HAS SOPS 721621 HAS SOUS 645139 HAS SOUPS 645139 WITH SCORE 645860.621
AT ITER 4525 NEW BEST:: SOT 4418316 SOS 721617 HAS SOPS 721617 HAS SOUS 645137 HAS SOUPS 645137 WITH SCORE 645858.617
AT ITER 4535 NEW BEST:: SOT 4418314 SOS 721613 HAS SOPS 721613 HAS SOUS 645135 HAS SOUPS 645135 WITH SCORE 645856.613
AT ITER 4576 NEW BEST:: SOT 4418089 SOS 721162 HAS SOPS 721162 HAS SOUS 644684 HAS SOUPS 644684 WITH SCORE 645405.162
AT ITER 4591 NEW BEST:: SOT 4418058 SOS 721099 HAS SOPS 721099 HAS SOUS 644314 HAS SOUPS 644314 WITH SCORE 645035.099
AT ITER 4603 NEW BEST:: SOT 4417239 SOS 719983 HAS SOPS 719983 HAS SOUS 643265 HAS SOUPS 643265 WITH SCORE 643984.983
AT ITER 4608 NEW BEST:: SOT 4417239 SOS 719966 HAS SOPS 719966 HAS SOUS 643248 HAS SOUPS 643248 WITH SCORE 643967.966
AT ITER 4638 NEW BEST:: SOT 4417110 SOS 719944 HAS SOPS 719944 HAS SOUS 643173 HAS SOUPS 643173 WITH SCORE 643892.944
AT ITER 4660 NEW BEST:: SOT 4416902 SOS 719528 HAS SOPS 719528 HAS SOUS 642893 HAS SOUPS 642893 WITH SCORE 643612.528
AT ITER 4662 NEW BEST:: SOT 4416684 SOS 719092 HAS SOPS 719092 HAS SOUS 642457 HAS SOUPS 642457 WITH SCORE 643176.092
AT ITER 4713 NEW BEST:: SOT 4415856 SOS 720994 HAS SOPS 720994 HAS SOUS 642117 HAS SOUPS 642117 WITH SCORE 642837.994
AT ITER 4715 NEW BEST:: SOT 4415700 SOS 721450 HAS SOPS 721450 HAS SOUS 642040 HAS SOUPS 642040 WITH SCORE 642761.45
AT ITER 4730 NEW BEST:: SOT 4415649 SOS 721348 HAS SOPS 721348 HAS SOUS 641990 HAS SOUPS 641990 WITH SCORE 642711.348
AT ITER 4760 NEW BEST:: SOT 4415423 SOS 720896 HAS SOPS 720896 HAS SOUS 641538 HAS SOUPS 641538 WITH SCORE 642258.896
AT ITER 4761 NEW BEST:: SOT 4415371 SOS 720867 HAS SOPS 720867 HAS SOUS 641509 HAS SOUPS 641509 WITH SCORE 642229.867
AT ITER 4774 NEW BEST:: SOT 4415342 SOS 720597 HAS SOPS 720597 HAS SOUS 641480 HAS SOUPS 641480 WITH SCORE 642200.597
AT ITER 4775 NEW BEST:: SOT 4415348 SOS 720609 HAS SOPS 720609 HAS SOUS 641405 HAS SOUPS 641405 WITH SCORE 642125.609
AT ITER 4791 NEW BEST:: SOT 4415150 SOS 720213 HAS SOPS 720213 HAS SOUS 641009 HAS SOUPS 641009 WITH SCORE 641729.213
AT ITER 4808 NEW BEST:: SOT 4414853 SOS 719307 HAS SOPS 719307 HAS SOUS 640415 HAS SOUPS 640415 WITH SCORE 641134.307
AT ITER 4816 NEW BEST:: SOT 4414803 SOS 719207 HAS SOPS 719207 HAS SOUS 640365 HAS SOUPS 640365 WITH SCORE 641084.207
AT ITER 4822 NEW BEST:: SOT 4414750 SOS 719101 HAS SOPS 719101 HAS SOUS 640259 HAS SOUPS 640259 WITH SCORE 640978.101
AT ITER 4839 NEW BEST:: SOT 4414596 SOS 719074 HAS SOPS 719074 HAS SOUS 640233 HAS SOUPS 640233 WITH SCORE 640952.074
AT ITER 4843 NEW BEST:: SOT 4414596 SOS 719074 HAS SOPS 719074 HAS SOUS 639943 HAS SOUPS 639943 WITH SCORE 640662.074
AT ITER 4862 NEW BEST:: SOT 4414441 SOS 718764 HAS SOPS 718764 HAS SOUS 639633 HAS SOUPS 639633 WITH SCORE 640351.764
AT ITER 4872 NEW BEST:: SOT 4414402 SOS 718445 HAS SOPS 718445 HAS SOUS 639353 HAS SOUPS 639353 WITH SCORE 640071.445
AT ITER 4878 NEW BEST:: SOT 4414402 SOS 718445 HAS SOPS 718445 HAS SOUS 639221 HAS SOUPS 639221 WITH SCORE 639939.445
AT ITER 4894 NEW BEST:: SOT 4414384 SOS 718409 HAS SOPS 718409 HAS SOUS 639185 HAS SOUPS 639185 WITH SCORE 639903.409
AT ITER 4913 NEW BEST:: SOT 4414378 SOS 718397 HAS SOPS 718397 HAS SOUS 639173 HAS SOUPS 639173 WITH SCORE 639891.397
AT ITER 4924 NEW BEST:: SOT 4414296 SOS 718233 HAS SOPS 718233 HAS SOUS 639009 HAS SOUPS 639009 WITH SCORE 639727.233
AT ITER 4944 NEW BEST:: SOT 4414291 SOS 718223 HAS SOPS 718223 HAS SOUS 638999 HAS SOUPS 638999 WITH SCORE 639717.223
AT ITER 4958 NEW BEST:: SOT 4414291 SOS 718174 HAS SOPS 718174 HAS SOUS 638996 HAS SOUPS 638996 WITH SCORE 639714.174
AT ITER 5022 NEW BEST:: SOT 4414264 SOS 718120 HAS SOPS 718120 HAS SOUS 638942 HAS SOUPS 638942 WITH SCORE 639660.12
AT ITER 5025 NEW BEST:: SOT 4414231 SOS 718054 HAS SOPS 718054 HAS SOUS 638930 HAS SOUPS 638930 WITH SCORE 639648.054
AT ITER 5030 NEW BEST:: SOT 4414231 SOS 718053 HAS SOPS 718053 HAS SOUS 638929 HAS SOUPS 638929 WITH SCORE 639647.053
AT ITER 5060 NEW BEST:: SOT 4414167 SOS 717840 HAS SOPS 717840 HAS SOUS 638801 HAS SOUPS 638801 WITH SCORE 639518.84
AT ITER 5134 NEW BEST:: SOT 4413955 SOS 717574 HAS SOPS 717574 HAS SOUS 638510 HAS SOUPS 638510 WITH SCORE 639227.574
AT ITER 5150 NEW BEST:: SOT 4413692 SOS 717048 HAS SOPS 717048 HAS SOUS 638247 HAS SOUPS 638247 WITH SCORE 638964.048
AT ITER 5172 NEW BEST:: SOT 4413150 SOS 717456 HAS SOPS 717456 HAS SOUS 637795 HAS SOUPS 637795 WITH SCORE 638512.456
AT ITER 5194 NEW BEST:: SOT 4412992 SOS 717325 HAS SOPS 717325 HAS SOUS 637664 HAS SOUPS 637664 WITH SCORE 638381.325
AT ITER 5200 NEW BEST:: SOT 4412955 SOS 717251 HAS SOPS 717251 HAS SOUS 637590 HAS SOUPS 637590 WITH SCORE 638307.251
AT ITER 5213 NEW BEST:: SOT 4412817 SOS 716975 HAS SOPS 716975 HAS SOUS 637452 HAS SOUPS 637452 WITH SCORE 638168.975
AT ITER 5238 NEW BEST:: SOT 4412738 SOS 716953 HAS SOPS 716953 HAS SOUS 637329 HAS SOUPS 637329 WITH SCORE 638045.953
AT ITER 5243 NEW BEST:: SOT 4412454 SOS 716598 HAS SOPS 716598 HAS SOUS 636974 HAS SOUPS 636974 WITH SCORE 637690.598
AT ITER 5253 NEW BEST:: SOT 4412252 SOS 716194 HAS SOPS 716194 HAS SOUS 636544 HAS SOUPS 636544 WITH SCORE 637260.194
AT ITER 5255 NEW BEST:: SOT 4412252 SOS 716194 HAS SOPS 716194 HAS SOUS 636529 HAS SOUPS 636529 WITH SCORE 637245.194
AT ITER 5267 NEW BEST:: SOT 4412294 SOS 716112 HAS SOPS 716112 HAS SOUS 636447 HAS SOUPS 636447 WITH SCORE 637163.112
AT ITER 5315 NEW BEST:: SOT 4412210 SOS 716063 HAS SOPS 716063 HAS SOUS 636394 HAS SOUPS 636394 WITH SCORE 637110.063
AT ITER 5353 NEW BEST:: SOT 4411972 SOS 715587 HAS SOPS 715587 HAS SOUS 636156 HAS SOUPS 636156 WITH SCORE 636871.587
AT ITER 5356 NEW BEST:: SOT 4411964 SOS 715571 HAS SOPS 715571 HAS SOUS 636140 HAS SOUPS 636140 WITH SCORE 636855.571
AT ITER 5431 NEW BEST:: SOT 4411868 SOS 715379 HAS SOPS 715379 HAS SOUS 635948 HAS SOUPS 635948 WITH SCORE 636663.379
AT ITER 5454 NEW BEST:: SOT 4411868 SOS 715361 HAS SOPS 715361 HAS SOUS 635948 HAS SOUPS 635948 WITH SCORE 636663.361
AT ITER 5489 NEW BEST:: SOT 4411634 SOS 715253 HAS SOPS 715253 HAS SOUS 635713 HAS SOUPS 635713 WITH SCORE 636428.253
AT ITER 5509 NEW BEST:: SOT 4410932 SOS 714524 HAS SOPS 714524 HAS SOUS 634946 HAS SOUPS 634946 WITH SCORE 635660.524
AT ITER 5530 NEW BEST:: SOT 4410808 SOS 714276 HAS SOPS 714276 HAS SOUS 634698 HAS SOUPS 634698 WITH SCORE 635412.276
AT ITER 5543 NEW BEST:: SOT 4410688 SOS 714190 HAS SOPS 714190 HAS SOUS 634605 HAS SOUPS 634605 WITH SCORE 635319.19
AT ITER 5544 NEW BEST:: SOT 4410688 SOS 714058 HAS SOPS 714058 HAS SOUS 634572 HAS SOUPS 634572 WITH SCORE 635286.058
AT ITER 5554 NEW BEST:: SOT 4410671 SOS 713900 HAS SOPS 713900 HAS SOUS 634516 HAS SOUPS 634516 WITH SCORE 635229.9
AT ITER 5588 NEW BEST:: SOT 4410665 SOS 713888 HAS SOPS 713888 HAS SOUS 634510 HAS SOUPS 634510 WITH SCORE 635223.888
AT ITER 5597 NEW BEST:: SOT 4410658 SOS 713874 HAS SOPS 713874 HAS SOUS 634496 HAS SOUPS 634496 WITH SCORE 635209.874
AT ITER 5604 NEW BEST:: SOT 4410601 SOS 713760 HAS SOPS 713760 HAS SOUS 634439 HAS SOUPS 634439 WITH SCORE 635152.76
AT ITER 5628 NEW BEST:: SOT 4410563 SOS 713608 HAS SOPS 713608 HAS SOUS 634363 HAS SOUPS 634363 WITH SCORE 635076.608
AT ITER 5646 NEW BEST:: SOT 4410539 SOS 713904 HAS SOPS 713904 HAS SOUS 634355 HAS SOUPS 634355 WITH SCORE 635068.904
AT ITER 5655 NEW BEST:: SOT 4410539 SOS 713700 HAS SOPS 713700 HAS SOUS 634151 HAS SOUPS 634151 WITH SCORE 634864.7
AT ITER 5663 NEW BEST:: SOT 4409779 SOS 712844 HAS SOPS 712844 HAS SOUS 633295 HAS SOUPS 633295 WITH SCORE 634007.844
AT ITER 5697 NEW BEST:: SOT 4409755 SOS 712796 HAS SOPS 712796 HAS SOUS 633247 HAS SOUPS 633247 WITH SCORE 633959.796
AT ITER 5720 NEW BEST:: SOT 4408955 SOS 713303 HAS SOPS 713303 HAS SOUS 632764 HAS SOUPS 632764 WITH SCORE 633477.303
AT ITER 5726 NEW BEST:: SOT 4408901 SOS 713246 HAS SOPS 713246 HAS SOUS 632710 HAS SOUPS 632710 WITH SCORE 633423.246
AT ITER 5731 NEW BEST:: SOT 4408815 SOS 713288 HAS SOPS 713288 HAS SOUS 632624 HAS SOUPS 632624 WITH SCORE 633337.288
AT ITER 5765 NEW BEST:: SOT 4408767 SOS 713192 HAS SOPS 713192 HAS SOUS 632576 HAS SOUPS 632576 WITH SCORE 633289.192
AT ITER 5771 NEW BEST:: SOT 4408911 SOS 713614 HAS SOPS 713614 HAS SOUS 632531 HAS SOUPS 632531 WITH SCORE 633244.614
AT ITER 5775 NEW BEST:: SOT 4408559 SOS 714799 HAS SOPS 714799 HAS SOUS 632513 HAS SOUPS 632513 WITH SCORE 633227.799
AT ITER 5783 NEW BEST:: SOT 4408559 SOS 714613 HAS SOPS 714613 HAS SOUS 632513 HAS SOUPS 632513 WITH SCORE 633227.613
AT ITER 5787 NEW BEST:: SOT 4408536 SOS 714590 HAS SOPS 714590 HAS SOUS 632489 HAS SOUPS 632489 WITH SCORE 633203.59
AT ITER 5810 NEW BEST:: SOT 4408420 SOS 714358 HAS SOPS 714358 HAS SOUS 632487 HAS SOUPS 632487 WITH SCORE 633201.358
AT ITER 5831 NEW BEST:: SOT 4408417 SOS 714355 HAS SOPS 714355 HAS SOUS 632484 HAS SOUPS 632484 WITH SCORE 633198.355
AT ITER 5876 NEW BEST:: SOT 4408207 SOS 713935 HAS SOPS 713935 HAS SOUS 632064 HAS SOUPS 632064 WITH SCORE 632777.935
AT ITER 5886 NEW BEST:: SOT 4408086 SOS 713783 HAS SOPS 713783 HAS SOUS 631853 HAS SOUPS 631853 WITH SCORE 632566.783
AT ITER 5889 NEW BEST:: SOT 4407882 SOS 713612 HAS SOPS 713612 HAS SOUS 631666 HAS SOUPS 631666 WITH SCORE 632379.612
AT ITER 5890 NEW BEST:: SOT 4407784 SOS 713416 HAS SOPS 713416 HAS SOUS 631568 HAS SOUPS 631568 WITH SCORE 632281.416
AT ITER 5935 NEW BEST:: SOT 4407783 SOS 713310 HAS SOPS 713310 HAS SOUS 631567 HAS SOUPS 631567 WITH SCORE 632280.31
AT ITER 5972 NEW BEST:: SOT 4407277 SOS 712420 HAS SOPS 712420 HAS SOUS 631425 HAS SOUPS 631425 WITH SCORE 632137.42
AT ITER 6008 NEW BEST:: SOT 4406949 SOS 712032 HAS SOPS 712032 HAS SOUS 631037 HAS SOUPS 631037 WITH SCORE 631749.032
AT ITER 6019 NEW BEST:: SOT 4406949 SOS 712032 HAS SOPS 712032 HAS SOUS 631030 HAS SOUPS 631030 WITH SCORE 631742.032
AT ITER 6027 NEW BEST:: SOT 4406829 SOS 711792 HAS SOPS 711792 HAS SOUS 630790 HAS SOUPS 630790 WITH SCORE 631501.792
AT ITER 6048 NEW BEST:: SOT 4406728 SOS 711694 HAS SOPS 711694 HAS SOUS 630692 HAS SOUPS 630692 WITH SCORE 631403.694
AT ITER 6067 NEW BEST:: SOT 4406561 SOS 711360 HAS SOPS 711360 HAS SOUS 630358 HAS SOUPS 630358 WITH SCORE 631069.36
AT ITER 6108 NEW BEST:: SOT 4406457 SOS 711852 HAS SOPS 711852 HAS SOUS 630315 HAS SOUPS 630315 WITH SCORE 631026.852
AT ITER 6151 NEW BEST:: SOT 4406194 SOS 711568 HAS SOPS 711568 HAS SOUS 630069 HAS SOUPS 630069 WITH SCORE 630780.568
AT ITER 6163 NEW BEST:: SOT 4406193 SOS 711566 HAS SOPS 711566 HAS SOUS 630067 HAS SOUPS 630067 WITH SCORE 630778.566
AT ITER 6192 NEW BEST:: SOT 4406059 SOS 711298 HAS SOPS 711298 HAS SOUS 629799 HAS SOUPS 629799 WITH SCORE 630510.298
AT ITER 6206 NEW BEST:: SOT 4406053 SOS 711286 HAS SOPS 711286 HAS SOUS 629787 HAS SOUPS 629787 WITH SCORE 630498.286
AT ITER 6298 NEW BEST:: SOT 4405993 SOS 711166 HAS SOPS 711166 HAS SOUS 629727 HAS SOUPS 629727 WITH SCORE 630438.166
AT ITER 6307 NEW BEST:: SOT 4406122 SOS 711423 HAS SOPS 711423 HAS SOUS 629604 HAS SOUPS 629604 WITH SCORE 630315.423
AT ITER 6322 NEW BEST:: SOT 4406098 SOS 711375 HAS SOPS 711375 HAS SOUS 629556 HAS SOUPS 629556 WITH SCORE 630267.375
AT ITER 6341 NEW BEST:: SOT 4406018 SOS 711215 HAS SOPS 711215 HAS SOUS 629396 HAS SOUPS 629396 WITH SCORE 630107.215
AT ITER 6353 NEW BEST:: SOT 4405694 SOS 711215 HAS SOPS 711215 HAS SOUS 629234 HAS SOUPS 629234 WITH SCORE 629945.215
AT ITER 6354 NEW BEST:: SOT 4405525 SOS 710877 HAS SOPS 710877 HAS SOUS 628896 HAS SOUPS 628896 WITH SCORE 629606.877
AT ITER 6361 NEW BEST:: SOT 4405427 SOS 710681 HAS SOPS 710681 HAS SOUS 628700 HAS SOUPS 628700 WITH SCORE 629410.681
AT ITER 6379 NEW BEST:: SOT 4405587 SOS 710662 HAS SOPS 710662 HAS SOUS 628521 HAS SOUPS 628521 WITH SCORE 629231.662
AT ITER 6381 NEW BEST:: SOT 4405469 SOS 710426 HAS SOPS 710426 HAS SOUS 628403 HAS SOUPS 628403 WITH SCORE 629113.426
AT ITER 6382 NEW BEST:: SOT 4405400 SOS 710288 HAS SOPS 710288 HAS SOUS 628334 HAS SOUPS 628334 WITH SCORE 629044.288
AT ITER 6393 NEW BEST:: SOT 4404939 SOS 710070 HAS SOPS 710070 HAS SOUS 628067 HAS SOUPS 628067 WITH SCORE 628777.07
AT ITER 6409 NEW BEST:: SOT 4404882 SOS 709956 HAS SOPS 709956 HAS SOUS 628010 HAS SOUPS 628010 WITH SCORE 628719.956
AT ITER 6419 NEW BEST:: SOT 4404882 SOS 709956 HAS SOPS 709956 HAS SOUS 627891 HAS SOUPS 627891 WITH SCORE 628600.956
AT ITER 6442 NEW BEST:: SOT 4404727 SOS 709646 HAS SOPS 709646 HAS SOUS 627581 HAS SOUPS 627581 WITH SCORE 628290.646
AT ITER 6459 NEW BEST:: SOT 4404727 SOS 709501 HAS SOPS 709501 HAS SOUS 627436 HAS SOUPS 627436 WITH SCORE 628145.501
AT ITER 6475 NEW BEST:: SOT 4404426 SOS 710123 HAS SOPS 710123 HAS SOUS 627258 HAS SOUPS 627258 WITH SCORE 627968.123
AT ITER 6482 NEW BEST:: SOT 4404386 SOS 710003 HAS SOPS 710003 HAS SOUS 627178 HAS SOUPS 627178 WITH SCORE 627888.003
AT ITER 6508 NEW BEST:: SOT 4404344 SOS 709919 HAS SOPS 709919 HAS SOUS 627136 HAS SOUPS 627136 WITH SCORE 627845.919
AT ITER 6555 NEW BEST:: SOT 4404268 SOS 709809 HAS SOPS 709809 HAS SOUS 627026 HAS SOUPS 627026 WITH SCORE 627735.809
AT ITER 6568 NEW BEST:: SOT 4404266 SOS 709805 HAS SOPS 709805 HAS SOUS 627024 HAS SOUPS 627024 WITH SCORE 627733.805
AT ITER 6580 NEW BEST:: SOT 4404265 SOS 709803 HAS SOPS 709803 HAS SOUS 627022 HAS SOUPS 627022 WITH SCORE 627731.803
AT ITER 6583 NEW BEST:: SOT 4404120 SOS 709513 HAS SOPS 709513 HAS SOUS 626616 HAS SOUPS 626616 WITH SCORE 627325.513
AT ITER 6599 NEW BEST:: SOT 4403904 SOS 709225 HAS SOPS 709225 HAS SOUS 626328 HAS SOUPS 626328 WITH SCORE 627037.225
AT ITER 6613 NEW BEST:: SOT 4403904 SOS 709225 HAS SOPS 709225 HAS SOUS 626322 HAS SOUPS 626322 WITH SCORE 627031.225
AT ITER 6655 NEW BEST:: SOT 4403758 SOS 708933 HAS SOPS 708933 HAS SOUS 626030 HAS SOUPS 626030 WITH SCORE 626738.933
AT ITER 6697 NEW BEST:: SOT 4403782 SOS 709197 HAS SOPS 709197 HAS SOUS 626004 HAS SOUPS 626004 WITH SCORE 626713.197
AT ITER 6725 NEW BEST:: SOT 4403720 SOS 709228 HAS SOPS 709228 HAS SOUS 625973 HAS SOUPS 625973 WITH SCORE 626682.228
AT ITER 6768 NEW BEST:: SOT 4403571 SOS 708930 HAS SOPS 708930 HAS SOUS 625675 HAS SOUPS 625675 WITH SCORE 626383.93
AT ITER 6781 NEW BEST:: SOT 4403501 SOS 708790 HAS SOPS 708790 HAS SOUS 625508 HAS SOUPS 625508 WITH SCORE 626216.79
AT ITER 6815 NEW BEST:: SOT 4403501 SOS 708764 HAS SOPS 708764 HAS SOUS 625482 HAS SOUPS 625482 WITH SCORE 626190.764
AT ITER 6834 NEW BEST:: SOT 4403394 SOS 708792 HAS SOPS 708792 HAS SOUS 625444 HAS SOUPS 625444 WITH SCORE 626152.792
AT ITER 6837 NEW BEST:: SOT 4403394 SOS 708693 HAS SOPS 708693 HAS SOUS 625444 HAS SOUPS 625444 WITH SCORE 626152.693
AT ITER 6848 NEW BEST:: SOT 4403238 SOS 708557 HAS SOPS 708557 HAS SOUS 625337 HAS SOUPS 625337 WITH SCORE 626045.557
AT ITER 6872 NEW BEST:: SOT 4403089 SOS 708259 HAS SOPS 708259 HAS SOUS 624993 HAS SOUPS 624993 WITH SCORE 625701.259
AT ITER 6913 NEW BEST:: SOT 4402814 SOS 707878 HAS SOPS 707878 HAS SOUS 624723 HAS SOUPS 624723 WITH SCORE 625430.878
AT ITER 6949 NEW BEST:: SOT 4402795 SOS 707840 HAS SOPS 707840 HAS SOUS 624685 HAS SOUPS 624685 WITH SCORE 625392.84
AT ITER 6962 NEW BEST:: SOT 4402802 SOS 707612 HAS SOPS 707612 HAS SOUS 624457 HAS SOUPS 624457 WITH SCORE 625164.612
AT ITER 7042 NEW BEST:: SOT 4402490 SOS 707033 HAS SOPS 707033 HAS SOUS 624260 HAS SOUPS 624260 WITH SCORE 624967.033
AT ITER 7074 NEW BEST:: SOT 4402371 SOS 706967 HAS SOPS 706967 HAS SOUS 624194 HAS SOUPS 624194 WITH SCORE 624900.967
AT ITER 7168 NEW BEST:: SOT 4402169 SOS 706817 HAS SOPS 706817 HAS SOUS 623884 HAS SOUPS 623884 WITH SCORE 624590.817
AT ITER 7196 NEW BEST:: SOT 4401574 SOS 706251 HAS SOPS 706251 HAS SOUS 623298 HAS SOUPS 623298 WITH SCORE 624004.251
AT ITER 7211 NEW BEST:: SOT 4401574 SOS 706232 HAS SOPS 706232 HAS SOUS 623298 HAS SOUPS 623298 WITH SCORE 624004.232
AT ITER 7239 NEW BEST:: SOT 4401574 SOS 706102 HAS SOPS 706102 HAS SOUS 623168 HAS SOUPS 623168 WITH SCORE 623874.102
AT ITER 7254 NEW BEST:: SOT 4401532 SOS 706123 HAS SOPS 706123 HAS SOUS 623147 HAS SOUPS 623147 WITH SCORE 623853.123
AT ITER 7264 NEW BEST:: SOT 4401705 SOS 705840 HAS SOPS 705840 HAS SOUS 623046 HAS SOUPS 623046 WITH SCORE 623751.84
AT ITER 7275 NEW BEST:: SOT 4401657 SOS 705792 HAS SOPS 705792 HAS SOUS 622998 HAS SOUPS 622998 WITH SCORE 623703.792
AT ITER 7281 NEW BEST:: SOT 4401645 SOS 705768 HAS SOPS 705768 HAS SOUS 622974 HAS SOUPS 622974 WITH SCORE 623679.768
AT ITER 7282 NEW BEST:: SOT 4401640 SOS 705758 HAS SOPS 705758 HAS SOUS 622968 HAS SOUPS 622968 WITH SCORE 623673.758
AT ITER 7284 NEW BEST:: SOT 4401640 SOS 705757 HAS SOPS 705757 HAS SOUS 622967 HAS SOUPS 622967 WITH SCORE 623672.757
AT ITER 7290 NEW BEST:: SOT 4401587 SOS 705651 HAS SOPS 705651 HAS SOUS 622843 HAS SOUPS 622843 WITH SCORE 623548.651
AT ITER 7350 NEW BEST:: SOT 4401587 SOS 705593 HAS SOPS 705593 HAS SOUS 622785 HAS SOUPS 622785 WITH SCORE 623490.593
AT ITER 7450 NEW BEST:: SOT 4401580 SOS 705551 HAS SOPS 705551 HAS SOUS 622771 HAS SOUPS 622771 WITH SCORE 623476.551
AT ITER 7458 NEW BEST:: SOT 4401506 SOS 705403 HAS SOPS 705403 HAS SOUS 622697 HAS SOUPS 622697 WITH SCORE 623402.403
AT ITER 7461 NEW BEST:: SOT 4401452 SOS 705133 HAS SOPS 705133 HAS SOUS 622589 HAS SOUPS 622589 WITH SCORE 623294.133
AT ITER 7479 NEW BEST:: SOT 4401411 SOS 705288 HAS SOPS 705288 HAS SOUS 622478 HAS SOUPS 622478 WITH SCORE 623183.288
AT ITER 7501 NEW BEST:: SOT 4400943 SOS 704352 HAS SOPS 704352 HAS SOUS 622346 HAS SOUPS 622346 WITH SCORE 623050.352
AT ITER 7519 NEW BEST:: SOT 4400863 SOS 704192 HAS SOPS 704192 HAS SOUS 622186 HAS SOUPS 622186 WITH SCORE 622890.192
AT ITER 7536 NEW BEST:: SOT 4400863 SOS 704192 HAS SOPS 704192 HAS SOUS 622030 HAS SOUPS 622030 WITH SCORE 622734.192
AT ITER 7586 NEW BEST:: SOT 4400859 SOS 704184 HAS SOPS 704184 HAS SOUS 621973 HAS SOUPS 621973 WITH SCORE 622677.184
AT ITER 7629 NEW BEST:: SOT 4400605 SOS 703676 HAS SOPS 703676 HAS SOUS 621777 HAS SOUPS 621777 WITH SCORE 622480.676
AT ITER 7662 NEW BEST:: SOT 4400655 SOS 703776 HAS SOPS 703776 HAS SOUS 621691 HAS SOUPS 621691 WITH SCORE 622394.776
AT ITER 7689 NEW BEST:: SOT 4400655 SOS 703776 HAS SOPS 703776 HAS SOUS 621618 HAS SOUPS 621618 WITH SCORE 622321.776
AT ITER 7690 NEW BEST:: SOT 4400504 SOS 703625 HAS SOPS 703625 HAS SOUS 621467 HAS SOUPS 621467 WITH SCORE 622170.625
AT ITER 7712 NEW BEST:: SOT 4400482 SOS 703581 HAS SOPS 703581 HAS SOUS 621423 HAS SOUPS 621423 WITH SCORE 622126.581
AT ITER 7784 NEW BEST:: SOT 4400440 SOS 703539 HAS SOPS 703539 HAS SOUS 621381 HAS SOUPS 621381 WITH SCORE 622084.539
AT ITER 7793 NEW BEST:: SOT 4400440 SOS 703401 HAS SOPS 703401 HAS SOUS 621243 HAS SOUPS 621243 WITH SCORE 621946.401
AT ITER 7809 NEW BEST:: SOT 4400300 SOS 703209 HAS SOPS 703209 HAS SOUS 620963 HAS SOUPS 620963 WITH SCORE 621666.209
AT ITER 7810 NEW BEST:: SOT 4400300 SOS 703140 HAS SOPS 703140 HAS SOUS 620894 HAS SOUPS 620894 WITH SCORE 621597.14
AT ITER 7836 NEW BEST:: SOT 4400228 SOS 702924 HAS SOPS 702924 HAS SOUS 620822 HAS SOUPS 620822 WITH SCORE 621524.924
AT ITER 7846 NEW BEST:: SOT 4400206 SOS 702880 HAS SOPS 702880 HAS SOUS 620778 HAS SOUPS 620778 WITH SCORE 621480.88
AT ITER 7865 NEW BEST:: SOT 4400148 SOS 702764 HAS SOPS 702764 HAS SOUS 620662 HAS SOUPS 620662 WITH SCORE 621364.764
AT ITER 7869 NEW BEST:: SOT 4399941 SOS 703032 HAS SOPS 703032 HAS SOUS 620619 HAS SOUPS 620619 WITH SCORE 621322.032
AT ITER 7871 NEW BEST:: SOT 4399914 SOS 702865 HAS SOPS 702865 HAS SOUS 620539 HAS SOUPS 620539 WITH SCORE 621241.865
AT ITER 7913 NEW BEST:: SOT 4399869 SOS 702775 HAS SOPS 702775 HAS SOUS 620498 HAS SOUPS 620498 WITH SCORE 621200.775
AT ITER 7918 NEW BEST:: SOT 4399869 SOS 702706 HAS SOPS 702706 HAS SOUS 620498 HAS SOUPS 620498 WITH SCORE 621200.706
AT ITER 7950 NEW BEST:: SOT 4399713 SOS 702550 HAS SOPS 702550 HAS SOUS 620342 HAS SOUPS 620342 WITH SCORE 621044.55
AT ITER 7959 NEW BEST:: SOT 4399680 SOS 702550 HAS SOPS 702550 HAS SOUS 620276 HAS SOUPS 620276 WITH SCORE 620978.55
AT ITER 7974 NEW BEST:: SOT 4399658 SOS 702506 HAS SOPS 702506 HAS SOUS 620254 HAS SOUPS 620254 WITH SCORE 620956.506
AT ITER 8015 NEW BEST:: SOT 4399653 SOS 702496 HAS SOPS 702496 HAS SOUS 620249 HAS SOUPS 620249 WITH SCORE 620951.496
AT ITER 8038 NEW BEST:: SOT 4399557 SOS 702304 HAS SOPS 702304 HAS SOUS 620057 HAS SOUPS 620057 WITH SCORE 620759.304
AT ITER 8069 NEW BEST:: SOT 4399525 SOS 702240 HAS SOPS 702240 HAS SOUS 620025 HAS SOUPS 620025 WITH SCORE 620727.24
AT ITER 8105 NEW BEST:: SOT 4399443 SOS 702076 HAS SOPS 702076 HAS SOUS 619861 HAS SOUPS 619861 WITH SCORE 620563.076
AT ITER 8108 NEW BEST:: SOT 4399250 SOS 701894 HAS SOPS 701894 HAS SOUS 619606 HAS SOUPS 619606 WITH SCORE 620307.894
AT ITER 8111 NEW BEST:: SOT 4399270 SOS 701824 HAS SOPS 701824 HAS SOUS 619536 HAS SOUPS 619536 WITH SCORE 620237.824
AT ITER 8117 NEW BEST:: SOT 4399270 SOS 701824 HAS SOPS 701824 HAS SOUS 619533 HAS SOUPS 619533 WITH SCORE 620234.824
AT ITER 8128 NEW BEST:: SOT 4399082 SOS 701418 HAS SOPS 701418 HAS SOUS 619497 HAS SOUPS 619497 WITH SCORE 620198.418
AT ITER 8185 NEW BEST:: SOT 4399081 SOS 701416 HAS SOPS 701416 HAS SOUS 619496 HAS SOUPS 619496 WITH SCORE 620197.416
AT ITER 8191 NEW BEST:: SOT 4398954 SOS 701162 HAS SOPS 701162 HAS SOUS 619316 HAS SOUPS 619316 WITH SCORE 620017.162
AT ITER 8221 NEW BEST:: SOT 4398920 SOS 700957 HAS SOPS 700957 HAS SOUS 619248 HAS SOUPS 619248 WITH SCORE 619948.957
AT ITER 8235 NEW BEST:: SOT 4398904 SOS 700925 HAS SOPS 700925 HAS SOUS 619232 HAS SOUPS 619232 WITH SCORE 619932.925
AT ITER 8245 NEW BEST:: SOT 4398774 SOS 700790 HAS SOPS 700790 HAS SOUS 619102 HAS SOUPS 619102 WITH SCORE 619802.79
AT ITER 8264 NEW BEST:: SOT 4398753 SOS 700748 HAS SOPS 700748 HAS SOUS 619060 HAS SOUPS 619060 WITH SCORE 619760.748
AT ITER 8278 NEW BEST:: SOT 4398734 SOS 700710 HAS SOPS 700710 HAS SOUS 619027 HAS SOUPS 619027 WITH SCORE 619727.71
AT ITER 8279 NEW BEST:: SOT 4398452 SOS 700146 HAS SOPS 700146 HAS SOUS 618463 HAS SOUPS 618463 WITH SCORE 619163.146
AT ITER 8285 NEW BEST:: SOT 4398452 SOS 700146 HAS SOPS 700146 HAS SOUS 618399 HAS SOUPS 618399 WITH SCORE 619099.146
AT ITER 8291 NEW BEST:: SOT 4398419 SOS 700032 HAS SOPS 700032 HAS SOUS 618318 HAS SOUPS 618318 WITH SCORE 619018.032
AT ITER 8309 NEW BEST:: SOT 4398608 SOS 699972 HAS SOPS 699972 HAS SOUS 618258 HAS SOUPS 618258 WITH SCORE 618957.972
AT ITER 8341 NEW BEST:: SOT 4398370 SOS 700356 HAS SOPS 700356 HAS SOUS 618235 HAS SOUPS 618235 WITH SCORE 618935.356
AT ITER 8382 NEW BEST:: SOT 4398353 SOS 700356 HAS SOPS 700356 HAS SOUS 618218 HAS SOUPS 618218 WITH SCORE 618918.356
AT ITER 8448 NEW BEST:: SOT 4398353 SOS 700452 HAS SOPS 700452 HAS SOUS 618122 HAS SOUPS 618122 WITH SCORE 618822.452
AT ITER 8463 NEW BEST:: SOT 4398315 SOS 700376 HAS SOPS 700376 HAS SOUS 618086 HAS SOUPS 618086 WITH SCORE 618786.376
AT ITER 8485 NEW BEST:: SOT 4398315 SOS 700376 HAS SOPS 700376 HAS SOUS 618085 HAS SOUPS 618085 WITH SCORE 618785.376
AT ITER 8513 NEW BEST:: SOT 4398310 SOS 700366 HAS SOPS 700366 HAS SOUS 618075 HAS SOUPS 618075 WITH SCORE 618775.366
AT ITER 8524 NEW BEST:: SOT 4398259 SOS 700315 HAS SOPS 700315 HAS SOUS 617973 HAS SOUPS 617973 WITH SCORE 618673.315
AT ITER 8532 NEW BEST:: SOT 4398221 SOS 700277 HAS SOPS 700277 HAS SOUS 617935 HAS SOUPS 617935 WITH SCORE 618635.277
AT ITER 8539 NEW BEST:: SOT 4398221 SOS 700277 HAS SOPS 700277 HAS SOUS 617929 HAS SOUPS 617929 WITH SCORE 618629.277
AT ITER 8555 NEW BEST:: SOT 4398221 SOS 700276 HAS SOPS 700276 HAS SOUS 617928 HAS SOUPS 617928 WITH SCORE 618628.276
AT ITER 8569 NEW BEST:: SOT 4398213 SOS 700260 HAS SOPS 700260 HAS SOUS 617920 HAS SOUPS 617920 WITH SCORE 618620.26
AT ITER 8575 NEW BEST:: SOT 4398010 SOS 700103 HAS SOPS 700103 HAS SOUS 617720 HAS SOUPS 617720 WITH SCORE 618420.103
AT ITER 8576 NEW BEST:: SOT 4397921 SOS 700057 HAS SOPS 700057 HAS SOUS 617631 HAS SOUPS 617631 WITH SCORE 618331.057
AT ITER 8592 NEW BEST:: SOT 4397891 SOS 699997 HAS SOPS 699997 HAS SOUS 617585 HAS SOUPS 617585 WITH SCORE 618284.997
AT ITER 8650 NEW BEST:: SOT 4397891 SOS 699894 HAS SOPS 699894 HAS SOUS 617482 HAS SOUPS 617482 WITH SCORE 618181.894
AT ITER 8669 NEW BEST:: SOT 4397828 SOS 699768 HAS SOPS 699768 HAS SOUS 617356 HAS SOUPS 617356 WITH SCORE 618055.768
AT ITER 8683 NEW BEST:: SOT 4397851 SOS 699813 HAS SOPS 699813 HAS SOUS 617263 HAS SOUPS 617263 WITH SCORE 617962.813
AT ITER 8685 NEW BEST:: SOT 4397799 SOS 699761 HAS SOPS 699761 HAS SOUS 617237 HAS SOUPS 617237 WITH SCORE 617936.761
AT ITER 8704 NEW BEST:: SOT 4397792 SOS 699740 HAS SOPS 699740 HAS SOUS 617223 HAS SOUPS 617223 WITH SCORE 617922.74
AT ITER 8732 NEW BEST:: SOT 4397581 SOS 699318 HAS SOPS 699318 HAS SOUS 616801 HAS SOUPS 616801 WITH SCORE 617500.318
AT ITER 8742 NEW BEST:: SOT 4397455 SOS 698845 HAS SOPS 698845 HAS SOUS 616796 HAS SOUPS 616796 WITH SCORE 617494.845
AT ITER 8768 NEW BEST:: SOT 4397572 SOS 698809 HAS SOPS 698809 HAS SOUS 616778 HAS SOUPS 616778 WITH SCORE 617476.809
AT ITER 8826 NEW BEST:: SOT 4397420 SOS 698505 HAS SOPS 698505 HAS SOUS 616474 HAS SOUPS 616474 WITH SCORE 617172.505
AT ITER 8831 NEW BEST:: SOT 4397420 SOS 698505 HAS SOPS 698505 HAS SOUS 616448 HAS SOUPS 616448 WITH SCORE 617146.505
AT ITER 8832 NEW BEST:: SOT 4397431 SOS 698385 HAS SOPS 698385 HAS SOUS 616401 HAS SOUPS 616401 WITH SCORE 617099.385
AT ITER 8862 NEW BEST:: SOT 4397389 SOS 698301 HAS SOPS 698301 HAS SOUS 616359 HAS SOUPS 616359 WITH SCORE 617057.301
AT ITER 8864 NEW BEST:: SOT 4397514 SOS 698182 HAS SOPS 698182 HAS SOUS 616240 HAS SOUPS 616240 WITH SCORE 616938.182
AT ITER 8865 NEW BEST:: SOT 4397463 SOS 698080 HAS SOPS 698080 HAS SOUS 616138 HAS SOUPS 616138 WITH SCORE 616836.08
AT ITER 8873 NEW BEST:: SOT 4397612 SOS 698378 HAS SOPS 698378 HAS SOUS 615989 HAS SOUPS 615989 WITH SCORE 616687.378
AT ITER 8880 NEW BEST:: SOT 4397388 SOS 697930 HAS SOPS 697930 HAS SOUS 615765 HAS SOUPS 615765 WITH SCORE 616462.93
AT ITER 8882 NEW BEST:: SOT 4397366 SOS 697920 HAS SOPS 697920 HAS SOUS 615743 HAS SOUPS 615743 WITH SCORE 616440.92
AT ITER 8891 NEW BEST:: SOT 4397545 SOS 698278 HAS SOPS 698278 HAS SOUS 615736 HAS SOUPS 615736 WITH SCORE 616434.278
AT ITER 8897 NEW BEST:: SOT 4397364 SOS 697916 HAS SOPS 697916 HAS SOUS 615541 HAS SOUPS 615541 WITH SCORE 616238.916
AT ITER 8898 NEW BEST:: SOT 4397342 SOS 697872 HAS SOPS 697872 HAS SOUS 615497 HAS SOUPS 615497 WITH SCORE 616194.872
AT ITER 8913 NEW BEST:: SOT 4397282 SOS 697812 HAS SOPS 697812 HAS SOUS 615437 HAS SOUPS 615437 WITH SCORE 616134.812
AT ITER 8924 NEW BEST:: SOT 4397098 SOS 697444 HAS SOPS 697444 HAS SOUS 615432 HAS SOUPS 615432 WITH SCORE 616129.444
AT ITER 8927 NEW BEST:: SOT 4397113 SOS 697361 HAS SOPS 697361 HAS SOUS 615349 HAS SOUPS 615349 WITH SCORE 616046.361
AT ITER 8949 NEW BEST:: SOT 4397165 SOS 697360 HAS SOPS 697360 HAS SOUS 615348 HAS SOUPS 615348 WITH SCORE 616045.36
AT ITER 8953 NEW BEST:: SOT 4397135 SOS 697620 HAS SOPS 697620 HAS SOUS 615308 HAS SOUPS 615308 WITH SCORE 616005.62
AT ITER 8965 NEW BEST:: SOT 4396848 SOS 697151 HAS SOPS 697151 HAS SOUS 615051 HAS SOUPS 615051 WITH SCORE 615748.151
AT ITER 9018 NEW BEST:: SOT 4396835 SOS 697125 HAS SOPS 697125 HAS SOUS 615038 HAS SOUPS 615038 WITH SCORE 615735.125
AT ITER 9098 NEW BEST:: SOT 4396836 SOS 697152 HAS SOPS 697152 HAS SOUS 615007 HAS SOUPS 615007 WITH SCORE 615704.152
AT ITER 9101 NEW BEST:: SOT 4396836 SOS 697057 HAS SOPS 697057 HAS SOUS 614987 HAS SOUPS 614987 WITH SCORE 615684.057
AT ITER 9126 NEW BEST:: SOT 4396712 SOS 696886 HAS SOPS 696886 HAS SOUS 614816 HAS SOUPS 614816 WITH SCORE 615512.886
AT ITER 9169 NEW BEST:: SOT 4396712 SOS 696815 HAS SOPS 696815 HAS SOUS 614816 HAS SOUPS 614816 WITH SCORE 615512.815
AT ITER 9175 NEW BEST:: SOT 4396712 SOS 696790 HAS SOPS 696790 HAS SOUS 614791 HAS SOUPS 614791 WITH SCORE 615487.79
AT ITER 9241 NEW BEST:: SOT 4396712 SOS 696707 HAS SOPS 696707 HAS SOUS 614791 HAS SOUPS 614791 WITH SCORE 615487.707
AT ITER 9282 NEW BEST:: SOT 4396694 SOS 696671 HAS SOPS 696671 HAS SOUS 614755 HAS SOUPS 614755 WITH SCORE 615451.671
AT ITER 9360 NEW BEST:: SOT 4396660 SOS 696603 HAS SOPS 696603 HAS SOUS 614721 HAS SOUPS 614721 WITH SCORE 615417.603
AT ITER 9369 NEW BEST:: SOT 4396644 SOS 696571 HAS SOPS 696571 HAS SOUS 614705 HAS SOUPS 614705 WITH SCORE 615401.571
AT ITER 9397 NEW BEST:: SOT 4396542 SOS 696367 HAS SOPS 696367 HAS SOUS 614603 HAS SOUPS 614603 WITH SCORE 615299.367
AT ITER 9503 NEW BEST:: SOT 4396532 SOS 696293 HAS SOPS 696293 HAS SOUS 614582 HAS SOUPS 614582 WITH SCORE 615278.293
AT ITER 9551 NEW BEST:: SOT 4396357 SOS 696118 HAS SOPS 696118 HAS SOUS 614407 HAS SOUPS 614407 WITH SCORE 615103.118
AT ITER 9595 NEW BEST:: SOT 4396357 SOS 696060 HAS SOPS 696060 HAS SOUS 614349 HAS SOUPS 614349 WITH SCORE 615045.06
AT ITER 9607 NEW BEST:: SOT 4396021 SOS 695388 HAS SOPS 695388 HAS SOUS 613818 HAS SOUPS 613818 WITH SCORE 614513.388
AT ITER 9622 NEW BEST:: SOT 4396021 SOS 695315 HAS SOPS 695315 HAS SOUS 613818 HAS SOUPS 613818 WITH SCORE 614513.315
AT ITER 9659 NEW BEST:: SOT 4396021 SOS 695280 HAS SOPS 695280 HAS SOUS 613818 HAS SOUPS 613818 WITH SCORE 614513.28
AT ITER 9708 NEW BEST:: SOT 4395962 SOS 695237 HAS SOPS 695237 HAS SOUS 613774 HAS SOUPS 613774 WITH SCORE 614469.237
AT ITER 9711 NEW BEST:: SOT 4395961 SOS 695235 HAS SOPS 695235 HAS SOUS 613772 HAS SOUPS 613772 WITH SCORE 614467.235
AT ITER 9735 NEW BEST:: SOT 4395933 SOS 695207 HAS SOPS 695207 HAS SOUS 613744 HAS SOUPS 613744 WITH SCORE 614439.207
AT ITER 9778 NEW BEST:: SOT 4395933 SOS 695206 HAS SOPS 695206 HAS SOUS 613743 HAS SOUPS 613743 WITH SCORE 614438.206
AT ITER 9779 NEW BEST:: SOT 4395735 SOS 695050 HAS SOPS 695050 HAS SOUS 613732 HAS SOUPS 613732 WITH SCORE 614427.05
AT ITER 9782 NEW BEST:: SOT 4395735 SOS 694953 HAS SOPS 694953 HAS SOUS 613635 HAS SOUPS 613635 WITH SCORE 614329.953
AT ITER 9800 NEW BEST:: SOT 4395678 SOS 694615 HAS SOPS 694615 HAS SOUS 613521 HAS SOUPS 613521 WITH SCORE 614215.615
AT ITER 9818 NEW BEST:: SOT 4395650 SOS 694587 HAS SOPS 694587 HAS SOUS 613465 HAS SOUPS 613465 WITH SCORE 614159.587
AT ITER 9831 NEW BEST:: SOT 4395650 SOS 694509 HAS SOPS 694509 HAS SOUS 613426 HAS SOUPS 613426 WITH SCORE 614120.509
AT ITER 9834 NEW BEST:: SOT 4395600 SOS 694409 HAS SOPS 694409 HAS SOUS 613326 HAS SOUPS 613326 WITH SCORE 614020.409
AT ITER 9847 NEW BEST:: SOT 4395497 SOS 694203 HAS SOPS 694203 HAS SOUS 613136 HAS SOUPS 613136 WITH SCORE 613830.203
AT ITER 9858 NEW BEST:: SOT 4395458 SOS 694125 HAS SOPS 694125 HAS SOUS 613058 HAS SOUPS 613058 WITH SCORE 613752.125
AT ITER 9904 NEW BEST:: SOT 4395535 SOS 693998 HAS SOPS 693998 HAS SOUS 612990 HAS SOUPS 612990 WITH SCORE 613683.998
AT ITER 9950 NEW BEST:: SOT 4395311 SOS 693880 HAS SOPS 693880 HAS SOUS 612873 HAS SOUPS 612873 WITH SCORE 613566.88
AT ITER 9967 NEW BEST:: SOT 4395302 SOS 693862 HAS SOPS 693862 HAS SOUS 612855 HAS SOUPS 612855 WITH SCORE 613548.862
AT ITER 9973 NEW BEST:: SOT 4395302 SOS 693898 HAS SOPS 693898 HAS SOUS 612822 HAS SOUPS 612822 WITH SCORE 613515.898
AT ITER 9990 NEW BEST:: SOT 4395299 SOS 693892 HAS SOPS 693892 HAS SOUS 612816 HAS SOUPS 612816 WITH SCORE 613509.892
AT ITER 9995 NEW BEST:: SOT 4395178 SOS 693650 HAS SOPS 693650 HAS SOUS 612574 HAS SOUPS 612574 WITH SCORE 613267.65

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

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-316"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is CloudReconfiguration-PT-316, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902541700128"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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