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-158961502400108.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-5, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502400108
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1589715475017

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 5
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 13 NEW BEST:: SOT 133649843 SOS 82198774 HAS SOPS 66749629 HAS SOUS 26440794 HAS SOUPS 25810103 WITH SCORE 2.5892301774E7
AT ITER 23 NEW BEST:: SOT 133638154 SOS 82163316 HAS SOPS 66729424 HAS SOUS 26439412 HAS SOUPS 25808721 WITH SCORE 2.5890884316E7
AT ITER 24 NEW BEST:: SOT 133647094 SOS 82212057 HAS SOPS 66766281 HAS SOUS 26436581 HAS SOUPS 25805890 WITH SCORE 2.5888102057E7
AT ITER 32 NEW BEST:: SOT 133664591 SOS 82258762 HAS SOPS 66849712 HAS SOUS 26424926 HAS SOUPS 25796427 WITH SCORE 2.5878685762E7
AT ITER 52 NEW BEST:: SOT 133648786 SOS 82234170 HAS SOPS 66830965 HAS SOUS 26402635 HAS SOUPS 25774997 WITH SCORE 2.585723117E7
AT ITER 59 NEW BEST:: SOT 133595913 SOS 82149886 HAS SOPS 66769787 HAS SOUS 26353837 HAS SOUPS 25727342 WITH SCORE 2.5809491886E7
AT ITER 60 NEW BEST:: SOT 133651075 SOS 82285036 HAS SOPS 66915560 HAS SOUS 26331549 HAS SOUPS 25705054 WITH SCORE 2.5787339036E7
AT ITER 73 NEW BEST:: SOT 133655308 SOS 82310054 HAS SOPS 66936271 HAS SOUS 26326587 HAS SOUPS 25700092 WITH SCORE 2.5782402054E7
AT ITER 79 NEW BEST:: SOT 133674546 SOS 82361961 HAS SOPS 66985757 HAS SOUS 26318737 HAS SOUPS 25692242 WITH SCORE 2.5774603961E7
AT ITER 93 NEW BEST:: SOT 133662885 SOS 82343998 HAS SOPS 66968410 HAS SOUS 26291231 HAS SOUPS 25664736 WITH SCORE 2.5747079998E7
AT ITER 95 NEW BEST:: SOT 133635667 SOS 82300081 HAS SOPS 66930794 HAS SOUS 26252136 HAS SOUPS 25625641 WITH SCORE 2.5707941081E7
AT ITER 101 NEW BEST:: SOT 133631349 SOS 82327831 HAS SOPS 66953184 HAS SOUS 26228646 HAS SOUPS 25601891 WITH SCORE 2.5684218831E7
AT ITER 102 NEW BEST:: SOT 133581840 SOS 82278319 HAS SOPS 66902840 HAS SOUS 26165712 HAS SOUPS 25538957 WITH SCORE 2.5621235319E7
AT ITER 117 NEW BEST:: SOT 133581685 SOS 82285083 HAS SOPS 66929404 HAS SOUS 26165133 HAS SOUPS 25538378 WITH SCORE 2.5620663083E7
AT ITER 124 NEW BEST:: SOT 133556376 SOS 82249108 HAS SOPS 66897334 HAS SOUS 26126469 HAS SOUPS 25499714 WITH SCORE 2.5581963108E7
AT ITER 126 NEW BEST:: SOT 133555686 SOS 82250624 HAS SOPS 66899161 HAS SOUS 26116697 HAS SOUPS 25489971 WITH SCORE 2.5572221624E7
AT ITER 129 NEW BEST:: SOT 133533054 SOS 82208480 HAS SOPS 66876429 HAS SOUS 26099965 HAS SOUPS 25473239 WITH SCORE 2.555544748E7
AT ITER 132 NEW BEST:: SOT 133532886 SOS 82209314 HAS SOPS 66876440 HAS SOUS 26099547 HAS SOUPS 25472821 WITH SCORE 2.5555030314E7
AT ITER 147 NEW BEST:: SOT 133534654 SOS 82216710 HAS SOPS 66882497 HAS SOUS 26097784 HAS SOUPS 25471058 WITH SCORE 2.555327471E7
AT ITER 151 NEW BEST:: SOT 133536452 SOS 82227377 HAS SOPS 66896713 HAS SOUS 26092011 HAS SOUPS 25465285 WITH SCORE 2.5547512377E7
AT ITER 153 NEW BEST:: SOT 133534506 SOS 82223164 HAS SOPS 66891855 HAS SOUS 26074190 HAS SOUPS 25447464 WITH SCORE 2.5529687164E7
AT ITER 155 NEW BEST:: SOT 133535773 SOS 82224239 HAS SOPS 66894146 HAS SOUS 26068724 HAS SOUPS 25442150 WITH SCORE 2.5524374239E7
AT ITER 158 NEW BEST:: SOT 133506750 SOS 82179844 HAS SOPS 66861036 HAS SOUS 26041356 HAS SOUPS 25414949 WITH SCORE 2.5497128844E7
AT ITER 168 NEW BEST:: SOT 133501608 SOS 82169704 HAS SOPS 66852387 HAS SOUS 26035854 HAS SOUPS 25409468 WITH SCORE 2.5491637704E7
AT ITER 185 NEW BEST:: SOT 133485639 SOS 82133938 HAS SOPS 66838284 HAS SOUS 26027217 HAS SOUPS 25401063 WITH SCORE 2.5483196938E7
AT ITER 222 NEW BEST:: SOT 133486333 SOS 82136828 HAS SOPS 66838580 HAS SOUS 26024393 HAS SOUPS 25397908 WITH SCORE 2.5480044828E7
AT ITER 242 NEW BEST:: SOT 133486861 SOS 82138736 HAS SOPS 66840126 HAS SOUS 26023996 HAS SOUPS 25397511 WITH SCORE 2.5479649736E7
AT ITER 256 NEW BEST:: SOT 133485979 SOS 82137970 HAS SOPS 66838617 HAS SOUS 26021853 HAS SOUPS 25395368 WITH SCORE 2.547750597E7
AT ITER 260 NEW BEST:: SOT 133629044 SOS 82434176 HAS SOPS 67124759 HAS SOUS 25999118 HAS SOUPS 25355444 WITH SCORE 2.5437878176E7
AT ITER 317 NEW BEST:: SOT 133632660 SOS 82441816 HAS SOPS 67128973 HAS SOUS 25988358 HAS SOUPS 25344824 WITH SCORE 2.5427265816E7
AT ITER 321 NEW BEST:: SOT 133632757 SOS 82438970 HAS SOPS 67123521 HAS SOUS 25985418 HAS SOUPS 25341785 WITH SCORE 2.542422397E7
AT ITER 323 NEW BEST:: SOT 133630327 SOS 82439962 HAS SOPS 67121857 HAS SOUS 25976596 HAS SOUPS 25332963 WITH SCORE 2.5415402962E7
AT ITER 326 NEW BEST:: SOT 133646752 SOS 82479394 HAS SOPS 67148964 HAS SOUS 25969858 HAS SOUPS 25326225 WITH SCORE 2.5408704394E7
AT ITER 348 NEW BEST:: SOT 133645645 SOS 82477211 HAS SOPS 67146992 HAS SOUS 25968957 HAS SOUPS 25325324 WITH SCORE 2.5407801211E7
AT ITER 355 NEW BEST:: SOT 133665589 SOS 82537467 HAS SOPS 67203718 HAS SOUS 25943235 HAS SOUPS 25299602 WITH SCORE 2.5382139467E7
AT ITER 377 NEW BEST:: SOT 133677563 SOS 82561480 HAS SOPS 67275151 HAS SOUS 25918330 HAS SOUPS 25276388 WITH SCORE 2.535894948E7
AT ITER 388 NEW BEST:: SOT 133679511 SOS 82570979 HAS SOPS 67280384 HAS SOUS 25914444 HAS SOUPS 25272502 WITH SCORE 2.5355072979E7
AT ITER 395 NEW BEST:: SOT 133680517 SOS 82573870 HAS SOPS 67279729 HAS SOUS 25910826 HAS SOUPS 25268884 WITH SCORE 2.535145787E7
AT ITER 407 NEW BEST:: SOT 133708855 SOS 82627263 HAS SOPS 67337565 HAS SOUS 25909083 HAS SOUPS 25267141 WITH SCORE 2.5349768263E7
AT ITER 413 NEW BEST:: SOT 133707578 SOS 82623554 HAS SOPS 67333392 HAS SOUS 25908289 HAS SOUPS 25266331 WITH SCORE 2.5348954554E7
AT ITER 415 NEW BEST:: SOT 133703598 SOS 82631560 HAS SOPS 67335656 HAS SOUS 25861528 HAS SOUPS 25219570 WITH SCORE 2.530220156E7
AT ITER 417 NEW BEST:: SOT 133703379 SOS 82629757 HAS SOPS 67334069 HAS SOUS 25860613 HAS SOUPS 25218655 WITH SCORE 2.5301284757E7
AT ITER 421 NEW BEST:: SOT 133701393 SOS 82625729 HAS SOPS 67331846 HAS SOUS 25854020 HAS SOUPS 25212062 WITH SCORE 2.5294687729E7
AT ITER 424 NEW BEST:: SOT 133701499 SOS 82625907 HAS SOPS 67331597 HAS SOUS 25854084 HAS SOUPS 25211624 WITH SCORE 2.5294249907E7
AT ITER 425 NEW BEST:: SOT 133711158 SOS 82684357 HAS SOPS 67377605 HAS SOUS 25846447 HAS SOUPS 25203987 WITH SCORE 2.5286671357E7
AT ITER 437 NEW BEST:: SOT 133707729 SOS 82677302 HAS SOPS 67371691 HAS SOUS 25844312 HAS SOUPS 25201852 WITH SCORE 2.5284529302E7
AT ITER 442 NEW BEST:: SOT 133700599 SOS 82668321 HAS SOPS 67364577 HAS SOUS 25805441 HAS SOUPS 25163824 WITH SCORE 2.5246492321E7
AT ITER 466 NEW BEST:: SOT 133628257 SOS 82595534 HAS SOPS 67291790 HAS SOUS 25696044 HAS SOUPS 25054427 WITH SCORE 2.5137022534E7
AT ITER 496 NEW BEST:: SOT 133630289 SOS 82604826 HAS SOPS 67294248 HAS SOUS 25691044 HAS SOUPS 25049427 WITH SCORE 2.5132031826E7
AT ITER 502 NEW BEST:: SOT 133626690 SOS 82601236 HAS SOPS 67290691 HAS SOUS 25688457 HAS SOUPS 25045988 WITH SCORE 2.5128589236E7
AT ITER 504 NEW BEST:: SOT 133606584 SOS 82553747 HAS SOPS 67249602 HAS SOUS 25677716 HAS SOUPS 25035247 WITH SCORE 2.5117800747E7
AT ITER 517 NEW BEST:: SOT 133602290 SOS 82542258 HAS SOPS 67241977 HAS SOUS 25677417 HAS SOUPS 25034948 WITH SCORE 2.5117490258E7
AT ITER 532 NEW BEST:: SOT 133597437 SOS 82536926 HAS SOPS 67236821 HAS SOUS 25666415 HAS SOUPS 25023946 WITH SCORE 2.5106482926E7
AT ITER 533 NEW BEST:: SOT 133594248 SOS 82521027 HAS SOPS 67238553 HAS SOUS 25663548 HAS SOUPS 25021079 WITH SCORE 2.5103600027E7
AT ITER 537 NEW BEST:: SOT 133594010 SOS 82521936 HAS SOPS 67240707 HAS SOUS 25662954 HAS SOUPS 25020485 WITH SCORE 2.5103006936E7
AT ITER 543 NEW BEST:: SOT 133608970 SOS 82536465 HAS SOPS 67270864 HAS SOUS 25653871 HAS SOUPS 25011675 WITH SCORE 2.5094211465E7
AT ITER 547 NEW BEST:: SOT 133621994 SOS 82556163 HAS SOPS 67278504 HAS SOUS 25652094 HAS SOUPS 25009898 WITH SCORE 2.5092454163E7
AT ITER 551 NEW BEST:: SOT 133621826 SOS 82555331 HAS SOPS 67277936 HAS SOUS 25652013 HAS SOUPS 25009817 WITH SCORE 2.5092372331E7
AT ITER 552 NEW BEST:: SOT 133633225 SOS 82599590 HAS SOPS 67321612 HAS SOUS 25643410 HAS SOUPS 25001214 WITH SCORE 2.508381359E7
AT ITER 576 NEW BEST:: SOT 133634436 SOS 82601508 HAS SOPS 67322590 HAS SOUS 25643131 HAS SOUPS 25000935 WITH SCORE 2.5083536508E7
AT ITER 581 NEW BEST:: SOT 133625509 SOS 82582399 HAS SOPS 67306335 HAS SOUS 25629319 HAS SOUPS 24987123 WITH SCORE 2.5069705399E7
AT ITER 585 NEW BEST:: SOT 133594309 SOS 82552401 HAS SOPS 67294721 HAS SOUS 25545058 HAS SOUPS 24903596 WITH SCORE 2.4986148401E7
AT ITER 592 NEW BEST:: SOT 133486574 SOS 82421789 HAS SOPS 67174447 HAS SOUS 25437220 HAS SOUPS 24796126 WITH SCORE 2.4878547789E7
AT ITER 593 NEW BEST:: SOT 133486134 SOS 82424070 HAS SOPS 67175279 HAS SOUS 25435295 HAS SOUPS 24794201 WITH SCORE 2.487662507E7
AT ITER 599 NEW BEST:: SOT 133483331 SOS 82419319 HAS SOPS 67170366 HAS SOUS 25429474 HAS SOUPS 24788924 WITH SCORE 2.4871343319E7
AT ITER 618 NEW BEST:: SOT 133533913 SOS 82532477 HAS SOPS 67279078 HAS SOUS 25406599 HAS SOUPS 24766049 WITH SCORE 2.4848581477E7
AT ITER 633 NEW BEST:: SOT 133534120 SOS 82536829 HAS SOPS 67296157 HAS SOUS 25395185 HAS SOUPS 24754494 WITH SCORE 2.4837030829E7
AT ITER 635 NEW BEST:: SOT 133531626 SOS 82516459 HAS SOPS 67285429 HAS SOUS 25389240 HAS SOUPS 24748549 WITH SCORE 2.4831065459E7
AT ITER 650 NEW BEST:: SOT 133533532 SOS 82522817 HAS SOPS 67288911 HAS SOUS 25387222 HAS SOUPS 24746531 WITH SCORE 2.4829053817E7
AT ITER 651 NEW BEST:: SOT 133533389 SOS 82522605 HAS SOPS 67288807 HAS SOUS 25386674 HAS SOUPS 24746013 WITH SCORE 2.4828535605E7
AT ITER 667 NEW BEST:: SOT 133463956 SOS 82453172 HAS SOPS 67219374 HAS SOUS 25282259 HAS SOUPS 24641598 WITH SCORE 2.4724051172E7
AT ITER 675 NEW BEST:: SOT 133468815 SOS 82472325 HAS SOPS 67234666 HAS SOUS 25271132 HAS SOUPS 24630684 WITH SCORE 2.4713156325E7
AT ITER 695 NEW BEST:: SOT 133469089 SOS 82475212 HAS SOPS 67237678 HAS SOUS 25267032 HAS SOUPS 24626523 WITH SCORE 2.4708998212E7
AT ITER 709 NEW BEST:: SOT 133474491 SOS 82540858 HAS SOPS 67255460 HAS SOUS 25234972 HAS SOUPS 24593769 WITH SCORE 2.4676309858E7
AT ITER 738 NEW BEST:: SOT 133463213 SOS 82523553 HAS SOPS 67262012 HAS SOUS 25223546 HAS SOUPS 24582589 WITH SCORE 2.4665112553E7
AT ITER 739 NEW BEST:: SOT 133473022 SOS 82547797 HAS SOPS 67281194 HAS SOUS 25223292 HAS SOUPS 24582335 WITH SCORE 2.4664882797E7
AT ITER 765 NEW BEST:: SOT 133448485 SOS 82532590 HAS SOPS 67254073 HAS SOUS 25160833 HAS SOUPS 24519876 WITH SCORE 2.460240859E7
AT ITER 769 NEW BEST:: SOT 133448975 SOS 82531764 HAS SOPS 67251123 HAS SOUS 25160688 HAS SOUPS 24519731 WITH SCORE 2.4602262764E7
AT ITER 782 NEW BEST:: SOT 133416297 SOS 82469397 HAS SOPS 67202159 HAS SOUS 25128295 HAS SOUPS 24487338 WITH SCORE 2.4569807397E7
AT ITER 790 NEW BEST:: SOT 133405604 SOS 82466709 HAS SOPS 67194385 HAS SOUS 25088980 HAS SOUPS 24447915 WITH SCORE 2.4530381709E7
AT ITER 791 NEW BEST:: SOT 133405881 SOS 82454372 HAS SOPS 67183975 HAS SOUS 25088974 HAS SOUPS 24447909 WITH SCORE 2.4530363372E7
AT ITER 804 NEW BEST:: SOT 133401863 SOS 82441669 HAS SOPS 67178622 HAS SOUS 25077934 HAS SOUPS 24436869 WITH SCORE 2.4519310669E7
AT ITER 816 NEW BEST:: SOT 133389861 SOS 82428171 HAS SOPS 67173721 HAS SOUS 25063505 HAS SOUPS 24422440 WITH SCORE 2.4504868171E7
AT ITER 835 NEW BEST:: SOT 133395348 SOS 82452906 HAS SOPS 67235850 HAS SOUS 25029363 HAS SOUPS 24388298 WITH SCORE 2.4470750906E7
AT ITER 849 NEW BEST:: SOT 133400986 SOS 82466156 HAS SOPS 67253832 HAS SOUS 25023844 HAS SOUPS 24382855 WITH SCORE 2.4465321156E7
AT ITER 884 NEW BEST:: SOT 133399982 SOS 82462895 HAS SOPS 67250943 HAS SOUS 25021702 HAS SOUPS 24380739 WITH SCORE 2.4463201895E7
AT ITER 906 NEW BEST:: SOT 133403286 SOS 82488924 HAS SOPS 67268436 HAS SOUS 25007889 HAS SOUPS 24366926 WITH SCORE 2.4449414924E7
AT ITER 908 NEW BEST:: SOT 133402054 SOS 82487853 HAS SOPS 67265823 HAS SOUS 25002848 HAS SOUPS 24361885 WITH SCORE 2.4444372853E7
AT ITER 919 NEW BEST:: SOT 133408798 SOS 82506992 HAS SOPS 67283333 HAS SOUS 24998650 HAS SOUPS 24357687 WITH SCORE 2.4440193992E7
AT ITER 931 NEW BEST:: SOT 133407359 SOS 82504007 HAS SOPS 67279641 HAS SOUS 24995797 HAS SOUPS 24354834 WITH SCORE 2.4437338007E7
AT ITER 957 NEW BEST:: SOT 133400706 SOS 82495186 HAS SOPS 67272887 HAS SOUS 24981264 HAS SOUPS 24341086 WITH SCORE 2.4423581186E7
AT ITER 960 NEW BEST:: SOT 133400853 SOS 82495325 HAS SOPS 67271475 HAS SOUS 24977162 HAS SOUPS 24336984 WITH SCORE 2.4419479325E7
AT ITER 975 NEW BEST:: SOT 133395799 SOS 82490466 HAS SOPS 67267176 HAS SOUS 24974169 HAS SOUPS 24333991 WITH SCORE 2.4416481466E7
AT ITER 987 NEW BEST:: SOT 133385754 SOS 82480225 HAS SOPS 67255214 HAS SOUS 24949416 HAS SOUPS 24309238 WITH SCORE 2.4391718225E7
AT ITER 1003 NEW BEST:: SOT 133381855 SOS 82474628 HAS SOPS 67247906 HAS SOUS 24941860 HAS SOUPS 24301682 WITH SCORE 2.4384156628E7
AT ITER 1012 NEW BEST:: SOT 133383688 SOS 82494198 HAS SOPS 67278198 HAS SOUS 24936477 HAS SOUPS 24296299 WITH SCORE 2.4378793198E7
AT ITER 1020 NEW BEST:: SOT 133382123 SOS 82498332 HAS SOPS 67287114 HAS SOUS 24925642 HAS SOUPS 24285464 WITH SCORE 2.4367962332E7
AT ITER 1021 NEW BEST:: SOT 133381098 SOS 82518590 HAS SOPS 67316374 HAS SOUS 24905535 HAS SOUPS 24265357 WITH SCORE 2.434787559E7
AT ITER 1023 NEW BEST:: SOT 133379919 SOS 82525469 HAS SOPS 67320172 HAS SOUS 24890336 HAS SOUPS 24250158 WITH SCORE 2.4332683469E7
AT ITER 1026 NEW BEST:: SOT 133383202 SOS 82527072 HAS SOPS 67325960 HAS SOUS 24864080 HAS SOUPS 24223944 WITH SCORE 2.4306471072E7
AT ITER 1030 NEW BEST:: SOT 133374831 SOS 82518575 HAS SOPS 67314649 HAS SOUS 24860610 HAS SOUPS 24220386 WITH SCORE 2.4302904575E7
AT ITER 1031 NEW BEST:: SOT 133375464 SOS 82520675 HAS SOPS 67316281 HAS SOUS 24860254 HAS SOUPS 24220030 WITH SCORE 2.4302550675E7
AT ITER 1032 NEW BEST:: SOT 133370774 SOS 82506155 HAS SOPS 67318365 HAS SOUS 24858602 HAS SOUPS 24218378 WITH SCORE 2.4300884155E7
AT ITER 1035 NEW BEST:: SOT 133374571 SOS 82512820 HAS SOPS 67326287 HAS SOUS 24854768 HAS SOUPS 24214544 WITH SCORE 2.429705682E7
AT ITER 1055 NEW BEST:: SOT 133374580 SOS 82512828 HAS SOPS 67326280 HAS SOUS 24854713 HAS SOUPS 24214489 WITH SCORE 2.4297001828E7
AT ITER 1061 NEW BEST:: SOT 133375387 SOS 82519108 HAS SOPS 67329422 HAS SOUS 24844702 HAS SOUPS 24204424 WITH SCORE 2.4286943108E7
AT ITER 1066 NEW BEST:: SOT 133374945 SOS 82518670 HAS SOPS 67328792 HAS SOUS 24844200 HAS SOUPS 24203858 WITH SCORE 2.428637667E7
AT ITER 1070 NEW BEST:: SOT 133385631 SOS 82541457 HAS SOPS 67343251 HAS SOUS 24842873 HAS SOUPS 24202531 WITH SCORE 2.4285072457E7
AT ITER 1073 NEW BEST:: SOT 133394805 SOS 82567982 HAS SOPS 67363623 HAS SOUS 24841650 HAS SOUPS 24200984 WITH SCORE 2.4283551982E7
AT ITER 1075 NEW BEST:: SOT 133412011 SOS 82667561 HAS SOPS 67441662 HAS SOUS 24818375 HAS SOUPS 24177709 WITH SCORE 2.4260376561E7
AT ITER 1080 NEW BEST:: SOT 133394514 SOS 82635013 HAS SOPS 67418573 HAS SOUS 24804216 HAS SOUPS 24163550 WITH SCORE 2.4246185013E7
AT ITER 1083 NEW BEST:: SOT 133394605 SOS 82636776 HAS SOPS 67421826 HAS SOUS 24803967 HAS SOUPS 24163301 WITH SCORE 2.4245937776E7
AT ITER 1088 NEW BEST:: SOT 133392653 SOS 82634662 HAS SOPS 67420183 HAS SOUS 24800257 HAS SOUPS 24159618 WITH SCORE 2.4242252662E7
AT ITER 1091 NEW BEST:: SOT 133372250 SOS 82584853 HAS SOPS 67385589 HAS SOUS 24788651 HAS SOUPS 24148012 WITH SCORE 2.4230596853E7
AT ITER 1099 NEW BEST:: SOT 133371998 SOS 82586841 HAS SOPS 67382690 HAS SOUS 24781157 HAS SOUPS 24140518 WITH SCORE 2.4223104841E7
AT ITER 1106 NEW BEST:: SOT 133371804 SOS 82586742 HAS SOPS 67382064 HAS SOUS 24779980 HAS SOUPS 24139341 WITH SCORE 2.4221927742E7
AT ITER 1109 NEW BEST:: SOT 133366414 SOS 82575790 HAS SOPS 67370946 HAS SOUS 24770734 HAS SOUPS 24130095 WITH SCORE 2.421267079E7
AT ITER 1114 NEW BEST:: SOT 133365300 SOS 82575896 HAS SOPS 67371553 HAS SOUS 24770503 HAS SOUPS 24129864 WITH SCORE 2.4212439896E7
AT ITER 1115 NEW BEST:: SOT 133360412 SOS 82559554 HAS SOPS 67359715 HAS SOUS 24770263 HAS SOUPS 24129624 WITH SCORE 2.4212183554E7
AT ITER 1123 NEW BEST:: SOT 133357320 SOS 82551422 HAS SOPS 67353676 HAS SOUS 24766661 HAS SOUPS 24126022 WITH SCORE 2.4208573422E7
AT ITER 1125 NEW BEST:: SOT 133355742 SOS 82549636 HAS SOPS 67350734 HAS SOUS 24763183 HAS SOUPS 24122510 WITH SCORE 2.4205059636E7
AT ITER 1137 NEW BEST:: SOT 133361666 SOS 82561187 HAS SOPS 67357214 HAS SOUS 24749762 HAS SOUPS 24109089 WITH SCORE 2.4191650187E7
AT ITER 1148 NEW BEST:: SOT 133359969 SOS 82561445 HAS SOPS 67356558 HAS SOUS 24742001 HAS SOUPS 24101328 WITH SCORE 2.4183889445E7
AT ITER 1150 NEW BEST:: SOT 133348612 SOS 82528658 HAS SOPS 67332445 HAS SOUS 24741457 HAS SOUPS 24100784 WITH SCORE 2.4183312658E7
AT ITER 1183 NEW BEST:: SOT 133346717 SOS 82526763 HAS SOPS 67330550 HAS SOUS 24739562 HAS SOUPS 24098889 WITH SCORE 2.4181415763E7
AT ITER 1184 NEW BEST:: SOT 133339126 SOS 82511033 HAS SOPS 67310616 HAS SOUS 24730260 HAS SOUPS 24089587 WITH SCORE 2.4172098033E7
AT ITER 1188 NEW BEST:: SOT 133310244 SOS 82478560 HAS SOPS 67258547 HAS SOUS 24701835 HAS SOUPS 24061162 WITH SCORE 2.414364056E7
AT ITER 1204 NEW BEST:: SOT 133307837 SOS 82502314 HAS SOPS 67265675 HAS SOUS 24649184 HAS SOUPS 24008511 WITH SCORE 2.4091013314E7
AT ITER 1205 NEW BEST:: SOT 133306945 SOS 82501633 HAS SOPS 67264389 HAS SOUS 24648409 HAS SOUPS 24007631 WITH SCORE 2.4090132633E7
AT ITER 1208 NEW BEST:: SOT 133356599 SOS 82653269 HAS SOPS 67414694 HAS SOUS 24604513 HAS SOUPS 23963682 WITH SCORE 2.4046335269E7
AT ITER 1209 NEW BEST:: SOT 133356599 SOS 82653269 HAS SOPS 67414694 HAS SOUS 24604258 HAS SOUPS 23963427 WITH SCORE 2.4046080269E7
AT ITER 1210 NEW BEST:: SOT 133292494 SOS 82518003 HAS SOPS 67361673 HAS SOUS 24578552 HAS SOUPS 23938508 WITH SCORE 2.4021026003E7
AT ITER 1212 NEW BEST:: SOT 133292031 SOS 82516910 HAS SOPS 67361377 HAS SOUS 24576208 HAS SOUPS 23936191 WITH SCORE 2.401870791E7
AT ITER 1218 NEW BEST:: SOT 133279329 SOS 82505410 HAS SOPS 67351451 HAS SOUS 24554651 HAS SOUPS 23914753 WITH SCORE 2.399725841E7
AT ITER 1223 NEW BEST:: SOT 133274661 SOS 82502632 HAS SOPS 67349246 HAS SOUS 24540831 HAS SOUPS 23900933 WITH SCORE 2.3983435632E7
AT ITER 1226 NEW BEST:: SOT 133065692 SOS 82260032 HAS SOPS 67123535 HAS SOUS 24322352 HAS SOUPS 23682437 WITH SCORE 2.3764697032E7
AT ITER 1239 NEW BEST:: SOT 133072707 SOS 82266459 HAS SOPS 67139956 HAS SOUS 24321067 HAS SOUPS 23681857 WITH SCORE 2.3764123459E7
AT ITER 1252 NEW BEST:: SOT 133072389 SOS 82266356 HAS SOPS 67139212 HAS SOUS 24319808 HAS SOUPS 23680598 WITH SCORE 2.3762864356E7
AT ITER 1254 NEW BEST:: SOT 133071137 SOS 82265482 HAS SOPS 67145604 HAS SOUS 24314243 HAS SOUPS 23675033 WITH SCORE 2.3757298482E7
AT ITER 1263 NEW BEST:: SOT 133070537 SOS 82264914 HAS SOPS 67144660 HAS SOUS 24313011 HAS SOUPS 23673801 WITH SCORE 2.3756065914E7
AT ITER 1275 NEW BEST:: SOT 133067551 SOS 82267767 HAS SOPS 67143635 HAS SOUS 24300793 HAS SOUPS 23661583 WITH SCORE 2.3743850767E7
AT ITER 1300 NEW BEST:: SOT 133051842 SOS 82251981 HAS SOPS 67127890 HAS SOUS 24279632 HAS SOUPS 23640463 WITH SCORE 2.3722714981E7
AT ITER 1304 NEW BEST:: SOT 133047659 SOS 82246914 HAS SOPS 67121939 HAS SOUS 24274517 HAS SOUPS 23635348 WITH SCORE 2.3717594914E7
AT ITER 1323 NEW BEST:: SOT 133046611 SOS 82245158 HAS SOPS 67120144 HAS SOUS 24272659 HAS SOUPS 23633490 WITH SCORE 2.3715735158E7
AT ITER 1355 NEW BEST:: SOT 133047058 SOS 82249388 HAS SOPS 67121314 HAS SOUS 24270353 HAS SOUPS 23631184 WITH SCORE 2.3713433388E7
AT ITER 1386 NEW BEST:: SOT 133058235 SOS 82268533 HAS SOPS 67134108 HAS SOUS 24268006 HAS SOUPS 23628837 WITH SCORE 2.3711105533E7
AT ITER 1397 NEW BEST:: SOT 133049186 SOS 82247324 HAS SOPS 67117515 HAS SOUS 24249807 HAS SOUPS 23610638 WITH SCORE 2.3692885324E7
AT ITER 1405 NEW BEST:: SOT 133046904 SOS 82247069 HAS SOPS 67113422 HAS SOUS 24242776 HAS SOUPS 23603607 WITH SCORE 2.3685854069E7
AT ITER 1407 NEW BEST:: SOT 133046783 SOS 82247106 HAS SOPS 67113164 HAS SOUS 24242463 HAS SOUPS 23603294 WITH SCORE 2.3685541106E7
AT ITER 1409 NEW BEST:: SOT 133111030 SOS 82407320 HAS SOPS 67276883 HAS SOUS 24240034 HAS SOUPS 23600865 WITH SCORE 2.368327232E7
AT ITER 1415 NEW BEST:: SOT 133081948 SOS 82370002 HAS SOPS 67237722 HAS SOUS 24192911 HAS SOUPS 23553883 WITH SCORE 2.3636253002E7
AT ITER 1424 NEW BEST:: SOT 133081798 SOS 82370050 HAS SOPS 67237440 HAS SOUS 24192083 HAS SOUPS 23553055 WITH SCORE 2.363542505E7
AT ITER 1445 NEW BEST:: SOT 133084243 SOS 82369334 HAS SOPS 67239945 HAS SOUS 24188810 HAS SOUPS 23549903 WITH SCORE 2.3632272334E7
AT ITER 1457 NEW BEST:: SOT 133094561 SOS 82379331 HAS SOPS 67241915 HAS SOUS 24149612 HAS SOUPS 23517506 WITH SCORE 2.3599885331E7
AT ITER 1464 NEW BEST:: SOT 133094619 SOS 82378140 HAS SOPS 67241732 HAS SOUS 24149607 HAS SOUPS 23517501 WITH SCORE 2.359987914E7
AT ITER 1474 NEW BEST:: SOT 133105373 SOS 82411939 HAS SOPS 67274938 HAS SOUS 24147451 HAS SOUPS 23515345 WITH SCORE 2.3597756939E7
AT ITER 1477 NEW BEST:: SOT 133105662 SOS 82442429 HAS SOPS 67299890 HAS SOUS 24128206 HAS SOUPS 23496100 WITH SCORE 2.3578542429E7
AT ITER 1485 NEW BEST:: SOT 133105175 SOS 82443440 HAS SOPS 67301488 HAS SOUS 24127385 HAS SOUPS 23495279 WITH SCORE 2.357772244E7
AT ITER 1499 NEW BEST:: SOT 133103880 SOS 82441553 HAS SOPS 67299764 HAS SOUS 24125457 HAS SOUPS 23493363 WITH SCORE 2.3575804553E7
AT ITER 1500 NEW BEST:: SOT 133055890 SOS 82306204 HAS SOPS 67233115 HAS SOUS 24106809 HAS SOUPS 23474715 WITH SCORE 2.3557021204E7
AT ITER 1513 NEW BEST:: SOT 133059909 SOS 82312189 HAS SOPS 67234045 HAS SOUS 24098256 HAS SOUPS 23466162 WITH SCORE 2.3548474189E7
AT ITER 1527 NEW BEST:: SOT 133070114 SOS 82366479 HAS SOPS 67277667 HAS SOUS 24082612 HAS SOUPS 23450518 WITH SCORE 2.3532884479E7
AT ITER 1529 NEW BEST:: SOT 133047033 SOS 82339949 HAS SOPS 67238459 HAS SOUS 24051485 HAS SOUPS 23419391 WITH SCORE 2.3501730949E7
AT ITER 1540 NEW BEST:: SOT 133038716 SOS 82332828 HAS SOPS 67229046 HAS SOUS 24032458 HAS SOUPS 23400364 WITH SCORE 2.3482696828E7
AT ITER 1542 NEW BEST:: SOT 133024573 SOS 82305827 HAS SOPS 67205726 HAS SOUS 24017202 HAS SOUPS 23385270 WITH SCORE 2.3467575827E7
AT ITER 1554 NEW BEST:: SOT 133019419 SOS 82302359 HAS SOPS 67194357 HAS SOUS 23995579 HAS SOUPS 23363647 WITH SCORE 2.3445949359E7
AT ITER 1583 NEW BEST:: SOT 133016797 SOS 82306266 HAS SOPS 67197542 HAS SOUS 23987197 HAS SOUPS 23355265 WITH SCORE 2.3437571266E7
AT ITER 1601 NEW BEST:: SOT 133016743 SOS 82306169 HAS SOPS 67197400 HAS SOUS 23987136 HAS SOUPS 23355204 WITH SCORE 2.3437510169E7
AT ITER 1614 NEW BEST:: SOT 133015708 SOS 82299348 HAS SOPS 67188684 HAS SOUS 23978470 HAS SOUPS 23346538 WITH SCORE 2.3428837348E7
AT ITER 1616 NEW BEST:: SOT 133014607 SOS 82298123 HAS SOPS 67185963 HAS SOUS 23975632 HAS SOUPS 23343700 WITH SCORE 2.3425998123E7
AT ITER 1618 NEW BEST:: SOT 133010308 SOS 82288314 HAS SOPS 67179349 HAS SOUS 23974810 HAS SOUPS 23342878 WITH SCORE 2.3425166314E7
AT ITER 1620 NEW BEST:: SOT 132990391 SOS 82233731 HAS SOPS 67147589 HAS SOUS 23966484 HAS SOUPS 23334552 WITH SCORE 2.3416785731E7
AT ITER 1632 NEW BEST:: SOT 132989834 SOS 82233640 HAS SOPS 67145844 HAS SOUS 23962878 HAS SOUPS 23330946 WITH SCORE 2.341317964E7
AT ITER 1637 NEW BEST:: SOT 132989803 SOS 82233603 HAS SOPS 67145779 HAS SOUS 23962817 HAS SOUPS 23330887 WITH SCORE 2.3413120603E7
AT ITER 1652 NEW BEST:: SOT 132988261 SOS 82234211 HAS SOPS 67144213 HAS SOUS 23955766 HAS SOUPS 23323793 WITH SCORE 2.3406027211E7
AT ITER 1656 NEW BEST:: SOT 132963812 SOS 82193071 HAS SOPS 67121918 HAS SOUS 23947519 HAS SOUPS 23315885 WITH SCORE 2.3398078071E7
AT ITER 1657 NEW BEST:: SOT 132997809 SOS 82264768 HAS SOPS 67184091 HAS SOUS 23920955 HAS SOUPS 23289321 WITH SCORE 2.3371585768E7
AT ITER 1661 NEW BEST:: SOT 132997779 SOS 82264030 HAS SOPS 67182779 HAS SOUS 23920893 HAS SOUPS 23289259 WITH SCORE 2.337152303E7
AT ITER 1674 NEW BEST:: SOT 132997539 SOS 82263507 HAS SOPS 67182310 HAS SOUS 23920564 HAS SOUPS 23288930 WITH SCORE 2.3371193507E7
AT ITER 1682 NEW BEST:: SOT 133007026 SOS 82312095 HAS SOPS 67232354 HAS SOUS 23912055 HAS SOUPS 23280421 WITH SCORE 2.3362733095E7
AT ITER 1683 NEW BEST:: SOT 133008232 SOS 82320060 HAS SOPS 67241099 HAS SOUS 23911440 HAS SOUPS 23279806 WITH SCORE 2.336212606E7
AT ITER 1714 NEW BEST:: SOT 132997901 SOS 82298672 HAS SOPS 67229724 HAS SOUS 23888914 HAS SOUPS 23262455 WITH SCORE 2.3344753672E7
AT ITER 1734 NEW BEST:: SOT 132969190 SOS 82252307 HAS SOPS 67179233 HAS SOUS 23844371 HAS SOUPS 23217912 WITH SCORE 2.3300164307E7
AT ITER 1741 NEW BEST:: SOT 132960656 SOS 82228468 HAS SOPS 67164908 HAS SOUS 23843248 HAS SOUPS 23216789 WITH SCORE 2.3299017468E7
AT ITER 1743 NEW BEST:: SOT 132960587 SOS 82228359 HAS SOPS 67164772 HAS SOUS 23843097 HAS SOUPS 23216638 WITH SCORE 2.3298866359E7
AT ITER 1748 NEW BEST:: SOT 132960539 SOS 82228163 HAS SOPS 67164578 HAS SOUS 23843057 HAS SOUPS 23216598 WITH SCORE 2.3298826163E7
AT ITER 1750 NEW BEST:: SOT 132970716 SOS 82256038 HAS SOPS 67183422 HAS SOUS 23842441 HAS SOUPS 23215982 WITH SCORE 2.3298238038E7
AT ITER 1755 NEW BEST:: SOT 132993080 SOS 82305296 HAS SOPS 67220320 HAS SOUS 23840518 HAS SOUPS 23214059 WITH SCORE 2.3296364296E7
AT ITER 1756 NEW BEST:: SOT 132994023 SOS 82306979 HAS SOPS 67221177 HAS SOUS 23838105 HAS SOUPS 23211628 WITH SCORE 2.3293934979E7
AT ITER 1780 NEW BEST:: SOT 132989231 SOS 82294948 HAS SOPS 67212941 HAS SOUS 23830102 HAS SOUPS 23203619 WITH SCORE 2.3285913948E7
AT ITER 1802 NEW BEST:: SOT 132986217 SOS 82289086 HAS SOPS 67206583 HAS SOUS 23825256 HAS SOUPS 23198773 WITH SCORE 2.3281062086E7
AT ITER 1811 NEW BEST:: SOT 132996784 SOS 82322657 HAS SOPS 67256151 HAS SOUS 23823168 HAS SOUPS 23196685 WITH SCORE 2.3279007657E7
AT ITER 1814 NEW BEST:: SOT 132959053 SOS 82272018 HAS SOPS 67208482 HAS SOUS 23769337 HAS SOUPS 23142854 WITH SCORE 2.3225126018E7
AT ITER 1816 NEW BEST:: SOT 132939084 SOS 82252787 HAS SOPS 67188473 HAS SOUS 23738596 HAS SOUPS 23112079 WITH SCORE 2.3194331787E7
AT ITER 1834 NEW BEST:: SOT 132934721 SOS 82232639 HAS SOPS 67189081 HAS SOUS 23736279 HAS SOUPS 23109762 WITH SCORE 2.3191994639E7
AT ITER 1839 NEW BEST:: SOT 132923891 SOS 82224788 HAS SOPS 67173236 HAS SOUS 23718513 HAS SOUPS 23092000 WITH SCORE 2.3174224788E7
AT ITER 1851 NEW BEST:: SOT 132861675 SOS 82088161 HAS SOPS 67097122 HAS SOUS 23713424 HAS SOUPS 23087341 WITH SCORE 2.3169429161E7
AT ITER 1852 NEW BEST:: SOT 132852178 SOS 82077254 HAS SOPS 67084985 HAS SOUS 23693881 HAS SOUPS 23067798 WITH SCORE 2.3149875254E7
AT ITER 1863 NEW BEST:: SOT 132816576 SOS 81986797 HAS SOPS 67051907 HAS SOUS 23659234 HAS SOUPS 23033151 WITH SCORE 2.3115137797E7
AT ITER 1864 NEW BEST:: SOT 132806209 SOS 81967550 HAS SOPS 67033447 HAS SOUS 23638291 HAS SOUPS 23012208 WITH SCORE 2.309417555E7
AT ITER 1879 NEW BEST:: SOT 132803661 SOS 81962513 HAS SOPS 67031246 HAS SOUS 23630138 HAS SOUPS 23004213 WITH SCORE 2.3086175513E7
AT ITER 1897 NEW BEST:: SOT 132804162 SOS 81960551 HAS SOPS 67028687 HAS SOUS 23629252 HAS SOUPS 23003327 WITH SCORE 2.3085287551E7
AT ITER 1902 NEW BEST:: SOT 132816227 SOS 82011398 HAS SOPS 67069019 HAS SOUS 23624910 HAS SOUPS 22998985 WITH SCORE 2.3080996398E7
AT ITER 1906 NEW BEST:: SOT 132818624 SOS 82010813 HAS SOPS 67063978 HAS SOUS 23610546 HAS SOUPS 22984621 WITH SCORE 2.3066631813E7
AT ITER 1907 NEW BEST:: SOT 132803200 SOS 81994207 HAS SOPS 67042076 HAS SOUS 23571466 HAS SOUPS 22945720 WITH SCORE 2.3027714207E7
AT ITER 1911 NEW BEST:: SOT 132787622 SOS 81961403 HAS SOPS 67026483 HAS SOUS 23569976 HAS SOUPS 22944546 WITH SCORE 2.3026507403E7
AT ITER 1920 NEW BEST:: SOT 132775083 SOS 81948842 HAS SOPS 67010296 HAS SOUS 23554020 HAS SOUPS 22928294 WITH SCORE 2.3010242842E7
AT ITER 1929 NEW BEST:: SOT 132713370 SOS 81789107 HAS SOPS 66909470 HAS SOUS 23521619 HAS SOUPS 22895893 WITH SCORE 2.2977682107E7
AT ITER 1935 NEW BEST:: SOT 132702401 SOS 81778005 HAS SOPS 66896629 HAS SOUS 23506020 HAS SOUPS 22880342 WITH SCORE 2.2962120005E7
AT ITER 1942 NEW BEST:: SOT 132702911 SOS 81781550 HAS SOPS 66901285 HAS SOUS 23503797 HAS SOUPS 22878119 WITH SCORE 2.295990055E7
AT ITER 1955 NEW BEST:: SOT 132702507 SOS 81782604 HAS SOPS 66891224 HAS SOUS 23500799 HAS SOUPS 22875121 WITH SCORE 2.2956903604E7
AT ITER 1973 NEW BEST:: SOT 132702287 SOS 81782364 HAS SOPS 66890984 HAS SOUS 23500593 HAS SOUPS 22874915 WITH SCORE 2.2956697364E7
AT ITER 2002 NEW BEST:: SOT 132701834 SOS 81779413 HAS SOPS 66887316 HAS SOUS 23499652 HAS SOUPS 22873974 WITH SCORE 2.2955753413E7
AT ITER 2009 NEW BEST:: SOT 132709825 SOS 81811202 HAS SOPS 66914238 HAS SOUS 23497099 HAS SOUPS 22871421 WITH SCORE 2.2953232202E7
AT ITER 2010 NEW BEST:: SOT 132681488 SOS 81756467 HAS SOPS 66865488 HAS SOUS 23438602 HAS SOUPS 22812670 WITH SCORE 2.2894426467E7
AT ITER 2026 NEW BEST:: SOT 132692419 SOS 81801409 HAS SOPS 66909714 HAS SOUS 23433591 HAS SOUPS 22807659 WITH SCORE 2.2889460409E7
AT ITER 2030 NEW BEST:: SOT 132707698 SOS 81825037 HAS SOPS 66930415 HAS SOUS 23431390 HAS SOUPS 22806748 WITH SCORE 2.2888573037E7
AT ITER 2072 NEW BEST:: SOT 132722368 SOS 81874140 HAS SOPS 66982341 HAS SOUS 23412468 HAS SOUPS 22787826 WITH SCORE 2.286970014E7
AT ITER 2080 NEW BEST:: SOT 132735731 SOS 81903472 HAS SOPS 66997565 HAS SOUS 23391512 HAS SOUPS 22766870 WITH SCORE 2.2848773472E7
AT ITER 2086 NEW BEST:: SOT 132712716 SOS 81843193 HAS SOPS 66964965 HAS SOUS 23362085 HAS SOUPS 22744569 WITH SCORE 2.2826412193E7
AT ITER 2091 NEW BEST:: SOT 132712552 SOS 81843115 HAS SOPS 66964851 HAS SOUS 23361505 HAS SOUPS 22743989 WITH SCORE 2.2825832115E7
AT ITER 2123 NEW BEST:: SOT 132713314 SOS 81847687 HAS SOPS 66966028 HAS SOUS 23358551 HAS SOUPS 22741035 WITH SCORE 2.2822882687E7
AT ITER 2129 NEW BEST:: SOT 132721674 SOS 81875518 HAS SOPS 66988789 HAS SOUS 23355654 HAS SOUPS 22738138 WITH SCORE 2.2820013518E7
AT ITER 2135 NEW BEST:: SOT 132721919 SOS 81880038 HAS SOPS 66995412 HAS SOUS 23354979 HAS SOUPS 22737463 WITH SCORE 2.2819343038E7
AT ITER 2145 NEW BEST:: SOT 132721479 SOS 81879826 HAS SOPS 66994127 HAS SOUS 23353858 HAS SOUPS 22736342 WITH SCORE 2.2818221826E7
AT ITER 2147 NEW BEST:: SOT 132727395 SOS 81907997 HAS SOPS 67018691 HAS SOUS 23337799 HAS SOUPS 22720283 WITH SCORE 2.2802190997E7
AT ITER 2154 NEW BEST:: SOT 132742960 SOS 81958859 HAS SOPS 67054366 HAS SOUS 23328752 HAS SOUPS 22711236 WITH SCORE 2.2793194859E7
AT ITER 2160 NEW BEST:: SOT 132755713 SOS 81987967 HAS SOPS 67105426 HAS SOUS 23326555 HAS SOUPS 22709039 WITH SCORE 2.2791026967E7
AT ITER 2180 NEW BEST:: SOT 132715255 SOS 81883625 HAS SOPS 67024231 HAS SOUS 23275123 HAS SOUPS 22657936 WITH SCORE 2.2739819625E7
AT ITER 2183 NEW BEST:: SOT 132715750 SOS 81884103 HAS SOPS 67024709 HAS SOUS 23275040 HAS SOUPS 22657853 WITH SCORE 2.2739737103E7
AT ITER 2204 NEW BEST:: SOT 132715376 SOS 81883633 HAS SOPS 67023270 HAS SOUS 23272934 HAS SOUPS 22655582 WITH SCORE 2.2737465633E7
AT ITER 2220 NEW BEST:: SOT 132762505 SOS 81966720 HAS SOPS 67085232 HAS SOUS 23262586 HAS SOUPS 22645701 WITH SCORE 2.272766772E7
AT ITER 2233 NEW BEST:: SOT 132759577 SOS 81963792 HAS SOPS 67080352 HAS SOUS 23255354 HAS SOUPS 22638469 WITH SCORE 2.2720432792E7
AT ITER 2241 NEW BEST:: SOT 132763149 SOS 81977757 HAS SOPS 67086115 HAS SOUS 23241978 HAS SOUPS 22625093 WITH SCORE 2.2707070757E7
AT ITER 2247 NEW BEST:: SOT 132771874 SOS 82022591 HAS SOPS 67136490 HAS SOUS 23237601 HAS SOUPS 22620716 WITH SCORE 2.2702738591E7
AT ITER 2261 NEW BEST:: SOT 132771209 SOS 82021641 HAS SOPS 67136152 HAS SOUS 23235297 HAS SOUPS 22618425 WITH SCORE 2.2700446641E7
AT ITER 2277 NEW BEST:: SOT 132769042 SOS 82031248 HAS SOPS 67141086 HAS SOUS 23211641 HAS SOUPS 22594769 WITH SCORE 2.2676800248E7
AT ITER 2283 NEW BEST:: SOT 132748189 SOS 82002471 HAS SOPS 67119688 HAS SOUS 23180427 HAS SOUPS 22563732 WITH SCORE 2.2645734471E7
AT ITER 2284 NEW BEST:: SOT 132747313 SOS 82002288 HAS SOPS 67117426 HAS SOUS 23177458 HAS SOUPS 22560728 WITH SCORE 2.2642730288E7
AT ITER 2296 NEW BEST:: SOT 132736840 SOS 81974143 HAS SOPS 67094177 HAS SOUS 23174355 HAS SOUPS 22557727 WITH SCORE 2.2639701143E7

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

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