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.r235-tall-167856421900536.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 LeafsetExtension-PT-S64C3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421900536
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 11K Feb 25 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 16:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 16:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 16:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 16:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 31K Feb 25 16:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 194K Feb 25 16:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 16:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 25 16:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 14M 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 1678667545110

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=LeafsetExtension-PT-S64C3
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 00:32:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 00:32:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 00:32:27] [INFO ] Load time of PNML (sax parser for PT used): 467 ms
[2023-03-13 00:32:27] [INFO ] Transformed 21462 places.
[2023-03-13 00:32:27] [INFO ] Transformed 21129 transitions.
[2023-03-13 00:32:27] [INFO ] Parsed PT model containing 21462 places and 21129 transitions and 67740 arcs in 626 ms.
[2023-03-13 00:32:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 21462 places, 21129 transitions and 67740 arcs took 149 ms.
Total runtime 807 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S64C3
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: 21462 places, 21129 transitions, 67740 arcs.
AT ITER 0 NEW BEST:: SOT 257288034 SOS 58916937 HAS SOPS 58736799 HAS SOUS 52959936 HAS SOUPS 52941851 WITH SCORE 5.3000767937E7
AT ITER 20 NEW BEST:: SOT 257287052 SOS 58916937 HAS SOPS 58736799 HAS SOUS 52958954 HAS SOUPS 52940869 WITH SCORE 5.2999785937E7
AT ITER 23 NEW BEST:: SOT 257286131 SOS 58916936 HAS SOPS 58736798 HAS SOUS 52958953 HAS SOUPS 52940868 WITH SCORE 5.2999784936E7
AT ITER 29 NEW BEST:: SOT 257344645 SOS 58975195 HAS SOPS 58707960 HAS SOUS 53007057 HAS SOUPS 52914308 WITH SCORE 5.2973283195E7
AT ITER 45 NEW BEST:: SOT 257344645 SOS 58974597 HAS SOPS 58707362 HAS SOUS 53006445 HAS SOUPS 52913696 WITH SCORE 5.2972670597E7
AT ITER 85 NEW BEST:: SOT 257340597 SOS 58970549 HAS SOPS 58703314 HAS SOUS 53002397 HAS SOUPS 52909648 WITH SCORE 5.2968618549E7
AT ITER 96 NEW BEST:: SOT 257338515 SOS 58968516 HAS SOPS 58701281 HAS SOUS 53000833 HAS SOUPS 52908084 WITH SCORE 5.2967052516E7
AT ITER 127 NEW BEST:: SOT 257337507 SOS 58968516 HAS SOPS 58701281 HAS SOUS 52999825 HAS SOUPS 52907076 WITH SCORE 5.2966044516E7
AT ITER 181 NEW BEST:: SOT 257335922 SOS 58966930 HAS SOPS 58699695 HAS SOUS 52998239 HAS SOUPS 52905490 WITH SCORE 5.296445693E7
AT ITER 218 NEW BEST:: SOT 257335065 SOS 58966093 HAS SOPS 58698858 HAS SOUS 52997382 HAS SOUPS 52904633 WITH SCORE 5.2963599093E7
AT ITER 224 NEW BEST:: SOT 257333393 SOS 58962463 HAS SOPS 58695228 HAS SOUS 52996392 HAS SOUPS 52903643 WITH SCORE 5.2962605463E7
AT ITER 225 NEW BEST:: SOT 257331582 SOS 58960652 HAS SOPS 58693417 HAS SOUS 52994581 HAS SOUPS 52901832 WITH SCORE 5.2960792652E7
AT ITER 298 NEW BEST:: SOT 257331285 SOS 58960355 HAS SOPS 58693120 HAS SOUS 52994284 HAS SOUPS 52901535 WITH SCORE 5.2960495355E7
AT ITER 304 NEW BEST:: SOT 257328922 SOS 58957992 HAS SOPS 58690757 HAS SOUS 52991921 HAS SOUPS 52899172 WITH SCORE 5.2958129992E7
AT ITER 392 NEW BEST:: SOT 257326067 SOS 58955137 HAS SOPS 58687902 HAS SOUS 52989066 HAS SOUPS 52896317 WITH SCORE 5.2955272137E7
AT ITER 410 NEW BEST:: SOT 257326067 SOS 58953494 HAS SOPS 58686259 HAS SOUS 52989066 HAS SOUPS 52896317 WITH SCORE 5.2955270494E7
AT ITER 509 NEW BEST:: SOT 257323602 SOS 58952451 HAS SOPS 58685216 HAS SOUS 52988431 HAS SOUPS 52895682 WITH SCORE 5.2954634451E7
AT ITER 525 NEW BEST:: SOT 257323602 SOS 58952451 HAS SOPS 58685216 HAS SOUS 52986586 HAS SOUPS 52893837 WITH SCORE 5.2952789451E7
AT ITER 556 NEW BEST:: SOT 257321810 SOS 58950680 HAS SOPS 58683445 HAS SOUS 52984794 HAS SOUPS 52892045 WITH SCORE 5.295099568E7
AT ITER 572 NEW BEST:: SOT 257321810 SOS 58950469 HAS SOPS 58683234 HAS SOUS 52984794 HAS SOUPS 52892045 WITH SCORE 5.2950995469E7
AT ITER 614 NEW BEST:: SOT 257238751 SOS 58867535 HAS SOPS 58600245 HAS SOUS 52901805 HAS SOUPS 52809056 WITH SCORE 5.2867923535E7
AT ITER 663 NEW BEST:: SOT 257237918 SOS 58866702 HAS SOPS 58599412 HAS SOUS 52900972 HAS SOUPS 52808223 WITH SCORE 5.2867089702E7
AT ITER 672 NEW BEST:: SOT 257237918 SOS 58865717 HAS SOPS 58598427 HAS SOUS 52900972 HAS SOUPS 52808223 WITH SCORE 5.2867088717E7
AT ITER 693 NEW BEST:: SOT 257236559 SOS 58864366 HAS SOPS 58597076 HAS SOUS 52899613 HAS SOUPS 52806864 WITH SCORE 5.2865728366E7
AT ITER 695 NEW BEST:: SOT 257234899 SOS 58864416 HAS SOPS 58597126 HAS SOUS 52898003 HAS SOUPS 52805254 WITH SCORE 5.2864118416E7
AT ITER 706 NEW BEST:: SOT 257233606 SOS 58864415 HAS SOPS 58597125 HAS SOUS 52898002 HAS SOUPS 52805253 WITH SCORE 5.2864117415E7
AT ITER 751 NEW BEST:: SOT 257233606 SOS 58863499 HAS SOPS 58596209 HAS SOUS 52897070 HAS SOUPS 52804321 WITH SCORE 5.2863184499E7
AT ITER 783 NEW BEST:: SOT 257233606 SOS 58863499 HAS SOPS 58596209 HAS SOUS 52897030 HAS SOUPS 52804281 WITH SCORE 5.2863144499E7
AT ITER 792 NEW BEST:: SOT 257167909 SOS 59284713 HAS SOPS 58540064 HAS SOUS 52848292 HAS SOUPS 52748136 WITH SCORE 5.2807420713E7
AT ITER 802 NEW BEST:: SOT 257167909 SOS 59283701 HAS SOPS 58539052 HAS SOUS 52847241 HAS SOUPS 52747085 WITH SCORE 5.2806368701E7
AT ITER 821 NEW BEST:: SOT 257167909 SOS 59283389 HAS SOPS 58538740 HAS SOUS 52846922 HAS SOUPS 52746766 WITH SCORE 5.2806049389E7
AT ITER 839 NEW BEST:: SOT 257166451 SOS 59281931 HAS SOPS 58537282 HAS SOUS 52845464 HAS SOUPS 52745308 WITH SCORE 5.2804589931E7
AT ITER 841 NEW BEST:: SOT 257163481 SOS 59278961 HAS SOPS 58534312 HAS SOUS 52842494 HAS SOUPS 52742338 WITH SCORE 5.2801616961E7
AT ITER 878 NEW BEST:: SOT 257163283 SOS 59278960 HAS SOPS 58534311 HAS SOUS 52842493 HAS SOUPS 52742337 WITH SCORE 5.280161596E7
AT ITER 930 NEW BEST:: SOT 257161692 SOS 59277369 HAS SOPS 58532720 HAS SOUS 52840902 HAS SOUPS 52740746 WITH SCORE 5.2800023369E7
AT ITER 931 NEW BEST:: SOT 257158556 SOS 59274233 HAS SOPS 58529584 HAS SOUS 52837766 HAS SOUPS 52737610 WITH SCORE 5.2796884233E7
AT ITER 936 NEW BEST:: SOT 257158556 SOS 59273391 HAS SOPS 58528742 HAS SOUS 52836082 HAS SOUPS 52735926 WITH SCORE 5.2795199391E7
AT ITER 957 NEW BEST:: SOT 257235410 SOS 59352589 HAS SOPS 58518863 HAS SOUS 52829166 HAS SOUPS 52726469 WITH SCORE 5.2785821589E7
AT ITER 988 NEW BEST:: SOT 257235185 SOS 59352588 HAS SOPS 58518862 HAS SOUS 52829165 HAS SOUPS 52726468 WITH SCORE 5.2785820588E7
AT ITER 1009 NEW BEST:: SOT 257232466 SOS 59351532 HAS SOPS 58517806 HAS SOUS 52828143 HAS SOUPS 52725446 WITH SCORE 5.2784797532E7
AT ITER 1023 NEW BEST:: SOT 257237295 SOS 59354286 HAS SOPS 58522674 HAS SOUS 52826922 HAS SOUPS 52724472 WITH SCORE 5.2783826286E7
AT ITER 1025 NEW BEST:: SOT 257232544 SOS 59349535 HAS SOPS 58517923 HAS SOUS 52822171 HAS SOUPS 52719721 WITH SCORE 5.2779070535E7
AT ITER 1051 NEW BEST:: SOT 257232544 SOS 59348821 HAS SOPS 58517209 HAS SOUS 52821442 HAS SOUPS 52718992 WITH SCORE 5.2778340821E7
AT ITER 1080 NEW BEST:: SOT 257230082 SOS 59346359 HAS SOPS 58514747 HAS SOUS 52818980 HAS SOUPS 52716530 WITH SCORE 5.2775876359E7
AT ITER 1123 NEW BEST:: SOT 257058035 SOS 59554227 HAS SOPS 58722615 HAS SOUS 52663930 HAS SOUPS 52561480 WITH SCORE 5.2621034227E7
AT ITER 1132 NEW BEST:: SOT 257054808 SOS 59551000 HAS SOPS 58719388 HAS SOUS 52660703 HAS SOUPS 52558253 WITH SCORE 5.2617804E7
AT ITER 1151 NEW BEST:: SOT 257054808 SOS 59550213 HAS SOPS 58718601 HAS SOUS 52659901 HAS SOUPS 52557451 WITH SCORE 5.2617001213E7
AT ITER 1162 NEW BEST:: SOT 256967079 SOS 59565555 HAS SOPS 58735681 HAS SOUS 52577101 HAS SOUPS 52474651 WITH SCORE 5.2534216555E7
AT ITER 1165 NEW BEST:: SOT 256967079 SOS 59544701 HAS SOPS 58714827 HAS SOUS 52574088 HAS SOUPS 52471638 WITH SCORE 5.2531182701E7
AT ITER 1192 NEW BEST:: SOT 256967079 SOS 59543926 HAS SOPS 58714052 HAS SOUS 52573284 HAS SOUPS 52470834 WITH SCORE 5.2530377926E7
AT ITER 1210 NEW BEST:: SOT 256967076 SOS 59543926 HAS SOPS 58714052 HAS SOUS 52573281 HAS SOUPS 52470831 WITH SCORE 5.2530374926E7
AT ITER 1266 NEW BEST:: SOT 256967076 SOS 59543806 HAS SOPS 58713932 HAS SOUS 52573281 HAS SOUPS 52470831 WITH SCORE 5.2530374806E7
AT ITER 1288 NEW BEST:: SOT 256964962 SOS 59541722 HAS SOPS 58711848 HAS SOUS 52571714 HAS SOUPS 52469264 WITH SCORE 5.2528805722E7
AT ITER 1292 NEW BEST:: SOT 256963901 SOS 59540678 HAS SOPS 58710804 HAS SOUS 52570653 HAS SOUPS 52468203 WITH SCORE 5.2527743678E7
AT ITER 1296 NEW BEST:: SOT 256964111 SOS 59540864 HAS SOPS 58710990 HAS SOUS 52568831 HAS SOUPS 52466381 WITH SCORE 5.2525921864E7
AT ITER 1315 NEW BEST:: SOT 256962683 SOS 59540864 HAS SOPS 58710990 HAS SOUS 52567403 HAS SOUPS 52464953 WITH SCORE 5.2524493864E7
AT ITER 1321 NEW BEST:: SOT 256962614 SOS 59540863 HAS SOPS 58710989 HAS SOUS 52567402 HAS SOUPS 52464952 WITH SCORE 5.2524492863E7
AT ITER 1374 NEW BEST:: SOT 256960973 SOS 59539222 HAS SOPS 58709348 HAS SOUS 52565761 HAS SOUPS 52463311 WITH SCORE 5.2522850222E7
AT ITER 1392 NEW BEST:: SOT 256960823 SOS 59539072 HAS SOPS 58709198 HAS SOUS 52565611 HAS SOUPS 52463161 WITH SCORE 5.2522700072E7
AT ITER 1420 NEW BEST:: SOT 256958885 SOS 59537157 HAS SOPS 58707283 HAS SOUS 52563673 HAS SOUPS 52461223 WITH SCORE 5.2520760157E7
AT ITER 1443 NEW BEST:: SOT 256957535 SOS 59537157 HAS SOPS 58707283 HAS SOUS 52562323 HAS SOUPS 52459873 WITH SCORE 5.2519410157E7
AT ITER 1458 NEW BEST:: SOT 256957535 SOS 59536306 HAS SOPS 58706432 HAS SOUS 52560686 HAS SOUPS 52458236 WITH SCORE 5.2517772306E7
AT ITER 1459 NEW BEST:: SOT 256957535 SOS 59536306 HAS SOPS 58706432 HAS SOUS 52560645 HAS SOUPS 52458195 WITH SCORE 5.2517731306E7
AT ITER 1493 NEW BEST:: SOT 256957535 SOS 59535522 HAS SOPS 58705648 HAS SOUS 52560645 HAS SOUPS 52458195 WITH SCORE 5.2517730522E7
AT ITER 1503 NEW BEST:: SOT 256955271 SOS 59534474 HAS SOPS 58704600 HAS SOUS 52559838 HAS SOUPS 52457388 WITH SCORE 5.2516922474E7
AT ITER 1543 NEW BEST:: SOT 256955241 SOS 59534473 HAS SOPS 58704599 HAS SOUS 52559837 HAS SOUPS 52457387 WITH SCORE 5.2516921473E7
AT ITER 1545 NEW BEST:: SOT 256955241 SOS 59532363 HAS SOPS 58702489 HAS SOUS 52557727 HAS SOUPS 52455277 WITH SCORE 5.2514809363E7
AT ITER 1550 NEW BEST:: SOT 256955241 SOS 59531384 HAS SOPS 58701510 HAS SOUS 52556738 HAS SOUPS 52454288 WITH SCORE 5.2513819384E7
AT ITER 1556 NEW BEST:: SOT 256955175 SOS 59531318 HAS SOPS 58701378 HAS SOUS 52557829 HAS SOUPS 52454156 WITH SCORE 5.2513687318E7
AT ITER 1568 NEW BEST:: SOT 256953475 SOS 59529618 HAS SOPS 58699678 HAS SOUS 52556129 HAS SOUPS 52452456 WITH SCORE 5.2511985618E7
AT ITER 1586 NEW BEST:: SOT 256952347 SOS 59528495 HAS SOPS 58698555 HAS SOUS 52555000 HAS SOUPS 52451327 WITH SCORE 5.2510855495E7
AT ITER 1614 NEW BEST:: SOT 256952347 SOS 59528495 HAS SOPS 58698555 HAS SOUS 52554994 HAS SOUPS 52451321 WITH SCORE 5.2510849495E7
AT ITER 1719 NEW BEST:: SOT 256952347 SOS 59526280 HAS SOPS 58696340 HAS SOUS 52552779 HAS SOUPS 52449106 WITH SCORE 5.250863228E7
AT ITER 1784 NEW BEST:: SOT 256952347 SOS 59525393 HAS SOPS 58695453 HAS SOUS 52550667 HAS SOUPS 52446994 WITH SCORE 5.2506519393E7
AT ITER 1798 NEW BEST:: SOT 256951927 SOS 59525392 HAS SOPS 58695452 HAS SOUS 52550666 HAS SOUPS 52446993 WITH SCORE 5.2506518392E7
AT ITER 1812 NEW BEST:: SOT 256951927 SOS 59525124 HAS SOPS 58695184 HAS SOUS 52550666 HAS SOUPS 52446993 WITH SCORE 5.2506518124E7
AT ITER 1826 NEW BEST:: SOT 256951158 SOS 59525123 HAS SOPS 58695183 HAS SOUS 52550665 HAS SOUPS 52446992 WITH SCORE 5.2506517123E7
AT ITER 1845 NEW BEST:: SOT 256949866 SOS 59525594 HAS SOPS 58695654 HAS SOUS 52549844 HAS SOUPS 52446171 WITH SCORE 5.2505696594E7
AT ITER 1861 NEW BEST:: SOT 256948821 SOS 59524549 HAS SOPS 58694609 HAS SOUS 52548799 HAS SOUPS 52445126 WITH SCORE 5.2504650549E7
AT ITER 1866 NEW BEST:: SOT 256947089 SOS 59521085 HAS SOPS 58691145 HAS SOUS 52545335 HAS SOUPS 52441662 WITH SCORE 5.2501183085E7
AT ITER 1888 NEW BEST:: SOT 256945595 SOS 59519604 HAS SOPS 58689664 HAS SOUS 52543841 HAS SOUPS 52440168 WITH SCORE 5.2499687604E7
AT ITER 1949 NEW BEST:: SOT 256944984 SOS 59518993 HAS SOPS 58689053 HAS SOUS 52543230 HAS SOUPS 52439557 WITH SCORE 5.2499075993E7
AT ITER 1962 NEW BEST:: SOT 256944984 SOS 59518993 HAS SOPS 58689053 HAS SOUS 52541225 HAS SOUPS 52437552 WITH SCORE 5.2497070993E7
AT ITER 1979 NEW BEST:: SOT 256944971 SOS 59518980 HAS SOPS 58689040 HAS SOUS 52541212 HAS SOUPS 52437539 WITH SCORE 5.249705798E7
AT ITER 1980 NEW BEST:: SOT 256944971 SOS 59518979 HAS SOPS 58689039 HAS SOUS 52541211 HAS SOUPS 52437538 WITH SCORE 5.2497056979E7
AT ITER 2015 NEW BEST:: SOT 256943632 SOS 59518979 HAS SOPS 58689039 HAS SOUS 52539872 HAS SOUPS 52436199 WITH SCORE 5.2495717979E7
AT ITER 2032 NEW BEST:: SOT 256905374 SOS 59717810 HAS SOPS 58889624 HAS SOUS 52515369 HAS SOUPS 52411696 WITH SCORE 5.247141381E7
AT ITER 2080 NEW BEST:: SOT 256889894 SOS 59702415 HAS SOPS 58874229 HAS SOUS 52499906 HAS SOUPS 52396233 WITH SCORE 5.2455935415E7
AT ITER 2143 NEW BEST:: SOT 256887387 SOS 59699908 HAS SOPS 58871722 HAS SOUS 52497399 HAS SOUPS 52393726 WITH SCORE 5.2453425908E7
AT ITER 2177 NEW BEST:: SOT 256846563 SOS 59696772 HAS SOPS 58868476 HAS SOUS 52456610 HAS SOUPS 52352937 WITH SCORE 5.2412633772E7
AT ITER 2209 NEW BEST:: SOT 256845084 SOS 59695293 HAS SOPS 58866997 HAS SOUS 52455131 HAS SOUPS 52351458 WITH SCORE 5.2411153293E7
AT ITER 2212 NEW BEST:: SOT 256844766 SOS 59695293 HAS SOPS 58866997 HAS SOUS 52455117 HAS SOUPS 52351444 WITH SCORE 5.2411139293E7
AT ITER 2213 NEW BEST:: SOT 256842707 SOS 59693253 HAS SOPS 58864957 HAS SOUS 52452751 HAS SOUPS 52349078 WITH SCORE 5.2408771253E7
AT ITER 2220 NEW BEST:: SOT 256842707 SOS 59692579 HAS SOPS 58864283 HAS SOUS 52452061 HAS SOUPS 52348388 WITH SCORE 5.2408080579E7
AT ITER 2248 NEW BEST:: SOT 256841260 SOS 59691138 HAS SOPS 58862842 HAS SOUS 52449727 HAS SOUPS 52346054 WITH SCORE 5.2405745138E7
AT ITER 2292 NEW BEST:: SOT 256841260 SOS 59691613 HAS SOPS 58863317 HAS SOUS 52449726 HAS SOUPS 52346053 WITH SCORE 5.2405744613E7
AT ITER 2296 NEW BEST:: SOT 256840361 SOS 59645527 HAS SOPS 58817231 HAS SOUS 52447928 HAS SOUPS 52344255 WITH SCORE 5.2403900527E7
AT ITER 2323 NEW BEST:: SOT 256840361 SOS 59645527 HAS SOPS 58817231 HAS SOUS 52447898 HAS SOUPS 52344225 WITH SCORE 5.2403870527E7
AT ITER 2332 NEW BEST:: SOT 256839309 SOS 59644496 HAS SOPS 58816200 HAS SOUS 52446846 HAS SOUPS 52343173 WITH SCORE 5.2402817496E7
AT ITER 2340 NEW BEST:: SOT 256837515 SOS 59640908 HAS SOPS 58812612 HAS SOUS 52445052 HAS SOUPS 52341379 WITH SCORE 5.2401019908E7
AT ITER 2391 NEW BEST:: SOT 256836921 SOS 59640315 HAS SOPS 58812019 HAS SOUS 52444458 HAS SOUPS 52340785 WITH SCORE 5.2400425315E7
AT ITER 2405 NEW BEST:: SOT 256836921 SOS 59639805 HAS SOPS 58811509 HAS SOUS 52443944 HAS SOUPS 52340271 WITH SCORE 5.2399910805E7
AT ITER 2459 NEW BEST:: SOT 256904285 SOS 59706714 HAS SOPS 58791297 HAS SOUS 52426392 HAS SOUPS 52322632 WITH SCORE 5.2382338714E7
AT ITER 2472 NEW BEST:: SOT 256904285 SOS 59706301 HAS SOPS 58790884 HAS SOUS 52426392 HAS SOUPS 52322632 WITH SCORE 5.2382338301E7
AT ITER 2493 NEW BEST:: SOT 256902860 SOS 59706301 HAS SOPS 58790884 HAS SOUS 52424967 HAS SOUPS 52321207 WITH SCORE 5.2380913301E7
AT ITER 2577 NEW BEST:: SOT 256901411 SOS 59704870 HAS SOPS 58789453 HAS SOUS 52423518 HAS SOUPS 52319758 WITH SCORE 5.237946287E7
AT ITER 2583 NEW BEST:: SOT 256901411 SOS 59704557 HAS SOPS 58789140 HAS SOUS 52423494 HAS SOUPS 52319734 WITH SCORE 5.2379438557E7
AT ITER 2588 NEW BEST:: SOT 256900398 SOS 59704557 HAS SOPS 58789140 HAS SOUS 52422481 HAS SOUPS 52318721 WITH SCORE 5.2378425557E7
AT ITER 2641 NEW BEST:: SOT 256899878 SOS 59704037 HAS SOPS 58788620 HAS SOUS 52421961 HAS SOUPS 52318201 WITH SCORE 5.2377905037E7
AT ITER 2644 NEW BEST:: SOT 256899152 SOS 59704036 HAS SOPS 58788619 HAS SOUS 52421960 HAS SOUPS 52318200 WITH SCORE 5.2377904036E7
AT ITER 2649 NEW BEST:: SOT 256898239 SOS 59703123 HAS SOPS 58786793 HAS SOUS 52422229 HAS SOUPS 52317607 WITH SCORE 5.2377310123E7
AT ITER 2650 NEW BEST:: SOT 256898239 SOS 59702842 HAS SOPS 58786512 HAS SOUS 52421940 HAS SOUPS 52317318 WITH SCORE 5.2377020842E7
AT ITER 2666 NEW BEST:: SOT 256734590 SOS 59790027 HAS SOPS 58873697 HAS SOUS 52271106 HAS SOUPS 52166484 WITH SCORE 5.2226274027E7
AT ITER 2697 NEW BEST:: SOT 256734035 SOS 59789471 HAS SOPS 58873141 HAS SOUS 52271105 HAS SOUPS 52166483 WITH SCORE 5.2226272471E7
AT ITER 2744 NEW BEST:: SOT 256719306 SOS 59775019 HAS SOPS 58858689 HAS SOUS 52256603 HAS SOUPS 52151981 WITH SCORE 5.2211756019E7
AT ITER 2779 NEW BEST:: SOT 256717886 SOS 59773599 HAS SOPS 58857269 HAS SOUS 52255183 HAS SOUPS 52150561 WITH SCORE 5.2210334599E7
AT ITER 2780 NEW BEST:: SOT 256714914 SOS 59757625 HAS SOPS 58841295 HAS SOUS 52250891 HAS SOUPS 52146269 WITH SCORE 5.2206026625E7
AT ITER 2792 NEW BEST:: SOT 256714914 SOS 59757261 HAS SOPS 58840931 HAS SOUS 52250524 HAS SOUPS 52145902 WITH SCORE 5.2205659261E7
AT ITER 2804 NEW BEST:: SOT 256712356 SOS 59754653 HAS SOPS 58838323 HAS SOUS 52247274 HAS SOUPS 52142652 WITH SCORE 5.2202406653E7
AT ITER 2818 NEW BEST:: SOT 256712356 SOS 59754428 HAS SOPS 58838098 HAS SOUS 52247049 HAS SOUPS 52142427 WITH SCORE 5.2202181428E7
AT ITER 2863 NEW BEST:: SOT 256711748 SOS 59753820 HAS SOPS 58837490 HAS SOUS 52246441 HAS SOUPS 52141819 WITH SCORE 5.220157282E7
AT ITER 2866 NEW BEST:: SOT 256709124 SOS 59752771 HAS SOPS 58836441 HAS SOUS 52245594 HAS SOUPS 52140972 WITH SCORE 5.2200724771E7
AT ITER 2871 NEW BEST:: SOT 256708984 SOS 59752631 HAS SOPS 58836301 HAS SOUS 52245454 HAS SOUPS 52140832 WITH SCORE 5.2200584631E7
AT ITER 2901 NEW BEST:: SOT 256707769 SOS 59751426 HAS SOPS 58835096 HAS SOUS 52244239 HAS SOUPS 52139617 WITH SCORE 5.2199368426E7
AT ITER 2947 NEW BEST:: SOT 256707256 SOS 59734490 HAS SOPS 58818160 HAS SOUS 52243213 HAS SOUPS 52138591 WITH SCORE 5.219832549E7
AT ITER 2969 NEW BEST:: SOT 256704810 SOS 59733508 HAS SOPS 58817178 HAS SOUS 52242900 HAS SOUPS 52138278 WITH SCORE 5.2198011508E7
AT ITER 2975 NEW BEST:: SOT 256704810 SOS 59733508 HAS SOPS 58817178 HAS SOUS 52242898 HAS SOUPS 52138276 WITH SCORE 5.2198009508E7
AT ITER 2980 NEW BEST:: SOT 256704208 SOS 59732906 HAS SOPS 58816576 HAS SOUS 52242296 HAS SOUPS 52137674 WITH SCORE 5.2197406906E7
AT ITER 2982 NEW BEST:: SOT 256702937 SOS 59731634 HAS SOPS 58815304 HAS SOUS 52242295 HAS SOUPS 52137673 WITH SCORE 5.2197404634E7
AT ITER 2992 NEW BEST:: SOT 256701572 SOS 59730292 HAS SOPS 58813962 HAS SOUS 52240930 HAS SOUPS 52136308 WITH SCORE 5.2196038292E7
AT ITER 3005 NEW BEST:: SOT 256699469 SOS 59728272 HAS SOPS 58811942 HAS SOUS 52237528 HAS SOUPS 52132906 WITH SCORE 5.2192634272E7
AT ITER 3006 NEW BEST:: SOT 256699144 SOS 59727953 HAS SOPS 58811623 HAS SOUS 52237203 HAS SOUPS 52132581 WITH SCORE 5.2192308953E7
AT ITER 3011 NEW BEST:: SOT 256699144 SOS 59727091 HAS SOPS 58810761 HAS SOUS 52235090 HAS SOUPS 52130468 WITH SCORE 5.2190195091E7
AT ITER 3012 NEW BEST:: SOT 256699144 SOS 59726177 HAS SOPS 58809847 HAS SOUS 52235090 HAS SOUPS 52130468 WITH SCORE 5.2190194177E7
AT ITER 3066 NEW BEST:: SOT 256699144 SOS 59725630 HAS SOPS 58809300 HAS SOUS 52233996 HAS SOUPS 52129374 WITH SCORE 5.218909963E7
AT ITER 3083 NEW BEST:: SOT 256698337 SOS 59724823 HAS SOPS 58807686 HAS SOUS 52233189 HAS SOUPS 52127760 WITH SCORE 5.2187484823E7
AT ITER 3112 NEW BEST:: SOT 256698151 SOS 59724637 HAS SOPS 58807500 HAS SOUS 52233003 HAS SOUPS 52127574 WITH SCORE 5.2187298637E7
AT ITER 3118 NEW BEST:: SOT 256689565 SOS 59716175 HAS SOPS 58799008 HAS SOUS 52224511 HAS SOUPS 52119082 WITH SCORE 5.2178798175E7
AT ITER 3155 NEW BEST:: SOT 256688152 SOS 59714774 HAS SOPS 58797607 HAS SOUS 52223098 HAS SOUPS 52117669 WITH SCORE 5.2177383774E7
AT ITER 3160 NEW BEST:: SOT 256686503 SOS 59715993 HAS SOPS 58798826 HAS SOUS 52222660 HAS SOUPS 52117231 WITH SCORE 5.2176946993E7
AT ITER 3162 NEW BEST:: SOT 256686503 SOS 59715817 HAS SOPS 58798650 HAS SOUS 52222484 HAS SOUPS 52117055 WITH SCORE 5.2176770817E7
AT ITER 3165 NEW BEST:: SOT 256685457 SOS 59716594 HAS SOPS 58799427 HAS SOUS 52222215 HAS SOUPS 52116786 WITH SCORE 5.2176502594E7
AT ITER 3200 NEW BEST:: SOT 256685457 SOS 59715563 HAS SOPS 58798396 HAS SOUS 52220103 HAS SOUPS 52114674 WITH SCORE 5.2174389563E7
AT ITER 3201 NEW BEST:: SOT 256699261 SOS 59728897 HAS SOPS 58745816 HAS SOUS 52168979 HAS SOUPS 52063550 WITH SCORE 5.2123278897E7
AT ITER 3205 NEW BEST:: SOT 256574046 SOS 59641847 HAS SOPS 58658766 HAS SOUS 52048677 HAS SOUPS 51943248 WITH SCORE 5.2002889847E7
AT ITER 3219 NEW BEST:: SOT 256571549 SOS 59639350 HAS SOPS 58656269 HAS SOUS 52046180 HAS SOUPS 51940751 WITH SCORE 5.200039035E7
AT ITER 3296 NEW BEST:: SOT 256569928 SOS 59637729 HAS SOPS 58654648 HAS SOUS 52044559 HAS SOUPS 51939130 WITH SCORE 5.1998767729E7
AT ITER 3299 NEW BEST:: SOT 256564956 SOS 59632757 HAS SOPS 58649676 HAS SOUS 52039587 HAS SOUPS 51934158 WITH SCORE 5.1993790757E7
AT ITER 3301 NEW BEST:: SOT 256564045 SOS 59631860 HAS SOPS 58648779 HAS SOUS 52038676 HAS SOUPS 51933247 WITH SCORE 5.199287886E7
AT ITER 3307 NEW BEST:: SOT 256564045 SOS 59631427 HAS SOPS 58648346 HAS SOUS 52038676 HAS SOUPS 51933247 WITH SCORE 5.1992878427E7
AT ITER 3331 NEW BEST:: SOT 256559577 SOS 59626959 HAS SOPS 58643878 HAS SOUS 52034208 HAS SOUPS 51928779 WITH SCORE 5.1988405959E7
AT ITER 3465 NEW BEST:: SOT 256559577 SOS 59627973 HAS SOPS 58644892 HAS SOUS 52033814 HAS SOUPS 51928385 WITH SCORE 5.1988012973E7
AT ITER 3493 NEW BEST:: SOT 256558662 SOS 59594943 HAS SOPS 58611862 HAS SOUS 52031984 HAS SOUPS 51926555 WITH SCORE 5.1986149943E7
AT ITER 3552 NEW BEST:: SOT 256532042 SOS 59714982 HAS SOPS 58733659 HAS SOUS 52008375 HAS SOUPS 51902946 WITH SCORE 5.1962660982E7
AT ITER 3584 NEW BEST:: SOT 256531107 SOS 59715554 HAS SOPS 58734231 HAS SOUS 52008012 HAS SOUPS 51902583 WITH SCORE 5.1962298554E7
AT ITER 3595 NEW BEST:: SOT 256531107 SOS 59714522 HAS SOPS 58733199 HAS SOUS 52006980 HAS SOUPS 51901551 WITH SCORE 5.1961265522E7
AT ITER 3602 NEW BEST:: SOT 256530050 SOS 59713480 HAS SOPS 58732157 HAS SOUS 52005923 HAS SOUPS 51900494 WITH SCORE 5.196020748E7
AT ITER 3607 NEW BEST:: SOT 256528196 SOS 59711626 HAS SOPS 58730303 HAS SOUS 52004069 HAS SOUPS 51898640 WITH SCORE 5.1958351626E7
AT ITER 3660 NEW BEST:: SOT 256528196 SOS 59711626 HAS SOPS 58730303 HAS SOUS 52002926 HAS SOUPS 51897497 WITH SCORE 5.1957208626E7
AT ITER 3689 NEW BEST:: SOT 256382479 SOS 59835953 HAS SOPS 58854630 HAS SOUS 51870543 HAS SOUPS 51765114 WITH SCORE 5.1824949953E7
AT ITER 3721 NEW BEST:: SOT 256379945 SOS 59833419 HAS SOPS 58852096 HAS SOUS 51868009 HAS SOUPS 51762580 WITH SCORE 5.1822413419E7
AT ITER 3740 NEW BEST:: SOT 256378566 SOS 59832040 HAS SOPS 58850717 HAS SOUS 51866630 HAS SOUPS 51761201 WITH SCORE 5.182103304E7
AT ITER 3803 NEW BEST:: SOT 256377963 SOS 59831437 HAS SOPS 58850114 HAS SOUS 51866027 HAS SOUPS 51760598 WITH SCORE 5.1820429437E7
AT ITER 3831 NEW BEST:: SOT 256373423 SOS 59826897 HAS SOPS 58845574 HAS SOUS 51861487 HAS SOUPS 51756058 WITH SCORE 5.1815884897E7
AT ITER 3888 NEW BEST:: SOT 256371878 SOS 59825352 HAS SOPS 58844029 HAS SOUS 51859942 HAS SOUPS 51754513 WITH SCORE 5.1814338352E7
AT ITER 3928 NEW BEST:: SOT 256272790 SOS 59746000 HAS SOPS 58764638 HAS SOUS 51762568 HAS SOUPS 51657139 WITH SCORE 5.1716885E7
AT ITER 3945 NEW BEST:: SOT 256271492 SOS 59746000 HAS SOPS 58764638 HAS SOUS 51761270 HAS SOUPS 51655841 WITH SCORE 5.1715587E7
AT ITER 3977 NEW BEST:: SOT 256271492 SOS 59745009 HAS SOPS 58763647 HAS SOUS 51759986 HAS SOUPS 51654557 WITH SCORE 5.1714302009E7
AT ITER 3979 NEW BEST:: SOT 256268647 SOS 59740902 HAS SOPS 58759540 HAS SOUS 51757141 HAS SOUPS 51651712 WITH SCORE 5.1711452902E7
AT ITER 3985 NEW BEST:: SOT 256267689 SOS 59740902 HAS SOPS 58759540 HAS SOUS 51756183 HAS SOUPS 51650754 WITH SCORE 5.1710494902E7
AT ITER 3989 NEW BEST:: SOT 256266496 SOS 59740902 HAS SOPS 58759540 HAS SOUS 51755866 HAS SOUPS 51650437 WITH SCORE 5.1710177902E7
AT ITER 4036 NEW BEST:: SOT 256263860 SOS 59739960 HAS SOPS 58758598 HAS SOUS 51752641 HAS SOUPS 51647212 WITH SCORE 5.170695196E7
AT ITER 4056 NEW BEST:: SOT 256263860 SOS 59738276 HAS SOPS 58756914 HAS SOUS 51750957 HAS SOUPS 51645528 WITH SCORE 5.1705266276E7
AT ITER 4073 NEW BEST:: SOT 256263247 SOS 59737663 HAS SOPS 58756301 HAS SOUS 51750344 HAS SOUPS 51644915 WITH SCORE 5.1704652663E7
AT ITER 4083 NEW BEST:: SOT 256263247 SOS 59737504 HAS SOPS 58756142 HAS SOUS 51750344 HAS SOUPS 51644915 WITH SCORE 5.1704652504E7
AT ITER 4091 NEW BEST:: SOT 256261302 SOS 59737504 HAS SOPS 58756142 HAS SOUS 51748399 HAS SOUPS 51642970 WITH SCORE 5.1702707504E7
AT ITER 4111 NEW BEST:: SOT 256261302 SOS 59736564 HAS SOPS 58755202 HAS SOUS 51746519 HAS SOUPS 51641090 WITH SCORE 5.1700826564E7
AT ITER 4113 NEW BEST:: SOT 256259659 SOS 59734934 HAS SOPS 58753572 HAS SOUS 51744876 HAS SOUPS 51639447 WITH SCORE 5.1699181934E7
AT ITER 4114 NEW BEST:: SOT 256258372 SOS 59734934 HAS SOPS 58753572 HAS SOUS 51743589 HAS SOUPS 51638160 WITH SCORE 5.1697894934E7
AT ITER 4121 NEW BEST:: SOT 256256595 SOS 59733157 HAS SOPS 58751795 HAS SOUS 51741812 HAS SOUPS 51636383 WITH SCORE 5.1696116157E7
AT ITER 4131 NEW BEST:: SOT 256256049 SOS 59732611 HAS SOPS 58750703 HAS SOUS 51741251 HAS SOUPS 51635291 WITH SCORE 5.1695023611E7
AT ITER 4183 NEW BEST:: SOT 256248716 SOS 59798576 HAS SOPS 58816586 HAS SOUS 51737444 HAS SOUPS 51631484 WITH SCORE 5.1691282576E7
AT ITER 4210 NEW BEST:: SOT 256248621 SOS 59798481 HAS SOPS 58816396 HAS SOUS 51737258 HAS SOUPS 51631294 WITH SCORE 5.1691092481E7
AT ITER 4241 NEW BEST:: SOT 256248540 SOS 59798400 HAS SOPS 58816315 HAS SOUS 51737177 HAS SOUPS 51631213 WITH SCORE 5.16910114E7
AT ITER 4260 NEW BEST:: SOT 256248278 SOS 59798138 HAS SOPS 58815791 HAS SOUS 51736910 HAS SOUPS 51630689 WITH SCORE 5.1690487138E7
AT ITER 4349 NEW BEST:: SOT 256227973 SOS 59778487 HAS SOPS 58796140 HAS SOUS 51717259 HAS SOUPS 51611038 WITH SCORE 5.1670816487E7
AT ITER 4359 NEW BEST:: SOT 256227973 SOS 59777737 HAS SOPS 58795390 HAS SOUS 51716476 HAS SOUPS 51610255 WITH SCORE 5.1670032737E7
AT ITER 4373 NEW BEST:: SOT 256224340 SOS 59770471 HAS SOPS 58788124 HAS SOUS 51712843 HAS SOUPS 51606622 WITH SCORE 5.1666392471E7
AT ITER 4398 NEW BEST:: SOT 256223302 SOS 59770782 HAS SOPS 58788435 HAS SOUS 51712116 HAS SOUPS 51605895 WITH SCORE 5.1665665782E7
AT ITER 4411 NEW BEST:: SOT 256223302 SOS 59768419 HAS SOPS 58786072 HAS SOUS 51712116 HAS SOUPS 51605895 WITH SCORE 5.1665663419E7
AT ITER 4418 NEW BEST:: SOT 256223302 SOS 59768417 HAS SOPS 58786070 HAS SOUS 51712116 HAS SOUPS 51605895 WITH SCORE 5.1665663417E7
AT ITER 4456 NEW BEST:: SOT 256220752 SOS 59767194 HAS SOPS 58784847 HAS SOUS 51708242 HAS SOUPS 51602021 WITH SCORE 5.1661788194E7
AT ITER 4470 NEW BEST:: SOT 256220752 SOS 59767752 HAS SOPS 58785405 HAS SOUS 51707186 HAS SOUPS 51600965 WITH SCORE 5.1660732752E7
AT ITER 4471 NEW BEST:: SOT 256220752 SOS 59758669 HAS SOPS 58776322 HAS SOUS 51707186 HAS SOUPS 51600965 WITH SCORE 5.1660723669E7
AT ITER 4513 NEW BEST:: SOT 256220536 SOS 59758453 HAS SOPS 58776106 HAS SOUS 51706970 HAS SOUPS 51600749 WITH SCORE 5.1660507453E7
AT ITER 4591 NEW BEST:: SOT 256216691 SOS 59754608 HAS SOPS 58772261 HAS SOUS 51703125 HAS SOUPS 51596904 WITH SCORE 5.1656658608E7
AT ITER 4602 NEW BEST:: SOT 256214944 SOS 59754608 HAS SOPS 58772261 HAS SOUS 51701378 HAS SOUPS 51595157 WITH SCORE 5.1654911608E7
AT ITER 4614 NEW BEST:: SOT 256212252 SOS 59753319 HAS SOPS 58770972 HAS SOUS 51698686 HAS SOUPS 51592465 WITH SCORE 5.1652218319E7
AT ITER 4625 NEW BEST:: SOT 256209790 SOS 59750857 HAS SOPS 58768510 HAS SOUS 51696224 HAS SOUPS 51590003 WITH SCORE 5.1649753857E7
AT ITER 4630 NEW BEST:: SOT 256209290 SOS 59750357 HAS SOPS 58768010 HAS SOUS 51695724 HAS SOUPS 51589503 WITH SCORE 5.1649253357E7
AT ITER 4642 NEW BEST:: SOT 256209290 SOS 59750332 HAS SOPS 58767985 HAS SOUS 51695724 HAS SOUPS 51589503 WITH SCORE 5.1649253332E7
AT ITER 4660 NEW BEST:: SOT 256209290 SOS 59749720 HAS SOPS 58767373 HAS SOUS 51695724 HAS SOUPS 51589503 WITH SCORE 5.164925272E7
AT ITER 4668 NEW BEST:: SOT 256208327 SOS 59719553 HAS SOPS 58737206 HAS SOUS 51694172 HAS SOUPS 51587951 WITH SCORE 5.1647670553E7
AT ITER 4681 NEW BEST:: SOT 256205418 SOS 59718498 HAS SOPS 58736151 HAS SOUS 51691101 HAS SOUPS 51584880 WITH SCORE 5.1644598498E7
AT ITER 4726 NEW BEST:: SOT 256204755 SOS 59718497 HAS SOPS 58736150 HAS SOUS 51691100 HAS SOUPS 51584879 WITH SCORE 5.1644597497E7
AT ITER 4733 NEW BEST:: SOT 256203079 SOS 59716844 HAS SOPS 58734497 HAS SOUS 51689424 HAS SOUPS 51583203 WITH SCORE 5.1642919844E7
AT ITER 4734 NEW BEST:: SOT 256200163 SOS 59716843 HAS SOPS 58734496 HAS SOUS 51689423 HAS SOUPS 51583202 WITH SCORE 5.1642918843E7
AT ITER 4738 NEW BEST:: SOT 256200163 SOS 59716843 HAS SOPS 58734496 HAS SOUS 51689397 HAS SOUPS 51583176 WITH SCORE 5.1642892843E7
AT ITER 4790 NEW BEST:: SOT 256197435 SOS 59715795 HAS SOPS 58733448 HAS SOUS 51687409 HAS SOUPS 51581188 WITH SCORE 5.1640903795E7
AT ITER 4885 NEW BEST:: SOT 256195978 SOS 59714493 HAS SOPS 58732052 HAS SOUS 51686013 HAS SOUPS 51579792 WITH SCORE 5.1639506493E7
AT ITER 4918 NEW BEST:: SOT 256194245 SOS 59712760 HAS SOPS 58730319 HAS SOUS 51684280 HAS SOUPS 51578059 WITH SCORE 5.163777176E7
AT ITER 4979 NEW BEST:: SOT 256192898 SOS 59711413 HAS SOPS 58728972 HAS SOUS 51682933 HAS SOUPS 51576712 WITH SCORE 5.1636423413E7
AT ITER 5013 NEW BEST:: SOT 256192788 SOS 59711412 HAS SOPS 58728971 HAS SOUS 51682932 HAS SOUPS 51576711 WITH SCORE 5.1636422412E7
AT ITER 5041 NEW BEST:: SOT 256191727 SOS 59711412 HAS SOPS 58728971 HAS SOUS 51681871 HAS SOUPS 51575650 WITH SCORE 5.1635361412E7
AT ITER 5042 NEW BEST:: SOT 256187436 SOS 59707121 HAS SOPS 58724680 HAS SOUS 51677580 HAS SOUPS 51571359 WITH SCORE 5.1631066121E7
AT ITER 5064 NEW BEST:: SOT 256187097 SOS 59706782 HAS SOPS 58724341 HAS SOUS 51677241 HAS SOUPS 51571020 WITH SCORE 5.1630726782E7
AT ITER 5065 NEW BEST:: SOT 256187097 SOS 59705796 HAS SOPS 58723355 HAS SOUS 51675269 HAS SOUPS 51569048 WITH SCORE 5.1628753796E7
AT ITER 5086 NEW BEST:: SOT 256187097 SOS 59704840 HAS SOPS 58722399 HAS SOUS 51674298 HAS SOUPS 51568077 WITH SCORE 5.162778184E7
AT ITER 5105 NEW BEST:: SOT 256186064 SOS 59703913 HAS SOPS 58721472 HAS SOUS 51673265 HAS SOUPS 51567044 WITH SCORE 5.1626747913E7
AT ITER 5112 NEW BEST:: SOT 256186064 SOS 59703912 HAS SOPS 58721471 HAS SOUS 51673264 HAS SOUPS 51567043 WITH SCORE 5.1626746912E7
AT ITER 5144 NEW BEST:: SOT 256185482 SOS 59703334 HAS SOPS 58720893 HAS SOUS 51672682 HAS SOUPS 51566461 WITH SCORE 5.1626164334E7
AT ITER 5148 NEW BEST:: SOT 256184161 SOS 59702038 HAS SOPS 58719597 HAS SOUS 51671361 HAS SOUPS 51565140 WITH SCORE 5.1624842038E7
AT ITER 5166 NEW BEST:: SOT 256184161 SOS 59701063 HAS SOPS 58718622 HAS SOUS 51670088 HAS SOUPS 51563867 WITH SCORE 5.1623568063E7
AT ITER 5168 NEW BEST:: SOT 256182517 SOS 59702052 HAS SOPS 58719611 HAS SOUS 51669432 HAS SOUPS 51563211 WITH SCORE 5.1622913052E7
AT ITER 5181 NEW BEST:: SOT 256181591 SOS 59701136 HAS SOPS 58718695 HAS SOUS 51668506 HAS SOUPS 51562285 WITH SCORE 5.1621986136E7
AT ITER 5203 NEW BEST:: SOT 256181188 SOS 59700733 HAS SOPS 58718292 HAS SOUS 51668103 HAS SOUPS 51561882 WITH SCORE 5.1621582733E7
AT ITER 5241 NEW BEST:: SOT 256180619 SOS 59701973 HAS SOPS 58718963 HAS SOUS 51668620 HAS SOUPS 51561830 WITH SCORE 5.1621531973E7
AT ITER 5264 NEW BEST:: SOT 256175673 SOS 59762056 HAS SOPS 58779044 HAS SOUS 51666993 HAS SOUPS 51560203 WITH SCORE 5.1619965056E7
AT ITER 5265 NEW BEST:: SOT 256175084 SOS 59760878 HAS SOPS 58777866 HAS SOUS 51666404 HAS SOUPS 51559614 WITH SCORE 5.1619374878E7
AT ITER 5289 NEW BEST:: SOT 256175084 SOS 59760260 HAS SOPS 58777248 HAS SOUS 51664678 HAS SOUPS 51557888 WITH SCORE 5.161764826E7
AT ITER 5333 NEW BEST:: SOT 256175084 SOS 59759598 HAS SOPS 58776586 HAS SOUS 51662566 HAS SOUPS 51555776 WITH SCORE 5.1615535598E7
AT ITER 5336 NEW BEST:: SOT 256175084 SOS 59759598 HAS SOPS 58776586 HAS SOUS 51662526 HAS SOUPS 51555736 WITH SCORE 5.1615495598E7
AT ITER 5357 NEW BEST:: SOT 256175084 SOS 59759598 HAS SOPS 58776586 HAS SOUS 51660674 HAS SOUPS 51553884 WITH SCORE 5.1613643598E7
AT ITER 5380 NEW BEST:: SOT 256174178 SOS 59759598 HAS SOPS 58776586 HAS SOUS 51659768 HAS SOUPS 51552978 WITH SCORE 5.1612737598E7
AT ITER 5438 NEW BEST:: SOT 256170678 SOS 59756098 HAS SOPS 58773086 HAS SOUS 51656268 HAS SOUPS 51549478 WITH SCORE 5.1609234098E7
AT ITER 5451 NEW BEST:: SOT 256168563 SOS 59754016 HAS SOPS 58771004 HAS SOUS 51654660 HAS SOUPS 51547870 WITH SCORE 5.1607624016E7
AT ITER 5466 NEW BEST:: SOT 256168563 SOS 59753368 HAS SOPS 58770356 HAS SOUS 51653651 HAS SOUPS 51546861 WITH SCORE 5.1606614368E7
AT ITER 5474 NEW BEST:: SOT 256167000 SOS 59753183 HAS SOPS 58770171 HAS SOUS 51653643 HAS SOUPS 51546853 WITH SCORE 5.1606606183E7
AT ITER 5493 NEW BEST:: SOT 256165848 SOS 59752031 HAS SOPS 58769019 HAS SOUS 51652491 HAS SOUPS 51545701 WITH SCORE 5.1605453031E7
AT ITER 5502 NEW BEST:: SOT 256165514 SOS 59751703 HAS SOPS 58768691 HAS SOUS 51652157 HAS SOUPS 51545367 WITH SCORE 5.1605118703E7
AT ITER 5506 NEW BEST:: SOT 256165266 SOS 59751207 HAS SOPS 58768443 HAS SOUS 51651909 HAS SOUPS 51545119 WITH SCORE 5.1604870207E7
AT ITER 5567 NEW BEST:: SOT 256145140 SOS 59987026 HAS SOPS 59006022 HAS SOUS 51645788 HAS SOUPS 51538998 WITH SCORE 5.1598985026E7
AT ITER 5569 NEW BEST:: SOT 256145140 SOS 59986308 HAS SOPS 59005304 HAS SOUS 51644352 HAS SOUPS 51537562 WITH SCORE 5.1597548308E7
AT ITER 5589 NEW BEST:: SOT 256145140 SOS 59985359 HAS SOPS 59004355 HAS SOUS 51642454 HAS SOUPS 51535664 WITH SCORE 5.1595649359E7
AT ITER 5619 NEW BEST:: SOT 256076232 SOS 59959443 HAS SOPS 58974894 HAS SOUS 51577074 HAS SOUPS 51466756 WITH SCORE 5.1526715443E7
AT ITER 5640 NEW BEST:: SOT 256075379 SOS 59958596 HAS SOPS 58974047 HAS SOUS 51576221 HAS SOUPS 51465903 WITH SCORE 5.1525861596E7
AT ITER 5653 NEW BEST:: SOT 256075379 SOS 59958984 HAS SOPS 58974435 HAS SOUS 51575165 HAS SOUPS 51464847 WITH SCORE 5.1524805984E7
AT ITER 5692 NEW BEST:: SOT 256074547 SOS 59959037 HAS SOPS 58973656 HAS SOUS 51574376 HAS SOUPS 51463232 WITH SCORE 5.1523191037E7
AT ITER 5706 NEW BEST:: SOT 256073610 SOS 59959037 HAS SOPS 58973656 HAS SOUS 51573439 HAS SOUPS 51462295 WITH SCORE 5.1522254037E7
AT ITER 5718 NEW BEST:: SOT 256071052 SOS 59958214 HAS SOPS 58972833 HAS SOUS 51571691 HAS SOUPS 51460547 WITH SCORE 5.1520505214E7
AT ITER 5726 NEW BEST:: SOT 256071052 SOS 59957446 HAS SOPS 58972065 HAS SOUS 51570155 HAS SOUPS 51459011 WITH SCORE 5.1518968446E7
AT ITER 5781 NEW BEST:: SOT 256068048 SOS 59957445 HAS SOPS 58972064 HAS SOUS 51570154 HAS SOUPS 51459010 WITH SCORE 5.1518967445E7
AT ITER 5783 NEW BEST:: SOT 256067636 SOS 59957033 HAS SOPS 58971652 HAS SOUS 51569742 HAS SOUPS 51458598 WITH SCORE 5.1518555033E7
AT ITER 5836 NEW BEST:: SOT 256065829 SOS 59953970 HAS SOPS 58968589 HAS SOUS 51567935 HAS SOUPS 51456791 WITH SCORE 5.151674497E7
AT ITER 5853 NEW BEST:: SOT 256065502 SOS 59953643 HAS SOPS 58967935 HAS SOUS 51567608 HAS SOUPS 51456137 WITH SCORE 5.1516090643E7
AT ITER 5914 NEW BEST:: SOT 256064639 SOS 59952800 HAS SOPS 58967092 HAS SOUS 51566745 HAS SOUPS 51455274 WITH SCORE 5.15152268E7
AT ITER 5940 NEW BEST:: SOT 256065283 SOS 59953172 HAS SOPS 58967464 HAS SOUS 51562489 HAS SOUPS 51451018 WITH SCORE 5.1510971172E7
AT ITER 5948 NEW BEST:: SOT 256065402 SOS 59952743 HAS SOPS 58967035 HAS SOUS 51560336 HAS SOUPS 51448865 WITH SCORE 5.1508817743E7
AT ITER 5957 NEW BEST:: SOT 256061987 SOS 59949328 HAS SOPS 58963620 HAS SOUS 51556921 HAS SOUPS 51445450 WITH SCORE 5.1505399328E7
AT ITER 5967 NEW BEST:: SOT 256061987 SOS 59949795 HAS SOPS 58964087 HAS SOUS 51555865 HAS SOUPS 51444394 WITH SCORE 5.1504343795E7
AT ITER 5982 NEW BEST:: SOT 256060693 SOS 59950362 HAS SOPS 58964654 HAS SOUS 51555138 HAS SOUPS 51443667 WITH SCORE 5.1503617362E7
AT ITER 5990 NEW BEST:: SOT 256059611 SOS 59951164 HAS SOPS 58965456 HAS SOUS 51554858 HAS SOUPS 51443387 WITH SCORE 5.1503338164E7
AT ITER 5996 NEW BEST:: SOT 256057230 SOS 59950114 HAS SOPS 58964406 HAS SOUS 51553991 HAS SOUPS 51442520 WITH SCORE 5.1502470114E7
AT ITER 6031 NEW BEST:: SOT 255888137 SOS 60051921 HAS SOPS 59066213 HAS SOUS 51398605 HAS SOUPS 51287134 WITH SCORE 5.1347185921E7
AT ITER 6033 NEW BEST:: SOT 255885709 SOS 60049493 HAS SOPS 59063785 HAS SOUS 51396177 HAS SOUPS 51284706 WITH SCORE 5.1344755493E7
AT ITER 6115 NEW BEST:: SOT 255884574 SOS 60047223 HAS SOPS 59061515 HAS SOUS 51395042 HAS SOUPS 51283571 WITH SCORE 5.1343618223E7
AT ITER 6122 NEW BEST:: SOT 255882460 SOS 60045142 HAS SOPS 59059434 HAS SOUS 51393715 HAS SOUPS 51282244 WITH SCORE 5.1342289142E7
AT ITER 6154 NEW BEST:: SOT 255882315 SOS 60044997 HAS SOPS 59059289 HAS SOUS 51393570 HAS SOUPS 51282099 WITH SCORE 5.1342143997E7
AT ITER 6163 NEW BEST:: SOT 255882315 SOS 60043973 HAS SOPS 59058265 HAS SOUS 51391458 HAS SOUPS 51279987 WITH SCORE 5.1340030973E7
AT ITER 6165 NEW BEST:: SOT 255882315 SOS 60012661 HAS SOPS 59026953 HAS SOUS 51390464 HAS SOUPS 51278993 WITH SCORE 5.1339005661E7
AT ITER 6181 NEW BEST:: SOT 255880528 SOS 60012660 HAS SOPS 59026952 HAS SOUS 51390463 HAS SOUPS 51278992 WITH SCORE 5.133900466E7
AT ITER 6203 NEW BEST:: SOT 255879281 SOS 60010166 HAS SOPS 59024458 HAS SOUS 51389216 HAS SOUPS 51277745 WITH SCORE 5.1337755166E7
AT ITER 6211 NEW BEST:: SOT 255879281 SOS 60009822 HAS SOPS 59024114 HAS SOUS 51389216 HAS SOUPS 51277745 WITH SCORE 5.1337754822E7
AT ITER 6239 NEW BEST:: SOT 255879281 SOS 60009632 HAS SOPS 59023924 HAS SOUS 51389216 HAS SOUPS 51277745 WITH SCORE 5.1337754632E7
AT ITER 6280 NEW BEST:: SOT 255878477 SOS 60008797 HAS SOPS 59023089 HAS SOUS 51389083 HAS SOUPS 51277612 WITH SCORE 5.1337620797E7
AT ITER 6282 NEW BEST:: SOT 255724301 SOS 60328320 HAS SOPS 59342612 HAS SOUS 51247636 HAS SOUPS 51136165 WITH SCORE 5.119649332E7
AT ITER 6305 NEW BEST:: SOT 255722854 SOS 60326190 HAS SOPS 59340441 HAS SOUS 51245465 HAS SOUPS 51133994 WITH SCORE 5.119432019E7
AT ITER 6331 NEW BEST:: SOT 255722854 SOS 60325206 HAS SOPS 59339457 HAS SOUS 51243355 HAS SOUPS 51131884 WITH SCORE 5.1192209206E7
AT ITER 6346 NEW BEST:: SOT 255721048 SOS 60323400 HAS SOPS 59337651 HAS SOUS 51241549 HAS SOUPS 51130078 WITH SCORE 5.11904014E7
AT ITER 6356 NEW BEST:: SOT 255719976 SOS 60324194 HAS SOPS 59338445 HAS SOUS 51241271 HAS SOUPS 51129800 WITH SCORE 5.1190124194E7
AT ITER 6368 NEW BEST:: SOT 255719846 SOS 60323934 HAS SOPS 59338315 HAS SOUS 51241141 HAS SOUPS 51129670 WITH SCORE 5.1189993934E7
AT ITER 6386 NEW BEST:: SOT 255718849 SOS 60322947 HAS SOPS 59337328 HAS SOUS 51239257 HAS SOUPS 51127786 WITH SCORE 5.1188108947E7
AT ITER 6388 NEW BEST:: SOT 255718849 SOS 60321803 HAS SOPS 59336184 HAS SOUS 51239257 HAS SOUPS 51127786 WITH SCORE 5.1188107803E7
AT ITER 6411 NEW BEST:: SOT 255718825 SOS 60321779 HAS SOPS 59336160 HAS SOUS 51239233 HAS SOUPS 51127762 WITH SCORE 5.1188083779E7
AT ITER 6416 NEW BEST:: SOT 255716554 SOS 60319508 HAS SOPS 59333889 HAS SOUS 51236962 HAS SOUPS 51125491 WITH SCORE 5.1185810508E7
AT ITER 6436 NEW BEST:: SOT 255716554 SOS 60318585 HAS SOPS 59332966 HAS SOUS 51234852 HAS SOUPS 51123381 WITH SCORE 5.1183699585E7
AT ITER 6449 NEW BEST:: SOT 255709518 SOS 60435114 HAS SOPS 59322790 HAS SOUS 51234286 HAS SOUPS 51119513 WITH SCORE 5.1179948114E7
AT ITER 6491 NEW BEST:: SOT 255709518 SOS 60428652 HAS SOPS 59316328 HAS SOUS 51232015 HAS SOUPS 51117242 WITH SCORE 5.1177670652E7
AT ITER 6513 NEW BEST:: SOT 255707760 SOS 60428652 HAS SOPS 59316328 HAS SOUS 51230257 HAS SOUPS 51115484 WITH SCORE 5.1175912652E7
AT ITER 6606 NEW BEST:: SOT 255707760 SOS 60429474 HAS SOPS 59317150 HAS SOUS 51230111 HAS SOUPS 51115338 WITH SCORE 5.1175767474E7
AT ITER 6613 NEW BEST:: SOT 255706811 SOS 60428542 HAS SOPS 59316218 HAS SOUS 51229162 HAS SOUPS 51114389 WITH SCORE 5.1174817542E7
AT ITER 6645 NEW BEST:: SOT 255706466 SOS 60428197 HAS SOPS 59315873 HAS SOUS 51228817 HAS SOUPS 51114044 WITH SCORE 5.1174472197E7
AT ITER 6652 NEW BEST:: SOT 255702877 SOS 60463456 HAS SOPS 59351327 HAS SOUS 51228223 HAS SOUPS 51113450 WITH SCORE 5.1173913456E7
AT ITER 6672 NEW BEST:: SOT 255701842 SOS 60461373 HAS SOPS 59349177 HAS SOUS 51226073 HAS SOUPS 51111300 WITH SCORE 5.1171761373E7
AT ITER 6701 NEW BEST:: SOT 255701747 SOS 60461278 HAS SOPS 59349082 HAS SOUS 51225978 HAS SOUPS 51111205 WITH SCORE 5.1171666278E7
AT ITER 6711 NEW BEST:: SOT 255699043 SOS 60458588 HAS SOPS 59346392 HAS SOUS 51223226 HAS SOUPS 51108453 WITH SCORE 5.1168911588E7
AT ITER 6754 NEW BEST:: SOT 255696444 SOS 60457542 HAS SOPS 59345346 HAS SOUS 51222499 HAS SOUPS 51107726 WITH SCORE 5.1168183542E7
AT ITER 6759 NEW BEST:: SOT 255696444 SOS 60457104 HAS SOPS 59344908 HAS SOUS 51221623 HAS SOUPS 51106850 WITH SCORE 5.1167307104E7
AT ITER 6837 NEW BEST:: SOT 255692496 SOS 60453156 HAS SOPS 59340960 HAS SOUS 51217675 HAS SOUPS 51102902 WITH SCORE 5.1163355156E7
AT ITER 6930 NEW BEST:: SOT 255692926 SOS 60452806 HAS SOPS 59340610 HAS SOUS 51217607 HAS SOUPS 51102834 WITH SCORE 5.1163286806E7
AT ITER 6946 NEW BEST:: SOT 255692645 SOS 60452525 HAS SOPS 59340329 HAS SOUS 51217326 HAS SOUPS 51102553 WITH SCORE 5.1163005525E7
AT ITER 6966 NEW BEST:: SOT 255692008 SOS 60452524 HAS SOPS 59340328 HAS SOUS 51217325 HAS SOUPS 51102552 WITH SCORE 5.1163004524E7
AT ITER 6977 NEW BEST:: SOT 255692008 SOS 60451584 HAS SOPS 59339388 HAS SOUS 51217325 HAS SOUPS 51102552 WITH SCORE 5.1163003584E7
AT ITER 6978 NEW BEST:: SOT 255691416 SOS 60451003 HAS SOPS 59338807 HAS SOUS 51216733 HAS SOUPS 51101960 WITH SCORE 5.1162411003E7
AT ITER 6986 NEW BEST:: SOT 255691416 SOS 60449288 HAS SOPS 59337092 HAS SOUS 51215018 HAS SOUPS 51100245 WITH SCORE 5.1160694288E7
AT ITER 6989 NEW BEST:: SOT 255691416 SOS 60448581 HAS SOPS 59336385 HAS SOUS 51213001 HAS SOUPS 51098228 WITH SCORE 5.1158676581E7
AT ITER 7011 NEW BEST:: SOT 255690621 SOS 60447786 HAS SOPS 59335590 HAS SOUS 51212206 HAS SOUPS 51097433 WITH SCORE 5.1157880786E7
AT ITER 7108 NEW BEST:: SOT 255690621 SOS 60447421 HAS SOPS 59335225 HAS SOUS 51210768 HAS SOUPS 51095995 WITH SCORE 5.1156442421E7
AT ITER 7133 NEW BEST:: SOT 255685201 SOS 60536941 HAS SOPS 59332681 HAS SOUS 51211101 HAS SOUPS 51093451 WITH SCORE 5.1153987941E7
AT ITER 7143 NEW BEST:: SOT 255683860 SOS 60535600 HAS SOPS 59331340 HAS SOUS 51209760 HAS SOUPS 51092110 WITH SCORE 5.11526456E7
AT ITER 7144 NEW BEST:: SOT 255635970 SOS 60491753 HAS SOPS 59287493 HAS SOUS 51163298 HAS SOUPS 51045648 WITH SCORE 5.1106139753E7
AT ITER 7161 NEW BEST:: SOT 255635347 SOS 60491408 HAS SOPS 59287148 HAS SOUS 51162675 HAS SOUPS 51045025 WITH SCORE 5.1105516408E7
AT ITER 7163 NEW BEST:: SOT 255635463 SOS 60491508 HAS SOPS 59287248 HAS SOUS 51161144 HAS SOUPS 51043494 WITH SCORE 5.1103985508E7
AT ITER 7177 NEW BEST:: SOT 255633548 SOS 60491443 HAS SOPS 59287183 HAS SOUS 51159338 HAS SOUPS 51041688 WITH SCORE 5.1102179443E7
AT ITER 7258 NEW BEST:: SOT 255631764 SOS 60487875 HAS SOPS 59283615 HAS SOUS 51155770 HAS SOUPS 51038120 WITH SCORE 5.1098607875E7
AT ITER 7260 NEW BEST:: SOT 255631581 SOS 60487692 HAS SOPS 59283432 HAS SOUS 51155587 HAS SOUPS 51037937 WITH SCORE 5.1098424692E7
AT ITER 7276 NEW BEST:: SOT 255629959 SOS 60487890 HAS SOPS 59283630 HAS SOUS 51154163 HAS SOUPS 51036513 WITH SCORE 5.109700089E7
AT ITER 7337 NEW BEST:: SOT 255628881 SOS 60487890 HAS SOPS 59283630 HAS SOUS 51153085 HAS SOUPS 51035435 WITH SCORE 5.109592289E7
AT ITER 7364 NEW BEST:: SOT 255628881 SOS 60487610 HAS SOPS 59283350 HAS SOUS 51153085 HAS SOUPS 51035435 WITH SCORE 5.109592261E7
AT ITER 7385 NEW BEST:: SOT 255626731 SOS 60485460 HAS SOPS 59281200 HAS SOUS 51150935 HAS SOUPS 51033285 WITH SCORE 5.109377046E7
AT ITER 7416 NEW BEST:: SOT 255625783 SOS 60484512 HAS SOPS 59280252 HAS SOUS 51149987 HAS SOUPS 51032337 WITH SCORE 5.1092821512E7
AT ITER 7456 NEW BEST:: SOT 255624049 SOS 60457861 HAS SOPS 59253601 HAS SOUS 51148280 HAS SOUPS 51030630 WITH SCORE 5.1091087861E7
AT ITER 7474 NEW BEST:: SOT 255624049 SOS 60456716 HAS SOPS 59252456 HAS SOUS 51148280 HAS SOUPS 51030630 WITH SCORE 5.1091086716E7
AT ITER 7495 NEW BEST:: SOT 255618112 SOS 60578708 HAS SOPS 59246519 HAS SOUS 51149263 HAS SOUPS 51027922 WITH SCORE 5.1088500708E7
AT ITER 7507 NEW BEST:: SOT 255615191 SOS 60575787 HAS SOPS 59243598 HAS SOUS 51146342 HAS SOUPS 51025001 WITH SCORE 5.1085576787E7
AT ITER 7546 NEW BEST:: SOT 255614148 SOS 60575787 HAS SOPS 59243598 HAS SOUS 51145299 HAS SOUPS 51023958 WITH SCORE 5.1084533787E7
AT ITER 7562 NEW BEST:: SOT 255611622 SOS 60574748 HAS SOPS 59242559 HAS SOUS 51141717 HAS SOUPS 51020376 WITH SCORE 5.1080950748E7
AT ITER 7603 NEW BEST:: SOT 255611260 SOS 60574386 HAS SOPS 59241835 HAS SOUS 51141350 HAS SOUPS 51019652 WITH SCORE 5.1080226386E7
AT ITER 7660 NEW BEST:: SOT 255610824 SOS 60573974 HAS SOPS 59241423 HAS SOUS 51140914 HAS SOUPS 51019216 WITH SCORE 5.1079789974E7
AT ITER 7665 NEW BEST:: SOT 255608787 SOS 60571937 HAS SOPS 59239386 HAS SOUS 51138877 HAS SOUPS 51017179 WITH SCORE 5.1077750937E7
AT ITER 7712 NEW BEST:: SOT 255607377 SOS 60570527 HAS SOPS 59237976 HAS SOUS 51137467 HAS SOUPS 51015769 WITH SCORE 5.1076339527E7
AT ITER 7729 NEW BEST:: SOT 255607155 SOS 60568305 HAS SOPS 59235754 HAS SOUS 51137245 HAS SOUPS 51015547 WITH SCORE 5.1076115305E7
AT ITER 7773 NEW BEST:: SOT 255606721 SOS 60567871 HAS SOPS 59234886 HAS SOUS 51136806 HAS SOUPS 51014679 WITH SCORE 5.1075246871E7
AT ITER 7788 NEW BEST:: SOT 255606184 SOS 60568174 HAS SOPS 59235189 HAS SOUS 51136572 HAS SOUPS 51014445 WITH SCORE 5.1075013174E7
AT ITER 7798 NEW BEST:: SOT 255606184 SOS 60567404 HAS SOPS 59234419 HAS SOUS 51135032 HAS SOUPS 51012905 WITH SCORE 5.1073472404E7
AT ITER 7805 NEW BEST:: SOT 255604825 SOS 60568332 HAS SOPS 59235347 HAS SOUS 51134601 HAS SOUPS 51012474 WITH SCORE 5.1073042332E7
AT ITER 7809 NEW BEST:: SOT 255603452 SOS 60566959 HAS SOPS 59233974 HAS SOUS 51133228 HAS SOUPS 51011101 WITH SCORE 5.1071667959E7
AT ITER 7834 NEW BEST:: SOT 255603452 SOS 60566074 HAS SOPS 59233089 HAS SOUS 51131116 HAS SOUPS 51008989 WITH SCORE 5.1069555074E7
AT ITER 7851 NEW BEST:: SOT 255490298 SOS 60701389 HAS SOPS 59368404 HAS SOUS 51029996 HAS SOUPS 50907869 WITH SCORE 5.0968570389E7
AT ITER 7852 NEW BEST:: SOT 255489411 SOS 60644703 HAS SOPS 59311718 HAS SOUS 51028222 HAS SOUPS 50906095 WITH SCORE 5.0966739703E7
AT ITER 7890 NEW BEST:: SOT 255488474 SOS 60646433 HAS SOPS 59311477 HAS SOUS 51028440 HAS SOUPS 50904347 WITH SCORE 5.0964993433E7
AT ITER 7893 NEW BEST:: SOT 255487264 SOS 60646432 HAS SOPS 59311476 HAS SOUS 51028439 HAS SOUPS 50904346 WITH SCORE 5.0964992432E7
AT ITER 7896 NEW BEST:: SOT 255486052 SOS 60646432 HAS SOPS 59311476 HAS SOUS 51027227 HAS SOUPS 50903134 WITH SCORE 5.0963780432E7
AT ITER 7953 NEW BEST:: SOT 255485799 SOS 60646276 HAS SOPS 59311320 HAS SOUS 51026974 HAS SOUPS 50902881 WITH SCORE 5.0963527276E7
AT ITER 7972 NEW BEST:: SOT 255485744 SOS 60646221 HAS SOPS 59311265 HAS SOUS 51026919 HAS SOUPS 50902826 WITH SCORE 5.0963472221E7
AT ITER 7973 NEW BEST:: SOT 255485645 SOS 60646023 HAS SOPS 59311067 HAS SOUS 51026721 HAS SOUPS 50902628 WITH SCORE 5.0963274023E7
AT ITER 7994 NEW BEST:: SOT 255485645 SOS 60645618 HAS SOPS 59310662 HAS SOUS 51026721 HAS SOUPS 50902628 WITH SCORE 5.0963273618E7
AT ITER 7997 NEW BEST:: SOT 255484853 SOS 60644825 HAS SOPS 59309869 HAS SOUS 51026720 HAS SOUPS 50902627 WITH SCORE 5.0963271825E7
AT ITER 8019 NEW BEST:: SOT 255484275 SOS 60644824 HAS SOPS 59309868 HAS SOUS 51026719 HAS SOUPS 50902626 WITH SCORE 5.0963270824E7
AT ITER 8072 NEW BEST:: SOT 255483127 SOS 60645076 HAS SOPS 59310120 HAS SOUS 51025823 HAS SOUPS 50901730 WITH SCORE 5.0962375076E7
AT ITER 8086 NEW BEST:: SOT 255316145 SOS 60868350 HAS SOPS 59533394 HAS SOUS 50876254 HAS SOUPS 50752161 WITH SCORE 5.081302935E7
AT ITER 8089 NEW BEST:: SOT 255315817 SOS 60867694 HAS SOPS 59532738 HAS SOUS 50875926 HAS SOUPS 50751833 WITH SCORE 5.0812700694E7
AT ITER 8117 NEW BEST:: SOT 255313595 SOS 60866378 HAS SOPS 59531422 HAS SOUS 50874129 HAS SOUPS 50750036 WITH SCORE 5.0810902378E7
AT ITER 8123 NEW BEST:: SOT 255313595 SOS 60866298 HAS SOPS 59531342 HAS SOUS 50874049 HAS SOUPS 50749956 WITH SCORE 5.0810822298E7
AT ITER 8143 NEW BEST:: SOT 255312662 SOS 60866382 HAS SOPS 59531426 HAS SOUS 50873200 HAS SOUPS 50749107 WITH SCORE 5.0809973382E7
AT ITER 8174 NEW BEST:: SOT 255311272 SOS 60866317 HAS SOPS 59531361 HAS SOUS 50873199 HAS SOUPS 50749106 WITH SCORE 5.0809972317E7
AT ITER 8191 NEW BEST:: SOT 255311040 SOS 60867447 HAS SOPS 59532259 HAS SOUS 50872967 HAS SOUPS 50748642 WITH SCORE 5.0809509447E7
AT ITER 8193 NEW BEST:: SOT 255310902 SOS 60866625 HAS SOPS 59531437 HAS SOUS 50872828 HAS SOUPS 50748503 WITH SCORE 5.0809369625E7
AT ITER 8217 NEW BEST:: SOT 255310847 SOS 60866515 HAS SOPS 59531327 HAS SOUS 50872773 HAS SOUPS 50748448 WITH SCORE 5.0809314515E7
AT ITER 8239 NEW BEST:: SOT 255309975 SOS 60865643 HAS SOPS 59530455 HAS SOUS 50871901 HAS SOUPS 50747576 WITH SCORE 5.0808441643E7
AT ITER 8273 NEW BEST:: SOT 255309544 SOS 60850989 HAS SOPS 59515801 HAS SOUS 50871039 HAS SOUPS 50746714 WITH SCORE 5.0807564989E7
AT ITER 8280 NEW BEST:: SOT 255308711 SOS 60849955 HAS SOPS 59514767 HAS SOUS 50870009 HAS SOUPS 50745684 WITH SCORE 5.0806533955E7
AT ITER 8293 NEW BEST:: SOT 255303713 SOS 60899935 HAS SOPS 59509769 HAS SOUS 50866677 HAS SOUPS 50740686 WITH SCORE 5.0801585935E7
AT ITER 8316 NEW BEST:: SOT 255301905 SOS 60900089 HAS SOPS 59509923 HAS SOUS 50865023 HAS SOUPS 50739032 WITH SCORE 5.0799932089E7
AT ITER 8320 NEW BEST:: SOT 255300633 SOS 60897545 HAS SOPS 59507379 HAS SOUS 50863751 HAS SOUPS 50737760 WITH SCORE 5.0798657545E7
AT ITER 8342 NEW BEST:: SOT 255299533 SOS 60896445 HAS SOPS 59505179 HAS SOUS 50862651 HAS SOUPS 50735560 WITH SCORE 5.0796456445E7
AT ITER 8354 NEW BEST:: SOT 255297531 SOS 60894443 HAS SOPS 59503177 HAS SOUS 50860649 HAS SOUPS 50733558 WITH SCORE 5.0794452443E7
AT ITER 8390 NEW BEST:: SOT 255296611 SOS 60893523 HAS SOPS 59502257 HAS SOUS 50859729 HAS SOUPS 50732638 WITH SCORE 5.0793531523E7
AT ITER 8403 NEW BEST:: SOT 255294636 SOS 60889573 HAS SOPS 59498307 HAS SOUS 50857754 HAS SOUPS 50730663 WITH SCORE 5.0791552573E7
AT ITER 8429 NEW BEST:: SOT 255291151 SOS 60886088 HAS SOPS 59494822 HAS SOUS 50854269 HAS SOUPS 50727178 WITH SCORE 5.0788064088E7
AT ITER 8462 NEW BEST:: SOT 255290339 SOS 60885291 HAS SOPS 59494025 HAS SOUS 50853457 HAS SOUPS 50726366 WITH SCORE 5.0787251291E7
AT ITER 8485 NEW BEST:: SOT 255289079 SOS 60885291 HAS SOPS 59494025 HAS SOUS 50852197 HAS SOUPS 50725106 WITH SCORE 5.0785991291E7
AT ITER 8494 NEW BEST:: SOT 255285039 SOS 60881251 HAS SOPS 59489985 HAS SOUS 50848139 HAS SOUPS 50721048 WITH SCORE 5.0781929251E7
AT ITER 8499 NEW BEST:: SOT 255283505 SOS 60879717 HAS SOPS 59488451 HAS SOUS 50846605 HAS SOUPS 50719514 WITH SCORE 5.0780393717E7
AT ITER 8552 NEW BEST:: SOT 255282021 SOS 60879939 HAS SOPS 59487189 HAS SOUS 50845495 HAS SOUPS 50716933 WITH SCORE 5.0777812939E7
AT ITER 8563 NEW BEST:: SOT 255280168 SOS 60878085 HAS SOPS 59485335 HAS SOUS 50845494 HAS SOUPS 50716932 WITH SCORE 5.0777810085E7
AT ITER 8568 NEW BEST:: SOT 255280168 SOS 60875973 HAS SOPS 59483223 HAS SOUS 50843382 HAS SOUPS 50714820 WITH SCORE 5.0775695973E7
AT ITER 8572 NEW BEST:: SOT 253147872 SOS 88573583 HAS SOPS 87180833 HAS SOUS 48732232 HAS SOUPS 48603670 WITH SCORE 4.8692243583E7
AT ITER 8573 NEW BEST:: SOT 253148430 SOS 88574141 HAS SOPS 87181391 HAS SOUS 48730988 HAS SOUPS 48602426 WITH SCORE 4.8691000141E7
AT ITER 8575 NEW BEST:: SOT 253145916 SOS 88573091 HAS SOPS 87180341 HAS SOUS 48727418 HAS SOUPS 48598856 WITH SCORE 4.8687429091E7
AT ITER 8578 NEW BEST:: SOT 253145916 SOS 88574731 HAS SOPS 87181981 HAS SOUS 48726806 HAS SOUPS 48598244 WITH SCORE 4.8686818731E7
AT ITER 8579 NEW BEST:: SOT 253145016 SOS 88573845 HAS SOPS 87181095 HAS SOUS 48725020 HAS SOUPS 48596458 WITH SCORE 4.8685031845E7
AT ITER 8585 NEW BEST:: SOT 253142561 SOS 88612485 HAS SOPS 87178640 HAS SOUS 48723794 HAS SOUPS 48594004 WITH SCORE 4.8682616485E7
AT ITER 8591 NEW BEST:: SOT 253142554 SOS 88612478 HAS SOPS 87178626 HAS SOUS 48723780 HAS SOUPS 48593990 WITH SCORE 4.8682602478E7
AT ITER 8622 NEW BEST:: SOT 253142554 SOS 88612478 HAS SOPS 87178626 HAS SOUS 48722536 HAS SOUPS 48592746 WITH SCORE 4.8681358478E7
AT ITER 8630 NEW BEST:: SOT 253141604 SOS 88592801 HAS SOPS 87158949 HAS SOUS 48721028 HAS SOUPS 48591238 WITH SCORE 4.8679830801E7
AT ITER 8674 NEW BEST:: SOT 253139450 SOS 88590647 HAS SOPS 87156795 HAS SOUS 48718874 HAS SOUPS 48589084 WITH SCORE 4.8677674647E7
AT ITER 8685 NEW BEST:: SOT 253137729 SOS 88590646 HAS SOPS 87156794 HAS SOUS 48718873 HAS SOUPS 48589083 WITH SCORE 4.8677673646E7
AT ITER 8686 NEW BEST:: SOT 253137729 SOS 88589666 HAS SOPS 87155814 HAS SOUS 48717887 HAS SOUPS 48588097 WITH SCORE 4.8676686666E7
AT ITER 8696 NEW BEST:: SOT 253136726 SOS 88589666 HAS SOPS 87155814 HAS SOUS 48716884 HAS SOUPS 48587094 WITH SCORE 4.8675683666E7
AT ITER 8732 NEW BEST:: SOT 253136726 SOS 88589666 HAS SOPS 87155814 HAS SOUS 48715890 HAS SOUPS 48586100 WITH SCORE 4.8674689666E7
AT ITER 8741 NEW BEST:: SOT 253136726 SOS 88588610 HAS SOPS 87154758 HAS SOUS 48714834 HAS SOUPS 48585044 WITH SCORE 4.867363261E7
AT ITER 8752 NEW BEST:: SOT 253136726 SOS 88588610 HAS SOPS 87154758 HAS SOUS 48712993 HAS SOUPS 48583203 WITH SCORE 4.867179161E7
AT ITER 8756 NEW BEST:: SOT 253134895 SOS 88583256 HAS SOPS 87149404 HAS SOUS 48711856 HAS SOUPS 48582066 WITH SCORE 4.8670649256E7
AT ITER 8769 NEW BEST:: SOT 253106167 SOS 88556142 HAS SOPS 87122290 HAS SOUS 48683891 HAS SOUPS 48554101 WITH SCORE 4.8642657142E7
AT ITER 8780 NEW BEST:: SOT 253106167 SOS 88556142 HAS SOPS 87122290 HAS SOUS 48683207 HAS SOUPS 48553417 WITH SCORE 4.8641973142E7
AT ITER 8791 NEW BEST:: SOT 253106167 SOS 88558346 HAS SOPS 87124494 HAS SOUS 48682228 HAS SOUPS 48552438 WITH SCORE 4.8640996346E7
AT ITER 8797 NEW BEST:: SOT 253104734 SOS 88558710 HAS SOPS 87124858 HAS SOUS 48681159 HAS SOUPS 48551369 WITH SCORE 4.863992771E7
AT ITER 8820 NEW BEST:: SOT 253103371 SOS 88557364 HAS SOPS 87123512 HAS SOUS 48679796 HAS SOUPS 48550006 WITH SCORE 4.8638563364E7
AT ITER 8823 NEW BEST:: SOT 253103371 SOS 88557108 HAS SOPS 87123256 HAS SOUS 48679177 HAS SOUPS 48549387 WITH SCORE 4.8637944108E7
AT ITER 8855 NEW BEST:: SOT 253103371 SOS 88557108 HAS SOPS 87123256 HAS SOUS 48677400 HAS SOUPS 48547610 WITH SCORE 4.8636167108E7
AT ITER 8867 NEW BEST:: SOT 253091098 SOS 88612150 HAS SOPS 87178998 HAS SOUS 48669645 HAS SOUPS 48539855 WITH SCORE 4.862846715E7
AT ITER 8871 NEW BEST:: SOT 253090141 SOS 88612150 HAS SOPS 87178998 HAS SOUS 48668688 HAS SOUPS 48538898 WITH SCORE 4.862751015E7
AT ITER 8874 NEW BEST:: SOT 253087966 SOS 88609975 HAS SOPS 87176823 HAS SOUS 48666513 HAS SOUPS 48536723 WITH SCORE 4.8625332975E7
AT ITER 8980 NEW BEST:: SOT 253087726 SOS 88609735 HAS SOPS 87176343 HAS SOUS 48666033 HAS SOUPS 48536243 WITH SCORE 4.8624852735E7
AT ITER 8983 NEW BEST:: SOT 253087726 SOS 88609735 HAS SOPS 87176343 HAS SOUS 48664138 HAS SOUPS 48534348 WITH SCORE 4.8622957735E7
AT ITER 8988 NEW BEST:: SOT 253086697 SOS 88609735 HAS SOPS 87176343 HAS SOUS 48663109 HAS SOUPS 48533319 WITH SCORE 4.8621928735E7
AT ITER 9009 NEW BEST:: SOT 253078769 SOS 88690610 HAS SOPS 87171106 HAS SOUS 48660563 HAS SOUPS 48528082 WITH SCORE 4.861677261E7
AT ITER 9016 NEW BEST:: SOT 253078769 SOS 88690610 HAS SOPS 87171106 HAS SOUS 48658896 HAS SOUPS 48526415 WITH SCORE 4.861510561E7
AT ITER 9022 NEW BEST:: SOT 253078769 SOS 88691444 HAS SOPS 87171940 HAS SOUS 48658895 HAS SOUPS 48526414 WITH SCORE 4.8615105444E7
AT ITER 9034 NEW BEST:: SOT 253080045 SOS 88692720 HAS SOPS 87173216 HAS SOUS 48658733 HAS SOUPS 48526252 WITH SCORE 4.861494472E7
AT ITER 9043 NEW BEST:: SOT 253080045 SOS 88692720 HAS SOPS 87173216 HAS SOUS 48656728 HAS SOUPS 48524247 WITH SCORE 4.861293972E7
AT ITER 9070 NEW BEST:: SOT 253080045 SOS 88688400 HAS SOPS 87168896 HAS SOUS 48656728 HAS SOUPS 48524247 WITH SCORE 4.86129354E7
AT ITER 9155 NEW BEST:: SOT 253080878 SOS 88689233 HAS SOPS 87169729 HAS SOUS 48655896 HAS SOUPS 48523415 WITH SCORE 4.8612104233E7
AT ITER 9168 NEW BEST:: SOT 253077614 SOS 88685969 HAS SOPS 87166465 HAS SOUS 48652632 HAS SOUPS 48520151 WITH SCORE 4.8608836969E7
AT ITER 9197 NEW BEST:: SOT 253077614 SOS 88687291 HAS SOPS 87167787 HAS SOUS 48652540 HAS SOUPS 48520059 WITH SCORE 4.8608746291E7
AT ITER 9203 NEW BEST:: SOT 253077614 SOS 88687291 HAS SOPS 87167787 HAS SOUS 48650913 HAS SOUPS 48518432 WITH SCORE 4.8607119291E7
AT ITER 9225 NEW BEST:: SOT 253078026 SOS 88687703 HAS SOPS 87168199 HAS SOUS 48649449 HAS SOUPS 48516968 WITH SCORE 4.8605655703E7
AT ITER 9239 NEW BEST:: SOT 253078026 SOS 88687703 HAS SOPS 87168199 HAS SOUS 48647535 HAS SOUPS 48515054 WITH SCORE 4.8603741703E7
AT ITER 9259 NEW BEST:: SOT 253078026 SOS 88687130 HAS SOPS 87167626 HAS SOUS 48646962 HAS SOUPS 48514481 WITH SCORE 4.860316813E7
AT ITER 9283 NEW BEST:: SOT 253076974 SOS 88687130 HAS SOPS 87167626 HAS SOUS 48645910 HAS SOUPS 48513429 WITH SCORE 4.860211613E7
AT ITER 9284 NEW BEST:: SOT 253034928 SOS 88799597 HAS SOPS 87281845 HAS SOUS 48610088 HAS SOUPS 48477607 WITH SCORE 4.8566406597E7
AT ITER 9291 NEW BEST:: SOT 253034928 SOS 88800223 HAS SOPS 87282471 HAS SOUS 48610087 HAS SOUPS 48477606 WITH SCORE 4.8566406223E7
AT ITER 9325 NEW BEST:: SOT 253035685 SOS 88800980 HAS SOPS 87283228 HAS SOUS 48609142 HAS SOUPS 48476661 WITH SCORE 4.856546198E7
AT ITER 9355 NEW BEST:: SOT 253035685 SOS 88800980 HAS SOPS 87283228 HAS SOUS 48608505 HAS SOUPS 48476024 WITH SCORE 4.856482498E7
AT ITER 9365 NEW BEST:: SOT 253035685 SOS 88799428 HAS SOPS 87281676 HAS SOUS 48606428 HAS SOUPS 48473947 WITH SCORE 4.8562746428E7
AT ITER 9367 NEW BEST:: SOT 253023112 SOS 88812483 HAS SOPS 87294731 HAS SOUS 48597775 HAS SOUPS 48465294 WITH SCORE 4.8554106483E7
AT ITER 9397 NEW BEST:: SOT 253023112 SOS 88812483 HAS SOPS 87294731 HAS SOUS 48596274 HAS SOUPS 48463793 WITH SCORE 4.8552605483E7
AT ITER 9415 NEW BEST:: SOT 253014423 SOS 88811924 HAS SOPS 87294700 HAS SOUS 48589158 HAS SOUPS 48456677 WITH SCORE 4.8545488924E7
AT ITER 9416 NEW BEST:: SOT 253013423 SOS 88810924 HAS SOPS 87292700 HAS SOUS 48588144 HAS SOUPS 48454677 WITH SCORE 4.8543487924E7
AT ITER 9422 NEW BEST:: SOT 253011308 SOS 88810272 HAS SOPS 87292048 HAS SOUS 48586246 HAS SOUPS 48452779 WITH SCORE 4.8541589272E7
AT ITER 9441 NEW BEST:: SOT 253011308 SOS 88810272 HAS SOPS 87292048 HAS SOUS 48584202 HAS SOUPS 48450735 WITH SCORE 4.8539545272E7
AT ITER 9476 NEW BEST:: SOT 253007891 SOS 88808924 HAS SOPS 87290700 HAS SOUS 48580785 HAS SOUPS 48447318 WITH SCORE 4.8536126924E7
AT ITER 9483 NEW BEST:: SOT 253007891 SOS 88808769 HAS SOPS 87290545 HAS SOUS 48580630 HAS SOUPS 48447163 WITH SCORE 4.8535971769E7
AT ITER 9501 NEW BEST:: SOT 253007476 SOS 88808768 HAS SOPS 87290544 HAS SOUS 48580629 HAS SOUPS 48447162 WITH SCORE 4.8535970768E7
AT ITER 9507 NEW BEST:: SOT 253005675 SOS 88807490 HAS SOPS 87289266 HAS SOUS 48580628 HAS SOUPS 48447161 WITH SCORE 4.853596849E7
AT ITER 9541 NEW BEST:: SOT 253004246 SOS 88807490 HAS SOPS 87287837 HAS SOUS 48578828 HAS SOUPS 48444303 WITH SCORE 4.853311049E7
AT ITER 9582 NEW BEST:: SOT 253004246 SOS 88807485 HAS SOPS 87287832 HAS SOUS 48578828 HAS SOUPS 48444303 WITH SCORE 4.8533110485E7
AT ITER 9598 NEW BEST:: SOT 253003135 SOS 88806379 HAS SOPS 87286726 HAS SOUS 48577717 HAS SOUPS 48443192 WITH SCORE 4.8531998379E7
AT ITER 9664 NEW BEST:: SOT 253003135 SOS 88806379 HAS SOPS 87286726 HAS SOUS 48576464 HAS SOUPS 48441939 WITH SCORE 4.8530745379E7
AT ITER 9702 NEW BEST:: SOT 253003135 SOS 88805462 HAS SOPS 87285809 HAS SOUS 48575547 HAS SOUPS 48441022 WITH SCORE 4.8529827462E7
AT ITER 9717 NEW BEST:: SOT 253003135 SOS 88804749 HAS SOPS 87285096 HAS SOUS 48574834 HAS SOUPS 48440309 WITH SCORE 4.8529113749E7
AT ITER 9722 NEW BEST:: SOT 253003135 SOS 88805754 HAS SOPS 87286101 HAS SOUS 48574177 HAS SOUPS 48439652 WITH SCORE 4.8528457754E7
AT ITER 9740 NEW BEST:: SOT 253002110 SOS 88804736 HAS SOPS 87285083 HAS SOUS 48573152 HAS SOUPS 48438627 WITH SCORE 4.8527431736E7
AT ITER 9742 NEW BEST:: SOT 253001059 SOS 88804736 HAS SOPS 87285083 HAS SOUS 48572101 HAS SOUPS 48437576 WITH SCORE 4.8526380736E7
AT ITER 9779 NEW BEST:: SOT 253001059 SOS 88803991 HAS SOPS 87284338 HAS SOUS 48572101 HAS SOUPS 48437576 WITH SCORE 4.8526379991E7
AT ITER 9796 NEW BEST:: SOT 253000812 SOS 88806024 HAS SOPS 87285862 HAS SOUS 48572574 HAS SOUPS 48437550 WITH SCORE 4.8526356024E7
AT ITER 9846 NEW BEST:: SOT 252999649 SOS 88806024 HAS SOPS 87284699 HAS SOUS 48570597 HAS SOUPS 48435224 WITH SCORE 4.8524030024E7
AT ITER 9858 NEW BEST:: SOT 252999276 SOS 88805650 HAS SOPS 87284325 HAS SOUS 48570596 HAS SOUPS 48435223 WITH SCORE 4.852402865E7
AT ITER 9869 NEW BEST:: SOT 252999276 SOS 88805114 HAS SOPS 87283789 HAS SOUS 48570060 HAS SOUPS 48434687 WITH SCORE 4.8523492114E7
AT ITER 9925 NEW BEST:: SOT 252997422 SOS 88803260 HAS SOPS 87281935 HAS SOUS 48569544 HAS SOUPS 48434171 WITH SCORE 4.852297426E7
AT ITER 9944 NEW BEST:: SOT 252994595 SOS 88800433 HAS SOPS 87279108 HAS SOUS 48566717 HAS SOUPS 48431344 WITH SCORE 4.8520144433E7
AT ITER 9948 NEW BEST:: SOT 252995305 SOS 88801143 HAS SOPS 87279818 HAS SOUS 48565705 HAS SOUPS 48430332 WITH SCORE 4.8519133143E7
AT ITER 9952 NEW BEST:: SOT 252995305 SOS 88800573 HAS SOPS 87279248 HAS SOUS 48565705 HAS SOUPS 48430332 WITH SCORE 4.8519132573E7
AT ITER 9964 NEW BEST:: SOT 252994713 SOS 88800572 HAS SOPS 87279247 HAS SOUS 48565704 HAS SOUPS 48430331 WITH SCORE 4.8519131572E7
AT ITER 9985 NEW BEST:: SOT 252994697 SOS 88800556 HAS SOPS 87279215 HAS SOUS 48565680 HAS SOUPS 48430291 WITH SCORE 4.8519091556E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14007436 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16086688 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="LeafsetExtension-PT-S64C3"
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 LeafsetExtension-PT-S64C3, 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 r235-tall-167856421900536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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