fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r018-oct2-158897679500076
Last Updated
Jun 28, 2020

About the Execution of smart for BART-PT-005

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15768.130 3600000.00 3599030.00 0.00 [undef] Time out reached

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.r018-oct2-158897679500076.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 BART-PT-005, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679500076
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.4M
-rw-r--r-- 1 mcc users 4.0K Apr 15 13:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 15 13:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 15 13:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 15 13:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 125K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 341K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 150K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 399K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Apr 15 13:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 15 13:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 15 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 15 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 15 13:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 15 13:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 1.3M 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 BART-PT-005-CTLFireability-00
FORMULA_NAME BART-PT-005-CTLFireability-01
FORMULA_NAME BART-PT-005-CTLFireability-02
FORMULA_NAME BART-PT-005-CTLFireability-03
FORMULA_NAME BART-PT-005-CTLFireability-04
FORMULA_NAME BART-PT-005-CTLFireability-05
FORMULA_NAME BART-PT-005-CTLFireability-06
FORMULA_NAME BART-PT-005-CTLFireability-07
FORMULA_NAME BART-PT-005-CTLFireability-08
FORMULA_NAME BART-PT-005-CTLFireability-09
FORMULA_NAME BART-PT-005-CTLFireability-10
FORMULA_NAME BART-PT-005-CTLFireability-11
FORMULA_NAME BART-PT-005-CTLFireability-12
FORMULA_NAME BART-PT-005-CTLFireability-13
FORMULA_NAME BART-PT-005-CTLFireability-14
FORMULA_NAME BART-PT-005-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589012452930

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BART (PT), instance 005
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: 870 places, 1010 transitions, 8100 arcs.
AT ITER 0 NEW BEST:: SOT 653279 SOS 418652 HAS SOPS 294378 HAS SOUS 281595 HAS SOUPS 252853 WITH SCORE 253271.652
AT ITER 3 NEW BEST:: SOT 634623 SOS 544565 HAS SOPS 275722 HAS SOUS 263775 HAS SOUPS 234197 WITH SCORE 234741.565
AT ITER 4 NEW BEST:: SOT 634623 SOS 544565 HAS SOPS 275718 HAS SOUS 263805 HAS SOUPS 234193 WITH SCORE 234737.565
AT ITER 8 NEW BEST:: SOT 634465 SOS 544407 HAS SOPS 275314 HAS SOUS 263455 HAS SOUPS 233679 WITH SCORE 234223.407
AT ITER 15 NEW BEST:: SOT 634320 SOS 544262 HAS SOPS 275023 HAS SOUS 263129 HAS SOUPS 233244 WITH SCORE 233788.262
AT ITER 16 NEW BEST:: SOT 634320 SOS 534753 HAS SOPS 265514 HAS SOUS 262831 HAS SOUPS 232730 WITH SCORE 233264.753
AT ITER 17 NEW BEST:: SOT 634320 SOS 534753 HAS SOPS 265452 HAS SOUS 262826 HAS SOUPS 232668 WITH SCORE 233202.753
AT ITER 20 NEW BEST:: SOT 634292 SOS 534725 HAS SOPS 265395 HAS SOUS 262662 HAS SOUPS 232461 WITH SCORE 232995.725
AT ITER 33 NEW BEST:: SOT 634104 SOS 534537 HAS SOPS 265018 HAS SOUS 262380 HAS SOUPS 231991 WITH SCORE 232525.537
AT ITER 36 NEW BEST:: SOT 633956 SOS 534389 HAS SOPS 264664 HAS SOUS 262384 HAS SOUPS 231638 WITH SCORE 232172.389
AT ITER 38 NEW BEST:: SOT 633820 SOS 534253 HAS SOPS 264326 HAS SOUS 262480 HAS SOUPS 231301 WITH SCORE 231835.253
AT ITER 43 NEW BEST:: SOT 633696 SOS 534129 HAS SOPS 263998 HAS SOUS 262540 HAS SOUPS 230974 WITH SCORE 231508.129
AT ITER 50 NEW BEST:: SOT 633528 SOS 533961 HAS SOPS 263661 HAS SOUS 262168 HAS SOUPS 230470 WITH SCORE 231003.961
AT ITER 51 NEW BEST:: SOT 633528 SOS 533961 HAS SOPS 263582 HAS SOUS 262168 HAS SOUPS 230391 WITH SCORE 230924.961
AT ITER 52 NEW BEST:: SOT 633334 SOS 533767 HAS SOPS 263184 HAS SOUS 262143 HAS SOUPS 229994 WITH SCORE 230527.767
AT ITER 53 NEW BEST:: SOT 633334 SOS 533767 HAS SOPS 263183 HAS SOUS 262071 HAS SOUPS 229898 WITH SCORE 230431.767
AT ITER 56 NEW BEST:: SOT 633361 SOS 533794 HAS SOPS 263236 HAS SOUS 261990 HAS SOUPS 229815 WITH SCORE 230348.794
AT ITER 57 NEW BEST:: SOT 633257 SOS 533690 HAS SOPS 262926 HAS SOUS 262030 HAS SOUPS 229506 WITH SCORE 230039.69
AT ITER 58 NEW BEST:: SOT 633355 SOS 533788 HAS SOPS 262831 HAS SOUS 261936 HAS SOUPS 229412 WITH SCORE 229945.788
AT ITER 60 NEW BEST:: SOT 633251 SOS 533684 HAS SOPS 262622 HAS SOUS 261649 HAS SOUPS 229100 WITH SCORE 229633.684
AT ITER 62 NEW BEST:: SOT 633189 SOS 533622 HAS SOPS 262622 HAS SOUS 261649 HAS SOUPS 229100 WITH SCORE 229633.622
AT ITER 67 NEW BEST:: SOT 633189 SOS 533622 HAS SOPS 262565 HAS SOUS 261973 HAS SOUPS 229043 WITH SCORE 229576.622
AT ITER 70 NEW BEST:: SOT 633239 SOS 533672 HAS SOPS 262664 HAS SOUS 261612 HAS SOUPS 228938 WITH SCORE 229471.672
AT ITER 72 NEW BEST:: SOT 633258 SOS 534371 HAS SOPS 262448 HAS SOUS 261611 HAS SOUPS 228722 WITH SCORE 229256.371
AT ITER 78 NEW BEST:: SOT 633299 SOS 534412 HAS SOPS 262343 HAS SOUS 261657 HAS SOUPS 228617 WITH SCORE 229151.412
AT ITER 85 NEW BEST:: SOT 633146 SOS 534259 HAS SOPS 261990 HAS SOUS 261753 HAS SOUPS 228265 WITH SCORE 228799.259
AT ITER 100 NEW BEST:: SOT 632878 SOS 533991 HAS SOPS 261798 HAS SOUS 261562 HAS SOUPS 228074 WITH SCORE 228607.991
AT ITER 105 NEW BEST:: SOT 632910 SOS 534023 HAS SOPS 261743 HAS SOUS 261594 HAS SOUPS 228019 WITH SCORE 228553.023
AT ITER 113 NEW BEST:: SOT 632789 SOS 533902 HAS SOPS 261420 HAS SOUS 261694 HAS SOUPS 227697 WITH SCORE 228230.902
AT ITER 122 NEW BEST:: SOT 632592 SOS 533705 HAS SOPS 261025 HAS SOUS 261156 HAS SOUPS 227106 WITH SCORE 227639.705
AT ITER 128 NEW BEST:: SOT 632210 SOS 533323 HAS SOPS 260260 HAS SOUS 260583 HAS SOUPS 226151 WITH SCORE 226684.323
AT ITER 129 NEW BEST:: SOT 632210 SOS 533323 HAS SOPS 260175 HAS SOUS 260904 HAS SOUPS 226066 WITH SCORE 226599.323
AT ITER 134 NEW BEST:: SOT 632240 SOS 533488 HAS SOPS 260091 HAS SOUS 260991 HAS SOUPS 225982 WITH SCORE 226515.488
AT ITER 136 NEW BEST:: SOT 632212 SOS 533460 HAS SOPS 260035 HAS SOUS 261274 HAS SOUPS 225927 WITH SCORE 226460.46
AT ITER 139 NEW BEST:: SOT 632141 SOS 533389 HAS SOPS 259784 HAS SOUS 261414 HAS SOUPS 225677 WITH SCORE 226210.389
AT ITER 142 NEW BEST:: SOT 631921 SOS 533169 HAS SOPS 259506 HAS SOUS 261169 HAS SOUPS 225399 WITH SCORE 225932.169
AT ITER 144 NEW BEST:: SOT 632134 SOS 533497 HAS SOPS 259496 HAS SOUS 261623 HAS SOUPS 225389 WITH SCORE 225922.497
AT ITER 160 NEW BEST:: SOT 631986 SOS 533349 HAS SOPS 259199 HAS SOUS 261403 HAS SOUPS 225093 WITH SCORE 225626.349
AT ITER 165 NEW BEST:: SOT 632040 SOS 533403 HAS SOPS 258967 HAS SOUS 261615 HAS SOUPS 224861 WITH SCORE 225394.403
AT ITER 171 NEW BEST:: SOT 631863 SOS 533226 HAS SOPS 258612 HAS SOUS 261262 HAS SOUPS 224384 WITH SCORE 224917.226
AT ITER 173 NEW BEST:: SOT 631769 SOS 533132 HAS SOPS 258424 HAS SOUS 261168 HAS SOUPS 224196 WITH SCORE 224729.132
AT ITER 174 NEW BEST:: SOT 631675 SOS 533038 HAS SOPS 258235 HAS SOUS 260874 HAS SOUPS 223806 WITH SCORE 224339.038
AT ITER 186 NEW BEST:: SOT 631648 SOS 533011 HAS SOPS 258181 HAS SOUS 260847 HAS SOUPS 223752 WITH SCORE 224285.011
AT ITER 191 NEW BEST:: SOT 631638 SOS 533001 HAS SOPS 258137 HAS SOUS 261125 HAS SOUPS 223709 WITH SCORE 224242.001
AT ITER 200 NEW BEST:: SOT 631692 SOS 533120 HAS SOPS 258093 HAS SOUS 261271 HAS SOUPS 223665 WITH SCORE 224198.12
AT ITER 204 NEW BEST:: SOT 631505 SOS 532933 HAS SOPS 257704 HAS SOUS 261291 HAS SOUPS 223277 WITH SCORE 223809.933
AT ITER 206 NEW BEST:: SOT 631112 SOS 532540 HAS SOPS 257493 HAS SOUS 261081 HAS SOUPS 223067 WITH SCORE 223599.54
AT ITER 208 NEW BEST:: SOT 631155 SOS 532583 HAS SOPS 257579 HAS SOUS 261042 HAS SOUPS 223048 WITH SCORE 223580.583
AT ITER 218 NEW BEST:: SOT 631088 SOS 532336 HAS SOPS 257625 HAS SOUS 260793 HAS SOUPS 222979 WITH SCORE 223511.336
AT ITER 220 NEW BEST:: SOT 630900 SOS 532148 HAS SOPS 257248 HAS SOUS 260417 HAS SOUPS 222603 WITH SCORE 223135.148
AT ITER 221 NEW BEST:: SOT 630810 SOS 532058 HAS SOPS 256952 HAS SOUS 260485 HAS SOUPS 222308 WITH SCORE 222840.058
AT ITER 227 NEW BEST:: SOT 630810 SOS 532058 HAS SOPS 256900 HAS SOUS 260433 HAS SOUPS 222256 WITH SCORE 222788.058
AT ITER 229 NEW BEST:: SOT 630214 SOS 531462 HAS SOPS 256504 HAS SOUS 260038 HAS SOUPS 221861 WITH SCORE 222392.462
AT ITER 230 NEW BEST:: SOT 630214 SOS 531462 HAS SOPS 256354 HAS SOUS 260111 HAS SOUPS 221711 WITH SCORE 222242.462
AT ITER 236 NEW BEST:: SOT 630021 SOS 531269 HAS SOPS 255774 HAS SOUS 259581 HAS SOUPS 221132 WITH SCORE 221663.269
AT ITER 237 NEW BEST:: SOT 629987 SOS 531162 HAS SOPS 255958 HAS SOUS 259390 HAS SOUPS 221014 WITH SCORE 221545.162
AT ITER 241 NEW BEST:: SOT 629987 SOS 531162 HAS SOPS 255742 HAS SOUS 259449 HAS SOUPS 220798 WITH SCORE 221329.162
AT ITER 243 NEW BEST:: SOT 630034 SOS 531209 HAS SOPS 255640 HAS SOUS 259446 HAS SOUPS 220665 WITH SCORE 221196.209
AT ITER 245 NEW BEST:: SOT 630048 SOS 531126 HAS SOPS 255944 HAS SOUS 259280 HAS SOUPS 220596 WITH SCORE 221127.126
AT ITER 253 NEW BEST:: SOT 628640 SOS 529718 HAS SOPS 254480 HAS SOUS 257872 HAS SOUPS 219132 WITH SCORE 219661.718
AT ITER 262 NEW BEST:: SOT 628814 SOS 529892 HAS SOPS 254313 HAS SOUS 258194 HAS SOUPS 218965 WITH SCORE 219494.892
AT ITER 274 NEW BEST:: SOT 628706 SOS 529646 HAS SOPS 254618 HAS SOUS 257777 HAS SOUPS 218686 WITH SCORE 219215.646
AT ITER 275 NEW BEST:: SOT 628583 SOS 529523 HAS SOPS 254341 HAS SOUS 257959 HAS SOUPS 218410 WITH SCORE 218939.523
AT ITER 278 NEW BEST:: SOT 628784 SOS 529999 HAS SOPS 254274 HAS SOUS 258228 HAS SOUPS 218343 WITH SCORE 218872.999
AT ITER 299 NEW BEST:: SOT 628610 SOS 529825 HAS SOPS 253926 HAS SOUS 257946 HAS SOUPS 217995 WITH SCORE 218524.825
AT ITER 305 NEW BEST:: SOT 628578 SOS 529793 HAS SOPS 253954 HAS SOUS 257882 HAS SOUPS 217931 WITH SCORE 218460.793
AT ITER 312 NEW BEST:: SOT 628407 SOS 529622 HAS SOPS 253611 HAS SOUS 257504 HAS SOUPS 217485 WITH SCORE 218014.622
AT ITER 316 NEW BEST:: SOT 628319 SOS 529534 HAS SOPS 253611 HAS SOUS 257504 HAS SOUPS 217485 WITH SCORE 218014.534
AT ITER 318 NEW BEST:: SOT 628146 SOS 529361 HAS SOPS 253236 HAS SOUS 257552 HAS SOUPS 217111 WITH SCORE 217640.361
AT ITER 321 NEW BEST:: SOT 587336 SOS 488551 HAS SOPS 212426 HAS SOUS 227454 HAS SOUPS 178981 WITH SCORE 179469.551
AT ITER 325 NEW BEST:: SOT 587335 SOS 488550 HAS SOPS 212306 HAS SOUS 227453 HAS SOUPS 178861 WITH SCORE 179349.55
AT ITER 329 NEW BEST:: SOT 587335 SOS 488550 HAS SOPS 212204 HAS SOUS 227453 HAS SOUPS 178759 WITH SCORE 179247.55
AT ITER 350 NEW BEST:: SOT 587334 SOS 488549 HAS SOPS 212202 HAS SOUS 227498 HAS SOUPS 178757 WITH SCORE 179245.549
AT ITER 361 NEW BEST:: SOT 587334 SOS 488549 HAS SOPS 212198 HAS SOUS 227520 HAS SOUPS 178753 WITH SCORE 179241.549
AT ITER 363 NEW BEST:: SOT 583634 SOS 484960 HAS SOPS 208667 HAS SOUS 223931 HAS SOUPS 175222 WITH SCORE 175706.96
AT ITER 368 NEW BEST:: SOT 583564 SOS 484890 HAS SOPS 208667 HAS SOUS 223860 HAS SOUPS 175222 WITH SCORE 175706.89
AT ITER 369 NEW BEST:: SOT 583529 SOS 484817 HAS SOPS 208745 HAS SOUS 223752 HAS SOUPS 175152 WITH SCORE 175636.817
AT ITER 370 NEW BEST:: SOT 582796 SOS 484084 HAS SOPS 207835 HAS SOUS 222910 HAS SOUPS 174241 WITH SCORE 174725.084
AT ITER 374 NEW BEST:: SOT 582827 SOS 484115 HAS SOPS 207599 HAS SOUS 222941 HAS SOUPS 174005 WITH SCORE 174489.115
AT ITER 386 NEW BEST:: SOT 582838 SOS 484426 HAS SOPS 207490 HAS SOUS 222974 HAS SOUPS 173896 WITH SCORE 174380.426
AT ITER 387 NEW BEST:: SOT 582838 SOS 484426 HAS SOPS 207480 HAS SOUS 222964 HAS SOUPS 173886 WITH SCORE 174370.426
AT ITER 400 NEW BEST:: SOT 582764 SOS 484352 HAS SOPS 207406 HAS SOUS 222890 HAS SOUPS 173812 WITH SCORE 174296.352
AT ITER 404 NEW BEST:: SOT 582763 SOS 484351 HAS SOPS 207284 HAS SOUS 222889 HAS SOUPS 173690 WITH SCORE 174174.351
AT ITER 408 NEW BEST:: SOT 582590 SOS 484178 HAS SOPS 206909 HAS SOUS 222938 HAS SOUPS 173315 WITH SCORE 173799.178
AT ITER 418 NEW BEST:: SOT 582575 SOS 484163 HAS SOPS 206909 HAS SOUS 222938 HAS SOUPS 173315 WITH SCORE 173799.163
AT ITER 420 NEW BEST:: SOT 582477 SOS 484003 HAS SOPS 206935 HAS SOUS 222680 HAS SOUPS 173119 WITH SCORE 173603.003
AT ITER 424 NEW BEST:: SOT 582526 SOS 484052 HAS SOPS 206899 HAS SOUS 222940 HAS SOUPS 173083 WITH SCORE 173567.052
AT ITER 429 NEW BEST:: SOT 582439 SOS 483965 HAS SOPS 206642 HAS SOUS 223073 HAS SOUPS 172826 WITH SCORE 173309.965
AT ITER 434 NEW BEST:: SOT 582428 SOS 483819 HAS SOPS 207034 HAS SOUS 222916 HAS SOUPS 172804 WITH SCORE 173287.819
AT ITER 435 NEW BEST:: SOT 582428 SOS 483819 HAS SOPS 206718 HAS SOUS 222653 HAS SOUPS 172488 WITH SCORE 172971.819
AT ITER 438 NEW BEST:: SOT 582428 SOS 483819 HAS SOPS 206637 HAS SOUS 222591 HAS SOUPS 172407 WITH SCORE 172890.819
AT ITER 443 NEW BEST:: SOT 582382 SOS 483773 HAS SOPS 206591 HAS SOUS 222545 HAS SOUPS 172361 WITH SCORE 172844.773
AT ITER 445 NEW BEST:: SOT 582299 SOS 483690 HAS SOPS 206525 HAS SOUS 222479 HAS SOUPS 172295 WITH SCORE 172778.69
AT ITER 447 NEW BEST:: SOT 582299 SOS 483690 HAS SOPS 206319 HAS SOUS 222373 HAS SOUPS 172089 WITH SCORE 172572.69
AT ITER 449 NEW BEST:: SOT 582515 SOS 483906 HAS SOPS 206317 HAS SOUS 222578 HAS SOUPS 172087 WITH SCORE 172570.906
AT ITER 450 NEW BEST:: SOT 582356 SOS 483339 HAS SOPS 206317 HAS SOUS 222419 HAS SOUPS 172087 WITH SCORE 172570.339
AT ITER 453 NEW BEST:: SOT 582301 SOS 483220 HAS SOPS 206454 HAS SOUS 222245 HAS SOUPS 171977 WITH SCORE 172460.22
AT ITER 456 NEW BEST:: SOT 582208 SOS 483127 HAS SOPS 206445 HAS SOUS 222236 HAS SOUPS 171968 WITH SCORE 172451.127
AT ITER 467 NEW BEST:: SOT 582208 SOS 483132 HAS SOPS 206442 HAS SOUS 222234 HAS SOUPS 171965 WITH SCORE 172448.132
AT ITER 473 NEW BEST:: SOT 582122 SOS 483046 HAS SOPS 206270 HAS SOUS 222148 HAS SOUPS 171793 WITH SCORE 172276.046
AT ITER 477 NEW BEST:: SOT 582146 SOS 483070 HAS SOPS 206210 HAS SOUS 222101 HAS SOUPS 171733 WITH SCORE 172216.07
AT ITER 479 NEW BEST:: SOT 582069 SOS 482993 HAS SOPS 206133 HAS SOUS 222024 HAS SOUPS 171656 WITH SCORE 172138.993
AT ITER 484 NEW BEST:: SOT 582051 SOS 482975 HAS SOPS 206097 HAS SOUS 222006 HAS SOUPS 171620 WITH SCORE 172102.975
AT ITER 493 NEW BEST:: SOT 582012 SOS 482936 HAS SOPS 205999 HAS SOUS 221927 HAS SOUPS 171522 WITH SCORE 172004.936
AT ITER 498 NEW BEST:: SOT 581966 SOS 482890 HAS SOPS 205850 HAS SOUS 221837 HAS SOUPS 171373 WITH SCORE 171855.89
AT ITER 513 NEW BEST:: SOT 582018 SOS 482942 HAS SOPS 205597 HAS SOUS 222454 HAS SOUPS 171284 WITH SCORE 171766.942
AT ITER 516 NEW BEST:: SOT 582001 SOS 482925 HAS SOPS 205580 HAS SOUS 222437 HAS SOUPS 171267 WITH SCORE 171749.925
AT ITER 521 NEW BEST:: SOT 582001 SOS 482925 HAS SOPS 205530 HAS SOUS 222387 HAS SOUPS 171217 WITH SCORE 171699.925
AT ITER 525 NEW BEST:: SOT 582112 SOS 483036 HAS SOPS 205528 HAS SOUS 222385 HAS SOUPS 171215 WITH SCORE 171698.036
AT ITER 531 NEW BEST:: SOT 582117 SOS 483041 HAS SOPS 205429 HAS SOUS 222286 HAS SOUPS 171116 WITH SCORE 171599.041
AT ITER 542 NEW BEST:: SOT 582141 SOS 483480 HAS SOPS 205366 HAS SOUS 222351 HAS SOUPS 171053 WITH SCORE 171536.48
AT ITER 545 NEW BEST:: SOT 582042 SOS 483023 HAS SOPS 205366 HAS SOUS 222246 HAS SOUPS 171053 WITH SCORE 171536.023
AT ITER 567 NEW BEST:: SOT 581897 SOS 482878 HAS SOPS 205336 HAS SOUS 222216 HAS SOUPS 171023 WITH SCORE 171505.878
AT ITER 571 NEW BEST:: SOT 581868 SOS 482849 HAS SOPS 205307 HAS SOUS 222187 HAS SOUPS 170994 WITH SCORE 171476.849
AT ITER 581 NEW BEST:: SOT 581868 SOS 483014 HAS SOPS 205237 HAS SOUS 222150 HAS SOUPS 170924 WITH SCORE 171407.014
AT ITER 594 NEW BEST:: SOT 581984 SOS 483130 HAS SOPS 205228 HAS SOUS 222287 HAS SOUPS 170915 WITH SCORE 171398.13
AT ITER 601 NEW BEST:: SOT 581646 SOS 482792 HAS SOPS 204710 HAS SOUS 221817 HAS SOUPS 170397 WITH SCORE 170879.792
AT ITER 604 NEW BEST:: SOT 581612 SOS 482758 HAS SOPS 204642 HAS SOUS 221749 HAS SOUPS 170329 WITH SCORE 170811.758
AT ITER 605 NEW BEST:: SOT 581810 SOS 482956 HAS SOPS 204640 HAS SOUS 221824 HAS SOUPS 170327 WITH SCORE 170809.956
AT ITER 614 NEW BEST:: SOT 581730 SOS 482876 HAS SOPS 204320 HAS SOUS 221676 HAS SOUPS 170007 WITH SCORE 170489.876
AT ITER 624 NEW BEST:: SOT 581337 SOS 482483 HAS SOPS 203719 HAS SOUS 221229 HAS SOUPS 169406 WITH SCORE 169888.483
AT ITER 637 NEW BEST:: SOT 581433 SOS 482617 HAS SOPS 203633 HAS SOUS 221409 HAS SOUPS 169320 WITH SCORE 169802.617
AT ITER 638 NEW BEST:: SOT 581433 SOS 482617 HAS SOPS 203449 HAS SOUS 221337 HAS SOUPS 169136 WITH SCORE 169618.617
AT ITER 642 NEW BEST:: SOT 581321 SOS 482505 HAS SOPS 203075 HAS SOUS 221138 HAS SOUPS 168762 WITH SCORE 169244.505
AT ITER 644 NEW BEST:: SOT 581321 SOS 482415 HAS SOPS 203075 HAS SOUS 221220 HAS SOUPS 168762 WITH SCORE 169244.415
AT ITER 654 NEW BEST:: SOT 581250 SOS 482344 HAS SOPS 202865 HAS SOUS 221010 HAS SOUPS 168552 WITH SCORE 169034.344
AT ITER 658 NEW BEST:: SOT 581442 SOS 482536 HAS SOPS 202815 HAS SOUS 221221 HAS SOUPS 168502 WITH SCORE 168984.536
AT ITER 661 NEW BEST:: SOT 581404 SOS 482498 HAS SOPS 202739 HAS SOUS 221145 HAS SOUPS 168426 WITH SCORE 168908.498
AT ITER 676 NEW BEST:: SOT 581202 SOS 482296 HAS SOPS 202644 HAS SOUS 221050 HAS SOUPS 168331 WITH SCORE 168813.296
AT ITER 679 NEW BEST:: SOT 581198 SOS 482292 HAS SOPS 202560 HAS SOUS 221116 HAS SOUPS 168247 WITH SCORE 168729.292
AT ITER 683 NEW BEST:: SOT 581104 SOS 482103 HAS SOPS 202503 HAS SOUS 220643 HAS SOUPS 167869 WITH SCORE 168351.103
AT ITER 691 NEW BEST:: SOT 581140 SOS 482509 HAS SOPS 202461 HAS SOUS 220730 HAS SOUPS 167827 WITH SCORE 168309.509
AT ITER 692 NEW BEST:: SOT 581140 SOS 482494 HAS SOPS 202446 HAS SOUS 220689 HAS SOUPS 167812 WITH SCORE 168294.494
AT ITER 693 NEW BEST:: SOT 581140 SOS 482494 HAS SOPS 202413 HAS SOUS 220656 HAS SOUPS 167779 WITH SCORE 168261.494
AT ITER 695 NEW BEST:: SOT 581165 SOS 482557 HAS SOPS 202267 HAS SOUS 220516 HAS SOUPS 167633 WITH SCORE 168115.557
AT ITER 702 NEW BEST:: SOT 581187 SOS 482744 HAS SOPS 202256 HAS SOUS 220561 HAS SOUPS 167622 WITH SCORE 168104.744
AT ITER 705 NEW BEST:: SOT 581173 SOS 482722 HAS SOPS 202258 HAS SOUS 220525 HAS SOUPS 167594 WITH SCORE 168076.722
AT ITER 706 NEW BEST:: SOT 581173 SOS 483124 HAS SOPS 202170 HAS SOUS 220525 HAS SOUPS 167506 WITH SCORE 167989.124
AT ITER 711 NEW BEST:: SOT 581013 SOS 482964 HAS SOPS 201742 HAS SOUS 220396 HAS SOUPS 167078 WITH SCORE 167560.964
AT ITER 718 NEW BEST:: SOT 581294 SOS 483665 HAS SOPS 201431 HAS SOUS 220855 HAS SOUPS 166767 WITH SCORE 167250.665
AT ITER 723 NEW BEST:: SOT 581196 SOS 483567 HAS SOPS 201235 HAS SOUS 220757 HAS SOUPS 166571 WITH SCORE 167054.567
AT ITER 725 NEW BEST:: SOT 581315 SOS 483506 HAS SOPS 201409 HAS SOUS 220400 HAS SOUPS 166394 WITH SCORE 166877.506
AT ITER 731 NEW BEST:: SOT 581402 SOS 483593 HAS SOPS 201237 HAS SOUS 220334 HAS SOUPS 166222 WITH SCORE 166705.593
AT ITER 734 NEW BEST:: SOT 581377 SOS 483543 HAS SOPS 201212 HAS SOUS 220303 HAS SOUPS 166197 WITH SCORE 166680.543
AT ITER 744 NEW BEST:: SOT 581376 SOS 483472 HAS SOPS 201070 HAS SOUS 220162 HAS SOUPS 166055 WITH SCORE 166538.472
AT ITER 745 NEW BEST:: SOT 581584 SOS 483680 HAS SOPS 201071 HAS SOUS 220104 HAS SOUPS 165997 WITH SCORE 166480.68
AT ITER 757 NEW BEST:: SOT 581507 SOS 483603 HAS SOPS 200834 HAS SOUS 220257 HAS SOUPS 165760 WITH SCORE 166243.603
AT ITER 772 NEW BEST:: SOT 581440 SOS 483536 HAS SOPS 200834 HAS SOUS 220228 HAS SOUPS 165760 WITH SCORE 166243.536
AT ITER 787 NEW BEST:: SOT 581552 SOS 483648 HAS SOPS 200779 HAS SOUS 220395 HAS SOUPS 165705 WITH SCORE 166188.648
AT ITER 788 NEW BEST:: SOT 579798 SOS 481989 HAS SOPS 199732 HAS SOUS 218736 HAS SOUPS 164658 WITH SCORE 165139.989
AT ITER 789 NEW BEST:: SOT 579798 SOS 481940 HAS SOPS 199673 HAS SOUS 218730 HAS SOUPS 164599 WITH SCORE 165080.94
AT ITER 804 NEW BEST:: SOT 579779 SOS 481921 HAS SOPS 199609 HAS SOUS 218737 HAS SOUPS 164535 WITH SCORE 165016.921
AT ITER 821 NEW BEST:: SOT 579662 SOS 481804 HAS SOPS 199297 HAS SOUS 218544 HAS SOUPS 164223 WITH SCORE 164704.804
AT ITER 824 NEW BEST:: SOT 579582 SOS 481724 HAS SOPS 199268 HAS SOUS 218515 HAS SOUPS 164194 WITH SCORE 164675.724
AT ITER 828 NEW BEST:: SOT 579575 SOS 481717 HAS SOPS 199162 HAS SOUS 218454 HAS SOUPS 164088 WITH SCORE 164569.717
AT ITER 834 NEW BEST:: SOT 579542 SOS 481647 HAS SOPS 199140 HAS SOUS 218390 HAS SOUPS 164066 WITH SCORE 164547.647
AT ITER 837 NEW BEST:: SOT 579674 SOS 481779 HAS SOPS 199138 HAS SOUS 218478 HAS SOUPS 164064 WITH SCORE 164545.779
AT ITER 839 NEW BEST:: SOT 579679 SOS 481814 HAS SOPS 199063 HAS SOUS 218445 HAS SOUPS 163989 WITH SCORE 164470.814
AT ITER 843 NEW BEST:: SOT 579697 SOS 481652 HAS SOPS 199268 HAS SOUS 217982 HAS SOUPS 163706 WITH SCORE 164187.652
AT ITER 849 NEW BEST:: SOT 579697 SOS 481562 HAS SOPS 199268 HAS SOUS 217946 HAS SOUPS 163706 WITH SCORE 164187.562
AT ITER 860 NEW BEST:: SOT 579705 SOS 481570 HAS SOPS 199260 HAS SOUS 217938 HAS SOUPS 163698 WITH SCORE 164179.57
AT ITER 862 NEW BEST:: SOT 579484 SOS 481349 HAS SOPS 198818 HAS SOUS 217642 HAS SOUPS 163256 WITH SCORE 163737.349
AT ITER 887 NEW BEST:: SOT 579088 SOS 483165 HAS SOPS 198398 HAS SOUS 217610 HAS SOUPS 162836 WITH SCORE 163319.165
AT ITER 891 NEW BEST:: SOT 578995 SOS 483072 HAS SOPS 198129 HAS SOUS 217341 HAS SOUPS 162567 WITH SCORE 163050.072
AT ITER 917 NEW BEST:: SOT 578946 SOS 483023 HAS SOPS 198129 HAS SOUS 217292 HAS SOUPS 162567 WITH SCORE 163050.023
AT ITER 918 NEW BEST:: SOT 579014 SOS 483521 HAS SOPS 198007 HAS SOUS 217366 HAS SOUPS 162445 WITH SCORE 162928.521
AT ITER 920 NEW BEST:: SOT 578662 SOS 483169 HAS SOPS 197992 HAS SOUS 217351 HAS SOUPS 162430 WITH SCORE 162913.169
AT ITER 930 NEW BEST:: SOT 578616 SOS 483123 HAS SOPS 197853 HAS SOUS 217579 HAS SOUPS 162291 WITH SCORE 162774.123
AT ITER 931 NEW BEST:: SOT 578518 SOS 483025 HAS SOPS 197853 HAS SOUS 217481 HAS SOUPS 162291 WITH SCORE 162774.025
AT ITER 934 NEW BEST:: SOT 578481 SOS 482988 HAS SOPS 197853 HAS SOUS 217444 HAS SOUPS 162291 WITH SCORE 162773.988
AT ITER 935 NEW BEST:: SOT 578671 SOS 482969 HAS SOPS 198043 HAS SOUS 216874 HAS SOUPS 161930 WITH SCORE 162412.969
AT ITER 939 NEW BEST:: SOT 578949 SOS 480452 HAS SOPS 192342 HAS SOUS 213634 HAS SOUPS 158690 WITH SCORE 159170.452
AT ITER 948 NEW BEST:: SOT 578918 SOS 480421 HAS SOPS 192226 HAS SOUS 213657 HAS SOUPS 158574 WITH SCORE 159054.421
AT ITER 959 NEW BEST:: SOT 578835 SOS 480338 HAS SOPS 192200 HAS SOUS 213546 HAS SOUPS 158548 WITH SCORE 159028.338
AT ITER 963 NEW BEST:: SOT 579085 SOS 480558 HAS SOPS 192100 HAS SOUS 213740 HAS SOUPS 158448 WITH SCORE 158928.558
AT ITER 983 NEW BEST:: SOT 578913 SOS 480386 HAS SOPS 191825 HAS SOUS 213679 HAS SOUPS 158173 WITH SCORE 158653.386
AT ITER 992 NEW BEST:: SOT 578997 SOS 480470 HAS SOPS 191685 HAS SOUS 213574 HAS SOUPS 158033 WITH SCORE 158513.47
AT ITER 996 NEW BEST:: SOT 579094 SOS 480567 HAS SOPS 191663 HAS SOUS 213696 HAS SOUPS 158011 WITH SCORE 158491.567
AT ITER 1005 NEW BEST:: SOT 579094 SOS 480567 HAS SOPS 191567 HAS SOUS 213696 HAS SOUPS 157915 WITH SCORE 158395.567
AT ITER 1006 NEW BEST:: SOT 579217 SOS 480690 HAS SOPS 191511 HAS SOUS 213819 HAS SOUPS 157859 WITH SCORE 158339.69
AT ITER 1007 NEW BEST:: SOT 579207 SOS 480680 HAS SOPS 191501 HAS SOUS 213799 HAS SOUPS 157839 WITH SCORE 158319.68
AT ITER 1010 NEW BEST:: SOT 579207 SOS 480680 HAS SOPS 191336 HAS SOUS 213739 HAS SOUPS 157674 WITH SCORE 158154.68
AT ITER 1023 NEW BEST:: SOT 579207 SOS 480680 HAS SOPS 191038 HAS SOUS 213613 HAS SOUPS 157376 WITH SCORE 157856.68
AT ITER 1027 NEW BEST:: SOT 579139 SOS 480590 HAS SOPS 190912 HAS SOUS 213513 HAS SOUPS 157240 WITH SCORE 157720.59
AT ITER 1048 NEW BEST:: SOT 579096 SOS 480547 HAS SOPS 190869 HAS SOUS 213470 HAS SOUPS 157197 WITH SCORE 157677.547
AT ITER 1050 NEW BEST:: SOT 579107 SOS 480558 HAS SOPS 190831 HAS SOUS 213432 HAS SOUPS 157159 WITH SCORE 157639.558
AT ITER 1061 NEW BEST:: SOT 579374 SOS 481435 HAS SOPS 190580 HAS SOUS 213936 HAS SOUPS 156908 WITH SCORE 157389.435
AT ITER 1062 NEW BEST:: SOT 579374 SOS 481435 HAS SOPS 190572 HAS SOUS 213940 HAS SOUPS 156900 WITH SCORE 157381.435
AT ITER 1063 NEW BEST:: SOT 579374 SOS 481550 HAS SOPS 190526 HAS SOUS 213940 HAS SOUPS 156854 WITH SCORE 157335.55
AT ITER 1067 NEW BEST:: SOT 579540 SOS 481716 HAS SOPS 190525 HAS SOUS 214034 HAS SOUPS 156853 WITH SCORE 157334.716
AT ITER 1076 NEW BEST:: SOT 579319 SOS 481495 HAS SOPS 190083 HAS SOUS 213454 HAS SOUPS 156411 WITH SCORE 156892.495
AT ITER 1097 NEW BEST:: SOT 579379 SOS 481555 HAS SOPS 190076 HAS SOUS 213451 HAS SOUPS 156404 WITH SCORE 156885.555
AT ITER 1101 NEW BEST:: SOT 579175 SOS 481219 HAS SOPS 189883 HAS SOUS 212715 HAS SOUPS 155753 WITH SCORE 156234.219
AT ITER 1102 NEW BEST:: SOT 582294 SOS 472360 HAS SOPS 177483 HAS SOUS 211708 HAS SOUPS 154526 WITH SCORE 154998.36
AT ITER 1109 NEW BEST:: SOT 582237 SOS 472303 HAS SOPS 177228 HAS SOUS 211453 HAS SOUPS 154271 WITH SCORE 154743.303
AT ITER 1114 NEW BEST:: SOT 582147 SOS 472213 HAS SOPS 177228 HAS SOUS 211453 HAS SOUPS 154271 WITH SCORE 154743.213
AT ITER 1126 NEW BEST:: SOT 582224 SOS 462673 HAS SOPS 167688 HAS SOUS 211083 HAS SOUPS 153901 WITH SCORE 154363.673
AT ITER 1143 NEW BEST:: SOT 582232 SOS 462681 HAS SOPS 167654 HAS SOUS 211128 HAS SOUPS 153867 WITH SCORE 154329.681
AT ITER 1151 NEW BEST:: SOT 582267 SOS 462716 HAS SOPS 167538 HAS SOUS 211122 HAS SOUPS 153751 WITH SCORE 154213.716
AT ITER 1154 NEW BEST:: SOT 582235 SOS 462684 HAS SOPS 167474 HAS SOUS 211090 HAS SOUPS 153687 WITH SCORE 154149.684
AT ITER 1164 NEW BEST:: SOT 582235 SOS 462684 HAS SOPS 167440 HAS SOUS 211090 HAS SOUPS 153653 WITH SCORE 154115.684
AT ITER 1172 NEW BEST:: SOT 582195 SOS 462644 HAS SOPS 167388 HAS SOUS 211038 HAS SOUPS 153601 WITH SCORE 154063.644
AT ITER 1187 NEW BEST:: SOT 582187 SOS 462636 HAS SOPS 167380 HAS SOUS 211030 HAS SOUPS 153593 WITH SCORE 154055.636
AT ITER 1197 NEW BEST:: SOT 582160 SOS 462609 HAS SOPS 167326 HAS SOUS 211003 HAS SOUPS 153539 WITH SCORE 154001.609
AT ITER 1200 NEW BEST:: SOT 582199 SOS 462648 HAS SOPS 167132 HAS SOUS 210874 HAS SOUPS 153345 WITH SCORE 153807.648
AT ITER 1217 NEW BEST:: SOT 582345 SOS 463424 HAS SOPS 167087 HAS SOUS 211127 HAS SOUPS 153300 WITH SCORE 153763.424
AT ITER 1221 NEW BEST:: SOT 582205 SOS 463284 HAS SOPS 166741 HAS SOUS 211146 HAS SOUPS 152954 WITH SCORE 153417.284
AT ITER 1222 NEW BEST:: SOT 582066 SOS 463145 HAS SOPS 166463 HAS SOUS 210868 HAS SOUPS 152676 WITH SCORE 153139.145
AT ITER 1236 NEW BEST:: SOT 582060 SOS 463139 HAS SOPS 166463 HAS SOUS 210862 HAS SOUPS 152676 WITH SCORE 153139.139
AT ITER 1249 NEW BEST:: SOT 582056 SOS 463135 HAS SOPS 166458 HAS SOUS 210854 HAS SOUPS 152668 WITH SCORE 153131.135
AT ITER 1264 NEW BEST:: SOT 582064 SOS 463152 HAS SOPS 166450 HAS SOUS 210946 HAS SOUPS 152660 WITH SCORE 153123.152
AT ITER 1265 NEW BEST:: SOT 582068 SOS 463156 HAS SOPS 166355 HAS SOUS 210937 HAS SOUPS 152565 WITH SCORE 153028.156
AT ITER 1282 NEW BEST:: SOT 582078 SOS 463166 HAS SOPS 166348 HAS SOUS 210930 HAS SOUPS 152558 WITH SCORE 153021.166
AT ITER 1288 NEW BEST:: SOT 581730 SOS 462608 HAS SOPS 165661 HAS SOUS 210243 HAS SOUPS 151871 WITH SCORE 152333.608
AT ITER 1289 NEW BEST:: SOT 581745 SOS 462623 HAS SOPS 165553 HAS SOUS 210303 HAS SOUPS 151763 WITH SCORE 152225.623
AT ITER 1293 NEW BEST:: SOT 581753 SOS 462631 HAS SOPS 165507 HAS SOUS 210254 HAS SOUPS 151717 WITH SCORE 152179.631
AT ITER 1294 NEW BEST:: SOT 581753 SOS 462631 HAS SOPS 165404 HAS SOUS 210254 HAS SOUPS 151614 WITH SCORE 152076.631
AT ITER 1316 NEW BEST:: SOT 581621 SOS 462499 HAS SOPS 165140 HAS SOUS 210111 HAS SOUPS 151350 WITH SCORE 151812.499
AT ITER 1327 NEW BEST:: SOT 581624 SOS 462747 HAS SOPS 165045 HAS SOUS 210077 HAS SOUPS 151255 WITH SCORE 151717.747
AT ITER 1328 NEW BEST:: SOT 581644 SOS 463234 HAS SOPS 164960 HAS SOUS 210099 HAS SOUPS 151170 WITH SCORE 151633.234
AT ITER 1332 NEW BEST:: SOT 581646 SOS 463271 HAS SOPS 164919 HAS SOUS 210138 HAS SOUPS 151139 WITH SCORE 151602.271
AT ITER 1334 NEW BEST:: SOT 581622 SOS 463247 HAS SOPS 164895 HAS SOUS 210114 HAS SOUPS 151115 WITH SCORE 151578.247
AT ITER 1335 NEW BEST:: SOT 581709 SOS 463350 HAS SOPS 164762 HAS SOUS 210029 HAS SOUPS 150982 WITH SCORE 151445.35
AT ITER 1344 NEW BEST:: SOT 582090 SOS 465270 HAS SOPS 164409 HAS SOUS 210913 HAS SOUPS 150965 WITH SCORE 151430.27
AT ITER 1345 NEW BEST:: SOT 582024 SOS 465204 HAS SOPS 164385 HAS SOUS 210847 HAS SOUPS 150941 WITH SCORE 151406.204
AT ITER 1353 NEW BEST:: SOT 582020 SOS 465200 HAS SOPS 164343 HAS SOUS 210805 HAS SOUPS 150899 WITH SCORE 151364.2
AT ITER 1362 NEW BEST:: SOT 582020 SOS 465200 HAS SOPS 164226 HAS SOUS 210688 HAS SOUPS 150782 WITH SCORE 151247.2
AT ITER 1377 NEW BEST:: SOT 581887 SOS 465067 HAS SOPS 164221 HAS SOUS 210683 HAS SOUPS 150777 WITH SCORE 151242.067
AT ITER 1383 NEW BEST:: SOT 582022 SOS 465202 HAS SOPS 164080 HAS SOUS 210701 HAS SOUPS 150636 WITH SCORE 151101.202
AT ITER 1384 NEW BEST:: SOT 581995 SOS 465175 HAS SOPS 164026 HAS SOUS 210685 HAS SOUPS 150582 WITH SCORE 151047.175
AT ITER 1405 NEW BEST:: SOT 581995 SOS 465175 HAS SOPS 163987 HAS SOUS 210643 HAS SOUPS 150543 WITH SCORE 151008.175
AT ITER 1411 NEW BEST:: SOT 582035 SOS 465215 HAS SOPS 163985 HAS SOUS 210641 HAS SOUPS 150541 WITH SCORE 151006.215
AT ITER 1418 NEW BEST:: SOT 581999 SOS 464926 HAS SOPS 164094 HAS SOUS 210424 HAS SOUPS 150469 WITH SCORE 150933.926
AT ITER 1423 NEW BEST:: SOT 581871 SOS 464798 HAS SOPS 163994 HAS SOUS 210324 HAS SOUPS 150369 WITH SCORE 150833.798
AT ITER 1427 NEW BEST:: SOT 581553 SOS 464480 HAS SOPS 163976 HAS SOUS 210007 HAS SOUPS 150351 WITH SCORE 150815.48
AT ITER 1428 NEW BEST:: SOT 581822 SOS 464749 HAS SOPS 163921 HAS SOUS 210268 HAS SOUPS 150296 WITH SCORE 150760.749
AT ITER 1430 NEW BEST:: SOT 581790 SOS 464717 HAS SOPS 163886 HAS SOUS 210233 HAS SOUPS 150261 WITH SCORE 150725.717
AT ITER 1439 NEW BEST:: SOT 581390 SOS 464317 HAS SOPS 163468 HAS SOUS 209833 HAS SOUPS 149843 WITH SCORE 150307.317
AT ITER 1441 NEW BEST:: SOT 581490 SOS 464417 HAS SOPS 163387 HAS SOUS 209848 HAS SOUPS 149762 WITH SCORE 150226.417
AT ITER 1442 NEW BEST:: SOT 581470 SOS 464397 HAS SOPS 163327 HAS SOUS 209788 HAS SOUPS 149702 WITH SCORE 150166.397
AT ITER 1454 NEW BEST:: SOT 581286 SOS 464858 HAS SOPS 163143 HAS SOUS 209595 HAS SOUPS 149518 WITH SCORE 149982.858
AT ITER 1467 NEW BEST:: SOT 581159 SOS 463887 HAS SOPS 163198 HAS SOUS 209290 HAS SOUPS 149447 WITH SCORE 149910.887
AT ITER 1479 NEW BEST:: SOT 581238 SOS 464276 HAS SOPS 163133 HAS SOUS 209422 HAS SOUPS 149382 WITH SCORE 149846.276
AT ITER 1482 NEW BEST:: SOT 581147 SOS 464185 HAS SOPS 163083 HAS SOUS 209338 HAS SOUPS 149332 WITH SCORE 149796.185
AT ITER 1493 NEW BEST:: SOT 581209 SOS 464767 HAS SOPS 163018 HAS SOUS 209462 HAS SOUPS 149267 WITH SCORE 149731.767
AT ITER 1501 NEW BEST:: SOT 581303 SOS 464815 HAS SOPS 162629 HAS SOUS 209073 HAS SOUPS 148878 WITH SCORE 149342.815
AT ITER 1503 NEW BEST:: SOT 581467 SOS 465299 HAS SOPS 162560 HAS SOUS 209383 HAS SOUPS 148809 WITH SCORE 149274.299
AT ITER 1508 NEW BEST:: SOT 581394 SOS 465226 HAS SOPS 162388 HAS SOUS 209112 HAS SOUPS 148637 WITH SCORE 149102.226
AT ITER 1513 NEW BEST:: SOT 581380 SOS 465212 HAS SOPS 162360 HAS SOUS 209152 HAS SOUPS 148609 WITH SCORE 149074.212
AT ITER 1516 NEW BEST:: SOT 581379 SOS 465211 HAS SOPS 162358 HAS SOUS 209150 HAS SOUPS 148607 WITH SCORE 149072.211
AT ITER 1525 NEW BEST:: SOT 581308 SOS 465140 HAS SOPS 162310 HAS SOUS 209079 HAS SOUPS 148559 WITH SCORE 149024.14
AT ITER 1527 NEW BEST:: SOT 581404 SOS 465236 HAS SOPS 162309 HAS SOUS 209078 HAS SOUPS 148558 WITH SCORE 149023.236
AT ITER 1540 NEW BEST:: SOT 581360 SOS 465192 HAS SOPS 162306 HAS SOUS 209075 HAS SOUPS 148555 WITH SCORE 149020.192
AT ITER 1542 NEW BEST:: SOT 581328 SOS 465160 HAS SOPS 162306 HAS SOUS 209043 HAS SOUPS 148555 WITH SCORE 149020.16
AT ITER 1572 NEW BEST:: SOT 581328 SOS 465144 HAS SOPS 162243 HAS SOUS 209021 HAS SOUPS 148492 WITH SCORE 148957.144
AT ITER 1586 NEW BEST:: SOT 581303 SOS 465119 HAS SOPS 162193 HAS SOUS 208971 HAS SOUPS 148442 WITH SCORE 148907.119
AT ITER 1587 NEW BEST:: SOT 581369 SOS 465185 HAS SOPS 161973 HAS SOUS 209023 HAS SOUPS 148222 WITH SCORE 148687.185
AT ITER 1590 NEW BEST:: SOT 581317 SOS 465133 HAS SOPS 161911 HAS SOUS 209013 HAS SOUPS 148160 WITH SCORE 148625.133
AT ITER 1596 NEW BEST:: SOT 581396 SOS 465258 HAS SOPS 161837 HAS SOUS 208955 HAS SOUPS 148086 WITH SCORE 148551.258
AT ITER 1601 NEW BEST:: SOT 581439 SOS 465301 HAS SOPS 161794 HAS SOUS 208998 HAS SOUPS 148043 WITH SCORE 148508.301
AT ITER 1614 NEW BEST:: SOT 581398 SOS 465260 HAS SOPS 161712 HAS SOUS 208916 HAS SOUPS 147961 WITH SCORE 148426.26
AT ITER 1627 NEW BEST:: SOT 581455 SOS 465317 HAS SOPS 161690 HAS SOUS 208894 HAS SOUPS 147939 WITH SCORE 148404.317
AT ITER 1631 NEW BEST:: SOT 581444 SOS 465306 HAS SOPS 161668 HAS SOUS 208889 HAS SOUPS 147917 WITH SCORE 148382.306
AT ITER 1644 NEW BEST:: SOT 581306 SOS 465168 HAS SOPS 161392 HAS SOUS 208613 HAS SOUPS 147641 WITH SCORE 148106.168
AT ITER 1661 NEW BEST:: SOT 581188 SOS 465050 HAS SOPS 161064 HAS SOUS 208362 HAS SOUPS 147313 WITH SCORE 147778.05
AT ITER 1662 NEW BEST:: SOT 580955 SOS 464359 HAS SOPS 160831 HAS SOUS 207637 HAS SOUPS 146791 WITH SCORE 147255.359
AT ITER 1665 NEW BEST:: SOT 580676 SOS 464003 HAS SOPS 160424 HAS SOUS 207230 HAS SOUPS 146384 WITH SCORE 146848.003
AT ITER 1667 NEW BEST:: SOT 580611 SOS 463938 HAS SOPS 160424 HAS SOUS 207165 HAS SOUPS 146384 WITH SCORE 146847.938
AT ITER 1674 NEW BEST:: SOT 580517 SOS 463844 HAS SOPS 160386 HAS SOUS 207127 HAS SOUPS 146346 WITH SCORE 146809.844
AT ITER 1691 NEW BEST:: SOT 580571 SOS 464620 HAS SOPS 159621 HAS SOUS 206968 HAS SOUPS 145938 WITH SCORE 146402.62
AT ITER 1692 NEW BEST:: SOT 580459 SOS 464508 HAS SOPS 159565 HAS SOUS 206817 HAS SOUPS 145882 WITH SCORE 146346.508
AT ITER 1700 NEW BEST:: SOT 580486 SOS 465105 HAS SOPS 159334 HAS SOUS 206715 HAS SOUPS 145651 WITH SCORE 146116.105
AT ITER 1705 NEW BEST:: SOT 580561 SOS 465180 HAS SOPS 159258 HAS SOUS 206639 HAS SOUPS 145575 WITH SCORE 146040.18
AT ITER 1716 NEW BEST:: SOT 580527 SOS 465146 HAS SOPS 159190 HAS SOUS 206578 HAS SOUPS 145507 WITH SCORE 145972.146
AT ITER 1724 NEW BEST:: SOT 580520 SOS 465139 HAS SOPS 159190 HAS SOUS 206578 HAS SOUPS 145507 WITH SCORE 145972.139
AT ITER 1744 NEW BEST:: SOT 580618 SOS 465237 HAS SOPS 159108 HAS SOUS 206568 HAS SOUPS 145425 WITH SCORE 145890.237
AT ITER 1748 NEW BEST:: SOT 580649 SOS 465268 HAS SOPS 159092 HAS SOUS 206599 HAS SOUPS 145409 WITH SCORE 145874.268
AT ITER 1760 NEW BEST:: SOT 580649 SOS 465268 HAS SOPS 159066 HAS SOUS 206573 HAS SOUPS 145383 WITH SCORE 145848.268
AT ITER 1762 NEW BEST:: SOT 580601 SOS 465220 HAS SOPS 159018 HAS SOUS 206549 HAS SOUPS 145359 WITH SCORE 145824.22
AT ITER 1768 NEW BEST:: SOT 580578 SOS 465341 HAS SOPS 158995 HAS SOUS 206608 HAS SOUPS 145341 WITH SCORE 145806.341
AT ITER 1787 NEW BEST:: SOT 580578 SOS 465341 HAS SOPS 158945 HAS SOUS 206583 HAS SOUPS 145291 WITH SCORE 145756.341
AT ITER 1797 NEW BEST:: SOT 580500 SOS 465263 HAS SOPS 158789 HAS SOUS 206718 HAS SOUPS 145135 WITH SCORE 145600.263
AT ITER 1801 NEW BEST:: SOT 580430 SOS 465193 HAS SOPS 158649 HAS SOUS 206578 HAS SOUPS 144995 WITH SCORE 145460.193
AT ITER 1809 NEW BEST:: SOT 580425 SOS 465188 HAS SOPS 158648 HAS SOUS 206568 HAS SOUPS 144985 WITH SCORE 145450.188
AT ITER 1816 NEW BEST:: SOT 580418 SOS 465181 HAS SOPS 158585 HAS SOUS 206505 HAS SOUPS 144922 WITH SCORE 145387.181
AT ITER 1823 NEW BEST:: SOT 580415 SOS 465178 HAS SOPS 158582 HAS SOUS 206502 HAS SOUPS 144919 WITH SCORE 145384.178
AT ITER 1824 NEW BEST:: SOT 580395 SOS 465158 HAS SOPS 158542 HAS SOUS 206482 HAS SOUPS 144879 WITH SCORE 145344.158
AT ITER 1830 NEW BEST:: SOT 580395 SOS 465158 HAS SOPS 158469 HAS SOUS 206371 HAS SOUPS 144806 WITH SCORE 145271.158
AT ITER 1835 NEW BEST:: SOT 580378 SOS 464533 HAS SOPS 158469 HAS SOUS 206337 HAS SOUPS 144806 WITH SCORE 145270.533
AT ITER 1837 NEW BEST:: SOT 580501 SOS 464518 HAS SOPS 158388 HAS SOUS 206203 HAS SOUPS 144724 WITH SCORE 145188.518
AT ITER 1845 NEW BEST:: SOT 580447 SOS 464464 HAS SOPS 158280 HAS SOUS 206110 HAS SOUPS 144616 WITH SCORE 145080.464
AT ITER 1846 NEW BEST:: SOT 580335 SOS 464352 HAS SOPS 158053 HAS SOUS 205998 HAS SOUPS 144389 WITH SCORE 144853.352
AT ITER 1848 NEW BEST:: SOT 580312 SOS 464329 HAS SOPS 157903 HAS SOUS 205848 HAS SOUPS 144239 WITH SCORE 144703.329
AT ITER 1857 NEW BEST:: SOT 580311 SOS 464328 HAS SOPS 157892 HAS SOUS 205846 HAS SOUPS 144228 WITH SCORE 144692.328
AT ITER 1859 NEW BEST:: SOT 580327 SOS 464344 HAS SOPS 157841 HAS SOUS 205795 HAS SOUPS 144177 WITH SCORE 144641.344
AT ITER 1864 NEW BEST:: SOT 580275 SOS 464292 HAS SOPS 157737 HAS SOUS 205743 HAS SOUPS 144073 WITH SCORE 144537.292
AT ITER 1871 NEW BEST:: SOT 580275 SOS 464292 HAS SOPS 157732 HAS SOUS 205743 HAS SOUPS 144068 WITH SCORE 144532.292
AT ITER 1883 NEW BEST:: SOT 580331 SOS 464348 HAS SOPS 157704 HAS SOUS 205891 HAS SOUPS 144040 WITH SCORE 144504.348
AT ITER 1895 NEW BEST:: SOT 580330 SOS 464347 HAS SOPS 157344 HAS SOUS 205817 HAS SOUPS 143680 WITH SCORE 144144.347
AT ITER 1924 NEW BEST:: SOT 580111 SOS 464128 HAS SOPS 157252 HAS SOUS 205725 HAS SOUPS 143588 WITH SCORE 144052.128
AT ITER 1936 NEW BEST:: SOT 580103 SOS 464111 HAS SOPS 157244 HAS SOUS 205717 HAS SOUPS 143580 WITH SCORE 144044.111
AT ITER 1942 NEW BEST:: SOT 580176 SOS 464184 HAS SOPS 157160 HAS SOUS 205790 HAS SOUPS 143496 WITH SCORE 143960.184
AT ITER 1950 NEW BEST:: SOT 580024 SOS 464032 HAS SOPS 157097 HAS SOUS 205658 HAS SOUPS 143433 WITH SCORE 143897.032
AT ITER 1957 NEW BEST:: SOT 580062 SOS 464128 HAS SOPS 157052 HAS SOUS 205613 HAS SOUPS 143388 WITH SCORE 143852.128
AT ITER 1958 NEW BEST:: SOT 580062 SOS 460260 HAS SOPS 153130 HAS SOUS 205453 HAS SOUPS 143122 WITH SCORE 143582.26
AT ITER 1966 NEW BEST:: SOT 580118 SOS 460621 HAS SOPS 153040 HAS SOUS 205457 HAS SOUPS 143032 WITH SCORE 143492.621
AT ITER 1970 NEW BEST:: SOT 579206 SOS 459964 HAS SOPS 152111 HAS SOUS 204564 HAS SOUPS 142103 WITH SCORE 142562.964
AT ITER 2006 NEW BEST:: SOT 579271 SOS 460029 HAS SOPS 152063 HAS SOUS 204629 HAS SOUPS 142055 WITH SCORE 142515.029
AT ITER 2020 NEW BEST:: SOT 579247 SOS 459948 HAS SOPS 152091 HAS SOUS 204600 HAS SOUPS 142045 WITH SCORE 142504.948
AT ITER 2034 NEW BEST:: SOT 579378 SOS 460079 HAS SOPS 151991 HAS SOUS 204645 HAS SOUPS 141945 WITH SCORE 142405.079
AT ITER 2045 NEW BEST:: SOT 579378 SOS 460169 HAS SOPS 151955 HAS SOUS 204627 HAS SOUPS 141909 WITH SCORE 142369.169
AT ITER 2053 NEW BEST:: SOT 579378 SOS 460169 HAS SOPS 151922 HAS SOUS 204594 HAS SOUPS 141876 WITH SCORE 142336.169
AT ITER 2064 NEW BEST:: SOT 579402 SOS 460193 HAS SOPS 151864 HAS SOUS 204430 HAS SOUPS 141818 WITH SCORE 142278.193
AT ITER 2074 NEW BEST:: SOT 579354 SOS 460145 HAS SOPS 151864 HAS SOUS 204430 HAS SOUPS 141818 WITH SCORE 142278.145
AT ITER 2085 NEW BEST:: SOT 579354 SOS 460145 HAS SOPS 151815 HAS SOUS 204381 HAS SOUPS 141769 WITH SCORE 142229.145
AT ITER 2086 NEW BEST:: SOT 579303 SOS 460094 HAS SOPS 151815 HAS SOUS 204381 HAS SOUPS 141769 WITH SCORE 142229.094
AT ITER 2096 NEW BEST:: SOT 579456 SOS 460272 HAS SOPS 151383 HAS SOUS 204559 HAS SOUPS 141337 WITH SCORE 141797.272
AT ITER 2097 NEW BEST:: SOT 579456 SOS 460262 HAS SOPS 151383 HAS SOUS 204557 HAS SOUPS 141337 WITH SCORE 141797.262
AT ITER 2105 NEW BEST:: SOT 579456 SOS 460347 HAS SOPS 151362 HAS SOUS 204553 HAS SOUPS 141316 WITH SCORE 141776.347
AT ITER 2120 NEW BEST:: SOT 579456 SOS 460347 HAS SOPS 151342 HAS SOUS 204533 HAS SOUPS 141296 WITH SCORE 141756.347
AT ITER 2131 NEW BEST:: SOT 579448 SOS 460339 HAS SOPS 151318 HAS SOUS 204502 HAS SOUPS 141272 WITH SCORE 141732.339
AT ITER 2139 NEW BEST:: SOT 579430 SOS 459900 HAS SOPS 151318 HAS SOUS 204466 HAS SOUPS 141272 WITH SCORE 141731.9
AT ITER 2144 NEW BEST:: SOT 579453 SOS 460248 HAS SOPS 151276 HAS SOUS 204499 HAS SOUPS 141230 WITH SCORE 141690.248
AT ITER 2145 NEW BEST:: SOT 579509 SOS 460579 HAS SOPS 151245 HAS SOUS 204552 HAS SOUPS 141199 WITH SCORE 141659.579
AT ITER 2153 NEW BEST:: SOT 579534 SOS 460839 HAS SOPS 151223 HAS SOUS 204579 HAS SOUPS 141177 WITH SCORE 141637.839
AT ITER 2157 NEW BEST:: SOT 579534 SOS 460839 HAS SOPS 151072 HAS SOUS 204559 HAS SOUPS 141026 WITH SCORE 141486.839
AT ITER 2169 NEW BEST:: SOT 579534 SOS 460839 HAS SOPS 151051 HAS SOUS 204559 HAS SOUPS 141005 WITH SCORE 141465.839
AT ITER 2178 NEW BEST:: SOT 579107 SOS 460412 HAS SOPS 150643 HAS SOUS 204151 HAS SOUPS 140597 WITH SCORE 141057.412
AT ITER 2179 NEW BEST:: SOT 579079 SOS 460384 HAS SOPS 150528 HAS SOUS 204123 HAS SOUPS 140482 WITH SCORE 140942.384
AT ITER 2194 NEW BEST:: SOT 579079 SOS 460244 HAS SOPS 150528 HAS SOUS 204055 HAS SOUPS 140482 WITH SCORE 140942.244
AT ITER 2195 NEW BEST:: SOT 579079 SOS 460084 HAS SOPS 150528 HAS SOUS 203950 HAS SOUPS 140460 WITH SCORE 140920.084
AT ITER 2205 NEW BEST:: SOT 579114 SOS 460119 HAS SOPS 150380 HAS SOUS 203770 HAS SOUPS 140312 WITH SCORE 140772.119
AT ITER 2216 NEW BEST:: SOT 579155 SOS 460160 HAS SOPS 150124 HAS SOUS 203514 HAS SOUPS 140056 WITH SCORE 140516.16
AT ITER 2224 NEW BEST:: SOT 579155 SOS 460160 HAS SOPS 150076 HAS SOUS 203514 HAS SOUPS 140008 WITH SCORE 140468.16
AT ITER 2225 NEW BEST:: SOT 579205 SOS 458983 HAS SOPS 148253 HAS SOUS 203126 HAS SOUPS 139568 WITH SCORE 140026.983
AT ITER 2226 NEW BEST:: SOT 579076 SOS 458854 HAS SOPS 147868 HAS SOUS 202861 HAS SOUPS 139183 WITH SCORE 139641.854
AT ITER 2238 NEW BEST:: SOT 579536 SOS 459314 HAS SOPS 147803 HAS SOUS 203321 HAS SOUPS 139118 WITH SCORE 139577.314
AT ITER 2267 NEW BEST:: SOT 579544 SOS 459322 HAS SOPS 147764 HAS SOUS 203282 HAS SOUPS 139079 WITH SCORE 139538.322
AT ITER 2273 NEW BEST:: SOT 579517 SOS 459295 HAS SOPS 147740 HAS SOUS 203255 HAS SOUPS 139055 WITH SCORE 139514.295
AT ITER 2282 NEW BEST:: SOT 579557 SOS 459324 HAS SOPS 147678 HAS SOUS 203184 HAS SOUPS 138953 WITH SCORE 139412.324
AT ITER 2291 NEW BEST:: SOT 579515 SOS 459282 HAS SOPS 147678 HAS SOUS 203142 HAS SOUPS 138953 WITH SCORE 139412.282
AT ITER 2305 NEW BEST:: SOT 579568 SOS 459335 HAS SOPS 147606 HAS SOUS 203050 HAS SOUPS 138881 WITH SCORE 139340.335
AT ITER 2320 NEW BEST:: SOT 579684 SOS 459451 HAS SOPS 147494 HAS SOUS 202938 HAS SOUPS 138769 WITH SCORE 139228.451
AT ITER 2324 NEW BEST:: SOT 579683 SOS 459450 HAS SOPS 147492 HAS SOUS 202936 HAS SOUPS 138767 WITH SCORE 139226.45
AT ITER 2338 NEW BEST:: SOT 579617 SOS 459384 HAS SOPS 147393 HAS SOUS 202804 HAS SOUPS 138635 WITH SCORE 139094.384
AT ITER 2359 NEW BEST:: SOT 579519 SOS 459401 HAS SOPS 147295 HAS SOUS 202618 HAS SOUPS 138537 WITH SCORE 138996.401
AT ITER 2363 NEW BEST:: SOT 579491 SOS 459373 HAS SOPS 147239 HAS SOUS 202581 HAS SOUPS 138481 WITH SCORE 138940.373
AT ITER 2368 NEW BEST:: SOT 579329 SOS 459211 HAS SOPS 147077 HAS SOUS 202515 HAS SOUPS 138319 WITH SCORE 138778.211
AT ITER 2382 NEW BEST:: SOT 579329 SOS 458811 HAS SOPS 147077 HAS SOUS 202515 HAS SOUPS 138319 WITH SCORE 138777.811
AT ITER 2388 NEW BEST:: SOT 579218 SOS 458442 HAS SOPS 147167 HAS SOUS 202401 HAS SOUPS 138283 WITH SCORE 138741.442
AT ITER 2414 NEW BEST:: SOT 579041 SOS 458265 HAS SOPS 147167 HAS SOUS 202224 HAS SOUPS 138283 WITH SCORE 138741.265
AT ITER 2425 NEW BEST:: SOT 579077 SOS 458301 HAS SOPS 147091 HAS SOUS 202256 HAS SOUPS 138207 WITH SCORE 138665.301
AT ITER 2448 NEW BEST:: SOT 579087 SOS 458311 HAS SOPS 147071 HAS SOUS 202236 HAS SOUPS 138187 WITH SCORE 138645.311
AT ITER 2461 NEW BEST:: SOT 579080 SOS 458304 HAS SOPS 146954 HAS SOUS 202150 HAS SOUPS 138070 WITH SCORE 138528.304
AT ITER 2465 NEW BEST:: SOT 579115 SOS 458339 HAS SOPS 146890 HAS SOUS 202038 HAS SOUPS 138006 WITH SCORE 138464.339
AT ITER 2480 NEW BEST:: SOT 579140 SOS 458364 HAS SOPS 146886 HAS SOUS 202323 HAS SOUPS 138002 WITH SCORE 138460.364
AT ITER 2496 NEW BEST:: SOT 579140 SOS 458269 HAS SOPS 146886 HAS SOUS 202285 HAS SOUPS 138002 WITH SCORE 138460.269
AT ITER 2504 NEW BEST:: SOT 579140 SOS 458269 HAS SOPS 146745 HAS SOUS 202213 HAS SOUPS 137861 WITH SCORE 138319.269
AT ITER 2513 NEW BEST:: SOT 579140 SOS 458699 HAS SOPS 146617 HAS SOUS 202171 HAS SOUPS 137733 WITH SCORE 138191.699
AT ITER 2524 NEW BEST:: SOT 579173 SOS 458732 HAS SOPS 146554 HAS SOUS 202063 HAS SOUPS 137670 WITH SCORE 138128.732
AT ITER 2527 NEW BEST:: SOT 579233 SOS 458952 HAS SOPS 146550 HAS SOUS 202091 HAS SOUPS 137666 WITH SCORE 138124.952
AT ITER 2549 NEW BEST:: SOT 579233 SOS 459092 HAS SOPS 146480 HAS SOUS 202091 HAS SOUPS 137631 WITH SCORE 138090.092
AT ITER 2553 NEW BEST:: SOT 579222 SOS 459048 HAS SOPS 146490 HAS SOUS 202080 HAS SOUPS 137631 WITH SCORE 138090.048
AT ITER 2579 NEW BEST:: SOT 579669 SOS 459495 HAS SOPS 146430 HAS SOUS 202638 HAS SOUPS 137571 WITH SCORE 138030.495
AT ITER 2582 NEW BEST:: SOT 579565 SOS 459006 HAS SOPS 146421 HAS SOUS 202371 HAS SOUPS 137415 WITH SCORE 137874.006
AT ITER 2590 NEW BEST:: SOT 579553 SOS 458994 HAS SOPS 146366 HAS SOUS 202366 HAS SOUPS 137360 WITH SCORE 137818.994
AT ITER 2596 NEW BEST:: SOT 579553 SOS 458994 HAS SOPS 146008 HAS SOUS 202654 HAS SOUPS 137002 WITH SCORE 137460.994
AT ITER 2612 NEW BEST:: SOT 579500 SOS 458846 HAS SOPS 146006 HAS SOUS 202591 HAS SOUPS 136965 WITH SCORE 137423.846
AT ITER 2614 NEW BEST:: SOT 579521 SOS 458867 HAS SOPS 146000 HAS SOUS 202585 HAS SOUPS 136959 WITH SCORE 137417.867
AT ITER 2626 NEW BEST:: SOT 579545 SOS 458891 HAS SOPS 145908 HAS SOUS 202811 HAS SOUPS 136867 WITH SCORE 137325.891
AT ITER 2628 NEW BEST:: SOT 579498 SOS 458844 HAS SOPS 145849 HAS SOUS 202752 HAS SOUPS 136808 WITH SCORE 137266.844
AT ITER 2629 NEW BEST:: SOT 579454 SOS 458800 HAS SOPS 145761 HAS SOUS 202736 HAS SOUPS 136720 WITH SCORE 137178.8
AT ITER 2632 NEW BEST:: SOT 579447 SOS 458804 HAS SOPS 145712 HAS SOUS 202752 HAS SOUPS 136671 WITH SCORE 137129.804
AT ITER 2633 NEW BEST:: SOT 579393 SOS 458750 HAS SOPS 145604 HAS SOUS 202644 HAS SOUPS 136563 WITH SCORE 137021.75
AT ITER 2647 NEW BEST:: SOT 579393 SOS 458750 HAS SOPS 145583 HAS SOUS 202618 HAS SOUPS 136542 WITH SCORE 137000.75
AT ITER 2663 NEW BEST:: SOT 579329 SOS 458686 HAS SOPS 145519 HAS SOUS 202554 HAS SOUPS 136478 WITH SCORE 136936.686
AT ITER 2664 NEW BEST:: SOT 579291 SOS 458648 HAS SOPS 145443 HAS SOUS 202516 HAS SOUPS 136402 WITH SCORE 136860.648
AT ITER 2671 NEW BEST:: SOT 579291 SOS 458753 HAS SOPS 145418 HAS SOUS 202512 HAS SOUPS 136377 WITH SCORE 136835.753
AT ITER 2688 NEW BEST:: SOT 579191 SOS 458653 HAS SOPS 145218 HAS SOUS 202384 HAS SOUPS 136177 WITH SCORE 136635.653
AT ITER 2692 NEW BEST:: SOT 579346 SOS 458808 HAS SOPS 145128 HAS SOUS 202377 HAS SOUPS 136087 WITH SCORE 136545.808
AT ITER 2706 NEW BEST:: SOT 579299 SOS 458761 HAS SOPS 145128 HAS SOUS 202330 HAS SOUPS 136087 WITH SCORE 136545.761
AT ITER 2738 NEW BEST:: SOT 579549 SOS 459011 HAS SOPS 145095 HAS SOUS 202833 HAS SOUPS 136054 WITH SCORE 136513.011
AT ITER 2744 NEW BEST:: SOT 579449 SOS 458865 HAS SOPS 144817 HAS SOUS 202555 HAS SOUPS 135776 WITH SCORE 136234.865
AT ITER 2760 NEW BEST:: SOT 579449 SOS 458855 HAS SOPS 144817 HAS SOUS 202554 HAS SOUPS 135776 WITH SCORE 136234.855
AT ITER 2794 NEW BEST:: SOT 579469 SOS 458875 HAS SOPS 144751 HAS SOUS 202659 HAS SOUPS 135710 WITH SCORE 136168.875
AT ITER 2798 NEW BEST:: SOT 579468 SOS 458874 HAS SOPS 144750 HAS SOUS 202658 HAS SOUPS 135709 WITH SCORE 136167.874
AT ITER 2801 NEW BEST:: SOT 579396 SOS 458802 HAS SOPS 144606 HAS SOUS 202586 HAS SOUPS 135565 WITH SCORE 136023.802
AT ITER 2812 NEW BEST:: SOT 579390 SOS 458796 HAS SOPS 144600 HAS SOUS 202580 HAS SOUPS 135559 WITH SCORE 136017.796
AT ITER 2827 NEW BEST:: SOT 579356 SOS 458762 HAS SOPS 144464 HAS SOUS 202444 HAS SOUPS 135423 WITH SCORE 135881.762
AT ITER 2830 NEW BEST:: SOT 579241 SOS 458647 HAS SOPS 144339 HAS SOUS 202319 HAS SOUPS 135298 WITH SCORE 135756.647
AT ITER 2840 NEW BEST:: SOT 579241 SOS 458647 HAS SOPS 144329 HAS SOUS 202309 HAS SOUPS 135288 WITH SCORE 135746.647
AT ITER 2863 NEW BEST:: SOT 579266 SOS 458672 HAS SOPS 144285 HAS SOUS 202265 HAS SOUPS 135244 WITH SCORE 135702.672
AT ITER 2865 NEW BEST:: SOT 579240 SOS 458688 HAS SOPS 144269 HAS SOUS 202249 HAS SOUPS 135228 WITH SCORE 135686.688
AT ITER 2897 NEW BEST:: SOT 579201 SOS 458649 HAS SOPS 144241 HAS SOUS 202215 HAS SOUPS 135200 WITH SCORE 135658.649
AT ITER 2899 NEW BEST:: SOT 579085 SOS 458533 HAS SOPS 144009 HAS SOUS 201983 HAS SOUPS 134968 WITH SCORE 135426.533
AT ITER 2901 NEW BEST:: SOT 579059 SOS 458507 HAS SOPS 143957 HAS SOUS 202017 HAS SOUPS 134916 WITH SCORE 135374.507
AT ITER 2915 NEW BEST:: SOT 578957 SOS 458405 HAS SOPS 143855 HAS SOUS 201965 HAS SOUPS 134814 WITH SCORE 135272.405
AT ITER 2934 NEW BEST:: SOT 578957 SOS 458303 HAS SOPS 143889 HAS SOUS 201931 HAS SOUPS 134814 WITH SCORE 135272.303
AT ITER 2936 NEW BEST:: SOT 578941 SOS 458287 HAS SOPS 143887 HAS SOUS 201929 HAS SOUPS 134812 WITH SCORE 135270.287
AT ITER 2961 NEW BEST:: SOT 578844 SOS 455651 HAS SOPS 141317 HAS SOUS 201750 HAS SOUPS 134638 WITH SCORE 135093.651
AT ITER 2980 NEW BEST:: SOT 578820 SOS 455594 HAS SOPS 141293 HAS SOUS 201678 HAS SOUPS 134590 WITH SCORE 135045.594
AT ITER 2981 NEW BEST:: SOT 578852 SOS 455626 HAS SOPS 141101 HAS SOUS 201486 HAS SOUPS 134398 WITH SCORE 134853.626
AT ITER 3001 NEW BEST:: SOT 578893 SOS 455667 HAS SOPS 141053 HAS SOUS 201438 HAS SOUPS 134350 WITH SCORE 134805.667
AT ITER 3011 NEW BEST:: SOT 578965 SOS 456082 HAS SOPS 140867 HAS SOUS 201816 HAS SOUPS 134164 WITH SCORE 134620.082
AT ITER 3012 NEW BEST:: SOT 578939 SOS 456056 HAS SOPS 140815 HAS SOUS 201764 HAS SOUPS 134112 WITH SCORE 134568.056
AT ITER 3014 NEW BEST:: SOT 578967 SOS 456084 HAS SOPS 140723 HAS SOUS 201677 HAS SOUPS 134020 WITH SCORE 134476.084
AT ITER 3021 NEW BEST:: SOT 578957 SOS 456074 HAS SOPS 140703 HAS SOUS 201648 HAS SOUPS 134000 WITH SCORE 134456.074
AT ITER 3025 NEW BEST:: SOT 578995 SOS 456142 HAS SOPS 140571 HAS SOUS 201623 HAS SOUPS 133868 WITH SCORE 134324.142
AT ITER 3039 NEW BEST:: SOT 578908 SOS 456055 HAS SOPS 140509 HAS SOUS 201536 HAS SOUPS 133806 WITH SCORE 134262.055
AT ITER 3094 NEW BEST:: SOT 578908 SOS 456055 HAS SOPS 140501 HAS SOUS 201536 HAS SOUPS 133798 WITH SCORE 134254.055
AT ITER 3109 NEW BEST:: SOT 578724 SOS 455870 HAS SOPS 140422 HAS SOUS 201457 HAS SOUPS 133719 WITH SCORE 134174.87
AT ITER 3122 NEW BEST:: SOT 578724 SOS 455870 HAS SOPS 140312 HAS SOUS 201402 HAS SOUPS 133609 WITH SCORE 134064.87
AT ITER 3127 NEW BEST:: SOT 578661 SOS 455807 HAS SOPS 140215 HAS SOUS 201339 HAS SOUPS 133512 WITH SCORE 133967.807
AT ITER 3134 NEW BEST:: SOT 578709 SOS 456080 HAS SOPS 140190 HAS SOUS 201359 HAS SOUPS 133487 WITH SCORE 133943.08
AT ITER 3158 NEW BEST:: SOT 578695 SOS 456736 HAS SOPS 140176 HAS SOUS 201776 HAS SOUPS 133473 WITH SCORE 133929.736
AT ITER 3166 NEW BEST:: SOT 578680 SOS 456721 HAS SOPS 140146 HAS SOUS 201776 HAS SOUPS 133443 WITH SCORE 133899.721
AT ITER 3171 NEW BEST:: SOT 578723 SOS 456236 HAS SOPS 140295 HAS SOUS 201573 HAS SOUPS 133441 WITH SCORE 133897.236
AT ITER 3185 NEW BEST:: SOT 578886 SOS 456399 HAS SOPS 140259 HAS SOUS 201613 HAS SOUPS 133405 WITH SCORE 133861.399
AT ITER 3198 NEW BEST:: SOT 579069 SOS 456582 HAS SOPS 140168 HAS SOUS 201522 HAS SOUPS 133314 WITH SCORE 133770.582
AT ITER 3199 NEW BEST:: SOT 579024 SOS 456537 HAS SOPS 140152 HAS SOUS 201506 HAS SOUPS 133298 WITH SCORE 133754.537
AT ITER 3212 NEW BEST:: SOT 579024 SOS 456537 HAS SOPS 140110 HAS SOUS 201485 HAS SOUPS 133256 WITH SCORE 133712.537
AT ITER 3213 NEW BEST:: SOT 578996 SOS 456509 HAS SOPS 140054 HAS SOUS 201429 HAS SOUPS 133200 WITH SCORE 133656.509
AT ITER 3220 NEW BEST:: SOT 578758 SOS 456257 HAS SOPS 140054 HAS SOUS 201375 HAS SOUPS 133200 WITH SCORE 133656.257
AT ITER 3227 NEW BEST:: SOT 578716 SOS 456215 HAS SOPS 140036 HAS SOUS 201368 HAS SOUPS 133182 WITH SCORE 133638.215
AT ITER 3277 NEW BEST:: SOT 578723 SOS 456222 HAS SOPS 139982 HAS SOUS 201375 HAS SOUPS 133128 WITH SCORE 133584.222
AT ITER 3278 NEW BEST:: SOT 578750 SOS 456249 HAS SOPS 139958 HAS SOUS 201351 HAS SOUPS 133104 WITH SCORE 133560.249
AT ITER 3280 NEW BEST:: SOT 578750 SOS 456249 HAS SOPS 139916 HAS SOUS 201309 HAS SOUPS 133062 WITH SCORE 133518.249
AT ITER 3300 NEW BEST:: SOT 578619 SOS 456118 HAS SOPS 139901 HAS SOUS 201294 HAS SOUPS 133047 WITH SCORE 133503.118
AT ITER 3302 NEW BEST:: SOT 578595 SOS 456477 HAS SOPS 139731 HAS SOUS 201448 HAS SOUPS 133039 WITH SCORE 133495.477
AT ITER 3304 NEW BEST:: SOT 578567 SOS 456449 HAS SOPS 139681 HAS SOUS 201420 HAS SOUPS 132989 WITH SCORE 133445.449
AT ITER 3321 NEW BEST:: SOT 578557 SOS 456439 HAS SOPS 139681 HAS SOUS 201410 HAS SOUPS 132989 WITH SCORE 133445.439
AT ITER 3331 NEW BEST:: SOT 578557 SOS 456439 HAS SOPS 139668 HAS SOUS 201423 HAS SOUPS 132976 WITH SCORE 133432.439
AT ITER 3338 NEW BEST:: SOT 578571 SOS 456453 HAS SOPS 139552 HAS SOUS 201307 HAS SOUPS 132860 WITH SCORE 133316.453
AT ITER 3341 NEW BEST:: SOT 578563 SOS 456445 HAS SOPS 139540 HAS SOUS 201287 HAS SOUPS 132844 WITH SCORE 133300.445
AT ITER 3347 NEW BEST:: SOT 577777 SOS 455750 HAS SOPS 138874 HAS SOUS 200547 HAS SOUPS 132141 WITH SCORE 132596.75
AT ITER 3374 NEW BEST:: SOT 577782 SOS 455755 HAS SOPS 138750 HAS SOUS 200441 HAS SOUPS 132017 WITH SCORE 132472.755
AT ITER 3380 NEW BEST:: SOT 577743 SOS 455716 HAS SOPS 138672 HAS SOUS 200435 HAS SOUPS 131939 WITH SCORE 132394.716
AT ITER 3383 NEW BEST:: SOT 577679 SOS 455524 HAS SOPS 138640 HAS SOUS 200307 HAS SOUPS 131875 WITH SCORE 132330.524
AT ITER 3394 NEW BEST:: SOT 577779 SOS 455624 HAS SOPS 138622 HAS SOUS 200322 HAS SOUPS 131857 WITH SCORE 132312.624
AT ITER 3404 NEW BEST:: SOT 577983 SOS 455828 HAS SOPS 138618 HAS SOUS 200318 HAS SOUPS 131853 WITH SCORE 132308.828
AT ITER 3417 NEW BEST:: SOT 577932 SOS 455777 HAS SOPS 138516 HAS SOUS 200148 HAS SOUPS 131751 WITH SCORE 132206.777
AT ITER 3421 NEW BEST:: SOT 577886 SOS 455731 HAS SOPS 138099 HAS SOUS 199731 HAS SOUPS 131334 WITH SCORE 131789.731
AT ITER 3428 NEW BEST:: SOT 577856 SOS 455701 HAS SOPS 138099 HAS SOUS 199731 HAS SOUPS 131334 WITH SCORE 131789.701
AT ITER 3455 NEW BEST:: SOT 577817 SOS 455662 HAS SOPS 138078 HAS SOUS 199653 HAS SOUPS 131256 WITH SCORE 131711.662
AT ITER 3465 NEW BEST:: SOT 577984 SOS 455829 HAS SOPS 138020 HAS SOUS 199974 HAS SOUPS 131198 WITH SCORE 131653.829
AT ITER 3467 NEW BEST:: SOT 577963 SOS 455808 HAS SOPS 138020 HAS SOUS 199974 HAS SOUPS 131198 WITH SCORE 131653.808
AT ITER 3469 NEW BEST:: SOT 578024 SOS 455869 HAS SOPS 137868 HAS SOUS 199822 HAS SOUPS 131046 WITH SCORE 131501.869
AT ITER 3524 NEW BEST:: SOT 578021 SOS 455866 HAS SOPS 137862 HAS SOUS 199816 HAS SOUPS 131040 WITH SCORE 131495.866
AT ITER 3528 NEW BEST:: SOT 578104 SOS 455949 HAS SOPS 137760 HAS SOUS 199911 HAS SOUPS 130938 WITH SCORE 131393.949
AT ITER 3537 NEW BEST:: SOT 578122 SOS 455967 HAS SOPS 137741 HAS SOUS 199915 HAS SOUPS 130919 WITH SCORE 131374.967
AT ITER 3548 NEW BEST:: SOT 578194 SOS 456039 HAS SOPS 137683 HAS SOUS 199987 HAS SOUPS 130861 WITH SCORE 131317.039
AT ITER 3552 NEW BEST:: SOT 578138 SOS 455983 HAS SOPS 137571 HAS SOUS 199732 HAS SOUPS 130749 WITH SCORE 131204.983
AT ITER 3558 NEW BEST:: SOT 578360 SOS 456205 HAS SOPS 137471 HAS SOUS 200183 HAS SOUPS 130649 WITH SCORE 131105.205
AT ITER 3571 NEW BEST:: SOT 578360 SOS 456251 HAS SOPS 137362 HAS SOUS 200074 HAS SOUPS 130540 WITH SCORE 130996.251
AT ITER 3603 NEW BEST:: SOT 578595 SOS 456486 HAS SOPS 137340 HAS SOUS 200052 HAS SOUPS 130518 WITH SCORE 130974.486
AT ITER 3605 NEW BEST:: SOT 578655 SOS 456546 HAS SOPS 137280 HAS SOUS 199992 HAS SOUPS 130458 WITH SCORE 130914.546
AT ITER 3703 NEW BEST:: SOT 578642 SOS 456533 HAS SOPS 137258 HAS SOUS 199970 HAS SOUPS 130436 WITH SCORE 130892.533
AT ITER 3736 NEW BEST:: SOT 578669 SOS 456560 HAS SOPS 137187 HAS SOUS 199899 HAS SOUPS 130365 WITH SCORE 130821.56
AT ITER 3783 NEW BEST:: SOT 578616 SOS 456507 HAS SOPS 137081 HAS SOUS 199793 HAS SOUPS 130259 WITH SCORE 130715.507
AT ITER 3786 NEW BEST:: SOT 578633 SOS 456524 HAS SOPS 137074 HAS SOUS 199786 HAS SOUPS 130252 WITH SCORE 130708.524
AT ITER 3826 NEW BEST:: SOT 578633 SOS 456524 HAS SOPS 137010 HAS SOUS 199722 HAS SOUPS 130188 WITH SCORE 130644.524
AT ITER 3834 NEW BEST:: SOT 578623 SOS 456519 HAS SOPS 136990 HAS SOUS 199712 HAS SOUPS 130168 WITH SCORE 130624.519
AT ITER 3839 NEW BEST:: SOT 578764 SOS 456660 HAS SOPS 136964 HAS SOUS 199686 HAS SOUPS 130142 WITH SCORE 130598.66
AT ITER 3871 NEW BEST:: SOT 578785 SOS 456681 HAS SOPS 136631 HAS SOUS 199478 HAS SOUPS 129809 WITH SCORE 130265.681
AT ITER 3872 NEW BEST:: SOT 578837 SOS 456748 HAS SOPS 136533 HAS SOUS 199406 HAS SOUPS 129711 WITH SCORE 130167.748
AT ITER 3886 NEW BEST:: SOT 578836 SOS 456747 HAS SOPS 136471 HAS SOUS 199344 HAS SOUPS 129649 WITH SCORE 130105.747
AT ITER 3893 NEW BEST:: SOT 578678 SOS 456589 HAS SOPS 136313 HAS SOUS 199187 HAS SOUPS 129492 WITH SCORE 129948.589
AT ITER 3899 NEW BEST:: SOT 578678 SOS 456582 HAS SOPS 136313 HAS SOUS 199187 HAS SOUPS 129492 WITH SCORE 129948.582
AT ITER 3901 NEW BEST:: SOT 578688 SOS 456592 HAS SOPS 136254 HAS SOUS 199197 HAS SOUPS 129433 WITH SCORE 129889.592
AT ITER 3907 NEW BEST:: SOT 578685 SOS 456573 HAS SOPS 136241 HAS SOUS 199184 HAS SOUPS 129420 WITH SCORE 129876.573
AT ITER 3933 NEW BEST:: SOT 578630 SOS 456518 HAS SOPS 135915 HAS SOUS 199129 HAS SOUPS 129094 WITH SCORE 129550.518
AT ITER 3946 NEW BEST:: SOT 578630 SOS 456543 HAS SOPS 135910 HAS SOUS 199129 HAS SOUPS 129089 WITH SCORE 129545.543
AT ITER 3954 NEW BEST:: SOT 578630 SOS 456653 HAS SOPS 135862 HAS SOUS 199125 HAS SOUPS 129041 WITH SCORE 129497.653
AT ITER 3979 NEW BEST:: SOT 578546 SOS 456569 HAS SOPS 135694 HAS SOUS 198957 HAS SOUPS 128873 WITH SCORE 129329.569
AT ITER 3989 NEW BEST:: SOT 578546 SOS 456399 HAS SOPS 135694 HAS SOUS 198934 HAS SOUPS 128873 WITH SCORE 129329.399
AT ITER 3996 NEW BEST:: SOT 578732 SOS 456585 HAS SOPS 135660 HAS SOUS 199191 HAS SOUPS 128839 WITH SCORE 129295.585
AT ITER 4031 NEW BEST:: SOT 578727 SOS 456580 HAS SOPS 135650 HAS SOUS 199181 HAS SOUPS 128829 WITH SCORE 129285.58
AT ITER 4032 NEW BEST:: SOT 578717 SOS 456570 HAS SOPS 135630 HAS SOUS 199155 HAS SOUPS 128809 WITH SCORE 129265.57
AT ITER 4037 NEW BEST:: SOT 578717 SOS 456570 HAS SOPS 135619 HAS SOUS 199144 HAS SOUPS 128798 WITH SCORE 129254.57
AT ITER 4055 NEW BEST:: SOT 578717 SOS 456570 HAS SOPS 135465 HAS SOUS 198978 HAS SOUPS 128644 WITH SCORE 129100.57
AT ITER 4056 NEW BEST:: SOT 578696 SOS 456170 HAS SOPS 135615 HAS SOUS 198604 HAS SOUPS 128420 WITH SCORE 128876.17
AT ITER 4057 NEW BEST:: SOT 578584 SOS 456058 HAS SOPS 135615 HAS SOUS 198571 HAS SOUPS 128420 WITH SCORE 128876.058
AT ITER 4080 NEW BEST:: SOT 578584 SOS 456048 HAS SOPS 135615 HAS SOUS 198569 HAS SOUPS 128420 WITH SCORE 128876.048
AT ITER 4097 NEW BEST:: SOT 578610 SOS 456074 HAS SOPS 135574 HAS SOUS 198620 HAS SOUPS 128379 WITH SCORE 128835.074
AT ITER 4101 NEW BEST:: SOT 578631 SOS 457030 HAS SOPS 135297 HAS SOUS 198847 HAS SOUPS 128313 WITH SCORE 128770.03
AT ITER 4106 NEW BEST:: SOT 578541 SOS 456940 HAS SOPS 135117 HAS SOUS 198730 HAS SOUPS 128133 WITH SCORE 128589.94
AT ITER 4120 NEW BEST:: SOT 578538 SOS 456946 HAS SOPS 135111 HAS SOUS 198727 HAS SOUPS 128127 WITH SCORE 128583.946
AT ITER 4146 NEW BEST:: SOT 578699 SOS 457107 HAS SOPS 135051 HAS SOUS 198846 HAS SOUPS 128067 WITH SCORE 128524.107
AT ITER 4151 NEW BEST:: SOT 578669 SOS 457077 HAS SOPS 135006 HAS SOUS 198801 HAS SOUPS 128022 WITH SCORE 128479.077
AT ITER 4161 NEW BEST:: SOT 578688 SOS 457096 HAS SOPS 134944 HAS SOUS 198729 HAS SOUPS 127950 WITH SCORE 128407.096
AT ITER 4173 NEW BEST:: SOT 578764 SOS 457567 HAS SOPS 134937 HAS SOUS 198831 HAS SOUPS 127943 WITH SCORE 128400.567
AT ITER 4177 NEW BEST:: SOT 578662 SOS 457465 HAS SOPS 134733 HAS SOUS 198745 HAS SOUPS 127739 WITH SCORE 128196.465
AT ITER 4199 NEW BEST:: SOT 578676 SOS 457479 HAS SOPS 134624 HAS SOUS 198685 HAS SOUPS 127630 WITH SCORE 128087.479
AT ITER 4210 NEW BEST:: SOT 578716 SOS 457804 HAS SOPS 134470 HAS SOUS 198746 HAS SOUPS 127476 WITH SCORE 127933.804
AT ITER 4224 NEW BEST:: SOT 578927 SOS 458015 HAS SOPS 134347 HAS SOUS 198957 HAS SOUPS 127353 WITH SCORE 127811.015
AT ITER 4237 NEW BEST:: SOT 578900 SOS 457988 HAS SOPS 134293 HAS SOUS 198903 HAS SOUPS 127299 WITH SCORE 127756.988
AT ITER 4239 NEW BEST:: SOT 578900 SOS 457968 HAS SOPS 134293 HAS SOUS 198860 HAS SOUPS 127299 WITH SCORE 127756.968
AT ITER 4241 NEW BEST:: SOT 578864 SOS 457932 HAS SOPS 134234 HAS SOUS 198801 HAS SOUPS 127240 WITH SCORE 127697.932
AT ITER 4242 NEW BEST:: SOT 578879 SOS 457947 HAS SOPS 134229 HAS SOUS 198831 HAS SOUPS 127235 WITH SCORE 127692.947
AT ITER 4250 NEW BEST:: SOT 578877 SOS 457945 HAS SOPS 134229 HAS SOUS 198830 HAS SOUPS 127235 WITH SCORE 127692.945
AT ITER 4274 NEW BEST:: SOT 578901 SOS 457969 HAS SOPS 134227 HAS SOUS 198829 HAS SOUPS 127233 WITH SCORE 127690.969
AT ITER 4288 NEW BEST:: SOT 578846 SOS 457914 HAS SOPS 134227 HAS SOUS 198804 HAS SOUPS 127233 WITH SCORE 127690.914
AT ITER 4294 NEW BEST:: SOT 578846 SOS 457914 HAS SOPS 134181 HAS SOUS 198779 HAS SOUPS 127187 WITH SCORE 127644.914
AT ITER 4303 NEW BEST:: SOT 578847 SOS 457915 HAS SOPS 134156 HAS SOUS 198747 HAS SOUPS 127155 WITH SCORE 127612.915
AT ITER 4319 NEW BEST:: SOT 578847 SOS 458185 HAS SOPS 134103 HAS SOUS 198721 HAS SOUPS 127102 WITH SCORE 127560.185
AT ITER 4330 NEW BEST:: SOT 578825 SOS 458163 HAS SOPS 134095 HAS SOUS 198699 HAS SOUPS 127094 WITH SCORE 127552.163
AT ITER 4346 NEW BEST:: SOT 578803 SOS 458141 HAS SOPS 134051 HAS SOUS 198660 HAS SOUPS 127050 WITH SCORE 127508.141
AT ITER 4360 NEW BEST:: SOT 578919 SOS 458257 HAS SOPS 133963 HAS SOUS 198653 HAS SOUPS 126962 WITH SCORE 127420.257
AT ITER 4361 NEW BEST:: SOT 578885 SOS 458223 HAS SOPS 133895 HAS SOUS 198585 HAS SOUPS 126894 WITH SCORE 127352.223
AT ITER 4372 NEW BEST:: SOT 578885 SOS 458223 HAS SOPS 133805 HAS SOUS 198574 HAS SOUPS 126804 WITH SCORE 127262.223
AT ITER 4387 NEW BEST:: SOT 578844 SOS 458182 HAS SOPS 133723 HAS SOUS 198528 HAS SOUPS 126722 WITH SCORE 127180.182
AT ITER 4410 NEW BEST:: SOT 578908 SOS 458246 HAS SOPS 133702 HAS SOUS 198511 HAS SOUPS 126701 WITH SCORE 127159.246
AT ITER 4415 NEW BEST:: SOT 578090 SOS 457428 HAS SOPS 133018 HAS SOUS 198091 HAS SOUPS 126281 WITH SCORE 126738.428
AT ITER 4484 NEW BEST:: SOT 578062 SOS 457400 HAS SOPS 133018 HAS SOUS 198091 HAS SOUPS 126281 WITH SCORE 126738.4
AT ITER 4525 NEW BEST:: SOT 578114 SOS 457452 HAS SOPS 132994 HAS SOUS 198176 HAS SOUPS 126257 WITH SCORE 126714.452
AT ITER 4528 NEW BEST:: SOT 578208 SOS 457540 HAS SOPS 132964 HAS SOUS 198146 HAS SOUPS 126227 WITH SCORE 126684.54
AT ITER 4556 NEW BEST:: SOT 578211 SOS 457543 HAS SOPS 132958 HAS SOUS 198143 HAS SOUPS 126221 WITH SCORE 126678.543
AT ITER 4561 NEW BEST:: SOT 578247 SOS 457608 HAS SOPS 132913 HAS SOUS 198184 HAS SOUPS 126176 WITH SCORE 126633.608
AT ITER 4567 NEW BEST:: SOT 578247 SOS 457580 HAS SOPS 132913 HAS SOUS 198170 HAS SOUPS 126169 WITH SCORE 126626.58
AT ITER 4571 NEW BEST:: SOT 578430 SOS 457763 HAS SOPS 132875 HAS SOUS 198483 HAS SOUPS 126131 WITH SCORE 126588.763
AT ITER 4573 NEW BEST:: SOT 578270 SOS 457603 HAS SOPS 132875 HAS SOUS 198483 HAS SOUPS 126131 WITH SCORE 126588.603
AT ITER 4596 NEW BEST:: SOT 578263 SOS 457596 HAS SOPS 132820 HAS SOUS 198511 HAS SOUPS 126076 WITH SCORE 126533.596
AT ITER 4602 NEW BEST:: SOT 578206 SOS 457539 HAS SOPS 132706 HAS SOUS 198397 HAS SOUPS 125962 WITH SCORE 126419.539
AT ITER 4607 NEW BEST:: SOT 578344 SOS 457677 HAS SOPS 132673 HAS SOUS 198490 HAS SOUPS 125929 WITH SCORE 126386.677
AT ITER 4613 NEW BEST:: SOT 578693 SOS 458026 HAS SOPS 132521 HAS SOUS 199003 HAS SOUPS 125777 WITH SCORE 126235.026
AT ITER 4617 NEW BEST:: SOT 578693 SOS 458026 HAS SOPS 132514 HAS SOUS 198996 HAS SOUPS 125770 WITH SCORE 126228.026
AT ITER 4619 NEW BEST:: SOT 578699 SOS 458032 HAS SOPS 132466 HAS SOUS 198978 HAS SOUPS 125722 WITH SCORE 126180.032
AT ITER 4638 NEW BEST:: SOT 578665 SOS 457998 HAS SOPS 132432 HAS SOUS 198944 HAS SOUPS 125688 WITH SCORE 126145.998
AT ITER 4642 NEW BEST:: SOT 578661 SOS 457994 HAS SOPS 132397 HAS SOUS 198909 HAS SOUPS 125653 WITH SCORE 126110.994
AT ITER 4674 NEW BEST:: SOT 578755 SOS 458088 HAS SOPS 132293 HAS SOUS 199019 HAS SOUPS 125549 WITH SCORE 126007.088
AT ITER 4689 NEW BEST:: SOT 578782 SOS 458115 HAS SOPS 132227 HAS SOUS 198953 HAS SOUPS 125483 WITH SCORE 125941.115
AT ITER 4723 NEW BEST:: SOT 578852 SOS 458185 HAS SOPS 132117 HAS SOUS 198933 HAS SOUPS 125373 WITH SCORE 125831.185
AT ITER 4734 NEW BEST:: SOT 578664 SOS 457997 HAS SOPS 131881 HAS SOUS 198697 HAS SOUPS 125137 WITH SCORE 125594.997
AT ITER 4749 NEW BEST:: SOT 578664 SOS 457997 HAS SOPS 131844 HAS SOUS 198660 HAS SOUPS 125100 WITH SCORE 125557.997
AT ITER 4767 NEW BEST:: SOT 578500 SOS 457833 HAS SOPS 131770 HAS SOUS 198586 HAS SOUPS 125026 WITH SCORE 125483.833
AT ITER 4769 NEW BEST:: SOT 578500 SOS 457988 HAS SOPS 131708 HAS SOUS 198555 HAS SOUPS 124964 WITH SCORE 125421.988
AT ITER 4777 NEW BEST:: SOT 578495 SOS 457964 HAS SOPS 131698 HAS SOUS 198507 HAS SOUPS 124954 WITH SCORE 125411.964
AT ITER 4788 NEW BEST:: SOT 578891 SOS 458480 HAS SOPS 131681 HAS SOUS 198514 HAS SOUPS 124937 WITH SCORE 125395.48
AT ITER 4793 NEW BEST:: SOT 578879 SOS 458468 HAS SOPS 131657 HAS SOUS 198490 HAS SOUPS 124913 WITH SCORE 125371.468
AT ITER 4802 NEW BEST:: SOT 578860 SOS 458449 HAS SOPS 131560 HAS SOUS 198348 HAS SOUPS 124816 WITH SCORE 125274.449
AT ITER 4806 NEW BEST:: SOT 578910 SOS 458499 HAS SOPS 131510 HAS SOUS 198298 HAS SOUPS 124766 WITH SCORE 125224.499
AT ITER 4825 NEW BEST:: SOT 578910 SOS 458499 HAS SOPS 131459 HAS SOUS 198277 HAS SOUPS 124715 WITH SCORE 125173.499
AT ITER 4828 NEW BEST:: SOT 578910 SOS 458359 HAS SOPS 131459 HAS SOUS 198254 HAS SOUPS 124715 WITH SCORE 125173.359
AT ITER 4834 NEW BEST:: SOT 578892 SOS 458341 HAS SOPS 131419 HAS SOUS 198221 HAS SOUPS 124675 WITH SCORE 125133.341
AT ITER 4847 NEW BEST:: SOT 578848 SOS 458297 HAS SOPS 131419 HAS SOUS 198221 HAS SOUPS 124675 WITH SCORE 125133.297
AT ITER 4926 NEW BEST:: SOT 578848 SOS 458297 HAS SOPS 131314 HAS SOUS 198116 HAS SOUPS 124570 WITH SCORE 125028.297
AT ITER 4952 NEW BEST:: SOT 578772 SOS 457869 HAS SOPS 131238 HAS SOUS 198017 HAS SOUPS 124471 WITH SCORE 124928.869
AT ITER 4955 NEW BEST:: SOT 578771 SOS 457868 HAS SOPS 131236 HAS SOUS 198015 HAS SOUPS 124469 WITH SCORE 124926.868
AT ITER 4965 NEW BEST:: SOT 578759 SOS 457856 HAS SOPS 131212 HAS SOUS 197991 HAS SOUPS 124445 WITH SCORE 124902.856
AT ITER 4980 NEW BEST:: SOT 578596 SOS 457693 HAS SOPS 131024 HAS SOUS 197871 HAS SOUPS 124257 WITH SCORE 124714.693
AT ITER 4982 NEW BEST:: SOT 578650 SOS 457747 HAS SOPS 130982 HAS SOUS 197829 HAS SOUPS 124215 WITH SCORE 124672.747
Bounds file is: CTLFireability.xml
PROPERTY: BART-PT-005-CTLFireability-00 (AF( ( (! ((potential((tk(P4)>=1) & (tk(P687)>=1))))) | ((potential((tk(P572)>=1) & (tk(P845)>=1) & (tk(P848)>=1) & (tk(P867)>=1) & (tk(P866)>=1)))) )))
PROPERTY: BART-PT-005-CTLFireability-01 (EF( ((potential((tk(P50)>=1) & (tk(P706)>=1) & (tk(P709)>=1) & (tk(P868)>=1) & (tk(P867)>=1))))))
PROPERTY: BART-PT-005-CTLFireability-02 (EF( ( (EU( ((potential((tk(P588)>=1) & (tk(P835)>=1) & (tk(P839)>=1) & (tk(P870)>=1) & (tk(P869)>=1)))) , ((potential((tk(P56)>=1) & (tk(P710)>=1) & (tk(P713)>=1) & (tk(P868)>=1) & (tk(P867)>=1)))) )) & (EF( ( ((potential((tk(P5)>=1) & (tk(P674)>=1)))) | ((potential((tk(P432)>=1) & (tk(P812)>=1) & (tk(P816)>=1) & (tk(P867)>=1)))) ))) )))
PROPERTY: BART-PT-005-CTLFireability-03 (AU( ( (! ( ((potential((tk(P389)>=1) & (tk(P785)>=1) & (tk(P789)>=1) & (tk(P870)>=1) & (tk(P869)>=1)))) | ((potential((tk(P42)>=1) & (tk(P709)>=1) & (tk(P712)>=1) & (tk(P867)>=1)))) )) | ( ( ((potential((tk(P5)>=1) & (tk(P669)>=1)))) | ((potential((tk(P256)>=1) & (tk(P763)>=1) & (tk(P767)>=1) & (tk(P868)>=1)))) ) & ((potential((tk(P315)>=1) & (tk(P782)>=1) & (tk(P786)>=1) & (tk(P867)>=1)))) ) ) , (EX( ((potential((tk(P209)>=1) & (tk(P740)>=1) & (tk(P744)>=1) & (tk(P870)>=1) & (tk(P869)>=1)))))) ))
PROPERTY: BART-PT-005-CTLFireability-04 (AU( (EU( ((potential((tk(P103)>=1) & (tk(P723)>=1) & (tk(P727)>=1) & (tk(P868)>=1)))) , ((potential((tk(P2)>=1) & (tk(P680)>=1)))) )) , (! (AF( ((potential((tk(P609)>=1) & (tk(P853)>=1) & (tk(P855)>=1) & (tk(P867)>=1))))))) ))
PROPERTY: BART-PT-005-CTLFireability-05 (EF( ( ((potential((tk(P228)>=1) & (tk(P745)>=1) & (tk(P749)>=1) & (tk(P870)>=1) & (tk(P869)>=1)))) | (! (! ( ((potential((tk(P3)>=1) & (tk(P684)>=1)))) & ((potential((tk(P309)>=1) & (tk(P765)>=1) & (tk(P769)>=1) & (tk(P870)>=1) & (tk(P869)>=1)))) ))) )))
PROPERTY: BART-PT-005-CTLFireability-06 (! (EF( ( ((potential((tk(P478)>=1) & (tk(P818)>=1) & (tk(P822)>=1) & (tk(P868)>=1)))) & ((potential((tk(P278)>=1) & (tk(P768)>=1) & (tk(P772)>=1) & (tk(P868)>=1)))) ))))
PROPERTY: BART-PT-005-CTLFireability-07 ( (AU( ((potential((tk(P645)>=1) & (tk(P857)>=1) & (tk(P859)>=1) & (tk(P868)>=1)))) , ( ( ((potential((tk(P5)>=1) & (tk(P661)>=1)))) | ((potential((tk(P1)>=1) & (tk(P691)>=1)))) ) | ((potential((tk(P156)>=1) & (tk(P738)>=1) & (tk(P742)>=1) & (tk(P868)>=1)))) ) )) & (EF( ( ((potential((tk(P489)>=1) & (tk(P810)>=1) & (tk(P814)>=1) & (tk(P870)>=1) & (tk(P869)>=1)))) | ((potential((tk(P309)>=1) & (tk(P765)>=1) & (tk(P769)>=1) & (tk(P870)>=1) & (tk(P869)>=1)))) ))) )
PROPERTY: BART-PT-005-CTLFireability-08 (EF( ( ( ( ( ((potential((tk(P2)>=1) & (tk(P669)>=1)))) & ((potential((tk(P203)>=1) & (tk(P744)>=1) & (tk(P748)>=1) & (tk(P869)>=1)))) ) & ((potential((tk(P148)>=1) & (tk(P725)>=1) & (tk(P729)>=1) & (tk(P870)>=1) & (tk(P869)>=1)))) ) & (EG( ((potential((tk(P70)>=1) & (tk(P717)>=1) & (tk(P721)>=1) & (tk(P867)>=1)))))) ) | (AU( ((potential((tk(P604)>=1) & (tk(P843)>=1) & (tk(P846)>=1) & (tk(P869)>=1)))) , ((potential((tk(P390)>=1) & (tk(P785)>=1) & (tk(P789)>=1) & (tk(P870)>=1) & (tk(P869)>=1)))) )) )))
PROPERTY: BART-PT-005-CTLFireability-09 ( ((potential((tk(P529)>=1) & (tk(P820)>=1) & (tk(P824)>=1) & (tk(P870)>=1) & (tk(P869)>=1)))) | (EU( (AG( ((potential((tk(P16)>=1) & (tk(P699)>=1) & (tk(P701)>=1) & (tk(P867)>=1) & (tk(P866)>=1)))))) , (EF( ((potential((tk(P407)>=1) & (tk(P790)>=1) & (tk(P794)>=1) & (tk(P870)>=1) & (tk(P869)>=1)))))) )) )
PROPERTY: BART-PT-005-CTLFireability-10 (AU( (! ( ( ((potential((tk(P42)>=1) & (tk(P709)>=1) & (tk(P712)>=1) & (tk(P867)>=1) & (tk(P866)>=1)))) & ((potential((tk(P116)>=1) & (tk(P728)>=1) & (tk(P732)>=1) & (tk(P868)>=1)))) ) & ( ((potential((tk(P513)>=1) & (tk(P832)>=1) & (tk(P836)>=1) & (tk(P867)>=1) & (tk(P866)>=1)))) & ((potential((tk(P2)>=1) & (tk(P678)>=1)))) ) )) , ( (AF( ((potential((tk(P212)>=1) & (tk(P757)>=1) & (tk(P761)>=1) & (tk(P867)>=1) & (tk(P866)>=1)))))) | ( ((potential((tk(P654)>=1) & (tk(P860)>=1) & (tk(P862)>=1) & (tk(P868)>=1)))) & ( ((potential((tk(P37)>=1) & (tk(P703)>=1) & (tk(P705)>=1) & (tk(P868)>=1) & (tk(P867)>=1)))) | ((potential((tk(P154)>=1) & (tk(P742)>=1) & (tk(P746)>=1) & (tk(P867)>=1)))) ) ) ) ))
PROPERTY: BART-PT-005-CTLFireability-11 ( ( (EX( (! (! ((potential((tk(P564)>=1) & (tk(P834)>=1) & (tk(P838)>=1) & (tk(P869)>=1)))))))) & ( ( ( (! ((potential((tk(P392)>=1) & (tk(P802)>=1) & (tk(P806)>=1) & (tk(P867)>=1) & (tk(P866)>=1))))) & ( ((potential((tk(P4)>=1) & (tk(P674)>=1)))) | ((potential((tk(P251)>=1) & (tk(P767)>=1) & (tk(P771)>=1) & (tk(P867)>=1) & (tk(P866)>=1)))) ) ) | ( ( ((potential((tk(P347)>=1) & (tk(P775)>=1) & (tk(P779)>=1) & (tk(P870)>=1) & (tk(P869)>=1)))) | ((potential((tk(P430)>=1) & (tk(P795)>=1) & (tk(P799)>=1) & (tk(P870)>=1) & (tk(P869)>=1)))) ) | ((potential((tk(P215)>=1) & (tk(P757)>=1) & (tk(P761)>=1) & (tk(P867)>=1) & (tk(P866)>=1)))) ) ) | (EG( ((potential((tk(P334)>=1) & (tk(P787)>=1) & (tk(P791)>=1) & (tk(P867)>=1)))))) ) ) | (EF( (EF( ( ((potential((tk(P516)>=1) & (tk(P828)>=1) & (tk(P832)>=1) & (tk(P868)>=1)))) & ((potential((tk(P432)>=1) & (tk(P812)>=1) & (tk(P816)>=1) & (tk(P867)>=1) & (tk(P866)>=1)))) ))))) )
PROPERTY: BART-PT-005-CTLFireability-12 (AF( ( (EF( ( ((potential((tk(P15)>=1) & (tk(P697)>=1) & (tk(P698)>=1) & (tk(P867)>=1) & (tk(P866)>=1)))) | ((potential((tk(P40)>=1) & (tk(P703)>=1) & (tk(P705)>=1) & (tk(P868)>=1) & (tk(P867)>=1)))) ))) & (! ( ( ((potential((tk(P530)>=1) & (tk(P820)>=1) & (tk(P824)>=1) & (tk(P870)>=1) & (tk(P869)>=1)))) | ((potential((tk(P31)>=1) & (tk(P705)>=1) & (tk(P708)>=1) & (tk(P867)>=1) & (tk(P866)>=1)))) ) & ((potential((tk(P163)>=1) & (tk(P734)>=1) & (tk(P738)>=1) & (tk(P869)>=1) & (tk(P868)>=1)))) )) )))
PROPERTY: BART-PT-005-CTLFireability-13 (AU( (EX( (! ((potential((tk(P2)>=1) & (tk(P694)>=1))))))) , (EG( (! ((potential((tk(P45)>=1) & (tk(P709)>=1) & (tk(P712)>=1) & (tk(P867)>=1) & (tk(P866)>=1))))))) ))
PROPERTY: BART-PT-005-CTLFireability-14 (AG( ( (AG( ((potential((tk(P312)>=1) & (tk(P782)>=1) & (tk(P786)>=1) & (tk(P867)>=1)))))) | (! (AX( ((potential((tk(P495)>=1) & (tk(P827)>=1) & (tk(P831)>=1) & (tk(P867)>=1) & (tk(P866)>=1))))))) )))
PROPERTY: BART-PT-005-CTLFireability-15 (EF( ( ( ((potential((tk(P3)>=1) & (tk(P688)>=1)))) | (AX( ((potential((tk(P473)>=1) & (tk(P822)>=1) & (tk(P826)>=1) & (tk(P867)>=1) & (tk(P866)>=1)))))) ) & ( (EF( ((potential((tk(P327)>=1) & (tk(P770)>=1) & (tk(P774)>=1) & (tk(P870)>=1) & (tk(P869)>=1)))))) & ((potential((tk(P5)>=1) & (tk(P673)>=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="BART-PT-005"
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 BART-PT-005, 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 r018-oct2-158897679500076"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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