Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502400148.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RERS17pb115-PT-1, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502400148
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 4.3K Apr 12 07:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 12 07:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 11 08:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 10 14:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 10 14:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 9 20:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 20:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 69M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-00
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-01
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-02
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-03
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-04
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-05
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-06
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-07
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-08
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-09
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-10
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-11
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-12
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-13
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-14
FORMULA_NAME RERS17pb115-PT-1-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589744719969

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 1
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123446583 SOS 80238157 HAS SOPS 65217586 HAS SOUS 24077925 HAS SOUPS 23505151 WITH SCORE 2.3585389157E7
AT ITER 8 NEW BEST:: SOT 123446545 SOS 80237511 HAS SOPS 65216309 HAS SOUS 24074852 HAS SOUPS 23502078 WITH SCORE 2.3582315511E7
AT ITER 10 NEW BEST:: SOT 123443419 SOS 80233965 HAS SOPS 65210995 HAS SOUS 24067990 HAS SOUPS 23495216 WITH SCORE 2.3575449965E7
AT ITER 14 NEW BEST:: SOT 123428664 SOS 80210774 HAS SOPS 65193663 HAS SOUS 24051421 HAS SOUPS 23478647 WITH SCORE 2.3558857774E7
AT ITER 19 NEW BEST:: SOT 123445063 SOS 80232561 HAS SOPS 65212421 HAS SOUS 24038526 HAS SOUPS 23465803 WITH SCORE 2.3546035561E7
AT ITER 29 NEW BEST:: SOT 123444451 SOS 80235203 HAS SOPS 65226340 HAS SOUS 24025377 HAS SOUPS 23452654 WITH SCORE 2.3532889203E7
AT ITER 33 NEW BEST:: SOT 123444451 SOS 80235215 HAS SOPS 65226472 HAS SOUS 24025375 HAS SOUPS 23452652 WITH SCORE 2.3532887215E7
AT ITER 43 NEW BEST:: SOT 123292008 SOS 80043127 HAS SOPS 65057818 HAS SOUS 23761203 HAS SOUPS 23188986 WITH SCORE 2.3269029127E7
AT ITER 49 NEW BEST:: SOT 123285536 SOS 80044863 HAS SOPS 65059856 HAS SOUS 23744374 HAS SOUPS 23172157 WITH SCORE 2.3252201863E7
AT ITER 54 NEW BEST:: SOT 123282749 SOS 80040851 HAS SOPS 65051173 HAS SOUS 23718811 HAS SOUPS 23146767 WITH SCORE 2.3226807851E7
AT ITER 59 NEW BEST:: SOT 123279359 SOS 80046837 HAS SOPS 65085107 HAS SOUS 23712037 HAS SOUPS 23139993 WITH SCORE 2.3220039837E7
AT ITER 65 NEW BEST:: SOT 123280074 SOS 80048490 HAS SOPS 65086215 HAS SOUS 23711952 HAS SOUPS 23139908 WITH SCORE 2.321995649E7
AT ITER 76 NEW BEST:: SOT 123262522 SOS 80019484 HAS SOPS 65068744 HAS SOUS 23703228 HAS SOUPS 23128416 WITH SCORE 2.3208435484E7
AT ITER 80 NEW BEST:: SOT 123366119 SOS 80220888 HAS SOPS 65254458 HAS SOUS 23691006 HAS SOUPS 23115017 WITH SCORE 2.3195237888E7
AT ITER 84 NEW BEST:: SOT 123353537 SOS 80208305 HAS SOPS 65241620 HAS SOUS 23676952 HAS SOUPS 23100963 WITH SCORE 2.3181171305E7
AT ITER 86 NEW BEST:: SOT 123351546 SOS 80203218 HAS SOPS 65238399 HAS SOUS 23673596 HAS SOUPS 23097607 WITH SCORE 2.3177810218E7
AT ITER 90 NEW BEST:: SOT 123380001 SOS 80298649 HAS SOPS 65311823 HAS SOUS 23653341 HAS SOUPS 23077352 WITH SCORE 2.3157650649E7
AT ITER 100 NEW BEST:: SOT 123379495 SOS 80297878 HAS SOPS 65310766 HAS SOUS 23651678 HAS SOUPS 23075700 WITH SCORE 2.3155997878E7
AT ITER 117 NEW BEST:: SOT 123376521 SOS 80295237 HAS SOPS 65309541 HAS SOUS 23645027 HAS SOUPS 23069089 WITH SCORE 2.3149384237E7
AT ITER 125 NEW BEST:: SOT 123300995 SOS 80216473 HAS SOPS 65229390 HAS SOUS 23560012 HAS SOUPS 22984138 WITH SCORE 2.3064354473E7
AT ITER 144 NEW BEST:: SOT 123287156 SOS 80199610 HAS SOPS 65214975 HAS SOUS 23536087 HAS SOUPS 22960213 WITH SCORE 2.304041261E7
AT ITER 156 NEW BEST:: SOT 123296847 SOS 80225261 HAS SOPS 65237654 HAS SOUS 23531047 HAS SOUPS 22955173 WITH SCORE 2.3035398261E7
AT ITER 160 NEW BEST:: SOT 123298019 SOS 80242052 HAS SOPS 65253371 HAS SOUS 23502720 HAS SOUPS 22926846 WITH SCORE 2.3007088052E7
AT ITER 163 NEW BEST:: SOT 123282193 SOS 80229406 HAS SOPS 65235851 HAS SOUS 23469425 HAS SOUPS 22893551 WITH SCORE 2.2973780406E7
AT ITER 166 NEW BEST:: SOT 123281502 SOS 80228999 HAS SOPS 65235437 HAS SOUS 23467741 HAS SOUPS 22891867 WITH SCORE 2.2972095999E7
AT ITER 173 NEW BEST:: SOT 123363056 SOS 80387034 HAS SOPS 65375179 HAS SOUS 23417158 HAS SOUPS 22840004 WITH SCORE 2.2920391034E7
AT ITER 179 NEW BEST:: SOT 123363089 SOS 80386400 HAS SOPS 65374604 HAS SOUS 23415168 HAS SOUPS 22838050 WITH SCORE 2.29184364E7
AT ITER 183 NEW BEST:: SOT 123357509 SOS 80372948 HAS SOPS 65369952 HAS SOUS 23410789 HAS SOUPS 22833797 WITH SCORE 2.2914169948E7
AT ITER 187 NEW BEST:: SOT 123347494 SOS 80351880 HAS SOPS 65350946 HAS SOUS 23403407 HAS SOUPS 22826415 WITH SCORE 2.290676688E7
AT ITER 195 NEW BEST:: SOT 123343938 SOS 80347823 HAS SOPS 65345787 HAS SOUS 23396769 HAS SOUPS 22819803 WITH SCORE 2.2900150823E7
AT ITER 209 NEW BEST:: SOT 123343260 SOS 80338753 HAS SOPS 65337864 HAS SOUS 23393321 HAS SOUPS 22816355 WITH SCORE 2.2896693753E7
AT ITER 216 NEW BEST:: SOT 123340442 SOS 80335821 HAS SOPS 65333421 HAS SOUS 23389151 HAS SOUPS 22812136 WITH SCORE 2.2892471821E7
AT ITER 224 NEW BEST:: SOT 123325017 SOS 80319447 HAS SOPS 65315266 HAS SOUS 23365425 HAS SOUPS 22788410 WITH SCORE 2.2868729447E7
AT ITER 240 NEW BEST:: SOT 123318175 SOS 80316316 HAS SOPS 65305935 HAS SOUS 23341909 HAS SOUPS 22764894 WITH SCORE 2.2845210316E7
AT ITER 247 NEW BEST:: SOT 123325584 SOS 80343914 HAS SOPS 65331632 HAS SOUS 23334093 HAS SOUPS 22757078 WITH SCORE 2.2837421914E7
AT ITER 251 NEW BEST:: SOT 123323455 SOS 80338601 HAS SOPS 65327550 HAS SOUS 23328056 HAS SOUPS 22752165 WITH SCORE 2.2832503601E7
AT ITER 255 NEW BEST:: SOT 123329699 SOS 80357488 HAS SOPS 65358829 HAS SOUS 23305988 HAS SOUPS 22730606 WITH SCORE 2.2810963488E7
AT ITER 264 NEW BEST:: SOT 123323403 SOS 80352932 HAS SOPS 65350511 HAS SOUS 23275011 HAS SOUPS 22699917 WITH SCORE 2.2780269932E7
AT ITER 265 NEW BEST:: SOT 123325376 SOS 80365045 HAS SOPS 65350018 HAS SOUS 23239618 HAS SOUPS 22664431 WITH SCORE 2.2744796045E7
AT ITER 268 NEW BEST:: SOT 123323230 SOS 80362917 HAS SOPS 65346906 HAS SOUS 23236492 HAS SOUPS 22661305 WITH SCORE 2.2741667917E7
AT ITER 269 NEW BEST:: SOT 123311706 SOS 80342350 HAS SOPS 65341148 HAS SOUS 23222912 HAS SOUPS 22647755 WITH SCORE 2.272809735E7
AT ITER 277 NEW BEST:: SOT 123311706 SOS 80345682 HAS SOPS 65350574 HAS SOUS 23222792 HAS SOUPS 22647635 WITH SCORE 2.2727980682E7
AT ITER 284 NEW BEST:: SOT 123306343 SOS 80340235 HAS SOPS 65344017 HAS SOUS 23211750 HAS SOUPS 22636593 WITH SCORE 2.2716933235E7
AT ITER 294 NEW BEST:: SOT 123276261 SOS 80292406 HAS SOPS 65315458 HAS SOUS 23164820 HAS SOUPS 22590511 WITH SCORE 2.2670803406E7
AT ITER 303 NEW BEST:: SOT 123261663 SOS 80266634 HAS SOPS 65303155 HAS SOUS 23159991 HAS SOUPS 22585970 WITH SCORE 2.2666236634E7
AT ITER 310 NEW BEST:: SOT 123261347 SOS 80274147 HAS SOPS 65322453 HAS SOUS 23145391 HAS SOUPS 22572471 WITH SCORE 2.2652745147E7
AT ITER 333 NEW BEST:: SOT 123261347 SOS 80274995 HAS SOPS 65323525 HAS SOUS 23145390 HAS SOUPS 22572470 WITH SCORE 2.2652744995E7
AT ITER 336 NEW BEST:: SOT 123240457 SOS 80224756 HAS SOPS 65288093 HAS SOUS 23140233 HAS SOUPS 22567313 WITH SCORE 2.2647537756E7
AT ITER 344 NEW BEST:: SOT 123241953 SOS 80218046 HAS SOPS 65283824 HAS SOUS 23136577 HAS SOUPS 22563657 WITH SCORE 2.2643875046E7
AT ITER 345 NEW BEST:: SOT 123226184 SOS 80189337 HAS SOPS 65267124 HAS SOUS 23133525 HAS SOUPS 22560605 WITH SCORE 2.2640794337E7
AT ITER 354 NEW BEST:: SOT 123242045 SOS 80235633 HAS SOPS 65305817 HAS SOUS 23105850 HAS SOUPS 22533103 WITH SCORE 2.2613338633E7
AT ITER 357 NEW BEST:: SOT 123232203 SOS 80219484 HAS SOPS 65286564 HAS SOUS 23089406 HAS SOUPS 22516659 WITH SCORE 2.2596878484E7
AT ITER 359 NEW BEST:: SOT 123224931 SOS 80212212 HAS SOPS 65279220 HAS SOUS 23081438 HAS SOUPS 22508691 WITH SCORE 2.2588903212E7
AT ITER 366 NEW BEST:: SOT 123214935 SOS 80192546 HAS SOPS 65259465 HAS SOUS 23067953 HAS SOUPS 22495311 WITH SCORE 2.2575503546E7
AT ITER 376 NEW BEST:: SOT 123212501 SOS 80190012 HAS SOPS 65255941 HAS SOUS 23062418 HAS SOUPS 22489808 WITH SCORE 2.2569998012E7
AT ITER 377 NEW BEST:: SOT 123212626 SOS 80190268 HAS SOPS 65256131 HAS SOUS 23062415 HAS SOUPS 22489805 WITH SCORE 2.2569995268E7
AT ITER 391 NEW BEST:: SOT 123207221 SOS 80177837 HAS SOPS 65247250 HAS SOUS 23062165 HAS SOUPS 22489555 WITH SCORE 2.2569732837E7
AT ITER 395 NEW BEST:: SOT 123208665 SOS 80179531 HAS SOPS 65250120 HAS SOUS 23057616 HAS SOUPS 22486414 WITH SCORE 2.2566593531E7
AT ITER 397 NEW BEST:: SOT 123208665 SOS 80180107 HAS SOPS 65250792 HAS SOUS 23057604 HAS SOUPS 22486402 WITH SCORE 2.2566582107E7
AT ITER 407 NEW BEST:: SOT 123233344 SOS 80242754 HAS SOPS 65313770 HAS SOUS 23051205 HAS SOUPS 22480003 WITH SCORE 2.2560245754E7
AT ITER 410 NEW BEST:: SOT 123226680 SOS 80232765 HAS SOPS 65309045 HAS SOUS 23042422 HAS SOUPS 22471297 WITH SCORE 2.2551529765E7
AT ITER 416 NEW BEST:: SOT 123223892 SOS 80228595 HAS SOPS 65304680 HAS SOUS 23017685 HAS SOUPS 22446560 WITH SCORE 2.2526788595E7
AT ITER 440 NEW BEST:: SOT 123214999 SOS 80214027 HAS SOPS 65290480 HAS SOUS 23005143 HAS SOUPS 22434218 WITH SCORE 2.2514432027E7
AT ITER 445 NEW BEST:: SOT 123187180 SOS 80186208 HAS SOPS 65262661 HAS SOUS 22977324 HAS SOUPS 22406399 WITH SCORE 2.2486585208E7
AT ITER 447 NEW BEST:: SOT 123188256 SOS 80187038 HAS SOPS 65263806 HAS SOUS 22977111 HAS SOUPS 22406186 WITH SCORE 2.2486373038E7
AT ITER 448 NEW BEST:: SOT 123202184 SOS 80214457 HAS SOPS 65289614 HAS SOUS 22972341 HAS SOUPS 22401773 WITH SCORE 2.2481987457E7
AT ITER 474 NEW BEST:: SOT 123199692 SOS 80213603 HAS SOPS 65289491 HAS SOUS 22969629 HAS SOUPS 22399061 WITH SCORE 2.2479274603E7
AT ITER 481 NEW BEST:: SOT 123187343 SOS 80201254 HAS SOPS 65277142 HAS SOUS 22956704 HAS SOUPS 22386136 WITH SCORE 2.2466337254E7
AT ITER 488 NEW BEST:: SOT 123186367 SOS 80201890 HAS SOPS 65283484 HAS SOUS 22955705 HAS SOUPS 22385137 WITH SCORE 2.246533889E7
AT ITER 491 NEW BEST:: SOT 123174830 SOS 80190597 HAS SOPS 65271147 HAS SOUS 22943402 HAS SOUPS 22372058 WITH SCORE 2.2452248597E7
AT ITER 499 NEW BEST:: SOT 123174377 SOS 80191254 HAS SOPS 65267065 HAS SOUS 22937100 HAS SOUPS 22365756 WITH SCORE 2.2445947254E7
AT ITER 500 NEW BEST:: SOT 123170742 SOS 80186584 HAS SOPS 65253312 HAS SOUS 22924370 HAS SOUPS 22352915 WITH SCORE 2.2433101584E7
AT ITER 503 NEW BEST:: SOT 123162416 SOS 80162536 HAS SOPS 65236252 HAS SOUS 22922775 HAS SOUPS 22351320 WITH SCORE 2.2431482536E7
AT ITER 517 NEW BEST:: SOT 123133467 SOS 80133578 HAS SOPS 65207294 HAS SOUS 22893808 HAS SOUPS 22322353 WITH SCORE 2.2402486578E7
AT ITER 518 NEW BEST:: SOT 123131620 SOS 80130506 HAS SOPS 65204477 HAS SOUS 22891701 HAS SOUPS 22320257 WITH SCORE 2.2400387506E7
AT ITER 546 NEW BEST:: SOT 123122689 SOS 80121889 HAS SOPS 65193245 HAS SOUS 22877161 HAS SOUPS 22305729 WITH SCORE 2.2385850889E7
AT ITER 555 NEW BEST:: SOT 123123987 SOS 80131327 HAS SOPS 65196877 HAS SOUS 22868985 HAS SOUPS 22297553 WITH SCORE 2.2377684327E7
AT ITER 557 NEW BEST:: SOT 123123987 SOS 80131669 HAS SOPS 65197210 HAS SOUS 22868935 HAS SOUPS 22297503 WITH SCORE 2.2377634669E7
AT ITER 583 NEW BEST:: SOT 123142990 SOS 80180942 HAS SOPS 65225170 HAS SOUS 22858527 HAS SOUPS 22287095 WITH SCORE 2.2367275942E7
AT ITER 588 NEW BEST:: SOT 123145521 SOS 80185068 HAS SOPS 65230818 HAS SOUS 22849740 HAS SOUPS 22278142 WITH SCORE 2.2358327068E7
AT ITER 602 NEW BEST:: SOT 123137823 SOS 80176666 HAS SOPS 65222068 HAS SOUS 22841436 HAS SOUPS 22269838 WITH SCORE 2.2350014666E7
AT ITER 613 NEW BEST:: SOT 123131863 SOS 80168654 HAS SOPS 65209258 HAS SOUS 22839308 HAS SOUPS 22267710 WITH SCORE 2.2347878654E7
AT ITER 616 NEW BEST:: SOT 123095638 SOS 80130170 HAS SOPS 65172241 HAS SOUS 22801097 HAS SOUPS 22229844 WITH SCORE 2.230997417E7
AT ITER 631 NEW BEST:: SOT 123097348 SOS 80134348 HAS SOPS 65176583 HAS SOUS 22798135 HAS SOUPS 22226882 WITH SCORE 2.2307016348E7
AT ITER 634 NEW BEST:: SOT 123097348 SOS 80135532 HAS SOPS 65178439 HAS SOUS 22798074 HAS SOUPS 22226821 WITH SCORE 2.2306956532E7
AT ITER 637 NEW BEST:: SOT 123093724 SOS 80130516 HAS SOPS 65178406 HAS SOUS 22782817 HAS SOUPS 22211564 WITH SCORE 2.2291694516E7
AT ITER 643 NEW BEST:: SOT 123087905 SOS 80123253 HAS SOPS 65169655 HAS SOUS 22771887 HAS SOUPS 22200634 WITH SCORE 2.2280757253E7
AT ITER 677 NEW BEST:: SOT 123081174 SOS 80117923 HAS SOPS 65163424 HAS SOUS 22763509 HAS SOUPS 22192256 WITH SCORE 2.2272373923E7
AT ITER 683 NEW BEST:: SOT 123072928 SOS 80107111 HAS SOPS 65151706 HAS SOUS 22751372 HAS SOUPS 22180119 WITH SCORE 2.2260226111E7
AT ITER 684 NEW BEST:: SOT 123069565 SOS 80106088 HAS SOPS 65152262 HAS SOUS 22745408 HAS SOUPS 22174591 WITH SCORE 2.2254697088E7
AT ITER 686 NEW BEST:: SOT 123068318 SOS 80104841 HAS SOPS 65147175 HAS SOUS 22748193 HAS SOUPS 22174112 WITH SCORE 2.2254216841E7
AT ITER 699 NEW BEST:: SOT 123068113 SOS 80102708 HAS SOPS 65148754 HAS SOUS 22747990 HAS SOUPS 22173909 WITH SCORE 2.2254011708E7
AT ITER 728 NEW BEST:: SOT 123043453 SOS 80080106 HAS SOPS 65142269 HAS SOUS 22664593 HAS SOUPS 22090971 WITH SCORE 2.2171051106E7
AT ITER 755 NEW BEST:: SOT 123038122 SOS 80064154 HAS SOPS 65113469 HAS SOUS 22649781 HAS SOUPS 22076159 WITH SCORE 2.2156223154E7
AT ITER 762 NEW BEST:: SOT 123051693 SOS 80107174 HAS SOPS 65150106 HAS SOUS 22641561 HAS SOUPS 22067939 WITH SCORE 2.2148046174E7
AT ITER 768 NEW BEST:: SOT 123015045 SOS 80050705 HAS SOPS 65096681 HAS SOUS 22590470 HAS SOUPS 22016859 WITH SCORE 2.2096909705E7
AT ITER 770 NEW BEST:: SOT 123016430 SOS 80051636 HAS SOPS 65096015 HAS SOUS 22586913 HAS SOUPS 22013302 WITH SCORE 2.2093353636E7
AT ITER 779 NEW BEST:: SOT 123023380 SOS 80072942 HAS SOPS 65111856 HAS SOUS 22577325 HAS SOUPS 22003714 WITH SCORE 2.2083786942E7
AT ITER 788 NEW BEST:: SOT 122982573 SOS 80022573 HAS SOPS 65063368 HAS SOUS 22531605 HAS SOUPS 21958123 WITH SCORE 2.2038145573E7
AT ITER 802 NEW BEST:: SOT 122952078 SOS 79981071 HAS SOPS 65024595 HAS SOUS 22501547 HAS SOUPS 21928141 WITH SCORE 2.2008122071E7
AT ITER 805 NEW BEST:: SOT 122945547 SOS 79975272 HAS SOPS 65012713 HAS SOUS 22497375 HAS SOUPS 21921558 WITH SCORE 2.2001533272E7
AT ITER 814 NEW BEST:: SOT 122940286 SOS 79978405 HAS SOPS 65027428 HAS SOUS 22477671 HAS SOUPS 21901911 WITH SCORE 2.1981889405E7
AT ITER 819 NEW BEST:: SOT 122931953 SOS 79968263 HAS SOPS 65015585 HAS SOUS 22464150 HAS SOUPS 21888390 WITH SCORE 2.1968358263E7
AT ITER 831 NEW BEST:: SOT 122929963 SOS 79967583 HAS SOPS 65012432 HAS SOUS 22455482 HAS SOUPS 21879722 WITH SCORE 2.1959689583E7
AT ITER 838 NEW BEST:: SOT 122931380 SOS 79973600 HAS SOPS 65017818 HAS SOUS 22448816 HAS SOUPS 21873056 WITH SCORE 2.19530296E7
AT ITER 849 NEW BEST:: SOT 122944584 SOS 80016861 HAS SOPS 65053833 HAS SOUS 22438532 HAS SOUPS 21862772 WITH SCORE 2.1942788861E7
AT ITER 855 NEW BEST:: SOT 122953715 SOS 80043551 HAS SOPS 65066355 HAS SOUS 22427690 HAS SOUPS 21851845 WITH SCORE 2.1931888551E7
AT ITER 883 NEW BEST:: SOT 122953682 SOS 80043518 HAS SOPS 65066258 HAS SOUS 22427625 HAS SOUPS 21851780 WITH SCORE 2.1931823518E7
AT ITER 900 NEW BEST:: SOT 122936772 SOS 80006146 HAS SOPS 65050219 HAS SOUS 22422318 HAS SOUPS 21846701 WITH SCORE 2.1926707146E7
AT ITER 902 NEW BEST:: SOT 122925666 SOS 79986099 HAS SOPS 65027587 HAS SOUS 22407004 HAS SOUPS 21831387 WITH SCORE 2.1911373099E7
AT ITER 903 NEW BEST:: SOT 122924072 SOS 79985056 HAS SOPS 65027472 HAS SOUS 22403525 HAS SOUPS 21827908 WITH SCORE 2.1907893056E7
AT ITER 911 NEW BEST:: SOT 122920652 SOS 79988914 HAS SOPS 65030948 HAS SOUS 22385910 HAS SOUPS 21810293 WITH SCORE 2.1890281914E7
AT ITER 914 NEW BEST:: SOT 122918301 SOS 79973701 HAS SOPS 65075731 HAS SOUS 22384306 HAS SOUPS 21808689 WITH SCORE 2.1888662701E7
AT ITER 926 NEW BEST:: SOT 122918301 SOS 79984021 HAS SOPS 65090291 HAS SOUS 22384047 HAS SOUPS 21808430 WITH SCORE 2.1888414021E7
AT ITER 927 NEW BEST:: SOT 122920335 SOS 79988584 HAS SOPS 65093330 HAS SOUS 22383821 HAS SOUPS 21808204 WITH SCORE 2.1888192584E7
AT ITER 945 NEW BEST:: SOT 122921788 SOS 79990923 HAS SOPS 65099764 HAS SOUS 22382799 HAS SOUPS 21807182 WITH SCORE 2.1887172923E7
AT ITER 959 NEW BEST:: SOT 122932668 SOS 80019279 HAS SOPS 65124986 HAS SOUS 22348159 HAS SOUPS 21772389 WITH SCORE 2.1852408279E7
AT ITER 961 NEW BEST:: SOT 122912940 SOS 79995498 HAS SOPS 65101662 HAS SOUS 22318972 HAS SOUPS 21743202 WITH SCORE 2.1823197498E7
AT ITER 975 NEW BEST:: SOT 122920147 SOS 80013718 HAS SOPS 65129710 HAS SOUS 22318553 HAS SOUPS 21742783 WITH SCORE 2.1822796718E7
AT ITER 990 NEW BEST:: SOT 122913020 SOS 80006591 HAS SOPS 65122583 HAS SOUS 22311426 HAS SOUPS 21735656 WITH SCORE 2.1815662591E7
AT ITER 992 NEW BEST:: SOT 122915546 SOS 80013265 HAS SOPS 65128651 HAS SOUS 22304523 HAS SOUPS 21728808 WITH SCORE 2.1808821265E7
AT ITER 1008 NEW BEST:: SOT 122885291 SOS 79945904 HAS SOPS 65077953 HAS SOUS 22292698 HAS SOUPS 21716983 WITH SCORE 2.1796928904E7
AT ITER 1016 NEW BEST:: SOT 122881645 SOS 79941990 HAS SOPS 65072425 HAS SOUS 22285523 HAS SOUPS 21709808 WITH SCORE 2.178974999E7
AT ITER 1019 NEW BEST:: SOT 122884761 SOS 79942339 HAS SOPS 65085281 HAS SOUS 22265548 HAS SOUPS 21692633 WITH SCORE 2.1772575339E7
AT ITER 1030 NEW BEST:: SOT 122885053 SOS 79990636 HAS SOPS 65155149 HAS SOUS 22265298 HAS SOUPS 21692383 WITH SCORE 2.1772373636E7
AT ITER 1036 NEW BEST:: SOT 122870620 SOS 79975757 HAS SOPS 65136125 HAS SOUS 22233409 HAS SOUPS 21660494 WITH SCORE 2.1740469757E7
AT ITER 1039 NEW BEST:: SOT 122871557 SOS 79981170 HAS SOPS 65137221 HAS SOUS 22227406 HAS SOUPS 21654491 WITH SCORE 2.173447217E7
AT ITER 1043 NEW BEST:: SOT 122854998 SOS 79956386 HAS SOPS 65103729 HAS SOUS 22208731 HAS SOUPS 21635816 WITH SCORE 2.1715772386E7
AT ITER 1058 NEW BEST:: SOT 122854068 SOS 79956930 HAS SOPS 65102040 HAS SOUS 22205333 HAS SOUPS 21632418 WITH SCORE 2.171237493E7
AT ITER 1069 NEW BEST:: SOT 122858234 SOS 79974037 HAS SOPS 65112043 HAS SOUS 22174323 HAS SOUPS 21601201 WITH SCORE 2.1681175037E7
AT ITER 1100 NEW BEST:: SOT 122851556 SOS 79970852 HAS SOPS 65101474 HAS SOUS 22151517 HAS SOUPS 21578395 WITH SCORE 2.1658365852E7
AT ITER 1105 NEW BEST:: SOT 122858407 SOS 79982421 HAS SOPS 65116517 HAS SOUS 22147688 HAS SOUPS 21574566 WITH SCORE 2.1654548421E7
AT ITER 1114 NEW BEST:: SOT 122899981 SOS 80067108 HAS SOPS 65190651 HAS SOUS 22146829 HAS SOUPS 21573707 WITH SCORE 2.1653774108E7
AT ITER 1128 NEW BEST:: SOT 122899677 SOS 80068782 HAS SOPS 65192427 HAS SOUS 22145312 HAS SOUPS 21572190 WITH SCORE 2.1652258782E7
AT ITER 1135 NEW BEST:: SOT 122915754 SOS 80105588 HAS SOPS 65231302 HAS SOUS 22130549 HAS SOUPS 21557427 WITH SCORE 2.1637532588E7
AT ITER 1139 NEW BEST:: SOT 122914899 SOS 80105853 HAS SOPS 65235628 HAS SOUS 22106271 HAS SOUPS 21533149 WITH SCORE 2.1613254853E7
AT ITER 1140 NEW BEST:: SOT 122916763 SOS 80107630 HAS SOPS 65237624 HAS SOUS 22102294 HAS SOUPS 21529172 WITH SCORE 2.160927963E7
AT ITER 1141 NEW BEST:: SOT 122921762 SOS 80122387 HAS SOPS 65259818 HAS SOUS 22088997 HAS SOUPS 21516005 WITH SCORE 2.1596127387E7
AT ITER 1148 NEW BEST:: SOT 122918311 SOS 80114652 HAS SOPS 65249037 HAS SOUS 22074050 HAS SOUPS 21501139 WITH SCORE 2.1581253652E7
AT ITER 1151 NEW BEST:: SOT 122918244 SOS 80115583 HAS SOPS 65250445 HAS SOUS 22073975 HAS SOUPS 21501064 WITH SCORE 2.1581179583E7
AT ITER 1155 NEW BEST:: SOT 122950377 SOS 80160892 HAS SOPS 65302119 HAS SOUS 22053758 HAS SOUPS 21480847 WITH SCORE 2.1561007892E7
AT ITER 1161 NEW BEST:: SOT 122846328 SOS 79939715 HAS SOPS 65142642 HAS SOUS 22012380 HAS SOUPS 21439562 WITH SCORE 2.1519501715E7
AT ITER 1175 NEW BEST:: SOT 122845574 SOS 79938976 HAS SOPS 65142293 HAS SOUS 22011332 HAS SOUPS 21438514 WITH SCORE 2.1518452976E7
AT ITER 1179 NEW BEST:: SOT 122830894 SOS 79928854 HAS SOPS 65123729 HAS SOUS 21970705 HAS SOUPS 21397887 WITH SCORE 2.1477815854E7
AT ITER 1217 NEW BEST:: SOT 122827173 SOS 79923854 HAS SOPS 65117380 HAS SOUS 21963387 HAS SOUPS 21390600 WITH SCORE 2.1470523854E7
AT ITER 1230 NEW BEST:: SOT 122812939 SOS 79903193 HAS SOPS 65101698 HAS SOUS 21948422 HAS SOUPS 21375635 WITH SCORE 2.1455538193E7
AT ITER 1231 NEW BEST:: SOT 122812986 SOS 79904076 HAS SOPS 65099414 HAS SOUS 21950916 HAS SOUPS 21374428 WITH SCORE 2.1454332076E7
AT ITER 1248 NEW BEST:: SOT 122793054 SOS 79870342 HAS SOPS 65065480 HAS SOUS 21921924 HAS SOUPS 21345436 WITH SCORE 2.1425306342E7
AT ITER 1255 NEW BEST:: SOT 122767260 SOS 79834838 HAS SOPS 65034612 HAS SOUS 21890614 HAS SOUPS 21314126 WITH SCORE 2.1393960838E7
AT ITER 1268 NEW BEST:: SOT 122782596 SOS 79883427 HAS SOPS 65062447 HAS SOUS 21871239 HAS SOUPS 21294751 WITH SCORE 2.1374634427E7
AT ITER 1269 NEW BEST:: SOT 122782928 SOS 79899105 HAS SOPS 65066606 HAS SOUS 21870932 HAS SOUPS 21294444 WITH SCORE 2.1374343105E7
AT ITER 1272 NEW BEST:: SOT 122783478 SOS 79901379 HAS SOPS 65068201 HAS SOUS 21865851 HAS SOUPS 21289363 WITH SCORE 2.1369264379E7
AT ITER 1279 NEW BEST:: SOT 122786600 SOS 79912893 HAS SOPS 65078080 HAS SOUS 21852750 HAS SOUPS 21276262 WITH SCORE 2.1356174893E7
AT ITER 1281 NEW BEST:: SOT 122773059 SOS 79885901 HAS SOPS 65056953 HAS SOUS 21847733 HAS SOUPS 21271245 WITH SCORE 2.1351130901E7
AT ITER 1293 NEW BEST:: SOT 122787963 SOS 79920986 HAS SOPS 65107487 HAS SOUS 21835897 HAS SOUPS 21259634 WITH SCORE 2.1339554986E7
AT ITER 1305 NEW BEST:: SOT 122765806 SOS 79895754 HAS SOPS 65062450 HAS SOUS 21778602 HAS SOUPS 21201959 WITH SCORE 2.1281854754E7
AT ITER 1311 NEW BEST:: SOT 122760649 SOS 79888956 HAS SOPS 65055933 HAS SOUS 21768906 HAS SOUPS 21192326 WITH SCORE 2.1272214956E7
AT ITER 1313 NEW BEST:: SOT 122761331 SOS 79882476 HAS SOPS 65050402 HAS SOUS 21767258 HAS SOUPS 21190678 WITH SCORE 2.1270560476E7
AT ITER 1316 NEW BEST:: SOT 122760139 SOS 79879914 HAS SOPS 65047118 HAS SOUS 21751732 HAS SOUPS 21176692 WITH SCORE 2.1256571914E7
AT ITER 1317 NEW BEST:: SOT 122758674 SOS 79878169 HAS SOPS 65045245 HAS SOUS 21749883 HAS SOUPS 21174803 WITH SCORE 2.1254681169E7
AT ITER 1333 NEW BEST:: SOT 122747302 SOS 79909127 HAS SOPS 65078461 HAS SOUS 21747378 HAS SOUPS 21172298 WITH SCORE 2.1252207127E7
AT ITER 1337 NEW BEST:: SOT 122731867 SOS 79883696 HAS SOPS 65052932 HAS SOUS 21725759 HAS SOUPS 21150769 WITH SCORE 2.1230652696E7
AT ITER 1338 NEW BEST:: SOT 122735305 SOS 79894222 HAS SOPS 65077859 HAS SOUS 21716942 HAS SOUPS 21141952 WITH SCORE 2.1221846222E7
AT ITER 1339 NEW BEST:: SOT 122735226 SOS 79894144 HAS SOPS 65077808 HAS SOUS 21716849 HAS SOUPS 21141859 WITH SCORE 2.1221753144E7
AT ITER 1350 NEW BEST:: SOT 122689389 SOS 79843572 HAS SOPS 65031130 HAS SOUS 21639924 HAS SOUPS 21066261 WITH SCORE 2.1146104572E7
AT ITER 1370 NEW BEST:: SOT 122689525 SOS 79843700 HAS SOPS 65030986 HAS SOUS 21638820 HAS SOUPS 21065165 WITH SCORE 2.11450087E7
AT ITER 1376 NEW BEST:: SOT 122682687 SOS 79835695 HAS SOPS 65017443 HAS SOUS 21632561 HAS SOUPS 21058906 WITH SCORE 2.1138741695E7
AT ITER 1379 NEW BEST:: SOT 122683743 SOS 79834981 HAS SOPS 65018007 HAS SOUS 21631211 HAS SOUPS 21057556 WITH SCORE 2.1137390981E7
AT ITER 1388 NEW BEST:: SOT 122676656 SOS 79824624 HAS SOPS 65007565 HAS SOUS 21618105 HAS SOUPS 21044450 WITH SCORE 2.1124274624E7
AT ITER 1390 NEW BEST:: SOT 122695746 SOS 79883014 HAS SOPS 65060571 HAS SOUS 21599476 HAS SOUPS 21025821 WITH SCORE 2.1105704014E7
AT ITER 1391 NEW BEST:: SOT 122696512 SOS 79888262 HAS SOPS 65066725 HAS SOUS 21596573 HAS SOUPS 21022993 WITH SCORE 2.1102881262E7
AT ITER 1408 NEW BEST:: SOT 122696261 SOS 79896189 HAS SOPS 65077572 HAS SOUS 21587051 HAS SOUPS 21013471 WITH SCORE 2.1093367189E7
AT ITER 1421 NEW BEST:: SOT 122747447 SOS 79916312 HAS SOPS 65110895 HAS SOUS 21586100 HAS SOUPS 21012977 WITH SCORE 2.1092893312E7
AT ITER 1427 NEW BEST:: SOT 122747425 SOS 79927959 HAS SOPS 65127356 HAS SOUS 21585848 HAS SOUPS 21012725 WITH SCORE 2.1092652959E7
AT ITER 1463 NEW BEST:: SOT 122759810 SOS 79954903 HAS SOPS 65158862 HAS SOUS 21578935 HAS SOUPS 21005947 WITH SCORE 2.1085901903E7
AT ITER 1469 NEW BEST:: SOT 122754538 SOS 79950869 HAS SOPS 65152479 HAS SOUS 21565191 HAS SOUPS 20992203 WITH SCORE 2.1072153869E7
AT ITER 1483 NEW BEST:: SOT 122818665 SOS 80095329 HAS SOPS 65282311 HAS SOUS 21565232 HAS SOUPS 20991847 WITH SCORE 2.1071942329E7
AT ITER 1494 NEW BEST:: SOT 122809283 SOS 80085502 HAS SOPS 65269257 HAS SOUS 21540128 HAS SOUPS 20966680 WITH SCORE 2.1046765502E7
AT ITER 1502 NEW BEST:: SOT 122806491 SOS 80088419 HAS SOPS 65276850 HAS SOUS 21519474 HAS SOUPS 20946026 WITH SCORE 2.1026114419E7
AT ITER 1522 NEW BEST:: SOT 122806308 SOS 80088060 HAS SOPS 65278484 HAS SOUS 21518100 HAS SOUPS 20944652 WITH SCORE 2.102474006E7
AT ITER 1535 NEW BEST:: SOT 122795292 SOS 80075051 HAS SOPS 65264882 HAS SOUS 21486888 HAS SOUPS 20913440 WITH SCORE 2.0993515051E7
AT ITER 1557 NEW BEST:: SOT 122794760 SOS 80074478 HAS SOPS 65263414 HAS SOUS 21485514 HAS SOUPS 20911856 WITH SCORE 2.0991930478E7
AT ITER 1572 NEW BEST:: SOT 122791853 SOS 80069647 HAS SOPS 65259243 HAS SOUS 21484931 HAS SOUPS 20911273 WITH SCORE 2.0991342647E7
AT ITER 1577 NEW BEST:: SOT 122784474 SOS 80060582 HAS SOPS 65250349 HAS SOUS 21469667 HAS SOUPS 20896565 WITH SCORE 2.0976625582E7
AT ITER 1586 NEW BEST:: SOT 122777427 SOS 80046758 HAS SOPS 65243032 HAS SOUS 21466889 HAS SOUPS 20893895 WITH SCORE 2.0973941758E7
AT ITER 1587 NEW BEST:: SOT 122781835 SOS 80059690 HAS SOPS 65251509 HAS SOUS 21462106 HAS SOUPS 20889112 WITH SCORE 2.096917169E7
AT ITER 1591 NEW BEST:: SOT 122782999 SOS 80062710 HAS SOPS 65252673 HAS SOUS 21461004 HAS SOUPS 20887874 WITH SCORE 2.096793671E7
AT ITER 1604 NEW BEST:: SOT 122788404 SOS 80091806 HAS SOPS 65276110 HAS SOUS 21446969 HAS SOUPS 20873839 WITH SCORE 2.0953930806E7
AT ITER 1613 NEW BEST:: SOT 122757724 SOS 80060424 HAS SOPS 65226696 HAS SOUS 21391999 HAS SOUPS 20818889 WITH SCORE 2.0898949424E7
AT ITER 1616 NEW BEST:: SOT 122743975 SOS 80039527 HAS SOPS 65211559 HAS SOUS 21369966 HAS SOUPS 20797035 WITH SCORE 2.0877074527E7
AT ITER 1628 NEW BEST:: SOT 122749269 SOS 80038584 HAS SOPS 65218157 HAS SOUS 21355288 HAS SOUPS 20782549 WITH SCORE 2.0862587584E7
AT ITER 1639 NEW BEST:: SOT 122743535 SOS 80037959 HAS SOPS 65206226 HAS SOUS 21340723 HAS SOUPS 20767984 WITH SCORE 2.0848021959E7
AT ITER 1677 NEW BEST:: SOT 122750019 SOS 80050686 HAS SOPS 65217210 HAS SOUS 21325596 HAS SOUPS 20752857 WITH SCORE 2.0832907686E7
AT ITER 1678 NEW BEST:: SOT 122750028 SOS 80059269 HAS SOPS 65221704 HAS SOUS 21324951 HAS SOUPS 20752212 WITH SCORE 2.0832271269E7
AT ITER 1694 NEW BEST:: SOT 122746517 SOS 80055345 HAS SOPS 65218007 HAS SOUS 21318017 HAS SOUPS 20745278 WITH SCORE 2.0825333345E7
AT ITER 1719 NEW BEST:: SOT 122746761 SOS 80061331 HAS SOPS 65227101 HAS SOUS 21316597 HAS SOUPS 20743900 WITH SCORE 2.0823961331E7
AT ITER 1721 NEW BEST:: SOT 122738141 SOS 80051280 HAS SOPS 65217797 HAS SOUS 21302756 HAS SOUPS 20730139 WITH SCORE 2.081019028E7
AT ITER 1727 NEW BEST:: SOT 122721211 SOS 80028605 HAS SOPS 65192012 HAS SOUS 21280517 HAS SOUPS 20707900 WITH SCORE 2.0787928605E7
AT ITER 1737 NEW BEST:: SOT 122721222 SOS 80029588 HAS SOPS 65193039 HAS SOUS 21279674 HAS SOUPS 20707064 WITH SCORE 2.0787093588E7
AT ITER 1739 NEW BEST:: SOT 122722569 SOS 80030703 HAS SOPS 65196781 HAS SOUS 21279404 HAS SOUPS 20706794 WITH SCORE 2.0786824703E7
AT ITER 1743 NEW BEST:: SOT 122706907 SOS 79987166 HAS SOPS 65166325 HAS SOUS 21267405 HAS SOUPS 20694795 WITH SCORE 2.0774782166E7
AT ITER 1747 NEW BEST:: SOT 122697583 SOS 79977734 HAS SOPS 65156057 HAS SOUS 21260275 HAS SOUPS 20687553 WITH SCORE 2.0767530734E7
AT ITER 1751 NEW BEST:: SOT 122698501 SOS 79982154 HAS SOPS 65159924 HAS SOUS 21255752 HAS SOUPS 20683030 WITH SCORE 2.0763012154E7
AT ITER 1761 NEW BEST:: SOT 122695017 SOS 79975226 HAS SOPS 65152399 HAS SOUS 21250333 HAS SOUPS 20677711 WITH SCORE 2.0757686226E7
AT ITER 1790 NEW BEST:: SOT 122666997 SOS 79936868 HAS SOPS 65115991 HAS SOUS 21204378 HAS SOUPS 20631756 WITH SCORE 2.0711692868E7
AT ITER 1791 NEW BEST:: SOT 122650566 SOS 79918647 HAS SOPS 65095993 HAS SOUS 21168036 HAS SOUPS 20595225 WITH SCORE 2.0675143647E7
AT ITER 1809 NEW BEST:: SOT 122646801 SOS 79912495 HAS SOPS 65100215 HAS SOUS 21134393 HAS SOUPS 20561885 WITH SCORE 2.0641797495E7
AT ITER 1812 NEW BEST:: SOT 122645477 SOS 79909781 HAS SOPS 65097522 HAS SOUS 21133211 HAS SOUPS 20560703 WITH SCORE 2.0640612781E7
AT ITER 1877 NEW BEST:: SOT 122651119 SOS 79925873 HAS SOPS 65099106 HAS SOUS 21082196 HAS SOUPS 20509688 WITH SCORE 2.0589613873E7
AT ITER 1885 NEW BEST:: SOT 122650527 SOS 79922158 HAS SOPS 65094742 HAS SOUS 21076433 HAS SOUPS 20503925 WITH SCORE 2.0583847158E7
AT ITER 1895 NEW BEST:: SOT 122650195 SOS 79921194 HAS SOPS 65094913 HAS SOUS 21076291 HAS SOUPS 20503796 WITH SCORE 2.0583717194E7
AT ITER 1906 NEW BEST:: SOT 122650195 SOS 79934426 HAS SOPS 65115985 HAS SOUS 21076007 HAS SOUPS 20503512 WITH SCORE 2.0583446426E7
AT ITER 1908 NEW BEST:: SOT 122650195 SOS 79936766 HAS SOPS 65117099 HAS SOUS 21075734 HAS SOUPS 20503239 WITH SCORE 2.0583175766E7
AT ITER 1909 NEW BEST:: SOT 122664353 SOS 79961923 HAS SOPS 65135461 HAS SOUS 21070104 HAS SOUPS 20497609 WITH SCORE 2.0577570923E7
AT ITER 1931 NEW BEST:: SOT 122673448 SOS 80005227 HAS SOPS 65174163 HAS SOUS 21061216 HAS SOUPS 20488721 WITH SCORE 2.0568726227E7
AT ITER 1938 NEW BEST:: SOT 122666521 SOS 80005745 HAS SOPS 65165847 HAS SOUS 21020779 HAS SOUPS 20448284 WITH SCORE 2.0528289745E7
AT ITER 1958 NEW BEST:: SOT 122665953 SOS 80005757 HAS SOPS 65169172 HAS SOUS 21019372 HAS SOUPS 20446888 WITH SCORE 2.0526893757E7
AT ITER 1966 NEW BEST:: SOT 122661445 SOS 80006428 HAS SOPS 65161808 HAS SOUS 21010652 HAS SOUPS 20435995 WITH SCORE 2.0516001428E7
AT ITER 1971 NEW BEST:: SOT 122630124 SOS 79935366 HAS SOPS 65105060 HAS SOUS 21008708 HAS SOUPS 20434204 WITH SCORE 2.0514139366E7
AT ITER 1973 NEW BEST:: SOT 122631355 SOS 79937803 HAS SOPS 65106399 HAS SOUS 21008192 HAS SOUPS 20433688 WITH SCORE 2.0513625803E7
AT ITER 1978 NEW BEST:: SOT 122621427 SOS 79928002 HAS SOPS 65096471 HAS SOUS 20998337 HAS SOUPS 20423782 WITH SCORE 2.0503710002E7
AT ITER 1979 NEW BEST:: SOT 122620276 SOS 79926175 HAS SOPS 65095843 HAS SOUS 20998132 HAS SOUPS 20423577 WITH SCORE 2.0503503175E7
AT ITER 1987 NEW BEST:: SOT 122620276 SOS 79936011 HAS SOPS 65106815 HAS SOUS 20997818 HAS SOUPS 20423263 WITH SCORE 2.0503199011E7
AT ITER 1988 NEW BEST:: SOT 122622654 SOS 79946924 HAS SOPS 65114787 HAS SOUS 20988646 HAS SOUPS 20414091 WITH SCORE 2.0494037924E7
AT ITER 1996 NEW BEST:: SOT 122604378 SOS 79918968 HAS SOPS 65100027 HAS SOUS 20980572 HAS SOUPS 20406261 WITH SCORE 2.0486179968E7
AT ITER 1997 NEW BEST:: SOT 122582222 SOS 79868195 HAS SOPS 65063474 HAS SOUS 20968871 HAS SOUPS 20394560 WITH SCORE 2.0474428195E7
AT ITER 2002 NEW BEST:: SOT 122565703 SOS 79838223 HAS SOPS 65037454 HAS SOUS 20955634 HAS SOUPS 20381420 WITH SCORE 2.0461258223E7
AT ITER 2003 NEW BEST:: SOT 122566784 SOS 79840771 HAS SOPS 65040347 HAS SOUS 20955373 HAS SOUPS 20381159 WITH SCORE 2.0460999771E7
AT ITER 2018 NEW BEST:: SOT 122548189 SOS 79803512 HAS SOPS 65009739 HAS SOUS 20950260 HAS SOUPS 20376046 WITH SCORE 2.0455849512E7
AT ITER 2020 NEW BEST:: SOT 122548189 SOS 79807508 HAS SOPS 65017767 HAS SOUS 20950243 HAS SOUPS 20376029 WITH SCORE 2.0455836508E7
AT ITER 2034 NEW BEST:: SOT 122548089 SOS 79807238 HAS SOPS 65017587 HAS SOUS 20950113 HAS SOUPS 20375899 WITH SCORE 2.0455706238E7
AT ITER 2043 NEW BEST:: SOT 122547459 SOS 79806041 HAS SOPS 65016936 HAS SOUS 20949336 HAS SOUPS 20375136 WITH SCORE 2.0454942041E7
AT ITER 2051 NEW BEST:: SOT 122565190 SOS 79867442 HAS SOPS 65081236 HAS SOUS 20943911 HAS SOUPS 20369711 WITH SCORE 2.0449578442E7
AT ITER 2076 NEW BEST:: SOT 122560710 SOS 79861208 HAS SOPS 65072981 HAS SOUS 20937408 HAS SOUPS 20363208 WITH SCORE 2.0443069208E7
AT ITER 2107 NEW BEST:: SOT 122555380 SOS 79856007 HAS SOPS 65062866 HAS SOUS 20934601 HAS SOUPS 20360401 WITH SCORE 2.0440257007E7
AT ITER 2112 NEW BEST:: SOT 122550746 SOS 79849483 HAS SOPS 65054641 HAS SOUS 20929257 HAS SOUPS 20355057 WITH SCORE 2.0434906483E7
AT ITER 2115 NEW BEST:: SOT 122554938 SOS 79858481 HAS SOPS 65062899 HAS SOUS 20927466 HAS SOUPS 20353266 WITH SCORE 2.0433124481E7
AT ITER 2159 NEW BEST:: SOT 122551345 SOS 79854081 HAS SOPS 65059083 HAS SOUS 20922659 HAS SOUPS 20348459 WITH SCORE 2.0428313081E7
AT ITER 2167 NEW BEST:: SOT 122611805 SOS 79948797 HAS SOPS 65157619 HAS SOUS 20921980 HAS SOUPS 20347549 WITH SCORE 2.0427497797E7
AT ITER 2170 NEW BEST:: SOT 122604676 SOS 79939206 HAS SOPS 65148597 HAS SOUS 20910863 HAS SOUPS 20336475 WITH SCORE 2.0416414206E7
AT ITER 2179 NEW BEST:: SOT 122608634 SOS 79946103 HAS SOPS 65157093 HAS SOUS 20906924 HAS SOUPS 20332536 WITH SCORE 2.0412482103E7
AT ITER 2183 NEW BEST:: SOT 122613772 SOS 79953029 HAS SOPS 65163903 HAS SOUS 20906014 HAS SOUPS 20331626 WITH SCORE 2.0411579029E7
AT ITER 2211 NEW BEST:: SOT 122610586 SOS 79947383 HAS SOPS 65158311 HAS SOUS 20902157 HAS SOUPS 20327769 WITH SCORE 2.0407716383E7
AT ITER 2219 NEW BEST:: SOT 122610717 SOS 79943644 HAS SOPS 65163287 HAS SOUS 20901975 HAS SOUPS 20327587 WITH SCORE 2.0407530644E7
AT ITER 2231 NEW BEST:: SOT 122617883 SOS 79953040 HAS SOPS 65177920 HAS SOUS 20893867 HAS SOUPS 20319922 WITH SCORE 2.039987504E7

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="RERS17pb115-PT-1"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RERS17pb115-PT-1, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502400148"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-1.tgz
mv RERS17pb115-PT-1 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;