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.r491-tall-167912711501240.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is VehicularWifi-COL-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711501240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 672K
-rw-r--r-- 1 mcc users 7.6K Feb 25 14:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 14:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 25 14:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 14:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 25 14:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 154K Feb 25 14:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 14:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 188K 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 1679321938985

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=VehicularWifi-COL-none
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 14:19:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 14:19:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 14:19:02] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-20 14:19:02] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 14:19:03] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1229 ms
[2023-03-20 14:19:03] [INFO ] Detected 1 constant HL places corresponding to 81920 PT places.
[2023-03-20 14:19:03] [INFO ] Imported 21 HL places and 41 HL transitions for a total of 115566 PT places and 379924.0 transition bindings in 78 ms.
[2023-03-20 14:19:04] [INFO ] Unfolded HLPN to a Petri net with 115566 places and 83836 transitions 301810 arcs in 987 ms.
[2023-03-20 14:19:04] [INFO ] Unfolded 0 HLPN properties in 1 ms.
[2023-03-20 14:19:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 115566 places, 83836 transitions and 301810 arcs took 342 ms.
Total runtime 4038 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running VehicularWifi (COL), instance none
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 115566 places, 83836 transitions, 301810 arcs.
AT ITER 0 NEW BEST:: SOT 1393103136 SOS 963243335 HAS SOPS 962355733 HAS SOUS 829496575 HAS SOUPS 829463202 WITH SCORE 8.30426445335E8
AT ITER 2 NEW BEST:: SOT 1393125295 SOS 963243333 HAS SOPS 962355731 HAS SOUS 829474415 HAS SOUPS 829441042 WITH SCORE 8.30404285333E8
AT ITER 68 NEW BEST:: SOT 1393134398 SOS 963243311 HAS SOPS 962355709 HAS SOUS 829465301 HAS SOUPS 829431928 WITH SCORE 8.30395171311E8
AT ITER 108 NEW BEST:: SOT 1393149927 SOS 963243309 HAS SOPS 962355707 HAS SOUS 829449771 HAS SOUPS 829416398 WITH SCORE 8.30379641309E8
AT ITER 123 NEW BEST:: SOT 1393201373 SOS 963255356 HAS SOPS 962367754 HAS SOUS 829422422 HAS SOUPS 829389049 WITH SCORE 8.30352304356E8
AT ITER 129 NEW BEST:: SOT 1393222684 SOS 963265032 HAS SOPS 962377430 HAS SOUS 829420466 HAS SOUPS 829387093 WITH SCORE 8.30350358032E8
AT ITER 195 NEW BEST:: SOT 1393260576 SOS 963267559 HAS SOPS 962379957 HAS SOUS 829387631 HAS SOUPS 829354258 WITH SCORE 8.30317525559E8
AT ITER 215 NEW BEST:: SOT 1393298407 SOS 963267557 HAS SOPS 962379955 HAS SOUS 829349799 HAS SOUPS 829316426 WITH SCORE 8.30279693557E8
AT ITER 221 NEW BEST:: SOT 1393328154 SOS 963267555 HAS SOPS 962379953 HAS SOUS 829320051 HAS SOUPS 829286678 WITH SCORE 8.30249945555E8
AT ITER 235 NEW BEST:: SOT 1393361789 SOS 963269941 HAS SOPS 962382339 HAS SOUS 829291191 HAS SOUPS 829257818 WITH SCORE 8.30221087941E8
AT ITER 262 NEW BEST:: SOT 1393366840 SOS 963269939 HAS SOPS 962382337 HAS SOUS 829286139 HAS SOUPS 829252766 WITH SCORE 8.30216035939E8
AT ITER 306 NEW BEST:: SOT 1393407077 SOS 963283965 HAS SOPS 962396363 HAS SOUS 829268946 HAS SOUPS 829235573 WITH SCORE 8.30198856965E8
AT ITER 339 NEW BEST:: SOT 1393469971 SOS 963311664 HAS SOPS 962424062 HAS SOUS 829261453 HAS SOUPS 829228080 WITH SCORE 8.30191391664E8
AT ITER 402 NEW BEST:: SOT 1393518795 SOS 963321137 HAS SOPS 962433535 HAS SOUS 829231578 HAS SOUPS 829198205 WITH SCORE 8.30161526137E8
AT ITER 459 NEW BEST:: SOT 1393549922 SOS 963321135 HAS SOPS 962433533 HAS SOUS 829200450 HAS SOUPS 829167077 WITH SCORE 8.30130398135E8
AT ITER 577 NEW BEST:: SOT 1393613932 SOS 963349950 HAS SOPS 962462348 HAS SOUS 829194073 HAS SOUPS 829160700 WITH SCORE 8.3012404995E8
AT ITER 590 NEW BEST:: SOT 1393631627 SOS 963355710 HAS SOPS 962468108 HAS SOUS 829182140 HAS SOUPS 829148767 WITH SCORE 8.3011212271E8
AT ITER 639 NEW BEST:: SOT 1393676070 SOS 963370046 HAS SOPS 962482444 HAS SOUS 829161285 HAS SOUPS 829127912 WITH SCORE 8.30091282046E8
AT ITER 645 NEW BEST:: SOT 1393683469 SOS 963370044 HAS SOPS 962482442 HAS SOUS 829153885 HAS SOUPS 829120512 WITH SCORE 8.30083882044E8
AT ITER 649 NEW BEST:: SOT 1393691924 SOS 963370042 HAS SOPS 962482440 HAS SOUS 829145429 HAS SOUPS 829112056 WITH SCORE 8.30075426042E8
AT ITER 653 NEW BEST:: SOT 1393709903 SOS 963376098 HAS SOPS 962488496 HAS SOUS 829139565 HAS SOUPS 829106192 WITH SCORE 8.30069568098E8
AT ITER 687 NEW BEST:: SOT 1393714946 SOS 963376096 HAS SOPS 962488494 HAS SOUS 829134521 HAS SOUPS 829101148 WITH SCORE 8.30064524096E8
AT ITER 794 NEW BEST:: SOT 1393747367 SOS 963376074 HAS SOPS 962488472 HAS SOUS 829102089 HAS SOUPS 829068716 WITH SCORE 8.30032092074E8
AT ITER 797 NEW BEST:: SOT 1393786768 SOS 963380246 HAS SOPS 962492644 HAS SOUS 829071035 HAS SOUPS 829037662 WITH SCORE 8.30001042246E8
AT ITER 834 NEW BEST:: SOT 1393805805 SOS 963383980 HAS SOPS 962496378 HAS SOUS 829059469 HAS SOUPS 829026096 WITH SCORE 8.2998947998E8
AT ITER 842 NEW BEST:: SOT 1393854849 SOS 963397797 HAS SOPS 962510195 HAS SOUS 829038062 HAS SOUPS 829004689 WITH SCORE 8.29968086797E8
AT ITER 845 NEW BEST:: SOT 1393927157 SOS 963433094 HAS SOPS 962545492 HAS SOUS 829036381 HAS SOUPS 829003008 WITH SCORE 8.29966441094E8
AT ITER 850 NEW BEST:: SOT 1393943303 SOS 963437316 HAS SOPS 962549714 HAS SOUS 829028685 HAS SOUPS 828995312 WITH SCORE 8.29958749316E8
AT ITER 888 NEW BEST:: SOT 1393963966 SOS 963446310 HAS SOPS 962558708 HAS SOUS 829017019 HAS SOUPS 828983646 WITH SCORE 8.2994709231E8
AT ITER 907 NEW BEST:: SOT 1393983283 SOS 963446308 HAS SOPS 962558706 HAS SOUS 828997701 HAS SOUPS 828964328 WITH SCORE 8.29927774308E8
AT ITER 913 NEW BEST:: SOT 1394000822 SOS 963452148 HAS SOPS 962564546 HAS SOUS 828986004 HAS SOUPS 828952631 WITH SCORE 8.29916083148E8
AT ITER 915 NEW BEST:: SOT 1394040681 SOS 963457296 HAS SOPS 962569694 HAS SOUS 828955929 HAS SOUPS 828922556 WITH SCORE 8.29886013296E8
AT ITER 1002 NEW BEST:: SOT 1394077554 SOS 963460620 HAS SOPS 962573018 HAS SOUS 828924062 HAS SOUPS 828890689 WITH SCORE 8.2985414962E8
AT ITER 1020 NEW BEST:: SOT 1394147188 SOS 963490857 HAS SOPS 962603255 HAS SOUS 828914905 HAS SOUPS 828881532 WITH SCORE 8.29845022857E8
AT ITER 1048 NEW BEST:: SOT 1394152631 SOS 963490855 HAS SOPS 962603253 HAS SOUS 828909461 HAS SOUPS 828876088 WITH SCORE 8.29839578855E8
AT ITER 1115 NEW BEST:: SOT 1394192058 SOS 963495053 HAS SOPS 962607451 HAS SOUS 828878433 HAS SOUPS 828845060 WITH SCORE 8.29808555053E8
AT ITER 1132 NEW BEST:: SOT 1394225587 SOS 963495051 HAS SOPS 962607449 HAS SOUS 828844903 HAS SOUPS 828811530 WITH SCORE 8.29775025051E8
AT ITER 1385 NEW BEST:: SOT 1394245466 SOS 963503259 HAS SOPS 962615657 HAS SOUS 828841443 HAS SOUPS 828808070 WITH SCORE 8.29771573259E8
AT ITER 1461 NEW BEST:: SOT 1394282891 SOS 963505457 HAS SOPS 962617855 HAS SOUS 828808417 HAS SOUPS 828775044 WITH SCORE 8.29738549457E8
AT ITER 1465 NEW BEST:: SOT 1394307418 SOS 963505455 HAS SOPS 962617853 HAS SOUS 828783889 HAS SOUPS 828750516 WITH SCORE 8.29714021455E8
AT ITER 1485 NEW BEST:: SOT 1394360426 SOS 963510944 HAS SOPS 962623342 HAS SOUS 828741862 HAS SOUPS 828708489 WITH SCORE 8.29671999944E8
AT ITER 1535 NEW BEST:: SOT 1394376555 SOS 963515192 HAS SOPS 962627590 HAS SOUS 828729983 HAS SOUPS 828696610 WITH SCORE 8.29660125192E8
AT ITER 1587 NEW BEST:: SOT 1394443375 SOS 963546783 HAS SOPS 962659181 HAS SOUS 828726348 HAS SOUPS 828692975 WITH SCORE 8.29656521783E8
AT ITER 1597 NEW BEST:: SOT 1394465030 SOS 963546781 HAS SOPS 962659179 HAS SOUS 828704692 HAS SOUPS 828671319 WITH SCORE 8.29634865781E8
AT ITER 1625 NEW BEST:: SOT 1394512727 SOS 963563511 HAS SOPS 962675909 HAS SOUS 828690279 HAS SOUPS 828656906 WITH SCORE 8.29620469511E8
AT ITER 1699 NEW BEST:: SOT 1394535182 SOS 963570657 HAS SOPS 962683055 HAS SOUS 828674972 HAS SOUPS 828641599 WITH SCORE 8.29605169657E8
AT ITER 1719 NEW BEST:: SOT 1394567872 SOS 963573627 HAS SOPS 962686025 HAS SOUS 828646671 HAS SOUPS 828613298 WITH SCORE 8.29576871627E8
AT ITER 1920 NEW BEST:: SOT 1394606495 SOS 963577021 HAS SOPS 962689419 HAS SOUS 828614839 HAS SOUPS 828581466 WITH SCORE 8.29545043021E8
AT ITER 1955 NEW BEST:: SOT 1394636996 SOS 963577019 HAS SOPS 962689417 HAS SOUS 828584337 HAS SOUPS 828550964 WITH SCORE 8.29514541019E8
AT ITER 1966 NEW BEST:: SOT 1394676167 SOS 963577017 HAS SOPS 962689415 HAS SOUS 828545165 HAS SOUPS 828511792 WITH SCORE 8.29475369017E8
AT ITER 1973 NEW BEST:: SOT 1394692030 SOS 963581081 HAS SOPS 962693479 HAS SOUS 828533368 HAS SOUPS 828499995 WITH SCORE 8.29463576081E8
AT ITER 2004 NEW BEST:: SOT 1394720337 SOS 963594253 HAS SOPS 962706651 HAS SOUS 828518236 HAS SOUPS 828484863 WITH SCORE 8.29448457253E8
AT ITER 2012 NEW BEST:: SOT 1394756686 SOS 963594251 HAS SOPS 962706649 HAS SOUS 828481886 HAS SOUPS 828448513 WITH SCORE 8.29412107251E8
AT ITER 2064 NEW BEST:: SOT 1394798713 SOS 963603591 HAS SOPS 962715989 HAS SOUS 828451879 HAS SOUPS 828418506 WITH SCORE 8.29382109591E8
AT ITER 2072 NEW BEST:: SOT 1394813748 SOS 963606901 HAS SOPS 962719299 HAS SOUS 828443467 HAS SOUPS 828410094 WITH SCORE 8.29373700901E8
AT ITER 2140 NEW BEST:: SOT 1394833745 SOS 963606899 HAS SOPS 962719297 HAS SOUS 828423469 HAS SOUPS 828390096 WITH SCORE 8.29353702899E8
AT ITER 2185 NEW BEST:: SOT 1394852514 SOS 963613709 HAS SOPS 962726107 HAS SOUS 828418323 HAS SOUPS 828384950 WITH SCORE 8.29348563709E8
AT ITER 2224 NEW BEST:: SOT 1394870393 SOS 963619933 HAS SOPS 962732331 HAS SOUS 828406670 HAS SOUPS 828373297 WITH SCORE 8.29336916933E8
AT ITER 2359 NEW BEST:: SOT 1394896628 SOS 963619931 HAS SOPS 962732329 HAS SOUS 828380434 HAS SOUPS 828347061 WITH SCORE 8.29310680931E8
AT ITER 2366 NEW BEST:: SOT 1394908002 SOS 963619927 HAS SOPS 962732325 HAS SOUS 828369058 HAS SOUPS 828335685 WITH SCORE 8.29299304927E8
AT ITER 2422 NEW BEST:: SOT 1394957072 SOS 963633802 HAS SOPS 962746200 HAS SOUS 828347741 HAS SOUPS 828314368 WITH SCORE 8.29278001802E8
AT ITER 2643 NEW BEST:: SOT 1394979409 SOS 963640982 HAS SOPS 962753380 HAS SOUS 828339767 HAS SOUPS 828306394 WITH SCORE 8.29270034982E8
AT ITER 2752 NEW BEST:: SOT 1395014324 SOS 963640980 HAS SOPS 962753378 HAS SOUS 828304851 HAS SOUPS 828271478 WITH SCORE 8.2923511898E8
AT ITER 2805 NEW BEST:: SOT 1395023317 SOS 963640978 HAS SOPS 962753376 HAS SOUS 828295857 HAS SOUPS 828262484 WITH SCORE 8.29226124978E8
AT ITER 2821 NEW BEST:: SOT 1395049088 SOS 963651442 HAS SOPS 962763840 HAS SOUS 828291017 HAS SOUPS 828257644 WITH SCORE 8.29221295442E8
AT ITER 2860 NEW BEST:: SOT 1395067867 SOS 963658320 HAS SOPS 962770718 HAS SOUS 828285997 HAS SOUPS 828252624 WITH SCORE 8.2921628232E8
AT ITER 2866 NEW BEST:: SOT 1395081836 SOS 963658318 HAS SOPS 962770716 HAS SOUS 828272027 HAS SOUPS 828238654 WITH SCORE 8.29202312318E8
AT ITER 2910 NEW BEST:: SOT 1395139102 SOS 963676187 HAS SOPS 962788585 HAS SOUS 828250502 HAS SOUPS 828217129 WITH SCORE 8.29180805187E8
AT ITER 2966 NEW BEST:: SOT 1395147723 SOS 963676155 HAS SOPS 962788553 HAS SOUS 828250442 HAS SOUPS 828217069 WITH SCORE 8.29180745155E8
AT ITER 3127 NEW BEST:: SOT 1395156198 SOS 963676153 HAS SOPS 962788551 HAS SOUS 828241966 HAS SOUPS 828208593 WITH SCORE 8.29172269153E8
AT ITER 3145 NEW BEST:: SOT 1395193043 SOS 963676151 HAS SOPS 962788549 HAS SOUS 828205120 HAS SOUPS 828171747 WITH SCORE 8.29135423151E8
AT ITER 3169 NEW BEST:: SOT 1395203499 SOS 963676147 HAS SOPS 962788545 HAS SOUS 828194662 HAS SOUPS 828161289 WITH SCORE 8.29124965147E8
AT ITER 3176 NEW BEST:: SOT 1395219514 SOS 963676145 HAS SOPS 962788543 HAS SOUS 828178646 HAS SOUPS 828145273 WITH SCORE 8.29108949145E8
AT ITER 3185 NEW BEST:: SOT 1395234903 SOS 963683345 HAS SOPS 962795743 HAS SOUS 828173905 HAS SOUPS 828140532 WITH SCORE 8.29104215345E8
AT ITER 3236 NEW BEST:: SOT 1395249724 SOS 963683343 HAS SOPS 962795741 HAS SOUS 828159083 HAS SOUPS 828125710 WITH SCORE 8.29089393343E8
AT ITER 3251 NEW BEST:: SOT 1395268603 SOS 963686963 HAS SOPS 962799361 HAS SOUS 828147447 HAS SOUPS 828114074 WITH SCORE 8.29077760963E8
AT ITER 3255 NEW BEST:: SOT 1395299626 SOS 963686961 HAS SOPS 962799359 HAS SOUS 828116423 HAS SOUPS 828083050 WITH SCORE 8.29046736961E8
AT ITER 3311 NEW BEST:: SOT 1395350688 SOS 963702828 HAS SOPS 962815226 HAS SOUS 828097098 HAS SOUPS 828063725 WITH SCORE 8.29027427828E8
AT ITER 3329 NEW BEST:: SOT 1395419572 SOS 963736485 HAS SOPS 962848883 HAS SOUS 828095531 HAS SOUPS 828062158 WITH SCORE 8.29025894485E8
AT ITER 3343 NEW BEST:: SOT 1395427151 SOS 963736483 HAS SOPS 962848881 HAS SOUS 828087951 HAS SOUPS 828054578 WITH SCORE 8.29018314483E8
AT ITER 3365 NEW BEST:: SOT 1395483615 SOS 963761662 HAS SOPS 962874060 HAS SOUS 828081848 HAS SOUPS 828048475 WITH SCORE 8.29012236662E8
AT ITER 3578 NEW BEST:: SOT 1395564341 SOS 963793049 HAS SOPS 962905447 HAS SOUS 828063929 HAS SOUPS 828030556 WITH SCORE 8.28994349049E8
AT ITER 3680 NEW BEST:: SOT 1395568224 SOS 963785239 HAS SOPS 962897637 HAS SOUS 828056141 HAS SOUPS 828022768 WITH SCORE 8.28986553239E8
AT ITER 3692 NEW BEST:: SOT 1395586847 SOS 963785217 HAS SOPS 962897615 HAS SOUS 828037507 HAS SOUPS 828004134 WITH SCORE 8.28967919217E8
AT ITER 3708 NEW BEST:: SOT 1395609190 SOS 963795587 HAS SOPS 962907985 HAS SOUS 828035907 HAS SOUPS 828002534 WITH SCORE 8.28966329587E8
AT ITER 3741 NEW BEST:: SOT 1395629171 SOS 963803951 HAS SOPS 962916349 HAS SOUS 828024292 HAS SOUPS 827990919 WITH SCORE 8.28954722951E8
AT ITER 3776 NEW BEST:: SOT 1395681221 SOS 963816642 HAS SOPS 962929040 HAS SOUS 827997627 HAS SOUPS 827964254 WITH SCORE 8.28928070642E8
AT ITER 3783 NEW BEST:: SOT 1395681221 SOS 963800730 HAS SOPS 962918364 HAS SOUS 827992253 HAS SOUPS 827958880 WITH SCORE 8.2892268073E8
AT ITER 3908 NEW BEST:: SOT 1395708078 SOS 963800728 HAS SOPS 962918362 HAS SOUS 827965395 HAS SOUPS 827932022 WITH SCORE 8.28895822728E8
AT ITER 3999 NEW BEST:: SOT 1395729237 SOS 963810102 HAS SOPS 962927736 HAS SOUS 827953612 HAS SOUPS 827920239 WITH SCORE 8.28884049102E8
AT ITER 4023 NEW BEST:: SOT 1395748788 SOS 963810100 HAS SOPS 962927734 HAS SOUS 827934060 HAS SOUPS 827900687 WITH SCORE 8.288644971E8
AT ITER 4033 NEW BEST:: SOT 1395755015 SOS 963816327 HAS SOPS 962933961 HAS SOUS 827931246 HAS SOUPS 827897873 WITH SCORE 8.28861689327E8
AT ITER 4077 NEW BEST:: SOT 1395766576 SOS 963816325 HAS SOPS 962933959 HAS SOUS 827919684 HAS SOUPS 827886311 WITH SCORE 8.28850127325E8
AT ITER 4131 NEW BEST:: SOT 1395794665 SOS 963816323 HAS SOPS 962933957 HAS SOUS 827891594 HAS SOUPS 827858221 WITH SCORE 8.28822037323E8
AT ITER 4225 NEW BEST:: SOT 1395860957 SOS 963847386 HAS SOPS 962965020 HAS SOUS 827887431 HAS SOUPS 827854058 WITH SCORE 8.28817905386E8
AT ITER 4312 NEW BEST:: SOT 1395885690 SOS 963847384 HAS SOPS 962965018 HAS SOUS 827862697 HAS SOUPS 827829324 WITH SCORE 8.28793171384E8
AT ITER 4430 NEW BEST:: SOT 1395895025 SOS 963847382 HAS SOPS 962965016 HAS SOUS 827853361 HAS SOUPS 827819988 WITH SCORE 8.28783835382E8
AT ITER 4469 NEW BEST:: SOT 1395930826 SOS 963848528 HAS SOPS 962966162 HAS SOUS 827819282 HAS SOUPS 827785909 WITH SCORE 8.28749757528E8
AT ITER 4499 NEW BEST:: SOT 1395944709 SOS 963848526 HAS SOPS 962966160 HAS SOUS 827805398 HAS SOUPS 827772025 WITH SCORE 8.28735873526E8
AT ITER 4500 NEW BEST:: SOT 1395954381 SOS 963836800 HAS SOPS 962954434 HAS SOUS 827793673 HAS SOUPS 827760300 WITH SCORE 8.287241368E8
AT ITER 4507 NEW BEST:: SOT 1395979172 SOS 963836798 HAS SOPS 962954432 HAS SOUS 827768881 HAS SOUPS 827735508 WITH SCORE 8.28699344798E8
AT ITER 4522 NEW BEST:: SOT 1396008441 SOS 963836796 HAS SOPS 962954430 HAS SOUS 827739611 HAS SOUPS 827706238 WITH SCORE 8.28670074796E8
AT ITER 4560 NEW BEST:: SOT 1396067811 SOS 963860801 HAS SOPS 962978435 HAS SOUS 827728254 HAS SOUPS 827694881 WITH SCORE 8.28658741801E8
AT ITER 4593 NEW BEST:: SOT 1396087353 SOS 963868717 HAS SOPS 962986351 HAS SOUS 827724550 HAS SOUPS 827691177 WITH SCORE 8.28655045717E8
AT ITER 4602 NEW BEST:: SOT 1396107532 SOS 963876943 HAS SOPS 962994577 HAS SOUS 827712599 HAS SOUPS 827679226 WITH SCORE 8.28643102943E8
AT ITER 4605 NEW BEST:: SOT 1396149217 SOS 963887479 HAS SOPS 963005113 HAS SOUS 827691989 HAS SOUPS 827658616 WITH SCORE 8.28622503479E8
AT ITER 4665 NEW BEST:: SOT 1396176328 SOS 963887477 HAS SOPS 963005111 HAS SOUS 827664877 HAS SOUPS 827631504 WITH SCORE 8.28595391477E8
AT ITER 4686 NEW BEST:: SOT 1396188229 SOS 963887711 HAS SOPS 963005345 HAS SOUS 827653324 HAS SOUPS 827619951 WITH SCORE 8.28583838711E8
AT ITER 4780 NEW BEST:: SOT 1396246131 SOS 963906268 HAS SOPS 963023902 HAS SOUS 827632539 HAS SOUPS 827599166 WITH SCORE 8.28563072268E8
AT ITER 4803 NEW BEST:: SOT 1396293747 SOS 963918655 HAS SOPS 963036289 HAS SOUS 827609700 HAS SOUPS 827576327 WITH SCORE 8.28540245655E8
AT ITER 4830 NEW BEST:: SOT 1396303968 SOS 963918653 HAS SOPS 963036287 HAS SOUS 827599478 HAS SOUPS 827566105 WITH SCORE 8.28530023653E8
AT ITER 4852 NEW BEST:: SOT 1396328103 SOS 963927659 HAS SOPS 963045293 HAS SOUS 827584351 HAS SOUPS 827550978 WITH SCORE 8.28514905659E8
AT ITER 4920 NEW BEST:: SOT 1396363652 SOS 963928369 HAS SOPS 963046003 HAS SOUS 827549870 HAS SOUPS 827516497 WITH SCORE 8.28480425369E8
AT ITER 4922 NEW BEST:: SOT 1396405711 SOS 963937779 HAS SOPS 963055413 HAS SOUS 827519937 HAS SOUPS 827486564 WITH SCORE 8.28450501779E8
AT ITER 4952 NEW BEST:: SOT 1396432000 SOS 963937777 HAS SOPS 963055411 HAS SOUS 827493647 HAS SOUPS 827460274 WITH SCORE 8.28424211777E8
AT ITER 4975 NEW BEST:: SOT 1396481018 SOS 963951430 HAS SOPS 963069064 HAS SOUS 827471938 HAS SOUPS 827438565 WITH SCORE 8.2840251643E8
AT ITER 5017 NEW BEST:: SOT 1396496597 SOS 963951428 HAS SOPS 963069062 HAS SOUS 827456358 HAS SOUPS 827422985 WITH SCORE 8.28386936428E8
AT ITER 5052 NEW BEST:: SOT 1396514152 SOS 963951426 HAS SOPS 963069060 HAS SOUS 827438802 HAS SOUPS 827405429 WITH SCORE 8.28369380426E8
AT ITER 5063 NEW BEST:: SOT 1396536945 SOS 963958996 HAS SOPS 963076630 HAS SOUS 827423581 HAS SOUPS 827390208 WITH SCORE 8.28354166996E8
AT ITER 5111 NEW BEST:: SOT 1396549804 SOS 963958994 HAS SOPS 963076628 HAS SOUS 827410721 HAS SOUPS 827377348 WITH SCORE 8.28341306994E8
AT ITER 5196 NEW BEST:: SOT 1396590771 SOS 963968818 HAS SOPS 963086452 HAS SOUS 827389405 HAS SOUPS 827356032 WITH SCORE 8.28320000818E8
AT ITER 5200 NEW BEST:: SOT 1396608852 SOS 963975028 HAS SOPS 963092662 HAS SOUS 827377536 HAS SOUPS 827344163 WITH SCORE 8.28308138028E8
AT ITER 5216 NEW BEST:: SOT 1396612901 SOS 963977051 HAS SOPS 963094685 HAS SOUS 827375511 HAS SOUPS 827342138 WITH SCORE 8.28306115051E8
AT ITER 5262 NEW BEST:: SOT 1396649493 SOS 963978280 HAS SOPS 963095914 HAS SOUS 827341380 HAS SOUPS 827308007 WITH SCORE 8.2827198528E8
AT ITER 5265 NEW BEST:: SOT 1396697657 SOS 963991249 HAS SOPS 963108883 HAS SOUS 827319157 HAS SOUPS 827285784 WITH SCORE 8.28249775249E8
AT ITER 5267 NEW BEST:: SOT 1396738318 SOS 963997997 HAS SOPS 963115631 HAS SOUS 827290680 HAS SOUPS 827257307 WITH SCORE 8.28221304997E8
AT ITER 5275 NEW BEST:: SOT 1396758531 SOS 963997995 HAS SOPS 963115629 HAS SOUS 827270466 HAS SOUPS 827237093 WITH SCORE 8.28201090995E8
AT ITER 5308 NEW BEST:: SOT 1396762315 SOS 964001778 HAS SOPS 963119412 HAS SOUS 827270120 HAS SOUPS 827236747 WITH SCORE 8.28200748778E8
AT ITER 5323 NEW BEST:: SOT 1396804804 SOS 964012174 HAS SOPS 963129808 HAS SOUS 827245291 HAS SOUPS 827211918 WITH SCORE 8.28175930174E8
AT ITER 5353 NEW BEST:: SOT 1396844167 SOS 964012172 HAS SOPS 963129806 HAS SOUS 827205927 HAS SOUPS 827172554 WITH SCORE 8.28136566172E8
AT ITER 5426 NEW BEST:: SOT 1396874182 SOS 964012170 HAS SOPS 963129804 HAS SOUS 827175911 HAS SOUPS 827142538 WITH SCORE 8.2810655017E8
AT ITER 5502 NEW BEST:: SOT 1396916671 SOS 964022562 HAS SOPS 963140196 HAS SOUS 827151078 HAS SOUPS 827117705 WITH SCORE 8.28081727562E8
AT ITER 5531 NEW BEST:: SOT 1396990839 SOS 964057385 HAS SOPS 963175019 HAS SOUS 827146559 HAS SOUPS 827113186 WITH SCORE 8.28077243385E8
AT ITER 5649 NEW BEST:: SOT 1397004615 SOS 964059429 HAS SOPS 963177063 HAS SOUS 827136877 HAS SOUPS 827103504 WITH SCORE 8.28067563429E8
AT ITER 5687 NEW BEST:: SOT 1397037192 SOS 964059427 HAS SOPS 963177061 HAS SOUS 827104299 HAS SOUPS 827070926 WITH SCORE 8.28034985427E8
AT ITER 5707 NEW BEST:: SOT 1397067487 SOS 964074595 HAS SOPS 963192229 HAS SOUS 827089174 HAS SOUPS 827055801 WITH SCORE 8.28019875595E8
AT ITER 5733 NEW BEST:: SOT 1397121405 SOS 964097372 HAS SOPS 963215006 HAS SOUS 827080813 HAS SOUPS 827047440 WITH SCORE 8.28011537372E8
AT ITER 5763 NEW BEST:: SOT 1397152250 SOS 964097370 HAS SOPS 963215004 HAS SOUS 827049967 HAS SOUPS 827016594 WITH SCORE 8.2798069137E8
AT ITER 5809 NEW BEST:: SOT 1397192333 SOS 964111100 HAS SOPS 963228734 HAS SOUS 827032490 HAS SOUPS 826999117 WITH SCORE 8.279632281E8
AT ITER 5820 NEW BEST:: SOT 1397216606 SOS 964120238 HAS SOPS 963237872 HAS SOUS 827017357 HAS SOUPS 826983984 WITH SCORE 8.27948104238E8
AT ITER 5846 NEW BEST:: SOT 1397223797 SOS 964120236 HAS SOPS 963237870 HAS SOUS 827010165 HAS SOUPS 826976792 WITH SCORE 8.27940912236E8
AT ITER 5866 NEW BEST:: SOT 1397266930 SOS 964131874 HAS SOPS 963249508 HAS SOUS 826986578 HAS SOUPS 826953205 WITH SCORE 8.27917336874E8
AT ITER 5905 NEW BEST:: SOT 1397287839 SOS 964131852 HAS SOPS 963249486 HAS SOUS 826965658 HAS SOUPS 826932285 WITH SCORE 8.27896416852E8
AT ITER 6063 NEW BEST:: SOT 1397296590 SOS 964131850 HAS SOPS 963249484 HAS SOUS 826956906 HAS SOUPS 826923533 WITH SCORE 8.2788766485E8
AT ITER 6106 NEW BEST:: SOT 1397300809 SOS 964131848 HAS SOPS 963249482 HAS SOUS 826952686 HAS SOUPS 826919313 WITH SCORE 8.27883444848E8
AT ITER 6210 NEW BEST:: SOT 1397352275 SOS 964148085 HAS SOPS 963265719 HAS SOUS 826933697 HAS SOUPS 826900324 WITH SCORE 8.27864472085E8
AT ITER 6324 NEW BEST:: SOT 1397438329 SOS 964186620 HAS SOPS 963304254 HAS SOUS 826924716 HAS SOUPS 826891343 WITH SCORE 8.2785552962E8
AT ITER 6391 NEW BEST:: SOT 1397447893 SOS 964171314 HAS SOPS 963288948 HAS SOUS 826909411 HAS SOUPS 826876038 WITH SCORE 8.27840209314E8
AT ITER 6404 NEW BEST:: SOT 1397457194 SOS 964171312 HAS SOPS 963288946 HAS SOUS 826900109 HAS SOUPS 826866736 WITH SCORE 8.27830907312E8
AT ITER 6472 NEW BEST:: SOT 1397490351 SOS 964173218 HAS SOPS 963290852 HAS SOUS 826870767 HAS SOUPS 826837394 WITH SCORE 8.27801567218E8
AT ITER 6499 NEW BEST:: SOT 1397521928 SOS 964173216 HAS SOPS 963290850 HAS SOUS 826839189 HAS SOUPS 826805816 WITH SCORE 8.27769989216E8
AT ITER 6567 NEW BEST:: SOT 1397549049 SOS 964185202 HAS SOPS 963302836 HAS SOUS 826824056 HAS SOUPS 826790683 WITH SCORE 8.27754868202E8
AT ITER 6630 NEW BEST:: SOT 1397568620 SOS 964189512 HAS SOPS 963307146 HAS SOUS 826808807 HAS SOUPS 826775434 WITH SCORE 8.27739623512E8
AT ITER 6685 NEW BEST:: SOT 1397591771 SOS 964189510 HAS SOPS 963307144 HAS SOUS 826785655 HAS SOUPS 826752282 WITH SCORE 8.2771647151E8
AT ITER 6713 NEW BEST:: SOT 1397668103 SOS 964226483 HAS SOPS 963344117 HAS SOUS 826783272 HAS SOUPS 826749899 WITH SCORE 8.27714125483E8
AT ITER 6737 NEW BEST:: SOT 1397684251 SOS 964230955 HAS SOPS 963348589 HAS SOUS 826776074 HAS SOUPS 826742701 WITH SCORE 8.27706931955E8
AT ITER 6741 NEW BEST:: SOT 1397724929 SOS 964234722 HAS SOPS 963352356 HAS SOUS 826742963 HAS SOUPS 826709590 WITH SCORE 8.27673824722E8
AT ITER 6751 NEW BEST:: SOT 1397734964 SOS 964234720 HAS SOPS 963352354 HAS SOUS 826732927 HAS SOUPS 826699554 WITH SCORE 8.2766378872E8
AT ITER 6773 NEW BEST:: SOT 1397749462 SOS 964234716 HAS SOPS 963352350 HAS SOUS 826718427 HAS SOUPS 826685054 WITH SCORE 8.27649288716E8
AT ITER 6800 NEW BEST:: SOT 1397763951 SOS 964234714 HAS SOPS 963352348 HAS SOUS 826703937 HAS SOUPS 826670564 WITH SCORE 8.27634798714E8
AT ITER 6875 NEW BEST:: SOT 1397802170 SOS 964237704 HAS SOPS 963355338 HAS SOUS 826671701 HAS SOUPS 826638328 WITH SCORE 8.27602565704E8
AT ITER 6897 NEW BEST:: SOT 1397869474 SOS 964269781 HAS SOPS 963387415 HAS SOUS 826668554 HAS SOUPS 826635181 WITH SCORE 8.27599450781E8
AT ITER 6923 NEW BEST:: SOT 1397883909 SOS 964274961 HAS SOPS 963392595 HAS SOUS 826667761 HAS SOUPS 826634388 WITH SCORE 8.27598662961E8
AT ITER 6990 NEW BEST:: SOT 1397917950 SOS 964274959 HAS SOPS 963392593 HAS SOUS 826633719 HAS SOUPS 826600346 WITH SCORE 8.27564620959E8
AT ITER 7033 NEW BEST:: SOT 1397992936 SOS 964310550 HAS SOPS 963428184 HAS SOUS 826629918 HAS SOUPS 826596545 WITH SCORE 8.2756085555E8
AT ITER 7051 NEW BEST:: SOT 1398041459 SOS 964340392 HAS SOPS 963458026 HAS SOUS 826628469 HAS SOUPS 826595096 WITH SCORE 8.27559436392E8
AT ITER 7075 NEW BEST:: SOT 1398071040 SOS 964340390 HAS SOPS 963458024 HAS SOUS 826598887 HAS SOUPS 826565514 WITH SCORE 8.2752985439E8
AT ITER 7158 NEW BEST:: SOT 1398097997 SOS 964340388 HAS SOPS 963458022 HAS SOUS 826571929 HAS SOUPS 826538556 WITH SCORE 8.27502896388E8
AT ITER 7219 NEW BEST:: SOT 1398123686 SOS 964340386 HAS SOPS 963458020 HAS SOUS 826546239 HAS SOUPS 826512866 WITH SCORE 8.27477206386E8
AT ITER 7221 NEW BEST:: SOT 1398129973 SOS 964340384 HAS SOPS 963458018 HAS SOUS 826539951 HAS SOUPS 826506578 WITH SCORE 8.27470918384E8
AT ITER 7231 NEW BEST:: SOT 1398140100 SOS 964343866 HAS SOPS 963461500 HAS SOUS 826533307 HAS SOUPS 826499934 WITH SCORE 8.27464277866E8
AT ITER 7310 NEW BEST:: SOT 1398181287 SOS 964351658 HAS SOPS 963469292 HAS SOUS 826505876 HAS SOUPS 826472503 WITH SCORE 8.27436854658E8
AT ITER 7425 NEW BEST:: SOT 1398213264 SOS 964351656 HAS SOPS 963469290 HAS SOUS 826473898 HAS SOUPS 826440525 WITH SCORE 8.27404876656E8
AT ITER 7472 NEW BEST:: SOT 1398231243 SOS 964354354 HAS SOPS 963471988 HAS SOUS 826461318 HAS SOUPS 826427945 WITH SCORE 8.27392299354E8
AT ITER 7502 NEW BEST:: SOT 1398231243 SOS 964345109 HAS SOPS 963462743 HAS SOUS 826452073 HAS SOUPS 826418700 WITH SCORE 8.27383045109E8
AT ITER 7515 NEW BEST:: SOT 1398286049 SOS 964360566 HAS SOPS 963478200 HAS SOUS 826428184 HAS SOUPS 826394811 WITH SCORE 8.27359171566E8
AT ITER 7623 NEW BEST:: SOT 1398301452 SOS 964364224 HAS SOPS 963481858 HAS SOUS 826420100 HAS SOUPS 826386727 WITH SCORE 8.27351091224E8
AT ITER 7644 NEW BEST:: SOT 1398338345 SOS 964371672 HAS SOPS 963489306 HAS SOUS 826396407 HAS SOUPS 826363034 WITH SCORE 8.27327405672E8
AT ITER 7697 NEW BEST:: SOT 1398355504 SOS 964373598 HAS SOPS 963491232 HAS SOUS 826383103 HAS SOUPS 826349730 WITH SCORE 8.27314103598E8
AT ITER 7738 NEW BEST:: SOT 1398379355 SOS 964382322 HAS SOPS 963499956 HAS SOUS 826367978 HAS SOUPS 826334605 WITH SCORE 8.27298987322E8
AT ITER 7803 NEW BEST:: SOT 1398400136 SOS 964391134 HAS SOPS 963508768 HAS SOUS 826356011 HAS SOUPS 826322638 WITH SCORE 8.27287029134E8
AT ITER 7805 NEW BEST:: SOT 1398408679 SOS 964391132 HAS SOPS 963508766 HAS SOUS 826347467 HAS SOUPS 826314094 WITH SCORE 8.27278485132E8
AT ITER 7806 NEW BEST:: SOT 1398448346 SOS 964391760 HAS SOPS 963509394 HAS SOUS 826313072 HAS SOUPS 826279699 WITH SCORE 8.2724409076E8
AT ITER 7827 NEW BEST:: SOT 1398471723 SOS 964403492 HAS SOPS 963521126 HAS SOUS 826301429 HAS SOUPS 826268056 WITH SCORE 8.27232459492E8
AT ITER 7901 NEW BEST:: SOT 1398482902 SOS 964381130 HAS SOPS 963498764 HAS SOUS 826279069 HAS SOUPS 826245696 WITH SCORE 8.2721007713E8
AT ITER 7910 NEW BEST:: SOT 1398493839 SOS 964381128 HAS SOPS 963498762 HAS SOUS 826268131 HAS SOUPS 826234758 WITH SCORE 8.27199139128E8
AT ITER 7911 NEW BEST:: SOT 1398493839 SOS 964369164 HAS SOPS 963486798 HAS SOUS 826256167 HAS SOUPS 826222794 WITH SCORE 8.27187163164E8
AT ITER 7972 NEW BEST:: SOT 1398517742 SOS 964369162 HAS SOPS 963486796 HAS SOUS 826232263 HAS SOUPS 826198890 WITH SCORE 8.27163259162E8
AT ITER 7974 NEW BEST:: SOT 1398529903 SOS 964369504 HAS SOPS 963487138 HAS SOUS 826220456 HAS SOUPS 826187083 WITH SCORE 8.27151452504E8
AT ITER 7975 NEW BEST:: SOT 1398547052 SOS 964374724 HAS SOPS 963492358 HAS SOUS 826208529 HAS SOUPS 826175156 WITH SCORE 8.27139530724E8
AT ITER 7986 NEW BEST:: SOT 1398570383 SOS 964374722 HAS SOPS 963492356 HAS SOUS 826185197 HAS SOUPS 826151824 WITH SCORE 8.27116198722E8
AT ITER 8158 NEW BEST:: SOT 1398578278 SOS 964374720 HAS SOPS 963492354 HAS SOUS 826177301 HAS SOUPS 826143928 WITH SCORE 8.2710830272E8
AT ITER 8167 NEW BEST:: SOT 1398603094 SOS 964384268 HAS SOPS 963501902 HAS SOUS 826171587 HAS SOUPS 826138214 WITH SCORE 8.27102598268E8
AT ITER 8263 NEW BEST:: SOT 1398673812 SOS 964415635 HAS SOPS 963533269 HAS SOUS 826163606 HAS SOUPS 826130233 WITH SCORE 8.27094648635E8
AT ITER 8277 NEW BEST:: SOT 1398731896 SOS 964438524 HAS SOPS 963556158 HAS SOUS 826151303 HAS SOUPS 826117930 WITH SCORE 8.27082368524E8
AT ITER 8555 NEW BEST:: SOT 1398770229 SOS 964410871 HAS SOPS 963528505 HAS SOUS 826123651 HAS SOUPS 826090278 WITH SCORE 8.27054688871E8
AT ITER 8594 NEW BEST:: SOT 1398784854 SOS 964410869 HAS SOPS 963528503 HAS SOUS 826109025 HAS SOUPS 826075652 WITH SCORE 8.27040062869E8
AT ITER 8627 NEW BEST:: SOT 1398798965 SOS 964410867 HAS SOPS 963528501 HAS SOUS 826094913 HAS SOUPS 826061540 WITH SCORE 8.27025950867E8
AT ITER 8735 NEW BEST:: SOT 1398814940 SOS 964411655 HAS SOPS 963529289 HAS SOUS 826079738 HAS SOUPS 826046365 WITH SCORE 8.27010776655E8
AT ITER 8744 NEW BEST:: SOT 1398872104 SOS 964437552 HAS SOPS 963555186 HAS SOUS 826074371 HAS SOUPS 826040998 WITH SCORE 8.27005435552E8
AT ITER 8779 NEW BEST:: SOT 1398913945 SOS 964446658 HAS SOPS 963564292 HAS SOUS 826048252 HAS SOUPS 826014879 WITH SCORE 8.26979325658E8
AT ITER 8809 NEW BEST:: SOT 1398937646 SOS 964446656 HAS SOPS 963564290 HAS SOUS 826024550 HAS SOUPS 825991177 WITH SCORE 8.26955623656E8
AT ITER 8849 NEW BEST:: SOT 1399005864 SOS 964475525 HAS SOPS 963593159 HAS SOUS 826014073 HAS SOUPS 825980700 WITH SCORE 8.26945175525E8
AT ITER 8892 NEW BEST:: SOT 1399058618 SOS 964493050 HAS SOPS 963610684 HAS SOUS 825996372 HAS SOUPS 825962999 WITH SCORE 8.2692749205E8
AT ITER 8927 NEW BEST:: SOT 1399112400 SOS 964507481 HAS SOPS 963625115 HAS SOUS 825971455 HAS SOUPS 825938082 WITH SCORE 8.26902589481E8
AT ITER 8948 NEW BEST:: SOT 1399112400 SOS 964495547 HAS SOPS 963613181 HAS SOUS 825959521 HAS SOUPS 825926148 WITH SCORE 8.26890643547E8
AT ITER 8972 NEW BEST:: SOT 1399175604 SOS 964519916 HAS SOPS 963637550 HAS SOUS 825945088 HAS SOUPS 825911715 WITH SCORE 8.26876234916E8
AT ITER 9096 NEW BEST:: SOT 1399181595 SOS 964519894 HAS SOPS 963637528 HAS SOUS 825939086 HAS SOUPS 825905713 WITH SCORE 8.26870232894E8
AT ITER 9149 NEW BEST:: SOT 1399212900 SOS 964519892 HAS SOPS 963637526 HAS SOUS 825907780 HAS SOUPS 825874407 WITH SCORE 8.26838926892E8
AT ITER 9174 NEW BEST:: SOT 1399221133 SOS 964519890 HAS SOPS 963637524 HAS SOUS 825899546 HAS SOUPS 825866173 WITH SCORE 8.2683069289E8
AT ITER 9187 NEW BEST:: SOT 1399264750 SOS 964536642 HAS SOPS 963654276 HAS SOUS 825885163 HAS SOUPS 825851790 WITH SCORE 8.26816326642E8
AT ITER 9188 NEW BEST:: SOT 1399305811 SOS 964544190 HAS SOPS 963661824 HAS SOUS 825857486 HAS SOUPS 825824113 WITH SCORE 8.2678865719E8
AT ITER 9249 NEW BEST:: SOT 1399317832 SOS 964544188 HAS SOPS 963661822 HAS SOUS 825845464 HAS SOUPS 825812091 WITH SCORE 8.26776635188E8
AT ITER 9294 NEW BEST:: SOT 1399325645 SOS 964544186 HAS SOPS 963661820 HAS SOUS 825837650 HAS SOUPS 825804277 WITH SCORE 8.26768821186E8
AT ITER 9312 NEW BEST:: SOT 1399355010 SOS 964558346 HAS SOPS 963675980 HAS SOUS 825836608 HAS SOUPS 825803235 WITH SCORE 8.26767793346E8
AT ITER 9368 NEW BEST:: SOT 1399372981 SOS 964564336 HAS SOPS 963681970 HAS SOUS 825824629 HAS SOUPS 825791256 WITH SCORE 8.26755820336E8
AT ITER 9390 NEW BEST:: SOT 1399403350 SOS 964579464 HAS SOPS 963697098 HAS SOUS 825824519 HAS SOUPS 825791146 WITH SCORE 8.26755725464E8
AT ITER 9423 NEW BEST:: SOT 1399410849 SOS 964579462 HAS SOPS 963697096 HAS SOUS 825817019 HAS SOUPS 825783646 WITH SCORE 8.26748225462E8
AT ITER 9438 NEW BEST:: SOT 1399417546 SOS 964579460 HAS SOPS 963697094 HAS SOUS 825810321 HAS SOUPS 825776948 WITH SCORE 8.2674152746E8
AT ITER 9483 NEW BEST:: SOT 1399447002 SOS 964593742 HAS SOPS 963711376 HAS SOUS 825809435 HAS SOUPS 825776062 WITH SCORE 8.26740655742E8
AT ITER 9499 NEW BEST:: SOT 1399466951 SOS 964601968 HAS SOPS 963719602 HAS SOUS 825797714 HAS SOUPS 825764341 WITH SCORE 8.26728942968E8
AT ITER 9545 NEW BEST:: SOT 1399492438 SOS 964601966 HAS SOPS 963719600 HAS SOUS 825772226 HAS SOUPS 825738853 WITH SCORE 8.26703454966E8
AT ITER 9548 NEW BEST:: SOT 1399516597 SOS 964610942 HAS SOPS 963728576 HAS SOUS 825757045 HAS SOUPS 825723672 WITH SCORE 8.26688282942E8
AT ITER 9608 NEW BEST:: SOT 1399522409 SOS 964610938 HAS SOPS 963728572 HAS SOUS 825751231 HAS SOUPS 825717858 WITH SCORE 8.26682468938E8
AT ITER 9646 NEW BEST:: SOT 1399545812 SOS 964610936 HAS SOPS 963728570 HAS SOUS 825727827 HAS SOUPS 825694454 WITH SCORE 8.26659064936E8
AT ITER 9670 NEW BEST:: SOT 1399586389 SOS 964620370 HAS SOPS 963738004 HAS SOUS 825706121 HAS SOUPS 825672748 WITH SCORE 8.2663736837E8
AT ITER 9684 NEW BEST:: SOT 1399607354 SOS 964629382 HAS SOPS 963747016 HAS SOUS 825694171 HAS SOUPS 825660798 WITH SCORE 8.26625427382E8
AT ITER 9686 NEW BEST:: SOT 1399630615 SOS 964640672 HAS SOPS 963758306 HAS SOUS 825693493 HAS SOUPS 825660120 WITH SCORE 8.26624760672E8
AT ITER 9839 NEW BEST:: SOT 1399655974 SOS 964640670 HAS SOPS 963758304 HAS SOUS 825668133 HAS SOUPS 825634760 WITH SCORE 8.2659940067E8
AT ITER 9841 NEW BEST:: SOT 1399682241 SOS 964651766 HAS SOPS 963769400 HAS SOUS 825652964 HAS SOUPS 825619591 WITH SCORE 8.26584242766E8
AT ITER 9891 NEW BEST:: SOT 1399687694 SOS 964651764 HAS SOPS 963769398 HAS SOUS 825647510 HAS SOUPS 825614137 WITH SCORE 8.26578788764E8
AT ITER 9945 NEW BEST:: SOT 1399701869 SOS 964651762 HAS SOPS 963769396 HAS SOUS 825633334 HAS SOUPS 825599961 WITH SCORE 8.26564612762E8
AT ITER 9960 NEW BEST:: SOT 1399735100 SOS 964653738 HAS SOPS 963771372 HAS SOUS 825604058 HAS SOUPS 825570685 WITH SCORE 8.26535338738E8
AT ITER 9971 NEW BEST:: SOT 1399735925 SOS 964654497 HAS SOPS 963772131 HAS SOUS 825603993 HAS SOUPS 825570620 WITH SCORE 8.26535274497E8
AT ITER 9975 NEW BEST:: SOT 1399743618 SOS 964654495 HAS SOPS 963772129 HAS SOUS 825596299 HAS SOUPS 825562926 WITH SCORE 8.26527580495E8
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 15556784 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16007640 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="VehicularWifi-COL-none"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is VehicularWifi-COL-none, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912711501240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/VehicularWifi-COL-none.tgz
mv VehicularWifi-COL-none 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 ;