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-158961502300076.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 RERS17pb114-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-158961502300076
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.3K Apr 12 07:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 12 07:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 11 08:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 11 08:09 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.5K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K 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.6K Apr 10 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Apr 9 20:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 9 20:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:25 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 73M 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 RERS17pb114-PT-1-CTLFireability-00
FORMULA_NAME RERS17pb114-PT-1-CTLFireability-01
FORMULA_NAME RERS17pb114-PT-1-CTLFireability-02
FORMULA_NAME RERS17pb114-PT-1-CTLFireability-03
FORMULA_NAME RERS17pb114-PT-1-CTLFireability-04
FORMULA_NAME RERS17pb114-PT-1-CTLFireability-05
FORMULA_NAME RERS17pb114-PT-1-CTLFireability-06
FORMULA_NAME RERS17pb114-PT-1-CTLFireability-07
FORMULA_NAME RERS17pb114-PT-1-CTLFireability-08
FORMULA_NAME RERS17pb114-PT-1-CTLFireability-09
FORMULA_NAME RERS17pb114-PT-1-CTLFireability-10
FORMULA_NAME RERS17pb114-PT-1-CTLFireability-11
FORMULA_NAME RERS17pb114-PT-1-CTLFireability-12
FORMULA_NAME RERS17pb114-PT-1-CTLFireability-13
FORMULA_NAME RERS17pb114-PT-1-CTLFireability-14
FORMULA_NAME RERS17pb114-PT-1-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589693494642

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (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: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133650955 SOS 82200848 HAS SOPS 66750976 HAS SOUS 26441832 HAS SOUPS 25811141 WITH SCORE 2.5893341848E7
AT ITER 4 NEW BEST:: SOT 133655968 SOS 82248270 HAS SOPS 66809199 HAS SOUS 26439170 HAS SOUPS 25808479 WITH SCORE 2.589072727E7
AT ITER 23 NEW BEST:: SOT 133655146 SOS 82251122 HAS SOPS 66813343 HAS SOUS 26432556 HAS SOUPS 25801797 WITH SCORE 2.5884048122E7
AT ITER 27 NEW BEST:: SOT 133656023 SOS 82260770 HAS SOPS 66827074 HAS SOUS 26432121 HAS SOUPS 25801362 WITH SCORE 2.588362277E7
AT ITER 38 NEW BEST:: SOT 133658459 SOS 82266791 HAS SOPS 66836702 HAS SOUS 26431945 HAS SOUPS 25801186 WITH SCORE 2.5883452791E7
AT ITER 76 NEW BEST:: SOT 133661951 SOS 82269570 HAS SOPS 66843649 HAS SOUS 26429348 HAS SOUPS 25798589 WITH SCORE 2.588085857E7
AT ITER 80 NEW BEST:: SOT 133661033 SOS 82267416 HAS SOPS 66841891 HAS SOUS 26429123 HAS SOUPS 25798364 WITH SCORE 2.5880631416E7
AT ITER 89 NEW BEST:: SOT 133658998 SOS 82267681 HAS SOPS 66838417 HAS SOUS 26419320 HAS SOUPS 25788561 WITH SCORE 2.5870828681E7
AT ITER 93 NEW BEST:: SOT 133659871 SOS 82274385 HAS SOPS 66842734 HAS SOUS 26416370 HAS SOUPS 25785611 WITH SCORE 2.5867885385E7
AT ITER 94 NEW BEST:: SOT 133620685 SOS 82217174 HAS SOPS 66769657 HAS SOUS 26355371 HAS SOUPS 25717456 WITH SCORE 2.5799673174E7
AT ITER 101 NEW BEST:: SOT 133624973 SOS 82235753 HAS SOPS 66781507 HAS SOUS 26351035 HAS SOUPS 25713120 WITH SCORE 2.5795355753E7
AT ITER 113 NEW BEST:: SOT 133633435 SOS 82267958 HAS SOPS 66800657 HAS SOUS 26347739 HAS SOUPS 25709824 WITH SCORE 2.5792091958E7
AT ITER 114 NEW BEST:: SOT 133627915 SOS 82257691 HAS SOPS 66791132 HAS SOUS 26342519 HAS SOUPS 25704604 WITH SCORE 2.5786861691E7
AT ITER 118 NEW BEST:: SOT 133617798 SOS 82242817 HAS SOPS 66788738 HAS SOUS 26341654 HAS SOUPS 25703966 WITH SCORE 2.5786208817E7
AT ITER 127 NEW BEST:: SOT 133580598 SOS 82178373 HAS SOPS 66757842 HAS SOUS 26307827 HAS SOUPS 25670139 WITH SCORE 2.5752317373E7
AT ITER 130 NEW BEST:: SOT 133613935 SOS 82316548 HAS SOPS 66899953 HAS SOUS 26276178 HAS SOUPS 25638490 WITH SCORE 2.5720806548E7
AT ITER 134 NEW BEST:: SOT 133608565 SOS 82314276 HAS SOPS 66908481 HAS SOUS 26273442 HAS SOUPS 25635754 WITH SCORE 2.5718068276E7
AT ITER 139 NEW BEST:: SOT 133590234 SOS 82287253 HAS SOPS 66884178 HAS SOUS 26251829 HAS SOUPS 25614141 WITH SCORE 2.5696428253E7
AT ITER 140 NEW BEST:: SOT 133575887 SOS 82278835 HAS SOPS 66871911 HAS SOUS 26207931 HAS SOUPS 25570243 WITH SCORE 2.5652521835E7
AT ITER 141 NEW BEST:: SOT 133553454 SOS 82268195 HAS SOPS 66851447 HAS SOUS 26162846 HAS SOUPS 25525567 WITH SCORE 2.5607835195E7
AT ITER 143 NEW BEST:: SOT 133526458 SOS 82236822 HAS SOPS 66840380 HAS SOUS 26085821 HAS SOUPS 25448542 WITH SCORE 2.5530778822E7
AT ITER 147 NEW BEST:: SOT 133526129 SOS 82235827 HAS SOPS 66840679 HAS SOUS 26081787 HAS SOUPS 25444787 WITH SCORE 2.5527022827E7
AT ITER 154 NEW BEST:: SOT 133530324 SOS 82252180 HAS SOPS 66855117 HAS SOUS 26075607 HAS SOUPS 25438607 WITH SCORE 2.552085918E7
AT ITER 165 NEW BEST:: SOT 133532607 SOS 82257516 HAS SOPS 66859855 HAS SOUS 26068566 HAS SOUPS 25431566 WITH SCORE 2.5513823516E7
AT ITER 167 NEW BEST:: SOT 133502020 SOS 82216654 HAS SOPS 66848969 HAS SOUS 26042371 HAS SOUPS 25403940 WITH SCORE 2.5486156654E7
AT ITER 177 NEW BEST:: SOT 133496868 SOS 82212371 HAS SOPS 66842271 HAS SOUS 26031139 HAS SOUPS 25392745 WITH SCORE 2.5474957371E7
AT ITER 183 NEW BEST:: SOT 133489071 SOS 82165115 HAS SOPS 66793265 HAS SOUS 26030374 HAS SOUPS 25392039 WITH SCORE 2.5474204115E7
AT ITER 208 NEW BEST:: SOT 133492336 SOS 82180878 HAS SOPS 66801812 HAS SOUS 26023097 HAS SOUPS 25384762 WITH SCORE 2.5466942878E7
AT ITER 212 NEW BEST:: SOT 133485645 SOS 82172171 HAS SOPS 66788392 HAS SOUS 26008743 HAS SOUPS 25370408 WITH SCORE 2.5452580171E7
AT ITER 230 NEW BEST:: SOT 133491697 SOS 82173803 HAS SOPS 66787784 HAS SOUS 25994803 HAS SOUPS 25357201 WITH SCORE 2.5439374803E7
AT ITER 242 NEW BEST:: SOT 133469250 SOS 82142027 HAS SOPS 66752099 HAS SOUS 25958189 HAS SOUPS 25320587 WITH SCORE 2.5402729027E7
AT ITER 252 NEW BEST:: SOT 133464147 SOS 82131649 HAS SOPS 66737043 HAS SOUS 25948644 HAS SOUPS 25311042 WITH SCORE 2.5393173649E7
AT ITER 274 NEW BEST:: SOT 133462785 SOS 82133147 HAS SOPS 66740605 HAS SOUS 25948497 HAS SOUPS 25310981 WITH SCORE 2.5393114147E7
AT ITER 284 NEW BEST:: SOT 133465881 SOS 82143427 HAS SOPS 66745541 HAS SOUS 25939859 HAS SOUPS 25302343 WITH SCORE 2.5384486427E7
AT ITER 287 NEW BEST:: SOT 133417731 SOS 82095016 HAS SOPS 66686387 HAS SOUS 25854732 HAS SOUPS 25217188 WITH SCORE 2.5299283016E7
AT ITER 316 NEW BEST:: SOT 133476952 SOS 82235876 HAS SOPS 66807342 HAS SOUS 25845791 HAS SOUPS 25208247 WITH SCORE 2.5290482876E7
AT ITER 339 NEW BEST:: SOT 133471158 SOS 82229701 HAS SOPS 66801217 HAS SOUS 25831487 HAS SOUPS 25193993 WITH SCORE 2.5276222701E7
AT ITER 347 NEW BEST:: SOT 133467345 SOS 82226109 HAS SOPS 66799153 HAS SOUS 25817074 HAS SOUPS 25179580 WITH SCORE 2.5261806109E7
AT ITER 348 NEW BEST:: SOT 133460367 SOS 82200780 HAS SOPS 66794966 HAS SOUS 25796424 HAS SOUPS 25158930 WITH SCORE 2.524113078E7
AT ITER 350 NEW BEST:: SOT 133447621 SOS 82188279 HAS SOPS 66787278 HAS SOUS 25789274 HAS SOUPS 25151780 WITH SCORE 2.5233968279E7
AT ITER 351 NEW BEST:: SOT 133451107 SOS 82209116 HAS SOPS 66804261 HAS SOUS 25780097 HAS SOUPS 25142603 WITH SCORE 2.5224812116E7
AT ITER 352 NEW BEST:: SOT 133441766 SOS 82197402 HAS SOPS 66793611 HAS SOUS 25751976 HAS SOUPS 25114821 WITH SCORE 2.5197018402E7
AT ITER 362 NEW BEST:: SOT 133441516 SOS 82194425 HAS SOPS 66791023 HAS SOUS 25744839 HAS SOUPS 25107684 WITH SCORE 2.5189878425E7
AT ITER 373 NEW BEST:: SOT 133441866 SOS 82202539 HAS SOPS 66802316 HAS SOUS 25744377 HAS SOUPS 25107222 WITH SCORE 2.5189424539E7
AT ITER 376 NEW BEST:: SOT 133437316 SOS 82197989 HAS SOPS 66797766 HAS SOUS 25735593 HAS SOUPS 25098438 WITH SCORE 2.5180635989E7
AT ITER 424 NEW BEST:: SOT 133400530 SOS 82148322 HAS SOPS 66751381 HAS SOUS 25706828 HAS SOUPS 25069663 WITH SCORE 2.5151811322E7
AT ITER 427 NEW BEST:: SOT 133391215 SOS 82141604 HAS SOPS 66743796 HAS SOUS 25691671 HAS SOUPS 25054506 WITH SCORE 2.5136647604E7
AT ITER 449 NEW BEST:: SOT 133390134 SOS 82148529 HAS SOPS 66747603 HAS SOUS 25672464 HAS SOUPS 25035299 WITH SCORE 2.5117447529E7
AT ITER 458 NEW BEST:: SOT 133404556 SOS 82201643 HAS SOPS 66806788 HAS SOUS 25658157 HAS SOUPS 25020992 WITH SCORE 2.5103193643E7
AT ITER 467 NEW BEST:: SOT 133398359 SOS 82190202 HAS SOPS 66798608 HAS SOUS 25646002 HAS SOUPS 25008837 WITH SCORE 2.5091027202E7
AT ITER 468 NEW BEST:: SOT 133392127 SOS 82170405 HAS SOPS 66773350 HAS SOUS 25634705 HAS SOUPS 24997540 WITH SCORE 2.5079710405E7
AT ITER 477 NEW BEST:: SOT 133405385 SOS 82213957 HAS SOPS 66808025 HAS SOUS 25629510 HAS SOUPS 24992345 WITH SCORE 2.5074558957E7
AT ITER 492 NEW BEST:: SOT 133405430 SOS 82213982 HAS SOPS 66809202 HAS SOUS 25628235 HAS SOUPS 24992222 WITH SCORE 2.5074435982E7
AT ITER 505 NEW BEST:: SOT 133404355 SOS 82203979 HAS SOPS 66805010 HAS SOUS 25625477 HAS SOUPS 24989464 WITH SCORE 2.5071667979E7
AT ITER 509 NEW BEST:: SOT 133404122 SOS 82203388 HAS SOPS 66804767 HAS SOUS 25623757 HAS SOUPS 24987744 WITH SCORE 2.5069947388E7
AT ITER 513 NEW BEST:: SOT 133403855 SOS 82202876 HAS SOPS 66803098 HAS SOUS 25622662 HAS SOUPS 24986649 WITH SCORE 2.5068851876E7
AT ITER 521 NEW BEST:: SOT 133376977 SOS 82139821 HAS SOPS 66752197 HAS SOUS 25604930 HAS SOUPS 24968917 WITH SCORE 2.5051056821E7
AT ITER 541 NEW BEST:: SOT 133381098 SOS 82156501 HAS SOPS 66768674 HAS SOUS 25593563 HAS SOUPS 24957550 WITH SCORE 2.5039706501E7
AT ITER 545 NEW BEST:: SOT 133379034 SOS 82154807 HAS SOPS 66765595 HAS SOUS 25585507 HAS SOUPS 24949589 WITH SCORE 2.5031743807E7
AT ITER 549 NEW BEST:: SOT 133378813 SOS 82153454 HAS SOPS 66763902 HAS SOUS 25584988 HAS SOUPS 24949070 WITH SCORE 2.5031223454E7
AT ITER 552 NEW BEST:: SOT 133350997 SOS 82113702 HAS SOPS 66727836 HAS SOUS 25556242 HAS SOUPS 24920366 WITH SCORE 2.5002479702E7
AT ITER 607 NEW BEST:: SOT 133350927 SOS 82113374 HAS SOPS 66727267 HAS SOUS 25555650 HAS SOUPS 24919774 WITH SCORE 2.5001887374E7
AT ITER 611 NEW BEST:: SOT 133393612 SOS 82202326 HAS SOPS 66825209 HAS SOUS 25547586 HAS SOUPS 24911710 WITH SCORE 2.4993912326E7
AT ITER 612 NEW BEST:: SOT 133388561 SOS 82190097 HAS SOPS 66817723 HAS SOUS 25539490 HAS SOUPS 24903614 WITH SCORE 2.4985804097E7
AT ITER 615 NEW BEST:: SOT 133388640 SOS 82190386 HAS SOPS 66818300 HAS SOUS 25539355 HAS SOUPS 24903479 WITH SCORE 2.4985669386E7
AT ITER 622 NEW BEST:: SOT 133378221 SOS 82178485 HAS SOPS 66803442 HAS SOUS 25517646 HAS SOUPS 24881770 WITH SCORE 2.4963948485E7
AT ITER 630 NEW BEST:: SOT 133360096 SOS 82160360 HAS SOPS 66784581 HAS SOUS 25499729 HAS SOUPS 24863853 WITH SCORE 2.494601336E7
AT ITER 637 NEW BEST:: SOT 133376043 SOS 82184486 HAS SOPS 66811925 HAS SOUS 25498665 HAS SOUPS 24862789 WITH SCORE 2.4944973486E7
AT ITER 639 NEW BEST:: SOT 133401425 SOS 82241356 HAS SOPS 66852925 HAS SOUS 25498522 HAS SOUPS 24862646 WITH SCORE 2.4944887356E7
AT ITER 641 NEW BEST:: SOT 133400943 SOS 82242837 HAS SOPS 66855201 HAS SOUS 25494826 HAS SOUPS 24858985 WITH SCORE 2.4941227837E7
AT ITER 671 NEW BEST:: SOT 133393945 SOS 82225931 HAS SOPS 66842369 HAS SOUS 25490930 HAS SOUPS 24855089 WITH SCORE 2.4937314931E7
AT ITER 672 NEW BEST:: SOT 133393898 SOS 82225642 HAS SOPS 66842657 HAS SOUS 25490787 HAS SOUPS 24854946 WITH SCORE 2.4937171642E7
AT ITER 683 NEW BEST:: SOT 133373591 SOS 82199376 HAS SOPS 66821013 HAS SOUS 25465435 HAS SOUPS 24829594 WITH SCORE 2.4911793376E7
AT ITER 700 NEW BEST:: SOT 133380860 SOS 82208166 HAS SOPS 66836841 HAS SOUS 25433863 HAS SOUPS 24799106 WITH SCORE 2.4881314166E7
AT ITER 703 NEW BEST:: SOT 133377536 SOS 82203967 HAS SOPS 66828888 HAS SOUS 25428932 HAS SOUPS 24794124 WITH SCORE 2.4876327967E7
AT ITER 730 NEW BEST:: SOT 133382810 SOS 82218576 HAS SOPS 66840763 HAS SOUS 25424731 HAS SOUPS 24790032 WITH SCORE 2.4872250576E7
AT ITER 731 NEW BEST:: SOT 133404193 SOS 82285592 HAS SOPS 66898374 HAS SOUS 25423830 HAS SOUPS 24789131 WITH SCORE 2.4871416592E7
AT ITER 740 NEW BEST:: SOT 133397636 SOS 82285287 HAS SOPS 66895487 HAS SOUS 25387700 HAS SOUPS 24753001 WITH SCORE 2.4835286287E7
AT ITER 758 NEW BEST:: SOT 133408380 SOS 82302519 HAS SOPS 66917404 HAS SOUS 25382093 HAS SOUPS 24748931 WITH SCORE 2.4831233519E7
AT ITER 779 NEW BEST:: SOT 133399115 SOS 82291413 HAS SOPS 66911517 HAS SOUS 25357768 HAS SOUPS 24726358 WITH SCORE 2.4808649413E7
AT ITER 790 NEW BEST:: SOT 133399115 SOS 82287073 HAS SOPS 66906207 HAS SOUS 25357609 HAS SOUPS 24726199 WITH SCORE 2.4808486073E7
AT ITER 809 NEW BEST:: SOT 133396133 SOS 82284005 HAS SOPS 66906560 HAS SOUS 25355815 HAS SOUPS 24724405 WITH SCORE 2.4806689005E7
AT ITER 811 NEW BEST:: SOT 133390515 SOS 82277477 HAS SOPS 66899199 HAS SOUS 25339130 HAS SOUPS 24703760 WITH SCORE 2.4786037477E7
AT ITER 820 NEW BEST:: SOT 133395991 SOS 82285839 HAS SOPS 66907920 HAS SOUS 25337692 HAS SOUPS 24702266 WITH SCORE 2.4784551839E7
AT ITER 844 NEW BEST:: SOT 133400901 SOS 82312601 HAS SOPS 66944107 HAS SOUS 25327828 HAS SOUPS 24692402 WITH SCORE 2.4774714601E7
AT ITER 847 NEW BEST:: SOT 133415055 SOS 82354028 HAS SOPS 66977160 HAS SOUS 25320236 HAS SOUPS 24684810 WITH SCORE 2.4767164028E7
AT ITER 853 NEW BEST:: SOT 133417653 SOS 82353462 HAS SOPS 66977948 HAS SOUS 25317563 HAS SOUPS 24682132 WITH SCORE 2.4764485462E7
AT ITER 891 NEW BEST:: SOT 133363537 SOS 82250924 HAS SOPS 66910287 HAS SOUS 25275513 HAS SOUPS 24640493 WITH SCORE 2.4722743924E7
AT ITER 895 NEW BEST:: SOT 133362885 SOS 82249817 HAS SOPS 66924305 HAS SOUS 25273789 HAS SOUPS 24638769 WITH SCORE 2.4721018817E7
AT ITER 903 NEW BEST:: SOT 133363336 SOS 82253376 HAS SOPS 66941337 HAS SOUS 25257867 HAS SOUPS 24622847 WITH SCORE 2.4705100376E7
AT ITER 910 NEW BEST:: SOT 133361361 SOS 82249458 HAS SOPS 66938278 HAS SOUS 25257438 HAS SOUPS 24622418 WITH SCORE 2.4704667458E7
AT ITER 965 NEW BEST:: SOT 133358948 SOS 82247130 HAS SOPS 66936148 HAS SOUS 25251668 HAS SOUPS 24616648 WITH SCORE 2.469889513E7
AT ITER 971 NEW BEST:: SOT 133341951 SOS 82199175 HAS SOPS 66907254 HAS SOUS 25249602 HAS SOUPS 24614582 WITH SCORE 2.4696781175E7
AT ITER 972 NEW BEST:: SOT 133330575 SOS 82185998 HAS SOPS 66905171 HAS SOUS 25247889 HAS SOUPS 24612869 WITH SCORE 2.4695054998E7
AT ITER 976 NEW BEST:: SOT 133324071 SOS 82179104 HAS SOPS 66891733 HAS SOUS 25232223 HAS SOUPS 24597203 WITH SCORE 2.4679382104E7
AT ITER 988 NEW BEST:: SOT 133320479 SOS 82173993 HAS SOPS 66886869 HAS SOUS 25228569 HAS SOUPS 24593549 WITH SCORE 2.4675722993E7
AT ITER 1002 NEW BEST:: SOT 133293247 SOS 82141266 HAS SOPS 66856774 HAS SOUS 25195300 HAS SOUPS 24560280 WITH SCORE 2.4642421266E7
AT ITER 1006 NEW BEST:: SOT 133265366 SOS 82078475 HAS SOPS 66813334 HAS SOUS 25181301 HAS SOUPS 24546281 WITH SCORE 2.4628359475E7
AT ITER 1007 NEW BEST:: SOT 133235386 SOS 82009001 HAS SOPS 66759029 HAS SOUS 25163888 HAS SOUPS 24528868 WITH SCORE 2.4610877001E7
AT ITER 1014 NEW BEST:: SOT 133239415 SOS 82020214 HAS SOPS 66766880 HAS SOUS 25157745 HAS SOUPS 24522725 WITH SCORE 2.4604745214E7
AT ITER 1019 NEW BEST:: SOT 133240426 SOS 82028144 HAS SOPS 66775504 HAS SOUS 25156055 HAS SOUPS 24521035 WITH SCORE 2.4603063144E7
AT ITER 1031 NEW BEST:: SOT 133237016 SOS 82025202 HAS SOPS 66770573 HAS SOUS 25149576 HAS SOUPS 24514115 WITH SCORE 2.4596140202E7
AT ITER 1042 NEW BEST:: SOT 133231704 SOS 82024163 HAS SOPS 66766841 HAS SOUS 25133159 HAS SOUPS 24497698 WITH SCORE 2.4579722163E7
AT ITER 1047 NEW BEST:: SOT 133245208 SOS 82043278 HAS SOPS 66783221 HAS SOUS 25124126 HAS SOUPS 24488665 WITH SCORE 2.4570708278E7
AT ITER 1055 NEW BEST:: SOT 133242689 SOS 82033028 HAS SOPS 66773890 HAS SOUS 25122596 HAS SOUPS 24487135 WITH SCORE 2.4569168028E7
AT ITER 1065 NEW BEST:: SOT 133238228 SOS 82021338 HAS SOPS 66764161 HAS SOUS 25118817 HAS SOUPS 24483356 WITH SCORE 2.4565377338E7
AT ITER 1068 NEW BEST:: SOT 133204587 SOS 81954406 HAS SOPS 66709148 HAS SOUS 25077652 HAS SOUPS 24442191 WITH SCORE 2.4524145406E7
AT ITER 1074 NEW BEST:: SOT 133190333 SOS 81932074 HAS SOPS 66691052 HAS SOUS 25037012 HAS SOUPS 24402492 WITH SCORE 2.4484424074E7
AT ITER 1076 NEW BEST:: SOT 133187922 SOS 81929663 HAS SOPS 66687745 HAS SOUS 25031465 HAS SOUPS 24396945 WITH SCORE 2.4478874663E7
AT ITER 1080 NEW BEST:: SOT 133184937 SOS 81920919 HAS SOPS 66672104 HAS SOUS 25016077 HAS SOUPS 24381557 WITH SCORE 2.4463477919E7
AT ITER 1104 NEW BEST:: SOT 133189851 SOS 81932212 HAS SOPS 66682433 HAS SOUS 25015172 HAS SOUPS 24380652 WITH SCORE 2.4462584212E7
AT ITER 1116 NEW BEST:: SOT 133193165 SOS 81941065 HAS SOPS 66690767 HAS SOUS 25013772 HAS SOUPS 24379252 WITH SCORE 2.4461193065E7
AT ITER 1118 NEW BEST:: SOT 133195245 SOS 81944726 HAS SOPS 66693537 HAS SOUS 25008771 HAS SOUPS 24374251 WITH SCORE 2.4456195726E7
AT ITER 1131 NEW BEST:: SOT 133153431 SOS 81898570 HAS SOPS 66649619 HAS SOUS 24945700 HAS SOUPS 24311388 WITH SCORE 2.439328657E7
AT ITER 1143 NEW BEST:: SOT 133155842 SOS 81911273 HAS SOPS 66655757 HAS SOUS 24941544 HAS SOUPS 24307232 WITH SCORE 2.4389143273E7
AT ITER 1149 NEW BEST:: SOT 133150671 SOS 81895585 HAS SOPS 66643273 HAS SOUS 24939646 HAS SOUPS 24305334 WITH SCORE 2.4387229585E7
AT ITER 1169 NEW BEST:: SOT 133151159 SOS 81926340 HAS SOPS 66679545 HAS SOUS 24927054 HAS SOUPS 24292742 WITH SCORE 2.437466834E7
AT ITER 1173 NEW BEST:: SOT 133152688 SOS 81929595 HAS SOPS 66690067 HAS SOUS 24925712 HAS SOUPS 24291334 WITH SCORE 2.4373263595E7
AT ITER 1175 NEW BEST:: SOT 133105764 SOS 81870474 HAS SOPS 66620468 HAS SOUS 24898701 HAS SOUPS 24264323 WITH SCORE 2.4346193474E7
AT ITER 1177 NEW BEST:: SOT 133098403 SOS 81849393 HAS SOPS 66604962 HAS SOUS 24897555 HAS SOUPS 24263177 WITH SCORE 2.4345026393E7
AT ITER 1180 NEW BEST:: SOT 133097900 SOS 81851527 HAS SOPS 66606547 HAS SOUS 24895870 HAS SOUPS 24261492 WITH SCORE 2.4343343527E7
AT ITER 1185 NEW BEST:: SOT 133088340 SOS 81841967 HAS SOPS 66596283 HAS SOUS 24885718 HAS SOUPS 24251228 WITH SCORE 2.4333069967E7
AT ITER 1189 NEW BEST:: SOT 133070908 SOS 81812320 HAS SOPS 66571266 HAS SOUS 24839262 HAS SOUPS 24206179 WITH SCORE 2.428799132E7
AT ITER 1197 NEW BEST:: SOT 133068156 SOS 81814328 HAS SOPS 66572757 HAS SOUS 24819970 HAS SOUPS 24186887 WITH SCORE 2.4268701328E7
AT ITER 1203 NEW BEST:: SOT 133059584 SOS 81805676 HAS SOPS 66562714 HAS SOUS 24801326 HAS SOUPS 24168299 WITH SCORE 2.4250104676E7
AT ITER 1208 NEW BEST:: SOT 133058343 SOS 81800742 HAS SOPS 66561420 HAS SOUS 24796836 HAS SOUPS 24164246 WITH SCORE 2.4246046742E7
AT ITER 1239 NEW BEST:: SOT 133058385 SOS 81800895 HAS SOPS 66560996 HAS SOUS 24796370 HAS SOUPS 24163780 WITH SCORE 2.4245580895E7
AT ITER 1240 NEW BEST:: SOT 133057608 SOS 81799928 HAS SOPS 66560094 HAS SOUS 24794357 HAS SOUPS 24161772 WITH SCORE 2.4243571928E7
AT ITER 1242 NEW BEST:: SOT 133056856 SOS 81795479 HAS SOPS 66549845 HAS SOUS 24788847 HAS SOUPS 24156262 WITH SCORE 2.4238057479E7
AT ITER 1246 NEW BEST:: SOT 133057064 SOS 81795650 HAS SOPS 66548581 HAS SOUS 24785007 HAS SOUPS 24152822 WITH SCORE 2.423461765E7
AT ITER 1273 NEW BEST:: SOT 133071162 SOS 81841769 HAS SOPS 66586528 HAS SOUS 24777133 HAS SOUPS 24144945 WITH SCORE 2.4226786769E7
AT ITER 1275 NEW BEST:: SOT 133072099 SOS 81848442 HAS SOPS 66586369 HAS SOUS 24771885 HAS SOUPS 24139697 WITH SCORE 2.4221545442E7
AT ITER 1287 NEW BEST:: SOT 133073879 SOS 81864977 HAS SOPS 66594978 HAS SOUS 24769054 HAS SOUPS 24136759 WITH SCORE 2.4218623977E7
AT ITER 1290 NEW BEST:: SOT 133074699 SOS 81865158 HAS SOPS 66594372 HAS SOUS 24768287 HAS SOUPS 24135992 WITH SCORE 2.4217857158E7
AT ITER 1292 NEW BEST:: SOT 133074548 SOS 81863854 HAS SOPS 66595137 HAS SOUS 24764956 HAS SOUPS 24133143 WITH SCORE 2.4215006854E7
AT ITER 1296 NEW BEST:: SOT 133071701 SOS 81862196 HAS SOPS 66590504 HAS SOUS 24757998 HAS SOUPS 24126160 WITH SCORE 2.4208022196E7
AT ITER 1299 NEW BEST:: SOT 133072449 SOS 81865941 HAS SOPS 66593608 HAS SOUS 24756251 HAS SOUPS 24124413 WITH SCORE 2.4206278941E7
AT ITER 1307 NEW BEST:: SOT 133059933 SOS 81850226 HAS SOPS 66579561 HAS SOUS 24738625 HAS SOUPS 24105625 WITH SCORE 2.4187475226E7
AT ITER 1316 NEW BEST:: SOT 132988007 SOS 81776852 HAS SOPS 66505022 HAS SOUS 24644794 HAS SOUPS 24011909 WITH SCORE 2.4093685852E7
AT ITER 1321 NEW BEST:: SOT 132991929 SOS 81795395 HAS SOPS 66515363 HAS SOUS 24640198 HAS SOUPS 24007313 WITH SCORE 2.4089108395E7
AT ITER 1326 NEW BEST:: SOT 132974887 SOS 81750934 HAS SOPS 66486300 HAS SOUS 24639284 HAS SOUPS 24006399 WITH SCORE 2.4088149934E7
AT ITER 1340 NEW BEST:: SOT 132961819 SOS 81752922 HAS SOPS 66498024 HAS SOUS 24609308 HAS SOUPS 23976423 WITH SCORE 2.4058175922E7
AT ITER 1346 NEW BEST:: SOT 132963288 SOS 81754082 HAS SOPS 66507038 HAS SOUS 24591632 HAS SOUPS 23963739 WITH SCORE 2.4045493082E7
AT ITER 1353 NEW BEST:: SOT 132960975 SOS 81751536 HAS SOPS 66502804 HAS SOUS 24584077 HAS SOUPS 23956229 WITH SCORE 2.4037980536E7
AT ITER 1364 NEW BEST:: SOT 132960473 SOS 81750294 HAS SOPS 66499871 HAS SOUS 24581865 HAS SOUPS 23954017 WITH SCORE 2.4035767294E7
AT ITER 1366 NEW BEST:: SOT 132952631 SOS 81724610 HAS SOPS 66481658 HAS SOUS 24581599 HAS SOUPS 23953751 WITH SCORE 2.403547561E7
AT ITER 1379 NEW BEST:: SOT 132914360 SOS 81677081 HAS SOPS 66430428 HAS SOUS 24479812 HAS SOUPS 23852212 WITH SCORE 2.3933889081E7
AT ITER 1386 NEW BEST:: SOT 132912822 SOS 81677618 HAS SOPS 66435330 HAS SOUS 24478265 HAS SOUPS 23850665 WITH SCORE 2.3932342618E7
AT ITER 1396 NEW BEST:: SOT 132912885 SOS 81678283 HAS SOPS 66435729 HAS SOUS 24477299 HAS SOUPS 23849699 WITH SCORE 2.3931377283E7
AT ITER 1398 NEW BEST:: SOT 132923769 SOS 81704585 HAS SOPS 66456954 HAS SOUS 24463296 HAS SOUPS 23835696 WITH SCORE 2.3917400585E7
AT ITER 1404 NEW BEST:: SOT 132914859 SOS 81685372 HAS SOPS 66443928 HAS SOUS 24461991 HAS SOUPS 23834391 WITH SCORE 2.3916076372E7
AT ITER 1418 NEW BEST:: SOT 132848520 SOS 81579733 HAS SOPS 66384403 HAS SOUS 24400177 HAS SOUPS 23773233 WITH SCORE 2.3854812733E7
AT ITER 1419 NEW BEST:: SOT 132855789 SOS 81594310 HAS SOPS 66395944 HAS SOUS 24386361 HAS SOUPS 23759886 WITH SCORE 2.384148031E7
AT ITER 1428 NEW BEST:: SOT 132840766 SOS 81572089 HAS SOPS 66376709 HAS SOUS 24371376 HAS SOUPS 23744901 WITH SCORE 2.3826473089E7
AT ITER 1433 NEW BEST:: SOT 132837845 SOS 81567524 HAS SOPS 66372468 HAS SOUS 24368227 HAS SOUPS 23741752 WITH SCORE 2.3823319524E7
AT ITER 1434 NEW BEST:: SOT 132831930 SOS 81561359 HAS SOPS 66368758 HAS SOUS 24357817 HAS SOUPS 23731342 WITH SCORE 2.3812903359E7
AT ITER 1452 NEW BEST:: SOT 132828469 SOS 81548696 HAS SOPS 66367324 HAS SOUS 24330007 HAS SOUPS 23703532 WITH SCORE 2.3785080696E7
AT ITER 1455 NEW BEST:: SOT 132812053 SOS 81507078 HAS SOPS 66338193 HAS SOUS 24323634 HAS SOUPS 23697159 WITH SCORE 2.3778666078E7
AT ITER 1461 NEW BEST:: SOT 132808765 SOS 81504006 HAS SOPS 66332078 HAS SOUS 24311466 HAS SOUPS 23684991 WITH SCORE 2.3766495006E7
AT ITER 1468 NEW BEST:: SOT 132806620 SOS 81507395 HAS SOPS 66337951 HAS SOUS 24306179 HAS SOUPS 23679704 WITH SCORE 2.3761211395E7
AT ITER 1500 NEW BEST:: SOT 132783791 SOS 81470717 HAS SOPS 66305740 HAS SOUS 24274879 HAS SOUPS 23648687 WITH SCORE 2.3730157717E7
AT ITER 1529 NEW BEST:: SOT 132783799 SOS 81470989 HAS SOPS 66305830 HAS SOUS 24274834 HAS SOUPS 23648642 WITH SCORE 2.3730112989E7
AT ITER 1530 NEW BEST:: SOT 132788170 SOS 81479118 HAS SOPS 66302861 HAS SOUS 24247431 HAS SOUPS 23621239 WITH SCORE 2.3702718118E7
AT ITER 1534 NEW BEST:: SOT 132805973 SOS 81493225 HAS SOPS 66314808 HAS SOUS 24248244 HAS SOUPS 23620876 WITH SCORE 2.3702369225E7
AT ITER 1572 NEW BEST:: SOT 132805733 SOS 81492853 HAS SOPS 66314466 HAS SOUS 24248042 HAS SOUPS 23620674 WITH SCORE 2.3702166853E7
AT ITER 1577 NEW BEST:: SOT 132801559 SOS 81481173 HAS SOPS 66306861 HAS SOUS 24242215 HAS SOUPS 23614941 WITH SCORE 2.3696422173E7
AT ITER 1593 NEW BEST:: SOT 132779511 SOS 81460240 HAS SOPS 66286431 HAS SOUS 24209650 HAS SOUPS 23582497 WITH SCORE 2.366395724E7
AT ITER 1609 NEW BEST:: SOT 132779355 SOS 81460412 HAS SOPS 66286147 HAS SOUS 24208334 HAS SOUPS 23581181 WITH SCORE 2.3662641412E7
AT ITER 1612 NEW BEST:: SOT 132779363 SOS 81460516 HAS SOPS 66286099 HAS SOUS 24208264 HAS SOUPS 23581111 WITH SCORE 2.3662571516E7
AT ITER 1618 NEW BEST:: SOT 132774639 SOS 81452844 HAS SOPS 66282127 HAS SOUS 24207195 HAS SOUPS 23580042 WITH SCORE 2.3661494844E7
AT ITER 1620 NEW BEST:: SOT 132773183 SOS 81451405 HAS SOPS 66286766 HAS SOUS 24203328 HAS SOUPS 23576175 WITH SCORE 2.3657626405E7
AT ITER 1627 NEW BEST:: SOT 132773928 SOS 81452583 HAS SOPS 66287332 HAS SOUS 24199210 HAS SOUPS 23572057 WITH SCORE 2.3653509583E7
AT ITER 1630 NEW BEST:: SOT 132784542 SOS 81464446 HAS SOPS 66284164 HAS SOUS 24169890 HAS SOUPS 23542844 WITH SCORE 2.3624308446E7
AT ITER 1644 NEW BEST:: SOT 132782136 SOS 81463864 HAS SOPS 66279918 HAS SOUS 24160199 HAS SOUPS 23533153 WITH SCORE 2.3614616864E7
AT ITER 1647 NEW BEST:: SOT 132771962 SOS 81452742 HAS SOPS 66266444 HAS SOUS 24147324 HAS SOUPS 23520363 WITH SCORE 2.3601815742E7
AT ITER 1654 NEW BEST:: SOT 132765825 SOS 81445728 HAS SOPS 66260811 HAS SOUS 24142206 HAS SOUPS 23515475 WITH SCORE 2.3596920728E7
AT ITER 1685 NEW BEST:: SOT 132761112 SOS 81442142 HAS SOPS 66257755 HAS SOUS 24134395 HAS SOUPS 23507664 WITH SCORE 2.3589106142E7
AT ITER 1689 NEW BEST:: SOT 132755318 SOS 81428268 HAS SOPS 66247874 HAS SOUS 24126379 HAS SOUPS 23501024 WITH SCORE 2.3582452268E7
AT ITER 1699 NEW BEST:: SOT 132750110 SOS 81423558 HAS SOPS 66241797 HAS SOUS 24117757 HAS SOUPS 23492428 WITH SCORE 2.3573851558E7
AT ITER 1701 NEW BEST:: SOT 132747151 SOS 81420318 HAS SOPS 66237133 HAS SOUS 24111212 HAS SOUPS 23485883 WITH SCORE 2.3567303318E7
AT ITER 1722 NEW BEST:: SOT 132746004 SOS 81419193 HAS SOPS 66237704 HAS SOUS 24106882 HAS SOUPS 23482164 WITH SCORE 2.3563583193E7
AT ITER 1735 NEW BEST:: SOT 132744883 SOS 81414703 HAS SOPS 66239706 HAS SOUS 24103529 HAS SOUPS 23478930 WITH SCORE 2.3560344703E7
AT ITER 1761 NEW BEST:: SOT 132760937 SOS 81477279 HAS SOPS 66337443 HAS SOUS 24078111 HAS SOUPS 23453512 WITH SCORE 2.3534989279E7
AT ITER 1779 NEW BEST:: SOT 132729732 SOS 81443915 HAS SOPS 66298482 HAS SOUS 24015685 HAS SOUPS 23392721 WITH SCORE 2.3474164915E7
AT ITER 1784 NEW BEST:: SOT 132720217 SOS 81423533 HAS SOPS 66282699 HAS SOUS 23994535 HAS SOUPS 23371571 WITH SCORE 2.3452994533E7
AT ITER 1795 NEW BEST:: SOT 132683013 SOS 81385485 HAS SOPS 66236094 HAS SOUS 23944537 HAS SOUPS 23319991 WITH SCORE 2.3401376485E7
AT ITER 1833 NEW BEST:: SOT 132671974 SOS 81364594 HAS SOPS 66208732 HAS SOUS 23922320 HAS SOUPS 23297740 WITH SCORE 2.3379104594E7
AT ITER 1844 NEW BEST:: SOT 132654789 SOS 81342767 HAS SOPS 66197666 HAS SOUS 23867408 HAS SOUPS 23243019 WITH SCORE 2.3324361767E7
AT ITER 1850 NEW BEST:: SOT 132655052 SOS 81344870 HAS SOPS 66198961 HAS SOUS 23864559 HAS SOUPS 23240221 WITH SCORE 2.332156587E7
AT ITER 1853 NEW BEST:: SOT 132648944 SOS 81318470 HAS SOPS 66181433 HAS SOUS 23857752 HAS SOUPS 23234480 WITH SCORE 2.331579847E7
AT ITER 1858 NEW BEST:: SOT 132639284 SOS 81308588 HAS SOPS 66175070 HAS SOUS 23848151 HAS SOUPS 23229860 WITH SCORE 2.3311168588E7
AT ITER 1863 NEW BEST:: SOT 132638854 SOS 81308303 HAS SOPS 66176376 HAS SOUS 23847824 HAS SOUPS 23229533 WITH SCORE 2.3310841303E7
AT ITER 1865 NEW BEST:: SOT 132638298 SOS 81305309 HAS SOPS 66173434 HAS SOUS 23847687 HAS SOUPS 23229396 WITH SCORE 2.3310701309E7
AT ITER 1866 NEW BEST:: SOT 132639337 SOS 81307307 HAS SOPS 66173651 HAS SOUS 23847143 HAS SOUPS 23228852 WITH SCORE 2.3310159307E7
AT ITER 1870 NEW BEST:: SOT 132650340 SOS 81312230 HAS SOPS 66181624 HAS SOUS 23843003 HAS SOUPS 23224996 WITH SCORE 2.330630823E7
AT ITER 1886 NEW BEST:: SOT 132650382 SOS 81312672 HAS SOPS 66181905 HAS SOUS 23842903 HAS SOUPS 23224896 WITH SCORE 2.3306208672E7
AT ITER 1887 NEW BEST:: SOT 132648806 SOS 81309040 HAS SOPS 66174319 HAS SOUS 23831986 HAS SOUPS 23213979 WITH SCORE 2.329528804E7
AT ITER 1897 NEW BEST:: SOT 132676008 SOS 81381541 HAS SOPS 66267608 HAS SOUS 23816714 HAS SOUPS 23198707 WITH SCORE 2.3280088541E7
AT ITER 1899 NEW BEST:: SOT 132676640 SOS 81383631 HAS SOPS 66268099 HAS SOUS 23816000 HAS SOUPS 23197993 WITH SCORE 2.3279376631E7
AT ITER 1968 NEW BEST:: SOT 132678946 SOS 81394776 HAS SOPS 66282934 HAS SOUS 23792173 HAS SOUPS 23174166 WITH SCORE 2.3255560776E7
AT ITER 1981 NEW BEST:: SOT 132668411 SOS 81353552 HAS SOPS 66258479 HAS SOUS 23787615 HAS SOUPS 23169800 WITH SCORE 2.3251153552E7
AT ITER 2026 NEW BEST:: SOT 132673619 SOS 81375274 HAS SOPS 66282456 HAS SOUS 23785051 HAS SOUPS 23167236 WITH SCORE 2.3248611274E7
AT ITER 2028 NEW BEST:: SOT 132700957 SOS 81424646 HAS SOPS 66334073 HAS SOUS 23774838 HAS SOUPS 23157023 WITH SCORE 2.3238447646E7
AT ITER 2054 NEW BEST:: SOT 132694318 SOS 81442040 HAS SOPS 66374151 HAS SOUS 23749744 HAS SOUPS 23131929 WITH SCORE 2.321337104E7
AT ITER 2062 NEW BEST:: SOT 132666670 SOS 81390220 HAS SOPS 66326185 HAS SOUS 23720888 HAS SOUPS 23103161 WITH SCORE 2.318455122E7
AT ITER 2071 NEW BEST:: SOT 132566082 SOS 81198122 HAS SOPS 66171098 HAS SOUS 23621729 HAS SOUPS 23004115 WITH SCORE 2.3085313122E7
AT ITER 2076 NEW BEST:: SOT 132538990 SOS 81166783 HAS SOPS 66140618 HAS SOUS 23586805 HAS SOUPS 22969235 WITH SCORE 2.3050401783E7
AT ITER 2078 NEW BEST:: SOT 132537571 SOS 81161563 HAS SOPS 66126491 HAS SOUS 23581516 HAS SOUPS 22963946 WITH SCORE 2.3045107563E7
AT ITER 2081 NEW BEST:: SOT 132526116 SOS 81140963 HAS SOPS 66109419 HAS SOUS 23559997 HAS SOUPS 22942994 WITH SCORE 2.3024134963E7
AT ITER 2086 NEW BEST:: SOT 132517655 SOS 81097100 HAS SOPS 66077838 HAS SOUS 23544782 HAS SOUPS 22927779 WITH SCORE 2.30088761E7
AT ITER 2087 NEW BEST:: SOT 132581294 SOS 81281321 HAS SOPS 66216754 HAS SOUS 23528091 HAS SOUPS 22906283 WITH SCORE 2.2987564321E7
AT ITER 2098 NEW BEST:: SOT 132588681 SOS 81304265 HAS SOPS 66244522 HAS SOUS 23525818 HAS SOUPS 22904010 WITH SCORE 2.2985314265E7
AT ITER 2106 NEW BEST:: SOT 132597808 SOS 81343756 HAS SOPS 66281168 HAS SOUS 23492210 HAS SOUPS 22870402 WITH SCORE 2.2951745756E7
AT ITER 2111 NEW BEST:: SOT 132597715 SOS 81343830 HAS SOPS 66281019 HAS SOUS 23491332 HAS SOUPS 22869524 WITH SCORE 2.295086783E7
AT ITER 2140 NEW BEST:: SOT 132597171 SOS 81338178 HAS SOPS 66280163 HAS SOUS 23491314 HAS SOUPS 22869506 WITH SCORE 2.2950844178E7
AT ITER 2155 NEW BEST:: SOT 132667578 SOS 81398476 HAS SOPS 66310297 HAS SOUS 23471102 HAS SOUPS 22848926 WITH SCORE 2.2930324476E7
AT ITER 2158 NEW BEST:: SOT 132665983 SOS 81385521 HAS SOPS 66298163 HAS SOUS 23469735 HAS SOUPS 22847559 WITH SCORE 2.2928944521E7
AT ITER 2165 NEW BEST:: SOT 132659782 SOS 81372169 HAS SOPS 66286533 HAS SOUS 23467988 HAS SOUPS 22845812 WITH SCORE 2.2927184169E7
AT ITER 2175 NEW BEST:: SOT 132648021 SOS 81355225 HAS SOPS 66274341 HAS SOUS 23455923 HAS SOUPS 22833747 WITH SCORE 2.2915102225E7
AT ITER 2181 NEW BEST:: SOT 132651331 SOS 81358372 HAS SOPS 66277273 HAS SOUS 23455200 HAS SOUPS 22833024 WITH SCORE 2.2914382372E7
AT ITER 2186 NEW BEST:: SOT 132683822 SOS 81486487 HAS SOPS 66386363 HAS SOUS 23441132 HAS SOUPS 22818956 WITH SCORE 2.2900442487E7
AT ITER 2189 NEW BEST:: SOT 132714138 SOS 81577773 HAS SOPS 66451854 HAS SOUS 23435337 HAS SOUPS 22813161 WITH SCORE 2.2894738773E7
AT ITER 2200 NEW BEST:: SOT 132723602 SOS 81614463 HAS SOPS 66505984 HAS SOUS 23431893 HAS SOUPS 22809717 WITH SCORE 2.2891331463E7
AT ITER 2201 NEW BEST:: SOT 132722636 SOS 81615785 HAS SOPS 66506136 HAS SOUS 23425392 HAS SOUPS 22803224 WITH SCORE 2.2884839785E7
AT ITER 2204 NEW BEST:: SOT 132772928 SOS 81767026 HAS SOPS 66638419 HAS SOUS 23399775 HAS SOUPS 22777607 WITH SCORE 2.2859374026E7
AT ITER 2226 NEW BEST:: SOT 132774933 SOS 81766250 HAS SOPS 66638048 HAS SOUS 23396816 HAS SOUPS 22774729 WITH SCORE 2.285649525E7
AT ITER 2247 NEW BEST:: SOT 132775101 SOS 81766528 HAS SOPS 66637843 HAS SOUS 23395650 HAS SOUPS 22773563 WITH SCORE 2.2855329528E7
AT ITER 2278 NEW BEST:: SOT 132782061 SOS 81790450 HAS SOPS 66652529 HAS SOUS 23385802 HAS SOUPS 22763715 WITH SCORE 2.284550545E7
AT ITER 2288 NEW BEST:: SOT 132781364 SOS 81793909 HAS SOPS 66655339 HAS SOUS 23382292 HAS SOUPS 22760205 WITH SCORE 2.2841998909E7
AT ITER 2289 NEW BEST:: SOT 132781777 SOS 81791568 HAS SOPS 66654324 HAS SOUS 23379245 HAS SOUPS 22757158 WITH SCORE 2.2838949568E7
AT ITER 2310 NEW BEST:: SOT 132779115 SOS 81785504 HAS SOPS 66647555 HAS SOUS 23377120 HAS SOUPS 22755033 WITH SCORE 2.2836818504E7
AT ITER 2316 NEW BEST:: SOT 132752967 SOS 81759328 HAS SOPS 66621395 HAS SOUS 23349596 HAS SOUPS 22727525 WITH SCORE 2.2809284328E7
AT ITER 2321 NEW BEST:: SOT 132733215 SOS 81729265 HAS SOPS 66600906 HAS SOUS 23318656 HAS SOUPS 22696629 WITH SCORE 2.2778358265E7
AT ITER 2325 NEW BEST:: SOT 132752176 SOS 81774243 HAS SOPS 66629136 HAS SOUS 23311580 HAS SOUPS 22689553 WITH SCORE 2.2771327243E7
AT ITER 2340 NEW BEST:: SOT 132753984 SOS 81786421 HAS SOPS 66638225 HAS SOUS 23301346 HAS SOUPS 22679319 WITH SCORE 2.2761105421E7
AT ITER 2341 NEW BEST:: SOT 132775167 SOS 81848797 HAS SOPS 66710084 HAS SOUS 23288612 HAS SOUPS 22666585 WITH SCORE 2.2748433797E7
AT ITER 2346 NEW BEST:: SOT 132738134 SOS 81749090 HAS SOPS 66647226 HAS SOUS 23280459 HAS SOUPS 22658432 WITH SCORE 2.274018109E7
AT ITER 2353 NEW BEST:: SOT 132706062 SOS 81712822 HAS SOPS 66588225 HAS SOUS 23232619 HAS SOUPS 22611021 WITH SCORE 2.2692733822E7
AT ITER 2359 NEW BEST:: SOT 132691360 SOS 81690300 HAS SOPS 66566908 HAS SOUS 23218599 HAS SOUPS 22597001 WITH SCORE 2.26786913E7

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb114-PT-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 RERS17pb114-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-158961502300076"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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