Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.5K Mar 31 06:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 06:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 29 23:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 29 23:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 14:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 27 07:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 27 07:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 61K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589363219079

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 08b
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: 240 places, 254 transitions, 661 arcs.
AT ITER 0 NEW BEST:: SOT 42396 SOS 20015 HAS SOPS 20015 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17846.015
AT ITER 1 NEW BEST:: SOT 42330 SOS 18943 HAS SOPS 18943 HAS SOUS 17694 HAS SOUPS 17694 WITH SCORE 17712.943
AT ITER 2 NEW BEST:: SOT 42325 SOS 18925 HAS SOPS 18925 HAS SOUS 17685 HAS SOUPS 17685 WITH SCORE 17703.925
AT ITER 3 NEW BEST:: SOT 42277 SOS 18779 HAS SOPS 18779 HAS SOUS 17590 HAS SOUPS 17590 WITH SCORE 17608.779
AT ITER 4 NEW BEST:: SOT 42108 SOS 18648 HAS SOPS 18648 HAS SOUS 17459 HAS SOUPS 17459 WITH SCORE 17477.648
AT ITER 6 NEW BEST:: SOT 42037 SOS 18368 HAS SOPS 18368 HAS SOUS 17402 HAS SOUPS 17402 WITH SCORE 17420.368
AT ITER 11 NEW BEST:: SOT 41980 SOS 18272 HAS SOPS 18272 HAS SOUS 17347 HAS SOUPS 17347 WITH SCORE 17365.272
AT ITER 12 NEW BEST:: SOT 41919 SOS 17871 HAS SOPS 17871 HAS SOUS 17240 HAS SOUPS 17240 WITH SCORE 17257.871
AT ITER 15 NEW BEST:: SOT 41915 SOS 17863 HAS SOPS 17863 HAS SOUS 17240 HAS SOUPS 17240 WITH SCORE 17257.863
AT ITER 16 NEW BEST:: SOT 41915 SOS 17811 HAS SOPS 17811 HAS SOUS 17188 HAS SOUPS 17188 WITH SCORE 17205.811
AT ITER 19 NEW BEST:: SOT 41915 SOS 17761 HAS SOPS 17761 HAS SOUS 17138 HAS SOUPS 17138 WITH SCORE 17155.761
AT ITER 24 NEW BEST:: SOT 41905 SOS 17751 HAS SOPS 17751 HAS SOUS 17128 HAS SOUPS 17128 WITH SCORE 17145.751
AT ITER 33 NEW BEST:: SOT 41905 SOS 17750 HAS SOPS 17750 HAS SOUS 17127 HAS SOUPS 17127 WITH SCORE 17144.75
AT ITER 35 NEW BEST:: SOT 41817 SOS 17662 HAS SOPS 17662 HAS SOUS 17039 HAS SOUPS 17039 WITH SCORE 17056.662
AT ITER 40 NEW BEST:: SOT 41817 SOS 17661 HAS SOPS 17661 HAS SOUS 17038 HAS SOUPS 17038 WITH SCORE 17055.661
AT ITER 42 NEW BEST:: SOT 40945 SOS 22305 HAS SOPS 22305 HAS SOUS 16352 HAS SOUPS 16352 WITH SCORE 16374.305
AT ITER 45 NEW BEST:: SOT 40941 SOS 22297 HAS SOPS 22297 HAS SOUS 16348 HAS SOUPS 16348 WITH SCORE 16370.297
AT ITER 48 NEW BEST:: SOT 40835 SOS 22085 HAS SOPS 22085 HAS SOUS 16188 HAS SOUPS 16188 WITH SCORE 16210.085
AT ITER 50 NEW BEST:: SOT 40813 SOS 22041 HAS SOPS 22041 HAS SOUS 16164 HAS SOUPS 16164 WITH SCORE 16186.041
AT ITER 52 NEW BEST:: SOT 40813 SOS 21981 HAS SOPS 21981 HAS SOUS 16164 HAS SOUPS 16164 WITH SCORE 16185.981
AT ITER 57 NEW BEST:: SOT 40779 SOS 21930 HAS SOPS 21930 HAS SOUS 16129 HAS SOUPS 16129 WITH SCORE 16150.93
AT ITER 60 NEW BEST:: SOT 40620 SOS 21632 HAS SOPS 21632 HAS SOUS 15888 HAS SOUPS 15888 WITH SCORE 15909.632
AT ITER 62 NEW BEST:: SOT 40619 SOS 21630 HAS SOPS 21630 HAS SOUS 15886 HAS SOUPS 15886 WITH SCORE 15907.63
AT ITER 65 NEW BEST:: SOT 40572 SOS 21587 HAS SOPS 21587 HAS SOUS 15843 HAS SOUPS 15843 WITH SCORE 15864.587
AT ITER 67 NEW BEST:: SOT 40322 SOS 21616 HAS SOPS 21616 HAS SOUS 15666 HAS SOUPS 15666 WITH SCORE 15687.616
AT ITER 69 NEW BEST:: SOT 40307 SOS 21555 HAS SOPS 21555 HAS SOUS 15605 HAS SOUPS 15605 WITH SCORE 15626.555
AT ITER 70 NEW BEST:: SOT 40302 SOS 21550 HAS SOPS 21550 HAS SOUS 15600 HAS SOUPS 15600 WITH SCORE 15621.55
AT ITER 84 NEW BEST:: SOT 40283 SOS 21533 HAS SOPS 21533 HAS SOUS 15516 HAS SOUPS 15516 WITH SCORE 15537.533
AT ITER 89 NEW BEST:: SOT 40273 SOS 21516 HAS SOPS 21516 HAS SOUS 15499 HAS SOUPS 15499 WITH SCORE 15520.516
AT ITER 90 NEW BEST:: SOT 40273 SOS 21516 HAS SOPS 21516 HAS SOUS 15498 HAS SOUPS 15498 WITH SCORE 15519.516
AT ITER 105 NEW BEST:: SOT 40218 SOS 21406 HAS SOPS 21406 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15463.406
AT ITER 110 NEW BEST:: SOT 40218 SOS 19877 HAS SOPS 19877 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15461.877
AT ITER 112 NEW BEST:: SOT 40216 SOS 19873 HAS SOPS 19873 HAS SOUS 15438 HAS SOUPS 15438 WITH SCORE 15457.873
AT ITER 124 NEW BEST:: SOT 40174 SOS 19789 HAS SOPS 19789 HAS SOUS 15415 HAS SOUPS 15415 WITH SCORE 15434.789
AT ITER 137 NEW BEST:: SOT 40006 SOS 19533 HAS SOPS 19533 HAS SOUS 15162 HAS SOUPS 15162 WITH SCORE 15181.533
AT ITER 138 NEW BEST:: SOT 39968 SOS 19457 HAS SOPS 19457 HAS SOUS 15119 HAS SOUPS 15119 WITH SCORE 15138.457
AT ITER 145 NEW BEST:: SOT 39456 SOS 19109 HAS SOPS 19109 HAS SOUS 14755 HAS SOUPS 14755 WITH SCORE 14774.109
AT ITER 152 NEW BEST:: SOT 39447 SOS 19100 HAS SOPS 19100 HAS SOUS 14746 HAS SOUPS 14746 WITH SCORE 14765.1
AT ITER 159 NEW BEST:: SOT 39450 SOS 18917 HAS SOPS 18917 HAS SOUS 14656 HAS SOUPS 14656 WITH SCORE 14674.917
AT ITER 161 NEW BEST:: SOT 39356 SOS 18832 HAS SOPS 18832 HAS SOUS 14571 HAS SOUPS 14571 WITH SCORE 14589.832
AT ITER 163 NEW BEST:: SOT 39275 SOS 18651 HAS SOPS 18651 HAS SOUS 14456 HAS SOUPS 14456 WITH SCORE 14474.651
AT ITER 172 NEW BEST:: SOT 39276 SOS 18571 HAS SOPS 18571 HAS SOUS 14433 HAS SOUPS 14433 WITH SCORE 14451.571
AT ITER 174 NEW BEST:: SOT 39275 SOS 18569 HAS SOPS 18569 HAS SOUS 14432 HAS SOUPS 14432 WITH SCORE 14450.569
AT ITER 176 NEW BEST:: SOT 39162 SOS 18490 HAS SOPS 18490 HAS SOUS 14324 HAS SOUPS 14324 WITH SCORE 14342.49
AT ITER 177 NEW BEST:: SOT 39175 SOS 18384 HAS SOPS 18384 HAS SOUS 14302 HAS SOUPS 14302 WITH SCORE 14320.384
AT ITER 192 NEW BEST:: SOT 39130 SOS 18294 HAS SOPS 18294 HAS SOUS 14302 HAS SOUPS 14302 WITH SCORE 14320.294
AT ITER 199 NEW BEST:: SOT 39175 SOS 18334 HAS SOPS 18334 HAS SOUS 14295 HAS SOUPS 14295 WITH SCORE 14313.334
AT ITER 204 NEW BEST:: SOT 39155 SOS 18276 HAS SOPS 18276 HAS SOUS 14274 HAS SOUPS 14274 WITH SCORE 14292.276
AT ITER 205 NEW BEST:: SOT 39029 SOS 18124 HAS SOPS 18124 HAS SOUS 14214 HAS SOUPS 14214 WITH SCORE 14232.124
AT ITER 206 NEW BEST:: SOT 38810 SOS 18995 HAS SOPS 18995 HAS SOUS 14200 HAS SOUPS 14200 WITH SCORE 14218.995
AT ITER 217 NEW BEST:: SOT 38735 SOS 18914 HAS SOPS 18914 HAS SOUS 14080 HAS SOUPS 14080 WITH SCORE 14098.914
AT ITER 220 NEW BEST:: SOT 38716 SOS 18903 HAS SOPS 18903 HAS SOUS 14068 HAS SOUPS 14068 WITH SCORE 14086.903
AT ITER 222 NEW BEST:: SOT 38684 SOS 18871 HAS SOPS 18871 HAS SOUS 14068 HAS SOUPS 14068 WITH SCORE 14086.871
AT ITER 230 NEW BEST:: SOT 38664 SOS 18811 HAS SOPS 18811 HAS SOUS 14008 HAS SOUPS 14008 WITH SCORE 14026.811
AT ITER 231 NEW BEST:: SOT 38610 SOS 18686 HAS SOPS 18686 HAS SOUS 13900 HAS SOUPS 13900 WITH SCORE 13918.686
AT ITER 233 NEW BEST:: SOT 38607 SOS 18595 HAS SOPS 18595 HAS SOUS 13881 HAS SOUPS 13881 WITH SCORE 13899.595
AT ITER 234 NEW BEST:: SOT 38592 SOS 18565 HAS SOPS 18565 HAS SOUS 13866 HAS SOUPS 13866 WITH SCORE 13884.565
AT ITER 238 NEW BEST:: SOT 38533 SOS 18447 HAS SOPS 18447 HAS SOUS 13843 HAS SOUPS 13843 WITH SCORE 13861.447
AT ITER 244 NEW BEST:: SOT 38533 SOS 18442 HAS SOPS 18442 HAS SOUS 13843 HAS SOUPS 13843 WITH SCORE 13861.442
AT ITER 248 NEW BEST:: SOT 38253 SOS 18141 HAS SOPS 18141 HAS SOUS 13518 HAS SOUPS 13518 WITH SCORE 13536.141
AT ITER 262 NEW BEST:: SOT 38178 SOS 17991 HAS SOPS 17991 HAS SOUS 13368 HAS SOUPS 13368 WITH SCORE 13385.991
AT ITER 288 NEW BEST:: SOT 38178 SOS 17958 HAS SOPS 17958 HAS SOUS 13368 HAS SOUPS 13368 WITH SCORE 13385.958
AT ITER 291 NEW BEST:: SOT 38159 SOS 17920 HAS SOPS 17920 HAS SOUS 13330 HAS SOUPS 13330 WITH SCORE 13347.92
AT ITER 299 NEW BEST:: SOT 38156 SOS 17904 HAS SOPS 17904 HAS SOUS 13324 HAS SOUPS 13324 WITH SCORE 13341.904
AT ITER 300 NEW BEST:: SOT 38156 SOS 17904 HAS SOPS 17904 HAS SOUS 13308 HAS SOUPS 13308 WITH SCORE 13325.904
AT ITER 305 NEW BEST:: SOT 38147 SOS 17816 HAS SOPS 17816 HAS SOUS 13248 HAS SOUPS 13248 WITH SCORE 13265.816
AT ITER 306 NEW BEST:: SOT 38145 SOS 17813 HAS SOPS 17813 HAS SOUS 13244 HAS SOUPS 13244 WITH SCORE 13261.813
AT ITER 322 NEW BEST:: SOT 38078 SOS 17746 HAS SOPS 17746 HAS SOUS 13177 HAS SOUPS 13177 WITH SCORE 13194.746
AT ITER 331 NEW BEST:: SOT 38033 SOS 17681 HAS SOPS 17681 HAS SOUS 13112 HAS SOUPS 13112 WITH SCORE 13129.681
AT ITER 335 NEW BEST:: SOT 38010 SOS 17655 HAS SOPS 17655 HAS SOUS 13086 HAS SOUPS 13086 WITH SCORE 13103.655
AT ITER 336 NEW BEST:: SOT 37984 SOS 17558 HAS SOPS 17558 HAS SOUS 13013 HAS SOUPS 13013 WITH SCORE 13030.558
AT ITER 338 NEW BEST:: SOT 38021 SOS 17632 HAS SOPS 17632 HAS SOUS 13006 HAS SOUPS 13006 WITH SCORE 13023.632
AT ITER 353 NEW BEST:: SOT 38046 SOS 17648 HAS SOPS 17648 HAS SOUS 12983 HAS SOUPS 12983 WITH SCORE 13000.648
AT ITER 357 NEW BEST:: SOT 38020 SOS 17497 HAS SOPS 17497 HAS SOUS 12910 HAS SOUPS 12910 WITH SCORE 12927.497
AT ITER 361 NEW BEST:: SOT 38001 SOS 17459 HAS SOPS 17459 HAS SOUS 12905 HAS SOUPS 12905 WITH SCORE 12922.459
AT ITER 362 NEW BEST:: SOT 37933 SOS 17506 HAS SOPS 17506 HAS SOUS 12892 HAS SOUPS 12892 WITH SCORE 12909.506
AT ITER 364 NEW BEST:: SOT 37921 SOS 17514 HAS SOPS 17514 HAS SOUS 12866 HAS SOUPS 12866 WITH SCORE 12883.514
AT ITER 367 NEW BEST:: SOT 37920 SOS 17512 HAS SOPS 17512 HAS SOUS 12864 HAS SOUPS 12864 WITH SCORE 12881.512
AT ITER 368 NEW BEST:: SOT 37966 SOS 17468 HAS SOPS 17468 HAS SOUS 12860 HAS SOUPS 12860 WITH SCORE 12877.468
AT ITER 382 NEW BEST:: SOT 37966 SOS 17444 HAS SOPS 17444 HAS SOUS 12860 HAS SOUPS 12860 WITH SCORE 12877.444
AT ITER 387 NEW BEST:: SOT 37907 SOS 17326 HAS SOPS 17326 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12798.326
AT ITER 395 NEW BEST:: SOT 37899 SOS 17318 HAS SOPS 17318 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12798.318
AT ITER 397 NEW BEST:: SOT 37899 SOS 17296 HAS SOPS 17296 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12798.296
AT ITER 398 NEW BEST:: SOT 37899 SOS 17295 HAS SOPS 17295 HAS SOUS 12780 HAS SOUPS 12780 WITH SCORE 12797.295
AT ITER 409 NEW BEST:: SOT 37888 SOS 17284 HAS SOPS 17284 HAS SOUS 12769 HAS SOUPS 12769 WITH SCORE 12786.284
AT ITER 413 NEW BEST:: SOT 37888 SOS 17272 HAS SOPS 17272 HAS SOUS 12757 HAS SOUPS 12757 WITH SCORE 12774.272
AT ITER 419 NEW BEST:: SOT 37863 SOS 17248 HAS SOPS 17248 HAS SOUS 12733 HAS SOUPS 12733 WITH SCORE 12750.248
AT ITER 421 NEW BEST:: SOT 37860 SOS 16604 HAS SOPS 16604 HAS SOUS 12727 HAS SOUPS 12727 WITH SCORE 12743.604
AT ITER 422 NEW BEST:: SOT 37859 SOS 16602 HAS SOPS 16602 HAS SOUS 12725 HAS SOUPS 12725 WITH SCORE 12741.602
AT ITER 425 NEW BEST:: SOT 37859 SOS 16599 HAS SOPS 16599 HAS SOUS 12725 HAS SOUPS 12725 WITH SCORE 12741.599
AT ITER 428 NEW BEST:: SOT 37855 SOS 16587 HAS SOPS 16587 HAS SOUS 12713 HAS SOUPS 12713 WITH SCORE 12729.587
AT ITER 437 NEW BEST:: SOT 37844 SOS 16565 HAS SOPS 16565 HAS SOUS 12691 HAS SOUPS 12691 WITH SCORE 12707.565
AT ITER 444 NEW BEST:: SOT 37840 SOS 16548 HAS SOPS 16548 HAS SOUS 12676 HAS SOUPS 12676 WITH SCORE 12692.548
AT ITER 457 NEW BEST:: SOT 37824 SOS 16524 HAS SOPS 16524 HAS SOUS 12652 HAS SOUPS 12652 WITH SCORE 12668.524
AT ITER 463 NEW BEST:: SOT 37838 SOS 16485 HAS SOPS 16485 HAS SOUS 12637 HAS SOUPS 12637 WITH SCORE 12653.485
AT ITER 469 NEW BEST:: SOT 37748 SOS 16362 HAS SOPS 16362 HAS SOUS 12536 HAS SOUPS 12536 WITH SCORE 12552.362
AT ITER 475 NEW BEST:: SOT 37735 SOS 16374 HAS SOPS 16374 HAS SOUS 12534 HAS SOUPS 12534 WITH SCORE 12550.374
AT ITER 482 NEW BEST:: SOT 37690 SOS 16329 HAS SOPS 16329 HAS SOUS 12534 HAS SOUPS 12534 WITH SCORE 12550.329
AT ITER 486 NEW BEST:: SOT 37672 SOS 16299 HAS SOPS 16299 HAS SOUS 12516 HAS SOUPS 12516 WITH SCORE 12532.299
AT ITER 490 NEW BEST:: SOT 37647 SOS 16312 HAS SOPS 16312 HAS SOUS 12455 HAS SOUPS 12455 WITH SCORE 12471.312
AT ITER 492 NEW BEST:: SOT 37657 SOS 16332 HAS SOPS 16332 HAS SOUS 12453 HAS SOUPS 12453 WITH SCORE 12469.332
AT ITER 497 NEW BEST:: SOT 37653 SOS 16280 HAS SOPS 16280 HAS SOUS 12445 HAS SOUPS 12445 WITH SCORE 12461.28
AT ITER 509 NEW BEST:: SOT 37644 SOS 16262 HAS SOPS 16262 HAS SOUS 12427 HAS SOUPS 12427 WITH SCORE 12443.262
AT ITER 530 NEW BEST:: SOT 37622 SOS 16195 HAS SOPS 16195 HAS SOUS 12346 HAS SOUPS 12346 WITH SCORE 12362.195
AT ITER 532 NEW BEST:: SOT 37596 SOS 16144 HAS SOPS 16144 HAS SOUS 12295 HAS SOUPS 12295 WITH SCORE 12311.144
AT ITER 534 NEW BEST:: SOT 37606 SOS 16084 HAS SOPS 16084 HAS SOUS 12282 HAS SOUPS 12282 WITH SCORE 12298.084
AT ITER 541 NEW BEST:: SOT 37670 SOS 16111 HAS SOPS 16111 HAS SOUS 12252 HAS SOUPS 12252 WITH SCORE 12268.111
AT ITER 545 NEW BEST:: SOT 37652 SOS 16075 HAS SOPS 16075 HAS SOUS 12234 HAS SOUPS 12234 WITH SCORE 12250.075
AT ITER 550 NEW BEST:: SOT 37638 SOS 16047 HAS SOPS 16047 HAS SOUS 12217 HAS SOUPS 12217 WITH SCORE 12233.047
AT ITER 559 NEW BEST:: SOT 37638 SOS 16033 HAS SOPS 16033 HAS SOUS 12217 HAS SOUPS 12217 WITH SCORE 12233.033
AT ITER 560 NEW BEST:: SOT 37655 SOS 16031 HAS SOPS 16031 HAS SOUS 12216 HAS SOUPS 12216 WITH SCORE 12232.031
AT ITER 564 NEW BEST:: SOT 37621 SOS 15997 HAS SOPS 15997 HAS SOUS 12181 HAS SOUPS 12181 WITH SCORE 12196.997
AT ITER 565 NEW BEST:: SOT 37621 SOS 15996 HAS SOPS 15996 HAS SOUS 12180 HAS SOUPS 12180 WITH SCORE 12195.996
AT ITER 566 NEW BEST:: SOT 37626 SOS 15876 HAS SOPS 15876 HAS SOUS 12142 HAS SOUPS 12142 WITH SCORE 12157.876
AT ITER 568 NEW BEST:: SOT 37513 SOS 15730 HAS SOPS 15730 HAS SOUS 11994 HAS SOUPS 11994 WITH SCORE 12009.73
AT ITER 582 NEW BEST:: SOT 37517 SOS 15684 HAS SOPS 15684 HAS SOUS 11953 HAS SOUPS 11953 WITH SCORE 11968.684
AT ITER 583 NEW BEST:: SOT 37469 SOS 15593 HAS SOPS 15593 HAS SOUS 11865 HAS SOUPS 11865 WITH SCORE 11880.593
AT ITER 585 NEW BEST:: SOT 37479 SOS 15589 HAS SOPS 15589 HAS SOUS 11843 HAS SOUPS 11843 WITH SCORE 11858.589
AT ITER 589 NEW BEST:: SOT 37479 SOS 15561 HAS SOPS 15561 HAS SOUS 11843 HAS SOUPS 11843 WITH SCORE 11858.561
AT ITER 595 NEW BEST:: SOT 37455 SOS 15381 HAS SOPS 15381 HAS SOUS 11789 HAS SOUPS 11789 WITH SCORE 11804.381
AT ITER 600 NEW BEST:: SOT 37483 SOS 15367 HAS SOPS 15367 HAS SOUS 11775 HAS SOUPS 11775 WITH SCORE 11790.367
AT ITER 607 NEW BEST:: SOT 37482 SOS 15313 HAS SOPS 15313 HAS SOUS 11773 HAS SOUPS 11773 WITH SCORE 11788.313
AT ITER 609 NEW BEST:: SOT 37403 SOS 15215 HAS SOPS 15215 HAS SOUS 11615 HAS SOUPS 11615 WITH SCORE 11630.215
AT ITER 611 NEW BEST:: SOT 37347 SOS 15130 HAS SOPS 15130 HAS SOUS 11530 HAS SOUPS 11530 WITH SCORE 11545.13
AT ITER 618 NEW BEST:: SOT 37317 SOS 15086 HAS SOPS 15086 HAS SOUS 11500 HAS SOUPS 11500 WITH SCORE 11515.086
AT ITER 624 NEW BEST:: SOT 37296 SOS 15044 HAS SOPS 15044 HAS SOUS 11458 HAS SOUPS 11458 WITH SCORE 11473.044
AT ITER 638 NEW BEST:: SOT 37273 SOS 15021 HAS SOPS 15021 HAS SOUS 11458 HAS SOUPS 11458 WITH SCORE 11473.021
AT ITER 643 NEW BEST:: SOT 37249 SOS 14984 HAS SOPS 14984 HAS SOUS 11422 HAS SOUPS 11422 WITH SCORE 11436.984
AT ITER 672 NEW BEST:: SOT 37236 SOS 14958 HAS SOPS 14958 HAS SOUS 11409 HAS SOUPS 11409 WITH SCORE 11423.958
AT ITER 676 NEW BEST:: SOT 37203 SOS 14918 HAS SOPS 14918 HAS SOUS 11397 HAS SOUPS 11397 WITH SCORE 11411.918
AT ITER 678 NEW BEST:: SOT 37203 SOS 14897 HAS SOPS 14897 HAS SOUS 11397 HAS SOUPS 11397 WITH SCORE 11411.897
AT ITER 680 NEW BEST:: SOT 37181 SOS 14875 HAS SOPS 14875 HAS SOUS 11375 HAS SOUPS 11375 WITH SCORE 11389.875
AT ITER 699 NEW BEST:: SOT 37155 SOS 14823 HAS SOPS 14823 HAS SOUS 11323 HAS SOUPS 11323 WITH SCORE 11337.823
AT ITER 715 NEW BEST:: SOT 37146 SOS 14821 HAS SOPS 14821 HAS SOUS 11305 HAS SOUPS 11305 WITH SCORE 11319.821
AT ITER 725 NEW BEST:: SOT 37116 SOS 14799 HAS SOPS 14799 HAS SOUS 11283 HAS SOUPS 11283 WITH SCORE 11297.799
AT ITER 726 NEW BEST:: SOT 37069 SOS 14809 HAS SOPS 14809 HAS SOUS 11244 HAS SOUPS 11244 WITH SCORE 11258.809
AT ITER 733 NEW BEST:: SOT 37031 SOS 14733 HAS SOPS 14733 HAS SOUS 11168 HAS SOUPS 11168 WITH SCORE 11182.733
AT ITER 739 NEW BEST:: SOT 37030 SOS 14731 HAS SOPS 14731 HAS SOUS 11164 HAS SOUPS 11164 WITH SCORE 11178.731
AT ITER 773 NEW BEST:: SOT 37028 SOS 14694 HAS SOPS 14694 HAS SOUS 11160 HAS SOUPS 11160 WITH SCORE 11174.694
AT ITER 800 NEW BEST:: SOT 36998 SOS 14634 HAS SOPS 14634 HAS SOUS 11129 HAS SOUPS 11129 WITH SCORE 11143.634
AT ITER 813 NEW BEST:: SOT 36977 SOS 14592 HAS SOPS 14592 HAS SOUS 11061 HAS SOUPS 11061 WITH SCORE 11075.592
AT ITER 827 NEW BEST:: SOT 36938 SOS 14576 HAS SOPS 14576 HAS SOUS 11038 HAS SOUPS 11038 WITH SCORE 11052.576
AT ITER 846 NEW BEST:: SOT 36938 SOS 14576 HAS SOPS 14576 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11034.576
AT ITER 856 NEW BEST:: SOT 36917 SOS 14549 HAS SOPS 14549 HAS SOUS 10984 HAS SOUPS 10984 WITH SCORE 10998.549
AT ITER 867 NEW BEST:: SOT 36893 SOS 14501 HAS SOPS 14501 HAS SOUS 10950 HAS SOUPS 10950 WITH SCORE 10964.501
AT ITER 879 NEW BEST:: SOT 36868 SOS 14505 HAS SOPS 14505 HAS SOUS 10927 HAS SOUPS 10927 WITH SCORE 10941.505
AT ITER 889 NEW BEST:: SOT 36861 SOS 14484 HAS SOPS 14484 HAS SOUS 10906 HAS SOUPS 10906 WITH SCORE 10920.484
AT ITER 890 NEW BEST:: SOT 36840 SOS 14449 HAS SOPS 14449 HAS SOUS 10871 HAS SOUPS 10871 WITH SCORE 10885.449
AT ITER 896 NEW BEST:: SOT 36840 SOS 14449 HAS SOPS 14449 HAS SOUS 10816 HAS SOUPS 10816 WITH SCORE 10830.449
AT ITER 909 NEW BEST:: SOT 36839 SOS 14409 HAS SOPS 14409 HAS SOUS 10814 HAS SOUPS 10814 WITH SCORE 10828.409
AT ITER 936 NEW BEST:: SOT 36826 SOS 14352 HAS SOPS 14352 HAS SOUS 10795 HAS SOUPS 10795 WITH SCORE 10809.352
AT ITER 963 NEW BEST:: SOT 36823 SOS 14346 HAS SOPS 14346 HAS SOUS 10789 HAS SOUPS 10789 WITH SCORE 10803.346
AT ITER 979 NEW BEST:: SOT 36808 SOS 14331 HAS SOPS 14331 HAS SOUS 10774 HAS SOUPS 10774 WITH SCORE 10788.331
AT ITER 983 NEW BEST:: SOT 36806 SOS 14327 HAS SOPS 14327 HAS SOUS 10772 HAS SOUPS 10772 WITH SCORE 10786.327
AT ITER 993 NEW BEST:: SOT 36788 SOS 14291 HAS SOPS 14291 HAS SOUS 10720 HAS SOUPS 10720 WITH SCORE 10734.291
AT ITER 1005 NEW BEST:: SOT 36782 SOS 14279 HAS SOPS 14279 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10722.279
AT ITER 1014 NEW BEST:: SOT 36583 SOS 14050 HAS SOPS 14050 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10493.05
AT ITER 1021 NEW BEST:: SOT 36583 SOS 14034 HAS SOPS 14034 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10493.034
AT ITER 1025 NEW BEST:: SOT 36579 SOS 14026 HAS SOPS 14026 HAS SOUS 10475 HAS SOUPS 10475 WITH SCORE 10489.026
AT ITER 1028 NEW BEST:: SOT 36579 SOS 14012 HAS SOPS 14012 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10485.012
AT ITER 1036 NEW BEST:: SOT 36524 SOS 13989 HAS SOPS 13989 HAS SOUS 10453 HAS SOUPS 10453 WITH SCORE 10466.989
AT ITER 1050 NEW BEST:: SOT 36512 SOS 13977 HAS SOPS 13977 HAS SOUS 10440 HAS SOUPS 10440 WITH SCORE 10453.977
AT ITER 1054 NEW BEST:: SOT 36512 SOS 13964 HAS SOPS 13964 HAS SOUS 10438 HAS SOUPS 10438 WITH SCORE 10451.964
AT ITER 1059 NEW BEST:: SOT 36511 SOS 13963 HAS SOPS 13963 HAS SOUS 10436 HAS SOUPS 10436 WITH SCORE 10449.963
AT ITER 1076 NEW BEST:: SOT 36512 SOS 13931 HAS SOPS 13931 HAS SOUS 10393 HAS SOUPS 10393 WITH SCORE 10406.931
AT ITER 1082 NEW BEST:: SOT 36508 SOS 13923 HAS SOPS 13923 HAS SOUS 10393 HAS SOUPS 10393 WITH SCORE 10406.923
AT ITER 1104 NEW BEST:: SOT 36493 SOS 13893 HAS SOPS 13893 HAS SOUS 10363 HAS SOUPS 10363 WITH SCORE 10376.893
AT ITER 1119 NEW BEST:: SOT 36493 SOS 13882 HAS SOPS 13882 HAS SOUS 10352 HAS SOUPS 10352 WITH SCORE 10365.882
AT ITER 1134 NEW BEST:: SOT 36480 SOS 13843 HAS SOPS 13843 HAS SOUS 10339 HAS SOUPS 10339 WITH SCORE 10352.843
AT ITER 1139 NEW BEST:: SOT 36480 SOS 13839 HAS SOPS 13839 HAS SOUS 10335 HAS SOUPS 10335 WITH SCORE 10348.839
AT ITER 1143 NEW BEST:: SOT 36468 SOS 13821 HAS SOPS 13821 HAS SOUS 10323 HAS SOUPS 10323 WITH SCORE 10336.821
AT ITER 1146 NEW BEST:: SOT 36463 SOS 13811 HAS SOPS 13811 HAS SOUS 10313 HAS SOUPS 10313 WITH SCORE 10326.811
AT ITER 1154 NEW BEST:: SOT 36471 SOS 13804 HAS SOPS 13804 HAS SOUS 10306 HAS SOUPS 10306 WITH SCORE 10319.804
AT ITER 1158 NEW BEST:: SOT 36397 SOS 13656 HAS SOPS 13656 HAS SOUS 10195 HAS SOUPS 10195 WITH SCORE 10208.656
AT ITER 1168 NEW BEST:: SOT 36393 SOS 13668 HAS SOPS 13668 HAS SOUS 10191 HAS SOUPS 10191 WITH SCORE 10204.668
AT ITER 1185 NEW BEST:: SOT 36377 SOS 13634 HAS SOPS 13634 HAS SOUS 10175 HAS SOUPS 10175 WITH SCORE 10188.634
AT ITER 1194 NEW BEST:: SOT 36407 SOS 13627 HAS SOPS 13627 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10183.627
AT ITER 1211 NEW BEST:: SOT 36295 SOS 13572 HAS SOPS 13572 HAS SOUS 10079 HAS SOUPS 10079 WITH SCORE 10092.572
AT ITER 1214 NEW BEST:: SOT 36289 SOS 13571 HAS SOPS 13571 HAS SOUS 10073 HAS SOUPS 10073 WITH SCORE 10086.571
AT ITER 1219 NEW BEST:: SOT 36261 SOS 13496 HAS SOPS 13496 HAS SOUS 10020 HAS SOUPS 10020 WITH SCORE 10033.496
AT ITER 1221 NEW BEST:: SOT 36245 SOS 13464 HAS SOPS 13464 HAS SOUS 10004 HAS SOUPS 10004 WITH SCORE 10017.464
AT ITER 1230 NEW BEST:: SOT 36235 SOS 13444 HAS SOPS 13444 HAS SOUS 9994 HAS SOUPS 9994 WITH SCORE 10007.444
AT ITER 1234 NEW BEST:: SOT 36235 SOS 13427 HAS SOPS 13427 HAS SOUS 9960 HAS SOUPS 9960 WITH SCORE 9973.427
AT ITER 1249 NEW BEST:: SOT 36220 SOS 13409 HAS SOPS 13409 HAS SOUS 9942 HAS SOUPS 9942 WITH SCORE 9955.409
AT ITER 1262 NEW BEST:: SOT 36190 SOS 13379 HAS SOPS 13379 HAS SOUS 9904 HAS SOUPS 9904 WITH SCORE 9917.379
AT ITER 1263 NEW BEST:: SOT 36190 SOS 13379 HAS SOPS 13379 HAS SOUS 9881 HAS SOUPS 9881 WITH SCORE 9894.379
AT ITER 1269 NEW BEST:: SOT 36185 SOS 13374 HAS SOPS 13374 HAS SOUS 9871 HAS SOUPS 9871 WITH SCORE 9884.374
AT ITER 1273 NEW BEST:: SOT 36189 SOS 13382 HAS SOPS 13382 HAS SOUS 9868 HAS SOUPS 9868 WITH SCORE 9881.382
AT ITER 1280 NEW BEST:: SOT 36188 SOS 13356 HAS SOPS 13356 HAS SOUS 9854 HAS SOUPS 9854 WITH SCORE 9867.356
AT ITER 1303 NEW BEST:: SOT 36165 SOS 13333 HAS SOPS 13333 HAS SOUS 9831 HAS SOUPS 9831 WITH SCORE 9844.333
AT ITER 1315 NEW BEST:: SOT 36157 SOS 13325 HAS SOPS 13325 HAS SOUS 9823 HAS SOUPS 9823 WITH SCORE 9836.325
AT ITER 1350 NEW BEST:: SOT 36156 SOS 13324 HAS SOPS 13324 HAS SOUS 9821 HAS SOUPS 9821 WITH SCORE 9834.324
AT ITER 1368 NEW BEST:: SOT 36133 SOS 13263 HAS SOPS 13263 HAS SOUS 9775 HAS SOUPS 9775 WITH SCORE 9788.263
AT ITER 1390 NEW BEST:: SOT 36132 SOS 13244 HAS SOPS 13244 HAS SOUS 9769 HAS SOUPS 9769 WITH SCORE 9782.244
AT ITER 1402 NEW BEST:: SOT 36121 SOS 13222 HAS SOPS 13222 HAS SOUS 9747 HAS SOUPS 9747 WITH SCORE 9760.222
AT ITER 1429 NEW BEST:: SOT 36107 SOS 13194 HAS SOPS 13194 HAS SOUS 9679 HAS SOUPS 9679 WITH SCORE 9692.194
AT ITER 1433 NEW BEST:: SOT 36094 SOS 13181 HAS SOPS 13181 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9679.181
AT ITER 1441 NEW BEST:: SOT 36080 SOS 13153 HAS SOPS 13153 HAS SOUS 9639 HAS SOUPS 9639 WITH SCORE 9652.153
AT ITER 1445 NEW BEST:: SOT 36075 SOS 13148 HAS SOPS 13148 HAS SOUS 9629 HAS SOUPS 9629 WITH SCORE 9642.148
AT ITER 1457 NEW BEST:: SOT 36066 SOS 13149 HAS SOPS 13149 HAS SOUS 9608 HAS SOUPS 9608 WITH SCORE 9621.149
AT ITER 1463 NEW BEST:: SOT 36006 SOS 13062 HAS SOPS 13062 HAS SOUS 9529 HAS SOUPS 9529 WITH SCORE 9542.062
AT ITER 1464 NEW BEST:: SOT 35969 SOS 12984 HAS SOPS 12984 HAS SOUS 9476 HAS SOUPS 9476 WITH SCORE 9488.984
AT ITER 1469 NEW BEST:: SOT 35917 SOS 12905 HAS SOPS 12905 HAS SOUS 9394 HAS SOUPS 9394 WITH SCORE 9406.905
AT ITER 1474 NEW BEST:: SOT 35914 SOS 12899 HAS SOPS 12899 HAS SOUS 9388 HAS SOUPS 9388 WITH SCORE 9400.899
AT ITER 1489 NEW BEST:: SOT 35888 SOS 12859 HAS SOPS 12859 HAS SOUS 9361 HAS SOUPS 9361 WITH SCORE 9373.859
AT ITER 1513 NEW BEST:: SOT 35885 SOS 12853 HAS SOPS 12853 HAS SOUS 9352 HAS SOUPS 9352 WITH SCORE 9364.853
AT ITER 1516 NEW BEST:: SOT 35862 SOS 12812 HAS SOPS 12812 HAS SOUS 9306 HAS SOUPS 9306 WITH SCORE 9318.812
AT ITER 1536 NEW BEST:: SOT 35869 SOS 12826 HAS SOPS 12826 HAS SOUS 9266 HAS SOUPS 9266 WITH SCORE 9278.826
AT ITER 1543 NEW BEST:: SOT 35838 SOS 12764 HAS SOPS 12764 HAS SOUS 9252 HAS SOUPS 9252 WITH SCORE 9264.764
AT ITER 1561 NEW BEST:: SOT 35836 SOS 12763 HAS SOPS 12763 HAS SOUS 9251 HAS SOUPS 9251 WITH SCORE 9263.763
AT ITER 1567 NEW BEST:: SOT 35830 SOS 12757 HAS SOPS 12757 HAS SOUS 9239 HAS SOUPS 9239 WITH SCORE 9251.757
AT ITER 1583 NEW BEST:: SOT 35810 SOS 12741 HAS SOPS 12741 HAS SOUS 9223 HAS SOUPS 9223 WITH SCORE 9235.741
AT ITER 1589 NEW BEST:: SOT 35808 SOS 12739 HAS SOPS 12739 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9231.739
AT ITER 1594 NEW BEST:: SOT 35796 SOS 12715 HAS SOPS 12715 HAS SOUS 9207 HAS SOUPS 9207 WITH SCORE 9219.715
AT ITER 1627 NEW BEST:: SOT 35811 SOS 12728 HAS SOPS 12728 HAS SOUS 9203 HAS SOUPS 9203 WITH SCORE 9215.728
AT ITER 1640 NEW BEST:: SOT 35809 SOS 12724 HAS SOPS 12724 HAS SOUS 9186 HAS SOUPS 9186 WITH SCORE 9198.724
AT ITER 1652 NEW BEST:: SOT 35785 SOS 12718 HAS SOPS 12718 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9192.718
AT ITER 1658 NEW BEST:: SOT 35785 SOS 12706 HAS SOPS 12706 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9192.706
AT ITER 1689 NEW BEST:: SOT 35709 SOS 12638 HAS SOPS 12638 HAS SOUS 9114 HAS SOUPS 9114 WITH SCORE 9126.638
AT ITER 1693 NEW BEST:: SOT 35705 SOS 12630 HAS SOPS 12630 HAS SOUS 9106 HAS SOUPS 9106 WITH SCORE 9118.63
AT ITER 1701 NEW BEST:: SOT 35653 SOS 12526 HAS SOPS 12526 HAS SOUS 9080 HAS SOUPS 9080 WITH SCORE 9092.526
AT ITER 1705 NEW BEST:: SOT 35658 SOS 12514 HAS SOPS 12514 HAS SOUS 9063 HAS SOUPS 9063 WITH SCORE 9075.514
AT ITER 1706 NEW BEST:: SOT 35654 SOS 12523 HAS SOPS 12523 HAS SOUS 9059 HAS SOUPS 9059 WITH SCORE 9071.523
AT ITER 1715 NEW BEST:: SOT 35649 SOS 12513 HAS SOPS 12513 HAS SOUS 9049 HAS SOUPS 9049 WITH SCORE 9061.513
AT ITER 1719 NEW BEST:: SOT 35665 SOS 12529 HAS SOPS 12529 HAS SOUS 9043 HAS SOUPS 9043 WITH SCORE 9055.529
AT ITER 1720 NEW BEST:: SOT 35645 SOS 12489 HAS SOPS 12489 HAS SOUS 9025 HAS SOUPS 9025 WITH SCORE 9037.489
AT ITER 1733 NEW BEST:: SOT 35639 SOS 12497 HAS SOPS 12497 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9025.497
AT ITER 1745 NEW BEST:: SOT 35619 SOS 12446 HAS SOPS 12446 HAS SOUS 8993 HAS SOUPS 8993 WITH SCORE 9005.446
AT ITER 1746 NEW BEST:: SOT 35616 SOS 12440 HAS SOPS 12440 HAS SOUS 8987 HAS SOUPS 8987 WITH SCORE 8999.44
AT ITER 1824 NEW BEST:: SOT 35614 SOS 12429 HAS SOPS 12429 HAS SOUS 8985 HAS SOUPS 8985 WITH SCORE 8997.429
AT ITER 1887 NEW BEST:: SOT 35609 SOS 12419 HAS SOPS 12419 HAS SOUS 8975 HAS SOUPS 8975 WITH SCORE 8987.419
AT ITER 1901 NEW BEST:: SOT 35601 SOS 12403 HAS SOPS 12403 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8977.403
AT ITER 1903 NEW BEST:: SOT 35601 SOS 12398 HAS SOPS 12398 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8972.398
AT ITER 1939 NEW BEST:: SOT 35600 SOS 12396 HAS SOPS 12396 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8970.396
AT ITER 1964 NEW BEST:: SOT 35570 SOS 12322 HAS SOPS 12322 HAS SOUS 8923 HAS SOUPS 8923 WITH SCORE 8935.322
AT ITER 1974 NEW BEST:: SOT 35570 SOS 12322 HAS SOPS 12322 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8927.322
AT ITER 1977 NEW BEST:: SOT 35537 SOS 12833 HAS SOPS 12833 HAS SOUS 8893 HAS SOUPS 8893 WITH SCORE 8905.833
AT ITER 1990 NEW BEST:: SOT 35543 SOS 12845 HAS SOPS 12845 HAS SOUS 8892 HAS SOUPS 8892 WITH SCORE 8904.845
AT ITER 1994 NEW BEST:: SOT 35539 SOS 12837 HAS SOPS 12837 HAS SOUS 8886 HAS SOUPS 8886 WITH SCORE 8898.837
AT ITER 1999 NEW BEST:: SOT 35533 SOS 12826 HAS SOPS 12826 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8891.826
AT ITER 2000 NEW BEST:: SOT 35500 SOS 12760 HAS SOPS 12760 HAS SOUS 8872 HAS SOUPS 8872 WITH SCORE 8884.76
AT ITER 2042 NEW BEST:: SOT 35455 SOS 12670 HAS SOPS 12670 HAS SOUS 8772 HAS SOUPS 8772 WITH SCORE 8784.67
AT ITER 2058 NEW BEST:: SOT 35449 SOS 12661 HAS SOPS 12661 HAS SOUS 8764 HAS SOUPS 8764 WITH SCORE 8776.661
AT ITER 2061 NEW BEST:: SOT 35437 SOS 12649 HAS SOPS 12649 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8764.649
AT ITER 2128 NEW BEST:: SOT 35419 SOS 12600 HAS SOPS 12600 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8764.6
AT ITER 2148 NEW BEST:: SOT 35422 SOS 12598 HAS SOPS 12598 HAS SOUS 8750 HAS SOUPS 8750 WITH SCORE 8762.598
AT ITER 2157 NEW BEST:: SOT 35391 SOS 12553 HAS SOPS 12553 HAS SOUS 8745 HAS SOUPS 8745 WITH SCORE 8757.553
AT ITER 2178 NEW BEST:: SOT 35357 SOS 12492 HAS SOPS 12492 HAS SOUS 8709 HAS SOUPS 8709 WITH SCORE 8721.492
AT ITER 2204 NEW BEST:: SOT 35356 SOS 12491 HAS SOPS 12491 HAS SOUS 8708 HAS SOUPS 8708 WITH SCORE 8720.491
AT ITER 2215 NEW BEST:: SOT 35356 SOS 12487 HAS SOPS 12487 HAS SOUS 8704 HAS SOUPS 8704 WITH SCORE 8716.487
AT ITER 2235 NEW BEST:: SOT 35353 SOS 12484 HAS SOPS 12484 HAS SOUS 8698 HAS SOUPS 8698 WITH SCORE 8710.484
AT ITER 2243 NEW BEST:: SOT 35324 SOS 12455 HAS SOPS 12455 HAS SOUS 8669 HAS SOUPS 8669 WITH SCORE 8681.455
AT ITER 2270 NEW BEST:: SOT 35335 SOS 12468 HAS SOPS 12468 HAS SOUS 8659 HAS SOUPS 8659 WITH SCORE 8671.468
AT ITER 2280 NEW BEST:: SOT 35331 SOS 12461 HAS SOPS 12461 HAS SOUS 8652 HAS SOUPS 8652 WITH SCORE 8664.461
AT ITER 2281 NEW BEST:: SOT 35331 SOS 12454 HAS SOPS 12454 HAS SOUS 8645 HAS SOUPS 8645 WITH SCORE 8657.454
AT ITER 2284 NEW BEST:: SOT 35328 SOS 12457 HAS SOPS 12457 HAS SOUS 8633 HAS SOUPS 8633 WITH SCORE 8645.457
AT ITER 2290 NEW BEST:: SOT 35318 SOS 12437 HAS SOPS 12437 HAS SOUS 8629 HAS SOUPS 8629 WITH SCORE 8641.437
AT ITER 2319 NEW BEST:: SOT 35307 SOS 12415 HAS SOPS 12415 HAS SOUS 8610 HAS SOUPS 8610 WITH SCORE 8622.415
AT ITER 2337 NEW BEST:: SOT 35301 SOS 12414 HAS SOPS 12414 HAS SOUS 8598 HAS SOUPS 8598 WITH SCORE 8610.414
AT ITER 2345 NEW BEST:: SOT 35291 SOS 12404 HAS SOPS 12404 HAS SOUS 8578 HAS SOUPS 8578 WITH SCORE 8590.404
AT ITER 2354 NEW BEST:: SOT 35285 SOS 12365 HAS SOPS 12365 HAS SOUS 8565 HAS SOUPS 8565 WITH SCORE 8577.365
AT ITER 2385 NEW BEST:: SOT 35287 SOS 12329 HAS SOPS 12329 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8538.329
AT ITER 2390 NEW BEST:: SOT 35280 SOS 12322 HAS SOPS 12322 HAS SOUS 8519 HAS SOUPS 8519 WITH SCORE 8531.322
AT ITER 2391 NEW BEST:: SOT 35291 SOS 12333 HAS SOPS 12333 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8521.333
AT ITER 2392 NEW BEST:: SOT 35291 SOS 12333 HAS SOPS 12333 HAS SOUS 8505 HAS SOUPS 8505 WITH SCORE 8517.333
AT ITER 2396 NEW BEST:: SOT 35289 SOS 12329 HAS SOPS 12329 HAS SOUS 8501 HAS SOUPS 8501 WITH SCORE 8513.329
AT ITER 2529 NEW BEST:: SOT 35284 SOS 12314 HAS SOPS 12314 HAS SOUS 8496 HAS SOUPS 8496 WITH SCORE 8508.314
AT ITER 2531 NEW BEST:: SOT 35259 SOS 12289 HAS SOPS 12289 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8483.289
AT ITER 2556 NEW BEST:: SOT 35221 SOS 12213 HAS SOPS 12213 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8445.213
AT ITER 2568 NEW BEST:: SOT 35233 SOS 12229 HAS SOPS 12229 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8444.229
AT ITER 2574 NEW BEST:: SOT 35227 SOS 12217 HAS SOPS 12217 HAS SOUS 8419 HAS SOUPS 8419 WITH SCORE 8431.217
AT ITER 2603 NEW BEST:: SOT 35212 SOS 12187 HAS SOPS 12187 HAS SOUS 8407 HAS SOUPS 8407 WITH SCORE 8419.187
AT ITER 2630 NEW BEST:: SOT 35214 SOS 12180 HAS SOPS 12180 HAS SOUS 8407 HAS SOUPS 8407 WITH SCORE 8419.18
AT ITER 2643 NEW BEST:: SOT 35204 SOS 12171 HAS SOPS 12171 HAS SOUS 8394 HAS SOUPS 8394 WITH SCORE 8406.171
AT ITER 2658 NEW BEST:: SOT 35204 SOS 12171 HAS SOPS 12171 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8400.171
AT ITER 2671 NEW BEST:: SOT 35202 SOS 12167 HAS SOPS 12167 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8398.167
AT ITER 2685 NEW BEST:: SOT 35147 SOS 12375 HAS SOPS 12375 HAS SOUS 8373 HAS SOUPS 8373 WITH SCORE 8385.375
AT ITER 2694 NEW BEST:: SOT 35136 SOS 12353 HAS SOPS 12353 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8363.353
AT ITER 2703 NEW BEST:: SOT 35133 SOS 12348 HAS SOPS 12348 HAS SOUS 8346 HAS SOUPS 8346 WITH SCORE 8358.348
AT ITER 2708 NEW BEST:: SOT 35131 SOS 12095 HAS SOPS 12095 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8332.095
AT ITER 2720 NEW BEST:: SOT 35131 SOS 12092 HAS SOPS 12092 HAS SOUS 8313 HAS SOUPS 8313 WITH SCORE 8325.092
AT ITER 2749 NEW BEST:: SOT 35133 SOS 12080 HAS SOPS 12080 HAS SOUS 8301 HAS SOUPS 8301 WITH SCORE 8313.08
AT ITER 2774 NEW BEST:: SOT 35094 SOS 12066 HAS SOPS 12066 HAS SOUS 8257 HAS SOUPS 8257 WITH SCORE 8269.066
AT ITER 2779 NEW BEST:: SOT 35086 SOS 12050 HAS SOPS 12050 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8257.05
AT ITER 2780 NEW BEST:: SOT 35077 SOS 12042 HAS SOPS 12042 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8249.042
AT ITER 2798 NEW BEST:: SOT 35066 SOS 12026 HAS SOPS 12026 HAS SOUS 8221 HAS SOUPS 8221 WITH SCORE 8233.026
AT ITER 2800 NEW BEST:: SOT 35068 SOS 11978 HAS SOPS 11978 HAS SOUS 8217 HAS SOUPS 8217 WITH SCORE 8228.978
AT ITER 2808 NEW BEST:: SOT 35065 SOS 11980 HAS SOPS 11980 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8222.98
AT ITER 2813 NEW BEST:: SOT 35065 SOS 11973 HAS SOPS 11973 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8222.973
AT ITER 2840 NEW BEST:: SOT 35041 SOS 11925 HAS SOPS 11925 HAS SOUS 8187 HAS SOUPS 8187 WITH SCORE 8198.925
AT ITER 2851 NEW BEST:: SOT 35031 SOS 11915 HAS SOPS 11915 HAS SOUS 8167 HAS SOUPS 8167 WITH SCORE 8178.915
AT ITER 2869 NEW BEST:: SOT 35029 SOS 11911 HAS SOPS 11911 HAS SOUS 8164 HAS SOUPS 8164 WITH SCORE 8175.911
AT ITER 2911 NEW BEST:: SOT 35017 SOS 11887 HAS SOPS 11887 HAS SOUS 8160 HAS SOUPS 8160 WITH SCORE 8171.887
AT ITER 2916 NEW BEST:: SOT 35016 SOS 11891 HAS SOPS 11891 HAS SOUS 8158 HAS SOUPS 8158 WITH SCORE 8169.891
AT ITER 2931 NEW BEST:: SOT 35015 SOS 11890 HAS SOPS 11890 HAS SOUS 8157 HAS SOUPS 8157 WITH SCORE 8168.89
AT ITER 2943 NEW BEST:: SOT 35010 SOS 11873 HAS SOPS 11873 HAS SOUS 8140 HAS SOUPS 8140 WITH SCORE 8151.873
AT ITER 2944 NEW BEST:: SOT 34990 SOS 11833 HAS SOPS 11833 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8145.833
AT ITER 2981 NEW BEST:: SOT 35008 SOS 11824 HAS SOPS 11824 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8145.824
AT ITER 3006 NEW BEST:: SOT 34998 SOS 11756 HAS SOPS 11756 HAS SOUS 8117 HAS SOUPS 8117 WITH SCORE 8128.756
AT ITER 3032 NEW BEST:: SOT 34998 SOS 11753 HAS SOPS 11753 HAS SOUS 8117 HAS SOUPS 8117 WITH SCORE 8128.753
AT ITER 3072 NEW BEST:: SOT 34988 SOS 11744 HAS SOPS 11744 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8119.744
AT ITER 3073 NEW BEST:: SOT 34983 SOS 11725 HAS SOPS 11725 HAS SOUS 8094 HAS SOUPS 8094 WITH SCORE 8105.725
AT ITER 3074 NEW BEST:: SOT 34980 SOS 11694 HAS SOPS 11694 HAS SOUS 8059 HAS SOUPS 8059 WITH SCORE 8070.694
AT ITER 3079 NEW BEST:: SOT 34972 SOS 11686 HAS SOPS 11686 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8066.686
AT ITER 3085 NEW BEST:: SOT 34972 SOS 11682 HAS SOPS 11682 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8066.682
AT ITER 3097 NEW BEST:: SOT 34966 SOS 11670 HAS SOPS 11670 HAS SOUS 8043 HAS SOUPS 8043 WITH SCORE 8054.67
AT ITER 3098 NEW BEST:: SOT 34948 SOS 11652 HAS SOPS 11652 HAS SOUS 8007 HAS SOUPS 8007 WITH SCORE 8018.652
AT ITER 3106 NEW BEST:: SOT 34917 SOS 11590 HAS SOPS 11590 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7958.59
AT ITER 3113 NEW BEST:: SOT 34914 SOS 11587 HAS SOPS 11587 HAS SOUS 7944 HAS SOUPS 7944 WITH SCORE 7955.587
AT ITER 3120 NEW BEST:: SOT 34914 SOS 11582 HAS SOPS 11582 HAS SOUS 7944 HAS SOUPS 7944 WITH SCORE 7955.582
AT ITER 3143 NEW BEST:: SOT 34863 SOS 11510 HAS SOPS 11510 HAS SOUS 7912 HAS SOUPS 7912 WITH SCORE 7923.51
AT ITER 3150 NEW BEST:: SOT 34834 SOS 11449 HAS SOPS 11449 HAS SOUS 7854 HAS SOUPS 7854 WITH SCORE 7865.449
AT ITER 3215 NEW BEST:: SOT 34828 SOS 11437 HAS SOPS 11437 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7859.437
AT ITER 3232 NEW BEST:: SOT 34795 SOS 11419 HAS SOPS 11419 HAS SOUS 7830 HAS SOUPS 7830 WITH SCORE 7841.419
AT ITER 3267 NEW BEST:: SOT 34795 SOS 11415 HAS SOPS 11415 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7837.415
AT ITER 3287 NEW BEST:: SOT 34792 SOS 11413 HAS SOPS 11413 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7837.413
AT ITER 3304 NEW BEST:: SOT 34794 SOS 11417 HAS SOPS 11417 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7834.417
AT ITER 3307 NEW BEST:: SOT 34788 SOS 11376 HAS SOPS 11376 HAS SOUS 7799 HAS SOUPS 7799 WITH SCORE 7810.376
AT ITER 3309 NEW BEST:: SOT 34768 SOS 11380 HAS SOPS 11380 HAS SOUS 7777 HAS SOUPS 7777 WITH SCORE 7788.38
AT ITER 3317 NEW BEST:: SOT 34764 SOS 11366 HAS SOPS 11366 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7780.366
AT ITER 3365 NEW BEST:: SOT 34758 SOS 11354 HAS SOPS 11354 HAS SOUS 7757 HAS SOUPS 7757 WITH SCORE 7768.354
AT ITER 3380 NEW BEST:: SOT 34748 SOS 11344 HAS SOPS 11344 HAS SOUS 7747 HAS SOUPS 7747 WITH SCORE 7758.344
AT ITER 3391 NEW BEST:: SOT 34743 SOS 11333 HAS SOPS 11333 HAS SOUS 7737 HAS SOUPS 7737 WITH SCORE 7748.333
AT ITER 3399 NEW BEST:: SOT 34738 SOS 11328 HAS SOPS 11328 HAS SOUS 7732 HAS SOUPS 7732 WITH SCORE 7743.328
AT ITER 3404 NEW BEST:: SOT 34740 SOS 11332 HAS SOPS 11332 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7742.332
AT ITER 3411 NEW BEST:: SOT 34740 SOS 11328 HAS SOPS 11328 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7742.328
AT ITER 3429 NEW BEST:: SOT 34733 SOS 11314 HAS SOPS 11314 HAS SOUS 7724 HAS SOUPS 7724 WITH SCORE 7735.314
AT ITER 3437 NEW BEST:: SOT 34733 SOS 11314 HAS SOPS 11314 HAS SOUS 7717 HAS SOUPS 7717 WITH SCORE 7728.314
AT ITER 3442 NEW BEST:: SOT 34732 SOS 11312 HAS SOPS 11312 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7727.312
AT ITER 3456 NEW BEST:: SOT 34726 SOS 11300 HAS SOPS 11300 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7699.3
AT ITER 3498 NEW BEST:: SOT 34786 SOS 11291 HAS SOPS 11291 HAS SOUS 7679 HAS SOUPS 7679 WITH SCORE 7690.291
AT ITER 3511 NEW BEST:: SOT 34779 SOS 11277 HAS SOPS 11277 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7688.277
AT ITER 3571 NEW BEST:: SOT 34776 SOS 11271 HAS SOPS 11271 HAS SOUS 7674 HAS SOUPS 7674 WITH SCORE 7685.271
AT ITER 3632 NEW BEST:: SOT 34780 SOS 11288 HAS SOPS 11288 HAS SOUS 7671 HAS SOUPS 7671 WITH SCORE 7682.288
AT ITER 3726 NEW BEST:: SOT 34779 SOS 11287 HAS SOPS 11287 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7680.287
AT ITER 3735 NEW BEST:: SOT 34774 SOS 11272 HAS SOPS 11272 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7670.272
AT ITER 3740 NEW BEST:: SOT 34751 SOS 11245 HAS SOPS 11245 HAS SOUS 7646 HAS SOUPS 7646 WITH SCORE 7657.245
AT ITER 3752 NEW BEST:: SOT 34739 SOS 11233 HAS SOPS 11233 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7645.233
AT ITER 3788 NEW BEST:: SOT 34729 SOS 11213 HAS SOPS 11213 HAS SOUS 7614 HAS SOUPS 7614 WITH SCORE 7625.213
AT ITER 3811 NEW BEST:: SOT 34727 SOS 11209 HAS SOPS 11209 HAS SOUS 7610 HAS SOUPS 7610 WITH SCORE 7621.209
AT ITER 3815 NEW BEST:: SOT 34715 SOS 11185 HAS SOPS 11185 HAS SOUS 7608 HAS SOUPS 7608 WITH SCORE 7619.185
AT ITER 3822 NEW BEST:: SOT 34725 SOS 11181 HAS SOPS 11181 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7615.181
AT ITER 3825 NEW BEST:: SOT 34725 SOS 11177 HAS SOPS 11177 HAS SOUS 7600 HAS SOUPS 7600 WITH SCORE 7611.177
AT ITER 3828 NEW BEST:: SOT 34725 SOS 11177 HAS SOPS 11177 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7610.177
AT ITER 3837 NEW BEST:: SOT 34723 SOS 11173 HAS SOPS 11173 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7606.173
AT ITER 3921 NEW BEST:: SOT 34717 SOS 11161 HAS SOPS 11161 HAS SOUS 7589 HAS SOUPS 7589 WITH SCORE 7600.161
AT ITER 3937 NEW BEST:: SOT 34714 SOS 11155 HAS SOPS 11155 HAS SOUS 7577 HAS SOUPS 7577 WITH SCORE 7588.155
AT ITER 3965 NEW BEST:: SOT 34710 SOS 11151 HAS SOPS 11151 HAS SOUS 7573 HAS SOUPS 7573 WITH SCORE 7584.151
AT ITER 3973 NEW BEST:: SOT 34709 SOS 11149 HAS SOPS 11149 HAS SOUS 7571 HAS SOUPS 7571 WITH SCORE 7582.149
AT ITER 3981 NEW BEST:: SOT 34695 SOS 11118 HAS SOPS 11118 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7554.118
AT ITER 4029 NEW BEST:: SOT 34691 SOS 11110 HAS SOPS 11110 HAS SOUS 7535 HAS SOUPS 7535 WITH SCORE 7546.11
AT ITER 4045 NEW BEST:: SOT 34690 SOS 11102 HAS SOPS 11102 HAS SOUS 7533 HAS SOUPS 7533 WITH SCORE 7544.102
AT ITER 4054 NEW BEST:: SOT 34677 SOS 11113 HAS SOPS 11113 HAS SOUS 7522 HAS SOUPS 7522 WITH SCORE 7533.113
AT ITER 4055 NEW BEST:: SOT 34672 SOS 11083 HAS SOPS 11083 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7524.083
AT ITER 4090 NEW BEST:: SOT 34669 SOS 11077 HAS SOPS 11077 HAS SOUS 7510 HAS SOUPS 7510 WITH SCORE 7521.077
AT ITER 4093 NEW BEST:: SOT 34605 SOS 11013 HAS SOPS 11013 HAS SOUS 7446 HAS SOUPS 7446 WITH SCORE 7457.013
AT ITER 4107 NEW BEST:: SOT 34604 SOS 11011 HAS SOPS 11011 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7456.011
AT ITER 4154 NEW BEST:: SOT 34594 SOS 11001 HAS SOPS 11001 HAS SOUS 7435 HAS SOUPS 7435 WITH SCORE 7446.001
AT ITER 4157 NEW BEST:: SOT 34540 SOS 10997 HAS SOPS 10997 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7441.997
AT ITER 4174 NEW BEST:: SOT 34529 SOS 10986 HAS SOPS 10986 HAS SOUS 7420 HAS SOUPS 7420 WITH SCORE 7430.986
AT ITER 4206 NEW BEST:: SOT 34505 SOS 10963 HAS SOPS 10963 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7421.963
AT ITER 4220 NEW BEST:: SOT 34491 SOS 10954 HAS SOPS 10954 HAS SOUS 7402 HAS SOUPS 7402 WITH SCORE 7412.954
AT ITER 4235 NEW BEST:: SOT 34465 SOS 10954 HAS SOPS 10954 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7386.954
AT ITER 4261 NEW BEST:: SOT 34452 SOS 10928 HAS SOPS 10928 HAS SOUS 7343 HAS SOUPS 7343 WITH SCORE 7353.928
AT ITER 4287 NEW BEST:: SOT 34449 SOS 10925 HAS SOPS 10925 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7347.925
AT ITER 4335 NEW BEST:: SOT 34446 SOS 10919 HAS SOPS 10919 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7345.919
AT ITER 4369 NEW BEST:: SOT 34442 SOS 10919 HAS SOPS 10919 HAS SOUS 7331 HAS SOUPS 7331 WITH SCORE 7341.919
AT ITER 4390 NEW BEST:: SOT 34450 SOS 10915 HAS SOPS 10915 HAS SOUS 7327 HAS SOUPS 7327 WITH SCORE 7337.915
AT ITER 4392 NEW BEST:: SOT 34449 SOS 10913 HAS SOPS 10913 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7335.913
AT ITER 4402 NEW BEST:: SOT 34455 SOS 10910 HAS SOPS 10910 HAS SOUS 7306 HAS SOUPS 7306 WITH SCORE 7316.91
AT ITER 4404 NEW BEST:: SOT 34463 SOS 10901 HAS SOPS 10901 HAS SOUS 7305 HAS SOUPS 7305 WITH SCORE 7315.901
AT ITER 4424 NEW BEST:: SOT 34461 SOS 10901 HAS SOPS 10901 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7309.901
AT ITER 4531 NEW BEST:: SOT 34455 SOS 10888 HAS SOPS 10888 HAS SOUS 7284 HAS SOUPS 7284 WITH SCORE 7294.888
AT ITER 4545 NEW BEST:: SOT 34461 SOS 10900 HAS SOPS 10900 HAS SOUS 7280 HAS SOUPS 7280 WITH SCORE 7290.9
AT ITER 4564 NEW BEST:: SOT 34454 SOS 10880 HAS SOPS 10880 HAS SOUS 7266 HAS SOUPS 7266 WITH SCORE 7276.88
AT ITER 4642 NEW BEST:: SOT 34453 SOS 10878 HAS SOPS 10878 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7274.878
AT ITER 4709 NEW BEST:: SOT 34424 SOS 10865 HAS SOPS 10865 HAS SOUS 7229 HAS SOUPS 7229 WITH SCORE 7239.865
AT ITER 4821 NEW BEST:: SOT 34419 SOS 10680 HAS SOPS 10680 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7226.68
AT ITER 4866 NEW BEST:: SOT 34418 SOS 10678 HAS SOPS 10678 HAS SOUS 7215 HAS SOUPS 7215 WITH SCORE 7225.678
AT ITER 4952 NEW BEST:: SOT 34415 SOS 10672 HAS SOPS 10672 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7219.672
AT ITER 4963 NEW BEST:: SOT 34415 SOS 10671 HAS SOPS 10671 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7217.671
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-00 (EG( (! (EX( potential( ( 2 ) <= (tk(P173)) ))))))
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-01 (EF(potential( ( 2 ) <= (tk(P25)) )))
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-02 ( potential( ( 3 ) <= (tk(P95)) ) | (! (EG( potential( (tk(P168)) <= (tk(P139)) )))) )
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-03 (AG( ( (AF(potential( (tk(P211)) <= (tk(P19)) ))) & ( ( potential( (tk(P118)) <= (tk(P192)) ) | potential( ( 3 ) <= (tk(P76)) ) ) | potential( ( 3 ) <= (tk(P2)) ) ) )))
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-04 (AG( (EU( potential( (tk(P46)) <= (tk(P40)) ),potential( ( 2 ) <= (tk(P30)) ) ))))
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-05 (EG( potential( (tk(P26)) <= (tk(P153)) )))
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-06 ( ( ( (EF(potential( ( 2 ) <= (tk(P166)) ))) | (! ( potential( ( 3 ) <= (tk(P137)) ) & potential( (tk(P125)) <= (tk(P64)) ) )) ) & (! potential( (tk(P115)) <= (tk(P162)) )) ) | (AG( (EX( potential( (tk(P24)) <= (tk(P189)) ))))) )
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-07 ( (AF((EX( potential( ( 1 ) <= (tk(P86)) ))))) | ( (EU( potential( (tk(P120)) <= (tk(P1)) ),potential( ( 1 ) <= (tk(P173)) ) )) & ( ( ( potential( ( 2 ) <= (tk(P41)) ) | potential( ( 2 ) <= (tk(P226)) ) ) & ( potential( ( 1 ) <= (tk(P136)) ) | potential( ( 2 ) <= (tk(P142)) ) ) ) | potential( ( 2 ) <= (tk(P233)) ) ) ) )
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-08 (EU( (EX( potential( (tk(P152)) <= (tk(P236)) ))),( ( potential( ( 2 ) <= (tk(P40)) ) | potential( (tk(P48)) <= (tk(P26)) ) ) & potential( ( 2 ) <= (tk(P110)) ) ) ))
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-09 (EU( potential( (tk(P71)) <= (tk(P152)) ),( (! potential( (tk(P209)) <= (tk(P115)) )) & (! potential( ( 3 ) <= (tk(P159)) )) ) ))
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-10 (! (AF(( potential( ( 2 ) <= (tk(P9)) ) & ( potential( ( 1 ) <= (tk(P182)) ) | potential( (tk(P57)) <= (tk(P180)) ) ) ))))
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-11 (! (EG( potential( (tk(P74)) <= (tk(P133)) ))))
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-12 (EF((! (! potential( ( 1 ) <= (tk(P151)) )))))
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-13 ( ( (! (AG( potential( (tk(P216)) <= (tk(P102)) )))) & (! (! ( potential( (tk(P88)) <= (tk(P239)) ) | potential( (tk(P49)) <= (tk(P70)) ) ))) ) | (AU( potential( (tk(P191)) <= (tk(P92)) ),( potential( ( 3 ) <= (tk(P108)) ) & potential( (tk(P114)) <= (tk(P133)) ) ) )) )
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-14 ( potential( (tk(P166)) <= (tk(P74)) ) & (! (AG( ( potential( (tk(P173)) <= (tk(P135)) ) | potential( ( 1 ) <= (tk(P182)) ) )))) )
PROPERTY: DiscoveryGPU-PT-08b-CTLCardinality-15 ( potential( (tk(P58)) <= (tk(P136)) ) & (AF(( ( potential( ( 3 ) <= (tk(P228)) ) | potential( (tk(P154)) <= (tk(P79)) ) ) & ( potential( ( 2 ) <= (tk(P158)) ) & potential( (tk(P107)) <= (tk(P175)) ) ) ))) )

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DiscoveryGPU-PT-08b"
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 DiscoveryGPU-PT-08b, 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 r063-tajo-158922807800627"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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