Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 256K
-rw-r--r-- 1 mcc users 4.2K May 14 02:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 02:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 20:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 20:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.2K May 13 14:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 14:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 09:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 09:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 82K May 12 20:42 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 ShieldRVt-PT-030A-CTLCardinality-00
FORMULA_NAME ShieldRVt-PT-030A-CTLCardinality-01
FORMULA_NAME ShieldRVt-PT-030A-CTLCardinality-02
FORMULA_NAME ShieldRVt-PT-030A-CTLCardinality-03
FORMULA_NAME ShieldRVt-PT-030A-CTLCardinality-04
FORMULA_NAME ShieldRVt-PT-030A-CTLCardinality-05
FORMULA_NAME ShieldRVt-PT-030A-CTLCardinality-06
FORMULA_NAME ShieldRVt-PT-030A-CTLCardinality-07
FORMULA_NAME ShieldRVt-PT-030A-CTLCardinality-08
FORMULA_NAME ShieldRVt-PT-030A-CTLCardinality-09
FORMULA_NAME ShieldRVt-PT-030A-CTLCardinality-10
FORMULA_NAME ShieldRVt-PT-030A-CTLCardinality-11
FORMULA_NAME ShieldRVt-PT-030A-CTLCardinality-12
FORMULA_NAME ShieldRVt-PT-030A-CTLCardinality-13
FORMULA_NAME ShieldRVt-PT-030A-CTLCardinality-14
FORMULA_NAME ShieldRVt-PT-030A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590456151164

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 030A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 243 places, 243 transitions, 1026 arcs.
AT ITER 0 NEW BEST:: SOT 46396 SOS 34198 HAS SOPS 34198 HAS SOUS 31925 HAS SOUPS 31925 WITH SCORE 31959.198
AT ITER 3 NEW BEST:: SOT 46318 SOS 34061 HAS SOPS 34061 HAS SOUS 31726 HAS SOUPS 31726 WITH SCORE 31760.061
AT ITER 6 NEW BEST:: SOT 46063 SOS 33719 HAS SOPS 33719 HAS SOUS 31384 HAS SOUPS 31384 WITH SCORE 31417.719
AT ITER 7 NEW BEST:: SOT 45961 SOS 33569 HAS SOPS 33569 HAS SOUS 31265 HAS SOUPS 31265 WITH SCORE 31298.569
AT ITER 8 NEW BEST:: SOT 45948 SOS 33543 HAS SOPS 33543 HAS SOUS 31226 HAS SOUPS 31226 WITH SCORE 31259.543
AT ITER 10 NEW BEST:: SOT 45870 SOS 33351 HAS SOPS 33351 HAS SOUS 30995 HAS SOUPS 30995 WITH SCORE 31028.351
AT ITER 12 NEW BEST:: SOT 45870 SOS 33343 HAS SOPS 33343 HAS SOUS 30990 HAS SOUPS 30990 WITH SCORE 31023.343
AT ITER 13 NEW BEST:: SOT 45847 SOS 33320 HAS SOPS 33320 HAS SOUS 30967 HAS SOUPS 30967 WITH SCORE 31000.32
AT ITER 19 NEW BEST:: SOT 45787 SOS 33200 HAS SOPS 33200 HAS SOUS 30865 HAS SOUPS 30865 WITH SCORE 30898.2
AT ITER 22 NEW BEST:: SOT 45787 SOS 33176 HAS SOPS 33176 HAS SOUS 30865 HAS SOUPS 30865 WITH SCORE 30898.176
AT ITER 23 NEW BEST:: SOT 45680 SOS 32961 HAS SOPS 32961 HAS SOUS 30833 HAS SOUPS 30833 WITH SCORE 30865.961
AT ITER 26 NEW BEST:: SOT 45669 SOS 32950 HAS SOPS 32950 HAS SOUS 30822 HAS SOUPS 30822 WITH SCORE 30854.95
AT ITER 27 NEW BEST:: SOT 45669 SOS 32964 HAS SOPS 32964 HAS SOUS 30807 HAS SOUPS 30807 WITH SCORE 30839.964
AT ITER 29 NEW BEST:: SOT 45581 SOS 32747 HAS SOPS 32747 HAS SOUS 30670 HAS SOUPS 30670 WITH SCORE 30702.747
AT ITER 31 NEW BEST:: SOT 45581 SOS 32771 HAS SOPS 32771 HAS SOUS 30668 HAS SOUPS 30668 WITH SCORE 30700.771
AT ITER 34 NEW BEST:: SOT 45562 SOS 32729 HAS SOPS 32729 HAS SOUS 30648 HAS SOUPS 30648 WITH SCORE 30680.729
AT ITER 35 NEW BEST:: SOT 45515 SOS 32585 HAS SOPS 32585 HAS SOUS 30508 HAS SOUPS 30508 WITH SCORE 30540.585
AT ITER 37 NEW BEST:: SOT 45522 SOS 32598 HAS SOPS 32598 HAS SOUS 30461 HAS SOUPS 30461 WITH SCORE 30493.598
AT ITER 38 NEW BEST:: SOT 45522 SOS 32610 HAS SOPS 32610 HAS SOUS 30438 HAS SOUPS 30438 WITH SCORE 30470.61
AT ITER 40 NEW BEST:: SOT 45421 SOS 32382 HAS SOPS 32382 HAS SOUS 30220 HAS SOUPS 30220 WITH SCORE 30252.382
AT ITER 41 NEW BEST:: SOT 45380 SOS 32392 HAS SOPS 32392 HAS SOUS 30155 HAS SOUPS 30155 WITH SCORE 30187.392
AT ITER 42 NEW BEST:: SOT 45323 SOS 32187 HAS SOPS 32187 HAS SOUS 29948 HAS SOUPS 29948 WITH SCORE 29980.187
AT ITER 46 NEW BEST:: SOT 45308 SOS 32129 HAS SOPS 32129 HAS SOUS 29939 HAS SOUPS 29939 WITH SCORE 29971.129
AT ITER 51 NEW BEST:: SOT 45308 SOS 32129 HAS SOPS 32129 HAS SOUS 29934 HAS SOUPS 29934 WITH SCORE 29966.129
AT ITER 54 NEW BEST:: SOT 45295 SOS 32039 HAS SOPS 32039 HAS SOUS 29883 HAS SOUPS 29883 WITH SCORE 29915.039
AT ITER 58 NEW BEST:: SOT 45194 SOS 31788 HAS SOPS 31788 HAS SOUS 29638 HAS SOUPS 29638 WITH SCORE 29669.788
AT ITER 60 NEW BEST:: SOT 45154 SOS 31709 HAS SOPS 31709 HAS SOUS 29520 HAS SOUPS 29520 WITH SCORE 29551.709
AT ITER 64 NEW BEST:: SOT 45140 SOS 31633 HAS SOPS 31633 HAS SOUS 29518 HAS SOUPS 29518 WITH SCORE 29549.633
AT ITER 69 NEW BEST:: SOT 45140 SOS 31632 HAS SOPS 31632 HAS SOUS 29514 HAS SOUPS 29514 WITH SCORE 29545.632
AT ITER 70 NEW BEST:: SOT 45137 SOS 31622 HAS SOPS 31622 HAS SOUS 29505 HAS SOUPS 29505 WITH SCORE 29536.622
AT ITER 73 NEW BEST:: SOT 45107 SOS 31552 HAS SOPS 31552 HAS SOUS 29404 HAS SOUPS 29404 WITH SCORE 29435.552
AT ITER 77 NEW BEST:: SOT 45118 SOS 31605 HAS SOPS 31605 HAS SOUS 29356 HAS SOUPS 29356 WITH SCORE 29387.605
AT ITER 79 NEW BEST:: SOT 45008 SOS 31440 HAS SOPS 31440 HAS SOUS 29136 HAS SOUPS 29136 WITH SCORE 29167.44
AT ITER 81 NEW BEST:: SOT 44919 SOS 31351 HAS SOPS 31351 HAS SOUS 29047 HAS SOUPS 29047 WITH SCORE 29078.351
AT ITER 82 NEW BEST:: SOT 44880 SOS 31238 HAS SOPS 31238 HAS SOUS 28963 HAS SOUPS 28963 WITH SCORE 28994.238
AT ITER 84 NEW BEST:: SOT 44822 SOS 31287 HAS SOPS 31287 HAS SOUS 28864 HAS SOUPS 28864 WITH SCORE 28895.287
AT ITER 87 NEW BEST:: SOT 44615 SOS 30989 HAS SOPS 30989 HAS SOUS 28564 HAS SOUPS 28564 WITH SCORE 28594.989
AT ITER 88 NEW BEST:: SOT 44594 SOS 30968 HAS SOPS 30968 HAS SOUS 28543 HAS SOUPS 28543 WITH SCORE 28573.968
AT ITER 89 NEW BEST:: SOT 44546 SOS 30876 HAS SOPS 30876 HAS SOUS 28407 HAS SOUPS 28407 WITH SCORE 28437.876
AT ITER 94 NEW BEST:: SOT 44528 SOS 30858 HAS SOPS 30858 HAS SOUS 28389 HAS SOUPS 28389 WITH SCORE 28419.858
AT ITER 95 NEW BEST:: SOT 44350 SOS 30536 HAS SOPS 30536 HAS SOUS 28148 HAS SOUPS 28148 WITH SCORE 28178.536
AT ITER 96 NEW BEST:: SOT 44256 SOS 30345 HAS SOPS 30345 HAS SOUS 28032 HAS SOUPS 28032 WITH SCORE 28062.345
AT ITER 97 NEW BEST:: SOT 44237 SOS 30326 HAS SOPS 30326 HAS SOUS 28013 HAS SOUPS 28013 WITH SCORE 28043.326
AT ITER 99 NEW BEST:: SOT 44177 SOS 30205 HAS SOPS 30205 HAS SOUS 27892 HAS SOUPS 27892 WITH SCORE 27922.205
AT ITER 101 NEW BEST:: SOT 44174 SOS 30201 HAS SOPS 30201 HAS SOUS 27888 HAS SOUPS 27888 WITH SCORE 27918.201
AT ITER 103 NEW BEST:: SOT 44143 SOS 30110 HAS SOPS 30110 HAS SOUS 27767 HAS SOUPS 27767 WITH SCORE 27797.11
AT ITER 104 NEW BEST:: SOT 44143 SOS 30110 HAS SOPS 30110 HAS SOUS 27722 HAS SOUPS 27722 WITH SCORE 27752.11
AT ITER 109 NEW BEST:: SOT 44128 SOS 30080 HAS SOPS 30080 HAS SOUS 27662 HAS SOUPS 27662 WITH SCORE 27692.08
AT ITER 111 NEW BEST:: SOT 44017 SOS 29859 HAS SOPS 29859 HAS SOUS 27442 HAS SOUPS 27442 WITH SCORE 27471.859
AT ITER 112 NEW BEST:: SOT 44041 SOS 29872 HAS SOPS 29872 HAS SOUS 27390 HAS SOUPS 27390 WITH SCORE 27419.872
AT ITER 113 NEW BEST:: SOT 43962 SOS 29723 HAS SOPS 29723 HAS SOUS 27199 HAS SOUPS 27199 WITH SCORE 27228.723
AT ITER 114 NEW BEST:: SOT 43978 SOS 29684 HAS SOPS 29684 HAS SOUS 27107 HAS SOUPS 27107 WITH SCORE 27136.684
AT ITER 120 NEW BEST:: SOT 43974 SOS 29680 HAS SOPS 29680 HAS SOUS 27103 HAS SOUPS 27103 WITH SCORE 27132.68
AT ITER 121 NEW BEST:: SOT 43959 SOS 29646 HAS SOPS 29646 HAS SOUS 27060 HAS SOUPS 27060 WITH SCORE 27089.646
AT ITER 125 NEW BEST:: SOT 43917 SOS 29520 HAS SOPS 29520 HAS SOUS 26934 HAS SOUPS 26934 WITH SCORE 26963.52
AT ITER 126 NEW BEST:: SOT 43780 SOS 29364 HAS SOPS 29364 HAS SOUS 26748 HAS SOUPS 26748 WITH SCORE 26777.364
AT ITER 127 NEW BEST:: SOT 43715 SOS 29189 HAS SOPS 29189 HAS SOUS 26586 HAS SOUPS 26586 WITH SCORE 26615.189
AT ITER 128 NEW BEST:: SOT 43622 SOS 29065 HAS SOPS 29065 HAS SOUS 26449 HAS SOUPS 26449 WITH SCORE 26478.065
AT ITER 129 NEW BEST:: SOT 43628 SOS 28863 HAS SOPS 28863 HAS SOUS 26341 HAS SOUPS 26341 WITH SCORE 26369.863
AT ITER 130 NEW BEST:: SOT 43623 SOS 28832 HAS SOPS 28832 HAS SOUS 26150 HAS SOUPS 26150 WITH SCORE 26178.832
AT ITER 131 NEW BEST:: SOT 43580 SOS 28788 HAS SOPS 28788 HAS SOUS 26068 HAS SOUPS 26068 WITH SCORE 26096.788
AT ITER 136 NEW BEST:: SOT 43425 SOS 28385 HAS SOPS 28385 HAS SOUS 25732 HAS SOUPS 25732 WITH SCORE 25760.385
AT ITER 137 NEW BEST:: SOT 43370 SOS 28237 HAS SOPS 28237 HAS SOUS 25624 HAS SOUPS 25624 WITH SCORE 25652.237
AT ITER 140 NEW BEST:: SOT 43261 SOS 28013 HAS SOPS 28013 HAS SOUS 25426 HAS SOUPS 25426 WITH SCORE 25454.013
AT ITER 141 NEW BEST:: SOT 43149 SOS 27757 HAS SOPS 27757 HAS SOUS 25155 HAS SOUPS 25155 WITH SCORE 25182.757
AT ITER 142 NEW BEST:: SOT 43156 SOS 27692 HAS SOPS 27692 HAS SOUS 25144 HAS SOUPS 25144 WITH SCORE 25171.692
AT ITER 143 NEW BEST:: SOT 43022 SOS 27528 HAS SOPS 27528 HAS SOUS 24966 HAS SOUPS 24966 WITH SCORE 24993.528
AT ITER 147 NEW BEST:: SOT 42915 SOS 27281 HAS SOPS 27281 HAS SOUS 24908 HAS SOUPS 24908 WITH SCORE 24935.281
AT ITER 149 NEW BEST:: SOT 42806 SOS 27007 HAS SOPS 27007 HAS SOUS 24695 HAS SOUPS 24695 WITH SCORE 24722.007
AT ITER 152 NEW BEST:: SOT 42791 SOS 26974 HAS SOPS 26974 HAS SOUS 24662 HAS SOUPS 24662 WITH SCORE 24688.974
AT ITER 154 NEW BEST:: SOT 42748 SOS 26891 HAS SOPS 26891 HAS SOUS 24532 HAS SOUPS 24532 WITH SCORE 24558.891
AT ITER 157 NEW BEST:: SOT 42748 SOS 26940 HAS SOPS 26940 HAS SOUS 24528 HAS SOUPS 24528 WITH SCORE 24554.94
AT ITER 158 NEW BEST:: SOT 42748 SOS 26918 HAS SOPS 26918 HAS SOUS 24484 HAS SOUPS 24484 WITH SCORE 24510.918
AT ITER 160 NEW BEST:: SOT 42591 SOS 26595 HAS SOPS 26595 HAS SOUS 24321 HAS SOUPS 24321 WITH SCORE 24347.595
AT ITER 163 NEW BEST:: SOT 42587 SOS 26591 HAS SOPS 26591 HAS SOUS 24315 HAS SOUPS 24315 WITH SCORE 24341.591
AT ITER 166 NEW BEST:: SOT 42587 SOS 26589 HAS SOPS 26589 HAS SOUS 24309 HAS SOUPS 24309 WITH SCORE 24335.589
AT ITER 168 NEW BEST:: SOT 42532 SOS 26479 HAS SOPS 26479 HAS SOUS 24183 HAS SOUPS 24183 WITH SCORE 24209.479
AT ITER 176 NEW BEST:: SOT 42531 SOS 26475 HAS SOPS 26475 HAS SOUS 24181 HAS SOUPS 24181 WITH SCORE 24207.475
AT ITER 178 NEW BEST:: SOT 42404 SOS 26320 HAS SOPS 26320 HAS SOUS 24017 HAS SOUPS 24017 WITH SCORE 24043.32
AT ITER 179 NEW BEST:: SOT 42315 SOS 26118 HAS SOPS 26118 HAS SOUS 23914 HAS SOUPS 23914 WITH SCORE 23940.118
AT ITER 184 NEW BEST:: SOT 42308 SOS 25992 HAS SOPS 25992 HAS SOUS 23899 HAS SOUPS 23899 WITH SCORE 23924.992
AT ITER 188 NEW BEST:: SOT 42296 SOS 25987 HAS SOPS 25987 HAS SOUS 23886 HAS SOUPS 23886 WITH SCORE 23911.987
AT ITER 189 NEW BEST:: SOT 42296 SOS 25992 HAS SOPS 25992 HAS SOUS 23881 HAS SOUPS 23881 WITH SCORE 23906.992
AT ITER 193 NEW BEST:: SOT 42256 SOS 25949 HAS SOPS 25949 HAS SOUS 23836 HAS SOUPS 23836 WITH SCORE 23861.949
AT ITER 196 NEW BEST:: SOT 42242 SOS 25921 HAS SOPS 25921 HAS SOUS 23808 HAS SOUPS 23808 WITH SCORE 23833.921
AT ITER 197 NEW BEST:: SOT 42185 SOS 25866 HAS SOPS 25866 HAS SOUS 23747 HAS SOUPS 23747 WITH SCORE 23772.866
AT ITER 199 NEW BEST:: SOT 42185 SOS 25854 HAS SOPS 25854 HAS SOUS 23742 HAS SOUPS 23742 WITH SCORE 23767.854
AT ITER 202 NEW BEST:: SOT 42140 SOS 25793 HAS SOPS 25793 HAS SOUS 23604 HAS SOUPS 23604 WITH SCORE 23629.793
AT ITER 204 NEW BEST:: SOT 42098 SOS 25658 HAS SOPS 25658 HAS SOUS 23544 HAS SOUPS 23544 WITH SCORE 23569.658
AT ITER 211 NEW BEST:: SOT 42072 SOS 25592 HAS SOPS 25592 HAS SOUS 23480 HAS SOUPS 23480 WITH SCORE 23505.592
AT ITER 213 NEW BEST:: SOT 42060 SOS 25568 HAS SOPS 25568 HAS SOUS 23468 HAS SOUPS 23468 WITH SCORE 23493.568
AT ITER 215 NEW BEST:: SOT 42066 SOS 25556 HAS SOPS 25556 HAS SOUS 23462 HAS SOUPS 23462 WITH SCORE 23487.556
AT ITER 216 NEW BEST:: SOT 42037 SOS 25527 HAS SOPS 25527 HAS SOUS 23455 HAS SOUPS 23455 WITH SCORE 23480.527
AT ITER 217 NEW BEST:: SOT 41980 SOS 25458 HAS SOPS 25458 HAS SOUS 23388 HAS SOUPS 23388 WITH SCORE 23413.458
AT ITER 219 NEW BEST:: SOT 41977 SOS 25441 HAS SOPS 25441 HAS SOUS 23371 HAS SOUPS 23371 WITH SCORE 23396.441
AT ITER 220 NEW BEST:: SOT 41868 SOS 25303 HAS SOPS 25303 HAS SOUS 23201 HAS SOUPS 23201 WITH SCORE 23226.303
AT ITER 222 NEW BEST:: SOT 41745 SOS 25037 HAS SOPS 25037 HAS SOUS 22949 HAS SOUPS 22949 WITH SCORE 22974.037
AT ITER 226 NEW BEST:: SOT 41749 SOS 25065 HAS SOPS 25065 HAS SOUS 22811 HAS SOUPS 22811 WITH SCORE 22836.065
AT ITER 230 NEW BEST:: SOT 41747 SOS 25042 HAS SOPS 25042 HAS SOUS 22788 HAS SOUPS 22788 WITH SCORE 22813.042
AT ITER 231 NEW BEST:: SOT 41686 SOS 24831 HAS SOPS 24831 HAS SOUS 22622 HAS SOUPS 22622 WITH SCORE 22646.831
AT ITER 233 NEW BEST:: SOT 41643 SOS 24776 HAS SOPS 24776 HAS SOUS 22567 HAS SOUPS 22567 WITH SCORE 22591.776
AT ITER 237 NEW BEST:: SOT 41638 SOS 24766 HAS SOPS 24766 HAS SOUS 22557 HAS SOUPS 22557 WITH SCORE 22581.766
AT ITER 238 NEW BEST:: SOT 41583 SOS 24587 HAS SOPS 24587 HAS SOUS 22354 HAS SOUPS 22354 WITH SCORE 22378.587
AT ITER 241 NEW BEST:: SOT 41577 SOS 24562 HAS SOPS 24562 HAS SOUS 22331 HAS SOUPS 22331 WITH SCORE 22355.562
AT ITER 242 NEW BEST:: SOT 41577 SOS 24576 HAS SOPS 24576 HAS SOUS 22317 HAS SOUPS 22317 WITH SCORE 22341.576
AT ITER 243 NEW BEST:: SOT 41577 SOS 24471 HAS SOPS 24471 HAS SOUS 22269 HAS SOUPS 22269 WITH SCORE 22293.471
AT ITER 244 NEW BEST:: SOT 41505 SOS 24399 HAS SOPS 24399 HAS SOUS 22197 HAS SOUPS 22197 WITH SCORE 22221.399
AT ITER 246 NEW BEST:: SOT 41540 SOS 24358 HAS SOPS 24358 HAS SOUS 22188 HAS SOUPS 22188 WITH SCORE 22212.358
AT ITER 250 NEW BEST:: SOT 41437 SOS 24070 HAS SOPS 24070 HAS SOUS 21877 HAS SOUPS 21877 WITH SCORE 21901.07
AT ITER 253 NEW BEST:: SOT 41366 SOS 23949 HAS SOPS 23949 HAS SOUS 21740 HAS SOUPS 21740 WITH SCORE 21763.949
AT ITER 258 NEW BEST:: SOT 41391 SOS 23960 HAS SOPS 23960 HAS SOUS 21724 HAS SOUPS 21724 WITH SCORE 21747.96
AT ITER 260 NEW BEST:: SOT 41322 SOS 23861 HAS SOPS 23861 HAS SOUS 21625 HAS SOUPS 21625 WITH SCORE 21648.861
AT ITER 261 NEW BEST:: SOT 41322 SOS 23879 HAS SOPS 23879 HAS SOUS 21621 HAS SOUPS 21621 WITH SCORE 21644.879
AT ITER 263 NEW BEST:: SOT 41276 SOS 23918 HAS SOPS 23918 HAS SOUS 21526 HAS SOUPS 21526 WITH SCORE 21549.918
AT ITER 273 NEW BEST:: SOT 41264 SOS 23870 HAS SOPS 23870 HAS SOUS 21492 HAS SOUPS 21492 WITH SCORE 21515.87
AT ITER 276 NEW BEST:: SOT 41229 SOS 23805 HAS SOPS 23805 HAS SOUS 21416 HAS SOUPS 21416 WITH SCORE 21439.805
AT ITER 277 NEW BEST:: SOT 41167 SOS 23659 HAS SOPS 23659 HAS SOUS 21270 HAS SOUPS 21270 WITH SCORE 21293.659
AT ITER 289 NEW BEST:: SOT 41036 SOS 23455 HAS SOPS 23455 HAS SOUS 21007 HAS SOUPS 21007 WITH SCORE 21030.455
AT ITER 291 NEW BEST:: SOT 40947 SOS 23366 HAS SOPS 23366 HAS SOUS 20918 HAS SOUPS 20918 WITH SCORE 20941.366
AT ITER 294 NEW BEST:: SOT 40853 SOS 23170 HAS SOPS 23170 HAS SOUS 20766 HAS SOUPS 20766 WITH SCORE 20789.17
AT ITER 297 NEW BEST:: SOT 40797 SOS 23098 HAS SOPS 23098 HAS SOUS 20678 HAS SOUPS 20678 WITH SCORE 20701.098
AT ITER 299 NEW BEST:: SOT 40774 SOS 23003 HAS SOPS 23003 HAS SOUS 20619 HAS SOUPS 20619 WITH SCORE 20642.003
AT ITER 307 NEW BEST:: SOT 40746 SOS 22891 HAS SOPS 22891 HAS SOUS 20589 HAS SOUPS 20589 WITH SCORE 20611.891
AT ITER 309 NEW BEST:: SOT 40679 SOS 22789 HAS SOPS 22789 HAS SOUS 20487 HAS SOUPS 20487 WITH SCORE 20509.789
AT ITER 310 NEW BEST:: SOT 40681 SOS 22797 HAS SOPS 22797 HAS SOUS 20474 HAS SOUPS 20474 WITH SCORE 20496.797
AT ITER 311 NEW BEST:: SOT 40659 SOS 22754 HAS SOPS 22754 HAS SOUS 20427 HAS SOUPS 20427 WITH SCORE 20449.754
AT ITER 313 NEW BEST:: SOT 40611 SOS 22603 HAS SOPS 22603 HAS SOUS 20313 HAS SOUPS 20313 WITH SCORE 20335.603
AT ITER 314 NEW BEST:: SOT 40612 SOS 22602 HAS SOPS 22602 HAS SOUS 20312 HAS SOUPS 20312 WITH SCORE 20334.602
AT ITER 319 NEW BEST:: SOT 40589 SOS 22556 HAS SOPS 22556 HAS SOUS 20279 HAS SOUPS 20279 WITH SCORE 20301.556
AT ITER 331 NEW BEST:: SOT 40576 SOS 22530 HAS SOPS 22530 HAS SOUS 20260 HAS SOUPS 20260 WITH SCORE 20282.53
AT ITER 333 NEW BEST:: SOT 40543 SOS 22486 HAS SOPS 22486 HAS SOUS 20201 HAS SOUPS 20201 WITH SCORE 20223.486
AT ITER 336 NEW BEST:: SOT 40419 SOS 22218 HAS SOPS 22218 HAS SOUS 19990 HAS SOUPS 19990 WITH SCORE 20012.218
AT ITER 338 NEW BEST:: SOT 40324 SOS 22050 HAS SOPS 22050 HAS SOUS 19882 HAS SOUPS 19882 WITH SCORE 19904.05
AT ITER 349 NEW BEST:: SOT 40290 SOS 21962 HAS SOPS 21962 HAS SOUS 19830 HAS SOUPS 19830 WITH SCORE 19851.962
AT ITER 358 NEW BEST:: SOT 40286 SOS 21954 HAS SOPS 21954 HAS SOUS 19810 HAS SOUPS 19810 WITH SCORE 19831.954
AT ITER 361 NEW BEST:: SOT 40286 SOS 21774 HAS SOPS 21774 HAS SOUS 19736 HAS SOUPS 19736 WITH SCORE 19757.774
AT ITER 367 NEW BEST:: SOT 40323 SOS 21765 HAS SOPS 21765 HAS SOUS 19722 HAS SOUPS 19722 WITH SCORE 19743.765
AT ITER 374 NEW BEST:: SOT 40304 SOS 21751 HAS SOPS 21751 HAS SOUS 19703 HAS SOUPS 19703 WITH SCORE 19724.751
AT ITER 377 NEW BEST:: SOT 40211 SOS 21644 HAS SOPS 21644 HAS SOUS 19591 HAS SOUPS 19591 WITH SCORE 19612.644
AT ITER 378 NEW BEST:: SOT 40150 SOS 21543 HAS SOPS 21543 HAS SOUS 19482 HAS SOUPS 19482 WITH SCORE 19503.543
AT ITER 381 NEW BEST:: SOT 40148 SOS 21541 HAS SOPS 21541 HAS SOUS 19480 HAS SOUPS 19480 WITH SCORE 19501.541
AT ITER 383 NEW BEST:: SOT 40148 SOS 21541 HAS SOPS 21541 HAS SOUS 19442 HAS SOUPS 19442 WITH SCORE 19463.541
AT ITER 386 NEW BEST:: SOT 40136 SOS 21519 HAS SOPS 21519 HAS SOUS 19420 HAS SOUPS 19420 WITH SCORE 19441.519
AT ITER 389 NEW BEST:: SOT 40092 SOS 21435 HAS SOPS 21435 HAS SOUS 19336 HAS SOUPS 19336 WITH SCORE 19357.435
AT ITER 394 NEW BEST:: SOT 40092 SOS 21457 HAS SOPS 21457 HAS SOUS 19314 HAS SOUPS 19314 WITH SCORE 19335.457
AT ITER 400 NEW BEST:: SOT 40078 SOS 21443 HAS SOPS 21443 HAS SOUS 19300 HAS SOUPS 19300 WITH SCORE 19321.443
AT ITER 403 NEW BEST:: SOT 40056 SOS 21333 HAS SOPS 21333 HAS SOUS 19256 HAS SOUPS 19256 WITH SCORE 19277.333
AT ITER 411 NEW BEST:: SOT 39984 SOS 21246 HAS SOPS 21246 HAS SOUS 19135 HAS SOUPS 19135 WITH SCORE 19156.246
AT ITER 412 NEW BEST:: SOT 39957 SOS 21218 HAS SOPS 21218 HAS SOUS 19106 HAS SOUPS 19106 WITH SCORE 19127.218
AT ITER 414 NEW BEST:: SOT 39938 SOS 21155 HAS SOPS 21155 HAS SOUS 19043 HAS SOUPS 19043 WITH SCORE 19064.155
AT ITER 419 NEW BEST:: SOT 39854 SOS 21102 HAS SOPS 21102 HAS SOUS 18933 HAS SOUPS 18933 WITH SCORE 18954.102
AT ITER 425 NEW BEST:: SOT 39753 SOS 20868 HAS SOPS 20868 HAS SOUS 18794 HAS SOUPS 18794 WITH SCORE 18814.868
AT ITER 435 NEW BEST:: SOT 39752 SOS 20867 HAS SOPS 20867 HAS SOUS 18793 HAS SOUPS 18793 WITH SCORE 18813.867
AT ITER 436 NEW BEST:: SOT 39752 SOS 20867 HAS SOPS 20867 HAS SOUS 18780 HAS SOUPS 18780 WITH SCORE 18800.867
AT ITER 441 NEW BEST:: SOT 39671 SOS 20784 HAS SOPS 20784 HAS SOUS 18662 HAS SOUPS 18662 WITH SCORE 18682.784
AT ITER 448 NEW BEST:: SOT 39669 SOS 20765 HAS SOPS 20765 HAS SOUS 18658 HAS SOUPS 18658 WITH SCORE 18678.765
AT ITER 451 NEW BEST:: SOT 39639 SOS 20735 HAS SOPS 20735 HAS SOUS 18613 HAS SOUPS 18613 WITH SCORE 18633.735
AT ITER 453 NEW BEST:: SOT 39639 SOS 20760 HAS SOPS 20760 HAS SOUS 18566 HAS SOUPS 18566 WITH SCORE 18586.76
AT ITER 463 NEW BEST:: SOT 39567 SOS 20689 HAS SOPS 20689 HAS SOUS 18464 HAS SOUPS 18464 WITH SCORE 18484.689
AT ITER 465 NEW BEST:: SOT 39540 SOS 20688 HAS SOPS 20688 HAS SOUS 18458 HAS SOUPS 18458 WITH SCORE 18478.688
AT ITER 468 NEW BEST:: SOT 39529 SOS 20677 HAS SOPS 20677 HAS SOUS 18447 HAS SOUPS 18447 WITH SCORE 18467.677
AT ITER 469 NEW BEST:: SOT 39489 SOS 20546 HAS SOPS 20546 HAS SOUS 18353 HAS SOUPS 18353 WITH SCORE 18373.546
AT ITER 471 NEW BEST:: SOT 39452 SOS 20456 HAS SOPS 20456 HAS SOUS 18237 HAS SOUPS 18237 WITH SCORE 18257.456
AT ITER 477 NEW BEST:: SOT 39449 SOS 20451 HAS SOPS 20451 HAS SOUS 18235 HAS SOUPS 18235 WITH SCORE 18255.451
AT ITER 480 NEW BEST:: SOT 39449 SOS 20465 HAS SOPS 20465 HAS SOUS 18221 HAS SOUPS 18221 WITH SCORE 18241.465
AT ITER 495 NEW BEST:: SOT 39447 SOS 20457 HAS SOPS 20457 HAS SOUS 18215 HAS SOUPS 18215 WITH SCORE 18235.457
AT ITER 514 NEW BEST:: SOT 39447 SOS 20434 HAS SOPS 20434 HAS SOUS 18207 HAS SOUPS 18207 WITH SCORE 18227.434
AT ITER 516 NEW BEST:: SOT 39447 SOS 20476 HAS SOPS 20476 HAS SOUS 18107 HAS SOUPS 18107 WITH SCORE 18127.476
AT ITER 521 NEW BEST:: SOT 39419 SOS 20431 HAS SOPS 20431 HAS SOUS 18065 HAS SOUPS 18065 WITH SCORE 18085.431
AT ITER 525 NEW BEST:: SOT 39307 SOS 20265 HAS SOPS 20265 HAS SOUS 17851 HAS SOUPS 17851 WITH SCORE 17871.265
AT ITER 528 NEW BEST:: SOT 39253 SOS 20141 HAS SOPS 20141 HAS SOUS 17796 HAS SOUPS 17796 WITH SCORE 17816.141
AT ITER 530 NEW BEST:: SOT 39232 SOS 20086 HAS SOPS 20086 HAS SOUS 17754 HAS SOUPS 17754 WITH SCORE 17774.086
AT ITER 534 NEW BEST:: SOT 39172 SOS 20011 HAS SOPS 20011 HAS SOUS 17679 HAS SOUPS 17679 WITH SCORE 17699.011
AT ITER 537 NEW BEST:: SOT 39168 SOS 20007 HAS SOPS 20007 HAS SOUS 17675 HAS SOUPS 17675 WITH SCORE 17695.007
AT ITER 540 NEW BEST:: SOT 39119 SOS 19933 HAS SOPS 19933 HAS SOUS 17621 HAS SOUPS 17621 WITH SCORE 17640.933
AT ITER 556 NEW BEST:: SOT 39193 SOS 19981 HAS SOPS 19981 HAS SOUS 17605 HAS SOUPS 17605 WITH SCORE 17624.981
AT ITER 564 NEW BEST:: SOT 39186 SOS 19934 HAS SOPS 19934 HAS SOUS 17591 HAS SOUPS 17591 WITH SCORE 17610.934
AT ITER 571 NEW BEST:: SOT 38929 SOS 19541 HAS SOPS 19541 HAS SOUS 17184 HAS SOUPS 17184 WITH SCORE 17203.541
AT ITER 577 NEW BEST:: SOT 38890 SOS 19489 HAS SOPS 19489 HAS SOUS 17132 HAS SOUPS 17132 WITH SCORE 17151.489
AT ITER 580 NEW BEST:: SOT 38855 SOS 19475 HAS SOPS 19475 HAS SOUS 17115 HAS SOUPS 17115 WITH SCORE 17134.475
AT ITER 583 NEW BEST:: SOT 38841 SOS 19443 HAS SOPS 19443 HAS SOUS 17087 HAS SOUPS 17087 WITH SCORE 17106.443
AT ITER 586 NEW BEST:: SOT 38754 SOS 19237 HAS SOPS 19237 HAS SOUS 16902 HAS SOUPS 16902 WITH SCORE 16921.237
AT ITER 588 NEW BEST:: SOT 38747 SOS 19230 HAS SOPS 19230 HAS SOUS 16895 HAS SOUPS 16895 WITH SCORE 16914.23
AT ITER 589 NEW BEST:: SOT 38695 SOS 19152 HAS SOPS 19152 HAS SOUS 16817 HAS SOUPS 16817 WITH SCORE 16836.152
AT ITER 593 NEW BEST:: SOT 38695 SOS 19144 HAS SOPS 19144 HAS SOUS 16817 HAS SOUPS 16817 WITH SCORE 16836.144
AT ITER 598 NEW BEST:: SOT 38690 SOS 19123 HAS SOPS 19123 HAS SOUS 16798 HAS SOUPS 16798 WITH SCORE 16817.123
AT ITER 601 NEW BEST:: SOT 38685 SOS 19118 HAS SOPS 19118 HAS SOUS 16798 HAS SOUPS 16798 WITH SCORE 16817.118
AT ITER 608 NEW BEST:: SOT 38659 SOS 19074 HAS SOPS 19074 HAS SOUS 16771 HAS SOUPS 16771 WITH SCORE 16790.074
AT ITER 617 NEW BEST:: SOT 38613 SOS 18954 HAS SOPS 18954 HAS SOUS 16673 HAS SOUPS 16673 WITH SCORE 16691.954
AT ITER 618 NEW BEST:: SOT 38519 SOS 18804 HAS SOPS 18804 HAS SOUS 16505 HAS SOUPS 16505 WITH SCORE 16523.804
AT ITER 624 NEW BEST:: SOT 38492 SOS 18777 HAS SOPS 18777 HAS SOUS 16493 HAS SOUPS 16493 WITH SCORE 16511.777
AT ITER 634 NEW BEST:: SOT 38475 SOS 18743 HAS SOPS 18743 HAS SOUS 16427 HAS SOUPS 16427 WITH SCORE 16445.743
AT ITER 636 NEW BEST:: SOT 38459 SOS 18711 HAS SOPS 18711 HAS SOUS 16384 HAS SOUPS 16384 WITH SCORE 16402.711
AT ITER 638 NEW BEST:: SOT 38397 SOS 18583 HAS SOPS 18583 HAS SOUS 16284 HAS SOUPS 16284 WITH SCORE 16302.583
AT ITER 643 NEW BEST:: SOT 38359 SOS 18468 HAS SOPS 18468 HAS SOUS 16221 HAS SOUPS 16221 WITH SCORE 16239.468
AT ITER 650 NEW BEST:: SOT 38329 SOS 18438 HAS SOPS 18438 HAS SOUS 16191 HAS SOUPS 16191 WITH SCORE 16209.438
AT ITER 654 NEW BEST:: SOT 38247 SOS 18274 HAS SOPS 18274 HAS SOUS 16067 HAS SOUPS 16067 WITH SCORE 16085.274
AT ITER 656 NEW BEST:: SOT 38247 SOS 18245 HAS SOPS 18245 HAS SOUS 16067 HAS SOUPS 16067 WITH SCORE 16085.245
AT ITER 665 NEW BEST:: SOT 38237 SOS 18215 HAS SOPS 18215 HAS SOUS 16037 HAS SOUPS 16037 WITH SCORE 16055.215
AT ITER 672 NEW BEST:: SOT 38229 SOS 18191 HAS SOPS 18191 HAS SOUS 16014 HAS SOUPS 16014 WITH SCORE 16032.191
AT ITER 673 NEW BEST:: SOT 38195 SOS 18118 HAS SOPS 18118 HAS SOUS 15919 HAS SOUPS 15919 WITH SCORE 15937.118
AT ITER 685 NEW BEST:: SOT 38118 SOS 17981 HAS SOPS 17981 HAS SOUS 15792 HAS SOUPS 15792 WITH SCORE 15809.981
AT ITER 688 NEW BEST:: SOT 38109 SOS 17966 HAS SOPS 17966 HAS SOUS 15777 HAS SOUPS 15777 WITH SCORE 15794.966
AT ITER 698 NEW BEST:: SOT 38133 SOS 17994 HAS SOPS 17994 HAS SOUS 15759 HAS SOUPS 15759 WITH SCORE 15776.994
AT ITER 704 NEW BEST:: SOT 38125 SOS 17970 HAS SOPS 17970 HAS SOUS 15745 HAS SOUPS 15745 WITH SCORE 15762.97
AT ITER 706 NEW BEST:: SOT 38100 SOS 17920 HAS SOPS 17920 HAS SOUS 15692 HAS SOUPS 15692 WITH SCORE 15709.92
AT ITER 708 NEW BEST:: SOT 38096 SOS 17911 HAS SOPS 17911 HAS SOUS 15679 HAS SOUPS 15679 WITH SCORE 15696.911
AT ITER 717 NEW BEST:: SOT 38072 SOS 17881 HAS SOPS 17881 HAS SOUS 15649 HAS SOUPS 15649 WITH SCORE 15666.881
AT ITER 727 NEW BEST:: SOT 38059 SOS 17829 HAS SOPS 17829 HAS SOUS 15623 HAS SOUPS 15623 WITH SCORE 15640.829
AT ITER 732 NEW BEST:: SOT 38055 SOS 17812 HAS SOPS 17812 HAS SOUS 15614 HAS SOUPS 15614 WITH SCORE 15631.812
AT ITER 757 NEW BEST:: SOT 38055 SOS 17716 HAS SOPS 17716 HAS SOUS 15614 HAS SOUPS 15614 WITH SCORE 15631.716
AT ITER 766 NEW BEST:: SOT 37976 SOS 17536 HAS SOPS 17536 HAS SOUS 15479 HAS SOUPS 15479 WITH SCORE 15496.536
AT ITER 767 NEW BEST:: SOT 37976 SOS 17434 HAS SOPS 17434 HAS SOUS 15479 HAS SOUPS 15479 WITH SCORE 15496.434
AT ITER 777 NEW BEST:: SOT 37976 SOS 17442 HAS SOPS 17442 HAS SOUS 15472 HAS SOUPS 15472 WITH SCORE 15489.442
AT ITER 780 NEW BEST:: SOT 37981 SOS 17447 HAS SOPS 17447 HAS SOUS 15460 HAS SOUPS 15460 WITH SCORE 15477.447
AT ITER 808 NEW BEST:: SOT 37992 SOS 17458 HAS SOPS 17458 HAS SOUS 15456 HAS SOUPS 15456 WITH SCORE 15473.458
AT ITER 810 NEW BEST:: SOT 37931 SOS 17397 HAS SOPS 17397 HAS SOUS 15317 HAS SOUPS 15317 WITH SCORE 15334.397
AT ITER 821 NEW BEST:: SOT 37907 SOS 17254 HAS SOPS 17254 HAS SOUS 15234 HAS SOUPS 15234 WITH SCORE 15251.254
AT ITER 822 NEW BEST:: SOT 37849 SOS 17183 HAS SOPS 17183 HAS SOUS 15130 HAS SOUPS 15130 WITH SCORE 15147.183
AT ITER 836 NEW BEST:: SOT 37849 SOS 17169 HAS SOPS 17169 HAS SOUS 15102 HAS SOUPS 15102 WITH SCORE 15119.169
AT ITER 850 NEW BEST:: SOT 37774 SOS 17051 HAS SOPS 17051 HAS SOUS 15005 HAS SOUPS 15005 WITH SCORE 15022.051
AT ITER 851 NEW BEST:: SOT 37768 SOS 17026 HAS SOPS 17026 HAS SOUS 14981 HAS SOUPS 14981 WITH SCORE 14998.026
AT ITER 860 NEW BEST:: SOT 37740 SOS 16937 HAS SOPS 16937 HAS SOUS 14966 HAS SOUPS 14966 WITH SCORE 14982.937
AT ITER 862 NEW BEST:: SOT 37688 SOS 16860 HAS SOPS 16860 HAS SOUS 14877 HAS SOUPS 14877 WITH SCORE 14893.86
AT ITER 863 NEW BEST:: SOT 37661 SOS 16815 HAS SOPS 16815 HAS SOUS 14832 HAS SOUPS 14832 WITH SCORE 14848.815
AT ITER 870 NEW BEST:: SOT 37609 SOS 16711 HAS SOPS 16711 HAS SOUS 14682 HAS SOUPS 14682 WITH SCORE 14698.711
AT ITER 874 NEW BEST:: SOT 37608 SOS 16708 HAS SOPS 16708 HAS SOUS 14672 HAS SOUPS 14672 WITH SCORE 14688.708
AT ITER 882 NEW BEST:: SOT 37611 SOS 16699 HAS SOPS 16699 HAS SOUS 14663 HAS SOUPS 14663 WITH SCORE 14679.699
AT ITER 894 NEW BEST:: SOT 37601 SOS 16689 HAS SOPS 16689 HAS SOUS 14648 HAS SOUPS 14648 WITH SCORE 14664.689
AT ITER 900 NEW BEST:: SOT 37601 SOS 16688 HAS SOPS 16688 HAS SOUS 14648 HAS SOUPS 14648 WITH SCORE 14664.688
AT ITER 904 NEW BEST:: SOT 37586 SOS 16673 HAS SOPS 16673 HAS SOUS 14615 HAS SOUPS 14615 WITH SCORE 14631.673
AT ITER 909 NEW BEST:: SOT 37586 SOS 16671 HAS SOPS 16671 HAS SOUS 14615 HAS SOUPS 14615 WITH SCORE 14631.671
AT ITER 925 NEW BEST:: SOT 37567 SOS 16633 HAS SOPS 16633 HAS SOUS 14558 HAS SOUPS 14558 WITH SCORE 14574.633
AT ITER 937 NEW BEST:: SOT 37533 SOS 16599 HAS SOPS 16599 HAS SOUS 14483 HAS SOUPS 14483 WITH SCORE 14499.599
AT ITER 940 NEW BEST:: SOT 37424 SOS 16436 HAS SOPS 16436 HAS SOUS 14344 HAS SOUPS 14344 WITH SCORE 14360.436
AT ITER 946 NEW BEST:: SOT 37358 SOS 16335 HAS SOPS 16335 HAS SOUS 14248 HAS SOUPS 14248 WITH SCORE 14264.335
AT ITER 947 NEW BEST:: SOT 37284 SOS 16180 HAS SOPS 16180 HAS SOUS 14179 HAS SOUPS 14179 WITH SCORE 14195.18
AT ITER 968 NEW BEST:: SOT 37206 SOS 16102 HAS SOPS 16102 HAS SOUS 14101 HAS SOUPS 14101 WITH SCORE 14117.102
AT ITER 986 NEW BEST:: SOT 37091 SOS 15905 HAS SOPS 15905 HAS SOUS 13945 HAS SOUPS 13945 WITH SCORE 13960.905
AT ITER 993 NEW BEST:: SOT 37044 SOS 15797 HAS SOPS 15797 HAS SOUS 13838 HAS SOUPS 13838 WITH SCORE 13853.797
AT ITER 1005 NEW BEST:: SOT 37044 SOS 15797 HAS SOPS 15797 HAS SOUS 13835 HAS SOUPS 13835 WITH SCORE 13850.797
AT ITER 1030 NEW BEST:: SOT 36968 SOS 15460 HAS SOPS 15460 HAS SOUS 13658 HAS SOUPS 13658 WITH SCORE 13673.46
AT ITER 1042 NEW BEST:: SOT 36968 SOS 15460 HAS SOPS 15460 HAS SOUS 13643 HAS SOUPS 13643 WITH SCORE 13658.46
AT ITER 1051 NEW BEST:: SOT 36968 SOS 15427 HAS SOPS 15427 HAS SOUS 13639 HAS SOUPS 13639 WITH SCORE 13654.427
AT ITER 1067 NEW BEST:: SOT 36910 SOS 15359 HAS SOPS 15359 HAS SOUS 13557 HAS SOUPS 13557 WITH SCORE 13572.359
AT ITER 1074 NEW BEST:: SOT 36906 SOS 15355 HAS SOPS 15355 HAS SOUS 13553 HAS SOUPS 13553 WITH SCORE 13568.355
AT ITER 1075 NEW BEST:: SOT 36902 SOS 15351 HAS SOPS 15351 HAS SOUS 13549 HAS SOUPS 13549 WITH SCORE 13564.351
AT ITER 1077 NEW BEST:: SOT 36896 SOS 15350 HAS SOPS 15350 HAS SOUS 13534 HAS SOUPS 13534 WITH SCORE 13549.35
AT ITER 1082 NEW BEST:: SOT 36801 SOS 15255 HAS SOPS 15255 HAS SOUS 13439 HAS SOUPS 13439 WITH SCORE 13454.255
AT ITER 1093 NEW BEST:: SOT 36766 SOS 15198 HAS SOPS 15198 HAS SOUS 13393 HAS SOUPS 13393 WITH SCORE 13408.198
AT ITER 1118 NEW BEST:: SOT 36762 SOS 15161 HAS SOPS 15161 HAS SOUS 13326 HAS SOUPS 13326 WITH SCORE 13341.161
AT ITER 1120 NEW BEST:: SOT 36741 SOS 15120 HAS SOPS 15120 HAS SOUS 13282 HAS SOUPS 13282 WITH SCORE 13297.12
AT ITER 1131 NEW BEST:: SOT 36702 SOS 15067 HAS SOPS 15067 HAS SOUS 13229 HAS SOUPS 13229 WITH SCORE 13244.067
AT ITER 1141 NEW BEST:: SOT 36724 SOS 15089 HAS SOPS 15089 HAS SOUS 13211 HAS SOUPS 13211 WITH SCORE 13226.089
AT ITER 1145 NEW BEST:: SOT 36724 SOS 15044 HAS SOPS 15044 HAS SOUS 13191 HAS SOUPS 13191 WITH SCORE 13206.044
AT ITER 1148 NEW BEST:: SOT 36695 SOS 15015 HAS SOPS 15015 HAS SOUS 13162 HAS SOUPS 13162 WITH SCORE 13177.015
AT ITER 1160 NEW BEST:: SOT 36668 SOS 14952 HAS SOPS 14952 HAS SOUS 13075 HAS SOUPS 13075 WITH SCORE 13089.952
AT ITER 1189 NEW BEST:: SOT 36638 SOS 14877 HAS SOPS 14877 HAS SOUS 13015 HAS SOUPS 13015 WITH SCORE 13029.877
AT ITER 1199 NEW BEST:: SOT 36638 SOS 14877 HAS SOPS 14877 HAS SOUS 13011 HAS SOUPS 13011 WITH SCORE 13025.877
AT ITER 1206 NEW BEST:: SOT 36638 SOS 14867 HAS SOPS 14867 HAS SOUS 13006 HAS SOUPS 13006 WITH SCORE 13020.867
AT ITER 1211 NEW BEST:: SOT 36635 SOS 14858 HAS SOPS 14858 HAS SOUS 13000 HAS SOUPS 13000 WITH SCORE 13014.858
AT ITER 1244 NEW BEST:: SOT 36619 SOS 14820 HAS SOPS 14820 HAS SOUS 12971 HAS SOUPS 12971 WITH SCORE 12985.82
AT ITER 1248 NEW BEST:: SOT 36614 SOS 14795 HAS SOPS 14795 HAS SOUS 12961 HAS SOUPS 12961 WITH SCORE 12975.795
AT ITER 1265 NEW BEST:: SOT 36599 SOS 14762 HAS SOPS 14762 HAS SOUS 12934 HAS SOUPS 12934 WITH SCORE 12948.762
AT ITER 1267 NEW BEST:: SOT 36590 SOS 14734 HAS SOPS 14734 HAS SOUS 12930 HAS SOUPS 12930 WITH SCORE 12944.734
AT ITER 1269 NEW BEST:: SOT 36575 SOS 14704 HAS SOPS 14704 HAS SOUS 12900 HAS SOUPS 12900 WITH SCORE 12914.704
AT ITER 1300 NEW BEST:: SOT 36557 SOS 14680 HAS SOPS 14680 HAS SOUS 12876 HAS SOUPS 12876 WITH SCORE 12890.68
AT ITER 1315 NEW BEST:: SOT 36542 SOS 14666 HAS SOPS 14666 HAS SOUS 12850 HAS SOUPS 12850 WITH SCORE 12864.666
AT ITER 1323 NEW BEST:: SOT 36510 SOS 14632 HAS SOPS 14632 HAS SOUS 12816 HAS SOUPS 12816 WITH SCORE 12830.632
AT ITER 1324 NEW BEST:: SOT 36510 SOS 14626 HAS SOPS 14626 HAS SOUS 12816 HAS SOUPS 12816 WITH SCORE 12830.626
AT ITER 1348 NEW BEST:: SOT 36508 SOS 14640 HAS SOPS 14640 HAS SOUS 12813 HAS SOUPS 12813 WITH SCORE 12827.64
AT ITER 1354 NEW BEST:: SOT 36496 SOS 14628 HAS SOPS 14628 HAS SOUS 12789 HAS SOUPS 12789 WITH SCORE 12803.628
AT ITER 1356 NEW BEST:: SOT 36495 SOS 14610 HAS SOPS 14610 HAS SOUS 12782 HAS SOUPS 12782 WITH SCORE 12796.61
AT ITER 1361 NEW BEST:: SOT 36495 SOS 14610 HAS SOPS 14610 HAS SOUS 12779 HAS SOUPS 12779 WITH SCORE 12793.61
AT ITER 1374 NEW BEST:: SOT 36495 SOS 14602 HAS SOPS 14602 HAS SOUS 12769 HAS SOUPS 12769 WITH SCORE 12783.602
AT ITER 1375 NEW BEST:: SOT 36484 SOS 14579 HAS SOPS 14579 HAS SOUS 12746 HAS SOUPS 12746 WITH SCORE 12760.579
AT ITER 1383 NEW BEST:: SOT 36458 SOS 14540 HAS SOPS 14540 HAS SOUS 12701 HAS SOUPS 12701 WITH SCORE 12715.54
AT ITER 1397 NEW BEST:: SOT 36442 SOS 14529 HAS SOPS 14529 HAS SOUS 12671 HAS SOUPS 12671 WITH SCORE 12685.529
AT ITER 1405 NEW BEST:: SOT 36428 SOS 14487 HAS SOPS 14487 HAS SOUS 12657 HAS SOUPS 12657 WITH SCORE 12671.487
AT ITER 1442 NEW BEST:: SOT 36390 SOS 14414 HAS SOPS 14414 HAS SOUS 12610 HAS SOUPS 12610 WITH SCORE 12624.414
AT ITER 1446 NEW BEST:: SOT 36421 SOS 14320 HAS SOPS 14320 HAS SOUS 12590 HAS SOUPS 12590 WITH SCORE 12604.32
AT ITER 1448 NEW BEST:: SOT 36407 SOS 14330 HAS SOPS 14330 HAS SOUS 12567 HAS SOUPS 12567 WITH SCORE 12581.33
AT ITER 1453 NEW BEST:: SOT 36389 SOS 14324 HAS SOPS 14324 HAS SOUS 12529 HAS SOUPS 12529 WITH SCORE 12543.324
AT ITER 1456 NEW BEST:: SOT 36390 SOS 14305 HAS SOPS 14305 HAS SOUS 12512 HAS SOUPS 12512 WITH SCORE 12526.305
AT ITER 1479 NEW BEST:: SOT 36352 SOS 14267 HAS SOPS 14267 HAS SOUS 12508 HAS SOUPS 12508 WITH SCORE 12522.267
AT ITER 1485 NEW BEST:: SOT 36350 SOS 14259 HAS SOPS 14259 HAS SOUS 12502 HAS SOUPS 12502 WITH SCORE 12516.259
AT ITER 1487 NEW BEST:: SOT 36350 SOS 14247 HAS SOPS 14247 HAS SOUS 12490 HAS SOUPS 12490 WITH SCORE 12504.247
AT ITER 1523 NEW BEST:: SOT 36337 SOS 14186 HAS SOPS 14186 HAS SOUS 12451 HAS SOUPS 12451 WITH SCORE 12465.186
AT ITER 1536 NEW BEST:: SOT 36323 SOS 14134 HAS SOPS 14134 HAS SOUS 12419 HAS SOUPS 12419 WITH SCORE 12433.134
AT ITER 1537 NEW BEST:: SOT 36323 SOS 14136 HAS SOPS 14136 HAS SOUS 12418 HAS SOUPS 12418 WITH SCORE 12432.136
AT ITER 1540 NEW BEST:: SOT 36293 SOS 14096 HAS SOPS 14096 HAS SOUS 12381 HAS SOUPS 12381 WITH SCORE 12395.096
AT ITER 1551 NEW BEST:: SOT 36276 SOS 14060 HAS SOPS 14060 HAS SOUS 12362 HAS SOUPS 12362 WITH SCORE 12376.06
AT ITER 1561 NEW BEST:: SOT 36249 SOS 14027 HAS SOPS 14027 HAS SOUS 12329 HAS SOUPS 12329 WITH SCORE 12343.027
AT ITER 1585 NEW BEST:: SOT 36191 SOS 13917 HAS SOPS 13917 HAS SOUS 12219 HAS SOUPS 12219 WITH SCORE 12232.917
AT ITER 1599 NEW BEST:: SOT 36170 SOS 13887 HAS SOPS 13887 HAS SOUS 12182 HAS SOUPS 12182 WITH SCORE 12195.887
AT ITER 1607 NEW BEST:: SOT 36170 SOS 13885 HAS SOPS 13885 HAS SOUS 12180 HAS SOUPS 12180 WITH SCORE 12193.885
AT ITER 1608 NEW BEST:: SOT 36190 SOS 13865 HAS SOPS 13865 HAS SOUS 12166 HAS SOUPS 12166 WITH SCORE 12179.865
AT ITER 1611 NEW BEST:: SOT 36191 SOS 13860 HAS SOPS 13860 HAS SOUS 12161 HAS SOUPS 12161 WITH SCORE 12174.86
AT ITER 1616 NEW BEST:: SOT 36171 SOS 13826 HAS SOPS 13826 HAS SOUS 12159 HAS SOUPS 12159 WITH SCORE 12172.826
AT ITER 1620 NEW BEST:: SOT 36171 SOS 13823 HAS SOPS 13823 HAS SOUS 12156 HAS SOUPS 12156 WITH SCORE 12169.823
AT ITER 1621 NEW BEST:: SOT 36171 SOS 13821 HAS SOPS 13821 HAS SOUS 12154 HAS SOUPS 12154 WITH SCORE 12167.821
AT ITER 1633 NEW BEST:: SOT 36171 SOS 13815 HAS SOPS 13815 HAS SOUS 12148 HAS SOUPS 12148 WITH SCORE 12161.815
AT ITER 1659 NEW BEST:: SOT 36169 SOS 13809 HAS SOPS 13809 HAS SOUS 12138 HAS SOUPS 12138 WITH SCORE 12151.809
AT ITER 1662 NEW BEST:: SOT 36184 SOS 13861 HAS SOPS 13861 HAS SOUS 12133 HAS SOUPS 12133 WITH SCORE 12146.861
AT ITER 1670 NEW BEST:: SOT 36170 SOS 13834 HAS SOPS 13834 HAS SOUS 12085 HAS SOUPS 12085 WITH SCORE 12098.834
AT ITER 1686 NEW BEST:: SOT 36170 SOS 13834 HAS SOPS 13834 HAS SOUS 12082 HAS SOUPS 12082 WITH SCORE 12095.834
AT ITER 1689 NEW BEST:: SOT 36155 SOS 13821 HAS SOPS 13821 HAS SOUS 12076 HAS SOUPS 12076 WITH SCORE 12089.821
AT ITER 1699 NEW BEST:: SOT 36130 SOS 13802 HAS SOPS 13802 HAS SOUS 12037 HAS SOUPS 12037 WITH SCORE 12050.802
AT ITER 1701 NEW BEST:: SOT 36129 SOS 13799 HAS SOPS 13799 HAS SOUS 12019 HAS SOUPS 12019 WITH SCORE 12032.799
AT ITER 1705 NEW BEST:: SOT 36113 SOS 13786 HAS SOPS 13786 HAS SOUS 11991 HAS SOUPS 11991 WITH SCORE 12004.786
AT ITER 1716 NEW BEST:: SOT 36092 SOS 13758 HAS SOPS 13758 HAS SOUS 11963 HAS SOUPS 11963 WITH SCORE 11976.758
AT ITER 1736 NEW BEST:: SOT 36062 SOS 13612 HAS SOPS 13612 HAS SOUS 11905 HAS SOUPS 11905 WITH SCORE 11918.612
AT ITER 1744 NEW BEST:: SOT 36054 SOS 13604 HAS SOPS 13604 HAS SOUS 11897 HAS SOUPS 11897 WITH SCORE 11910.604
AT ITER 1753 NEW BEST:: SOT 36053 SOS 13603 HAS SOPS 13603 HAS SOUS 11896 HAS SOUPS 11896 WITH SCORE 11909.603
AT ITER 1755 NEW BEST:: SOT 36031 SOS 13587 HAS SOPS 13587 HAS SOUS 11879 HAS SOUPS 11879 WITH SCORE 11892.587
AT ITER 1789 NEW BEST:: SOT 36017 SOS 13575 HAS SOPS 13575 HAS SOUS 11866 HAS SOUPS 11866 WITH SCORE 11879.575
AT ITER 1822 NEW BEST:: SOT 36011 SOS 13560 HAS SOPS 13560 HAS SOUS 11852 HAS SOUPS 11852 WITH SCORE 11865.56
AT ITER 1865 NEW BEST:: SOT 35975 SOS 13488 HAS SOPS 13488 HAS SOUS 11816 HAS SOUPS 11816 WITH SCORE 11829.488
AT ITER 1869 NEW BEST:: SOT 35969 SOS 13476 HAS SOPS 13476 HAS SOUS 11807 HAS SOUPS 11807 WITH SCORE 11820.476
AT ITER 1883 NEW BEST:: SOT 35892 SOS 13437 HAS SOPS 13437 HAS SOUS 11752 HAS SOUPS 11752 WITH SCORE 11765.437
AT ITER 1884 NEW BEST:: SOT 35878 SOS 13419 HAS SOPS 13419 HAS SOUS 11734 HAS SOUPS 11734 WITH SCORE 11747.419
AT ITER 1895 NEW BEST:: SOT 35865 SOS 13361 HAS SOPS 13361 HAS SOUS 11688 HAS SOUPS 11688 WITH SCORE 11701.361
AT ITER 1920 NEW BEST:: SOT 35865 SOS 13378 HAS SOPS 13378 HAS SOUS 11685 HAS SOUPS 11685 WITH SCORE 11698.378
AT ITER 1933 NEW BEST:: SOT 35865 SOS 13379 HAS SOPS 13379 HAS SOUS 11684 HAS SOUPS 11684 WITH SCORE 11697.379
AT ITER 1935 NEW BEST:: SOT 35874 SOS 13385 HAS SOPS 13385 HAS SOUS 11675 HAS SOUPS 11675 WITH SCORE 11688.385
AT ITER 1972 NEW BEST:: SOT 35880 SOS 13389 HAS SOPS 13389 HAS SOUS 11666 HAS SOUPS 11666 WITH SCORE 11679.389
AT ITER 2006 NEW BEST:: SOT 35839 SOS 13348 HAS SOPS 13348 HAS SOUS 11599 HAS SOUPS 11599 WITH SCORE 11612.348
AT ITER 2020 NEW BEST:: SOT 35821 SOS 13312 HAS SOPS 13312 HAS SOUS 11563 HAS SOUPS 11563 WITH SCORE 11576.312
AT ITER 2038 NEW BEST:: SOT 35816 SOS 13295 HAS SOPS 13295 HAS SOUS 11546 HAS SOUPS 11546 WITH SCORE 11559.295
AT ITER 2084 NEW BEST:: SOT 35804 SOS 13247 HAS SOPS 13247 HAS SOUS 11522 HAS SOUPS 11522 WITH SCORE 11535.247
AT ITER 2092 NEW BEST:: SOT 35804 SOS 13243 HAS SOPS 13243 HAS SOUS 11499 HAS SOUPS 11499 WITH SCORE 11512.243
AT ITER 2098 NEW BEST:: SOT 35790 SOS 13229 HAS SOPS 13229 HAS SOUS 11485 HAS SOUPS 11485 WITH SCORE 11498.229
AT ITER 2099 NEW BEST:: SOT 35739 SOS 13060 HAS SOPS 13060 HAS SOUS 11356 HAS SOUPS 11356 WITH SCORE 11369.06
AT ITER 2153 NEW BEST:: SOT 35730 SOS 13028 HAS SOPS 13028 HAS SOUS 11338 HAS SOUPS 11338 WITH SCORE 11351.028
AT ITER 2181 NEW BEST:: SOT 35719 SOS 13017 HAS SOPS 13017 HAS SOUS 11327 HAS SOUPS 11327 WITH SCORE 11340.017
AT ITER 2185 NEW BEST:: SOT 35718 SOS 13013 HAS SOPS 13013 HAS SOUS 11325 HAS SOUPS 11325 WITH SCORE 11338.013
AT ITER 2195 NEW BEST:: SOT 35712 SOS 13005 HAS SOPS 13005 HAS SOUS 11306 HAS SOUPS 11306 WITH SCORE 11319.005
AT ITER 2208 NEW BEST:: SOT 35705 SOS 13080 HAS SOPS 13080 HAS SOUS 11299 HAS SOUPS 11299 WITH SCORE 11312.08
AT ITER 2229 NEW BEST:: SOT 35669 SOS 12993 HAS SOPS 12993 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11258.993
AT ITER 2251 NEW BEST:: SOT 35673 SOS 13003 HAS SOPS 13003 HAS SOUS 11243 HAS SOUPS 11243 WITH SCORE 11256.003
AT ITER 2256 NEW BEST:: SOT 35673 SOS 13012 HAS SOPS 13012 HAS SOUS 11218 HAS SOUPS 11218 WITH SCORE 11231.012
AT ITER 2271 NEW BEST:: SOT 35645 SOS 12984 HAS SOPS 12984 HAS SOUS 11187 HAS SOUPS 11187 WITH SCORE 11199.984
AT ITER 2283 NEW BEST:: SOT 35649 SOS 12982 HAS SOPS 12982 HAS SOUS 11187 HAS SOUPS 11187 WITH SCORE 11199.982
AT ITER 2291 NEW BEST:: SOT 35645 SOS 12964 HAS SOPS 12964 HAS SOUS 11163 HAS SOUPS 11163 WITH SCORE 11175.964
AT ITER 2306 NEW BEST:: SOT 35645 SOS 12901 HAS SOPS 12901 HAS SOUS 11142 HAS SOUPS 11142 WITH SCORE 11154.901
AT ITER 2332 NEW BEST:: SOT 35637 SOS 12893 HAS SOPS 12893 HAS SOUS 11134 HAS SOUPS 11134 WITH SCORE 11146.893
AT ITER 2350 NEW BEST:: SOT 35632 SOS 12868 HAS SOPS 12868 HAS SOUS 11120 HAS SOUPS 11120 WITH SCORE 11132.868
AT ITER 2352 NEW BEST:: SOT 35624 SOS 12860 HAS SOPS 12860 HAS SOUS 11112 HAS SOUPS 11112 WITH SCORE 11124.86
AT ITER 2395 NEW BEST:: SOT 35624 SOS 12860 HAS SOPS 12860 HAS SOUS 11108 HAS SOUPS 11108 WITH SCORE 11120.86
AT ITER 2400 NEW BEST:: SOT 35613 SOS 12857 HAS SOPS 12857 HAS SOUS 11099 HAS SOUPS 11099 WITH SCORE 11111.857
AT ITER 2420 NEW BEST:: SOT 35591 SOS 12822 HAS SOPS 12822 HAS SOUS 11064 HAS SOUPS 11064 WITH SCORE 11076.822
AT ITER 2426 NEW BEST:: SOT 35575 SOS 12790 HAS SOPS 12790 HAS SOUS 11044 HAS SOUPS 11044 WITH SCORE 11056.79
AT ITER 2431 NEW BEST:: SOT 35542 SOS 12741 HAS SOPS 12741 HAS SOUS 11012 HAS SOUPS 11012 WITH SCORE 11024.741
AT ITER 2432 NEW BEST:: SOT 35542 SOS 12738 HAS SOPS 12738 HAS SOUS 11012 HAS SOUPS 11012 WITH SCORE 11024.738
AT ITER 2464 NEW BEST:: SOT 35535 SOS 12731 HAS SOPS 12731 HAS SOUS 11005 HAS SOUPS 11005 WITH SCORE 11017.731
AT ITER 2472 NEW BEST:: SOT 35475 SOS 12671 HAS SOPS 12671 HAS SOUS 10925 HAS SOUPS 10925 WITH SCORE 10937.671
AT ITER 2479 NEW BEST:: SOT 35463 SOS 12659 HAS SOPS 12659 HAS SOUS 10913 HAS SOUPS 10913 WITH SCORE 10925.659
AT ITER 2500 NEW BEST:: SOT 35459 SOS 12650 HAS SOPS 12650 HAS SOUS 10912 HAS SOUPS 10912 WITH SCORE 10924.65
AT ITER 2520 NEW BEST:: SOT 35433 SOS 12614 HAS SOPS 12614 HAS SOUS 10890 HAS SOUPS 10890 WITH SCORE 10902.614
AT ITER 2525 NEW BEST:: SOT 35419 SOS 12567 HAS SOPS 12567 HAS SOUS 10848 HAS SOUPS 10848 WITH SCORE 10860.567
AT ITER 2556 NEW BEST:: SOT 35421 SOS 12589 HAS SOPS 12589 HAS SOUS 10846 HAS SOUPS 10846 WITH SCORE 10858.589
AT ITER 2570 NEW BEST:: SOT 35421 SOS 12554 HAS SOPS 12554 HAS SOUS 10820 HAS SOUPS 10820 WITH SCORE 10832.554
AT ITER 2582 NEW BEST:: SOT 35394 SOS 12513 HAS SOPS 12513 HAS SOUS 10789 HAS SOUPS 10789 WITH SCORE 10801.513
AT ITER 2672 NEW BEST:: SOT 35341 SOS 12382 HAS SOPS 12382 HAS SOUS 10709 HAS SOUPS 10709 WITH SCORE 10721.382
AT ITER 2712 NEW BEST:: SOT 35319 SOS 12348 HAS SOPS 12348 HAS SOUS 10669 HAS SOUPS 10669 WITH SCORE 10681.348
AT ITER 2721 NEW BEST:: SOT 35293 SOS 12226 HAS SOPS 12226 HAS SOUS 10624 HAS SOUPS 10624 WITH SCORE 10636.226
AT ITER 2734 NEW BEST:: SOT 35289 SOS 12228 HAS SOPS 12228 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10621.228
AT ITER 2738 NEW BEST:: SOT 35265 SOS 12194 HAS SOPS 12194 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10585.194
AT ITER 2740 NEW BEST:: SOT 35265 SOS 12194 HAS SOPS 12194 HAS SOUS 10571 HAS SOUPS 10571 WITH SCORE 10583.194
AT ITER 2741 NEW BEST:: SOT 35263 SOS 12186 HAS SOPS 12186 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10579.186
AT ITER 2747 NEW BEST:: SOT 35261 SOS 12184 HAS SOPS 12184 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10579.184
AT ITER 2750 NEW BEST:: SOT 35241 SOS 12130 HAS SOPS 12130 HAS SOUS 10527 HAS SOUPS 10527 WITH SCORE 10539.13
AT ITER 2778 NEW BEST:: SOT 35240 SOS 12125 HAS SOPS 12125 HAS SOUS 10525 HAS SOUPS 10525 WITH SCORE 10537.125
AT ITER 2793 NEW BEST:: SOT 35233 SOS 12113 HAS SOPS 12113 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10531.113
AT ITER 2810 NEW BEST:: SOT 35215 SOS 12006 HAS SOPS 12006 HAS SOUS 10475 HAS SOUPS 10475 WITH SCORE 10487.006
AT ITER 2818 NEW BEST:: SOT 35204 SOS 11994 HAS SOPS 11994 HAS SOUS 10462 HAS SOUPS 10462 WITH SCORE 10473.994
AT ITER 2825 NEW BEST:: SOT 35213 SOS 11995 HAS SOPS 11995 HAS SOUS 10456 HAS SOUPS 10456 WITH SCORE 10467.995
AT ITER 2840 NEW BEST:: SOT 35174 SOS 11958 HAS SOPS 11958 HAS SOUS 10419 HAS SOUPS 10419 WITH SCORE 10430.958
AT ITER 2844 NEW BEST:: SOT 35156 SOS 11916 HAS SOPS 11916 HAS SOUS 10389 HAS SOUPS 10389 WITH SCORE 10400.916
AT ITER 2846 NEW BEST:: SOT 35151 SOS 11885 HAS SOPS 11885 HAS SOUS 10379 HAS SOUPS 10379 WITH SCORE 10390.885
AT ITER 2855 NEW BEST:: SOT 35129 SOS 11855 HAS SOPS 11855 HAS SOUS 10361 HAS SOUPS 10361 WITH SCORE 10372.855
AT ITER 2888 NEW BEST:: SOT 35126 SOS 11846 HAS SOPS 11846 HAS SOUS 10358 HAS SOUPS 10358 WITH SCORE 10369.846
AT ITER 2893 NEW BEST:: SOT 35114 SOS 11834 HAS SOPS 11834 HAS SOUS 10346 HAS SOUPS 10346 WITH SCORE 10357.834
AT ITER 2904 NEW BEST:: SOT 35074 SOS 11778 HAS SOPS 11778 HAS SOUS 10290 HAS SOUPS 10290 WITH SCORE 10301.778
AT ITER 2947 NEW BEST:: SOT 35065 SOS 11751 HAS SOPS 11751 HAS SOUS 10278 HAS SOUPS 10278 WITH SCORE 10289.751
AT ITER 2962 NEW BEST:: SOT 35048 SOS 11720 HAS SOPS 11720 HAS SOUS 10249 HAS SOUPS 10249 WITH SCORE 10260.72
AT ITER 2964 NEW BEST:: SOT 35040 SOS 11712 HAS SOPS 11712 HAS SOUS 10233 HAS SOUPS 10233 WITH SCORE 10244.712
AT ITER 2979 NEW BEST:: SOT 35016 SOS 11670 HAS SOPS 11670 HAS SOUS 10201 HAS SOUPS 10201 WITH SCORE 10212.67
AT ITER 3057 NEW BEST:: SOT 35013 SOS 11667 HAS SOPS 11667 HAS SOUS 10198 HAS SOUPS 10198 WITH SCORE 10209.667
AT ITER 3060 NEW BEST:: SOT 35005 SOS 11647 HAS SOPS 11647 HAS SOUS 10182 HAS SOUPS 10182 WITH SCORE 10193.647
AT ITER 3066 NEW BEST:: SOT 34984 SOS 11584 HAS SOPS 11584 HAS SOUS 10140 HAS SOUPS 10140 WITH SCORE 10151.584
AT ITER 3089 NEW BEST:: SOT 34970 SOS 11566 HAS SOPS 11566 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10131.566
AT ITER 3096 NEW BEST:: SOT 34956 SOS 11547 HAS SOPS 11547 HAS SOUS 10101 HAS SOUPS 10101 WITH SCORE 10112.547
AT ITER 3124 NEW BEST:: SOT 34950 SOS 11538 HAS SOPS 11538 HAS SOUS 10098 HAS SOUPS 10098 WITH SCORE 10109.538
AT ITER 3148 NEW BEST:: SOT 34947 SOS 11533 HAS SOPS 11533 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10105.533
AT ITER 3173 NEW BEST:: SOT 34944 SOS 11530 HAS SOPS 11530 HAS SOUS 10091 HAS SOUPS 10091 WITH SCORE 10102.53
AT ITER 3256 NEW BEST:: SOT 34940 SOS 11524 HAS SOPS 11524 HAS SOUS 10087 HAS SOUPS 10087 WITH SCORE 10098.524
AT ITER 3261 NEW BEST:: SOT 34936 SOS 11511 HAS SOPS 11511 HAS SOUS 10065 HAS SOUPS 10065 WITH SCORE 10076.511
AT ITER 3334 NEW BEST:: SOT 34936 SOS 11495 HAS SOPS 11495 HAS SOUS 10064 HAS SOUPS 10064 WITH SCORE 10075.495
AT ITER 3352 NEW BEST:: SOT 34846 SOS 11210 HAS SOPS 11210 HAS SOUS 9847 HAS SOUPS 9847 WITH SCORE 9858.21
AT ITER 3363 NEW BEST:: SOT 34843 SOS 11184 HAS SOPS 11184 HAS SOUS 9836 HAS SOUPS 9836 WITH SCORE 9847.184
AT ITER 3390 NEW BEST:: SOT 34845 SOS 11185 HAS SOPS 11185 HAS SOUS 9816 HAS SOUPS 9816 WITH SCORE 9827.185
AT ITER 3431 NEW BEST:: SOT 34845 SOS 11190 HAS SOPS 11190 HAS SOUS 9806 HAS SOUPS 9806 WITH SCORE 9817.19
AT ITER 3434 NEW BEST:: SOT 34843 SOS 11178 HAS SOPS 11178 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9812.178
AT ITER 3466 NEW BEST:: SOT 34843 SOS 11184 HAS SOPS 11184 HAS SOUS 9796 HAS SOUPS 9796 WITH SCORE 9807.184
AT ITER 3471 NEW BEST:: SOT 34836 SOS 11156 HAS SOPS 11156 HAS SOUS 9782 HAS SOUPS 9782 WITH SCORE 9793.156
AT ITER 3481 NEW BEST:: SOT 34811 SOS 11115 HAS SOPS 11115 HAS SOUS 9741 HAS SOUPS 9741 WITH SCORE 9752.115
AT ITER 3482 NEW BEST:: SOT 34802 SOS 11103 HAS SOPS 11103 HAS SOUS 9729 HAS SOUPS 9729 WITH SCORE 9740.103
AT ITER 3517 NEW BEST:: SOT 34792 SOS 11068 HAS SOPS 11068 HAS SOUS 9697 HAS SOUPS 9697 WITH SCORE 9708.068
AT ITER 3529 NEW BEST:: SOT 34782 SOS 11058 HAS SOPS 11058 HAS SOUS 9685 HAS SOUPS 9685 WITH SCORE 9696.058
AT ITER 3573 NEW BEST:: SOT 34776 SOS 11049 HAS SOPS 11049 HAS SOUS 9678 HAS SOUPS 9678 WITH SCORE 9689.049
AT ITER 3586 NEW BEST:: SOT 34760 SOS 11022 HAS SOPS 11022 HAS SOUS 9649 HAS SOUPS 9649 WITH SCORE 9660.022
AT ITER 3594 NEW BEST:: SOT 34746 SOS 11011 HAS SOPS 11011 HAS SOUS 9635 HAS SOUPS 9635 WITH SCORE 9646.011
AT ITER 3625 NEW BEST:: SOT 34743 SOS 11006 HAS SOPS 11006 HAS SOUS 9630 HAS SOUPS 9630 WITH SCORE 9641.006
AT ITER 3635 NEW BEST:: SOT 34727 SOS 10982 HAS SOPS 10982 HAS SOUS 9614 HAS SOUPS 9614 WITH SCORE 9624.982
AT ITER 3652 NEW BEST:: SOT 34727 SOS 10983 HAS SOPS 10983 HAS SOUS 9613 HAS SOUPS 9613 WITH SCORE 9623.983
AT ITER 3655 NEW BEST:: SOT 34722 SOS 10985 HAS SOPS 10985 HAS SOUS 9612 HAS SOUPS 9612 WITH SCORE 9622.985
AT ITER 3697 NEW BEST:: SOT 34723 SOS 10984 HAS SOPS 10984 HAS SOUS 9608 HAS SOUPS 9608 WITH SCORE 9618.984
AT ITER 3717 NEW BEST:: SOT 34714 SOS 10981 HAS SOPS 10981 HAS SOUS 9604 HAS SOUPS 9604 WITH SCORE 9614.981
AT ITER 3834 NEW BEST:: SOT 34705 SOS 10955 HAS SOPS 10955 HAS SOUS 9592 HAS SOUPS 9592 WITH SCORE 9602.955
AT ITER 3859 NEW BEST:: SOT 34700 SOS 10944 HAS SOPS 10944 HAS SOUS 9583 HAS SOUPS 9583 WITH SCORE 9593.944
AT ITER 3860 NEW BEST:: SOT 34694 SOS 10936 HAS SOPS 10936 HAS SOUS 9575 HAS SOUPS 9575 WITH SCORE 9585.936
AT ITER 3887 NEW BEST:: SOT 34694 SOS 10921 HAS SOPS 10921 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9580.921
AT ITER 3908 NEW BEST:: SOT 34694 SOS 10920 HAS SOPS 10920 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9580.92
AT ITER 3918 NEW BEST:: SOT 34691 SOS 10916 HAS SOPS 10916 HAS SOUS 9566 HAS SOUPS 9566 WITH SCORE 9576.916
AT ITER 3967 NEW BEST:: SOT 34685 SOS 10902 HAS SOPS 10902 HAS SOUS 9556 HAS SOUPS 9556 WITH SCORE 9566.902
AT ITER 3999 NEW BEST:: SOT 34675 SOS 10862 HAS SOPS 10862 HAS SOUS 9536 HAS SOUPS 9536 WITH SCORE 9546.862
AT ITER 4001 NEW BEST:: SOT 34673 SOS 10856 HAS SOPS 10856 HAS SOUS 9532 HAS SOUPS 9532 WITH SCORE 9542.856
AT ITER 4065 NEW BEST:: SOT 34673 SOS 10853 HAS SOPS 10853 HAS SOUS 9532 HAS SOUPS 9532 WITH SCORE 9542.853
AT ITER 4101 NEW BEST:: SOT 34661 SOS 10818 HAS SOPS 10818 HAS SOUS 9517 HAS SOUPS 9517 WITH SCORE 9527.818
AT ITER 4141 NEW BEST:: SOT 34645 SOS 10798 HAS SOPS 10798 HAS SOUS 9497 HAS SOUPS 9497 WITH SCORE 9507.798
AT ITER 4164 NEW BEST:: SOT 34642 SOS 10786 HAS SOPS 10786 HAS SOUS 9491 HAS SOUPS 9491 WITH SCORE 9501.786
AT ITER 4175 NEW BEST:: SOT 34639 SOS 10784 HAS SOPS 10784 HAS SOUS 9489 HAS SOUPS 9489 WITH SCORE 9499.784
AT ITER 4179 NEW BEST:: SOT 34639 SOS 10776 HAS SOPS 10776 HAS SOUS 9489 HAS SOUPS 9489 WITH SCORE 9499.776
AT ITER 4275 NEW BEST:: SOT 34636 SOS 10777 HAS SOPS 10777 HAS SOUS 9481 HAS SOUPS 9481 WITH SCORE 9491.777
AT ITER 4329 NEW BEST:: SOT 34636 SOS 10765 HAS SOPS 10765 HAS SOUS 9475 HAS SOUPS 9475 WITH SCORE 9485.765
AT ITER 4346 NEW BEST:: SOT 34626 SOS 10749 HAS SOPS 10749 HAS SOUS 9459 HAS SOUPS 9459 WITH SCORE 9469.749
AT ITER 4393 NEW BEST:: SOT 34626 SOS 10749 HAS SOPS 10749 HAS SOUS 9449 HAS SOUPS 9449 WITH SCORE 9459.749
AT ITER 4402 NEW BEST:: SOT 34620 SOS 10669 HAS SOPS 10669 HAS SOUS 9441 HAS SOUPS 9441 WITH SCORE 9451.669
AT ITER 4407 NEW BEST:: SOT 34620 SOS 10668 HAS SOPS 10668 HAS SOUS 9441 HAS SOUPS 9441 WITH SCORE 9451.668
AT ITER 4432 NEW BEST:: SOT 34607 SOS 10633 HAS SOPS 10633 HAS SOUS 9415 HAS SOUPS 9415 WITH SCORE 9425.633
AT ITER 4444 NEW BEST:: SOT 34603 SOS 10627 HAS SOPS 10627 HAS SOUS 9410 HAS SOUPS 9410 WITH SCORE 9420.627
AT ITER 4456 NEW BEST:: SOT 34597 SOS 10621 HAS SOPS 10621 HAS SOUS 9404 HAS SOUPS 9404 WITH SCORE 9414.621
AT ITER 4545 NEW BEST:: SOT 34577 SOS 10578 HAS SOPS 10578 HAS SOUS 9361 HAS SOUPS 9361 WITH SCORE 9371.578
AT ITER 4557 NEW BEST:: SOT 34532 SOS 10537 HAS SOPS 10537 HAS SOUS 9323 HAS SOUPS 9323 WITH SCORE 9333.537
AT ITER 4568 NEW BEST:: SOT 34518 SOS 10534 HAS SOPS 10534 HAS SOUS 9315 HAS SOUPS 9315 WITH SCORE 9325.534
AT ITER 4603 NEW BEST:: SOT 34517 SOS 10533 HAS SOPS 10533 HAS SOUS 9314 HAS SOUPS 9314 WITH SCORE 9324.533
AT ITER 4624 NEW BEST:: SOT 34488 SOS 10508 HAS SOPS 10508 HAS SOUS 9291 HAS SOUPS 9291 WITH SCORE 9301.508
AT ITER 4637 NEW BEST:: SOT 34486 SOS 10503 HAS SOPS 10503 HAS SOUS 9283 HAS SOUPS 9283 WITH SCORE 9293.503
AT ITER 4638 NEW BEST:: SOT 34485 SOS 10502 HAS SOPS 10502 HAS SOUS 9279 HAS SOUPS 9279 WITH SCORE 9289.502
AT ITER 4673 NEW BEST:: SOT 34483 SOS 10500 HAS SOPS 10500 HAS SOUS 9279 HAS SOUPS 9279 WITH SCORE 9289.5
AT ITER 4685 NEW BEST:: SOT 34469 SOS 10478 HAS SOPS 10478 HAS SOUS 9260 HAS SOUPS 9260 WITH SCORE 9270.478
AT ITER 4732 NEW BEST:: SOT 34468 SOS 10475 HAS SOPS 10475 HAS SOUS 9259 HAS SOUPS 9259 WITH SCORE 9269.475
AT ITER 4739 NEW BEST:: SOT 34468 SOS 10455 HAS SOPS 10455 HAS SOUS 9228 HAS SOUPS 9228 WITH SCORE 9238.455
AT ITER 4746 NEW BEST:: SOT 34458 SOS 10445 HAS SOPS 10445 HAS SOUS 9218 HAS SOUPS 9218 WITH SCORE 9228.445
AT ITER 4753 NEW BEST:: SOT 34456 SOS 10442 HAS SOPS 10442 HAS SOUS 9215 HAS SOUPS 9215 WITH SCORE 9225.442
AT ITER 4758 NEW BEST:: SOT 34454 SOS 10434 HAS SOPS 10434 HAS SOUS 9209 HAS SOUPS 9209 WITH SCORE 9219.434
AT ITER 4766 NEW BEST:: SOT 34445 SOS 10440 HAS SOPS 10440 HAS SOUS 9196 HAS SOUPS 9196 WITH SCORE 9206.44
AT ITER 4767 NEW BEST:: SOT 34451 SOS 10450 HAS SOPS 10450 HAS SOUS 9191 HAS SOUPS 9191 WITH SCORE 9201.45
AT ITER 4769 NEW BEST:: SOT 34451 SOS 10443 HAS SOPS 10443 HAS SOUS 9184 HAS SOUPS 9184 WITH SCORE 9194.443
AT ITER 4833 NEW BEST:: SOT 34449 SOS 10451 HAS SOPS 10451 HAS SOUS 9167 HAS SOUPS 9167 WITH SCORE 9177.451
AT ITER 4859 NEW BEST:: SOT 34443 SOS 10441 HAS SOPS 10441 HAS SOUS 9157 HAS SOUPS 9157 WITH SCORE 9167.441
AT ITER 4871 NEW BEST:: SOT 34447 SOS 10447 HAS SOPS 10447 HAS SOUS 9143 HAS SOUPS 9143 WITH SCORE 9153.447
AT ITER 4898 NEW BEST:: SOT 34453 SOS 10453 HAS SOPS 10453 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9147.453
AT ITER 4924 NEW BEST:: SOT 34445 SOS 10433 HAS SOPS 10433 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9131.433
AT ITER 4932 NEW BEST:: SOT 34442 SOS 10423 HAS SOPS 10423 HAS SOUS 9114 HAS SOUPS 9114 WITH SCORE 9124.423
AT ITER 4945 NEW BEST:: SOT 34428 SOS 10390 HAS SOPS 10390 HAS SOUS 9093 HAS SOUPS 9093 WITH SCORE 9103.39
AT ITER 4951 NEW BEST:: SOT 34367 SOS 10299 HAS SOPS 10299 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9026.299
AT ITER 4962 NEW BEST:: SOT 34364 SOS 10295 HAS SOPS 10295 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9023.295
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-00 (EF((! ( (! potential( ( 1 ) <= (tk(P72)) )) | ( potential( (tk(P177)) <= (tk(P179)) ) | potential( (tk(P190)) <= (tk(P198)) ) ) ))))
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-01 ( potential( (tk(P115)) <= (tk(P127)) ) & ( ( potential( ( 2 ) <= (tk(P36)) ) | (AX( potential( ( 1 ) <= (tk(P80)) ))) ) | ( (! ( potential( (tk(P55)) <= (tk(P208)) ) & potential( (tk(P129)) <= (tk(P227)) ) )) | (AG( potential( (tk(P84)) <= (tk(P85)) ))) ) ) )
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-02 (EF(( ( ( potential( (tk(P121)) <= (tk(P195)) ) & potential( (tk(P140)) <= (tk(P96)) ) ) | ( potential( ( 3 ) <= (tk(P214)) ) | potential( ( 1 ) <= (tk(P177)) ) ) ) & (AG( potential( ( 1 ) <= (tk(P225)) ))) )))
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-03 (EF(( ( ( potential( (tk(P26)) <= (tk(P151)) ) & potential( ( 2 ) <= (tk(P216)) ) ) & (! potential( ( 2 ) <= (tk(P203)) )) ) & (AG( potential( ( 1 ) <= (tk(P78)) ))) )))
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-04 ( (! (EF((! potential( ( 1 ) <= (tk(P124)) ))))) | ( ( (EF(potential( ( 2 ) <= (tk(P196)) ))) & (EF(potential( ( 2 ) <= (tk(P219)) ))) ) & (EF(( potential( ( 2 ) <= (tk(P20)) ) & potential( ( 2 ) <= (tk(P219)) ) ))) ) )
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-05 ( (AG( (AF(potential( (tk(P74)) <= (tk(P70)) ))))) & (EF(( (! potential( (tk(P59)) <= (tk(P78)) )) | ( potential( ( 2 ) <= (tk(P191)) ) | potential( ( 1 ) <= (tk(P236)) ) ) ))) )
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-06 (AG( ( ( ( potential( (tk(P164)) <= (tk(P98)) ) | potential( (tk(P82)) <= (tk(P116)) ) ) | ( potential( (tk(P176)) <= (tk(P176)) ) | potential( (tk(P212)) <= (tk(P146)) ) ) ) | ( potential( ( 2 ) <= (tk(P235)) ) & (! potential( ( 2 ) <= (tk(P181)) )) ) )))
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-07 (EU( ( ( potential( ( 3 ) <= (tk(P171)) ) | potential( ( 1 ) <= (tk(P73)) ) ) | (! potential( ( 1 ) <= (tk(P2)) )) ),( potential( ( 2 ) <= (tk(P81)) ) & (! potential( (tk(P84)) <= (tk(P165)) )) ) ))
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-08 (EF(( ( ( potential( (tk(P106)) <= (tk(P169)) ) & potential( ( 2 ) <= (tk(P206)) ) ) & (! potential( (tk(P191)) <= (tk(P33)) )) ) | ( potential( ( 3 ) <= (tk(P227)) ) & (! potential( ( 3 ) <= (tk(P30)) )) ) )))
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-09 (AG( ( (! ( potential( ( 3 ) <= (tk(P54)) ) | potential( ( 3 ) <= (tk(P33)) ) )) | ( ( potential( (tk(P136)) <= (tk(P144)) ) | potential( ( 2 ) <= (tk(P162)) ) ) & ( potential( (tk(P84)) <= (tk(P200)) ) | potential( (tk(P170)) <= (tk(P210)) ) ) ) )))
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-10 (AG( (AF((! potential( ( 3 ) <= (tk(P222)) ))))))
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-11 (EU( ( ( potential( ( 3 ) <= (tk(P13)) ) & potential( ( 1 ) <= (tk(P121)) ) ) | potential( ( 2 ) <= (tk(P21)) ) ),(EF(potential( ( 3 ) <= (tk(P52)) ))) ))
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-12 ( ( (AF(( potential( (tk(P174)) <= (tk(P28)) ) & potential( (tk(P167)) <= (tk(P86)) ) ))) & ( ( ( potential( (tk(P36)) <= (tk(P241)) ) & potential( ( 1 ) <= (tk(P110)) ) ) | ( potential( ( 3 ) <= (tk(P76)) ) | potential( (tk(P97)) <= (tk(P14)) ) ) ) | (EF(potential( ( 2 ) <= (tk(P240)) ))) ) ) & (! (EF(potential( ( 2 ) <= (tk(P181)) )))) )
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-13 (EF(( ( ( potential( ( 3 ) <= (tk(P213)) ) | potential( (tk(P214)) <= (tk(P63)) ) ) & (! potential( (tk(P3)) <= (tk(P143)) )) ) | potential( ( 2 ) <= (tk(P115)) ) )))
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-14 (EF((AG( (! potential( ( 1 ) <= (tk(P216)) ))))))
PROPERTY: ShieldRVt-PT-030A-CTLCardinality-15 (EU( (AF(potential( (tk(P79)) <= (tk(P35)) ))),(AF(potential( ( 2 ) <= (tk(P233)) ))) ))

BK_STOP 1590459606786

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 372 Aborted ${SMART} ${INPUT_SM}

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="ShieldRVt-PT-030A"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldRVt-PT-030A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033470401035"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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