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-167889194300120.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-6, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194300120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 6.6K Feb 26 04:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 04:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 04:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 04:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K 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 16K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 04:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 152K Feb 26 04:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 04:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 04:44 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 1679480669716

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-6
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 6
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 8 NEW BEST:: SOT 133627243 SOS 82154972 HAS SOPS 66739012 HAS SOUS 26422546 HAS SOUPS 25792983 WITH SCORE 2.5875137972E7
AT ITER 15 NEW BEST:: SOT 133626873 SOS 82149457 HAS SOPS 66729528 HAS SOUS 26412124 HAS SOUPS 25782561 WITH SCORE 2.5864710457E7
AT ITER 20 NEW BEST:: SOT 133584325 SOS 82063917 HAS SOPS 66664940 HAS SOUS 26377708 HAS SOUPS 25748829 WITH SCORE 2.5830892917E7
AT ITER 24 NEW BEST:: SOT 133584594 SOS 82064340 HAS SOPS 66665342 HAS SOUS 26374994 HAS SOUPS 25746391 WITH SCORE 2.582845534E7
AT ITER 46 NEW BEST:: SOT 133589820 SOS 82080317 HAS SOPS 66675953 HAS SOUS 26371984 HAS SOUPS 25743381 WITH SCORE 2.5825461317E7
AT ITER 51 NEW BEST:: SOT 133586059 SOS 82071930 HAS SOPS 66668224 HAS SOUS 26365112 HAS SOUPS 25736509 WITH SCORE 2.581858093E7
AT ITER 64 NEW BEST:: SOT 133588306 SOS 82078523 HAS SOPS 66675094 HAS SOUS 26364424 HAS SOUPS 25735821 WITH SCORE 2.5817899523E7
AT ITER 70 NEW BEST:: SOT 133576760 SOS 82056880 HAS SOPS 66657688 HAS SOUS 26351646 HAS SOUPS 25723043 WITH SCORE 2.580509988E7
AT ITER 78 NEW BEST:: SOT 133530845 SOS 82009722 HAS SOPS 66610530 HAS SOUS 26293060 HAS SOUPS 25664457 WITH SCORE 2.5746466722E7
AT ITER 81 NEW BEST:: SOT 133497892 SOS 81940504 HAS SOPS 66551347 HAS SOUS 26279664 HAS SOUPS 25651061 WITH SCORE 2.5733001504E7
AT ITER 101 NEW BEST:: SOT 133497964 SOS 81940263 HAS SOPS 66551399 HAS SOUS 26279633 HAS SOUPS 25651030 WITH SCORE 2.5732970263E7
AT ITER 103 NEW BEST:: SOT 133491630 SOS 81948093 HAS SOPS 66551998 HAS SOUS 26245706 HAS SOUPS 25615931 WITH SCORE 2.5697879093E7
AT ITER 123 NEW BEST:: SOT 133493165 SOS 81956587 HAS SOPS 66558141 HAS SOUS 26244800 HAS SOUPS 25615025 WITH SCORE 2.5696981587E7
AT ITER 134 NEW BEST:: SOT 133491593 SOS 81959025 HAS SOPS 66583752 HAS SOUS 26235377 HAS SOUPS 25605602 WITH SCORE 2.5687561025E7
AT ITER 137 NEW BEST:: SOT 133490165 SOS 81959319 HAS SOPS 66583815 HAS SOUS 26232583 HAS SOUPS 25602808 WITH SCORE 2.5684767319E7
AT ITER 151 NEW BEST:: SOT 133440311 SOS 81882168 HAS SOPS 66509189 HAS SOUS 26208346 HAS SOUPS 25578969 WITH SCORE 2.5660851168E7
AT ITER 154 NEW BEST:: SOT 133436796 SOS 81879011 HAS SOPS 66506836 HAS SOUS 26198384 HAS SOUPS 25569073 WITH SCORE 2.5650952011E7
AT ITER 158 NEW BEST:: SOT 133441036 SOS 81886465 HAS SOPS 66513783 HAS SOUS 26192009 HAS SOUPS 25562698 WITH SCORE 2.5644584465E7
AT ITER 176 NEW BEST:: SOT 133445865 SOS 81924794 HAS SOPS 66564120 HAS SOUS 26171753 HAS SOUPS 25542442 WITH SCORE 2.5624366794E7
AT ITER 177 NEW BEST:: SOT 133448852 SOS 81930757 HAS SOPS 66576437 HAS SOUS 26171537 HAS SOUPS 25542226 WITH SCORE 2.5624156757E7
AT ITER 188 NEW BEST:: SOT 133448645 SOS 81931016 HAS SOPS 66572790 HAS SOUS 26162646 HAS SOUPS 25534131 WITH SCORE 2.5616062016E7
AT ITER 189 NEW BEST:: SOT 133454604 SOS 81957643 HAS SOPS 66590275 HAS SOUS 26152932 HAS SOUPS 25524417 WITH SCORE 2.5606374643E7
AT ITER 197 NEW BEST:: SOT 133453938 SOS 81957052 HAS SOPS 66589986 HAS SOUS 26150693 HAS SOUPS 25522186 WITH SCORE 2.5604143052E7
AT ITER 199 NEW BEST:: SOT 133465214 SOS 81981148 HAS SOPS 66625542 HAS SOUS 26121826 HAS SOUPS 25493843 WITH SCORE 2.5575824148E7
AT ITER 202 NEW BEST:: SOT 133444746 SOS 81954101 HAS SOPS 66596882 HAS SOUS 26087315 HAS SOUPS 25459092 WITH SCORE 2.5541046101E7
AT ITER 213 NEW BEST:: SOT 133436663 SOS 81948088 HAS SOPS 66598282 HAS SOUS 26077978 HAS SOUPS 25449755 WITH SCORE 2.5531703088E7
AT ITER 232 NEW BEST:: SOT 133433007 SOS 81939666 HAS SOPS 66587666 HAS SOUS 26068246 HAS SOUPS 25440023 WITH SCORE 2.5521962666E7
AT ITER 236 NEW BEST:: SOT 133413798 SOS 81905772 HAS SOPS 66570180 HAS SOUS 26044357 HAS SOUPS 25416474 WITH SCORE 2.5498379772E7
AT ITER 243 NEW BEST:: SOT 133408228 SOS 81905408 HAS SOPS 66570116 HAS SOUS 26027344 HAS SOUPS 25399461 WITH SCORE 2.5481366408E7
AT ITER 266 NEW BEST:: SOT 133409326 SOS 81910330 HAS SOPS 66575392 HAS SOUS 26027090 HAS SOUPS 25399207 WITH SCORE 2.548111733E7
AT ITER 273 NEW BEST:: SOT 133401489 SOS 81897786 HAS SOPS 66564494 HAS SOUS 26018588 HAS SOUPS 25390814 WITH SCORE 2.5472711786E7
AT ITER 285 NEW BEST:: SOT 133399994 SOS 81896117 HAS SOPS 66567116 HAS SOUS 26017542 HAS SOUPS 25389768 WITH SCORE 2.5471664117E7
AT ITER 286 NEW BEST:: SOT 133383088 SOS 81877327 HAS SOPS 66553770 HAS SOUS 25987933 HAS SOUPS 25360195 WITH SCORE 2.5442072327E7
AT ITER 289 NEW BEST:: SOT 133384321 SOS 81879719 HAS SOPS 66565808 HAS SOUS 25976874 HAS SOUPS 25348923 WITH SCORE 2.5430802719E7
AT ITER 295 NEW BEST:: SOT 133335450 SOS 81777411 HAS SOPS 66476021 HAS SOUS 25930453 HAS SOUPS 25303522 WITH SCORE 2.5385299411E7
AT ITER 311 NEW BEST:: SOT 133291832 SOS 81722727 HAS SOPS 66428344 HAS SOUS 25885776 HAS SOUPS 25258814 WITH SCORE 2.5340536727E7
AT ITER 318 NEW BEST:: SOT 133291259 SOS 81722137 HAS SOPS 66427475 HAS SOUS 25884492 HAS SOUPS 25257538 WITH SCORE 2.5339260137E7
AT ITER 331 NEW BEST:: SOT 133296879 SOS 81740421 HAS SOPS 66442097 HAS SOUS 25882615 HAS SOUPS 25255661 WITH SCORE 2.5337401421E7
AT ITER 337 NEW BEST:: SOT 133298591 SOS 81751527 HAS SOPS 66457000 HAS SOUS 25878731 HAS SOUPS 25251777 WITH SCORE 2.5333528527E7
AT ITER 352 NEW BEST:: SOT 133298563 SOS 81750174 HAS SOPS 66467590 HAS SOUS 25859306 HAS SOUPS 25235656 WITH SCORE 2.5317406174E7
AT ITER 371 NEW BEST:: SOT 133314548 SOS 81805109 HAS SOPS 66513483 HAS SOUS 25850840 HAS SOUPS 25227190 WITH SCORE 2.5308995109E7
AT ITER 386 NEW BEST:: SOT 133317100 SOS 81816795 HAS SOPS 66521607 HAS SOUS 25847233 HAS SOUPS 25223583 WITH SCORE 2.5305399795E7
AT ITER 405 NEW BEST:: SOT 133234034 SOS 81640388 HAS SOPS 66383616 HAS SOUS 25830875 HAS SOUPS 25207225 WITH SCORE 2.5288865388E7
AT ITER 406 NEW BEST:: SOT 133201304 SOS 81607658 HAS SOPS 66350886 HAS SOUS 25789649 HAS SOUPS 25165999 WITH SCORE 2.5247606658E7
AT ITER 408 NEW BEST:: SOT 133183653 SOS 81569872 HAS SOPS 66328526 HAS SOUS 25787292 HAS SOUPS 25163434 WITH SCORE 2.5245003872E7
AT ITER 415 NEW BEST:: SOT 133183041 SOS 81569783 HAS SOPS 66327802 HAS SOUS 25786698 HAS SOUPS 25162799 WITH SCORE 2.5244368783E7
AT ITER 423 NEW BEST:: SOT 133187440 SOS 81588385 HAS SOPS 66339379 HAS SOUS 25784120 HAS SOUPS 25160221 WITH SCORE 2.5241809385E7
AT ITER 439 NEW BEST:: SOT 133185428 SOS 81583540 HAS SOPS 66334676 HAS SOUS 25782562 HAS SOUPS 25158663 WITH SCORE 2.524024654E7
AT ITER 441 NEW BEST:: SOT 133181545 SOS 81571525 HAS SOPS 66326784 HAS SOUS 25782506 HAS SOUPS 25158607 WITH SCORE 2.5240178525E7
AT ITER 451 NEW BEST:: SOT 133168424 SOS 81537505 HAS SOPS 66301734 HAS SOUS 25774623 HAS SOUPS 25150724 WITH SCORE 2.5232261505E7
AT ITER 459 NEW BEST:: SOT 133162944 SOS 81525468 HAS SOPS 66309009 HAS SOUS 25772749 HAS SOUPS 25149179 WITH SCORE 2.5230704468E7
AT ITER 460 NEW BEST:: SOT 133157489 SOS 81521125 HAS SOPS 66304686 HAS SOUS 25757106 HAS SOUPS 25133536 WITH SCORE 2.5215057125E7
AT ITER 461 NEW BEST:: SOT 133168263 SOS 81543285 HAS SOPS 66312091 HAS SOUS 25747092 HAS SOUPS 25123522 WITH SCORE 2.5205065285E7
AT ITER 477 NEW BEST:: SOT 133165397 SOS 81540409 HAS SOPS 66310760 HAS SOUS 25738430 HAS SOUPS 25114974 WITH SCORE 2.5196514409E7
AT ITER 484 NEW BEST:: SOT 133093351 SOS 81466329 HAS SOPS 66237464 HAS SOUS 25640718 HAS SOUPS 25017518 WITH SCORE 2.5098984329E7
AT ITER 491 NEW BEST:: SOT 133104734 SOS 81495721 HAS SOPS 66257165 HAS SOUS 25622945 HAS SOUPS 24999745 WITH SCORE 2.5081240721E7
AT ITER 494 NEW BEST:: SOT 133103439 SOS 81494408 HAS SOPS 66255528 HAS SOUS 25620533 HAS SOUPS 24997325 WITH SCORE 2.5078819408E7
AT ITER 497 NEW BEST:: SOT 133104839 SOS 81513272 HAS SOPS 66276352 HAS SOUS 25612284 HAS SOUPS 24989076 WITH SCORE 2.5070589272E7
AT ITER 500 NEW BEST:: SOT 133105615 SOS 81521315 HAS SOPS 66280064 HAS SOUS 25603821 HAS SOUPS 24980613 WITH SCORE 2.5062134315E7
AT ITER 502 NEW BEST:: SOT 133105586 SOS 81521227 HAS SOPS 66279839 HAS SOUS 25603401 HAS SOUPS 24980193 WITH SCORE 2.5061714227E7
AT ITER 511 NEW BEST:: SOT 133103346 SOS 81533441 HAS SOPS 66298117 HAS SOUS 25591329 HAS SOUPS 24968121 WITH SCORE 2.5049654441E7
AT ITER 517 NEW BEST:: SOT 133093018 SOS 81523091 HAS SOPS 66287085 HAS SOUS 25580402 HAS SOUPS 24957089 WITH SCORE 2.5038612091E7
AT ITER 518 NEW BEST:: SOT 133113735 SOS 81582860 HAS SOPS 66345035 HAS SOUS 25570938 HAS SOUPS 24947625 WITH SCORE 2.502920786E7
AT ITER 526 NEW BEST:: SOT 133102100 SOS 81554971 HAS SOPS 66318242 HAS SOUS 25544265 HAS SOUPS 24920952 WITH SCORE 2.5002506971E7
AT ITER 533 NEW BEST:: SOT 133110442 SOS 81578306 HAS SOPS 66359477 HAS SOUS 25542422 HAS SOUPS 24919109 WITH SCORE 2.5000687306E7
AT ITER 538 NEW BEST:: SOT 133084183 SOS 81548051 HAS SOPS 66349301 HAS SOUS 25511763 HAS SOUPS 24888450 WITH SCORE 2.4969998051E7
AT ITER 546 NEW BEST:: SOT 133083868 SOS 81574219 HAS SOPS 66365376 HAS SOUS 25507680 HAS SOUPS 24884367 WITH SCORE 2.4965941219E7
AT ITER 556 NEW BEST:: SOT 133071482 SOS 81578219 HAS SOPS 66376106 HAS SOUS 25487646 HAS SOUPS 24864333 WITH SCORE 2.4945911219E7
AT ITER 559 NEW BEST:: SOT 133072664 SOS 81585232 HAS SOPS 66385813 HAS SOUS 25487346 HAS SOUPS 24864033 WITH SCORE 2.4945618232E7
AT ITER 575 NEW BEST:: SOT 133046347 SOS 81524568 HAS SOPS 66347895 HAS SOUS 25473267 HAS SOUPS 24850148 WITH SCORE 2.4931672568E7
AT ITER 580 NEW BEST:: SOT 133045723 SOS 81523944 HAS SOPS 66347015 HAS SOUS 25472131 HAS SOUPS 24848884 WITH SCORE 2.4930407944E7
AT ITER 589 NEW BEST:: SOT 133047802 SOS 81531781 HAS SOPS 66352517 HAS SOUS 25468418 HAS SOUPS 24845171 WITH SCORE 2.4926702781E7
AT ITER 615 NEW BEST:: SOT 133047628 SOS 81533265 HAS SOPS 66353882 HAS SOUS 25468239 HAS SOUPS 24844992 WITH SCORE 2.4926525265E7
AT ITER 617 NEW BEST:: SOT 133039406 SOS 81501925 HAS SOPS 66339163 HAS SOUS 25460978 HAS SOUPS 24838289 WITH SCORE 2.4919790925E7
AT ITER 628 NEW BEST:: SOT 133029924 SOS 81487404 HAS SOPS 66345508 HAS SOUS 25458007 HAS SOUPS 24835318 WITH SCORE 2.4916805404E7
AT ITER 632 NEW BEST:: SOT 133003917 SOS 81442597 HAS SOPS 66318922 HAS SOUS 25420798 HAS SOUPS 24798543 WITH SCORE 2.4879985597E7
AT ITER 642 NEW BEST:: SOT 133017883 SOS 81457737 HAS SOPS 66334549 HAS SOUS 25420299 HAS SOUPS 24798044 WITH SCORE 2.4879501737E7
AT ITER 647 NEW BEST:: SOT 133018886 SOS 81459490 HAS SOPS 66335222 HAS SOUS 25418212 HAS SOUPS 24795957 WITH SCORE 2.487741649E7
AT ITER 650 NEW BEST:: SOT 133009001 SOS 81441002 HAS SOPS 66320305 HAS SOUS 25407810 HAS SOUPS 24785555 WITH SCORE 2.4866996002E7
AT ITER 655 NEW BEST:: SOT 132999019 SOS 81410723 HAS SOPS 66292839 HAS SOUS 25407597 HAS SOUPS 24785342 WITH SCORE 2.4866752723E7
AT ITER 659 NEW BEST:: SOT 132978260 SOS 81356019 HAS SOPS 66252156 HAS SOUS 25392565 HAS SOUPS 24770310 WITH SCORE 2.4851666019E7
AT ITER 669 NEW BEST:: SOT 132950639 SOS 81317782 HAS SOPS 66213246 HAS SOUS 25357362 HAS SOUPS 24735107 WITH SCORE 2.4816424782E7
AT ITER 670 NEW BEST:: SOT 132949545 SOS 81317111 HAS SOPS 66211779 HAS SOUS 25354921 HAS SOUPS 24732476 WITH SCORE 2.4813793111E7
AT ITER 679 NEW BEST:: SOT 132952548 SOS 81325883 HAS SOPS 66217591 HAS SOUS 25353188 HAS SOUPS 24730743 WITH SCORE 2.4812068883E7
AT ITER 683 NEW BEST:: SOT 132950659 SOS 81326380 HAS SOPS 66216364 HAS SOUS 25349438 HAS SOUPS 24726993 WITH SCORE 2.480831938E7
AT ITER 686 NEW BEST:: SOT 132961461 SOS 81325358 HAS SOPS 66209840 HAS SOUS 25343092 HAS SOUPS 24721056 WITH SCORE 2.4802381358E7
AT ITER 702 NEW BEST:: SOT 132961783 SOS 81326550 HAS SOPS 66210707 HAS SOUS 25342791 HAS SOUPS 24720755 WITH SCORE 2.480208155E7
AT ITER 707 NEW BEST:: SOT 132963080 SOS 81328610 HAS SOPS 66210363 HAS SOUS 25338375 HAS SOUPS 24716339 WITH SCORE 2.479766761E7
AT ITER 711 NEW BEST:: SOT 132971487 SOS 81362328 HAS SOPS 66237085 HAS SOUS 25336021 HAS SOUPS 24713985 WITH SCORE 2.4795347328E7
AT ITER 721 NEW BEST:: SOT 133052016 SOS 81580707 HAS SOPS 66409231 HAS SOUS 25288091 HAS SOUPS 24665922 WITH SCORE 2.4747502707E7
AT ITER 772 NEW BEST:: SOT 133051321 SOS 81579823 HAS SOPS 66408173 HAS SOUS 25286811 HAS SOUPS 24664645 WITH SCORE 2.4746224823E7
AT ITER 775 NEW BEST:: SOT 133007377 SOS 81533724 HAS SOPS 66360756 HAS SOUS 25186808 HAS SOUPS 24564979 WITH SCORE 2.4646512724E7
AT ITER 782 NEW BEST:: SOT 132990144 SOS 81517639 HAS SOPS 66352114 HAS SOUS 25164144 HAS SOUPS 24542315 WITH SCORE 2.4623832639E7
AT ITER 797 NEW BEST:: SOT 132994956 SOS 81538886 HAS SOPS 66383815 HAS SOUS 25153092 HAS SOUPS 24531263 WITH SCORE 2.4612801886E7
AT ITER 801 NEW BEST:: SOT 132988136 SOS 81523188 HAS SOPS 66374546 HAS SOUS 25150134 HAS SOUPS 24528305 WITH SCORE 2.4609828188E7
AT ITER 806 NEW BEST:: SOT 132989265 SOS 81538794 HAS SOPS 66392576 HAS SOUS 25143240 HAS SOUPS 24521884 WITH SCORE 2.4603422794E7
AT ITER 810 NEW BEST:: SOT 133005325 SOS 81593431 HAS SOPS 66449060 HAS SOUS 25124834 HAS SOUPS 24503478 WITH SCORE 2.4585071431E7
AT ITER 818 NEW BEST:: SOT 133015027 SOS 81617971 HAS SOPS 66465301 HAS SOUS 25123645 HAS SOUPS 24501717 WITH SCORE 2.4583334971E7
AT ITER 829 NEW BEST:: SOT 133010098 SOS 81608769 HAS SOPS 66455843 HAS SOUS 25117445 HAS SOUPS 24495517 WITH SCORE 2.4577125769E7
AT ITER 836 NEW BEST:: SOT 133024822 SOS 81642261 HAS SOPS 66479622 HAS SOUS 25113486 HAS SOUPS 24491558 WITH SCORE 2.4573200261E7
AT ITER 838 NEW BEST:: SOT 133031283 SOS 81699082 HAS SOPS 66522774 HAS SOUS 25084868 HAS SOUPS 24462940 WITH SCORE 2.4544639082E7
AT ITER 840 NEW BEST:: SOT 133025601 SOS 81674883 HAS SOPS 66507891 HAS SOUS 25078485 HAS SOUPS 24457329 WITH SCORE 2.4539003883E7
AT ITER 849 NEW BEST:: SOT 132974214 SOS 81564280 HAS SOPS 66417126 HAS SOUS 25047557 HAS SOUPS 24426401 WITH SCORE 2.450796528E7
AT ITER 864 NEW BEST:: SOT 132981690 SOS 81585302 HAS SOPS 66431140 HAS SOUS 25043887 HAS SOUPS 24422731 WITH SCORE 2.4504316302E7
AT ITER 865 NEW BEST:: SOT 132979725 SOS 81591042 HAS SOPS 66434527 HAS SOUS 25011564 HAS SOUPS 24390397 WITH SCORE 2.4471988042E7
AT ITER 868 NEW BEST:: SOT 132978245 SOS 81589588 HAS SOPS 66433052 HAS SOUS 25008153 HAS SOUPS 24386970 WITH SCORE 2.4468559588E7
AT ITER 878 NEW BEST:: SOT 132968775 SOS 81559175 HAS SOPS 66415010 HAS SOUS 25004505 HAS SOUPS 24383322 WITH SCORE 2.4464881175E7
AT ITER 913 NEW BEST:: SOT 132992461 SOS 81594157 HAS SOPS 66453751 HAS SOUS 24996618 HAS SOUPS 24375586 WITH SCORE 2.4457180157E7
AT ITER 946 NEW BEST:: SOT 132992218 SOS 81593812 HAS SOPS 66453504 HAS SOUS 24996363 HAS SOUPS 24375341 WITH SCORE 2.4456934812E7
AT ITER 949 NEW BEST:: SOT 132983473 SOS 81588514 HAS SOPS 66444279 HAS SOUS 24972820 HAS SOUPS 24351798 WITH SCORE 2.4433386514E7
AT ITER 957 NEW BEST:: SOT 132984144 SOS 81589757 HAS SOPS 66443341 HAS SOUS 24964612 HAS SOUPS 24343590 WITH SCORE 2.4425179757E7
AT ITER 964 NEW BEST:: SOT 132978953 SOS 81575557 HAS SOPS 66431505 HAS SOUS 24958168 HAS SOUPS 24337288 WITH SCORE 2.4418863557E7
AT ITER 970 NEW BEST:: SOT 132977809 SOS 81574479 HAS SOPS 66429743 HAS SOUS 24955730 HAS SOUPS 24334850 WITH SCORE 2.4416424479E7
AT ITER 974 NEW BEST:: SOT 132970569 SOS 81567104 HAS SOPS 66418770 HAS SOUS 24937050 HAS SOUPS 24315717 WITH SCORE 2.4397284104E7
AT ITER 976 NEW BEST:: SOT 132970375 SOS 81566093 HAS SOPS 66418407 HAS SOUS 24936757 HAS SOUPS 24315424 WITH SCORE 2.4396990093E7
AT ITER 982 NEW BEST:: SOT 133006613 SOS 81654929 HAS SOPS 66517959 HAS SOUS 24930456 HAS SOUPS 24309123 WITH SCORE 2.4390777929E7
AT ITER 989 NEW BEST:: SOT 133001771 SOS 81641697 HAS SOPS 66501142 HAS SOUS 24920284 HAS SOUPS 24298951 WITH SCORE 2.4380592697E7
AT ITER 1001 NEW BEST:: SOT 133001622 SOS 81645980 HAS SOPS 66506436 HAS SOUS 24917866 HAS SOUPS 24296533 WITH SCORE 2.437817898E7
AT ITER 1009 NEW BEST:: SOT 133007294 SOS 81645273 HAS SOPS 66531390 HAS SOUS 24907361 HAS SOUPS 24292477 WITH SCORE 2.4374122273E7
AT ITER 1020 NEW BEST:: SOT 133003945 SOS 81642400 HAS SOPS 66527401 HAS SOUS 24891606 HAS SOUPS 24276722 WITH SCORE 2.43583644E7
AT ITER 1025 NEW BEST:: SOT 132993493 SOS 81626429 HAS SOPS 66521144 HAS SOUS 24884697 HAS SOUPS 24266677 WITH SCORE 2.4348303429E7
AT ITER 1034 NEW BEST:: SOT 132989350 SOS 81617927 HAS SOPS 66506873 HAS SOUS 24879648 HAS SOUPS 24261628 WITH SCORE 2.4343245927E7
AT ITER 1038 NEW BEST:: SOT 132993060 SOS 81668122 HAS SOPS 66559207 HAS SOUS 24799270 HAS SOUPS 24181250 WITH SCORE 2.4262918122E7
AT ITER 1055 NEW BEST:: SOT 132990494 SOS 81660874 HAS SOPS 66555780 HAS SOUS 24788947 HAS SOUPS 24170927 WITH SCORE 2.4252587874E7
AT ITER 1058 NEW BEST:: SOT 132989783 SOS 81659773 HAS SOPS 66555485 HAS SOUS 24786630 HAS SOUPS 24168636 WITH SCORE 2.4250295773E7
AT ITER 1067 NEW BEST:: SOT 132989256 SOS 81659034 HAS SOPS 66555085 HAS SOUS 24785104 HAS SOUPS 24167124 WITH SCORE 2.4248783034E7
AT ITER 1073 NEW BEST:: SOT 132975188 SOS 81637155 HAS SOPS 66532598 HAS SOUS 24762738 HAS SOUPS 24144758 WITH SCORE 2.4226395155E7
AT ITER 1075 NEW BEST:: SOT 132974953 SOS 81634733 HAS SOPS 66530065 HAS SOUS 24756304 HAS SOUPS 24138324 WITH SCORE 2.4219958733E7
AT ITER 1089 NEW BEST:: SOT 132970027 SOS 81629853 HAS SOPS 66525829 HAS SOUS 24753884 HAS SOUPS 24135888 WITH SCORE 2.4217517853E7
AT ITER 1094 NEW BEST:: SOT 132969924 SOS 81629734 HAS SOPS 66526238 HAS SOUS 24752557 HAS SOUPS 24134809 WITH SCORE 2.4216438734E7
AT ITER 1095 NEW BEST:: SOT 132949469 SOS 81604128 HAS SOPS 66505214 HAS SOUS 24731554 HAS SOUPS 24113684 WITH SCORE 2.4195288128E7
AT ITER 1098 NEW BEST:: SOT 132946323 SOS 81600954 HAS SOPS 66501216 HAS SOUS 24731237 HAS SOUPS 24113331 WITH SCORE 2.4194931954E7
AT ITER 1111 NEW BEST:: SOT 132934273 SOS 81575869 HAS SOPS 66490020 HAS SOUS 24716214 HAS SOUPS 24098544 WITH SCORE 2.4180119869E7
AT ITER 1123 NEW BEST:: SOT 132944042 SOS 81592273 HAS SOPS 66495230 HAS SOUS 24703845 HAS SOUPS 24086175 WITH SCORE 2.4167767273E7
AT ITER 1128 NEW BEST:: SOT 132949611 SOS 81599066 HAS SOPS 66492472 HAS SOUS 24700205 HAS SOUPS 24082535 WITH SCORE 2.4164134066E7
AT ITER 1139 NEW BEST:: SOT 132960814 SOS 81666924 HAS SOPS 66557160 HAS SOUS 24653542 HAS SOUPS 24035872 WITH SCORE 2.4117538924E7
AT ITER 1150 NEW BEST:: SOT 132982733 SOS 81744571 HAS SOPS 66620696 HAS SOUS 24613187 HAS SOUPS 23995517 WITH SCORE 2.4077261571E7
AT ITER 1153 NEW BEST:: SOT 132981468 SOS 81742294 HAS SOPS 66619541 HAS SOUS 24612247 HAS SOUPS 23994590 WITH SCORE 2.4076332294E7
AT ITER 1154 NEW BEST:: SOT 132981430 SOS 81741372 HAS SOPS 66618821 HAS SOUS 24612133 HAS SOUPS 23994476 WITH SCORE 2.4076217372E7
AT ITER 1158 NEW BEST:: SOT 132994884 SOS 81756605 HAS SOPS 66613643 HAS SOUS 24601358 HAS SOUPS 23983924 WITH SCORE 2.4065680605E7
AT ITER 1164 NEW BEST:: SOT 132988217 SOS 81742255 HAS SOPS 66600358 HAS SOUS 24587404 HAS SOUPS 23970044 WITH SCORE 2.4051786255E7
AT ITER 1166 NEW BEST:: SOT 132968343 SOS 81721248 HAS SOPS 66573585 HAS SOUS 24563797 HAS SOUPS 23945963 WITH SCORE 2.4027684248E7
AT ITER 1175 NEW BEST:: SOT 132974834 SOS 81755466 HAS SOPS 66611957 HAS SOUS 24539382 HAS SOUPS 23921548 WITH SCORE 2.4003303466E7
AT ITER 1179 NEW BEST:: SOT 132975202 SOS 81754375 HAS SOPS 66605870 HAS SOUS 24529395 HAS SOUPS 23911561 WITH SCORE 2.3993315375E7
AT ITER 1199 NEW BEST:: SOT 133011927 SOS 81810264 HAS SOPS 66659891 HAS SOUS 24525487 HAS SOUPS 23908120 WITH SCORE 2.3989930264E7
AT ITER 1201 NEW BEST:: SOT 133004312 SOS 81799613 HAS SOPS 66648388 HAS SOUS 24515764 HAS SOUPS 23899252 WITH SCORE 2.3981051613E7
AT ITER 1206 NEW BEST:: SOT 132999495 SOS 81793458 HAS SOPS 66643694 HAS SOUS 24511465 HAS SOUPS 23894994 WITH SCORE 2.3976787458E7
AT ITER 1216 NEW BEST:: SOT 132995280 SOS 81781903 HAS SOPS 66631305 HAS SOUS 24507176 HAS SOUPS 23890705 WITH SCORE 2.3972486903E7
AT ITER 1231 NEW BEST:: SOT 132998976 SOS 81790628 HAS SOPS 66637687 HAS SOUS 24503058 HAS SOUPS 23886587 WITH SCORE 2.3968377628E7
AT ITER 1239 NEW BEST:: SOT 133035144 SOS 81894162 HAS SOPS 66713851 HAS SOUS 24495467 HAS SOUPS 23878996 WITH SCORE 2.3960890162E7
AT ITER 1258 NEW BEST:: SOT 133035794 SOS 81908558 HAS SOPS 66725647 HAS SOUS 24470250 HAS SOUPS 23853779 WITH SCORE 2.3935687558E7
AT ITER 1278 NEW BEST:: SOT 133036725 SOS 81914757 HAS SOPS 66737913 HAS SOUS 24469816 HAS SOUPS 23853345 WITH SCORE 2.3935259757E7
AT ITER 1300 NEW BEST:: SOT 133035181 SOS 81903926 HAS SOPS 66732352 HAS SOUS 24468620 HAS SOUPS 23852149 WITH SCORE 2.3934052926E7
AT ITER 1304 NEW BEST:: SOT 133036419 SOS 81905240 HAS SOPS 66732073 HAS SOUS 24464173 HAS SOUPS 23847702 WITH SCORE 2.392960724E7
AT ITER 1306 NEW BEST:: SOT 133036325 SOS 81905552 HAS SOPS 66731937 HAS SOUS 24463833 HAS SOUPS 23847362 WITH SCORE 2.3929267552E7
AT ITER 1314 NEW BEST:: SOT 133037672 SOS 81897231 HAS SOPS 66728432 HAS SOUS 24463825 HAS SOUPS 23847354 WITH SCORE 2.3929251231E7
AT ITER 1331 NEW BEST:: SOT 133037192 SOS 81897191 HAS SOPS 66727849 HAS SOUS 24461107 HAS SOUPS 23844627 WITH SCORE 2.3926524191E7
AT ITER 1338 NEW BEST:: SOT 133040621 SOS 81914640 HAS SOPS 66730708 HAS SOUS 24444698 HAS SOUPS 23828218 WITH SCORE 2.391013264E7
AT ITER 1343 NEW BEST:: SOT 133034568 SOS 81908633 HAS SOPS 66725537 HAS SOUS 24435850 HAS SOUPS 23820745 WITH SCORE 2.3902653633E7
AT ITER 1344 NEW BEST:: SOT 132985823 SOS 81838391 HAS SOPS 66667534 HAS SOUS 24405816 HAS SOUPS 23791145 WITH SCORE 2.3872983391E7
AT ITER 1363 NEW BEST:: SOT 132998953 SOS 81895944 HAS SOPS 66715809 HAS SOUS 24404007 HAS SOUPS 23789336 WITH SCORE 2.3871231944E7
AT ITER 1370 NEW BEST:: SOT 132984394 SOS 81855456 HAS SOPS 66688666 HAS SOUS 24403984 HAS SOUPS 23789313 WITH SCORE 2.3871168456E7
AT ITER 1380 NEW BEST:: SOT 132982928 SOS 81855462 HAS SOPS 66687407 HAS SOUS 24399623 HAS SOUPS 23784929 WITH SCORE 2.3866784462E7
AT ITER 1395 NEW BEST:: SOT 132962992 SOS 81835907 HAS SOPS 66667538 HAS SOUS 24351713 HAS SOUPS 23736862 WITH SCORE 2.3818697907E7
AT ITER 1404 NEW BEST:: SOT 132962397 SOS 81835230 HAS SOPS 66667154 HAS SOUS 24351670 HAS SOUPS 23736819 WITH SCORE 2.381865423E7
AT ITER 1412 NEW BEST:: SOT 132963064 SOS 81839804 HAS SOPS 66667550 HAS SOUS 24348330 HAS SOUPS 23733479 WITH SCORE 2.3815318804E7
AT ITER 1429 NEW BEST:: SOT 132962879 SOS 81839848 HAS SOPS 66668304 HAS SOUS 24345884 HAS SOUPS 23731033 WITH SCORE 2.3812872848E7
AT ITER 1432 NEW BEST:: SOT 132962179 SOS 81849242 HAS SOPS 66677244 HAS SOUS 24336593 HAS SOUPS 23721697 WITH SCORE 2.3803546242E7
AT ITER 1440 NEW BEST:: SOT 132968150 SOS 81860939 HAS SOPS 66686501 HAS SOUS 24335270 HAS SOUPS 23720799 WITH SCORE 2.3802659939E7
AT ITER 1453 NEW BEST:: SOT 132892426 SOS 81775480 HAS SOPS 66590890 HAS SOUS 24227783 HAS SOUPS 23613357 WITH SCORE 2.369513248E7
AT ITER 1469 NEW BEST:: SOT 132893139 SOS 81781910 HAS SOPS 66599574 HAS SOUS 24215968 HAS SOUPS 23601542 WITH SCORE 2.368332391E7
AT ITER 1486 NEW BEST:: SOT 132893627 SOS 81782870 HAS SOPS 66601786 HAS SOUS 24212280 HAS SOUPS 23597854 WITH SCORE 2.367963687E7
AT ITER 1488 NEW BEST:: SOT 132901596 SOS 81794421 HAS SOPS 66613288 HAS SOUS 24211711 HAS SOUPS 23597285 WITH SCORE 2.3679079421E7
AT ITER 1489 NEW BEST:: SOT 132899676 SOS 81791485 HAS SOPS 66610038 HAS SOUS 24208497 HAS SOUPS 23594071 WITH SCORE 2.3675862485E7
AT ITER 1497 NEW BEST:: SOT 132898169 SOS 81789898 HAS SOPS 66608451 HAS SOUS 24204153 HAS SOUPS 23589727 WITH SCORE 2.3671516898E7
AT ITER 1519 NEW BEST:: SOT 132861265 SOS 81746565 HAS SOPS 66565698 HAS SOUS 24157280 HAS SOUPS 23542990 WITH SCORE 2.3624736565E7
AT ITER 1528 NEW BEST:: SOT 132881215 SOS 81774538 HAS SOPS 66614747 HAS SOUS 24143073 HAS SOUPS 23529233 WITH SCORE 2.3611007538E7
AT ITER 1531 NEW BEST:: SOT 132881132 SOS 81763848 HAS SOPS 66624232 HAS SOUS 24136758 HAS SOUPS 23522918 WITH SCORE 2.3604681848E7
AT ITER 1538 NEW BEST:: SOT 132878326 SOS 81761030 HAS SOPS 66620895 HAS SOUS 24131194 HAS SOUPS 23517374 WITH SCORE 2.359913503E7
AT ITER 1540 NEW BEST:: SOT 132882537 SOS 81780614 HAS SOPS 66633052 HAS SOUS 24127466 HAS SOUPS 23513646 WITH SCORE 2.3595426614E7
AT ITER 1554 NEW BEST:: SOT 132881880 SOS 81778931 HAS SOPS 66637170 HAS SOUS 24123546 HAS SOUPS 23509726 WITH SCORE 2.3591504931E7
AT ITER 1558 NEW BEST:: SOT 132884454 SOS 81809166 HAS SOPS 66662577 HAS SOUS 24084093 HAS SOUPS 23470273 WITH SCORE 2.3552082166E7
AT ITER 1563 NEW BEST:: SOT 132921385 SOS 81882532 HAS SOPS 66726618 HAS SOUS 24062859 HAS SOUPS 23449039 WITH SCORE 2.3530921532E7
AT ITER 1573 NEW BEST:: SOT 132921893 SOS 81885394 HAS SOPS 66728214 HAS SOUS 24061970 HAS SOUPS 23448150 WITH SCORE 2.3530035394E7
AT ITER 1577 NEW BEST:: SOT 132917471 SOS 81876979 HAS SOPS 66720103 HAS SOUS 24060941 HAS SOUPS 23447121 WITH SCORE 2.3528997979E7
AT ITER 1596 NEW BEST:: SOT 132851822 SOS 81776571 HAS SOPS 66635259 HAS SOUS 23990218 HAS SOUPS 23377509 WITH SCORE 2.3459285571E7
AT ITER 1597 NEW BEST:: SOT 132855485 SOS 81806972 HAS SOPS 66663992 HAS SOUS 23984136 HAS SOUPS 23371427 WITH SCORE 2.3453233972E7
AT ITER 1607 NEW BEST:: SOT 132854114 SOS 81797251 HAS SOPS 66654935 HAS SOUS 23980875 HAS SOUPS 23368166 WITH SCORE 2.3449963251E7
AT ITER 1613 NEW BEST:: SOT 132890784 SOS 81884439 HAS SOPS 66746594 HAS SOUS 23949902 HAS SOUPS 23337193 WITH SCORE 2.3419077439E7
AT ITER 1615 NEW BEST:: SOT 132889383 SOS 81883620 HAS SOPS 66748129 HAS SOUS 23946182 HAS SOUPS 23333508 WITH SCORE 2.341539162E7
AT ITER 1624 NEW BEST:: SOT 132864946 SOS 81825706 HAS SOPS 66695289 HAS SOUS 23929043 HAS SOUPS 23316369 WITH SCORE 2.3398194706E7
AT ITER 1665 NEW BEST:: SOT 132864340 SOS 81821214 HAS SOPS 66691016 HAS SOUS 23928555 HAS SOUPS 23315881 WITH SCORE 2.3397702214E7
AT ITER 1674 NEW BEST:: SOT 132858596 SOS 81811022 HAS SOPS 66681944 HAS SOUS 23921211 HAS SOUPS 23308537 WITH SCORE 2.3390348022E7
AT ITER 1686 NEW BEST:: SOT 132849770 SOS 81800183 HAS SOPS 66670407 HAS SOUS 23904589 HAS SOUPS 23291955 WITH SCORE 2.3373755183E7
AT ITER 1691 NEW BEST:: SOT 132851069 SOS 81801610 HAS SOPS 66672983 HAS SOUS 23884035 HAS SOUPS 23271500 WITH SCORE 2.335330161E7
AT ITER 1702 NEW BEST:: SOT 132853360 SOS 81807494 HAS SOPS 66671318 HAS SOUS 23869209 HAS SOUPS 23256674 WITH SCORE 2.3338481494E7
AT ITER 1712 NEW BEST:: SOT 132854438 SOS 81808572 HAS SOPS 66672396 HAS SOUS 23869135 HAS SOUPS 23256600 WITH SCORE 2.3338408572E7
AT ITER 1714 NEW BEST:: SOT 132852539 SOS 81807615 HAS SOPS 66667939 HAS SOUS 23866094 HAS SOUPS 23253559 WITH SCORE 2.3335366615E7
AT ITER 1719 NEW BEST:: SOT 132904162 SOS 81893231 HAS SOPS 66816194 HAS SOUS 23861904 HAS SOUPS 23250154 WITH SCORE 2.3332047231E7
AT ITER 1745 NEW BEST:: SOT 132904492 SOS 81897401 HAS SOPS 66820591 HAS SOUS 23859655 HAS SOUPS 23247905 WITH SCORE 2.3329802401E7
AT ITER 1758 NEW BEST:: SOT 132897349 SOS 81880638 HAS SOPS 66813375 HAS SOUS 23850728 HAS SOUPS 23238978 WITH SCORE 2.3320858638E7
AT ITER 1760 NEW BEST:: SOT 132900568 SOS 81890816 HAS SOPS 66829945 HAS SOUS 23847574 HAS SOUPS 23235824 WITH SCORE 2.3317714816E7
AT ITER 1790 NEW BEST:: SOT 132757346 SOS 81690023 HAS SOPS 66620308 HAS SOUS 23686268 HAS SOUPS 23073902 WITH SCORE 2.3155592023E7
AT ITER 1792 NEW BEST:: SOT 132741625 SOS 81672380 HAS SOPS 66603158 HAS SOUS 23646841 HAS SOUPS 23034594 WITH SCORE 2.311626638E7
AT ITER 1794 NEW BEST:: SOT 132742030 SOS 81680708 HAS SOPS 66609122 HAS SOUS 23646245 HAS SOUPS 23033998 WITH SCORE 2.3115678708E7
AT ITER 1797 NEW BEST:: SOT 132764043 SOS 81755287 HAS SOPS 66674974 HAS SOUS 23643285 HAS SOUPS 23031038 WITH SCORE 2.3112793287E7
AT ITER 1803 NEW BEST:: SOT 132757365 SOS 81698600 HAS SOPS 66676623 HAS SOUS 23640627 HAS SOUPS 23028380 WITH SCORE 2.31100786E7
AT ITER 1804 NEW BEST:: SOT 132748894 SOS 81678036 HAS SOPS 66643015 HAS SOUS 23629380 HAS SOUPS 23017133 WITH SCORE 2.3098811036E7
AT ITER 1805 NEW BEST:: SOT 132755624 SOS 81706515 HAS SOPS 66669360 HAS SOUS 23626397 HAS SOUPS 23014150 WITH SCORE 2.3095856515E7
AT ITER 1815 NEW BEST:: SOT 132777552 SOS 81765662 HAS SOPS 66718796 HAS SOUS 23621871 HAS SOUPS 23009624 WITH SCORE 2.3091389662E7
AT ITER 1835 NEW BEST:: SOT 132774085 SOS 81755571 HAS SOPS 66708577 HAS SOUS 23615898 HAS SOUPS 23003651 WITH SCORE 2.3085406571E7
AT ITER 1837 NEW BEST:: SOT 132744991 SOS 81723579 HAS SOPS 66671154 HAS SOUS 23563427 HAS SOUPS 22951188 WITH SCORE 2.3032911579E7
AT ITER 1851 NEW BEST:: SOT 132764154 SOS 81760779 HAS SOPS 66717960 HAS SOUS 23556833 HAS SOUPS 22948186 WITH SCORE 2.3029946779E7
AT ITER 1874 NEW BEST:: SOT 132761810 SOS 81755197 HAS SOPS 66713408 HAS SOUS 23555284 HAS SOUPS 22946637 WITH SCORE 2.3028392197E7
AT ITER 1879 NEW BEST:: SOT 132761224 SOS 81756175 HAS SOPS 66711498 HAS SOUS 23536826 HAS SOUPS 22928152 WITH SCORE 2.3009908175E7
AT ITER 1880 NEW BEST:: SOT 132769213 SOS 81767111 HAS SOPS 66720402 HAS SOUS 23532051 HAS SOUPS 22923383 WITH SCORE 2.3005150111E7
AT ITER 1896 NEW BEST:: SOT 132766891 SOS 81764846 HAS SOPS 66718570 HAS SOUS 23526031 HAS SOUPS 22917362 WITH SCORE 2.2999126846E7
AT ITER 1900 NEW BEST:: SOT 132755921 SOS 81738959 HAS SOPS 66692090 HAS SOUS 23500761 HAS SOUPS 22892092 WITH SCORE 2.2973830959E7
AT ITER 1914 NEW BEST:: SOT 132738057 SOS 81689582 HAS SOPS 66655815 HAS SOUS 23498240 HAS SOUPS 22889571 WITH SCORE 2.2971260582E7
AT ITER 1916 NEW BEST:: SOT 132738114 SOS 81689777 HAS SOPS 66656502 HAS SOUS 23497509 HAS SOUPS 22888840 WITH SCORE 2.2970529777E7
AT ITER 1917 NEW BEST:: SOT 132737976 SOS 81689471 HAS SOPS 66656664 HAS SOUS 23497344 HAS SOUPS 22888675 WITH SCORE 2.2970364471E7
AT ITER 1921 NEW BEST:: SOT 132737868 SOS 81689360 HAS SOPS 66656556 HAS SOUS 23497191 HAS SOUPS 22888522 WITH SCORE 2.297021136E7
AT ITER 1926 NEW BEST:: SOT 132734347 SOS 81683973 HAS SOPS 66650417 HAS SOUS 23491346 HAS SOUPS 22882677 WITH SCORE 2.2964360973E7
AT ITER 1931 NEW BEST:: SOT 132715282 SOS 81644504 HAS SOPS 66634083 HAS SOUS 23485989 HAS SOUPS 22877857 WITH SCORE 2.2959501504E7
AT ITER 1941 NEW BEST:: SOT 132715742 SOS 81645470 HAS SOPS 66633956 HAS SOUS 23484773 HAS SOUPS 22876641 WITH SCORE 2.295828647E7
AT ITER 1943 NEW BEST:: SOT 132717650 SOS 81654085 HAS SOPS 66640523 HAS SOUS 23483722 HAS SOUPS 22875590 WITH SCORE 2.2957244085E7
AT ITER 1949 NEW BEST:: SOT 132717390 SOS 81658940 HAS SOPS 66641416 HAS SOUS 23480601 HAS SOUPS 22872469 WITH SCORE 2.295412794E7
AT ITER 1960 NEW BEST:: SOT 132718061 SOS 81659621 HAS SOPS 66642624 HAS SOUS 23478634 HAS SOUPS 22870502 WITH SCORE 2.2952161621E7
AT ITER 1962 NEW BEST:: SOT 132711632 SOS 81652714 HAS SOPS 66633285 HAS SOUS 23467243 HAS SOUPS 22859073 WITH SCORE 2.2940725714E7
AT ITER 1972 NEW BEST:: SOT 132708160 SOS 81636455 HAS SOPS 66673284 HAS SOUS 23465706 HAS SOUPS 22857982 WITH SCORE 2.2939618455E7
AT ITER 1991 NEW BEST:: SOT 132701517 SOS 81629981 HAS SOPS 66667526 HAS SOUS 23449537 HAS SOUPS 22841876 WITH SCORE 2.2923505981E7
AT ITER 1997 NEW BEST:: SOT 132696151 SOS 81624929 HAS SOPS 66659390 HAS SOUS 23440459 HAS SOUPS 22832765 WITH SCORE 2.2914389929E7
AT ITER 1998 NEW BEST:: SOT 132702159 SOS 81646480 HAS SOPS 66682688 HAS SOUS 23438886 HAS SOUPS 22831192 WITH SCORE 2.291283848E7
AT ITER 2005 NEW BEST:: SOT 132702231 SOS 81646552 HAS SOPS 66682720 HAS SOUS 23438830 HAS SOUPS 22831080 WITH SCORE 2.2912726552E7
AT ITER 2022 NEW BEST:: SOT 132701774 SOS 81643459 HAS SOPS 66680270 HAS SOUS 23438031 HAS SOUPS 22830301 WITH SCORE 2.2911944459E7
AT ITER 2026 NEW BEST:: SOT 132694534 SOS 81632202 HAS SOPS 66667614 HAS SOUS 23437826 HAS SOUPS 22830096 WITH SCORE 2.2911728202E7
AT ITER 2027 NEW BEST:: SOT 132689347 SOS 81626312 HAS SOPS 66663248 HAS SOUS 23435682 HAS SOUPS 22827952 WITH SCORE 2.2909578312E7
AT ITER 2032 NEW BEST:: SOT 132682536 SOS 81612208 HAS SOPS 66637024 HAS SOUS 23418947 HAS SOUPS 22811004 WITH SCORE 2.2892616208E7
AT ITER 2040 NEW BEST:: SOT 132678926 SOS 81607954 HAS SOPS 66632252 HAS SOUS 23412093 HAS SOUPS 22804162 WITH SCORE 2.2885769954E7
AT ITER 2050 NEW BEST:: SOT 132679597 SOS 81616489 HAS SOPS 66637915 HAS SOUS 23411795 HAS SOUPS 22803864 WITH SCORE 2.2885480489E7
AT ITER 2058 NEW BEST:: SOT 132678988 SOS 81614489 HAS SOPS 66636516 HAS SOUS 23409379 HAS SOUPS 22801448 WITH SCORE 2.2883062489E7
AT ITER 2072 NEW BEST:: SOT 132676895 SOS 81609751 HAS SOPS 66637543 HAS SOUS 23407669 HAS SOUPS 22799738 WITH SCORE 2.2881347751E7
AT ITER 2088 NEW BEST:: SOT 132675849 SOS 81603355 HAS SOPS 66661441 HAS SOUS 23397104 HAS SOUPS 22789543 WITH SCORE 2.2871146355E7
AT ITER 2092 NEW BEST:: SOT 132680311 SOS 81622315 HAS SOPS 66677139 HAS SOUS 23392820 HAS SOUPS 22785259 WITH SCORE 2.2866881315E7
AT ITER 2094 NEW BEST:: SOT 132635770 SOS 81558951 HAS SOPS 66618216 HAS SOUS 23343639 HAS SOUPS 22736078 WITH SCORE 2.2817636951E7
AT ITER 2100 NEW BEST:: SOT 132634823 SOS 81557864 HAS SOPS 66616751 HAS SOUS 23341285 HAS SOUPS 22733724 WITH SCORE 2.2815281864E7
AT ITER 2114 NEW BEST:: SOT 132642010 SOS 81564823 HAS SOPS 66626313 HAS SOUS 23328975 HAS SOUPS 22726758 WITH SCORE 2.2808322823E7
AT ITER 2116 NEW BEST:: SOT 132641195 SOS 81556671 HAS SOPS 66619056 HAS SOUS 23327502 HAS SOUPS 22725285 WITH SCORE 2.2806841671E7
AT ITER 2137 NEW BEST:: SOT 132651549 SOS 81589821 HAS SOPS 66639774 HAS SOUS 23312803 HAS SOUPS 22710586 WITH SCORE 2.2792175821E7
AT ITER 2140 NEW BEST:: SOT 132636018 SOS 81553366 HAS SOPS 66609755 HAS SOUS 23306145 HAS SOUPS 22703928 WITH SCORE 2.2785481366E7
AT ITER 2148 NEW BEST:: SOT 132626568 SOS 81539656 HAS SOPS 66599336 HAS SOUS 23282723 HAS SOUPS 22680698 WITH SCORE 2.2762237656E7
AT ITER 2152 NEW BEST:: SOT 132628920 SOS 81545859 HAS SOPS 66594210 HAS SOUS 23267792 HAS SOUPS 22665191 WITH SCORE 2.2746736859E7
AT ITER 2160 NEW BEST:: SOT 132628887 SOS 81529864 HAS SOPS 66583042 HAS SOUS 23267345 HAS SOUPS 22664744 WITH SCORE 2.2746273864E7
AT ITER 2186 NEW BEST:: SOT 132629153 SOS 81527078 HAS SOPS 66578767 HAS SOUS 23266501 HAS SOUPS 22663900 WITH SCORE 2.2745427078E7
AT ITER 2191 NEW BEST:: SOT 132619836 SOS 81518998 HAS SOPS 66572027 HAS SOUS 23257142 HAS SOUPS 22654420 WITH SCORE 2.2735938998E7
AT ITER 2210 NEW BEST:: SOT 132621084 SOS 81520246 HAS SOPS 66573275 HAS SOUS 23254838 HAS SOUPS 22652116 WITH SCORE 2.2733636246E7
AT ITER 2220 NEW BEST:: SOT 132632230 SOS 81547923 HAS SOPS 66600696 HAS SOUS 23250393 HAS SOUPS 22647671 WITH SCORE 2.2729218923E7
AT ITER 2221 NEW BEST:: SOT 132631819 SOS 81547470 HAS SOPS 66600672 HAS SOUS 23248499 HAS SOUPS 22645925 WITH SCORE 2.272747247E7
AT ITER 2225 NEW BEST:: SOT 132586666 SOS 81485233 HAS SOPS 66557265 HAS SOUS 23195449 HAS SOUPS 22595938 WITH SCORE 2.2677423233E7
AT ITER 2226 NEW BEST:: SOT 132586196 SOS 81483753 HAS SOPS 66556270 HAS SOUS 23195049 HAS SOUPS 22595538 WITH SCORE 2.2677021753E7
AT ITER 2241 NEW BEST:: SOT 132560297 SOS 81404395 HAS SOPS 66521954 HAS SOUS 23190754 HAS SOUPS 22592034 WITH SCORE 2.2673438395E7
AT ITER 2264 NEW BEST:: SOT 132565460 SOS 81409487 HAS SOPS 66523017 HAS SOUS 23189517 HAS SOUPS 22590797 WITH SCORE 2.2672206487E7
AT ITER 2267 NEW BEST:: SOT 132567334 SOS 81430035 HAS SOPS 66538702 HAS SOUS 23176509 HAS SOUPS 22577789 WITH SCORE 2.2659219035E7
AT ITER 2270 NEW BEST:: SOT 132562110 SOS 81420789 HAS SOPS 66521934 HAS SOUS 23171440 HAS SOUPS 22572857 WITH SCORE 2.2654277789E7
AT ITER 2273 NEW BEST:: SOT 132523785 SOS 81369090 HAS SOPS 66473303 HAS SOUS 23125247 HAS SOUPS 22526785 WITH SCORE 2.260815409E7
AT ITER 2283 NEW BEST:: SOT 132516442 SOS 81348811 HAS SOPS 66491818 HAS SOUS 23108565 HAS SOUPS 22510456 WITH SCORE 2.2591804811E7
AT ITER 2285 NEW BEST:: SOT 132488532 SOS 81263955 HAS SOPS 66459737 HAS SOUS 23065158 HAS SOUPS 22468114 WITH SCORE 2.2549377955E7
AT ITER 2297 NEW BEST:: SOT 132501685 SOS 81285520 HAS SOPS 66472084 HAS SOUS 23057477 HAS SOUPS 22460343 WITH SCORE 2.254162852E7
AT ITER 2309 NEW BEST:: SOT 132524762 SOS 81321830 HAS SOPS 66506914 HAS SOUS 23043342 HAS SOUPS 22446208 WITH SCORE 2.252752983E7
AT ITER 2317 NEW BEST:: SOT 132524771 SOS 81326308 HAS SOPS 66513954 HAS SOUS 23043282 HAS SOUPS 22446148 WITH SCORE 2.2527474308E7
AT ITER 2321 NEW BEST:: SOT 132524754 SOS 81326283 HAS SOPS 66513865 HAS SOUS 23043244 HAS SOUPS 22446110 WITH SCORE 2.2527436283E7
AT ITER 2334 NEW BEST:: SOT 132533987 SOS 81310948 HAS SOPS 66518159 HAS SOUS 23029554 HAS SOUPS 22432420 WITH SCORE 2.2513730948E7
AT ITER 2344 NEW BEST:: SOT 132498967 SOS 81231211 HAS SOPS 66465860 HAS SOUS 23016311 HAS SOUPS 22419177 WITH SCORE 2.2500408211E7
AT ITER 2346 NEW BEST:: SOT 132489997 SOS 81222357 HAS SOPS 66459604 HAS SOUS 23008490 HAS SOUPS 22411993 WITH SCORE 2.2493215357E7
AT ITER 2355 NEW BEST:: SOT 132490590 SOS 81224235 HAS SOPS 66460826 HAS SOUS 23007830 HAS SOUPS 22411317 WITH SCORE 2.2492541235E7
AT ITER 2366 NEW BEST:: SOT 132453383 SOS 81148268 HAS SOPS 66399812 HAS SOUS 22970140 HAS SOUPS 22377912 WITH SCORE 2.2459060268E7
AT ITER 2400 NEW BEST:: SOT 132447806 SOS 81142284 HAS SOPS 66390583 HAS SOUS 22956723 HAS SOUPS 22363946 WITH SCORE 2.2445088284E7
AT ITER 2412 NEW BEST:: SOT 132389628 SOS 80977773 HAS SOPS 66251724 HAS SOUS 22912238 HAS SOUPS 22319461 WITH SCORE 2.2400438773E7
AT ITER 2416 NEW BEST:: SOT 132390401 SOS 80979157 HAS SOPS 66252929 HAS SOUS 22911842 HAS SOUPS 22319065 WITH SCORE 2.2400044157E7
AT ITER 2429 NEW BEST:: SOT 132378184 SOS 80953750 HAS SOPS 66235668 HAS SOUS 22911205 HAS SOUPS 22318428 WITH SCORE 2.239938175E7
AT ITER 2432 NEW BEST:: SOT 132374826 SOS 80950068 HAS SOPS 66232131 HAS SOUS 22901439 HAS SOUPS 22308662 WITH SCORE 2.2389612068E7
AT ITER 2454 NEW BEST:: SOT 132374856 SOS 80951122 HAS SOPS 66234243 HAS SOUS 22900668 HAS SOUPS 22307891 WITH SCORE 2.2388842122E7
AT ITER 2459 NEW BEST:: SOT 132374832 SOS 80951049 HAS SOPS 66234124 HAS SOUS 22900598 HAS SOUPS 22307821 WITH SCORE 2.2388772049E7
AT ITER 2473 NEW BEST:: SOT 132367095 SOS 80942746 HAS SOPS 66225018 HAS SOUS 22883365 HAS SOUPS 22290642 WITH SCORE 2.2371584746E7
AT ITER 2474 NEW BEST:: SOT 132367406 SOS 80943849 HAS SOPS 66225827 HAS SOUS 22883243 HAS SOUPS 22290520 WITH SCORE 2.2371463849E7
AT ITER 2478 NEW BEST:: SOT 132364150 SOS 80939032 HAS SOPS 66222127 HAS SOUS 22873796 HAS SOUPS 22281073 WITH SCORE 2.2362012032E7
AT ITER 2487 NEW BEST:: SOT 132342493 SOS 80900869 HAS SOPS 66184809 HAS SOUS 22860600 HAS SOUPS 22267940 WITH SCORE 2.2348840869E7
AT ITER 2489 NEW BEST:: SOT 132343095 SOS 80901410 HAS SOPS 66184533 HAS SOUS 22859731 HAS SOUPS 22267071 WITH SCORE 2.234797241E7
AT ITER 2494 NEW BEST:: SOT 132341613 SOS 80900054 HAS SOPS 66182937 HAS SOUS 22856302 HAS SOUPS 22263642 WITH SCORE 2.2344542054E7
AT ITER 2497 NEW BEST:: SOT 132339064 SOS 80890456 HAS SOPS 66172653 HAS SOUS 22840207 HAS SOUPS 22247547 WITH SCORE 2.2328437456E7
AT ITER 2511 NEW BEST:: SOT 132336280 SOS 80888031 HAS SOPS 66167437 HAS SOUS 22836293 HAS SOUPS 22243565 WITH SCORE 2.2324453031E7
AT ITER 2513 NEW BEST:: SOT 132335552 SOS 80889969 HAS SOPS 66166337 HAS SOUS 22831193 HAS SOUPS 22238465 WITH SCORE 2.2319354969E7
AT ITER 2514 NEW BEST:: SOT 132332005 SOS 80886028 HAS SOPS 66159966 HAS SOUS 22823876 HAS SOUPS 22231156 WITH SCORE 2.2312042028E7
AT ITER 2516 NEW BEST:: SOT 132305257 SOS 80836557 HAS SOPS 66106115 HAS SOUS 22785554 HAS SOUPS 22192834 WITH SCORE 2.2273670557E7
AT ITER 2518 NEW BEST:: SOT 132348181 SOS 80937077 HAS SOPS 66212373 HAS SOUS 22769323 HAS SOUPS 22176805 WITH SCORE 2.2257742077E7
AT ITER 2519 NEW BEST:: SOT 132332265 SOS 80902392 HAS SOPS 66160878 HAS SOUS 22752215 HAS SOUPS 22159511 WITH SCORE 2.2240413392E7
AT ITER 2526 NEW BEST:: SOT 132332259 SOS 80902334 HAS SOPS 66160782 HAS SOUS 22752195 HAS SOUPS 22159491 WITH SCORE 2.2240393334E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15417200 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16075352 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-6"
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-6, 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-167889194300120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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