Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140900691.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is LamportFastMutEx-PT-8, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140900691
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 916K
-rw-r--r-- 1 mcc users 7.9K Apr 30 13:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 35K Apr 30 13:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 20K Apr 30 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 87K Apr 30 13:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 30 13:04 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Apr 30 13:04 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 18K Apr 30 13:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Apr 30 13:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 18K Apr 30 13:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 86K Apr 30 13:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Apr 30 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 57K Apr 30 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 24K Apr 30 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 100K Apr 30 13:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Apr 30 13:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.1K Apr 30 13:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 30 13:04 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 30 13:04 instance
-rw-r--r-- 1 mcc users 6 Apr 30 13:04 iscolored
-rw-r--r-- 1 mcc users 317K Apr 30 13:04 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 LamportFastMutEx-PT-8-CTLCardinality-00
FORMULA_NAME LamportFastMutEx-PT-8-CTLCardinality-01
FORMULA_NAME LamportFastMutEx-PT-8-CTLCardinality-02
FORMULA_NAME LamportFastMutEx-PT-8-CTLCardinality-03
FORMULA_NAME LamportFastMutEx-PT-8-CTLCardinality-04
FORMULA_NAME LamportFastMutEx-PT-8-CTLCardinality-05
FORMULA_NAME LamportFastMutEx-PT-8-CTLCardinality-06
FORMULA_NAME LamportFastMutEx-PT-8-CTLCardinality-07
FORMULA_NAME LamportFastMutEx-PT-8-CTLCardinality-08
FORMULA_NAME LamportFastMutEx-PT-8-CTLCardinality-09
FORMULA_NAME LamportFastMutEx-PT-8-CTLCardinality-10
FORMULA_NAME LamportFastMutEx-PT-8-CTLCardinality-11
FORMULA_NAME LamportFastMutEx-PT-8-CTLCardinality-12
FORMULA_NAME LamportFastMutEx-PT-8-CTLCardinality-13
FORMULA_NAME LamportFastMutEx-PT-8-CTLCardinality-14
FORMULA_NAME LamportFastMutEx-PT-8-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589619387446

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (PT), instance 8
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: 315 places, 666 transitions, 2934 arcs.
AT ITER 0 NEW BEST:: SOT 89207 SOS 57202 HAS SOPS 51770 HAS SOUS 43779 HAS SOUPS 41144 WITH SCORE 41201.202
AT ITER 3 NEW BEST:: SOT 89207 SOS 57140 HAS SOPS 51708 HAS SOUS 43717 HAS SOUPS 41082 WITH SCORE 41139.14
AT ITER 7 NEW BEST:: SOT 89112 SOS 57152 HAS SOPS 51549 HAS SOUS 43650 HAS SOUPS 40923 WITH SCORE 40980.152
AT ITER 10 NEW BEST:: SOT 89196 SOS 56910 HAS SOPS 51217 HAS SOUS 43657 HAS SOUPS 40890 WITH SCORE 40946.91
AT ITER 12 NEW BEST:: SOT 88976 SOS 56871 HAS SOPS 50940 HAS SOUS 43518 HAS SOUPS 40613 WITH SCORE 40669.871
AT ITER 21 NEW BEST:: SOT 88046 SOS 56085 HAS SOPS 50154 HAS SOUS 42628 HAS SOUPS 39723 WITH SCORE 39779.085
AT ITER 25 NEW BEST:: SOT 87950 SOS 56070 HAS SOPS 50139 HAS SOUS 42541 HAS SOUPS 39636 WITH SCORE 39692.07
AT ITER 31 NEW BEST:: SOT 88009 SOS 56129 HAS SOPS 50135 HAS SOUS 42537 HAS SOUPS 39632 WITH SCORE 39688.129
AT ITER 33 NEW BEST:: SOT 88028 SOS 56166 HAS SOPS 50108 HAS SOUS 42510 HAS SOUPS 39605 WITH SCORE 39661.166
AT ITER 41 NEW BEST:: SOT 88028 SOS 56112 HAS SOPS 50054 HAS SOUS 42456 HAS SOUPS 39551 WITH SCORE 39607.112
AT ITER 47 NEW BEST:: SOT 88158 SOS 56000 HAS SOPS 49570 HAS SOUS 42515 HAS SOUPS 39325 WITH SCORE 39381.0
AT ITER 56 NEW BEST:: SOT 88263 SOS 56154 HAS SOPS 49724 HAS SOUS 42217 HAS SOUPS 39027 WITH SCORE 39083.154
AT ITER 63 NEW BEST:: SOT 88263 SOS 55787 HAS SOPS 49357 HAS SOUS 42201 HAS SOUPS 39011 WITH SCORE 39066.787
AT ITER 66 NEW BEST:: SOT 88263 SOS 55784 HAS SOPS 49354 HAS SOUS 42198 HAS SOUPS 39008 WITH SCORE 39063.784
AT ITER 71 NEW BEST:: SOT 88263 SOS 55735 HAS SOPS 49305 HAS SOUS 42149 HAS SOUPS 38959 WITH SCORE 39014.735
AT ITER 72 NEW BEST:: SOT 88263 SOS 55687 HAS SOPS 49257 HAS SOUS 42101 HAS SOUPS 38911 WITH SCORE 38966.687
AT ITER 73 NEW BEST:: SOT 88379 SOS 55863 HAS SOPS 49433 HAS SOUS 41781 HAS SOUPS 38591 WITH SCORE 38646.863
AT ITER 75 NEW BEST:: SOT 88379 SOS 55860 HAS SOPS 49430 HAS SOUS 41778 HAS SOUPS 38588 WITH SCORE 38643.86
AT ITER 95 NEW BEST:: SOT 88205 SOS 55311 HAS SOPS 48643 HAS SOUS 41365 HAS SOUPS 38172 WITH SCORE 38227.311
AT ITER 101 NEW BEST:: SOT 88205 SOS 55304 HAS SOPS 48636 HAS SOUS 41358 HAS SOUPS 38165 WITH SCORE 38220.304
AT ITER 102 NEW BEST:: SOT 88522 SOS 55637 HAS SOPS 49140 HAS SOUS 41159 HAS SOUPS 38061 WITH SCORE 38116.637
AT ITER 103 NEW BEST:: SOT 88522 SOS 55635 HAS SOPS 49081 HAS SOUS 41100 HAS SOUPS 38002 WITH SCORE 38057.635
AT ITER 104 NEW BEST:: SOT 87803 SOS 55098 HAS SOPS 48480 HAS SOUS 40408 HAS SOUPS 37310 WITH SCORE 37365.098
AT ITER 106 NEW BEST:: SOT 87803 SOS 55098 HAS SOPS 48475 HAS SOUS 40408 HAS SOUPS 37305 WITH SCORE 37360.098
AT ITER 109 NEW BEST:: SOT 88590 SOS 56025 HAS SOPS 48247 HAS SOUS 40254 HAS SOUPS 37077 WITH SCORE 37133.025
AT ITER 111 NEW BEST:: SOT 87896 SOS 55443 HAS SOPS 47665 HAS SOUS 39584 HAS SOUPS 36407 WITH SCORE 36462.443
AT ITER 114 NEW BEST:: SOT 87819 SOS 55472 HAS SOPS 47588 HAS SOUS 39573 HAS SOUPS 36330 WITH SCORE 36385.472
AT ITER 115 NEW BEST:: SOT 87747 SOS 55400 HAS SOPS 47435 HAS SOUS 39420 HAS SOUPS 36177 WITH SCORE 36232.4
AT ITER 121 NEW BEST:: SOT 87798 SOS 55433 HAS SOPS 47231 HAS SOUS 39225 HAS SOUPS 35982 WITH SCORE 36037.433
AT ITER 122 NEW BEST:: SOT 87798 SOS 55195 HAS SOPS 46993 HAS SOUS 39211 HAS SOUPS 35968 WITH SCORE 36023.195
AT ITER 123 NEW BEST:: SOT 87698 SOS 55158 HAS SOPS 46893 HAS SOUS 39174 HAS SOUPS 35868 WITH SCORE 35923.158
AT ITER 126 NEW BEST:: SOT 87747 SOS 55281 HAS SOPS 46695 HAS SOUS 38968 HAS SOUPS 35633 WITH SCORE 35688.281
AT ITER 136 NEW BEST:: SOT 87753 SOS 55339 HAS SOPS 46689 HAS SOUS 38962 HAS SOUPS 35627 WITH SCORE 35682.339
AT ITER 139 NEW BEST:: SOT 87695 SOS 55276 HAS SOPS 46656 HAS SOUS 38929 HAS SOUPS 35594 WITH SCORE 35649.276
AT ITER 141 NEW BEST:: SOT 87649 SOS 55269 HAS SOPS 46610 HAS SOUS 38922 HAS SOUPS 35548 WITH SCORE 35603.269
AT ITER 168 NEW BEST:: SOT 87507 SOS 55127 HAS SOPS 46468 HAS SOUS 38888 HAS SOUPS 35514 WITH SCORE 35569.127
AT ITER 174 NEW BEST:: SOT 87327 SOS 54951 HAS SOPS 46112 HAS SOUS 38541 HAS SOUPS 35167 WITH SCORE 35221.951
AT ITER 183 NEW BEST:: SOT 87417 SOS 54865 HAS SOPS 45846 HAS SOUS 38477 HAS SOUPS 35103 WITH SCORE 35157.865
AT ITER 192 NEW BEST:: SOT 87441 SOS 54889 HAS SOPS 45814 HAS SOUS 38445 HAS SOUPS 35071 WITH SCORE 35125.889
AT ITER 195 NEW BEST:: SOT 87441 SOS 54891 HAS SOPS 45752 HAS SOUS 38383 HAS SOUPS 35009 WITH SCORE 35063.891
AT ITER 216 NEW BEST:: SOT 87346 SOS 54851 HAS SOPS 45657 HAS SOUS 38325 HAS SOUPS 34914 WITH SCORE 34968.851
AT ITER 221 NEW BEST:: SOT 86408 SOS 54076 HAS SOPS 44655 HAS SOUS 37456 HAS SOUPS 33912 WITH SCORE 33966.076
AT ITER 228 NEW BEST:: SOT 86395 SOS 54063 HAS SOPS 44642 HAS SOUS 37443 HAS SOUPS 33899 WITH SCORE 33953.063
AT ITER 230 NEW BEST:: SOT 86395 SOS 54023 HAS SOPS 44599 HAS SOUS 37400 HAS SOUPS 33856 WITH SCORE 33910.023
AT ITER 237 NEW BEST:: SOT 85130 SOS 53834 HAS SOPS 43267 HAS SOUS 36457 HAS SOUPS 32631 WITH SCORE 32684.834
AT ITER 244 NEW BEST:: SOT 84938 SOS 53846 HAS SOPS 43069 HAS SOUS 36309 HAS SOUPS 32433 WITH SCORE 32486.846
AT ITER 251 NEW BEST:: SOT 84938 SOS 53846 HAS SOPS 43007 HAS SOUS 36247 HAS SOUPS 32371 WITH SCORE 32424.846
AT ITER 281 NEW BEST:: SOT 85080 SOS 54075 HAS SOPS 43236 HAS SOUS 35872 HAS SOUPS 31996 WITH SCORE 32050.075
AT ITER 285 NEW BEST:: SOT 85111 SOS 54156 HAS SOPS 43203 HAS SOUS 35922 HAS SOUPS 31963 WITH SCORE 32017.156
AT ITER 288 NEW BEST:: SOT 84898 SOS 53964 HAS SOPS 42990 HAS SOUS 35646 HAS SOUPS 31666 WITH SCORE 31719.964
AT ITER 301 NEW BEST:: SOT 84896 SOS 53937 HAS SOPS 42924 HAS SOUS 35585 HAS SOUPS 31600 WITH SCORE 31653.937
AT ITER 320 NEW BEST:: SOT 84642 SOS 53713 HAS SOPS 42670 HAS SOUS 35389 HAS SOUPS 31346 WITH SCORE 31399.713
AT ITER 325 NEW BEST:: SOT 84468 SOS 53492 HAS SOPS 42372 HAS SOUS 34901 HAS SOUPS 30858 WITH SCORE 30911.492
AT ITER 326 NEW BEST:: SOT 84468 SOS 53464 HAS SOPS 42372 HAS SOUS 34901 HAS SOUPS 30858 WITH SCORE 30911.464
AT ITER 344 NEW BEST:: SOT 84356 SOS 53334 HAS SOPS 42130 HAS SOUS 34668 HAS SOUPS 30625 WITH SCORE 30678.334
AT ITER 360 NEW BEST:: SOT 84382 SOS 53366 HAS SOPS 42098 HAS SOUS 34650 HAS SOUPS 30593 WITH SCORE 30646.366
AT ITER 362 NEW BEST:: SOT 84382 SOS 53317 HAS SOPS 42044 HAS SOUS 34599 HAS SOUPS 30539 WITH SCORE 30592.317
AT ITER 377 NEW BEST:: SOT 84248 SOS 53293 HAS SOPS 41833 HAS SOUS 34465 HAS SOUPS 30328 WITH SCORE 30381.293
AT ITER 395 NEW BEST:: SOT 84248 SOS 53258 HAS SOPS 41812 HAS SOUS 34444 HAS SOUPS 30307 WITH SCORE 30360.258
AT ITER 397 NEW BEST:: SOT 84231 SOS 53241 HAS SOPS 41795 HAS SOUS 34427 HAS SOUPS 30290 WITH SCORE 30343.241
AT ITER 402 NEW BEST:: SOT 84231 SOS 52947 HAS SOPS 41501 HAS SOUS 34413 HAS SOUPS 30276 WITH SCORE 30328.947
AT ITER 408 NEW BEST:: SOT 84251 SOS 53004 HAS SOPS 41521 HAS SOUS 34442 HAS SOUPS 30268 WITH SCORE 30321.004
AT ITER 409 NEW BEST:: SOT 84251 SOS 52990 HAS SOPS 41521 HAS SOUS 34442 HAS SOUPS 30268 WITH SCORE 30320.99
AT ITER 410 NEW BEST:: SOT 84214 SOS 53006 HAS SOPS 41484 HAS SOUS 34428 HAS SOUPS 30231 WITH SCORE 30284.006
AT ITER 413 NEW BEST:: SOT 84214 SOS 53006 HAS SOPS 41484 HAS SOUS 34417 HAS SOUPS 30220 WITH SCORE 30273.006
AT ITER 420 NEW BEST:: SOT 84098 SOS 52890 HAS SOPS 41347 HAS SOUS 34425 HAS SOUPS 30207 WITH SCORE 30259.89
AT ITER 421 NEW BEST:: SOT 83271 SOS 52750 HAS SOPS 40484 HAS SOUS 33863 HAS SOUPS 29356 WITH SCORE 29408.75
AT ITER 422 NEW BEST:: SOT 83270 SOS 52593 HAS SOPS 40206 HAS SOUS 33749 HAS SOUPS 29242 WITH SCORE 29294.593
AT ITER 433 NEW BEST:: SOT 82454 SOS 51965 HAS SOPS 39514 HAS SOUS 33027 HAS SOUPS 28456 WITH SCORE 28507.965
AT ITER 439 NEW BEST:: SOT 82117 SOS 51712 HAS SOPS 39260 HAS SOUS 32732 HAS SOUPS 28160 WITH SCORE 28211.712
AT ITER 441 NEW BEST:: SOT 82117 SOS 51752 HAS SOPS 39250 HAS SOUS 32722 HAS SOUPS 28150 WITH SCORE 28201.752
AT ITER 444 NEW BEST:: SOT 81877 SOS 51537 HAS SOPS 38964 HAS SOUS 32206 HAS SOUPS 27634 WITH SCORE 27685.537
AT ITER 447 NEW BEST:: SOT 81824 SOS 51484 HAS SOPS 38886 HAS SOUS 32116 HAS SOUPS 27556 WITH SCORE 27607.484
AT ITER 450 NEW BEST:: SOT 81716 SOS 51376 HAS SOPS 38778 HAS SOUS 32008 HAS SOUPS 27448 WITH SCORE 27499.376
AT ITER 466 NEW BEST:: SOT 81716 SOS 51369 HAS SOPS 38771 HAS SOUS 32001 HAS SOUPS 27441 WITH SCORE 27492.369
AT ITER 477 NEW BEST:: SOT 81687 SOS 51400 HAS SOPS 38742 HAS SOUS 32032 HAS SOUPS 27412 WITH SCORE 27463.4
AT ITER 484 NEW BEST:: SOT 81655 SOS 51368 HAS SOPS 38705 HAS SOUS 31961 HAS SOUPS 27375 WITH SCORE 27426.368
AT ITER 490 NEW BEST:: SOT 81375 SOS 51248 HAS SOPS 38585 HAS SOUS 31761 HAS SOUPS 27175 WITH SCORE 27226.248
AT ITER 493 NEW BEST:: SOT 81178 SOS 51146 HAS SOPS 38635 HAS SOUS 31367 HAS SOUPS 26781 WITH SCORE 26832.146
AT ITER 494 NEW BEST:: SOT 81178 SOS 51149 HAS SOPS 38638 HAS SOUS 31362 HAS SOUPS 26776 WITH SCORE 26827.149
AT ITER 512 NEW BEST:: SOT 81178 SOS 51149 HAS SOPS 38635 HAS SOUS 31362 HAS SOUPS 26773 WITH SCORE 26824.149
AT ITER 534 NEW BEST:: SOT 81178 SOS 51109 HAS SOPS 38595 HAS SOUS 31322 HAS SOUPS 26733 WITH SCORE 26784.109
AT ITER 553 NEW BEST:: SOT 81136 SOS 51067 HAS SOPS 38529 HAS SOUS 31313 HAS SOUPS 26667 WITH SCORE 26718.067
AT ITER 555 NEW BEST:: SOT 81194 SOS 51167 HAS SOPS 38477 HAS SOUS 31240 HAS SOUPS 26594 WITH SCORE 26645.167
AT ITER 563 NEW BEST:: SOT 80607 SOS 51032 HAS SOPS 37890 HAS SOUS 30951 HAS SOUPS 26007 WITH SCORE 26058.032
AT ITER 583 NEW BEST:: SOT 80278 SOS 50778 HAS SOPS 37561 HAS SOUS 30719 HAS SOUPS 25702 WITH SCORE 25752.778
AT ITER 606 NEW BEST:: SOT 80276 SOS 50776 HAS SOPS 37559 HAS SOUS 30717 HAS SOUPS 25700 WITH SCORE 25750.776
AT ITER 608 NEW BEST:: SOT 80274 SOS 50774 HAS SOPS 37541 HAS SOUS 30699 HAS SOUPS 25682 WITH SCORE 25732.774
AT ITER 614 NEW BEST:: SOT 80457 SOS 51016 HAS SOPS 37542 HAS SOUS 30694 HAS SOUPS 25677 WITH SCORE 25728.016
AT ITER 619 NEW BEST:: SOT 80454 SOS 51011 HAS SOPS 37537 HAS SOUS 30689 HAS SOUPS 25672 WITH SCORE 25723.011
AT ITER 623 NEW BEST:: SOT 80441 SOS 51028 HAS SOPS 37500 HAS SOUS 30652 HAS SOUPS 25635 WITH SCORE 25686.028
AT ITER 626 NEW BEST:: SOT 80441 SOS 51028 HAS SOPS 37494 HAS SOUS 30652 HAS SOUPS 25629 WITH SCORE 25680.028
AT ITER 628 NEW BEST:: SOT 80410 SOS 50997 HAS SOPS 37463 HAS SOUS 30565 HAS SOUPS 25542 WITH SCORE 25592.997
AT ITER 631 NEW BEST:: SOT 80423 SOS 51010 HAS SOPS 37434 HAS SOUS 30536 HAS SOUPS 25513 WITH SCORE 25564.01
AT ITER 640 NEW BEST:: SOT 80396 SOS 51061 HAS SOPS 37407 HAS SOUS 30619 HAS SOUPS 25486 WITH SCORE 25537.061
AT ITER 642 NEW BEST:: SOT 79848 SOS 50559 HAS SOPS 36859 HAS SOUS 30145 HAS SOUPS 24966 WITH SCORE 25016.559
AT ITER 665 NEW BEST:: SOT 79848 SOS 50552 HAS SOPS 36852 HAS SOUS 30138 HAS SOUPS 24959 WITH SCORE 25009.552
AT ITER 674 NEW BEST:: SOT 79833 SOS 50537 HAS SOPS 36819 HAS SOUS 30123 HAS SOUPS 24926 WITH SCORE 24976.537
AT ITER 676 NEW BEST:: SOT 79833 SOS 50545 HAS SOPS 36815 HAS SOUS 30139 HAS SOUPS 24922 WITH SCORE 24972.545
AT ITER 677 NEW BEST:: SOT 79833 SOS 50577 HAS SOPS 36812 HAS SOUS 30153 HAS SOUPS 24919 WITH SCORE 24969.577
AT ITER 679 NEW BEST:: SOT 79833 SOS 50577 HAS SOPS 36804 HAS SOUS 30153 HAS SOUPS 24911 WITH SCORE 24961.577
AT ITER 680 NEW BEST:: SOT 79833 SOS 50557 HAS SOPS 36804 HAS SOUS 30136 HAS SOUPS 24911 WITH SCORE 24961.557
AT ITER 692 NEW BEST:: SOT 79832 SOS 50556 HAS SOPS 36803 HAS SOUS 30135 HAS SOUPS 24910 WITH SCORE 24960.556
AT ITER 697 NEW BEST:: SOT 79369 SOS 50007 HAS SOPS 36404 HAS SOUS 29605 HAS SOUPS 24511 WITH SCORE 24561.007
AT ITER 725 NEW BEST:: SOT 79317 SOS 49913 HAS SOPS 36285 HAS SOUS 29339 HAS SOUPS 24245 WITH SCORE 24294.913
AT ITER 734 NEW BEST:: SOT 79308 SOS 49924 HAS SOPS 36276 HAS SOUS 29373 HAS SOUPS 24236 WITH SCORE 24285.924
AT ITER 739 NEW BEST:: SOT 79294 SOS 49880 HAS SOPS 36248 HAS SOUS 29319 HAS SOUPS 24208 WITH SCORE 24257.88
AT ITER 757 NEW BEST:: SOT 79256 SOS 49828 HAS SOPS 36244 HAS SOUS 29273 HAS SOUPS 24204 WITH SCORE 24253.828
AT ITER 758 NEW BEST:: SOT 78640 SOS 49478 HAS SOPS 35571 HAS SOUS 29326 HAS SOUPS 24023 WITH SCORE 24072.478
AT ITER 765 NEW BEST:: SOT 78642 SOS 49484 HAS SOPS 35557 HAS SOUS 29307 HAS SOUPS 24004 WITH SCORE 24053.484
AT ITER 768 NEW BEST:: SOT 78642 SOS 49479 HAS SOPS 35547 HAS SOUS 29307 HAS SOUPS 23999 WITH SCORE 24048.479
AT ITER 792 NEW BEST:: SOT 78594 SOS 49084 HAS SOPS 34994 HAS SOUS 29098 HAS SOUPS 23790 WITH SCORE 23839.084
AT ITER 806 NEW BEST:: SOT 78497 SOS 49108 HAS SOPS 34948 HAS SOUS 29112 HAS SOUPS 23744 WITH SCORE 23793.108
AT ITER 816 NEW BEST:: SOT 78493 SOS 49104 HAS SOPS 34944 HAS SOUS 29108 HAS SOUPS 23740 WITH SCORE 23789.104
AT ITER 820 NEW BEST:: SOT 78493 SOS 49075 HAS SOPS 34944 HAS SOUS 29108 HAS SOUPS 23740 WITH SCORE 23789.075
AT ITER 846 NEW BEST:: SOT 78493 SOS 48954 HAS SOPS 34913 HAS SOUS 29055 HAS SOUPS 23709 WITH SCORE 23757.954
AT ITER 849 NEW BEST:: SOT 78493 SOS 48954 HAS SOPS 34910 HAS SOUS 29055 HAS SOUPS 23706 WITH SCORE 23754.954
AT ITER 850 NEW BEST:: SOT 78521 SOS 49010 HAS SOPS 34854 HAS SOUS 28985 HAS SOUPS 23636 WITH SCORE 23685.01
AT ITER 867 NEW BEST:: SOT 78506 SOS 48961 HAS SOPS 34824 HAS SOUS 28970 HAS SOUPS 23606 WITH SCORE 23654.961
AT ITER 883 NEW BEST:: SOT 78506 SOS 49030 HAS SOPS 34893 HAS SOUS 28967 HAS SOUPS 23603 WITH SCORE 23652.03
AT ITER 885 NEW BEST:: SOT 78495 SOS 49019 HAS SOPS 34882 HAS SOUS 28956 HAS SOUPS 23592 WITH SCORE 23641.019
AT ITER 887 NEW BEST:: SOT 78479 SOS 49003 HAS SOPS 34866 HAS SOUS 28940 HAS SOUPS 23576 WITH SCORE 23625.003
AT ITER 888 NEW BEST:: SOT 78471 SOS 49019 HAS SOPS 34850 HAS SOUS 28953 HAS SOUPS 23560 WITH SCORE 23609.019
AT ITER 892 NEW BEST:: SOT 78068 SOS 48616 HAS SOPS 34404 HAS SOUS 28507 HAS SOUPS 23114 WITH SCORE 23162.616
AT ITER 915 NEW BEST:: SOT 78068 SOS 48588 HAS SOPS 34383 HAS SOUS 28502 HAS SOUPS 23109 WITH SCORE 23157.588
AT ITER 927 NEW BEST:: SOT 78068 SOS 48695 HAS SOPS 34352 HAS SOUS 28657 HAS SOUPS 23078 WITH SCORE 23126.695
AT ITER 956 NEW BEST:: SOT 77898 SOS 48525 HAS SOPS 34176 HAS SOUS 28481 HAS SOUPS 22902 WITH SCORE 22950.525
AT ITER 972 NEW BEST:: SOT 77898 SOS 48524 HAS SOPS 34162 HAS SOUS 28467 HAS SOUPS 22888 WITH SCORE 22936.524
AT ITER 973 NEW BEST:: SOT 77898 SOS 48524 HAS SOPS 34158 HAS SOUS 28463 HAS SOUPS 22884 WITH SCORE 22932.524
AT ITER 981 NEW BEST:: SOT 77893 SOS 48519 HAS SOPS 34147 HAS SOUS 28458 HAS SOUPS 22873 WITH SCORE 22921.519
AT ITER 982 NEW BEST:: SOT 77817 SOS 48463 HAS SOPS 34015 HAS SOUS 28326 HAS SOUPS 22741 WITH SCORE 22789.463
AT ITER 986 NEW BEST:: SOT 77768 SOS 48409 HAS SOPS 33956 HAS SOUS 28262 HAS SOUPS 22682 WITH SCORE 22730.409
AT ITER 987 NEW BEST:: SOT 77767 SOS 48408 HAS SOPS 33954 HAS SOUS 28254 HAS SOUPS 22680 WITH SCORE 22728.408
AT ITER 995 NEW BEST:: SOT 77726 SOS 48357 HAS SOPS 33912 HAS SOUS 28203 HAS SOUPS 22638 WITH SCORE 22686.357
AT ITER 999 NEW BEST:: SOT 77719 SOS 48343 HAS SOPS 33898 HAS SOUS 28189 HAS SOUPS 22624 WITH SCORE 22672.343
AT ITER 1008 NEW BEST:: SOT 77785 SOS 48451 HAS SOPS 33862 HAS SOUS 28132 HAS SOUPS 22567 WITH SCORE 22615.451
AT ITER 1023 NEW BEST:: SOT 77767 SOS 48433 HAS SOPS 33844 HAS SOUS 28114 HAS SOUPS 22549 WITH SCORE 22597.433
AT ITER 1028 NEW BEST:: SOT 77757 SOS 48423 HAS SOPS 33824 HAS SOUS 28098 HAS SOUPS 22529 WITH SCORE 22577.423
AT ITER 1058 NEW BEST:: SOT 77727 SOS 48393 HAS SOPS 33792 HAS SOUS 28096 HAS SOUPS 22525 WITH SCORE 22573.393
AT ITER 1075 NEW BEST:: SOT 77727 SOS 48393 HAS SOPS 33791 HAS SOUS 28096 HAS SOUPS 22524 WITH SCORE 22572.393
AT ITER 1076 NEW BEST:: SOT 77727 SOS 48359 HAS SOPS 33791 HAS SOUS 28096 HAS SOUPS 22524 WITH SCORE 22572.359
AT ITER 1087 NEW BEST:: SOT 77729 SOS 48357 HAS SOPS 33756 HAS SOUS 28113 HAS SOUPS 22489 WITH SCORE 22537.357
AT ITER 1114 NEW BEST:: SOT 77625 SOS 48253 HAS SOPS 33620 HAS SOUS 27977 HAS SOUPS 22353 WITH SCORE 22401.253
AT ITER 1119 NEW BEST:: SOT 77625 SOS 48253 HAS SOPS 33612 HAS SOUS 27977 HAS SOUPS 22345 WITH SCORE 22393.253
AT ITER 1126 NEW BEST:: SOT 77623 SOS 48251 HAS SOPS 33608 HAS SOUS 27975 HAS SOUPS 22341 WITH SCORE 22389.251
AT ITER 1137 NEW BEST:: SOT 77622 SOS 48250 HAS SOPS 33606 HAS SOUS 27974 HAS SOUPS 22339 WITH SCORE 22387.25
AT ITER 1142 NEW BEST:: SOT 77620 SOS 48038 HAS SOPS 33604 HAS SOUS 27486 HAS SOUPS 22337 WITH SCORE 22385.038
AT ITER 1145 NEW BEST:: SOT 77603 SOS 48021 HAS SOPS 33585 HAS SOUS 27469 HAS SOUPS 22318 WITH SCORE 22366.021
AT ITER 1147 NEW BEST:: SOT 77603 SOS 48017 HAS SOPS 33585 HAS SOUS 27469 HAS SOUPS 22318 WITH SCORE 22366.017
AT ITER 1155 NEW BEST:: SOT 77536 SOS 47949 HAS SOPS 33478 HAS SOUS 27306 HAS SOUPS 22211 WITH SCORE 22258.949
AT ITER 1165 NEW BEST:: SOT 77536 SOS 47927 HAS SOPS 33456 HAS SOUS 27284 HAS SOUPS 22189 WITH SCORE 22236.927
AT ITER 1183 NEW BEST:: SOT 77505 SOS 47894 HAS SOPS 33375 HAS SOUS 27203 HAS SOUPS 22108 WITH SCORE 22155.894
AT ITER 1199 NEW BEST:: SOT 77481 SOS 47870 HAS SOPS 33351 HAS SOUS 27179 HAS SOUPS 22084 WITH SCORE 22131.87
AT ITER 1207 NEW BEST:: SOT 77261 SOS 47336 HAS SOPS 33247 HAS SOUS 27059 HAS SOUPS 21986 WITH SCORE 22033.336
AT ITER 1235 NEW BEST:: SOT 77254 SOS 47322 HAS SOPS 33245 HAS SOUS 27039 HAS SOUPS 21969 WITH SCORE 22016.322
AT ITER 1242 NEW BEST:: SOT 77257 SOS 47325 HAS SOPS 33252 HAS SOUS 27026 HAS SOUPS 21960 WITH SCORE 22007.325
AT ITER 1249 NEW BEST:: SOT 77196 SOS 47444 HAS SOPS 33182 HAS SOUS 27127 HAS SOUPS 21890 WITH SCORE 21937.444
AT ITER 1252 NEW BEST:: SOT 77166 SOS 47384 HAS SOPS 33162 HAS SOUS 27072 HAS SOUPS 21845 WITH SCORE 21892.384
AT ITER 1262 NEW BEST:: SOT 76922 SOS 47252 HAS SOPS 32918 HAS SOUS 27142 HAS SOUPS 21781 WITH SCORE 21828.252
AT ITER 1281 NEW BEST:: SOT 76724 SOS 47054 HAS SOPS 32720 HAS SOUS 26944 HAS SOUPS 21583 WITH SCORE 21630.054
AT ITER 1296 NEW BEST:: SOT 76569 SOS 46650 HAS SOPS 32253 HAS SOUS 26659 HAS SOUPS 21298 WITH SCORE 21344.65
AT ITER 1299 NEW BEST:: SOT 76569 SOS 46676 HAS SOPS 32249 HAS SOUS 26655 HAS SOUPS 21294 WITH SCORE 21340.676
AT ITER 1315 NEW BEST:: SOT 76535 SOS 46642 HAS SOPS 32215 HAS SOUS 26621 HAS SOUPS 21260 WITH SCORE 21306.642
AT ITER 1346 NEW BEST:: SOT 75978 SOS 46085 HAS SOPS 31646 HAS SOUS 26052 HAS SOUPS 20691 WITH SCORE 20737.085
AT ITER 1355 NEW BEST:: SOT 75971 SOS 46063 HAS SOPS 31639 HAS SOUS 26030 HAS SOUPS 20684 WITH SCORE 20730.063
AT ITER 1364 NEW BEST:: SOT 75970 SOS 46062 HAS SOPS 31637 HAS SOUS 26029 HAS SOUPS 20682 WITH SCORE 20728.062
AT ITER 1374 NEW BEST:: SOT 75853 SOS 45945 HAS SOPS 31484 HAS SOUS 25993 HAS SOUPS 20641 WITH SCORE 20686.945
AT ITER 1392 NEW BEST:: SOT 75831 SOS 45935 HAS SOPS 31462 HAS SOUS 26007 HAS SOUPS 20619 WITH SCORE 20664.935
AT ITER 1395 NEW BEST:: SOT 75831 SOS 45896 HAS SOPS 31423 HAS SOUS 25981 HAS SOUPS 20593 WITH SCORE 20638.896
AT ITER 1414 NEW BEST:: SOT 75818 SOS 45883 HAS SOPS 31384 HAS SOUS 25942 HAS SOUPS 20554 WITH SCORE 20599.883
AT ITER 1415 NEW BEST:: SOT 75796 SOS 45835 HAS SOPS 31325 HAS SOUS 25883 HAS SOUPS 20495 WITH SCORE 20540.835
AT ITER 1446 NEW BEST:: SOT 75486 SOS 45638 HAS SOPS 31004 HAS SOUS 26027 HAS SOUPS 20422 WITH SCORE 20467.638
AT ITER 1480 NEW BEST:: SOT 75482 SOS 45634 HAS SOPS 31000 HAS SOUS 26023 HAS SOUPS 20418 WITH SCORE 20463.634
AT ITER 1491 NEW BEST:: SOT 75776 SOS 45801 HAS SOPS 30841 HAS SOUS 25900 HAS SOUPS 20295 WITH SCORE 20340.801
AT ITER 1496 NEW BEST:: SOT 75754 SOS 45809 HAS SOPS 30808 HAS SOUS 25903 HAS SOUPS 20262 WITH SCORE 20307.809
AT ITER 1529 NEW BEST:: SOT 75678 SOS 45733 HAS SOPS 30710 HAS SOUS 25805 HAS SOUPS 20164 WITH SCORE 20209.733
AT ITER 1532 NEW BEST:: SOT 75656 SOS 45717 HAS SOPS 30665 HAS SOUS 25760 HAS SOUPS 20119 WITH SCORE 20164.717
AT ITER 1544 NEW BEST:: SOT 75622 SOS 45783 HAS SOPS 30615 HAS SOUS 25832 HAS SOUPS 20069 WITH SCORE 20114.783
AT ITER 1568 NEW BEST:: SOT 75622 SOS 45774 HAS SOPS 30606 HAS SOUS 25832 HAS SOUPS 20069 WITH SCORE 20114.774
AT ITER 1571 NEW BEST:: SOT 75635 SOS 45758 HAS SOPS 30623 HAS SOUS 25730 HAS SOUPS 19978 WITH SCORE 20023.758
AT ITER 1578 NEW BEST:: SOT 75589 SOS 45712 HAS SOPS 30577 HAS SOUS 25684 HAS SOUPS 19932 WITH SCORE 19977.712
AT ITER 1597 NEW BEST:: SOT 75557 SOS 45717 HAS SOPS 30545 HAS SOUS 25680 HAS SOUPS 19900 WITH SCORE 19945.717
AT ITER 1601 NEW BEST:: SOT 75553 SOS 45713 HAS SOPS 30537 HAS SOUS 25676 HAS SOUPS 19892 WITH SCORE 19937.713
AT ITER 1605 NEW BEST:: SOT 75543 SOS 45703 HAS SOPS 30517 HAS SOUS 25656 HAS SOUPS 19872 WITH SCORE 19917.703
AT ITER 1607 NEW BEST:: SOT 75543 SOS 45712 HAS SOPS 30506 HAS SOUS 25665 HAS SOUPS 19861 WITH SCORE 19906.712
AT ITER 1610 NEW BEST:: SOT 75266 SOS 45382 HAS SOPS 30473 HAS SOUS 25638 HAS SOUPS 19855 WITH SCORE 19900.382
AT ITER 1612 NEW BEST:: SOT 75406 SOS 45421 HAS SOPS 30148 HAS SOUS 25477 HAS SOUPS 19694 WITH SCORE 19739.421
AT ITER 1651 NEW BEST:: SOT 75382 SOS 45397 HAS SOPS 30124 HAS SOUS 25461 HAS SOUPS 19678 WITH SCORE 19723.397
AT ITER 1653 NEW BEST:: SOT 75382 SOS 45253 HAS SOPS 29980 HAS SOUS 25461 HAS SOUPS 19678 WITH SCORE 19723.253
AT ITER 1665 NEW BEST:: SOT 75346 SOS 45225 HAS SOPS 29948 HAS SOUS 25425 HAS SOUPS 19642 WITH SCORE 19687.225
AT ITER 1718 NEW BEST:: SOT 75345 SOS 45193 HAS SOPS 29979 HAS SOUS 25353 HAS SOUPS 19590 WITH SCORE 19635.193
AT ITER 1729 NEW BEST:: SOT 75234 SOS 45082 HAS SOPS 29868 HAS SOUS 25242 HAS SOUPS 19479 WITH SCORE 19524.082
AT ITER 1731 NEW BEST:: SOT 75221 SOS 45069 HAS SOPS 29842 HAS SOUS 25223 HAS SOUPS 19453 WITH SCORE 19498.069
AT ITER 1734 NEW BEST:: SOT 75221 SOS 44965 HAS SOPS 29738 HAS SOUS 25223 HAS SOUPS 19453 WITH SCORE 19497.965
AT ITER 1741 NEW BEST:: SOT 75217 SOS 44961 HAS SOPS 29730 HAS SOUS 25219 HAS SOUPS 19445 WITH SCORE 19489.961
AT ITER 1755 NEW BEST:: SOT 75214 SOS 44958 HAS SOPS 29727 HAS SOUS 25216 HAS SOUPS 19442 WITH SCORE 19486.958
AT ITER 1764 NEW BEST:: SOT 75199 SOS 44943 HAS SOPS 29712 HAS SOUS 25201 HAS SOUPS 19427 WITH SCORE 19471.943
AT ITER 1792 NEW BEST:: SOT 75197 SOS 44937 HAS SOPS 29706 HAS SOUS 25179 HAS SOUPS 19421 WITH SCORE 19465.937
AT ITER 1799 NEW BEST:: SOT 75196 SOS 44936 HAS SOPS 29705 HAS SOUS 25178 HAS SOUPS 19420 WITH SCORE 19464.936
AT ITER 1806 NEW BEST:: SOT 75188 SOS 44928 HAS SOPS 29689 HAS SOUS 25170 HAS SOUPS 19404 WITH SCORE 19448.928
AT ITER 1812 NEW BEST:: SOT 75183 SOS 44923 HAS SOPS 29679 HAS SOUS 25165 HAS SOUPS 19394 WITH SCORE 19438.923
AT ITER 1813 NEW BEST:: SOT 75183 SOS 44922 HAS SOPS 29678 HAS SOUS 25165 HAS SOUPS 19394 WITH SCORE 19438.922
AT ITER 1826 NEW BEST:: SOT 75179 SOS 44918 HAS SOPS 29654 HAS SOUS 25155 HAS SOUPS 19370 WITH SCORE 19414.918
AT ITER 1832 NEW BEST:: SOT 75171 SOS 44901 HAS SOPS 29650 HAS SOUS 25138 HAS SOUPS 19366 WITH SCORE 19410.901
AT ITER 1855 NEW BEST:: SOT 75169 SOS 44899 HAS SOPS 29646 HAS SOUS 25134 HAS SOUPS 19362 WITH SCORE 19406.899
AT ITER 1868 NEW BEST:: SOT 75169 SOS 44885 HAS SOPS 29632 HAS SOUS 25134 HAS SOUPS 19362 WITH SCORE 19406.885
AT ITER 1870 NEW BEST:: SOT 75105 SOS 44851 HAS SOPS 29639 HAS SOUS 25141 HAS SOUPS 19354 WITH SCORE 19398.851
AT ITER 1877 NEW BEST:: SOT 75064 SOS 44810 HAS SOPS 29567 HAS SOUS 25100 HAS SOUPS 19282 WITH SCORE 19326.81
AT ITER 1880 NEW BEST:: SOT 75061 SOS 44807 HAS SOPS 29567 HAS SOUS 25097 HAS SOUPS 19282 WITH SCORE 19326.807
AT ITER 1881 NEW BEST:: SOT 75170 SOS 44963 HAS SOPS 29540 HAS SOUS 25040 HAS SOUPS 19225 WITH SCORE 19269.963
AT ITER 1919 NEW BEST:: SOT 75171 SOS 44955 HAS SOPS 29541 HAS SOUS 25036 HAS SOUPS 19222 WITH SCORE 19266.955
AT ITER 1922 NEW BEST:: SOT 75168 SOS 44952 HAS SOPS 29535 HAS SOUS 25033 HAS SOUPS 19216 WITH SCORE 19260.952
AT ITER 1930 NEW BEST:: SOT 75190 SOS 44974 HAS SOPS 29522 HAS SOUS 25055 HAS SOUPS 19203 WITH SCORE 19247.974
AT ITER 1996 NEW BEST:: SOT 75188 SOS 44972 HAS SOPS 29518 HAS SOUS 25046 HAS SOUPS 19199 WITH SCORE 19243.972
AT ITER 2003 NEW BEST:: SOT 75174 SOS 44958 HAS SOPS 29504 HAS SOUS 25032 HAS SOUPS 19185 WITH SCORE 19229.958
AT ITER 2022 NEW BEST:: SOT 75177 SOS 44973 HAS SOPS 29499 HAS SOUS 25080 HAS SOUPS 19180 WITH SCORE 19224.973
AT ITER 2034 NEW BEST:: SOT 75133 SOS 44917 HAS SOPS 29410 HAS SOUS 24991 HAS SOUPS 19091 WITH SCORE 19135.917
AT ITER 2035 NEW BEST:: SOT 75125 SOS 44909 HAS SOPS 29410 HAS SOUS 24983 HAS SOUPS 19091 WITH SCORE 19135.909
AT ITER 2064 NEW BEST:: SOT 75110 SOS 44894 HAS SOPS 29380 HAS SOUS 24968 HAS SOUPS 19061 WITH SCORE 19105.894
AT ITER 2077 NEW BEST:: SOT 75177 SOS 44816 HAS SOPS 29466 HAS SOUS 24944 HAS SOUPS 19059 WITH SCORE 19103.816
AT ITER 2092 NEW BEST:: SOT 75144 SOS 44783 HAS SOPS 29400 HAS SOUS 24878 HAS SOUPS 18993 WITH SCORE 19037.783
AT ITER 2121 NEW BEST:: SOT 75143 SOS 44782 HAS SOPS 29399 HAS SOUS 24877 HAS SOUPS 18992 WITH SCORE 19036.782
AT ITER 2125 NEW BEST:: SOT 75132 SOS 44771 HAS SOPS 29388 HAS SOUS 24866 HAS SOUPS 18981 WITH SCORE 19025.771
AT ITER 2134 NEW BEST:: SOT 75047 SOS 44818 HAS SOPS 29292 HAS SOUS 24797 HAS SOUPS 18885 WITH SCORE 18929.818
AT ITER 2181 NEW BEST:: SOT 75029 SOS 44800 HAS SOPS 29264 HAS SOUS 24779 HAS SOUPS 18857 WITH SCORE 18901.8
AT ITER 2182 NEW BEST:: SOT 75024 SOS 44795 HAS SOPS 29254 HAS SOUS 24774 HAS SOUPS 18847 WITH SCORE 18891.795
AT ITER 2247 NEW BEST:: SOT 75014 SOS 44821 HAS SOPS 29197 HAS SOUS 24756 HAS SOUPS 18790 WITH SCORE 18834.821
AT ITER 2257 NEW BEST:: SOT 75014 SOS 44639 HAS SOPS 29015 HAS SOUS 24739 HAS SOUPS 18773 WITH SCORE 18817.639
AT ITER 2263 NEW BEST:: SOT 75002 SOS 44627 HAS SOPS 28991 HAS SOUS 24715 HAS SOUPS 18749 WITH SCORE 18793.627
AT ITER 2265 NEW BEST:: SOT 74917 SOS 44545 HAS SOPS 28941 HAS SOUS 24657 HAS SOUPS 18691 WITH SCORE 18735.545
AT ITER 2276 NEW BEST:: SOT 74903 SOS 44522 HAS SOPS 28742 HAS SOUS 24458 HAS SOUPS 18492 WITH SCORE 18536.522
AT ITER 2282 NEW BEST:: SOT 74899 SOS 44518 HAS SOPS 28734 HAS SOUS 24454 HAS SOUPS 18484 WITH SCORE 18528.518
AT ITER 2285 NEW BEST:: SOT 74853 SOS 44489 HAS SOPS 28688 HAS SOUS 24453 HAS SOUPS 18438 WITH SCORE 18482.489
AT ITER 2302 NEW BEST:: SOT 74856 SOS 44473 HAS SOPS 28690 HAS SOUS 24379 HAS SOUPS 18370 WITH SCORE 18414.473
AT ITER 2303 NEW BEST:: SOT 74948 SOS 44400 HAS SOPS 28437 HAS SOUS 24331 HAS SOUPS 18322 WITH SCORE 18366.4
AT ITER 2313 NEW BEST:: SOT 74948 SOS 44355 HAS SOPS 28378 HAS SOUS 24317 HAS SOUPS 18308 WITH SCORE 18352.355
AT ITER 2346 NEW BEST:: SOT 74714 SOS 44089 HAS SOPS 28112 HAS SOUS 24183 HAS SOUPS 18174 WITH SCORE 18218.089
AT ITER 2358 NEW BEST:: SOT 74714 SOS 44090 HAS SOPS 28088 HAS SOUS 24159 HAS SOUPS 18150 WITH SCORE 18194.09
AT ITER 2383 NEW BEST:: SOT 74690 SOS 44074 HAS SOPS 28040 HAS SOUS 24107 HAS SOUPS 18098 WITH SCORE 18142.074
AT ITER 2406 NEW BEST:: SOT 74656 SOS 44040 HAS SOPS 27983 HAS SOUS 24050 HAS SOUPS 18041 WITH SCORE 18085.04
AT ITER 2454 NEW BEST:: SOT 74654 SOS 44038 HAS SOPS 27979 HAS SOUS 24048 HAS SOUPS 18037 WITH SCORE 18081.038
AT ITER 2462 NEW BEST:: SOT 74652 SOS 44038 HAS SOPS 27973 HAS SOUS 24046 HAS SOUPS 18033 WITH SCORE 18077.038
AT ITER 2486 NEW BEST:: SOT 74665 SOS 44051 HAS SOPS 27967 HAS SOUS 24059 HAS SOUPS 18027 WITH SCORE 18071.051
AT ITER 2500 NEW BEST:: SOT 74605 SOS 43991 HAS SOPS 27907 HAS SOUS 23999 HAS SOUPS 17967 WITH SCORE 18010.991
AT ITER 2503 NEW BEST:: SOT 74584 SOS 43976 HAS SOPS 27860 HAS SOUS 23949 HAS SOUPS 17917 WITH SCORE 17960.976
AT ITER 2540 NEW BEST:: SOT 74536 SOS 43910 HAS SOPS 27746 HAS SOUS 23844 HAS SOUPS 17812 WITH SCORE 17855.91
AT ITER 2541 NEW BEST:: SOT 74587 SOS 43936 HAS SOPS 27802 HAS SOUS 23760 HAS SOUPS 17738 WITH SCORE 17781.936
AT ITER 2568 NEW BEST:: SOT 74571 SOS 43920 HAS SOPS 27782 HAS SOUS 23744 HAS SOUPS 17718 WITH SCORE 17761.92
AT ITER 2575 NEW BEST:: SOT 74570 SOS 43919 HAS SOPS 27770 HAS SOUS 23732 HAS SOUPS 17706 WITH SCORE 17749.919
AT ITER 2591 NEW BEST:: SOT 74557 SOS 43919 HAS SOPS 27744 HAS SOUS 23792 HAS SOUPS 17680 WITH SCORE 17723.919
AT ITER 2615 NEW BEST:: SOT 74546 SOS 43908 HAS SOPS 27718 HAS SOUS 23781 HAS SOUPS 17654 WITH SCORE 17697.908
AT ITER 2643 NEW BEST:: SOT 74542 SOS 43904 HAS SOPS 27710 HAS SOUS 23770 HAS SOUPS 17646 WITH SCORE 17689.904
AT ITER 2722 NEW BEST:: SOT 74542 SOS 43803 HAS SOPS 27609 HAS SOUS 23765 HAS SOUPS 17641 WITH SCORE 17684.803
AT ITER 2725 NEW BEST:: SOT 74549 SOS 43811 HAS SOPS 27573 HAS SOUS 23749 HAS SOUPS 17605 WITH SCORE 17648.811
AT ITER 2727 NEW BEST:: SOT 74411 SOS 43673 HAS SOPS 27435 HAS SOUS 23711 HAS SOUPS 17567 WITH SCORE 17610.673
AT ITER 2734 NEW BEST:: SOT 74407 SOS 43669 HAS SOPS 27429 HAS SOUS 23707 HAS SOUPS 17561 WITH SCORE 17604.669
AT ITER 2746 NEW BEST:: SOT 74387 SOS 43649 HAS SOPS 27389 HAS SOUS 23668 HAS SOUPS 17521 WITH SCORE 17564.649
AT ITER 2764 NEW BEST:: SOT 74367 SOS 43836 HAS SOPS 27370 HAS SOUS 24102 HAS SOUPS 17502 WITH SCORE 17545.836
AT ITER 2769 NEW BEST:: SOT 74367 SOS 43830 HAS SOPS 27364 HAS SOUS 24096 HAS SOUPS 17496 WITH SCORE 17539.83
AT ITER 2770 NEW BEST:: SOT 74347 SOS 43810 HAS SOPS 27333 HAS SOUS 24065 HAS SOUPS 17465 WITH SCORE 17508.81
AT ITER 2780 NEW BEST:: SOT 74320 SOS 43759 HAS SOPS 27259 HAS SOUS 24003 HAS SOUPS 17403 WITH SCORE 17446.759
AT ITER 2783 NEW BEST:: SOT 74336 SOS 43775 HAS SOPS 27291 HAS SOUS 23971 HAS SOUPS 17371 WITH SCORE 17414.775
AT ITER 2785 NEW BEST:: SOT 74328 SOS 43767 HAS SOPS 27284 HAS SOUS 23963 HAS SOUPS 17364 WITH SCORE 17407.767
AT ITER 2798 NEW BEST:: SOT 74328 SOS 43767 HAS SOPS 27282 HAS SOUS 23961 HAS SOUPS 17362 WITH SCORE 17405.767
AT ITER 2800 NEW BEST:: SOT 74346 SOS 43785 HAS SOPS 27318 HAS SOUS 23911 HAS SOUPS 17326 WITH SCORE 17369.785
AT ITER 2817 NEW BEST:: SOT 74332 SOS 43787 HAS SOPS 27306 HAS SOUS 23899 HAS SOUPS 17314 WITH SCORE 17357.787
AT ITER 2824 NEW BEST:: SOT 74330 SOS 43785 HAS SOPS 27304 HAS SOUS 23897 HAS SOUPS 17312 WITH SCORE 17355.785
AT ITER 2838 NEW BEST:: SOT 74330 SOS 43785 HAS SOPS 27324 HAS SOUS 23877 HAS SOUPS 17292 WITH SCORE 17335.785
AT ITER 2858 NEW BEST:: SOT 74321 SOS 43776 HAS SOPS 27315 HAS SOUS 23868 HAS SOUPS 17283 WITH SCORE 17326.776
AT ITER 2861 NEW BEST:: SOT 74313 SOS 43768 HAS SOPS 27295 HAS SOUS 23878 HAS SOUPS 17263 WITH SCORE 17306.768
AT ITER 2871 NEW BEST:: SOT 74313 SOS 43732 HAS SOPS 27259 HAS SOUS 23878 HAS SOUPS 17263 WITH SCORE 17306.732
AT ITER 2881 NEW BEST:: SOT 74311 SOS 43730 HAS SOPS 27255 HAS SOUS 23876 HAS SOUPS 17259 WITH SCORE 17302.73
AT ITER 2904 NEW BEST:: SOT 74314 SOS 43733 HAS SOPS 27248 HAS SOUS 23879 HAS SOUPS 17252 WITH SCORE 17295.733
AT ITER 2905 NEW BEST:: SOT 74307 SOS 43726 HAS SOPS 27236 HAS SOUS 23872 HAS SOUPS 17240 WITH SCORE 17283.726
AT ITER 2920 NEW BEST:: SOT 74215 SOS 43648 HAS SOPS 27128 HAS SOUS 23662 HAS SOUPS 17030 WITH SCORE 17073.648
AT ITER 2970 NEW BEST:: SOT 74223 SOS 43672 HAS SOPS 27088 HAS SOUS 23635 HAS SOUPS 16982 WITH SCORE 17025.672
AT ITER 3016 NEW BEST:: SOT 74203 SOS 43652 HAS SOPS 27068 HAS SOUS 23615 HAS SOUPS 16962 WITH SCORE 17005.652
AT ITER 3017 NEW BEST:: SOT 74178 SOS 43540 HAS SOPS 27068 HAS SOUS 23555 HAS SOUPS 16913 WITH SCORE 16956.54
AT ITER 3045 NEW BEST:: SOT 74170 SOS 43532 HAS SOPS 27060 HAS SOUS 23539 HAS SOUPS 16897 WITH SCORE 16940.532
AT ITER 3130 NEW BEST:: SOT 74143 SOS 43507 HAS SOPS 27035 HAS SOUS 23514 HAS SOUPS 16872 WITH SCORE 16915.507
AT ITER 3164 NEW BEST:: SOT 74098 SOS 43485 HAS SOPS 26988 HAS SOUS 23491 HAS SOUPS 16844 WITH SCORE 16887.485
AT ITER 3180 NEW BEST:: SOT 74088 SOS 43475 HAS SOPS 26968 HAS SOUS 23481 HAS SOUPS 16824 WITH SCORE 16867.475
AT ITER 3205 NEW BEST:: SOT 74098 SOS 43485 HAS SOPS 26988 HAS SOUS 23461 HAS SOUPS 16804 WITH SCORE 16847.485
AT ITER 3215 NEW BEST:: SOT 74052 SOS 43439 HAS SOPS 26942 HAS SOUS 23450 HAS SOUPS 16758 WITH SCORE 16801.439
AT ITER 3220 NEW BEST:: SOT 74052 SOS 43439 HAS SOPS 26934 HAS SOUS 23442 HAS SOUPS 16750 WITH SCORE 16793.439
AT ITER 3233 NEW BEST:: SOT 74050 SOS 43430 HAS SOPS 26930 HAS SOUS 23424 HAS SOUPS 16746 WITH SCORE 16789.43
AT ITER 3240 NEW BEST:: SOT 74023 SOS 43403 HAS SOPS 26876 HAS SOUS 23402 HAS SOUPS 16692 WITH SCORE 16735.403
AT ITER 3241 NEW BEST:: SOT 74021 SOS 43401 HAS SOPS 26872 HAS SOUS 23400 HAS SOUPS 16688 WITH SCORE 16731.401
AT ITER 3243 NEW BEST:: SOT 74013 SOS 43419 HAS SOPS 26834 HAS SOUS 23414 HAS SOUPS 16650 WITH SCORE 16693.419
AT ITER 3244 NEW BEST:: SOT 74010 SOS 43410 HAS SOPS 26828 HAS SOUS 23411 HAS SOUPS 16647 WITH SCORE 16690.41
AT ITER 3254 NEW BEST:: SOT 74005 SOS 43405 HAS SOPS 26818 HAS SOUS 23406 HAS SOUPS 16637 WITH SCORE 16680.405
AT ITER 3258 NEW BEST:: SOT 73845 SOS 43245 HAS SOPS 26770 HAS SOUS 23337 HAS SOUPS 16589 WITH SCORE 16632.245
AT ITER 3285 NEW BEST:: SOT 73837 SOS 43237 HAS SOPS 26754 HAS SOUS 23329 HAS SOUPS 16573 WITH SCORE 16616.237
AT ITER 3301 NEW BEST:: SOT 73728 SOS 43222 HAS SOPS 26644 HAS SOUS 23509 HAS SOUPS 16567 WITH SCORE 16610.222
AT ITER 3319 NEW BEST:: SOT 73691 SOS 43170 HAS SOPS 26615 HAS SOUS 23458 HAS SOUPS 16538 WITH SCORE 16581.17
AT ITER 3340 NEW BEST:: SOT 73681 SOS 43160 HAS SOPS 26606 HAS SOUS 23426 HAS SOUPS 16529 WITH SCORE 16572.16
AT ITER 3372 NEW BEST:: SOT 73695 SOS 43062 HAS SOPS 26616 HAS SOUS 23363 HAS SOUPS 16475 WITH SCORE 16518.062
AT ITER 3414 NEW BEST:: SOT 73703 SOS 43063 HAS SOPS 26537 HAS SOUS 23320 HAS SOUPS 16432 WITH SCORE 16475.063
AT ITER 3435 NEW BEST:: SOT 73681 SOS 43041 HAS SOPS 26504 HAS SOUS 23298 HAS SOUPS 16399 WITH SCORE 16442.041
AT ITER 3437 NEW BEST:: SOT 73669 SOS 43029 HAS SOPS 26486 HAS SOUS 23286 HAS SOUPS 16381 WITH SCORE 16424.029
AT ITER 3450 NEW BEST:: SOT 73616 SOS 42927 HAS SOPS 26379 HAS SOUS 23184 HAS SOUPS 16274 WITH SCORE 16316.927
AT ITER 3479 NEW BEST:: SOT 73605 SOS 42916 HAS SOPS 26357 HAS SOUS 23173 HAS SOUPS 16252 WITH SCORE 16294.916
AT ITER 3501 NEW BEST:: SOT 73605 SOS 42874 HAS SOPS 26315 HAS SOUS 23173 HAS SOUPS 16252 WITH SCORE 16294.874
AT ITER 3505 NEW BEST:: SOT 73581 SOS 42850 HAS SOPS 26283 HAS SOUS 23149 HAS SOUPS 16220 WITH SCORE 16262.85
AT ITER 3532 NEW BEST:: SOT 73549 SOS 42828 HAS SOPS 26246 HAS SOUS 23149 HAS SOUPS 16195 WITH SCORE 16237.828
AT ITER 3536 NEW BEST:: SOT 73544 SOS 42823 HAS SOPS 26241 HAS SOUS 23139 HAS SOUPS 16190 WITH SCORE 16232.823
AT ITER 3544 NEW BEST:: SOT 73544 SOS 42823 HAS SOPS 26241 HAS SOUS 23138 HAS SOUPS 16189 WITH SCORE 16231.823
AT ITER 3563 NEW BEST:: SOT 73546 SOS 42825 HAS SOPS 26238 HAS SOUS 23140 HAS SOUPS 16186 WITH SCORE 16228.825
AT ITER 3580 NEW BEST:: SOT 73539 SOS 42818 HAS SOPS 26210 HAS SOUS 23148 HAS SOUPS 16158 WITH SCORE 16200.818
AT ITER 3583 NEW BEST:: SOT 73536 SOS 42751 HAS SOPS 26208 HAS SOUS 22954 HAS SOUPS 15974 WITH SCORE 16016.751
AT ITER 3590 NEW BEST:: SOT 73525 SOS 42740 HAS SOPS 26189 HAS SOUS 22909 HAS SOUPS 15955 WITH SCORE 15997.74
AT ITER 3618 NEW BEST:: SOT 73513 SOS 42728 HAS SOPS 26182 HAS SOUS 22902 HAS SOUPS 15948 WITH SCORE 15990.728
AT ITER 3632 NEW BEST:: SOT 73509 SOS 42724 HAS SOPS 26178 HAS SOUS 22898 HAS SOUPS 15944 WITH SCORE 15986.724
AT ITER 3685 NEW BEST:: SOT 73365 SOS 42467 HAS SOPS 25943 HAS SOUS 22770 HAS SOUPS 15816 WITH SCORE 15858.467
AT ITER 3714 NEW BEST:: SOT 73359 SOS 42461 HAS SOPS 25942 HAS SOUS 22769 HAS SOUPS 15815 WITH SCORE 15857.461
AT ITER 3726 NEW BEST:: SOT 73375 SOS 42477 HAS SOPS 25941 HAS SOUS 22791 HAS SOUPS 15814 WITH SCORE 15856.477
AT ITER 3738 NEW BEST:: SOT 73375 SOS 42477 HAS SOPS 25927 HAS SOUS 22791 HAS SOUPS 15800 WITH SCORE 15842.477
AT ITER 3789 NEW BEST:: SOT 73374 SOS 42476 HAS SOPS 25925 HAS SOUS 22790 HAS SOUPS 15798 WITH SCORE 15840.476
AT ITER 3800 NEW BEST:: SOT 73369 SOS 42471 HAS SOPS 25915 HAS SOUS 22785 HAS SOUPS 15788 WITH SCORE 15830.471
AT ITER 3806 NEW BEST:: SOT 73370 SOS 42472 HAS SOPS 25908 HAS SOUS 22782 HAS SOUPS 15785 WITH SCORE 15827.472
AT ITER 3807 NEW BEST:: SOT 73348 SOS 42450 HAS SOPS 25886 HAS SOUS 22760 HAS SOUPS 15763 WITH SCORE 15805.45
AT ITER 3812 NEW BEST:: SOT 73296 SOS 42574 HAS SOPS 26010 HAS SOUS 22690 HAS SOUPS 15693 WITH SCORE 15735.574
AT ITER 3817 NEW BEST:: SOT 73287 SOS 42545 HAS SOPS 25984 HAS SOUS 22674 HAS SOUPS 15677 WITH SCORE 15719.545
AT ITER 3821 NEW BEST:: SOT 73283 SOS 42553 HAS SOPS 25976 HAS SOUS 22755 HAS SOUPS 15669 WITH SCORE 15711.553
AT ITER 3831 NEW BEST:: SOT 73282 SOS 42552 HAS SOPS 25975 HAS SOUS 22754 HAS SOUPS 15668 WITH SCORE 15710.552
AT ITER 3853 NEW BEST:: SOT 73267 SOS 42537 HAS SOPS 25955 HAS SOUS 22739 HAS SOUPS 15648 WITH SCORE 15690.537
AT ITER 3866 NEW BEST:: SOT 73243 SOS 42501 HAS SOPS 25919 HAS SOUS 22703 HAS SOUPS 15612 WITH SCORE 15654.501
AT ITER 3899 NEW BEST:: SOT 73240 SOS 42498 HAS SOPS 25916 HAS SOUS 22700 HAS SOUPS 15609 WITH SCORE 15651.498
AT ITER 3918 NEW BEST:: SOT 73202 SOS 42469 HAS SOPS 25878 HAS SOUS 22653 HAS SOUPS 15562 WITH SCORE 15604.469
AT ITER 3944 NEW BEST:: SOT 73202 SOS 42469 HAS SOPS 25878 HAS SOUS 22642 HAS SOUPS 15551 WITH SCORE 15593.469
AT ITER 3968 NEW BEST:: SOT 73207 SOS 42474 HAS SOPS 25877 HAS SOUS 22647 HAS SOUPS 15550 WITH SCORE 15592.474
AT ITER 3984 NEW BEST:: SOT 73191 SOS 42521 HAS SOPS 25829 HAS SOUS 22979 HAS SOUPS 15502 WITH SCORE 15544.521
AT ITER 4052 NEW BEST:: SOT 73190 SOS 42520 HAS SOPS 25827 HAS SOUS 22978 HAS SOUPS 15500 WITH SCORE 15542.52
AT ITER 4065 NEW BEST:: SOT 73187 SOS 42517 HAS SOPS 25822 HAS SOUS 22973 HAS SOUPS 15495 WITH SCORE 15537.517
AT ITER 4176 NEW BEST:: SOT 73191 SOS 42525 HAS SOPS 25814 HAS SOUS 22963 HAS SOUPS 15485 WITH SCORE 15527.525
AT ITER 4244 NEW BEST:: SOT 73183 SOS 42517 HAS SOPS 25798 HAS SOUS 22955 HAS SOUPS 15469 WITH SCORE 15511.517
AT ITER 4291 NEW BEST:: SOT 73183 SOS 42516 HAS SOPS 25797 HAS SOUS 22954 HAS SOUPS 15468 WITH SCORE 15510.516
AT ITER 4307 NEW BEST:: SOT 73193 SOS 42537 HAS SOPS 25795 HAS SOUS 22952 HAS SOUPS 15466 WITH SCORE 15508.537
AT ITER 4319 NEW BEST:: SOT 73131 SOS 42457 HAS SOPS 25715 HAS SOUS 22900 HAS SOUPS 15414 WITH SCORE 15456.457
AT ITER 4324 NEW BEST:: SOT 73129 SOS 42455 HAS SOPS 25713 HAS SOUS 22898 HAS SOUPS 15412 WITH SCORE 15454.455
AT ITER 4327 NEW BEST:: SOT 73129 SOS 42449 HAS SOPS 25710 HAS SOUS 22892 HAS SOUPS 15409 WITH SCORE 15451.449
AT ITER 4341 NEW BEST:: SOT 73129 SOS 42441 HAS SOPS 25710 HAS SOUS 22892 HAS SOUPS 15409 WITH SCORE 15451.441
AT ITER 4343 NEW BEST:: SOT 73121 SOS 42441 HAS SOPS 25697 HAS SOUS 22918 HAS SOUPS 15396 WITH SCORE 15438.441
AT ITER 4347 NEW BEST:: SOT 73121 SOS 42405 HAS SOPS 25697 HAS SOUS 22898 HAS SOUPS 15380 WITH SCORE 15422.405
AT ITER 4377 NEW BEST:: SOT 73116 SOS 42400 HAS SOPS 25687 HAS SOUS 22893 HAS SOUPS 15370 WITH SCORE 15412.4
AT ITER 4425 NEW BEST:: SOT 73088 SOS 42366 HAS SOPS 25653 HAS SOUS 22859 HAS SOUPS 15336 WITH SCORE 15378.366
AT ITER 4432 NEW BEST:: SOT 73085 SOS 42363 HAS SOPS 25647 HAS SOUS 22856 HAS SOUPS 15330 WITH SCORE 15372.363
AT ITER 4436 NEW BEST:: SOT 73082 SOS 42240 HAS SOPS 25504 HAS SOUS 22805 HAS SOUPS 15279 WITH SCORE 15321.24
AT ITER 4440 NEW BEST:: SOT 73082 SOS 42240 HAS SOPS 25494 HAS SOUS 22798 HAS SOUPS 15269 WITH SCORE 15311.24
AT ITER 4446 NEW BEST:: SOT 73069 SOS 42227 HAS SOPS 25481 HAS SOUS 22785 HAS SOUPS 15256 WITH SCORE 15298.227
AT ITER 4482 NEW BEST:: SOT 73066 SOS 42224 HAS SOPS 25475 HAS SOUS 22782 HAS SOUPS 15250 WITH SCORE 15292.224
AT ITER 4531 NEW BEST:: SOT 73066 SOS 42276 HAS SOPS 25472 HAS SOUS 22847 HAS SOUPS 15247 WITH SCORE 15289.276
AT ITER 4532 NEW BEST:: SOT 73058 SOS 42268 HAS SOPS 25465 HAS SOUS 22839 HAS SOUPS 15240 WITH SCORE 15282.268
AT ITER 4534 NEW BEST:: SOT 73066 SOS 42284 HAS SOPS 25457 HAS SOUS 22827 HAS SOUPS 15228 WITH SCORE 15270.284
AT ITER 4547 NEW BEST:: SOT 73053 SOS 42271 HAS SOPS 25431 HAS SOUS 22801 HAS SOUPS 15202 WITH SCORE 15244.271
AT ITER 4565 NEW BEST:: SOT 72930 SOS 42148 HAS SOPS 25308 HAS SOUS 22754 HAS SOUPS 15155 WITH SCORE 15197.148
AT ITER 4596 NEW BEST:: SOT 72930 SOS 42273 HAS SOPS 25433 HAS SOUS 22751 HAS SOUPS 15152 WITH SCORE 15194.273
AT ITER 4606 NEW BEST:: SOT 72876 SOS 42219 HAS SOPS 25352 HAS SOUS 22670 HAS SOUPS 15071 WITH SCORE 15113.219
AT ITER 4635 NEW BEST:: SOT 72939 SOS 42293 HAS SOPS 25323 HAS SOUS 22697 HAS SOUPS 15010 WITH SCORE 15052.293
AT ITER 4636 NEW BEST:: SOT 72939 SOS 42369 HAS SOPS 25321 HAS SOUS 22762 HAS SOUPS 15008 WITH SCORE 15050.369
AT ITER 4650 NEW BEST:: SOT 72930 SOS 42360 HAS SOPS 25303 HAS SOUS 22753 HAS SOUPS 14990 WITH SCORE 15032.36
AT ITER 4763 NEW BEST:: SOT 72928 SOS 42358 HAS SOPS 25299 HAS SOUS 22751 HAS SOUPS 14986 WITH SCORE 15028.358
AT ITER 4792 NEW BEST:: SOT 72858 SOS 42288 HAS SOPS 25233 HAS SOUS 22685 HAS SOUPS 14920 WITH SCORE 14962.288
AT ITER 4804 NEW BEST:: SOT 72856 SOS 42286 HAS SOPS 25229 HAS SOUS 22683 HAS SOUPS 14916 WITH SCORE 14958.286
AT ITER 4812 NEW BEST:: SOT 72846 SOS 42276 HAS SOPS 25211 HAS SOUS 22673 HAS SOUPS 14898 WITH SCORE 14940.276
AT ITER 4832 NEW BEST:: SOT 72838 SOS 42268 HAS SOPS 25195 HAS SOUS 22665 HAS SOUPS 14882 WITH SCORE 14924.268
AT ITER 4866 NEW BEST:: SOT 72838 SOS 42264 HAS SOPS 25194 HAS SOUS 22659 HAS SOUPS 14881 WITH SCORE 14923.264
AT ITER 4898 NEW BEST:: SOT 72834 SOS 42264 HAS SOPS 25186 HAS SOUS 22647 HAS SOUPS 14869 WITH SCORE 14911.264
AT ITER 4938 NEW BEST:: SOT 72823 SOS 42271 HAS SOPS 25182 HAS SOUS 22654 HAS SOUPS 14865 WITH SCORE 14907.271
AT ITER 4940 NEW BEST:: SOT 72823 SOS 42170 HAS SOPS 25081 HAS SOUS 22653 HAS SOUPS 14864 WITH SCORE 14906.17
AT ITER 4943 NEW BEST:: SOT 72819 SOS 42166 HAS SOPS 25073 HAS SOUS 22636 HAS SOUPS 14856 WITH SCORE 14898.166
AT ITER 4980 NEW BEST:: SOT 72855 SOS 42238 HAS SOPS 25001 HAS SOUS 22546 HAS SOUPS 14766 WITH SCORE 14808.238
AT ITER 4981 NEW BEST:: SOT 72861 SOS 42266 HAS SOPS 25017 HAS SOUS 22543 HAS SOUPS 14763 WITH SCORE 14805.266
AT ITER 4987 NEW BEST:: SOT 72830 SOS 42321 HAS SOPS 24986 HAS SOUS 22700 HAS SOUPS 14732 WITH SCORE 14774.321
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-00 (EG( (! ( potential( (tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54)) <= (tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P226) + tk(P227) + tk(P228) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237) + tk(P238) + tk(P239) + tk(P240) + tk(P241) + tk(P242) + tk(P243) + tk(P244) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P251) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266) + tk(P267) + tk(P268) + tk(P269) + tk(P270) + tk(P271) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276) + tk(P277) + tk(P278) + tk(P279)) ) & ( potential( ( 2 ) <= (tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99)) ) | potential( ( 2 ) <= (tk(P307) + tk(P308) + tk(P309) + tk(P310) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315)) ) ) ))))
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-01 (AU( ( potential( (tk(P289) + tk(P290) + tk(P291) + tk(P292) + tk(P293) + tk(P294) + tk(P295) + tk(P296) + tk(P297)) <= (tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108)) ) | potential( (tk(P1) + tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9)) <= (tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P285) + tk(P286) + tk(P287) + tk(P288)) ) ),(EG( potential( (tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99)) <= (tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90)) ))) ))
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-02 (EU( (! ( potential( ( 1 ) <= (tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27)) ) & potential( ( 3 ) <= (tk(P289) + tk(P290) + tk(P291) + tk(P292) + tk(P293) + tk(P294) + tk(P295) + tk(P296) + tk(P297)) ) )),(EG( potential( ( 3 ) <= (tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63)) ))) ))
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-03 (EG( ( (EG( potential( (tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108)) <= (tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306)) ))) | ( (! potential( ( 3 ) <= (tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306)) )) & ( potential( (tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72)) <= (tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45)) ) | potential( ( 3 ) <= (tk(P307) + tk(P308) + tk(P309) + tk(P310) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315)) ) ) ) )))
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-04 (! (EG( (EG( potential( (tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54)) <= (tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45)) ))))))
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-05 (AU( (EX( potential( (tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81)) <= (tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72)) ))),(EG( potential( ( 2 ) <= (tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306)) ))) ))
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-06 (AU( (! ( potential( ( 2 ) <= (tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P285) + tk(P286) + tk(P287) + tk(P288)) ) | potential( ( 2 ) <= (tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99)) ) )),(! potential( (tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108)) <= (tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63)) )) ))
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-07 (AG( (EG( ( potential( (tk(P1) + tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9)) <= (tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306)) ) | potential( (tk(P307) + tk(P308) + tk(P309) + tk(P310) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315)) <= (tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54)) ) )))))
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-08 (AU( (EF(potential( (tk(P13)) <= (tk(P206)) ))),(! (! potential( ( 3 ) <= (tk(P285)) ))) ))
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-09 ( ( (! (! ( potential( (tk(P30)) <= (tk(P243)) ) | potential( ( 1 ) <= (tk(P226)) ) ))) | (EF(( potential( ( 2 ) <= (tk(P23)) ) | potential( ( 2 ) <= (tk(P202)) ) ))) ) | potential( ( 2 ) <= (tk(P103)) ) )
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-10 ( ( (AX( (! potential( (tk(P286)) <= (tk(P198)) )))) | ( (EF(potential( ( 1 ) <= (tk(P146)) ))) & (! ( potential( ( 3 ) <= (tk(P59)) ) | potential( ( 1 ) <= (tk(P275)) ) )) ) ) & (AU( ( potential( ( 3 ) <= (tk(P285)) ) | potential( ( 2 ) <= (tk(P160)) ) ),potential( (tk(P175)) <= (tk(P162)) ) )) )
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-11 ( (EG( ( (! potential( ( 3 ) <= (tk(P278)) )) | (! potential( (tk(P12)) <= (tk(P207)) )) ))) | (! (! ( ( potential( ( 3 ) <= (tk(P242)) ) & potential( ( 2 ) <= (tk(P303)) ) ) & potential( (tk(P289)) <= (tk(P50)) ) ))) )
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-12 (AG( (EU( potential( (tk(P143)) <= (tk(P9)) ),potential( (tk(P180)) <= (tk(P69)) ) ))))
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-13 (EF((AF(( potential( ( 2 ) <= (tk(P244)) ) | potential( ( 3 ) <= (tk(P140)) ) )))))
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-14 (EG( (EU( potential( ( 2 ) <= (tk(P284)) ),potential( (tk(P117)) <= (tk(P260)) ) ))))
PROPERTY: LamportFastMutEx-PT-8-CTLCardinality-15 (AG( potential( (tk(P291)) <= (tk(P138)) )))

BK_STOP 1589622693542

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 463 Aborted ${SMART} ${INPUT_SM}

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="LamportFastMutEx-PT-8"
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 LamportFastMutEx-PT-8, 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 r093-oct2-158940140900691"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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