Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508300267.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is AirplaneLD-PT-0100, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508300267
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 18K Mar 24 10:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Mar 24 10:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K Mar 24 09:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 90K Mar 24 09:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 49K Apr 8 14:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 143K Apr 29 06:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Apr 8 14:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 92K Apr 29 06:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 52K Mar 24 07:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 131K Mar 24 07:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 22K Mar 24 06:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Mar 24 06:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Mar 24 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 24 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 796K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589095845188

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (PT), instance 0100
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 719 places, 808 transitions, 3078 arcs.
AT ITER 0 NEW BEST:: SOT 449294 SOS 226686 HAS SOPS 191929 HAS SOUS 160023 HAS SOUPS 125269 WITH SCORE 125495.686
AT ITER 4 NEW BEST:: SOT 449105 SOS 226308 HAS SOPS 191740 HAS SOUS 159645 HAS SOUPS 125080 WITH SCORE 125306.308
AT ITER 5 NEW BEST:: SOT 449105 SOS 226397 HAS SOPS 191562 HAS SOUS 159732 HAS SOUPS 124902 WITH SCORE 125128.397
AT ITER 9 NEW BEST:: SOT 449006 SOS 226199 HAS SOPS 191463 HAS SOUS 159534 HAS SOUPS 124803 WITH SCORE 125029.199
AT ITER 10 NEW BEST:: SOT 449006 SOS 226163 HAS SOPS 191427 HAS SOUS 159534 HAS SOUPS 124803 WITH SCORE 125029.163
AT ITER 11 NEW BEST:: SOT 449006 SOS 226424 HAS SOPS 191427 HAS SOUS 159670 HAS SOUPS 124801 WITH SCORE 125027.424
AT ITER 23 NEW BEST:: SOT 448852 SOS 226424 HAS SOPS 191443 HAS SOUS 159516 HAS SOUPS 124663 WITH SCORE 124889.424
AT ITER 31 NEW BEST:: SOT 448795 SOS 226367 HAS SOPS 191386 HAS SOUS 159458 HAS SOUPS 124605 WITH SCORE 124831.367
AT ITER 34 NEW BEST:: SOT 448763 SOS 226303 HAS SOPS 191354 HAS SOUS 159394 HAS SOUPS 124573 WITH SCORE 124799.303
AT ITER 35 NEW BEST:: SOT 448847 SOS 226887 HAS SOPS 191438 HAS SOUS 159641 HAS SOUPS 124532 WITH SCORE 124758.887
AT ITER 40 NEW BEST:: SOT 448757 SOS 226887 HAS SOPS 191438 HAS SOUS 159551 HAS SOUPS 124442 WITH SCORE 124668.887
AT ITER 41 NEW BEST:: SOT 448757 SOS 227215 HAS SOPS 191438 HAS SOUS 159563 HAS SOUPS 124284 WITH SCORE 124511.215
AT ITER 44 NEW BEST:: SOT 448567 SOS 226835 HAS SOPS 191248 HAS SOUS 159183 HAS SOUPS 124094 WITH SCORE 124320.835
AT ITER 45 NEW BEST:: SOT 448427 SOS 226835 HAS SOPS 191312 HAS SOUS 159043 HAS SOUPS 124018 WITH SCORE 124244.835
AT ITER 51 NEW BEST:: SOT 448370 SOS 226721 HAS SOPS 191255 HAS SOUS 158929 HAS SOUPS 123961 WITH SCORE 124187.721
AT ITER 54 NEW BEST:: SOT 448113 SOS 226618 HAS SOPS 191152 HAS SOUS 158907 HAS SOUPS 123939 WITH SCORE 124165.618
AT ITER 56 NEW BEST:: SOT 447813 SOS 226483 HAS SOPS 191017 HAS SOUS 158621 HAS SOUPS 123653 WITH SCORE 123879.483
AT ITER 64 NEW BEST:: SOT 447724 SOS 226305 HAS SOPS 190928 HAS SOUS 158443 HAS SOUPS 123564 WITH SCORE 123790.305
AT ITER 66 NEW BEST:: SOT 447599 SOS 226305 HAS SOPS 190928 HAS SOUS 158318 HAS SOUPS 123439 WITH SCORE 123665.305
AT ITER 71 NEW BEST:: SOT 447435 SOS 225905 HAS SOPS 190764 HAS SOUS 157990 HAS SOUPS 123347 WITH SCORE 123572.905
AT ITER 73 NEW BEST:: SOT 447322 SOS 225679 HAS SOPS 190651 HAS SOUS 157764 HAS SOUPS 123234 WITH SCORE 123459.679
AT ITER 77 NEW BEST:: SOT 447379 SOS 226209 HAS SOPS 190708 HAS SOUS 157915 HAS SOUPS 123139 WITH SCORE 123365.209
AT ITER 78 NEW BEST:: SOT 447186 SOS 225809 HAS SOPS 190515 HAS SOUS 157529 HAS SOUPS 122960 WITH SCORE 123185.809
AT ITER 89 NEW BEST:: SOT 447098 SOS 225809 HAS SOPS 190515 HAS SOUS 157441 HAS SOUPS 122872 WITH SCORE 123097.809
AT ITER 95 NEW BEST:: SOT 447098 SOS 226243 HAS SOPS 190515 HAS SOUS 157491 HAS SOUPS 122680 WITH SCORE 122906.243
AT ITER 96 NEW BEST:: SOT 447041 SOS 226186 HAS SOPS 190458 HAS SOUS 157377 HAS SOUPS 122566 WITH SCORE 122792.186
AT ITER 104 NEW BEST:: SOT 446965 SOS 226186 HAS SOPS 190458 HAS SOUS 157301 HAS SOUPS 122490 WITH SCORE 122716.186
AT ITER 115 NEW BEST:: SOT 446872 SOS 226186 HAS SOPS 190458 HAS SOUS 157208 HAS SOUPS 122397 WITH SCORE 122623.186
AT ITER 133 NEW BEST:: SOT 446872 SOS 226493 HAS SOPS 190458 HAS SOUS 157297 HAS SOUPS 122288 WITH SCORE 122514.493
AT ITER 138 NEW BEST:: SOT 446797 SOS 226493 HAS SOPS 190458 HAS SOUS 157222 HAS SOUPS 122213 WITH SCORE 122439.493
AT ITER 141 NEW BEST:: SOT 446797 SOS 226490 HAS SOPS 190458 HAS SOUS 157219 HAS SOUPS 122213 WITH SCORE 122439.49
AT ITER 143 NEW BEST:: SOT 446677 SOS 226250 HAS SOPS 190338 HAS SOUS 156979 HAS SOUPS 122093 WITH SCORE 122319.25
AT ITER 147 NEW BEST:: SOT 446563 SOS 226250 HAS SOPS 190448 HAS SOUS 156865 HAS SOUPS 122089 WITH SCORE 122315.25
AT ITER 152 NEW BEST:: SOT 446479 SOS 227851 HAS SOPS 192049 HAS SOUS 156782 HAS SOUPS 122006 WITH SCORE 122233.851
AT ITER 154 NEW BEST:: SOT 446479 SOS 228278 HAS SOPS 192049 HAS SOUS 156817 HAS SOUPS 121810 WITH SCORE 122038.278
AT ITER 155 NEW BEST:: SOT 446376 SOS 228278 HAS SOPS 192049 HAS SOUS 156714 HAS SOUPS 121707 WITH SCORE 121935.278
AT ITER 158 NEW BEST:: SOT 446275 SOS 228076 HAS SOPS 191948 HAS SOUS 156512 HAS SOUPS 121606 WITH SCORE 121834.076
AT ITER 161 NEW BEST:: SOT 446275 SOS 228162 HAS SOPS 191948 HAS SOUS 156516 HAS SOUPS 121565 WITH SCORE 121793.162
AT ITER 167 NEW BEST:: SOT 446275 SOS 228494 HAS SOPS 191948 HAS SOUS 156580 HAS SOUPS 121431 WITH SCORE 121659.494
AT ITER 174 NEW BEST:: SOT 446128 SOS 228094 HAS SOPS 191801 HAS SOUS 156286 HAS SOUPS 121390 WITH SCORE 121618.094
AT ITER 175 NEW BEST:: SOT 446128 SOS 228380 HAS SOPS 191801 HAS SOUS 156310 HAS SOUPS 121259 WITH SCORE 121487.38
AT ITER 177 NEW BEST:: SOT 446039 SOS 228379 HAS SOPS 191800 HAS SOUS 156221 HAS SOUPS 121170 WITH SCORE 121398.379
AT ITER 189 NEW BEST:: SOT 445864 SOS 228029 HAS SOPS 191625 HAS SOUS 155871 HAS SOUPS 120995 WITH SCORE 121223.029
AT ITER 191 NEW BEST:: SOT 445822 SOS 227945 HAS SOPS 191583 HAS SOUS 155787 HAS SOUPS 120953 WITH SCORE 121180.945
AT ITER 213 NEW BEST:: SOT 445822 SOS 228314 HAS SOPS 191583 HAS SOUS 155832 HAS SOUPS 120791 WITH SCORE 121019.314
AT ITER 220 NEW BEST:: SOT 445772 SOS 228264 HAS SOPS 191533 HAS SOUS 155732 HAS SOUPS 120691 WITH SCORE 120919.264
AT ITER 221 NEW BEST:: SOT 445620 SOS 227960 HAS SOPS 191381 HAS SOUS 155428 HAS SOUPS 120539 WITH SCORE 120766.96
AT ITER 226 NEW BEST:: SOT 447181 SOS 222271 HAS SOPS 167186 HAS SOUS 156989 HAS SOUPS 103594 WITH SCORE 103816.271
AT ITER 227 NEW BEST:: SOT 447006 SOS 222123 HAS SOPS 167038 HAS SOUS 156918 HAS SOUPS 103523 WITH SCORE 103745.123
AT ITER 231 NEW BEST:: SOT 446944 SOS 221999 HAS SOPS 166976 HAS SOUS 156794 HAS SOUPS 103461 WITH SCORE 103682.999
AT ITER 243 NEW BEST:: SOT 446717 SOS 221880 HAS SOPS 166978 HAS SOUS 156645 HAS SOUPS 103433 WITH SCORE 103654.88
AT ITER 248 NEW BEST:: SOT 446717 SOS 221927 HAS SOPS 166884 HAS SOUS 156645 HAS SOUPS 103339 WITH SCORE 103560.927
AT ITER 255 NEW BEST:: SOT 446474 SOS 221761 HAS SOPS 166838 HAS SOUS 156418 HAS SOUPS 103232 WITH SCORE 103453.761
AT ITER 265 NEW BEST:: SOT 446459 SOS 221731 HAS SOPS 166823 HAS SOUS 156388 HAS SOUPS 103217 WITH SCORE 103438.731
AT ITER 297 NEW BEST:: SOT 446275 SOS 221331 HAS SOPS 166639 HAS SOUS 156020 HAS SOUPS 103065 WITH SCORE 103286.331
AT ITER 314 NEW BEST:: SOT 446350 SOS 233322 HAS SOPS 178460 HAS SOUS 156093 HAS SOUPS 102968 WITH SCORE 103201.322
AT ITER 315 NEW BEST:: SOT 446350 SOS 233617 HAS SOPS 178460 HAS SOUS 156160 HAS SOUPS 102897 WITH SCORE 103130.617
AT ITER 317 NEW BEST:: SOT 446380 SOS 233704 HAS SOPS 178406 HAS SOUS 156190 HAS SOUPS 102843 WITH SCORE 103076.704
AT ITER 318 NEW BEST:: SOT 446232 SOS 233556 HAS SOPS 178258 HAS SOUS 156098 HAS SOUPS 102751 WITH SCORE 102984.556
AT ITER 329 NEW BEST:: SOT 446232 SOS 233836 HAS SOPS 178258 HAS SOUS 156131 HAS SOUPS 102680 WITH SCORE 102913.836
AT ITER 338 NEW BEST:: SOT 446232 SOS 234039 HAS SOPS 178258 HAS SOUS 156141 HAS SOUPS 102609 WITH SCORE 102843.039
AT ITER 349 NEW BEST:: SOT 446232 SOS 234243 HAS SOPS 178258 HAS SOUS 156154 HAS SOUPS 102538 WITH SCORE 102772.243
AT ITER 351 NEW BEST:: SOT 446169 SOS 234117 HAS SOPS 178195 HAS SOUS 156028 HAS SOUPS 102475 WITH SCORE 102709.117
AT ITER 357 NEW BEST:: SOT 429325 SOS 256810 HAS SOPS 201032 HAS SOUS 140062 HAS SOUPS 86653 WITH SCORE 86909.81
AT ITER 358 NEW BEST:: SOT 429325 SOS 257092 HAS SOPS 201032 HAS SOUS 140092 HAS SOUPS 86582 WITH SCORE 86839.092
AT ITER 364 NEW BEST:: SOT 429040 SOS 256660 HAS SOPS 200747 HAS SOUS 139669 HAS SOUPS 86306 WITH SCORE 86562.66
AT ITER 365 NEW BEST:: SOT 429169 SOS 257005 HAS SOPS 200637 HAS SOUS 139856 HAS SOUPS 86194 WITH SCORE 86451.005
AT ITER 377 NEW BEST:: SOT 429180 SOS 257375 HAS SOPS 200648 HAS SOUS 139890 HAS SOUPS 86145 WITH SCORE 86402.375
AT ITER 386 NEW BEST:: SOT 429081 SOS 257177 HAS SOPS 200549 HAS SOUS 139692 HAS SOUPS 86046 WITH SCORE 86303.177
AT ITER 387 NEW BEST:: SOT 429051 SOS 257147 HAS SOPS 200519 HAS SOUS 139632 HAS SOUPS 85986 WITH SCORE 86243.147
AT ITER 392 NEW BEST:: SOT 428703 SOS 256625 HAS SOPS 200171 HAS SOUS 139110 HAS SOUPS 85638 WITH SCORE 85894.625
AT ITER 394 NEW BEST:: SOT 428676 SOS 256598 HAS SOPS 200144 HAS SOUS 139056 HAS SOUPS 85584 WITH SCORE 85840.598
AT ITER 404 NEW BEST:: SOT 428676 SOS 256591 HAS SOPS 200144 HAS SOUS 139049 HAS SOUPS 85584 WITH SCORE 85840.591
AT ITER 406 NEW BEST:: SOT 428553 SOS 256468 HAS SOPS 200021 HAS SOUS 138961 HAS SOUPS 85496 WITH SCORE 85752.468
AT ITER 411 NEW BEST:: SOT 428380 SOS 256122 HAS SOPS 199848 HAS SOUS 138788 HAS SOUPS 85496 WITH SCORE 85752.122
AT ITER 412 NEW BEST:: SOT 428350 SOS 256092 HAS SOPS 199818 HAS SOUS 138758 HAS SOUPS 85466 WITH SCORE 85722.092
AT ITER 416 NEW BEST:: SOT 428146 SOS 256015 HAS SOPS 199799 HAS SOUS 138621 HAS SOUPS 85387 WITH SCORE 85643.015
AT ITER 418 NEW BEST:: SOT 428036 SOS 255905 HAS SOPS 199689 HAS SOUS 138551 HAS SOUPS 85317 WITH SCORE 85572.905
AT ITER 420 NEW BEST:: SOT 427647 SOS 255587 HAS SOPS 199421 HAS SOUS 138359 HAS SOUPS 85175 WITH SCORE 85430.587
AT ITER 426 NEW BEST:: SOT 427647 SOS 255556 HAS SOPS 199421 HAS SOUS 138359 HAS SOUPS 85175 WITH SCORE 85430.556
AT ITER 432 NEW BEST:: SOT 427647 SOS 255551 HAS SOPS 199421 HAS SOUS 138354 HAS SOUPS 85175 WITH SCORE 85430.551
AT ITER 442 NEW BEST:: SOT 427629 SOS 255515 HAS SOPS 199403 HAS SOUS 138318 HAS SOUPS 85157 WITH SCORE 85412.515
AT ITER 444 NEW BEST:: SOT 427214 SOS 254885 HAS SOPS 198988 HAS SOUS 137703 HAS SOUPS 84757 WITH SCORE 85011.885
AT ITER 446 NEW BEST:: SOT 427120 SOS 254791 HAS SOPS 198894 HAS SOUS 137609 HAS SOUPS 84663 WITH SCORE 84917.791
AT ITER 448 NEW BEST:: SOT 427260 SOS 255129 HAS SOPS 198837 HAS SOUS 137810 HAS SOUPS 84604 WITH SCORE 84859.129
AT ITER 454 NEW BEST:: SOT 427260 SOS 255407 HAS SOPS 198837 HAS SOUS 137835 HAS SOUPS 84533 WITH SCORE 84788.407
AT ITER 463 NEW BEST:: SOT 426886 SOS 255033 HAS SOPS 198463 HAS SOUS 137593 HAS SOUPS 84291 WITH SCORE 84546.033
AT ITER 466 NEW BEST:: SOT 426876 SOS 255018 HAS SOPS 198453 HAS SOUS 137578 HAS SOUPS 84281 WITH SCORE 84536.018
AT ITER 467 NEW BEST:: SOT 426877 SOS 255019 HAS SOPS 198454 HAS SOUS 137408 HAS SOUPS 84111 WITH SCORE 84366.019
AT ITER 468 NEW BEST:: SOT 426877 SOS 254956 HAS SOPS 198454 HAS SOUS 137345 HAS SOUPS 84111 WITH SCORE 84365.956
AT ITER 472 NEW BEST:: SOT 426795 SOS 254792 HAS SOPS 198372 HAS SOUS 137181 HAS SOUPS 84029 WITH SCORE 84283.792
AT ITER 475 NEW BEST:: SOT 426472 SOS 254469 HAS SOPS 198049 HAS SOUS 136891 HAS SOUPS 83739 WITH SCORE 83993.469
AT ITER 477 NEW BEST:: SOT 426196 SOS 254055 HAS SOPS 197773 HAS SOUS 136477 HAS SOUPS 83463 WITH SCORE 83717.055
AT ITER 478 NEW BEST:: SOT 426174 SOS 254011 HAS SOPS 197751 HAS SOUS 136433 HAS SOUPS 83441 WITH SCORE 83695.011
AT ITER 490 NEW BEST:: SOT 425930 SOS 253645 HAS SOPS 197507 HAS SOUS 136067 HAS SOUPS 83197 WITH SCORE 83450.645
AT ITER 495 NEW BEST:: SOT 425897 SOS 253612 HAS SOPS 197441 HAS SOUS 136001 HAS SOUPS 83098 WITH SCORE 83351.612
AT ITER 511 NEW BEST:: SOT 425692 SOS 253487 HAS SOPS 197473 HAS SOUS 135836 HAS SOUPS 83090 WITH SCORE 83343.487
AT ITER 513 NEW BEST:: SOT 425692 SOS 253416 HAS SOPS 197473 HAS SOUS 135836 HAS SOUPS 83090 WITH SCORE 83343.416
AT ITER 515 NEW BEST:: SOT 425393 SOS 253117 HAS SOPS 197174 HAS SOUS 135616 HAS SOUPS 82870 WITH SCORE 83123.117
AT ITER 517 NEW BEST:: SOT 425174 SOS 252741 HAS SOPS 196955 HAS SOUS 135335 HAS SOUPS 82746 WITH SCORE 82998.741
AT ITER 518 NEW BEST:: SOT 425011 SOS 252438 HAS SOPS 196792 HAS SOUS 135149 HAS SOUPS 82700 WITH SCORE 82952.438
AT ITER 520 NEW BEST:: SOT 424819 SOS 252054 HAS SOPS 196600 HAS SOUS 134957 HAS SOUPS 82700 WITH SCORE 82952.054
AT ITER 522 NEW BEST:: SOT 424719 SOS 251837 HAS SOPS 196500 HAS SOUS 134757 HAS SOUPS 82617 WITH SCORE 82868.837
AT ITER 525 NEW BEST:: SOT 424509 SOS 251419 HAS SOPS 196290 HAS SOUS 134545 HAS SOUPS 82613 WITH SCORE 82864.419
AT ITER 530 NEW BEST:: SOT 424509 SOS 251469 HAS SOPS 196290 HAS SOUS 134545 HAS SOUPS 82563 WITH SCORE 82814.469
AT ITER 534 NEW BEST:: SOT 424508 SOS 251468 HAS SOPS 196289 HAS SOUS 134543 HAS SOUPS 82561 WITH SCORE 82812.468
AT ITER 536 NEW BEST:: SOT 393904 SOS 222125 HAS SOPS 166946 HAS SOUS 103949 HAS SOUPS 51967 WITH SCORE 52189.125
AT ITER 537 NEW BEST:: SOT 393488 SOS 221709 HAS SOPS 166530 HAS SOUS 103468 HAS SOUPS 51486 WITH SCORE 51707.709
AT ITER 539 NEW BEST:: SOT 393331 SOS 221592 HAS SOPS 166413 HAS SOUS 103431 HAS SOUPS 51449 WITH SCORE 51670.592
AT ITER 545 NEW BEST:: SOT 393331 SOS 221516 HAS SOPS 166413 HAS SOUS 103420 HAS SOUPS 51449 WITH SCORE 51670.516
AT ITER 547 NEW BEST:: SOT 392965 SOS 221271 HAS SOPS 166347 HAS SOUS 103184 HAS SOUPS 51392 WITH SCORE 51613.271
AT ITER 556 NEW BEST:: SOT 392721 SOS 220905 HAS SOPS 166103 HAS SOUS 102818 HAS SOUPS 51148 WITH SCORE 51368.905
AT ITER 557 NEW BEST:: SOT 392515 SOS 220699 HAS SOPS 165897 HAS SOUS 102622 HAS SOUPS 50952 WITH SCORE 51172.699
AT ITER 564 NEW BEST:: SOT 392470 SOS 220654 HAS SOPS 165852 HAS SOUS 102572 HAS SOUPS 50902 WITH SCORE 51122.654
AT ITER 569 NEW BEST:: SOT 392088 SOS 220081 HAS SOPS 165470 HAS SOUS 101999 HAS SOUPS 50520 WITH SCORE 50740.081
AT ITER 577 NEW BEST:: SOT 392006 SOS 219958 HAS SOPS 165388 HAS SOUS 101876 HAS SOUPS 50438 WITH SCORE 50657.958
AT ITER 582 NEW BEST:: SOT 391606 SOS 219308 HAS SOPS 164988 HAS SOUS 101326 HAS SOUPS 50138 WITH SCORE 50357.308
AT ITER 585 NEW BEST:: SOT 393989 SOS 214997 HAS SOPS 153428 HAS SOUS 96802 HAS SOUPS 45443 WITH SCORE 45657.997
AT ITER 586 NEW BEST:: SOT 393953 SOS 214925 HAS SOPS 153392 HAS SOUS 96766 HAS SOUPS 45443 WITH SCORE 45657.925
AT ITER 588 NEW BEST:: SOT 393953 SOS 214858 HAS SOPS 153392 HAS SOUS 96766 HAS SOUPS 45443 WITH SCORE 45657.858
AT ITER 589 NEW BEST:: SOT 394101 SOS 215176 HAS SOPS 153368 HAS SOUS 96847 HAS SOUPS 45353 WITH SCORE 45568.176
AT ITER 592 NEW BEST:: SOT 394023 SOS 215098 HAS SOPS 153290 HAS SOUS 96775 HAS SOUPS 45281 WITH SCORE 45496.098
AT ITER 598 NEW BEST:: SOT 394003 SOS 215078 HAS SOPS 153270 HAS SOUS 96775 HAS SOUPS 45281 WITH SCORE 45496.078
AT ITER 605 NEW BEST:: SOT 394003 SOS 215550 HAS SOPS 153270 HAS SOUS 96775 HAS SOUPS 45107 WITH SCORE 45322.55
AT ITER 610 NEW BEST:: SOT 393817 SOS 215175 HAS SOPS 153148 HAS SOUS 96592 HAS SOUPS 45049 WITH SCORE 45264.175
AT ITER 619 NEW BEST:: SOT 393817 SOS 212700 HAS SOPS 150648 HAS SOUS 96567 HAS SOUPS 44999 WITH SCORE 45211.7
AT ITER 629 NEW BEST:: SOT 393817 SOS 213008 HAS SOPS 150648 HAS SOUS 96567 HAS SOUPS 44882 WITH SCORE 45095.008
AT ITER 633 NEW BEST:: SOT 393705 SOS 212896 HAS SOPS 150536 HAS SOUS 96343 HAS SOUPS 44658 WITH SCORE 44870.896
AT ITER 639 NEW BEST:: SOT 393789 SOS 213064 HAS SOPS 150539 HAS SOUS 96346 HAS SOUPS 44577 WITH SCORE 44790.064
AT ITER 643 NEW BEST:: SOT 393789 SOS 213088 HAS SOPS 150491 HAS SOUS 96370 HAS SOUPS 44529 WITH SCORE 44742.088
AT ITER 654 NEW BEST:: SOT 393789 SOS 213442 HAS SOPS 150491 HAS SOUS 96370 HAS SOUPS 44383 WITH SCORE 44596.442
AT ITER 656 NEW BEST:: SOT 393853 SOS 214119 HAS SOPS 150555 HAS SOUS 96559 HAS SOUPS 44269 WITH SCORE 44483.119
AT ITER 670 NEW BEST:: SOT 393853 SOS 214075 HAS SOPS 150555 HAS SOUS 96515 HAS SOUPS 44269 WITH SCORE 44483.075
AT ITER 677 NEW BEST:: SOT 393947 SOS 214263 HAS SOPS 150555 HAS SOUS 96515 HAS SOUPS 44175 WITH SCORE 44389.263
AT ITER 683 NEW BEST:: SOT 393938 SOS 214245 HAS SOPS 150546 HAS SOUS 96506 HAS SOUPS 44175 WITH SCORE 44389.245
AT ITER 691 NEW BEST:: SOT 393575 SOS 213941 HAS SOPS 150495 HAS SOUS 96220 HAS SOUPS 44142 WITH SCORE 44355.941
AT ITER 692 NEW BEST:: SOT 393575 SOS 214128 HAS SOPS 150495 HAS SOUS 96220 HAS SOUPS 44068 WITH SCORE 44282.128
AT ITER 693 NEW BEST:: SOT 393632 SOS 214573 HAS SOPS 150552 HAS SOUS 96334 HAS SOUPS 44058 WITH SCORE 44272.573
AT ITER 707 NEW BEST:: SOT 393632 SOS 214607 HAS SOPS 150484 HAS SOUS 96368 HAS SOUPS 43990 WITH SCORE 44204.607
AT ITER 708 NEW BEST:: SOT 393805 SOS 214685 HAS SOPS 150441 HAS SOUS 96382 HAS SOUPS 43883 WITH SCORE 44097.685
AT ITER 725 NEW BEST:: SOT 393359 SOS 214306 HAS SOPS 150161 HAS SOUS 95958 HAS SOUPS 43558 WITH SCORE 43772.306
AT ITER 743 NEW BEST:: SOT 393290 SOS 214237 HAS SOPS 150092 HAS SOUS 95958 HAS SOUPS 43558 WITH SCORE 43772.237
AT ITER 757 NEW BEST:: SOT 392941 SOS 213944 HAS SOPS 149949 HAS SOUS 95609 HAS SOUPS 43359 WITH SCORE 43572.944
AT ITER 761 NEW BEST:: SOT 392731 SOS 213524 HAS SOPS 149739 HAS SOUS 95399 HAS SOUPS 43254 WITH SCORE 43467.524
AT ITER 766 NEW BEST:: SOT 392812 SOS 214285 HAS SOPS 149820 HAS SOUS 95687 HAS SOUPS 43174 WITH SCORE 43388.285
AT ITER 768 NEW BEST:: SOT 392622 SOS 213998 HAS SOPS 149630 HAS SOUS 95497 HAS SOUPS 43081 WITH SCORE 43294.998
AT ITER 771 NEW BEST:: SOT 392643 SOS 214043 HAS SOPS 149624 HAS SOUS 95542 HAS SOUPS 43075 WITH SCORE 43289.043
AT ITER 778 NEW BEST:: SOT 392635 SOS 214035 HAS SOPS 149673 HAS SOUS 95526 HAS SOUPS 43059 WITH SCORE 43273.035
AT ITER 799 NEW BEST:: SOT 392635 SOS 214035 HAS SOPS 149659 HAS SOUS 95526 HAS SOUPS 43045 WITH SCORE 43259.035
AT ITER 812 NEW BEST:: SOT 392635 SOS 214367 HAS SOPS 149659 HAS SOUS 95526 HAS SOUPS 42918 WITH SCORE 43132.367
AT ITER 828 NEW BEST:: SOT 392635 SOS 214367 HAS SOPS 149593 HAS SOUS 95526 HAS SOUPS 42852 WITH SCORE 43066.367
AT ITER 834 NEW BEST:: SOT 392403 SOS 213903 HAS SOPS 149361 HAS SOUS 95294 HAS SOUPS 42736 WITH SCORE 42949.903
AT ITER 840 NEW BEST:: SOT 392402 SOS 213953 HAS SOPS 149411 HAS SOUS 95293 HAS SOUPS 42735 WITH SCORE 42948.953
AT ITER 843 NEW BEST:: SOT 392173 SOS 213800 HAS SOPS 149400 HAS SOUS 95084 HAS SOUPS 42668 WITH SCORE 42881.8
AT ITER 845 NEW BEST:: SOT 392173 SOS 213698 HAS SOPS 149400 HAS SOUS 95084 HAS SOUPS 42668 WITH SCORE 42881.698
AT ITER 846 NEW BEST:: SOT 391882 SOS 213145 HAS SOPS 149228 HAS SOUS 94831 HAS SOUPS 42625 WITH SCORE 42838.145
AT ITER 856 NEW BEST:: SOT 391882 SOS 213145 HAS SOPS 149207 HAS SOUS 94810 HAS SOUPS 42583 WITH SCORE 42796.145
AT ITER 862 NEW BEST:: SOT 391959 SOS 213347 HAS SOPS 149170 HAS SOUS 94887 HAS SOUPS 42525 WITH SCORE 42738.347
AT ITER 871 NEW BEST:: SOT 391981 SOS 213413 HAS SOPS 149170 HAS SOUS 94887 HAS SOUPS 42503 WITH SCORE 42716.413
AT ITER 889 NEW BEST:: SOT 391981 SOS 213413 HAS SOPS 148962 HAS SOUS 94887 HAS SOUPS 42295 WITH SCORE 42508.413
AT ITER 897 NEW BEST:: SOT 391981 SOS 213590 HAS SOPS 148962 HAS SOUS 94887 HAS SOUPS 42180 WITH SCORE 42393.59
AT ITER 900 NEW BEST:: SOT 391869 SOS 213478 HAS SOPS 148932 HAS SOUS 94857 HAS SOUPS 42150 WITH SCORE 42363.478
AT ITER 921 NEW BEST:: SOT 391430 SOS 213151 HAS SOPS 148735 HAS SOUS 94506 HAS SOUPS 41929 WITH SCORE 42142.151
AT ITER 930 NEW BEST:: SOT 391410 SOS 213131 HAS SOPS 148715 HAS SOUS 94506 HAS SOUPS 41929 WITH SCORE 42142.131
AT ITER 933 NEW BEST:: SOT 391411 SOS 213214 HAS SOPS 148634 HAS SOUS 94556 HAS SOUPS 41815 WITH SCORE 42028.214
AT ITER 941 NEW BEST:: SOT 391411 SOS 204423 HAS SOPS 139932 HAS SOUS 94467 HAS SOUPS 41815 WITH SCORE 42019.423
AT ITER 950 NEW BEST:: SOT 391455 SOS 204512 HAS SOPS 139931 HAS SOUS 94466 HAS SOUPS 41769 WITH SCORE 41973.512
AT ITER 958 NEW BEST:: SOT 391455 SOS 204509 HAS SOPS 139931 HAS SOUS 94463 HAS SOUPS 41769 WITH SCORE 41973.509
AT ITER 1018 NEW BEST:: SOT 391454 SOS 204508 HAS SOPS 139930 HAS SOUS 94461 HAS SOUPS 41767 WITH SCORE 41971.508
AT ITER 1038 NEW BEST:: SOT 391487 SOS 204879 HAS SOPS 139963 HAS SOUS 94527 HAS SOUPS 41735 WITH SCORE 41939.879
AT ITER 1040 NEW BEST:: SOT 391487 SOS 204823 HAS SOPS 139963 HAS SOUS 94471 HAS SOUPS 41735 WITH SCORE 41939.823
AT ITER 1048 NEW BEST:: SOT 391532 SOS 204913 HAS SOPS 139963 HAS SOUS 94471 HAS SOUPS 41690 WITH SCORE 41894.913
AT ITER 1056 NEW BEST:: SOT 391493 SOS 204874 HAS SOPS 139924 HAS SOUS 94437 HAS SOUPS 41656 WITH SCORE 41860.874
AT ITER 1079 NEW BEST:: SOT 391422 SOS 204732 HAS SOPS 139853 HAS SOUS 94366 HAS SOUPS 41656 WITH SCORE 41860.732
AT ITER 1088 NEW BEST:: SOT 391130 SOS 204617 HAS SOPS 139750 HAS SOUS 94323 HAS SOUPS 41613 WITH SCORE 41817.617
AT ITER 1090 NEW BEST:: SOT 391038 SOS 204525 HAS SOPS 139750 HAS SOUS 94231 HAS SOUPS 41613 WITH SCORE 41817.525
AT ITER 1111 NEW BEST:: SOT 390997 SOS 197526 HAS SOPS 132781 HAS SOUS 94119 HAS SOUPS 41531 WITH SCORE 41728.526
AT ITER 1128 NEW BEST:: SOT 390986 SOS 197515 HAS SOPS 132770 HAS SOUS 94097 HAS SOUPS 41509 WITH SCORE 41706.515
AT ITER 1145 NEW BEST:: SOT 391011 SOS 197540 HAS SOPS 132795 HAS SOUS 94006 HAS SOUPS 41418 WITH SCORE 41615.54
AT ITER 1154 NEW BEST:: SOT 390988 SOS 197517 HAS SOPS 132695 HAS SOUS 93960 HAS SOUPS 41372 WITH SCORE 41569.517
AT ITER 1155 NEW BEST:: SOT 390988 SOS 197517 HAS SOPS 132623 HAS SOUS 93960 HAS SOUPS 41300 WITH SCORE 41497.517
AT ITER 1156 NEW BEST:: SOT 390977 SOS 197506 HAS SOPS 132612 HAS SOUS 93938 HAS SOUPS 41278 WITH SCORE 41475.506
AT ITER 1160 NEW BEST:: SOT 390977 SOS 197539 HAS SOPS 132546 HAS SOUS 93938 HAS SOUPS 41212 WITH SCORE 41409.539
AT ITER 1171 NEW BEST:: SOT 390977 SOS 197536 HAS SOPS 132546 HAS SOUS 93938 HAS SOUPS 41212 WITH SCORE 41409.536
AT ITER 1178 NEW BEST:: SOT 390977 SOS 197737 HAS SOPS 132747 HAS SOUS 93927 HAS SOUPS 41201 WITH SCORE 41398.737
AT ITER 1205 NEW BEST:: SOT 390977 SOS 198045 HAS SOPS 132747 HAS SOUS 93927 HAS SOUPS 41047 WITH SCORE 41245.045
AT ITER 1208 NEW BEST:: SOT 390980 SOS 198326 HAS SOPS 132750 HAS SOUS 93933 HAS SOUPS 40965 WITH SCORE 41163.326
AT ITER 1211 NEW BEST:: SOT 390978 SOS 198324 HAS SOPS 132748 HAS SOUS 93933 HAS SOUPS 40965 WITH SCORE 41163.324
AT ITER 1232 NEW BEST:: SOT 390978 SOS 198670 HAS SOPS 132748 HAS SOUS 93933 HAS SOUPS 40872 WITH SCORE 41070.67
AT ITER 1260 NEW BEST:: SOT 390978 SOS 198670 HAS SOPS 132743 HAS SOUS 93928 HAS SOUPS 40862 WITH SCORE 41060.67
AT ITER 1262 NEW BEST:: SOT 390978 SOS 198636 HAS SOPS 132730 HAS SOUS 93907 HAS SOUPS 40862 WITH SCORE 41060.636
AT ITER 1267 NEW BEST:: SOT 390978 SOS 199060 HAS SOPS 132730 HAS SOUS 93907 HAS SOUPS 40692 WITH SCORE 40891.06
AT ITER 1268 NEW BEST:: SOT 391025 SOS 199792 HAS SOPS 132777 HAS SOUS 94106 HAS SOUPS 40544 WITH SCORE 40743.792
AT ITER 1272 NEW BEST:: SOT 391025 SOS 199787 HAS SOPS 132772 HAS SOUS 94106 HAS SOUPS 40544 WITH SCORE 40743.787
AT ITER 1294 NEW BEST:: SOT 390748 SOS 199566 HAS SOPS 132683 HAS SOUS 93829 HAS SOUPS 40399 WITH SCORE 40598.566
AT ITER 1333 NEW BEST:: SOT 390733 SOS 199464 HAS SOPS 132492 HAS SOUS 93798 HAS SOUPS 40368 WITH SCORE 40567.464
AT ITER 1334 NEW BEST:: SOT 390407 SOS 198887 HAS SOPS 132166 HAS SOUS 93397 HAS SOUPS 40130 WITH SCORE 40328.887
AT ITER 1343 NEW BEST:: SOT 390242 SOS 198583 HAS SOPS 132025 HAS SOUS 93232 HAS SOUPS 40066 WITH SCORE 40264.583
AT ITER 1349 NEW BEST:: SOT 390242 SOS 198544 HAS SOPS 132025 HAS SOUS 93232 HAS SOUPS 40066 WITH SCORE 40264.544
AT ITER 1357 NEW BEST:: SOT 390251 SOS 198543 HAS SOPS 132014 HAS SOUS 93241 HAS SOUPS 40065 WITH SCORE 40263.543
AT ITER 1361 NEW BEST:: SOT 390251 SOS 198599 HAS SOPS 132014 HAS SOUS 93241 HAS SOUPS 40037 WITH SCORE 40235.599
AT ITER 1388 NEW BEST:: SOT 390285 SOS 198966 HAS SOPS 132048 HAS SOUS 93309 HAS SOUPS 40013 WITH SCORE 40211.966
AT ITER 1392 NEW BEST:: SOT 390277 SOS 198958 HAS SOPS 132040 HAS SOUS 93309 HAS SOUPS 40013 WITH SCORE 40211.958
AT ITER 1404 NEW BEST:: SOT 390277 SOS 198926 HAS SOPS 132040 HAS SOUS 93309 HAS SOUPS 40013 WITH SCORE 40211.926
AT ITER 1416 NEW BEST:: SOT 390277 SOS 198913 HAS SOPS 132027 HAS SOUS 93309 HAS SOUPS 40013 WITH SCORE 40211.913
AT ITER 1418 NEW BEST:: SOT 390027 SOS 198449 HAS SOPS 131777 HAS SOUS 93059 HAS SOUPS 39888 WITH SCORE 40086.449
AT ITER 1421 NEW BEST:: SOT 389700 SOS 222123 HAS SOPS 155355 HAS SOUS 92740 HAS SOUPS 39473 WITH SCORE 39695.123
AT ITER 1428 NEW BEST:: SOT 389563 SOS 221986 HAS SOPS 155218 HAS SOUS 92740 HAS SOUPS 39473 WITH SCORE 39694.986
AT ITER 1437 NEW BEST:: SOT 389354 SOS 221777 HAS SOPS 155009 HAS SOUS 92531 HAS SOUPS 39264 WITH SCORE 39485.777
AT ITER 1440 NEW BEST:: SOT 389377 SOS 222328 HAS SOPS 155032 HAS SOUS 92577 HAS SOUPS 39166 WITH SCORE 39388.328
AT ITER 1441 NEW BEST:: SOT 389285 SOS 222236 HAS SOPS 154848 HAS SOUS 92393 HAS SOUPS 38982 WITH SCORE 39204.236
AT ITER 1444 NEW BEST:: SOT 389285 SOS 222178 HAS SOPS 154848 HAS SOUS 92393 HAS SOUPS 38982 WITH SCORE 39204.178
AT ITER 1446 NEW BEST:: SOT 389451 SOS 222690 HAS SOPS 154958 HAS SOUS 92559 HAS SOUPS 38919 WITH SCORE 39141.69
AT ITER 1450 NEW BEST:: SOT 389383 SOS 222622 HAS SOPS 154890 HAS SOUS 92423 HAS SOUPS 38783 WITH SCORE 39005.622
AT ITER 1461 NEW BEST:: SOT 389171 SOS 222241 HAS SOPS 154761 HAS SOUS 92251 HAS SOUPS 38780 WITH SCORE 39002.241
AT ITER 1465 NEW BEST:: SOT 389171 SOS 222576 HAS SOPS 154761 HAS SOUS 92251 HAS SOUPS 38630 WITH SCORE 38852.576
AT ITER 1477 NEW BEST:: SOT 389159 SOS 222564 HAS SOPS 154749 HAS SOUS 92239 HAS SOUPS 38618 WITH SCORE 38840.564
AT ITER 1479 NEW BEST:: SOT 389002 SOS 222241 HAS SOPS 154638 HAS SOUS 92091 HAS SOUPS 38590 WITH SCORE 38812.241
AT ITER 1481 NEW BEST:: SOT 389002 SOS 222259 HAS SOPS 154638 HAS SOUS 92091 HAS SOUPS 38581 WITH SCORE 38803.259
AT ITER 1516 NEW BEST:: SOT 388864 SOS 221998 HAS SOPS 154500 HAS SOUS 91955 HAS SOUPS 38515 WITH SCORE 38736.998
AT ITER 1523 NEW BEST:: SOT 388849 SOS 221983 HAS SOPS 154485 HAS SOUS 91925 HAS SOUPS 38485 WITH SCORE 38706.983
AT ITER 1524 NEW BEST:: SOT 388789 SOS 221893 HAS SOPS 154425 HAS SOUS 91835 HAS SOUPS 38425 WITH SCORE 38646.893
AT ITER 1528 NEW BEST:: SOT 388789 SOS 222458 HAS SOPS 154425 HAS SOUS 91868 HAS SOUPS 38183 WITH SCORE 38405.458
AT ITER 1558 NEW BEST:: SOT 388557 SOS 222226 HAS SOPS 154193 HAS SOUS 91707 HAS SOUPS 38022 WITH SCORE 38244.226
AT ITER 1563 NEW BEST:: SOT 388438 SOS 222107 HAS SOPS 154074 HAS SOUS 91707 HAS SOUPS 38022 WITH SCORE 38244.107
AT ITER 1565 NEW BEST:: SOT 388592 SOS 222665 HAS SOPS 154137 HAS SOUS 91861 HAS SOUPS 37883 WITH SCORE 38105.665
AT ITER 1571 NEW BEST:: SOT 388592 SOS 222651 HAS SOPS 154137 HAS SOUS 91861 HAS SOUPS 37883 WITH SCORE 38105.651
AT ITER 1581 NEW BEST:: SOT 388555 SOS 222614 HAS SOPS 154100 HAS SOUS 91861 HAS SOUPS 37883 WITH SCORE 38105.614
AT ITER 1590 NEW BEST:: SOT 388555 SOS 222698 HAS SOPS 154058 HAS SOUS 91861 HAS SOUPS 37799 WITH SCORE 38021.698
AT ITER 1605 NEW BEST:: SOT 388528 SOS 222671 HAS SOPS 154004 HAS SOUS 91807 HAS SOUPS 37745 WITH SCORE 37967.671
AT ITER 1633 NEW BEST:: SOT 388480 SOS 222623 HAS SOPS 153956 HAS SOUS 91711 HAS SOUPS 37649 WITH SCORE 37871.623
AT ITER 1634 NEW BEST:: SOT 388386 SOS 222482 HAS SOPS 153862 HAS SOUS 91570 HAS SOUPS 37555 WITH SCORE 37777.482
AT ITER 1657 NEW BEST:: SOT 387962 SOS 221555 HAS SOPS 153478 HAS SOUS 91146 HAS SOUPS 37451 WITH SCORE 37672.555
AT ITER 1659 NEW BEST:: SOT 387962 SOS 221652 HAS SOPS 153478 HAS SOUS 91146 HAS SOUPS 37355 WITH SCORE 37576.652
AT ITER 1663 NEW BEST:: SOT 387962 SOS 221724 HAS SOPS 153478 HAS SOUS 91146 HAS SOUPS 37319 WITH SCORE 37540.724
AT ITER 1673 NEW BEST:: SOT 387962 SOS 221727 HAS SOPS 153475 HAS SOUS 91146 HAS SOUPS 37313 WITH SCORE 37534.727
AT ITER 1679 NEW BEST:: SOT 387990 SOS 222152 HAS SOPS 153503 HAS SOUS 91202 HAS SOUPS 37212 WITH SCORE 37434.152
AT ITER 1680 NEW BEST:: SOT 387926 SOS 222088 HAS SOPS 153439 HAS SOUS 91202 HAS SOUPS 37212 WITH SCORE 37434.088
AT ITER 1686 NEW BEST:: SOT 387739 SOS 221901 HAS SOPS 153347 HAS SOUS 91158 HAS SOUPS 37168 WITH SCORE 37389.901
AT ITER 1698 NEW BEST:: SOT 387857 SOS 222171 HAS SOPS 153347 HAS SOUS 91158 HAS SOUPS 37050 WITH SCORE 37272.171
AT ITER 1709 NEW BEST:: SOT 387701 SOS 222015 HAS SOPS 153191 HAS SOUS 91084 HAS SOUPS 36976 WITH SCORE 37198.015
AT ITER 1721 NEW BEST:: SOT 387586 SOS 221816 HAS SOPS 153076 HAS SOUS 90938 HAS SOUPS 36914 WITH SCORE 37135.816
AT ITER 1722 NEW BEST:: SOT 387569 SOS 221799 HAS SOPS 153042 HAS SOUS 90904 HAS SOUPS 36880 WITH SCORE 37101.799
AT ITER 1726 NEW BEST:: SOT 387689 SOS 222056 HAS SOPS 153067 HAS SOUS 90929 HAS SOUPS 36785 WITH SCORE 37007.056
AT ITER 1731 NEW BEST:: SOT 387689 SOS 221927 HAS SOPS 153067 HAS SOUS 90929 HAS SOUPS 36785 WITH SCORE 37006.927
AT ITER 1734 NEW BEST:: SOT 387679 SOS 221858 HAS SOPS 153057 HAS SOUS 90850 HAS SOUPS 36765 WITH SCORE 36986.858
AT ITER 1740 NEW BEST:: SOT 387677 SOS 221855 HAS SOPS 153055 HAS SOUS 90848 HAS SOUPS 36764 WITH SCORE 36985.855
AT ITER 1763 NEW BEST:: SOT 387677 SOS 221983 HAS SOPS 153055 HAS SOUS 90848 HAS SOUPS 36700 WITH SCORE 36921.983
AT ITER 1768 NEW BEST:: SOT 387379 SOS 221589 HAS SOPS 152917 HAS SOUS 90550 HAS SOUPS 36658 WITH SCORE 36879.589
AT ITER 1770 NEW BEST:: SOT 386913 SOS 220514 HAS SOPS 152511 HAS SOUS 90079 HAS SOUPS 36554 WITH SCORE 36774.514
AT ITER 1775 NEW BEST:: SOT 386875 SOS 220400 HAS SOPS 152473 HAS SOUS 90041 HAS SOUPS 36554 WITH SCORE 36774.4
AT ITER 1777 NEW BEST:: SOT 386925 SOS 220500 HAS SOPS 152477 HAS SOUS 90045 HAS SOUPS 36508 WITH SCORE 36728.5
AT ITER 1795 NEW BEST:: SOT 386925 SOS 220491 HAS SOPS 152461 HAS SOUS 90020 HAS SOUPS 36476 WITH SCORE 36696.491
AT ITER 1798 NEW BEST:: SOT 386912 SOS 220478 HAS SOPS 152448 HAS SOUS 89994 HAS SOUPS 36450 WITH SCORE 36670.478
AT ITER 1799 NEW BEST:: SOT 386912 SOS 220786 HAS SOPS 152448 HAS SOUS 89994 HAS SOUPS 36349 WITH SCORE 36569.786
AT ITER 1814 NEW BEST:: SOT 386998 SOS 221268 HAS SOPS 152338 HAS SOUS 90080 HAS SOUPS 36066 WITH SCORE 36287.268
AT ITER 1818 NEW BEST:: SOT 387013 SOS 221547 HAS SOPS 152353 HAS SOUS 90110 HAS SOUPS 36054 WITH SCORE 36275.547
AT ITER 1829 NEW BEST:: SOT 387117 SOS 221855 HAS SOPS 152441 HAS SOUS 90214 HAS SOUPS 36040 WITH SCORE 36261.855
AT ITER 1895 NEW BEST:: SOT 386853 SOS 221537 HAS SOPS 152231 HAS SOUS 89962 HAS SOUPS 35896 WITH SCORE 36117.537
AT ITER 1900 NEW BEST:: SOT 387026 SOS 221874 HAS SOPS 152274 HAS SOUS 90005 HAS SOUPS 35766 WITH SCORE 35987.874
AT ITER 1929 NEW BEST:: SOT 387026 SOS 221982 HAS SOPS 152220 HAS SOUS 90005 HAS SOUPS 35658 WITH SCORE 35879.982
AT ITER 1953 NEW BEST:: SOT 387012 SOS 221968 HAS SOPS 152143 HAS SOUS 89977 HAS SOUPS 35630 WITH SCORE 35851.968
AT ITER 1972 NEW BEST:: SOT 386975 SOS 221931 HAS SOPS 152069 HAS SOUS 89903 HAS SOUPS 35519 WITH SCORE 35740.931
AT ITER 1976 NEW BEST:: SOT 386915 SOS 221811 HAS SOPS 152009 HAS SOUS 89843 HAS SOUPS 35489 WITH SCORE 35710.811
AT ITER 1978 NEW BEST:: SOT 386749 SOS 221645 HAS SOPS 151843 HAS SOUS 89843 HAS SOUPS 35489 WITH SCORE 35710.645
AT ITER 2005 NEW BEST:: SOT 386681 SOS 221577 HAS SOPS 151775 HAS SOUS 89823 HAS SOUPS 35469 WITH SCORE 35690.577
AT ITER 2012 NEW BEST:: SOT 386522 SOS 220675 HAS SOPS 151616 HAS SOUS 89302 HAS SOUPS 35393 WITH SCORE 35613.675
AT ITER 2017 NEW BEST:: SOT 386617 SOS 220734 HAS SOPS 151660 HAS SOUS 89294 HAS SOUPS 35385 WITH SCORE 35605.734
AT ITER 2018 NEW BEST:: SOT 386635 SOS 221061 HAS SOPS 151678 HAS SOUS 89330 HAS SOUPS 35332 WITH SCORE 35553.061
AT ITER 2026 NEW BEST:: SOT 386633 SOS 220988 HAS SOPS 151676 HAS SOUS 89257 HAS SOUPS 35330 WITH SCORE 35550.988
AT ITER 2038 NEW BEST:: SOT 386461 SOS 220266 HAS SOPS 151504 HAS SOUS 88900 HAS SOUPS 35228 WITH SCORE 35448.266
AT ITER 2047 NEW BEST:: SOT 386593 SOS 220398 HAS SOPS 151636 HAS SOUS 88894 HAS SOUPS 35222 WITH SCORE 35442.398
AT ITER 2052 NEW BEST:: SOT 386593 SOS 220362 HAS SOPS 151636 HAS SOUS 88894 HAS SOUPS 35222 WITH SCORE 35442.362
AT ITER 2064 NEW BEST:: SOT 386565 SOS 220334 HAS SOPS 151608 HAS SOUS 88838 HAS SOUPS 35166 WITH SCORE 35386.334
AT ITER 2080 NEW BEST:: SOT 386565 SOS 220334 HAS SOPS 151608 HAS SOUS 88822 HAS SOUPS 35150 WITH SCORE 35370.334
AT ITER 2090 NEW BEST:: SOT 386565 SOS 220331 HAS SOPS 151608 HAS SOUS 88822 HAS SOUPS 35150 WITH SCORE 35370.331
AT ITER 2094 NEW BEST:: SOT 386565 SOS 220290 HAS SOPS 151608 HAS SOUS 88822 HAS SOUPS 35150 WITH SCORE 35370.29
AT ITER 2108 NEW BEST:: SOT 386565 SOS 220278 HAS SOPS 151608 HAS SOUS 88810 HAS SOUPS 35150 WITH SCORE 35370.278
AT ITER 2111 NEW BEST:: SOT 386565 SOS 220278 HAS SOPS 151552 HAS SOUS 88698 HAS SOUPS 35038 WITH SCORE 35258.278
AT ITER 2114 NEW BEST:: SOT 386723 SOS 220782 HAS SOPS 151644 HAS SOUS 88856 HAS SOUPS 34957 WITH SCORE 35177.782
AT ITER 2128 NEW BEST:: SOT 386657 SOS 220650 HAS SOPS 151578 HAS SOUS 88790 HAS SOUPS 34924 WITH SCORE 35144.65
AT ITER 2135 NEW BEST:: SOT 386657 SOS 220599 HAS SOPS 151578 HAS SOUS 88790 HAS SOUPS 34924 WITH SCORE 35144.599
AT ITER 2141 NEW BEST:: SOT 386482 SOS 220374 HAS SOPS 151403 HAS SOUS 88390 HAS SOUPS 34574 WITH SCORE 34794.374
AT ITER 2192 NEW BEST:: SOT 386376 SOS 220268 HAS SOPS 151297 HAS SOUS 88314 HAS SOUPS 34498 WITH SCORE 34718.268
AT ITER 2207 NEW BEST:: SOT 386287 SOS 220179 HAS SOPS 151208 HAS SOUS 88314 HAS SOUPS 34498 WITH SCORE 34718.179
AT ITER 2259 NEW BEST:: SOT 386231 SOS 220063 HAS SOPS 151152 HAS SOUS 88262 HAS SOUPS 34476 WITH SCORE 34696.063
AT ITER 2286 NEW BEST:: SOT 386270 SOS 220367 HAS SOPS 151191 HAS SOUS 88353 HAS SOUPS 34428 WITH SCORE 34648.367
AT ITER 2287 NEW BEST:: SOT 384029 SOS 235880 HAS SOPS 167080 HAS SOUS 86246 HAS SOUPS 32509 WITH SCORE 32744.88
AT ITER 2298 NEW BEST:: SOT 384205 SOS 236430 HAS SOPS 167175 HAS SOUS 86402 HAS SOUPS 32407 WITH SCORE 32643.43
AT ITER 2301 NEW BEST:: SOT 384205 SOS 233971 HAS SOPS 164625 HAS SOUS 86402 HAS SOUPS 32316 WITH SCORE 32549.971
AT ITER 2313 NEW BEST:: SOT 384298 SOS 234562 HAS SOPS 164718 HAS SOUS 86588 HAS SOUPS 32312 WITH SCORE 32546.562
AT ITER 2325 NEW BEST:: SOT 384059 SOS 234323 HAS SOPS 164479 HAS SOUS 86572 HAS SOUPS 32296 WITH SCORE 32530.323
AT ITER 2365 NEW BEST:: SOT 384059 SOS 234313 HAS SOPS 164479 HAS SOUS 86572 HAS SOUPS 32296 WITH SCORE 32530.313
AT ITER 2376 NEW BEST:: SOT 384059 SOS 234295 HAS SOPS 164461 HAS SOUS 86500 HAS SOUPS 32224 WITH SCORE 32458.295
AT ITER 2395 NEW BEST:: SOT 384020 SOS 234256 HAS SOPS 164422 HAS SOUS 86422 HAS SOUPS 32146 WITH SCORE 32380.256
AT ITER 2398 NEW BEST:: SOT 384034 SOS 234437 HAS SOPS 164436 HAS SOUS 86555 HAS SOUPS 32143 WITH SCORE 32377.437
AT ITER 2400 NEW BEST:: SOT 383996 SOS 234311 HAS SOPS 164398 HAS SOUS 86421 HAS SOUPS 32082 WITH SCORE 32316.311
AT ITER 2406 NEW BEST:: SOT 382788 SOS 239145 HAS SOPS 169259 HAS SOUS 85424 HAS SOUPS 31112 WITH SCORE 31351.145
AT ITER 2418 NEW BEST:: SOT 382620 SOS 238823 HAS SOPS 169091 HAS SOUS 85242 HAS SOUPS 31014 WITH SCORE 31252.823
AT ITER 2426 NEW BEST:: SOT 382611 SOS 238814 HAS SOPS 169082 HAS SOUS 85242 HAS SOUPS 31014 WITH SCORE 31252.814
AT ITER 2440 NEW BEST:: SOT 382466 SOS 238565 HAS SOPS 168989 HAS SOUS 84993 HAS SOUPS 30921 WITH SCORE 31159.565
AT ITER 2466 NEW BEST:: SOT 382506 SOS 239114 HAS SOPS 169029 HAS SOUS 85073 HAS SOUPS 30850 WITH SCORE 31089.114
AT ITER 2468 NEW BEST:: SOT 382479 SOS 239060 HAS SOPS 169002 HAS SOUS 85046 HAS SOUPS 30850 WITH SCORE 31089.06
AT ITER 2475 NEW BEST:: SOT 382508 SOS 239089 HAS SOPS 168998 HAS SOUS 85042 HAS SOUPS 30846 WITH SCORE 31085.089
AT ITER 2500 NEW BEST:: SOT 382508 SOS 239139 HAS SOPS 168998 HAS SOUS 84992 HAS SOUPS 30746 WITH SCORE 30985.139
AT ITER 2505 NEW BEST:: SOT 382510 SOS 239141 HAS SOPS 169000 HAS SOUS 84969 HAS SOUPS 30723 WITH SCORE 30962.141
AT ITER 2509 NEW BEST:: SOT 382476 SOS 239107 HAS SOPS 168932 HAS SOUS 84901 HAS SOUPS 30655 WITH SCORE 30894.107
AT ITER 2527 NEW BEST:: SOT 382499 SOS 239176 HAS SOPS 168955 HAS SOUS 84901 HAS SOUPS 30632 WITH SCORE 30871.176
AT ITER 2598 NEW BEST:: SOT 382439 SOS 238996 HAS SOPS 168895 HAS SOUS 84781 HAS SOUPS 30572 WITH SCORE 30810.996
AT ITER 2602 NEW BEST:: SOT 382402 SOS 238959 HAS SOPS 168858 HAS SOUS 84707 HAS SOUPS 30498 WITH SCORE 30736.959
AT ITER 2618 NEW BEST:: SOT 382365 SOS 238922 HAS SOPS 168821 HAS SOUS 84633 HAS SOUPS 30424 WITH SCORE 30662.922
AT ITER 2622 NEW BEST:: SOT 382006 SOS 238072 HAS SOPS 168578 HAS SOUS 84277 HAS SOUPS 30423 WITH SCORE 30661.072
AT ITER 2636 NEW BEST:: SOT 381601 SOS 237135 HAS SOPS 168273 HAS SOUS 83872 HAS SOUPS 30383 WITH SCORE 30620.135
AT ITER 2661 NEW BEST:: SOT 381581 SOS 237115 HAS SOPS 168253 HAS SOUS 83852 HAS SOUPS 30363 WITH SCORE 30600.115
AT ITER 2662 NEW BEST:: SOT 381532 SOS 237066 HAS SOPS 168204 HAS SOUS 83803 HAS SOUPS 30314 WITH SCORE 30551.066
AT ITER 2663 NEW BEST:: SOT 381426 SOS 236960 HAS SOPS 168098 HAS SOUS 83803 HAS SOUPS 30314 WITH SCORE 30550.96
AT ITER 2678 NEW BEST:: SOT 381585 SOS 237561 HAS SOPS 168133 HAS SOUS 83962 HAS SOUPS 30129 WITH SCORE 30366.561
AT ITER 2692 NEW BEST:: SOT 381556 SOS 237532 HAS SOPS 168104 HAS SOUS 83904 HAS SOUPS 30071 WITH SCORE 30308.532
AT ITER 2697 NEW BEST:: SOT 381556 SOS 237469 HAS SOPS 168104 HAS SOUS 83904 HAS SOUPS 30071 WITH SCORE 30308.469
AT ITER 2711 NEW BEST:: SOT 381564 SOS 237493 HAS SOPS 168104 HAS SOUS 83912 HAS SOUPS 30063 WITH SCORE 30300.493
AT ITER 2740 NEW BEST:: SOT 381547 SOS 237476 HAS SOPS 168087 HAS SOUS 83878 HAS SOUPS 30029 WITH SCORE 30266.476
AT ITER 2779 NEW BEST:: SOT 381530 SOS 237459 HAS SOPS 168087 HAS SOUS 83878 HAS SOUPS 30029 WITH SCORE 30266.459
AT ITER 2781 NEW BEST:: SOT 381519 SOS 237448 HAS SOPS 168138 HAS SOUS 83856 HAS SOUPS 30007 WITH SCORE 30244.448
AT ITER 2784 NEW BEST:: SOT 381428 SOS 237353 HAS SOPS 167956 HAS SOUS 83674 HAS SOUPS 29825 WITH SCORE 30062.353
AT ITER 2790 NEW BEST:: SOT 381308 SOS 237233 HAS SOPS 167836 HAS SOUS 83434 HAS SOUPS 29585 WITH SCORE 29822.233
AT ITER 2808 NEW BEST:: SOT 381274 SOS 237182 HAS SOPS 167802 HAS SOUS 83369 HAS SOUPS 29537 WITH SCORE 29774.182
AT ITER 2823 NEW BEST:: SOT 381258 SOS 237166 HAS SOPS 167786 HAS SOUS 83337 HAS SOUPS 29505 WITH SCORE 29742.166
AT ITER 2832 NEW BEST:: SOT 380850 SOS 236299 HAS SOPS 167430 HAS SOUS 83061 HAS SOUPS 29499 WITH SCORE 29735.299
AT ITER 2873 NEW BEST:: SOT 380850 SOS 236723 HAS SOPS 167430 HAS SOUS 83061 HAS SOUPS 29337 WITH SCORE 29573.723
AT ITER 2874 NEW BEST:: SOT 380850 SOS 236727 HAS SOPS 167428 HAS SOUS 83061 HAS SOUPS 29333 WITH SCORE 29569.727
AT ITER 2885 NEW BEST:: SOT 380850 SOS 236711 HAS SOPS 167428 HAS SOUS 83061 HAS SOUPS 29333 WITH SCORE 29569.711
AT ITER 2887 NEW BEST:: SOT 380850 SOS 236711 HAS SOPS 167428 HAS SOUS 83026 HAS SOUPS 29298 WITH SCORE 29534.711
AT ITER 2932 NEW BEST:: SOT 380835 SOS 236696 HAS SOPS 167305 HAS SOUS 82996 HAS SOUPS 29268 WITH SCORE 29504.696
AT ITER 2955 NEW BEST:: SOT 380830 SOS 236691 HAS SOPS 167300 HAS SOUS 82991 HAS SOUPS 29263 WITH SCORE 29499.691
AT ITER 2964 NEW BEST:: SOT 380707 SOS 236418 HAS SOPS 167177 HAS SOUS 82905 HAS SOUPS 29257 WITH SCORE 29493.418
AT ITER 2968 NEW BEST:: SOT 380630 SOS 236341 HAS SOPS 167100 HAS SOUS 82905 HAS SOUPS 29257 WITH SCORE 29493.341
AT ITER 2993 NEW BEST:: SOT 380630 SOS 236285 HAS SOPS 167100 HAS SOUS 82905 HAS SOUPS 29257 WITH SCORE 29493.285
AT ITER 3002 NEW BEST:: SOT 380306 SOS 235637 HAS SOPS 166776 HAS SOUS 82581 HAS SOUPS 29095 WITH SCORE 29330.637
AT ITER 3013 NEW BEST:: SOT 380253 SOS 235584 HAS SOPS 166723 HAS SOUS 82475 HAS SOUPS 28989 WITH SCORE 29224.584
AT ITER 3030 NEW BEST:: SOT 379924 SOS 235179 HAS SOPS 166470 HAS SOUS 82272 HAS SOUPS 28938 WITH SCORE 29173.179
AT ITER 3056 NEW BEST:: SOT 379855 SOS 235110 HAS SOPS 166401 HAS SOUS 82203 HAS SOUPS 28869 WITH SCORE 29104.11
AT ITER 3057 NEW BEST:: SOT 379818 SOS 235073 HAS SOPS 166364 HAS SOUS 82129 HAS SOUPS 28795 WITH SCORE 29030.073
AT ITER 3072 NEW BEST:: SOT 378243 SOS 233498 HAS SOPS 164978 HAS SOUS 80536 HAS SOUPS 27391 WITH SCORE 27624.498
AT ITER 3073 NEW BEST:: SOT 378288 SOS 233940 HAS SOPS 165023 HAS SOUS 80626 HAS SOUPS 27390 WITH SCORE 27623.94
AT ITER 3077 NEW BEST:: SOT 378288 SOS 233887 HAS SOPS 164870 HAS SOUS 80626 HAS SOUPS 27390 WITH SCORE 27623.887
AT ITER 3115 NEW BEST:: SOT 378279 SOS 233878 HAS SOPS 164763 HAS SOUS 80608 HAS SOUPS 27372 WITH SCORE 27605.878
AT ITER 3140 NEW BEST:: SOT 378118 SOS 233717 HAS SOPS 164602 HAS SOUS 80608 HAS SOUPS 27372 WITH SCORE 27605.717
AT ITER 3150 NEW BEST:: SOT 378112 SOS 233711 HAS SOPS 164596 HAS SOUS 80596 HAS SOUPS 27360 WITH SCORE 27593.711
AT ITER 3168 NEW BEST:: SOT 378068 SOS 233667 HAS SOPS 164552 HAS SOUS 80552 HAS SOUPS 27316 WITH SCORE 27549.667
AT ITER 3173 NEW BEST:: SOT 378070 SOS 234377 HAS SOPS 164554 HAS SOUS 80666 HAS SOUPS 27096 WITH SCORE 27330.377
AT ITER 3212 NEW BEST:: SOT 378048 SOS 234355 HAS SOPS 164532 HAS SOUS 80622 HAS SOUPS 27052 WITH SCORE 27286.355
AT ITER 3218 NEW BEST:: SOT 378048 SOS 234296 HAS SOPS 164473 HAS SOUS 80622 HAS SOUPS 27052 WITH SCORE 27286.296
AT ITER 3241 NEW BEST:: SOT 378032 SOS 234280 HAS SOPS 164457 HAS SOUS 80622 HAS SOUPS 27052 WITH SCORE 27286.28
AT ITER 3253 NEW BEST:: SOT 378032 SOS 234262 HAS SOPS 164457 HAS SOUS 80604 HAS SOUPS 27052 WITH SCORE 27286.262
AT ITER 3261 NEW BEST:: SOT 378062 SOS 234755 HAS SOPS 164487 HAS SOUS 80664 HAS SOUPS 26901 WITH SCORE 27135.755
AT ITER 3283 NEW BEST:: SOT 378062 SOS 234590 HAS SOPS 164487 HAS SOUS 80664 HAS SOUPS 26901 WITH SCORE 27135.59
AT ITER 3308 NEW BEST:: SOT 378112 SOS 234640 HAS SOPS 164433 HAS SOUS 80556 HAS SOUPS 26793 WITH SCORE 27027.64
AT ITER 3309 NEW BEST:: SOT 378110 SOS 234638 HAS SOPS 164431 HAS SOUS 80552 HAS SOUPS 26789 WITH SCORE 27023.638
AT ITER 3317 NEW BEST:: SOT 378030 SOS 234234 HAS SOPS 164351 HAS SOUS 80340 HAS SOUPS 26709 WITH SCORE 26943.234
AT ITER 3325 NEW BEST:: SOT 378016 SOS 234220 HAS SOPS 164337 HAS SOUS 80340 HAS SOUPS 26709 WITH SCORE 26943.22
AT ITER 3330 NEW BEST:: SOT 377908 SOS 234112 HAS SOPS 164229 HAS SOUS 80232 HAS SOUPS 26601 WITH SCORE 26835.112
AT ITER 3333 NEW BEST:: SOT 377897 SOS 234101 HAS SOPS 164218 HAS SOUS 80221 HAS SOUPS 26590 WITH SCORE 26824.101
AT ITER 3340 NEW BEST:: SOT 377861 SOS 234065 HAS SOPS 164182 HAS SOUS 80221 HAS SOUPS 26590 WITH SCORE 26824.065
AT ITER 3345 NEW BEST:: SOT 377717 SOS 233777 HAS SOPS 164038 HAS SOUS 80077 HAS SOUPS 26518 WITH SCORE 26751.777
AT ITER 3350 NEW BEST:: SOT 377717 SOS 233771 HAS SOPS 164038 HAS SOUS 80077 HAS SOUPS 26518 WITH SCORE 26751.771
AT ITER 3360 NEW BEST:: SOT 377693 SOS 233706 HAS SOPS 164014 HAS SOUS 80012 HAS SOUPS 26494 WITH SCORE 26727.706
AT ITER 3395 NEW BEST:: SOT 377693 SOS 233588 HAS SOPS 164014 HAS SOUS 80012 HAS SOUPS 26494 WITH SCORE 26727.588
AT ITER 3400 NEW BEST:: SOT 377672 SOS 233567 HAS SOPS 163997 HAS SOUS 79966 HAS SOUPS 26452 WITH SCORE 26685.567
AT ITER 3410 NEW BEST:: SOT 377672 SOS 233558 HAS SOPS 163997 HAS SOUS 79966 HAS SOUPS 26452 WITH SCORE 26685.558
AT ITER 3445 NEW BEST:: SOT 377672 SOS 233556 HAS SOPS 163997 HAS SOUS 79964 HAS SOUPS 26452 WITH SCORE 26685.556
AT ITER 3480 NEW BEST:: SOT 377672 SOS 233556 HAS SOPS 163991 HAS SOUS 79964 HAS SOUPS 26446 WITH SCORE 26679.556
AT ITER 3514 NEW BEST:: SOT 377641 SOS 233525 HAS SOPS 163960 HAS SOUS 79902 HAS SOUPS 26384 WITH SCORE 26617.525
AT ITER 3536 NEW BEST:: SOT 377573 SOS 233457 HAS SOPS 163892 HAS SOUS 79766 HAS SOUPS 26248 WITH SCORE 26481.457
AT ITER 3564 NEW BEST:: SOT 377573 SOS 233450 HAS SOPS 163892 HAS SOUS 79759 HAS SOUPS 26248 WITH SCORE 26481.45
AT ITER 3597 NEW BEST:: SOT 377556 SOS 233433 HAS SOPS 163875 HAS SOUS 79751 HAS SOUPS 26240 WITH SCORE 26473.433
AT ITER 3626 NEW BEST:: SOT 377585 SOS 233462 HAS SOPS 163895 HAS SOUS 79733 HAS SOUPS 26222 WITH SCORE 26455.462
AT ITER 3650 NEW BEST:: SOT 377585 SOS 221424 HAS SOPS 151959 HAS SOUS 79631 HAS SOUPS 26222 WITH SCORE 26443.424
AT ITER 3652 NEW BEST:: SOT 377554 SOS 221393 HAS SOPS 151928 HAS SOUS 79569 HAS SOUPS 26160 WITH SCORE 26381.393
AT ITER 3653 NEW BEST:: SOT 377517 SOS 221356 HAS SOPS 151891 HAS SOUS 79569 HAS SOUPS 26160 WITH SCORE 26381.356
AT ITER 3677 NEW BEST:: SOT 377517 SOS 221356 HAS SOPS 151891 HAS SOUS 79421 HAS SOUPS 26012 WITH SCORE 26233.356
AT ITER 3701 NEW BEST:: SOT 377744 SOS 221944 HAS SOPS 152002 HAS SOUS 79647 HAS SOUPS 25947 WITH SCORE 26168.944
AT ITER 3703 NEW BEST:: SOT 377730 SOS 221930 HAS SOPS 151988 HAS SOUS 79619 HAS SOUPS 25919 WITH SCORE 26140.93
AT ITER 3726 NEW BEST:: SOT 377746 SOS 221978 HAS SOPS 152004 HAS SOUS 79619 HAS SOUPS 25903 WITH SCORE 26124.978
AT ITER 3738 NEW BEST:: SOT 377732 SOS 221964 HAS SOPS 151990 HAS SOUS 79469 HAS SOUPS 25753 WITH SCORE 25974.964
AT ITER 3743 NEW BEST:: SOT 377720 SOS 221952 HAS SOPS 151978 HAS SOUS 79457 HAS SOUPS 25741 WITH SCORE 25962.952
AT ITER 3759 NEW BEST:: SOT 377697 SOS 221929 HAS SOPS 151955 HAS SOUS 79411 HAS SOUPS 25695 WITH SCORE 25916.929
AT ITER 3767 NEW BEST:: SOT 377611 SOS 221843 HAS SOPS 151869 HAS SOUS 79325 HAS SOUPS 25609 WITH SCORE 25830.843
AT ITER 3785 NEW BEST:: SOT 377623 SOS 221831 HAS SOPS 151857 HAS SOUS 79301 HAS SOUPS 25585 WITH SCORE 25806.831
AT ITER 3786 NEW BEST:: SOT 377556 SOS 221764 HAS SOPS 151790 HAS SOUS 79301 HAS SOUPS 25585 WITH SCORE 25806.764
AT ITER 3796 NEW BEST:: SOT 377527 SOS 221718 HAS SOPS 151761 HAS SOUS 79260 HAS SOUPS 25561 WITH SCORE 25782.718
AT ITER 3812 NEW BEST:: SOT 377772 SOS 222465 HAS SOPS 151862 HAS SOUS 79505 HAS SOUPS 25423 WITH SCORE 25645.465
AT ITER 3825 NEW BEST:: SOT 377772 SOS 222465 HAS SOPS 151802 HAS SOUS 79385 HAS SOUPS 25303 WITH SCORE 25525.465
AT ITER 3828 NEW BEST:: SOT 377855 SOS 222714 HAS SOPS 151802 HAS SOUS 79385 HAS SOUPS 25220 WITH SCORE 25442.714
AT ITER 3830 NEW BEST:: SOT 377841 SOS 222700 HAS SOPS 151788 HAS SOUS 79357 HAS SOUPS 25192 WITH SCORE 25414.7
AT ITER 3833 NEW BEST:: SOT 377901 SOS 223275 HAS SOPS 151848 HAS SOUS 79477 HAS SOUPS 25166 WITH SCORE 25389.275
AT ITER 3897 NEW BEST:: SOT 377901 SOS 223230 HAS SOPS 151848 HAS SOUS 79477 HAS SOUPS 25166 WITH SCORE 25389.23
AT ITER 3936 NEW BEST:: SOT 377901 SOS 223223 HAS SOPS 151848 HAS SOUS 79477 HAS SOUPS 25166 WITH SCORE 25389.223
AT ITER 3937 NEW BEST:: SOT 377887 SOS 223209 HAS SOPS 151834 HAS SOUS 79477 HAS SOUPS 25166 WITH SCORE 25389.209
AT ITER 3938 NEW BEST:: SOT 377887 SOS 223209 HAS SOPS 151808 HAS SOUS 79425 HAS SOUPS 25114 WITH SCORE 25337.209
AT ITER 3964 NEW BEST:: SOT 377876 SOS 223198 HAS SOPS 151797 HAS SOUS 79414 HAS SOUPS 25103 WITH SCORE 25326.198
AT ITER 3970 NEW BEST:: SOT 377840 SOS 223162 HAS SOPS 151761 HAS SOUS 79342 HAS SOUPS 25031 WITH SCORE 25254.162
AT ITER 4011 NEW BEST:: SOT 377788 SOS 223056 HAS SOPS 151721 HAS SOUS 79292 HAS SOUPS 25023 WITH SCORE 25246.056
AT ITER 4030 NEW BEST:: SOT 377794 SOS 223114 HAS SOPS 151727 HAS SOUS 79304 HAS SOUPS 25009 WITH SCORE 25232.114
AT ITER 4034 NEW BEST:: SOT 377794 SOS 223113 HAS SOPS 151727 HAS SOUS 79304 HAS SOUPS 25009 WITH SCORE 25232.113
AT ITER 4039 NEW BEST:: SOT 377867 SOS 223696 HAS SOPS 151800 HAS SOUS 79450 HAS SOUPS 24967 WITH SCORE 25190.696
AT ITER 4050 NEW BEST:: SOT 377641 SOS 223214 HAS SOPS 151647 HAS SOUS 79254 HAS SOUPS 24954 WITH SCORE 25177.214
AT ITER 4069 NEW BEST:: SOT 377672 SOS 223245 HAS SOPS 151629 HAS SOUS 79218 HAS SOUPS 24918 WITH SCORE 25141.245
AT ITER 4087 NEW BEST:: SOT 377789 SOS 223539 HAS SOPS 151667 HAS SOUS 79275 HAS SOUPS 24877 WITH SCORE 25100.539
AT ITER 4110 NEW BEST:: SOT 377664 SOS 222726 HAS SOPS 151542 HAS SOUS 78932 HAS SOUPS 24869 WITH SCORE 25091.726
AT ITER 4128 NEW BEST:: SOT 377610 SOS 222672 HAS SOPS 151488 HAS SOUS 78878 HAS SOUPS 24815 WITH SCORE 25037.672
AT ITER 4153 NEW BEST:: SOT 377586 SOS 222648 HAS SOPS 151464 HAS SOUS 78854 HAS SOUPS 24791 WITH SCORE 25013.648
AT ITER 4166 NEW BEST:: SOT 377562 SOS 222624 HAS SOPS 151440 HAS SOUS 78806 HAS SOUPS 24743 WITH SCORE 24965.624
AT ITER 4177 NEW BEST:: SOT 377548 SOS 222610 HAS SOPS 151395 HAS SOUS 78778 HAS SOUPS 24715 WITH SCORE 24937.61
AT ITER 4234 NEW BEST:: SOT 377499 SOS 222561 HAS SOPS 151372 HAS SOUS 78680 HAS SOUPS 24617 WITH SCORE 24839.561
AT ITER 4245 NEW BEST:: SOT 377461 SOS 222523 HAS SOPS 151334 HAS SOUS 78604 HAS SOUPS 24541 WITH SCORE 24763.523
AT ITER 4250 NEW BEST:: SOT 377461 SOS 222588 HAS SOPS 151268 HAS SOUS 78609 HAS SOUPS 24415 WITH SCORE 24637.588
AT ITER 4315 NEW BEST:: SOT 377321 SOS 222308 HAS SOPS 151128 HAS SOUS 78469 HAS SOUPS 24345 WITH SCORE 24567.308
AT ITER 4319 NEW BEST:: SOT 377321 SOS 222370 HAS SOPS 151097 HAS SOUS 78469 HAS SOUPS 24283 WITH SCORE 24505.37
AT ITER 4322 NEW BEST:: SOT 377240 SOS 222289 HAS SOPS 151016 HAS SOUS 78469 HAS SOUPS 24283 WITH SCORE 24505.289
AT ITER 4326 NEW BEST:: SOT 377240 SOS 222289 HAS SOPS 151006 HAS SOUS 78449 HAS SOUPS 24263 WITH SCORE 24485.289
AT ITER 4330 NEW BEST:: SOT 377176 SOS 222161 HAS SOPS 150942 HAS SOUS 78385 HAS SOUPS 24231 WITH SCORE 24453.161
AT ITER 4361 NEW BEST:: SOT 377159 SOS 222144 HAS SOPS 150925 HAS SOUS 78368 HAS SOUPS 24214 WITH SCORE 24436.144
AT ITER 4377 NEW BEST:: SOT 377134 SOS 222119 HAS SOPS 150875 HAS SOUS 78318 HAS SOUPS 24164 WITH SCORE 24386.119
AT ITER 4380 NEW BEST:: SOT 377085 SOS 222070 HAS SOPS 150826 HAS SOUS 78220 HAS SOUPS 24066 WITH SCORE 24288.07
AT ITER 4387 NEW BEST:: SOT 377065 SOS 222050 HAS SOPS 150806 HAS SOUS 78200 HAS SOUPS 24046 WITH SCORE 24268.05
AT ITER 4426 NEW BEST:: SOT 377042 SOS 222007 HAS SOPS 150783 HAS SOUS 78174 HAS SOUPS 24040 WITH SCORE 24262.007
AT ITER 4444 NEW BEST:: SOT 377048 SOS 222025 HAS SOPS 150789 HAS SOUS 78174 HAS SOUPS 24034 WITH SCORE 24256.025
AT ITER 4465 NEW BEST:: SOT 377111 SOS 222560 HAS SOPS 150852 HAS SOUS 78300 HAS SOUPS 23968 WITH SCORE 24190.56
AT ITER 4565 NEW BEST:: SOT 377109 SOS 222556 HAS SOPS 150850 HAS SOUS 78298 HAS SOUPS 23967 WITH SCORE 24189.556
AT ITER 4577 NEW BEST:: SOT 377112 SOS 222583 HAS SOPS 150841 HAS SOUS 78301 HAS SOUPS 23946 WITH SCORE 24168.583
AT ITER 4619 NEW BEST:: SOT 377112 SOS 222527 HAS SOPS 150841 HAS SOUS 78301 HAS SOUPS 23946 WITH SCORE 24168.527
AT ITER 4634 NEW BEST:: SOT 377112 SOS 222497 HAS SOPS 150841 HAS SOUS 78301 HAS SOUPS 23946 WITH SCORE 24168.497
AT ITER 4654 NEW BEST:: SOT 377094 SOS 222479 HAS SOPS 150823 HAS SOUS 78283 HAS SOUPS 23928 WITH SCORE 24150.479
AT ITER 4666 NEW BEST:: SOT 377100 SOS 222485 HAS SOPS 150829 HAS SOUS 78271 HAS SOUPS 23916 WITH SCORE 24138.485
AT ITER 4674 NEW BEST:: SOT 377032 SOS 222417 HAS SOPS 150761 HAS SOUS 78143 HAS SOUPS 23788 WITH SCORE 24010.417
AT ITER 4696 NEW BEST:: SOT 377022 SOS 222397 HAS SOPS 150751 HAS SOUS 78133 HAS SOUPS 23783 WITH SCORE 24005.397
AT ITER 4708 NEW BEST:: SOT 377026 SOS 222401 HAS SOPS 150755 HAS SOUS 78101 HAS SOUPS 23751 WITH SCORE 23973.401
AT ITER 4787 NEW BEST:: SOT 376573 SOS 221432 HAS SOPS 150365 HAS SOUS 77648 HAS SOUPS 23619 WITH SCORE 23840.432
AT ITER 4828 NEW BEST:: SOT 376573 SOS 221363 HAS SOPS 150365 HAS SOUS 77648 HAS SOUPS 23619 WITH SCORE 23840.363
AT ITER 4852 NEW BEST:: SOT 376660 SOS 221598 HAS SOPS 150452 HAS SOUS 77674 HAS SOUPS 23571 WITH SCORE 23792.598
AT ITER 4895 NEW BEST:: SOT 376652 SOS 221590 HAS SOPS 150444 HAS SOUS 77658 HAS SOUPS 23555 WITH SCORE 23776.59
AT ITER 4947 NEW BEST:: SOT 376479 SOS 221155 HAS SOPS 150295 HAS SOUS 77485 HAS SOUPS 23537 WITH SCORE 23758.155
AT ITER 4955 NEW BEST:: SOT 376481 SOS 221157 HAS SOPS 150297 HAS SOUS 77465 HAS SOUPS 23517 WITH SCORE 23738.157
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-00 (EU( potential( (tk(P5) + tk(P6)) <= (tk(P3)) ),(AF(potential( ( 3 ) <= (tk(P312)) ))) ))
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-01 (EF(( (! potential( (tk(P413) + tk(P414)) <= (tk(P417) + tk(P418) + tk(P419) + tk(P420) + tk(P421) + tk(P422) + tk(P423) + tk(P424) + tk(P425) + tk(P426) + tk(P427) + tk(P428) + tk(P429) + tk(P430) + tk(P431) + tk(P432) + tk(P433) + tk(P434) + tk(P435) + tk(P436) + tk(P437) + tk(P438) + tk(P439) + tk(P440) + tk(P441) + tk(P442) + tk(P443) + tk(P444) + tk(P445) + tk(P446) + tk(P447) + tk(P448) + tk(P449) + tk(P450) + tk(P451) + tk(P452) + tk(P453) + tk(P454) + tk(P455) + tk(P456) + tk(P457) + tk(P458) + tk(P459) + tk(P460) + tk(P461) + tk(P462) + tk(P463) + tk(P464) + tk(P465) + tk(P466) + tk(P467) + tk(P468) + tk(P469) + tk(P470) + tk(P471) + tk(P472) + tk(P473) + tk(P474) + tk(P475) + tk(P476) + tk(P477) + tk(P478) + tk(P479) + tk(P480) + tk(P481) + tk(P482) + tk(P483) + tk(P484) + tk(P485) + tk(P486) + tk(P487) + tk(P488) + tk(P489) + tk(P490) + tk(P491) + tk(P492) + tk(P493) + tk(P494) + tk(P495) + tk(P496) + tk(P497) + tk(P498) + tk(P499) + tk(P500) + tk(P501) + tk(P502) + tk(P503) + tk(P504) + tk(P505) + tk(P506) + tk(P507) + tk(P508) + tk(P509) + tk(P510) + tk(P511) + tk(P512) + tk(P513) + tk(P514) + tk(P515) + tk(P516) + tk(P517) + tk(P518) + tk(P519) + tk(P520) + tk(P521) + tk(P522) + tk(P523) + tk(P524) + tk(P525) + tk(P526) + tk(P527) + tk(P528) + tk(P529) + tk(P530) + tk(P531) + tk(P532) + tk(P533) + tk(P534) + tk(P535) + tk(P536) + tk(P537) + tk(P538) + tk(P539) + tk(P540) + tk(P541) + tk(P542) + tk(P543) + tk(P544) + tk(P545) + tk(P546) + tk(P547) + tk(P548) + tk(P549) + tk(P550) + tk(P551) + tk(P552) + tk(P553) + tk(P554) + tk(P555) + tk(P556) + tk(P557) + tk(P558) + tk(P559) + tk(P560) + tk(P561) + tk(P562) + tk(P563) + tk(P564) + tk(P565) + tk(P566) + tk(P567) + tk(P568) + tk(P569) + tk(P570) + tk(P571) + tk(P572) + tk(P573) + tk(P574) + tk(P575) + tk(P576) + tk(P577) + tk(P578) + tk(P579) + tk(P580) + tk(P581) + tk(P582) + tk(P583) + tk(P584) + tk(P585) + tk(P586) + tk(P587) + tk(P588) + tk(P589) + tk(P590) + tk(P591) + tk(P592) + tk(P593) + tk(P594) + tk(P595) + tk(P596) + tk(P597) + tk(P598) + tk(P599) + tk(P600) + tk(P601) + tk(P602) + tk(P603) + tk(P604) + tk(P605) + tk(P606) + tk(P607) + tk(P608) + tk(P609) + tk(P610) + tk(P611) + tk(P612) + tk(P613) + tk(P614) + tk(P615) + tk(P616)) )) & potential( ( 2 ) <= (tk(P312)) ) )))
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-02 ( (EF((AF(potential( (tk(P718)) <= (tk(P313) + tk(P314) + tk(P315) + tk(P316) + tk(P317) + tk(P318) + tk(P319) + tk(P320) + tk(P321) + tk(P322) + tk(P323) + tk(P324) + tk(P325) + tk(P326) + tk(P327) + tk(P328) + tk(P329) + tk(P330) + tk(P331) + tk(P332) + tk(P333) + tk(P334) + tk(P335) + tk(P336) + tk(P337) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P343) + tk(P344) + tk(P345) + tk(P346) + tk(P347) + tk(P348) + tk(P349) + tk(P350) + tk(P351) + tk(P352) + tk(P353) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P360) + tk(P361) + tk(P362) + tk(P363) + tk(P364) + tk(P365) + tk(P366) + tk(P367) + tk(P368) + tk(P369) + tk(P370) + tk(P371) + tk(P372) + tk(P373) + tk(P374) + tk(P375) + tk(P376) + tk(P377) + tk(P378) + tk(P379) + tk(P380) + tk(P381) + tk(P382) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P387) + tk(P388) + tk(P389) + tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P394) + tk(P395) + tk(P396) + tk(P397) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P405) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412)) ))))) & (EX( (EF(potential( ( 2 ) <= (tk(P718)) ))))) )
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-03 (AG( (EX( (! potential( ( 1 ) <= (tk(P719)) ))))))
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-04 (EU( (AX( potential( ( 1 ) <= (tk(P10)) ))),(AG( potential( (tk(P312)) <= (tk(P617)) ))) ))
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-05 (! (AG( (EX( potential( (tk(P5) + tk(P6)) <= (tk(P211)) ))))))
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-06 (EU( (EX( potential( (tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210)) <= (tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210)) ))),( potential( ( 1 ) <= (tk(P211)) ) | potential( ( 3 ) <= (tk(P617)) ) ) ))
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-07 (EG( (EF(( potential( ( 1 ) <= (tk(P416)) ) | potential( ( 3 ) <= (tk(P7)) ) )))))
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-08 (EX( (AX( (! potential( (tk(P96)) <= (tk(P295)) ))))))
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-09 ( (EX( (! potential( ( 2 ) <= (tk(P468)) )))) & (AG( (AG( potential( (tk(P628)) <= (tk(P470)) ))))) )
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-10 (AU( potential( (tk(P449)) <= (tk(P651)) ),potential( ( 1 ) <= (tk(P314)) ) ))
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-11 (EG( (EF(potential( (tk(P157)) <= (tk(P613)) )))))
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-12 (EF((AX( ( potential( ( 1 ) <= (tk(P332)) ) & potential( (tk(P628)) <= (tk(P133)) ) )))))
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-13 (AF(( ( ( potential( (tk(P603)) <= (tk(P405)) ) | potential( ( 1 ) <= (tk(P232)) ) ) & (! potential( (tk(P498)) <= (tk(P5)) )) ) & (EG( potential( (tk(P418)) <= (tk(P135)) ))) )))
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-14 (EG( ( (AX( potential( (tk(P616)) <= (tk(P527)) ))) & (AF(potential( ( 3 ) <= (tk(P50)) ))) )))
PROPERTY: AirplaneLD-PT-0100-CTLCardinality-15 ( potential( ( 3 ) <= (tk(P314)) ) | (AF((! ( potential( (tk(P87)) <= (tk(P640)) ) | potential( (tk(P702)) <= (tk(P630)) ) )))) )
FORMULA AirplaneLD-PT-0100-CTLCardinality-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA AirplaneLD-PT-0100-CTLCardinality-01 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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="AirplaneLD-PT-0100"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is AirplaneLD-PT-0100, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508300267"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-PT-0100.tgz
mv AirplaneLD-PT-0100 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;