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

About the Execution of smart for SmartHome-PT-14

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15767.810 3600000.00 3586029.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.r224-oct2-159033538300112.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 SmartHome-PT-14, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538300112
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 272K
-rw-r--r-- 1 mcc users 3.8K May 14 03:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 03:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 21:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 21:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.2K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 10:21 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 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 101K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1590469779016

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 14
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 422 places, 448 transitions, 1026 arcs.
AT ITER 0 NEW BEST:: SOT 111766 SOS 25867 HAS SOPS 25867 HAS SOUS 25198 HAS SOUPS 25198 WITH SCORE 25223.867
AT ITER 7 NEW BEST:: SOT 111829 SOS 25993 HAS SOPS 25993 HAS SOUS 25194 HAS SOUPS 25194 WITH SCORE 25219.993
AT ITER 8 NEW BEST:: SOT 111829 SOS 25943 HAS SOPS 25943 HAS SOUS 25181 HAS SOUPS 25181 WITH SCORE 25206.943
AT ITER 14 NEW BEST:: SOT 111778 SOS 25892 HAS SOPS 25892 HAS SOUS 25130 HAS SOUPS 25130 WITH SCORE 25155.892
AT ITER 15 NEW BEST:: SOT 111778 SOS 25876 HAS SOPS 25876 HAS SOUS 25129 HAS SOUPS 25129 WITH SCORE 25154.876
AT ITER 26 NEW BEST:: SOT 111783 SOS 25864 HAS SOPS 25864 HAS SOUS 25117 HAS SOUPS 25117 WITH SCORE 25142.864
AT ITER 28 NEW BEST:: SOT 111773 SOS 25854 HAS SOPS 25854 HAS SOUS 25107 HAS SOUPS 25107 WITH SCORE 25132.854
AT ITER 65 NEW BEST:: SOT 111808 SOS 25852 HAS SOPS 25852 HAS SOUS 25105 HAS SOUPS 25105 WITH SCORE 25130.852
AT ITER 85 NEW BEST:: SOT 111808 SOS 25797 HAS SOPS 25797 HAS SOUS 25068 HAS SOUPS 25068 WITH SCORE 25093.797
AT ITER 87 NEW BEST:: SOT 111544 SOS 27526 HAS SOPS 27526 HAS SOUS 25023 HAS SOUPS 25023 WITH SCORE 25050.526
AT ITER 98 NEW BEST:: SOT 111542 SOS 27522 HAS SOPS 27522 HAS SOUS 25019 HAS SOUPS 25019 WITH SCORE 25046.522
AT ITER 100 NEW BEST:: SOT 111526 SOS 27490 HAS SOPS 27490 HAS SOUS 24987 HAS SOUPS 24987 WITH SCORE 25014.49
AT ITER 102 NEW BEST:: SOT 111430 SOS 27361 HAS SOPS 27361 HAS SOUS 24853 HAS SOUPS 24853 WITH SCORE 24880.361
AT ITER 104 NEW BEST:: SOT 110840 SOS 30062 HAS SOPS 30062 HAS SOUS 24793 HAS SOUPS 24793 WITH SCORE 24823.062
AT ITER 113 NEW BEST:: SOT 110839 SOS 30061 HAS SOPS 30061 HAS SOUS 24792 HAS SOUPS 24792 WITH SCORE 24822.061
AT ITER 119 NEW BEST:: SOT 110376 SOS 32251 HAS SOPS 32251 HAS SOUS 24630 HAS SOUPS 24630 WITH SCORE 24662.251
AT ITER 128 NEW BEST:: SOT 110258 SOS 32041 HAS SOPS 32041 HAS SOUS 24473 HAS SOUPS 24473 WITH SCORE 24505.041
AT ITER 147 NEW BEST:: SOT 110156 SOS 31939 HAS SOPS 31939 HAS SOUS 24375 HAS SOUPS 24375 WITH SCORE 24406.939
AT ITER 169 NEW BEST:: SOT 110154 SOS 31866 HAS SOPS 31866 HAS SOUS 24324 HAS SOUPS 24324 WITH SCORE 24355.866
AT ITER 173 NEW BEST:: SOT 110021 SOS 31600 HAS SOPS 31600 HAS SOUS 24123 HAS SOUPS 24123 WITH SCORE 24154.6
AT ITER 177 NEW BEST:: SOT 110016 SOS 31590 HAS SOPS 31590 HAS SOUS 24113 HAS SOUPS 24113 WITH SCORE 24144.59
AT ITER 181 NEW BEST:: SOT 110039 SOS 31636 HAS SOPS 31636 HAS SOUS 24107 HAS SOUPS 24107 WITH SCORE 24138.636
AT ITER 184 NEW BEST:: SOT 109984 SOS 31581 HAS SOPS 31581 HAS SOUS 24107 HAS SOUPS 24107 WITH SCORE 24138.581
AT ITER 195 NEW BEST:: SOT 109812 SOS 31404 HAS SOPS 31404 HAS SOUS 23965 HAS SOUPS 23965 WITH SCORE 23996.404
AT ITER 206 NEW BEST:: SOT 109772 SOS 31387 HAS SOPS 31387 HAS SOUS 23938 HAS SOUPS 23938 WITH SCORE 23969.387
AT ITER 212 NEW BEST:: SOT 109739 SOS 31354 HAS SOPS 31354 HAS SOUS 23938 HAS SOUPS 23938 WITH SCORE 23969.354
AT ITER 215 NEW BEST:: SOT 109675 SOS 31226 HAS SOPS 31226 HAS SOUS 23874 HAS SOUPS 23874 WITH SCORE 23905.226
AT ITER 217 NEW BEST:: SOT 109675 SOS 31211 HAS SOPS 31211 HAS SOUS 23859 HAS SOUPS 23859 WITH SCORE 23890.211
AT ITER 232 NEW BEST:: SOT 109446 SOS 30820 HAS SOPS 30820 HAS SOUS 23566 HAS SOUPS 23566 WITH SCORE 23596.82
AT ITER 237 NEW BEST:: SOT 109113 SOS 30532 HAS SOPS 30532 HAS SOUS 23233 HAS SOUPS 23233 WITH SCORE 23263.532
AT ITER 251 NEW BEST:: SOT 109098 SOS 30502 HAS SOPS 30502 HAS SOUS 23203 HAS SOUPS 23203 WITH SCORE 23233.502
AT ITER 259 NEW BEST:: SOT 109098 SOS 30458 HAS SOPS 30458 HAS SOUS 23159 HAS SOUPS 23159 WITH SCORE 23189.458
AT ITER 266 NEW BEST:: SOT 109063 SOS 30416 HAS SOPS 30416 HAS SOUS 23124 HAS SOUPS 23124 WITH SCORE 23154.416
AT ITER 271 NEW BEST:: SOT 109006 SOS 30359 HAS SOPS 30359 HAS SOUS 23067 HAS SOUPS 23067 WITH SCORE 23097.359
AT ITER 288 NEW BEST:: SOT 109008 SOS 30310 HAS SOPS 30310 HAS SOUS 23018 HAS SOUPS 23018 WITH SCORE 23048.31
AT ITER 295 NEW BEST:: SOT 108941 SOS 30176 HAS SOPS 30176 HAS SOUS 22951 HAS SOUPS 22951 WITH SCORE 22981.176
AT ITER 311 NEW BEST:: SOT 108941 SOS 30139 HAS SOPS 30139 HAS SOUS 22914 HAS SOUPS 22914 WITH SCORE 22944.139
AT ITER 314 NEW BEST:: SOT 108938 SOS 28761 HAS SOPS 28761 HAS SOUS 22829 HAS SOUPS 22829 WITH SCORE 22857.761
AT ITER 315 NEW BEST:: SOT 108828 SOS 29035 HAS SOPS 29035 HAS SOUS 22760 HAS SOUPS 22760 WITH SCORE 22789.035
AT ITER 317 NEW BEST:: SOT 108787 SOS 28994 HAS SOPS 28994 HAS SOUS 22760 HAS SOUPS 22760 WITH SCORE 22788.994
AT ITER 322 NEW BEST:: SOT 108679 SOS 28778 HAS SOPS 28778 HAS SOUS 22544 HAS SOUPS 22544 WITH SCORE 22572.778
AT ITER 331 NEW BEST:: SOT 108580 SOS 28607 HAS SOPS 28607 HAS SOUS 22344 HAS SOUPS 22344 WITH SCORE 22372.607
AT ITER 357 NEW BEST:: SOT 108541 SOS 28529 HAS SOPS 28529 HAS SOUS 22266 HAS SOUPS 22266 WITH SCORE 22294.529
AT ITER 359 NEW BEST:: SOT 108541 SOS 28506 HAS SOPS 28506 HAS SOUS 22265 HAS SOUPS 22265 WITH SCORE 22293.506
AT ITER 377 NEW BEST:: SOT 108516 SOS 28456 HAS SOPS 28456 HAS SOUS 22186 HAS SOUPS 22186 WITH SCORE 22214.456
AT ITER 384 NEW BEST:: SOT 108524 SOS 28472 HAS SOPS 28472 HAS SOUS 22171 HAS SOUPS 22171 WITH SCORE 22199.472
AT ITER 398 NEW BEST:: SOT 108521 SOS 28523 HAS SOPS 28523 HAS SOUS 22168 HAS SOUPS 22168 WITH SCORE 22196.523
AT ITER 414 NEW BEST:: SOT 108439 SOS 28359 HAS SOPS 28359 HAS SOUS 22004 HAS SOUPS 22004 WITH SCORE 22032.359
AT ITER 417 NEW BEST:: SOT 108257 SOS 28205 HAS SOPS 28205 HAS SOUS 21836 HAS SOUPS 21836 WITH SCORE 21864.205
AT ITER 419 NEW BEST:: SOT 108305 SOS 26861 HAS SOPS 26861 HAS SOUS 21747 HAS SOUPS 21747 WITH SCORE 21773.861
AT ITER 420 NEW BEST:: SOT 108276 SOS 26803 HAS SOPS 26803 HAS SOUS 21732 HAS SOUPS 21732 WITH SCORE 21758.803
AT ITER 434 NEW BEST:: SOT 107478 SOS 26609 HAS SOPS 26609 HAS SOUS 20997 HAS SOUPS 20997 WITH SCORE 21023.609
AT ITER 483 NEW BEST:: SOT 107469 SOS 26600 HAS SOPS 26600 HAS SOUS 20978 HAS SOUPS 20978 WITH SCORE 21004.6
AT ITER 496 NEW BEST:: SOT 107466 SOS 26594 HAS SOPS 26594 HAS SOUS 20972 HAS SOUPS 20972 WITH SCORE 20998.594
AT ITER 506 NEW BEST:: SOT 107438 SOS 26538 HAS SOPS 26538 HAS SOUS 20916 HAS SOUPS 20916 WITH SCORE 20942.538
AT ITER 510 NEW BEST:: SOT 107436 SOS 26607 HAS SOPS 26607 HAS SOUS 20914 HAS SOUPS 20914 WITH SCORE 20940.607
AT ITER 513 NEW BEST:: SOT 107433 SOS 26505 HAS SOPS 26505 HAS SOUS 20866 HAS SOUPS 20866 WITH SCORE 20892.505
AT ITER 532 NEW BEST:: SOT 107415 SOS 26478 HAS SOPS 26478 HAS SOUS 20848 HAS SOUPS 20848 WITH SCORE 20874.478
AT ITER 540 NEW BEST:: SOT 107391 SOS 26442 HAS SOPS 26442 HAS SOUS 20812 HAS SOUPS 20812 WITH SCORE 20838.442
AT ITER 546 NEW BEST:: SOT 107398 SOS 26433 HAS SOPS 26433 HAS SOUS 20803 HAS SOUPS 20803 WITH SCORE 20829.433
AT ITER 547 NEW BEST:: SOT 107398 SOS 26433 HAS SOPS 26433 HAS SOUS 20781 HAS SOUPS 20781 WITH SCORE 20807.433
AT ITER 553 NEW BEST:: SOT 107356 SOS 26307 HAS SOPS 26307 HAS SOUS 20689 HAS SOUPS 20689 WITH SCORE 20715.307
AT ITER 570 NEW BEST:: SOT 107352 SOS 26303 HAS SOPS 26303 HAS SOUS 20685 HAS SOUPS 20685 WITH SCORE 20711.303
AT ITER 613 NEW BEST:: SOT 107352 SOS 26295 HAS SOPS 26295 HAS SOUS 20677 HAS SOUPS 20677 WITH SCORE 20703.295
AT ITER 616 NEW BEST:: SOT 107287 SOS 26230 HAS SOPS 26230 HAS SOUS 20612 HAS SOUPS 20612 WITH SCORE 20638.23
AT ITER 618 NEW BEST:: SOT 107287 SOS 26182 HAS SOPS 26182 HAS SOUS 20584 HAS SOUPS 20584 WITH SCORE 20610.182
AT ITER 623 NEW BEST:: SOT 107253 SOS 26148 HAS SOPS 26148 HAS SOUS 20550 HAS SOUPS 20550 WITH SCORE 20576.148
AT ITER 628 NEW BEST:: SOT 107253 SOS 26082 HAS SOPS 26082 HAS SOUS 20550 HAS SOUPS 20550 WITH SCORE 20576.082
AT ITER 632 NEW BEST:: SOT 107253 SOS 26082 HAS SOPS 26082 HAS SOUS 20549 HAS SOUPS 20549 WITH SCORE 20575.082
AT ITER 639 NEW BEST:: SOT 107234 SOS 26075 HAS SOPS 26075 HAS SOUS 20542 HAS SOUPS 20542 WITH SCORE 20568.075
AT ITER 677 NEW BEST:: SOT 107254 SOS 25806 HAS SOPS 25806 HAS SOUS 20533 HAS SOUPS 20533 WITH SCORE 20558.806
AT ITER 683 NEW BEST:: SOT 107327 SOS 24882 HAS SOPS 24882 HAS SOUS 20513 HAS SOUPS 20513 WITH SCORE 20537.882
AT ITER 689 NEW BEST:: SOT 107325 SOS 24879 HAS SOPS 24879 HAS SOUS 20511 HAS SOUPS 20511 WITH SCORE 20535.879
AT ITER 711 NEW BEST:: SOT 107295 SOS 24819 HAS SOPS 24819 HAS SOUS 20476 HAS SOUPS 20476 WITH SCORE 20500.819
AT ITER 722 NEW BEST:: SOT 107242 SOS 24855 HAS SOPS 24855 HAS SOUS 20461 HAS SOUPS 20461 WITH SCORE 20485.855
AT ITER 729 NEW BEST:: SOT 107241 SOS 24853 HAS SOPS 24853 HAS SOUS 20459 HAS SOUPS 20459 WITH SCORE 20483.853
AT ITER 730 NEW BEST:: SOT 107194 SOS 24834 HAS SOPS 24834 HAS SOUS 20440 HAS SOUPS 20440 WITH SCORE 20464.834
AT ITER 738 NEW BEST:: SOT 107096 SOS 24699 HAS SOPS 24699 HAS SOUS 20379 HAS SOUPS 20379 WITH SCORE 20403.699
AT ITER 748 NEW BEST:: SOT 107046 SOS 24599 HAS SOPS 24599 HAS SOUS 20342 HAS SOUPS 20342 WITH SCORE 20366.599
AT ITER 751 NEW BEST:: SOT 106121 SOS 27353 HAS SOPS 27353 HAS SOUS 19865 HAS SOUPS 19865 WITH SCORE 19892.353
AT ITER 755 NEW BEST:: SOT 106091 SOS 27323 HAS SOPS 27323 HAS SOUS 19805 HAS SOUPS 19805 WITH SCORE 19832.323
AT ITER 775 NEW BEST:: SOT 106091 SOS 27314 HAS SOPS 27314 HAS SOUS 19801 HAS SOUPS 19801 WITH SCORE 19828.314
AT ITER 781 NEW BEST:: SOT 106090 SOS 27313 HAS SOPS 27313 HAS SOUS 19801 HAS SOUPS 19801 WITH SCORE 19828.313
AT ITER 782 NEW BEST:: SOT 105992 SOS 27117 HAS SOPS 27117 HAS SOUS 19773 HAS SOUPS 19773 WITH SCORE 19800.117
AT ITER 785 NEW BEST:: SOT 105967 SOS 27096 HAS SOPS 27096 HAS SOUS 19723 HAS SOUPS 19723 WITH SCORE 19750.096
AT ITER 788 NEW BEST:: SOT 105959 SOS 26995 HAS SOPS 26995 HAS SOUS 19651 HAS SOUPS 19651 WITH SCORE 19677.995
AT ITER 814 NEW BEST:: SOT 105959 SOS 26995 HAS SOPS 26995 HAS SOUS 19650 HAS SOUPS 19650 WITH SCORE 19676.995
AT ITER 819 NEW BEST:: SOT 105812 SOS 26701 HAS SOPS 26701 HAS SOUS 19486 HAS SOUPS 19486 WITH SCORE 19512.701
AT ITER 821 NEW BEST:: SOT 105758 SOS 26435 HAS SOPS 26435 HAS SOUS 19417 HAS SOUPS 19417 WITH SCORE 19443.435
AT ITER 864 NEW BEST:: SOT 105729 SOS 26377 HAS SOPS 26377 HAS SOUS 19359 HAS SOUPS 19359 WITH SCORE 19385.377
AT ITER 884 NEW BEST:: SOT 105713 SOS 26345 HAS SOPS 26345 HAS SOUS 19327 HAS SOUPS 19327 WITH SCORE 19353.345
AT ITER 909 NEW BEST:: SOT 105699 SOS 26331 HAS SOPS 26331 HAS SOUS 19313 HAS SOUPS 19313 WITH SCORE 19339.331
AT ITER 919 NEW BEST:: SOT 105679 SOS 26291 HAS SOPS 26291 HAS SOUS 19211 HAS SOUPS 19211 WITH SCORE 19237.291
AT ITER 922 NEW BEST:: SOT 105478 SOS 26202 HAS SOPS 26202 HAS SOUS 19038 HAS SOUPS 19038 WITH SCORE 19064.202
AT ITER 931 NEW BEST:: SOT 105436 SOS 26179 HAS SOPS 26179 HAS SOUS 19015 HAS SOUPS 19015 WITH SCORE 19041.179
AT ITER 933 NEW BEST:: SOT 105400 SOS 26163 HAS SOPS 26163 HAS SOUS 18999 HAS SOUPS 18999 WITH SCORE 19025.163
AT ITER 946 NEW BEST:: SOT 105366 SOS 26123 HAS SOPS 26123 HAS SOUS 18959 HAS SOUPS 18959 WITH SCORE 18985.123
AT ITER 956 NEW BEST:: SOT 105366 SOS 25973 HAS SOPS 25973 HAS SOUS 18928 HAS SOUPS 18928 WITH SCORE 18953.973
AT ITER 957 NEW BEST:: SOT 105366 SOS 25972 HAS SOPS 25972 HAS SOUS 18927 HAS SOUPS 18927 WITH SCORE 18952.972
AT ITER 958 NEW BEST:: SOT 105343 SOS 25926 HAS SOPS 25926 HAS SOUS 18896 HAS SOUPS 18896 WITH SCORE 18921.926
AT ITER 963 NEW BEST:: SOT 105355 SOS 25938 HAS SOPS 25938 HAS SOUS 18881 HAS SOUPS 18881 WITH SCORE 18906.938
AT ITER 965 NEW BEST:: SOT 105347 SOS 25922 HAS SOPS 25922 HAS SOUS 18870 HAS SOUPS 18870 WITH SCORE 18895.922
AT ITER 970 NEW BEST:: SOT 105311 SOS 25897 HAS SOPS 25897 HAS SOUS 18845 HAS SOUPS 18845 WITH SCORE 18870.897
AT ITER 988 NEW BEST:: SOT 105295 SOS 25887 HAS SOPS 25887 HAS SOUS 18829 HAS SOUPS 18829 WITH SCORE 18854.887
AT ITER 1002 NEW BEST:: SOT 105257 SOS 25811 HAS SOPS 25811 HAS SOUS 18711 HAS SOUPS 18711 WITH SCORE 18736.811
AT ITER 1017 NEW BEST:: SOT 105205 SOS 25673 HAS SOPS 25673 HAS SOUS 18638 HAS SOUPS 18638 WITH SCORE 18663.673
AT ITER 1018 NEW BEST:: SOT 105127 SOS 25647 HAS SOPS 25647 HAS SOUS 18612 HAS SOUPS 18612 WITH SCORE 18637.647
AT ITER 1043 NEW BEST:: SOT 105121 SOS 25635 HAS SOPS 25635 HAS SOUS 18606 HAS SOUPS 18606 WITH SCORE 18631.635
AT ITER 1053 NEW BEST:: SOT 105119 SOS 25631 HAS SOPS 25631 HAS SOUS 18606 HAS SOUPS 18606 WITH SCORE 18631.631
AT ITER 1064 NEW BEST:: SOT 105053 SOS 25499 HAS SOPS 25499 HAS SOUS 18540 HAS SOUPS 18540 WITH SCORE 18565.499
AT ITER 1067 NEW BEST:: SOT 105041 SOS 25515 HAS SOPS 25515 HAS SOUS 18516 HAS SOUPS 18516 WITH SCORE 18541.515
AT ITER 1069 NEW BEST:: SOT 105024 SOS 25498 HAS SOPS 25498 HAS SOUS 18512 HAS SOUPS 18512 WITH SCORE 18537.498
AT ITER 1101 NEW BEST:: SOT 104998 SOS 25461 HAS SOPS 25461 HAS SOUS 18499 HAS SOUPS 18499 WITH SCORE 18524.461
AT ITER 1105 NEW BEST:: SOT 104998 SOS 25339 HAS SOPS 25339 HAS SOUS 18377 HAS SOUPS 18377 WITH SCORE 18402.339
AT ITER 1110 NEW BEST:: SOT 104879 SOS 25178 HAS SOPS 25178 HAS SOUS 18272 HAS SOUPS 18272 WITH SCORE 18297.178
AT ITER 1113 NEW BEST:: SOT 104865 SOS 25150 HAS SOPS 25150 HAS SOUS 18244 HAS SOUPS 18244 WITH SCORE 18269.15
AT ITER 1159 NEW BEST:: SOT 104881 SOS 25147 HAS SOPS 25147 HAS SOUS 18241 HAS SOUPS 18241 WITH SCORE 18266.147
AT ITER 1163 NEW BEST:: SOT 104852 SOS 25033 HAS SOPS 25033 HAS SOUS 18127 HAS SOUPS 18127 WITH SCORE 18152.033
AT ITER 1170 NEW BEST:: SOT 104815 SOS 24996 HAS SOPS 24996 HAS SOUS 18045 HAS SOUPS 18045 WITH SCORE 18069.996
AT ITER 1185 NEW BEST:: SOT 104827 SOS 25020 HAS SOPS 25020 HAS SOUS 18028 HAS SOUPS 18028 WITH SCORE 18053.02
AT ITER 1208 NEW BEST:: SOT 104827 SOS 25020 HAS SOPS 25020 HAS SOUS 18018 HAS SOUPS 18018 WITH SCORE 18043.02
AT ITER 1210 NEW BEST:: SOT 104798 SOS 24991 HAS SOPS 24991 HAS SOUS 17989 HAS SOUPS 17989 WITH SCORE 18013.991
AT ITER 1239 NEW BEST:: SOT 104814 SOS 24985 HAS SOPS 24985 HAS SOUS 17983 HAS SOUPS 17983 WITH SCORE 18007.985
AT ITER 1244 NEW BEST:: SOT 104803 SOS 24955 HAS SOPS 24955 HAS SOUS 17898 HAS SOUPS 17898 WITH SCORE 17922.955
AT ITER 1247 NEW BEST:: SOT 104790 SOS 24929 HAS SOPS 24929 HAS SOUS 17872 HAS SOUPS 17872 WITH SCORE 17896.929
AT ITER 1275 NEW BEST:: SOT 104782 SOS 24943 HAS SOPS 24943 HAS SOUS 17864 HAS SOUPS 17864 WITH SCORE 17888.943
AT ITER 1301 NEW BEST:: SOT 104782 SOS 24943 HAS SOPS 24943 HAS SOUS 17862 HAS SOUPS 17862 WITH SCORE 17886.943
AT ITER 1303 NEW BEST:: SOT 104716 SOS 24823 HAS SOPS 24823 HAS SOUS 17814 HAS SOUPS 17814 WITH SCORE 17838.823
AT ITER 1311 NEW BEST:: SOT 104697 SOS 24785 HAS SOPS 24785 HAS SOUS 17776 HAS SOUPS 17776 WITH SCORE 17800.785
AT ITER 1331 NEW BEST:: SOT 104675 SOS 24774 HAS SOPS 24774 HAS SOUS 17765 HAS SOUPS 17765 WITH SCORE 17789.774
AT ITER 1358 NEW BEST:: SOT 104673 SOS 24770 HAS SOPS 24770 HAS SOUS 17761 HAS SOUPS 17761 WITH SCORE 17785.77
AT ITER 1364 NEW BEST:: SOT 104673 SOS 24745 HAS SOPS 24745 HAS SOUS 17761 HAS SOUPS 17761 WITH SCORE 17785.745
AT ITER 1375 NEW BEST:: SOT 104673 SOS 24744 HAS SOPS 24744 HAS SOUS 17760 HAS SOUPS 17760 WITH SCORE 17784.744
AT ITER 1386 NEW BEST:: SOT 104629 SOS 25296 HAS SOPS 25296 HAS SOUS 17716 HAS SOUPS 17716 WITH SCORE 17741.296
AT ITER 1394 NEW BEST:: SOT 104596 SOS 25263 HAS SOPS 25263 HAS SOUS 17683 HAS SOUPS 17683 WITH SCORE 17708.263
AT ITER 1422 NEW BEST:: SOT 104547 SOS 25165 HAS SOPS 25165 HAS SOUS 17683 HAS SOUPS 17683 WITH SCORE 17708.165
AT ITER 1424 NEW BEST:: SOT 104541 SOS 25153 HAS SOPS 25153 HAS SOUS 17671 HAS SOUPS 17671 WITH SCORE 17696.153
AT ITER 1459 NEW BEST:: SOT 104672 SOS 25047 HAS SOPS 25047 HAS SOUS 17565 HAS SOUPS 17565 WITH SCORE 17590.047
AT ITER 1507 NEW BEST:: SOT 104672 SOS 25047 HAS SOPS 25047 HAS SOUS 17551 HAS SOUPS 17551 WITH SCORE 17576.047
AT ITER 1530 NEW BEST:: SOT 104703 SOS 25109 HAS SOPS 25109 HAS SOUS 17541 HAS SOUPS 17541 WITH SCORE 17566.109
AT ITER 1551 NEW BEST:: SOT 104703 SOS 25104 HAS SOPS 25104 HAS SOUS 17541 HAS SOUPS 17541 WITH SCORE 17566.104
AT ITER 1554 NEW BEST:: SOT 104701 SOS 25093 HAS SOPS 25093 HAS SOUS 17532 HAS SOUPS 17532 WITH SCORE 17557.093
AT ITER 1557 NEW BEST:: SOT 104682 SOS 25093 HAS SOPS 25093 HAS SOUS 17513 HAS SOUPS 17513 WITH SCORE 17538.093
AT ITER 1577 NEW BEST:: SOT 104515 SOS 25084 HAS SOPS 25084 HAS SOUS 17395 HAS SOUPS 17395 WITH SCORE 17420.084
AT ITER 1583 NEW BEST:: SOT 104513 SOS 25112 HAS SOPS 25112 HAS SOUS 17393 HAS SOUPS 17393 WITH SCORE 17418.112
AT ITER 1596 NEW BEST:: SOT 104485 SOS 25070 HAS SOPS 25070 HAS SOUS 17365 HAS SOUPS 17365 WITH SCORE 17390.07
AT ITER 1601 NEW BEST:: SOT 104494 SOS 25079 HAS SOPS 25079 HAS SOUS 17364 HAS SOUPS 17364 WITH SCORE 17389.079
AT ITER 1617 NEW BEST:: SOT 104494 SOS 25068 HAS SOPS 25068 HAS SOUS 17353 HAS SOUPS 17353 WITH SCORE 17378.068
AT ITER 1628 NEW BEST:: SOT 104489 SOS 25063 HAS SOPS 25063 HAS SOUS 17353 HAS SOUPS 17353 WITH SCORE 17378.063
AT ITER 1655 NEW BEST:: SOT 104489 SOS 25045 HAS SOPS 25045 HAS SOUS 17335 HAS SOUPS 17335 WITH SCORE 17360.045
AT ITER 1658 NEW BEST:: SOT 104474 SOS 25015 HAS SOPS 25015 HAS SOUS 17332 HAS SOUPS 17332 WITH SCORE 17357.015
AT ITER 1675 NEW BEST:: SOT 104465 SOS 25006 HAS SOPS 25006 HAS SOUS 17323 HAS SOUPS 17323 WITH SCORE 17348.006
AT ITER 1677 NEW BEST:: SOT 104469 SOS 25010 HAS SOPS 25010 HAS SOUS 17299 HAS SOUPS 17299 WITH SCORE 17324.01
AT ITER 1680 NEW BEST:: SOT 104476 SOS 25004 HAS SOPS 25004 HAS SOUS 17293 HAS SOUPS 17293 WITH SCORE 17318.004
AT ITER 1723 NEW BEST:: SOT 104461 SOS 24989 HAS SOPS 24989 HAS SOUS 17263 HAS SOUPS 17263 WITH SCORE 17287.989
AT ITER 1742 NEW BEST:: SOT 104442 SOS 24957 HAS SOPS 24957 HAS SOUS 17212 HAS SOUPS 17212 WITH SCORE 17236.957
AT ITER 1744 NEW BEST:: SOT 104426 SOS 24921 HAS SOPS 24921 HAS SOUS 17176 HAS SOUPS 17176 WITH SCORE 17200.921
AT ITER 1757 NEW BEST:: SOT 104410 SOS 24889 HAS SOPS 24889 HAS SOUS 17160 HAS SOUPS 17160 WITH SCORE 17184.889
AT ITER 1773 NEW BEST:: SOT 104367 SOS 24803 HAS SOPS 24803 HAS SOUS 17112 HAS SOUPS 17112 WITH SCORE 17136.803
AT ITER 1801 NEW BEST:: SOT 104369 SOS 24780 HAS SOPS 24780 HAS SOUS 17089 HAS SOUPS 17089 WITH SCORE 17113.78
AT ITER 1809 NEW BEST:: SOT 104348 SOS 24794 HAS SOPS 24794 HAS SOUS 17083 HAS SOUPS 17083 WITH SCORE 17107.794
AT ITER 1814 NEW BEST:: SOT 104281 SOS 24823 HAS SOPS 24823 HAS SOUS 17071 HAS SOUPS 17071 WITH SCORE 17095.823
AT ITER 1830 NEW BEST:: SOT 104265 SOS 24862 HAS SOPS 24862 HAS SOUS 17055 HAS SOUPS 17055 WITH SCORE 17079.862
AT ITER 1846 NEW BEST:: SOT 104248 SOS 24845 HAS SOPS 24845 HAS SOUS 17038 HAS SOUPS 17038 WITH SCORE 17062.845
AT ITER 1850 NEW BEST:: SOT 104245 SOS 24687 HAS SOPS 24687 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17056.687
AT ITER 1865 NEW BEST:: SOT 104242 SOS 24683 HAS SOPS 24683 HAS SOUS 17028 HAS SOUPS 17028 WITH SCORE 17052.683
AT ITER 1867 NEW BEST:: SOT 104241 SOS 24682 HAS SOPS 24682 HAS SOUS 17026 HAS SOUPS 17026 WITH SCORE 17050.682
AT ITER 1875 NEW BEST:: SOT 104239 SOS 24678 HAS SOPS 24678 HAS SOUS 17022 HAS SOUPS 17022 WITH SCORE 17046.678
AT ITER 1913 NEW BEST:: SOT 104229 SOS 24663 HAS SOPS 24663 HAS SOUS 17007 HAS SOUPS 17007 WITH SCORE 17031.663
AT ITER 1952 NEW BEST:: SOT 104136 SOS 24561 HAS SOPS 24561 HAS SOUS 16914 HAS SOUPS 16914 WITH SCORE 16938.561
AT ITER 1956 NEW BEST:: SOT 104119 SOS 24519 HAS SOPS 24519 HAS SOUS 16872 HAS SOUPS 16872 WITH SCORE 16896.519
AT ITER 1991 NEW BEST:: SOT 104095 SOS 24510 HAS SOPS 24510 HAS SOUS 16848 HAS SOUPS 16848 WITH SCORE 16872.51
AT ITER 1997 NEW BEST:: SOT 104083 SOS 24486 HAS SOPS 24486 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16860.486
AT ITER 2004 NEW BEST:: SOT 104083 SOS 24486 HAS SOPS 24486 HAS SOUS 16793 HAS SOUPS 16793 WITH SCORE 16817.486
AT ITER 2005 NEW BEST:: SOT 104083 SOS 24430 HAS SOPS 24430 HAS SOUS 16737 HAS SOUPS 16737 WITH SCORE 16761.43
AT ITER 2031 NEW BEST:: SOT 104077 SOS 24418 HAS SOPS 24418 HAS SOUS 16731 HAS SOUPS 16731 WITH SCORE 16755.418
AT ITER 2049 NEW BEST:: SOT 103985 SOS 24280 HAS SOPS 24280 HAS SOUS 16672 HAS SOUPS 16672 WITH SCORE 16696.28
AT ITER 2050 NEW BEST:: SOT 103947 SOS 24255 HAS SOPS 24255 HAS SOUS 16647 HAS SOUPS 16647 WITH SCORE 16671.255
AT ITER 2073 NEW BEST:: SOT 103923 SOS 24207 HAS SOPS 24207 HAS SOUS 16623 HAS SOUPS 16623 WITH SCORE 16647.207
AT ITER 2077 NEW BEST:: SOT 103922 SOS 24201 HAS SOPS 24201 HAS SOUS 16621 HAS SOUPS 16621 WITH SCORE 16645.201
AT ITER 2089 NEW BEST:: SOT 103922 SOS 24201 HAS SOPS 24201 HAS SOUS 16597 HAS SOUPS 16597 WITH SCORE 16621.201
AT ITER 2097 NEW BEST:: SOT 103938 SOS 24165 HAS SOPS 24165 HAS SOUS 16581 HAS SOUPS 16581 WITH SCORE 16605.165
AT ITER 2102 NEW BEST:: SOT 103918 SOS 24140 HAS SOPS 24140 HAS SOUS 16561 HAS SOUPS 16561 WITH SCORE 16585.14
AT ITER 2110 NEW BEST:: SOT 103907 SOS 24106 HAS SOPS 24106 HAS SOUS 16538 HAS SOUPS 16538 WITH SCORE 16562.106
AT ITER 2132 NEW BEST:: SOT 103905 SOS 24104 HAS SOPS 24104 HAS SOUS 16536 HAS SOUPS 16536 WITH SCORE 16560.104
AT ITER 2158 NEW BEST:: SOT 103894 SOS 24031 HAS SOPS 24031 HAS SOUS 16504 HAS SOUPS 16504 WITH SCORE 16528.031
AT ITER 2170 NEW BEST:: SOT 103804 SOS 23974 HAS SOPS 23974 HAS SOUS 16414 HAS SOUPS 16414 WITH SCORE 16437.974
AT ITER 2183 NEW BEST:: SOT 103800 SOS 23980 HAS SOPS 23980 HAS SOUS 16413 HAS SOUPS 16413 WITH SCORE 16436.98
AT ITER 2265 NEW BEST:: SOT 103827 SOS 23975 HAS SOPS 23975 HAS SOUS 16408 HAS SOUPS 16408 WITH SCORE 16431.975
AT ITER 2277 NEW BEST:: SOT 103796 SOS 23913 HAS SOPS 23913 HAS SOUS 16346 HAS SOUPS 16346 WITH SCORE 16369.913
AT ITER 2282 NEW BEST:: SOT 103793 SOS 23910 HAS SOPS 23910 HAS SOUS 16343 HAS SOUPS 16343 WITH SCORE 16366.91
AT ITER 2283 NEW BEST:: SOT 103774 SOS 23872 HAS SOPS 23872 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16347.872
AT ITER 2331 NEW BEST:: SOT 103769 SOS 23862 HAS SOPS 23862 HAS SOUS 16314 HAS SOUPS 16314 WITH SCORE 16337.862
AT ITER 2336 NEW BEST:: SOT 103801 SOS 23894 HAS SOPS 23894 HAS SOUS 16311 HAS SOUPS 16311 WITH SCORE 16334.894
AT ITER 2368 NEW BEST:: SOT 103755 SOS 23802 HAS SOPS 23802 HAS SOUS 16239 HAS SOUPS 16239 WITH SCORE 16262.802
AT ITER 2378 NEW BEST:: SOT 103685 SOS 23662 HAS SOPS 23662 HAS SOUS 16169 HAS SOUPS 16169 WITH SCORE 16192.662
AT ITER 2391 NEW BEST:: SOT 103685 SOS 23678 HAS SOPS 23678 HAS SOUS 16167 HAS SOUPS 16167 WITH SCORE 16190.678
AT ITER 2463 NEW BEST:: SOT 103648 SOS 23604 HAS SOPS 23604 HAS SOUS 16157 HAS SOUPS 16157 WITH SCORE 16180.604
AT ITER 2478 NEW BEST:: SOT 103541 SOS 23494 HAS SOPS 23494 HAS SOUS 16101 HAS SOUPS 16101 WITH SCORE 16124.494
AT ITER 2479 NEW BEST:: SOT 103541 SOS 23464 HAS SOPS 23464 HAS SOUS 16071 HAS SOUPS 16071 WITH SCORE 16094.464
AT ITER 2498 NEW BEST:: SOT 103513 SOS 23408 HAS SOPS 23408 HAS SOUS 16015 HAS SOUPS 16015 WITH SCORE 16038.408
AT ITER 2512 NEW BEST:: SOT 103490 SOS 23339 HAS SOPS 23339 HAS SOUS 15969 HAS SOUPS 15969 WITH SCORE 15992.339
AT ITER 2531 NEW BEST:: SOT 103458 SOS 23275 HAS SOPS 23275 HAS SOUS 15937 HAS SOUPS 15937 WITH SCORE 15960.275
AT ITER 2541 NEW BEST:: SOT 103467 SOS 23251 HAS SOPS 23251 HAS SOUS 15925 HAS SOUPS 15925 WITH SCORE 15948.251
AT ITER 2542 NEW BEST:: SOT 103425 SOS 23188 HAS SOPS 23188 HAS SOUS 15883 HAS SOUPS 15883 WITH SCORE 15906.188
AT ITER 2571 NEW BEST:: SOT 103373 SOS 23084 HAS SOPS 23084 HAS SOUS 15875 HAS SOUPS 15875 WITH SCORE 15898.084
AT ITER 2578 NEW BEST:: SOT 103373 SOS 23017 HAS SOPS 23017 HAS SOUS 15873 HAS SOUPS 15873 WITH SCORE 15896.017
AT ITER 2582 NEW BEST:: SOT 103365 SOS 23009 HAS SOPS 23009 HAS SOUS 15873 HAS SOUPS 15873 WITH SCORE 15896.009
AT ITER 2639 NEW BEST:: SOT 103398 SOS 22993 HAS SOPS 22993 HAS SOUS 15856 HAS SOUPS 15856 WITH SCORE 15878.993
AT ITER 2640 NEW BEST:: SOT 103434 SOS 22946 HAS SOPS 22946 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15873.946
AT ITER 2643 NEW BEST:: SOT 103426 SOS 22917 HAS SOPS 22917 HAS SOUS 15822 HAS SOUPS 15822 WITH SCORE 15844.917
AT ITER 2660 NEW BEST:: SOT 103425 SOS 22915 HAS SOPS 22915 HAS SOUS 15820 HAS SOUPS 15820 WITH SCORE 15842.915
AT ITER 2678 NEW BEST:: SOT 103324 SOS 22835 HAS SOPS 22835 HAS SOUS 15755 HAS SOUPS 15755 WITH SCORE 15777.835
AT ITER 2683 NEW BEST:: SOT 103423 SOS 22934 HAS SOPS 22934 HAS SOUS 15731 HAS SOUPS 15731 WITH SCORE 15753.934
AT ITER 2717 NEW BEST:: SOT 103419 SOS 23010 HAS SOPS 23010 HAS SOUS 15727 HAS SOUPS 15727 WITH SCORE 15750.01
AT ITER 2718 NEW BEST:: SOT 103397 SOS 22966 HAS SOPS 22966 HAS SOUS 15727 HAS SOUPS 15727 WITH SCORE 15749.966
AT ITER 2723 NEW BEST:: SOT 103418 SOS 22982 HAS SOPS 22982 HAS SOUS 15722 HAS SOUPS 15722 WITH SCORE 15744.982
AT ITER 2741 NEW BEST:: SOT 103417 SOS 22980 HAS SOPS 22980 HAS SOUS 15720 HAS SOUPS 15720 WITH SCORE 15742.98
AT ITER 2779 NEW BEST:: SOT 103385 SOS 22838 HAS SOPS 22838 HAS SOUS 15650 HAS SOUPS 15650 WITH SCORE 15672.838
AT ITER 2782 NEW BEST:: SOT 103370 SOS 22828 HAS SOPS 22828 HAS SOUS 15640 HAS SOUPS 15640 WITH SCORE 15662.828
AT ITER 2801 NEW BEST:: SOT 103357 SOS 22813 HAS SOPS 22813 HAS SOUS 15611 HAS SOUPS 15611 WITH SCORE 15633.813
AT ITER 2812 NEW BEST:: SOT 103399 SOS 22867 HAS SOPS 22867 HAS SOUS 15606 HAS SOUPS 15606 WITH SCORE 15628.867
AT ITER 2850 NEW BEST:: SOT 103391 SOS 22834 HAS SOPS 22834 HAS SOUS 15590 HAS SOUPS 15590 WITH SCORE 15612.834
AT ITER 2851 NEW BEST:: SOT 103391 SOS 22798 HAS SOPS 22798 HAS SOUS 15585 HAS SOUPS 15585 WITH SCORE 15607.798
AT ITER 2852 NEW BEST:: SOT 103390 SOS 22825 HAS SOPS 22825 HAS SOUS 15583 HAS SOUPS 15583 WITH SCORE 15605.825
AT ITER 2879 NEW BEST:: SOT 103320 SOS 22685 HAS SOPS 22685 HAS SOUS 15489 HAS SOUPS 15489 WITH SCORE 15511.685
AT ITER 2922 NEW BEST:: SOT 103318 SOS 22683 HAS SOPS 22683 HAS SOUS 15487 HAS SOUPS 15487 WITH SCORE 15509.683
AT ITER 2941 NEW BEST:: SOT 103282 SOS 22611 HAS SOPS 22611 HAS SOUS 15449 HAS SOUPS 15449 WITH SCORE 15471.611
AT ITER 2995 NEW BEST:: SOT 103266 SOS 22489 HAS SOPS 22489 HAS SOUS 15409 HAS SOUPS 15409 WITH SCORE 15431.489
AT ITER 2997 NEW BEST:: SOT 103258 SOS 22473 HAS SOPS 22473 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15415.473
AT ITER 3020 NEW BEST:: SOT 103257 SOS 22472 HAS SOPS 22472 HAS SOUS 15392 HAS SOUPS 15392 WITH SCORE 15414.472
AT ITER 3058 NEW BEST:: SOT 103227 SOS 22476 HAS SOPS 22476 HAS SOUS 15351 HAS SOUPS 15351 WITH SCORE 15373.476
AT ITER 3065 NEW BEST:: SOT 103215 SOS 22476 HAS SOPS 22476 HAS SOUS 15339 HAS SOUPS 15339 WITH SCORE 15361.476
AT ITER 3068 NEW BEST:: SOT 103195 SOS 22436 HAS SOPS 22436 HAS SOUS 15299 HAS SOUPS 15299 WITH SCORE 15321.436
AT ITER 3070 NEW BEST:: SOT 103177 SOS 22409 HAS SOPS 22409 HAS SOUS 15272 HAS SOUPS 15272 WITH SCORE 15294.409
AT ITER 3082 NEW BEST:: SOT 103151 SOS 22357 HAS SOPS 22357 HAS SOUS 15246 HAS SOUPS 15246 WITH SCORE 15268.357
AT ITER 3100 NEW BEST:: SOT 103131 SOS 22337 HAS SOPS 22337 HAS SOUS 15224 HAS SOUPS 15224 WITH SCORE 15246.337
AT ITER 3110 NEW BEST:: SOT 103128 SOS 22331 HAS SOPS 22331 HAS SOUS 15209 HAS SOUPS 15209 WITH SCORE 15231.331
AT ITER 3118 NEW BEST:: SOT 103128 SOS 22316 HAS SOPS 22316 HAS SOUS 15209 HAS SOUPS 15209 WITH SCORE 15231.316
AT ITER 3127 NEW BEST:: SOT 103110 SOS 22280 HAS SOPS 22280 HAS SOUS 15182 HAS SOUPS 15182 WITH SCORE 15204.28
AT ITER 3150 NEW BEST:: SOT 103052 SOS 22193 HAS SOPS 22193 HAS SOUS 15095 HAS SOUPS 15095 WITH SCORE 15117.193
AT ITER 3191 NEW BEST:: SOT 103051 SOS 22168 HAS SOPS 22168 HAS SOUS 15094 HAS SOUPS 15094 WITH SCORE 15116.168
AT ITER 3209 NEW BEST:: SOT 103046 SOS 22158 HAS SOPS 22158 HAS SOUS 15084 HAS SOUPS 15084 WITH SCORE 15106.158
AT ITER 3237 NEW BEST:: SOT 102993 SOS 22118 HAS SOPS 22118 HAS SOUS 15044 HAS SOUPS 15044 WITH SCORE 15066.118
AT ITER 3253 NEW BEST:: SOT 102993 SOS 22094 HAS SOPS 22094 HAS SOUS 15021 HAS SOUPS 15021 WITH SCORE 15043.094
AT ITER 3256 NEW BEST:: SOT 102762 SOS 22795 HAS SOPS 22795 HAS SOUS 14828 HAS SOUPS 14828 WITH SCORE 14850.795
AT ITER 3261 NEW BEST:: SOT 102762 SOS 22850 HAS SOPS 22850 HAS SOUS 14822 HAS SOUPS 14822 WITH SCORE 14844.85
AT ITER 3268 NEW BEST:: SOT 102739 SOS 22804 HAS SOPS 22804 HAS SOUS 14776 HAS SOUPS 14776 WITH SCORE 14798.804
AT ITER 3279 NEW BEST:: SOT 102699 SOS 22764 HAS SOPS 22764 HAS SOUS 14772 HAS SOUPS 14772 WITH SCORE 14794.764
AT ITER 3287 NEW BEST:: SOT 102695 SOS 22770 HAS SOPS 22770 HAS SOUS 14755 HAS SOUPS 14755 WITH SCORE 14777.77
AT ITER 3291 NEW BEST:: SOT 102684 SOS 22759 HAS SOPS 22759 HAS SOUS 14744 HAS SOUPS 14744 WITH SCORE 14766.759
AT ITER 3336 NEW BEST:: SOT 102681 SOS 22753 HAS SOPS 22753 HAS SOUS 14738 HAS SOUPS 14738 WITH SCORE 14760.753
AT ITER 3340 NEW BEST:: SOT 102681 SOS 22753 HAS SOPS 22753 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14753.753
AT ITER 3360 NEW BEST:: SOT 102680 SOS 22751 HAS SOPS 22751 HAS SOUS 14729 HAS SOUPS 14729 WITH SCORE 14751.751
AT ITER 3375 NEW BEST:: SOT 102673 SOS 22737 HAS SOPS 22737 HAS SOUS 14715 HAS SOUPS 14715 WITH SCORE 14737.737
AT ITER 3380 NEW BEST:: SOT 102655 SOS 22675 HAS SOPS 22675 HAS SOUS 14671 HAS SOUPS 14671 WITH SCORE 14693.675
AT ITER 3423 NEW BEST:: SOT 102639 SOS 22643 HAS SOPS 22643 HAS SOUS 14671 HAS SOUPS 14671 WITH SCORE 14693.643
AT ITER 3434 NEW BEST:: SOT 102632 SOS 22636 HAS SOPS 22636 HAS SOUS 14664 HAS SOUPS 14664 WITH SCORE 14686.636
AT ITER 3474 NEW BEST:: SOT 102626 SOS 22599 HAS SOPS 22599 HAS SOUS 14633 HAS SOUPS 14633 WITH SCORE 14655.599
AT ITER 3494 NEW BEST:: SOT 102601 SOS 22549 HAS SOPS 22549 HAS SOUS 14582 HAS SOUPS 14582 WITH SCORE 14604.549
AT ITER 3510 NEW BEST:: SOT 102592 SOS 22539 HAS SOPS 22539 HAS SOUS 14572 HAS SOUPS 14572 WITH SCORE 14594.539
AT ITER 3556 NEW BEST:: SOT 102584 SOS 22528 HAS SOPS 22528 HAS SOUS 14561 HAS SOUPS 14561 WITH SCORE 14583.528
AT ITER 3559 NEW BEST:: SOT 102595 SOS 22526 HAS SOPS 22526 HAS SOUS 14559 HAS SOUPS 14559 WITH SCORE 14581.526
AT ITER 3596 NEW BEST:: SOT 102594 SOS 22517 HAS SOPS 22517 HAS SOUS 14557 HAS SOUPS 14557 WITH SCORE 14579.517
AT ITER 3602 NEW BEST:: SOT 102596 SOS 22521 HAS SOPS 22521 HAS SOUS 14545 HAS SOUPS 14545 WITH SCORE 14567.521
AT ITER 3619 NEW BEST:: SOT 102595 SOS 22545 HAS SOPS 22545 HAS SOUS 14544 HAS SOUPS 14544 WITH SCORE 14566.545
AT ITER 3622 NEW BEST:: SOT 102600 SOS 22549 HAS SOPS 22549 HAS SOUS 14543 HAS SOUPS 14543 WITH SCORE 14565.549
AT ITER 3681 NEW BEST:: SOT 102600 SOS 22536 HAS SOPS 22536 HAS SOUS 14543 HAS SOUPS 14543 WITH SCORE 14565.536
AT ITER 3731 NEW BEST:: SOT 102584 SOS 22513 HAS SOPS 22513 HAS SOUS 14520 HAS SOUPS 14520 WITH SCORE 14542.513
AT ITER 3740 NEW BEST:: SOT 102584 SOS 22493 HAS SOPS 22493 HAS SOUS 14500 HAS SOUPS 14500 WITH SCORE 14522.493
AT ITER 3747 NEW BEST:: SOT 102585 SOS 22482 HAS SOPS 22482 HAS SOUS 14489 HAS SOUPS 14489 WITH SCORE 14511.482
AT ITER 3751 NEW BEST:: SOT 102579 SOS 22475 HAS SOPS 22475 HAS SOUS 14488 HAS SOUPS 14488 WITH SCORE 14510.475
AT ITER 3762 NEW BEST:: SOT 102568 SOS 22453 HAS SOPS 22453 HAS SOUS 14466 HAS SOUPS 14466 WITH SCORE 14488.453
AT ITER 3763 NEW BEST:: SOT 102540 SOS 22425 HAS SOPS 22425 HAS SOUS 14438 HAS SOUPS 14438 WITH SCORE 14460.425
AT ITER 3766 NEW BEST:: SOT 102540 SOS 22423 HAS SOPS 22423 HAS SOUS 14438 HAS SOUPS 14438 WITH SCORE 14460.423
AT ITER 3767 NEW BEST:: SOT 102507 SOS 22357 HAS SOPS 22357 HAS SOUS 14405 HAS SOUPS 14405 WITH SCORE 14427.357
AT ITER 3806 NEW BEST:: SOT 102507 SOS 22357 HAS SOPS 22357 HAS SOUS 14403 HAS SOUPS 14403 WITH SCORE 14425.357
AT ITER 3843 NEW BEST:: SOT 102480 SOS 22317 HAS SOPS 22317 HAS SOUS 14363 HAS SOUPS 14363 WITH SCORE 14385.317
AT ITER 3852 NEW BEST:: SOT 102408 SOS 22245 HAS SOPS 22245 HAS SOUS 14327 HAS SOUPS 14327 WITH SCORE 14349.245
AT ITER 3854 NEW BEST:: SOT 102407 SOS 22244 HAS SOPS 22244 HAS SOUS 14326 HAS SOUPS 14326 WITH SCORE 14348.244
AT ITER 3859 NEW BEST:: SOT 102406 SOS 22237 HAS SOPS 22237 HAS SOUS 14324 HAS SOUPS 14324 WITH SCORE 14346.237
AT ITER 3866 NEW BEST:: SOT 102401 SOS 22253 HAS SOPS 22253 HAS SOUS 14319 HAS SOUPS 14319 WITH SCORE 14341.253
AT ITER 3869 NEW BEST:: SOT 102408 SOS 22267 HAS SOPS 22267 HAS SOUS 14315 HAS SOUPS 14315 WITH SCORE 14337.267
AT ITER 3896 NEW BEST:: SOT 102405 SOS 22264 HAS SOPS 22264 HAS SOUS 14306 HAS SOUPS 14306 WITH SCORE 14328.264
AT ITER 3940 NEW BEST:: SOT 102399 SOS 22208 HAS SOPS 22208 HAS SOUS 14273 HAS SOUPS 14273 WITH SCORE 14295.208
AT ITER 3943 NEW BEST:: SOT 102353 SOS 22116 HAS SOPS 22116 HAS SOUS 14227 HAS SOUPS 14227 WITH SCORE 14249.116
AT ITER 3948 NEW BEST:: SOT 102352 SOS 22113 HAS SOPS 22113 HAS SOUS 14225 HAS SOUPS 14225 WITH SCORE 14247.113
AT ITER 3968 NEW BEST:: SOT 102352 SOS 22130 HAS SOPS 22130 HAS SOUS 14208 HAS SOUPS 14208 WITH SCORE 14230.13
AT ITER 3970 NEW BEST:: SOT 102352 SOS 22130 HAS SOPS 22130 HAS SOUS 14195 HAS SOUPS 14195 WITH SCORE 14217.13
AT ITER 3974 NEW BEST:: SOT 102348 SOS 22122 HAS SOPS 22122 HAS SOUS 14191 HAS SOUPS 14191 WITH SCORE 14213.122
AT ITER 3988 NEW BEST:: SOT 102336 SOS 22106 HAS SOPS 22106 HAS SOUS 14175 HAS SOUPS 14175 WITH SCORE 14197.106
AT ITER 3990 NEW BEST:: SOT 102324 SOS 22082 HAS SOPS 22082 HAS SOUS 14171 HAS SOUPS 14171 WITH SCORE 14193.082
AT ITER 3998 NEW BEST:: SOT 102324 SOS 22082 HAS SOPS 22082 HAS SOUS 14168 HAS SOUPS 14168 WITH SCORE 14190.082
AT ITER 4017 NEW BEST:: SOT 102238 SOS 21992 HAS SOPS 21992 HAS SOUS 14128 HAS SOUPS 14128 WITH SCORE 14149.992
AT ITER 4033 NEW BEST:: SOT 102238 SOS 21990 HAS SOPS 21990 HAS SOUS 14128 HAS SOUPS 14128 WITH SCORE 14149.99
AT ITER 4042 NEW BEST:: SOT 102213 SOS 21940 HAS SOPS 21940 HAS SOUS 14094 HAS SOUPS 14094 WITH SCORE 14115.94
AT ITER 4053 NEW BEST:: SOT 102294 SOS 21909 HAS SOPS 21909 HAS SOUS 14063 HAS SOUPS 14063 WITH SCORE 14084.909
AT ITER 4054 NEW BEST:: SOT 102288 SOS 21829 HAS SOPS 21829 HAS SOUS 14034 HAS SOUPS 14034 WITH SCORE 14055.829
AT ITER 4055 NEW BEST:: SOT 102288 SOS 21757 HAS SOPS 21757 HAS SOUS 14034 HAS SOUPS 14034 WITH SCORE 14055.757
AT ITER 4134 NEW BEST:: SOT 102223 SOS 21723 HAS SOPS 21723 HAS SOUS 13969 HAS SOUPS 13969 WITH SCORE 13990.723
AT ITER 4139 NEW BEST:: SOT 102204 SOS 21705 HAS SOPS 21705 HAS SOUS 13950 HAS SOUPS 13950 WITH SCORE 13971.705
AT ITER 4150 NEW BEST:: SOT 102200 SOS 21701 HAS SOPS 21701 HAS SOUS 13950 HAS SOUPS 13950 WITH SCORE 13971.701
AT ITER 4161 NEW BEST:: SOT 102182 SOS 21683 HAS SOPS 21683 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13953.683
AT ITER 4187 NEW BEST:: SOT 102131 SOS 21581 HAS SOPS 21581 HAS SOUS 13903 HAS SOUPS 13903 WITH SCORE 13924.581
AT ITER 4206 NEW BEST:: SOT 102131 SOS 21575 HAS SOPS 21575 HAS SOUS 13903 HAS SOUPS 13903 WITH SCORE 13924.575
AT ITER 4207 NEW BEST:: SOT 102134 SOS 21566 HAS SOPS 21566 HAS SOUS 13894 HAS SOUPS 13894 WITH SCORE 13915.566
AT ITER 4212 NEW BEST:: SOT 102120 SOS 21552 HAS SOPS 21552 HAS SOUS 13880 HAS SOUPS 13880 WITH SCORE 13901.552
AT ITER 4226 NEW BEST:: SOT 102120 SOS 21526 HAS SOPS 21526 HAS SOUS 13880 HAS SOUPS 13880 WITH SCORE 13901.526
AT ITER 4229 NEW BEST:: SOT 102118 SOS 21524 HAS SOPS 21524 HAS SOUS 13878 HAS SOUPS 13878 WITH SCORE 13899.524
AT ITER 4235 NEW BEST:: SOT 101998 SOS 21724 HAS SOPS 21724 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13853.724
AT ITER 4238 NEW BEST:: SOT 101999 SOS 21713 HAS SOPS 21713 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13853.713
AT ITER 4249 NEW BEST:: SOT 101999 SOS 21673 HAS SOPS 21673 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13853.673
AT ITER 4250 NEW BEST:: SOT 101999 SOS 21673 HAS SOPS 21673 HAS SOUS 13822 HAS SOUPS 13822 WITH SCORE 13843.673
AT ITER 4265 NEW BEST:: SOT 102000 SOS 21659 HAS SOPS 21659 HAS SOUS 13821 HAS SOUPS 13821 WITH SCORE 13842.659
AT ITER 4276 NEW BEST:: SOT 101996 SOS 21655 HAS SOPS 21655 HAS SOUS 13820 HAS SOUPS 13820 WITH SCORE 13841.655
AT ITER 4301 NEW BEST:: SOT 101996 SOS 21634 HAS SOPS 21634 HAS SOUS 13820 HAS SOUPS 13820 WITH SCORE 13841.634
AT ITER 4320 NEW BEST:: SOT 101973 SOS 21588 HAS SOPS 21588 HAS SOUS 13774 HAS SOUPS 13774 WITH SCORE 13795.588
AT ITER 4336 NEW BEST:: SOT 101973 SOS 21550 HAS SOPS 21550 HAS SOUS 13774 HAS SOUPS 13774 WITH SCORE 13795.55
AT ITER 4348 NEW BEST:: SOT 101869 SOS 21508 HAS SOPS 21508 HAS SOUS 13772 HAS SOUPS 13772 WITH SCORE 13793.508
AT ITER 4375 NEW BEST:: SOT 101819 SOS 21408 HAS SOPS 21408 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13770.408
AT ITER 4472 NEW BEST:: SOT 101818 SOS 21406 HAS SOPS 21406 HAS SOUS 13747 HAS SOUPS 13747 WITH SCORE 13768.406
AT ITER 4553 NEW BEST:: SOT 101818 SOS 21395 HAS SOPS 21395 HAS SOUS 13747 HAS SOUPS 13747 WITH SCORE 13768.395
AT ITER 4554 NEW BEST:: SOT 101853 SOS 21430 HAS SOPS 21430 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13730.43
AT ITER 4583 NEW BEST:: SOT 101836 SOS 21396 HAS SOPS 21396 HAS SOUS 13699 HAS SOUPS 13699 WITH SCORE 13720.396
AT ITER 4588 NEW BEST:: SOT 101824 SOS 21436 HAS SOPS 21436 HAS SOUS 13695 HAS SOUPS 13695 WITH SCORE 13716.436
AT ITER 4619 NEW BEST:: SOT 101797 SOS 21436 HAS SOPS 21436 HAS SOUS 13668 HAS SOUPS 13668 WITH SCORE 13689.436
AT ITER 4680 NEW BEST:: SOT 101803 SOS 21432 HAS SOPS 21432 HAS SOUS 13664 HAS SOUPS 13664 WITH SCORE 13685.432
AT ITER 4704 NEW BEST:: SOT 101808 SOS 21426 HAS SOPS 21426 HAS SOUS 13658 HAS SOUPS 13658 WITH SCORE 13679.426
AT ITER 4711 NEW BEST:: SOT 101725 SOS 21339 HAS SOPS 21339 HAS SOUS 13634 HAS SOUPS 13634 WITH SCORE 13655.339
AT ITER 4720 NEW BEST:: SOT 101717 SOS 21308 HAS SOPS 21308 HAS SOUS 13618 HAS SOUPS 13618 WITH SCORE 13639.308
AT ITER 4782 NEW BEST:: SOT 101676 SOS 21267 HAS SOPS 21267 HAS SOUS 13618 HAS SOUPS 13618 WITH SCORE 13639.267
AT ITER 4819 NEW BEST:: SOT 101657 SOS 21251 HAS SOPS 21251 HAS SOUS 13599 HAS SOUPS 13599 WITH SCORE 13620.251
AT ITER 4834 NEW BEST:: SOT 101619 SOS 21094 HAS SOPS 21094 HAS SOUS 13530 HAS SOUPS 13530 WITH SCORE 13551.094
AT ITER 4847 NEW BEST:: SOT 101619 SOS 21071 HAS SOPS 21071 HAS SOUS 13507 HAS SOUPS 13507 WITH SCORE 13528.071
AT ITER 4854 NEW BEST:: SOT 101619 SOS 21053 HAS SOPS 21053 HAS SOUS 13507 HAS SOUPS 13507 WITH SCORE 13528.053
AT ITER 4855 NEW BEST:: SOT 101619 SOS 21046 HAS SOPS 21046 HAS SOUS 13507 HAS SOUPS 13507 WITH SCORE 13528.046
AT ITER 4905 NEW BEST:: SOT 101595 SOS 21022 HAS SOPS 21022 HAS SOUS 13507 HAS SOUPS 13507 WITH SCORE 13528.022
AT ITER 4912 NEW BEST:: SOT 101583 SOS 21046 HAS SOPS 21046 HAS SOUS 13498 HAS SOUPS 13498 WITH SCORE 13519.046
AT ITER 4926 NEW BEST:: SOT 101583 SOS 21046 HAS SOPS 21046 HAS SOUS 13497 HAS SOUPS 13497 WITH SCORE 13518.046
AT ITER 4941 NEW BEST:: SOT 101579 SOS 21051 HAS SOPS 21051 HAS SOUS 13489 HAS SOUPS 13489 WITH SCORE 13510.051
AT ITER 4964 NEW BEST:: SOT 101578 SOS 21049 HAS SOPS 21049 HAS SOUS 13487 HAS SOUPS 13487 WITH SCORE 13508.049
AT ITER 5027 NEW BEST:: SOT 101568 SOS 21039 HAS SOPS 21039 HAS SOUS 13477 HAS SOUPS 13477 WITH SCORE 13498.039
AT ITER 5066 NEW BEST:: SOT 101564 SOS 20974 HAS SOPS 20974 HAS SOUS 13450 HAS SOUPS 13450 WITH SCORE 13470.974
AT ITER 5081 NEW BEST:: SOT 101596 SOS 20971 HAS SOPS 20971 HAS SOUS 13447 HAS SOUPS 13447 WITH SCORE 13467.971
AT ITER 5098 NEW BEST:: SOT 101591 SOS 20961 HAS SOPS 20961 HAS SOUS 13437 HAS SOUPS 13437 WITH SCORE 13457.961
AT ITER 5106 NEW BEST:: SOT 101510 SOS 21223 HAS SOPS 21223 HAS SOUS 13411 HAS SOUPS 13411 WITH SCORE 13432.223
AT ITER 5109 NEW BEST:: SOT 101488 SOS 21174 HAS SOPS 21174 HAS SOUS 13362 HAS SOUPS 13362 WITH SCORE 13383.174
AT ITER 5134 NEW BEST:: SOT 101484 SOS 21166 HAS SOPS 21166 HAS SOUS 13346 HAS SOUPS 13346 WITH SCORE 13367.166
AT ITER 5137 NEW BEST:: SOT 101485 SOS 21164 HAS SOPS 21164 HAS SOUS 13344 HAS SOUPS 13344 WITH SCORE 13365.164
AT ITER 5148 NEW BEST:: SOT 101465 SOS 21144 HAS SOPS 21144 HAS SOUS 13324 HAS SOUPS 13324 WITH SCORE 13345.144
AT ITER 5154 NEW BEST:: SOT 101465 SOS 21084 HAS SOPS 21084 HAS SOUS 13286 HAS SOUPS 13286 WITH SCORE 13307.084
AT ITER 5156 NEW BEST:: SOT 101443 SOS 21052 HAS SOPS 21052 HAS SOUS 13247 HAS SOUPS 13247 WITH SCORE 13268.052
AT ITER 5181 NEW BEST:: SOT 101446 SOS 21077 HAS SOPS 21077 HAS SOUS 13234 HAS SOUPS 13234 WITH SCORE 13255.077
AT ITER 5233 NEW BEST:: SOT 101443 SOS 21071 HAS SOPS 21071 HAS SOUS 13231 HAS SOUPS 13231 WITH SCORE 13252.071
AT ITER 5242 NEW BEST:: SOT 101439 SOS 21061 HAS SOPS 21061 HAS SOUS 13208 HAS SOUPS 13208 WITH SCORE 13229.061
AT ITER 5294 NEW BEST:: SOT 101431 SOS 21045 HAS SOPS 21045 HAS SOUS 13196 HAS SOUPS 13196 WITH SCORE 13217.045
AT ITER 5379 NEW BEST:: SOT 101436 SOS 21055 HAS SOPS 21055 HAS SOUS 13190 HAS SOUPS 13190 WITH SCORE 13211.055
AT ITER 5407 NEW BEST:: SOT 101424 SOS 21031 HAS SOPS 21031 HAS SOUS 13178 HAS SOUPS 13178 WITH SCORE 13199.031
AT ITER 5443 NEW BEST:: SOT 101418 SOS 21019 HAS SOPS 21019 HAS SOUS 13166 HAS SOUPS 13166 WITH SCORE 13187.019
AT ITER 5466 NEW BEST:: SOT 101370 SOS 20971 HAS SOPS 20971 HAS SOUS 13165 HAS SOUPS 13165 WITH SCORE 13185.971
AT ITER 5472 NEW BEST:: SOT 101372 SOS 20945 HAS SOPS 20945 HAS SOUS 13139 HAS SOUPS 13139 WITH SCORE 13159.945
AT ITER 5509 NEW BEST:: SOT 101362 SOS 21005 HAS SOPS 21005 HAS SOUS 13138 HAS SOUPS 13138 WITH SCORE 13159.005
AT ITER 5593 NEW BEST:: SOT 101344 SOS 20987 HAS SOPS 20987 HAS SOUS 13138 HAS SOUPS 13138 WITH SCORE 13158.987
AT ITER 5596 NEW BEST:: SOT 101344 SOS 20981 HAS SOPS 20981 HAS SOUS 13132 HAS SOUPS 13132 WITH SCORE 13152.981
AT ITER 5611 NEW BEST:: SOT 101305 SOS 20903 HAS SOPS 20903 HAS SOUS 13093 HAS SOUPS 13093 WITH SCORE 13113.903
AT ITER 5645 NEW BEST:: SOT 101305 SOS 20887 HAS SOPS 20887 HAS SOUS 13077 HAS SOUPS 13077 WITH SCORE 13097.887
AT ITER 5675 NEW BEST:: SOT 101316 SOS 20898 HAS SOPS 20898 HAS SOUS 13050 HAS SOUPS 13050 WITH SCORE 13070.898
AT ITER 5693 NEW BEST:: SOT 101305 SOS 20876 HAS SOPS 20876 HAS SOUS 13028 HAS SOUPS 13028 WITH SCORE 13048.876
AT ITER 5696 NEW BEST:: SOT 101292 SOS 20850 HAS SOPS 20850 HAS SOUS 13009 HAS SOUPS 13009 WITH SCORE 13029.85
AT ITER 5750 NEW BEST:: SOT 101232 SOS 21330 HAS SOPS 21330 HAS SOUS 12989 HAS SOUPS 12989 WITH SCORE 13010.33
AT ITER 5758 NEW BEST:: SOT 101226 SOS 21318 HAS SOPS 21318 HAS SOUS 12983 HAS SOUPS 12983 WITH SCORE 13004.318
AT ITER 5883 NEW BEST:: SOT 101221 SOS 21308 HAS SOPS 21308 HAS SOUS 12973 HAS SOUPS 12973 WITH SCORE 12994.308
AT ITER 5895 NEW BEST:: SOT 101221 SOS 21308 HAS SOPS 21308 HAS SOUS 12964 HAS SOUPS 12964 WITH SCORE 12985.308
AT ITER 5925 NEW BEST:: SOT 101214 SOS 21301 HAS SOPS 21301 HAS SOUS 12957 HAS SOUPS 12957 WITH SCORE 12978.301
AT ITER 5931 NEW BEST:: SOT 101206 SOS 21304 HAS SOPS 21304 HAS SOUS 12941 HAS SOUPS 12941 WITH SCORE 12962.304
AT ITER 5951 NEW BEST:: SOT 101206 SOS 21297 HAS SOPS 21297 HAS SOUS 12941 HAS SOUPS 12941 WITH SCORE 12962.297
AT ITER 5962 NEW BEST:: SOT 101199 SOS 21293 HAS SOPS 21293 HAS SOUS 12937 HAS SOUPS 12937 WITH SCORE 12958.293
AT ITER 5970 NEW BEST:: SOT 101199 SOS 21293 HAS SOPS 21293 HAS SOUS 12923 HAS SOUPS 12923 WITH SCORE 12944.293
AT ITER 5985 NEW BEST:: SOT 101195 SOS 21285 HAS SOPS 21285 HAS SOUS 12919 HAS SOUPS 12919 WITH SCORE 12940.285
AT ITER 5989 NEW BEST:: SOT 101191 SOS 21277 HAS SOPS 21277 HAS SOUS 12911 HAS SOUPS 12911 WITH SCORE 12932.277
AT ITER 6011 NEW BEST:: SOT 101180 SOS 21255 HAS SOPS 21255 HAS SOUS 12889 HAS SOUPS 12889 WITH SCORE 12910.255
AT ITER 6057 NEW BEST:: SOT 101154 SOS 21241 HAS SOPS 21241 HAS SOUS 12875 HAS SOUPS 12875 WITH SCORE 12896.241
AT ITER 6123 NEW BEST:: SOT 101152 SOS 21239 HAS SOPS 21239 HAS SOUS 12873 HAS SOUPS 12873 WITH SCORE 12894.239
AT ITER 6164 NEW BEST:: SOT 101147 SOS 21235 HAS SOPS 21235 HAS SOUS 12871 HAS SOUPS 12871 WITH SCORE 12892.235
AT ITER 6194 NEW BEST:: SOT 101143 SOS 21107 HAS SOPS 21107 HAS SOUS 12859 HAS SOUPS 12859 WITH SCORE 12880.107
AT ITER 6203 NEW BEST:: SOT 101143 SOS 21104 HAS SOPS 21104 HAS SOUS 12853 HAS SOUPS 12853 WITH SCORE 12874.104
AT ITER 6209 NEW BEST:: SOT 101139 SOS 21096 HAS SOPS 21096 HAS SOUS 12845 HAS SOUPS 12845 WITH SCORE 12866.096
AT ITER 6306 NEW BEST:: SOT 101104 SOS 21061 HAS SOPS 21061 HAS SOUS 12845 HAS SOUPS 12845 WITH SCORE 12866.061
AT ITER 6371 NEW BEST:: SOT 101098 SOS 21055 HAS SOPS 21055 HAS SOUS 12839 HAS SOUPS 12839 WITH SCORE 12860.055
AT ITER 6500 NEW BEST:: SOT 101139 SOS 20857 HAS SOPS 20857 HAS SOUS 12839 HAS SOUPS 12839 WITH SCORE 12859.857
AT ITER 6534 NEW BEST:: SOT 101139 SOS 20862 HAS SOPS 20862 HAS SOUS 12834 HAS SOUPS 12834 WITH SCORE 12854.862
AT ITER 6537 NEW BEST:: SOT 101138 SOS 20806 HAS SOPS 20806 HAS SOUS 12817 HAS SOUPS 12817 WITH SCORE 12837.806
AT ITER 6553 NEW BEST:: SOT 101126 SOS 20798 HAS SOPS 20798 HAS SOUS 12809 HAS SOUPS 12809 WITH SCORE 12829.798
AT ITER 6741 NEW BEST:: SOT 101102 SOS 20774 HAS SOPS 20774 HAS SOUS 12787 HAS SOUPS 12787 WITH SCORE 12807.774
AT ITER 6797 NEW BEST:: SOT 101097 SOS 20763 HAS SOPS 20763 HAS SOUS 12776 HAS SOUPS 12776 WITH SCORE 12796.763
AT ITER 6809 NEW BEST:: SOT 101092 SOS 20753 HAS SOPS 20753 HAS SOUS 12766 HAS SOUPS 12766 WITH SCORE 12786.753
AT ITER 6821 NEW BEST:: SOT 101086 SOS 20727 HAS SOPS 20727 HAS SOUS 12754 HAS SOUPS 12754 WITH SCORE 12774.727
AT ITER 6833 NEW BEST:: SOT 101080 SOS 20715 HAS SOPS 20715 HAS SOUS 12748 HAS SOUPS 12748 WITH SCORE 12768.715
AT ITER 6842 NEW BEST:: SOT 101080 SOS 20701 HAS SOPS 20701 HAS SOUS 12748 HAS SOUPS 12748 WITH SCORE 12768.701
AT ITER 6884 NEW BEST:: SOT 101079 SOS 20699 HAS SOPS 20699 HAS SOUS 12747 HAS SOUPS 12747 WITH SCORE 12767.699
AT ITER 6890 NEW BEST:: SOT 101058 SOS 20678 HAS SOPS 20678 HAS SOUS 12735 HAS SOUPS 12735 WITH SCORE 12755.678
AT ITER 6958 NEW BEST:: SOT 101041 SOS 20668 HAS SOPS 20668 HAS SOUS 12722 HAS SOUPS 12722 WITH SCORE 12742.668
AT ITER 7013 NEW BEST:: SOT 101041 SOS 20665 HAS SOPS 20665 HAS SOUS 12719 HAS SOUPS 12719 WITH SCORE 12739.665
AT ITER 7042 NEW BEST:: SOT 101040 SOS 20662 HAS SOPS 20662 HAS SOUS 12717 HAS SOUPS 12717 WITH SCORE 12737.662
AT ITER 7048 NEW BEST:: SOT 101039 SOS 20659 HAS SOPS 20659 HAS SOUS 12715 HAS SOUPS 12715 WITH SCORE 12735.659
AT ITER 7063 NEW BEST:: SOT 101035 SOS 20651 HAS SOPS 20651 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12727.651
AT ITER 7070 NEW BEST:: SOT 101022 SOS 20641 HAS SOPS 20641 HAS SOUS 12694 HAS SOUPS 12694 WITH SCORE 12714.641
AT ITER 7072 NEW BEST:: SOT 101019 SOS 20638 HAS SOPS 20638 HAS SOUS 12691 HAS SOUPS 12691 WITH SCORE 12711.638
AT ITER 7076 NEW BEST:: SOT 101003 SOS 20615 HAS SOPS 20615 HAS SOUS 12686 HAS SOUPS 12686 WITH SCORE 12706.615
AT ITER 7164 NEW BEST:: SOT 101012 SOS 20624 HAS SOPS 20624 HAS SOUS 12676 HAS SOUPS 12676 WITH SCORE 12696.624
AT ITER 7188 NEW BEST:: SOT 100983 SOS 20566 HAS SOPS 20566 HAS SOUS 12626 HAS SOUPS 12626 WITH SCORE 12646.566
AT ITER 7314 NEW BEST:: SOT 100983 SOS 20547 HAS SOPS 20547 HAS SOUS 12626 HAS SOUPS 12626 WITH SCORE 12646.547
AT ITER 7316 NEW BEST:: SOT 100949 SOS 20513 HAS SOPS 20513 HAS SOUS 12626 HAS SOUPS 12626 WITH SCORE 12646.513
AT ITER 7334 NEW BEST:: SOT 100944 SOS 20508 HAS SOPS 20508 HAS SOUS 12624 HAS SOUPS 12624 WITH SCORE 12644.508
AT ITER 7390 NEW BEST:: SOT 100900 SOS 20442 HAS SOPS 20442 HAS SOUS 12570 HAS SOUPS 12570 WITH SCORE 12590.442
AT ITER 7408 NEW BEST:: SOT 100900 SOS 20441 HAS SOPS 20441 HAS SOUS 12569 HAS SOUPS 12569 WITH SCORE 12589.441
AT ITER 7409 NEW BEST:: SOT 100900 SOS 20438 HAS SOPS 20438 HAS SOUS 12569 HAS SOUPS 12569 WITH SCORE 12589.438
AT ITER 7466 NEW BEST:: SOT 100900 SOS 20428 HAS SOPS 20428 HAS SOUS 12559 HAS SOUPS 12559 WITH SCORE 12579.428
AT ITER 7529 NEW BEST:: SOT 100900 SOS 20428 HAS SOPS 20428 HAS SOUS 12530 HAS SOUPS 12530 WITH SCORE 12550.428
AT ITER 7538 NEW BEST:: SOT 100917 SOS 20411 HAS SOPS 20411 HAS SOUS 12530 HAS SOUPS 12530 WITH SCORE 12550.411
AT ITER 7539 NEW BEST:: SOT 100917 SOS 20366 HAS SOPS 20366 HAS SOUS 12530 HAS SOUPS 12530 WITH SCORE 12550.366
AT ITER 7606 NEW BEST:: SOT 100920 SOS 20365 HAS SOPS 20365 HAS SOUS 12529 HAS SOUPS 12529 WITH SCORE 12549.365
AT ITER 7648 NEW BEST:: SOT 100881 SOS 20361 HAS SOPS 20361 HAS SOUS 12525 HAS SOUPS 12525 WITH SCORE 12545.361
AT ITER 7793 NEW BEST:: SOT 100879 SOS 20347 HAS SOPS 20347 HAS SOUS 12511 HAS SOUPS 12511 WITH SCORE 12531.347
AT ITER 7875 NEW BEST:: SOT 100855 SOS 20299 HAS SOPS 20299 HAS SOUS 12496 HAS SOUPS 12496 WITH SCORE 12516.299
AT ITER 7876 NEW BEST:: SOT 100853 SOS 20297 HAS SOPS 20297 HAS SOUS 12494 HAS SOUPS 12494 WITH SCORE 12514.297
AT ITER 7915 NEW BEST:: SOT 100852 SOS 20270 HAS SOPS 20270 HAS SOUS 12474 HAS SOUPS 12474 WITH SCORE 12494.27
AT ITER 7926 NEW BEST:: SOT 100835 SOS 20236 HAS SOPS 20236 HAS SOUS 12474 HAS SOUPS 12474 WITH SCORE 12494.236
AT ITER 7953 NEW BEST:: SOT 100835 SOS 20238 HAS SOPS 20238 HAS SOUS 12473 HAS SOUPS 12473 WITH SCORE 12493.238
AT ITER 7992 NEW BEST:: SOT 100835 SOS 20230 HAS SOPS 20230 HAS SOUS 12465 HAS SOUPS 12465 WITH SCORE 12485.23
AT ITER 8012 NEW BEST:: SOT 100848 SOS 20256 HAS SOPS 20256 HAS SOUS 12460 HAS SOUPS 12460 WITH SCORE 12480.256
AT ITER 8024 NEW BEST:: SOT 100820 SOS 20244 HAS SOPS 20244 HAS SOUS 12455 HAS SOUPS 12455 WITH SCORE 12475.244
AT ITER 8076 NEW BEST:: SOT 100825 SOS 20221 HAS SOPS 20221 HAS SOUS 12439 HAS SOUPS 12439 WITH SCORE 12459.221
AT ITER 8118 NEW BEST:: SOT 100815 SOS 20207 HAS SOPS 20207 HAS SOUS 12429 HAS SOUPS 12429 WITH SCORE 12449.207
AT ITER 8123 NEW BEST:: SOT 100815 SOS 20171 HAS SOPS 20171 HAS SOUS 12413 HAS SOUPS 12413 WITH SCORE 12433.171
AT ITER 8128 NEW BEST:: SOT 100815 SOS 20169 HAS SOPS 20169 HAS SOUS 12413 HAS SOUPS 12413 WITH SCORE 12433.169
AT ITER 8152 NEW BEST:: SOT 100802 SOS 20144 HAS SOPS 20144 HAS SOUS 12400 HAS SOUPS 12400 WITH SCORE 12420.144
AT ITER 8166 NEW BEST:: SOT 100789 SOS 20126 HAS SOPS 20126 HAS SOUS 12390 HAS SOUPS 12390 WITH SCORE 12410.126
AT ITER 8167 NEW BEST:: SOT 100757 SOS 20118 HAS SOPS 20118 HAS SOUS 12376 HAS SOUPS 12376 WITH SCORE 12396.118
AT ITER 8170 NEW BEST:: SOT 100757 SOS 20088 HAS SOPS 20088 HAS SOUS 12376 HAS SOUPS 12376 WITH SCORE 12396.088
AT ITER 8171 NEW BEST:: SOT 100757 SOS 20085 HAS SOPS 20085 HAS SOUS 12376 HAS SOUPS 12376 WITH SCORE 12396.085
AT ITER 8174 NEW BEST:: SOT 100770 SOS 20081 HAS SOPS 20081 HAS SOUS 12372 HAS SOUPS 12372 WITH SCORE 12392.081
AT ITER 8200 NEW BEST:: SOT 100768 SOS 20077 HAS SOPS 20077 HAS SOUS 12368 HAS SOUPS 12368 WITH SCORE 12388.077
AT ITER 8211 NEW BEST:: SOT 100765 SOS 20071 HAS SOPS 20071 HAS SOUS 12362 HAS SOUPS 12362 WITH SCORE 12382.071
AT ITER 8272 NEW BEST:: SOT 100753 SOS 20047 HAS SOPS 20047 HAS SOUS 12347 HAS SOUPS 12347 WITH SCORE 12367.047
AT ITER 8320 NEW BEST:: SOT 100748 SOS 20042 HAS SOPS 20042 HAS SOUS 12347 HAS SOUPS 12347 WITH SCORE 12367.042
AT ITER 8334 NEW BEST:: SOT 100741 SOS 20028 HAS SOPS 20028 HAS SOUS 12329 HAS SOUPS 12329 WITH SCORE 12349.028
AT ITER 8421 NEW BEST:: SOT 100767 SOS 20071 HAS SOPS 20071 HAS SOUS 12320 HAS SOUPS 12320 WITH SCORE 12340.071
AT ITER 8450 NEW BEST:: SOT 100766 SOS 20069 HAS SOPS 20069 HAS SOUS 12318 HAS SOUPS 12318 WITH SCORE 12338.069
AT ITER 8457 NEW BEST:: SOT 100763 SOS 20066 HAS SOPS 20066 HAS SOUS 12318 HAS SOUPS 12318 WITH SCORE 12338.066
AT ITER 8490 NEW BEST:: SOT 100757 SOS 20054 HAS SOPS 20054 HAS SOUS 12308 HAS SOUPS 12308 WITH SCORE 12328.054
AT ITER 8619 NEW BEST:: SOT 100765 SOS 20051 HAS SOPS 20051 HAS SOUS 12287 HAS SOUPS 12287 WITH SCORE 12307.051
AT ITER 8626 NEW BEST:: SOT 100765 SOS 20048 HAS SOPS 20048 HAS SOUS 12287 HAS SOUPS 12287 WITH SCORE 12307.048
AT ITER 8714 NEW BEST:: SOT 100759 SOS 20036 HAS SOPS 20036 HAS SOUS 12275 HAS SOUPS 12275 WITH SCORE 12295.036
AT ITER 8715 NEW BEST:: SOT 100758 SOS 20021 HAS SOPS 20021 HAS SOUS 12270 HAS SOUPS 12270 WITH SCORE 12290.021
AT ITER 8717 NEW BEST:: SOT 100752 SOS 20023 HAS SOPS 20023 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12284.023
AT ITER 8761 NEW BEST:: SOT 100608 SOS 20507 HAS SOPS 20507 HAS SOUS 12214 HAS SOUPS 12214 WITH SCORE 12234.507
AT ITER 8798 NEW BEST:: SOT 100603 SOS 20497 HAS SOPS 20497 HAS SOUS 12209 HAS SOUPS 12209 WITH SCORE 12229.497
AT ITER 8856 NEW BEST:: SOT 100594 SOS 20492 HAS SOPS 20492 HAS SOUS 12204 HAS SOUPS 12204 WITH SCORE 12224.492
AT ITER 8892 NEW BEST:: SOT 100593 SOS 20491 HAS SOPS 20491 HAS SOUS 12203 HAS SOUPS 12203 WITH SCORE 12223.491
AT ITER 8914 NEW BEST:: SOT 100592 SOS 20478 HAS SOPS 20478 HAS SOUS 12190 HAS SOUPS 12190 WITH SCORE 12210.478
AT ITER 8927 NEW BEST:: SOT 100592 SOS 20465 HAS SOPS 20465 HAS SOUS 12190 HAS SOUPS 12190 WITH SCORE 12210.465
AT ITER 8965 NEW BEST:: SOT 100592 SOS 20462 HAS SOPS 20462 HAS SOUS 12187 HAS SOUPS 12187 WITH SCORE 12207.462
AT ITER 8989 NEW BEST:: SOT 100582 SOS 20507 HAS SOPS 20507 HAS SOUS 12177 HAS SOUPS 12177 WITH SCORE 12197.507
AT ITER 8990 NEW BEST:: SOT 100581 SOS 20505 HAS SOPS 20505 HAS SOUS 12175 HAS SOUPS 12175 WITH SCORE 12195.505
AT ITER 9022 NEW BEST:: SOT 100553 SOS 20421 HAS SOPS 20421 HAS SOUS 12110 HAS SOUPS 12110 WITH SCORE 12130.421
AT ITER 9038 NEW BEST:: SOT 100555 SOS 20399 HAS SOPS 20399 HAS SOUS 12110 HAS SOUPS 12110 WITH SCORE 12130.399
AT ITER 9091 NEW BEST:: SOT 100555 SOS 20395 HAS SOPS 20395 HAS SOUS 12106 HAS SOUPS 12106 WITH SCORE 12126.395
AT ITER 9172 NEW BEST:: SOT 100467 SOS 20913 HAS SOPS 20913 HAS SOUS 12073 HAS SOUPS 12073 WITH SCORE 12093.913
AT ITER 9175 NEW BEST:: SOT 100467 SOS 20913 HAS SOPS 20913 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12072.913
AT ITER 9203 NEW BEST:: SOT 100436 SOS 20914 HAS SOPS 20914 HAS SOUS 12031 HAS SOUPS 12031 WITH SCORE 12051.914
AT ITER 9208 NEW BEST:: SOT 100436 SOS 20914 HAS SOPS 20914 HAS SOUS 12028 HAS SOUPS 12028 WITH SCORE 12048.914
AT ITER 9228 NEW BEST:: SOT 100464 SOS 20914 HAS SOPS 20914 HAS SOUS 12011 HAS SOUPS 12011 WITH SCORE 12031.914
AT ITER 9232 NEW BEST:: SOT 100465 SOS 20916 HAS SOPS 20916 HAS SOUS 11987 HAS SOUPS 11987 WITH SCORE 12007.916
AT ITER 9272 NEW BEST:: SOT 100465 SOS 20916 HAS SOPS 20916 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 12000.916
AT ITER 9287 NEW BEST:: SOT 100460 SOS 20911 HAS SOPS 20911 HAS SOUS 11976 HAS SOUPS 11976 WITH SCORE 11996.911
AT ITER 9289 NEW BEST:: SOT 100456 SOS 20903 HAS SOPS 20903 HAS SOUS 11968 HAS SOUPS 11968 WITH SCORE 11988.903
AT ITER 9336 NEW BEST:: SOT 100448 SOS 20887 HAS SOPS 20887 HAS SOUS 11952 HAS SOUPS 11952 WITH SCORE 11972.887
AT ITER 9343 NEW BEST:: SOT 100360 SOS 20826 HAS SOPS 20826 HAS SOUS 11910 HAS SOUPS 11910 WITH SCORE 11930.826
AT ITER 9359 NEW BEST:: SOT 100360 SOS 20741 HAS SOPS 20741 HAS SOUS 11909 HAS SOUPS 11909 WITH SCORE 11929.741
AT ITER 9361 NEW BEST:: SOT 100321 SOS 20702 HAS SOPS 20702 HAS SOUS 11870 HAS SOUPS 11870 WITH SCORE 11890.702
AT ITER 9363 NEW BEST:: SOT 100316 SOS 20697 HAS SOPS 20697 HAS SOUS 11870 HAS SOUPS 11870 WITH SCORE 11890.697
AT ITER 9398 NEW BEST:: SOT 100309 SOS 20694 HAS SOPS 20694 HAS SOUS 11867 HAS SOUPS 11867 WITH SCORE 11887.694
AT ITER 9409 NEW BEST:: SOT 100306 SOS 20688 HAS SOPS 20688 HAS SOUS 11846 HAS SOUPS 11846 WITH SCORE 11866.688
AT ITER 9410 NEW BEST:: SOT 100295 SOS 20666 HAS SOPS 20666 HAS SOUS 11835 HAS SOUPS 11835 WITH SCORE 11855.666
AT ITER 9467 NEW BEST:: SOT 100317 SOS 20746 HAS SOPS 20746 HAS SOUS 11821 HAS SOUPS 11821 WITH SCORE 11841.746
AT ITER 9496 NEW BEST:: SOT 100317 SOS 20546 HAS SOPS 20546 HAS SOUS 11813 HAS SOUPS 11813 WITH SCORE 11833.546
AT ITER 9507 NEW BEST:: SOT 100320 SOS 20552 HAS SOPS 20552 HAS SOUS 11803 HAS SOUPS 11803 WITH SCORE 11823.552
AT ITER 9531 NEW BEST:: SOT 100332 SOS 20524 HAS SOPS 20524 HAS SOUS 11782 HAS SOUPS 11782 WITH SCORE 11802.524
AT ITER 9650 NEW BEST:: SOT 100262 SOS 20454 HAS SOPS 20454 HAS SOUS 11782 HAS SOUPS 11782 WITH SCORE 11802.454
AT ITER 9687 NEW BEST:: SOT 100262 SOS 20454 HAS SOPS 20454 HAS SOUS 11777 HAS SOUPS 11777 WITH SCORE 11797.454
AT ITER 9704 NEW BEST:: SOT 100259 SOS 20448 HAS SOPS 20448 HAS SOUS 11774 HAS SOUPS 11774 WITH SCORE 11794.448
AT ITER 9722 NEW BEST:: SOT 100227 SOS 20384 HAS SOPS 20384 HAS SOUS 11755 HAS SOUPS 11755 WITH SCORE 11775.384
AT ITER 9752 NEW BEST:: SOT 100227 SOS 20363 HAS SOPS 20363 HAS SOUS 11755 HAS SOUPS 11755 WITH SCORE 11775.363
AT ITER 9800 NEW BEST:: SOT 100227 SOS 20355 HAS SOPS 20355 HAS SOUS 11747 HAS SOUPS 11747 WITH SCORE 11767.355
AT ITER 9858 NEW BEST:: SOT 100227 SOS 20337 HAS SOPS 20337 HAS SOUS 11747 HAS SOUPS 11747 WITH SCORE 11767.337
AT ITER 9917 NEW BEST:: SOT 100203 SOS 20311 HAS SOPS 20311 HAS SOUS 11743 HAS SOUPS 11743 WITH SCORE 11763.311
AT ITER 9928 NEW BEST:: SOT 100199 SOS 20303 HAS SOPS 20303 HAS SOUS 11724 HAS SOUPS 11724 WITH SCORE 11744.303
AT ITER 9959 NEW BEST:: SOT 100198 SOS 20270 HAS SOPS 20270 HAS SOUS 11699 HAS SOUPS 11699 WITH SCORE 11719.27

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="SmartHome-PT-14"
export BK_EXAMINATION="StateSpace"
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 SmartHome-PT-14, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538300112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-14.tgz
mv SmartHome-PT-14 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;