fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508300267
Last Updated
Jun 28, 2020

About the Execution of smart for AirplaneLD-PT-0100

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15763.450 3600000.00 3599959.00 111.10 FF?????????????? normal

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 ;