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

About the Execution of smart for BusinessProcesses-PT-16

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15768.000 3600000.00 3587060.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-158897680200572.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-16, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200572
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 344K
-rw-r--r-- 1 mcc users 4.0K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 17K 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.3K Apr 8 14:44 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:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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.8K 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 159K 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-16-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-16-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-16-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-16-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-16-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-16-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-16-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-16-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-16-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-16-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-16-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-16-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-16-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-16-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-16-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-16-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590869265214

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 16
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: 638 places, 578 transitions, 1694 arcs.
AT ITER 0 NEW BEST:: SOT 234356 SOS 90427 HAS SOPS 90427 HAS SOUS 86710 HAS SOUPS 86710 WITH SCORE 86800.427
AT ITER 8 NEW BEST:: SOT 234258 SOS 90340 HAS SOPS 90340 HAS SOUS 86622 HAS SOUPS 86622 WITH SCORE 86712.34
AT ITER 15 NEW BEST:: SOT 234115 SOS 90303 HAS SOPS 90303 HAS SOUS 86585 HAS SOUPS 86585 WITH SCORE 86675.303
AT ITER 18 NEW BEST:: SOT 233925 SOS 90078 HAS SOPS 90078 HAS SOUS 86360 HAS SOUPS 86360 WITH SCORE 86450.078
AT ITER 21 NEW BEST:: SOT 233761 SOS 89914 HAS SOPS 89914 HAS SOUS 86196 HAS SOUPS 86196 WITH SCORE 86285.914
AT ITER 22 NEW BEST:: SOT 233661 SOS 89905 HAS SOPS 89905 HAS SOUS 86187 HAS SOUPS 86187 WITH SCORE 86276.905
AT ITER 36 NEW BEST:: SOT 233661 SOS 89845 HAS SOPS 89845 HAS SOUS 86127 HAS SOUPS 86127 WITH SCORE 86216.845
AT ITER 47 NEW BEST:: SOT 233533 SOS 89717 HAS SOPS 89717 HAS SOUS 86126 HAS SOUPS 86126 WITH SCORE 86215.717
AT ITER 50 NEW BEST:: SOT 233381 SOS 89658 HAS SOPS 89658 HAS SOUS 86067 HAS SOUPS 86067 WITH SCORE 86156.658
AT ITER 52 NEW BEST:: SOT 233381 SOS 89466 HAS SOPS 89466 HAS SOUS 85971 HAS SOUPS 85971 WITH SCORE 86060.466
AT ITER 57 NEW BEST:: SOT 227131 SOS 104423 HAS SOPS 104423 HAS SOUS 80374 HAS SOUPS 80374 WITH SCORE 80478.423
AT ITER 58 NEW BEST:: SOT 227098 SOS 104386 HAS SOPS 104386 HAS SOUS 80337 HAS SOUPS 80337 WITH SCORE 80441.386
AT ITER 59 NEW BEST:: SOT 227097 SOS 104299 HAS SOPS 104299 HAS SOUS 80306 HAS SOUPS 80306 WITH SCORE 80410.299
AT ITER 66 NEW BEST:: SOT 227078 SOS 104261 HAS SOPS 104261 HAS SOUS 80268 HAS SOUPS 80268 WITH SCORE 80372.261
AT ITER 70 NEW BEST:: SOT 226664 SOS 103691 HAS SOPS 103691 HAS SOUS 79974 HAS SOUPS 79974 WITH SCORE 80077.691
AT ITER 87 NEW BEST:: SOT 226337 SOS 103034 HAS SOPS 103034 HAS SOUS 79698 HAS SOUPS 79698 WITH SCORE 79801.034
AT ITER 88 NEW BEST:: SOT 226310 SOS 103007 HAS SOPS 103007 HAS SOUS 79671 HAS SOUPS 79671 WITH SCORE 79774.007
AT ITER 97 NEW BEST:: SOT 226184 SOS 102818 HAS SOPS 102818 HAS SOUS 79545 HAS SOUPS 79545 WITH SCORE 79647.818
AT ITER 114 NEW BEST:: SOT 226183 SOS 102817 HAS SOPS 102817 HAS SOUS 79544 HAS SOUPS 79544 WITH SCORE 79646.817
AT ITER 116 NEW BEST:: SOT 226143 SOS 102737 HAS SOPS 102737 HAS SOUS 79542 HAS SOUPS 79542 WITH SCORE 79644.737
AT ITER 126 NEW BEST:: SOT 226143 SOS 102734 HAS SOPS 102734 HAS SOUS 79539 HAS SOUPS 79539 WITH SCORE 79641.734
AT ITER 135 NEW BEST:: SOT 226119 SOS 102709 HAS SOPS 102709 HAS SOUS 79535 HAS SOUPS 79535 WITH SCORE 79637.709
AT ITER 137 NEW BEST:: SOT 225958 SOS 102542 HAS SOPS 102542 HAS SOUS 79499 HAS SOUPS 79499 WITH SCORE 79601.542
AT ITER 138 NEW BEST:: SOT 226033 SOS 102617 HAS SOPS 102617 HAS SOUS 79462 HAS SOUPS 79462 WITH SCORE 79564.617
AT ITER 144 NEW BEST:: SOT 226033 SOS 102422 HAS SOPS 102422 HAS SOUS 79352 HAS SOUPS 79352 WITH SCORE 79454.422
AT ITER 148 NEW BEST:: SOT 225877 SOS 102110 HAS SOPS 102110 HAS SOUS 79155 HAS SOUPS 79155 WITH SCORE 79257.11
AT ITER 149 NEW BEST:: SOT 225933 SOS 102166 HAS SOPS 102166 HAS SOUS 79099 HAS SOUPS 79099 WITH SCORE 79201.166
AT ITER 174 NEW BEST:: SOT 225869 SOS 102095 HAS SOPS 102095 HAS SOUS 79028 HAS SOUPS 79028 WITH SCORE 79130.095
AT ITER 186 NEW BEST:: SOT 225868 SOS 102094 HAS SOPS 102094 HAS SOUS 79028 HAS SOUPS 79028 WITH SCORE 79130.094
AT ITER 189 NEW BEST:: SOT 225825 SOS 102008 HAS SOPS 102008 HAS SOUS 78942 HAS SOUPS 78942 WITH SCORE 79044.008
AT ITER 190 NEW BEST:: SOT 225825 SOS 101998 HAS SOPS 101998 HAS SOUS 78932 HAS SOUPS 78932 WITH SCORE 79033.998
AT ITER 196 NEW BEST:: SOT 225812 SOS 101972 HAS SOPS 101972 HAS SOUS 78906 HAS SOUPS 78906 WITH SCORE 79007.972
AT ITER 220 NEW BEST:: SOT 225763 SOS 101875 HAS SOPS 101875 HAS SOUS 78809 HAS SOUPS 78809 WITH SCORE 78910.875
AT ITER 233 NEW BEST:: SOT 225507 SOS 101619 HAS SOPS 101619 HAS SOUS 78705 HAS SOUPS 78705 WITH SCORE 78806.619
AT ITER 234 NEW BEST:: SOT 225520 SOS 101441 HAS SOPS 101441 HAS SOUS 78527 HAS SOUPS 78527 WITH SCORE 78628.441
AT ITER 248 NEW BEST:: SOT 225520 SOS 101395 HAS SOPS 101395 HAS SOUS 78481 HAS SOUPS 78481 WITH SCORE 78582.395
AT ITER 250 NEW BEST:: SOT 225406 SOS 101177 HAS SOPS 101177 HAS SOUS 78389 HAS SOUPS 78389 WITH SCORE 78490.177
AT ITER 263 NEW BEST:: SOT 225387 SOS 101158 HAS SOPS 101158 HAS SOUS 78370 HAS SOUPS 78370 WITH SCORE 78471.158
AT ITER 266 NEW BEST:: SOT 225269 SOS 100922 HAS SOPS 100922 HAS SOUS 78251 HAS SOUPS 78251 WITH SCORE 78351.922
AT ITER 268 NEW BEST:: SOT 225219 SOS 100847 HAS SOPS 100847 HAS SOUS 78176 HAS SOUPS 78176 WITH SCORE 78276.847
AT ITER 270 NEW BEST:: SOT 224879 SOS 100337 HAS SOPS 100337 HAS SOUS 77836 HAS SOUPS 77836 WITH SCORE 77936.337
AT ITER 280 NEW BEST:: SOT 222276 SOS 97733 HAS SOPS 97733 HAS SOUS 75410 HAS SOUPS 75410 WITH SCORE 75507.733
AT ITER 304 NEW BEST:: SOT 222276 SOS 97798 HAS SOPS 97798 HAS SOUS 75409 HAS SOUPS 75409 WITH SCORE 75506.798
AT ITER 319 NEW BEST:: SOT 222181 SOS 97726 HAS SOPS 97726 HAS SOUS 75337 HAS SOUPS 75337 WITH SCORE 75434.726
AT ITER 343 NEW BEST:: SOT 222108 SOS 97573 HAS SOPS 97573 HAS SOUS 75241 HAS SOUPS 75241 WITH SCORE 75338.573
AT ITER 345 NEW BEST:: SOT 222073 SOS 97538 HAS SOPS 97538 HAS SOUS 75241 HAS SOUPS 75241 WITH SCORE 75338.538
AT ITER 348 NEW BEST:: SOT 222072 SOS 97537 HAS SOPS 97537 HAS SOUS 75240 HAS SOUPS 75240 WITH SCORE 75337.537
AT ITER 359 NEW BEST:: SOT 221956 SOS 96897 HAS SOPS 96897 HAS SOUS 74934 HAS SOUPS 74934 WITH SCORE 75030.897
AT ITER 364 NEW BEST:: SOT 221910 SOS 96856 HAS SOPS 96856 HAS SOUS 74930 HAS SOUPS 74930 WITH SCORE 75026.856
AT ITER 367 NEW BEST:: SOT 221909 SOS 96862 HAS SOPS 96862 HAS SOUS 74928 HAS SOUPS 74928 WITH SCORE 75024.862
AT ITER 383 NEW BEST:: SOT 221908 SOS 96860 HAS SOPS 96860 HAS SOUS 74926 HAS SOUPS 74926 WITH SCORE 75022.86
AT ITER 390 NEW BEST:: SOT 221909 SOS 96861 HAS SOPS 96861 HAS SOUS 74914 HAS SOUPS 74914 WITH SCORE 75010.861
AT ITER 394 NEW BEST:: SOT 221842 SOS 96794 HAS SOPS 96794 HAS SOUS 74847 HAS SOUPS 74847 WITH SCORE 74943.794
AT ITER 410 NEW BEST:: SOT 221648 SOS 96406 HAS SOPS 96406 HAS SOUS 74674 HAS SOUPS 74674 WITH SCORE 74770.406
AT ITER 411 NEW BEST:: SOT 221648 SOS 96405 HAS SOPS 96405 HAS SOUS 74673 HAS SOUPS 74673 WITH SCORE 74769.405
AT ITER 416 NEW BEST:: SOT 221635 SOS 96392 HAS SOPS 96392 HAS SOUS 74660 HAS SOUPS 74660 WITH SCORE 74756.392
AT ITER 428 NEW BEST:: SOT 221611 SOS 96390 HAS SOPS 96390 HAS SOUS 74659 HAS SOUPS 74659 WITH SCORE 74755.39
AT ITER 429 NEW BEST:: SOT 221702 SOS 96339 HAS SOPS 96339 HAS SOUS 74608 HAS SOUPS 74608 WITH SCORE 74704.339
AT ITER 431 NEW BEST:: SOT 221702 SOS 96333 HAS SOPS 96333 HAS SOUS 74602 HAS SOUPS 74602 WITH SCORE 74698.333
AT ITER 432 NEW BEST:: SOT 221451 SOS 95859 HAS SOPS 95859 HAS SOUS 74304 HAS SOUPS 74304 WITH SCORE 74399.859
AT ITER 440 NEW BEST:: SOT 221322 SOS 95595 HAS SOPS 95595 HAS SOUS 74269 HAS SOUPS 74269 WITH SCORE 74364.595
AT ITER 457 NEW BEST:: SOT 221322 SOS 95409 HAS SOPS 95409 HAS SOUS 74083 HAS SOUPS 74083 WITH SCORE 74178.409
AT ITER 463 NEW BEST:: SOT 221047 SOS 95014 HAS SOPS 95014 HAS SOUS 73906 HAS SOUPS 73906 WITH SCORE 74001.014
AT ITER 464 NEW BEST:: SOT 221037 SOS 94994 HAS SOPS 94994 HAS SOUS 73886 HAS SOUPS 73886 WITH SCORE 73980.994
AT ITER 467 NEW BEST:: SOT 221037 SOS 94988 HAS SOPS 94988 HAS SOUS 73884 HAS SOUPS 73884 WITH SCORE 73978.988
AT ITER 473 NEW BEST:: SOT 221037 SOS 95052 HAS SOPS 95052 HAS SOUS 73883 HAS SOUPS 73883 WITH SCORE 73978.052
AT ITER 479 NEW BEST:: SOT 220824 SOS 94626 HAS SOPS 94626 HAS SOUS 73669 HAS SOUPS 73669 WITH SCORE 73763.626
AT ITER 480 NEW BEST:: SOT 220740 SOS 94138 HAS SOPS 94138 HAS SOUS 73616 HAS SOUPS 73616 WITH SCORE 73710.138
AT ITER 487 NEW BEST:: SOT 220632 SOS 94108 HAS SOPS 94108 HAS SOUS 73586 HAS SOUPS 73586 WITH SCORE 73680.108
AT ITER 488 NEW BEST:: SOT 220484 SOS 94034 HAS SOPS 94034 HAS SOUS 73512 HAS SOUPS 73512 WITH SCORE 73606.034
AT ITER 494 NEW BEST:: SOT 220474 SOS 94014 HAS SOPS 94014 HAS SOUS 73492 HAS SOUPS 73492 WITH SCORE 73586.014
AT ITER 529 NEW BEST:: SOT 220474 SOS 93949 HAS SOPS 93949 HAS SOUS 73487 HAS SOUPS 73487 WITH SCORE 73580.949
AT ITER 538 NEW BEST:: SOT 220471 SOS 93777 HAS SOPS 93777 HAS SOUS 73327 HAS SOUPS 73327 WITH SCORE 73420.777
AT ITER 542 NEW BEST:: SOT 220453 SOS 93759 HAS SOPS 93759 HAS SOUS 73309 HAS SOUPS 73309 WITH SCORE 73402.759
AT ITER 545 NEW BEST:: SOT 220324 SOS 93501 HAS SOPS 93501 HAS SOUS 73224 HAS SOUPS 73224 WITH SCORE 73317.501
AT ITER 549 NEW BEST:: SOT 220241 SOS 93417 HAS SOPS 93417 HAS SOUS 73181 HAS SOUPS 73181 WITH SCORE 73274.417
AT ITER 552 NEW BEST:: SOT 220235 SOS 93405 HAS SOPS 93405 HAS SOUS 73169 HAS SOUPS 73169 WITH SCORE 73262.405
AT ITER 555 NEW BEST:: SOT 220315 SOS 93478 HAS SOPS 93478 HAS SOUS 73154 HAS SOUPS 73154 WITH SCORE 73247.478
AT ITER 559 NEW BEST:: SOT 220109 SOS 93169 HAS SOPS 93169 HAS SOUS 72948 HAS SOUPS 72948 WITH SCORE 73041.169
AT ITER 572 NEW BEST:: SOT 219457 SOS 92433 HAS SOPS 92433 HAS SOUS 72212 HAS SOUPS 72212 WITH SCORE 72304.433
AT ITER 577 NEW BEST:: SOT 219457 SOS 92430 HAS SOPS 92430 HAS SOUS 72209 HAS SOUPS 72209 WITH SCORE 72301.43
AT ITER 582 NEW BEST:: SOT 219441 SOS 92414 HAS SOPS 92414 HAS SOUS 72193 HAS SOUPS 72193 WITH SCORE 72285.414
AT ITER 583 NEW BEST:: SOT 219391 SOS 92084 HAS SOPS 92084 HAS SOUS 71910 HAS SOUPS 71910 WITH SCORE 72002.084
AT ITER 590 NEW BEST:: SOT 219296 SOS 91962 HAS SOPS 91962 HAS SOUS 71788 HAS SOUPS 71788 WITH SCORE 71879.962
AT ITER 599 NEW BEST:: SOT 219251 SOS 91917 HAS SOPS 91917 HAS SOUS 71743 HAS SOUPS 71743 WITH SCORE 71834.917
AT ITER 603 NEW BEST:: SOT 219165 SOS 91746 HAS SOPS 91746 HAS SOUS 71572 HAS SOUPS 71572 WITH SCORE 71663.746
AT ITER 605 NEW BEST:: SOT 219165 SOS 91741 HAS SOPS 91741 HAS SOUS 71572 HAS SOUPS 71572 WITH SCORE 71663.741
AT ITER 606 NEW BEST:: SOT 219102 SOS 91671 HAS SOPS 91671 HAS SOUS 71502 HAS SOUPS 71502 WITH SCORE 71593.671
AT ITER 636 NEW BEST:: SOT 219102 SOS 91538 HAS SOPS 91538 HAS SOUS 71432 HAS SOUPS 71432 WITH SCORE 71523.538
AT ITER 642 NEW BEST:: SOT 219042 SOS 91448 HAS SOPS 91448 HAS SOUS 71372 HAS SOUPS 71372 WITH SCORE 71463.448
AT ITER 670 NEW BEST:: SOT 219057 SOS 91469 HAS SOPS 91469 HAS SOUS 71368 HAS SOUPS 71368 WITH SCORE 71459.469
AT ITER 676 NEW BEST:: SOT 219001 SOS 91412 HAS SOPS 91412 HAS SOUS 71366 HAS SOUPS 71366 WITH SCORE 71457.412
AT ITER 677 NEW BEST:: SOT 218967 SOS 91476 HAS SOPS 91476 HAS SOUS 71310 HAS SOUPS 71310 WITH SCORE 71401.476
AT ITER 678 NEW BEST:: SOT 218846 SOS 91234 HAS SOPS 91234 HAS SOUS 70947 HAS SOUPS 70947 WITH SCORE 71038.234
AT ITER 690 NEW BEST:: SOT 218836 SOS 91223 HAS SOPS 91223 HAS SOUS 70945 HAS SOUPS 70945 WITH SCORE 71036.223
AT ITER 694 NEW BEST:: SOT 218676 SOS 90897 HAS SOPS 90897 HAS SOUS 70724 HAS SOUPS 70724 WITH SCORE 70814.897
AT ITER 696 NEW BEST:: SOT 218277 SOS 90520 HAS SOPS 90520 HAS SOUS 70574 HAS SOUPS 70574 WITH SCORE 70664.52
AT ITER 702 NEW BEST:: SOT 218231 SOS 90428 HAS SOPS 90428 HAS SOUS 70505 HAS SOUPS 70505 WITH SCORE 70595.428
AT ITER 708 NEW BEST:: SOT 218203 SOS 90373 HAS SOPS 90373 HAS SOUS 70450 HAS SOUPS 70450 WITH SCORE 70540.373
AT ITER 709 NEW BEST:: SOT 218163 SOS 90258 HAS SOPS 90258 HAS SOUS 70335 HAS SOUPS 70335 WITH SCORE 70425.258
AT ITER 715 NEW BEST:: SOT 218163 SOS 90178 HAS SOPS 90178 HAS SOUS 70255 HAS SOUPS 70255 WITH SCORE 70345.178
AT ITER 718 NEW BEST:: SOT 218370 SOS 89816 HAS SOPS 89816 HAS SOUS 69937 HAS SOUPS 69937 WITH SCORE 70026.816
AT ITER 724 NEW BEST:: SOT 218361 SOS 89807 HAS SOPS 89807 HAS SOUS 69928 HAS SOUPS 69928 WITH SCORE 70017.807
AT ITER 737 NEW BEST:: SOT 218066 SOS 89482 HAS SOPS 89482 HAS SOUS 69906 HAS SOUPS 69906 WITH SCORE 69995.482
AT ITER 742 NEW BEST:: SOT 218198 SOS 89614 HAS SOPS 89614 HAS SOUS 69873 HAS SOUPS 69873 WITH SCORE 69962.614
AT ITER 750 NEW BEST:: SOT 215957 SOS 87182 HAS SOPS 87182 HAS SOUS 67506 HAS SOUPS 67506 WITH SCORE 67593.182
AT ITER 751 NEW BEST:: SOT 215957 SOS 87135 HAS SOPS 87135 HAS SOUS 67459 HAS SOUPS 67459 WITH SCORE 67546.135
AT ITER 760 NEW BEST:: SOT 215867 SOS 87044 HAS SOPS 87044 HAS SOUS 67457 HAS SOUPS 67457 WITH SCORE 67544.044
AT ITER 769 NEW BEST:: SOT 215783 SOS 86960 HAS SOPS 86960 HAS SOUS 67373 HAS SOUPS 67373 WITH SCORE 67459.96
AT ITER 773 NEW BEST:: SOT 215626 SOS 86749 HAS SOPS 86749 HAS SOUS 67216 HAS SOUPS 67216 WITH SCORE 67302.749
AT ITER 778 NEW BEST:: SOT 215597 SOS 86542 HAS SOPS 86542 HAS SOUS 67058 HAS SOUPS 67058 WITH SCORE 67144.542
AT ITER 780 NEW BEST:: SOT 215550 SOS 86419 HAS SOPS 86419 HAS SOUS 66935 HAS SOUPS 66935 WITH SCORE 67021.419
AT ITER 785 NEW BEST:: SOT 215559 SOS 86419 HAS SOPS 86419 HAS SOUS 66926 HAS SOUPS 66926 WITH SCORE 67012.419
AT ITER 791 NEW BEST:: SOT 215193 SOS 85917 HAS SOPS 85917 HAS SOUS 66654 HAS SOUPS 66654 WITH SCORE 66739.917
AT ITER 792 NEW BEST:: SOT 215179 SOS 85917 HAS SOPS 85917 HAS SOUS 66642 HAS SOUPS 66642 WITH SCORE 66727.917
AT ITER 800 NEW BEST:: SOT 214979 SOS 85717 HAS SOPS 85717 HAS SOUS 66642 HAS SOUPS 66642 WITH SCORE 66727.717
AT ITER 810 NEW BEST:: SOT 214979 SOS 85703 HAS SOPS 85703 HAS SOUS 66614 HAS SOUPS 66614 WITH SCORE 66699.703
AT ITER 812 NEW BEST:: SOT 213413 SOS 84137 HAS SOPS 84137 HAS SOUS 65154 HAS SOUPS 65154 WITH SCORE 65238.137
AT ITER 833 NEW BEST:: SOT 213095 SOS 84059 HAS SOPS 84059 HAS SOUS 64900 HAS SOUPS 64900 WITH SCORE 64984.059
AT ITER 849 NEW BEST:: SOT 213005 SOS 83879 HAS SOPS 83879 HAS SOUS 64849 HAS SOUPS 64849 WITH SCORE 64932.879
AT ITER 853 NEW BEST:: SOT 213005 SOS 83786 HAS SOPS 83786 HAS SOUS 64766 HAS SOUPS 64766 WITH SCORE 64849.786
AT ITER 874 NEW BEST:: SOT 212948 SOS 83729 HAS SOPS 83729 HAS SOUS 64676 HAS SOUPS 64676 WITH SCORE 64759.729
AT ITER 888 NEW BEST:: SOT 212945 SOS 83726 HAS SOPS 83726 HAS SOUS 64673 HAS SOUPS 64673 WITH SCORE 64756.726
AT ITER 894 NEW BEST:: SOT 212828 SOS 83609 HAS SOPS 83609 HAS SOUS 64560 HAS SOUPS 64560 WITH SCORE 64643.609
AT ITER 902 NEW BEST:: SOT 212827 SOS 83607 HAS SOPS 83607 HAS SOUS 64558 HAS SOUPS 64558 WITH SCORE 64641.607
AT ITER 909 NEW BEST:: SOT 213141 SOS 83683 HAS SOPS 83683 HAS SOUS 64402 HAS SOUPS 64402 WITH SCORE 64485.683
AT ITER 911 NEW BEST:: SOT 213141 SOS 83650 HAS SOPS 83650 HAS SOUS 64391 HAS SOUPS 64391 WITH SCORE 64474.65
AT ITER 919 NEW BEST:: SOT 213140 SOS 83648 HAS SOPS 83648 HAS SOUS 64389 HAS SOUPS 64389 WITH SCORE 64472.648
AT ITER 921 NEW BEST:: SOT 213181 SOS 83391 HAS SOPS 83391 HAS SOUS 64256 HAS SOUPS 64256 WITH SCORE 64339.391
AT ITER 922 NEW BEST:: SOT 213179 SOS 83389 HAS SOPS 83389 HAS SOUS 64254 HAS SOUPS 64254 WITH SCORE 64337.389
AT ITER 925 NEW BEST:: SOT 212944 SOS 83151 HAS SOPS 83151 HAS SOUS 64248 HAS SOUPS 64248 WITH SCORE 64331.151
AT ITER 930 NEW BEST:: SOT 212824 SOS 82911 HAS SOPS 82911 HAS SOUS 64008 HAS SOUPS 64008 WITH SCORE 64090.911
AT ITER 965 NEW BEST:: SOT 212823 SOS 82898 HAS SOPS 82898 HAS SOUS 63995 HAS SOUPS 63995 WITH SCORE 64077.898
AT ITER 970 NEW BEST:: SOT 212802 SOS 82875 HAS SOPS 82875 HAS SOUS 63972 HAS SOUPS 63972 WITH SCORE 64054.875
AT ITER 978 NEW BEST:: SOT 212735 SOS 82808 HAS SOPS 82808 HAS SOUS 63972 HAS SOUPS 63972 WITH SCORE 64054.808
AT ITER 982 NEW BEST:: SOT 212817 SOS 82890 HAS SOPS 82890 HAS SOUS 63971 HAS SOUPS 63971 WITH SCORE 64053.89
AT ITER 1020 NEW BEST:: SOT 212769 SOS 82842 HAS SOPS 82842 HAS SOUS 63971 HAS SOUPS 63971 WITH SCORE 64053.842
AT ITER 1021 NEW BEST:: SOT 212985 SOS 82955 HAS SOPS 82955 HAS SOUS 63889 HAS SOUPS 63889 WITH SCORE 63971.955
AT ITER 1024 NEW BEST:: SOT 212995 SOS 82914 HAS SOPS 82914 HAS SOUS 63848 HAS SOUPS 63848 WITH SCORE 63930.914
AT ITER 1026 NEW BEST:: SOT 213016 SOS 82863 HAS SOPS 82863 HAS SOUS 63725 HAS SOUPS 63725 WITH SCORE 63807.863
AT ITER 1031 NEW BEST:: SOT 213050 SOS 82713 HAS SOPS 82713 HAS SOUS 63615 HAS SOUPS 63615 WITH SCORE 63697.713
AT ITER 1032 NEW BEST:: SOT 213040 SOS 82703 HAS SOPS 82703 HAS SOUS 63615 HAS SOUPS 63615 WITH SCORE 63697.703
AT ITER 1059 NEW BEST:: SOT 213093 SOS 82809 HAS SOPS 82809 HAS SOUS 63613 HAS SOUPS 63613 WITH SCORE 63695.809
AT ITER 1071 NEW BEST:: SOT 213093 SOS 82809 HAS SOPS 82809 HAS SOUS 63609 HAS SOUPS 63609 WITH SCORE 63691.809
AT ITER 1088 NEW BEST:: SOT 213090 SOS 82803 HAS SOPS 82803 HAS SOUS 63603 HAS SOUPS 63603 WITH SCORE 63685.803
AT ITER 1093 NEW BEST:: SOT 213296 SOS 82699 HAS SOPS 82699 HAS SOUS 63362 HAS SOUPS 63362 WITH SCORE 63444.699
AT ITER 1098 NEW BEST:: SOT 213319 SOS 82661 HAS SOPS 82661 HAS SOUS 63324 HAS SOUPS 63324 WITH SCORE 63406.661
AT ITER 1101 NEW BEST:: SOT 213353 SOS 82599 HAS SOPS 82599 HAS SOUS 63262 HAS SOUPS 63262 WITH SCORE 63344.599
AT ITER 1102 NEW BEST:: SOT 213353 SOS 82599 HAS SOPS 82599 HAS SOUS 63217 HAS SOUPS 63217 WITH SCORE 63299.599
AT ITER 1132 NEW BEST:: SOT 213351 SOS 82595 HAS SOPS 82595 HAS SOUS 63213 HAS SOUPS 63213 WITH SCORE 63295.595
AT ITER 1143 NEW BEST:: SOT 213168 SOS 82157 HAS SOPS 82157 HAS SOUS 63005 HAS SOUPS 63005 WITH SCORE 63087.157
AT ITER 1144 NEW BEST:: SOT 213154 SOS 82143 HAS SOPS 82143 HAS SOUS 62991 HAS SOUPS 62991 WITH SCORE 63073.143
AT ITER 1149 NEW BEST:: SOT 213151 SOS 82104 HAS SOPS 82104 HAS SOUS 62952 HAS SOUPS 62952 WITH SCORE 63034.104
AT ITER 1153 NEW BEST:: SOT 212965 SOS 81732 HAS SOPS 81732 HAS SOUS 62763 HAS SOUPS 62763 WITH SCORE 62844.732
AT ITER 1171 NEW BEST:: SOT 212667 SOS 81343 HAS SOPS 81343 HAS SOUS 62581 HAS SOUPS 62581 WITH SCORE 62662.343
AT ITER 1178 NEW BEST:: SOT 212617 SOS 81293 HAS SOPS 81293 HAS SOUS 62422 HAS SOUPS 62422 WITH SCORE 62503.293
AT ITER 1179 NEW BEST:: SOT 212616 SOS 81292 HAS SOPS 81292 HAS SOUS 62421 HAS SOUPS 62421 WITH SCORE 62502.292
AT ITER 1182 NEW BEST:: SOT 212597 SOS 81283 HAS SOPS 81283 HAS SOUS 62412 HAS SOUPS 62412 WITH SCORE 62493.283
AT ITER 1214 NEW BEST:: SOT 212563 SOS 81215 HAS SOPS 81215 HAS SOUS 62344 HAS SOUPS 62344 WITH SCORE 62425.215
AT ITER 1238 NEW BEST:: SOT 212146 SOS 81425 HAS SOPS 81425 HAS SOUS 62086 HAS SOUPS 62086 WITH SCORE 62167.425
AT ITER 1256 NEW BEST:: SOT 212027 SOS 81209 HAS SOPS 81209 HAS SOUS 61870 HAS SOUPS 61870 WITH SCORE 61951.209
AT ITER 1258 NEW BEST:: SOT 212027 SOS 81205 HAS SOPS 81205 HAS SOUS 61866 HAS SOUPS 61866 WITH SCORE 61947.205
AT ITER 1262 NEW BEST:: SOT 212046 SOS 81211 HAS SOPS 81211 HAS SOUS 61857 HAS SOUPS 61857 WITH SCORE 61938.211
AT ITER 1267 NEW BEST:: SOT 212046 SOS 81211 HAS SOPS 81211 HAS SOUS 61843 HAS SOUPS 61843 WITH SCORE 61924.211
AT ITER 1280 NEW BEST:: SOT 212191 SOS 81109 HAS SOPS 81109 HAS SOUS 61741 HAS SOUPS 61741 WITH SCORE 61822.109
AT ITER 1292 NEW BEST:: SOT 212191 SOS 81020 HAS SOPS 81020 HAS SOUS 61652 HAS SOUPS 61652 WITH SCORE 61733.02
AT ITER 1304 NEW BEST:: SOT 212188 SOS 81014 HAS SOPS 81014 HAS SOUS 61646 HAS SOUPS 61646 WITH SCORE 61727.014
AT ITER 1317 NEW BEST:: SOT 212187 SOS 81012 HAS SOPS 81012 HAS SOUS 61644 HAS SOUPS 61644 WITH SCORE 61725.012
AT ITER 1322 NEW BEST:: SOT 212171 SOS 80746 HAS SOPS 80746 HAS SOUS 61602 HAS SOUPS 61602 WITH SCORE 61682.746
AT ITER 1331 NEW BEST:: SOT 212213 SOS 80741 HAS SOPS 80741 HAS SOUS 61597 HAS SOUPS 61597 WITH SCORE 61677.741
AT ITER 1333 NEW BEST:: SOT 212213 SOS 80688 HAS SOPS 80688 HAS SOUS 61544 HAS SOUPS 61544 WITH SCORE 61624.688
AT ITER 1338 NEW BEST:: SOT 212191 SOS 80670 HAS SOPS 80670 HAS SOUS 61526 HAS SOUPS 61526 WITH SCORE 61606.67
AT ITER 1344 NEW BEST:: SOT 212230 SOS 80586 HAS SOPS 80586 HAS SOUS 61306 HAS SOUPS 61306 WITH SCORE 61386.586
AT ITER 1347 NEW BEST:: SOT 212222 SOS 80570 HAS SOPS 80570 HAS SOUS 61290 HAS SOUPS 61290 WITH SCORE 61370.57
AT ITER 1358 NEW BEST:: SOT 212184 SOS 80630 HAS SOPS 80630 HAS SOUS 61268 HAS SOUPS 61268 WITH SCORE 61348.63
AT ITER 1360 NEW BEST:: SOT 212184 SOS 80587 HAS SOPS 80587 HAS SOUS 61268 HAS SOUPS 61268 WITH SCORE 61348.587
AT ITER 1378 NEW BEST:: SOT 212184 SOS 80487 HAS SOPS 80487 HAS SOUS 61168 HAS SOUPS 61168 WITH SCORE 61248.487
AT ITER 1394 NEW BEST:: SOT 212062 SOS 80205 HAS SOPS 80205 HAS SOUS 60886 HAS SOUPS 60886 WITH SCORE 60966.205
AT ITER 1423 NEW BEST:: SOT 211747 SOS 79667 HAS SOPS 79667 HAS SOUS 60425 HAS SOUPS 60425 WITH SCORE 60504.667
AT ITER 1426 NEW BEST:: SOT 211738 SOS 79649 HAS SOPS 79649 HAS SOUS 60407 HAS SOUPS 60407 WITH SCORE 60486.649
AT ITER 1432 NEW BEST:: SOT 211738 SOS 79587 HAS SOPS 79587 HAS SOUS 60345 HAS SOUPS 60345 WITH SCORE 60424.587
AT ITER 1437 NEW BEST:: SOT 211720 SOS 79361 HAS SOPS 79361 HAS SOUS 60260 HAS SOUPS 60260 WITH SCORE 60339.361
AT ITER 1453 NEW BEST:: SOT 211662 SOS 79370 HAS SOPS 79370 HAS SOUS 60202 HAS SOUPS 60202 WITH SCORE 60281.37
AT ITER 1462 NEW BEST:: SOT 211730 SOS 79373 HAS SOPS 79373 HAS SOUS 60177 HAS SOUPS 60177 WITH SCORE 60256.373
AT ITER 1500 NEW BEST:: SOT 211722 SOS 79357 HAS SOPS 79357 HAS SOUS 60161 HAS SOUPS 60161 WITH SCORE 60240.357
AT ITER 1505 NEW BEST:: SOT 211654 SOS 79221 HAS SOPS 79221 HAS SOUS 60025 HAS SOUPS 60025 WITH SCORE 60104.221
AT ITER 1506 NEW BEST:: SOT 211721 SOS 79198 HAS SOPS 79198 HAS SOUS 59964 HAS SOUPS 59964 WITH SCORE 60043.198
AT ITER 1508 NEW BEST:: SOT 211432 SOS 78852 HAS SOPS 78852 HAS SOUS 59850 HAS SOUPS 59850 WITH SCORE 59928.852
AT ITER 1513 NEW BEST:: SOT 211472 SOS 78808 HAS SOPS 78808 HAS SOUS 59806 HAS SOUPS 59806 WITH SCORE 59884.808
AT ITER 1515 NEW BEST:: SOT 211472 SOS 78753 HAS SOPS 78753 HAS SOUS 59751 HAS SOUPS 59751 WITH SCORE 59829.753
AT ITER 1520 NEW BEST:: SOT 211412 SOS 78718 HAS SOPS 78718 HAS SOUS 59691 HAS SOUPS 59691 WITH SCORE 59769.718
AT ITER 1528 NEW BEST:: SOT 211385 SOS 78664 HAS SOPS 78664 HAS SOUS 59664 HAS SOUPS 59664 WITH SCORE 59742.664
AT ITER 1535 NEW BEST:: SOT 211385 SOS 78664 HAS SOPS 78664 HAS SOUS 59663 HAS SOUPS 59663 WITH SCORE 59741.664
AT ITER 1570 NEW BEST:: SOT 211363 SOS 78620 HAS SOPS 78620 HAS SOUS 59571 HAS SOUPS 59571 WITH SCORE 59649.62
AT ITER 1574 NEW BEST:: SOT 211380 SOS 78625 HAS SOPS 78625 HAS SOUS 59477 HAS SOUPS 59477 WITH SCORE 59555.625
AT ITER 1578 NEW BEST:: SOT 211308 SOS 78619 HAS SOPS 78619 HAS SOUS 59471 HAS SOUPS 59471 WITH SCORE 59549.619
AT ITER 1584 NEW BEST:: SOT 211276 SOS 78555 HAS SOPS 78555 HAS SOUS 59439 HAS SOUPS 59439 WITH SCORE 59517.555
AT ITER 1596 NEW BEST:: SOT 211236 SOS 78495 HAS SOPS 78495 HAS SOUS 59399 HAS SOUPS 59399 WITH SCORE 59477.495
AT ITER 1601 NEW BEST:: SOT 211300 SOS 78443 HAS SOPS 78443 HAS SOUS 59208 HAS SOUPS 59208 WITH SCORE 59286.443
AT ITER 1608 NEW BEST:: SOT 211298 SOS 78441 HAS SOPS 78441 HAS SOUS 59206 HAS SOUPS 59206 WITH SCORE 59284.441
AT ITER 1610 NEW BEST:: SOT 211298 SOS 78419 HAS SOPS 78419 HAS SOUS 59158 HAS SOUPS 59158 WITH SCORE 59236.419
AT ITER 1620 NEW BEST:: SOT 211282 SOS 78387 HAS SOPS 78387 HAS SOUS 59126 HAS SOUPS 59126 WITH SCORE 59204.387
AT ITER 1622 NEW BEST:: SOT 211266 SOS 78355 HAS SOPS 78355 HAS SOUS 59094 HAS SOUPS 59094 WITH SCORE 59172.355
AT ITER 1637 NEW BEST:: SOT 211286 SOS 78146 HAS SOPS 78146 HAS SOUS 59083 HAS SOUPS 59083 WITH SCORE 59161.146
AT ITER 1638 NEW BEST:: SOT 211279 SOS 78123 HAS SOPS 78123 HAS SOUS 59044 HAS SOUPS 59044 WITH SCORE 59122.123
AT ITER 1655 NEW BEST:: SOT 211279 SOS 78104 HAS SOPS 78104 HAS SOUS 59025 HAS SOUPS 59025 WITH SCORE 59103.104
AT ITER 1662 NEW BEST:: SOT 211412 SOS 78006 HAS SOPS 78006 HAS SOUS 58927 HAS SOUPS 58927 WITH SCORE 59005.006
AT ITER 1667 NEW BEST:: SOT 211386 SOS 77954 HAS SOPS 77954 HAS SOUS 58875 HAS SOUPS 58875 WITH SCORE 58952.954
AT ITER 1668 NEW BEST:: SOT 211327 SOS 77836 HAS SOPS 77836 HAS SOUS 58757 HAS SOUPS 58757 WITH SCORE 58834.836
AT ITER 1674 NEW BEST:: SOT 211321 SOS 77824 HAS SOPS 77824 HAS SOUS 58739 HAS SOUPS 58739 WITH SCORE 58816.824
AT ITER 1687 NEW BEST:: SOT 211321 SOS 77820 HAS SOPS 77820 HAS SOUS 58735 HAS SOUPS 58735 WITH SCORE 58812.82
AT ITER 1705 NEW BEST:: SOT 211298 SOS 77774 HAS SOPS 77774 HAS SOUS 58688 HAS SOUPS 58688 WITH SCORE 58765.774
AT ITER 1722 NEW BEST:: SOT 211278 SOS 77754 HAS SOPS 77754 HAS SOUS 58687 HAS SOUPS 58687 WITH SCORE 58764.754
AT ITER 1724 NEW BEST:: SOT 211321 SOS 77755 HAS SOPS 77755 HAS SOUS 58603 HAS SOUPS 58603 WITH SCORE 58680.755
AT ITER 1740 NEW BEST:: SOT 211333 SOS 77767 HAS SOPS 77767 HAS SOUS 58577 HAS SOUPS 58577 WITH SCORE 58654.767
AT ITER 1756 NEW BEST:: SOT 211327 SOS 77755 HAS SOPS 77755 HAS SOUS 58565 HAS SOUPS 58565 WITH SCORE 58642.755
AT ITER 1757 NEW BEST:: SOT 211371 SOS 77940 HAS SOPS 77940 HAS SOUS 58556 HAS SOUPS 58556 WITH SCORE 58633.94
AT ITER 1763 NEW BEST:: SOT 211371 SOS 77919 HAS SOPS 77919 HAS SOUS 58553 HAS SOUPS 58553 WITH SCORE 58630.919
AT ITER 1770 NEW BEST:: SOT 211334 SOS 77882 HAS SOPS 77882 HAS SOUS 58516 HAS SOUPS 58516 WITH SCORE 58593.882
AT ITER 1773 NEW BEST:: SOT 211235 SOS 78025 HAS SOPS 78025 HAS SOUS 58362 HAS SOUPS 58362 WITH SCORE 58440.025
AT ITER 1787 NEW BEST:: SOT 211229 SOS 78018 HAS SOPS 78018 HAS SOUS 58361 HAS SOUPS 58361 WITH SCORE 58439.018
AT ITER 1792 NEW BEST:: SOT 211127 SOS 77896 HAS SOPS 77896 HAS SOUS 58239 HAS SOUPS 58239 WITH SCORE 58316.896
AT ITER 1793 NEW BEST:: SOT 211127 SOS 77889 HAS SOPS 77889 HAS SOUS 58232 HAS SOUPS 58232 WITH SCORE 58309.889
AT ITER 1805 NEW BEST:: SOT 211103 SOS 78045 HAS SOPS 78045 HAS SOUS 58208 HAS SOUPS 58208 WITH SCORE 58286.045
AT ITER 1815 NEW BEST:: SOT 211103 SOS 78044 HAS SOPS 78044 HAS SOUS 58207 HAS SOUPS 58207 WITH SCORE 58285.044
AT ITER 1831 NEW BEST:: SOT 211119 SOS 78026 HAS SOPS 78026 HAS SOUS 58189 HAS SOUPS 58189 WITH SCORE 58267.026
AT ITER 1836 NEW BEST:: SOT 211096 SOS 78003 HAS SOPS 78003 HAS SOUS 58166 HAS SOUPS 58166 WITH SCORE 58244.003
AT ITER 1843 NEW BEST:: SOT 211085 SOS 77992 HAS SOPS 77992 HAS SOUS 58155 HAS SOUPS 58155 WITH SCORE 58232.992
AT ITER 1856 NEW BEST:: SOT 211093 SOS 77941 HAS SOPS 77941 HAS SOUS 58138 HAS SOUPS 58138 WITH SCORE 58215.941
AT ITER 1872 NEW BEST:: SOT 211157 SOS 77691 HAS SOPS 77691 HAS SOUS 58050 HAS SOUPS 58050 WITH SCORE 58127.691
AT ITER 1905 NEW BEST:: SOT 211114 SOS 77630 HAS SOPS 77630 HAS SOUS 58029 HAS SOUPS 58029 WITH SCORE 58106.63
AT ITER 1917 NEW BEST:: SOT 211097 SOS 77609 HAS SOPS 77609 HAS SOUS 58021 HAS SOUPS 58021 WITH SCORE 58098.609
AT ITER 1924 NEW BEST:: SOT 211066 SOS 77587 HAS SOPS 77587 HAS SOUS 57999 HAS SOUPS 57999 WITH SCORE 58076.587
AT ITER 1925 NEW BEST:: SOT 211029 SOS 77513 HAS SOPS 77513 HAS SOUS 57959 HAS SOUPS 57959 WITH SCORE 58036.513
AT ITER 1928 NEW BEST:: SOT 211029 SOS 77457 HAS SOPS 77457 HAS SOUS 57903 HAS SOUPS 57903 WITH SCORE 57980.457
AT ITER 1933 NEW BEST:: SOT 211029 SOS 77443 HAS SOPS 77443 HAS SOUS 57889 HAS SOUPS 57889 WITH SCORE 57966.443
AT ITER 1937 NEW BEST:: SOT 211032 SOS 77442 HAS SOPS 77442 HAS SOUS 57853 HAS SOUPS 57853 WITH SCORE 57930.442
AT ITER 1940 NEW BEST:: SOT 211032 SOS 77442 HAS SOPS 77442 HAS SOUS 57823 HAS SOUPS 57823 WITH SCORE 57900.442
AT ITER 1948 NEW BEST:: SOT 210970 SOS 77429 HAS SOPS 77429 HAS SOUS 57810 HAS SOUPS 57810 WITH SCORE 57887.429
AT ITER 1981 NEW BEST:: SOT 210972 SOS 77421 HAS SOPS 77421 HAS SOUS 57802 HAS SOUPS 57802 WITH SCORE 57879.421
AT ITER 1989 NEW BEST:: SOT 210972 SOS 77415 HAS SOPS 77415 HAS SOUS 57796 HAS SOUPS 57796 WITH SCORE 57873.415
AT ITER 1993 NEW BEST:: SOT 210949 SOS 77369 HAS SOPS 77369 HAS SOUS 57773 HAS SOUPS 57773 WITH SCORE 57850.369
AT ITER 2033 NEW BEST:: SOT 210888 SOS 77325 HAS SOPS 77325 HAS SOUS 57755 HAS SOUPS 57755 WITH SCORE 57832.325
AT ITER 2035 NEW BEST:: SOT 210878 SOS 77315 HAS SOPS 77315 HAS SOUS 57745 HAS SOUPS 57745 WITH SCORE 57822.315
AT ITER 2047 NEW BEST:: SOT 210622 SOS 77148 HAS SOPS 77148 HAS SOUS 57463 HAS SOUPS 57463 WITH SCORE 57540.148
AT ITER 2087 NEW BEST:: SOT 210477 SOS 76991 HAS SOPS 76991 HAS SOUS 57306 HAS SOUPS 57306 WITH SCORE 57382.991
AT ITER 2109 NEW BEST:: SOT 210477 SOS 76932 HAS SOPS 76932 HAS SOUS 57229 HAS SOUPS 57229 WITH SCORE 57305.932
AT ITER 2118 NEW BEST:: SOT 210463 SOS 76918 HAS SOPS 76918 HAS SOUS 57215 HAS SOUPS 57215 WITH SCORE 57291.918
AT ITER 2127 NEW BEST:: SOT 210442 SOS 76906 HAS SOPS 76906 HAS SOUS 57203 HAS SOUPS 57203 WITH SCORE 57279.906
AT ITER 2134 NEW BEST:: SOT 210428 SOS 76892 HAS SOPS 76892 HAS SOUS 57203 HAS SOUPS 57203 WITH SCORE 57279.892
AT ITER 2136 NEW BEST:: SOT 210428 SOS 76805 HAS SOPS 76805 HAS SOUS 57172 HAS SOUPS 57172 WITH SCORE 57248.805
AT ITER 2147 NEW BEST:: SOT 210405 SOS 76782 HAS SOPS 76782 HAS SOUS 57149 HAS SOUPS 57149 WITH SCORE 57225.782
AT ITER 2151 NEW BEST:: SOT 210399 SOS 76770 HAS SOPS 76770 HAS SOUS 57137 HAS SOUPS 57137 WITH SCORE 57213.77
AT ITER 2154 NEW BEST:: SOT 210384 SOS 76740 HAS SOPS 76740 HAS SOUS 57124 HAS SOUPS 57124 WITH SCORE 57200.74
AT ITER 2162 NEW BEST:: SOT 210251 SOS 76408 HAS SOPS 76408 HAS SOUS 56792 HAS SOUPS 56792 WITH SCORE 56868.408
AT ITER 2166 NEW BEST:: SOT 210232 SOS 76389 HAS SOPS 76389 HAS SOUS 56792 HAS SOUPS 56792 WITH SCORE 56868.389
AT ITER 2180 NEW BEST:: SOT 210102 SOS 76164 HAS SOPS 76164 HAS SOUS 56705 HAS SOUPS 56705 WITH SCORE 56781.164
AT ITER 2186 NEW BEST:: SOT 210091 SOS 76060 HAS SOPS 76060 HAS SOUS 56694 HAS SOUPS 56694 WITH SCORE 56770.06
AT ITER 2206 NEW BEST:: SOT 210104 SOS 75830 HAS SOPS 75830 HAS SOUS 56585 HAS SOUPS 56585 WITH SCORE 56660.83
AT ITER 2210 NEW BEST:: SOT 210104 SOS 75792 HAS SOPS 75792 HAS SOUS 56547 HAS SOUPS 56547 WITH SCORE 56622.792
AT ITER 2237 NEW BEST:: SOT 210039 SOS 75684 HAS SOPS 75684 HAS SOUS 56439 HAS SOUPS 56439 WITH SCORE 56514.684
AT ITER 2239 NEW BEST:: SOT 210039 SOS 75684 HAS SOPS 75684 HAS SOUS 56389 HAS SOUPS 56389 WITH SCORE 56464.684
AT ITER 2242 NEW BEST:: SOT 209927 SOS 75454 HAS SOPS 75454 HAS SOUS 56278 HAS SOUPS 56278 WITH SCORE 56353.454
AT ITER 2244 NEW BEST:: SOT 209541 SOS 75758 HAS SOPS 75758 HAS SOUS 55926 HAS SOUPS 55926 WITH SCORE 56001.758
AT ITER 2309 NEW BEST:: SOT 209337 SOS 75350 HAS SOPS 75350 HAS SOUS 55819 HAS SOUPS 55819 WITH SCORE 55894.35
AT ITER 2324 NEW BEST:: SOT 209493 SOS 75488 HAS SOPS 75488 HAS SOUS 55746 HAS SOUPS 55746 WITH SCORE 55821.488
AT ITER 2327 NEW BEST:: SOT 209445 SOS 75392 HAS SOPS 75392 HAS SOUS 55650 HAS SOUPS 55650 WITH SCORE 55725.392
AT ITER 2338 NEW BEST:: SOT 209447 SOS 75384 HAS SOPS 75384 HAS SOUS 55642 HAS SOUPS 55642 WITH SCORE 55717.384
AT ITER 2367 NEW BEST:: SOT 209387 SOS 75314 HAS SOPS 75314 HAS SOUS 55572 HAS SOUPS 55572 WITH SCORE 55647.314
AT ITER 2375 NEW BEST:: SOT 209275 SOS 75202 HAS SOPS 75202 HAS SOUS 55460 HAS SOUPS 55460 WITH SCORE 55535.202
AT ITER 2396 NEW BEST:: SOT 209275 SOS 75201 HAS SOPS 75201 HAS SOUS 55459 HAS SOUPS 55459 WITH SCORE 55534.201
AT ITER 2401 NEW BEST:: SOT 209275 SOS 75162 HAS SOPS 75162 HAS SOUS 55420 HAS SOUPS 55420 WITH SCORE 55495.162
AT ITER 2417 NEW BEST:: SOT 209275 SOS 75162 HAS SOPS 75162 HAS SOUS 55399 HAS SOUPS 55399 WITH SCORE 55474.162
AT ITER 2427 NEW BEST:: SOT 209271 SOS 75141 HAS SOPS 75141 HAS SOUS 55378 HAS SOUPS 55378 WITH SCORE 55453.141
AT ITER 2440 NEW BEST:: SOT 209267 SOS 75137 HAS SOPS 75137 HAS SOUS 55374 HAS SOUPS 55374 WITH SCORE 55449.137
AT ITER 2464 NEW BEST:: SOT 209200 SOS 75070 HAS SOPS 75070 HAS SOUS 55307 HAS SOUPS 55307 WITH SCORE 55382.07
AT ITER 2472 NEW BEST:: SOT 209174 SOS 75044 HAS SOPS 75044 HAS SOUS 55281 HAS SOUPS 55281 WITH SCORE 55356.044
AT ITER 2473 NEW BEST:: SOT 209081 SOS 74951 HAS SOPS 74951 HAS SOUS 55188 HAS SOUPS 55188 WITH SCORE 55262.951
AT ITER 2477 NEW BEST:: SOT 209109 SOS 75007 HAS SOPS 75007 HAS SOUS 55170 HAS SOUPS 55170 WITH SCORE 55245.007
AT ITER 2481 NEW BEST:: SOT 208822 SOS 74365 HAS SOPS 74365 HAS SOUS 54898 HAS SOUPS 54898 WITH SCORE 54972.365
AT ITER 2507 NEW BEST:: SOT 208820 SOS 74366 HAS SOPS 74366 HAS SOUS 54874 HAS SOUPS 54874 WITH SCORE 54948.366
AT ITER 2511 NEW BEST:: SOT 208806 SOS 74338 HAS SOPS 74338 HAS SOUS 54860 HAS SOUPS 54860 WITH SCORE 54934.338
AT ITER 2553 NEW BEST:: SOT 208806 SOS 74320 HAS SOPS 74320 HAS SOUS 54860 HAS SOUPS 54860 WITH SCORE 54934.32
AT ITER 2569 NEW BEST:: SOT 208796 SOS 74300 HAS SOPS 74300 HAS SOUS 54840 HAS SOUPS 54840 WITH SCORE 54914.3
AT ITER 2614 NEW BEST:: SOT 208826 SOS 74323 HAS SOPS 74323 HAS SOUS 54826 HAS SOUPS 54826 WITH SCORE 54900.323
AT ITER 2636 NEW BEST:: SOT 209070 SOS 74553 HAS SOPS 74553 HAS SOUS 54746 HAS SOUPS 54746 WITH SCORE 54820.553
AT ITER 2638 NEW BEST:: SOT 209070 SOS 74466 HAS SOPS 74466 HAS SOUS 54746 HAS SOUPS 54746 WITH SCORE 54820.466
AT ITER 2639 NEW BEST:: SOT 209062 SOS 74450 HAS SOPS 74450 HAS SOUS 54730 HAS SOUPS 54730 WITH SCORE 54804.45
AT ITER 2643 NEW BEST:: SOT 208969 SOS 74401 HAS SOPS 74401 HAS SOUS 54681 HAS SOUPS 54681 WITH SCORE 54755.401
AT ITER 2646 NEW BEST:: SOT 208956 SOS 74375 HAS SOPS 74375 HAS SOUS 54655 HAS SOUPS 54655 WITH SCORE 54729.375
AT ITER 2647 NEW BEST:: SOT 208930 SOS 74323 HAS SOPS 74323 HAS SOUS 54603 HAS SOUPS 54603 WITH SCORE 54677.323
AT ITER 2654 NEW BEST:: SOT 208924 SOS 74311 HAS SOPS 74311 HAS SOUS 54559 HAS SOUPS 54559 WITH SCORE 54633.311
AT ITER 2665 NEW BEST:: SOT 208962 SOS 74305 HAS SOPS 74305 HAS SOUS 54553 HAS SOUPS 54553 WITH SCORE 54627.305
AT ITER 2707 NEW BEST:: SOT 207559 SOS 74796 HAS SOPS 74796 HAS SOUS 53346 HAS SOUPS 53346 WITH SCORE 53420.796
AT ITER 2714 NEW BEST:: SOT 207458 SOS 74594 HAS SOPS 74594 HAS SOUS 53043 HAS SOUPS 53043 WITH SCORE 53117.594
AT ITER 2726 NEW BEST:: SOT 207454 SOS 74599 HAS SOPS 74599 HAS SOUS 53035 HAS SOUPS 53035 WITH SCORE 53109.599
AT ITER 2740 NEW BEST:: SOT 207454 SOS 74354 HAS SOPS 74354 HAS SOUS 53035 HAS SOUPS 53035 WITH SCORE 53109.354
AT ITER 2766 NEW BEST:: SOT 207454 SOS 74354 HAS SOPS 74354 HAS SOUS 53007 HAS SOUPS 53007 WITH SCORE 53081.354
AT ITER 2774 NEW BEST:: SOT 207346 SOS 74217 HAS SOPS 74217 HAS SOUS 52990 HAS SOUPS 52990 WITH SCORE 53064.217
AT ITER 2780 NEW BEST:: SOT 207270 SOS 74103 HAS SOPS 74103 HAS SOUS 52914 HAS SOUPS 52914 WITH SCORE 52988.103
AT ITER 2813 NEW BEST:: SOT 207270 SOS 74103 HAS SOPS 74103 HAS SOUS 52866 HAS SOUPS 52866 WITH SCORE 52940.103
AT ITER 2835 NEW BEST:: SOT 207333 SOS 73967 HAS SOPS 73967 HAS SOUS 52767 HAS SOUPS 52767 WITH SCORE 52840.967
AT ITER 2852 NEW BEST:: SOT 207265 SOS 73736 HAS SOPS 73736 HAS SOUS 52536 HAS SOUPS 52536 WITH SCORE 52609.736
AT ITER 2867 NEW BEST:: SOT 207262 SOS 73730 HAS SOPS 73730 HAS SOUS 52530 HAS SOUPS 52530 WITH SCORE 52603.73
AT ITER 2868 NEW BEST:: SOT 207247 SOS 73700 HAS SOPS 73700 HAS SOUS 52500 HAS SOUPS 52500 WITH SCORE 52573.7
AT ITER 2883 NEW BEST:: SOT 207230 SOS 73699 HAS SOPS 73699 HAS SOUS 52499 HAS SOUPS 52499 WITH SCORE 52572.699
AT ITER 2896 NEW BEST:: SOT 207212 SOS 73663 HAS SOPS 73663 HAS SOUS 52463 HAS SOUPS 52463 WITH SCORE 52536.663
AT ITER 2908 NEW BEST:: SOT 207206 SOS 73634 HAS SOPS 73634 HAS SOUS 52454 HAS SOUPS 52454 WITH SCORE 52527.634
AT ITER 2910 NEW BEST:: SOT 207160 SOS 73588 HAS SOPS 73588 HAS SOUS 52438 HAS SOUPS 52438 WITH SCORE 52511.588
AT ITER 2914 NEW BEST:: SOT 207156 SOS 73584 HAS SOPS 73584 HAS SOUS 52434 HAS SOUPS 52434 WITH SCORE 52507.584
AT ITER 2930 NEW BEST:: SOT 207111 SOS 73494 HAS SOPS 73494 HAS SOUS 52344 HAS SOUPS 52344 WITH SCORE 52417.494
AT ITER 2933 NEW BEST:: SOT 207086 SOS 73444 HAS SOPS 73444 HAS SOUS 52293 HAS SOUPS 52293 WITH SCORE 52366.444
AT ITER 2952 NEW BEST:: SOT 207078 SOS 73306 HAS SOPS 73306 HAS SOUS 52203 HAS SOUPS 52203 WITH SCORE 52276.306
AT ITER 2962 NEW BEST:: SOT 207060 SOS 73288 HAS SOPS 73288 HAS SOUS 52185 HAS SOUPS 52185 WITH SCORE 52258.288
AT ITER 2983 NEW BEST:: SOT 206954 SOS 73235 HAS SOPS 73235 HAS SOUS 52132 HAS SOUPS 52132 WITH SCORE 52205.235
AT ITER 2987 NEW BEST:: SOT 206906 SOS 73140 HAS SOPS 73140 HAS SOUS 52123 HAS SOUPS 52123 WITH SCORE 52196.14
AT ITER 2993 NEW BEST:: SOT 206899 SOS 73133 HAS SOPS 73133 HAS SOUS 52116 HAS SOUPS 52116 WITH SCORE 52189.133
AT ITER 2994 NEW BEST:: SOT 206822 SOS 73243 HAS SOPS 73243 HAS SOUS 52083 HAS SOUPS 52083 WITH SCORE 52156.243
AT ITER 2996 NEW BEST:: SOT 206695 SOS 73116 HAS SOPS 73116 HAS SOUS 52065 HAS SOUPS 52065 WITH SCORE 52138.116
AT ITER 3002 NEW BEST:: SOT 206667 SOS 73060 HAS SOPS 73060 HAS SOUS 51981 HAS SOUPS 51981 WITH SCORE 52054.06
AT ITER 3021 NEW BEST:: SOT 206650 SOS 73026 HAS SOPS 73026 HAS SOUS 51947 HAS SOUPS 51947 WITH SCORE 52020.026
AT ITER 3028 NEW BEST:: SOT 206623 SOS 72989 HAS SOPS 72989 HAS SOUS 51843 HAS SOUPS 51843 WITH SCORE 51915.989
AT ITER 3053 NEW BEST:: SOT 206622 SOS 72988 HAS SOPS 72988 HAS SOUS 51842 HAS SOUPS 51842 WITH SCORE 51914.988
AT ITER 3058 NEW BEST:: SOT 206474 SOS 72877 HAS SOPS 72877 HAS SOUS 51731 HAS SOUPS 51731 WITH SCORE 51803.877
AT ITER 3066 NEW BEST:: SOT 206373 SOS 72966 HAS SOPS 72966 HAS SOUS 51669 HAS SOUPS 51669 WITH SCORE 51741.966
AT ITER 3072 NEW BEST:: SOT 206351 SOS 72944 HAS SOPS 72944 HAS SOUS 51669 HAS SOUPS 51669 WITH SCORE 51741.944
AT ITER 3084 NEW BEST:: SOT 206339 SOS 72932 HAS SOPS 72932 HAS SOUS 51657 HAS SOUPS 51657 WITH SCORE 51729.932
AT ITER 3085 NEW BEST:: SOT 206161 SOS 72754 HAS SOPS 72754 HAS SOUS 51479 HAS SOUPS 51479 WITH SCORE 51551.754
AT ITER 3091 NEW BEST:: SOT 206059 SOS 72579 HAS SOPS 72579 HAS SOUS 51257 HAS SOUPS 51257 WITH SCORE 51329.579
AT ITER 3097 NEW BEST:: SOT 206059 SOS 72579 HAS SOPS 72579 HAS SOUS 51253 HAS SOUPS 51253 WITH SCORE 51325.579
AT ITER 3115 NEW BEST:: SOT 206049 SOS 72559 HAS SOPS 72559 HAS SOUS 51233 HAS SOUPS 51233 WITH SCORE 51305.559
AT ITER 3117 NEW BEST:: SOT 206043 SOS 72541 HAS SOPS 72541 HAS SOUS 51215 HAS SOUPS 51215 WITH SCORE 51287.541
AT ITER 3120 NEW BEST:: SOT 206041 SOS 72537 HAS SOPS 72537 HAS SOUS 51211 HAS SOUPS 51211 WITH SCORE 51283.537
AT ITER 3125 NEW BEST:: SOT 206041 SOS 72537 HAS SOPS 72537 HAS SOUS 51209 HAS SOUPS 51209 WITH SCORE 51281.537
AT ITER 3128 NEW BEST:: SOT 205957 SOS 72445 HAS SOPS 72445 HAS SOUS 51117 HAS SOUPS 51117 WITH SCORE 51189.445
AT ITER 3164 NEW BEST:: SOT 205859 SOS 72309 HAS SOPS 72309 HAS SOUS 50981 HAS SOUPS 50981 WITH SCORE 51053.309
AT ITER 3167 NEW BEST:: SOT 205860 SOS 72242 HAS SOPS 72242 HAS SOUS 50981 HAS SOUPS 50981 WITH SCORE 51053.242
AT ITER 3224 NEW BEST:: SOT 205870 SOS 72213 HAS SOPS 72213 HAS SOUS 50952 HAS SOUPS 50952 WITH SCORE 51024.213
AT ITER 3225 NEW BEST:: SOT 205870 SOS 71990 HAS SOPS 71990 HAS SOUS 50852 HAS SOUPS 50852 WITH SCORE 50923.99
AT ITER 3242 NEW BEST:: SOT 205749 SOS 71821 HAS SOPS 71821 HAS SOUS 50748 HAS SOUPS 50748 WITH SCORE 50819.821
AT ITER 3256 NEW BEST:: SOT 205609 SOS 71708 HAS SOPS 71708 HAS SOUS 50635 HAS SOUPS 50635 WITH SCORE 50706.708
AT ITER 3264 NEW BEST:: SOT 205605 SOS 71700 HAS SOPS 71700 HAS SOUS 50627 HAS SOUPS 50627 WITH SCORE 50698.7
AT ITER 3297 NEW BEST:: SOT 205604 SOS 71699 HAS SOPS 71699 HAS SOUS 50627 HAS SOUPS 50627 WITH SCORE 50698.699
AT ITER 3320 NEW BEST:: SOT 205607 SOS 71691 HAS SOPS 71691 HAS SOUS 50608 HAS SOUPS 50608 WITH SCORE 50679.691
AT ITER 3325 NEW BEST:: SOT 205605 SOS 71687 HAS SOPS 71687 HAS SOUS 50606 HAS SOUPS 50606 WITH SCORE 50677.687
AT ITER 3387 NEW BEST:: SOT 205618 SOS 71577 HAS SOPS 71577 HAS SOUS 50496 HAS SOUPS 50496 WITH SCORE 50567.577
AT ITER 3403 NEW BEST:: SOT 205618 SOS 71568 HAS SOPS 71568 HAS SOUS 50490 HAS SOUPS 50490 WITH SCORE 50561.568
AT ITER 3409 NEW BEST:: SOT 205586 SOS 71504 HAS SOPS 71504 HAS SOUS 50458 HAS SOUPS 50458 WITH SCORE 50529.504
AT ITER 3425 NEW BEST:: SOT 205573 SOS 71478 HAS SOPS 71478 HAS SOUS 50442 HAS SOUPS 50442 WITH SCORE 50513.478
AT ITER 3426 NEW BEST:: SOT 205548 SOS 71428 HAS SOPS 71428 HAS SOUS 50392 HAS SOUPS 50392 WITH SCORE 50463.428
AT ITER 3451 NEW BEST:: SOT 205525 SOS 71382 HAS SOPS 71382 HAS SOUS 50385 HAS SOUPS 50385 WITH SCORE 50456.382
AT ITER 3453 NEW BEST:: SOT 205532 SOS 71396 HAS SOPS 71396 HAS SOUS 50366 HAS SOUPS 50366 WITH SCORE 50437.396
AT ITER 3455 NEW BEST:: SOT 205514 SOS 71369 HAS SOPS 71369 HAS SOUS 50348 HAS SOUPS 50348 WITH SCORE 50419.369
AT ITER 3482 NEW BEST:: SOT 205514 SOS 71369 HAS SOPS 71369 HAS SOUS 50283 HAS SOUPS 50283 WITH SCORE 50354.369
AT ITER 3491 NEW BEST:: SOT 205481 SOS 71303 HAS SOPS 71303 HAS SOUS 50217 HAS SOUPS 50217 WITH SCORE 50288.303
AT ITER 3500 NEW BEST:: SOT 205481 SOS 71188 HAS SOPS 71188 HAS SOUS 50126 HAS SOUPS 50126 WITH SCORE 50197.188
AT ITER 3565 NEW BEST:: SOT 205478 SOS 71185 HAS SOPS 71185 HAS SOUS 50123 HAS SOUPS 50123 WITH SCORE 50194.185
AT ITER 3572 NEW BEST:: SOT 205480 SOS 71043 HAS SOPS 71043 HAS SOUS 50123 HAS SOUPS 50123 WITH SCORE 50194.043
AT ITER 3583 NEW BEST:: SOT 205479 SOS 71042 HAS SOPS 71042 HAS SOUS 50122 HAS SOUPS 50122 WITH SCORE 50193.042
AT ITER 3591 NEW BEST:: SOT 205479 SOS 71041 HAS SOPS 71041 HAS SOUS 50121 HAS SOUPS 50121 WITH SCORE 50192.041
AT ITER 3594 NEW BEST:: SOT 205436 SOS 70998 HAS SOPS 70998 HAS SOUS 50078 HAS SOUPS 50078 WITH SCORE 50148.998
AT ITER 3628 NEW BEST:: SOT 205389 SOS 70951 HAS SOPS 70951 HAS SOUS 50031 HAS SOUPS 50031 WITH SCORE 50101.951
AT ITER 3639 NEW BEST:: SOT 205386 SOS 70948 HAS SOPS 70948 HAS SOUS 50028 HAS SOUPS 50028 WITH SCORE 50098.948
AT ITER 3640 NEW BEST:: SOT 205385 SOS 70947 HAS SOPS 70947 HAS SOUS 50028 HAS SOUPS 50028 WITH SCORE 50098.947
AT ITER 3645 NEW BEST:: SOT 205470 SOS 70929 HAS SOPS 70929 HAS SOUS 50010 HAS SOUPS 50010 WITH SCORE 50080.929
AT ITER 3654 NEW BEST:: SOT 205383 SOS 70802 HAS SOPS 70802 HAS SOUS 49983 HAS SOUPS 49983 WITH SCORE 50053.802
AT ITER 3664 NEW BEST:: SOT 205350 SOS 70754 HAS SOPS 70754 HAS SOUS 49902 HAS SOUPS 49902 WITH SCORE 49972.754
AT ITER 3674 NEW BEST:: SOT 205350 SOS 70895 HAS SOPS 70895 HAS SOUS 49897 HAS SOUPS 49897 WITH SCORE 49967.895
AT ITER 3684 NEW BEST:: SOT 205307 SOS 70832 HAS SOPS 70832 HAS SOUS 49834 HAS SOUPS 49834 WITH SCORE 49904.832
AT ITER 3686 NEW BEST:: SOT 205307 SOS 69763 HAS SOPS 69763 HAS SOUS 49830 HAS SOUPS 49830 WITH SCORE 49899.763
AT ITER 3690 NEW BEST:: SOT 205307 SOS 69722 HAS SOPS 69722 HAS SOUS 49828 HAS SOUPS 49828 WITH SCORE 49897.722
AT ITER 3703 NEW BEST:: SOT 205294 SOS 69696 HAS SOPS 69696 HAS SOUS 49802 HAS SOUPS 49802 WITH SCORE 49871.696
AT ITER 3720 NEW BEST:: SOT 205072 SOS 69252 HAS SOPS 69252 HAS SOUS 49337 HAS SOUPS 49337 WITH SCORE 49406.252
AT ITER 3722 NEW BEST:: SOT 205028 SOS 69179 HAS SOPS 69179 HAS SOUS 49264 HAS SOUPS 49264 WITH SCORE 49333.179
AT ITER 3756 NEW BEST:: SOT 204918 SOS 69069 HAS SOPS 69069 HAS SOUS 49154 HAS SOUPS 49154 WITH SCORE 49223.069
AT ITER 3758 NEW BEST:: SOT 204917 SOS 69068 HAS SOPS 69068 HAS SOUS 49153 HAS SOUPS 49153 WITH SCORE 49222.068
AT ITER 3766 NEW BEST:: SOT 204914 SOS 69057 HAS SOPS 69057 HAS SOUS 49152 HAS SOUPS 49152 WITH SCORE 49221.057
AT ITER 3774 NEW BEST:: SOT 204867 SOS 68963 HAS SOPS 68963 HAS SOUS 49105 HAS SOUPS 49105 WITH SCORE 49173.963
AT ITER 3781 NEW BEST:: SOT 204857 SOS 68943 HAS SOPS 68943 HAS SOUS 49085 HAS SOUPS 49085 WITH SCORE 49153.943
AT ITER 3784 NEW BEST:: SOT 204841 SOS 68953 HAS SOPS 68953 HAS SOUS 49081 HAS SOUPS 49081 WITH SCORE 49149.953
AT ITER 3798 NEW BEST:: SOT 204915 SOS 68918 HAS SOPS 68918 HAS SOUS 49039 HAS SOUPS 49039 WITH SCORE 49107.918
AT ITER 3803 NEW BEST:: SOT 204911 SOS 68884 HAS SOPS 68884 HAS SOUS 48975 HAS SOUPS 48975 WITH SCORE 49043.884
AT ITER 3806 NEW BEST:: SOT 204909 SOS 68880 HAS SOPS 68880 HAS SOUS 48971 HAS SOUPS 48971 WITH SCORE 49039.88
AT ITER 3824 NEW BEST:: SOT 204861 SOS 68832 HAS SOPS 68832 HAS SOUS 48913 HAS SOUPS 48913 WITH SCORE 48981.832
AT ITER 3849 NEW BEST:: SOT 204812 SOS 68789 HAS SOPS 68789 HAS SOUS 48831 HAS SOUPS 48831 WITH SCORE 48899.789
AT ITER 3858 NEW BEST:: SOT 204850 SOS 68847 HAS SOPS 68847 HAS SOUS 48826 HAS SOUPS 48826 WITH SCORE 48894.847
AT ITER 3859 NEW BEST:: SOT 204825 SOS 68710 HAS SOPS 68710 HAS SOUS 48714 HAS SOUPS 48714 WITH SCORE 48782.71
AT ITER 3880 NEW BEST:: SOT 204812 SOS 68590 HAS SOPS 68590 HAS SOUS 48675 HAS SOUPS 48675 WITH SCORE 48743.59
AT ITER 3888 NEW BEST:: SOT 204782 SOS 68530 HAS SOPS 68530 HAS SOUS 48647 HAS SOUPS 48647 WITH SCORE 48715.53
AT ITER 3944 NEW BEST:: SOT 204631 SOS 68474 HAS SOPS 68474 HAS SOUS 48619 HAS SOUPS 48619 WITH SCORE 48687.474
AT ITER 3951 NEW BEST:: SOT 204631 SOS 68477 HAS SOPS 68477 HAS SOUS 48616 HAS SOUPS 48616 WITH SCORE 48684.477
AT ITER 3958 NEW BEST:: SOT 204597 SOS 68443 HAS SOPS 68443 HAS SOUS 48582 HAS SOUPS 48582 WITH SCORE 48650.443
AT ITER 3964 NEW BEST:: SOT 204531 SOS 68277 HAS SOPS 68277 HAS SOUS 48416 HAS SOUPS 48416 WITH SCORE 48484.277
AT ITER 3968 NEW BEST:: SOT 204529 SOS 68274 HAS SOPS 68274 HAS SOUS 48414 HAS SOUPS 48414 WITH SCORE 48482.274
AT ITER 3975 NEW BEST:: SOT 204512 SOS 68257 HAS SOPS 68257 HAS SOUS 48414 HAS SOUPS 48414 WITH SCORE 48482.257
AT ITER 3987 NEW BEST:: SOT 204671 SOS 68286 HAS SOPS 68286 HAS SOUS 48362 HAS SOUPS 48362 WITH SCORE 48430.286
AT ITER 4012 NEW BEST:: SOT 204666 SOS 68280 HAS SOPS 68280 HAS SOUS 48356 HAS SOUPS 48356 WITH SCORE 48424.28
AT ITER 4021 NEW BEST:: SOT 204650 SOS 68179 HAS SOPS 68179 HAS SOUS 48332 HAS SOUPS 48332 WITH SCORE 48400.179
AT ITER 4023 NEW BEST:: SOT 204624 SOS 68153 HAS SOPS 68153 HAS SOUS 48306 HAS SOUPS 48306 WITH SCORE 48374.153
AT ITER 4036 NEW BEST:: SOT 204553 SOS 68124 HAS SOPS 68124 HAS SOUS 48300 HAS SOUPS 48300 WITH SCORE 48368.124
AT ITER 4051 NEW BEST:: SOT 204478 SOS 68032 HAS SOPS 68032 HAS SOUS 48266 HAS SOUPS 48266 WITH SCORE 48334.032
AT ITER 4057 NEW BEST:: SOT 204456 SOS 68005 HAS SOPS 68005 HAS SOUS 48239 HAS SOUPS 48239 WITH SCORE 48307.005
AT ITER 4066 NEW BEST:: SOT 204442 SOS 67963 HAS SOPS 67963 HAS SOUS 48228 HAS SOUPS 48228 WITH SCORE 48295.963
AT ITER 4070 NEW BEST:: SOT 204345 SOS 67815 HAS SOPS 67815 HAS SOUS 48080 HAS SOUPS 48080 WITH SCORE 48147.815
AT ITER 4082 NEW BEST:: SOT 204247 SOS 67619 HAS SOPS 67619 HAS SOUS 47982 HAS SOUPS 47982 WITH SCORE 48049.619
AT ITER 4098 NEW BEST:: SOT 204172 SOS 67461 HAS SOPS 67461 HAS SOUS 47932 HAS SOUPS 47932 WITH SCORE 47999.461
AT ITER 4124 NEW BEST:: SOT 204167 SOS 67451 HAS SOPS 67451 HAS SOUS 47922 HAS SOUPS 47922 WITH SCORE 47989.451
AT ITER 4126 NEW BEST:: SOT 204166 SOS 67449 HAS SOPS 67449 HAS SOUS 47920 HAS SOUPS 47920 WITH SCORE 47987.449
AT ITER 4130 NEW BEST:: SOT 204132 SOS 67347 HAS SOPS 67347 HAS SOUS 47869 HAS SOUPS 47869 WITH SCORE 47936.347
AT ITER 4132 NEW BEST:: SOT 204126 SOS 67341 HAS SOPS 67341 HAS SOUS 47863 HAS SOUPS 47863 WITH SCORE 47930.341
AT ITER 4172 NEW BEST:: SOT 204095 SOS 67229 HAS SOPS 67229 HAS SOUS 47811 HAS SOUPS 47811 WITH SCORE 47878.229
AT ITER 4192 NEW BEST:: SOT 204062 SOS 67032 HAS SOPS 67032 HAS SOUS 47767 HAS SOUPS 47767 WITH SCORE 47834.032
AT ITER 4200 NEW BEST:: SOT 203971 SOS 66906 HAS SOPS 66906 HAS SOUS 47697 HAS SOUPS 47697 WITH SCORE 47763.906
AT ITER 4214 NEW BEST:: SOT 204007 SOS 66875 HAS SOPS 66875 HAS SOUS 47666 HAS SOUPS 47666 WITH SCORE 47732.875
AT ITER 4232 NEW BEST:: SOT 204006 SOS 66874 HAS SOPS 66874 HAS SOUS 47665 HAS SOUPS 47665 WITH SCORE 47731.874
AT ITER 4238 NEW BEST:: SOT 204016 SOS 66871 HAS SOPS 66871 HAS SOUS 47662 HAS SOUPS 47662 WITH SCORE 47728.871
AT ITER 4247 NEW BEST:: SOT 203993 SOS 66848 HAS SOPS 66848 HAS SOUS 47639 HAS SOUPS 47639 WITH SCORE 47705.848
AT ITER 4266 NEW BEST:: SOT 203993 SOS 66833 HAS SOPS 66833 HAS SOUS 47609 HAS SOUPS 47609 WITH SCORE 47675.833
AT ITER 4273 NEW BEST:: SOT 204091 SOS 66931 HAS SOPS 66931 HAS SOUS 47604 HAS SOUPS 47604 WITH SCORE 47670.931
AT ITER 4297 NEW BEST:: SOT 204098 SOS 66880 HAS SOPS 66880 HAS SOUS 47579 HAS SOUPS 47579 WITH SCORE 47645.88
AT ITER 4311 NEW BEST:: SOT 204086 SOS 66856 HAS SOPS 66856 HAS SOUS 47567 HAS SOUPS 47567 WITH SCORE 47633.856
AT ITER 4314 NEW BEST:: SOT 204086 SOS 66816 HAS SOPS 66816 HAS SOUS 47527 HAS SOUPS 47527 WITH SCORE 47593.816
AT ITER 4315 NEW BEST:: SOT 204084 SOS 66812 HAS SOPS 66812 HAS SOUS 47521 HAS SOUPS 47521 WITH SCORE 47587.812
AT ITER 4323 NEW BEST:: SOT 204089 SOS 66804 HAS SOPS 66804 HAS SOUS 47513 HAS SOUPS 47513 WITH SCORE 47579.804
AT ITER 4380 NEW BEST:: SOT 204027 SOS 66742 HAS SOPS 66742 HAS SOUS 47513 HAS SOUPS 47513 WITH SCORE 47579.742
AT ITER 4434 NEW BEST:: SOT 204018 SOS 66733 HAS SOPS 66733 HAS SOUS 47504 HAS SOUPS 47504 WITH SCORE 47570.733
AT ITER 4447 NEW BEST:: SOT 204018 SOS 66597 HAS SOPS 66597 HAS SOUS 47467 HAS SOUPS 47467 WITH SCORE 47533.597
AT ITER 4449 NEW BEST:: SOT 204016 SOS 66566 HAS SOPS 66566 HAS SOUS 47462 HAS SOUPS 47462 WITH SCORE 47528.566
AT ITER 4456 NEW BEST:: SOT 203986 SOS 66486 HAS SOPS 66486 HAS SOUS 47436 HAS SOUPS 47436 WITH SCORE 47502.486
AT ITER 4479 NEW BEST:: SOT 203956 SOS 66456 HAS SOPS 66456 HAS SOUS 47406 HAS SOUPS 47406 WITH SCORE 47472.456
AT ITER 4487 NEW BEST:: SOT 203956 SOS 66450 HAS SOPS 66450 HAS SOUS 47400 HAS SOUPS 47400 WITH SCORE 47466.45
AT ITER 4508 NEW BEST:: SOT 203956 SOS 66441 HAS SOPS 66441 HAS SOUS 47391 HAS SOUPS 47391 WITH SCORE 47457.441
AT ITER 4550 NEW BEST:: SOT 203896 SOS 66321 HAS SOPS 66321 HAS SOUS 47271 HAS SOUPS 47271 WITH SCORE 47337.321
AT ITER 4560 NEW BEST:: SOT 203863 SOS 66314 HAS SOPS 66314 HAS SOUS 47264 HAS SOUPS 47264 WITH SCORE 47330.314
AT ITER 4561 NEW BEST:: SOT 203861 SOS 66312 HAS SOPS 66312 HAS SOUS 47262 HAS SOUPS 47262 WITH SCORE 47328.312
AT ITER 4570 NEW BEST:: SOT 203827 SOS 66264 HAS SOPS 66264 HAS SOUS 47214 HAS SOUPS 47214 WITH SCORE 47280.264
AT ITER 4583 NEW BEST:: SOT 203832 SOS 66228 HAS SOPS 66228 HAS SOUS 47137 HAS SOUPS 47137 WITH SCORE 47203.228
AT ITER 4619 NEW BEST:: SOT 203832 SOS 66196 HAS SOPS 66196 HAS SOUS 47105 HAS SOUPS 47105 WITH SCORE 47171.196
AT ITER 4633 NEW BEST:: SOT 203825 SOS 66189 HAS SOPS 66189 HAS SOUS 47098 HAS SOUPS 47098 WITH SCORE 47164.189
AT ITER 4635 NEW BEST:: SOT 203825 SOS 66265 HAS SOPS 66265 HAS SOUS 47060 HAS SOUPS 47060 WITH SCORE 47126.265
AT ITER 4636 NEW BEST:: SOT 203825 SOS 66258 HAS SOPS 66258 HAS SOUS 47053 HAS SOUPS 47053 WITH SCORE 47119.258
AT ITER 4637 NEW BEST:: SOT 203825 SOS 66257 HAS SOPS 66257 HAS SOUS 47052 HAS SOUPS 47052 WITH SCORE 47118.257
AT ITER 4660 NEW BEST:: SOT 203817 SOS 66249 HAS SOPS 66249 HAS SOUS 47044 HAS SOUPS 47044 WITH SCORE 47110.249
AT ITER 4679 NEW BEST:: SOT 203813 SOS 66245 HAS SOPS 66245 HAS SOUS 47040 HAS SOUPS 47040 WITH SCORE 47106.245
AT ITER 4701 NEW BEST:: SOT 203810 SOS 66239 HAS SOPS 66239 HAS SOUS 47034 HAS SOUPS 47034 WITH SCORE 47100.239
AT ITER 4725 NEW BEST:: SOT 203864 SOS 66235 HAS SOPS 66235 HAS SOUS 47030 HAS SOUPS 47030 WITH SCORE 47096.235
AT ITER 4748 NEW BEST:: SOT 203864 SOS 66205 HAS SOPS 66205 HAS SOUS 47000 HAS SOUPS 47000 WITH SCORE 47066.205
AT ITER 4787 NEW BEST:: SOT 203861 SOS 66199 HAS SOPS 66199 HAS SOUS 46994 HAS SOUPS 46994 WITH SCORE 47060.199
AT ITER 4796 NEW BEST:: SOT 203852 SOS 66181 HAS SOPS 66181 HAS SOUS 46985 HAS SOUPS 46985 WITH SCORE 47051.181
AT ITER 4809 NEW BEST:: SOT 203828 SOS 66103 HAS SOPS 66103 HAS SOUS 46932 HAS SOUPS 46932 WITH SCORE 46998.103
AT ITER 4817 NEW BEST:: SOT 203805 SOS 66080 HAS SOPS 66080 HAS SOUS 46909 HAS SOUPS 46909 WITH SCORE 46975.08
AT ITER 4828 NEW BEST:: SOT 203805 SOS 66067 HAS SOPS 66067 HAS SOUS 46896 HAS SOUPS 46896 WITH SCORE 46962.067
AT ITER 4840 NEW BEST:: SOT 203800 SOS 66057 HAS SOPS 66057 HAS SOUS 46891 HAS SOUPS 46891 WITH SCORE 46957.057
AT ITER 4851 NEW BEST:: SOT 203799 SOS 66056 HAS SOPS 66056 HAS SOUS 46890 HAS SOUPS 46890 WITH SCORE 46956.056
AT ITER 4874 NEW BEST:: SOT 203799 SOS 66056 HAS SOPS 66056 HAS SOUS 46882 HAS SOUPS 46882 WITH SCORE 46948.056
AT ITER 4878 NEW BEST:: SOT 203799 SOS 66052 HAS SOPS 66052 HAS SOUS 46882 HAS SOUPS 46882 WITH SCORE 46948.052
AT ITER 4909 NEW BEST:: SOT 203769 SOS 66433 HAS SOPS 66433 HAS SOUS 46874 HAS SOUPS 46874 WITH SCORE 46940.433
AT ITER 4922 NEW BEST:: SOT 203809 SOS 66473 HAS SOPS 66473 HAS SOUS 46798 HAS SOUPS 46798 WITH SCORE 46864.473
AT ITER 4923 NEW BEST:: SOT 203753 SOS 66305 HAS SOPS 66305 HAS SOUS 46714 HAS SOUPS 46714 WITH SCORE 46780.305
AT ITER 4926 NEW BEST:: SOT 203753 SOS 66264 HAS SOPS 66264 HAS SOUS 46673 HAS SOUPS 46673 WITH SCORE 46739.264
AT ITER 4933 NEW BEST:: SOT 203751 SOS 66260 HAS SOPS 66260 HAS SOUS 46669 HAS SOUPS 46669 WITH SCORE 46735.26
AT ITER 4980 NEW BEST:: SOT 203741 SOS 66250 HAS SOPS 66250 HAS SOUS 46659 HAS SOUPS 46659 WITH SCORE 46725.25
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-16-CTLFireability-00 (EX( (! (AG( (! ((potential((tk(P330)>=1))))))))))
PROPERTY: BusinessProcesses-PT-16-CTLFireability-01 (EF( (AF( (EF( ((potential((tk(P355)>=1))))))))))
PROPERTY: BusinessProcesses-PT-16-CTLFireability-02 (EF( (! (! (EF( ((potential((tk(P518)>=1))))))))))
PROPERTY: BusinessProcesses-PT-16-CTLFireability-03 (AG( (! ( (! ( ((potential((tk(P597)>=1)))) & ((potential((tk(P379)>=1)))) )) & ((potential((tk(P238)>=1)))) ))))
PROPERTY: BusinessProcesses-PT-16-CTLFireability-04 (! (EG( (EF( ( ((potential((tk(P418)>=1) & (tk(P191)>=1) & (tk(P577)>=1)))) & ((potential((tk(P302)>=1) & (tk(P29)>=1) & (tk(P604)>=1)))) ))))))
PROPERTY: BusinessProcesses-PT-16-CTLFireability-05 (EX( (EF( ( ( ((potential((tk(P81)>=1)))) & ((potential((tk(P440)>=1)))) ) & ( ((potential((tk(P228)>=1)))) & ((potential((tk(P601)>=1)))) ) )))))
PROPERTY: BusinessProcesses-PT-16-CTLFireability-06 ( ( ((potential((tk(P199)>=1)))) | (AG( ( (! ((potential((tk(P638)>=1))))) | ((potential((tk(P84)>=1)))) ))) ) & (AF( ( (! ( ((potential((tk(P119)>=1)))) | ((potential((tk(P306)>=1)))) )) | ( ((potential((tk(P410)>=1)))) | ( ((potential((tk(P340)>=1)))) | ((potential((tk(P13)>=1)))) ) ) ))) )
PROPERTY: BusinessProcesses-PT-16-CTLFireability-07 (! ( ((potential((tk(P43)>=1)))) | (EF( (AG( ((potential((tk(P418)>=1) & (tk(P191)>=1) & (tk(P577)>=1)))))))) ))
PROPERTY: BusinessProcesses-PT-16-CTLFireability-08 (EF( ( ( (EF( ((potential((tk(P247)>=1)))))) & ((potential((tk(P302)>=1) & (tk(P29)>=1) & (tk(P604)>=1)))) ) | ((potential((tk(P19)>=1)))) )))
PROPERTY: BusinessProcesses-PT-16-CTLFireability-09 (! ( ( (AG( ( ((potential((tk(P452)>=1) & (tk(P236)>=1) & (tk(P604)>=1)))) | ((potential((tk(P188)>=1) & (tk(P584)>=1)))) ))) & (AX( (! ((potential((tk(P526)>=1))))))) ) | ( (EF( ( ((potential((tk(P21)>=1)))) & ((potential((tk(P494)>=1)))) ))) & ( (! ( ((potential((tk(P485)>=1)))) | ((potential((tk(P101)>=1)))) )) | (AX( ((potential((tk(P511)>=1)))))) ) ) ))
PROPERTY: BusinessProcesses-PT-16-CTLFireability-10 ( (EX( ( (! ( ((potential((tk(P504)>=1)))) | ((potential((tk(P572)>=1)))) )) | ( ( ((potential((tk(P57)>=1)))) & ((potential((tk(P168)>=1)))) ) & ( ((potential((tk(P506)>=1)))) & ((potential((tk(P393)>=1) & (tk(P137)>=1) & (tk(P545)>=1)))) ) ) ))) & ( ( (EX( (! ((potential((tk(P269)>=1))))))) & ( (AX( ((potential((tk(P495)>=1)))))) | (EF( ((potential((tk(P481)>=1)))))) ) ) | (EX( ( (! ((potential((tk(P138)>=1))))) & ((potential((tk(P299)>=1)))) ))) ) )
PROPERTY: BusinessProcesses-PT-16-CTLFireability-11 (EF( (AG( (EG( ((potential((tk(P84)>=1))))))))))
PROPERTY: BusinessProcesses-PT-16-CTLFireability-12 (! (EF( (EU( ((potential((tk(P460)>=1)))) , ((potential((tk(P297)>=1) & (tk(P152)>=1) & (tk(P604)>=1)))) )))))
PROPERTY: BusinessProcesses-PT-16-CTLFireability-13 (! ( (! (EF( ( ((potential((tk(P94)>=1)))) & ((potential((tk(P69)>=1)))) )))) | ( (AF( (! ((potential((tk(P42)>=1))))))) & ( ( ((potential((tk(P309)>=1)))) | (! ((potential((tk(P60)>=1))))) ) & ( ((potential((tk(P428)>=1) & (tk(P197)>=1) & (tk(P583)>=1)))) & (! ((potential((tk(P593)>=1))))) ) ) ) ))
PROPERTY: BusinessProcesses-PT-16-CTLFireability-14 (AG( ( ( ((potential((tk(P614)>=1)))) | (EF( ((potential((tk(P284)>=1)))))) ) | (AF( (! ((potential((tk(P3)>=1))))))) )))
PROPERTY: BusinessProcesses-PT-16-CTLFireability-15 (AU( (EG( (! ((potential((tk(P298)>=1) & (tk(P36)>=1) & (tk(P477)>=1))))))) , (AG( (! ((potential((tk(P527)>=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-16"
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-16, 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-158897680200572"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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