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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.0K Apr 12 07:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 07:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 11 08:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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.2K Apr 10 14:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 9 21:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 9 21:06 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:38 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 69M Mar 24 05:38 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589763095269

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 4
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
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 4 NEW BEST:: SOT 123437733 SOS 80228900 HAS SOPS 65207798 HAS SOUS 24051046 HAS SOUPS 23478272 WITH SCORE 2.35585009E7
AT ITER 22 NEW BEST:: SOT 123438558 SOS 80232383 HAS SOPS 65210198 HAS SOUS 24048915 HAS SOUPS 23476141 WITH SCORE 2.3556373383E7
AT ITER 24 NEW BEST:: SOT 123442750 SOS 80247546 HAS SOPS 65228479 HAS SOUS 24021230 HAS SOUPS 23448456 WITH SCORE 2.3528703546E7
AT ITER 31 NEW BEST:: SOT 123463927 SOS 80314628 HAS SOPS 65290812 HAS SOUS 23999888 HAS SOUPS 23427114 WITH SCORE 2.3507428628E7
AT ITER 32 NEW BEST:: SOT 123462569 SOS 80312064 HAS SOPS 65288370 HAS SOUS 23998315 HAS SOUPS 23425541 WITH SCORE 2.3505853064E7
AT ITER 33 NEW BEST:: SOT 123457355 SOS 80320815 HAS SOPS 65278226 HAS SOUS 23963386 HAS SOUPS 23390612 WITH SCORE 2.3470932815E7
AT ITER 34 NEW BEST:: SOT 123449693 SOS 80307372 HAS SOPS 65268925 HAS SOUS 23952152 HAS SOUPS 23379378 WITH SCORE 2.3459685372E7
AT ITER 47 NEW BEST:: SOT 123456617 SOS 80330451 HAS SOPS 65283466 HAS SOUS 23929512 HAS SOUPS 23356738 WITH SCORE 2.3437068451E7
AT ITER 49 NEW BEST:: SOT 123459789 SOS 80339595 HAS SOPS 65304610 HAS SOUS 23918045 HAS SOUPS 23345813 WITH SCORE 2.3426152595E7
AT ITER 63 NEW BEST:: SOT 123457479 SOS 80338001 HAS SOPS 65300003 HAS SOUS 23913617 HAS SOUPS 23341385 WITH SCORE 2.3421723001E7
AT ITER 77 NEW BEST:: SOT 123451953 SOS 80328867 HAS SOPS 65296096 HAS SOUS 23902461 HAS SOUPS 23330684 WITH SCORE 2.3411012867E7
AT ITER 90 NEW BEST:: SOT 123449481 SOS 80323544 HAS SOPS 65287275 HAS SOUS 23894588 HAS SOUPS 23322811 WITH SCORE 2.3403134544E7
AT ITER 95 NEW BEST:: SOT 123447966 SOS 80323007 HAS SOPS 65286249 HAS SOUS 23891099 HAS SOUPS 23319322 WITH SCORE 2.3399645007E7
AT ITER 99 NEW BEST:: SOT 123488785 SOS 80427709 HAS SOPS 65384979 HAS SOUS 23887404 HAS SOUPS 23315627 WITH SCORE 2.3396054709E7
AT ITER 122 NEW BEST:: SOT 123491970 SOS 80439105 HAS SOPS 65390077 HAS SOUS 23884277 HAS SOUPS 23312500 WITH SCORE 2.3392939105E7
AT ITER 123 NEW BEST:: SOT 123490183 SOS 80434278 HAS SOPS 65386626 HAS SOUS 23884206 HAS SOUPS 23312429 WITH SCORE 2.3392863278E7
AT ITER 124 NEW BEST:: SOT 123486509 SOS 80430833 HAS SOPS 65381037 HAS SOUS 23875748 HAS SOUPS 23303971 WITH SCORE 2.3384401833E7
AT ITER 137 NEW BEST:: SOT 123485785 SOS 80431333 HAS SOPS 65381570 HAS SOUS 23872929 HAS SOUPS 23301152 WITH SCORE 2.3381583333E7
AT ITER 145 NEW BEST:: SOT 123522461 SOS 80520085 HAS SOPS 65456956 HAS SOUS 23858548 HAS SOUPS 23286771 WITH SCORE 2.3367291085E7
AT ITER 147 NEW BEST:: SOT 123572014 SOS 80636013 HAS SOPS 65565610 HAS SOUS 23849074 HAS SOUPS 23277297 WITH SCORE 2.3357933013E7
AT ITER 186 NEW BEST:: SOT 123568446 SOS 80641197 HAS SOPS 65571043 HAS SOUS 23838267 HAS SOUPS 23266490 WITH SCORE 2.3347131197E7
AT ITER 219 NEW BEST:: SOT 123575855 SOS 80648161 HAS SOPS 65570366 HAS SOUS 23827910 HAS SOUPS 23256133 WITH SCORE 2.3336781161E7
AT ITER 229 NEW BEST:: SOT 123604190 SOS 80703842 HAS SOPS 65617034 HAS SOUS 23819786 HAS SOUPS 23248009 WITH SCORE 2.3328712842E7
AT ITER 235 NEW BEST:: SOT 123606686 SOS 80707610 HAS SOPS 65628373 HAS SOUS 23809699 HAS SOUPS 23238070 WITH SCORE 2.331877761E7
AT ITER 239 NEW BEST:: SOT 123641576 SOS 80775246 HAS SOPS 65675108 HAS SOUS 23804931 HAS SOUPS 23233302 WITH SCORE 2.3314077246E7
AT ITER 246 NEW BEST:: SOT 123636271 SOS 80775621 HAS SOPS 65674130 HAS SOUS 23773556 HAS SOUPS 23201783 WITH SCORE 2.3282558621E7
AT ITER 252 NEW BEST:: SOT 123638683 SOS 80813711 HAS SOPS 65708311 HAS SOUS 23772633 HAS SOUPS 23200860 WITH SCORE 2.3281673711E7
AT ITER 253 NEW BEST:: SOT 123665118 SOS 80854430 HAS SOPS 65737865 HAS SOUS 23745417 HAS SOUPS 23173644 WITH SCORE 2.325449843E7
AT ITER 256 NEW BEST:: SOT 123650989 SOS 80823081 HAS SOPS 65713702 HAS SOUS 23728504 HAS SOUPS 23156731 WITH SCORE 2.3237554081E7
AT ITER 261 NEW BEST:: SOT 123649090 SOS 80820943 HAS SOPS 65711032 HAS SOUS 23724506 HAS SOUPS 23152733 WITH SCORE 2.3233553943E7
AT ITER 291 NEW BEST:: SOT 123634038 SOS 80800282 HAS SOPS 65692242 HAS SOUS 23703507 HAS SOUPS 23132133 WITH SCORE 2.3212933282E7
AT ITER 292 NEW BEST:: SOT 123637636 SOS 80818704 HAS SOPS 65711356 HAS SOUS 23698425 HAS SOUPS 23127051 WITH SCORE 2.3207869704E7
AT ITER 300 NEW BEST:: SOT 123639875 SOS 80824055 HAS SOPS 65715447 HAS SOUS 23697230 HAS SOUPS 23125856 WITH SCORE 2.3206680055E7
AT ITER 303 NEW BEST:: SOT 123662257 SOS 80855372 HAS SOPS 65753874 HAS SOUS 23689092 HAS SOUPS 23117750 WITH SCORE 2.3198605372E7
AT ITER 307 NEW BEST:: SOT 123662257 SOS 80862232 HAS SOPS 65764894 HAS SOUS 23688954 HAS SOUPS 23117612 WITH SCORE 2.3198474232E7
AT ITER 318 NEW BEST:: SOT 123661622 SOS 80861353 HAS SOPS 65764087 HAS SOUS 23687788 HAS SOUPS 23116451 WITH SCORE 2.3197312353E7
AT ITER 322 NEW BEST:: SOT 123653373 SOS 80853660 HAS SOPS 65751782 HAS SOUS 23664327 HAS SOUPS 23093127 WITH SCORE 2.317398066E7
AT ITER 325 NEW BEST:: SOT 123591330 SOS 80791931 HAS SOPS 65689957 HAS SOUS 23602792 HAS SOUPS 23031545 WITH SCORE 2.3112336931E7
AT ITER 327 NEW BEST:: SOT 123607346 SOS 80813388 HAS SOPS 65722113 HAS SOUS 23601315 HAS SOUPS 23030068 WITH SCORE 2.3110881388E7
AT ITER 334 NEW BEST:: SOT 123607275 SOS 80805188 HAS SOPS 65721495 HAS SOUS 23598519 HAS SOUPS 23027272 WITH SCORE 2.3108077188E7
AT ITER 338 NEW BEST:: SOT 123551908 SOS 80742411 HAS SOPS 65661078 HAS SOUS 23537567 HAS SOUPS 22966457 WITH SCORE 2.3047199411E7
AT ITER 341 NEW BEST:: SOT 123541571 SOS 80736957 HAS SOPS 65641969 HAS SOUS 23504961 HAS SOUPS 22933851 WITH SCORE 2.3014587957E7
AT ITER 357 NEW BEST:: SOT 123541290 SOS 80737048 HAS SOPS 65642656 HAS SOUS 23497291 HAS SOUPS 22926331 WITH SCORE 2.3007068048E7
AT ITER 360 NEW BEST:: SOT 123520261 SOS 80706080 HAS SOPS 65630383 HAS SOUS 23470352 HAS SOUPS 22899506 WITH SCORE 2.298021208E7
AT ITER 370 NEW BEST:: SOT 123502218 SOS 80685066 HAS SOPS 65608965 HAS SOUS 23441858 HAS SOUPS 22871012 WITH SCORE 2.2951697066E7
AT ITER 412 NEW BEST:: SOT 123507907 SOS 80708290 HAS SOPS 65612895 HAS SOUS 23399149 HAS SOUPS 22828668 WITH SCORE 2.290937629E7
AT ITER 435 NEW BEST:: SOT 123505777 SOS 80729190 HAS SOPS 65656226 HAS SOUS 23397883 HAS SOUPS 22827402 WITH SCORE 2.290813119E7
AT ITER 439 NEW BEST:: SOT 123506157 SOS 80731190 HAS SOPS 65658016 HAS SOUS 23397129 HAS SOUPS 22826648 WITH SCORE 2.290737919E7
AT ITER 440 NEW BEST:: SOT 123510517 SOS 80750356 HAS SOPS 65672290 HAS SOUS 23390622 HAS SOUPS 22820141 WITH SCORE 2.2900891356E7
AT ITER 445 NEW BEST:: SOT 123536479 SOS 80777638 HAS SOPS 65723788 HAS SOUS 23383094 HAS SOUPS 22812613 WITH SCORE 2.2893390638E7
AT ITER 471 NEW BEST:: SOT 123528994 SOS 80774280 HAS SOPS 65706827 HAS SOUS 23367866 HAS SOUPS 22797385 WITH SCORE 2.287815928E7
AT ITER 475 NEW BEST:: SOT 123535269 SOS 80772833 HAS SOPS 65706780 HAS SOUS 23344023 HAS SOUPS 22773728 WITH SCORE 2.2854500833E7
AT ITER 480 NEW BEST:: SOT 123534706 SOS 80772204 HAS SOPS 65705868 HAS SOUS 23342934 HAS SOUPS 22772634 WITH SCORE 2.2853406204E7
AT ITER 498 NEW BEST:: SOT 123538774 SOS 80776226 HAS SOPS 65723581 HAS SOUS 23334997 HAS SOUPS 22764697 WITH SCORE 2.2845473226E7
AT ITER 513 NEW BEST:: SOT 123538389 SOS 80776621 HAS SOPS 65722936 HAS SOUS 23333075 HAS SOUPS 22762762 WITH SCORE 2.2843538621E7
AT ITER 518 NEW BEST:: SOT 123539557 SOS 80779186 HAS SOPS 65725427 HAS SOUS 23323646 HAS SOUPS 22753333 WITH SCORE 2.2834112186E7
AT ITER 540 NEW BEST:: SOT 123539302 SOS 80778959 HAS SOPS 65725249 HAS SOUS 23323075 HAS SOUPS 22752762 WITH SCORE 2.2833540959E7
AT ITER 545 NEW BEST:: SOT 123537705 SOS 80775916 HAS SOPS 65724209 HAS SOUS 23318181 HAS SOUPS 22747868 WITH SCORE 2.2828643916E7
AT ITER 565 NEW BEST:: SOT 123535222 SOS 80773127 HAS SOPS 65720880 HAS SOUS 23313622 HAS SOUPS 22743327 WITH SCORE 2.2824100127E7
AT ITER 575 NEW BEST:: SOT 123529800 SOS 80769549 HAS SOPS 65716421 HAS SOUS 23293258 HAS SOUPS 22722963 WITH SCORE 2.2803732549E7
AT ITER 590 NEW BEST:: SOT 123526639 SOS 80766193 HAS SOPS 65706923 HAS SOUS 23292029 HAS SOUPS 22720994 WITH SCORE 2.2801760193E7
AT ITER 593 NEW BEST:: SOT 123528457 SOS 80766000 HAS SOPS 65705515 HAS SOUS 23276493 HAS SOUPS 22705533 WITH SCORE 2.2786299E7
AT ITER 595 NEW BEST:: SOT 123526406 SOS 80764241 HAS SOPS 65707216 HAS SOUS 23268871 HAS SOUPS 22697911 WITH SCORE 2.2778675241E7
AT ITER 606 NEW BEST:: SOT 123528058 SOS 80765975 HAS SOPS 65709216 HAS SOUS 23268311 HAS SOUPS 22697351 WITH SCORE 2.2778116975E7
AT ITER 607 NEW BEST:: SOT 123538147 SOS 80786460 HAS SOPS 65725616 HAS SOUS 23263324 HAS SOUPS 22692364 WITH SCORE 2.277315046E7
AT ITER 626 NEW BEST:: SOT 123517479 SOS 80777738 HAS SOPS 65708614 HAS SOUS 23218761 HAS SOUPS 22647293 WITH SCORE 2.2728070738E7
AT ITER 648 NEW BEST:: SOT 123507241 SOS 80774379 HAS SOPS 65707401 HAS SOUS 23188438 HAS SOUPS 22616970 WITH SCORE 2.2697744379E7
AT ITER 652 NEW BEST:: SOT 123507379 SOS 80778203 HAS SOPS 65712074 HAS SOUS 23187135 HAS SOUPS 22615667 WITH SCORE 2.2696445203E7
AT ITER 661 NEW BEST:: SOT 123506663 SOS 80779162 HAS SOPS 65715394 HAS SOUS 23186888 HAS SOUPS 22615484 WITH SCORE 2.2696263162E7
AT ITER 666 NEW BEST:: SOT 123507304 SOS 80788304 HAS SOPS 65719873 HAS SOUS 23170452 HAS SOUPS 22599048 WITH SCORE 2.2679836304E7
AT ITER 697 NEW BEST:: SOT 123507304 SOS 80788211 HAS SOPS 65713800 HAS SOUS 23170080 HAS SOUPS 22598676 WITH SCORE 2.2679464211E7
AT ITER 717 NEW BEST:: SOT 123509951 SOS 80795044 HAS SOPS 65719203 HAS SOUS 23169893 HAS SOUPS 22598463 WITH SCORE 2.2679258044E7
AT ITER 722 NEW BEST:: SOT 123481550 SOS 80767403 HAS SOPS 65691001 HAS SOUS 23157189 HAS SOUPS 22585619 WITH SCORE 2.2666386403E7
AT ITER 723 NEW BEST:: SOT 123484115 SOS 80770704 HAS SOPS 65692750 HAS SOUS 23151525 HAS SOUPS 22579955 WITH SCORE 2.2660725704E7
AT ITER 733 NEW BEST:: SOT 123481093 SOS 80765666 HAS SOPS 65687200 HAS SOUS 23146919 HAS SOUPS 22575365 WITH SCORE 2.2656130666E7
AT ITER 745 NEW BEST:: SOT 123494938 SOS 80787889 HAS SOPS 65732860 HAS SOUS 23122163 HAS SOUPS 22550609 WITH SCORE 2.2631396889E7
AT ITER 754 NEW BEST:: SOT 123504667 SOS 80805800 HAS SOPS 65751531 HAS SOUS 23121958 HAS SOUPS 22550293 WITH SCORE 2.26310988E7
AT ITER 756 NEW BEST:: SOT 123503133 SOS 80805620 HAS SOPS 65751440 HAS SOUS 23120066 HAS SOUPS 22547937 WITH SCORE 2.262874262E7
AT ITER 757 NEW BEST:: SOT 123496913 SOS 80796013 HAS SOPS 65739840 HAS SOUS 23112081 HAS SOUPS 22539952 WITH SCORE 2.2620748013E7
AT ITER 765 NEW BEST:: SOT 123496914 SOS 80804564 HAS SOPS 65750514 HAS SOUS 23111512 HAS SOUPS 22539383 WITH SCORE 2.2620187564E7
AT ITER 766 NEW BEST:: SOT 123545510 SOS 80852487 HAS SOPS 65798512 HAS SOUS 23091689 HAS SOUPS 22519635 WITH SCORE 2.2600487487E7
AT ITER 792 NEW BEST:: SOT 123573949 SOS 80907019 HAS SOPS 65867067 HAS SOUS 23057858 HAS SOUPS 22487134 WITH SCORE 2.2568041019E7
AT ITER 797 NEW BEST:: SOT 123587325 SOS 80932891 HAS SOPS 65894983 HAS SOUS 23044200 HAS SOUPS 22473621 WITH SCORE 2.2554553891E7
AT ITER 798 NEW BEST:: SOT 123589332 SOS 80956735 HAS SOPS 65909646 HAS SOUS 23005588 HAS SOUPS 22435009 WITH SCORE 2.2515965735E7
AT ITER 809 NEW BEST:: SOT 123588374 SOS 80937738 HAS SOPS 65926589 HAS SOUS 23005178 HAS SOUPS 22434599 WITH SCORE 2.2515536738E7
AT ITER 810 NEW BEST:: SOT 123588744 SOS 80941206 HAS SOPS 65930629 HAS SOUS 23001059 HAS SOUPS 22430553 WITH SCORE 2.2511494206E7
AT ITER 826 NEW BEST:: SOT 123584097 SOS 80934248 HAS SOPS 65921884 HAS SOUS 22993085 HAS SOUPS 22422634 WITH SCORE 2.2503568248E7
AT ITER 843 NEW BEST:: SOT 123583638 SOS 80933804 HAS SOPS 65921409 HAS SOUS 22991774 HAS SOUPS 22421323 WITH SCORE 2.2502256804E7
AT ITER 868 NEW BEST:: SOT 123583386 SOS 80930954 HAS SOPS 65919778 HAS SOUS 22988540 HAS SOUPS 22418089 WITH SCORE 2.2499019954E7
AT ITER 874 NEW BEST:: SOT 123588244 SOS 80936587 HAS SOPS 65928455 HAS SOUS 22982762 HAS SOUPS 22412836 WITH SCORE 2.2493772587E7
AT ITER 879 NEW BEST:: SOT 123588244 SOS 80937931 HAS SOPS 65929591 HAS SOUS 22982713 HAS SOUPS 22412787 WITH SCORE 2.2493724931E7
AT ITER 881 NEW BEST:: SOT 123585288 SOS 80934918 HAS SOPS 65926622 HAS SOUS 22972849 HAS SOUPS 22402959 WITH SCORE 2.2483893918E7
AT ITER 889 NEW BEST:: SOT 123583000 SOS 80932676 HAS SOPS 65924302 HAS SOUS 22968569 HAS SOUPS 22398633 WITH SCORE 2.2479565676E7
AT ITER 915 NEW BEST:: SOT 123575181 SOS 80919710 HAS SOPS 65908754 HAS SOUS 22966320 HAS SOUPS 22396384 WITH SCORE 2.247730371E7
AT ITER 929 NEW BEST:: SOT 123554749 SOS 80899265 HAS SOPS 65888103 HAS SOUS 22942120 HAS SOUPS 22372109 WITH SCORE 2.2453008265E7
AT ITER 931 NEW BEST:: SOT 123554749 SOS 80922881 HAS SOPS 65926183 HAS SOUS 22941918 HAS SOUPS 22371907 WITH SCORE 2.2452829881E7
AT ITER 933 NEW BEST:: SOT 123542514 SOS 80909160 HAS SOPS 65910883 HAS SOUS 22912556 HAS SOUPS 22342545 WITH SCORE 2.242345416E7
AT ITER 936 NEW BEST:: SOT 123528858 SOS 80889450 HAS SOPS 65889105 HAS SOUS 22898454 HAS SOUPS 22328443 WITH SCORE 2.240933245E7
AT ITER 963 NEW BEST:: SOT 123532417 SOS 80881212 HAS SOPS 65888278 HAS SOUS 22890590 HAS SOUPS 22321648 WITH SCORE 2.2402529212E7
AT ITER 969 NEW BEST:: SOT 123531818 SOS 80880613 HAS SOPS 65887679 HAS SOUS 22889235 HAS SOUPS 22320293 WITH SCORE 2.2401173613E7
AT ITER 970 NEW BEST:: SOT 123531490 SOS 80880280 HAS SOPS 65886891 HAS SOUS 22888507 HAS SOUPS 22319565 WITH SCORE 2.240044528E7
AT ITER 987 NEW BEST:: SOT 123529174 SOS 80878374 HAS SOPS 65884341 HAS SOUS 22887654 HAS SOUPS 22318402 WITH SCORE 2.2399280374E7
AT ITER 989 NEW BEST:: SOT 123529088 SOS 80878288 HAS SOPS 65884255 HAS SOUS 22887568 HAS SOUPS 22318316 WITH SCORE 2.2399194288E7
AT ITER 995 NEW BEST:: SOT 123512763 SOS 80865000 HAS SOPS 65873634 HAS SOUS 22885459 HAS SOUPS 22316085 WITH SCORE 2.239695E7
AT ITER 996 NEW BEST:: SOT 123513025 SOS 80866196 HAS SOPS 65874167 HAS SOUS 22881497 HAS SOUPS 22312123 WITH SCORE 2.2392989196E7
AT ITER 997 NEW BEST:: SOT 123540440 SOS 80906733 HAS SOPS 65901660 HAS SOUS 22870568 HAS SOUPS 22299715 WITH SCORE 2.2380621733E7
AT ITER 1013 NEW BEST:: SOT 123535589 SOS 80906244 HAS SOPS 65897443 HAS SOUS 22858138 HAS SOUPS 22286398 WITH SCORE 2.2367304244E7
AT ITER 1015 NEW BEST:: SOT 123557373 SOS 80968995 HAS SOPS 65950139 HAS SOUS 22835594 HAS SOUPS 22263854 WITH SCORE 2.2344822995E7
AT ITER 1027 NEW BEST:: SOT 123568441 SOS 81015495 HAS SOPS 66003484 HAS SOUS 22824040 HAS SOUPS 22252300 WITH SCORE 2.2333315495E7
AT ITER 1028 NEW BEST:: SOT 123538165 SOS 80981130 HAS SOPS 65969895 HAS SOUS 22753146 HAS SOUPS 22181726 WITH SCORE 2.226270713E7
AT ITER 1032 NEW BEST:: SOT 123538165 SOS 80981850 HAS SOPS 65970615 HAS SOUS 22753138 HAS SOUPS 22181718 WITH SCORE 2.226269985E7
AT ITER 1045 NEW BEST:: SOT 123537538 SOS 80973047 HAS SOPS 65984423 HAS SOUS 22751049 HAS SOUPS 22179629 WITH SCORE 2.2260602047E7
AT ITER 1056 NEW BEST:: SOT 123537746 SOS 80998690 HAS SOPS 66017910 HAS SOUS 22750720 HAS SOUPS 22179300 WITH SCORE 2.226029869E7
AT ITER 1063 NEW BEST:: SOT 123538045 SOS 80999407 HAS SOPS 66017262 HAS SOUS 22742337 HAS SOUPS 22171009 WITH SCORE 2.2252008407E7
AT ITER 1064 NEW BEST:: SOT 123538546 SOS 81002907 HAS SOPS 66024282 HAS SOUS 22696748 HAS SOUPS 22125807 WITH SCORE 2.2206809907E7
AT ITER 1089 NEW BEST:: SOT 123493244 SOS 80959199 HAS SOPS 65974299 HAS SOUS 22594112 HAS SOUPS 22022782 WITH SCORE 2.2103741199E7
AT ITER 1091 NEW BEST:: SOT 123493236 SOS 80957690 HAS SOPS 65970567 HAS SOUS 22587350 HAS SOUPS 22016020 WITH SCORE 2.209697769E7
AT ITER 1092 NEW BEST:: SOT 123492718 SOS 80957764 HAS SOPS 65969886 HAS SOUS 22585934 HAS SOUPS 22014604 WITH SCORE 2.2095561764E7
AT ITER 1094 NEW BEST:: SOT 123437436 SOS 80867902 HAS SOPS 65888108 HAS SOUS 22501119 HAS SOUPS 21929789 WITH SCORE 2.2010656902E7
AT ITER 1107 NEW BEST:: SOT 123440731 SOS 80874509 HAS SOPS 65892325 HAS SOUS 22498726 HAS SOUPS 21927396 WITH SCORE 2.2008270509E7
AT ITER 1111 NEW BEST:: SOT 123440810 SOS 80874533 HAS SOPS 65892550 HAS SOUS 22498692 HAS SOUPS 21927365 WITH SCORE 2.2008239533E7
AT ITER 1134 NEW BEST:: SOT 123467182 SOS 80924574 HAS SOPS 65955184 HAS SOUS 22490455 HAS SOUPS 21918845 WITH SCORE 2.1999769574E7
AT ITER 1146 NEW BEST:: SOT 123467195 SOS 80925398 HAS SOPS 65955802 HAS SOUS 22490372 HAS SOUPS 21918762 WITH SCORE 2.1999687398E7
AT ITER 1148 NEW BEST:: SOT 123474210 SOS 80940461 HAS SOPS 65965595 HAS SOUS 22485464 HAS SOUPS 21913732 WITH SCORE 2.1994672461E7
AT ITER 1158 NEW BEST:: SOT 123474474 SOS 80940603 HAS SOPS 65965737 HAS SOUS 22484865 HAS SOUPS 21913133 WITH SCORE 2.1994073603E7
AT ITER 1172 NEW BEST:: SOT 123463672 SOS 80923388 HAS SOPS 65950577 HAS SOUS 22473369 HAS SOUPS 21901686 WITH SCORE 2.1982609388E7
AT ITER 1183 NEW BEST:: SOT 123463822 SOS 80924008 HAS SOPS 65950796 HAS SOUS 22472903 HAS SOUPS 21901220 WITH SCORE 2.1982144008E7
AT ITER 1201 NEW BEST:: SOT 123458127 SOS 80915614 HAS SOPS 65943629 HAS SOUS 22455180 HAS SOUPS 21883497 WITH SCORE 2.1964412614E7
AT ITER 1208 NEW BEST:: SOT 123458015 SOS 80917518 HAS SOPS 65945949 HAS SOUS 22454778 HAS SOUPS 21883095 WITH SCORE 2.1964012518E7
AT ITER 1211 NEW BEST:: SOT 123519798 SOS 81025791 HAS SOPS 66056533 HAS SOUS 22430870 HAS SOUPS 21859647 WITH SCORE 2.1940672791E7
AT ITER 1214 NEW BEST:: SOT 123497112 SOS 80990216 HAS SOPS 66017684 HAS SOUS 22403610 HAS SOUPS 21832494 WITH SCORE 2.1913484216E7
AT ITER 1250 NEW BEST:: SOT 123457067 SOS 80933454 HAS SOPS 65966771 HAS SOUS 22302962 HAS SOUPS 21732278 WITH SCORE 2.1813211454E7
AT ITER 1256 NEW BEST:: SOT 123442193 SOS 80907085 HAS SOPS 65956029 HAS SOUS 22302584 HAS SOUPS 21731900 WITH SCORE 2.1812807085E7
AT ITER 1259 NEW BEST:: SOT 123437028 SOS 80909666 HAS SOPS 65947478 HAS SOUS 22277573 HAS SOUPS 21706889 WITH SCORE 2.1787798666E7
AT ITER 1269 NEW BEST:: SOT 123428751 SOS 80903131 HAS SOPS 65940943 HAS SOUS 22269052 HAS SOUPS 21698368 WITH SCORE 2.1779271131E7
AT ITER 1279 NEW BEST:: SOT 123428751 SOS 80903515 HAS SOPS 65942383 HAS SOUS 22269024 HAS SOUPS 21698340 WITH SCORE 2.1779243515E7
AT ITER 1294 NEW BEST:: SOT 123428345 SOS 80903065 HAS SOPS 65941680 HAS SOUS 22268242 HAS SOUPS 21697563 WITH SCORE 2.1778466065E7
AT ITER 1303 NEW BEST:: SOT 123427761 SOS 80902353 HAS SOPS 65940920 HAS SOUS 22267426 HAS SOUPS 21696755 WITH SCORE 2.1777657353E7
AT ITER 1304 NEW BEST:: SOT 123425094 SOS 80899261 HAS SOPS 65936317 HAS SOUS 22261686 HAS SOUPS 21691015 WITH SCORE 2.1771914261E7
AT ITER 1340 NEW BEST:: SOT 123422273 SOS 80895892 HAS SOPS 65938228 HAS SOUS 22259301 HAS SOUPS 21688711 WITH SCORE 2.1769606892E7
AT ITER 1341 NEW BEST:: SOT 123412903 SOS 80886501 HAS SOPS 65928402 HAS SOUS 22254131 HAS SOUPS 21683421 WITH SCORE 2.1764307501E7
AT ITER 1343 NEW BEST:: SOT 123410151 SOS 80881266 HAS SOPS 65924710 HAS SOUS 22252260 HAS SOUPS 21681550 WITH SCORE 2.1762431266E7
AT ITER 1345 NEW BEST:: SOT 123403688 SOS 80882044 HAS SOPS 65927694 HAS SOUS 22219517 HAS SOUPS 21648807 WITH SCORE 2.1729689044E7
AT ITER 1353 NEW BEST:: SOT 123403132 SOS 80881177 HAS SOPS 65926936 HAS SOUS 22218453 HAS SOUPS 21647750 WITH SCORE 2.1728631177E7
AT ITER 1355 NEW BEST:: SOT 123394836 SOS 80873304 HAS SOPS 65914272 HAS SOUS 22193112 HAS SOUPS 21622421 WITH SCORE 2.1703294304E7
AT ITER 1360 NEW BEST:: SOT 123394248 SOS 80873895 HAS SOPS 65907722 HAS SOUS 22182252 HAS SOUPS 21611561 WITH SCORE 2.1692434895E7
AT ITER 1392 NEW BEST:: SOT 123389196 SOS 80868891 HAS SOPS 65902694 HAS SOUS 22171062 HAS SOUPS 21600336 WITH SCORE 2.1681204891E7
AT ITER 1396 NEW BEST:: SOT 123386754 SOS 80865800 HAS SOPS 65894344 HAS SOUS 22162934 HAS SOUPS 21590184 WITH SCORE 2.16710498E7
AT ITER 1408 NEW BEST:: SOT 123385841 SOS 80873857 HAS SOPS 65905016 HAS SOUS 22155984 HAS SOUPS 21583234 WITH SCORE 2.1664107857E7
AT ITER 1411 NEW BEST:: SOT 123373926 SOS 80861942 HAS SOPS 65893101 HAS SOUS 22155035 HAS SOUPS 21582285 WITH SCORE 2.1663146942E7
AT ITER 1412 NEW BEST:: SOT 123371977 SOS 80863742 HAS SOPS 65893020 HAS SOUS 22145120 HAS SOUPS 21572370 WITH SCORE 2.1653233742E7
AT ITER 1446 NEW BEST:: SOT 123352931 SOS 80844770 HAS SOPS 65873078 HAS SOUS 22124362 HAS SOUPS 21551536 WITH SCORE 2.163238077E7
AT ITER 1451 NEW BEST:: SOT 123352901 SOS 80856368 HAS SOPS 65888822 HAS SOUS 22124221 HAS SOUPS 21551395 WITH SCORE 2.1632251368E7
AT ITER 1452 NEW BEST:: SOT 123347367 SOS 80850769 HAS SOPS 65882944 HAS SOUS 22100149 HAS SOUPS 21527323 WITH SCORE 2.1608173769E7
AT ITER 1460 NEW BEST:: SOT 123333777 SOS 80836234 HAS SOPS 65865701 HAS SOUS 22085634 HAS SOUPS 21510679 WITH SCORE 2.1591515234E7
AT ITER 1465 NEW BEST:: SOT 123325261 SOS 80825176 HAS SOPS 65851480 HAS SOUS 22082429 HAS SOUPS 21507401 WITH SCORE 2.1588226176E7
AT ITER 1467 NEW BEST:: SOT 123315657 SOS 80802581 HAS SOPS 65842476 HAS SOUS 22078786 HAS SOUPS 21503758 WITH SCORE 2.1584560581E7
AT ITER 1483 NEW BEST:: SOT 123320264 SOS 80813065 HAS SOPS 65862121 HAS SOUS 22068121 HAS SOUPS 21493093 WITH SCORE 2.1573906065E7
AT ITER 1514 NEW BEST:: SOT 123327845 SOS 80832540 HAS SOPS 65884147 HAS SOUS 22061955 HAS SOUPS 21486927 WITH SCORE 2.156775954E7
AT ITER 1531 NEW BEST:: SOT 123338543 SOS 80870181 HAS SOPS 65902764 HAS SOUS 22036758 HAS SOUPS 21461730 WITH SCORE 2.1542600181E7
AT ITER 1535 NEW BEST:: SOT 123335024 SOS 80861084 HAS SOPS 65898699 HAS SOUS 22036252 HAS SOUPS 21461269 WITH SCORE 2.1542130084E7
AT ITER 1593 NEW BEST:: SOT 123337616 SOS 80863938 HAS SOPS 65897920 HAS SOUS 22033267 HAS SOUPS 21458284 WITH SCORE 2.1539147938E7
AT ITER 1607 NEW BEST:: SOT 123359993 SOS 80915674 HAS SOPS 65939807 HAS SOUS 22020969 HAS SOUPS 21445732 WITH SCORE 2.1526647674E7
AT ITER 1633 NEW BEST:: SOT 123359062 SOS 80914371 HAS SOPS 65938504 HAS SOUS 22019851 HAS SOUPS 21444614 WITH SCORE 2.1525528371E7
AT ITER 1637 NEW BEST:: SOT 123359111 SOS 80914473 HAS SOPS 65938095 HAS SOUS 22019735 HAS SOUPS 21444491 WITH SCORE 2.1525405473E7
AT ITER 1643 NEW BEST:: SOT 123352715 SOS 80908077 HAS SOPS 65931699 HAS SOUS 22013461 HAS SOUPS 21438217 WITH SCORE 2.1519125077E7
AT ITER 1645 NEW BEST:: SOT 123366145 SOS 80935023 HAS SOPS 65954178 HAS SOUS 21989042 HAS SOUPS 21413795 WITH SCORE 2.1494730023E7
AT ITER 1646 NEW BEST:: SOT 123361981 SOS 80929230 HAS SOPS 65944700 HAS SOUS 21977888 HAS SOUPS 21402641 WITH SCORE 2.148357023E7
AT ITER 1659 NEW BEST:: SOT 123363609 SOS 80932432 HAS SOPS 65956545 HAS SOUS 21976814 HAS SOUPS 21401567 WITH SCORE 2.1482499432E7
AT ITER 1705 NEW BEST:: SOT 123320124 SOS 80864745 HAS SOPS 65893308 HAS SOUS 21914467 HAS SOUPS 21339147 WITH SCORE 2.1420011745E7
AT ITER 1706 NEW BEST:: SOT 123244892 SOS 80782423 HAS SOPS 65823837 HAS SOUS 21779579 HAS SOUPS 21205007 WITH SCORE 2.1285789423E7
AT ITER 1722 NEW BEST:: SOT 123241694 SOS 80779149 HAS SOPS 65819550 HAS SOUS 21775325 HAS SOUPS 21200687 WITH SCORE 2.1281466149E7
AT ITER 1741 NEW BEST:: SOT 123213660 SOS 80747816 HAS SOPS 65783320 HAS SOUS 21743146 HAS SOUPS 21168508 WITH SCORE 2.1249255816E7
AT ITER 1742 NEW BEST:: SOT 123213366 SOS 80747471 HAS SOPS 65782941 HAS SOUS 21742603 HAS SOUPS 21167967 WITH SCORE 2.1248714471E7
AT ITER 1753 NEW BEST:: SOT 123213392 SOS 80769733 HAS SOPS 65808988 HAS SOUS 21742335 HAS SOUPS 21167699 WITH SCORE 2.1248468733E7
AT ITER 1772 NEW BEST:: SOT 123219383 SOS 80783899 HAS SOPS 65823605 HAS SOUS 21737307 HAS SOUPS 21162736 WITH SCORE 2.1243519899E7
AT ITER 1773 NEW BEST:: SOT 123213052 SOS 80777298 HAS SOPS 65817208 HAS SOUS 21722699 HAS SOUPS 21148184 WITH SCORE 2.1228961298E7
AT ITER 1774 NEW BEST:: SOT 123212341 SOS 80778393 HAS SOPS 65815837 HAS SOUS 21717262 HAS SOUPS 21142747 WITH SCORE 2.1223525393E7
AT ITER 1787 NEW BEST:: SOT 123208248 SOS 80774993 HAS SOPS 65813792 HAS SOUS 21709705 HAS SOUPS 21135104 WITH SCORE 2.1215878993E7
AT ITER 1805 NEW BEST:: SOT 123205641 SOS 80773512 HAS SOPS 65814232 HAS SOUS 21696921 HAS SOUPS 21122715 WITH SCORE 2.1203488512E7
AT ITER 1809 NEW BEST:: SOT 123205018 SOS 80778899 HAS SOPS 65816158 HAS SOUS 21690319 HAS SOUPS 21116113 WITH SCORE 2.1196891899E7
AT ITER 1829 NEW BEST:: SOT 123205193 SOS 80779004 HAS SOPS 65817348 HAS SOUS 21687867 HAS SOUPS 21113661 WITH SCORE 2.1194440004E7
AT ITER 1830 NEW BEST:: SOT 123173784 SOS 80747091 HAS SOPS 65782299 HAS SOUS 21638184 HAS SOUPS 21063822 WITH SCORE 2.1144569091E7
AT ITER 1832 NEW BEST:: SOT 123170343 SOS 80744782 HAS SOPS 65786966 HAS SOUS 21627992 HAS SOUPS 21053630 WITH SCORE 2.1134374782E7
AT ITER 1834 NEW BEST:: SOT 123156946 SOS 80724987 HAS SOPS 65770413 HAS SOUS 21626170 HAS SOUPS 21048988 WITH SCORE 2.1129712987E7
AT ITER 1838 NEW BEST:: SOT 123179436 SOS 80769472 HAS SOPS 65809464 HAS SOUS 21603417 HAS SOUPS 21026235 WITH SCORE 2.1107004472E7
AT ITER 1841 NEW BEST:: SOT 123181537 SOS 80777993 HAS SOPS 65810523 HAS SOUS 21592836 HAS SOUPS 21015654 WITH SCORE 2.1096431993E7
AT ITER 1845 NEW BEST:: SOT 123180432 SOS 80776893 HAS SOPS 65809650 HAS SOUS 21589479 HAS SOUPS 21012373 WITH SCORE 2.1093149893E7
AT ITER 1853 NEW BEST:: SOT 123191037 SOS 80790096 HAS SOPS 65817594 HAS SOUS 21586499 HAS SOUPS 21009393 WITH SCORE 2.1090183096E7
AT ITER 1889 NEW BEST:: SOT 123190967 SOS 80790134 HAS SOPS 65817518 HAS SOUS 21586197 HAS SOUPS 21009091 WITH SCORE 2.1089881134E7
AT ITER 1890 NEW BEST:: SOT 123190967 SOS 80796048 HAS SOPS 65823376 HAS SOUS 21585984 HAS SOUPS 21008878 WITH SCORE 2.1089674048E7
AT ITER 1919 NEW BEST:: SOT 123190991 SOS 80800021 HAS SOPS 65827911 HAS SOUS 21585210 HAS SOUPS 21008104 WITH SCORE 2.1088904021E7
AT ITER 1925 NEW BEST:: SOT 123189037 SOS 80798077 HAS SOPS 65825045 HAS SOUS 21579776 HAS SOUPS 21002670 WITH SCORE 2.1083468077E7
AT ITER 1944 NEW BEST:: SOT 123169388 SOS 80774414 HAS SOPS 65803240 HAS SOUS 21555567 HAS SOUPS 20978461 WITH SCORE 2.1059235414E7
AT ITER 1965 NEW BEST:: SOT 123158959 SOS 80761054 HAS SOPS 65793815 HAS SOUS 21538040 HAS SOUPS 20960934 WITH SCORE 2.1041695054E7
AT ITER 1969 NEW BEST:: SOT 123158894 SOS 80762249 HAS SOPS 65795460 HAS SOUS 21537987 HAS SOUPS 20960881 WITH SCORE 2.1041643249E7
AT ITER 1971 NEW BEST:: SOT 123161764 SOS 80770093 HAS SOPS 65800528 HAS SOUS 21537950 HAS SOUPS 20960796 WITH SCORE 2.1041566093E7
AT ITER 1981 NEW BEST:: SOT 123136789 SOS 80744519 HAS SOPS 65773497 HAS SOUS 21507441 HAS SOUPS 20930284 WITH SCORE 2.1011028519E7
AT ITER 1995 NEW BEST:: SOT 123137395 SOS 80757330 HAS SOPS 65808575 HAS SOUS 21506748 HAS SOUPS 20929591 WITH SCORE 2.101034833E7
AT ITER 1996 NEW BEST:: SOT 123136498 SOS 80732291 HAS SOPS 65783116 HAS SOUS 21487014 HAS SOUPS 20909962 WITH SCORE 2.0990694291E7
AT ITER 2010 NEW BEST:: SOT 123136417 SOS 80730379 HAS SOPS 65785931 HAS SOUS 21483979 HAS SOUPS 20906927 WITH SCORE 2.0987657379E7
AT ITER 2020 NEW BEST:: SOT 123136438 SOS 80730336 HAS SOPS 65784728 HAS SOUS 21483395 HAS SOUPS 20906343 WITH SCORE 2.0987073336E7
AT ITER 2025 NEW BEST:: SOT 123136433 SOS 80730345 HAS SOPS 65784730 HAS SOUS 21483378 HAS SOUPS 20906325 WITH SCORE 2.0987055345E7
AT ITER 2038 NEW BEST:: SOT 123132449 SOS 80724947 HAS SOPS 65778922 HAS SOUS 21476455 HAS SOUPS 20899432 WITH SCORE 2.0980156947E7
AT ITER 2040 NEW BEST:: SOT 123131303 SOS 80721327 HAS SOPS 65777526 HAS SOUS 21474927 HAS SOUPS 20897952 WITH SCORE 2.0978673327E7
AT ITER 2066 NEW BEST:: SOT 123129910 SOS 80720088 HAS SOPS 65775874 HAS SOUS 21474556 HAS SOUPS 20896866 WITH SCORE 2.0977586088E7
AT ITER 2073 NEW BEST:: SOT 123137945 SOS 80742995 HAS SOPS 65797940 HAS SOUS 21463463 HAS SOUPS 20885773 WITH SCORE 2.0966515995E7
AT ITER 2077 NEW BEST:: SOT 123137945 SOS 80744409 HAS SOPS 65799599 HAS SOUS 21463354 HAS SOUPS 20885664 WITH SCORE 2.0966408409E7
AT ITER 2102 NEW BEST:: SOT 123138421 SOS 80784602 HAS SOPS 65850274 HAS SOUS 21463250 HAS SOUPS 20885560 WITH SCORE 2.0966344602E7
AT ITER 2103 NEW BEST:: SOT 123138337 SOS 80784518 HAS SOPS 65850166 HAS SOUS 21462966 HAS SOUPS 20885276 WITH SCORE 2.0966060518E7
AT ITER 2105 NEW BEST:: SOT 123131192 SOS 80779810 HAS SOPS 65838390 HAS SOUS 21442545 HAS SOUPS 20864855 WITH SCORE 2.094563481E7
AT ITER 2106 NEW BEST:: SOT 123122289 SOS 80770277 HAS SOPS 65829297 HAS SOUS 21422579 HAS SOUPS 20845417 WITH SCORE 2.0926187277E7
AT ITER 2107 NEW BEST:: SOT 123127015 SOS 80788732 HAS SOPS 65850639 HAS SOUS 21417637 HAS SOUPS 20840552 WITH SCORE 2.0921340732E7
AT ITER 2116 NEW BEST:: SOT 123131324 SOS 80790184 HAS SOPS 65864377 HAS SOUS 21412562 HAS SOUPS 20839338 WITH SCORE 2.0920128184E7
AT ITER 2121 NEW BEST:: SOT 123143238 SOS 80833355 HAS SOPS 65892364 HAS SOUS 21409011 HAS SOUPS 20835787 WITH SCORE 2.0916620355E7
AT ITER 2124 NEW BEST:: SOT 123142042 SOS 80830664 HAS SOPS 65890089 HAS SOUS 21406830 HAS SOUPS 20833606 WITH SCORE 2.0914436664E7
AT ITER 2129 NEW BEST:: SOT 123141373 SOS 80829352 HAS SOPS 65888957 HAS SOUS 21406353 HAS SOUPS 20833129 WITH SCORE 2.0913958352E7
AT ITER 2140 NEW BEST:: SOT 123139548 SOS 80830453 HAS SOPS 65892196 HAS SOUS 21397792 HAS SOUPS 20824568 WITH SCORE 2.0905398453E7
AT ITER 2142 NEW BEST:: SOT 123138988 SOS 80829465 HAS SOPS 65891928 HAS SOUS 21397244 HAS SOUPS 20824020 WITH SCORE 2.0904849465E7
AT ITER 2145 NEW BEST:: SOT 123134669 SOS 80820508 HAS SOPS 65885992 HAS SOUS 21394415 HAS SOUPS 20821191 WITH SCORE 2.0902011508E7
AT ITER 2158 NEW BEST:: SOT 123149930 SOS 80861435 HAS SOPS 65936703 HAS SOUS 21366615 HAS SOUPS 20793391 WITH SCORE 2.0874252435E7
AT ITER 2159 NEW BEST:: SOT 123149968 SOS 80858542 HAS SOPS 65937007 HAS SOUS 21366098 HAS SOUPS 20792973 WITH SCORE 2.0873831542E7
AT ITER 2162 NEW BEST:: SOT 123114010 SOS 80820787 HAS SOPS 65893853 HAS SOUS 21317503 HAS SOUPS 20744378 WITH SCORE 2.0825198787E7
AT ITER 2171 NEW BEST:: SOT 123106554 SOS 80808794 HAS SOPS 65889883 HAS SOUS 21301254 HAS SOUPS 20728129 WITH SCORE 2.0808937794E7
AT ITER 2181 NEW BEST:: SOT 123105287 SOS 80806906 HAS SOPS 65891555 HAS SOUS 21292139 HAS SOUPS 20719014 WITH SCORE 2.0799820906E7
AT ITER 2182 NEW BEST:: SOT 123094568 SOS 80795429 HAS SOPS 65877225 HAS SOUS 21276212 HAS SOUPS 20700663 WITH SCORE 2.0781458429E7
AT ITER 2184 NEW BEST:: SOT 123094631 SOS 80807133 HAS SOPS 65889569 HAS SOUS 21274906 HAS SOUPS 20699357 WITH SCORE 2.0780164133E7
AT ITER 2185 NEW BEST:: SOT 123082144 SOS 80758797 HAS SOPS 65850825 HAS SOUS 21264450 HAS SOUPS 20689050 WITH SCORE 2.0769808797E7
AT ITER 2200 NEW BEST:: SOT 123080572 SOS 80760282 HAS SOPS 65862077 HAS SOUS 21251218 HAS SOUPS 20675818 WITH SCORE 2.0756578282E7
AT ITER 2219 NEW BEST:: SOT 123065206 SOS 80724575 HAS SOPS 65831087 HAS SOUS 21222928 HAS SOUPS 20647528 WITH SCORE 2.0728252575E7
AT ITER 2221 NEW BEST:: SOT 123060614 SOS 80719983 HAS SOPS 65826479 HAS SOUS 21218208 HAS SOUPS 20642808 WITH SCORE 2.0723527983E7
AT ITER 2226 NEW BEST:: SOT 123066899 SOS 80738062 HAS SOPS 65836139 HAS SOUS 21201107 HAS SOUPS 20625707 WITH SCORE 2.0706445062E7
AT ITER 2231 NEW BEST:: SOT 123097201 SOS 80763623 HAS SOPS 65860818 HAS SOUS 21194653 HAS SOUPS 20619494 WITH SCORE 2.0700257623E7
AT ITER 2241 NEW BEST:: SOT 123100031 SOS 80766902 HAS SOPS 65866754 HAS SOUS 21190921 HAS SOUPS 20615742 WITH SCORE 2.0696508902E7
AT ITER 2245 NEW BEST:: SOT 123091931 SOS 80755002 HAS SOPS 65853881 HAS SOUS 21177181 HAS SOUPS 20602002 WITH SCORE 2.0682757002E7
AT ITER 2249 NEW BEST:: SOT 123074178 SOS 80731400 HAS SOPS 65834633 HAS SOUS 21142958 HAS SOUPS 20567939 WITH SCORE 2.06486704E7

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-4"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502500176"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-4.tgz
mv RERS17pb115-PT-4 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;