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-167813600300480.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-12b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600300480
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 704K
-rw-r--r-- 1 mcc users 7.6K Feb 25 18:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 18:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 18:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 18:10 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 8.6K Feb 25 18:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 18:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 18:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 25 18:11 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 266K 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 1678736123800

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-12b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 19:35:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 19:35:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 19:35:26] [INFO ] Load time of PNML (sax parser for PT used): 81 ms
[2023-03-13 19:35:26] [INFO ] Transformed 1126 places.
[2023-03-13 19:35:26] [INFO ] Transformed 1124 transitions.
[2023-03-13 19:35:26] [INFO ] Found NUPN structural information;
[2023-03-13 19:35:26] [INFO ] Parsed PT model containing 1126 places and 1124 transitions and 2618 arcs in 180 ms.
[2023-03-13 19:35:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1126 places, 1124 transitions and 2618 arcs took 9 ms.
Total runtime 218 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 12b
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: 1126 places, 1124 transitions, 2618 arcs.
AT ITER 0 NEW BEST:: SOT 683316 SOS 108690 HAS SOPS 108690 HAS SOUS 98757 HAS SOUPS 98757 WITH SCORE 98865.69
AT ITER 20 NEW BEST:: SOT 683316 SOS 108647 HAS SOPS 108647 HAS SOUS 98714 HAS SOUPS 98714 WITH SCORE 98822.647
AT ITER 42 NEW BEST:: SOT 683085 SOS 108307 HAS SOPS 108307 HAS SOUS 98361 HAS SOUPS 98361 WITH SCORE 98469.307
AT ITER 87 NEW BEST:: SOT 683085 SOS 108280 HAS SOPS 108280 HAS SOUS 98334 HAS SOUPS 98334 WITH SCORE 98442.28
AT ITER 89 NEW BEST:: SOT 682983 SOS 108504 HAS SOPS 108504 HAS SOUS 98277 HAS SOUPS 98277 WITH SCORE 98385.504
AT ITER 146 NEW BEST:: SOT 682983 SOS 108498 HAS SOPS 108498 HAS SOUS 98277 HAS SOUPS 98277 WITH SCORE 98385.498
AT ITER 183 NEW BEST:: SOT 682983 SOS 108461 HAS SOPS 108461 HAS SOUS 98240 HAS SOUPS 98240 WITH SCORE 98348.461
AT ITER 201 NEW BEST:: SOT 682963 SOS 108123 HAS SOPS 108123 HAS SOUS 98186 HAS SOUPS 98186 WITH SCORE 98294.123
AT ITER 233 NEW BEST:: SOT 682871 SOS 107985 HAS SOPS 107985 HAS SOUS 98048 HAS SOUPS 98048 WITH SCORE 98155.985
AT ITER 240 NEW BEST:: SOT 682871 SOS 107984 HAS SOPS 107984 HAS SOUS 98047 HAS SOUPS 98047 WITH SCORE 98154.984
AT ITER 269 NEW BEST:: SOT 682871 SOS 107984 HAS SOPS 107984 HAS SOUS 98046 HAS SOUPS 98046 WITH SCORE 98153.984
AT ITER 283 NEW BEST:: SOT 682878 SOS 107982 HAS SOPS 107982 HAS SOUS 98046 HAS SOUPS 98046 WITH SCORE 98153.982
AT ITER 286 NEW BEST:: SOT 682750 SOS 107896 HAS SOPS 107896 HAS SOUS 97960 HAS SOUPS 97960 WITH SCORE 98067.896
AT ITER 303 NEW BEST:: SOT 682600 SOS 107869 HAS SOPS 107869 HAS SOUS 97901 HAS SOUPS 97901 WITH SCORE 98008.869
AT ITER 327 NEW BEST:: SOT 682582 SOS 107869 HAS SOPS 107869 HAS SOUS 97892 HAS SOUPS 97892 WITH SCORE 97999.869
AT ITER 335 NEW BEST:: SOT 682515 SOS 107847 HAS SOPS 107847 HAS SOUS 97769 HAS SOUPS 97769 WITH SCORE 97876.847
AT ITER 385 NEW BEST:: SOT 682399 SOS 107731 HAS SOPS 107731 HAS SOUS 97653 HAS SOUPS 97653 WITH SCORE 97760.731
AT ITER 416 NEW BEST:: SOT 682399 SOS 107706 HAS SOPS 107706 HAS SOUS 97628 HAS SOUPS 97628 WITH SCORE 97735.706
AT ITER 421 NEW BEST:: SOT 682397 SOS 107702 HAS SOPS 107702 HAS SOUS 97625 HAS SOUPS 97625 WITH SCORE 97732.702
AT ITER 454 NEW BEST:: SOT 682397 SOS 107701 HAS SOPS 107701 HAS SOUS 97624 HAS SOUPS 97624 WITH SCORE 97731.701
AT ITER 455 NEW BEST:: SOT 682412 SOS 107731 HAS SOPS 107731 HAS SOUS 97555 HAS SOUPS 97555 WITH SCORE 97662.731
AT ITER 482 NEW BEST:: SOT 682448 SOS 107710 HAS SOPS 107710 HAS SOUS 97534 HAS SOUPS 97534 WITH SCORE 97641.71
AT ITER 583 NEW BEST:: SOT 682375 SOS 107029 HAS SOPS 107029 HAS SOUS 97402 HAS SOUPS 97402 WITH SCORE 97509.029
AT ITER 602 NEW BEST:: SOT 682315 SOS 106898 HAS SOPS 106898 HAS SOUS 97342 HAS SOUPS 97342 WITH SCORE 97448.898
AT ITER 603 NEW BEST:: SOT 682317 SOS 106858 HAS SOPS 106858 HAS SOUS 97302 HAS SOUPS 97302 WITH SCORE 97408.858
AT ITER 679 NEW BEST:: SOT 682249 SOS 106793 HAS SOPS 106793 HAS SOUS 97228 HAS SOUPS 97228 WITH SCORE 97334.793
AT ITER 686 NEW BEST:: SOT 682244 SOS 106795 HAS SOPS 106795 HAS SOUS 97223 HAS SOUPS 97223 WITH SCORE 97329.795
AT ITER 695 NEW BEST:: SOT 682244 SOS 106795 HAS SOPS 106795 HAS SOUS 97203 HAS SOUPS 97203 WITH SCORE 97309.795
AT ITER 738 NEW BEST:: SOT 682216 SOS 106725 HAS SOPS 106725 HAS SOUS 97161 HAS SOUPS 97161 WITH SCORE 97267.725
AT ITER 746 NEW BEST:: SOT 682160 SOS 106613 HAS SOPS 106613 HAS SOUS 96959 HAS SOUPS 96959 WITH SCORE 97065.613
AT ITER 760 NEW BEST:: SOT 682104 SOS 106501 HAS SOPS 106501 HAS SOUS 96847 HAS SOUPS 96847 WITH SCORE 96953.501
AT ITER 777 NEW BEST:: SOT 682058 SOS 106425 HAS SOPS 106425 HAS SOUS 96771 HAS SOUPS 96771 WITH SCORE 96877.425
AT ITER 785 NEW BEST:: SOT 682030 SOS 106657 HAS SOPS 106657 HAS SOUS 96753 HAS SOUPS 96753 WITH SCORE 96859.657
AT ITER 792 NEW BEST:: SOT 681996 SOS 106589 HAS SOPS 106589 HAS SOUS 96685 HAS SOUPS 96685 WITH SCORE 96791.589
AT ITER 813 NEW BEST:: SOT 681961 SOS 106554 HAS SOPS 106554 HAS SOUS 96650 HAS SOUPS 96650 WITH SCORE 96756.554
AT ITER 816 NEW BEST:: SOT 681948 SOS 106541 HAS SOPS 106541 HAS SOUS 96637 HAS SOUPS 96637 WITH SCORE 96743.541
AT ITER 819 NEW BEST:: SOT 681932 SOS 106541 HAS SOPS 106541 HAS SOUS 96621 HAS SOUPS 96621 WITH SCORE 96727.541
AT ITER 850 NEW BEST:: SOT 681928 SOS 106626 HAS SOPS 106626 HAS SOUS 96617 HAS SOUPS 96617 WITH SCORE 96723.626
AT ITER 869 NEW BEST:: SOT 681943 SOS 106618 HAS SOPS 106618 HAS SOUS 96609 HAS SOUPS 96609 WITH SCORE 96715.618
AT ITER 871 NEW BEST:: SOT 681943 SOS 106606 HAS SOPS 106606 HAS SOUS 96597 HAS SOUPS 96597 WITH SCORE 96703.606
AT ITER 878 NEW BEST:: SOT 681943 SOS 106605 HAS SOPS 106605 HAS SOUS 96596 HAS SOUPS 96596 WITH SCORE 96702.605
AT ITER 879 NEW BEST:: SOT 681890 SOS 106499 HAS SOPS 106499 HAS SOUS 96542 HAS SOUPS 96542 WITH SCORE 96648.499
AT ITER 924 NEW BEST:: SOT 681875 SOS 106497 HAS SOPS 106497 HAS SOUS 96490 HAS SOUPS 96490 WITH SCORE 96596.497
AT ITER 938 NEW BEST:: SOT 681868 SOS 106263 HAS SOPS 106263 HAS SOUS 96389 HAS SOUPS 96389 WITH SCORE 96495.263
AT ITER 957 NEW BEST:: SOT 681804 SOS 106169 HAS SOPS 106169 HAS SOUS 96231 HAS SOUPS 96231 WITH SCORE 96337.169
AT ITER 968 NEW BEST:: SOT 681771 SOS 106133 HAS SOPS 106133 HAS SOUS 96195 HAS SOUPS 96195 WITH SCORE 96301.133
AT ITER 989 NEW BEST:: SOT 681769 SOS 106129 HAS SOPS 106129 HAS SOUS 96191 HAS SOUPS 96191 WITH SCORE 96297.129
AT ITER 1017 NEW BEST:: SOT 681888 SOS 105991 HAS SOPS 105991 HAS SOUS 96182 HAS SOUPS 96182 WITH SCORE 96287.991
AT ITER 1026 NEW BEST:: SOT 681831 SOS 105969 HAS SOPS 105969 HAS SOUS 96115 HAS SOUPS 96115 WITH SCORE 96220.969
AT ITER 1056 NEW BEST:: SOT 681831 SOS 105873 HAS SOPS 105873 HAS SOUS 96115 HAS SOUPS 96115 WITH SCORE 96220.873
AT ITER 1062 NEW BEST:: SOT 681788 SOS 105852 HAS SOPS 105852 HAS SOUS 96114 HAS SOUPS 96114 WITH SCORE 96219.852
AT ITER 1069 NEW BEST:: SOT 681767 SOS 105831 HAS SOPS 105831 HAS SOUS 96093 HAS SOUPS 96093 WITH SCORE 96198.831
AT ITER 1087 NEW BEST:: SOT 681672 SOS 105567 HAS SOPS 105567 HAS SOUS 95956 HAS SOUPS 95956 WITH SCORE 96061.567
AT ITER 1115 NEW BEST:: SOT 681695 SOS 105613 HAS SOPS 105613 HAS SOUS 95921 HAS SOUPS 95921 WITH SCORE 96026.613
AT ITER 1135 NEW BEST:: SOT 681632 SOS 105691 HAS SOPS 105691 HAS SOUS 95858 HAS SOUPS 95858 WITH SCORE 95963.691
AT ITER 1144 NEW BEST:: SOT 681576 SOS 105747 HAS SOPS 105747 HAS SOUS 95802 HAS SOUPS 95802 WITH SCORE 95907.747
AT ITER 1198 NEW BEST:: SOT 681547 SOS 105689 HAS SOPS 105689 HAS SOUS 95744 HAS SOUPS 95744 WITH SCORE 95849.689
AT ITER 1202 NEW BEST:: SOT 681547 SOS 105645 HAS SOPS 105645 HAS SOUS 95700 HAS SOUPS 95700 WITH SCORE 95805.645
AT ITER 1229 NEW BEST:: SOT 681511 SOS 105391 HAS SOPS 105391 HAS SOUS 95628 HAS SOUPS 95628 WITH SCORE 95733.391
AT ITER 1234 NEW BEST:: SOT 681515 SOS 105355 HAS SOPS 105355 HAS SOUS 95592 HAS SOUPS 95592 WITH SCORE 95697.355
AT ITER 1239 NEW BEST:: SOT 681455 SOS 105243 HAS SOPS 105243 HAS SOUS 95490 HAS SOUPS 95490 WITH SCORE 95595.243
AT ITER 1256 NEW BEST:: SOT 681455 SOS 105104 HAS SOPS 105104 HAS SOUS 95407 HAS SOUPS 95407 WITH SCORE 95512.104
AT ITER 1259 NEW BEST:: SOT 681390 SOS 104974 HAS SOPS 104974 HAS SOUS 95206 HAS SOUPS 95206 WITH SCORE 95310.974
AT ITER 1276 NEW BEST:: SOT 681427 SOS 104924 HAS SOPS 104924 HAS SOUS 95164 HAS SOUPS 95164 WITH SCORE 95268.924
AT ITER 1284 NEW BEST:: SOT 681425 SOS 104920 HAS SOPS 104920 HAS SOUS 95160 HAS SOUPS 95160 WITH SCORE 95264.92
AT ITER 1339 NEW BEST:: SOT 681337 SOS 104653 HAS SOPS 104653 HAS SOUS 95087 HAS SOUPS 95087 WITH SCORE 95191.653
AT ITER 1386 NEW BEST:: SOT 681294 SOS 104622 HAS SOPS 104622 HAS SOUS 95064 HAS SOUPS 95064 WITH SCORE 95168.622
AT ITER 1412 NEW BEST:: SOT 681293 SOS 104621 HAS SOPS 104621 HAS SOUS 95063 HAS SOUPS 95063 WITH SCORE 95167.621
AT ITER 1431 NEW BEST:: SOT 681293 SOS 104621 HAS SOPS 104621 HAS SOUS 95028 HAS SOUPS 95028 WITH SCORE 95132.621
AT ITER 1459 NEW BEST:: SOT 681217 SOS 104545 HAS SOPS 104545 HAS SOUS 94952 HAS SOUPS 94952 WITH SCORE 95056.545
AT ITER 1467 NEW BEST:: SOT 681287 SOS 104544 HAS SOPS 104544 HAS SOUS 94951 HAS SOUPS 94951 WITH SCORE 95055.544
AT ITER 1468 NEW BEST:: SOT 681265 SOS 104522 HAS SOPS 104522 HAS SOUS 94929 HAS SOUPS 94929 WITH SCORE 95033.522
AT ITER 1471 NEW BEST:: SOT 681197 SOS 104386 HAS SOPS 104386 HAS SOUS 94793 HAS SOUPS 94793 WITH SCORE 94897.386
AT ITER 1476 NEW BEST:: SOT 681196 SOS 104385 HAS SOPS 104385 HAS SOUS 94792 HAS SOUPS 94792 WITH SCORE 94896.385
AT ITER 1483 NEW BEST:: SOT 681244 SOS 104481 HAS SOPS 104481 HAS SOUS 94790 HAS SOUPS 94790 WITH SCORE 94894.481
AT ITER 1492 NEW BEST:: SOT 681244 SOS 104440 HAS SOPS 104440 HAS SOUS 94749 HAS SOUPS 94749 WITH SCORE 94853.44
AT ITER 1496 NEW BEST:: SOT 681244 SOS 104400 HAS SOPS 104400 HAS SOUS 94709 HAS SOUPS 94709 WITH SCORE 94813.4
AT ITER 1498 NEW BEST:: SOT 681245 SOS 104369 HAS SOPS 104369 HAS SOUS 94697 HAS SOUPS 94697 WITH SCORE 94801.369
AT ITER 1501 NEW BEST:: SOT 681228 SOS 104473 HAS SOPS 104473 HAS SOUS 94634 HAS SOUPS 94634 WITH SCORE 94738.473
AT ITER 1503 NEW BEST:: SOT 681176 SOS 104474 HAS SOPS 104474 HAS SOUS 94609 HAS SOUPS 94609 WITH SCORE 94713.474
AT ITER 1575 NEW BEST:: SOT 681126 SOS 104247 HAS SOPS 104247 HAS SOUS 94601 HAS SOUPS 94601 WITH SCORE 94705.247
AT ITER 1580 NEW BEST:: SOT 681119 SOS 104531 HAS SOPS 104531 HAS SOUS 94546 HAS SOUPS 94546 WITH SCORE 94650.531
AT ITER 1582 NEW BEST:: SOT 681073 SOS 104439 HAS SOPS 104439 HAS SOUS 94532 HAS SOUPS 94532 WITH SCORE 94636.439
AT ITER 1583 NEW BEST:: SOT 681073 SOS 104436 HAS SOPS 104436 HAS SOUS 94529 HAS SOUPS 94529 WITH SCORE 94633.436
AT ITER 1591 NEW BEST:: SOT 681033 SOS 104356 HAS SOPS 104356 HAS SOUS 94489 HAS SOUPS 94489 WITH SCORE 94593.356
AT ITER 1628 NEW BEST:: SOT 681040 SOS 104425 HAS SOPS 104425 HAS SOUS 94487 HAS SOUPS 94487 WITH SCORE 94591.425
AT ITER 1641 NEW BEST:: SOT 680999 SOS 104343 HAS SOPS 104343 HAS SOUS 94484 HAS SOUPS 94484 WITH SCORE 94588.343
AT ITER 1650 NEW BEST:: SOT 680938 SOS 104084 HAS SOPS 104084 HAS SOUS 94276 HAS SOUPS 94276 WITH SCORE 94380.084
AT ITER 1655 NEW BEST:: SOT 680990 SOS 104064 HAS SOPS 104064 HAS SOUS 94252 HAS SOUPS 94252 WITH SCORE 94356.064
AT ITER 1663 NEW BEST:: SOT 680960 SOS 103974 HAS SOPS 103974 HAS SOUS 94192 HAS SOUPS 94192 WITH SCORE 94295.974
AT ITER 1674 NEW BEST:: SOT 680959 SOS 103973 HAS SOPS 103973 HAS SOUS 94191 HAS SOUPS 94191 WITH SCORE 94294.973
AT ITER 1676 NEW BEST:: SOT 680959 SOS 103964 HAS SOPS 103964 HAS SOUS 94191 HAS SOUPS 94191 WITH SCORE 94294.964
AT ITER 1688 NEW BEST:: SOT 681001 SOS 103963 HAS SOPS 103963 HAS SOUS 94189 HAS SOUPS 94189 WITH SCORE 94292.963
AT ITER 1707 NEW BEST:: SOT 680911 SOS 103938 HAS SOPS 103938 HAS SOUS 94164 HAS SOUPS 94164 WITH SCORE 94267.938
AT ITER 1721 NEW BEST:: SOT 680877 SOS 103778 HAS SOPS 103778 HAS SOUS 94096 HAS SOUPS 94096 WITH SCORE 94199.778
AT ITER 1731 NEW BEST:: SOT 680862 SOS 103777 HAS SOPS 103777 HAS SOUS 94095 HAS SOUPS 94095 WITH SCORE 94198.777
AT ITER 1734 NEW BEST:: SOT 680862 SOS 103722 HAS SOPS 103722 HAS SOUS 94040 HAS SOUPS 94040 WITH SCORE 94143.722
AT ITER 1744 NEW BEST:: SOT 680819 SOS 103774 HAS SOPS 103774 HAS SOUS 93997 HAS SOUPS 93997 WITH SCORE 94100.774
AT ITER 1768 NEW BEST:: SOT 680784 SOS 103719 HAS SOPS 103719 HAS SOUS 93942 HAS SOUPS 93942 WITH SCORE 94045.719
AT ITER 1858 NEW BEST:: SOT 680784 SOS 103655 HAS SOPS 103655 HAS SOUS 93942 HAS SOUPS 93942 WITH SCORE 94045.655
AT ITER 1959 NEW BEST:: SOT 680696 SOS 103479 HAS SOPS 103479 HAS SOUS 93766 HAS SOUPS 93766 WITH SCORE 93869.479
AT ITER 1977 NEW BEST:: SOT 680697 SOS 103446 HAS SOPS 103446 HAS SOUS 93733 HAS SOUPS 93733 WITH SCORE 93836.446
AT ITER 1983 NEW BEST:: SOT 680576 SOS 103307 HAS SOPS 103307 HAS SOUS 93715 HAS SOUPS 93715 WITH SCORE 93818.307
AT ITER 2010 NEW BEST:: SOT 680539 SOS 103233 HAS SOPS 103233 HAS SOUS 93641 HAS SOUPS 93641 WITH SCORE 93744.233
AT ITER 2078 NEW BEST:: SOT 680525 SOS 103173 HAS SOPS 103173 HAS SOUS 93597 HAS SOUPS 93597 WITH SCORE 93700.173
AT ITER 2085 NEW BEST:: SOT 680522 SOS 103191 HAS SOPS 103191 HAS SOUS 93594 HAS SOUPS 93594 WITH SCORE 93697.191
AT ITER 2099 NEW BEST:: SOT 680522 SOS 103190 HAS SOPS 103190 HAS SOUS 93593 HAS SOUPS 93593 WITH SCORE 93696.19
AT ITER 2108 NEW BEST:: SOT 680494 SOS 103162 HAS SOPS 103162 HAS SOUS 93537 HAS SOUPS 93537 WITH SCORE 93640.162
AT ITER 2112 NEW BEST:: SOT 680491 SOS 103159 HAS SOPS 103159 HAS SOUS 93534 HAS SOUPS 93534 WITH SCORE 93637.159
AT ITER 2118 NEW BEST:: SOT 680470 SOS 103117 HAS SOPS 103117 HAS SOUS 93492 HAS SOUPS 93492 WITH SCORE 93595.117
AT ITER 2146 NEW BEST:: SOT 680319 SOS 102815 HAS SOPS 102815 HAS SOUS 93492 HAS SOUPS 93492 WITH SCORE 93594.815
AT ITER 2185 NEW BEST:: SOT 680267 SOS 102685 HAS SOPS 102685 HAS SOUS 93414 HAS SOUPS 93414 WITH SCORE 93516.685
AT ITER 2193 NEW BEST:: SOT 680159 SOS 102469 HAS SOPS 102469 HAS SOUS 93216 HAS SOUPS 93216 WITH SCORE 93318.469
AT ITER 2270 NEW BEST:: SOT 680080 SOS 102398 HAS SOPS 102398 HAS SOUS 93193 HAS SOUPS 93193 WITH SCORE 93295.398
AT ITER 2274 NEW BEST:: SOT 679991 SOS 102418 HAS SOPS 102418 HAS SOUS 93109 HAS SOUPS 93109 WITH SCORE 93211.418
AT ITER 2280 NEW BEST:: SOT 679988 SOS 102652 HAS SOPS 102652 HAS SOUS 93103 HAS SOUPS 93103 WITH SCORE 93205.652
AT ITER 2287 NEW BEST:: SOT 680014 SOS 102550 HAS SOPS 102550 HAS SOUS 93064 HAS SOUPS 93064 WITH SCORE 93166.55
AT ITER 2334 NEW BEST:: SOT 680013 SOS 102548 HAS SOPS 102548 HAS SOUS 93062 HAS SOUPS 93062 WITH SCORE 93164.548
AT ITER 2340 NEW BEST:: SOT 680012 SOS 102546 HAS SOPS 102546 HAS SOUS 93060 HAS SOUPS 93060 WITH SCORE 93162.546
AT ITER 2374 NEW BEST:: SOT 680008 SOS 102732 HAS SOPS 102732 HAS SOUS 93022 HAS SOUPS 93022 WITH SCORE 93124.732
AT ITER 2412 NEW BEST:: SOT 680004 SOS 102724 HAS SOPS 102724 HAS SOUS 93016 HAS SOUPS 93016 WITH SCORE 93118.724
AT ITER 2443 NEW BEST:: SOT 680004 SOS 102705 HAS SOPS 102705 HAS SOUS 92997 HAS SOUPS 92997 WITH SCORE 93099.705
AT ITER 2447 NEW BEST:: SOT 679987 SOS 102671 HAS SOPS 102671 HAS SOUS 92963 HAS SOUPS 92963 WITH SCORE 93065.671
AT ITER 2451 NEW BEST:: SOT 679884 SOS 102465 HAS SOPS 102465 HAS SOUS 92757 HAS SOUPS 92757 WITH SCORE 92859.465
AT ITER 2479 NEW BEST:: SOT 679879 SOS 102503 HAS SOPS 102503 HAS SOUS 92752 HAS SOUPS 92752 WITH SCORE 92854.503
AT ITER 2511 NEW BEST:: SOT 679853 SOS 102499 HAS SOPS 102499 HAS SOUS 92748 HAS SOUPS 92748 WITH SCORE 92850.499
AT ITER 2516 NEW BEST:: SOT 679848 SOS 102504 HAS SOPS 102504 HAS SOUS 92738 HAS SOUPS 92738 WITH SCORE 92840.504
AT ITER 2555 NEW BEST:: SOT 679854 SOS 102516 HAS SOPS 102516 HAS SOUS 92714 HAS SOUPS 92714 WITH SCORE 92816.516
AT ITER 2563 NEW BEST:: SOT 679840 SOS 102396 HAS SOPS 102396 HAS SOUS 92646 HAS SOUPS 92646 WITH SCORE 92748.396
AT ITER 2574 NEW BEST:: SOT 679722 SOS 102038 HAS SOPS 102038 HAS SOUS 92526 HAS SOUPS 92526 WITH SCORE 92628.038
AT ITER 2577 NEW BEST:: SOT 679712 SOS 102008 HAS SOPS 102008 HAS SOUS 92506 HAS SOUPS 92506 WITH SCORE 92608.008
AT ITER 2603 NEW BEST:: SOT 679664 SOS 101912 HAS SOPS 101912 HAS SOUS 92343 HAS SOUPS 92343 WITH SCORE 92444.912
AT ITER 2669 NEW BEST:: SOT 679624 SOS 101876 HAS SOPS 101876 HAS SOUS 92307 HAS SOUPS 92307 WITH SCORE 92408.876
AT ITER 2680 NEW BEST:: SOT 679624 SOS 101859 HAS SOPS 101859 HAS SOUS 92296 HAS SOUPS 92296 WITH SCORE 92397.859
AT ITER 2690 NEW BEST:: SOT 679601 SOS 101973 HAS SOPS 101973 HAS SOUS 92250 HAS SOUPS 92250 WITH SCORE 92351.973
AT ITER 2696 NEW BEST:: SOT 679652 SOS 101969 HAS SOPS 101969 HAS SOUS 92246 HAS SOUPS 92246 WITH SCORE 92347.969
AT ITER 2702 NEW BEST:: SOT 679699 SOS 102063 HAS SOPS 102063 HAS SOUS 92147 HAS SOUPS 92147 WITH SCORE 92249.063
AT ITER 2735 NEW BEST:: SOT 679699 SOS 102063 HAS SOPS 102063 HAS SOUS 92127 HAS SOUPS 92127 WITH SCORE 92229.063
AT ITER 2768 NEW BEST:: SOT 679698 SOS 102044 HAS SOPS 102044 HAS SOUS 92112 HAS SOUPS 92112 WITH SCORE 92214.044
AT ITER 2789 NEW BEST:: SOT 679670 SOS 101988 HAS SOPS 101988 HAS SOUS 92084 HAS SOUPS 92084 WITH SCORE 92185.988
AT ITER 2790 NEW BEST:: SOT 679587 SOS 101938 HAS SOPS 101938 HAS SOUS 92016 HAS SOUPS 92016 WITH SCORE 92117.938
AT ITER 2827 NEW BEST:: SOT 679587 SOS 101933 HAS SOPS 101933 HAS SOUS 92011 HAS SOUPS 92011 WITH SCORE 92112.933
AT ITER 2868 NEW BEST:: SOT 679551 SOS 101917 HAS SOPS 101917 HAS SOUS 91995 HAS SOUPS 91995 WITH SCORE 92096.917
AT ITER 2870 NEW BEST:: SOT 679483 SOS 101910 HAS SOPS 101910 HAS SOUS 91995 HAS SOUPS 91995 WITH SCORE 92096.91
AT ITER 2893 NEW BEST:: SOT 679436 SOS 101836 HAS SOPS 101836 HAS SOUS 91921 HAS SOUPS 91921 WITH SCORE 92022.836
AT ITER 2904 NEW BEST:: SOT 679403 SOS 101751 HAS SOPS 101751 HAS SOUS 91836 HAS SOUPS 91836 WITH SCORE 91937.751
AT ITER 2911 NEW BEST:: SOT 679403 SOS 101750 HAS SOPS 101750 HAS SOUS 91835 HAS SOUPS 91835 WITH SCORE 91936.75
AT ITER 2913 NEW BEST:: SOT 679403 SOS 101728 HAS SOPS 101728 HAS SOUS 91813 HAS SOUPS 91813 WITH SCORE 91914.728
AT ITER 2918 NEW BEST:: SOT 679403 SOS 101566 HAS SOPS 101566 HAS SOUS 91813 HAS SOUPS 91813 WITH SCORE 91914.566
AT ITER 2953 NEW BEST:: SOT 679389 SOS 101524 HAS SOPS 101524 HAS SOUS 91799 HAS SOUPS 91799 WITH SCORE 91900.524
AT ITER 2972 NEW BEST:: SOT 679389 SOS 101511 HAS SOPS 101511 HAS SOUS 91786 HAS SOUPS 91786 WITH SCORE 91887.511
AT ITER 2991 NEW BEST:: SOT 679378 SOS 101497 HAS SOPS 101497 HAS SOUS 91772 HAS SOUPS 91772 WITH SCORE 91873.497
AT ITER 3013 NEW BEST:: SOT 679323 SOS 101332 HAS SOPS 101332 HAS SOUS 91662 HAS SOUPS 91662 WITH SCORE 91763.332
AT ITER 3023 NEW BEST:: SOT 679298 SOS 101282 HAS SOPS 101282 HAS SOUS 91637 HAS SOUPS 91637 WITH SCORE 91738.282
AT ITER 3041 NEW BEST:: SOT 679283 SOS 101252 HAS SOPS 101252 HAS SOUS 91607 HAS SOUPS 91607 WITH SCORE 91708.252
AT ITER 3050 NEW BEST:: SOT 679259 SOS 101241 HAS SOPS 101241 HAS SOUS 91596 HAS SOUPS 91596 WITH SCORE 91697.241
AT ITER 3105 NEW BEST:: SOT 679259 SOS 101232 HAS SOPS 101232 HAS SOUS 91587 HAS SOUPS 91587 WITH SCORE 91688.232
AT ITER 3123 NEW BEST:: SOT 679196 SOS 101169 HAS SOPS 101169 HAS SOUS 91482 HAS SOUPS 91482 WITH SCORE 91583.169
AT ITER 3133 NEW BEST:: SOT 679209 SOS 101125 HAS SOPS 101125 HAS SOUS 91438 HAS SOUPS 91438 WITH SCORE 91539.125
AT ITER 3234 NEW BEST:: SOT 679195 SOS 101104 HAS SOPS 101104 HAS SOUS 91424 HAS SOUPS 91424 WITH SCORE 91525.104
AT ITER 3236 NEW BEST:: SOT 679154 SOS 101148 HAS SOPS 101148 HAS SOUS 91417 HAS SOUPS 91417 WITH SCORE 91518.148
AT ITER 3273 NEW BEST:: SOT 679139 SOS 101132 HAS SOPS 101132 HAS SOUS 91401 HAS SOUPS 91401 WITH SCORE 91502.132
AT ITER 3308 NEW BEST:: SOT 679139 SOS 101098 HAS SOPS 101098 HAS SOUS 91401 HAS SOUPS 91401 WITH SCORE 91502.098
AT ITER 3337 NEW BEST:: SOT 679139 SOS 101098 HAS SOPS 101098 HAS SOUS 91400 HAS SOUPS 91400 WITH SCORE 91501.098
AT ITER 3339 NEW BEST:: SOT 679132 SOS 101084 HAS SOPS 101084 HAS SOUS 91386 HAS SOUPS 91386 WITH SCORE 91487.084
AT ITER 3343 NEW BEST:: SOT 679207 SOS 101064 HAS SOPS 101064 HAS SOUS 91313 HAS SOUPS 91313 WITH SCORE 91414.064
AT ITER 3346 NEW BEST:: SOT 679144 SOS 100938 HAS SOPS 100938 HAS SOUS 91264 HAS SOUPS 91264 WITH SCORE 91364.938
AT ITER 3362 NEW BEST:: SOT 679127 SOS 100947 HAS SOPS 100947 HAS SOUS 91247 HAS SOUPS 91247 WITH SCORE 91347.947
AT ITER 3376 NEW BEST:: SOT 679127 SOS 100917 HAS SOPS 100917 HAS SOUS 91217 HAS SOUPS 91217 WITH SCORE 91317.917
AT ITER 3378 NEW BEST:: SOT 679114 SOS 100815 HAS SOPS 100815 HAS SOUS 91115 HAS SOUPS 91115 WITH SCORE 91215.815
AT ITER 3383 NEW BEST:: SOT 679083 SOS 100784 HAS SOPS 100784 HAS SOUS 91084 HAS SOUPS 91084 WITH SCORE 91184.784
AT ITER 3481 NEW BEST:: SOT 679126 SOS 100814 HAS SOPS 100814 HAS SOUS 91059 HAS SOUPS 91059 WITH SCORE 91159.814
AT ITER 3483 NEW BEST:: SOT 679083 SOS 100728 HAS SOPS 100728 HAS SOUS 90973 HAS SOUPS 90973 WITH SCORE 91073.728
AT ITER 3496 NEW BEST:: SOT 679075 SOS 100715 HAS SOPS 100715 HAS SOUS 90960 HAS SOUPS 90960 WITH SCORE 91060.715
AT ITER 3513 NEW BEST:: SOT 679194 SOS 100700 HAS SOPS 100700 HAS SOUS 90945 HAS SOUPS 90945 WITH SCORE 91045.7
AT ITER 3521 NEW BEST:: SOT 679199 SOS 100695 HAS SOPS 100695 HAS SOUS 90945 HAS SOUPS 90945 WITH SCORE 91045.695
AT ITER 3523 NEW BEST:: SOT 679109 SOS 100683 HAS SOPS 100683 HAS SOUS 90855 HAS SOUPS 90855 WITH SCORE 90955.683
AT ITER 3564 NEW BEST:: SOT 679148 SOS 100662 HAS SOPS 100662 HAS SOUS 90852 HAS SOUPS 90852 WITH SCORE 90952.662
AT ITER 3588 NEW BEST:: SOT 679148 SOS 100661 HAS SOPS 100661 HAS SOUS 90851 HAS SOUPS 90851 WITH SCORE 90951.661
AT ITER 3601 NEW BEST:: SOT 679129 SOS 100623 HAS SOPS 100623 HAS SOUS 90813 HAS SOUPS 90813 WITH SCORE 90913.623
AT ITER 3619 NEW BEST:: SOT 679056 SOS 100477 HAS SOPS 100477 HAS SOUS 90602 HAS SOUPS 90602 WITH SCORE 90702.477
AT ITER 3638 NEW BEST:: SOT 679045 SOS 100455 HAS SOPS 100455 HAS SOUS 90602 HAS SOUPS 90602 WITH SCORE 90702.455
AT ITER 3646 NEW BEST:: SOT 679039 SOS 100420 HAS SOPS 100420 HAS SOUS 90581 HAS SOUPS 90581 WITH SCORE 90681.42
AT ITER 3673 NEW BEST:: SOT 679037 SOS 100547 HAS SOPS 100547 HAS SOUS 90579 HAS SOUPS 90579 WITH SCORE 90679.547
AT ITER 3687 NEW BEST:: SOT 678933 SOS 100339 HAS SOPS 100339 HAS SOUS 90475 HAS SOUPS 90475 WITH SCORE 90575.339
AT ITER 3727 NEW BEST:: SOT 678813 SOS 100339 HAS SOPS 100339 HAS SOUS 90398 HAS SOUPS 90398 WITH SCORE 90498.339
AT ITER 3758 NEW BEST:: SOT 678813 SOS 100277 HAS SOPS 100277 HAS SOUS 90391 HAS SOUPS 90391 WITH SCORE 90491.277
AT ITER 3759 NEW BEST:: SOT 678807 SOS 100392 HAS SOPS 100392 HAS SOUS 90379 HAS SOUPS 90379 WITH SCORE 90479.392
AT ITER 3769 NEW BEST:: SOT 678801 SOS 100380 HAS SOPS 100380 HAS SOUS 90367 HAS SOUPS 90367 WITH SCORE 90467.38
AT ITER 3772 NEW BEST:: SOT 678786 SOS 100341 HAS SOPS 100341 HAS SOUS 90328 HAS SOUPS 90328 WITH SCORE 90428.341
AT ITER 3773 NEW BEST:: SOT 678725 SOS 100208 HAS SOPS 100208 HAS SOUS 90195 HAS SOUPS 90195 WITH SCORE 90295.208
AT ITER 3843 NEW BEST:: SOT 678729 SOS 100126 HAS SOPS 100126 HAS SOUS 90113 HAS SOUPS 90113 WITH SCORE 90213.126
AT ITER 3870 NEW BEST:: SOT 678729 SOS 100018 HAS SOPS 100018 HAS SOUS 90059 HAS SOUPS 90059 WITH SCORE 90159.018
AT ITER 3880 NEW BEST:: SOT 678751 SOS 99988 HAS SOPS 99988 HAS SOUS 90029 HAS SOUPS 90029 WITH SCORE 90128.988
AT ITER 3903 NEW BEST:: SOT 678745 SOS 99970 HAS SOPS 99970 HAS SOUS 90017 HAS SOUPS 90017 WITH SCORE 90116.97
AT ITER 3933 NEW BEST:: SOT 678702 SOS 99749 HAS SOPS 99749 HAS SOUS 89929 HAS SOUPS 89929 WITH SCORE 90028.749
AT ITER 3942 NEW BEST:: SOT 678702 SOS 99749 HAS SOPS 99749 HAS SOUS 89917 HAS SOUPS 89917 WITH SCORE 90016.749
AT ITER 3948 NEW BEST:: SOT 678702 SOS 99734 HAS SOPS 99734 HAS SOUS 89902 HAS SOUPS 89902 WITH SCORE 90001.734
AT ITER 3956 NEW BEST:: SOT 678702 SOS 99699 HAS SOPS 99699 HAS SOUS 89867 HAS SOUPS 89867 WITH SCORE 89966.699
AT ITER 3992 NEW BEST:: SOT 678805 SOS 99493 HAS SOPS 99493 HAS SOUS 89867 HAS SOUPS 89867 WITH SCORE 89966.493
AT ITER 4054 NEW BEST:: SOT 678826 SOS 99582 HAS SOPS 99582 HAS SOUS 89824 HAS SOUPS 89824 WITH SCORE 89923.582
AT ITER 4090 NEW BEST:: SOT 678826 SOS 99505 HAS SOPS 99505 HAS SOUS 89824 HAS SOUPS 89824 WITH SCORE 89923.505
AT ITER 4109 NEW BEST:: SOT 678898 SOS 99649 HAS SOPS 99649 HAS SOUS 89799 HAS SOUPS 89799 WITH SCORE 89898.649
AT ITER 4144 NEW BEST:: SOT 678898 SOS 99608 HAS SOPS 99608 HAS SOUS 89758 HAS SOUPS 89758 WITH SCORE 89857.608
AT ITER 4190 NEW BEST:: SOT 678898 SOS 99627 HAS SOPS 99627 HAS SOUS 89720 HAS SOUPS 89720 WITH SCORE 89819.627
AT ITER 4194 NEW BEST:: SOT 678898 SOS 99625 HAS SOPS 99625 HAS SOUS 89720 HAS SOUPS 89720 WITH SCORE 89819.625
AT ITER 4198 NEW BEST:: SOT 678842 SOS 99625 HAS SOPS 99625 HAS SOUS 89664 HAS SOUPS 89664 WITH SCORE 89763.625
AT ITER 4224 NEW BEST:: SOT 678838 SOS 99600 HAS SOPS 99600 HAS SOUS 89656 HAS SOUPS 89656 WITH SCORE 89755.6
AT ITER 4238 NEW BEST:: SOT 678838 SOS 99600 HAS SOPS 99600 HAS SOUS 89644 HAS SOUPS 89644 WITH SCORE 89743.6
AT ITER 4271 NEW BEST:: SOT 678838 SOS 99591 HAS SOPS 99591 HAS SOUS 89635 HAS SOUPS 89635 WITH SCORE 89734.591
AT ITER 4274 NEW BEST:: SOT 678838 SOS 99590 HAS SOPS 99590 HAS SOUS 89634 HAS SOUPS 89634 WITH SCORE 89733.59
AT ITER 4309 NEW BEST:: SOT 678776 SOS 99709 HAS SOPS 99709 HAS SOUS 89555 HAS SOUPS 89555 WITH SCORE 89654.709
AT ITER 4311 NEW BEST:: SOT 678736 SOS 99629 HAS SOPS 99629 HAS SOUS 89475 HAS SOUPS 89475 WITH SCORE 89574.629
AT ITER 4317 NEW BEST:: SOT 678735 SOS 99627 HAS SOPS 99627 HAS SOUS 89473 HAS SOUPS 89473 WITH SCORE 89572.627
AT ITER 4324 NEW BEST:: SOT 678713 SOS 99607 HAS SOPS 99607 HAS SOUS 89453 HAS SOUPS 89453 WITH SCORE 89552.607
AT ITER 4330 NEW BEST:: SOT 678701 SOS 99595 HAS SOPS 99595 HAS SOUS 89447 HAS SOUPS 89447 WITH SCORE 89546.595
AT ITER 4351 NEW BEST:: SOT 678701 SOS 99562 HAS SOPS 99562 HAS SOUS 89414 HAS SOUPS 89414 WITH SCORE 89513.562
AT ITER 4362 NEW BEST:: SOT 678611 SOS 99382 HAS SOPS 99382 HAS SOUS 89339 HAS SOUPS 89339 WITH SCORE 89438.382
AT ITER 4375 NEW BEST:: SOT 678611 SOS 99373 HAS SOPS 99373 HAS SOUS 89330 HAS SOUPS 89330 WITH SCORE 89429.373
AT ITER 4397 NEW BEST:: SOT 678619 SOS 99356 HAS SOPS 99356 HAS SOUS 89327 HAS SOUPS 89327 WITH SCORE 89426.356
AT ITER 4420 NEW BEST:: SOT 678608 SOS 99428 HAS SOPS 99428 HAS SOUS 89269 HAS SOUPS 89269 WITH SCORE 89368.428
AT ITER 4429 NEW BEST:: SOT 678606 SOS 99426 HAS SOPS 99426 HAS SOUS 89267 HAS SOUPS 89267 WITH SCORE 89366.426
AT ITER 4430 NEW BEST:: SOT 678606 SOS 99408 HAS SOPS 99408 HAS SOUS 89249 HAS SOUPS 89249 WITH SCORE 89348.408
AT ITER 4434 NEW BEST:: SOT 678456 SOS 99223 HAS SOPS 99223 HAS SOUS 89162 HAS SOUPS 89162 WITH SCORE 89261.223
AT ITER 4441 NEW BEST:: SOT 678432 SOS 99175 HAS SOPS 99175 HAS SOUS 89138 HAS SOUPS 89138 WITH SCORE 89237.175
AT ITER 4480 NEW BEST:: SOT 678431 SOS 99173 HAS SOPS 99173 HAS SOUS 89136 HAS SOUPS 89136 WITH SCORE 89235.173
AT ITER 4482 NEW BEST:: SOT 678388 SOS 99173 HAS SOPS 99173 HAS SOUS 89093 HAS SOUPS 89093 WITH SCORE 89192.173
AT ITER 4534 NEW BEST:: SOT 678426 SOS 99154 HAS SOPS 99154 HAS SOUS 89074 HAS SOUPS 89074 WITH SCORE 89173.154
AT ITER 4537 NEW BEST:: SOT 678388 SOS 99078 HAS SOPS 99078 HAS SOUS 88998 HAS SOUPS 88998 WITH SCORE 89097.078
AT ITER 4546 NEW BEST:: SOT 678348 SOS 99077 HAS SOPS 99077 HAS SOUS 88997 HAS SOUPS 88997 WITH SCORE 89096.077
AT ITER 4547 NEW BEST:: SOT 678342 SOS 99065 HAS SOPS 99065 HAS SOUS 88985 HAS SOUPS 88985 WITH SCORE 89084.065
AT ITER 4577 NEW BEST:: SOT 678342 SOS 99058 HAS SOPS 99058 HAS SOUS 88978 HAS SOUPS 88978 WITH SCORE 89077.058
AT ITER 4627 NEW BEST:: SOT 678345 SOS 98980 HAS SOPS 98980 HAS SOUS 88903 HAS SOUPS 88903 WITH SCORE 89001.98
AT ITER 4636 NEW BEST:: SOT 678313 SOS 98893 HAS SOPS 98893 HAS SOUS 88862 HAS SOUPS 88862 WITH SCORE 88960.893
AT ITER 4638 NEW BEST:: SOT 678313 SOS 98834 HAS SOPS 98834 HAS SOUS 88849 HAS SOUPS 88849 WITH SCORE 88947.834
AT ITER 4660 NEW BEST:: SOT 678289 SOS 98825 HAS SOPS 98825 HAS SOUS 88840 HAS SOUPS 88840 WITH SCORE 88938.825
AT ITER 4729 NEW BEST:: SOT 678262 SOS 98798 HAS SOPS 98798 HAS SOUS 88813 HAS SOUPS 88813 WITH SCORE 88911.798
AT ITER 4735 NEW BEST:: SOT 678272 SOS 98738 HAS SOPS 98738 HAS SOUS 88813 HAS SOUPS 88813 WITH SCORE 88911.738
AT ITER 4750 NEW BEST:: SOT 678272 SOS 98717 HAS SOPS 98717 HAS SOUS 88792 HAS SOUPS 88792 WITH SCORE 88890.717
AT ITER 4764 NEW BEST:: SOT 678272 SOS 98704 HAS SOPS 98704 HAS SOUS 88779 HAS SOUPS 88779 WITH SCORE 88877.704
AT ITER 4829 NEW BEST:: SOT 678263 SOS 98561 HAS SOPS 98561 HAS SOUS 88761 HAS SOUPS 88761 WITH SCORE 88859.561
AT ITER 4843 NEW BEST:: SOT 678263 SOS 98521 HAS SOPS 98521 HAS SOUS 88721 HAS SOUPS 88721 WITH SCORE 88819.521
AT ITER 4849 NEW BEST:: SOT 678263 SOS 98521 HAS SOPS 98521 HAS SOUS 88720 HAS SOUPS 88720 WITH SCORE 88818.521
AT ITER 4879 NEW BEST:: SOT 678231 SOS 98514 HAS SOPS 98514 HAS SOUS 88669 HAS SOUPS 88669 WITH SCORE 88767.514
AT ITER 4883 NEW BEST:: SOT 678231 SOS 98454 HAS SOPS 98454 HAS SOUS 88669 HAS SOUPS 88669 WITH SCORE 88767.454
AT ITER 4890 NEW BEST:: SOT 678355 SOS 98702 HAS SOPS 98702 HAS SOUS 88636 HAS SOUPS 88636 WITH SCORE 88734.702
AT ITER 4911 NEW BEST:: SOT 678355 SOS 98684 HAS SOPS 98684 HAS SOUS 88630 HAS SOUPS 88630 WITH SCORE 88728.684
AT ITER 4951 NEW BEST:: SOT 678316 SOS 98664 HAS SOPS 98664 HAS SOUS 88610 HAS SOUPS 88610 WITH SCORE 88708.664
AT ITER 4952 NEW BEST:: SOT 678275 SOS 98582 HAS SOPS 98582 HAS SOUS 88528 HAS SOUPS 88528 WITH SCORE 88626.582
AT ITER 5034 NEW BEST:: SOT 678244 SOS 98568 HAS SOPS 98568 HAS SOUS 88512 HAS SOUPS 88512 WITH SCORE 88610.568
AT ITER 5079 NEW BEST:: SOT 678210 SOS 98481 HAS SOPS 98481 HAS SOUS 88425 HAS SOUPS 88425 WITH SCORE 88523.481
AT ITER 5112 NEW BEST:: SOT 678209 SOS 98479 HAS SOPS 98479 HAS SOUS 88423 HAS SOUPS 88423 WITH SCORE 88521.479
AT ITER 5115 NEW BEST:: SOT 678212 SOS 98466 HAS SOPS 98466 HAS SOUS 88410 HAS SOUPS 88410 WITH SCORE 88508.466
AT ITER 5119 NEW BEST:: SOT 678160 SOS 98514 HAS SOPS 98514 HAS SOUS 88282 HAS SOUPS 88282 WITH SCORE 88380.514
AT ITER 5126 NEW BEST:: SOT 678180 SOS 98554 HAS SOPS 98554 HAS SOUS 88270 HAS SOUPS 88270 WITH SCORE 88368.554
AT ITER 5191 NEW BEST:: SOT 678170 SOS 98524 HAS SOPS 98524 HAS SOUS 88240 HAS SOUPS 88240 WITH SCORE 88338.524
AT ITER 5234 NEW BEST:: SOT 678105 SOS 98566 HAS SOPS 98566 HAS SOUS 88173 HAS SOUPS 88173 WITH SCORE 88271.566
AT ITER 5259 NEW BEST:: SOT 678057 SOS 98562 HAS SOPS 98562 HAS SOUS 88169 HAS SOUPS 88169 WITH SCORE 88267.562
AT ITER 5310 NEW BEST:: SOT 678056 SOS 98561 HAS SOPS 98561 HAS SOUS 88168 HAS SOUPS 88168 WITH SCORE 88266.561
AT ITER 5351 NEW BEST:: SOT 678027 SOS 98503 HAS SOPS 98503 HAS SOUS 88114 HAS SOUPS 88114 WITH SCORE 88212.503
AT ITER 5386 NEW BEST:: SOT 678027 SOS 98474 HAS SOPS 98474 HAS SOUS 88085 HAS SOUPS 88085 WITH SCORE 88183.474
AT ITER 5409 NEW BEST:: SOT 678027 SOS 98508 HAS SOPS 98508 HAS SOUS 88073 HAS SOUPS 88073 WITH SCORE 88171.508
AT ITER 5414 NEW BEST:: SOT 678017 SOS 98476 HAS SOPS 98476 HAS SOUS 88041 HAS SOUPS 88041 WITH SCORE 88139.476
AT ITER 5423 NEW BEST:: SOT 678016 SOS 98474 HAS SOPS 98474 HAS SOUS 88040 HAS SOUPS 88040 WITH SCORE 88138.474
AT ITER 5431 NEW BEST:: SOT 678016 SOS 98451 HAS SOPS 98451 HAS SOUS 88017 HAS SOUPS 88017 WITH SCORE 88115.451
AT ITER 5439 NEW BEST:: SOT 678016 SOS 98449 HAS SOPS 98449 HAS SOUS 88017 HAS SOUPS 88017 WITH SCORE 88115.449
AT ITER 5470 NEW BEST:: SOT 678004 SOS 98437 HAS SOPS 98437 HAS SOUS 88005 HAS SOUPS 88005 WITH SCORE 88103.437
AT ITER 5499 NEW BEST:: SOT 678003 SOS 98422 HAS SOPS 98422 HAS SOUS 87978 HAS SOUPS 87978 WITH SCORE 88076.422
AT ITER 5537 NEW BEST:: SOT 677935 SOS 98365 HAS SOPS 98365 HAS SOUS 87921 HAS SOUPS 87921 WITH SCORE 88019.365
AT ITER 5559 NEW BEST:: SOT 677920 SOS 98391 HAS SOPS 98391 HAS SOUS 87891 HAS SOUPS 87891 WITH SCORE 87989.391
AT ITER 5595 NEW BEST:: SOT 677917 SOS 98385 HAS SOPS 98385 HAS SOUS 87888 HAS SOUPS 87888 WITH SCORE 87986.385
AT ITER 5623 NEW BEST:: SOT 677902 SOS 98355 HAS SOPS 98355 HAS SOUS 87858 HAS SOUPS 87858 WITH SCORE 87956.355
AT ITER 5642 NEW BEST:: SOT 677886 SOS 98356 HAS SOPS 98356 HAS SOUS 87849 HAS SOUPS 87849 WITH SCORE 87947.356
AT ITER 5644 NEW BEST:: SOT 677885 SOS 98355 HAS SOPS 98355 HAS SOUS 87848 HAS SOUPS 87848 WITH SCORE 87946.355
AT ITER 5765 NEW BEST:: SOT 677814 SOS 98278 HAS SOPS 98278 HAS SOUS 87771 HAS SOUPS 87771 WITH SCORE 87869.278
AT ITER 5774 NEW BEST:: SOT 677689 SOS 98004 HAS SOPS 98004 HAS SOUS 87771 HAS SOUPS 87771 WITH SCORE 87869.004
AT ITER 5824 NEW BEST:: SOT 677688 SOS 97990 HAS SOPS 97990 HAS SOUS 87757 HAS SOUPS 87757 WITH SCORE 87854.99
AT ITER 5830 NEW BEST:: SOT 677688 SOS 97885 HAS SOPS 97885 HAS SOUS 87732 HAS SOUPS 87732 WITH SCORE 87829.885
AT ITER 5835 NEW BEST:: SOT 677707 SOS 97867 HAS SOPS 97867 HAS SOUS 87714 HAS SOUPS 87714 WITH SCORE 87811.867
AT ITER 5838 NEW BEST:: SOT 677621 SOS 97771 HAS SOPS 97771 HAS SOUS 87608 HAS SOUPS 87608 WITH SCORE 87705.771
AT ITER 5871 NEW BEST:: SOT 677616 SOS 97773 HAS SOPS 97773 HAS SOUS 87604 HAS SOUPS 87604 WITH SCORE 87701.773
AT ITER 5875 NEW BEST:: SOT 677565 SOS 97629 HAS SOPS 97629 HAS SOUS 87460 HAS SOUPS 87460 WITH SCORE 87557.629
AT ITER 5898 NEW BEST:: SOT 677553 SOS 97588 HAS SOPS 97588 HAS SOUS 87431 HAS SOUPS 87431 WITH SCORE 87528.588
AT ITER 5910 NEW BEST:: SOT 677541 SOS 97576 HAS SOPS 97576 HAS SOUS 87407 HAS SOUPS 87407 WITH SCORE 87504.576
AT ITER 5923 NEW BEST:: SOT 677541 SOS 97523 HAS SOPS 97523 HAS SOUS 87354 HAS SOUPS 87354 WITH SCORE 87451.523
AT ITER 5937 NEW BEST:: SOT 677500 SOS 97400 HAS SOPS 97400 HAS SOUS 87272 HAS SOUPS 87272 WITH SCORE 87369.4
AT ITER 5943 NEW BEST:: SOT 677500 SOS 97364 HAS SOPS 97364 HAS SOUS 87254 HAS SOUPS 87254 WITH SCORE 87351.364
AT ITER 5951 NEW BEST:: SOT 677468 SOS 97300 HAS SOPS 97300 HAS SOUS 87222 HAS SOUPS 87222 WITH SCORE 87319.3
AT ITER 5974 NEW BEST:: SOT 677438 SOS 97240 HAS SOPS 97240 HAS SOUS 87162 HAS SOUPS 87162 WITH SCORE 87259.24
AT ITER 5989 NEW BEST:: SOT 677401 SOS 97166 HAS SOPS 97166 HAS SOUS 87063 HAS SOUPS 87063 WITH SCORE 87160.166
AT ITER 6014 NEW BEST:: SOT 677392 SOS 97159 HAS SOPS 97159 HAS SOUS 87056 HAS SOUPS 87056 WITH SCORE 87153.159
AT ITER 6027 NEW BEST:: SOT 677385 SOS 97145 HAS SOPS 97145 HAS SOUS 87042 HAS SOUPS 87042 WITH SCORE 87139.145
AT ITER 6076 NEW BEST:: SOT 677343 SOS 97219 HAS SOPS 97219 HAS SOUS 87018 HAS SOUPS 87018 WITH SCORE 87115.219
AT ITER 6077 NEW BEST:: SOT 677339 SOS 97218 HAS SOPS 97218 HAS SOUS 87014 HAS SOUPS 87014 WITH SCORE 87111.218
AT ITER 6078 NEW BEST:: SOT 677330 SOS 97299 HAS SOPS 97299 HAS SOUS 86943 HAS SOUPS 86943 WITH SCORE 87040.299
AT ITER 6089 NEW BEST:: SOT 677299 SOS 97226 HAS SOPS 97226 HAS SOUS 86889 HAS SOUPS 86889 WITH SCORE 86986.226
AT ITER 6127 NEW BEST:: SOT 677288 SOS 97215 HAS SOPS 97215 HAS SOUS 86878 HAS SOUPS 86878 WITH SCORE 86975.215
AT ITER 6142 NEW BEST:: SOT 677288 SOS 97160 HAS SOPS 97160 HAS SOUS 86823 HAS SOUPS 86823 WITH SCORE 86920.16
AT ITER 6147 NEW BEST:: SOT 677284 SOS 97152 HAS SOPS 97152 HAS SOUS 86738 HAS SOUPS 86738 WITH SCORE 86835.152
AT ITER 6149 NEW BEST:: SOT 677287 SOS 97141 HAS SOPS 97141 HAS SOUS 86727 HAS SOUPS 86727 WITH SCORE 86824.141
AT ITER 6165 NEW BEST:: SOT 677212 SOS 97066 HAS SOPS 97066 HAS SOUS 86652 HAS SOUPS 86652 WITH SCORE 86749.066
AT ITER 6228 NEW BEST:: SOT 677103 SOS 96807 HAS SOPS 96807 HAS SOUS 86497 HAS SOUPS 86497 WITH SCORE 86593.807
AT ITER 6259 NEW BEST:: SOT 677101 SOS 96803 HAS SOPS 96803 HAS SOUS 86452 HAS SOUPS 86452 WITH SCORE 86548.803
AT ITER 6286 NEW BEST:: SOT 677101 SOS 96775 HAS SOPS 96775 HAS SOUS 86424 HAS SOUPS 86424 WITH SCORE 86520.775
AT ITER 6332 NEW BEST:: SOT 676999 SOS 97121 HAS SOPS 97121 HAS SOUS 86334 HAS SOUPS 86334 WITH SCORE 86431.121
AT ITER 6366 NEW BEST:: SOT 676952 SOS 97107 HAS SOPS 97107 HAS SOUS 86320 HAS SOUPS 86320 WITH SCORE 86417.107
AT ITER 6369 NEW BEST:: SOT 676888 SOS 96979 HAS SOPS 96979 HAS SOUS 86128 HAS SOUPS 86128 WITH SCORE 86224.979
AT ITER 6374 NEW BEST:: SOT 676916 SOS 97035 HAS SOPS 97035 HAS SOUS 86114 HAS SOUPS 86114 WITH SCORE 86211.035
AT ITER 6405 NEW BEST:: SOT 676884 SOS 96933 HAS SOPS 96933 HAS SOUS 86070 HAS SOUPS 86070 WITH SCORE 86166.933
AT ITER 6415 NEW BEST:: SOT 676881 SOS 96882 HAS SOPS 96882 HAS SOUS 86019 HAS SOUPS 86019 WITH SCORE 86115.882
AT ITER 6443 NEW BEST:: SOT 676846 SOS 96812 HAS SOPS 96812 HAS SOUS 85984 HAS SOUPS 85984 WITH SCORE 86080.812
AT ITER 6470 NEW BEST:: SOT 676845 SOS 96810 HAS SOPS 96810 HAS SOUS 85982 HAS SOUPS 85982 WITH SCORE 86078.81
AT ITER 6560 NEW BEST:: SOT 676856 SOS 96832 HAS SOPS 96832 HAS SOUS 85968 HAS SOUPS 85968 WITH SCORE 86064.832
AT ITER 6574 NEW BEST:: SOT 676840 SOS 96816 HAS SOPS 96816 HAS SOUS 85952 HAS SOUPS 85952 WITH SCORE 86048.816
AT ITER 6576 NEW BEST:: SOT 676840 SOS 96815 HAS SOPS 96815 HAS SOUS 85951 HAS SOUPS 85951 WITH SCORE 86047.815
AT ITER 6617 NEW BEST:: SOT 676816 SOS 96767 HAS SOPS 96767 HAS SOUS 85951 HAS SOUPS 85951 WITH SCORE 86047.767
AT ITER 6695 NEW BEST:: SOT 676795 SOS 96725 HAS SOPS 96725 HAS SOUS 85909 HAS SOUPS 85909 WITH SCORE 86005.725
AT ITER 6706 NEW BEST:: SOT 676741 SOS 96617 HAS SOPS 96617 HAS SOUS 85801 HAS SOUPS 85801 WITH SCORE 85897.617
AT ITER 6725 NEW BEST:: SOT 676741 SOS 96617 HAS SOPS 96617 HAS SOUS 85787 HAS SOUPS 85787 WITH SCORE 85883.617
AT ITER 6728 NEW BEST:: SOT 676740 SOS 96608 HAS SOPS 96608 HAS SOUS 85779 HAS SOUPS 85779 WITH SCORE 85875.608
AT ITER 6774 NEW BEST:: SOT 676710 SOS 96548 HAS SOPS 96548 HAS SOUS 85749 HAS SOUPS 85749 WITH SCORE 85845.548
AT ITER 6804 NEW BEST:: SOT 676710 SOS 96509 HAS SOPS 96509 HAS SOUS 85710 HAS SOUPS 85710 WITH SCORE 85806.509
AT ITER 6817 NEW BEST:: SOT 676690 SOS 96470 HAS SOPS 96470 HAS SOUS 85671 HAS SOUPS 85671 WITH SCORE 85767.47
AT ITER 6820 NEW BEST:: SOT 676707 SOS 96428 HAS SOPS 96428 HAS SOUS 85638 HAS SOUPS 85638 WITH SCORE 85734.428
AT ITER 6826 NEW BEST:: SOT 676662 SOS 96425 HAS SOPS 96425 HAS SOUS 85635 HAS SOUPS 85635 WITH SCORE 85731.425
AT ITER 6828 NEW BEST:: SOT 676650 SOS 96465 HAS SOPS 96465 HAS SOUS 85611 HAS SOUPS 85611 WITH SCORE 85707.465
AT ITER 6835 NEW BEST:: SOT 676669 SOS 96462 HAS SOPS 96462 HAS SOUS 85608 HAS SOUPS 85608 WITH SCORE 85704.462
AT ITER 6844 NEW BEST:: SOT 676584 SOS 96292 HAS SOPS 96292 HAS SOUS 85430 HAS SOUPS 85430 WITH SCORE 85526.292
AT ITER 6979 NEW BEST:: SOT 676545 SOS 96230 HAS SOPS 96230 HAS SOUS 85368 HAS SOUPS 85368 WITH SCORE 85464.23
AT ITER 7004 NEW BEST:: SOT 676545 SOS 96224 HAS SOPS 96224 HAS SOUS 85362 HAS SOUPS 85362 WITH SCORE 85458.224
AT ITER 7062 NEW BEST:: SOT 676529 SOS 96183 HAS SOPS 96183 HAS SOUS 85321 HAS SOUPS 85321 WITH SCORE 85417.183
AT ITER 7064 NEW BEST:: SOT 676522 SOS 96169 HAS SOPS 96169 HAS SOUS 85307 HAS SOUPS 85307 WITH SCORE 85403.169
AT ITER 7100 NEW BEST:: SOT 676547 SOS 96131 HAS SOPS 96131 HAS SOUS 85269 HAS SOUPS 85269 WITH SCORE 85365.131
AT ITER 7114 NEW BEST:: SOT 676540 SOS 96117 HAS SOPS 96117 HAS SOUS 85255 HAS SOUPS 85255 WITH SCORE 85351.117
AT ITER 7147 NEW BEST:: SOT 676519 SOS 96075 HAS SOPS 96075 HAS SOUS 85234 HAS SOUPS 85234 WITH SCORE 85330.075
AT ITER 7163 NEW BEST:: SOT 676519 SOS 96062 HAS SOPS 96062 HAS SOUS 85221 HAS SOUPS 85221 WITH SCORE 85317.062
AT ITER 7223 NEW BEST:: SOT 676514 SOS 96088 HAS SOPS 96088 HAS SOUS 85216 HAS SOUPS 85216 WITH SCORE 85312.088
AT ITER 7241 NEW BEST:: SOT 676472 SOS 96046 HAS SOPS 96046 HAS SOUS 85174 HAS SOUPS 85174 WITH SCORE 85270.046
AT ITER 7432 NEW BEST:: SOT 676471 SOS 96044 HAS SOPS 96044 HAS SOUS 85172 HAS SOUPS 85172 WITH SCORE 85268.044
AT ITER 7457 NEW BEST:: SOT 676448 SOS 96029 HAS SOPS 96029 HAS SOUS 85157 HAS SOUPS 85157 WITH SCORE 85253.029
AT ITER 7531 NEW BEST:: SOT 676443 SOS 96019 HAS SOPS 96019 HAS SOUS 85147 HAS SOUPS 85147 WITH SCORE 85243.019
AT ITER 7591 NEW BEST:: SOT 676435 SOS 96003 HAS SOPS 96003 HAS SOUS 85131 HAS SOUPS 85131 WITH SCORE 85227.003
AT ITER 7631 NEW BEST:: SOT 676434 SOS 96001 HAS SOPS 96001 HAS SOUS 85129 HAS SOUPS 85129 WITH SCORE 85225.001
AT ITER 7632 NEW BEST:: SOT 676380 SOS 95893 HAS SOPS 95893 HAS SOUS 85081 HAS SOUPS 85081 WITH SCORE 85176.893
AT ITER 7642 NEW BEST:: SOT 676417 SOS 95881 HAS SOPS 95881 HAS SOUS 85069 HAS SOUPS 85069 WITH SCORE 85164.881
AT ITER 7648 NEW BEST:: SOT 676362 SOS 95870 HAS SOPS 95870 HAS SOUS 85058 HAS SOUPS 85058 WITH SCORE 85153.87
AT ITER 7656 NEW BEST:: SOT 676362 SOS 95870 HAS SOPS 95870 HAS SOUS 85018 HAS SOUPS 85018 WITH SCORE 85113.87
AT ITER 7690 NEW BEST:: SOT 676269 SOS 95684 HAS SOPS 95684 HAS SOUS 84840 HAS SOUPS 84840 WITH SCORE 84935.684
AT ITER 7695 NEW BEST:: SOT 676262 SOS 95683 HAS SOPS 95683 HAS SOUS 84839 HAS SOUPS 84839 WITH SCORE 84934.683
AT ITER 7752 NEW BEST:: SOT 676239 SOS 95469 HAS SOPS 95469 HAS SOUS 84817 HAS SOUPS 84817 WITH SCORE 84912.469
AT ITER 7757 NEW BEST:: SOT 676228 SOS 95464 HAS SOPS 95464 HAS SOUS 84812 HAS SOUPS 84812 WITH SCORE 84907.464
AT ITER 7768 NEW BEST:: SOT 676201 SOS 95410 HAS SOPS 95410 HAS SOUS 84786 HAS SOUPS 84786 WITH SCORE 84881.41
AT ITER 7808 NEW BEST:: SOT 676196 SOS 95403 HAS SOPS 95403 HAS SOUS 84779 HAS SOUPS 84779 WITH SCORE 84874.403
AT ITER 7827 NEW BEST:: SOT 676188 SOS 95366 HAS SOPS 95366 HAS SOUS 84776 HAS SOUPS 84776 WITH SCORE 84871.366
AT ITER 7830 NEW BEST:: SOT 676069 SOS 95281 HAS SOPS 95281 HAS SOUS 84750 HAS SOUPS 84750 WITH SCORE 84845.281
AT ITER 7919 NEW BEST:: SOT 676056 SOS 95238 HAS SOPS 95238 HAS SOUS 84741 HAS SOUPS 84741 WITH SCORE 84836.238
AT ITER 7930 NEW BEST:: SOT 676031 SOS 95213 HAS SOPS 95213 HAS SOUS 84716 HAS SOUPS 84716 WITH SCORE 84811.213
AT ITER 7934 NEW BEST:: SOT 676024 SOS 95208 HAS SOPS 95208 HAS SOUS 84711 HAS SOUPS 84711 WITH SCORE 84806.208
AT ITER 7973 NEW BEST:: SOT 676024 SOS 95191 HAS SOPS 95191 HAS SOUS 84705 HAS SOUPS 84705 WITH SCORE 84800.191
AT ITER 8025 NEW BEST:: SOT 675963 SOS 95180 HAS SOPS 95180 HAS SOUS 84694 HAS SOUPS 84694 WITH SCORE 84789.18
AT ITER 8058 NEW BEST:: SOT 675958 SOS 95368 HAS SOPS 95368 HAS SOUS 84623 HAS SOUPS 84623 WITH SCORE 84718.368
AT ITER 8062 NEW BEST:: SOT 675958 SOS 95378 HAS SOPS 95378 HAS SOUS 84608 HAS SOUPS 84608 WITH SCORE 84703.378
AT ITER 8078 NEW BEST:: SOT 675958 SOS 95377 HAS SOPS 95377 HAS SOUS 84607 HAS SOUPS 84607 WITH SCORE 84702.377
AT ITER 8080 NEW BEST:: SOT 675946 SOS 95365 HAS SOPS 95365 HAS SOUS 84595 HAS SOUPS 84595 WITH SCORE 84690.365
AT ITER 8127 NEW BEST:: SOT 675928 SOS 95329 HAS SOPS 95329 HAS SOUS 84565 HAS SOUPS 84565 WITH SCORE 84660.329
AT ITER 8156 NEW BEST:: SOT 675876 SOS 95225 HAS SOPS 95225 HAS SOUS 84565 HAS SOUPS 84565 WITH SCORE 84660.225
AT ITER 8157 NEW BEST:: SOT 675876 SOS 95261 HAS SOPS 95261 HAS SOUS 84547 HAS SOUPS 84547 WITH SCORE 84642.261
AT ITER 8196 NEW BEST:: SOT 675876 SOS 95223 HAS SOPS 95223 HAS SOUS 84509 HAS SOUPS 84509 WITH SCORE 84604.223
AT ITER 8224 NEW BEST:: SOT 675885 SOS 95241 HAS SOPS 95241 HAS SOUS 84502 HAS SOUPS 84502 WITH SCORE 84597.241
AT ITER 8236 NEW BEST:: SOT 675885 SOS 95239 HAS SOPS 95239 HAS SOUS 84500 HAS SOUPS 84500 WITH SCORE 84595.239
AT ITER 8250 NEW BEST:: SOT 675886 SOS 95163 HAS SOPS 95163 HAS SOUS 84424 HAS SOUPS 84424 WITH SCORE 84519.163
AT ITER 8261 NEW BEST:: SOT 675863 SOS 95140 HAS SOPS 95140 HAS SOUS 84401 HAS SOUPS 84401 WITH SCORE 84496.14
AT ITER 8349 NEW BEST:: SOT 675869 SOS 95196 HAS SOPS 95196 HAS SOUS 84369 HAS SOUPS 84369 WITH SCORE 84464.196
AT ITER 8350 NEW BEST:: SOT 675769 SOS 95055 HAS SOPS 95055 HAS SOUS 84278 HAS SOUPS 84278 WITH SCORE 84373.055
AT ITER 8353 NEW BEST:: SOT 675763 SOS 95050 HAS SOPS 95050 HAS SOUS 84273 HAS SOUPS 84273 WITH SCORE 84368.05
AT ITER 8383 NEW BEST:: SOT 675763 SOS 94985 HAS SOPS 94985 HAS SOUS 84273 HAS SOUPS 84273 WITH SCORE 84367.985
AT ITER 8398 NEW BEST:: SOT 675702 SOS 94863 HAS SOPS 94863 HAS SOUS 84045 HAS SOUPS 84045 WITH SCORE 84139.863
AT ITER 8461 NEW BEST:: SOT 675687 SOS 94891 HAS SOPS 94891 HAS SOUS 84030 HAS SOUPS 84030 WITH SCORE 84124.891
AT ITER 8469 NEW BEST:: SOT 675664 SOS 94882 HAS SOPS 94882 HAS SOUS 84021 HAS SOUPS 84021 WITH SCORE 84115.882
AT ITER 8483 NEW BEST:: SOT 675655 SOS 94864 HAS SOPS 94864 HAS SOUS 84003 HAS SOUPS 84003 WITH SCORE 84097.864
AT ITER 8486 NEW BEST:: SOT 675604 SOS 94609 HAS SOPS 94609 HAS SOUS 83928 HAS SOUPS 83928 WITH SCORE 84022.609
AT ITER 8535 NEW BEST:: SOT 675604 SOS 94569 HAS SOPS 94569 HAS SOUS 83928 HAS SOUPS 83928 WITH SCORE 84022.569
AT ITER 8595 NEW BEST:: SOT 675541 SOS 94502 HAS SOPS 94502 HAS SOUS 83834 HAS SOUPS 83834 WITH SCORE 83928.502
AT ITER 8651 NEW BEST:: SOT 675541 SOS 94552 HAS SOPS 94552 HAS SOUS 83833 HAS SOUPS 83833 WITH SCORE 83927.552
AT ITER 8652 NEW BEST:: SOT 675541 SOS 94345 HAS SOPS 94345 HAS SOUS 83833 HAS SOUPS 83833 WITH SCORE 83927.345
AT ITER 8735 NEW BEST:: SOT 675541 SOS 94321 HAS SOPS 94321 HAS SOUS 83825 HAS SOUPS 83825 WITH SCORE 83919.321
AT ITER 8745 NEW BEST:: SOT 675475 SOS 94635 HAS SOPS 94635 HAS SOUS 83806 HAS SOUPS 83806 WITH SCORE 83900.635
AT ITER 8758 NEW BEST:: SOT 675475 SOS 94513 HAS SOPS 94513 HAS SOUS 83684 HAS SOUPS 83684 WITH SCORE 83778.513
AT ITER 8776 NEW BEST:: SOT 675475 SOS 94500 HAS SOPS 94500 HAS SOUS 83671 HAS SOUPS 83671 WITH SCORE 83765.5
AT ITER 8794 NEW BEST:: SOT 675473 SOS 94494 HAS SOPS 94494 HAS SOUS 83669 HAS SOUPS 83669 WITH SCORE 83763.494
AT ITER 8811 NEW BEST:: SOT 675472 SOS 94492 HAS SOPS 94492 HAS SOUS 83668 HAS SOUPS 83668 WITH SCORE 83762.492
AT ITER 8848 NEW BEST:: SOT 675464 SOS 94476 HAS SOPS 94476 HAS SOUS 83660 HAS SOUPS 83660 WITH SCORE 83754.476
AT ITER 8852 NEW BEST:: SOT 675569 SOS 94518 HAS SOPS 94518 HAS SOUS 83639 HAS SOUPS 83639 WITH SCORE 83733.518
AT ITER 8884 NEW BEST:: SOT 675556 SOS 94399 HAS SOPS 94399 HAS SOUS 83596 HAS SOUPS 83596 WITH SCORE 83690.399
AT ITER 8921 NEW BEST:: SOT 675556 SOS 94385 HAS SOPS 94385 HAS SOUS 83596 HAS SOUPS 83596 WITH SCORE 83690.385
AT ITER 8952 NEW BEST:: SOT 675556 SOS 94346 HAS SOPS 94346 HAS SOUS 83557 HAS SOUPS 83557 WITH SCORE 83651.346
AT ITER 9041 NEW BEST:: SOT 675556 SOS 94346 HAS SOPS 94346 HAS SOUS 83551 HAS SOUPS 83551 WITH SCORE 83645.346
AT ITER 9049 NEW BEST:: SOT 675556 SOS 94306 HAS SOPS 94306 HAS SOUS 83531 HAS SOUPS 83531 WITH SCORE 83625.306
AT ITER 9130 NEW BEST:: SOT 675534 SOS 94262 HAS SOPS 94262 HAS SOUS 83487 HAS SOUPS 83487 WITH SCORE 83581.262
AT ITER 9193 NEW BEST:: SOT 675534 SOS 94220 HAS SOPS 94220 HAS SOUS 83445 HAS SOUPS 83445 WITH SCORE 83539.22
AT ITER 9218 NEW BEST:: SOT 675487 SOS 94126 HAS SOPS 94126 HAS SOUS 83398 HAS SOUPS 83398 WITH SCORE 83492.126
AT ITER 9221 NEW BEST:: SOT 675474 SOS 94101 HAS SOPS 94101 HAS SOUS 83373 HAS SOUPS 83373 WITH SCORE 83467.101
AT ITER 9223 NEW BEST:: SOT 675335 SOS 93923 HAS SOPS 93923 HAS SOUS 83195 HAS SOUPS 83195 WITH SCORE 83288.923
AT ITER 9231 NEW BEST:: SOT 675325 SOS 93903 HAS SOPS 93903 HAS SOUS 83149 HAS SOUPS 83149 WITH SCORE 83242.903
AT ITER 9342 NEW BEST:: SOT 675319 SOS 93891 HAS SOPS 93891 HAS SOUS 83137 HAS SOUPS 83137 WITH SCORE 83230.891
AT ITER 9350 NEW BEST:: SOT 675297 SOS 93863 HAS SOPS 93863 HAS SOUS 83109 HAS SOUPS 83109 WITH SCORE 83202.863
AT ITER 9383 NEW BEST:: SOT 675283 SOS 93849 HAS SOPS 93849 HAS SOUS 83095 HAS SOUPS 83095 WITH SCORE 83188.849
AT ITER 9447 NEW BEST:: SOT 675243 SOS 93734 HAS SOPS 93734 HAS SOUS 82980 HAS SOUPS 82980 WITH SCORE 83073.734
AT ITER 9508 NEW BEST:: SOT 675224 SOS 93602 HAS SOPS 93602 HAS SOUS 82914 HAS SOUPS 82914 WITH SCORE 83007.602
AT ITER 9524 NEW BEST:: SOT 675202 SOS 93536 HAS SOPS 93536 HAS SOUS 82870 HAS SOUPS 82870 WITH SCORE 82963.536
AT ITER 9529 NEW BEST:: SOT 675208 SOS 93541 HAS SOPS 93541 HAS SOUS 82869 HAS SOUPS 82869 WITH SCORE 82962.541
AT ITER 9575 NEW BEST:: SOT 675022 SOS 93444 HAS SOPS 93444 HAS SOUS 82772 HAS SOUPS 82772 WITH SCORE 82865.444
AT ITER 9603 NEW BEST:: SOT 675021 SOS 93425 HAS SOPS 93425 HAS SOUS 82771 HAS SOUPS 82771 WITH SCORE 82864.425
AT ITER 9606 NEW BEST:: SOT 674955 SOS 93380 HAS SOPS 93380 HAS SOUS 82734 HAS SOUPS 82734 WITH SCORE 82827.38
AT ITER 9613 NEW BEST:: SOT 674913 SOS 93568 HAS SOPS 93568 HAS SOUS 82687 HAS SOUPS 82687 WITH SCORE 82780.568
AT ITER 9648 NEW BEST:: SOT 674886 SOS 93514 HAS SOPS 93514 HAS SOUS 82687 HAS SOUPS 82687 WITH SCORE 82780.514
AT ITER 9689 NEW BEST:: SOT 674886 SOS 93508 HAS SOPS 93508 HAS SOUS 82681 HAS SOUPS 82681 WITH SCORE 82774.508
AT ITER 9693 NEW BEST:: SOT 674837 SOS 93475 HAS SOPS 93475 HAS SOUS 82569 HAS SOUPS 82569 WITH SCORE 82662.475
AT ITER 9710 NEW BEST:: SOT 674773 SOS 93410 HAS SOPS 93410 HAS SOUS 82504 HAS SOUPS 82504 WITH SCORE 82597.41
AT ITER 9721 NEW BEST:: SOT 674768 SOS 93400 HAS SOPS 93400 HAS SOUS 82499 HAS SOUPS 82499 WITH SCORE 82592.4
AT ITER 9759 NEW BEST:: SOT 674768 SOS 93360 HAS SOPS 93360 HAS SOUS 82499 HAS SOUPS 82499 WITH SCORE 82592.36
AT ITER 9955 NEW BEST:: SOT 674831 SOS 93198 HAS SOPS 93198 HAS SOUS 82464 HAS SOUPS 82464 WITH SCORE 82557.198
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 11472408 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16122924 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-12b"
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-12b, 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-167813600300480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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