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.r323-tall-167889194300112.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 smart
Input is RERS17pb114-PT-5, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194300112
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 7.2K Feb 26 04:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 04:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 04:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 26 04:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K 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 8.8K Feb 26 05:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 05:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 04:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 04:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 1679480653782

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb114-PT-5
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 5
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133650955 SOS 82200848 HAS SOPS 66750976 HAS SOUS 26441832 HAS SOUPS 25811141 WITH SCORE 2.5893341848E7
AT ITER 3 NEW BEST:: SOT 133609698 SOS 82150370 HAS SOPS 66698819 HAS SOUS 26360976 HAS SOUPS 25731612 WITH SCORE 2.581376237E7
AT ITER 10 NEW BEST:: SOT 133611471 SOS 82159610 HAS SOPS 66706264 HAS SOUS 26359394 HAS SOUPS 25730030 WITH SCORE 2.581218961E7
AT ITER 12 NEW BEST:: SOT 133634611 SOS 82248213 HAS SOPS 66787108 HAS SOUS 26340779 HAS SOUPS 25711415 WITH SCORE 2.5793663213E7
AT ITER 18 NEW BEST:: SOT 133643375 SOS 82267571 HAS SOPS 66799907 HAS SOUS 26339172 HAS SOUPS 25709808 WITH SCORE 2.5792075571E7
AT ITER 19 NEW BEST:: SOT 133677393 SOS 82353392 HAS SOPS 66868133 HAS SOUS 26221635 HAS SOUPS 25595921 WITH SCORE 2.5678274392E7
AT ITER 23 NEW BEST:: SOT 133698709 SOS 82407868 HAS SOPS 66917490 HAS SOUS 26210965 HAS SOUPS 25585251 WITH SCORE 2.5667658868E7
AT ITER 33 NEW BEST:: SOT 133703752 SOS 82432542 HAS SOPS 66939570 HAS SOUS 26193879 HAS SOUPS 25568165 WITH SCORE 2.5650597542E7
AT ITER 38 NEW BEST:: SOT 133719990 SOS 82463903 HAS SOPS 66971274 HAS SOUS 26171224 HAS SOUPS 25545510 WITH SCORE 2.5627973903E7
AT ITER 44 NEW BEST:: SOT 133726321 SOS 82486618 HAS SOPS 66988777 HAS SOUS 26167958 HAS SOUPS 25542244 WITH SCORE 2.5624730618E7
AT ITER 49 NEW BEST:: SOT 133741023 SOS 82555259 HAS SOPS 67080818 HAS SOUS 26163227 HAS SOUPS 25537513 WITH SCORE 2.5620068259E7
AT ITER 51 NEW BEST:: SOT 133740513 SOS 82554749 HAS SOPS 67080308 HAS SOUS 26162717 HAS SOUPS 25537003 WITH SCORE 2.5619557749E7
AT ITER 53 NEW BEST:: SOT 133690945 SOS 82477593 HAS SOPS 67005252 HAS SOUS 26119796 HAS SOUPS 25490342 WITH SCORE 2.5572819593E7
AT ITER 64 NEW BEST:: SOT 133681084 SOS 82461640 HAS SOPS 67005097 HAS SOUS 26116728 HAS SOUPS 25487274 WITH SCORE 2.556973564E7
AT ITER 67 NEW BEST:: SOT 133671504 SOS 82435758 HAS SOPS 66989416 HAS SOUS 26108473 HAS SOUPS 25479837 WITH SCORE 2.5562272758E7
AT ITER 69 NEW BEST:: SOT 133548605 SOS 82291562 HAS SOPS 66856116 HAS SOUS 25981600 HAS SOUPS 25353478 WITH SCORE 2.5435769562E7
AT ITER 72 NEW BEST:: SOT 133526428 SOS 82268509 HAS SOPS 66827824 HAS SOUS 25951000 HAS SOUPS 25322878 WITH SCORE 2.5405146509E7
AT ITER 74 NEW BEST:: SOT 133525592 SOS 82268911 HAS SOPS 66827918 HAS SOUS 25948401 HAS SOUPS 25320263 WITH SCORE 2.5402531911E7
AT ITER 75 NEW BEST:: SOT 133531569 SOS 82276613 HAS SOPS 66850529 HAS SOUS 25936748 HAS SOUPS 25308673 WITH SCORE 2.5390949613E7
AT ITER 79 NEW BEST:: SOT 133534737 SOS 82295597 HAS SOPS 66864497 HAS SOUS 25920376 HAS SOUPS 25292301 WITH SCORE 2.5374596597E7
AT ITER 84 NEW BEST:: SOT 133548373 SOS 82346049 HAS SOPS 66916035 HAS SOUS 25919953 HAS SOUPS 25291878 WITH SCORE 2.5374224049E7
AT ITER 89 NEW BEST:: SOT 133692499 SOS 82485977 HAS SOPS 67056801 HAS SOUS 25905557 HAS SOUPS 25277725 WITH SCORE 2.5360210977E7
AT ITER 93 NEW BEST:: SOT 133694896 SOS 82497194 HAS SOPS 67072026 HAS SOUS 25885293 HAS SOUPS 25257712 WITH SCORE 2.5340209194E7
AT ITER 94 NEW BEST:: SOT 133695529 SOS 82511781 HAS SOPS 67088679 HAS SOUS 25882009 HAS SOUPS 25254428 WITH SCORE 2.5336939781E7
AT ITER 97 NEW BEST:: SOT 133713802 SOS 82572383 HAS SOPS 67127809 HAS SOUS 25878115 HAS SOUPS 25250534 WITH SCORE 2.5333106383E7
AT ITER 99 NEW BEST:: SOT 133714438 SOS 82578864 HAS SOPS 67131064 HAS SOUS 25875595 HAS SOUPS 25248014 WITH SCORE 2.5330592864E7
AT ITER 103 NEW BEST:: SOT 133714616 SOS 82578952 HAS SOPS 67130834 HAS SOUS 25875113 HAS SOUPS 25247532 WITH SCORE 2.5330110952E7
AT ITER 109 NEW BEST:: SOT 133714619 SOS 82579030 HAS SOPS 67130900 HAS SOUS 25875095 HAS SOUPS 25247514 WITH SCORE 2.533009303E7
AT ITER 112 NEW BEST:: SOT 133714235 SOS 82579312 HAS SOPS 67130756 HAS SOUS 25873855 HAS SOUPS 25246274 WITH SCORE 2.5328853312E7
AT ITER 116 NEW BEST:: SOT 133712286 SOS 82589241 HAS SOPS 67139643 HAS SOUS 25866290 HAS SOUPS 25238709 WITH SCORE 2.5321298241E7
AT ITER 147 NEW BEST:: SOT 133712052 SOS 82593617 HAS SOPS 67141180 HAS SOUS 25857768 HAS SOUPS 25230187 WITH SCORE 2.5312780617E7
AT ITER 152 NEW BEST:: SOT 133718288 SOS 82597959 HAS SOPS 67138104 HAS SOUS 25852365 HAS SOUPS 25225038 WITH SCORE 2.5307635959E7
AT ITER 155 NEW BEST:: SOT 133728956 SOS 82629559 HAS SOPS 67169162 HAS SOUS 25848560 HAS SOUPS 25221233 WITH SCORE 2.5303862559E7
AT ITER 160 NEW BEST:: SOT 133725299 SOS 82625743 HAS SOPS 67163809 HAS SOUS 25836074 HAS SOUPS 25209506 WITH SCORE 2.5292131743E7
AT ITER 179 NEW BEST:: SOT 133724452 SOS 82624896 HAS SOPS 67163218 HAS SOUS 25836223 HAS SOUPS 25208915 WITH SCORE 2.5291539896E7
AT ITER 193 NEW BEST:: SOT 133727236 SOS 82634600 HAS SOPS 67170824 HAS SOUS 25833740 HAS SOUPS 25206432 WITH SCORE 2.52890666E7
AT ITER 197 NEW BEST:: SOT 133727128 SOS 82634660 HAS SOPS 67171244 HAS SOUS 25833575 HAS SOUPS 25206267 WITH SCORE 2.528890166E7
AT ITER 202 NEW BEST:: SOT 133726207 SOS 82630761 HAS SOPS 67168739 HAS SOUS 25832571 HAS SOUPS 25205416 WITH SCORE 2.5288046761E7
AT ITER 208 NEW BEST:: SOT 133718371 SOS 82619140 HAS SOPS 67157488 HAS SOUS 25822962 HAS SOUPS 25195807 WITH SCORE 2.527842614E7
AT ITER 213 NEW BEST:: SOT 133719440 SOS 82627515 HAS SOPS 67159215 HAS SOUS 25804789 HAS SOUPS 25177634 WITH SCORE 2.5260261515E7
AT ITER 217 NEW BEST:: SOT 133719583 SOS 82631492 HAS SOPS 67158257 HAS SOUS 25794225 HAS SOUPS 25167070 WITH SCORE 2.5249701492E7
AT ITER 218 NEW BEST:: SOT 133706739 SOS 82615203 HAS SOPS 67138731 HAS SOUS 25772820 HAS SOUPS 25145665 WITH SCORE 2.5228280203E7
AT ITER 240 NEW BEST:: SOT 133758321 SOS 82771141 HAS SOPS 67313208 HAS SOUS 25734195 HAS SOUPS 25107040 WITH SCORE 2.5189811141E7
AT ITER 244 NEW BEST:: SOT 133773934 SOS 82790947 HAS SOPS 67336286 HAS SOUS 25732055 HAS SOUPS 25106873 WITH SCORE 2.5189663947E7
AT ITER 254 NEW BEST:: SOT 133773416 SOS 82790744 HAS SOPS 67334702 HAS SOUS 25727690 HAS SOUPS 25102508 WITH SCORE 2.5185298744E7
AT ITER 257 NEW BEST:: SOT 133773416 SOS 82790735 HAS SOPS 67334702 HAS SOUS 25727690 HAS SOUPS 25102508 WITH SCORE 2.5185298735E7
AT ITER 264 NEW BEST:: SOT 133767083 SOS 82775820 HAS SOPS 67321019 HAS SOUS 25719854 HAS SOUPS 25094672 WITH SCORE 2.517744782E7
AT ITER 269 NEW BEST:: SOT 133765060 SOS 82773797 HAS SOPS 67318996 HAS SOUS 25714871 HAS SOUPS 25089689 WITH SCORE 2.5172462797E7
AT ITER 274 NEW BEST:: SOT 133771835 SOS 82791938 HAS SOPS 67343118 HAS SOUS 25712900 HAS SOUPS 25087718 WITH SCORE 2.5170509938E7
AT ITER 279 NEW BEST:: SOT 133767663 SOS 82785956 HAS SOPS 67335272 HAS SOUS 25701861 HAS SOUPS 25077195 WITH SCORE 2.5159980956E7
AT ITER 287 NEW BEST:: SOT 133747307 SOS 82765417 HAS SOPS 67314643 HAS SOUS 25680175 HAS SOUPS 25055451 WITH SCORE 2.5138216417E7
AT ITER 293 NEW BEST:: SOT 133751044 SOS 82794289 HAS SOPS 67345481 HAS SOUS 25653326 HAS SOUPS 25028602 WITH SCORE 2.5111396289E7
AT ITER 296 NEW BEST:: SOT 133734621 SOS 82760090 HAS SOPS 67315904 HAS SOUS 25636912 HAS SOUPS 25012188 WITH SCORE 2.509494809E7
AT ITER 297 NEW BEST:: SOT 133800521 SOS 82910648 HAS SOPS 67460474 HAS SOUS 25630839 HAS SOUPS 25006032 WITH SCORE 2.5088942648E7
AT ITER 300 NEW BEST:: SOT 133800315 SOS 82915856 HAS SOPS 67466423 HAS SOUS 25625775 HAS SOUPS 25000968 WITH SCORE 2.5083883856E7
AT ITER 301 NEW BEST:: SOT 133773435 SOS 82885820 HAS SOPS 67410763 HAS SOUS 25606461 HAS SOUPS 24981695 WITH SCORE 2.506458082E7
AT ITER 306 NEW BEST:: SOT 133795196 SOS 82954901 HAS SOPS 67472781 HAS SOUS 25604681 HAS SOUPS 24979915 WITH SCORE 2.5062869901E7
AT ITER 309 NEW BEST:: SOT 133793935 SOS 82951754 HAS SOPS 67471347 HAS SOUS 25600856 HAS SOUPS 24976090 WITH SCORE 2.5059041754E7
AT ITER 310 NEW BEST:: SOT 133782298 SOS 82946933 HAS SOPS 67479191 HAS SOUS 25592122 HAS SOUPS 24967356 WITH SCORE 2.5050302933E7
AT ITER 324 NEW BEST:: SOT 133769157 SOS 82928409 HAS SOPS 67461528 HAS SOUS 25557627 HAS SOUPS 24932861 WITH SCORE 2.5015789409E7
AT ITER 330 NEW BEST:: SOT 133768851 SOS 82929089 HAS SOPS 67462391 HAS SOUS 25557065 HAS SOUPS 24932299 WITH SCORE 2.5015228089E7
AT ITER 348 NEW BEST:: SOT 133767016 SOS 82935396 HAS SOPS 67465847 HAS SOUS 25540770 HAS SOUPS 24916004 WITH SCORE 2.4998939396E7
AT ITER 351 NEW BEST:: SOT 133758013 SOS 82911125 HAS SOPS 67447975 HAS SOUS 25537580 HAS SOUPS 24913444 WITH SCORE 2.4996355125E7
AT ITER 352 NEW BEST:: SOT 133757680 SOS 82910777 HAS SOPS 67447633 HAS SOUS 25537252 HAS SOUPS 24913116 WITH SCORE 2.4996026777E7
AT ITER 353 NEW BEST:: SOT 133749620 SOS 82896606 HAS SOPS 67435565 HAS SOUS 25531733 HAS SOUPS 24907597 WITH SCORE 2.4990493606E7
AT ITER 359 NEW BEST:: SOT 133754962 SOS 82910102 HAS SOPS 67443677 HAS SOUS 25531097 HAS SOUPS 24906961 WITH SCORE 2.4989871102E7
AT ITER 361 NEW BEST:: SOT 133764679 SOS 82925661 HAS SOPS 67466140 HAS SOUS 25519129 HAS SOUPS 24894922 WITH SCORE 2.4977847661E7
AT ITER 362 NEW BEST:: SOT 133755518 SOS 82914867 HAS SOPS 67450280 HAS SOUS 25478737 HAS SOUPS 24857525 WITH SCORE 2.4940439867E7
AT ITER 404 NEW BEST:: SOT 133764118 SOS 82940355 HAS SOPS 67470204 HAS SOUS 25475884 HAS SOUPS 24854672 WITH SCORE 2.4937612355E7
AT ITER 408 NEW BEST:: SOT 133764562 SOS 82939424 HAS SOPS 67483249 HAS SOUS 25473739 HAS SOUPS 24852527 WITH SCORE 2.4935466424E7
AT ITER 420 NEW BEST:: SOT 133763323 SOS 82939108 HAS SOPS 67483445 HAS SOUS 25468810 HAS SOUPS 24847658 WITH SCORE 2.4930597108E7
AT ITER 428 NEW BEST:: SOT 133764086 SOS 82943816 HAS SOPS 67484763 HAS SOUS 25466907 HAS SOUPS 24845755 WITH SCORE 2.4928698816E7
AT ITER 430 NEW BEST:: SOT 133834406 SOS 83182254 HAS SOPS 67729450 HAS SOUS 25436398 HAS SOUPS 24814742 WITH SCORE 2.4897924254E7
AT ITER 436 NEW BEST:: SOT 133834340 SOS 83186137 HAS SOPS 67738295 HAS SOUS 25427332 HAS SOUPS 24805676 WITH SCORE 2.4888862137E7
AT ITER 456 NEW BEST:: SOT 133878903 SOS 83301666 HAS SOPS 67847839 HAS SOUS 25426101 HAS SOUPS 24804445 WITH SCORE 2.4887746666E7
AT ITER 471 NEW BEST:: SOT 133877309 SOS 83296204 HAS SOPS 67845841 HAS SOUS 25424752 HAS SOUPS 24803096 WITH SCORE 2.4886392204E7
AT ITER 476 NEW BEST:: SOT 133850136 SOS 83261541 HAS SOPS 67811978 HAS SOUS 25380179 HAS SOUPS 24758618 WITH SCORE 2.4841879541E7
AT ITER 488 NEW BEST:: SOT 133830691 SOS 83211250 HAS SOPS 67792869 HAS SOUS 25370477 HAS SOUPS 24749972 WITH SCORE 2.483318325E7
AT ITER 490 NEW BEST:: SOT 133820520 SOS 83196301 HAS SOPS 67779046 HAS SOUS 25355340 HAS SOUPS 24735212 WITH SCORE 2.4818408301E7
AT ITER 498 NEW BEST:: SOT 133821545 SOS 83200304 HAS SOPS 67781912 HAS SOUS 25354891 HAS SOUPS 24734763 WITH SCORE 2.4817963304E7
AT ITER 505 NEW BEST:: SOT 133799181 SOS 83161902 HAS SOPS 67757612 HAS SOUS 25338225 HAS SOUPS 24718097 WITH SCORE 2.4801258902E7
AT ITER 530 NEW BEST:: SOT 133795008 SOS 83152114 HAS SOPS 67749292 HAS SOUS 25332993 HAS SOUPS 24712865 WITH SCORE 2.4796017114E7
AT ITER 554 NEW BEST:: SOT 133796625 SOS 83163205 HAS SOPS 67769271 HAS SOUS 25332014 HAS SOUPS 24711886 WITH SCORE 2.4795049205E7
AT ITER 574 NEW BEST:: SOT 133796743 SOS 83164870 HAS SOPS 67768925 HAS SOUS 25328177 HAS SOUPS 24708028 WITH SCORE 2.479119287E7
AT ITER 588 NEW BEST:: SOT 133799360 SOS 83170297 HAS SOPS 67774491 HAS SOUS 25327450 HAS SOUPS 24707301 WITH SCORE 2.4790471297E7
AT ITER 602 NEW BEST:: SOT 133800504 SOS 83180592 HAS SOPS 67782745 HAS SOUS 25314500 HAS SOUPS 24694351 WITH SCORE 2.4777531592E7
AT ITER 632 NEW BEST:: SOT 133816655 SOS 83215774 HAS SOPS 67819260 HAS SOUS 25304963 HAS SOUPS 24684814 WITH SCORE 2.4768029774E7
AT ITER 648 NEW BEST:: SOT 133815356 SOS 83212599 HAS SOPS 67816455 HAS SOUS 25303702 HAS SOUPS 24683553 WITH SCORE 2.4766765599E7
AT ITER 669 NEW BEST:: SOT 133809095 SOS 83206511 HAS SOPS 67816593 HAS SOUS 25292183 HAS SOUPS 24671889 WITH SCORE 2.4755095511E7
AT ITER 679 NEW BEST:: SOT 133800081 SOS 83193781 HAS SOPS 67804409 HAS SOUS 25277451 HAS SOUPS 24657157 WITH SCORE 2.4740350781E7
AT ITER 697 NEW BEST:: SOT 133799634 SOS 83193102 HAS SOPS 67803778 HAS SOUS 25276324 HAS SOUPS 24656030 WITH SCORE 2.4739223102E7
AT ITER 703 NEW BEST:: SOT 133768897 SOS 83137156 HAS SOPS 67764401 HAS SOUS 25263154 HAS SOUPS 24642860 WITH SCORE 2.4725997156E7
AT ITER 704 NEW BEST:: SOT 133775019 SOS 83153453 HAS SOPS 67775857 HAS SOUS 25255672 HAS SOUPS 24635378 WITH SCORE 2.4718531453E7
AT ITER 705 NEW BEST:: SOT 133774350 SOS 83151016 HAS SOPS 67772690 HAS SOUS 25253470 HAS SOUPS 24633176 WITH SCORE 2.4716327016E7
AT ITER 707 NEW BEST:: SOT 133776785 SOS 83157348 HAS SOPS 67774505 HAS SOUS 25237687 HAS SOUPS 24617393 WITH SCORE 2.4700550348E7
AT ITER 734 NEW BEST:: SOT 133833439 SOS 83276365 HAS SOPS 67922326 HAS SOUS 25201035 HAS SOUPS 24580741 WITH SCORE 2.4664017365E7
AT ITER 739 NEW BEST:: SOT 133831490 SOS 83270541 HAS SOPS 67912567 HAS SOUS 25191657 HAS SOUPS 24571347 WITH SCORE 2.4654617541E7
AT ITER 740 NEW BEST:: SOT 133841616 SOS 83295583 HAS SOPS 67935480 HAS SOUS 25190453 HAS SOUPS 24570143 WITH SCORE 2.4653438583E7
AT ITER 742 NEW BEST:: SOT 133858256 SOS 83347212 HAS SOPS 67984088 HAS SOUS 25187562 HAS SOUPS 24567252 WITH SCORE 2.4650599212E7
AT ITER 746 NEW BEST:: SOT 133857952 SOS 83345762 HAS SOPS 67982554 HAS SOUS 25186658 HAS SOUPS 24566348 WITH SCORE 2.4649693762E7
AT ITER 756 NEW BEST:: SOT 133855103 SOS 83334590 HAS SOPS 67968054 HAS SOUS 25183320 HAS SOUPS 24563010 WITH SCORE 2.464634459E7
AT ITER 761 NEW BEST:: SOT 133858676 SOS 83366039 HAS SOPS 68023322 HAS SOUS 25160910 HAS SOUPS 24540600 WITH SCORE 2.4623966039E7
AT ITER 781 NEW BEST:: SOT 133832668 SOS 83302899 HAS SOPS 67968580 HAS SOUS 25146983 HAS SOUPS 24526673 WITH SCORE 2.4609975899E7
AT ITER 793 NEW BEST:: SOT 133841143 SOS 83306628 HAS SOPS 67956771 HAS SOUS 25147097 HAS SOUPS 24525503 WITH SCORE 2.4608809628E7
AT ITER 811 NEW BEST:: SOT 133842613 SOS 83309426 HAS SOPS 67958099 HAS SOUS 25140517 HAS SOUPS 24518923 WITH SCORE 2.4602232426E7
AT ITER 815 NEW BEST:: SOT 133831408 SOS 83295304 HAS SOPS 67944382 HAS SOUS 25122922 HAS SOUPS 24501360 WITH SCORE 2.4584655304E7
AT ITER 839 NEW BEST:: SOT 133837627 SOS 83299676 HAS SOPS 67952401 HAS SOUS 25121651 HAS SOUPS 24500089 WITH SCORE 2.4583388676E7
AT ITER 851 NEW BEST:: SOT 133835914 SOS 83299409 HAS SOPS 67953638 HAS SOUS 25106704 HAS SOUPS 24485143 WITH SCORE 2.4568442409E7
AT ITER 854 NEW BEST:: SOT 133846147 SOS 83331400 HAS SOPS 67996107 HAS SOUS 25100341 HAS SOUPS 24478780 WITH SCORE 2.45621114E7
AT ITER 881 NEW BEST:: SOT 133843720 SOS 83328973 HAS SOPS 67990425 HAS SOUS 25091357 HAS SOUPS 24469642 WITH SCORE 2.4552970973E7
AT ITER 883 NEW BEST:: SOT 133872939 SOS 83426123 HAS SOPS 68086205 HAS SOUS 25004910 HAS SOUPS 24383314 WITH SCORE 2.4466740123E7
AT ITER 890 NEW BEST:: SOT 133892832 SOS 83453733 HAS SOPS 68128298 HAS SOUS 24998379 HAS SOUPS 24377589 WITH SCORE 2.4461042733E7
AT ITER 920 NEW BEST:: SOT 133894005 SOS 83461282 HAS SOPS 68132659 HAS SOUS 24986768 HAS SOUPS 24365530 WITH SCORE 2.4448991282E7
AT ITER 921 NEW BEST:: SOT 133904564 SOS 83461674 HAS SOPS 68142073 HAS SOUS 24976123 HAS SOUPS 24354885 WITH SCORE 2.4438346674E7
AT ITER 922 NEW BEST:: SOT 133911538 SOS 83491336 HAS SOPS 68177430 HAS SOUS 24974256 HAS SOUPS 24353018 WITH SCORE 2.4436509336E7
AT ITER 924 NEW BEST:: SOT 133849668 SOS 83399547 HAS SOPS 68099928 HAS SOUS 24898143 HAS SOUPS 24277194 WITH SCORE 2.4360593547E7
AT ITER 925 NEW BEST:: SOT 133845096 SOS 83395048 HAS SOPS 68091713 HAS SOUS 24890718 HAS SOUPS 24269701 WITH SCORE 2.4353096048E7
AT ITER 946 NEW BEST:: SOT 133844808 SOS 83394307 HAS SOPS 68091032 HAS SOUS 24890383 HAS SOUPS 24269366 WITH SCORE 2.4352760307E7
AT ITER 950 NEW BEST:: SOT 133843760 SOS 83394105 HAS SOPS 68088739 HAS SOUS 24887363 HAS SOUPS 24266346 WITH SCORE 2.4349740105E7
AT ITER 951 NEW BEST:: SOT 133834253 SOS 83371747 HAS SOPS 68068167 HAS SOUS 24878859 HAS SOUPS 24257842 WITH SCORE 2.4341213747E7
AT ITER 964 NEW BEST:: SOT 133833928 SOS 83370984 HAS SOPS 68067558 HAS SOUS 24878592 HAS SOUPS 24257575 WITH SCORE 2.4340945984E7
AT ITER 969 NEW BEST:: SOT 133838022 SOS 83396169 HAS SOPS 68087475 HAS SOUS 24874636 HAS SOUPS 24253619 WITH SCORE 2.4337015169E7
AT ITER 970 NEW BEST:: SOT 133842880 SOS 83414435 HAS SOPS 68113101 HAS SOUS 24865707 HAS SOUPS 24244690 WITH SCORE 2.4328104435E7
AT ITER 976 NEW BEST:: SOT 133843441 SOS 83417011 HAS SOPS 68113814 HAS SOUS 24865479 HAS SOUPS 24244462 WITH SCORE 2.4327879011E7
AT ITER 983 NEW BEST:: SOT 133843583 SOS 83418942 HAS SOPS 68117776 HAS SOUS 24865292 HAS SOUPS 24244275 WITH SCORE 2.4327693942E7
AT ITER 1003 NEW BEST:: SOT 133779754 SOS 83328289 HAS SOPS 68034009 HAS SOUS 24761492 HAS SOUPS 24139968 WITH SCORE 2.4223296289E7
AT ITER 1013 NEW BEST:: SOT 133775236 SOS 83347343 HAS SOPS 68062624 HAS SOUS 24731004 HAS SOUPS 24109480 WITH SCORE 2.4192827343E7
AT ITER 1019 NEW BEST:: SOT 133775777 SOS 83383876 HAS SOPS 68105526 HAS SOUS 24700467 HAS SOUPS 24078943 WITH SCORE 2.4162326876E7
AT ITER 1025 NEW BEST:: SOT 133794853 SOS 83443632 HAS SOPS 68148649 HAS SOUS 24699583 HAS SOUPS 24078059 WITH SCORE 2.4161502632E7
AT ITER 1034 NEW BEST:: SOT 133789198 SOS 83433732 HAS SOPS 68129949 HAS SOUS 24676822 HAS SOUPS 24055298 WITH SCORE 2.4138731732E7
AT ITER 1036 NEW BEST:: SOT 133815945 SOS 83526265 HAS SOPS 68212714 HAS SOUS 24647517 HAS SOUPS 24025993 WITH SCORE 2.4109519265E7
AT ITER 1045 NEW BEST:: SOT 133816198 SOS 83531152 HAS SOPS 68216586 HAS SOUS 24645496 HAS SOUPS 24023972 WITH SCORE 2.4107503152E7
AT ITER 1047 NEW BEST:: SOT 133826034 SOS 83555546 HAS SOPS 68244055 HAS SOUS 24644904 HAS SOUPS 24023484 WITH SCORE 2.4107039546E7
AT ITER 1050 NEW BEST:: SOT 133817969 SOS 83540246 HAS SOPS 68248014 HAS SOUS 24639175 HAS SOUPS 24017755 WITH SCORE 2.4101295246E7
AT ITER 1051 NEW BEST:: SOT 133822735 SOS 83549910 HAS SOPS 68254507 HAS SOUS 24637171 HAS SOUPS 24015751 WITH SCORE 2.409930091E7
AT ITER 1054 NEW BEST:: SOT 133830766 SOS 83568009 HAS SOPS 68261327 HAS SOUS 24628304 HAS SOUPS 24006884 WITH SCORE 2.4090452009E7
AT ITER 1057 NEW BEST:: SOT 133853478 SOS 83642305 HAS SOPS 68318126 HAS SOUS 24602524 HAS SOUPS 23981104 WITH SCORE 2.4064746305E7
AT ITER 1062 NEW BEST:: SOT 133844508 SOS 83630229 HAS SOPS 68305723 HAS SOUS 24589937 HAS SOUPS 23968517 WITH SCORE 2.4052147229E7
AT ITER 1064 NEW BEST:: SOT 133778122 SOS 83494208 HAS SOPS 68185467 HAS SOUS 24578255 HAS SOUPS 23957111 WITH SCORE 2.4040605208E7
AT ITER 1066 NEW BEST:: SOT 133751466 SOS 83453982 HAS SOPS 68153566 HAS SOUS 24486575 HAS SOUPS 23868122 WITH SCORE 2.3951575982E7
AT ITER 1071 NEW BEST:: SOT 133823560 SOS 83596868 HAS SOPS 68280498 HAS SOUS 24479415 HAS SOUPS 23860962 WITH SCORE 2.3944558868E7
AT ITER 1077 NEW BEST:: SOT 133752557 SOS 83469025 HAS SOPS 68179770 HAS SOUS 24444656 HAS SOUPS 23823747 WITH SCORE 2.3907216025E7
AT ITER 1099 NEW BEST:: SOT 133752557 SOS 83469137 HAS SOPS 68179874 HAS SOUS 24444640 HAS SOUPS 23823731 WITH SCORE 2.3907200137E7
AT ITER 1100 NEW BEST:: SOT 133769926 SOS 83504746 HAS SOPS 68214732 HAS SOUS 24425392 HAS SOUPS 23804765 WITH SCORE 2.3888269746E7
AT ITER 1103 NEW BEST:: SOT 133752741 SOS 83446460 HAS SOPS 68154132 HAS SOUS 24411795 HAS SOUPS 23791168 WITH SCORE 2.387461446E7
AT ITER 1115 NEW BEST:: SOT 133752433 SOS 83446326 HAS SOPS 68154041 HAS SOUS 24409981 HAS SOUPS 23789371 WITH SCORE 2.3872817326E7
AT ITER 1126 NEW BEST:: SOT 133751777 SOS 83445666 HAS SOPS 68153967 HAS SOUS 24408560 HAS SOUPS 23787965 WITH SCORE 2.3871410666E7
AT ITER 1140 NEW BEST:: SOT 133748093 SOS 83451165 HAS SOPS 68152575 HAS SOUS 24391214 HAS SOUPS 23770619 WITH SCORE 2.3854070165E7
AT ITER 1142 NEW BEST:: SOT 133747155 SOS 83452249 HAS SOPS 68149576 HAS SOUS 24380404 HAS SOUPS 23759809 WITH SCORE 2.3843261249E7
AT ITER 1149 NEW BEST:: SOT 133748436 SOS 83458384 HAS SOPS 68153292 HAS SOUS 24380009 HAS SOUPS 23759414 WITH SCORE 2.3842872384E7
AT ITER 1150 NEW BEST:: SOT 133743101 SOS 83441031 HAS SOPS 68135996 HAS SOUS 24375343 HAS SOUPS 23754748 WITH SCORE 2.3838189031E7
AT ITER 1156 NEW BEST:: SOT 133742664 SOS 83440692 HAS SOPS 68137255 HAS SOUS 24373399 HAS SOUPS 23752844 WITH SCORE 2.3836284692E7
AT ITER 1159 NEW BEST:: SOT 133759016 SOS 83482346 HAS SOPS 68198226 HAS SOUS 24365381 HAS SOUPS 23744951 WITH SCORE 2.3828433346E7
AT ITER 1163 NEW BEST:: SOT 133758533 SOS 83481203 HAS SOPS 68197672 HAS SOUS 24365173 HAS SOUPS 23744743 WITH SCORE 2.3828224203E7
AT ITER 1176 NEW BEST:: SOT 133745292 SOS 83460310 HAS SOPS 68180200 HAS SOUS 24340847 HAS SOUPS 23720696 WITH SCORE 2.380415631E7
AT ITER 1177 NEW BEST:: SOT 133672060 SOS 83385592 HAS SOPS 68106844 HAS SOUS 24262655 HAS SOUPS 23642690 WITH SCORE 2.3726075592E7
AT ITER 1215 NEW BEST:: SOT 133637131 SOS 83330854 HAS SOPS 68083023 HAS SOUS 24248619 HAS SOUPS 23628654 WITH SCORE 2.3711984854E7
AT ITER 1223 NEW BEST:: SOT 133627880 SOS 83312236 HAS SOPS 68069548 HAS SOUS 24245915 HAS SOUPS 23625950 WITH SCORE 2.3709262236E7
AT ITER 1238 NEW BEST:: SOT 133619153 SOS 83298276 HAS SOPS 68053452 HAS SOUS 24226812 HAS SOUPS 23606855 WITH SCORE 2.3690153276E7
AT ITER 1239 NEW BEST:: SOT 133621320 SOS 83309551 HAS SOPS 68062889 HAS SOUS 24226438 HAS SOUPS 23606481 WITH SCORE 2.3689790551E7
AT ITER 1249 NEW BEST:: SOT 133616729 SOS 83306669 HAS SOPS 68060222 HAS SOUS 24221485 HAS SOUPS 23601528 WITH SCORE 2.3684834669E7
AT ITER 1282 NEW BEST:: SOT 133602718 SOS 83286061 HAS SOPS 68032895 HAS SOUS 24195507 HAS SOUPS 23575440 WITH SCORE 2.3658726061E7
AT ITER 1293 NEW BEST:: SOT 133609553 SOS 83296880 HAS SOPS 68034504 HAS SOUS 24183772 HAS SOUPS 23563705 WITH SCORE 2.364700188E7
AT ITER 1299 NEW BEST:: SOT 133614297 SOS 83314382 HAS SOPS 68048532 HAS SOUS 24183696 HAS SOUPS 23563629 WITH SCORE 2.3646943382E7
AT ITER 1300 NEW BEST:: SOT 133614409 SOS 83314510 HAS SOPS 68048295 HAS SOUS 24183358 HAS SOUPS 23563291 WITH SCORE 2.364660551E7
AT ITER 1303 NEW BEST:: SOT 133617180 SOS 83312653 HAS SOPS 68055260 HAS SOUS 24182795 HAS SOUPS 23562728 WITH SCORE 2.3646040653E7
AT ITER 1310 NEW BEST:: SOT 133615578 SOS 83311132 HAS SOPS 68054758 HAS SOUS 24176525 HAS SOUPS 23556458 WITH SCORE 2.3639769132E7
AT ITER 1322 NEW BEST:: SOT 133590696 SOS 83266661 HAS SOPS 68024641 HAS SOUS 24148009 HAS SOUPS 23531329 WITH SCORE 2.3614595661E7
AT ITER 1338 NEW BEST:: SOT 133587498 SOS 83266599 HAS SOPS 68018339 HAS SOUS 24131265 HAS SOUPS 23514585 WITH SCORE 2.3597851599E7
AT ITER 1348 NEW BEST:: SOT 133583627 SOS 83262364 HAS SOPS 68014366 HAS SOUS 24127279 HAS SOUPS 23510618 WITH SCORE 2.3593880364E7
AT ITER 1361 NEW BEST:: SOT 133582348 SOS 83261037 HAS SOPS 68012735 HAS SOUS 24123936 HAS SOUPS 23507347 WITH SCORE 2.3590608037E7
AT ITER 1362 NEW BEST:: SOT 133582062 SOS 83263003 HAS SOPS 68014126 HAS SOUS 24120818 HAS SOUPS 23504229 WITH SCORE 2.3587492003E7
AT ITER 1369 NEW BEST:: SOT 133591220 SOS 83313387 HAS SOPS 68057276 HAS SOUS 24117870 HAS SOUPS 23501281 WITH SCORE 2.3584594387E7
AT ITER 1370 NEW BEST:: SOT 133583920 SOS 83305053 HAS SOPS 68048942 HAS SOUS 24116438 HAS SOUPS 23499849 WITH SCORE 2.3583154053E7
AT ITER 1375 NEW BEST:: SOT 133566616 SOS 83289928 HAS SOPS 68035445 HAS SOUS 24087977 HAS SOUPS 23474248 WITH SCORE 2.3557537928E7
AT ITER 1381 NEW BEST:: SOT 133564907 SOS 83288661 HAS SOPS 68033619 HAS SOUS 24083068 HAS SOUPS 23469339 WITH SCORE 2.3552627661E7
AT ITER 1391 NEW BEST:: SOT 133561773 SOS 83283858 HAS SOPS 68025038 HAS SOUS 24074559 HAS SOUPS 23460830 WITH SCORE 2.3544113858E7
AT ITER 1392 NEW BEST:: SOT 133541009 SOS 83264653 HAS SOPS 68009111 HAS SOUS 24037104 HAS SOUPS 23423375 WITH SCORE 2.3506639653E7
AT ITER 1428 NEW BEST:: SOT 133535139 SOS 83263021 HAS SOPS 68004694 HAS SOUS 24021194 HAS SOUPS 23407465 WITH SCORE 2.3490728021E7
AT ITER 1448 NEW BEST:: SOT 133545524 SOS 83276672 HAS SOPS 68025558 HAS SOUS 24019920 HAS SOUPS 23406191 WITH SCORE 2.3489467672E7
AT ITER 1462 NEW BEST:: SOT 133545271 SOS 83276419 HAS SOPS 68026937 HAS SOUS 24015619 HAS SOUPS 23402290 WITH SCORE 2.3485566419E7
AT ITER 1464 NEW BEST:: SOT 133544633 SOS 83275324 HAS SOPS 68025309 HAS SOUS 24014294 HAS SOUPS 23400960 WITH SCORE 2.3484235324E7
AT ITER 1471 NEW BEST:: SOT 133538599 SOS 83271465 HAS SOPS 68018502 HAS SOUS 24000691 HAS SOUPS 23387357 WITH SCORE 2.3470628465E7
AT ITER 1485 NEW BEST:: SOT 133516008 SOS 83245763 HAS SOPS 67994910 HAS SOUS 23957563 HAS SOUPS 23344229 WITH SCORE 2.3427474763E7
AT ITER 1489 NEW BEST:: SOT 133515923 SOS 83245673 HAS SOPS 67994665 HAS SOUS 23957325 HAS SOUPS 23343991 WITH SCORE 2.3427236673E7
AT ITER 1495 NEW BEST:: SOT 133514547 SOS 83225754 HAS SOPS 67970408 HAS SOUS 23910648 HAS SOUPS 23297314 WITH SCORE 2.3380539754E7
AT ITER 1499 NEW BEST:: SOT 133498755 SOS 83209954 HAS SOPS 67950960 HAS SOUS 23893309 HAS SOUPS 23278151 WITH SCORE 2.3361360954E7
AT ITER 1540 NEW BEST:: SOT 133501831 SOS 83230236 HAS SOPS 67973842 HAS SOUS 23886942 HAS SOUPS 23271784 WITH SCORE 2.3355014236E7
AT ITER 1565 NEW BEST:: SOT 133499248 SOS 83229773 HAS SOPS 67978939 HAS SOUS 23874640 HAS SOUPS 23259576 WITH SCORE 2.3342805773E7
AT ITER 1567 NEW BEST:: SOT 133498723 SOS 83223015 HAS SOPS 67973780 HAS SOUS 23866614 HAS SOUPS 23251550 WITH SCORE 2.3334773015E7
AT ITER 1573 NEW BEST:: SOT 133478746 SOS 83197009 HAS SOPS 67922854 HAS SOUS 23818995 HAS SOUPS 23204109 WITH SCORE 2.3287306009E7
AT ITER 1581 NEW BEST:: SOT 133471998 SOS 83185023 HAS SOPS 67914982 HAS SOUS 23808054 HAS SOUPS 23193211 WITH SCORE 2.3276396023E7
AT ITER 1582 NEW BEST:: SOT 133470676 SOS 83180218 HAS SOPS 67919936 HAS SOUS 23791316 HAS SOUPS 23176714 WITH SCORE 2.3259894218E7
AT ITER 1597 NEW BEST:: SOT 133504685 SOS 83276502 HAS SOPS 67992304 HAS SOUS 23774969 HAS SOUPS 23160367 WITH SCORE 2.3243643502E7
AT ITER 1605 NEW BEST:: SOT 133497180 SOS 83260443 HAS SOPS 67977738 HAS SOUS 23761259 HAS SOUPS 23146657 WITH SCORE 2.3229917443E7
AT ITER 1609 NEW BEST:: SOT 133497148 SOS 83260747 HAS SOPS 67977478 HAS SOUS 23759799 HAS SOUPS 23145197 WITH SCORE 2.3228457747E7
AT ITER 1610 NEW BEST:: SOT 133495688 SOS 83255045 HAS SOPS 67972487 HAS SOUS 23756655 HAS SOUPS 23142053 WITH SCORE 2.3225308045E7
AT ITER 1611 NEW BEST:: SOT 133499647 SOS 83260543 HAS SOPS 67974209 HAS SOUS 23751855 HAS SOUPS 23137361 WITH SCORE 2.3220621543E7
AT ITER 1628 NEW BEST:: SOT 133472021 SOS 83235205 HAS SOPS 67950778 HAS SOUS 23653660 HAS SOUPS 23039563 WITH SCORE 2.3122798205E7
AT ITER 1637 NEW BEST:: SOT 133447540 SOS 83188477 HAS SOPS 67908186 HAS SOUS 23627967 HAS SOUPS 23013870 WITH SCORE 2.3097058477E7
AT ITER 1647 NEW BEST:: SOT 133444580 SOS 83183588 HAS SOPS 67902280 HAS SOUS 23622966 HAS SOUPS 23008869 WITH SCORE 2.3092052588E7
AT ITER 1667 NEW BEST:: SOT 133445110 SOS 83185210 HAS SOPS 67901788 HAS SOUS 23621027 HAS SOUPS 23006930 WITH SCORE 2.309011521E7
AT ITER 1672 NEW BEST:: SOT 133426248 SOS 83151763 HAS SOPS 67874138 HAS SOUS 23599670 HAS SOUPS 22985573 WITH SCORE 2.3068724763E7
AT ITER 1675 NEW BEST:: SOT 133437560 SOS 83170499 HAS SOPS 67889245 HAS SOUS 23594026 HAS SOUPS 22979929 WITH SCORE 2.3063099499E7
AT ITER 1678 NEW BEST:: SOT 133431153 SOS 83162483 HAS SOPS 67876810 HAS SOUS 23588044 HAS SOUPS 22973947 WITH SCORE 2.3057109483E7
AT ITER 1683 NEW BEST:: SOT 133308083 SOS 82901319 HAS SOPS 67701233 HAS SOUS 23516076 HAS SOUPS 22902945 WITH SCORE 2.2985846319E7
AT ITER 1688 NEW BEST:: SOT 133306879 SOS 82915256 HAS SOPS 67716748 HAS SOUS 23515235 HAS SOUPS 22902104 WITH SCORE 2.2985019256E7
AT ITER 1697 NEW BEST:: SOT 133308257 SOS 82916788 HAS SOPS 67716634 HAS SOUS 23511336 HAS SOUPS 22898205 WITH SCORE 2.2981121788E7
AT ITER 1703 NEW BEST:: SOT 133331551 SOS 82996738 HAS SOPS 67780976 HAS SOUS 23503193 HAS SOUPS 22890062 WITH SCORE 2.2973058738E7
AT ITER 1704 NEW BEST:: SOT 133338064 SOS 83014187 HAS SOPS 67801455 HAS SOUS 23482841 HAS SOUPS 22869710 WITH SCORE 2.2952724187E7
AT ITER 1706 NEW BEST:: SOT 133340582 SOS 83020537 HAS SOPS 67798527 HAS SOUS 23479013 HAS SOUPS 22865882 WITH SCORE 2.2948902537E7
AT ITER 1714 NEW BEST:: SOT 133335370 SOS 83014748 HAS SOPS 67786716 HAS SOUS 23459661 HAS SOUPS 22846427 WITH SCORE 2.2929441748E7
AT ITER 1718 NEW BEST:: SOT 133335646 SOS 83018521 HAS SOPS 67792726 HAS SOUS 23442361 HAS SOUPS 22829127 WITH SCORE 2.2912145521E7
AT ITER 1724 NEW BEST:: SOT 133333693 SOS 83015650 HAS SOPS 67790160 HAS SOUS 23440047 HAS SOUPS 22826850 WITH SCORE 2.290986565E7
AT ITER 1728 NEW BEST:: SOT 133346277 SOS 83042910 HAS SOPS 67813413 HAS SOUS 23404370 HAS SOUPS 22791991 WITH SCORE 2.287503391E7
AT ITER 1738 NEW BEST:: SOT 133336323 SOS 83028808 HAS SOPS 67798402 HAS SOUS 23388875 HAS SOUPS 22776496 WITH SCORE 2.2859524808E7
AT ITER 1740 NEW BEST:: SOT 133336316 SOS 83029046 HAS SOPS 67798640 HAS SOUS 23386110 HAS SOUPS 22773731 WITH SCORE 2.2856760046E7
AT ITER 1758 NEW BEST:: SOT 133335805 SOS 83028943 HAS SOPS 67798200 HAS SOUS 23384857 HAS SOUPS 22772461 WITH SCORE 2.2855489943E7
AT ITER 1768 NEW BEST:: SOT 133344729 SOS 83063109 HAS SOPS 67824980 HAS SOUS 23382714 HAS SOUPS 22770318 WITH SCORE 2.2853381109E7
AT ITER 1770 NEW BEST:: SOT 133332906 SOS 83044037 HAS SOPS 67808934 HAS SOUS 23371233 HAS SOUPS 22758903 WITH SCORE 2.2841947037E7
AT ITER 1789 NEW BEST:: SOT 133304704 SOS 82988128 HAS SOPS 67762495 HAS SOUS 23343325 HAS SOUPS 22731828 WITH SCORE 2.2814816128E7
AT ITER 1800 NEW BEST:: SOT 133312310 SOS 83008421 HAS SOPS 67775037 HAS SOUS 23329371 HAS SOUPS 22717874 WITH SCORE 2.2800882421E7
AT ITER 1804 NEW BEST:: SOT 133324702 SOS 83043084 HAS SOPS 67816177 HAS SOUS 23312854 HAS SOUPS 22701432 WITH SCORE 2.2784475084E7
AT ITER 1809 NEW BEST:: SOT 133340730 SOS 83075007 HAS SOPS 67841638 HAS SOUS 23305676 HAS SOUPS 22693579 WITH SCORE 2.2776654007E7
AT ITER 1815 NEW BEST:: SOT 133347731 SOS 83097856 HAS SOPS 67874133 HAS SOUS 23299354 HAS SOUPS 22687257 WITH SCORE 2.2770354856E7
AT ITER 1825 NEW BEST:: SOT 133333620 SOS 83064965 HAS SOPS 67866870 HAS SOUS 23296266 HAS SOUPS 22684169 WITH SCORE 2.2767233965E7
AT ITER 1835 NEW BEST:: SOT 133332224 SOS 83064264 HAS SOPS 67865167 HAS SOUS 23290636 HAS SOUPS 22678539 WITH SCORE 2.2761603264E7
AT ITER 1843 NEW BEST:: SOT 133335439 SOS 83079488 HAS SOPS 67876908 HAS SOUS 23289811 HAS SOUPS 22677714 WITH SCORE 2.2760793488E7
AT ITER 1856 NEW BEST:: SOT 133329882 SOS 83069339 HAS SOPS 67868402 HAS SOUS 23283762 HAS SOUPS 22671665 WITH SCORE 2.2754734339E7
AT ITER 1864 NEW BEST:: SOT 133331510 SOS 83070218 HAS SOPS 67871620 HAS SOUS 23278672 HAS SOUPS 22666575 WITH SCORE 2.2749645218E7
AT ITER 1866 NEW BEST:: SOT 133280898 SOS 83017252 HAS SOPS 67817245 HAS SOUS 23213768 HAS SOUPS 22601774 WITH SCORE 2.2684791252E7
AT ITER 1871 NEW BEST:: SOT 133311576 SOS 83086519 HAS SOPS 67872869 HAS SOUS 23176372 HAS SOUPS 22565392 WITH SCORE 2.2648478519E7
AT ITER 1886 NEW BEST:: SOT 133312476 SOS 83088065 HAS SOPS 67874542 HAS SOUS 23175654 HAS SOUPS 22564674 WITH SCORE 2.2647762065E7
AT ITER 1895 NEW BEST:: SOT 133308694 SOS 83097032 HAS SOPS 67894569 HAS SOUS 23167149 HAS SOUPS 22556169 WITH SCORE 2.2639266032E7
AT ITER 1900 NEW BEST:: SOT 133311742 SOS 83098257 HAS SOPS 67895996 HAS SOUS 23155654 HAS SOUPS 22544621 WITH SCORE 2.2627719257E7
AT ITER 1908 NEW BEST:: SOT 133305825 SOS 83091442 HAS SOPS 67889283 HAS SOUS 23146908 HAS SOUPS 22535909 WITH SCORE 2.2619000442E7
AT ITER 1909 NEW BEST:: SOT 133312338 SOS 83092255 HAS SOPS 67891178 HAS SOUS 23146504 HAS SOUPS 22535505 WITH SCORE 2.2618597255E7
AT ITER 1918 NEW BEST:: SOT 133317303 SOS 83104748 HAS SOPS 67916081 HAS SOUS 23136961 HAS SOUPS 22526153 WITH SCORE 2.2609257748E7
AT ITER 1919 NEW BEST:: SOT 133269465 SOS 82992037 HAS SOPS 67807794 HAS SOUS 23098980 HAS SOUPS 22488172 WITH SCORE 2.2571164037E7
AT ITER 1934 NEW BEST:: SOT 133270356 SOS 82995361 HAS SOPS 67810010 HAS SOUS 23098938 HAS SOUPS 22488130 WITH SCORE 2.2571125361E7
AT ITER 1936 NEW BEST:: SOT 133269951 SOS 82994968 HAS SOPS 67809467 HAS SOUS 23098559 HAS SOUPS 22487655 WITH SCORE 2.2570649968E7
AT ITER 1939 NEW BEST:: SOT 133273740 SOS 83005252 HAS SOPS 67815081 HAS SOUS 23094668 HAS SOUPS 22483764 WITH SCORE 2.2566769252E7
AT ITER 1941 NEW BEST:: SOT 133270877 SOS 82997799 HAS SOPS 67808665 HAS SOUS 23092311 HAS SOUPS 22481407 WITH SCORE 2.2564404799E7
AT ITER 1949 NEW BEST:: SOT 133268992 SOS 82995032 HAS SOPS 67806186 HAS SOUS 23088883 HAS SOUPS 22478060 WITH SCORE 2.2561055032E7
AT ITER 1960 NEW BEST:: SOT 133284889 SOS 83015954 HAS SOPS 67883109 HAS SOUS 23076560 HAS SOUPS 22465205 WITH SCORE 2.2548220954E7
AT ITER 1972 NEW BEST:: SOT 133286297 SOS 83017073 HAS SOPS 67884374 HAS SOUS 23076299 HAS SOUPS 22464944 WITH SCORE 2.2547961073E7
AT ITER 1974 NEW BEST:: SOT 133286447 SOS 83018272 HAS SOPS 67886024 HAS SOUS 23076195 HAS SOUPS 22464840 WITH SCORE 2.2547858272E7
AT ITER 1980 NEW BEST:: SOT 133286319 SOS 83018247 HAS SOPS 67886162 HAS SOUS 23076105 HAS SOUPS 22464753 WITH SCORE 2.2547771247E7
AT ITER 1984 NEW BEST:: SOT 133283046 SOS 83012916 HAS SOPS 67881281 HAS SOUS 23073199 HAS SOUPS 22461847 WITH SCORE 2.2544859916E7
AT ITER 1987 NEW BEST:: SOT 133283967 SOS 83021659 HAS SOPS 67885002 HAS SOUS 23059189 HAS SOUPS 22447782 WITH SCORE 2.2530803659E7
AT ITER 1994 NEW BEST:: SOT 133308041 SOS 83082731 HAS SOPS 67929578 HAS SOUS 23052740 HAS SOUPS 22441333 WITH SCORE 2.2524415731E7
AT ITER 2000 NEW BEST:: SOT 133307980 SOS 83082679 HAS SOPS 67929526 HAS SOUS 23052618 HAS SOUPS 22441211 WITH SCORE 2.2524293679E7
AT ITER 2004 NEW BEST:: SOT 133311361 SOS 83087525 HAS SOPS 67931996 HAS SOUS 23048790 HAS SOUPS 22437383 WITH SCORE 2.2520470525E7
AT ITER 2006 NEW BEST:: SOT 133312052 SOS 83089588 HAS SOPS 67938071 HAS SOUS 23044742 HAS SOUPS 22433335 WITH SCORE 2.2516424588E7
AT ITER 2014 NEW BEST:: SOT 133318676 SOS 83115151 HAS SOPS 67952664 HAS SOUS 23036454 HAS SOUPS 22425047 WITH SCORE 2.2508162151E7
AT ITER 2017 NEW BEST:: SOT 133321856 SOS 83133384 HAS SOPS 67972711 HAS SOUS 23035423 HAS SOUPS 22424016 WITH SCORE 2.2507149384E7
AT ITER 2039 NEW BEST:: SOT 133292229 SOS 83055027 HAS SOPS 67928042 HAS SOUS 23032904 HAS SOUPS 22421497 WITH SCORE 2.2504552027E7
AT ITER 2052 NEW BEST:: SOT 133287937 SOS 83029171 HAS SOPS 67920710 HAS SOUS 23029616 HAS SOUPS 22418209 WITH SCORE 2.2501238171E7
AT ITER 2053 NEW BEST:: SOT 133285767 SOS 83021499 HAS SOPS 67908328 HAS SOUS 23022778 HAS SOUPS 22411371 WITH SCORE 2.2494392499E7
AT ITER 2057 NEW BEST:: SOT 133289891 SOS 83034323 HAS SOPS 67907158 HAS SOUS 23011142 HAS SOUPS 22399735 WITH SCORE 2.2482769323E7
AT ITER 2065 NEW BEST:: SOT 133285776 SOS 83028316 HAS SOPS 67901450 HAS SOUS 22994390 HAS SOUPS 22383006 WITH SCORE 2.2466034316E7
AT ITER 2068 NEW BEST:: SOT 133282300 SOS 83023404 HAS SOPS 67896795 HAS SOUS 22982719 HAS SOUPS 22371412 WITH SCORE 2.2454435404E7
AT ITER 2101 NEW BEST:: SOT 133270294 SOS 83011349 HAS SOPS 67884035 HAS SOUS 22968768 HAS SOUPS 22356786 WITH SCORE 2.2439797349E7
AT ITER 2117 NEW BEST:: SOT 133275705 SOS 83048754 HAS SOPS 67919893 HAS SOUS 22935434 HAS SOUPS 22323452 WITH SCORE 2.2406500754E7
AT ITER 2131 NEW BEST:: SOT 133259920 SOS 83041491 HAS SOPS 67902745 HAS SOUS 22906215 HAS SOUPS 22293358 WITH SCORE 2.2376399491E7
AT ITER 2133 NEW BEST:: SOT 133299791 SOS 83150019 HAS SOPS 67999613 HAS SOUS 22892440 HAS SOUPS 22279583 WITH SCORE 2.2362733019E7
AT ITER 2134 NEW BEST:: SOT 133287188 SOS 83127670 HAS SOPS 67972657 HAS SOUS 22865958 HAS SOUPS 22252951 WITH SCORE 2.233607867E7
AT ITER 2159 NEW BEST:: SOT 133299635 SOS 83167187 HAS SOPS 67978554 HAS SOUS 22866125 HAS SOUPS 22252847 WITH SCORE 2.2336014187E7
AT ITER 2180 NEW BEST:: SOT 133294823 SOS 83172009 HAS SOPS 67968693 HAS SOUS 22839637 HAS SOUPS 22226359 WITH SCORE 2.2309531009E7
AT ITER 2204 NEW BEST:: SOT 133294793 SOS 83171892 HAS SOPS 67968605 HAS SOUS 22839611 HAS SOUPS 22226333 WITH SCORE 2.2309504892E7
AT ITER 2208 NEW BEST:: SOT 133295273 SOS 83173014 HAS SOPS 67969582 HAS SOUS 22839418 HAS SOUPS 22226140 WITH SCORE 2.2309313014E7
AT ITER 2209 NEW BEST:: SOT 133294098 SOS 83166320 HAS SOPS 67962963 HAS SOUS 22835541 HAS SOUPS 22222263 WITH SCORE 2.230542932E7
AT ITER 2211 NEW BEST:: SOT 133294015 SOS 83166403 HAS SOPS 67961584 HAS SOUS 22835399 HAS SOUPS 22222078 WITH SCORE 2.2305244403E7
AT ITER 2218 NEW BEST:: SOT 133316274 SOS 83237766 HAS SOPS 68020602 HAS SOUS 22832391 HAS SOUPS 22219070 WITH SCORE 2.2302307766E7
AT ITER 2232 NEW BEST:: SOT 133315466 SOS 83231237 HAS SOPS 68014869 HAS SOUS 22832167 HAS SOUPS 22218846 WITH SCORE 2.2302077237E7
AT ITER 2233 NEW BEST:: SOT 133317210 SOS 83235100 HAS SOPS 68019099 HAS SOUS 22830978 HAS SOUPS 22217657 WITH SCORE 2.23008921E7
AT ITER 2239 NEW BEST:: SOT 133319302 SOS 83241237 HAS SOPS 68024686 HAS SOUS 22829861 HAS SOUPS 22216540 WITH SCORE 2.2299781237E7
AT ITER 2240 NEW BEST:: SOT 133318164 SOS 83239488 HAS SOPS 68019805 HAS SOUS 22825992 HAS SOUPS 22212671 WITH SCORE 2.2295910488E7
AT ITER 2245 NEW BEST:: SOT 133296302 SOS 83202933 HAS SOPS 67990623 HAS SOUS 22808799 HAS SOUPS 22195725 WITH SCORE 2.2278927933E7
AT ITER 2247 NEW BEST:: SOT 133299322 SOS 83225672 HAS SOPS 67993924 HAS SOUS 22804377 HAS SOUPS 22191303 WITH SCORE 2.2274528672E7
AT ITER 2274 NEW BEST:: SOT 133298181 SOS 83224763 HAS SOPS 67995578 HAS SOUS 22800280 HAS SOUPS 22187206 WITH SCORE 2.2270430763E7
AT ITER 2286 NEW BEST:: SOT 133294375 SOS 83209092 HAS SOPS 67987821 HAS SOUS 22800194 HAS SOUPS 22187120 WITH SCORE 2.2270329092E7
AT ITER 2289 NEW BEST:: SOT 133286133 SOS 83197480 HAS SOPS 67975320 HAS SOUS 22788737 HAS SOUPS 22175663 WITH SCORE 2.225886048E7
AT ITER 2307 NEW BEST:: SOT 133291292 SOS 83204412 HAS SOPS 67980278 HAS SOUS 22786143 HAS SOUPS 22172988 WITH SCORE 2.2256192412E7
AT ITER 2342 NEW BEST:: SOT 133294490 SOS 83201703 HAS SOPS 68015292 HAS SOUS 22784851 HAS SOUPS 22171895 WITH SCORE 2.2255096703E7
AT ITER 2345 NEW BEST:: SOT 133295743 SOS 83187363 HAS SOPS 67996671 HAS SOUS 22778285 HAS SOUPS 22165329 WITH SCORE 2.2248516363E7
AT ITER 2366 NEW BEST:: SOT 133318732 SOS 83263691 HAS SOPS 68057726 HAS SOUS 22771500 HAS SOUPS 22158544 WITH SCORE 2.2241807691E7
AT ITER 2369 NEW BEST:: SOT 133320898 SOS 83268266 HAS SOPS 68061281 HAS SOUS 22763390 HAS SOUPS 22150434 WITH SCORE 2.2233702266E7
AT ITER 2379 NEW BEST:: SOT 133351256 SOS 83334532 HAS SOPS 68144303 HAS SOUS 22737187 HAS SOUPS 22124165 WITH SCORE 2.2207499532E7
AT ITER 2387 NEW BEST:: SOT 133358123 SOS 83371467 HAS SOPS 68170117 HAS SOUS 22724330 HAS SOUPS 22111308 WITH SCORE 2.2194679467E7
AT ITER 2388 NEW BEST:: SOT 133358289 SOS 83374957 HAS SOPS 68175713 HAS SOUS 22724148 HAS SOUPS 22111126 WITH SCORE 2.2194500957E7
AT ITER 2418 NEW BEST:: SOT 133336338 SOS 83329392 HAS SOPS 68134490 HAS SOUS 22719874 HAS SOUPS 22106852 WITH SCORE 2.2190181392E7
AT ITER 2430 NEW BEST:: SOT 133330104 SOS 83326376 HAS SOPS 68131099 HAS SOUS 22713661 HAS SOUPS 22100639 WITH SCORE 2.2183965376E7
AT ITER 2438 NEW BEST:: SOT 133330086 SOS 83326040 HAS SOPS 68130367 HAS SOUS 22713487 HAS SOUPS 22100465 WITH SCORE 2.218379104E7
AT ITER 2444 NEW BEST:: SOT 133322953 SOS 83318907 HAS SOPS 68124546 HAS SOUS 22705618 HAS SOUPS 22093892 WITH SCORE 2.2177210907E7
AT ITER 2448 NEW BEST:: SOT 133323759 SOS 83319713 HAS SOPS 68125768 HAS SOUS 22705592 HAS SOUPS 22093866 WITH SCORE 2.2177185713E7
AT ITER 2466 NEW BEST:: SOT 133320757 SOS 83310086 HAS SOPS 68116489 HAS SOUS 22701373 HAS SOUPS 22089693 WITH SCORE 2.2173003086E7
AT ITER 2472 NEW BEST:: SOT 133329040 SOS 83328403 HAS SOPS 68125407 HAS SOUS 22697742 HAS SOUPS 22086062 WITH SCORE 2.2169390403E7
AT ITER 2489 NEW BEST:: SOT 133332225 SOS 83338410 HAS SOPS 68142651 HAS SOUS 22685800 HAS SOUPS 22074120 WITH SCORE 2.215745841E7
AT ITER 2493 NEW BEST:: SOT 133329438 SOS 83326963 HAS SOPS 68132207 HAS SOUS 22670218 HAS SOUPS 22058538 WITH SCORE 2.2141864963E7
AT ITER 2510 NEW BEST:: SOT 133330795 SOS 83329244 HAS SOPS 68133012 HAS SOUS 22667525 HAS SOUPS 22055845 WITH SCORE 2.2139174244E7
AT ITER 2515 NEW BEST:: SOT 133330586 SOS 83328885 HAS SOPS 68132462 HAS SOUS 22666333 HAS SOUPS 22054770 WITH SCORE 2.2138098885E7
AT ITER 2522 NEW BEST:: SOT 133329704 SOS 83327931 HAS SOPS 68131046 HAS SOUS 22664815 HAS SOUPS 22053258 WITH SCORE 2.2136585931E7
AT ITER 2527 NEW BEST:: SOT 133338623 SOS 83326654 HAS SOPS 68146267 HAS SOUS 22661071 HAS SOUPS 22051200 WITH SCORE 2.2134526654E7
AT ITER 2536 NEW BEST:: SOT 133338688 SOS 83326930 HAS SOPS 68146287 HAS SOUS 22659841 HAS SOUPS 22049970 WITH SCORE 2.213329693E7
AT ITER 2540 NEW BEST:: SOT 133342870 SOS 83339729 HAS SOPS 68155214 HAS SOUS 22657667 HAS SOUPS 22047796 WITH SCORE 2.2131135729E7
AT ITER 2547 NEW BEST:: SOT 133345927 SOS 83347502 HAS SOPS 68162955 HAS SOUS 22655899 HAS SOUPS 22046028 WITH SCORE 2.2129375502E7
AT ITER 2552 NEW BEST:: SOT 133345467 SOS 83345723 HAS SOPS 68167161 HAS SOUS 22653752 HAS SOUPS 22044020 WITH SCORE 2.2127365723E7
AT ITER 2555 NEW BEST:: SOT 133328787 SOS 83316913 HAS SOPS 68145055 HAS SOUS 22645884 HAS SOUPS 22036152 WITH SCORE 2.2119468913E7
AT ITER 2567 NEW BEST:: SOT 133335679 SOS 83340274 HAS SOPS 68162588 HAS SOUS 22645846 HAS SOUPS 22036114 WITH SCORE 2.2119454274E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15418708 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16075284 kB

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="RERS17pb114-PT-5"
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"
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 smart"
echo " Input is RERS17pb114-PT-5, 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 r323-tall-167889194300112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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