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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 4.1K Apr 12 07:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 12 07:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Apr 11 08:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 11 08:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K 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.1K Apr 10 14:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 9 21:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 21:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 1589770371805

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 5
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 1 NEW BEST:: SOT 123447409 SOS 80238944 HAS SOPS 65223415 HAS SOUS 24075748 HAS SOUPS 23503797 WITH SCORE 2.3584035944E7
AT ITER 38 NEW BEST:: SOT 123475997 SOS 80302809 HAS SOPS 65292601 HAS SOUS 24067430 HAS SOUPS 23495192 WITH SCORE 2.3575494809E7
AT ITER 41 NEW BEST:: SOT 123480102 SOS 80304781 HAS SOPS 65300286 HAS SOUS 24065699 HAS SOUPS 23493461 WITH SCORE 2.3573765781E7
AT ITER 43 NEW BEST:: SOT 123478426 SOS 80303299 HAS SOPS 65298756 HAS SOUS 24059464 HAS SOUPS 23487226 WITH SCORE 2.3567529299E7
AT ITER 47 NEW BEST:: SOT 123506356 SOS 80373410 HAS SOPS 65350687 HAS SOUS 24041766 HAS SOUPS 23469528 WITH SCORE 2.354990141E7
AT ITER 53 NEW BEST:: SOT 123507044 SOS 80375886 HAS SOPS 65350210 HAS SOUS 24040918 HAS SOUPS 23468680 WITH SCORE 2.3549055886E7
AT ITER 54 NEW BEST:: SOT 123514365 SOS 80388486 HAS SOPS 65369573 HAS SOUS 24030665 HAS SOUPS 23458699 WITH SCORE 2.3539087486E7
AT ITER 62 NEW BEST:: SOT 123522830 SOS 80405967 HAS SOPS 65383678 HAS SOUS 24021275 HAS SOUPS 23449405 WITH SCORE 2.3529810967E7
AT ITER 68 NEW BEST:: SOT 123526027 SOS 80433940 HAS SOPS 65407064 HAS SOUS 23957189 HAS SOUPS 23385656 WITH SCORE 2.346608994E7
AT ITER 70 NEW BEST:: SOT 123530055 SOS 80445385 HAS SOPS 65421310 HAS SOUS 23950813 HAS SOUPS 23379280 WITH SCORE 2.3459725385E7
AT ITER 76 NEW BEST:: SOT 123529852 SOS 80445806 HAS SOPS 65421482 HAS SOUS 23950111 HAS SOUPS 23378578 WITH SCORE 2.3459023806E7
AT ITER 103 NEW BEST:: SOT 123528019 SOS 80441539 HAS SOPS 65417997 HAS SOUS 23948790 HAS SOUPS 23377257 WITH SCORE 2.3457698539E7
AT ITER 106 NEW BEST:: SOT 123410630 SOS 80301061 HAS SOPS 65289185 HAS SOUS 23781477 HAS SOUPS 23210075 WITH SCORE 2.3290376061E7
AT ITER 119 NEW BEST:: SOT 123411499 SOS 80306401 HAS SOPS 65294088 HAS SOUS 23777248 HAS SOUPS 23205846 WITH SCORE 2.3286152401E7
AT ITER 146 NEW BEST:: SOT 123411552 SOS 80333433 HAS SOPS 65345913 HAS SOUS 23776036 HAS SOUPS 23204634 WITH SCORE 2.3284967433E7
AT ITER 149 NEW BEST:: SOT 123410352 SOS 80332269 HAS SOPS 65344453 HAS SOUS 23774863 HAS SOUPS 23203461 WITH SCORE 2.3283793269E7
AT ITER 150 NEW BEST:: SOT 123396651 SOS 80355211 HAS SOPS 65369955 HAS SOUS 23768902 HAS SOUPS 23197500 WITH SCORE 2.3277855211E7
AT ITER 160 NEW BEST:: SOT 123397075 SOS 80355579 HAS SOPS 65370933 HAS SOUS 23767983 HAS SOUPS 23197361 WITH SCORE 2.3277716579E7
AT ITER 171 NEW BEST:: SOT 123388889 SOS 80337525 HAS SOPS 65357534 HAS SOUS 23755882 HAS SOUPS 23185989 WITH SCORE 2.3266326525E7
AT ITER 180 NEW BEST:: SOT 123395255 SOS 80362042 HAS SOPS 65374499 HAS SOUS 23749823 HAS SOUPS 23179930 WITH SCORE 2.3260292042E7
AT ITER 192 NEW BEST:: SOT 123379346 SOS 80348182 HAS SOPS 65363277 HAS SOUS 23709982 HAS SOUPS 23140075 WITH SCORE 2.3220423182E7
AT ITER 197 NEW BEST:: SOT 123373882 SOS 80346501 HAS SOPS 65361730 HAS SOUS 23709385 HAS SOUPS 23139419 WITH SCORE 2.3219765501E7
AT ITER 221 NEW BEST:: SOT 123387854 SOS 80385420 HAS SOPS 65392910 HAS SOUS 23697784 HAS SOUPS 23127818 WITH SCORE 2.320820342E7
AT ITER 227 NEW BEST:: SOT 123372452 SOS 80369892 HAS SOPS 65377144 HAS SOUS 23681536 HAS SOUPS 23111504 WITH SCORE 2.3191873892E7
AT ITER 231 NEW BEST:: SOT 123352767 SOS 80346954 HAS SOPS 65350498 HAS SOUS 23651859 HAS SOUPS 23081867 WITH SCORE 2.3162213954E7
AT ITER 235 NEW BEST:: SOT 123351855 SOS 80346640 HAS SOPS 65349034 HAS SOUS 23648302 HAS SOUPS 23078310 WITH SCORE 2.315865664E7
AT ITER 247 NEW BEST:: SOT 123346088 SOS 80333629 HAS SOPS 65337743 HAS SOUS 23641174 HAS SOUPS 23071182 WITH SCORE 2.3151515629E7
AT ITER 252 NEW BEST:: SOT 123343516 SOS 80331314 HAS SOPS 65331515 HAS SOUS 23632437 HAS SOUPS 23062445 WITH SCORE 2.3142776314E7
AT ITER 256 NEW BEST:: SOT 123364122 SOS 80393352 HAS SOPS 65388041 HAS SOUS 23616655 HAS SOUPS 23046663 WITH SCORE 2.3127056352E7
AT ITER 268 NEW BEST:: SOT 123361069 SOS 80391867 HAS SOPS 65386842 HAS SOUS 23605954 HAS SOUPS 23035962 WITH SCORE 2.3116353867E7
AT ITER 271 NEW BEST:: SOT 123358522 SOS 80388025 HAS SOPS 65383148 HAS SOUS 23600817 HAS SOUPS 23030825 WITH SCORE 2.3111213025E7
AT ITER 292 NEW BEST:: SOT 123401092 SOS 80486856 HAS SOPS 65489033 HAS SOUS 23584059 HAS SOUPS 23014067 WITH SCORE 2.3094553856E7
AT ITER 293 NEW BEST:: SOT 123388134 SOS 80463631 HAS SOPS 65474077 HAS SOUS 23578667 HAS SOUPS 23007708 WITH SCORE 2.3088171631E7
AT ITER 296 NEW BEST:: SOT 123365043 SOS 80439972 HAS SOPS 65450418 HAS SOUS 23555045 HAS SOUPS 22984086 WITH SCORE 2.3064525972E7
AT ITER 317 NEW BEST:: SOT 123365650 SOS 80442907 HAS SOPS 65449313 HAS SOUS 23546535 HAS SOUPS 22975576 WITH SCORE 2.3056018907E7
AT ITER 322 NEW BEST:: SOT 123365594 SOS 80455599 HAS SOPS 65456540 HAS SOUS 23535825 HAS SOUPS 22964866 WITH SCORE 2.3045321599E7
AT ITER 340 NEW BEST:: SOT 123365689 SOS 80455577 HAS SOPS 65456013 HAS SOUS 23535281 HAS SOUPS 22964322 WITH SCORE 2.3044777577E7
AT ITER 352 NEW BEST:: SOT 123336981 SOS 80394584 HAS SOPS 65417068 HAS SOUS 23496477 HAS SOUPS 22926123 WITH SCORE 2.3006517584E7
AT ITER 360 NEW BEST:: SOT 123299521 SOS 80325680 HAS SOPS 65360869 HAS SOUS 23462662 HAS SOUPS 22892308 WITH SCORE 2.297263368E7
AT ITER 364 NEW BEST:: SOT 123297970 SOS 80334940 HAS SOPS 65370602 HAS SOUS 23448354 HAS SOUPS 22878000 WITH SCORE 2.295833494E7
AT ITER 369 NEW BEST:: SOT 123302895 SOS 80348940 HAS SOPS 65385731 HAS SOUS 23448129 HAS SOUPS 22877831 WITH SCORE 2.295817994E7
AT ITER 372 NEW BEST:: SOT 123271512 SOS 80315433 HAS SOPS 65351299 HAS SOUS 23410835 HAS SOUPS 22840680 WITH SCORE 2.2920995433E7
AT ITER 374 NEW BEST:: SOT 123273786 SOS 80318301 HAS SOPS 65352255 HAS SOUS 23409660 HAS SOUPS 22839454 WITH SCORE 2.2919772301E7
AT ITER 376 NEW BEST:: SOT 123276219 SOS 80318122 HAS SOPS 65353872 HAS SOUS 23403336 HAS SOUPS 22833130 WITH SCORE 2.2913448122E7
AT ITER 377 NEW BEST:: SOT 123284707 SOS 80347827 HAS SOPS 65376266 HAS SOUS 23385975 HAS SOUPS 22815769 WITH SCORE 2.2896116827E7
AT ITER 384 NEW BEST:: SOT 123239655 SOS 80302683 HAS SOPS 65331168 HAS SOUS 23305166 HAS SOUPS 22734995 WITH SCORE 2.2815297683E7
AT ITER 390 NEW BEST:: SOT 123240011 SOS 80327348 HAS SOPS 65355734 HAS SOUS 23305110 HAS SOUPS 22734939 WITH SCORE 2.2815266348E7
AT ITER 393 NEW BEST:: SOT 123240034 SOS 80330237 HAS SOPS 65356822 HAS SOUS 23305078 HAS SOUPS 22734907 WITH SCORE 2.2815237237E7
AT ITER 394 NEW BEST:: SOT 123241991 SOS 80380738 HAS SOPS 65416400 HAS SOUS 23304047 HAS SOUPS 22733876 WITH SCORE 2.2814256738E7
AT ITER 397 NEW BEST:: SOT 123249407 SOS 80399712 HAS SOPS 65424605 HAS SOUS 23294823 HAS SOUPS 22724652 WITH SCORE 2.2805051712E7
AT ITER 407 NEW BEST:: SOT 123228921 SOS 80385426 HAS SOPS 65401643 HAS SOUS 23244372 HAS SOUPS 22672959 WITH SCORE 2.2753344426E7
AT ITER 419 NEW BEST:: SOT 123202625 SOS 80360028 HAS SOPS 65374355 HAS SOUS 23235791 HAS SOUPS 22664334 WITH SCORE 2.2744694028E7
AT ITER 431 NEW BEST:: SOT 123245846 SOS 80463289 HAS SOPS 65450605 HAS SOUS 23213780 HAS SOUPS 22642323 WITH SCORE 2.2722786289E7
AT ITER 440 NEW BEST:: SOT 123245846 SOS 80464425 HAS SOPS 65451733 HAS SOUS 23213676 HAS SOUPS 22642219 WITH SCORE 2.2722683425E7
AT ITER 445 NEW BEST:: SOT 123241739 SOS 80460052 HAS SOPS 65451846 HAS SOUS 23204078 HAS SOUPS 22632724 WITH SCORE 2.2713184052E7
AT ITER 447 NEW BEST:: SOT 123241804 SOS 80459148 HAS SOPS 65451098 HAS SOUS 23203487 HAS SOUPS 22632133 WITH SCORE 2.2712592148E7
AT ITER 456 NEW BEST:: SOT 123240506 SOS 80455722 HAS SOPS 65448280 HAS SOUS 23202770 HAS SOUPS 22631435 WITH SCORE 2.2711890722E7
AT ITER 496 NEW BEST:: SOT 123240166 SOS 80455382 HAS SOPS 65447892 HAS SOUS 23202078 HAS SOUPS 22630743 WITH SCORE 2.2711198382E7
AT ITER 499 NEW BEST:: SOT 123223771 SOS 80438030 HAS SOPS 65430522 HAS SOUS 23172923 HAS SOUPS 22601671 WITH SCORE 2.268210903E7
AT ITER 500 NEW BEST:: SOT 123223300 SOS 80437541 HAS SOPS 65430033 HAS SOUS 23172042 HAS SOUPS 22600790 WITH SCORE 2.2681227541E7
AT ITER 511 NEW BEST:: SOT 123223221 SOS 80437517 HAS SOPS 65429918 HAS SOUS 23171797 HAS SOUPS 22600545 WITH SCORE 2.2680982517E7
AT ITER 523 NEW BEST:: SOT 123216458 SOS 80419984 HAS SOPS 65419294 HAS SOUS 23160623 HAS SOUPS 22589686 WITH SCORE 2.2670105984E7
AT ITER 524 NEW BEST:: SOT 123184134 SOS 80378346 HAS SOPS 65369894 HAS SOUS 23112109 HAS SOUPS 22541172 WITH SCORE 2.2621550346E7
AT ITER 531 NEW BEST:: SOT 123169728 SOS 80367060 HAS SOPS 65359165 HAS SOUS 23072375 HAS SOUPS 22501663 WITH SCORE 2.258203006E7
AT ITER 533 NEW BEST:: SOT 123167127 SOS 80367077 HAS SOPS 65374783 HAS SOUS 23064678 HAS SOUPS 22493966 WITH SCORE 2.2574333077E7
AT ITER 536 NEW BEST:: SOT 123173977 SOS 80386883 HAS SOPS 65390831 HAS SOUS 23055564 HAS SOUPS 22484852 WITH SCORE 2.2565238883E7
AT ITER 540 NEW BEST:: SOT 123150621 SOS 80333831 HAS SOPS 65347877 HAS SOUS 23042915 HAS SOUPS 22472203 WITH SCORE 2.2552536831E7
AT ITER 546 NEW BEST:: SOT 123153480 SOS 80343412 HAS SOPS 65355808 HAS SOUS 23040225 HAS SOUPS 22469513 WITH SCORE 2.2549856412E7
AT ITER 592 NEW BEST:: SOT 123153352 SOS 80341346 HAS SOPS 65353585 HAS SOUS 23039789 HAS SOUPS 22469077 WITH SCORE 2.2549418346E7
AT ITER 599 NEW BEST:: SOT 123150593 SOS 80337532 HAS SOPS 65350320 HAS SOUS 23038083 HAS SOUPS 22467371 WITH SCORE 2.2547708532E7
AT ITER 601 NEW BEST:: SOT 123159251 SOS 80350050 HAS SOPS 65361109 HAS SOUS 23025837 HAS SOUPS 22454906 WITH SCORE 2.253525605E7
AT ITER 602 NEW BEST:: SOT 123152200 SOS 80331753 HAS SOPS 65354516 HAS SOUS 23023869 HAS SOUPS 22452943 WITH SCORE 2.2533274753E7
AT ITER 622 NEW BEST:: SOT 123151656 SOS 80327107 HAS SOPS 65381778 HAS SOUS 23023341 HAS SOUPS 22452415 WITH SCORE 2.2532742107E7
AT ITER 626 NEW BEST:: SOT 123154082 SOS 80323237 HAS SOPS 65377459 HAS SOUS 23022206 HAS SOUPS 22451280 WITH SCORE 2.2531603237E7
AT ITER 631 NEW BEST:: SOT 123154102 SOS 80330269 HAS SOPS 65384491 HAS SOUS 23022094 HAS SOUPS 22451168 WITH SCORE 2.2531498269E7
AT ITER 639 NEW BEST:: SOT 123153571 SOS 80339948 HAS SOPS 65383088 HAS SOUS 23008917 HAS SOUPS 22437991 WITH SCORE 2.2518330948E7
AT ITER 645 NEW BEST:: SOT 123153580 SOS 80358211 HAS SOPS 65408976 HAS SOUS 23008630 HAS SOUPS 22437704 WITH SCORE 2.2518062211E7
AT ITER 650 NEW BEST:: SOT 123153766 SOS 80359101 HAS SOPS 65405272 HAS SOUS 23000522 HAS SOUPS 22429596 WITH SCORE 2.2509955101E7
AT ITER 661 NEW BEST:: SOT 123153126 SOS 80358479 HAS SOPS 65404680 HAS SOUS 22999194 HAS SOUPS 22428268 WITH SCORE 2.2508626479E7
AT ITER 662 NEW BEST:: SOT 123148442 SOS 80353795 HAS SOPS 65399996 HAS SOUS 22994510 HAS SOUPS 22423584 WITH SCORE 2.2503937795E7
AT ITER 676 NEW BEST:: SOT 123145473 SOS 80349306 HAS SOPS 65396323 HAS SOUS 22990181 HAS SOUPS 22419271 WITH SCORE 2.2499620306E7
AT ITER 678 NEW BEST:: SOT 123154473 SOS 80365124 HAS SOPS 65397792 HAS SOUS 22966986 HAS SOUPS 22396076 WITH SCORE 2.2476441124E7
AT ITER 713 NEW BEST:: SOT 123159661 SOS 80373391 HAS SOPS 65405800 HAS SOUS 22957616 HAS SOUPS 22386794 WITH SCORE 2.2467167391E7
AT ITER 727 NEW BEST:: SOT 123162330 SOS 80384649 HAS SOPS 65414889 HAS SOUS 22955923 HAS SOUPS 22385101 WITH SCORE 2.2465485649E7
AT ITER 741 NEW BEST:: SOT 123159629 SOS 80388810 HAS SOPS 65412617 HAS SOUS 22938509 HAS SOUPS 22367687 WITH SCORE 2.244807581E7
AT ITER 748 NEW BEST:: SOT 123159629 SOS 80391266 HAS SOPS 65415073 HAS SOUS 22934572 HAS SOUPS 22363750 WITH SCORE 2.2444141266E7
AT ITER 749 NEW BEST:: SOT 123148871 SOS 80375488 HAS SOPS 65399325 HAS SOUS 22919532 HAS SOUPS 22348772 WITH SCORE 2.2429147488E7
AT ITER 756 NEW BEST:: SOT 123161342 SOS 80396704 HAS SOPS 65422058 HAS SOUS 22904062 HAS SOUPS 22333447 WITH SCORE 2.2413843704E7
AT ITER 762 NEW BEST:: SOT 123161342 SOS 80406144 HAS SOPS 65433754 HAS SOUS 22903876 HAS SOUPS 22333261 WITH SCORE 2.2413667144E7
AT ITER 773 NEW BEST:: SOT 123153939 SOS 80382572 HAS SOPS 65408537 HAS SOUS 22890367 HAS SOUPS 22319752 WITH SCORE 2.2400134572E7
AT ITER 778 NEW BEST:: SOT 123144732 SOS 80373239 HAS SOPS 65395727 HAS SOUS 22872395 HAS SOUPS 22301780 WITH SCORE 2.2382153239E7
AT ITER 796 NEW BEST:: SOT 123145019 SOS 80374624 HAS SOPS 65396071 HAS SOUS 22870732 HAS SOUPS 22300117 WITH SCORE 2.2380491624E7
AT ITER 819 NEW BEST:: SOT 123144089 SOS 80371860 HAS SOPS 65392904 HAS SOUS 22867543 HAS SOUPS 22296928 WITH SCORE 2.237729986E7
AT ITER 820 NEW BEST:: SOT 123140783 SOS 80361545 HAS SOPS 65383436 HAS SOUS 22864061 HAS SOUPS 22293446 WITH SCORE 2.2373807545E7
AT ITER 837 NEW BEST:: SOT 123139614 SOS 80360437 HAS SOPS 65382759 HAS SOUS 22860627 HAS SOUPS 22290110 WITH SCORE 2.2370470437E7
AT ITER 839 NEW BEST:: SOT 123135997 SOS 80363856 HAS SOPS 65377328 HAS SOUS 22852779 HAS SOUPS 22282262 WITH SCORE 2.2362625856E7
AT ITER 851 NEW BEST:: SOT 123141005 SOS 80390084 HAS SOPS 65411101 HAS SOUS 22845948 HAS SOUPS 22275532 WITH SCORE 2.2355922084E7
AT ITER 864 NEW BEST:: SOT 123140625 SOS 80389281 HAS SOPS 65410601 HAS SOUS 22845341 HAS SOUPS 22274925 WITH SCORE 2.2355314281E7
AT ITER 867 NEW BEST:: SOT 123140830 SOS 80392309 HAS SOPS 65413668 HAS SOUS 22842855 HAS SOUPS 22272439 WITH SCORE 2.2352831309E7
AT ITER 882 NEW BEST:: SOT 123137078 SOS 80384959 HAS SOPS 65418738 HAS SOUS 22825386 HAS SOUPS 22255886 WITH SCORE 2.2336270959E7
AT ITER 889 NEW BEST:: SOT 123111083 SOS 80333029 HAS SOPS 65369300 HAS SOUS 22793937 HAS SOUPS 22224437 WITH SCORE 2.2304770029E7
AT ITER 899 NEW BEST:: SOT 123107190 SOS 80329166 HAS SOPS 65364222 HAS SOUS 22786563 HAS SOUPS 22217063 WITH SCORE 2.2297392166E7
AT ITER 925 NEW BEST:: SOT 123099725 SOS 80322588 HAS SOPS 65370500 HAS SOUS 22747985 HAS SOUPS 22178858 WITH SCORE 2.2259180588E7
AT ITER 926 NEW BEST:: SOT 123089339 SOS 80317035 HAS SOPS 65361242 HAS SOUS 22720739 HAS SOUPS 22151612 WITH SCORE 2.2231929035E7
AT ITER 927 NEW BEST:: SOT 123089339 SOS 80318131 HAS SOPS 65361322 HAS SOUS 22720552 HAS SOUPS 22151425 WITH SCORE 2.2231743131E7
AT ITER 932 NEW BEST:: SOT 123089399 SOS 80330451 HAS SOPS 65373642 HAS SOUS 22720446 HAS SOUPS 22151319 WITH SCORE 2.2231649451E7
AT ITER 942 NEW BEST:: SOT 123098197 SOS 80375377 HAS SOPS 65407640 HAS SOUS 22719721 HAS SOUPS 22150594 WITH SCORE 2.2230969377E7
AT ITER 951 NEW BEST:: SOT 123090580 SOS 80363321 HAS SOPS 65397020 HAS SOUS 22712803 HAS SOUPS 22143676 WITH SCORE 2.2224039321E7
AT ITER 959 NEW BEST:: SOT 123091740 SOS 80363511 HAS SOPS 65397356 HAS SOUS 22705863 HAS SOUPS 22136771 WITH SCORE 2.2217134511E7
AT ITER 978 NEW BEST:: SOT 123091840 SOS 80364029 HAS SOPS 65397637 HAS SOUS 22705439 HAS SOUPS 22136347 WITH SCORE 2.2216711029E7
AT ITER 986 NEW BEST:: SOT 123069702 SOS 80340219 HAS SOPS 65371034 HAS SOUS 22650987 HAS SOUPS 22082174 WITH SCORE 2.2162514219E7
AT ITER 1028 NEW BEST:: SOT 123036429 SOS 80282753 HAS SOPS 65313182 HAS SOUS 22616880 HAS SOUPS 22048067 WITH SCORE 2.2128349753E7
AT ITER 1036 NEW BEST:: SOT 123025765 SOS 80270359 HAS SOPS 65300192 HAS SOUS 22616007 HAS SOUPS 22047194 WITH SCORE 2.2127464359E7
AT ITER 1061 NEW BEST:: SOT 123016369 SOS 80253224 HAS SOPS 65289277 HAS SOUS 22609100 HAS SOUPS 22040287 WITH SCORE 2.2120540224E7
AT ITER 1082 NEW BEST:: SOT 123016186 SOS 80258925 HAS SOPS 65300108 HAS SOUS 22599205 HAS SOUPS 22030392 WITH SCORE 2.2110650925E7
AT ITER 1085 NEW BEST:: SOT 123016090 SOS 80258663 HAS SOPS 65302135 HAS SOUS 22599111 HAS SOUPS 22030363 WITH SCORE 2.2110621663E7
AT ITER 1090 NEW BEST:: SOT 123021837 SOS 80268532 HAS SOPS 65312758 HAS SOUS 22590998 HAS SOUPS 22022250 WITH SCORE 2.2102518532E7
AT ITER 1098 NEW BEST:: SOT 123020406 SOS 80266040 HAS SOPS 65310617 HAS SOUS 22589764 HAS SOUPS 22021016 WITH SCORE 2.210128204E7
AT ITER 1102 NEW BEST:: SOT 123004876 SOS 80246154 HAS SOPS 65296564 HAS SOUS 22549315 HAS SOUPS 21981997 WITH SCORE 2.2062243154E7
AT ITER 1103 NEW BEST:: SOT 123014241 SOS 80263660 HAS SOPS 65317433 HAS SOUS 22546682 HAS SOUPS 21979364 WITH SCORE 2.205962766E7
AT ITER 1108 NEW BEST:: SOT 122989569 SOS 80246098 HAS SOPS 65301566 HAS SOUS 22494066 HAS SOUPS 21927052 WITH SCORE 2.2007298098E7
AT ITER 1113 NEW BEST:: SOT 122987795 SOS 80244351 HAS SOPS 65298999 HAS SOUS 22490463 HAS SOUPS 21923449 WITH SCORE 2.2003693351E7
AT ITER 1145 NEW BEST:: SOT 122987782 SOS 80242716 HAS SOPS 65297351 HAS SOUS 22490458 HAS SOUPS 21923444 WITH SCORE 2.2003686716E7
AT ITER 1146 NEW BEST:: SOT 122983469 SOS 80242930 HAS SOPS 65299926 HAS SOUS 22481691 HAS SOUPS 21914637 WITH SCORE 2.199487993E7
AT ITER 1148 NEW BEST:: SOT 122987441 SOS 80256564 HAS SOPS 65304383 HAS SOUS 22464617 HAS SOUPS 21897563 WITH SCORE 2.1977819564E7
AT ITER 1152 NEW BEST:: SOT 122980846 SOS 80249947 HAS SOPS 65297612 HAS SOUS 22456226 HAS SOUPS 21889172 WITH SCORE 2.1969421947E7
AT ITER 1153 NEW BEST:: SOT 122934512 SOS 80203613 HAS SOPS 65251278 HAS SOUS 22409892 HAS SOUPS 21842838 WITH SCORE 2.1923041613E7
AT ITER 1160 NEW BEST:: SOT 122934512 SOS 80202693 HAS SOPS 65252854 HAS SOUS 22409798 HAS SOUPS 21842744 WITH SCORE 2.1922946693E7
AT ITER 1191 NEW BEST:: SOT 122933586 SOS 80201278 HAS SOPS 65252717 HAS SOUS 22395566 HAS SOUPS 21828629 WITH SCORE 2.1908830278E7
AT ITER 1193 NEW BEST:: SOT 122919459 SOS 80183928 HAS SOPS 65229551 HAS SOUS 22368327 HAS SOUPS 21801390 WITH SCORE 2.1881573928E7
AT ITER 1199 NEW BEST:: SOT 122991194 SOS 80352973 HAS SOPS 65381683 HAS SOUS 22330566 HAS SOUPS 21763453 WITH SCORE 2.1843805973E7
AT ITER 1223 NEW BEST:: SOT 122990094 SOS 80350720 HAS SOPS 65380005 HAS SOUS 22329204 HAS SOUPS 21762091 WITH SCORE 2.184244172E7
AT ITER 1225 NEW BEST:: SOT 123020989 SOS 80432133 HAS SOPS 65453260 HAS SOUS 22307922 HAS SOUPS 21740555 WITH SCORE 2.1820987133E7
AT ITER 1235 NEW BEST:: SOT 123051765 SOS 80467190 HAS SOPS 65484318 HAS SOUS 22305763 HAS SOUPS 21739278 WITH SCORE 2.181974519E7
AT ITER 1250 NEW BEST:: SOT 123051700 SOS 80467092 HAS SOPS 65484214 HAS SOUS 22305575 HAS SOUPS 21739090 WITH SCORE 2.1819557092E7
AT ITER 1257 NEW BEST:: SOT 123050908 SOS 80466156 HAS SOPS 65483414 HAS SOUS 22304209 HAS SOUPS 21737724 WITH SCORE 2.1818190156E7
AT ITER 1260 NEW BEST:: SOT 123058763 SOS 80505249 HAS SOPS 65507924 HAS SOUS 22281069 HAS SOUPS 21714584 WITH SCORE 2.1795089249E7
AT ITER 1269 NEW BEST:: SOT 123056926 SOS 80506062 HAS SOPS 65512132 HAS SOUS 22264120 HAS SOUPS 21697916 WITH SCORE 2.1778422062E7
AT ITER 1276 NEW BEST:: SOT 123052443 SOS 80502443 HAS SOPS 65503085 HAS SOUS 22252380 HAS SOUPS 21686176 WITH SCORE 2.1766678443E7
AT ITER 1282 NEW BEST:: SOT 123050234 SOS 80500133 HAS SOPS 65501883 HAS SOUS 22247297 HAS SOUPS 21681093 WITH SCORE 2.1761593133E7
AT ITER 1285 NEW BEST:: SOT 123057350 SOS 80501054 HAS SOPS 65507368 HAS SOUS 22227565 HAS SOUPS 21661543 WITH SCORE 2.1742044054E7
AT ITER 1286 NEW BEST:: SOT 123056443 SOS 80500375 HAS SOPS 65505857 HAS SOUS 22225051 HAS SOUPS 21659029 WITH SCORE 2.1739529375E7
AT ITER 1292 NEW BEST:: SOT 123053993 SOS 80497152 HAS SOPS 65504844 HAS SOUS 22222285 HAS SOUPS 21656263 WITH SCORE 2.1736760152E7
AT ITER 1329 NEW BEST:: SOT 123052513 SOS 80492553 HAS SOPS 65505950 HAS SOUS 22220522 HAS SOUPS 21654500 WITH SCORE 2.1734992553E7
AT ITER 1334 NEW BEST:: SOT 123050992 SOS 80490934 HAS SOPS 65503826 HAS SOUS 22216387 HAS SOUPS 21650390 WITH SCORE 2.1730880934E7
AT ITER 1335 NEW BEST:: SOT 123039184 SOS 80476693 HAS SOPS 65489110 HAS SOUS 22200377 HAS SOUPS 21634380 WITH SCORE 2.1714856693E7
AT ITER 1337 NEW BEST:: SOT 123038572 SOS 80450549 HAS SOPS 65465718 HAS SOUS 22199494 HAS SOUPS 21633497 WITH SCORE 2.1713947549E7
AT ITER 1345 NEW BEST:: SOT 123038176 SOS 80454306 HAS SOPS 65475245 HAS SOUS 22198269 HAS SOUPS 21632272 WITH SCORE 2.1712726306E7
AT ITER 1350 NEW BEST:: SOT 123039069 SOS 80494571 HAS SOPS 65518533 HAS SOUS 22196053 HAS SOUPS 21630056 WITH SCORE 2.1710550571E7
AT ITER 1352 NEW BEST:: SOT 123036282 SOS 80492160 HAS SOPS 65514973 HAS SOUS 22193234 HAS SOUPS 21627111 WITH SCORE 2.170760316E7
AT ITER 1354 NEW BEST:: SOT 123042490 SOS 80500444 HAS SOPS 65526179 HAS SOUS 22186277 HAS SOUPS 21621949 WITH SCORE 2.1702449444E7
AT ITER 1366 NEW BEST:: SOT 123027423 SOS 80476301 HAS SOPS 65504393 HAS SOUS 22162891 HAS SOUPS 21599021 WITH SCORE 2.1679497301E7
AT ITER 1371 NEW BEST:: SOT 123024379 SOS 80478863 HAS SOPS 65505596 HAS SOUS 22150536 HAS SOUPS 21586666 WITH SCORE 2.1667144863E7
AT ITER 1388 NEW BEST:: SOT 123019201 SOS 80477138 HAS SOPS 65499854 HAS SOUS 22137168 HAS SOUPS 21573298 WITH SCORE 2.1653775138E7
AT ITER 1417 NEW BEST:: SOT 123016166 SOS 80470910 HAS SOPS 65495269 HAS SOUS 22134398 HAS SOUPS 21570528 WITH SCORE 2.165099891E7
AT ITER 1434 NEW BEST:: SOT 123014966 SOS 80469518 HAS SOPS 65493691 HAS SOUS 22132274 HAS SOUPS 21568404 WITH SCORE 2.1648873518E7
AT ITER 1435 NEW BEST:: SOT 123014784 SOS 80465382 HAS SOPS 65489400 HAS SOUS 22121100 HAS SOUPS 21557230 WITH SCORE 2.1637695382E7
AT ITER 1437 NEW BEST:: SOT 123014898 SOS 80477092 HAS SOPS 65504784 HAS SOUS 22118146 HAS SOUPS 21554276 WITH SCORE 2.1634753092E7
AT ITER 1445 NEW BEST:: SOT 123084515 SOS 80652371 HAS SOPS 65659847 HAS SOUS 22108015 HAS SOUPS 21544145 WITH SCORE 2.1624797371E7
AT ITER 1446 NEW BEST:: SOT 123084692 SOS 80678334 HAS SOPS 65694312 HAS SOUS 22107694 HAS SOUPS 21543824 WITH SCORE 2.1624502334E7
AT ITER 1459 NEW BEST:: SOT 123076877 SOS 80670519 HAS SOPS 65686497 HAS SOUS 22096935 HAS SOUPS 21533065 WITH SCORE 2.1613735519E7
AT ITER 1462 NEW BEST:: SOT 123077166 SOS 80690057 HAS SOPS 65710126 HAS SOUS 22096521 HAS SOUPS 21532651 WITH SCORE 2.1613341057E7
AT ITER 1470 NEW BEST:: SOT 123083512 SOS 80697373 HAS SOPS 65723780 HAS SOUS 22092065 HAS SOUPS 21528195 WITH SCORE 2.1608892373E7
AT ITER 1484 NEW BEST:: SOT 123085563 SOS 80701895 HAS SOPS 65722480 HAS SOUS 22066812 HAS SOUPS 21502942 WITH SCORE 2.1583643895E7
AT ITER 1496 NEW BEST:: SOT 123068256 SOS 80680117 HAS SOPS 65702450 HAS SOUS 22039996 HAS SOUPS 21476126 WITH SCORE 2.1556806117E7
AT ITER 1498 NEW BEST:: SOT 123066370 SOS 80681138 HAS SOPS 65705259 HAS SOUS 22032865 HAS SOUPS 21468995 WITH SCORE 2.1549676138E7
AT ITER 1500 NEW BEST:: SOT 123090891 SOS 80729325 HAS SOPS 65758525 HAS SOUS 22027048 HAS SOUPS 21463178 WITH SCORE 2.1543907325E7
AT ITER 1501 NEW BEST:: SOT 123096374 SOS 80734118 HAS SOPS 65763286 HAS SOUS 22012149 HAS SOUPS 21448279 WITH SCORE 2.1529013118E7
AT ITER 1524 NEW BEST:: SOT 123069615 SOS 80706747 HAS SOPS 65734501 HAS SOUS 21962061 HAS SOUPS 21398067 WITH SCORE 2.1478773747E7
AT ITER 1530 NEW BEST:: SOT 123077148 SOS 80717465 HAS SOPS 65748927 HAS SOUS 21955957 HAS SOUPS 21392745 WITH SCORE 2.1473462465E7
AT ITER 1554 NEW BEST:: SOT 123080352 SOS 80723476 HAS SOPS 65756326 HAS SOUS 21951134 HAS SOUPS 21387922 WITH SCORE 2.1468645476E7
AT ITER 1555 NEW BEST:: SOT 123059619 SOS 80612782 HAS SOPS 65756738 HAS SOUS 21931862 HAS SOUPS 21367474 WITH SCORE 2.1448086782E7
AT ITER 1560 NEW BEST:: SOT 123050018 SOS 80593565 HAS SOPS 65731421 HAS SOUS 21914343 HAS SOUPS 21349955 WITH SCORE 2.1430548565E7
AT ITER 1570 NEW BEST:: SOT 123050714 SOS 80605841 HAS SOPS 65740695 HAS SOUS 21902374 HAS SOUPS 21337986 WITH SCORE 2.1418591841E7
AT ITER 1575 NEW BEST:: SOT 123047856 SOS 80600007 HAS SOPS 65734626 HAS SOUS 21897530 HAS SOUPS 21333142 WITH SCORE 2.1413742007E7
AT ITER 1594 NEW BEST:: SOT 123012799 SOS 80552240 HAS SOPS 65691601 HAS SOUS 21852334 HAS SOUPS 21287953 WITH SCORE 2.136850524E7
AT ITER 1605 NEW BEST:: SOT 123048768 SOS 80616054 HAS SOPS 65753346 HAS SOUS 21850509 HAS SOUPS 21286128 WITH SCORE 2.1366744054E7
AT ITER 1613 NEW BEST:: SOT 123048250 SOS 80615967 HAS SOPS 65751565 HAS SOUS 21848750 HAS SOUPS 21284369 WITH SCORE 2.1364984967E7
AT ITER 1621 NEW BEST:: SOT 123045666 SOS 80616716 HAS SOPS 65747806 HAS SOUS 21845819 HAS SOUPS 21281438 WITH SCORE 2.1362054716E7
AT ITER 1644 NEW BEST:: SOT 123026022 SOS 80585333 HAS SOPS 65719810 HAS SOUS 21836344 HAS SOUPS 21271963 WITH SCORE 2.1352548333E7
AT ITER 1653 NEW BEST:: SOT 123016088 SOS 80577343 HAS SOPS 65707780 HAS SOUS 21811955 HAS SOUPS 21248266 WITH SCORE 2.1328843343E7
AT ITER 1671 NEW BEST:: SOT 123010415 SOS 80573541 HAS SOPS 65702107 HAS SOUS 21811442 HAS SOUPS 21247673 WITH SCORE 2.1328246541E7
AT ITER 1673 NEW BEST:: SOT 123011156 SOS 80578280 HAS SOPS 65702877 HAS SOUS 21803105 HAS SOUPS 21239336 WITH SCORE 2.131991428E7
AT ITER 1681 NEW BEST:: SOT 122991435 SOS 80558496 HAS SOPS 65676425 HAS SOUS 21778986 HAS SOUPS 21211775 WITH SCORE 2.1292333496E7
AT ITER 1687 NEW BEST:: SOT 122994086 SOS 80568918 HAS SOPS 65700522 HAS SOUS 21751924 HAS SOUPS 21184713 WITH SCORE 2.1265281918E7
AT ITER 1689 NEW BEST:: SOT 122988042 SOS 80553154 HAS SOPS 65688641 HAS SOUS 21751136 HAS SOUPS 21183925 WITH SCORE 2.1264478154E7
AT ITER 1690 NEW BEST:: SOT 122988080 SOS 80553062 HAS SOPS 65688581 HAS SOUS 21750933 HAS SOUPS 21183722 WITH SCORE 2.1264275062E7
AT ITER 1696 NEW BEST:: SOT 122989566 SOS 80558406 HAS SOPS 65691868 HAS SOUS 21747238 HAS SOUPS 21180027 WITH SCORE 2.1260585406E7
AT ITER 1701 NEW BEST:: SOT 122981615 SOS 80516640 HAS SOPS 65654795 HAS SOUS 21736471 HAS SOUPS 21169260 WITH SCORE 2.124977664E7
AT ITER 1710 NEW BEST:: SOT 122980891 SOS 80516264 HAS SOPS 65654006 HAS SOUS 21734032 HAS SOUPS 21166806 WITH SCORE 2.1247322264E7
AT ITER 1715 NEW BEST:: SOT 122985739 SOS 80517954 HAS SOPS 65662913 HAS SOUS 21719347 HAS SOUPS 21152251 WITH SCORE 2.1232768954E7
AT ITER 1717 NEW BEST:: SOT 122994301 SOS 80530465 HAS SOPS 65681778 HAS SOUS 21713435 HAS SOUPS 21146339 WITH SCORE 2.1226869465E7
AT ITER 1722 NEW BEST:: SOT 123029287 SOS 80581336 HAS SOPS 65741395 HAS SOUS 21705682 HAS SOUPS 21138999 WITH SCORE 2.1219580336E7
AT ITER 1723 NEW BEST:: SOT 123033245 SOS 80588959 HAS SOPS 65758180 HAS SOUS 21696701 HAS SOUPS 21130018 WITH SCORE 2.1210606959E7
AT ITER 1741 NEW BEST:: SOT 123036384 SOS 80595656 HAS SOPS 65771648 HAS SOUS 21695905 HAS SOUPS 21129222 WITH SCORE 2.1209817656E7
AT ITER 1757 NEW BEST:: SOT 123022018 SOS 80573478 HAS SOPS 65749590 HAS SOUS 21670823 HAS SOUPS 21104091 WITH SCORE 2.1184664478E7
AT ITER 1763 NEW BEST:: SOT 123021315 SOS 80565433 HAS SOPS 65741997 HAS SOUS 21665055 HAS SOUPS 21098323 WITH SCORE 2.1178888433E7
AT ITER 1764 NEW BEST:: SOT 123021315 SOS 80568041 HAS SOPS 65748925 HAS SOUS 21664772 HAS SOUPS 21098040 WITH SCORE 2.1178608041E7
AT ITER 1765 NEW BEST:: SOT 123011944 SOS 80552041 HAS SOPS 65744546 HAS SOUS 21656335 HAS SOUPS 21089603 WITH SCORE 2.1170155041E7
AT ITER 1773 NEW BEST:: SOT 123012305 SOS 80565619 HAS SOPS 65759951 HAS SOUS 21655984 HAS SOUPS 21089252 WITH SCORE 2.1169817619E7
AT ITER 1777 NEW BEST:: SOT 123005829 SOS 80552964 HAS SOPS 65744086 HAS SOUS 21654707 HAS SOUPS 21087846 WITH SCORE 2.1168398964E7
AT ITER 1784 NEW BEST:: SOT 122993902 SOS 80533575 HAS SOPS 65733681 HAS SOUS 21638514 HAS SOUPS 21071653 WITH SCORE 2.1152186575E7
AT ITER 1811 NEW BEST:: SOT 122993895 SOS 80533568 HAS SOPS 65734272 HAS SOUS 21638376 HAS SOUPS 21071515 WITH SCORE 2.1152048568E7
AT ITER 1828 NEW BEST:: SOT 122990674 SOS 80530386 HAS SOPS 65729840 HAS SOUS 21630459 HAS SOUPS 21063598 WITH SCORE 2.1144128386E7
AT ITER 1830 NEW BEST:: SOT 123004107 SOS 80534481 HAS SOPS 65743549 HAS SOUS 21627498 HAS SOUPS 21063258 WITH SCORE 2.1143792481E7
AT ITER 1831 NEW BEST:: SOT 123027472 SOS 80555651 HAS SOPS 65778196 HAS SOUS 21609919 HAS SOUPS 21049662 WITH SCORE 2.1130217651E7
AT ITER 1861 NEW BEST:: SOT 123027314 SOS 80557809 HAS SOPS 65781205 HAS SOUS 21602527 HAS SOUPS 21042128 WITH SCORE 2.1122685809E7
AT ITER 1865 NEW BEST:: SOT 123045939 SOS 80583430 HAS SOPS 65792853 HAS SOUS 21589224 HAS SOUPS 21028825 WITH SCORE 2.110940843E7
AT ITER 1894 NEW BEST:: SOT 123047358 SOS 80551403 HAS SOPS 65803450 HAS SOUS 21586160 HAS SOUPS 21025761 WITH SCORE 2.1106312403E7
AT ITER 1899 NEW BEST:: SOT 123041104 SOS 80545149 HAS SOPS 65797004 HAS SOUS 21578914 HAS SOUPS 21018515 WITH SCORE 2.1099060149E7
AT ITER 1902 NEW BEST:: SOT 123039447 SOS 80542812 HAS SOPS 65794558 HAS SOUS 21576069 HAS SOUPS 21015670 WITH SCORE 2.1096212812E7
AT ITER 1908 NEW BEST:: SOT 123029730 SOS 80525498 HAS SOPS 65781026 HAS SOUS 21561198 HAS SOUPS 21000896 WITH SCORE 2.1081421498E7
AT ITER 1923 NEW BEST:: SOT 123034492 SOS 80534622 HAS SOPS 65786867 HAS SOUS 21544876 HAS SOUPS 20984574 WITH SCORE 2.1065108622E7
AT ITER 1936 NEW BEST:: SOT 123034315 SOS 80534445 HAS SOPS 65787586 HAS SOUS 21543515 HAS SOUPS 20983437 WITH SCORE 2.1063971445E7
AT ITER 1941 NEW BEST:: SOT 123019193 SOS 80510991 HAS SOPS 65772032 HAS SOUS 21518621 HAS SOUPS 20958675 WITH SCORE 2.1039185991E7
AT ITER 1944 NEW BEST:: SOT 123077037 SOS 80642261 HAS SOPS 65887504 HAS SOUS 21506253 HAS SOUPS 20946173 WITH SCORE 2.1026815261E7
AT ITER 1945 NEW BEST:: SOT 123077050 SOS 80643184 HAS SOPS 65890573 HAS SOUS 21506161 HAS SOUPS 20946081 WITH SCORE 2.1026724184E7
AT ITER 1958 NEW BEST:: SOT 123080214 SOS 80644825 HAS SOPS 65898015 HAS SOUS 21491436 HAS SOUPS 20931452 WITH SCORE 2.1012096825E7
AT ITER 1968 NEW BEST:: SOT 123067798 SOS 80643878 HAS SOPS 65891042 HAS SOUS 21483513 HAS SOUPS 20923529 WITH SCORE 2.1004172878E7
AT ITER 1996 NEW BEST:: SOT 123069053 SOS 80644904 HAS SOPS 65892402 HAS SOUS 21481779 HAS SOUPS 20921841 WITH SCORE 2.1002485904E7
AT ITER 2055 NEW BEST:: SOT 123069369 SOS 80645460 HAS SOPS 65892520 HAS SOUS 21477589 HAS SOUPS 20917647 WITH SCORE 2.099829246E7
AT ITER 2056 NEW BEST:: SOT 123069482 SOS 80645607 HAS SOPS 65886729 HAS SOUS 21462253 HAS SOUPS 20902311 WITH SCORE 2.0982956607E7
AT ITER 2057 NEW BEST:: SOT 123077424 SOS 80686174 HAS SOPS 65909952 HAS SOUS 21431465 HAS SOUPS 20871523 WITH SCORE 2.0952209174E7
AT ITER 2063 NEW BEST:: SOT 123076771 SOS 80682348 HAS SOPS 65904345 HAS SOUS 21430043 HAS SOUPS 20870101 WITH SCORE 2.0950783348E7
AT ITER 2068 NEW BEST:: SOT 123074922 SOS 80680989 HAS SOPS 65902906 HAS SOUS 21428453 HAS SOUPS 20868511 WITH SCORE 2.0949191989E7
AT ITER 2081 NEW BEST:: SOT 123064757 SOS 80672024 HAS SOPS 65903065 HAS SOUS 21399922 HAS SOUPS 20840112 WITH SCORE 2.0920784024E7
AT ITER 2085 NEW BEST:: SOT 123057495 SOS 80660943 HAS SOPS 65897989 HAS SOUS 21384411 HAS SOUPS 20824943 WITH SCORE 2.0905603943E7
AT ITER 2111 NEW BEST:: SOT 123057956 SOS 80661568 HAS SOPS 65898386 HAS SOUS 21382467 HAS SOUPS 20822999 WITH SCORE 2.0903660568E7
AT ITER 2117 NEW BEST:: SOT 123060753 SOS 80668206 HAS SOPS 65920546 HAS SOUS 21364840 HAS SOUPS 20805628 WITH SCORE 2.0886296206E7
AT ITER 2143 NEW BEST:: SOT 123060180 SOS 80667619 HAS SOPS 65920071 HAS SOUS 21364490 HAS SOUPS 20805278 WITH SCORE 2.0885945619E7
AT ITER 2144 NEW BEST:: SOT 123060326 SOS 80661676 HAS SOPS 65908311 HAS SOUS 21355195 HAS SOUPS 20795983 WITH SCORE 2.0876644676E7
AT ITER 2146 NEW BEST:: SOT 123060326 SOS 80661712 HAS SOPS 65908347 HAS SOUS 21355189 HAS SOUPS 20795977 WITH SCORE 2.0876638712E7
AT ITER 2153 NEW BEST:: SOT 123061943 SOS 80664297 HAS SOPS 65911331 HAS SOUS 21351838 HAS SOUPS 20792655 WITH SCORE 2.0873319297E7
AT ITER 2175 NEW BEST:: SOT 123059787 SOS 80654598 HAS SOPS 65914314 HAS SOUS 21344208 HAS SOUPS 20785558 WITH SCORE 2.0866212598E7
AT ITER 2178 NEW BEST:: SOT 123090024 SOS 80733101 HAS SOPS 65997773 HAS SOUS 21343383 HAS SOUPS 20784733 WITH SCORE 2.0865466101E7
AT ITER 2205 NEW BEST:: SOT 123080126 SOS 80728417 HAS SOPS 65991015 HAS SOUS 21313271 HAS SOUPS 20754462 WITH SCORE 2.0835190417E7
AT ITER 2215 NEW BEST:: SOT 123073936 SOS 80719045 HAS SOPS 65984075 HAS SOUS 21311015 HAS SOUPS 20752206 WITH SCORE 2.0832925045E7
AT ITER 2221 NEW BEST:: SOT 123073890 SOS 80719019 HAS SOPS 65983976 HAS SOUS 21310972 HAS SOUPS 20752163 WITH SCORE 2.0832882019E7
AT ITER 2257 NEW BEST:: SOT 123066465 SOS 80713567 HAS SOPS 65976774 HAS SOUS 21291567 HAS SOUPS 20732872 WITH SCORE 2.0813585567E7
AT ITER 2262 NEW BEST:: SOT 123080169 SOS 80735001 HAS SOPS 66003765 HAS SOUS 21287060 HAS SOUPS 20729071 WITH SCORE 2.0809806001E7
AT ITER 2265 NEW BEST:: SOT 123078592 SOS 80733928 HAS SOPS 66002383 HAS SOUS 21280836 HAS SOUPS 20722847 WITH SCORE 2.0803580928E7
AT ITER 2272 NEW BEST:: SOT 123063505 SOS 80705196 HAS SOPS 65984485 HAS SOUS 21216928 HAS SOUPS 20658939 WITH SCORE 2.0739644196E7
AT ITER 2284 NEW BEST:: SOT 123054614 SOS 80680516 HAS SOPS 65966679 HAS SOUS 21216472 HAS SOUPS 20658483 WITH SCORE 2.0739163516E7
AT ITER 2293 NEW BEST:: SOT 123030996 SOS 80665669 HAS SOPS 65939036 HAS SOUS 21145002 HAS SOUPS 20586744 WITH SCORE 2.0667409669E7
AT ITER 2302 NEW BEST:: SOT 123031793 SOS 80669884 HAS SOPS 65942935 HAS SOUS 21144145 HAS SOUPS 20585887 WITH SCORE 2.0666556884E7
AT ITER 2321 NEW BEST:: SOT 123031793 SOS 80667130 HAS SOPS 65935108 HAS SOUS 21143939 HAS SOUPS 20585681 WITH SCORE 2.066634813E7
AT ITER 2341 NEW BEST:: SOT 122987252 SOS 80580043 HAS SOPS 65886275 HAS SOUS 21112639 HAS SOUPS 20554381 WITH SCORE 2.0634961043E7
AT ITER 2395 NEW BEST:: SOT 122969541 SOS 80556024 HAS SOPS 65860273 HAS SOUS 21088898 HAS SOUPS 20531063 WITH SCORE 2.0611619024E7
AT ITER 2413 NEW BEST:: SOT 122968250 SOS 80556623 HAS SOPS 65860842 HAS SOUS 21083810 HAS SOUPS 20525975 WITH SCORE 2.0606531623E7

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-5"
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-5, 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-158961502500184"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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