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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 6.0K Feb 25 18:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 25 18:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 18:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K 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.2K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K 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 11K Feb 25 18:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 25 18:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 18:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K 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 91K 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 1678735450896

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-04b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 19:24:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 19:24:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 19:24:13] [INFO ] Load time of PNML (sax parser for PT used): 93 ms
[2023-03-13 19:24:13] [INFO ] Transformed 390 places.
[2023-03-13 19:24:13] [INFO ] Transformed 388 transitions.
[2023-03-13 19:24:13] [INFO ] Found NUPN structural information;
[2023-03-13 19:24:13] [INFO ] Parsed PT model containing 390 places and 388 transitions and 906 arcs in 182 ms.
[2023-03-13 19:24:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 390 places, 388 transitions and 906 arcs took 7 ms.
Total runtime 225 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 04b
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: 390 places, 388 transitions, 906 arcs.
AT ITER 0 NEW BEST:: SOT 82400 SOS 17772 HAS SOPS 17772 HAS SOUS 16265 HAS SOUPS 16265 WITH SCORE 16282.772
AT ITER 7 NEW BEST:: SOT 82395 SOS 17635 HAS SOPS 17635 HAS SOUS 16234 HAS SOUPS 16234 WITH SCORE 16251.635
AT ITER 25 NEW BEST:: SOT 82403 SOS 17611 HAS SOPS 17611 HAS SOUS 16210 HAS SOUPS 16210 WITH SCORE 16227.611
AT ITER 36 NEW BEST:: SOT 82403 SOS 17611 HAS SOPS 17611 HAS SOUS 16209 HAS SOUPS 16209 WITH SCORE 16226.611
AT ITER 93 NEW BEST:: SOT 82396 SOS 17597 HAS SOPS 17597 HAS SOUS 16195 HAS SOUPS 16195 WITH SCORE 16212.597
AT ITER 130 NEW BEST:: SOT 82396 SOS 17675 HAS SOPS 17675 HAS SOUS 16156 HAS SOUPS 16156 WITH SCORE 16173.675
AT ITER 138 NEW BEST:: SOT 82388 SOS 17683 HAS SOPS 17683 HAS SOUS 16148 HAS SOUPS 16148 WITH SCORE 16165.683
AT ITER 139 NEW BEST:: SOT 82388 SOS 17637 HAS SOPS 17637 HAS SOUS 16102 HAS SOUPS 16102 WITH SCORE 16119.637
AT ITER 163 NEW BEST:: SOT 82383 SOS 17633 HAS SOPS 17633 HAS SOUS 16102 HAS SOUPS 16102 WITH SCORE 16119.633
AT ITER 186 NEW BEST:: SOT 82340 SOS 17633 HAS SOPS 17633 HAS SOUS 16059 HAS SOUPS 16059 WITH SCORE 16076.633
AT ITER 204 NEW BEST:: SOT 82340 SOS 17636 HAS SOPS 17636 HAS SOUS 16056 HAS SOUPS 16056 WITH SCORE 16073.636
AT ITER 213 NEW BEST:: SOT 82336 SOS 17581 HAS SOPS 17581 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16018.581
AT ITER 220 NEW BEST:: SOT 82336 SOS 17581 HAS SOPS 17581 HAS SOUS 16000 HAS SOUPS 16000 WITH SCORE 16017.581
AT ITER 221 NEW BEST:: SOT 82336 SOS 17574 HAS SOPS 17574 HAS SOUS 15993 HAS SOUPS 15993 WITH SCORE 16010.574
AT ITER 223 NEW BEST:: SOT 82293 SOS 17542 HAS SOPS 17542 HAS SOUS 15961 HAS SOUPS 15961 WITH SCORE 15978.542
AT ITER 226 NEW BEST:: SOT 82293 SOS 17534 HAS SOPS 17534 HAS SOUS 15953 HAS SOUPS 15953 WITH SCORE 15970.534
AT ITER 227 NEW BEST:: SOT 82294 SOS 17533 HAS SOPS 17533 HAS SOUS 15952 HAS SOUPS 15952 WITH SCORE 15969.533
AT ITER 245 NEW BEST:: SOT 82270 SOS 17437 HAS SOPS 17437 HAS SOUS 15926 HAS SOUPS 15926 WITH SCORE 15943.437
AT ITER 250 NEW BEST:: SOT 82250 SOS 17424 HAS SOPS 17424 HAS SOUS 15913 HAS SOUPS 15913 WITH SCORE 15930.424
AT ITER 252 NEW BEST:: SOT 82235 SOS 17339 HAS SOPS 17339 HAS SOUS 15883 HAS SOUPS 15883 WITH SCORE 15900.339
AT ITER 261 NEW BEST:: SOT 82198 SOS 17336 HAS SOPS 17336 HAS SOUS 15880 HAS SOUPS 15880 WITH SCORE 15897.336
AT ITER 283 NEW BEST:: SOT 82243 SOS 17380 HAS SOPS 17380 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15888.38
AT ITER 292 NEW BEST:: SOT 82252 SOS 17342 HAS SOPS 17342 HAS SOUS 15853 HAS SOUPS 15853 WITH SCORE 15870.342
AT ITER 341 NEW BEST:: SOT 82243 SOS 17307 HAS SOPS 17307 HAS SOUS 15826 HAS SOUPS 15826 WITH SCORE 15843.307
AT ITER 343 NEW BEST:: SOT 82226 SOS 17273 HAS SOPS 17273 HAS SOUS 15789 HAS SOUPS 15789 WITH SCORE 15806.273
AT ITER 349 NEW BEST:: SOT 82195 SOS 17211 HAS SOPS 17211 HAS SOUS 15687 HAS SOUPS 15687 WITH SCORE 15704.211
AT ITER 369 NEW BEST:: SOT 82175 SOS 17191 HAS SOPS 17191 HAS SOUS 15667 HAS SOUPS 15667 WITH SCORE 15684.191
AT ITER 374 NEW BEST:: SOT 82175 SOS 17162 HAS SOPS 17162 HAS SOUS 15667 HAS SOUPS 15667 WITH SCORE 15684.162
AT ITER 377 NEW BEST:: SOT 82175 SOS 17110 HAS SOPS 17110 HAS SOUS 15641 HAS SOUPS 15641 WITH SCORE 15658.11
AT ITER 387 NEW BEST:: SOT 82175 SOS 17026 HAS SOPS 17026 HAS SOUS 15574 HAS SOUPS 15574 WITH SCORE 15591.026
AT ITER 393 NEW BEST:: SOT 82155 SOS 17006 HAS SOPS 17006 HAS SOUS 15554 HAS SOUPS 15554 WITH SCORE 15571.006
AT ITER 401 NEW BEST:: SOT 82108 SOS 16958 HAS SOPS 16958 HAS SOUS 15506 HAS SOUPS 15506 WITH SCORE 15522.958
AT ITER 407 NEW BEST:: SOT 82098 SOS 16961 HAS SOPS 16961 HAS SOUS 15495 HAS SOUPS 15495 WITH SCORE 15511.961
AT ITER 419 NEW BEST:: SOT 82100 SOS 16965 HAS SOPS 16965 HAS SOUS 15491 HAS SOUPS 15491 WITH SCORE 15507.965
AT ITER 420 NEW BEST:: SOT 82133 SOS 16962 HAS SOPS 16962 HAS SOUS 15488 HAS SOUPS 15488 WITH SCORE 15504.962
AT ITER 428 NEW BEST:: SOT 82132 SOS 16961 HAS SOPS 16961 HAS SOUS 15487 HAS SOUPS 15487 WITH SCORE 15503.961
AT ITER 438 NEW BEST:: SOT 82132 SOS 16946 HAS SOPS 16946 HAS SOUS 15472 HAS SOUPS 15472 WITH SCORE 15488.946
AT ITER 445 NEW BEST:: SOT 82087 SOS 16811 HAS SOPS 16811 HAS SOUS 15381 HAS SOUPS 15381 WITH SCORE 15397.811
AT ITER 459 NEW BEST:: SOT 82064 SOS 16768 HAS SOPS 16768 HAS SOUS 15338 HAS SOUPS 15338 WITH SCORE 15354.768
AT ITER 465 NEW BEST:: SOT 82061 SOS 16765 HAS SOPS 16765 HAS SOUS 15335 HAS SOUPS 15335 WITH SCORE 15351.765
AT ITER 485 NEW BEST:: SOT 82052 SOS 16734 HAS SOPS 16734 HAS SOUS 15304 HAS SOUPS 15304 WITH SCORE 15320.734
AT ITER 486 NEW BEST:: SOT 82051 SOS 16733 HAS SOPS 16733 HAS SOUS 15303 HAS SOUPS 15303 WITH SCORE 15319.733
AT ITER 493 NEW BEST:: SOT 82022 SOS 16803 HAS SOPS 16803 HAS SOUS 15294 HAS SOUPS 15294 WITH SCORE 15310.803
AT ITER 511 NEW BEST:: SOT 82002 SOS 16746 HAS SOPS 16746 HAS SOUS 15237 HAS SOUPS 15237 WITH SCORE 15253.746
AT ITER 534 NEW BEST:: SOT 82014 SOS 16770 HAS SOPS 16770 HAS SOUS 15226 HAS SOUPS 15226 WITH SCORE 15242.77
AT ITER 535 NEW BEST:: SOT 81959 SOS 16770 HAS SOPS 16770 HAS SOUS 15116 HAS SOUPS 15116 WITH SCORE 15132.77
AT ITER 558 NEW BEST:: SOT 81936 SOS 16750 HAS SOPS 16750 HAS SOUS 15086 HAS SOUPS 15086 WITH SCORE 15102.75
AT ITER 565 NEW BEST:: SOT 81936 SOS 16747 HAS SOPS 16747 HAS SOUS 15083 HAS SOUPS 15083 WITH SCORE 15099.747
AT ITER 572 NEW BEST:: SOT 81915 SOS 16711 HAS SOPS 16711 HAS SOUS 15047 HAS SOUPS 15047 WITH SCORE 15063.711
AT ITER 594 NEW BEST:: SOT 81908 SOS 16694 HAS SOPS 16694 HAS SOUS 15035 HAS SOUPS 15035 WITH SCORE 15051.694
AT ITER 607 NEW BEST:: SOT 81866 SOS 16673 HAS SOPS 16673 HAS SOUS 15014 HAS SOUPS 15014 WITH SCORE 15030.673
AT ITER 612 NEW BEST:: SOT 81878 SOS 16681 HAS SOPS 16681 HAS SOUS 15010 HAS SOUPS 15010 WITH SCORE 15026.681
AT ITER 623 NEW BEST:: SOT 81877 SOS 16679 HAS SOPS 16679 HAS SOUS 15008 HAS SOUPS 15008 WITH SCORE 15024.679
AT ITER 626 NEW BEST:: SOT 81890 SOS 16671 HAS SOPS 16671 HAS SOUS 15006 HAS SOUPS 15006 WITH SCORE 15022.671
AT ITER 659 NEW BEST:: SOT 81884 SOS 16653 HAS SOPS 16653 HAS SOUS 14988 HAS SOUPS 14988 WITH SCORE 15004.653
AT ITER 675 NEW BEST:: SOT 81884 SOS 16552 HAS SOPS 16552 HAS SOUS 14965 HAS SOUPS 14965 WITH SCORE 14981.552
AT ITER 679 NEW BEST:: SOT 81884 SOS 16536 HAS SOPS 16536 HAS SOUS 14949 HAS SOUPS 14949 WITH SCORE 14965.536
AT ITER 684 NEW BEST:: SOT 81871 SOS 16523 HAS SOPS 16523 HAS SOUS 14936 HAS SOUPS 14936 WITH SCORE 14952.523
AT ITER 685 NEW BEST:: SOT 81871 SOS 16518 HAS SOPS 16518 HAS SOUS 14931 HAS SOUPS 14931 WITH SCORE 14947.518
AT ITER 687 NEW BEST:: SOT 81876 SOS 16517 HAS SOPS 16517 HAS SOUS 14904 HAS SOUPS 14904 WITH SCORE 14920.517
AT ITER 716 NEW BEST:: SOT 81876 SOS 16517 HAS SOPS 16517 HAS SOUS 14901 HAS SOUPS 14901 WITH SCORE 14917.517
AT ITER 738 NEW BEST:: SOT 81865 SOS 16495 HAS SOPS 16495 HAS SOUS 14890 HAS SOUPS 14890 WITH SCORE 14906.495
AT ITER 744 NEW BEST:: SOT 81864 SOS 16489 HAS SOPS 16489 HAS SOUS 14884 HAS SOUPS 14884 WITH SCORE 14900.489
AT ITER 750 NEW BEST:: SOT 81860 SOS 16485 HAS SOPS 16485 HAS SOUS 14880 HAS SOUPS 14880 WITH SCORE 14896.485
AT ITER 757 NEW BEST:: SOT 81869 SOS 16479 HAS SOPS 16479 HAS SOUS 14874 HAS SOUPS 14874 WITH SCORE 14890.479
AT ITER 774 NEW BEST:: SOT 81869 SOS 16468 HAS SOPS 16468 HAS SOUS 14852 HAS SOUPS 14852 WITH SCORE 14868.468
AT ITER 791 NEW BEST:: SOT 81848 SOS 16405 HAS SOPS 16405 HAS SOUS 14789 HAS SOUPS 14789 WITH SCORE 14805.405
AT ITER 816 NEW BEST:: SOT 81846 SOS 16401 HAS SOPS 16401 HAS SOUS 14785 HAS SOUPS 14785 WITH SCORE 14801.401
AT ITER 841 NEW BEST:: SOT 81883 SOS 16345 HAS SOPS 16345 HAS SOUS 14729 HAS SOUPS 14729 WITH SCORE 14745.345
AT ITER 849 NEW BEST:: SOT 81854 SOS 16398 HAS SOPS 16398 HAS SOUS 14707 HAS SOUPS 14707 WITH SCORE 14723.398
AT ITER 885 NEW BEST:: SOT 81839 SOS 16353 HAS SOPS 16353 HAS SOUS 14677 HAS SOUPS 14677 WITH SCORE 14693.353
AT ITER 928 NEW BEST:: SOT 81805 SOS 16276 HAS SOPS 16276 HAS SOUS 14634 HAS SOUPS 14634 WITH SCORE 14650.276
AT ITER 938 NEW BEST:: SOT 81804 SOS 16253 HAS SOPS 16253 HAS SOUS 14632 HAS SOUPS 14632 WITH SCORE 14648.253
AT ITER 960 NEW BEST:: SOT 81822 SOS 16235 HAS SOPS 16235 HAS SOUS 14632 HAS SOUPS 14632 WITH SCORE 14648.235
AT ITER 963 NEW BEST:: SOT 81846 SOS 16219 HAS SOPS 16219 HAS SOUS 14592 HAS SOUPS 14592 WITH SCORE 14608.219
AT ITER 1000 NEW BEST:: SOT 81835 SOS 16168 HAS SOPS 16168 HAS SOUS 14589 HAS SOUPS 14589 WITH SCORE 14605.168
AT ITER 1020 NEW BEST:: SOT 81739 SOS 15976 HAS SOPS 15976 HAS SOUS 14484 HAS SOUPS 14484 WITH SCORE 14499.976
AT ITER 1029 NEW BEST:: SOT 81739 SOS 15940 HAS SOPS 15940 HAS SOUS 14484 HAS SOUPS 14484 WITH SCORE 14499.94
AT ITER 1052 NEW BEST:: SOT 81665 SOS 15960 HAS SOPS 15960 HAS SOUS 14392 HAS SOUPS 14392 WITH SCORE 14407.96
AT ITER 1077 NEW BEST:: SOT 81665 SOS 15934 HAS SOPS 15934 HAS SOUS 14366 HAS SOUPS 14366 WITH SCORE 14381.934
AT ITER 1084 NEW BEST:: SOT 81640 SOS 15914 HAS SOPS 15914 HAS SOUS 14346 HAS SOUPS 14346 WITH SCORE 14361.914
AT ITER 1112 NEW BEST:: SOT 81636 SOS 15906 HAS SOPS 15906 HAS SOUS 14338 HAS SOUPS 14338 WITH SCORE 14353.906
AT ITER 1135 NEW BEST:: SOT 81648 SOS 15890 HAS SOPS 15890 HAS SOUS 14296 HAS SOUPS 14296 WITH SCORE 14311.89
AT ITER 1142 NEW BEST:: SOT 81646 SOS 15890 HAS SOPS 15890 HAS SOUS 14292 HAS SOUPS 14292 WITH SCORE 14307.89
AT ITER 1169 NEW BEST:: SOT 81614 SOS 15826 HAS SOPS 15826 HAS SOUS 14221 HAS SOUPS 14221 WITH SCORE 14236.826
AT ITER 1170 NEW BEST:: SOT 81617 SOS 15832 HAS SOPS 15832 HAS SOUS 14197 HAS SOUPS 14197 WITH SCORE 14212.832
AT ITER 1185 NEW BEST:: SOT 81628 SOS 15826 HAS SOPS 15826 HAS SOUS 14194 HAS SOUPS 14194 WITH SCORE 14209.826
AT ITER 1187 NEW BEST:: SOT 81625 SOS 15802 HAS SOPS 15802 HAS SOUS 14188 HAS SOUPS 14188 WITH SCORE 14203.802
AT ITER 1191 NEW BEST:: SOT 81641 SOS 15834 HAS SOPS 15834 HAS SOUS 14180 HAS SOUPS 14180 WITH SCORE 14195.834
AT ITER 1212 NEW BEST:: SOT 81646 SOS 15822 HAS SOPS 15822 HAS SOUS 14179 HAS SOUPS 14179 WITH SCORE 14194.822
AT ITER 1237 NEW BEST:: SOT 81646 SOS 15809 HAS SOPS 15809 HAS SOUS 14178 HAS SOUPS 14178 WITH SCORE 14193.809
AT ITER 1246 NEW BEST:: SOT 81642 SOS 15801 HAS SOPS 15801 HAS SOUS 14174 HAS SOUPS 14174 WITH SCORE 14189.801
AT ITER 1247 NEW BEST:: SOT 81649 SOS 15797 HAS SOPS 15797 HAS SOUS 14174 HAS SOUPS 14174 WITH SCORE 14189.797
AT ITER 1250 NEW BEST:: SOT 81644 SOS 15792 HAS SOPS 15792 HAS SOUS 14169 HAS SOUPS 14169 WITH SCORE 14184.792
AT ITER 1264 NEW BEST:: SOT 81643 SOS 15778 HAS SOPS 15778 HAS SOUS 14155 HAS SOUPS 14155 WITH SCORE 14170.778
AT ITER 1300 NEW BEST:: SOT 81643 SOS 15727 HAS SOPS 15727 HAS SOUS 14155 HAS SOUPS 14155 WITH SCORE 14170.727
AT ITER 1316 NEW BEST:: SOT 81664 SOS 15706 HAS SOPS 15706 HAS SOUS 14155 HAS SOUPS 14155 WITH SCORE 14170.706
AT ITER 1344 NEW BEST:: SOT 81683 SOS 15703 HAS SOPS 15703 HAS SOUS 14152 HAS SOUPS 14152 WITH SCORE 14167.703
AT ITER 1360 NEW BEST:: SOT 81680 SOS 15700 HAS SOPS 15700 HAS SOUS 14152 HAS SOUPS 14152 WITH SCORE 14167.7
AT ITER 1366 NEW BEST:: SOT 81675 SOS 15702 HAS SOPS 15702 HAS SOUS 14147 HAS SOUPS 14147 WITH SCORE 14162.702
AT ITER 1369 NEW BEST:: SOT 81684 SOS 15710 HAS SOPS 15710 HAS SOUS 14146 HAS SOUPS 14146 WITH SCORE 14161.71
AT ITER 1399 NEW BEST:: SOT 81684 SOS 15705 HAS SOPS 15705 HAS SOUS 14141 HAS SOUPS 14141 WITH SCORE 14156.705
AT ITER 1405 NEW BEST:: SOT 81662 SOS 15683 HAS SOPS 15683 HAS SOUS 14119 HAS SOUPS 14119 WITH SCORE 14134.683
AT ITER 1411 NEW BEST:: SOT 81656 SOS 15674 HAS SOPS 15674 HAS SOUS 14110 HAS SOUPS 14110 WITH SCORE 14125.674
AT ITER 1456 NEW BEST:: SOT 81621 SOS 15635 HAS SOPS 15635 HAS SOUS 14081 HAS SOUPS 14081 WITH SCORE 14096.635
AT ITER 1457 NEW BEST:: SOT 81624 SOS 15626 HAS SOPS 15626 HAS SOUS 14072 HAS SOUPS 14072 WITH SCORE 14087.626
AT ITER 1476 NEW BEST:: SOT 81611 SOS 15613 HAS SOPS 15613 HAS SOUS 14058 HAS SOUPS 14058 WITH SCORE 14073.613
AT ITER 1479 NEW BEST:: SOT 81598 SOS 15631 HAS SOPS 15631 HAS SOUS 14039 HAS SOUPS 14039 WITH SCORE 14054.631
AT ITER 1498 NEW BEST:: SOT 81582 SOS 15615 HAS SOPS 15615 HAS SOUS 14023 HAS SOUPS 14023 WITH SCORE 14038.615
AT ITER 1520 NEW BEST:: SOT 81591 SOS 15597 HAS SOPS 15597 HAS SOUS 14023 HAS SOUPS 14023 WITH SCORE 14038.597
AT ITER 1536 NEW BEST:: SOT 81587 SOS 15593 HAS SOPS 15593 HAS SOUS 14019 HAS SOUPS 14019 WITH SCORE 14034.593
AT ITER 1543 NEW BEST:: SOT 81580 SOS 15580 HAS SOPS 15580 HAS SOUS 14006 HAS SOUPS 14006 WITH SCORE 14021.58
AT ITER 1615 NEW BEST:: SOT 81594 SOS 15690 HAS SOPS 15690 HAS SOUS 13983 HAS SOUPS 13983 WITH SCORE 13998.69
AT ITER 1677 NEW BEST:: SOT 81574 SOS 15674 HAS SOPS 15674 HAS SOUS 13962 HAS SOUPS 13962 WITH SCORE 13977.674
AT ITER 1686 NEW BEST:: SOT 81523 SOS 15496 HAS SOPS 15496 HAS SOUS 13903 HAS SOUPS 13903 WITH SCORE 13918.496
AT ITER 1696 NEW BEST:: SOT 81555 SOS 15553 HAS SOPS 15553 HAS SOUS 13893 HAS SOUPS 13893 WITH SCORE 13908.553
AT ITER 1739 NEW BEST:: SOT 81555 SOS 15525 HAS SOPS 15525 HAS SOUS 13865 HAS SOUPS 13865 WITH SCORE 13880.525
AT ITER 1740 NEW BEST:: SOT 81543 SOS 15501 HAS SOPS 15501 HAS SOUS 13841 HAS SOUPS 13841 WITH SCORE 13856.501
AT ITER 1750 NEW BEST:: SOT 81538 SOS 15477 HAS SOPS 15477 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13847.477
AT ITER 1781 NEW BEST:: SOT 81538 SOS 15432 HAS SOPS 15432 HAS SOUS 13817 HAS SOUPS 13817 WITH SCORE 13832.432
AT ITER 1789 NEW BEST:: SOT 81547 SOS 15419 HAS SOPS 15419 HAS SOUS 13806 HAS SOUPS 13806 WITH SCORE 13821.419
AT ITER 1821 NEW BEST:: SOT 81547 SOS 15404 HAS SOPS 15404 HAS SOUS 13795 HAS SOUPS 13795 WITH SCORE 13810.404
AT ITER 1823 NEW BEST:: SOT 81574 SOS 15303 HAS SOPS 15303 HAS SOUS 13771 HAS SOUPS 13771 WITH SCORE 13786.303
AT ITER 1844 NEW BEST:: SOT 81574 SOS 15292 HAS SOPS 15292 HAS SOUS 13760 HAS SOUPS 13760 WITH SCORE 13775.292
AT ITER 1894 NEW BEST:: SOT 81578 SOS 15220 HAS SOPS 15220 HAS SOUS 13755 HAS SOUPS 13755 WITH SCORE 13770.22
AT ITER 1905 NEW BEST:: SOT 81578 SOS 15210 HAS SOPS 15210 HAS SOUS 13745 HAS SOUPS 13745 WITH SCORE 13760.21
AT ITER 1917 NEW BEST:: SOT 81573 SOS 15164 HAS SOPS 15164 HAS SOUS 13728 HAS SOUPS 13728 WITH SCORE 13743.164
AT ITER 1918 NEW BEST:: SOT 81564 SOS 15160 HAS SOPS 15160 HAS SOUS 13710 HAS SOUPS 13710 WITH SCORE 13725.16
AT ITER 1929 NEW BEST:: SOT 81554 SOS 15150 HAS SOPS 15150 HAS SOUS 13700 HAS SOUPS 13700 WITH SCORE 13715.15
AT ITER 1932 NEW BEST:: SOT 81554 SOS 15149 HAS SOPS 15149 HAS SOUS 13699 HAS SOUPS 13699 WITH SCORE 13714.149
AT ITER 1933 NEW BEST:: SOT 81552 SOS 15145 HAS SOPS 15145 HAS SOUS 13695 HAS SOUPS 13695 WITH SCORE 13710.145
AT ITER 1935 NEW BEST:: SOT 81548 SOS 15095 HAS SOPS 15095 HAS SOUS 13679 HAS SOUPS 13679 WITH SCORE 13694.095
AT ITER 1966 NEW BEST:: SOT 81548 SOS 15046 HAS SOPS 15046 HAS SOUS 13679 HAS SOUPS 13679 WITH SCORE 13694.046
AT ITER 1967 NEW BEST:: SOT 81552 SOS 14911 HAS SOPS 14911 HAS SOUS 13629 HAS SOUPS 13629 WITH SCORE 13643.911
AT ITER 1987 NEW BEST:: SOT 81508 SOS 14918 HAS SOPS 14918 HAS SOUS 13595 HAS SOUPS 13595 WITH SCORE 13609.918
AT ITER 2022 NEW BEST:: SOT 81508 SOS 14893 HAS SOPS 14893 HAS SOUS 13595 HAS SOUPS 13595 WITH SCORE 13609.893
AT ITER 2032 NEW BEST:: SOT 81500 SOS 14885 HAS SOPS 14885 HAS SOUS 13587 HAS SOUPS 13587 WITH SCORE 13601.885
AT ITER 2046 NEW BEST:: SOT 81496 SOS 14854 HAS SOPS 14854 HAS SOUS 13579 HAS SOUPS 13579 WITH SCORE 13593.854
AT ITER 2064 NEW BEST:: SOT 81489 SOS 14888 HAS SOPS 14888 HAS SOUS 13572 HAS SOUPS 13572 WITH SCORE 13586.888
AT ITER 2067 NEW BEST:: SOT 81486 SOS 14879 HAS SOPS 14879 HAS SOUS 13563 HAS SOUPS 13563 WITH SCORE 13577.879
AT ITER 2099 NEW BEST:: SOT 81486 SOS 14866 HAS SOPS 14866 HAS SOUS 13550 HAS SOUPS 13550 WITH SCORE 13564.866
AT ITER 2100 NEW BEST:: SOT 81482 SOS 14854 HAS SOPS 14854 HAS SOUS 13538 HAS SOUPS 13538 WITH SCORE 13552.854
AT ITER 2114 NEW BEST:: SOT 81463 SOS 14812 HAS SOPS 14812 HAS SOUS 13496 HAS SOUPS 13496 WITH SCORE 13510.812
AT ITER 2131 NEW BEST:: SOT 81460 SOS 14806 HAS SOPS 14806 HAS SOUS 13490 HAS SOUPS 13490 WITH SCORE 13504.806
AT ITER 2134 NEW BEST:: SOT 81456 SOS 14802 HAS SOPS 14802 HAS SOUS 13486 HAS SOUPS 13486 WITH SCORE 13500.802
AT ITER 2142 NEW BEST:: SOT 81452 SOS 14798 HAS SOPS 14798 HAS SOUS 13482 HAS SOUPS 13482 WITH SCORE 13496.798
AT ITER 2252 NEW BEST:: SOT 81451 SOS 14796 HAS SOPS 14796 HAS SOUS 13480 HAS SOUPS 13480 WITH SCORE 13494.796
AT ITER 2262 NEW BEST:: SOT 81448 SOS 14908 HAS SOPS 14908 HAS SOUS 13474 HAS SOUPS 13474 WITH SCORE 13488.908
AT ITER 2276 NEW BEST:: SOT 81435 SOS 14882 HAS SOPS 14882 HAS SOUS 13448 HAS SOUPS 13448 WITH SCORE 13462.882
AT ITER 2294 NEW BEST:: SOT 81429 SOS 14870 HAS SOPS 14870 HAS SOUS 13442 HAS SOUPS 13442 WITH SCORE 13456.87
AT ITER 2330 NEW BEST:: SOT 81445 SOS 14855 HAS SOPS 14855 HAS SOUS 13427 HAS SOUPS 13427 WITH SCORE 13441.855
AT ITER 2333 NEW BEST:: SOT 81447 SOS 14779 HAS SOPS 14779 HAS SOUS 13368 HAS SOUPS 13368 WITH SCORE 13382.779
AT ITER 2334 NEW BEST:: SOT 81445 SOS 14772 HAS SOPS 14772 HAS SOUS 13361 HAS SOUPS 13361 WITH SCORE 13375.772
AT ITER 2348 NEW BEST:: SOT 81395 SOS 14722 HAS SOPS 14722 HAS SOUS 13311 HAS SOUPS 13311 WITH SCORE 13325.722
AT ITER 2375 NEW BEST:: SOT 81386 SOS 14721 HAS SOPS 14721 HAS SOUS 13310 HAS SOUPS 13310 WITH SCORE 13324.721
AT ITER 2399 NEW BEST:: SOT 81386 SOS 14709 HAS SOPS 14709 HAS SOUS 13298 HAS SOUPS 13298 WITH SCORE 13312.709
AT ITER 2422 NEW BEST:: SOT 81385 SOS 14709 HAS SOPS 14709 HAS SOUS 13296 HAS SOUPS 13296 WITH SCORE 13310.709
AT ITER 2455 NEW BEST:: SOT 81381 SOS 14701 HAS SOPS 14701 HAS SOUS 13288 HAS SOUPS 13288 WITH SCORE 13302.701
AT ITER 2490 NEW BEST:: SOT 81372 SOS 14616 HAS SOPS 14616 HAS SOUS 13236 HAS SOUPS 13236 WITH SCORE 13250.616
AT ITER 2491 NEW BEST:: SOT 81359 SOS 14591 HAS SOPS 14591 HAS SOUS 13211 HAS SOUPS 13211 WITH SCORE 13225.591
AT ITER 2509 NEW BEST:: SOT 81355 SOS 14585 HAS SOPS 14585 HAS SOUS 13207 HAS SOUPS 13207 WITH SCORE 13221.585
AT ITER 2521 NEW BEST:: SOT 81354 SOS 14584 HAS SOPS 14584 HAS SOUS 13206 HAS SOUPS 13206 WITH SCORE 13220.584
AT ITER 2534 NEW BEST:: SOT 81354 SOS 14537 HAS SOPS 14537 HAS SOUS 13159 HAS SOUPS 13159 WITH SCORE 13173.537
AT ITER 2540 NEW BEST:: SOT 81337 SOS 14457 HAS SOPS 14457 HAS SOUS 13125 HAS SOUPS 13125 WITH SCORE 13139.457
AT ITER 2555 NEW BEST:: SOT 81350 SOS 14483 HAS SOPS 14483 HAS SOUS 13117 HAS SOUPS 13117 WITH SCORE 13131.483
AT ITER 2559 NEW BEST:: SOT 81350 SOS 14481 HAS SOPS 14481 HAS SOUS 13115 HAS SOUPS 13115 WITH SCORE 13129.481
AT ITER 2577 NEW BEST:: SOT 81344 SOS 14479 HAS SOPS 14479 HAS SOUS 13114 HAS SOUPS 13114 WITH SCORE 13128.479
AT ITER 2608 NEW BEST:: SOT 81321 SOS 14450 HAS SOPS 14450 HAS SOUS 13085 HAS SOUPS 13085 WITH SCORE 13099.45
AT ITER 2616 NEW BEST:: SOT 81305 SOS 14440 HAS SOPS 14440 HAS SOUS 13075 HAS SOUPS 13075 WITH SCORE 13089.44
AT ITER 2720 NEW BEST:: SOT 81301 SOS 14432 HAS SOPS 14432 HAS SOUS 13067 HAS SOUPS 13067 WITH SCORE 13081.432
AT ITER 2728 NEW BEST:: SOT 81255 SOS 14335 HAS SOPS 14335 HAS SOUS 12993 HAS SOUPS 12993 WITH SCORE 13007.335
AT ITER 2733 NEW BEST:: SOT 81255 SOS 14317 HAS SOPS 14317 HAS SOUS 12975 HAS SOUPS 12975 WITH SCORE 12989.317
AT ITER 2743 NEW BEST:: SOT 81241 SOS 14316 HAS SOPS 14316 HAS SOUS 12974 HAS SOUPS 12974 WITH SCORE 12988.316
AT ITER 2826 NEW BEST:: SOT 81230 SOS 14294 HAS SOPS 14294 HAS SOUS 12952 HAS SOUPS 12952 WITH SCORE 12966.294
AT ITER 2842 NEW BEST:: SOT 81228 SOS 14290 HAS SOPS 14290 HAS SOUS 12948 HAS SOUPS 12948 WITH SCORE 12962.29
AT ITER 2954 NEW BEST:: SOT 81108 SOS 14132 HAS SOPS 14132 HAS SOUS 12790 HAS SOUPS 12790 WITH SCORE 12804.132
AT ITER 2990 NEW BEST:: SOT 81113 SOS 14072 HAS SOPS 14072 HAS SOUS 12790 HAS SOUPS 12790 WITH SCORE 12804.072
AT ITER 3021 NEW BEST:: SOT 81092 SOS 14016 HAS SOPS 14016 HAS SOUS 12716 HAS SOUPS 12716 WITH SCORE 12730.016
AT ITER 3033 NEW BEST:: SOT 81092 SOS 14013 HAS SOPS 14013 HAS SOUS 12716 HAS SOUPS 12716 WITH SCORE 12730.013
AT ITER 3034 NEW BEST:: SOT 81076 SOS 13991 HAS SOPS 13991 HAS SOUS 12694 HAS SOUPS 12694 WITH SCORE 12707.991
AT ITER 3071 NEW BEST:: SOT 81075 SOS 13989 HAS SOPS 13989 HAS SOUS 12692 HAS SOUPS 12692 WITH SCORE 12705.989
AT ITER 3073 NEW BEST:: SOT 81075 SOS 13972 HAS SOPS 13972 HAS SOUS 12675 HAS SOUPS 12675 WITH SCORE 12688.972
AT ITER 3087 NEW BEST:: SOT 81074 SOS 13969 HAS SOPS 13969 HAS SOUS 12673 HAS SOUPS 12673 WITH SCORE 12686.969
AT ITER 3099 NEW BEST:: SOT 81074 SOS 13968 HAS SOPS 13968 HAS SOUS 12672 HAS SOUPS 12672 WITH SCORE 12685.968
AT ITER 3105 NEW BEST:: SOT 81076 SOS 13972 HAS SOPS 13972 HAS SOUS 12642 HAS SOUPS 12642 WITH SCORE 12655.972
AT ITER 3120 NEW BEST:: SOT 81092 SOS 13977 HAS SOPS 13977 HAS SOUS 12635 HAS SOUPS 12635 WITH SCORE 12648.977
AT ITER 3137 NEW BEST:: SOT 81092 SOS 13975 HAS SOPS 13975 HAS SOUS 12633 HAS SOUPS 12633 WITH SCORE 12646.975
AT ITER 3154 NEW BEST:: SOT 81086 SOS 13969 HAS SOPS 13969 HAS SOUS 12631 HAS SOUPS 12631 WITH SCORE 12644.969
AT ITER 3193 NEW BEST:: SOT 81086 SOS 13963 HAS SOPS 13963 HAS SOUS 12625 HAS SOUPS 12625 WITH SCORE 12638.963
AT ITER 3236 NEW BEST:: SOT 81098 SOS 13987 HAS SOPS 13987 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12622.987
AT ITER 3245 NEW BEST:: SOT 81053 SOS 13961 HAS SOPS 13961 HAS SOUS 12524 HAS SOUPS 12524 WITH SCORE 12537.961
AT ITER 3252 NEW BEST:: SOT 81053 SOS 13954 HAS SOPS 13954 HAS SOUS 12517 HAS SOUPS 12517 WITH SCORE 12530.954
AT ITER 3301 NEW BEST:: SOT 81053 SOS 13949 HAS SOPS 13949 HAS SOUS 12512 HAS SOUPS 12512 WITH SCORE 12525.949
AT ITER 3313 NEW BEST:: SOT 81079 SOS 13948 HAS SOPS 13948 HAS SOUS 12511 HAS SOUPS 12511 WITH SCORE 12524.948
AT ITER 3316 NEW BEST:: SOT 81069 SOS 13951 HAS SOPS 13951 HAS SOUS 12503 HAS SOUPS 12503 WITH SCORE 12516.951
AT ITER 3321 NEW BEST:: SOT 81068 SOS 13950 HAS SOPS 13950 HAS SOUS 12501 HAS SOUPS 12501 WITH SCORE 12514.95
AT ITER 3347 NEW BEST:: SOT 81065 SOS 13944 HAS SOPS 13944 HAS SOUS 12495 HAS SOUPS 12495 WITH SCORE 12508.944
AT ITER 3350 NEW BEST:: SOT 81049 SOS 13940 HAS SOPS 13940 HAS SOUS 12493 HAS SOUPS 12493 WITH SCORE 12506.94
AT ITER 3359 NEW BEST:: SOT 81062 SOS 13932 HAS SOPS 13932 HAS SOUS 12485 HAS SOUPS 12485 WITH SCORE 12498.932
AT ITER 3369 NEW BEST:: SOT 81048 SOS 13967 HAS SOPS 13967 HAS SOUS 12472 HAS SOUPS 12472 WITH SCORE 12485.967
AT ITER 3370 NEW BEST:: SOT 81048 SOS 13958 HAS SOPS 13958 HAS SOUS 12472 HAS SOUPS 12472 WITH SCORE 12485.958
AT ITER 3422 NEW BEST:: SOT 81015 SOS 13948 HAS SOPS 13948 HAS SOUS 12462 HAS SOUPS 12462 WITH SCORE 12475.948
AT ITER 3532 NEW BEST:: SOT 81009 SOS 13954 HAS SOPS 13954 HAS SOUS 12456 HAS SOUPS 12456 WITH SCORE 12469.954
AT ITER 3555 NEW BEST:: SOT 81005 SOS 13946 HAS SOPS 13946 HAS SOUS 12448 HAS SOUPS 12448 WITH SCORE 12461.946
AT ITER 3629 NEW BEST:: SOT 80986 SOS 13942 HAS SOPS 13942 HAS SOUS 12444 HAS SOUPS 12444 WITH SCORE 12457.942
AT ITER 3630 NEW BEST:: SOT 80963 SOS 13891 HAS SOPS 13891 HAS SOUS 12393 HAS SOUPS 12393 WITH SCORE 12406.891
AT ITER 3638 NEW BEST:: SOT 80951 SOS 13884 HAS SOPS 13884 HAS SOUS 12386 HAS SOUPS 12386 WITH SCORE 12399.884
AT ITER 3652 NEW BEST:: SOT 80951 SOS 13877 HAS SOPS 13877 HAS SOUS 12379 HAS SOUPS 12379 WITH SCORE 12392.877
AT ITER 3707 NEW BEST:: SOT 80935 SOS 13859 HAS SOPS 13859 HAS SOUS 12361 HAS SOUPS 12361 WITH SCORE 12374.859
AT ITER 3712 NEW BEST:: SOT 80922 SOS 13849 HAS SOPS 13849 HAS SOUS 12351 HAS SOUPS 12351 WITH SCORE 12364.849
AT ITER 3735 NEW BEST:: SOT 80909 SOS 13823 HAS SOPS 13823 HAS SOUS 12343 HAS SOUPS 12343 WITH SCORE 12356.823
AT ITER 3743 NEW BEST:: SOT 80909 SOS 13814 HAS SOPS 13814 HAS SOUS 12334 HAS SOUPS 12334 WITH SCORE 12347.814
AT ITER 3763 NEW BEST:: SOT 80909 SOS 13800 HAS SOPS 13800 HAS SOUS 12328 HAS SOUPS 12328 WITH SCORE 12341.8
AT ITER 3764 NEW BEST:: SOT 80909 SOS 13796 HAS SOPS 13796 HAS SOUS 12324 HAS SOUPS 12324 WITH SCORE 12337.796
AT ITER 3775 NEW BEST:: SOT 80907 SOS 13792 HAS SOPS 13792 HAS SOUS 12320 HAS SOUPS 12320 WITH SCORE 12333.792
AT ITER 3956 NEW BEST:: SOT 80907 SOS 13785 HAS SOPS 13785 HAS SOUS 12313 HAS SOUPS 12313 WITH SCORE 12326.785
AT ITER 4026 NEW BEST:: SOT 80907 SOS 13775 HAS SOPS 13775 HAS SOUS 12303 HAS SOUPS 12303 WITH SCORE 12316.775
AT ITER 4040 NEW BEST:: SOT 80895 SOS 13739 HAS SOPS 13739 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12280.739
AT ITER 4054 NEW BEST:: SOT 80870 SOS 13689 HAS SOPS 13689 HAS SOUS 12240 HAS SOUPS 12240 WITH SCORE 12253.689
AT ITER 4099 NEW BEST:: SOT 80870 SOS 13682 HAS SOPS 13682 HAS SOUS 12233 HAS SOUPS 12233 WITH SCORE 12246.682
AT ITER 4113 NEW BEST:: SOT 80868 SOS 13593 HAS SOPS 13593 HAS SOUS 12158 HAS SOUPS 12158 WITH SCORE 12171.593
AT ITER 4118 NEW BEST:: SOT 80860 SOS 13590 HAS SOPS 13590 HAS SOUS 12155 HAS SOUPS 12155 WITH SCORE 12168.59
AT ITER 4166 NEW BEST:: SOT 80871 SOS 13588 HAS SOPS 13588 HAS SOUS 12153 HAS SOUPS 12153 WITH SCORE 12166.588
AT ITER 4266 NEW BEST:: SOT 80867 SOS 13651 HAS SOPS 13651 HAS SOUS 12149 HAS SOUPS 12149 WITH SCORE 12162.651
AT ITER 4284 NEW BEST:: SOT 80884 SOS 13670 HAS SOPS 13670 HAS SOUS 12144 HAS SOUPS 12144 WITH SCORE 12157.67
AT ITER 4295 NEW BEST:: SOT 80890 SOS 13666 HAS SOPS 13666 HAS SOUS 12140 HAS SOUPS 12140 WITH SCORE 12153.666
AT ITER 4348 NEW BEST:: SOT 80890 SOS 13648 HAS SOPS 13648 HAS SOUS 12136 HAS SOUPS 12136 WITH SCORE 12149.648
AT ITER 4359 NEW BEST:: SOT 80890 SOS 13645 HAS SOPS 13645 HAS SOUS 12136 HAS SOUPS 12136 WITH SCORE 12149.645
AT ITER 4404 NEW BEST:: SOT 80883 SOS 13631 HAS SOPS 13631 HAS SOUS 12128 HAS SOUPS 12128 WITH SCORE 12141.631
AT ITER 4406 NEW BEST:: SOT 80881 SOS 13628 HAS SOPS 13628 HAS SOUS 12125 HAS SOUPS 12125 WITH SCORE 12138.628
AT ITER 4418 NEW BEST:: SOT 80881 SOS 13621 HAS SOPS 13621 HAS SOUS 12118 HAS SOUPS 12118 WITH SCORE 12131.621
AT ITER 4443 NEW BEST:: SOT 80874 SOS 13609 HAS SOPS 13609 HAS SOUS 12106 HAS SOUPS 12106 WITH SCORE 12119.609
AT ITER 4502 NEW BEST:: SOT 80870 SOS 13601 HAS SOPS 13601 HAS SOUS 12098 HAS SOUPS 12098 WITH SCORE 12111.601
AT ITER 4509 NEW BEST:: SOT 80870 SOS 13601 HAS SOPS 13601 HAS SOUS 12090 HAS SOUPS 12090 WITH SCORE 12103.601
AT ITER 4512 NEW BEST:: SOT 80867 SOS 13595 HAS SOPS 13595 HAS SOUS 12084 HAS SOUPS 12084 WITH SCORE 12097.595
AT ITER 4559 NEW BEST:: SOT 80867 SOS 13593 HAS SOPS 13593 HAS SOUS 12082 HAS SOUPS 12082 WITH SCORE 12095.593
AT ITER 4593 NEW BEST:: SOT 80867 SOS 13593 HAS SOPS 13593 HAS SOUS 12067 HAS SOUPS 12067 WITH SCORE 12080.593
AT ITER 4613 NEW BEST:: SOT 80867 SOS 13571 HAS SOPS 13571 HAS SOUS 12055 HAS SOUPS 12055 WITH SCORE 12068.571
AT ITER 4631 NEW BEST:: SOT 80885 SOS 13545 HAS SOPS 13545 HAS SOUS 12038 HAS SOUPS 12038 WITH SCORE 12051.545
AT ITER 4637 NEW BEST:: SOT 80883 SOS 13541 HAS SOPS 13541 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12047.541
AT ITER 4670 NEW BEST:: SOT 80883 SOS 13529 HAS SOPS 13529 HAS SOUS 12022 HAS SOUPS 12022 WITH SCORE 12035.529
AT ITER 4718 NEW BEST:: SOT 80893 SOS 13542 HAS SOPS 13542 HAS SOUS 12018 HAS SOUPS 12018 WITH SCORE 12031.542
AT ITER 4749 NEW BEST:: SOT 80874 SOS 13504 HAS SOPS 13504 HAS SOUS 12009 HAS SOUPS 12009 WITH SCORE 12022.504
AT ITER 4764 NEW BEST:: SOT 80864 SOS 13485 HAS SOPS 13485 HAS SOUS 11990 HAS SOUPS 11990 WITH SCORE 12003.485
AT ITER 4772 NEW BEST:: SOT 80864 SOS 13480 HAS SOPS 13480 HAS SOUS 11985 HAS SOUPS 11985 WITH SCORE 11998.48
AT ITER 4796 NEW BEST:: SOT 80866 SOS 13476 HAS SOPS 13476 HAS SOUS 11983 HAS SOUPS 11983 WITH SCORE 11996.476
AT ITER 4833 NEW BEST:: SOT 80828 SOS 13400 HAS SOPS 13400 HAS SOUS 11954 HAS SOUPS 11954 WITH SCORE 11967.4
AT ITER 4852 NEW BEST:: SOT 80828 SOS 13393 HAS SOPS 13393 HAS SOUS 11947 HAS SOUPS 11947 WITH SCORE 11960.393
AT ITER 4914 NEW BEST:: SOT 80828 SOS 13389 HAS SOPS 13389 HAS SOUS 11939 HAS SOUPS 11939 WITH SCORE 11952.389
AT ITER 4919 NEW BEST:: SOT 80825 SOS 13386 HAS SOPS 13386 HAS SOUS 11936 HAS SOUPS 11936 WITH SCORE 11949.386
AT ITER 4936 NEW BEST:: SOT 80820 SOS 13381 HAS SOPS 13381 HAS SOUS 11931 HAS SOUPS 11931 WITH SCORE 11944.381
AT ITER 4982 NEW BEST:: SOT 80819 SOS 13379 HAS SOPS 13379 HAS SOUS 11929 HAS SOUPS 11929 WITH SCORE 11942.379
AT ITER 4989 NEW BEST:: SOT 80797 SOS 13335 HAS SOPS 13335 HAS SOUS 11885 HAS SOUPS 11885 WITH SCORE 11898.335
AT ITER 5021 NEW BEST:: SOT 80770 SOS 13281 HAS SOPS 13281 HAS SOUS 11831 HAS SOUPS 11831 WITH SCORE 11844.281
AT ITER 5061 NEW BEST:: SOT 80770 SOS 13271 HAS SOPS 13271 HAS SOUS 11821 HAS SOUPS 11821 WITH SCORE 11834.271
AT ITER 5103 NEW BEST:: SOT 80764 SOS 13265 HAS SOPS 13265 HAS SOUS 11821 HAS SOUPS 11821 WITH SCORE 11834.265
AT ITER 5123 NEW BEST:: SOT 80762 SOS 13263 HAS SOPS 13263 HAS SOUS 11819 HAS SOUPS 11819 WITH SCORE 11832.263
AT ITER 5140 NEW BEST:: SOT 80761 SOS 13261 HAS SOPS 13261 HAS SOUS 11817 HAS SOUPS 11817 WITH SCORE 11830.261
AT ITER 5249 NEW BEST:: SOT 80758 SOS 13241 HAS SOPS 13241 HAS SOUS 11790 HAS SOUPS 11790 WITH SCORE 11803.241
AT ITER 5279 NEW BEST:: SOT 80756 SOS 13239 HAS SOPS 13239 HAS SOUS 11788 HAS SOUPS 11788 WITH SCORE 11801.239
AT ITER 5345 NEW BEST:: SOT 80757 SOS 13226 HAS SOPS 13226 HAS SOUS 11775 HAS SOUPS 11775 WITH SCORE 11788.226
AT ITER 5385 NEW BEST:: SOT 80762 SOS 13230 HAS SOPS 13230 HAS SOUS 11773 HAS SOUPS 11773 WITH SCORE 11786.23
AT ITER 5395 NEW BEST:: SOT 80777 SOS 13332 HAS SOPS 13332 HAS SOUS 11770 HAS SOUPS 11770 WITH SCORE 11783.332
AT ITER 5430 NEW BEST:: SOT 80783 SOS 13319 HAS SOPS 13319 HAS SOUS 11757 HAS SOUPS 11757 WITH SCORE 11770.319
AT ITER 5441 NEW BEST:: SOT 80782 SOS 13317 HAS SOPS 13317 HAS SOUS 11756 HAS SOUPS 11756 WITH SCORE 11769.317
AT ITER 5462 NEW BEST:: SOT 80788 SOS 13305 HAS SOPS 13305 HAS SOUS 11744 HAS SOUPS 11744 WITH SCORE 11757.305
AT ITER 5465 NEW BEST:: SOT 80788 SOS 13305 HAS SOPS 13305 HAS SOUS 11742 HAS SOUPS 11742 WITH SCORE 11755.305
AT ITER 5488 NEW BEST:: SOT 80788 SOS 13295 HAS SOPS 13295 HAS SOUS 11722 HAS SOUPS 11722 WITH SCORE 11735.295
AT ITER 5549 NEW BEST:: SOT 80784 SOS 13283 HAS SOPS 13283 HAS SOUS 11714 HAS SOUPS 11714 WITH SCORE 11727.283
AT ITER 5584 NEW BEST:: SOT 80790 SOS 13268 HAS SOPS 13268 HAS SOUS 11694 HAS SOUPS 11694 WITH SCORE 11707.268
AT ITER 5602 NEW BEST:: SOT 80790 SOS 13265 HAS SOPS 13265 HAS SOUS 11691 HAS SOUPS 11691 WITH SCORE 11704.265
AT ITER 5631 NEW BEST:: SOT 80790 SOS 13262 HAS SOPS 13262 HAS SOUS 11688 HAS SOUPS 11688 WITH SCORE 11701.262
AT ITER 5655 NEW BEST:: SOT 80785 SOS 13267 HAS SOPS 13267 HAS SOUS 11683 HAS SOUPS 11683 WITH SCORE 11696.267
AT ITER 5674 NEW BEST:: SOT 80778 SOS 13242 HAS SOPS 13242 HAS SOUS 11658 HAS SOUPS 11658 WITH SCORE 11671.242
AT ITER 5705 NEW BEST:: SOT 80778 SOS 13218 HAS SOPS 13218 HAS SOUS 11658 HAS SOUPS 11658 WITH SCORE 11671.218
AT ITER 5725 NEW BEST:: SOT 80776 SOS 13214 HAS SOPS 13214 HAS SOUS 11654 HAS SOUPS 11654 WITH SCORE 11667.214
AT ITER 5815 NEW BEST:: SOT 80772 SOS 13210 HAS SOPS 13210 HAS SOUS 11648 HAS SOUPS 11648 WITH SCORE 11661.21
AT ITER 5942 NEW BEST:: SOT 80769 SOS 13204 HAS SOPS 13204 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11655.204
AT ITER 6032 NEW BEST:: SOT 80730 SOS 13294 HAS SOPS 13294 HAS SOUS 11640 HAS SOUPS 11640 WITH SCORE 11653.294
AT ITER 6042 NEW BEST:: SOT 80724 SOS 13278 HAS SOPS 13278 HAS SOUS 11632 HAS SOUPS 11632 WITH SCORE 11645.278
AT ITER 6083 NEW BEST:: SOT 80724 SOS 13278 HAS SOPS 13278 HAS SOUS 11628 HAS SOUPS 11628 WITH SCORE 11641.278
AT ITER 6248 NEW BEST:: SOT 80724 SOS 13268 HAS SOPS 13268 HAS SOUS 11618 HAS SOUPS 11618 WITH SCORE 11631.268
AT ITER 6401 NEW BEST:: SOT 80724 SOS 13226 HAS SOPS 13226 HAS SOUS 11580 HAS SOUPS 11580 WITH SCORE 11593.226
AT ITER 6407 NEW BEST:: SOT 80731 SOS 13232 HAS SOPS 13232 HAS SOUS 11578 HAS SOUPS 11578 WITH SCORE 11591.232
AT ITER 6418 NEW BEST:: SOT 80731 SOS 13225 HAS SOPS 13225 HAS SOUS 11571 HAS SOUPS 11571 WITH SCORE 11584.225
AT ITER 6428 NEW BEST:: SOT 80732 SOS 13215 HAS SOPS 13215 HAS SOUS 11561 HAS SOUPS 11561 WITH SCORE 11574.215
AT ITER 6440 NEW BEST:: SOT 80732 SOS 13209 HAS SOPS 13209 HAS SOUS 11559 HAS SOUPS 11559 WITH SCORE 11572.209
AT ITER 6447 NEW BEST:: SOT 80720 SOS 13189 HAS SOPS 13189 HAS SOUS 11539 HAS SOUPS 11539 WITH SCORE 11552.189
AT ITER 6500 NEW BEST:: SOT 80699 SOS 13163 HAS SOPS 13163 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11526.163
AT ITER 6514 NEW BEST:: SOT 80697 SOS 13151 HAS SOPS 13151 HAS SOUS 11509 HAS SOUPS 11509 WITH SCORE 11522.151
AT ITER 6574 NEW BEST:: SOT 80708 SOS 13130 HAS SOPS 13130 HAS SOUS 11488 HAS SOUPS 11488 WITH SCORE 11501.13
AT ITER 6622 NEW BEST:: SOT 80708 SOS 13113 HAS SOPS 13113 HAS SOUS 11471 HAS SOUPS 11471 WITH SCORE 11484.113
AT ITER 6633 NEW BEST:: SOT 80697 SOS 13061 HAS SOPS 13061 HAS SOUS 11460 HAS SOUPS 11460 WITH SCORE 11473.061
AT ITER 6642 NEW BEST:: SOT 80691 SOS 13055 HAS SOPS 13055 HAS SOUS 11454 HAS SOUPS 11454 WITH SCORE 11467.055
AT ITER 6662 NEW BEST:: SOT 80694 SOS 13053 HAS SOPS 13053 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11457.053
AT ITER 6694 NEW BEST:: SOT 80673 SOS 13032 HAS SOPS 13032 HAS SOUS 11423 HAS SOUPS 11423 WITH SCORE 11436.032
AT ITER 6735 NEW BEST:: SOT 80673 SOS 13031 HAS SOPS 13031 HAS SOUS 11422 HAS SOUPS 11422 WITH SCORE 11435.031
AT ITER 6738 NEW BEST:: SOT 80652 SOS 13013 HAS SOPS 13013 HAS SOUS 11404 HAS SOUPS 11404 WITH SCORE 11417.013
AT ITER 6796 NEW BEST:: SOT 80652 SOS 13012 HAS SOPS 13012 HAS SOUS 11404 HAS SOUPS 11404 WITH SCORE 11417.012
AT ITER 6824 NEW BEST:: SOT 80625 SOS 12942 HAS SOPS 12942 HAS SOUS 11394 HAS SOUPS 11394 WITH SCORE 11406.942
AT ITER 6855 NEW BEST:: SOT 80609 SOS 12918 HAS SOPS 12918 HAS SOUS 11378 HAS SOUPS 11378 WITH SCORE 11390.918
AT ITER 6864 NEW BEST:: SOT 80591 SOS 12864 HAS SOPS 12864 HAS SOUS 11342 HAS SOUPS 11342 WITH SCORE 11354.864
AT ITER 6995 NEW BEST:: SOT 80587 SOS 12858 HAS SOPS 12858 HAS SOUS 11336 HAS SOUPS 11336 WITH SCORE 11348.858
AT ITER 7003 NEW BEST:: SOT 80585 SOS 12840 HAS SOPS 12840 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11346.84
AT ITER 7011 NEW BEST:: SOT 80584 SOS 12838 HAS SOPS 12838 HAS SOUS 11332 HAS SOUPS 11332 WITH SCORE 11344.838
AT ITER 7035 NEW BEST:: SOT 80584 SOS 12838 HAS SOPS 12838 HAS SOUS 11330 HAS SOUPS 11330 WITH SCORE 11342.838
AT ITER 7053 NEW BEST:: SOT 80569 SOS 12823 HAS SOPS 12823 HAS SOUS 11315 HAS SOUPS 11315 WITH SCORE 11327.823
AT ITER 7084 NEW BEST:: SOT 80597 SOS 12841 HAS SOPS 12841 HAS SOUS 11284 HAS SOUPS 11284 WITH SCORE 11296.841
AT ITER 7089 NEW BEST:: SOT 80599 SOS 12813 HAS SOPS 12813 HAS SOUS 11284 HAS SOUPS 11284 WITH SCORE 11296.813
AT ITER 7146 NEW BEST:: SOT 80599 SOS 12813 HAS SOPS 12813 HAS SOUS 11280 HAS SOUPS 11280 WITH SCORE 11292.813
AT ITER 7147 NEW BEST:: SOT 80596 SOS 12807 HAS SOPS 12807 HAS SOUS 11274 HAS SOUPS 11274 WITH SCORE 11286.807
AT ITER 7194 NEW BEST:: SOT 80587 SOS 12804 HAS SOPS 12804 HAS SOUS 11271 HAS SOUPS 11271 WITH SCORE 11283.804
AT ITER 7224 NEW BEST:: SOT 80570 SOS 12770 HAS SOPS 12770 HAS SOUS 11237 HAS SOUPS 11237 WITH SCORE 11249.77
AT ITER 7226 NEW BEST:: SOT 80567 SOS 12758 HAS SOPS 12758 HAS SOUS 11231 HAS SOUPS 11231 WITH SCORE 11243.758
AT ITER 7238 NEW BEST:: SOT 80571 SOS 12755 HAS SOPS 12755 HAS SOUS 11228 HAS SOUPS 11228 WITH SCORE 11240.755
AT ITER 7307 NEW BEST:: SOT 80548 SOS 12732 HAS SOPS 12732 HAS SOUS 11205 HAS SOUPS 11205 WITH SCORE 11217.732
AT ITER 7371 NEW BEST:: SOT 80542 SOS 12726 HAS SOPS 12726 HAS SOUS 11199 HAS SOUPS 11199 WITH SCORE 11211.726
AT ITER 7411 NEW BEST:: SOT 80539 SOS 12720 HAS SOPS 12720 HAS SOUS 11196 HAS SOUPS 11196 WITH SCORE 11208.72
AT ITER 7486 NEW BEST:: SOT 80537 SOS 12716 HAS SOPS 12716 HAS SOUS 11192 HAS SOUPS 11192 WITH SCORE 11204.716
AT ITER 7530 NEW BEST:: SOT 80535 SOS 12714 HAS SOPS 12714 HAS SOUS 11190 HAS SOUPS 11190 WITH SCORE 11202.714
AT ITER 7538 NEW BEST:: SOT 80530 SOS 12704 HAS SOPS 12704 HAS SOUS 11174 HAS SOUPS 11174 WITH SCORE 11186.704
AT ITER 7554 NEW BEST:: SOT 80525 SOS 12697 HAS SOPS 12697 HAS SOUS 11167 HAS SOUPS 11167 WITH SCORE 11179.697
AT ITER 7576 NEW BEST:: SOT 80514 SOS 12675 HAS SOPS 12675 HAS SOUS 11145 HAS SOUPS 11145 WITH SCORE 11157.675
AT ITER 7607 NEW BEST:: SOT 80514 SOS 12673 HAS SOPS 12673 HAS SOUS 11143 HAS SOUPS 11143 WITH SCORE 11155.673
AT ITER 7613 NEW BEST:: SOT 80514 SOS 12673 HAS SOPS 12673 HAS SOUS 11132 HAS SOUPS 11132 WITH SCORE 11144.673
AT ITER 7615 NEW BEST:: SOT 80464 SOS 12659 HAS SOPS 12659 HAS SOUS 11082 HAS SOUPS 11082 WITH SCORE 11094.659
AT ITER 7637 NEW BEST:: SOT 80448 SOS 12675 HAS SOPS 12675 HAS SOUS 11059 HAS SOUPS 11059 WITH SCORE 11071.675
AT ITER 7649 NEW BEST:: SOT 80448 SOS 12674 HAS SOPS 12674 HAS SOUS 11058 HAS SOUPS 11058 WITH SCORE 11070.674
AT ITER 7655 NEW BEST:: SOT 80448 SOS 12671 HAS SOPS 12671 HAS SOUS 11055 HAS SOUPS 11055 WITH SCORE 11067.671
AT ITER 7657 NEW BEST:: SOT 80448 SOS 12618 HAS SOPS 12618 HAS SOUS 11055 HAS SOUPS 11055 WITH SCORE 11067.618
AT ITER 7673 NEW BEST:: SOT 80448 SOS 12600 HAS SOPS 12600 HAS SOUS 11055 HAS SOUPS 11055 WITH SCORE 11067.6
AT ITER 7693 NEW BEST:: SOT 80406 SOS 12590 HAS SOPS 12590 HAS SOUS 11045 HAS SOUPS 11045 WITH SCORE 11057.59
AT ITER 7753 NEW BEST:: SOT 80403 SOS 12584 HAS SOPS 12584 HAS SOUS 11039 HAS SOUPS 11039 WITH SCORE 11051.584
AT ITER 7786 NEW BEST:: SOT 80396 SOS 12575 HAS SOPS 12575 HAS SOUS 11030 HAS SOUPS 11030 WITH SCORE 11042.575
AT ITER 7793 NEW BEST:: SOT 80384 SOS 12562 HAS SOPS 12562 HAS SOUS 11023 HAS SOUPS 11023 WITH SCORE 11035.562
AT ITER 7804 NEW BEST:: SOT 80380 SOS 12554 HAS SOPS 12554 HAS SOUS 11015 HAS SOUPS 11015 WITH SCORE 11027.554
AT ITER 7813 NEW BEST:: SOT 80374 SOS 12553 HAS SOPS 12553 HAS SOUS 11014 HAS SOUPS 11014 WITH SCORE 11026.553
AT ITER 7817 NEW BEST:: SOT 80363 SOS 12570 HAS SOPS 12570 HAS SOUS 11003 HAS SOUPS 11003 WITH SCORE 11015.57
AT ITER 7824 NEW BEST:: SOT 80360 SOS 12565 HAS SOPS 12565 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11010.565
AT ITER 7900 NEW BEST:: SOT 80332 SOS 12538 HAS SOPS 12538 HAS SOUS 10988 HAS SOUPS 10988 WITH SCORE 11000.538
AT ITER 7908 NEW BEST:: SOT 80331 SOS 12530 HAS SOPS 12530 HAS SOUS 10980 HAS SOUPS 10980 WITH SCORE 10992.53
AT ITER 7970 NEW BEST:: SOT 80332 SOS 12531 HAS SOPS 12531 HAS SOUS 10952 HAS SOUPS 10952 WITH SCORE 10964.531
AT ITER 7980 NEW BEST:: SOT 80332 SOS 12524 HAS SOPS 12524 HAS SOUS 10945 HAS SOUPS 10945 WITH SCORE 10957.524
AT ITER 8084 NEW BEST:: SOT 80332 SOS 12518 HAS SOPS 12518 HAS SOUS 10939 HAS SOUPS 10939 WITH SCORE 10951.518
AT ITER 8118 NEW BEST:: SOT 80336 SOS 12516 HAS SOPS 12516 HAS SOUS 10937 HAS SOUPS 10937 WITH SCORE 10949.516
AT ITER 8155 NEW BEST:: SOT 80331 SOS 12559 HAS SOPS 12559 HAS SOUS 10930 HAS SOUPS 10930 WITH SCORE 10942.559
AT ITER 8158 NEW BEST:: SOT 80338 SOS 12558 HAS SOPS 12558 HAS SOUS 10929 HAS SOUPS 10929 WITH SCORE 10941.558
AT ITER 8194 NEW BEST:: SOT 80336 SOS 12556 HAS SOPS 12556 HAS SOUS 10927 HAS SOUPS 10927 WITH SCORE 10939.556
AT ITER 8318 NEW BEST:: SOT 80336 SOS 12555 HAS SOPS 12555 HAS SOUS 10926 HAS SOUPS 10926 WITH SCORE 10938.555
AT ITER 8342 NEW BEST:: SOT 80324 SOS 12552 HAS SOPS 12552 HAS SOUS 10923 HAS SOUPS 10923 WITH SCORE 10935.552
AT ITER 8369 NEW BEST:: SOT 80323 SOS 12550 HAS SOPS 12550 HAS SOUS 10921 HAS SOUPS 10921 WITH SCORE 10933.55
AT ITER 8409 NEW BEST:: SOT 80318 SOS 12549 HAS SOPS 12549 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10932.549
AT ITER 8413 NEW BEST:: SOT 80317 SOS 12526 HAS SOPS 12526 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10909.526
AT ITER 8420 NEW BEST:: SOT 80312 SOS 12511 HAS SOPS 12511 HAS SOUS 10887 HAS SOUPS 10887 WITH SCORE 10899.511
AT ITER 8477 NEW BEST:: SOT 80309 SOS 12505 HAS SOPS 12505 HAS SOUS 10884 HAS SOUPS 10884 WITH SCORE 10896.505
AT ITER 8517 NEW BEST:: SOT 80329 SOS 12484 HAS SOPS 12484 HAS SOUS 10863 HAS SOUPS 10863 WITH SCORE 10875.484
AT ITER 8597 NEW BEST:: SOT 80328 SOS 12483 HAS SOPS 12483 HAS SOUS 10863 HAS SOUPS 10863 WITH SCORE 10875.483
AT ITER 8729 NEW BEST:: SOT 80327 SOS 12487 HAS SOPS 12487 HAS SOUS 10860 HAS SOUPS 10860 WITH SCORE 10872.487
AT ITER 8732 NEW BEST:: SOT 80328 SOS 12485 HAS SOPS 12485 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10870.485
AT ITER 8751 NEW BEST:: SOT 80328 SOS 12483 HAS SOPS 12483 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10870.483
AT ITER 8812 NEW BEST:: SOT 80308 SOS 12367 HAS SOPS 12367 HAS SOUS 10856 HAS SOUPS 10856 WITH SCORE 10868.367
AT ITER 8847 NEW BEST:: SOT 80308 SOS 12336 HAS SOPS 12336 HAS SOUS 10825 HAS SOUPS 10825 WITH SCORE 10837.336
AT ITER 8856 NEW BEST:: SOT 80283 SOS 12320 HAS SOPS 12320 HAS SOUS 10809 HAS SOUPS 10809 WITH SCORE 10821.32
AT ITER 8865 NEW BEST:: SOT 80283 SOS 12297 HAS SOPS 12297 HAS SOUS 10807 HAS SOUPS 10807 WITH SCORE 10819.297
AT ITER 8893 NEW BEST:: SOT 80278 SOS 12274 HAS SOPS 12274 HAS SOUS 10796 HAS SOUPS 10796 WITH SCORE 10808.274
AT ITER 8903 NEW BEST:: SOT 80296 SOS 12265 HAS SOPS 12265 HAS SOUS 10783 HAS SOUPS 10783 WITH SCORE 10795.265
AT ITER 8922 NEW BEST:: SOT 80291 SOS 12255 HAS SOPS 12255 HAS SOUS 10783 HAS SOUPS 10783 WITH SCORE 10795.255
AT ITER 8925 NEW BEST:: SOT 80290 SOS 12252 HAS SOPS 12252 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10794.252
AT ITER 8941 NEW BEST:: SOT 80288 SOS 12250 HAS SOPS 12250 HAS SOUS 10780 HAS SOUPS 10780 WITH SCORE 10792.25
AT ITER 8958 NEW BEST:: SOT 80290 SOS 12242 HAS SOPS 12242 HAS SOUS 10772 HAS SOUPS 10772 WITH SCORE 10784.242
AT ITER 9013 NEW BEST:: SOT 80287 SOS 12239 HAS SOPS 12239 HAS SOUS 10771 HAS SOUPS 10771 WITH SCORE 10783.239
AT ITER 9106 NEW BEST:: SOT 80285 SOS 12235 HAS SOPS 12235 HAS SOUS 10769 HAS SOUPS 10769 WITH SCORE 10781.235
AT ITER 9125 NEW BEST:: SOT 80277 SOS 12223 HAS SOPS 12223 HAS SOUS 10757 HAS SOUPS 10757 WITH SCORE 10769.223
AT ITER 9168 NEW BEST:: SOT 80277 SOS 12222 HAS SOPS 12222 HAS SOUS 10756 HAS SOUPS 10756 WITH SCORE 10768.222
AT ITER 9178 NEW BEST:: SOT 80282 SOS 12221 HAS SOPS 12221 HAS SOUS 10755 HAS SOUPS 10755 WITH SCORE 10767.221
AT ITER 9363 NEW BEST:: SOT 80278 SOS 12213 HAS SOPS 12213 HAS SOUS 10747 HAS SOUPS 10747 WITH SCORE 10759.213
AT ITER 9409 NEW BEST:: SOT 80276 SOS 12231 HAS SOPS 12231 HAS SOUS 10743 HAS SOUPS 10743 WITH SCORE 10755.231
AT ITER 9412 NEW BEST:: SOT 80271 SOS 12149 HAS SOPS 12149 HAS SOUS 10733 HAS SOUPS 10733 WITH SCORE 10745.149
AT ITER 9532 NEW BEST:: SOT 80268 SOS 12146 HAS SOPS 12146 HAS SOUS 10730 HAS SOUPS 10730 WITH SCORE 10742.146
AT ITER 9705 NEW BEST:: SOT 80267 SOS 12144 HAS SOPS 12144 HAS SOUS 10711 HAS SOUPS 10711 WITH SCORE 10723.144
AT ITER 9718 NEW BEST:: SOT 80267 SOS 12144 HAS SOPS 12144 HAS SOUS 10705 HAS SOUPS 10705 WITH SCORE 10717.144
AT ITER 9733 NEW BEST:: SOT 80264 SOS 12133 HAS SOPS 12133 HAS SOUS 10697 HAS SOUPS 10697 WITH SCORE 10709.133
AT ITER 9846 NEW BEST:: SOT 80275 SOS 12121 HAS SOPS 12121 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10697.121
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 2049120 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16120480 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-04b"
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-04b, 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-167813600200432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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