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

About the Execution of smart for BusinessProcesses-PT-04

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 2.9K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:43 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.4K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 79K 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-04-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-04-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-04-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-04-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-04-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-04-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-04-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-04-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-04-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-04-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-04-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-04-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-04-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-04-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-04-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-04-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589017722934

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 04
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: 288 places, 283 transitions, 916 arcs.
AT ITER 0 NEW BEST:: SOT 54232 SOS 22226 HAS SOPS 22226 HAS SOUS 20115 HAS SOUPS 20115 WITH SCORE 20137.226
AT ITER 10 NEW BEST:: SOT 54127 SOS 22101 HAS SOPS 22101 HAS SOUS 19990 HAS SOUPS 19990 WITH SCORE 20012.101
AT ITER 14 NEW BEST:: SOT 54126 SOS 22099 HAS SOPS 22099 HAS SOUS 19988 HAS SOUPS 19988 WITH SCORE 20010.099
AT ITER 27 NEW BEST:: SOT 54100 SOS 22095 HAS SOPS 22095 HAS SOUS 19984 HAS SOUPS 19984 WITH SCORE 20006.095
AT ITER 34 NEW BEST:: SOT 54040 SOS 22051 HAS SOPS 22051 HAS SOUS 19984 HAS SOUPS 19984 WITH SCORE 20006.051
AT ITER 35 NEW BEST:: SOT 54003 SOS 22014 HAS SOPS 22014 HAS SOUS 19943 HAS SOUPS 19943 WITH SCORE 19965.014
AT ITER 44 NEW BEST:: SOT 53146 SOS 21597 HAS SOPS 21597 HAS SOUS 19086 HAS SOUPS 19086 WITH SCORE 19107.597
AT ITER 49 NEW BEST:: SOT 53112 SOS 21589 HAS SOPS 21589 HAS SOUS 19051 HAS SOUPS 19051 WITH SCORE 19072.589
AT ITER 60 NEW BEST:: SOT 53075 SOS 21633 HAS SOPS 21633 HAS SOUS 19003 HAS SOUPS 19003 WITH SCORE 19024.633
AT ITER 65 NEW BEST:: SOT 53029 SOS 21470 HAS SOPS 21470 HAS SOUS 18932 HAS SOUPS 18932 WITH SCORE 18953.47
AT ITER 69 NEW BEST:: SOT 53038 SOS 21479 HAS SOPS 21479 HAS SOUS 18918 HAS SOUPS 18918 WITH SCORE 18939.479
AT ITER 72 NEW BEST:: SOT 53031 SOS 21413 HAS SOPS 21413 HAS SOUS 18852 HAS SOUPS 18852 WITH SCORE 18873.413
AT ITER 73 NEW BEST:: SOT 52978 SOS 21360 HAS SOPS 21360 HAS SOUS 18795 HAS SOUPS 18795 WITH SCORE 18816.36
AT ITER 85 NEW BEST:: SOT 53000 SOS 21404 HAS SOPS 21404 HAS SOUS 18716 HAS SOUPS 18716 WITH SCORE 18737.404
AT ITER 106 NEW BEST:: SOT 52998 SOS 21400 HAS SOPS 21400 HAS SOUS 18713 HAS SOUPS 18713 WITH SCORE 18734.4
AT ITER 107 NEW BEST:: SOT 52996 SOS 21398 HAS SOPS 21398 HAS SOUS 18711 HAS SOUPS 18711 WITH SCORE 18732.398
AT ITER 109 NEW BEST:: SOT 52944 SOS 21470 HAS SOPS 21470 HAS SOUS 18665 HAS SOUPS 18665 WITH SCORE 18686.47
AT ITER 111 NEW BEST:: SOT 52968 SOS 21494 HAS SOPS 21494 HAS SOUS 18664 HAS SOUPS 18664 WITH SCORE 18685.494
AT ITER 112 NEW BEST:: SOT 52935 SOS 21461 HAS SOPS 21461 HAS SOUS 18631 HAS SOUPS 18631 WITH SCORE 18652.461
AT ITER 114 NEW BEST:: SOT 52933 SOS 21459 HAS SOPS 21459 HAS SOUS 18629 HAS SOUPS 18629 WITH SCORE 18650.459
AT ITER 115 NEW BEST:: SOT 52931 SOS 21425 HAS SOPS 21425 HAS SOUS 18626 HAS SOUPS 18626 WITH SCORE 18647.425
AT ITER 117 NEW BEST:: SOT 52906 SOS 21453 HAS SOPS 21453 HAS SOUS 18601 HAS SOUPS 18601 WITH SCORE 18622.453
AT ITER 119 NEW BEST:: SOT 52517 SOS 21593 HAS SOPS 21593 HAS SOUS 18374 HAS SOUPS 18374 WITH SCORE 18395.593
AT ITER 129 NEW BEST:: SOT 51547 SOS 21547 HAS SOPS 21547 HAS SOUS 17619 HAS SOUPS 17619 WITH SCORE 17640.547
AT ITER 131 NEW BEST:: SOT 51519 SOS 21505 HAS SOPS 21505 HAS SOUS 17591 HAS SOUPS 17591 WITH SCORE 17612.505
AT ITER 135 NEW BEST:: SOT 51518 SOS 21503 HAS SOPS 21503 HAS SOUS 17589 HAS SOUPS 17589 WITH SCORE 17610.503
AT ITER 142 NEW BEST:: SOT 51487 SOS 21505 HAS SOPS 21505 HAS SOUS 17577 HAS SOUPS 17577 WITH SCORE 17598.505
AT ITER 147 NEW BEST:: SOT 51418 SOS 21445 HAS SOPS 21445 HAS SOUS 17547 HAS SOUPS 17547 WITH SCORE 17568.445
AT ITER 148 NEW BEST:: SOT 50420 SOS 20567 HAS SOPS 20567 HAS SOUS 16668 HAS SOUPS 16668 WITH SCORE 16688.567
AT ITER 150 NEW BEST:: SOT 50159 SOS 20306 HAS SOPS 20306 HAS SOUS 16448 HAS SOUPS 16448 WITH SCORE 16468.306
AT ITER 157 NEW BEST:: SOT 50095 SOS 20248 HAS SOPS 20248 HAS SOUS 16386 HAS SOUPS 16386 WITH SCORE 16406.248
AT ITER 163 NEW BEST:: SOT 49960 SOS 20121 HAS SOPS 20121 HAS SOUS 16239 HAS SOUPS 16239 WITH SCORE 16259.121
AT ITER 169 NEW BEST:: SOT 49966 SOS 20069 HAS SOPS 20069 HAS SOUS 16187 HAS SOUPS 16187 WITH SCORE 16207.069
AT ITER 182 NEW BEST:: SOT 49949 SOS 20052 HAS SOPS 20052 HAS SOUS 16187 HAS SOUPS 16187 WITH SCORE 16207.052
AT ITER 191 NEW BEST:: SOT 49978 SOS 19649 HAS SOPS 19649 HAS SOUS 16150 HAS SOUPS 16150 WITH SCORE 16169.649
AT ITER 193 NEW BEST:: SOT 49999 SOS 19651 HAS SOPS 19651 HAS SOUS 16140 HAS SOUPS 16140 WITH SCORE 16159.651
AT ITER 195 NEW BEST:: SOT 49987 SOS 19638 HAS SOPS 19638 HAS SOUS 16127 HAS SOUPS 16127 WITH SCORE 16146.638
AT ITER 210 NEW BEST:: SOT 49939 SOS 19590 HAS SOPS 19590 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16098.59
AT ITER 216 NEW BEST:: SOT 49873 SOS 19576 HAS SOPS 19576 HAS SOUS 16065 HAS SOUPS 16065 WITH SCORE 16084.576
AT ITER 225 NEW BEST:: SOT 49873 SOS 19542 HAS SOPS 19542 HAS SOUS 16031 HAS SOUPS 16031 WITH SCORE 16050.542
AT ITER 243 NEW BEST:: SOT 49872 SOS 19489 HAS SOPS 19489 HAS SOUS 15986 HAS SOUPS 15986 WITH SCORE 16005.489
AT ITER 265 NEW BEST:: SOT 49854 SOS 19471 HAS SOPS 19471 HAS SOUS 15964 HAS SOUPS 15964 WITH SCORE 15983.471
AT ITER 267 NEW BEST:: SOT 49256 SOS 18967 HAS SOPS 18967 HAS SOUS 15440 HAS SOUPS 15440 WITH SCORE 15458.967
AT ITER 275 NEW BEST:: SOT 49199 SOS 18910 HAS SOPS 18910 HAS SOUS 15383 HAS SOUPS 15383 WITH SCORE 15401.91
AT ITER 276 NEW BEST:: SOT 49186 SOS 18844 HAS SOPS 18844 HAS SOUS 15317 HAS SOUPS 15317 WITH SCORE 15335.844
AT ITER 283 NEW BEST:: SOT 49125 SOS 18783 HAS SOPS 18783 HAS SOUS 15256 HAS SOUPS 15256 WITH SCORE 15274.783
AT ITER 286 NEW BEST:: SOT 49128 SOS 18762 HAS SOPS 18762 HAS SOUS 15255 HAS SOUPS 15255 WITH SCORE 15273.762
AT ITER 293 NEW BEST:: SOT 49144 SOS 18812 HAS SOPS 18812 HAS SOUS 15221 HAS SOUPS 15221 WITH SCORE 15239.812
AT ITER 310 NEW BEST:: SOT 49144 SOS 18766 HAS SOPS 18766 HAS SOUS 15198 HAS SOUPS 15198 WITH SCORE 15216.766
AT ITER 311 NEW BEST:: SOT 49143 SOS 18718 HAS SOPS 18718 HAS SOUS 15151 HAS SOUPS 15151 WITH SCORE 15169.718
AT ITER 339 NEW BEST:: SOT 49142 SOS 18716 HAS SOPS 18716 HAS SOUS 15149 HAS SOUPS 15149 WITH SCORE 15167.716
AT ITER 341 NEW BEST:: SOT 48914 SOS 18586 HAS SOPS 18586 HAS SOUS 14932 HAS SOUPS 14932 WITH SCORE 14950.586
AT ITER 372 NEW BEST:: SOT 48907 SOS 18572 HAS SOPS 18572 HAS SOUS 14918 HAS SOUPS 14918 WITH SCORE 14936.572
AT ITER 377 NEW BEST:: SOT 48986 SOS 18648 HAS SOPS 18648 HAS SOUS 14912 HAS SOUPS 14912 WITH SCORE 14930.648
AT ITER 381 NEW BEST:: SOT 48974 SOS 18683 HAS SOPS 18683 HAS SOUS 14900 HAS SOUPS 14900 WITH SCORE 14918.683
AT ITER 383 NEW BEST:: SOT 48973 SOS 18679 HAS SOPS 18679 HAS SOUS 14896 HAS SOUPS 14896 WITH SCORE 14914.679
AT ITER 394 NEW BEST:: SOT 48998 SOS 18730 HAS SOPS 18730 HAS SOUS 14893 HAS SOUPS 14893 WITH SCORE 14911.73
AT ITER 404 NEW BEST:: SOT 48911 SOS 18623 HAS SOPS 18623 HAS SOUS 14840 HAS SOUPS 14840 WITH SCORE 14858.623
AT ITER 415 NEW BEST:: SOT 48910 SOS 18622 HAS SOPS 18622 HAS SOUS 14839 HAS SOUPS 14839 WITH SCORE 14857.622
AT ITER 416 NEW BEST:: SOT 48910 SOS 18613 HAS SOPS 18613 HAS SOUS 14839 HAS SOUPS 14839 WITH SCORE 14857.613
AT ITER 424 NEW BEST:: SOT 48909 SOS 18611 HAS SOPS 18611 HAS SOUS 14837 HAS SOUPS 14837 WITH SCORE 14855.611
AT ITER 427 NEW BEST:: SOT 48877 SOS 18571 HAS SOPS 18571 HAS SOUS 14797 HAS SOUPS 14797 WITH SCORE 14815.571
AT ITER 428 NEW BEST:: SOT 48825 SOS 18517 HAS SOPS 18517 HAS SOUS 14755 HAS SOUPS 14755 WITH SCORE 14773.517
AT ITER 433 NEW BEST:: SOT 48813 SOS 18493 HAS SOPS 18493 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14749.493
AT ITER 452 NEW BEST:: SOT 48779 SOS 18414 HAS SOPS 18414 HAS SOUS 14639 HAS SOUPS 14639 WITH SCORE 14657.414
AT ITER 453 NEW BEST:: SOT 48758 SOS 18393 HAS SOPS 18393 HAS SOUS 14618 HAS SOUPS 14618 WITH SCORE 14636.393
AT ITER 469 NEW BEST:: SOT 48716 SOS 17701 HAS SOPS 17701 HAS SOUS 14532 HAS SOUPS 14532 WITH SCORE 14549.701
AT ITER 471 NEW BEST:: SOT 48729 SOS 17667 HAS SOPS 17667 HAS SOUS 14476 HAS SOUPS 14476 WITH SCORE 14493.667
AT ITER 491 NEW BEST:: SOT 48731 SOS 17664 HAS SOPS 17664 HAS SOUS 14473 HAS SOUPS 14473 WITH SCORE 14490.664
AT ITER 527 NEW BEST:: SOT 48731 SOS 17664 HAS SOPS 17664 HAS SOUS 14472 HAS SOUPS 14472 WITH SCORE 14489.664
AT ITER 545 NEW BEST:: SOT 48745 SOS 17597 HAS SOPS 17597 HAS SOUS 14358 HAS SOUPS 14358 WITH SCORE 14375.597
AT ITER 576 NEW BEST:: SOT 48688 SOS 17515 HAS SOPS 17515 HAS SOUS 14290 HAS SOUPS 14290 WITH SCORE 14307.515
AT ITER 579 NEW BEST:: SOT 48676 SOS 17494 HAS SOPS 17494 HAS SOUS 14269 HAS SOUPS 14269 WITH SCORE 14286.494
AT ITER 585 NEW BEST:: SOT 48666 SOS 17478 HAS SOPS 17478 HAS SOUS 14253 HAS SOUPS 14253 WITH SCORE 14270.478
AT ITER 588 NEW BEST:: SOT 48643 SOS 17454 HAS SOPS 17454 HAS SOUS 14229 HAS SOUPS 14229 WITH SCORE 14246.454
AT ITER 591 NEW BEST:: SOT 48533 SOS 17369 HAS SOPS 17369 HAS SOUS 14144 HAS SOUPS 14144 WITH SCORE 14161.369
AT ITER 619 NEW BEST:: SOT 48447 SOS 17303 HAS SOPS 17303 HAS SOUS 14078 HAS SOUPS 14078 WITH SCORE 14095.303
AT ITER 631 NEW BEST:: SOT 48402 SOS 17199 HAS SOPS 17199 HAS SOUS 14019 HAS SOUPS 14019 WITH SCORE 14036.199
AT ITER 653 NEW BEST:: SOT 48390 SOS 17183 HAS SOPS 17183 HAS SOUS 14003 HAS SOUPS 14003 WITH SCORE 14020.183
AT ITER 683 NEW BEST:: SOT 48387 SOS 17180 HAS SOPS 17180 HAS SOUS 14000 HAS SOUPS 14000 WITH SCORE 14017.18
AT ITER 686 NEW BEST:: SOT 48387 SOS 17175 HAS SOPS 17175 HAS SOUS 13995 HAS SOUPS 13995 WITH SCORE 14012.175
AT ITER 695 NEW BEST:: SOT 48387 SOS 17175 HAS SOPS 17175 HAS SOUS 13970 HAS SOUPS 13970 WITH SCORE 13987.175
AT ITER 696 NEW BEST:: SOT 48373 SOS 17146 HAS SOPS 17146 HAS SOUS 13941 HAS SOUPS 13941 WITH SCORE 13958.146
AT ITER 699 NEW BEST:: SOT 48371 SOS 17155 HAS SOPS 17155 HAS SOUS 13897 HAS SOUPS 13897 WITH SCORE 13914.155
AT ITER 720 NEW BEST:: SOT 48335 SOS 17137 HAS SOPS 17137 HAS SOUS 13879 HAS SOUPS 13879 WITH SCORE 13896.137
AT ITER 723 NEW BEST:: SOT 48317 SOS 17110 HAS SOPS 17110 HAS SOUS 13852 HAS SOUPS 13852 WITH SCORE 13869.11
AT ITER 727 NEW BEST:: SOT 48317 SOS 17101 HAS SOPS 17101 HAS SOUS 13843 HAS SOUPS 13843 WITH SCORE 13860.101
AT ITER 729 NEW BEST:: SOT 48287 SOS 17061 HAS SOPS 17061 HAS SOUS 13803 HAS SOUPS 13803 WITH SCORE 13820.061
AT ITER 730 NEW BEST:: SOT 48281 SOS 17055 HAS SOPS 17055 HAS SOUS 13793 HAS SOUPS 13793 WITH SCORE 13810.055
AT ITER 736 NEW BEST:: SOT 48311 SOS 17075 HAS SOPS 17075 HAS SOUS 13773 HAS SOUPS 13773 WITH SCORE 13790.075
AT ITER 737 NEW BEST:: SOT 48295 SOS 17107 HAS SOPS 17107 HAS SOUS 13757 HAS SOUPS 13757 WITH SCORE 13774.107
AT ITER 738 NEW BEST:: SOT 48289 SOS 17092 HAS SOPS 17092 HAS SOUS 13745 HAS SOUPS 13745 WITH SCORE 13762.092
AT ITER 766 NEW BEST:: SOT 48286 SOS 17086 HAS SOPS 17086 HAS SOUS 13740 HAS SOUPS 13740 WITH SCORE 13757.086
AT ITER 778 NEW BEST:: SOT 48256 SOS 17152 HAS SOPS 17152 HAS SOUS 13663 HAS SOUPS 13663 WITH SCORE 13680.152
AT ITER 810 NEW BEST:: SOT 48248 SOS 17190 HAS SOPS 17190 HAS SOUS 13659 HAS SOUPS 13659 WITH SCORE 13676.19
AT ITER 818 NEW BEST:: SOT 48206 SOS 17152 HAS SOPS 17152 HAS SOUS 13621 HAS SOUPS 13621 WITH SCORE 13638.152
AT ITER 820 NEW BEST:: SOT 48188 SOS 17136 HAS SOPS 17136 HAS SOUS 13605 HAS SOUPS 13605 WITH SCORE 13622.136
AT ITER 842 NEW BEST:: SOT 48184 SOS 17109 HAS SOPS 17109 HAS SOUS 13578 HAS SOUPS 13578 WITH SCORE 13595.109
AT ITER 852 NEW BEST:: SOT 48184 SOS 17103 HAS SOPS 17103 HAS SOUS 13572 HAS SOUPS 13572 WITH SCORE 13589.103
AT ITER 881 NEW BEST:: SOT 48184 SOS 17083 HAS SOPS 17083 HAS SOUS 13552 HAS SOUPS 13552 WITH SCORE 13569.083
AT ITER 888 NEW BEST:: SOT 48138 SOS 17037 HAS SOPS 17037 HAS SOUS 13506 HAS SOUPS 13506 WITH SCORE 13523.037
AT ITER 897 NEW BEST:: SOT 48091 SOS 16943 HAS SOPS 16943 HAS SOUS 13459 HAS SOUPS 13459 WITH SCORE 13475.943
AT ITER 917 NEW BEST:: SOT 48086 SOS 16927 HAS SOPS 16927 HAS SOUS 13443 HAS SOUPS 13443 WITH SCORE 13459.927
AT ITER 926 NEW BEST:: SOT 48089 SOS 16836 HAS SOPS 16836 HAS SOUS 13352 HAS SOUPS 13352 WITH SCORE 13368.836
AT ITER 944 NEW BEST:: SOT 48090 SOS 16857 HAS SOPS 16857 HAS SOUS 13323 HAS SOUPS 13323 WITH SCORE 13339.857
AT ITER 948 NEW BEST:: SOT 48101 SOS 16830 HAS SOPS 16830 HAS SOUS 13296 HAS SOUPS 13296 WITH SCORE 13312.83
AT ITER 957 NEW BEST:: SOT 48103 SOS 16744 HAS SOPS 16744 HAS SOUS 13262 HAS SOUPS 13262 WITH SCORE 13278.744
AT ITER 960 NEW BEST:: SOT 48103 SOS 16744 HAS SOPS 16744 HAS SOUS 13242 HAS SOUPS 13242 WITH SCORE 13258.744
AT ITER 964 NEW BEST:: SOT 48063 SOS 16528 HAS SOPS 16528 HAS SOUS 13169 HAS SOUPS 13169 WITH SCORE 13185.528
AT ITER 983 NEW BEST:: SOT 48062 SOS 16526 HAS SOPS 16526 HAS SOUS 13167 HAS SOUPS 13167 WITH SCORE 13183.526
AT ITER 990 NEW BEST:: SOT 48061 SOS 16507 HAS SOPS 16507 HAS SOUS 13164 HAS SOUPS 13164 WITH SCORE 13180.507
AT ITER 993 NEW BEST:: SOT 48063 SOS 16515 HAS SOPS 16515 HAS SOUS 13152 HAS SOUPS 13152 WITH SCORE 13168.515
AT ITER 997 NEW BEST:: SOT 48050 SOS 16499 HAS SOPS 16499 HAS SOUS 13136 HAS SOUPS 13136 WITH SCORE 13152.499
AT ITER 1004 NEW BEST:: SOT 48031 SOS 16454 HAS SOPS 16454 HAS SOUS 13091 HAS SOUPS 13091 WITH SCORE 13107.454
AT ITER 1005 NEW BEST:: SOT 47999 SOS 16422 HAS SOPS 16422 HAS SOUS 13059 HAS SOUPS 13059 WITH SCORE 13075.422
AT ITER 1028 NEW BEST:: SOT 47999 SOS 16422 HAS SOPS 16422 HAS SOUS 13057 HAS SOUPS 13057 WITH SCORE 13073.422
AT ITER 1062 NEW BEST:: SOT 47977 SOS 16385 HAS SOPS 16385 HAS SOUS 13013 HAS SOUPS 13013 WITH SCORE 13029.385
AT ITER 1086 NEW BEST:: SOT 47952 SOS 16360 HAS SOPS 16360 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12952.36
AT ITER 1093 NEW BEST:: SOT 47943 SOS 16356 HAS SOPS 16356 HAS SOUS 12932 HAS SOUPS 12932 WITH SCORE 12948.356
AT ITER 1095 NEW BEST:: SOT 47959 SOS 16384 HAS SOPS 16384 HAS SOUS 12930 HAS SOUPS 12930 WITH SCORE 12946.384
AT ITER 1097 NEW BEST:: SOT 47934 SOS 16334 HAS SOPS 16334 HAS SOUS 12880 HAS SOUPS 12880 WITH SCORE 12896.334
AT ITER 1117 NEW BEST:: SOT 47931 SOS 16328 HAS SOPS 16328 HAS SOUS 12874 HAS SOUPS 12874 WITH SCORE 12890.328
AT ITER 1134 NEW BEST:: SOT 47931 SOS 16328 HAS SOPS 16328 HAS SOUS 12858 HAS SOUPS 12858 WITH SCORE 12874.328
AT ITER 1176 NEW BEST:: SOT 47906 SOS 16303 HAS SOPS 16303 HAS SOUS 12833 HAS SOUPS 12833 WITH SCORE 12849.303
AT ITER 1188 NEW BEST:: SOT 47906 SOS 16291 HAS SOPS 16291 HAS SOUS 12833 HAS SOUPS 12833 WITH SCORE 12849.291
AT ITER 1208 NEW BEST:: SOT 47906 SOS 16291 HAS SOPS 16291 HAS SOUS 12831 HAS SOUPS 12831 WITH SCORE 12847.291
AT ITER 1247 NEW BEST:: SOT 47892 SOS 16263 HAS SOPS 16263 HAS SOUS 12803 HAS SOUPS 12803 WITH SCORE 12819.263
AT ITER 1250 NEW BEST:: SOT 47869 SOS 16227 HAS SOPS 16227 HAS SOUS 12767 HAS SOUPS 12767 WITH SCORE 12783.227
AT ITER 1262 NEW BEST:: SOT 47844 SOS 16223 HAS SOPS 16223 HAS SOUS 12762 HAS SOUPS 12762 WITH SCORE 12778.223
AT ITER 1265 NEW BEST:: SOT 47853 SOS 16220 HAS SOPS 16220 HAS SOUS 12759 HAS SOUPS 12759 WITH SCORE 12775.22
AT ITER 1268 NEW BEST:: SOT 47809 SOS 16262 HAS SOPS 16262 HAS SOUS 12727 HAS SOUPS 12727 WITH SCORE 12743.262
AT ITER 1299 NEW BEST:: SOT 47809 SOS 16202 HAS SOPS 16202 HAS SOUS 12717 HAS SOUPS 12717 WITH SCORE 12733.202
AT ITER 1300 NEW BEST:: SOT 47798 SOS 16158 HAS SOPS 16158 HAS SOUS 12684 HAS SOUPS 12684 WITH SCORE 12700.158
AT ITER 1319 NEW BEST:: SOT 47801 SOS 16143 HAS SOPS 16143 HAS SOUS 12669 HAS SOUPS 12669 WITH SCORE 12685.143
AT ITER 1322 NEW BEST:: SOT 47801 SOS 16118 HAS SOPS 16118 HAS SOUS 12644 HAS SOUPS 12644 WITH SCORE 12660.118
AT ITER 1330 NEW BEST:: SOT 47668 SOS 15985 HAS SOPS 15985 HAS SOUS 12511 HAS SOUPS 12511 WITH SCORE 12526.985
AT ITER 1352 NEW BEST:: SOT 47667 SOS 15946 HAS SOPS 15946 HAS SOUS 12472 HAS SOUPS 12472 WITH SCORE 12487.946
AT ITER 1370 NEW BEST:: SOT 47667 SOS 16038 HAS SOPS 16038 HAS SOUS 12465 HAS SOUPS 12465 WITH SCORE 12481.038
AT ITER 1395 NEW BEST:: SOT 47630 SOS 16001 HAS SOPS 16001 HAS SOUS 12428 HAS SOUPS 12428 WITH SCORE 12444.001
AT ITER 1403 NEW BEST:: SOT 47585 SOS 15973 HAS SOPS 15973 HAS SOUS 12400 HAS SOUPS 12400 WITH SCORE 12415.973
AT ITER 1423 NEW BEST:: SOT 47584 SOS 15972 HAS SOPS 15972 HAS SOUS 12399 HAS SOUPS 12399 WITH SCORE 12414.972
AT ITER 1445 NEW BEST:: SOT 47594 SOS 15961 HAS SOPS 15961 HAS SOUS 12388 HAS SOUPS 12388 WITH SCORE 12403.961
AT ITER 1457 NEW BEST:: SOT 47594 SOS 15952 HAS SOPS 15952 HAS SOUS 12379 HAS SOUPS 12379 WITH SCORE 12394.952
AT ITER 1466 NEW BEST:: SOT 47580 SOS 15924 HAS SOPS 15924 HAS SOUS 12364 HAS SOUPS 12364 WITH SCORE 12379.924
AT ITER 1513 NEW BEST:: SOT 47580 SOS 15911 HAS SOPS 15911 HAS SOUS 12351 HAS SOUPS 12351 WITH SCORE 12366.911
AT ITER 1523 NEW BEST:: SOT 47483 SOS 15755 HAS SOPS 15755 HAS SOUS 12195 HAS SOUPS 12195 WITH SCORE 12210.755
AT ITER 1539 NEW BEST:: SOT 47465 SOS 15719 HAS SOPS 15719 HAS SOUS 12177 HAS SOUPS 12177 WITH SCORE 12192.719
AT ITER 1543 NEW BEST:: SOT 47461 SOS 15711 HAS SOPS 15711 HAS SOUS 12169 HAS SOUPS 12169 WITH SCORE 12184.711
AT ITER 1547 NEW BEST:: SOT 47304 SOS 15524 HAS SOPS 15524 HAS SOUS 11976 HAS SOUPS 11976 WITH SCORE 11991.524
AT ITER 1559 NEW BEST:: SOT 47295 SOS 15506 HAS SOPS 15506 HAS SOUS 11958 HAS SOUPS 11958 WITH SCORE 11973.506
AT ITER 1580 NEW BEST:: SOT 47294 SOS 15505 HAS SOPS 15505 HAS SOUS 11958 HAS SOUPS 11958 WITH SCORE 11973.505
AT ITER 1598 NEW BEST:: SOT 47263 SOS 15445 HAS SOPS 15445 HAS SOUS 11898 HAS SOUPS 11898 WITH SCORE 11913.445
AT ITER 1599 NEW BEST:: SOT 47268 SOS 15439 HAS SOPS 15439 HAS SOUS 11892 HAS SOUPS 11892 WITH SCORE 11907.439
AT ITER 1615 NEW BEST:: SOT 47303 SOS 15416 HAS SOPS 15416 HAS SOUS 11869 HAS SOUPS 11869 WITH SCORE 11884.416
AT ITER 1628 NEW BEST:: SOT 47291 SOS 15424 HAS SOPS 15424 HAS SOUS 11861 HAS SOUPS 11861 WITH SCORE 11876.424
AT ITER 1639 NEW BEST:: SOT 47291 SOS 15416 HAS SOPS 15416 HAS SOUS 11853 HAS SOUPS 11853 WITH SCORE 11868.416
AT ITER 1643 NEW BEST:: SOT 47283 SOS 15408 HAS SOPS 15408 HAS SOUS 11837 HAS SOUPS 11837 WITH SCORE 11852.408
AT ITER 1654 NEW BEST:: SOT 47280 SOS 15374 HAS SOPS 15374 HAS SOUS 11803 HAS SOUPS 11803 WITH SCORE 11818.374
AT ITER 1663 NEW BEST:: SOT 47277 SOS 15368 HAS SOPS 15368 HAS SOUS 11797 HAS SOUPS 11797 WITH SCORE 11812.368
AT ITER 1692 NEW BEST:: SOT 47277 SOS 15368 HAS SOPS 15368 HAS SOUS 11796 HAS SOUPS 11796 WITH SCORE 11811.368
AT ITER 1752 NEW BEST:: SOT 47272 SOS 15358 HAS SOPS 15358 HAS SOUS 11786 HAS SOUPS 11786 WITH SCORE 11801.358
AT ITER 1757 NEW BEST:: SOT 47272 SOS 15344 HAS SOPS 15344 HAS SOUS 11772 HAS SOUPS 11772 WITH SCORE 11787.344
AT ITER 1792 NEW BEST:: SOT 47253 SOS 15307 HAS SOPS 15307 HAS SOUS 11733 HAS SOUPS 11733 WITH SCORE 11748.307
AT ITER 1794 NEW BEST:: SOT 47247 SOS 15295 HAS SOPS 15295 HAS SOUS 11721 HAS SOUPS 11721 WITH SCORE 11736.295
AT ITER 1798 NEW BEST:: SOT 47246 SOS 15293 HAS SOPS 15293 HAS SOUS 11719 HAS SOUPS 11719 WITH SCORE 11734.293
AT ITER 1806 NEW BEST:: SOT 47237 SOS 15284 HAS SOPS 15284 HAS SOUS 11710 HAS SOUPS 11710 WITH SCORE 11725.284
AT ITER 1807 NEW BEST:: SOT 47239 SOS 15284 HAS SOPS 15284 HAS SOUS 11706 HAS SOUPS 11706 WITH SCORE 11721.284
AT ITER 1810 NEW BEST:: SOT 47239 SOS 15260 HAS SOPS 15260 HAS SOUS 11706 HAS SOUPS 11706 WITH SCORE 11721.26
AT ITER 1812 NEW BEST:: SOT 47184 SOS 15206 HAS SOPS 15206 HAS SOUS 11679 HAS SOUPS 11679 WITH SCORE 11694.206
AT ITER 1819 NEW BEST:: SOT 47112 SOS 15180 HAS SOPS 15180 HAS SOUS 11653 HAS SOUPS 11653 WITH SCORE 11668.18
AT ITER 1827 NEW BEST:: SOT 47105 SOS 15173 HAS SOPS 15173 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11661.173
AT ITER 1831 NEW BEST:: SOT 47100 SOS 15128 HAS SOPS 15128 HAS SOUS 11622 HAS SOUPS 11622 WITH SCORE 11637.128
AT ITER 1849 NEW BEST:: SOT 47076 SOS 15104 HAS SOPS 15104 HAS SOUS 11598 HAS SOUPS 11598 WITH SCORE 11613.104
AT ITER 1852 NEW BEST:: SOT 47055 SOS 15062 HAS SOPS 15062 HAS SOUS 11573 HAS SOUPS 11573 WITH SCORE 11588.062
AT ITER 1857 NEW BEST:: SOT 47048 SOS 15048 HAS SOPS 15048 HAS SOUS 11568 HAS SOUPS 11568 WITH SCORE 11583.048
AT ITER 1858 NEW BEST:: SOT 47040 SOS 15093 HAS SOPS 15093 HAS SOUS 11540 HAS SOUPS 11540 WITH SCORE 11555.093
AT ITER 1865 NEW BEST:: SOT 47037 SOS 15087 HAS SOPS 15087 HAS SOUS 11534 HAS SOUPS 11534 WITH SCORE 11549.087
AT ITER 1912 NEW BEST:: SOT 47002 SOS 15050 HAS SOPS 15050 HAS SOUS 11497 HAS SOUPS 11497 WITH SCORE 11512.05
AT ITER 1918 NEW BEST:: SOT 47006 SOS 15049 HAS SOPS 15049 HAS SOUS 11496 HAS SOUPS 11496 WITH SCORE 11511.049
AT ITER 1936 NEW BEST:: SOT 46998 SOS 15037 HAS SOPS 15037 HAS SOUS 11488 HAS SOUPS 11488 WITH SCORE 11503.037
AT ITER 1943 NEW BEST:: SOT 46919 SOS 15145 HAS SOPS 15145 HAS SOUS 11409 HAS SOUPS 11409 WITH SCORE 11424.145
AT ITER 1981 NEW BEST:: SOT 46916 SOS 15119 HAS SOPS 15119 HAS SOUS 11394 HAS SOUPS 11394 WITH SCORE 11409.119
AT ITER 1993 NEW BEST:: SOT 46900 SOS 15103 HAS SOPS 15103 HAS SOUS 11386 HAS SOUPS 11386 WITH SCORE 11401.103
AT ITER 2001 NEW BEST:: SOT 46898 SOS 15101 HAS SOPS 15101 HAS SOUS 11384 HAS SOUPS 11384 WITH SCORE 11399.101
AT ITER 2006 NEW BEST:: SOT 46898 SOS 15089 HAS SOPS 15089 HAS SOUS 11372 HAS SOUPS 11372 WITH SCORE 11387.089
AT ITER 2011 NEW BEST:: SOT 46894 SOS 15085 HAS SOPS 15085 HAS SOUS 11372 HAS SOUPS 11372 WITH SCORE 11387.085
AT ITER 2043 NEW BEST:: SOT 46891 SOS 15079 HAS SOPS 15079 HAS SOUS 11369 HAS SOUPS 11369 WITH SCORE 11384.079
AT ITER 2050 NEW BEST:: SOT 46884 SOS 15072 HAS SOPS 15072 HAS SOUS 11362 HAS SOUPS 11362 WITH SCORE 11377.072
AT ITER 2095 NEW BEST:: SOT 46884 SOS 15051 HAS SOPS 15051 HAS SOUS 11362 HAS SOUPS 11362 WITH SCORE 11377.051
AT ITER 2107 NEW BEST:: SOT 46872 SOS 15036 HAS SOPS 15036 HAS SOUS 11347 HAS SOUPS 11347 WITH SCORE 11362.036
AT ITER 2125 NEW BEST:: SOT 46880 SOS 15048 HAS SOPS 15048 HAS SOUS 11342 HAS SOUPS 11342 WITH SCORE 11357.048
AT ITER 2134 NEW BEST:: SOT 46880 SOS 15032 HAS SOPS 15032 HAS SOUS 11338 HAS SOUPS 11338 WITH SCORE 11353.032
AT ITER 2174 NEW BEST:: SOT 46870 SOS 15013 HAS SOPS 15013 HAS SOUS 11321 HAS SOUPS 11321 WITH SCORE 11336.013
AT ITER 2183 NEW BEST:: SOT 46885 SOS 15012 HAS SOPS 15012 HAS SOUS 11320 HAS SOUPS 11320 WITH SCORE 11335.012
AT ITER 2192 NEW BEST:: SOT 46890 SOS 15006 HAS SOPS 15006 HAS SOUS 11314 HAS SOUPS 11314 WITH SCORE 11329.006
AT ITER 2200 NEW BEST:: SOT 46890 SOS 15005 HAS SOPS 15005 HAS SOUS 11313 HAS SOUPS 11313 WITH SCORE 11328.005
AT ITER 2204 NEW BEST:: SOT 46903 SOS 15003 HAS SOPS 15003 HAS SOUS 11311 HAS SOUPS 11311 WITH SCORE 11326.003
AT ITER 2205 NEW BEST:: SOT 46922 SOS 14971 HAS SOPS 14971 HAS SOUS 11279 HAS SOUPS 11279 WITH SCORE 11293.971
AT ITER 2211 NEW BEST:: SOT 46917 SOS 14948 HAS SOPS 14948 HAS SOUS 11256 HAS SOUPS 11256 WITH SCORE 11270.948
AT ITER 2248 NEW BEST:: SOT 46876 SOS 14873 HAS SOPS 14873 HAS SOUS 11181 HAS SOUPS 11181 WITH SCORE 11195.873
AT ITER 2250 NEW BEST:: SOT 46823 SOS 14785 HAS SOPS 14785 HAS SOUS 11129 HAS SOUPS 11129 WITH SCORE 11143.785
AT ITER 2277 NEW BEST:: SOT 46824 SOS 14772 HAS SOPS 14772 HAS SOUS 11116 HAS SOUPS 11116 WITH SCORE 11130.772
AT ITER 2325 NEW BEST:: SOT 46824 SOS 14708 HAS SOPS 14708 HAS SOUS 11052 HAS SOUPS 11052 WITH SCORE 11066.708
AT ITER 2327 NEW BEST:: SOT 46812 SOS 14686 HAS SOPS 14686 HAS SOUS 11043 HAS SOUPS 11043 WITH SCORE 11057.686
AT ITER 2346 NEW BEST:: SOT 46790 SOS 14756 HAS SOPS 14756 HAS SOUS 11016 HAS SOUPS 11016 WITH SCORE 11030.756
AT ITER 2347 NEW BEST:: SOT 46798 SOS 14717 HAS SOPS 14717 HAS SOUS 10977 HAS SOUPS 10977 WITH SCORE 10991.717
AT ITER 2354 NEW BEST:: SOT 46838 SOS 14662 HAS SOPS 14662 HAS SOUS 10975 HAS SOUPS 10975 WITH SCORE 10989.662
AT ITER 2380 NEW BEST:: SOT 46825 SOS 14623 HAS SOPS 14623 HAS SOUS 10936 HAS SOUPS 10936 WITH SCORE 10950.623
AT ITER 2382 NEW BEST:: SOT 46822 SOS 14596 HAS SOPS 14596 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10947.596
AT ITER 2397 NEW BEST:: SOT 46809 SOS 14570 HAS SOPS 14570 HAS SOUS 10907 HAS SOUPS 10907 WITH SCORE 10921.57
AT ITER 2460 NEW BEST:: SOT 46798 SOS 14536 HAS SOPS 14536 HAS SOUS 10873 HAS SOUPS 10873 WITH SCORE 10887.536
AT ITER 2489 NEW BEST:: SOT 46798 SOS 14533 HAS SOPS 14533 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10884.533
AT ITER 2492 NEW BEST:: SOT 46798 SOS 14526 HAS SOPS 14526 HAS SOUS 10863 HAS SOUPS 10863 WITH SCORE 10877.526
AT ITER 2497 NEW BEST:: SOT 46772 SOS 14523 HAS SOPS 14523 HAS SOUS 10860 HAS SOUPS 10860 WITH SCORE 10874.523
AT ITER 2515 NEW BEST:: SOT 46772 SOS 14522 HAS SOPS 14522 HAS SOUS 10859 HAS SOUPS 10859 WITH SCORE 10873.522
AT ITER 2568 NEW BEST:: SOT 46787 SOS 14519 HAS SOPS 14519 HAS SOUS 10856 HAS SOUPS 10856 WITH SCORE 10870.519
AT ITER 2572 NEW BEST:: SOT 46785 SOS 14514 HAS SOPS 14514 HAS SOUS 10851 HAS SOUPS 10851 WITH SCORE 10865.514
AT ITER 2615 NEW BEST:: SOT 46785 SOS 14514 HAS SOPS 14514 HAS SOUS 10846 HAS SOUPS 10846 WITH SCORE 10860.514
AT ITER 2619 NEW BEST:: SOT 46781 SOS 14490 HAS SOPS 14490 HAS SOUS 10822 HAS SOUPS 10822 WITH SCORE 10836.49
AT ITER 2627 NEW BEST:: SOT 46795 SOS 14504 HAS SOPS 14504 HAS SOUS 10815 HAS SOUPS 10815 WITH SCORE 10829.504
AT ITER 2633 NEW BEST:: SOT 46761 SOS 14484 HAS SOPS 14484 HAS SOUS 10772 HAS SOUPS 10772 WITH SCORE 10786.484
AT ITER 2658 NEW BEST:: SOT 46753 SOS 14469 HAS SOPS 14469 HAS SOUS 10757 HAS SOUPS 10757 WITH SCORE 10771.469
AT ITER 2661 NEW BEST:: SOT 46749 SOS 14464 HAS SOPS 14464 HAS SOUS 10754 HAS SOUPS 10754 WITH SCORE 10768.464
AT ITER 2689 NEW BEST:: SOT 46747 SOS 14454 HAS SOPS 14454 HAS SOUS 10744 HAS SOUPS 10744 WITH SCORE 10758.454
AT ITER 2695 NEW BEST:: SOT 46735 SOS 14438 HAS SOPS 14438 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10754.438
AT ITER 2734 NEW BEST:: SOT 46734 SOS 14428 HAS SOPS 14428 HAS SOUS 10733 HAS SOUPS 10733 WITH SCORE 10747.428
AT ITER 2814 NEW BEST:: SOT 46710 SOS 14393 HAS SOPS 14393 HAS SOUS 10698 HAS SOUPS 10698 WITH SCORE 10712.393
AT ITER 2916 NEW BEST:: SOT 46700 SOS 14372 HAS SOPS 14372 HAS SOUS 10693 HAS SOUPS 10693 WITH SCORE 10707.372
AT ITER 2922 NEW BEST:: SOT 46696 SOS 14364 HAS SOPS 14364 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10699.364
AT ITER 2926 NEW BEST:: SOT 46695 SOS 14363 HAS SOPS 14363 HAS SOUS 10684 HAS SOUPS 10684 WITH SCORE 10698.363
AT ITER 2937 NEW BEST:: SOT 46695 SOS 14357 HAS SOPS 14357 HAS SOUS 10684 HAS SOUPS 10684 WITH SCORE 10698.357
AT ITER 2940 NEW BEST:: SOT 46700 SOS 14400 HAS SOPS 14400 HAS SOUS 10670 HAS SOUPS 10670 WITH SCORE 10684.4
AT ITER 2947 NEW BEST:: SOT 46680 SOS 14388 HAS SOPS 14388 HAS SOUS 10670 HAS SOUPS 10670 WITH SCORE 10684.388
AT ITER 2956 NEW BEST:: SOT 46623 SOS 14331 HAS SOPS 14331 HAS SOUS 10658 HAS SOUPS 10658 WITH SCORE 10672.331
AT ITER 2957 NEW BEST:: SOT 46622 SOS 14326 HAS SOPS 14326 HAS SOUS 10657 HAS SOUPS 10657 WITH SCORE 10671.326
AT ITER 2962 NEW BEST:: SOT 46609 SOS 14316 HAS SOPS 14316 HAS SOUS 10647 HAS SOUPS 10647 WITH SCORE 10661.316
AT ITER 2991 NEW BEST:: SOT 46609 SOS 14312 HAS SOPS 14312 HAS SOUS 10647 HAS SOUPS 10647 WITH SCORE 10661.312
AT ITER 2999 NEW BEST:: SOT 46601 SOS 14283 HAS SOPS 14283 HAS SOUS 10626 HAS SOUPS 10626 WITH SCORE 10640.283
AT ITER 3003 NEW BEST:: SOT 46601 SOS 14282 HAS SOPS 14282 HAS SOUS 10624 HAS SOUPS 10624 WITH SCORE 10638.282
AT ITER 3116 NEW BEST:: SOT 46590 SOS 14227 HAS SOPS 14227 HAS SOUS 10602 HAS SOUPS 10602 WITH SCORE 10616.227
AT ITER 3122 NEW BEST:: SOT 46588 SOS 14223 HAS SOPS 14223 HAS SOUS 10598 HAS SOUPS 10598 WITH SCORE 10612.223
AT ITER 3133 NEW BEST:: SOT 46485 SOS 14130 HAS SOPS 14130 HAS SOUS 10596 HAS SOUPS 10596 WITH SCORE 10610.13
AT ITER 3161 NEW BEST:: SOT 46485 SOS 14126 HAS SOPS 14126 HAS SOUS 10592 HAS SOUPS 10592 WITH SCORE 10606.126
AT ITER 3253 NEW BEST:: SOT 46485 SOS 14116 HAS SOPS 14116 HAS SOUS 10582 HAS SOUPS 10582 WITH SCORE 10596.116
AT ITER 3286 NEW BEST:: SOT 46483 SOS 14112 HAS SOPS 14112 HAS SOUS 10578 HAS SOUPS 10578 WITH SCORE 10592.112
AT ITER 3295 NEW BEST:: SOT 46484 SOS 14114 HAS SOPS 14114 HAS SOUS 10562 HAS SOUPS 10562 WITH SCORE 10576.114
AT ITER 3297 NEW BEST:: SOT 46462 SOS 14078 HAS SOPS 14078 HAS SOUS 10520 HAS SOUPS 10520 WITH SCORE 10534.078
AT ITER 3300 NEW BEST:: SOT 46441 SOS 14092 HAS SOPS 14092 HAS SOUS 10492 HAS SOUPS 10492 WITH SCORE 10506.092
AT ITER 3308 NEW BEST:: SOT 46439 SOS 14090 HAS SOPS 14090 HAS SOUS 10490 HAS SOUPS 10490 WITH SCORE 10504.09
AT ITER 3323 NEW BEST:: SOT 46439 SOS 14089 HAS SOPS 14089 HAS SOUS 10489 HAS SOUPS 10489 WITH SCORE 10503.089
AT ITER 3378 NEW BEST:: SOT 46437 SOS 14083 HAS SOPS 14083 HAS SOUS 10483 HAS SOUPS 10483 WITH SCORE 10497.083
AT ITER 3386 NEW BEST:: SOT 46437 SOS 14081 HAS SOPS 14081 HAS SOUS 10481 HAS SOUPS 10481 WITH SCORE 10495.081
AT ITER 3438 NEW BEST:: SOT 46431 SOS 14063 HAS SOPS 14063 HAS SOUS 10469 HAS SOUPS 10469 WITH SCORE 10483.063
AT ITER 3442 NEW BEST:: SOT 46427 SOS 14044 HAS SOPS 14044 HAS SOUS 10465 HAS SOUPS 10465 WITH SCORE 10479.044
AT ITER 3473 NEW BEST:: SOT 46423 SOS 14048 HAS SOPS 14048 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10474.048
AT ITER 3509 NEW BEST:: SOT 46418 SOS 14043 HAS SOPS 14043 HAS SOUS 10455 HAS SOUPS 10455 WITH SCORE 10469.043
AT ITER 3512 NEW BEST:: SOT 46397 SOS 14209 HAS SOPS 14209 HAS SOUS 10442 HAS SOUPS 10442 WITH SCORE 10456.209
AT ITER 3515 NEW BEST:: SOT 46376 SOS 14166 HAS SOPS 14166 HAS SOUS 10399 HAS SOUPS 10399 WITH SCORE 10413.166
AT ITER 3518 NEW BEST:: SOT 46376 SOS 14163 HAS SOPS 14163 HAS SOUS 10396 HAS SOUPS 10396 WITH SCORE 10410.163
AT ITER 3519 NEW BEST:: SOT 46344 SOS 14131 HAS SOPS 14131 HAS SOUS 10364 HAS SOUPS 10364 WITH SCORE 10378.131
AT ITER 3521 NEW BEST:: SOT 46337 SOS 14124 HAS SOPS 14124 HAS SOUS 10329 HAS SOUPS 10329 WITH SCORE 10343.124
AT ITER 3550 NEW BEST:: SOT 46328 SOS 14115 HAS SOPS 14115 HAS SOUS 10320 HAS SOUPS 10320 WITH SCORE 10334.115
AT ITER 3563 NEW BEST:: SOT 46322 SOS 14109 HAS SOPS 14109 HAS SOUS 10314 HAS SOUPS 10314 WITH SCORE 10328.109
AT ITER 3569 NEW BEST:: SOT 46322 SOS 14104 HAS SOPS 14104 HAS SOUS 10309 HAS SOUPS 10309 WITH SCORE 10323.104
AT ITER 3574 NEW BEST:: SOT 46347 SOS 14102 HAS SOPS 14102 HAS SOUS 10307 HAS SOUPS 10307 WITH SCORE 10321.102
AT ITER 3577 NEW BEST:: SOT 46343 SOS 14086 HAS SOPS 14086 HAS SOUS 10303 HAS SOUPS 10303 WITH SCORE 10317.086
AT ITER 3592 NEW BEST:: SOT 46364 SOS 14079 HAS SOPS 14079 HAS SOUS 10296 HAS SOUPS 10296 WITH SCORE 10310.079
AT ITER 3595 NEW BEST:: SOT 46347 SOS 14045 HAS SOPS 14045 HAS SOUS 10262 HAS SOUPS 10262 WITH SCORE 10276.045
AT ITER 3606 NEW BEST:: SOT 46304 SOS 14006 HAS SOPS 14006 HAS SOUS 10255 HAS SOUPS 10255 WITH SCORE 10269.006
AT ITER 3665 NEW BEST:: SOT 46304 SOS 13990 HAS SOPS 13990 HAS SOUS 10239 HAS SOUPS 10239 WITH SCORE 10252.99
AT ITER 3745 NEW BEST:: SOT 46319 SOS 13964 HAS SOPS 13964 HAS SOUS 10211 HAS SOUPS 10211 WITH SCORE 10224.964
AT ITER 3758 NEW BEST:: SOT 46296 SOS 14019 HAS SOPS 14019 HAS SOUS 10205 HAS SOUPS 10205 WITH SCORE 10219.019
AT ITER 3763 NEW BEST:: SOT 46291 SOS 14014 HAS SOPS 14014 HAS SOUS 10200 HAS SOUPS 10200 WITH SCORE 10214.014
AT ITER 3806 NEW BEST:: SOT 46286 SOS 14004 HAS SOPS 14004 HAS SOUS 10190 HAS SOUPS 10190 WITH SCORE 10204.004
AT ITER 3820 NEW BEST:: SOT 46283 SOS 13992 HAS SOPS 13992 HAS SOUS 10178 HAS SOUPS 10178 WITH SCORE 10191.992
AT ITER 3829 NEW BEST:: SOT 46250 SOS 13964 HAS SOPS 13964 HAS SOUS 10169 HAS SOUPS 10169 WITH SCORE 10182.964
AT ITER 3880 NEW BEST:: SOT 46245 SOS 13959 HAS SOPS 13959 HAS SOUS 10164 HAS SOUPS 10164 WITH SCORE 10177.959
AT ITER 3897 NEW BEST:: SOT 46244 SOS 13958 HAS SOPS 13958 HAS SOUS 10163 HAS SOUPS 10163 WITH SCORE 10176.958
AT ITER 3964 NEW BEST:: SOT 46238 SOS 13952 HAS SOPS 13952 HAS SOUS 10157 HAS SOUPS 10157 WITH SCORE 10170.952
AT ITER 3965 NEW BEST:: SOT 46231 SOS 13938 HAS SOPS 13938 HAS SOUS 10143 HAS SOUPS 10143 WITH SCORE 10156.938
AT ITER 3994 NEW BEST:: SOT 46224 SOS 13908 HAS SOPS 13908 HAS SOUS 10130 HAS SOUPS 10130 WITH SCORE 10143.908
AT ITER 4003 NEW BEST:: SOT 46224 SOS 13905 HAS SOPS 13905 HAS SOUS 10121 HAS SOUPS 10121 WITH SCORE 10134.905
AT ITER 4005 NEW BEST:: SOT 46209 SOS 13890 HAS SOPS 13890 HAS SOUS 10116 HAS SOUPS 10116 WITH SCORE 10129.89
AT ITER 4053 NEW BEST:: SOT 46199 SOS 13886 HAS SOPS 13886 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10125.886
AT ITER 4055 NEW BEST:: SOT 46196 SOS 13883 HAS SOPS 13883 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10122.883
AT ITER 4064 NEW BEST:: SOT 46186 SOS 13847 HAS SOPS 13847 HAS SOUS 10089 HAS SOUPS 10089 WITH SCORE 10102.847
AT ITER 4084 NEW BEST:: SOT 46186 SOS 13843 HAS SOPS 13843 HAS SOUS 10085 HAS SOUPS 10085 WITH SCORE 10098.843
AT ITER 4099 NEW BEST:: SOT 46116 SOS 13793 HAS SOPS 13793 HAS SOUS 10060 HAS SOUPS 10060 WITH SCORE 10073.793
AT ITER 4107 NEW BEST:: SOT 46116 SOS 13790 HAS SOPS 13790 HAS SOUS 10057 HAS SOUPS 10057 WITH SCORE 10070.79
AT ITER 4126 NEW BEST:: SOT 46094 SOS 13755 HAS SOPS 13755 HAS SOUS 9987 HAS SOUPS 9987 WITH SCORE 10000.755
AT ITER 4149 NEW BEST:: SOT 46090 SOS 13751 HAS SOPS 13751 HAS SOUS 9983 HAS SOUPS 9983 WITH SCORE 9996.751
AT ITER 4161 NEW BEST:: SOT 46088 SOS 13749 HAS SOPS 13749 HAS SOUS 9981 HAS SOUPS 9981 WITH SCORE 9994.749
AT ITER 4163 NEW BEST:: SOT 46086 SOS 13747 HAS SOPS 13747 HAS SOUS 9979 HAS SOUPS 9979 WITH SCORE 9992.747
AT ITER 4202 NEW BEST:: SOT 46088 SOS 13745 HAS SOPS 13745 HAS SOUS 9977 HAS SOUPS 9977 WITH SCORE 9990.745
AT ITER 4252 NEW BEST:: SOT 46082 SOS 13739 HAS SOPS 13739 HAS SOUS 9977 HAS SOUPS 9977 WITH SCORE 9990.739
AT ITER 4255 NEW BEST:: SOT 46081 SOS 13738 HAS SOPS 13738 HAS SOUS 9976 HAS SOUPS 9976 WITH SCORE 9989.738
AT ITER 4273 NEW BEST:: SOT 46080 SOS 13737 HAS SOPS 13737 HAS SOUS 9975 HAS SOUPS 9975 WITH SCORE 9988.737
AT ITER 4298 NEW BEST:: SOT 46074 SOS 13725 HAS SOPS 13725 HAS SOUS 9969 HAS SOUPS 9969 WITH SCORE 9982.725
AT ITER 4310 NEW BEST:: SOT 46074 SOS 13742 HAS SOPS 13742 HAS SOUS 9946 HAS SOUPS 9946 WITH SCORE 9959.742
AT ITER 4311 NEW BEST:: SOT 46067 SOS 13728 HAS SOPS 13728 HAS SOUS 9939 HAS SOUPS 9939 WITH SCORE 9952.728
AT ITER 4320 NEW BEST:: SOT 46041 SOS 13694 HAS SOPS 13694 HAS SOUS 9909 HAS SOUPS 9909 WITH SCORE 9922.694
AT ITER 4378 NEW BEST:: SOT 46001 SOS 13654 HAS SOPS 13654 HAS SOUS 9893 HAS SOUPS 9893 WITH SCORE 9906.654
AT ITER 4391 NEW BEST:: SOT 45923 SOS 13981 HAS SOPS 13981 HAS SOUS 9847 HAS SOUPS 9847 WITH SCORE 9860.981
AT ITER 4402 NEW BEST:: SOT 45912 SOS 13970 HAS SOPS 13970 HAS SOUS 9847 HAS SOUPS 9847 WITH SCORE 9860.97
AT ITER 4462 NEW BEST:: SOT 45914 SOS 13972 HAS SOPS 13972 HAS SOUS 9845 HAS SOUPS 9845 WITH SCORE 9858.972
AT ITER 4463 NEW BEST:: SOT 45911 SOS 13955 HAS SOPS 13955 HAS SOUS 9836 HAS SOUPS 9836 WITH SCORE 9849.955
AT ITER 4491 NEW BEST:: SOT 45911 SOS 13949 HAS SOPS 13949 HAS SOUS 9830 HAS SOUPS 9830 WITH SCORE 9843.949
AT ITER 4577 NEW BEST:: SOT 45906 SOS 13944 HAS SOPS 13944 HAS SOUS 9830 HAS SOUPS 9830 WITH SCORE 9843.944
AT ITER 4625 NEW BEST:: SOT 45906 SOS 13941 HAS SOPS 13941 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9840.941
AT ITER 4642 NEW BEST:: SOT 45903 SOS 13934 HAS SOPS 13934 HAS SOUS 9820 HAS SOUPS 9820 WITH SCORE 9833.934
AT ITER 4680 NEW BEST:: SOT 45898 SOS 13925 HAS SOPS 13925 HAS SOUS 9811 HAS SOUPS 9811 WITH SCORE 9824.925
AT ITER 4687 NEW BEST:: SOT 45890 SOS 14029 HAS SOPS 14029 HAS SOUS 9810 HAS SOUPS 9810 WITH SCORE 9824.029
AT ITER 4692 NEW BEST:: SOT 45889 SOS 14028 HAS SOPS 14028 HAS SOUS 9808 HAS SOUPS 9808 WITH SCORE 9822.028
AT ITER 4698 NEW BEST:: SOT 45879 SOS 14018 HAS SOPS 14018 HAS SOUS 9808 HAS SOUPS 9808 WITH SCORE 9822.018
AT ITER 4731 NEW BEST:: SOT 45879 SOS 14018 HAS SOPS 14018 HAS SOUS 9804 HAS SOUPS 9804 WITH SCORE 9818.018
AT ITER 4788 NEW BEST:: SOT 45878 SOS 14017 HAS SOPS 14017 HAS SOUS 9803 HAS SOUPS 9803 WITH SCORE 9817.017
AT ITER 4830 NEW BEST:: SOT 45863 SOS 13987 HAS SOPS 13987 HAS SOUS 9786 HAS SOUPS 9786 WITH SCORE 9799.987
AT ITER 4832 NEW BEST:: SOT 45828 SOS 13894 HAS SOPS 13894 HAS SOUS 9693 HAS SOUPS 9693 WITH SCORE 9706.894
AT ITER 4866 NEW BEST:: SOT 45799 SOS 13854 HAS SOPS 13854 HAS SOUS 9665 HAS SOUPS 9665 WITH SCORE 9678.854
AT ITER 4884 NEW BEST:: SOT 45763 SOS 13834 HAS SOPS 13834 HAS SOUS 9655 HAS SOUPS 9655 WITH SCORE 9668.834
AT ITER 4927 NEW BEST:: SOT 45763 SOS 13834 HAS SOPS 13834 HAS SOUS 9638 HAS SOUPS 9638 WITH SCORE 9651.834
AT ITER 4936 NEW BEST:: SOT 45761 SOS 13791 HAS SOPS 13791 HAS SOUS 9595 HAS SOUPS 9595 WITH SCORE 9608.791
AT ITER 4985 NEW BEST:: SOT 45761 SOS 13791 HAS SOPS 13791 HAS SOUS 9579 HAS SOUPS 9579 WITH SCORE 9592.791
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-00 ( (EF((EG( potential( ( 2 ) <= (tk(P199)) ))))) & (! potential( ( 1 ) <= (tk(P287)) )) )
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-01 (! (AG( (AF(potential( (tk(P88)) <= (tk(P177)) ))))))
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-02 (EX( ( ( ( potential( (tk(P55)) <= (tk(P171)) ) & potential( ( 2 ) <= (tk(P95)) ) ) & ( potential( ( 2 ) <= (tk(P28)) ) & potential( ( 2 ) <= (tk(P176)) ) ) ) | (AG( potential( (tk(P25)) <= (tk(P272)) ))) )))
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-03 (EF((AF(potential( ( 1 ) <= (tk(P283)) )))))
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-04 (AG( ( (AX( potential( (tk(P60)) <= (tk(P127)) ))) | ( ( potential( ( 3 ) <= (tk(P149)) ) | potential( ( 2 ) <= (tk(P254)) ) ) & potential( ( 1 ) <= (tk(P149)) ) ) )))
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-05 ( (! (! (EF(potential( ( 3 ) <= (tk(P7)) ))))) & (EF((EG( potential( (tk(P152)) <= (tk(P18)) ))))) )
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-06 (AG( (! (EG( potential( ( 1 ) <= (tk(P193)) ))))))
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-07 (EF((EG( (! potential( (tk(P137)) <= (tk(P93)) ))))))
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-08 (EX( ( (EF(potential( ( 3 ) <= (tk(P179)) ))) & (EF(potential( (tk(P275)) <= (tk(P89)) ))) )))
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-09 (AX( (AG( ( potential( ( 2 ) <= (tk(P205)) ) | potential( (tk(P79)) <= (tk(P42)) ) )))))
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-10 ( (EG( (AG( potential( ( 2 ) <= (tk(P157)) ))))) | (AG( (AG( potential( (tk(P79)) <= (tk(P198)) ))))) )
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-11 (EU( ( (! potential( ( 3 ) <= (tk(P129)) )) | potential( ( 1 ) <= (tk(P191)) ) ),(AF(potential( ( 2 ) <= (tk(P124)) ))) ))
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-12 (EF((AX( potential( ( 2 ) <= (tk(P25)) )))))
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-13 (EF((! potential( (tk(P246)) <= (tk(P18)) ))))
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-14 (! (! (EU( potential( (tk(P232)) <= (tk(P70)) ),potential( ( 3 ) <= (tk(P52)) ) ))))
PROPERTY: BusinessProcesses-PT-04-CTLCardinality-15 (EU( (EF(potential( (tk(P100)) <= (tk(P202)) ))),( potential( (tk(P271)) <= (tk(P235)) ) & potential( ( 3 ) <= (tk(P128)) ) ) ))

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-04"
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 BusinessProcesses-PT-04, 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 r018-oct2-158897680000475"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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