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-158922807300332.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 Dekker-PT-050, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807300332
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 3.7K Apr 27 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 27 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 27 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 27 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 14:36 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Apr 27 14:36 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 27 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 27 14:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K Apr 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Apr 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 27 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 27 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 27 14:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 27 14:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 14:36 instance
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 iscolored
-rw-r--r-- 1 mcc users 1.5M Apr 27 14:36 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 Dekker-PT-050-CTLFireability-00
FORMULA_NAME Dekker-PT-050-CTLFireability-01
FORMULA_NAME Dekker-PT-050-CTLFireability-02
FORMULA_NAME Dekker-PT-050-CTLFireability-03
FORMULA_NAME Dekker-PT-050-CTLFireability-04
FORMULA_NAME Dekker-PT-050-CTLFireability-05
FORMULA_NAME Dekker-PT-050-CTLFireability-06
FORMULA_NAME Dekker-PT-050-CTLFireability-07
FORMULA_NAME Dekker-PT-050-CTLFireability-08
FORMULA_NAME Dekker-PT-050-CTLFireability-09
FORMULA_NAME Dekker-PT-050-CTLFireability-10
FORMULA_NAME Dekker-PT-050-CTLFireability-11
FORMULA_NAME Dekker-PT-050-CTLFireability-12
FORMULA_NAME Dekker-PT-050-CTLFireability-13
FORMULA_NAME Dekker-PT-050-CTLFireability-14
FORMULA_NAME Dekker-PT-050-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589361346010

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Dekker (PT), instance 050
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: 250 places, 2600 transitions, 20100 arcs.
AT ITER 0 NEW BEST:: SOT 578557 SOS 530341 HAS SOPS 499860 HAS SOUS 486339 HAS SOUPS 475458 WITH SCORE 475988.341
AT ITER 5 NEW BEST:: SOT 578557 SOS 530295 HAS SOPS 499814 HAS SOUS 486247 HAS SOUPS 475366 WITH SCORE 475896.295
AT ITER 6 NEW BEST:: SOT 578557 SOS 529276 HAS SOPS 499453 HAS SOUS 480183 HAS SOUPS 469440 WITH SCORE 469969.276
AT ITER 11 NEW BEST:: SOT 578557 SOS 529255 HAS SOPS 499432 HAS SOUS 480141 HAS SOUPS 469398 WITH SCORE 469927.255
AT ITER 12 NEW BEST:: SOT 578557 SOS 528156 HAS SOPS 497081 HAS SOUS 470437 HAS SOUPS 459866 WITH SCORE 460394.156
AT ITER 13 NEW BEST:: SOT 578557 SOS 527932 HAS SOPS 495398 HAS SOUS 467262 HAS SOUPS 456724 WITH SCORE 457251.932
AT ITER 15 NEW BEST:: SOT 578557 SOS 527444 HAS SOPS 492973 HAS SOUS 459225 HAS SOUPS 448810 WITH SCORE 449337.444
AT ITER 16 NEW BEST:: SOT 576408 SOS 525301 HAS SOPS 490824 HAS SOUS 457082 HAS SOUPS 446661 WITH SCORE 447186.301
AT ITER 17 NEW BEST:: SOT 571907 SOS 521541 HAS SOPS 486274 HAS SOUS 452563 HAS SOUPS 442062 WITH SCORE 442583.541
AT ITER 18 NEW BEST:: SOT 567465 SOS 519780 HAS SOPS 479333 HAS SOUS 437909 HAS SOUPS 427497 WITH SCORE 428016.78
AT ITER 19 NEW BEST:: SOT 569921 SOS 519789 HAS SOPS 479462 HAS SOUS 429193 HAS SOUPS 419008 WITH SCORE 419527.789
AT ITER 21 NEW BEST:: SOT 567395 SOS 517266 HAS SOPS 476887 HAS SOUS 426616 HAS SOUPS 416384 WITH SCORE 416901.266
AT ITER 22 NEW BEST:: SOT 565313 SOS 513967 HAS SOPS 472387 HAS SOUS 419341 HAS SOUPS 409193 WITH SCORE 409706.967
AT ITER 25 NEW BEST:: SOT 565323 SOS 512629 HAS SOPS 470153 HAS SOUS 416167 HAS SOUPS 406063 WITH SCORE 406575.629
AT ITER 26 NEW BEST:: SOT 560866 SOS 508172 HAS SOPS 465696 HAS SOUS 411710 HAS SOUPS 401606 WITH SCORE 402114.172
AT ITER 30 NEW BEST:: SOT 558341 SOS 505647 HAS SOPS 463171 HAS SOUS 409185 HAS SOUPS 399081 WITH SCORE 399586.647
AT ITER 31 NEW BEST:: SOT 558206 SOS 505512 HAS SOPS 463036 HAS SOUS 409114 HAS SOUPS 398946 WITH SCORE 399451.512
AT ITER 33 NEW BEST:: SOT 558209 SOS 505284 HAS SOPS 462427 HAS SOUS 408112 HAS SOUPS 397956 WITH SCORE 398461.284
AT ITER 34 NEW BEST:: SOT 557229 SOS 504304 HAS SOPS 461447 HAS SOUS 407132 HAS SOUPS 396976 WITH SCORE 397480.304
AT ITER 35 NEW BEST:: SOT 554156 SOS 501231 HAS SOPS 458325 HAS SOUS 403961 HAS SOUPS 393805 WITH SCORE 394306.231
AT ITER 37 NEW BEST:: SOT 551899 SOS 498974 HAS SOPS 456068 HAS SOUS 401704 HAS SOUPS 391548 WITH SCORE 392046.974
AT ITER 38 NEW BEST:: SOT 550895 SOS 497970 HAS SOPS 455064 HAS SOUS 400700 HAS SOUPS 390544 WITH SCORE 391041.97
AT ITER 39 NEW BEST:: SOT 546597 SOS 493672 HAS SOPS 450717 HAS SOUS 396309 HAS SOUPS 386148 WITH SCORE 386641.672
AT ITER 41 NEW BEST:: SOT 546878 SOS 493911 HAS SOPS 450998 HAS SOUS 394532 HAS SOUPS 384413 WITH SCORE 384906.911
AT ITER 46 NEW BEST:: SOT 547130 SOS 491249 HAS SOPS 448871 HAS SOUS 387454 HAS SOUPS 377493 WITH SCORE 377984.249
AT ITER 50 NEW BEST:: SOT 543462 SOS 487581 HAS SOPS 445203 HAS SOUS 383852 HAS SOUPS 373825 WITH SCORE 374312.581
AT ITER 51 NEW BEST:: SOT 543505 SOS 486728 HAS SOPS 442804 HAS SOUS 379458 HAS SOUPS 369488 WITH SCORE 369974.728
AT ITER 55 NEW BEST:: SOT 543844 SOS 483916 HAS SOPS 440780 HAS SOUS 372329 HAS SOUPS 362525 WITH SCORE 363008.916
AT ITER 56 NEW BEST:: SOT 544111 SOS 482804 HAS SOPS 438674 HAS SOUS 365330 HAS SOUPS 355652 WITH SCORE 356134.804
AT ITER 58 NEW BEST:: SOT 543947 SOS 482640 HAS SOPS 438527 HAS SOUS 365196 HAS SOUPS 355522 WITH SCORE 356004.64
AT ITER 59 NEW BEST:: SOT 542099 SOS 480517 HAS SOPS 435661 HAS SOUS 362597 HAS SOUPS 352844 WITH SCORE 353324.517
AT ITER 61 NEW BEST:: SOT 537586 SOS 476004 HAS SOPS 431074 HAS SOUS 358033 HAS SOUPS 348183 WITH SCORE 348659.004
AT ITER 65 NEW BEST:: SOT 537813 SOS 476153 HAS SOPS 431301 HAS SOUS 354438 HAS SOUPS 344666 WITH SCORE 345142.153
AT ITER 68 NEW BEST:: SOT 536884 SOS 473626 HAS SOPS 428126 HAS SOUS 346590 HAS SOUPS 336847 WITH SCORE 337320.626
AT ITER 69 NEW BEST:: SOT 534866 SOS 471608 HAS SOPS 426108 HAS SOUS 344572 HAS SOUPS 334829 WITH SCORE 335300.608
AT ITER 70 NEW BEST:: SOT 530506 SOS 467248 HAS SOPS 421748 HAS SOUS 340250 HAS SOUPS 330469 WITH SCORE 330936.248
AT ITER 71 NEW BEST:: SOT 530306 SOS 467048 HAS SOPS 421555 HAS SOUS 340052 HAS SOUPS 330283 WITH SCORE 330750.048
AT ITER 73 NEW BEST:: SOT 530306 SOS 466719 HAS SOPS 420433 HAS SOUS 339193 HAS SOUPS 329446 WITH SCORE 329912.719
AT ITER 74 NEW BEST:: SOT 530393 SOS 465827 HAS SOPS 419704 HAS SOUS 330493 HAS SOUPS 320844 WITH SCORE 321309.827
AT ITER 75 NEW BEST:: SOT 530351 SOS 465785 HAS SOPS 419662 HAS SOUS 330451 HAS SOUPS 320802 WITH SCORE 321267.785
AT ITER 78 NEW BEST:: SOT 528310 SOS 462861 HAS SOPS 417978 HAS SOUS 319568 HAS SOUPS 310011 WITH SCORE 310473.861
AT ITER 80 NEW BEST:: SOT 528375 SOS 462926 HAS SOPS 417994 HAS SOUS 319587 HAS SOUPS 309978 WITH SCORE 310440.926
AT ITER 83 NEW BEST:: SOT 528330 SOS 462334 HAS SOPS 416111 HAS SOUS 318177 HAS SOUPS 308568 WITH SCORE 309030.334
AT ITER 84 NEW BEST:: SOT 528681 SOS 459897 HAS SOPS 414086 HAS SOUS 311742 HAS SOUPS 302277 WITH SCORE 302736.897
AT ITER 85 NEW BEST:: SOT 528676 SOS 459892 HAS SOPS 414042 HAS SOUS 311659 HAS SOUPS 302194 WITH SCORE 302653.892
AT ITER 86 NEW BEST:: SOT 528690 SOS 459217 HAS SOPS 414017 HAS SOUS 310373 HAS SOUPS 300947 WITH SCORE 301406.217
AT ITER 89 NEW BEST:: SOT 526225 SOS 455096 HAS SOPS 409053 HAS SOUS 298000 HAS SOUPS 288672 WITH SCORE 289127.096
AT ITER 92 NEW BEST:: SOT 525953 SOS 454824 HAS SOPS 408781 HAS SOUS 297728 HAS SOUPS 288400 WITH SCORE 288854.824
AT ITER 93 NEW BEST:: SOT 524910 SOS 453691 HAS SOPS 407483 HAS SOUS 296510 HAS SOUPS 287182 WITH SCORE 287635.691
AT ITER 94 NEW BEST:: SOT 521256 SOS 450037 HAS SOPS 403801 HAS SOUS 292800 HAS SOUPS 283472 WITH SCORE 283922.037
AT ITER 95 NEW BEST:: SOT 521898 SOS 446941 HAS SOPS 399545 HAS SOUS 284437 HAS SOUPS 275263 WITH SCORE 275709.941
AT ITER 96 NEW BEST:: SOT 522169 SOS 447176 HAS SOPS 399798 HAS SOUS 283808 HAS SOUPS 274652 WITH SCORE 275099.176
AT ITER 97 NEW BEST:: SOT 523165 SOS 447460 HAS SOPS 400794 HAS SOUS 278166 HAS SOUPS 269157 WITH SCORE 269604.46
AT ITER 98 NEW BEST:: SOT 523165 SOS 446527 HAS SOPS 400048 HAS SOUS 277392 HAS SOUPS 268402 WITH SCORE 268848.527
AT ITER 99 NEW BEST:: SOT 522484 SOS 445846 HAS SOPS 399367 HAS SOUS 276723 HAS SOUPS 267721 WITH SCORE 268166.846
AT ITER 100 NEW BEST:: SOT 522484 SOS 444983 HAS SOPS 396917 HAS SOUS 275087 HAS SOUPS 266085 WITH SCORE 266529.983
AT ITER 101 NEW BEST:: SOT 522517 SOS 443203 HAS SOPS 394757 HAS SOUS 271904 HAS SOUPS 262957 WITH SCORE 263400.203
AT ITER 102 NEW BEST:: SOT 520925 SOS 441611 HAS SOPS 393231 HAS SOUS 270378 HAS SOUPS 261497 WITH SCORE 261938.611
AT ITER 106 NEW BEST:: SOT 520845 SOS 440583 HAS SOPS 390133 HAS SOUS 268108 HAS SOUPS 259258 WITH SCORE 259698.583
AT ITER 107 NEW BEST:: SOT 520997 SOS 437597 HAS SOPS 388398 HAS SOUS 263737 HAS SOUPS 255001 WITH SCORE 255438.597
AT ITER 108 NEW BEST:: SOT 521003 SOS 434540 HAS SOPS 386364 HAS SOUS 261786 HAS SOUPS 253108 WITH SCORE 253542.54
AT ITER 110 NEW BEST:: SOT 524195 SOS 437537 HAS SOPS 389622 HAS SOUS 258623 HAS SOUPS 250078 WITH SCORE 250515.537
AT ITER 112 NEW BEST:: SOT 524006 SOS 437348 HAS SOPS 389433 HAS SOUS 258434 HAS SOUPS 249889 WITH SCORE 250326.348
AT ITER 115 NEW BEST:: SOT 524622 SOS 433900 HAS SOPS 388085 HAS SOUS 253040 HAS SOUPS 244658 WITH SCORE 245091.9
AT ITER 118 NEW BEST:: SOT 529022 SOS 437205 HAS SOPS 392434 HAS SOUS 249732 HAS SOUPS 241525 WITH SCORE 241962.205
AT ITER 121 NEW BEST:: SOT 526731 SOS 434914 HAS SOPS 390094 HAS SOUS 247343 HAS SOUPS 239136 WITH SCORE 239570.914
AT ITER 122 NEW BEST:: SOT 526848 SOS 432739 HAS SOPS 387792 HAS SOUS 243235 HAS SOUPS 235188 WITH SCORE 235620.739
AT ITER 124 NEW BEST:: SOT 526732 SOS 430138 HAS SOPS 387213 HAS SOUS 238353 HAS SOUPS 230506 WITH SCORE 230936.138
AT ITER 125 NEW BEST:: SOT 526791 SOS 429830 HAS SOPS 387307 HAS SOUS 237099 HAS SOUPS 229287 WITH SCORE 229716.83
AT ITER 128 NEW BEST:: SOT 525196 SOS 428169 HAS SOPS 385712 HAS SOUS 235504 HAS SOUPS 227758 WITH SCORE 228186.169
AT ITER 129 NEW BEST:: SOT 521919 SOS 423647 HAS SOPS 379887 HAS SOUS 230808 HAS SOUPS 223031 WITH SCORE 223454.647
AT ITER 130 NEW BEST:: SOT 520533 SOS 422125 HAS SOPS 378365 HAS SOUS 229378 HAS SOUPS 221509 WITH SCORE 221931.125
AT ITER 136 NEW BEST:: SOT 520111 SOS 421731 HAS SOPS 377971 HAS SOUS 228984 HAS SOUPS 221115 WITH SCORE 221536.731
AT ITER 137 NEW BEST:: SOT 520111 SOS 421731 HAS SOPS 377926 HAS SOUS 228894 HAS SOUPS 221025 WITH SCORE 221446.731
AT ITER 139 NEW BEST:: SOT 520111 SOS 421380 HAS SOPS 377681 HAS SOUS 228745 HAS SOUPS 220881 WITH SCORE 221302.38
AT ITER 141 NEW BEST:: SOT 520111 SOS 421340 HAS SOPS 377581 HAS SOUS 228681 HAS SOUPS 220817 WITH SCORE 221238.34
AT ITER 144 NEW BEST:: SOT 524454 SOS 421676 HAS SOPS 379512 HAS SOUS 223064 HAS SOUPS 215431 WITH SCORE 215852.676
AT ITER 146 NEW BEST:: SOT 524249 SOS 421471 HAS SOPS 379307 HAS SOUS 222859 HAS SOUPS 215226 WITH SCORE 215647.471
AT ITER 148 NEW BEST:: SOT 524261 SOS 420585 HAS SOPS 379370 HAS SOUS 219564 HAS SOUPS 212073 WITH SCORE 212493.585
AT ITER 149 NEW BEST:: SOT 524340 SOS 421397 HAS SOPS 382356 HAS SOUS 219081 HAS SOUPS 211647 WITH SCORE 212068.397
AT ITER 150 NEW BEST:: SOT 524242 SOS 421303 HAS SOPS 382183 HAS SOUS 218908 HAS SOUPS 211391 WITH SCORE 211812.303
AT ITER 151 NEW BEST:: SOT 524235 SOS 419711 HAS SOPS 379512 HAS SOUS 217761 HAS SOUPS 210251 WITH SCORE 210670.711
AT ITER 152 NEW BEST:: SOT 524235 SOS 418790 HAS SOPS 378162 HAS SOUS 217278 HAS SOUPS 209795 WITH SCORE 210213.79
AT ITER 154 NEW BEST:: SOT 524235 SOS 418828 HAS SOPS 378151 HAS SOUS 217218 HAS SOUPS 209735 WITH SCORE 210153.828
AT ITER 161 NEW BEST:: SOT 524235 SOS 418734 HAS SOPS 378013 HAS SOUS 217170 HAS SOUPS 209687 WITH SCORE 210105.734
AT ITER 162 NEW BEST:: SOT 524246 SOS 417616 HAS SOPS 376221 HAS SOUS 216566 HAS SOUPS 209083 WITH SCORE 209500.616
AT ITER 163 NEW BEST:: SOT 524439 SOS 415958 HAS SOPS 375598 HAS SOUS 213762 HAS SOUPS 206359 WITH SCORE 206774.958
AT ITER 164 NEW BEST:: SOT 524439 SOS 415791 HAS SOPS 375329 HAS SOUS 213654 HAS SOUPS 206251 WITH SCORE 206666.791
AT ITER 166 NEW BEST:: SOT 524439 SOS 415491 HAS SOPS 374803 HAS SOUS 213441 HAS SOUPS 205989 WITH SCORE 206404.491
AT ITER 167 NEW BEST:: SOT 524439 SOS 414782 HAS SOPS 374803 HAS SOUS 213200 HAS SOUPS 205767 WITH SCORE 206181.782
AT ITER 168 NEW BEST:: SOT 522052 SOS 412395 HAS SOPS 372398 HAS SOUS 210795 HAS SOUPS 203344 WITH SCORE 203756.395
AT ITER 169 NEW BEST:: SOT 523746 SOS 413068 HAS SOPS 373028 HAS SOUS 206261 HAS SOUPS 198933 WITH SCORE 199346.068
AT ITER 174 NEW BEST:: SOT 523746 SOS 411592 HAS SOPS 370578 HAS SOUS 205238 HAS SOUPS 197910 WITH SCORE 198321.592
AT ITER 175 NEW BEST:: SOT 523731 SOS 411127 HAS SOPS 369798 HAS SOUS 204850 HAS SOUPS 197550 WITH SCORE 197961.127
AT ITER 176 NEW BEST:: SOT 524001 SOS 411231 HAS SOPS 370106 HAS SOUS 203424 HAS SOUPS 196200 WITH SCORE 196611.231
AT ITER 178 NEW BEST:: SOT 522514 SOS 410615 HAS SOPS 370047 HAS SOUS 202627 HAS SOUPS 195326 WITH SCORE 195736.615
AT ITER 179 NEW BEST:: SOT 522514 SOS 410351 HAS SOPS 369493 HAS SOUS 202322 HAS SOUPS 195021 WITH SCORE 195431.351
AT ITER 180 NEW BEST:: SOT 522390 SOS 410227 HAS SOPS 369369 HAS SOUS 202198 HAS SOUPS 194897 WITH SCORE 195307.227
AT ITER 189 NEW BEST:: SOT 521365 SOS 409198 HAS SOPS 368400 HAS SOUS 201229 HAS SOUPS 193992 WITH SCORE 194401.198
AT ITER 192 NEW BEST:: SOT 521425 SOS 405841 HAS SOPS 365961 HAS SOUS 199109 HAS SOUPS 191932 WITH SCORE 192337.841
AT ITER 193 NEW BEST:: SOT 525132 SOS 407289 HAS SOPS 369469 HAS SOUS 197066 HAS SOUPS 190151 WITH SCORE 190558.289
AT ITER 202 NEW BEST:: SOT 523104 SOS 405261 HAS SOPS 367392 HAS SOUS 194978 HAS SOUPS 188025 WITH SCORE 188430.261
AT ITER 206 NEW BEST:: SOT 522501 SOS 404399 HAS SOPS 366789 HAS SOUS 192484 HAS SOUPS 185574 WITH SCORE 185978.399
AT ITER 207 NEW BEST:: SOT 521356 SOS 403254 HAS SOPS 365644 HAS SOUS 191339 HAS SOUPS 184429 WITH SCORE 184832.254
AT ITER 212 NEW BEST:: SOT 521279 SOS 401180 HAS SOPS 363767 HAS SOUS 189487 HAS SOUPS 182615 WITH SCORE 183016.18
AT ITER 215 NEW BEST:: SOT 520107 SOS 400017 HAS SOPS 362604 HAS SOUS 188324 HAS SOUPS 181452 WITH SCORE 181852.017
AT ITER 217 NEW BEST:: SOT 519237 SOS 397984 HAS SOPS 359796 HAS SOUS 186696 HAS SOUPS 179731 WITH SCORE 180128.984
AT ITER 218 NEW BEST:: SOT 519237 SOS 396420 HAS SOPS 357342 HAS SOUS 185753 HAS SOUPS 178788 WITH SCORE 179184.42
AT ITER 219 NEW BEST:: SOT 519237 SOS 396062 HAS SOPS 356730 HAS SOUS 185475 HAS SOUPS 178510 WITH SCORE 178906.062
AT ITER 222 NEW BEST:: SOT 519237 SOS 394683 HAS SOPS 354413 HAS SOUS 184523 HAS SOUPS 177558 WITH SCORE 177952.683
AT ITER 223 NEW BEST:: SOT 519126 SOS 394195 HAS SOPS 353741 HAS SOUS 184206 HAS SOUPS 177241 WITH SCORE 177635.195
AT ITER 226 NEW BEST:: SOT 519312 SOS 393779 HAS SOPS 355406 HAS SOUS 182881 HAS SOUPS 175989 WITH SCORE 176382.779
AT ITER 227 NEW BEST:: SOT 519312 SOS 393621 HAS SOPS 355202 HAS SOUS 182816 HAS SOUPS 175935 WITH SCORE 176328.621
AT ITER 231 NEW BEST:: SOT 519384 SOS 393732 HAS SOPS 355241 HAS SOUS 182854 HAS SOUPS 175867 WITH SCORE 176260.732
AT ITER 234 NEW BEST:: SOT 521274 SOS 395553 HAS SOPS 357131 HAS SOUS 181363 HAS SOUPS 174445 WITH SCORE 174840.553
AT ITER 243 NEW BEST:: SOT 521274 SOS 395610 HAS SOPS 357131 HAS SOUS 181306 HAS SOUPS 174388 WITH SCORE 174783.61
AT ITER 247 NEW BEST:: SOT 521274 SOS 395162 HAS SOPS 357131 HAS SOUS 180989 HAS SOUPS 174101 WITH SCORE 174496.162
AT ITER 250 NEW BEST:: SOT 521875 SOS 395315 HAS SOPS 357806 HAS SOUS 178449 HAS SOUPS 171672 WITH SCORE 172067.315
AT ITER 257 NEW BEST:: SOT 521478 SOS 394918 HAS SOPS 357471 HAS SOUS 178114 HAS SOUPS 171399 WITH SCORE 171793.918
AT ITER 260 NEW BEST:: SOT 527621 SOS 400478 HAS SOPS 363681 HAS SOUS 177274 HAS SOUPS 170713 WITH SCORE 171113.478
AT ITER 263 NEW BEST:: SOT 526830 SOS 401166 HAS SOPS 364542 HAS SOUS 176735 HAS SOUPS 170135 WITH SCORE 170536.166
AT ITER 264 NEW BEST:: SOT 526757 SOS 401093 HAS SOPS 364396 HAS SOUS 176589 HAS SOUPS 169916 WITH SCORE 170317.093
AT ITER 271 NEW BEST:: SOT 526729 SOS 401065 HAS SOPS 364368 HAS SOUS 176561 HAS SOUPS 169888 WITH SCORE 170289.065
AT ITER 272 NEW BEST:: SOT 530383 SOS 400661 HAS SOPS 365523 HAS SOUS 172576 HAS SOUPS 166085 WITH SCORE 166485.661
AT ITER 274 NEW BEST:: SOT 531155 SOS 399045 HAS SOPS 362691 HAS SOUS 168440 HAS SOUPS 162020 WITH SCORE 162419.045
AT ITER 278 NEW BEST:: SOT 531155 SOS 398581 HAS SOPS 362079 HAS SOUS 168268 HAS SOUPS 161848 WITH SCORE 162246.581
AT ITER 282 NEW BEST:: SOT 530860 SOS 398286 HAS SOPS 361784 HAS SOUS 168025 HAS SOUPS 161553 WITH SCORE 161951.286
AT ITER 283 NEW BEST:: SOT 529966 SOS 397392 HAS SOPS 360890 HAS SOUS 167131 HAS SOUPS 160659 WITH SCORE 161056.392
AT ITER 286 NEW BEST:: SOT 529904 SOS 397330 HAS SOPS 360859 HAS SOUS 167110 HAS SOUPS 160659 WITH SCORE 161056.33
AT ITER 290 NEW BEST:: SOT 533327 SOS 400621 HAS SOPS 364282 HAS SOUS 166915 HAS SOUPS 160539 WITH SCORE 160939.621
AT ITER 295 NEW BEST:: SOT 531721 SOS 399015 HAS SOPS 362676 HAS SOUS 165309 HAS SOUPS 158933 WITH SCORE 159332.015
AT ITER 296 NEW BEST:: SOT 532020 SOS 397763 HAS SOPS 363875 HAS SOUS 162795 HAS SOUPS 156525 WITH SCORE 156922.763
AT ITER 300 NEW BEST:: SOT 532827 SOS 397144 HAS SOPS 364769 HAS SOUS 160765 HAS SOUPS 154669 WITH SCORE 155066.144
AT ITER 304 NEW BEST:: SOT 533278 SOS 396419 HAS SOPS 366684 HAS SOUS 157764 HAS SOUPS 151791 WITH SCORE 152187.419
AT ITER 310 NEW BEST:: SOT 534170 SOS 397204 HAS SOPS 367576 HAS SOUS 157363 HAS SOUPS 151418 WITH SCORE 151815.204
AT ITER 315 NEW BEST:: SOT 534170 SOS 397160 HAS SOPS 367525 HAS SOUS 157339 HAS SOUPS 151413 WITH SCORE 151810.16
AT ITER 317 NEW BEST:: SOT 534210 SOS 397701 HAS SOPS 369862 HAS SOUS 156867 HAS SOUPS 150989 WITH SCORE 151386.701
AT ITER 319 NEW BEST:: SOT 534210 SOS 397708 HAS SOPS 369866 HAS SOUS 156861 HAS SOUPS 150983 WITH SCORE 151380.708
AT ITER 320 NEW BEST:: SOT 534174 SOS 397580 HAS SOPS 369728 HAS SOUS 156811 HAS SOUPS 150933 WITH SCORE 151330.58
AT ITER 323 NEW BEST:: SOT 536645 SOS 401091 HAS SOPS 375258 HAS SOUS 155069 HAS SOUPS 149319 WITH SCORE 149720.091
AT ITER 326 NEW BEST:: SOT 536981 SOS 403110 HAS SOPS 379164 HAS SOUS 153932 HAS SOUPS 148252 WITH SCORE 148655.11
AT ITER 333 NEW BEST:: SOT 536349 SOS 402478 HAS SOPS 378532 HAS SOUS 153300 HAS SOUPS 147620 WITH SCORE 148022.478
AT ITER 340 NEW BEST:: SOT 536432 SOS 401454 HAS SOPS 377435 HAS SOUS 153208 HAS SOUPS 147528 WITH SCORE 147929.454
AT ITER 354 NEW BEST:: SOT 534359 SOS 399381 HAS SOPS 375362 HAS SOUS 151135 HAS SOUPS 145455 WITH SCORE 145854.381
AT ITER 355 NEW BEST:: SOT 534259 SOS 396970 HAS SOPS 372082 HAS SOUS 149962 HAS SOUPS 144362 WITH SCORE 144758.97
AT ITER 356 NEW BEST:: SOT 534259 SOS 393164 HAS SOPS 367159 HAS SOUS 148649 HAS SOUPS 143124 WITH SCORE 143517.164
AT ITER 359 NEW BEST:: SOT 535881 SOS 392137 HAS SOPS 366894 HAS SOUS 144259 HAS SOUPS 138868 WITH SCORE 139260.137
AT ITER 362 NEW BEST:: SOT 535881 SOS 390964 HAS SOPS 365466 HAS SOUS 143901 HAS SOUPS 138557 WITH SCORE 138947.964
AT ITER 363 NEW BEST:: SOT 535881 SOS 387642 HAS SOPS 361297 HAS SOUS 142954 HAS SOUPS 137610 WITH SCORE 137997.642
AT ITER 367 NEW BEST:: SOT 535783 SOS 385455 HAS SOPS 358751 HAS SOUS 142304 HAS SOUPS 137057 WITH SCORE 137442.455
AT ITER 372 NEW BEST:: SOT 534272 SOS 383944 HAS SOPS 357240 HAS SOUS 140793 HAS SOUPS 135546 WITH SCORE 135929.944
AT ITER 373 NEW BEST:: SOT 534196 SOS 383868 HAS SOPS 357164 HAS SOUS 140717 HAS SOUPS 135470 WITH SCORE 135853.868
AT ITER 374 NEW BEST:: SOT 534196 SOS 382978 HAS SOPS 356072 HAS SOUS 140498 HAS SOUPS 135303 WITH SCORE 135685.978
AT ITER 375 NEW BEST:: SOT 535209 SOS 385553 HAS SOPS 360901 HAS SOUS 139506 HAS SOUPS 134399 WITH SCORE 134784.553
AT ITER 376 NEW BEST:: SOT 535440 SOS 385250 HAS SOPS 360132 HAS SOUS 135981 HAS SOUPS 130939 WITH SCORE 131324.25
AT ITER 382 NEW BEST:: SOT 535440 SOS 383128 HAS SOPS 356576 HAS SOUS 134429 HAS SOUPS 129330 WITH SCORE 129713.128
AT ITER 383 NEW BEST:: SOT 535396 SOS 383084 HAS SOPS 356488 HAS SOUS 134341 HAS SOUPS 129198 WITH SCORE 129581.084
AT ITER 385 NEW BEST:: SOT 535484 SOS 383274 HAS SOPS 356586 HAS SOUS 134384 HAS SOUPS 129162 WITH SCORE 129545.274
AT ITER 386 NEW BEST:: SOT 535484 SOS 382599 HAS SOPS 355886 HAS SOUS 134331 HAS SOUPS 129123 WITH SCORE 129505.599
AT ITER 388 NEW BEST:: SOT 537292 SOS 384041 HAS SOPS 357694 HAS SOUS 133455 HAS SOUPS 128308 WITH SCORE 128692.041
AT ITER 395 NEW BEST:: SOT 535823 SOS 382519 HAS SOPS 356069 HAS SOUS 131776 HAS SOUPS 126629 WITH SCORE 127011.519
AT ITER 397 NEW BEST:: SOT 535029 SOS 381697 HAS SOPS 355247 HAS SOUS 130955 HAS SOUPS 125807 WITH SCORE 126188.697
AT ITER 398 NEW BEST:: SOT 536292 SOS 385036 HAS SOPS 362338 HAS SOUS 129597 HAS SOUPS 124581 WITH SCORE 124966.036
AT ITER 399 NEW BEST:: SOT 536487 SOS 384515 HAS SOPS 362552 HAS SOUS 127894 HAS SOUPS 122982 WITH SCORE 123366.515
AT ITER 404 NEW BEST:: SOT 532327 SOS 380491 HAS SOPS 358312 HAS SOUS 127169 HAS SOUPS 122169 WITH SCORE 122549.491
AT ITER 405 NEW BEST:: SOT 531623 SOS 379795 HAS SOPS 357616 HAS SOUS 126473 HAS SOUPS 121473 WITH SCORE 121852.795
AT ITER 416 NEW BEST:: SOT 531673 SOS 380523 HAS SOPS 359516 HAS SOUS 125919 HAS SOUPS 120956 WITH SCORE 121336.523
AT ITER 418 NEW BEST:: SOT 531673 SOS 380523 HAS SOPS 359509 HAS SOUS 125905 HAS SOUPS 120942 WITH SCORE 121322.523
AT ITER 421 NEW BEST:: SOT 531673 SOS 378944 HAS SOPS 357851 HAS SOUS 125767 HAS SOUPS 120804 WITH SCORE 121182.944
AT ITER 423 NEW BEST:: SOT 531377 SOS 378424 HAS SOPS 357190 HAS SOUS 125316 HAS SOUPS 120345 WITH SCORE 120723.424
AT ITER 425 NEW BEST:: SOT 529440 SOS 376487 HAS SOPS 355156 HAS SOUS 123332 HAS SOUPS 118214 WITH SCORE 118590.487
AT ITER 431 NEW BEST:: SOT 530408 SOS 377793 HAS SOPS 356838 HAS SOUS 123104 HAS SOUPS 118018 WITH SCORE 118395.793
AT ITER 439 NEW BEST:: SOT 530408 SOS 376206 HAS SOPS 353987 HAS SOUS 121813 HAS SOUPS 116727 WITH SCORE 117103.206
AT ITER 440 NEW BEST:: SOT 530408 SOS 371082 HAS SOPS 348397 HAS SOUS 121268 HAS SOUPS 116222 WITH SCORE 116593.082
AT ITER 442 NEW BEST:: SOT 530408 SOS 371070 HAS SOPS 348385 HAS SOUS 121268 HAS SOUPS 116222 WITH SCORE 116593.07
AT ITER 443 NEW BEST:: SOT 530399 SOS 371019 HAS SOPS 348334 HAS SOUS 121217 HAS SOUPS 116171 WITH SCORE 116542.019
AT ITER 450 NEW BEST:: SOT 530399 SOS 371403 HAS SOPS 348718 HAS SOUS 121257 HAS SOUPS 116163 WITH SCORE 116534.403
AT ITER 456 NEW BEST:: SOT 530112 SOS 371116 HAS SOPS 348431 HAS SOUS 120970 HAS SOUPS 115876 WITH SCORE 116247.116
AT ITER 457 NEW BEST:: SOT 530098 SOS 368539 HAS SOPS 345474 HAS SOUS 120490 HAS SOUPS 115396 WITH SCORE 115764.539
AT ITER 460 NEW BEST:: SOT 530098 SOS 368034 HAS SOPS 345476 HAS SOUS 120199 HAS SOUPS 115121 WITH SCORE 115489.034
AT ITER 464 NEW BEST:: SOT 529010 SOS 366946 HAS SOPS 344388 HAS SOUS 119097 HAS SOUPS 114033 WITH SCORE 114399.946
AT ITER 472 NEW BEST:: SOT 529010 SOS 366946 HAS SOPS 344377 HAS SOUS 119075 HAS SOUPS 114011 WITH SCORE 114377.946
AT ITER 487 NEW BEST:: SOT 528506 SOS 366442 HAS SOPS 343873 HAS SOUS 118571 HAS SOUPS 113507 WITH SCORE 113873.442
AT ITER 495 NEW BEST:: SOT 532720 SOS 370258 HAS SOPS 348087 HAS SOUS 118233 HAS SOUPS 113268 WITH SCORE 113638.258
AT ITER 501 NEW BEST:: SOT 532288 SOS 369826 HAS SOPS 347655 HAS SOUS 117801 HAS SOUPS 112836 WITH SCORE 113205.826
AT ITER 509 NEW BEST:: SOT 532288 SOS 369232 HAS SOPS 347048 HAS SOUS 117768 HAS SOUPS 112803 WITH SCORE 113172.232
AT ITER 521 NEW BEST:: SOT 529870 SOS 366844 HAS SOPS 344630 HAS SOUS 116820 HAS SOUPS 111825 WITH SCORE 112191.844
AT ITER 531 NEW BEST:: SOT 529870 SOS 366189 HAS SOPS 343953 HAS SOUS 116784 HAS SOUPS 111789 WITH SCORE 112155.189
AT ITER 536 NEW BEST:: SOT 529870 SOS 364814 HAS SOPS 342538 HAS SOUS 116765 HAS SOUPS 111770 WITH SCORE 112134.814
AT ITER 541 NEW BEST:: SOT 529870 SOS 365958 HAS SOPS 343668 HAS SOUS 116729 HAS SOUPS 111734 WITH SCORE 112099.958
AT ITER 545 NEW BEST:: SOT 529842 SOS 365930 HAS SOPS 343573 HAS SOUS 116567 HAS SOUPS 111572 WITH SCORE 111937.93
AT ITER 554 NEW BEST:: SOT 531509 SOS 364828 HAS SOPS 340607 HAS SOUS 110836 HAS SOUPS 105948 WITH SCORE 106312.828
AT ITER 557 NEW BEST:: SOT 530290 SOS 364119 HAS SOPS 340038 HAS SOUS 109783 HAS SOUPS 104895 WITH SCORE 105259.119
AT ITER 558 NEW BEST:: SOT 530199 SOS 364028 HAS SOPS 339957 HAS SOUS 109692 HAS SOUPS 104824 WITH SCORE 105188.028
AT ITER 569 NEW BEST:: SOT 530209 SOS 364019 HAS SOPS 339863 HAS SOUS 109532 HAS SOUPS 104664 WITH SCORE 105028.019
AT ITER 571 NEW BEST:: SOT 529856 SOS 363666 HAS SOPS 339621 HAS SOUS 109322 HAS SOUPS 104533 WITH SCORE 104896.666
AT ITER 577 NEW BEST:: SOT 532868 SOS 367776 HAS SOPS 345846 HAS SOUS 106892 HAS SOUPS 102191 WITH SCORE 102558.776
AT ITER 579 NEW BEST:: SOT 532868 SOS 367773 HAS SOPS 345832 HAS SOUS 106881 HAS SOUPS 102180 WITH SCORE 102547.773
AT ITER 582 NEW BEST:: SOT 532868 SOS 365711 HAS SOPS 343382 HAS SOUS 106444 HAS SOUPS 101743 WITH SCORE 102108.711
AT ITER 586 NEW BEST:: SOT 532157 SOS 365000 HAS SOPS 342671 HAS SOUS 105733 HAS SOUPS 101032 WITH SCORE 101397.0
AT ITER 591 NEW BEST:: SOT 533174 SOS 365546 HAS SOPS 342588 HAS SOUS 104427 HAS SOUPS 99759 WITH SCORE 100124.546
AT ITER 593 NEW BEST:: SOT 530611 SOS 363053 HAS SOPS 340025 HAS SOUS 103944 HAS SOUPS 99233 WITH SCORE 99596.053
AT ITER 597 NEW BEST:: SOT 530611 SOS 361839 HAS SOPS 338678 HAS SOUS 103819 HAS SOUPS 99108 WITH SCORE 99469.839
AT ITER 602 NEW BEST:: SOT 530611 SOS 361179 HAS SOPS 337928 HAS SOUS 103699 HAS SOUPS 98988 WITH SCORE 99349.179
AT ITER 605 NEW BEST:: SOT 530611 SOS 361388 HAS SOPS 340068 HAS SOUS 103160 HAS SOUPS 98500 WITH SCORE 98861.388
AT ITER 611 NEW BEST:: SOT 533178 SOS 367947 HAS SOPS 350076 HAS SOUS 101920 HAS SOUPS 97411 WITH SCORE 97778.947
AT ITER 615 NEW BEST:: SOT 534420 SOS 369060 HAS SOPS 351318 HAS SOUS 101041 HAS SOUPS 96577 WITH SCORE 96946.06
AT ITER 616 NEW BEST:: SOT 534395 SOS 369035 HAS SOPS 351293 HAS SOUS 101016 HAS SOUPS 96552 WITH SCORE 96921.035
AT ITER 621 NEW BEST:: SOT 535048 SOS 369603 HAS SOPS 351963 HAS SOUS 100871 HAS SOUPS 96442 WITH SCORE 96811.603
AT ITER 622 NEW BEST:: SOT 535064 SOS 369534 HAS SOPS 351928 HAS SOUS 100723 HAS SOUPS 96294 WITH SCORE 96663.534
AT ITER 623 NEW BEST:: SOT 534906 SOS 366331 HAS SOPS 348687 HAS SOUS 100398 HAS SOUPS 96102 WITH SCORE 96468.331
AT ITER 629 NEW BEST:: SOT 534906 SOS 368299 HAS SOPS 350647 HAS SOUS 100550 HAS SOUPS 96094 WITH SCORE 96462.299
AT ITER 637 NEW BEST:: SOT 534608 SOS 367877 HAS SOPS 350049 HAS SOUS 100364 HAS SOUPS 95902 WITH SCORE 96269.877
AT ITER 638 NEW BEST:: SOT 534608 SOS 365909 HAS SOPS 348060 HAS SOUS 100263 HAS SOUPS 95852 WITH SCORE 96217.909
AT ITER 639 NEW BEST:: SOT 535809 SOS 365507 HAS SOPS 349336 HAS SOUS 95964 HAS SOUPS 91728 WITH SCORE 92093.507
AT ITER 641 NEW BEST:: SOT 535808 SOS 365506 HAS SOPS 349285 HAS SOUS 95863 HAS SOUPS 91627 WITH SCORE 91992.506
AT ITER 660 NEW BEST:: SOT 535808 SOS 365421 HAS SOPS 349143 HAS SOUS 95721 HAS SOUPS 91513 WITH SCORE 91878.421
AT ITER 662 NEW BEST:: SOT 535830 SOS 365443 HAS SOPS 349148 HAS SOUS 95726 HAS SOUPS 91501 WITH SCORE 91866.443
AT ITER 667 NEW BEST:: SOT 535830 SOS 362364 HAS SOPS 345476 HAS SOUS 95477 HAS SOUPS 91204 WITH SCORE 91566.364
AT ITER 669 NEW BEST:: SOT 535798 SOS 362270 HAS SOPS 345312 HAS SOUS 95307 HAS SOUPS 91032 WITH SCORE 91394.27
AT ITER 671 NEW BEST:: SOT 535798 SOS 362729 HAS SOPS 345715 HAS SOUS 95216 HAS SOUPS 90938 WITH SCORE 91300.729
AT ITER 674 NEW BEST:: SOT 536474 SOS 363675 HAS SOPS 347891 HAS SOUS 93232 HAS SOUPS 89033 WITH SCORE 89396.675
AT ITER 676 NEW BEST:: SOT 536388 SOS 363589 HAS SOPS 347805 HAS SOUS 93146 HAS SOUPS 88947 WITH SCORE 89310.589
AT ITER 690 NEW BEST:: SOT 536716 SOS 363730 HAS SOPS 348161 HAS SOUS 92317 HAS SOUPS 88146 WITH SCORE 88509.73
AT ITER 695 NEW BEST:: SOT 536716 SOS 363634 HAS SOPS 348056 HAS SOUS 92347 HAS SOUPS 88134 WITH SCORE 88497.634
AT ITER 697 NEW BEST:: SOT 536760 SOS 363670 HAS SOPS 348100 HAS SOUS 92299 HAS SOUPS 88088 WITH SCORE 88451.67
AT ITER 700 NEW BEST:: SOT 536760 SOS 363670 HAS SOPS 348084 HAS SOUS 92283 HAS SOUPS 88056 WITH SCORE 88419.67
AT ITER 701 NEW BEST:: SOT 536760 SOS 363670 HAS SOPS 348076 HAS SOUS 92267 HAS SOUPS 88040 WITH SCORE 88403.67
AT ITER 710 NEW BEST:: SOT 536690 SOS 357544 HAS SOPS 341268 HAS SOUS 91279 HAS SOUPS 87092 WITH SCORE 87449.544
AT ITER 711 NEW BEST:: SOT 536690 SOS 357386 HAS SOPS 341078 HAS SOUS 91215 HAS SOUPS 87028 WITH SCORE 87385.386
AT ITER 718 NEW BEST:: SOT 536690 SOS 357372 HAS SOPS 341064 HAS SOUS 91201 HAS SOUPS 87028 WITH SCORE 87385.372
AT ITER 724 NEW BEST:: SOT 542236 SOS 366774 HAS SOPS 353203 HAS SOUS 90587 HAS SOUPS 86506 WITH SCORE 86872.774
AT ITER 736 NEW BEST:: SOT 542236 SOS 366809 HAS SOPS 353212 HAS SOUS 90596 HAS SOUPS 86472 WITH SCORE 86838.809
AT ITER 738 NEW BEST:: SOT 542232 SOS 366805 HAS SOPS 353208 HAS SOUS 90592 HAS SOUPS 86468 WITH SCORE 86834.805
AT ITER 739 NEW BEST:: SOT 542214 SOS 364450 HAS SOPS 350816 HAS SOUS 90456 HAS SOUPS 86329 WITH SCORE 86693.45
AT ITER 743 NEW BEST:: SOT 542245 SOS 363468 HAS SOPS 350647 HAS SOUS 88940 HAS SOUPS 84813 WITH SCORE 85176.468
AT ITER 749 NEW BEST:: SOT 542245 SOS 364050 HAS SOPS 351211 HAS SOUS 88928 HAS SOUPS 84801 WITH SCORE 85165.05
AT ITER 759 NEW BEST:: SOT 542245 SOS 363952 HAS SOPS 351111 HAS SOUS 88922 HAS SOUPS 84795 WITH SCORE 85158.952
AT ITER 762 NEW BEST:: SOT 542019 SOS 367947 HAS SOPS 355115 HAS SOUS 88964 HAS SOUPS 84746 WITH SCORE 85113.947
AT ITER 766 NEW BEST:: SOT 541073 SOS 367052 HAS SOPS 354169 HAS SOUS 88867 HAS SOUPS 84631 WITH SCORE 84998.052
AT ITER 772 NEW BEST:: SOT 544740 SOS 370374 HAS SOPS 357836 HAS SOUS 88029 HAS SOUPS 83890 WITH SCORE 84260.374
AT ITER 777 NEW BEST:: SOT 544740 SOS 370152 HAS SOPS 357610 HAS SOUS 88017 HAS SOUPS 83878 WITH SCORE 84248.152
AT ITER 778 NEW BEST:: SOT 544670 SOS 370082 HAS SOPS 357550 HAS SOUS 87942 HAS SOUPS 83828 WITH SCORE 84198.082
AT ITER 786 NEW BEST:: SOT 544631 SOS 370043 HAS SOPS 357511 HAS SOUS 87903 HAS SOUPS 83789 WITH SCORE 84159.043
AT ITER 793 NEW BEST:: SOT 544631 SOS 370043 HAS SOPS 357494 HAS SOUS 87903 HAS SOUPS 83755 WITH SCORE 84125.043
AT ITER 798 NEW BEST:: SOT 544631 SOS 369443 HAS SOPS 356894 HAS SOUS 87879 HAS SOUPS 83731 WITH SCORE 84100.443
AT ITER 800 NEW BEST:: SOT 544631 SOS 369443 HAS SOPS 356893 HAS SOUS 87877 HAS SOUPS 83729 WITH SCORE 84098.443
AT ITER 806 NEW BEST:: SOT 544631 SOS 371872 HAS SOPS 359306 HAS SOUS 87959 HAS SOUPS 83725 WITH SCORE 84096.872
AT ITER 810 NEW BEST:: SOT 541952 SOS 369324 HAS SOPS 356596 HAS SOUS 87518 HAS SOUPS 83205 WITH SCORE 83574.324
AT ITER 815 NEW BEST:: SOT 547246 SOS 372779 HAS SOPS 361074 HAS SOUS 85553 HAS SOUPS 81405 WITH SCORE 81777.779
AT ITER 819 NEW BEST:: SOT 548154 SOS 373606 HAS SOPS 361982 HAS SOUS 85207 HAS SOUPS 81071 WITH SCORE 81444.606
AT ITER 833 NEW BEST:: SOT 548154 SOS 372566 HAS SOPS 360911 HAS SOUS 85113 HAS SOUPS 80998 WITH SCORE 81370.566
AT ITER 840 NEW BEST:: SOT 548643 SOS 372925 HAS SOPS 361425 HAS SOUS 84507 HAS SOUPS 80442 WITH SCORE 80814.925
AT ITER 859 NEW BEST:: SOT 548643 SOS 373087 HAS SOPS 361575 HAS SOUS 84513 HAS SOUPS 80433 WITH SCORE 80806.087
AT ITER 888 NEW BEST:: SOT 548643 SOS 372325 HAS SOPS 360675 HAS SOUS 84376 HAS SOUPS 80259 WITH SCORE 80631.325
AT ITER 890 NEW BEST:: SOT 548643 SOS 372269 HAS SOPS 360536 HAS SOUS 84237 HAS SOUPS 80120 WITH SCORE 80492.269
AT ITER 896 NEW BEST:: SOT 548643 SOS 372410 HAS SOPS 360672 HAS SOUS 84238 HAS SOUPS 80104 WITH SCORE 80476.41
AT ITER 901 NEW BEST:: SOT 552217 SOS 375676 HAS SOPS 364246 HAS SOUS 83926 HAS SOUPS 79870 WITH SCORE 80245.676
AT ITER 902 NEW BEST:: SOT 552217 SOS 374248 HAS SOPS 362846 HAS SOUS 83926 HAS SOUPS 79870 WITH SCORE 80244.248
AT ITER 912 NEW BEST:: SOT 552155 SOS 374186 HAS SOPS 362784 HAS SOUS 83864 HAS SOUPS 79808 WITH SCORE 80182.186
AT ITER 916 NEW BEST:: SOT 552155 SOS 374175 HAS SOPS 362773 HAS SOUS 83858 HAS SOUPS 79808 WITH SCORE 80182.175
AT ITER 918 NEW BEST:: SOT 552230 SOS 373450 HAS SOPS 362176 HAS SOUS 83004 HAS SOUPS 78975 WITH SCORE 79348.45
AT ITER 934 NEW BEST:: SOT 552230 SOS 373960 HAS SOPS 362672 HAS SOUS 83031 HAS SOUPS 78967 WITH SCORE 79340.96
AT ITER 941 NEW BEST:: SOT 552057 SOS 373787 HAS SOPS 362499 HAS SOUS 82858 HAS SOUPS 78794 WITH SCORE 79167.787
AT ITER 948 NEW BEST:: SOT 552057 SOS 372858 HAS SOPS 361427 HAS SOUS 82956 HAS SOUPS 78752 WITH SCORE 79124.858
AT ITER 949 NEW BEST:: SOT 552097 SOS 372860 HAS SOPS 361472 HAS SOUS 82789 HAS SOUPS 78595 WITH SCORE 78967.86
AT ITER 953 NEW BEST:: SOT 551548 SOS 372311 HAS SOPS 360965 HAS SOUS 82282 HAS SOUPS 78130 WITH SCORE 78502.311
AT ITER 955 NEW BEST:: SOT 551548 SOS 372136 HAS SOPS 360769 HAS SOUS 82253 HAS SOUPS 78105 WITH SCORE 78477.136
AT ITER 956 NEW BEST:: SOT 551548 SOS 370586 HAS SOPS 359219 HAS SOUS 82191 HAS SOUPS 78043 WITH SCORE 78413.586
AT ITER 957 NEW BEST:: SOT 551548 SOS 370586 HAS SOPS 359217 HAS SOUS 82189 HAS SOUPS 78041 WITH SCORE 78411.586
AT ITER 958 NEW BEST:: SOT 551548 SOS 372144 HAS SOPS 360712 HAS SOUS 82127 HAS SOUPS 77979 WITH SCORE 78351.144
AT ITER 966 NEW BEST:: SOT 551548 SOS 371165 HAS SOPS 359733 HAS SOUS 82060 HAS SOUPS 77941 WITH SCORE 78312.165
AT ITER 968 NEW BEST:: SOT 551548 SOS 371979 HAS SOPS 360513 HAS SOUS 82081 HAS SOUPS 77905 WITH SCORE 78276.979
AT ITER 972 NEW BEST:: SOT 551343 SOS 371782 HAS SOPS 360308 HAS SOUS 82068 HAS SOUPS 77888 WITH SCORE 78259.782
AT ITER 974 NEW BEST:: SOT 551343 SOS 370711 HAS SOPS 359237 HAS SOUS 82026 HAS SOUPS 77846 WITH SCORE 78216.711
AT ITER 977 NEW BEST:: SOT 551343 SOS 370270 HAS SOPS 358805 HAS SOUS 82026 HAS SOUPS 77846 WITH SCORE 78216.27
AT ITER 982 NEW BEST:: SOT 551343 SOS 370196 HAS SOPS 358709 HAS SOUS 81930 HAS SOUPS 77802 WITH SCORE 78172.196
AT ITER 992 NEW BEST:: SOT 551343 SOS 369846 HAS SOPS 358359 HAS SOUS 81916 HAS SOUPS 77788 WITH SCORE 78157.846
AT ITER 997 NEW BEST:: SOT 551879 SOS 371240 HAS SOPS 360162 HAS SOUS 81661 HAS SOUPS 77558 WITH SCORE 77929.24
AT ITER 999 NEW BEST:: SOT 551869 SOS 371230 HAS SOPS 360123 HAS SOUS 81622 HAS SOUPS 77490 WITH SCORE 77861.23
AT ITER 1018 NEW BEST:: SOT 551794 SOS 371092 HAS SOPS 359985 HAS SOUS 81484 HAS SOUPS 77352 WITH SCORE 77723.092
AT ITER 1043 NEW BEST:: SOT 551794 SOS 369766 HAS SOPS 358659 HAS SOUS 81406 HAS SOUPS 77300 WITH SCORE 77669.766
AT ITER 1047 NEW BEST:: SOT 551915 SOS 369616 HAS SOPS 358780 HAS SOUS 80498 HAS SOUPS 76418 WITH SCORE 76787.616
AT ITER 1062 NEW BEST:: SOT 551915 SOS 369616 HAS SOPS 358779 HAS SOUS 80497 HAS SOUPS 76416 WITH SCORE 76785.616
AT ITER 1069 NEW BEST:: SOT 551915 SOS 369597 HAS SOPS 358760 HAS SOUS 80497 HAS SOUPS 76416 WITH SCORE 76785.597
AT ITER 1071 NEW BEST:: SOT 551913 SOS 369595 HAS SOPS 358758 HAS SOUS 80495 HAS SOUPS 76414 WITH SCORE 76783.595
AT ITER 1076 NEW BEST:: SOT 551913 SOS 369573 HAS SOPS 358736 HAS SOUS 80473 HAS SOUPS 76414 WITH SCORE 76783.573
AT ITER 1091 NEW BEST:: SOT 551913 SOS 369580 HAS SOPS 358736 HAS SOUS 80473 HAS SOUPS 76407 WITH SCORE 76776.58
AT ITER 1105 NEW BEST:: SOT 551913 SOS 369563 HAS SOPS 358669 HAS SOUS 80456 HAS SOUPS 76357 WITH SCORE 76726.563
AT ITER 1110 NEW BEST:: SOT 551911 SOS 369516 HAS SOPS 358568 HAS SOUS 80355 HAS SOUPS 76247 WITH SCORE 76616.516
AT ITER 1119 NEW BEST:: SOT 551883 SOS 369488 HAS SOPS 358401 HAS SOUS 80087 HAS SOUPS 75941 WITH SCORE 76310.488
AT ITER 1133 NEW BEST:: SOT 551883 SOS 369085 HAS SOPS 357998 HAS SOUS 80068 HAS SOUPS 75925 WITH SCORE 76294.085
AT ITER 1147 NEW BEST:: SOT 551813 SOS 369015 HAS SOPS 357838 HAS SOUS 79877 HAS SOUPS 75675 WITH SCORE 76044.015
AT ITER 1149 NEW BEST:: SOT 548564 SOS 365899 HAS SOPS 354589 HAS SOUS 79395 HAS SOUPS 75135 WITH SCORE 75500.899
AT ITER 1151 NEW BEST:: SOT 548564 SOS 365389 HAS SOPS 354079 HAS SOUS 79364 HAS SOUPS 75115 WITH SCORE 75480.389
AT ITER 1156 NEW BEST:: SOT 548564 SOS 363434 HAS SOPS 351914 HAS SOUS 79048 HAS SOUPS 74868 WITH SCORE 75231.434
AT ITER 1158 NEW BEST:: SOT 548552 SOS 363390 HAS SOPS 351844 HAS SOUS 78983 HAS SOUPS 74804 WITH SCORE 75167.39
AT ITER 1159 NEW BEST:: SOT 548552 SOS 363978 HAS SOPS 352391 HAS SOUS 79021 HAS SOUPS 74714 WITH SCORE 75077.978
AT ITER 1166 NEW BEST:: SOT 548552 SOS 363974 HAS SOPS 352387 HAS SOUS 79021 HAS SOUPS 74714 WITH SCORE 75077.974
AT ITER 1173 NEW BEST:: SOT 548552 SOS 361576 HAS SOPS 350086 HAS SOUS 78974 HAS SOUPS 74716 WITH SCORE 75077.576
AT ITER 1187 NEW BEST:: SOT 549201 SOS 362143 HAS SOPS 350735 HAS SOUS 78455 HAS SOUPS 74222 WITH SCORE 74584.143
AT ITER 1209 NEW BEST:: SOT 549201 SOS 363691 HAS SOPS 352250 HAS SOUS 78451 HAS SOUPS 74218 WITH SCORE 74581.691
AT ITER 1234 NEW BEST:: SOT 549487 SOS 364322 HAS SOPS 353275 HAS SOUS 77209 HAS SOUPS 73040 WITH SCORE 73404.322
AT ITER 1235 NEW BEST:: SOT 547197 SOS 362153 HAS SOPS 350985 HAS SOUS 76998 HAS SOUPS 72785 WITH SCORE 73147.153
AT ITER 1237 NEW BEST:: SOT 547197 SOS 364456 HAS SOPS 353238 HAS SOUS 76990 HAS SOUPS 72777 WITH SCORE 73141.456
AT ITER 1248 NEW BEST:: SOT 547164 SOS 364423 HAS SOPS 353205 HAS SOUS 76957 HAS SOUPS 72744 WITH SCORE 73108.423
AT ITER 1254 NEW BEST:: SOT 547164 SOS 364423 HAS SOPS 353204 HAS SOUS 76956 HAS SOUPS 72742 WITH SCORE 73106.423
AT ITER 1256 NEW BEST:: SOT 547011 SOS 364270 HAS SOPS 353033 HAS SOUS 76785 HAS SOUPS 72553 WITH SCORE 72917.27
AT ITER 1278 NEW BEST:: SOT 547011 SOS 362871 HAS SOPS 351634 HAS SOUS 76779 HAS SOUPS 72497 WITH SCORE 72859.871
AT ITER 1280 NEW BEST:: SOT 544255 SOS 360139 HAS SOPS 348857 HAS SOUS 75613 HAS SOUPS 71298 WITH SCORE 71658.139
AT ITER 1292 NEW BEST:: SOT 544255 SOS 360144 HAS SOPS 348845 HAS SOUS 75581 HAS SOUPS 71266 WITH SCORE 71626.144
AT ITER 1332 NEW BEST:: SOT 545077 SOS 360876 HAS SOPS 349692 HAS SOUS 75268 HAS SOUPS 71003 WITH SCORE 71363.876
AT ITER 1335 NEW BEST:: SOT 544987 SOS 360787 HAS SOPS 349602 HAS SOUS 75227 HAS SOUPS 70961 WITH SCORE 71321.787
AT ITER 1337 NEW BEST:: SOT 544987 SOS 360608 HAS SOPS 349402 HAS SOUS 75198 HAS SOUPS 70932 WITH SCORE 71292.608
AT ITER 1339 NEW BEST:: SOT 544987 SOS 358963 HAS SOPS 347757 HAS SOUS 75164 HAS SOUPS 70898 WITH SCORE 71256.963
AT ITER 1352 NEW BEST:: SOT 543624 SOS 357687 HAS SOPS 346394 HAS SOUS 75164 HAS SOUPS 70869 WITH SCORE 71226.687
AT ITER 1355 NEW BEST:: SOT 543624 SOS 359376 HAS SOPS 347993 HAS SOUS 75190 HAS SOUPS 70851 WITH SCORE 71210.376
AT ITER 1371 NEW BEST:: SOT 543746 SOS 359486 HAS SOPS 348115 HAS SOUS 75124 HAS SOUPS 70789 WITH SCORE 71148.486
AT ITER 1392 NEW BEST:: SOT 544016 SOS 359658 HAS SOPS 348414 HAS SOUS 74639 HAS SOUPS 70322 WITH SCORE 70681.658
AT ITER 1393 NEW BEST:: SOT 544292 SOS 359553 HAS SOPS 348736 HAS SOUS 73042 HAS SOUPS 68817 WITH SCORE 69176.553
AT ITER 1395 NEW BEST:: SOT 545687 SOS 360841 HAS SOPS 350133 HAS SOUS 72848 HAS SOUPS 68657 WITH SCORE 69017.841
AT ITER 1417 NEW BEST:: SOT 545687 SOS 360802 HAS SOPS 350086 HAS SOUS 72814 HAS SOUPS 68610 WITH SCORE 68970.802
AT ITER 1418 NEW BEST:: SOT 545687 SOS 360793 HAS SOPS 350077 HAS SOUS 72823 HAS SOUPS 68601 WITH SCORE 68961.793
AT ITER 1419 NEW BEST:: SOT 545687 SOS 360793 HAS SOPS 350076 HAS SOUS 72822 HAS SOUPS 68599 WITH SCORE 68959.793
AT ITER 1422 NEW BEST:: SOT 545687 SOS 360487 HAS SOPS 349774 HAS SOUS 72814 HAS SOUPS 68595 WITH SCORE 68955.487
AT ITER 1438 NEW BEST:: SOT 545687 SOS 361036 HAS SOPS 350260 HAS SOUS 72808 HAS SOUPS 68587 WITH SCORE 68948.036
AT ITER 1444 NEW BEST:: SOT 545687 SOS 361068 HAS SOPS 350260 HAS SOUS 72829 HAS SOUPS 68523 WITH SCORE 68884.068
AT ITER 1446 NEW BEST:: SOT 545484 SOS 362175 HAS SOPS 351407 HAS SOUS 72720 HAS SOUPS 68414 WITH SCORE 68776.175
AT ITER 1456 NEW BEST:: SOT 545484 SOS 361324 HAS SOPS 350561 HAS SOUS 72691 HAS SOUPS 68390 WITH SCORE 68751.324
AT ITER 1461 NEW BEST:: SOT 545169 SOS 361014 HAS SOPS 350246 HAS SOUS 72621 HAS SOUPS 68315 WITH SCORE 68676.014
AT ITER 1471 NEW BEST:: SOT 545169 SOS 361473 HAS SOPS 350705 HAS SOUS 72614 HAS SOUPS 68308 WITH SCORE 68669.473
AT ITER 1484 NEW BEST:: SOT 545156 SOS 361460 HAS SOPS 350692 HAS SOUS 72601 HAS SOUPS 68295 WITH SCORE 68656.46
AT ITER 1485 NEW BEST:: SOT 545153 SOS 361505 HAS SOPS 350633 HAS SOUS 72536 HAS SOUPS 68111 WITH SCORE 68472.505
AT ITER 1489 NEW BEST:: SOT 545770 SOS 362048 HAS SOPS 351252 HAS SOUS 72179 HAS SOUPS 67777 WITH SCORE 68139.048
AT ITER 1493 NEW BEST:: SOT 545770 SOS 361793 HAS SOPS 350997 HAS SOUS 72164 HAS SOUPS 67767 WITH SCORE 68128.793
AT ITER 1507 NEW BEST:: SOT 545768 SOS 361791 HAS SOPS 350995 HAS SOUS 72162 HAS SOUPS 67765 WITH SCORE 68126.791
AT ITER 1520 NEW BEST:: SOT 542974 SOS 359111 HAS SOPS 348193 HAS SOUS 71596 HAS SOUPS 67144 WITH SCORE 67503.111
AT ITER 1524 NEW BEST:: SOT 542974 SOS 358898 HAS SOPS 347980 HAS SOUS 71529 HAS SOUPS 67136 WITH SCORE 67494.898
AT ITER 1542 NEW BEST:: SOT 542799 SOS 360484 HAS SOPS 349645 HAS SOUS 71418 HAS SOUPS 67129 WITH SCORE 67489.484
AT ITER 1545 NEW BEST:: SOT 542281 SOS 359975 HAS SOPS 349127 HAS SOUS 71341 HAS SOUPS 67043 WITH SCORE 67402.975
AT ITER 1546 NEW BEST:: SOT 539780 SOS 355665 HAS SOPS 342903 HAS SOUS 70430 HAS SOUPS 66059 WITH SCORE 66414.665
AT ITER 1563 NEW BEST:: SOT 539780 SOS 353965 HAS SOPS 341237 HAS SOUS 70430 HAS SOUPS 66059 WITH SCORE 66412.965
AT ITER 1570 NEW BEST:: SOT 539780 SOS 354526 HAS SOPS 341786 HAS SOUS 70432 HAS SOUPS 66057 WITH SCORE 66411.526
AT ITER 1586 NEW BEST:: SOT 539780 SOS 353710 HAS SOPS 340970 HAS SOUS 70368 HAS SOUPS 66025 WITH SCORE 66378.71
AT ITER 1587 NEW BEST:: SOT 539780 SOS 353710 HAS SOPS 340968 HAS SOUS 70364 HAS SOUPS 66021 WITH SCORE 66374.71
AT ITER 1601 NEW BEST:: SOT 539542 SOS 353472 HAS SOPS 340791 HAS SOUS 70187 HAS SOUPS 65905 WITH SCORE 66258.472
AT ITER 1609 NEW BEST:: SOT 539542 SOS 353795 HAS SOPS 341069 HAS SOUS 70170 HAS SOUPS 65829 WITH SCORE 66182.795
AT ITER 1612 NEW BEST:: SOT 539542 SOS 353833 HAS SOPS 341069 HAS SOUS 70132 HAS SOUPS 65791 WITH SCORE 66144.833
AT ITER 1623 NEW BEST:: SOT 539311 SOS 353952 HAS SOPS 341215 HAS SOUS 69942 HAS SOUPS 65601 WITH SCORE 65954.952
AT ITER 1627 NEW BEST:: SOT 539092 SOS 353733 HAS SOPS 340996 HAS SOUS 69723 HAS SOUPS 65382 WITH SCORE 65735.733
AT ITER 1628 NEW BEST:: SOT 539092 SOS 354569 HAS SOPS 341801 HAS SOUS 69695 HAS SOUPS 65354 WITH SCORE 65708.569
AT ITER 1640 NEW BEST:: SOT 539023 SOS 354500 HAS SOPS 341732 HAS SOUS 69626 HAS SOUPS 65285 WITH SCORE 65639.5
AT ITER 1644 NEW BEST:: SOT 538618 SOS 354127 HAS SOPS 341319 HAS SOUS 69581 HAS SOUPS 65224 WITH SCORE 65578.127
AT ITER 1651 NEW BEST:: SOT 538618 SOS 355197 HAS SOPS 342355 HAS SOUS 69622 HAS SOUPS 65198 WITH SCORE 65553.197
AT ITER 1656 NEW BEST:: SOT 537175 SOS 353848 HAS SOPS 340912 HAS SOUS 69285 HAS SOUPS 64837 WITH SCORE 65190.848
AT ITER 1684 NEW BEST:: SOT 537175 SOS 353850 HAS SOPS 340912 HAS SOUS 69285 HAS SOUPS 64835 WITH SCORE 65188.85
AT ITER 1687 NEW BEST:: SOT 537196 SOS 353850 HAS SOPS 340933 HAS SOUS 69177 HAS SOUPS 64730 WITH SCORE 65083.85
AT ITER 1700 NEW BEST:: SOT 537196 SOS 353459 HAS SOPS 340525 HAS SOUS 69135 HAS SOUPS 64697 WITH SCORE 65050.459
AT ITER 1702 NEW BEST:: SOT 537196 SOS 353102 HAS SOPS 340168 HAS SOUS 69104 HAS SOUPS 64683 WITH SCORE 65036.102
AT ITER 1704 NEW BEST:: SOT 537161 SOS 353067 HAS SOPS 340133 HAS SOUS 69069 HAS SOUPS 64648 WITH SCORE 65001.067
AT ITER 1729 NEW BEST:: SOT 537161 SOS 353016 HAS SOPS 340082 HAS SOUS 69060 HAS SOUPS 64646 WITH SCORE 64999.016
AT ITER 1737 NEW BEST:: SOT 537161 SOS 352404 HAS SOPS 339470 HAS SOUS 69044 HAS SOUPS 64622 WITH SCORE 64974.404
AT ITER 1743 NEW BEST:: SOT 537161 SOS 352354 HAS SOPS 339419 HAS SOUS 69041 HAS SOUPS 64619 WITH SCORE 64971.354
AT ITER 1747 NEW BEST:: SOT 537377 SOS 352511 HAS SOPS 339645 HAS SOUS 68836 HAS SOUPS 64424 WITH SCORE 64776.511
AT ITER 1749 NEW BEST:: SOT 537377 SOS 353939 HAS SOPS 341033 HAS SOUS 68884 HAS SOUPS 64400 WITH SCORE 64753.939
AT ITER 1776 NEW BEST:: SOT 537377 SOS 353889 HAS SOPS 341033 HAS SOUS 68882 HAS SOUPS 64400 WITH SCORE 64753.889
AT ITER 1780 NEW BEST:: SOT 537930 SOS 354318 HAS SOPS 341586 HAS SOUS 68359 HAS SOUPS 63901 WITH SCORE 64255.318
AT ITER 1784 NEW BEST:: SOT 537930 SOS 354627 HAS SOPS 341886 HAS SOUS 68362 HAS SOUPS 63898 WITH SCORE 64252.627
AT ITER 1790 NEW BEST:: SOT 537897 SOS 352178 HAS SOPS 339369 HAS SOUS 68164 HAS SOUPS 63702 WITH SCORE 64054.178
AT ITER 1796 NEW BEST:: SOT 537896 SOS 352177 HAS SOPS 339368 HAS SOUS 68163 HAS SOUPS 63701 WITH SCORE 64053.177
AT ITER 1828 NEW BEST:: SOT 537896 SOS 351769 HAS SOPS 338968 HAS SOUS 68147 HAS SOUPS 63701 WITH SCORE 64052.769
AT ITER 1847 NEW BEST:: SOT 537896 SOS 350785 HAS SOPS 337984 HAS SOUS 68176 HAS SOUPS 63697 WITH SCORE 64047.785
AT ITER 1866 NEW BEST:: SOT 537896 SOS 350479 HAS SOPS 337678 HAS SOUS 68164 HAS SOUPS 63685 WITH SCORE 64035.479
AT ITER 1906 NEW BEST:: SOT 537896 SOS 350479 HAS SOPS 337667 HAS SOUS 68153 HAS SOUPS 63663 WITH SCORE 64013.479
AT ITER 1908 NEW BEST:: SOT 537896 SOS 349816 HAS SOPS 337004 HAS SOUS 68114 HAS SOUPS 63637 WITH SCORE 63986.816
AT ITER 1909 NEW BEST:: SOT 537896 SOS 349816 HAS SOPS 337001 HAS SOUS 68111 HAS SOUPS 63631 WITH SCORE 63980.816
AT ITER 1921 NEW BEST:: SOT 536896 SOS 348885 HAS SOPS 335955 HAS SOUS 68123 HAS SOUPS 63620 WITH SCORE 63968.885
AT ITER 1922 NEW BEST:: SOT 536896 SOS 348435 HAS SOPS 335514 HAS SOUS 68114 HAS SOUPS 63620 WITH SCORE 63968.435
AT ITER 1925 NEW BEST:: SOT 536896 SOS 350985 HAS SOPS 338002 HAS SOUS 68154 HAS SOUPS 63609 WITH SCORE 63959.985
AT ITER 1929 NEW BEST:: SOT 536896 SOS 350475 HAS SOPS 337492 HAS SOUS 68134 HAS SOUPS 63589 WITH SCORE 63939.475
AT ITER 1940 NEW BEST:: SOT 536896 SOS 349951 HAS SOPS 336857 HAS SOUS 68010 HAS SOUPS 63465 WITH SCORE 63814.951
AT ITER 1960 NEW BEST:: SOT 540184 SOS 352847 HAS SOPS 340206 HAS SOUS 67851 HAS SOUPS 63445 WITH SCORE 63797.847
AT ITER 1971 NEW BEST:: SOT 540184 SOS 352694 HAS SOPS 340053 HAS SOUS 67842 HAS SOUPS 63439 WITH SCORE 63791.694
AT ITER 1979 NEW BEST:: SOT 540407 SOS 352852 HAS SOPS 339976 HAS SOUS 67818 HAS SOUPS 63415 WITH SCORE 63767.852
AT ITER 1980 NEW BEST:: SOT 536990 SOS 349707 HAS SOPS 336559 HAS SOUS 67429 HAS SOUPS 62960 WITH SCORE 63309.707
AT ITER 1984 NEW BEST:: SOT 536990 SOS 349598 HAS SOPS 336304 HAS SOUS 67428 HAS SOUPS 62950 WITH SCORE 63299.598
AT ITER 1988 NEW BEST:: SOT 537042 SOS 349650 HAS SOPS 336325 HAS SOUS 67449 HAS SOUPS 62940 WITH SCORE 63289.65
AT ITER 2003 NEW BEST:: SOT 537041 SOS 349649 HAS SOPS 336324 HAS SOUS 67448 HAS SOUPS 62939 WITH SCORE 63288.649
AT ITER 2004 NEW BEST:: SOT 537105 SOS 349738 HAS SOPS 336438 HAS SOUS 67389 HAS SOUPS 62883 WITH SCORE 63232.738
AT ITER 2009 NEW BEST:: SOT 537105 SOS 349734 HAS SOPS 336433 HAS SOUS 67387 HAS SOUPS 62881 WITH SCORE 63230.734
AT ITER 2025 NEW BEST:: SOT 537105 SOS 349434 HAS SOPS 336139 HAS SOUS 67387 HAS SOUPS 62881 WITH SCORE 63230.434
AT ITER 2039 NEW BEST:: SOT 537105 SOS 349434 HAS SOPS 336133 HAS SOUS 67381 HAS SOUPS 62869 WITH SCORE 63218.434
AT ITER 2045 NEW BEST:: SOT 537105 SOS 349434 HAS SOPS 336131 HAS SOUS 67379 HAS SOUPS 62865 WITH SCORE 63214.434
AT ITER 2048 NEW BEST:: SOT 537105 SOS 349436 HAS SOPS 336126 HAS SOUS 67374 HAS SOUPS 62853 WITH SCORE 63202.436
AT ITER 2056 NEW BEST:: SOT 537105 SOS 349450 HAS SOPS 335844 HAS SOUS 67071 HAS SOUPS 62550 WITH SCORE 62899.45
AT ITER 2069 NEW BEST:: SOT 537105 SOS 349450 HAS SOPS 335805 HAS SOUS 67032 HAS SOUPS 62472 WITH SCORE 62821.45
AT ITER 2103 NEW BEST:: SOT 537105 SOS 349466 HAS SOPS 335797 HAS SOUS 67024 HAS SOUPS 62448 WITH SCORE 62797.466
AT ITER 2106 NEW BEST:: SOT 537105 SOS 349364 HAS SOPS 335695 HAS SOUS 67005 HAS SOUPS 62444 WITH SCORE 62793.364
AT ITER 2112 NEW BEST:: SOT 537105 SOS 349364 HAS SOPS 335686 HAS SOUS 66996 HAS SOUPS 62426 WITH SCORE 62775.364
AT ITER 2122 NEW BEST:: SOT 537105 SOS 349348 HAS SOPS 335641 HAS SOUS 66938 HAS SOUPS 62368 WITH SCORE 62717.348
AT ITER 2151 NEW BEST:: SOT 537734 SOS 349708 HAS SOPS 336270 HAS SOUS 65836 HAS SOUPS 61306 WITH SCORE 61655.708
AT ITER 2160 NEW BEST:: SOT 537734 SOS 349708 HAS SOPS 336251 HAS SOUS 65817 HAS SOUPS 61268 WITH SCORE 61617.708
AT ITER 2196 NEW BEST:: SOT 538694 SOS 350711 HAS SOPS 337411 HAS SOUS 65542 HAS SOUPS 61021 WITH SCORE 61371.711
AT ITER 2197 NEW BEST:: SOT 537007 SOS 347852 HAS SOPS 333480 HAS SOUS 64895 HAS SOUPS 60330 WITH SCORE 60677.852
AT ITER 2224 NEW BEST:: SOT 537007 SOS 346945 HAS SOPS 331880 HAS SOUS 64138 HAS SOUPS 59573 WITH SCORE 59919.945
AT ITER 2225 NEW BEST:: SOT 537001 SOS 346939 HAS SOPS 331874 HAS SOUS 64132 HAS SOUPS 59567 WITH SCORE 59913.939
AT ITER 2234 NEW BEST:: SOT 536495 SOS 354331 HAS SOPS 339398 HAS SOUS 64260 HAS SOUPS 59491 WITH SCORE 59845.331
AT ITER 2249 NEW BEST:: SOT 536263 SOS 354168 HAS SOPS 339370 HAS SOUS 64192 HAS SOUPS 59402 WITH SCORE 59756.168
AT ITER 2276 NEW BEST:: SOT 536263 SOS 354166 HAS SOPS 339368 HAS SOUS 64190 HAS SOUPS 59400 WITH SCORE 59754.166
AT ITER 2312 NEW BEST:: SOT 536263 SOS 352966 HAS SOPS 338168 HAS SOUS 64142 HAS SOUPS 59352 WITH SCORE 59704.966
AT ITER 2319 NEW BEST:: SOT 536263 SOS 351793 HAS SOPS 336995 HAS SOUS 64096 HAS SOUPS 59306 WITH SCORE 59657.793
AT ITER 2322 NEW BEST:: SOT 531103 SOS 353703 HAS SOPS 338701 HAS SOUS 62968 HAS SOUPS 57985 WITH SCORE 58338.703
AT ITER 2327 NEW BEST:: SOT 531103 SOS 353346 HAS SOPS 338344 HAS SOUS 62954 HAS SOUPS 57971 WITH SCORE 58324.346
AT ITER 2348 NEW BEST:: SOT 531098 SOS 353341 HAS SOPS 338339 HAS SOUS 62949 HAS SOUPS 57966 WITH SCORE 58319.341
AT ITER 2363 NEW BEST:: SOT 531098 SOS 353432 HAS SOPS 338429 HAS SOUS 62941 HAS SOUPS 57958 WITH SCORE 58311.432
AT ITER 2365 NEW BEST:: SOT 531098 SOS 352874 HAS SOPS 337871 HAS SOUS 62919 HAS SOUPS 57936 WITH SCORE 58288.874
AT ITER 2381 NEW BEST:: SOT 531098 SOS 352888 HAS SOPS 337862 HAS SOUS 62930 HAS SOUPS 57890 WITH SCORE 58242.888
AT ITER 2394 NEW BEST:: SOT 531098 SOS 348771 HAS SOPS 333823 HAS SOUS 62840 HAS SOUPS 57882 WITH SCORE 58230.771
AT ITER 2423 NEW BEST:: SOT 531098 SOS 347904 HAS SOPS 332956 HAS SOUS 62802 HAS SOUPS 57848 WITH SCORE 58195.904
AT ITER 2450 NEW BEST:: SOT 531093 SOS 347899 HAS SOPS 332951 HAS SOUS 62797 HAS SOUPS 57843 WITH SCORE 58190.899
AT ITER 2471 NEW BEST:: SOT 531076 SOS 347882 HAS SOPS 332934 HAS SOUS 62780 HAS SOUPS 57826 WITH SCORE 58173.882
AT ITER 2489 NEW BEST:: SOT 530924 SOS 347730 HAS SOPS 332782 HAS SOUS 62628 HAS SOUPS 57674 WITH SCORE 58021.73
AT ITER 2500 NEW BEST:: SOT 530924 SOS 347577 HAS SOPS 332629 HAS SOUS 62614 HAS SOUPS 57668 WITH SCORE 58015.577
AT ITER 2505 NEW BEST:: SOT 530924 SOS 347322 HAS SOPS 332374 HAS SOUS 62604 HAS SOUPS 57658 WITH SCORE 58005.322
AT ITER 2509 NEW BEST:: SOT 530924 SOS 347220 HAS SOPS 332272 HAS SOUS 62598 HAS SOUPS 57654 WITH SCORE 58001.22
AT ITER 2536 NEW BEST:: SOT 530924 SOS 346816 HAS SOPS 331868 HAS SOUS 62558 HAS SOUPS 57642 WITH SCORE 57988.816
AT ITER 2541 NEW BEST:: SOT 530924 SOS 347887 HAS SOPS 332909 HAS SOUS 62570 HAS SOUPS 57624 WITH SCORE 57971.887
AT ITER 2542 NEW BEST:: SOT 528657 SOS 345684 HAS SOPS 330642 HAS SOUS 61739 HAS SOUPS 56763 WITH SCORE 57108.684
AT ITER 2546 NEW BEST:: SOT 528657 SOS 344990 HAS SOPS 329952 HAS SOUS 61721 HAS SOUPS 56745 WITH SCORE 57089.99
AT ITER 2556 NEW BEST:: SOT 529799 SOS 345934 HAS SOPS 331127 HAS SOUS 61444 HAS SOUPS 56534 WITH SCORE 56879.934
AT ITER 2560 NEW BEST:: SOT 529799 SOS 345832 HAS SOPS 331025 HAS SOUS 61437 HAS SOUPS 56530 WITH SCORE 56875.832
AT ITER 2566 NEW BEST:: SOT 529799 SOS 344863 HAS SOPS 330056 HAS SOUS 61399 HAS SOUPS 56492 WITH SCORE 56836.863
AT ITER 2570 NEW BEST:: SOT 528539 SOS 343690 HAS SOPS 328796 HAS SOUS 60952 HAS SOUPS 56027 WITH SCORE 56370.69
AT ITER 2603 NEW BEST:: SOT 528101 SOS 343225 HAS SOPS 328158 HAS SOUS 60633 HAS SOUPS 55702 WITH SCORE 56045.225
AT ITER 2606 NEW BEST:: SOT 528101 SOS 343225 HAS SOPS 328123 HAS SOUS 60597 HAS SOUPS 55632 WITH SCORE 55975.225
AT ITER 2609 NEW BEST:: SOT 528101 SOS 342925 HAS SOPS 327823 HAS SOUS 60585 HAS SOUPS 55620 WITH SCORE 55962.925
AT ITER 2611 NEW BEST:: SOT 528101 SOS 342724 HAS SOPS 327622 HAS SOUS 60467 HAS SOUPS 55615 WITH SCORE 55957.724
AT ITER 2637 NEW BEST:: SOT 528003 SOS 342628 HAS SOPS 327524 HAS SOUS 60467 HAS SOUPS 55613 WITH SCORE 55955.628
AT ITER 2638 NEW BEST:: SOT 528003 SOS 342577 HAS SOPS 327473 HAS SOUS 60464 HAS SOUPS 55611 WITH SCORE 55953.577
AT ITER 2676 NEW BEST:: SOT 528002 SOS 342576 HAS SOPS 327472 HAS SOUS 60463 HAS SOUPS 55610 WITH SCORE 55952.576
AT ITER 2691 NEW BEST:: SOT 528002 SOS 340944 HAS SOPS 325840 HAS SOUS 60336 HAS SOUPS 55546 WITH SCORE 55886.944
AT ITER 2696 NEW BEST:: SOT 528002 SOS 340740 HAS SOPS 325636 HAS SOUS 60328 HAS SOUPS 55538 WITH SCORE 55878.74
AT ITER 2700 NEW BEST:: SOT 527675 SOS 340361 HAS SOPS 324845 HAS SOUS 59566 HAS SOUPS 54776 WITH SCORE 55116.361
AT ITER 2710 NEW BEST:: SOT 527906 SOS 340526 HAS SOPS 325076 HAS SOUS 59313 HAS SOUPS 54534 WITH SCORE 54874.526
AT ITER 2715 NEW BEST:: SOT 527906 SOS 340526 HAS SOPS 325072 HAS SOUS 59313 HAS SOUPS 54526 WITH SCORE 54866.526
AT ITER 2723 NEW BEST:: SOT 527906 SOS 340509 HAS SOPS 325055 HAS SOUS 59297 HAS SOUPS 54526 WITH SCORE 54866.509
AT ITER 2730 NEW BEST:: SOT 527900 SOS 340503 HAS SOPS 325049 HAS SOUS 59291 HAS SOUPS 54520 WITH SCORE 54860.503
AT ITER 2747 NEW BEST:: SOT 527900 SOS 340153 HAS SOPS 324706 HAS SOUS 59291 HAS SOUPS 54520 WITH SCORE 54860.153
AT ITER 2772 NEW BEST:: SOT 527900 SOS 340053 HAS SOPS 324606 HAS SOUS 59287 HAS SOUPS 54516 WITH SCORE 54856.053
AT ITER 2781 NEW BEST:: SOT 527892 SOS 340045 HAS SOPS 324598 HAS SOUS 59279 HAS SOUPS 54508 WITH SCORE 54848.045
AT ITER 2788 NEW BEST:: SOT 527772 SOS 339933 HAS SOPS 324478 HAS SOUS 59251 HAS SOUPS 54478 WITH SCORE 54817.933
AT ITER 2794 NEW BEST:: SOT 527759 SOS 339971 HAS SOPS 324516 HAS SOUS 59240 HAS SOUPS 54467 WITH SCORE 54806.971
AT ITER 2815 NEW BEST:: SOT 527730 SOS 339942 HAS SOPS 324487 HAS SOUS 59211 HAS SOUPS 54438 WITH SCORE 54777.942
AT ITER 2842 NEW BEST:: SOT 527730 SOS 339942 HAS SOPS 324457 HAS SOUS 59211 HAS SOUPS 54378 WITH SCORE 54717.942
AT ITER 2843 NEW BEST:: SOT 527061 SOS 339273 HAS SOPS 323788 HAS SOUS 58542 HAS SOUPS 53709 WITH SCORE 54048.273
AT ITER 2855 NEW BEST:: SOT 527061 SOS 339371 HAS SOPS 323867 HAS SOUS 58527 HAS SOUPS 53673 WITH SCORE 54012.371
AT ITER 2862 NEW BEST:: SOT 527061 SOS 339320 HAS SOPS 323816 HAS SOUS 58581 HAS SOUPS 53671 WITH SCORE 54010.32
AT ITER 2870 NEW BEST:: SOT 527215 SOS 339384 HAS SOPS 323970 HAS SOUS 58075 HAS SOUPS 53180 WITH SCORE 53519.384
AT ITER 2877 NEW BEST:: SOT 527186 SOS 339355 HAS SOPS 323941 HAS SOUS 58046 HAS SOUPS 53151 WITH SCORE 53490.355
AT ITER 2904 NEW BEST:: SOT 527138 SOS 339307 HAS SOPS 323893 HAS SOUS 57998 HAS SOUPS 53103 WITH SCORE 53442.307
AT ITER 2907 NEW BEST:: SOT 527138 SOS 338338 HAS SOPS 322924 HAS SOUS 57926 HAS SOUPS 53065 WITH SCORE 53403.338
AT ITER 2908 NEW BEST:: SOT 526939 SOS 338139 HAS SOPS 322736 HAS SOUS 57738 HAS SOUPS 52888 WITH SCORE 53226.139
AT ITER 2924 NEW BEST:: SOT 526939 SOS 338220 HAS SOPS 322814 HAS SOUS 57816 HAS SOUPS 52885 WITH SCORE 53223.22
AT ITER 2926 NEW BEST:: SOT 526943 SOS 338218 HAS SOPS 322818 HAS SOUS 57776 HAS SOUPS 52846 WITH SCORE 53184.218
AT ITER 2931 NEW BEST:: SOT 526882 SOS 338096 HAS SOPS 322656 HAS SOUS 57614 HAS SOUPS 52684 WITH SCORE 53022.096
AT ITER 2947 NEW BEST:: SOT 526882 SOS 337535 HAS SOPS 322095 HAS SOUS 57566 HAS SOUPS 52662 WITH SCORE 52999.535
AT ITER 2950 NEW BEST:: SOT 526855 SOS 334542 HAS SOPS 318306 HAS SOUS 56530 HAS SOUPS 51703 WITH SCORE 52037.542
AT ITER 2962 NEW BEST:: SOT 526855 SOS 333892 HAS SOPS 317656 HAS SOUS 56504 HAS SOUPS 51677 WITH SCORE 52010.892
AT ITER 2968 NEW BEST:: SOT 526875 SOS 334332 HAS SOPS 318181 HAS SOUS 56129 HAS SOUPS 51312 WITH SCORE 51646.332
AT ITER 2970 NEW BEST:: SOT 526875 SOS 334082 HAS SOPS 317936 HAS SOUS 56129 HAS SOUPS 51312 WITH SCORE 51646.082
AT ITER 2971 NEW BEST:: SOT 526875 SOS 333827 HAS SOPS 317681 HAS SOUS 56119 HAS SOUPS 51302 WITH SCORE 51635.827
AT ITER 2984 NEW BEST:: SOT 526875 SOS 333027 HAS SOPS 316896 HAS SOUS 56102 HAS SOUPS 51300 WITH SCORE 51633.027
AT ITER 2995 NEW BEST:: SOT 526875 SOS 333027 HAS SOPS 316883 HAS SOUS 56089 HAS SOUPS 51287 WITH SCORE 51620.027
AT ITER 3046 NEW BEST:: SOT 527260 SOS 333230 HAS SOPS 316503 HAS SOUS 55840 HAS SOUPS 51059 WITH SCORE 51392.23
AT ITER 3068 NEW BEST:: SOT 527266 SOS 333215 HAS SOPS 316509 HAS SOUS 55717 HAS SOUPS 50939 WITH SCORE 51272.215
AT ITER 3124 NEW BEST:: SOT 527266 SOS 332815 HAS SOPS 316107 HAS SOUS 55699 HAS SOUPS 50921 WITH SCORE 51253.815
AT ITER 3137 NEW BEST:: SOT 527260 SOS 332809 HAS SOPS 316101 HAS SOUS 55693 HAS SOUPS 50915 WITH SCORE 51247.809
AT ITER 3140 NEW BEST:: SOT 527260 SOS 332757 HAS SOPS 316046 HAS SOUS 55687 HAS SOUPS 50909 WITH SCORE 51241.757
AT ITER 3149 NEW BEST:: SOT 527260 SOS 332757 HAS SOPS 316024 HAS SOUS 55645 HAS SOUPS 50865 WITH SCORE 51197.757
AT ITER 3169 NEW BEST:: SOT 527260 SOS 332757 HAS SOPS 316020 HAS SOUS 55641 HAS SOUPS 50857 WITH SCORE 51189.757
AT ITER 3176 NEW BEST:: SOT 527252 SOS 332749 HAS SOPS 316012 HAS SOUS 55633 HAS SOUPS 50849 WITH SCORE 51181.749
AT ITER 3183 NEW BEST:: SOT 527251 SOS 332748 HAS SOPS 316010 HAS SOUS 55630 HAS SOUPS 50846 WITH SCORE 51178.748
AT ITER 3197 NEW BEST:: SOT 527251 SOS 332340 HAS SOPS 315602 HAS SOUS 55589 HAS SOUPS 50830 WITH SCORE 51162.34
AT ITER 3236 NEW BEST:: SOT 527251 SOS 331626 HAS SOPS 314891 HAS SOUS 55567 HAS SOUPS 50808 WITH SCORE 51139.626
AT ITER 3261 NEW BEST:: SOT 527251 SOS 330963 HAS SOPS 314228 HAS SOUS 55541 HAS SOUPS 50782 WITH SCORE 51112.963
AT ITER 3267 NEW BEST:: SOT 527409 SOS 331044 HAS SOPS 314386 HAS SOUS 55226 HAS SOUPS 50478 WITH SCORE 50809.044
AT ITER 3295 NEW BEST:: SOT 527409 SOS 330744 HAS SOPS 314081 HAS SOUS 55209 HAS SOUPS 50461 WITH SCORE 50791.744
AT ITER 3322 NEW BEST:: SOT 527409 SOS 330183 HAS SOPS 313531 HAS SOUS 55187 HAS SOUPS 50461 WITH SCORE 50791.183
AT ITER 3333 NEW BEST:: SOT 527409 SOS 329833 HAS SOPS 313182 HAS SOUS 55174 HAS SOUPS 50449 WITH SCORE 50778.833
AT ITER 3337 NEW BEST:: SOT 527066 SOS 329514 HAS SOPS 312832 HAS SOUS 55150 HAS SOUPS 50411 WITH SCORE 50740.514
AT ITER 3338 NEW BEST:: SOT 527066 SOS 329514 HAS SOPS 312828 HAS SOUS 55146 HAS SOUPS 50403 WITH SCORE 50732.514
AT ITER 3339 NEW BEST:: SOT 526860 SOS 329308 HAS SOPS 312680 HAS SOUS 54998 HAS SOUPS 50313 WITH SCORE 50642.308
AT ITER 3357 NEW BEST:: SOT 526872 SOS 329219 HAS SOPS 312569 HAS SOUS 54887 HAS SOUPS 50268 WITH SCORE 50597.219
AT ITER 3375 NEW BEST:: SOT 526585 SOS 328942 HAS SOPS 312537 HAS SOUS 54610 HAS SOUPS 50236 WITH SCORE 50564.942
AT ITER 3401 NEW BEST:: SOT 526599 SOS 328949 HAS SOPS 312552 HAS SOUS 54582 HAS SOUPS 50210 WITH SCORE 50538.949
AT ITER 3430 NEW BEST:: SOT 526669 SOS 328928 HAS SOPS 312635 HAS SOUS 54106 HAS SOUPS 49760 WITH SCORE 50088.928
AT ITER 3431 NEW BEST:: SOT 526659 SOS 328876 HAS SOPS 312541 HAS SOUS 54012 HAS SOUPS 49666 WITH SCORE 49994.876
AT ITER 3443 NEW BEST:: SOT 526659 SOS 328884 HAS SOPS 312542 HAS SOUS 54014 HAS SOUPS 49660 WITH SCORE 49988.884
AT ITER 3521 NEW BEST:: SOT 526659 SOS 328869 HAS SOPS 312512 HAS SOUS 53994 HAS SOUPS 49630 WITH SCORE 49958.869
AT ITER 3547 NEW BEST:: SOT 526419 SOS 328545 HAS SOPS 311864 HAS SOUS 53414 HAS SOUPS 49050 WITH SCORE 49378.545
AT ITER 3555 NEW BEST:: SOT 526361 SOS 328487 HAS SOPS 311810 HAS SOUS 53360 HAS SOUPS 49000 WITH SCORE 49328.487
AT ITER 3601 NEW BEST:: SOT 526361 SOS 328437 HAS SOPS 311760 HAS SOUS 53358 HAS SOUPS 48998 WITH SCORE 49326.437
AT ITER 3621 NEW BEST:: SOT 526677 SOS 328634 HAS SOPS 312076 HAS SOUS 52943 HAS SOUPS 48600 WITH SCORE 48928.634
AT ITER 3653 NEW BEST:: SOT 526677 SOS 328623 HAS SOPS 312065 HAS SOUS 52932 HAS SOUPS 48589 WITH SCORE 48917.623
AT ITER 3654 NEW BEST:: SOT 526677 SOS 328619 HAS SOPS 312057 HAS SOUS 52924 HAS SOUPS 48581 WITH SCORE 48909.619
AT ITER 3693 NEW BEST:: SOT 526677 SOS 328619 HAS SOPS 312055 HAS SOUS 52922 HAS SOUPS 48577 WITH SCORE 48905.619
AT ITER 3742 NEW BEST:: SOT 526677 SOS 328615 HAS SOPS 312050 HAS SOUS 52917 HAS SOUPS 48572 WITH SCORE 48900.615
AT ITER 3760 NEW BEST:: SOT 526677 SOS 329115 HAS SOPS 312539 HAS SOUS 52926 HAS SOUPS 48570 WITH SCORE 48899.115
AT ITER 3770 NEW BEST:: SOT 524771 SOS 327482 HAS SOPS 310633 HAS SOUS 52747 HAS SOUPS 48351 WITH SCORE 48678.482
AT ITER 3801 NEW BEST:: SOT 524771 SOS 327731 HAS SOPS 310876 HAS SOUS 52751 HAS SOUPS 48349 WITH SCORE 48676.731
AT ITER 3825 NEW BEST:: SOT 524771 SOS 327726 HAS SOPS 310860 HAS SOUS 52729 HAS SOUPS 48327 WITH SCORE 48654.726
AT ITER 3833 NEW BEST:: SOT 524771 SOS 327725 HAS SOPS 310858 HAS SOUS 52727 HAS SOUPS 48325 WITH SCORE 48652.725
AT ITER 3847 NEW BEST:: SOT 524771 SOS 327701 HAS SOPS 310834 HAS SOUS 52703 HAS SOUPS 48325 WITH SCORE 48652.701
AT ITER 3881 NEW BEST:: SOT 524765 SOS 327650 HAS SOPS 310522 HAS SOUS 52424 HAS SOUPS 48046 WITH SCORE 48373.65
AT ITER 3895 NEW BEST:: SOT 524765 SOS 327633 HAS SOPS 310330 HAS SOUS 52246 HAS SOUPS 47868 WITH SCORE 48195.633
AT ITER 3938 NEW BEST:: SOT 524765 SOS 327593 HAS SOPS 310290 HAS SOUS 52206 HAS SOUPS 47868 WITH SCORE 48195.593
AT ITER 3943 NEW BEST:: SOT 524765 SOS 327591 HAS SOPS 310287 HAS SOUS 52203 HAS SOUPS 47865 WITH SCORE 48192.591
AT ITER 3961 NEW BEST:: SOT 524122 SOS 327022 HAS SOPS 309644 HAS SOUS 52133 HAS SOUPS 47785 WITH SCORE 48112.022
AT ITER 4008 NEW BEST:: SOT 524091 SOS 326991 HAS SOPS 309613 HAS SOUS 52102 HAS SOUPS 47754 WITH SCORE 48080.991
AT ITER 4018 NEW BEST:: SOT 524091 SOS 326991 HAS SOPS 309606 HAS SOUS 52095 HAS SOUPS 47740 WITH SCORE 48066.991
AT ITER 4059 NEW BEST:: SOT 524091 SOS 326532 HAS SOPS 309147 HAS SOUS 52077 HAS SOUPS 47722 WITH SCORE 48048.532
AT ITER 4101 NEW BEST:: SOT 523951 SOS 326404 HAS SOPS 309003 HAS SOUS 52019 HAS SOUPS 47662 WITH SCORE 47988.404
AT ITER 4130 NEW BEST:: SOT 523942 SOS 326395 HAS SOPS 308994 HAS SOUS 52010 HAS SOUPS 47653 WITH SCORE 47979.395
AT ITER 4140 NEW BEST:: SOT 523944 SOS 326397 HAS SOPS 308989 HAS SOUS 52005 HAS SOUPS 47641 WITH SCORE 47967.397
AT ITER 4162 NEW BEST:: SOT 523944 SOS 326244 HAS SOPS 308839 HAS SOUS 51999 HAS SOUPS 47641 WITH SCORE 47967.244
AT ITER 4166 NEW BEST:: SOT 523944 SOS 326238 HAS SOPS 308827 HAS SOUS 51987 HAS SOUPS 47629 WITH SCORE 47955.238
AT ITER 4176 NEW BEST:: SOT 523928 SOS 326222 HAS SOPS 308811 HAS SOUS 51971 HAS SOUPS 47613 WITH SCORE 47939.222
AT ITER 4209 NEW BEST:: SOT 523928 SOS 326705 HAS SOPS 309261 HAS SOUS 51989 HAS SOUPS 47589 WITH SCORE 47915.705
AT ITER 4222 NEW BEST:: SOT 523928 SOS 326757 HAS SOPS 309303 HAS SOUS 52031 HAS SOUPS 47570 WITH SCORE 47896.757
AT ITER 4232 NEW BEST:: SOT 523928 SOS 327357 HAS SOPS 309877 HAS SOUS 52029 HAS SOUPS 47545 WITH SCORE 47872.357
AT ITER 4242 NEW BEST:: SOT 523928 SOS 327204 HAS SOPS 309724 HAS SOUS 52023 HAS SOUPS 47539 WITH SCORE 47866.204
AT ITER 4315 NEW BEST:: SOT 523928 SOS 327153 HAS SOPS 309673 HAS SOUS 52012 HAS SOUPS 47537 WITH SCORE 47864.153
AT ITER 4316 NEW BEST:: SOT 523920 SOS 327145 HAS SOPS 309599 HAS SOUS 51938 HAS SOUPS 47397 WITH SCORE 47724.145
AT ITER 4324 NEW BEST:: SOT 523892 SOS 327096 HAS SOPS 309530 HAS SOUS 51869 HAS SOUPS 47328 WITH SCORE 47655.096
AT ITER 4382 NEW BEST:: SOT 523892 SOS 327096 HAS SOPS 309521 HAS SOUS 51860 HAS SOUPS 47310 WITH SCORE 47637.096
AT ITER 4396 NEW BEST:: SOT 523930 SOS 327092 HAS SOPS 309559 HAS SOUS 51640 HAS SOUPS 47096 WITH SCORE 47423.092
AT ITER 4411 NEW BEST:: SOT 523930 SOS 327042 HAS SOPS 309509 HAS SOUS 51638 HAS SOUPS 47094 WITH SCORE 47421.042
AT ITER 4430 NEW BEST:: SOT 523930 SOS 327042 HAS SOPS 309507 HAS SOUS 51636 HAS SOUPS 47090 WITH SCORE 47417.042
AT ITER 4446 NEW BEST:: SOT 523930 SOS 327042 HAS SOPS 309478 HAS SOUS 51607 HAS SOUPS 47032 WITH SCORE 47359.042
AT ITER 4479 NEW BEST:: SOT 523930 SOS 327042 HAS SOPS 309465 HAS SOUS 51594 HAS SOUPS 47006 WITH SCORE 47333.042
AT ITER 4496 NEW BEST:: SOT 523930 SOS 326685 HAS SOPS 309115 HAS SOUS 51587 HAS SOUPS 47006 WITH SCORE 47332.685
AT ITER 4580 NEW BEST:: SOT 523930 SOS 326532 HAS SOPS 308962 HAS SOUS 51560 HAS SOUPS 47000 WITH SCORE 47326.532
AT ITER 4588 NEW BEST:: SOT 523905 SOS 326507 HAS SOPS 308937 HAS SOUS 51535 HAS SOUPS 46975 WITH SCORE 47301.507
AT ITER 4592 NEW BEST:: SOT 523905 SOS 326303 HAS SOPS 308733 HAS SOUS 51510 HAS SOUPS 46967 WITH SCORE 47293.303
AT ITER 4598 NEW BEST:: SOT 523905 SOS 326150 HAS SOPS 308580 HAS SOUS 51504 HAS SOUPS 46961 WITH SCORE 47287.15
AT ITER 4627 NEW BEST:: SOT 523905 SOS 326099 HAS SOPS 308529 HAS SOUS 51502 HAS SOUPS 46959 WITH SCORE 47285.099
AT ITER 4689 NEW BEST:: SOT 523905 SOS 326099 HAS SOPS 308522 HAS SOUS 51495 HAS SOUPS 46945 WITH SCORE 47271.099
AT ITER 4699 NEW BEST:: SOT 523947 SOS 326120 HAS SOPS 308567 HAS SOUS 51411 HAS SOUPS 46867 WITH SCORE 47193.12
AT ITER 4747 NEW BEST:: SOT 523947 SOS 324741 HAS SOPS 307188 HAS SOUS 51328 HAS SOUPS 46813 WITH SCORE 47137.741
AT ITER 4750 NEW BEST:: SOT 523947 SOS 324741 HAS SOPS 307180 HAS SOUS 51320 HAS SOUPS 46797 WITH SCORE 47121.741
AT ITER 4764 NEW BEST:: SOT 523947 SOS 324741 HAS SOPS 307177 HAS SOUS 51317 HAS SOUPS 46794 WITH SCORE 47118.741
AT ITER 4780 NEW BEST:: SOT 523947 SOS 324710 HAS SOPS 307139 HAS SOUS 51279 HAS SOUPS 46780 WITH SCORE 47104.71
AT ITER 4858 NEW BEST:: SOT 523947 SOS 324708 HAS SOPS 307129 HAS SOUS 51269 HAS SOUPS 46764 WITH SCORE 47088.708
AT ITER 4896 NEW BEST:: SOT 523945 SOS 324704 HAS SOPS 307123 HAS SOUS 51263 HAS SOUPS 46758 WITH SCORE 47082.704
AT ITER 4897 NEW BEST:: SOT 523767 SOS 324526 HAS SOPS 306945 HAS SOUS 51085 HAS SOUPS 46580 WITH SCORE 46904.526
AT ITER 4935 NEW BEST:: SOT 523767 SOS 325342 HAS SOPS 307743 HAS SOUS 51123 HAS SOUPS 46576 WITH SCORE 46901.342
AT ITER 4965 NEW BEST:: SOT 523767 SOS 325342 HAS SOPS 307742 HAS SOUS 51121 HAS SOUPS 46574 WITH SCORE 46899.342
AT ITER 4979 NEW BEST:: SOT 523635 SOS 325211 HAS SOPS 307557 HAS SOUS 51081 HAS SOUPS 46531 WITH SCORE 46856.211
AT ITER 4993 NEW BEST:: SOT 523667 SOS 325215 HAS SOPS 307593 HAS SOUS 50945 HAS SOUPS 46403 WITH SCORE 46728.215
Bounds file is: CTLFireability.xml
PROPERTY: Dekker-PT-050-CTLFireability-00 (AG( (EF( ( ((potential((tk(P58)>=1) & (tk(P98)>=1) & (tk(P186)>=1)))) & (! ((potential((tk(P66)>=1) & (tk(P94)>=1) & (tk(P240)>=1))))) )))))
PROPERTY: Dekker-PT-050-CTLFireability-01 (AG( ( (AU( ((potential((tk(P1)>=1) & (tk(P3)>=1) & (tk(P5)>=1) & (tk(P7)>=1) & (tk(P9)>=1) & (tk(P11)>=1) & (tk(P13)>=1) & (tk(P15)>=1) & (tk(P17)>=1) & (tk(P19)>=1) & (tk(P21)>=1) & (tk(P25)>=1) & (tk(P27)>=1) & (tk(P29)>=1) & (tk(P31)>=1) & (tk(P33)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P39)>=1) & (tk(P41)>=1) & (tk(P43)>=1) & (tk(P45)>=1) & (tk(P47)>=1) & (tk(P49)>=1) & (tk(P51)>=1) & (tk(P53)>=1) & (tk(P55)>=1) & (tk(P57)>=1) & (tk(P59)>=1) & (tk(P61)>=1) & (tk(P63)>=1) & (tk(P65)>=1) & (tk(P67)>=1) & (tk(P69)>=1) & (tk(P71)>=1) & (tk(P73)>=1) & (tk(P75)>=1) & (tk(P77)>=1) & (tk(P79)>=1) & (tk(P81)>=1) & (tk(P83)>=1) & (tk(P85)>=1) & (tk(P87)>=1) & (tk(P89)>=1) & (tk(P91)>=1) & (tk(P93)>=1) & (tk(P95)>=1) & (tk(P97)>=1) & (tk(P99)>=1) & (tk(P135)>=1)))) , ((potential((tk(P92)>=1) & (tk(P98)>=1) & (tk(P237)>=1)))) )) | ( (EF( ((potential((tk(P16)>=1) & (tk(P72)>=1) & (tk(P123)>=1)))))) | ( ( ((potential((tk(P60)>=1) & (tk(P80)>=1) & (tk(P189)>=1)))) | ((potential((tk(P50)>=1) & (tk(P94)>=1) & (tk(P240)>=1)))) ) | ( ((potential((tk(P48)>=1) & (tk(P84)>=1) & (tk(P225)>=1)))) & ((potential((tk(P58)>=1) & (tk(P96)>=1) & (tk(P243)>=1)))) ) ) ) )))
PROPERTY: Dekker-PT-050-CTLFireability-02 ( ((potential((tk(P58)>=1) & (tk(P92)>=1) & (tk(P237)>=1)))) | (EU( (! ( ((potential((tk(P16)>=1) & (tk(P88)>=1) & (tk(P231)>=1)))) & ((potential((tk(P8)>=1) & (tk(P26)>=1) & (tk(P111)>=1)))) )) , ( ((potential((tk(P54)>=1) & (tk(P90)>=1) & (tk(P234)>=1)))) & ( ((potential((tk(P4)>=1) & (tk(P92)>=1) & (tk(P237)>=1)))) | ((potential((tk(P26)>=1) & (tk(P96)>=1) & (tk(P243)>=1)))) ) ) )) )
PROPERTY: Dekker-PT-050-CTLFireability-03 ( (EF( (EG( ( ((potential((tk(P18)>=1) & (tk(P56)>=1) & (tk(P126)>=1)))) | ((potential((tk(P54)>=1) & (tk(P86)>=1) & (tk(P228)>=1)))) ))))) | ((potential((tk(P32)>=1) & (tk(P72)>=1) & (tk(P147)>=1)))) )
PROPERTY: Dekker-PT-050-CTLFireability-04 (EF( ( ( ((potential((tk(P8)>=1) & (tk(P52)>=1) & (tk(P111)>=1)))) & ((potential((tk(P58)>=1) & (tk(P82)>=1) & (tk(P222)>=1)))) ) | (EF( ( ((potential((tk(P14)>=1) & (tk(P24)>=1) & (tk(P135)>=1)))) & ((potential((tk(P66)>=1) & (tk(P92)>=1) & (tk(P237)>=1)))) ))) )))
PROPERTY: Dekker-PT-050-CTLFireability-05 (! (! ( (AU( ((potential((tk(P22)>=1) & (tk(P82)>=1) & (tk(P222)>=1)))) , ((potential((tk(P52)>=1) & (tk(P82)>=1) & (tk(P177)>=1)))) )) | (EF( ( ((potential((tk(P28)>=1) & (tk(P86)>=1) & (tk(P141)>=1)))) & ((potential((tk(P2)>=1) & (tk(P80)>=1) & (tk(P102)>=1)))) ))) )))
PROPERTY: Dekker-PT-050-CTLFireability-06 (EF( (AX( (EF( ((potential((tk(P80)>=1) & (tk(P86)>=1) & (tk(P228)>=1))))))))))
PROPERTY: Dekker-PT-050-CTLFireability-07 (EX( (AF( ( (! ((potential((tk(P50)>=1) & (tk(P68)>=1) & (tk(P201)>=1))))) & ( ((potential((tk(P40)>=1) & (tk(P48)>=1) & (tk(P171)>=1)))) & ((potential((tk(P8)>=1) & (tk(P46)>=1) & (tk(P168)>=1)))) ) )))))
PROPERTY: Dekker-PT-050-CTLFireability-08 ( (AG( (AF( (! ((potential((tk(P90)>=1) & (tk(P92)>=1) & (tk(P237)>=1))))))))) | (AG( (AF( (! ((potential((tk(P14)>=1) & (tk(P26)>=1) & (tk(P120)>=1))))))))) )
PROPERTY: Dekker-PT-050-CTLFireability-09 (EF( (EG( ( ( ((potential((tk(P28)>=1) & (tk(P40)>=1) & (tk(P141)>=1)))) & ((potential((tk(P14)>=1) & (tk(P70)>=1) & (tk(P204)>=1)))) ) & (! ((potential((tk(P28)>=1) & (tk(P98)>=1) & (tk(P141)>=1))))) )))))
PROPERTY: Dekker-PT-050-CTLFireability-10 (EF( (AU( ((potential((tk(P6)>=1) & (tk(P20)>=1) & (tk(P108)>=1)))) , ( ((potential((tk(P48)>=1) & (tk(P74)>=1) & (tk(P210)>=1)))) & ((potential((tk(P56)>=1) & (tk(P68)>=1) & (tk(P201)>=1)))) ) ))))
PROPERTY: Dekker-PT-050-CTLFireability-11 (EX( (AG( (! ((potential((tk(P26)>=1) & (tk(P36)>=1) & (tk(P153)>=1)))))))))
PROPERTY: Dekker-PT-050-CTLFireability-12 ( ( (AF( (AF( ((potential((tk(P20)>=1) & (tk(P58)>=1) & (tk(P186)>=1)))))))) | (! ((potential((tk(P20)>=1) & (tk(P80)>=1) & (tk(P219)>=1))))) ) & (! (AX( (EF( ((potential((tk(P26)>=1) & (tk(P70)>=1) & (tk(P204)>=1))))))))) )
PROPERTY: Dekker-PT-050-CTLFireability-13 (EF( (AG( ( ( ((potential((tk(P4)>=1) & (tk(P70)>=1) & (tk(P105)>=1)))) & ((potential((tk(P16)>=1) & (tk(P64)>=1) & (tk(P123)>=1)))) ) | ( ((potential((tk(P14)>=1) & (tk(P20)>=1) & (tk(P129)>=1)))) & ((potential((tk(P26)>=1) & (tk(P50)>=1) & (tk(P174)>=1)))) ) )))))
PROPERTY: Dekker-PT-050-CTLFireability-14 (! (EF( ( (EX( ((potential((tk(P2)>=1) & (tk(P20)>=1) & (tk(P102)>=1)))))) & ( ((potential((tk(P66)>=1) & (tk(P100)>=1) & (tk(P198)>=1)))) & ( ((potential((tk(P4)>=1) & (tk(P8)>=1) & (tk(P105)>=1)))) | ((potential((tk(P2)>=1) & (tk(P10)>=1) & (tk(P102)>=1)))) ) ) ))))
PROPERTY: Dekker-PT-050-CTLFireability-15 (! (! (EF( ( ( ((potential((tk(P20)>=1) & (tk(P130)>=1)))) & ((potential((tk(P44)>=1) & (tk(P84)>=1) & (tk(P225)>=1)))) ) & ( ((potential((tk(P40)>=1) & (tk(P44)>=1) & (tk(P165)>=1)))) | ((potential((tk(P6)>=1) & (tk(P68)>=1) & (tk(P201)>=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="Dekker-PT-050"
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 Dekker-PT-050, 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-158922807300332"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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