Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807000080.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCshifumi-PT-6b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807000080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 3.7K Mar 31 04:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 31 04:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 29 20:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 20:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 13:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 28 13:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 27 06:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 27 06:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 17M Mar 24 05:37 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 1589357750088

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 6b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 44243 places, 66611 transitions, 182532 arcs.
AT ITER 0 NEW BEST:: SOT 1935081430 SOS 429295916 HAS SOPS 429295916 HAS SOUS 279310379 HAS SOUPS 279310379 WITH SCORE 2.79739674916E8
AT ITER 34 NEW BEST:: SOT 1935081428 SOS 429295912 HAS SOPS 429295912 HAS SOUS 279310375 HAS SOUPS 279310375 WITH SCORE 2.79739670912E8
AT ITER 41 NEW BEST:: SOT 1935048813 SOS 429272192 HAS SOPS 429272192 HAS SOUS 279292585 HAS SOUPS 279292585 WITH SCORE 2.79721857192E8
AT ITER 61 NEW BEST:: SOT 1935048811 SOS 429272188 HAS SOPS 429272188 HAS SOUS 279292581 HAS SOUPS 279292581 WITH SCORE 2.79721853188E8
AT ITER 67 NEW BEST:: SOT 1935037778 SOS 429264164 HAS SOPS 429264164 HAS SOUS 279286563 HAS SOUPS 279286563 WITH SCORE 2.79715827164E8
AT ITER 78 NEW BEST:: SOT 1935037001 SOS 429262610 HAS SOPS 429262610 HAS SOUS 279285009 HAS SOUPS 279285009 WITH SCORE 2.7971427161E8
AT ITER 80 NEW BEST:: SOT 1935037001 SOS 429262610 HAS SOPS 429262610 HAS SOUS 279284670 HAS SOUPS 279284670 WITH SCORE 2.7971393261E8
AT ITER 85 NEW BEST:: SOT 1935027564 SOS 429260746 HAS SOPS 429260746 HAS SOUS 279282806 HAS SOUPS 279282806 WITH SCORE 2.79712066746E8
AT ITER 87 NEW BEST:: SOT 1935027563 SOS 429258874 HAS SOPS 429258874 HAS SOUS 279280934 HAS SOUPS 279280934 WITH SCORE 2.79710192874E8
AT ITER 89 NEW BEST:: SOT 1935027385 SOS 429258518 HAS SOPS 429258518 HAS SOUS 279280578 HAS SOUPS 279280578 WITH SCORE 2.79709836518E8
AT ITER 117 NEW BEST:: SOT 1935027385 SOS 429256224 HAS SOPS 429256224 HAS SOUS 279279431 HAS SOUPS 279279431 WITH SCORE 2.79708687224E8
AT ITER 128 NEW BEST:: SOT 1935024934 SOS 429263226 HAS SOPS 429263226 HAS SOUS 279276980 HAS SOUPS 279276980 WITH SCORE 2.79706243226E8
AT ITER 142 NEW BEST:: SOT 1935017741 SOS 429256982 HAS SOPS 429256982 HAS SOUS 279270002 HAS SOUPS 279270002 WITH SCORE 2.79699258982E8
AT ITER 215 NEW BEST:: SOT 1935017741 SOS 429273409 HAS SOPS 429273409 HAS SOUS 279264524 HAS SOUPS 279264524 WITH SCORE 2.79693797409E8
AT ITER 222 NEW BEST:: SOT 1935009854 SOS 429281848 HAS SOPS 429281848 HAS SOUS 279253703 HAS SOUPS 279253703 WITH SCORE 2.79682984848E8
AT ITER 252 NEW BEST:: SOT 1935009854 SOS 429294500 HAS SOPS 429294500 HAS SOUS 279252914 HAS SOUPS 279252914 WITH SCORE 2.796822085E8
AT ITER 259 NEW BEST:: SOT 1935009854 SOS 429282599 HAS SOPS 429282599 HAS SOUS 279248947 HAS SOUPS 279248947 WITH SCORE 2.79678229599E8
AT ITER 291 NEW BEST:: SOT 1935003437 SOS 429277054 HAS SOPS 429277054 HAS SOUS 279243402 HAS SOUPS 279243402 WITH SCORE 2.79672679054E8
AT ITER 298 NEW BEST:: SOT 1935003148 SOS 429276476 HAS SOPS 429276476 HAS SOUS 279240729 HAS SOUPS 279240729 WITH SCORE 2.79670005476E8
AT ITER 314 NEW BEST:: SOT 1935007181 SOS 429309861 HAS SOPS 429309861 HAS SOUS 279236133 HAS SOUPS 279236133 WITH SCORE 2.79665442861E8
AT ITER 325 NEW BEST:: SOT 1935000607 SOS 429303287 HAS SOPS 429303287 HAS SOUS 279222985 HAS SOUPS 279222985 WITH SCORE 2.79652288287E8
AT ITER 327 NEW BEST:: SOT 1934993740 SOS 429299205 HAS SOPS 429299205 HAS SOUS 279218903 HAS SOUPS 279218903 WITH SCORE 2.79648202205E8
AT ITER 334 NEW BEST:: SOT 1934984818 SOS 429290279 HAS SOPS 429290279 HAS SOUS 279209980 HAS SOUPS 279209980 WITH SCORE 2.79639270279E8
AT ITER 343 NEW BEST:: SOT 1934982637 SOS 429285917 HAS SOPS 429285917 HAS SOUS 279205618 HAS SOUPS 279205618 WITH SCORE 2.79634903917E8
AT ITER 372 NEW BEST:: SOT 1934985872 SOS 429272101 HAS SOPS 429272101 HAS SOUS 279203708 HAS SOUPS 279203708 WITH SCORE 2.79632980101E8
AT ITER 380 NEW BEST:: SOT 1934985182 SOS 429270721 HAS SOPS 429270721 HAS SOUS 279203018 HAS SOUPS 279203018 WITH SCORE 2.79632288721E8
AT ITER 413 NEW BEST:: SOT 1934985182 SOS 429263323 HAS SOPS 429263323 HAS SOUS 279199319 HAS SOUPS 279199319 WITH SCORE 2.79628582323E8
AT ITER 424 NEW BEST:: SOT 1934985181 SOS 429263321 HAS SOPS 429263321 HAS SOUS 279199317 HAS SOUPS 279199317 WITH SCORE 2.79628580321E8
AT ITER 428 NEW BEST:: SOT 1934979694 SOS 429257834 HAS SOPS 429257834 HAS SOUS 279193830 HAS SOUPS 279193830 WITH SCORE 2.79623087834E8
AT ITER 459 NEW BEST:: SOT 1934974314 SOS 429252454 HAS SOPS 429252454 HAS SOUS 279188450 HAS SOUPS 279188450 WITH SCORE 2.79617702454E8
AT ITER 463 NEW BEST:: SOT 1934974314 SOS 429249682 HAS SOPS 429249682 HAS SOUS 279187526 HAS SOUPS 279187526 WITH SCORE 2.79616775682E8
AT ITER 508 NEW BEST:: SOT 1934972192 SOS 429247560 HAS SOPS 429247560 HAS SOUS 279185404 HAS SOUPS 279185404 WITH SCORE 2.7961465156E8
AT ITER 509 NEW BEST:: SOT 1934946057 SOS 429208715 HAS SOPS 429208715 HAS SOUS 279146203 HAS SOUPS 279146203 WITH SCORE 2.79575411715E8
AT ITER 541 NEW BEST:: SOT 1934944858 SOS 429211109 HAS SOPS 429211109 HAS SOUS 279145003 HAS SOUPS 279145003 WITH SCORE 2.79574214109E8
AT ITER 543 NEW BEST:: SOT 1934943343 SOS 429208079 HAS SOPS 429208079 HAS SOUS 279141973 HAS SOUPS 279141973 WITH SCORE 2.79571181079E8
AT ITER 571 NEW BEST:: SOT 1934943343 SOS 429208079 HAS SOPS 429208079 HAS SOUS 279141972 HAS SOUPS 279141972 WITH SCORE 2.79571180079E8
AT ITER 578 NEW BEST:: SOT 1934943342 SOS 429208077 HAS SOPS 429208077 HAS SOUS 279141971 HAS SOUPS 279141971 WITH SCORE 2.79571179077E8
AT ITER 593 NEW BEST:: SOT 1934883818 SOS 429258198 HAS SOPS 429258198 HAS SOUS 279136789 HAS SOUPS 279136789 WITH SCORE 2.79566047198E8
AT ITER 603 NEW BEST:: SOT 1934869082 SOS 429250830 HAS SOPS 429250830 HAS SOUS 279129421 HAS SOUPS 279129421 WITH SCORE 2.7955867183E8
AT ITER 606 NEW BEST:: SOT 1934867621 SOS 429247908 HAS SOPS 429247908 HAS SOUS 279127960 HAS SOUPS 279127960 WITH SCORE 2.79557207908E8
AT ITER 632 NEW BEST:: SOT 1934868218 SOS 429249102 HAS SOPS 429249102 HAS SOUS 279125675 HAS SOUPS 279125675 WITH SCORE 2.79554924102E8
AT ITER 637 NEW BEST:: SOT 1934854658 SOS 429242322 HAS SOPS 429242322 HAS SOUS 279118895 HAS SOUPS 279118895 WITH SCORE 2.79548137322E8
AT ITER 641 NEW BEST:: SOT 1934852087 SOS 429243699 HAS SOPS 429243699 HAS SOUS 279118497 HAS SOUPS 279118497 WITH SCORE 2.79547740699E8
AT ITER 674 NEW BEST:: SOT 1934851354 SOS 429243696 HAS SOPS 429243696 HAS SOUS 279118496 HAS SOUPS 279118496 WITH SCORE 2.79547739696E8
AT ITER 694 NEW BEST:: SOT 1934844851 SOS 429237748 HAS SOPS 429237748 HAS SOUS 279112548 HAS SOUPS 279112548 WITH SCORE 2.79541785748E8
AT ITER 765 NEW BEST:: SOT 1934835834 SOS 429228727 HAS SOPS 429228727 HAS SOUS 279103530 HAS SOUPS 279103530 WITH SCORE 2.79532758727E8
AT ITER 775 NEW BEST:: SOT 1934825326 SOS 429218215 HAS SOPS 429218215 HAS SOUS 279093021 HAS SOUPS 279093021 WITH SCORE 2.79522239215E8
AT ITER 780 NEW BEST:: SOT 1934818446 SOS 429211334 HAS SOPS 429211334 HAS SOUS 279086140 HAS SOUPS 279086140 WITH SCORE 2.79515351334E8
AT ITER 783 NEW BEST:: SOT 1934813511 SOS 429201464 HAS SOPS 429201464 HAS SOUS 279075498 HAS SOUPS 279075498 WITH SCORE 2.79504699464E8
AT ITER 819 NEW BEST:: SOT 1934809637 SOS 429193716 HAS SOPS 429193716 HAS SOUS 279067750 HAS SOUPS 279067750 WITH SCORE 2.79496943716E8
AT ITER 822 NEW BEST:: SOT 1934806904 SOS 429188250 HAS SOPS 429188250 HAS SOUS 279057197 HAS SOUPS 279057197 WITH SCORE 2.7948638525E8
AT ITER 845 NEW BEST:: SOT 1934804253 SOS 429182949 HAS SOPS 429182949 HAS SOUS 279051896 HAS SOUPS 279051896 WITH SCORE 2.79481078949E8
AT ITER 891 NEW BEST:: SOT 1934804251 SOS 429182945 HAS SOPS 429182945 HAS SOUS 279051892 HAS SOUPS 279051892 WITH SCORE 2.79481074945E8
AT ITER 910 NEW BEST:: SOT 1934795198 SOS 429177932 HAS SOPS 429177932 HAS SOUS 279043753 HAS SOUPS 279043753 WITH SCORE 2.79472930932E8
AT ITER 913 NEW BEST:: SOT 1934788935 SOS 429171665 HAS SOPS 429171665 HAS SOUS 279037489 HAS SOUPS 279037489 WITH SCORE 2.79466660665E8
AT ITER 941 NEW BEST:: SOT 1934792574 SOS 429178943 HAS SOPS 429178943 HAS SOUS 279030701 HAS SOUPS 279030701 WITH SCORE 2.79459879943E8
AT ITER 946 NEW BEST:: SOT 1934794459 SOS 429182713 HAS SOPS 429182713 HAS SOUS 279028364 HAS SOUPS 279028364 WITH SCORE 2.79457546713E8
AT ITER 948 NEW BEST:: SOT 1934794805 SOS 429183402 HAS SOPS 429183402 HAS SOUS 279028363 HAS SOUPS 279028363 WITH SCORE 2.79457546402E8
AT ITER 983 NEW BEST:: SOT 1934794805 SOS 429182944 HAS SOPS 429182944 HAS SOUS 279028363 HAS SOUPS 279028363 WITH SCORE 2.79457545944E8
AT ITER 984 NEW BEST:: SOT 1934786107 SOS 429178595 HAS SOPS 429178595 HAS SOUS 279024014 HAS SOUPS 279024014 WITH SCORE 2.79453192595E8
AT ITER 1010 NEW BEST:: SOT 1934783290 SOS 429172961 HAS SOPS 429172961 HAS SOUS 279007487 HAS SOUPS 279007487 WITH SCORE 2.79436659961E8
AT ITER 1014 NEW BEST:: SOT 1934776811 SOS 429179436 HAS SOPS 429179436 HAS SOUS 278994528 HAS SOUPS 278994528 WITH SCORE 2.79423707436E8
AT ITER 1023 NEW BEST:: SOT 1934774735 SOS 429175284 HAS SOPS 429175284 HAS SOUS 278990376 HAS SOUPS 278990376 WITH SCORE 2.79419551284E8
AT ITER 1046 NEW BEST:: SOT 1934769272 SOS 429164358 HAS SOPS 429164358 HAS SOUS 278976855 HAS SOUPS 278976855 WITH SCORE 2.79406019358E8
AT ITER 1047 NEW BEST:: SOT 1934763792 SOS 429163033 HAS SOPS 429163033 HAS SOUS 278975533 HAS SOUPS 278975533 WITH SCORE 2.79404696033E8
AT ITER 1049 NEW BEST:: SOT 1934755302 SOS 429154543 HAS SOPS 429154543 HAS SOUS 278967043 HAS SOUPS 278967043 WITH SCORE 2.79396197543E8
AT ITER 1107 NEW BEST:: SOT 1934752769 SOS 429152010 HAS SOPS 429152010 HAS SOUS 278964510 HAS SOUPS 278964510 WITH SCORE 2.7939366201E8
AT ITER 1155 NEW BEST:: SOT 1934747559 SOS 429125960 HAS SOPS 429125960 HAS SOUS 278954090 HAS SOUPS 278954090 WITH SCORE 2.7938321596E8
AT ITER 1162 NEW BEST:: SOT 1934744292 SOS 429123584 HAS SOPS 429123584 HAS SOUS 278952308 HAS SOUPS 278952308 WITH SCORE 2.79381431584E8
AT ITER 1163 NEW BEST:: SOT 1934738168 SOS 429111336 HAS SOPS 429111336 HAS SOUS 278940060 HAS SOUPS 278940060 WITH SCORE 2.79369171336E8
AT ITER 1186 NEW BEST:: SOT 1934738168 SOS 429111336 HAS SOPS 429111336 HAS SOUS 278928222 HAS SOUPS 278928222 WITH SCORE 2.79357333336E8
AT ITER 1197 NEW BEST:: SOT 1934738100 SOS 429111200 HAS SOPS 429111200 HAS SOUS 278928086 HAS SOUPS 278928086 WITH SCORE 2.793571972E8
AT ITER 1209 NEW BEST:: SOT 1934726041 SOS 429087082 HAS SOPS 429087082 HAS SOUS 278903968 HAS SOUPS 278903968 WITH SCORE 2.79333055082E8
AT ITER 1250 NEW BEST:: SOT 1934720687 SOS 429081728 HAS SOPS 429081728 HAS SOUS 278898614 HAS SOUPS 278898614 WITH SCORE 2.79327695728E8
AT ITER 1258 NEW BEST:: SOT 1934718147 SOS 429076648 HAS SOPS 429076648 HAS SOUS 278898078 HAS SOUPS 278898078 WITH SCORE 2.79327154648E8
AT ITER 1283 NEW BEST:: SOT 1934718146 SOS 429076646 HAS SOPS 429076646 HAS SOUS 278898076 HAS SOUPS 278898076 WITH SCORE 2.79327152646E8
AT ITER 1288 NEW BEST:: SOT 1934717365 SOS 429075085 HAS SOPS 429075085 HAS SOUS 278896515 HAS SOUPS 278896515 WITH SCORE 2.79325590085E8
AT ITER 1293 NEW BEST:: SOT 1934717364 SOS 429075083 HAS SOPS 429075083 HAS SOUS 278896513 HAS SOUPS 278896513 WITH SCORE 2.79325588083E8
AT ITER 1299 NEW BEST:: SOT 1934714475 SOS 429069305 HAS SOPS 429069305 HAS SOUS 278894582 HAS SOUPS 278894582 WITH SCORE 2.79323651305E8
AT ITER 1311 NEW BEST:: SOT 1934710814 SOS 429072962 HAS SOPS 429072962 HAS SOUS 278893749 HAS SOUPS 278893749 WITH SCORE 2.79322821962E8
AT ITER 1374 NEW BEST:: SOT 1934704302 SOS 429069019 HAS SOPS 429069019 HAS SOUS 278889806 HAS SOUPS 278889806 WITH SCORE 2.79318875019E8
AT ITER 1376 NEW BEST:: SOT 1934704254 SOS 429068985 HAS SOPS 429068985 HAS SOUS 278889781 HAS SOUPS 278889781 WITH SCORE 2.79318849985E8
AT ITER 1381 NEW BEST:: SOT 1934699134 SOS 429084008 HAS SOPS 429084008 HAS SOUS 278879540 HAS SOUPS 278879540 WITH SCORE 2.79308624008E8
AT ITER 1390 NEW BEST:: SOT 1934689571 SOS 429082471 HAS SOPS 429082471 HAS SOUS 278878003 HAS SOUPS 278878003 WITH SCORE 2.79307085471E8
AT ITER 1405 NEW BEST:: SOT 1934685478 SOS 429086560 HAS SOPS 429086560 HAS SOUS 278869816 HAS SOUPS 278869816 WITH SCORE 2.7929890256E8
AT ITER 1419 NEW BEST:: SOT 1934685799 SOS 429087201 HAS SOPS 429087201 HAS SOUS 278868393 HAS SOUPS 278868393 WITH SCORE 2.79297480201E8
AT ITER 1427 NEW BEST:: SOT 1934687390 SOS 429076022 HAS SOPS 429076022 HAS SOUS 278865992 HAS SOUPS 278865992 WITH SCORE 2.79295068022E8
AT ITER 1431 NEW BEST:: SOT 1934687389 SOS 429076020 HAS SOPS 429076020 HAS SOUS 278865990 HAS SOUPS 278865990 WITH SCORE 2.7929506602E8
AT ITER 1443 NEW BEST:: SOT 1934687022 SOS 429075286 HAS SOPS 429075286 HAS SOUS 278865256 HAS SOUPS 278865256 WITH SCORE 2.79294331286E8
AT ITER 1445 NEW BEST:: SOT 1934685091 SOS 430895416 HAS SOPS 430895416 HAS SOUS 278861394 HAS SOUPS 278861394 WITH SCORE 2.79292289416E8
AT ITER 1551 NEW BEST:: SOT 1934679643 SOS 430884520 HAS SOPS 430884520 HAS SOUS 278850498 HAS SOUPS 278850498 WITH SCORE 2.7928138252E8
AT ITER 1557 NEW BEST:: SOT 1934673179 SOS 430878056 HAS SOPS 430878056 HAS SOUS 278844034 HAS SOUPS 278844034 WITH SCORE 2.79274912056E8
AT ITER 1616 NEW BEST:: SOT 1934673179 SOS 430876286 HAS SOPS 430876286 HAS SOUS 278843149 HAS SOUPS 278843149 WITH SCORE 2.79274025286E8
AT ITER 1623 NEW BEST:: SOT 1934666823 SOS 430870521 HAS SOPS 430870521 HAS SOUS 278837384 HAS SOUPS 278837384 WITH SCORE 2.79268254521E8
AT ITER 1631 NEW BEST:: SOT 1934666823 SOS 430868481 HAS SOPS 430868481 HAS SOUS 278836364 HAS SOUPS 278836364 WITH SCORE 2.79267232481E8
AT ITER 1637 NEW BEST:: SOT 1934640457 SOS 430849321 HAS SOPS 430849321 HAS SOUS 278821999 HAS SOUPS 278821999 WITH SCORE 2.79252848321E8
AT ITER 1642 NEW BEST:: SOT 1934637322 SOS 430846558 HAS SOPS 430846558 HAS SOUS 278819051 HAS SOUPS 278819051 WITH SCORE 2.79249897558E8
AT ITER 1649 NEW BEST:: SOT 1934594246 SOS 430815230 HAS SOPS 430815230 HAS SOUS 278795555 HAS SOUPS 278795555 WITH SCORE 2.7922637023E8
AT ITER 1655 NEW BEST:: SOT 1934594246 SOS 430811575 HAS SOPS 430811575 HAS SOUS 278795555 HAS SOUPS 278795555 WITH SCORE 2.79226366575E8
AT ITER 1702 NEW BEST:: SOT 1934594245 SOS 430811573 HAS SOPS 430811573 HAS SOUS 278795553 HAS SOUPS 278795553 WITH SCORE 2.79226364573E8
AT ITER 1746 NEW BEST:: SOT 1934580075 SOS 430804488 HAS SOPS 430804488 HAS SOUS 278788468 HAS SOUPS 278788468 WITH SCORE 2.79219272488E8
AT ITER 1754 NEW BEST:: SOT 1934571948 SOS 430788234 HAS SOPS 430788234 HAS SOUS 278768202 HAS SOUPS 278768202 WITH SCORE 2.79198990234E8
AT ITER 1757 NEW BEST:: SOT 1934563334 SOS 430779616 HAS SOPS 430779616 HAS SOUS 278759587 HAS SOUPS 278759587 WITH SCORE 2.79190366616E8
AT ITER 1761 NEW BEST:: SOT 1934563334 SOS 430775704 HAS SOPS 430775704 HAS SOUS 278755675 HAS SOUPS 278755675 WITH SCORE 2.79186450704E8
AT ITER 1762 NEW BEST:: SOT 1934507793 SOS 430820718 HAS SOPS 430820718 HAS SOUS 278747831 HAS SOUPS 278747831 WITH SCORE 2.79178651718E8
AT ITER 1781 NEW BEST:: SOT 1934507793 SOS 430820718 HAS SOPS 430820718 HAS SOUS 278747830 HAS SOUPS 278747830 WITH SCORE 2.79178650718E8
AT ITER 1785 NEW BEST:: SOT 1934505328 SOS 430815788 HAS SOPS 430815788 HAS SOUS 278747422 HAS SOUPS 278747422 WITH SCORE 2.79178237788E8
AT ITER 1788 NEW BEST:: SOT 1934505317 SOS 430815766 HAS SOPS 430815766 HAS SOUS 278744393 HAS SOUPS 278744393 WITH SCORE 2.79175208766E8
AT ITER 1800 NEW BEST:: SOT 1934505317 SOS 430808995 HAS SOPS 430808995 HAS SOUS 278742582 HAS SOUPS 278742582 WITH SCORE 2.79173390995E8
AT ITER 1807 NEW BEST:: SOT 1934504114 SOS 430811393 HAS SOPS 430811393 HAS SOUS 278741377 HAS SOUPS 278741377 WITH SCORE 2.79172188393E8
AT ITER 1818 NEW BEST:: SOT 1934494634 SOS 430809167 HAS SOPS 430809167 HAS SOUS 278739151 HAS SOUPS 278739151 WITH SCORE 2.79169960167E8
AT ITER 1852 NEW BEST:: SOT 1934488214 SOS 430806829 HAS SOPS 430806829 HAS SOUS 278736813 HAS SOUPS 278736813 WITH SCORE 2.79167619829E8
AT ITER 1866 NEW BEST:: SOT 1934488214 SOS 430806398 HAS SOPS 430806398 HAS SOUS 278736382 HAS SOUPS 278736382 WITH SCORE 2.79167188398E8
AT ITER 1870 NEW BEST:: SOT 1934482046 SOS 430794062 HAS SOPS 430794062 HAS SOUS 278724046 HAS SOUPS 278724046 WITH SCORE 2.79154840062E8
AT ITER 1895 NEW BEST:: SOT 1934475434 SOS 430787661 HAS SOPS 430787661 HAS SOUS 278717648 HAS SOUPS 278717648 WITH SCORE 2.79148435661E8
AT ITER 1902 NEW BEST:: SOT 1934475434 SOS 430800635 HAS SOPS 430800635 HAS SOUS 278713321 HAS SOUPS 278713321 WITH SCORE 2.79144121635E8
AT ITER 1909 NEW BEST:: SOT 1934471102 SOS 430791971 HAS SOPS 430791971 HAS SOUS 278710321 HAS SOUPS 278710321 WITH SCORE 2.79141112971E8
AT ITER 1968 NEW BEST:: SOT 1934464855 SOS 430787741 HAS SOPS 430787741 HAS SOUS 278706094 HAS SOUPS 278706094 WITH SCORE 2.79136881741E8
AT ITER 1969 NEW BEST:: SOT 1934464368 SOS 430788228 HAS SOPS 430788228 HAS SOUS 278705607 HAS SOUPS 278705607 WITH SCORE 2.79136395228E8
AT ITER 2000 NEW BEST:: SOT 1934456667 SOS 430785264 HAS SOPS 430785264 HAS SOUS 278702643 HAS SOUPS 278702643 WITH SCORE 2.79133428264E8
AT ITER 2008 NEW BEST:: SOT 1934460074 SOS 430771081 HAS SOPS 430771081 HAS SOUS 278700754 HAS SOUPS 278700754 WITH SCORE 2.79131525081E8
AT ITER 2041 NEW BEST:: SOT 1934457701 SOS 430766335 HAS SOPS 430766335 HAS SOUS 278696008 HAS SOUPS 278696008 WITH SCORE 2.79126774335E8
AT ITER 2052 NEW BEST:: SOT 1934453963 SOS 430762597 HAS SOPS 430762597 HAS SOUS 278692270 HAS SOUPS 278692270 WITH SCORE 2.79123032597E8
AT ITER 2067 NEW BEST:: SOT 1934453102 SOS 430761736 HAS SOPS 430761736 HAS SOUS 278691409 HAS SOUPS 278691409 WITH SCORE 2.79122170736E8
AT ITER 2084 NEW BEST:: SOT 1934446530 SOS 430755323 HAS SOPS 430755323 HAS SOUS 278684996 HAS SOUPS 278684996 WITH SCORE 2.79115751323E8
AT ITER 2087 NEW BEST:: SOT 1934441350 SOS 430755313 HAS SOPS 430755313 HAS SOUS 278681308 HAS SOUPS 278681308 WITH SCORE 2.79112063313E8
AT ITER 2150 NEW BEST:: SOT 1934428481 SOS 430743241 HAS SOPS 430743241 HAS SOUS 278668839 HAS SOUPS 278668839 WITH SCORE 2.79099582241E8
AT ITER 2173 NEW BEST:: SOT 1934428295 SOS 430742869 HAS SOPS 430742869 HAS SOUS 278668839 HAS SOUPS 278668839 WITH SCORE 2.79099581869E8
AT ITER 2219 NEW BEST:: SOT 1934427901 SOS 430742081 HAS SOPS 430742081 HAS SOUS 278668444 HAS SOUPS 278668444 WITH SCORE 2.79099186081E8
AT ITER 2220 NEW BEST:: SOT 1934422807 SOS 430747175 HAS SOPS 430747175 HAS SOUS 278660624 HAS SOUPS 278660624 WITH SCORE 2.79091371175E8
AT ITER 2254 NEW BEST:: SOT 1934421797 SOS 430745155 HAS SOPS 430745155 HAS SOUS 278656280 HAS SOUPS 278656280 WITH SCORE 2.79087025155E8
AT ITER 2268 NEW BEST:: SOT 1934421797 SOS 430743342 HAS SOPS 430743342 HAS SOUS 278656280 HAS SOUPS 278656280 WITH SCORE 2.79087023342E8
AT ITER 2303 NEW BEST:: SOT 1934421797 SOS 430735155 HAS SOPS 430735155 HAS SOUS 278653551 HAS SOUPS 278653551 WITH SCORE 2.79084286155E8
AT ITER 2311 NEW BEST:: SOT 1934416754 SOS 430725069 HAS SOPS 430725069 HAS SOUS 278643465 HAS SOUPS 278643465 WITH SCORE 2.79074190069E8
AT ITER 2336 NEW BEST:: SOT 1934413575 SOS 430718711 HAS SOPS 430718711 HAS SOUS 278637107 HAS SOUPS 278637107 WITH SCORE 2.79067825711E8
AT ITER 2347 NEW BEST:: SOT 1934413575 SOS 430718861 HAS SOPS 430718861 HAS SOUS 278637105 HAS SOUPS 278637105 WITH SCORE 2.79067823861E8
AT ITER 2375 NEW BEST:: SOT 1934411933 SOS 430715577 HAS SOPS 430715577 HAS SOUS 278633821 HAS SOUPS 278633821 WITH SCORE 2.79064536577E8
AT ITER 2400 NEW BEST:: SOT 1934411933 SOS 430715577 HAS SOPS 430715577 HAS SOUS 278633820 HAS SOUPS 278633820 WITH SCORE 2.79064535577E8
AT ITER 2405 NEW BEST:: SOT 1934397233 SOS 430708227 HAS SOPS 430708227 HAS SOUS 278626470 HAS SOUPS 278626470 WITH SCORE 2.79057178227E8
AT ITER 2412 NEW BEST:: SOT 1934392287 SOS 430703277 HAS SOPS 430703277 HAS SOUS 278621523 HAS SOUPS 278621523 WITH SCORE 2.79052226277E8
AT ITER 2433 NEW BEST:: SOT 1934390937 SOS 430702377 HAS SOPS 430702377 HAS SOUS 278620623 HAS SOUPS 278620623 WITH SCORE 2.79051325377E8
AT ITER 2461 NEW BEST:: SOT 1934396395 SOS 430713293 HAS SOPS 430713293 HAS SOUS 278620297 HAS SOUPS 278620297 WITH SCORE 2.79051010293E8
AT ITER 2462 NEW BEST:: SOT 1934396395 SOS 430713293 HAS SOPS 430713293 HAS SOUS 278611684 HAS SOUPS 278611684 WITH SCORE 2.79042397293E8
AT ITER 2468 NEW BEST:: SOT 1934394381 SOS 430709265 HAS SOPS 430709265 HAS SOUS 278604563 HAS SOUPS 278604563 WITH SCORE 2.79035272265E8
AT ITER 2471 NEW BEST:: SOT 1934386515 SOS 430704874 HAS SOPS 430704874 HAS SOUS 278596697 HAS SOUPS 278596697 WITH SCORE 2.79027401874E8
AT ITER 2493 NEW BEST:: SOT 1934385275 SOS 430702395 HAS SOPS 430702395 HAS SOUS 278594218 HAS SOUPS 278594218 WITH SCORE 2.79024920395E8
AT ITER 2495 NEW BEST:: SOT 1934379995 SOS 430697115 HAS SOPS 430697115 HAS SOUS 278588938 HAS SOUPS 278588938 WITH SCORE 2.79019635115E8
AT ITER 2521 NEW BEST:: SOT 1934378463 SOS 430694051 HAS SOPS 430694051 HAS SOUS 278585874 HAS SOUPS 278585874 WITH SCORE 2.79016568051E8
AT ITER 2593 NEW BEST:: SOT 1934375461 SOS 430697049 HAS SOPS 430697049 HAS SOUS 278579869 HAS SOUPS 278579869 WITH SCORE 2.79010566049E8
AT ITER 2621 NEW BEST:: SOT 1934372925 SOS 430710819 HAS SOPS 430710819 HAS SOUS 278577333 HAS SOUPS 278577333 WITH SCORE 2.79008043819E8
AT ITER 2625 NEW BEST:: SOT 1934369380 SOS 430703729 HAS SOPS 430703729 HAS SOUS 278570243 HAS SOUPS 278570243 WITH SCORE 2.79000946729E8
AT ITER 2643 NEW BEST:: SOT 1934360182 SOS 430699126 HAS SOPS 430699126 HAS SOUS 278565643 HAS SOUPS 278565643 WITH SCORE 2.78996342126E8
AT ITER 2664 NEW BEST:: SOT 1934360182 SOS 430689316 HAS SOPS 430689316 HAS SOUS 278562373 HAS SOUPS 278562373 WITH SCORE 2.78993062316E8
AT ITER 2672 NEW BEST:: SOT 1934357612 SOS 430695456 HAS SOPS 430695456 HAS SOUS 278559803 HAS SOUPS 278559803 WITH SCORE 2.78990498456E8
AT ITER 2704 NEW BEST:: SOT 1934353141 SOS 430686514 HAS SOPS 430686514 HAS SOUS 278555332 HAS SOUPS 278555332 WITH SCORE 2.78986018514E8
AT ITER 2715 NEW BEST:: SOT 1934337901 SOS 430678894 HAS SOPS 430678894 HAS SOUS 278547712 HAS SOUPS 278547712 WITH SCORE 2.78978390894E8
AT ITER 2718 NEW BEST:: SOT 1934336749 SOS 430676590 HAS SOPS 430676590 HAS SOUS 278545408 HAS SOUPS 278545408 WITH SCORE 2.7897608459E8
AT ITER 2741 NEW BEST:: SOT 1934336749 SOS 430676059 HAS SOPS 430676059 HAS SOUS 278545408 HAS SOUPS 278545408 WITH SCORE 2.78976084059E8
AT ITER 2757 NEW BEST:: SOT 1934332341 SOS 430667243 HAS SOPS 430667243 HAS SOUS 278541939 HAS SOUPS 278541939 WITH SCORE 2.78972606243E8
AT ITER 2787 NEW BEST:: SOT 1934331310 SOS 430665181 HAS SOPS 430665181 HAS SOUS 278539877 HAS SOUPS 278539877 WITH SCORE 2.78970542181E8
AT ITER 2794 NEW BEST:: SOT 1934330108 SOS 430662777 HAS SOPS 430662777 HAS SOUS 278538675 HAS SOUPS 278538675 WITH SCORE 2.78969337777E8
AT ITER 2807 NEW BEST:: SOT 1934315598 SOS 430662317 HAS SOPS 430662317 HAS SOUS 278534762 HAS SOUPS 278534762 WITH SCORE 2.78965424317E8
AT ITER 2826 NEW BEST:: SOT 1934314373 SOS 430659867 HAS SOPS 430659867 HAS SOUS 278532312 HAS SOUPS 278532312 WITH SCORE 2.78962971867E8
AT ITER 2850 NEW BEST:: SOT 1934313533 SOS 430659254 HAS SOPS 430659254 HAS SOUS 278530405 HAS SOUPS 278530405 WITH SCORE 2.78961064254E8
AT ITER 2851 NEW BEST:: SOT 1934306124 SOS 430659252 HAS SOPS 430659252 HAS SOUS 278530403 HAS SOUPS 278530403 WITH SCORE 2.78961062252E8
AT ITER 2857 NEW BEST:: SOT 1934296648 SOS 430657343 HAS SOPS 430657343 HAS SOUS 278528494 HAS SOUPS 278528494 WITH SCORE 2.78959151343E8
AT ITER 2873 NEW BEST:: SOT 1934296422 SOS 430657117 HAS SOPS 430657117 HAS SOUS 278528494 HAS SOUPS 278528494 WITH SCORE 2.78959151117E8
AT ITER 2884 NEW BEST:: SOT 1934277293 SOS 430660391 HAS SOPS 430660391 HAS SOUS 278521900 HAS SOUPS 278521900 WITH SCORE 2.78952560391E8
AT ITER 2889 NEW BEST:: SOT 1934277292 SOS 430660389 HAS SOPS 430660389 HAS SOUS 278521898 HAS SOUPS 278521898 WITH SCORE 2.78952558389E8
AT ITER 2900 NEW BEST:: SOT 1934272778 SOS 430651362 HAS SOPS 430651362 HAS SOUS 278512871 HAS SOUPS 278512871 WITH SCORE 2.78943522362E8
AT ITER 2901 NEW BEST:: SOT 1934270947 SOS 430647700 HAS SOPS 430647700 HAS SOUS 278509209 HAS SOUPS 278509209 WITH SCORE 2.789398567E8
AT ITER 2908 NEW BEST:: SOT 1934270452 SOS 430646710 HAS SOPS 430646710 HAS SOUS 278508219 HAS SOUPS 278508219 WITH SCORE 2.7893886571E8
AT ITER 2913 NEW BEST:: SOT 1934267728 SOS 430641262 HAS SOPS 430641262 HAS SOUS 278497482 HAS SOUPS 278497482 WITH SCORE 2.78928123262E8
AT ITER 2915 NEW BEST:: SOT 1934264115 SOS 430646958 HAS SOPS 430646958 HAS SOUS 278485600 HAS SOUPS 278485600 WITH SCORE 2.78916246958E8
AT ITER 2967 NEW BEST:: SOT 1934261836 SOS 430651512 HAS SOPS 430651512 HAS SOUS 278483320 HAS SOUPS 278483320 WITH SCORE 2.78913971512E8
AT ITER 2984 NEW BEST:: SOT 1934256364 SOS 430648776 HAS SOPS 430648776 HAS SOUS 278477848 HAS SOUPS 278477848 WITH SCORE 2.78908496776E8
AT ITER 2991 NEW BEST:: SOT 1934256364 SOS 430648776 HAS SOPS 430648776 HAS SOUS 278468080 HAS SOUPS 278468080 WITH SCORE 2.78898728776E8
AT ITER 3005 NEW BEST:: SOT 1934256363 SOS 430648015 HAS SOPS 430648015 HAS SOUS 278467319 HAS SOUPS 278467319 WITH SCORE 2.78897967015E8
AT ITER 3008 NEW BEST:: SOT 1934255402 SOS 430646094 HAS SOPS 430646094 HAS SOUS 278465398 HAS SOUPS 278465398 WITH SCORE 2.78896044094E8
AT ITER 3017 NEW BEST:: SOT 1934250418 SOS 430636126 HAS SOPS 430636126 HAS SOUS 278455430 HAS SOUPS 278455430 WITH SCORE 2.78886066126E8
AT ITER 3030 NEW BEST:: SOT 1934241338 SOS 430627885 HAS SOPS 430627885 HAS SOUS 278446350 HAS SOUPS 278446350 WITH SCORE 2.78876977885E8
AT ITER 3032 NEW BEST:: SOT 1934240463 SOS 430629292 HAS SOPS 430629292 HAS SOUS 278444600 HAS SOUPS 278444600 WITH SCORE 2.78875229292E8
AT ITER 3055 NEW BEST:: SOT 1934240120 SOS 430628606 HAS SOPS 430628606 HAS SOUS 278443914 HAS SOUPS 278443914 WITH SCORE 2.78874542606E8
AT ITER 3099 NEW BEST:: SOT 1934240119 SOS 430628604 HAS SOPS 430628604 HAS SOUS 278443912 HAS SOUPS 278443912 WITH SCORE 2.78874540604E8
AT ITER 3106 NEW BEST:: SOT 1934240119 SOS 430627938 HAS SOPS 430627938 HAS SOUS 278443579 HAS SOUPS 278443579 WITH SCORE 2.78874206938E8
AT ITER 3131 NEW BEST:: SOT 1934238421 SOS 430627185 HAS SOPS 430627185 HAS SOUS 278442826 HAS SOUPS 278442826 WITH SCORE 2.78873453185E8
AT ITER 3145 NEW BEST:: SOT 1934236953 SOS 430624249 HAS SOPS 430624249 HAS SOUS 278436422 HAS SOUPS 278436422 WITH SCORE 2.78867046249E8
AT ITER 3151 NEW BEST:: SOT 1934236952 SOS 430624247 HAS SOPS 430624247 HAS SOUS 278436420 HAS SOUPS 278436420 WITH SCORE 2.78867044247E8
AT ITER 3174 NEW BEST:: SOT 1934226627 SOS 430623995 HAS SOPS 430623995 HAS SOUS 278428309 HAS SOUPS 278428309 WITH SCORE 2.78858932995E8
AT ITER 3216 NEW BEST:: SOT 1934225764 SOS 430622269 HAS SOPS 430622269 HAS SOUS 278427446 HAS SOUPS 278427446 WITH SCORE 2.78858068269E8
AT ITER 3225 NEW BEST:: SOT 1934224908 SOS 430621841 HAS SOPS 430621841 HAS SOUS 278427018 HAS SOUPS 278427018 WITH SCORE 2.78857639841E8
AT ITER 3228 NEW BEST:: SOT 1934212540 SOS 430619914 HAS SOPS 430619914 HAS SOUS 278424684 HAS SOUPS 278424684 WITH SCORE 2.78855303914E8
AT ITER 3237 NEW BEST:: SOT 1934212103 SOS 430619040 HAS SOPS 430619040 HAS SOUS 278423810 HAS SOUPS 278423810 WITH SCORE 2.7885442904E8
AT ITER 3260 NEW BEST:: SOT 1934210291 SOS 430615416 HAS SOPS 430615416 HAS SOUS 278420186 HAS SOUPS 278420186 WITH SCORE 2.78850801416E8
AT ITER 3262 NEW BEST:: SOT 1934202243 SOS 430609384 HAS SOPS 430609384 HAS SOUS 278412138 HAS SOUPS 278412138 WITH SCORE 2.78842747384E8
AT ITER 3265 NEW BEST:: SOT 1934202243 SOS 430596946 HAS SOPS 430596946 HAS SOUS 278407992 HAS SOUPS 278407992 WITH SCORE 2.78838588946E8
AT ITER 3274 NEW BEST:: SOT 1934198329 SOS 430589118 HAS SOPS 430589118 HAS SOUS 278400164 HAS SOUPS 278400164 WITH SCORE 2.78830753118E8
AT ITER 3286 NEW BEST:: SOT 1934190270 SOS 430586668 HAS SOPS 430586668 HAS SOUS 278397714 HAS SOUPS 278397714 WITH SCORE 2.78828300668E8
AT ITER 3291 NEW BEST:: SOT 1934191406 SOS 430586292 HAS SOPS 430586292 HAS SOUS 278397338 HAS SOUPS 278397338 WITH SCORE 2.78827924292E8
AT ITER 3302 NEW BEST:: SOT 1934191406 SOS 430582608 HAS SOPS 430582608 HAS SOUS 278396110 HAS SOUPS 278396110 WITH SCORE 2.78826692608E8
AT ITER 3316 NEW BEST:: SOT 1934188787 SOS 430577370 HAS SOPS 430577370 HAS SOUS 278394784 HAS SOUPS 278394784 WITH SCORE 2.7882536137E8
AT ITER 3321 NEW BEST:: SOT 1934188787 SOS 430576306 HAS SOPS 430576306 HAS SOUS 278394784 HAS SOUPS 278394784 WITH SCORE 2.78825360306E8
AT ITER 3322 NEW BEST:: SOT 1934186565 SOS 430571863 HAS SOPS 430571863 HAS SOUS 278390341 HAS SOUPS 278390341 WITH SCORE 2.78820912863E8
AT ITER 3357 NEW BEST:: SOT 1934186712 SOS 430572157 HAS SOPS 430572157 HAS SOUS 278376036 HAS SOUPS 278376036 WITH SCORE 2.78806608157E8
AT ITER 3379 NEW BEST:: SOT 1934186712 SOS 430572157 HAS SOPS 430572157 HAS SOUS 278376035 HAS SOUPS 278376035 WITH SCORE 2.78806607157E8
AT ITER 3397 NEW BEST:: SOT 1934182077 SOS 430562887 HAS SOPS 430562887 HAS SOUS 278366765 HAS SOUPS 278366765 WITH SCORE 2.78797327887E8
AT ITER 3407 NEW BEST:: SOT 1934176607 SOS 430579243 HAS SOPS 430579243 HAS SOUS 278354559 HAS SOUPS 278354559 WITH SCORE 2.78785138243E8
AT ITER 3453 NEW BEST:: SOT 1934176607 SOS 430579243 HAS SOPS 430579243 HAS SOUS 278354558 HAS SOUPS 278354558 WITH SCORE 2.78785137243E8
AT ITER 3459 NEW BEST:: SOT 1934175043 SOS 430576115 HAS SOPS 430576115 HAS SOUS 278352964 HAS SOUPS 278352964 WITH SCORE 2.78783540115E8
AT ITER 3462 NEW BEST:: SOT 1934175043 SOS 430569782 HAS SOPS 430569782 HAS SOUS 278350853 HAS SOUPS 278350853 WITH SCORE 2.78781422782E8
AT ITER 3485 NEW BEST:: SOT 1934167061 SOS 430565791 HAS SOPS 430565791 HAS SOUS 278346862 HAS SOUPS 278346862 WITH SCORE 2.78777427791E8
AT ITER 3489 NEW BEST:: SOT 1934159056 SOS 430560067 HAS SOPS 430560067 HAS SOUS 278341138 HAS SOUPS 278341138 WITH SCORE 2.78771698067E8
AT ITER 3502 NEW BEST:: SOT 1934156981 SOS 430555917 HAS SOPS 430555917 HAS SOUS 278336988 HAS SOUPS 278336988 WITH SCORE 2.78767543917E8
AT ITER 3512 NEW BEST:: SOT 1934156980 SOS 430555915 HAS SOPS 430555915 HAS SOUS 278336986 HAS SOUPS 278336986 WITH SCORE 2.78767541915E8
AT ITER 3529 NEW BEST:: SOT 1934156980 SOS 430554261 HAS SOPS 430554261 HAS SOUS 278336986 HAS SOUPS 278336986 WITH SCORE 2.78767540261E8
AT ITER 3537 NEW BEST:: SOT 1934152792 SOS 430583577 HAS SOPS 430583577 HAS SOUS 278332798 HAS SOUPS 278332798 WITH SCORE 2.78763381577E8
AT ITER 3553 NEW BEST:: SOT 1934146334 SOS 430578071 HAS SOPS 430578071 HAS SOUS 278327292 HAS SOUPS 278327292 WITH SCORE 2.78757870071E8
AT ITER 3564 NEW BEST:: SOT 1934140029 SOS 430571762 HAS SOPS 430571762 HAS SOUS 278320986 HAS SOUPS 278320986 WITH SCORE 2.78751557762E8
AT ITER 3574 NEW BEST:: SOT 1934140029 SOS 430571762 HAS SOPS 430571762 HAS SOUS 278319555 HAS SOUPS 278319555 WITH SCORE 2.78750126762E8
AT ITER 3619 NEW BEST:: SOT 1934135315 SOS 430562334 HAS SOPS 430562334 HAS SOUS 278314841 HAS SOUPS 278314841 WITH SCORE 2.78745403334E8
AT ITER 3637 NEW BEST:: SOT 1934133634 SOS 430565688 HAS SOPS 430565688 HAS SOUS 278313158 HAS SOUPS 278313158 WITH SCORE 2.78743723688E8
AT ITER 3658 NEW BEST:: SOT 1934129423 SOS 430568540 HAS SOPS 430568540 HAS SOUS 278312943 HAS SOUPS 278312943 WITH SCORE 2.7874351154E8
AT ITER 3676 NEW BEST:: SOT 1934124601 SOS 430580584 HAS SOPS 430580584 HAS SOUS 278310212 HAS SOUPS 278310212 WITH SCORE 2.78740792584E8
AT ITER 3742 NEW BEST:: SOT 1934109993 SOS 430576289 HAS SOPS 430576289 HAS SOUS 278303911 HAS SOUPS 278303911 WITH SCORE 2.78734487289E8
AT ITER 3743 NEW BEST:: SOT 1934101727 SOS 430563890 HAS SOPS 430563890 HAS SOUS 278295645 HAS SOUPS 278295645 WITH SCORE 2.7872620889E8
AT ITER 3759 NEW BEST:: SOT 1934105347 SOS 430571130 HAS SOPS 430571130 HAS SOUS 278294536 HAS SOUPS 278294536 WITH SCORE 2.7872510713E8
AT ITER 3779 NEW BEST:: SOT 1934107931 SOS 430537121 HAS SOPS 430537121 HAS SOUS 278287802 HAS SOUPS 278287802 WITH SCORE 2.78718339121E8
AT ITER 3786 NEW BEST:: SOT 1934094259 SOS 430530285 HAS SOPS 430530285 HAS SOUS 278280966 HAS SOUPS 278280966 WITH SCORE 2.78711496285E8
AT ITER 3844 NEW BEST:: SOT 1934083598 SOS 430540946 HAS SOPS 430540946 HAS SOUS 278267581 HAS SOUPS 278267581 WITH SCORE 2.78698121946E8
AT ITER 3859 NEW BEST:: SOT 1934083598 SOS 430542030 HAS SOPS 430542030 HAS SOUS 278267579 HAS SOUPS 278267579 WITH SCORE 2.7869812103E8
AT ITER 3875 NEW BEST:: SOT 1934076254 SOS 430538358 HAS SOPS 430538358 HAS SOUS 278263907 HAS SOUPS 278263907 WITH SCORE 2.78694445358E8
AT ITER 3877 NEW BEST:: SOT 1934070076 SOS 430507468 HAS SOPS 430507468 HAS SOUS 278251551 HAS SOUPS 278251551 WITH SCORE 2.78682058468E8
AT ITER 3897 NEW BEST:: SOT 1934068427 SOS 430507464 HAS SOPS 430507464 HAS SOUS 278251550 HAS SOUPS 278251550 WITH SCORE 2.78682057464E8
AT ITER 3930 NEW BEST:: SOT 1934058686 SOS 430494063 HAS SOPS 430494063 HAS SOUS 278240894 HAS SOUPS 278240894 WITH SCORE 2.78671388063E8
AT ITER 3944 NEW BEST:: SOT 1934061853 SOS 430490893 HAS SOPS 430490893 HAS SOUS 278240893 HAS SOUPS 278240893 WITH SCORE 2.78671383893E8
AT ITER 3965 NEW BEST:: SOT 1934061853 SOS 430490893 HAS SOPS 430490893 HAS SOUS 278240892 HAS SOUPS 278240892 WITH SCORE 2.78671382893E8
AT ITER 3968 NEW BEST:: SOT 1934059260 SOS 430485707 HAS SOPS 430485707 HAS SOUS 278238298 HAS SOUPS 278238298 WITH SCORE 2.78668783707E8
AT ITER 3974 NEW BEST:: SOT 1934053134 SOS 430479577 HAS SOPS 430479577 HAS SOUS 278232171 HAS SOUPS 278232171 WITH SCORE 2.78662650577E8
AT ITER 3981 NEW BEST:: SOT 1934049447 SOS 430472203 HAS SOPS 430472203 HAS SOUS 278224797 HAS SOUPS 278224797 WITH SCORE 2.78655269203E8
AT ITER 3999 NEW BEST:: SOT 1934044618 SOS 430417010 HAS SOPS 430417010 HAS SOUS 278202935 HAS SOUPS 278202935 WITH SCORE 2.7863335201E8
AT ITER 4022 NEW BEST:: SOT 1934038111 SOS 430411894 HAS SOPS 430411894 HAS SOUS 278197822 HAS SOUPS 278197822 WITH SCORE 2.78628233894E8
AT ITER 4030 NEW BEST:: SOT 1934035669 SOS 430421854 HAS SOPS 430421854 HAS SOUS 278195380 HAS SOUPS 278195380 WITH SCORE 2.78625801854E8
AT ITER 4060 NEW BEST:: SOT 1934033768 SOS 430418052 HAS SOPS 430418052 HAS SOUS 278191578 HAS SOUPS 278191578 WITH SCORE 2.78621996052E8
AT ITER 4082 NEW BEST:: SOT 1934026486 SOS 430403488 HAS SOPS 430403488 HAS SOUS 278177014 HAS SOUPS 278177014 WITH SCORE 2.78607417488E8
AT ITER 4089 NEW BEST:: SOT 1934024211 SOS 430398938 HAS SOPS 430398938 HAS SOUS 278169993 HAS SOUPS 278169993 WITH SCORE 2.78600391938E8
AT ITER 4130 NEW BEST:: SOT 1934019225 SOS 430388966 HAS SOPS 430388966 HAS SOUS 278160021 HAS SOUPS 278160021 WITH SCORE 2.78590409966E8
AT ITER 4158 NEW BEST:: SOT 1934012888 SOS 430384666 HAS SOPS 430384666 HAS SOUS 278155721 HAS SOUPS 278155721 WITH SCORE 2.78586105666E8
AT ITER 4171 NEW BEST:: SOT 1934003308 SOS 430375082 HAS SOPS 430375082 HAS SOUS 278146140 HAS SOUPS 278146140 WITH SCORE 2.78576515082E8
AT ITER 4172 NEW BEST:: SOT 1934003308 SOS 430374686 HAS SOPS 430374686 HAS SOUS 278145942 HAS SOUPS 278145942 WITH SCORE 2.78576316686E8
AT ITER 4190 NEW BEST:: SOT 1933994458 SOS 430365832 HAS SOPS 430365832 HAS SOUS 278137091 HAS SOUPS 278137091 WITH SCORE 2.78567456832E8
AT ITER 4203 NEW BEST:: SOT 1933989425 SOS 430362962 HAS SOPS 430362962 HAS SOUS 278134221 HAS SOUPS 278134221 WITH SCORE 2.78564583962E8
AT ITER 4217 NEW BEST:: SOT 1933989424 SOS 430362960 HAS SOPS 430362960 HAS SOUS 278134219 HAS SOUPS 278134219 WITH SCORE 2.7856458196E8
AT ITER 4229 NEW BEST:: SOT 1933980672 SOS 430354204 HAS SOPS 430354204 HAS SOUS 278125466 HAS SOUPS 278125466 WITH SCORE 2.78555820204E8
AT ITER 4283 NEW BEST:: SOT 1933971190 SOS 430306794 HAS SOPS 430306794 HAS SOUS 278106502 HAS SOUPS 278106502 WITH SCORE 2.78536808794E8
AT ITER 4309 NEW BEST:: SOT 1933966650 SOS 430297715 HAS SOPS 430297715 HAS SOUS 278097423 HAS SOUPS 278097423 WITH SCORE 2.78527720715E8
AT ITER 4320 NEW BEST:: SOT 1933958678 SOS 430312370 HAS SOPS 430312370 HAS SOUS 278081478 HAS SOUPS 278081478 WITH SCORE 2.7851179037E8
AT ITER 4342 NEW BEST:: SOT 1933956112 SOS 430307238 HAS SOPS 430307238 HAS SOUS 278076346 HAS SOUPS 278076346 WITH SCORE 2.78506653238E8
AT ITER 4343 NEW BEST:: SOT 1933956112 SOS 430299339 HAS SOPS 430299339 HAS SOUS 278073713 HAS SOUPS 278073713 WITH SCORE 2.78504012339E8
AT ITER 4384 NEW BEST:: SOT 1933948926 SOS 430292149 HAS SOPS 430292149 HAS SOUS 278066526 HAS SOUPS 278066526 WITH SCORE 2.78496818149E8
AT ITER 4406 NEW BEST:: SOT 1933948570 SOS 430292853 HAS SOPS 430292853 HAS SOUS 278066168 HAS SOUPS 278066168 WITH SCORE 2.78496460853E8
AT ITER 4441 NEW BEST:: SOT 1933948570 SOS 430281846 HAS SOPS 430281846 HAS SOUS 278066167 HAS SOUPS 278066167 WITH SCORE 2.78496448846E8
AT ITER 4449 NEW BEST:: SOT 1933948205 SOS 430281116 HAS SOPS 430281116 HAS SOUS 278065437 HAS SOUPS 278065437 WITH SCORE 2.78495718116E8
AT ITER 4480 NEW BEST:: SOT 1933947659 SOS 430280025 HAS SOPS 430280025 HAS SOUS 278064346 HAS SOUPS 278064346 WITH SCORE 2.78494626025E8
AT ITER 4495 NEW BEST:: SOT 1933938589 SOS 430270953 HAS SOPS 430270953 HAS SOUS 278055274 HAS SOUPS 278055274 WITH SCORE 2.78485544953E8
AT ITER 4518 NEW BEST:: SOT 1933930733 SOS 430273469 HAS SOPS 430273469 HAS SOUS 278054504 HAS SOUPS 278054504 WITH SCORE 2.78484777469E8
AT ITER 4523 NEW BEST:: SOT 1933926023 SOS 430276261 HAS SOPS 430276261 HAS SOUS 278053055 HAS SOUPS 278053055 WITH SCORE 2.78483331261E8
AT ITER 4541 NEW BEST:: SOT 1933910327 SOS 430256294 HAS SOPS 430256294 HAS SOUS 278029510 HAS SOUPS 278029510 WITH SCORE 2.78459766294E8
AT ITER 4543 NEW BEST:: SOT 1933911888 SOS 430242280 HAS SOPS 430242280 HAS SOUS 278026139 HAS SOUPS 278026139 WITH SCORE 2.7845638128E8
AT ITER 4568 NEW BEST:: SOT 1933911202 SOS 430240908 HAS SOPS 430240908 HAS SOUS 278023644 HAS SOUPS 278023644 WITH SCORE 2.78453884908E8
AT ITER 4599 NEW BEST:: SOT 1933911202 SOS 430239008 HAS SOPS 430239008 HAS SOUS 278021744 HAS SOUPS 278021744 WITH SCORE 2.78451983008E8
AT ITER 4619 NEW BEST:: SOT 1933911202 SOS 430238605 HAS SOPS 430238605 HAS SOUS 278021341 HAS SOUPS 278021341 WITH SCORE 2.78451579605E8
AT ITER 4621 NEW BEST:: SOT 1933902909 SOS 430201152 HAS SOPS 430201152 HAS SOUS 278005758 HAS SOUPS 278005758 WITH SCORE 2.78435959152E8
AT ITER 4631 NEW BEST:: SOT 1933902909 SOS 430201152 HAS SOPS 430201152 HAS SOUS 278002661 HAS SOUPS 278002661 WITH SCORE 2.78432862152E8
AT ITER 4636 NEW BEST:: SOT 1933904625 SOS 430204584 HAS SOPS 430204584 HAS SOUS 277992019 HAS SOUPS 277992019 WITH SCORE 2.78422223584E8
AT ITER 4663 NEW BEST:: SOT 1933904625 SOS 430204584 HAS SOPS 430204584 HAS SOUS 277992018 HAS SOUPS 277992018 WITH SCORE 2.78422222584E8
AT ITER 4666 NEW BEST:: SOT 1933904625 SOS 430236030 HAS SOPS 430236030 HAS SOUS 277988882 HAS SOUPS 277988882 WITH SCORE 2.7841911803E8
AT ITER 4673 NEW BEST:: SOT 1933900465 SOS 430227710 HAS SOPS 430227710 HAS SOUS 277980562 HAS SOUPS 277980562 WITH SCORE 2.7841078971E8
AT ITER 4679 NEW BEST:: SOT 1933900464 SOS 430227708 HAS SOPS 430227708 HAS SOUS 277980560 HAS SOUPS 277980560 WITH SCORE 2.78410787708E8
AT ITER 4682 NEW BEST:: SOT 1933888148 SOS 430213218 HAS SOPS 430213218 HAS SOUS 277964179 HAS SOUPS 277964179 WITH SCORE 2.78394392218E8
AT ITER 4683 NEW BEST:: SOT 1933881222 SOS 430206292 HAS SOPS 430206292 HAS SOUS 277957253 HAS SOUPS 277957253 WITH SCORE 2.78387459292E8
AT ITER 4709 NEW BEST:: SOT 1933873897 SOS 430216898 HAS SOPS 430216898 HAS SOUS 277942249 HAS SOUPS 277942249 WITH SCORE 2.78372465898E8
AT ITER 4716 NEW BEST:: SOT 1933877714 SOS 430203781 HAS SOPS 430203781 HAS SOUS 277941057 HAS SOUPS 277941057 WITH SCORE 2.78371260781E8
AT ITER 4726 NEW BEST:: SOT 1933876472 SOS 430205023 HAS SOPS 430205023 HAS SOUS 277939815 HAS SOUPS 277939815 WITH SCORE 2.78370020023E8
AT ITER 4737 NEW BEST:: SOT 1933876470 SOS 430205019 HAS SOPS 430205019 HAS SOUS 277939811 HAS SOUPS 277939811 WITH SCORE 2.78370016019E8
AT ITER 4774 NEW BEST:: SOT 1933870187 SOS 430198736 HAS SOPS 430198736 HAS SOUS 277933528 HAS SOUPS 277933528 WITH SCORE 2.78363726736E8
AT ITER 4780 NEW BEST:: SOT 1933870187 SOS 430198736 HAS SOPS 430198736 HAS SOUS 277919952 HAS SOUPS 277919952 WITH SCORE 2.78350150736E8
AT ITER 4822 NEW BEST:: SOT 1933863583 SOS 430194295 HAS SOPS 430194295 HAS SOUS 277915511 HAS SOUPS 277915511 WITH SCORE 2.78345705295E8
AT ITER 4842 NEW BEST:: SOT 1933863583 SOS 430190906 HAS SOPS 430190906 HAS SOUS 277915511 HAS SOUPS 277915511 WITH SCORE 2.78345701906E8
AT ITER 4846 NEW BEST:: SOT 1933854788 SOS 430188739 HAS SOPS 430188739 HAS SOUS 277913344 HAS SOUPS 277913344 WITH SCORE 2.78343532739E8
AT ITER 4847 NEW BEST:: SOT 1933850284 SOS 430188739 HAS SOPS 430188739 HAS SOUS 277911092 HAS SOUPS 277911092 WITH SCORE 2.78341280739E8
AT ITER 4852 NEW BEST:: SOT 1933848211 SOS 430184593 HAS SOPS 430184593 HAS SOUS 277906946 HAS SOUPS 277906946 WITH SCORE 2.78337130593E8
AT ITER 4881 NEW BEST:: SOT 1933844504 SOS 430177179 HAS SOPS 430177179 HAS SOUS 277899532 HAS SOUPS 277899532 WITH SCORE 2.78329709179E8
AT ITER 4886 NEW BEST:: SOT 1933844504 SOS 430177179 HAS SOPS 430177179 HAS SOUS 277899531 HAS SOUPS 277899531 WITH SCORE 2.78329708179E8
AT ITER 4913 NEW BEST:: SOT 1933836465 SOS 430171104 HAS SOPS 430171104 HAS SOUS 277893456 HAS SOUPS 277893456 WITH SCORE 2.78323627104E8
AT ITER 4926 NEW BEST:: SOT 1933839306 SOS 430145820 HAS SOPS 430145820 HAS SOUS 277886363 HAS SOUPS 277886363 WITH SCORE 2.7831650882E8
AT ITER 4929 NEW BEST:: SOT 1933834377 SOS 430143940 HAS SOPS 430143940 HAS SOUS 277882960 HAS SOUPS 277882960 WITH SCORE 2.7831310394E8
AT ITER 4942 NEW BEST:: SOT 1933838868 SOS 430130809 HAS SOPS 430130809 HAS SOUS 277882325 HAS SOUPS 277882325 WITH SCORE 2.78312455809E8
AT ITER 4954 NEW BEST:: SOT 1933836366 SOS 430148323 HAS SOPS 430148323 HAS SOUS 277879823 HAS SOUPS 277879823 WITH SCORE 2.78309971323E8
AT ITER 4966 NEW BEST:: SOT 1933834899 SOS 430148319 HAS SOPS 430148319 HAS SOUS 277879014 HAS SOUPS 277879014 WITH SCORE 2.78309162319E8
AT ITER 4972 NEW BEST:: SOT 1933832645 SOS 430147834 HAS SOPS 430147834 HAS SOUS 277878185 HAS SOUPS 277878185 WITH SCORE 2.78308332834E8
AT ITER 5011 NEW BEST:: SOT 1933816533 SOS 430133594 HAS SOPS 430133594 HAS SOUS 277863008 HAS SOUPS 277863008 WITH SCORE 2.78293141594E8
AT ITER 5021 NEW BEST:: SOT 1933803428 SOS 430132824 HAS SOPS 430132824 HAS SOUS 277858383 HAS SOUPS 277858383 WITH SCORE 2.78288515824E8
AT ITER 5033 NEW BEST:: SOT 1933801188 SOS 430128344 HAS SOPS 430128344 HAS SOUS 277853903 HAS SOUPS 277853903 WITH SCORE 2.78284031344E8
AT ITER 5062 NEW BEST:: SOT 1933803577 SOS 430133122 HAS SOPS 430133122 HAS SOUS 277853013 HAS SOUPS 277853013 WITH SCORE 2.78283146122E8
AT ITER 5068 NEW BEST:: SOT 1933803381 SOS 430132730 HAS SOPS 430132730 HAS SOUS 277846022 HAS SOUPS 277846022 WITH SCORE 2.7827615473E8
AT ITER 5099 NEW BEST:: SOT 1933801584 SOS 430129136 HAS SOPS 430129136 HAS SOUS 277842428 HAS SOUPS 277842428 WITH SCORE 2.78272557136E8
AT ITER 5141 NEW BEST:: SOT 1933799745 SOS 430125458 HAS SOPS 430125458 HAS SOUS 277841074 HAS SOUPS 277841074 WITH SCORE 2.78271199458E8
AT ITER 5152 NEW BEST:: SOT 1933786958 SOS 430099884 HAS SOPS 430099884 HAS SOUS 277815500 HAS SOUPS 277815500 WITH SCORE 2.78245599884E8
AT ITER 5224 NEW BEST:: SOT 1933783695 SOS 430093358 HAS SOPS 430093358 HAS SOUS 277808974 HAS SOUPS 277808974 WITH SCORE 2.78239067358E8
AT ITER 5255 NEW BEST:: SOT 1933782220 SOS 430090408 HAS SOPS 430090408 HAS SOUS 277806024 HAS SOUPS 277806024 WITH SCORE 2.78236114408E8
AT ITER 5256 NEW BEST:: SOT 1933782219 SOS 430090406 HAS SOPS 430090406 HAS SOUS 277806022 HAS SOUPS 277806022 WITH SCORE 2.78236112406E8
AT ITER 5314 NEW BEST:: SOT 1933782219 SOS 430084706 HAS SOPS 430084706 HAS SOUS 277804122 HAS SOUPS 277804122 WITH SCORE 2.78234206706E8
AT ITER 5326 NEW BEST:: SOT 1933769789 SOS 430084914 HAS SOPS 430084914 HAS SOUS 277802499 HAS SOUPS 277802499 WITH SCORE 2.78232583914E8
AT ITER 5327 NEW BEST:: SOT 1933767314 SOS 430091490 HAS SOPS 430091490 HAS SOUS 277800024 HAS SOUPS 277800024 WITH SCORE 2.7823011549E8
AT ITER 5334 NEW BEST:: SOT 1933751614 SOS 430114570 HAS SOPS 430114570 HAS SOUS 277796287 HAS SOUPS 277796287 WITH SCORE 2.7822640157E8
AT ITER 5335 NEW BEST:: SOT 1933746326 SOS 430103994 HAS SOPS 430103994 HAS SOUS 277785711 HAS SOUPS 277785711 WITH SCORE 2.78215814994E8
AT ITER 5351 NEW BEST:: SOT 1933740182 SOS 430091706 HAS SOPS 430091706 HAS SOUS 277773423 HAS SOUPS 277773423 WITH SCORE 2.78203514706E8
AT ITER 5352 NEW BEST:: SOT 1933740182 SOS 430090074 HAS SOPS 430090074 HAS SOUS 277773423 HAS SOUPS 277773423 WITH SCORE 2.78203513074E8
AT ITER 5429 NEW BEST:: SOT 1933736183 SOS 430070079 HAS SOPS 430070079 HAS SOUS 277765425 HAS SOUPS 277765425 WITH SCORE 2.78195495079E8
AT ITER 5430 NEW BEST:: SOT 1933736072 SOS 430069856 HAS SOPS 430069856 HAS SOUS 277765202 HAS SOUPS 277765202 WITH SCORE 2.78195271856E8
AT ITER 5432 NEW BEST:: SOT 1933735208 SOS 430070720 HAS SOPS 430070720 HAS SOUS 277764338 HAS SOUPS 277764338 WITH SCORE 2.7819440872E8
AT ITER 5437 NEW BEST:: SOT 1933733825 SOS 430067954 HAS SOPS 430067954 HAS SOUS 277761572 HAS SOUPS 277761572 WITH SCORE 2.78191639954E8
AT ITER 5450 NEW BEST:: SOT 1933731336 SOS 430062976 HAS SOPS 430062976 HAS SOUS 277761282 HAS SOUPS 277761282 WITH SCORE 2.78191344976E8
AT ITER 5488 NEW BEST:: SOT 1933730201 SOS 430065238 HAS SOPS 430065238 HAS SOUS 277760145 HAS SOUPS 277760145 WITH SCORE 2.78190210238E8
AT ITER 5536 NEW BEST:: SOT 1933728461 SOS 430061758 HAS SOPS 430061758 HAS SOUS 277755586 HAS SOUPS 277755586 WITH SCORE 2.78185647758E8
AT ITER 5540 NEW BEST:: SOT 1933725737 SOS 430059030 HAS SOPS 430059030 HAS SOUS 277754732 HAS SOUPS 277754732 WITH SCORE 2.7818479103E8
AT ITER 5542 NEW BEST:: SOT 1933723732 SOS 430061950 HAS SOPS 430061950 HAS SOUS 277753132 HAS SOUPS 277753132 WITH SCORE 2.7818319395E8
AT ITER 5548 NEW BEST:: SOT 1933723732 SOS 430061950 HAS SOPS 430061950 HAS SOUS 277742757 HAS SOUPS 277742757 WITH SCORE 2.7817281895E8
AT ITER 5598 NEW BEST:: SOT 1933727064 SOS 430059073 HAS SOPS 430059073 HAS SOUS 277739880 HAS SOUPS 277739880 WITH SCORE 2.78169939073E8
AT ITER 5615 NEW BEST:: SOT 1933724123 SOS 430053191 HAS SOPS 430053191 HAS SOUS 277733998 HAS SOUPS 277733998 WITH SCORE 2.78164051191E8
AT ITER 5631 NEW BEST:: SOT 1933717950 SOS 430047018 HAS SOPS 430047018 HAS SOUS 277727825 HAS SOUPS 277727825 WITH SCORE 2.78157872018E8
AT ITER 5650 NEW BEST:: SOT 1933713900 SOS 430042968 HAS SOPS 430042968 HAS SOUS 277723775 HAS SOUPS 277723775 WITH SCORE 2.78153817968E8
AT ITER 5662 NEW BEST:: SOT 1933707342 SOS 430039463 HAS SOPS 430039463 HAS SOUS 277720270 HAS SOUPS 277720270 WITH SCORE 2.78150309463E8
AT ITER 5747 NEW BEST:: SOT 1933696427 SOS 430026365 HAS SOPS 430026365 HAS SOUS 277709355 HAS SOUPS 277709355 WITH SCORE 2.78139381365E8
AT ITER 5763 NEW BEST:: SOT 1933694625 SOS 430022761 HAS SOPS 430022761 HAS SOUS 277699745 HAS SOUPS 277699745 WITH SCORE 2.78129767761E8
AT ITER 5773 NEW BEST:: SOT 1933694625 SOS 430020917 HAS SOPS 430020917 HAS SOUS 277697901 HAS SOUPS 277697901 WITH SCORE 2.78127921917E8
AT ITER 5790 NEW BEST:: SOT 1933692954 SOS 430020913 HAS SOPS 430020913 HAS SOUS 277696964 HAS SOUPS 277696964 WITH SCORE 2.78126984913E8
AT ITER 5796 NEW BEST:: SOT 1933686385 SOS 430034042 HAS SOPS 430034042 HAS SOUS 277683090 HAS SOUPS 277683090 WITH SCORE 2.78113124042E8
AT ITER 5799 NEW BEST:: SOT 1933682936 SOS 430034038 HAS SOPS 430034038 HAS SOUS 277683089 HAS SOUPS 277683089 WITH SCORE 2.78113123038E8
AT ITER 5810 NEW BEST:: SOT 1933652433 SOS 430011854 HAS SOPS 430011854 HAS SOUS 277666451 HAS SOUPS 277666451 WITH SCORE 2.78096462854E8
AT ITER 5832 NEW BEST:: SOT 1933642898 SOS 429964179 HAS SOPS 429964179 HAS SOUS 277647381 HAS SOUPS 277647381 WITH SCORE 2.78077345179E8
AT ITER 5837 NEW BEST:: SOT 1933639480 SOS 429960761 HAS SOPS 429960761 HAS SOUS 277647381 HAS SOUPS 277647381 WITH SCORE 2.78077341761E8
AT ITER 5872 NEW BEST:: SOT 1933638432 SOS 429958661 HAS SOPS 429958661 HAS SOUS 277645284 HAS SOUPS 277645284 WITH SCORE 2.78075242661E8
AT ITER 5875 NEW BEST:: SOT 1933632675 SOS 429955517 HAS SOPS 429955517 HAS SOUS 277642143 HAS SOUPS 277642143 WITH SCORE 2.78072098517E8
AT ITER 5878 NEW BEST:: SOT 1933632675 SOS 429954875 HAS SOPS 429954875 HAS SOUS 277641501 HAS SOUPS 277641501 WITH SCORE 2.78071455875E8
AT ITER 5885 NEW BEST:: SOT 1933622128 SOS 429952999 HAS SOPS 429952999 HAS SOUS 277632495 HAS SOUPS 277632495 WITH SCORE 2.78062447999E8
AT ITER 5891 NEW BEST:: SOT 1933622128 SOS 429965195 HAS SOPS 429965195 HAS SOUS 277631652 HAS SOUPS 277631652 WITH SCORE 2.78061617195E8
AT ITER 5893 NEW BEST:: SOT 1933621651 SOS 429964241 HAS SOPS 429964241 HAS SOUS 277630698 HAS SOUPS 277630698 WITH SCORE 2.78060662241E8
AT ITER 5920 NEW BEST:: SOT 1933620607 SOS 429965285 HAS SOPS 429965285 HAS SOUS 277629654 HAS SOUPS 277629654 WITH SCORE 2.78059619285E8
AT ITER 5927 NEW BEST:: SOT 1933618680 SOS 429961431 HAS SOPS 429961431 HAS SOUS 277627726 HAS SOUPS 277627726 WITH SCORE 2.78057687431E8
AT ITER 5966 NEW BEST:: SOT 1933606609 SOS 429950427 HAS SOPS 429950427 HAS SOUS 277616213 HAS SOUPS 277616213 WITH SCORE 2.78046163427E8
AT ITER 5978 NEW BEST:: SOT 1933597064 SOS 429940878 HAS SOPS 429940878 HAS SOUS 277606667 HAS SOUPS 277606667 WITH SCORE 2.78036607878E8
AT ITER 5980 NEW BEST:: SOT 1933590997 SOS 429951858 HAS SOPS 429951858 HAS SOUS 277604360 HAS SOUPS 277604360 WITH SCORE 2.78034311858E8
AT ITER 6038 NEW BEST:: SOT 1933587501 SOS 429944866 HAS SOPS 429944866 HAS SOUS 277597368 HAS SOUPS 277597368 WITH SCORE 2.78027312866E8
AT ITER 6066 NEW BEST:: SOT 1933579766 SOS 429937181 HAS SOPS 429937181 HAS SOUS 277589660 HAS SOUPS 277589660 WITH SCORE 2.78019597181E8
AT ITER 6067 NEW BEST:: SOT 1933574496 SOS 429926641 HAS SOPS 429926641 HAS SOUS 277579120 HAS SOUPS 277579120 WITH SCORE 2.78009046641E8
AT ITER 6097 NEW BEST:: SOT 1933574496 SOS 429926641 HAS SOPS 429926641 HAS SOUS 277579119 HAS SOUPS 277579119 WITH SCORE 2.78009045641E8
AT ITER 6099 NEW BEST:: SOT 1933552290 SOS 429928205 HAS SOPS 429928205 HAS SOUS 277574626 HAS SOUPS 277574626 WITH SCORE 2.78004554205E8
AT ITER 6165 NEW BEST:: SOT 1933543406 SOS 429919321 HAS SOPS 429919321 HAS SOUS 277565742 HAS SOUPS 277565742 WITH SCORE 2.77995661321E8
AT ITER 6167 NEW BEST:: SOT 1933535557 SOS 429928039 HAS SOPS 429928039 HAS SOUS 277549941 HAS SOUPS 277549941 WITH SCORE 2.77979869039E8
AT ITER 6182 NEW BEST:: SOT 1933535557 SOS 429928039 HAS SOPS 429928039 HAS SOUS 277549940 HAS SOUPS 277549940 WITH SCORE 2.77979868039E8
AT ITER 6184 NEW BEST:: SOT 1933532616 SOS 429925098 HAS SOPS 429925098 HAS SOUS 277544058 HAS SOUPS 277544058 WITH SCORE 2.77973983098E8
AT ITER 6196 NEW BEST:: SOT 1933530774 SOS 429921414 HAS SOPS 429921414 HAS SOUS 277540374 HAS SOUPS 277540374 WITH SCORE 2.77970295414E8
AT ITER 6230 NEW BEST:: SOT 1933526765 SOS 429939768 HAS SOPS 429939768 HAS SOUS 277536365 HAS SOUPS 277536365 WITH SCORE 2.77966304768E8
AT ITER 6243 NEW BEST:: SOT 1933530227 SOS 430021004 HAS SOPS 430021004 HAS SOUS 277535030 HAS SOUPS 277535030 WITH SCORE 2.77965051004E8
AT ITER 6283 NEW BEST:: SOT 1933519832 SOS 430023548 HAS SOPS 430023548 HAS SOUS 277529796 HAS SOUPS 277529796 WITH SCORE 2.77959819548E8
AT ITER 6337 NEW BEST:: SOT 1933518699 SOS 430021282 HAS SOPS 430021282 HAS SOUS 277528662 HAS SOUPS 277528662 WITH SCORE 2.77958683282E8
AT ITER 6347 NEW BEST:: SOT 1933511359 SOS 430016274 HAS SOPS 430016274 HAS SOUS 277524199 HAS SOUPS 277524199 WITH SCORE 2.77954215274E8
AT ITER 6370 NEW BEST:: SOT 1933505330 SOS 430016274 HAS SOPS 430016274 HAS SOUS 277518170 HAS SOUPS 277518170 WITH SCORE 2.77948186274E8
AT ITER 6381 NEW BEST:: SOT 1933499753 SOS 430005120 HAS SOPS 430005120 HAS SOUS 277507016 HAS SOUPS 277507016 WITH SCORE 2.7793702112E8
AT ITER 6384 NEW BEST:: SOT 1933499065 SOS 430003745 HAS SOPS 430003745 HAS SOUS 277505641 HAS SOUPS 277505641 WITH SCORE 2.77935644745E8
AT ITER 6409 NEW BEST:: SOT 1933499064 SOS 430003743 HAS SOPS 430003743 HAS SOUS 277505639 HAS SOUPS 277505639 WITH SCORE 2.77935642743E8
AT ITER 6458 NEW BEST:: SOT 1933496428 SOS 430001107 HAS SOPS 430001107 HAS SOUS 277505639 HAS SOUPS 277505639 WITH SCORE 2.77935640107E8
AT ITER 6471 NEW BEST:: SOT 1933495512 SOS 429999275 HAS SOPS 429999275 HAS SOUS 277503807 HAS SOUPS 277503807 WITH SCORE 2.77933806275E8
AT ITER 6497 NEW BEST:: SOT 1933489742 SOS 429993505 HAS SOPS 429993505 HAS SOUS 277498037 HAS SOUPS 277498037 WITH SCORE 2.77928030505E8
AT ITER 6505 NEW BEST:: SOT 1933489741 SOS 429993503 HAS SOPS 429993503 HAS SOUS 277498035 HAS SOUPS 277498035 WITH SCORE 2.77928028503E8
AT ITER 6544 NEW BEST:: SOT 1933491547 SOS 430057594 HAS SOPS 430057594 HAS SOUS 277495747 HAS SOUPS 277495747 WITH SCORE 2.77925804594E8
AT ITER 6565 NEW BEST:: SOT 1933491547 SOS 430057590 HAS SOPS 430057590 HAS SOUS 277492675 HAS SOUPS 277492675 WITH SCORE 2.7792273259E8
AT ITER 6604 NEW BEST:: SOT 1933491546 SOS 430057588 HAS SOPS 430057588 HAS SOUS 277492673 HAS SOUPS 277492673 WITH SCORE 2.77922730588E8
AT ITER 6610 NEW BEST:: SOT 1933483748 SOS 430049786 HAS SOPS 430049786 HAS SOUS 277484874 HAS SOUPS 277484874 WITH SCORE 2.77914923786E8
AT ITER 6642 NEW BEST:: SOT 1933479597 SOS 430045635 HAS SOPS 430045635 HAS SOUS 277480723 HAS SOUPS 277480723 WITH SCORE 2.77910768635E8
AT ITER 6701 NEW BEST:: SOT 1933472214 SOS 430039904 HAS SOPS 430039904 HAS SOUS 277473339 HAS SOUPS 277473339 WITH SCORE 2.77903378904E8
AT ITER 6707 NEW BEST:: SOT 1933472214 SOS 430036850 HAS SOPS 430036850 HAS SOUS 277472321 HAS SOUPS 277472321 WITH SCORE 2.7790235785E8
AT ITER 6762 NEW BEST:: SOT 1933469699 SOS 430036850 HAS SOPS 430036850 HAS SOUS 277469806 HAS SOUPS 277469806 WITH SCORE 2.7789984285E8
AT ITER 6820 NEW BEST:: SOT 1933465443 SOS 430032594 HAS SOPS 430032594 HAS SOUS 277461294 HAS SOUPS 277461294 WITH SCORE 2.77891326594E8
AT ITER 6834 NEW BEST:: SOT 1933457133 SOS 430024280 HAS SOPS 430024280 HAS SOUS 277452983 HAS SOUPS 277452983 WITH SCORE 2.7788300728E8
AT ITER 6880 NEW BEST:: SOT 1933457133 SOS 430024027 HAS SOPS 430024027 HAS SOUS 277452730 HAS SOUPS 277452730 WITH SCORE 2.77882754027E8
AT ITER 6950 NEW BEST:: SOT 1933455618 SOS 430022944 HAS SOPS 430022944 HAS SOUS 277451647 HAS SOUPS 277451647 WITH SCORE 2.77881669944E8
AT ITER 6991 NEW BEST:: SOT 1933455617 SOS 430022942 HAS SOPS 430022942 HAS SOUS 277451645 HAS SOUPS 277451645 WITH SCORE 2.77881667942E8
AT ITER 7009 NEW BEST:: SOT 1933455617 SOS 430056682 HAS SOPS 430056682 HAS SOUS 277449144 HAS SOUPS 277449144 WITH SCORE 2.77879200682E8
AT ITER 7026 NEW BEST:: SOT 1933452685 SOS 430050818 HAS SOPS 430050818 HAS SOUS 277443280 HAS SOUPS 277443280 WITH SCORE 2.77873330818E8
AT ITER 7029 NEW BEST:: SOT 1933446169 SOS 430045774 HAS SOPS 430045774 HAS SOUS 277438236 HAS SOUPS 277438236 WITH SCORE 2.77868281774E8
AT ITER 7051 NEW BEST:: SOT 1933439936 SOS 430045772 HAS SOPS 430045772 HAS SOUS 277438234 HAS SOUPS 277438234 WITH SCORE 2.77868279772E8
AT ITER 7074 NEW BEST:: SOT 1933439427 SOS 430044754 HAS SOPS 430044754 HAS SOUS 277437725 HAS SOUPS 277437725 WITH SCORE 2.77867769754E8
AT ITER 7082 NEW BEST:: SOT 1933438074 SOS 430042048 HAS SOPS 430042048 HAS SOUS 277435019 HAS SOUPS 277435019 WITH SCORE 2.77865061048E8
AT ITER 7083 NEW BEST:: SOT 1933431070 SOS 430035044 HAS SOPS 430035044 HAS SOUS 277428015 HAS SOUPS 277428015 WITH SCORE 2.77858050044E8
AT ITER 7115 NEW BEST:: SOT 1933430403 SOS 430033710 HAS SOPS 430033710 HAS SOUS 277426681 HAS SOUPS 277426681 WITH SCORE 2.7785671471E8
AT ITER 7133 NEW BEST:: SOT 1933429113 SOS 430033658 HAS SOPS 430033658 HAS SOUS 277426629 HAS SOUPS 277426629 WITH SCORE 2.77856662658E8
AT ITER 7200 NEW BEST:: SOT 1933424543 SOS 430024518 HAS SOPS 430024518 HAS SOUS 277417489 HAS SOUPS 277417489 WITH SCORE 2.77847513518E8
AT ITER 7221 NEW BEST:: SOT 1933418203 SOS 430020213 HAS SOPS 430020213 HAS SOUS 277413187 HAS SOUPS 277413187 WITH SCORE 2.77843207213E8
AT ITER 7245 NEW BEST:: SOT 1933417684 SOS 430018137 HAS SOPS 430018137 HAS SOUS 277412668 HAS SOUPS 277412668 WITH SCORE 2.77842686137E8
AT ITER 7259 NEW BEST:: SOT 1933409777 SOS 430010230 HAS SOPS 430010230 HAS SOUS 277404761 HAS SOUPS 277404761 WITH SCORE 2.7783477123E8
AT ITER 7273 NEW BEST:: SOT 1933396477 SOS 429994270 HAS SOPS 429994270 HAS SOUS 277403556 HAS SOUPS 277403556 WITH SCORE 2.7783355027E8
AT ITER 7386 NEW BEST:: SOT 1933392795 SOS 429997949 HAS SOPS 429997949 HAS SOUS 277399873 HAS SOUPS 277399873 WITH SCORE 2.77829870949E8
AT ITER 7414 NEW BEST:: SOT 1933368694 SOS 429983305 HAS SOPS 429983305 HAS SOUS 277387958 HAS SOUPS 277387958 WITH SCORE 2.77817941305E8
AT ITER 7422 NEW BEST:: SOT 1933364454 SOS 429979065 HAS SOPS 429979065 HAS SOUS 277379478 HAS SOUPS 277379478 WITH SCORE 2.77809457065E8
AT ITER 7432 NEW BEST:: SOT 1933357198 SOS 429975679 HAS SOPS 429975679 HAS SOUS 277374797 HAS SOUPS 277374797 WITH SCORE 2.77804772679E8
AT ITER 7448 NEW BEST:: SOT 1933354156 SOS 429969595 HAS SOPS 429969595 HAS SOUS 277371755 HAS SOUPS 277371755 WITH SCORE 2.77801724595E8
AT ITER 7454 NEW BEST:: SOT 1933353167 SOS 429967616 HAS SOPS 429967616 HAS SOUS 277369776 HAS SOUPS 277369776 WITH SCORE 2.77799743616E8
AT ITER 7456 NEW BEST:: SOT 1933345182 SOS 429962161 HAS SOPS 429962161 HAS SOUS 277364321 HAS SOUPS 277364321 WITH SCORE 2.77794283161E8
AT ITER 7463 NEW BEST:: SOT 1933345182 SOS 429960341 HAS SOPS 429960341 HAS SOUS 277363411 HAS SOUPS 277363411 WITH SCORE 2.77793371341E8
AT ITER 7478 NEW BEST:: SOT 1933345182 SOS 429958695 HAS SOPS 429958695 HAS SOUS 277362588 HAS SOUPS 277362588 WITH SCORE 2.77792546695E8
AT ITER 7500 NEW BEST:: SOT 1933345182 SOS 429960067 HAS SOPS 429960067 HAS SOUS 277362586 HAS SOUPS 277362586 WITH SCORE 2.77792546067E8
AT ITER 7506 NEW BEST:: SOT 1933345182 SOS 429960067 HAS SOPS 429960067 HAS SOUS 277351169 HAS SOUPS 277351169 WITH SCORE 2.77781129067E8
AT ITER 7544 NEW BEST:: SOT 1933340990 SOS 429951683 HAS SOPS 429951683 HAS SOUS 277342969 HAS SOUPS 277342969 WITH SCORE 2.77772920683E8
AT ITER 7564 NEW BEST:: SOT 1933332083 SOS 429907148 HAS SOPS 429907148 HAS SOUS 277325155 HAS SOUPS 277325155 WITH SCORE 2.77755062148E8
AT ITER 7594 NEW BEST:: SOT 1933329458 SOS 429908048 HAS SOPS 429908048 HAS SOUS 277324580 HAS SOUPS 277324580 WITH SCORE 2.77754488048E8
AT ITER 7597 NEW BEST:: SOT 1933326781 SOS 429902694 HAS SOPS 429902694 HAS SOUS 277317522 HAS SOUPS 277317522 WITH SCORE 2.77747424694E8
AT ITER 7601 NEW BEST:: SOT 1933313714 SOS 429901874 HAS SOPS 429901874 HAS SOUS 277304455 HAS SOUPS 277304455 WITH SCORE 2.77734356874E8
AT ITER 7639 NEW BEST:: SOT 1933307776 SOS 429896950 HAS SOPS 429896950 HAS SOUS 277302776 HAS SOUPS 277302776 WITH SCORE 2.7773267295E8
AT ITER 7648 NEW BEST:: SOT 1933306136 SOS 429893670 HAS SOPS 429893670 HAS SOUS 277297892 HAS SOUPS 277297892 WITH SCORE 2.7772778567E8
AT ITER 7649 NEW BEST:: SOT 1933310013 SOS 429880622 HAS SOPS 429880622 HAS SOUS 277296773 HAS SOUPS 277296773 WITH SCORE 2.77726653622E8
AT ITER 7654 NEW BEST:: SOT 1933306256 SOS 429882948 HAS SOPS 429882948 HAS SOUS 277296296 HAS SOUPS 277296296 WITH SCORE 2.77726178948E8
AT ITER 7682 NEW BEST:: SOT 1933306256 SOS 429877688 HAS SOPS 429877688 HAS SOUS 277296296 HAS SOUPS 277296296 WITH SCORE 2.77726173688E8
AT ITER 7704 NEW BEST:: SOT 1933299437 SOS 429872577 HAS SOPS 429872577 HAS SOUS 277291185 HAS SOUPS 277291185 WITH SCORE 2.77721057577E8
AT ITER 7729 NEW BEST:: SOT 1933297291 SOS 429874723 HAS SOPS 429874723 HAS SOUS 277289039 HAS SOUPS 277289039 WITH SCORE 2.77718913723E8
AT ITER 7732 NEW BEST:: SOT 1933296068 SOS 429872277 HAS SOPS 429872277 HAS SOUS 277286593 HAS SOUPS 277286593 WITH SCORE 2.77716465277E8
AT ITER 7742 NEW BEST:: SOT 1933294802 SOS 429871011 HAS SOPS 429871011 HAS SOUS 277285327 HAS SOUPS 277285327 WITH SCORE 2.77715198011E8
AT ITER 7749 NEW BEST:: SOT 1933269095 SOS 429825353 HAS SOPS 429825353 HAS SOUS 277256863 HAS SOUPS 277256863 WITH SCORE 2.77686688353E8
AT ITER 7766 NEW BEST:: SOT 1933269094 SOS 429825351 HAS SOPS 429825351 HAS SOUS 277256861 HAS SOUPS 277256861 WITH SCORE 2.77686686351E8
AT ITER 7777 NEW BEST:: SOT 1933263652 SOS 429830793 HAS SOPS 429830793 HAS SOUS 277251419 HAS SOUPS 277251419 WITH SCORE 2.77681249793E8
AT ITER 7779 NEW BEST:: SOT 1933232548 SOS 429835617 HAS SOPS 429835617 HAS SOUS 277247390 HAS SOUPS 277247390 WITH SCORE 2.77677225617E8
AT ITER 7795 NEW BEST:: SOT 1933230283 SOS 429831083 HAS SOPS 429831083 HAS SOUS 277242859 HAS SOUPS 277242859 WITH SCORE 2.77672690083E8
AT ITER 7805 NEW BEST:: SOT 1933225117 SOS 429840872 HAS SOPS 429840872 HAS SOUS 277236628 HAS SOUPS 277236628 WITH SCORE 2.77666468872E8
AT ITER 7813 NEW BEST:: SOT 1933228880 SOS 429827011 HAS SOPS 429827011 HAS SOUS 277235143 HAS SOUPS 277235143 WITH SCORE 2.77664970011E8
AT ITER 7818 NEW BEST:: SOT 1933226268 SOS 429821787 HAS SOPS 429821787 HAS SOUS 277229919 HAS SOUPS 277229919 WITH SCORE 2.77659740787E8
AT ITER 7833 NEW BEST:: SOT 1933218399 SOS 429826249 HAS SOPS 429826249 HAS SOUS 277224124 HAS SOUPS 277224124 WITH SCORE 2.77653950249E8
AT ITER 7838 NEW BEST:: SOT 1933208576 SOS 429783358 HAS SOPS 429783358 HAS SOUS 277206034 HAS SOUPS 277206034 WITH SCORE 2.77635817358E8
AT ITER 7841 NEW BEST:: SOT 1933206232 SOS 429778670 HAS SOPS 429778670 HAS SOUS 277201346 HAS SOUPS 277201346 WITH SCORE 2.7763112467E8
AT ITER 7875 NEW BEST:: SOT 1933202401 SOS 429771008 HAS SOPS 429771008 HAS SOUS 277193684 HAS SOUPS 277193684 WITH SCORE 2.77623455008E8
AT ITER 7879 NEW BEST:: SOT 1933200633 SOS 429767472 HAS SOPS 429767472 HAS SOUS 277190148 HAS SOUPS 277190148 WITH SCORE 2.77619915472E8
AT ITER 7880 NEW BEST:: SOT 1933192213 SOS 429767471 HAS SOPS 429767471 HAS SOUS 277190147 HAS SOUPS 277190147 WITH SCORE 2.77619914471E8
AT ITER 7899 NEW BEST:: SOT 1933191090 SOS 429766348 HAS SOPS 429766348 HAS SOUS 277190147 HAS SOUPS 277190147 WITH SCORE 2.77619913348E8
AT ITER 7926 NEW BEST:: SOT 1933178765 SOS 429766286 HAS SOPS 429766286 HAS SOUS 277189340 HAS SOUPS 277189340 WITH SCORE 2.77619106286E8
AT ITER 7933 NEW BEST:: SOT 1933181943 SOS 429772642 HAS SOPS 429772642 HAS SOUS 277181587 HAS SOUPS 277181587 WITH SCORE 2.77611359642E8
AT ITER 7949 NEW BEST:: SOT 1933174178 SOS 429757112 HAS SOPS 429757112 HAS SOUS 277166057 HAS SOUPS 277166057 WITH SCORE 2.77595814112E8
AT ITER 7966 NEW BEST:: SOT 1933173411 SOS 429755578 HAS SOPS 429755578 HAS SOUS 277165290 HAS SOUPS 277165290 WITH SCORE 2.77595045578E8
AT ITER 8001 NEW BEST:: SOT 1933172101 SOS 429755440 HAS SOPS 429755440 HAS SOUS 277165152 HAS SOUPS 277165152 WITH SCORE 2.7759490744E8
AT ITER 8003 NEW BEST:: SOT 1933164593 SOS 429751686 HAS SOPS 429751686 HAS SOUS 277161398 HAS SOUPS 277161398 WITH SCORE 2.77591149686E8
AT ITER 8013 NEW BEST:: SOT 1933159623 SOS 429746716 HAS SOPS 429746716 HAS SOUS 277156428 HAS SOUPS 277156428 WITH SCORE 2.77586174716E8
AT ITER 8015 NEW BEST:: SOT 1933161437 SOS 429750344 HAS SOPS 429750344 HAS SOUS 277153775 HAS SOUPS 277153775 WITH SCORE 2.77583525344E8
AT ITER 8016 NEW BEST:: SOT 1933149803 SOS 429739656 HAS SOPS 429739656 HAS SOUS 277130039 HAS SOUPS 277130039 WITH SCORE 2.77559778656E8
AT ITER 8048 NEW BEST:: SOT 1933146796 SOS 429733642 HAS SOPS 429733642 HAS SOUS 277128118 HAS SOUPS 277128118 WITH SCORE 2.77557851642E8
AT ITER 8051 NEW BEST:: SOT 1933145778 SOS 429731606 HAS SOPS 429731606 HAS SOUS 277127099 HAS SOUPS 277127099 WITH SCORE 2.77556830606E8
AT ITER 8108 NEW BEST:: SOT 1933142704 SOS 429731606 HAS SOPS 429731606 HAS SOUS 277124025 HAS SOUPS 277124025 WITH SCORE 2.77553756606E8
AT ITER 8136 NEW BEST:: SOT 1933140164 SOS 429726526 HAS SOPS 429726526 HAS SOUS 277118945 HAS SOUPS 277118945 WITH SCORE 2.77548671526E8
AT ITER 8161 NEW BEST:: SOT 1933131546 SOS 429722217 HAS SOPS 429722217 HAS SOUS 277114636 HAS SOUPS 277114636 WITH SCORE 2.77544358217E8
AT ITER 8164 NEW BEST:: SOT 1933123198 SOS 429714741 HAS SOPS 429714741 HAS SOUS 277107160 HAS SOUPS 277107160 WITH SCORE 2.77536874741E8
AT ITER 8207 NEW BEST:: SOT 1933121107 SOS 429716829 HAS SOPS 429716829 HAS SOUS 277105068 HAS SOUPS 277105068 WITH SCORE 2.77534784829E8
AT ITER 8222 NEW BEST:: SOT 1933121107 SOS 429712719 HAS SOPS 429712719 HAS SOUS 277103013 HAS SOUPS 277103013 WITH SCORE 2.77532725719E8
AT ITER 8231 NEW BEST:: SOT 1933115616 SOS 429701737 HAS SOPS 429701737 HAS SOUS 277092031 HAS SOUPS 277092031 WITH SCORE 2.77521732737E8
AT ITER 8243 NEW BEST:: SOT 1933115616 SOS 429701737 HAS SOPS 429701737 HAS SOUS 277092030 HAS SOUPS 277092030 WITH SCORE 2.77521731737E8
AT ITER 8249 NEW BEST:: SOT 1933115616 SOS 429701737 HAS SOPS 429701737 HAS SOUS 277092029 HAS SOUPS 277092029 WITH SCORE 2.77521730737E8
AT ITER 8255 NEW BEST:: SOT 1933114321 SOS 429700442 HAS SOPS 429700442 HAS SOUS 277092029 HAS SOUPS 277092029 WITH SCORE 2.77521729442E8
AT ITER 8258 NEW BEST:: SOT 1933114321 SOS 429700442 HAS SOPS 429700442 HAS SOUS 277092028 HAS SOUPS 277092028 WITH SCORE 2.77521728442E8
AT ITER 8265 NEW BEST:: SOT 1933107292 SOS 429665297 HAS SOPS 429665297 HAS SOUS 277077970 HAS SOUPS 277077970 WITH SCORE 2.77507635297E8
AT ITER 8270 NEW BEST:: SOT 1933106536 SOS 429663786 HAS SOPS 429663786 HAS SOUS 277076459 HAS SOUPS 277076459 WITH SCORE 2.77506122786E8
AT ITER 8275 NEW BEST:: SOT 1933109971 SOS 429661299 HAS SOPS 429661299 HAS SOUS 277073972 HAS SOUPS 277073972 WITH SCORE 2.77503633299E8
AT ITER 8278 NEW BEST:: SOT 1933108230 SOS 429657817 HAS SOPS 429657817 HAS SOUS 277070490 HAS SOUPS 277070490 WITH SCORE 2.77500147817E8
AT ITER 8284 NEW BEST:: SOT 1933095749 SOS 429659996 HAS SOPS 429659996 HAS SOUS 277069514 HAS SOUPS 277069514 WITH SCORE 2.77499173996E8
AT ITER 8325 NEW BEST:: SOT 1933094673 SOS 429657844 HAS SOPS 429657844 HAS SOUS 277067362 HAS SOUPS 277067362 WITH SCORE 2.77497019844E8
AT ITER 8334 NEW BEST:: SOT 1933092617 SOS 429653728 HAS SOPS 429653728 HAS SOUS 277063249 HAS SOUPS 277063249 WITH SCORE 2.77492902728E8
AT ITER 8379 NEW BEST:: SOT 1933092780 SOS 429654051 HAS SOPS 429654051 HAS SOUS 277063248 HAS SOUPS 277063248 WITH SCORE 2.77492902051E8
AT ITER 8380 NEW BEST:: SOT 1933078606 SOS 429646964 HAS SOPS 429646964 HAS SOUS 277049074 HAS SOUPS 277049074 WITH SCORE 2.77478720964E8
AT ITER 8407 NEW BEST:: SOT 1933070563 SOS 429630878 HAS SOPS 429630878 HAS SOUS 277032988 HAS SOUPS 277032988 WITH SCORE 2.77462618878E8
AT ITER 8426 NEW BEST:: SOT 1933062860 SOS 429623171 HAS SOPS 429623171 HAS SOUS 277025284 HAS SOUPS 277025284 WITH SCORE 2.77454907171E8
AT ITER 8429 NEW BEST:: SOT 1933047218 SOS 429633248 HAS SOPS 429633248 HAS SOUS 277023094 HAS SOUPS 277023094 WITH SCORE 2.77452727248E8
AT ITER 8457 NEW BEST:: SOT 1933048082 SOS 429633187 HAS SOPS 429633187 HAS SOUS 277023033 HAS SOUPS 277023033 WITH SCORE 2.77452666187E8
AT ITER 8494 NEW BEST:: SOT 1933046228 SOS 429633183 HAS SOPS 429633183 HAS SOUS 277023032 HAS SOUPS 277023032 WITH SCORE 2.77452665183E8
AT ITER 8517 NEW BEST:: SOT 1933039978 SOS 429628780 HAS SOPS 429628780 HAS SOUS 277017721 HAS SOUPS 277017721 WITH SCORE 2.7744734978E8
AT ITER 8522 NEW BEST:: SOT 1933038862 SOS 429629893 HAS SOPS 429629893 HAS SOUS 277016604 HAS SOUPS 277016604 WITH SCORE 2.77446233893E8
AT ITER 8527 NEW BEST:: SOT 1933032086 SOS 429620432 HAS SOPS 429620432 HAS SOUS 277010749 HAS SOUPS 277010749 WITH SCORE 2.77440369432E8
AT ITER 8534 NEW BEST:: SOT 1933032085 SOS 429620430 HAS SOPS 429620430 HAS SOUS 277010747 HAS SOUPS 277010747 WITH SCORE 2.7744036743E8
AT ITER 8560 NEW BEST:: SOT 1933031890 SOS 429620040 HAS SOPS 429620040 HAS SOUS 277010551 HAS SOUPS 277010551 WITH SCORE 2.7744017104E8
AT ITER 8589 NEW BEST:: SOT 1933034431 SOS 429633626 HAS SOPS 429633626 HAS SOUS 277010112 HAS SOUPS 277010112 WITH SCORE 2.77439745626E8
AT ITER 8618 NEW BEST:: SOT 1933031060 SOS 429626884 HAS SOPS 429626884 HAS SOUS 277003370 HAS SOUPS 277003370 WITH SCORE 2.77432996884E8
AT ITER 8623 NEW BEST:: SOT 1933022075 SOS 429608914 HAS SOPS 429608914 HAS SOUS 276985400 HAS SOUPS 276985400 WITH SCORE 2.77415008914E8
AT ITER 8631 NEW BEST:: SOT 1933015891 SOS 429652202 HAS SOPS 429652202 HAS SOUS 276979216 HAS SOUPS 276979216 WITH SCORE 2.77408868202E8
AT ITER 8640 NEW BEST:: SOT 1933013976 SOS 429648372 HAS SOPS 429648372 HAS SOUS 276975386 HAS SOUPS 276975386 WITH SCORE 2.77405034372E8
AT ITER 8656 NEW BEST:: SOT 1933009861 SOS 429648368 HAS SOPS 429648368 HAS SOUS 276971270 HAS SOUPS 276971270 WITH SCORE 2.77400918368E8
AT ITER 8707 NEW BEST:: SOT 1932997675 SOS 429642275 HAS SOPS 429642275 HAS SOUS 276965177 HAS SOUPS 276965177 WITH SCORE 2.77394819275E8
AT ITER 8721 NEW BEST:: SOT 1932994213 SOS 429622292 HAS SOPS 429622292 HAS SOUS 276958253 HAS SOUPS 276958253 WITH SCORE 2.77387875292E8
AT ITER 8764 NEW BEST:: SOT 1932985413 SOS 429578292 HAS SOPS 429578292 HAS SOUS 276940653 HAS SOUPS 276940653 WITH SCORE 2.77370231292E8
AT ITER 8788 NEW BEST:: SOT 1932985413 SOS 429578292 HAS SOPS 429578292 HAS SOUS 276940652 HAS SOUPS 276940652 WITH SCORE 2.77370230292E8
AT ITER 8830 NEW BEST:: SOT 1932984153 SOS 429577600 HAS SOPS 429577600 HAS SOUS 276938025 HAS SOUPS 276938025 WITH SCORE 2.773676026E8
AT ITER 8839 NEW BEST:: SOT 1932982335 SOS 429573964 HAS SOPS 429573964 HAS SOUS 276934389 HAS SOUPS 276934389 WITH SCORE 2.77363962964E8
AT ITER 8863 NEW BEST:: SOT 1932981361 SOS 429572016 HAS SOPS 429572016 HAS SOUS 276932441 HAS SOUPS 276932441 WITH SCORE 2.77362013016E8
AT ITER 8878 NEW BEST:: SOT 1932975853 SOS 429569262 HAS SOPS 429569262 HAS SOUS 276929687 HAS SOUPS 276929687 WITH SCORE 2.77359256262E8
AT ITER 8889 NEW BEST:: SOT 1932974583 SOS 429566722 HAS SOPS 429566722 HAS SOUS 276927147 HAS SOUPS 276927147 WITH SCORE 2.77356713722E8
AT ITER 8921 NEW BEST:: SOT 1932974583 SOS 429564772 HAS SOPS 429564772 HAS SOUS 276927147 HAS SOUPS 276927147 WITH SCORE 2.77356711772E8
AT ITER 8944 NEW BEST:: SOT 1932974583 SOS 429558958 HAS SOPS 429558958 HAS SOUS 276925209 HAS SOUPS 276925209 WITH SCORE 2.77354767958E8
AT ITER 8947 NEW BEST:: SOT 1932969757 SOS 429554128 HAS SOPS 429554128 HAS SOUS 276920382 HAS SOUPS 276920382 WITH SCORE 2.77349936128E8
AT ITER 8979 NEW BEST:: SOT 1932961375 SOS 429554127 HAS SOPS 429554127 HAS SOUS 276920381 HAS SOUPS 276920381 WITH SCORE 2.77349935127E8
AT ITER 8993 NEW BEST:: SOT 1932954135 SOS 429550503 HAS SOPS 429550503 HAS SOUS 276916760 HAS SOUPS 276916760 WITH SCORE 2.77346310503E8
AT ITER 9055 NEW BEST:: SOT 1932954135 SOS 429549285 HAS SOPS 429549285 HAS SOUS 276915542 HAS SOUPS 276915542 WITH SCORE 2.77345091285E8
AT ITER 9105 NEW BEST:: SOT 1932954134 SOS 429549283 HAS SOPS 429549283 HAS SOUS 276915540 HAS SOUPS 276915540 WITH SCORE 2.77345089283E8
AT ITER 9114 NEW BEST:: SOT 1932947595 SOS 429543947 HAS SOPS 429543947 HAS SOUS 276910204 HAS SOUPS 276910204 WITH SCORE 2.77339747947E8
AT ITER 9122 NEW BEST:: SOT 1932945475 SOS 429539707 HAS SOPS 429539707 HAS SOUS 276905964 HAS SOUPS 276905964 WITH SCORE 2.77335503707E8
AT ITER 9142 NEW BEST:: SOT 1932945475 SOS 429535996 HAS SOPS 429535996 HAS SOUS 276904727 HAS SOUPS 276904727 WITH SCORE 2.77334262996E8
AT ITER 9160 NEW BEST:: SOT 1932945917 SOS 429536877 HAS SOPS 429536877 HAS SOUS 276904726 HAS SOUPS 276904726 WITH SCORE 2.77334262877E8
AT ITER 9165 NEW BEST:: SOT 1932939369 SOS 429530325 HAS SOPS 429530325 HAS SOUS 276898177 HAS SOUPS 276898177 WITH SCORE 2.77327707325E8
AT ITER 9175 NEW BEST:: SOT 1932934526 SOS 429520639 HAS SOPS 429520639 HAS SOUS 276888491 HAS SOUPS 276888491 WITH SCORE 2.77318011639E8
AT ITER 9197 NEW BEST:: SOT 1932931718 SOS 429515023 HAS SOPS 429515023 HAS SOUS 276882875 HAS SOUPS 276882875 WITH SCORE 2.77312390023E8
AT ITER 9203 NEW BEST:: SOT 1932928372 SOS 429508331 HAS SOPS 429508331 HAS SOUS 276879529 HAS SOUPS 276879529 WITH SCORE 2.77309037331E8
AT ITER 9237 NEW BEST:: SOT 1932929963 SOS 429508330 HAS SOPS 429508330 HAS SOUS 276879527 HAS SOUPS 276879527 WITH SCORE 2.7730903533E8
AT ITER 9245 NEW BEST:: SOT 1932927668 SOS 429506035 HAS SOPS 429506035 HAS SOUS 276877232 HAS SOUPS 276877232 WITH SCORE 2.77306738035E8
AT ITER 9255 NEW BEST:: SOT 1932927668 SOS 429506035 HAS SOPS 429506035 HAS SOUS 276877231 HAS SOUPS 276877231 WITH SCORE 2.77306737035E8
AT ITER 9264 NEW BEST:: SOT 1932927668 SOS 429506035 HAS SOPS 429506035 HAS SOUS 276875230 HAS SOUPS 276875230 WITH SCORE 2.77304736035E8
AT ITER 9274 NEW BEST:: SOT 1932926259 SOS 429503217 HAS SOPS 429503217 HAS SOUS 276866486 HAS SOUPS 276866486 WITH SCORE 2.77295989217E8
AT ITER 9290 NEW BEST:: SOT 1932923336 SOS 429497371 HAS SOPS 429497371 HAS SOUS 276864839 HAS SOUPS 276864839 WITH SCORE 2.77294336371E8
AT ITER 9311 NEW BEST:: SOT 1932920564 SOS 429494599 HAS SOPS 429494599 HAS SOUS 276862067 HAS SOUPS 276862067 WITH SCORE 2.77291561599E8
AT ITER 9325 NEW BEST:: SOT 1932920564 SOS 429482791 HAS SOPS 429482791 HAS SOUS 276862066 HAS SOUPS 276862066 WITH SCORE 2.77291548791E8
AT ITER 9369 NEW BEST:: SOT 1932913033 SOS 429490318 HAS SOPS 429490318 HAS SOUS 276847003 HAS SOUPS 276847003 WITH SCORE 2.77276493318E8
AT ITER 9438 NEW BEST:: SOT 1932910723 SOS 429492628 HAS SOPS 429492628 HAS SOUS 276844693 HAS SOUPS 276844693 WITH SCORE 2.77274185628E8
AT ITER 9453 NEW BEST:: SOT 1932905752 SOS 429487657 HAS SOPS 429487657 HAS SOUS 276839722 HAS SOUPS 276839722 WITH SCORE 2.77269209657E8
AT ITER 9476 NEW BEST:: SOT 1932904669 SOS 429485491 HAS SOPS 429485491 HAS SOUS 276837556 HAS SOUPS 276837556 WITH SCORE 2.77267041491E8
AT ITER 9496 NEW BEST:: SOT 1932904669 SOS 429483670 HAS SOPS 429483670 HAS SOUS 276837556 HAS SOUPS 276837556 WITH SCORE 2.7726703967E8
AT ITER 9511 NEW BEST:: SOT 1932899594 SOS 429519195 HAS SOPS 429519195 HAS SOUS 276832481 HAS SOUPS 276832481 WITH SCORE 2.77262000195E8
AT ITER 9523 NEW BEST:: SOT 1932889643 SOS 429509237 HAS SOPS 429509237 HAS SOUS 276829849 HAS SOUPS 276829849 WITH SCORE 2.77259358237E8
AT ITER 9536 NEW BEST:: SOT 1932887454 SOS 429513611 HAS SOPS 429513611 HAS SOUS 276827659 HAS SOUPS 276827659 WITH SCORE 2.77257172611E8
AT ITER 9609 NEW BEST:: SOT 1932886944 SOS 429512587 HAS SOPS 429512587 HAS SOUS 276826638 HAS SOUPS 276826638 WITH SCORE 2.77256150587E8
AT ITER 9618 NEW BEST:: SOT 1932883798 SOS 429515733 HAS SOPS 429515733 HAS SOUS 276820686 HAS SOUPS 276820686 WITH SCORE 2.77250201733E8
AT ITER 9638 NEW BEST:: SOT 1932874151 SOS 429506055 HAS SOPS 429506055 HAS SOUS 276816447 HAS SOUPS 276816447 WITH SCORE 2.77245953055E8
AT ITER 9652 NEW BEST:: SOT 1932874149 SOS 429506051 HAS SOPS 429506051 HAS SOUS 276816443 HAS SOUPS 276816443 WITH SCORE 2.77245949051E8
AT ITER 9670 NEW BEST:: SOT 1932873048 SOS 429507152 HAS SOPS 429507152 HAS SOUS 276815342 HAS SOUPS 276815342 WITH SCORE 2.77244849152E8
AT ITER 9684 NEW BEST:: SOT 1932873048 SOS 429524167 HAS SOPS 429524167 HAS SOUS 276809668 HAS SOUPS 276809668 WITH SCORE 2.77239192167E8
AT ITER 9709 NEW BEST:: SOT 1932873047 SOS 429524165 HAS SOPS 429524165 HAS SOUS 276809667 HAS SOUPS 276809667 WITH SCORE 2.77239191165E8
AT ITER 9712 NEW BEST:: SOT 1932863853 SOS 429505777 HAS SOPS 429505777 HAS SOUS 276791279 HAS SOUPS 276791279 WITH SCORE 2.77220784777E8
AT ITER 9736 NEW BEST:: SOT 1932860719 SOS 429499509 HAS SOPS 429499509 HAS SOUS 276786141 HAS SOUPS 276786141 WITH SCORE 2.77215640509E8
AT ITER 9739 NEW BEST:: SOT 1932857110 SOS 429503114 HAS SOPS 429503114 HAS SOUS 276778922 HAS SOUPS 276778922 WITH SCORE 2.77208425114E8
AT ITER 9741 NEW BEST:: SOT 1932856301 SOS 429501496 HAS SOPS 429501496 HAS SOUS 276778113 HAS SOUPS 276778113 WITH SCORE 2.77207614496E8
AT ITER 9754 NEW BEST:: SOT 1932849823 SOS 429495018 HAS SOPS 429495018 HAS SOUS 276771635 HAS SOUPS 276771635 WITH SCORE 2.77201130018E8
AT ITER 9781 NEW BEST:: SOT 1932853566 SOS 429492671 HAS SOPS 429492671 HAS SOUS 276769288 HAS SOUPS 276769288 WITH SCORE 2.77198780671E8
AT ITER 9801 NEW BEST:: SOT 1932850928 SOS 429490033 HAS SOPS 429490033 HAS SOUS 276766650 HAS SOUPS 276766650 WITH SCORE 2.77196140033E8
AT ITER 9805 NEW BEST:: SOT 1932848651 SOS 429470083 HAS SOPS 429470083 HAS SOUS 276762096 HAS SOUPS 276762096 WITH SCORE 2.77191566083E8
AT ITER 9807 NEW BEST:: SOT 1932848076 SOS 429469508 HAS SOPS 429469508 HAS SOUS 276761520 HAS SOUPS 276761520 WITH SCORE 2.77190989508E8
AT ITER 9827 NEW BEST:: SOT 1932838191 SOS 429459619 HAS SOPS 429459619 HAS SOUS 276753795 HAS SOUPS 276753795 WITH SCORE 2.77183254619E8
AT ITER 9844 NEW BEST:: SOT 1932838191 SOS 429457683 HAS SOPS 429457683 HAS SOUS 276753795 HAS SOUPS 276753795 WITH SCORE 2.77183252683E8
AT ITER 9854 NEW BEST:: SOT 1932836829 SOS 429456775 HAS SOPS 429456775 HAS SOUS 276752887 HAS SOUPS 276752887 WITH SCORE 2.77182343775E8
AT ITER 9857 NEW BEST:: SOT 1932835766 SOS 429454649 HAS SOPS 429454649 HAS SOUS 276750761 HAS SOUPS 276750761 WITH SCORE 2.77180215649E8
AT ITER 9929 NEW BEST:: SOT 1932833129 SOS 429460145 HAS SOPS 429460145 HAS SOUS 276748124 HAS SOUPS 276748124 WITH SCORE 2.77177584145E8
AT ITER 9933 NEW BEST:: SOT 1932833129 SOS 429481834 HAS SOPS 429481834 HAS SOUS 276745712 HAS SOUPS 276745712 WITH SCORE 2.77175193834E8
AT ITER 9973 NEW BEST:: SOT 1932832690 SOS 429482270 HAS SOPS 429482270 HAS SOUS 276745272 HAS SOUPS 276745272 WITH SCORE 2.7717475427E8

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

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="DLCshifumi-PT-6b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is DLCshifumi-PT-6b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922807000080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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