Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807800644.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 DiscoveryGPU-PT-09b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807800644
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.4K Mar 31 06:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 06:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 29 23:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 29 23:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 27 07:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 27 07:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 68K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589363405971

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 09b
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: 268 places, 284 transitions, 740 arcs.
AT ITER 0 NEW BEST:: SOT 52914 SOS 24985 HAS SOPS 24985 HAS SOUS 22206 HAS SOUPS 22206 WITH SCORE 22230.985
AT ITER 7 NEW BEST:: SOT 52913 SOS 24945 HAS SOPS 24945 HAS SOUS 22185 HAS SOUPS 22185 WITH SCORE 22209.945
AT ITER 17 NEW BEST:: SOT 51127 SOS 30870 HAS SOPS 30870 HAS SOUS 20681 HAS SOUPS 20681 WITH SCORE 20711.87
AT ITER 19 NEW BEST:: SOT 51119 SOS 30715 HAS SOPS 30715 HAS SOUS 20543 HAS SOUPS 20543 WITH SCORE 20573.715
AT ITER 22 NEW BEST:: SOT 51118 SOS 30675 HAS SOPS 30675 HAS SOUS 20529 HAS SOUPS 20529 WITH SCORE 20559.675
AT ITER 23 NEW BEST:: SOT 51083 SOS 30605 HAS SOPS 30605 HAS SOUS 20500 HAS SOUPS 20500 WITH SCORE 20530.605
AT ITER 25 NEW BEST:: SOT 51082 SOS 30530 HAS SOPS 30530 HAS SOUS 20425 HAS SOUPS 20425 WITH SCORE 20455.53
AT ITER 30 NEW BEST:: SOT 51136 SOS 30529 HAS SOPS 30529 HAS SOUS 20423 HAS SOUPS 20423 WITH SCORE 20453.529
AT ITER 34 NEW BEST:: SOT 51122 SOS 30242 HAS SOPS 30242 HAS SOUS 20246 HAS SOUPS 20246 WITH SCORE 20276.242
AT ITER 43 NEW BEST:: SOT 51018 SOS 30035 HAS SOPS 30035 HAS SOUS 20141 HAS SOUPS 20141 WITH SCORE 20171.035
AT ITER 44 NEW BEST:: SOT 50954 SOS 29907 HAS SOPS 29907 HAS SOUS 20024 HAS SOUPS 20024 WITH SCORE 20053.907
AT ITER 52 NEW BEST:: SOT 50887 SOS 29773 HAS SOPS 29773 HAS SOUS 19957 HAS SOUPS 19957 WITH SCORE 19986.773
AT ITER 54 NEW BEST:: SOT 50887 SOS 29715 HAS SOPS 29715 HAS SOUS 19956 HAS SOUPS 19956 WITH SCORE 19985.715
AT ITER 55 NEW BEST:: SOT 50808 SOS 29557 HAS SOPS 29557 HAS SOUS 19798 HAS SOUPS 19798 WITH SCORE 19827.557
AT ITER 56 NEW BEST:: SOT 50736 SOS 29413 HAS SOPS 29413 HAS SOUS 19674 HAS SOUPS 19674 WITH SCORE 19703.413
AT ITER 58 NEW BEST:: SOT 50736 SOS 29400 HAS SOPS 29400 HAS SOUS 19674 HAS SOUPS 19674 WITH SCORE 19703.4
AT ITER 61 NEW BEST:: SOT 50663 SOS 29254 HAS SOPS 29254 HAS SOUS 19604 HAS SOUPS 19604 WITH SCORE 19633.254
AT ITER 68 NEW BEST:: SOT 50655 SOS 29246 HAS SOPS 29246 HAS SOUS 19596 HAS SOUPS 19596 WITH SCORE 19625.246
AT ITER 73 NEW BEST:: SOT 50651 SOS 29242 HAS SOPS 29242 HAS SOUS 19592 HAS SOUPS 19592 WITH SCORE 19621.242
AT ITER 74 NEW BEST:: SOT 50651 SOS 29242 HAS SOPS 29242 HAS SOUS 19590 HAS SOUPS 19590 WITH SCORE 19619.242
AT ITER 77 NEW BEST:: SOT 50633 SOS 29206 HAS SOPS 29206 HAS SOUS 19554 HAS SOUPS 19554 WITH SCORE 19583.206
AT ITER 79 NEW BEST:: SOT 50601 SOS 29068 HAS SOPS 29068 HAS SOUS 19478 HAS SOUPS 19478 WITH SCORE 19507.068
AT ITER 86 NEW BEST:: SOT 50515 SOS 28896 HAS SOPS 28896 HAS SOUS 19392 HAS SOUPS 19392 WITH SCORE 19420.896
AT ITER 87 NEW BEST:: SOT 50513 SOS 28886 HAS SOPS 28886 HAS SOUS 19388 HAS SOUPS 19388 WITH SCORE 19416.886
AT ITER 89 NEW BEST:: SOT 50501 SOS 28850 HAS SOPS 28850 HAS SOUS 19364 HAS SOUPS 19364 WITH SCORE 19392.85
AT ITER 94 NEW BEST:: SOT 50500 SOS 28848 HAS SOPS 28848 HAS SOUS 19362 HAS SOUPS 19362 WITH SCORE 19390.848
AT ITER 103 NEW BEST:: SOT 50380 SOS 28724 HAS SOPS 28724 HAS SOUS 19343 HAS SOUPS 19343 WITH SCORE 19371.724
AT ITER 110 NEW BEST:: SOT 50209 SOS 28571 HAS SOPS 28571 HAS SOUS 19155 HAS SOUPS 19155 WITH SCORE 19183.571
AT ITER 113 NEW BEST:: SOT 50208 SOS 28570 HAS SOPS 28570 HAS SOUS 19153 HAS SOUPS 19153 WITH SCORE 19181.57
AT ITER 115 NEW BEST:: SOT 50001 SOS 28159 HAS SOPS 28159 HAS SOUS 18742 HAS SOUPS 18742 WITH SCORE 18770.159
AT ITER 119 NEW BEST:: SOT 49952 SOS 28036 HAS SOPS 28036 HAS SOUS 18626 HAS SOUPS 18626 WITH SCORE 18654.036
AT ITER 120 NEW BEST:: SOT 49951 SOS 28034 HAS SOPS 28034 HAS SOUS 18624 HAS SOUPS 18624 WITH SCORE 18652.034
AT ITER 122 NEW BEST:: SOT 49929 SOS 28001 HAS SOPS 28001 HAS SOUS 18602 HAS SOUPS 18602 WITH SCORE 18630.001
AT ITER 126 NEW BEST:: SOT 49928 SOS 27962 HAS SOPS 27962 HAS SOUS 18600 HAS SOUPS 18600 WITH SCORE 18627.962
AT ITER 131 NEW BEST:: SOT 49925 SOS 27896 HAS SOPS 27896 HAS SOUS 18597 HAS SOUPS 18597 WITH SCORE 18624.896
AT ITER 133 NEW BEST:: SOT 49909 SOS 27864 HAS SOPS 27864 HAS SOUS 18564 HAS SOUPS 18564 WITH SCORE 18591.864
AT ITER 142 NEW BEST:: SOT 49853 SOS 27780 HAS SOPS 27780 HAS SOUS 18508 HAS SOUPS 18508 WITH SCORE 18535.78
AT ITER 151 NEW BEST:: SOT 49882 SOS 27780 HAS SOPS 27780 HAS SOUS 18470 HAS SOUPS 18470 WITH SCORE 18497.78
AT ITER 155 NEW BEST:: SOT 49880 SOS 27708 HAS SOPS 27708 HAS SOUS 18466 HAS SOUPS 18466 WITH SCORE 18493.708
AT ITER 162 NEW BEST:: SOT 49757 SOS 27628 HAS SOPS 27628 HAS SOUS 18416 HAS SOUPS 18416 WITH SCORE 18443.628
AT ITER 163 NEW BEST:: SOT 49709 SOS 27501 HAS SOPS 27501 HAS SOUS 18320 HAS SOUPS 18320 WITH SCORE 18347.501
AT ITER 169 NEW BEST:: SOT 49567 SOS 27276 HAS SOPS 27276 HAS SOUS 18266 HAS SOUPS 18266 WITH SCORE 18293.276
AT ITER 170 NEW BEST:: SOT 49552 SOS 27246 HAS SOPS 27246 HAS SOUS 18236 HAS SOUPS 18236 WITH SCORE 18263.246
AT ITER 171 NEW BEST:: SOT 49541 SOS 27235 HAS SOPS 27235 HAS SOUS 18225 HAS SOUPS 18225 WITH SCORE 18252.235
AT ITER 172 NEW BEST:: SOT 49351 SOS 26855 HAS SOPS 26855 HAS SOUS 17956 HAS SOUPS 17956 WITH SCORE 17982.855
AT ITER 175 NEW BEST:: SOT 49348 SOS 26849 HAS SOPS 26849 HAS SOUS 17951 HAS SOUPS 17951 WITH SCORE 17977.849
AT ITER 176 NEW BEST:: SOT 49347 SOS 26847 HAS SOPS 26847 HAS SOUS 17949 HAS SOUPS 17949 WITH SCORE 17975.847
AT ITER 185 NEW BEST:: SOT 49327 SOS 26807 HAS SOPS 26807 HAS SOUS 17909 HAS SOUPS 17909 WITH SCORE 17935.807
AT ITER 188 NEW BEST:: SOT 49293 SOS 26740 HAS SOPS 26740 HAS SOUS 17901 HAS SOUPS 17901 WITH SCORE 17927.74
AT ITER 189 NEW BEST:: SOT 49264 SOS 26682 HAS SOPS 26682 HAS SOUS 17862 HAS SOUPS 17862 WITH SCORE 17888.682
AT ITER 194 NEW BEST:: SOT 49197 SOS 26548 HAS SOPS 26548 HAS SOUS 17795 HAS SOUPS 17795 WITH SCORE 17821.548
AT ITER 200 NEW BEST:: SOT 49195 SOS 26533 HAS SOPS 26533 HAS SOUS 17791 HAS SOUPS 17791 WITH SCORE 17817.533
AT ITER 205 NEW BEST:: SOT 49200 SOS 26543 HAS SOPS 26543 HAS SOUS 17789 HAS SOUPS 17789 WITH SCORE 17815.543
AT ITER 210 NEW BEST:: SOT 49199 SOS 26541 HAS SOPS 26541 HAS SOUS 17787 HAS SOUPS 17787 WITH SCORE 17813.541
AT ITER 211 NEW BEST:: SOT 49172 SOS 26516 HAS SOPS 26516 HAS SOUS 17762 HAS SOUPS 17762 WITH SCORE 17788.516
AT ITER 213 NEW BEST:: SOT 49161 SOS 26505 HAS SOPS 26505 HAS SOUS 17762 HAS SOUPS 17762 WITH SCORE 17788.505
AT ITER 215 NEW BEST:: SOT 49161 SOS 26503 HAS SOPS 26503 HAS SOUS 17762 HAS SOUPS 17762 WITH SCORE 17788.503
AT ITER 219 NEW BEST:: SOT 49049 SOS 26391 HAS SOPS 26391 HAS SOUS 17650 HAS SOUPS 17650 WITH SCORE 17676.391
AT ITER 220 NEW BEST:: SOT 49049 SOS 26330 HAS SOPS 26330 HAS SOUS 17650 HAS SOUPS 17650 WITH SCORE 17676.33
AT ITER 222 NEW BEST:: SOT 48883 SOS 26081 HAS SOPS 26081 HAS SOUS 17484 HAS SOUPS 17484 WITH SCORE 17510.081
AT ITER 227 NEW BEST:: SOT 48815 SOS 25945 HAS SOPS 25945 HAS SOUS 17430 HAS SOUPS 17430 WITH SCORE 17455.945
AT ITER 231 NEW BEST:: SOT 48801 SOS 25832 HAS SOPS 25832 HAS SOUS 17416 HAS SOUPS 17416 WITH SCORE 17441.832
AT ITER 232 NEW BEST:: SOT 48689 SOS 25608 HAS SOPS 25608 HAS SOUS 17269 HAS SOUPS 17269 WITH SCORE 17294.608
AT ITER 234 NEW BEST:: SOT 48588 SOS 25422 HAS SOPS 25422 HAS SOUS 17163 HAS SOUPS 17163 WITH SCORE 17188.422
AT ITER 246 NEW BEST:: SOT 48583 SOS 25372 HAS SOPS 25372 HAS SOUS 17113 HAS SOUPS 17113 WITH SCORE 17138.372
AT ITER 253 NEW BEST:: SOT 48581 SOS 25303 HAS SOPS 25303 HAS SOUS 17109 HAS SOUPS 17109 WITH SCORE 17134.303
AT ITER 255 NEW BEST:: SOT 48540 SOS 25238 HAS SOPS 25238 HAS SOUS 17053 HAS SOUPS 17053 WITH SCORE 17078.238
AT ITER 266 NEW BEST:: SOT 48505 SOS 25203 HAS SOPS 25203 HAS SOUS 17018 HAS SOUPS 17018 WITH SCORE 17043.203
AT ITER 267 NEW BEST:: SOT 48504 SOS 25201 HAS SOPS 25201 HAS SOUS 17016 HAS SOUPS 17016 WITH SCORE 17041.201
AT ITER 285 NEW BEST:: SOT 48501 SOS 25192 HAS SOPS 25192 HAS SOUS 17012 HAS SOUPS 17012 WITH SCORE 17037.192
AT ITER 289 NEW BEST:: SOT 48480 SOS 25152 HAS SOPS 25152 HAS SOUS 16990 HAS SOUPS 16990 WITH SCORE 17015.152
AT ITER 291 NEW BEST:: SOT 48480 SOS 25152 HAS SOPS 25152 HAS SOUS 16980 HAS SOUPS 16980 WITH SCORE 17005.152
AT ITER 293 NEW BEST:: SOT 48501 SOS 25194 HAS SOPS 25194 HAS SOUS 16963 HAS SOUPS 16963 WITH SCORE 16988.194
AT ITER 296 NEW BEST:: SOT 48519 SOS 25196 HAS SOPS 25196 HAS SOUS 16948 HAS SOUPS 16948 WITH SCORE 16973.196
AT ITER 299 NEW BEST:: SOT 48519 SOS 25192 HAS SOPS 25192 HAS SOUS 16944 HAS SOUPS 16944 WITH SCORE 16969.192
AT ITER 304 NEW BEST:: SOT 48514 SOS 25185 HAS SOPS 25185 HAS SOUS 16937 HAS SOUPS 16937 WITH SCORE 16962.185
AT ITER 307 NEW BEST:: SOT 48517 SOS 25177 HAS SOPS 25177 HAS SOUS 16933 HAS SOUPS 16933 WITH SCORE 16958.177
AT ITER 326 NEW BEST:: SOT 48517 SOS 25159 HAS SOPS 25159 HAS SOUS 16897 HAS SOUPS 16897 WITH SCORE 16922.159
AT ITER 328 NEW BEST:: SOT 48516 SOS 25157 HAS SOPS 25157 HAS SOUS 16895 HAS SOUPS 16895 WITH SCORE 16920.157
AT ITER 330 NEW BEST:: SOT 48414 SOS 24954 HAS SOPS 24954 HAS SOUS 16741 HAS SOUPS 16741 WITH SCORE 16765.954
AT ITER 338 NEW BEST:: SOT 48381 SOS 24901 HAS SOPS 24901 HAS SOUS 16728 HAS SOUPS 16728 WITH SCORE 16752.901
AT ITER 343 NEW BEST:: SOT 48339 SOS 24817 HAS SOPS 24817 HAS SOUS 16651 HAS SOUPS 16651 WITH SCORE 16675.817
AT ITER 344 NEW BEST:: SOT 47731 SOS 24314 HAS SOPS 24314 HAS SOUS 16148 HAS SOUPS 16148 WITH SCORE 16172.314
AT ITER 350 NEW BEST:: SOT 47731 SOS 24311 HAS SOPS 24311 HAS SOUS 16148 HAS SOUPS 16148 WITH SCORE 16172.311
AT ITER 361 NEW BEST:: SOT 47731 SOS 24298 HAS SOPS 24298 HAS SOUS 16135 HAS SOUPS 16135 WITH SCORE 16159.298
AT ITER 364 NEW BEST:: SOT 47731 SOS 24274 HAS SOPS 24274 HAS SOUS 16134 HAS SOUPS 16134 WITH SCORE 16158.274
AT ITER 369 NEW BEST:: SOT 47759 SOS 24069 HAS SOPS 24069 HAS SOUS 16028 HAS SOUPS 16028 WITH SCORE 16052.069
AT ITER 371 NEW BEST:: SOT 47711 SOS 23945 HAS SOPS 23945 HAS SOUS 15904 HAS SOUPS 15904 WITH SCORE 15927.945
AT ITER 376 NEW BEST:: SOT 47704 SOS 23931 HAS SOPS 23931 HAS SOUS 15890 HAS SOUPS 15890 WITH SCORE 15913.931
AT ITER 379 NEW BEST:: SOT 47692 SOS 23907 HAS SOPS 23907 HAS SOUS 15866 HAS SOUPS 15866 WITH SCORE 15889.907
AT ITER 384 NEW BEST:: SOT 47692 SOS 23859 HAS SOPS 23859 HAS SOUS 15866 HAS SOUPS 15866 WITH SCORE 15889.859
AT ITER 386 NEW BEST:: SOT 47728 SOS 23815 HAS SOPS 23815 HAS SOUS 15822 HAS SOUPS 15822 WITH SCORE 15845.815
AT ITER 401 NEW BEST:: SOT 47690 SOS 23739 HAS SOPS 23739 HAS SOUS 15791 HAS SOUPS 15791 WITH SCORE 15814.739
AT ITER 409 NEW BEST:: SOT 47700 SOS 23568 HAS SOPS 23568 HAS SOUS 15779 HAS SOUPS 15779 WITH SCORE 15802.568
AT ITER 417 NEW BEST:: SOT 47687 SOS 23508 HAS SOPS 23508 HAS SOUS 15728 HAS SOUPS 15728 WITH SCORE 15751.508
AT ITER 431 NEW BEST:: SOT 47653 SOS 23524 HAS SOPS 23524 HAS SOUS 15639 HAS SOUPS 15639 WITH SCORE 15662.524
AT ITER 434 NEW BEST:: SOT 47642 SOS 23502 HAS SOPS 23502 HAS SOUS 15617 HAS SOUPS 15617 WITH SCORE 15640.502
AT ITER 441 NEW BEST:: SOT 47638 SOS 23490 HAS SOPS 23490 HAS SOUS 15613 HAS SOUPS 15613 WITH SCORE 15636.49
AT ITER 456 NEW BEST:: SOT 47627 SOS 23468 HAS SOPS 23468 HAS SOUS 15591 HAS SOUPS 15591 WITH SCORE 15614.468
AT ITER 468 NEW BEST:: SOT 47616 SOS 23431 HAS SOPS 23431 HAS SOUS 15569 HAS SOUPS 15569 WITH SCORE 15592.431
AT ITER 469 NEW BEST:: SOT 47598 SOS 22367 HAS SOPS 22367 HAS SOUS 15535 HAS SOUPS 15535 WITH SCORE 15557.367
AT ITER 474 NEW BEST:: SOT 47598 SOS 22290 HAS SOPS 22290 HAS SOUS 15535 HAS SOUPS 15535 WITH SCORE 15557.29
AT ITER 479 NEW BEST:: SOT 47584 SOS 22262 HAS SOPS 22262 HAS SOUS 15507 HAS SOUPS 15507 WITH SCORE 15529.262
AT ITER 493 NEW BEST:: SOT 47438 SOS 22049 HAS SOPS 22049 HAS SOUS 15433 HAS SOUPS 15433 WITH SCORE 15455.049
AT ITER 501 NEW BEST:: SOT 47386 SOS 22037 HAS SOPS 22037 HAS SOUS 15421 HAS SOUPS 15421 WITH SCORE 15443.037
AT ITER 504 NEW BEST:: SOT 47386 SOS 22015 HAS SOPS 22015 HAS SOUS 15421 HAS SOUPS 15421 WITH SCORE 15443.015
AT ITER 512 NEW BEST:: SOT 47282 SOS 21911 HAS SOPS 21911 HAS SOUS 15317 HAS SOUPS 15317 WITH SCORE 15338.911
AT ITER 515 NEW BEST:: SOT 47288 SOS 21923 HAS SOPS 21923 HAS SOUS 15307 HAS SOUPS 15307 WITH SCORE 15328.923
AT ITER 526 NEW BEST:: SOT 47226 SOS 21873 HAS SOPS 21873 HAS SOUS 15201 HAS SOUPS 15201 WITH SCORE 15222.873
AT ITER 530 NEW BEST:: SOT 47214 SOS 21861 HAS SOPS 21861 HAS SOUS 15177 HAS SOUPS 15177 WITH SCORE 15198.861
AT ITER 534 NEW BEST:: SOT 47171 SOS 21732 HAS SOPS 21732 HAS SOUS 15091 HAS SOUPS 15091 WITH SCORE 15112.732
AT ITER 535 NEW BEST:: SOT 47171 SOS 21737 HAS SOPS 21737 HAS SOUS 15086 HAS SOUPS 15086 WITH SCORE 15107.737
AT ITER 536 NEW BEST:: SOT 47158 SOS 21670 HAS SOPS 21670 HAS SOUS 15030 HAS SOUPS 15030 WITH SCORE 15051.67
AT ITER 541 NEW BEST:: SOT 47140 SOS 21636 HAS SOPS 21636 HAS SOUS 15016 HAS SOUPS 15016 WITH SCORE 15037.636
AT ITER 543 NEW BEST:: SOT 47140 SOS 21623 HAS SOPS 21623 HAS SOUS 15016 HAS SOUPS 15016 WITH SCORE 15037.623
AT ITER 550 NEW BEST:: SOT 47126 SOS 21606 HAS SOPS 21606 HAS SOUS 14999 HAS SOUPS 14999 WITH SCORE 15020.606
AT ITER 555 NEW BEST:: SOT 47140 SOS 21455 HAS SOPS 21455 HAS SOUS 14996 HAS SOUPS 14996 WITH SCORE 15017.455
AT ITER 561 NEW BEST:: SOT 47132 SOS 21440 HAS SOPS 21440 HAS SOUS 14981 HAS SOUPS 14981 WITH SCORE 15002.44
AT ITER 569 NEW BEST:: SOT 47060 SOS 21383 HAS SOPS 21383 HAS SOUS 14924 HAS SOUPS 14924 WITH SCORE 14945.383
AT ITER 589 NEW BEST:: SOT 47018 SOS 21186 HAS SOPS 21186 HAS SOUS 14804 HAS SOUPS 14804 WITH SCORE 14825.186
AT ITER 591 NEW BEST:: SOT 47013 SOS 21176 HAS SOPS 21176 HAS SOUS 14794 HAS SOUPS 14794 WITH SCORE 14815.176
AT ITER 604 NEW BEST:: SOT 47013 SOS 21114 HAS SOPS 21114 HAS SOUS 14794 HAS SOUPS 14794 WITH SCORE 14815.114
AT ITER 612 NEW BEST:: SOT 46768 SOS 21634 HAS SOPS 21634 HAS SOUS 14696 HAS SOUPS 14696 WITH SCORE 14717.634
AT ITER 616 NEW BEST:: SOT 46740 SOS 21552 HAS SOPS 21552 HAS SOUS 14667 HAS SOUPS 14667 WITH SCORE 14688.552
AT ITER 625 NEW BEST:: SOT 46739 SOS 21563 HAS SOPS 21563 HAS SOUS 14665 HAS SOUPS 14665 WITH SCORE 14686.563
AT ITER 626 NEW BEST:: SOT 46718 SOS 21394 HAS SOPS 21394 HAS SOUS 14623 HAS SOUPS 14623 WITH SCORE 14644.394
AT ITER 628 NEW BEST:: SOT 46728 SOS 21412 HAS SOPS 21412 HAS SOUS 14619 HAS SOUPS 14619 WITH SCORE 14640.412
AT ITER 645 NEW BEST:: SOT 46724 SOS 21424 HAS SOPS 21424 HAS SOUS 14611 HAS SOUPS 14611 WITH SCORE 14632.424
AT ITER 649 NEW BEST:: SOT 46669 SOS 21314 HAS SOPS 21314 HAS SOUS 14528 HAS SOUPS 14528 WITH SCORE 14549.314
AT ITER 660 NEW BEST:: SOT 46567 SOS 21212 HAS SOPS 21212 HAS SOUS 14426 HAS SOUPS 14426 WITH SCORE 14447.212
AT ITER 661 NEW BEST:: SOT 46445 SOS 20968 HAS SOPS 20968 HAS SOUS 14145 HAS SOUPS 14145 WITH SCORE 14165.968
AT ITER 664 NEW BEST:: SOT 46444 SOS 20981 HAS SOPS 20981 HAS SOUS 14143 HAS SOUPS 14143 WITH SCORE 14163.981
AT ITER 697 NEW BEST:: SOT 46446 SOS 20972 HAS SOPS 20972 HAS SOUS 14126 HAS SOUPS 14126 WITH SCORE 14146.972
AT ITER 704 NEW BEST:: SOT 46436 SOS 20952 HAS SOPS 20952 HAS SOUS 14106 HAS SOUPS 14106 WITH SCORE 14126.952
AT ITER 708 NEW BEST:: SOT 46435 SOS 20997 HAS SOPS 20997 HAS SOUS 14104 HAS SOUPS 14104 WITH SCORE 14124.997
AT ITER 712 NEW BEST:: SOT 46418 SOS 20940 HAS SOPS 20940 HAS SOUS 14070 HAS SOUPS 14070 WITH SCORE 14090.94
AT ITER 716 NEW BEST:: SOT 46407 SOS 20929 HAS SOPS 20929 HAS SOUS 14048 HAS SOUPS 14048 WITH SCORE 14068.929
AT ITER 717 NEW BEST:: SOT 46407 SOS 20918 HAS SOPS 20918 HAS SOUS 14037 HAS SOUPS 14037 WITH SCORE 14057.918
AT ITER 718 NEW BEST:: SOT 46346 SOS 20818 HAS SOPS 20818 HAS SOUS 14017 HAS SOUPS 14017 WITH SCORE 14037.818
AT ITER 725 NEW BEST:: SOT 46314 SOS 20819 HAS SOPS 20819 HAS SOUS 13991 HAS SOUPS 13991 WITH SCORE 14011.819
AT ITER 737 NEW BEST:: SOT 46319 SOS 20810 HAS SOPS 20810 HAS SOUS 13982 HAS SOUPS 13982 WITH SCORE 14002.81
AT ITER 740 NEW BEST:: SOT 46296 SOS 20827 HAS SOPS 20827 HAS SOUS 13971 HAS SOUPS 13971 WITH SCORE 13991.827
AT ITER 741 NEW BEST:: SOT 46281 SOS 20797 HAS SOPS 20797 HAS SOUS 13941 HAS SOUPS 13941 WITH SCORE 13961.797
AT ITER 757 NEW BEST:: SOT 46178 SOS 20711 HAS SOPS 20711 HAS SOUS 13891 HAS SOUPS 13891 WITH SCORE 13911.711
AT ITER 763 NEW BEST:: SOT 46172 SOS 20699 HAS SOPS 20699 HAS SOUS 13879 HAS SOUPS 13879 WITH SCORE 13899.699
AT ITER 774 NEW BEST:: SOT 46083 SOS 20597 HAS SOPS 20597 HAS SOUS 13774 HAS SOUPS 13774 WITH SCORE 13794.597
AT ITER 776 NEW BEST:: SOT 46073 SOS 20577 HAS SOPS 20577 HAS SOUS 13754 HAS SOUPS 13754 WITH SCORE 13774.577
AT ITER 789 NEW BEST:: SOT 46084 SOS 20558 HAS SOPS 20558 HAS SOUS 13735 HAS SOUPS 13735 WITH SCORE 13755.558
AT ITER 803 NEW BEST:: SOT 45998 SOS 20533 HAS SOPS 20533 HAS SOUS 13702 HAS SOUPS 13702 WITH SCORE 13722.533
AT ITER 817 NEW BEST:: SOT 45968 SOS 20473 HAS SOPS 20473 HAS SOUS 13636 HAS SOUPS 13636 WITH SCORE 13656.473
AT ITER 837 NEW BEST:: SOT 45847 SOS 20064 HAS SOPS 20064 HAS SOUS 13296 HAS SOUPS 13296 WITH SCORE 13316.064
AT ITER 839 NEW BEST:: SOT 45804 SOS 19978 HAS SOPS 19978 HAS SOUS 13248 HAS SOUPS 13248 WITH SCORE 13267.978
AT ITER 841 NEW BEST:: SOT 45798 SOS 19960 HAS SOPS 19960 HAS SOUS 13236 HAS SOUPS 13236 WITH SCORE 13255.96
AT ITER 851 NEW BEST:: SOT 45758 SOS 19920 HAS SOPS 19920 HAS SOUS 13156 HAS SOUPS 13156 WITH SCORE 13175.92
AT ITER 855 NEW BEST:: SOT 45717 SOS 20093 HAS SOPS 20093 HAS SOUS 13096 HAS SOUPS 13096 WITH SCORE 13116.093
AT ITER 861 NEW BEST:: SOT 45659 SOS 20089 HAS SOPS 20089 HAS SOUS 13061 HAS SOUPS 13061 WITH SCORE 13081.089
AT ITER 871 NEW BEST:: SOT 45615 SOS 20001 HAS SOPS 20001 HAS SOUS 13017 HAS SOUPS 13017 WITH SCORE 13037.001
AT ITER 895 NEW BEST:: SOT 45612 SOS 19993 HAS SOPS 19993 HAS SOUS 13009 HAS SOUPS 13009 WITH SCORE 13028.993
AT ITER 922 NEW BEST:: SOT 45611 SOS 19992 HAS SOPS 19992 HAS SOUS 13007 HAS SOUPS 13007 WITH SCORE 13026.992
AT ITER 925 NEW BEST:: SOT 45549 SOS 19921 HAS SOPS 19921 HAS SOUS 12883 HAS SOUPS 12883 WITH SCORE 12902.921
AT ITER 929 NEW BEST:: SOT 45390 SOS 19656 HAS SOPS 19656 HAS SOUS 12618 HAS SOUPS 12618 WITH SCORE 12637.656
AT ITER 943 NEW BEST:: SOT 45388 SOS 19656 HAS SOPS 19656 HAS SOUS 12616 HAS SOUPS 12616 WITH SCORE 12635.656
AT ITER 945 NEW BEST:: SOT 45408 SOS 19543 HAS SOPS 19543 HAS SOUS 12502 HAS SOUPS 12502 WITH SCORE 12521.543
AT ITER 946 NEW BEST:: SOT 45397 SOS 19439 HAS SOPS 19439 HAS SOUS 12481 HAS SOUPS 12481 WITH SCORE 12500.439
AT ITER 951 NEW BEST:: SOT 45401 SOS 19372 HAS SOPS 19372 HAS SOUS 12410 HAS SOUPS 12410 WITH SCORE 12429.372
AT ITER 955 NEW BEST:: SOT 45376 SOS 19425 HAS SOPS 19425 HAS SOUS 12360 HAS SOUPS 12360 WITH SCORE 12379.425
AT ITER 956 NEW BEST:: SOT 45322 SOS 19317 HAS SOPS 19317 HAS SOUS 12279 HAS SOUPS 12279 WITH SCORE 12298.317
AT ITER 958 NEW BEST:: SOT 44971 SOS 19496 HAS SOPS 19496 HAS SOUS 11884 HAS SOUPS 11884 WITH SCORE 11903.496
AT ITER 961 NEW BEST:: SOT 44971 SOS 19521 HAS SOPS 19521 HAS SOUS 11882 HAS SOUPS 11882 WITH SCORE 11901.521
AT ITER 968 NEW BEST:: SOT 44947 SOS 19473 HAS SOPS 19473 HAS SOUS 11816 HAS SOUPS 11816 WITH SCORE 11835.473
AT ITER 975 NEW BEST:: SOT 44947 SOS 19467 HAS SOPS 19467 HAS SOUS 11816 HAS SOUPS 11816 WITH SCORE 11835.467
AT ITER 983 NEW BEST:: SOT 44946 SOS 19438 HAS SOPS 19438 HAS SOUS 11814 HAS SOUPS 11814 WITH SCORE 11833.438
AT ITER 987 NEW BEST:: SOT 44916 SOS 19400 HAS SOPS 19400 HAS SOUS 11794 HAS SOUPS 11794 WITH SCORE 11813.4
AT ITER 990 NEW BEST:: SOT 44856 SOS 19340 HAS SOPS 19340 HAS SOUS 11734 HAS SOUPS 11734 WITH SCORE 11753.34
AT ITER 992 NEW BEST:: SOT 44859 SOS 19335 HAS SOPS 19335 HAS SOUS 11718 HAS SOUPS 11718 WITH SCORE 11737.335
AT ITER 1009 NEW BEST:: SOT 44843 SOS 19303 HAS SOPS 19303 HAS SOUS 11686 HAS SOUPS 11686 WITH SCORE 11705.303
AT ITER 1012 NEW BEST:: SOT 44955 SOS 19377 HAS SOPS 19377 HAS SOUS 11674 HAS SOUPS 11674 WITH SCORE 11693.377
AT ITER 1035 NEW BEST:: SOT 44951 SOS 19369 HAS SOPS 19369 HAS SOUS 11662 HAS SOUPS 11662 WITH SCORE 11681.369
AT ITER 1057 NEW BEST:: SOT 44861 SOS 19279 HAS SOPS 19279 HAS SOUS 11482 HAS SOUPS 11482 WITH SCORE 11501.279
AT ITER 1068 NEW BEST:: SOT 44861 SOS 19241 HAS SOPS 19241 HAS SOUS 11482 HAS SOUPS 11482 WITH SCORE 11501.241
AT ITER 1078 NEW BEST:: SOT 44849 SOS 19217 HAS SOPS 19217 HAS SOUS 11408 HAS SOUPS 11408 WITH SCORE 11427.217
AT ITER 1079 NEW BEST:: SOT 44844 SOS 19207 HAS SOPS 19207 HAS SOUS 11398 HAS SOUPS 11398 WITH SCORE 11417.207
AT ITER 1080 NEW BEST:: SOT 44829 SOS 19177 HAS SOPS 19177 HAS SOUS 11368 HAS SOUPS 11368 WITH SCORE 11387.177
AT ITER 1088 NEW BEST:: SOT 44828 SOS 19174 HAS SOPS 19174 HAS SOUS 11366 HAS SOUPS 11366 WITH SCORE 11385.174
AT ITER 1090 NEW BEST:: SOT 44827 SOS 19100 HAS SOPS 19100 HAS SOUS 11364 HAS SOUPS 11364 WITH SCORE 11383.1
AT ITER 1095 NEW BEST:: SOT 44827 SOS 19023 HAS SOPS 19023 HAS SOUS 11364 HAS SOUPS 11364 WITH SCORE 11383.023
AT ITER 1100 NEW BEST:: SOT 44827 SOS 18999 HAS SOPS 18999 HAS SOUS 11364 HAS SOUPS 11364 WITH SCORE 11382.999
AT ITER 1107 NEW BEST:: SOT 44824 SOS 18993 HAS SOPS 18993 HAS SOUS 11358 HAS SOUPS 11358 WITH SCORE 11376.993
AT ITER 1109 NEW BEST:: SOT 44787 SOS 18871 HAS SOPS 18871 HAS SOUS 11273 HAS SOUPS 11273 WITH SCORE 11291.871
AT ITER 1110 NEW BEST:: SOT 44787 SOS 18870 HAS SOPS 18870 HAS SOUS 11272 HAS SOUPS 11272 WITH SCORE 11290.87
AT ITER 1118 NEW BEST:: SOT 44780 SOS 18864 HAS SOPS 18864 HAS SOUS 11263 HAS SOUPS 11263 WITH SCORE 11281.864
AT ITER 1128 NEW BEST:: SOT 44780 SOS 18864 HAS SOPS 18864 HAS SOUS 11223 HAS SOUPS 11223 WITH SCORE 11241.864
AT ITER 1135 NEW BEST:: SOT 44757 SOS 18811 HAS SOPS 18811 HAS SOUS 11192 HAS SOUPS 11192 WITH SCORE 11210.811
AT ITER 1137 NEW BEST:: SOT 44772 SOS 18811 HAS SOPS 18811 HAS SOUS 11187 HAS SOUPS 11187 WITH SCORE 11205.811
AT ITER 1147 NEW BEST:: SOT 44763 SOS 18825 HAS SOPS 18825 HAS SOUS 11169 HAS SOUPS 11169 WITH SCORE 11187.825
AT ITER 1155 NEW BEST:: SOT 44764 SOS 18826 HAS SOPS 18826 HAS SOUS 11165 HAS SOUPS 11165 WITH SCORE 11183.826
AT ITER 1159 NEW BEST:: SOT 44753 SOS 18804 HAS SOPS 18804 HAS SOUS 11162 HAS SOUPS 11162 WITH SCORE 11180.804
AT ITER 1167 NEW BEST:: SOT 44750 SOS 18798 HAS SOPS 18798 HAS SOUS 11159 HAS SOUPS 11159 WITH SCORE 11177.798
AT ITER 1168 NEW BEST:: SOT 44744 SOS 18786 HAS SOPS 18786 HAS SOUS 11147 HAS SOUPS 11147 WITH SCORE 11165.786
AT ITER 1194 NEW BEST:: SOT 44738 SOS 18774 HAS SOPS 18774 HAS SOUS 11137 HAS SOUPS 11137 WITH SCORE 11155.774
AT ITER 1209 NEW BEST:: SOT 44725 SOS 18745 HAS SOPS 18745 HAS SOUS 11111 HAS SOUPS 11111 WITH SCORE 11129.745
AT ITER 1212 NEW BEST:: SOT 44724 SOS 18736 HAS SOPS 18736 HAS SOUS 11109 HAS SOUPS 11109 WITH SCORE 11127.736
AT ITER 1220 NEW BEST:: SOT 44724 SOS 18710 HAS SOPS 18710 HAS SOUS 11109 HAS SOUPS 11109 WITH SCORE 11127.71
AT ITER 1226 NEW BEST:: SOT 44710 SOS 18682 HAS SOPS 18682 HAS SOUS 11090 HAS SOUPS 11090 WITH SCORE 11108.682
AT ITER 1228 NEW BEST:: SOT 44697 SOS 18656 HAS SOPS 18656 HAS SOUS 11069 HAS SOUPS 11069 WITH SCORE 11087.656
AT ITER 1229 NEW BEST:: SOT 44533 SOS 18526 HAS SOPS 18526 HAS SOUS 10939 HAS SOUPS 10939 WITH SCORE 10957.526
AT ITER 1242 NEW BEST:: SOT 44526 SOS 18518 HAS SOPS 18518 HAS SOUS 10932 HAS SOUPS 10932 WITH SCORE 10950.518
AT ITER 1244 NEW BEST:: SOT 44521 SOS 18508 HAS SOPS 18508 HAS SOUS 10928 HAS SOUPS 10928 WITH SCORE 10946.508
AT ITER 1252 NEW BEST:: SOT 44518 SOS 18505 HAS SOPS 18505 HAS SOUS 10925 HAS SOUPS 10925 WITH SCORE 10943.505
AT ITER 1282 NEW BEST:: SOT 44518 SOS 18505 HAS SOPS 18505 HAS SOUS 10917 HAS SOUPS 10917 WITH SCORE 10935.505
AT ITER 1286 NEW BEST:: SOT 44522 SOS 18471 HAS SOPS 18471 HAS SOUS 10879 HAS SOUPS 10879 WITH SCORE 10897.471
AT ITER 1287 NEW BEST:: SOT 44448 SOS 18349 HAS SOPS 18349 HAS SOUS 10756 HAS SOUPS 10756 WITH SCORE 10774.349
AT ITER 1298 NEW BEST:: SOT 44445 SOS 18343 HAS SOPS 18343 HAS SOUS 10750 HAS SOUPS 10750 WITH SCORE 10768.343
AT ITER 1305 NEW BEST:: SOT 44437 SOS 18327 HAS SOPS 18327 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10758.327
AT ITER 1315 NEW BEST:: SOT 44415 SOS 18274 HAS SOPS 18274 HAS SOUS 10696 HAS SOUPS 10696 WITH SCORE 10714.274
AT ITER 1319 NEW BEST:: SOT 44361 SOS 18166 HAS SOPS 18166 HAS SOUS 10649 HAS SOUPS 10649 WITH SCORE 10667.166
AT ITER 1320 NEW BEST:: SOT 44377 SOS 18198 HAS SOPS 18198 HAS SOUS 10642 HAS SOUPS 10642 WITH SCORE 10660.198
AT ITER 1331 NEW BEST:: SOT 44375 SOS 18196 HAS SOPS 18196 HAS SOUS 10640 HAS SOUPS 10640 WITH SCORE 10658.196
AT ITER 1345 NEW BEST:: SOT 44354 SOS 18135 HAS SOPS 18135 HAS SOUS 10598 HAS SOUPS 10598 WITH SCORE 10616.135
AT ITER 1350 NEW BEST:: SOT 44358 SOS 18143 HAS SOPS 18143 HAS SOUS 10587 HAS SOUPS 10587 WITH SCORE 10605.143
AT ITER 1354 NEW BEST:: SOT 44339 SOS 18105 HAS SOPS 18105 HAS SOUS 10557 HAS SOUPS 10557 WITH SCORE 10575.105
AT ITER 1379 NEW BEST:: SOT 44311 SOS 18014 HAS SOPS 18014 HAS SOUS 10501 HAS SOUPS 10501 WITH SCORE 10519.014
AT ITER 1400 NEW BEST:: SOT 44348 SOS 17861 HAS SOPS 17861 HAS SOUS 10496 HAS SOUPS 10496 WITH SCORE 10513.861
AT ITER 1402 NEW BEST:: SOT 44374 SOS 17844 HAS SOPS 17844 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10496.844
AT ITER 1403 NEW BEST:: SOT 44369 SOS 17839 HAS SOPS 17839 HAS SOUS 10475 HAS SOUPS 10475 WITH SCORE 10492.839
AT ITER 1423 NEW BEST:: SOT 44369 SOS 17837 HAS SOPS 17837 HAS SOUS 10475 HAS SOUPS 10475 WITH SCORE 10492.837
AT ITER 1433 NEW BEST:: SOT 44335 SOS 17777 HAS SOPS 17777 HAS SOUS 10418 HAS SOUPS 10418 WITH SCORE 10435.777
AT ITER 1470 NEW BEST:: SOT 44307 SOS 17839 HAS SOPS 17839 HAS SOUS 10362 HAS SOUPS 10362 WITH SCORE 10379.839
AT ITER 1495 NEW BEST:: SOT 44305 SOS 17814 HAS SOPS 17814 HAS SOUS 10358 HAS SOUPS 10358 WITH SCORE 10375.814
AT ITER 1509 NEW BEST:: SOT 44287 SOS 17760 HAS SOPS 17760 HAS SOUS 10322 HAS SOUPS 10322 WITH SCORE 10339.76
AT ITER 1531 NEW BEST:: SOT 44235 SOS 17483 HAS SOPS 17483 HAS SOUS 10234 HAS SOUPS 10234 WITH SCORE 10251.483
AT ITER 1544 NEW BEST:: SOT 44226 SOS 17472 HAS SOPS 17472 HAS SOUS 10225 HAS SOUPS 10225 WITH SCORE 10242.472
AT ITER 1553 NEW BEST:: SOT 44226 SOS 17468 HAS SOPS 17468 HAS SOUS 10225 HAS SOUPS 10225 WITH SCORE 10242.468
AT ITER 1566 NEW BEST:: SOT 44221 SOS 17458 HAS SOPS 17458 HAS SOUS 10198 HAS SOUPS 10198 WITH SCORE 10215.458
AT ITER 1569 NEW BEST:: SOT 44220 SOS 17457 HAS SOPS 17457 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10213.457
AT ITER 1585 NEW BEST:: SOT 44216 SOS 17449 HAS SOPS 17449 HAS SOUS 10188 HAS SOUPS 10188 WITH SCORE 10205.449
AT ITER 1594 NEW BEST:: SOT 44212 SOS 17441 HAS SOPS 17441 HAS SOUS 10184 HAS SOUPS 10184 WITH SCORE 10201.441
AT ITER 1603 NEW BEST:: SOT 44194 SOS 17423 HAS SOPS 17423 HAS SOUS 10166 HAS SOUPS 10166 WITH SCORE 10183.423
AT ITER 1606 NEW BEST:: SOT 44194 SOS 17364 HAS SOPS 17364 HAS SOUS 10166 HAS SOUPS 10166 WITH SCORE 10183.364
AT ITER 1625 NEW BEST:: SOT 44194 SOS 17364 HAS SOPS 17364 HAS SOUS 10150 HAS SOUPS 10150 WITH SCORE 10167.364
AT ITER 1637 NEW BEST:: SOT 44083 SOS 17424 HAS SOPS 17424 HAS SOUS 10061 HAS SOUPS 10061 WITH SCORE 10078.424
AT ITER 1644 NEW BEST:: SOT 44080 SOS 17418 HAS SOPS 17418 HAS SOUS 10055 HAS SOUPS 10055 WITH SCORE 10072.418
AT ITER 1646 NEW BEST:: SOT 44080 SOS 17418 HAS SOPS 17418 HAS SOUS 10017 HAS SOUPS 10017 WITH SCORE 10034.418
AT ITER 1653 NEW BEST:: SOT 44075 SOS 17370 HAS SOPS 17370 HAS SOUS 10007 HAS SOUPS 10007 WITH SCORE 10024.37
AT ITER 1674 NEW BEST:: SOT 44048 SOS 17377 HAS SOPS 17377 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9950.377
AT ITER 1684 NEW BEST:: SOT 44078 SOS 17421 HAS SOPS 17421 HAS SOUS 9924 HAS SOUPS 9924 WITH SCORE 9941.421
AT ITER 1692 NEW BEST:: SOT 44069 SOS 17403 HAS SOPS 17403 HAS SOUS 9915 HAS SOUPS 9915 WITH SCORE 9932.403
AT ITER 1696 NEW BEST:: SOT 43982 SOS 17175 HAS SOPS 17175 HAS SOUS 9752 HAS SOUPS 9752 WITH SCORE 9769.175
AT ITER 1700 NEW BEST:: SOT 43975 SOS 17154 HAS SOPS 17154 HAS SOUS 9745 HAS SOUPS 9745 WITH SCORE 9762.154
AT ITER 1725 NEW BEST:: SOT 43941 SOS 17338 HAS SOPS 17338 HAS SOUS 9733 HAS SOUPS 9733 WITH SCORE 9750.338
AT ITER 1762 NEW BEST:: SOT 43934 SOS 17324 HAS SOPS 17324 HAS SOUS 9719 HAS SOUPS 9719 WITH SCORE 9736.324
AT ITER 1774 NEW BEST:: SOT 43929 SOS 17314 HAS SOPS 17314 HAS SOUS 9709 HAS SOUPS 9709 WITH SCORE 9726.314
AT ITER 1786 NEW BEST:: SOT 43917 SOS 17290 HAS SOPS 17290 HAS SOUS 9696 HAS SOUPS 9696 WITH SCORE 9713.29
AT ITER 1802 NEW BEST:: SOT 43917 SOS 17286 HAS SOPS 17286 HAS SOUS 9692 HAS SOUPS 9692 WITH SCORE 9709.286
AT ITER 1810 NEW BEST:: SOT 43920 SOS 17164 HAS SOPS 17164 HAS SOUS 9688 HAS SOUPS 9688 WITH SCORE 9705.164
AT ITER 1811 NEW BEST:: SOT 43910 SOS 17142 HAS SOPS 17142 HAS SOUS 9667 HAS SOUPS 9667 WITH SCORE 9684.142
AT ITER 1834 NEW BEST:: SOT 43847 SOS 17079 HAS SOPS 17079 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9558.079
AT ITER 1850 NEW BEST:: SOT 43850 SOS 17027 HAS SOPS 17027 HAS SOUS 9536 HAS SOUPS 9536 WITH SCORE 9553.027
AT ITER 1858 NEW BEST:: SOT 43844 SOS 17003 HAS SOPS 17003 HAS SOUS 9499 HAS SOUPS 9499 WITH SCORE 9516.003
AT ITER 1863 NEW BEST:: SOT 43843 SOS 17021 HAS SOPS 17021 HAS SOUS 9497 HAS SOUPS 9497 WITH SCORE 9514.021
AT ITER 1868 NEW BEST:: SOT 43782 SOS 16960 HAS SOPS 16960 HAS SOUS 9476 HAS SOUPS 9476 WITH SCORE 9492.96
AT ITER 1912 NEW BEST:: SOT 43779 SOS 16954 HAS SOPS 16954 HAS SOUS 9470 HAS SOUPS 9470 WITH SCORE 9486.954
AT ITER 1933 NEW BEST:: SOT 43780 SOS 16953 HAS SOPS 16953 HAS SOUS 9469 HAS SOUPS 9469 WITH SCORE 9485.953
AT ITER 1952 NEW BEST:: SOT 43779 SOS 16951 HAS SOPS 16951 HAS SOUS 9466 HAS SOUPS 9466 WITH SCORE 9482.951
AT ITER 1964 NEW BEST:: SOT 43767 SOS 16914 HAS SOPS 16914 HAS SOUS 9442 HAS SOUPS 9442 WITH SCORE 9458.914
AT ITER 1978 NEW BEST:: SOT 43737 SOS 16884 HAS SOPS 16884 HAS SOUS 9382 HAS SOUPS 9382 WITH SCORE 9398.884
AT ITER 1990 NEW BEST:: SOT 43716 SOS 16818 HAS SOPS 16818 HAS SOUS 9372 HAS SOUPS 9372 WITH SCORE 9388.818
AT ITER 1994 NEW BEST:: SOT 43711 SOS 16813 HAS SOPS 16813 HAS SOUS 9367 HAS SOUPS 9367 WITH SCORE 9383.813
AT ITER 1998 NEW BEST:: SOT 43710 SOS 16812 HAS SOPS 16812 HAS SOUS 9366 HAS SOUPS 9366 WITH SCORE 9382.812
AT ITER 2009 NEW BEST:: SOT 43708 SOS 16808 HAS SOPS 16808 HAS SOUS 9362 HAS SOUPS 9362 WITH SCORE 9378.808
AT ITER 2011 NEW BEST:: SOT 43709 SOS 16810 HAS SOPS 16810 HAS SOUS 9341 HAS SOUPS 9341 WITH SCORE 9357.81
AT ITER 2016 NEW BEST:: SOT 43709 SOS 16813 HAS SOPS 16813 HAS SOUS 9338 HAS SOUPS 9338 WITH SCORE 9354.813
AT ITER 2023 NEW BEST:: SOT 43699 SOS 16793 HAS SOPS 16793 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9353.793
AT ITER 2031 NEW BEST:: SOT 43685 SOS 16765 HAS SOPS 16765 HAS SOUS 9323 HAS SOUPS 9323 WITH SCORE 9339.765
AT ITER 2051 NEW BEST:: SOT 43684 SOS 16754 HAS SOPS 16754 HAS SOUS 9321 HAS SOUPS 9321 WITH SCORE 9337.754
AT ITER 2056 NEW BEST:: SOT 43689 SOS 16764 HAS SOPS 16764 HAS SOUS 9318 HAS SOUPS 9318 WITH SCORE 9334.764
AT ITER 2058 NEW BEST:: SOT 43682 SOS 16753 HAS SOPS 16753 HAS SOUS 9304 HAS SOUPS 9304 WITH SCORE 9320.753
AT ITER 2063 NEW BEST:: SOT 43682 SOS 16753 HAS SOPS 16753 HAS SOUS 9299 HAS SOUPS 9299 WITH SCORE 9315.753
AT ITER 2069 NEW BEST:: SOT 43681 SOS 16751 HAS SOPS 16751 HAS SOUS 9296 HAS SOUPS 9296 WITH SCORE 9312.751
AT ITER 2073 NEW BEST:: SOT 43676 SOS 16746 HAS SOPS 16746 HAS SOUS 9291 HAS SOUPS 9291 WITH SCORE 9307.746
AT ITER 2076 NEW BEST:: SOT 43649 SOS 16692 HAS SOPS 16692 HAS SOUS 9231 HAS SOUPS 9231 WITH SCORE 9247.692
AT ITER 2108 NEW BEST:: SOT 43626 SOS 16646 HAS SOPS 16646 HAS SOUS 9172 HAS SOUPS 9172 WITH SCORE 9188.646
AT ITER 2130 NEW BEST:: SOT 43626 SOS 16643 HAS SOPS 16643 HAS SOUS 9172 HAS SOUPS 9172 WITH SCORE 9188.643
AT ITER 2153 NEW BEST:: SOT 43628 SOS 16647 HAS SOPS 16647 HAS SOUS 9155 HAS SOUPS 9155 WITH SCORE 9171.647
AT ITER 2160 NEW BEST:: SOT 43628 SOS 16613 HAS SOPS 16613 HAS SOUS 9128 HAS SOUPS 9128 WITH SCORE 9144.613
AT ITER 2161 NEW BEST:: SOT 43624 SOS 16605 HAS SOPS 16605 HAS SOUS 9124 HAS SOUPS 9124 WITH SCORE 9140.605
AT ITER 2183 NEW BEST:: SOT 43619 SOS 16595 HAS SOPS 16595 HAS SOUS 9116 HAS SOUPS 9116 WITH SCORE 9132.595
AT ITER 2237 NEW BEST:: SOT 43609 SOS 16580 HAS SOPS 16580 HAS SOUS 9101 HAS SOUPS 9101 WITH SCORE 9117.58
AT ITER 2246 NEW BEST:: SOT 43609 SOS 16564 HAS SOPS 16564 HAS SOUS 9064 HAS SOUPS 9064 WITH SCORE 9080.564
AT ITER 2279 NEW BEST:: SOT 43609 SOS 16564 HAS SOPS 16564 HAS SOUS 9058 HAS SOUPS 9058 WITH SCORE 9074.564
AT ITER 2284 NEW BEST:: SOT 43606 SOS 16557 HAS SOPS 16557 HAS SOUS 9054 HAS SOUPS 9054 WITH SCORE 9070.557
AT ITER 2287 NEW BEST:: SOT 43589 SOS 16516 HAS SOPS 16516 HAS SOUS 9044 HAS SOUPS 9044 WITH SCORE 9060.516
AT ITER 2317 NEW BEST:: SOT 43584 SOS 16506 HAS SOPS 16506 HAS SOUS 9034 HAS SOUPS 9034 WITH SCORE 9050.506
AT ITER 2337 NEW BEST:: SOT 43584 SOS 16504 HAS SOPS 16504 HAS SOUS 9034 HAS SOUPS 9034 WITH SCORE 9050.504
AT ITER 2342 NEW BEST:: SOT 43571 SOS 16491 HAS SOPS 16491 HAS SOUS 9021 HAS SOUPS 9021 WITH SCORE 9037.491
AT ITER 2350 NEW BEST:: SOT 43570 SOS 16490 HAS SOPS 16490 HAS SOUS 9020 HAS SOUPS 9020 WITH SCORE 9036.49
AT ITER 2363 NEW BEST:: SOT 43576 SOS 16497 HAS SOPS 16497 HAS SOUS 9019 HAS SOUPS 9019 WITH SCORE 9035.497
AT ITER 2405 NEW BEST:: SOT 43576 SOS 16497 HAS SOPS 16497 HAS SOUS 9014 HAS SOUPS 9014 WITH SCORE 9030.497
AT ITER 2416 NEW BEST:: SOT 43575 SOS 16532 HAS SOPS 16532 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9029.532
AT ITER 2425 NEW BEST:: SOT 43576 SOS 16528 HAS SOPS 16528 HAS SOUS 9010 HAS SOUPS 9010 WITH SCORE 9026.528
AT ITER 2426 NEW BEST:: SOT 43551 SOS 16475 HAS SOPS 16475 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8972.475
AT ITER 2429 NEW BEST:: SOT 43551 SOS 16443 HAS SOPS 16443 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8972.443
AT ITER 2432 NEW BEST:: SOT 43528 SOS 16397 HAS SOPS 16397 HAS SOUS 8933 HAS SOUPS 8933 WITH SCORE 8949.397
AT ITER 2436 NEW BEST:: SOT 43502 SOS 16371 HAS SOPS 16371 HAS SOUS 8881 HAS SOUPS 8881 WITH SCORE 8897.371
AT ITER 2442 NEW BEST:: SOT 43508 SOS 16367 HAS SOPS 16367 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8895.367
AT ITER 2452 NEW BEST:: SOT 43503 SOS 16357 HAS SOPS 16357 HAS SOUS 8869 HAS SOUPS 8869 WITH SCORE 8885.357
AT ITER 2455 NEW BEST:: SOT 43501 SOS 16351 HAS SOPS 16351 HAS SOUS 8865 HAS SOUPS 8865 WITH SCORE 8881.351
AT ITER 2461 NEW BEST:: SOT 43501 SOS 16333 HAS SOPS 16333 HAS SOUS 8851 HAS SOUPS 8851 WITH SCORE 8867.333
AT ITER 2482 NEW BEST:: SOT 43501 SOS 16327 HAS SOPS 16327 HAS SOUS 8851 HAS SOUPS 8851 WITH SCORE 8867.327
AT ITER 2492 NEW BEST:: SOT 43501 SOS 16326 HAS SOPS 16326 HAS SOUS 8851 HAS SOUPS 8851 WITH SCORE 8867.326
AT ITER 2494 NEW BEST:: SOT 43465 SOS 16254 HAS SOPS 16254 HAS SOUS 8835 HAS SOUPS 8835 WITH SCORE 8851.254
AT ITER 2501 NEW BEST:: SOT 43458 SOS 16231 HAS SOPS 16231 HAS SOUS 8821 HAS SOUPS 8821 WITH SCORE 8837.231
AT ITER 2557 NEW BEST:: SOT 43461 SOS 16243 HAS SOPS 16243 HAS SOUS 8806 HAS SOUPS 8806 WITH SCORE 8822.243
AT ITER 2572 NEW BEST:: SOT 43447 SOS 16138 HAS SOPS 16138 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8794.138
AT ITER 2573 NEW BEST:: SOT 43439 SOS 16097 HAS SOPS 16097 HAS SOUS 8717 HAS SOUPS 8717 WITH SCORE 8733.097
AT ITER 2575 NEW BEST:: SOT 43428 SOS 16089 HAS SOPS 16089 HAS SOUS 8700 HAS SOUPS 8700 WITH SCORE 8716.089
AT ITER 2592 NEW BEST:: SOT 43369 SOS 16075 HAS SOPS 16075 HAS SOUS 8639 HAS SOUPS 8639 WITH SCORE 8655.075
AT ITER 2614 NEW BEST:: SOT 43353 SOS 16068 HAS SOPS 16068 HAS SOUS 8632 HAS SOUPS 8632 WITH SCORE 8648.068
AT ITER 2626 NEW BEST:: SOT 43346 SOS 16066 HAS SOPS 16066 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8621.066
AT ITER 2641 NEW BEST:: SOT 43315 SOS 16035 HAS SOPS 16035 HAS SOUS 8601 HAS SOUPS 8601 WITH SCORE 8617.035
AT ITER 2644 NEW BEST:: SOT 43314 SOS 16033 HAS SOPS 16033 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8616.033
AT ITER 2646 NEW BEST:: SOT 43314 SOS 16018 HAS SOPS 16018 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8616.018
AT ITER 2661 NEW BEST:: SOT 43238 SOS 16025 HAS SOPS 16025 HAS SOUS 8582 HAS SOUPS 8582 WITH SCORE 8598.025
AT ITER 2669 NEW BEST:: SOT 43225 SOS 15989 HAS SOPS 15989 HAS SOUS 8556 HAS SOUPS 8556 WITH SCORE 8571.989
AT ITER 2677 NEW BEST:: SOT 43221 SOS 15981 HAS SOPS 15981 HAS SOUS 8547 HAS SOUPS 8547 WITH SCORE 8562.981
AT ITER 2692 NEW BEST:: SOT 43219 SOS 15981 HAS SOPS 15981 HAS SOUS 8543 HAS SOUPS 8543 WITH SCORE 8558.981
AT ITER 2693 NEW BEST:: SOT 43194 SOS 15953 HAS SOPS 15953 HAS SOUS 8502 HAS SOUPS 8502 WITH SCORE 8517.953
AT ITER 2696 NEW BEST:: SOT 43183 SOS 15931 HAS SOPS 15931 HAS SOUS 8480 HAS SOUPS 8480 WITH SCORE 8495.931
AT ITER 2712 NEW BEST:: SOT 43171 SOS 15905 HAS SOPS 15905 HAS SOUS 8456 HAS SOUPS 8456 WITH SCORE 8471.905
AT ITER 2720 NEW BEST:: SOT 43142 SOS 15847 HAS SOPS 15847 HAS SOUS 8418 HAS SOUPS 8418 WITH SCORE 8433.847
AT ITER 2779 NEW BEST:: SOT 43153 SOS 15840 HAS SOPS 15840 HAS SOUS 8400 HAS SOUPS 8400 WITH SCORE 8415.84
AT ITER 2785 NEW BEST:: SOT 43147 SOS 15828 HAS SOPS 15828 HAS SOUS 8382 HAS SOUPS 8382 WITH SCORE 8397.828
AT ITER 2795 NEW BEST:: SOT 43160 SOS 15824 HAS SOPS 15824 HAS SOUS 8378 HAS SOUPS 8378 WITH SCORE 8393.824
AT ITER 2817 NEW BEST:: SOT 43159 SOS 15822 HAS SOPS 15822 HAS SOUS 8376 HAS SOUPS 8376 WITH SCORE 8391.822
AT ITER 2818 NEW BEST:: SOT 43141 SOS 15760 HAS SOPS 15760 HAS SOUS 8335 HAS SOUPS 8335 WITH SCORE 8350.76
AT ITER 2854 NEW BEST:: SOT 43130 SOS 15744 HAS SOPS 15744 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8333.744
AT ITER 2861 NEW BEST:: SOT 43129 SOS 15782 HAS SOPS 15782 HAS SOUS 8316 HAS SOUPS 8316 WITH SCORE 8331.782
AT ITER 2868 NEW BEST:: SOT 43128 SOS 15780 HAS SOPS 15780 HAS SOUS 8314 HAS SOUPS 8314 WITH SCORE 8329.78
AT ITER 2911 NEW BEST:: SOT 43130 SOS 15771 HAS SOPS 15771 HAS SOUS 8291 HAS SOUPS 8291 WITH SCORE 8306.771
AT ITER 2916 NEW BEST:: SOT 43122 SOS 15769 HAS SOPS 15769 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8290.769
AT ITER 2937 NEW BEST:: SOT 43104 SOS 15748 HAS SOPS 15748 HAS SOUS 8256 HAS SOUPS 8256 WITH SCORE 8271.748
AT ITER 2970 NEW BEST:: SOT 43100 SOS 15742 HAS SOPS 15742 HAS SOUS 8250 HAS SOUPS 8250 WITH SCORE 8265.742
AT ITER 3003 NEW BEST:: SOT 42997 SOS 15633 HAS SOPS 15633 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8233.633
AT ITER 3006 NEW BEST:: SOT 42993 SOS 15621 HAS SOPS 15621 HAS SOUS 8208 HAS SOUPS 8208 WITH SCORE 8223.621
AT ITER 3019 NEW BEST:: SOT 42994 SOS 15623 HAS SOPS 15623 HAS SOUS 8200 HAS SOUPS 8200 WITH SCORE 8215.623
AT ITER 3067 NEW BEST:: SOT 42981 SOS 15604 HAS SOPS 15604 HAS SOUS 8188 HAS SOUPS 8188 WITH SCORE 8203.604
AT ITER 3103 NEW BEST:: SOT 43012 SOS 16078 HAS SOPS 16078 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8200.078
AT ITER 3143 NEW BEST:: SOT 42999 SOS 16059 HAS SOPS 16059 HAS SOUS 8166 HAS SOUPS 8166 WITH SCORE 8182.059
AT ITER 3160 NEW BEST:: SOT 42993 SOS 16018 HAS SOPS 16018 HAS SOUS 8151 HAS SOUPS 8151 WITH SCORE 8167.018
AT ITER 3325 NEW BEST:: SOT 42989 SOS 16045 HAS SOPS 16045 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8162.045
AT ITER 3333 NEW BEST:: SOT 43001 SOS 15995 HAS SOPS 15995 HAS SOUS 8096 HAS SOUPS 8096 WITH SCORE 8111.995
AT ITER 3349 NEW BEST:: SOT 42999 SOS 15993 HAS SOPS 15993 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8107.993
AT ITER 3368 NEW BEST:: SOT 42976 SOS 15967 HAS SOPS 15967 HAS SOUS 8066 HAS SOUPS 8066 WITH SCORE 8081.967
AT ITER 3370 NEW BEST:: SOT 42976 SOS 15967 HAS SOPS 15967 HAS SOUS 8062 HAS SOUPS 8062 WITH SCORE 8077.967
AT ITER 3373 NEW BEST:: SOT 42975 SOS 15965 HAS SOPS 15965 HAS SOUS 8060 HAS SOUPS 8060 WITH SCORE 8075.965
AT ITER 3374 NEW BEST:: SOT 42976 SOS 15991 HAS SOPS 15991 HAS SOUS 8052 HAS SOUPS 8052 WITH SCORE 8067.991
AT ITER 3427 NEW BEST:: SOT 42974 SOS 15987 HAS SOPS 15987 HAS SOUS 8048 HAS SOUPS 8048 WITH SCORE 8063.987
AT ITER 3438 NEW BEST:: SOT 42920 SOS 15934 HAS SOPS 15934 HAS SOUS 8007 HAS SOUPS 8007 WITH SCORE 8022.934
AT ITER 3467 NEW BEST:: SOT 42918 SOS 15933 HAS SOPS 15933 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8018.933
AT ITER 3482 NEW BEST:: SOT 42912 SOS 15907 HAS SOPS 15907 HAS SOUS 7991 HAS SOUPS 7991 WITH SCORE 8006.907
AT ITER 3484 NEW BEST:: SOT 42911 SOS 15906 HAS SOPS 15906 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 8004.906
AT ITER 3516 NEW BEST:: SOT 42894 SOS 15891 HAS SOPS 15891 HAS SOUS 7972 HAS SOUPS 7972 WITH SCORE 7987.891
AT ITER 3517 NEW BEST:: SOT 42899 SOS 15896 HAS SOPS 15896 HAS SOUS 7968 HAS SOUPS 7968 WITH SCORE 7983.896
AT ITER 3518 NEW BEST:: SOT 42893 SOS 15884 HAS SOPS 15884 HAS SOUS 7956 HAS SOUPS 7956 WITH SCORE 7971.884
AT ITER 3521 NEW BEST:: SOT 42892 SOS 15882 HAS SOPS 15882 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7969.882
AT ITER 3522 NEW BEST:: SOT 42826 SOS 15816 HAS SOPS 15816 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7908.816
AT ITER 3530 NEW BEST:: SOT 42826 SOS 15775 HAS SOPS 15775 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7908.775
AT ITER 3536 NEW BEST:: SOT 42830 SOS 15783 HAS SOPS 15783 HAS SOUS 7892 HAS SOUPS 7892 WITH SCORE 7907.783
AT ITER 3538 NEW BEST:: SOT 42793 SOS 15728 HAS SOPS 15728 HAS SOUS 7833 HAS SOUPS 7833 WITH SCORE 7848.728
AT ITER 3566 NEW BEST:: SOT 42793 SOS 15728 HAS SOPS 15728 HAS SOUS 7821 HAS SOUPS 7821 WITH SCORE 7836.728
AT ITER 3614 NEW BEST:: SOT 42791 SOS 15708 HAS SOPS 15708 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7832.708
AT ITER 3618 NEW BEST:: SOT 42722 SOS 15605 HAS SOPS 15605 HAS SOUS 7724 HAS SOUPS 7724 WITH SCORE 7739.605
AT ITER 3627 NEW BEST:: SOT 42729 SOS 15603 HAS SOPS 15603 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7727.603
AT ITER 3643 NEW BEST:: SOT 42725 SOS 15599 HAS SOPS 15599 HAS SOUS 7708 HAS SOUPS 7708 WITH SCORE 7723.599
AT ITER 3672 NEW BEST:: SOT 42723 SOS 15585 HAS SOPS 15585 HAS SOUS 7700 HAS SOUPS 7700 WITH SCORE 7715.585
AT ITER 3691 NEW BEST:: SOT 42723 SOS 15270 HAS SOPS 15270 HAS SOUS 7700 HAS SOUPS 7700 WITH SCORE 7715.27
AT ITER 3708 NEW BEST:: SOT 42723 SOS 15270 HAS SOPS 15270 HAS SOUS 7696 HAS SOUPS 7696 WITH SCORE 7711.27
AT ITER 3715 NEW BEST:: SOT 42680 SOS 15184 HAS SOPS 15184 HAS SOUS 7570 HAS SOUPS 7570 WITH SCORE 7585.184
AT ITER 3744 NEW BEST:: SOT 42650 SOS 15124 HAS SOPS 15124 HAS SOUS 7525 HAS SOUPS 7525 WITH SCORE 7540.124
AT ITER 3760 NEW BEST:: SOT 42650 SOS 15094 HAS SOPS 15094 HAS SOUS 7512 HAS SOUPS 7512 WITH SCORE 7527.094
AT ITER 3800 NEW BEST:: SOT 42646 SOS 15086 HAS SOPS 15086 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7519.086
AT ITER 3802 NEW BEST:: SOT 42640 SOS 15074 HAS SOPS 15074 HAS SOUS 7498 HAS SOUPS 7498 WITH SCORE 7513.074
AT ITER 3812 NEW BEST:: SOT 42623 SOS 15040 HAS SOPS 15040 HAS SOUS 7464 HAS SOUPS 7464 WITH SCORE 7479.04
AT ITER 3884 NEW BEST:: SOT 42623 SOS 15040 HAS SOPS 15040 HAS SOUS 7463 HAS SOUPS 7463 WITH SCORE 7478.04
AT ITER 3897 NEW BEST:: SOT 42623 SOS 15035 HAS SOPS 15035 HAS SOUS 7463 HAS SOUPS 7463 WITH SCORE 7478.035
AT ITER 3905 NEW BEST:: SOT 42612 SOS 15011 HAS SOPS 15011 HAS SOUS 7428 HAS SOUPS 7428 WITH SCORE 7443.011
AT ITER 3909 NEW BEST:: SOT 42607 SOS 15006 HAS SOPS 15006 HAS SOUS 7428 HAS SOUPS 7428 WITH SCORE 7443.006
AT ITER 3920 NEW BEST:: SOT 42606 SOS 15008 HAS SOPS 15008 HAS SOUS 7426 HAS SOUPS 7426 WITH SCORE 7441.008
AT ITER 3982 NEW BEST:: SOT 42606 SOS 15008 HAS SOPS 15008 HAS SOUS 7419 HAS SOUPS 7419 WITH SCORE 7434.008
AT ITER 3992 NEW BEST:: SOT 42595 SOS 14975 HAS SOPS 14975 HAS SOUS 7419 HAS SOUPS 7419 WITH SCORE 7433.975
AT ITER 4023 NEW BEST:: SOT 42595 SOS 14975 HAS SOPS 14975 HAS SOUS 7415 HAS SOUPS 7415 WITH SCORE 7429.975
AT ITER 4048 NEW BEST:: SOT 42595 SOS 14977 HAS SOPS 14977 HAS SOUS 7413 HAS SOUPS 7413 WITH SCORE 7427.977
AT ITER 4053 NEW BEST:: SOT 42591 SOS 14969 HAS SOPS 14969 HAS SOUS 7405 HAS SOUPS 7405 WITH SCORE 7419.969
AT ITER 4062 NEW BEST:: SOT 42587 SOS 14969 HAS SOPS 14969 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7410.969
AT ITER 4114 NEW BEST:: SOT 42586 SOS 14950 HAS SOPS 14950 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7408.95
AT ITER 4116 NEW BEST:: SOT 42585 SOS 14948 HAS SOPS 14948 HAS SOUS 7393 HAS SOUPS 7393 WITH SCORE 7407.948
AT ITER 4118 NEW BEST:: SOT 42582 SOS 14961 HAS SOPS 14961 HAS SOUS 7387 HAS SOUPS 7387 WITH SCORE 7401.961
AT ITER 4138 NEW BEST:: SOT 42567 SOS 14946 HAS SOPS 14946 HAS SOUS 7361 HAS SOUPS 7361 WITH SCORE 7375.946
AT ITER 4159 NEW BEST:: SOT 42566 SOS 14943 HAS SOPS 14943 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7374.943
AT ITER 4177 NEW BEST:: SOT 42564 SOS 14939 HAS SOPS 14939 HAS SOUS 7356 HAS SOUPS 7356 WITH SCORE 7370.939
AT ITER 4180 NEW BEST:: SOT 42560 SOS 14928 HAS SOPS 14928 HAS SOUS 7348 HAS SOUPS 7348 WITH SCORE 7362.928
AT ITER 4186 NEW BEST:: SOT 42560 SOS 14948 HAS SOPS 14948 HAS SOUS 7346 HAS SOUPS 7346 WITH SCORE 7360.948
AT ITER 4192 NEW BEST:: SOT 42553 SOS 14934 HAS SOPS 14934 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7355.934
AT ITER 4255 NEW BEST:: SOT 42546 SOS 14920 HAS SOPS 14920 HAS SOUS 7334 HAS SOUPS 7334 WITH SCORE 7348.92
AT ITER 4268 NEW BEST:: SOT 42537 SOS 14899 HAS SOPS 14899 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7339.899
AT ITER 4280 NEW BEST:: SOT 42534 SOS 14901 HAS SOPS 14901 HAS SOUS 7324 HAS SOUPS 7324 WITH SCORE 7338.901
AT ITER 4345 NEW BEST:: SOT 42533 SOS 14899 HAS SOPS 14899 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7336.899
AT ITER 4384 NEW BEST:: SOT 42514 SOS 14886 HAS SOPS 14886 HAS SOUS 7306 HAS SOUPS 7306 WITH SCORE 7320.886
AT ITER 4385 NEW BEST:: SOT 42492 SOS 14874 HAS SOPS 14874 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7313.874
AT ITER 4463 NEW BEST:: SOT 42486 SOS 14862 HAS SOPS 14862 HAS SOUS 7293 HAS SOUPS 7293 WITH SCORE 7307.862
AT ITER 4470 NEW BEST:: SOT 42477 SOS 14844 HAS SOPS 14844 HAS SOUS 7275 HAS SOUPS 7275 WITH SCORE 7289.844
AT ITER 4499 NEW BEST:: SOT 42472 SOS 14839 HAS SOPS 14839 HAS SOUS 7270 HAS SOUPS 7270 WITH SCORE 7284.839
AT ITER 4508 NEW BEST:: SOT 42472 SOS 14839 HAS SOPS 14839 HAS SOUS 7268 HAS SOUPS 7268 WITH SCORE 7282.839
AT ITER 4545 NEW BEST:: SOT 42469 SOS 14833 HAS SOPS 14833 HAS SOUS 7259 HAS SOUPS 7259 WITH SCORE 7273.833
AT ITER 4548 NEW BEST:: SOT 42468 SOS 14832 HAS SOPS 14832 HAS SOUS 7258 HAS SOUPS 7258 WITH SCORE 7272.832
AT ITER 4593 NEW BEST:: SOT 42468 SOS 14832 HAS SOPS 14832 HAS SOUS 7256 HAS SOUPS 7256 WITH SCORE 7270.832
AT ITER 4604 NEW BEST:: SOT 42466 SOS 14828 HAS SOPS 14828 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7268.828
AT ITER 4610 NEW BEST:: SOT 42445 SOS 14786 HAS SOPS 14786 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7223.786
AT ITER 4636 NEW BEST:: SOT 42445 SOS 14706 HAS SOPS 14706 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7223.706
AT ITER 4672 NEW BEST:: SOT 42459 SOS 14730 HAS SOPS 14730 HAS SOUS 7204 HAS SOUPS 7204 WITH SCORE 7218.73
AT ITER 4673 NEW BEST:: SOT 42458 SOS 14729 HAS SOPS 14729 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7217.729
AT ITER 4680 NEW BEST:: SOT 42447 SOS 14705 HAS SOPS 14705 HAS SOUS 7181 HAS SOUPS 7181 WITH SCORE 7195.705
AT ITER 4699 NEW BEST:: SOT 42447 SOS 14705 HAS SOPS 14705 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7192.705
AT ITER 4793 NEW BEST:: SOT 42444 SOS 14699 HAS SOPS 14699 HAS SOUS 7172 HAS SOUPS 7172 WITH SCORE 7186.699
AT ITER 4795 NEW BEST:: SOT 42444 SOS 14698 HAS SOPS 14698 HAS SOUS 7172 HAS SOUPS 7172 WITH SCORE 7186.698
AT ITER 4800 NEW BEST:: SOT 42440 SOS 14694 HAS SOPS 14694 HAS SOUS 7168 HAS SOUPS 7168 WITH SCORE 7182.694
AT ITER 4813 NEW BEST:: SOT 42435 SOS 14684 HAS SOPS 14684 HAS SOUS 7163 HAS SOUPS 7163 WITH SCORE 7177.684
AT ITER 4829 NEW BEST:: SOT 42433 SOS 14682 HAS SOPS 14682 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7171.682
AT ITER 4856 NEW BEST:: SOT 42432 SOS 14681 HAS SOPS 14681 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7169.681
AT ITER 4858 NEW BEST:: SOT 42432 SOS 14677 HAS SOPS 14677 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7169.677
AT ITER 4890 NEW BEST:: SOT 42432 SOS 14666 HAS SOPS 14666 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7169.666
AT ITER 4913 NEW BEST:: SOT 42422 SOS 14678 HAS SOPS 14678 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7149.678
AT ITER 4925 NEW BEST:: SOT 42422 SOS 14678 HAS SOPS 14678 HAS SOUS 7134 HAS SOUPS 7134 WITH SCORE 7148.678
AT ITER 4937 NEW BEST:: SOT 42416 SOS 14679 HAS SOPS 14679 HAS SOUS 7122 HAS SOUPS 7122 WITH SCORE 7136.679
AT ITER 4948 NEW BEST:: SOT 42414 SOS 14687 HAS SOPS 14687 HAS SOUS 7118 HAS SOUPS 7118 WITH SCORE 7132.687
AT ITER 4970 NEW BEST:: SOT 42405 SOS 14669 HAS SOPS 14669 HAS SOUS 7103 HAS SOUPS 7103 WITH SCORE 7117.669
AT ITER 4997 NEW BEST:: SOT 42420 SOS 14678 HAS SOPS 14678 HAS SOUS 7101 HAS SOUPS 7101 WITH SCORE 7115.678
Bounds file is: CTLFireability.xml
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-00 ( ( ( (EG( ((potential((tk(P168)>=1)))))) & ( ( (! ((potential((tk(P232)>=1) & (tk(P260)>=1))))) & ( ((potential((tk(P193)>=1) & (tk(P267)>=1)))) | ((potential((tk(P73)>=1)))) ) ) & ((potential((tk(P88)>=1) & (tk(P260)>=1)))) ) ) | (! ( (EF( ((potential((tk(P60)>=1)))))) | ((potential((tk(P75)>=1)))) )) ) | ((potential((tk(P253)>=1)))) )
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-01 (AF( ((potential((tk(P213)>=1))))))
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-02 (! (! (EF( (EF( ((potential((tk(P129)>=1))))))))))
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-03 ( (EU( ((potential((tk(P4)>=1)))) , (! ( ((potential((tk(P137)>=1)))) & ((potential((tk(P127)>=1)))) )) )) & ( ( (EF( ( ((potential((tk(P205)>=1) & (tk(P260)>=1)))) & ((potential((tk(P168)>=1)))) ))) & (AG( ((potential((tk(P209)>=1) & (tk(P267)>=1)))))) ) | (AU( (! ((potential((tk(P87)>=1))))) , ( ((potential((tk(P256)>=1)))) | ((potential((tk(P268)>=1)))) ) )) ) )
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-04 (EF( ( (! ( (! ((potential((tk(P66)>=1))))) | ( ((potential((tk(P178)>=1) & (tk(P260)>=1)))) | ((potential((tk(P114)>=1)))) ) )) & (AG( ( ((potential((tk(P110)>=1)))) & ((potential((tk(P127)>=1)))) ))) )))
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-05 (EF( (EX( ((potential((tk(P179)>=1))))))))
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-06 ( (EU( (! ( ((potential((tk(P170)>=1)))) | ((potential((tk(P181)>=1)))) )) , (AF( ((potential((tk(P241)>=1) & (tk(P260)>=1)))))) )) | (AX( ((potential((tk(P104)>=1) & (tk(P260)>=1)))))) )
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-07 ( (AU( (EG( ((potential((tk(P12)>=1)))))) , (AF( ((potential((tk(P168)>=1)))))) )) | ( ( (! (EG( ((potential((tk(P184)>=1))))))) & ( ( ( ((potential((tk(P119)>=1)))) & ((potential((tk(P67)>=1)))) ) | ((potential((tk(P145)>=1)))) ) & ( ( ((potential((tk(P102)>=1)))) | ((potential((tk(P94)>=1)))) ) | ( ((potential((tk(P33)>=1)))) & ((potential((tk(P137)>=1)))) ) ) ) ) & (EF( ((potential((tk(P51)>=1)))))) ) )
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-08 (! (EF( (AG( ( ((potential((tk(P55)>=1)))) | ((potential((tk(P164)>=1)))) ))))))
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-09 (AF( ( ((potential((tk(P53)>=1)))) & (AU( ((potential((tk(P64)>=1)))) , ((potential((tk(P106)>=1) & (tk(P260)>=1)))) )) )))
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-10 ( ( (! ((potential((tk(P171)>=1) & (tk(P260)>=1))))) & ( (AF( (! ((potential((tk(P102)>=1))))))) & (AG( ((potential((tk(P137)>=1)))))) ) ) | (AF( ( (! (! ((potential((tk(P139)>=1) & (tk(P267)>=1)))))) | ( ((potential((tk(P199)>=1)))) | ( ((potential((tk(P220)>=1) & (tk(P267)>=1)))) & ((potential((tk(P146)>=1)))) ) ) ))) )
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-11 (AF( (AU( ( ((potential((tk(P237)>=1)))) | ((potential((tk(P242)>=1)))) ) , ( ((potential((tk(P130)>=1)))) & ((potential((tk(P96)>=1)))) ) ))))
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-12 (! ( ( (EU( ((potential((tk(P217)>=1)))) , ((potential((tk(P91)>=1)))) )) | (EU( ((potential((tk(P257)>=1)))) , ((potential((tk(P115)>=1) & (tk(P260)>=1)))) )) ) | (! ( (AF( ((potential((tk(P252)>=1) & (tk(P260)>=1)))))) | (AG( ((potential((tk(P256)>=1)))))) )) ))
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-13 (EU( ( (AF( ((potential((tk(P56)>=1)))))) | (AX( ((potential((tk(P49)>=1)))))) ) , ((potential((tk(P215)>=1)))) ))
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-14 (EG( ( (EF( ( ((potential((tk(P49)>=1)))) & ((potential((tk(P266)>=1)))) ))) & (AG( (! ((potential((tk(P134)>=1))))))) )))
PROPERTY: DiscoveryGPU-PT-09b-CTLFireability-15 (AU( ( ( ( ((potential((tk(P51)>=1)))) & ((potential((tk(P110)>=1)))) ) & (! ((potential((tk(P24)>=1))))) ) | (EX( ((potential((tk(P256)>=1)))))) ) , (! (EF( ((potential((tk(P83)>=1))))))) ))

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="DiscoveryGPU-PT-09b"
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 DiscoveryGPU-PT-09b, 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 r063-tajo-158922807800644"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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