fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r018-oct2-158897680200556
Last Updated
Jun 28, 2020

About the Execution of smart for BusinessProcesses-PT-14

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15768.850 3600000.00 3600068.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/fko/mcc2020-input.r018-oct2-158897680200556.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-14, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200556
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 328K
-rw-r--r-- 1 mcc users 3.1K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 26 02:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:45 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.2K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:55 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 156K 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 BusinessProcesses-PT-14-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-14-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-14-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-14-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-14-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-14-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-14-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-14-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-14-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-14-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-14-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-14-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-14-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-14-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-14-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-14-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590869256977

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 14
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 624 places, 564 transitions, 1657 arcs.
AT ITER 0 NEW BEST:: SOT 223547 SOS 85893 HAS SOPS 85893 HAS SOUS 83009 HAS SOUPS 83009 WITH SCORE 83094.893
AT ITER 1 NEW BEST:: SOT 223492 SOS 85916 HAS SOPS 85916 HAS SOUS 82954 HAS SOUPS 82954 WITH SCORE 83039.916
AT ITER 4 NEW BEST:: SOT 223491 SOS 85914 HAS SOPS 85914 HAS SOUS 82952 HAS SOUPS 82952 WITH SCORE 83037.914
AT ITER 5 NEW BEST:: SOT 223491 SOS 85863 HAS SOPS 85863 HAS SOUS 82901 HAS SOUPS 82901 WITH SCORE 82986.863
AT ITER 10 NEW BEST:: SOT 223490 SOS 85861 HAS SOPS 85861 HAS SOUS 82899 HAS SOUPS 82899 WITH SCORE 82984.861
AT ITER 28 NEW BEST:: SOT 223490 SOS 85824 HAS SOPS 85824 HAS SOUS 82862 HAS SOUPS 82862 WITH SCORE 82947.824
AT ITER 30 NEW BEST:: SOT 223501 SOS 85598 HAS SOPS 85598 HAS SOUS 82749 HAS SOUPS 82749 WITH SCORE 82834.598
AT ITER 41 NEW BEST:: SOT 223501 SOS 85527 HAS SOPS 85527 HAS SOUS 82678 HAS SOUPS 82678 WITH SCORE 82763.527
AT ITER 43 NEW BEST:: SOT 223349 SOS 85375 HAS SOPS 85375 HAS SOUS 82526 HAS SOUPS 82526 WITH SCORE 82611.375
AT ITER 60 NEW BEST:: SOT 223269 SOS 85295 HAS SOPS 85295 HAS SOUS 82446 HAS SOUPS 82446 WITH SCORE 82531.295
AT ITER 73 NEW BEST:: SOT 223162 SOS 85198 HAS SOPS 85198 HAS SOUS 82349 HAS SOUPS 82349 WITH SCORE 82434.198
AT ITER 77 NEW BEST:: SOT 223153 SOS 85189 HAS SOPS 85189 HAS SOUS 82340 HAS SOUPS 82340 WITH SCORE 82425.189
AT ITER 79 NEW BEST:: SOT 219955 SOS 82913 HAS SOPS 82913 HAS SOUS 79187 HAS SOUPS 79187 WITH SCORE 79269.913
AT ITER 85 NEW BEST:: SOT 219815 SOS 82744 HAS SOPS 82744 HAS SOUS 79018 HAS SOUPS 79018 WITH SCORE 79100.744
AT ITER 87 NEW BEST:: SOT 219761 SOS 82690 HAS SOPS 82690 HAS SOUS 78964 HAS SOUPS 78964 WITH SCORE 79046.69
AT ITER 105 NEW BEST:: SOT 219526 SOS 82451 HAS SOPS 82451 HAS SOUS 78727 HAS SOUPS 78727 WITH SCORE 78809.451
AT ITER 112 NEW BEST:: SOT 219526 SOS 82428 HAS SOPS 82428 HAS SOUS 78704 HAS SOUPS 78704 WITH SCORE 78786.428
AT ITER 118 NEW BEST:: SOT 219525 SOS 82340 HAS SOPS 82340 HAS SOUS 78702 HAS SOUPS 78702 WITH SCORE 78784.34
AT ITER 119 NEW BEST:: SOT 216039 SOS 79090 HAS SOPS 79090 HAS SOUS 75452 HAS SOUPS 75452 WITH SCORE 75531.09
AT ITER 125 NEW BEST:: SOT 216007 SOS 78976 HAS SOPS 78976 HAS SOUS 75370 HAS SOUPS 75370 WITH SCORE 75448.976
AT ITER 126 NEW BEST:: SOT 216007 SOS 78957 HAS SOPS 78957 HAS SOUS 75351 HAS SOUPS 75351 WITH SCORE 75429.957
AT ITER 150 NEW BEST:: SOT 215866 SOS 78768 HAS SOPS 78768 HAS SOUS 75253 HAS SOUPS 75253 WITH SCORE 75331.768
AT ITER 152 NEW BEST:: SOT 215852 SOS 78977 HAS SOPS 78977 HAS SOUS 75252 HAS SOUPS 75252 WITH SCORE 75330.977
AT ITER 153 NEW BEST:: SOT 215852 SOS 78718 HAS SOPS 78718 HAS SOUS 74993 HAS SOUPS 74993 WITH SCORE 75071.718
AT ITER 167 NEW BEST:: SOT 215852 SOS 78599 HAS SOPS 78599 HAS SOUS 74874 HAS SOUPS 74874 WITH SCORE 74952.599
AT ITER 176 NEW BEST:: SOT 215748 SOS 78391 HAS SOPS 78391 HAS SOUS 74770 HAS SOUPS 74770 WITH SCORE 74848.391
AT ITER 179 NEW BEST:: SOT 215580 SOS 78276 HAS SOPS 78276 HAS SOUS 74655 HAS SOUPS 74655 WITH SCORE 74733.276
AT ITER 195 NEW BEST:: SOT 212677 SOS 99091 HAS SOPS 99091 HAS SOUS 72250 HAS SOUPS 72250 WITH SCORE 72349.091
AT ITER 206 NEW BEST:: SOT 212546 SOS 98953 HAS SOPS 98953 HAS SOUS 72207 HAS SOUPS 72207 WITH SCORE 72305.953
AT ITER 207 NEW BEST:: SOT 212488 SOS 98837 HAS SOPS 98837 HAS SOUS 72196 HAS SOUPS 72196 WITH SCORE 72294.837
AT ITER 208 NEW BEST:: SOT 212487 SOS 98836 HAS SOPS 98836 HAS SOUS 72195 HAS SOUPS 72195 WITH SCORE 72293.836
AT ITER 211 NEW BEST:: SOT 212321 SOS 98504 HAS SOPS 98504 HAS SOUS 71863 HAS SOUPS 71863 WITH SCORE 71961.504
AT ITER 213 NEW BEST:: SOT 212304 SOS 98453 HAS SOPS 98453 HAS SOUS 71812 HAS SOUPS 71812 WITH SCORE 71910.453
AT ITER 214 NEW BEST:: SOT 212319 SOS 98355 HAS SOPS 98355 HAS SOUS 71778 HAS SOUPS 71778 WITH SCORE 71876.355
AT ITER 217 NEW BEST:: SOT 212370 SOS 98206 HAS SOPS 98206 HAS SOUS 71756 HAS SOUPS 71756 WITH SCORE 71854.206
AT ITER 218 NEW BEST:: SOT 212273 SOS 98012 HAS SOPS 98012 HAS SOUS 71636 HAS SOUPS 71636 WITH SCORE 71734.012
AT ITER 219 NEW BEST:: SOT 212171 SOS 97808 HAS SOPS 97808 HAS SOUS 71432 HAS SOUPS 71432 WITH SCORE 71529.808
AT ITER 228 NEW BEST:: SOT 212027 SOS 97521 HAS SOPS 97521 HAS SOUS 71170 HAS SOUPS 71170 WITH SCORE 71267.521
AT ITER 229 NEW BEST:: SOT 211686 SOS 97376 HAS SOPS 97376 HAS SOUS 70963 HAS SOUPS 70963 WITH SCORE 71060.376
AT ITER 230 NEW BEST:: SOT 211686 SOS 97369 HAS SOPS 97369 HAS SOUS 70956 HAS SOUPS 70956 WITH SCORE 71053.369
AT ITER 231 NEW BEST:: SOT 211599 SOS 97282 HAS SOPS 97282 HAS SOUS 70954 HAS SOUPS 70954 WITH SCORE 71051.282
AT ITER 233 NEW BEST:: SOT 211523 SOS 97067 HAS SOPS 97067 HAS SOUS 70831 HAS SOUPS 70831 WITH SCORE 70928.067
AT ITER 249 NEW BEST:: SOT 211407 SOS 96951 HAS SOPS 96951 HAS SOUS 70831 HAS SOUPS 70831 WITH SCORE 70927.951
AT ITER 263 NEW BEST:: SOT 211485 SOS 97029 HAS SOPS 97029 HAS SOUS 70830 HAS SOUPS 70830 WITH SCORE 70927.029
AT ITER 265 NEW BEST:: SOT 211463 SOS 97007 HAS SOPS 97007 HAS SOUS 70808 HAS SOUPS 70808 WITH SCORE 70905.007
AT ITER 269 NEW BEST:: SOT 211311 SOS 96703 HAS SOPS 96703 HAS SOUS 70656 HAS SOUPS 70656 WITH SCORE 70752.703
AT ITER 278 NEW BEST:: SOT 211232 SOS 96515 HAS SOPS 96515 HAS SOUS 70537 HAS SOUPS 70537 WITH SCORE 70633.515
AT ITER 283 NEW BEST:: SOT 211320 SOS 96413 HAS SOPS 96413 HAS SOUS 70497 HAS SOUPS 70497 WITH SCORE 70593.413
AT ITER 287 NEW BEST:: SOT 211309 SOS 96391 HAS SOPS 96391 HAS SOUS 70486 HAS SOUPS 70486 WITH SCORE 70582.391
AT ITER 290 NEW BEST:: SOT 211304 SOS 96381 HAS SOPS 96381 HAS SOUS 70420 HAS SOUPS 70420 WITH SCORE 70516.381
AT ITER 310 NEW BEST:: SOT 211311 SOS 96233 HAS SOPS 96233 HAS SOUS 70294 HAS SOUPS 70294 WITH SCORE 70390.233
AT ITER 311 NEW BEST:: SOT 211352 SOS 96156 HAS SOPS 96156 HAS SOUS 70217 HAS SOUPS 70217 WITH SCORE 70313.156
AT ITER 320 NEW BEST:: SOT 211150 SOS 95752 HAS SOPS 95752 HAS SOUS 70027 HAS SOUPS 70027 WITH SCORE 70122.752
AT ITER 336 NEW BEST:: SOT 211156 SOS 95731 HAS SOPS 95731 HAS SOUS 69999 HAS SOUPS 69999 WITH SCORE 70094.731
AT ITER 337 NEW BEST:: SOT 211129 SOS 95703 HAS SOPS 95703 HAS SOUS 69971 HAS SOUPS 69971 WITH SCORE 70066.703
AT ITER 342 NEW BEST:: SOT 211162 SOS 95676 HAS SOPS 95676 HAS SOUS 69944 HAS SOUPS 69944 WITH SCORE 70039.676
AT ITER 344 NEW BEST:: SOT 211090 SOS 95532 HAS SOPS 95532 HAS SOUS 69800 HAS SOUPS 69800 WITH SCORE 69895.532
AT ITER 354 NEW BEST:: SOT 210777 SOS 94902 HAS SOPS 94902 HAS SOUS 69543 HAS SOUPS 69543 WITH SCORE 69637.902
AT ITER 355 NEW BEST:: SOT 210595 SOS 94538 HAS SOPS 94538 HAS SOUS 69305 HAS SOUPS 69305 WITH SCORE 69399.538
AT ITER 362 NEW BEST:: SOT 210465 SOS 94407 HAS SOPS 94407 HAS SOUS 69239 HAS SOUPS 69239 WITH SCORE 69333.407
AT ITER 364 NEW BEST:: SOT 210283 SOS 94319 HAS SOPS 94319 HAS SOUS 69151 HAS SOUPS 69151 WITH SCORE 69245.319
AT ITER 372 NEW BEST:: SOT 209880 SOS 93734 HAS SOPS 93734 HAS SOUS 68885 HAS SOUPS 68885 WITH SCORE 68978.734
AT ITER 377 NEW BEST:: SOT 209880 SOS 93578 HAS SOPS 93578 HAS SOUS 68729 HAS SOUPS 68729 WITH SCORE 68822.578
AT ITER 381 NEW BEST:: SOT 209857 SOS 93532 HAS SOPS 93532 HAS SOUS 68683 HAS SOUPS 68683 WITH SCORE 68776.532
AT ITER 385 NEW BEST:: SOT 209849 SOS 93516 HAS SOPS 93516 HAS SOUS 68667 HAS SOUPS 68667 WITH SCORE 68760.516
AT ITER 399 NEW BEST:: SOT 209678 SOS 93220 HAS SOPS 93220 HAS SOUS 68371 HAS SOUPS 68371 WITH SCORE 68464.22
AT ITER 405 NEW BEST:: SOT 209394 SOS 92854 HAS SOPS 92854 HAS SOUS 68207 HAS SOUPS 68207 WITH SCORE 68299.854
AT ITER 416 NEW BEST:: SOT 209394 SOS 92811 HAS SOPS 92811 HAS SOUS 68164 HAS SOUPS 68164 WITH SCORE 68256.811
AT ITER 424 NEW BEST:: SOT 209351 SOS 92671 HAS SOPS 92671 HAS SOUS 68024 HAS SOUPS 68024 WITH SCORE 68116.671
AT ITER 427 NEW BEST:: SOT 209235 SOS 92554 HAS SOPS 92554 HAS SOUS 68022 HAS SOUPS 68022 WITH SCORE 68114.554
AT ITER 428 NEW BEST:: SOT 209256 SOS 92418 HAS SOPS 92418 HAS SOUS 67886 HAS SOUPS 67886 WITH SCORE 67978.418
AT ITER 436 NEW BEST:: SOT 209152 SOS 92287 HAS SOPS 92287 HAS SOUS 67755 HAS SOUPS 67755 WITH SCORE 67847.287
AT ITER 439 NEW BEST:: SOT 209076 SOS 92117 HAS SOPS 92117 HAS SOUS 67727 HAS SOUPS 67727 WITH SCORE 67819.117
AT ITER 446 NEW BEST:: SOT 208992 SOS 92214 HAS SOPS 92214 HAS SOUS 67713 HAS SOUPS 67713 WITH SCORE 67805.214
AT ITER 453 NEW BEST:: SOT 208882 SOS 92063 HAS SOPS 92063 HAS SOUS 67667 HAS SOUPS 67667 WITH SCORE 67759.063
AT ITER 459 NEW BEST:: SOT 208415 SOS 92151 HAS SOPS 92151 HAS SOUS 67338 HAS SOUPS 67338 WITH SCORE 67430.151
AT ITER 471 NEW BEST:: SOT 208414 SOS 92052 HAS SOPS 92052 HAS SOUS 67296 HAS SOUPS 67296 WITH SCORE 67388.052
AT ITER 473 NEW BEST:: SOT 208414 SOS 92037 HAS SOPS 92037 HAS SOUS 67266 HAS SOUPS 67266 WITH SCORE 67358.037
AT ITER 479 NEW BEST:: SOT 208390 SOS 91965 HAS SOPS 91965 HAS SOUS 67242 HAS SOUPS 67242 WITH SCORE 67333.965
AT ITER 480 NEW BEST:: SOT 208525 SOS 91911 HAS SOPS 91911 HAS SOUS 67188 HAS SOUPS 67188 WITH SCORE 67279.911
AT ITER 487 NEW BEST:: SOT 208468 SOS 91800 HAS SOPS 91800 HAS SOUS 67047 HAS SOUPS 67047 WITH SCORE 67138.8
AT ITER 489 NEW BEST:: SOT 208372 SOS 91541 HAS SOPS 91541 HAS SOUS 66989 HAS SOUPS 66989 WITH SCORE 67080.541
AT ITER 495 NEW BEST:: SOT 205414 SOS 88761 HAS SOPS 88761 HAS SOUS 64164 HAS SOUPS 64164 WITH SCORE 64252.761
AT ITER 496 NEW BEST:: SOT 205404 SOS 88751 HAS SOPS 88751 HAS SOUS 64164 HAS SOUPS 64164 WITH SCORE 64252.751
AT ITER 497 NEW BEST:: SOT 205513 SOS 88860 HAS SOPS 88860 HAS SOUS 64137 HAS SOUPS 64137 WITH SCORE 64225.86
AT ITER 534 NEW BEST:: SOT 205508 SOS 88930 HAS SOPS 88930 HAS SOUS 64132 HAS SOUPS 64132 WITH SCORE 64220.93
AT ITER 537 NEW BEST:: SOT 205228 SOS 88621 HAS SOPS 88621 HAS SOUS 64103 HAS SOUPS 64103 WITH SCORE 64191.621
AT ITER 547 NEW BEST:: SOT 205228 SOS 88617 HAS SOPS 88617 HAS SOUS 64099 HAS SOUPS 64099 WITH SCORE 64187.617
AT ITER 552 NEW BEST:: SOT 204862 SOS 88937 HAS SOPS 88937 HAS SOUS 63997 HAS SOUPS 63997 WITH SCORE 64085.937
AT ITER 560 NEW BEST:: SOT 204862 SOS 88897 HAS SOPS 88897 HAS SOUS 63957 HAS SOUPS 63957 WITH SCORE 64045.897
AT ITER 565 NEW BEST:: SOT 204861 SOS 88896 HAS SOPS 88896 HAS SOUS 63956 HAS SOUPS 63956 WITH SCORE 64044.896
AT ITER 571 NEW BEST:: SOT 204681 SOS 88626 HAS SOPS 88626 HAS SOUS 63776 HAS SOUPS 63776 WITH SCORE 63864.626
AT ITER 575 NEW BEST:: SOT 204643 SOS 88586 HAS SOPS 88586 HAS SOUS 63755 HAS SOUPS 63755 WITH SCORE 63843.586
AT ITER 579 NEW BEST:: SOT 204723 SOS 88550 HAS SOPS 88550 HAS SOUS 63719 HAS SOUPS 63719 WITH SCORE 63807.55
AT ITER 602 NEW BEST:: SOT 204659 SOS 88486 HAS SOPS 88486 HAS SOUS 63717 HAS SOUPS 63717 WITH SCORE 63805.486
AT ITER 616 NEW BEST:: SOT 204636 SOS 88463 HAS SOPS 88463 HAS SOUS 63694 HAS SOUPS 63694 WITH SCORE 63782.463
AT ITER 618 NEW BEST:: SOT 204563 SOS 88330 HAS SOPS 88330 HAS SOUS 63561 HAS SOUPS 63561 WITH SCORE 63649.33
AT ITER 624 NEW BEST:: SOT 204563 SOS 88262 HAS SOPS 88262 HAS SOUS 63493 HAS SOUPS 63493 WITH SCORE 63581.262
AT ITER 625 NEW BEST:: SOT 204424 SOS 88030 HAS SOPS 88030 HAS SOUS 63389 HAS SOUPS 63389 WITH SCORE 63477.03
AT ITER 628 NEW BEST:: SOT 204424 SOS 87933 HAS SOPS 87933 HAS SOUS 63364 HAS SOUPS 63364 WITH SCORE 63451.933
AT ITER 632 NEW BEST:: SOT 204348 SOS 87665 HAS SOPS 87665 HAS SOUS 63155 HAS SOUPS 63155 WITH SCORE 63242.665
AT ITER 643 NEW BEST:: SOT 204318 SOS 87605 HAS SOPS 87605 HAS SOUS 63095 HAS SOUPS 63095 WITH SCORE 63182.605
AT ITER 656 NEW BEST:: SOT 204309 SOS 87589 HAS SOPS 87589 HAS SOUS 63088 HAS SOUPS 63088 WITH SCORE 63175.589
AT ITER 705 NEW BEST:: SOT 204308 SOS 87437 HAS SOPS 87437 HAS SOUS 62981 HAS SOUPS 62981 WITH SCORE 63068.437
AT ITER 706 NEW BEST:: SOT 204308 SOS 87394 HAS SOPS 87394 HAS SOUS 62938 HAS SOUPS 62938 WITH SCORE 63025.394
AT ITER 708 NEW BEST:: SOT 204418 SOS 87314 HAS SOPS 87314 HAS SOUS 62923 HAS SOUPS 62923 WITH SCORE 63010.314
AT ITER 719 NEW BEST:: SOT 204299 SOS 87195 HAS SOPS 87195 HAS SOUS 62804 HAS SOUPS 62804 WITH SCORE 62891.195
AT ITER 721 NEW BEST:: SOT 204224 SOS 87120 HAS SOPS 87120 HAS SOUS 62804 HAS SOUPS 62804 WITH SCORE 62891.12
AT ITER 730 NEW BEST:: SOT 204217 SOS 87113 HAS SOPS 87113 HAS SOUS 62797 HAS SOUPS 62797 WITH SCORE 62884.113
AT ITER 743 NEW BEST:: SOT 204217 SOS 87053 HAS SOPS 87053 HAS SOUS 62744 HAS SOUPS 62744 WITH SCORE 62831.053
AT ITER 750 NEW BEST:: SOT 204356 SOS 86796 HAS SOPS 86796 HAS SOUS 62694 HAS SOUPS 62694 WITH SCORE 62780.796
AT ITER 752 NEW BEST:: SOT 203859 SOS 86101 HAS SOPS 86101 HAS SOUS 62298 HAS SOUPS 62298 WITH SCORE 62384.101
AT ITER 754 NEW BEST:: SOT 203859 SOS 85953 HAS SOPS 85953 HAS SOUS 62296 HAS SOUPS 62296 WITH SCORE 62381.953
AT ITER 758 NEW BEST:: SOT 203692 SOS 85705 HAS SOPS 85705 HAS SOUS 62140 HAS SOUPS 62140 WITH SCORE 62225.705
AT ITER 760 NEW BEST:: SOT 203621 SOS 85615 HAS SOPS 85615 HAS SOUS 62050 HAS SOUPS 62050 WITH SCORE 62135.615
AT ITER 791 NEW BEST:: SOT 203607 SOS 85587 HAS SOPS 85587 HAS SOUS 62022 HAS SOUPS 62022 WITH SCORE 62107.587
AT ITER 800 NEW BEST:: SOT 203557 SOS 85587 HAS SOPS 85587 HAS SOUS 61972 HAS SOUPS 61972 WITH SCORE 62057.587
AT ITER 808 NEW BEST:: SOT 203378 SOS 85229 HAS SOPS 85229 HAS SOUS 61513 HAS SOUPS 61513 WITH SCORE 61598.229
AT ITER 822 NEW BEST:: SOT 203378 SOS 85176 HAS SOPS 85176 HAS SOUS 61460 HAS SOUPS 61460 WITH SCORE 61545.176
AT ITER 824 NEW BEST:: SOT 203316 SOS 85057 HAS SOPS 85057 HAS SOUS 61341 HAS SOUPS 61341 WITH SCORE 61426.057
AT ITER 841 NEW BEST:: SOT 203332 SOS 85055 HAS SOPS 85055 HAS SOUS 61323 HAS SOUPS 61323 WITH SCORE 61408.055
AT ITER 852 NEW BEST:: SOT 201308 SOS 84581 HAS SOPS 84581 HAS SOUS 59696 HAS SOUPS 59696 WITH SCORE 59780.581
AT ITER 866 NEW BEST:: SOT 201379 SOS 84508 HAS SOPS 84508 HAS SOUS 59623 HAS SOUPS 59623 WITH SCORE 59707.508
AT ITER 868 NEW BEST:: SOT 201357 SOS 84483 HAS SOPS 84483 HAS SOUS 59620 HAS SOUPS 59620 WITH SCORE 59704.483
AT ITER 871 NEW BEST:: SOT 201325 SOS 84451 HAS SOPS 84451 HAS SOUS 59588 HAS SOUPS 59588 WITH SCORE 59672.451
AT ITER 872 NEW BEST:: SOT 201324 SOS 84284 HAS SOPS 84284 HAS SOUS 59421 HAS SOUPS 59421 WITH SCORE 59505.284
AT ITER 884 NEW BEST:: SOT 201324 SOS 84257 HAS SOPS 84257 HAS SOUS 59394 HAS SOUPS 59394 WITH SCORE 59478.257
AT ITER 892 NEW BEST:: SOT 201347 SOS 84303 HAS SOPS 84303 HAS SOUS 59316 HAS SOUPS 59316 WITH SCORE 59400.303
AT ITER 894 NEW BEST:: SOT 201322 SOS 84278 HAS SOPS 84278 HAS SOUS 59291 HAS SOUPS 59291 WITH SCORE 59375.278
AT ITER 895 NEW BEST:: SOT 201322 SOS 84261 HAS SOPS 84261 HAS SOUS 59291 HAS SOUPS 59291 WITH SCORE 59375.261
AT ITER 906 NEW BEST:: SOT 201155 SOS 84090 HAS SOPS 84090 HAS SOUS 59283 HAS SOUPS 59283 WITH SCORE 59367.09
AT ITER 910 NEW BEST:: SOT 201155 SOS 84047 HAS SOPS 84047 HAS SOUS 59240 HAS SOUPS 59240 WITH SCORE 59324.047
AT ITER 911 NEW BEST:: SOT 201212 SOS 83834 HAS SOPS 83834 HAS SOUS 59229 HAS SOUPS 59229 WITH SCORE 59312.834
AT ITER 912 NEW BEST:: SOT 200900 SOS 83522 HAS SOPS 83522 HAS SOUS 59053 HAS SOUPS 59053 WITH SCORE 59136.522
AT ITER 913 NEW BEST:: SOT 200794 SOS 83463 HAS SOPS 83463 HAS SOUS 58994 HAS SOUPS 58994 WITH SCORE 59077.463
AT ITER 920 NEW BEST:: SOT 200746 SOS 83384 HAS SOPS 83384 HAS SOUS 58915 HAS SOUPS 58915 WITH SCORE 58998.384
AT ITER 926 NEW BEST:: SOT 200746 SOS 83369 HAS SOPS 83369 HAS SOUS 58915 HAS SOUPS 58915 WITH SCORE 58998.369
AT ITER 942 NEW BEST:: SOT 200721 SOS 83343 HAS SOPS 83343 HAS SOUS 58913 HAS SOUPS 58913 WITH SCORE 58996.343
AT ITER 945 NEW BEST:: SOT 200697 SOS 83295 HAS SOPS 83295 HAS SOUS 58865 HAS SOUPS 58865 WITH SCORE 58948.295
AT ITER 947 NEW BEST:: SOT 200696 SOS 83291 HAS SOPS 83291 HAS SOUS 58862 HAS SOUPS 58862 WITH SCORE 58945.291
AT ITER 964 NEW BEST:: SOT 200648 SOS 83242 HAS SOPS 83242 HAS SOUS 58860 HAS SOUPS 58860 WITH SCORE 58943.242
AT ITER 972 NEW BEST:: SOT 200604 SOS 83154 HAS SOPS 83154 HAS SOUS 58827 HAS SOUPS 58827 WITH SCORE 58910.154
AT ITER 984 NEW BEST:: SOT 200239 SOS 82625 HAS SOPS 82625 HAS SOUS 58358 HAS SOUPS 58358 WITH SCORE 58440.625
AT ITER 989 NEW BEST:: SOT 200193 SOS 82533 HAS SOPS 82533 HAS SOUS 58266 HAS SOUPS 58266 WITH SCORE 58348.533
AT ITER 999 NEW BEST:: SOT 200171 SOS 82511 HAS SOPS 82511 HAS SOUS 58244 HAS SOUPS 58244 WITH SCORE 58326.511
AT ITER 1014 NEW BEST:: SOT 199871 SOS 82139 HAS SOPS 82139 HAS SOUS 58111 HAS SOUPS 58111 WITH SCORE 58193.139
AT ITER 1018 NEW BEST:: SOT 199829 SOS 81969 HAS SOPS 81969 HAS SOUS 58036 HAS SOUPS 58036 WITH SCORE 58117.969
AT ITER 1026 NEW BEST:: SOT 199539 SOS 81734 HAS SOPS 81734 HAS SOUS 57944 HAS SOUPS 57944 WITH SCORE 58025.734
AT ITER 1035 NEW BEST:: SOT 199537 SOS 81732 HAS SOPS 81732 HAS SOUS 57942 HAS SOUPS 57942 WITH SCORE 58023.732
AT ITER 1050 NEW BEST:: SOT 199536 SOS 81730 HAS SOPS 81730 HAS SOUS 57940 HAS SOUPS 57940 WITH SCORE 58021.73
AT ITER 1052 NEW BEST:: SOT 199608 SOS 81785 HAS SOPS 81785 HAS SOUS 57930 HAS SOUPS 57930 WITH SCORE 58011.785
AT ITER 1058 NEW BEST:: SOT 199572 SOS 81685 HAS SOPS 81685 HAS SOUS 57830 HAS SOUPS 57830 WITH SCORE 57911.685
AT ITER 1061 NEW BEST:: SOT 199558 SOS 81643 HAS SOPS 81643 HAS SOUS 57802 HAS SOUPS 57802 WITH SCORE 57883.643
AT ITER 1062 NEW BEST:: SOT 199583 SOS 81587 HAS SOPS 81587 HAS SOUS 57746 HAS SOUPS 57746 WITH SCORE 57827.587
AT ITER 1071 NEW BEST:: SOT 199531 SOS 81615 HAS SOPS 81615 HAS SOUS 57657 HAS SOUPS 57657 WITH SCORE 57738.615
AT ITER 1073 NEW BEST:: SOT 199500 SOS 81205 HAS SOPS 81205 HAS SOUS 57609 HAS SOUPS 57609 WITH SCORE 57690.205
AT ITER 1077 NEW BEST:: SOT 199278 SOS 80673 HAS SOPS 80673 HAS SOUS 57252 HAS SOUPS 57252 WITH SCORE 57332.673
AT ITER 1078 NEW BEST:: SOT 199142 SOS 80558 HAS SOPS 80558 HAS SOUS 57137 HAS SOUPS 57137 WITH SCORE 57217.558
AT ITER 1084 NEW BEST:: SOT 199132 SOS 80557 HAS SOPS 80557 HAS SOUS 57136 HAS SOUPS 57136 WITH SCORE 57216.557
AT ITER 1090 NEW BEST:: SOT 199120 SOS 80545 HAS SOPS 80545 HAS SOUS 57124 HAS SOUPS 57124 WITH SCORE 57204.545
AT ITER 1091 NEW BEST:: SOT 198977 SOS 80259 HAS SOPS 80259 HAS SOUS 57123 HAS SOUPS 57123 WITH SCORE 57203.259
AT ITER 1093 NEW BEST:: SOT 199003 SOS 80118 HAS SOPS 80118 HAS SOUS 56998 HAS SOUPS 56998 WITH SCORE 57078.118
AT ITER 1094 NEW BEST:: SOT 198967 SOS 80066 HAS SOPS 80066 HAS SOUS 56876 HAS SOUPS 56876 WITH SCORE 56956.066
AT ITER 1095 NEW BEST:: SOT 198992 SOS 80028 HAS SOPS 80028 HAS SOUS 56750 HAS SOUPS 56750 WITH SCORE 56830.028
AT ITER 1104 NEW BEST:: SOT 198992 SOS 79952 HAS SOPS 79952 HAS SOUS 56674 HAS SOUPS 56674 WITH SCORE 56753.952
AT ITER 1112 NEW BEST:: SOT 198992 SOS 79937 HAS SOPS 79937 HAS SOUS 56659 HAS SOUPS 56659 WITH SCORE 56738.937
AT ITER 1145 NEW BEST:: SOT 198983 SOS 79928 HAS SOPS 79928 HAS SOUS 56650 HAS SOUPS 56650 WITH SCORE 56729.928
AT ITER 1160 NEW BEST:: SOT 198975 SOS 79862 HAS SOPS 79862 HAS SOUS 56584 HAS SOUPS 56584 WITH SCORE 56663.862
AT ITER 1172 NEW BEST:: SOT 198970 SOS 79834 HAS SOPS 79834 HAS SOUS 56576 HAS SOUPS 56576 WITH SCORE 56655.834
AT ITER 1176 NEW BEST:: SOT 198967 SOS 79828 HAS SOPS 79828 HAS SOUS 56570 HAS SOUPS 56570 WITH SCORE 56649.828
AT ITER 1180 NEW BEST:: SOT 198913 SOS 79685 HAS SOPS 79685 HAS SOUS 56532 HAS SOUPS 56532 WITH SCORE 56611.685
AT ITER 1185 NEW BEST:: SOT 198859 SOS 79577 HAS SOPS 79577 HAS SOUS 56437 HAS SOUPS 56437 WITH SCORE 56516.577
AT ITER 1190 NEW BEST:: SOT 198835 SOS 79529 HAS SOPS 79529 HAS SOUS 56389 HAS SOUPS 56389 WITH SCORE 56468.529
AT ITER 1191 NEW BEST:: SOT 198828 SOS 79522 HAS SOPS 79522 HAS SOUS 56382 HAS SOUPS 56382 WITH SCORE 56461.522
AT ITER 1195 NEW BEST:: SOT 198820 SOS 79506 HAS SOPS 79506 HAS SOUS 56374 HAS SOUPS 56374 WITH SCORE 56453.506
AT ITER 1216 NEW BEST:: SOT 198818 SOS 79454 HAS SOPS 79454 HAS SOUS 56371 HAS SOUPS 56371 WITH SCORE 56450.454
AT ITER 1248 NEW BEST:: SOT 198790 SOS 79425 HAS SOPS 79425 HAS SOUS 56342 HAS SOUPS 56342 WITH SCORE 56421.425
AT ITER 1250 NEW BEST:: SOT 198768 SOS 79381 HAS SOPS 79381 HAS SOUS 56298 HAS SOUPS 56298 WITH SCORE 56377.381
AT ITER 1253 NEW BEST:: SOT 198708 SOS 79374 HAS SOPS 79374 HAS SOUS 56291 HAS SOUPS 56291 WITH SCORE 56370.374
AT ITER 1256 NEW BEST:: SOT 198650 SOS 79316 HAS SOPS 79316 HAS SOUS 56291 HAS SOUPS 56291 WITH SCORE 56370.316
AT ITER 1261 NEW BEST:: SOT 198636 SOS 79302 HAS SOPS 79302 HAS SOUS 56277 HAS SOUPS 56277 WITH SCORE 56356.302
AT ITER 1262 NEW BEST:: SOT 198519 SOS 79068 HAS SOPS 79068 HAS SOUS 55895 HAS SOUPS 55895 WITH SCORE 55974.068
AT ITER 1285 NEW BEST:: SOT 198508 SOS 79057 HAS SOPS 79057 HAS SOUS 55884 HAS SOUPS 55884 WITH SCORE 55963.057
AT ITER 1292 NEW BEST:: SOT 198482 SOS 79001 HAS SOPS 79001 HAS SOUS 55828 HAS SOUPS 55828 WITH SCORE 55907.001
AT ITER 1298 NEW BEST:: SOT 198436 SOS 78926 HAS SOPS 78926 HAS SOUS 55753 HAS SOUPS 55753 WITH SCORE 55831.926
AT ITER 1302 NEW BEST:: SOT 198397 SOS 78848 HAS SOPS 78848 HAS SOUS 55675 HAS SOUPS 55675 WITH SCORE 55753.848
AT ITER 1303 NEW BEST:: SOT 198321 SOS 78841 HAS SOPS 78841 HAS SOUS 55645 HAS SOUPS 55645 WITH SCORE 55723.841
AT ITER 1312 NEW BEST:: SOT 198495 SOS 78916 HAS SOPS 78916 HAS SOUS 55630 HAS SOUPS 55630 WITH SCORE 55708.916
AT ITER 1318 NEW BEST:: SOT 198488 SOS 78909 HAS SOPS 78909 HAS SOUS 55630 HAS SOUPS 55630 WITH SCORE 55708.909
AT ITER 1322 NEW BEST:: SOT 198451 SOS 78713 HAS SOPS 78713 HAS SOUS 55483 HAS SOUPS 55483 WITH SCORE 55561.713
AT ITER 1326 NEW BEST:: SOT 198268 SOS 78478 HAS SOPS 78478 HAS SOUS 55248 HAS SOUPS 55248 WITH SCORE 55326.478
AT ITER 1328 NEW BEST:: SOT 198069 SOS 78279 HAS SOPS 78279 HAS SOUS 55246 HAS SOUPS 55246 WITH SCORE 55324.279
AT ITER 1354 NEW BEST:: SOT 198039 SOS 78234 HAS SOPS 78234 HAS SOUS 55201 HAS SOUPS 55201 WITH SCORE 55279.234
AT ITER 1360 NEW BEST:: SOT 197913 SOS 78108 HAS SOPS 78108 HAS SOUS 55138 HAS SOUPS 55138 WITH SCORE 55216.108
AT ITER 1361 NEW BEST:: SOT 197922 SOS 78072 HAS SOPS 78072 HAS SOUS 55127 HAS SOUPS 55127 WITH SCORE 55205.072
AT ITER 1376 NEW BEST:: SOT 197922 SOS 78066 HAS SOPS 78066 HAS SOUS 55121 HAS SOUPS 55121 WITH SCORE 55199.066
AT ITER 1378 NEW BEST:: SOT 197799 SOS 77753 HAS SOPS 77753 HAS SOUS 54808 HAS SOUPS 54808 WITH SCORE 54885.753
AT ITER 1393 NEW BEST:: SOT 197718 SOS 77671 HAS SOPS 77671 HAS SOUS 54806 HAS SOUPS 54806 WITH SCORE 54883.671
AT ITER 1402 NEW BEST:: SOT 197753 SOS 77664 HAS SOPS 77664 HAS SOUS 54799 HAS SOUPS 54799 WITH SCORE 54876.664
AT ITER 1403 NEW BEST:: SOT 197639 SOS 77436 HAS SOPS 77436 HAS SOUS 54685 HAS SOUPS 54685 WITH SCORE 54762.436
AT ITER 1412 NEW BEST:: SOT 197607 SOS 77403 HAS SOPS 77403 HAS SOUS 54683 HAS SOUPS 54683 WITH SCORE 54760.403
AT ITER 1413 NEW BEST:: SOT 197607 SOS 77400 HAS SOPS 77400 HAS SOUS 54683 HAS SOUPS 54683 WITH SCORE 54760.4
AT ITER 1422 NEW BEST:: SOT 197598 SOS 77382 HAS SOPS 77382 HAS SOUS 54665 HAS SOUPS 54665 WITH SCORE 54742.382
AT ITER 1437 NEW BEST:: SOT 197598 SOS 77318 HAS SOPS 77318 HAS SOUS 54575 HAS SOUPS 54575 WITH SCORE 54652.318
AT ITER 1444 NEW BEST:: SOT 197536 SOS 77256 HAS SOPS 77256 HAS SOUS 54575 HAS SOUPS 54575 WITH SCORE 54652.256
AT ITER 1453 NEW BEST:: SOT 196861 SOS 76684 HAS SOPS 76684 HAS SOUS 54475 HAS SOUPS 54475 WITH SCORE 54551.684
AT ITER 1477 NEW BEST:: SOT 196824 SOS 76647 HAS SOPS 76647 HAS SOUS 54438 HAS SOUPS 54438 WITH SCORE 54514.647
AT ITER 1483 NEW BEST:: SOT 196846 SOS 76282 HAS SOPS 76282 HAS SOUS 54123 HAS SOUPS 54123 WITH SCORE 54199.282
AT ITER 1488 NEW BEST:: SOT 196842 SOS 76276 HAS SOPS 76276 HAS SOUS 54119 HAS SOUPS 54119 WITH SCORE 54195.276
AT ITER 1489 NEW BEST:: SOT 196826 SOS 76238 HAS SOPS 76238 HAS SOUS 54042 HAS SOUPS 54042 WITH SCORE 54118.238
AT ITER 1490 NEW BEST:: SOT 196894 SOS 76342 HAS SOPS 76342 HAS SOUS 54036 HAS SOUPS 54036 WITH SCORE 54112.342
AT ITER 1495 NEW BEST:: SOT 196807 SOS 76168 HAS SOPS 76168 HAS SOUS 54006 HAS SOUPS 54006 WITH SCORE 54082.168
AT ITER 1497 NEW BEST:: SOT 196804 SOS 76159 HAS SOPS 76159 HAS SOUS 54000 HAS SOUPS 54000 WITH SCORE 54076.159
AT ITER 1512 NEW BEST:: SOT 196800 SOS 76151 HAS SOPS 76151 HAS SOUS 53992 HAS SOUPS 53992 WITH SCORE 54068.151
AT ITER 1517 NEW BEST:: SOT 196704 SOS 76068 HAS SOPS 76068 HAS SOUS 53909 HAS SOUPS 53909 WITH SCORE 53985.068
AT ITER 1524 NEW BEST:: SOT 196704 SOS 76056 HAS SOPS 76056 HAS SOUS 53909 HAS SOUPS 53909 WITH SCORE 53985.056
AT ITER 1527 NEW BEST:: SOT 196601 SOS 75850 HAS SOPS 75850 HAS SOUS 53855 HAS SOUPS 53855 WITH SCORE 53930.85
AT ITER 1534 NEW BEST:: SOT 196551 SOS 75714 HAS SOPS 75714 HAS SOUS 53686 HAS SOUPS 53686 WITH SCORE 53761.714
AT ITER 1541 NEW BEST:: SOT 196488 SOS 75588 HAS SOPS 75588 HAS SOUS 53583 HAS SOUPS 53583 WITH SCORE 53658.588
AT ITER 1544 NEW BEST:: SOT 196342 SOS 75296 HAS SOPS 75296 HAS SOUS 53437 HAS SOUPS 53437 WITH SCORE 53512.296
AT ITER 1545 NEW BEST:: SOT 196338 SOS 75292 HAS SOPS 75292 HAS SOUS 53433 HAS SOUPS 53433 WITH SCORE 53508.292
AT ITER 1546 NEW BEST:: SOT 196297 SOS 75353 HAS SOPS 75353 HAS SOUS 53362 HAS SOUPS 53362 WITH SCORE 53437.353
AT ITER 1561 NEW BEST:: SOT 196195 SOS 75206 HAS SOPS 75206 HAS SOUS 53215 HAS SOUPS 53215 WITH SCORE 53290.206
AT ITER 1572 NEW BEST:: SOT 196111 SOS 75038 HAS SOPS 75038 HAS SOUS 53131 HAS SOUPS 53131 WITH SCORE 53206.038
AT ITER 1593 NEW BEST:: SOT 196072 SOS 74999 HAS SOPS 74999 HAS SOUS 53092 HAS SOUPS 53092 WITH SCORE 53166.999
AT ITER 1597 NEW BEST:: SOT 196063 SOS 74990 HAS SOPS 74990 HAS SOUS 53083 HAS SOUPS 53083 WITH SCORE 53157.99
AT ITER 1605 NEW BEST:: SOT 196034 SOS 74932 HAS SOPS 74932 HAS SOUS 53025 HAS SOUPS 53025 WITH SCORE 53099.932
AT ITER 1612 NEW BEST:: SOT 196086 SOS 75036 HAS SOPS 75036 HAS SOUS 53006 HAS SOUPS 53006 WITH SCORE 53081.036
AT ITER 1620 NEW BEST:: SOT 196068 SOS 74989 HAS SOPS 74989 HAS SOUS 52959 HAS SOUPS 52959 WITH SCORE 53033.989
AT ITER 1627 NEW BEST:: SOT 196047 SOS 74947 HAS SOPS 74947 HAS SOUS 52938 HAS SOUPS 52938 WITH SCORE 53012.947
AT ITER 1634 NEW BEST:: SOT 195956 SOS 74773 HAS SOPS 74773 HAS SOUS 52810 HAS SOUPS 52810 WITH SCORE 52884.773
AT ITER 1643 NEW BEST:: SOT 195860 SOS 74677 HAS SOPS 74677 HAS SOUS 52810 HAS SOUPS 52810 WITH SCORE 52884.677
AT ITER 1644 NEW BEST:: SOT 195835 SOS 74627 HAS SOPS 74627 HAS SOUS 52760 HAS SOUPS 52760 WITH SCORE 52834.627
AT ITER 1648 NEW BEST:: SOT 195816 SOS 74589 HAS SOPS 74589 HAS SOUS 52722 HAS SOUPS 52722 WITH SCORE 52796.589
AT ITER 1653 NEW BEST:: SOT 195791 SOS 74564 HAS SOPS 74564 HAS SOUS 52697 HAS SOUPS 52697 WITH SCORE 52771.564
AT ITER 1657 NEW BEST:: SOT 195752 SOS 74486 HAS SOPS 74486 HAS SOUS 52619 HAS SOUPS 52619 WITH SCORE 52693.486
AT ITER 1672 NEW BEST:: SOT 195750 SOS 74484 HAS SOPS 74484 HAS SOUS 52617 HAS SOUPS 52617 WITH SCORE 52691.484
AT ITER 1684 NEW BEST:: SOT 195746 SOS 74476 HAS SOPS 74476 HAS SOUS 52609 HAS SOUPS 52609 WITH SCORE 52683.476
AT ITER 1716 NEW BEST:: SOT 195686 SOS 74356 HAS SOPS 74356 HAS SOUS 52479 HAS SOUPS 52479 WITH SCORE 52553.356
AT ITER 1723 NEW BEST:: SOT 195689 SOS 74355 HAS SOPS 74355 HAS SOUS 52478 HAS SOUPS 52478 WITH SCORE 52552.355
AT ITER 1726 NEW BEST:: SOT 195668 SOS 74334 HAS SOPS 74334 HAS SOUS 52457 HAS SOUPS 52457 WITH SCORE 52531.334
AT ITER 1727 NEW BEST:: SOT 195691 SOS 74357 HAS SOPS 74357 HAS SOUS 52446 HAS SOUPS 52446 WITH SCORE 52520.357
AT ITER 1728 NEW BEST:: SOT 195674 SOS 74340 HAS SOPS 74340 HAS SOUS 52429 HAS SOUPS 52429 WITH SCORE 52503.34
AT ITER 1779 NEW BEST:: SOT 195622 SOS 74288 HAS SOPS 74288 HAS SOUS 52377 HAS SOUPS 52377 WITH SCORE 52451.288
AT ITER 1824 NEW BEST:: SOT 195556 SOS 74025 HAS SOPS 74025 HAS SOUS 52195 HAS SOUPS 52195 WITH SCORE 52269.025
AT ITER 1836 NEW BEST:: SOT 195553 SOS 74019 HAS SOPS 74019 HAS SOUS 52189 HAS SOUPS 52189 WITH SCORE 52263.019
AT ITER 1845 NEW BEST:: SOT 195575 SOS 73857 HAS SOPS 73857 HAS SOUS 52027 HAS SOUPS 52027 WITH SCORE 52100.857
AT ITER 1854 NEW BEST:: SOT 195535 SOS 73817 HAS SOPS 73817 HAS SOUS 51987 HAS SOUPS 51987 WITH SCORE 52060.817
AT ITER 1855 NEW BEST:: SOT 195279 SOS 73305 HAS SOPS 73305 HAS SOUS 51711 HAS SOUPS 51711 WITH SCORE 51784.305
AT ITER 1863 NEW BEST:: SOT 195282 SOS 73256 HAS SOPS 73256 HAS SOUS 51660 HAS SOUPS 51660 WITH SCORE 51733.256
AT ITER 1869 NEW BEST:: SOT 195190 SOS 73072 HAS SOPS 73072 HAS SOUS 51476 HAS SOUPS 51476 WITH SCORE 51549.072
AT ITER 1883 NEW BEST:: SOT 195188 SOS 73068 HAS SOPS 73068 HAS SOUS 51472 HAS SOUPS 51472 WITH SCORE 51545.068
AT ITER 1917 NEW BEST:: SOT 195215 SOS 73401 HAS SOPS 73401 HAS SOUS 51464 HAS SOUPS 51464 WITH SCORE 51537.401
AT ITER 1925 NEW BEST:: SOT 195192 SOS 73355 HAS SOPS 73355 HAS SOUS 51395 HAS SOUPS 51395 WITH SCORE 51468.355
AT ITER 1929 NEW BEST:: SOT 195180 SOS 73331 HAS SOPS 73331 HAS SOUS 51371 HAS SOUPS 51371 WITH SCORE 51444.331
AT ITER 1936 NEW BEST:: SOT 195387 SOS 73329 HAS SOPS 73329 HAS SOUS 51369 HAS SOUPS 51369 WITH SCORE 51442.329
AT ITER 1944 NEW BEST:: SOT 195258 SOS 73191 HAS SOPS 73191 HAS SOUS 51276 HAS SOUPS 51276 WITH SCORE 51349.191
AT ITER 1955 NEW BEST:: SOT 195147 SOS 72969 HAS SOPS 72969 HAS SOUS 51065 HAS SOUPS 51065 WITH SCORE 51137.969
AT ITER 1968 NEW BEST:: SOT 195097 SOS 72917 HAS SOPS 72917 HAS SOUS 51013 HAS SOUPS 51013 WITH SCORE 51085.917
AT ITER 1972 NEW BEST:: SOT 195093 SOS 72909 HAS SOPS 72909 HAS SOUS 51005 HAS SOUPS 51005 WITH SCORE 51077.909
AT ITER 1987 NEW BEST:: SOT 195111 SOS 72886 HAS SOPS 72886 HAS SOUS 50982 HAS SOUPS 50982 WITH SCORE 51054.886
AT ITER 1988 NEW BEST:: SOT 195111 SOS 72877 HAS SOPS 72877 HAS SOUS 50973 HAS SOUPS 50973 WITH SCORE 51045.877
AT ITER 2013 NEW BEST:: SOT 195141 SOS 72872 HAS SOPS 72872 HAS SOUS 50968 HAS SOUPS 50968 WITH SCORE 51040.872
AT ITER 2041 NEW BEST:: SOT 195035 SOS 72738 HAS SOPS 72738 HAS SOUS 50836 HAS SOUPS 50836 WITH SCORE 50908.738
AT ITER 2059 NEW BEST:: SOT 195010 SOS 72688 HAS SOPS 72688 HAS SOUS 50825 HAS SOUPS 50825 WITH SCORE 50897.688
AT ITER 2062 NEW BEST:: SOT 195002 SOS 72687 HAS SOPS 72687 HAS SOUS 50824 HAS SOUPS 50824 WITH SCORE 50896.687
AT ITER 2072 NEW BEST:: SOT 195002 SOS 72638 HAS SOPS 72638 HAS SOUS 50775 HAS SOUPS 50775 WITH SCORE 50847.638
AT ITER 2081 NEW BEST:: SOT 194971 SOS 72576 HAS SOPS 72576 HAS SOUS 50732 HAS SOUPS 50732 WITH SCORE 50804.576
AT ITER 2099 NEW BEST:: SOT 194971 SOS 72545 HAS SOPS 72545 HAS SOUS 50701 HAS SOUPS 50701 WITH SCORE 50773.545
AT ITER 2116 NEW BEST:: SOT 194947 SOS 72497 HAS SOPS 72497 HAS SOUS 50653 HAS SOUPS 50653 WITH SCORE 50725.497
AT ITER 2118 NEW BEST:: SOT 195052 SOS 72472 HAS SOPS 72472 HAS SOUS 50628 HAS SOUPS 50628 WITH SCORE 50700.472
AT ITER 2120 NEW BEST:: SOT 194986 SOS 72426 HAS SOPS 72426 HAS SOUS 50620 HAS SOUPS 50620 WITH SCORE 50692.426
AT ITER 2123 NEW BEST:: SOT 194969 SOS 72407 HAS SOPS 72407 HAS SOUS 50601 HAS SOUPS 50601 WITH SCORE 50673.407
AT ITER 2141 NEW BEST:: SOT 194953 SOS 72391 HAS SOPS 72391 HAS SOUS 50601 HAS SOUPS 50601 WITH SCORE 50673.391
AT ITER 2151 NEW BEST:: SOT 194938 SOS 72376 HAS SOPS 72376 HAS SOUS 50586 HAS SOUPS 50586 WITH SCORE 50658.376
AT ITER 2176 NEW BEST:: SOT 194924 SOS 72362 HAS SOPS 72362 HAS SOUS 50559 HAS SOUPS 50559 WITH SCORE 50631.362
AT ITER 2190 NEW BEST:: SOT 194924 SOS 72339 HAS SOPS 72339 HAS SOUS 50559 HAS SOUPS 50559 WITH SCORE 50631.339
AT ITER 2211 NEW BEST:: SOT 194925 SOS 72335 HAS SOPS 72335 HAS SOUS 50462 HAS SOUPS 50462 WITH SCORE 50534.335
AT ITER 2231 NEW BEST:: SOT 194922 SOS 72329 HAS SOPS 72329 HAS SOUS 50456 HAS SOUPS 50456 WITH SCORE 50528.329
AT ITER 2260 NEW BEST:: SOT 194872 SOS 72229 HAS SOPS 72229 HAS SOUS 50356 HAS SOUPS 50356 WITH SCORE 50428.229
AT ITER 2265 NEW BEST:: SOT 194872 SOS 72199 HAS SOPS 72199 HAS SOUS 50326 HAS SOUPS 50326 WITH SCORE 50398.199
AT ITER 2268 NEW BEST:: SOT 194836 SOS 72126 HAS SOPS 72126 HAS SOUS 50253 HAS SOUPS 50253 WITH SCORE 50325.126
AT ITER 2271 NEW BEST:: SOT 194790 SOS 72034 HAS SOPS 72034 HAS SOUS 50161 HAS SOUPS 50161 WITH SCORE 50233.034
AT ITER 2274 NEW BEST:: SOT 194774 SOS 72018 HAS SOPS 72018 HAS SOUS 50145 HAS SOUPS 50145 WITH SCORE 50217.018
AT ITER 2292 NEW BEST:: SOT 194774 SOS 71968 HAS SOPS 71968 HAS SOUS 50095 HAS SOUPS 50095 WITH SCORE 50166.968
AT ITER 2325 NEW BEST:: SOT 194864 SOS 71872 HAS SOPS 71872 HAS SOUS 50088 HAS SOUPS 50088 WITH SCORE 50159.872
AT ITER 2335 NEW BEST:: SOT 194737 SOS 71680 HAS SOPS 71680 HAS SOUS 50036 HAS SOUPS 50036 WITH SCORE 50107.68
AT ITER 2344 NEW BEST:: SOT 194727 SOS 71752 HAS SOPS 71752 HAS SOUS 50016 HAS SOUPS 50016 WITH SCORE 50087.752
AT ITER 2347 NEW BEST:: SOT 194695 SOS 71720 HAS SOPS 71720 HAS SOUS 49992 HAS SOUPS 49992 WITH SCORE 50063.72
AT ITER 2348 NEW BEST:: SOT 194711 SOS 71750 HAS SOPS 71750 HAS SOUS 49914 HAS SOUPS 49914 WITH SCORE 49985.75
AT ITER 2355 NEW BEST:: SOT 194697 SOS 71729 HAS SOPS 71729 HAS SOUS 49893 HAS SOUPS 49893 WITH SCORE 49964.729
AT ITER 2361 NEW BEST:: SOT 194653 SOS 71685 HAS SOPS 71685 HAS SOUS 49849 HAS SOUPS 49849 WITH SCORE 49920.685
AT ITER 2371 NEW BEST:: SOT 194618 SOS 71615 HAS SOPS 71615 HAS SOUS 49817 HAS SOUPS 49817 WITH SCORE 49888.615
AT ITER 2391 NEW BEST:: SOT 194470 SOS 71170 HAS SOPS 71170 HAS SOUS 49520 HAS SOUPS 49520 WITH SCORE 49591.17
AT ITER 2409 NEW BEST:: SOT 194464 SOS 71162 HAS SOPS 71162 HAS SOUS 49512 HAS SOUPS 49512 WITH SCORE 49583.162
AT ITER 2430 NEW BEST:: SOT 194455 SOS 71153 HAS SOPS 71153 HAS SOUS 49503 HAS SOUPS 49503 WITH SCORE 49574.153
AT ITER 2431 NEW BEST:: SOT 194465 SOS 71163 HAS SOPS 71163 HAS SOUS 49485 HAS SOUPS 49485 WITH SCORE 49556.163
AT ITER 2445 NEW BEST:: SOT 194417 SOS 71320 HAS SOPS 71320 HAS SOUS 49391 HAS SOUPS 49391 WITH SCORE 49462.32
AT ITER 2448 NEW BEST:: SOT 194393 SOS 71298 HAS SOPS 71298 HAS SOUS 49388 HAS SOUPS 49388 WITH SCORE 49459.298
AT ITER 2449 NEW BEST:: SOT 194363 SOS 71284 HAS SOPS 71284 HAS SOUS 49374 HAS SOUPS 49374 WITH SCORE 49445.284
AT ITER 2453 NEW BEST:: SOT 194376 SOS 71282 HAS SOPS 71282 HAS SOUS 49372 HAS SOUPS 49372 WITH SCORE 49443.282
AT ITER 2462 NEW BEST:: SOT 194329 SOS 71235 HAS SOPS 71235 HAS SOUS 49353 HAS SOUPS 49353 WITH SCORE 49424.235
AT ITER 2463 NEW BEST:: SOT 194317 SOS 71217 HAS SOPS 71217 HAS SOUS 49329 HAS SOUPS 49329 WITH SCORE 49400.217
AT ITER 2486 NEW BEST:: SOT 194343 SOS 71213 HAS SOPS 71213 HAS SOUS 49325 HAS SOUPS 49325 WITH SCORE 49396.213
AT ITER 2488 NEW BEST:: SOT 193994 SOS 70502 HAS SOPS 70502 HAS SOUS 48614 HAS SOUPS 48614 WITH SCORE 48684.502
AT ITER 2489 NEW BEST:: SOT 193903 SOS 70722 HAS SOPS 70722 HAS SOUS 48576 HAS SOUPS 48576 WITH SCORE 48646.722
AT ITER 2522 NEW BEST:: SOT 193900 SOS 70716 HAS SOPS 70716 HAS SOUS 48570 HAS SOUPS 48570 WITH SCORE 48640.716
AT ITER 2527 NEW BEST:: SOT 193852 SOS 70668 HAS SOPS 70668 HAS SOUS 48570 HAS SOUPS 48570 WITH SCORE 48640.668
AT ITER 2532 NEW BEST:: SOT 193825 SOS 70614 HAS SOPS 70614 HAS SOUS 48516 HAS SOUPS 48516 WITH SCORE 48586.614
AT ITER 2539 NEW BEST:: SOT 193854 SOS 70603 HAS SOPS 70603 HAS SOUS 48505 HAS SOUPS 48505 WITH SCORE 48575.603
AT ITER 2552 NEW BEST:: SOT 193895 SOS 70714 HAS SOPS 70714 HAS SOUS 48434 HAS SOUPS 48434 WITH SCORE 48504.714
AT ITER 2576 NEW BEST:: SOT 193920 SOS 70523 HAS SOPS 70523 HAS SOUS 48243 HAS SOUPS 48243 WITH SCORE 48313.523
AT ITER 2589 NEW BEST:: SOT 193813 SOS 70496 HAS SOPS 70496 HAS SOUS 48243 HAS SOUPS 48243 WITH SCORE 48313.496
AT ITER 2590 NEW BEST:: SOT 193827 SOS 70432 HAS SOPS 70432 HAS SOUS 48179 HAS SOUPS 48179 WITH SCORE 48249.432
AT ITER 2596 NEW BEST:: SOT 193818 SOS 70349 HAS SOPS 70349 HAS SOUS 48096 HAS SOUPS 48096 WITH SCORE 48166.349
AT ITER 2599 NEW BEST:: SOT 193814 SOS 70345 HAS SOPS 70345 HAS SOUS 48092 HAS SOUPS 48092 WITH SCORE 48162.345
AT ITER 2614 NEW BEST:: SOT 193808 SOS 70339 HAS SOPS 70339 HAS SOUS 48092 HAS SOUPS 48092 WITH SCORE 48162.339
AT ITER 2615 NEW BEST:: SOT 193728 SOS 70219 HAS SOPS 70219 HAS SOUS 48012 HAS SOUPS 48012 WITH SCORE 48082.219
AT ITER 2621 NEW BEST:: SOT 193633 SOS 70160 HAS SOPS 70160 HAS SOUS 47953 HAS SOUPS 47953 WITH SCORE 48023.16
AT ITER 2631 NEW BEST:: SOT 193618 SOS 70145 HAS SOPS 70145 HAS SOUS 47938 HAS SOUPS 47938 WITH SCORE 48008.145
AT ITER 2632 NEW BEST:: SOT 193593 SOS 70095 HAS SOPS 70095 HAS SOUS 47925 HAS SOUPS 47925 WITH SCORE 47995.095
AT ITER 2633 NEW BEST:: SOT 193583 SOS 70037 HAS SOPS 70037 HAS SOUS 47819 HAS SOUPS 47819 WITH SCORE 47889.037
AT ITER 2635 NEW BEST:: SOT 193583 SOS 70037 HAS SOPS 70037 HAS SOUS 47755 HAS SOUPS 47755 WITH SCORE 47825.037
AT ITER 2670 NEW BEST:: SOT 193561 SOS 69993 HAS SOPS 69993 HAS SOUS 47730 HAS SOUPS 47730 WITH SCORE 47799.993
AT ITER 2689 NEW BEST:: SOT 193558 SOS 69887 HAS SOPS 69887 HAS SOUS 47624 HAS SOUPS 47624 WITH SCORE 47693.887
AT ITER 2710 NEW BEST:: SOT 193418 SOS 69609 HAS SOPS 69609 HAS SOUS 47508 HAS SOUPS 47508 WITH SCORE 47577.609
AT ITER 2712 NEW BEST:: SOT 193394 SOS 69638 HAS SOPS 69638 HAS SOUS 47503 HAS SOUPS 47503 WITH SCORE 47572.638
AT ITER 2724 NEW BEST:: SOT 193347 SOS 69582 HAS SOPS 69582 HAS SOUS 47447 HAS SOUPS 47447 WITH SCORE 47516.582
AT ITER 2777 NEW BEST:: SOT 193281 SOS 69587 HAS SOPS 69587 HAS SOUS 47386 HAS SOUPS 47386 WITH SCORE 47455.587
AT ITER 2780 NEW BEST:: SOT 193234 SOS 69540 HAS SOPS 69540 HAS SOUS 47339 HAS SOUPS 47339 WITH SCORE 47408.54
AT ITER 2869 NEW BEST:: SOT 193160 SOS 69463 HAS SOPS 69463 HAS SOUS 47306 HAS SOUPS 47306 WITH SCORE 47375.463
AT ITER 2876 NEW BEST:: SOT 193129 SOS 69401 HAS SOPS 69401 HAS SOUS 47244 HAS SOUPS 47244 WITH SCORE 47313.401
AT ITER 2904 NEW BEST:: SOT 193055 SOS 69290 HAS SOPS 69290 HAS SOUS 47170 HAS SOUPS 47170 WITH SCORE 47239.29
AT ITER 2924 NEW BEST:: SOT 193055 SOS 69276 HAS SOPS 69276 HAS SOUS 47156 HAS SOUPS 47156 WITH SCORE 47225.276
AT ITER 2932 NEW BEST:: SOT 193070 SOS 69240 HAS SOPS 69240 HAS SOUS 47120 HAS SOUPS 47120 WITH SCORE 47189.24
AT ITER 2950 NEW BEST:: SOT 193070 SOS 69224 HAS SOPS 69224 HAS SOUS 47112 HAS SOUPS 47112 WITH SCORE 47181.224
AT ITER 2960 NEW BEST:: SOT 193094 SOS 69047 HAS SOPS 69047 HAS SOUS 46986 HAS SOUPS 46986 WITH SCORE 47055.047
AT ITER 2962 NEW BEST:: SOT 193091 SOS 69044 HAS SOPS 69044 HAS SOUS 46983 HAS SOUPS 46983 WITH SCORE 47052.044
AT ITER 2977 NEW BEST:: SOT 193090 SOS 69042 HAS SOPS 69042 HAS SOUS 46981 HAS SOUPS 46981 WITH SCORE 47050.042
AT ITER 2998 NEW BEST:: SOT 193030 SOS 68922 HAS SOPS 68922 HAS SOUS 46827 HAS SOUPS 46827 WITH SCORE 46895.922
AT ITER 3024 NEW BEST:: SOT 193030 SOS 68922 HAS SOPS 68922 HAS SOUS 46814 HAS SOUPS 46814 WITH SCORE 46882.922
AT ITER 3063 NEW BEST:: SOT 192944 SOS 68773 HAS SOPS 68773 HAS SOUS 46665 HAS SOUPS 46665 WITH SCORE 46733.773
AT ITER 3067 NEW BEST:: SOT 192972 SOS 68801 HAS SOPS 68801 HAS SOUS 46635 HAS SOUPS 46635 WITH SCORE 46703.801
AT ITER 3074 NEW BEST:: SOT 192972 SOS 68780 HAS SOPS 68780 HAS SOUS 46614 HAS SOUPS 46614 WITH SCORE 46682.78
AT ITER 3078 NEW BEST:: SOT 192982 SOS 68697 HAS SOPS 68697 HAS SOUS 46531 HAS SOUPS 46531 WITH SCORE 46599.697
AT ITER 3121 NEW BEST:: SOT 192979 SOS 68693 HAS SOPS 68693 HAS SOUS 46527 HAS SOUPS 46527 WITH SCORE 46595.693
AT ITER 3126 NEW BEST:: SOT 192924 SOS 68638 HAS SOPS 68638 HAS SOUS 46527 HAS SOUPS 46527 WITH SCORE 46595.638
AT ITER 3139 NEW BEST:: SOT 192912 SOS 68620 HAS SOPS 68620 HAS SOUS 46515 HAS SOUPS 46515 WITH SCORE 46583.62
AT ITER 3222 NEW BEST:: SOT 192888 SOS 68548 HAS SOPS 68548 HAS SOUS 46491 HAS SOUPS 46491 WITH SCORE 46559.548
AT ITER 3246 NEW BEST:: SOT 192952 SOS 68576 HAS SOPS 68576 HAS SOUS 46419 HAS SOUPS 46419 WITH SCORE 46487.576
AT ITER 3286 NEW BEST:: SOT 192866 SOS 68575 HAS SOPS 68575 HAS SOUS 46418 HAS SOUPS 46418 WITH SCORE 46486.575
AT ITER 3287 NEW BEST:: SOT 192849 SOS 68552 HAS SOPS 68552 HAS SOUS 46395 HAS SOUPS 46395 WITH SCORE 46463.552
AT ITER 3300 NEW BEST:: SOT 192847 SOS 68548 HAS SOPS 68548 HAS SOUS 46391 HAS SOUPS 46391 WITH SCORE 46459.548
AT ITER 3313 NEW BEST:: SOT 192802 SOS 68500 HAS SOPS 68500 HAS SOUS 46343 HAS SOUPS 46343 WITH SCORE 46411.5
AT ITER 3316 NEW BEST:: SOT 192783 SOS 68481 HAS SOPS 68481 HAS SOUS 46324 HAS SOUPS 46324 WITH SCORE 46392.481
AT ITER 3369 NEW BEST:: SOT 192783 SOS 68452 HAS SOPS 68452 HAS SOUS 46295 HAS SOUPS 46295 WITH SCORE 46363.452
AT ITER 3400 NEW BEST:: SOT 192768 SOS 68422 HAS SOPS 68422 HAS SOUS 46250 HAS SOUPS 46250 WITH SCORE 46318.422
AT ITER 3454 NEW BEST:: SOT 192768 SOS 68372 HAS SOPS 68372 HAS SOUS 46150 HAS SOUPS 46150 WITH SCORE 46218.372
AT ITER 3457 NEW BEST:: SOT 192745 SOS 68349 HAS SOPS 68349 HAS SOUS 46150 HAS SOUPS 46150 WITH SCORE 46218.349
AT ITER 3473 NEW BEST:: SOT 192738 SOS 68331 HAS SOPS 68331 HAS SOUS 46132 HAS SOUPS 46132 WITH SCORE 46200.331
AT ITER 3487 NEW BEST:: SOT 192738 SOS 68331 HAS SOPS 68331 HAS SOUS 46067 HAS SOUPS 46067 WITH SCORE 46135.331
AT ITER 3492 NEW BEST:: SOT 192686 SOS 68279 HAS SOPS 68279 HAS SOUS 46067 HAS SOUPS 46067 WITH SCORE 46135.279
AT ITER 3537 NEW BEST:: SOT 192679 SOS 68265 HAS SOPS 68265 HAS SOUS 46060 HAS SOUPS 46060 WITH SCORE 46128.265
AT ITER 3567 NEW BEST:: SOT 192657 SOS 68259 HAS SOPS 68259 HAS SOUS 46043 HAS SOUPS 46043 WITH SCORE 46111.259
AT ITER 3573 NEW BEST:: SOT 192661 SOS 68239 HAS SOPS 68239 HAS SOUS 46043 HAS SOUPS 46043 WITH SCORE 46111.239
AT ITER 3575 NEW BEST:: SOT 192661 SOS 68228 HAS SOPS 68228 HAS SOUS 46032 HAS SOUPS 46032 WITH SCORE 46100.228
AT ITER 3584 NEW BEST:: SOT 192584 SOS 68129 HAS SOPS 68129 HAS SOUS 45988 HAS SOUPS 45988 WITH SCORE 46056.129
AT ITER 3591 NEW BEST:: SOT 192548 SOS 68194 HAS SOPS 68194 HAS SOUS 45916 HAS SOUPS 45916 WITH SCORE 45984.194
AT ITER 3606 NEW BEST:: SOT 192482 SOS 67955 HAS SOPS 67955 HAS SOUS 45709 HAS SOUPS 45709 WITH SCORE 45776.955
AT ITER 3608 NEW BEST:: SOT 192482 SOS 67926 HAS SOPS 67926 HAS SOUS 45702 HAS SOUPS 45702 WITH SCORE 45769.926
AT ITER 3613 NEW BEST:: SOT 192469 SOS 67900 HAS SOPS 67900 HAS SOUS 45676 HAS SOUPS 45676 WITH SCORE 45743.9
AT ITER 3626 NEW BEST:: SOT 192459 SOS 68022 HAS SOPS 68022 HAS SOUS 45650 HAS SOUPS 45650 WITH SCORE 45718.022
AT ITER 3631 NEW BEST:: SOT 192459 SOS 68105 HAS SOPS 68105 HAS SOUS 45607 HAS SOUPS 45607 WITH SCORE 45675.105
AT ITER 3639 NEW BEST:: SOT 192420 SOS 67946 HAS SOPS 67946 HAS SOUS 45583 HAS SOUPS 45583 WITH SCORE 45650.946
AT ITER 3647 NEW BEST:: SOT 192436 SOS 67978 HAS SOPS 67978 HAS SOUS 45541 HAS SOUPS 45541 WITH SCORE 45608.978
AT ITER 3654 NEW BEST:: SOT 192436 SOS 67974 HAS SOPS 67974 HAS SOUS 45537 HAS SOUPS 45537 WITH SCORE 45604.974
AT ITER 3656 NEW BEST:: SOT 192187 SOS 67630 HAS SOPS 67630 HAS SOUS 45214 HAS SOUPS 45214 WITH SCORE 45281.63
AT ITER 3660 NEW BEST:: SOT 192155 SOS 67566 HAS SOPS 67566 HAS SOUS 45150 HAS SOUPS 45150 WITH SCORE 45217.566
AT ITER 3673 NEW BEST:: SOT 192153 SOS 67562 HAS SOPS 67562 HAS SOUS 45146 HAS SOUPS 45146 WITH SCORE 45213.562
AT ITER 3680 NEW BEST:: SOT 192153 SOS 67562 HAS SOPS 67562 HAS SOUS 45126 HAS SOUPS 45126 WITH SCORE 45193.562
AT ITER 3694 NEW BEST:: SOT 192123 SOS 67532 HAS SOPS 67532 HAS SOUS 45096 HAS SOUPS 45096 WITH SCORE 45163.532
AT ITER 3751 NEW BEST:: SOT 192128 SOS 67503 HAS SOPS 67503 HAS SOUS 45067 HAS SOUPS 45067 WITH SCORE 45134.503
AT ITER 3789 NEW BEST:: SOT 192073 SOS 67338 HAS SOPS 67338 HAS SOUS 44957 HAS SOUPS 44957 WITH SCORE 45024.338
AT ITER 3792 NEW BEST:: SOT 192071 SOS 67066 HAS SOPS 67066 HAS SOUS 44939 HAS SOUPS 44939 WITH SCORE 45006.066
AT ITER 3798 NEW BEST:: SOT 192066 SOS 67050 HAS SOPS 67050 HAS SOUS 44923 HAS SOUPS 44923 WITH SCORE 44990.05
AT ITER 3803 NEW BEST:: SOT 192058 SOS 67042 HAS SOPS 67042 HAS SOUS 44915 HAS SOUPS 44915 WITH SCORE 44982.042
AT ITER 3819 NEW BEST:: SOT 192042 SOS 67010 HAS SOPS 67010 HAS SOUS 44883 HAS SOUPS 44883 WITH SCORE 44950.01
AT ITER 3840 NEW BEST:: SOT 192042 SOS 67000 HAS SOPS 67000 HAS SOUS 44873 HAS SOUPS 44873 WITH SCORE 44940.0
AT ITER 3918 NEW BEST:: SOT 192075 SOS 66974 HAS SOPS 66974 HAS SOUS 44823 HAS SOUPS 44823 WITH SCORE 44889.974
AT ITER 3934 NEW BEST:: SOT 192093 SOS 67010 HAS SOPS 67010 HAS SOUS 44813 HAS SOUPS 44813 WITH SCORE 44880.01
AT ITER 3985 NEW BEST:: SOT 192093 SOS 66997 HAS SOPS 66997 HAS SOUS 44800 HAS SOUPS 44800 WITH SCORE 44866.997
AT ITER 4001 NEW BEST:: SOT 192091 SOS 66995 HAS SOPS 66995 HAS SOUS 44800 HAS SOUPS 44800 WITH SCORE 44866.995
AT ITER 4006 NEW BEST:: SOT 192083 SOS 66979 HAS SOPS 66979 HAS SOUS 44792 HAS SOUPS 44792 WITH SCORE 44858.979
AT ITER 4007 NEW BEST:: SOT 192076 SOS 66972 HAS SOPS 66972 HAS SOUS 44785 HAS SOUPS 44785 WITH SCORE 44851.972
AT ITER 4028 NEW BEST:: SOT 192076 SOS 66919 HAS SOPS 66919 HAS SOUS 44732 HAS SOUPS 44732 WITH SCORE 44798.919
AT ITER 4035 NEW BEST:: SOT 192062 SOS 66891 HAS SOPS 66891 HAS SOUS 44725 HAS SOUPS 44725 WITH SCORE 44791.891
AT ITER 4040 NEW BEST:: SOT 192059 SOS 66878 HAS SOPS 66878 HAS SOUS 44722 HAS SOUPS 44722 WITH SCORE 44788.878
AT ITER 4051 NEW BEST:: SOT 192059 SOS 66860 HAS SOPS 66860 HAS SOUS 44704 HAS SOUPS 44704 WITH SCORE 44770.86
AT ITER 4057 NEW BEST:: SOT 191981 SOS 66704 HAS SOPS 66704 HAS SOUS 44548 HAS SOUPS 44548 WITH SCORE 44614.704
AT ITER 4062 NEW BEST:: SOT 192073 SOS 66750 HAS SOPS 66750 HAS SOUS 44461 HAS SOUPS 44461 WITH SCORE 44527.75
AT ITER 4083 NEW BEST:: SOT 192072 SOS 66749 HAS SOPS 66749 HAS SOUS 44460 HAS SOUPS 44460 WITH SCORE 44526.749
AT ITER 4085 NEW BEST:: SOT 192136 SOS 66810 HAS SOPS 66810 HAS SOUS 44454 HAS SOUPS 44454 WITH SCORE 44520.81
AT ITER 4101 NEW BEST:: SOT 192142 SOS 66746 HAS SOPS 66746 HAS SOUS 44390 HAS SOUPS 44390 WITH SCORE 44456.746
AT ITER 4108 NEW BEST:: SOT 192176 SOS 66778 HAS SOPS 66778 HAS SOUS 44379 HAS SOUPS 44379 WITH SCORE 44445.778
AT ITER 4119 NEW BEST:: SOT 192227 SOS 66751 HAS SOPS 66751 HAS SOUS 44352 HAS SOUPS 44352 WITH SCORE 44418.751
AT ITER 4148 NEW BEST:: SOT 192188 SOS 66712 HAS SOPS 66712 HAS SOUS 44313 HAS SOUPS 44313 WITH SCORE 44379.712
AT ITER 4150 NEW BEST:: SOT 192188 SOS 66657 HAS SOPS 66657 HAS SOUS 44260 HAS SOUPS 44260 WITH SCORE 44326.657
AT ITER 4166 NEW BEST:: SOT 192158 SOS 66597 HAS SOPS 66597 HAS SOUS 44194 HAS SOUPS 44194 WITH SCORE 44260.597
AT ITER 4168 NEW BEST:: SOT 192181 SOS 66537 HAS SOPS 66537 HAS SOUS 44134 HAS SOUPS 44134 WITH SCORE 44200.537
AT ITER 4172 NEW BEST:: SOT 192181 SOS 66560 HAS SOPS 66560 HAS SOUS 44113 HAS SOUPS 44113 WITH SCORE 44179.56
AT ITER 4188 NEW BEST:: SOT 192119 SOS 66467 HAS SOPS 66467 HAS SOUS 44051 HAS SOUPS 44051 WITH SCORE 44117.467
AT ITER 4191 NEW BEST:: SOT 192137 SOS 66503 HAS SOPS 66503 HAS SOUS 44047 HAS SOUPS 44047 WITH SCORE 44113.503
AT ITER 4200 NEW BEST:: SOT 192137 SOS 66374 HAS SOPS 66374 HAS SOUS 44047 HAS SOUPS 44047 WITH SCORE 44113.374
AT ITER 4227 NEW BEST:: SOT 192042 SOS 66324 HAS SOPS 66324 HAS SOUS 43984 HAS SOUPS 43984 WITH SCORE 44050.324
AT ITER 4229 NEW BEST:: SOT 192005 SOS 66233 HAS SOPS 66233 HAS SOUS 43930 HAS SOUPS 43930 WITH SCORE 43996.233
AT ITER 4237 NEW BEST:: SOT 192194 SOS 66233 HAS SOPS 66233 HAS SOUS 43741 HAS SOUPS 43741 WITH SCORE 43807.233
AT ITER 4240 NEW BEST:: SOT 192183 SOS 66222 HAS SOPS 66222 HAS SOUS 43730 HAS SOUPS 43730 WITH SCORE 43796.222
AT ITER 4252 NEW BEST:: SOT 192185 SOS 65597 HAS SOPS 65597 HAS SOUS 43695 HAS SOUPS 43695 WITH SCORE 43760.597
AT ITER 4257 NEW BEST:: SOT 192180 SOS 65592 HAS SOPS 65592 HAS SOUS 43690 HAS SOUPS 43690 WITH SCORE 43755.592
AT ITER 4299 NEW BEST:: SOT 192146 SOS 65576 HAS SOPS 65576 HAS SOUS 43674 HAS SOUPS 43674 WITH SCORE 43739.576
AT ITER 4309 NEW BEST:: SOT 192168 SOS 65518 HAS SOPS 65518 HAS SOUS 43616 HAS SOUPS 43616 WITH SCORE 43681.518
AT ITER 4341 NEW BEST:: SOT 192150 SOS 65434 HAS SOPS 65434 HAS SOUS 43532 HAS SOUPS 43532 WITH SCORE 43597.434
AT ITER 4351 NEW BEST:: SOT 192180 SOS 65230 HAS SOPS 65230 HAS SOUS 43518 HAS SOUPS 43518 WITH SCORE 43583.23
AT ITER 4373 NEW BEST:: SOT 192107 SOS 65173 HAS SOPS 65173 HAS SOUS 43461 HAS SOUPS 43461 WITH SCORE 43526.173
AT ITER 4376 NEW BEST:: SOT 192094 SOS 65147 HAS SOPS 65147 HAS SOUS 43435 HAS SOUPS 43435 WITH SCORE 43500.147
AT ITER 4380 NEW BEST:: SOT 192082 SOS 65120 HAS SOPS 65120 HAS SOUS 43408 HAS SOUPS 43408 WITH SCORE 43473.12
AT ITER 4383 NEW BEST:: SOT 192082 SOS 65118 HAS SOPS 65118 HAS SOUS 43406 HAS SOUPS 43406 WITH SCORE 43471.118
AT ITER 4398 NEW BEST:: SOT 192056 SOS 65107 HAS SOPS 65107 HAS SOUS 43395 HAS SOUPS 43395 WITH SCORE 43460.107
AT ITER 4404 NEW BEST:: SOT 192049 SOS 65093 HAS SOPS 65093 HAS SOUS 43388 HAS SOUPS 43388 WITH SCORE 43453.093
AT ITER 4407 NEW BEST:: SOT 191943 SOS 64878 HAS SOPS 64878 HAS SOUS 43369 HAS SOUPS 43369 WITH SCORE 43433.878
AT ITER 4434 NEW BEST:: SOT 191928 SOS 64848 HAS SOPS 64848 HAS SOUS 43355 HAS SOUPS 43355 WITH SCORE 43419.848
AT ITER 4448 NEW BEST:: SOT 191928 SOS 64846 HAS SOPS 64846 HAS SOUS 43354 HAS SOUPS 43354 WITH SCORE 43418.846
AT ITER 4478 NEW BEST:: SOT 191928 SOS 64813 HAS SOPS 64813 HAS SOUS 43288 HAS SOUPS 43288 WITH SCORE 43352.813
AT ITER 4484 NEW BEST:: SOT 191927 SOS 64778 HAS SOPS 64778 HAS SOUS 43253 HAS SOUPS 43253 WITH SCORE 43317.778
AT ITER 4515 NEW BEST:: SOT 191919 SOS 64770 HAS SOPS 64770 HAS SOUS 43245 HAS SOUPS 43245 WITH SCORE 43309.77
AT ITER 4518 NEW BEST:: SOT 191977 SOS 64706 HAS SOPS 64706 HAS SOUS 43181 HAS SOUPS 43181 WITH SCORE 43245.706
AT ITER 4549 NEW BEST:: SOT 191988 SOS 64686 HAS SOPS 64686 HAS SOUS 43177 HAS SOUPS 43177 WITH SCORE 43241.686
AT ITER 4566 NEW BEST:: SOT 191979 SOS 64592 HAS SOPS 64592 HAS SOUS 43083 HAS SOUPS 43083 WITH SCORE 43147.592
AT ITER 4581 NEW BEST:: SOT 191957 SOS 64595 HAS SOPS 64595 HAS SOUS 43078 HAS SOUPS 43078 WITH SCORE 43142.595
AT ITER 4590 NEW BEST:: SOT 192011 SOS 64179 HAS SOPS 64179 HAS SOUS 42973 HAS SOUPS 42973 WITH SCORE 43037.179
AT ITER 4608 NEW BEST:: SOT 192031 SOS 64176 HAS SOPS 64176 HAS SOUS 42970 HAS SOUPS 42970 WITH SCORE 43034.176
AT ITER 4636 NEW BEST:: SOT 192014 SOS 64159 HAS SOPS 64159 HAS SOUS 42953 HAS SOUPS 42953 WITH SCORE 43017.159
AT ITER 4645 NEW BEST:: SOT 191874 SOS 63953 HAS SOPS 63953 HAS SOUS 42747 HAS SOUPS 42747 WITH SCORE 42810.953
AT ITER 4649 NEW BEST:: SOT 191845 SOS 63929 HAS SOPS 63929 HAS SOUS 42723 HAS SOUPS 42723 WITH SCORE 42786.929
AT ITER 4652 NEW BEST:: SOT 191777 SOS 63895 HAS SOPS 63895 HAS SOUS 42689 HAS SOUPS 42689 WITH SCORE 42752.895
AT ITER 4679 NEW BEST:: SOT 191756 SOS 63838 HAS SOPS 63838 HAS SOUS 42632 HAS SOUPS 42632 WITH SCORE 42695.838
AT ITER 4763 NEW BEST:: SOT 191651 SOS 63672 HAS SOPS 63672 HAS SOUS 42466 HAS SOUPS 42466 WITH SCORE 42529.672
AT ITER 4805 NEW BEST:: SOT 191649 SOS 63674 HAS SOPS 63674 HAS SOUS 42462 HAS SOUPS 42462 WITH SCORE 42525.674
AT ITER 4814 NEW BEST:: SOT 191643 SOS 63662 HAS SOPS 63662 HAS SOUS 42456 HAS SOUPS 42456 WITH SCORE 42519.662
AT ITER 4833 NEW BEST:: SOT 191529 SOS 63491 HAS SOPS 63491 HAS SOUS 42342 HAS SOUPS 42342 WITH SCORE 42405.491
AT ITER 4834 NEW BEST:: SOT 191521 SOS 63479 HAS SOPS 63479 HAS SOUS 42330 HAS SOUPS 42330 WITH SCORE 42393.479
AT ITER 4837 NEW BEST:: SOT 191528 SOS 63419 HAS SOPS 63419 HAS SOUS 42274 HAS SOUPS 42274 WITH SCORE 42337.419
AT ITER 4850 NEW BEST:: SOT 191527 SOS 63418 HAS SOPS 63418 HAS SOUS 42274 HAS SOUPS 42274 WITH SCORE 42337.418
AT ITER 4852 NEW BEST:: SOT 191525 SOS 63343 HAS SOPS 63343 HAS SOUS 42199 HAS SOUPS 42199 WITH SCORE 42262.343
AT ITER 4856 NEW BEST:: SOT 191508 SOS 63309 HAS SOPS 63309 HAS SOUS 42182 HAS SOUPS 42182 WITH SCORE 42245.309
AT ITER 4865 NEW BEST:: SOT 191504 SOS 63305 HAS SOPS 63305 HAS SOUS 42178 HAS SOUPS 42178 WITH SCORE 42241.305
AT ITER 4873 NEW BEST:: SOT 191495 SOS 63296 HAS SOPS 63296 HAS SOUS 42169 HAS SOUPS 42169 WITH SCORE 42232.296
AT ITER 4926 NEW BEST:: SOT 191477 SOS 63278 HAS SOPS 63278 HAS SOUS 42151 HAS SOUPS 42151 WITH SCORE 42214.278
AT ITER 4935 NEW BEST:: SOT 191465 SOS 63266 HAS SOPS 63266 HAS SOUS 42151 HAS SOUPS 42151 WITH SCORE 42214.266
AT ITER 4966 NEW BEST:: SOT 191441 SOS 63198 HAS SOPS 63198 HAS SOUS 42127 HAS SOUPS 42127 WITH SCORE 42190.198
AT ITER 4981 NEW BEST:: SOT 191441 SOS 63198 HAS SOPS 63198 HAS SOUS 42116 HAS SOUPS 42116 WITH SCORE 42179.198
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-14-CTLFireability-00 (! (EG( (AX( (! ((potential((tk(P451)>=1))))))))))
PROPERTY: BusinessProcesses-PT-14-CTLFireability-01 (EF( ((potential((tk(P395)>=1))))))
PROPERTY: BusinessProcesses-PT-14-CTLFireability-02 ( ((potential((tk(P269)>=1)))) | ( ((potential((tk(P178)>=1)))) | (EF( (! (! ((potential((tk(P110)>=1)))))))) ) )
PROPERTY: BusinessProcesses-PT-14-CTLFireability-03 (AG( ( ( (EX( ((potential((tk(P176)>=1)))))) | (AX( ((potential((tk(P484)>=1)))))) ) | (! (AF( ((potential((tk(P362)>=1) & (tk(P246)>=1) & (tk(P590)>=1))))))) )))
PROPERTY: BusinessProcesses-PT-14-CTLFireability-04 ( (! (EU( (! ((potential((tk(P282)>=1))))) , (! ((potential((tk(P23)>=1))))) ))) | ( (EF( ( ((potential((tk(P418)>=1) & (tk(P205)>=1) & (tk(P604)>=1)))) & ( ((potential((tk(P419)>=1)))) & ((potential((tk(P552)>=1)))) ) ))) | (AF( (AG( ((potential((tk(P585)>=1)))))))) ) )
PROPERTY: BusinessProcesses-PT-14-CTLFireability-05 (AG( (EG( ( ((potential((tk(P378)>=1) & (tk(P83)>=1) & (tk(P449)>=1)))) | (! ((potential((tk(P19)>=1))))) )))))
PROPERTY: BusinessProcesses-PT-14-CTLFireability-06 (AX( ( ((potential((tk(P360)>=1)))) | ( (EF( ((potential((tk(P325)>=1)))))) | (! (! ((potential((tk(P396)>=1)))))) ) )))
PROPERTY: BusinessProcesses-PT-14-CTLFireability-07 (EU( (EG( (! ((potential((tk(P446)>=1))))))) , (AU( ((potential((tk(P311)>=1)))) , ((potential((tk(P237)>=1)))) )) ))
PROPERTY: BusinessProcesses-PT-14-CTLFireability-08 (EF( ( ( (EG( ((potential((tk(P408)>=1) & (tk(P187)>=1) & (tk(P598)>=1)))))) | ( ((potential((tk(P137)>=1)))) | (! ((potential((tk(P346)>=1))))) ) ) & (AU( ((potential((tk(P102)>=1)))) , ((potential((tk(P568)>=1)))) )) )))
PROPERTY: BusinessProcesses-PT-14-CTLFireability-09 (AG( ( (EF( (! ((potential((tk(P408)>=1) & (tk(P196)>=1) & (tk(P613)>=1))))))) & (! (EF( ((potential((tk(P485)>=1))))))) )))
PROPERTY: BusinessProcesses-PT-14-CTLFireability-10 ( ( (EG( ((potential((tk(P51)>=1)))))) & ((potential((tk(P176)>=1)))) ) | ( ( (AU( ((potential((tk(P192)>=1)))) , ((potential((tk(P13)>=1)))) )) | (EF( ((potential((tk(P305)>=1)))))) ) | ((potential((tk(P15)>=1)))) ) )
PROPERTY: BusinessProcesses-PT-14-CTLFireability-11 (! (EF( ( (EG( ((potential((tk(P123)>=1)))))) & (AX( ((potential((tk(P413)>=1) & (tk(P199)>=1) & (tk(P566)>=1)))))) ))))
PROPERTY: BusinessProcesses-PT-14-CTLFireability-12 ( ( ((potential((tk(P60)>=1)))) | (EF( (AF( ((potential((tk(P432)>=1) & (tk(P73)>=1) & (tk(P590)>=1)))))))) ) & ( ((potential((tk(P579)>=1)))) | ( (AG( ((potential((tk(P100)>=1)))))) | (AX( (! ((potential((tk(P558)>=1))))))) ) ) )
PROPERTY: BusinessProcesses-PT-14-CTLFireability-13 ( (EU( ( (! ((potential((tk(P476)>=1))))) | (! ((potential((tk(P171)>=1))))) ) , ( ((potential((tk(P411)>=1)))) | ( ((potential((tk(P413)>=1) & (tk(P199)>=1) & (tk(P610)>=1)))) | ((potential((tk(P376)>=1)))) ) ) )) & ( (AF( (EF( ((potential((tk(P239)>=1)))))))) | ((potential((tk(P408)>=1) & (tk(P196)>=1) & (tk(P607)>=1)))) ) )
PROPERTY: BusinessProcesses-PT-14-CTLFireability-14 (AG( ( ((potential((tk(P488)>=1)))) | ( (AF( ((potential((tk(P336)>=1)))))) | ( (! ((potential((tk(P81)>=1))))) | ( ((potential((tk(P335)>=1)))) & ((potential((tk(P326)>=1)))) ) ) ) )))
PROPERTY: BusinessProcesses-PT-14-CTLFireability-15 ( ((potential((tk(P351)>=1)))) | (EF( ((potential((tk(P121)>=1)))))) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-14"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-14, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897680200556"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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