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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 2.9K Apr 12 07:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 07:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 11 08:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:47 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.8K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 14:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 9 21:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 9 21:14 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-7-CTLCardinality-00
FORMULA_NAME RERS17pb115-PT-7-CTLCardinality-01
FORMULA_NAME RERS17pb115-PT-7-CTLCardinality-02
FORMULA_NAME RERS17pb115-PT-7-CTLCardinality-03
FORMULA_NAME RERS17pb115-PT-7-CTLCardinality-04
FORMULA_NAME RERS17pb115-PT-7-CTLCardinality-05
FORMULA_NAME RERS17pb115-PT-7-CTLCardinality-06
FORMULA_NAME RERS17pb115-PT-7-CTLCardinality-07
FORMULA_NAME RERS17pb115-PT-7-CTLCardinality-08
FORMULA_NAME RERS17pb115-PT-7-CTLCardinality-09
FORMULA_NAME RERS17pb115-PT-7-CTLCardinality-10
FORMULA_NAME RERS17pb115-PT-7-CTLCardinality-11
FORMULA_NAME RERS17pb115-PT-7-CTLCardinality-12
FORMULA_NAME RERS17pb115-PT-7-CTLCardinality-13
FORMULA_NAME RERS17pb115-PT-7-CTLCardinality-14
FORMULA_NAME RERS17pb115-PT-7-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589777708001

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 7
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 8 NEW BEST:: SOT 123444837 SOS 80236327 HAS SOPS 65215780 HAS SOUS 24074679 HAS SOUPS 23501905 WITH SCORE 2.3582141327E7
AT ITER 16 NEW BEST:: SOT 123403376 SOS 80184165 HAS SOPS 65142439 HAS SOUS 24030833 HAS SOUPS 23458161 WITH SCORE 2.3538345165E7
AT ITER 18 NEW BEST:: SOT 123397411 SOS 80182843 HAS SOPS 65145664 HAS SOUS 23993902 HAS SOUPS 23421228 WITH SCORE 2.3501410843E7
AT ITER 34 NEW BEST:: SOT 123406802 SOS 80214989 HAS SOPS 65176909 HAS SOUS 23974322 HAS SOUPS 23401648 WITH SCORE 2.3481862989E7
AT ITER 42 NEW BEST:: SOT 123406370 SOS 80214209 HAS SOPS 65176177 HAS SOUS 23973793 HAS SOUPS 23401131 WITH SCORE 2.3481345209E7
AT ITER 44 NEW BEST:: SOT 123378386 SOS 80163084 HAS SOPS 65144096 HAS SOUS 23952011 HAS SOUPS 23380253 WITH SCORE 2.3460416084E7
AT ITER 55 NEW BEST:: SOT 123437375 SOS 80276447 HAS SOPS 65235926 HAS SOUS 23953439 HAS SOUPS 23377921 WITH SCORE 2.3458197447E7
AT ITER 60 NEW BEST:: SOT 123426990 SOS 80265705 HAS SOPS 65250428 HAS SOUS 23932864 HAS SOUPS 23357346 WITH SCORE 2.3437611705E7
AT ITER 65 NEW BEST:: SOT 123442825 SOS 80327904 HAS SOPS 65306325 HAS SOUS 23925177 HAS SOUPS 23349659 WITH SCORE 2.3429986904E7
AT ITER 74 NEW BEST:: SOT 123439494 SOS 80324165 HAS SOPS 65301684 HAS SOUS 23919085 HAS SOUPS 23343567 WITH SCORE 2.3423891165E7
AT ITER 78 NEW BEST:: SOT 123426544 SOS 80311215 HAS SOPS 65288718 HAS SOUS 23905495 HAS SOUPS 23329977 WITH SCORE 2.3410288215E7
AT ITER 82 NEW BEST:: SOT 123427979 SOS 80316014 HAS SOPS 65290937 HAS SOUS 23903100 HAS SOUPS 23327582 WITH SCORE 2.3407898014E7
AT ITER 83 NEW BEST:: SOT 123438280 SOS 80306512 HAS SOPS 65280224 HAS SOUS 23899492 HAS SOUPS 23323974 WITH SCORE 2.3404280512E7
AT ITER 92 NEW BEST:: SOT 123437989 SOS 80308609 HAS SOPS 65279609 HAS SOUS 23891967 HAS SOUPS 23316449 WITH SCORE 2.3396757609E7
AT ITER 102 NEW BEST:: SOT 123432981 SOS 80302813 HAS SOPS 65272822 HAS SOUS 23879273 HAS SOUPS 23303755 WITH SCORE 2.3384057813E7
AT ITER 111 NEW BEST:: SOT 123433095 SOS 80302502 HAS SOPS 65275920 HAS SOUS 23871745 HAS SOUPS 23297828 WITH SCORE 2.3378130502E7
AT ITER 113 NEW BEST:: SOT 123463129 SOS 80379158 HAS SOPS 65358785 HAS SOUS 23858523 HAS SOUPS 23284606 WITH SCORE 2.3364985158E7
AT ITER 123 NEW BEST:: SOT 123462147 SOS 80378063 HAS SOPS 65357720 HAS SOUS 23857970 HAS SOUPS 23284053 WITH SCORE 2.3364431063E7
AT ITER 127 NEW BEST:: SOT 123462860 SOS 80379301 HAS SOPS 65367519 HAS SOUS 23856258 HAS SOUPS 23282967 WITH SCORE 2.3363346301E7
AT ITER 128 NEW BEST:: SOT 123455491 SOS 80372445 HAS SOPS 65359491 HAS SOUS 23845008 HAS SOUPS 23271717 WITH SCORE 2.3352089445E7
AT ITER 132 NEW BEST:: SOT 123455490 SOS 80372452 HAS SOPS 65359563 HAS SOUS 23845007 HAS SOUPS 23271716 WITH SCORE 2.3352088452E7
AT ITER 138 NEW BEST:: SOT 123462565 SOS 80376770 HAS SOPS 65366317 HAS SOUS 23841406 HAS SOUPS 23268978 WITH SCORE 2.334935477E7
AT ITER 141 NEW BEST:: SOT 123446838 SOS 80364504 HAS SOPS 65346886 HAS SOUS 23806837 HAS SOUPS 23234409 WITH SCORE 2.3314773504E7
AT ITER 142 NEW BEST:: SOT 123446668 SOS 80364483 HAS SOPS 65346720 HAS SOUS 23806598 HAS SOUPS 23234170 WITH SCORE 2.3314534483E7
AT ITER 169 NEW BEST:: SOT 123438749 SOS 80361943 HAS SOPS 65336823 HAS SOUS 23781771 HAS SOUPS 23209343 WITH SCORE 2.3289704943E7
AT ITER 174 NEW BEST:: SOT 123411143 SOS 80334734 HAS SOPS 65309794 HAS SOUS 23702584 HAS SOUPS 23130257 WITH SCORE 2.3210591734E7
AT ITER 217 NEW BEST:: SOT 123448708 SOS 80426480 HAS SOPS 65394862 HAS SOUS 23693331 HAS SOUPS 23121004 WITH SCORE 2.320143048E7
AT ITER 228 NEW BEST:: SOT 123447457 SOS 80423598 HAS SOPS 65397040 HAS SOUS 23685742 HAS SOUPS 23113542 WITH SCORE 2.3193965598E7
AT ITER 233 NEW BEST:: SOT 123447457 SOS 80435886 HAS SOPS 65420560 HAS SOUS 23685584 HAS SOUPS 23113384 WITH SCORE 2.3193819886E7
AT ITER 245 NEW BEST:: SOT 123382171 SOS 80366059 HAS SOPS 65340898 HAS SOUS 23603584 HAS SOUPS 23030040 WITH SCORE 2.3110406059E7
AT ITER 247 NEW BEST:: SOT 123382434 SOS 80384559 HAS SOPS 65360842 HAS SOUS 23603441 HAS SOUPS 23029897 WITH SCORE 2.3110281559E7
AT ITER 250 NEW BEST:: SOT 123258725 SOS 80256387 HAS SOPS 65234200 HAS SOUS 23423038 HAS SOUPS 22849810 WITH SCORE 2.2930066387E7
AT ITER 256 NEW BEST:: SOT 123262892 SOS 80268768 HAS SOPS 65244416 HAS SOUS 23416250 HAS SOUPS 22843022 WITH SCORE 2.2923290768E7
AT ITER 259 NEW BEST:: SOT 123253006 SOS 80265455 HAS SOPS 65229877 HAS SOUS 23386780 HAS SOUPS 22813552 WITH SCORE 2.2893817455E7
AT ITER 263 NEW BEST:: SOT 123239284 SOS 80245789 HAS SOPS 65209594 HAS SOUS 23357279 HAS SOUPS 22784091 WITH SCORE 2.2864336789E7
AT ITER 268 NEW BEST:: SOT 123234169 SOS 80244304 HAS SOPS 65204802 HAS SOUS 23340683 HAS SOUPS 22767495 WITH SCORE 2.2847739304E7
AT ITER 278 NEW BEST:: SOT 123237553 SOS 80256121 HAS SOPS 65208709 HAS SOUS 23328809 HAS SOUPS 22755621 WITH SCORE 2.2835877121E7
AT ITER 289 NEW BEST:: SOT 123237541 SOS 80256139 HAS SOPS 65208712 HAS SOUS 23328767 HAS SOUPS 22755579 WITH SCORE 2.2835835139E7
AT ITER 291 NEW BEST:: SOT 123237809 SOS 80243600 HAS SOPS 65203468 HAS SOUS 23325688 HAS SOUPS 22753680 WITH SCORE 2.28339236E7
AT ITER 292 NEW BEST:: SOT 123237776 SOS 80243171 HAS SOPS 65203135 HAS SOUS 23325674 HAS SOUPS 22753666 WITH SCORE 2.2833909171E7
AT ITER 299 NEW BEST:: SOT 123242667 SOS 80264847 HAS SOPS 65221825 HAS SOUS 23323582 HAS SOUPS 22751574 WITH SCORE 2.2831838847E7
AT ITER 302 NEW BEST:: SOT 123242743 SOS 80265415 HAS SOPS 65222147 HAS SOUS 23323184 HAS SOUPS 22751170 WITH SCORE 2.2831435415E7
AT ITER 322 NEW BEST:: SOT 123241442 SOS 80261258 HAS SOPS 65224408 HAS SOUS 23317015 HAS SOUPS 22745485 WITH SCORE 2.2825746258E7
AT ITER 334 NEW BEST:: SOT 123229604 SOS 80234865 HAS SOPS 65205467 HAS SOUS 23304787 HAS SOUPS 22733429 WITH SCORE 2.2813663865E7
AT ITER 341 NEW BEST:: SOT 123228980 SOS 80235638 HAS SOPS 65208929 HAS SOUS 23304568 HAS SOUPS 22733370 WITH SCORE 2.2813605638E7
AT ITER 354 NEW BEST:: SOT 123230300 SOS 80255764 HAS SOPS 65230787 HAS SOUS 23288112 HAS SOUPS 22716914 WITH SCORE 2.2797169764E7
AT ITER 357 NEW BEST:: SOT 123230089 SOS 80252432 HAS SOPS 65227749 HAS SOUS 23287510 HAS SOUPS 22716387 WITH SCORE 2.2796639432E7
AT ITER 372 NEW BEST:: SOT 123216561 SOS 80221837 HAS SOPS 65206905 HAS SOUS 23285916 HAS SOUPS 22714793 WITH SCORE 2.2795014837E7
AT ITER 376 NEW BEST:: SOT 123216111 SOS 80227183 HAS SOPS 65207686 HAS SOUS 23271182 HAS SOUPS 22700031 WITH SCORE 2.2780258183E7
AT ITER 377 NEW BEST:: SOT 123206988 SOS 80218060 HAS SOPS 65198531 HAS SOUS 23262035 HAS SOUPS 22690876 WITH SCORE 2.277109406E7
AT ITER 390 NEW BEST:: SOT 123216097 SOS 80240841 HAS SOPS 65214336 HAS SOUS 23254096 HAS SOUPS 22682937 WITH SCORE 2.2763177841E7
AT ITER 405 NEW BEST:: SOT 123204208 SOS 80229207 HAS SOPS 65188138 HAS SOUS 23219340 HAS SOUPS 22647985 WITH SCORE 2.2728214207E7
AT ITER 417 NEW BEST:: SOT 123201479 SOS 80223872 HAS SOPS 65187265 HAS SOUS 23216461 HAS SOUPS 22645106 WITH SCORE 2.2725329872E7
AT ITER 419 NEW BEST:: SOT 123198832 SOS 80230828 HAS SOPS 65191183 HAS SOUS 23199203 HAS SOUPS 22627686 WITH SCORE 2.2707916828E7
AT ITER 422 NEW BEST:: SOT 123199548 SOS 80232488 HAS SOPS 65194088 HAS SOUS 23198842 HAS SOUPS 22627338 WITH SCORE 2.2707570488E7
AT ITER 424 NEW BEST:: SOT 123197490 SOS 80231459 HAS SOPS 65193851 HAS SOUS 23191872 HAS SOUPS 22620368 WITH SCORE 2.2700599459E7
AT ITER 430 NEW BEST:: SOT 123193811 SOS 80226912 HAS SOPS 65188373 HAS SOUS 23190193 HAS SOUPS 22618689 WITH SCORE 2.2698915912E7
AT ITER 437 NEW BEST:: SOT 123192793 SOS 80228521 HAS SOPS 65196219 HAS SOUS 23181618 HAS SOUPS 22610114 WITH SCORE 2.2690342521E7
AT ITER 441 NEW BEST:: SOT 123191054 SOS 80225308 HAS SOPS 65194383 HAS SOUS 23181064 HAS SOUPS 22609576 WITH SCORE 2.2689801308E7
AT ITER 445 NEW BEST:: SOT 123192796 SOS 80230690 HAS SOPS 65197369 HAS SOUS 23178039 HAS SOUPS 22606551 WITH SCORE 2.268678169E7
AT ITER 454 NEW BEST:: SOT 123188583 SOS 80218062 HAS SOPS 65189653 HAS SOUS 23176548 HAS SOUPS 22605060 WITH SCORE 2.2685278062E7
AT ITER 473 NEW BEST:: SOT 123215809 SOS 80275924 HAS SOPS 65249724 HAS SOUS 23143524 HAS SOUPS 22572472 WITH SCORE 2.2652747924E7
AT ITER 487 NEW BEST:: SOT 123218279 SOS 80284255 HAS SOPS 65255466 HAS SOUS 23141102 HAS SOUPS 22570050 WITH SCORE 2.2650334255E7
AT ITER 493 NEW BEST:: SOT 123208612 SOS 80270126 HAS SOPS 65241641 HAS SOUS 23128404 HAS SOUPS 22557352 WITH SCORE 2.2637622126E7
AT ITER 501 NEW BEST:: SOT 123206936 SOS 80272847 HAS SOPS 65235498 HAS SOUS 23127048 HAS SOUPS 22555996 WITH SCORE 2.2636268847E7
AT ITER 509 NEW BEST:: SOT 123207355 SOS 80276034 HAS SOPS 65235363 HAS SOUS 23122417 HAS SOUPS 22551365 WITH SCORE 2.2631641034E7
AT ITER 514 NEW BEST:: SOT 123207399 SOS 80276248 HAS SOPS 65235446 HAS SOUS 23122235 HAS SOUPS 22551183 WITH SCORE 2.2631459248E7
AT ITER 515 NEW BEST:: SOT 123201194 SOS 80273524 HAS SOPS 65228767 HAS SOUS 23102789 HAS SOUPS 22530512 WITH SCORE 2.2610785524E7
AT ITER 528 NEW BEST:: SOT 123182840 SOS 80256089 HAS SOPS 65209099 HAS SOUS 23067310 HAS SOUPS 22494964 WITH SCORE 2.2575220089E7
AT ITER 529 NEW BEST:: SOT 123186095 SOS 80280292 HAS SOPS 65242032 HAS SOUS 23059749 HAS SOUPS 22487403 WITH SCORE 2.2567683292E7
AT ITER 535 NEW BEST:: SOT 123185704 SOS 80277930 HAS SOPS 65245914 HAS SOUS 23046237 HAS SOUPS 22475029 WITH SCORE 2.255530693E7
AT ITER 543 NEW BEST:: SOT 123185953 SOS 80310575 HAS SOPS 65290367 HAS SOUS 23045982 HAS SOUPS 22474774 WITH SCORE 2.2555084575E7
AT ITER 548 NEW BEST:: SOT 123185501 SOS 80310857 HAS SOPS 65290986 HAS SOUS 23044416 HAS SOUPS 22473208 WITH SCORE 2.2553518857E7
AT ITER 558 NEW BEST:: SOT 123189812 SOS 80343052 HAS SOPS 65312671 HAS SOUS 23027866 HAS SOUPS 22456658 WITH SCORE 2.2537001052E7
AT ITER 561 NEW BEST:: SOT 123189791 SOS 80343073 HAS SOPS 65312959 HAS SOUS 23027857 HAS SOUPS 22456649 WITH SCORE 2.2536992073E7
AT ITER 587 NEW BEST:: SOT 123189890 SOS 80347732 HAS SOPS 65321807 HAS SOUS 23027735 HAS SOUPS 22456527 WITH SCORE 2.2536874732E7
AT ITER 603 NEW BEST:: SOT 123189380 SOS 80352380 HAS SOPS 65312080 HAS SOUS 23016134 HAS SOUPS 22444926 WITH SCORE 2.252527838E7
AT ITER 609 NEW BEST:: SOT 123160512 SOS 80312516 HAS SOPS 65270241 HAS SOUS 22968307 HAS SOUPS 22397251 WITH SCORE 2.2477563516E7
AT ITER 630 NEW BEST:: SOT 123162146 SOS 80314812 HAS SOPS 65271220 HAS SOUS 22968063 HAS SOUPS 22397007 WITH SCORE 2.2477321812E7
AT ITER 640 NEW BEST:: SOT 123154408 SOS 80301505 HAS SOPS 65260186 HAS SOUS 22960114 HAS SOUPS 22389126 WITH SCORE 2.2469427505E7
AT ITER 655 NEW BEST:: SOT 123148385 SOS 80302863 HAS SOPS 65251261 HAS SOUS 22937512 HAS SOUPS 22366524 WITH SCORE 2.2446826863E7
AT ITER 663 NEW BEST:: SOT 123141520 SOS 80293396 HAS SOPS 65244326 HAS SOUS 22918515 HAS SOUPS 22347566 WITH SCORE 2.2427859396E7
AT ITER 668 NEW BEST:: SOT 123141646 SOS 80293392 HAS SOPS 65243851 HAS SOUS 22917874 HAS SOUPS 22346925 WITH SCORE 2.2427218392E7
AT ITER 680 NEW BEST:: SOT 123141646 SOS 80294176 HAS SOPS 65244411 HAS SOUS 22917860 HAS SOUPS 22346911 WITH SCORE 2.2427205176E7
AT ITER 685 NEW BEST:: SOT 123086137 SOS 80236379 HAS SOPS 65181174 HAS SOUS 22852256 HAS SOUPS 22280519 WITH SCORE 2.2360755379E7
AT ITER 686 NEW BEST:: SOT 123086608 SOS 80237868 HAS SOPS 65182600 HAS SOUS 22848332 HAS SOUPS 22276859 WITH SCORE 2.2357096868E7
AT ITER 689 NEW BEST:: SOT 123084089 SOS 80234387 HAS SOPS 65177733 HAS SOUS 22842459 HAS SOUPS 22270986 WITH SCORE 2.2351220387E7
AT ITER 699 NEW BEST:: SOT 123068460 SOS 80208308 HAS SOPS 65169369 HAS SOUS 22821984 HAS SOUPS 22250673 WITH SCORE 2.2330881308E7
AT ITER 702 NEW BEST:: SOT 123061998 SOS 80206783 HAS SOPS 65155460 HAS SOUS 22791436 HAS SOUPS 22220089 WITH SCORE 2.2300295783E7
AT ITER 733 NEW BEST:: SOT 123079235 SOS 80243187 HAS SOPS 65193245 HAS SOUS 22757423 HAS SOUPS 22186031 WITH SCORE 2.2266274187E7
AT ITER 741 NEW BEST:: SOT 123083946 SOS 80251153 HAS SOPS 65207713 HAS SOUS 22750834 HAS SOUPS 22179442 WITH SCORE 2.2259693153E7
AT ITER 746 NEW BEST:: SOT 123081800 SOS 80257861 HAS SOPS 65211073 HAS SOUS 22733293 HAS SOUPS 22161177 WITH SCORE 2.2241434861E7
AT ITER 763 NEW BEST:: SOT 123154460 SOS 80418316 HAS SOPS 65370943 HAS SOUS 22675305 HAS SOUPS 22103189 WITH SCORE 2.2183607316E7
AT ITER 768 NEW BEST:: SOT 123154465 SOS 80418537 HAS SOPS 65371051 HAS SOUS 22675286 HAS SOUPS 22103170 WITH SCORE 2.2183588537E7
AT ITER 774 NEW BEST:: SOT 123163965 SOS 80454462 HAS SOPS 65399482 HAS SOUS 22665657 HAS SOUPS 22093541 WITH SCORE 2.2173995462E7
AT ITER 792 NEW BEST:: SOT 123147756 SOS 80436366 HAS SOPS 65372705 HAS SOUS 22624879 HAS SOUPS 22052763 WITH SCORE 2.2133199366E7
AT ITER 795 NEW BEST:: SOT 123167625 SOS 80452887 HAS SOPS 65406400 HAS SOUS 22588543 HAS SOUPS 22019812 WITH SCORE 2.2100264887E7
AT ITER 802 NEW BEST:: SOT 123161328 SOS 80445450 HAS SOPS 65397011 HAS SOUS 22577658 HAS SOUPS 22008959 WITH SCORE 2.208940445E7
AT ITER 803 NEW BEST:: SOT 123163314 SOS 80444881 HAS SOPS 65398156 HAS SOUS 22574303 HAS SOUPS 22005649 WITH SCORE 2.2086093881E7
AT ITER 804 NEW BEST:: SOT 123163360 SOS 80444469 HAS SOPS 65399684 HAS SOUS 22571876 HAS SOUPS 22003822 WITH SCORE 2.2084266469E7
AT ITER 805 NEW BEST:: SOT 123172495 SOS 80466942 HAS SOPS 65417370 HAS SOUS 22564886 HAS SOUPS 21996832 WITH SCORE 2.2077298942E7
AT ITER 828 NEW BEST:: SOT 123170281 SOS 80445772 HAS SOPS 65401191 HAS SOUS 22559988 HAS SOUPS 21991934 WITH SCORE 2.2072379772E7
AT ITER 830 NEW BEST:: SOT 123158034 SOS 80433289 HAS SOPS 65385848 HAS SOUS 22531570 HAS SOUPS 21963431 WITH SCORE 2.2043864289E7
AT ITER 842 NEW BEST:: SOT 123152165 SOS 80427286 HAS SOPS 65379875 HAS SOUS 22513848 HAS SOUPS 21945709 WITH SCORE 2.2026136286E7
AT ITER 851 NEW BEST:: SOT 123152130 SOS 80427224 HAS SOPS 65379920 HAS SOUS 22512773 HAS SOUPS 21944986 WITH SCORE 2.2025413224E7
AT ITER 855 NEW BEST:: SOT 123152005 SOS 80427279 HAS SOPS 65379485 HAS SOUS 22512188 HAS SOUPS 21944401 WITH SCORE 2.2024828279E7
AT ITER 856 NEW BEST:: SOT 123149563 SOS 80424124 HAS SOPS 65375039 HAS SOUS 22507426 HAS SOUPS 21939671 WITH SCORE 2.2020095124E7
AT ITER 869 NEW BEST:: SOT 123089633 SOS 80357927 HAS SOPS 65315640 HAS SOUS 22454221 HAS SOUPS 21888071 WITH SCORE 2.1968428927E7
AT ITER 870 NEW BEST:: SOT 123089866 SOS 80358466 HAS SOPS 65315961 HAS SOUS 22453778 HAS SOUPS 21887628 WITH SCORE 2.1967986466E7
AT ITER 910 NEW BEST:: SOT 123089884 SOS 80367472 HAS SOPS 65329065 HAS SOUS 22453482 HAS SOUPS 21887332 WITH SCORE 2.1967699472E7
AT ITER 916 NEW BEST:: SOT 123121474 SOS 80407035 HAS SOPS 65375078 HAS SOUS 22434388 HAS SOUPS 21868756 WITH SCORE 2.1949163035E7
AT ITER 944 NEW BEST:: SOT 123120718 SOS 80409495 HAS SOPS 65375307 HAS SOUS 22430010 HAS SOUPS 21864378 WITH SCORE 2.1944787495E7
AT ITER 958 NEW BEST:: SOT 123148480 SOS 80479160 HAS SOPS 65436989 HAS SOUS 22409847 HAS SOUPS 21844215 WITH SCORE 2.192469416E7
AT ITER 964 NEW BEST:: SOT 123154679 SOS 80496430 HAS SOPS 65475658 HAS SOUS 22392499 HAS SOUPS 21827171 WITH SCORE 2.190766743E7
AT ITER 969 NEW BEST:: SOT 123149893 SOS 80500059 HAS SOPS 65489920 HAS SOUS 22370077 HAS SOUPS 21804749 WITH SCORE 2.1885249059E7
AT ITER 973 NEW BEST:: SOT 123151855 SOS 80505404 HAS SOPS 65491336 HAS SOUS 22364831 HAS SOUPS 21799410 WITH SCORE 2.1879915404E7
AT ITER 982 NEW BEST:: SOT 123167450 SOS 80530366 HAS SOPS 65517206 HAS SOUS 22335125 HAS SOUPS 21769704 WITH SCORE 2.1850234366E7
AT ITER 983 NEW BEST:: SOT 123164591 SOS 80531966 HAS SOPS 65519073 HAS SOUS 22320513 HAS SOUPS 21755213 WITH SCORE 2.1835744966E7
AT ITER 986 NEW BEST:: SOT 123164591 SOS 80546126 HAS SOPS 65540017 HAS SOUS 22320251 HAS SOUPS 21754951 WITH SCORE 2.1835497126E7
AT ITER 989 NEW BEST:: SOT 123135428 SOS 80528082 HAS SOPS 65553413 HAS SOUS 22313055 HAS SOUPS 21747755 WITH SCORE 2.1828283082E7
AT ITER 1002 NEW BEST:: SOT 123135550 SOS 80546248 HAS SOPS 65577985 HAS SOUS 22312658 HAS SOUPS 21747358 WITH SCORE 2.1827904248E7
AT ITER 1007 NEW BEST:: SOT 123135263 SOS 80548907 HAS SOPS 65579683 HAS SOUS 22308433 HAS SOUPS 21743133 WITH SCORE 2.1823681907E7
AT ITER 1012 NEW BEST:: SOT 123137654 SOS 80556255 HAS SOPS 65581462 HAS SOUS 22301546 HAS SOUPS 21736246 WITH SCORE 2.1816802255E7
AT ITER 1022 NEW BEST:: SOT 123133830 SOS 80549721 HAS SOPS 65574503 HAS SOUS 22291943 HAS SOUPS 21726643 WITH SCORE 2.1807192721E7
AT ITER 1030 NEW BEST:: SOT 122979455 SOS 80298295 HAS SOPS 65325646 HAS SOUS 22140437 HAS SOUPS 21575402 WITH SCORE 2.1655700295E7
AT ITER 1032 NEW BEST:: SOT 122995037 SOS 80351425 HAS SOPS 65389233 HAS SOUS 22130624 HAS SOUPS 21565589 WITH SCORE 2.1645940425E7
AT ITER 1033 NEW BEST:: SOT 122978447 SOS 80333319 HAS SOPS 65376396 HAS SOUS 22096059 HAS SOUPS 21531050 WITH SCORE 2.1611383319E7
AT ITER 1040 NEW BEST:: SOT 122953524 SOS 80271489 HAS SOPS 65331293 HAS SOUS 22087427 HAS SOUPS 21522418 WITH SCORE 2.1602689489E7
AT ITER 1049 NEW BEST:: SOT 122953887 SOS 80272472 HAS SOPS 65331593 HAS SOUS 22086059 HAS SOUPS 21521050 WITH SCORE 2.1601322472E7
AT ITER 1053 NEW BEST:: SOT 122958521 SOS 80286527 HAS SOPS 65339481 HAS SOUS 22067669 HAS SOUPS 21502660 WITH SCORE 2.1582946527E7
AT ITER 1065 NEW BEST:: SOT 122965336 SOS 80299157 HAS SOPS 65357037 HAS SOUS 22044809 HAS SOUPS 21479800 WITH SCORE 2.1560099157E7
AT ITER 1067 NEW BEST:: SOT 122935948 SOS 80224379 HAS SOPS 65285156 HAS SOUS 22024283 HAS SOUPS 21459274 WITH SCORE 2.1539498379E7
AT ITER 1086 NEW BEST:: SOT 122939982 SOS 80231452 HAS SOPS 65300575 HAS SOUS 22015772 HAS SOUPS 21450908 WITH SCORE 2.1531139452E7
AT ITER 1109 NEW BEST:: SOT 122939373 SOS 80230840 HAS SOPS 65299942 HAS SOUS 22015259 HAS SOUPS 21450395 WITH SCORE 2.153062584E7
AT ITER 1118 NEW BEST:: SOT 122938637 SOS 80230104 HAS SOPS 65299206 HAS SOUS 22013782 HAS SOUPS 21448918 WITH SCORE 2.1529148104E7
AT ITER 1152 NEW BEST:: SOT 122927582 SOS 80219694 HAS SOPS 65284926 HAS SOUS 21986805 HAS SOUPS 21421941 WITH SCORE 2.1502160694E7
AT ITER 1156 NEW BEST:: SOT 122935951 SOS 80241285 HAS SOPS 65304319 HAS SOUS 21982555 HAS SOUPS 21417691 WITH SCORE 2.1497932285E7
AT ITER 1161 NEW BEST:: SOT 122944572 SOS 80255503 HAS SOPS 65312376 HAS SOUS 21971561 HAS SOUPS 21406697 WITH SCORE 2.1486952503E7
AT ITER 1172 NEW BEST:: SOT 122941917 SOS 80250507 HAS SOPS 65310334 HAS SOUS 21968972 HAS SOUPS 21404108 WITH SCORE 2.1484358507E7
AT ITER 1173 NEW BEST:: SOT 122928190 SOS 80233884 HAS SOPS 65292600 HAS SOUS 21951671 HAS SOUPS 21386906 WITH SCORE 2.1467139884E7
AT ITER 1177 NEW BEST:: SOT 122928463 SOS 80234653 HAS SOPS 65293217 HAS SOUS 21951080 HAS SOUPS 21386315 WITH SCORE 2.1466549653E7
AT ITER 1184 NEW BEST:: SOT 122919717 SOS 80226038 HAS SOPS 65284227 HAS SOUS 21938875 HAS SOUPS 21374816 WITH SCORE 2.1455042038E7
AT ITER 1196 NEW BEST:: SOT 122917933 SOS 80222582 HAS SOPS 65279821 HAS SOUS 21935374 HAS SOUPS 21371315 WITH SCORE 2.1451537582E7
AT ITER 1200 NEW BEST:: SOT 122907819 SOS 80211607 HAS SOPS 65271869 HAS SOUS 21904097 HAS SOUPS 21340635 WITH SCORE 2.1420846607E7
AT ITER 1206 NEW BEST:: SOT 122907419 SOS 80211483 HAS SOPS 65277815 HAS SOUS 21896007 HAS SOUPS 21332591 WITH SCORE 2.1412802483E7
AT ITER 1208 NEW BEST:: SOT 122921607 SOS 80259682 HAS SOPS 65332370 HAS SOUS 21890241 HAS SOUPS 21326825 WITH SCORE 2.1407084682E7
AT ITER 1209 NEW BEST:: SOT 122922899 SOS 80265428 HAS SOPS 65335844 HAS SOUS 21887153 HAS SOUPS 21323737 WITH SCORE 2.1404002428E7
AT ITER 1215 NEW BEST:: SOT 122922815 SOS 80265344 HAS SOPS 65335760 HAS SOUS 21886941 HAS SOUPS 21323525 WITH SCORE 2.1403790344E7
AT ITER 1216 NEW BEST:: SOT 122898880 SOS 80219191 HAS SOPS 65307711 HAS SOUS 21842609 HAS SOUPS 21279193 WITH SCORE 2.1359412191E7
AT ITER 1225 NEW BEST:: SOT 122898834 SOS 80219128 HAS SOPS 65307637 HAS SOUS 21842612 HAS SOUPS 21279187 WITH SCORE 2.1359406128E7
AT ITER 1232 NEW BEST:: SOT 122896262 SOS 80217945 HAS SOPS 65309501 HAS SOUS 21840584 HAS SOUPS 21277159 WITH SCORE 2.1357376945E7
AT ITER 1235 NEW BEST:: SOT 122891890 SOS 80211632 HAS SOPS 65312380 HAS SOUS 21799773 HAS SOUPS 21236829 WITH SCORE 2.1317040632E7
AT ITER 1237 NEW BEST:: SOT 122894789 SOS 80222407 HAS SOPS 65318253 HAS SOUS 21788384 HAS SOUPS 21225440 WITH SCORE 2.1305662407E7
AT ITER 1241 NEW BEST:: SOT 122894008 SOS 80229960 HAS SOPS 65333325 HAS SOUS 21787883 HAS SOUPS 21224939 WITH SCORE 2.130516896E7
AT ITER 1242 NEW BEST:: SOT 122889800 SOS 80223475 HAS SOPS 65326244 HAS SOUS 21783735 HAS SOUPS 21220791 WITH SCORE 2.1301014475E7
AT ITER 1246 NEW BEST:: SOT 122896669 SOS 80235624 HAS SOPS 65334867 HAS SOUS 21775758 HAS SOUPS 21213144 WITH SCORE 2.1293379624E7
AT ITER 1248 NEW BEST:: SOT 122882719 SOS 80254498 HAS SOPS 65373447 HAS SOUS 21767527 HAS SOUPS 21204383 WITH SCORE 2.1284637498E7
AT ITER 1258 NEW BEST:: SOT 122881034 SOS 80253202 HAS SOPS 65370081 HAS SOUS 21764632 HAS SOUPS 21201488 WITH SCORE 2.1281741202E7
AT ITER 1263 NEW BEST:: SOT 122882603 SOS 80261747 HAS SOPS 65375577 HAS SOUS 21758861 HAS SOUPS 21195717 WITH SCORE 2.1275978747E7
AT ITER 1286 NEW BEST:: SOT 122877630 SOS 80255669 HAS SOPS 65373532 HAS SOUS 21751235 HAS SOUPS 21188171 WITH SCORE 2.1268426669E7
AT ITER 1301 NEW BEST:: SOT 122868179 SOS 80235499 HAS SOPS 65355493 HAS SOUS 21742589 HAS SOUPS 21179572 WITH SCORE 2.1259807499E7
AT ITER 1311 NEW BEST:: SOT 122863223 SOS 80230417 HAS SOPS 65350453 HAS SOUS 21733412 HAS SOUPS 21170416 WITH SCORE 2.1250646417E7
AT ITER 1323 NEW BEST:: SOT 122874510 SOS 80239700 HAS SOPS 65389257 HAS SOUS 21727282 HAS SOUPS 21165876 WITH SCORE 2.12461157E7
AT ITER 1331 NEW BEST:: SOT 122877910 SOS 80243320 HAS SOPS 65393516 HAS SOUS 21723139 HAS SOUPS 21162234 WITH SCORE 2.124247732E7
AT ITER 1334 NEW BEST:: SOT 122877910 SOS 80242864 HAS SOPS 65394500 HAS SOUS 21723089 HAS SOUPS 21162184 WITH SCORE 2.1242426864E7
AT ITER 1342 NEW BEST:: SOT 122878482 SOS 80245068 HAS SOPS 65396500 HAS SOUS 21717045 HAS SOUPS 21156140 WITH SCORE 2.1236385068E7
AT ITER 1361 NEW BEST:: SOT 122878388 SOS 80253390 HAS SOPS 65399836 HAS SOUS 21689394 HAS SOUPS 21128489 WITH SCORE 2.120874239E7
AT ITER 1362 NEW BEST:: SOT 122874765 SOS 80242384 HAS SOPS 65394456 HAS SOUS 21666850 HAS SOUPS 21106439 WITH SCORE 2.1186681384E7
AT ITER 1373 NEW BEST:: SOT 122851473 SOS 80195030 HAS SOPS 65362768 HAS SOUS 21657237 HAS SOUPS 21096826 WITH SCORE 2.117702103E7
AT ITER 1375 NEW BEST:: SOT 122851307 SOS 80191036 HAS SOPS 65360048 HAS SOUS 21657098 HAS SOUPS 21096687 WITH SCORE 2.1176878036E7
AT ITER 1381 NEW BEST:: SOT 122851319 SOS 80216176 HAS SOPS 65401455 HAS SOUS 21656636 HAS SOUPS 21096225 WITH SCORE 2.1176441176E7
AT ITER 1396 NEW BEST:: SOT 122851326 SOS 80221639 HAS SOPS 65406326 HAS SOUS 21656573 HAS SOUPS 21096162 WITH SCORE 2.1176383639E7
AT ITER 1401 NEW BEST:: SOT 122851695 SOS 80222557 HAS SOPS 65406468 HAS SOUS 21656409 HAS SOUPS 21095998 WITH SCORE 2.1176220557E7
AT ITER 1422 NEW BEST:: SOT 122851143 SOS 80235486 HAS SOPS 65431236 HAS SOUS 21655433 HAS SOUPS 21095148 WITH SCORE 2.1175383486E7
AT ITER 1425 NEW BEST:: SOT 122850898 SOS 80234353 HAS SOPS 65426149 HAS SOUS 21639996 HAS SOUPS 21079818 WITH SCORE 2.1160052353E7
AT ITER 1449 NEW BEST:: SOT 122856454 SOS 80246469 HAS SOPS 65430171 HAS SOUS 21632751 HAS SOUPS 21072573 WITH SCORE 2.1152819469E7
AT ITER 1455 NEW BEST:: SOT 122855836 SOS 80241216 HAS SOPS 65426962 HAS SOUS 21630826 HAS SOUPS 21070648 WITH SCORE 2.1150889216E7
AT ITER 1456 NEW BEST:: SOT 122852682 SOS 80241434 HAS SOPS 65433485 HAS SOUS 21629409 HAS SOUPS 21069231 WITH SCORE 2.1149472434E7
AT ITER 1459 NEW BEST:: SOT 122861125 SOS 80271999 HAS SOPS 65460209 HAS SOUS 21611779 HAS SOUPS 21051601 WITH SCORE 2.1131872999E7
AT ITER 1466 NEW BEST:: SOT 122846114 SOS 80252025 HAS SOPS 65446112 HAS SOUS 21597947 HAS SOUPS 21037924 WITH SCORE 2.1118176025E7
AT ITER 1468 NEW BEST:: SOT 122839020 SOS 80239546 HAS SOPS 65444471 HAS SOUS 21588109 HAS SOUPS 21028086 WITH SCORE 2.1108325546E7
AT ITER 1469 NEW BEST:: SOT 122839020 SOS 80245642 HAS SOPS 65450567 HAS SOUS 21587915 HAS SOUPS 21027892 WITH SCORE 2.1108137642E7
AT ITER 1484 NEW BEST:: SOT 122839430 SOS 80243962 HAS SOPS 65449595 HAS SOUS 21585245 HAS SOUPS 21025222 WITH SCORE 2.1105465962E7
AT ITER 1488 NEW BEST:: SOT 122843817 SOS 80256229 HAS SOPS 65455776 HAS SOUS 21577075 HAS SOUPS 21017052 WITH SCORE 2.1097308229E7
AT ITER 1493 NEW BEST:: SOT 122841380 SOS 80254112 HAS SOPS 65457026 HAS SOUS 21548152 HAS SOUPS 20988750 WITH SCORE 2.1069004112E7
AT ITER 1494 NEW BEST:: SOT 122841520 SOS 80252366 HAS SOPS 65460542 HAS SOUS 21547901 HAS SOUPS 20988499 WITH SCORE 2.1068751366E7
AT ITER 1525 NEW BEST:: SOT 122838777 SOS 80245773 HAS SOPS 65455273 HAS SOUS 21547565 HAS SOUPS 20988163 WITH SCORE 2.1068408773E7
AT ITER 1528 NEW BEST:: SOT 122837013 SOS 80245351 HAS SOPS 65454279 HAS SOUS 21539894 HAS SOUPS 20980492 WITH SCORE 2.1060737351E7
AT ITER 1562 NEW BEST:: SOT 122836797 SOS 80243359 HAS SOPS 65453047 HAS SOUS 21539757 HAS SOUPS 20980355 WITH SCORE 2.1060598359E7
AT ITER 1563 NEW BEST:: SOT 122836445 SOS 80244487 HAS SOPS 65460007 HAS SOUS 21539702 HAS SOUPS 20980300 WITH SCORE 2.1060544487E7
AT ITER 1565 NEW BEST:: SOT 122815938 SOS 80223980 HAS SOPS 65439500 HAS SOUS 21519195 HAS SOUPS 20959793 WITH SCORE 2.104001698E7
AT ITER 1569 NEW BEST:: SOT 122817646 SOS 80225842 HAS SOPS 65441494 HAS SOUS 21518137 HAS SOUPS 20958735 WITH SCORE 2.1038960842E7
AT ITER 1571 NEW BEST:: SOT 122832676 SOS 80234264 HAS SOPS 65447156 HAS SOUS 21513560 HAS SOUPS 20955103 WITH SCORE 2.1035337264E7
AT ITER 1585 NEW BEST:: SOT 122825305 SOS 80226041 HAS SOPS 65437013 HAS SOUS 21498547 HAS SOUPS 20940090 WITH SCORE 2.1020316041E7
AT ITER 1588 NEW BEST:: SOT 122834877 SOS 80233357 HAS SOPS 65460689 HAS SOUS 21494174 HAS SOUPS 20935717 WITH SCORE 2.1015950357E7
AT ITER 1616 NEW BEST:: SOT 122834025 SOS 80232265 HAS SOPS 65459473 HAS SOUS 21492834 HAS SOUPS 20934377 WITH SCORE 2.1014609265E7
AT ITER 1622 NEW BEST:: SOT 122847996 SOS 80255240 HAS SOPS 65489350 HAS SOUS 21438472 HAS SOUPS 20880386 WITH SCORE 2.096064124E7
AT ITER 1627 NEW BEST:: SOT 122846679 SOS 80253843 HAS SOPS 65487517 HAS SOUS 21438450 HAS SOUPS 20880320 WITH SCORE 2.0960573843E7
AT ITER 1650 NEW BEST:: SOT 122847167 SOS 80254549 HAS SOPS 65488223 HAS SOUS 21438054 HAS SOUPS 20879924 WITH SCORE 2.0960178549E7
AT ITER 1662 NEW BEST:: SOT 122846456 SOS 80260673 HAS SOPS 65494462 HAS SOUS 21437353 HAS SOUPS 20879223 WITH SCORE 2.0959483673E7
AT ITER 1663 NEW BEST:: SOT 122851908 SOS 80278923 HAS SOPS 65508564 HAS SOUS 21434356 HAS SOUPS 20875992 WITH SCORE 2.0956270923E7
AT ITER 1680 NEW BEST:: SOT 122844123 SOS 80262463 HAS SOPS 65492287 HAS SOUS 21432946 HAS SOUPS 20874532 WITH SCORE 2.0954794463E7
AT ITER 1706 NEW BEST:: SOT 122845002 SOS 80264802 HAS SOPS 65492658 HAS SOUS 21430050 HAS SOUPS 20871636 WITH SCORE 2.0951900802E7
AT ITER 1733 NEW BEST:: SOT 122849664 SOS 80278441 HAS SOPS 65497121 HAS SOUS 21411790 HAS SOUPS 20853376 WITH SCORE 2.0933654441E7
AT ITER 1762 NEW BEST:: SOT 122842562 SOS 80271467 HAS SOPS 65490246 HAS SOUS 21395175 HAS SOUPS 20836810 WITH SCORE 2.0917081467E7
AT ITER 1766 NEW BEST:: SOT 122842591 SOS 80284864 HAS SOPS 65506456 HAS SOUS 21394979 HAS SOUPS 20836614 WITH SCORE 2.0916898864E7
AT ITER 1771 NEW BEST:: SOT 122837354 SOS 80277838 HAS SOPS 65507829 HAS SOUS 21387542 HAS SOUPS 20829177 WITH SCORE 2.0909454838E7
AT ITER 1799 NEW BEST:: SOT 122841116 SOS 80289035 HAS SOPS 65511578 HAS SOUS 21366537 HAS SOUPS 20807635 WITH SCORE 2.0887924035E7
AT ITER 1802 NEW BEST:: SOT 122843441 SOS 80303359 HAS SOPS 65515577 HAS SOUS 21350619 HAS SOUPS 20791717 WITH SCORE 2.0872020359E7
AT ITER 1810 NEW BEST:: SOT 122854022 SOS 80311641 HAS SOPS 65533196 HAS SOUS 21350285 HAS SOUPS 20791383 WITH SCORE 2.0871694641E7
AT ITER 1812 NEW BEST:: SOT 122814263 SOS 80270452 HAS SOPS 65471897 HAS SOUS 21266568 HAS SOUPS 20707791 WITH SCORE 2.0788061452E7
AT ITER 1825 NEW BEST:: SOT 122814960 SOS 80274159 HAS SOPS 65474306 HAS SOUS 21264600 HAS SOUPS 20705823 WITH SCORE 2.0786097159E7
AT ITER 1829 NEW BEST:: SOT 122803386 SOS 80258011 HAS SOPS 65460178 HAS SOUS 21243419 HAS SOUPS 20685037 WITH SCORE 2.0765295011E7
AT ITER 1841 NEW BEST:: SOT 122803133 SOS 80258254 HAS SOPS 65463245 HAS SOUS 21239141 HAS SOUPS 20680889 WITH SCORE 2.0761147254E7
AT ITER 1852 NEW BEST:: SOT 122794115 SOS 80247599 HAS SOPS 65452076 HAS SOUS 21219550 HAS SOUPS 20661396 WITH SCORE 2.0741643599E7
AT ITER 1855 NEW BEST:: SOT 122816851 SOS 80268760 HAS SOPS 65477304 HAS SOUS 21208221 HAS SOUPS 20651592 WITH SCORE 2.073186076E7
AT ITER 1861 NEW BEST:: SOT 122816890 SOS 80293548 HAS SOPS 65524661 HAS SOUS 21207690 HAS SOUPS 20651061 WITH SCORE 2.0731354548E7
AT ITER 1879 NEW BEST:: SOT 122817549 SOS 80287795 HAS SOPS 65526974 HAS SOUS 21205648 HAS SOUPS 20649019 WITH SCORE 2.0729306795E7
AT ITER 1894 NEW BEST:: SOT 122823567 SOS 80309841 HAS SOPS 65540543 HAS SOUS 21187343 HAS SOUPS 20630714 WITH SCORE 2.0711023841E7
AT ITER 1898 NEW BEST:: SOT 122818332 SOS 80307401 HAS SOPS 65530965 HAS SOUS 21160810 HAS SOUPS 20604569 WITH SCORE 2.0684876401E7
AT ITER 1904 NEW BEST:: SOT 122815349 SOS 80299995 HAS SOPS 65526881 HAS SOUS 21160274 HAS SOUPS 20604033 WITH SCORE 2.0684332995E7
AT ITER 1909 NEW BEST:: SOT 122803695 SOS 80283199 HAS SOPS 65508448 HAS SOUS 21147765 HAS SOUPS 20591010 WITH SCORE 2.0671293199E7
AT ITER 1927 NEW BEST:: SOT 122816295 SOS 80326637 HAS SOPS 65545193 HAS SOUS 21141951 HAS SOUPS 20585196 WITH SCORE 2.0665522637E7
AT ITER 1931 NEW BEST:: SOT 122815382 SOS 80326625 HAS SOPS 65543779 HAS SOUS 21138677 HAS SOUPS 20581898 WITH SCORE 2.0662224625E7
AT ITER 1936 NEW BEST:: SOT 122804515 SOS 80313764 HAS SOPS 65536549 HAS SOUS 21099894 HAS SOUPS 20543302 WITH SCORE 2.0623615764E7
AT ITER 1940 NEW BEST:: SOT 122805348 SOS 80348258 HAS SOPS 65577941 HAS SOUS 21099730 HAS SOUPS 20543138 WITH SCORE 2.0623486258E7
AT ITER 1941 NEW BEST:: SOT 122807948 SOS 80346669 HAS SOPS 65578723 HAS SOUS 21094457 HAS SOUPS 20537865 WITH SCORE 2.0618211669E7
AT ITER 1943 NEW BEST:: SOT 122808362 SOS 80347486 HAS SOPS 65580060 HAS SOUS 21093700 HAS SOUPS 20537121 WITH SCORE 2.0617468486E7
AT ITER 1946 NEW BEST:: SOT 122800549 SOS 80339551 HAS SOPS 65571961 HAS SOUS 21083987 HAS SOUPS 20527424 WITH SCORE 2.0607763551E7
AT ITER 1952 NEW BEST:: SOT 122799120 SOS 80332747 HAS SOPS 65583172 HAS SOUS 21072152 HAS SOUPS 20515589 WITH SCORE 2.0595921747E7
AT ITER 1960 NEW BEST:: SOT 122797786 SOS 80337525 HAS SOPS 65604619 HAS SOUS 21069906 HAS SOUPS 20513668 WITH SCORE 2.0594005525E7
AT ITER 1982 NEW BEST:: SOT 122797041 SOS 80326075 HAS SOPS 65599372 HAS SOUS 21069469 HAS SOUPS 20513231 WITH SCORE 2.0593557075E7
AT ITER 1990 NEW BEST:: SOT 122797763 SOS 80327524 HAS SOPS 65599735 HAS SOUS 21064670 HAS SOUPS 20508432 WITH SCORE 2.0588759524E7
AT ITER 1998 NEW BEST:: SOT 122790141 SOS 80316646 HAS SOPS 65588187 HAS SOUS 21055623 HAS SOUPS 20499385 WITH SCORE 2.0579701646E7
AT ITER 2004 NEW BEST:: SOT 122846131 SOS 80356991 HAS SOPS 65631647 HAS SOUS 21055114 HAS SOUPS 20499177 WITH SCORE 2.0579533991E7
AT ITER 2020 NEW BEST:: SOT 122841909 SOS 80351816 HAS SOPS 65624544 HAS SOUS 21046713 HAS SOUPS 20490776 WITH SCORE 2.0571127816E7
AT ITER 2023 NEW BEST:: SOT 122843105 SOS 80354872 HAS SOPS 65626538 HAS SOUS 21042666 HAS SOUPS 20486729 WITH SCORE 2.0567083872E7
AT ITER 2025 NEW BEST:: SOT 122842857 SOS 80354630 HAS SOPS 65626202 HAS SOUS 21042096 HAS SOUPS 20486161 WITH SCORE 2.056651563E7
AT ITER 2027 NEW BEST:: SOT 122841081 SOS 80352564 HAS SOPS 65624137 HAS SOUS 21038256 HAS SOUPS 20482322 WITH SCORE 2.0562674564E7
AT ITER 2038 NEW BEST:: SOT 122839950 SOS 80350226 HAS SOPS 65622414 HAS SOUS 21037702 HAS SOUPS 20481768 WITH SCORE 2.0562118226E7
AT ITER 2044 NEW BEST:: SOT 122843708 SOS 80357392 HAS SOPS 65627005 HAS SOUS 21030020 HAS SOUPS 20474086 WITH SCORE 2.0554443392E7
AT ITER 2052 NEW BEST:: SOT 122842210 SOS 80357353 HAS SOPS 65620753 HAS SOUS 21031311 HAS SOUPS 20468528 WITH SCORE 2.0548885353E7
AT ITER 2070 NEW BEST:: SOT 122816823 SOS 80291555 HAS SOPS 65571088 HAS SOUS 20998720 HAS SOUPS 20435937 WITH SCORE 2.0516228555E7
AT ITER 2085 NEW BEST:: SOT 122810621 SOS 80292316 HAS SOPS 65564509 HAS SOUS 20998185 HAS SOUPS 20435082 WITH SCORE 2.0515374316E7
AT ITER 2097 NEW BEST:: SOT 122796986 SOS 80257351 HAS SOPS 65534684 HAS SOUS 20992992 HAS SOUPS 20429934 WITH SCORE 2.0510191351E7
AT ITER 2105 NEW BEST:: SOT 122790073 SOS 80255583 HAS SOPS 65531302 HAS SOUS 20961036 HAS SOUPS 20397978 WITH SCORE 2.0478233583E7
AT ITER 2122 NEW BEST:: SOT 122788526 SOS 80253938 HAS SOPS 65529440 HAS SOUS 20958124 HAS SOUPS 20395073 WITH SCORE 2.0475326938E7
AT ITER 2145 NEW BEST:: SOT 122789145 SOS 80255343 HAS SOPS 65530687 HAS SOUS 20958057 HAS SOUPS 20395006 WITH SCORE 2.0475261343E7
AT ITER 2151 NEW BEST:: SOT 122795075 SOS 80266731 HAS SOPS 65539203 HAS SOUS 20955838 HAS SOUPS 20392605 WITH SCORE 2.0472871731E7
AT ITER 2158 NEW BEST:: SOT 122792072 SOS 80263162 HAS SOPS 65533965 HAS SOUS 20949457 HAS SOUPS 20386224 WITH SCORE 2.0466487162E7
AT ITER 2176 NEW BEST:: SOT 122780253 SOS 80249062 HAS SOPS 65519442 HAS SOUS 20925777 HAS SOUPS 20362544 WITH SCORE 2.0442793062E7
AT ITER 2177 NEW BEST:: SOT 122775964 SOS 80241306 HAS SOPS 65510578 HAS SOUS 20917729 HAS SOUPS 20354496 WITH SCORE 2.0434737306E7
AT ITER 2183 NEW BEST:: SOT 122775466 SOS 80240911 HAS SOPS 65510143 HAS SOUS 20917652 HAS SOUPS 20354399 WITH SCORE 2.0434639911E7
AT ITER 2190 NEW BEST:: SOT 122740417 SOS 80200352 HAS SOPS 65471032 HAS SOUS 20864375 HAS SOUPS 20301188 WITH SCORE 2.0381388352E7
AT ITER 2205 NEW BEST:: SOT 122734364 SOS 80193924 HAS SOPS 65464610 HAS SOUS 20852877 HAS SOUPS 20289690 WITH SCORE 2.0369883924E7
AT ITER 2209 NEW BEST:: SOT 122710748 SOS 80153557 HAS SOPS 65431472 HAS SOUS 20806855 HAS SOUPS 20243668 WITH SCORE 2.0323821557E7
AT ITER 2230 NEW BEST:: SOT 122705226 SOS 80144891 HAS SOPS 65427733 HAS SOUS 20799666 HAS SOUPS 20236479 WITH SCORE 2.0316623891E7
AT ITER 2263 NEW BEST:: SOT 122690657 SOS 80109864 HAS SOPS 65405716 HAS SOUS 20788169 HAS SOUPS 20225136 WITH SCORE 2.0305245864E7
AT ITER 2265 NEW BEST:: SOT 122708878 SOS 80132588 HAS SOPS 65429167 HAS SOUS 20765711 HAS SOUPS 20204652 WITH SCORE 2.0284784588E7
AT ITER 2266 NEW BEST:: SOT 122700651 SOS 80116669 HAS SOPS 65416254 HAS SOUS 20763436 HAS SOUPS 20202377 WITH SCORE 2.0282493669E7
AT ITER 2267 NEW BEST:: SOT 122698496 SOS 80107442 HAS SOPS 65412914 HAS SOUS 20757421 HAS SOUPS 20196362 WITH SCORE 2.0276469442E7
AT ITER 2269 NEW BEST:: SOT 122690738 SOS 80099123 HAS SOPS 65405877 HAS SOUS 20736764 HAS SOUPS 20175705 WITH SCORE 2.0255804123E7
AT ITER 2273 NEW BEST:: SOT 122688797 SOS 80094891 HAS SOPS 65401593 HAS SOUS 20736323 HAS SOUPS 20175264 WITH SCORE 2.0255358891E7
AT ITER 2303 NEW BEST:: SOT 122686228 SOS 80092078 HAS SOPS 65398218 HAS SOUS 20730810 HAS SOUPS 20169765 WITH SCORE 2.0249857078E7
AT ITER 2308 NEW BEST:: SOT 122685663 SOS 80091239 HAS SOPS 65397762 HAS SOUS 20729234 HAS SOUPS 20168189 WITH SCORE 2.0248280239E7
AT ITER 2313 NEW BEST:: SOT 122665700 SOS 80052488 HAS SOPS 65355965 HAS SOUS 20723336 HAS SOUPS 20162291 WITH SCORE 2.0242343488E7
AT ITER 2326 NEW BEST:: SOT 122667728 SOS 80058928 HAS SOPS 65358606 HAS SOUS 20721788 HAS SOUPS 20160743 WITH SCORE 2.0240801928E7
AT ITER 2329 NEW BEST:: SOT 122665734 SOS 80056106 HAS SOPS 65355826 HAS SOUS 20719601 HAS SOUPS 20158556 WITH SCORE 2.0238612106E7
AT ITER 2336 NEW BEST:: SOT 122665708 SOS 80056092 HAS SOPS 65355766 HAS SOUS 20719441 HAS SOUPS 20158395 WITH SCORE 2.0238451092E7
AT ITER 2338 NEW BEST:: SOT 122665708 SOS 80060700 HAS SOPS 65361206 HAS SOUS 20719327 HAS SOUPS 20158281 WITH SCORE 2.02383417E7
AT ITER 2344 NEW BEST:: SOT 122642130 SOS 80016734 HAS SOPS 65358391 HAS SOUS 20699750 HAS SOUPS 20139490 WITH SCORE 2.0219506734E7
AT ITER 2345 NEW BEST:: SOT 122679890 SOS 80087944 HAS SOPS 65442558 HAS SOUS 20699257 HAS SOUPS 20138997 WITH SCORE 2.0219084944E7
AT ITER 2362 NEW BEST:: SOT 122676157 SOS 80084065 HAS SOPS 65436143 HAS SOUS 20696585 HAS SOUPS 20136325 WITH SCORE 2.0216409065E7
AT ITER 2365 NEW BEST:: SOT 122638174 SOS 80043687 HAS SOPS 65389122 HAS SOUS 20634274 HAS SOUPS 20074058 WITH SCORE 2.0154101687E7
AT ITER 2366 NEW BEST:: SOT 122638176 SOS 80043567 HAS SOPS 65388984 HAS SOUS 20634242 HAS SOUPS 20074026 WITH SCORE 2.0154069567E7
AT ITER 2390 NEW BEST:: SOT 122635466 SOS 80039963 HAS SOPS 65384300 HAS SOUS 20631205 HAS SOUPS 20070989 WITH SCORE 2.0151028963E7
AT ITER 2396 NEW BEST:: SOT 122634362 SOS 80040422 HAS SOPS 65382216 HAS SOUS 20624284 HAS SOUPS 20063982 WITH SCORE 2.0144022422E7
AT ITER 2404 NEW BEST:: SOT 122634029 SOS 80041381 HAS SOPS 65384286 HAS SOUS 20623317 HAS SOUPS 20063015 WITH SCORE 2.0143056381E7

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

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