fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r107-tall-167814484400576
Last Updated
May 14, 2023

About the Execution of Smart+red for DLCflexbar-PT-6a

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16204.367 3600000.00 3658132.00 14062.10 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484400576.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DLCflexbar-PT-6a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484400576
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.6M
-rw-r--r-- 1 mcc users 6.2K Feb 25 17:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 25 17:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 16:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.8K Feb 25 20:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 20:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Feb 25 18:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 18:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 4.2M 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 1678391912356

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=DLCflexbar-PT-6a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 19:58:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 19:58:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 19:58:34] [INFO ] Load time of PNML (sax parser for PT used): 398 ms
[2023-03-09 19:58:34] [INFO ] Transformed 2069 places.
[2023-03-09 19:58:34] [INFO ] Transformed 16077 transitions.
[2023-03-09 19:58:34] [INFO ] Found NUPN structural information;
[2023-03-09 19:58:34] [INFO ] Parsed PT model containing 2069 places and 16077 transitions and 63325 arcs in 709 ms.
[2023-03-09 19:58:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2069 places, 16077 transitions and 63325 arcs took 90 ms.
Total runtime 825 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 6a
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: 2069 places, 16077 transitions, 63325 arcs.
AT ITER 0 NEW BEST:: SOT 19249711 SOS 16518533 HAS SOPS 7997309 HAS SOUS 1091207 HAS SOUPS 448145 WITH SCORE 464663.533
AT ITER 16 NEW BEST:: SOT 19249711 SOS 16518533 HAS SOPS 7997309 HAS SOUS 1091055 HAS SOUPS 447993 WITH SCORE 464511.533
AT ITER 19 NEW BEST:: SOT 19249711 SOS 16518533 HAS SOPS 7997309 HAS SOUS 1090887 HAS SOUPS 447825 WITH SCORE 464343.533
AT ITER 21 NEW BEST:: SOT 19249400 SOS 16517911 HAS SOPS 7999231 HAS SOUS 1090144 HAS SOUPS 447400 WITH SCORE 463917.911
AT ITER 51 NEW BEST:: SOT 19249400 SOS 16517911 HAS SOPS 7999231 HAS SOUS 1089976 HAS SOUPS 447232 WITH SCORE 463749.911
AT ITER 54 NEW BEST:: SOT 19249246 SOS 16517295 HAS SOPS 7998615 HAS SOUS 1089822 HAS SOUPS 447078 WITH SCORE 463595.295
AT ITER 68 NEW BEST:: SOT 19248866 SOS 16516535 HAS SOPS 8000263 HAS SOUS 1088979 HAS SOUPS 446536 WITH SCORE 463052.535
AT ITER 75 NEW BEST:: SOT 19248450 SOS 16515703 HAS SOPS 8001095 HAS SOUS 1088147 HAS SOUPS 445912 WITH SCORE 462427.703
AT ITER 76 NEW BEST:: SOT 19248450 SOS 16515703 HAS SOPS 8001095 HAS SOUS 1087985 HAS SOUPS 445750 WITH SCORE 462265.703
AT ITER 82 NEW BEST:: SOT 19248203 SOS 16515209 HAS SOPS 8003161 HAS SOUS 1087344 HAS SOUPS 445429 WITH SCORE 461944.209
AT ITER 165 NEW BEST:: SOT 19247309 SOS 16517841 HAS SOPS 8001521 HAS SOUS 1086997 HAS SOUPS 444904 WITH SCORE 461421.841
AT ITER 175 NEW BEST:: SOT 19245874 SOS 16480717 HAS SOPS 8004329 HAS SOUS 1086717 HAS SOUPS 444624 WITH SCORE 461104.717
AT ITER 176 NEW BEST:: SOT 19244235 SOS 16499843 HAS SOPS 8009775 HAS SOUS 1086048 HAS SOUPS 443385 WITH SCORE 459884.843
AT ITER 180 NEW BEST:: SOT 19241854 SOS 16514529 HAS SOPS 8015437 HAS SOUS 1084755 HAS SOUPS 442092 WITH SCORE 458606.529
AT ITER 200 NEW BEST:: SOT 19241854 SOS 16514529 HAS SOPS 8015437 HAS SOUS 1084587 HAS SOUPS 441924 WITH SCORE 458438.529
AT ITER 242 NEW BEST:: SOT 19241785 SOS 16514253 HAS SOPS 8015161 HAS SOUS 1084449 HAS SOUPS 441786 WITH SCORE 458300.253
AT ITER 243 NEW BEST:: SOT 19241785 SOS 16514253 HAS SOPS 8015161 HAS SOUS 1084375 HAS SOUPS 441712 WITH SCORE 458226.253
AT ITER 254 NEW BEST:: SOT 19241393 SOS 16513469 HAS SOPS 8015945 HAS SOUS 1083591 HAS SOUPS 441124 WITH SCORE 457637.469
AT ITER 265 NEW BEST:: SOT 19241393 SOS 16513469 HAS SOPS 8015945 HAS SOUS 1083423 HAS SOUPS 440956 WITH SCORE 457469.469
AT ITER 285 NEW BEST:: SOT 19239244 SOS 16520963 HAS SOPS 8017151 HAS SOUS 1081796 HAS SOUPS 439329 WITH SCORE 455849.963
AT ITER 286 NEW BEST:: SOT 19239068 SOS 16519459 HAS SOPS 8017951 HAS SOUS 1081332 HAS SOUPS 439153 WITH SCORE 455672.459
AT ITER 289 NEW BEST:: SOT 19237413 SOS 16526005 HAS SOPS 8019009 HAS SOUS 1079983 HAS SOUPS 437804 WITH SCORE 454330.005
AT ITER 308 NEW BEST:: SOT 19234510 SOS 16536327 HAS SOPS 8021219 HAS SOUS 1077512 HAS SOUPS 435333 WITH SCORE 451869.327
AT ITER 310 NEW BEST:: SOT 19234361 SOS 16534793 HAS SOPS 8022157 HAS SOUS 1077163 HAS SOUPS 435293 WITH SCORE 451827.793
AT ITER 329 NEW BEST:: SOT 19233447 SOS 16537333 HAS SOPS 8020329 HAS SOUS 1076797 HAS SOUPS 434745 WITH SCORE 451282.333
AT ITER 332 NEW BEST:: SOT 19231650 SOS 16547707 HAS SOPS 8021535 HAS SOUS 1075767 HAS SOUPS 433333 WITH SCORE 449880.707
AT ITER 347 NEW BEST:: SOT 19231780 SOS 16542767 HAS SOPS 8018675 HAS SOUS 1075767 HAS SOUPS 433333 WITH SCORE 449875.767
AT ITER 370 NEW BEST:: SOT 19231780 SOS 16542767 HAS SOPS 8018675 HAS SOUS 1075599 HAS SOUPS 433165 WITH SCORE 449707.767
AT ITER 374 NEW BEST:: SOT 19231780 SOS 16542767 HAS SOPS 8018675 HAS SOUS 1075463 HAS SOUPS 433029 WITH SCORE 449571.767
AT ITER 377 NEW BEST:: SOT 19231555 SOS 16542317 HAS SOPS 8020025 HAS SOUS 1074788 HAS SOUPS 432579 WITH SCORE 449121.317
AT ITER 386 NEW BEST:: SOT 19230443 SOS 16538497 HAS SOPS 8019397 HAS SOUS 1073862 HAS SOUPS 432052 WITH SCORE 448590.497
AT ITER 400 NEW BEST:: SOT 19228993 SOS 16554125 HAS SOPS 8026401 HAS SOUS 1073421 HAS SOUPS 431611 WITH SCORE 448165.125
AT ITER 404 NEW BEST:: SOT 19228993 SOS 16554125 HAS SOPS 8026401 HAS SOUS 1073319 HAS SOUPS 431509 WITH SCORE 448063.125
AT ITER 427 NEW BEST:: SOT 19227632 SOS 16559035 HAS SOPS 8027071 HAS SOUS 1072554 HAS SOUPS 430744 WITH SCORE 447303.035
AT ITER 428 NEW BEST:: SOT 19227388 SOS 16557399 HAS SOPS 8027731 HAS SOUS 1072023 HAS SOUPS 430500 WITH SCORE 447057.399
AT ITER 430 NEW BEST:: SOT 19227388 SOS 16556399 HAS SOPS 8027731 HAS SOUS 1071898 HAS SOUPS 430500 WITH SCORE 447056.399
AT ITER 460 NEW BEST:: SOT 19227190 SOS 16556003 HAS SOPS 8028919 HAS SOUS 1071502 HAS SOUPS 430302 WITH SCORE 446858.003
AT ITER 474 NEW BEST:: SOT 19226777 SOS 16555177 HAS SOPS 8030485 HAS SOUS 1070584 HAS SOUPS 429683 WITH SCORE 446238.177
AT ITER 481 NEW BEST:: SOT 19226777 SOS 16555177 HAS SOPS 8030485 HAS SOUS 1070484 HAS SOUPS 429583 WITH SCORE 446138.177
AT ITER 487 NEW BEST:: SOT 19226777 SOS 16555177 HAS SOPS 8030485 HAS SOUS 1070316 HAS SOUPS 429415 WITH SCORE 445970.177
AT ITER 490 NEW BEST:: SOT 19226769 SOS 16555145 HAS SOPS 8030453 HAS SOUS 1070308 HAS SOUPS 429407 WITH SCORE 445962.145
AT ITER 491 NEW BEST:: SOT 19224165 SOS 16517713 HAS SOPS 8034092 HAS SOUS 1068982 HAS SOUPS 428081 WITH SCORE 444598.713
AT ITER 494 NEW BEST:: SOT 19223977 SOS 16516961 HAS SOPS 8033340 HAS SOUS 1068794 HAS SOUPS 427893 WITH SCORE 444409.961
AT ITER 509 NEW BEST:: SOT 19223977 SOS 16516961 HAS SOPS 8033340 HAS SOUS 1068766 HAS SOUPS 427865 WITH SCORE 444381.961
AT ITER 512 NEW BEST:: SOT 19223977 SOS 16516961 HAS SOPS 8033340 HAS SOUS 1068598 HAS SOUPS 427697 WITH SCORE 444213.961
AT ITER 518 NEW BEST:: SOT 19223761 SOS 16516529 HAS SOPS 8033772 HAS SOUS 1068166 HAS SOUPS 427373 WITH SCORE 443889.529
AT ITER 521 NEW BEST:: SOT 19223761 SOS 16516529 HAS SOPS 8033772 HAS SOUS 1068092 HAS SOUPS 427299 WITH SCORE 443815.529
AT ITER 532 NEW BEST:: SOT 19223713 SOS 16516241 HAS SOPS 8033868 HAS SOUS 1068044 HAS SOUPS 427299 WITH SCORE 443815.241
AT ITER 539 NEW BEST:: SOT 19223713 SOS 16516241 HAS SOPS 8033868 HAS SOUS 1067958 HAS SOUPS 427213 WITH SCORE 443729.241
AT ITER 576 NEW BEST:: SOT 19222237 SOS 16528625 HAS SOPS 8034972 HAS SOUS 1067865 HAS SOUPS 426650 WITH SCORE 443178.625
AT ITER 581 NEW BEST:: SOT 19222237 SOS 16528625 HAS SOPS 8034972 HAS SOUS 1067697 HAS SOUPS 426482 WITH SCORE 443010.625
AT ITER 590 NEW BEST:: SOT 19222043 SOS 16528237 HAS SOPS 8034584 HAS SOUS 1067406 HAS SOUPS 426191 WITH SCORE 442719.237
AT ITER 612 NEW BEST:: SOT 19222043 SOS 16528237 HAS SOPS 8034584 HAS SOUS 1067254 HAS SOUPS 426039 WITH SCORE 442567.237
AT ITER 613 NEW BEST:: SOT 19221819 SOS 16526201 HAS SOPS 8035724 HAS SOUS 1066633 HAS SOUPS 425815 WITH SCORE 442341.201
AT ITER 634 NEW BEST:: SOT 19221789 SOS 16526081 HAS SOPS 8035604 HAS SOUS 1066573 HAS SOUPS 425755 WITH SCORE 442281.081
AT ITER 660 NEW BEST:: SOT 19221678 SOS 16524859 HAS SOPS 8036382 HAS SOUS 1066291 HAS SOUPS 425723 WITH SCORE 442247.859
AT ITER 683 NEW BEST:: SOT 19221518 SOS 16524539 HAS SOPS 8036062 HAS SOUS 1066131 HAS SOUPS 425563 WITH SCORE 442087.539
AT ITER 693 NEW BEST:: SOT 19221518 SOS 16524539 HAS SOPS 8036062 HAS SOUS 1065963 HAS SOUPS 425395 WITH SCORE 441919.539
AT ITER 698 NEW BEST:: SOT 19219515 SOS 16535741 HAS SOPS 8039984 HAS SOUS 1064692 HAS SOUPS 424124 WITH SCORE 440659.741
AT ITER 714 NEW BEST:: SOT 19219344 SOS 16534027 HAS SOPS 8041014 HAS SOUS 1064303 HAS SOUPS 424078 WITH SCORE 440612.027
AT ITER 746 NEW BEST:: SOT 19217813 SOS 16544541 HAS SOPS 8041496 HAS SOUS 1064019 HAS SOUPS 423376 WITH SCORE 439920.541
AT ITER 785 NEW BEST:: SOT 19217813 SOS 16544541 HAS SOPS 8041496 HAS SOUS 1063869 HAS SOUPS 423226 WITH SCORE 439770.541
AT ITER 789 NEW BEST:: SOT 19217500 SOS 16543915 HAS SOPS 8042670 HAS SOUS 1063106 HAS SOUPS 422688 WITH SCORE 439231.915
AT ITER 819 NEW BEST:: SOT 19216954 SOS 16544695 HAS SOPS 8042202 HAS SOUS 1062872 HAS SOUPS 422454 WITH SCORE 438998.695
AT ITER 832 NEW BEST:: SOT 19216315 SOS 16546909 HAS SOPS 8042088 HAS SOUS 1062601 HAS SOUPS 422086 WITH SCORE 438632.909
AT ITER 839 NEW BEST:: SOT 19216315 SOS 16546909 HAS SOPS 8042088 HAS SOUS 1062569 HAS SOUPS 422054 WITH SCORE 438600.909
AT ITER 841 NEW BEST:: SOT 19216247 SOS 16545409 HAS SOPS 8043316 HAS SOUS 1062160 HAS SOUPS 421986 WITH SCORE 438531.409
AT ITER 858 NEW BEST:: SOT 19216247 SOS 16545409 HAS SOPS 8043316 HAS SOUS 1061992 HAS SOUPS 421818 WITH SCORE 438363.409
AT ITER 890 NEW BEST:: SOT 19216247 SOS 16545409 HAS SOPS 8043316 HAS SOUS 1061918 HAS SOUPS 421744 WITH SCORE 438289.409
AT ITER 914 NEW BEST:: SOT 19216051 SOS 16545017 HAS SOPS 8043708 HAS SOUS 1061526 HAS SOUPS 421450 WITH SCORE 437995.017
AT ITER 932 NEW BEST:: SOT 19215765 SOS 16543149 HAS SOPS 8044432 HAS SOUS 1060916 HAS SOUPS 421164 WITH SCORE 437707.149
AT ITER 949 NEW BEST:: SOT 19214483 SOS 16546809 HAS SOPS 8042284 HAS SOUS 1060432 HAS SOUPS 420438 WITH SCORE 436984.809
AT ITER 961 NEW BEST:: SOT 19213904 SOS 16551575 HAS SOPS 8043090 HAS SOUS 1060223 HAS SOUPS 420064 WITH SCORE 436615.575
AT ITER 983 NEW BEST:: SOT 19213688 SOS 16550547 HAS SOPS 8042062 HAS SOUS 1060007 HAS SOUPS 419848 WITH SCORE 436398.547
AT ITER 990 NEW BEST:: SOT 19213688 SOS 16550547 HAS SOPS 8042062 HAS SOUS 1059993 HAS SOUPS 419834 WITH SCORE 436384.547
AT ITER 998 NEW BEST:: SOT 19211959 SOS 16559201 HAS SOPS 8044588 HAS SOUS 1058725 HAS SOUPS 418566 WITH SCORE 435125.201
AT ITER 1029 NEW BEST:: SOT 19209956 SOS 16566739 HAS SOPS 8046302 HAS SOUS 1057267 HAS SOUPS 417108 WITH SCORE 433674.739
AT ITER 1031 NEW BEST:: SOT 19207447 SOS 16577665 HAS SOPS 8049468 HAS SOUS 1055247 HAS SOUPS 415088 WITH SCORE 431665.665
AT ITER 1036 NEW BEST:: SOT 19207058 SOS 16576887 HAS SOPS 8050954 HAS SOUS 1054403 HAS SOUPS 414527 WITH SCORE 431103.887
AT ITER 1037 NEW BEST:: SOT 19206724 SOS 16574707 HAS SOPS 8048774 HAS SOUS 1054069 HAS SOUPS 414193 WITH SCORE 430767.707
AT ITER 1047 NEW BEST:: SOT 19206630 SOS 16574519 HAS SOPS 8048586 HAS SOUS 1053975 HAS SOUPS 414099 WITH SCORE 430673.519
AT ITER 1055 NEW BEST:: SOT 19206630 SOS 16574519 HAS SOPS 8048586 HAS SOUS 1053841 HAS SOUPS 413965 WITH SCORE 430539.519
AT ITER 1072 NEW BEST:: SOT 19206630 SOS 16574039 HAS SOPS 8048586 HAS SOUS 1053781 HAS SOUPS 413965 WITH SCORE 430539.039
AT ITER 1075 NEW BEST:: SOT 19206267 SOS 16573313 HAS SOPS 8049836 HAS SOUS 1052990 HAS SOUPS 413421 WITH SCORE 429994.313
AT ITER 1105 NEW BEST:: SOT 19206127 SOS 16573033 HAS SOPS 8049556 HAS SOUS 1052780 HAS SOUPS 413211 WITH SCORE 429784.033
AT ITER 1122 NEW BEST:: SOT 19206009 SOS 16573033 HAS SOPS 8049556 HAS SOUS 1052662 HAS SOUPS 413093 WITH SCORE 429666.033
AT ITER 1123 NEW BEST:: SOT 19205826 SOS 16572027 HAS SOPS 8050822 HAS SOUS 1052188 HAS SOUPS 412903 WITH SCORE 429475.027
AT ITER 1127 NEW BEST:: SOT 19205633 SOS 16571641 HAS SOPS 8052244 HAS SOUS 1051679 HAS SOUPS 412620 WITH SCORE 429191.641
AT ITER 1156 NEW BEST:: SOT 19203712 SOS 16592961 HAS SOPS 8059692 HAS SOUS 1052057 HAS SOUPS 412420 WITH SCORE 429012.961
AT ITER 1165 NEW BEST:: SOT 19203712 SOS 16592961 HAS SOPS 8059692 HAS SOUS 1051933 HAS SOUPS 412296 WITH SCORE 428888.961
AT ITER 1187 NEW BEST:: SOT 19203133 SOS 16595975 HAS SOPS 8059130 HAS SOUS 1051569 HAS SOUPS 411783 WITH SCORE 428378.975
AT ITER 1216 NEW BEST:: SOT 19202144 SOS 16591663 HAS SOPS 8057930 HAS SOUS 1049980 HAS SOUPS 410583 WITH SCORE 427174.663
AT ITER 1225 NEW BEST:: SOT 19202144 SOS 16591663 HAS SOPS 8057930 HAS SOUS 1049964 HAS SOUPS 410567 WITH SCORE 427158.663
AT ITER 1231 NEW BEST:: SOT 19202144 SOS 16591663 HAS SOPS 8057930 HAS SOUS 1049912 HAS SOUPS 410515 WITH SCORE 427106.663
AT ITER 1273 NEW BEST:: SOT 19201238 SOS 16596291 HAS SOPS 8058694 HAS SOUS 1049767 HAS SOUPS 410209 WITH SCORE 426805.291
AT ITER 1283 NEW BEST:: SOT 19200704 SOS 16593687 HAS SOPS 8059162 HAS SOUS 1049025 HAS SOUPS 409851 WITH SCORE 426444.687
AT ITER 1297 NEW BEST:: SOT 19200704 SOS 16593687 HAS SOPS 8059162 HAS SOUS 1049011 HAS SOUPS 409837 WITH SCORE 426430.687
AT ITER 1302 NEW BEST:: SOT 19200470 SOS 16591767 HAS SOPS 8060146 HAS SOUS 1048414 HAS SOUPS 409603 WITH SCORE 426194.767
AT ITER 1335 NEW BEST:: SOT 19199948 SOS 16588423 HAS SOPS 8061402 HAS SOUS 1047596 HAS SOUPS 409360 WITH SCORE 425948.423
AT ITER 1339 NEW BEST:: SOT 19199664 SOS 16586995 HAS SOPS 8061694 HAS SOUS 1047097 HAS SOUPS 409076 WITH SCORE 425662.995
AT ITER 1372 NEW BEST:: SOT 19199358 SOS 16586383 HAS SOPS 8063506 HAS SOUS 1046373 HAS SOUPS 408655 WITH SCORE 425241.38300000003
AT ITER 1377 NEW BEST:: SOT 19196092 SOS 16580626 HAS SOPS 8061072 HAS SOUS 1046295 HAS SOUPS 408648 WITH SCORE 425228.626
AT ITER 1389 NEW BEST:: SOT 19196018 SOS 16580478 HAS SOPS 8060924 HAS SOUS 1046221 HAS SOUPS 408574 WITH SCORE 425154.478
AT ITER 1406 NEW BEST:: SOT 19195350 SOS 16594230 HAS SOPS 8068452 HAS SOUS 1046068 HAS SOUPS 408421 WITH SCORE 425015.23
AT ITER 1412 NEW BEST:: SOT 19195310 SOS 16593990 HAS SOPS 8068212 HAS SOUS 1046007 HAS SOUPS 408360 WITH SCORE 424953.99
AT ITER 1421 NEW BEST:: SOT 19194006 SOS 16503889 HAS SOPS 8021393 HAS SOUS 1044855 HAS SOUPS 407208 WITH SCORE 423711.889
AT ITER 1437 NEW BEST:: SOT 19193824 SOS 16503525 HAS SOPS 8022973 HAS SOUS 1044430 HAS SOUPS 407026 WITH SCORE 423529.525
AT ITER 1471 NEW BEST:: SOT 19193692 SOS 16507861 HAS SOPS 8025469 HAS SOUS 1044413 HAS SOUPS 407009 WITH SCORE 423516.861
AT ITER 1474 NEW BEST:: SOT 19193547 SOS 16506211 HAS SOPS 8026539 HAS SOUS 1044071 HAS SOUPS 407007 WITH SCORE 423513.211
AT ITER 1483 NEW BEST:: SOT 19187938 SOS 16496694 HAS SOPS 8022623 HAS SOUS 1043898 HAS SOUPS 406993 WITH SCORE 423489.694
AT ITER 1488 NEW BEST:: SOT 19187526 SOS 16495870 HAS SOPS 8023575 HAS SOUS 1043061 HAS SOUPS 406378 WITH SCORE 422873.87
AT ITER 1496 NEW BEST:: SOT 19187526 SOS 16495870 HAS SOPS 8023575 HAS SOUS 1042893 HAS SOUPS 406210 WITH SCORE 422705.87
AT ITER 1508 NEW BEST:: SOT 19185506 SOS 16505006 HAS SOPS 8026119 HAS SOUS 1041723 HAS SOUPS 405040 WITH SCORE 421545.006
AT ITER 1519 NEW BEST:: SOT 19185506 SOS 16504926 HAS SOPS 8026119 HAS SOUS 1041713 HAS SOUPS 405040 WITH SCORE 421544.926
AT ITER 1523 NEW BEST:: SOT 19183592 SOS 16517090 HAS SOPS 8030331 HAS SOUS 1040599 HAS SOUPS 403926 WITH SCORE 420443.09
AT ITER 1524 NEW BEST:: SOT 19183592 SOS 16517090 HAS SOPS 8030331 HAS SOUS 1040593 HAS SOUPS 403920 WITH SCORE 420437.09
AT ITER 1530 NEW BEST:: SOT 19183592 SOS 16517090 HAS SOPS 8030331 HAS SOUS 1040475 HAS SOUPS 403802 WITH SCORE 420319.09
AT ITER 1541 NEW BEST:: SOT 19183592 SOS 16517090 HAS SOPS 8030331 HAS SOUS 1040391 HAS SOUPS 403718 WITH SCORE 420235.09
AT ITER 1543 NEW BEST:: SOT 19182201 SOS 16524724 HAS SOPS 8032541 HAS SOUS 1039609 HAS SOUPS 402936 WITH SCORE 419460.724
AT ITER 1546 NEW BEST:: SOT 19182201 SOS 16524724 HAS SOPS 8032541 HAS SOUS 1039593 HAS SOUPS 402920 WITH SCORE 419444.724
AT ITER 1555 NEW BEST:: SOT 19182201 SOS 16524724 HAS SOPS 8032541 HAS SOUS 1039465 HAS SOUPS 402792 WITH SCORE 419316.724
AT ITER 1572 NEW BEST:: SOT 19180489 SOS 16536844 HAS SOPS 8036981 HAS SOUS 1038517 HAS SOUPS 401844 WITH SCORE 418380.844
AT ITER 1593 NEW BEST:: SOT 19180244 SOS 16536354 HAS SOPS 8038515 HAS SOUS 1037773 HAS SOUPS 401353 WITH SCORE 417889.354
AT ITER 1619 NEW BEST:: SOT 19180091 SOS 16537476 HAS SOPS 8038413 HAS SOUS 1037661 HAS SOUPS 401190 WITH SCORE 417727.476
AT ITER 1651 NEW BEST:: SOT 19179743 SOS 16540236 HAS SOPS 8037717 HAS SOUS 1037646 HAS SOUPS 401031 WITH SCORE 417571.236
AT ITER 1676 NEW BEST:: SOT 19178218 SOS 16544626 HAS SOPS 8036011 HAS SOUS 1037237 HAS SOUPS 400368 WITH SCORE 416912.626
AT ITER 1687 NEW BEST:: SOT 19178166 SOS 16544522 HAS SOPS 8035907 HAS SOUS 1037211 HAS SOUPS 400342 WITH SCORE 416886.522
AT ITER 1689 NEW BEST:: SOT 19176949 SOS 16547344 HAS SOPS 8033473 HAS SOUS 1036517 HAS SOUPS 399429 WITH SCORE 415976.344
AT ITER 1692 NEW BEST:: SOT 19177045 SOS 16547504 HAS SOPS 8033521 HAS SOUS 1036509 HAS SOUPS 399413 WITH SCORE 415960.504
AT ITER 1694 NEW BEST:: SOT 19177013 SOS 16547440 HAS SOPS 8033457 HAS SOUS 1036472 HAS SOUPS 399376 WITH SCORE 415923.44
AT ITER 1706 NEW BEST:: SOT 19177013 SOS 16547440 HAS SOPS 8033457 HAS SOUS 1036304 HAS SOUPS 399208 WITH SCORE 415755.44
AT ITER 1721 NEW BEST:: SOT 19175490 SOS 16560690 HAS SOPS 8038259 HAS SOUS 1035661 HAS SOUPS 398565 WITH SCORE 415125.69
AT ITER 1750 NEW BEST:: SOT 19175030 SOS 16559770 HAS SOPS 8039315 HAS SOUS 1034720 HAS SOUPS 397871 WITH SCORE 414430.77
AT ITER 1757 NEW BEST:: SOT 19175129 SOS 16561828 HAS SOPS 8037653 HAS SOUS 1035034 HAS SOUPS 397720 WITH SCORE 414281.828
AT ITER 1760 NEW BEST:: SOT 19174271 SOS 16559540 HAS SOPS 8035365 HAS SOUS 1034543 HAS SOUPS 397229 WITH SCORE 413788.54
AT ITER 1773 NEW BEST:: SOT 19174448 SOS 16556726 HAS SOPS 8035367 HAS SOUS 1033930 HAS SOUPS 396968 WITH SCORE 413524.726
AT ITER 1777 NEW BEST:: SOT 19173372 SOS 16560590 HAS SOPS 8033567 HAS SOUS 1033537 HAS SOUPS 396339 WITH SCORE 412899.59
AT ITER 1787 NEW BEST:: SOT 19173227 SOS 16558100 HAS SOPS 8031077 HAS SOUS 1033201 HAS SOUPS 396003 WITH SCORE 412561.1
AT ITER 1790 NEW BEST:: SOT 19172533 SOS 16566544 HAS SOPS 8035393 HAS SOUS 1032756 HAS SOUPS 395558 WITH SCORE 412124.544
AT ITER 1799 NEW BEST:: SOT 19172501 SOS 16566388 HAS SOPS 8035237 HAS SOUS 1032724 HAS SOUPS 395526 WITH SCORE 412092.388
AT ITER 1825 NEW BEST:: SOT 19171062 SOS 16530876 HAS SOPS 8037446 HAS SOUS 1032100 HAS SOUPS 394902 WITH SCORE 411432.876
AT ITER 1840 NEW BEST:: SOT 19171062 SOS 16530876 HAS SOPS 8037446 HAS SOUS 1032002 HAS SOUPS 394804 WITH SCORE 411334.876
AT ITER 1847 NEW BEST:: SOT 19164346 SOS 16519435 HAS SOPS 8032638 HAS SOUS 1031768 HAS SOUPS 394721 WITH SCORE 411240.435
AT ITER 1874 NEW BEST:: SOT 19160088 SOS 16512030 HAS SOPS 8029372 HAS SOUS 1031474 HAS SOUPS 394500 WITH SCORE 411012.03
AT ITER 1914 NEW BEST:: SOT 19161611 SOS 16514535 HAS SOPS 8031662 HAS SOUS 1030898 HAS SOUPS 394113 WITH SCORE 410627.535
AT ITER 1952 NEW BEST:: SOT 19161611 SOS 16514535 HAS SOPS 8031662 HAS SOUS 1030740 HAS SOUPS 393955 WITH SCORE 410469.535
AT ITER 1953 NEW BEST:: SOT 19161584 SOS 16514481 HAS SOPS 8031608 HAS SOUS 1030644 HAS SOUPS 393859 WITH SCORE 410373.481
AT ITER 1959 NEW BEST:: SOT 19161584 SOS 16514481 HAS SOPS 8031608 HAS SOUS 1030614 HAS SOUPS 393829 WITH SCORE 410343.481
AT ITER 1969 NEW BEST:: SOT 19161522 SOS 16513861 HAS SOPS 8031484 HAS SOUS 1030455 HAS SOUPS 393732 WITH SCORE 410245.861
AT ITER 1973 NEW BEST:: SOT 19161510 SOS 16513837 HAS SOPS 8031460 HAS SOUS 1030431 HAS SOUPS 393708 WITH SCORE 410221.837
AT ITER 2025 NEW BEST:: SOT 19161288 SOS 16513393 HAS SOPS 8032928 HAS SOUS 1029978 HAS SOUPS 393494 WITH SCORE 410007.393
AT ITER 2026 NEW BEST:: SOT 19160958 SOS 16512733 HAS SOPS 8030324 HAS SOUS 1029784 HAS SOUPS 393057 WITH SCORE 409569.733
AT ITER 2034 NEW BEST:: SOT 19161115 SOS 16506943 HAS SOPS 8028974 HAS SOUS 1029571 HAS SOUPS 393029 WITH SCORE 409535.94299999997
AT ITER 2042 NEW BEST:: SOT 19161100 SOS 16508089 HAS SOPS 8028944 HAS SOUS 1029605 HAS SOUPS 392916 WITH SCORE 409424.089
AT ITER 2056 NEW BEST:: SOT 19161100 SOS 16508089 HAS SOPS 8028944 HAS SOUS 1029437 HAS SOUPS 392748 WITH SCORE 409256.089
AT ITER 2085 NEW BEST:: SOT 19158633 SOS 16512067 HAS SOPS 8027610 HAS SOUS 1027727 HAS SOUPS 391038 WITH SCORE 407550.067
AT ITER 2089 NEW BEST:: SOT 19158633 SOS 16512067 HAS SOPS 8027610 HAS SOUS 1027565 HAS SOUPS 390876 WITH SCORE 407388.067
AT ITER 2109 NEW BEST:: SOT 19158291 SOS 16511383 HAS SOPS 8026926 HAS SOUS 1027223 HAS SOUPS 390534 WITH SCORE 407045.38300000003
AT ITER 2137 NEW BEST:: SOT 19158211 SOS 16511223 HAS SOPS 8026766 HAS SOUS 1027222 HAS SOUPS 390533 WITH SCORE 407044.223
AT ITER 2140 NEW BEST:: SOT 19151534 SOS 16500096 HAS SOPS 8022451 HAS SOUS 1026464 HAS SOUPS 390097 WITH SCORE 406597.096
AT ITER 2142 NEW BEST:: SOT 19151534 SOS 16500096 HAS SOPS 8022451 HAS SOUS 1026304 HAS SOUPS 389937 WITH SCORE 406437.096
AT ITER 2145 NEW BEST:: SOT 19150768 SOS 16496272 HAS SOPS 8021683 HAS SOUS 1024992 HAS SOUPS 389007 WITH SCORE 405503.272
AT ITER 2150 NEW BEST:: SOT 19150768 SOS 16494940 HAS SOPS 8020351 HAS SOUS 1024696 HAS SOUPS 388711 WITH SCORE 405205.94
AT ITER 2151 NEW BEST:: SOT 19150768 SOS 16494940 HAS SOPS 8020351 HAS SOUS 1024589 HAS SOUPS 388604 WITH SCORE 405098.94
AT ITER 2160 NEW BEST:: SOT 19150768 SOS 16494940 HAS SOPS 8020351 HAS SOUS 1024579 HAS SOUPS 388594 WITH SCORE 405088.94
AT ITER 2170 NEW BEST:: SOT 19149777 SOS 16504234 HAS SOPS 8022109 HAS SOUS 1024256 HAS SOUPS 387957 WITH SCORE 404461.234
AT ITER 2199 NEW BEST:: SOT 19149777 SOS 16504234 HAS SOPS 8022109 HAS SOUS 1024182 HAS SOUPS 387883 WITH SCORE 404387.234
AT ITER 2201 NEW BEST:: SOT 19147438 SOS 16513876 HAS SOPS 8024391 HAS SOUS 1022314 HAS SOUPS 386015 WITH SCORE 402528.876
AT ITER 2207 NEW BEST:: SOT 19147372 SOS 16514096 HAS SOPS 8023907 HAS SOUS 1022335 HAS SOUPS 385948 WITH SCORE 402462.096
AT ITER 2226 NEW BEST:: SOT 19146687 SOS 16510620 HAS SOPS 8023239 HAS SOUS 1021126 HAS SOUPS 385090 WITH SCORE 401600.62
AT ITER 2232 NEW BEST:: SOT 19139930 SOS 16499254 HAS SOPS 8015275 HAS SOUS 1021049 HAS SOUPS 385013 WITH SCORE 401512.254
AT ITER 2254 NEW BEST:: SOT 19139930 SOS 16499254 HAS SOPS 8015275 HAS SOUS 1021027 HAS SOUPS 384991 WITH SCORE 401490.254
AT ITER 2259 NEW BEST:: SOT 19139930 SOS 16499254 HAS SOPS 8015275 HAS SOUS 1021021 HAS SOUPS 384985 WITH SCORE 401484.254
AT ITER 2294 NEW BEST:: SOT 19139930 SOS 16499254 HAS SOPS 8015275 HAS SOUS 1020977 HAS SOUPS 384941 WITH SCORE 401440.254
AT ITER 2299 NEW BEST:: SOT 19139866 SOS 16499126 HAS SOPS 8015147 HAS SOUS 1020961 HAS SOUPS 384925 WITH SCORE 401424.126
AT ITER 2319 NEW BEST:: SOT 19139783 SOS 16498816 HAS SOPS 8015741 HAS SOUS 1020765 HAS SOUPS 384842 WITH SCORE 401340.816
AT ITER 2331 NEW BEST:: SOT 19139681 SOS 16498204 HAS SOPS 8015129 HAS SOUS 1020663 HAS SOUPS 384740 WITH SCORE 401238.204
AT ITER 2341 NEW BEST:: SOT 19137172 SOS 16508634 HAS SOPS 8017975 HAS SOUS 1020203 HAS SOUPS 384280 WITH SCORE 400788.634
AT ITER 2356 NEW BEST:: SOT 19131417 SOS 16498998 HAS SOPS 8014165 HAS SOUS 1019649 HAS SOUPS 383959 WITH SCORE 400457.998
AT ITER 2369 NEW BEST:: SOT 19131100 SOS 16497096 HAS SOPS 8014799 HAS SOUS 1019093 HAS SOUPS 383720 WITH SCORE 400217.096
AT ITER 2370 NEW BEST:: SOT 19130637 SOS 16495626 HAS SOPS 8013329 HAS SOUS 1018633 HAS SOUPS 383260 WITH SCORE 399755.626
AT ITER 2372 NEW BEST:: SOT 19124906 SOS 16485939 HAS SOPS 8009348 HAS SOUS 1017699 HAS SOUPS 382673 WITH SCORE 399158.939
AT ITER 2392 NEW BEST:: SOT 19124942 SOS 16484571 HAS SOPS 8008556 HAS SOUS 1017699 HAS SOUPS 382673 WITH SCORE 399157.571
AT ITER 2394 NEW BEST:: SOT 19124942 SOS 16477203 HAS SOPS 8004580 HAS SOUS 1017445 HAS SOUPS 382419 WITH SCORE 398896.203
AT ITER 2401 NEW BEST:: SOT 19122139 SOS 16487061 HAS SOPS 8006758 HAS SOUS 1015864 HAS SOUPS 380838 WITH SCORE 397325.061
AT ITER 2425 NEW BEST:: SOT 19122068 SOS 16487511 HAS SOPS 8006616 HAS SOUS 1015904 HAS SOUPS 380804 WITH SCORE 397291.511
AT ITER 2435 NEW BEST:: SOT 19122068 SOS 16487511 HAS SOPS 8006616 HAS SOUS 1015736 HAS SOUPS 380636 WITH SCORE 397123.511
AT ITER 2436 NEW BEST:: SOT 19121947 SOS 16484845 HAS SOPS 8006374 HAS SOUS 1015238 HAS SOUPS 380441 WITH SCORE 396925.845
AT ITER 2453 NEW BEST:: SOT 19121405 SOS 16481729 HAS SOPS 8005786 HAS SOUS 1014452 HAS SOUPS 379971 WITH SCORE 396452.729
AT ITER 2470 NEW BEST:: SOT 19120967 SOS 16479213 HAS SOPS 8005430 HAS SOUS 1013575 HAS SOUPS 379364 WITH SCORE 395843.213
AT ITER 2488 NEW BEST:: SOT 19119927 SOS 16445325 HAS SOPS 8010670 HAS SOUS 1013144 HAS SOUPS 378933 WITH SCORE 395378.325
AT ITER 2494 NEW BEST:: SOT 19119531 SOS 16444533 HAS SOPS 8009878 HAS SOUS 1012655 HAS SOUPS 378444 WITH SCORE 394888.533
AT ITER 2518 NEW BEST:: SOT 19119359 SOS 16444189 HAS SOPS 8009534 HAS SOUS 1012483 HAS SOUPS 378272 WITH SCORE 394716.189
AT ITER 2520 NEW BEST:: SOT 19119065 SOS 16442263 HAS SOPS 8009392 HAS SOUS 1011966 HAS SOUPS 377978 WITH SCORE 394420.263
AT ITER 2616 NEW BEST:: SOT 19118099 SOS 16439395 HAS SOPS 8008396 HAS SOUS 1011515 HAS SOUPS 377761 WITH SCORE 394200.395
AT ITER 2630 NEW BEST:: SOT 19117672 SOS 16435979 HAS SOPS 8004980 HAS SOUS 1011515 HAS SOUPS 377761 WITH SCORE 394196.979
AT ITER 2641 NEW BEST:: SOT 19117732 SOS 16433699 HAS SOPS 8003660 HAS SOUS 1011514 HAS SOUPS 377760 WITH SCORE 394193.699
AT ITER 2648 NEW BEST:: SOT 19117503 SOS 16434849 HAS SOPS 8004810 HAS SOUS 1011157 HAS SOUPS 377403 WITH SCORE 393837.849
AT ITER 2653 NEW BEST:: SOT 19117503 SOS 16434849 HAS SOPS 8004810 HAS SOUS 1011089 HAS SOUPS 377335 WITH SCORE 393769.849
AT ITER 2662 NEW BEST:: SOT 19117000 SOS 16434028 HAS SOPS 8004413 HAS SOUS 1011010 HAS SOUPS 377256 WITH SCORE 393690.028
AT ITER 2670 NEW BEST:: SOT 19116225 SOS 16441158 HAS SOPS 8006143 HAS SOUS 1010897 HAS SOUPS 376918 WITH SCORE 393359.158
AT ITER 2706 NEW BEST:: SOT 19116225 SOS 16441215 HAS SOPS 8006143 HAS SOUS 1010840 HAS SOUPS 376861 WITH SCORE 393302.215
AT ITER 2765 NEW BEST:: SOT 19116225 SOS 16441134 HAS SOPS 8006062 HAS SOUS 1010838 HAS SOUPS 376859 WITH SCORE 393300.134
AT ITER 2775 NEW BEST:: SOT 19115341 SOS 16452214 HAS SOPS 8010854 HAS SOUS 1010376 HAS SOUPS 376397 WITH SCORE 392849.214
AT ITER 2791 NEW BEST:: SOT 19115341 SOS 16452214 HAS SOPS 8010854 HAS SOUS 1010208 HAS SOUPS 376229 WITH SCORE 392681.214
AT ITER 2874 NEW BEST:: SOT 19115165 SOS 16451206 HAS SOPS 8009846 HAS SOUS 1010032 HAS SOUPS 376053 WITH SCORE 392504.206
AT ITER 2964 NEW BEST:: SOT 19115165 SOS 16451206 HAS SOPS 8009846 HAS SOUS 1009876 HAS SOUPS 375897 WITH SCORE 392348.206
AT ITER 3005 NEW BEST:: SOT 19115165 SOS 16451206 HAS SOPS 8009846 HAS SOUS 1009708 HAS SOUPS 375729 WITH SCORE 392180.206
AT ITER 3035 NEW BEST:: SOT 19115165 SOS 16451206 HAS SOPS 8009846 HAS SOUS 1009540 HAS SOUPS 375561 WITH SCORE 392012.206
AT ITER 3051 NEW BEST:: SOT 19114261 SOS 16449398 HAS SOPS 8008038 HAS SOUS 1008593 HAS SOUPS 374614 WITH SCORE 391063.398
AT ITER 3064 NEW BEST:: SOT 19114427 SOS 16442490 HAS SOPS 8005114 HAS SOUS 1008427 HAS SOUPS 374614 WITH SCORE 391056.49
AT ITER 3081 NEW BEST:: SOT 19113646 SOS 16445830 HAS SOPS 8006968 HAS SOUS 1008153 HAS SOUPS 374481 WITH SCORE 390926.83
AT ITER 3100 NEW BEST:: SOT 19113646 SOS 16445830 HAS SOPS 8006968 HAS SOUS 1008109 HAS SOUPS 374437 WITH SCORE 390882.83
AT ITER 3122 NEW BEST:: SOT 19113380 SOS 16445485 HAS SOPS 8004940 HAS SOUS 1007653 HAS SOUPS 373794 WITH SCORE 390239.485
AT ITER 3134 NEW BEST:: SOT 19111127 SOS 16454443 HAS SOPS 8006698 HAS SOUS 1006021 HAS SOUPS 372162 WITH SCORE 388616.44299999997
AT ITER 3176 NEW BEST:: SOT 19110683 SOS 16453259 HAS SOPS 8005514 HAS SOUS 1005799 HAS SOUPS 371940 WITH SCORE 388393.259
AT ITER 3207 NEW BEST:: SOT 19110683 SOS 16453259 HAS SOPS 8005514 HAS SOUS 1005767 HAS SOUPS 371908 WITH SCORE 388361.259
AT ITER 3237 NEW BEST:: SOT 19110746 SOS 16451891 HAS SOPS 8002581 HAS SOUS 1005608 HAS SOUPS 371449 WITH SCORE 387900.891
AT ITER 3319 NEW BEST:: SOT 19110738 SOS 16451939 HAS SOPS 8002565 HAS SOUS 1005607 HAS SOUPS 371440 WITH SCORE 387891.939
AT ITER 3333 NEW BEST:: SOT 19110370 SOS 16450611 HAS SOPS 8002421 HAS SOUS 1005275 HAS SOUPS 371256 WITH SCORE 387706.611
AT ITER 3349 NEW BEST:: SOT 19108910 SOS 16462131 HAS SOPS 8006789 HAS SOUS 1004390 HAS SOUPS 370371 WITH SCORE 386833.131
AT ITER 3375 NEW BEST:: SOT 19108922 SOS 16462271 HAS SOPS 8006929 HAS SOUS 1004363 HAS SOUPS 370344 WITH SCORE 386806.271
AT ITER 3377 NEW BEST:: SOT 19108922 SOS 16462271 HAS SOPS 8006929 HAS SOUS 1004287 HAS SOUPS 370268 WITH SCORE 386730.271
AT ITER 3398 NEW BEST:: SOT 19108922 SOS 16462271 HAS SOPS 8006929 HAS SOUS 1004221 HAS SOUPS 370202 WITH SCORE 386664.271
AT ITER 3399 NEW BEST:: SOT 19107724 SOS 16458231 HAS SOPS 8006177 HAS SOUS 1003811 HAS SOUPS 370203 WITH SCORE 386661.231
AT ITER 3421 NEW BEST:: SOT 19106307 SOS 16466981 HAS SOPS 8007271 HAS SOUS 1003630 HAS SOUPS 369703 WITH SCORE 386169.981
AT ITER 3438 NEW BEST:: SOT 19106293 SOS 16466981 HAS SOPS 8007271 HAS SOUS 1003623 HAS SOUPS 369696 WITH SCORE 386162.981
AT ITER 3471 NEW BEST:: SOT 19106293 SOS 16466981 HAS SOPS 8007271 HAS SOUS 1003455 HAS SOUPS 369528 WITH SCORE 385994.981
AT ITER 3477 NEW BEST:: SOT 19106293 SOS 16466981 HAS SOPS 8007271 HAS SOUS 1003353 HAS SOUPS 369426 WITH SCORE 385892.981
AT ITER 3502 NEW BEST:: SOT 19106232 SOS 16466859 HAS SOPS 8007149 HAS SOUS 1003233 HAS SOUPS 369306 WITH SCORE 385772.859
AT ITER 3512 NEW BEST:: SOT 19106232 SOS 16466859 HAS SOPS 8007149 HAS SOUS 1003139 HAS SOUPS 369212 WITH SCORE 385678.859
AT ITER 3567 NEW BEST:: SOT 19105270 SOS 16463943 HAS SOPS 8006217 HAS SOUS 1002834 HAS SOUPS 369155 WITH SCORE 385618.94299999997
AT ITER 3570 NEW BEST:: SOT 19105270 SOS 16463943 HAS SOPS 8006217 HAS SOUS 1002666 HAS SOUPS 368987 WITH SCORE 385450.94299999997
AT ITER 3610 NEW BEST:: SOT 19105270 SOS 16463943 HAS SOPS 8006217 HAS SOUS 1002596 HAS SOUPS 368917 WITH SCORE 385380.94299999997
AT ITER 3615 NEW BEST:: SOT 19105270 SOS 16463659 HAS SOPS 8006501 HAS SOUS 1002525 HAS SOUPS 368917 WITH SCORE 385380.659
AT ITER 3626 NEW BEST:: SOT 19105035 SOS 16461221 HAS SOPS 8006031 HAS SOUS 1001804 HAS SOUPS 368442 WITH SCORE 384903.221
AT ITER 3657 NEW BEST:: SOT 19105015 SOS 16461101 HAS SOPS 8005911 HAS SOUS 1001774 HAS SOUPS 368412 WITH SCORE 384873.101
AT ITER 3677 NEW BEST:: SOT 19105015 SOS 16461101 HAS SOPS 8005911 HAS SOUS 1001704 HAS SOUPS 368342 WITH SCORE 384803.101
AT ITER 3699 NEW BEST:: SOT 19105015 SOS 16461101 HAS SOPS 8005911 HAS SOUS 1001606 HAS SOUPS 368244 WITH SCORE 384705.101
AT ITER 3710 NEW BEST:: SOT 19104859 SOS 16460477 HAS SOPS 8005911 HAS SOUS 1001372 HAS SOUPS 368088 WITH SCORE 384548.477
AT ITER 3715 NEW BEST:: SOT 19104354 SOS 16457843 HAS SOPS 8006525 HAS SOUS 1000936 HAS SOUPS 368058 WITH SCORE 384515.843
AT ITER 3716 NEW BEST:: SOT 19104354 SOS 16457843 HAS SOPS 8006525 HAS SOUS 1000768 HAS SOUPS 367890 WITH SCORE 384347.843
AT ITER 3746 NEW BEST:: SOT 19104354 SOS 16457843 HAS SOPS 8006525 HAS SOUS 1000680 HAS SOUPS 367802 WITH SCORE 384259.843
AT ITER 3748 NEW BEST:: SOT 19104319 SOS 16457629 HAS SOPS 8006503 HAS SOUS 1000634 HAS SOUPS 367780 WITH SCORE 384237.629
AT ITER 3753 NEW BEST:: SOT 19103831 SOS 16456165 HAS SOPS 8006015 HAS SOUS 1000390 HAS SOUPS 367658 WITH SCORE 384114.165
AT ITER 3773 NEW BEST:: SOT 19103831 SOS 16456165 HAS SOPS 8006015 HAS SOUS 1000222 HAS SOUPS 367490 WITH SCORE 383946.165
AT ITER 3797 NEW BEST:: SOT 19103735 SOS 16456357 HAS SOPS 8005823 HAS SOUS 1000173 HAS SOUPS 367393 WITH SCORE 383849.357
AT ITER 3847 NEW BEST:: SOT 19103269 SOS 16478945 HAS SOPS 8005171 HAS SOUS 999449 HAS SOUPS 366669 WITH SCORE 383147.945
AT ITER 3859 NEW BEST:: SOT 19104068 SOS 16481307 HAS SOPS 8006005 HAS SOUS 999606 HAS SOUPS 366635 WITH SCORE 383116.30700000003
AT ITER 3895 NEW BEST:: SOT 19103888 SOS 16478147 HAS SOPS 8005909 HAS SOUS 999043 HAS SOUPS 366455 WITH SCORE 382933.147
AT ITER 3917 NEW BEST:: SOT 19103141 SOS 16479397 HAS SOPS 8004447 HAS SOUS 998796 HAS SOUPS 366095 WITH SCORE 382574.397
AT ITER 3919 NEW BEST:: SOT 19103141 SOS 16479397 HAS SOPS 8004447 HAS SOUS 998742 HAS SOUPS 366041 WITH SCORE 382520.397
AT ITER 3942 NEW BEST:: SOT 19103064 SOS 16465867 HAS SOPS 8011285 HAS SOUS 998665 HAS SOUPS 365964 WITH SCORE 382429.867
AT ITER 3963 NEW BEST:: SOT 19102814 SOS 16463455 HAS SOPS 8010873 HAS SOUS 998415 HAS SOUPS 365964 WITH SCORE 382427.455
AT ITER 3971 NEW BEST:: SOT 19102814 SOS 16463455 HAS SOPS 8010873 HAS SOUS 998247 HAS SOUPS 365796 WITH SCORE 382259.455
AT ITER 3990 NEW BEST:: SOT 19102814 SOS 16463167 HAS SOPS 8010585 HAS SOUS 998247 HAS SOUPS 365796 WITH SCORE 382259.167
AT ITER 4006 NEW BEST:: SOT 19100546 SOS 16467079 HAS SOPS 8010161 HAS SOUS 996915 HAS SOUPS 364464 WITH SCORE 380931.079
AT ITER 4036 NEW BEST:: SOT 19100440 SOS 16466867 HAS SOPS 8009101 HAS SOUS 996915 HAS SOUPS 364358 WITH SCORE 380824.867
AT ITER 4079 NEW BEST:: SOT 19100383 SOS 16461566 HAS SOPS 8007258 HAS SOUS 996869 HAS SOUPS 364350 WITH SCORE 380811.566
AT ITER 4091 NEW BEST:: SOT 19100113 SOS 16460864 HAS SOPS 8006502 HAS SOUS 996707 HAS SOUPS 364188 WITH SCORE 380648.864
AT ITER 4129 NEW BEST:: SOT 19100113 SOS 16459464 HAS SOPS 8007902 HAS SOUS 996357 HAS SOUPS 364188 WITH SCORE 380647.464
AT ITER 4136 NEW BEST:: SOT 19098158 SOS 16466314 HAS SOPS 8008400 HAS SOUS 994742 HAS SOUPS 362573 WITH SCORE 379039.314
AT ITER 4141 NEW BEST:: SOT 19102527 SOS 16488799 HAS SOPS 8015435 HAS SOUS 994172 HAS SOUPS 361488 WITH SCORE 377976.799
AT ITER 4169 NEW BEST:: SOT 19101300 SOS 16485325 HAS SOPS 8014001 HAS SOUS 993261 HAS SOUPS 360832 WITH SCORE 377317.325
AT ITER 4171 NEW BEST:: SOT 19101138 SOS 16485001 HAS SOPS 8017181 HAS SOUS 992661 HAS SOUPS 360670 WITH SCORE 377155.001
AT ITER 4196 NEW BEST:: SOT 19101039 SOS 16484836 HAS SOPS 8017104 HAS SOUS 992650 HAS SOUPS 360659 WITH SCORE 377143.836
AT ITER 4201 NEW BEST:: SOT 19093860 SOS 16472518 HAS SOPS 8012512 HAS SOUS 991871 HAS SOUPS 360419 WITH SCORE 376891.518
AT ITER 4205 NEW BEST:: SOT 19093178 SOS 16448714 HAS SOPS 8011913 HAS SOUS 991191 HAS SOUPS 359994 WITH SCORE 376442.714
AT ITER 4225 NEW BEST:: SOT 19093217 SOS 16448714 HAS SOPS 8011913 HAS SOUS 991152 HAS SOUPS 359955 WITH SCORE 376403.714
AT ITER 4306 NEW BEST:: SOT 19093166 SOS 16448612 HAS SOPS 8011811 HAS SOUS 991050 HAS SOUPS 359853 WITH SCORE 376301.612
AT ITER 4308 NEW BEST:: SOT 19092975 SOS 16455350 HAS SOPS 8015701 HAS SOUS 991037 HAS SOUPS 359840 WITH SCORE 376295.35
AT ITER 4342 NEW BEST:: SOT 19092975 SOS 16455350 HAS SOPS 8015701 HAS SOUS 990869 HAS SOUPS 359672 WITH SCORE 376127.35
AT ITER 4359 NEW BEST:: SOT 19092875 SOS 16455150 HAS SOPS 8015501 HAS SOUS 990769 HAS SOUPS 359572 WITH SCORE 376027.15
AT ITER 4442 NEW BEST:: SOT 19092506 SOS 16457036 HAS SOPS 8015323 HAS SOUS 990732 HAS SOUPS 359449 WITH SCORE 375906.036
AT ITER 4460 NEW BEST:: SOT 19092423 SOS 16456870 HAS SOPS 8015157 HAS SOUS 990648 HAS SOUPS 359365 WITH SCORE 375821.87
AT ITER 4466 NEW BEST:: SOT 19092423 SOS 16456870 HAS SOPS 8015157 HAS SOUS 990492 HAS SOUPS 359209 WITH SCORE 375665.87
AT ITER 4488 NEW BEST:: SOT 19092269 SOS 16456562 HAS SOPS 8014849 HAS SOUS 990183 HAS SOUPS 358900 WITH SCORE 375356.562
AT ITER 4511 NEW BEST:: SOT 19092053 SOS 16456130 HAS SOPS 8014417 HAS SOUS 990021 HAS SOUPS 358738 WITH SCORE 375194.13
AT ITER 4514 NEW BEST:: SOT 19091145 SOS 16454544 HAS SOPS 8013979 HAS SOUS 989556 HAS SOUPS 358508 WITH SCORE 374962.544
AT ITER 4552 NEW BEST:: SOT 19089841 SOS 16468032 HAS SOPS 8019019 HAS SOUS 989068 HAS SOUPS 358020 WITH SCORE 374488.032
AT ITER 4553 NEW BEST:: SOT 19085268 SOS 16460973 HAS SOPS 8014006 HAS SOUS 988657 HAS SOUPS 357609 WITH SCORE 374069.973
AT ITER 4569 NEW BEST:: SOT 19085251 SOS 16459375 HAS SOPS 8013955 HAS SOUS 988632 HAS SOUPS 357601 WITH SCORE 374060.375
AT ITER 4576 NEW BEST:: SOT 19085040 SOS 16458953 HAS SOPS 8015149 HAS SOUS 988219 HAS SOUPS 357390 WITH SCORE 373848.953
AT ITER 4579 NEW BEST:: SOT 19084969 SOS 16462255 HAS SOPS 8015048 HAS SOUS 988107 HAS SOUPS 357278 WITH SCORE 373740.255
AT ITER 4592 NEW BEST:: SOT 19085784 SOS 16463297 HAS SOPS 8016090 HAS SOUS 988087 HAS SOUPS 357258 WITH SCORE 373721.297
AT ITER 4610 NEW BEST:: SOT 19084607 SOS 16462255 HAS SOPS 8015048 HAS SOUS 987801 HAS SOUPS 356972 WITH SCORE 373434.255
AT ITER 4622 NEW BEST:: SOT 19084607 SOS 16462255 HAS SOPS 8015048 HAS SOUS 987739 HAS SOUPS 356910 WITH SCORE 373372.255
AT ITER 4623 NEW BEST:: SOT 19082971 SOS 16457603 HAS SOPS 8013156 HAS SOUS 986690 HAS SOUPS 356206 WITH SCORE 372663.603
AT ITER 4652 NEW BEST:: SOT 19082958 SOS 16457577 HAS SOPS 8013130 HAS SOUS 986677 HAS SOUPS 356193 WITH SCORE 372650.577
AT ITER 4654 NEW BEST:: SOT 19082958 SOS 16457577 HAS SOPS 8013130 HAS SOUS 986509 HAS SOUPS 356025 WITH SCORE 372482.577
AT ITER 4659 NEW BEST:: SOT 19082994 SOS 16457637 HAS SOPS 8013148 HAS SOUS 986506 HAS SOUPS 356019 WITH SCORE 372476.637
AT ITER 4667 NEW BEST:: SOT 19082801 SOS 16457251 HAS SOPS 8014306 HAS SOUS 986120 HAS SOUPS 355826 WITH SCORE 372283.251
AT ITER 4694 NEW BEST:: SOT 19080981 SOS 16466555 HAS SOPS 8017370 HAS SOUS 984842 HAS SOUPS 354548 WITH SCORE 371014.555
AT ITER 4775 NEW BEST:: SOT 19080981 SOS 16466555 HAS SOPS 8017370 HAS SOUS 984674 HAS SOUPS 354380 WITH SCORE 370846.555
AT ITER 4780 NEW BEST:: SOT 19080489 SOS 16474363 HAS SOPS 8021610 HAS SOUS 984627 HAS SOUPS 354333 WITH SCORE 370807.363
AT ITER 4783 NEW BEST:: SOT 19078723 SOS 16488359 HAS SOPS 8024590 HAS SOUS 985038 HAS SOUPS 354285 WITH SCORE 370773.359
AT ITER 4800 NEW BEST:: SOT 19078801 SOS 16483275 HAS SOPS 8022650 HAS SOUS 984828 HAS SOUPS 354206 WITH SCORE 370689.275
AT ITER 4801 NEW BEST:: SOT 19073623 SOS 16474660 HAS SOPS 8018755 HAS SOUS 984302 HAS SOUPS 353745 WITH SCORE 370219.66
AT ITER 4820 NEW BEST:: SOT 19073623 SOS 16475580 HAS SOPS 8018755 HAS SOUS 984187 HAS SOUPS 353515 WITH SCORE 369990.58
AT ITER 4828 NEW BEST:: SOT 19073584 SOS 16475046 HAS SOPS 8018677 HAS SOUS 984034 HAS SOUPS 353419 WITH SCORE 369894.046
AT ITER 4841 NEW BEST:: SOT 19072373 SOS 16471620 HAS SOPS 8017259 HAS SOUS 983325 HAS SOUPS 352961 WITH SCORE 369432.62
AT ITER 4843 NEW BEST:: SOT 19072445 SOS 16471764 HAS SOPS 8017403 HAS SOUS 983248 HAS SOUPS 352884 WITH SCORE 369355.764
AT ITER 4848 NEW BEST:: SOT 19072418 SOS 16472902 HAS SOPS 8017349 HAS SOUS 983221 HAS SOUPS 352708 WITH SCORE 369180.902
AT ITER 4855 NEW BEST:: SOT 19072242 SOS 16472198 HAS SOPS 8016645 HAS SOUS 983045 HAS SOUPS 352532 WITH SCORE 369004.198
AT ITER 4867 NEW BEST:: SOT 19070810 SOS 16475830 HAS SOPS 8015405 HAS SOUS 982601 HAS SOUPS 351885 WITH SCORE 368360.83
AT ITER 4899 NEW BEST:: SOT 19070445 SOS 16472828 HAS SOPS 8014675 HAS SOUS 981768 HAS SOUPS 351336 WITH SCORE 367808.828
AT ITER 4901 NEW BEST:: SOT 19069653 SOS 16471244 HAS SOPS 8013091 HAS SOUS 981135 HAS SOUPS 350703 WITH SCORE 367174.244
AT ITER 4910 NEW BEST:: SOT 19069653 SOS 16471244 HAS SOPS 8013091 HAS SOUS 981051 HAS SOUPS 350619 WITH SCORE 367090.244
AT ITER 4932 NEW BEST:: SOT 19069503 SOS 16471544 HAS SOPS 8012791 HAS SOUS 981041 HAS SOUPS 350534 WITH SCORE 367005.544
AT ITER 4934 NEW BEST:: SOT 19069503 SOS 16471544 HAS SOPS 8012791 HAS SOUS 980875 HAS SOUPS 350368 WITH SCORE 366839.544
AT ITER 4936 NEW BEST:: SOT 19069503 SOS 16471544 HAS SOPS 8012791 HAS SOUS 980707 HAS SOUPS 350200 WITH SCORE 366671.544
AT ITER 4976 NEW BEST:: SOT 19069503 SOS 16470200 HAS SOPS 8012775 HAS SOUS 980659 HAS SOUPS 350152 WITH SCORE 366622.2
AT ITER 5021 NEW BEST:: SOT 19069011 SOS 16418096 HAS SOPS 8012359 HAS SOUS 979116 HAS SOUPS 349177 WITH SCORE 365595.096
AT ITER 5030 NEW BEST:: SOT 19069011 SOS 16418096 HAS SOPS 8012359 HAS SOUS 978948 HAS SOUPS 349009 WITH SCORE 365427.096
AT ITER 5043 NEW BEST:: SOT 19062066 SOS 16405997 HAS SOPS 8007848 HAS SOUS 978145 HAS SOUPS 348748 WITH SCORE 365153.997
AT ITER 5048 NEW BEST:: SOT 19061958 SOS 16405835 HAS SOPS 8007200 HAS SOUS 977983 HAS SOUPS 348532 WITH SCORE 364937.835
AT ITER 5049 NEW BEST:: SOT 19061958 SOS 16405835 HAS SOPS 8007200 HAS SOUS 977977 HAS SOUPS 348526 WITH SCORE 364931.835
AT ITER 5071 NEW BEST:: SOT 19060533 SOS 16402984 HAS SOPS 8006715 HAS SOUS 977281 HAS SOUPS 348300 WITH SCORE 364702.984
AT ITER 5075 NEW BEST:: SOT 19059391 SOS 16408620 HAS SOPS 8007599 HAS SOUS 976928 HAS SOUPS 347749 WITH SCORE 364157.62
AT ITER 5125 NEW BEST:: SOT 19052826 SOS 16397029 HAS SOPS 8003358 HAS SOUS 976110 HAS SOUPS 347456 WITH SCORE 363853.029
AT ITER 5131 NEW BEST:: SOT 19052649 SOS 16396675 HAS SOPS 8003004 HAS SOUS 975933 HAS SOUPS 347279 WITH SCORE 363675.675
AT ITER 5150 NEW BEST:: SOT 19052561 SOS 16396675 HAS SOPS 8003004 HAS SOUS 975845 HAS SOUPS 347191 WITH SCORE 363587.675
AT ITER 5160 NEW BEST:: SOT 19052515 SOS 16395943 HAS SOPS 8002272 HAS SOUS 975814 HAS SOUPS 347160 WITH SCORE 363555.94299999997
AT ITER 5171 NEW BEST:: SOT 19052515 SOS 16394159 HAS SOPS 8002608 HAS SOUS 975164 HAS SOUPS 346775 WITH SCORE 363169.159
AT ITER 5221 NEW BEST:: SOT 19052509 SOS 16395507 HAS SOPS 8002588 HAS SOUS 975329 HAS SOUPS 346769 WITH SCORE 363164.507
AT ITER 5229 NEW BEST:: SOT 19053126 SOS 16386701 HAS SOPS 7998998 HAS SOUS 975318 HAS SOUPS 346758 WITH SCORE 363144.701
AT ITER 5263 NEW BEST:: SOT 19053126 SOS 16386669 HAS SOPS 7998966 HAS SOUS 975318 HAS SOUPS 346758 WITH SCORE 363144.669
AT ITER 5278 NEW BEST:: SOT 19047540 SOS 16379636 HAS SOPS 7993500 HAS SOUS 975109 HAS SOUPS 346275 WITH SCORE 362654.636
AT ITER 5283 NEW BEST:: SOT 19040882 SOS 16368042 HAS SOPS 7989116 HAS SOUS 974166 HAS SOUPS 345847 WITH SCORE 362215.042
AT ITER 5325 NEW BEST:: SOT 19040845 SOS 16367968 HAS SOPS 7989042 HAS SOUS 974093 HAS SOUPS 345774 WITH SCORE 362141.968
AT ITER 5344 NEW BEST:: SOT 19039540 SOS 16379198 HAS SOPS 7992896 HAS SOUS 973584 HAS SOUPS 345265 WITH SCORE 361644.198
AT ITER 5361 NEW BEST:: SOT 19039279 SOS 16376228 HAS SOPS 7993606 HAS SOUS 972788 HAS SOUPS 344929 WITH SCORE 361305.228
AT ITER 5376 NEW BEST:: SOT 19038645 SOS 16374276 HAS SOPS 7991654 HAS SOUS 972554 HAS SOUPS 344695 WITH SCORE 361069.276
AT ITER 5377 NEW BEST:: SOT 19038645 SOS 16374276 HAS SOPS 7991654 HAS SOUS 972500 HAS SOUPS 344641 WITH SCORE 361015.276
AT ITER 5390 NEW BEST:: SOT 19037498 SOS 16378358 HAS SOPS 7991464 HAS SOUS 972249 HAS SOUPS 344212 WITH SCORE 360590.358
AT ITER 5391 NEW BEST:: SOT 19037276 SOS 16375730 HAS SOPS 7991020 HAS SOUS 971730 HAS SOUPS 343966 WITH SCORE 360341.73
AT ITER 5409 NEW BEST:: SOT 19037212 SOS 16375602 HAS SOPS 7990892 HAS SOUS 971666 HAS SOUPS 343902 WITH SCORE 360277.602
AT ITER 5470 NEW BEST:: SOT 19036992 SOS 16376042 HAS SOPS 7990452 HAS SOUS 971365 HAS SOUPS 343491 WITH SCORE 359867.042
AT ITER 5486 NEW BEST:: SOT 19036992 SOS 16376042 HAS SOPS 7990452 HAS SOUS 971345 HAS SOUPS 343471 WITH SCORE 359847.042
AT ITER 5489 NEW BEST:: SOT 19035689 SOS 16382228 HAS SOPS 7991262 HAS SOUS 971200 HAS SOUPS 343326 WITH SCORE 359708.228
AT ITER 5491 NEW BEST:: SOT 19035689 SOS 16382228 HAS SOPS 7991262 HAS SOUS 971084 HAS SOUPS 343210 WITH SCORE 359592.228
AT ITER 5511 NEW BEST:: SOT 19035394 SOS 16383398 HAS SOPS 7992432 HAS SOUS 970641 HAS SOUPS 342767 WITH SCORE 359150.398
AT ITER 5549 NEW BEST:: SOT 19035218 SOS 16385766 HAS SOPS 7993712 HAS SOUS 970629 HAS SOUPS 342755 WITH SCORE 359140.766
AT ITER 5654 NEW BEST:: SOT 19035218 SOS 16385766 HAS SOPS 7993712 HAS SOUS 970461 HAS SOUPS 342587 WITH SCORE 358972.766
AT ITER 5661 NEW BEST:: SOT 19035188 SOS 16385866 HAS SOPS 7993716 HAS SOUS 970453 HAS SOUPS 342575 WITH SCORE 358960.866
AT ITER 5669 NEW BEST:: SOT 19035188 SOS 16385866 HAS SOPS 7993079 HAS SOUS 970453 HAS SOUPS 342568 WITH SCORE 358953.866
AT ITER 5743 NEW BEST:: SOT 19033763 SOS 16403440 HAS SOPS 7999013 HAS SOUS 970700 HAS SOUPS 342330 WITH SCORE 358733.44
AT ITER 5777 NEW BEST:: SOT 19033703 SOS 16402780 HAS SOPS 7999133 HAS SOUS 970688 HAS SOUPS 342306 WITH SCORE 358708.78
AT ITER 5810 NEW BEST:: SOT 19033497 SOS 16402368 HAS SOPS 7998721 HAS SOUS 970452 HAS SOUPS 342070 WITH SCORE 358472.368
AT ITER 5848 NEW BEST:: SOT 19033497 SOS 16402368 HAS SOPS 7998721 HAS SOUS 970284 HAS SOUPS 341902 WITH SCORE 358304.368
AT ITER 5863 NEW BEST:: SOT 19033497 SOS 16402368 HAS SOPS 7998721 HAS SOUS 970268 HAS SOUPS 341886 WITH SCORE 358288.368
AT ITER 5880 NEW BEST:: SOT 19031986 SOS 16410578 HAS SOPS 8001027 HAS SOUS 969366 HAS SOUPS 340984 WITH SCORE 357394.578
AT ITER 5893 NEW BEST:: SOT 19031686 SOS 16409678 HAS SOPS 8000727 HAS SOUS 969216 HAS SOUPS 340909 WITH SCORE 357318.678
AT ITER 5902 NEW BEST:: SOT 19031746 SOS 16407398 HAS SOPS 7999407 HAS SOUS 969216 HAS SOUPS 340909 WITH SCORE 357316.398
AT ITER 5923 NEW BEST:: SOT 19031970 SOS 16408486 HAS SOPS 7999535 HAS SOUS 969216 HAS SOUPS 340877 WITH SCORE 357285.486
AT ITER 5952 NEW BEST:: SOT 19031927 SOS 16408589 HAS SOPS 7997937 HAS SOUS 969173 HAS SOUPS 340645 WITH SCORE 357053.589
AT ITER 5957 NEW BEST:: SOT 19031919 SOS 16408573 HAS SOPS 7997921 HAS SOUS 969165 HAS SOUPS 340637 WITH SCORE 357045.573
AT ITER 6003 NEW BEST:: SOT 19031636 SOS 16408007 HAS SOPS 7997355 HAS SOUS 968640 HAS SOUPS 340112 WITH SCORE 356520.007
AT ITER 6007 NEW BEST:: SOT 19031636 SOS 16408007 HAS SOPS 7997355 HAS SOUS 968594 HAS SOUPS 340066 WITH SCORE 356474.007
AT ITER 6014 NEW BEST:: SOT 19031523 SOS 16406877 HAS SOPS 7997129 HAS SOUS 968340 HAS SOUPS 339925 WITH SCORE 356331.877
AT ITER 6039 NEW BEST:: SOT 19026951 SOS 16399255 HAS SOPS 7993955 HAS SOUS 968234 HAS SOUPS 339900 WITH SCORE 356299.255
AT ITER 6045 NEW BEST:: SOT 19026187 SOS 16397727 HAS SOPS 7992427 HAS SOUS 968057 HAS SOUPS 339723 WITH SCORE 356120.727
AT ITER 6056 NEW BEST:: SOT 19026047 SOS 16397303 HAS SOPS 7992291 HAS SOUS 967986 HAS SOUPS 339688 WITH SCORE 356085.303
AT ITER 6115 NEW BEST:: SOT 19026047 SOS 16397303 HAS SOPS 7992291 HAS SOUS 967818 HAS SOUPS 339520 WITH SCORE 355917.303
AT ITER 6131 NEW BEST:: SOT 19026046 SOS 16397302 HAS SOPS 7992290 HAS SOUS 967817 HAS SOUPS 339519 WITH SCORE 355916.302
AT ITER 6207 NEW BEST:: SOT 19026046 SOS 16397302 HAS SOPS 7992290 HAS SOUS 967649 HAS SOUPS 339351 WITH SCORE 355748.302
AT ITER 6210 NEW BEST:: SOT 19026099 SOS 16396360 HAS SOPS 7992396 HAS SOUS 967493 HAS SOUPS 339326 WITH SCORE 355722.36
AT ITER 6224 NEW BEST:: SOT 19025728 SOS 16395618 HAS SOPS 7991654 HAS SOUS 966975 HAS SOUPS 338808 WITH SCORE 355203.618
AT ITER 6243 NEW BEST:: SOT 19025380 SOS 16394574 HAS SOPS 7990610 HAS SOUS 966888 HAS SOUPS 338721 WITH SCORE 355115.574
AT ITER 6254 NEW BEST:: SOT 19025222 SOS 16394258 HAS SOPS 7990294 HAS SOUS 966730 HAS SOUPS 338563 WITH SCORE 354957.25800000003
AT ITER 6266 NEW BEST:: SOT 19025018 SOS 16393850 HAS SOPS 7989886 HAS SOUS 966526 HAS SOUPS 338359 WITH SCORE 354752.85
AT ITER 6269 NEW BEST:: SOT 19024905 SOS 16393624 HAS SOPS 7991956 HAS SOUS 966126 HAS SOUPS 338246 WITH SCORE 354639.624
AT ITER 6278 NEW BEST:: SOT 19024072 SOS 16394814 HAS SOPS 7990290 HAS SOUS 965598 HAS SOUPS 337599 WITH SCORE 353993.814
AT ITER 6296 NEW BEST:: SOT 19024072 SOS 16394814 HAS SOPS 7990290 HAS SOUS 965478 HAS SOUPS 337479 WITH SCORE 353873.814
AT ITER 6303 NEW BEST:: SOT 19024072 SOS 16394814 HAS SOPS 7990290 HAS SOUS 965432 HAS SOUPS 337433 WITH SCORE 353827.814
AT ITER 6331 NEW BEST:: SOT 19024072 SOS 16394814 HAS SOPS 7990290 HAS SOUS 965394 HAS SOUPS 337395 WITH SCORE 353789.814
AT ITER 6347 NEW BEST:: SOT 19024072 SOS 16394814 HAS SOPS 7990290 HAS SOUS 965370 HAS SOUPS 337371 WITH SCORE 353765.814
AT ITER 6357 NEW BEST:: SOT 19024072 SOS 16394814 HAS SOPS 7990290 HAS SOUS 965366 HAS SOUPS 337367 WITH SCORE 353761.814
AT ITER 6363 NEW BEST:: SOT 19023244 SOS 16391850 HAS SOPS 7989942 HAS SOUS 965034 HAS SOUPS 337362 WITH SCORE 353753.85
AT ITER 6368 NEW BEST:: SOT 19022844 SOS 16393498 HAS SOPS 7989670 HAS SOUS 965040 HAS SOUPS 337288 WITH SCORE 353681.498
AT ITER 6392 NEW BEST:: SOT 19022844 SOS 16393498 HAS SOPS 7989670 HAS SOUS 964872 HAS SOUPS 337120 WITH SCORE 353513.498
AT ITER 6453 NEW BEST:: SOT 19022844 SOS 16393498 HAS SOPS 7989670 HAS SOUS 964802 HAS SOUPS 337050 WITH SCORE 353443.498
AT ITER 6494 NEW BEST:: SOT 19022844 SOS 16393498 HAS SOPS 7989670 HAS SOUS 964770 HAS SOUPS 337018 WITH SCORE 353411.498
AT ITER 6517 NEW BEST:: SOT 19022866 SOS 16393742 HAS SOPS 7989514 HAS SOUS 964818 HAS SOUPS 337016 WITH SCORE 353409.742
AT ITER 6561 NEW BEST:: SOT 19022680 SOS 16393370 HAS SOPS 7989142 HAS SOUS 964632 HAS SOUPS 336830 WITH SCORE 353223.37
AT ITER 6562 NEW BEST:: SOT 19022723 SOS 16392472 HAS SOPS 7989228 HAS SOUS 964477 HAS SOUPS 336798 WITH SCORE 353190.472
AT ITER 6603 NEW BEST:: SOT 19022645 SOS 16392316 HAS SOPS 7989072 HAS SOUS 964392 HAS SOUPS 336713 WITH SCORE 353105.316
AT ITER 6609 NEW BEST:: SOT 19022645 SOS 16392316 HAS SOPS 7989072 HAS SOUS 964388 HAS SOUPS 336709 WITH SCORE 353101.316
AT ITER 6620 NEW BEST:: SOT 19022645 SOS 16392316 HAS SOPS 7989072 HAS SOUS 964358 HAS SOUPS 336679 WITH SCORE 353071.316
AT ITER 6630 NEW BEST:: SOT 19022519 SOS 16391686 HAS SOPS 7988946 HAS SOUS 964218 HAS SOUPS 336602 WITH SCORE 352993.686
AT ITER 6638 NEW BEST:: SOT 19021803 SOS 16389434 HAS SOPS 7988334 HAS SOUS 963879 HAS SOUPS 336468 WITH SCORE 352857.434
AT ITER 6703 NEW BEST:: SOT 19021803 SOS 16389378 HAS SOPS 7988278 HAS SOUS 963879 HAS SOUPS 336468 WITH SCORE 352857.378
AT ITER 6736 NEW BEST:: SOT 19022565 SOS 16393386 HAS SOPS 7992286 HAS SOUS 963698 HAS SOUPS 336287 WITH SCORE 352680.386
AT ITER 6737 NEW BEST:: SOT 19022565 SOS 16393386 HAS SOPS 7992286 HAS SOUS 963550 HAS SOUPS 336139 WITH SCORE 352532.386
AT ITER 6739 NEW BEST:: SOT 19021147 SOS 16389298 HAS SOPS 7990702 HAS SOUS 962758 HAS SOUPS 335660 WITH SCORE 352049.298
AT ITER 6741 NEW BEST:: SOT 19021147 SOS 16389218 HAS SOPS 7990622 HAS SOUS 962598 HAS SOUPS 335500 WITH SCORE 351889.218
AT ITER 6773 NEW BEST:: SOT 19020666 SOS 16398992 HAS SOPS 7995772 HAS SOUS 962453 HAS SOUPS 335355 WITH SCORE 351753.992
AT ITER 6805 NEW BEST:: SOT 19020771 SOS 16395082 HAS SOPS 7993510 HAS SOUS 962455 HAS SOUPS 335357 WITH SCORE 351752.082
AT ITER 6830 NEW BEST:: SOT 19020771 SOS 16395082 HAS SOPS 7993510 HAS SOUS 962375 HAS SOUPS 335277 WITH SCORE 351672.082
AT ITER 6842 NEW BEST:: SOT 19020725 SOS 16394990 HAS SOPS 7993418 HAS SOUS 962328 HAS SOUPS 335230 WITH SCORE 351624.99
AT ITER 6853 NEW BEST:: SOT 19020657 SOS 16395466 HAS SOPS 7993486 HAS SOUS 962294 HAS SOUPS 335179 WITH SCORE 351574.466
AT ITER 6897 NEW BEST:: SOT 19013975 SOS 16384245 HAS SOPS 7988903 HAS SOUS 961972 HAS SOUPS 335096 WITH SCORE 351480.245
AT ITER 6904 NEW BEST:: SOT 19013548 SOS 16413967 HAS SOPS 7988413 HAS SOUS 961408 HAS SOUPS 334532 WITH SCORE 350945.967
AT ITER 6952 NEW BEST:: SOT 19012586 SOS 16412339 HAS SOPS 7987821 HAS SOUS 961278 HAS SOUPS 334476 WITH SCORE 350888.339
AT ITER 6982 NEW BEST:: SOT 19012540 SOS 16413167 HAS SOPS 7988649 HAS SOUS 961214 HAS SOUPS 334412 WITH SCORE 350825.167
AT ITER 6995 NEW BEST:: SOT 19012096 SOS 16411887 HAS SOPS 7987369 HAS SOUS 961035 HAS SOUPS 334233 WITH SCORE 350644.887
AT ITER 7005 NEW BEST:: SOT 19012096 SOS 16411887 HAS SOPS 7987369 HAS SOUS 961003 HAS SOUPS 334201 WITH SCORE 350612.887
AT ITER 7017 NEW BEST:: SOT 19012273 SOS 16408619 HAS SOPS 7985191 HAS SOUS 960948 HAS SOUPS 334077 WITH SCORE 350485.619
AT ITER 7026 NEW BEST:: SOT 19012350 SOS 16408869 HAS SOPS 7985249 HAS SOUS 960964 HAS SOUPS 334069 WITH SCORE 350477.869
AT ITER 7027 NEW BEST:: SOT 19013300 SOS 16411889 HAS SOPS 7986029 HAS SOUS 960995 HAS SOUPS 333820 WITH SCORE 350231.889
AT ITER 7057 NEW BEST:: SOT 19012995 SOS 16411279 HAS SOPS 7985419 HAS SOUS 960385 HAS SOUPS 333210 WITH SCORE 349621.279
AT ITER 7068 NEW BEST:: SOT 19012887 SOS 16411063 HAS SOPS 7985203 HAS SOUS 960169 HAS SOUPS 332994 WITH SCORE 349405.063
AT ITER 7084 NEW BEST:: SOT 19006342 SOS 16399709 HAS SOPS 7980983 HAS SOUS 960004 HAS SOUPS 332988 WITH SCORE 349387.709
AT ITER 7129 NEW BEST:: SOT 19006342 SOS 16399709 HAS SOPS 7980983 HAS SOUS 960001 HAS SOUPS 332986 WITH SCORE 349385.709
AT ITER 7160 NEW BEST:: SOT 19006342 SOS 16399562 HAS SOPS 7980815 HAS SOUS 959970 HAS SOUPS 332955 WITH SCORE 349354.562
AT ITER 7171 NEW BEST:: SOT 19006294 SOS 16400106 HAS SOPS 7981103 HAS SOUS 959938 HAS SOUPS 332923 WITH SCORE 349323.106
AT ITER 7189 NEW BEST:: SOT 19005443 SOS 16396520 HAS SOPS 7981285 HAS SOUS 959214 HAS SOUPS 332670 WITH SCORE 349066.52
AT ITER 7229 NEW BEST:: SOT 19005443 SOS 16396520 HAS SOPS 7981285 HAS SOUS 959182 HAS SOUPS 332638 WITH SCORE 349034.52
AT ITER 7244 NEW BEST:: SOT 19005443 SOS 16396520 HAS SOPS 7981285 HAS SOUS 959067 HAS SOUPS 332636 WITH SCORE 349032.52
AT ITER 7253 NEW BEST:: SOT 19005206 SOS 16394414 HAS SOPS 7982435 HAS SOUS 958255 HAS SOUPS 332231 WITH SCORE 348625.414
AT ITER 7266 NEW BEST:: SOT 19005206 SOS 16394414 HAS SOPS 7982435 HAS SOUS 958151 HAS SOUPS 332127 WITH SCORE 348521.414
AT ITER 7271 NEW BEST:: SOT 19006119 SOS 16396487 HAS SOPS 7982680 HAS SOUS 958249 HAS SOUPS 331891 WITH SCORE 348287.487
AT ITER 7303 NEW BEST:: SOT 19006119 SOS 16396487 HAS SOPS 7982680 HAS SOUS 958239 HAS SOUPS 331881 WITH SCORE 348277.487
AT ITER 7355 NEW BEST:: SOT 19006119 SOS 16396487 HAS SOPS 7982680 HAS SOUS 958209 HAS SOUPS 331851 WITH SCORE 348247.487
AT ITER 7384 NEW BEST:: SOT 19005973 SOS 16396314 HAS SOPS 7982561 HAS SOUS 958143 HAS SOUPS 331812 WITH SCORE 348208.314
AT ITER 7397 NEW BEST:: SOT 19005964 SOS 16396296 HAS SOPS 7982543 HAS SOUS 958099 HAS SOUPS 331768 WITH SCORE 348164.296
AT ITER 7472 NEW BEST:: SOT 19005964 SOS 16396296 HAS SOPS 7982543 HAS SOUS 957971 HAS SOUPS 331640 WITH SCORE 348036.296
AT ITER 7498 NEW BEST:: SOT 19005953 SOS 16396274 HAS SOPS 7981833 HAS SOUS 958046 HAS SOUPS 331629 WITH SCORE 348025.274
AT ITER 7545 NEW BEST:: SOT 19005924 SOS 16396216 HAS SOPS 7981775 HAS SOUS 957757 HAS SOUPS 331340 WITH SCORE 347736.216
AT ITER 7584 NEW BEST:: SOT 19005954 SOS 16386052 HAS SOPS 7976723 HAS SOUS 957209 HAS SOUPS 331005 WITH SCORE 347391.052
AT ITER 7621 NEW BEST:: SOT 19005954 SOS 16386052 HAS SOPS 7976723 HAS SOUS 957077 HAS SOUPS 330873 WITH SCORE 347259.052
AT ITER 7716 NEW BEST:: SOT 19005841 SOS 16381306 HAS SOPS 7973785 HAS SOUS 956851 HAS SOUPS 330647 WITH SCORE 347028.306
AT ITER 7719 NEW BEST:: SOT 19005841 SOS 16381306 HAS SOPS 7973785 HAS SOUS 956839 HAS SOUPS 330635 WITH SCORE 347016.306
AT ITER 7720 NEW BEST:: SOT 19005489 SOS 16380925 HAS SOPS 7973404 HAS SOUS 956790 HAS SOUPS 330586 WITH SCORE 346966.925
AT ITER 7784 NEW BEST:: SOT 18999912 SOS 16371353 HAS SOPS 7969992 HAS SOUS 956347 HAS SOUPS 330583 WITH SCORE 346954.353
AT ITER 7880 NEW BEST:: SOT 18999912 SOS 16371353 HAS SOPS 7969992 HAS SOUS 956203 HAS SOUPS 330439 WITH SCORE 346810.353
AT ITER 7896 NEW BEST:: SOT 18999228 SOS 16370537 HAS SOPS 7969176 HAS SOUS 955933 HAS SOUPS 330169 WITH SCORE 346539.537
AT ITER 7934 NEW BEST:: SOT 18999359 SOS 16364583 HAS SOPS 7966366 HAS SOUS 955802 HAS SOUPS 330169 WITH SCORE 346533.583
AT ITER 7945 NEW BEST:: SOT 18999359 SOS 16364583 HAS SOPS 7966366 HAS SOUS 955680 HAS SOUPS 330047 WITH SCORE 346411.583
AT ITER 7956 NEW BEST:: SOT 18999359 SOS 16364583 HAS SOPS 7966366 HAS SOUS 955636 HAS SOUPS 330003 WITH SCORE 346367.583
AT ITER 7965 NEW BEST:: SOT 18998990 SOS 16366485 HAS SOPS 7967212 HAS SOUS 955531 HAS SOUPS 329898 WITH SCORE 346264.485
AT ITER 7970 NEW BEST:: SOT 18993632 SOS 16357610 HAS SOPS 7963471 HAS SOUS 955267 HAS SOUPS 329704 WITH SCORE 346061.61
AT ITER 8008 NEW BEST:: SOT 18993376 SOS 16355726 HAS SOPS 7961587 HAS SOUS 955011 HAS SOUPS 329448 WITH SCORE 345803.726
AT ITER 8036 NEW BEST:: SOT 18993369 SOS 16355712 HAS SOPS 7961573 HAS SOUS 955004 HAS SOUPS 329441 WITH SCORE 345796.712
AT ITER 8084 NEW BEST:: SOT 18993369 SOS 16355712 HAS SOPS 7961573 HAS SOUS 954898 HAS SOUPS 329335 WITH SCORE 345690.712
AT ITER 8145 NEW BEST:: SOT 18993250 SOS 16355943 HAS SOPS 7961048 HAS SOUS 954723 HAS SOUPS 329069 WITH SCORE 345424.943
AT ITER 8146 NEW BEST:: SOT 18993074 SOS 16355591 HAS SOPS 7960696 HAS SOUS 954712 HAS SOUPS 329058 WITH SCORE 345413.591
AT ITER 8155 NEW BEST:: SOT 18993058 SOS 16355559 HAS SOPS 7960664 HAS SOUS 954696 HAS SOUPS 329042 WITH SCORE 345397.559
AT ITER 8217 NEW BEST:: SOT 18992414 SOS 16353731 HAS SOPS 7958836 HAS SOUS 954322 HAS SOUPS 328668 WITH SCORE 345021.731
AT ITER 8237 NEW BEST:: SOT 18992270 SOS 16353443 HAS SOPS 7958548 HAS SOUS 954178 HAS SOUPS 328524 WITH SCORE 344877.443
AT ITER 8295 NEW BEST:: SOT 18992180 SOS 16353398 HAS SOPS 7958503 HAS SOUS 954178 HAS SOUPS 328524 WITH SCORE 344877.398
AT ITER 8327 NEW BEST:: SOT 18992200 SOS 16353438 HAS SOPS 7958543 HAS SOUS 954086 HAS SOUPS 328432 WITH SCORE 344785.438
AT ITER 8392 NEW BEST:: SOT 18991889 SOS 16351341 HAS SOPS 7957990 HAS SOUS 953502 HAS SOUPS 328041 WITH SCORE 344392.341
AT ITER 8402 NEW BEST:: SOT 18993905 SOS 16354797 HAS SOPS 7959206 HAS SOUS 953598 HAS SOUPS 327977 WITH SCORE 344331.797
AT ITER 8433 NEW BEST:: SOT 18993905 SOS 16354797 HAS SOPS 7959206 HAS SOUS 953580 HAS SOUPS 327959 WITH SCORE 344313.797
AT ITER 8458 NEW BEST:: SOT 18993905 SOS 16354797 HAS SOPS 7959206 HAS SOUS 953472 HAS SOUPS 327851 WITH SCORE 344205.797
AT ITER 8460 NEW BEST:: SOT 18993659 SOS 16355321 HAS SOPS 7959106 HAS SOUS 953353 HAS SOUPS 327732 WITH SCORE 344087.321
AT ITER 8472 NEW BEST:: SOT 18993018 SOS 16351573 HAS SOPS 7958646 HAS SOUS 952849 HAS SOUPS 327639 WITH SCORE 343990.573
AT ITER 8480 NEW BEST:: SOT 18992644 SOS 16350001 HAS SOPS 7957894 HAS SOUS 952323 HAS SOUPS 327489 WITH SCORE 343839.001
AT ITER 8488 NEW BEST:: SOT 18992644 SOS 16350001 HAS SOPS 7957894 HAS SOUS 952311 HAS SOUPS 327477 WITH SCORE 343827.001
AT ITER 8509 NEW BEST:: SOT 18992441 SOS 16351043 HAS SOPS 7957416 HAS SOUS 952298 HAS SOUPS 327274 WITH SCORE 343625.043
AT ITER 8528 NEW BEST:: SOT 18992001 SOS 16349723 HAS SOPS 7956096 HAS SOUS 952188 HAS SOUPS 327164 WITH SCORE 343513.723
AT ITER 8531 NEW BEST:: SOT 18992421 SOS 16350143 HAS SOPS 7956306 HAS SOUS 952118 HAS SOUPS 327094 WITH SCORE 343444.143
AT ITER 8544 NEW BEST:: SOT 18992421 SOS 16350143 HAS SOPS 7956306 HAS SOUS 952078 HAS SOUPS 327054 WITH SCORE 343404.143
AT ITER 8551 NEW BEST:: SOT 18992421 SOS 16350143 HAS SOPS 7956306 HAS SOUS 952072 HAS SOUPS 327048 WITH SCORE 343398.143
AT ITER 8579 NEW BEST:: SOT 18992421 SOS 16350143 HAS SOPS 7956306 HAS SOUS 952002 HAS SOUPS 326978 WITH SCORE 343328.143
AT ITER 8585 NEW BEST:: SOT 18992421 SOS 16350143 HAS SOPS 7956306 HAS SOUS 952000 HAS SOUPS 326976 WITH SCORE 343326.143
AT ITER 8651 NEW BEST:: SOT 18992161 SOS 16349295 HAS SOPS 7956114 HAS SOUS 951909 HAS SOUPS 326967 WITH SCORE 343316.295
AT ITER 8671 NEW BEST:: SOT 18992059 SOS 16349805 HAS SOPS 7955808 HAS SOUS 951826 HAS SOUPS 326782 WITH SCORE 343131.805
AT ITER 8691 NEW BEST:: SOT 18991992 SOS 16343574 HAS SOPS 7953672 HAS SOUS 951782 HAS SOUPS 326783 WITH SCORE 343126.574
AT ITER 8726 NEW BEST:: SOT 18991992 SOS 16343574 HAS SOPS 7953672 HAS SOUS 951702 HAS SOUPS 326703 WITH SCORE 343046.574
AT ITER 8729 NEW BEST:: SOT 18991992 SOS 16343574 HAS SOPS 7953672 HAS SOUS 951534 HAS SOUPS 326535 WITH SCORE 342878.574
AT ITER 8731 NEW BEST:: SOT 18991867 SOS 16343500 HAS SOPS 7951886 HAS SOUS 951258 HAS SOUPS 326045 WITH SCORE 342388.5
AT ITER 8738 NEW BEST:: SOT 18991857 SOS 16344600 HAS SOPS 7951866 HAS SOUS 951385 HAS SOUPS 326032 WITH SCORE 342376.6
AT ITER 8743 NEW BEST:: SOT 18991857 SOS 16344600 HAS SOPS 7951866 HAS SOUS 951349 HAS SOUPS 325996 WITH SCORE 342340.6
AT ITER 8797 NEW BEST:: SOT 18991821 SOS 16344652 HAS SOPS 7951670 HAS SOUS 951344 HAS SOUPS 325960 WITH SCORE 342304.652
AT ITER 8804 NEW BEST:: SOT 18991902 SOS 16319558 HAS SOPS 7931945 HAS SOUS 951204 HAS SOUPS 325879 WITH SCORE 342198.558
AT ITER 8948 NEW BEST:: SOT 18991025 SOS 16316696 HAS SOPS 7929083 HAS SOUS 950989 HAS SOUPS 325664 WITH SCORE 341980.696
AT ITER 9087 NEW BEST:: SOT 18991025 SOS 16316696 HAS SOPS 7929083 HAS SOUS 950891 HAS SOUPS 325566 WITH SCORE 341882.696
AT ITER 9108 NEW BEST:: SOT 18991040 SOS 16315430 HAS SOPS 7929113 HAS SOUS 950597 HAS SOUPS 325434 WITH SCORE 341749.43
AT ITER 9122 NEW BEST:: SOT 18991040 SOS 16315430 HAS SOPS 7929113 HAS SOUS 950593 HAS SOUPS 325430 WITH SCORE 341745.43
AT ITER 9139 NEW BEST:: SOT 18991879 SOS 16317219 HAS SOPS 7929469 HAS SOUS 950519 HAS SOUPS 325319 WITH SCORE 341636.219
AT ITER 9141 NEW BEST:: SOT 18991109 SOS 16315515 HAS SOPS 7927765 HAS SOUS 950156 HAS SOUPS 324956 WITH SCORE 341271.515
AT ITER 9155 NEW BEST:: SOT 18990857 SOS 16315011 HAS SOPS 7927261 HAS SOUS 949869 HAS SOUPS 324669 WITH SCORE 340984.011
AT ITER 9163 NEW BEST:: SOT 18990903 SOS 16315011 HAS SOPS 7927261 HAS SOUS 949823 HAS SOUPS 324623 WITH SCORE 340938.011
AT ITER 9207 NEW BEST:: SOT 18989579 SOS 16316803 HAS SOPS 7926218 HAS SOUS 948838 HAS SOUPS 323638 WITH SCORE 339954.803
AT ITER 9208 NEW BEST:: SOT 18989545 SOS 16313675 HAS SOPS 7923090 HAS SOUS 948804 HAS SOUPS 323604 WITH SCORE 339917.675
AT ITER 9236 NEW BEST:: SOT 18989182 SOS 16313034 HAS SOPS 7923005 HAS SOUS 948490 HAS SOUPS 323429 WITH SCORE 339742.034
AT ITER 9241 NEW BEST:: SOT 18989182 SOS 16313034 HAS SOPS 7923005 HAS SOUS 948418 HAS SOUPS 323357 WITH SCORE 339670.034
AT ITER 9243 NEW BEST:: SOT 18989324 SOS 16309078 HAS SOPS 7920745 HAS SOUS 948405 HAS SOUPS 323344 WITH SCORE 339653.078
AT ITER 9270 NEW BEST:: SOT 18989334 SOS 16308442 HAS SOPS 7920765 HAS SOUS 948260 HAS SOUPS 323281 WITH SCORE 339589.442
AT ITER 9284 NEW BEST:: SOT 18989334 SOS 16308442 HAS SOPS 7920765 HAS SOUS 948152 HAS SOUPS 323173 WITH SCORE 339481.442
AT ITER 9317 NEW BEST:: SOT 18989384 SOS 16306382 HAS SOPS 7919777 HAS SOUS 948074 HAS SOUPS 323095 WITH SCORE 339401.382
AT ITER 9369 NEW BEST:: SOT 18989202 SOS 16307002 HAS SOPS 7919413 HAS SOUS 947892 HAS SOUPS 322790 WITH SCORE 339097.002
AT ITER 9370 NEW BEST:: SOT 18989147 SOS 16301068 HAS SOPS 7916391 HAS SOUS 947837 HAS SOUPS 322767 WITH SCORE 339068.068
AT ITER 9378 NEW BEST:: SOT 18989029 SOS 16300832 HAS SOPS 7916155 HAS SOUS 947679 HAS SOUPS 322609 WITH SCORE 338909.832
AT ITER 9478 NEW BEST:: SOT 18988467 SOS 16301780 HAS SOPS 7915327 HAS SOUS 947310 HAS SOUPS 322166 WITH SCORE 338467.78
AT ITER 9483 NEW BEST:: SOT 18988616 SOS 16299918 HAS SOPS 7916113 HAS SOUS 946921 HAS SOUPS 322108 WITH SCORE 338407.918
AT ITER 9504 NEW BEST:: SOT 18988059 SOS 16298366 HAS SOPS 7914592 HAS SOUS 946576 HAS SOUPS 321763 WITH SCORE 338061.366
AT ITER 9512 NEW BEST:: SOT 18988059 SOS 16298366 HAS SOPS 7914592 HAS SOUS 946408 HAS SOUPS 321595 WITH SCORE 337893.366
AT ITER 9513 NEW BEST:: SOT 18990303 SOS 16302106 HAS SOPS 7915714 HAS SOUS 946294 HAS SOUPS 321294 WITH SCORE 337596.106
AT ITER 9608 NEW BEST:: SOT 18990303 SOS 16302106 HAS SOPS 7915714 HAS SOUS 946214 HAS SOUPS 321214 WITH SCORE 337516.106
AT ITER 9646 NEW BEST:: SOT 18990177 SOS 16301350 HAS SOPS 7914958 HAS SOUS 946025 HAS SOUPS 321025 WITH SCORE 337326.35
AT ITER 9687 NEW BEST:: SOT 18988832 SOS 16298485 HAS SOPS 7914459 HAS SOUS 945604 HAS SOUPS 321027 WITH SCORE 337325.485
AT ITER 9728 NEW BEST:: SOT 18988556 SOS 16298345 HAS SOPS 7914319 HAS SOUS 945328 HAS SOUPS 320751 WITH SCORE 337049.345
AT ITER 9755 NEW BEST:: SOT 18988192 SOS 16297617 HAS SOPS 7913591 HAS SOUS 945237 HAS SOUPS 320660 WITH SCORE 336957.617
AT ITER 9776 NEW BEST:: SOT 18988192 SOS 16297617 HAS SOPS 7913591 HAS SOUS 945153 HAS SOUPS 320576 WITH SCORE 336873.617
AT ITER 9797 NEW BEST:: SOT 18988192 SOS 16297617 HAS SOPS 7913591 HAS SOUS 945073 HAS SOUPS 320496 WITH SCORE 336793.617
AT ITER 9798 NEW BEST:: SOT 18987937 SOS 16297362 HAS SOPS 7913336 HAS SOUS 944818 HAS SOUPS 320241 WITH SCORE 336538.362
AT ITER 9854 NEW BEST:: SOT 18988112 SOS 16299122 HAS SOPS 7915096 HAS SOUS 944624 HAS SOUPS 320047 WITH SCORE 336346.122
AT ITER 9876 NEW BEST:: SOT 18988112 SOS 16299122 HAS SOPS 7915096 HAS SOUS 944564 HAS SOUPS 319987 WITH SCORE 336286.122
AT ITER 9983 NEW BEST:: SOT 18981964 SOS 16290123 HAS SOPS 7908995 HAS SOUS 944530 HAS SOUPS 319953 WITH SCORE 336243.123
AT ITER 9988 NEW BEST:: SOT 18981991 SOS 16289889 HAS SOPS 7908905 HAS SOUS 944503 HAS SOUPS 319926 WITH SCORE 336215.889
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 165440 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16295936 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="DLCflexbar-PT-6a"
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 DLCflexbar-PT-6a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484400576"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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