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.r331-tall-167889204300264.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 RERS2020-PT-pb106, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204300264
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 71M
-rw-r--r-- 1 mcc users 7.8K Feb 26 08:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 08:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 08:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 08:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 08:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 08:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 08:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 08:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 70M Mar 5 18:23 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 1679128509606

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=RERS2020-PT-pb106
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 08:35:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 08:35:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 08:35:13] [INFO ] Load time of PNML (sax parser for PT used): 2099 ms
[2023-03-18 08:35:13] [INFO ] Transformed 2041 places.
[2023-03-18 08:35:14] [INFO ] Transformed 125740 transitions.
[2023-03-18 08:35:14] [INFO ] Found NUPN structural information;
[2023-03-18 08:35:14] [INFO ] Parsed PT model containing 2041 places and 125740 transitions and 498326 arcs in 2606 ms.
[2023-03-18 08:35:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2041 places, 125740 transitions and 498326 arcs took 349 ms.
Total runtime 3002 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS2020 (PT), instance pb106
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: 2041 places, 125740 transitions, 498326 arcs.
AT ITER 0 NEW BEST:: SOT 126113321 SOS 89187318 HAS SOPS 82233113 HAS SOUS 24035681 HAS SOUPS 23959951 WITH SCORE 2.4049138318E7
AT ITER 8 NEW BEST:: SOT 126113196 SOS 89186991 HAS SOPS 82232786 HAS SOUS 24034277 HAS SOUPS 23958547 WITH SCORE 2.4047733991E7
AT ITER 17 NEW BEST:: SOT 126113196 SOS 89186957 HAS SOPS 82232752 HAS SOUS 24034272 HAS SOUPS 23958542 WITH SCORE 2.4047728957E7
AT ITER 30 NEW BEST:: SOT 126105837 SOS 89179394 HAS SOPS 82225996 HAS SOUS 24020190 HAS SOUPS 23944460 WITH SCORE 2.4033639394E7
AT ITER 37 NEW BEST:: SOT 126104549 SOS 89177900 HAS SOPS 82224164 HAS SOUS 24018692 HAS SOUPS 23942962 WITH SCORE 2.40321399E7
AT ITER 45 NEW BEST:: SOT 126101407 SOS 89174503 HAS SOPS 82220620 HAS SOUS 24013433 HAS SOUPS 23937703 WITH SCORE 2.4026877503E7
AT ITER 60 NEW BEST:: SOT 126091574 SOS 89164823 HAS SOPS 82211673 HAS SOUS 23982880 HAS SOUPS 23907150 WITH SCORE 2.3996314823E7
AT ITER 62 NEW BEST:: SOT 126090846 SOS 89164026 HAS SOPS 82210573 HAS SOUS 23980758 HAS SOUPS 23905028 WITH SCORE 2.3994192026E7
AT ITER 74 NEW BEST:: SOT 126090018 SOS 89163180 HAS SOPS 82209727 HAS SOUS 23979057 HAS SOUPS 23903327 WITH SCORE 2.399249018E7
AT ITER 85 NEW BEST:: SOT 126088178 SOS 89161340 HAS SOPS 82207381 HAS SOUS 23972874 HAS SOUPS 23897144 WITH SCORE 2.398630534E7
AT ITER 86 NEW BEST:: SOT 126101242 SOS 89139821 HAS SOPS 82191660 HAS SOUS 23951519 HAS SOUPS 23876086 WITH SCORE 2.3965225821E7
AT ITER 89 NEW BEST:: SOT 126095422 SOS 89087383 HAS SOPS 82156117 HAS SOUS 23929096 HAS SOUPS 23853849 WITH SCORE 2.3942936383E7
AT ITER 96 NEW BEST:: SOT 126095298 SOS 89082883 HAS SOPS 82151617 HAS SOUS 23928068 HAS SOUPS 23852821 WITH SCORE 2.3941903883E7
AT ITER 105 NEW BEST:: SOT 126085937 SOS 89073431 HAS SOPS 82142011 HAS SOUS 23910975 HAS SOUPS 23835730 WITH SCORE 2.3924803431E7
AT ITER 110 NEW BEST:: SOT 126307358 SOS 89293762 HAS SOPS 82359758 HAS SOUS 23888988 HAS SOUPS 23813889 WITH SCORE 2.3903182762E7
AT ITER 126 NEW BEST:: SOT 126296585 SOS 89284149 HAS SOPS 82347896 HAS SOUS 23862685 HAS SOUPS 23787586 WITH SCORE 2.3876870149E7
AT ITER 127 NEW BEST:: SOT 126329291 SOS 89318384 HAS SOPS 82382483 HAS SOUS 23862320 HAS SOUPS 23787221 WITH SCORE 2.3876539384E7
AT ITER 142 NEW BEST:: SOT 126328675 SOS 89317731 HAS SOPS 82381747 HAS SOUS 23861791 HAS SOUPS 23786692 WITH SCORE 2.3876009731E7
AT ITER 164 NEW BEST:: SOT 126335105 SOS 89324161 HAS SOPS 82390774 HAS SOUS 23849963 HAS SOUPS 23774864 WITH SCORE 2.3864188161E7
AT ITER 175 NEW BEST:: SOT 126334905 SOS 89323961 HAS SOPS 82390524 HAS SOUS 23848863 HAS SOUPS 23773764 WITH SCORE 2.3863087961E7
AT ITER 178 NEW BEST:: SOT 126363437 SOS 89353586 HAS SOPS 82420044 HAS SOUS 23798857 HAS SOUPS 23723758 WITH SCORE 2.3813111586E7
AT ITER 196 NEW BEST:: SOT 126363669 SOS 89353776 HAS SOPS 82420126 HAS SOUS 23798573 HAS SOUPS 23723474 WITH SCORE 2.3812827776E7
AT ITER 202 NEW BEST:: SOT 126364013 SOS 89346087 HAS SOPS 82412437 HAS SOUS 23795990 HAS SOUPS 23720891 WITH SCORE 2.3810237087E7
AT ITER 210 NEW BEST:: SOT 126352456 SOS 89334607 HAS SOPS 82390095 HAS SOUS 23783990 HAS SOUPS 23708986 WITH SCORE 2.3798320607E7
AT ITER 229 NEW BEST:: SOT 126368445 SOS 89507652 HAS SOPS 82573366 HAS SOUS 23781564 HAS SOUPS 23706887 WITH SCORE 2.3796394652E7
AT ITER 230 NEW BEST:: SOT 126354919 SOS 89516425 HAS SOPS 82582477 HAS SOUS 23774750 HAS SOUPS 23700073 WITH SCORE 2.3789589425E7
AT ITER 232 NEW BEST:: SOT 126349536 SOS 89511140 HAS SOPS 82577192 HAS SOUS 23768960 HAS SOUPS 23694283 WITH SCORE 2.378379414E7
AT ITER 236 NEW BEST:: SOT 126349608 SOS 89513020 HAS SOPS 82579072 HAS SOUS 23768857 HAS SOUPS 23694180 WITH SCORE 2.378369302E7
AT ITER 243 NEW BEST:: SOT 126350570 SOS 89513982 HAS SOPS 82579255 HAS SOUS 23767462 HAS SOUPS 23692785 WITH SCORE 2.3782298982E7
AT ITER 244 NEW BEST:: SOT 126351933 SOS 89515273 HAS SOPS 82581591 HAS SOUS 23745777 HAS SOUPS 23671100 WITH SCORE 2.3760615273E7
AT ITER 246 NEW BEST:: SOT 126342095 SOS 89505245 HAS SOPS 82571698 HAS SOUS 23737070 HAS SOUPS 23662393 WITH SCORE 2.3751898245E7
AT ITER 257 NEW BEST:: SOT 126342541 SOS 89504213 HAS SOPS 82570666 HAS SOUS 23736731 HAS SOUPS 23662054 WITH SCORE 2.3751558213E7
AT ITER 270 NEW BEST:: SOT 126323345 SOS 89485622 HAS SOPS 82551377 HAS SOUS 23699154 HAS SOUPS 23624477 WITH SCORE 2.3713962622E7
AT ITER 272 NEW BEST:: SOT 126301482 SOS 89525389 HAS SOPS 82605973 HAS SOUS 23608461 HAS SOUPS 23539398 WITH SCORE 2.3628923389E7
AT ITER 273 NEW BEST:: SOT 126302349 SOS 89526053 HAS SOPS 82606038 HAS SOUS 23605466 HAS SOUPS 23536403 WITH SCORE 2.3625929053E7
AT ITER 281 NEW BEST:: SOT 126302829 SOS 89520425 HAS SOPS 82612962 HAS SOUS 23604418 HAS SOUPS 23535483 WITH SCORE 2.3625003425E7
AT ITER 284 NEW BEST:: SOT 126307152 SOS 89524849 HAS SOPS 82615631 HAS SOUS 23598167 HAS SOUPS 23529232 WITH SCORE 2.3618756849E7
AT ITER 287 NEW BEST:: SOT 126307035 SOS 89524826 HAS SOPS 82615544 HAS SOUS 23597249 HAS SOUPS 23528314 WITH SCORE 2.3617838826E7
AT ITER 289 NEW BEST:: SOT 126292763 SOS 89509398 HAS SOPS 82599455 HAS SOUS 23563402 HAS SOUPS 23494467 WITH SCORE 2.3583976398E7
AT ITER 302 NEW BEST:: SOT 126312767 SOS 89529213 HAS SOPS 82619589 HAS SOUS 23543808 HAS SOUPS 23474873 WITH SCORE 2.3564402213E7
AT ITER 305 NEW BEST:: SOT 126312973 SOS 89530897 HAS SOPS 82620213 HAS SOUS 23539144 HAS SOUPS 23470209 WITH SCORE 2.3559739897E7
AT ITER 306 NEW BEST:: SOT 126165943 SOS 89383631 HAS SOPS 82472947 HAS SOUS 23391760 HAS SOUPS 23322825 WITH SCORE 2.3412208631E7
AT ITER 309 NEW BEST:: SOT 126174029 SOS 89392107 HAS SOPS 82481060 HAS SOUS 23381035 HAS SOUPS 23312120 WITH SCORE 2.3401512107E7
AT ITER 311 NEW BEST:: SOT 126174095 SOS 89392184 HAS SOPS 82481082 HAS SOUS 23380777 HAS SOUPS 23311862 WITH SCORE 2.3401254184E7
AT ITER 316 NEW BEST:: SOT 126174104 SOS 89385787 HAS SOPS 82474685 HAS SOUS 23379822 HAS SOUPS 23310907 WITH SCORE 2.3400292787E7
AT ITER 354 NEW BEST:: SOT 126169632 SOS 89381315 HAS SOPS 82470256 HAS SOUS 23374923 HAS SOUPS 23306008 WITH SCORE 2.3395389315E7
AT ITER 358 NEW BEST:: SOT 126169904 SOS 89382313 HAS SOPS 82470878 HAS SOUS 23357988 HAS SOUPS 23289073 WITH SCORE 2.3378455313E7
AT ITER 375 NEW BEST:: SOT 126168664 SOS 89381027 HAS SOPS 82469340 HAS SOUS 23355414 HAS SOUPS 23286499 WITH SCORE 2.3375880027E7
AT ITER 380 NEW BEST:: SOT 126180864 SOS 89393227 HAS SOPS 82481784 HAS SOUS 23353606 HAS SOUPS 23284691 WITH SCORE 2.3374084227E7
AT ITER 388 NEW BEST:: SOT 126181810 SOS 89394159 HAS SOPS 82482338 HAS SOUS 23352686 HAS SOUPS 23283771 WITH SCORE 2.3373165159E7
AT ITER 407 NEW BEST:: SOT 126159021 SOS 89329764 HAS SOPS 82412229 HAS SOUS 23351785 HAS SOUPS 23282484 WITH SCORE 2.3371813764E7
AT ITER 425 NEW BEST:: SOT 126158950 SOS 89329584 HAS SOPS 82412049 HAS SOUS 23351690 HAS SOUPS 23282389 WITH SCORE 2.3371718584E7
AT ITER 432 NEW BEST:: SOT 126157206 SOS 89327809 HAS SOPS 82410248 HAS SOUS 23343722 HAS SOUPS 23274421 WITH SCORE 2.3363748809E7
AT ITER 437 NEW BEST:: SOT 126146654 SOS 89317548 HAS SOPS 82399838 HAS SOUS 23315745 HAS SOUPS 23246444 WITH SCORE 2.3335761548E7
AT ITER 463 NEW BEST:: SOT 126146632 SOS 89288779 HAS SOPS 82370625 HAS SOUS 23313630 HAS SOUPS 23244329 WITH SCORE 2.3333617779E7
AT ITER 464 NEW BEST:: SOT 126145611 SOS 89280142 HAS SOPS 82372030 HAS SOUS 23305261 HAS SOUPS 23236041 WITH SCORE 2.3325321142E7
AT ITER 465 NEW BEST:: SOT 126153807 SOS 89278150 HAS SOPS 82388670 HAS SOUS 23300709 HAS SOUPS 23231518 WITH SCORE 2.332079615E7
AT ITER 475 NEW BEST:: SOT 126202699 SOS 89379808 HAS SOPS 82490376 HAS SOUS 23275945 HAS SOUPS 23206725 WITH SCORE 2.3296104808E7
AT ITER 478 NEW BEST:: SOT 126202158 SOS 89379215 HAS SOPS 82489830 HAS SOUS 23272960 HAS SOUPS 23203740 WITH SCORE 2.3293119215E7
AT ITER 479 NEW BEST:: SOT 126202070 SOS 89277986 HAS SOPS 82388601 HAS SOUS 23272989 HAS SOUPS 23203769 WITH SCORE 2.3293046986E7
AT ITER 481 NEW BEST:: SOT 126199981 SOS 89276366 HAS SOPS 82385255 HAS SOUS 23264089 HAS SOUPS 23194869 WITH SCORE 2.3284145366E7
AT ITER 482 NEW BEST:: SOT 126199998 SOS 89266660 HAS SOPS 82375549 HAS SOUS 23264075 HAS SOUPS 23194855 WITH SCORE 2.328412166E7
AT ITER 485 NEW BEST:: SOT 126214202 SOS 89283489 HAS SOPS 82369867 HAS SOUS 23247935 HAS SOUPS 23178499 WITH SCORE 2.3267782489E7
AT ITER 510 NEW BEST:: SOT 126213445 SOS 89282732 HAS SOPS 82369040 HAS SOUS 23246142 HAS SOUPS 23176706 WITH SCORE 2.3265988732E7
AT ITER 542 NEW BEST:: SOT 126213954 SOS 89283241 HAS SOPS 82369288 HAS SOUS 23245148 HAS SOUPS 23175712 WITH SCORE 2.3264995241E7
AT ITER 555 NEW BEST:: SOT 126215803 SOS 89285087 HAS SOPS 82370946 HAS SOUS 23244948 HAS SOUPS 23175512 WITH SCORE 2.3264797087E7
AT ITER 561 NEW BEST:: SOT 126206936 SOS 89276030 HAS SOPS 82361727 HAS SOUS 23236248 HAS SOUPS 23166812 WITH SCORE 2.325608803E7
AT ITER 585 NEW BEST:: SOT 126206858 SOS 89275211 HAS SOPS 82360908 HAS SOUS 23236170 HAS SOUPS 23166734 WITH SCORE 2.3256009211E7
AT ITER 590 NEW BEST:: SOT 126205697 SOS 89274041 HAS SOPS 82359684 HAS SOUS 23234064 HAS SOUPS 23164628 WITH SCORE 2.3253902041E7
AT ITER 593 NEW BEST:: SOT 126201456 SOS 89271549 HAS SOPS 82357463 HAS SOUS 23228876 HAS SOUPS 23160414 WITH SCORE 2.3249685549E7
AT ITER 610 NEW BEST:: SOT 126201456 SOS 89196629 HAS SOPS 82282543 HAS SOUS 23228877 HAS SOUPS 23160415 WITH SCORE 2.3249611629E7
AT ITER 623 NEW BEST:: SOT 126210571 SOS 89205429 HAS SOPS 82291721 HAS SOUS 23226644 HAS SOUPS 23158182 WITH SCORE 2.3247387429E7
AT ITER 624 NEW BEST:: SOT 126211131 SOS 89200913 HAS SOPS 82286098 HAS SOUS 23225765 HAS SOUPS 23157303 WITH SCORE 2.3246503913E7
AT ITER 637 NEW BEST:: SOT 126182788 SOS 89177480 HAS SOPS 82272927 HAS SOUS 23210022 HAS SOUPS 23141560 WITH SCORE 2.323073748E7
AT ITER 639 NEW BEST:: SOT 126178579 SOS 89173271 HAS SOPS 82268596 HAS SOUS 23209229 HAS SOUPS 23140767 WITH SCORE 2.3229940271E7
AT ITER 647 NEW BEST:: SOT 126176433 SOS 89170935 HAS SOPS 82266297 HAS SOUS 23208601 HAS SOUPS 23140190 WITH SCORE 2.3229360935E7
AT ITER 661 NEW BEST:: SOT 126176551 SOS 89165249 HAS SOPS 82260611 HAS SOUS 23208273 HAS SOUPS 23139862 WITH SCORE 2.3229027249E7
AT ITER 671 NEW BEST:: SOT 126172522 SOS 89160983 HAS SOPS 82256187 HAS SOUS 23207720 HAS SOUPS 23139309 WITH SCORE 2.3228469983E7
AT ITER 672 NEW BEST:: SOT 126161146 SOS 89124608 HAS SOPS 82215934 HAS SOUS 23201281 HAS SOUPS 23132870 WITH SCORE 2.3221994608E7
AT ITER 675 NEW BEST:: SOT 125858671 SOS 88821089 HAS SOPS 81911756 HAS SOUS 22892065 HAS SOUPS 22823654 WITH SCORE 2.2912475089E7
AT ITER 691 NEW BEST:: SOT 125853622 SOS 88815739 HAS SOPS 81906152 HAS SOUS 22884750 HAS SOUPS 22816339 WITH SCORE 2.2905154739E7
AT ITER 698 NEW BEST:: SOT 125862310 SOS 88823562 HAS SOPS 81917102 HAS SOUS 22798979 HAS SOUPS 22732066 WITH SCORE 2.2820889562E7
AT ITER 714 NEW BEST:: SOT 125850673 SOS 88811664 HAS SOPS 81905204 HAS SOUS 22786149 HAS SOUPS 22719236 WITH SCORE 2.2808047664E7
AT ITER 721 NEW BEST:: SOT 125851170 SOS 88811950 HAS SOPS 81906704 HAS SOUS 22765874 HAS SOUPS 22698961 WITH SCORE 2.278777295E7
AT ITER 723 NEW BEST:: SOT 125851026 SOS 88794036 HAS SOPS 81887733 HAS SOUS 22763950 HAS SOUPS 22697037 WITH SCORE 2.2785831036E7
AT ITER 726 NEW BEST:: SOT 125848238 SOS 88791214 HAS SOPS 81884911 HAS SOUS 22760424 HAS SOUPS 22693511 WITH SCORE 2.2782302214E7
AT ITER 733 NEW BEST:: SOT 125862952 SOS 88805429 HAS SOPS 81901264 HAS SOUS 22746479 HAS SOUPS 22679980 WITH SCORE 2.2768785429E7
AT ITER 740 NEW BEST:: SOT 125847271 SOS 88790118 HAS SOPS 81885818 HAS SOUS 22695812 HAS SOUPS 22629313 WITH SCORE 2.2718103118E7
AT ITER 747 NEW BEST:: SOT 125844864 SOS 88787711 HAS SOPS 81883411 HAS SOUS 22693405 HAS SOUPS 22626906 WITH SCORE 2.2715693711E7
AT ITER 768 NEW BEST:: SOT 125843784 SOS 88786487 HAS SOPS 81882907 HAS SOUS 22691173 HAS SOUPS 22624674 WITH SCORE 2.2713460487E7
AT ITER 786 NEW BEST:: SOT 125843790 SOS 88786379 HAS SOPS 81882799 HAS SOUS 22691127 HAS SOUPS 22624628 WITH SCORE 2.2713414379E7
AT ITER 789 NEW BEST:: SOT 125824396 SOS 88774404 HAS SOPS 81871965 HAS SOUS 22690602 HAS SOUPS 22624103 WITH SCORE 2.2712877404E7
AT ITER 794 NEW BEST:: SOT 125845933 SOS 88795144 HAS SOPS 81896404 HAS SOUS 22676133 HAS SOUPS 22609634 WITH SCORE 2.2698429144E7
AT ITER 807 NEW BEST:: SOT 125845534 SOS 88783085 HAS SOPS 81884345 HAS SOUS 22673932 HAS SOUPS 22607433 WITH SCORE 2.2696216085E7
AT ITER 812 NEW BEST:: SOT 125843370 SOS 88781502 HAS SOPS 81883329 HAS SOUS 22673416 HAS SOUPS 22606917 WITH SCORE 2.2695698502E7
AT ITER 813 NEW BEST:: SOT 125847992 SOS 88785023 HAS SOPS 81885683 HAS SOUS 22666251 HAS SOUPS 22599752 WITH SCORE 2.2688537023E7
AT ITER 830 NEW BEST:: SOT 125862929 SOS 88800588 HAS SOPS 81900849 HAS SOUS 22654071 HAS SOUPS 22587572 WITH SCORE 2.2676372588E7
AT ITER 835 NEW BEST:: SOT 125862713 SOS 88800372 HAS SOPS 81901155 HAS SOUS 22646693 HAS SOUPS 22580194 WITH SCORE 2.2668994372E7
AT ITER 838 NEW BEST:: SOT 125848757 SOS 88787259 HAS SOPS 81887203 HAS SOUS 22618254 HAS SOUPS 22551755 WITH SCORE 2.2640542259E7
AT ITER 851 NEW BEST:: SOT 125839504 SOS 88778090 HAS SOPS 81875489 HAS SOUS 22607500 HAS SOUPS 22541001 WITH SCORE 2.262977909E7
AT ITER 854 NEW BEST:: SOT 125837966 SOS 88778287 HAS SOPS 81869984 HAS SOUS 22606354 HAS SOUPS 22539816 WITH SCORE 2.2628594287E7
AT ITER 862 NEW BEST:: SOT 125834493 SOS 88775010 HAS SOPS 81865834 HAS SOUS 22596046 HAS SOUPS 22529508 WITH SCORE 2.261828301E7
AT ITER 863 NEW BEST:: SOT 125829580 SOS 88770438 HAS SOPS 81860809 HAS SOUS 22592121 HAS SOUPS 22525583 WITH SCORE 2.2614353438E7
AT ITER 865 NEW BEST:: SOT 125851728 SOS 88794279 HAS SOPS 81877899 HAS SOUS 22591941 HAS SOUPS 22525403 WITH SCORE 2.2614197279E7
AT ITER 871 NEW BEST:: SOT 125847417 SOS 88789654 HAS SOPS 81873337 HAS SOUS 22591918 HAS SOUPS 22525380 WITH SCORE 2.2614169654E7
AT ITER 881 NEW BEST:: SOT 125850299 SOS 88792026 HAS SOPS 81873581 HAS SOUS 22585752 HAS SOUPS 22519214 WITH SCORE 2.2608006026E7
AT ITER 898 NEW BEST:: SOT 125829632 SOS 88771370 HAS SOPS 81852714 HAS SOUS 22548206 HAS SOUPS 22481668 WITH SCORE 2.257043937E7
AT ITER 911 NEW BEST:: SOT 125846549 SOS 88788731 HAS SOPS 81870647 HAS SOUS 22547058 HAS SOUPS 22480520 WITH SCORE 2.2569308731E7
AT ITER 917 NEW BEST:: SOT 125846409 SOS 88738051 HAS SOPS 81818599 HAS SOUS 22542735 HAS SOUPS 22476197 WITH SCORE 2.2564935051E7
AT ITER 938 NEW BEST:: SOT 125849742 SOS 88741423 HAS SOPS 81821390 HAS SOUS 22542061 HAS SOUPS 22475523 WITH SCORE 2.2564264423E7
AT ITER 953 NEW BEST:: SOT 125841019 SOS 88732700 HAS SOPS 81812144 HAS SOUS 22518064 HAS SOUPS 22451526 WITH SCORE 2.25402587E7
AT ITER 958 NEW BEST:: SOT 125841019 SOS 88732692 HAS SOPS 81812136 HAS SOUS 22518064 HAS SOUPS 22451526 WITH SCORE 2.2540258692E7
AT ITER 976 NEW BEST:: SOT 125866187 SOS 88757599 HAS SOPS 81826079 HAS SOUS 22493699 HAS SOUPS 22427183 WITH SCORE 2.2515940599E7
AT ITER 983 NEW BEST:: SOT 125877048 SOS 88768833 HAS SOPS 81836643 HAS SOUS 22491071 HAS SOUPS 22424555 WITH SCORE 2.2513323833E7
AT ITER 999 NEW BEST:: SOT 125876820 SOS 88768605 HAS SOPS 81836409 HAS SOUS 22490786 HAS SOUPS 22424270 WITH SCORE 2.2513038605E7
AT ITER 1020 NEW BEST:: SOT 125878695 SOS 88770254 HAS SOPS 81838062 HAS SOUS 22489867 HAS SOUPS 22423351 WITH SCORE 2.2512121254E7
AT ITER 1027 NEW BEST:: SOT 125878154 SOS 88769796 HAS SOPS 81837396 HAS SOUS 22488806 HAS SOUPS 22422290 WITH SCORE 2.2511059796E7
AT ITER 1038 NEW BEST:: SOT 125872610 SOS 88762070 HAS SOPS 81825496 HAS SOUS 22450990 HAS SOUPS 22384450 WITH SCORE 2.247321207E7
AT ITER 1045 NEW BEST:: SOT 125872129 SOS 88761838 HAS SOPS 81825178 HAS SOUS 22440449 HAS SOUPS 22373909 WITH SCORE 2.2462670838E7
AT ITER 1048 NEW BEST:: SOT 125846938 SOS 88763181 HAS SOPS 81828547 HAS SOUS 22435191 HAS SOUPS 22368651 WITH SCORE 2.2457414181E7
AT ITER 1063 NEW BEST:: SOT 125869883 SOS 88786126 HAS SOPS 81851492 HAS SOUS 22423664 HAS SOUPS 22357124 WITH SCORE 2.2445910126E7
AT ITER 1089 NEW BEST:: SOT 125870129 SOS 88782870 HAS SOPS 81848236 HAS SOUS 22423560 HAS SOUPS 22357020 WITH SCORE 2.244580287E7
AT ITER 1098 NEW BEST:: SOT 125867213 SOS 88779981 HAS SOPS 81844726 HAS SOUS 22419645 HAS SOUPS 22353105 WITH SCORE 2.2441884981E7
AT ITER 1100 NEW BEST:: SOT 125870766 SOS 88780812 HAS SOPS 81846998 HAS SOUS 22410719 HAS SOUPS 22344283 WITH SCORE 2.2433063812E7
AT ITER 1105 NEW BEST:: SOT 125869867 SOS 88779975 HAS SOPS 81845975 HAS SOUS 22408921 HAS SOUPS 22342485 WITH SCORE 2.2431264975E7
AT ITER 1113 NEW BEST:: SOT 125869685 SOS 88779793 HAS SOPS 81845793 HAS SOUS 22408531 HAS SOUPS 22342095 WITH SCORE 2.2430874793E7
AT ITER 1118 NEW BEST:: SOT 125911729 SOS 88821340 HAS SOPS 81887938 HAS SOUS 22404127 HAS SOUPS 22337691 WITH SCORE 2.242651234E7
AT ITER 1120 NEW BEST:: SOT 125914769 SOS 88824460 HAS SOPS 81891096 HAS SOUS 22402732 HAS SOUPS 22336296 WITH SCORE 2.242512046E7
AT ITER 1124 NEW BEST:: SOT 125914849 SOS 88824462 HAS SOPS 81891070 HAS SOUS 22402592 HAS SOUPS 22336156 WITH SCORE 2.2424980462E7
AT ITER 1152 NEW BEST:: SOT 125946291 SOS 88855439 HAS SOPS 81919985 HAS SOUS 22383519 HAS SOUPS 22317083 WITH SCORE 2.2405938439E7
AT ITER 1180 NEW BEST:: SOT 125991094 SOS 88901014 HAS SOPS 81943262 HAS SOUS 22382176 HAS SOUPS 22315740 WITH SCORE 2.2404641014E7
AT ITER 1183 NEW BEST:: SOT 126057818 SOS 88974596 HAS SOPS 82034730 HAS SOUS 22379455 HAS SOUPS 22313016 WITH SCORE 2.2401990596E7
AT ITER 1184 NEW BEST:: SOT 126057487 SOS 88974265 HAS SOPS 82034226 HAS SOUS 22378331 HAS SOUPS 22311892 WITH SCORE 2.2400866265E7
AT ITER 1191 NEW BEST:: SOT 126056951 SOS 88973766 HAS SOPS 82033522 HAS SOUS 22376657 HAS SOUPS 22310218 WITH SCORE 2.2399191766E7
AT ITER 1207 NEW BEST:: SOT 125972400 SOS 88887967 HAS SOPS 81946697 HAS SOUS 22313592 HAS SOUPS 22247153 WITH SCORE 2.2336040967E7
AT ITER 1208 NEW BEST:: SOT 125967793 SOS 88883939 HAS SOPS 81940318 HAS SOUS 22314995 HAS SOUPS 22245952 WITH SCORE 2.2334835939E7
AT ITER 1223 NEW BEST:: SOT 125965379 SOS 88882283 HAS SOPS 81937659 HAS SOUS 22312299 HAS SOUPS 22243256 WITH SCORE 2.2332138283E7
AT ITER 1225 NEW BEST:: SOT 125966758 SOS 88886412 HAS SOPS 81941749 HAS SOUS 22312211 HAS SOUPS 22243168 WITH SCORE 2.2332054412E7
AT ITER 1256 NEW BEST:: SOT 125987513 SOS 88908951 HAS SOPS 81946839 HAS SOUS 22305482 HAS SOUPS 22236439 WITH SCORE 2.2325347951E7
AT ITER 1260 NEW BEST:: SOT 125985489 SOS 88906927 HAS SOPS 81944233 HAS SOUS 22301718 HAS SOUPS 22232675 WITH SCORE 2.2321581927E7
AT ITER 1273 NEW BEST:: SOT 126001228 SOS 88923372 HAS SOPS 81961109 HAS SOUS 22281175 HAS SOUPS 22212132 WITH SCORE 2.2301055372E7
AT ITER 1277 NEW BEST:: SOT 125981643 SOS 88903921 HAS SOPS 81941112 HAS SOUS 22242703 HAS SOUPS 22173660 WITH SCORE 2.2262563921E7
AT ITER 1286 NEW BEST:: SOT 125982611 SOS 88904884 HAS SOPS 81941640 HAS SOUS 22235857 HAS SOUPS 22166814 WITH SCORE 2.2255718884E7
AT ITER 1297 NEW BEST:: SOT 125974696 SOS 88897961 HAS SOPS 81934991 HAS SOUS 22203560 HAS SOUPS 22134517 WITH SCORE 2.2223414961E7
AT ITER 1311 NEW BEST:: SOT 125977917 SOS 88900517 HAS SOPS 81930831 HAS SOUS 22195275 HAS SOUPS 22126232 WITH SCORE 2.2215132517E7
AT ITER 1312 NEW BEST:: SOT 125662698 SOS 88717164 HAS SOPS 81742475 HAS SOUS 21845749 HAS SOUPS 21776880 WITH SCORE 2.1865597164E7
AT ITER 1315 NEW BEST:: SOT 125661581 SOS 88715966 HAS SOPS 81741263 HAS SOUS 21843650 HAS SOUPS 21774781 WITH SCORE 2.1863496966E7
AT ITER 1329 NEW BEST:: SOT 125723294 SOS 88777790 HAS SOPS 81801401 HAS SOUS 21836911 HAS SOUPS 21768042 WITH SCORE 2.185681979E7
AT ITER 1346 NEW BEST:: SOT 125723139 SOS 88748847 HAS SOPS 81772200 HAS SOUS 21834476 HAS SOUPS 21765607 WITH SCORE 2.1854355847E7
AT ITER 1347 NEW BEST:: SOT 125730315 SOS 88763517 HAS SOPS 81786035 HAS SOUS 21833594 HAS SOUPS 21764725 WITH SCORE 2.1853488517E7
AT ITER 1352 NEW BEST:: SOT 125731999 SOS 88771537 HAS SOPS 81776309 HAS SOUS 21806434 HAS SOUPS 21737565 WITH SCORE 2.1826336537E7
AT ITER 1390 NEW BEST:: SOT 125731597 SOS 88771059 HAS SOPS 81775547 HAS SOUS 21804394 HAS SOUPS 21735525 WITH SCORE 2.1824296059E7
AT ITER 1391 NEW BEST:: SOT 125711918 SOS 88752103 HAS SOPS 81757113 HAS SOUS 21803508 HAS SOUPS 21734639 WITH SCORE 2.1823391103E7
AT ITER 1401 NEW BEST:: SOT 125703863 SOS 88743882 HAS SOPS 81748990 HAS SOUS 21800852 HAS SOUPS 21731983 WITH SCORE 2.1820726882E7
AT ITER 1405 NEW BEST:: SOT 125705730 SOS 88745817 HAS SOPS 81752049 HAS SOUS 21792195 HAS SOUPS 21723326 WITH SCORE 2.1812071817E7
AT ITER 1419 NEW BEST:: SOT 125710609 SOS 88750695 HAS SOPS 81755626 HAS SOUS 21787626 HAS SOUPS 21718661 WITH SCORE 2.1807411695E7
AT ITER 1429 NEW BEST:: SOT 125706903 SOS 88747057 HAS SOPS 81751988 HAS SOUS 21787084 HAS SOUPS 21718119 WITH SCORE 2.1806866057E7
AT ITER 1437 NEW BEST:: SOT 125699237 SOS 88739391 HAS SOPS 81744310 HAS SOUS 21781171 HAS SOUPS 21712206 WITH SCORE 2.1800945391E7
AT ITER 1438 NEW BEST:: SOT 125704358 SOS 88743652 HAS SOPS 81752137 HAS SOUS 21764453 HAS SOUPS 21695488 WITH SCORE 2.1784231652E7
AT ITER 1440 NEW BEST:: SOT 125704189 SOS 88743457 HAS SOPS 81751929 HAS SOUS 21764284 HAS SOUPS 21695319 WITH SCORE 2.1784062457E7
AT ITER 1448 NEW BEST:: SOT 125704135 SOS 88743428 HAS SOPS 81752007 HAS SOUS 21763059 HAS SOUPS 21694094 WITH SCORE 2.1782837428E7
AT ITER 1464 NEW BEST:: SOT 125704003 SOS 88743084 HAS SOPS 81752039 HAS SOUS 21706771 HAS SOUPS 21637806 WITH SCORE 2.1726549084E7
AT ITER 1484 NEW BEST:: SOT 125703635 SOS 88742716 HAS SOPS 81751428 HAS SOUS 21705979 HAS SOUPS 21637014 WITH SCORE 2.1725756716E7
AT ITER 1512 NEW BEST:: SOT 125700970 SOS 88740010 HAS SOPS 81748722 HAS SOUS 21705487 HAS SOUPS 21636522 WITH SCORE 2.172526201E7
AT ITER 1533 NEW BEST:: SOT 125700964 SOS 88709511 HAS SOPS 81717766 HAS SOUS 21702893 HAS SOUPS 21633928 WITH SCORE 2.1722637511E7
AT ITER 1537 NEW BEST:: SOT 125704060 SOS 88712475 HAS SOPS 81720010 HAS SOUS 21701933 HAS SOUPS 21632994 WITH SCORE 2.1721706475E7
AT ITER 1544 NEW BEST:: SOT 125681623 SOS 88721084 HAS SOPS 81729876 HAS SOUS 21684411 HAS SOUPS 21615472 WITH SCORE 2.1704193084E7
AT ITER 1549 NEW BEST:: SOT 125652629 SOS 88692090 HAS SOPS 81700882 HAS SOUS 21655149 HAS SOUPS 21586210 WITH SCORE 2.167490209E7
AT ITER 1556 NEW BEST:: SOT 125652453 SOS 88691892 HAS SOPS 81700640 HAS SOUS 21654687 HAS SOUPS 21585748 WITH SCORE 2.1674439892E7
AT ITER 1562 NEW BEST:: SOT 125652791 SOS 88692526 HAS SOPS 81700684 HAS SOUS 21654528 HAS SOUPS 21585589 WITH SCORE 2.1674281526E7
AT ITER 1566 NEW BEST:: SOT 125641014 SOS 88693325 HAS SOPS 81701645 HAS SOUS 21652087 HAS SOUPS 21583148 WITH SCORE 2.1671841325E7
AT ITER 1567 NEW BEST:: SOT 125661691 SOS 88713979 HAS SOPS 81724734 HAS SOUS 21644965 HAS SOUPS 21576026 WITH SCORE 2.1664739979E7
AT ITER 1578 NEW BEST:: SOT 125662978 SOS 88715266 HAS SOPS 81725427 HAS SOUS 21642913 HAS SOUPS 21573974 WITH SCORE 2.1662689266E7
AT ITER 1580 NEW BEST:: SOT 125670333 SOS 88722882 HAS SOPS 81730129 HAS SOUS 21640167 HAS SOUPS 21571228 WITH SCORE 2.1659950882E7
AT ITER 1583 NEW BEST:: SOT 125670687 SOS 88725007 HAS SOPS 81732254 HAS SOUS 21639590 HAS SOUPS 21570651 WITH SCORE 2.1659376007E7
AT ITER 1584 NEW BEST:: SOT 125669884 SOS 88724367 HAS SOPS 81731392 HAS SOUS 21628820 HAS SOUPS 21559881 WITH SCORE 2.1648605367E7
AT ITER 1591 NEW BEST:: SOT 125669887 SOS 88724517 HAS SOPS 81731542 HAS SOUS 21628772 HAS SOUPS 21559833 WITH SCORE 2.1648557517E7
AT ITER 1594 NEW BEST:: SOT 125864216 SOS 88919703 HAS SOPS 81924031 HAS SOUS 21620689 HAS SOUPS 21551750 WITH SCORE 2.1640669703E7
AT ITER 1620 NEW BEST:: SOT 125882845 SOS 88939298 HAS SOPS 81944112 HAS SOUS 21608752 HAS SOUPS 21539813 WITH SCORE 2.1628752298E7
AT ITER 1631 NEW BEST:: SOT 125900623 SOS 88961123 HAS SOPS 81975550 HAS SOUS 21606640 HAS SOUPS 21537795 WITH SCORE 2.1626756123E7
AT ITER 1675 NEW BEST:: SOT 125903200 SOS 88963700 HAS SOPS 81977555 HAS SOUS 21605066 HAS SOUPS 21536221 WITH SCORE 2.16251847E7
AT ITER 1696 NEW BEST:: SOT 125906315 SOS 88964022 HAS SOPS 81983160 HAS SOUS 21603478 HAS SOUPS 21534666 WITH SCORE 2.1623630022E7
AT ITER 1698 NEW BEST:: SOT 125897374 SOS 88950642 HAS SOPS 81968412 HAS SOUS 21598811 HAS SOUPS 21529999 WITH SCORE 2.1618949642E7
AT ITER 1700 NEW BEST:: SOT 125900469 SOS 88953700 HAS SOPS 81972514 HAS SOUS 21594813 HAS SOUPS 21526001 WITH SCORE 2.16149547E7
AT ITER 1715 NEW BEST:: SOT 125956217 SOS 89011022 HAS SOPS 82032488 HAS SOUS 21575918 HAS SOUPS 21507106 WITH SCORE 2.1596117022E7
AT ITER 1734 NEW BEST:: SOT 125956178 SOS 88970362 HAS SOPS 81991504 HAS SOUS 21573438 HAS SOUPS 21504626 WITH SCORE 2.1593596362E7
AT ITER 1736 NEW BEST:: SOT 125966050 SOS 88980452 HAS SOPS 81994858 HAS SOUS 21564000 HAS SOUPS 21495188 WITH SCORE 2.1584168452E7
AT ITER 1738 NEW BEST:: SOT 125966034 SOS 88980436 HAS SOPS 81994795 HAS SOUS 21563333 HAS SOUPS 21494521 WITH SCORE 2.1583501436E7
AT ITER 1749 NEW BEST:: SOT 125942734 SOS 88956804 HAS SOPS 81972276 HAS SOUS 21521053 HAS SOUPS 21452261 WITH SCORE 2.1541217804E7
AT ITER 1769 NEW BEST:: SOT 125942504 SOS 88956550 HAS SOPS 81971998 HAS SOUS 21520655 HAS SOUPS 21451863 WITH SCORE 2.154081955E7
AT ITER 1770 NEW BEST:: SOT 125929190 SOS 88943209 HAS SOPS 81958388 HAS SOUS 21460710 HAS SOUPS 21391918 WITH SCORE 2.1480861209E7
AT ITER 1781 NEW BEST:: SOT 125887902 SOS 88951067 HAS SOPS 81970170 HAS SOUS 21443659 HAS SOUPS 21374867 WITH SCORE 2.1463818067E7
AT ITER 1785 NEW BEST:: SOT 125878755 SOS 88966331 HAS SOPS 81986290 HAS SOUS 21437723 HAS SOUPS 21368931 WITH SCORE 2.1457897331E7
AT ITER 1809 NEW BEST:: SOT 125877925 SOS 88965467 HAS SOPS 81985260 HAS SOUS 21436165 HAS SOUPS 21367373 WITH SCORE 2.1456338467E7
AT ITER 1819 NEW BEST:: SOT 125889172 SOS 88977437 HAS SOPS 81995973 HAS SOUS 21424187 HAS SOUPS 21355395 WITH SCORE 2.1444372437E7
AT ITER 1852 NEW BEST:: SOT 125780008 SOS 88904436 HAS SOPS 81929580 HAS SOUS 21412376 HAS SOUPS 21343584 WITH SCORE 2.1432488436E7
AT ITER 1853 NEW BEST:: SOT 125816111 SOS 88942544 HAS SOPS 81952946 HAS SOUS 21401764 HAS SOUPS 21333027 WITH SCORE 2.1421969544E7
AT ITER 1856 NEW BEST:: SOT 125820660 SOS 88946416 HAS SOPS 81956286 HAS SOUS 21401590 HAS SOUPS 21332853 WITH SCORE 2.1421799416E7
AT ITER 1864 NEW BEST:: SOT 125820700 SOS 88947036 HAS SOPS 81956600 HAS SOUS 21386716 HAS SOUPS 21317979 WITH SCORE 2.1406926036E7
AT ITER 1866 NEW BEST:: SOT 125819960 SOS 88946276 HAS SOPS 81955760 HAS SOUS 21385312 HAS SOUPS 21316575 WITH SCORE 2.1405521276E7
AT ITER 1871 NEW BEST:: SOT 125819960 SOS 88940561 HAS SOPS 81842727 HAS SOUS 21385612 HAS SOUPS 21316552 WITH SCORE 2.1405492561E7
AT ITER 1872 NEW BEST:: SOT 125816462 SOS 88937390 HAS SOPS 81839331 HAS SOUS 21381337 HAS SOUPS 21312277 WITH SCORE 2.140121439E7
AT ITER 1901 NEW BEST:: SOT 125816449 SOS 88965536 HAS SOPS 81843479 HAS SOUS 21380056 HAS SOUPS 21310925 WITH SCORE 2.1399890536E7
AT ITER 1902 NEW BEST:: SOT 125818083 SOS 88967404 HAS SOPS 81845464 HAS SOUS 21378895 HAS SOUPS 21309764 WITH SCORE 2.1398731404E7
AT ITER 1907 NEW BEST:: SOT 125820511 SOS 88970142 HAS SOPS 81847750 HAS SOUS 21377188 HAS SOUPS 21308057 WITH SCORE 2.1397027142E7
AT ITER 1917 NEW BEST:: SOT 125811834 SOS 88961045 HAS SOPS 81838819 HAS SOUS 21365589 HAS SOUPS 21296458 WITH SCORE 2.1385419045E7
AT ITER 1926 NEW BEST:: SOT 125812822 SOS 89085046 HAS SOPS 81787051 HAS SOUS 21354900 HAS SOUPS 21285487 WITH SCORE 2.1374572046E7
AT ITER 1935 NEW BEST:: SOT 125805871 SOS 89078325 HAS SOPS 81777718 HAS SOUS 21340740 HAS SOUPS 21271327 WITH SCORE 2.1360405325E7
AT ITER 1944 NEW BEST:: SOT 125815388 SOS 89087280 HAS SOPS 81785734 HAS SOUS 21333193 HAS SOUPS 21263780 WITH SCORE 2.135286728E7
AT ITER 1946 NEW BEST:: SOT 125815368 SOS 89087280 HAS SOPS 81785674 HAS SOUS 21333013 HAS SOUPS 21263600 WITH SCORE 2.135268728E7
AT ITER 1980 NEW BEST:: SOT 125803359 SOS 89074719 HAS SOPS 81768532 HAS SOUS 21332296 HAS SOUPS 21262728 WITH SCORE 2.1351802719E7
AT ITER 1992 NEW BEST:: SOT 125803248 SOS 89074719 HAS SOPS 81768088 HAS SOUS 21329965 HAS SOUPS 21260397 WITH SCORE 2.1349471719E7
AT ITER 2002 NEW BEST:: SOT 125818717 SOS 89089861 HAS SOPS 81786054 HAS SOUS 21321118 HAS SOUPS 21255078 WITH SCORE 2.1344167861E7
AT ITER 2007 NEW BEST:: SOT 125810768 SOS 89081051 HAS SOPS 81775867 HAS SOUS 21292202 HAS SOUPS 21226162 WITH SCORE 2.1315243051E7
AT ITER 2012 NEW BEST:: SOT 125809139 SOS 89079530 HAS SOPS 81773752 HAS SOUS 21290818 HAS SOUPS 21224778 WITH SCORE 2.131385753E7
AT ITER 2022 NEW BEST:: SOT 125799822 SOS 89069713 HAS SOPS 81764389 HAS SOUS 21270072 HAS SOUPS 21204050 WITH SCORE 2.1293119713E7
AT ITER 2025 NEW BEST:: SOT 125801049 SOS 89071036 HAS SOPS 81765280 HAS SOUS 21269427 HAS SOUPS 21203405 WITH SCORE 2.1292476036E7
AT ITER 2037 NEW BEST:: SOT 125819372 SOS 89089059 HAS SOPS 81783654 HAS SOUS 21266248 HAS SOUPS 21200226 WITH SCORE 2.1289315059E7
AT ITER 2041 NEW BEST:: SOT 125811253 SOS 89078870 HAS SOPS 81775299 HAS SOUS 21265036 HAS SOUPS 21198806 WITH SCORE 2.128788487E7
AT ITER 2071 NEW BEST:: SOT 125812279 SOS 89080100 HAS SOPS 81776763 HAS SOUS 21260962 HAS SOUPS 21194732 WITH SCORE 2.12838121E7
AT ITER 2078 NEW BEST:: SOT 125821160 SOS 89086599 HAS SOPS 81777978 HAS SOUS 21252186 HAS SOUPS 21186261 WITH SCORE 2.1275347599E7
AT ITER 2080 NEW BEST:: SOT 125820025 SOS 89037775 HAS SOPS 81714934 HAS SOUS 21236991 HAS SOUPS 21171066 WITH SCORE 2.1260103775E7
AT ITER 2094 NEW BEST:: SOT 125898609 SOS 89117681 HAS SOPS 81759504 HAS SOUS 21229695 HAS SOUPS 21160820 WITH SCORE 2.1249937681E7
AT ITER 2100 NEW BEST:: SOT 125945953 SOS 89165025 HAS SOPS 81799416 HAS SOUS 21220692 HAS SOUPS 21151817 WITH SCORE 2.1240982025E7
AT ITER 2142 NEW BEST:: SOT 125966200 SOS 89185272 HAS SOPS 81820560 HAS SOUS 21213915 HAS SOUPS 21145040 WITH SCORE 2.1234225272E7
AT ITER 2146 NEW BEST:: SOT 125966190 SOS 89185054 HAS SOPS 81820342 HAS SOUS 21213786 HAS SOUPS 21144911 WITH SCORE 2.1234096054E7
AT ITER 2163 NEW BEST:: SOT 125966400 SOS 89184805 HAS SOPS 81819094 HAS SOUS 21212190 HAS SOUPS 21143315 WITH SCORE 2.1232499805E7
AT ITER 2185 NEW BEST:: SOT 125963892 SOS 89182297 HAS SOPS 81816419 HAS SOUS 21205720 HAS SOUPS 21136845 WITH SCORE 2.1226027297E7
AT ITER 2191 NEW BEST:: SOT 125959712 SOS 89178212 HAS SOPS 81812429 HAS SOUS 21202395 HAS SOUPS 21133520 WITH SCORE 2.1222698212E7
AT ITER 2206 NEW BEST:: SOT 125959672 SOS 89056761 HAS SOPS 81690978 HAS SOUS 21202032 HAS SOUPS 21133157 WITH SCORE 2.1222213761E7
AT ITER 2235 NEW BEST:: SOT 125859880 SOS 88956948 HAS SOPS 81587150 HAS SOUS 21082422 HAS SOUPS 21013547 WITH SCORE 2.1102503948E7
AT ITER 2244 NEW BEST:: SOT 125879907 SOS 88975447 HAS SOPS 81610186 HAS SOUS 21081042 HAS SOUPS 21012167 WITH SCORE 2.1101142447E7
AT ITER 2254 NEW BEST:: SOT 125879937 SOS 88975666 HAS SOPS 81611119 HAS SOUS 21080877 HAS SOUPS 21012017 WITH SCORE 2.1100992666E7
AT ITER 2255 NEW BEST:: SOT 125878970 SOS 88974459 HAS SOPS 81610328 HAS SOUS 21080081 HAS SOUPS 21011148 WITH SCORE 2.1100122459E7
AT ITER 2261 NEW BEST:: SOT 125878852 SOS 88974433 HAS SOPS 81610315 HAS SOUS 21079684 HAS SOUPS 21010751 WITH SCORE 2.1099725433E7
AT ITER 2266 NEW BEST:: SOT 125878948 SOS 89154848 HAS SOPS 81631558 HAS SOUS 21078385 HAS SOUPS 21009254 WITH SCORE 2.1098408848E7
AT ITER 2288 NEW BEST:: SOT 125873942 SOS 89150009 HAS SOPS 81626719 HAS SOUS 21071876 HAS SOUPS 21002745 WITH SCORE 2.1091895009E7
AT ITER 2302 NEW BEST:: SOT 125871395 SOS 89147277 HAS SOPS 81623699 HAS SOUS 21067503 HAS SOUPS 20998372 WITH SCORE 2.1087519277E7
AT ITER 2306 NEW BEST:: SOT 125868755 SOS 89144909 HAS SOPS 81619851 HAS SOUS 21057463 HAS SOUPS 20988332 WITH SCORE 2.1077476909E7
AT ITER 2310 NEW BEST:: SOT 125861541 SOS 89093872 HAS SOPS 81612355 HAS SOUS 21054135 HAS SOUPS 20985157 WITH SCORE 2.1074250872E7
AT ITER 2314 NEW BEST:: SOT 125860647 SOS 89092937 HAS SOPS 81611403 HAS SOUS 21051896 HAS SOUPS 20982918 WITH SCORE 2.1072010937E7
AT ITER 2324 NEW BEST:: SOT 125860647 SOS 89103108 HAS SOPS 81621612 HAS SOUS 21051526 HAS SOUPS 20982548 WITH SCORE 2.1071651108E7
AT ITER 2338 NEW BEST:: SOT 125858540 SOS 89100958 HAS SOPS 81619677 HAS SOUS 21049650 HAS SOUPS 20980672 WITH SCORE 2.1069772958E7
AT ITER 2339 NEW BEST:: SOT 125858122 SOS 89100540 HAS SOPS 81619017 HAS SOUS 21048735 HAS SOUPS 20979757 WITH SCORE 2.106885754E7
AT ITER 2347 NEW BEST:: SOT 125961861 SOS 89201622 HAS SOPS 81726722 HAS SOUS 21027732 HAS SOUPS 20958754 WITH SCORE 2.1047955622E7
AT ITER 2360 NEW BEST:: SOT 125984503 SOS 89224264 HAS SOPS 81733989 HAS SOUS 21027674 HAS SOUPS 20958696 WITH SCORE 2.1047920264E7
AT ITER 2369 NEW BEST:: SOT 125988365 SOS 89224657 HAS SOPS 81731967 HAS SOUS 21026504 HAS SOUPS 20957526 WITH SCORE 2.1046750657E7
AT ITER 2370 NEW BEST:: SOT 126023214 SOS 89259466 HAS SOPS 81755948 HAS SOUS 21019324 HAS SOUPS 20950346 WITH SCORE 2.1039605466E7
AT ITER 2371 NEW BEST:: SOT 125996732 SOS 89247515 HAS SOPS 81751899 HAS SOUS 21014869 HAS SOUPS 20946584 WITH SCORE 2.1035831515E7
AT ITER 2401 NEW BEST:: SOT 125992433 SOS 89244234 HAS SOPS 81747967 HAS SOUS 20992177 HAS SOUPS 20923892 WITH SCORE 2.1013136234E7
AT ITER 2411 NEW BEST:: SOT 126000482 SOS 89253272 HAS SOPS 81755100 HAS SOUS 20962764 HAS SOUPS 20894479 WITH SCORE 2.0983732272E7
AT ITER 2420 NEW BEST:: SOT 124876558 SOS 88268761 HAS SOPS 80769306 HAS SOUS 19826738 HAS SOUPS 19758453 WITH SCORE 1.9846721761E7
AT ITER 2425 NEW BEST:: SOT 124880631 SOS 88272518 HAS SOPS 80773826 HAS SOUS 19823368 HAS SOUPS 19755083 WITH SCORE 1.9843355518E7
AT ITER 2429 NEW BEST:: SOT 124831498 SOS 88223368 HAS SOPS 80720511 HAS SOUS 19764911 HAS SOUPS 19696158 WITH SCORE 1.9784381368E7
AT ITER 2442 NEW BEST:: SOT 124831537 SOS 88223370 HAS SOPS 80720513 HAS SOUS 19764571 HAS SOUPS 19695818 WITH SCORE 1.978404137E7
AT ITER 2446 NEW BEST:: SOT 124830210 SOS 88221856 HAS SOPS 80718999 HAS SOUS 19763356 HAS SOUPS 19694603 WITH SCORE 1.9782824856E7
AT ITER 2466 NEW BEST:: SOT 124842209 SOS 88233750 HAS SOPS 80731613 HAS SOUS 19760028 HAS SOUPS 19691275 WITH SCORE 1.977950875E7
AT ITER 2469 NEW BEST:: SOT 124843063 SOS 88234604 HAS SOPS 80732589 HAS SOUS 19759999 HAS SOUPS 19691246 WITH SCORE 1.9779480604E7
AT ITER 2477 NEW BEST:: SOT 124841457 SOS 88232808 HAS SOPS 80730743 HAS SOUS 19756858 HAS SOUPS 19688105 WITH SCORE 1.9776337808E7
AT ITER 2483 NEW BEST:: SOT 124849380 SOS 88313696 HAS SOPS 80753149 HAS SOUS 19751923 HAS SOUPS 19682799 WITH SCORE 1.9771112696E7
AT ITER 2485 NEW BEST:: SOT 124850299 SOS 88314831 HAS SOPS 80753287 HAS SOUS 19726501 HAS SOUPS 19657377 WITH SCORE 1.9745691831E7
AT ITER 2486 NEW BEST:: SOT 124847851 SOS 88312383 HAS SOPS 80750695 HAS SOUS 19725551 HAS SOUPS 19656427 WITH SCORE 1.9744739383E7
AT ITER 2493 NEW BEST:: SOT 124841667 SOS 88305630 HAS SOPS 80744909 HAS SOUS 19721730 HAS SOUPS 19652606 WITH SCORE 1.974091163E7
AT ITER 2497 NEW BEST:: SOT 124839029 SOS 88302984 HAS SOPS 80742282 HAS SOUS 19721321 HAS SOUPS 19652197 WITH SCORE 1.9740499984E7
AT ITER 2504 NEW BEST:: SOT 124826888 SOS 88290330 HAS SOPS 80729115 HAS SOUS 19696526 HAS SOUPS 19627402 WITH SCORE 1.971569233E7
AT ITER 2508 NEW BEST:: SOT 124826940 SOS 88287301 HAS SOPS 80725995 HAS SOUS 19696497 HAS SOUPS 19627373 WITH SCORE 1.9715660301E7
AT ITER 2518 NEW BEST:: SOT 124831398 SOS 88292783 HAS SOPS 80728506 HAS SOUS 19695224 HAS SOUPS 19626100 WITH SCORE 1.9714392783E7
AT ITER 2534 NEW BEST:: SOT 124849812 SOS 88311197 HAS SOPS 80742938 HAS SOUS 19690464 HAS SOUPS 19621340 WITH SCORE 1.9709651197E7
AT ITER 2544 NEW BEST:: SOT 124849812 SOS 88311219 HAS SOPS 80742960 HAS SOUS 19690244 HAS SOUPS 19621120 WITH SCORE 1.9709431219E7
AT ITER 2551 NEW BEST:: SOT 124848099 SOS 88309506 HAS SOPS 80741247 HAS SOUS 19688386 HAS SOUPS 19619262 WITH SCORE 1.9707571506E7
AT ITER 2555 NEW BEST:: SOT 124895253 SOS 88352906 HAS SOPS 80767337 HAS SOUS 19665801 HAS SOUPS 19596828 WITH SCORE 1.9685180906E7
AT ITER 2556 NEW BEST:: SOT 124927647 SOS 88385087 HAS SOPS 80799800 HAS SOUS 19649501 HAS SOUPS 19580528 WITH SCORE 1.9668913087E7
AT ITER 2559 NEW BEST:: SOT 124927618 SOS 88354635 HAS SOPS 80778367 HAS SOUS 19649373 HAS SOUPS 19580456 WITH SCORE 1.9668810635E7
AT ITER 2592 NEW BEST:: SOT 124927344 SOS 88354439 HAS SOPS 80778083 HAS SOUS 19648663 HAS SOUPS 19579746 WITH SCORE 1.9668100439E7
AT ITER 2622 NEW BEST:: SOT 124925941 SOS 88354126 HAS SOPS 80775978 HAS SOUS 19637128 HAS SOUPS 19568211 WITH SCORE 1.9656565126E7
AT ITER 2633 NEW BEST:: SOT 124913626 SOS 88343987 HAS SOPS 80766981 HAS SOUS 19631633 HAS SOUPS 19562716 WITH SCORE 1.9651059987E7
AT ITER 2643 NEW BEST:: SOT 124913591 SOS 88344153 HAS SOPS 80767147 HAS SOUS 19631480 HAS SOUPS 19562563 WITH SCORE 1.9650907153E7
AT ITER 2650 NEW BEST:: SOT 125344168 SOS 88773522 HAS SOPS 81187117 HAS SOUS 19603117 HAS SOUPS 19534343 WITH SCORE 1.9623116522E7
AT ITER 2653 NEW BEST:: SOT 125260060 SOS 88688898 HAS SOPS 81101461 HAS SOUS 19511269 HAS SOUPS 19442495 WITH SCORE 1.9531183898E7
AT ITER 2657 NEW BEST:: SOT 125258059 SOS 88686762 HAS SOPS 81099070 HAS SOUS 19508863 HAS SOUPS 19440089 WITH SCORE 1.9528775762E7
AT ITER 2658 NEW BEST:: SOT 125256611 SOS 88685314 HAS SOPS 81097698 HAS SOUS 19508387 HAS SOUPS 19439613 WITH SCORE 1.9528298314E7
AT ITER 2659 NEW BEST:: SOT 125253129 SOS 88681065 HAS SOPS 81093430 HAS SOUS 19495731 HAS SOUPS 19426957 WITH SCORE 1.9515638065E7
AT ITER 2667 NEW BEST:: SOT 125251160 SOS 88679125 HAS SOPS 81091416 HAS SOUS 19493873 HAS SOUPS 19425099 WITH SCORE 1.9513778125E7
AT ITER 2687 NEW BEST:: SOT 125251160 SOS 88679545 HAS SOPS 81091836 HAS SOUS 19493595 HAS SOUPS 19424821 WITH SCORE 1.9513500545E7
AT ITER 2689 NEW BEST:: SOT 125251160 SOS 88751022 HAS SOPS 81128609 HAS SOUS 19492913 HAS SOUPS 19424035 WITH SCORE 1.9512786022E7
AT ITER 2715 NEW BEST:: SOT 125243453 SOS 88747126 HAS SOPS 81115018 HAS SOUS 19491260 HAS SOUPS 19422030 WITH SCORE 1.9510777126E7
AT ITER 2724 NEW BEST:: SOT 125234877 SOS 88727670 HAS SOPS 81095446 HAS SOUS 19485020 HAS SOUPS 19415790 WITH SCORE 1.950451767E7
AT ITER 2740 NEW BEST:: SOT 125318389 SOS 88812673 HAS SOPS 81154822 HAS SOUS 19478060 HAS SOUPS 19408830 WITH SCORE 1.9497642673E7
AT ITER 2745 NEW BEST:: SOT 125320595 SOS 88814519 HAS SOPS 81155229 HAS SOUS 19472334 HAS SOUPS 19403104 WITH SCORE 1.9491918519E7
AT ITER 2749 NEW BEST:: SOT 125321952 SOS 88816230 HAS SOPS 81156527 HAS SOUS 19469364 HAS SOUPS 19400134 WITH SCORE 1.948895023E7
AT ITER 2765 NEW BEST:: SOT 125331931 SOS 88825807 HAS SOPS 81165792 HAS SOUS 19466364 HAS SOUPS 19397134 WITH SCORE 1.9485959807E7
AT ITER 2779 NEW BEST:: SOT 125534146 SOS 89026815 HAS SOPS 81371850 HAS SOUS 19408243 HAS SOUPS 19339160 WITH SCORE 1.9428186815E7
AT ITER 2788 NEW BEST:: SOT 125536349 SOS 89029301 HAS SOPS 81373696 HAS SOUS 19400243 HAS SOUPS 19331160 WITH SCORE 1.9420189301E7
AT ITER 2790 NEW BEST:: SOT 125536357 SOS 89030190 HAS SOPS 81374612 HAS SOUS 19400207 HAS SOUPS 19331124 WITH SCORE 1.942015419E7
AT ITER 2822 NEW BEST:: SOT 125539724 SOS 89035142 HAS SOPS 81375949 HAS SOUS 19377731 HAS SOUPS 19308648 WITH SCORE 1.9397683142E7
AT ITER 2824 NEW BEST:: SOT 125542696 SOS 89037770 HAS SOPS 81377690 HAS SOUS 19359548 HAS SOUPS 19290465 WITH SCORE 1.937950277E7
AT ITER 2830 NEW BEST:: SOT 125524891 SOS 89051427 HAS SOPS 81389230 HAS SOUS 19350820 HAS SOUPS 19282059 WITH SCORE 1.9371110427E7
AT ITER 2834 NEW BEST:: SOT 125524859 SOS 89048974 HAS SOPS 81386777 HAS SOUS 19350174 HAS SOUPS 19281413 WITH SCORE 1.9370461974E7
AT ITER 2863 NEW BEST:: SOT 125511090 SOS 89035205 HAS SOPS 81373861 HAS SOUS 19333464 HAS SOUPS 19264703 WITH SCORE 1.9353738205E7
AT ITER 2870 NEW BEST:: SOT 125503836 SOS 89028307 HAS SOPS 81365107 HAS SOUS 19317512 HAS SOUPS 19248751 WITH SCORE 1.9337779307E7
AT ITER 2877 NEW BEST:: SOT 125493565 SOS 89018101 HAS SOPS 81354969 HAS SOUS 19317309 HAS SOUPS 19248548 WITH SCORE 1.9337566101E7
AT ITER 2892 NEW BEST:: SOT 125487533 SOS 89012069 HAS SOPS 81348985 HAS SOUS 19317192 HAS SOUPS 19248431 WITH SCORE 1.9337443069E7
AT ITER 2894 NEW BEST:: SOT 125487489 SOS 89009231 HAS SOPS 81346015 HAS SOUS 19313921 HAS SOUPS 19245160 WITH SCORE 1.9334169231E7
AT ITER 2899 NEW BEST:: SOT 125478617 SOS 89000329 HAS SOPS 81336225 HAS SOUS 19291167 HAS SOUPS 19222406 WITH SCORE 1.9311406329E7
AT ITER 2913 NEW BEST:: SOT 125476561 SOS 88997729 HAS SOPS 81332977 HAS SOUS 19286288 HAS SOUPS 19217527 WITH SCORE 1.9306524729E7
AT ITER 2920 NEW BEST:: SOT 125474536 SOS 88995664 HAS SOPS 81331118 HAS SOUS 19285105 HAS SOUPS 19216344 WITH SCORE 1.9305339664E7
AT ITER 2944 NEW BEST:: SOT 125513711 SOS 89035350 HAS SOPS 81370495 HAS SOUS 19279644 HAS SOUPS 19210883 WITH SCORE 1.929991835E7
AT ITER 2965 NEW BEST:: SOT 125516986 SOS 89039274 HAS SOPS 81373500 HAS SOUS 19278629 HAS SOUPS 19209868 WITH SCORE 1.9298907274E7
AT ITER 2994 NEW BEST:: SOT 125515374 SOS 89037649 HAS SOPS 81371849 HAS SOUS 19276117 HAS SOUPS 19207356 WITH SCORE 1.9296393649E7
AT ITER 2999 NEW BEST:: SOT 125508580 SOS 89030291 HAS SOPS 81364135 HAS SOUS 19262737 HAS SOUPS 19193976 WITH SCORE 1.9283006291E7
AT ITER 3016 NEW BEST:: SOT 125513537 SOS 89035044 HAS SOPS 81367973 HAS SOUS 19246411 HAS SOUPS 19177578 WITH SCORE 1.9266613044E7
AT ITER 3018 NEW BEST:: SOT 125514759 SOS 89172070 HAS SOPS 81504301 HAS SOUS 19241860 HAS SOUPS 19173027 WITH SCORE 1.926219907E7
AT ITER 3030 NEW BEST:: SOT 125529222 SOS 89181356 HAS SOPS 81495866 HAS SOUS 19212398 HAS SOUPS 19143675 WITH SCORE 1.9232856356E7
AT ITER 3032 NEW BEST:: SOT 125526030 SOS 89178072 HAS SOPS 81492306 HAS SOUS 19207930 HAS SOUPS 19139207 WITH SCORE 1.9228385072E7
AT ITER 3033 NEW BEST:: SOT 125526091 SOS 89179664 HAS SOPS 81493898 HAS SOUS 19207921 HAS SOUPS 19139198 WITH SCORE 1.9228377664E7
AT ITER 3051 NEW BEST:: SOT 125526100 SOS 89178854 HAS SOPS 81493088 HAS SOUS 19207700 HAS SOUPS 19138977 WITH SCORE 1.9228155854E7
AT ITER 3069 NEW BEST:: SOT 125855854 SOS 89508326 HAS SOPS 81814680 HAS SOUS 19125313 HAS SOUPS 19056732 WITH SCORE 1.9146240326E7
AT ITER 3080 NEW BEST:: SOT 125854367 SOS 89506951 HAS SOPS 81812795 HAS SOUS 19123729 HAS SOUPS 19055148 WITH SCORE 1.9144654951E7
AT ITER 3082 NEW BEST:: SOT 125854571 SOS 89507167 HAS SOPS 81813047 HAS SOUS 19123705 HAS SOUPS 19055124 WITH SCORE 1.9144631167E7
AT ITER 3107 NEW BEST:: SOT 125847633 SOS 89500001 HAS SOPS 81806450 HAS SOUS 19118059 HAS SOUPS 19049478 WITH SCORE 1.9138978001E7
AT ITER 3110 NEW BEST:: SOT 125844553 SOS 89496701 HAS SOPS 81803150 HAS SOUS 19117234 HAS SOUPS 19048653 WITH SCORE 1.9138149701E7
AT ITER 3119 NEW BEST:: SOT 125837496 SOS 89489467 HAS SOPS 81796000 HAS SOUS 19111132 HAS SOUPS 19042551 WITH SCORE 1.9132040467E7
AT ITER 3124 NEW BEST:: SOT 125848436 SOS 89501505 HAS SOPS 81807401 HAS SOUS 19104335 HAS SOUPS 19035754 WITH SCORE 1.9125255505E7
AT ITER 3129 NEW BEST:: SOT 125848373 SOS 89501449 HAS SOPS 81807401 HAS SOUS 19104237 HAS SOUPS 19035656 WITH SCORE 1.9125157449E7
AT ITER 3147 NEW BEST:: SOT 125847455 SOS 89500531 HAS SOPS 81806882 HAS SOUS 19101405 HAS SOUPS 19032824 WITH SCORE 1.9122324531E7
AT ITER 3148 NEW BEST:: SOT 125847491 SOS 89500535 HAS SOPS 81806886 HAS SOUS 19101356 HAS SOUPS 19032775 WITH SCORE 1.9122275535E7
AT ITER 3150 NEW BEST:: SOT 125845936 SOS 89498943 HAS SOPS 81805317 HAS SOUS 19099008 HAS SOUPS 19030427 WITH SCORE 1.9119925943E7
AT ITER 3157 NEW BEST:: SOT 125852752 SOS 89508091 HAS SOPS 81812758 HAS SOUS 19098089 HAS SOUPS 19029508 WITH SCORE 1.9119016091E7
AT ITER 3161 NEW BEST:: SOT 125847508 SOS 89502801 HAS SOPS 81807652 HAS SOUS 19091879 HAS SOUPS 19023298 WITH SCORE 1.9112800801E7
AT ITER 3164 NEW BEST:: SOT 125851327 SOS 89506628 HAS SOPS 81811033 HAS SOUS 19086699 HAS SOUPS 19018118 WITH SCORE 1.9107624628E7
AT ITER 3165 NEW BEST:: SOT 125855519 SOS 89510788 HAS SOPS 81815059 HAS SOUS 19085124 HAS SOUPS 19016543 WITH SCORE 1.9106053788E7
AT ITER 3171 NEW BEST:: SOT 125856337 SOS 89511649 HAS SOPS 81815665 HAS SOUS 19079016 HAS SOUPS 19010435 WITH SCORE 1.9099946649E7
AT ITER 3187 NEW BEST:: SOT 125852389 SOS 89506858 HAS SOPS 81810526 HAS SOUS 19075492 HAS SOUPS 19006911 WITH SCORE 1.9096417858E7
AT ITER 3190 NEW BEST:: SOT 125847354 SOS 89436581 HAS SOPS 81822270 HAS SOUS 19069015 HAS SOUPS 19000584 WITH SCORE 1.9090020581E7
AT ITER 3195 NEW BEST:: SOT 125847213 SOS 89434643 HAS SOPS 81820332 HAS SOUS 19068982 HAS SOUPS 19000551 WITH SCORE 1.9089985643E7
AT ITER 3212 NEW BEST:: SOT 125844550 SOS 89431669 HAS SOPS 81817681 HAS SOUS 19060777 HAS SOUPS 18992346 WITH SCORE 1.9081777669E7
AT ITER 3230 NEW BEST:: SOT 125850847 SOS 89437746 HAS SOPS 81823718 HAS SOUS 19051565 HAS SOUPS 18983134 WITH SCORE 1.9072571746E7
AT ITER 3241 NEW BEST:: SOT 125850847 SOS 89438033 HAS SOPS 81824579 HAS SOUS 19050704 HAS SOUPS 18982273 WITH SCORE 1.9071711033E7
AT ITER 3258 NEW BEST:: SOT 125843775 SOS 89430961 HAS SOPS 81816018 HAS SOUS 19036501 HAS SOUPS 18968070 WITH SCORE 1.9057500961E7
AT ITER 3283 NEW BEST:: SOT 125816814 SOS 89404057 HAS SOPS 81789513 HAS SOUS 19027039 HAS SOUPS 18958608 WITH SCORE 1.9048012057E7
AT ITER 3310 NEW BEST:: SOT 125700115 SOS 89287574 HAS SOPS 81674208 HAS SOUS 18976799 HAS SOUPS 18908368 WITH SCORE 1.8997655574E7
AT ITER 3312 NEW BEST:: SOT 125702877 SOS 89288572 HAS SOPS 81675435 HAS SOUS 18956133 HAS SOUPS 18887702 WITH SCORE 1.8976990572E7
AT ITER 3318 NEW BEST:: SOT 125680604 SOS 89328068 HAS SOPS 81715515 HAS SOUS 18954921 HAS SOUPS 18886477 WITH SCORE 1.8975805068E7
AT ITER 3326 NEW BEST:: SOT 125680565 SOS 89328035 HAS SOPS 81715482 HAS SOUS 18954813 HAS SOUPS 18886369 WITH SCORE 1.8975697035E7
AT ITER 3327 NEW BEST:: SOT 125678995 SOS 89326699 HAS SOPS 81712511 HAS SOUS 18950523 HAS SOUPS 18882079 WITH SCORE 1.8971405699E7
AT ITER 3328 NEW BEST:: SOT 125675537 SOS 89323178 HAS SOPS 81709403 HAS SOUS 18949407 HAS SOUPS 18880963 WITH SCORE 1.8970286178E7
AT ITER 3346 NEW BEST:: SOT 125661646 SOS 89299547 HAS SOPS 81683642 HAS SOUS 18928076 HAS SOUPS 18859979 WITH SCORE 1.8949278547E7
AT ITER 3351 NEW BEST:: SOT 125661016 SOS 89298820 HAS SOPS 81682504 HAS SOUS 18925321 HAS SOUPS 18857224 WITH SCORE 1.894652282E7
AT ITER 3353 NEW BEST:: SOT 125664500 SOS 89302781 HAS SOPS 81686709 HAS SOUS 18916489 HAS SOUPS 18848392 WITH SCORE 1.8937694781E7
AT ITER 3374 NEW BEST:: SOT 125660888 SOS 89299296 HAS SOPS 81683660 HAS SOUS 18904541 HAS SOUPS 18836444 WITH SCORE 1.8925743296E7
AT ITER 3382 NEW BEST:: SOT 125625400 SOS 89264190 HAS SOPS 81644260 HAS SOUS 18860655 HAS SOUPS 18792558 WITH SCORE 1.888182219E7
AT ITER 3385 NEW BEST:: SOT 125625322 SOS 89264112 HAS SOPS 81644104 HAS SOUS 18860031 HAS SOUPS 18791934 WITH SCORE 1.8881198112E7
AT ITER 3392 NEW BEST:: SOT 125619489 SOS 89258577 HAS SOPS 81637977 HAS SOUS 18856512 HAS SOUPS 18788415 WITH SCORE 1.8877673577E7
AT ITER 3400 NEW BEST:: SOT 125606645 SOS 89298393 HAS SOPS 81678412 HAS SOUS 18849016 HAS SOUPS 18780919 WITH SCORE 1.8870217393E7
AT ITER 3402 NEW BEST:: SOT 125584988 SOS 89281498 HAS SOPS 81664169 HAS SOUS 18839548 HAS SOUPS 18771451 WITH SCORE 1.8860732498E7
AT ITER 3415 NEW BEST:: SOT 125584097 SOS 89280684 HAS SOPS 81663487 HAS SOUS 18837832 HAS SOUPS 18769735 WITH SCORE 1.8859015684E7
AT ITER 3426 NEW BEST:: SOT 125584905 SOS 89281347 HAS SOPS 81663817 HAS SOUS 18837528 HAS SOUPS 18769431 WITH SCORE 1.8858712347E7
AT ITER 3443 NEW BEST:: SOT 125585569 SOS 89282024 HAS SOPS 81664372 HAS SOUS 18836414 HAS SOUPS 18768317 WITH SCORE 1.8857599024E7
AT ITER 3457 NEW BEST:: SOT 125580904 SOS 89277324 HAS SOPS 81659740 HAS SOUS 18831121 HAS SOUPS 18763024 WITH SCORE 1.8852301324E7
AT ITER 3459 NEW BEST:: SOT 125583364 SOS 89280000 HAS SOPS 81662506 HAS SOUS 18826790 HAS SOUPS 18758693 WITH SCORE 1.8847973E7
AT ITER 3460 NEW BEST:: SOT 125585164 SOS 89279316 HAS SOPS 81650105 HAS SOUS 18810130 HAS SOUPS 18741998 WITH SCORE 1.8831277316E7
AT ITER 3471 NEW BEST:: SOT 125586000 SOS 89368063 HAS SOPS 81622916 HAS SOUS 18808642 HAS SOUPS 18740176 WITH SCORE 1.8829544063E7
AT ITER 3479 NEW BEST:: SOT 125597171 SOS 89378877 HAS SOPS 81633983 HAS SOUS 18808027 HAS SOUPS 18739561 WITH SCORE 1.8828939877E7
AT ITER 3501 NEW BEST:: SOT 125597177 SOS 89361936 HAS SOPS 81633477 HAS SOUS 18807943 HAS SOUPS 18739523 WITH SCORE 1.8828884936E7
AT ITER 3517 NEW BEST:: SOT 125594657 SOS 89359479 HAS SOPS 81630642 HAS SOUS 18804420 HAS SOUPS 18736000 WITH SCORE 1.8825359479E7
AT ITER 3534 NEW BEST:: SOT 125597128 SOS 89371479 HAS SOPS 81642143 HAS SOUS 18804068 HAS SOUPS 18735648 WITH SCORE 1.8825019479E7
AT ITER 3541 NEW BEST:: SOT 125613529 SOS 89388283 HAS SOPS 81656176 HAS SOUS 18796566 HAS SOUPS 18728036 WITH SCORE 1.8817424283E7
AT ITER 3559 NEW BEST:: SOT 125602507 SOS 89376359 HAS SOPS 81645237 HAS SOUS 18787588 HAS SOUPS 18719058 WITH SCORE 1.8808434359E7
AT ITER 3561 NEW BEST:: SOT 125604693 SOS 89378825 HAS SOPS 81647393 HAS SOUS 18781370 HAS SOUPS 18712840 WITH SCORE 1.8802218825E7
AT ITER 3577 NEW BEST:: SOT 125604086 SOS 89378146 HAS SOPS 81647056 HAS SOUS 18781087 HAS SOUPS 18712557 WITH SCORE 1.8801935146E7
AT ITER 3581 NEW BEST:: SOT 125590753 SOS 89364073 HAS SOPS 81631262 HAS SOUS 18763785 HAS SOUPS 18695255 WITH SCORE 1.8784619073E7
AT ITER 3589 NEW BEST:: SOT 125590621 SOS 89341133 HAS SOPS 81608142 HAS SOUS 18760264 HAS SOUPS 18691734 WITH SCORE 1.8781075133E7
AT ITER 3595 NEW BEST:: SOT 125593056 SOS 89343947 HAS SOPS 81610964 HAS SOUS 18759849 HAS SOUPS 18691319 WITH SCORE 1.8780662947E7
AT ITER 3599 NEW BEST:: SOT 125594236 SOS 89358930 HAS SOPS 81626250 HAS SOUS 18756592 HAS SOUPS 18688067 WITH SCORE 1.877742593E7
AT ITER 3601 NEW BEST:: SOT 125593796 SOS 89358490 HAS SOPS 81625590 HAS SOUS 18755230 HAS SOUPS 18686705 WITH SCORE 1.877606349E7
AT ITER 3626 NEW BEST:: SOT 125605594 SOS 89371579 HAS SOPS 81638025 HAS SOUS 18745108 HAS SOUPS 18676583 WITH SCORE 1.8765954579E7
AT ITER 3633 NEW BEST:: SOT 125596568 SOS 89362793 HAS SOPS 81625413 HAS SOUS 18726725 HAS SOUPS 18658200 WITH SCORE 1.8747562793E7
AT ITER 3635 NEW BEST:: SOT 125597168 SOS 89363393 HAS SOPS 81625968 HAS SOUS 18726665 HAS SOUPS 18658140 WITH SCORE 1.8747503393E7
AT ITER 3643 NEW BEST:: SOT 125596216 SOS 89362427 HAS SOPS 81624960 HAS SOUS 18725461 HAS SOUPS 18656936 WITH SCORE 1.8746298427E7
AT ITER 3648 NEW BEST:: SOT 125595111 SOS 89361322 HAS SOPS 81623875 HAS SOUS 18719818 HAS SOUPS 18651293 WITH SCORE 1.8740654322E7
AT ITER 3651 NEW BEST:: SOT 125595009 SOS 89357439 HAS SOPS 81619992 HAS SOUS 18719325 HAS SOUPS 18650800 WITH SCORE 1.8740157439E7
AT ITER 3656 NEW BEST:: SOT 125593420 SOS 89357283 HAS SOPS 81617194 HAS SOUS 18710290 HAS SOUPS 18641765 WITH SCORE 1.8731122283E7
AT ITER 3667 NEW BEST:: SOT 125827012 SOS 89589975 HAS SOPS 81852567 HAS SOUS 18662712 HAS SOUPS 18594331 WITH SCORE 1.8683920975E7
AT ITER 3669 NEW BEST:: SOT 125830527 SOS 89593591 HAS SOPS 81857164 HAS SOUS 18650831 HAS SOUPS 18582450 WITH SCORE 1.8672043591E7
AT ITER 3675 NEW BEST:: SOT 125830687 SOS 89593761 HAS SOPS 81857334 HAS SOUS 18650821 HAS SOUPS 18582440 WITH SCORE 1.8672033761E7
AT ITER 3705 NEW BEST:: SOT 125813059 SOS 89575800 HAS SOPS 81839838 HAS SOUS 18637706 HAS SOUPS 18569325 WITH SCORE 1.86589008E7
AT ITER 3709 NEW BEST:: SOT 125811874 SOS 89574721 HAS SOPS 81838744 HAS SOUS 18637601 HAS SOUPS 18569220 WITH SCORE 1.8658794721E7
AT ITER 3721 NEW BEST:: SOT 125811900 SOS 89573472 HAS SOPS 81837495 HAS SOUS 18637287 HAS SOUPS 18568906 WITH SCORE 1.8658479472E7
AT ITER 3724 NEW BEST:: SOT 125811931 SOS 89573452 HAS SOPS 81837161 HAS SOUS 18635372 HAS SOUPS 18566991 WITH SCORE 1.8656564452E7
AT ITER 3739 NEW BEST:: SOT 125777549 SOS 89538447 HAS SOPS 81801768 HAS SOUS 18604188 HAS SOUPS 18535807 WITH SCORE 1.8625345447E7
AT ITER 3741 NEW BEST:: SOT 125780452 SOS 89541516 HAS SOPS 81803565 HAS SOUS 18602296 HAS SOUPS 18533915 WITH SCORE 1.8623456516E7
AT ITER 3763 NEW BEST:: SOT 125787241 SOS 89547732 HAS SOPS 81809530 HAS SOUS 18593861 HAS SOUPS 18525480 WITH SCORE 1.8615027732E7
AT ITER 3776 NEW BEST:: SOT 125787079 SOS 89547567 HAS SOPS 81809362 HAS SOUS 18593543 HAS SOUPS 18525162 WITH SCORE 1.8614709567E7
AT ITER 3779 NEW BEST:: SOT 125782320 SOS 89542849 HAS SOPS 81804424 HAS SOUS 18592918 HAS SOUPS 18524537 WITH SCORE 1.8614079849E7
AT ITER 3832 NEW BEST:: SOT 125773748 SOS 89533568 HAS SOPS 81796265 HAS SOUS 18562066 HAS SOUPS 18493685 WITH SCORE 1.8583218568E7
AT ITER 3845 NEW BEST:: SOT 125772391 SOS 89532211 HAS SOPS 81795085 HAS SOUS 18561889 HAS SOUPS 18493508 WITH SCORE 1.8583040211E7
AT ITER 3856 NEW BEST:: SOT 125772541 SOS 89515630 HAS SOPS 81787805 HAS SOUS 18561588 HAS SOUPS 18493239 WITH SCORE 1.858275463E7
AT ITER 3871 NEW BEST:: SOT 125772622 SOS 89481886 HAS SOPS 81753596 HAS SOUS 18561136 HAS SOUPS 18492787 WITH SCORE 1.8582268886E7
AT ITER 3876 NEW BEST:: SOT 125753081 SOS 89461803 HAS SOPS 81732248 HAS SOUS 18520659 HAS SOUPS 18452310 WITH SCORE 1.8541771803E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14396512 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15971708 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

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="RERS2020-PT-pb106"
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 RERS2020-PT-pb106, 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 r331-tall-167889204300264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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