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

About the Execution of smart for CloudDeployment-PT-4b

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

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r033-smll-158901926000307.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 CloudDeployment-PT-4b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000307
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 760K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 28 15:36 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.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 07:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 07:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 591K 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 CloudDeployment-PT-4b-CTLCardinality-00
FORMULA_NAME CloudDeployment-PT-4b-CTLCardinality-01
FORMULA_NAME CloudDeployment-PT-4b-CTLCardinality-02
FORMULA_NAME CloudDeployment-PT-4b-CTLCardinality-03
FORMULA_NAME CloudDeployment-PT-4b-CTLCardinality-04
FORMULA_NAME CloudDeployment-PT-4b-CTLCardinality-05
FORMULA_NAME CloudDeployment-PT-4b-CTLCardinality-06
FORMULA_NAME CloudDeployment-PT-4b-CTLCardinality-07
FORMULA_NAME CloudDeployment-PT-4b-CTLCardinality-08
FORMULA_NAME CloudDeployment-PT-4b-CTLCardinality-09
FORMULA_NAME CloudDeployment-PT-4b-CTLCardinality-10
FORMULA_NAME CloudDeployment-PT-4b-CTLCardinality-11
FORMULA_NAME CloudDeployment-PT-4b-CTLCardinality-12
FORMULA_NAME CloudDeployment-PT-4b-CTLCardinality-13
FORMULA_NAME CloudDeployment-PT-4b-CTLCardinality-14
FORMULA_NAME CloudDeployment-PT-4b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589143874743

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 4b
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: 1182 places, 1824 transitions, 8741 arcs.
AT ITER 0 NEW BEST:: SOT 1371630 SOS 370547 HAS SOPS 370547 HAS SOUS 239087 HAS SOUPS 239087 WITH SCORE 239457.547
AT ITER 2 NEW BEST:: SOT 1371630 SOS 370529 HAS SOPS 370529 HAS SOUS 239040 HAS SOUPS 239040 WITH SCORE 239410.529
AT ITER 20 NEW BEST:: SOT 1371565 SOS 370596 HAS SOPS 370596 HAS SOUS 238765 HAS SOUPS 238765 WITH SCORE 239135.596
AT ITER 35 NEW BEST:: SOT 1371467 SOS 370400 HAS SOPS 370400 HAS SOUS 238569 HAS SOUPS 238569 WITH SCORE 238939.4
AT ITER 50 NEW BEST:: SOT 1371467 SOS 370674 HAS SOPS 370674 HAS SOUS 238563 HAS SOUPS 238563 WITH SCORE 238933.674
AT ITER 52 NEW BEST:: SOT 1371401 SOS 370806 HAS SOPS 370806 HAS SOUS 238497 HAS SOUPS 238497 WITH SCORE 238867.806
AT ITER 58 NEW BEST:: SOT 1370196 SOS 376028 HAS SOPS 376028 HAS SOUS 237987 HAS SOUPS 237987 WITH SCORE 238363.028
AT ITER 75 NEW BEST:: SOT 1370118 SOS 375872 HAS SOPS 375872 HAS SOUS 237940 HAS SOUPS 237940 WITH SCORE 238315.872
AT ITER 96 NEW BEST:: SOT 1370089 SOS 375843 HAS SOPS 375843 HAS SOUS 237911 HAS SOUPS 237911 WITH SCORE 238286.843
AT ITER 98 NEW BEST:: SOT 1370062 SOS 376092 HAS SOPS 376092 HAS SOUS 237884 HAS SOUPS 237884 WITH SCORE 238260.092
AT ITER 99 NEW BEST:: SOT 1369996 SOS 376026 HAS SOPS 376026 HAS SOUS 237883 HAS SOUPS 237883 WITH SCORE 238259.026
AT ITER 105 NEW BEST:: SOT 1369791 SOS 375824 HAS SOPS 375824 HAS SOUS 237681 HAS SOUPS 237681 WITH SCORE 238056.824
AT ITER 106 NEW BEST:: SOT 1369796 SOS 375685 HAS SOPS 375685 HAS SOUS 237559 HAS SOUPS 237559 WITH SCORE 237934.685
AT ITER 122 NEW BEST:: SOT 1369741 SOS 375575 HAS SOPS 375575 HAS SOUS 237449 HAS SOUPS 237449 WITH SCORE 237824.575
AT ITER 140 NEW BEST:: SOT 1369473 SOS 375453 HAS SOPS 375453 HAS SOUS 237221 HAS SOUPS 237221 WITH SCORE 237596.453
AT ITER 146 NEW BEST:: SOT 1369473 SOS 375978 HAS SOPS 375978 HAS SOUS 237165 HAS SOUPS 237165 WITH SCORE 237540.978
AT ITER 148 NEW BEST:: SOT 1369384 SOS 375873 HAS SOPS 375873 HAS SOUS 237036 HAS SOUPS 237036 WITH SCORE 237411.873
AT ITER 151 NEW BEST:: SOT 1369345 SOS 376296 HAS SOPS 376296 HAS SOUS 237020 HAS SOUPS 237020 WITH SCORE 237396.296
AT ITER 168 NEW BEST:: SOT 1369339 SOS 376284 HAS SOPS 376284 HAS SOUS 236989 HAS SOUPS 236989 WITH SCORE 237365.284
AT ITER 171 NEW BEST:: SOT 1369277 SOS 376160 HAS SOPS 376160 HAS SOUS 236865 HAS SOUPS 236865 WITH SCORE 237241.16
AT ITER 172 NEW BEST:: SOT 1368938 SOS 376990 HAS SOPS 376990 HAS SOUS 236792 HAS SOUPS 236792 WITH SCORE 237168.99
AT ITER 173 NEW BEST:: SOT 1368938 SOS 376969 HAS SOPS 376969 HAS SOUS 236572 HAS SOUPS 236572 WITH SCORE 236948.969
AT ITER 177 NEW BEST:: SOT 1368814 SOS 376604 HAS SOPS 376604 HAS SOUS 236528 HAS SOUPS 236528 WITH SCORE 236904.604
AT ITER 178 NEW BEST:: SOT 1368553 SOS 376343 HAS SOPS 376343 HAS SOUS 227915 HAS SOUPS 227915 WITH SCORE 228291.343
AT ITER 181 NEW BEST:: SOT 1368527 SOS 376419 HAS SOPS 376419 HAS SOUS 227825 HAS SOUPS 227825 WITH SCORE 228201.419
AT ITER 184 NEW BEST:: SOT 1368458 SOS 376409 HAS SOPS 376409 HAS SOUS 227771 HAS SOUPS 227771 WITH SCORE 228147.409
AT ITER 189 NEW BEST:: SOT 1368458 SOS 376409 HAS SOPS 376409 HAS SOUS 227731 HAS SOUPS 227731 WITH SCORE 228107.409
AT ITER 197 NEW BEST:: SOT 1368295 SOS 376746 HAS SOPS 376746 HAS SOUS 227526 HAS SOUPS 227526 WITH SCORE 227902.746
AT ITER 219 NEW BEST:: SOT 1368260 SOS 376676 HAS SOPS 376676 HAS SOUS 227456 HAS SOUPS 227456 WITH SCORE 227832.676
AT ITER 242 NEW BEST:: SOT 1368222 SOS 376676 HAS SOPS 376676 HAS SOUS 227437 HAS SOUPS 227437 WITH SCORE 227813.676
AT ITER 247 NEW BEST:: SOT 1368213 SOS 376658 HAS SOPS 376658 HAS SOUS 227426 HAS SOUPS 227426 WITH SCORE 227802.658
AT ITER 262 NEW BEST:: SOT 1368196 SOS 376729 HAS SOPS 376729 HAS SOUS 227409 HAS SOUPS 227409 WITH SCORE 227785.729
AT ITER 269 NEW BEST:: SOT 1368090 SOS 376676 HAS SOPS 376676 HAS SOUS 227250 HAS SOUPS 227250 WITH SCORE 227626.676
AT ITER 278 NEW BEST:: SOT 1368054 SOS 376604 HAS SOPS 376604 HAS SOUS 227210 HAS SOUPS 227210 WITH SCORE 227586.604
AT ITER 294 NEW BEST:: SOT 1367914 SOS 376522 HAS SOPS 376522 HAS SOUS 227070 HAS SOUPS 227070 WITH SCORE 227446.522
AT ITER 335 NEW BEST:: SOT 1367817 SOS 376724 HAS SOPS 376724 HAS SOUS 226899 HAS SOUPS 226899 WITH SCORE 227275.724
AT ITER 339 NEW BEST:: SOT 1367682 SOS 376454 HAS SOPS 376454 HAS SOUS 226629 HAS SOUPS 226629 WITH SCORE 227005.454
AT ITER 366 NEW BEST:: SOT 1367682 SOS 376395 HAS SOPS 376395 HAS SOUS 226629 HAS SOUPS 226629 WITH SCORE 227005.395
AT ITER 382 NEW BEST:: SOT 1367610 SOS 376588 HAS SOPS 376588 HAS SOUS 226611 HAS SOUPS 226611 WITH SCORE 226987.588
AT ITER 388 NEW BEST:: SOT 1367610 SOS 376718 HAS SOPS 376718 HAS SOUS 226574 HAS SOUPS 226574 WITH SCORE 226950.718
AT ITER 392 NEW BEST:: SOT 1367488 SOS 376902 HAS SOPS 376902 HAS SOUS 226394 HAS SOUPS 226394 WITH SCORE 226770.902
AT ITER 419 NEW BEST:: SOT 1367487 SOS 376900 HAS SOPS 376900 HAS SOUS 226392 HAS SOUPS 226392 WITH SCORE 226768.9
AT ITER 420 NEW BEST:: SOT 1366419 SOS 409455 HAS SOPS 409455 HAS SOUS 225987 HAS SOUPS 225987 WITH SCORE 226396.455
AT ITER 422 NEW BEST:: SOT 1366362 SOS 409445 HAS SOPS 409445 HAS SOUS 225926 HAS SOUPS 225926 WITH SCORE 226335.445
AT ITER 432 NEW BEST:: SOT 1366321 SOS 409404 HAS SOPS 409404 HAS SOUS 225925 HAS SOUPS 225925 WITH SCORE 226334.404
AT ITER 435 NEW BEST:: SOT 1366246 SOS 409316 HAS SOPS 409316 HAS SOUS 225821 HAS SOUPS 225821 WITH SCORE 226230.316
AT ITER 436 NEW BEST:: SOT 1366246 SOS 409316 HAS SOPS 409316 HAS SOUS 225820 HAS SOUPS 225820 WITH SCORE 226229.316
AT ITER 454 NEW BEST:: SOT 1366182 SOS 409194 HAS SOPS 409194 HAS SOUS 225626 HAS SOUPS 225626 WITH SCORE 226035.194
AT ITER 463 NEW BEST:: SOT 1366147 SOS 409159 HAS SOPS 409159 HAS SOUS 225591 HAS SOUPS 225591 WITH SCORE 226000.159
AT ITER 479 NEW BEST:: SOT 1366052 SOS 409064 HAS SOPS 409064 HAS SOUS 225496 HAS SOUPS 225496 WITH SCORE 225905.064
AT ITER 493 NEW BEST:: SOT 1366034 SOS 409028 HAS SOPS 409028 HAS SOUS 225422 HAS SOUPS 225422 WITH SCORE 225831.028
AT ITER 495 NEW BEST:: SOT 1366034 SOS 409028 HAS SOPS 409028 HAS SOUS 225418 HAS SOUPS 225418 WITH SCORE 225827.028
AT ITER 501 NEW BEST:: SOT 1366034 SOS 409121 HAS SOPS 409121 HAS SOUS 225417 HAS SOUPS 225417 WITH SCORE 225826.121
AT ITER 503 NEW BEST:: SOT 1365988 SOS 409068 HAS SOPS 409068 HAS SOUS 225336 HAS SOUPS 225336 WITH SCORE 225745.068
AT ITER 504 NEW BEST:: SOT 1365980 SOS 409060 HAS SOPS 409060 HAS SOUS 225328 HAS SOUPS 225328 WITH SCORE 225737.06
AT ITER 551 NEW BEST:: SOT 1365980 SOS 408982 HAS SOPS 408982 HAS SOUS 225321 HAS SOUPS 225321 WITH SCORE 225729.982
AT ITER 559 NEW BEST:: SOT 1365992 SOS 408993 HAS SOPS 408993 HAS SOUS 225319 HAS SOUPS 225319 WITH SCORE 225727.993
AT ITER 593 NEW BEST:: SOT 1365992 SOS 409183 HAS SOPS 409183 HAS SOUS 225285 HAS SOUPS 225285 WITH SCORE 225694.183
AT ITER 597 NEW BEST:: SOT 1365992 SOS 409183 HAS SOPS 409183 HAS SOUS 225225 HAS SOUPS 225225 WITH SCORE 225634.183
AT ITER 607 NEW BEST:: SOT 1365999 SOS 409107 HAS SOPS 409107 HAS SOUS 225217 HAS SOUPS 225217 WITH SCORE 225626.107
AT ITER 635 NEW BEST:: SOT 1365999 SOS 409103 HAS SOPS 409103 HAS SOUS 225217 HAS SOUPS 225217 WITH SCORE 225626.103
AT ITER 639 NEW BEST:: SOT 1365999 SOS 409103 HAS SOPS 409103 HAS SOUS 225195 HAS SOUPS 225195 WITH SCORE 225604.103
AT ITER 640 NEW BEST:: SOT 1365894 SOS 408781 HAS SOPS 408781 HAS SOUS 225074 HAS SOUPS 225074 WITH SCORE 225482.781
AT ITER 643 NEW BEST:: SOT 1365663 SOS 409222 HAS SOPS 409222 HAS SOUS 224870 HAS SOUPS 224870 WITH SCORE 225279.222
AT ITER 644 NEW BEST:: SOT 1365663 SOS 409221 HAS SOPS 409221 HAS SOUS 224862 HAS SOUPS 224862 WITH SCORE 225271.221
AT ITER 649 NEW BEST:: SOT 1365597 SOS 409417 HAS SOPS 409417 HAS SOUS 224810 HAS SOUPS 224810 WITH SCORE 225219.417
AT ITER 650 NEW BEST:: SOT 1365597 SOS 409393 HAS SOPS 409393 HAS SOUS 224810 HAS SOUPS 224810 WITH SCORE 225219.393
AT ITER 655 NEW BEST:: SOT 1365591 SOS 409410 HAS SOPS 409410 HAS SOUS 224804 HAS SOUPS 224804 WITH SCORE 225213.41
AT ITER 672 NEW BEST:: SOT 1365476 SOS 409282 HAS SOPS 409282 HAS SOUS 224766 HAS SOUPS 224766 WITH SCORE 225175.282
AT ITER 676 NEW BEST:: SOT 1365399 SOS 409423 HAS SOPS 409423 HAS SOUS 224751 HAS SOUPS 224751 WITH SCORE 225160.423
AT ITER 682 NEW BEST:: SOT 1365399 SOS 409423 HAS SOPS 409423 HAS SOUS 224749 HAS SOUPS 224749 WITH SCORE 225158.423
AT ITER 688 NEW BEST:: SOT 1365353 SOS 409331 HAS SOPS 409331 HAS SOUS 224657 HAS SOUPS 224657 WITH SCORE 225066.331
AT ITER 689 NEW BEST:: SOT 1365279 SOS 409183 HAS SOPS 409183 HAS SOUS 224509 HAS SOUPS 224509 WITH SCORE 224918.183
AT ITER 695 NEW BEST:: SOT 1365331 SOS 409131 HAS SOPS 409131 HAS SOUS 224509 HAS SOUPS 224509 WITH SCORE 224918.131
AT ITER 779 NEW BEST:: SOT 1365273 SOS 409004 HAS SOPS 409004 HAS SOUS 224496 HAS SOUPS 224496 WITH SCORE 224905.004
AT ITER 789 NEW BEST:: SOT 1364917 SOS 409108 HAS SOPS 409108 HAS SOUS 224276 HAS SOUPS 224276 WITH SCORE 224685.108
AT ITER 817 NEW BEST:: SOT 1365072 SOS 409015 HAS SOPS 409015 HAS SOUS 224151 HAS SOUPS 224151 WITH SCORE 224560.015
AT ITER 828 NEW BEST:: SOT 1364946 SOS 409431 HAS SOPS 409431 HAS SOUS 224025 HAS SOUPS 224025 WITH SCORE 224434.431
AT ITER 876 NEW BEST:: SOT 1364760 SOS 409563 HAS SOPS 409563 HAS SOUS 224007 HAS SOUPS 224007 WITH SCORE 224416.563
AT ITER 882 NEW BEST:: SOT 1364703 SOS 409673 HAS SOPS 409673 HAS SOUS 223949 HAS SOUPS 223949 WITH SCORE 224358.673
AT ITER 883 NEW BEST:: SOT 1364703 SOS 409662 HAS SOPS 409662 HAS SOUS 223938 HAS SOUPS 223938 WITH SCORE 224347.662
AT ITER 890 NEW BEST:: SOT 1364703 SOS 409662 HAS SOPS 409662 HAS SOUS 223937 HAS SOUPS 223937 WITH SCORE 224346.662
AT ITER 915 NEW BEST:: SOT 1364703 SOS 409539 HAS SOPS 409539 HAS SOUS 223937 HAS SOUPS 223937 WITH SCORE 224346.539
AT ITER 925 NEW BEST:: SOT 1364662 SOS 409498 HAS SOPS 409498 HAS SOUS 223937 HAS SOUPS 223937 WITH SCORE 224346.498
AT ITER 933 NEW BEST:: SOT 1364329 SOS 409536 HAS SOPS 409536 HAS SOUS 223428 HAS SOUPS 223428 WITH SCORE 223837.536
AT ITER 941 NEW BEST:: SOT 1364178 SOS 408923 HAS SOPS 408923 HAS SOUS 223059 HAS SOUPS 223059 WITH SCORE 223467.923
AT ITER 942 NEW BEST:: SOT 1363772 SOS 408385 HAS SOPS 408385 HAS SOUS 222487 HAS SOUPS 222487 WITH SCORE 222895.385
AT ITER 952 NEW BEST:: SOT 1363820 SOS 408669 HAS SOPS 408669 HAS SOUS 222350 HAS SOUPS 222350 WITH SCORE 222758.669
AT ITER 958 NEW BEST:: SOT 1363820 SOS 408669 HAS SOPS 408669 HAS SOUS 222333 HAS SOUPS 222333 WITH SCORE 222741.669
AT ITER 979 NEW BEST:: SOT 1363717 SOS 408583 HAS SOPS 408583 HAS SOUS 222230 HAS SOUPS 222230 WITH SCORE 222638.583
AT ITER 1008 NEW BEST:: SOT 1363638 SOS 408805 HAS SOPS 408805 HAS SOUS 222193 HAS SOUPS 222193 WITH SCORE 222601.805
AT ITER 1034 NEW BEST:: SOT 1363599 SOS 408718 HAS SOPS 408718 HAS SOUS 222094 HAS SOUPS 222094 WITH SCORE 222502.718
AT ITER 1037 NEW BEST:: SOT 1363430 SOS 408380 HAS SOPS 408380 HAS SOUS 222001 HAS SOUPS 222001 WITH SCORE 222409.38
AT ITER 1052 NEW BEST:: SOT 1363429 SOS 408378 HAS SOPS 408378 HAS SOUS 221999 HAS SOUPS 221999 WITH SCORE 222407.378
AT ITER 1071 NEW BEST:: SOT 1363428 SOS 408376 HAS SOPS 408376 HAS SOUS 221997 HAS SOUPS 221997 WITH SCORE 222405.376
AT ITER 1090 NEW BEST:: SOT 1363406 SOS 408332 HAS SOPS 408332 HAS SOUS 221975 HAS SOUPS 221975 WITH SCORE 222383.332
AT ITER 1104 NEW BEST:: SOT 1363428 SOS 408316 HAS SOPS 408316 HAS SOUS 221942 HAS SOUPS 221942 WITH SCORE 222350.316
AT ITER 1106 NEW BEST:: SOT 1363324 SOS 408108 HAS SOPS 408108 HAS SOUS 221763 HAS SOUPS 221763 WITH SCORE 222171.108
AT ITER 1110 NEW BEST:: SOT 1363324 SOS 408108 HAS SOPS 408108 HAS SOUS 221648 HAS SOUPS 221648 WITH SCORE 222056.108
AT ITER 1112 NEW BEST:: SOT 1363274 SOS 408008 HAS SOPS 408008 HAS SOUS 221598 HAS SOUPS 221598 WITH SCORE 222006.008
AT ITER 1118 NEW BEST:: SOT 1363274 SOS 407971 HAS SOPS 407971 HAS SOUS 221561 HAS SOUPS 221561 WITH SCORE 221968.971
AT ITER 1121 NEW BEST:: SOT 1363274 SOS 408007 HAS SOPS 408007 HAS SOUS 221523 HAS SOUPS 221523 WITH SCORE 221931.007
AT ITER 1132 NEW BEST:: SOT 1363231 SOS 407921 HAS SOPS 407921 HAS SOUS 221480 HAS SOUPS 221480 WITH SCORE 221887.921
AT ITER 1187 NEW BEST:: SOT 1363238 SOS 407935 HAS SOPS 407935 HAS SOUS 221320 HAS SOUPS 221320 WITH SCORE 221727.935
AT ITER 1202 NEW BEST:: SOT 1363159 SOS 407777 HAS SOPS 407777 HAS SOUS 221261 HAS SOUPS 221261 WITH SCORE 221668.777
AT ITER 1208 NEW BEST:: SOT 1362895 SOS 407403 HAS SOPS 407403 HAS SOUS 220887 HAS SOUPS 220887 WITH SCORE 221294.403
AT ITER 1211 NEW BEST:: SOT 1362857 SOS 407327 HAS SOPS 407327 HAS SOUS 220811 HAS SOUPS 220811 WITH SCORE 221218.327
AT ITER 1214 NEW BEST:: SOT 1362643 SOS 406899 HAS SOPS 406899 HAS SOUS 220597 HAS SOUPS 220597 WITH SCORE 221003.899
AT ITER 1299 NEW BEST:: SOT 1362220 SOS 438652 HAS SOPS 438652 HAS SOUS 220400 HAS SOUPS 220400 WITH SCORE 220838.652
AT ITER 1305 NEW BEST:: SOT 1362155 SOS 438711 HAS SOPS 438711 HAS SOUS 220357 HAS SOUPS 220357 WITH SCORE 220795.711
AT ITER 1324 NEW BEST:: SOT 1362155 SOS 438726 HAS SOPS 438726 HAS SOUS 220327 HAS SOUPS 220327 WITH SCORE 220765.726
AT ITER 1340 NEW BEST:: SOT 1362044 SOS 438504 HAS SOPS 438504 HAS SOUS 220216 HAS SOUPS 220216 WITH SCORE 220654.504
AT ITER 1342 NEW BEST:: SOT 1361993 SOS 438453 HAS SOPS 438453 HAS SOUS 220165 HAS SOUPS 220165 WITH SCORE 220603.453
AT ITER 1351 NEW BEST:: SOT 1361993 SOS 438390 HAS SOPS 438390 HAS SOUS 220165 HAS SOUPS 220165 WITH SCORE 220603.39
AT ITER 1374 NEW BEST:: SOT 1362001 SOS 438380 HAS SOPS 438380 HAS SOUS 220055 HAS SOUPS 220055 WITH SCORE 220493.38
AT ITER 1379 NEW BEST:: SOT 1362001 SOS 438380 HAS SOPS 438380 HAS SOUS 220030 HAS SOUPS 220030 WITH SCORE 220468.38
AT ITER 1405 NEW BEST:: SOT 1362001 SOS 438304 HAS SOPS 438304 HAS SOUS 219954 HAS SOUPS 219954 WITH SCORE 220392.304
AT ITER 1412 NEW BEST:: SOT 1361883 SOS 438186 HAS SOPS 438186 HAS SOUS 218926 HAS SOUPS 218926 WITH SCORE 219364.186
AT ITER 1416 NEW BEST:: SOT 1361999 SOS 438252 HAS SOPS 438252 HAS SOUS 218768 HAS SOUPS 218768 WITH SCORE 219206.252
AT ITER 1421 NEW BEST:: SOT 1361806 SOS 438295 HAS SOPS 438295 HAS SOUS 218589 HAS SOUPS 218589 WITH SCORE 219027.295
AT ITER 1436 NEW BEST:: SOT 1361806 SOS 438233 HAS SOPS 438233 HAS SOUS 218465 HAS SOUPS 218465 WITH SCORE 218903.233
AT ITER 1441 NEW BEST:: SOT 1361696 SOS 438013 HAS SOPS 438013 HAS SOUS 218413 HAS SOUPS 218413 WITH SCORE 218851.013
AT ITER 1442 NEW BEST:: SOT 1361670 SOS 438000 HAS SOPS 438000 HAS SOUS 218398 HAS SOUPS 218398 WITH SCORE 218836.0
AT ITER 1443 NEW BEST:: SOT 1361670 SOS 437981 HAS SOPS 437981 HAS SOUS 218379 HAS SOUPS 218379 WITH SCORE 218816.981
AT ITER 1460 NEW BEST:: SOT 1360967 SOS 437991 HAS SOPS 437991 HAS SOUS 217704 HAS SOUPS 217704 WITH SCORE 218141.991
AT ITER 1472 NEW BEST:: SOT 1360992 SOS 438091 HAS SOPS 438091 HAS SOUS 217670 HAS SOUPS 217670 WITH SCORE 218108.091
AT ITER 1477 NEW BEST:: SOT 1361110 SOS 437992 HAS SOPS 437992 HAS SOUS 217570 HAS SOUPS 217570 WITH SCORE 218007.992
AT ITER 1483 NEW BEST:: SOT 1360998 SOS 437936 HAS SOPS 437936 HAS SOUS 217458 HAS SOUPS 217458 WITH SCORE 217895.936
AT ITER 1484 NEW BEST:: SOT 1360969 SOS 437907 HAS SOPS 437907 HAS SOUS 217458 HAS SOUPS 217458 WITH SCORE 217895.907
AT ITER 1490 NEW BEST:: SOT 1360871 SOS 437834 HAS SOPS 437834 HAS SOUS 217371 HAS SOUPS 217371 WITH SCORE 217808.834
AT ITER 1492 NEW BEST:: SOT 1360870 SOS 437768 HAS SOPS 437768 HAS SOUS 217305 HAS SOUPS 217305 WITH SCORE 217742.768
AT ITER 1493 NEW BEST:: SOT 1360648 SOS 440658 HAS SOPS 440658 HAS SOUS 217150 HAS SOUPS 217150 WITH SCORE 217590.658
AT ITER 1521 NEW BEST:: SOT 1360648 SOS 440651 HAS SOPS 440651 HAS SOUS 217143 HAS SOUPS 217143 WITH SCORE 217583.651
AT ITER 1531 NEW BEST:: SOT 1360648 SOS 440649 HAS SOPS 440649 HAS SOUS 217141 HAS SOUPS 217141 WITH SCORE 217581.649
AT ITER 1536 NEW BEST:: SOT 1360591 SOS 440678 HAS SOPS 440678 HAS SOUS 216974 HAS SOUPS 216974 WITH SCORE 217414.678
AT ITER 1560 NEW BEST:: SOT 1360641 SOS 440778 HAS SOPS 440778 HAS SOUS 216890 HAS SOUPS 216890 WITH SCORE 217330.778
AT ITER 1561 NEW BEST:: SOT 1360641 SOS 440778 HAS SOPS 440778 HAS SOUS 216884 HAS SOUPS 216884 WITH SCORE 217324.778
AT ITER 1563 NEW BEST:: SOT 1360499 SOS 440923 HAS SOPS 440923 HAS SOUS 216742 HAS SOUPS 216742 WITH SCORE 217182.923
AT ITER 1569 NEW BEST:: SOT 1360606 SOS 441137 HAS SOPS 441137 HAS SOUS 216589 HAS SOUPS 216589 WITH SCORE 217030.137
AT ITER 1578 NEW BEST:: SOT 1360606 SOS 441173 HAS SOPS 441173 HAS SOUS 216567 HAS SOUPS 216567 WITH SCORE 217008.173
AT ITER 1579 NEW BEST:: SOT 1360353 SOS 440803 HAS SOPS 440803 HAS SOUS 216197 HAS SOUPS 216197 WITH SCORE 216637.803
AT ITER 1587 NEW BEST:: SOT 1360286 SOS 441104 HAS SOPS 441104 HAS SOUS 216130 HAS SOUPS 216130 WITH SCORE 216571.104
AT ITER 1606 NEW BEST:: SOT 1360080 SOS 440909 HAS SOPS 440909 HAS SOUS 213173 HAS SOUPS 213173 WITH SCORE 213613.909
AT ITER 1613 NEW BEST:: SOT 1360069 SOS 440887 HAS SOPS 440887 HAS SOUS 213151 HAS SOUPS 213151 WITH SCORE 213591.887
AT ITER 1621 NEW BEST:: SOT 1360069 SOS 440784 HAS SOPS 440784 HAS SOUS 213059 HAS SOUPS 213059 WITH SCORE 213499.784
AT ITER 1623 NEW BEST:: SOT 1360023 SOS 438676 HAS SOPS 438676 HAS SOUS 212876 HAS SOUPS 212876 WITH SCORE 213314.676
AT ITER 1637 NEW BEST:: SOT 1359914 SOS 439103 HAS SOPS 439103 HAS SOUS 212801 HAS SOUPS 212801 WITH SCORE 213240.103
AT ITER 1647 NEW BEST:: SOT 1359852 SOS 438886 HAS SOPS 438886 HAS SOUS 212550 HAS SOUPS 212550 WITH SCORE 212988.886
AT ITER 1649 NEW BEST:: SOT 1360119 SOS 439420 HAS SOPS 439420 HAS SOUS 212528 HAS SOUPS 212528 WITH SCORE 212967.42
AT ITER 1663 NEW BEST:: SOT 1360088 SOS 439358 HAS SOPS 439358 HAS SOUS 212466 HAS SOUPS 212466 WITH SCORE 212905.358
AT ITER 1680 NEW BEST:: SOT 1360019 SOS 438931 HAS SOPS 438931 HAS SOUS 212089 HAS SOUPS 212089 WITH SCORE 212527.931
AT ITER 1682 NEW BEST:: SOT 1359952 SOS 438797 HAS SOPS 438797 HAS SOUS 211955 HAS SOUPS 211955 WITH SCORE 212393.797
AT ITER 1700 NEW BEST:: SOT 1359532 SOS 440037 HAS SOPS 440037 HAS SOUS 211766 HAS SOUPS 211766 WITH SCORE 212206.037
AT ITER 1715 NEW BEST:: SOT 1359532 SOS 440037 HAS SOPS 440037 HAS SOUS 211726 HAS SOUPS 211726 WITH SCORE 212166.037
AT ITER 1722 NEW BEST:: SOT 1359528 SOS 440029 HAS SOPS 440029 HAS SOUS 211726 HAS SOUPS 211726 WITH SCORE 212166.029
AT ITER 1723 NEW BEST:: SOT 1359528 SOS 440029 HAS SOPS 440029 HAS SOUS 211725 HAS SOUPS 211725 WITH SCORE 212165.029
AT ITER 1726 NEW BEST:: SOT 1359503 SOS 440347 HAS SOPS 440347 HAS SOUS 211721 HAS SOUPS 211721 WITH SCORE 212161.347
AT ITER 1740 NEW BEST:: SOT 1359644 SOS 439021 HAS SOPS 439021 HAS SOUS 211692 HAS SOUPS 211692 WITH SCORE 212131.021
AT ITER 1748 NEW BEST:: SOT 1359567 SOS 438636 HAS SOPS 438636 HAS SOUS 211538 HAS SOUPS 211538 WITH SCORE 211976.636
AT ITER 1752 NEW BEST:: SOT 1359547 SOS 438636 HAS SOPS 438636 HAS SOUS 211514 HAS SOUPS 211514 WITH SCORE 211952.636
AT ITER 1777 NEW BEST:: SOT 1359436 SOS 438414 HAS SOPS 438414 HAS SOUS 211292 HAS SOUPS 211292 WITH SCORE 211730.414
AT ITER 1790 NEW BEST:: SOT 1359517 SOS 438576 HAS SOPS 438576 HAS SOUS 211275 HAS SOUPS 211275 WITH SCORE 211713.576
AT ITER 1815 NEW BEST:: SOT 1359517 SOS 438576 HAS SOPS 438576 HAS SOUS 211269 HAS SOUPS 211269 WITH SCORE 211707.576
AT ITER 1825 NEW BEST:: SOT 1359261 SOS 437752 HAS SOPS 437752 HAS SOUS 210644 HAS SOUPS 210644 WITH SCORE 211081.752
AT ITER 1854 NEW BEST:: SOT 1359009 SOS 437856 HAS SOPS 437856 HAS SOUS 210468 HAS SOUPS 210468 WITH SCORE 210905.856
AT ITER 1855 NEW BEST:: SOT 1359002 SOS 437898 HAS SOPS 437898 HAS SOUS 210461 HAS SOUPS 210461 WITH SCORE 210898.898
AT ITER 1859 NEW BEST:: SOT 1358934 SOS 437847 HAS SOPS 437847 HAS SOUS 210393 HAS SOUPS 210393 WITH SCORE 210830.847
AT ITER 1873 NEW BEST:: SOT 1358836 SOS 437579 HAS SOPS 437579 HAS SOUS 210373 HAS SOUPS 210373 WITH SCORE 210810.579
AT ITER 1898 NEW BEST:: SOT 1358829 SOS 437572 HAS SOPS 437572 HAS SOUS 210366 HAS SOUPS 210366 WITH SCORE 210803.572
AT ITER 1904 NEW BEST:: SOT 1358755 SOS 437498 HAS SOPS 437498 HAS SOUS 210245 HAS SOUPS 210245 WITH SCORE 210682.498
AT ITER 1911 NEW BEST:: SOT 1358657 SOS 438006 HAS SOPS 438006 HAS SOUS 210235 HAS SOUPS 210235 WITH SCORE 210673.006
AT ITER 1928 NEW BEST:: SOT 1358611 SOS 437914 HAS SOPS 437914 HAS SOUS 210143 HAS SOUPS 210143 WITH SCORE 210580.914
AT ITER 1933 NEW BEST:: SOT 1358611 SOS 437747 HAS SOPS 437747 HAS SOUS 209899 HAS SOUPS 209899 WITH SCORE 210336.747
AT ITER 1935 NEW BEST:: SOT 1358611 SOS 437625 HAS SOPS 437625 HAS SOUS 209746 HAS SOUPS 209746 WITH SCORE 210183.625
AT ITER 1936 NEW BEST:: SOT 1358610 SOS 437624 HAS SOPS 437624 HAS SOUS 209744 HAS SOUPS 209744 WITH SCORE 210181.624
AT ITER 1942 NEW BEST:: SOT 1358610 SOS 437582 HAS SOPS 437582 HAS SOUS 209698 HAS SOUPS 209698 WITH SCORE 210135.582
AT ITER 1959 NEW BEST:: SOT 1358610 SOS 437582 HAS SOPS 437582 HAS SOUS 209693 HAS SOUPS 209693 WITH SCORE 210130.582
AT ITER 1967 NEW BEST:: SOT 1358562 SOS 437486 HAS SOPS 437486 HAS SOUS 209645 HAS SOUPS 209645 WITH SCORE 210082.486
AT ITER 1982 NEW BEST:: SOT 1358541 SOS 437555 HAS SOPS 437555 HAS SOUS 209587 HAS SOUPS 209587 WITH SCORE 210024.555
AT ITER 1983 NEW BEST:: SOT 1358485 SOS 437443 HAS SOPS 437443 HAS SOUS 209562 HAS SOUPS 209562 WITH SCORE 209999.443
AT ITER 1988 NEW BEST:: SOT 1358390 SOS 437333 HAS SOPS 437333 HAS SOUS 209481 HAS SOUPS 209481 WITH SCORE 209918.333
AT ITER 2011 NEW BEST:: SOT 1358368 SOS 437311 HAS SOPS 437311 HAS SOUS 209459 HAS SOUPS 209459 WITH SCORE 209896.311
AT ITER 2016 NEW BEST:: SOT 1358830 SOS 438235 HAS SOPS 438235 HAS SOUS 209426 HAS SOUPS 209426 WITH SCORE 209864.235
AT ITER 2067 NEW BEST:: SOT 1358837 SOS 437954 HAS SOPS 437954 HAS SOUS 209393 HAS SOUPS 209393 WITH SCORE 209830.954
AT ITER 2089 NEW BEST:: SOT 1358697 SOS 438040 HAS SOPS 438040 HAS SOUS 209253 HAS SOUPS 209253 WITH SCORE 209691.04
AT ITER 2105 NEW BEST:: SOT 1358695 SOS 438160 HAS SOPS 438160 HAS SOUS 209125 HAS SOUPS 209125 WITH SCORE 209563.16
AT ITER 2122 NEW BEST:: SOT 1358655 SOS 438128 HAS SOPS 438128 HAS SOUS 209092 HAS SOUPS 209092 WITH SCORE 209530.128
AT ITER 2143 NEW BEST:: SOT 1358655 SOS 438128 HAS SOPS 438128 HAS SOUS 209068 HAS SOUPS 209068 WITH SCORE 209506.128
AT ITER 2147 NEW BEST:: SOT 1358482 SOS 438232 HAS SOPS 438232 HAS SOUS 208834 HAS SOUPS 208834 WITH SCORE 209272.232
AT ITER 2148 NEW BEST:: SOT 1358462 SOS 438401 HAS SOPS 438401 HAS SOUS 208794 HAS SOUPS 208794 WITH SCORE 209232.401
AT ITER 2151 NEW BEST:: SOT 1358462 SOS 438727 HAS SOPS 438727 HAS SOUS 208770 HAS SOUPS 208770 WITH SCORE 209208.727
AT ITER 2170 NEW BEST:: SOT 1358116 SOS 438962 HAS SOPS 438962 HAS SOUS 208587 HAS SOUPS 208587 WITH SCORE 209025.962
AT ITER 2180 NEW BEST:: SOT 1357465 SOS 445336 HAS SOPS 445336 HAS SOUS 208189 HAS SOUPS 208189 WITH SCORE 208634.336
AT ITER 2206 NEW BEST:: SOT 1357342 SOS 445090 HAS SOPS 445090 HAS SOUS 208072 HAS SOUPS 208072 WITH SCORE 208517.09
AT ITER 2221 NEW BEST:: SOT 1357251 SOS 444908 HAS SOPS 444908 HAS SOUS 207890 HAS SOUPS 207890 WITH SCORE 208334.908
AT ITER 2238 NEW BEST:: SOT 1357136 SOS 444678 HAS SOPS 444678 HAS SOUS 207660 HAS SOUPS 207660 WITH SCORE 208104.678
AT ITER 2243 NEW BEST:: SOT 1357050 SOS 445298 HAS SOPS 445298 HAS SOUS 207403 HAS SOUPS 207403 WITH SCORE 207848.298
AT ITER 2248 NEW BEST:: SOT 1357029 SOS 445256 HAS SOPS 445256 HAS SOUS 207340 HAS SOUPS 207340 WITH SCORE 207785.256
AT ITER 2257 NEW BEST:: SOT 1357015 SOS 445196 HAS SOPS 445196 HAS SOUS 207326 HAS SOUPS 207326 WITH SCORE 207771.196
AT ITER 2281 NEW BEST:: SOT 1357015 SOS 445159 HAS SOPS 445159 HAS SOUS 207289 HAS SOUPS 207289 WITH SCORE 207734.159
AT ITER 2288 NEW BEST:: SOT 1356941 SOS 445004 HAS SOPS 445004 HAS SOUS 206992 HAS SOUPS 206992 WITH SCORE 207437.004
AT ITER 2294 NEW BEST:: SOT 1356904 SOS 444681 HAS SOPS 444681 HAS SOUS 206885 HAS SOUPS 206885 WITH SCORE 207329.681
AT ITER 2302 NEW BEST:: SOT 1356904 SOS 444681 HAS SOPS 444681 HAS SOUS 206668 HAS SOUPS 206668 WITH SCORE 207112.681
AT ITER 2304 NEW BEST:: SOT 1356843 SOS 444970 HAS SOPS 444970 HAS SOUS 206536 HAS SOUPS 206536 WITH SCORE 206980.97
AT ITER 2313 NEW BEST:: SOT 1356689 SOS 444741 HAS SOPS 444741 HAS SOUS 206229 HAS SOUPS 206229 WITH SCORE 206673.741
AT ITER 2321 NEW BEST:: SOT 1356570 SOS 444741 HAS SOPS 444741 HAS SOUS 206110 HAS SOUPS 206110 WITH SCORE 206554.741
AT ITER 2337 NEW BEST:: SOT 1356536 SOS 444741 HAS SOPS 444741 HAS SOUS 206042 HAS SOUPS 206042 WITH SCORE 206486.741
AT ITER 2352 NEW BEST:: SOT 1356536 SOS 444718 HAS SOPS 444718 HAS SOUS 206040 HAS SOUPS 206040 WITH SCORE 206484.718
AT ITER 2362 NEW BEST:: SOT 1356548 SOS 444742 HAS SOPS 444742 HAS SOUS 205947 HAS SOUPS 205947 WITH SCORE 206391.742
AT ITER 2375 NEW BEST:: SOT 1356529 SOS 444704 HAS SOPS 444704 HAS SOUS 205920 HAS SOUPS 205920 WITH SCORE 206364.704
AT ITER 2390 NEW BEST:: SOT 1356529 SOS 444690 HAS SOPS 444690 HAS SOUS 205906 HAS SOUPS 205906 WITH SCORE 206350.69
AT ITER 2400 NEW BEST:: SOT 1356496 SOS 444452 HAS SOPS 444452 HAS SOUS 205873 HAS SOUPS 205873 WITH SCORE 206317.452
AT ITER 2401 NEW BEST:: SOT 1356349 SOS 444305 HAS SOPS 444305 HAS SOUS 205726 HAS SOUPS 205726 WITH SCORE 206170.305
AT ITER 2429 NEW BEST:: SOT 1356349 SOS 444244 HAS SOPS 444244 HAS SOUS 205665 HAS SOUPS 205665 WITH SCORE 206109.244
AT ITER 2435 NEW BEST:: SOT 1356349 SOS 444105 HAS SOPS 444105 HAS SOUS 205640 HAS SOUPS 205640 WITH SCORE 206084.105
AT ITER 2443 NEW BEST:: SOT 1356246 SOS 444002 HAS SOPS 444002 HAS SOUS 205537 HAS SOUPS 205537 WITH SCORE 205981.002
AT ITER 2454 NEW BEST:: SOT 1356246 SOS 444002 HAS SOPS 444002 HAS SOUS 205527 HAS SOUPS 205527 WITH SCORE 205971.002
AT ITER 2460 NEW BEST:: SOT 1356246 SOS 444002 HAS SOPS 444002 HAS SOUS 205526 HAS SOUPS 205526 WITH SCORE 205970.002
AT ITER 2477 NEW BEST:: SOT 1356252 SOS 443992 HAS SOPS 443992 HAS SOUS 205516 HAS SOUPS 205516 WITH SCORE 205959.992
AT ITER 2502 NEW BEST:: SOT 1355682 SOS 444068 HAS SOPS 444068 HAS SOUS 205022 HAS SOUPS 205022 WITH SCORE 205466.068
AT ITER 2516 NEW BEST:: SOT 1355682 SOS 444068 HAS SOPS 444068 HAS SOUS 205004 HAS SOUPS 205004 WITH SCORE 205448.068
AT ITER 2547 NEW BEST:: SOT 1355657 SOS 444089 HAS SOPS 444089 HAS SOUS 204954 HAS SOUPS 204954 WITH SCORE 205398.089
AT ITER 2549 NEW BEST:: SOT 1355606 SOS 444055 HAS SOPS 444055 HAS SOUS 204903 HAS SOUPS 204903 WITH SCORE 205347.055
AT ITER 2552 NEW BEST:: SOT 1355222 SOS 443841 HAS SOPS 443841 HAS SOUS 204846 HAS SOUPS 204846 WITH SCORE 205289.841
AT ITER 2584 NEW BEST:: SOT 1355186 SOS 443769 HAS SOPS 443769 HAS SOUS 204846 HAS SOUPS 204846 WITH SCORE 205289.769
AT ITER 2607 NEW BEST:: SOT 1355165 SOS 443853 HAS SOPS 443853 HAS SOUS 204746 HAS SOUPS 204746 WITH SCORE 205189.853
AT ITER 2608 NEW BEST:: SOT 1355116 SOS 443755 HAS SOPS 443755 HAS SOUS 204648 HAS SOUPS 204648 WITH SCORE 205091.755
AT ITER 2617 NEW BEST:: SOT 1355157 SOS 443706 HAS SOPS 443706 HAS SOUS 204599 HAS SOUPS 204599 WITH SCORE 205042.706
AT ITER 2623 NEW BEST:: SOT 1355182 SOS 443756 HAS SOPS 443756 HAS SOUS 204512 HAS SOUPS 204512 WITH SCORE 204955.756
AT ITER 2637 NEW BEST:: SOT 1355182 SOS 443756 HAS SOPS 443756 HAS SOUS 204511 HAS SOUPS 204511 WITH SCORE 204954.756
AT ITER 2641 NEW BEST:: SOT 1355182 SOS 443690 HAS SOPS 443690 HAS SOUS 204468 HAS SOUPS 204468 WITH SCORE 204911.69
AT ITER 2643 NEW BEST:: SOT 1355180 SOS 443673 HAS SOPS 443673 HAS SOUS 204466 HAS SOUPS 204466 WITH SCORE 204909.673
AT ITER 2654 NEW BEST:: SOT 1355138 SOS 443829 HAS SOPS 443829 HAS SOUS 204460 HAS SOUPS 204460 WITH SCORE 204903.829
AT ITER 2664 NEW BEST:: SOT 1355135 SOS 443663 HAS SOPS 443663 HAS SOUS 204454 HAS SOUPS 204454 WITH SCORE 204897.663
AT ITER 2681 NEW BEST:: SOT 1355115 SOS 443623 HAS SOPS 443623 HAS SOUS 204414 HAS SOUPS 204414 WITH SCORE 204857.623
AT ITER 2726 NEW BEST:: SOT 1355312 SOS 443684 HAS SOPS 443684 HAS SOUS 204142 HAS SOUPS 204142 WITH SCORE 204585.684
AT ITER 2744 NEW BEST:: SOT 1355275 SOS 443610 HAS SOPS 443610 HAS SOUS 204105 HAS SOUPS 204105 WITH SCORE 204548.61
AT ITER 2745 NEW BEST:: SOT 1355259 SOS 443578 HAS SOPS 443578 HAS SOUS 204073 HAS SOUPS 204073 WITH SCORE 204516.578
AT ITER 2750 NEW BEST:: SOT 1355199 SOS 443558 HAS SOPS 443558 HAS SOUS 204013 HAS SOUPS 204013 WITH SCORE 204456.558
AT ITER 2764 NEW BEST:: SOT 1355183 SOS 443534 HAS SOPS 443534 HAS SOUS 203981 HAS SOUPS 203981 WITH SCORE 204424.534
AT ITER 2775 NEW BEST:: SOT 1355135 SOS 443438 HAS SOPS 443438 HAS SOUS 203933 HAS SOUPS 203933 WITH SCORE 204376.438
AT ITER 2779 NEW BEST:: SOT 1355065 SOS 443298 HAS SOPS 443298 HAS SOUS 203793 HAS SOUPS 203793 WITH SCORE 204236.298
AT ITER 2780 NEW BEST:: SOT 1355025 SOS 443218 HAS SOPS 443218 HAS SOUS 203713 HAS SOUPS 203713 WITH SCORE 204156.218
AT ITER 2806 NEW BEST:: SOT 1355024 SOS 443216 HAS SOPS 443216 HAS SOUS 203711 HAS SOUPS 203711 WITH SCORE 204154.216
AT ITER 2814 NEW BEST:: SOT 1354990 SOS 443148 HAS SOPS 443148 HAS SOUS 203685 HAS SOUPS 203685 WITH SCORE 204128.148
AT ITER 2818 NEW BEST:: SOT 1354969 SOS 443106 HAS SOPS 443106 HAS SOUS 203664 HAS SOUPS 203664 WITH SCORE 204107.106
AT ITER 2829 NEW BEST:: SOT 1354945 SOS 443034 HAS SOPS 443034 HAS SOUS 203616 HAS SOUPS 203616 WITH SCORE 204059.034
AT ITER 2836 NEW BEST:: SOT 1354945 SOS 443034 HAS SOPS 443034 HAS SOUS 203615 HAS SOUPS 203615 WITH SCORE 204058.034
AT ITER 2849 NEW BEST:: SOT 1354933 SOS 443022 HAS SOPS 443022 HAS SOUS 203615 HAS SOUPS 203615 WITH SCORE 204058.022
AT ITER 2867 NEW BEST:: SOT 1354853 SOS 443042 HAS SOPS 443042 HAS SOUS 203571 HAS SOUPS 203571 WITH SCORE 204014.042
AT ITER 2877 NEW BEST:: SOT 1354853 SOS 443071 HAS SOPS 443071 HAS SOUS 203570 HAS SOUPS 203570 WITH SCORE 204013.071
AT ITER 2894 NEW BEST:: SOT 1354775 SOS 442912 HAS SOPS 442912 HAS SOUS 203473 HAS SOUPS 203473 WITH SCORE 203915.912
AT ITER 2909 NEW BEST:: SOT 1354759 SOS 442880 HAS SOPS 442880 HAS SOUS 203401 HAS SOUPS 203401 WITH SCORE 203843.88
AT ITER 2911 NEW BEST:: SOT 1354678 SOS 442826 HAS SOPS 442826 HAS SOUS 203320 HAS SOUPS 203320 WITH SCORE 203762.826
AT ITER 2953 NEW BEST:: SOT 1354656 SOS 442782 HAS SOPS 442782 HAS SOUS 203296 HAS SOUPS 203296 WITH SCORE 203738.782
AT ITER 2958 NEW BEST:: SOT 1354642 SOS 442754 HAS SOPS 442754 HAS SOUS 203296 HAS SOUPS 203296 WITH SCORE 203738.754
AT ITER 2986 NEW BEST:: SOT 1354599 SOS 442711 HAS SOPS 442711 HAS SOUS 203266 HAS SOUPS 203266 WITH SCORE 203708.711
AT ITER 3024 NEW BEST:: SOT 1354593 SOS 442699 HAS SOPS 442699 HAS SOUS 203254 HAS SOUPS 203254 WITH SCORE 203696.699
AT ITER 3059 NEW BEST:: SOT 1354583 SOS 442689 HAS SOPS 442689 HAS SOUS 203244 HAS SOUPS 203244 WITH SCORE 203686.689
AT ITER 3100 NEW BEST:: SOT 1354582 SOS 442687 HAS SOPS 442687 HAS SOUS 203242 HAS SOUPS 203242 WITH SCORE 203684.687
AT ITER 3105 NEW BEST:: SOT 1354611 SOS 442680 HAS SOPS 442680 HAS SOUS 203235 HAS SOUPS 203235 WITH SCORE 203677.68
AT ITER 3129 NEW BEST:: SOT 1354611 SOS 442651 HAS SOPS 442651 HAS SOUS 203196 HAS SOUPS 203196 WITH SCORE 203638.651
AT ITER 3140 NEW BEST:: SOT 1354557 SOS 442543 HAS SOPS 442543 HAS SOUS 203061 HAS SOUPS 203061 WITH SCORE 203503.543
AT ITER 3154 NEW BEST:: SOT 1354557 SOS 442457 HAS SOPS 442457 HAS SOUS 203021 HAS SOUPS 203021 WITH SCORE 203463.457
AT ITER 3180 NEW BEST:: SOT 1354542 SOS 442427 HAS SOPS 442427 HAS SOUS 203006 HAS SOUPS 203006 WITH SCORE 203448.427
AT ITER 3184 NEW BEST:: SOT 1354534 SOS 442411 HAS SOPS 442411 HAS SOUS 202990 HAS SOUPS 202990 WITH SCORE 203432.411
AT ITER 3196 NEW BEST:: SOT 1354534 SOS 442280 HAS SOPS 442280 HAS SOUS 202859 HAS SOUPS 202859 WITH SCORE 203301.28
AT ITER 3199 NEW BEST:: SOT 1354486 SOS 442232 HAS SOPS 442232 HAS SOUS 202859 HAS SOUPS 202859 WITH SCORE 203301.232
AT ITER 3202 NEW BEST:: SOT 1354369 SOS 442075 HAS SOPS 442075 HAS SOUS 202658 HAS SOUPS 202658 WITH SCORE 203100.075
AT ITER 3227 NEW BEST:: SOT 1354361 SOS 442059 HAS SOPS 442059 HAS SOUS 202642 HAS SOUPS 202642 WITH SCORE 203084.059
AT ITER 3230 NEW BEST:: SOT 1354344 SOS 442025 HAS SOPS 442025 HAS SOUS 202608 HAS SOUPS 202608 WITH SCORE 203050.025
AT ITER 3246 NEW BEST:: SOT 1354315 SOS 442005 HAS SOPS 442005 HAS SOUS 202579 HAS SOUPS 202579 WITH SCORE 203021.005
AT ITER 3289 NEW BEST:: SOT 1354315 SOS 441945 HAS SOPS 441945 HAS SOUS 202519 HAS SOUPS 202519 WITH SCORE 202960.945
AT ITER 3300 NEW BEST:: SOT 1354271 SOS 439349 HAS SOPS 439349 HAS SOUS 202475 HAS SOUPS 202475 WITH SCORE 202914.349
AT ITER 3308 NEW BEST:: SOT 1354348 SOS 439357 HAS SOPS 439357 HAS SOUS 202410 HAS SOUPS 202410 WITH SCORE 202849.357
AT ITER 3316 NEW BEST:: SOT 1354204 SOS 439069 HAS SOPS 439069 HAS SOUS 202177 HAS SOUPS 202177 WITH SCORE 202616.069
AT ITER 3338 NEW BEST:: SOT 1354204 SOS 438960 HAS SOPS 438960 HAS SOUS 202068 HAS SOUPS 202068 WITH SCORE 202506.96
AT ITER 3339 NEW BEST:: SOT 1354150 SOS 438852 HAS SOPS 438852 HAS SOUS 202014 HAS SOUPS 202014 WITH SCORE 202452.852
AT ITER 3360 NEW BEST:: SOT 1354177 SOS 438614 HAS SOPS 438614 HAS SOUS 201995 HAS SOUPS 201995 WITH SCORE 202433.614
AT ITER 3368 NEW BEST:: SOT 1354141 SOS 438418 HAS SOPS 438418 HAS SOUS 201988 HAS SOUPS 201988 WITH SCORE 202426.418
AT ITER 3372 NEW BEST:: SOT 1354106 SOS 438460 HAS SOPS 438460 HAS SOUS 201960 HAS SOUPS 201960 WITH SCORE 202398.46
AT ITER 3388 NEW BEST:: SOT 1354106 SOS 438510 HAS SOPS 438510 HAS SOUS 201836 HAS SOUPS 201836 WITH SCORE 202274.51
AT ITER 3401 NEW BEST:: SOT 1353970 SOS 438374 HAS SOPS 438374 HAS SOUS 201798 HAS SOUPS 201798 WITH SCORE 202236.374
AT ITER 3406 NEW BEST:: SOT 1354007 SOS 438337 HAS SOPS 438337 HAS SOUS 201798 HAS SOUPS 201798 WITH SCORE 202236.337
AT ITER 3424 NEW BEST:: SOT 1353988 SOS 438299 HAS SOPS 438299 HAS SOUS 201778 HAS SOUPS 201778 WITH SCORE 202216.299
AT ITER 3436 NEW BEST:: SOT 1353971 SOS 438282 HAS SOPS 438282 HAS SOUS 201761 HAS SOUPS 201761 WITH SCORE 202199.282
AT ITER 3447 NEW BEST:: SOT 1353555 SOS 441354 HAS SOPS 441354 HAS SOUS 201737 HAS SOUPS 201737 WITH SCORE 202178.354
AT ITER 3469 NEW BEST:: SOT 1353506 SOS 441256 HAS SOPS 441256 HAS SOUS 201639 HAS SOUPS 201639 WITH SCORE 202080.256
AT ITER 3474 NEW BEST:: SOT 1353505 SOS 441254 HAS SOPS 441254 HAS SOUS 201637 HAS SOUPS 201637 WITH SCORE 202078.254
AT ITER 3490 NEW BEST:: SOT 1353401 SOS 441143 HAS SOPS 441143 HAS SOUS 200901 HAS SOUPS 200901 WITH SCORE 201342.143
AT ITER 3491 NEW BEST:: SOT 1353384 SOS 441109 HAS SOPS 441109 HAS SOUS 200884 HAS SOUPS 200884 WITH SCORE 201325.109
AT ITER 3507 NEW BEST:: SOT 1353356 SOS 441025 HAS SOPS 441025 HAS SOUS 200800 HAS SOUPS 200800 WITH SCORE 201241.025
AT ITER 3515 NEW BEST:: SOT 1353399 SOS 441111 HAS SOPS 441111 HAS SOUS 200738 HAS SOUPS 200738 WITH SCORE 201179.111
AT ITER 3537 NEW BEST:: SOT 1353431 SOS 441037 HAS SOPS 441037 HAS SOUS 200663 HAS SOUPS 200663 WITH SCORE 201104.037
AT ITER 3553 NEW BEST:: SOT 1353411 SOS 440997 HAS SOPS 440997 HAS SOUS 200623 HAS SOUPS 200623 WITH SCORE 201063.997
AT ITER 3558 NEW BEST:: SOT 1353503 SOS 441181 HAS SOPS 441181 HAS SOUS 200567 HAS SOUPS 200567 WITH SCORE 201008.181
AT ITER 3563 NEW BEST:: SOT 1353467 SOS 441145 HAS SOPS 441145 HAS SOUS 200566 HAS SOUPS 200566 WITH SCORE 201007.145
AT ITER 3573 NEW BEST:: SOT 1353502 SOS 441065 HAS SOPS 441065 HAS SOUS 200526 HAS SOUPS 200526 WITH SCORE 200967.065
AT ITER 3582 NEW BEST:: SOT 1353499 SOS 441059 HAS SOPS 441059 HAS SOUS 200520 HAS SOUPS 200520 WITH SCORE 200961.059
AT ITER 3584 NEW BEST:: SOT 1353505 SOS 441071 HAS SOPS 441071 HAS SOUS 200289 HAS SOUPS 200289 WITH SCORE 200730.071
AT ITER 3587 NEW BEST:: SOT 1353460 SOS 440981 HAS SOPS 440981 HAS SOUS 200289 HAS SOUPS 200289 WITH SCORE 200729.981
AT ITER 3602 NEW BEST:: SOT 1353118 SOS 440297 HAS SOPS 440297 HAS SOUS 200289 HAS SOUPS 200289 WITH SCORE 200729.297
AT ITER 3615 NEW BEST:: SOT 1353083 SOS 440227 HAS SOPS 440227 HAS SOUS 200288 HAS SOUPS 200288 WITH SCORE 200728.227
AT ITER 3619 NEW BEST:: SOT 1353083 SOS 439812 HAS SOPS 439812 HAS SOUS 200288 HAS SOUPS 200288 WITH SCORE 200727.812
AT ITER 3620 NEW BEST:: SOT 1353043 SOS 439671 HAS SOPS 439671 HAS SOUS 200236 HAS SOUPS 200236 WITH SCORE 200675.671
AT ITER 3623 NEW BEST:: SOT 1352674 SOS 439437 HAS SOPS 439437 HAS SOUS 199799 HAS SOUPS 199799 WITH SCORE 200238.437
AT ITER 3641 NEW BEST:: SOT 1352024 SOS 438787 HAS SOPS 438787 HAS SOUS 199579 HAS SOUPS 199579 WITH SCORE 200017.787
AT ITER 3663 NEW BEST:: SOT 1352024 SOS 438786 HAS SOPS 438786 HAS SOUS 199578 HAS SOUPS 199578 WITH SCORE 200016.786
AT ITER 3665 NEW BEST:: SOT 1352023 SOS 438784 HAS SOPS 438784 HAS SOUS 199577 HAS SOUPS 199577 WITH SCORE 200015.784
AT ITER 3668 NEW BEST:: SOT 1352002 SOS 438742 HAS SOPS 438742 HAS SOUS 199535 HAS SOUPS 199535 WITH SCORE 199973.742
AT ITER 3676 NEW BEST:: SOT 1351986 SOS 438797 HAS SOPS 438797 HAS SOUS 199377 HAS SOUPS 199377 WITH SCORE 199815.797
AT ITER 3690 NEW BEST:: SOT 1351986 SOS 438789 HAS SOPS 438789 HAS SOUS 199369 HAS SOUPS 199369 WITH SCORE 199807.789
AT ITER 3699 NEW BEST:: SOT 1351986 SOS 438785 HAS SOPS 438785 HAS SOUS 199365 HAS SOUPS 199365 WITH SCORE 199803.785
AT ITER 3760 NEW BEST:: SOT 1351818 SOS 438617 HAS SOPS 438617 HAS SOUS 199173 HAS SOUPS 199173 WITH SCORE 199611.617
AT ITER 3777 NEW BEST:: SOT 1351685 SOS 438686 HAS SOPS 438686 HAS SOUS 199107 HAS SOUPS 199107 WITH SCORE 199545.686
AT ITER 3778 NEW BEST:: SOT 1351685 SOS 438609 HAS SOPS 438609 HAS SOUS 199060 HAS SOUPS 199060 WITH SCORE 199498.609
AT ITER 3779 NEW BEST:: SOT 1351682 SOS 438609 HAS SOPS 438609 HAS SOUS 199057 HAS SOUPS 199057 WITH SCORE 199495.609
AT ITER 3792 NEW BEST:: SOT 1351682 SOS 438703 HAS SOPS 438703 HAS SOUS 197004 HAS SOUPS 197004 WITH SCORE 197442.703
AT ITER 3795 NEW BEST:: SOT 1351648 SOS 438832 HAS SOPS 438832 HAS SOUS 196970 HAS SOUPS 196970 WITH SCORE 197408.832
AT ITER 3796 NEW BEST:: SOT 1351664 SOS 438818 HAS SOPS 438818 HAS SOUS 196956 HAS SOUPS 196956 WITH SCORE 197394.818
AT ITER 3825 NEW BEST:: SOT 1351648 SOS 438802 HAS SOPS 438802 HAS SOUS 196940 HAS SOUPS 196940 WITH SCORE 197378.802
AT ITER 3854 NEW BEST:: SOT 1351551 SOS 438556 HAS SOPS 438556 HAS SOUS 196723 HAS SOUPS 196723 WITH SCORE 197161.556
AT ITER 3860 NEW BEST:: SOT 1351509 SOS 444313 HAS SOPS 444313 HAS SOUS 196653 HAS SOUPS 196653 WITH SCORE 197097.313
AT ITER 3861 NEW BEST:: SOT 1351616 SOS 444206 HAS SOPS 444206 HAS SOUS 196653 HAS SOUPS 196653 WITH SCORE 197097.206
AT ITER 3874 NEW BEST:: SOT 1351493 SOS 443960 HAS SOPS 443960 HAS SOUS 196383 HAS SOUPS 196383 WITH SCORE 196826.96
AT ITER 3875 NEW BEST:: SOT 1351305 SOS 443672 HAS SOPS 443672 HAS SOUS 196236 HAS SOUPS 196236 WITH SCORE 196679.672
AT ITER 3885 NEW BEST:: SOT 1351352 SOS 443766 HAS SOPS 443766 HAS SOUS 196159 HAS SOUPS 196159 WITH SCORE 196602.766
AT ITER 3901 NEW BEST:: SOT 1351176 SOS 443544 HAS SOPS 443544 HAS SOUS 195140 HAS SOUPS 195140 WITH SCORE 195583.544
AT ITER 3926 NEW BEST:: SOT 1351168 SOS 443528 HAS SOPS 443528 HAS SOUS 195136 HAS SOUPS 195136 WITH SCORE 195579.528
AT ITER 3935 NEW BEST:: SOT 1351161 SOS 443521 HAS SOPS 443521 HAS SOUS 195129 HAS SOUPS 195129 WITH SCORE 195572.521
AT ITER 3952 NEW BEST:: SOT 1351095 SOS 443713 HAS SOPS 443713 HAS SOUS 194997 HAS SOUPS 194997 WITH SCORE 195440.713
AT ITER 3958 NEW BEST:: SOT 1351332 SOS 443758 HAS SOPS 443758 HAS SOUS 194986 HAS SOUPS 194986 WITH SCORE 195429.758
AT ITER 3980 NEW BEST:: SOT 1351332 SOS 443646 HAS SOPS 443646 HAS SOUS 194874 HAS SOUPS 194874 WITH SCORE 195317.646
AT ITER 4013 NEW BEST:: SOT 1351332 SOS 443636 HAS SOPS 443636 HAS SOUS 194874 HAS SOUPS 194874 WITH SCORE 195317.636
AT ITER 4031 NEW BEST:: SOT 1351171 SOS 443626 HAS SOPS 443626 HAS SOUS 194631 HAS SOUPS 194631 WITH SCORE 195074.626
AT ITER 4048 NEW BEST:: SOT 1350875 SOS 443538 HAS SOPS 443538 HAS SOUS 194537 HAS SOUPS 194537 WITH SCORE 194980.538
AT ITER 4067 NEW BEST:: SOT 1350607 SOS 443350 HAS SOPS 443350 HAS SOUS 194331 HAS SOUPS 194331 WITH SCORE 194774.35
AT ITER 4078 NEW BEST:: SOT 1350607 SOS 443270 HAS SOPS 443270 HAS SOUS 194331 HAS SOUPS 194331 WITH SCORE 194774.27
AT ITER 4083 NEW BEST:: SOT 1350597 SOS 443240 HAS SOPS 443240 HAS SOUS 194321 HAS SOUPS 194321 WITH SCORE 194764.24
AT ITER 4119 NEW BEST:: SOT 1350597 SOS 443226 HAS SOPS 443226 HAS SOUS 194314 HAS SOUPS 194314 WITH SCORE 194757.226
AT ITER 4133 NEW BEST:: SOT 1350586 SOS 443215 HAS SOPS 443215 HAS SOUS 194296 HAS SOUPS 194296 WITH SCORE 194739.215
AT ITER 4145 NEW BEST:: SOT 1350596 SOS 444054 HAS SOPS 444054 HAS SOUS 194198 HAS SOUPS 194198 WITH SCORE 194642.054
AT ITER 4162 NEW BEST:: SOT 1350594 SOS 444050 HAS SOPS 444050 HAS SOUS 194194 HAS SOUPS 194194 WITH SCORE 194638.05
AT ITER 4178 NEW BEST:: SOT 1350594 SOS 443935 HAS SOPS 443935 HAS SOUS 194093 HAS SOUPS 194093 WITH SCORE 194536.935
AT ITER 4185 NEW BEST:: SOT 1350465 SOS 443677 HAS SOPS 443677 HAS SOUS 193835 HAS SOUPS 193835 WITH SCORE 194278.677
AT ITER 4202 NEW BEST:: SOT 1350465 SOS 443677 HAS SOPS 443677 HAS SOUS 193765 HAS SOUPS 193765 WITH SCORE 194208.677
AT ITER 4211 NEW BEST:: SOT 1350265 SOS 443477 HAS SOPS 443477 HAS SOUS 193565 HAS SOUPS 193565 WITH SCORE 194008.477
AT ITER 4214 NEW BEST:: SOT 1350158 SOS 443450 HAS SOPS 443450 HAS SOUS 193538 HAS SOUPS 193538 WITH SCORE 193981.45
AT ITER 4242 NEW BEST:: SOT 1350158 SOS 443447 HAS SOPS 443447 HAS SOUS 193538 HAS SOUPS 193538 WITH SCORE 193981.447
AT ITER 4247 NEW BEST:: SOT 1350110 SOS 443351 HAS SOPS 443351 HAS SOUS 193442 HAS SOUPS 193442 WITH SCORE 193885.351
AT ITER 4249 NEW BEST:: SOT 1350046 SOS 443223 HAS SOPS 443223 HAS SOUS 193314 HAS SOUPS 193314 WITH SCORE 193757.223
AT ITER 4250 NEW BEST:: SOT 1349932 SOS 443109 HAS SOPS 443109 HAS SOUS 193086 HAS SOUPS 193086 WITH SCORE 193529.109
AT ITER 4268 NEW BEST:: SOT 1349885 SOS 443066 HAS SOPS 443066 HAS SOUS 193043 HAS SOUPS 193043 WITH SCORE 193486.066
AT ITER 4273 NEW BEST:: SOT 1349705 SOS 442706 HAS SOPS 442706 HAS SOUS 193006 HAS SOUPS 193006 WITH SCORE 193448.706
AT ITER 4285 NEW BEST:: SOT 1349705 SOS 442665 HAS SOPS 442665 HAS SOUS 192965 HAS SOUPS 192965 WITH SCORE 193407.665
AT ITER 4307 NEW BEST:: SOT 1349691 SOS 442637 HAS SOPS 442637 HAS SOUS 192951 HAS SOUPS 192951 WITH SCORE 193393.637
AT ITER 4311 NEW BEST:: SOT 1349638 SOS 442584 HAS SOPS 442584 HAS SOUS 192904 HAS SOUPS 192904 WITH SCORE 193346.584
AT ITER 4318 NEW BEST:: SOT 1349638 SOS 442551 HAS SOPS 442551 HAS SOUS 192871 HAS SOUPS 192871 WITH SCORE 193313.551
AT ITER 4320 NEW BEST:: SOT 1349580 SOS 442435 HAS SOPS 442435 HAS SOUS 192854 HAS SOUPS 192854 WITH SCORE 193296.435
AT ITER 4374 NEW BEST:: SOT 1349486 SOS 442697 HAS SOPS 442697 HAS SOUS 192841 HAS SOUPS 192841 WITH SCORE 193283.697
AT ITER 4411 NEW BEST:: SOT 1349592 SOS 442887 HAS SOPS 442887 HAS SOUS 192746 HAS SOUPS 192746 WITH SCORE 193188.887
AT ITER 4421 NEW BEST:: SOT 1349588 SOS 442879 HAS SOPS 442879 HAS SOUS 192737 HAS SOUPS 192737 WITH SCORE 193179.879
AT ITER 4427 NEW BEST:: SOT 1349471 SOS 442762 HAS SOPS 442762 HAS SOUS 192620 HAS SOUPS 192620 WITH SCORE 193062.762
AT ITER 4454 NEW BEST:: SOT 1349435 SOS 442690 HAS SOPS 442690 HAS SOUS 192584 HAS SOUPS 192584 WITH SCORE 193026.69
AT ITER 4476 NEW BEST:: SOT 1349317 SOS 442401 HAS SOPS 442401 HAS SOUS 192433 HAS SOUPS 192433 WITH SCORE 192875.401
AT ITER 4489 NEW BEST:: SOT 1349303 SOS 442373 HAS SOPS 442373 HAS SOUS 192405 HAS SOUPS 192405 WITH SCORE 192847.373
AT ITER 4499 NEW BEST:: SOT 1349318 SOS 442354 HAS SOPS 442354 HAS SOUS 192386 HAS SOUPS 192386 WITH SCORE 192828.354
AT ITER 4527 NEW BEST:: SOT 1349318 SOS 442499 HAS SOPS 442499 HAS SOUS 192384 HAS SOUPS 192384 WITH SCORE 192826.499
AT ITER 4528 NEW BEST:: SOT 1349318 SOS 442496 HAS SOPS 442496 HAS SOUS 192384 HAS SOUPS 192384 WITH SCORE 192826.496
AT ITER 4532 NEW BEST:: SOT 1349440 SOS 442557 HAS SOPS 442557 HAS SOUS 192307 HAS SOUPS 192307 WITH SCORE 192749.557
AT ITER 4587 NEW BEST:: SOT 1349272 SOS 442389 HAS SOPS 442389 HAS SOUS 191831 HAS SOUPS 191831 WITH SCORE 192273.389
AT ITER 4588 NEW BEST:: SOT 1349272 SOS 442323 HAS SOPS 442323 HAS SOUS 191767 HAS SOUPS 191767 WITH SCORE 192209.323
AT ITER 4614 NEW BEST:: SOT 1349231 SOS 442548 HAS SOPS 442548 HAS SOUS 191746 HAS SOUPS 191746 WITH SCORE 192188.548
AT ITER 4615 NEW BEST:: SOT 1349219 SOS 442536 HAS SOPS 442536 HAS SOUS 191701 HAS SOUPS 191701 WITH SCORE 192143.536
AT ITER 4632 NEW BEST:: SOT 1348882 SOS 442159 HAS SOPS 442159 HAS SOUS 191364 HAS SOUPS 191364 WITH SCORE 191806.159
AT ITER 4633 NEW BEST:: SOT 1348851 SOS 442004 HAS SOPS 442004 HAS SOUS 191097 HAS SOUPS 191097 WITH SCORE 191539.004
AT ITER 4644 NEW BEST:: SOT 1348851 SOS 441863 HAS SOPS 441863 HAS SOUS 191097 HAS SOUPS 191097 WITH SCORE 191538.863
AT ITER 4678 NEW BEST:: SOT 1348880 SOS 441921 HAS SOPS 441921 HAS SOUS 191045 HAS SOUPS 191045 WITH SCORE 191486.921
AT ITER 4689 NEW BEST:: SOT 1348880 SOS 441814 HAS SOPS 441814 HAS SOUS 190944 HAS SOUPS 190944 WITH SCORE 191385.814
AT ITER 4739 NEW BEST:: SOT 1348880 SOS 441672 HAS SOPS 441672 HAS SOUS 190944 HAS SOUPS 190944 WITH SCORE 191385.672
AT ITER 4766 NEW BEST:: SOT 1348880 SOS 441672 HAS SOPS 441672 HAS SOUS 190931 HAS SOUPS 190931 WITH SCORE 191372.672
AT ITER 4786 NEW BEST:: SOT 1348919 SOS 441892 HAS SOPS 441892 HAS SOUS 190899 HAS SOUPS 190899 WITH SCORE 191340.892
AT ITER 4794 NEW BEST:: SOT 1348859 SOS 441832 HAS SOPS 441832 HAS SOUS 190782 HAS SOUPS 190782 WITH SCORE 191223.832
AT ITER 4801 NEW BEST:: SOT 1348717 SOS 441700 HAS SOPS 441700 HAS SOUS 190498 HAS SOUPS 190498 WITH SCORE 190939.7
AT ITER 4806 NEW BEST:: SOT 1348720 SOS 441673 HAS SOPS 441673 HAS SOUS 190497 HAS SOUPS 190497 WITH SCORE 190938.673
AT ITER 4821 NEW BEST:: SOT 1348695 SOS 441623 HAS SOPS 441623 HAS SOUS 190434 HAS SOUPS 190434 WITH SCORE 190875.623
AT ITER 4838 NEW BEST:: SOT 1348700 SOS 441643 HAS SOPS 441643 HAS SOUS 190332 HAS SOUPS 190332 WITH SCORE 190773.643
AT ITER 4849 NEW BEST:: SOT 1348686 SOS 442097 HAS SOPS 442097 HAS SOUS 190236 HAS SOUPS 190236 WITH SCORE 190678.097
AT ITER 4866 NEW BEST:: SOT 1348681 SOS 442095 HAS SOPS 442095 HAS SOUS 190231 HAS SOUPS 190231 WITH SCORE 190673.095
AT ITER 4867 NEW BEST:: SOT 1348686 SOS 442022 HAS SOPS 442022 HAS SOUS 190158 HAS SOUPS 190158 WITH SCORE 190600.022
AT ITER 4885 NEW BEST:: SOT 1348676 SOS 442012 HAS SOPS 442012 HAS SOUS 190138 HAS SOUPS 190138 WITH SCORE 190580.012
AT ITER 4886 NEW BEST:: SOT 1348607 SOS 441874 HAS SOPS 441874 HAS SOUS 190000 HAS SOUPS 190000 WITH SCORE 190441.874
AT ITER 4927 NEW BEST:: SOT 1348526 SOS 441871 HAS SOPS 441871 HAS SOUS 189924 HAS SOUPS 189924 WITH SCORE 190365.871
AT ITER 4937 NEW BEST:: SOT 1348526 SOS 441878 HAS SOPS 441878 HAS SOUS 189893 HAS SOUPS 189893 WITH SCORE 190334.878
AT ITER 4941 NEW BEST:: SOT 1348412 SOS 441764 HAS SOPS 441764 HAS SOUS 189323 HAS SOUPS 189323 WITH SCORE 189764.764
AT ITER 4942 NEW BEST:: SOT 1348411 SOS 441763 HAS SOPS 441763 HAS SOUS 189290 HAS SOUPS 189290 WITH SCORE 189731.763
AT ITER 4974 NEW BEST:: SOT 1348346 SOS 441633 HAS SOPS 441633 HAS SOUS 189160 HAS SOUPS 189160 WITH SCORE 189601.633
AT ITER 4989 NEW BEST:: SOT 1348346 SOS 441893 HAS SOPS 441893 HAS SOUS 189095 HAS SOUPS 189095 WITH SCORE 189536.893
AT ITER 4995 NEW BEST:: SOT 1348281 SOS 441763 HAS SOPS 441763 HAS SOUS 188863 HAS SOUPS 188863 WITH SCORE 189304.763
AT ITER 4997 NEW BEST:: SOT 1348230 SOS 441661 HAS SOPS 441661 HAS SOUS 188812 HAS SOUPS 188812 WITH SCORE 189253.661
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-00 (EF((! (! ( potential( (tk(P116)) <= (tk(P802)) ) & potential( ( 3 ) <= (tk(P181)) ) )))))
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-01 ( (AG( ( ( potential( (tk(P357)) <= (tk(P1136)) ) & potential( (tk(P407)) <= (tk(P1043)) ) ) | potential( ( 2 ) <= (tk(P794)) ) ))) & (EG( (EX( potential( (tk(P1090)) <= (tk(P666)) ))))) )
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-02 ( (EX( (EF(potential( ( 1 ) <= (tk(P389)) ))))) & (EF(potential( ( 1 ) <= (tk(P648)) ))) )
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-03 (EF(( ( ( potential( (tk(P926)) <= (tk(P128)) ) & potential( (tk(P405)) <= (tk(P1002)) ) ) | (! potential( (tk(P8)) <= (tk(P489)) )) ) & potential( ( 1 ) <= (tk(P1003)) ) )))
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-04 (EF((EF(( potential( (tk(P296)) <= (tk(P363)) ) & potential( ( 1 ) <= (tk(P508)) ) )))))
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-05 (EF((! (EF(potential( (tk(P910)) <= (tk(P673)) ))))))
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-06 ( ( (EF(potential( ( 2 ) <= (tk(P884)) ))) | ( ( potential( ( 2 ) <= (tk(P107)) ) & potential( ( 2 ) <= (tk(P1177)) ) ) & potential( ( 2 ) <= (tk(P775)) ) ) ) & (EG( ( (! potential( ( 1 ) <= (tk(P706)) )) | potential( ( 2 ) <= (tk(P608)) ) ))) )
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-07 (AG( (AF(potential( ( 2 ) <= (tk(P486)) )))))
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-08 (EG( ( (AG( potential( (tk(P921)) <= (tk(P964)) ))) | (EF(potential( ( 2 ) <= (tk(P34)) ))) )))
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-09 ( ( (! ( ( potential( (tk(P41)) <= (tk(P269)) ) & potential( ( 1 ) <= (tk(P1097)) ) ) & ( potential( ( 1 ) <= (tk(P1033)) ) & potential( ( 3 ) <= (tk(P571)) ) ) )) | potential( (tk(P858)) <= (tk(P116)) ) ) & (AF((AF(potential( ( 2 ) <= (tk(P758)) ))))) )
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-10 ( (AG( (AG( potential( (tk(P196)) <= (tk(P1008)) ))))) & (AG( (EX( potential( (tk(P669)) <= (tk(P946)) ))))) )
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-11 (! ( (AG( potential( (tk(P830)) <= (tk(P387)) ))) & ( (AX( potential( (tk(P47)) <= (tk(P677)) ))) | potential( ( 2 ) <= (tk(P635)) ) ) ))
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-12 (AG( (AU( potential( (tk(P729)) <= (tk(P1108)) ),potential( (tk(P302)) <= (tk(P268)) ) ))))
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-13 (AG( potential( (tk(P376)) <= (tk(P34)) )))
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-14 (AF((AG( potential( ( 3 ) <= (tk(P23)) )))))
PROPERTY: CloudDeployment-PT-4b-CTLCardinality-15 (EF(potential( ( 3 ) <= (tk(P110)) )))

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="CloudDeployment-PT-4b"
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 CloudDeployment-PT-4b, 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 r033-smll-158901926000307"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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