About the Execution of smart for BusinessProcesses-PT-19
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.990 | 3600000.00 | 3600019.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-158897680200596.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-19, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200596
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 360K
-rw-r--r-- 1 mcc users 3.3K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 02:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:46 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.6K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K 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 189K 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-19-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-19-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-19-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-19-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-19-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-19-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-19-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-19-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-19-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-19-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-19-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-19-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-19-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-19-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-19-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-19-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590869258015
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 19
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: 772 places, 685 transitions, 1981 arcs.
AT ITER 0 NEW BEST:: SOT 336519 SOS 127778 HAS SOPS 127778 HAS SOUS 124526 HAS SOUPS 124526 WITH SCORE 124653.778
AT ITER 5 NEW BEST:: SOT 336606 SOS 127524 HAS SOPS 127524 HAS SOUS 124438 HAS SOUPS 124438 WITH SCORE 124565.524
AT ITER 16 NEW BEST:: SOT 332728 SOS 126126 HAS SOPS 126126 HAS SOUS 121090 HAS SOUPS 121090 WITH SCORE 121216.126
AT ITER 19 NEW BEST:: SOT 332728 SOS 126106 HAS SOPS 126106 HAS SOUS 121070 HAS SOUPS 121070 WITH SCORE 121196.106
AT ITER 23 NEW BEST:: SOT 332728 SOS 126251 HAS SOPS 126251 HAS SOUS 120979 HAS SOUPS 120979 WITH SCORE 121105.251
AT ITER 33 NEW BEST:: SOT 332809 SOS 126232 HAS SOPS 126232 HAS SOUS 120960 HAS SOUPS 120960 WITH SCORE 121086.232
AT ITER 36 NEW BEST:: SOT 332573 SOS 126291 HAS SOPS 126291 HAS SOUS 120903 HAS SOUPS 120903 WITH SCORE 121029.291
AT ITER 39 NEW BEST:: SOT 332802 SOS 126067 HAS SOPS 126067 HAS SOUS 120809 HAS SOUPS 120809 WITH SCORE 120935.067
AT ITER 52 NEW BEST:: SOT 332801 SOS 125975 HAS SOPS 125975 HAS SOUS 120717 HAS SOUPS 120717 WITH SCORE 120842.975
AT ITER 66 NEW BEST:: SOT 332662 SOS 125836 HAS SOPS 125836 HAS SOUS 120578 HAS SOUPS 120578 WITH SCORE 120703.836
AT ITER 92 NEW BEST:: SOT 332661 SOS 125834 HAS SOPS 125834 HAS SOUS 120576 HAS SOUPS 120576 WITH SCORE 120701.834
AT ITER 94 NEW BEST:: SOT 332627 SOS 125795 HAS SOPS 125795 HAS SOUS 120537 HAS SOUPS 120537 WITH SCORE 120662.795
AT ITER 97 NEW BEST:: SOT 332677 SOS 125790 HAS SOPS 125790 HAS SOUS 120532 HAS SOUPS 120532 WITH SCORE 120657.79
AT ITER 108 NEW BEST:: SOT 329659 SOS 122977 HAS SOPS 122977 HAS SOUS 117719 HAS SOUPS 117719 WITH SCORE 117841.977
AT ITER 141 NEW BEST:: SOT 329659 SOS 122970 HAS SOPS 122970 HAS SOUS 117712 HAS SOUPS 117712 WITH SCORE 117834.97
AT ITER 142 NEW BEST:: SOT 329659 SOS 122948 HAS SOPS 122948 HAS SOUS 117690 HAS SOUPS 117690 WITH SCORE 117812.948
AT ITER 156 NEW BEST:: SOT 329582 SOS 122794 HAS SOPS 122794 HAS SOUS 117536 HAS SOUPS 117536 WITH SCORE 117658.794
AT ITER 157 NEW BEST:: SOT 329369 SOS 122560 HAS SOPS 122560 HAS SOUS 117302 HAS SOUPS 117302 WITH SCORE 117424.56
AT ITER 168 NEW BEST:: SOT 329142 SOS 122369 HAS SOPS 122369 HAS SOUS 117111 HAS SOUPS 117111 WITH SCORE 117233.369
AT ITER 170 NEW BEST:: SOT 329142 SOS 122308 HAS SOPS 122308 HAS SOUS 117050 HAS SOUPS 117050 WITH SCORE 117172.308
AT ITER 172 NEW BEST:: SOT 329044 SOS 122210 HAS SOPS 122210 HAS SOUS 116952 HAS SOUPS 116952 WITH SCORE 117074.21
AT ITER 174 NEW BEST:: SOT 328898 SOS 122094 HAS SOPS 122094 HAS SOUS 116743 HAS SOUPS 116743 WITH SCORE 116865.094
AT ITER 182 NEW BEST:: SOT 328693 SOS 122087 HAS SOPS 122087 HAS SOUS 116538 HAS SOUPS 116538 WITH SCORE 116660.087
AT ITER 198 NEW BEST:: SOT 328693 SOS 122087 HAS SOPS 122087 HAS SOUS 116351 HAS SOUPS 116351 WITH SCORE 116473.087
AT ITER 199 NEW BEST:: SOT 328693 SOS 122190 HAS SOPS 122190 HAS SOUS 116350 HAS SOUPS 116350 WITH SCORE 116472.19
AT ITER 210 NEW BEST:: SOT 328662 SOS 122127 HAS SOPS 122127 HAS SOUS 116271 HAS SOUPS 116271 WITH SCORE 116393.127
AT ITER 232 NEW BEST:: SOT 328662 SOS 122046 HAS SOPS 122046 HAS SOUS 116190 HAS SOUPS 116190 WITH SCORE 116312.046
AT ITER 233 NEW BEST:: SOT 328548 SOS 121850 HAS SOPS 121850 HAS SOUS 115994 HAS SOUPS 115994 WITH SCORE 116115.85
AT ITER 239 NEW BEST:: SOT 328468 SOS 121850 HAS SOPS 121850 HAS SOUS 115993 HAS SOUPS 115993 WITH SCORE 116114.85
AT ITER 242 NEW BEST:: SOT 328951 SOS 122242 HAS SOPS 122242 HAS SOUS 115978 HAS SOUPS 115978 WITH SCORE 116100.242
AT ITER 268 NEW BEST:: SOT 328728 SOS 121465 HAS SOPS 121465 HAS SOUS 115604 HAS SOUPS 115604 WITH SCORE 115725.465
AT ITER 277 NEW BEST:: SOT 328727 SOS 121463 HAS SOPS 121463 HAS SOUS 115602 HAS SOUPS 115602 WITH SCORE 115723.463
AT ITER 294 NEW BEST:: SOT 328510 SOS 121246 HAS SOPS 121246 HAS SOUS 115385 HAS SOUPS 115385 WITH SCORE 115506.246
AT ITER 298 NEW BEST:: SOT 328450 SOS 121185 HAS SOPS 121185 HAS SOUS 115324 HAS SOUPS 115324 WITH SCORE 115445.185
AT ITER 320 NEW BEST:: SOT 328450 SOS 121184 HAS SOPS 121184 HAS SOUS 115323 HAS SOUPS 115323 WITH SCORE 115444.184
AT ITER 322 NEW BEST:: SOT 328450 SOS 121161 HAS SOPS 121161 HAS SOUS 115300 HAS SOUPS 115300 WITH SCORE 115421.161
AT ITER 323 NEW BEST:: SOT 328371 SOS 121069 HAS SOPS 121069 HAS SOUS 115208 HAS SOUPS 115208 WITH SCORE 115329.069
AT ITER 339 NEW BEST:: SOT 328147 SOS 120810 HAS SOPS 120810 HAS SOUS 114949 HAS SOUPS 114949 WITH SCORE 115069.81
AT ITER 351 NEW BEST:: SOT 328150 SOS 120794 HAS SOPS 120794 HAS SOUS 114933 HAS SOUPS 114933 WITH SCORE 115053.794
AT ITER 353 NEW BEST:: SOT 327921 SOS 120478 HAS SOPS 120478 HAS SOUS 114617 HAS SOUPS 114617 WITH SCORE 114737.478
AT ITER 357 NEW BEST:: SOT 327904 SOS 120464 HAS SOPS 120464 HAS SOUS 114603 HAS SOUPS 114603 WITH SCORE 114723.464
AT ITER 358 NEW BEST:: SOT 327903 SOS 120462 HAS SOPS 120462 HAS SOUS 114601 HAS SOUPS 114601 WITH SCORE 114721.462
AT ITER 361 NEW BEST:: SOT 327898 SOS 120452 HAS SOPS 120452 HAS SOUS 114591 HAS SOUPS 114591 WITH SCORE 114711.452
AT ITER 368 NEW BEST:: SOT 327848 SOS 120352 HAS SOPS 120352 HAS SOUS 114491 HAS SOUPS 114491 WITH SCORE 114611.352
AT ITER 371 NEW BEST:: SOT 327736 SOS 120257 HAS SOPS 120257 HAS SOUS 114396 HAS SOUPS 114396 WITH SCORE 114516.257
AT ITER 377 NEW BEST:: SOT 327571 SOS 119926 HAS SOPS 119926 HAS SOUS 113989 HAS SOUPS 113989 WITH SCORE 114108.926
AT ITER 407 NEW BEST:: SOT 327327 SOS 119571 HAS SOPS 119571 HAS SOUS 113638 HAS SOUPS 113638 WITH SCORE 113757.571
AT ITER 412 NEW BEST:: SOT 327206 SOS 119402 HAS SOPS 119402 HAS SOUS 113469 HAS SOUPS 113469 WITH SCORE 113588.402
AT ITER 413 NEW BEST:: SOT 327290 SOS 119386 HAS SOPS 119386 HAS SOUS 113453 HAS SOUPS 113453 WITH SCORE 113572.386
AT ITER 417 NEW BEST:: SOT 327290 SOS 119383 HAS SOPS 119383 HAS SOUS 113450 HAS SOUPS 113450 WITH SCORE 113569.383
AT ITER 421 NEW BEST:: SOT 327178 SOS 119338 HAS SOPS 119338 HAS SOUS 113405 HAS SOUPS 113405 WITH SCORE 113524.338
AT ITER 427 NEW BEST:: SOT 318724 SOS 151861 HAS SOPS 151861 HAS SOUS 106187 HAS SOUPS 106187 WITH SCORE 106338.861
AT ITER 428 NEW BEST:: SOT 318723 SOS 151859 HAS SOPS 151859 HAS SOUS 106185 HAS SOUPS 106185 WITH SCORE 106336.859
AT ITER 436 NEW BEST:: SOT 318646 SOS 151781 HAS SOPS 151781 HAS SOUS 106107 HAS SOUPS 106107 WITH SCORE 106258.781
AT ITER 442 NEW BEST:: SOT 318376 SOS 151388 HAS SOPS 151388 HAS SOUS 105869 HAS SOUPS 105869 WITH SCORE 106020.388
AT ITER 448 NEW BEST:: SOT 318326 SOS 151165 HAS SOPS 151165 HAS SOUS 105739 HAS SOUPS 105739 WITH SCORE 105890.165
AT ITER 452 NEW BEST:: SOT 318118 SOS 150698 HAS SOPS 150698 HAS SOUS 105533 HAS SOUPS 105533 WITH SCORE 105683.698
AT ITER 453 NEW BEST:: SOT 317897 SOS 150477 HAS SOPS 150477 HAS SOUS 105312 HAS SOUPS 105312 WITH SCORE 105462.477
AT ITER 457 NEW BEST:: SOT 317797 SOS 150277 HAS SOPS 150277 HAS SOUS 105142 HAS SOUPS 105142 WITH SCORE 105292.277
AT ITER 483 NEW BEST:: SOT 317613 SOS 150035 HAS SOPS 150035 HAS SOUS 105043 HAS SOUPS 105043 WITH SCORE 105193.035
AT ITER 506 NEW BEST:: SOT 317383 SOS 149236 HAS SOPS 149236 HAS SOUS 104850 HAS SOUPS 104850 WITH SCORE 104999.236
AT ITER 519 NEW BEST:: SOT 317383 SOS 149221 HAS SOPS 149221 HAS SOUS 104835 HAS SOUPS 104835 WITH SCORE 104984.221
AT ITER 520 NEW BEST:: SOT 317381 SOS 149217 HAS SOPS 149217 HAS SOUS 104831 HAS SOUPS 104831 WITH SCORE 104980.217
AT ITER 523 NEW BEST:: SOT 317316 SOS 149093 HAS SOPS 149093 HAS SOUS 104707 HAS SOUPS 104707 WITH SCORE 104856.093
AT ITER 531 NEW BEST:: SOT 317278 SOS 149055 HAS SOPS 149055 HAS SOUS 104705 HAS SOUPS 104705 WITH SCORE 104854.055
AT ITER 545 NEW BEST:: SOT 317285 SOS 149062 HAS SOPS 149062 HAS SOUS 104675 HAS SOUPS 104675 WITH SCORE 104824.062
AT ITER 550 NEW BEST:: SOT 317230 SOS 149006 HAS SOPS 149006 HAS SOUS 104619 HAS SOUPS 104619 WITH SCORE 104768.006
AT ITER 552 NEW BEST:: SOT 316945 SOS 148721 HAS SOPS 148721 HAS SOUS 104409 HAS SOUPS 104409 WITH SCORE 104557.721
AT ITER 570 NEW BEST:: SOT 316851 SOS 148557 HAS SOPS 148557 HAS SOUS 104104 HAS SOUPS 104104 WITH SCORE 104252.557
AT ITER 574 NEW BEST:: SOT 316828 SOS 148534 HAS SOPS 148534 HAS SOUS 104081 HAS SOUPS 104081 WITH SCORE 104229.534
AT ITER 589 NEW BEST:: SOT 316827 SOS 148532 HAS SOPS 148532 HAS SOUS 104079 HAS SOUPS 104079 WITH SCORE 104227.532
AT ITER 590 NEW BEST:: SOT 316797 SOS 148505 HAS SOPS 148505 HAS SOUS 104054 HAS SOUPS 104054 WITH SCORE 104202.505
AT ITER 591 NEW BEST:: SOT 316782 SOS 148490 HAS SOPS 148490 HAS SOUS 104039 HAS SOUPS 104039 WITH SCORE 104187.49
AT ITER 598 NEW BEST:: SOT 316665 SOS 148256 HAS SOPS 148256 HAS SOUS 103998 HAS SOUPS 103998 WITH SCORE 104146.256
AT ITER 599 NEW BEST:: SOT 316533 SOS 148008 HAS SOPS 148008 HAS SOUS 103903 HAS SOUPS 103903 WITH SCORE 104051.008
AT ITER 603 NEW BEST:: SOT 316532 SOS 147969 HAS SOPS 147969 HAS SOUS 103872 HAS SOUPS 103872 WITH SCORE 104019.969
AT ITER 604 NEW BEST:: SOT 316534 SOS 147882 HAS SOPS 147882 HAS SOUS 103747 HAS SOUPS 103747 WITH SCORE 103894.882
AT ITER 610 NEW BEST:: SOT 316534 SOS 147882 HAS SOPS 147882 HAS SOUS 103745 HAS SOUPS 103745 WITH SCORE 103892.882
AT ITER 617 NEW BEST:: SOT 316389 SOS 147472 HAS SOPS 147472 HAS SOUS 103296 HAS SOUPS 103296 WITH SCORE 103443.472
AT ITER 623 NEW BEST:: SOT 316434 SOS 147635 HAS SOPS 147635 HAS SOUS 103204 HAS SOUPS 103204 WITH SCORE 103351.635
AT ITER 625 NEW BEST:: SOT 316242 SOS 147518 HAS SOPS 147518 HAS SOUS 103087 HAS SOUPS 103087 WITH SCORE 103234.518
AT ITER 630 NEW BEST:: SOT 316122 SOS 147469 HAS SOPS 147469 HAS SOUS 103038 HAS SOUPS 103038 WITH SCORE 103185.469
AT ITER 640 NEW BEST:: SOT 316116 SOS 147452 HAS SOPS 147452 HAS SOUS 103021 HAS SOUPS 103021 WITH SCORE 103168.452
AT ITER 641 NEW BEST:: SOT 315804 SOS 147199 HAS SOPS 147199 HAS SOUS 102768 HAS SOUPS 102768 WITH SCORE 102915.199
AT ITER 643 NEW BEST:: SOT 315804 SOS 147172 HAS SOPS 147172 HAS SOUS 102741 HAS SOUPS 102741 WITH SCORE 102888.172
AT ITER 650 NEW BEST:: SOT 315788 SOS 147116 HAS SOPS 147116 HAS SOUS 102701 HAS SOUPS 102701 WITH SCORE 102848.116
AT ITER 656 NEW BEST:: SOT 315628 SOS 146757 HAS SOPS 146757 HAS SOUS 102361 HAS SOUPS 102361 WITH SCORE 102507.757
AT ITER 665 NEW BEST:: SOT 315687 SOS 146708 HAS SOPS 146708 HAS SOUS 102312 HAS SOUPS 102312 WITH SCORE 102458.708
AT ITER 688 NEW BEST:: SOT 315672 SOS 146682 HAS SOPS 146682 HAS SOUS 102298 HAS SOUPS 102298 WITH SCORE 102444.682
AT ITER 695 NEW BEST:: SOT 315671 SOS 146680 HAS SOPS 146680 HAS SOUS 102296 HAS SOUPS 102296 WITH SCORE 102442.68
AT ITER 708 NEW BEST:: SOT 315933 SOS 146481 HAS SOPS 146481 HAS SOUS 102285 HAS SOUPS 102285 WITH SCORE 102431.481
AT ITER 709 NEW BEST:: SOT 315829 SOS 146467 HAS SOPS 146467 HAS SOUS 102243 HAS SOUPS 102243 WITH SCORE 102389.467
AT ITER 712 NEW BEST:: SOT 315898 SOS 146353 HAS SOPS 146353 HAS SOUS 102129 HAS SOUPS 102129 WITH SCORE 102275.353
AT ITER 717 NEW BEST:: SOT 315813 SOS 146131 HAS SOPS 146131 HAS SOUS 101907 HAS SOUPS 101907 WITH SCORE 102053.131
AT ITER 733 NEW BEST:: SOT 315808 SOS 146126 HAS SOPS 146126 HAS SOUS 101902 HAS SOUPS 101902 WITH SCORE 102048.126
AT ITER 735 NEW BEST:: SOT 315807 SOS 146097 HAS SOPS 146097 HAS SOUS 101873 HAS SOUPS 101873 WITH SCORE 102019.097
AT ITER 736 NEW BEST:: SOT 315747 SOS 145977 HAS SOPS 145977 HAS SOUS 101753 HAS SOUPS 101753 WITH SCORE 101898.977
AT ITER 737 NEW BEST:: SOT 315610 SOS 145477 HAS SOPS 145477 HAS SOUS 101288 HAS SOUPS 101288 WITH SCORE 101433.477
AT ITER 739 NEW BEST:: SOT 315594 SOS 145461 HAS SOPS 145461 HAS SOUS 101272 HAS SOUPS 101272 WITH SCORE 101417.461
AT ITER 743 NEW BEST:: SOT 315594 SOS 145455 HAS SOPS 145455 HAS SOUS 101266 HAS SOUPS 101266 WITH SCORE 101411.455
AT ITER 744 NEW BEST:: SOT 315537 SOS 145398 HAS SOPS 145398 HAS SOUS 101266 HAS SOUPS 101266 WITH SCORE 101411.398
AT ITER 750 NEW BEST:: SOT 315746 SOS 145356 HAS SOPS 145356 HAS SOUS 101224 HAS SOUPS 101224 WITH SCORE 101369.356
AT ITER 752 NEW BEST:: SOT 315479 SOS 144822 HAS SOPS 144822 HAS SOUS 101069 HAS SOUPS 101069 WITH SCORE 101213.822
AT ITER 756 NEW BEST:: SOT 315479 SOS 144815 HAS SOPS 144815 HAS SOUS 101068 HAS SOUPS 101068 WITH SCORE 101212.815
AT ITER 757 NEW BEST:: SOT 315476 SOS 144812 HAS SOPS 144812 HAS SOUS 101065 HAS SOUPS 101065 WITH SCORE 101209.812
AT ITER 762 NEW BEST:: SOT 315093 SOS 144227 HAS SOPS 144227 HAS SOUS 100480 HAS SOUPS 100480 WITH SCORE 100624.227
AT ITER 769 NEW BEST:: SOT 315030 SOS 144100 HAS SOPS 144100 HAS SOUS 100353 HAS SOUPS 100353 WITH SCORE 100497.1
AT ITER 770 NEW BEST:: SOT 315030 SOS 144094 HAS SOPS 144094 HAS SOUS 100347 HAS SOUPS 100347 WITH SCORE 100491.094
AT ITER 775 NEW BEST:: SOT 314892 SOS 143956 HAS SOPS 143956 HAS SOUS 100209 HAS SOUPS 100209 WITH SCORE 100352.956
AT ITER 777 NEW BEST:: SOT 314877 SOS 143674 HAS SOPS 143674 HAS SOUS 100095 HAS SOUPS 100095 WITH SCORE 100238.674
AT ITER 778 NEW BEST:: SOT 314876 SOS 143673 HAS SOPS 143673 HAS SOUS 99974 HAS SOUPS 99974 WITH SCORE 100117.673
AT ITER 785 NEW BEST:: SOT 314895 SOS 143711 HAS SOPS 143711 HAS SOUS 99914 HAS SOUPS 99914 WITH SCORE 100057.711
AT ITER 789 NEW BEST:: SOT 314891 SOS 143703 HAS SOPS 143703 HAS SOUS 99906 HAS SOUPS 99906 WITH SCORE 100049.703
AT ITER 790 NEW BEST:: SOT 314891 SOS 143289 HAS SOPS 143289 HAS SOUS 99728 HAS SOUPS 99728 WITH SCORE 99871.289
AT ITER 795 NEW BEST:: SOT 314863 SOS 143233 HAS SOPS 143233 HAS SOUS 99672 HAS SOUPS 99672 WITH SCORE 99815.233
AT ITER 797 NEW BEST:: SOT 314863 SOS 143207 HAS SOPS 143207 HAS SOUS 99646 HAS SOUPS 99646 WITH SCORE 99789.207
AT ITER 805 NEW BEST:: SOT 314801 SOS 143083 HAS SOPS 143083 HAS SOUS 99584 HAS SOUPS 99584 WITH SCORE 99727.083
AT ITER 809 NEW BEST:: SOT 314801 SOS 143083 HAS SOPS 143083 HAS SOUS 99575 HAS SOUPS 99575 WITH SCORE 99718.083
AT ITER 812 NEW BEST:: SOT 314718 SOS 142933 HAS SOPS 142933 HAS SOUS 99377 HAS SOUPS 99377 WITH SCORE 99519.933
AT ITER 814 NEW BEST:: SOT 314684 SOS 142899 HAS SOPS 142899 HAS SOUS 99343 HAS SOUPS 99343 WITH SCORE 99485.899
AT ITER 817 NEW BEST:: SOT 314684 SOS 142790 HAS SOPS 142790 HAS SOUS 99234 HAS SOUPS 99234 WITH SCORE 99376.79
AT ITER 820 NEW BEST:: SOT 314653 SOS 142763 HAS SOPS 142763 HAS SOUS 99207 HAS SOUPS 99207 WITH SCORE 99349.763
AT ITER 823 NEW BEST:: SOT 314353 SOS 142463 HAS SOPS 142463 HAS SOUS 98907 HAS SOUPS 98907 WITH SCORE 99049.463
AT ITER 827 NEW BEST:: SOT 314176 SOS 142286 HAS SOPS 142286 HAS SOUS 98907 HAS SOUPS 98907 WITH SCORE 99049.286
AT ITER 842 NEW BEST:: SOT 314208 SOS 142177 HAS SOPS 142177 HAS SOUS 98766 HAS SOUPS 98766 WITH SCORE 98908.177
AT ITER 846 NEW BEST:: SOT 314207 SOS 142094 HAS SOPS 142094 HAS SOUS 98683 HAS SOUPS 98683 WITH SCORE 98825.094
AT ITER 849 NEW BEST:: SOT 314207 SOS 142094 HAS SOPS 142094 HAS SOUS 98601 HAS SOUPS 98601 WITH SCORE 98743.094
AT ITER 867 NEW BEST:: SOT 314108 SOS 141994 HAS SOPS 141994 HAS SOUS 98599 HAS SOUPS 98599 WITH SCORE 98740.994
AT ITER 868 NEW BEST:: SOT 314108 SOS 141994 HAS SOPS 141994 HAS SOUS 98561 HAS SOUPS 98561 WITH SCORE 98702.994
AT ITER 882 NEW BEST:: SOT 314105 SOS 141988 HAS SOPS 141988 HAS SOUS 98555 HAS SOUPS 98555 WITH SCORE 98696.988
AT ITER 894 NEW BEST:: SOT 314099 SOS 141977 HAS SOPS 141977 HAS SOUS 98544 HAS SOUPS 98544 WITH SCORE 98685.977
AT ITER 896 NEW BEST:: SOT 314191 SOS 142069 HAS SOPS 142069 HAS SOUS 98529 HAS SOUPS 98529 WITH SCORE 98671.069
AT ITER 905 NEW BEST:: SOT 314166 SOS 142019 HAS SOPS 142019 HAS SOUS 98479 HAS SOUPS 98479 WITH SCORE 98621.019
AT ITER 909 NEW BEST:: SOT 314101 SOS 141889 HAS SOPS 141889 HAS SOUS 98349 HAS SOUPS 98349 WITH SCORE 98490.889
AT ITER 915 NEW BEST:: SOT 314085 SOS 141873 HAS SOPS 141873 HAS SOUS 98333 HAS SOUPS 98333 WITH SCORE 98474.873
AT ITER 928 NEW BEST:: SOT 314085 SOS 141811 HAS SOPS 141811 HAS SOUS 98271 HAS SOUPS 98271 WITH SCORE 98412.811
AT ITER 936 NEW BEST:: SOT 314172 SOS 141796 HAS SOPS 141796 HAS SOUS 98256 HAS SOUPS 98256 WITH SCORE 98397.796
AT ITER 938 NEW BEST:: SOT 314139 SOS 141763 HAS SOPS 141763 HAS SOUS 98223 HAS SOUPS 98223 WITH SCORE 98364.763
AT ITER 942 NEW BEST:: SOT 314139 SOS 141637 HAS SOPS 141637 HAS SOUS 98212 HAS SOUPS 98212 WITH SCORE 98353.637
AT ITER 951 NEW BEST:: SOT 313943 SOS 141367 HAS SOPS 141367 HAS SOUS 98040 HAS SOUPS 98040 WITH SCORE 98181.367
AT ITER 956 NEW BEST:: SOT 313754 SOS 141170 HAS SOPS 141170 HAS SOUS 97999 HAS SOUPS 97999 WITH SCORE 98140.17
AT ITER 962 NEW BEST:: SOT 313540 SOS 140948 HAS SOPS 140948 HAS SOUS 97777 HAS SOUPS 97777 WITH SCORE 97917.948
AT ITER 972 NEW BEST:: SOT 313334 SOS 140536 HAS SOPS 140536 HAS SOUS 97691 HAS SOUPS 97691 WITH SCORE 97831.536
AT ITER 976 NEW BEST:: SOT 313318 SOS 140520 HAS SOPS 140520 HAS SOUS 97675 HAS SOUPS 97675 WITH SCORE 97815.52
AT ITER 986 NEW BEST:: SOT 313318 SOS 140159 HAS SOPS 140159 HAS SOUS 97608 HAS SOUPS 97608 WITH SCORE 97748.159
AT ITER 987 NEW BEST:: SOT 313369 SOS 139810 HAS SOPS 139810 HAS SOUS 97446 HAS SOUPS 97446 WITH SCORE 97585.81
AT ITER 991 NEW BEST:: SOT 313350 SOS 139616 HAS SOPS 139616 HAS SOUS 97268 HAS SOUPS 97268 WITH SCORE 97407.616
AT ITER 999 NEW BEST:: SOT 313244 SOS 139507 HAS SOPS 139507 HAS SOUS 97159 HAS SOUPS 97159 WITH SCORE 97298.507
AT ITER 1011 NEW BEST:: SOT 313354 SOS 139459 HAS SOPS 139459 HAS SOUS 97111 HAS SOUPS 97111 WITH SCORE 97250.459
AT ITER 1015 NEW BEST:: SOT 313321 SOS 139440 HAS SOPS 139440 HAS SOUS 97045 HAS SOUPS 97045 WITH SCORE 97184.44
AT ITER 1019 NEW BEST:: SOT 313141 SOS 139260 HAS SOPS 139260 HAS SOUS 96892 HAS SOUPS 96892 WITH SCORE 97031.26
AT ITER 1032 NEW BEST:: SOT 313030 SOS 139149 HAS SOPS 139149 HAS SOUS 96781 HAS SOUPS 96781 WITH SCORE 96920.149
AT ITER 1039 NEW BEST:: SOT 312964 SOS 139017 HAS SOPS 139017 HAS SOUS 96649 HAS SOUPS 96649 WITH SCORE 96788.017
AT ITER 1040 NEW BEST:: SOT 312948 SOS 138888 HAS SOPS 138888 HAS SOUS 96520 HAS SOUPS 96520 WITH SCORE 96658.888
AT ITER 1058 NEW BEST:: SOT 312870 SOS 138810 HAS SOPS 138810 HAS SOUS 96520 HAS SOUPS 96520 WITH SCORE 96658.81
AT ITER 1064 NEW BEST:: SOT 312841 SOS 138677 HAS SOPS 138677 HAS SOUS 96277 HAS SOUPS 96277 WITH SCORE 96415.677
AT ITER 1072 NEW BEST:: SOT 312894 SOS 138318 HAS SOPS 138318 HAS SOUS 95918 HAS SOUPS 95918 WITH SCORE 96056.318
AT ITER 1076 NEW BEST:: SOT 312786 SOS 138250 HAS SOPS 138250 HAS SOUS 95850 HAS SOUPS 95850 WITH SCORE 95988.25
AT ITER 1090 NEW BEST:: SOT 312786 SOS 138250 HAS SOPS 138250 HAS SOUS 95766 HAS SOUPS 95766 WITH SCORE 95904.25
AT ITER 1096 NEW BEST:: SOT 312695 SOS 138159 HAS SOPS 138159 HAS SOUS 95675 HAS SOUPS 95675 WITH SCORE 95813.159
AT ITER 1099 NEW BEST:: SOT 312528 SOS 137864 HAS SOPS 137864 HAS SOUS 95586 HAS SOUPS 95586 WITH SCORE 95723.864
AT ITER 1125 NEW BEST:: SOT 312500 SOS 137808 HAS SOPS 137808 HAS SOUS 95557 HAS SOUPS 95557 WITH SCORE 95694.808
AT ITER 1135 NEW BEST:: SOT 312499 SOS 137753 HAS SOPS 137753 HAS SOUS 95502 HAS SOUPS 95502 WITH SCORE 95639.753
AT ITER 1136 NEW BEST:: SOT 312246 SOS 137499 HAS SOPS 137499 HAS SOUS 95500 HAS SOUPS 95500 WITH SCORE 95637.499
AT ITER 1142 NEW BEST:: SOT 312103 SOS 137356 HAS SOPS 137356 HAS SOUS 95500 HAS SOUPS 95500 WITH SCORE 95637.356
AT ITER 1153 NEW BEST:: SOT 312365 SOS 113462 HAS SOPS 113462 HAS SOUS 95498 HAS SOUPS 95498 WITH SCORE 95611.462
AT ITER 1156 NEW BEST:: SOT 312344 SOS 113441 HAS SOPS 113441 HAS SOUS 95477 HAS SOUPS 95477 WITH SCORE 95590.441
AT ITER 1168 NEW BEST:: SOT 312192 SOS 113244 HAS SOPS 113244 HAS SOUS 95280 HAS SOUPS 95280 WITH SCORE 95393.244
AT ITER 1181 NEW BEST:: SOT 312192 SOS 113224 HAS SOPS 113224 HAS SOUS 95260 HAS SOUPS 95260 WITH SCORE 95373.224
AT ITER 1188 NEW BEST:: SOT 311702 SOS 112552 HAS SOPS 112552 HAS SOUS 94941 HAS SOUPS 94941 WITH SCORE 95053.552
AT ITER 1195 NEW BEST:: SOT 311702 SOS 112517 HAS SOPS 112517 HAS SOUS 94941 HAS SOUPS 94941 WITH SCORE 95053.517
AT ITER 1196 NEW BEST:: SOT 311683 SOS 112498 HAS SOPS 112498 HAS SOUS 94817 HAS SOUPS 94817 WITH SCORE 94929.498
AT ITER 1202 NEW BEST:: SOT 311647 SOS 112478 HAS SOPS 112478 HAS SOUS 94797 HAS SOUPS 94797 WITH SCORE 94909.478
AT ITER 1205 NEW BEST:: SOT 311454 SOS 112105 HAS SOPS 112105 HAS SOUS 94604 HAS SOUPS 94604 WITH SCORE 94716.105
AT ITER 1210 NEW BEST:: SOT 311404 SOS 112005 HAS SOPS 112005 HAS SOUS 94504 HAS SOUPS 94504 WITH SCORE 94616.005
AT ITER 1216 NEW BEST:: SOT 311483 SOS 112084 HAS SOPS 112084 HAS SOUS 94498 HAS SOUPS 94498 WITH SCORE 94610.084
AT ITER 1220 NEW BEST:: SOT 311438 SOS 111986 HAS SOPS 111986 HAS SOUS 94477 HAS SOUPS 94477 WITH SCORE 94588.986
AT ITER 1221 NEW BEST:: SOT 311437 SOS 111984 HAS SOPS 111984 HAS SOUS 94475 HAS SOUPS 94475 WITH SCORE 94586.984
AT ITER 1242 NEW BEST:: SOT 311459 SOS 111899 HAS SOPS 111899 HAS SOUS 94384 HAS SOUPS 94384 WITH SCORE 94495.899
AT ITER 1246 NEW BEST:: SOT 311459 SOS 111869 HAS SOPS 111869 HAS SOUS 94354 HAS SOUPS 94354 WITH SCORE 94465.869
AT ITER 1249 NEW BEST:: SOT 311459 SOS 111704 HAS SOPS 111704 HAS SOUS 94189 HAS SOUPS 94189 WITH SCORE 94300.704
AT ITER 1269 NEW BEST:: SOT 311414 SOS 111595 HAS SOPS 111595 HAS SOUS 94080 HAS SOUPS 94080 WITH SCORE 94191.595
AT ITER 1271 NEW BEST:: SOT 311352 SOS 111576 HAS SOPS 111576 HAS SOUS 94004 HAS SOUPS 94004 WITH SCORE 94115.576
AT ITER 1279 NEW BEST:: SOT 311347 SOS 111571 HAS SOPS 111571 HAS SOUS 93999 HAS SOUPS 93999 WITH SCORE 94110.571
AT ITER 1282 NEW BEST:: SOT 311344 SOS 111568 HAS SOPS 111568 HAS SOUS 93996 HAS SOUPS 93996 WITH SCORE 94107.568
AT ITER 1287 NEW BEST:: SOT 311344 SOS 111552 HAS SOPS 111552 HAS SOUS 93980 HAS SOUPS 93980 WITH SCORE 94091.552
AT ITER 1292 NEW BEST:: SOT 311353 SOS 111525 HAS SOPS 111525 HAS SOUS 93957 HAS SOUPS 93957 WITH SCORE 94068.525
AT ITER 1295 NEW BEST:: SOT 311111 SOS 111283 HAS SOPS 111283 HAS SOUS 93824 HAS SOUPS 93824 WITH SCORE 93935.283
AT ITER 1298 NEW BEST:: SOT 311223 SOS 111256 HAS SOPS 111256 HAS SOUS 93723 HAS SOUPS 93723 WITH SCORE 93834.256
AT ITER 1304 NEW BEST:: SOT 311077 SOS 111097 HAS SOPS 111097 HAS SOUS 93697 HAS SOUPS 93697 WITH SCORE 93808.097
AT ITER 1309 NEW BEST:: SOT 311148 SOS 111039 HAS SOPS 111039 HAS SOUS 93639 HAS SOUPS 93639 WITH SCORE 93750.039
AT ITER 1314 NEW BEST:: SOT 311006 SOS 110605 HAS SOPS 110605 HAS SOUS 93347 HAS SOUPS 93347 WITH SCORE 93457.605
AT ITER 1331 NEW BEST:: SOT 310984 SOS 110561 HAS SOPS 110561 HAS SOUS 93303 HAS SOUPS 93303 WITH SCORE 93413.561
AT ITER 1345 NEW BEST:: SOT 311037 SOS 110515 HAS SOPS 110515 HAS SOUS 93257 HAS SOUPS 93257 WITH SCORE 93367.515
AT ITER 1347 NEW BEST:: SOT 310917 SOS 110283 HAS SOPS 110283 HAS SOUS 93025 HAS SOUPS 93025 WITH SCORE 93135.283
AT ITER 1349 NEW BEST:: SOT 310988 SOS 110177 HAS SOPS 110177 HAS SOUS 92939 HAS SOUPS 92939 WITH SCORE 93049.177
AT ITER 1351 NEW BEST:: SOT 310977 SOS 110166 HAS SOPS 110166 HAS SOUS 92928 HAS SOUPS 92928 WITH SCORE 93038.166
AT ITER 1357 NEW BEST:: SOT 310902 SOS 110099 HAS SOPS 110099 HAS SOUS 92861 HAS SOUPS 92861 WITH SCORE 92971.099
AT ITER 1367 NEW BEST:: SOT 310636 SOS 109567 HAS SOPS 109567 HAS SOUS 92329 HAS SOUPS 92329 WITH SCORE 92438.567
AT ITER 1372 NEW BEST:: SOT 310605 SOS 109421 HAS SOPS 109421 HAS SOUS 92182 HAS SOUPS 92182 WITH SCORE 92291.421
AT ITER 1380 NEW BEST:: SOT 310663 SOS 109451 HAS SOPS 109451 HAS SOUS 92154 HAS SOUPS 92154 WITH SCORE 92263.451
AT ITER 1399 NEW BEST:: SOT 310663 SOS 109415 HAS SOPS 109415 HAS SOUS 92118 HAS SOUPS 92118 WITH SCORE 92227.415
AT ITER 1402 NEW BEST:: SOT 310475 SOS 109211 HAS SOPS 109211 HAS SOUS 91914 HAS SOUPS 91914 WITH SCORE 92023.211
AT ITER 1406 NEW BEST:: SOT 310344 SOS 109020 HAS SOPS 109020 HAS SOUS 91723 HAS SOUPS 91723 WITH SCORE 91832.02
AT ITER 1411 NEW BEST:: SOT 310344 SOS 108821 HAS SOPS 108821 HAS SOUS 91524 HAS SOUPS 91524 WITH SCORE 91632.821
AT ITER 1414 NEW BEST:: SOT 310266 SOS 108600 HAS SOPS 108600 HAS SOUS 91303 HAS SOUPS 91303 WITH SCORE 91411.6
AT ITER 1416 NEW BEST:: SOT 309829 SOS 108339 HAS SOPS 108339 HAS SOUS 91063 HAS SOUPS 91063 WITH SCORE 91171.339
AT ITER 1422 NEW BEST:: SOT 309729 SOS 108182 HAS SOPS 108182 HAS SOUS 91051 HAS SOUPS 91051 WITH SCORE 91159.182
AT ITER 1426 NEW BEST:: SOT 309746 SOS 108182 HAS SOPS 108182 HAS SOUS 91017 HAS SOUPS 91017 WITH SCORE 91125.182
AT ITER 1433 NEW BEST:: SOT 309656 SOS 108002 HAS SOPS 108002 HAS SOUS 90837 HAS SOUPS 90837 WITH SCORE 90945.002
AT ITER 1444 NEW BEST:: SOT 309656 SOS 107960 HAS SOPS 107960 HAS SOUS 90837 HAS SOUPS 90837 WITH SCORE 90944.96
AT ITER 1461 NEW BEST:: SOT 309496 SOS 107829 HAS SOPS 107829 HAS SOUS 90633 HAS SOUPS 90633 WITH SCORE 90740.829
AT ITER 1465 NEW BEST:: SOT 309467 SOS 107823 HAS SOPS 107823 HAS SOUS 90627 HAS SOUPS 90627 WITH SCORE 90734.823
AT ITER 1494 NEW BEST:: SOT 309163 SOS 108867 HAS SOPS 108867 HAS SOUS 90475 HAS SOUPS 90475 WITH SCORE 90583.867
AT ITER 1513 NEW BEST:: SOT 309310 SOS 108814 HAS SOPS 108814 HAS SOUS 90458 HAS SOUPS 90458 WITH SCORE 90566.814
AT ITER 1518 NEW BEST:: SOT 309178 SOS 108465 HAS SOPS 108465 HAS SOUS 90109 HAS SOUPS 90109 WITH SCORE 90217.465
AT ITER 1519 NEW BEST:: SOT 308893 SOS 107876 HAS SOPS 107876 HAS SOUS 89829 HAS SOUPS 89829 WITH SCORE 89936.876
AT ITER 1527 NEW BEST:: SOT 308658 SOS 107641 HAS SOPS 107641 HAS SOUS 89590 HAS SOUPS 89590 WITH SCORE 89697.641
AT ITER 1528 NEW BEST:: SOT 308657 SOS 107639 HAS SOPS 107639 HAS SOUS 89588 HAS SOUPS 89588 WITH SCORE 89695.639
AT ITER 1529 NEW BEST:: SOT 308746 SOS 107465 HAS SOPS 107465 HAS SOUS 89414 HAS SOUPS 89414 WITH SCORE 89521.465
AT ITER 1546 NEW BEST:: SOT 308685 SOS 107403 HAS SOPS 107403 HAS SOUS 89412 HAS SOUPS 89412 WITH SCORE 89519.403
AT ITER 1549 NEW BEST:: SOT 305762 SOS 104639 HAS SOPS 104639 HAS SOUS 86792 HAS SOUPS 86792 WITH SCORE 86896.639
AT ITER 1570 NEW BEST:: SOT 305871 SOS 104602 HAS SOPS 104602 HAS SOUS 86755 HAS SOUPS 86755 WITH SCORE 86859.602
AT ITER 1571 NEW BEST:: SOT 305832 SOS 104490 HAS SOPS 104490 HAS SOUS 86704 HAS SOUPS 86704 WITH SCORE 86808.49
AT ITER 1585 NEW BEST:: SOT 305936 SOS 104585 HAS SOPS 104585 HAS SOUS 86686 HAS SOUPS 86686 WITH SCORE 86790.585
AT ITER 1589 NEW BEST:: SOT 305951 SOS 104548 HAS SOPS 104548 HAS SOUS 86616 HAS SOUPS 86616 WITH SCORE 86720.548
AT ITER 1592 NEW BEST:: SOT 305842 SOS 104442 HAS SOPS 104442 HAS SOUS 86574 HAS SOUPS 86574 WITH SCORE 86678.442
AT ITER 1593 NEW BEST:: SOT 305835 SOS 104419 HAS SOPS 104419 HAS SOUS 86560 HAS SOUPS 86560 WITH SCORE 86664.419
AT ITER 1595 NEW BEST:: SOT 305927 SOS 104258 HAS SOPS 104258 HAS SOUS 86370 HAS SOUPS 86370 WITH SCORE 86474.258
AT ITER 1601 NEW BEST:: SOT 305926 SOS 104256 HAS SOPS 104256 HAS SOUS 86368 HAS SOUPS 86368 WITH SCORE 86472.256
AT ITER 1621 NEW BEST:: SOT 305977 SOS 103801 HAS SOPS 103801 HAS SOUS 86180 HAS SOUPS 86180 WITH SCORE 86283.801
AT ITER 1643 NEW BEST:: SOT 305889 SOS 103669 HAS SOPS 103669 HAS SOUS 86092 HAS SOUPS 86092 WITH SCORE 86195.669
AT ITER 1658 NEW BEST:: SOT 305568 SOS 103234 HAS SOPS 103234 HAS SOUS 85864 HAS SOUPS 85864 WITH SCORE 85967.234
AT ITER 1662 NEW BEST:: SOT 305568 SOS 103163 HAS SOPS 103163 HAS SOUS 85849 HAS SOUPS 85849 WITH SCORE 85952.163
AT ITER 1671 NEW BEST:: SOT 305400 SOS 102947 HAS SOPS 102947 HAS SOUS 85633 HAS SOUPS 85633 WITH SCORE 85735.947
AT ITER 1676 NEW BEST:: SOT 305405 SOS 102951 HAS SOPS 102951 HAS SOUS 85632 HAS SOUPS 85632 WITH SCORE 85734.951
AT ITER 1688 NEW BEST:: SOT 305405 SOS 102919 HAS SOPS 102919 HAS SOUS 85600 HAS SOUPS 85600 WITH SCORE 85702.919
AT ITER 1698 NEW BEST:: SOT 304280 SOS 101442 HAS SOPS 101442 HAS SOUS 84325 HAS SOUPS 84325 WITH SCORE 84426.442
AT ITER 1702 NEW BEST:: SOT 304266 SOS 101428 HAS SOPS 101428 HAS SOUS 84311 HAS SOUPS 84311 WITH SCORE 84412.428
AT ITER 1706 NEW BEST:: SOT 304266 SOS 101357 HAS SOPS 101357 HAS SOUS 84296 HAS SOUPS 84296 WITH SCORE 84397.357
AT ITER 1726 NEW BEST:: SOT 304327 SOS 101274 HAS SOPS 101274 HAS SOUS 84213 HAS SOUPS 84213 WITH SCORE 84314.274
AT ITER 1744 NEW BEST:: SOT 304303 SOS 101250 HAS SOPS 101250 HAS SOUS 84189 HAS SOUPS 84189 WITH SCORE 84290.25
AT ITER 1760 NEW BEST:: SOT 304462 SOS 100955 HAS SOPS 100955 HAS SOUS 83894 HAS SOUPS 83894 WITH SCORE 83994.955
AT ITER 1765 NEW BEST:: SOT 304462 SOS 100954 HAS SOPS 100954 HAS SOUS 83893 HAS SOUPS 83893 WITH SCORE 83993.954
AT ITER 1778 NEW BEST:: SOT 304460 SOS 100952 HAS SOPS 100952 HAS SOUS 83891 HAS SOUPS 83891 WITH SCORE 83991.952
AT ITER 1792 NEW BEST:: SOT 304460 SOS 100903 HAS SOPS 100903 HAS SOUS 83842 HAS SOUPS 83842 WITH SCORE 83942.903
AT ITER 1793 NEW BEST:: SOT 304441 SOS 100884 HAS SOPS 100884 HAS SOUS 83823 HAS SOUPS 83823 WITH SCORE 83923.884
AT ITER 1810 NEW BEST:: SOT 304421 SOS 100776 HAS SOPS 100776 HAS SOUS 83703 HAS SOUPS 83703 WITH SCORE 83803.776
AT ITER 1813 NEW BEST:: SOT 304420 SOS 100774 HAS SOPS 100774 HAS SOUS 83701 HAS SOUPS 83701 WITH SCORE 83801.774
AT ITER 1818 NEW BEST:: SOT 304358 SOS 100626 HAS SOPS 100626 HAS SOUS 83577 HAS SOUPS 83577 WITH SCORE 83677.626
AT ITER 1833 NEW BEST:: SOT 304320 SOS 100550 HAS SOPS 100550 HAS SOUS 83501 HAS SOUPS 83501 WITH SCORE 83601.55
AT ITER 1843 NEW BEST:: SOT 304197 SOS 100304 HAS SOPS 100304 HAS SOUS 83255 HAS SOUPS 83255 WITH SCORE 83355.304
AT ITER 1845 NEW BEST:: SOT 304197 SOS 100150 HAS SOPS 100150 HAS SOUS 83196 HAS SOUPS 83196 WITH SCORE 83296.15
AT ITER 1858 NEW BEST:: SOT 304214 SOS 100167 HAS SOPS 100167 HAS SOUS 83175 HAS SOUPS 83175 WITH SCORE 83275.167
AT ITER 1865 NEW BEST:: SOT 304135 SOS 100157 HAS SOPS 100157 HAS SOUS 83165 HAS SOUPS 83165 WITH SCORE 83265.157
AT ITER 1879 NEW BEST:: SOT 304088 SOS 100072 HAS SOPS 100072 HAS SOUS 83080 HAS SOUPS 83080 WITH SCORE 83180.072
AT ITER 1885 NEW BEST:: SOT 304088 SOS 100072 HAS SOPS 100072 HAS SOUS 83004 HAS SOUPS 83004 WITH SCORE 83104.072
AT ITER 1895 NEW BEST:: SOT 304088 SOS 99811 HAS SOPS 99811 HAS SOUS 82877 HAS SOUPS 82877 WITH SCORE 82976.811
AT ITER 1899 NEW BEST:: SOT 304087 SOS 99963 HAS SOPS 99963 HAS SOUS 82876 HAS SOUPS 82876 WITH SCORE 82975.963
AT ITER 1905 NEW BEST:: SOT 304064 SOS 99917 HAS SOPS 99917 HAS SOUS 82830 HAS SOUPS 82830 WITH SCORE 82929.917
AT ITER 1908 NEW BEST:: SOT 304064 SOS 99883 HAS SOPS 99883 HAS SOUS 82762 HAS SOUPS 82762 WITH SCORE 82861.883
AT ITER 1922 NEW BEST:: SOT 304064 SOS 99871 HAS SOPS 99871 HAS SOUS 82738 HAS SOUPS 82738 WITH SCORE 82837.871
AT ITER 1926 NEW BEST:: SOT 304057 SOS 99864 HAS SOPS 99864 HAS SOUS 82724 HAS SOUPS 82724 WITH SCORE 82823.864
AT ITER 1942 NEW BEST:: SOT 304032 SOS 99797 HAS SOPS 99797 HAS SOUS 82622 HAS SOUPS 82622 WITH SCORE 82721.797
AT ITER 1944 NEW BEST:: SOT 303979 SOS 99691 HAS SOPS 99691 HAS SOUS 82569 HAS SOUPS 82569 WITH SCORE 82668.691
AT ITER 1951 NEW BEST:: SOT 304118 SOS 99620 HAS SOPS 99620 HAS SOUS 82524 HAS SOUPS 82524 WITH SCORE 82623.62
AT ITER 1963 NEW BEST:: SOT 304092 SOS 99594 HAS SOPS 99594 HAS SOUS 82524 HAS SOUPS 82524 WITH SCORE 82623.594
AT ITER 1966 NEW BEST:: SOT 304092 SOS 99513 HAS SOPS 99513 HAS SOUS 82443 HAS SOUPS 82443 WITH SCORE 82542.513
AT ITER 1970 NEW BEST:: SOT 304058 SOS 99487 HAS SOPS 99487 HAS SOUS 82417 HAS SOUPS 82417 WITH SCORE 82516.487
AT ITER 1971 NEW BEST:: SOT 304042 SOS 99471 HAS SOPS 99471 HAS SOUS 82401 HAS SOUPS 82401 WITH SCORE 82500.471
AT ITER 1985 NEW BEST:: SOT 303975 SOS 99404 HAS SOPS 99404 HAS SOUS 82401 HAS SOUPS 82401 WITH SCORE 82500.404
AT ITER 1994 NEW BEST:: SOT 304059 SOS 99522 HAS SOPS 99522 HAS SOUS 82398 HAS SOUPS 82398 WITH SCORE 82497.522
AT ITER 2005 NEW BEST:: SOT 304059 SOS 99372 HAS SOPS 99372 HAS SOUS 82248 HAS SOUPS 82248 WITH SCORE 82347.372
AT ITER 2007 NEW BEST:: SOT 304050 SOS 99354 HAS SOPS 99354 HAS SOUS 82230 HAS SOUPS 82230 WITH SCORE 82329.354
AT ITER 2041 NEW BEST:: SOT 304050 SOS 99339 HAS SOPS 99339 HAS SOUS 82230 HAS SOUPS 82230 WITH SCORE 82329.339
AT ITER 2046 NEW BEST:: SOT 304027 SOS 99316 HAS SOPS 99316 HAS SOUS 82198 HAS SOUPS 82198 WITH SCORE 82297.316
AT ITER 2050 NEW BEST:: SOT 304027 SOS 99315 HAS SOPS 99315 HAS SOUS 82197 HAS SOUPS 82197 WITH SCORE 82296.315
AT ITER 2056 NEW BEST:: SOT 304065 SOS 99200 HAS SOPS 99200 HAS SOUS 82018 HAS SOUPS 82018 WITH SCORE 82117.2
AT ITER 2059 NEW BEST:: SOT 304065 SOS 99180 HAS SOPS 99180 HAS SOUS 81998 HAS SOUPS 81998 WITH SCORE 82097.18
AT ITER 2081 NEW BEST:: SOT 304065 SOS 99175 HAS SOPS 99175 HAS SOUS 81993 HAS SOUPS 81993 WITH SCORE 82092.175
AT ITER 2087 NEW BEST:: SOT 303938 SOS 99048 HAS SOPS 99048 HAS SOUS 81866 HAS SOUPS 81866 WITH SCORE 81965.048
AT ITER 2088 NEW BEST:: SOT 303851 SOS 98909 HAS SOPS 98909 HAS SOUS 81727 HAS SOUPS 81727 WITH SCORE 81825.909
AT ITER 2092 NEW BEST:: SOT 303804 SOS 97808 HAS SOPS 97808 HAS SOUS 81631 HAS SOUPS 81631 WITH SCORE 81728.808
AT ITER 2094 NEW BEST:: SOT 303785 SOS 97789 HAS SOPS 97789 HAS SOUS 81612 HAS SOUPS 81612 WITH SCORE 81709.789
AT ITER 2095 NEW BEST:: SOT 303700 SOS 97682 HAS SOPS 97682 HAS SOUS 81590 HAS SOUPS 81590 WITH SCORE 81687.682
AT ITER 2099 NEW BEST:: SOT 303699 SOS 97680 HAS SOPS 97680 HAS SOUS 81588 HAS SOUPS 81588 WITH SCORE 81685.68
AT ITER 2115 NEW BEST:: SOT 303858 SOS 97839 HAS SOPS 97839 HAS SOUS 81581 HAS SOUPS 81581 WITH SCORE 81678.839
AT ITER 2124 NEW BEST:: SOT 303807 SOS 97788 HAS SOPS 97788 HAS SOUS 81581 HAS SOUPS 81581 WITH SCORE 81678.788
AT ITER 2140 NEW BEST:: SOT 303763 SOS 97691 HAS SOPS 97691 HAS SOUS 81433 HAS SOUPS 81433 WITH SCORE 81530.691
AT ITER 2161 NEW BEST:: SOT 303735 SOS 97586 HAS SOPS 97586 HAS SOUS 81328 HAS SOUPS 81328 WITH SCORE 81425.586
AT ITER 2178 NEW BEST:: SOT 303735 SOS 97586 HAS SOPS 97586 HAS SOUS 81326 HAS SOUPS 81326 WITH SCORE 81423.586
AT ITER 2181 NEW BEST:: SOT 303567 SOS 97296 HAS SOPS 97296 HAS SOUS 81204 HAS SOUPS 81204 WITH SCORE 81301.296
AT ITER 2188 NEW BEST:: SOT 303587 SOS 97273 HAS SOPS 97273 HAS SOUS 81097 HAS SOUPS 81097 WITH SCORE 81194.273
AT ITER 2189 NEW BEST:: SOT 303464 SOS 97150 HAS SOPS 97150 HAS SOUS 81018 HAS SOUPS 81018 WITH SCORE 81115.15
AT ITER 2209 NEW BEST:: SOT 303463 SOS 97117 HAS SOPS 97117 HAS SOUS 80985 HAS SOUPS 80985 WITH SCORE 81082.117
AT ITER 2219 NEW BEST:: SOT 303463 SOS 97102 HAS SOPS 97102 HAS SOUS 80970 HAS SOUPS 80970 WITH SCORE 81067.102
AT ITER 2230 NEW BEST:: SOT 303462 SOS 97100 HAS SOPS 97100 HAS SOUS 80968 HAS SOUPS 80968 WITH SCORE 81065.1
AT ITER 2235 NEW BEST:: SOT 303482 SOS 97140 HAS SOPS 97140 HAS SOUS 80865 HAS SOUPS 80865 WITH SCORE 80962.14
AT ITER 2255 NEW BEST:: SOT 303482 SOS 97108 HAS SOPS 97108 HAS SOUS 80865 HAS SOUPS 80865 WITH SCORE 80962.108
AT ITER 2263 NEW BEST:: SOT 303517 SOS 97086 HAS SOPS 97086 HAS SOUS 80767 HAS SOUPS 80767 WITH SCORE 80864.086
AT ITER 2287 NEW BEST:: SOT 303517 SOS 97080 HAS SOPS 97080 HAS SOUS 80761 HAS SOUPS 80761 WITH SCORE 80858.08
AT ITER 2300 NEW BEST:: SOT 303359 SOS 96764 HAS SOPS 96764 HAS SOUS 80580 HAS SOUPS 80580 WITH SCORE 80676.764
AT ITER 2302 NEW BEST:: SOT 303354 SOS 96755 HAS SOPS 96755 HAS SOUS 80571 HAS SOUPS 80571 WITH SCORE 80667.755
AT ITER 2315 NEW BEST:: SOT 302254 SOS 97559 HAS SOPS 97559 HAS SOUS 79587 HAS SOUPS 79587 WITH SCORE 79684.559
AT ITER 2330 NEW BEST:: SOT 302254 SOS 97508 HAS SOPS 97508 HAS SOUS 79536 HAS SOUPS 79536 WITH SCORE 79633.508
AT ITER 2332 NEW BEST:: SOT 302254 SOS 97507 HAS SOPS 97507 HAS SOUS 79535 HAS SOUPS 79535 WITH SCORE 79632.507
AT ITER 2333 NEW BEST:: SOT 302119 SOS 97237 HAS SOPS 97237 HAS SOUS 79427 HAS SOUPS 79427 WITH SCORE 79524.237
AT ITER 2334 NEW BEST:: SOT 302021 SOS 97066 HAS SOPS 97066 HAS SOUS 79286 HAS SOUPS 79286 WITH SCORE 79383.066
AT ITER 2344 NEW BEST:: SOT 301956 SOS 97001 HAS SOPS 97001 HAS SOUS 79221 HAS SOUPS 79221 WITH SCORE 79318.001
AT ITER 2353 NEW BEST:: SOT 301898 SOS 96914 HAS SOPS 96914 HAS SOUS 79163 HAS SOUPS 79163 WITH SCORE 79259.914
AT ITER 2357 NEW BEST:: SOT 301858 SOS 96874 HAS SOPS 96874 HAS SOUS 79123 HAS SOUPS 79123 WITH SCORE 79219.874
AT ITER 2414 NEW BEST:: SOT 301745 SOS 96763 HAS SOPS 96763 HAS SOUS 79012 HAS SOUPS 79012 WITH SCORE 79108.763
AT ITER 2418 NEW BEST:: SOT 301597 SOS 96707 HAS SOPS 96707 HAS SOUS 78984 HAS SOUPS 78984 WITH SCORE 79080.707
AT ITER 2426 NEW BEST:: SOT 301601 SOS 96650 HAS SOPS 96650 HAS SOUS 78927 HAS SOUPS 78927 WITH SCORE 79023.65
AT ITER 2447 NEW BEST:: SOT 301601 SOS 96638 HAS SOPS 96638 HAS SOUS 78915 HAS SOUPS 78915 WITH SCORE 79011.638
AT ITER 2457 NEW BEST:: SOT 301578 SOS 96616 HAS SOPS 96616 HAS SOUS 78893 HAS SOUPS 78893 WITH SCORE 78989.616
AT ITER 2472 NEW BEST:: SOT 301512 SOS 96550 HAS SOPS 96550 HAS SOUS 78893 HAS SOUPS 78893 WITH SCORE 78989.55
AT ITER 2473 NEW BEST:: SOT 301477 SOS 96514 HAS SOPS 96514 HAS SOUS 78889 HAS SOUPS 78889 WITH SCORE 78985.514
AT ITER 2475 NEW BEST:: SOT 301451 SOS 96420 HAS SOPS 96420 HAS SOUS 78863 HAS SOUPS 78863 WITH SCORE 78959.42
AT ITER 2482 NEW BEST:: SOT 301451 SOS 96420 HAS SOPS 96420 HAS SOUS 78862 HAS SOUPS 78862 WITH SCORE 78958.42
AT ITER 2517 NEW BEST:: SOT 301451 SOS 96347 HAS SOPS 96347 HAS SOUS 78789 HAS SOUPS 78789 WITH SCORE 78885.347
AT ITER 2546 NEW BEST:: SOT 301431 SOS 96327 HAS SOPS 96327 HAS SOUS 78769 HAS SOUPS 78769 WITH SCORE 78865.327
AT ITER 2557 NEW BEST:: SOT 301410 SOS 96285 HAS SOPS 96285 HAS SOUS 78727 HAS SOUPS 78727 WITH SCORE 78823.285
AT ITER 2562 NEW BEST:: SOT 301301 SOS 96067 HAS SOPS 96067 HAS SOUS 78509 HAS SOUPS 78509 WITH SCORE 78605.067
AT ITER 2563 NEW BEST:: SOT 301282 SOS 95847 HAS SOPS 95847 HAS SOUS 78289 HAS SOUPS 78289 WITH SCORE 78384.847
AT ITER 2565 NEW BEST:: SOT 301312 SOS 95819 HAS SOPS 95819 HAS SOUS 78235 HAS SOUPS 78235 WITH SCORE 78330.819
AT ITER 2572 NEW BEST:: SOT 301142 SOS 95479 HAS SOPS 95479 HAS SOUS 78065 HAS SOUPS 78065 WITH SCORE 78160.479
AT ITER 2593 NEW BEST:: SOT 301141 SOS 95438 HAS SOPS 95438 HAS SOUS 78024 HAS SOUPS 78024 WITH SCORE 78119.438
AT ITER 2622 NEW BEST:: SOT 301141 SOS 95423 HAS SOPS 95423 HAS SOUS 78009 HAS SOUPS 78009 WITH SCORE 78104.423
AT ITER 2633 NEW BEST:: SOT 300994 SOS 95286 HAS SOPS 95286 HAS SOUS 77872 HAS SOUPS 77872 WITH SCORE 77967.286
AT ITER 2659 NEW BEST:: SOT 300575 SOS 94739 HAS SOPS 94739 HAS SOUS 77555 HAS SOUPS 77555 WITH SCORE 77649.739
AT ITER 2661 NEW BEST:: SOT 300575 SOS 94640 HAS SOPS 94640 HAS SOUS 77456 HAS SOUPS 77456 WITH SCORE 77550.64
AT ITER 2676 NEW BEST:: SOT 300564 SOS 94629 HAS SOPS 94629 HAS SOUS 77445 HAS SOUPS 77445 WITH SCORE 77539.629
AT ITER 2679 NEW BEST:: SOT 300525 SOS 94605 HAS SOPS 94605 HAS SOUS 77421 HAS SOUPS 77421 WITH SCORE 77515.605
AT ITER 2682 NEW BEST:: SOT 300477 SOS 94509 HAS SOPS 94509 HAS SOUS 77373 HAS SOUPS 77373 WITH SCORE 77467.509
AT ITER 2683 NEW BEST:: SOT 300477 SOS 94464 HAS SOPS 94464 HAS SOUS 77328 HAS SOUPS 77328 WITH SCORE 77422.464
AT ITER 2700 NEW BEST:: SOT 300477 SOS 94424 HAS SOPS 94424 HAS SOUS 77288 HAS SOUPS 77288 WITH SCORE 77382.424
AT ITER 2703 NEW BEST:: SOT 300477 SOS 94424 HAS SOPS 94424 HAS SOUS 77222 HAS SOUPS 77222 WITH SCORE 77316.424
AT ITER 2711 NEW BEST:: SOT 300479 SOS 94266 HAS SOPS 94266 HAS SOUS 77064 HAS SOUPS 77064 WITH SCORE 77158.266
AT ITER 2730 NEW BEST:: SOT 300012 SOS 93799 HAS SOPS 93799 HAS SOUS 76773 HAS SOUPS 76773 WITH SCORE 76866.799
AT ITER 2733 NEW BEST:: SOT 299958 SOS 93745 HAS SOPS 93745 HAS SOUS 76719 HAS SOUPS 76719 WITH SCORE 76812.745
AT ITER 2759 NEW BEST:: SOT 299925 SOS 93679 HAS SOPS 93679 HAS SOUS 76653 HAS SOUPS 76653 WITH SCORE 76746.679
AT ITER 2781 NEW BEST:: SOT 299878 SOS 93538 HAS SOPS 93538 HAS SOUS 76512 HAS SOUPS 76512 WITH SCORE 76605.538
AT ITER 2787 NEW BEST:: SOT 299953 SOS 93615 HAS SOPS 93615 HAS SOUS 76490 HAS SOUPS 76490 WITH SCORE 76583.615
AT ITER 2789 NEW BEST:: SOT 299913 SOS 93555 HAS SOPS 93555 HAS SOUS 76470 HAS SOUPS 76470 WITH SCORE 76563.555
AT ITER 2797 NEW BEST:: SOT 299970 SOS 93901 HAS SOPS 93901 HAS SOUS 76421 HAS SOUPS 76421 WITH SCORE 76514.901
AT ITER 2819 NEW BEST:: SOT 299679 SOS 93343 HAS SOPS 93343 HAS SOUS 75863 HAS SOUPS 75863 WITH SCORE 75956.343
AT ITER 2831 NEW BEST:: SOT 299724 SOS 93305 HAS SOPS 93305 HAS SOUS 75863 HAS SOUPS 75863 WITH SCORE 75956.305
AT ITER 2852 NEW BEST:: SOT 299712 SOS 93304 HAS SOPS 93304 HAS SOUS 75862 HAS SOUPS 75862 WITH SCORE 75955.304
AT ITER 2880 NEW BEST:: SOT 299611 SOS 93102 HAS SOPS 93102 HAS SOUS 75761 HAS SOUPS 75761 WITH SCORE 75854.102
AT ITER 2882 NEW BEST:: SOT 299609 SOS 93155 HAS SOPS 93155 HAS SOUS 75750 HAS SOUPS 75750 WITH SCORE 75843.155
AT ITER 2893 NEW BEST:: SOT 299609 SOS 93126 HAS SOPS 93126 HAS SOUS 75736 HAS SOUPS 75736 WITH SCORE 75829.126
AT ITER 2901 NEW BEST:: SOT 299601 SOS 93110 HAS SOPS 93110 HAS SOUS 75728 HAS SOUPS 75728 WITH SCORE 75821.11
AT ITER 2905 NEW BEST:: SOT 299599 SOS 93106 HAS SOPS 93106 HAS SOUS 75724 HAS SOUPS 75724 WITH SCORE 75817.106
AT ITER 2925 NEW BEST:: SOT 299507 SOS 93015 HAS SOPS 93015 HAS SOUS 75693 HAS SOUPS 75693 WITH SCORE 75786.015
AT ITER 2926 NEW BEST:: SOT 299496 SOS 92993 HAS SOPS 92993 HAS SOUS 75671 HAS SOUPS 75671 WITH SCORE 75763.993
AT ITER 2952 NEW BEST:: SOT 299495 SOS 92992 HAS SOPS 92992 HAS SOUS 75670 HAS SOUPS 75670 WITH SCORE 75762.992
AT ITER 2960 NEW BEST:: SOT 299403 SOS 92927 HAS SOPS 92927 HAS SOUS 75605 HAS SOUPS 75605 WITH SCORE 75697.927
AT ITER 2961 NEW BEST:: SOT 299380 SOS 92881 HAS SOPS 92881 HAS SOUS 75536 HAS SOUPS 75536 WITH SCORE 75628.881
AT ITER 2962 NEW BEST:: SOT 299359 SOS 92839 HAS SOPS 92839 HAS SOUS 75494 HAS SOUPS 75494 WITH SCORE 75586.839
AT ITER 2967 NEW BEST:: SOT 299355 SOS 92835 HAS SOPS 92835 HAS SOUS 75490 HAS SOUPS 75490 WITH SCORE 75582.835
AT ITER 2968 NEW BEST:: SOT 299230 SOS 92546 HAS SOPS 92546 HAS SOUS 75201 HAS SOUPS 75201 WITH SCORE 75293.546
AT ITER 2971 NEW BEST:: SOT 299168 SOS 92484 HAS SOPS 92484 HAS SOUS 75139 HAS SOUPS 75139 WITH SCORE 75231.484
AT ITER 2986 NEW BEST:: SOT 299149 SOS 92427 HAS SOPS 92427 HAS SOUS 75082 HAS SOUPS 75082 WITH SCORE 75174.427
AT ITER 2990 NEW BEST:: SOT 299122 SOS 92400 HAS SOPS 92400 HAS SOUS 75055 HAS SOUPS 75055 WITH SCORE 75147.4
AT ITER 3031 NEW BEST:: SOT 299086 SOS 92364 HAS SOPS 92364 HAS SOUS 75019 HAS SOUPS 75019 WITH SCORE 75111.364
AT ITER 3035 NEW BEST:: SOT 299024 SOS 92258 HAS SOPS 92258 HAS SOUS 74913 HAS SOUPS 74913 WITH SCORE 75005.258
AT ITER 3037 NEW BEST:: SOT 299031 SOS 92231 HAS SOPS 92231 HAS SOUS 74886 HAS SOUPS 74886 WITH SCORE 74978.231
AT ITER 3051 NEW BEST:: SOT 298985 SOS 92176 HAS SOPS 92176 HAS SOUS 74838 HAS SOUPS 74838 WITH SCORE 74930.176
AT ITER 3055 NEW BEST:: SOT 298809 SOS 91912 HAS SOPS 91912 HAS SOUS 74662 HAS SOUPS 74662 WITH SCORE 74753.912
AT ITER 3063 NEW BEST:: SOT 298799 SOS 91913 HAS SOPS 91913 HAS SOUS 74642 HAS SOUPS 74642 WITH SCORE 74733.913
AT ITER 3064 NEW BEST:: SOT 298776 SOS 91809 HAS SOPS 91809 HAS SOUS 74605 HAS SOUPS 74605 WITH SCORE 74696.809
AT ITER 3077 NEW BEST:: SOT 298756 SOS 91716 HAS SOPS 91716 HAS SOUS 74529 HAS SOUPS 74529 WITH SCORE 74620.716
AT ITER 3079 NEW BEST:: SOT 298756 SOS 91668 HAS SOPS 91668 HAS SOUS 74481 HAS SOUPS 74481 WITH SCORE 74572.668
AT ITER 3105 NEW BEST:: SOT 298746 SOS 91658 HAS SOPS 91658 HAS SOUS 74471 HAS SOUPS 74471 WITH SCORE 74562.658
AT ITER 3107 NEW BEST:: SOT 298735 SOS 91636 HAS SOPS 91636 HAS SOUS 74449 HAS SOUPS 74449 WITH SCORE 74540.636
AT ITER 3156 NEW BEST:: SOT 298660 SOS 91406 HAS SOPS 91406 HAS SOUS 74351 HAS SOUPS 74351 WITH SCORE 74442.406
AT ITER 3164 NEW BEST:: SOT 298659 SOS 91405 HAS SOPS 91405 HAS SOUS 74350 HAS SOUPS 74350 WITH SCORE 74441.405
AT ITER 3169 NEW BEST:: SOT 298616 SOS 91319 HAS SOPS 91319 HAS SOUS 74298 HAS SOUPS 74298 WITH SCORE 74389.319
AT ITER 3170 NEW BEST:: SOT 298343 SOS 90773 HAS SOPS 90773 HAS SOUS 73928 HAS SOUPS 73928 WITH SCORE 74018.773
AT ITER 3172 NEW BEST:: SOT 298324 SOS 90754 HAS SOPS 90754 HAS SOUS 73909 HAS SOUPS 73909 WITH SCORE 73999.754
AT ITER 3220 NEW BEST:: SOT 297836 SOS 100163 HAS SOPS 100163 HAS SOUS 73557 HAS SOUPS 73557 WITH SCORE 73657.163
AT ITER 3244 NEW BEST:: SOT 297712 SOS 100039 HAS SOPS 100039 HAS SOUS 73495 HAS SOUPS 73495 WITH SCORE 73595.039
AT ITER 3260 NEW BEST:: SOT 297664 SOS 99895 HAS SOPS 99895 HAS SOUS 73351 HAS SOUPS 73351 WITH SCORE 73450.895
AT ITER 3261 NEW BEST:: SOT 297638 SOS 99869 HAS SOPS 99869 HAS SOUS 73325 HAS SOUPS 73325 WITH SCORE 73424.869
AT ITER 3266 NEW BEST:: SOT 297638 SOS 99842 HAS SOPS 99842 HAS SOUS 73298 HAS SOUPS 73298 WITH SCORE 73397.842
AT ITER 3281 NEW BEST:: SOT 297638 SOS 99898 HAS SOPS 99898 HAS SOUS 73242 HAS SOUPS 73242 WITH SCORE 73341.898
AT ITER 3300 NEW BEST:: SOT 297610 SOS 99898 HAS SOPS 99898 HAS SOUS 73214 HAS SOUPS 73214 WITH SCORE 73313.898
AT ITER 3310 NEW BEST:: SOT 297589 SOS 99848 HAS SOPS 99848 HAS SOUS 73193 HAS SOUPS 73193 WITH SCORE 73292.848
AT ITER 3319 NEW BEST:: SOT 297579 SOS 99838 HAS SOPS 99838 HAS SOUS 73183 HAS SOUPS 73183 WITH SCORE 73282.838
AT ITER 3330 NEW BEST:: SOT 297615 SOS 99377 HAS SOPS 99377 HAS SOUS 73015 HAS SOUPS 73015 WITH SCORE 73114.377
AT ITER 3337 NEW BEST:: SOT 297493 SOS 99124 HAS SOPS 99124 HAS SOUS 72858 HAS SOUPS 72858 WITH SCORE 72957.124
AT ITER 3351 NEW BEST:: SOT 297462 SOS 99070 HAS SOPS 99070 HAS SOUS 72804 HAS SOUPS 72804 WITH SCORE 72903.07
AT ITER 3355 NEW BEST:: SOT 297405 SOS 99044 HAS SOPS 99044 HAS SOUS 72778 HAS SOUPS 72778 WITH SCORE 72877.044
AT ITER 3361 NEW BEST:: SOT 297334 SOS 97837 HAS SOPS 97837 HAS SOUS 72636 HAS SOUPS 72636 WITH SCORE 72733.837
AT ITER 3365 NEW BEST:: SOT 297368 SOS 97763 HAS SOPS 97763 HAS SOUS 72562 HAS SOUPS 72562 WITH SCORE 72659.763
AT ITER 3412 NEW BEST:: SOT 297305 SOS 97699 HAS SOPS 97699 HAS SOUS 72498 HAS SOUPS 72498 WITH SCORE 72595.699
AT ITER 3420 NEW BEST:: SOT 297274 SOS 97637 HAS SOPS 97637 HAS SOUS 72474 HAS SOUPS 72474 WITH SCORE 72571.637
AT ITER 3444 NEW BEST:: SOT 297204 SOS 97497 HAS SOPS 97497 HAS SOUS 72334 HAS SOUPS 72334 WITH SCORE 72431.497
AT ITER 3449 NEW BEST:: SOT 297200 SOS 97496 HAS SOPS 97496 HAS SOUS 72333 HAS SOUPS 72333 WITH SCORE 72430.496
AT ITER 3460 NEW BEST:: SOT 297160 SOS 97455 HAS SOPS 97455 HAS SOUS 72331 HAS SOUPS 72331 WITH SCORE 72428.455
AT ITER 3476 NEW BEST:: SOT 297156 SOS 97451 HAS SOPS 97451 HAS SOUS 72327 HAS SOUPS 72327 WITH SCORE 72424.451
AT ITER 3501 NEW BEST:: SOT 297156 SOS 97443 HAS SOPS 97443 HAS SOUS 72319 HAS SOUPS 72319 WITH SCORE 72416.443
AT ITER 3518 NEW BEST:: SOT 297075 SOS 97234 HAS SOPS 97234 HAS SOUS 72110 HAS SOUPS 72110 WITH SCORE 72207.234
AT ITER 3523 NEW BEST:: SOT 297095 SOS 97244 HAS SOPS 97244 HAS SOUS 72100 HAS SOUPS 72100 WITH SCORE 72197.244
AT ITER 3533 NEW BEST:: SOT 297075 SOS 95528 HAS SOPS 95528 HAS SOUS 72080 HAS SOUPS 72080 WITH SCORE 72175.528
AT ITER 3565 NEW BEST:: SOT 297023 SOS 95485 HAS SOPS 95485 HAS SOUS 72037 HAS SOUPS 72037 WITH SCORE 72132.485
AT ITER 3575 NEW BEST:: SOT 297015 SOS 95525 HAS SOPS 95525 HAS SOUS 72029 HAS SOUPS 72029 WITH SCORE 72124.525
AT ITER 3586 NEW BEST:: SOT 297015 SOS 95426 HAS SOPS 95426 HAS SOUS 71930 HAS SOUPS 71930 WITH SCORE 72025.426
AT ITER 3595 NEW BEST:: SOT 297014 SOS 95424 HAS SOPS 95424 HAS SOUS 71928 HAS SOUPS 71928 WITH SCORE 72023.424
AT ITER 3608 NEW BEST:: SOT 296970 SOS 95357 HAS SOPS 95357 HAS SOUS 71861 HAS SOUPS 71861 WITH SCORE 71956.357
AT ITER 3632 NEW BEST:: SOT 296995 SOS 95356 HAS SOPS 95356 HAS SOUS 71860 HAS SOUPS 71860 WITH SCORE 71955.356
AT ITER 3633 NEW BEST:: SOT 296995 SOS 95356 HAS SOPS 95356 HAS SOUS 71836 HAS SOUPS 71836 WITH SCORE 71931.356
AT ITER 3644 NEW BEST:: SOT 297040 SOS 95401 HAS SOPS 95401 HAS SOUS 71821 HAS SOUPS 71821 WITH SCORE 71916.401
AT ITER 3653 NEW BEST:: SOT 297070 SOS 95431 HAS SOPS 95431 HAS SOUS 71791 HAS SOUPS 71791 WITH SCORE 71886.431
AT ITER 3656 NEW BEST:: SOT 297067 SOS 95428 HAS SOPS 95428 HAS SOUS 71791 HAS SOUPS 71791 WITH SCORE 71886.428
AT ITER 3665 NEW BEST:: SOT 297018 SOS 95393 HAS SOPS 95393 HAS SOUS 71756 HAS SOUPS 71756 WITH SCORE 71851.393
AT ITER 3672 NEW BEST:: SOT 296996 SOS 95349 HAS SOPS 95349 HAS SOUS 71712 HAS SOUPS 71712 WITH SCORE 71807.349
AT ITER 3692 NEW BEST:: SOT 296983 SOS 95323 HAS SOPS 95323 HAS SOUS 71686 HAS SOUPS 71686 WITH SCORE 71781.323
AT ITER 3695 NEW BEST:: SOT 296972 SOS 95301 HAS SOPS 95301 HAS SOUS 71664 HAS SOUPS 71664 WITH SCORE 71759.301
AT ITER 3776 NEW BEST:: SOT 296931 SOS 95288 HAS SOPS 95288 HAS SOUS 71635 HAS SOUPS 71635 WITH SCORE 71730.288
AT ITER 3778 NEW BEST:: SOT 296929 SOS 95282 HAS SOPS 95282 HAS SOUS 71629 HAS SOUPS 71629 WITH SCORE 71724.282
AT ITER 3781 NEW BEST:: SOT 296787 SOS 95145 HAS SOPS 95145 HAS SOUS 71492 HAS SOUPS 71492 WITH SCORE 71587.145
AT ITER 3792 NEW BEST:: SOT 296862 SOS 95141 HAS SOPS 95141 HAS SOUS 71488 HAS SOUPS 71488 WITH SCORE 71583.141
AT ITER 3816 NEW BEST:: SOT 296813 SOS 95042 HAS SOPS 95042 HAS SOUS 71414 HAS SOUPS 71414 WITH SCORE 71509.042
AT ITER 3847 NEW BEST:: SOT 296752 SOS 94977 HAS SOPS 94977 HAS SOUS 71406 HAS SOUPS 71406 WITH SCORE 71500.977
AT ITER 3881 NEW BEST:: SOT 296744 SOS 94943 HAS SOPS 94943 HAS SOUS 71372 HAS SOUPS 71372 WITH SCORE 71466.943
AT ITER 3894 NEW BEST:: SOT 296766 SOS 94904 HAS SOPS 94904 HAS SOUS 71333 HAS SOUPS 71333 WITH SCORE 71427.904
AT ITER 3919 NEW BEST:: SOT 296859 SOS 94976 HAS SOPS 94976 HAS SOUS 71254 HAS SOUPS 71254 WITH SCORE 71348.976
AT ITER 3925 NEW BEST:: SOT 296701 SOS 94660 HAS SOPS 94660 HAS SOUS 71102 HAS SOUPS 71102 WITH SCORE 71196.66
AT ITER 3928 NEW BEST:: SOT 296657 SOS 94572 HAS SOPS 94572 HAS SOUS 71045 HAS SOUPS 71045 WITH SCORE 71139.572
AT ITER 3932 NEW BEST:: SOT 296664 SOS 94508 HAS SOPS 94508 HAS SOUS 70969 HAS SOUPS 70969 WITH SCORE 71063.508
AT ITER 3936 NEW BEST:: SOT 296565 SOS 94409 HAS SOPS 94409 HAS SOUS 70870 HAS SOUPS 70870 WITH SCORE 70964.409
AT ITER 3938 NEW BEST:: SOT 296553 SOS 94378 HAS SOPS 94378 HAS SOUS 70839 HAS SOUPS 70839 WITH SCORE 70933.378
AT ITER 3941 NEW BEST:: SOT 296520 SOS 94376 HAS SOPS 94376 HAS SOUS 70837 HAS SOUPS 70837 WITH SCORE 70931.376
AT ITER 3954 NEW BEST:: SOT 296452 SOS 94274 HAS SOPS 94274 HAS SOUS 70735 HAS SOUPS 70735 WITH SCORE 70829.274
AT ITER 3977 NEW BEST:: SOT 296458 SOS 94237 HAS SOPS 94237 HAS SOUS 70698 HAS SOUPS 70698 WITH SCORE 70792.237
AT ITER 3987 NEW BEST:: SOT 296501 SOS 94235 HAS SOPS 94235 HAS SOUS 70696 HAS SOUPS 70696 WITH SCORE 70790.235
AT ITER 3996 NEW BEST:: SOT 296501 SOS 94230 HAS SOPS 94230 HAS SOUS 70691 HAS SOUPS 70691 WITH SCORE 70785.23
AT ITER 4008 NEW BEST:: SOT 296501 SOS 94024 HAS SOPS 94024 HAS SOUS 70506 HAS SOUPS 70506 WITH SCORE 70600.024
AT ITER 4009 NEW BEST:: SOT 296476 SOS 93974 HAS SOPS 93974 HAS SOUS 70484 HAS SOUPS 70484 WITH SCORE 70577.974
AT ITER 4024 NEW BEST:: SOT 296504 SOS 93969 HAS SOPS 93969 HAS SOUS 70479 HAS SOUPS 70479 WITH SCORE 70572.969
AT ITER 4093 NEW BEST:: SOT 296504 SOS 93923 HAS SOPS 93923 HAS SOUS 70433 HAS SOUPS 70433 WITH SCORE 70526.923
AT ITER 4094 NEW BEST:: SOT 296504 SOS 93923 HAS SOPS 93923 HAS SOUS 70426 HAS SOUPS 70426 WITH SCORE 70519.923
AT ITER 4116 NEW BEST:: SOT 296505 SOS 93915 HAS SOPS 93915 HAS SOUS 70418 HAS SOUPS 70418 WITH SCORE 70511.915
AT ITER 4138 NEW BEST:: SOT 296517 SOS 93921 HAS SOPS 93921 HAS SOUS 70406 HAS SOUPS 70406 WITH SCORE 70499.921
AT ITER 4145 NEW BEST:: SOT 296501 SOS 93889 HAS SOPS 93889 HAS SOUS 70374 HAS SOUPS 70374 WITH SCORE 70467.889
AT ITER 4157 NEW BEST:: SOT 296466 SOS 93854 HAS SOPS 93854 HAS SOUS 70339 HAS SOUPS 70339 WITH SCORE 70432.854
AT ITER 4185 NEW BEST:: SOT 296466 SOS 93851 HAS SOPS 93851 HAS SOUS 70336 HAS SOUPS 70336 WITH SCORE 70429.851
AT ITER 4202 NEW BEST:: SOT 296463 SOS 93845 HAS SOPS 93845 HAS SOUS 70330 HAS SOUPS 70330 WITH SCORE 70423.845
AT ITER 4218 NEW BEST:: SOT 296458 SOS 93840 HAS SOPS 93840 HAS SOUS 70325 HAS SOUPS 70325 WITH SCORE 70418.84
AT ITER 4251 NEW BEST:: SOT 296466 SOS 93722 HAS SOPS 93722 HAS SOUS 70207 HAS SOUPS 70207 WITH SCORE 70300.722
AT ITER 4286 NEW BEST:: SOT 296466 SOS 93587 HAS SOPS 93587 HAS SOUS 70099 HAS SOUPS 70099 WITH SCORE 70192.587
AT ITER 4293 NEW BEST:: SOT 296657 SOS 93522 HAS SOPS 93522 HAS SOUS 70090 HAS SOUPS 70090 WITH SCORE 70183.522
AT ITER 4304 NEW BEST:: SOT 296838 SOS 93682 HAS SOPS 93682 HAS SOUS 70052 HAS SOUPS 70052 WITH SCORE 70145.682
AT ITER 4305 NEW BEST:: SOT 296772 SOS 93530 HAS SOPS 93530 HAS SOUS 69992 HAS SOUPS 69992 WITH SCORE 70085.53
AT ITER 4313 NEW BEST:: SOT 296883 SOS 93620 HAS SOPS 93620 HAS SOUS 69954 HAS SOUPS 69954 WITH SCORE 70047.62
AT ITER 4318 NEW BEST:: SOT 296834 SOS 93572 HAS SOPS 93572 HAS SOUS 69906 HAS SOUPS 69906 WITH SCORE 69999.572
AT ITER 4360 NEW BEST:: SOT 296810 SOS 93565 HAS SOPS 93565 HAS SOUS 69899 HAS SOUPS 69899 WITH SCORE 69992.565
AT ITER 4371 NEW BEST:: SOT 296773 SOS 93491 HAS SOPS 93491 HAS SOUS 69825 HAS SOUPS 69825 WITH SCORE 69918.491
AT ITER 4408 NEW BEST:: SOT 296656 SOS 93279 HAS SOPS 93279 HAS SOUS 69717 HAS SOUPS 69717 WITH SCORE 69810.279
AT ITER 4409 NEW BEST:: SOT 296552 SOS 93076 HAS SOPS 93076 HAS SOUS 69514 HAS SOUPS 69514 WITH SCORE 69607.076
AT ITER 4452 NEW BEST:: SOT 296531 SOS 93055 HAS SOPS 93055 HAS SOUS 69493 HAS SOUPS 69493 WITH SCORE 69586.055
AT ITER 4470 NEW BEST:: SOT 296537 SOS 93072 HAS SOPS 93072 HAS SOUS 69468 HAS SOUPS 69468 WITH SCORE 69561.072
AT ITER 4471 NEW BEST:: SOT 296530 SOS 93065 HAS SOPS 93065 HAS SOUS 69468 HAS SOUPS 69468 WITH SCORE 69561.065
AT ITER 4487 NEW BEST:: SOT 296523 SOS 93058 HAS SOPS 93058 HAS SOUS 69454 HAS SOUPS 69454 WITH SCORE 69547.058
AT ITER 4515 NEW BEST:: SOT 296447 SOS 92906 HAS SOPS 92906 HAS SOUS 69302 HAS SOUPS 69302 WITH SCORE 69394.906
AT ITER 4543 NEW BEST:: SOT 296363 SOS 92738 HAS SOPS 92738 HAS SOUS 69218 HAS SOUPS 69218 WITH SCORE 69310.738
AT ITER 4548 NEW BEST:: SOT 296363 SOS 92685 HAS SOPS 92685 HAS SOUS 69112 HAS SOUPS 69112 WITH SCORE 69204.685
AT ITER 4583 NEW BEST:: SOT 296256 SOS 92529 HAS SOPS 92529 HAS SOUS 68956 HAS SOUPS 68956 WITH SCORE 69048.529
AT ITER 4600 NEW BEST:: SOT 296293 SOS 92377 HAS SOPS 92377 HAS SOUS 68919 HAS SOUPS 68919 WITH SCORE 69011.377
AT ITER 4615 NEW BEST:: SOT 296170 SOS 92320 HAS SOPS 92320 HAS SOUS 68892 HAS SOUPS 68892 WITH SCORE 68984.32
AT ITER 4634 NEW BEST:: SOT 296124 SOS 92251 HAS SOPS 92251 HAS SOUS 68823 HAS SOUPS 68823 WITH SCORE 68915.251
AT ITER 4646 NEW BEST:: SOT 296022 SOS 92093 HAS SOPS 92093 HAS SOUS 68665 HAS SOUPS 68665 WITH SCORE 68757.093
AT ITER 4647 NEW BEST:: SOT 296098 SOS 92165 HAS SOPS 92165 HAS SOUS 68656 HAS SOUPS 68656 WITH SCORE 68748.165
AT ITER 4673 NEW BEST:: SOT 296098 SOS 92127 HAS SOPS 92127 HAS SOUS 68618 HAS SOUPS 68618 WITH SCORE 68710.127
AT ITER 4687 NEW BEST:: SOT 296091 SOS 92119 HAS SOPS 92119 HAS SOUS 68615 HAS SOUPS 68615 WITH SCORE 68707.119
AT ITER 4701 NEW BEST:: SOT 296091 SOS 92074 HAS SOPS 92074 HAS SOUS 68585 HAS SOUPS 68585 WITH SCORE 68677.074
AT ITER 4703 NEW BEST:: SOT 296066 SOS 92073 HAS SOPS 92073 HAS SOUS 68584 HAS SOUPS 68584 WITH SCORE 68676.073
AT ITER 4737 NEW BEST:: SOT 295981 SOS 91989 HAS SOPS 91989 HAS SOUS 68444 HAS SOUPS 68444 WITH SCORE 68535.989
AT ITER 4749 NEW BEST:: SOT 295963 SOS 91953 HAS SOPS 91953 HAS SOUS 68408 HAS SOUPS 68408 WITH SCORE 68499.953
AT ITER 4762 NEW BEST:: SOT 295829 SOS 91819 HAS SOPS 91819 HAS SOUS 68288 HAS SOUPS 68288 WITH SCORE 68379.819
AT ITER 4777 NEW BEST:: SOT 295782 SOS 91810 HAS SOPS 91810 HAS SOUS 68279 HAS SOUPS 68279 WITH SCORE 68370.81
AT ITER 4789 NEW BEST:: SOT 295755 SOS 91783 HAS SOPS 91783 HAS SOUS 68279 HAS SOUPS 68279 WITH SCORE 68370.783
AT ITER 4807 NEW BEST:: SOT 295725 SOS 91781 HAS SOPS 91781 HAS SOUS 68277 HAS SOUPS 68277 WITH SCORE 68368.781
AT ITER 4837 NEW BEST:: SOT 295695 SOS 91721 HAS SOPS 91721 HAS SOUS 68243 HAS SOUPS 68243 WITH SCORE 68334.721
AT ITER 4867 NEW BEST:: SOT 295674 SOS 91668 HAS SOPS 91668 HAS SOUS 68171 HAS SOUPS 68171 WITH SCORE 68262.668
AT ITER 4879 NEW BEST:: SOT 295703 SOS 91618 HAS SOPS 91618 HAS SOUS 68121 HAS SOUPS 68121 WITH SCORE 68212.618
AT ITER 4896 NEW BEST:: SOT 295703 SOS 91554 HAS SOPS 91554 HAS SOUS 67993 HAS SOUPS 67993 WITH SCORE 68084.554
AT ITER 4902 NEW BEST:: SOT 295703 SOS 91510 HAS SOPS 91510 HAS SOUS 67949 HAS SOUPS 67949 WITH SCORE 68040.51
AT ITER 4915 NEW BEST:: SOT 295692 SOS 91499 HAS SOPS 91499 HAS SOUS 67938 HAS SOUPS 67938 WITH SCORE 68029.499
AT ITER 4970 NEW BEST:: SOT 295692 SOS 91107 HAS SOPS 91107 HAS SOUS 67742 HAS SOUPS 67742 WITH SCORE 67833.107
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-19-CTLFireability-00 (! (EF( ((potential((tk(P659)>=1)))))))
PROPERTY: BusinessProcesses-PT-19-CTLFireability-01 (EU( ( ( ((potential((tk(P189)>=1) & (tk(P676)>=1)))) | (! ((potential((tk(P486)>=1))))) ) | (EX( ((potential((tk(P743)>=1) & (tk(P740)>=1)))))) ) , (EF( ((potential((tk(P132)>=1)))))) ))
PROPERTY: BusinessProcesses-PT-19-CTLFireability-02 (AG( ( (! (AG( ((potential((tk(P499)>=1) & (tk(P216)>=1) & (tk(P770)>=1))))))) | ((potential((tk(P420)>=1)))) )))
PROPERTY: BusinessProcesses-PT-19-CTLFireability-03 (! ( (AF( ( ((potential((tk(P545)>=1)))) | ( ((potential((tk(P665)>=1)))) & ((potential((tk(P227)>=1)))) ) ))) | (EU( (! ((potential((tk(P434)>=1) & (tk(P96)>=1) & (tk(P615)>=1))))) , ( ((potential((tk(P731)>=1)))) & ((potential((tk(P382)>=1)))) ) )) ))
PROPERTY: BusinessProcesses-PT-19-CTLFireability-04 (AG( (! ( (AG( ((potential((tk(P484)>=1) & (tk(P192)>=1) & (tk(P746)>=1)))))) | (EF( ((potential((tk(P548)>=1) & (tk(P266)>=1) & (tk(P738)>=1)))))) ))))
PROPERTY: BusinessProcesses-PT-19-CTLFireability-05 (AG( (EF( ((potential((tk(P434)>=1) & (tk(P96)>=1) & (tk(P615)>=1))))))))
PROPERTY: BusinessProcesses-PT-19-CTLFireability-06 (! (AU( ((potential((tk(P322)>=1)))) , (EF( ((potential((tk(P264)>=1)))))) )))
PROPERTY: BusinessProcesses-PT-19-CTLFireability-07 (EG( (EF( (AX( ((potential((tk(P334)>=1))))))))))
PROPERTY: BusinessProcesses-PT-19-CTLFireability-08 (EF( (! ( ((potential((tk(P118)>=1)))) | ( (! ((potential((tk(P301)>=1))))) | ((potential((tk(P412)>=1)))) ) ))))
PROPERTY: BusinessProcesses-PT-19-CTLFireability-09 ( (AX( (! (EF( ((potential((tk(P35)>=1))))))))) | ( ( (AU( ((potential((tk(P509)>=1) & (tk(P234)>=1) & (tk(P688)>=1)))) , ((potential((tk(P189)>=1) & (tk(P676)>=1)))) )) | ( ( ( ((potential((tk(P235)>=1)))) & ((potential((tk(P748)>=1)))) ) | ( ((potential((tk(P695)>=1)))) & ((potential((tk(P745)>=1)))) ) ) & ( (! ((potential((tk(P130)>=1))))) | (! ((potential((tk(P379)>=1) & (tk(P48)>=1) & (tk(P585)>=1))))) ) ) ) | ((potential((tk(P557)>=1)))) ) )
PROPERTY: BusinessProcesses-PT-19-CTLFireability-10 (EF( (EU( ( ((potential((tk(P521)>=1)))) | ((potential((tk(P59)>=1)))) ) , ((potential((tk(P659)>=1)))) ))))
PROPERTY: BusinessProcesses-PT-19-CTLFireability-11 (AX( ( (EF( ((potential((tk(P751)>=1)))))) | ((potential((tk(P259)>=1)))) )))
PROPERTY: BusinessProcesses-PT-19-CTLFireability-12 (AG( (! (AF( ( ((potential((tk(P252)>=1)))) & ((potential((tk(P494)>=1) & (tk(P185)>=1) & (tk(P672)>=1)))) ))))))
PROPERTY: BusinessProcesses-PT-19-CTLFireability-13 ( (! (! ( ((potential((tk(P471)>=1)))) | ( (! ((potential((tk(P124)>=1))))) | ( ((potential((tk(P220)>=1)))) | ((potential((tk(P696)>=1)))) ) ) ))) & ( ( ((potential((tk(P467)>=1)))) | (! ( (! ((potential((tk(P291)>=1))))) & (! ((potential((tk(P596)>=1))))) )) ) | (EF( ((potential((tk(P206)>=1)))))) ) )
PROPERTY: BusinessProcesses-PT-19-CTLFireability-14 ( ( (EX( ((potential((tk(P144)>=1)))))) & (AU( (! ((potential((tk(P703)>=1))))) , ( ((potential((tk(P5)>=1)))) | ((potential((tk(P307)>=1)))) ) )) ) | (EF( ( (AX( ((potential((tk(P89)>=1) & (tk(P86)>=1)))))) | (AG( ((potential((tk(P372)>=1)))))) ))) )
PROPERTY: BusinessProcesses-PT-19-CTLFireability-15 (AF( (EF( ( ( ((potential((tk(P16)>=1)))) | ((potential((tk(P499)>=1) & (tk(P198)>=1) & (tk(P675)>=1)))) ) | ( ((potential((tk(P364)>=1) & (tk(P43)>=1) & (tk(P581)>=1)))) | ((potential((tk(P456)>=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-19"
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-19, 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-158897680200596"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-19.tgz
mv BusinessProcesses-PT-19 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 '
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 ;