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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 75M
-rw-r--r-- 1 mcc users 6.3K Feb 26 08:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 08:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 08:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 08:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 132K Feb 26 09:02 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.7K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 74M 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 1679134275433

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-pb108
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 10:11:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 10:11:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 10:11:19] [INFO ] Load time of PNML (sax parser for PT used): 2019 ms
[2023-03-18 10:11:19] [INFO ] Transformed 2339 places.
[2023-03-18 10:11:20] [INFO ] Transformed 132214 transitions.
[2023-03-18 10:11:20] [INFO ] Found NUPN structural information;
[2023-03-18 10:11:20] [INFO ] Parsed PT model containing 2339 places and 132214 transitions and 523950 arcs in 2454 ms.
[2023-03-18 10:11:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2339 places, 132214 transitions and 523950 arcs took 347 ms.
Total runtime 2838 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS2020 (PT), instance pb108
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: 2339 places, 132214 transitions, 523950 arcs.
AT ITER 0 NEW BEST:: SOT 155760585 SOS 106212082 HAS SOPS 92246209 HAS SOUS 23849039 HAS SOUPS 23756079 WITH SCORE 2.3862291082E7
AT ITER 7 NEW BEST:: SOT 155748629 SOS 106201197 HAS SOPS 92234416 HAS SOUS 23836752 HAS SOUPS 23743792 WITH SCORE 2.3849993197E7
AT ITER 18 NEW BEST:: SOT 155748626 SOS 106201194 HAS SOPS 92234413 HAS SOUS 23836750 HAS SOUPS 23743790 WITH SCORE 2.3849991194E7
AT ITER 44 NEW BEST:: SOT 155749639 SOS 106203929 HAS SOPS 92236019 HAS SOUS 23829799 HAS SOUPS 23736839 WITH SCORE 2.3843042929E7
AT ITER 46 NEW BEST:: SOT 155747395 SOS 106201685 HAS SOPS 92232959 HAS SOUS 23825012 HAS SOUPS 23732052 WITH SCORE 2.3838253685E7
AT ITER 52 NEW BEST:: SOT 155751042 SOS 106205659 HAS SOPS 92236933 HAS SOUS 23823186 HAS SOUPS 23730226 WITH SCORE 2.3836431659E7
AT ITER 65 NEW BEST:: SOT 155759153 SOS 106214108 HAS SOPS 92244687 HAS SOUS 23812134 HAS SOUPS 23719174 WITH SCORE 2.3825388108E7
AT ITER 69 NEW BEST:: SOT 155732100 SOS 106187262 HAS SOPS 92210540 HAS SOUS 23785388 HAS SOUPS 23692428 WITH SCORE 2.3798615262E7
AT ITER 76 NEW BEST:: SOT 155731873 SOS 106187108 HAS SOPS 92210286 HAS SOUS 23785138 HAS SOUPS 23692178 WITH SCORE 2.3798365108E7
AT ITER 77 NEW BEST:: SOT 155738497 SOS 106193296 HAS SOPS 92218006 HAS SOUS 23774021 HAS SOUPS 23681074 WITH SCORE 2.3787267296E7
AT ITER 92 NEW BEST:: SOT 155737549 SOS 106192585 HAS SOPS 92216900 HAS SOUS 23772827 HAS SOUPS 23679880 WITH SCORE 2.3786072585E7
AT ITER 99 NEW BEST:: SOT 155738413 SOS 106193449 HAS SOPS 92218186 HAS SOUS 23772011 HAS SOUPS 23679064 WITH SCORE 2.3785257449E7
AT ITER 107 NEW BEST:: SOT 155708930 SOS 106210605 HAS SOPS 92239477 HAS SOUS 23754509 HAS SOUPS 23663616 WITH SCORE 2.3769826605E7
AT ITER 115 NEW BEST:: SOT 155709535 SOS 106211081 HAS SOPS 92237245 HAS SOUS 23752754 HAS SOUPS 23661898 WITH SCORE 2.3768109081E7
AT ITER 120 NEW BEST:: SOT 155728067 SOS 106229551 HAS SOPS 92261356 HAS SOUS 23750787 HAS SOUPS 23659931 WITH SCORE 2.3766160551E7
AT ITER 122 NEW BEST:: SOT 155727245 SOS 106228609 HAS SOPS 92260180 HAS SOUS 23750199 HAS SOUPS 23659343 WITH SCORE 2.3765571609E7
AT ITER 148 NEW BEST:: SOT 156269713 SOS 103565418 HAS SOPS 91449760 HAS SOUS 23807077 HAS SOUPS 23574603 WITH SCORE 2.3678168418E7
AT ITER 164 NEW BEST:: SOT 156155556 SOS 103472334 HAS SOPS 91375253 HAS SOUS 23769024 HAS SOUPS 23536550 WITH SCORE 2.3640022334E7
AT ITER 167 NEW BEST:: SOT 156161162 SOS 103477940 HAS SOPS 91380909 HAS SOUS 23765514 HAS SOUPS 23532962 WITH SCORE 2.363643994E7
AT ITER 194 NEW BEST:: SOT 156166823 SOS 103484752 HAS SOPS 91387264 HAS SOUS 23742754 HAS SOUPS 23510202 WITH SCORE 2.3613686752E7
AT ITER 202 NEW BEST:: SOT 156125786 SOS 103440730 HAS SOPS 91343864 HAS SOUS 23688029 HAS SOUPS 23455788 WITH SCORE 2.355922873E7
AT ITER 214 NEW BEST:: SOT 156112456 SOS 103427338 HAS SOPS 91331154 HAS SOUS 23681147 HAS SOUPS 23448906 WITH SCORE 2.3552333338E7
AT ITER 233 NEW BEST:: SOT 156107650 SOS 103422954 HAS SOPS 91325419 HAS SOUS 23664624 HAS SOUPS 23432159 WITH SCORE 2.3535581954E7
AT ITER 250 NEW BEST:: SOT 156106850 SOS 103422144 HAS SOPS 91324567 HAS SOUS 23662949 HAS SOUPS 23430484 WITH SCORE 2.3533906144E7
AT ITER 256 NEW BEST:: SOT 156108269 SOS 103423464 HAS SOPS 91321830 HAS SOUS 23632932 HAS SOUPS 23400467 WITH SCORE 2.3503890464E7
AT ITER 278 NEW BEST:: SOT 156115938 SOS 103432302 HAS SOPS 91330074 HAS SOUS 23616173 HAS SOUPS 23383708 WITH SCORE 2.3487140302E7
AT ITER 309 NEW BEST:: SOT 155627654 SOS 103074617 HAS SOPS 90972879 HAS SOUS 23125937 HAS SOUPS 22893472 WITH SCORE 2.2996546617E7
AT ITER 325 NEW BEST:: SOT 155078322 SOS 103614765 HAS SOPS 91647484 HAS SOUS 22859725 HAS SOUPS 22627260 WITH SCORE 2.2730874765E7
AT ITER 339 NEW BEST:: SOT 155083284 SOS 103622559 HAS SOPS 91650711 HAS SOUS 22852596 HAS SOUPS 22619777 WITH SCORE 2.2723399559E7
AT ITER 340 NEW BEST:: SOT 155082902 SOS 103620816 HAS SOPS 91649651 HAS SOUS 22850438 HAS SOUPS 22617824 WITH SCORE 2.2721444816E7
AT ITER 356 NEW BEST:: SOT 154817624 SOS 103353437 HAS SOPS 91382531 HAS SOUS 22546782 HAS SOUPS 22314724 WITH SCORE 2.2418077437E7
AT ITER 371 NEW BEST:: SOT 154817095 SOS 103352739 HAS SOPS 91381965 HAS SOUS 22544842 HAS SOUPS 22312868 WITH SCORE 2.2416220739E7
AT ITER 376 NEW BEST:: SOT 154823641 SOS 103360063 HAS SOPS 91387615 HAS SOUS 22536715 HAS SOUPS 22304741 WITH SCORE 2.2408101063E7
AT ITER 382 NEW BEST:: SOT 154823201 SOS 103360203 HAS SOPS 91387063 HAS SOUS 22531325 HAS SOUPS 22299351 WITH SCORE 2.2402711203E7
AT ITER 400 NEW BEST:: SOT 154822013 SOS 103359159 HAS SOPS 91385834 HAS SOUS 22527658 HAS SOUPS 22295647 WITH SCORE 2.2399006159E7
AT ITER 430 NEW BEST:: SOT 154822073 SOS 103359177 HAS SOPS 91385852 HAS SOUS 22527624 HAS SOUPS 22295613 WITH SCORE 2.2398972177E7
AT ITER 433 NEW BEST:: SOT 154815701 SOS 103308385 HAS SOPS 91335060 HAS SOUS 22522035 HAS SOUPS 22290024 WITH SCORE 2.2393332385E7
AT ITER 439 NEW BEST:: SOT 154825838 SOS 103318195 HAS SOPS 91344870 HAS SOUS 22521976 HAS SOUPS 22289965 WITH SCORE 2.2393283195E7
AT ITER 458 NEW BEST:: SOT 154825707 SOS 103121130 HAS SOPS 91147805 HAS SOUS 22521838 HAS SOUPS 22289827 WITH SCORE 2.239294813E7
AT ITER 471 NEW BEST:: SOT 154824937 SOS 103119282 HAS SOPS 91146265 HAS SOUS 22520044 HAS SOUPS 22288187 WITH SCORE 2.2391306282E7
AT ITER 476 NEW BEST:: SOT 154829213 SOS 103125365 HAS SOPS 91148155 HAS SOUS 22513311 HAS SOUPS 22281454 WITH SCORE 2.2384579365E7
AT ITER 502 NEW BEST:: SOT 154753493 SOS 103049475 HAS SOPS 91071551 HAS SOUS 22436062 HAS SOUPS 22203870 WITH SCORE 2.2306919475E7
AT ITER 515 NEW BEST:: SOT 154754213 SOS 103050195 HAS SOPS 91072271 HAS SOUS 22435774 HAS SOUPS 22203582 WITH SCORE 2.2306632195E7
AT ITER 521 NEW BEST:: SOT 154789784 SOS 103118441 HAS SOPS 91146699 HAS SOUS 22417572 HAS SOUPS 22185559 WITH SCORE 2.2288677441E7
AT ITER 537 NEW BEST:: SOT 154789843 SOS 103121332 HAS SOPS 91149413 HAS SOUS 22413383 HAS SOUPS 22181370 WITH SCORE 2.2284491332E7
AT ITER 546 NEW BEST:: SOT 154798102 SOS 103124038 HAS SOPS 91149702 HAS SOUS 22413550 HAS SOUPS 22180970 WITH SCORE 2.2284094038E7
AT ITER 560 NEW BEST:: SOT 154797830 SOS 103123748 HAS SOPS 91149358 HAS SOUS 22411850 HAS SOUPS 22179270 WITH SCORE 2.2282393748E7
AT ITER 565 NEW BEST:: SOT 154789564 SOS 103113969 HAS SOPS 91139403 HAS SOUS 22401406 HAS SOUPS 22169053 WITH SCORE 2.2272166969E7
AT ITER 580 NEW BEST:: SOT 154789617 SOS 103113991 HAS SOPS 91139425 HAS SOUS 22401207 HAS SOUPS 22168854 WITH SCORE 2.2271967991E7
AT ITER 613 NEW BEST:: SOT 154783515 SOS 103109567 HAS SOPS 91132325 HAS SOUS 22396033 HAS SOUPS 22163667 WITH SCORE 2.2266776567E7
AT ITER 624 NEW BEST:: SOT 154774156 SOS 103182781 HAS SOPS 91206355 HAS SOUS 22390109 HAS SOUPS 22157743 WITH SCORE 2.2260925781E7
AT ITER 638 NEW BEST:: SOT 154773813 SOS 103182438 HAS SOPS 91205865 HAS SOUS 22388737 HAS SOUPS 22156371 WITH SCORE 2.2259553438E7
AT ITER 648 NEW BEST:: SOT 154773793 SOS 103182398 HAS SOPS 91205825 HAS SOUS 22388661 HAS SOUPS 22156295 WITH SCORE 2.2259477398E7
AT ITER 652 NEW BEST:: SOT 154773718 SOS 103182273 HAS SOPS 91205700 HAS SOUS 22388261 HAS SOUPS 22155895 WITH SCORE 2.2259077273E7
AT ITER 661 NEW BEST:: SOT 154769634 SOS 103209768 HAS SOPS 91233616 HAS SOUS 22387680 HAS SOUPS 22155314 WITH SCORE 2.2258523768E7
AT ITER 685 NEW BEST:: SOT 154743001 SOS 103180613 HAS SOPS 91204026 HAS SOUS 22366202 HAS SOUPS 22134061 WITH SCORE 2.2237241613E7
AT ITER 689 NEW BEST:: SOT 154742672 SOS 103180991 HAS SOPS 91203664 HAS SOUS 22362083 HAS SOUPS 22129720 WITH SCORE 2.2232900991E7
AT ITER 692 NEW BEST:: SOT 154748326 SOS 103186130 HAS SOPS 91210642 HAS SOUS 22358862 HAS SOUPS 22126499 WITH SCORE 2.222968513E7
AT ITER 698 NEW BEST:: SOT 154744668 SOS 103182118 HAS SOPS 91206099 HAS SOUS 22350746 HAS SOUPS 22118383 WITH SCORE 2.2221565118E7
AT ITER 704 NEW BEST:: SOT 154741750 SOS 103179418 HAS SOPS 91205611 HAS SOUS 22340827 HAS SOUPS 22108464 WITH SCORE 2.2211643418E7
AT ITER 709 NEW BEST:: SOT 154741750 SOS 103179329 HAS SOPS 91205344 HAS SOUS 22337979 HAS SOUPS 22105616 WITH SCORE 2.2208795329E7
AT ITER 710 NEW BEST:: SOT 154749386 SOS 103186026 HAS SOPS 91214557 HAS SOUS 22330377 HAS SOUPS 22098014 WITH SCORE 2.2201200026E7
AT ITER 711 NEW BEST:: SOT 154764389 SOS 103199958 HAS SOPS 91228674 HAS SOUS 22327880 HAS SOUPS 22095730 WITH SCORE 2.2198929958E7
AT ITER 738 NEW BEST:: SOT 154776739 SOS 103211967 HAS SOPS 91238766 HAS SOUS 22319765 HAS SOUPS 22087615 WITH SCORE 2.2190826967E7
AT ITER 745 NEW BEST:: SOT 154775553 SOS 103210781 HAS SOPS 91236578 HAS SOUS 22317859 HAS SOUPS 22085709 WITH SCORE 2.2188919781E7
AT ITER 757 NEW BEST:: SOT 154776677 SOS 103211905 HAS SOPS 91232747 HAS SOUS 22294252 HAS SOUPS 22062224 WITH SCORE 2.2165435905E7
AT ITER 762 NEW BEST:: SOT 154076537 SOS 105068377 HAS SOPS 90869118 HAS SOUS 21858830 HAS SOUPS 21767377 WITH SCORE 2.1872445377E7
AT ITER 764 NEW BEST:: SOT 154073648 SOS 105065586 HAS SOPS 90864902 HAS SOUS 21856278 HAS SOUPS 21764825 WITH SCORE 2.1869890586E7
AT ITER 767 NEW BEST:: SOT 154072998 SOS 105064926 HAS SOPS 90864392 HAS SOUS 21854838 HAS SOUPS 21763385 WITH SCORE 2.1868449926E7
AT ITER 793 NEW BEST:: SOT 154073859 SOS 105066451 HAS SOPS 90865660 HAS SOUS 21854544 HAS SOUPS 21763091 WITH SCORE 2.1868157451E7
AT ITER 799 NEW BEST:: SOT 154073645 SOS 105066239 HAS SOPS 90865414 HAS SOUS 21854344 HAS SOUPS 21762891 WITH SCORE 2.1867957239E7
AT ITER 806 NEW BEST:: SOT 154073627 SOS 105066473 HAS SOPS 90865234 HAS SOUS 21853528 HAS SOUPS 21762075 WITH SCORE 2.1867141473E7
AT ITER 815 NEW BEST:: SOT 154072033 SOS 105064744 HAS SOPS 90863488 HAS SOUS 21849195 HAS SOUPS 21757742 WITH SCORE 2.1862806744E7
AT ITER 831 NEW BEST:: SOT 154068074 SOS 104920772 HAS SOPS 90719748 HAS SOUS 21849124 HAS SOUPS 21757671 WITH SCORE 2.1862591772E7
AT ITER 872 NEW BEST:: SOT 154179227 SOS 105063201 HAS SOPS 90851855 HAS SOUS 21826692 HAS SOUPS 21735403 WITH SCORE 2.1840466201E7
AT ITER 874 NEW BEST:: SOT 154177713 SOS 105062483 HAS SOPS 90849303 HAS SOUS 21825815 HAS SOUPS 21734526 WITH SCORE 2.1839588483E7
AT ITER 892 NEW BEST:: SOT 154177573 SOS 105062329 HAS SOPS 90849121 HAS SOUS 21819575 HAS SOUPS 21728286 WITH SCORE 2.1833348329E7
AT ITER 893 NEW BEST:: SOT 154005119 SOS 104962846 HAS SOPS 90751395 HAS SOUS 21649313 HAS SOUPS 21558562 WITH SCORE 2.1663524846E7
AT ITER 899 NEW BEST:: SOT 154007401 SOS 104965128 HAS SOPS 90750456 HAS SOUS 21645173 HAS SOUPS 21554422 WITH SCORE 2.1659387128E7
AT ITER 909 NEW BEST:: SOT 154000666 SOS 104958279 HAS SOPS 90743367 HAS SOUS 21634531 HAS SOUPS 21543780 WITH SCORE 2.1648738279E7
AT ITER 916 NEW BEST:: SOT 154005021 SOS 104962375 HAS SOPS 90747204 HAS SOUS 21634041 HAS SOUPS 21543290 WITH SCORE 2.1648252375E7
AT ITER 917 NEW BEST:: SOT 153998280 SOS 104955523 HAS SOPS 90731939 HAS SOUS 21609259 HAS SOUPS 21518508 WITH SCORE 2.1623463523E7
AT ITER 941 NEW BEST:: SOT 153998163 SOS 104955385 HAS SOPS 90731819 HAS SOUS 21609214 HAS SOUPS 21518463 WITH SCORE 2.1623418385E7
AT ITER 963 NEW BEST:: SOT 154001686 SOS 104960137 HAS SOPS 90735283 HAS SOUS 21592927 HAS SOUPS 21502176 WITH SCORE 2.1607136137E7
AT ITER 974 NEW BEST:: SOT 154010777 SOS 104969209 HAS SOPS 90744643 HAS SOUS 21587540 HAS SOUPS 21496789 WITH SCORE 2.1601758209E7
AT ITER 977 NEW BEST:: SOT 154016596 SOS 104974853 HAS SOPS 90749984 HAS SOUS 21584884 HAS SOUPS 21494133 WITH SCORE 2.1599107853E7
AT ITER 986 NEW BEST:: SOT 154015708 SOS 104973761 HAS SOPS 90747794 HAS SOUS 21584203 HAS SOUPS 21493452 WITH SCORE 2.1598425761E7
AT ITER 987 NEW BEST:: SOT 154015708 SOS 105166335 HAS SOPS 90931365 HAS SOUS 21583488 HAS SOUPS 21492737 WITH SCORE 2.1597903335E7
AT ITER 1003 NEW BEST:: SOT 154034686 SOS 105186259 HAS SOPS 90922357 HAS SOUS 21581734 HAS SOUPS 21490983 WITH SCORE 2.1596169259E7
AT ITER 1015 NEW BEST:: SOT 154035109 SOS 105186598 HAS SOPS 90922505 HAS SOUS 21580232 HAS SOUPS 21489481 WITH SCORE 2.1594667598E7
AT ITER 1033 NEW BEST:: SOT 154037091 SOS 105188351 HAS SOPS 90924512 HAS SOUS 21572259 HAS SOUPS 21481508 WITH SCORE 2.1586696351E7
AT ITER 1051 NEW BEST:: SOT 154057834 SOS 105208836 HAS SOPS 90940749 HAS SOUS 21569842 HAS SOUPS 21479913 WITH SCORE 2.1585121836E7
AT ITER 1068 NEW BEST:: SOT 154057290 SOS 105197536 HAS SOPS 90929449 HAS SOUS 21569842 HAS SOUPS 21479913 WITH SCORE 2.1585110536E7
AT ITER 1097 NEW BEST:: SOT 154056581 SOS 105196800 HAS SOPS 90928501 HAS SOUS 21563502 HAS SOUPS 21473573 WITH SCORE 2.15787698E7
AT ITER 1105 NEW BEST:: SOT 154117578 SOS 105257643 HAS SOPS 90980273 HAS SOUS 21560596 HAS SOUPS 21470667 WITH SCORE 2.1575924643E7
AT ITER 1106 NEW BEST:: SOT 154114006 SOS 105255584 HAS SOPS 90974343 HAS SOUS 21535060 HAS SOUPS 21445131 WITH SCORE 2.1550386584E7
AT ITER 1113 NEW BEST:: SOT 154110496 SOS 105251372 HAS SOPS 90970833 HAS SOUS 21518563 HAS SOUPS 21428634 WITH SCORE 2.1533885372E7
AT ITER 1127 NEW BEST:: SOT 154111906 SOS 105368844 HAS SOPS 91080607 HAS SOUS 21512532 HAS SOUPS 21422603 WITH SCORE 2.1527971844E7
AT ITER 1143 NEW BEST:: SOT 154111398 SOS 105369014 HAS SOPS 91080231 HAS SOUS 21506736 HAS SOUPS 21416807 WITH SCORE 2.1522176014E7
AT ITER 1161 NEW BEST:: SOT 154111330 SOS 105369014 HAS SOPS 91078803 HAS SOUS 21502928 HAS SOUPS 21412999 WITH SCORE 2.1518368014E7
AT ITER 1165 NEW BEST:: SOT 154112569 SOS 105369913 HAS SOPS 91078998 HAS SOUS 21502657 HAS SOUPS 21412728 WITH SCORE 2.1518097913E7
AT ITER 1175 NEW BEST:: SOT 154112085 SOS 105370757 HAS SOPS 91080156 HAS SOUS 21502282 HAS SOUPS 21412353 WITH SCORE 2.1517723757E7
AT ITER 1179 NEW BEST:: SOT 154098561 SOS 105243864 HAS SOPS 90991101 HAS SOUS 21483129 HAS SOUPS 21393392 WITH SCORE 2.1498635864E7
AT ITER 1182 NEW BEST:: SOT 154101891 SOS 105247038 HAS SOPS 90991385 HAS SOUS 21458886 HAS SOUPS 21369149 WITH SCORE 2.1474396038E7
AT ITER 1187 NEW BEST:: SOT 154107124 SOS 105251946 HAS SOPS 90996293 HAS SOUS 21458633 HAS SOUPS 21368896 WITH SCORE 2.1474147946E7
AT ITER 1199 NEW BEST:: SOT 154104300 SOS 105249135 HAS SOPS 90994144 HAS SOUS 21454692 HAS SOUPS 21364955 WITH SCORE 2.1470204135E7
AT ITER 1207 NEW BEST:: SOT 154105889 SOS 105251342 HAS SOPS 90995723 HAS SOUS 21450083 HAS SOUPS 21360346 WITH SCORE 2.1465597342E7
AT ITER 1208 NEW BEST:: SOT 154107319 SOS 105252616 HAS SOPS 90996971 HAS SOUS 21448939 HAS SOUPS 21359228 WITH SCORE 2.1464480616E7
AT ITER 1225 NEW BEST:: SOT 154105291 SOS 105251098 HAS SOPS 90993719 HAS SOUS 21447241 HAS SOUPS 21357530 WITH SCORE 2.1462781098E7
AT ITER 1232 NEW BEST:: SOT 154110033 SOS 105256608 HAS SOPS 90995812 HAS SOUS 21436670 HAS SOUPS 21346686 WITH SCORE 2.1451942608E7
AT ITER 1242 NEW BEST:: SOT 154110018 SOS 105255548 HAS SOPS 90994737 HAS SOUS 21436623 HAS SOUPS 21346639 WITH SCORE 2.1451894548E7
AT ITER 1249 NEW BEST:: SOT 154109568 SOS 105254814 HAS SOPS 90993261 HAS SOUS 21425616 HAS SOUPS 21335632 WITH SCORE 2.1440886814E7
AT ITER 1251 NEW BEST:: SOT 154087246 SOS 105253828 HAS SOPS 90992521 HAS SOUS 21401817 HAS SOUPS 21311833 WITH SCORE 2.1417086828E7
AT ITER 1265 NEW BEST:: SOT 154079615 SOS 105246300 HAS SOPS 90984469 HAS SOUS 21393886 HAS SOUPS 21303902 WITH SCORE 2.14091483E7
AT ITER 1277 NEW BEST:: SOT 154081713 SOS 105248210 HAS SOPS 90986062 HAS SOUS 21375535 HAS SOUPS 21285551 WITH SCORE 2.139079921E7
AT ITER 1303 NEW BEST:: SOT 154081603 SOS 105248071 HAS SOPS 90985869 HAS SOUS 21375209 HAS SOUPS 21285225 WITH SCORE 2.1390473071E7
AT ITER 1306 NEW BEST:: SOT 154092898 SOS 105259366 HAS SOPS 90995418 HAS SOUS 21370234 HAS SOUPS 21280086 WITH SCORE 2.1385345366E7
AT ITER 1319 NEW BEST:: SOT 154092973 SOS 105268560 HAS SOPS 91004333 HAS SOUS 21367922 HAS SOUPS 21277774 WITH SCORE 2.138304256E7
AT ITER 1353 NEW BEST:: SOT 154092855 SOS 104991168 HAS SOPS 90954886 HAS SOUS 21367680 HAS SOUPS 21277655 WITH SCORE 2.1382646168E7
AT ITER 1356 NEW BEST:: SOT 154101557 SOS 104999384 HAS SOPS 90962674 HAS SOUS 21359922 HAS SOUPS 21269897 WITH SCORE 2.1374896384E7
AT ITER 1366 NEW BEST:: SOT 154101536 SOS 104999397 HAS SOPS 90962538 HAS SOUS 21359807 HAS SOUPS 21269782 WITH SCORE 2.1374781397E7
AT ITER 1384 NEW BEST:: SOT 154106296 SOS 105003954 HAS SOPS 90957813 HAS SOUS 21328868 HAS SOUPS 21238843 WITH SCORE 2.1343846954E7
AT ITER 1402 NEW BEST:: SOT 154095291 SOS 104993422 HAS SOPS 90946644 HAS SOUS 21328738 HAS SOUPS 21238713 WITH SCORE 2.1343706422E7
AT ITER 1409 NEW BEST:: SOT 154099801 SOS 105009711 HAS SOPS 90957938 HAS SOUS 21321573 HAS SOUPS 21231480 WITH SCORE 2.1336489711E7
AT ITER 1416 NEW BEST:: SOT 154238229 SOS 105143563 HAS SOPS 91084453 HAS SOUS 21312770 HAS SOUPS 21222690 WITH SCORE 2.1327833563E7
AT ITER 1417 NEW BEST:: SOT 154238167 SOS 105143497 HAS SOPS 91084375 HAS SOUS 21312569 HAS SOUPS 21222489 WITH SCORE 2.1327632497E7
AT ITER 1429 NEW BEST:: SOT 154226276 SOS 105140918 HAS SOPS 91082798 HAS SOUS 21303632 HAS SOUPS 21213584 WITH SCORE 2.1318724918E7
AT ITER 1445 NEW BEST:: SOT 154218325 SOS 105133726 HAS SOPS 91075618 HAS SOUS 21283098 HAS SOUPS 21193050 WITH SCORE 2.1298183726E7
AT ITER 1473 NEW BEST:: SOT 154218923 SOS 105134571 HAS SOPS 91073587 HAS SOUS 21270107 HAS SOUPS 21179907 WITH SCORE 2.1285041571E7
AT ITER 1490 NEW BEST:: SOT 154227788 SOS 105144484 HAS SOPS 91082123 HAS SOUS 21264781 HAS SOUPS 21174581 WITH SCORE 2.1279725484E7
AT ITER 1498 NEW BEST:: SOT 153963651 SOS 104880028 HAS SOPS 90810060 HAS SOUS 20945407 HAS SOUPS 20855049 WITH SCORE 2.0959929028E7
AT ITER 1500 NEW BEST:: SOT 153963647 SOS 104880024 HAS SOPS 90810048 HAS SOUS 20945399 HAS SOUPS 20855041 WITH SCORE 2.0959921024E7
AT ITER 1560 NEW BEST:: SOT 153966885 SOS 104883256 HAS SOPS 90813506 HAS SOUS 20944812 HAS SOUPS 20854454 WITH SCORE 2.0959337256E7
AT ITER 1561 NEW BEST:: SOT 153969847 SOS 104886560 HAS SOPS 90813244 HAS SOUS 20930024 HAS SOUPS 20839666 WITH SCORE 2.094455256E7
AT ITER 1568 NEW BEST:: SOT 153978785 SOS 104896040 HAS SOPS 90819691 HAS SOUS 20926114 HAS SOUPS 20835756 WITH SCORE 2.094065204E7
AT ITER 1576 NEW BEST:: SOT 153979841 SOS 104897473 HAS SOPS 90819801 HAS SOUS 20914128 HAS SOUPS 20823770 WITH SCORE 2.0928667473E7
AT ITER 1588 NEW BEST:: SOT 153979841 SOS 104897373 HAS SOPS 90819701 HAS SOUS 20914113 HAS SOUPS 20823755 WITH SCORE 2.0928652373E7
AT ITER 1611 NEW BEST:: SOT 153980926 SOS 104898585 HAS SOPS 90819486 HAS SOUS 20912633 HAS SOUPS 20822253 WITH SCORE 2.0927151585E7
AT ITER 1612 NEW BEST:: SOT 153981158 SOS 104898817 HAS SOPS 90819440 HAS SOUS 20911397 HAS SOUPS 20821017 WITH SCORE 2.0925915817E7
AT ITER 1617 NEW BEST:: SOT 153981158 SOS 104907863 HAS SOPS 90828420 HAS SOUS 20910377 HAS SOUPS 20819997 WITH SCORE 2.0924904863E7
AT ITER 1646 NEW BEST:: SOT 153972237 SOS 104899132 HAS SOPS 90814445 HAS SOUS 20903227 HAS SOUPS 20812847 WITH SCORE 2.0917746132E7
AT ITER 1658 NEW BEST:: SOT 153977556 SOS 104905185 HAS SOPS 90819902 HAS SOUS 20898111 HAS SOUPS 20807731 WITH SCORE 2.0912636185E7
AT ITER 1665 NEW BEST:: SOT 153987366 SOS 104915124 HAS SOPS 90828466 HAS SOUS 20895140 HAS SOUPS 20804760 WITH SCORE 2.0909675124E7
AT ITER 1668 NEW BEST:: SOT 154019849 SOS 104947049 HAS SOPS 90841745 HAS SOUS 20892706 HAS SOUPS 20802326 WITH SCORE 2.0907273049E7
AT ITER 1671 NEW BEST:: SOT 154091419 SOS 105006759 HAS SOPS 90896605 HAS SOUS 20875237 HAS SOUPS 20785016 WITH SCORE 2.0890022759E7
AT ITER 1673 NEW BEST:: SOT 154095907 SOS 105011403 HAS SOPS 90899013 HAS SOUS 20870428 HAS SOUPS 20780207 WITH SCORE 2.0885218403E7
AT ITER 1682 NEW BEST:: SOT 154096509 SOS 105012005 HAS SOPS 90899615 HAS SOUS 20869998 HAS SOUPS 20779777 WITH SCORE 2.0884789005E7
AT ITER 1709 NEW BEST:: SOT 154096441 SOS 105002383 HAS SOPS 90889993 HAS SOUS 20869889 HAS SOUPS 20779668 WITH SCORE 2.0884670383E7
AT ITER 1710 NEW BEST:: SOT 154086641 SOS 104974532 HAS SOPS 90863708 HAS SOUS 20863610 HAS SOUPS 20773389 WITH SCORE 2.0878363532E7
AT ITER 1722 NEW BEST:: SOT 154027779 SOS 104915611 HAS SOPS 90799802 HAS SOUS 20773164 HAS SOUPS 20683068 WITH SCORE 2.0787983611E7
AT ITER 1733 NEW BEST:: SOT 154028368 SOS 104916107 HAS SOPS 90799440 HAS SOUS 20767429 HAS SOUPS 20677240 WITH SCORE 2.0782156107E7
AT ITER 1759 NEW BEST:: SOT 154035056 SOS 104922795 HAS SOPS 90806141 HAS SOUS 20761275 HAS SOUPS 20671086 WITH SCORE 2.0776008795E7
AT ITER 1763 NEW BEST:: SOT 153985914 SOS 104888268 HAS SOPS 90738143 HAS SOUS 20741205 HAS SOUPS 20651016 WITH SCORE 2.0755904268E7
AT ITER 1771 NEW BEST:: SOT 153987227 SOS 104889307 HAS SOPS 90740521 HAS SOUS 20733639 HAS SOUPS 20643450 WITH SCORE 2.0748339307E7
AT ITER 1776 NEW BEST:: SOT 153987449 SOS 104889455 HAS SOPS 90740595 HAS SOUS 20732455 HAS SOUPS 20642266 WITH SCORE 2.0747155455E7
AT ITER 1777 NEW BEST:: SOT 153981159 SOS 104885510 HAS SOPS 90733761 HAS SOUS 20713967 HAS SOUPS 20623778 WITH SCORE 2.072866351E7
AT ITER 1781 NEW BEST:: SOT 153980656 SOS 104884994 HAS SOPS 90732426 HAS SOUS 20712632 HAS SOUPS 20622443 WITH SCORE 2.0727327994E7
AT ITER 1793 NEW BEST:: SOT 153980156 SOS 104884494 HAS SOPS 90731501 HAS SOUS 20709882 HAS SOUPS 20619693 WITH SCORE 2.0724577494E7
AT ITER 1832 NEW BEST:: SOT 153966818 SOS 104871217 HAS SOPS 90718196 HAS SOUS 20687105 HAS SOUPS 20596813 WITH SCORE 2.0701684217E7
AT ITER 1840 NEW BEST:: SOT 153966995 SOS 104871503 HAS SOPS 90718462 HAS SOUS 20687075 HAS SOUPS 20596783 WITH SCORE 2.0701654503E7
AT ITER 1842 NEW BEST:: SOT 153965643 SOS 104870151 HAS SOPS 90716681 HAS SOUS 20683955 HAS SOUPS 20593663 WITH SCORE 2.0698533151E7
AT ITER 1847 NEW BEST:: SOT 153964918 SOS 104869640 HAS SOPS 90715997 HAS SOUS 20680257 HAS SOUPS 20589965 WITH SCORE 2.069483464E7
AT ITER 1875 NEW BEST:: SOT 153966173 SOS 104870872 HAS SOPS 90717291 HAS SOUS 20680007 HAS SOUPS 20589715 WITH SCORE 2.0694585872E7
AT ITER 1893 NEW BEST:: SOT 153981672 SOS 104886903 HAS SOPS 90734049 HAS SOUS 20672072 HAS SOUPS 20581780 WITH SCORE 2.0686666903E7
AT ITER 1917 NEW BEST:: SOT 153976388 SOS 104881628 HAS SOPS 90727979 HAS SOUS 20670968 HAS SOUPS 20580676 WITH SCORE 2.0685557628E7
AT ITER 1921 NEW BEST:: SOT 153992034 SOS 104898102 HAS SOPS 90743418 HAS SOUS 20655826 HAS SOUPS 20565523 WITH SCORE 2.0670421102E7
AT ITER 1934 NEW BEST:: SOT 153987965 SOS 104894162 HAS SOPS 90736781 HAS SOUS 20649596 HAS SOUPS 20559293 WITH SCORE 2.0664187162E7
AT ITER 1976 NEW BEST:: SOT 153983398 SOS 104890042 HAS SOPS 90732661 HAS SOUS 20649329 HAS SOUPS 20559026 WITH SCORE 2.0663916042E7
AT ITER 1978 NEW BEST:: SOT 153977248 SOS 104883826 HAS SOPS 90726061 HAS SOUS 20641535 HAS SOUPS 20551232 WITH SCORE 2.0656115826E7
AT ITER 1997 NEW BEST:: SOT 153985532 SOS 104891372 HAS SOPS 90733613 HAS SOUS 20628618 HAS SOUPS 20538315 WITH SCORE 2.0643206372E7
AT ITER 2003 NEW BEST:: SOT 153754650 SOS 104660490 HAS SOPS 90496806 HAS SOUS 20378718 HAS SOUPS 20286420 WITH SCORE 2.039108049E7
AT ITER 2024 NEW BEST:: SOT 153757834 SOS 104663674 HAS SOPS 90498304 HAS SOUS 20375439 HAS SOUPS 20283141 WITH SCORE 2.0387804674E7
AT ITER 2027 NEW BEST:: SOT 153754721 SOS 104661169 HAS SOPS 90494782 HAS SOUS 20364151 HAS SOUPS 20271853 WITH SCORE 2.0376514169E7
AT ITER 2041 NEW BEST:: SOT 153756377 SOS 104662899 HAS SOPS 90496113 HAS SOUS 20363414 HAS SOUPS 20271116 WITH SCORE 2.0375778899E7
AT ITER 2053 NEW BEST:: SOT 153762102 SOS 104668624 HAS SOPS 90499763 HAS SOUS 20353145 HAS SOUPS 20260847 WITH SCORE 2.0365515624E7
AT ITER 2060 NEW BEST:: SOT 153762102 SOS 104668624 HAS SOPS 90499675 HAS SOUS 20352793 HAS SOUPS 20260495 WITH SCORE 2.0365163624E7
AT ITER 2068 NEW BEST:: SOT 153765916 SOS 104675939 HAS SOPS 90504432 HAS SOUS 20351340 HAS SOUPS 20259042 WITH SCORE 2.0363717939E7
AT ITER 2085 NEW BEST:: SOT 153766476 SOS 104676353 HAS SOPS 90504648 HAS SOUS 20350243 HAS SOUPS 20257945 WITH SCORE 2.0362621353E7
AT ITER 2115 NEW BEST:: SOT 153766896 SOS 104670634 HAS SOPS 90498929 HAS SOUS 20349861 HAS SOUPS 20257563 WITH SCORE 2.0362233634E7
AT ITER 2122 NEW BEST:: SOT 153766896 SOS 104670689 HAS SOPS 90499149 HAS SOUS 20349696 HAS SOUPS 20257398 WITH SCORE 2.0362068689E7
AT ITER 2148 NEW BEST:: SOT 153774234 SOS 104678230 HAS SOPS 90505613 HAS SOUS 20335599 HAS SOUPS 20243301 WITH SCORE 2.034797923E7
AT ITER 2156 NEW BEST:: SOT 153788164 SOS 104691909 HAS SOPS 90517724 HAS SOUS 20315187 HAS SOUPS 20222889 WITH SCORE 2.0327580909E7
AT ITER 2168 NEW BEST:: SOT 153787590 SOS 104691323 HAS SOPS 90516700 HAS SOUS 20306933 HAS SOUPS 20214635 WITH SCORE 2.0319326323E7
AT ITER 2178 NEW BEST:: SOT 153786537 SOS 104690261 HAS SOPS 90515413 HAS SOUS 20304800 HAS SOUPS 20212502 WITH SCORE 2.0317192261E7
AT ITER 2211 NEW BEST:: SOT 153793190 SOS 104697220 HAS SOPS 90520860 HAS SOUS 20304334 HAS SOUPS 20212036 WITH SCORE 2.031673322E7
AT ITER 2229 NEW BEST:: SOT 153801644 SOS 104694418 HAS SOPS 90521018 HAS SOUS 20298408 HAS SOUPS 20206181 WITH SCORE 2.0310875418E7
AT ITER 2242 NEW BEST:: SOT 153799400 SOS 104709246 HAS SOPS 90535846 HAS SOUS 20295661 HAS SOUPS 20203434 WITH SCORE 2.0308143246E7
AT ITER 2254 NEW BEST:: SOT 153792094 SOS 104698498 HAS SOPS 90527327 HAS SOUS 20295071 HAS SOUPS 20202844 WITH SCORE 2.0307542498E7
AT ITER 2258 NEW BEST:: SOT 153791380 SOS 104697784 HAS SOPS 90526371 HAS SOUS 20293396 HAS SOUPS 20201169 WITH SCORE 2.0305866784E7
AT ITER 2260 NEW BEST:: SOT 153791269 SOS 104697670 HAS SOPS 90526254 HAS SOUS 20293168 HAS SOUPS 20200941 WITH SCORE 2.030563867E7
AT ITER 2266 NEW BEST:: SOT 153791333 SOS 104697832 HAS SOPS 90526414 HAS SOUS 20293152 HAS SOUPS 20200925 WITH SCORE 2.0305622832E7
AT ITER 2293 NEW BEST:: SOT 153791300 SOS 104685078 HAS SOPS 90515852 HAS SOUS 20293040 HAS SOUPS 20200826 WITH SCORE 2.0305511078E7
AT ITER 2297 NEW BEST:: SOT 153789851 SOS 104683608 HAS SOPS 90514613 HAS SOUS 20290916 HAS SOUPS 20198702 WITH SCORE 2.0303385608E7
AT ITER 2323 NEW BEST:: SOT 153814471 SOS 104730883 HAS SOPS 90570207 HAS SOUS 20264862 HAS SOUPS 20172648 WITH SCORE 2.0277378883E7
AT ITER 2346 NEW BEST:: SOT 153804301 SOS 104720647 HAS SOPS 90558999 HAS SOUS 20250278 HAS SOUPS 20158064 WITH SCORE 2.0262784647E7
AT ITER 2371 NEW BEST:: SOT 153804453 SOS 104720799 HAS SOPS 90559169 HAS SOUS 20249859 HAS SOUPS 20157645 WITH SCORE 2.0262365799E7
AT ITER 2387 NEW BEST:: SOT 153808055 SOS 104725033 HAS SOPS 90562215 HAS SOUS 20245036 HAS SOUPS 20152822 WITH SCORE 2.0257547033E7
AT ITER 2415 NEW BEST:: SOT 153808042 SOS 104725020 HAS SOPS 90562201 HAS SOUS 20245010 HAS SOUPS 20152796 WITH SCORE 2.025752102E7
AT ITER 2420 NEW BEST:: SOT 153803069 SOS 104720047 HAS SOPS 90554521 HAS SOUS 20242775 HAS SOUPS 20150561 WITH SCORE 2.0255281047E7
AT ITER 2430 NEW BEST:: SOT 153801967 SOS 104718892 HAS SOPS 90552020 HAS SOUS 20236696 HAS SOUPS 20144482 WITH SCORE 2.0249200892E7
AT ITER 2432 NEW BEST:: SOT 153800910 SOS 104717835 HAS SOPS 90550632 HAS SOUS 20235873 HAS SOUPS 20143659 WITH SCORE 2.0248376835E7
AT ITER 2441 NEW BEST:: SOT 153800812 SOS 104717871 HAS SOPS 90550612 HAS SOUS 20233174 HAS SOUPS 20140960 WITH SCORE 2.0245677871E7
AT ITER 2447 NEW BEST:: SOT 153800720 SOS 104717595 HAS SOPS 90550060 HAS SOUS 20225896 HAS SOUPS 20133682 WITH SCORE 2.0238399595E7
AT ITER 2448 NEW BEST:: SOT 153794679 SOS 104711496 HAS SOPS 90542038 HAS SOUS 20215806 HAS SOUPS 20123592 WITH SCORE 2.0228303496E7
AT ITER 2469 NEW BEST:: SOT 153789174 SOS 104705956 HAS SOPS 90538165 HAS SOUS 20196294 HAS SOUPS 20104080 WITH SCORE 2.0208785956E7
AT ITER 2478 NEW BEST:: SOT 153791972 SOS 104712670 HAS SOPS 90544793 HAS SOUS 20192768 HAS SOUPS 20100554 WITH SCORE 2.020526667E7
AT ITER 2506 NEW BEST:: SOT 153788700 SOS 104709492 HAS SOPS 90541681 HAS SOUS 20190167 HAS SOUPS 20097953 WITH SCORE 2.0202662492E7
AT ITER 2518 NEW BEST:: SOT 153788902 SOS 104709350 HAS SOPS 90540923 HAS SOUS 20189687 HAS SOUPS 20097468 WITH SCORE 2.020217735E7
AT ITER 2536 NEW BEST:: SOT 153788543 SOS 104708991 HAS SOPS 90540172 HAS SOUS 20188914 HAS SOUPS 20096695 WITH SCORE 2.0201403991E7
AT ITER 2540 NEW BEST:: SOT 153826829 SOS 104805252 HAS SOPS 90641315 HAS SOUS 20175680 HAS SOUPS 20083636 WITH SCORE 2.0188441252E7
AT ITER 2565 NEW BEST:: SOT 153828194 SOS 104806690 HAS SOPS 90641884 HAS SOUS 20175100 HAS SOUPS 20083041 WITH SCORE 2.018784769E7
AT ITER 2577 NEW BEST:: SOT 153828658 SOS 104807154 HAS SOPS 90639797 HAS SOUS 20163278 HAS SOUPS 20071219 WITH SCORE 2.0176026154E7
AT ITER 2579 NEW BEST:: SOT 153831925 SOS 104810421 HAS SOPS 90639187 HAS SOUS 20151517 HAS SOUPS 20059458 WITH SCORE 2.0164268421E7
AT ITER 2597 NEW BEST:: SOT 153820692 SOS 104799049 HAS SOPS 90627723 HAS SOUS 20133628 HAS SOUPS 20041569 WITH SCORE 2.0146368049E7
AT ITER 2630 NEW BEST:: SOT 153820692 SOS 104786249 HAS SOPS 90614923 HAS SOUS 20133628 HAS SOUPS 20041569 WITH SCORE 2.0146355249E7
AT ITER 2632 NEW BEST:: SOT 153820472 SOS 104786024 HAS SOPS 90614683 HAS SOUS 20133248 HAS SOUPS 20041189 WITH SCORE 2.0145975024E7
AT ITER 2634 NEW BEST:: SOT 153819698 SOS 104785178 HAS SOPS 90613801 HAS SOUS 20131952 HAS SOUPS 20039893 WITH SCORE 2.0144678178E7
AT ITER 2653 NEW BEST:: SOT 153822508 SOS 104788572 HAS SOPS 90616747 HAS SOUS 20130442 HAS SOUPS 20038383 WITH SCORE 2.0143171572E7
AT ITER 2682 NEW BEST:: SOT 153817504 SOS 104782748 HAS SOPS 90610667 HAS SOUS 20114250 HAS SOUPS 20022191 WITH SCORE 2.0126973748E7
AT ITER 2693 NEW BEST:: SOT 153817830 SOS 104783186 HAS SOPS 90609979 HAS SOUS 20105382 HAS SOUPS 20013323 WITH SCORE 2.0118106186E7
AT ITER 2697 NEW BEST:: SOT 153816108 SOS 104781464 HAS SOPS 90607633 HAS SOUS 20101476 HAS SOUPS 20009417 WITH SCORE 2.0114198464E7
AT ITER 2706 NEW BEST:: SOT 153813024 SOS 104778281 HAS SOPS 90604186 HAS SOUS 20096196 HAS SOUPS 20004044 WITH SCORE 2.0108822281E7
AT ITER 2708 NEW BEST:: SOT 153813263 SOS 104778520 HAS SOPS 90604369 HAS SOUS 20093498 HAS SOUPS 20001346 WITH SCORE 2.010612452E7
AT ITER 2714 NEW BEST:: SOT 153810667 SOS 104776769 HAS SOPS 90601321 HAS SOUS 20077018 HAS SOUPS 19984866 WITH SCORE 2.0089642769E7
AT ITER 2734 NEW BEST:: SOT 153807706 SOS 104773493 HAS SOPS 90598108 HAS SOUS 20072104 HAS SOUPS 19979952 WITH SCORE 2.0084725493E7
AT ITER 2741 NEW BEST:: SOT 153800805 SOS 104766592 HAS SOPS 90589853 HAS SOUS 20053408 HAS SOUPS 19961256 WITH SCORE 2.0066022592E7
AT ITER 2742 NEW BEST:: SOT 153798011 SOS 104763329 HAS SOPS 90588145 HAS SOUS 20044937 HAS SOUPS 19952785 WITH SCORE 2.0057548329E7
AT ITER 2763 NEW BEST:: SOT 153817415 SOS 104781710 HAS SOPS 90603405 HAS SOUS 20036817 HAS SOUPS 19944665 WITH SCORE 2.004944671E7
AT ITER 2776 NEW BEST:: SOT 153817433 SOS 104781728 HAS SOPS 90603027 HAS SOUS 20035569 HAS SOUPS 19943417 WITH SCORE 2.0048198728E7
AT ITER 2778 NEW BEST:: SOT 153811137 SOS 104776012 HAS SOPS 90597329 HAS SOUS 20027737 HAS SOUPS 19935585 WITH SCORE 2.0040361012E7
AT ITER 2795 NEW BEST:: SOT 153848210 SOS 104812803 HAS SOPS 90636380 HAS SOUS 20017361 HAS SOUPS 19925209 WITH SCORE 2.0030021803E7
AT ITER 2813 NEW BEST:: SOT 153864244 SOS 104828816 HAS SOPS 90650614 HAS SOUS 20012050 HAS SOUPS 19919898 WITH SCORE 2.0024726816E7
AT ITER 2816 NEW BEST:: SOT 154090098 SOS 105040237 HAS SOPS 90826324 HAS SOUS 19991483 HAS SOUPS 19899491 WITH SCORE 2.0004531237E7
AT ITER 2826 NEW BEST:: SOT 154090124 SOS 105040237 HAS SOPS 90826324 HAS SOUS 19991149 HAS SOUPS 19899157 WITH SCORE 2.0004197237E7
AT ITER 2864 NEW BEST:: SOT 154099672 SOS 105049393 HAS SOPS 90834610 HAS SOUS 19990864 HAS SOUPS 19898872 WITH SCORE 2.0003921393E7
AT ITER 2870 NEW BEST:: SOT 154096243 SOS 105045964 HAS SOPS 90830776 HAS SOUS 19987130 HAS SOUPS 19895138 WITH SCORE 2.0000183964E7
AT ITER 2889 NEW BEST:: SOT 154093299 SOS 105043020 HAS SOPS 90827832 HAS SOUS 19983878 HAS SOUPS 19891886 WITH SCORE 1.999692902E7
AT ITER 2890 NEW BEST:: SOT 154098817 SOS 105048179 HAS SOPS 90834753 HAS SOUS 19974786 HAS SOUPS 19882794 WITH SCORE 1.9987842179E7
AT ITER 2911 NEW BEST:: SOT 154098307 SOS 105047470 HAS SOPS 90833660 HAS SOUS 19967368 HAS SOUPS 19875376 WITH SCORE 1.998042347E7
AT ITER 2914 NEW BEST:: SOT 154020464 SOS 104969627 HAS SOPS 90753346 HAS SOUS 19867075 HAS SOUPS 19775083 WITH SCORE 1.9880052627E7
AT ITER 2916 NEW BEST:: SOT 154017065 SOS 104936621 HAS SOPS 90720574 HAS SOUS 19866952 HAS SOUPS 19774960 WITH SCORE 1.9879896621E7
AT ITER 2923 NEW BEST:: SOT 154014804 SOS 104934287 HAS SOPS 90717992 HAS SOUS 19862107 HAS SOUPS 19770115 WITH SCORE 1.9875049287E7
AT ITER 2925 NEW BEST:: SOT 154019088 SOS 104956729 HAS SOPS 90744136 HAS SOUS 19857825 HAS SOUPS 19765943 WITH SCORE 1.9870899729E7
AT ITER 2938 NEW BEST:: SOT 154022245 SOS 104959432 HAS SOPS 90746268 HAS SOUS 19848951 HAS SOUPS 19757069 WITH SCORE 1.9862028432E7
AT ITER 2946 NEW BEST:: SOT 154045167 SOS 105030187 HAS SOPS 90827078 HAS SOUS 19846108 HAS SOUPS 19754374 WITH SCORE 1.9859404187E7
AT ITER 2956 NEW BEST:: SOT 154053738 SOS 105038567 HAS SOPS 90830815 HAS SOUS 19841296 HAS SOUPS 19749514 WITH SCORE 1.9854552567E7
AT ITER 2960 NEW BEST:: SOT 154053147 SOS 105037976 HAS SOPS 90830345 HAS SOUS 19837993 HAS SOUPS 19746211 WITH SCORE 1.9851248976E7
AT ITER 2964 NEW BEST:: SOT 154048140 SOS 105032888 HAS SOPS 90826000 HAS SOUS 19836403 HAS SOUPS 19744621 WITH SCORE 1.9849653888E7
AT ITER 2977 NEW BEST:: SOT 154031650 SOS 105023061 HAS SOPS 90817607 HAS SOUS 19814162 HAS SOUPS 19722380 WITH SCORE 1.9827403061E7
AT ITER 3000 NEW BEST:: SOT 154035041 SOS 105025604 HAS SOPS 90819580 HAS SOUS 19809963 HAS SOUPS 19718181 WITH SCORE 1.9823206604E7
AT ITER 3004 NEW BEST:: SOT 154035898 SOS 105025974 HAS SOPS 90818830 HAS SOUS 19807012 HAS SOUPS 19715230 WITH SCORE 1.9820255974E7
AT ITER 3015 NEW BEST:: SOT 154036134 SOS 105026148 HAS SOPS 90819004 HAS SOUS 19802878 HAS SOUPS 19711096 WITH SCORE 1.9816122148E7
AT ITER 3018 NEW BEST:: SOT 154010295 SOS 104999330 HAS SOPS 90792186 HAS SOUS 19772583 HAS SOUPS 19680801 WITH SCORE 1.978580033E7
AT ITER 3030 NEW BEST:: SOT 153999657 SOS 104978025 HAS SOPS 90772174 HAS SOUS 19765331 HAS SOUPS 19673549 WITH SCORE 1.9778527025E7
AT ITER 3031 NEW BEST:: SOT 153989506 SOS 104967320 HAS SOPS 90760522 HAS SOUS 19752742 HAS SOUPS 19661041 WITH SCORE 1.976600832E7
AT ITER 3038 NEW BEST:: SOT 154005211 SOS 105136103 HAS SOPS 90928841 HAS SOUS 19749909 HAS SOUPS 19658208 WITH SCORE 1.9763344103E7
AT ITER 3039 NEW BEST:: SOT 154002999 SOS 105133230 HAS SOPS 90926391 HAS SOUS 19748217 HAS SOUPS 19656516 WITH SCORE 1.976164923E7
AT ITER 3040 NEW BEST:: SOT 153992383 SOS 105123731 HAS SOPS 90910230 HAS SOUS 19726386 HAS SOUPS 19634685 WITH SCORE 1.9739808731E7
AT ITER 3043 NEW BEST:: SOT 153992575 SOS 105123998 HAS SOPS 90910399 HAS SOUS 19726120 HAS SOUPS 19634419 WITH SCORE 1.9739542998E7
AT ITER 3082 NEW BEST:: SOT 153996328 SOS 105130539 HAS SOPS 90918007 HAS SOUS 19690982 HAS SOUPS 19599239 WITH SCORE 1.9704369539E7
AT ITER 3097 NEW BEST:: SOT 153996092 SOS 104853356 HAS SOPS 90640824 HAS SOUS 19691050 HAS SOUPS 19599307 WITH SCORE 1.9704160356E7
AT ITER 3100 NEW BEST:: SOT 153971804 SOS 104829146 HAS SOPS 90598801 HAS SOUS 19647221 HAS SOUPS 19555478 WITH SCORE 1.9660307146E7
AT ITER 3104 NEW BEST:: SOT 153965383 SOS 104822849 HAS SOPS 90584827 HAS SOUS 19647010 HAS SOUPS 19555267 WITH SCORE 1.9660089849E7
AT ITER 3109 NEW BEST:: SOT 153966657 SOS 104824340 HAS SOPS 90585384 HAS SOUS 19645897 HAS SOUPS 19554154 WITH SCORE 1.965897834E7
AT ITER 3155 NEW BEST:: SOT 153969776 SOS 104827238 HAS SOPS 90588192 HAS SOUS 19645564 HAS SOUPS 19553821 WITH SCORE 1.9658648238E7
AT ITER 3163 NEW BEST:: SOT 153958015 SOS 104815590 HAS SOPS 90568737 HAS SOUS 19633183 HAS SOUPS 19541440 WITH SCORE 1.964625559E7
AT ITER 3179 NEW BEST:: SOT 153957845 SOS 104815064 HAS SOPS 90567258 HAS SOUS 19618593 HAS SOUPS 19526850 WITH SCORE 1.9631665064E7
AT ITER 3181 NEW BEST:: SOT 153957327 SOS 104814563 HAS SOPS 90570298 HAS SOUS 19616318 HAS SOUPS 19524575 WITH SCORE 1.9629389563E7
AT ITER 3186 NEW BEST:: SOT 153957594 SOS 104815000 HAS SOPS 90570832 HAS SOUS 19612609 HAS SOUPS 19520866 WITH SCORE 1.9625681E7
AT ITER 3199 NEW BEST:: SOT 153957508 SOS 104814916 HAS SOPS 90570730 HAS SOUS 19612513 HAS SOUPS 19520770 WITH SCORE 1.9625584916E7
AT ITER 3204 NEW BEST:: SOT 153957725 SOS 104814943 HAS SOPS 90570827 HAS SOUS 19609101 HAS SOUPS 19517358 WITH SCORE 1.9622172943E7
AT ITER 3222 NEW BEST:: SOT 153944650 SOS 104801868 HAS SOPS 90559206 HAS SOUS 19595238 HAS SOUPS 19503495 WITH SCORE 1.9608296868E7
AT ITER 3228 NEW BEST:: SOT 153944622 SOS 104801840 HAS SOPS 90559192 HAS SOUS 19595196 HAS SOUPS 19503453 WITH SCORE 1.960825484E7
AT ITER 3235 NEW BEST:: SOT 153941932 SOS 104799126 HAS SOPS 90556136 HAS SOUS 19590094 HAS SOUPS 19498351 WITH SCORE 1.9603150126E7
AT ITER 3238 NEW BEST:: SOT 153950461 SOS 104808985 HAS SOPS 90567009 HAS SOUS 19582226 HAS SOUPS 19490483 WITH SCORE 1.9595291985E7
AT ITER 3273 NEW BEST:: SOT 153951105 SOS 104809675 HAS SOPS 90567699 HAS SOUS 19581352 HAS SOUPS 19489609 WITH SCORE 1.9594418675E7
AT ITER 3303 NEW BEST:: SOT 153968368 SOS 104826093 HAS SOPS 90579854 HAS SOUS 19580550 HAS SOUPS 19488807 WITH SCORE 1.9593633093E7
AT ITER 3307 NEW BEST:: SOT 153972820 SOS 104830227 HAS SOPS 90583034 HAS SOUS 19578960 HAS SOUPS 19487217 WITH SCORE 1.9592047227E7
AT ITER 3325 NEW BEST:: SOT 153956406 SOS 104814864 HAS SOPS 90566092 HAS SOUS 19545346 HAS SOUPS 19453603 WITH SCORE 1.9558417864E7
AT ITER 3328 NEW BEST:: SOT 153944078 SOS 104802379 HAS SOPS 90547460 HAS SOUS 19502933 HAS SOUPS 19411190 WITH SCORE 1.9515992379E7
AT ITER 3336 NEW BEST:: SOT 153943743 SOS 104789066 HAS SOPS 90537452 HAS SOUS 19500951 HAS SOUPS 19409240 WITH SCORE 1.9514029066E7
AT ITER 3354 NEW BEST:: SOT 153928828 SOS 104773377 HAS SOPS 90520689 HAS SOUS 19477144 HAS SOUPS 19385433 WITH SCORE 1.9490206377E7
AT ITER 3373 NEW BEST:: SOT 153928774 SOS 104773306 HAS SOPS 90520464 HAS SOUS 19475957 HAS SOUPS 19384246 WITH SCORE 1.9489019306E7
AT ITER 3377 NEW BEST:: SOT 153940419 SOS 104784751 HAS SOPS 90528702 HAS SOUS 19465511 HAS SOUPS 19373800 WITH SCORE 1.9478584751E7
AT ITER 3390 NEW BEST:: SOT 153928257 SOS 104763723 HAS SOPS 90511566 HAS SOUS 19461889 HAS SOUPS 19370178 WITH SCORE 1.9474941723E7
AT ITER 3412 NEW BEST:: SOT 153938817 SOS 104773887 HAS SOPS 90519123 HAS SOUS 19451359 HAS SOUPS 19359648 WITH SCORE 1.9464421887E7
AT ITER 3415 NEW BEST:: SOT 153931020 SOS 104763921 HAS SOPS 90512401 HAS SOUS 19433643 HAS SOUPS 19341932 WITH SCORE 1.9446695921E7
AT ITER 3420 NEW BEST:: SOT 153930676 SOS 104756474 HAS SOPS 90502130 HAS SOUS 19433382 HAS SOUPS 19341657 WITH SCORE 1.9446413474E7
AT ITER 3435 NEW BEST:: SOT 153930226 SOS 104755974 HAS SOPS 90501530 HAS SOUS 19432532 HAS SOUPS 19340807 WITH SCORE 1.9445562974E7
AT ITER 3439 NEW BEST:: SOT 153929374 SOS 104755122 HAS SOPS 90500465 HAS SOUS 19427779 HAS SOUPS 19336048 WITH SCORE 1.9440803122E7
AT ITER 3451 NEW BEST:: SOT 153898935 SOS 104722541 HAS SOPS 90477011 HAS SOUS 19421821 HAS SOUPS 19330090 WITH SCORE 1.9434812541E7
AT ITER 3454 NEW BEST:: SOT 153897498 SOS 104721060 HAS SOPS 90475530 HAS SOUS 19420472 HAS SOUPS 19328741 WITH SCORE 1.943346206E7
AT ITER 3460 NEW BEST:: SOT 153898797 SOS 104722466 HAS SOPS 90476386 HAS SOUS 19420289 HAS SOUPS 19328558 WITH SCORE 1.9433280466E7
AT ITER 3464 NEW BEST:: SOT 153910930 SOS 104734599 HAS SOPS 90476684 HAS SOUS 19414888 HAS SOUPS 19322688 WITH SCORE 1.9427422599E7
AT ITER 3495 NEW BEST:: SOT 153913858 SOS 104737200 HAS SOPS 90481558 HAS SOUS 19407579 HAS SOUPS 19315379 WITH SCORE 1.94201162E7
AT ITER 3497 NEW BEST:: SOT 153908183 SOS 104731255 HAS SOPS 90474808 HAS SOUS 19396424 HAS SOUPS 19304224 WITH SCORE 1.9408955255E7
AT ITER 3502 NEW BEST:: SOT 153906883 SOS 104729955 HAS SOPS 90473326 HAS SOUS 19394422 HAS SOUPS 19302222 WITH SCORE 1.9406951955E7
AT ITER 3505 NEW BEST:: SOT 153938405 SOS 104635531 HAS SOPS 90387979 HAS SOUS 19380594 HAS SOUPS 19288394 WITH SCORE 1.9393029531E7
AT ITER 3515 NEW BEST:: SOT 153938464 SOS 104622043 HAS SOPS 90374446 HAS SOUS 19380443 HAS SOUPS 19288243 WITH SCORE 1.9392865043E7
AT ITER 3517 NEW BEST:: SOT 153938790 SOS 104622323 HAS SOPS 90374648 HAS SOUS 19379749 HAS SOUPS 19287549 WITH SCORE 1.9392171323E7
AT ITER 3518 NEW BEST:: SOT 153938653 SOS 104622186 HAS SOPS 90373820 HAS SOUS 19377236 HAS SOUPS 19285036 WITH SCORE 1.9389658186E7
AT ITER 3533 NEW BEST:: SOT 153937913 SOS 104621567 HAS SOPS 90373119 HAS SOUS 19373751 HAS SOUPS 19281551 WITH SCORE 1.9386172567E7
AT ITER 3552 NEW BEST:: SOT 153938278 SOS 104621932 HAS SOPS 90373148 HAS SOUS 19370000 HAS SOUPS 19277800 WITH SCORE 1.9382421932E7
AT ITER 3571 NEW BEST:: SOT 153937288 SOS 104620942 HAS SOPS 90372098 HAS SOUS 19367810 HAS SOUPS 19275610 WITH SCORE 1.9380230942E7
AT ITER 3575 NEW BEST:: SOT 153943655 SOS 104623887 HAS SOPS 90375043 HAS SOUS 19366520 HAS SOUPS 19274320 WITH SCORE 1.9378943887E7
AT ITER 3590 NEW BEST:: SOT 153943957 SOS 104551011 HAS SOPS 90329349 HAS SOUS 19366397 HAS SOUPS 19274362 WITH SCORE 1.9378913011E7
AT ITER 3608 NEW BEST:: SOT 153939232 SOS 104546286 HAS SOPS 90324414 HAS SOUS 19360622 HAS SOUPS 19268587 WITH SCORE 1.9373133286E7
AT ITER 3632 NEW BEST:: SOT 153910552 SOS 104520934 HAS SOPS 90301572 HAS SOUS 19353606 HAS SOUPS 19261571 WITH SCORE 1.9366091934E7
AT ITER 3640 NEW BEST:: SOT 153922865 SOS 104532413 HAS SOPS 90310241 HAS SOUS 19348220 HAS SOUPS 19256185 WITH SCORE 1.9360717413E7
AT ITER 3650 NEW BEST:: SOT 153921137 SOS 104530417 HAS SOPS 90307852 HAS SOUS 19337438 HAS SOUPS 19245403 WITH SCORE 1.9349933417E7
AT ITER 3704 NEW BEST:: SOT 153916903 SOS 104525592 HAS SOPS 90301309 HAS SOUS 19334940 HAS SOUPS 19242905 WITH SCORE 1.9347430592E7
AT ITER 3708 NEW BEST:: SOT 153913324 SOS 104522277 HAS SOPS 90297253 HAS SOUS 19326882 HAS SOUPS 19234847 WITH SCORE 1.9339369277E7
AT ITER 3715 NEW BEST:: SOT 153917302 SOS 104526401 HAS SOPS 90302193 HAS SOUS 19323637 HAS SOUPS 19231602 WITH SCORE 1.9336128401E7
AT ITER 3742 NEW BEST:: SOT 153912898 SOS 104521598 HAS SOPS 90297316 HAS SOUS 19315936 HAS SOUPS 19223901 WITH SCORE 1.9328422598E7
AT ITER 3763 NEW BEST:: SOT 153912217 SOS 104519997 HAS SOPS 90297825 HAS SOUS 19315237 HAS SOUPS 19223202 WITH SCORE 1.9327721997E7
AT ITER 3783 NEW BEST:: SOT 153913059 SOS 104520839 HAS SOPS 90297863 HAS SOUS 19313444 HAS SOUPS 19221409 WITH SCORE 1.9325929839E7
AT ITER 3799 NEW BEST:: SOT 153908194 SOS 104516138 HAS SOPS 90292314 HAS SOUS 19312234 HAS SOUPS 19220199 WITH SCORE 1.9324715138E7
AT ITER 3833 NEW BEST:: SOT 153923493 SOS 104530707 HAS SOPS 90306859 HAS SOUS 19309136 HAS SOUPS 19217101 WITH SCORE 1.9321631707E7
AT ITER 3843 NEW BEST:: SOT 153928943 SOS 104532304 HAS SOPS 90311598 HAS SOUS 19307913 HAS SOUPS 19215913 WITH SCORE 1.9320445304E7
AT ITER 3854 NEW BEST:: SOT 153912893 SOS 104515411 HAS SOPS 90295504 HAS SOUS 19303657 HAS SOUPS 19211657 WITH SCORE 1.9316172411E7
AT ITER 3885 NEW BEST:: SOT 153850643 SOS 104451559 HAS SOPS 90228926 HAS SOUS 19228905 HAS SOUPS 19136905 WITH SCORE 1.9241356559E7
AT ITER 3906 NEW BEST:: SOT 153854435 SOS 104455509 HAS SOPS 90233508 HAS SOUS 19228151 HAS SOUPS 19136151 WITH SCORE 1.9240606509E7
AT ITER 3912 NEW BEST:: SOT 153851733 SOS 104452807 HAS SOPS 90230255 HAS SOUS 19226290 HAS SOUPS 19134290 WITH SCORE 1.9238742807E7
AT ITER 3919 NEW BEST:: SOT 153739963 SOS 104340411 HAS SOPS 90116677 HAS SOUS 19098993 HAS SOUPS 19006993 WITH SCORE 1.9111333411E7
AT ITER 3971 NEW BEST:: SOT 153740453 SOS 104341437 HAS SOPS 90117577 HAS SOUS 19091711 HAS SOUPS 18999711 WITH SCORE 1.9104052437E7
AT ITER 3973 NEW BEST:: SOT 153736555 SOS 104308135 HAS SOPS 90084364 HAS SOUS 19090988 HAS SOUPS 18998988 WITH SCORE 1.9103296135E7
AT ITER 3989 NEW BEST:: SOT 153735100 SOS 104306705 HAS SOPS 90082780 HAS SOUS 19088933 HAS SOUPS 18996933 WITH SCORE 1.9101239705E7
AT ITER 4020 NEW BEST:: SOT 153737128 SOS 104308541 HAS SOPS 90084186 HAS SOUS 19086905 HAS SOUPS 18994905 WITH SCORE 1.9099213541E7
AT ITER 4024 NEW BEST:: SOT 153726276 SOS 104299190 HAS SOPS 90071431 HAS SOUS 19082738 HAS SOUPS 18990012 WITH SCORE 1.909431119E7
AT ITER 4031 NEW BEST:: SOT 153720705 SOS 104293703 HAS SOPS 90065219 HAS SOUS 19070997 HAS SOUPS 18978271 WITH SCORE 1.9082564703E7
AT ITER 4058 NEW BEST:: SOT 153718775 SOS 104291738 HAS SOPS 90063171 HAS SOUS 19068572 HAS SOUPS 18975846 WITH SCORE 1.9080137738E7
AT ITER 4074 NEW BEST:: SOT 153716087 SOS 104289218 HAS SOPS 90060315 HAS SOUS 19065044 HAS SOUPS 18972318 WITH SCORE 1.9076607218E7
AT ITER 4081 NEW BEST:: SOT 153729587 SOS 104323808 HAS SOPS 90100262 HAS SOUS 19038170 HAS SOUPS 18945454 WITH SCORE 1.9049777808E7
AT ITER 4087 NEW BEST:: SOT 153729587 SOS 104323800 HAS SOPS 90100254 HAS SOUS 19038170 HAS SOUPS 18945454 WITH SCORE 1.90497778E7
AT ITER 4097 NEW BEST:: SOT 153732003 SOS 104327042 HAS SOPS 90102126 HAS SOUS 19036214 HAS SOUPS 18943498 WITH SCORE 1.9047825042E7
AT ITER 4099 NEW BEST:: SOT 153893084 SOS 104487457 HAS SOPS 90255558 HAS SOUS 19030686 HAS SOUPS 18937970 WITH SCORE 1.9042457457E7
AT ITER 4100 NEW BEST:: SOT 153882099 SOS 104476189 HAS SOPS 90244625 HAS SOUS 19013849 HAS SOUPS 18921175 WITH SCORE 1.9025651189E7
AT ITER 4101 NEW BEST:: SOT 153913668 SOS 104516049 HAS SOPS 90288992 HAS SOUS 18993580 HAS SOUPS 18901076 WITH SCORE 1.9005592049E7
AT ITER 4121 NEW BEST:: SOT 153910172 SOS 104512553 HAS SOPS 90284507 HAS SOUS 18985728 HAS SOUPS 18893224 WITH SCORE 1.8997736553E7
AT ITER 4127 NEW BEST:: SOT 153924365 SOS 104561746 HAS SOPS 90327258 HAS SOUS 18984140 HAS SOUPS 18891636 WITH SCORE 1.8996197746E7
AT ITER 4134 NEW BEST:: SOT 153913177 SOS 104550453 HAS SOPS 90314012 HAS SOUS 18962998 HAS SOUPS 18870494 WITH SCORE 1.8975044453E7
AT ITER 4147 NEW BEST:: SOT 153913129 SOS 104547157 HAS SOPS 90310716 HAS SOUS 18962930 HAS SOUPS 18870426 WITH SCORE 1.8974973157E7
AT ITER 4161 NEW BEST:: SOT 153912970 SOS 104546697 HAS SOPS 90309555 HAS SOUS 18960807 HAS SOUPS 18868303 WITH SCORE 1.8972849697E7
AT ITER 4164 NEW BEST:: SOT 153912607 SOS 104546334 HAS SOPS 90308807 HAS SOUS 18959993 HAS SOUPS 18867489 WITH SCORE 1.8972035334E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14286564 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15964200 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-pb108"
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-pb108, 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-167889204300280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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