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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 6.5K Feb 26 04:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 04:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 04:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 04:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 04:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 04:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 04:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 04:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 73M 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 1679059824259

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=RERS17pb114-PT-2
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 13:30:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 13:30:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 13:30:28] [INFO ] Load time of PNML (sax parser for PT used): 1931 ms
[2023-03-17 13:30:28] [INFO ] Transformed 1446 places.
[2023-03-17 13:30:28] [INFO ] Transformed 151085 transitions.
[2023-03-17 13:30:28] [INFO ] Parsed PT model containing 1446 places and 151085 transitions and 604252 arcs in 2532 ms.
[2023-03-17 13:30:29] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1446 places, 151085 transitions and 604252 arcs took 378 ms.
Total runtime 2950 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 2
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: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133637376 SOS 82102937 HAS SOPS 66701866 HAS SOUS 26450299 HAS SOUPS 25820610 WITH SCORE 2.5902712937E7
AT ITER 1 NEW BEST:: SOT 133629580 SOS 82088173 HAS SOPS 66691162 HAS SOUS 26447680 HAS SOUPS 25817991 WITH SCORE 2.5900079173E7
AT ITER 4 NEW BEST:: SOT 133658788 SOS 82155704 HAS SOPS 66752766 HAS SOUS 26438584 HAS SOUPS 25808895 WITH SCORE 2.5891050704E7
AT ITER 32 NEW BEST:: SOT 133669922 SOS 82195825 HAS SOPS 66786109 HAS SOUS 26420053 HAS SOUPS 25790364 WITH SCORE 2.5872559825E7
AT ITER 44 NEW BEST:: SOT 133670020 SOS 82195885 HAS SOPS 66786732 HAS SOUS 26419968 HAS SOUPS 25790262 WITH SCORE 2.5872457885E7
AT ITER 49 NEW BEST:: SOT 133662420 SOS 82178124 HAS SOPS 66772173 HAS SOUS 26418933 HAS SOUPS 25789227 WITH SCORE 2.5871405124E7
AT ITER 51 NEW BEST:: SOT 133640296 SOS 82128865 HAS SOPS 66754186 HAS SOUS 26396982 HAS SOUPS 25771214 WITH SCORE 2.5853342865E7
AT ITER 53 NEW BEST:: SOT 133645770 SOS 82145450 HAS SOPS 66768535 HAS SOUS 26395697 HAS SOUPS 25769929 WITH SCORE 2.585207445E7
AT ITER 68 NEW BEST:: SOT 133645406 SOS 82145112 HAS SOPS 66768121 HAS SOUS 26395173 HAS SOUPS 25769405 WITH SCORE 2.5851550112E7
AT ITER 72 NEW BEST:: SOT 133642409 SOS 82141932 HAS SOPS 66765879 HAS SOUS 26388684 HAS SOUPS 25762879 WITH SCORE 2.5845020932E7
AT ITER 93 NEW BEST:: SOT 133643967 SOS 82146293 HAS SOPS 66766361 HAS SOUS 26384670 HAS SOUPS 25758865 WITH SCORE 2.5841011293E7
AT ITER 99 NEW BEST:: SOT 133644271 SOS 82147104 HAS SOPS 66766707 HAS SOUS 26383891 HAS SOUPS 25758086 WITH SCORE 2.5840233104E7
AT ITER 100 NEW BEST:: SOT 133640308 SOS 82142144 HAS SOPS 66754390 HAS SOUS 26374057 HAS SOUPS 25748350 WITH SCORE 2.5830492144E7
AT ITER 104 NEW BEST:: SOT 133647503 SOS 82148441 HAS SOPS 66773516 HAS SOUS 26367471 HAS SOUPS 25741764 WITH SCORE 2.5823912441E7
AT ITER 113 NEW BEST:: SOT 133636556 SOS 82143088 HAS SOPS 66776790 HAS SOUS 26358299 HAS SOUPS 25730682 WITH SCORE 2.5812825088E7
AT ITER 123 NEW BEST:: SOT 133641742 SOS 82150659 HAS SOPS 66782699 HAS SOUS 26342607 HAS SOUPS 25715128 WITH SCORE 2.5797278659E7
AT ITER 125 NEW BEST:: SOT 133637993 SOS 82152837 HAS SOPS 66782312 HAS SOUS 26334824 HAS SOUPS 25707345 WITH SCORE 2.5789497837E7
AT ITER 131 NEW BEST:: SOT 133642373 SOS 82164399 HAS SOPS 66796276 HAS SOUS 26334781 HAS SOUPS 25707302 WITH SCORE 2.5789466399E7
AT ITER 144 NEW BEST:: SOT 133655423 SOS 82208268 HAS SOPS 66838885 HAS SOUS 26334447 HAS SOUPS 25706968 WITH SCORE 2.5789176268E7
AT ITER 152 NEW BEST:: SOT 133655466 SOS 82199621 HAS SOPS 66835829 HAS SOUS 26332904 HAS SOUPS 25705425 WITH SCORE 2.5787624621E7
AT ITER 169 NEW BEST:: SOT 133742270 SOS 82283946 HAS SOPS 66920614 HAS SOUS 26316644 HAS SOUPS 25689338 WITH SCORE 2.5771621946E7
AT ITER 178 NEW BEST:: SOT 133736382 SOS 82272190 HAS SOPS 66918344 HAS SOUS 26316294 HAS SOUPS 25689078 WITH SCORE 2.577135019E7
AT ITER 179 NEW BEST:: SOT 133727618 SOS 82263142 HAS SOPS 66907762 HAS SOUS 26303822 HAS SOUPS 25676554 WITH SCORE 2.5758817142E7
AT ITER 180 NEW BEST:: SOT 133738828 SOS 82305644 HAS SOPS 66941236 HAS SOUS 26299884 HAS SOUPS 25672616 WITH SCORE 2.5754921644E7
AT ITER 181 NEW BEST:: SOT 133735118 SOS 82301881 HAS SOPS 66933761 HAS SOUS 26290030 HAS SOUPS 25662762 WITH SCORE 2.5745063881E7
AT ITER 188 NEW BEST:: SOT 133746142 SOS 82334335 HAS SOPS 66951442 HAS SOUS 26284901 HAS SOUPS 25657500 WITH SCORE 2.5739834335E7
AT ITER 208 NEW BEST:: SOT 133757343 SOS 82383355 HAS SOPS 67005909 HAS SOUS 26282973 HAS SOUPS 25655572 WITH SCORE 2.5737955355E7
AT ITER 222 NEW BEST:: SOT 133744471 SOS 82359648 HAS SOPS 66989186 HAS SOUS 26271855 HAS SOUPS 25644549 WITH SCORE 2.5726908648E7
AT ITER 230 NEW BEST:: SOT 133821405 SOS 82572538 HAS SOPS 67201744 HAS SOUS 26256007 HAS SOUPS 25628701 WITH SCORE 2.5711273538E7
AT ITER 235 NEW BEST:: SOT 133827674 SOS 82599631 HAS SOPS 67224086 HAS SOUS 26246319 HAS SOUPS 25619013 WITH SCORE 2.5701612631E7
AT ITER 242 NEW BEST:: SOT 133815612 SOS 82587434 HAS SOPS 67209879 HAS SOUS 26243875 HAS SOUPS 25616569 WITH SCORE 2.5699156434E7
AT ITER 251 NEW BEST:: SOT 133812971 SOS 82579318 HAS SOPS 67202985 HAS SOUS 26235454 HAS SOUPS 25608788 WITH SCORE 2.5691367318E7
AT ITER 258 NEW BEST:: SOT 133813750 SOS 82588255 HAS SOPS 67209251 HAS SOUS 26229041 HAS SOUPS 25602375 WITH SCORE 2.5684963255E7
AT ITER 272 NEW BEST:: SOT 133813227 SOS 82589776 HAS SOPS 67209126 HAS SOUS 26224225 HAS SOUPS 25597559 WITH SCORE 2.5680148776E7
AT ITER 287 NEW BEST:: SOT 133838937 SOS 82647458 HAS SOPS 67244451 HAS SOUS 26223257 HAS SOUPS 25596591 WITH SCORE 2.5679238458E7
AT ITER 292 NEW BEST:: SOT 133800862 SOS 82601256 HAS SOPS 67193848 HAS SOUS 26134252 HAS SOUPS 25507600 WITH SCORE 2.5590201256E7
AT ITER 293 NEW BEST:: SOT 133789907 SOS 82588788 HAS SOPS 67181407 HAS SOUS 26101774 HAS SOUPS 25475149 WITH SCORE 2.5557737788E7
AT ITER 302 NEW BEST:: SOT 133806301 SOS 82644344 HAS SOPS 67225750 HAS SOUS 26084415 HAS SOUPS 25457790 WITH SCORE 2.5540434344E7
AT ITER 304 NEW BEST:: SOT 133814626 SOS 82673034 HAS SOPS 67239621 HAS SOUS 26078351 HAS SOUPS 25451726 WITH SCORE 2.5534399034E7
AT ITER 314 NEW BEST:: SOT 133814630 SOS 82672686 HAS SOPS 67239377 HAS SOUS 26078295 HAS SOUPS 25451670 WITH SCORE 2.5534342686E7
AT ITER 324 NEW BEST:: SOT 133816041 SOS 82697132 HAS SOPS 67254461 HAS SOUS 26068130 HAS SOUPS 25441505 WITH SCORE 2.5524202132E7
AT ITER 325 NEW BEST:: SOT 133816044 SOS 82697628 HAS SOPS 67254600 HAS SOUS 26067238 HAS SOUPS 25440613 WITH SCORE 2.5523310628E7
AT ITER 343 NEW BEST:: SOT 133813516 SOS 82689832 HAS SOPS 67249678 HAS SOUS 26066875 HAS SOUPS 25440250 WITH SCORE 2.5522939832E7
AT ITER 344 NEW BEST:: SOT 133817757 SOS 82701193 HAS SOPS 67258080 HAS SOUS 26060979 HAS SOUPS 25434354 WITH SCORE 2.5517055193E7
AT ITER 360 NEW BEST:: SOT 133817724 SOS 82701100 HAS SOPS 67257882 HAS SOUS 26060712 HAS SOUPS 25434087 WITH SCORE 2.55167881E7
AT ITER 365 NEW BEST:: SOT 133818969 SOS 82701641 HAS SOPS 67260151 HAS SOUS 26058629 HAS SOUPS 25432628 WITH SCORE 2.5515329641E7
AT ITER 366 NEW BEST:: SOT 133805696 SOS 82687427 HAS SOPS 67262464 HAS SOUS 26058140 HAS SOUPS 25432139 WITH SCORE 2.5514826427E7
AT ITER 367 NEW BEST:: SOT 133797618 SOS 82676097 HAS SOPS 67253629 HAS SOUS 26049312 HAS SOUPS 25423311 WITH SCORE 2.5505987097E7
AT ITER 379 NEW BEST:: SOT 133824903 SOS 82749236 HAS SOPS 67323734 HAS SOUS 26048906 HAS SOUPS 25422905 WITH SCORE 2.5505654236E7
AT ITER 396 NEW BEST:: SOT 133824618 SOS 82749143 HAS SOPS 67322873 HAS SOUS 26048885 HAS SOUPS 25422860 WITH SCORE 2.5505609143E7
AT ITER 411 NEW BEST:: SOT 133819573 SOS 82742036 HAS SOPS 67316642 HAS SOUS 26041513 HAS SOUPS 25415488 WITH SCORE 2.5498230036E7
AT ITER 412 NEW BEST:: SOT 133834204 SOS 82782276 HAS SOPS 67373784 HAS SOUS 26033931 HAS SOUPS 25407906 WITH SCORE 2.5490688276E7
AT ITER 424 NEW BEST:: SOT 133797992 SOS 82715452 HAS SOPS 67321834 HAS SOUS 26014365 HAS SOUPS 25388862 WITH SCORE 2.5471577452E7
AT ITER 428 NEW BEST:: SOT 133797117 SOS 82713317 HAS SOPS 67319369 HAS SOUS 26012347 HAS SOUPS 25386844 WITH SCORE 2.5469557317E7
AT ITER 431 NEW BEST:: SOT 133797045 SOS 82713147 HAS SOPS 67319240 HAS SOUS 26012294 HAS SOUPS 25386791 WITH SCORE 2.5469504147E7
AT ITER 441 NEW BEST:: SOT 133793556 SOS 82709389 HAS SOPS 67314305 HAS SOUS 26003694 HAS SOUPS 25378191 WITH SCORE 2.5460900389E7
AT ITER 450 NEW BEST:: SOT 133742137 SOS 82609592 HAS SOPS 67264447 HAS SOUS 25979395 HAS SOUPS 25354406 WITH SCORE 2.5437015592E7
AT ITER 465 NEW BEST:: SOT 133746539 SOS 82652306 HAS SOPS 67300826 HAS SOUS 25963579 HAS SOUPS 25338590 WITH SCORE 2.5421242306E7
AT ITER 485 NEW BEST:: SOT 133744539 SOS 82649886 HAS SOPS 67298040 HAS SOUS 25960043 HAS SOUPS 25335066 WITH SCORE 2.5417715886E7
AT ITER 489 NEW BEST:: SOT 133749375 SOS 82664390 HAS SOPS 67306531 HAS SOUS 25956472 HAS SOUPS 25331495 WITH SCORE 2.541415939E7
AT ITER 491 NEW BEST:: SOT 133733187 SOS 82650385 HAS SOPS 67294021 HAS SOUS 25910661 HAS SOUPS 25285684 WITH SCORE 2.5368334385E7
AT ITER 497 NEW BEST:: SOT 133733256 SOS 82650424 HAS SOPS 67294060 HAS SOUS 25910591 HAS SOUPS 25285614 WITH SCORE 2.5368264424E7
AT ITER 501 NEW BEST:: SOT 133732065 SOS 82649243 HAS SOPS 67292623 HAS SOUS 25908098 HAS SOUPS 25283121 WITH SCORE 2.5365770243E7
AT ITER 510 NEW BEST:: SOT 133735139 SOS 82653348 HAS SOPS 67297101 HAS SOUS 25886958 HAS SOUPS 25261812 WITH SCORE 2.5344465348E7
AT ITER 519 NEW BEST:: SOT 133735513 SOS 82649662 HAS SOPS 67297684 HAS SOUS 25886428 HAS SOUPS 25261282 WITH SCORE 2.5343931662E7
AT ITER 531 NEW BEST:: SOT 133731331 SOS 82620115 HAS SOPS 67272451 HAS SOUS 25874575 HAS SOUPS 25249679 WITH SCORE 2.5332299115E7
AT ITER 534 NEW BEST:: SOT 133693991 SOS 82531334 HAS SOPS 67205167 HAS SOUS 25850053 HAS SOUPS 25225157 WITH SCORE 2.5307688334E7
AT ITER 538 NEW BEST:: SOT 133700037 SOS 82413567 HAS SOPS 67110171 HAS SOUS 25811732 HAS SOUPS 25187363 WITH SCORE 2.5269776567E7
AT ITER 543 NEW BEST:: SOT 133673098 SOS 82374768 HAS SOPS 67069461 HAS SOUS 25772278 HAS SOUPS 25146911 WITH SCORE 2.5229285768E7
AT ITER 549 NEW BEST:: SOT 133671712 SOS 82372052 HAS SOPS 67071920 HAS SOUS 25771631 HAS SOUPS 25146264 WITH SCORE 2.5228636052E7
AT ITER 550 NEW BEST:: SOT 133676588 SOS 82404424 HAS SOPS 67102238 HAS SOUS 25766007 HAS SOUPS 25140640 WITH SCORE 2.5223044424E7
AT ITER 553 NEW BEST:: SOT 133687252 SOS 82425348 HAS SOPS 67132091 HAS SOUS 25743986 HAS SOUPS 25118390 WITH SCORE 2.5200815348E7
AT ITER 557 NEW BEST:: SOT 133687005 SOS 82427708 HAS SOPS 67134625 HAS SOUS 25741279 HAS SOUPS 25115683 WITH SCORE 2.5198110708E7
AT ITER 564 NEW BEST:: SOT 133686808 SOS 82421756 HAS SOPS 67134496 HAS SOUS 25740529 HAS SOUPS 25114933 WITH SCORE 2.5197354756E7
AT ITER 567 NEW BEST:: SOT 133683045 SOS 82414015 HAS SOPS 67127747 HAS SOUS 25739327 HAS SOUPS 25113731 WITH SCORE 2.5196145015E7
AT ITER 568 NEW BEST:: SOT 133697733 SOS 82445338 HAS SOPS 67156721 HAS SOUS 25738039 HAS SOUPS 25112309 WITH SCORE 2.5194754338E7
AT ITER 579 NEW BEST:: SOT 133697338 SOS 82443163 HAS SOPS 67157952 HAS SOUS 25736550 HAS SOUPS 25110820 WITH SCORE 2.5193263163E7
AT ITER 597 NEW BEST:: SOT 133739121 SOS 82545222 HAS SOPS 67258359 HAS SOUS 25711933 HAS SOUPS 25086580 WITH SCORE 2.5169125222E7
AT ITER 615 NEW BEST:: SOT 133753450 SOS 82581674 HAS SOPS 67290031 HAS SOUS 25709832 HAS SOUPS 25084479 WITH SCORE 2.5167060674E7
AT ITER 625 NEW BEST:: SOT 133752101 SOS 82574588 HAS SOPS 67288522 HAS SOUS 25705061 HAS SOUPS 25080164 WITH SCORE 2.5162738588E7
AT ITER 629 NEW BEST:: SOT 133752148 SOS 82575195 HAS SOPS 67288849 HAS SOUS 25704345 HAS SOUPS 25079448 WITH SCORE 2.5162023195E7
AT ITER 640 NEW BEST:: SOT 133754866 SOS 82579924 HAS SOPS 67294124 HAS SOUS 25700678 HAS SOUPS 25076291 WITH SCORE 2.5158870924E7
AT ITER 641 NEW BEST:: SOT 133750769 SOS 82565426 HAS SOPS 67278666 HAS SOUS 25698581 HAS SOUPS 25074194 WITH SCORE 2.5156759426E7
AT ITER 644 NEW BEST:: SOT 133749655 SOS 82562194 HAS SOPS 67276758 HAS SOUS 25697543 HAS SOUPS 25073236 WITH SCORE 2.5155798194E7
AT ITER 646 NEW BEST:: SOT 133727059 SOS 82538278 HAS SOPS 67249846 HAS SOUS 25667120 HAS SOUPS 25042921 WITH SCORE 2.5125459278E7
AT ITER 652 NEW BEST:: SOT 133726485 SOS 82535157 HAS SOPS 67247832 HAS SOUS 25665029 HAS SOUPS 25040830 WITH SCORE 2.5123365157E7
AT ITER 654 NEW BEST:: SOT 133718801 SOS 82526929 HAS SOPS 67239021 HAS SOUS 25650365 HAS SOUPS 25026223 WITH SCORE 2.5108749929E7
AT ITER 658 NEW BEST:: SOT 133709990 SOS 82520634 HAS SOPS 67226869 HAS SOUS 25633027 HAS SOUPS 25008743 WITH SCORE 2.5091263634E7
AT ITER 660 NEW BEST:: SOT 133714890 SOS 82533163 HAS SOPS 67233833 HAS SOUS 25628519 HAS SOUPS 25004235 WITH SCORE 2.5086768163E7
AT ITER 665 NEW BEST:: SOT 133716662 SOS 82541529 HAS SOPS 67241711 HAS SOUS 25620244 HAS SOUPS 24995960 WITH SCORE 2.5078501529E7
AT ITER 675 NEW BEST:: SOT 133721130 SOS 82554798 HAS SOPS 67252487 HAS SOUS 25613445 HAS SOUPS 24989161 WITH SCORE 2.5071715798E7
AT ITER 689 NEW BEST:: SOT 133729978 SOS 82616270 HAS SOPS 67312204 HAS SOUS 25603760 HAS SOUPS 24979476 WITH SCORE 2.506209227E7
AT ITER 697 NEW BEST:: SOT 133753916 SOS 82692269 HAS SOPS 67418974 HAS SOUS 25559380 HAS SOUPS 24935096 WITH SCORE 2.5017788269E7
AT ITER 706 NEW BEST:: SOT 133755754 SOS 82704799 HAS SOPS 67428584 HAS SOUS 25556607 HAS SOUPS 24932323 WITH SCORE 2.5015027799E7
AT ITER 725 NEW BEST:: SOT 133753717 SOS 82708651 HAS SOPS 67435586 HAS SOUS 25556456 HAS SOUPS 24932172 WITH SCORE 2.5014880651E7
AT ITER 738 NEW BEST:: SOT 133758504 SOS 82697358 HAS SOPS 67430939 HAS SOUS 25555732 HAS SOUPS 24931448 WITH SCORE 2.5014145358E7
AT ITER 743 NEW BEST:: SOT 133758748 SOS 82683723 HAS SOPS 67419557 HAS SOUS 25554315 HAS SOUPS 24930031 WITH SCORE 2.5012714723E7
AT ITER 750 NEW BEST:: SOT 133804839 SOS 82795523 HAS SOPS 67524779 HAS SOUS 25536885 HAS SOUPS 24912601 WITH SCORE 2.4995396523E7
AT ITER 763 NEW BEST:: SOT 133803882 SOS 82798492 HAS SOPS 67532798 HAS SOUS 25532766 HAS SOUPS 24908482 WITH SCORE 2.4991280492E7
AT ITER 764 NEW BEST:: SOT 133802337 SOS 82795197 HAS SOPS 67524118 HAS SOUS 25528741 HAS SOUPS 24904457 WITH SCORE 2.4987252197E7
AT ITER 765 NEW BEST:: SOT 133790993 SOS 82761900 HAS SOPS 67497381 HAS SOUS 25523255 HAS SOUPS 24898971 WITH SCORE 2.49817329E7
AT ITER 775 NEW BEST:: SOT 133780797 SOS 82741656 HAS SOPS 67477042 HAS SOUS 25501061 HAS SOUPS 24876777 WITH SCORE 2.4959518656E7
AT ITER 778 NEW BEST:: SOT 133780697 SOS 82741504 HAS SOPS 67476951 HAS SOUS 25500993 HAS SOUPS 24876709 WITH SCORE 2.4959450504E7
AT ITER 794 NEW BEST:: SOT 133764016 SOS 82711123 HAS SOPS 67451720 HAS SOUS 25466104 HAS SOUPS 24841820 WITH SCORE 2.4924531123E7
AT ITER 797 NEW BEST:: SOT 133741537 SOS 82688644 HAS SOPS 67429241 HAS SOUS 25438921 HAS SOUPS 24814637 WITH SCORE 2.4897325644E7
AT ITER 810 NEW BEST:: SOT 133741510 SOS 82688615 HAS SOPS 67429212 HAS SOUS 25438882 HAS SOUPS 24814598 WITH SCORE 2.4897286615E7
AT ITER 816 NEW BEST:: SOT 133741056 SOS 82688035 HAS SOPS 67428602 HAS SOUS 25438344 HAS SOUPS 24814006 WITH SCORE 2.4896694035E7
AT ITER 830 NEW BEST:: SOT 133739669 SOS 82683570 HAS SOPS 67422952 HAS SOUS 25434846 HAS SOUPS 24810508 WITH SCORE 2.489319157E7
AT ITER 831 NEW BEST:: SOT 133739316 SOS 82683217 HAS SOPS 67422599 HAS SOUS 25434045 HAS SOUPS 24809707 WITH SCORE 2.4892390217E7
AT ITER 840 NEW BEST:: SOT 133739812 SOS 82680791 HAS SOPS 67435162 HAS SOUS 25416522 HAS SOUPS 24793671 WITH SCORE 2.4876351791E7
AT ITER 841 NEW BEST:: SOT 133729894 SOS 82670914 HAS SOPS 67421142 HAS SOUS 25403689 HAS SOUPS 24780838 WITH SCORE 2.4863508914E7
AT ITER 842 NEW BEST:: SOT 133722893 SOS 82665230 HAS SOPS 67418468 HAS SOUS 25397364 HAS SOUPS 24774671 WITH SCORE 2.485733623E7
AT ITER 843 NEW BEST:: SOT 133724498 SOS 82683115 HAS SOPS 67433568 HAS SOUS 25375443 HAS SOUPS 24752750 WITH SCORE 2.4835433115E7
AT ITER 846 NEW BEST:: SOT 133724498 SOS 82683339 HAS SOPS 67433792 HAS SOUS 25375430 HAS SOUPS 24752737 WITH SCORE 2.4835420339E7
AT ITER 857 NEW BEST:: SOT 133794333 SOS 82890542 HAS SOPS 67631562 HAS SOUS 25328859 HAS SOUPS 24706074 WITH SCORE 2.4788964542E7
AT ITER 859 NEW BEST:: SOT 133768708 SOS 82837332 HAS SOPS 67605701 HAS SOUS 25312974 HAS SOUPS 24690422 WITH SCORE 2.4773259332E7
AT ITER 869 NEW BEST:: SOT 133767613 SOS 82835922 HAS SOPS 67604543 HAS SOUS 25310763 HAS SOUPS 24688211 WITH SCORE 2.4771046922E7
AT ITER 872 NEW BEST:: SOT 133765064 SOS 82829613 HAS SOPS 67598828 HAS SOUS 25309056 HAS SOUPS 24686504 WITH SCORE 2.4769333613E7
AT ITER 884 NEW BEST:: SOT 133780074 SOS 82862674 HAS SOPS 67620574 HAS SOUS 25302312 HAS SOUPS 24679760 WITH SCORE 2.4762622674E7
AT ITER 887 NEW BEST:: SOT 133777125 SOS 82866118 HAS SOPS 67622772 HAS SOUS 25288350 HAS SOUPS 24665798 WITH SCORE 2.4748664118E7
AT ITER 888 NEW BEST:: SOT 133741970 SOS 82803313 HAS SOPS 67587401 HAS SOUS 25256683 HAS SOUPS 24634131 WITH SCORE 2.4716934313E7
AT ITER 890 NEW BEST:: SOT 133749165 SOS 82832378 HAS SOPS 67607986 HAS SOUS 25255833 HAS SOUPS 24633281 WITH SCORE 2.4716113378E7
AT ITER 895 NEW BEST:: SOT 133743533 SOS 82821612 HAS SOPS 67602104 HAS SOUS 25255357 HAS SOUPS 24632805 WITH SCORE 2.4715626612E7
AT ITER 913 NEW BEST:: SOT 133727203 SOS 82792533 HAS SOPS 67576700 HAS SOUS 25246467 HAS SOUPS 24623909 WITH SCORE 2.4706701533E7
AT ITER 930 NEW BEST:: SOT 133725604 SOS 82789766 HAS SOPS 67578571 HAS SOUS 25225193 HAS SOUPS 24602594 WITH SCORE 2.4685383766E7
AT ITER 932 NEW BEST:: SOT 133704521 SOS 82751598 HAS SOPS 67556624 HAS SOUS 25192174 HAS SOUPS 24569928 WITH SCORE 2.4652679598E7
AT ITER 936 NEW BEST:: SOT 133689258 SOS 82733493 HAS SOPS 67549933 HAS SOUS 25153973 HAS SOUPS 24531764 WITH SCORE 2.4614497493E7
AT ITER 955 NEW BEST:: SOT 133687267 SOS 82725650 HAS SOPS 67546464 HAS SOUS 25149864 HAS SOUPS 24527655 WITH SCORE 2.461038065E7
AT ITER 962 NEW BEST:: SOT 133690761 SOS 82746423 HAS SOPS 67572974 HAS SOUS 25147701 HAS SOUPS 24524580 WITH SCORE 2.4607326423E7
AT ITER 967 NEW BEST:: SOT 133691612 SOS 82747975 HAS SOPS 67574827 HAS SOUS 25147469 HAS SOUPS 24524319 WITH SCORE 2.4607066975E7
AT ITER 969 NEW BEST:: SOT 133753484 SOS 82921063 HAS SOPS 67727308 HAS SOUS 25088104 HAS SOUPS 24464882 WITH SCORE 2.4547803063E7
AT ITER 984 NEW BEST:: SOT 133752322 SOS 82910712 HAS SOPS 67721942 HAS SOUS 25084103 HAS SOUPS 24460881 WITH SCORE 2.4543791712E7
AT ITER 987 NEW BEST:: SOT 133714556 SOS 82825815 HAS SOPS 67658404 HAS SOUS 25067136 HAS SOUPS 24443914 WITH SCORE 2.4526739815E7
AT ITER 998 NEW BEST:: SOT 133705943 SOS 82836383 HAS SOPS 67664141 HAS SOUS 25014850 HAS SOUPS 24391628 WITH SCORE 2.4474464383E7
AT ITER 1056 NEW BEST:: SOT 133709483 SOS 82851860 HAS SOPS 67675845 HAS SOUS 25013463 HAS SOUPS 24390241 WITH SCORE 2.447309286E7
AT ITER 1095 NEW BEST:: SOT 133707769 SOS 82847753 HAS SOPS 67675999 HAS SOUS 25010942 HAS SOUPS 24387720 WITH SCORE 2.4470567753E7
AT ITER 1117 NEW BEST:: SOT 133708629 SOS 82847473 HAS SOPS 67675186 HAS SOUS 25008121 HAS SOUPS 24384899 WITH SCORE 2.4467746473E7
AT ITER 1120 NEW BEST:: SOT 133708538 SOS 82851537 HAS SOPS 67673842 HAS SOUS 25004716 HAS SOUPS 24381494 WITH SCORE 2.4464345537E7
AT ITER 1126 NEW BEST:: SOT 133710696 SOS 82854383 HAS SOPS 67670304 HAS SOUS 24998095 HAS SOUPS 24374859 WITH SCORE 2.4457713383E7
AT ITER 1129 NEW BEST:: SOT 133709742 SOS 82844121 HAS SOPS 67674454 HAS SOUS 24994424 HAS SOUPS 24371188 WITH SCORE 2.4454032121E7
AT ITER 1130 NEW BEST:: SOT 133720820 SOS 82869365 HAS SOPS 67692593 HAS SOUS 24988995 HAS SOUPS 24365759 WITH SCORE 2.4448628365E7
AT ITER 1135 NEW BEST:: SOT 133749861 SOS 82922886 HAS SOPS 67753823 HAS SOUS 24981589 HAS SOUPS 24358144 WITH SCORE 2.4441066886E7
AT ITER 1144 NEW BEST:: SOT 133818427 SOS 83111094 HAS SOPS 67974355 HAS SOUS 24960149 HAS SOUPS 24337288 WITH SCORE 2.4420399094E7
AT ITER 1146 NEW BEST:: SOT 133814423 SOS 83104234 HAS SOPS 67968419 HAS SOUS 24954862 HAS SOUPS 24332083 WITH SCORE 2.4415187234E7
AT ITER 1173 NEW BEST:: SOT 133813229 SOS 83101045 HAS SOPS 67966326 HAS SOUS 24946927 HAS SOUPS 24324148 WITH SCORE 2.4407249045E7
AT ITER 1180 NEW BEST:: SOT 133824107 SOS 83120058 HAS SOPS 67978332 HAS SOUS 24944182 HAS SOUPS 24321403 WITH SCORE 2.4404523058E7
AT ITER 1183 NEW BEST:: SOT 133874835 SOS 83242386 HAS SOPS 68090718 HAS SOUS 24935480 HAS SOUPS 24312701 WITH SCORE 2.4395943386E7
AT ITER 1192 NEW BEST:: SOT 133872640 SOS 83240868 HAS SOPS 68094363 HAS SOUS 24931162 HAS SOUPS 24308383 WITH SCORE 2.4391623868E7
AT ITER 1201 NEW BEST:: SOT 133890151 SOS 83268105 HAS SOPS 68149994 HAS SOUS 24915760 HAS SOUPS 24292981 WITH SCORE 2.4376249105E7
AT ITER 1210 NEW BEST:: SOT 133876829 SOS 83256581 HAS SOPS 68136986 HAS SOUS 24866590 HAS SOUPS 24243811 WITH SCORE 2.4327067581E7
AT ITER 1215 NEW BEST:: SOT 133858347 SOS 83237888 HAS SOPS 68116442 HAS SOUS 24834909 HAS SOUPS 24212182 WITH SCORE 2.4295419888E7
AT ITER 1218 NEW BEST:: SOT 133848223 SOS 83231512 HAS SOPS 68103091 HAS SOUS 24826534 HAS SOUPS 24202937 WITH SCORE 2.4286168512E7
AT ITER 1225 NEW BEST:: SOT 133868585 SOS 83248859 HAS SOPS 68126683 HAS SOUS 24824894 HAS SOUPS 24201297 WITH SCORE 2.4284545859E7
AT ITER 1228 NEW BEST:: SOT 133850624 SOS 83208293 HAS SOPS 68107662 HAS SOUS 24815526 HAS SOUPS 24191929 WITH SCORE 2.4275137293E7
AT ITER 1235 NEW BEST:: SOT 133851807 SOS 83219693 HAS SOPS 68124611 HAS SOUS 24812294 HAS SOUPS 24188697 WITH SCORE 2.4271916693E7
AT ITER 1245 NEW BEST:: SOT 133799273 SOS 83074236 HAS SOPS 67965536 HAS SOUS 24776573 HAS SOUPS 24154492 WITH SCORE 2.4237566236E7
AT ITER 1250 NEW BEST:: SOT 133798475 SOS 83070675 HAS SOPS 67961953 HAS SOUS 24775869 HAS SOUPS 24153788 WITH SCORE 2.4236858675E7
AT ITER 1271 NEW BEST:: SOT 133771308 SOS 83014560 HAS SOPS 67921775 HAS SOUS 24745924 HAS SOUPS 24125127 WITH SCORE 2.420814156E7
AT ITER 1278 NEW BEST:: SOT 133871548 SOS 83096553 HAS SOPS 67967151 HAS SOUS 24727520 HAS SOUPS 24107164 WITH SCORE 2.4190260553E7
AT ITER 1284 NEW BEST:: SOT 133859497 SOS 83080875 HAS SOPS 67970074 HAS SOUS 24718740 HAS SOUPS 24098384 WITH SCORE 2.4181464875E7
AT ITER 1288 NEW BEST:: SOT 133860994 SOS 83083734 HAS SOPS 67975968 HAS SOUS 24717097 HAS SOUPS 24096741 WITH SCORE 2.4179824734E7
AT ITER 1311 NEW BEST:: SOT 133788934 SOS 82975781 HAS SOPS 67895931 HAS SOUS 24642116 HAS SOUPS 24022365 WITH SCORE 2.4105340781E7
AT ITER 1325 NEW BEST:: SOT 133786908 SOS 82973771 HAS SOPS 67895310 HAS SOUS 24636115 HAS SOUPS 24016364 WITH SCORE 2.4099337771E7
AT ITER 1327 NEW BEST:: SOT 133768433 SOS 82924601 HAS SOPS 67862020 HAS SOUS 24630717 HAS SOUPS 24010966 WITH SCORE 2.4093890601E7
AT ITER 1328 NEW BEST:: SOT 133759307 SOS 82915244 HAS SOPS 67852631 HAS SOUS 24610440 HAS SOUPS 23990689 WITH SCORE 2.4073604244E7
AT ITER 1333 NEW BEST:: SOT 133788240 SOS 82999066 HAS SOPS 67923587 HAS SOUS 24605219 HAS SOUPS 23985449 WITH SCORE 2.4068448066E7
AT ITER 1340 NEW BEST:: SOT 133784889 SOS 82995058 HAS SOPS 67920954 HAS SOUS 24577728 HAS SOUPS 23958136 WITH SCORE 2.4041131058E7
AT ITER 1341 NEW BEST:: SOT 133767679 SOS 82973388 HAS SOPS 67898922 HAS SOUS 24548543 HAS SOUPS 23928951 WITH SCORE 2.4011924388E7
AT ITER 1343 NEW BEST:: SOT 133737453 SOS 82911425 HAS SOPS 67860616 HAS SOUS 24525332 HAS SOUPS 23905740 WITH SCORE 2.3988651425E7
AT ITER 1344 NEW BEST:: SOT 133718236 SOS 82875017 HAS SOPS 67834179 HAS SOUS 24515656 HAS SOUPS 23896064 WITH SCORE 2.3978939017E7
AT ITER 1345 NEW BEST:: SOT 133713824 SOS 82867136 HAS SOPS 67823977 HAS SOUS 24504093 HAS SOUPS 23884622 WITH SCORE 2.3967489136E7
AT ITER 1355 NEW BEST:: SOT 133713579 SOS 82867061 HAS SOPS 67823582 HAS SOUS 24503053 HAS SOUPS 23883582 WITH SCORE 2.3966449061E7
AT ITER 1362 NEW BEST:: SOT 133717591 SOS 82875307 HAS SOPS 67832974 HAS SOUS 24492023 HAS SOUPS 23872902 WITH SCORE 2.3955777307E7
AT ITER 1365 NEW BEST:: SOT 133710123 SOS 82853930 HAS SOPS 67816238 HAS SOUS 24487792 HAS SOUPS 23868671 WITH SCORE 2.395152493E7
AT ITER 1369 NEW BEST:: SOT 133707184 SOS 82850964 HAS SOPS 67811891 HAS SOUS 24480942 HAS SOUPS 23861821 WITH SCORE 2.3944671964E7
AT ITER 1375 NEW BEST:: SOT 133674134 SOS 82763276 HAS SOPS 67751484 HAS SOUS 24471036 HAS SOUPS 23852166 WITH SCORE 2.3934929276E7
AT ITER 1379 NEW BEST:: SOT 133675108 SOS 82764250 HAS SOPS 67753354 HAS SOUS 24468906 HAS SOUPS 23851796 WITH SCORE 2.393456025E7
AT ITER 1387 NEW BEST:: SOT 133680725 SOS 82779743 HAS SOPS 67760896 HAS SOUS 24452281 HAS SOUPS 23835171 WITH SCORE 2.3917950743E7
AT ITER 1391 NEW BEST:: SOT 133679022 SOS 82785217 HAS SOPS 67768992 HAS SOUS 24447803 HAS SOUPS 23830693 WITH SCORE 2.3913478217E7
AT ITER 1398 NEW BEST:: SOT 133661865 SOS 82766348 HAS SOPS 67734947 HAS SOUS 24396194 HAS SOUPS 23778731 WITH SCORE 2.3861497348E7
AT ITER 1408 NEW BEST:: SOT 133660604 SOS 82763386 HAS SOPS 67730799 HAS SOUS 24392609 HAS SOUPS 23775146 WITH SCORE 2.3857909386E7
AT ITER 1416 NEW BEST:: SOT 133656909 SOS 82763382 HAS SOPS 67727348 HAS SOUS 24383533 HAS SOUPS 23766070 WITH SCORE 2.3848833382E7
AT ITER 1421 NEW BEST:: SOT 133654952 SOS 82761740 HAS SOPS 67724764 HAS SOUS 24382253 HAS SOUPS 23764790 WITH SCORE 2.384755174E7
AT ITER 1430 NEW BEST:: SOT 133654371 SOS 82761865 HAS SOPS 67724113 HAS SOUS 24381089 HAS SOUPS 23763626 WITH SCORE 2.3846387865E7
AT ITER 1434 NEW BEST:: SOT 133662163 SOS 82800093 HAS SOPS 67754786 HAS SOUS 24375232 HAS SOUPS 23757609 WITH SCORE 2.3840409093E7
AT ITER 1435 NEW BEST:: SOT 133662163 SOS 82800085 HAS SOPS 67754735 HAS SOUS 24375214 HAS SOUPS 23757591 WITH SCORE 2.3840391085E7
AT ITER 1445 NEW BEST:: SOT 133665389 SOS 82810672 HAS SOPS 67765978 HAS SOUS 24371202 HAS SOUPS 23753579 WITH SCORE 2.3836389672E7
AT ITER 1451 NEW BEST:: SOT 133665353 SOS 82810616 HAS SOPS 67765806 HAS SOUS 24371162 HAS SOUPS 23753543 WITH SCORE 2.3836353616E7
AT ITER 1484 NEW BEST:: SOT 133663713 SOS 82808825 HAS SOPS 67763951 HAS SOUS 24367896 HAS SOUPS 23750277 WITH SCORE 2.3833085825E7
AT ITER 1491 NEW BEST:: SOT 133666436 SOS 82822819 HAS SOPS 67778120 HAS SOUS 24364548 HAS SOUPS 23746929 WITH SCORE 2.3829751819E7
AT ITER 1507 NEW BEST:: SOT 133666559 SOS 82821489 HAS SOPS 67777059 HAS SOUS 24363937 HAS SOUPS 23746318 WITH SCORE 2.3829139489E7
AT ITER 1514 NEW BEST:: SOT 133663946 SOS 82812206 HAS SOPS 67771575 HAS SOUS 24358319 HAS SOUPS 23740700 WITH SCORE 2.3823512206E7
AT ITER 1519 NEW BEST:: SOT 133663041 SOS 82810964 HAS SOPS 67769022 HAS SOUS 24354991 HAS SOUPS 23737372 WITH SCORE 2.3820182964E7
AT ITER 1522 NEW BEST:: SOT 133647274 SOS 82792273 HAS SOPS 67753720 HAS SOUS 24324814 HAS SOUPS 23709116 WITH SCORE 2.3791908273E7
AT ITER 1527 NEW BEST:: SOT 133647836 SOS 82786894 HAS SOPS 67746836 HAS SOUS 24312967 HAS SOUPS 23697269 WITH SCORE 2.3780055894E7
AT ITER 1531 NEW BEST:: SOT 133647836 SOS 82787218 HAS SOPS 67747352 HAS SOUS 24312869 HAS SOUPS 23697171 WITH SCORE 2.3779958218E7
AT ITER 1538 NEW BEST:: SOT 133637672 SOS 82777053 HAS SOPS 67736451 HAS SOUS 24300768 HAS SOUPS 23684350 WITH SCORE 2.3767127053E7
AT ITER 1549 NEW BEST:: SOT 133638391 SOS 82778142 HAS SOPS 67760628 HAS SOUS 24293282 HAS SOUPS 23677090 WITH SCORE 2.3759868142E7
AT ITER 1562 NEW BEST:: SOT 133605786 SOS 82726212 HAS SOPS 67718684 HAS SOUS 24255262 HAS SOUPS 23639181 WITH SCORE 2.3721907212E7
AT ITER 1566 NEW BEST:: SOT 133650947 SOS 82837620 HAS SOPS 67809774 HAS SOUS 24235917 HAS SOUPS 23619836 WITH SCORE 2.370267362E7
AT ITER 1570 NEW BEST:: SOT 133670117 SOS 82861959 HAS SOPS 67844112 HAS SOUS 24230754 HAS SOUPS 23614537 WITH SCORE 2.3697398959E7
AT ITER 1575 NEW BEST:: SOT 133670051 SOS 82861995 HAS SOPS 67844085 HAS SOUS 24230412 HAS SOUPS 23614195 WITH SCORE 2.3697056995E7
AT ITER 1580 NEW BEST:: SOT 133672144 SOS 82874256 HAS SOPS 67852989 HAS SOUS 24216715 HAS SOUPS 23600498 WITH SCORE 2.3683372256E7
AT ITER 1591 NEW BEST:: SOT 133677089 SOS 82883688 HAS SOPS 67859952 HAS SOUS 24214198 HAS SOUPS 23597981 WITH SCORE 2.3680864688E7
AT ITER 1606 NEW BEST:: SOT 133675500 SOS 82879220 HAS SOPS 67855214 HAS SOUS 24212122 HAS SOUPS 23595905 WITH SCORE 2.367878422E7
AT ITER 1607 NEW BEST:: SOT 133673305 SOS 82877017 HAS SOPS 67852439 HAS SOUS 24208459 HAS SOUPS 23592242 WITH SCORE 2.3675119017E7
AT ITER 1628 NEW BEST:: SOT 133673172 SOS 82876856 HAS SOPS 67852284 HAS SOUS 24208272 HAS SOUPS 23592055 WITH SCORE 2.3674931856E7
AT ITER 1640 NEW BEST:: SOT 133665763 SOS 82872784 HAS SOPS 67863462 HAS SOUS 24200529 HAS SOUPS 23584312 WITH SCORE 2.3667184784E7
AT ITER 1643 NEW BEST:: SOT 133665283 SOS 82874546 HAS SOPS 67864871 HAS SOUS 24199761 HAS SOUPS 23583544 WITH SCORE 2.3666418546E7
AT ITER 1666 NEW BEST:: SOT 133653111 SOS 82862393 HAS SOPS 67852524 HAS SOUS 24185981 HAS SOUPS 23569764 WITH SCORE 2.3652626393E7
AT ITER 1670 NEW BEST:: SOT 133652210 SOS 82860456 HAS SOPS 67850192 HAS SOUS 24183587 HAS SOUPS 23567370 WITH SCORE 2.3650230456E7
AT ITER 1676 NEW BEST:: SOT 133644587 SOS 82852169 HAS SOPS 67838285 HAS SOUS 24166146 HAS SOUPS 23549893 WITH SCORE 2.3632745169E7
AT ITER 1683 NEW BEST:: SOT 133645147 SOS 82853655 HAS SOPS 67838882 HAS SOUS 24160300 HAS SOUPS 23544047 WITH SCORE 2.3626900655E7
AT ITER 1689 NEW BEST:: SOT 133635806 SOS 82842475 HAS SOPS 67850918 HAS SOUS 24122333 HAS SOUPS 23506080 WITH SCORE 2.3588922475E7
AT ITER 1690 NEW BEST:: SOT 133680987 SOS 82946443 HAS SOPS 67939552 HAS SOUS 24119853 HAS SOUPS 23503600 WITH SCORE 2.3586546443E7
AT ITER 1714 NEW BEST:: SOT 133679274 SOS 82940212 HAS SOPS 67936464 HAS SOUS 24117306 HAS SOUPS 23501053 WITH SCORE 2.3583993212E7
AT ITER 1724 NEW BEST:: SOT 133670036 SOS 82928904 HAS SOPS 67925193 HAS SOUS 24098654 HAS SOUPS 23482524 WITH SCORE 2.3565452904E7
AT ITER 1725 NEW BEST:: SOT 133667178 SOS 82926046 HAS SOPS 67922335 HAS SOUS 24096564 HAS SOUPS 23480434 WITH SCORE 2.3563360046E7
AT ITER 1733 NEW BEST:: SOT 133668744 SOS 82927619 HAS SOPS 67923586 HAS SOUS 24096559 HAS SOUPS 23480429 WITH SCORE 2.3563356619E7
AT ITER 1738 NEW BEST:: SOT 133668423 SOS 82922124 HAS SOPS 67927288 HAS SOUS 24093808 HAS SOUPS 23477678 WITH SCORE 2.3560600124E7
AT ITER 1742 NEW BEST:: SOT 133666353 SOS 82920054 HAS SOPS 67925202 HAS SOUS 24091738 HAS SOUPS 23475592 WITH SCORE 2.3558512054E7
AT ITER 1744 NEW BEST:: SOT 133666469 SOS 82921433 HAS SOPS 67928723 HAS SOUS 24090056 HAS SOUPS 23473910 WITH SCORE 2.3556831433E7
AT ITER 1785 NEW BEST:: SOT 133666485 SOS 82921339 HAS SOPS 67928602 HAS SOUS 24090013 HAS SOUPS 23473867 WITH SCORE 2.3556788339E7
AT ITER 1803 NEW BEST:: SOT 133688304 SOS 82995755 HAS SOPS 67994362 HAS SOUS 24078350 HAS SOUPS 23462204 WITH SCORE 2.3545199755E7
AT ITER 1806 NEW BEST:: SOT 133686175 SOS 82994040 HAS SOPS 67988595 HAS SOUS 24057422 HAS SOUPS 23441276 WITH SCORE 2.352427004E7
AT ITER 1814 NEW BEST:: SOT 133676512 SOS 82967999 HAS SOPS 67968343 HAS SOUS 24048409 HAS SOUPS 23432263 WITH SCORE 2.3515230999E7
AT ITER 1819 NEW BEST:: SOT 133676585 SOS 82968615 HAS SOPS 67969385 HAS SOUS 24048369 HAS SOUPS 23432223 WITH SCORE 2.3515191615E7
AT ITER 1821 NEW BEST:: SOT 133676346 SOS 82968376 HAS SOPS 67969146 HAS SOUS 24047906 HAS SOUPS 23431760 WITH SCORE 2.3514728376E7
AT ITER 1826 NEW BEST:: SOT 133674767 SOS 82969548 HAS SOPS 67969856 HAS SOUS 24047113 HAS SOUPS 23430967 WITH SCORE 2.3513936548E7
AT ITER 1828 NEW BEST:: SOT 133709984 SOS 83000013 HAS SOPS 67978667 HAS SOUS 24016348 HAS SOUPS 23400256 WITH SCORE 2.3483256013E7
AT ITER 1836 NEW BEST:: SOT 133707031 SOS 82997362 HAS SOPS 67974294 HAS SOUS 24011370 HAS SOUPS 23395278 WITH SCORE 2.3478275362E7
AT ITER 1845 NEW BEST:: SOT 133707055 SOS 82997099 HAS SOPS 67974410 HAS SOUS 24011178 HAS SOUPS 23395086 WITH SCORE 2.3478083099E7
AT ITER 1850 NEW BEST:: SOT 133741072 SOS 83110334 HAS SOPS 68076905 HAS SOUS 23965738 HAS SOUPS 23349557 WITH SCORE 2.3432667334E7
AT ITER 1854 NEW BEST:: SOT 133727286 SOS 83088445 HAS SOPS 68064084 HAS SOUS 23960370 HAS SOUPS 23344189 WITH SCORE 2.3427277445E7
AT ITER 1856 NEW BEST:: SOT 133728944 SOS 83101860 HAS SOPS 68078946 HAS SOUS 23956745 HAS SOUPS 23340564 WITH SCORE 2.342366586E7
AT ITER 1865 NEW BEST:: SOT 133728737 SOS 83101301 HAS SOPS 68078485 HAS SOUS 23956616 HAS SOUPS 23340435 WITH SCORE 2.3423536301E7
AT ITER 1867 NEW BEST:: SOT 133728959 SOS 83102918 HAS SOPS 68077809 HAS SOUS 23953043 HAS SOUPS 23336862 WITH SCORE 2.3419964918E7
AT ITER 1882 NEW BEST:: SOT 133732181 SOS 83120016 HAS SOPS 68104657 HAS SOUS 23951480 HAS SOUPS 23335299 WITH SCORE 2.3418419016E7
AT ITER 1884 NEW BEST:: SOT 133734107 SOS 83139735 HAS SOPS 68112500 HAS SOUS 23950565 HAS SOUPS 23332515 WITH SCORE 2.3415654735E7
AT ITER 1891 NEW BEST:: SOT 133730978 SOS 83135295 HAS SOPS 68108760 HAS SOUS 23946302 HAS SOUPS 23328252 WITH SCORE 2.3411387295E7
AT ITER 1911 NEW BEST:: SOT 133739863 SOS 83152745 HAS SOPS 68122049 HAS SOUS 23944004 HAS SOUPS 23325133 WITH SCORE 2.3408285745E7
AT ITER 1916 NEW BEST:: SOT 133740135 SOS 83157798 HAS SOPS 68122650 HAS SOUS 23935550 HAS SOUPS 23316679 WITH SCORE 2.3399836798E7
AT ITER 1919 NEW BEST:: SOT 133738173 SOS 83161011 HAS SOPS 68120801 HAS SOUS 23933213 HAS SOUPS 23313808 WITH SCORE 2.3396969011E7
AT ITER 1927 NEW BEST:: SOT 133726530 SOS 83139224 HAS SOPS 68103574 HAS SOUS 23922302 HAS SOUPS 23302961 WITH SCORE 2.3386100224E7
AT ITER 1939 NEW BEST:: SOT 133735001 SOS 83153971 HAS SOPS 68109537 HAS SOUS 23917738 HAS SOUPS 23298397 WITH SCORE 2.3381550971E7
AT ITER 1959 NEW BEST:: SOT 133711958 SOS 83118492 HAS SOPS 68101461 HAS SOUS 23915442 HAS SOUPS 23296101 WITH SCORE 2.3379219492E7
AT ITER 1969 NEW BEST:: SOT 133714362 SOS 83142307 HAS SOPS 68127908 HAS SOUS 23905301 HAS SOUPS 23285960 WITH SCORE 2.3369102307E7
AT ITER 1971 NEW BEST:: SOT 133714723 SOS 83135237 HAS SOPS 68120723 HAS SOUS 23887343 HAS SOUPS 23268002 WITH SCORE 2.3351137237E7
AT ITER 1983 NEW BEST:: SOT 133711241 SOS 83130469 HAS SOPS 68116154 HAS SOUS 23881757 HAS SOUPS 23262416 WITH SCORE 2.3345546469E7
AT ITER 1989 NEW BEST:: SOT 133710295 SOS 83128405 HAS SOPS 68115678 HAS SOUS 23875336 HAS SOUPS 23255995 WITH SCORE 2.3339123405E7
AT ITER 1990 NEW BEST:: SOT 133700285 SOS 83114024 HAS SOPS 68101683 HAS SOUS 23847533 HAS SOUPS 23228192 WITH SCORE 2.3311306024E7
AT ITER 2017 NEW BEST:: SOT 133698525 SOS 83115411 HAS SOPS 68107043 HAS SOUS 23842015 HAS SOUPS 23222674 WITH SCORE 2.3305789411E7
AT ITER 2022 NEW BEST:: SOT 133663648 SOS 83031787 HAS SOPS 68049804 HAS SOUS 23827727 HAS SOUPS 23209774 WITH SCORE 2.3292805787E7
AT ITER 2023 NEW BEST:: SOT 133659710 SOS 83034478 HAS SOPS 68066340 HAS SOUS 23820786 HAS SOUPS 23202833 WITH SCORE 2.3285867478E7
AT ITER 2025 NEW BEST:: SOT 133665206 SOS 83053563 HAS SOPS 68082422 HAS SOUS 23791778 HAS SOUPS 23173825 WITH SCORE 2.3256878563E7
AT ITER 2034 NEW BEST:: SOT 133663774 SOS 83049768 HAS SOPS 68078799 HAS SOUS 23790651 HAS SOUPS 23172698 WITH SCORE 2.3255747768E7
AT ITER 2037 NEW BEST:: SOT 133663766 SOS 83049820 HAS SOPS 68078835 HAS SOUS 23790634 HAS SOUPS 23172681 WITH SCORE 2.325573082E7
AT ITER 2053 NEW BEST:: SOT 133647844 SOS 83009135 HAS SOPS 68038287 HAS SOUS 23789128 HAS SOUPS 23171194 WITH SCORE 2.3254203135E7
AT ITER 2057 NEW BEST:: SOT 133645572 SOS 83005927 HAS SOPS 68035163 HAS SOUS 23786016 HAS SOUPS 23168094 WITH SCORE 2.3251099927E7
AT ITER 2070 NEW BEST:: SOT 133650422 SOS 83024610 HAS SOPS 68052540 HAS SOUS 23785428 HAS SOUPS 23167506 WITH SCORE 2.325053061E7
AT ITER 2073 NEW BEST:: SOT 133623317 SOS 82979252 HAS SOPS 68036288 HAS SOUS 23780678 HAS SOUPS 23163047 WITH SCORE 2.3246026252E7
AT ITER 2076 NEW BEST:: SOT 133629028 SOS 82993063 HAS SOPS 68042712 HAS SOUS 23777374 HAS SOUPS 23159743 WITH SCORE 2.3242736063E7
AT ITER 2084 NEW BEST:: SOT 133627950 SOS 82989196 HAS SOPS 68039037 HAS SOUS 23773388 HAS SOUPS 23155757 WITH SCORE 2.3238746196E7
AT ITER 2089 NEW BEST:: SOT 133636136 SOS 82998894 HAS SOPS 68052663 HAS SOUS 23763801 HAS SOUPS 23145930 WITH SCORE 2.3228928894E7
AT ITER 2092 NEW BEST:: SOT 133639159 SOS 83006379 HAS SOPS 68056797 HAS SOUS 23762364 HAS SOUPS 23144493 WITH SCORE 2.3227499379E7
AT ITER 2106 NEW BEST:: SOT 133639265 SOS 83007104 HAS SOPS 68058220 HAS SOUS 23761948 HAS SOUPS 23144077 WITH SCORE 2.3227084104E7
AT ITER 2124 NEW BEST:: SOT 133635169 SOS 82999628 HAS SOPS 68047762 HAS SOUS 23757526 HAS SOUPS 23139655 WITH SCORE 2.3222654628E7
AT ITER 2146 NEW BEST:: SOT 133592136 SOS 82956595 HAS SOPS 68001081 HAS SOUS 23714461 HAS SOUPS 23092974 WITH SCORE 2.3175930595E7
AT ITER 2147 NEW BEST:: SOT 133591961 SOS 82951966 HAS SOPS 67994334 HAS SOUS 23714258 HAS SOUPS 23092771 WITH SCORE 2.3175722966E7
AT ITER 2150 NEW BEST:: SOT 133590154 SOS 82947525 HAS SOPS 67991727 HAS SOUS 23713420 HAS SOUPS 23091971 WITH SCORE 2.3174918525E7
AT ITER 2160 NEW BEST:: SOT 133590041 SOS 82947367 HAS SOPS 67991510 HAS SOUS 23713174 HAS SOUPS 23091726 WITH SCORE 2.3174673367E7
AT ITER 2167 NEW BEST:: SOT 133574535 SOS 82948788 HAS SOPS 67994126 HAS SOUS 23704668 HAS SOUPS 23083220 WITH SCORE 2.3166168788E7
AT ITER 2175 NEW BEST:: SOT 133574722 SOS 82960066 HAS SOPS 68006757 HAS SOUS 23696534 HAS SOUPS 23076808 WITH SCORE 2.3159768066E7
AT ITER 2185 NEW BEST:: SOT 133546771 SOS 82906840 HAS SOPS 67987232 HAS SOUS 23661028 HAS SOUPS 23041763 WITH SCORE 2.312466984E7
AT ITER 2187 NEW BEST:: SOT 133542572 SOS 82898855 HAS SOPS 67984729 HAS SOUS 23657404 HAS SOUPS 23038139 WITH SCORE 2.3121037855E7
AT ITER 2189 NEW BEST:: SOT 133509393 SOS 82854961 HAS SOPS 67945917 HAS SOUS 23616803 HAS SOUPS 22997442 WITH SCORE 2.3080296961E7
AT ITER 2196 NEW BEST:: SOT 133501322 SOS 82841133 HAS SOPS 67928230 HAS SOUS 23601152 HAS SOUPS 22981791 WITH SCORE 2.3064632133E7
AT ITER 2203 NEW BEST:: SOT 133501315 SOS 82844427 HAS SOPS 67930843 HAS SOUS 23599764 HAS SOUPS 22980403 WITH SCORE 2.3063247427E7
AT ITER 2210 NEW BEST:: SOT 133506217 SOS 82862165 HAS SOPS 67949059 HAS SOUS 23597385 HAS SOUPS 22978024 WITH SCORE 2.3060886165E7
AT ITER 2223 NEW BEST:: SOT 133503608 SOS 82853426 HAS SOPS 67941980 HAS SOUS 23595851 HAS SOUPS 22976490 WITH SCORE 2.3059343426E7
AT ITER 2241 NEW BEST:: SOT 133469111 SOS 82782541 HAS SOPS 67890479 HAS SOUS 23572780 HAS SOUPS 22953419 WITH SCORE 2.3036201541E7
AT ITER 2249 NEW BEST:: SOT 133468946 SOS 82782106 HAS SOPS 67890236 HAS SOUS 23572649 HAS SOUPS 22953288 WITH SCORE 2.3036070106E7
AT ITER 2257 NEW BEST:: SOT 133467809 SOS 82779623 HAS SOPS 67888237 HAS SOUS 23571124 HAS SOUPS 22951769 WITH SCORE 2.3034548623E7
AT ITER 2261 NEW BEST:: SOT 133484434 SOS 82802698 HAS SOPS 67913289 HAS SOUS 23548831 HAS SOUPS 22930020 WITH SCORE 2.3012822698E7
AT ITER 2263 NEW BEST:: SOT 133459723 SOS 82751885 HAS SOPS 67893513 HAS SOUS 23494616 HAS SOUPS 22875805 WITH SCORE 2.2958556885E7
AT ITER 2271 NEW BEST:: SOT 133451687 SOS 82739789 HAS SOPS 67880307 HAS SOUS 23469249 HAS SOUPS 22850552 WITH SCORE 2.2933291789E7
AT ITER 2283 NEW BEST:: SOT 133449570 SOS 82713735 HAS SOPS 67858764 HAS SOUS 23449696 HAS SOUPS 22830999 WITH SCORE 2.2913712735E7
AT ITER 2311 NEW BEST:: SOT 133446481 SOS 82708373 HAS SOPS 67855435 HAS SOUS 23446774 HAS SOUPS 22828353 WITH SCORE 2.2911061373E7
AT ITER 2321 NEW BEST:: SOT 133413608 SOS 82663391 HAS SOPS 67820884 HAS SOUS 23422773 HAS SOUPS 22804554 WITH SCORE 2.2887217391E7
AT ITER 2324 NEW BEST:: SOT 133413169 SOS 82662622 HAS SOPS 67819786 HAS SOUS 23422320 HAS SOUPS 22804101 WITH SCORE 2.2886763622E7
AT ITER 2329 NEW BEST:: SOT 133403220 SOS 82659306 HAS SOPS 67811764 HAS SOUS 23384732 HAS SOUPS 22766513 WITH SCORE 2.2849172306E7
AT ITER 2345 NEW BEST:: SOT 133404313 SOS 82662150 HAS SOPS 67812565 HAS SOUS 23382498 HAS SOUPS 22764258 WITH SCORE 2.284692015E7
AT ITER 2350 NEW BEST:: SOT 133404015 SOS 82661774 HAS SOPS 67811925 HAS SOUS 23381774 HAS SOUPS 22763526 WITH SCORE 2.2846187774E7
AT ITER 2360 NEW BEST:: SOT 133401465 SOS 82658768 HAS SOPS 67809336 HAS SOUS 23380438 HAS SOUPS 22762266 WITH SCORE 2.2844924768E7
AT ITER 2363 NEW BEST:: SOT 133402542 SOS 82665207 HAS SOPS 67811800 HAS SOUS 23371200 HAS SOUPS 22753028 WITH SCORE 2.2835693207E7
AT ITER 2366 NEW BEST:: SOT 133402211 SOS 82664792 HAS SOPS 67811784 HAS SOUS 23369567 HAS SOUPS 22751416 WITH SCORE 2.2834080792E7
AT ITER 2387 NEW BEST:: SOT 133394115 SOS 82645308 HAS SOPS 67806728 HAS SOUS 23364480 HAS SOUPS 22746329 WITH SCORE 2.2828974308E7
AT ITER 2422 NEW BEST:: SOT 133392921 SOS 82642280 HAS SOPS 67799815 HAS SOUS 23345881 HAS SOUPS 22728537 WITH SCORE 2.281117928E7
AT ITER 2446 NEW BEST:: SOT 133391102 SOS 82640148 HAS SOPS 67799873 HAS SOUS 23341925 HAS SOUPS 22724618 WITH SCORE 2.2807258148E7
AT ITER 2450 NEW BEST:: SOT 133376884 SOS 82625930 HAS SOPS 67785655 HAS SOUS 23326635 HAS SOUPS 22709328 WITH SCORE 2.279195393E7
AT ITER 2477 NEW BEST:: SOT 133331099 SOS 82576334 HAS SOPS 67739870 HAS SOUS 23279813 HAS SOUPS 22662687 WITH SCORE 2.2745263334E7
AT ITER 2481 NEW BEST:: SOT 133337219 SOS 82581934 HAS SOPS 67757994 HAS SOUS 23269194 HAS SOUPS 22658074 WITH SCORE 2.2740655934E7
AT ITER 2484 NEW BEST:: SOT 133336250 SOS 82580783 HAS SOPS 67756731 HAS SOUS 23267600 HAS SOUPS 22656480 WITH SCORE 2.2739060783E7
AT ITER 2494 NEW BEST:: SOT 133312776 SOS 82542794 HAS SOPS 67716516 HAS SOUS 23227293 HAS SOUPS 22616173 WITH SCORE 2.2698715794E7
AT ITER 2497 NEW BEST:: SOT 133311166 SOS 82541126 HAS SOPS 67712407 HAS SOUS 23216372 HAS SOUPS 22605252 WITH SCORE 2.2687793126E7
AT ITER 2517 NEW BEST:: SOT 133309842 SOS 82538431 HAS SOPS 67710019 HAS SOUS 23213338 HAS SOUPS 22602258 WITH SCORE 2.2684796431E7
AT ITER 2529 NEW BEST:: SOT 133301653 SOS 82518338 HAS SOPS 67690601 HAS SOUS 23200189 HAS SOUPS 22589109 WITH SCORE 2.2671627338E7
AT ITER 2530 NEW BEST:: SOT 133304535 SOS 82528603 HAS SOPS 67723787 HAS SOUS 23195596 HAS SOUPS 22584516 WITH SCORE 2.2667044603E7
AT ITER 2557 NEW BEST:: SOT 133295882 SOS 82513740 HAS SOPS 67701906 HAS SOUS 23168124 HAS SOUPS 22557044 WITH SCORE 2.263955774E7
AT ITER 2569 NEW BEST:: SOT 133290583 SOS 82515823 HAS SOPS 67698376 HAS SOUS 23149874 HAS SOUPS 22538691 WITH SCORE 2.2621206823E7
AT ITER 2573 NEW BEST:: SOT 133269391 SOS 82494422 HAS SOPS 67675688 HAS SOUS 23123190 HAS SOUPS 22512060 WITH SCORE 2.2594554422E7
AT ITER 2574 NEW BEST:: SOT 133278989 SOS 82511647 HAS SOPS 67694743 HAS SOUS 23112282 HAS SOUPS 22502074 WITH SCORE 2.2584585647E7
AT ITER 2583 NEW BEST:: SOT 133282849 SOS 82524593 HAS SOPS 67704139 HAS SOUS 23108652 HAS SOUPS 22498444 WITH SCORE 2.2580968593E7
AT ITER 2589 NEW BEST:: SOT 133273146 SOS 82516718 HAS SOPS 67689078 HAS SOUS 23092833 HAS SOUPS 22483364 WITH SCORE 2.2565880718E7
AT ITER 2608 NEW BEST:: SOT 133267194 SOS 82509082 HAS SOPS 67686743 HAS SOUS 23085181 HAS SOUPS 22475712 WITH SCORE 2.2558221082E7
AT ITER 2616 NEW BEST:: SOT 133276625 SOS 82555015 HAS SOPS 67732450 HAS SOUS 23066017 HAS SOUPS 22456548 WITH SCORE 2.2539103015E7
AT ITER 2625 NEW BEST:: SOT 133245797 SOS 82467180 HAS SOPS 67647773 HAS SOUS 23048670 HAS SOUPS 22439201 WITH SCORE 2.252166818E7
AT ITER 2641 NEW BEST:: SOT 133241908 SOS 82462491 HAS SOPS 67642653 HAS SOUS 23039526 HAS SOUPS 22430274 WITH SCORE 2.2512736491E7
AT ITER 2659 NEW BEST:: SOT 133251945 SOS 82499924 HAS SOPS 67672822 HAS SOUS 23038610 HAS SOUPS 22429232 WITH SCORE 2.2511731924E7
AT ITER 2670 NEW BEST:: SOT 133254335 SOS 82503242 HAS SOPS 67670749 HAS SOUS 23029709 HAS SOUPS 22419226 WITH SCORE 2.2501729242E7
AT ITER 2674 NEW BEST:: SOT 133240785 SOS 82461123 HAS SOPS 67637760 HAS SOUS 23026156 HAS SOUPS 22415673 WITH SCORE 2.2498134123E7
AT ITER 2675 NEW BEST:: SOT 133241199 SOS 82460331 HAS SOPS 67634858 HAS SOUS 23023912 HAS SOUPS 22413429 WITH SCORE 2.2495889331E7
AT ITER 2690 NEW BEST:: SOT 133237726 SOS 82459248 HAS SOPS 67631654 HAS SOUS 23009709 HAS SOUPS 22399226 WITH SCORE 2.2481685248E7
AT ITER 2693 NEW BEST:: SOT 133249729 SOS 82499983 HAS SOPS 67675784 HAS SOUS 23009584 HAS SOUPS 22399101 WITH SCORE 2.2481600983E7
AT ITER 2700 NEW BEST:: SOT 133255886 SOS 82514993 HAS SOPS 67684757 HAS SOUS 22999623 HAS SOUPS 22389140 WITH SCORE 2.2471654993E7
AT ITER 2721 NEW BEST:: SOT 133247995 SOS 82495374 HAS SOPS 67669218 HAS SOUS 22999228 HAS SOUPS 22388745 WITH SCORE 2.2471240374E7
AT ITER 2737 NEW BEST:: SOT 133248731 SOS 82496444 HAS SOPS 67670405 HAS SOUS 22994855 HAS SOUPS 22384466 WITH SCORE 2.2466962444E7
AT ITER 2783 NEW BEST:: SOT 133245911 SOS 82494226 HAS SOPS 67670643 HAS SOUS 22987122 HAS SOUPS 22376733 WITH SCORE 2.2459227226E7
AT ITER 2790 NEW BEST:: SOT 133199420 SOS 82432197 HAS SOPS 67616021 HAS SOUS 22938858 HAS SOUPS 22329427 WITH SCORE 2.2411859197E7
AT ITER 2795 NEW BEST:: SOT 133198679 SOS 82432845 HAS SOPS 67617875 HAS SOUS 22938097 HAS SOUPS 22328666 WITH SCORE 2.2411098845E7
AT ITER 2813 NEW BEST:: SOT 133182134 SOS 82414992 HAS SOPS 67608552 HAS SOUS 22933764 HAS SOUPS 22324343 WITH SCORE 2.2406757992E7
AT ITER 2815 NEW BEST:: SOT 133186297 SOS 82427321 HAS SOPS 67617998 HAS SOUS 22924491 HAS SOUPS 22315070 WITH SCORE 2.2397497321E7
AT ITER 2824 NEW BEST:: SOT 133176846 SOS 82415496 HAS SOPS 67607748 HAS SOUS 22914656 HAS SOUPS 22305346 WITH SCORE 2.2387761496E7
AT ITER 2827 NEW BEST:: SOT 133176684 SOS 82415334 HAS SOPS 67607634 HAS SOUS 22914302 HAS SOUPS 22304992 WITH SCORE 2.2387407334E7
AT ITER 2837 NEW BEST:: SOT 133130202 SOS 82354121 HAS SOPS 67566661 HAS SOUS 22840832 HAS SOUPS 22231680 WITH SCORE 2.2314034121E7
AT ITER 2862 NEW BEST:: SOT 133160346 SOS 82469855 HAS SOPS 67679399 HAS SOUS 22829542 HAS SOUPS 22219012 WITH SCORE 2.2301481855E7
AT ITER 2864 NEW BEST:: SOT 133222939 SOS 82625326 HAS SOPS 67812194 HAS SOUS 22817306 HAS SOUPS 22206776 WITH SCORE 2.2289401326E7
AT ITER 2868 NEW BEST:: SOT 133253304 SOS 82671361 HAS SOPS 67834247 HAS SOUS 22775707 HAS SOUPS 22165177 WITH SCORE 2.2247848361E7
AT ITER 2871 NEW BEST:: SOT 133244118 SOS 82663053 HAS SOPS 67824921 HAS SOUS 22757824 HAS SOUPS 22147217 WITH SCORE 2.2229880053E7
AT ITER 2897 NEW BEST:: SOT 133237602 SOS 82654134 HAS SOPS 67818501 HAS SOUS 22723319 HAS SOUPS 22116000 WITH SCORE 2.2198654134E7
AT ITER 2899 NEW BEST:: SOT 133237602 SOS 82654061 HAS SOPS 67818444 HAS SOUS 22723239 HAS SOUPS 22115923 WITH SCORE 2.2198577061E7
AT ITER 2906 NEW BEST:: SOT 133213791 SOS 82605521 HAS SOPS 67778520 HAS SOUS 22706177 HAS SOUPS 22099154 WITH SCORE 2.2181759521E7
AT ITER 2915 NEW BEST:: SOT 133204127 SOS 82595184 HAS SOPS 67773292 HAS SOUS 22694784 HAS SOUPS 22088127 WITH SCORE 2.2170722184E7
AT ITER 2920 NEW BEST:: SOT 133257089 SOS 82689274 HAS SOPS 67848075 HAS SOUS 22690459 HAS SOUPS 22083802 WITH SCORE 2.2166491274E7
AT ITER 2946 NEW BEST:: SOT 133204698 SOS 82591847 HAS SOPS 67742002 HAS SOUS 22661471 HAS SOUPS 22054814 WITH SCORE 2.2137405847E7
AT ITER 2960 NEW BEST:: SOT 133205617 SOS 82594115 HAS SOPS 67744045 HAS SOUS 22660914 HAS SOUPS 22054257 WITH SCORE 2.2136851115E7
AT ITER 2962 NEW BEST:: SOT 133200485 SOS 82577944 HAS SOPS 67733041 HAS SOUS 22657001 HAS SOUPS 22050344 WITH SCORE 2.2132921944E7
AT ITER 2990 NEW BEST:: SOT 133185698 SOS 82563250 HAS SOPS 67716267 HAS SOUS 22638944 HAS SOUPS 22031432 WITH SCORE 2.211399525E7
AT ITER 2992 NEW BEST:: SOT 133254022 SOS 82722899 HAS SOPS 67879694 HAS SOUS 22605093 HAS SOUPS 21997581 WITH SCORE 2.2080303899E7
AT ITER 3019 NEW BEST:: SOT 133226085 SOS 82674325 HAS SOPS 67854620 HAS SOUS 22583089 HAS SOUPS 21975577 WITH SCORE 2.2058251325E7
AT ITER 3026 NEW BEST:: SOT 133215561 SOS 82639352 HAS SOPS 67827383 HAS SOUS 22580855 HAS SOUPS 21973343 WITH SCORE 2.2055982352E7
AT ITER 3033 NEW BEST:: SOT 133215913 SOS 82638217 HAS SOPS 67827585 HAS SOUS 22580610 HAS SOUPS 21973098 WITH SCORE 2.2055736217E7
AT ITER 3043 NEW BEST:: SOT 133214175 SOS 82636515 HAS SOPS 67825703 HAS SOUS 22578269 HAS SOUPS 21970748 WITH SCORE 2.2053384515E7
AT ITER 3049 NEW BEST:: SOT 133205915 SOS 82625965 HAS SOPS 67805387 HAS SOUS 22565958 HAS SOUPS 21958578 WITH SCORE 2.2041203965E7
AT ITER 3060 NEW BEST:: SOT 133207182 SOS 82622794 HAS SOPS 67803474 HAS SOUS 22564833 HAS SOUPS 21957453 WITH SCORE 2.2040075794E7
AT ITER 3061 NEW BEST:: SOT 133206100 SOS 82622750 HAS SOPS 67800024 HAS SOUS 22557561 HAS SOUPS 21950181 WITH SCORE 2.203280375E7
AT ITER 3069 NEW BEST:: SOT 133206980 SOS 82629169 HAS SOPS 67811893 HAS SOUS 22557236 HAS SOUPS 21949856 WITH SCORE 2.2032485169E7
AT ITER 3084 NEW BEST:: SOT 133211687 SOS 82639652 HAS SOPS 67818144 HAS SOUS 22554862 HAS SOUPS 21947482 WITH SCORE 2.2030121652E7
AT ITER 3089 NEW BEST:: SOT 133194776 SOS 82622705 HAS SOPS 67801151 HAS SOUS 22536055 HAS SOUPS 21928693 WITH SCORE 2.2011315705E7
AT ITER 3095 NEW BEST:: SOT 133190830 SOS 82594545 HAS SOPS 67789258 HAS SOUS 22523898 HAS SOUPS 21916157 WITH SCORE 2.1998751545E7
AT ITER 3103 NEW BEST:: SOT 133201108 SOS 82644424 HAS SOPS 67845679 HAS SOUS 22518436 HAS SOUPS 21910714 WITH SCORE 2.1993358424E7
AT ITER 3111 NEW BEST:: SOT 133191634 SOS 82636707 HAS SOPS 67851073 HAS SOUS 22503179 HAS SOUPS 21895457 WITH SCORE 2.1978093707E7
AT ITER 3118 NEW BEST:: SOT 133206878 SOS 82655273 HAS SOPS 67868210 HAS SOUS 22484975 HAS SOUPS 21877207 WITH SCORE 2.1959862273E7
AT ITER 3124 NEW BEST:: SOT 133207519 SOS 82655919 HAS SOPS 67869235 HAS SOUS 22483930 HAS SOUPS 21876162 WITH SCORE 2.1958817919E7
AT ITER 3125 NEW BEST:: SOT 133207628 SOS 82656184 HAS SOPS 67869338 HAS SOUS 22483601 HAS SOUPS 21875833 WITH SCORE 2.1958489184E7
AT ITER 3129 NEW BEST:: SOT 133190723 SOS 82639279 HAS SOPS 67852433 HAS SOUS 22446376 HAS SOUPS 21838608 WITH SCORE 2.1921247279E7
AT ITER 3151 NEW BEST:: SOT 133185811 SOS 82640292 HAS SOPS 67848462 HAS SOUS 22425847 HAS SOUPS 21818079 WITH SCORE 2.1900719292E7
AT ITER 3155 NEW BEST:: SOT 133174538 SOS 82610630 HAS SOPS 67823950 HAS SOUS 22417141 HAS SOUPS 21809373 WITH SCORE 2.189198363E7
AT ITER 3174 NEW BEST:: SOT 133159451 SOS 82593991 HAS SOPS 67804669 HAS SOUS 22385487 HAS SOUPS 21774950 WITH SCORE 2.1857543991E7
AT ITER 3183 NEW BEST:: SOT 133154798 SOS 82580579 HAS SOPS 67796414 HAS SOUS 22384918 HAS SOUPS 21774381 WITH SCORE 2.1856961579E7
AT ITER 3191 NEW BEST:: SOT 133172868 SOS 82622264 HAS SOPS 67840975 HAS SOUS 22379728 HAS SOUPS 21769191 WITH SCORE 2.1851813264E7
AT ITER 3213 NEW BEST:: SOT 133172539 SOS 82621466 HAS SOPS 67841361 HAS SOUS 22378082 HAS SOUPS 21767923 WITH SCORE 2.1850544466E7
AT ITER 3222 NEW BEST:: SOT 133164990 SOS 82598343 HAS SOPS 67820261 HAS SOUS 22372141 HAS SOUPS 21761982 WITH SCORE 2.1844580343E7
AT ITER 3224 NEW BEST:: SOT 133162398 SOS 82595443 HAS SOPS 67816046 HAS SOUS 22368225 HAS SOUPS 21758059 WITH SCORE 2.1840654443E7
AT ITER 3232 NEW BEST:: SOT 133152041 SOS 82587062 HAS SOPS 67800186 HAS SOUS 22341162 HAS SOUPS 21730996 WITH SCORE 2.1813583062E7
AT ITER 3238 NEW BEST:: SOT 133150378 SOS 82592984 HAS SOPS 67799073 HAS SOUS 22334422 HAS SOUPS 21724256 WITH SCORE 2.1806848984E7
AT ITER 3249 NEW BEST:: SOT 133144658 SOS 82567235 HAS SOPS 67770905 HAS SOUS 22330485 HAS SOUPS 21720319 WITH SCORE 2.1802886235E7
AT ITER 3270 NEW BEST:: SOT 133144699 SOS 82567322 HAS SOPS 67771008 HAS SOUS 22330448 HAS SOUPS 21720283 WITH SCORE 2.1802850322E7
AT ITER 3279 NEW BEST:: SOT 133148142 SOS 82570242 HAS SOPS 67775725 HAS SOUS 22327617 HAS SOUPS 21718268 WITH SCORE 2.1800838242E7
AT ITER 3300 NEW BEST:: SOT 133147522 SOS 82569370 HAS SOPS 67775620 HAS SOUS 22327023 HAS SOUPS 21717674 WITH SCORE 2.180024337E7
AT ITER 3330 NEW BEST:: SOT 133147324 SOS 82569012 HAS SOPS 67775148 HAS SOUS 22326573 HAS SOUPS 21717224 WITH SCORE 2.1799793012E7
AT ITER 3333 NEW BEST:: SOT 133144360 SOS 82562763 HAS SOPS 67766557 HAS SOUS 22320622 HAS SOUPS 21711242 WITH SCORE 2.1793804763E7
AT ITER 3339 NEW BEST:: SOT 133146997 SOS 82570998 HAS SOPS 67773053 HAS SOUS 22318061 HAS SOUPS 21708681 WITH SCORE 2.1791251998E7
AT ITER 3342 NEW BEST:: SOT 133125026 SOS 82525091 HAS SOPS 67734130 HAS SOUS 22302388 HAS SOUPS 21693093 WITH SCORE 2.1775618091E7
AT ITER 3349 NEW BEST:: SOT 133114825 SOS 82513035 HAS SOPS 67720152 HAS SOUS 22284658 HAS SOUPS 21675363 WITH SCORE 2.1757876035E7
AT ITER 3353 NEW BEST:: SOT 133106957 SOS 82498817 HAS SOPS 67706834 HAS SOUS 22272577 HAS SOUPS 21663340 WITH SCORE 2.1745838817E7
AT ITER 3373 NEW BEST:: SOT 133106321 SOS 82498248 HAS SOPS 67706031 HAS SOUS 22271722 HAS SOUPS 21662433 WITH SCORE 2.1744931248E7
AT ITER 3414 NEW BEST:: SOT 133104957 SOS 82497588 HAS SOPS 67704667 HAS SOUS 22268774 HAS SOUPS 21659485 WITH SCORE 2.1741982588E7
AT ITER 3417 NEW BEST:: SOT 133102073 SOS 82488513 HAS SOPS 67694649 HAS SOUS 22267935 HAS SOUPS 21658646 WITH SCORE 2.1741134513E7
AT ITER 3423 NEW BEST:: SOT 133095286 SOS 82477850 HAS SOPS 67683691 HAS SOUS 22255091 HAS SOUPS 21645868 WITH SCORE 2.172834585E7
AT ITER 3444 NEW BEST:: SOT 133107567 SOS 82495101 HAS SOPS 67703153 HAS SOUS 22253826 HAS SOUPS 21644763 WITH SCORE 2.1727258101E7
AT ITER 3446 NEW BEST:: SOT 133111308 SOS 82492847 HAS SOPS 67706751 HAS SOUS 22243086 HAS SOUPS 21634023 WITH SCORE 2.1716515847E7
AT ITER 3455 NEW BEST:: SOT 133111466 SOS 82493232 HAS SOPS 67704311 HAS SOUS 22238134 HAS SOUPS 21629071 WITH SCORE 2.1711564232E7
AT ITER 3480 NEW BEST:: SOT 133104661 SOS 82473371 HAS SOPS 67684376 HAS SOUS 22217095 HAS SOUPS 21608032 WITH SCORE 2.1690505371E7
AT ITER 3487 NEW BEST:: SOT 133105010 SOS 82475371 HAS SOPS 67685306 HAS SOUS 22216511 HAS SOUPS 21607448 WITH SCORE 2.1689923371E7
AT ITER 3491 NEW BEST:: SOT 133098564 SOS 82474369 HAS SOPS 67677917 HAS SOUS 22195211 HAS SOUPS 21586148 WITH SCORE 2.1668622369E7
AT ITER 3492 NEW BEST:: SOT 133090985 SOS 82463343 HAS SOPS 67671842 HAS SOUS 22182245 HAS SOUPS 21573182 WITH SCORE 2.1655645343E7
AT ITER 3499 NEW BEST:: SOT 133088183 SOS 82460900 HAS SOPS 67666559 HAS SOUS 22171160 HAS SOUPS 21562097 WITH SCORE 2.16445579E7
AT ITER 3507 NEW BEST:: SOT 133080416 SOS 82466512 HAS SOPS 67672501 HAS SOUS 22124046 HAS SOUPS 21515259 WITH SCORE 2.1597725512E7
AT ITER 3509 NEW BEST:: SOT 133088178 SOS 82483283 HAS SOPS 67689514 HAS SOUS 22123574 HAS SOUPS 21514787 WITH SCORE 2.1597270283E7
AT ITER 3512 NEW BEST:: SOT 133088140 SOS 82483243 HAS SOPS 67689459 HAS SOUS 22123441 HAS SOUPS 21514654 WITH SCORE 2.1597137243E7
AT ITER 3514 NEW BEST:: SOT 133085528 SOS 82480620 HAS SOPS 67685620 HAS SOUS 22118091 HAS SOUPS 21509304 WITH SCORE 2.159178462E7
AT ITER 3520 NEW BEST:: SOT 133082274 SOS 82477254 HAS SOPS 67680566 HAS SOUS 22116273 HAS SOUPS 21507486 WITH SCORE 2.1589963254E7
AT ITER 3522 NEW BEST:: SOT 133080182 SOS 82474170 HAS SOPS 67677426 HAS SOUS 22112939 HAS SOUPS 21504160 WITH SCORE 2.158663417E7
AT ITER 3543 NEW BEST:: SOT 133062404 SOS 82446648 HAS SOPS 67670841 HAS SOUS 22112330 HAS SOUPS 21503781 WITH SCORE 2.1586227648E7
AT ITER 3545 NEW BEST:: SOT 133062849 SOS 82446880 HAS SOPS 67671556 HAS SOUS 22107102 HAS SOUPS 21498613 WITH SCORE 2.158105988E7
AT ITER 3549 NEW BEST:: SOT 133048113 SOS 82426729 HAS SOPS 67654112 HAS SOUS 22101142 HAS SOUPS 21492653 WITH SCORE 2.1575079729E7
AT ITER 3566 NEW BEST:: SOT 133047985 SOS 82426531 HAS SOPS 67653850 HAS SOUS 22099531 HAS SOUPS 21491042 WITH SCORE 2.1573468531E7
AT ITER 3582 NEW BEST:: SOT 133056240 SOS 82473599 HAS SOPS 67704116 HAS SOUS 22096440 HAS SOUPS 21487951 WITH SCORE 2.1570424599E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14092544 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15950752 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="RERS17pb114-PT-2"
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 RERS17pb114-PT-2, 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-167889204000088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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