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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 87M
-rw-r--r-- 1 mcc users 7.7K Feb 26 08:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 08:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 08:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 08:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 09:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 09:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K 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 86M 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 1679125256757

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-pb105
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 07:40:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 07:40:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 07:41:01] [INFO ] Load time of PNML (sax parser for PT used): 2486 ms
[2023-03-18 07:41:01] [INFO ] Transformed 1982 places.
[2023-03-18 07:41:01] [INFO ] Transformed 153412 transitions.
[2023-03-18 07:41:01] [INFO ] Found NUPN structural information;
[2023-03-18 07:41:02] [INFO ] Parsed PT model containing 1982 places and 153412 transitions and 610156 arcs in 3059 ms.
[2023-03-18 07:41:02] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1982 places, 153412 transitions and 610156 arcs took 379 ms.
Total runtime 3475 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS2020 (PT), instance pb105
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: 1982 places, 153412 transitions, 610156 arcs.
AT ITER 0 NEW BEST:: SOT 158875635 SOS 103498416 HAS SOPS 92040387 HAS SOUS 25531217 HAS SOUPS 25402521 WITH SCORE 2.5506019416E7
AT ITER 3 NEW BEST:: SOT 158877410 SOS 103500072 HAS SOPS 92041574 HAS SOUS 25530791 HAS SOUPS 25402095 WITH SCORE 2.5505595072E7
AT ITER 10 NEW BEST:: SOT 158884747 SOS 103499731 HAS SOPS 92038643 HAS SOUS 25506328 HAS SOUPS 25377673 WITH SCORE 2.5481172731E7
AT ITER 26 NEW BEST:: SOT 158884747 SOS 103495961 HAS SOPS 92034873 HAS SOUS 25505213 HAS SOUPS 25376558 WITH SCORE 2.5480053961E7
AT ITER 28 NEW BEST:: SOT 158885023 SOS 103485242 HAS SOPS 92034983 HAS SOUS 25504992 HAS SOUPS 25376558 WITH SCORE 2.5480043242E7
AT ITER 32 NEW BEST:: SOT 158881423 SOS 103463008 HAS SOPS 92008269 HAS SOUS 25483867 HAS SOUPS 25355433 WITH SCORE 2.5458896008E7
AT ITER 47 NEW BEST:: SOT 158892949 SOS 103469467 HAS SOPS 92013982 HAS SOUS 25459458 HAS SOUPS 25331174 WITH SCORE 2.5434643467E7
AT ITER 86 NEW BEST:: SOT 158892463 SOS 103468935 HAS SOPS 92013406 HAS SOUS 25458752 HAS SOUPS 25330468 WITH SCORE 2.5433936935E7
AT ITER 90 NEW BEST:: SOT 158899443 SOS 103461591 HAS SOPS 92008093 HAS SOUS 25453262 HAS SOUPS 25325096 WITH SCORE 2.5428557591E7
AT ITER 114 NEW BEST:: SOT 158900525 SOS 103465860 HAS SOPS 92012811 HAS SOUS 25451257 HAS SOUPS 25323110 WITH SCORE 2.542657586E7
AT ITER 137 NEW BEST:: SOT 158900489 SOS 103461823 HAS SOPS 92013724 HAS SOUS 25450807 HAS SOUPS 25322715 WITH SCORE 2.5426176823E7
AT ITER 141 NEW BEST:: SOT 158900489 SOS 103461945 HAS SOPS 92013846 HAS SOUS 25450754 HAS SOUPS 25322662 WITH SCORE 2.5426123945E7
AT ITER 151 NEW BEST:: SOT 158900383 SOS 103461837 HAS SOPS 92013736 HAS SOUS 25450727 HAS SOUPS 25322635 WITH SCORE 2.5426096837E7
AT ITER 153 NEW BEST:: SOT 158900374 SOS 103461687 HAS SOPS 92013586 HAS SOUS 25450727 HAS SOUPS 25322635 WITH SCORE 2.5426096687E7
AT ITER 161 NEW BEST:: SOT 158892158 SOS 103453657 HAS SOPS 92003737 HAS SOUS 25443129 HAS SOUPS 25315037 WITH SCORE 2.5418490657E7
AT ITER 168 NEW BEST:: SOT 158892585 SOS 103454084 HAS SOPS 92004059 HAS SOUS 25443000 HAS SOUPS 25314908 WITH SCORE 2.5418362084E7
AT ITER 172 NEW BEST:: SOT 158894099 SOS 103455572 HAS SOPS 92005277 HAS SOUS 25424161 HAS SOUPS 25296082 WITH SCORE 2.5399537572E7
AT ITER 182 NEW BEST:: SOT 158871185 SOS 103433292 HAS SOPS 91978117 HAS SOUS 25373717 HAS SOUPS 25245547 WITH SCORE 2.5348980292E7
AT ITER 183 NEW BEST:: SOT 158872301 SOS 103434243 HAS SOPS 91979210 HAS SOUS 25372554 HAS SOUPS 25244384 WITH SCORE 2.5347818243E7
AT ITER 205 NEW BEST:: SOT 158872268 SOS 103434177 HAS SOPS 91979144 HAS SOUS 25372298 HAS SOUPS 25244128 WITH SCORE 2.5347562177E7
AT ITER 208 NEW BEST:: SOT 158872681 SOS 103425303 HAS SOPS 91970270 HAS SOUS 25372252 HAS SOUPS 25244082 WITH SCORE 2.5347507303E7
AT ITER 210 NEW BEST:: SOT 158871799 SOS 103424385 HAS SOPS 91969199 HAS SOUS 25370443 HAS SOUPS 25242273 WITH SCORE 2.5345697385E7
AT ITER 239 NEW BEST:: SOT 158871799 SOS 103410092 HAS SOPS 91951030 HAS SOUS 25369838 HAS SOUPS 25241590 WITH SCORE 2.5345000092E7
AT ITER 249 NEW BEST:: SOT 158871605 SOS 103403350 HAS SOPS 91944288 HAS SOUS 25369366 HAS SOUPS 25241118 WITH SCORE 2.534452135E7
AT ITER 258 NEW BEST:: SOT 158873795 SOS 103413633 HAS SOPS 91961485 HAS SOUS 25369332 HAS SOUPS 25241097 WITH SCORE 2.5344510633E7
AT ITER 261 NEW BEST:: SOT 158834834 SOS 103382357 HAS SOPS 91931542 HAS SOUS 25361258 HAS SOUPS 25232464 WITH SCORE 2.5335846357E7
AT ITER 264 NEW BEST:: SOT 158831910 SOS 103379433 HAS SOPS 91928182 HAS SOUS 25357900 HAS SOUPS 25229106 WITH SCORE 2.5332485433E7
AT ITER 281 NEW BEST:: SOT 158831635 SOS 103376718 HAS SOPS 91925192 HAS SOUS 25356604 HAS SOUPS 25227810 WITH SCORE 2.5331186718E7
AT ITER 285 NEW BEST:: SOT 158829715 SOS 103374726 HAS SOPS 91923104 HAS SOUS 25353412 HAS SOUPS 25224618 WITH SCORE 2.5327992726E7
AT ITER 289 NEW BEST:: SOT 158829715 SOS 103375772 HAS SOPS 91928496 HAS SOUS 25352965 HAS SOUPS 25224277 WITH SCORE 2.5327652772E7
AT ITER 301 NEW BEST:: SOT 158777374 SOS 103407389 HAS SOPS 91966292 HAS SOUS 25341922 HAS SOUPS 25212480 WITH SCORE 2.5315887389E7
AT ITER 312 NEW BEST:: SOT 158774578 SOS 103400935 HAS SOPS 91958988 HAS SOUS 25336137 HAS SOUPS 25206695 WITH SCORE 2.5310095935E7
AT ITER 314 NEW BEST:: SOT 158774578 SOS 103400975 HAS SOPS 91959028 HAS SOUS 25336117 HAS SOUPS 25206675 WITH SCORE 2.5310075975E7
AT ITER 371 NEW BEST:: SOT 158774578 SOS 103400070 HAS SOPS 91958123 HAS SOUS 25335995 HAS SOUPS 25206553 WITH SCORE 2.530995307E7
AT ITER 384 NEW BEST:: SOT 158774374 SOS 103399832 HAS SOPS 91957817 HAS SOUS 25335062 HAS SOUPS 25205620 WITH SCORE 2.5309019832E7
AT ITER 387 NEW BEST:: SOT 158773251 SOS 103398846 HAS SOPS 91956057 HAS SOUS 25330135 HAS SOUPS 25200693 WITH SCORE 2.5304091846E7
AT ITER 389 NEW BEST:: SOT 158757369 SOS 103383207 HAS SOPS 91935173 HAS SOUS 25289729 HAS SOUPS 25160287 WITH SCORE 2.5263670207E7
AT ITER 426 NEW BEST:: SOT 158756994 SOS 103382842 HAS SOPS 91934768 HAS SOUS 25289349 HAS SOUPS 25159907 WITH SCORE 2.5263289842E7
AT ITER 435 NEW BEST:: SOT 158756949 SOS 103382262 HAS SOPS 91934188 HAS SOUS 25289314 HAS SOUPS 25159872 WITH SCORE 2.5263254262E7
AT ITER 440 NEW BEST:: SOT 158776293 SOS 103401460 HAS SOPS 91954807 HAS SOUS 25286140 HAS SOUPS 25156698 WITH SCORE 2.526009946E7
AT ITER 447 NEW BEST:: SOT 158781718 SOS 103418749 HAS SOPS 91968535 HAS SOUS 25156879 HAS SOUPS 25025222 WITH SCORE 2.5128640749E7
AT ITER 456 NEW BEST:: SOT 158792027 SOS 103414110 HAS SOPS 91947038 HAS SOUS 25156593 HAS SOUPS 25024774 WITH SCORE 2.512818811E7
AT ITER 458 NEW BEST:: SOT 158797195 SOS 103419709 HAS SOPS 91949617 HAS SOUS 25149293 HAS SOUPS 25017474 WITH SCORE 2.5120893709E7
AT ITER 470 NEW BEST:: SOT 158800259 SOS 103422299 HAS SOPS 91952088 HAS SOUS 25149168 HAS SOUPS 25017349 WITH SCORE 2.5120771299E7
AT ITER 471 NEW BEST:: SOT 158799961 SOS 103421978 HAS SOPS 91951468 HAS SOUS 25148674 HAS SOUPS 25016855 WITH SCORE 2.5120276978E7
AT ITER 493 NEW BEST:: SOT 158725540 SOS 103379732 HAS SOPS 91864068 HAS SOUS 25143769 HAS SOUPS 25011466 WITH SCORE 2.5114845732E7
AT ITER 497 NEW BEST:: SOT 158725172 SOS 103379153 HAS SOPS 91861980 HAS SOUS 25134037 HAS SOUPS 25001734 WITH SCORE 2.5105113153E7
AT ITER 499 NEW BEST:: SOT 158725079 SOS 103378967 HAS SOPS 91861794 HAS SOUS 25133863 HAS SOUPS 25001560 WITH SCORE 2.5104938967E7
AT ITER 503 NEW BEST:: SOT 159004950 SOS 103587715 HAS SOPS 91998055 HAS SOUS 25142786 HAS SOUPS 24974269 WITH SCORE 2.5077856715E7
AT ITER 507 NEW BEST:: SOT 159004079 SOS 103587056 HAS SOPS 91996717 HAS SOUS 25141808 HAS SOUPS 24973291 WITH SCORE 2.5076878056E7
AT ITER 519 NEW BEST:: SOT 159004055 SOS 103586964 HAS SOPS 91994990 HAS SOUS 25135263 HAS SOUPS 24966746 WITH SCORE 2.5070332964E7
AT ITER 520 NEW BEST:: SOT 159002166 SOS 103579289 HAS SOPS 91984406 HAS SOUS 25124815 HAS SOUPS 24955779 WITH SCORE 2.5059358289E7
AT ITER 524 NEW BEST:: SOT 159002293 SOS 103579347 HAS SOPS 91984516 HAS SOUS 25122053 HAS SOUPS 24953017 WITH SCORE 2.5056596347E7
AT ITER 526 NEW BEST:: SOT 159001231 SOS 103579083 HAS SOPS 91979904 HAS SOUS 25100498 HAS SOUPS 24931462 WITH SCORE 2.5035041083E7
AT ITER 533 NEW BEST:: SOT 159001447 SOS 103569840 HAS SOPS 91970661 HAS SOUS 25099801 HAS SOUPS 24930765 WITH SCORE 2.503433484E7
AT ITER 568 NEW BEST:: SOT 158981439 SOS 103443901 HAS SOPS 91844303 HAS SOUS 25097105 HAS SOUPS 24928069 WITH SCORE 2.5031512901E7
AT ITER 571 NEW BEST:: SOT 158974832 SOS 103437340 HAS SOPS 91835646 HAS SOUS 25083499 HAS SOUPS 24914463 WITH SCORE 2.501790034E7
AT ITER 582 NEW BEST:: SOT 158974496 SOS 103437004 HAS SOPS 91834762 HAS SOUS 25076301 HAS SOUPS 24907265 WITH SCORE 2.5010702004E7
AT ITER 587 NEW BEST:: SOT 158975072 SOS 103418537 HAS SOPS 91836010 HAS SOUS 25075230 HAS SOUPS 24906290 WITH SCORE 2.5009708537E7
AT ITER 596 NEW BEST:: SOT 158974398 SOS 103417953 HAS SOPS 91835304 HAS SOUS 25071604 HAS SOUPS 24902664 WITH SCORE 2.5006081953E7
AT ITER 599 NEW BEST:: SOT 159059222 SOS 103459888 HAS SOPS 91875339 HAS SOUS 25059078 HAS SOUPS 24890583 WITH SCORE 2.4994042888E7
AT ITER 604 NEW BEST:: SOT 159059134 SOS 103422671 HAS SOPS 91839189 HAS SOUS 25057403 HAS SOUPS 24889005 WITH SCORE 2.4992427671E7
AT ITER 623 NEW BEST:: SOT 159061643 SOS 103425056 HAS SOPS 91840697 HAS SOUS 25044958 HAS SOUPS 24876560 WITH SCORE 2.4979985056E7
AT ITER 624 NEW BEST:: SOT 159065160 SOS 103428171 HAS SOPS 91842161 HAS SOUS 25035933 HAS SOUPS 24867535 WITH SCORE 2.4970963171E7
AT ITER 642 NEW BEST:: SOT 159065665 SOS 103231760 HAS SOPS 91638966 HAS SOUS 25032591 HAS SOUPS 24863899 WITH SCORE 2.496713076E7
AT ITER 645 NEW BEST:: SOT 159068793 SOS 103228674 HAS SOPS 91639632 HAS SOUS 25031621 HAS SOUPS 24862929 WITH SCORE 2.4966157674E7
AT ITER 646 NEW BEST:: SOT 159075095 SOS 103235011 HAS SOPS 91644294 HAS SOUS 25028319 HAS SOUPS 24859627 WITH SCORE 2.4962862011E7
AT ITER 652 NEW BEST:: SOT 159074994 SOS 103223804 HAS SOPS 91633087 HAS SOUS 25028326 HAS SOUPS 24859634 WITH SCORE 2.4962857804E7
AT ITER 669 NEW BEST:: SOT 159076301 SOS 103225104 HAS SOPS 91633391 HAS SOUS 25025632 HAS SOUPS 24856940 WITH SCORE 2.4960165104E7
AT ITER 671 NEW BEST:: SOT 159076629 SOS 103225314 HAS SOPS 91632475 HAS SOUS 25023321 HAS SOUPS 24854629 WITH SCORE 2.4957854314E7
AT ITER 681 NEW BEST:: SOT 159024925 SOS 103173610 HAS SOPS 91609095 HAS SOUS 25007990 HAS SOUPS 24851908 WITH SCORE 2.495508161E7
AT ITER 685 NEW BEST:: SOT 159030855 SOS 103179701 HAS SOPS 91614898 HAS SOUS 25005675 HAS SOUPS 24849593 WITH SCORE 2.4952772701E7
AT ITER 702 NEW BEST:: SOT 159030213 SOS 103179591 HAS SOPS 91614264 HAS SOUS 25003603 HAS SOUPS 24847433 WITH SCORE 2.4950612591E7
AT ITER 704 NEW BEST:: SOT 159030348 SOS 103179711 HAS SOPS 91613043 HAS SOUS 25001330 HAS SOUPS 24845160 WITH SCORE 2.4948339711E7
AT ITER 705 NEW BEST:: SOT 159012700 SOS 103162747 HAS SOPS 91598552 HAS SOUS 24991689 HAS SOUPS 24835519 WITH SCORE 2.4938681747E7
AT ITER 709 NEW BEST:: SOT 158996382 SOS 103135473 HAS SOPS 91569730 HAS SOUS 24986304 HAS SOUPS 24830134 WITH SCORE 2.4933269473E7
AT ITER 711 NEW BEST:: SOT 158998645 SOS 103137680 HAS SOPS 91571967 HAS SOUS 24983966 HAS SOUPS 24827796 WITH SCORE 2.493093368E7
AT ITER 730 NEW BEST:: SOT 158992947 SOS 103133558 HAS SOPS 91560222 HAS SOUS 24940075 HAS SOUPS 24784080 WITH SCORE 2.4887213558E7
AT ITER 739 NEW BEST:: SOT 158993141 SOS 103127471 HAS SOPS 91559341 HAS SOUS 24939775 HAS SOUPS 24783900 WITH SCORE 2.4887027471E7
AT ITER 740 NEW BEST:: SOT 158993151 SOS 103127346 HAS SOPS 91559216 HAS SOUS 24939750 HAS SOUPS 24783875 WITH SCORE 2.4887002346E7
AT ITER 743 NEW BEST:: SOT 159013440 SOS 103072071 HAS SOPS 91614395 HAS SOUS 24932486 HAS SOUPS 24776929 WITH SCORE 2.4880001071E7
AT ITER 758 NEW BEST:: SOT 159004378 SOS 103062892 HAS SOPS 91600770 HAS SOUS 24929866 HAS SOUPS 24774309 WITH SCORE 2.4877371892E7
AT ITER 763 NEW BEST:: SOT 159035330 SOS 103089248 HAS SOPS 91631166 HAS SOUS 24912485 HAS SOUPS 24757276 WITH SCORE 2.4860365248E7
AT ITER 768 NEW BEST:: SOT 159034360 SOS 103088308 HAS SOPS 91630126 HAS SOUS 24911215 HAS SOUPS 24756006 WITH SCORE 2.4859094308E7
AT ITER 770 NEW BEST:: SOT 159026693 SOS 103080641 HAS SOPS 91621670 HAS SOUS 24899454 HAS SOUPS 24744356 WITH SCORE 2.4847436641E7
AT ITER 784 NEW BEST:: SOT 158563578 SOS 102852922 HAS SOPS 91390980 HAS SOUS 24425797 HAS SOUPS 24270809 WITH SCORE 2.4373661922E7
AT ITER 787 NEW BEST:: SOT 158516602 SOS 102652315 HAS SOPS 91160814 HAS SOUS 24335530 HAS SOUPS 24178164 WITH SCORE 2.4280816315E7
AT ITER 792 NEW BEST:: SOT 158464141 SOS 102618742 HAS SOPS 91130748 HAS SOUS 24307284 HAS SOUPS 24149918 WITH SCORE 2.4252536742E7
AT ITER 795 NEW BEST:: SOT 158467653 SOS 102622250 HAS SOPS 91132686 HAS SOUS 24301422 HAS SOUPS 24144056 WITH SCORE 2.424667825E7
AT ITER 797 NEW BEST:: SOT 158465711 SOS 102620293 HAS SOPS 91130494 HAS SOUS 24298650 HAS SOUPS 24141284 WITH SCORE 2.4243904293E7
AT ITER 801 NEW BEST:: SOT 158465391 SOS 102619955 HAS SOPS 91120258 HAS SOUS 24298402 HAS SOUPS 24140834 WITH SCORE 2.4243453955E7
AT ITER 816 NEW BEST:: SOT 158469629 SOS 102629050 HAS SOPS 91130534 HAS SOUS 24297643 HAS SOUPS 24140075 WITH SCORE 2.424270405E7
AT ITER 820 NEW BEST:: SOT 158461304 SOS 102620725 HAS SOPS 91125029 HAS SOUS 24293648 HAS SOUPS 24137952 WITH SCORE 2.4240572725E7
AT ITER 833 NEW BEST:: SOT 158443096 SOS 102661071 HAS SOPS 91161637 HAS SOUS 24239557 HAS SOUPS 24083130 WITH SCORE 2.4185791071E7
AT ITER 845 NEW BEST:: SOT 158464599 SOS 102685473 HAS SOPS 91193811 HAS SOUS 24228196 HAS SOUPS 24071769 WITH SCORE 2.4174454473E7
AT ITER 875 NEW BEST:: SOT 158447566 SOS 102386273 HAS SOPS 90855611 HAS SOUS 24226249 HAS SOUPS 24069822 WITH SCORE 2.4172208273E7
AT ITER 876 NEW BEST:: SOT 158447363 SOS 102386050 HAS SOPS 90855188 HAS SOUS 24225115 HAS SOUPS 24068693 WITH SCORE 2.417107905E7
AT ITER 883 NEW BEST:: SOT 158446820 SOS 102385688 HAS SOPS 90854464 HAS SOUS 24224313 HAS SOUPS 24067891 WITH SCORE 2.4170276688E7
AT ITER 885 NEW BEST:: SOT 158460710 SOS 102355868 HAS SOPS 90809947 HAS SOUS 24112489 HAS SOUPS 23956487 WITH SCORE 2.4058842868E7
AT ITER 901 NEW BEST:: SOT 158453296 SOS 102348392 HAS SOPS 90800922 HAS SOUS 24098039 HAS SOUPS 23942037 WITH SCORE 2.4044385392E7
AT ITER 907 NEW BEST:: SOT 158455256 SOS 102349245 HAS SOPS 90799644 HAS SOUS 24093012 HAS SOUPS 23937010 WITH SCORE 2.4039359245E7
AT ITER 915 NEW BEST:: SOT 158397751 SOS 102269728 HAS SOPS 90657475 HAS SOUS 24078686 HAS SOUPS 23922561 WITH SCORE 2.4024830728E7
AT ITER 916 NEW BEST:: SOT 158415335 SOS 102263878 HAS SOPS 90646429 HAS SOUS 24059429 HAS SOUPS 23903304 WITH SCORE 2.4005567878E7
AT ITER 927 NEW BEST:: SOT 158412597 SOS 102261140 HAS SOPS 90643419 HAS SOUS 24053609 HAS SOUPS 23897484 WITH SCORE 2.399974514E7
AT ITER 946 NEW BEST:: SOT 158411618 SOS 102262417 HAS SOPS 90644280 HAS SOUS 24052171 HAS SOUPS 23896046 WITH SCORE 2.3998308417E7
AT ITER 949 NEW BEST:: SOT 158411248 SOS 102262047 HAS SOPS 90640737 HAS SOUS 24039762 HAS SOUPS 23883637 WITH SCORE 2.3985899047E7
AT ITER 971 NEW BEST:: SOT 158413871 SOS 102262081 HAS SOPS 90639447 HAS SOUS 24027740 HAS SOUPS 23871615 WITH SCORE 2.3973877081E7
AT ITER 979 NEW BEST:: SOT 158413971 SOS 102262253 HAS SOPS 90639635 HAS SOUS 24026964 HAS SOUPS 23870839 WITH SCORE 2.3973101253E7
AT ITER 986 NEW BEST:: SOT 158413905 SOS 102262295 HAS SOPS 90639677 HAS SOUS 24026598 HAS SOUPS 23870473 WITH SCORE 2.3972735295E7
AT ITER 1032 NEW BEST:: SOT 158416268 SOS 102264424 HAS SOPS 90639980 HAS SOUS 24020017 HAS SOUPS 23863892 WITH SCORE 2.3966156424E7
AT ITER 1050 NEW BEST:: SOT 158416284 SOS 102264440 HAS SOPS 90639996 HAS SOUS 24020001 HAS SOUPS 23863876 WITH SCORE 2.396614044E7
AT ITER 1054 NEW BEST:: SOT 158416664 SOS 102264690 HAS SOPS 90641128 HAS SOUS 24018896 HAS SOUPS 23862781 WITH SCORE 2.396504569E7
AT ITER 1061 NEW BEST:: SOT 158412675 SOS 102260871 HAS SOPS 90636041 HAS SOUS 23997675 HAS SOUPS 23841560 WITH SCORE 2.3943820871E7
AT ITER 1065 NEW BEST:: SOT 158412675 SOS 102255434 HAS SOPS 90630604 HAS SOUS 23997653 HAS SOUPS 23841538 WITH SCORE 2.3943793434E7
AT ITER 1075 NEW BEST:: SOT 158412955 SOS 102255714 HAS SOPS 90630843 HAS SOUS 23997185 HAS SOUPS 23841070 WITH SCORE 2.3943325714E7
AT ITER 1078 NEW BEST:: SOT 158412762 SOS 102327280 HAS SOPS 90702439 HAS SOUS 23996082 HAS SOUPS 23839967 WITH SCORE 2.394229428E7
AT ITER 1089 NEW BEST:: SOT 158411887 SOS 102318569 HAS SOPS 90691674 HAS SOUS 23992099 HAS SOUPS 23835870 WITH SCORE 2.3938188569E7
AT ITER 1090 NEW BEST:: SOT 158412391 SOS 102319031 HAS SOPS 90692178 HAS SOUS 23990734 HAS SOUPS 23834505 WITH SCORE 2.3936824031E7
AT ITER 1092 NEW BEST:: SOT 158409533 SOS 102316172 HAS SOPS 90689319 HAS SOUS 23987875 HAS SOUPS 23831646 WITH SCORE 2.3933962172E7
AT ITER 1109 NEW BEST:: SOT 158409126 SOS 102315886 HAS SOPS 90687909 HAS SOUS 23987026 HAS SOUPS 23830641 WITH SCORE 2.3932956886E7
AT ITER 1111 NEW BEST:: SOT 158401357 SOS 102139163 HAS SOPS 90510061 HAS SOUS 23976290 HAS SOUPS 23820029 WITH SCORE 2.3922168163E7
AT ITER 1115 NEW BEST:: SOT 158401111 SOS 102250617 HAS SOPS 90617723 HAS SOUS 23948307 HAS SOUPS 23792046 WITH SCORE 2.3894296617E7
AT ITER 1126 NEW BEST:: SOT 158396075 SOS 102245277 HAS SOPS 90611060 HAS SOUS 23932930 HAS SOUPS 23776669 WITH SCORE 2.3878914277E7
AT ITER 1131 NEW BEST:: SOT 158382523 SOS 102214400 HAS SOPS 90582773 HAS SOUS 23908701 HAS SOUPS 23753652 WITH SCORE 2.38558664E7
AT ITER 1135 NEW BEST:: SOT 158402816 SOS 102229248 HAS SOPS 90604256 HAS SOUS 23904276 HAS SOUPS 23749474 WITH SCORE 2.3851703248E7
AT ITER 1158 NEW BEST:: SOT 158402830 SOS 102221676 HAS SOPS 90604474 HAS SOUS 23903326 HAS SOUPS 23748714 WITH SCORE 2.3850935676E7
AT ITER 1176 NEW BEST:: SOT 158410189 SOS 102207666 HAS SOPS 90600382 HAS SOUS 23896881 HAS SOUPS 23742436 WITH SCORE 2.3844643666E7
AT ITER 1178 NEW BEST:: SOT 158410005 SOS 102207610 HAS SOPS 90599681 HAS SOUS 23892358 HAS SOUPS 23737913 WITH SCORE 2.384012061E7
AT ITER 1179 NEW BEST:: SOT 158410012 SOS 102207624 HAS SOPS 90599695 HAS SOUS 23892144 HAS SOUPS 23737699 WITH SCORE 2.3839906624E7
AT ITER 1180 NEW BEST:: SOT 158410643 SOS 102208255 HAS SOPS 90599355 HAS SOUS 23890134 HAS SOUPS 23735689 WITH SCORE 2.3837897255E7
AT ITER 1193 NEW BEST:: SOT 158427708 SOS 102181592 HAS SOPS 90623513 HAS SOUS 23888729 HAS SOUPS 23734284 WITH SCORE 2.3836465592E7
AT ITER 1194 NEW BEST:: SOT 158415590 SOS 102169693 HAS SOPS 90607423 HAS SOUS 23859512 HAS SOUPS 23705067 WITH SCORE 2.3807236693E7
AT ITER 1207 NEW BEST:: SOT 158384069 SOS 102138172 HAS SOPS 90575801 HAS SOUS 23826897 HAS SOUPS 23672435 WITH SCORE 2.3774573172E7
AT ITER 1223 NEW BEST:: SOT 158380912 SOS 102135015 HAS SOPS 90572028 HAS SOUS 23819289 HAS SOUPS 23664827 WITH SCORE 2.3766962015E7
AT ITER 1230 NEW BEST:: SOT 158360884 SOS 102113334 HAS SOPS 90548417 HAS SOUS 23804494 HAS SOUPS 23649640 WITH SCORE 2.3751753334E7
AT ITER 1266 NEW BEST:: SOT 158346334 SOS 102144590 HAS SOPS 90581594 HAS SOUS 23801029 HAS SOUPS 23646175 WITH SCORE 2.374831959E7
AT ITER 1273 NEW BEST:: SOT 158376309 SOS 102064121 HAS SOPS 90615237 HAS SOUS 23780311 HAS SOUPS 23625820 WITH SCORE 2.3727884121E7
AT ITER 1280 NEW BEST:: SOT 158378749 SOS 102065276 HAS SOPS 90616250 HAS SOUS 23779755 HAS SOUPS 23625215 WITH SCORE 2.3727280276E7
AT ITER 1284 NEW BEST:: SOT 158373898 SOS 102061047 HAS SOPS 90606060 HAS SOUS 23746015 HAS SOUPS 23589655 WITH SCORE 2.3691716047E7
AT ITER 1303 NEW BEST:: SOT 158374182 SOS 102061338 HAS SOPS 90606320 HAS SOUS 23745782 HAS SOUPS 23589422 WITH SCORE 2.3691483338E7
AT ITER 1305 NEW BEST:: SOT 158379499 SOS 102084620 HAS SOPS 90639056 HAS SOUS 23739147 HAS SOUPS 23582787 WITH SCORE 2.368487162E7
AT ITER 1314 NEW BEST:: SOT 158384642 SOS 102089709 HAS SOPS 90642353 HAS SOUS 23723388 HAS SOUPS 23567028 WITH SCORE 2.3669117709E7
AT ITER 1322 NEW BEST:: SOT 158384606 SOS 102089673 HAS SOPS 90642308 HAS SOUS 23723316 HAS SOUPS 23566956 WITH SCORE 2.3669045673E7
AT ITER 1327 NEW BEST:: SOT 158387541 SOS 102081850 HAS SOPS 90626015 HAS SOUS 23721791 HAS SOUPS 23565431 WITH SCORE 2.366751285E7
AT ITER 1328 NEW BEST:: SOT 158424582 SOS 102116183 HAS SOPS 90663864 HAS SOUS 23698999 HAS SOUPS 23542985 WITH SCORE 2.3645101183E7
AT ITER 1342 NEW BEST:: SOT 158424800 SOS 102116401 HAS SOPS 90664120 HAS SOUS 23698912 HAS SOUPS 23542898 WITH SCORE 2.3645014401E7
AT ITER 1354 NEW BEST:: SOT 158426100 SOS 102117888 HAS SOPS 90665502 HAS SOUS 23698071 HAS SOUPS 23542057 WITH SCORE 2.3644174888E7
AT ITER 1355 NEW BEST:: SOT 158413846 SOS 102105781 HAS SOPS 90651428 HAS SOUS 23696731 HAS SOUPS 23540717 WITH SCORE 2.3642822781E7
AT ITER 1363 NEW BEST:: SOT 158405696 SOS 102097631 HAS SOPS 90641159 HAS SOUS 23680695 HAS SOUPS 23524681 WITH SCORE 2.3626778631E7
AT ITER 1367 NEW BEST:: SOT 158405211 SOS 102096707 HAS SOPS 90640790 HAS SOUS 23679302 HAS SOUPS 23523288 WITH SCORE 2.3625384707E7
AT ITER 1368 NEW BEST:: SOT 158415767 SOS 102084916 HAS SOPS 90624861 HAS SOUS 23664039 HAS SOUPS 23508025 WITH SCORE 2.3610109916E7
AT ITER 1371 NEW BEST:: SOT 158416174 SOS 102429135 HAS SOPS 90967445 HAS SOUS 23658502 HAS SOUPS 23502488 WITH SCORE 2.3604917135E7
AT ITER 1376 NEW BEST:: SOT 158420827 SOS 102433894 HAS SOPS 90969520 HAS SOUS 23657384 HAS SOUPS 23501370 WITH SCORE 2.3603803894E7
AT ITER 1386 NEW BEST:: SOT 158415108 SOS 102421021 HAS SOPS 90963793 HAS SOUS 23648043 HAS SOUPS 23492839 WITH SCORE 2.3595260021E7
AT ITER 1405 NEW BEST:: SOT 158415934 SOS 102414256 HAS SOPS 90970007 HAS SOUS 23644798 HAS SOUPS 23489705 WITH SCORE 2.3592119256E7
AT ITER 1407 NEW BEST:: SOT 158412401 SOS 102410723 HAS SOPS 90966055 HAS SOUS 23641795 HAS SOUPS 23486702 WITH SCORE 2.3589112723E7
AT ITER 1420 NEW BEST:: SOT 158413775 SOS 102411731 HAS SOPS 90963595 HAS SOUS 23627183 HAS SOUPS 23472090 WITH SCORE 2.3574501731E7
AT ITER 1424 NEW BEST:: SOT 158412845 SOS 102410983 HAS SOPS 90962567 HAS SOUS 23622663 HAS SOUPS 23467568 WITH SCORE 2.3569978983E7
AT ITER 1434 NEW BEST:: SOT 158407687 SOS 102341484 HAS SOPS 90931021 HAS SOUS 23596896 HAS SOUPS 23442250 WITH SCORE 2.3544591484E7
AT ITER 1447 NEW BEST:: SOT 158401720 SOS 102332010 HAS SOPS 90921630 HAS SOUS 23586247 HAS SOUPS 23431638 WITH SCORE 2.353397001E7
AT ITER 1449 NEW BEST:: SOT 158401545 SOS 102325510 HAS SOPS 90921580 HAS SOUS 23585322 HAS SOUPS 23430863 WITH SCORE 2.353318851E7
AT ITER 1459 NEW BEST:: SOT 158414218 SOS 102338113 HAS SOPS 90932190 HAS SOUS 23577085 HAS SOUPS 23422626 WITH SCORE 2.3524964113E7
AT ITER 1463 NEW BEST:: SOT 158406476 SOS 102331475 HAS SOPS 90926071 HAS SOUS 23574807 HAS SOUPS 23420348 WITH SCORE 2.3522679475E7
AT ITER 1473 NEW BEST:: SOT 158421764 SOS 102355337 HAS SOPS 90958711 HAS SOUS 23567324 HAS SOUPS 23413078 WITH SCORE 2.3515433337E7
AT ITER 1491 NEW BEST:: SOT 158422159 SOS 102229823 HAS SOPS 90959844 HAS SOUS 23547557 HAS SOUPS 23393325 WITH SCORE 2.3495554823E7
AT ITER 1506 NEW BEST:: SOT 158422271 SOS 102229963 HAS SOPS 90959984 HAS SOUS 23546861 HAS SOUPS 23392629 WITH SCORE 2.3494858963E7
AT ITER 1510 NEW BEST:: SOT 158412540 SOS 102220585 HAS SOPS 90946308 HAS SOUS 23536112 HAS SOUPS 23381880 WITH SCORE 2.3484100585E7
AT ITER 1520 NEW BEST:: SOT 158413289 SOS 102220942 HAS SOPS 90945430 HAS SOUS 23531940 HAS SOUPS 23377708 WITH SCORE 2.3479928942E7
AT ITER 1524 NEW BEST:: SOT 158365516 SOS 102197556 HAS SOPS 90935095 HAS SOUS 23530065 HAS SOUPS 23375553 WITH SCORE 2.3477750556E7
AT ITER 1534 NEW BEST:: SOT 158376254 SOS 102113945 HAS SOPS 90908118 HAS SOUS 23502352 HAS SOUPS 23348176 WITH SCORE 2.3450289945E7
AT ITER 1542 NEW BEST:: SOT 158376207 SOS 102113704 HAS SOPS 90907877 HAS SOUS 23502258 HAS SOUPS 23348082 WITH SCORE 2.3450195704E7
AT ITER 1543 NEW BEST:: SOT 158375282 SOS 102112772 HAS SOPS 90906818 HAS SOUS 23500763 HAS SOUPS 23346587 WITH SCORE 2.3448699772E7
AT ITER 1546 NEW BEST:: SOT 158373950 SOS 102097873 HAS SOPS 90892151 HAS SOUS 23491842 HAS SOUPS 23337666 WITH SCORE 2.3439763873E7
AT ITER 1588 NEW BEST:: SOT 158374201 SOS 102108367 HAS SOPS 90902657 HAS SOUS 23491346 HAS SOUPS 23337210 WITH SCORE 2.3439318367E7
AT ITER 1623 NEW BEST:: SOT 158366259 SOS 102100839 HAS SOPS 90891717 HAS SOUS 23486950 HAS SOUPS 23332814 WITH SCORE 2.3434914839E7
AT ITER 1625 NEW BEST:: SOT 158366259 SOS 102099243 HAS SOPS 90890121 HAS SOUS 23486950 HAS SOUPS 23332814 WITH SCORE 2.3434913243E7
AT ITER 1627 NEW BEST:: SOT 158358164 SOS 102091349 HAS SOPS 90880640 HAS SOUS 23467861 HAS SOUPS 23313725 WITH SCORE 2.3415816349E7
AT ITER 1638 NEW BEST:: SOT 158357964 SOS 102091163 HAS SOPS 90880397 HAS SOUS 23467546 HAS SOUPS 23313410 WITH SCORE 2.3415501163E7
AT ITER 1669 NEW BEST:: SOT 158354593 SOS 102087471 HAS SOPS 90875570 HAS SOUS 23463127 HAS SOUPS 23308991 WITH SCORE 2.3411078471E7
AT ITER 1674 NEW BEST:: SOT 158323835 SOS 102060849 HAS SOPS 90841242 HAS SOUS 23429622 HAS SOUPS 23275140 WITH SCORE 2.3377200849E7
AT ITER 1676 NEW BEST:: SOT 158323835 SOS 102058864 HAS SOPS 90837087 HAS SOUS 23429457 HAS SOUPS 23274941 WITH SCORE 2.3376999864E7
AT ITER 1683 NEW BEST:: SOT 158323835 SOS 102058416 HAS SOPS 90836639 HAS SOUS 23429387 HAS SOUPS 23274871 WITH SCORE 2.3376929416E7
AT ITER 1699 NEW BEST:: SOT 158039642 SOS 101774212 HAS SOPS 90552385 HAS SOUS 23143690 HAS SOUPS 22989174 WITH SCORE 2.3090948212E7
AT ITER 1705 NEW BEST:: SOT 158032759 SOS 101767172 HAS SOPS 90544957 HAS SOUS 23130136 HAS SOUPS 22975620 WITH SCORE 2.3077387172E7
AT ITER 1707 NEW BEST:: SOT 158027818 SOS 101762064 HAS SOPS 90540132 HAS SOUS 23121189 HAS SOUPS 22966673 WITH SCORE 2.3068435064E7
AT ITER 1721 NEW BEST:: SOT 158028140 SOS 101753265 HAS SOPS 90531333 HAS SOUS 23120948 HAS SOUPS 22966432 WITH SCORE 2.3068185265E7
AT ITER 1728 NEW BEST:: SOT 158034524 SOS 101759835 HAS SOPS 90537789 HAS SOUS 23117885 HAS SOUPS 22963369 WITH SCORE 2.3065128835E7
AT ITER 1729 NEW BEST:: SOT 158036084 SOS 101761264 HAS SOPS 90538873 HAS SOUS 23117314 HAS SOUPS 22962798 WITH SCORE 2.3064559264E7
AT ITER 1738 NEW BEST:: SOT 158049186 SOS 101766372 HAS SOPS 90543391 HAS SOUS 23072773 HAS SOUPS 22918545 WITH SCORE 2.3020311372E7
AT ITER 1741 NEW BEST:: SOT 158047431 SOS 101764602 HAS SOPS 90541411 HAS SOUS 23069833 HAS SOUPS 22915605 WITH SCORE 2.3017369602E7
AT ITER 1746 NEW BEST:: SOT 158047626 SOS 101756131 HAS SOPS 90532940 HAS SOUS 23069477 HAS SOUPS 22915249 WITH SCORE 2.3017005131E7
AT ITER 1763 NEW BEST:: SOT 158047504 SOS 101756088 HAS SOPS 90532498 HAS SOUS 23069247 HAS SOUPS 22915019 WITH SCORE 2.3016775088E7
AT ITER 1778 NEW BEST:: SOT 158037992 SOS 101746286 HAS SOPS 90519956 HAS SOUS 23034585 HAS SOUPS 22880357 WITH SCORE 2.2982103286E7
AT ITER 1779 NEW BEST:: SOT 158039108 SOS 101748394 HAS SOPS 90520528 HAS SOUS 23030305 HAS SOUPS 22876077 WITH SCORE 2.2977825394E7
AT ITER 1792 NEW BEST:: SOT 158028155 SOS 101737108 HAS SOPS 90506881 HAS SOUS 23008902 HAS SOUPS 22854674 WITH SCORE 2.2956411108E7
AT ITER 1798 NEW BEST:: SOT 158018807 SOS 101728091 HAS SOPS 90494147 HAS SOUS 22987595 HAS SOUPS 22833367 WITH SCORE 2.2935095091E7
AT ITER 1803 NEW BEST:: SOT 158019548 SOS 101729447 HAS SOPS 90492018 HAS SOUS 22980780 HAS SOUPS 22826552 WITH SCORE 2.2928281447E7
AT ITER 1813 NEW BEST:: SOT 158015723 SOS 101725622 HAS SOPS 90487103 HAS SOUS 22977692 HAS SOUPS 22823464 WITH SCORE 2.2925189622E7
AT ITER 1820 NEW BEST:: SOT 158044152 SOS 101755911 HAS SOPS 90511364 HAS SOUS 22966369 HAS SOUPS 22812377 WITH SCORE 2.2914132911E7
AT ITER 1824 NEW BEST:: SOT 158037294 SOS 101762733 HAS SOPS 90508653 HAS SOUS 22963962 HAS SOUPS 22809970 WITH SCORE 2.2911732733E7
AT ITER 1828 NEW BEST:: SOT 158040390 SOS 101816321 HAS SOPS 90461781 HAS SOUS 22956782 HAS SOUPS 22802338 WITH SCORE 2.2904154321E7
AT ITER 1850 NEW BEST:: SOT 158038921 SOS 101814620 HAS SOPS 90458886 HAS SOUS 22949829 HAS SOUPS 22795385 WITH SCORE 2.289719962E7
AT ITER 1874 NEW BEST:: SOT 158038893 SOS 101814585 HAS SOPS 90458844 HAS SOUS 22949766 HAS SOUPS 22795322 WITH SCORE 2.2897136585E7
AT ITER 1885 NEW BEST:: SOT 158052061 SOS 101805388 HAS SOPS 90503096 HAS SOUS 22947825 HAS SOUPS 22793643 WITH SCORE 2.2895448388E7
AT ITER 1900 NEW BEST:: SOT 158049079 SOS 101802406 HAS SOPS 90499692 HAS SOUS 22944056 HAS SOUPS 22789874 WITH SCORE 2.2891676406E7
AT ITER 1902 NEW BEST:: SOT 158048828 SOS 101802122 HAS SOPS 90499425 HAS SOUS 22943505 HAS SOUPS 22789323 WITH SCORE 2.2891125122E7
AT ITER 1903 NEW BEST:: SOT 158020446 SOS 101591586 HAS SOPS 90262750 HAS SOUS 22869798 HAS SOUPS 22715277 WITH SCORE 2.2816868586E7
AT ITER 1910 NEW BEST:: SOT 158004640 SOS 101575843 HAS SOPS 90243845 HAS SOUS 22848072 HAS SOUPS 22693551 WITH SCORE 2.2795126843E7
AT ITER 1911 NEW BEST:: SOT 157954523 SOS 101527627 HAS SOPS 90194693 HAS SOUS 22806681 HAS SOUPS 22651900 WITH SCORE 2.2753427627E7
AT ITER 1918 NEW BEST:: SOT 157954523 SOS 101527686 HAS SOPS 90194752 HAS SOUS 22806622 HAS SOUPS 22651841 WITH SCORE 2.2753368686E7
AT ITER 1922 NEW BEST:: SOT 157954523 SOS 101505785 HAS SOPS 90172609 HAS SOUS 22806380 HAS SOUPS 22651599 WITH SCORE 2.2753104785E7
AT ITER 1949 NEW BEST:: SOT 157954404 SOS 101481592 HAS SOPS 90145485 HAS SOUS 22800920 HAS SOUPS 22646139 WITH SCORE 2.2747620592E7
AT ITER 1953 NEW BEST:: SOT 157751295 SOS 101278483 HAS SOPS 89941876 HAS SOUS 22594180 HAS SOUPS 22439399 WITH SCORE 2.2540677483E7
AT ITER 1955 NEW BEST:: SOT 157751058 SOS 101270147 HAS SOPS 89933540 HAS SOUS 22593724 HAS SOUPS 22438943 WITH SCORE 2.2540213147E7
AT ITER 1957 NEW BEST:: SOT 157707601 SOS 101230368 HAS SOPS 89895324 HAS SOUS 22559882 HAS SOUPS 22404881 WITH SCORE 2.2506111368E7
AT ITER 1963 NEW BEST:: SOT 157707540 SOS 101218961 HAS SOPS 89883795 HAS SOUS 22559821 HAS SOUPS 22404820 WITH SCORE 2.2506038961E7
AT ITER 1967 NEW BEST:: SOT 157707408 SOS 101218704 HAS SOPS 89883741 HAS SOUS 22557151 HAS SOUPS 22402150 WITH SCORE 2.2503368704E7
AT ITER 1985 NEW BEST:: SOT 157647754 SOS 101165456 HAS SOPS 89835311 HAS SOUS 22523667 HAS SOUPS 22368666 WITH SCORE 2.2469831456E7
AT ITER 1988 NEW BEST:: SOT 157643691 SOS 101229295 HAS SOPS 89904681 HAS SOUS 22519214 HAS SOUPS 22364213 WITH SCORE 2.2465442295E7
AT ITER 1989 NEW BEST:: SOT 157636305 SOS 101221799 HAS SOPS 89894454 HAS SOUS 22498378 HAS SOUPS 22341361 WITH SCORE 2.2442582799E7
AT ITER 2003 NEW BEST:: SOT 157632283 SOS 101217507 HAS SOPS 89889134 HAS SOUS 22486913 HAS SOUPS 22329896 WITH SCORE 2.2431113507E7
AT ITER 2006 NEW BEST:: SOT 157638933 SOS 101222227 HAS SOPS 89888175 HAS SOUS 22463431 HAS SOUPS 22306407 WITH SCORE 2.2407629227E7
AT ITER 2008 NEW BEST:: SOT 157640117 SOS 101223507 HAS SOPS 89886200 HAS SOUS 22460788 HAS SOUPS 22303764 WITH SCORE 2.2404987507E7
AT ITER 2009 NEW BEST:: SOT 157640117 SOS 101222339 HAS SOPS 89885004 HAS SOUS 22460744 HAS SOUPS 22303720 WITH SCORE 2.2404942339E7
AT ITER 2013 NEW BEST:: SOT 157630388 SOS 101106816 HAS SOPS 89751707 HAS SOUS 22448477 HAS SOUPS 22290833 WITH SCORE 2.2391939816E7
AT ITER 2014 NEW BEST:: SOT 157625052 SOS 101101099 HAS SOPS 89744961 HAS SOUS 22434703 HAS SOUPS 22277059 WITH SCORE 2.2378160099E7
AT ITER 2021 NEW BEST:: SOT 157625046 SOS 101101091 HAS SOPS 89744951 HAS SOUS 22434687 HAS SOUPS 22277043 WITH SCORE 2.2378144091E7
AT ITER 2023 NEW BEST:: SOT 157625054 SOS 101089417 HAS SOPS 89733277 HAS SOUS 22434613 HAS SOUPS 22276969 WITH SCORE 2.2378058417E7
AT ITER 2028 NEW BEST:: SOT 157626803 SOS 101091432 HAS SOPS 89734466 HAS SOUS 22432529 HAS SOUPS 22274885 WITH SCORE 2.2375976432E7
AT ITER 2029 NEW BEST:: SOT 157626803 SOS 101088972 HAS SOPS 89732006 HAS SOUS 22432439 HAS SOUPS 22274795 WITH SCORE 2.2375883972E7
AT ITER 2047 NEW BEST:: SOT 157623464 SOS 101073403 HAS SOPS 89712973 HAS SOUS 22385815 HAS SOUPS 22228480 WITH SCORE 2.2329553403E7
AT ITER 2049 NEW BEST:: SOT 157609393 SOS 100988112 HAS SOPS 89620286 HAS SOUS 22366483 HAS SOUPS 22209148 WITH SCORE 2.2310136112E7
AT ITER 2053 NEW BEST:: SOT 157609106 SOS 100987866 HAS SOPS 89619712 HAS SOUS 22365554 HAS SOUPS 22208219 WITH SCORE 2.2309206866E7
AT ITER 2055 NEW BEST:: SOT 157615529 SOS 100994421 HAS SOPS 89624196 HAS SOUS 22358980 HAS SOUPS 22201645 WITH SCORE 2.2302639421E7
AT ITER 2062 NEW BEST:: SOT 157590884 SOS 100955205 HAS SOPS 89582429 HAS SOUS 22351894 HAS SOUPS 22194559 WITH SCORE 2.2295514205E7
AT ITER 2067 NEW BEST:: SOT 157584513 SOS 100948446 HAS SOPS 89575438 HAS SOUS 22343184 HAS SOUPS 22185849 WITH SCORE 2.2286797446E7
AT ITER 2080 NEW BEST:: SOT 157584481 SOS 100947262 HAS SOPS 89574254 HAS SOUS 22343136 HAS SOUPS 22185801 WITH SCORE 2.2286748262E7
AT ITER 2083 NEW BEST:: SOT 157587284 SOS 100948271 HAS SOPS 89576404 HAS SOUS 22332381 HAS SOUPS 22175118 WITH SCORE 2.2276066271E7
AT ITER 2085 NEW BEST:: SOT 157585067 SOS 100945969 HAS SOPS 89573704 HAS SOUS 22330027 HAS SOUPS 22172764 WITH SCORE 2.2273709969E7
AT ITER 2089 NEW BEST:: SOT 157585868 SOS 100946770 HAS SOPS 89574085 HAS SOUS 22329568 HAS SOUPS 22172305 WITH SCORE 2.227325177E7
AT ITER 2093 NEW BEST:: SOT 157651781 SOS 100996374 HAS SOPS 89633091 HAS SOUS 22325038 HAS SOUPS 22168175 WITH SCORE 2.2269171374E7
AT ITER 2105 NEW BEST:: SOT 157652179 SOS 100996513 HAS SOPS 89632698 HAS SOUS 22323506 HAS SOUPS 22166643 WITH SCORE 2.2267639513E7
AT ITER 2124 NEW BEST:: SOT 157618564 SOS 101040135 HAS SOPS 89660941 HAS SOUS 22298762 HAS SOUPS 22141147 WITH SCORE 2.2242187135E7
AT ITER 2129 NEW BEST:: SOT 157619332 SOS 101040801 HAS SOPS 89661607 HAS SOUS 22298690 HAS SOUPS 22141075 WITH SCORE 2.2242115801E7
AT ITER 2137 NEW BEST:: SOT 157627531 SOS 101042799 HAS SOPS 89662552 HAS SOUS 22283494 HAS SOUPS 22126180 WITH SCORE 2.2227222799E7
AT ITER 2138 NEW BEST:: SOT 157618488 SOS 101033878 HAS SOPS 89650082 HAS SOUS 22269542 HAS SOUPS 22112228 WITH SCORE 2.2213261878E7
AT ITER 2147 NEW BEST:: SOT 157621800 SOS 101037878 HAS SOPS 89652735 HAS SOUS 22265630 HAS SOUPS 22108316 WITH SCORE 2.2209353878E7
AT ITER 2150 NEW BEST:: SOT 157621957 SOS 100980045 HAS SOPS 89594403 HAS SOUS 22265338 HAS SOUPS 22108024 WITH SCORE 2.2209004045E7
AT ITER 2159 NEW BEST:: SOT 157631166 SOS 100978805 HAS SOPS 89584009 HAS SOUS 22260279 HAS SOUPS 22102965 WITH SCORE 2.2203943805E7
AT ITER 2172 NEW BEST:: SOT 157638683 SOS 100964443 HAS SOPS 89570882 HAS SOUS 22241593 HAS SOUPS 22084396 WITH SCORE 2.2185360443E7
AT ITER 2174 NEW BEST:: SOT 157636767 SOS 100944077 HAS SOPS 89550331 HAS SOUS 22238504 HAS SOUPS 22081307 WITH SCORE 2.2182251077E7
AT ITER 2180 NEW BEST:: SOT 157496056 SOS 100831013 HAS SOPS 89437146 HAS SOUS 22067147 HAS SOUPS 21909950 WITH SCORE 2.2010781013E7
AT ITER 2183 NEW BEST:: SOT 157496041 SOS 100829293 HAS SOPS 89437736 HAS SOUS 22067007 HAS SOUPS 21909865 WITH SCORE 2.2010694293E7
AT ITER 2199 NEW BEST:: SOT 157494897 SOS 100828105 HAS SOPS 89436548 HAS SOUS 22064719 HAS SOUPS 21907577 WITH SCORE 2.2008405105E7
AT ITER 2202 NEW BEST:: SOT 157494940 SOS 100828105 HAS SOPS 89436548 HAS SOUS 22064634 HAS SOUPS 21907492 WITH SCORE 2.2008320105E7
AT ITER 2204 NEW BEST:: SOT 157475636 SOS 100788983 HAS SOPS 89400812 HAS SOUS 22058470 HAS SOUPS 21901328 WITH SCORE 2.2002116983E7
AT ITER 2205 NEW BEST:: SOT 157475481 SOS 100779812 HAS SOPS 89391641 HAS SOUS 22058038 HAS SOUPS 21900896 WITH SCORE 2.2001675812E7
AT ITER 2210 NEW BEST:: SOT 157475581 SOS 100778762 HAS SOPS 89390591 HAS SOUS 22057888 HAS SOUPS 21900746 WITH SCORE 2.2001524762E7
AT ITER 2214 NEW BEST:: SOT 157475525 SOS 100775386 HAS SOPS 89391247 HAS SOUS 22057632 HAS SOUPS 21900586 WITH SCORE 2.2001361386E7
AT ITER 2217 NEW BEST:: SOT 157475703 SOS 100760778 HAS SOPS 89376639 HAS SOUS 22057189 HAS SOUPS 21900143 WITH SCORE 2.2000903778E7
AT ITER 2220 NEW BEST:: SOT 157480082 SOS 100764879 HAS SOPS 89378427 HAS SOUS 22049256 HAS SOUPS 21892210 WITH SCORE 2.1992974879E7
AT ITER 2223 NEW BEST:: SOT 157479774 SOS 100735375 HAS SOPS 89334239 HAS SOUS 22033908 HAS SOUPS 21876862 WITH SCORE 2.1977597375E7
AT ITER 2227 NEW BEST:: SOT 157424599 SOS 100474452 HAS SOPS 89049269 HAS SOUS 21982478 HAS SOUPS 21825432 WITH SCORE 2.1925906452E7
AT ITER 2239 NEW BEST:: SOT 157424722 SOS 100474476 HAS SOPS 89048930 HAS SOUS 21982051 HAS SOUPS 21824901 WITH SCORE 2.1925375476E7
AT ITER 2265 NEW BEST:: SOT 157423260 SOS 100457511 HAS SOPS 89042144 HAS SOUS 21976690 HAS SOUPS 21819620 WITH SCORE 2.1920077511E7
AT ITER 2273 NEW BEST:: SOT 157417881 SOS 100451649 HAS SOPS 89034031 HAS SOUS 21965150 HAS SOUPS 21808080 WITH SCORE 2.1908531649E7
AT ITER 2284 NEW BEST:: SOT 157417125 SOS 100450893 HAS SOPS 89033275 HAS SOUS 21964417 HAS SOUPS 21807347 WITH SCORE 2.1907797893E7
AT ITER 2288 NEW BEST:: SOT 157449489 SOS 100477738 HAS SOPS 89071057 HAS SOUS 21945968 HAS SOUPS 21789213 WITH SCORE 2.1889690738E7
AT ITER 2294 NEW BEST:: SOT 157316273 SOS 100384610 HAS SOPS 88981217 HAS SOUS 21819979 HAS SOUPS 21663224 WITH SCORE 2.176360861E7
AT ITER 2295 NEW BEST:: SOT 157318820 SOS 100379957 HAS SOPS 88973932 HAS SOUS 21815283 HAS SOUPS 21658528 WITH SCORE 2.1758907957E7
AT ITER 2316 NEW BEST:: SOT 157238760 SOS 100350957 HAS SOPS 88959130 HAS SOUS 21803044 HAS SOUPS 21646289 WITH SCORE 2.1746639957E7
AT ITER 2317 NEW BEST:: SOT 157242454 SOS 100301873 HAS SOPS 88965184 HAS SOUS 21798226 HAS SOUPS 21641607 WITH SCORE 2.1741908873E7
AT ITER 2321 NEW BEST:: SOT 157160666 SOS 100219842 HAS SOPS 88882344 HAS SOUS 21710420 HAS SOUPS 21553792 WITH SCORE 2.1654011842E7
AT ITER 2344 NEW BEST:: SOT 157163208 SOS 100222567 HAS SOPS 88884841 HAS SOUS 21710392 HAS SOUPS 21553764 WITH SCORE 2.1653986567E7
AT ITER 2354 NEW BEST:: SOT 157162143 SOS 100221502 HAS SOPS 88883761 HAS SOUS 21708592 HAS SOUPS 21551964 WITH SCORE 2.1652185502E7
AT ITER 2362 NEW BEST:: SOT 157162206 SOS 100204968 HAS SOPS 88866947 HAS SOUS 21707675 HAS SOUPS 21551047 WITH SCORE 2.1651251968E7
AT ITER 2372 NEW BEST:: SOT 157173354 SOS 100161395 HAS SOPS 88900667 HAS SOUS 21705723 HAS SOUPS 21549279 WITH SCORE 2.1649440395E7
AT ITER 2387 NEW BEST:: SOT 157175057 SOS 100163093 HAS SOPS 88901791 HAS SOUS 21701857 HAS SOUPS 21545413 WITH SCORE 2.1645576093E7
AT ITER 2389 NEW BEST:: SOT 157175057 SOS 100163093 HAS SOPS 88901791 HAS SOUS 21701771 HAS SOUPS 21545327 WITH SCORE 2.1645490093E7
AT ITER 2399 NEW BEST:: SOT 157169025 SOS 100157061 HAS SOPS 88895428 HAS SOUS 21696771 HAS SOUPS 21540327 WITH SCORE 2.1640484061E7
AT ITER 2405 NEW BEST:: SOT 157156333 SOS 100123299 HAS SOPS 88855411 HAS SOUS 21678618 HAS SOUPS 21522174 WITH SCORE 2.1622297299E7
AT ITER 2434 NEW BEST:: SOT 157155705 SOS 100122671 HAS SOPS 88854783 HAS SOUS 21677990 HAS SOUPS 21521546 WITH SCORE 2.1621668671E7
AT ITER 2439 NEW BEST:: SOT 157155986 SOS 100122972 HAS SOPS 88855084 HAS SOUS 21677558 HAS SOUPS 21521114 WITH SCORE 2.1621236972E7
AT ITER 2444 NEW BEST:: SOT 157125700 SOS 100249133 HAS SOPS 88989481 HAS SOUS 21663966 HAS SOUPS 21507522 WITH SCORE 2.1607771133E7
AT ITER 2455 NEW BEST:: SOT 157123042 SOS 100226294 HAS SOPS 88966377 HAS SOUS 21658498 HAS SOUPS 21503180 WITH SCORE 2.1603406294E7
AT ITER 2456 NEW BEST:: SOT 157119978 SOS 100223094 HAS SOPS 88962543 HAS SOUS 21651400 HAS SOUPS 21496082 WITH SCORE 2.1596305094E7
AT ITER 2459 NEW BEST:: SOT 157112918 SOS 100216051 HAS SOPS 88953836 HAS SOUS 21633719 HAS SOUPS 21478401 WITH SCORE 2.1578617051E7
AT ITER 2461 NEW BEST:: SOT 157112816 SOS 100214920 HAS SOPS 88952002 HAS SOUS 21625256 HAS SOUPS 21470007 WITH SCORE 2.157022192E7
AT ITER 2467 NEW BEST:: SOT 157112816 SOS 100209795 HAS SOPS 88946877 HAS SOUS 21624756 HAS SOUPS 21469507 WITH SCORE 2.1569716795E7
AT ITER 2497 NEW BEST:: SOT 157109949 SOS 100207148 HAS SOPS 88943841 HAS SOUS 21619970 HAS SOUPS 21464721 WITH SCORE 2.1564928148E7
AT ITER 2503 NEW BEST:: SOT 157110292 SOS 100023088 HAS SOPS 88759405 HAS SOUS 21619182 HAS SOUPS 21463933 WITH SCORE 2.1563956088E7
AT ITER 2511 NEW BEST:: SOT 157121176 SOS 100041335 HAS SOPS 88781651 HAS SOUS 21596675 HAS SOUPS 21441765 WITH SCORE 2.1541806335E7
AT ITER 2522 NEW BEST:: SOT 157121324 SOS 100019103 HAS SOPS 88759163 HAS SOUS 21596163 HAS SOUPS 21441253 WITH SCORE 2.1541272103E7
AT ITER 2524 NEW BEST:: SOT 157089346 SOS 99986393 HAS SOPS 88718126 HAS SOUS 21565020 HAS SOUPS 21410110 WITH SCORE 2.1510096393E7
AT ITER 2534 NEW BEST:: SOT 157070220 SOS 99990312 HAS SOPS 88723983 HAS SOUS 21550901 HAS SOUPS 21395991 WITH SCORE 2.1495981312E7
AT ITER 2539 NEW BEST:: SOT 157069165 SOS 100091946 HAS SOPS 88824657 HAS SOUS 21529674 HAS SOUPS 21374952 WITH SCORE 2.1475043946E7
AT ITER 2544 NEW BEST:: SOT 157035481 SOS 100059479 HAS SOPS 88789245 HAS SOUS 21520097 HAS SOUPS 21364746 WITH SCORE 2.1464805479E7
AT ITER 2550 NEW BEST:: SOT 157035537 SOS 100059557 HAS SOPS 88789306 HAS SOUS 21520068 HAS SOUPS 21364717 WITH SCORE 2.1464776557E7
AT ITER 2555 NEW BEST:: SOT 157038842 SOS 100035062 HAS SOPS 88760443 HAS SOUS 21508592 HAS SOUPS 21353241 WITH SCORE 2.1453276062E7
AT ITER 2556 NEW BEST:: SOT 157018842 SOS 100014852 HAS SOPS 88740443 HAS SOUS 21489432 HAS SOUPS 21334081 WITH SCORE 2.1434095852E7
AT ITER 2571 NEW BEST:: SOT 156997801 SOS 100002909 HAS SOPS 88714628 HAS SOUS 21464022 HAS SOUPS 21308434 WITH SCORE 2.1408436909E7
AT ITER 2577 NEW BEST:: SOT 156996618 SOS 100000158 HAS SOPS 88711653 HAS SOUS 21461551 HAS SOUPS 21305963 WITH SCORE 2.1405963158E7
AT ITER 2592 NEW BEST:: SOT 157032154 SOS 99965759 HAS SOPS 88742273 HAS SOUS 21455176 HAS SOUPS 21299683 WITH SCORE 2.1399648759E7
AT ITER 2595 NEW BEST:: SOT 157032056 SOS 99965661 HAS SOPS 88742175 HAS SOUS 21455127 HAS SOUPS 21299634 WITH SCORE 2.1399599661E7
AT ITER 2600 NEW BEST:: SOT 157029975 SOS 99963896 HAS SOPS 88736885 HAS SOUS 21455973 HAS SOUPS 21296532 WITH SCORE 2.1396495896E7
AT ITER 2610 NEW BEST:: SOT 157037766 SOS 99969128 HAS SOPS 88742705 HAS SOUS 21419191 HAS SOUPS 21259750 WITH SCORE 2.1359719128E7
AT ITER 2632 NEW BEST:: SOT 156996596 SOS 99927863 HAS SOPS 88701128 HAS SOUS 21375082 HAS SOUPS 21215641 WITH SCORE 2.1315568863E7
AT ITER 2643 NEW BEST:: SOT 157003687 SOS 99914533 HAS SOPS 88680558 HAS SOUS 21369079 HAS SOUPS 21209367 WITH SCORE 2.1309281533E7
AT ITER 2672 NEW BEST:: SOT 156989914 SOS 99896916 HAS SOPS 88662443 HAS SOUS 21352339 HAS SOUPS 21192697 WITH SCORE 2.1292593916E7
AT ITER 2688 NEW BEST:: SOT 156989236 SOS 99896651 HAS SOPS 88661841 HAS SOUS 21345693 HAS SOUPS 21186051 WITH SCORE 2.1285947651E7
AT ITER 2699 NEW BEST:: SOT 156994388 SOS 99916477 HAS SOPS 88683210 HAS SOUS 21342840 HAS SOUPS 21183198 WITH SCORE 2.1283114477E7
AT ITER 2733 NEW BEST:: SOT 157059876 SOS 99983615 HAS SOPS 88754787 HAS SOUS 21317533 HAS SOUPS 21158262 WITH SCORE 2.1258245615E7
AT ITER 2739 NEW BEST:: SOT 157084409 SOS 99998608 HAS SOPS 88777274 HAS SOUS 21314680 HAS SOUPS 21155707 WITH SCORE 2.1255705608E7
AT ITER 2792 NEW BEST:: SOT 157080343 SOS 99994518 HAS SOPS 88772960 HAS SOUS 21309203 HAS SOUPS 21150230 WITH SCORE 2.1250224518E7
AT ITER 2808 NEW BEST:: SOT 157061675 SOS 99975850 HAS SOPS 88750791 HAS SOUS 21274042 HAS SOUPS 21115069 WITH SCORE 2.121504485E7
AT ITER 2821 NEW BEST:: SOT 157239637 SOS 100151148 HAS SOPS 88903007 HAS SOUS 21250433 HAS SOUPS 21091460 WITH SCORE 2.1191611148E7
AT ITER 2825 NEW BEST:: SOT 157239049 SOS 100150560 HAS SOPS 88902431 HAS SOUS 21249833 HAS SOUPS 21090860 WITH SCORE 2.119101056E7
AT ITER 2827 NEW BEST:: SOT 157238104 SOS 100149503 HAS SOPS 88901255 HAS SOUS 21245252 HAS SOUPS 21086279 WITH SCORE 2.1186428503E7
AT ITER 2849 NEW BEST:: SOT 157237185 SOS 100148599 HAS SOPS 88900263 HAS SOUS 21243659 HAS SOUPS 21084686 WITH SCORE 2.1184834599E7
AT ITER 2852 NEW BEST:: SOT 157226917 SOS 100138139 HAS SOPS 88890315 HAS SOUS 21235210 HAS SOUPS 21076237 WITH SCORE 2.1176375139E7
AT ITER 2862 NEW BEST:: SOT 157227366 SOS 100137949 HAS SOPS 88889967 HAS SOUS 21220243 HAS SOUPS 21061270 WITH SCORE 2.1161407949E7
AT ITER 2867 NEW BEST:: SOT 157235811 SOS 100145116 HAS SOPS 88894626 HAS SOUS 21212590 HAS SOUPS 21053842 WITH SCORE 2.1153987116E7
AT ITER 2869 NEW BEST:: SOT 157224572 SOS 100134089 HAS SOPS 88877849 HAS SOUS 21195058 HAS SOUPS 21036310 WITH SCORE 2.1136444089E7
AT ITER 2902 NEW BEST:: SOT 157224408 SOS 100133946 HAS SOPS 88877533 HAS SOUS 21194234 HAS SOUPS 21035486 WITH SCORE 2.1135619946E7
AT ITER 2903 NEW BEST:: SOT 157224556 SOS 100133572 HAS SOPS 88877159 HAS SOUS 21194092 HAS SOUPS 21035344 WITH SCORE 2.1135477572E7
AT ITER 2908 NEW BEST:: SOT 157224584 SOS 100133601 HAS SOPS 88877188 HAS SOUS 21194066 HAS SOUPS 21035318 WITH SCORE 2.1135451601E7
AT ITER 2910 NEW BEST:: SOT 157221240 SOS 100130409 HAS SOPS 88874300 HAS SOUS 21190570 HAS SOUPS 21031822 WITH SCORE 2.1131952409E7
AT ITER 2916 NEW BEST:: SOT 157195935 SOS 100105104 HAS SOPS 88839742 HAS SOUS 21124685 HAS SOUPS 20965715 WITH SCORE 2.1065820104E7
AT ITER 2925 NEW BEST:: SOT 157197250 SOS 100106634 HAS SOPS 88840478 HAS SOUS 21122846 HAS SOUPS 20963876 WITH SCORE 2.1063982634E7
AT ITER 2927 NEW BEST:: SOT 157197167 SOS 99938760 HAS SOPS 88672356 HAS SOUS 21122236 HAS SOUPS 20963266 WITH SCORE 2.106320476E7
AT ITER 2934 NEW BEST:: SOT 157164338 SOS 99926153 HAS SOPS 88670059 HAS SOUS 21118569 HAS SOUPS 20959599 WITH SCORE 2.1059525153E7
AT ITER 2943 NEW BEST:: SOT 157163062 SOS 99924970 HAS SOPS 88668554 HAS SOUS 21113781 HAS SOUPS 20954811 WITH SCORE 2.105473597E7
AT ITER 2964 NEW BEST:: SOT 157163224 SOS 99925159 HAS SOPS 88668457 HAS SOUS 21112976 HAS SOUPS 20954006 WITH SCORE 2.1053931159E7
AT ITER 2973 NEW BEST:: SOT 157162962 SOS 99924741 HAS SOPS 88668165 HAS SOUS 21112609 HAS SOUPS 20953642 WITH SCORE 2.1053566741E7
AT ITER 2981 NEW BEST:: SOT 157171921 SOS 99932267 HAS SOPS 88671334 HAS SOUS 21097360 HAS SOUPS 20938474 WITH SCORE 2.1038406267E7
AT ITER 2987 NEW BEST:: SOT 157171916 SOS 99931268 HAS SOPS 88671301 HAS SOUS 21097314 HAS SOUPS 20938451 WITH SCORE 2.1038382268E7
AT ITER 2995 NEW BEST:: SOT 157179041 SOS 99938147 HAS SOPS 88675961 HAS SOUS 21089660 HAS SOUPS 20930797 WITH SCORE 2.1030735147E7
AT ITER 2996 NEW BEST:: SOT 157179111 SOS 99938290 HAS SOPS 88675574 HAS SOUS 21086880 HAS SOUPS 20928017 WITH SCORE 2.102795529E7
AT ITER 2999 NEW BEST:: SOT 157179207 SOS 99938386 HAS SOPS 88675622 HAS SOUS 21086576 HAS SOUPS 20927713 WITH SCORE 2.1027651386E7
AT ITER 3012 NEW BEST:: SOT 157180078 SOS 99938972 HAS SOPS 88676020 HAS SOUS 21083461 HAS SOUPS 20924598 WITH SCORE 2.1024536972E7
AT ITER 3018 NEW BEST:: SOT 157154293 SOS 100115486 HAS SOPS 88858581 HAS SOUS 21082688 HAS SOUPS 20923825 WITH SCORE 2.1023940486E7
AT ITER 3020 NEW BEST:: SOT 157125541 SOS 100086173 HAS SOPS 88829268 HAS SOUS 21053386 HAS SOUPS 20894523 WITH SCORE 2.0994609173E7
AT ITER 3042 NEW BEST:: SOT 157122106 SOS 100082738 HAS SOPS 88825274 HAS SOUS 21047659 HAS SOUPS 20888796 WITH SCORE 2.0988878738E7
AT ITER 3051 NEW BEST:: SOT 157135276 SOS 99999779 HAS SOPS 88840678 HAS SOUS 21018582 HAS SOUPS 20860017 WITH SCORE 2.0960016779E7
AT ITER 3056 NEW BEST:: SOT 157135043 SOS 99999730 HAS SOPS 88840629 HAS SOUS 21018352 HAS SOUPS 20859787 WITH SCORE 2.095978673E7
AT ITER 3084 NEW BEST:: SOT 157133943 SOS 99998670 HAS SOPS 88839194 HAS SOUS 21013612 HAS SOUPS 20855047 WITH SCORE 2.095504567E7
AT ITER 3116 NEW BEST:: SOT 157132282 SOS 99997024 HAS SOPS 88834981 HAS SOUS 21002758 HAS SOUPS 20844193 WITH SCORE 2.0944190024E7
AT ITER 3161 NEW BEST:: SOT 157131619 SOS 99996388 HAS SOPS 88833805 HAS SOUS 20996209 HAS SOUPS 20837617 WITH SCORE 2.0937613388E7
AT ITER 3164 NEW BEST:: SOT 157168492 SOS 99913349 HAS SOPS 88886717 HAS SOUS 20995342 HAS SOUPS 20837234 WITH SCORE 2.0937147349E7
AT ITER 3182 NEW BEST:: SOT 157163852 SOS 99893814 HAS SOPS 88847371 HAS SOUS 20969955 HAS SOUPS 20811489 WITH SCORE 2.0911382814E7
AT ITER 3207 NEW BEST:: SOT 157163049 SOS 99893011 HAS SOPS 88846796 HAS SOUS 20968277 HAS SOUPS 20809811 WITH SCORE 2.0909704011E7
AT ITER 3208 NEW BEST:: SOT 157164337 SOS 99894177 HAS SOPS 88847933 HAS SOUS 20962445 HAS SOUPS 20803979 WITH SCORE 2.0903873177E7
AT ITER 3234 NEW BEST:: SOT 157164058 SOS 99893898 HAS SOPS 88846819 HAS SOUS 20961785 HAS SOUPS 20803319 WITH SCORE 2.0903212898E7
AT ITER 3238 NEW BEST:: SOT 157159900 SOS 99885944 HAS SOPS 88836245 HAS SOUS 20924327 HAS SOUPS 20765579 WITH SCORE 2.0865464944E7
AT ITER 3252 NEW BEST:: SOT 157161492 SOS 99887842 HAS SOPS 88835000 HAS SOUS 20904812 HAS SOUPS 20746064 WITH SCORE 2.0845951842E7
AT ITER 3259 NEW BEST:: SOT 157160234 SOS 99886510 HAS SOPS 88833372 HAS SOUS 20903850 HAS SOUPS 20745102 WITH SCORE 2.084498851E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12158648 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15937232 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-pb105"
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-pb105, 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-167889204200256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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