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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.9K Apr 12 07:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 07:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 11 08:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 08:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K 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.4K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 10 14:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 9 21:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 21:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:28 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)

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-9-CTLCardinality-00
FORMULA_NAME RERS17pb115-PT-9-CTLCardinality-01
FORMULA_NAME RERS17pb115-PT-9-CTLCardinality-02
FORMULA_NAME RERS17pb115-PT-9-CTLCardinality-03
FORMULA_NAME RERS17pb115-PT-9-CTLCardinality-04
FORMULA_NAME RERS17pb115-PT-9-CTLCardinality-05
FORMULA_NAME RERS17pb115-PT-9-CTLCardinality-06
FORMULA_NAME RERS17pb115-PT-9-CTLCardinality-07
FORMULA_NAME RERS17pb115-PT-9-CTLCardinality-08
FORMULA_NAME RERS17pb115-PT-9-CTLCardinality-09
FORMULA_NAME RERS17pb115-PT-9-CTLCardinality-10
FORMULA_NAME RERS17pb115-PT-9-CTLCardinality-11
FORMULA_NAME RERS17pb115-PT-9-CTLCardinality-12
FORMULA_NAME RERS17pb115-PT-9-CTLCardinality-13
FORMULA_NAME RERS17pb115-PT-9-CTLCardinality-14
FORMULA_NAME RERS17pb115-PT-9-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589788692785

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 9
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 3 NEW BEST:: SOT 123427087 SOS 80220374 HAS SOPS 65203182 HAS SOUS 24041945 HAS SOUPS 23469451 WITH SCORE 2.3549671374E7
AT ITER 8 NEW BEST:: SOT 123414982 SOS 80198077 HAS SOPS 65178990 HAS SOUS 24025631 HAS SOUPS 23453275 WITH SCORE 2.3533473077E7
AT ITER 14 NEW BEST:: SOT 123414963 SOS 80198084 HAS SOPS 65178937 HAS SOUS 24025378 HAS SOUPS 23453022 WITH SCORE 2.3533220084E7
AT ITER 19 NEW BEST:: SOT 123398372 SOS 80184183 HAS SOPS 65159182 HAS SOUS 23938954 HAS SOUPS 23366425 WITH SCORE 2.3446609183E7
AT ITER 27 NEW BEST:: SOT 123402232 SOS 80188448 HAS SOPS 65173097 HAS SOUS 23929418 HAS SOUPS 23357559 WITH SCORE 2.3437747448E7
AT ITER 35 NEW BEST:: SOT 123375092 SOS 80167266 HAS SOPS 65151641 HAS SOUS 23928532 HAS SOUPS 23356673 WITH SCORE 2.3436840266E7
AT ITER 57 NEW BEST:: SOT 123393502 SOS 80203030 HAS SOPS 65204832 HAS SOUS 23927767 HAS SOUPS 23356124 WITH SCORE 2.343632703E7
AT ITER 60 NEW BEST:: SOT 123364917 SOS 80170655 HAS SOPS 65190413 HAS SOUS 23868471 HAS SOUPS 23296828 WITH SCORE 2.3376998655E7
AT ITER 72 NEW BEST:: SOT 123368869 SOS 80185799 HAS SOPS 65206701 HAS SOUS 23860456 HAS SOUPS 23288813 WITH SCORE 2.3368998799E7
AT ITER 100 NEW BEST:: SOT 123380860 SOS 80229010 HAS SOPS 65224591 HAS SOUS 23771070 HAS SOUPS 23199310 WITH SCORE 2.327953901E7
AT ITER 101 NEW BEST:: SOT 123386456 SOS 80261136 HAS SOPS 65252139 HAS SOUS 23738188 HAS SOUPS 23166428 WITH SCORE 2.3246689136E7
AT ITER 117 NEW BEST:: SOT 123387170 SOS 80257964 HAS SOPS 65253320 HAS SOUS 23734898 HAS SOUPS 23162979 WITH SCORE 2.3243236964E7
AT ITER 118 NEW BEST:: SOT 123406663 SOS 80302358 HAS SOPS 65301321 HAS SOUS 23694488 HAS SOUPS 23122487 WITH SCORE 2.3202789358E7
AT ITER 121 NEW BEST:: SOT 123461275 SOS 80413210 HAS SOPS 65415868 HAS SOUS 23691531 HAS SOUPS 23119530 WITH SCORE 2.319994321E7
AT ITER 123 NEW BEST:: SOT 123475410 SOS 80460972 HAS SOPS 65457271 HAS SOUS 23680070 HAS SOUPS 23108069 WITH SCORE 2.3188529972E7
AT ITER 129 NEW BEST:: SOT 123472694 SOS 80457510 HAS SOPS 65454878 HAS SOUS 23673025 HAS SOUPS 23101053 WITH SCORE 2.318151051E7
AT ITER 144 NEW BEST:: SOT 123473768 SOS 80456159 HAS SOPS 65453367 HAS SOUS 23669324 HAS SOUPS 23097397 WITH SCORE 2.3177853159E7
AT ITER 153 NEW BEST:: SOT 123462552 SOS 80440346 HAS SOPS 65435252 HAS SOUS 23640172 HAS SOUPS 23068183 WITH SCORE 2.3148623346E7
AT ITER 157 NEW BEST:: SOT 123455979 SOS 80430720 HAS SOPS 65431035 HAS SOUS 23632742 HAS SOUPS 23060753 WITH SCORE 2.314118372E7
AT ITER 166 NEW BEST:: SOT 123476571 SOS 80452611 HAS SOPS 65485686 HAS SOUS 23623714 HAS SOUPS 23052129 WITH SCORE 2.3132581611E7
AT ITER 168 NEW BEST:: SOT 123473157 SOS 80445828 HAS SOPS 65482717 HAS SOUS 23611809 HAS SOUPS 23040224 WITH SCORE 2.3120669828E7
AT ITER 170 NEW BEST:: SOT 123482914 SOS 80488401 HAS SOPS 65538328 HAS SOUS 23600723 HAS SOUPS 23029315 WITH SCORE 2.3109803401E7
AT ITER 180 NEW BEST:: SOT 123483849 SOS 80494002 HAS SOPS 65542331 HAS SOUS 23584630 HAS SOUPS 23013210 WITH SCORE 2.3093704002E7
AT ITER 213 NEW BEST:: SOT 123483120 SOS 80493351 HAS SOPS 65540955 HAS SOUS 23582423 HAS SOUPS 23011003 WITH SCORE 2.3091496351E7
AT ITER 215 NEW BEST:: SOT 123481326 SOS 80492648 HAS SOPS 65543866 HAS SOUS 23575132 HAS SOUPS 23003651 WITH SCORE 2.3084143648E7
AT ITER 218 NEW BEST:: SOT 123481326 SOS 80505960 HAS SOPS 65564090 HAS SOUS 23574822 HAS SOUPS 23003341 WITH SCORE 2.308384696E7
AT ITER 229 NEW BEST:: SOT 123480915 SOS 80495333 HAS SOPS 65564341 HAS SOUS 23574825 HAS SOUPS 23003344 WITH SCORE 2.3083839333E7
AT ITER 235 NEW BEST:: SOT 123481036 SOS 80538545 HAS SOPS 65619262 HAS SOUS 23574602 HAS SOUPS 23003121 WITH SCORE 2.3083659545E7
AT ITER 259 NEW BEST:: SOT 123480145 SOS 80537718 HAS SOPS 65617795 HAS SOUS 23572600 HAS SOUPS 23001119 WITH SCORE 2.3081656718E7
AT ITER 270 NEW BEST:: SOT 123480164 SOS 80539571 HAS SOPS 65622515 HAS SOUS 23572562 HAS SOUPS 23001081 WITH SCORE 2.3081620571E7
AT ITER 277 NEW BEST:: SOT 123462356 SOS 80521470 HAS SOPS 65604384 HAS SOUS 23563550 HAS SOUPS 22992164 WITH SCORE 2.307268547E7
AT ITER 281 NEW BEST:: SOT 123462867 SOS 80557802 HAS SOPS 65651439 HAS SOUS 23563300 HAS SOUPS 22991914 WITH SCORE 2.3072471802E7
AT ITER 283 NEW BEST:: SOT 123462230 SOS 80559863 HAS SOPS 65651499 HAS SOUS 23562147 HAS SOUPS 22990761 WITH SCORE 2.3071320863E7
AT ITER 285 NEW BEST:: SOT 123479909 SOS 80596908 HAS SOPS 65683980 HAS SOUS 23492910 HAS SOUPS 22921478 WITH SCORE 2.3002074908E7
AT ITER 291 NEW BEST:: SOT 123464181 SOS 80581178 HAS SOPS 65667465 HAS SOUS 23461109 HAS SOUPS 22890125 WITH SCORE 2.2970706178E7
AT ITER 300 NEW BEST:: SOT 123279812 SOS 80313298 HAS SOPS 65434164 HAS SOUS 23214660 HAS SOUPS 22644152 WITH SCORE 2.2724465298E7
AT ITER 307 NEW BEST:: SOT 123279601 SOS 80315530 HAS SOPS 65432075 HAS SOUS 23208437 HAS SOUPS 22637929 WITH SCORE 2.271824453E7
AT ITER 321 NEW BEST:: SOT 123283276 SOS 80312074 HAS SOPS 65421575 HAS SOUS 23184550 HAS SOUPS 22614042 WITH SCORE 2.2694354074E7
AT ITER 326 NEW BEST:: SOT 123279049 SOS 80306645 HAS SOPS 65417067 HAS SOUS 23179235 HAS SOUPS 22608727 WITH SCORE 2.2689033645E7
AT ITER 335 NEW BEST:: SOT 123267897 SOS 80295279 HAS SOPS 65402055 HAS SOUS 23147236 HAS SOUPS 22576728 WITH SCORE 2.2657023279E7
AT ITER 351 NEW BEST:: SOT 123247997 SOS 80246298 HAS SOPS 65360274 HAS SOUS 23131853 HAS SOUPS 22561345 WITH SCORE 2.2641591298E7
AT ITER 358 NEW BEST:: SOT 123235404 SOS 80233656 HAS SOPS 65347608 HAS SOUS 23111722 HAS SOUPS 22541214 WITH SCORE 2.2621447656E7
AT ITER 364 NEW BEST:: SOT 123243194 SOS 80259361 HAS SOPS 65362050 HAS SOUS 23101176 HAS SOUPS 22530668 WITH SCORE 2.2610927361E7
AT ITER 378 NEW BEST:: SOT 123206055 SOS 80206621 HAS SOPS 65315596 HAS SOUS 23089574 HAS SOUPS 22519355 WITH SCORE 2.2599561621E7
AT ITER 380 NEW BEST:: SOT 123213264 SOS 80212933 HAS SOPS 65330739 HAS SOUS 23072453 HAS SOUPS 22503862 WITH SCORE 2.2584074933E7
AT ITER 382 NEW BEST:: SOT 123195978 SOS 80196566 HAS SOPS 65303256 HAS SOUS 23015780 HAS SOUPS 22447189 WITH SCORE 2.2527385566E7
AT ITER 387 NEW BEST:: SOT 123153195 SOS 80149338 HAS SOPS 65249729 HAS SOUS 22976865 HAS SOUPS 22405474 WITH SCORE 2.2485623338E7
AT ITER 390 NEW BEST:: SOT 123150828 SOS 80149496 HAS SOPS 65250713 HAS SOUS 22963932 HAS SOUPS 22393178 WITH SCORE 2.2473327496E7
AT ITER 407 NEW BEST:: SOT 123140484 SOS 80113317 HAS SOPS 65217998 HAS SOUS 22946527 HAS SOUPS 22375773 WITH SCORE 2.2455886317E7
AT ITER 410 NEW BEST:: SOT 123143166 SOS 80120375 HAS SOPS 65221595 HAS SOUS 22943711 HAS SOUPS 22372923 WITH SCORE 2.2453043375E7
AT ITER 411 NEW BEST:: SOT 123213873 SOS 80269456 HAS SOPS 65376218 HAS SOUS 22934583 HAS SOUPS 22363795 WITH SCORE 2.2444064456E7
AT ITER 426 NEW BEST:: SOT 123214095 SOS 80270048 HAS SOPS 65377613 HAS SOUS 22933814 HAS SOUPS 22363026 WITH SCORE 2.2443296048E7
AT ITER 430 NEW BEST:: SOT 123214334 SOS 80272143 HAS SOPS 65378779 HAS SOUS 22933456 HAS SOUPS 22362668 WITH SCORE 2.2442940143E7
AT ITER 441 NEW BEST:: SOT 123210321 SOS 80280561 HAS SOPS 65377240 HAS SOUS 22906301 HAS SOUPS 22335406 WITH SCORE 2.2415686561E7
AT ITER 450 NEW BEST:: SOT 123205729 SOS 80280022 HAS SOPS 65373585 HAS SOUS 22891556 HAS SOUPS 22320661 WITH SCORE 2.2400941022E7
AT ITER 466 NEW BEST:: SOT 123204796 SOS 80276551 HAS SOPS 65374407 HAS SOUS 22871478 HAS SOUPS 22301167 WITH SCORE 2.2381443551E7
AT ITER 479 NEW BEST:: SOT 123199908 SOS 80271131 HAS SOPS 65367527 HAS SOUS 22860749 HAS SOUPS 22290438 WITH SCORE 2.2370709131E7
AT ITER 488 NEW BEST:: SOT 123223411 SOS 80322300 HAS SOPS 65441018 HAS SOUS 22852622 HAS SOUPS 22282609 WITH SCORE 2.23629313E7
AT ITER 517 NEW BEST:: SOT 123230756 SOS 80327987 HAS SOPS 65452888 HAS SOUS 22845840 HAS SOUPS 22276074 WITH SCORE 2.2356401987E7
AT ITER 536 NEW BEST:: SOT 123230734 SOS 80327678 HAS SOPS 65452180 HAS SOUS 22844865 HAS SOUPS 22275113 WITH SCORE 2.2355440678E7
AT ITER 540 NEW BEST:: SOT 123231285 SOS 80355679 HAS SOPS 65472195 HAS SOUS 22811665 HAS SOUPS 22241913 WITH SCORE 2.2322268679E7
AT ITER 542 NEW BEST:: SOT 123231545 SOS 80368039 HAS SOPS 65486299 HAS SOUS 22811546 HAS SOUPS 22241794 WITH SCORE 2.2322162039E7
AT ITER 554 NEW BEST:: SOT 123273005 SOS 80438956 HAS SOPS 65548434 HAS SOUS 22806119 HAS SOUPS 22236367 WITH SCORE 2.2316805956E7
AT ITER 562 NEW BEST:: SOT 123268645 SOS 80452945 HAS SOPS 65554691 HAS SOUS 22727151 HAS SOUPS 22157399 WITH SCORE 2.2237851945E7
AT ITER 589 NEW BEST:: SOT 123268501 SOS 80452639 HAS SOPS 65554286 HAS SOUS 22726340 HAS SOUPS 22156588 WITH SCORE 2.2237040639E7
AT ITER 592 NEW BEST:: SOT 123268635 SOS 80454635 HAS SOPS 65553556 HAS SOUS 22709966 HAS SOUPS 22140214 WITH SCORE 2.2220668635E7
AT ITER 595 NEW BEST:: SOT 123269530 SOS 80457978 HAS SOPS 65552948 HAS SOUS 22700571 HAS SOUPS 22130809 WITH SCORE 2.2211266978E7
AT ITER 605 NEW BEST:: SOT 123271464 SOS 80461007 HAS SOPS 65561677 HAS SOUS 22697717 HAS SOUPS 22127955 WITH SCORE 2.2208416007E7
AT ITER 608 NEW BEST:: SOT 123268431 SOS 80458016 HAS SOPS 65557981 HAS SOUS 22691209 HAS SOUPS 22121447 WITH SCORE 2.2201905016E7
AT ITER 609 NEW BEST:: SOT 123267777 SOS 80460532 HAS SOPS 65560971 HAS SOUS 22686839 HAS SOUPS 22117077 WITH SCORE 2.2197537532E7
AT ITER 612 NEW BEST:: SOT 123325768 SOS 80528889 HAS SOPS 65623522 HAS SOUS 22683618 HAS SOUPS 22114027 WITH SCORE 2.2194555889E7
AT ITER 621 NEW BEST:: SOT 123310051 SOS 80510891 HAS SOPS 65601036 HAS SOUS 22648719 HAS SOUPS 22079205 WITH SCORE 2.2159715891E7
AT ITER 630 NEW BEST:: SOT 123312534 SOS 80513617 HAS SOPS 65602577 HAS SOUS 22645699 HAS SOUPS 22076185 WITH SCORE 2.2156698617E7
AT ITER 632 NEW BEST:: SOT 123313521 SOS 80514547 HAS SOPS 65603488 HAS SOUS 22644748 HAS SOUPS 22075215 WITH SCORE 2.2155729547E7
AT ITER 641 NEW BEST:: SOT 123307200 SOS 80507993 HAS SOPS 65595579 HAS SOUS 22637140 HAS SOUPS 22067607 WITH SCORE 2.2148114993E7
AT ITER 645 NEW BEST:: SOT 123307171 SOS 80508084 HAS SOPS 65595585 HAS SOUS 22637056 HAS SOUPS 22067520 WITH SCORE 2.2148028084E7
AT ITER 667 NEW BEST:: SOT 123309731 SOS 80507994 HAS SOPS 65596995 HAS SOUS 22632288 HAS SOUPS 22062804 WITH SCORE 2.2143311994E7
AT ITER 678 NEW BEST:: SOT 123304193 SOS 80503256 HAS SOPS 65592413 HAS SOUS 22620820 HAS SOUPS 22051336 WITH SCORE 2.2131839256E7
AT ITER 686 NEW BEST:: SOT 123306044 SOS 80511450 HAS SOPS 65603209 HAS SOUS 22614541 HAS SOUPS 22045057 WITH SCORE 2.212556845E7
AT ITER 689 NEW BEST:: SOT 123286542 SOS 80487869 HAS SOPS 65579758 HAS SOUS 22594544 HAS SOUPS 22025060 WITH SCORE 2.2105547869E7
AT ITER 693 NEW BEST:: SOT 123274053 SOS 80470857 HAS SOPS 65566350 HAS SOUS 22581584 HAS SOUPS 22012222 WITH SCORE 2.2092692857E7
AT ITER 729 NEW BEST:: SOT 123250736 SOS 80436549 HAS SOPS 65539076 HAS SOUS 22543639 HAS SOUPS 21975559 WITH SCORE 2.2055995549E7
AT ITER 741 NEW BEST:: SOT 123252200 SOS 80442129 HAS SOPS 65543191 HAS SOUS 22540536 HAS SOUPS 21972456 WITH SCORE 2.2052898129E7
AT ITER 747 NEW BEST:: SOT 123249976 SOS 80408286 HAS SOPS 65516721 HAS SOUS 22536223 HAS SOUPS 21968143 WITH SCORE 2.2048551286E7
AT ITER 758 NEW BEST:: SOT 123274880 SOS 80480004 HAS SOPS 65574750 HAS SOUS 22495829 HAS SOUPS 21927322 WITH SCORE 2.2007802004E7
AT ITER 763 NEW BEST:: SOT 123281852 SOS 80488523 HAS SOPS 65586503 HAS SOUS 22487179 HAS SOUPS 21919014 WITH SCORE 2.1999502523E7
AT ITER 771 NEW BEST:: SOT 123292978 SOS 80519531 HAS SOPS 65610916 HAS SOUS 22479210 HAS SOUPS 21911045 WITH SCORE 2.1991564531E7
AT ITER 779 NEW BEST:: SOT 123281319 SOS 80509244 HAS SOPS 65593533 HAS SOUS 22451602 HAS SOUPS 21883353 WITH SCORE 2.1963862244E7
AT ITER 804 NEW BEST:: SOT 123251465 SOS 80479390 HAS SOPS 65563679 HAS SOUS 22419984 HAS SOUPS 21851735 WITH SCORE 2.193221439E7
AT ITER 815 NEW BEST:: SOT 123248429 SOS 80476601 HAS SOPS 65559470 HAS SOUS 22416818 HAS SOUPS 21848297 WITH SCORE 2.1928773601E7
AT ITER 824 NEW BEST:: SOT 123248255 SOS 80476968 HAS SOPS 65558864 HAS SOUS 22413561 HAS SOUPS 21845040 WITH SCORE 2.1925516968E7
AT ITER 827 NEW BEST:: SOT 123244959 SOS 80474676 HAS SOPS 65557496 HAS SOUS 22411338 HAS SOUPS 21842848 WITH SCORE 2.1923322676E7
AT ITER 830 NEW BEST:: SOT 123245445 SOS 80475188 HAS SOPS 65557942 HAS SOUS 22410553 HAS SOUPS 21842252 WITH SCORE 2.1922727188E7
AT ITER 849 NEW BEST:: SOT 123255546 SOS 80507533 HAS SOPS 65594379 HAS SOUS 22407236 HAS SOUPS 21838935 WITH SCORE 2.1919442533E7
AT ITER 852 NEW BEST:: SOT 123255052 SOS 80506327 HAS SOPS 65593685 HAS SOUS 22406146 HAS SOUPS 21837845 WITH SCORE 2.1918351327E7
AT ITER 872 NEW BEST:: SOT 123254928 SOS 80509755 HAS SOPS 65596153 HAS SOUS 22405592 HAS SOUPS 21837269 WITH SCORE 2.1917778755E7
AT ITER 896 NEW BEST:: SOT 123249282 SOS 80502811 HAS SOPS 65586489 HAS SOUS 22398116 HAS SOUPS 21829793 WITH SCORE 2.1910295811E7
AT ITER 897 NEW BEST:: SOT 123255531 SOS 80526079 HAS SOPS 65605079 HAS SOUS 22389994 HAS SOUPS 21821671 WITH SCORE 2.1902197079E7
AT ITER 899 NEW BEST:: SOT 123252231 SOS 80520989 HAS SOPS 65609989 HAS SOUS 22378527 HAS SOUPS 21810204 WITH SCORE 2.1890724989E7
AT ITER 900 NEW BEST:: SOT 123262967 SOS 80543959 HAS SOPS 65647106 HAS SOUS 22376354 HAS SOUPS 21808031 WITH SCORE 2.1888574959E7
AT ITER 921 NEW BEST:: SOT 123264938 SOS 80550278 HAS SOPS 65653577 HAS SOUS 22375525 HAS SOUPS 21807202 WITH SCORE 2.1887752278E7
AT ITER 923 NEW BEST:: SOT 123264588 SOS 80549906 HAS SOPS 65652299 HAS SOUS 22373867 HAS SOUPS 21805530 WITH SCORE 2.1886079906E7
AT ITER 954 NEW BEST:: SOT 123265386 SOS 80538158 HAS SOPS 65621275 HAS SOUS 22343107 HAS SOUPS 21774865 WITH SCORE 2.1855403158E7
AT ITER 964 NEW BEST:: SOT 123262958 SOS 80534585 HAS SOPS 65617473 HAS SOUS 22338389 HAS SOUPS 21770147 WITH SCORE 2.1850681585E7
AT ITER 972 NEW BEST:: SOT 123254140 SOS 80517445 HAS SOPS 65606800 HAS SOUS 22325078 HAS SOUPS 21756836 WITH SCORE 2.1837353445E7
AT ITER 987 NEW BEST:: SOT 123254051 SOS 80519376 HAS SOPS 65605191 HAS SOUS 22322293 HAS SOUPS 21754051 WITH SCORE 2.1834570376E7
AT ITER 1008 NEW BEST:: SOT 123225617 SOS 80489565 HAS SOPS 65613167 HAS SOUS 22314349 HAS SOUPS 21746107 WITH SCORE 2.1826596565E7
AT ITER 1013 NEW BEST:: SOT 123225617 SOS 80491837 HAS SOPS 65618191 HAS SOUS 22314261 HAS SOUPS 21746019 WITH SCORE 2.1826510837E7
AT ITER 1050 NEW BEST:: SOT 123180104 SOS 80446273 HAS SOPS 65570003 HAS SOUS 22272074 HAS SOUPS 21703448 WITH SCORE 2.1783894273E7
AT ITER 1055 NEW BEST:: SOT 123189783 SOS 80463406 HAS SOPS 65581403 HAS SOUS 22262631 HAS SOUPS 21694124 WITH SCORE 2.1774587406E7
AT ITER 1056 NEW BEST:: SOT 123185237 SOS 80468772 HAS SOPS 65584593 HAS SOUS 22245709 HAS SOUPS 21677202 WITH SCORE 2.1757670772E7
AT ITER 1060 NEW BEST:: SOT 123185087 SOS 80464282 HAS SOPS 65581121 HAS SOUS 22245573 HAS SOUPS 21677066 WITH SCORE 2.1757530282E7
AT ITER 1077 NEW BEST:: SOT 123189936 SOS 80465968 HAS SOPS 65581911 HAS SOUS 22237515 HAS SOUPS 21671416 WITH SCORE 2.1751881968E7
AT ITER 1079 NEW BEST:: SOT 123180940 SOS 80458964 HAS SOPS 65575516 HAS SOUS 22213886 HAS SOUPS 21648010 WITH SCORE 2.1728468964E7
AT ITER 1086 NEW BEST:: SOT 123172096 SOS 80452942 HAS SOPS 65566996 HAS SOUS 22194784 HAS SOUPS 21628908 WITH SCORE 2.1709360942E7
AT ITER 1097 NEW BEST:: SOT 123171902 SOS 80452718 HAS SOPS 65566696 HAS SOUS 22194310 HAS SOUPS 21628434 WITH SCORE 2.1708886718E7
AT ITER 1101 NEW BEST:: SOT 123163089 SOS 80443341 HAS SOPS 65553764 HAS SOUS 22177419 HAS SOUPS 21611499 WITH SCORE 2.1691942341E7
AT ITER 1103 NEW BEST:: SOT 123159425 SOS 80430753 HAS SOPS 65544648 HAS SOUS 22175068 HAS SOUPS 21609148 WITH SCORE 2.1689578753E7
AT ITER 1104 NEW BEST:: SOT 123162024 SOS 80432464 HAS SOPS 65548157 HAS SOUS 22168865 HAS SOUPS 21602945 WITH SCORE 2.1683377464E7
AT ITER 1108 NEW BEST:: SOT 123154376 SOS 80423598 HAS SOPS 65533727 HAS SOUS 22150508 HAS SOUPS 21584470 WITH SCORE 2.1664893598E7
AT ITER 1113 NEW BEST:: SOT 123112144 SOS 80352699 HAS SOPS 65449324 HAS SOUS 22092566 HAS SOUPS 21526528 WITH SCORE 2.1606880699E7
AT ITER 1114 NEW BEST:: SOT 123107652 SOS 80349707 HAS SOPS 65444612 HAS SOUS 22086559 HAS SOUPS 21520393 WITH SCORE 2.1600742707E7
AT ITER 1115 NEW BEST:: SOT 123102944 SOS 80346001 HAS SOPS 65440676 HAS SOUS 22082011 HAS SOUPS 21515845 WITH SCORE 2.1596191001E7
AT ITER 1119 NEW BEST:: SOT 123108070 SOS 80374742 HAS SOPS 65459701 HAS SOUS 22058576 HAS SOUPS 21492410 WITH SCORE 2.1572784742E7
AT ITER 1145 NEW BEST:: SOT 123108041 SOS 80395274 HAS SOPS 65495660 HAS SOUS 22058198 HAS SOUPS 21492032 WITH SCORE 2.1572427274E7
AT ITER 1153 NEW BEST:: SOT 123126955 SOS 80432233 HAS SOPS 65532978 HAS SOUS 22055425 HAS SOUPS 21489259 WITH SCORE 2.1569691233E7
AT ITER 1156 NEW BEST:: SOT 123117121 SOS 80417744 HAS SOPS 65519725 HAS SOUS 22040568 HAS SOUPS 21474402 WITH SCORE 2.1554819744E7
AT ITER 1175 NEW BEST:: SOT 123117132 SOS 80428439 HAS SOPS 65529348 HAS SOUS 22040279 HAS SOUPS 21474113 WITH SCORE 2.1554541439E7
AT ITER 1183 NEW BEST:: SOT 123108580 SOS 80410039 HAS SOPS 65508840 HAS SOUS 22031417 HAS SOUPS 21465251 WITH SCORE 2.1545661039E7
AT ITER 1187 NEW BEST:: SOT 123108795 SOS 80410340 HAS SOPS 65508733 HAS SOUS 22031364 HAS SOUPS 21465198 WITH SCORE 2.154560834E7
AT ITER 1197 NEW BEST:: SOT 123108791 SOS 80410352 HAS SOPS 65508745 HAS SOUS 22031344 HAS SOUPS 21465178 WITH SCORE 2.1545588352E7
AT ITER 1223 NEW BEST:: SOT 123099728 SOS 80397192 HAS SOPS 65500963 HAS SOUS 22005476 HAS SOUPS 21439326 WITH SCORE 2.1519723192E7
AT ITER 1226 NEW BEST:: SOT 123101760 SOS 80404257 HAS SOPS 65505004 HAS SOUS 22000172 HAS SOUPS 21434022 WITH SCORE 2.1514426257E7
AT ITER 1246 NEW BEST:: SOT 123101383 SOS 80403810 HAS SOPS 65505264 HAS SOUS 21999121 HAS SOUPS 21432971 WITH SCORE 2.151337481E7
AT ITER 1263 NEW BEST:: SOT 123125571 SOS 80441243 HAS SOPS 65519716 HAS SOUS 21989346 HAS SOUPS 21423139 WITH SCORE 2.1503580243E7
AT ITER 1264 NEW BEST:: SOT 123139613 SOS 80465505 HAS SOPS 65521020 HAS SOUS 21981635 HAS SOUPS 21415428 WITH SCORE 2.1495893505E7
AT ITER 1293 NEW BEST:: SOT 123138399 SOS 80466365 HAS SOPS 65521098 HAS SOUS 21979399 HAS SOUPS 21413192 WITH SCORE 2.1493658365E7
AT ITER 1299 NEW BEST:: SOT 123137710 SOS 80465521 HAS SOPS 65519889 HAS SOUS 21977032 HAS SOUPS 21410825 WITH SCORE 2.1491290521E7
AT ITER 1302 NEW BEST:: SOT 123129358 SOS 80459623 HAS SOPS 65507000 HAS SOUS 21944708 HAS SOUPS 21378460 WITH SCORE 2.1458919623E7
AT ITER 1303 NEW BEST:: SOT 123128965 SOS 80459834 HAS SOPS 65506946 HAS SOUS 21942995 HAS SOUPS 21376747 WITH SCORE 2.1457206834E7
AT ITER 1304 NEW BEST:: SOT 123111562 SOS 80442130 HAS SOPS 65489393 HAS SOUS 21920374 HAS SOUPS 21354133 WITH SCORE 2.143457513E7
AT ITER 1314 NEW BEST:: SOT 123114544 SOS 80450856 HAS SOPS 65488425 HAS SOUS 21906479 HAS SOUPS 21340173 WITH SCORE 2.1420623856E7
AT ITER 1325 NEW BEST:: SOT 123115166 SOS 80443378 HAS SOPS 65481491 HAS SOUS 21903917 HAS SOUPS 21337611 WITH SCORE 2.1418054378E7
AT ITER 1336 NEW BEST:: SOT 123108404 SOS 80430455 HAS SOPS 65471606 HAS SOUS 21895336 HAS SOUPS 21329030 WITH SCORE 2.1409460455E7
AT ITER 1365 NEW BEST:: SOT 123116456 SOS 80443755 HAS SOPS 65481086 HAS SOUS 21894357 HAS SOUPS 21328282 WITH SCORE 2.1408725755E7
AT ITER 1367 NEW BEST:: SOT 123113810 SOS 80441296 HAS SOPS 65477736 HAS SOUS 21894208 HAS SOUPS 21326746 WITH SCORE 2.1407187296E7
AT ITER 1370 NEW BEST:: SOT 123114301 SOS 80437628 HAS SOPS 65477788 HAS SOUS 21875263 HAS SOUPS 21307943 WITH SCORE 2.1388380628E7
AT ITER 1375 NEW BEST:: SOT 123113429 SOS 80438654 HAS SOPS 65481125 HAS SOUS 21870615 HAS SOUPS 21303249 WITH SCORE 2.1383687654E7
AT ITER 1377 NEW BEST:: SOT 123110366 SOS 80434349 HAS SOPS 65474755 HAS SOUS 21868306 HAS SOUPS 21300940 WITH SCORE 2.1381374349E7
AT ITER 1378 NEW BEST:: SOT 123099664 SOS 80422918 HAS SOPS 65455555 HAS SOUS 21839062 HAS SOUPS 21271432 WITH SCORE 2.1351854918E7
AT ITER 1392 NEW BEST:: SOT 123099592 SOS 80422846 HAS SOPS 65455483 HAS SOUS 21838990 HAS SOUPS 21271360 WITH SCORE 2.1351782846E7
AT ITER 1393 NEW BEST:: SOT 123102277 SOS 80434508 HAS SOPS 65459002 HAS SOUS 21826798 HAS SOUPS 21259168 WITH SCORE 2.1339602508E7
AT ITER 1395 NEW BEST:: SOT 123105153 SOS 80449358 HAS SOPS 65499744 HAS SOUS 21814917 HAS SOUPS 21247564 WITH SCORE 2.1328013358E7
AT ITER 1410 NEW BEST:: SOT 123105081 SOS 80454621 HAS SOPS 65504617 HAS SOUS 21814027 HAS SOUPS 21246674 WITH SCORE 2.1327128621E7
AT ITER 1420 NEW BEST:: SOT 123092901 SOS 80443649 HAS SOPS 65489772 HAS SOUS 21787359 HAS SOUPS 21220082 WITH SCORE 2.1300525649E7
AT ITER 1427 NEW BEST:: SOT 123093381 SOS 80475475 HAS SOPS 65549451 HAS SOUS 21787106 HAS SOUPS 21220049 WITH SCORE 2.1300524475E7
AT ITER 1430 NEW BEST:: SOT 123093109 SOS 80475182 HAS SOPS 65549124 HAS SOUS 21786649 HAS SOUPS 21219590 WITH SCORE 2.1300065182E7
AT ITER 1436 NEW BEST:: SOT 123071866 SOS 80438229 HAS SOPS 65517282 HAS SOUS 21778484 HAS SOUPS 21211425 WITH SCORE 2.1291863229E7
AT ITER 1437 NEW BEST:: SOT 123058824 SOS 80422397 HAS SOPS 65495736 HAS SOUS 21741148 HAS SOUPS 21172404 WITH SCORE 2.1252826397E7
AT ITER 1439 NEW BEST:: SOT 123057996 SOS 80414065 HAS SOPS 65498162 HAS SOUS 21740787 HAS SOUPS 21172043 WITH SCORE 2.1252457065E7
AT ITER 1441 NEW BEST:: SOT 123083015 SOS 80457004 HAS SOPS 65534974 HAS SOUS 21731993 HAS SOUPS 21162810 WITH SCORE 2.1243267004E7
AT ITER 1447 NEW BEST:: SOT 123094470 SOS 80478052 HAS SOPS 65574260 HAS SOUS 21717054 HAS SOUPS 21147871 WITH SCORE 2.1228349052E7
AT ITER 1450 NEW BEST:: SOT 123098029 SOS 80470691 HAS SOPS 65565275 HAS SOUS 21690732 HAS SOUPS 21123164 WITH SCORE 2.1203634691E7
AT ITER 1457 NEW BEST:: SOT 123098029 SOS 80472947 HAS SOPS 65568715 HAS SOUS 21690702 HAS SOUPS 21123134 WITH SCORE 2.1203606947E7
AT ITER 1459 NEW BEST:: SOT 123097704 SOS 80472478 HAS SOPS 65568192 HAS SOUS 21690209 HAS SOUPS 21122639 WITH SCORE 2.1203111478E7
AT ITER 1465 NEW BEST:: SOT 123096373 SOS 80471161 HAS SOPS 65566763 HAS SOUS 21687100 HAS SOUPS 21119516 WITH SCORE 2.1199987161E7
AT ITER 1470 NEW BEST:: SOT 123096330 SOS 80491259 HAS SOPS 65612693 HAS SOUS 21685086 HAS SOUPS 21117502 WITH SCORE 2.1197993259E7
AT ITER 1482 NEW BEST:: SOT 123095342 SOS 80490015 HAS SOPS 65611257 HAS SOUS 21683561 HAS SOUPS 21115981 WITH SCORE 2.1196471015E7
AT ITER 1492 NEW BEST:: SOT 123100170 SOS 80499090 HAS SOPS 65624287 HAS SOUS 21683031 HAS SOUPS 21115610 WITH SCORE 2.119610909E7
AT ITER 1511 NEW BEST:: SOT 123100396 SOS 80524489 HAS SOPS 65644529 HAS SOUS 21682804 HAS SOUPS 21115383 WITH SCORE 2.1195907489E7
AT ITER 1521 NEW BEST:: SOT 123080102 SOS 80509920 HAS SOPS 65613732 HAS SOUS 21626765 HAS SOUPS 21059344 WITH SCORE 2.113985392E7
AT ITER 1528 NEW BEST:: SOT 123071377 SOS 80482450 HAS SOPS 65596799 HAS SOUS 21624010 HAS SOUPS 21056589 WITH SCORE 2.113707145E7
AT ITER 1536 NEW BEST:: SOT 123071065 SOS 80481926 HAS SOPS 65596369 HAS SOUS 21623626 HAS SOUPS 21056205 WITH SCORE 2.1136686926E7
AT ITER 1545 NEW BEST:: SOT 123080697 SOS 80488134 HAS SOPS 65603623 HAS SOUS 21619699 HAS SOUPS 21052389 WITH SCORE 2.1132877134E7
AT ITER 1558 NEW BEST:: SOT 123080440 SOS 80485699 HAS SOPS 65600796 HAS SOUS 21619182 HAS SOUPS 21051858 WITH SCORE 2.1132343699E7
AT ITER 1563 NEW BEST:: SOT 123069950 SOS 80488007 HAS SOPS 65605858 HAS SOUS 21617630 HAS SOUPS 21050306 WITH SCORE 2.1130794007E7
AT ITER 1564 NEW BEST:: SOT 123070395 SOS 80488406 HAS SOPS 65605660 HAS SOUS 21617314 HAS SOUPS 21049990 WITH SCORE 2.1130478406E7
AT ITER 1569 NEW BEST:: SOT 123067973 SOS 80481264 HAS SOPS 65598717 HAS SOUS 21603319 HAS SOUPS 21036020 WITH SCORE 2.1116501264E7
AT ITER 1600 NEW BEST:: SOT 123064740 SOS 80476620 HAS SOPS 65594119 HAS SOUS 21599082 HAS SOUPS 21031785 WITH SCORE 2.111226162E7
AT ITER 1620 NEW BEST:: SOT 123073077 SOS 80495608 HAS SOPS 65608864 HAS SOUS 21593333 HAS SOUPS 21025913 WITH SCORE 2.1106408608E7
AT ITER 1635 NEW BEST:: SOT 123059631 SOS 80497219 HAS SOPS 65637470 HAS SOUS 21592314 HAS SOUPS 21025113 WITH SCORE 2.1105610219E7
AT ITER 1640 NEW BEST:: SOT 123046781 SOS 80488900 HAS SOPS 65637455 HAS SOUS 21568706 HAS SOUPS 21001727 WITH SCORE 2.10822159E7
AT ITER 1643 NEW BEST:: SOT 123035743 SOS 80435194 HAS SOPS 65589730 HAS SOUS 21545847 HAS SOUPS 20978868 WITH SCORE 2.1059303194E7
AT ITER 1646 NEW BEST:: SOT 123034301 SOS 80439892 HAS SOPS 65595134 HAS SOUS 21534958 HAS SOUPS 20967979 WITH SCORE 2.1048418892E7
AT ITER 1656 NEW BEST:: SOT 123026669 SOS 80432625 HAS SOPS 65591515 HAS SOUS 21527348 HAS SOUPS 20960369 WITH SCORE 2.1040801625E7
AT ITER 1683 NEW BEST:: SOT 123020405 SOS 80421582 HAS SOPS 65581459 HAS SOUS 21521493 HAS SOUPS 20954514 WITH SCORE 2.1034935582E7
AT ITER 1684 NEW BEST:: SOT 123020883 SOS 80425566 HAS SOPS 65582411 HAS SOUS 21513819 HAS SOUPS 20946840 WITH SCORE 2.1027265566E7
AT ITER 1685 NEW BEST:: SOT 123021604 SOS 80429689 HAS SOPS 65583307 HAS SOUS 21511129 HAS SOUPS 20944150 WITH SCORE 2.1024579689E7
AT ITER 1691 NEW BEST:: SOT 123011324 SOS 80421988 HAS SOPS 65572838 HAS SOUS 21484334 HAS SOUPS 20917259 WITH SCORE 2.0997680988E7
AT ITER 1692 NEW BEST:: SOT 123011310 SOS 80400503 HAS SOPS 65566095 HAS SOUS 21481835 HAS SOUPS 20914760 WITH SCORE 2.0995160503E7
AT ITER 1700 NEW BEST:: SOT 123010164 SOS 80401847 HAS SOPS 65556110 HAS SOUS 21470364 HAS SOUPS 20903315 WITH SCORE 2.0983716847E7
AT ITER 1703 NEW BEST:: SOT 123028882 SOS 80430347 HAS SOPS 65589600 HAS SOUS 21463104 HAS SOUPS 20897565 WITH SCORE 2.0977995347E7
AT ITER 1706 NEW BEST:: SOT 123029904 SOS 80428825 HAS SOPS 65588386 HAS SOUS 21462846 HAS SOUPS 20897393 WITH SCORE 2.0977821825E7
AT ITER 1707 NEW BEST:: SOT 123027322 SOS 80421397 HAS SOPS 65581899 HAS SOUS 21441514 HAS SOUPS 20876258 WITH SCORE 2.0956679397E7
AT ITER 1714 NEW BEST:: SOT 123030909 SOS 80428055 HAS SOPS 65582981 HAS SOUS 21441327 HAS SOUPS 20876071 WITH SCORE 2.0956499055E7
AT ITER 1765 NEW BEST:: SOT 123056529 SOS 80503758 HAS SOPS 65641378 HAS SOUS 21431321 HAS SOUPS 20866065 WITH SCORE 2.0946568758E7
AT ITER 1771 NEW BEST:: SOT 123056176 SOS 80500402 HAS SOPS 65643648 HAS SOUS 21427596 HAS SOUPS 20862340 WITH SCORE 2.0942840402E7
AT ITER 1775 NEW BEST:: SOT 123055940 SOS 80500166 HAS SOPS 65644404 HAS SOUS 21423904 HAS SOUPS 20859608 WITH SCORE 2.0940108166E7
AT ITER 1778 NEW BEST:: SOT 123052145 SOS 80496249 HAS SOPS 65641444 HAS SOUS 21422060 HAS SOUPS 20857823 WITH SCORE 2.0938319249E7
AT ITER 1816 NEW BEST:: SOT 123080286 SOS 80560258 HAS SOPS 65693073 HAS SOUS 21403811 HAS SOUPS 20839574 WITH SCORE 2.0920134258E7
AT ITER 1827 NEW BEST:: SOT 123079323 SOS 80559211 HAS SOPS 65691642 HAS SOUS 21401694 HAS SOUPS 20837457 WITH SCORE 2.0918016211E7
AT ITER 1833 NEW BEST:: SOT 123081235 SOS 80557491 HAS SOPS 65678736 HAS SOUS 21385605 HAS SOUPS 20821368 WITH SCORE 2.0901925491E7
AT ITER 1837 NEW BEST:: SOT 123065405 SOS 80536635 HAS SOPS 65655633 HAS SOUS 21362129 HAS SOUPS 20797986 WITH SCORE 2.0878522635E7
AT ITER 1865 NEW BEST:: SOT 123063712 SOS 80534942 HAS SOPS 65654207 HAS SOUS 21358510 HAS SOUPS 20794388 WITH SCORE 2.0874922942E7
AT ITER 1906 NEW BEST:: SOT 123060657 SOS 80531287 HAS SOPS 65650221 HAS SOUS 21355081 HAS SOUPS 20790959 WITH SCORE 2.0871490287E7
AT ITER 1914 NEW BEST:: SOT 123061360 SOS 80523243 HAS SOPS 65641732 HAS SOUS 21353712 HAS SOUPS 20789590 WITH SCORE 2.0870113243E7
AT ITER 1927 NEW BEST:: SOT 123032624 SOS 80494195 HAS SOPS 65606911 HAS SOUS 21314587 HAS SOUPS 20747000 WITH SCORE 2.0827494195E7
AT ITER 1929 NEW BEST:: SOT 123026810 SOS 80488251 HAS SOPS 65596937 HAS SOUS 21304070 HAS SOUPS 20732866 WITH SCORE 2.0813354251E7
AT ITER 1931 NEW BEST:: SOT 123026808 SOS 80488368 HAS SOPS 65596968 HAS SOUS 21303933 HAS SOUPS 20732729 WITH SCORE 2.0813217368E7
AT ITER 1933 NEW BEST:: SOT 123027917 SOS 80486288 HAS SOPS 65585659 HAS SOUS 21301408 HAS SOUPS 20730204 WITH SCORE 2.0810690288E7
AT ITER 1938 NEW BEST:: SOT 123025596 SOS 80466647 HAS SOPS 65582971 HAS SOUS 21265350 HAS SOUPS 20694146 WITH SCORE 2.0774612647E7
AT ITER 1942 NEW BEST:: SOT 123014997 SOS 80454205 HAS SOPS 65576612 HAS SOUS 21242639 HAS SOUPS 20671886 WITH SCORE 2.0752340205E7
AT ITER 1944 NEW BEST:: SOT 123013969 SOS 80454386 HAS SOPS 65574372 HAS SOUS 21237296 HAS SOUPS 20666543 WITH SCORE 2.0746997386E7
AT ITER 1968 NEW BEST:: SOT 123014069 SOS 80475636 HAS SOPS 65614024 HAS SOUS 21236754 HAS SOUPS 20666001 WITH SCORE 2.0746476636E7
AT ITER 1974 NEW BEST:: SOT 123014069 SOS 80481613 HAS SOPS 65618815 HAS SOUS 21234382 HAS SOUPS 20663629 WITH SCORE 2.0744110613E7
AT ITER 2007 NEW BEST:: SOT 123024624 SOS 80504501 HAS SOPS 65636022 HAS SOUS 21226692 HAS SOUPS 20655939 WITH SCORE 2.0736443501E7
AT ITER 2009 NEW BEST:: SOT 123016908 SOS 80502688 HAS SOPS 65625891 HAS SOUS 21223276 HAS SOUPS 20652544 WITH SCORE 2.0733046688E7
AT ITER 2012 NEW BEST:: SOT 123013562 SOS 80494641 HAS SOPS 65617882 HAS SOUS 21222966 HAS SOUPS 20652234 WITH SCORE 2.0732728641E7
AT ITER 2014 NEW BEST:: SOT 123012829 SOS 80509254 HAS SOPS 65657252 HAS SOUS 21221132 HAS SOUPS 20650400 WITH SCORE 2.0730909254E7
AT ITER 2016 NEW BEST:: SOT 123012829 SOS 80507046 HAS SOPS 65666756 HAS SOUS 21221073 HAS SOUPS 20650341 WITH SCORE 2.0730848046E7
AT ITER 2030 NEW BEST:: SOT 123021216 SOS 80522127 HAS SOPS 65672586 HAS SOUS 21220532 HAS SOUPS 20649689 WITH SCORE 2.0730211127E7
AT ITER 2035 NEW BEST:: SOT 123015244 SOS 80513937 HAS SOPS 65663752 HAS SOUS 21209130 HAS SOUPS 20637880 WITH SCORE 2.0718393937E7
AT ITER 2036 NEW BEST:: SOT 123011865 SOS 80510094 HAS SOPS 65659125 HAS SOUS 21202855 HAS SOUPS 20631621 WITH SCORE 2.0712131094E7
AT ITER 2041 NEW BEST:: SOT 122960405 SOS 80441269 HAS SOPS 65597069 HAS SOUS 21178987 HAS SOUPS 20607801 WITH SCORE 2.0688242269E7
AT ITER 2044 NEW BEST:: SOT 122966723 SOS 80448285 HAS SOPS 65593962 HAS SOUS 21167271 HAS SOUPS 20595913 WITH SCORE 2.0676361285E7
AT ITER 2064 NEW BEST:: SOT 122965836 SOS 80447148 HAS SOPS 65592775 HAS SOUS 21166194 HAS SOUPS 20594836 WITH SCORE 2.0675283148E7
AT ITER 2069 NEW BEST:: SOT 122944224 SOS 80424628 HAS SOPS 65569407 HAS SOUS 21159060 HAS SOUPS 20587702 WITH SCORE 2.0668126628E7
AT ITER 2079 NEW BEST:: SOT 122955824 SOS 80443952 HAS SOPS 65593741 HAS SOUS 21151280 HAS SOUPS 20579978 WITH SCORE 2.0660421952E7
AT ITER 2113 NEW BEST:: SOT 122953793 SOS 80441343 HAS SOPS 65589822 HAS SOUS 21146432 HAS SOUPS 20575178 WITH SCORE 2.0655619343E7
AT ITER 2122 NEW BEST:: SOT 122961278 SOS 80457518 HAS SOPS 65620103 HAS SOUS 21133380 HAS SOUPS 20562126 WITH SCORE 2.0642583518E7
AT ITER 2127 NEW BEST:: SOT 122982170 SOS 80501529 HAS SOPS 65671980 HAS SOUS 21121678 HAS SOUPS 20550688 WITH SCORE 2.0631189529E7
AT ITER 2134 NEW BEST:: SOT 122975627 SOS 80489957 HAS SOPS 65662921 HAS SOUS 21119905 HAS SOUPS 20548924 WITH SCORE 2.0629413957E7
AT ITER 2139 NEW BEST:: SOT 122971692 SOS 80487583 HAS SOPS 65659336 HAS SOUS 21104249 HAS SOUPS 20533268 WITH SCORE 2.0613755583E7
AT ITER 2144 NEW BEST:: SOT 122927899 SOS 80437921 HAS SOPS 65601048 HAS SOUS 20992992 HAS SOUPS 20422126 WITH SCORE 2.0502563921E7
AT ITER 2150 NEW BEST:: SOT 122926807 SOS 80436292 HAS SOPS 65599384 HAS SOUS 20990245 HAS SOUPS 20419379 WITH SCORE 2.0499815292E7
AT ITER 2155 NEW BEST:: SOT 122910355 SOS 80414496 HAS SOPS 65583276 HAS SOUS 20970619 HAS SOUPS 20399876 WITH SCORE 2.0480290496E7
AT ITER 2163 NEW BEST:: SOT 122907394 SOS 80407769 HAS SOPS 65583532 HAS SOUS 20963199 HAS SOUPS 20394226 WITH SCORE 2.0474633769E7
AT ITER 2166 NEW BEST:: SOT 122892825 SOS 80392731 HAS SOPS 65567763 HAS SOUS 20956934 HAS SOUPS 20387865 WITH SCORE 2.0468257731E7
AT ITER 2178 NEW BEST:: SOT 122891240 SOS 80390525 HAS SOPS 65565054 HAS SOUS 20954408 HAS SOUPS 20385339 WITH SCORE 2.0465729525E7
AT ITER 2180 NEW BEST:: SOT 122890452 SOS 80389787 HAS SOPS 65565750 HAS SOUS 20951786 HAS SOUPS 20382717 WITH SCORE 2.0463106787E7
AT ITER 2184 NEW BEST:: SOT 122884336 SOS 80383890 HAS SOPS 65556890 HAS SOUS 20938613 HAS SOUPS 20369544 WITH SCORE 2.044992789E7
AT ITER 2222 NEW BEST:: SOT 122900591 SOS 80437610 HAS SOPS 65612728 HAS SOUS 20932691 HAS SOUPS 20363622 WITH SCORE 2.044405961E7
AT ITER 2227 NEW BEST:: SOT 122900614 SOS 80443727 HAS SOPS 65619332 HAS SOUS 20932648 HAS SOUPS 20363579 WITH SCORE 2.0444022727E7
AT ITER 2229 NEW BEST:: SOT 122900399 SOS 80448868 HAS SOPS 65620431 HAS SOUS 20925541 HAS SOUPS 20356472 WITH SCORE 2.0436920868E7
AT ITER 2236 NEW BEST:: SOT 122898437 SOS 80447898 HAS SOPS 65616909 HAS SOUS 20920712 HAS SOUPS 20351801 WITH SCORE 2.0432248898E7
AT ITER 2237 NEW BEST:: SOT 122851138 SOS 80378982 HAS SOPS 65534117 HAS SOUS 20846047 HAS SOUPS 20277136 WITH SCORE 2.0357514982E7
AT ITER 2246 NEW BEST:: SOT 122848869 SOS 80375967 HAS SOPS 65530815 HAS SOUS 20843201 HAS SOUPS 20274290 WITH SCORE 2.0354665967E7
AT ITER 2247 NEW BEST:: SOT 122852485 SOS 80369119 HAS SOPS 65528327 HAS SOUS 20836425 HAS SOUPS 20267656 WITH SCORE 2.0348025119E7
AT ITER 2258 NEW BEST:: SOT 122858984 SOS 80398609 HAS SOPS 65543112 HAS SOUS 20819086 HAS SOUPS 20250317 WITH SCORE 2.0330715609E7
AT ITER 2259 NEW BEST:: SOT 122895608 SOS 80451160 HAS SOPS 65588302 HAS SOUS 20808639 HAS SOUPS 20239870 WITH SCORE 2.032032116E7
AT ITER 2276 NEW BEST:: SOT 122895116 SOS 80450585 HAS SOPS 65588005 HAS SOUS 20807226 HAS SOUPS 20238479 WITH SCORE 2.0318929585E7
AT ITER 2294 NEW BEST:: SOT 122894377 SOS 80444532 HAS SOPS 65607101 HAS SOUS 20806253 HAS SOUPS 20237506 WITH SCORE 2.0317950532E7
AT ITER 2302 NEW BEST:: SOT 122891638 SOS 80441868 HAS SOPS 65606062 HAS SOUS 20802664 HAS SOUPS 20233942 WITH SCORE 2.0314383868E7
AT ITER 2327 NEW BEST:: SOT 122890534 SOS 80440565 HAS SOPS 65604584 HAS SOUS 20800770 HAS SOUPS 20232053 WITH SCORE 2.0312493565E7
AT ITER 2330 NEW BEST:: SOT 122857117 SOS 80390509 HAS SOPS 65561979 HAS SOUS 20779052 HAS SOUPS 20210335 WITH SCORE 2.0290725509E7
AT ITER 2338 NEW BEST:: SOT 122856167 SOS 80390148 HAS SOPS 65562270 HAS SOUS 20778210 HAS SOUPS 20209493 WITH SCORE 2.0289883148E7
AT ITER 2374 NEW BEST:: SOT 122850185 SOS 80385807 HAS SOPS 65549101 HAS SOUS 20763271 HAS SOUPS 20194554 WITH SCORE 2.0274939807E7
AT ITER 2379 NEW BEST:: SOT 122871424 SOS 80435035 HAS SOPS 65593299 HAS SOUS 20762207 HAS SOUPS 20193490 WITH SCORE 2.0273925035E7
AT ITER 2392 NEW BEST:: SOT 122878412 SOS 80442531 HAS SOPS 65601902 HAS SOUS 20737022 HAS SOUPS 20167713 WITH SCORE 2.0248155531E7
AT ITER 2393 NEW BEST:: SOT 122872299 SOS 80433161 HAS SOPS 65590742 HAS SOUS 20726014 HAS SOUPS 20156705 WITH SCORE 2.0237138161E7
AT ITER 2407 NEW BEST:: SOT 122874115 SOS 80436187 HAS SOPS 65592897 HAS SOUS 20725920 HAS SOUPS 20156611 WITH SCORE 2.0237047187E7
AT ITER 2412 NEW BEST:: SOT 122863970 SOS 80423122 HAS SOPS 65582441 HAS SOUS 20713176 HAS SOUPS 20143513 WITH SCORE 2.0223936122E7
AT ITER 2413 NEW BEST:: SOT 122895609 SOS 80501183 HAS SOPS 65660479 HAS SOUS 20681977 HAS SOUPS 20112314 WITH SCORE 2.0192815183E7
AT ITER 2415 NEW BEST:: SOT 122881975 SOS 80486831 HAS SOPS 65642017 HAS SOUS 20652455 HAS SOUPS 20082725 WITH SCORE 2.0163211831E7
AT ITER 2423 NEW BEST:: SOT 122882134 SOS 80491074 HAS SOPS 65650852 HAS SOUS 20652278 HAS SOUPS 20082548 WITH SCORE 2.0163039074E7
AT ITER 2439 NEW BEST:: SOT 122943719 SOS 80597717 HAS SOPS 65741243 HAS SOUS 20649639 HAS SOUPS 20079653 WITH SCORE 2.0160250717E7
AT ITER 2443 NEW BEST:: SOT 122942583 SOS 80595867 HAS SOPS 65742211 HAS SOUS 20644823 HAS SOUPS 20074837 WITH SCORE 2.0155432867E7
AT ITER 2444 NEW BEST:: SOT 122941546 SOS 80595064 HAS SOPS 65740805 HAS SOUS 20643037 HAS SOUPS 20073042 WITH SCORE 2.0153637064E7
AT ITER 2452 NEW BEST:: SOT 122951747 SOS 80613022 HAS SOPS 65755662 HAS SOUS 20633411 HAS SOUPS 20063249 WITH SCORE 2.0143862022E7
AT ITER 2460 NEW BEST:: SOT 122950436 SOS 80612029 HAS SOPS 65755400 HAS SOUS 20631456 HAS SOUPS 20061689 WITH SCORE 2.0142301029E7
AT ITER 2473 NEW BEST:: SOT 122965278 SOS 80638248 HAS SOPS 65778400 HAS SOUS 20627690 HAS SOUPS 20057746 WITH SCORE 2.0138384248E7

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

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