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.r011-oct2-167813600200448.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutoFlight-PT-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600200448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 548K
-rw-r--r-- 1 mcc users 6.0K Feb 25 18:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 18:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 18:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 18:08 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:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 18:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 147K Feb 25 18:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 18:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 18:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:32 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 113K 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 1678735606331

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=AutoFlight-PT-05b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 19:26:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 19:26:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 19:26:49] [INFO ] Load time of PNML (sax parser for PT used): 98 ms
[2023-03-13 19:26:49] [INFO ] Transformed 482 places.
[2023-03-13 19:26:49] [INFO ] Transformed 480 transitions.
[2023-03-13 19:26:49] [INFO ] Found NUPN structural information;
[2023-03-13 19:26:49] [INFO ] Parsed PT model containing 482 places and 480 transitions and 1120 arcs in 172 ms.
[2023-03-13 19:26:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 482 places, 480 transitions and 1120 arcs took 23 ms.
Total runtime 233 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 05b
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: 482 places, 480 transitions, 1120 arcs.
AT ITER 0 NEW BEST:: SOT 125658 SOS 25107 HAS SOPS 25107 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23080.107
AT ITER 17 NEW BEST:: SOT 125657 SOS 25106 HAS SOPS 25106 HAS SOUS 23054 HAS SOUPS 23054 WITH SCORE 23079.106
AT ITER 23 NEW BEST:: SOT 125657 SOS 25100 HAS SOPS 25100 HAS SOUS 23048 HAS SOUPS 23048 WITH SCORE 23073.1
AT ITER 26 NEW BEST:: SOT 125610 SOS 25083 HAS SOPS 25083 HAS SOUS 23029 HAS SOUPS 23029 WITH SCORE 23054.083
AT ITER 27 NEW BEST:: SOT 125590 SOS 25010 HAS SOPS 25010 HAS SOUS 22982 HAS SOUPS 22982 WITH SCORE 23007.01
AT ITER 29 NEW BEST:: SOT 125549 SOS 24928 HAS SOPS 24928 HAS SOUS 22941 HAS SOUPS 22941 WITH SCORE 22965.928
AT ITER 39 NEW BEST:: SOT 125571 SOS 24945 HAS SOPS 24945 HAS SOUS 22924 HAS SOUPS 22924 WITH SCORE 22948.945
AT ITER 62 NEW BEST:: SOT 125567 SOS 24937 HAS SOPS 24937 HAS SOUS 22916 HAS SOUPS 22916 WITH SCORE 22940.937
AT ITER 74 NEW BEST:: SOT 125615 SOS 24996 HAS SOPS 24996 HAS SOUS 22883 HAS SOUPS 22883 WITH SCORE 22907.996
AT ITER 77 NEW BEST:: SOT 125644 SOS 24995 HAS SOPS 24995 HAS SOUS 22882 HAS SOUPS 22882 WITH SCORE 22906.995
AT ITER 78 NEW BEST:: SOT 125599 SOS 24986 HAS SOPS 24986 HAS SOUS 22873 HAS SOUPS 22873 WITH SCORE 22897.986
AT ITER 83 NEW BEST:: SOT 125599 SOS 24967 HAS SOPS 24967 HAS SOUS 22854 HAS SOUPS 22854 WITH SCORE 22878.967
AT ITER 103 NEW BEST:: SOT 125548 SOS 24915 HAS SOPS 24915 HAS SOUS 22802 HAS SOUPS 22802 WITH SCORE 22826.915
AT ITER 133 NEW BEST:: SOT 125534 SOS 24897 HAS SOPS 24897 HAS SOUS 22784 HAS SOUPS 22784 WITH SCORE 22808.897
AT ITER 174 NEW BEST:: SOT 125534 SOS 24874 HAS SOPS 24874 HAS SOUS 22761 HAS SOUPS 22761 WITH SCORE 22785.874
AT ITER 202 NEW BEST:: SOT 125470 SOS 24746 HAS SOPS 24746 HAS SOUS 22633 HAS SOUPS 22633 WITH SCORE 22657.746
AT ITER 204 NEW BEST:: SOT 125485 SOS 24732 HAS SOPS 24732 HAS SOUS 22619 HAS SOUPS 22619 WITH SCORE 22643.732
AT ITER 209 NEW BEST:: SOT 125524 SOS 24762 HAS SOPS 24762 HAS SOUS 22596 HAS SOUPS 22596 WITH SCORE 22620.762
AT ITER 263 NEW BEST:: SOT 125490 SOS 24749 HAS SOPS 24749 HAS SOUS 22562 HAS SOUPS 22562 WITH SCORE 22586.749
AT ITER 281 NEW BEST:: SOT 125460 SOS 24696 HAS SOPS 24696 HAS SOUS 22509 HAS SOUPS 22509 WITH SCORE 22533.696
AT ITER 298 NEW BEST:: SOT 125460 SOS 24695 HAS SOPS 24695 HAS SOUS 22508 HAS SOUPS 22508 WITH SCORE 22532.695
AT ITER 299 NEW BEST:: SOT 125480 SOS 24679 HAS SOPS 24679 HAS SOUS 22492 HAS SOUPS 22492 WITH SCORE 22516.679
AT ITER 303 NEW BEST:: SOT 125448 SOS 24615 HAS SOPS 24615 HAS SOUS 22387 HAS SOUPS 22387 WITH SCORE 22411.615
AT ITER 318 NEW BEST:: SOT 125448 SOS 24607 HAS SOPS 24607 HAS SOUS 22379 HAS SOUPS 22379 WITH SCORE 22403.607
AT ITER 322 NEW BEST:: SOT 125427 SOS 24565 HAS SOPS 24565 HAS SOUS 22337 HAS SOUPS 22337 WITH SCORE 22361.565
AT ITER 323 NEW BEST:: SOT 125427 SOS 24539 HAS SOPS 24539 HAS SOUS 22311 HAS SOUPS 22311 WITH SCORE 22335.539
AT ITER 325 NEW BEST:: SOT 125429 SOS 24538 HAS SOPS 24538 HAS SOUS 22310 HAS SOUPS 22310 WITH SCORE 22334.538
AT ITER 339 NEW BEST:: SOT 125383 SOS 24499 HAS SOPS 24499 HAS SOUS 22271 HAS SOUPS 22271 WITH SCORE 22295.499
AT ITER 378 NEW BEST:: SOT 125383 SOS 24474 HAS SOPS 24474 HAS SOUS 22271 HAS SOUPS 22271 WITH SCORE 22295.474
AT ITER 392 NEW BEST:: SOT 125383 SOS 24453 HAS SOPS 24453 HAS SOUS 22250 HAS SOUPS 22250 WITH SCORE 22274.453
AT ITER 397 NEW BEST:: SOT 125371 SOS 24448 HAS SOPS 24448 HAS SOUS 22244 HAS SOUPS 22244 WITH SCORE 22268.448
AT ITER 405 NEW BEST:: SOT 125371 SOS 24437 HAS SOPS 24437 HAS SOUS 22244 HAS SOUPS 22244 WITH SCORE 22268.437
AT ITER 406 NEW BEST:: SOT 125414 SOS 24388 HAS SOPS 24388 HAS SOUS 22242 HAS SOUPS 22242 WITH SCORE 22266.388
AT ITER 418 NEW BEST:: SOT 125399 SOS 24365 HAS SOPS 24365 HAS SOUS 22218 HAS SOUPS 22218 WITH SCORE 22242.365
AT ITER 450 NEW BEST:: SOT 125342 SOS 24321 HAS SOPS 24321 HAS SOUS 22213 HAS SOUPS 22213 WITH SCORE 22237.321
AT ITER 473 NEW BEST:: SOT 125342 SOS 24286 HAS SOPS 24286 HAS SOUS 22213 HAS SOUPS 22213 WITH SCORE 22237.286
AT ITER 475 NEW BEST:: SOT 125308 SOS 24257 HAS SOPS 24257 HAS SOUS 22184 HAS SOUPS 22184 WITH SCORE 22208.257
AT ITER 484 NEW BEST:: SOT 125308 SOS 24244 HAS SOPS 24244 HAS SOUS 22184 HAS SOUPS 22184 WITH SCORE 22208.244
AT ITER 489 NEW BEST:: SOT 125281 SOS 24190 HAS SOPS 24190 HAS SOUS 22116 HAS SOUPS 22116 WITH SCORE 22140.19
AT ITER 500 NEW BEST:: SOT 125281 SOS 24123 HAS SOPS 24123 HAS SOUS 22049 HAS SOUPS 22049 WITH SCORE 22073.123
AT ITER 509 NEW BEST:: SOT 125213 SOS 24116 HAS SOPS 24116 HAS SOUS 22034 HAS SOUPS 22034 WITH SCORE 22058.116
AT ITER 513 NEW BEST:: SOT 125213 SOS 24100 HAS SOPS 24100 HAS SOUS 22012 HAS SOUPS 22012 WITH SCORE 22036.1
AT ITER 522 NEW BEST:: SOT 125189 SOS 24078 HAS SOPS 24078 HAS SOUS 21990 HAS SOUPS 21990 WITH SCORE 22014.078
AT ITER 564 NEW BEST:: SOT 125189 SOS 24066 HAS SOPS 24066 HAS SOUS 21978 HAS SOUPS 21978 WITH SCORE 22002.066
AT ITER 620 NEW BEST:: SOT 125181 SOS 24050 HAS SOPS 24050 HAS SOUS 21970 HAS SOUPS 21970 WITH SCORE 21994.05
AT ITER 629 NEW BEST:: SOT 125206 SOS 23999 HAS SOPS 23999 HAS SOUS 21919 HAS SOUPS 21919 WITH SCORE 21942.999
AT ITER 648 NEW BEST:: SOT 125226 SOS 24039 HAS SOPS 24039 HAS SOUS 21903 HAS SOUPS 21903 WITH SCORE 21927.039
AT ITER 654 NEW BEST:: SOT 125226 SOS 24022 HAS SOPS 24022 HAS SOUS 21886 HAS SOUPS 21886 WITH SCORE 21910.022
AT ITER 680 NEW BEST:: SOT 125226 SOS 23997 HAS SOPS 23997 HAS SOUS 21861 HAS SOUPS 21861 WITH SCORE 21884.997
AT ITER 685 NEW BEST:: SOT 125243 SOS 23993 HAS SOPS 23993 HAS SOUS 21857 HAS SOUPS 21857 WITH SCORE 21880.993
AT ITER 686 NEW BEST:: SOT 125243 SOS 23984 HAS SOPS 23984 HAS SOUS 21848 HAS SOUPS 21848 WITH SCORE 21871.984
AT ITER 690 NEW BEST:: SOT 125251 SOS 24000 HAS SOPS 24000 HAS SOUS 21828 HAS SOUPS 21828 WITH SCORE 21852.0
AT ITER 698 NEW BEST:: SOT 125242 SOS 23991 HAS SOPS 23991 HAS SOUS 21819 HAS SOUPS 21819 WITH SCORE 21842.991
AT ITER 710 NEW BEST:: SOT 125226 SOS 23943 HAS SOPS 23943 HAS SOUS 21787 HAS SOUPS 21787 WITH SCORE 21810.943
AT ITER 747 NEW BEST:: SOT 125226 SOS 23875 HAS SOPS 23875 HAS SOUS 21787 HAS SOUPS 21787 WITH SCORE 21810.875
AT ITER 750 NEW BEST:: SOT 125228 SOS 23765 HAS SOPS 23765 HAS SOUS 21771 HAS SOUPS 21771 WITH SCORE 21794.765
AT ITER 763 NEW BEST:: SOT 125181 SOS 23745 HAS SOPS 23745 HAS SOUS 21751 HAS SOUPS 21751 WITH SCORE 21774.745
AT ITER 792 NEW BEST:: SOT 125155 SOS 23720 HAS SOPS 23720 HAS SOUS 21726 HAS SOUPS 21726 WITH SCORE 21749.72
AT ITER 804 NEW BEST:: SOT 125152 SOS 23714 HAS SOPS 23714 HAS SOUS 21720 HAS SOUPS 21720 WITH SCORE 21743.714
AT ITER 808 NEW BEST:: SOT 125152 SOS 23666 HAS SOPS 23666 HAS SOUS 21672 HAS SOUPS 21672 WITH SCORE 21695.666
AT ITER 825 NEW BEST:: SOT 125156 SOS 23646 HAS SOPS 23646 HAS SOUS 21652 HAS SOUPS 21652 WITH SCORE 21675.646
AT ITER 831 NEW BEST:: SOT 125152 SOS 23638 HAS SOPS 23638 HAS SOUS 21644 HAS SOUPS 21644 WITH SCORE 21667.638
AT ITER 848 NEW BEST:: SOT 125152 SOS 23594 HAS SOPS 23594 HAS SOUS 21600 HAS SOUPS 21600 WITH SCORE 21623.594
AT ITER 871 NEW BEST:: SOT 125149 SOS 23930 HAS SOPS 23930 HAS SOUS 21594 HAS SOUPS 21594 WITH SCORE 21617.93
AT ITER 889 NEW BEST:: SOT 125144 SOS 23925 HAS SOPS 23925 HAS SOUS 21594 HAS SOUPS 21594 WITH SCORE 21617.925
AT ITER 932 NEW BEST:: SOT 125128 SOS 23909 HAS SOPS 23909 HAS SOUS 21578 HAS SOUPS 21578 WITH SCORE 21601.909
AT ITER 960 NEW BEST:: SOT 125128 SOS 23903 HAS SOPS 23903 HAS SOUS 21572 HAS SOUPS 21572 WITH SCORE 21595.903
AT ITER 961 NEW BEST:: SOT 125128 SOS 23887 HAS SOPS 23887 HAS SOUS 21572 HAS SOUPS 21572 WITH SCORE 21595.887
AT ITER 973 NEW BEST:: SOT 125128 SOS 23874 HAS SOPS 23874 HAS SOUS 21572 HAS SOUPS 21572 WITH SCORE 21595.874
AT ITER 989 NEW BEST:: SOT 125126 SOS 23870 HAS SOPS 23870 HAS SOUS 21568 HAS SOUPS 21568 WITH SCORE 21591.87
AT ITER 994 NEW BEST:: SOT 125073 SOS 23852 HAS SOPS 23852 HAS SOUS 21550 HAS SOUPS 21550 WITH SCORE 21573.852
AT ITER 995 NEW BEST:: SOT 125093 SOS 23837 HAS SOPS 23837 HAS SOUS 21545 HAS SOUPS 21545 WITH SCORE 21568.837
AT ITER 999 NEW BEST:: SOT 125093 SOS 23837 HAS SOPS 23837 HAS SOUS 21543 HAS SOUPS 21543 WITH SCORE 21566.837
AT ITER 1010 NEW BEST:: SOT 125064 SOS 23779 HAS SOPS 23779 HAS SOUS 21514 HAS SOUPS 21514 WITH SCORE 21537.779
AT ITER 1016 NEW BEST:: SOT 125064 SOS 23772 HAS SOPS 23772 HAS SOUS 21507 HAS SOUPS 21507 WITH SCORE 21530.772
AT ITER 1024 NEW BEST:: SOT 125052 SOS 23760 HAS SOPS 23760 HAS SOUS 21495 HAS SOUPS 21495 WITH SCORE 21518.76
AT ITER 1048 NEW BEST:: SOT 125054 SOS 23759 HAS SOPS 23759 HAS SOUS 21494 HAS SOUPS 21494 WITH SCORE 21517.759
AT ITER 1050 NEW BEST:: SOT 125032 SOS 23726 HAS SOPS 23726 HAS SOUS 21489 HAS SOUPS 21489 WITH SCORE 21512.726
AT ITER 1073 NEW BEST:: SOT 125032 SOS 23726 HAS SOPS 23726 HAS SOUS 21478 HAS SOUPS 21478 WITH SCORE 21501.726
AT ITER 1088 NEW BEST:: SOT 125024 SOS 23710 HAS SOPS 23710 HAS SOUS 21423 HAS SOUPS 21423 WITH SCORE 21446.71
AT ITER 1091 NEW BEST:: SOT 125022 SOS 23692 HAS SOPS 23692 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21440.692
AT ITER 1100 NEW BEST:: SOT 125034 SOS 23708 HAS SOPS 23708 HAS SOUS 21402 HAS SOUPS 21402 WITH SCORE 21425.708
AT ITER 1122 NEW BEST:: SOT 124999 SOS 23663 HAS SOPS 23663 HAS SOUS 21353 HAS SOUPS 21353 WITH SCORE 21376.663
AT ITER 1128 NEW BEST:: SOT 124999 SOS 23663 HAS SOPS 23663 HAS SOUS 21352 HAS SOUPS 21352 WITH SCORE 21375.663
AT ITER 1169 NEW BEST:: SOT 124980 SOS 23659 HAS SOPS 23659 HAS SOUS 21348 HAS SOUPS 21348 WITH SCORE 21371.659
AT ITER 1189 NEW BEST:: SOT 125000 SOS 23699 HAS SOPS 23699 HAS SOUS 21339 HAS SOUPS 21339 WITH SCORE 21362.699
AT ITER 1203 NEW BEST:: SOT 124963 SOS 23817 HAS SOPS 23817 HAS SOUS 21338 HAS SOUPS 21338 WITH SCORE 21361.817
AT ITER 1221 NEW BEST:: SOT 124963 SOS 23797 HAS SOPS 23797 HAS SOUS 21298 HAS SOUPS 21298 WITH SCORE 21321.797
AT ITER 1225 NEW BEST:: SOT 124942 SOS 23746 HAS SOPS 23746 HAS SOUS 21247 HAS SOUPS 21247 WITH SCORE 21270.746
AT ITER 1278 NEW BEST:: SOT 124926 SOS 23738 HAS SOPS 23738 HAS SOUS 21239 HAS SOUPS 21239 WITH SCORE 21262.738
AT ITER 1283 NEW BEST:: SOT 124926 SOS 23738 HAS SOPS 23738 HAS SOUS 21233 HAS SOUPS 21233 WITH SCORE 21256.738
AT ITER 1289 NEW BEST:: SOT 124911 SOS 23694 HAS SOPS 23694 HAS SOUS 21192 HAS SOUPS 21192 WITH SCORE 21215.694
AT ITER 1299 NEW BEST:: SOT 124911 SOS 23690 HAS SOPS 23690 HAS SOUS 21188 HAS SOUPS 21188 WITH SCORE 21211.69
AT ITER 1313 NEW BEST:: SOT 124896 SOS 23674 HAS SOPS 23674 HAS SOUS 21172 HAS SOUPS 21172 WITH SCORE 21195.674
AT ITER 1318 NEW BEST:: SOT 124912 SOS 23661 HAS SOPS 23661 HAS SOUS 21159 HAS SOUPS 21159 WITH SCORE 21182.661
AT ITER 1327 NEW BEST:: SOT 124889 SOS 23630 HAS SOPS 23630 HAS SOUS 21143 HAS SOUPS 21143 WITH SCORE 21166.63
AT ITER 1349 NEW BEST:: SOT 124884 SOS 23615 HAS SOPS 23615 HAS SOUS 21133 HAS SOUPS 21133 WITH SCORE 21156.615
AT ITER 1420 NEW BEST:: SOT 124869 SOS 23586 HAS SOPS 23586 HAS SOUS 21107 HAS SOUPS 21107 WITH SCORE 21130.586
AT ITER 1447 NEW BEST:: SOT 124865 SOS 23599 HAS SOPS 23599 HAS SOUS 21103 HAS SOUPS 21103 WITH SCORE 21126.599
AT ITER 1450 NEW BEST:: SOT 124865 SOS 23548 HAS SOPS 23548 HAS SOUS 21052 HAS SOUPS 21052 WITH SCORE 21075.548
AT ITER 1473 NEW BEST:: SOT 124873 SOS 23552 HAS SOPS 23552 HAS SOUS 21048 HAS SOUPS 21048 WITH SCORE 21071.552
AT ITER 1492 NEW BEST:: SOT 124861 SOS 23552 HAS SOPS 23552 HAS SOUS 21036 HAS SOUPS 21036 WITH SCORE 21059.552
AT ITER 1519 NEW BEST:: SOT 124861 SOS 23544 HAS SOPS 23544 HAS SOUS 21028 HAS SOUPS 21028 WITH SCORE 21051.544
AT ITER 1539 NEW BEST:: SOT 124861 SOS 23544 HAS SOPS 23544 HAS SOUS 21027 HAS SOUPS 21027 WITH SCORE 21050.544
AT ITER 1549 NEW BEST:: SOT 124870 SOS 23562 HAS SOPS 23562 HAS SOUS 21025 HAS SOUPS 21025 WITH SCORE 21048.562
AT ITER 1552 NEW BEST:: SOT 124865 SOS 23576 HAS SOPS 23576 HAS SOUS 21020 HAS SOUPS 21020 WITH SCORE 21043.576
AT ITER 1567 NEW BEST:: SOT 124868 SOS 23549 HAS SOPS 23549 HAS SOUS 20993 HAS SOUPS 20993 WITH SCORE 21016.549
AT ITER 1595 NEW BEST:: SOT 124873 SOS 23546 HAS SOPS 23546 HAS SOUS 20990 HAS SOUPS 20990 WITH SCORE 21013.546
AT ITER 1632 NEW BEST:: SOT 124803 SOS 23446 HAS SOPS 23446 HAS SOUS 20904 HAS SOUPS 20904 WITH SCORE 20927.446
AT ITER 1633 NEW BEST:: SOT 124803 SOS 23362 HAS SOPS 23362 HAS SOUS 20895 HAS SOUPS 20895 WITH SCORE 20918.362
AT ITER 1639 NEW BEST:: SOT 124803 SOS 23348 HAS SOPS 23348 HAS SOUS 20883 HAS SOUPS 20883 WITH SCORE 20906.348
AT ITER 1654 NEW BEST:: SOT 124793 SOS 23260 HAS SOPS 23260 HAS SOUS 20818 HAS SOUPS 20818 WITH SCORE 20841.26
AT ITER 1671 NEW BEST:: SOT 124781 SOS 23200 HAS SOPS 23200 HAS SOUS 20795 HAS SOUPS 20795 WITH SCORE 20818.2
AT ITER 1740 NEW BEST:: SOT 124776 SOS 23180 HAS SOPS 23180 HAS SOUS 20780 HAS SOUPS 20780 WITH SCORE 20803.18
AT ITER 1741 NEW BEST:: SOT 124794 SOS 23179 HAS SOPS 23179 HAS SOUS 20779 HAS SOUPS 20779 WITH SCORE 20802.179
AT ITER 1750 NEW BEST:: SOT 124739 SOS 23049 HAS SOPS 23049 HAS SOUS 20675 HAS SOUPS 20675 WITH SCORE 20698.049
AT ITER 1780 NEW BEST:: SOT 124723 SOS 23006 HAS SOPS 23006 HAS SOUS 20643 HAS SOUPS 20643 WITH SCORE 20666.006
AT ITER 1783 NEW BEST:: SOT 124718 SOS 22986 HAS SOPS 22986 HAS SOUS 20633 HAS SOUPS 20633 WITH SCORE 20655.986
AT ITER 1797 NEW BEST:: SOT 124733 SOS 22924 HAS SOPS 22924 HAS SOUS 20585 HAS SOUPS 20585 WITH SCORE 20607.924
AT ITER 1844 NEW BEST:: SOT 124716 SOS 22890 HAS SOPS 22890 HAS SOUS 20551 HAS SOUPS 20551 WITH SCORE 20573.89
AT ITER 1857 NEW BEST:: SOT 124709 SOS 22598 HAS SOPS 22598 HAS SOUS 20537 HAS SOUPS 20537 WITH SCORE 20559.598
AT ITER 1878 NEW BEST:: SOT 124709 SOS 22599 HAS SOPS 22599 HAS SOUS 20521 HAS SOUPS 20521 WITH SCORE 20543.599
AT ITER 1897 NEW BEST:: SOT 124709 SOS 22596 HAS SOPS 22596 HAS SOUS 20518 HAS SOUPS 20518 WITH SCORE 20540.596
AT ITER 1907 NEW BEST:: SOT 124736 SOS 22610 HAS SOPS 22610 HAS SOUS 20505 HAS SOUPS 20505 WITH SCORE 20527.61
AT ITER 1914 NEW BEST:: SOT 124707 SOS 22552 HAS SOPS 22552 HAS SOUS 20447 HAS SOUPS 20447 WITH SCORE 20469.552
AT ITER 1958 NEW BEST:: SOT 124688 SOS 22467 HAS SOPS 22467 HAS SOUS 20362 HAS SOUPS 20362 WITH SCORE 20384.467
AT ITER 1986 NEW BEST:: SOT 124657 SOS 22439 HAS SOPS 22439 HAS SOUS 20334 HAS SOUPS 20334 WITH SCORE 20356.439
AT ITER 1989 NEW BEST:: SOT 124632 SOS 22389 HAS SOPS 22389 HAS SOUS 20269 HAS SOUPS 20269 WITH SCORE 20291.389
AT ITER 1998 NEW BEST:: SOT 124655 SOS 22368 HAS SOPS 22368 HAS SOUS 20263 HAS SOUPS 20263 WITH SCORE 20285.368
AT ITER 2009 NEW BEST:: SOT 124655 SOS 22363 HAS SOPS 22363 HAS SOUS 20263 HAS SOUPS 20263 WITH SCORE 20285.363
AT ITER 2031 NEW BEST:: SOT 124654 SOS 22358 HAS SOPS 22358 HAS SOUS 20258 HAS SOUPS 20258 WITH SCORE 20280.358
AT ITER 2061 NEW BEST:: SOT 124649 SOS 22332 HAS SOPS 22332 HAS SOUS 20230 HAS SOUPS 20230 WITH SCORE 20252.332
AT ITER 2085 NEW BEST:: SOT 124622 SOS 22325 HAS SOPS 22325 HAS SOUS 20223 HAS SOUPS 20223 WITH SCORE 20245.325
AT ITER 2110 NEW BEST:: SOT 124612 SOS 22295 HAS SOPS 22295 HAS SOUS 20213 HAS SOUPS 20213 WITH SCORE 20235.295
AT ITER 2114 NEW BEST:: SOT 124589 SOS 22200 HAS SOPS 22200 HAS SOUS 20149 HAS SOUPS 20149 WITH SCORE 20171.2
AT ITER 2121 NEW BEST:: SOT 124589 SOS 22198 HAS SOPS 22198 HAS SOUS 20149 HAS SOUPS 20149 WITH SCORE 20171.198
AT ITER 2123 NEW BEST:: SOT 124585 SOS 22126 HAS SOPS 22126 HAS SOUS 20141 HAS SOUPS 20141 WITH SCORE 20163.126
AT ITER 2124 NEW BEST:: SOT 124570 SOS 22111 HAS SOPS 22111 HAS SOUS 20126 HAS SOUPS 20126 WITH SCORE 20148.111
AT ITER 2142 NEW BEST:: SOT 124573 SOS 22090 HAS SOPS 22090 HAS SOUS 20105 HAS SOUPS 20105 WITH SCORE 20127.09
AT ITER 2146 NEW BEST:: SOT 124556 SOS 22056 HAS SOPS 22056 HAS SOUS 20071 HAS SOUPS 20071 WITH SCORE 20093.056
AT ITER 2167 NEW BEST:: SOT 124556 SOS 22040 HAS SOPS 22040 HAS SOUS 20055 HAS SOUPS 20055 WITH SCORE 20077.04
AT ITER 2174 NEW BEST:: SOT 124567 SOS 22057 HAS SOPS 22057 HAS SOUS 20048 HAS SOUPS 20048 WITH SCORE 20070.057
AT ITER 2212 NEW BEST:: SOT 124569 SOS 22048 HAS SOPS 22048 HAS SOUS 20039 HAS SOUPS 20039 WITH SCORE 20061.048
AT ITER 2227 NEW BEST:: SOT 124501 SOS 21866 HAS SOPS 21866 HAS SOUS 19920 HAS SOUPS 19920 WITH SCORE 19941.866
AT ITER 2247 NEW BEST:: SOT 124501 SOS 21861 HAS SOPS 21861 HAS SOUS 19915 HAS SOUPS 19915 WITH SCORE 19936.861
AT ITER 2250 NEW BEST:: SOT 124435 SOS 21828 HAS SOPS 21828 HAS SOUS 19882 HAS SOUPS 19882 WITH SCORE 19903.828
AT ITER 2265 NEW BEST:: SOT 124417 SOS 21814 HAS SOPS 21814 HAS SOUS 19864 HAS SOUPS 19864 WITH SCORE 19885.814
AT ITER 2315 NEW BEST:: SOT 124406 SOS 21781 HAS SOPS 21781 HAS SOUS 19831 HAS SOUPS 19831 WITH SCORE 19852.781
AT ITER 2316 NEW BEST:: SOT 124381 SOS 21662 HAS SOPS 21662 HAS SOUS 19737 HAS SOUPS 19737 WITH SCORE 19758.662
AT ITER 2376 NEW BEST:: SOT 124378 SOS 21670 HAS SOPS 21670 HAS SOUS 19703 HAS SOUPS 19703 WITH SCORE 19724.67
AT ITER 2379 NEW BEST:: SOT 124373 SOS 21660 HAS SOPS 21660 HAS SOUS 19693 HAS SOUPS 19693 WITH SCORE 19714.66
AT ITER 2384 NEW BEST:: SOT 124368 SOS 21641 HAS SOPS 21641 HAS SOUS 19693 HAS SOUPS 19693 WITH SCORE 19714.641
AT ITER 2424 NEW BEST:: SOT 124368 SOS 21633 HAS SOPS 21633 HAS SOUS 19685 HAS SOUPS 19685 WITH SCORE 19706.633
AT ITER 2468 NEW BEST:: SOT 124330 SOS 21576 HAS SOPS 21576 HAS SOUS 19638 HAS SOUPS 19638 WITH SCORE 19659.576
AT ITER 2511 NEW BEST:: SOT 124299 SOS 21600 HAS SOPS 21600 HAS SOUS 19635 HAS SOUPS 19635 WITH SCORE 19656.6
AT ITER 2514 NEW BEST:: SOT 124299 SOS 21582 HAS SOPS 21582 HAS SOUS 19617 HAS SOUPS 19617 WITH SCORE 19638.582
AT ITER 2525 NEW BEST:: SOT 124299 SOS 21570 HAS SOPS 21570 HAS SOUS 19605 HAS SOUPS 19605 WITH SCORE 19626.57
AT ITER 2526 NEW BEST:: SOT 124266 SOS 21515 HAS SOPS 21515 HAS SOUS 19550 HAS SOUPS 19550 WITH SCORE 19571.515
AT ITER 2571 NEW BEST:: SOT 124261 SOS 21505 HAS SOPS 21505 HAS SOUS 19540 HAS SOUPS 19540 WITH SCORE 19561.505
AT ITER 2590 NEW BEST:: SOT 124254 SOS 21453 HAS SOPS 21453 HAS SOUS 19526 HAS SOUPS 19526 WITH SCORE 19547.453
AT ITER 2591 NEW BEST:: SOT 124254 SOS 21446 HAS SOPS 21446 HAS SOUS 19512 HAS SOUPS 19512 WITH SCORE 19533.446
AT ITER 2593 NEW BEST:: SOT 124254 SOS 21446 HAS SOPS 21446 HAS SOUS 19420 HAS SOUPS 19420 WITH SCORE 19441.446
AT ITER 2628 NEW BEST:: SOT 124207 SOS 21470 HAS SOPS 21470 HAS SOUS 19373 HAS SOUPS 19373 WITH SCORE 19394.47
AT ITER 2633 NEW BEST:: SOT 124207 SOS 21470 HAS SOPS 21470 HAS SOUS 19369 HAS SOUPS 19369 WITH SCORE 19390.47
AT ITER 2635 NEW BEST:: SOT 124203 SOS 21525 HAS SOPS 21525 HAS SOUS 19365 HAS SOUPS 19365 WITH SCORE 19386.525
AT ITER 2680 NEW BEST:: SOT 124203 SOS 21518 HAS SOPS 21518 HAS SOUS 19365 HAS SOUPS 19365 WITH SCORE 19386.518
AT ITER 2700 NEW BEST:: SOT 124197 SOS 21518 HAS SOPS 21518 HAS SOUS 19359 HAS SOUPS 19359 WITH SCORE 19380.518
AT ITER 2707 NEW BEST:: SOT 124192 SOS 21508 HAS SOPS 21508 HAS SOUS 19349 HAS SOUPS 19349 WITH SCORE 19370.508
AT ITER 2711 NEW BEST:: SOT 124191 SOS 21507 HAS SOPS 21507 HAS SOUS 19347 HAS SOUPS 19347 WITH SCORE 19368.507
AT ITER 2713 NEW BEST:: SOT 124183 SOS 21491 HAS SOPS 21491 HAS SOUS 19331 HAS SOUPS 19331 WITH SCORE 19352.491
AT ITER 2725 NEW BEST:: SOT 124173 SOS 21496 HAS SOPS 21496 HAS SOUS 19311 HAS SOUPS 19311 WITH SCORE 19332.496
AT ITER 2735 NEW BEST:: SOT 124173 SOS 21478 HAS SOPS 21478 HAS SOUS 19293 HAS SOUPS 19293 WITH SCORE 19314.478
AT ITER 2753 NEW BEST:: SOT 124182 SOS 21496 HAS SOPS 21496 HAS SOUS 19256 HAS SOUPS 19256 WITH SCORE 19277.496
AT ITER 2759 NEW BEST:: SOT 124182 SOS 21494 HAS SOPS 21494 HAS SOUS 19256 HAS SOUPS 19256 WITH SCORE 19277.494
AT ITER 2775 NEW BEST:: SOT 124182 SOS 21485 HAS SOPS 21485 HAS SOUS 19247 HAS SOUPS 19247 WITH SCORE 19268.485
AT ITER 2821 NEW BEST:: SOT 124137 SOS 21463 HAS SOPS 21463 HAS SOUS 19225 HAS SOUPS 19225 WITH SCORE 19246.463
AT ITER 2841 NEW BEST:: SOT 124137 SOS 21462 HAS SOPS 21462 HAS SOUS 19224 HAS SOUPS 19224 WITH SCORE 19245.462
AT ITER 2846 NEW BEST:: SOT 124089 SOS 21414 HAS SOPS 21414 HAS SOUS 19184 HAS SOUPS 19184 WITH SCORE 19205.414
AT ITER 2849 NEW BEST:: SOT 124089 SOS 21414 HAS SOPS 21414 HAS SOUS 19176 HAS SOUPS 19176 WITH SCORE 19197.414
AT ITER 2864 NEW BEST:: SOT 124073 SOS 21343 HAS SOPS 21343 HAS SOUS 19144 HAS SOUPS 19144 WITH SCORE 19165.343
AT ITER 2875 NEW BEST:: SOT 124067 SOS 21331 HAS SOPS 21331 HAS SOUS 19132 HAS SOUPS 19132 WITH SCORE 19153.331
AT ITER 2925 NEW BEST:: SOT 124049 SOS 21329 HAS SOPS 21329 HAS SOUS 19130 HAS SOUPS 19130 WITH SCORE 19151.329
AT ITER 2943 NEW BEST:: SOT 124018 SOS 21309 HAS SOPS 21309 HAS SOUS 19127 HAS SOUPS 19127 WITH SCORE 19148.309
AT ITER 2957 NEW BEST:: SOT 124004 SOS 21307 HAS SOPS 21307 HAS SOUS 19125 HAS SOUPS 19125 WITH SCORE 19146.307
AT ITER 2986 NEW BEST:: SOT 124004 SOS 21307 HAS SOPS 21307 HAS SOUS 19103 HAS SOUPS 19103 WITH SCORE 19124.307
AT ITER 3030 NEW BEST:: SOT 123938 SOS 21241 HAS SOPS 21241 HAS SOUS 19037 HAS SOUPS 19037 WITH SCORE 19058.241
AT ITER 3032 NEW BEST:: SOT 123929 SOS 21233 HAS SOPS 21233 HAS SOUS 19029 HAS SOUPS 19029 WITH SCORE 19050.233
AT ITER 3040 NEW BEST:: SOT 123952 SOS 21277 HAS SOPS 21277 HAS SOUS 19012 HAS SOUPS 19012 WITH SCORE 19033.277
AT ITER 3077 NEW BEST:: SOT 123926 SOS 21333 HAS SOPS 21333 HAS SOUS 19007 HAS SOUPS 19007 WITH SCORE 19028.333
AT ITER 3103 NEW BEST:: SOT 123924 SOS 21323 HAS SOPS 21323 HAS SOUS 18997 HAS SOUPS 18997 WITH SCORE 19018.323
AT ITER 3128 NEW BEST:: SOT 123924 SOS 21295 HAS SOPS 21295 HAS SOUS 18969 HAS SOUPS 18969 WITH SCORE 18990.295
AT ITER 3153 NEW BEST:: SOT 123932 SOS 21305 HAS SOPS 21305 HAS SOUS 18967 HAS SOUPS 18967 WITH SCORE 18988.305
AT ITER 3156 NEW BEST:: SOT 123945 SOS 21318 HAS SOPS 21318 HAS SOUS 18966 HAS SOUPS 18966 WITH SCORE 18987.318
AT ITER 3218 NEW BEST:: SOT 123951 SOS 21293 HAS SOPS 21293 HAS SOUS 18953 HAS SOUPS 18953 WITH SCORE 18974.293
AT ITER 3235 NEW BEST:: SOT 123952 SOS 21295 HAS SOPS 21295 HAS SOUS 18946 HAS SOUPS 18946 WITH SCORE 18967.295
AT ITER 3265 NEW BEST:: SOT 123952 SOS 21263 HAS SOPS 21263 HAS SOUS 18914 HAS SOUPS 18914 WITH SCORE 18935.263
AT ITER 3287 NEW BEST:: SOT 123939 SOS 21276 HAS SOPS 21276 HAS SOUS 18901 HAS SOUPS 18901 WITH SCORE 18922.276
AT ITER 3293 NEW BEST:: SOT 123903 SOS 21268 HAS SOPS 21268 HAS SOUS 18900 HAS SOUPS 18900 WITH SCORE 18921.268
AT ITER 3335 NEW BEST:: SOT 123925 SOS 21198 HAS SOPS 21198 HAS SOUS 18899 HAS SOUPS 18899 WITH SCORE 18920.198
AT ITER 3354 NEW BEST:: SOT 123947 SOS 21244 HAS SOPS 21244 HAS SOUS 18893 HAS SOUPS 18893 WITH SCORE 18914.244
AT ITER 3374 NEW BEST:: SOT 123886 SOS 21182 HAS SOPS 21182 HAS SOUS 18828 HAS SOUPS 18828 WITH SCORE 18849.182
AT ITER 3451 NEW BEST:: SOT 123874 SOS 21170 HAS SOPS 21170 HAS SOUS 18816 HAS SOUPS 18816 WITH SCORE 18837.17
AT ITER 3493 NEW BEST:: SOT 123865 SOS 21152 HAS SOPS 21152 HAS SOUS 18799 HAS SOUPS 18799 WITH SCORE 18820.152
AT ITER 3496 NEW BEST:: SOT 123825 SOS 21155 HAS SOPS 21155 HAS SOUS 18777 HAS SOUPS 18777 WITH SCORE 18798.155
AT ITER 3504 NEW BEST:: SOT 123819 SOS 21143 HAS SOPS 21143 HAS SOUS 18765 HAS SOUPS 18765 WITH SCORE 18786.143
AT ITER 3528 NEW BEST:: SOT 123802 SOS 21123 HAS SOPS 21123 HAS SOUS 18745 HAS SOUPS 18745 WITH SCORE 18766.123
AT ITER 3538 NEW BEST:: SOT 123802 SOS 21112 HAS SOPS 21112 HAS SOUS 18734 HAS SOUPS 18734 WITH SCORE 18755.112
AT ITER 3541 NEW BEST:: SOT 123802 SOS 21093 HAS SOPS 21093 HAS SOUS 18715 HAS SOUPS 18715 WITH SCORE 18736.093
AT ITER 3551 NEW BEST:: SOT 123803 SOS 21091 HAS SOPS 21091 HAS SOUS 18712 HAS SOUPS 18712 WITH SCORE 18733.091
AT ITER 3572 NEW BEST:: SOT 123803 SOS 21085 HAS SOPS 21085 HAS SOUS 18706 HAS SOUPS 18706 WITH SCORE 18727.085
AT ITER 3574 NEW BEST:: SOT 123803 SOS 21069 HAS SOPS 21069 HAS SOUS 18690 HAS SOUPS 18690 WITH SCORE 18711.069
AT ITER 3626 NEW BEST:: SOT 123792 SOS 21047 HAS SOPS 21047 HAS SOUS 18668 HAS SOUPS 18668 WITH SCORE 18689.047
AT ITER 3699 NEW BEST:: SOT 123754 SOS 21032 HAS SOPS 21032 HAS SOUS 18653 HAS SOUPS 18653 WITH SCORE 18674.032
AT ITER 3711 NEW BEST:: SOT 123765 SOS 21096 HAS SOPS 21096 HAS SOUS 18649 HAS SOUPS 18649 WITH SCORE 18670.096
AT ITER 3715 NEW BEST:: SOT 123750 SOS 21090 HAS SOPS 21090 HAS SOUS 18631 HAS SOUPS 18631 WITH SCORE 18652.09
AT ITER 3719 NEW BEST:: SOT 123752 SOS 21094 HAS SOPS 21094 HAS SOUS 18624 HAS SOUPS 18624 WITH SCORE 18645.094
AT ITER 3729 NEW BEST:: SOT 123749 SOS 21088 HAS SOPS 21088 HAS SOUS 18621 HAS SOUPS 18621 WITH SCORE 18642.088
AT ITER 3734 NEW BEST:: SOT 123729 SOS 21059 HAS SOPS 21059 HAS SOUS 18592 HAS SOUPS 18592 WITH SCORE 18613.059
AT ITER 3738 NEW BEST:: SOT 123696 SOS 20993 HAS SOPS 20993 HAS SOUS 18559 HAS SOUPS 18559 WITH SCORE 18579.993
AT ITER 3810 NEW BEST:: SOT 123672 SOS 20941 HAS SOPS 20941 HAS SOUS 18507 HAS SOUPS 18507 WITH SCORE 18527.941
AT ITER 3839 NEW BEST:: SOT 123652 SOS 20941 HAS SOPS 20941 HAS SOUS 18467 HAS SOUPS 18467 WITH SCORE 18487.941
AT ITER 3853 NEW BEST:: SOT 123652 SOS 20962 HAS SOPS 20962 HAS SOUS 18456 HAS SOUPS 18456 WITH SCORE 18476.962
AT ITER 3865 NEW BEST:: SOT 123652 SOS 20961 HAS SOPS 20961 HAS SOUS 18450 HAS SOUPS 18450 WITH SCORE 18470.961
AT ITER 3895 NEW BEST:: SOT 123628 SOS 20913 HAS SOPS 20913 HAS SOUS 18402 HAS SOUPS 18402 WITH SCORE 18422.913
AT ITER 3920 NEW BEST:: SOT 123610 SOS 20921 HAS SOPS 20921 HAS SOUS 18373 HAS SOUPS 18373 WITH SCORE 18393.921
AT ITER 3994 NEW BEST:: SOT 123606 SOS 20913 HAS SOPS 20913 HAS SOUS 18365 HAS SOUPS 18365 WITH SCORE 18385.913
AT ITER 4006 NEW BEST:: SOT 123586 SOS 20873 HAS SOPS 20873 HAS SOUS 18325 HAS SOUPS 18325 WITH SCORE 18345.873
AT ITER 4009 NEW BEST:: SOT 123587 SOS 20869 HAS SOPS 20869 HAS SOUS 18315 HAS SOUPS 18315 WITH SCORE 18335.869
AT ITER 4021 NEW BEST:: SOT 123586 SOS 20868 HAS SOPS 20868 HAS SOUS 18314 HAS SOUPS 18314 WITH SCORE 18334.868
AT ITER 4060 NEW BEST:: SOT 123545 SOS 20755 HAS SOPS 20755 HAS SOUS 18201 HAS SOUPS 18201 WITH SCORE 18221.755
AT ITER 4064 NEW BEST:: SOT 123526 SOS 20754 HAS SOPS 20754 HAS SOUS 18186 HAS SOUPS 18186 WITH SCORE 18206.754
AT ITER 4074 NEW BEST:: SOT 123520 SOS 20744 HAS SOPS 20744 HAS SOUS 18176 HAS SOUPS 18176 WITH SCORE 18196.744
AT ITER 4088 NEW BEST:: SOT 123498 SOS 20729 HAS SOPS 20729 HAS SOUS 18161 HAS SOUPS 18161 WITH SCORE 18181.729
AT ITER 4096 NEW BEST:: SOT 123490 SOS 20729 HAS SOPS 20729 HAS SOUS 18155 HAS SOUPS 18155 WITH SCORE 18175.729
AT ITER 4103 NEW BEST:: SOT 123452 SOS 20710 HAS SOPS 20710 HAS SOUS 18118 HAS SOUPS 18118 WITH SCORE 18138.71
AT ITER 4132 NEW BEST:: SOT 123445 SOS 20680 HAS SOPS 20680 HAS SOUS 18104 HAS SOUPS 18104 WITH SCORE 18124.68
AT ITER 4183 NEW BEST:: SOT 123436 SOS 20670 HAS SOPS 20670 HAS SOUS 18094 HAS SOUPS 18094 WITH SCORE 18114.67
AT ITER 4205 NEW BEST:: SOT 123436 SOS 20554 HAS SOPS 20554 HAS SOUS 18094 HAS SOUPS 18094 WITH SCORE 18114.554
AT ITER 4211 NEW BEST:: SOT 123439 SOS 20546 HAS SOPS 20546 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18107.546
AT ITER 4219 NEW BEST:: SOT 123452 SOS 20534 HAS SOPS 20534 HAS SOUS 18078 HAS SOUPS 18078 WITH SCORE 18098.534
AT ITER 4232 NEW BEST:: SOT 123434 SOS 20554 HAS SOPS 20554 HAS SOUS 18060 HAS SOUPS 18060 WITH SCORE 18080.554
AT ITER 4254 NEW BEST:: SOT 123432 SOS 20536 HAS SOPS 20536 HAS SOUS 18056 HAS SOUPS 18056 WITH SCORE 18076.536
AT ITER 4291 NEW BEST:: SOT 123431 SOS 20535 HAS SOPS 20535 HAS SOUS 18055 HAS SOUPS 18055 WITH SCORE 18075.535
AT ITER 4335 NEW BEST:: SOT 123431 SOS 20518 HAS SOPS 20518 HAS SOUS 18053 HAS SOUPS 18053 WITH SCORE 18073.518
AT ITER 4370 NEW BEST:: SOT 123422 SOS 20500 HAS SOPS 20500 HAS SOUS 18044 HAS SOUPS 18044 WITH SCORE 18064.5
AT ITER 4385 NEW BEST:: SOT 123416 SOS 20494 HAS SOPS 20494 HAS SOUS 18038 HAS SOUPS 18038 WITH SCORE 18058.494
AT ITER 4418 NEW BEST:: SOT 123416 SOS 20485 HAS SOPS 20485 HAS SOUS 18029 HAS SOUPS 18029 WITH SCORE 18049.485
AT ITER 4538 NEW BEST:: SOT 123391 SOS 20471 HAS SOPS 20471 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18035.471
AT ITER 4546 NEW BEST:: SOT 123363 SOS 20463 HAS SOPS 20463 HAS SOUS 18007 HAS SOUPS 18007 WITH SCORE 18027.463
AT ITER 4594 NEW BEST:: SOT 123359 SOS 20455 HAS SOPS 20455 HAS SOUS 18003 HAS SOUPS 18003 WITH SCORE 18023.455
AT ITER 4627 NEW BEST:: SOT 123382 SOS 20441 HAS SOPS 20441 HAS SOUS 17989 HAS SOUPS 17989 WITH SCORE 18009.441
AT ITER 4634 NEW BEST:: SOT 123361 SOS 20408 HAS SOPS 20408 HAS SOUS 17980 HAS SOUPS 17980 WITH SCORE 18000.408
AT ITER 4694 NEW BEST:: SOT 123361 SOS 20378 HAS SOPS 20378 HAS SOUS 17980 HAS SOUPS 17980 WITH SCORE 18000.378
AT ITER 4704 NEW BEST:: SOT 123361 SOS 20366 HAS SOPS 20366 HAS SOUS 17968 HAS SOUPS 17968 WITH SCORE 17988.366
AT ITER 4763 NEW BEST:: SOT 123374 SOS 20359 HAS SOPS 20359 HAS SOUS 17961 HAS SOUPS 17961 WITH SCORE 17981.359
AT ITER 4771 NEW BEST:: SOT 123384 SOS 20358 HAS SOPS 20358 HAS SOUS 17952 HAS SOUPS 17952 WITH SCORE 17972.358
AT ITER 4790 NEW BEST:: SOT 123343 SOS 20443 HAS SOPS 20443 HAS SOUS 17905 HAS SOUPS 17905 WITH SCORE 17925.443
AT ITER 4805 NEW BEST:: SOT 123337 SOS 20434 HAS SOPS 20434 HAS SOUS 17893 HAS SOUPS 17893 WITH SCORE 17913.434
AT ITER 4887 NEW BEST:: SOT 123308 SOS 20376 HAS SOPS 20376 HAS SOUS 17873 HAS SOUPS 17873 WITH SCORE 17893.376
AT ITER 4908 NEW BEST:: SOT 123306 SOS 20333 HAS SOPS 20333 HAS SOUS 17830 HAS SOUPS 17830 WITH SCORE 17850.333
AT ITER 4929 NEW BEST:: SOT 123301 SOS 20328 HAS SOPS 20328 HAS SOUS 17825 HAS SOUPS 17825 WITH SCORE 17845.328
AT ITER 4933 NEW BEST:: SOT 123301 SOS 20327 HAS SOPS 20327 HAS SOUS 17798 HAS SOUPS 17798 WITH SCORE 17818.327
AT ITER 4959 NEW BEST:: SOT 123312 SOS 20349 HAS SOPS 20349 HAS SOUS 17796 HAS SOUPS 17796 WITH SCORE 17816.349
AT ITER 4983 NEW BEST:: SOT 123308 SOS 20363 HAS SOPS 20363 HAS SOUS 17781 HAS SOUPS 17781 WITH SCORE 17801.363
AT ITER 5017 NEW BEST:: SOT 123285 SOS 20340 HAS SOPS 20340 HAS SOUS 17758 HAS SOUPS 17758 WITH SCORE 17778.34
AT ITER 5018 NEW BEST:: SOT 123271 SOS 20312 HAS SOPS 20312 HAS SOUS 17738 HAS SOUPS 17738 WITH SCORE 17758.312
AT ITER 5055 NEW BEST:: SOT 123271 SOS 20291 HAS SOPS 20291 HAS SOUS 17717 HAS SOUPS 17717 WITH SCORE 17737.291
AT ITER 5058 NEW BEST:: SOT 123271 SOS 20291 HAS SOPS 20291 HAS SOUS 17712 HAS SOUPS 17712 WITH SCORE 17732.291
AT ITER 5067 NEW BEST:: SOT 123268 SOS 20333 HAS SOPS 20333 HAS SOUS 17709 HAS SOUPS 17709 WITH SCORE 17729.333
AT ITER 5105 NEW BEST:: SOT 123266 SOS 20331 HAS SOPS 20331 HAS SOUS 17707 HAS SOUPS 17707 WITH SCORE 17727.331
AT ITER 5123 NEW BEST:: SOT 123266 SOS 20301 HAS SOPS 20301 HAS SOUS 17668 HAS SOUPS 17668 WITH SCORE 17688.301
AT ITER 5156 NEW BEST:: SOT 123265 SOS 20300 HAS SOPS 20300 HAS SOUS 17667 HAS SOUPS 17667 WITH SCORE 17687.3
AT ITER 5182 NEW BEST:: SOT 123297 SOS 20327 HAS SOPS 20327 HAS SOUS 17663 HAS SOUPS 17663 WITH SCORE 17683.327
AT ITER 5239 NEW BEST:: SOT 123280 SOS 20316 HAS SOPS 20316 HAS SOUS 17652 HAS SOUPS 17652 WITH SCORE 17672.316
AT ITER 5248 NEW BEST:: SOT 123313 SOS 20268 HAS SOPS 20268 HAS SOUS 17604 HAS SOUPS 17604 WITH SCORE 17624.268
AT ITER 5258 NEW BEST:: SOT 123275 SOS 20297 HAS SOPS 20297 HAS SOUS 17557 HAS SOUPS 17557 WITH SCORE 17577.297
AT ITER 5288 NEW BEST:: SOT 123273 SOS 20297 HAS SOPS 20297 HAS SOUS 17555 HAS SOUPS 17555 WITH SCORE 17575.297
AT ITER 5309 NEW BEST:: SOT 123264 SOS 20261 HAS SOPS 20261 HAS SOUS 17555 HAS SOUPS 17555 WITH SCORE 17575.261
AT ITER 5399 NEW BEST:: SOT 123264 SOS 20261 HAS SOPS 20261 HAS SOUS 17546 HAS SOUPS 17546 WITH SCORE 17566.261
AT ITER 5407 NEW BEST:: SOT 123263 SOS 20258 HAS SOPS 20258 HAS SOUS 17543 HAS SOUPS 17543 WITH SCORE 17563.258
AT ITER 5417 NEW BEST:: SOT 123263 SOS 20258 HAS SOPS 20258 HAS SOUS 17542 HAS SOUPS 17542 WITH SCORE 17562.258
AT ITER 5419 NEW BEST:: SOT 123258 SOS 20242 HAS SOPS 20242 HAS SOUS 17531 HAS SOUPS 17531 WITH SCORE 17551.242
AT ITER 5475 NEW BEST:: SOT 123284 SOS 20239 HAS SOPS 20239 HAS SOUS 17528 HAS SOUPS 17528 WITH SCORE 17548.239
AT ITER 5502 NEW BEST:: SOT 123284 SOS 20236 HAS SOPS 20236 HAS SOUS 17528 HAS SOUPS 17528 WITH SCORE 17548.236
AT ITER 5529 NEW BEST:: SOT 123283 SOS 20234 HAS SOPS 20234 HAS SOUS 17526 HAS SOUPS 17526 WITH SCORE 17546.234
AT ITER 5576 NEW BEST:: SOT 123283 SOS 20219 HAS SOPS 20219 HAS SOUS 17511 HAS SOUPS 17511 WITH SCORE 17531.219
AT ITER 5578 NEW BEST:: SOT 123281 SOS 20218 HAS SOPS 20218 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17530.218
AT ITER 5585 NEW BEST:: SOT 123283 SOS 20079 HAS SOPS 20079 HAS SOUS 17477 HAS SOUPS 17477 WITH SCORE 17497.079
AT ITER 5665 NEW BEST:: SOT 123256 SOS 20051 HAS SOPS 20051 HAS SOUS 17449 HAS SOUPS 17449 WITH SCORE 17469.051
AT ITER 5674 NEW BEST:: SOT 123252 SOS 20051 HAS SOPS 20051 HAS SOUS 17448 HAS SOUPS 17448 WITH SCORE 17468.051
AT ITER 5681 NEW BEST:: SOT 123241 SOS 20029 HAS SOPS 20029 HAS SOUS 17441 HAS SOUPS 17441 WITH SCORE 17461.029
AT ITER 5699 NEW BEST:: SOT 123234 SOS 19998 HAS SOPS 19998 HAS SOUS 17414 HAS SOUPS 17414 WITH SCORE 17433.998
AT ITER 5709 NEW BEST:: SOT 123225 SOS 19990 HAS SOPS 19990 HAS SOUS 17396 HAS SOUPS 17396 WITH SCORE 17415.99
AT ITER 5715 NEW BEST:: SOT 123213 SOS 19974 HAS SOPS 19974 HAS SOUS 17392 HAS SOUPS 17392 WITH SCORE 17411.974
AT ITER 5718 NEW BEST:: SOT 123198 SOS 19944 HAS SOPS 19944 HAS SOUS 17372 HAS SOUPS 17372 WITH SCORE 17391.944
AT ITER 5737 NEW BEST:: SOT 123211 SOS 19944 HAS SOPS 19944 HAS SOUS 17359 HAS SOUPS 17359 WITH SCORE 17378.944
AT ITER 5787 NEW BEST:: SOT 123211 SOS 19921 HAS SOPS 19921 HAS SOUS 17336 HAS SOUPS 17336 WITH SCORE 17355.921
AT ITER 5792 NEW BEST:: SOT 123211 SOS 19888 HAS SOPS 19888 HAS SOUS 17336 HAS SOUPS 17336 WITH SCORE 17355.888
AT ITER 5793 NEW BEST:: SOT 123208 SOS 19885 HAS SOPS 19885 HAS SOUS 17333 HAS SOUPS 17333 WITH SCORE 17352.885
AT ITER 5795 NEW BEST:: SOT 123208 SOS 19885 HAS SOPS 19885 HAS SOUS 17327 HAS SOUPS 17327 WITH SCORE 17346.885
AT ITER 5809 NEW BEST:: SOT 123180 SOS 19829 HAS SOPS 19829 HAS SOUS 17289 HAS SOUPS 17289 WITH SCORE 17308.829
AT ITER 5884 NEW BEST:: SOT 123176 SOS 19821 HAS SOPS 19821 HAS SOUS 17281 HAS SOUPS 17281 WITH SCORE 17300.821
AT ITER 5885 NEW BEST:: SOT 123177 SOS 19823 HAS SOPS 19823 HAS SOUS 17267 HAS SOUPS 17267 WITH SCORE 17286.823
AT ITER 5886 NEW BEST:: SOT 123166 SOS 19753 HAS SOPS 19753 HAS SOUS 17233 HAS SOUPS 17233 WITH SCORE 17252.753
AT ITER 5987 NEW BEST:: SOT 123148 SOS 19717 HAS SOPS 19717 HAS SOUS 17197 HAS SOUPS 17197 WITH SCORE 17216.717
AT ITER 5989 NEW BEST:: SOT 123165 SOS 19637 HAS SOPS 19637 HAS SOUS 17176 HAS SOUPS 17176 WITH SCORE 17195.637
AT ITER 5995 NEW BEST:: SOT 123155 SOS 19587 HAS SOPS 19587 HAS SOUS 17156 HAS SOUPS 17156 WITH SCORE 17175.587
AT ITER 6044 NEW BEST:: SOT 123161 SOS 19592 HAS SOPS 19592 HAS SOUS 17155 HAS SOUPS 17155 WITH SCORE 17174.592
AT ITER 6102 NEW BEST:: SOT 123161 SOS 19588 HAS SOPS 19588 HAS SOUS 17153 HAS SOUPS 17153 WITH SCORE 17172.588
AT ITER 6144 NEW BEST:: SOT 123138 SOS 19589 HAS SOPS 19589 HAS SOUS 17148 HAS SOUPS 17148 WITH SCORE 17167.589
AT ITER 6160 NEW BEST:: SOT 123127 SOS 19578 HAS SOPS 19578 HAS SOUS 17137 HAS SOUPS 17137 WITH SCORE 17156.578
AT ITER 6230 NEW BEST:: SOT 123127 SOS 19575 HAS SOPS 19575 HAS SOUS 17136 HAS SOUPS 17136 WITH SCORE 17155.575
AT ITER 6234 NEW BEST:: SOT 123124 SOS 19569 HAS SOPS 19569 HAS SOUS 17130 HAS SOUPS 17130 WITH SCORE 17149.569
AT ITER 6265 NEW BEST:: SOT 123108 SOS 19639 HAS SOPS 19639 HAS SOUS 17114 HAS SOUPS 17114 WITH SCORE 17133.639
AT ITER 6267 NEW BEST:: SOT 123107 SOS 19637 HAS SOPS 19637 HAS SOUS 17113 HAS SOUPS 17113 WITH SCORE 17132.637
AT ITER 6290 NEW BEST:: SOT 123107 SOS 19625 HAS SOPS 19625 HAS SOUS 17113 HAS SOUPS 17113 WITH SCORE 17132.625
AT ITER 6298 NEW BEST:: SOT 123094 SOS 19613 HAS SOPS 19613 HAS SOUS 17101 HAS SOUPS 17101 WITH SCORE 17120.613
AT ITER 6326 NEW BEST:: SOT 123085 SOS 19604 HAS SOPS 19604 HAS SOUS 17092 HAS SOUPS 17092 WITH SCORE 17111.604
AT ITER 6400 NEW BEST:: SOT 123062 SOS 19558 HAS SOPS 19558 HAS SOUS 17046 HAS SOUPS 17046 WITH SCORE 17065.558
AT ITER 6456 NEW BEST:: SOT 123062 SOS 19569 HAS SOPS 19569 HAS SOUS 17045 HAS SOUPS 17045 WITH SCORE 17064.569
AT ITER 6484 NEW BEST:: SOT 123062 SOS 19559 HAS SOPS 19559 HAS SOUS 17040 HAS SOUPS 17040 WITH SCORE 17059.559
AT ITER 6524 NEW BEST:: SOT 123024 SOS 19483 HAS SOPS 19483 HAS SOUS 16988 HAS SOUPS 16988 WITH SCORE 17007.483
AT ITER 6572 NEW BEST:: SOT 123000 SOS 19435 HAS SOPS 19435 HAS SOUS 16940 HAS SOUPS 16940 WITH SCORE 16959.435
AT ITER 6583 NEW BEST:: SOT 122979 SOS 19362 HAS SOPS 19362 HAS SOUS 16919 HAS SOUPS 16919 WITH SCORE 16938.362
AT ITER 6607 NEW BEST:: SOT 122987 SOS 19351 HAS SOPS 19351 HAS SOUS 16908 HAS SOUPS 16908 WITH SCORE 16927.351
AT ITER 6622 NEW BEST:: SOT 122986 SOS 19349 HAS SOPS 19349 HAS SOUS 16907 HAS SOUPS 16907 WITH SCORE 16926.349
AT ITER 6625 NEW BEST:: SOT 122964 SOS 19317 HAS SOPS 19317 HAS SOUS 16897 HAS SOUPS 16897 WITH SCORE 16916.317
AT ITER 6647 NEW BEST:: SOT 122961 SOS 19303 HAS SOPS 19303 HAS SOUS 16891 HAS SOUPS 16891 WITH SCORE 16910.303
AT ITER 6771 NEW BEST:: SOT 122949 SOS 19369 HAS SOPS 19369 HAS SOUS 16887 HAS SOUPS 16887 WITH SCORE 16906.369
AT ITER 6792 NEW BEST:: SOT 122949 SOS 19331 HAS SOPS 19331 HAS SOUS 16849 HAS SOUPS 16849 WITH SCORE 16868.331
AT ITER 6816 NEW BEST:: SOT 122949 SOS 19307 HAS SOPS 19307 HAS SOUS 16843 HAS SOUPS 16843 WITH SCORE 16862.307
AT ITER 6829 NEW BEST:: SOT 122940 SOS 19307 HAS SOPS 19307 HAS SOUS 16834 HAS SOUPS 16834 WITH SCORE 16853.307
AT ITER 6841 NEW BEST:: SOT 122926 SOS 19303 HAS SOPS 19303 HAS SOUS 16830 HAS SOUPS 16830 WITH SCORE 16849.303
AT ITER 6868 NEW BEST:: SOT 122914 SOS 19273 HAS SOPS 19273 HAS SOUS 16812 HAS SOUPS 16812 WITH SCORE 16831.273
AT ITER 6948 NEW BEST:: SOT 122890 SOS 19237 HAS SOPS 19237 HAS SOUS 16776 HAS SOUPS 16776 WITH SCORE 16795.237
AT ITER 6980 NEW BEST:: SOT 122896 SOS 19229 HAS SOPS 19229 HAS SOUS 16768 HAS SOUPS 16768 WITH SCORE 16787.229
AT ITER 6995 NEW BEST:: SOT 122876 SOS 19145 HAS SOPS 19145 HAS SOUS 16684 HAS SOUPS 16684 WITH SCORE 16703.145
AT ITER 7048 NEW BEST:: SOT 122874 SOS 19131 HAS SOPS 19131 HAS SOUS 16680 HAS SOUPS 16680 WITH SCORE 16699.131
AT ITER 7095 NEW BEST:: SOT 122892 SOS 19030 HAS SOPS 19030 HAS SOUS 16632 HAS SOUPS 16632 WITH SCORE 16651.03
AT ITER 7143 NEW BEST:: SOT 122889 SOS 19024 HAS SOPS 19024 HAS SOUS 16626 HAS SOUPS 16626 WITH SCORE 16645.024
AT ITER 7162 NEW BEST:: SOT 122879 SOS 18994 HAS SOPS 18994 HAS SOUS 16596 HAS SOUPS 16596 WITH SCORE 16614.994
AT ITER 7177 NEW BEST:: SOT 122855 SOS 18972 HAS SOPS 18972 HAS SOUS 16572 HAS SOUPS 16572 WITH SCORE 16590.972
AT ITER 7190 NEW BEST:: SOT 122832 SOS 18928 HAS SOPS 18928 HAS SOUS 16528 HAS SOUPS 16528 WITH SCORE 16546.928
AT ITER 7239 NEW BEST:: SOT 122832 SOS 18926 HAS SOPS 18926 HAS SOUS 16528 HAS SOUPS 16528 WITH SCORE 16546.926
AT ITER 7339 NEW BEST:: SOT 122830 SOS 18922 HAS SOPS 18922 HAS SOUS 16524 HAS SOUPS 16524 WITH SCORE 16542.922
AT ITER 7401 NEW BEST:: SOT 122814 SOS 18870 HAS SOPS 18870 HAS SOUS 16502 HAS SOUPS 16502 WITH SCORE 16520.87
AT ITER 7463 NEW BEST:: SOT 122790 SOS 18822 HAS SOPS 18822 HAS SOUS 16485 HAS SOUPS 16485 WITH SCORE 16503.822
AT ITER 7523 NEW BEST:: SOT 122789 SOS 18820 HAS SOPS 18820 HAS SOUS 16483 HAS SOUPS 16483 WITH SCORE 16501.82
AT ITER 7628 NEW BEST:: SOT 122800 SOS 18820 HAS SOPS 18820 HAS SOUS 16472 HAS SOUPS 16472 WITH SCORE 16490.82
AT ITER 7643 NEW BEST:: SOT 122787 SOS 18767 HAS SOPS 18767 HAS SOUS 16446 HAS SOUPS 16446 WITH SCORE 16464.767
AT ITER 7644 NEW BEST:: SOT 122778 SOS 18779 HAS SOPS 18779 HAS SOUS 16437 HAS SOUPS 16437 WITH SCORE 16455.779
AT ITER 7648 NEW BEST:: SOT 122778 SOS 18777 HAS SOPS 18777 HAS SOUS 16435 HAS SOUPS 16435 WITH SCORE 16453.777
AT ITER 7690 NEW BEST:: SOT 122771 SOS 18818 HAS SOPS 18818 HAS SOUS 16428 HAS SOUPS 16428 WITH SCORE 16446.818
AT ITER 7692 NEW BEST:: SOT 122762 SOS 18800 HAS SOPS 18800 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16440.8
AT ITER 7726 NEW BEST:: SOT 122757 SOS 18790 HAS SOPS 18790 HAS SOUS 16412 HAS SOUPS 16412 WITH SCORE 16430.79
AT ITER 7789 NEW BEST:: SOT 122719 SOS 18714 HAS SOPS 18714 HAS SOUS 16398 HAS SOUPS 16398 WITH SCORE 16416.714
AT ITER 7822 NEW BEST:: SOT 122718 SOS 18731 HAS SOPS 18731 HAS SOUS 16396 HAS SOUPS 16396 WITH SCORE 16414.731
AT ITER 7829 NEW BEST:: SOT 122718 SOS 18699 HAS SOPS 18699 HAS SOUS 16364 HAS SOUPS 16364 WITH SCORE 16382.699
AT ITER 7859 NEW BEST:: SOT 122718 SOS 18695 HAS SOPS 18695 HAS SOUS 16360 HAS SOUPS 16360 WITH SCORE 16378.695
AT ITER 7896 NEW BEST:: SOT 122702 SOS 18730 HAS SOPS 18730 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16374.73
AT ITER 7905 NEW BEST:: SOT 122702 SOS 18708 HAS SOPS 18708 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16374.708
AT ITER 7978 NEW BEST:: SOT 122702 SOS 18669 HAS SOPS 18669 HAS SOUS 16317 HAS SOUPS 16317 WITH SCORE 16335.669
AT ITER 8020 NEW BEST:: SOT 122702 SOS 18640 HAS SOPS 18640 HAS SOUS 16307 HAS SOUPS 16307 WITH SCORE 16325.64
AT ITER 8148 NEW BEST:: SOT 122694 SOS 18624 HAS SOPS 18624 HAS SOUS 16291 HAS SOUPS 16291 WITH SCORE 16309.624
AT ITER 8179 NEW BEST:: SOT 122677 SOS 18585 HAS SOPS 18585 HAS SOUS 16252 HAS SOUPS 16252 WITH SCORE 16270.585
AT ITER 8200 NEW BEST:: SOT 122665 SOS 18566 HAS SOPS 18566 HAS SOUS 16228 HAS SOUPS 16228 WITH SCORE 16246.566
AT ITER 8228 NEW BEST:: SOT 122663 SOS 18565 HAS SOPS 18565 HAS SOUS 16226 HAS SOUPS 16226 WITH SCORE 16244.565
AT ITER 8241 NEW BEST:: SOT 122660 SOS 18562 HAS SOPS 18562 HAS SOUS 16223 HAS SOUPS 16223 WITH SCORE 16241.562
AT ITER 8254 NEW BEST:: SOT 122649 SOS 18538 HAS SOPS 18538 HAS SOUS 16199 HAS SOUPS 16199 WITH SCORE 16217.538
AT ITER 8290 NEW BEST:: SOT 122651 SOS 18542 HAS SOPS 18542 HAS SOUS 16149 HAS SOUPS 16149 WITH SCORE 16167.542
AT ITER 8325 NEW BEST:: SOT 122643 SOS 18534 HAS SOPS 18534 HAS SOUS 16141 HAS SOUPS 16141 WITH SCORE 16159.534
AT ITER 8372 NEW BEST:: SOT 122647 SOS 18532 HAS SOPS 18532 HAS SOUS 16139 HAS SOUPS 16139 WITH SCORE 16157.532
AT ITER 8442 NEW BEST:: SOT 122671 SOS 18484 HAS SOPS 18484 HAS SOUS 16139 HAS SOUPS 16139 WITH SCORE 16157.484
AT ITER 8460 NEW BEST:: SOT 122671 SOS 18483 HAS SOPS 18483 HAS SOUS 16138 HAS SOUPS 16138 WITH SCORE 16156.483
AT ITER 8478 NEW BEST:: SOT 122671 SOS 18439 HAS SOPS 18439 HAS SOUS 16138 HAS SOUPS 16138 WITH SCORE 16156.439
AT ITER 8535 NEW BEST:: SOT 122682 SOS 18369 HAS SOPS 18369 HAS SOUS 16128 HAS SOUPS 16128 WITH SCORE 16146.369
AT ITER 8605 NEW BEST:: SOT 122694 SOS 18393 HAS SOPS 18393 HAS SOUS 16125 HAS SOUPS 16125 WITH SCORE 16143.393
AT ITER 8631 NEW BEST:: SOT 122693 SOS 18392 HAS SOPS 18392 HAS SOUS 16124 HAS SOUPS 16124 WITH SCORE 16142.392
AT ITER 8634 NEW BEST:: SOT 122692 SOS 18388 HAS SOPS 18388 HAS SOUS 16120 HAS SOUPS 16120 WITH SCORE 16138.388
AT ITER 8704 NEW BEST:: SOT 122692 SOS 18388 HAS SOPS 18388 HAS SOUS 16110 HAS SOUPS 16110 WITH SCORE 16128.388
AT ITER 8751 NEW BEST:: SOT 122692 SOS 18409 HAS SOPS 18409 HAS SOUS 16104 HAS SOUPS 16104 WITH SCORE 16122.409
AT ITER 8799 NEW BEST:: SOT 122680 SOS 18397 HAS SOPS 18397 HAS SOUS 16104 HAS SOUPS 16104 WITH SCORE 16122.397
AT ITER 8880 NEW BEST:: SOT 122675 SOS 18415 HAS SOPS 18415 HAS SOUS 16099 HAS SOUPS 16099 WITH SCORE 16117.415
AT ITER 8890 NEW BEST:: SOT 122669 SOS 18392 HAS SOPS 18392 HAS SOUS 16097 HAS SOUPS 16097 WITH SCORE 16115.392
AT ITER 8891 NEW BEST:: SOT 122673 SOS 18378 HAS SOPS 18378 HAS SOUS 16083 HAS SOUPS 16083 WITH SCORE 16101.378
AT ITER 8946 NEW BEST:: SOT 122670 SOS 18372 HAS SOPS 18372 HAS SOUS 16060 HAS SOUPS 16060 WITH SCORE 16078.372
AT ITER 9008 NEW BEST:: SOT 122686 SOS 18377 HAS SOPS 18377 HAS SOUS 16039 HAS SOUPS 16039 WITH SCORE 16057.377
AT ITER 9035 NEW BEST:: SOT 122686 SOS 18373 HAS SOPS 18373 HAS SOUS 16035 HAS SOUPS 16035 WITH SCORE 16053.373
AT ITER 9091 NEW BEST:: SOT 122675 SOS 18333 HAS SOPS 18333 HAS SOUS 16022 HAS SOUPS 16022 WITH SCORE 16040.333
AT ITER 9137 NEW BEST:: SOT 122687 SOS 18246 HAS SOPS 18246 HAS SOUS 16009 HAS SOUPS 16009 WITH SCORE 16027.246
AT ITER 9142 NEW BEST:: SOT 122686 SOS 18244 HAS SOPS 18244 HAS SOUS 16007 HAS SOUPS 16007 WITH SCORE 16025.244
AT ITER 9146 NEW BEST:: SOT 122679 SOS 18236 HAS SOPS 18236 HAS SOUS 15993 HAS SOUPS 15993 WITH SCORE 16011.236
AT ITER 9189 NEW BEST:: SOT 122679 SOS 18206 HAS SOPS 18206 HAS SOUS 15993 HAS SOUPS 15993 WITH SCORE 16011.206
AT ITER 9194 NEW BEST:: SOT 122671 SOS 18192 HAS SOPS 18192 HAS SOUS 15979 HAS SOUPS 15979 WITH SCORE 15997.192
AT ITER 9213 NEW BEST:: SOT 122671 SOS 18190 HAS SOPS 18190 HAS SOUS 15978 HAS SOUPS 15978 WITH SCORE 15996.19
AT ITER 9217 NEW BEST:: SOT 122671 SOS 18186 HAS SOPS 18186 HAS SOUS 15974 HAS SOUPS 15974 WITH SCORE 15992.186
AT ITER 9241 NEW BEST:: SOT 122673 SOS 18200 HAS SOPS 18200 HAS SOUS 15973 HAS SOUPS 15973 WITH SCORE 15991.2
AT ITER 9300 NEW BEST:: SOT 122670 SOS 18194 HAS SOPS 18194 HAS SOUS 15970 HAS SOUPS 15970 WITH SCORE 15988.194
AT ITER 9363 NEW BEST:: SOT 122664 SOS 18182 HAS SOPS 18182 HAS SOUS 15967 HAS SOUPS 15967 WITH SCORE 15985.182
AT ITER 9371 NEW BEST:: SOT 122622 SOS 18084 HAS SOPS 18084 HAS SOUS 15925 HAS SOUPS 15925 WITH SCORE 15943.084
AT ITER 9440 NEW BEST:: SOT 122610 SOS 18078 HAS SOPS 18078 HAS SOUS 15919 HAS SOUPS 15919 WITH SCORE 15937.078
AT ITER 9473 NEW BEST:: SOT 122597 SOS 18008 HAS SOPS 18008 HAS SOUS 15872 HAS SOUPS 15872 WITH SCORE 15890.008
AT ITER 9537 NEW BEST:: SOT 122622 SOS 18006 HAS SOPS 18006 HAS SOUS 15870 HAS SOUPS 15870 WITH SCORE 15888.006
AT ITER 9556 NEW BEST:: SOT 122618 SOS 18003 HAS SOPS 18003 HAS SOUS 15867 HAS SOUPS 15867 WITH SCORE 15885.003
AT ITER 9563 NEW BEST:: SOT 122604 SOS 17981 HAS SOPS 17981 HAS SOUS 15845 HAS SOUPS 15845 WITH SCORE 15862.981
AT ITER 9602 NEW BEST:: SOT 122604 SOS 17970 HAS SOPS 17970 HAS SOUS 15845 HAS SOUPS 15845 WITH SCORE 15862.97
AT ITER 9630 NEW BEST:: SOT 122590 SOS 17954 HAS SOPS 17954 HAS SOUS 15843 HAS SOUPS 15843 WITH SCORE 15860.954
AT ITER 9737 NEW BEST:: SOT 122590 SOS 17954 HAS SOPS 17954 HAS SOUS 15840 HAS SOUPS 15840 WITH SCORE 15857.954
AT ITER 9801 NEW BEST:: SOT 122592 SOS 17944 HAS SOPS 17944 HAS SOUS 15830 HAS SOUPS 15830 WITH SCORE 15847.944
AT ITER 9802 NEW BEST:: SOT 122592 SOS 17939 HAS SOPS 17939 HAS SOUS 15825 HAS SOUPS 15825 WITH SCORE 15842.939
AT ITER 9895 NEW BEST:: SOT 122586 SOS 17934 HAS SOPS 17934 HAS SOUS 15825 HAS SOUPS 15825 WITH SCORE 15842.934
AT ITER 9922 NEW BEST:: SOT 122583 SOS 17928 HAS SOPS 17928 HAS SOUS 15822 HAS SOUPS 15822 WITH SCORE 15839.928
AT ITER 9937 NEW BEST:: SOT 122569 SOS 17900 HAS SOPS 17900 HAS SOUS 15794 HAS SOUPS 15794 WITH SCORE 15811.9
AT ITER 9973 NEW BEST:: SOT 122565 SOS 17892 HAS SOPS 17892 HAS SOUS 15786 HAS SOUPS 15786 WITH SCORE 15803.892
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 201912 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16121236 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="AutoFlight-PT-05b"
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 AutoFlight-PT-05b, 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 r011-oct2-167813600200448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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