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

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

=== Now, execution of the tool begins

BK_START 1589777708061

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 7
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 15 NEW BEST:: SOT 123446504 SOS 80236900 HAS SOPS 65216902 HAS SOUS 24077806 HAS SOUPS 23505032 WITH SCORE 2.35852689E7
AT ITER 22 NEW BEST:: SOT 123437919 SOS 80226167 HAS SOPS 65201405 HAS SOUS 24066084 HAS SOUPS 23493310 WITH SCORE 2.3573536167E7
AT ITER 59 NEW BEST:: SOT 123411281 SOS 80199840 HAS SOPS 65175078 HAS SOUS 24039757 HAS SOUPS 23466983 WITH SCORE 2.354718284E7
AT ITER 61 NEW BEST:: SOT 123413914 SOS 80204007 HAS SOPS 65178404 HAS SOUS 24037921 HAS SOUPS 23465147 WITH SCORE 2.3545351007E7
AT ITER 69 NEW BEST:: SOT 123414039 SOS 80202326 HAS SOPS 65177186 HAS SOUS 24034222 HAS SOUPS 23461624 WITH SCORE 2.3541826326E7
AT ITER 71 NEW BEST:: SOT 123445527 SOS 80282299 HAS SOPS 65270508 HAS SOUS 24030684 HAS SOUPS 23458086 WITH SCORE 2.3538368299E7
AT ITER 78 NEW BEST:: SOT 123445991 SOS 80280516 HAS SOPS 65270895 HAS SOUS 24029022 HAS SOUPS 23456424 WITH SCORE 2.3536704516E7
AT ITER 103 NEW BEST:: SOT 123448836 SOS 80286481 HAS SOPS 65272634 HAS SOUS 24023343 HAS SOUPS 23450745 WITH SCORE 2.3531031481E7
AT ITER 112 NEW BEST:: SOT 123449371 SOS 80286357 HAS SOPS 65272051 HAS SOUS 24017721 HAS SOUPS 23445155 WITH SCORE 2.3525441357E7
AT ITER 114 NEW BEST:: SOT 123464682 SOS 80329675 HAS SOPS 65328388 HAS SOUS 24001519 HAS SOUPS 23429186 WITH SCORE 2.3509515675E7
AT ITER 117 NEW BEST:: SOT 123477259 SOS 80356004 HAS SOPS 65358939 HAS SOUS 23980487 HAS SOUPS 23408103 WITH SCORE 2.3488459004E7
AT ITER 122 NEW BEST:: SOT 123473453 SOS 80352134 HAS SOPS 65354541 HAS SOUS 23974393 HAS SOUPS 23402025 WITH SCORE 2.3482377134E7
AT ITER 126 NEW BEST:: SOT 123481579 SOS 80370905 HAS SOPS 65368077 HAS SOUS 23959193 HAS SOUPS 23386825 WITH SCORE 2.3467195905E7
AT ITER 132 NEW BEST:: SOT 123481485 SOS 80367611 HAS SOPS 65365536 HAS SOUS 23958450 HAS SOUPS 23386082 WITH SCORE 2.3466449611E7
AT ITER 145 NEW BEST:: SOT 123481594 SOS 80371768 HAS SOPS 65369936 HAS SOUS 23957753 HAS SOUPS 23385495 WITH SCORE 2.3465866768E7
AT ITER 153 NEW BEST:: SOT 123480634 SOS 80370650 HAS SOPS 65368716 HAS SOUS 23956330 HAS SOUPS 23384072 WITH SCORE 2.346444265E7
AT ITER 159 NEW BEST:: SOT 123545600 SOS 80514569 HAS SOPS 65512591 HAS SOUS 23948867 HAS SOUPS 23376609 WITH SCORE 2.3457123569E7
AT ITER 162 NEW BEST:: SOT 123543841 SOS 80510825 HAS SOPS 65508790 HAS SOUS 23935092 HAS SOUPS 23363123 WITH SCORE 2.3443633825E7
AT ITER 163 NEW BEST:: SOT 123536650 SOS 80506593 HAS SOPS 65508478 HAS SOUS 23914297 HAS SOUPS 23342328 WITH SCORE 2.3422834593E7
AT ITER 175 NEW BEST:: SOT 123531973 SOS 80524541 HAS SOPS 65523675 HAS SOUS 23909630 HAS SOUPS 23337661 WITH SCORE 2.3418185541E7
AT ITER 181 NEW BEST:: SOT 123550829 SOS 80566513 HAS SOPS 65550892 HAS SOUS 23904548 HAS SOUPS 23332412 WITH SCORE 2.3412978513E7
AT ITER 190 NEW BEST:: SOT 123530521 SOS 80545530 HAS SOPS 65529586 HAS SOUS 23883717 HAS SOUPS 23311449 WITH SCORE 2.339199453E7
AT ITER 201 NEW BEST:: SOT 123531303 SOS 80566267 HAS SOPS 65546745 HAS SOUS 23883690 HAS SOUPS 23311422 WITH SCORE 2.3391988267E7
AT ITER 207 NEW BEST:: SOT 123520897 SOS 80561939 HAS SOPS 65539276 HAS SOUS 23853785 HAS SOUPS 23281517 WITH SCORE 2.3362078939E7
AT ITER 213 NEW BEST:: SOT 123484371 SOS 80523426 HAS SOPS 65501170 HAS SOUS 23801652 HAS SOUPS 23229483 WITH SCORE 2.3310006426E7
AT ITER 217 NEW BEST:: SOT 123521179 SOS 80582669 HAS SOPS 65573038 HAS SOUS 23794811 HAS SOUPS 23222220 WITH SCORE 2.3302802669E7
AT ITER 240 NEW BEST:: SOT 123519149 SOS 80586993 HAS SOPS 65572945 HAS SOUS 23784478 HAS SOUPS 23211887 WITH SCORE 2.3292473993E7
AT ITER 244 NEW BEST:: SOT 123497760 SOS 80561653 HAS SOPS 65549877 HAS SOUS 23739330 HAS SOUPS 23166885 WITH SCORE 2.3247446653E7
AT ITER 252 NEW BEST:: SOT 123484182 SOS 80532337 HAS SOPS 65520535 HAS SOUS 23730092 HAS SOUPS 23157647 WITH SCORE 2.3238179337E7
AT ITER 283 NEW BEST:: SOT 123487352 SOS 80530331 HAS SOPS 65507692 HAS SOUS 23717922 HAS SOUPS 23145357 WITH SCORE 2.3225887331E7
AT ITER 286 NEW BEST:: SOT 123485560 SOS 80530187 HAS SOPS 65506074 HAS SOUS 23710959 HAS SOUPS 23138394 WITH SCORE 2.3218924187E7
AT ITER 296 NEW BEST:: SOT 123482920 SOS 80520588 HAS SOPS 65500790 HAS SOUS 23700166 HAS SOUPS 23127601 WITH SCORE 2.3208121588E7
AT ITER 297 NEW BEST:: SOT 123480863 SOS 80517715 HAS SOPS 65501485 HAS SOUS 23693463 HAS SOUPS 23120898 WITH SCORE 2.3201415715E7
AT ITER 303 NEW BEST:: SOT 123472149 SOS 80496705 HAS SOPS 65474901 HAS SOUS 23682775 HAS SOUPS 23110210 WITH SCORE 2.3190706705E7
AT ITER 310 NEW BEST:: SOT 123470490 SOS 80494305 HAS SOPS 65473803 HAS SOUS 23682749 HAS SOUPS 23110201 WITH SCORE 2.3190695305E7
AT ITER 314 NEW BEST:: SOT 123473181 SOS 80498964 HAS SOPS 65478107 HAS SOUS 23681999 HAS SOUPS 23109479 WITH SCORE 2.3189977964E7
AT ITER 324 NEW BEST:: SOT 123472947 SOS 80497662 HAS SOPS 65477399 HAS SOUS 23681663 HAS SOUPS 23109143 WITH SCORE 2.3189640662E7
AT ITER 329 NEW BEST:: SOT 123473719 SOS 80523568 HAS SOPS 65496948 HAS SOUS 23643845 HAS SOUPS 23071199 WITH SCORE 2.3151722568E7
AT ITER 330 NEW BEST:: SOT 123471301 SOS 80524996 HAS SOPS 65496544 HAS SOUS 23642018 HAS SOUPS 23069372 WITH SCORE 2.3149896996E7
AT ITER 335 NEW BEST:: SOT 123471173 SOS 80524037 HAS SOPS 65495380 HAS SOUS 23641922 HAS SOUPS 23069276 WITH SCORE 2.3149800037E7
AT ITER 341 NEW BEST:: SOT 123462450 SOS 80522726 HAS SOPS 65485605 HAS SOUS 23616275 HAS SOUPS 23043629 WITH SCORE 2.3124151726E7
AT ITER 345 NEW BEST:: SOT 123493789 SOS 80620459 HAS SOPS 65548439 HAS SOUS 23572763 HAS SOUPS 23000117 WITH SCORE 2.3080737459E7
AT ITER 353 NEW BEST:: SOT 123482748 SOS 80587479 HAS SOPS 65526550 HAS SOUS 23566169 HAS SOUPS 22993523 WITH SCORE 2.3074110479E7
AT ITER 354 NEW BEST:: SOT 123482791 SOS 80587522 HAS SOPS 65526641 HAS SOUS 23566116 HAS SOUPS 22993518 WITH SCORE 2.3074105522E7
AT ITER 375 NEW BEST:: SOT 123498844 SOS 80618767 HAS SOPS 65557522 HAS SOUS 23564318 HAS SOUPS 22991720 WITH SCORE 2.3072338767E7
AT ITER 376 NEW BEST:: SOT 123499221 SOS 80656233 HAS SOPS 65610635 HAS SOUS 23564254 HAS SOUPS 22991656 WITH SCORE 2.3072312233E7
AT ITER 382 NEW BEST:: SOT 123505929 SOS 80667092 HAS SOPS 65626244 HAS SOUS 23555756 HAS SOUPS 22983158 WITH SCORE 2.3063825092E7
AT ITER 388 NEW BEST:: SOT 123495038 SOS 80652506 HAS SOPS 65612881 HAS SOUS 23535327 HAS SOUPS 22962800 WITH SCORE 2.3043452506E7
AT ITER 391 NEW BEST:: SOT 123491404 SOS 80642733 HAS SOPS 65617899 HAS SOUS 23531079 HAS SOUPS 22958552 WITH SCORE 2.3039194733E7
AT ITER 397 NEW BEST:: SOT 123481424 SOS 80621851 HAS SOPS 65614162 HAS SOUS 23522076 HAS SOUPS 22949956 WITH SCORE 2.3030577851E7
AT ITER 400 NEW BEST:: SOT 123485593 SOS 80628538 HAS SOPS 65615918 HAS SOUS 23516194 HAS SOUPS 22944074 WITH SCORE 2.3024702538E7
AT ITER 404 NEW BEST:: SOT 123466200 SOS 80614298 HAS SOPS 65595084 HAS SOUS 23461536 HAS SOUPS 22889285 WITH SCORE 2.2969899298E7
AT ITER 406 NEW BEST:: SOT 123459163 SOS 80601616 HAS SOPS 65585470 HAS SOUS 23452800 HAS SOUPS 22880549 WITH SCORE 2.2961150616E7
AT ITER 408 NEW BEST:: SOT 123459095 SOS 80607461 HAS SOPS 65590180 HAS SOUS 23441682 HAS SOUPS 22869388 WITH SCORE 2.2949995461E7
AT ITER 415 NEW BEST:: SOT 123459176 SOS 80617647 HAS SOPS 65614913 HAS SOUS 23441318 HAS SOUPS 22869024 WITH SCORE 2.2949641647E7
AT ITER 418 NEW BEST:: SOT 123461793 SOS 80617399 HAS SOPS 65612317 HAS SOUS 23428831 HAS SOUPS 22856537 WITH SCORE 2.2937154399E7
AT ITER 435 NEW BEST:: SOT 123437380 SOS 80590029 HAS SOPS 65599426 HAS SOUS 23420769 HAS SOUPS 22848475 WITH SCORE 2.2929065029E7
AT ITER 440 NEW BEST:: SOT 123432371 SOS 80582709 HAS SOPS 65596050 HAS SOUS 23417278 HAS SOUPS 22844984 WITH SCORE 2.2925566709E7
AT ITER 443 NEW BEST:: SOT 123430762 SOS 80582872 HAS SOPS 65598743 HAS SOUS 23405218 HAS SOUPS 22833455 WITH SCORE 2.2914037872E7
AT ITER 450 NEW BEST:: SOT 123386343 SOS 80537219 HAS SOPS 65553015 HAS SOUS 23360128 HAS SOUPS 22788365 WITH SCORE 2.2868902219E7
AT ITER 471 NEW BEST:: SOT 123384662 SOS 80540693 HAS SOPS 65551144 HAS SOUS 23350600 HAS SOUPS 22778837 WITH SCORE 2.2859377693E7
AT ITER 475 NEW BEST:: SOT 123377414 SOS 80544811 HAS SOPS 65555738 HAS SOUS 23344530 HAS SOUPS 22772767 WITH SCORE 2.2853311811E7
AT ITER 481 NEW BEST:: SOT 123371623 SOS 80539015 HAS SOPS 65547109 HAS SOUS 23336946 HAS SOUPS 22764999 WITH SCORE 2.2845538015E7
AT ITER 489 NEW BEST:: SOT 123351058 SOS 80500251 HAS SOPS 65511724 HAS SOUS 23333152 HAS SOUPS 22761205 WITH SCORE 2.2841705251E7
AT ITER 491 NEW BEST:: SOT 123333125 SOS 80479696 HAS SOPS 65492219 HAS SOUS 23297129 HAS SOUPS 22725315 WITH SCORE 2.2805794696E7
AT ITER 498 NEW BEST:: SOT 123330624 SOS 80476246 HAS SOPS 65489729 HAS SOUS 23295007 HAS SOUPS 22723193 WITH SCORE 2.2803669246E7
AT ITER 503 NEW BEST:: SOT 123331905 SOS 80479679 HAS SOPS 65488673 HAS SOUS 23290172 HAS SOUPS 22718358 WITH SCORE 2.2798837679E7
AT ITER 507 NEW BEST:: SOT 123331994 SOS 80489920 HAS SOPS 65503304 HAS SOUS 23289404 HAS SOUPS 22717590 WITH SCORE 2.279807992E7
AT ITER 516 NEW BEST:: SOT 123330731 SOS 80496216 HAS SOPS 65507153 HAS SOUS 23282197 HAS SOUPS 22710383 WITH SCORE 2.2790879216E7
AT ITER 524 NEW BEST:: SOT 123363601 SOS 80581945 HAS SOPS 65601461 HAS SOUS 23266275 HAS SOUPS 22694461 WITH SCORE 2.2775042945E7
AT ITER 525 NEW BEST:: SOT 123369696 SOS 80593896 HAS SOPS 65613437 HAS SOUS 23264254 HAS SOUPS 22692440 WITH SCORE 2.2773033896E7
AT ITER 531 NEW BEST:: SOT 123378921 SOS 80612357 HAS SOPS 65633056 HAS SOUS 23259810 HAS SOUPS 22688081 WITH SCORE 2.2768693357E7
AT ITER 532 NEW BEST:: SOT 123379208 SOS 80626880 HAS SOPS 65643269 HAS SOUS 23258875 HAS SOUPS 22687146 WITH SCORE 2.276777288E7
AT ITER 542 NEW BEST:: SOT 123378131 SOS 80625209 HAS SOPS 65635129 HAS SOUS 23253339 HAS SOUPS 22681485 WITH SCORE 2.2762110209E7
AT ITER 551 NEW BEST:: SOT 123368616 SOS 80609726 HAS SOPS 65641367 HAS SOUS 23219270 HAS SOUPS 22647680 WITH SCORE 2.2728289726E7
AT ITER 555 NEW BEST:: SOT 123356807 SOS 80602361 HAS SOPS 65636048 HAS SOUS 23185777 HAS SOUPS 22614400 WITH SCORE 2.2695002361E7
AT ITER 568 NEW BEST:: SOT 123354007 SOS 80599321 HAS SOPS 65632716 HAS SOUS 23181602 HAS SOUPS 22610225 WITH SCORE 2.2690824321E7
AT ITER 578 NEW BEST:: SOT 123352591 SOS 80600401 HAS SOPS 65632499 HAS SOUS 23178250 HAS SOUPS 22606873 WITH SCORE 2.2687473401E7
AT ITER 605 NEW BEST:: SOT 123341072 SOS 80589247 HAS SOPS 65624542 HAS SOUS 23145714 HAS SOUPS 22574456 WITH SCORE 2.2655045247E7
AT ITER 610 NEW BEST:: SOT 123354575 SOS 80611361 HAS SOPS 65629609 HAS SOUS 23126676 HAS SOUPS 22555418 WITH SCORE 2.2636029361E7
AT ITER 615 NEW BEST:: SOT 123354015 SOS 80611695 HAS SOPS 65630192 HAS SOUS 23127179 HAS SOUPS 22554552 WITH SCORE 2.2635163695E7
AT ITER 618 NEW BEST:: SOT 123365548 SOS 80642149 HAS SOPS 65652513 HAS SOUS 23127389 HAS SOUPS 22553858 WITH SCORE 2.2634500149E7
AT ITER 624 NEW BEST:: SOT 123364010 SOS 80640470 HAS SOPS 65650052 HAS SOUS 23124060 HAS SOUPS 22550506 WITH SCORE 2.263114647E7
AT ITER 649 NEW BEST:: SOT 123361229 SOS 80638289 HAS SOPS 65642452 HAS SOUS 23116005 HAS SOUPS 22542451 WITH SCORE 2.2623089289E7
AT ITER 651 NEW BEST:: SOT 123402615 SOS 80714536 HAS SOPS 65714888 HAS SOUS 23105113 HAS SOUPS 22529748 WITH SCORE 2.2610462536E7
AT ITER 654 NEW BEST:: SOT 123429004 SOS 80779973 HAS SOPS 65791243 HAS SOUS 23098555 HAS SOUPS 22523478 WITH SCORE 2.2604257973E7
AT ITER 657 NEW BEST:: SOT 123446749 SOS 80828958 HAS SOPS 65825073 HAS SOUS 23081770 HAS SOUPS 22506549 WITH SCORE 2.2587377958E7
AT ITER 663 NEW BEST:: SOT 123439800 SOS 80819570 HAS SOPS 65817771 HAS SOUS 23060475 HAS SOUPS 22485254 WITH SCORE 2.256607357E7
AT ITER 676 NEW BEST:: SOT 123437028 SOS 80814531 HAS SOPS 65812995 HAS SOUS 23053704 HAS SOUPS 22478483 WITH SCORE 2.2559297531E7
AT ITER 687 NEW BEST:: SOT 123445612 SOS 80830226 HAS SOPS 65819729 HAS SOUS 23047099 HAS SOUPS 22471878 WITH SCORE 2.2552708226E7
AT ITER 689 NEW BEST:: SOT 123425824 SOS 80815984 HAS SOPS 65821580 HAS SOUS 23024731 HAS SOUPS 22449510 WITH SCORE 2.2530325984E7
AT ITER 693 NEW BEST:: SOT 123439594 SOS 80819473 HAS SOPS 65897302 HAS SOUS 23018807 HAS SOUPS 22449150 WITH SCORE 2.2529969473E7
AT ITER 701 NEW BEST:: SOT 123433546 SOS 80812633 HAS SOPS 65900692 HAS SOUS 22995408 HAS SOUPS 22426008 WITH SCORE 2.2506820633E7
AT ITER 703 NEW BEST:: SOT 123400967 SOS 80756093 HAS SOPS 65832862 HAS SOUS 22960881 HAS SOUPS 22388580 WITH SCORE 2.2469336093E7
AT ITER 704 NEW BEST:: SOT 123394617 SOS 80749743 HAS SOPS 65826512 HAS SOUS 22953547 HAS SOUPS 22381246 WITH SCORE 2.2461995743E7
AT ITER 705 NEW BEST:: SOT 123394815 SOS 80748462 HAS SOPS 65825305 HAS SOUS 22946901 HAS SOUPS 22374685 WITH SCORE 2.2455433462E7
AT ITER 711 NEW BEST:: SOT 123394630 SOS 80742822 HAS SOPS 65820517 HAS SOUS 22938559 HAS SOUPS 22366404 WITH SCORE 2.2447146822E7
AT ITER 714 NEW BEST:: SOT 123387151 SOS 80737566 HAS SOPS 65818334 HAS SOUS 22914102 HAS SOUPS 22341947 WITH SCORE 2.2422684566E7
AT ITER 719 NEW BEST:: SOT 123373974 SOS 80724389 HAS SOPS 65805125 HAS SOUS 22893597 HAS SOUPS 22321442 WITH SCORE 2.2402166389E7
AT ITER 752 NEW BEST:: SOT 123373530 SOS 80728598 HAS SOPS 65818640 HAS SOUS 22892329 HAS SOUPS 22320296 WITH SCORE 2.2401024598E7
AT ITER 758 NEW BEST:: SOT 123371726 SOS 80725743 HAS SOPS 65815017 HAS SOUS 22888749 HAS SOUPS 22316716 WITH SCORE 2.2397441743E7
AT ITER 776 NEW BEST:: SOT 123370874 SOS 80724771 HAS SOPS 65813927 HAS SOUS 22886966 HAS SOUPS 22314998 WITH SCORE 2.2395722771E7
AT ITER 778 NEW BEST:: SOT 123360705 SOS 80709754 HAS SOPS 65803567 HAS SOUS 22879108 HAS SOUPS 22307140 WITH SCORE 2.2387849754E7
AT ITER 781 NEW BEST:: SOT 123356965 SOS 80695896 HAS SOPS 65788588 HAS SOUS 22874806 HAS SOUPS 22302838 WITH SCORE 2.2383533896E7
AT ITER 790 NEW BEST:: SOT 123350732 SOS 80699454 HAS SOPS 65795185 HAS SOUS 22861215 HAS SOUPS 22289247 WITH SCORE 2.2369946454E7
AT ITER 795 NEW BEST:: SOT 123303811 SOS 80636600 HAS SOPS 65733368 HAS SOUS 22823554 HAS SOUPS 22251526 WITH SCORE 2.23321626E7
AT ITER 799 NEW BEST:: SOT 123298038 SOS 80631733 HAS SOPS 65726565 HAS SOUS 22810335 HAS SOUPS 22238249 WITH SCORE 2.2318880733E7
AT ITER 804 NEW BEST:: SOT 123297243 SOS 80626147 HAS SOPS 65727402 HAS SOUS 22809319 HAS SOUPS 22237347 WITH SCORE 2.2317973147E7
AT ITER 809 NEW BEST:: SOT 123288448 SOS 80615366 HAS SOPS 65715525 HAS SOUS 22799271 HAS SOUPS 22227299 WITH SCORE 2.2307914366E7
AT ITER 813 NEW BEST:: SOT 123288382 SOS 80615110 HAS SOPS 65715117 HAS SOUS 22798519 HAS SOUPS 22226547 WITH SCORE 2.230716211E7
AT ITER 820 NEW BEST:: SOT 123288382 SOS 80619190 HAS SOPS 65720349 HAS SOUS 22798441 HAS SOUPS 22226469 WITH SCORE 2.230708819E7
AT ITER 823 NEW BEST:: SOT 123290788 SOS 80614698 HAS SOPS 65731747 HAS SOUS 22786657 HAS SOUPS 22214685 WITH SCORE 2.2295299698E7
AT ITER 826 NEW BEST:: SOT 123286595 SOS 80608922 HAS SOPS 65726395 HAS SOUS 22780732 HAS SOUPS 22208760 WITH SCORE 2.2289368922E7
AT ITER 839 NEW BEST:: SOT 123283665 SOS 80605760 HAS SOPS 65722581 HAS SOUS 22775706 HAS SOUPS 22203734 WITH SCORE 2.228433976E7
AT ITER 844 NEW BEST:: SOT 123283665 SOS 80609056 HAS SOPS 65727733 HAS SOUS 22775631 HAS SOUPS 22203659 WITH SCORE 2.2284268056E7
AT ITER 853 NEW BEST:: SOT 123325396 SOS 80688403 HAS SOPS 65803142 HAS SOUS 22758472 HAS SOUPS 22186073 WITH SCORE 2.2266761403E7
AT ITER 856 NEW BEST:: SOT 123315919 SOS 80671773 HAS SOPS 65788759 HAS SOUS 22733375 HAS SOUPS 22160976 WITH SCORE 2.2241647773E7
AT ITER 859 NEW BEST:: SOT 123312735 SOS 80669480 HAS SOPS 65789747 HAS SOUS 22731674 HAS SOUPS 22159275 WITH SCORE 2.223994448E7
AT ITER 871 NEW BEST:: SOT 123245016 SOS 80593328 HAS SOPS 65717159 HAS SOUS 22635753 HAS SOUPS 22063391 WITH SCORE 2.2143984328E7
AT ITER 875 NEW BEST:: SOT 123246136 SOS 80602501 HAS SOPS 65728169 HAS SOUS 22632641 HAS SOUPS 22060279 WITH SCORE 2.2140881501E7
AT ITER 884 NEW BEST:: SOT 123223686 SOS 80552546 HAS SOPS 65688457 HAS SOUS 22630215 HAS SOUPS 22057853 WITH SCORE 2.2138405546E7
AT ITER 888 NEW BEST:: SOT 123217988 SOS 80549486 HAS SOPS 65676334 HAS SOUS 22606482 HAS SOUPS 22034120 WITH SCORE 2.2114669486E7
AT ITER 891 NEW BEST:: SOT 123217577 SOS 80547868 HAS SOPS 65678039 HAS SOUS 22605620 HAS SOUPS 22033184 WITH SCORE 2.2113731868E7
AT ITER 896 NEW BEST:: SOT 123216111 SOS 80541689 HAS SOPS 65679459 HAS SOUS 22605233 HAS SOUPS 22032890 WITH SCORE 2.2113431689E7
AT ITER 900 NEW BEST:: SOT 123207418 SOS 80525825 HAS SOPS 65674309 HAS SOUS 22601397 HAS SOUPS 22029054 WITH SCORE 2.2109579825E7
AT ITER 910 NEW BEST:: SOT 123207103 SOS 80530177 HAS SOPS 65674167 HAS SOUS 22595222 HAS SOUPS 22022879 WITH SCORE 2.2103409177E7
AT ITER 915 NEW BEST:: SOT 123207230 SOS 80525208 HAS SOPS 65670518 HAS SOUS 22594569 HAS SOUPS 22022788 WITH SCORE 2.2103313208E7
AT ITER 927 NEW BEST:: SOT 123216465 SOS 80536192 HAS SOPS 65681316 HAS SOUS 22590135 HAS SOUPS 22018376 WITH SCORE 2.2098912192E7
AT ITER 949 NEW BEST:: SOT 123215500 SOS 80533989 HAS SOPS 65678804 HAS SOUS 22586744 HAS SOUPS 22014985 WITH SCORE 2.2095518989E7
AT ITER 952 NEW BEST:: SOT 123229037 SOS 80529045 HAS SOPS 65690493 HAS SOUS 22580087 HAS SOUPS 22010874 WITH SCORE 2.2091403045E7
AT ITER 956 NEW BEST:: SOT 123215195 SOS 80517940 HAS SOPS 65674164 HAS SOUS 22570201 HAS SOUPS 22000561 WITH SCORE 2.208107894E7
AT ITER 965 NEW BEST:: SOT 123205927 SOS 80507975 HAS SOPS 65666959 HAS SOUS 22544781 HAS SOUPS 21975390 WITH SCORE 2.2055897975E7
AT ITER 967 NEW BEST:: SOT 123186025 SOS 80484197 HAS SOPS 65634626 HAS SOUS 22485443 HAS SOUPS 21916052 WITH SCORE 2.1996536197E7
AT ITER 968 NEW BEST:: SOT 123162411 SOS 80426321 HAS SOPS 65598636 HAS SOUS 22471245 HAS SOUPS 21902004 WITH SCORE 2.1982430321E7
AT ITER 969 NEW BEST:: SOT 123167890 SOS 80443593 HAS SOPS 65614668 HAS SOUS 22465432 HAS SOUPS 21896191 WITH SCORE 2.1976634593E7
AT ITER 981 NEW BEST:: SOT 123173920 SOS 80459086 HAS SOPS 65627864 HAS SOUS 22465426 HAS SOUPS 21896043 WITH SCORE 2.1976502086E7
AT ITER 1009 NEW BEST:: SOT 123174359 SOS 80458678 HAS SOPS 65627339 HAS SOUS 22464577 HAS SOUPS 21895299 WITH SCORE 2.1975757678E7
AT ITER 1013 NEW BEST:: SOT 123174355 SOS 80458329 HAS SOPS 65626615 HAS SOUS 22463178 HAS SOUPS 21893900 WITH SCORE 2.1974358329E7
AT ITER 1030 NEW BEST:: SOT 123228403 SOS 80511121 HAS SOPS 65666499 HAS SOUS 22433889 HAS SOUPS 21861175 WITH SCORE 2.1941686121E7
AT ITER 1046 NEW BEST:: SOT 123227655 SOS 80513134 HAS SOPS 65663558 HAS SOUS 22427368 HAS SOUPS 21854654 WITH SCORE 2.1935167134E7
AT ITER 1049 NEW BEST:: SOT 123245356 SOS 80549962 HAS SOPS 65704801 HAS SOUS 22409268 HAS SOUPS 21836554 WITH SCORE 2.1917103962E7
AT ITER 1061 NEW BEST:: SOT 123284835 SOS 80658649 HAS SOPS 65804197 HAS SOUS 22406886 HAS SOUPS 21834172 WITH SCORE 2.1914830649E7
AT ITER 1065 NEW BEST:: SOT 123290475 SOS 80680916 HAS SOPS 65821407 HAS SOUS 22394958 HAS SOUPS 21821822 WITH SCORE 2.1902502916E7
AT ITER 1071 NEW BEST:: SOT 123288997 SOS 80679502 HAS SOPS 65820253 HAS SOUS 22389916 HAS SOUPS 21816780 WITH SCORE 2.1897459502E7
AT ITER 1072 NEW BEST:: SOT 123283195 SOS 80670259 HAS SOPS 65813178 HAS SOUS 22387221 HAS SOUPS 21814085 WITH SCORE 2.1894755259E7
AT ITER 1093 NEW BEST:: SOT 123283119 SOS 80670175 HAS SOPS 65813108 HAS SOUS 22387113 HAS SOUPS 21813978 WITH SCORE 2.1894648175E7
AT ITER 1100 NEW BEST:: SOT 123284756 SOS 80671711 HAS SOPS 65816716 HAS SOUS 22381427 HAS SOUPS 21808728 WITH SCORE 2.1889399711E7
AT ITER 1116 NEW BEST:: SOT 123276446 SOS 80668006 HAS SOPS 65809942 HAS SOUS 22356530 HAS SOUPS 21783831 WITH SCORE 2.1864499006E7
AT ITER 1119 NEW BEST:: SOT 123274938 SOS 80666498 HAS SOPS 65807654 HAS SOUS 22353545 HAS SOUPS 21780846 WITH SCORE 2.1861512498E7
AT ITER 1120 NEW BEST:: SOT 123274203 SOS 80662910 HAS SOPS 65807506 HAS SOUS 22351028 HAS SOUPS 21778394 WITH SCORE 2.185905691E7
AT ITER 1127 NEW BEST:: SOT 123258605 SOS 80638215 HAS SOPS 65782839 HAS SOUS 22327371 HAS SOUPS 21754737 WITH SCORE 2.1835375215E7
AT ITER 1140 NEW BEST:: SOT 123238181 SOS 80620481 HAS SOPS 65768163 HAS SOUS 22275221 HAS SOUPS 21702587 WITH SCORE 2.1783207481E7
AT ITER 1151 NEW BEST:: SOT 123241877 SOS 80651124 HAS SOPS 65791021 HAS SOUS 22266691 HAS SOUPS 21694057 WITH SCORE 2.1774708124E7
AT ITER 1152 NEW BEST:: SOT 123242286 SOS 80647909 HAS SOPS 65788392 HAS SOUS 22263773 HAS SOUPS 21691294 WITH SCORE 2.1771941909E7
AT ITER 1155 NEW BEST:: SOT 123238751 SOS 80645486 HAS SOPS 65784308 HAS SOUS 22257852 HAS SOUPS 21685259 WITH SCORE 2.1765904486E7
AT ITER 1163 NEW BEST:: SOT 123237912 SOS 80644597 HAS SOPS 65780986 HAS SOUS 22248741 HAS SOUPS 21676148 WITH SCORE 2.1756792597E7
AT ITER 1170 NEW BEST:: SOT 123236995 SOS 80643900 HAS SOPS 65779767 HAS SOUS 22246555 HAS SOUPS 21673962 WITH SCORE 2.17546059E7
AT ITER 1175 NEW BEST:: SOT 123242027 SOS 80664089 HAS SOPS 65797638 HAS SOUS 22230744 HAS SOUPS 21658151 WITH SCORE 2.1738815089E7
AT ITER 1186 NEW BEST:: SOT 123234878 SOS 80654147 HAS SOPS 65788097 HAS SOUS 22215494 HAS SOUPS 21642901 WITH SCORE 2.1723555147E7
AT ITER 1200 NEW BEST:: SOT 123216164 SOS 80617989 HAS SOPS 65760219 HAS SOUS 22199280 HAS SOUPS 21626687 WITH SCORE 2.1707304989E7
AT ITER 1235 NEW BEST:: SOT 123212236 SOS 80614817 HAS SOPS 65754413 HAS SOUS 22189283 HAS SOUPS 21616628 WITH SCORE 2.1697242817E7
AT ITER 1236 NEW BEST:: SOT 123212531 SOS 80621888 HAS SOPS 65765485 HAS SOUS 22188741 HAS SOUPS 21616155 WITH SCORE 2.1696776888E7
AT ITER 1260 NEW BEST:: SOT 123212531 SOS 80624372 HAS SOPS 65766593 HAS SOUS 22188645 HAS SOUPS 21616059 WITH SCORE 2.1696683372E7
AT ITER 1261 NEW BEST:: SOT 123205766 SOS 80616510 HAS SOPS 65754666 HAS SOUS 22174511 HAS SOUPS 21601925 WITH SCORE 2.168254151E7
AT ITER 1262 NEW BEST:: SOT 123211730 SOS 80619753 HAS SOPS 65744288 HAS SOUS 22167482 HAS SOUPS 21594896 WITH SCORE 2.1675515753E7
AT ITER 1266 NEW BEST:: SOT 123204427 SOS 80611983 HAS SOPS 65733096 HAS SOUS 22151752 HAS SOUPS 21579166 WITH SCORE 2.1659777983E7
AT ITER 1269 NEW BEST:: SOT 123200949 SOS 80608107 HAS SOPS 65729455 HAS SOUS 22144520 HAS SOUPS 21571972 WITH SCORE 2.1652580107E7
AT ITER 1273 NEW BEST:: SOT 123201684 SOS 80611665 HAS SOPS 65730879 HAS SOUS 22141794 HAS SOUPS 21569246 WITH SCORE 2.1649857665E7
AT ITER 1284 NEW BEST:: SOT 123219827 SOS 80647214 HAS SOPS 65755579 HAS SOUS 22141837 HAS SOUPS 21569187 WITH SCORE 2.1649834214E7
AT ITER 1313 NEW BEST:: SOT 123225627 SOS 80655157 HAS SOPS 65758277 HAS SOUS 22130420 HAS SOUPS 21557770 WITH SCORE 2.1638425157E7
AT ITER 1314 NEW BEST:: SOT 123227005 SOS 80661272 HAS SOPS 65767930 HAS SOUS 22128972 HAS SOUPS 21556322 WITH SCORE 2.1636983272E7
AT ITER 1315 NEW BEST:: SOT 123227742 SOS 80671201 HAS SOPS 65774453 HAS SOUS 22120693 HAS SOUPS 21548043 WITH SCORE 2.1628714201E7
AT ITER 1326 NEW BEST:: SOT 123227433 SOS 80673334 HAS SOPS 65768927 HAS SOUS 22111302 HAS SOUPS 21538652 WITH SCORE 2.1619325334E7
AT ITER 1335 NEW BEST:: SOT 123230677 SOS 80680082 HAS SOPS 65769800 HAS SOUS 22105341 HAS SOUPS 21532428 WITH SCORE 2.1613108082E7
AT ITER 1384 NEW BEST:: SOT 123229718 SOS 80679344 HAS SOPS 65769485 HAS SOUS 22102919 HAS SOUPS 21530150 WITH SCORE 2.1610829344E7
AT ITER 1396 NEW BEST:: SOT 123231235 SOS 80688566 HAS SOPS 65782391 HAS SOUS 22060411 HAS SOUPS 21487846 WITH SCORE 2.1568534566E7
AT ITER 1404 NEW BEST:: SOT 123172767 SOS 80630141 HAS SOPS 65723923 HAS SOUS 22002072 HAS SOUPS 21429464 WITH SCORE 2.1510094141E7
AT ITER 1413 NEW BEST:: SOT 123174937 SOS 80631938 HAS SOPS 65725923 HAS SOUS 22000140 HAS SOUPS 21427532 WITH SCORE 2.1508163938E7
AT ITER 1414 NEW BEST:: SOT 123175325 SOS 80631708 HAS SOPS 65725086 HAS SOUS 21998887 HAS SOUPS 21426318 WITH SCORE 2.1506949708E7
AT ITER 1442 NEW BEST:: SOT 123174895 SOS 80628652 HAS SOPS 65723637 HAS SOUS 21998414 HAS SOUPS 21425845 WITH SCORE 2.1506473652E7
AT ITER 1468 NEW BEST:: SOT 123187101 SOS 80635747 HAS SOPS 65724394 HAS SOUS 21990949 HAS SOUPS 21418380 WITH SCORE 2.1499015747E7
AT ITER 1488 NEW BEST:: SOT 123167825 SOS 80613592 HAS SOPS 65700696 HAS SOUS 21945770 HAS SOUPS 21373201 WITH SCORE 2.1453814592E7
AT ITER 1502 NEW BEST:: SOT 123164268 SOS 80607829 HAS SOPS 65696408 HAS SOUS 21939935 HAS SOUPS 21367366 WITH SCORE 2.1447973829E7
AT ITER 1517 NEW BEST:: SOT 123145400 SOS 80587237 HAS SOPS 65687899 HAS SOUS 21931801 HAS SOUPS 21359232 WITH SCORE 2.1439819237E7
AT ITER 1525 NEW BEST:: SOT 123107594 SOS 80541204 HAS SOPS 65633239 HAS SOUS 21842760 HAS SOUPS 21270519 WITH SCORE 2.1351060204E7
AT ITER 1559 NEW BEST:: SOT 123048111 SOS 80479109 HAS SOPS 65572669 HAS SOUS 21791120 HAS SOUPS 21218932 WITH SCORE 2.1299411109E7
AT ITER 1615 NEW BEST:: SOT 123048045 SOS 80478807 HAS SOPS 65572075 HAS SOUS 21790958 HAS SOUPS 21218770 WITH SCORE 2.1299248807E7
AT ITER 1637 NEW BEST:: SOT 123048068 SOS 80479316 HAS SOPS 65572467 HAS SOUS 21790746 HAS SOUPS 21218558 WITH SCORE 2.1299037316E7
AT ITER 1646 NEW BEST:: SOT 123056246 SOS 80510156 HAS SOPS 65609465 HAS SOUS 21779499 HAS SOUPS 21207311 WITH SCORE 2.1287821156E7
AT ITER 1647 NEW BEST:: SOT 123053719 SOS 80508992 HAS SOPS 65605895 HAS SOUS 21772897 HAS SOUPS 21200709 WITH SCORE 2.1281217992E7
AT ITER 1656 NEW BEST:: SOT 123058767 SOS 80521505 HAS SOPS 65610248 HAS SOUS 21760687 HAS SOUPS 21188499 WITH SCORE 2.1269020505E7
AT ITER 1674 NEW BEST:: SOT 123053791 SOS 80521684 HAS SOPS 65607674 HAS SOUS 21739992 HAS SOUPS 21167791 WITH SCORE 2.1248312684E7
AT ITER 1675 NEW BEST:: SOT 123053962 SOS 80521966 HAS SOPS 65610134 HAS SOUS 21733038 HAS SOUPS 21160837 WITH SCORE 2.1241358966E7
AT ITER 1677 NEW BEST:: SOT 123047153 SOS 80513536 HAS SOPS 65604505 HAS SOUS 21719779 HAS SOUPS 21147663 WITH SCORE 2.1228176536E7
AT ITER 1678 NEW BEST:: SOT 123043060 SOS 80505262 HAS SOPS 65597265 HAS SOUS 21715410 HAS SOUPS 21143337 WITH SCORE 2.1223842262E7
AT ITER 1680 NEW BEST:: SOT 123046788 SOS 80515582 HAS SOPS 65606644 HAS SOUS 21713290 HAS SOUPS 21141217 WITH SCORE 2.1221732582E7
AT ITER 1690 NEW BEST:: SOT 123045384 SOS 80513979 HAS SOPS 65605201 HAS SOUS 21711694 HAS SOUPS 21139637 WITH SCORE 2.1220150979E7
AT ITER 1707 NEW BEST:: SOT 123043415 SOS 80520955 HAS SOPS 65609940 HAS SOUS 21692253 HAS SOUPS 21120196 WITH SCORE 2.1200716955E7
AT ITER 1708 NEW BEST:: SOT 123043085 SOS 80519198 HAS SOPS 65604088 HAS SOUS 21692044 HAS SOUPS 21119987 WITH SCORE 2.1200506198E7
AT ITER 1718 NEW BEST:: SOT 123053830 SOS 80569468 HAS SOPS 65643511 HAS SOUS 21689864 HAS SOUPS 21117807 WITH SCORE 2.1198376468E7
AT ITER 1721 NEW BEST:: SOT 123050417 SOS 80562962 HAS SOPS 65636921 HAS SOUS 21684966 HAS SOUPS 21112909 WITH SCORE 2.1193471962E7
AT ITER 1729 NEW BEST:: SOT 123050121 SOS 80562666 HAS SOPS 65636513 HAS SOUS 21684058 HAS SOUPS 21111989 WITH SCORE 2.1192551666E7
AT ITER 1745 NEW BEST:: SOT 123027386 SOS 80540279 HAS SOPS 65617765 HAS SOUS 21674342 HAS SOUPS 21102273 WITH SCORE 2.1182813279E7
AT ITER 1751 NEW BEST:: SOT 123036996 SOS 80592781 HAS SOPS 65657647 HAS SOUS 21674172 HAS SOUPS 21102103 WITH SCORE 2.1182695781E7
AT ITER 1756 NEW BEST:: SOT 123036836 SOS 80592593 HAS SOPS 65657939 HAS SOUS 21674052 HAS SOUPS 21101983 WITH SCORE 2.1182575593E7
AT ITER 1766 NEW BEST:: SOT 123051534 SOS 80601808 HAS SOPS 65661726 HAS SOUS 21660279 HAS SOUPS 21088210 WITH SCORE 2.1168811808E7
AT ITER 1772 NEW BEST:: SOT 123054168 SOS 80604444 HAS SOPS 65665337 HAS SOUS 21652883 HAS SOUPS 21081062 WITH SCORE 2.1161666444E7
AT ITER 1773 NEW BEST:: SOT 123054625 SOS 80605802 HAS SOPS 65665457 HAS SOUS 21650839 HAS SOUPS 21079018 WITH SCORE 2.1159623802E7
AT ITER 1774 NEW BEST:: SOT 123054318 SOS 80601504 HAS SOPS 65662199 HAS SOUS 21649716 HAS SOUPS 21077895 WITH SCORE 2.1158496504E7
AT ITER 1784 NEW BEST:: SOT 123044755 SOS 80582176 HAS SOPS 65648302 HAS SOUS 21639374 HAS SOUPS 21067553 WITH SCORE 2.1148135176E7
AT ITER 1798 NEW BEST:: SOT 123044893 SOS 80582309 HAS SOPS 65648643 HAS SOUS 21639248 HAS SOUPS 21067483 WITH SCORE 2.1148065309E7
AT ITER 1810 NEW BEST:: SOT 123063067 SOS 80617865 HAS SOPS 65676422 HAS SOUS 21638229 HAS SOUPS 21066464 WITH SCORE 2.1147081865E7
AT ITER 1816 NEW BEST:: SOT 123069580 SOS 80624659 HAS SOPS 65682206 HAS SOUS 21617436 HAS SOUPS 21048602 WITH SCORE 2.1129226659E7
AT ITER 1829 NEW BEST:: SOT 123058692 SOS 80610206 HAS SOPS 65666636 HAS SOUS 21610316 HAS SOUPS 21041482 WITH SCORE 2.1122092206E7
AT ITER 1842 NEW BEST:: SOT 123052478 SOS 80597851 HAS SOPS 65656633 HAS SOUS 21607579 HAS SOUPS 21038835 WITH SCORE 2.1119432851E7
AT ITER 1857 NEW BEST:: SOT 123049240 SOS 80594145 HAS SOPS 65651796 HAS SOUS 21601685 HAS SOUPS 21032941 WITH SCORE 2.1113535145E7
AT ITER 1858 NEW BEST:: SOT 123047267 SOS 80589837 HAS SOPS 65658616 HAS SOUS 21598589 HAS SOUPS 21029995 WITH SCORE 2.1110584837E7
AT ITER 1859 NEW BEST:: SOT 123047267 SOS 80589476 HAS SOPS 65658331 HAS SOUS 21598589 HAS SOUPS 21029995 WITH SCORE 2.1110584476E7
AT ITER 1880 NEW BEST:: SOT 123049980 SOS 80596219 HAS SOPS 65690607 HAS SOUS 21596849 HAS SOUPS 21028255 WITH SCORE 2.1108851219E7
AT ITER 1885 NEW BEST:: SOT 123096836 SOS 80667700 HAS SOPS 65796399 HAS SOUS 21586653 HAS SOUPS 21019019 WITH SCORE 2.10996867E7
AT ITER 1887 NEW BEST:: SOT 123096932 SOS 80681189 HAS SOPS 65817335 HAS SOUS 21586623 HAS SOUPS 21018989 WITH SCORE 2.1099670189E7
AT ITER 1895 NEW BEST:: SOT 123093649 SOS 80679705 HAS SOPS 65822591 HAS SOUS 21579737 HAS SOUPS 21012103 WITH SCORE 2.1092782705E7
AT ITER 1898 NEW BEST:: SOT 123093778 SOS 80675385 HAS SOPS 65824181 HAS SOUS 21564834 HAS SOUPS 20999816 WITH SCORE 2.1080491385E7
AT ITER 1910 NEW BEST:: SOT 123083720 SOS 80653587 HAS SOPS 65801963 HAS SOUS 21563674 HAS SOUPS 20998656 WITH SCORE 2.1079309587E7
AT ITER 1918 NEW BEST:: SOT 123081893 SOS 80644367 HAS SOPS 65789235 HAS SOUS 21550542 HAS SOUPS 20985524 WITH SCORE 2.1066168367E7
AT ITER 1941 NEW BEST:: SOT 123080175 SOS 80642644 HAS SOPS 65787354 HAS SOUS 21549911 HAS SOUPS 20984756 WITH SCORE 2.1065398644E7
AT ITER 1967 NEW BEST:: SOT 123077898 SOS 80639653 HAS SOPS 65785893 HAS SOUS 21545535 HAS SOUPS 20980441 WITH SCORE 2.1061080653E7
AT ITER 1974 NEW BEST:: SOT 123064905 SOS 80625605 HAS SOPS 65771422 HAS SOUS 21522242 HAS SOUPS 20956231 WITH SCORE 2.1036856605E7
AT ITER 1989 NEW BEST:: SOT 123064865 SOS 80624815 HAS SOPS 65770656 HAS SOUS 21522168 HAS SOUPS 20956157 WITH SCORE 2.1036781815E7
AT ITER 2022 NEW BEST:: SOT 123060324 SOS 80613706 HAS SOPS 65760707 HAS SOUS 21520999 HAS SOUPS 20954988 WITH SCORE 2.1035601706E7
AT ITER 2027 NEW BEST:: SOT 123055406 SOS 80608788 HAS SOPS 65755789 HAS SOUS 21515121 HAS SOUPS 20949110 WITH SCORE 2.1029718788E7
AT ITER 2029 NEW BEST:: SOT 123055180 SOS 80606157 HAS SOPS 65754500 HAS SOUS 21514884 HAS SOUPS 20948873 WITH SCORE 2.1029479157E7
AT ITER 2049 NEW BEST:: SOT 123059428 SOS 80616834 HAS SOPS 65764656 HAS SOUS 21513386 HAS SOUPS 20947375 WITH SCORE 2.1027991834E7
AT ITER 2052 NEW BEST:: SOT 123059428 SOS 80627570 HAS SOPS 65780768 HAS SOUS 21513120 HAS SOUPS 20947109 WITH SCORE 2.102773657E7
AT ITER 2054 NEW BEST:: SOT 123030932 SOS 80582285 HAS SOPS 65737824 HAS SOUS 21470313 HAS SOUPS 20904404 WITH SCORE 2.0984986285E7
AT ITER 2070 NEW BEST:: SOT 123014864 SOS 80564342 HAS SOPS 65719819 HAS SOUS 21450074 HAS SOUPS 20884408 WITH SCORE 2.0964972342E7
AT ITER 2075 NEW BEST:: SOT 123051452 SOS 80665905 HAS SOPS 65808135 HAS SOUS 21440512 HAS SOUPS 20874846 WITH SCORE 2.0955511905E7
AT ITER 2084 NEW BEST:: SOT 123051452 SOS 80671482 HAS SOPS 65815332 HAS SOUS 21438304 HAS SOUPS 20872638 WITH SCORE 2.0953309482E7
AT ITER 2088 NEW BEST:: SOT 123051483 SOS 80684717 HAS SOPS 65838717 HAS SOUS 21438090 HAS SOUPS 20872424 WITH SCORE 2.0953108717E7
AT ITER 2106 NEW BEST:: SOT 123051409 SOS 80684523 HAS SOPS 65838995 HAS SOUS 21438030 HAS SOUPS 20872370 WITH SCORE 2.0953054523E7
AT ITER 2109 NEW BEST:: SOT 123045591 SOS 80677542 HAS SOPS 65833749 HAS SOUS 21437183 HAS SOUPS 20871523 WITH SCORE 2.0952200542E7
AT ITER 2112 NEW BEST:: SOT 123045591 SOS 80676838 HAS SOPS 65833221 HAS SOUS 21437183 HAS SOUPS 20871523 WITH SCORE 2.0952199838E7
AT ITER 2115 NEW BEST:: SOT 123044406 SOS 80683013 HAS SOPS 65854654 HAS SOUS 21405998 HAS SOUPS 20840648 WITH SCORE 2.0921331013E7
AT ITER 2116 NEW BEST:: SOT 123044180 SOS 80680512 HAS SOPS 65852437 HAS SOUS 21399284 HAS SOUPS 20833934 WITH SCORE 2.0914614512E7
AT ITER 2127 NEW BEST:: SOT 123050519 SOS 80690417 HAS SOPS 65868725 HAS SOUS 21372563 HAS SOUPS 20807082 WITH SCORE 2.0887772417E7
AT ITER 2136 NEW BEST:: SOT 123044637 SOS 80680662 HAS SOPS 65863835 HAS SOUS 21366363 HAS SOUPS 20800882 WITH SCORE 2.0881562662E7
AT ITER 2141 NEW BEST:: SOT 123044637 SOS 80681170 HAS SOPS 65871255 HAS SOUS 21366327 HAS SOUPS 20800846 WITH SCORE 2.088152717E7
AT ITER 2152 NEW BEST:: SOT 123044964 SOS 80682428 HAS SOPS 65871743 HAS SOUS 21364883 HAS SOUPS 20799395 WITH SCORE 2.0880077428E7
AT ITER 2176 NEW BEST:: SOT 123041497 SOS 80679357 HAS SOPS 65868796 HAS SOUS 21356694 HAS SOUPS 20791206 WITH SCORE 2.0871885357E7
AT ITER 2178 NEW BEST:: SOT 123030665 SOS 80668704 HAS SOPS 65862744 HAS SOUS 21341048 HAS SOUPS 20775644 WITH SCORE 2.0856312704E7
AT ITER 2183 NEW BEST:: SOT 123029740 SOS 80667167 HAS SOPS 65861673 HAS SOUS 21339533 HAS SOUPS 20774175 WITH SCORE 2.0854842167E7
AT ITER 2204 NEW BEST:: SOT 123045009 SOS 80691557 HAS SOPS 65883544 HAS SOUS 21336125 HAS SOUPS 20770767 WITH SCORE 2.0851458557E7
AT ITER 2228 NEW BEST:: SOT 123034694 SOS 80673791 HAS SOPS 65866742 HAS SOUS 21332584 HAS SOUPS 20767226 WITH SCORE 2.0847899791E7
AT ITER 2244 NEW BEST:: SOT 123042708 SOS 80692507 HAS SOPS 65879790 HAS SOUS 21322144 HAS SOUPS 20756786 WITH SCORE 2.0837478507E7
AT ITER 2256 NEW BEST:: SOT 123039617 SOS 80685910 HAS SOPS 65873090 HAS SOUS 21313799 HAS SOUPS 20748512 WITH SCORE 2.082919791E7
AT ITER 2259 NEW BEST:: SOT 123016556 SOS 80658396 HAS SOPS 65842618 HAS SOUS 21284279 HAS SOUPS 20718992 WITH SCORE 2.0799650396E7
AT ITER 2270 NEW BEST:: SOT 123057663 SOS 80699471 HAS SOPS 65883772 HAS SOUS 21268058 HAS SOUPS 20702850 WITH SCORE 2.0783549471E7
AT ITER 2273 NEW BEST:: SOT 123057024 SOS 80654090 HAS SOPS 65833841 HAS SOUS 21261087 HAS SOUPS 20695879 WITH SCORE 2.077653309E7
AT ITER 2324 NEW BEST:: SOT 123058332 SOS 80657538 HAS SOPS 65841872 HAS SOUS 21239575 HAS SOUPS 20674442 WITH SCORE 2.0755099538E7
AT ITER 2352 NEW BEST:: SOT 123052040 SOS 80649902 HAS SOPS 65834110 HAS SOUS 21229377 HAS SOUPS 20664286 WITH SCORE 2.0744935902E7
AT ITER 2359 NEW BEST:: SOT 123052654 SOS 80652974 HAS SOPS 65836866 HAS SOUS 21227601 HAS SOUPS 20662510 WITH SCORE 2.0743162974E7
AT ITER 2365 NEW BEST:: SOT 123036820 SOS 80620511 HAS SOPS 65809797 HAS SOUS 21214128 HAS SOUPS 20649037 WITH SCORE 2.0729657511E7
AT ITER 2371 NEW BEST:: SOT 123035092 SOS 80617326 HAS SOPS 65807828 HAS SOUS 21211360 HAS SOUPS 20646269 WITH SCORE 2.0726886326E7
AT ITER 2383 NEW BEST:: SOT 123041546 SOS 80638633 HAS SOPS 65824634 HAS SOUS 21208247 HAS SOUPS 20643156 WITH SCORE 2.0723794633E7
AT ITER 2391 NEW BEST:: SOT 123044226 SOS 80648355 HAS SOPS 65829576 HAS SOUS 21199610 HAS SOUPS 20634462 WITH SCORE 2.0715110355E7
AT ITER 2409 NEW BEST:: SOT 123044636 SOS 80649943 HAS SOPS 65834222 HAS SOUS 21198935 HAS SOUPS 20633787 WITH SCORE 2.0714436943E7
AT ITER 2416 NEW BEST:: SOT 123028080 SOS 80632345 HAS SOPS 65813881 HAS SOUS 21168007 HAS SOUPS 20602859 WITH SCORE 2.0683491345E7
AT ITER 2425 NEW BEST:: SOT 123028080 SOS 80633305 HAS SOPS 65814841 HAS SOUS 21167987 HAS SOUPS 20602839 WITH SCORE 2.0683472305E7
AT ITER 2434 NEW BEST:: SOT 123029932 SOS 80635797 HAS SOPS 65817346 HAS SOUS 21166579 HAS SOUPS 20601338 WITH SCORE 2.0681973797E7

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="CTLFireability"
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 CTLFireability"
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-158961502500196"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;