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

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

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589744719583

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

GOT IT HERE. BS
Petri model created: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123446583 SOS 80238157 HAS SOPS 65217586 HAS SOUS 24077925 HAS SOUPS 23505151 WITH SCORE 2.3585389157E7
AT ITER 1 NEW BEST:: SOT 123446630 SOS 80249852 HAS SOPS 65224957 HAS SOUS 24076141 HAS SOUPS 23503367 WITH SCORE 2.3583616852E7
AT ITER 12 NEW BEST:: SOT 123437361 SOS 80246796 HAS SOPS 65216123 HAS SOUS 24053050 HAS SOUPS 23480276 WITH SCORE 2.3560522796E7
AT ITER 19 NEW BEST:: SOT 123409433 SOS 80213052 HAS SOPS 65181597 HAS SOUS 24013298 HAS SOUPS 23440332 WITH SCORE 2.3520545052E7
AT ITER 31 NEW BEST:: SOT 123409433 SOS 80213596 HAS SOPS 65182669 HAS SOUS 24013288 HAS SOUPS 23440322 WITH SCORE 2.3520535596E7
AT ITER 35 NEW BEST:: SOT 123409433 SOS 80222376 HAS SOPS 65190515 HAS SOUS 24013051 HAS SOUPS 23440085 WITH SCORE 2.3520307376E7
AT ITER 52 NEW BEST:: SOT 123407074 SOS 80223573 HAS SOPS 65182371 HAS SOUS 23995925 HAS SOUPS 23422959 WITH SCORE 2.3503182573E7
AT ITER 61 NEW BEST:: SOT 123429821 SOS 80271050 HAS SOPS 65234906 HAS SOUS 23994983 HAS SOUPS 23422189 WITH SCORE 2.350246005E7
AT ITER 92 NEW BEST:: SOT 123427023 SOS 80276382 HAS SOPS 65252479 HAS SOUS 23988796 HAS SOUPS 23416002 WITH SCORE 2.3496278382E7
AT ITER 109 NEW BEST:: SOT 123418341 SOS 80274204 HAS SOPS 65252029 HAS SOUS 23972169 HAS SOUPS 23399375 WITH SCORE 2.3479649204E7
AT ITER 113 NEW BEST:: SOT 123434410 SOS 80326391 HAS SOPS 65304997 HAS SOUS 23948322 HAS SOUPS 23375528 WITH SCORE 2.3455854391E7
AT ITER 121 NEW BEST:: SOT 123436437 SOS 80324690 HAS SOPS 65303579 HAS SOUS 23943708 HAS SOUPS 23370946 WITH SCORE 2.345127069E7
AT ITER 125 NEW BEST:: SOT 123431271 SOS 80313958 HAS SOPS 65293180 HAS SOUS 23939870 HAS SOUPS 23367108 WITH SCORE 2.3447421958E7
AT ITER 130 NEW BEST:: SOT 123431264 SOS 80313689 HAS SOPS 65292837 HAS SOUS 23938287 HAS SOUPS 23365525 WITH SCORE 2.3445838689E7
AT ITER 131 NEW BEST:: SOT 123398265 SOS 80277881 HAS SOPS 65259688 HAS SOUS 23875977 HAS SOUPS 23303215 WITH SCORE 2.3383492881E7
AT ITER 148 NEW BEST:: SOT 123398263 SOS 80277891 HAS SOPS 65259692 HAS SOUS 23875963 HAS SOUPS 23303201 WITH SCORE 2.3383478891E7
AT ITER 150 NEW BEST:: SOT 123398418 SOS 80278357 HAS SOPS 65260196 HAS SOUS 23875806 HAS SOUPS 23303044 WITH SCORE 2.3383322357E7
AT ITER 180 NEW BEST:: SOT 123394884 SOS 80273575 HAS SOPS 65253616 HAS SOUS 23870502 HAS SOUPS 23297740 WITH SCORE 2.3378013575E7
AT ITER 186 NEW BEST:: SOT 123402730 SOS 80294142 HAS SOPS 65276269 HAS SOUS 23861611 HAS SOUPS 23289114 WITH SCORE 2.3369408142E7
AT ITER 197 NEW BEST:: SOT 123396939 SOS 80280229 HAS SOPS 65264499 HAS SOUS 23859322 HAS SOUPS 23286825 WITH SCORE 2.3367105229E7
AT ITER 198 NEW BEST:: SOT 123395114 SOS 80278092 HAS SOPS 65261998 HAS SOUS 23855768 HAS SOUPS 23283284 WITH SCORE 2.3363562092E7
AT ITER 205 NEW BEST:: SOT 123389795 SOS 80268066 HAS SOPS 65252355 HAS SOUS 23849044 HAS SOUPS 23276560 WITH SCORE 2.3356828066E7
AT ITER 215 NEW BEST:: SOT 123392202 SOS 80285061 HAS SOPS 65280262 HAS SOUS 23809681 HAS SOUPS 23237197 WITH SCORE 2.3317482061E7
AT ITER 227 NEW BEST:: SOT 123384874 SOS 80315203 HAS SOPS 65306702 HAS SOUS 23809256 HAS SOUPS 23236772 WITH SCORE 2.3317087203E7
AT ITER 230 NEW BEST:: SOT 123383762 SOS 80313590 HAS SOPS 65304767 HAS SOUS 23806865 HAS SOUPS 23234381 WITH SCORE 2.331469459E7
AT ITER 235 NEW BEST:: SOT 123382403 SOS 80311803 HAS SOPS 65303418 HAS SOUS 23805901 HAS SOUPS 23233422 WITH SCORE 2.3313733803E7
AT ITER 239 NEW BEST:: SOT 123383095 SOS 80313137 HAS SOPS 65302235 HAS SOUS 23802164 HAS SOUPS 23229685 WITH SCORE 2.3309998137E7
AT ITER 247 NEW BEST:: SOT 123383706 SOS 80314270 HAS SOPS 65303617 HAS SOUS 23801894 HAS SOUPS 23229422 WITH SCORE 2.330973627E7
AT ITER 252 NEW BEST:: SOT 123382156 SOS 80312173 HAS SOPS 65298264 HAS SOUS 23796117 HAS SOUPS 23223779 WITH SCORE 2.3304091173E7
AT ITER 255 NEW BEST:: SOT 123361236 SOS 80276199 HAS SOPS 65277370 HAS SOUS 23764331 HAS SOUPS 23192559 WITH SCORE 2.3272835199E7
AT ITER 258 NEW BEST:: SOT 123355539 SOS 80271590 HAS SOPS 65282970 HAS SOUS 23763009 HAS SOUPS 23191402 WITH SCORE 2.327167359E7
AT ITER 263 NEW BEST:: SOT 123359109 SOS 80281181 HAS SOPS 65294585 HAS SOUS 23761514 HAS SOUPS 23189815 WITH SCORE 2.3270096181E7
AT ITER 266 NEW BEST:: SOT 123359111 SOS 80283123 HAS SOPS 65295971 HAS SOUS 23759006 HAS SOUPS 23187307 WITH SCORE 2.3267590123E7
AT ITER 268 NEW BEST:: SOT 123358279 SOS 80285355 HAS SOPS 65302773 HAS SOUS 23742496 HAS SOUPS 23170797 WITH SCORE 2.3251082355E7
AT ITER 270 NEW BEST:: SOT 123354633 SOS 80279539 HAS SOPS 65296884 HAS SOUS 23742060 HAS SOUPS 23170361 WITH SCORE 2.3250640539E7
AT ITER 274 NEW BEST:: SOT 123344667 SOS 80270691 HAS SOPS 65288493 HAS SOUS 23725640 HAS SOUPS 23154039 WITH SCORE 2.3234309691E7
AT ITER 311 NEW BEST:: SOT 123340104 SOS 80255732 HAS SOPS 65280727 HAS SOUS 23695224 HAS SOUPS 23125083 WITH SCORE 2.3205338732E7
AT ITER 316 NEW BEST:: SOT 123326476 SOS 80229949 HAS SOPS 65264205 HAS SOUS 23687024 HAS SOUPS 23116984 WITH SCORE 2.3197213949E7
AT ITER 332 NEW BEST:: SOT 123362165 SOS 80300349 HAS SOPS 65340705 HAS SOUS 23680292 HAS SOUPS 23110252 WITH SCORE 2.3190552349E7
AT ITER 337 NEW BEST:: SOT 123333874 SOS 80289000 HAS SOPS 65349426 HAS SOUS 23664361 HAS SOUPS 23094321 WITH SCORE 2.317461E7
AT ITER 340 NEW BEST:: SOT 123328848 SOS 80283669 HAS SOPS 65341542 HAS SOUS 23649441 HAS SOUPS 23079401 WITH SCORE 2.3159684669E7
AT ITER 342 NEW BEST:: SOT 123328072 SOS 80282002 HAS SOPS 65339724 HAS SOUS 23647878 HAS SOUPS 23077864 WITH SCORE 2.3158146002E7
AT ITER 350 NEW BEST:: SOT 123328126 SOS 80289420 HAS SOPS 65352636 HAS SOUS 23647787 HAS SOUPS 23077773 WITH SCORE 2.315806242E7
AT ITER 366 NEW BEST:: SOT 123325495 SOS 80287405 HAS SOPS 65350803 HAS SOUS 23638354 HAS SOUPS 23068340 WITH SCORE 2.3148627405E7
AT ITER 376 NEW BEST:: SOT 123322416 SOS 80285889 HAS SOPS 65357346 HAS SOUS 23622488 HAS SOUPS 23053297 WITH SCORE 2.3133582889E7
AT ITER 379 NEW BEST:: SOT 123248384 SOS 80210458 HAS SOPS 65278419 HAS SOUS 23523967 HAS SOUPS 22954693 WITH SCORE 2.3034903458E7
AT ITER 381 NEW BEST:: SOT 123288894 SOS 80317477 HAS SOPS 65368027 HAS SOUS 23486235 HAS SOUPS 22916961 WITH SCORE 2.2997278477E7
AT ITER 386 NEW BEST:: SOT 123291720 SOS 80323114 HAS SOPS 65376611 HAS SOUS 23485857 HAS SOUPS 22916583 WITH SCORE 2.2996906114E7
AT ITER 392 NEW BEST:: SOT 123291205 SOS 80323804 HAS SOPS 65377478 HAS SOUS 23485703 HAS SOUPS 22916031 WITH SCORE 2.2996354804E7
AT ITER 393 NEW BEST:: SOT 123293050 SOS 80330007 HAS SOPS 65382694 HAS SOUS 23479299 HAS SOUPS 22909545 WITH SCORE 2.2989875007E7
AT ITER 418 NEW BEST:: SOT 123285027 SOS 80316710 HAS SOPS 65370992 HAS SOUS 23471672 HAS SOUPS 22901992 WITH SCORE 2.298230871E7
AT ITER 428 NEW BEST:: SOT 123285064 SOS 80337369 HAS SOPS 65395103 HAS SOUS 23471195 HAS SOUPS 22901515 WITH SCORE 2.2981852369E7
AT ITER 431 NEW BEST:: SOT 123270621 SOS 80302413 HAS SOPS 65386923 HAS SOUS 23427040 HAS SOUPS 22857433 WITH SCORE 2.2937735413E7
AT ITER 438 NEW BEST:: SOT 123252204 SOS 80254029 HAS SOPS 65351083 HAS SOUS 23421039 HAS SOUPS 22851432 WITH SCORE 2.2931686029E7
AT ITER 445 NEW BEST:: SOT 123243654 SOS 80248501 HAS SOPS 65336899 HAS SOUS 23350749 HAS SOUPS 22780704 WITH SCORE 2.2860952501E7
AT ITER 449 NEW BEST:: SOT 123240578 SOS 80245425 HAS SOPS 65333823 HAS SOUS 23349237 HAS SOUPS 22779192 WITH SCORE 2.2859437425E7
AT ITER 464 NEW BEST:: SOT 123231933 SOS 80234935 HAS SOPS 65322622 HAS SOUS 23339250 HAS SOUPS 22769163 WITH SCORE 2.2849397935E7
AT ITER 486 NEW BEST:: SOT 123201729 SOS 80204433 HAS SOPS 65277741 HAS SOUS 23298890 HAS SOUPS 22729097 WITH SCORE 2.2809301433E7
AT ITER 491 NEW BEST:: SOT 123198012 SOS 80197200 HAS SOPS 65270398 HAS SOUS 23294499 HAS SOUPS 22724706 WITH SCORE 2.28049032E7
AT ITER 493 NEW BEST:: SOT 123186028 SOS 80177261 HAS SOPS 65254850 HAS SOUS 23278671 HAS SOUPS 22709087 WITH SCORE 2.2789264261E7
AT ITER 506 NEW BEST:: SOT 123186028 SOS 80183077 HAS SOPS 65272186 HAS SOUS 23278513 HAS SOUPS 22708929 WITH SCORE 2.2789112077E7
AT ITER 518 NEW BEST:: SOT 123167872 SOS 80152844 HAS SOPS 65243723 HAS SOUS 23260176 HAS SOUPS 22690592 WITH SCORE 2.2770744844E7
AT ITER 519 NEW BEST:: SOT 123158396 SOS 80132916 HAS SOPS 65223648 HAS SOUS 23239038 HAS SOUPS 22669539 WITH SCORE 2.2749671916E7
AT ITER 523 NEW BEST:: SOT 123149669 SOS 80123127 HAS SOPS 65212601 HAS SOUS 23221747 HAS SOUPS 22652290 WITH SCORE 2.2732413127E7
AT ITER 558 NEW BEST:: SOT 123122737 SOS 80097910 HAS SOPS 65202632 HAS SOUS 23119047 HAS SOUPS 22549680 WITH SCORE 2.262977791E7
AT ITER 575 NEW BEST:: SOT 123184966 SOS 80228969 HAS SOPS 65351963 HAS SOUS 23104846 HAS SOUPS 22535479 WITH SCORE 2.2615707969E7
AT ITER 576 NEW BEST:: SOT 123203993 SOS 80293952 HAS SOPS 65402319 HAS SOUS 23073302 HAS SOUPS 22503935 WITH SCORE 2.2584228952E7
AT ITER 579 NEW BEST:: SOT 123203421 SOS 80302886 HAS SOPS 65429080 HAS SOUS 23072786 HAS SOUPS 22503419 WITH SCORE 2.2583721886E7
AT ITER 599 NEW BEST:: SOT 123207036 SOS 80312701 HAS SOPS 65452413 HAS SOUS 23024711 HAS SOUPS 22455611 WITH SCORE 2.2535923701E7
AT ITER 600 NEW BEST:: SOT 123216028 SOS 80350013 HAS SOPS 65509041 HAS SOUS 22971625 HAS SOUPS 22402784 WITH SCORE 2.2483134013E7
AT ITER 604 NEW BEST:: SOT 123216339 SOS 80351919 HAS SOPS 65510163 HAS SOUS 22964497 HAS SOUPS 22396039 WITH SCORE 2.2476390919E7
AT ITER 606 NEW BEST:: SOT 123146769 SOS 80270622 HAS SOPS 65433132 HAS SOUS 22851016 HAS SOUPS 22282838 WITH SCORE 2.2363108622E7
AT ITER 615 NEW BEST:: SOT 123133472 SOS 80242933 HAS SOPS 65408591 HAS SOUS 22839183 HAS SOUPS 22271110 WITH SCORE 2.2351352933E7
AT ITER 621 NEW BEST:: SOT 123147679 SOS 80267043 HAS SOPS 65434586 HAS SOUS 22836765 HAS SOUPS 22268901 WITH SCORE 2.2349168043E7
AT ITER 624 NEW BEST:: SOT 123159572 SOS 80307160 HAS SOPS 65418739 HAS SOUS 22809775 HAS SOUPS 22241911 WITH SCORE 2.232221816E7
AT ITER 661 NEW BEST:: SOT 123166079 SOS 80305898 HAS SOPS 65428008 HAS SOUS 22782893 HAS SOUPS 22215281 WITH SCORE 2.2295586898E7
AT ITER 666 NEW BEST:: SOT 123165248 SOS 80305962 HAS SOPS 65426539 HAS SOUS 22781996 HAS SOUPS 22214349 WITH SCORE 2.2294654962E7
AT ITER 674 NEW BEST:: SOT 123164850 SOS 80305526 HAS SOPS 65426007 HAS SOUS 22781567 HAS SOUPS 22213920 WITH SCORE 2.2294225526E7
AT ITER 677 NEW BEST:: SOT 123164850 SOS 80311962 HAS SOPS 65431521 HAS SOUS 22781473 HAS SOUPS 22213826 WITH SCORE 2.2294137962E7
AT ITER 679 NEW BEST:: SOT 123159501 SOS 80305865 HAS SOPS 65425097 HAS SOUS 22767017 HAS SOUPS 22199409 WITH SCORE 2.2279714865E7
AT ITER 685 NEW BEST:: SOT 123159366 SOS 80306134 HAS SOPS 65426220 HAS SOUS 22765890 HAS SOUPS 22198282 WITH SCORE 2.2278588134E7
AT ITER 694 NEW BEST:: SOT 123160856 SOS 80320726 HAS SOPS 65436053 HAS SOUS 22762100 HAS SOUPS 22194492 WITH SCORE 2.2274812726E7
AT ITER 697 NEW BEST:: SOT 123165233 SOS 80329641 HAS SOPS 65444238 HAS SOUS 22762081 HAS SOUPS 22194473 WITH SCORE 2.2274802641E7
AT ITER 717 NEW BEST:: SOT 123156840 SOS 80323340 HAS SOPS 65438031 HAS SOUS 22742607 HAS SOUPS 22174999 WITH SCORE 2.225532234E7
AT ITER 729 NEW BEST:: SOT 123145189 SOS 80313863 HAS SOPS 65435281 HAS SOUS 22740281 HAS SOUPS 22172673 WITH SCORE 2.2252986863E7
AT ITER 730 NEW BEST:: SOT 123141552 SOS 80313654 HAS SOPS 65439474 HAS SOUS 22722370 HAS SOUPS 22154762 WITH SCORE 2.2235075654E7
AT ITER 732 NEW BEST:: SOT 123148592 SOS 80342177 HAS SOPS 65468024 HAS SOUS 22714083 HAS SOUPS 22146475 WITH SCORE 2.2226817177E7
AT ITER 739 NEW BEST:: SOT 123151369 SOS 80352526 HAS SOPS 65475334 HAS SOUS 22713228 HAS SOUPS 22145549 WITH SCORE 2.2225901526E7
AT ITER 741 NEW BEST:: SOT 123183978 SOS 80404320 HAS SOPS 65542457 HAS SOUS 22711283 HAS SOUPS 22143408 WITH SCORE 2.222381232E7
AT ITER 751 NEW BEST:: SOT 123165209 SOS 80385551 HAS SOPS 65523688 HAS SOUS 22694850 HAS SOUPS 22126975 WITH SCORE 2.2207360551E7
AT ITER 752 NEW BEST:: SOT 123168133 SOS 80386314 HAS SOPS 65534129 HAS SOUS 22694793 HAS SOUPS 22126918 WITH SCORE 2.2207304314E7
AT ITER 757 NEW BEST:: SOT 123171915 SOS 80395178 HAS SOPS 65541961 HAS SOUS 22694237 HAS SOUPS 22126362 WITH SCORE 2.2206757178E7
AT ITER 779 NEW BEST:: SOT 123160855 SOS 80362404 HAS SOPS 65521047 HAS SOUS 22691971 HAS SOUPS 22124096 WITH SCORE 2.2204458404E7
AT ITER 785 NEW BEST:: SOT 123161560 SOS 80367582 HAS SOPS 65526722 HAS SOUS 22689113 HAS SOUPS 22121238 WITH SCORE 2.2201605582E7
AT ITER 791 NEW BEST:: SOT 123165671 SOS 80374908 HAS SOPS 65533861 HAS SOUS 22688833 HAS SOUPS 22120958 WITH SCORE 2.2201332908E7
AT ITER 797 NEW BEST:: SOT 123165671 SOS 80375100 HAS SOPS 65530917 HAS SOUS 22688829 HAS SOUPS 22120954 WITH SCORE 2.22013291E7
AT ITER 800 NEW BEST:: SOT 123163268 SOS 80372112 HAS SOPS 65527989 HAS SOUS 22684686 HAS SOUPS 22116826 WITH SCORE 2.2197198112E7
AT ITER 808 NEW BEST:: SOT 123166307 SOS 80381548 HAS SOPS 65534473 HAS SOUS 22682749 HAS SOUPS 22114889 WITH SCORE 2.2195270548E7
AT ITER 817 NEW BEST:: SOT 123170668 SOS 80391449 HAS SOPS 65535055 HAS SOUS 22657768 HAS SOUPS 22089908 WITH SCORE 2.2170299449E7
AT ITER 839 NEW BEST:: SOT 123172420 SOS 80396368 HAS SOPS 65530226 HAS SOUS 22643196 HAS SOUPS 22075336 WITH SCORE 2.2155732368E7
AT ITER 850 NEW BEST:: SOT 123169927 SOS 80393805 HAS SOPS 65527584 HAS SOUS 22638635 HAS SOUPS 22070822 WITH SCORE 2.2151215805E7
AT ITER 885 NEW BEST:: SOT 123169940 SOS 80393776 HAS SOPS 65527575 HAS SOUS 22637699 HAS SOUPS 22069886 WITH SCORE 2.2150279776E7
AT ITER 894 NEW BEST:: SOT 123166111 SOS 80390847 HAS SOPS 65523999 HAS SOUS 22632201 HAS SOUPS 22062744 WITH SCORE 2.2143134847E7
AT ITER 896 NEW BEST:: SOT 123164876 SOS 80403611 HAS SOPS 65560895 HAS SOUS 22611214 HAS SOUPS 22041757 WITH SCORE 2.2122160611E7
AT ITER 898 NEW BEST:: SOT 123165652 SOS 80400719 HAS SOPS 65558599 HAS SOUS 22607590 HAS SOUPS 22038133 WITH SCORE 2.2118533719E7
AT ITER 901 NEW BEST:: SOT 123165631 SOS 80400816 HAS SOPS 65558671 HAS SOUS 22607512 HAS SOUPS 22038055 WITH SCORE 2.2118455816E7
AT ITER 919 NEW BEST:: SOT 123195080 SOS 80463939 HAS SOPS 65634013 HAS SOUS 22604534 HAS SOUPS 22035077 WITH SCORE 2.2115540939E7
AT ITER 939 NEW BEST:: SOT 123199266 SOS 80482811 HAS SOPS 65654911 HAS SOUS 22587986 HAS SOUPS 22018616 WITH SCORE 2.2099098811E7
AT ITER 949 NEW BEST:: SOT 123195081 SOS 80479946 HAS SOPS 65646814 HAS SOUS 22577089 HAS SOUPS 22007719 WITH SCORE 2.2088198946E7
AT ITER 959 NEW BEST:: SOT 123194627 SOS 80479988 HAS SOPS 65643093 HAS SOUS 22572038 HAS SOUPS 22002596 WITH SCORE 2.2083075988E7
AT ITER 960 NEW BEST:: SOT 123192896 SOS 80478061 HAS SOPS 65640408 HAS SOUS 22568756 HAS SOUPS 21999314 WITH SCORE 2.2079792061E7
AT ITER 962 NEW BEST:: SOT 123204736 SOS 80505188 HAS SOPS 65666035 HAS SOUS 22547500 HAS SOUPS 21977944 WITH SCORE 2.2058449188E7
AT ITER 964 NEW BEST:: SOT 123194501 SOS 80503506 HAS SOPS 65659688 HAS SOUS 22530497 HAS SOUPS 21960941 WITH SCORE 2.2041444506E7
AT ITER 991 NEW BEST:: SOT 123194396 SOS 80503276 HAS SOPS 65659528 HAS SOUS 22530176 HAS SOUPS 21960625 WITH SCORE 2.2041128276E7
AT ITER 992 NEW BEST:: SOT 123195711 SOS 80502654 HAS SOPS 65669567 HAS SOUS 22526154 HAS SOUPS 21956793 WITH SCORE 2.2037295654E7
AT ITER 993 NEW BEST:: SOT 123193403 SOS 80501273 HAS SOPS 65680662 HAS SOUS 22516465 HAS SOUPS 21947295 WITH SCORE 2.2027796273E7
AT ITER 1001 NEW BEST:: SOT 123200633 SOS 80525887 HAS SOPS 65702195 HAS SOUS 22503036 HAS SOUPS 21933866 WITH SCORE 2.2014391887E7
AT ITER 1007 NEW BEST:: SOT 123200054 SOS 80518134 HAS SOPS 65704653 HAS SOUS 22502704 HAS SOUPS 21933534 WITH SCORE 2.2014052134E7
AT ITER 1008 NEW BEST:: SOT 123190742 SOS 80507077 HAS SOPS 65693001 HAS SOUS 22483816 HAS SOUPS 21915678 WITH SCORE 2.1996185077E7
AT ITER 1020 NEW BEST:: SOT 123189665 SOS 80504900 HAS SOPS 65689656 HAS SOUS 22480484 HAS SOUPS 21912374 WITH SCORE 2.19928789E7
AT ITER 1024 NEW BEST:: SOT 123185197 SOS 80500353 HAS SOPS 65681887 HAS SOUS 22472209 HAS SOUPS 21904099 WITH SCORE 2.1984599353E7
AT ITER 1047 NEW BEST:: SOT 123185197 SOS 80502133 HAS SOPS 65682103 HAS SOUS 22472068 HAS SOUPS 21903958 WITH SCORE 2.1984460133E7
AT ITER 1055 NEW BEST:: SOT 123191846 SOS 80538216 HAS SOPS 65708349 HAS SOUS 22455966 HAS SOUPS 21887856 WITH SCORE 2.1968394216E7
AT ITER 1063 NEW BEST:: SOT 123189584 SOS 80536694 HAS SOPS 65706578 HAS SOUS 22452411 HAS SOUPS 21884301 WITH SCORE 2.1964837694E7
AT ITER 1064 NEW BEST:: SOT 123156141 SOS 80501632 HAS SOPS 65673098 HAS SOUS 22421519 HAS SOUPS 21853409 WITH SCORE 2.1933910632E7
AT ITER 1066 NEW BEST:: SOT 123150501 SOS 80495192 HAS SOPS 65671921 HAS SOUS 22413018 HAS SOUPS 21845055 WITH SCORE 2.1925550192E7
AT ITER 1067 NEW BEST:: SOT 123150226 SOS 80494612 HAS SOPS 65673384 HAS SOUS 22412866 HAS SOUPS 21844938 WITH SCORE 2.1925432612E7
AT ITER 1073 NEW BEST:: SOT 123151145 SOS 80496996 HAS SOPS 65674891 HAS SOUS 22409559 HAS SOUPS 21841631 WITH SCORE 2.1922127996E7
AT ITER 1074 NEW BEST:: SOT 123104076 SOS 80448625 HAS SOPS 65627171 HAS SOUS 22349820 HAS SOUPS 21782014 WITH SCORE 2.1862462625E7
AT ITER 1113 NEW BEST:: SOT 123104076 SOS 80459261 HAS SOPS 65643247 HAS SOUS 22349741 HAS SOUPS 21781935 WITH SCORE 2.1862394261E7
AT ITER 1126 NEW BEST:: SOT 123112939 SOS 80473319 HAS SOPS 65643541 HAS SOUS 22348117 HAS SOUPS 21779487 WITH SCORE 2.1859960319E7
AT ITER 1127 NEW BEST:: SOT 123110966 SOS 80472109 HAS SOPS 65642235 HAS SOUS 22344438 HAS SOUPS 21775808 WITH SCORE 2.1856280109E7
AT ITER 1142 NEW BEST:: SOT 123111048 SOS 80497973 HAS SOPS 65686997 HAS SOUS 22344310 HAS SOUPS 21775680 WITH SCORE 2.1856177973E7
AT ITER 1147 NEW BEST:: SOT 123136160 SOS 80528332 HAS SOPS 65714708 HAS SOUS 22326496 HAS SOUPS 21757866 WITH SCORE 2.1838394332E7
AT ITER 1159 NEW BEST:: SOT 123117847 SOS 80508668 HAS SOPS 65696164 HAS SOUS 22285696 HAS SOUPS 21717235 WITH SCORE 2.1797743668E7
AT ITER 1203 NEW BEST:: SOT 123124001 SOS 80529375 HAS SOPS 65711966 HAS SOUS 22280042 HAS SOUPS 21711581 WITH SCORE 2.1792110375E7
AT ITER 1209 NEW BEST:: SOT 123125895 SOS 80539246 HAS SOPS 65718795 HAS SOUS 22267541 HAS SOUPS 21699129 WITH SCORE 2.1779668246E7
AT ITER 1219 NEW BEST:: SOT 123100895 SOS 80497280 HAS SOPS 65674139 HAS SOUS 22241922 HAS SOUPS 21673828 WITH SCORE 2.175432528E7
AT ITER 1231 NEW BEST:: SOT 123090857 SOS 80484879 HAS SOPS 65662083 HAS SOUS 22232087 HAS SOUPS 21663993 WITH SCORE 2.1744477879E7
AT ITER 1257 NEW BEST:: SOT 123077435 SOS 80467628 HAS SOPS 65646250 HAS SOUS 22209207 HAS SOUPS 21641113 WITH SCORE 2.1721580628E7
AT ITER 1300 NEW BEST:: SOT 123075718 SOS 80447695 HAS SOPS 65630465 HAS SOUS 22207343 HAS SOUPS 21639303 WITH SCORE 2.1719750695E7
AT ITER 1330 NEW BEST:: SOT 123055443 SOS 80408318 HAS SOPS 65599029 HAS SOUS 22195939 HAS SOUPS 21627899 WITH SCORE 2.1708307318E7
AT ITER 1335 NEW BEST:: SOT 123054868 SOS 80433098 HAS SOPS 65625728 HAS SOUS 22193163 HAS SOUPS 21625123 WITH SCORE 2.1705556098E7
AT ITER 1355 NEW BEST:: SOT 123071271 SOS 80445888 HAS SOPS 65645111 HAS SOUS 22152477 HAS SOUPS 21584437 WITH SCORE 2.1664882888E7
AT ITER 1370 NEW BEST:: SOT 123059430 SOS 80417874 HAS SOPS 65636126 HAS SOUS 22147190 HAS SOUPS 21579615 WITH SCORE 2.1660032874E7
AT ITER 1381 NEW BEST:: SOT 123049730 SOS 80406236 HAS SOPS 65621722 HAS SOUS 22127864 HAS SOUPS 21560381 WITH SCORE 2.1640787236E7
AT ITER 1383 NEW BEST:: SOT 123051652 SOS 80410806 HAS SOPS 65638826 HAS SOUS 22126328 HAS SOUPS 21558845 WITH SCORE 2.1639255806E7
AT ITER 1427 NEW BEST:: SOT 123073801 SOS 80450904 HAS SOPS 65670123 HAS SOUS 22116121 HAS SOUPS 21548470 WITH SCORE 2.1628920904E7
AT ITER 1428 NEW BEST:: SOT 123087554 SOS 80476758 HAS SOPS 65688895 HAS SOUS 22108859 HAS SOUPS 21541506 WITH SCORE 2.1621982758E7
AT ITER 1432 NEW BEST:: SOT 123077384 SOS 80459947 HAS SOPS 65675162 HAS SOUS 22098710 HAS SOUPS 21531598 WITH SCORE 2.1612057947E7
AT ITER 1444 NEW BEST:: SOT 123063177 SOS 80445157 HAS SOPS 65660955 HAS SOUS 22085009 HAS SOUPS 21518051 WITH SCORE 2.1598496157E7
AT ITER 1447 NEW BEST:: SOT 123063083 SOS 80445081 HAS SOPS 65660841 HAS SOUS 22084820 HAS SOUPS 21517861 WITH SCORE 2.1598306081E7
AT ITER 1448 NEW BEST:: SOT 123013736 SOS 80390950 HAS SOPS 65597926 HAS SOUS 22019140 HAS SOUPS 21452297 WITH SCORE 2.153268795E7
AT ITER 1452 NEW BEST:: SOT 122998301 SOS 80376919 HAS SOPS 65581417 HAS SOUS 22001326 HAS SOUPS 21434483 WITH SCORE 2.1514859919E7
AT ITER 1460 NEW BEST:: SOT 122998989 SOS 80378888 HAS SOPS 65582420 HAS SOUS 21997415 HAS SOUPS 21430572 WITH SCORE 2.1510950888E7
AT ITER 1463 NEW BEST:: SOT 123000822 SOS 80379034 HAS SOPS 65583266 HAS SOUS 21987711 HAS SOUPS 21422183 WITH SCORE 2.1502562034E7
AT ITER 1469 NEW BEST:: SOT 123000980 SOS 80381288 HAS SOPS 65587741 HAS SOUS 21976834 HAS SOUPS 21411248 WITH SCORE 2.1491629288E7
AT ITER 1483 NEW BEST:: SOT 123001046 SOS 80382005 HAS SOPS 65588192 HAS SOUS 21973038 HAS SOUPS 21407448 WITH SCORE 2.1487830005E7
AT ITER 1490 NEW BEST:: SOT 123001046 SOS 80385125 HAS SOPS 65591888 HAS SOUS 21972953 HAS SOUPS 21407363 WITH SCORE 2.1487748125E7
AT ITER 1500 NEW BEST:: SOT 123007950 SOS 80397989 HAS SOPS 65593803 HAS SOUS 21960300 HAS SOUPS 21394710 WITH SCORE 2.1475107989E7
AT ITER 1513 NEW BEST:: SOT 123011977 SOS 80403899 HAS SOPS 65605409 HAS SOUS 21953618 HAS SOUPS 21388028 WITH SCORE 2.1468431899E7
AT ITER 1537 NEW BEST:: SOT 123010682 SOS 80401957 HAS SOPS 65603571 HAS SOUS 21952440 HAS SOUPS 21386850 WITH SCORE 2.1467251957E7
AT ITER 1569 NEW BEST:: SOT 123007493 SOS 80397992 HAS SOPS 65597468 HAS SOUS 21939595 HAS SOUPS 21374019 WITH SCORE 2.1454416992E7
AT ITER 1576 NEW BEST:: SOT 123007493 SOS 80400388 HAS SOPS 65600178 HAS SOUS 21939487 HAS SOUPS 21373911 WITH SCORE 2.1454311388E7
AT ITER 1577 NEW BEST:: SOT 123006807 SOS 80399459 HAS SOPS 65599487 HAS SOUS 21938613 HAS SOUPS 21373037 WITH SCORE 2.1453436459E7
AT ITER 1597 NEW BEST:: SOT 123006807 SOS 80397667 HAS SOPS 65597439 HAS SOUS 21938613 HAS SOUPS 21373037 WITH SCORE 2.1453434667E7
AT ITER 1602 NEW BEST:: SOT 123003377 SOS 80392320 HAS SOPS 65592628 HAS SOUS 21935836 HAS SOUPS 21370308 WITH SCORE 2.145070032E7
AT ITER 1629 NEW BEST:: SOT 123007778 SOS 80401317 HAS SOPS 65602618 HAS SOUS 21930535 HAS SOUPS 21365052 WITH SCORE 2.1445453317E7
AT ITER 1632 NEW BEST:: SOT 123003242 SOS 80396857 HAS SOPS 65596911 HAS SOUS 21927634 HAS SOUPS 21362151 WITH SCORE 2.1442547857E7
AT ITER 1645 NEW BEST:: SOT 122997321 SOS 80423527 HAS SOPS 65624883 HAS SOUS 21924021 HAS SOUPS 21358538 WITH SCORE 2.1438961527E7
AT ITER 1647 NEW BEST:: SOT 122990412 SOS 80415554 HAS SOPS 65615248 HAS SOUS 21905144 HAS SOUPS 21339661 WITH SCORE 2.1420076554E7
AT ITER 1651 NEW BEST:: SOT 122990083 SOS 80414467 HAS SOPS 65614161 HAS SOUS 21904735 HAS SOUPS 21339252 WITH SCORE 2.1419666467E7
AT ITER 1669 NEW BEST:: SOT 122976816 SOS 80373838 HAS SOPS 65572883 HAS SOUS 21902970 HAS SOUPS 21337487 WITH SCORE 2.1417860838E7
AT ITER 1678 NEW BEST:: SOT 122975088 SOS 80371792 HAS SOPS 65569892 HAS SOUS 21899342 HAS SOUPS 21333859 WITH SCORE 2.1414230792E7
AT ITER 1689 NEW BEST:: SOT 122983858 SOS 80385320 HAS SOPS 65585357 HAS SOUS 21878002 HAS SOUPS 21312519 WITH SCORE 2.139290432E7
AT ITER 1693 NEW BEST:: SOT 122995697 SOS 80411516 HAS SOPS 65612303 HAS SOUS 21849714 HAS SOUPS 21284231 WITH SCORE 2.1364642516E7
AT ITER 1716 NEW BEST:: SOT 122985496 SOS 80406183 HAS SOPS 65597530 HAS SOUS 21809078 HAS SOUPS 21243595 WITH SCORE 2.1324001183E7
AT ITER 1741 NEW BEST:: SOT 123017708 SOS 80466976 HAS SOPS 65649323 HAS SOUS 21796433 HAS SOUPS 21230950 WITH SCORE 2.1311416976E7
AT ITER 1747 NEW BEST:: SOT 123017740 SOS 80465468 HAS SOPS 65646743 HAS SOUS 21796426 HAS SOUPS 21230943 WITH SCORE 2.1311408468E7
AT ITER 1754 NEW BEST:: SOT 123015137 SOS 80462557 HAS SOPS 65643200 HAS SOUS 21793916 HAS SOUPS 21228473 WITH SCORE 2.1308935557E7
AT ITER 1764 NEW BEST:: SOT 123013737 SOS 80461602 HAS SOPS 65641265 HAS SOUS 21788451 HAS SOUPS 21223008 WITH SCORE 2.1303469602E7
AT ITER 1765 NEW BEST:: SOT 123013788 SOS 80461879 HAS SOPS 65640945 HAS SOUS 21787256 HAS SOUPS 21221813 WITH SCORE 2.1302274879E7
AT ITER 1774 NEW BEST:: SOT 123009830 SOS 80457954 HAS SOPS 65636991 HAS SOUS 21781343 HAS SOUPS 21215871 WITH SCORE 2.1296328954E7
AT ITER 1786 NEW BEST:: SOT 122982166 SOS 80406415 HAS SOPS 65588563 HAS SOUS 21773876 HAS SOUPS 21208208 WITH SCORE 2.1288614415E7
AT ITER 1788 NEW BEST:: SOT 122977619 SOS 80407734 HAS SOPS 65576957 HAS SOUS 21751104 HAS SOUPS 21185436 WITH SCORE 2.1265843734E7
AT ITER 1817 NEW BEST:: SOT 122955644 SOS 80386712 HAS SOPS 65549290 HAS SOUS 21712738 HAS SOUPS 21147070 WITH SCORE 2.1227456712E7
AT ITER 1836 NEW BEST:: SOT 122954592 SOS 80385610 HAS SOPS 65547528 HAS SOUS 21710210 HAS SOUPS 21144552 WITH SCORE 2.122493761E7
AT ITER 1837 NEW BEST:: SOT 122950585 SOS 80376000 HAS SOPS 65539327 HAS SOUS 21709142 HAS SOUPS 21143484 WITH SCORE 2.122386E7
AT ITER 1841 NEW BEST:: SOT 122949271 SOS 80374434 HAS SOPS 65537495 HAS SOUS 21706848 HAS SOUPS 21141190 WITH SCORE 2.1221564434E7
AT ITER 1872 NEW BEST:: SOT 122937008 SOS 80362756 HAS SOPS 65518836 HAS SOUS 21671757 HAS SOUPS 21106099 WITH SCORE 2.1186461756E7
AT ITER 1875 NEW BEST:: SOT 122926298 SOS 80353018 HAS SOPS 65505645 HAS SOUS 21651098 HAS SOUPS 21085623 WITH SCORE 2.1165976018E7
AT ITER 1881 NEW BEST:: SOT 122934351 SOS 80369516 HAS SOPS 65523126 HAS SOUS 21650310 HAS SOUPS 21084835 WITH SCORE 2.1165204516E7
AT ITER 1895 NEW BEST:: SOT 122934128 SOS 80361067 HAS SOPS 65518322 HAS SOUS 21649482 HAS SOUPS 21084055 WITH SCORE 2.1164416067E7
AT ITER 1920 NEW BEST:: SOT 122933380 SOS 80360120 HAS SOPS 65516831 HAS SOUS 21647639 HAS SOUPS 21082212 WITH SCORE 2.116257212E7
AT ITER 1925 NEW BEST:: SOT 122933272 SOS 80360236 HAS SOPS 65517811 HAS SOUS 21647514 HAS SOUPS 21082087 WITH SCORE 2.1162447236E7
AT ITER 1928 NEW BEST:: SOT 122917422 SOS 80343193 HAS SOPS 65501304 HAS SOUS 21613906 HAS SOUPS 21048612 WITH SCORE 2.1128955193E7
AT ITER 1931 NEW BEST:: SOT 122918685 SOS 80343763 HAS SOPS 65486856 HAS SOUS 21576249 HAS SOUPS 21010955 WITH SCORE 2.1091298763E7
AT ITER 1938 NEW BEST:: SOT 122917672 SOS 80344121 HAS SOPS 65486170 HAS SOUS 21571809 HAS SOUPS 21006486 WITH SCORE 2.1086830121E7
AT ITER 1940 NEW BEST:: SOT 122890865 SOS 80295732 HAS SOPS 65439094 HAS SOUS 21540269 HAS SOUPS 20974946 WITH SCORE 2.1055241732E7
AT ITER 1942 NEW BEST:: SOT 122886400 SOS 80281820 HAS SOPS 65424577 HAS SOUS 21520059 HAS SOUPS 20954736 WITH SCORE 2.103501782E7
AT ITER 1947 NEW BEST:: SOT 122886390 SOS 80281810 HAS SOPS 65424559 HAS SOUS 21520005 HAS SOUPS 20954694 WITH SCORE 2.103497581E7
AT ITER 1948 NEW BEST:: SOT 122884275 SOS 80274359 HAS SOPS 65417108 HAS SOUS 21517957 HAS SOUPS 20952646 WITH SCORE 2.1032920359E7
AT ITER 1949 NEW BEST:: SOT 122852436 SOS 80225441 HAS SOPS 65380699 HAS SOUS 21459392 HAS SOUPS 20895074 WITH SCORE 2.0975299441E7
AT ITER 1952 NEW BEST:: SOT 122846595 SOS 80217725 HAS SOPS 65371334 HAS SOUS 21450600 HAS SOUPS 20886282 WITH SCORE 2.0966499725E7
AT ITER 1958 NEW BEST:: SOT 122854731 SOS 80223521 HAS SOPS 65385525 HAS SOUS 21429407 HAS SOUPS 20865089 WITH SCORE 2.0945312521E7
AT ITER 1965 NEW BEST:: SOT 122828407 SOS 80175452 HAS SOPS 65344682 HAS SOUS 21392961 HAS SOUPS 20828820 WITH SCORE 2.0908995452E7
AT ITER 1986 NEW BEST:: SOT 122831782 SOS 80183057 HAS SOPS 65350518 HAS SOUS 21386689 HAS SOUPS 20822548 WITH SCORE 2.0902731057E7
AT ITER 1993 NEW BEST:: SOT 122833249 SOS 80186929 HAS SOPS 65353238 HAS SOUS 21386610 HAS SOUPS 20822368 WITH SCORE 2.0902554929E7
AT ITER 1994 NEW BEST:: SOT 122854754 SOS 80231746 HAS SOPS 65386224 HAS SOUS 21377954 HAS SOUPS 20813712 WITH SCORE 2.0893943746E7
AT ITER 2004 NEW BEST:: SOT 122854490 SOS 80231470 HAS SOPS 65385588 HAS SOUS 21376934 HAS SOUPS 20812692 WITH SCORE 2.089292347E7
AT ITER 2019 NEW BEST:: SOT 122875418 SOS 80300950 HAS SOPS 65435828 HAS SOUS 21372904 HAS SOUPS 20808662 WITH SCORE 2.088896295E7
AT ITER 2072 NEW BEST:: SOT 122886156 SOS 80313006 HAS SOPS 65450101 HAS SOUS 21371982 HAS SOUPS 20807724 WITH SCORE 2.0888037006E7
AT ITER 2076 NEW BEST:: SOT 122864391 SOS 80269927 HAS SOPS 65423949 HAS SOUS 21346863 HAS SOUPS 20783022 WITH SCORE 2.0863291927E7
AT ITER 2113 NEW BEST:: SOT 122863245 SOS 80273945 HAS SOPS 65427005 HAS SOUS 21338118 HAS SOUPS 20774277 WITH SCORE 2.0854550945E7
AT ITER 2114 NEW BEST:: SOT 122863396 SOS 80274087 HAS SOPS 65427487 HAS SOUS 21335585 HAS SOUPS 20772797 WITH SCORE 2.0853071087E7
AT ITER 2118 NEW BEST:: SOT 122863003 SOS 80273409 HAS SOPS 65427046 HAS SOUS 21335481 HAS SOUPS 20772693 WITH SCORE 2.0852966409E7
AT ITER 2133 NEW BEST:: SOT 122891376 SOS 80338956 HAS SOPS 65478582 HAS SOUS 21318939 HAS SOUPS 20756151 WITH SCORE 2.0836489956E7
AT ITER 2135 NEW BEST:: SOT 122889406 SOS 80333825 HAS SOPS 65477204 HAS SOUS 21316347 HAS SOUPS 20753559 WITH SCORE 2.0833892825E7
AT ITER 2143 NEW BEST:: SOT 122888248 SOS 80336542 HAS SOPS 65479921 HAS SOUS 21315735 HAS SOUPS 20752947 WITH SCORE 2.0833283542E7
AT ITER 2147 NEW BEST:: SOT 122875869 SOS 80323351 HAS SOPS 65462277 HAS SOUS 21315195 HAS SOUPS 20751066 WITH SCORE 2.0831389351E7
AT ITER 2160 NEW BEST:: SOT 122853388 SOS 80286639 HAS SOPS 65430633 HAS SOUS 21293310 HAS SOUPS 20729321 WITH SCORE 2.0809607639E7
AT ITER 2174 NEW BEST:: SOT 122855808 SOS 80281892 HAS SOPS 65426415 HAS SOUS 21289260 HAS SOUPS 20725271 WITH SCORE 2.0805552892E7
AT ITER 2177 NEW BEST:: SOT 122853858 SOS 80279844 HAS SOPS 65424418 HAS SOUS 21287192 HAS SOUPS 20723237 WITH SCORE 2.0803516844E7
AT ITER 2182 NEW BEST:: SOT 122847086 SOS 80256136 HAS SOPS 65410512 HAS SOUS 21281663 HAS SOUPS 20717708 WITH SCORE 2.0797964136E7
AT ITER 2232 NEW BEST:: SOT 122855153 SOS 80280891 HAS SOPS 65428737 HAS SOUS 21264625 HAS SOUPS 20700805 WITH SCORE 2.0781085891E7
AT ITER 2238 NEW BEST:: SOT 122824258 SOS 80249842 HAS SOPS 65397765 HAS SOUS 21223390 HAS SOUPS 20659617 WITH SCORE 2.0739866842E7
AT ITER 2255 NEW BEST:: SOT 122819000 SOS 80236050 HAS SOPS 65390054 HAS SOUS 21222559 HAS SOUPS 20659188 WITH SCORE 2.073942405E7
AT ITER 2261 NEW BEST:: SOT 122817497 SOS 80233669 HAS SOPS 65387491 HAS SOUS 21219234 HAS SOUPS 20655863 WITH SCORE 2.0736096669E7
AT ITER 2275 NEW BEST:: SOT 122818496 SOS 80241940 HAS SOPS 65388103 HAS SOUS 21197776 HAS SOUPS 20634541 WITH SCORE 2.071478294E7
AT ITER 2282 NEW BEST:: SOT 122813856 SOS 80235896 HAS SOPS 65372975 HAS SOUS 21179456 HAS SOUPS 20616221 WITH SCORE 2.0696456896E7
AT ITER 2298 NEW BEST:: SOT 122813749 SOS 80228297 HAS SOPS 65378135 HAS SOUS 21178007 HAS SOUPS 20614910 WITH SCORE 2.0695138297E7
AT ITER 2314 NEW BEST:: SOT 122811315 SOS 80224431 HAS SOPS 65397063 HAS SOUS 21097071 HAS SOUPS 20534214 WITH SCORE 2.0614438431E7
AT ITER 2330 NEW BEST:: SOT 122809398 SOS 80223467 HAS SOPS 65394963 HAS SOUS 21091710 HAS SOUPS 20528785 WITH SCORE 2.0609008467E7
AT ITER 2331 NEW BEST:: SOT 122786703 SOS 80202269 HAS SOPS 65370434 HAS SOUS 21061223 HAS SOUPS 20495728 WITH SCORE 2.0575930269E7
AT ITER 2337 NEW BEST:: SOT 122784251 SOS 80197300 HAS SOPS 65375306 HAS SOUS 21041626 HAS SOUPS 20476131 WITH SCORE 2.05563283E7
AT ITER 2360 NEW BEST:: SOT 122783949 SOS 80199089 HAS SOPS 65378255 HAS SOUS 21037330 HAS SOUPS 20471835 WITH SCORE 2.0552034089E7
AT ITER 2375 NEW BEST:: SOT 122762340 SOS 80155434 HAS SOPS 65345473 HAS SOUS 21021211 HAS SOUPS 20455716 WITH SCORE 2.0535871434E7
AT ITER 2389 NEW BEST:: SOT 122768568 SOS 80151247 HAS SOPS 65335582 HAS SOUS 20994378 HAS SOUPS 20428883 WITH SCORE 2.0509034247E7
AT ITER 2390 NEW BEST:: SOT 122771534 SOS 80172744 HAS SOPS 65342376 HAS SOUS 20968059 HAS SOUPS 20402564 WITH SCORE 2.0482736744E7
AT ITER 2397 NEW BEST:: SOT 122772099 SOS 80174219 HAS SOPS 65344820 HAS SOUS 20967738 HAS SOUPS 20402243 WITH SCORE 2.0482417219E7
AT ITER 2402 NEW BEST:: SOT 122755780 SOS 80160148 HAS SOPS 65326619 HAS SOUS 20951076 HAS SOUPS 20384568 WITH SCORE 2.0464728148E7
AT ITER 2407 NEW BEST:: SOT 122755700 SOS 80160491 HAS SOPS 65326518 HAS SOUS 20950461 HAS SOUPS 20383949 WITH SCORE 2.0464109491E7
AT ITER 2409 NEW BEST:: SOT 122754113 SOS 80159095 HAS SOPS 65325684 HAS SOUS 20940902 HAS SOUPS 20374390 WITH SCORE 2.0454549095E7
AT ITER 2421 NEW BEST:: SOT 122754095 SOS 80156833 HAS SOPS 65339702 HAS SOUS 20940856 HAS SOUPS 20374344 WITH SCORE 2.0454500833E7
AT ITER 2435 NEW BEST:: SOT 122770233 SOS 80175311 HAS SOPS 65372872 HAS SOUS 20932373 HAS SOUPS 20366107 WITH SCORE 2.0446282311E7
AT ITER 2439 NEW BEST:: SOT 122772240 SOS 80171311 HAS SOPS 65369523 HAS SOUS 20929347 HAS SOUPS 20363081 WITH SCORE 2.0443252311E7
AT ITER 2451 NEW BEST:: SOT 122754796 SOS 80140803 HAS SOPS 65342321 HAS SOUS 20888779 HAS SOUPS 20322513 WITH SCORE 2.0402653803E7
AT ITER 2454 NEW BEST:: SOT 122750762 SOS 80136273 HAS SOPS 65336639 HAS SOUS 20880231 HAS SOUPS 20313965 WITH SCORE 2.0394101273E7
AT ITER 2467 NEW BEST:: SOT 122750773 SOS 80136284 HAS SOPS 65336626 HAS SOUS 20880230 HAS SOUPS 20313952 WITH SCORE 2.0394088284E7
AT ITER 2484 NEW BEST:: SOT 122747108 SOS 80131589 HAS SOPS 65329522 HAS SOUS 20875837 HAS SOUPS 20309559 WITH SCORE 2.0389690589E7
AT ITER 2495 NEW BEST:: SOT 122746681 SOS 80126974 HAS SOPS 65326919 HAS SOUS 20874350 HAS SOUPS 20308104 WITH SCORE 2.0388230974E7
AT ITER 2498 NEW BEST:: SOT 122760477 SOS 80149950 HAS SOPS 65338802 HAS SOUS 20872718 HAS SOUPS 20306472 WITH SCORE 2.038662195E7
AT ITER 2511 NEW BEST:: SOT 122741533 SOS 80116759 HAS SOPS 65316039 HAS SOUS 20859684 HAS SOUPS 20293630 WITH SCORE 2.0373746759E7
AT ITER 2523 NEW BEST:: SOT 122770852 SOS 80201835 HAS SOPS 65369973 HAS SOUS 20819941 HAS SOUPS 20253887 WITH SCORE 2.0334088835E7
AT ITER 2539 NEW BEST:: SOT 122768235 SOS 80199218 HAS SOPS 65367356 HAS SOUS 20817324 HAS SOUPS 20251270 WITH SCORE 2.0331469218E7
AT ITER 2544 NEW BEST:: SOT 122759575 SOS 80201137 HAS SOPS 65352219 HAS SOUS 20794794 HAS SOUPS 20228174 WITH SCORE 2.0308375137E7
AT ITER 2555 NEW BEST:: SOT 122720548 SOS 80156901 HAS SOPS 65304526 HAS SOUS 20719959 HAS SOUPS 20153430 WITH SCORE 2.0233586901E7
AT ITER 2564 NEW BEST:: SOT 122713734 SOS 80150415 HAS SOPS 65299620 HAS SOUS 20709294 HAS SOUPS 20142765 WITH SCORE 2.0222915415E7
AT ITER 2567 NEW BEST:: SOT 122744527 SOS 80218460 HAS SOPS 65362819 HAS SOUS 20692785 HAS SOUPS 20126487 WITH SCORE 2.020670546E7
AT ITER 2574 NEW BEST:: SOT 122752534 SOS 80233820 HAS SOPS 65377028 HAS SOUS 20679842 HAS SOUPS 20113544 WITH SCORE 2.019377782E7
AT ITER 2579 NEW BEST:: SOT 122752996 SOS 80206435 HAS SOPS 65381700 HAS SOUS 20677849 HAS SOUPS 20111805 WITH SCORE 2.0192011435E7
AT ITER 2588 NEW BEST:: SOT 122768341 SOS 80229389 HAS SOPS 65404676 HAS SOUS 20676998 HAS SOUPS 20110954 WITH SCORE 2.0191183389E7
AT ITER 2596 NEW BEST:: SOT 122768261 SOS 80229293 HAS SOPS 65404580 HAS SOUS 20676931 HAS SOUPS 20110887 WITH SCORE 2.0191116293E7
AT ITER 2599 NEW BEST:: SOT 122753626 SOS 80201421 HAS SOPS 65391063 HAS SOUS 20663383 HAS SOUPS 20097545 WITH SCORE 2.0177746421E7

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb115-PT-1"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RERS17pb115-PT-1, examination is CTLCardinality"
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-158961502400147"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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