Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502600252.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Raft-PT-06, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502600252
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 2.8K Apr 12 08:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 12 08:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 11 09:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 11 09:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 9 21:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 21:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 89K Mar 24 05:38 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 Raft-PT-06-CTLFireability-00
FORMULA_NAME Raft-PT-06-CTLFireability-01
FORMULA_NAME Raft-PT-06-CTLFireability-02
FORMULA_NAME Raft-PT-06-CTLFireability-03
FORMULA_NAME Raft-PT-06-CTLFireability-04
FORMULA_NAME Raft-PT-06-CTLFireability-05
FORMULA_NAME Raft-PT-06-CTLFireability-06
FORMULA_NAME Raft-PT-06-CTLFireability-07
FORMULA_NAME Raft-PT-06-CTLFireability-08
FORMULA_NAME Raft-PT-06-CTLFireability-09
FORMULA_NAME Raft-PT-06-CTLFireability-10
FORMULA_NAME Raft-PT-06-CTLFireability-11
FORMULA_NAME Raft-PT-06-CTLFireability-12
FORMULA_NAME Raft-PT-06-CTLFireability-13
FORMULA_NAME Raft-PT-06-CTLFireability-14
FORMULA_NAME Raft-PT-06-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589799839225

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 06
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 188 places, 332 transitions, 1231 arcs.
AT ITER 0 NEW BEST:: SOT 54322 SOS 35622 HAS SOPS 35598 HAS SOUS 28141 HAS SOUPS 28135 WITH SCORE 28170.622
AT ITER 1 NEW BEST:: SOT 54060 SOS 35359 HAS SOPS 35306 HAS SOUS 27877 HAS SOUPS 27843 WITH SCORE 27878.359
AT ITER 2 NEW BEST:: SOT 54016 SOS 35291 HAS SOPS 35234 HAS SOUS 27754 HAS SOUPS 27717 WITH SCORE 27752.291
AT ITER 4 NEW BEST:: SOT 54016 SOS 35299 HAS SOPS 35242 HAS SOUS 27749 HAS SOUPS 27712 WITH SCORE 27747.299
AT ITER 7 NEW BEST:: SOT 53880 SOS 35332 HAS SOPS 35267 HAS SOUS 27647 HAS SOUPS 27603 WITH SCORE 27638.332
AT ITER 8 NEW BEST:: SOT 53750 SOS 35162 HAS SOPS 35081 HAS SOUS 27427 HAS SOUPS 27371 WITH SCORE 27406.162
AT ITER 11 NEW BEST:: SOT 53518 SOS 34942 HAS SOPS 34832 HAS SOUS 27177 HAS SOUPS 27093 WITH SCORE 27127.942
AT ITER 12 NEW BEST:: SOT 53342 SOS 34758 HAS SOPS 34617 HAS SOUS 26892 HAS SOUPS 26808 WITH SCORE 26842.758
AT ITER 16 NEW BEST:: SOT 53342 SOS 34518 HAS SOPS 34377 HAS SOUS 26859 HAS SOUPS 26775 WITH SCORE 26809.518
AT ITER 17 NEW BEST:: SOT 53342 SOS 34535 HAS SOPS 34394 HAS SOUS 26842 HAS SOUPS 26758 WITH SCORE 26792.535
AT ITER 19 NEW BEST:: SOT 53342 SOS 34439 HAS SOPS 34298 HAS SOUS 26819 HAS SOUPS 26735 WITH SCORE 26769.439
AT ITER 28 NEW BEST:: SOT 53163 SOS 34441 HAS SOPS 34300 HAS SOUS 26776 HAS SOUPS 26692 WITH SCORE 26726.441
AT ITER 34 NEW BEST:: SOT 53085 SOS 34243 HAS SOPS 34083 HAS SOUS 26579 HAS SOUPS 26495 WITH SCORE 26529.243
AT ITER 37 NEW BEST:: SOT 53085 SOS 34242 HAS SOPS 34082 HAS SOUS 26579 HAS SOUPS 26495 WITH SCORE 26529.242
AT ITER 39 NEW BEST:: SOT 53049 SOS 34206 HAS SOPS 34046 HAS SOUS 26542 HAS SOUPS 26458 WITH SCORE 26492.206
AT ITER 47 NEW BEST:: SOT 53049 SOS 34176 HAS SOPS 34016 HAS SOUS 26512 HAS SOUPS 26428 WITH SCORE 26462.176
AT ITER 49 NEW BEST:: SOT 52969 SOS 33999 HAS SOPS 33823 HAS SOUS 26279 HAS SOUPS 26188 WITH SCORE 26221.999
AT ITER 51 NEW BEST:: SOT 52969 SOS 33999 HAS SOPS 33823 HAS SOUS 26269 HAS SOUPS 26178 WITH SCORE 26211.999
AT ITER 52 NEW BEST:: SOT 51717 SOS 34397 HAS SOPS 32775 HAS SOUS 25633 HAS SOUPS 25440 WITH SCORE 25474.397
AT ITER 54 NEW BEST:: SOT 51690 SOS 34308 HAS SOPS 32694 HAS SOUS 25588 HAS SOUPS 25395 WITH SCORE 25429.308
AT ITER 55 NEW BEST:: SOT 51482 SOS 34076 HAS SOPS 32490 HAS SOUS 25396 HAS SOUPS 25208 WITH SCORE 25242.076
AT ITER 56 NEW BEST:: SOT 51482 SOS 34040 HAS SOPS 32454 HAS SOUS 25345 HAS SOUPS 25157 WITH SCORE 25191.04
AT ITER 57 NEW BEST:: SOT 51482 SOS 33979 HAS SOPS 32454 HAS SOUS 25345 HAS SOUPS 25157 WITH SCORE 25190.979
AT ITER 58 NEW BEST:: SOT 51278 SOS 33775 HAS SOPS 32250 HAS SOUS 25144 HAS SOUPS 24956 WITH SCORE 24989.775
AT ITER 60 NEW BEST:: SOT 51278 SOS 33705 HAS SOPS 32180 HAS SOUS 25109 HAS SOUPS 24921 WITH SCORE 24954.705
AT ITER 61 NEW BEST:: SOT 49111 SOS 31030 HAS SOPS 29505 HAS SOUS 22864 HAS SOUPS 22676 WITH SCORE 22707.03
AT ITER 63 NEW BEST:: SOT 49111 SOS 30967 HAS SOPS 29442 HAS SOUS 22864 HAS SOUPS 22676 WITH SCORE 22706.967
AT ITER 70 NEW BEST:: SOT 49023 SOS 31014 HAS SOPS 29479 HAS SOUS 22807 HAS SOUPS 22619 WITH SCORE 22650.014
AT ITER 72 NEW BEST:: SOT 49023 SOS 30942 HAS SOPS 29479 HAS SOUS 22807 HAS SOUPS 22619 WITH SCORE 22649.942
AT ITER 74 NEW BEST:: SOT 49013 SOS 31081 HAS SOPS 29615 HAS SOUS 22771 HAS SOUPS 22583 WITH SCORE 22614.081
AT ITER 75 NEW BEST:: SOT 49013 SOS 30756 HAS SOPS 29290 HAS SOUS 22771 HAS SOUPS 22583 WITH SCORE 22613.756
AT ITER 78 NEW BEST:: SOT 48995 SOS 30738 HAS SOPS 29272 HAS SOUS 22753 HAS SOUPS 22565 WITH SCORE 22595.738
AT ITER 82 NEW BEST:: SOT 48623 SOS 30299 HAS SOPS 29022 HAS SOUS 22576 HAS SOUPS 22388 WITH SCORE 22418.299
AT ITER 84 NEW BEST:: SOT 48678 SOS 30252 HAS SOPS 28967 HAS SOUS 22431 HAS SOUPS 22236 WITH SCORE 22266.252
AT ITER 85 NEW BEST:: SOT 48544 SOS 30239 HAS SOPS 28954 HAS SOUS 22323 HAS SOUPS 22128 WITH SCORE 22158.239
AT ITER 86 NEW BEST:: SOT 48358 SOS 30264 HAS SOPS 28979 HAS SOUS 22257 HAS SOUPS 22062 WITH SCORE 22092.264
AT ITER 87 NEW BEST:: SOT 48358 SOS 30269 HAS SOPS 28979 HAS SOUS 22253 HAS SOUPS 22058 WITH SCORE 22088.269
AT ITER 93 NEW BEST:: SOT 46831 SOS 30012 HAS SOPS 27776 HAS SOUS 21302 HAS SOUPS 21022 WITH SCORE 21052.012
AT ITER 96 NEW BEST:: SOT 46626 SOS 29661 HAS SOPS 27576 HAS SOUS 21163 HAS SOUPS 20883 WITH SCORE 20912.661
AT ITER 97 NEW BEST:: SOT 46584 SOS 29604 HAS SOPS 27519 HAS SOUS 21121 HAS SOUPS 20841 WITH SCORE 20870.604
AT ITER 98 NEW BEST:: SOT 46576 SOS 29588 HAS SOPS 27503 HAS SOUS 21121 HAS SOUPS 20841 WITH SCORE 20870.588
AT ITER 103 NEW BEST:: SOT 46567 SOS 29512 HAS SOPS 27422 HAS SOUS 21040 HAS SOUPS 20760 WITH SCORE 20789.512
AT ITER 106 NEW BEST:: SOT 46504 SOS 29386 HAS SOPS 27296 HAS SOUS 20851 HAS SOUPS 20571 WITH SCORE 20600.386
AT ITER 107 NEW BEST:: SOT 46543 SOS 29405 HAS SOPS 27315 HAS SOUS 20850 HAS SOUPS 20570 WITH SCORE 20599.405
AT ITER 116 NEW BEST:: SOT 46549 SOS 29176 HAS SOPS 27086 HAS SOUS 20774 HAS SOUPS 20494 WITH SCORE 20523.176
AT ITER 117 NEW BEST:: SOT 46613 SOS 29010 HAS SOPS 26920 HAS SOUS 20758 HAS SOUPS 20478 WITH SCORE 20507.01
AT ITER 118 NEW BEST:: SOT 46258 SOS 28879 HAS SOPS 26939 HAS SOUS 20553 HAS SOUPS 20274 WITH SCORE 20302.879
AT ITER 127 NEW BEST:: SOT 46258 SOS 28771 HAS SOPS 26903 HAS SOUS 20503 HAS SOUPS 20224 WITH SCORE 20252.771
AT ITER 128 NEW BEST:: SOT 44803 SOS 29169 HAS SOPS 26074 HAS SOUS 19902 HAS SOUPS 19528 WITH SCORE 19557.169
AT ITER 133 NEW BEST:: SOT 44782 SOS 29127 HAS SOPS 26032 HAS SOUS 19881 HAS SOUPS 19507 WITH SCORE 19536.127
AT ITER 136 NEW BEST:: SOT 44628 SOS 28876 HAS SOPS 25826 HAS SOUS 19650 HAS SOUPS 19276 WITH SCORE 19304.876
AT ITER 137 NEW BEST:: SOT 42758 SOS 28817 HAS SOPS 24395 HAS SOUS 18654 HAS SOUPS 18164 WITH SCORE 18192.817
AT ITER 150 NEW BEST:: SOT 42662 SOS 28721 HAS SOPS 24371 HAS SOUS 18628 HAS SOUPS 18138 WITH SCORE 18166.721
AT ITER 151 NEW BEST:: SOT 42649 SOS 28708 HAS SOPS 24345 HAS SOUS 18601 HAS SOUPS 18111 WITH SCORE 18139.708
AT ITER 155 NEW BEST:: SOT 42475 SOS 28534 HAS SOPS 24219 HAS SOUS 18504 HAS SOUPS 18014 WITH SCORE 18042.534
AT ITER 156 NEW BEST:: SOT 42231 SOS 28290 HAS SOPS 24110 HAS SOUS 18327 HAS SOUPS 17837 WITH SCORE 17865.29
AT ITER 159 NEW BEST:: SOT 42223 SOS 28257 HAS SOPS 24069 HAS SOUS 18311 HAS SOUPS 17821 WITH SCORE 17849.257
AT ITER 162 NEW BEST:: SOT 42139 SOS 28068 HAS SOPS 23922 HAS SOUS 18242 HAS SOUPS 17752 WITH SCORE 17780.068
AT ITER 165 NEW BEST:: SOT 42131 SOS 28060 HAS SOPS 23914 HAS SOUS 18240 HAS SOUPS 17750 WITH SCORE 17778.06
AT ITER 169 NEW BEST:: SOT 41877 SOS 27806 HAS SOPS 23713 HAS SOUS 18029 HAS SOUPS 17539 WITH SCORE 17566.806
AT ITER 171 NEW BEST:: SOT 41813 SOS 27698 HAS SOPS 23738 HAS SOUS 18027 HAS SOUPS 17537 WITH SCORE 17564.698
AT ITER 173 NEW BEST:: SOT 41831 SOS 27929 HAS SOPS 24239 HAS SOUS 17893 HAS SOUPS 17403 WITH SCORE 17430.929
AT ITER 179 NEW BEST:: SOT 41831 SOS 27869 HAS SOPS 24239 HAS SOUS 17893 HAS SOUPS 17403 WITH SCORE 17430.869
AT ITER 186 NEW BEST:: SOT 41747 SOS 27676 HAS SOPS 24094 HAS SOUS 17809 HAS SOUPS 17319 WITH SCORE 17346.676
AT ITER 187 NEW BEST:: SOT 41739 SOS 27668 HAS SOPS 24086 HAS SOUS 17803 HAS SOUPS 17313 WITH SCORE 17340.668
AT ITER 190 NEW BEST:: SOT 41512 SOS 27584 HAS SOPS 23997 HAS SOUS 17569 HAS SOUPS 17079 WITH SCORE 17106.584
AT ITER 192 NEW BEST:: SOT 41504 SOS 27576 HAS SOPS 23989 HAS SOUS 17560 HAS SOUPS 17070 WITH SCORE 17097.576
AT ITER 194 NEW BEST:: SOT 41504 SOS 27576 HAS SOPS 23956 HAS SOUS 17527 HAS SOUPS 17037 WITH SCORE 17064.576
AT ITER 197 NEW BEST:: SOT 41504 SOS 27576 HAS SOPS 23956 HAS SOUS 17525 HAS SOUPS 17035 WITH SCORE 17062.576
AT ITER 200 NEW BEST:: SOT 41470 SOS 27525 HAS SOPS 23888 HAS SOUS 17457 HAS SOUPS 16967 WITH SCORE 16994.525
AT ITER 201 NEW BEST:: SOT 41435 SOS 27130 HAS SOPS 23493 HAS SOUS 17256 HAS SOUPS 16766 WITH SCORE 16793.13
AT ITER 204 NEW BEST:: SOT 41435 SOS 27017 HAS SOPS 23432 HAS SOUS 17256 HAS SOUPS 16766 WITH SCORE 16793.017
AT ITER 205 NEW BEST:: SOT 41221 SOS 26818 HAS SOPS 23474 HAS SOUS 17187 HAS SOUPS 16720 WITH SCORE 16746.818
AT ITER 206 NEW BEST:: SOT 41027 SOS 26562 HAS SOPS 23218 HAS SOUS 17045 HAS SOUPS 16578 WITH SCORE 16604.562
AT ITER 213 NEW BEST:: SOT 40959 SOS 26494 HAS SOPS 23116 HAS SOUS 16992 HAS SOUPS 16510 WITH SCORE 16536.494
AT ITER 221 NEW BEST:: SOT 41069 SOS 26416 HAS SOPS 22856 HAS SOUS 16947 HAS SOUPS 16465 WITH SCORE 16491.416
AT ITER 226 NEW BEST:: SOT 40928 SOS 26275 HAS SOPS 22715 HAS SOUS 16793 HAS SOUPS 16311 WITH SCORE 16337.275
AT ITER 232 NEW BEST:: SOT 40890 SOS 26213 HAS SOPS 22691 HAS SOUS 16761 HAS SOUPS 16279 WITH SCORE 16305.213
AT ITER 233 NEW BEST:: SOT 40722 SOS 26045 HAS SOPS 22523 HAS SOUS 16564 HAS SOUPS 16082 WITH SCORE 16108.045
AT ITER 239 NEW BEST:: SOT 40738 SOS 26105 HAS SOPS 22535 HAS SOUS 16540 HAS SOUPS 16058 WITH SCORE 16084.105
AT ITER 252 NEW BEST:: SOT 40612 SOS 25896 HAS SOPS 22357 HAS SOUS 16403 HAS SOUPS 15921 WITH SCORE 15946.896
AT ITER 253 NEW BEST:: SOT 40654 SOS 25768 HAS SOPS 22229 HAS SOUS 16399 HAS SOUPS 15917 WITH SCORE 15942.768
AT ITER 256 NEW BEST:: SOT 40689 SOS 25803 HAS SOPS 22154 HAS SOUS 16350 HAS SOUPS 15868 WITH SCORE 15893.803
AT ITER 257 NEW BEST:: SOT 40689 SOS 25785 HAS SOPS 22136 HAS SOUS 16350 HAS SOUPS 15868 WITH SCORE 15893.785
AT ITER 261 NEW BEST:: SOT 40684 SOS 25780 HAS SOPS 22131 HAS SOUS 16344 HAS SOUPS 15862 WITH SCORE 15887.78
AT ITER 262 NEW BEST:: SOT 40654 SOS 25609 HAS SOPS 21961 HAS SOUS 16230 HAS SOUPS 15748 WITH SCORE 15773.609
AT ITER 263 NEW BEST:: SOT 40648 SOS 25603 HAS SOPS 21948 HAS SOUS 16220 HAS SOUPS 15738 WITH SCORE 15763.603
AT ITER 270 NEW BEST:: SOT 40537 SOS 25465 HAS SOPS 21907 HAS SOUS 16180 HAS SOUPS 15698 WITH SCORE 15723.465
AT ITER 271 NEW BEST:: SOT 40536 SOS 25505 HAS SOPS 21968 HAS SOUS 16179 HAS SOUPS 15697 WITH SCORE 15722.505
AT ITER 273 NEW BEST:: SOT 40538 SOS 25507 HAS SOPS 21964 HAS SOUS 16177 HAS SOUPS 15695 WITH SCORE 15720.507
AT ITER 276 NEW BEST:: SOT 40490 SOS 25454 HAS SOPS 21868 HAS SOUS 16081 HAS SOUPS 15599 WITH SCORE 15624.454
AT ITER 284 NEW BEST:: SOT 40453 SOS 25417 HAS SOPS 21831 HAS SOUS 16000 HAS SOUPS 15518 WITH SCORE 15543.417
AT ITER 286 NEW BEST:: SOT 40448 SOS 25412 HAS SOPS 21826 HAS SOUS 15998 HAS SOUPS 15516 WITH SCORE 15541.412
AT ITER 291 NEW BEST:: SOT 40401 SOS 25334 HAS SOPS 21740 HAS SOUS 15886 HAS SOUPS 15404 WITH SCORE 15429.334
AT ITER 297 NEW BEST:: SOT 40310 SOS 25255 HAS SOPS 21681 HAS SOUS 15833 HAS SOUPS 15351 WITH SCORE 15376.255
AT ITER 302 NEW BEST:: SOT 40244 SOS 25189 HAS SOPS 21629 HAS SOUS 15753 HAS SOUPS 15285 WITH SCORE 15310.189
AT ITER 304 NEW BEST:: SOT 40195 SOS 25112 HAS SOPS 21542 HAS SOUS 15659 HAS SOUPS 15191 WITH SCORE 15216.112
AT ITER 305 NEW BEST:: SOT 40178 SOS 24925 HAS SOPS 21056 HAS SOUS 15574 HAS SOUPS 15069 WITH SCORE 15093.925
AT ITER 310 NEW BEST:: SOT 38167 SOS 23542 HAS SOPS 19319 HAS SOUS 14066 HAS SOUPS 13491 WITH SCORE 13514.542
AT ITER 314 NEW BEST:: SOT 38167 SOS 23542 HAS SOPS 19319 HAS SOUS 14046 HAS SOUPS 13471 WITH SCORE 13494.542
AT ITER 317 NEW BEST:: SOT 38167 SOS 23506 HAS SOPS 19283 HAS SOUS 14046 HAS SOUPS 13471 WITH SCORE 13494.506
AT ITER 318 NEW BEST:: SOT 38148 SOS 23451 HAS SOPS 19207 HAS SOUS 14029 HAS SOUPS 13454 WITH SCORE 13477.451
AT ITER 319 NEW BEST:: SOT 38099 SOS 23402 HAS SOPS 19104 HAS SOUS 13980 HAS SOUPS 13405 WITH SCORE 13428.402
AT ITER 323 NEW BEST:: SOT 38092 SOS 23395 HAS SOPS 19097 HAS SOUS 13964 HAS SOUPS 13389 WITH SCORE 13412.395
AT ITER 327 NEW BEST:: SOT 38090 SOS 23382 HAS SOPS 19071 HAS SOUS 13949 HAS SOUPS 13374 WITH SCORE 13397.382
AT ITER 336 NEW BEST:: SOT 38066 SOS 23358 HAS SOPS 19047 HAS SOUS 13936 HAS SOUPS 13361 WITH SCORE 13384.358
AT ITER 338 NEW BEST:: SOT 38002 SOS 23381 HAS SOPS 19101 HAS SOUS 13916 HAS SOUPS 13341 WITH SCORE 13364.381
AT ITER 341 NEW BEST:: SOT 38022 SOS 23180 HAS SOPS 18900 HAS SOUS 13896 HAS SOUPS 13321 WITH SCORE 13344.18
AT ITER 345 NEW BEST:: SOT 38012 SOS 23170 HAS SOPS 18890 HAS SOUS 13886 HAS SOUPS 13311 WITH SCORE 13334.17
AT ITER 351 NEW BEST:: SOT 38058 SOS 23200 HAS SOPS 18920 HAS SOUS 13877 HAS SOUPS 13302 WITH SCORE 13325.2
AT ITER 362 NEW BEST:: SOT 38058 SOS 23200 HAS SOPS 18920 HAS SOUS 13872 HAS SOUPS 13297 WITH SCORE 13320.2
AT ITER 371 NEW BEST:: SOT 38046 SOS 23214 HAS SOPS 18977 HAS SOUS 13846 HAS SOUPS 13271 WITH SCORE 13294.214
AT ITER 372 NEW BEST:: SOT 38025 SOS 23193 HAS SOPS 18936 HAS SOUS 13805 HAS SOUPS 13230 WITH SCORE 13253.193
AT ITER 377 NEW BEST:: SOT 38051 SOS 22972 HAS SOPS 18715 HAS SOUS 13797 HAS SOUPS 13222 WITH SCORE 13244.972
AT ITER 379 NEW BEST:: SOT 37952 SOS 22883 HAS SOPS 18630 HAS SOUS 13698 HAS SOUPS 13146 WITH SCORE 13168.883
AT ITER 382 NEW BEST:: SOT 37919 SOS 22850 HAS SOPS 18615 HAS SOUS 13683 HAS SOUPS 13131 WITH SCORE 13153.85
AT ITER 385 NEW BEST:: SOT 38000 SOS 22877 HAS SOPS 18654 HAS SOUS 13574 HAS SOUPS 13022 WITH SCORE 13044.877
AT ITER 387 NEW BEST:: SOT 37976 SOS 22853 HAS SOPS 18630 HAS SOUS 13544 HAS SOUPS 12992 WITH SCORE 13014.853
AT ITER 390 NEW BEST:: SOT 37976 SOS 22851 HAS SOPS 18628 HAS SOUS 13544 HAS SOUPS 12992 WITH SCORE 13014.851
AT ITER 396 NEW BEST:: SOT 37946 SOS 22821 HAS SOPS 18635 HAS SOUS 13538 HAS SOUPS 12986 WITH SCORE 13008.821
AT ITER 402 NEW BEST:: SOT 37912 SOS 22777 HAS SOPS 18574 HAS SOUS 13489 HAS SOUPS 12937 WITH SCORE 12959.777
AT ITER 407 NEW BEST:: SOT 37912 SOS 22761 HAS SOPS 18562 HAS SOUS 13485 HAS SOUPS 12933 WITH SCORE 12955.761
AT ITER 409 NEW BEST:: SOT 37866 SOS 22700 HAS SOPS 18455 HAS SOUS 13393 HAS SOUPS 12841 WITH SCORE 12863.7
AT ITER 413 NEW BEST:: SOT 37849 SOS 22683 HAS SOPS 18418 HAS SOUS 13354 HAS SOUPS 12802 WITH SCORE 12824.683
AT ITER 419 NEW BEST:: SOT 37826 SOS 22347 HAS SOPS 18101 HAS SOUS 13293 HAS SOUPS 12741 WITH SCORE 12763.347
AT ITER 430 NEW BEST:: SOT 37766 SOS 22287 HAS SOPS 18011 HAS SOUS 13183 HAS SOUPS 12631 WITH SCORE 12653.287
AT ITER 432 NEW BEST:: SOT 37766 SOS 22207 HAS SOPS 17931 HAS SOUS 13183 HAS SOUPS 12631 WITH SCORE 12653.207
AT ITER 437 NEW BEST:: SOT 37776 SOS 22207 HAS SOPS 17921 HAS SOUS 13173 HAS SOUPS 12621 WITH SCORE 12643.207
AT ITER 440 NEW BEST:: SOT 37764 SOS 22187 HAS SOPS 17901 HAS SOUS 13161 HAS SOUPS 12609 WITH SCORE 12631.187
AT ITER 448 NEW BEST:: SOT 37764 SOS 22164 HAS SOPS 17872 HAS SOUS 13161 HAS SOUPS 12609 WITH SCORE 12631.164
AT ITER 452 NEW BEST:: SOT 37746 SOS 22142 HAS SOPS 17850 HAS SOUS 13152 HAS SOUPS 12600 WITH SCORE 12622.142
AT ITER 455 NEW BEST:: SOT 37684 SOS 22054 HAS SOPS 17757 HAS SOUS 13062 HAS SOUPS 12510 WITH SCORE 12532.054
AT ITER 459 NEW BEST:: SOT 37580 SOS 21950 HAS SOPS 17601 HAS SOUS 12903 HAS SOUPS 12351 WITH SCORE 12372.95
AT ITER 470 NEW BEST:: SOT 37570 SOS 21940 HAS SOPS 17586 HAS SOUS 12893 HAS SOUPS 12341 WITH SCORE 12362.94
AT ITER 471 NEW BEST:: SOT 37564 SOS 21965 HAS SOPS 17596 HAS SOUS 12884 HAS SOUPS 12332 WITH SCORE 12353.965
AT ITER 472 NEW BEST:: SOT 37535 SOS 21936 HAS SOPS 17567 HAS SOUS 12834 HAS SOUPS 12282 WITH SCORE 12303.936
AT ITER 477 NEW BEST:: SOT 37533 SOS 21934 HAS SOPS 17565 HAS SOUS 12810 HAS SOUPS 12258 WITH SCORE 12279.934
AT ITER 478 NEW BEST:: SOT 37521 SOS 21922 HAS SOPS 17550 HAS SOUS 12804 HAS SOUPS 12252 WITH SCORE 12273.922
AT ITER 480 NEW BEST:: SOT 37502 SOS 21903 HAS SOPS 17493 HAS SOUS 12766 HAS SOUPS 12214 WITH SCORE 12235.903
AT ITER 483 NEW BEST:: SOT 37490 SOS 21891 HAS SOPS 17469 HAS SOUS 12763 HAS SOUPS 12211 WITH SCORE 12232.891
AT ITER 487 NEW BEST:: SOT 37264 SOS 21665 HAS SOPS 17238 HAS SOUS 12499 HAS SOUPS 11947 WITH SCORE 11968.665
AT ITER 493 NEW BEST:: SOT 37212 SOS 21621 HAS SOPS 17160 HAS SOUS 12387 HAS SOUPS 11835 WITH SCORE 11856.621
AT ITER 498 NEW BEST:: SOT 37025 SOS 21493 HAS SOPS 16922 HAS SOUS 12321 HAS SOUPS 11769 WITH SCORE 11790.493
AT ITER 499 NEW BEST:: SOT 37025 SOS 21439 HAS SOPS 16868 HAS SOUS 12321 HAS SOUPS 11769 WITH SCORE 11790.439
AT ITER 505 NEW BEST:: SOT 37004 SOS 21418 HAS SOPS 16805 HAS SOUS 12292 HAS SOUPS 11740 WITH SCORE 11761.418
AT ITER 525 NEW BEST:: SOT 36996 SOS 21410 HAS SOPS 16789 HAS SOUS 12270 HAS SOUPS 11718 WITH SCORE 11739.41
AT ITER 527 NEW BEST:: SOT 36970 SOS 21384 HAS SOPS 16750 HAS SOUS 12190 HAS SOUPS 11638 WITH SCORE 11659.384
AT ITER 529 NEW BEST:: SOT 35580 SOS 23911 HAS SOPS 17324 HAS SOUS 12037 HAS SOUPS 11344 WITH SCORE 11367.911
AT ITER 530 NEW BEST:: SOT 35698 SOS 22945 HAS SOPS 16974 HAS SOUS 11975 HAS SOUPS 11310 WITH SCORE 11332.945
AT ITER 531 NEW BEST:: SOT 35710 SOS 22986 HAS SOPS 17012 HAS SOUS 11960 HAS SOUPS 11295 WITH SCORE 11317.986
AT ITER 540 NEW BEST:: SOT 35710 SOS 22986 HAS SOPS 17012 HAS SOUS 11956 HAS SOUPS 11291 WITH SCORE 11313.986
AT ITER 541 NEW BEST:: SOT 35690 SOS 22947 HAS SOPS 16986 HAS SOUS 11905 HAS SOUPS 11240 WITH SCORE 11262.947
AT ITER 551 NEW BEST:: SOT 35646 SOS 22903 HAS SOPS 16986 HAS SOUS 11880 HAS SOUPS 11215 WITH SCORE 11237.903
AT ITER 555 NEW BEST:: SOT 35615 SOS 22872 HAS SOPS 16955 HAS SOUS 11830 HAS SOUPS 11165 WITH SCORE 11187.872
AT ITER 560 NEW BEST:: SOT 35678 SOS 22770 HAS SOPS 16853 HAS SOUS 11827 HAS SOUPS 11162 WITH SCORE 11184.77
AT ITER 562 NEW BEST:: SOT 35678 SOS 22770 HAS SOPS 16841 HAS SOUS 11824 HAS SOUPS 11159 WITH SCORE 11181.77
AT ITER 564 NEW BEST:: SOT 35670 SOS 22762 HAS SOPS 16833 HAS SOUS 11824 HAS SOUPS 11159 WITH SCORE 11181.762
AT ITER 571 NEW BEST:: SOT 35660 SOS 22752 HAS SOPS 16818 HAS SOUS 11809 HAS SOUPS 11144 WITH SCORE 11166.752
AT ITER 573 NEW BEST:: SOT 35481 SOS 22650 HAS SOPS 16716 HAS SOUS 11510 HAS SOUPS 10845 WITH SCORE 10867.65
AT ITER 578 NEW BEST:: SOT 35454 SOS 22623 HAS SOPS 16689 HAS SOUS 11509 HAS SOUPS 10844 WITH SCORE 10866.623
AT ITER 579 NEW BEST:: SOT 35454 SOS 22623 HAS SOPS 16689 HAS SOUS 11506 HAS SOUPS 10841 WITH SCORE 10863.623
AT ITER 589 NEW BEST:: SOT 35439 SOS 22608 HAS SOPS 16661 HAS SOUS 11469 HAS SOUPS 10804 WITH SCORE 10826.608
AT ITER 591 NEW BEST:: SOT 35439 SOS 22564 HAS SOPS 16617 HAS SOUS 11469 HAS SOUPS 10804 WITH SCORE 10826.564
AT ITER 602 NEW BEST:: SOT 35409 SOS 22534 HAS SOPS 16572 HAS SOUS 11437 HAS SOUPS 10770 WITH SCORE 10792.534
AT ITER 611 NEW BEST:: SOT 35397 SOS 22522 HAS SOPS 16566 HAS SOUS 11429 HAS SOUPS 10762 WITH SCORE 10784.522
AT ITER 613 NEW BEST:: SOT 35385 SOS 22395 HAS SOPS 16439 HAS SOUS 11404 HAS SOUPS 10737 WITH SCORE 10759.395
AT ITER 614 NEW BEST:: SOT 35260 SOS 22270 HAS SOPS 16314 HAS SOUS 11391 HAS SOUPS 10724 WITH SCORE 10746.27
AT ITER 616 NEW BEST:: SOT 35208 SOS 22192 HAS SOPS 16193 HAS SOUS 11298 HAS SOUPS 10631 WITH SCORE 10653.192
AT ITER 617 NEW BEST:: SOT 35156 SOS 22140 HAS SOPS 16141 HAS SOUS 11294 HAS SOUPS 10627 WITH SCORE 10649.14
AT ITER 621 NEW BEST:: SOT 35056 SOS 22040 HAS SOPS 16283 HAS SOUS 11258 HAS SOUPS 10591 WITH SCORE 10613.04
AT ITER 623 NEW BEST:: SOT 35044 SOS 22028 HAS SOPS 16239 HAS SOUS 11239 HAS SOUPS 10552 WITH SCORE 10574.028
AT ITER 624 NEW BEST:: SOT 34878 SOS 21862 HAS SOPS 16042 HAS SOUS 11130 HAS SOUPS 10443 WITH SCORE 10464.862
AT ITER 644 NEW BEST:: SOT 34861 SOS 21916 HAS SOPS 16096 HAS SOUS 11113 HAS SOUPS 10426 WITH SCORE 10447.916
AT ITER 651 NEW BEST:: SOT 34230 SOS 22717 HAS SOPS 16285 HAS SOUS 10920 HAS SOUPS 10182 WITH SCORE 10204.717
AT ITER 667 NEW BEST:: SOT 34224 SOS 22679 HAS SOPS 16289 HAS SOUS 10914 HAS SOUPS 10176 WITH SCORE 10198.679
AT ITER 668 NEW BEST:: SOT 34217 SOS 22672 HAS SOPS 16303 HAS SOUS 10886 HAS SOUPS 10148 WITH SCORE 10170.672
AT ITER 670 NEW BEST:: SOT 34175 SOS 22630 HAS SOPS 16277 HAS SOUS 10804 HAS SOUPS 10066 WITH SCORE 10088.63
AT ITER 680 NEW BEST:: SOT 34175 SOS 22630 HAS SOPS 16277 HAS SOUS 10791 HAS SOUPS 10053 WITH SCORE 10075.63
AT ITER 684 NEW BEST:: SOT 34209 SOS 22664 HAS SOPS 16204 HAS SOUS 10749 HAS SOUPS 10011 WITH SCORE 10033.664
AT ITER 688 NEW BEST:: SOT 34187 SOS 22651 HAS SOPS 16191 HAS SOUS 10749 HAS SOUPS 10011 WITH SCORE 10033.651
AT ITER 697 NEW BEST:: SOT 34147 SOS 22611 HAS SOPS 16077 HAS SOUS 10672 HAS SOUPS 9934 WITH SCORE 9956.611
AT ITER 698 NEW BEST:: SOT 34119 SOS 22583 HAS SOPS 16033 HAS SOUS 10642 HAS SOUPS 9898 WITH SCORE 9920.583
AT ITER 704 NEW BEST:: SOT 34109 SOS 22573 HAS SOPS 16013 HAS SOUS 10642 HAS SOUPS 9898 WITH SCORE 9920.573
AT ITER 720 NEW BEST:: SOT 34043 SOS 22507 HAS SOPS 15909 HAS SOUS 10576 HAS SOUPS 9832 WITH SCORE 9854.507
AT ITER 723 NEW BEST:: SOT 34023 SOS 22487 HAS SOPS 15889 HAS SOUS 10571 HAS SOUPS 9827 WITH SCORE 9849.487
AT ITER 733 NEW BEST:: SOT 34021 SOS 22485 HAS SOPS 15886 HAS SOUS 10569 HAS SOUPS 9825 WITH SCORE 9847.485
AT ITER 736 NEW BEST:: SOT 33988 SOS 22456 HAS SOPS 15883 HAS SOUS 10449 HAS SOUPS 9705 WITH SCORE 9727.456
AT ITER 737 NEW BEST:: SOT 33791 SOS 22952 HAS SOPS 15990 HAS SOUS 10371 HAS SOUPS 9606 WITH SCORE 9628.952
AT ITER 740 NEW BEST:: SOT 33761 SOS 22922 HAS SOPS 15945 HAS SOUS 10323 HAS SOUPS 9558 WITH SCORE 9580.922
AT ITER 748 NEW BEST:: SOT 33761 SOS 22922 HAS SOPS 15945 HAS SOUS 10321 HAS SOUPS 9556 WITH SCORE 9578.922
AT ITER 765 NEW BEST:: SOT 33743 SOS 22904 HAS SOPS 15918 HAS SOUS 10268 HAS SOUPS 9503 WITH SCORE 9525.904
AT ITER 771 NEW BEST:: SOT 33728 SOS 22889 HAS SOPS 15903 HAS SOUS 10262 HAS SOUPS 9497 WITH SCORE 9519.889
AT ITER 773 NEW BEST:: SOT 33706 SOS 22865 HAS SOPS 15882 HAS SOUS 10232 HAS SOUPS 9467 WITH SCORE 9489.865
AT ITER 782 NEW BEST:: SOT 33737 SOS 22873 HAS SOPS 15891 HAS SOUS 10228 HAS SOUPS 9463 WITH SCORE 9485.873
AT ITER 785 NEW BEST:: SOT 33716 SOS 22815 HAS SOPS 15829 HAS SOUS 10207 HAS SOUPS 9442 WITH SCORE 9464.815
AT ITER 787 NEW BEST:: SOT 33740 SOS 22794 HAS SOPS 15808 HAS SOUS 10162 HAS SOUPS 9397 WITH SCORE 9419.794
AT ITER 788 NEW BEST:: SOT 33730 SOS 22766 HAS SOPS 15780 HAS SOUS 10153 HAS SOUPS 9388 WITH SCORE 9410.766
AT ITER 789 NEW BEST:: SOT 33691 SOS 22724 HAS SOPS 15699 HAS SOUS 10097 HAS SOUPS 9332 WITH SCORE 9354.724
AT ITER 797 NEW BEST:: SOT 33691 SOS 22724 HAS SOPS 15699 HAS SOUS 10096 HAS SOUPS 9331 WITH SCORE 9353.724
AT ITER 806 NEW BEST:: SOT 33697 SOS 22727 HAS SOPS 15702 HAS SOUS 10093 HAS SOUPS 9328 WITH SCORE 9350.727
AT ITER 811 NEW BEST:: SOT 33695 SOS 22725 HAS SOPS 15700 HAS SOUS 10091 HAS SOUPS 9326 WITH SCORE 9348.725
AT ITER 813 NEW BEST:: SOT 33629 SOS 22675 HAS SOPS 15650 HAS SOUS 10077 HAS SOUPS 9312 WITH SCORE 9334.675
AT ITER 824 NEW BEST:: SOT 33648 SOS 22693 HAS SOPS 15605 HAS SOUS 10068 HAS SOUPS 9303 WITH SCORE 9325.693
AT ITER 827 NEW BEST:: SOT 33642 SOS 22687 HAS SOPS 15596 HAS SOUS 10059 HAS SOUPS 9294 WITH SCORE 9316.687
AT ITER 830 NEW BEST:: SOT 33641 SOS 22686 HAS SOPS 15595 HAS SOUS 10058 HAS SOUPS 9293 WITH SCORE 9315.686
AT ITER 835 NEW BEST:: SOT 33627 SOS 22672 HAS SOPS 15564 HAS SOUS 10015 HAS SOUPS 9250 WITH SCORE 9272.672
AT ITER 844 NEW BEST:: SOT 33621 SOS 22666 HAS SOPS 15555 HAS SOUS 10006 HAS SOUPS 9241 WITH SCORE 9263.666
AT ITER 861 NEW BEST:: SOT 33587 SOS 22632 HAS SOPS 15504 HAS SOUS 9943 HAS SOUPS 9178 WITH SCORE 9200.632
AT ITER 862 NEW BEST:: SOT 33565 SOS 22613 HAS SOPS 15504 HAS SOUS 9921 HAS SOUPS 9156 WITH SCORE 9178.613
AT ITER 866 NEW BEST:: SOT 33653 SOS 22701 HAS SOPS 15380 HAS SOUS 9907 HAS SOUPS 9142 WITH SCORE 9164.701
AT ITER 880 NEW BEST:: SOT 33231 SOS 23296 HAS SOPS 15003 HAS SOUS 9714 HAS SOUPS 8909 WITH SCORE 8932.296
AT ITER 882 NEW BEST:: SOT 33231 SOS 23296 HAS SOPS 15003 HAS SOUS 9704 HAS SOUPS 8899 WITH SCORE 8922.296
AT ITER 886 NEW BEST:: SOT 33178 SOS 23271 HAS SOPS 14809 HAS SOUS 9634 HAS SOUPS 8829 WITH SCORE 8852.271
AT ITER 891 NEW BEST:: SOT 33180 SOS 23273 HAS SOPS 14812 HAS SOUS 9599 HAS SOUPS 8794 WITH SCORE 8817.273
AT ITER 903 NEW BEST:: SOT 33168 SOS 23261 HAS SOPS 14794 HAS SOUS 9582 HAS SOUPS 8777 WITH SCORE 8800.261
AT ITER 914 NEW BEST:: SOT 32939 SOS 23032 HAS SOPS 14512 HAS SOUS 9308 HAS SOUPS 8503 WITH SCORE 8526.032
AT ITER 916 NEW BEST:: SOT 32915 SOS 23018 HAS SOPS 14422 HAS SOUS 9268 HAS SOUPS 8463 WITH SCORE 8486.018
AT ITER 919 NEW BEST:: SOT 32903 SOS 23006 HAS SOPS 14404 HAS SOUS 9236 HAS SOUPS 8431 WITH SCORE 8454.006
AT ITER 921 NEW BEST:: SOT 32863 SOS 23001 HAS SOPS 14392 HAS SOUS 9162 HAS SOUPS 8357 WITH SCORE 8380.001
AT ITER 930 NEW BEST:: SOT 32863 SOS 23001 HAS SOPS 14392 HAS SOUS 9161 HAS SOUPS 8356 WITH SCORE 8379.001
AT ITER 937 NEW BEST:: SOT 32850 SOS 23000 HAS SOPS 14286 HAS SOUS 9095 HAS SOUPS 8290 WITH SCORE 8313.0
AT ITER 944 NEW BEST:: SOT 32836 SOS 22986 HAS SOPS 14309 HAS SOUS 9076 HAS SOUPS 8287 WITH SCORE 8309.986
AT ITER 956 NEW BEST:: SOT 32806 SOS 22946 HAS SOPS 14254 HAS SOUS 9037 HAS SOUPS 8248 WITH SCORE 8270.946
AT ITER 971 NEW BEST:: SOT 32802 SOS 22942 HAS SOPS 14216 HAS SOUS 9005 HAS SOUPS 8216 WITH SCORE 8238.942
AT ITER 981 NEW BEST:: SOT 32798 SOS 22938 HAS SOPS 14210 HAS SOUS 8999 HAS SOUPS 8210 WITH SCORE 8232.938
AT ITER 991 NEW BEST:: SOT 32794 SOS 22934 HAS SOPS 14202 HAS SOUS 8993 HAS SOUPS 8204 WITH SCORE 8226.934
AT ITER 1003 NEW BEST:: SOT 32790 SOS 22930 HAS SOPS 14198 HAS SOUS 8989 HAS SOUPS 8200 WITH SCORE 8222.93
AT ITER 1007 NEW BEST:: SOT 32786 SOS 22926 HAS SOPS 14195 HAS SOUS 8986 HAS SOUPS 8197 WITH SCORE 8219.926
AT ITER 1027 NEW BEST:: SOT 32748 SOS 22888 HAS SOPS 14138 HAS SOUS 8929 HAS SOUPS 8140 WITH SCORE 8162.888
AT ITER 1028 NEW BEST:: SOT 32748 SOS 22886 HAS SOPS 14097 HAS SOUS 8929 HAS SOUPS 8140 WITH SCORE 8162.886
AT ITER 1042 NEW BEST:: SOT 32740 SOS 22863 HAS SOPS 14073 HAS SOUS 8921 HAS SOUPS 8132 WITH SCORE 8154.863
AT ITER 1045 NEW BEST:: SOT 32802 SOS 22925 HAS SOPS 14076 HAS SOUS 8937 HAS SOUPS 8131 WITH SCORE 8153.925
AT ITER 1060 NEW BEST:: SOT 32862 SOS 22985 HAS SOPS 14051 HAS SOUS 8922 HAS SOUPS 8116 WITH SCORE 8138.985
AT ITER 1061 NEW BEST:: SOT 32862 SOS 22985 HAS SOPS 14051 HAS SOUS 8887 HAS SOUPS 8081 WITH SCORE 8103.985
AT ITER 1064 NEW BEST:: SOT 32805 SOS 22967 HAS SOPS 14021 HAS SOUS 8875 HAS SOUPS 8069 WITH SCORE 8091.967
AT ITER 1066 NEW BEST:: SOT 32805 SOS 22940 HAS SOPS 13994 HAS SOUS 8836 HAS SOUPS 8030 WITH SCORE 8052.94
AT ITER 1068 NEW BEST:: SOT 32833 SOS 22968 HAS SOPS 13952 HAS SOUS 8794 HAS SOUPS 7988 WITH SCORE 8010.968
AT ITER 1071 NEW BEST:: SOT 32833 SOS 22968 HAS SOPS 13952 HAS SOUS 8772 HAS SOUPS 7966 WITH SCORE 7988.968
AT ITER 1086 NEW BEST:: SOT 32788 SOS 23099 HAS SOPS 13987 HAS SOUS 8757 HAS SOUPS 7946 WITH SCORE 7969.099
AT ITER 1089 NEW BEST:: SOT 32749 SOS 23060 HAS SOPS 13948 HAS SOUS 8743 HAS SOUPS 7932 WITH SCORE 7955.06
AT ITER 1097 NEW BEST:: SOT 32743 SOS 23047 HAS SOPS 13972 HAS SOUS 8734 HAS SOUPS 7923 WITH SCORE 7946.047
AT ITER 1107 NEW BEST:: SOT 32742 SOS 23046 HAS SOPS 13970 HAS SOUS 8732 HAS SOUPS 7921 WITH SCORE 7944.046
AT ITER 1108 NEW BEST:: SOT 32734 SOS 23038 HAS SOPS 13954 HAS SOUS 8716 HAS SOUPS 7901 WITH SCORE 7924.038
AT ITER 1115 NEW BEST:: SOT 32739 SOS 23043 HAS SOPS 13959 HAS SOUS 8708 HAS SOUPS 7893 WITH SCORE 7916.043
AT ITER 1133 NEW BEST:: SOT 32739 SOS 23043 HAS SOPS 13959 HAS SOUS 8691 HAS SOUPS 7876 WITH SCORE 7899.043
AT ITER 1135 NEW BEST:: SOT 32695 SOS 22999 HAS SOPS 13871 HAS SOUS 8623 HAS SOUPS 7808 WITH SCORE 7830.999
AT ITER 1145 NEW BEST:: SOT 32711 SOS 22919 HAS SOPS 13791 HAS SOUS 8618 HAS SOUPS 7803 WITH SCORE 7825.919
AT ITER 1164 NEW BEST:: SOT 32701 SOS 22909 HAS SOPS 13776 HAS SOUS 8596 HAS SOUPS 7781 WITH SCORE 7803.909
AT ITER 1166 NEW BEST:: SOT 32689 SOS 22897 HAS SOPS 13758 HAS SOUS 8578 HAS SOUPS 7763 WITH SCORE 7785.897
AT ITER 1170 NEW BEST:: SOT 32706 SOS 22914 HAS SOPS 13745 HAS SOUS 8575 HAS SOUPS 7760 WITH SCORE 7782.914
AT ITER 1193 NEW BEST:: SOT 32704 SOS 22912 HAS SOPS 13742 HAS SOUS 8573 HAS SOUPS 7758 WITH SCORE 7780.912
AT ITER 1211 NEW BEST:: SOT 32678 SOS 22886 HAS SOPS 13703 HAS SOUS 8525 HAS SOUPS 7710 WITH SCORE 7732.886
AT ITER 1221 NEW BEST:: SOT 32670 SOS 22878 HAS SOPS 13691 HAS SOUS 8499 HAS SOUPS 7684 WITH SCORE 7706.878
AT ITER 1251 NEW BEST:: SOT 32602 SOS 23098 HAS SOPS 13771 HAS SOUS 8473 HAS SOUPS 7651 WITH SCORE 7674.098
AT ITER 1272 NEW BEST:: SOT 32614 SOS 23110 HAS SOPS 13783 HAS SOUS 8467 HAS SOUPS 7645 WITH SCORE 7668.11
AT ITER 1278 NEW BEST:: SOT 32602 SOS 23094 HAS SOPS 13783 HAS SOUS 8461 HAS SOUPS 7639 WITH SCORE 7662.094
AT ITER 1280 NEW BEST:: SOT 32596 SOS 23088 HAS SOPS 13782 HAS SOUS 8458 HAS SOUPS 7636 WITH SCORE 7659.088
AT ITER 1294 NEW BEST:: SOT 32596 SOS 23088 HAS SOPS 13782 HAS SOUS 8454 HAS SOUPS 7632 WITH SCORE 7655.088
AT ITER 1300 NEW BEST:: SOT 32590 SOS 23082 HAS SOPS 13779 HAS SOUS 8448 HAS SOUPS 7628 WITH SCORE 7651.082
AT ITER 1327 NEW BEST:: SOT 32576 SOS 23068 HAS SOPS 13758 HAS SOUS 8423 HAS SOUPS 7603 WITH SCORE 7626.068
AT ITER 1330 NEW BEST:: SOT 32526 SOS 23018 HAS SOPS 13683 HAS SOUS 8350 HAS SOUPS 7530 WITH SCORE 7553.018
AT ITER 1341 NEW BEST:: SOT 32232 SOS 23841 HAS SOPS 13771 HAS SOUS 8309 HAS SOUPS 7458 WITH SCORE 7481.841
AT ITER 1374 NEW BEST:: SOT 32274 SOS 23851 HAS SOPS 13811 HAS SOUS 8291 HAS SOUPS 7440 WITH SCORE 7463.851
AT ITER 1395 NEW BEST:: SOT 32170 SOS 23747 HAS SOPS 13851 HAS SOUS 8285 HAS SOUPS 7434 WITH SCORE 7457.747
AT ITER 1402 NEW BEST:: SOT 32157 SOS 23784 HAS SOPS 13878 HAS SOUS 8280 HAS SOUPS 7429 WITH SCORE 7452.784
AT ITER 1403 NEW BEST:: SOT 32157 SOS 23783 HAS SOPS 13878 HAS SOUS 8280 HAS SOUPS 7429 WITH SCORE 7452.783
AT ITER 1410 NEW BEST:: SOT 32132 SOS 23758 HAS SOPS 13853 HAS SOUS 8195 HAS SOUPS 7344 WITH SCORE 7367.758
AT ITER 1439 NEW BEST:: SOT 32142 SOS 23758 HAS SOPS 13853 HAS SOUS 8181 HAS SOUPS 7330 WITH SCORE 7353.758
AT ITER 1467 NEW BEST:: SOT 32136 SOS 23752 HAS SOPS 13844 HAS SOUS 8174 HAS SOUPS 7323 WITH SCORE 7346.752
AT ITER 1486 NEW BEST:: SOT 32124 SOS 23740 HAS SOPS 13833 HAS SOUS 8156 HAS SOUPS 7305 WITH SCORE 7328.74
AT ITER 1493 NEW BEST:: SOT 32067 SOS 23683 HAS SOPS 13738 HAS SOUS 8114 HAS SOUPS 7263 WITH SCORE 7286.683
AT ITER 1494 NEW BEST:: SOT 32067 SOS 23683 HAS SOPS 13738 HAS SOUS 8104 HAS SOUPS 7253 WITH SCORE 7276.683
AT ITER 1533 NEW BEST:: SOT 32090 SOS 23720 HAS SOPS 13769 HAS SOUS 8102 HAS SOUPS 7251 WITH SCORE 7274.72
AT ITER 1575 NEW BEST:: SOT 32138 SOS 23768 HAS SOPS 13766 HAS SOUS 8099 HAS SOUPS 7248 WITH SCORE 7271.768
AT ITER 1582 NEW BEST:: SOT 32136 SOS 23765 HAS SOPS 13763 HAS SOUS 8098 HAS SOUPS 7247 WITH SCORE 7270.765
AT ITER 1584 NEW BEST:: SOT 32106 SOS 23735 HAS SOPS 13740 HAS SOUS 8053 HAS SOUPS 7202 WITH SCORE 7225.735
AT ITER 1589 NEW BEST:: SOT 32118 SOS 23747 HAS SOPS 13727 HAS SOUS 8044 HAS SOUPS 7193 WITH SCORE 7216.747
AT ITER 1605 NEW BEST:: SOT 32116 SOS 23744 HAS SOPS 13724 HAS SOUS 8040 HAS SOUPS 7189 WITH SCORE 7212.744
AT ITER 1608 NEW BEST:: SOT 32116 SOS 23733 HAS SOPS 13708 HAS SOUS 8040 HAS SOUPS 7189 WITH SCORE 7212.733
AT ITER 1621 NEW BEST:: SOT 32110 SOS 23727 HAS SOPS 13711 HAS SOUS 8040 HAS SOUPS 7189 WITH SCORE 7212.727
AT ITER 1634 NEW BEST:: SOT 32104 SOS 23721 HAS SOPS 13702 HAS SOUS 8028 HAS SOUPS 7177 WITH SCORE 7200.721
AT ITER 1645 NEW BEST:: SOT 32094 SOS 23711 HAS SOPS 13682 HAS SOUS 8023 HAS SOUPS 7172 WITH SCORE 7195.711
AT ITER 1657 NEW BEST:: SOT 31984 SOS 23585 HAS SOPS 13346 HAS SOUS 7916 HAS SOUPS 7065 WITH SCORE 7088.585
AT ITER 1665 NEW BEST:: SOT 31968 SOS 23569 HAS SOPS 13314 HAS SOUS 7888 HAS SOUPS 7037 WITH SCORE 7060.569
AT ITER 1676 NEW BEST:: SOT 31958 SOS 23559 HAS SOPS 13294 HAS SOUS 7876 HAS SOUPS 7025 WITH SCORE 7048.559
AT ITER 1677 NEW BEST:: SOT 31942 SOS 23550 HAS SOPS 13212 HAS SOUS 7847 HAS SOUPS 6996 WITH SCORE 7019.55
AT ITER 1695 NEW BEST:: SOT 31938 SOS 23544 HAS SOPS 13206 HAS SOUS 7841 HAS SOUPS 6990 WITH SCORE 7013.544
AT ITER 1696 NEW BEST:: SOT 31937 SOS 23543 HAS SOPS 13207 HAS SOUS 7840 HAS SOUPS 6989 WITH SCORE 7012.543
AT ITER 1702 NEW BEST:: SOT 31937 SOS 23543 HAS SOPS 13168 HAS SOUS 7814 HAS SOUPS 6963 WITH SCORE 6986.543
AT ITER 1705 NEW BEST:: SOT 31881 SOS 23467 HAS SOPS 13084 HAS SOUS 7709 HAS SOUPS 6858 WITH SCORE 6881.467
AT ITER 1727 NEW BEST:: SOT 31867 SOS 23453 HAS SOPS 13063 HAS SOUS 7679 HAS SOUPS 6828 WITH SCORE 6851.453
AT ITER 1752 NEW BEST:: SOT 31867 SOS 23453 HAS SOPS 13063 HAS SOUS 7677 HAS SOUPS 6826 WITH SCORE 6849.453
AT ITER 1760 NEW BEST:: SOT 31852 SOS 23580 HAS SOPS 13111 HAS SOUS 7679 HAS SOUPS 6825 WITH SCORE 6848.58
AT ITER 1780 NEW BEST:: SOT 31836 SOS 23623 HAS SOPS 13154 HAS SOUS 7674 HAS SOUPS 6820 WITH SCORE 6843.623
AT ITER 1802 NEW BEST:: SOT 31790 SOS 23577 HAS SOPS 13085 HAS SOUS 7609 HAS SOUPS 6755 WITH SCORE 6778.577
AT ITER 1813 NEW BEST:: SOT 31802 SOS 23589 HAS SOPS 13069 HAS SOUS 7606 HAS SOUPS 6746 WITH SCORE 6769.589
AT ITER 1818 NEW BEST:: SOT 31698 SOS 24028 HAS SOPS 13148 HAS SOUS 7610 HAS SOUPS 6735 WITH SCORE 6759.028
AT ITER 1820 NEW BEST:: SOT 31698 SOS 24028 HAS SOPS 13148 HAS SOUS 7605 HAS SOUPS 6730 WITH SCORE 6754.028
AT ITER 1821 NEW BEST:: SOT 31694 SOS 24024 HAS SOPS 13099 HAS SOUS 7606 HAS SOUPS 6724 WITH SCORE 6748.024
AT ITER 1833 NEW BEST:: SOT 31678 SOS 24008 HAS SOPS 13075 HAS SOUS 7563 HAS SOUPS 6681 WITH SCORE 6705.008
AT ITER 1865 NEW BEST:: SOT 31707 SOS 23720 HAS SOPS 12982 HAS SOUS 7546 HAS SOUPS 6672 WITH SCORE 6695.72
AT ITER 1874 NEW BEST:: SOT 31707 SOS 23720 HAS SOPS 12982 HAS SOUS 7527 HAS SOUPS 6653 WITH SCORE 6676.72
AT ITER 1908 NEW BEST:: SOT 31707 SOS 23720 HAS SOPS 12982 HAS SOUS 7525 HAS SOUPS 6651 WITH SCORE 6674.72
AT ITER 1916 NEW BEST:: SOT 31701 SOS 23714 HAS SOPS 12961 HAS SOUS 7504 HAS SOUPS 6630 WITH SCORE 6653.714
AT ITER 1922 NEW BEST:: SOT 31663 SOS 23676 HAS SOPS 12980 HAS SOUS 7504 HAS SOUPS 6630 WITH SCORE 6653.676
AT ITER 1938 NEW BEST:: SOT 31659 SOS 23672 HAS SOPS 12938 HAS SOUS 7471 HAS SOUPS 6597 WITH SCORE 6620.672
AT ITER 1961 NEW BEST:: SOT 31653 SOS 23666 HAS SOPS 12917 HAS SOUS 7453 HAS SOUPS 6579 WITH SCORE 6602.666
AT ITER 1963 NEW BEST:: SOT 31598 SOS 23620 HAS SOPS 12829 HAS SOUS 7395 HAS SOUPS 6521 WITH SCORE 6544.62
AT ITER 1964 NEW BEST:: SOT 31598 SOS 23620 HAS SOPS 12834 HAS SOUS 7392 HAS SOUPS 6518 WITH SCORE 6541.62
AT ITER 1995 NEW BEST:: SOT 31580 SOS 23593 HAS SOPS 12807 HAS SOUS 7383 HAS SOUPS 6509 WITH SCORE 6532.593
AT ITER 2002 NEW BEST:: SOT 31576 SOS 23589 HAS SOPS 12804 HAS SOUS 7380 HAS SOUPS 6507 WITH SCORE 6530.589
AT ITER 2003 NEW BEST:: SOT 31570 SOS 23583 HAS SOPS 12795 HAS SOUS 7374 HAS SOUPS 6501 WITH SCORE 6524.583
AT ITER 2016 NEW BEST:: SOT 31558 SOS 23571 HAS SOPS 12753 HAS SOUS 7338 HAS SOUPS 6465 WITH SCORE 6488.571
AT ITER 2035 NEW BEST:: SOT 31532 SOS 23545 HAS SOPS 12714 HAS SOUS 7312 HAS SOUPS 6439 WITH SCORE 6462.545
AT ITER 2036 NEW BEST:: SOT 31543 SOS 23554 HAS SOPS 12746 HAS SOUS 7310 HAS SOUPS 6437 WITH SCORE 6460.554
AT ITER 2096 NEW BEST:: SOT 31541 SOS 23552 HAS SOPS 12743 HAS SOUS 7310 HAS SOUPS 6437 WITH SCORE 6460.552
AT ITER 2115 NEW BEST:: SOT 31540 SOS 23548 HAS SOPS 12739 HAS SOUS 7306 HAS SOUPS 6433 WITH SCORE 6456.548
AT ITER 2123 NEW BEST:: SOT 31532 SOS 23540 HAS SOPS 12743 HAS SOUS 7303 HAS SOUPS 6430 WITH SCORE 6453.54
AT ITER 2136 NEW BEST:: SOT 31504 SOS 23512 HAS SOPS 12613 HAS SOUS 7189 HAS SOUPS 6316 WITH SCORE 6339.512
AT ITER 2163 NEW BEST:: SOT 31496 SOS 23504 HAS SOPS 12601 HAS SOUS 7172 HAS SOUPS 6299 WITH SCORE 6322.504
AT ITER 2169 NEW BEST:: SOT 31492 SOS 23511 HAS SOPS 12607 HAS SOUS 7169 HAS SOUPS 6296 WITH SCORE 6319.511
AT ITER 2173 NEW BEST:: SOT 31471 SOS 23501 HAS SOPS 12597 HAS SOUS 7156 HAS SOUPS 6283 WITH SCORE 6306.501
AT ITER 2177 NEW BEST:: SOT 31467 SOS 23497 HAS SOPS 12591 HAS SOUS 7125 HAS SOUPS 6252 WITH SCORE 6275.497
AT ITER 2189 NEW BEST:: SOT 31478 SOS 23508 HAS SOPS 12602 HAS SOUS 7116 HAS SOUPS 6243 WITH SCORE 6266.508
AT ITER 2194 NEW BEST:: SOT 31475 SOS 23494 HAS SOPS 12588 HAS SOUS 7111 HAS SOUPS 6238 WITH SCORE 6261.494
AT ITER 2197 NEW BEST:: SOT 31463 SOS 23482 HAS SOPS 12576 HAS SOUS 7108 HAS SOUPS 6235 WITH SCORE 6258.482
AT ITER 2204 NEW BEST:: SOT 31419 SOS 23438 HAS SOPS 12510 HAS SOUS 7042 HAS SOUPS 6169 WITH SCORE 6192.438
AT ITER 2205 NEW BEST:: SOT 31416 SOS 23429 HAS SOPS 12501 HAS SOUS 7042 HAS SOUPS 6169 WITH SCORE 6192.429
AT ITER 2209 NEW BEST:: SOT 31438 SOS 23451 HAS SOPS 12486 HAS SOUS 7027 HAS SOUPS 6154 WITH SCORE 6177.451
AT ITER 2264 NEW BEST:: SOT 31424 SOS 23437 HAS SOPS 12465 HAS SOUS 7004 HAS SOUPS 6131 WITH SCORE 6154.437
AT ITER 2268 NEW BEST:: SOT 31422 SOS 23435 HAS SOPS 12462 HAS SOUS 7001 HAS SOUPS 6128 WITH SCORE 6151.435
AT ITER 2273 NEW BEST:: SOT 31403 SOS 23416 HAS SOPS 12439 HAS SOUS 6995 HAS SOUPS 6122 WITH SCORE 6145.416
AT ITER 2283 NEW BEST:: SOT 31403 SOS 23416 HAS SOPS 12423 HAS SOUS 6986 HAS SOUPS 6113 WITH SCORE 6136.416
AT ITER 2290 NEW BEST:: SOT 31381 SOS 23326 HAS SOPS 12346 HAS SOUS 6975 HAS SOUPS 6102 WITH SCORE 6125.326
AT ITER 2312 NEW BEST:: SOT 31379 SOS 23324 HAS SOPS 12342 HAS SOUS 6972 HAS SOUPS 6099 WITH SCORE 6122.324
AT ITER 2318 NEW BEST:: SOT 31379 SOS 23324 HAS SOPS 12342 HAS SOUS 6966 HAS SOUPS 6093 WITH SCORE 6116.324
AT ITER 2340 NEW BEST:: SOT 31379 SOS 23324 HAS SOPS 12342 HAS SOUS 6944 HAS SOUPS 6071 WITH SCORE 6094.324
AT ITER 2346 NEW BEST:: SOT 31375 SOS 23320 HAS SOPS 12339 HAS SOUS 6941 HAS SOUPS 6068 WITH SCORE 6091.32
AT ITER 2414 NEW BEST:: SOT 31368 SOS 23301 HAS SOPS 12313 HAS SOUS 6934 HAS SOUPS 6061 WITH SCORE 6084.301
AT ITER 2428 NEW BEST:: SOT 31368 SOS 23301 HAS SOPS 12313 HAS SOUS 6929 HAS SOUPS 6056 WITH SCORE 6079.301
AT ITER 2475 NEW BEST:: SOT 31368 SOS 23290 HAS SOPS 12286 HAS SOUS 6921 HAS SOUPS 6048 WITH SCORE 6071.29
AT ITER 2488 NEW BEST:: SOT 31373 SOS 23247 HAS SOPS 12270 HAS SOUS 6920 HAS SOUPS 6048 WITH SCORE 6071.247
AT ITER 2499 NEW BEST:: SOT 31390 SOS 23251 HAS SOPS 12304 HAS SOUS 6899 HAS SOUPS 6027 WITH SCORE 6050.251
AT ITER 2527 NEW BEST:: SOT 31382 SOS 23243 HAS SOPS 12292 HAS SOUS 6891 HAS SOUPS 6019 WITH SCORE 6042.243
AT ITER 2537 NEW BEST:: SOT 31374 SOS 23269 HAS SOPS 12296 HAS SOUS 6891 HAS SOUPS 6018 WITH SCORE 6041.269
AT ITER 2553 NEW BEST:: SOT 31365 SOS 23260 HAS SOPS 12287 HAS SOUS 6871 HAS SOUPS 5998 WITH SCORE 6021.26
AT ITER 2573 NEW BEST:: SOT 31365 SOS 23260 HAS SOPS 12287 HAS SOUS 6869 HAS SOUPS 5996 WITH SCORE 6019.26
AT ITER 2576 NEW BEST:: SOT 31341 SOS 23248 HAS SOPS 12263 HAS SOUS 6857 HAS SOUPS 5984 WITH SCORE 6007.248
AT ITER 2579 NEW BEST:: SOT 31341 SOS 23248 HAS SOPS 12252 HAS SOUS 6849 HAS SOUPS 5976 WITH SCORE 5999.248
AT ITER 2585 NEW BEST:: SOT 31325 SOS 23232 HAS SOPS 12228 HAS SOUS 6814 HAS SOUPS 5941 WITH SCORE 5964.232
AT ITER 2640 NEW BEST:: SOT 31301 SOS 23208 HAS SOPS 12192 HAS SOUS 6778 HAS SOUPS 5905 WITH SCORE 5928.208
AT ITER 2651 NEW BEST:: SOT 31338 SOS 23218 HAS SOPS 12216 HAS SOUS 6752 HAS SOUPS 5879 WITH SCORE 5902.218
AT ITER 2670 NEW BEST:: SOT 31338 SOS 23218 HAS SOPS 12216 HAS SOUS 6745 HAS SOUPS 5872 WITH SCORE 5895.218
AT ITER 2677 NEW BEST:: SOT 31337 SOS 23210 HAS SOPS 12217 HAS SOUS 6744 HAS SOUPS 5871 WITH SCORE 5894.21
AT ITER 2708 NEW BEST:: SOT 31314 SOS 23187 HAS SOPS 12180 HAS SOUS 6722 HAS SOUPS 5849 WITH SCORE 5872.187
AT ITER 2714 NEW BEST:: SOT 31300 SOS 23173 HAS SOPS 12159 HAS SOUS 6690 HAS SOUPS 5817 WITH SCORE 5840.173
AT ITER 2720 NEW BEST:: SOT 31256 SOS 23206 HAS SOPS 12179 HAS SOUS 6677 HAS SOUPS 5804 WITH SCORE 5827.206
AT ITER 2735 NEW BEST:: SOT 31244 SOS 23206 HAS SOPS 12167 HAS SOUS 6665 HAS SOUPS 5792 WITH SCORE 5815.206
AT ITER 2737 NEW BEST:: SOT 31244 SOS 23206 HAS SOPS 12167 HAS SOUS 6662 HAS SOUPS 5789 WITH SCORE 5812.206
AT ITER 2744 NEW BEST:: SOT 31240 SOS 23202 HAS SOPS 12159 HAS SOUS 6658 HAS SOUPS 5783 WITH SCORE 5806.202
AT ITER 2748 NEW BEST:: SOT 31224 SOS 23186 HAS SOPS 12126 HAS SOUS 6626 HAS SOUPS 5751 WITH SCORE 5774.186
AT ITER 2763 NEW BEST:: SOT 31270 SOS 23232 HAS SOPS 12031 HAS SOUS 6604 HAS SOUPS 5729 WITH SCORE 5752.232
AT ITER 2790 NEW BEST:: SOT 31252 SOS 23214 HAS SOPS 12013 HAS SOUS 6586 HAS SOUPS 5711 WITH SCORE 5734.214
AT ITER 2823 NEW BEST:: SOT 31257 SOS 23216 HAS SOPS 12015 HAS SOUS 6581 HAS SOUPS 5706 WITH SCORE 5729.216
AT ITER 2827 NEW BEST:: SOT 31261 SOS 23220 HAS SOPS 12021 HAS SOUS 6572 HAS SOUPS 5697 WITH SCORE 5720.22
AT ITER 2835 NEW BEST:: SOT 31259 SOS 23218 HAS SOPS 12018 HAS SOUS 6569 HAS SOUPS 5694 WITH SCORE 5717.218
AT ITER 2888 NEW BEST:: SOT 31262 SOS 23216 HAS SOPS 12016 HAS SOUS 6569 HAS SOUPS 5694 WITH SCORE 5717.216
AT ITER 2895 NEW BEST:: SOT 31258 SOS 23212 HAS SOPS 11981 HAS SOUS 6549 HAS SOUPS 5674 WITH SCORE 5697.212
AT ITER 2904 NEW BEST:: SOT 31244 SOS 23198 HAS SOPS 11981 HAS SOUS 6549 HAS SOUPS 5674 WITH SCORE 5697.198
AT ITER 2925 NEW BEST:: SOT 31238 SOS 23192 HAS SOPS 11966 HAS SOUS 6535 HAS SOUPS 5660 WITH SCORE 5683.192
AT ITER 2934 NEW BEST:: SOT 31236 SOS 23190 HAS SOPS 11963 HAS SOUS 6516 HAS SOUPS 5641 WITH SCORE 5664.19
AT ITER 2951 NEW BEST:: SOT 31228 SOS 23186 HAS SOPS 11958 HAS SOUS 6508 HAS SOUPS 5633 WITH SCORE 5656.186
AT ITER 2952 NEW BEST:: SOT 31214 SOS 23172 HAS SOPS 11937 HAS SOUS 6497 HAS SOUPS 5622 WITH SCORE 5645.172
AT ITER 2975 NEW BEST:: SOT 31214 SOS 23172 HAS SOPS 11937 HAS SOUS 6496 HAS SOUPS 5621 WITH SCORE 5644.172
AT ITER 2977 NEW BEST:: SOT 31240 SOS 23198 HAS SOPS 11909 HAS SOUS 6478 HAS SOUPS 5603 WITH SCORE 5626.198
AT ITER 2985 NEW BEST:: SOT 31226 SOS 23184 HAS SOPS 11888 HAS SOUS 6457 HAS SOUPS 5582 WITH SCORE 5605.184
AT ITER 3048 NEW BEST:: SOT 31226 SOS 23184 HAS SOPS 11884 HAS SOUS 6454 HAS SOUPS 5579 WITH SCORE 5602.184
AT ITER 3060 NEW BEST:: SOT 31214 SOS 23172 HAS SOPS 11866 HAS SOUS 6442 HAS SOUPS 5567 WITH SCORE 5590.172
AT ITER 3074 NEW BEST:: SOT 31182 SOS 23140 HAS SOPS 11862 HAS SOUS 6432 HAS SOUPS 5557 WITH SCORE 5580.14
AT ITER 3079 NEW BEST:: SOT 31172 SOS 23130 HAS SOPS 11854 HAS SOUS 6432 HAS SOUPS 5557 WITH SCORE 5580.13
AT ITER 3082 NEW BEST:: SOT 31172 SOS 23130 HAS SOPS 11854 HAS SOUS 6431 HAS SOUPS 5556 WITH SCORE 5579.13
AT ITER 3094 NEW BEST:: SOT 31172 SOS 23130 HAS SOPS 11854 HAS SOUS 6430 HAS SOUPS 5555 WITH SCORE 5578.13
AT ITER 3103 NEW BEST:: SOT 31168 SOS 23126 HAS SOPS 11848 HAS SOUS 6422 HAS SOUPS 5547 WITH SCORE 5570.126
AT ITER 3111 NEW BEST:: SOT 31160 SOS 23118 HAS SOPS 11836 HAS SOUS 6402 HAS SOUPS 5527 WITH SCORE 5550.118
AT ITER 3117 NEW BEST:: SOT 31150 SOS 23108 HAS SOPS 11841 HAS SOUS 6402 HAS SOUPS 5527 WITH SCORE 5550.108
AT ITER 3132 NEW BEST:: SOT 31146 SOS 23104 HAS SOPS 11835 HAS SOUS 6396 HAS SOUPS 5521 WITH SCORE 5544.104
AT ITER 3169 NEW BEST:: SOT 31134 SOS 23092 HAS SOPS 11817 HAS SOUS 6384 HAS SOUPS 5509 WITH SCORE 5532.092
AT ITER 3178 NEW BEST:: SOT 31088 SOS 23371 HAS SOPS 11914 HAS SOUS 6390 HAS SOUPS 5507 WITH SCORE 5530.371
AT ITER 3207 NEW BEST:: SOT 31066 SOS 23349 HAS SOPS 11881 HAS SOUS 6352 HAS SOUPS 5469 WITH SCORE 5492.349
AT ITER 3234 NEW BEST:: SOT 31084 SOS 23367 HAS SOPS 11857 HAS SOUS 6336 HAS SOUPS 5453 WITH SCORE 5476.367
AT ITER 3250 NEW BEST:: SOT 31073 SOS 23330 HAS SOPS 11820 HAS SOUS 6310 HAS SOUPS 5427 WITH SCORE 5450.33
AT ITER 3288 NEW BEST:: SOT 31073 SOS 23330 HAS SOPS 11820 HAS SOUS 6299 HAS SOUPS 5416 WITH SCORE 5439.33
AT ITER 3355 NEW BEST:: SOT 31069 SOS 23326 HAS SOPS 11805 HAS SOUS 6289 HAS SOUPS 5406 WITH SCORE 5429.326
AT ITER 3363 NEW BEST:: SOT 31069 SOS 23326 HAS SOPS 11805 HAS SOUS 6288 HAS SOUPS 5405 WITH SCORE 5428.326
AT ITER 3419 NEW BEST:: SOT 31061 SOS 23318 HAS SOPS 11793 HAS SOUS 6259 HAS SOUPS 5376 WITH SCORE 5399.318
AT ITER 3438 NEW BEST:: SOT 31059 SOS 23280 HAS SOPS 11756 HAS SOUS 6256 HAS SOUPS 5373 WITH SCORE 5396.28
AT ITER 3443 NEW BEST:: SOT 31059 SOS 23280 HAS SOPS 11756 HAS SOUS 6247 HAS SOUPS 5364 WITH SCORE 5387.28
AT ITER 3453 NEW BEST:: SOT 31059 SOS 23280 HAS SOPS 11756 HAS SOUS 6238 HAS SOUPS 5355 WITH SCORE 5378.28
AT ITER 3476 NEW BEST:: SOT 31053 SOS 23273 HAS SOPS 11722 HAS SOUS 6229 HAS SOUPS 5346 WITH SCORE 5369.273
AT ITER 3479 NEW BEST:: SOT 31043 SOS 23263 HAS SOPS 11707 HAS SOUS 6219 HAS SOUPS 5336 WITH SCORE 5359.263
AT ITER 3505 NEW BEST:: SOT 31035 SOS 23255 HAS SOPS 11695 HAS SOUS 6203 HAS SOUPS 5320 WITH SCORE 5343.255
AT ITER 3530 NEW BEST:: SOT 31032 SOS 23252 HAS SOPS 11692 HAS SOUS 6200 HAS SOUPS 5317 WITH SCORE 5340.252
AT ITER 3547 NEW BEST:: SOT 31020 SOS 23240 HAS SOPS 11674 HAS SOUS 6179 HAS SOUPS 5296 WITH SCORE 5319.24
AT ITER 3552 NEW BEST:: SOT 31016 SOS 23236 HAS SOPS 11670 HAS SOUS 6168 HAS SOUPS 5285 WITH SCORE 5308.236
AT ITER 3557 NEW BEST:: SOT 31014 SOS 23234 HAS SOPS 11666 HAS SOUS 6165 HAS SOUPS 5282 WITH SCORE 5305.234
AT ITER 3575 NEW BEST:: SOT 31002 SOS 23222 HAS SOPS 11657 HAS SOUS 6156 HAS SOUPS 5273 WITH SCORE 5296.222
AT ITER 3617 NEW BEST:: SOT 30980 SOS 23200 HAS SOPS 11613 HAS SOUS 6123 HAS SOUPS 5240 WITH SCORE 5263.2
AT ITER 3619 NEW BEST:: SOT 30967 SOS 23187 HAS SOPS 11594 HAS SOUS 6117 HAS SOUPS 5234 WITH SCORE 5257.187
AT ITER 3620 NEW BEST:: SOT 30972 SOS 23192 HAS SOPS 11588 HAS SOUS 6114 HAS SOUPS 5231 WITH SCORE 5254.192
AT ITER 3630 NEW BEST:: SOT 30944 SOS 23164 HAS SOPS 11546 HAS SOUS 6062 HAS SOUPS 5179 WITH SCORE 5202.164
AT ITER 3640 NEW BEST:: SOT 30940 SOS 23160 HAS SOPS 11540 HAS SOUS 6056 HAS SOUPS 5173 WITH SCORE 5196.16
AT ITER 3659 NEW BEST:: SOT 30932 SOS 23152 HAS SOPS 11536 HAS SOUS 6050 HAS SOUPS 5167 WITH SCORE 5190.152
AT ITER 3670 NEW BEST:: SOT 30896 SOS 23116 HAS SOPS 11510 HAS SOUS 6028 HAS SOUPS 5145 WITH SCORE 5168.116
AT ITER 3702 NEW BEST:: SOT 30888 SOS 23108 HAS SOPS 11498 HAS SOUS 6011 HAS SOUPS 5128 WITH SCORE 5151.108
AT ITER 3741 NEW BEST:: SOT 30888 SOS 23108 HAS SOPS 11498 HAS SOUS 6008 HAS SOUPS 5125 WITH SCORE 5148.108
AT ITER 3765 NEW BEST:: SOT 30879 SOS 23118 HAS SOPS 11501 HAS SOUS 6004 HAS SOUPS 5121 WITH SCORE 5144.118
AT ITER 3822 NEW BEST:: SOT 30877 SOS 23116 HAS SOPS 11497 HAS SOUS 6001 HAS SOUPS 5117 WITH SCORE 5140.116
AT ITER 3835 NEW BEST:: SOT 30865 SOS 23104 HAS SOPS 11479 HAS SOUS 5978 HAS SOUPS 5094 WITH SCORE 5117.104
AT ITER 3856 NEW BEST:: SOT 30871 SOS 23110 HAS SOPS 11436 HAS SOUS 5956 HAS SOUPS 5072 WITH SCORE 5095.11
AT ITER 3863 NEW BEST:: SOT 30871 SOS 23110 HAS SOPS 11420 HAS SOUS 5945 HAS SOUPS 5061 WITH SCORE 5084.11
AT ITER 3908 NEW BEST:: SOT 30863 SOS 23102 HAS SOPS 11408 HAS SOUS 5929 HAS SOUPS 5045 WITH SCORE 5068.102
AT ITER 3928 NEW BEST:: SOT 30860 SOS 23097 HAS SOPS 11406 HAS SOUS 5929 HAS SOUPS 5045 WITH SCORE 5068.097
AT ITER 3955 NEW BEST:: SOT 30872 SOS 23077 HAS SOPS 11369 HAS SOUS 5918 HAS SOUPS 5034 WITH SCORE 5057.077
AT ITER 3970 NEW BEST:: SOT 30873 SOS 23072 HAS SOPS 11364 HAS SOUS 5916 HAS SOUPS 5032 WITH SCORE 5055.072
AT ITER 3982 NEW BEST:: SOT 30869 SOS 23068 HAS SOPS 11358 HAS SOUS 5909 HAS SOUPS 5025 WITH SCORE 5048.068
AT ITER 3987 NEW BEST:: SOT 30867 SOS 23066 HAS SOPS 11355 HAS SOUS 5906 HAS SOUPS 5022 WITH SCORE 5045.066
AT ITER 4037 NEW BEST:: SOT 30855 SOS 23054 HAS SOPS 11340 HAS SOUS 5888 HAS SOUPS 5004 WITH SCORE 5027.054
AT ITER 4089 NEW BEST:: SOT 30854 SOS 23072 HAS SOPS 11358 HAS SOUS 5887 HAS SOUPS 5003 WITH SCORE 5026.072
AT ITER 4111 NEW BEST:: SOT 30846 SOS 23064 HAS SOPS 11370 HAS SOUS 5881 HAS SOUPS 4997 WITH SCORE 5020.064
AT ITER 4137 NEW BEST:: SOT 30846 SOS 23064 HAS SOPS 11370 HAS SOUS 5872 HAS SOUPS 4988 WITH SCORE 5011.064
AT ITER 4138 NEW BEST:: SOT 30738 SOS 23893 HAS SOPS 11641 HAS SOUS 5888 HAS SOUPS 4983 WITH SCORE 5006.893
AT ITER 4146 NEW BEST:: SOT 30734 SOS 23889 HAS SOPS 11631 HAS SOUS 5882 HAS SOUPS 4977 WITH SCORE 5000.889
AT ITER 4149 NEW BEST:: SOT 30734 SOS 23889 HAS SOPS 11620 HAS SOUS 5881 HAS SOUPS 4976 WITH SCORE 4999.889
AT ITER 4199 NEW BEST:: SOT 30734 SOS 23889 HAS SOPS 11600 HAS SOUS 5871 HAS SOUPS 4966 WITH SCORE 4989.889
AT ITER 4213 NEW BEST:: SOT 30733 SOS 23888 HAS SOPS 11597 HAS SOUS 5866 HAS SOUPS 4961 WITH SCORE 4984.888
AT ITER 4248 NEW BEST:: SOT 30738 SOS 23823 HAS SOPS 11533 HAS SOUS 5852 HAS SOUPS 4947 WITH SCORE 4970.823
AT ITER 4259 NEW BEST:: SOT 30738 SOS 23823 HAS SOPS 11533 HAS SOUS 5849 HAS SOUPS 4944 WITH SCORE 4967.823
AT ITER 4347 NEW BEST:: SOT 30732 SOS 23817 HAS SOPS 11524 HAS SOUS 5843 HAS SOUPS 4938 WITH SCORE 4961.817
AT ITER 4364 NEW BEST:: SOT 30727 SOS 23853 HAS SOPS 11536 HAS SOUS 5843 HAS SOUPS 4937 WITH SCORE 4960.853
AT ITER 4425 NEW BEST:: SOT 30699 SOS 23825 HAS SOPS 11494 HAS SOUS 5812 HAS SOUPS 4906 WITH SCORE 4929.825
AT ITER 4436 NEW BEST:: SOT 30699 SOS 23825 HAS SOPS 11494 HAS SOUS 5810 HAS SOUPS 4904 WITH SCORE 4927.825
AT ITER 4437 NEW BEST:: SOT 30683 SOS 23809 HAS SOPS 11498 HAS SOUS 5807 HAS SOUPS 4901 WITH SCORE 4924.809
AT ITER 4443 NEW BEST:: SOT 30683 SOS 23809 HAS SOPS 11498 HAS SOUS 5805 HAS SOUPS 4899 WITH SCORE 4922.809
AT ITER 4488 NEW BEST:: SOT 30703 SOS 23574 HAS SOPS 11398 HAS SOUS 5790 HAS SOUPS 4889 WITH SCORE 4912.574
AT ITER 4489 NEW BEST:: SOT 30689 SOS 23560 HAS SOPS 11387 HAS SOUS 5779 HAS SOUPS 4878 WITH SCORE 4901.56
AT ITER 4506 NEW BEST:: SOT 30705 SOS 23576 HAS SOPS 11355 HAS SOUS 5761 HAS SOUPS 4860 WITH SCORE 4883.576
AT ITER 4538 NEW BEST:: SOT 30704 SOS 23583 HAS SOPS 11362 HAS SOUS 5747 HAS SOUPS 4846 WITH SCORE 4869.583
AT ITER 4565 NEW BEST:: SOT 30699 SOS 23575 HAS SOPS 11355 HAS SOUS 5739 HAS SOUPS 4838 WITH SCORE 4861.575
AT ITER 4568 NEW BEST:: SOT 30693 SOS 23569 HAS SOPS 11346 HAS SOUS 5730 HAS SOUPS 4829 WITH SCORE 4852.569
AT ITER 4594 NEW BEST:: SOT 30695 SOS 23569 HAS SOPS 11339 HAS SOUS 5726 HAS SOUPS 4825 WITH SCORE 4848.569
AT ITER 4616 NEW BEST:: SOT 30687 SOS 23561 HAS SOPS 11327 HAS SOUS 5702 HAS SOUPS 4801 WITH SCORE 4824.561
AT ITER 4646 NEW BEST:: SOT 30698 SOS 23570 HAS SOPS 11336 HAS SOUS 5696 HAS SOUPS 4795 WITH SCORE 4818.57
AT ITER 4692 NEW BEST:: SOT 30694 SOS 23566 HAS SOPS 11334 HAS SOUS 5688 HAS SOUPS 4787 WITH SCORE 4810.566
AT ITER 4800 NEW BEST:: SOT 30681 SOS 23574 HAS SOPS 11373 HAS SOUS 5683 HAS SOUPS 4782 WITH SCORE 4805.574
AT ITER 4819 NEW BEST:: SOT 30671 SOS 23560 HAS SOPS 11358 HAS SOUS 5665 HAS SOUPS 4764 WITH SCORE 4787.56
AT ITER 4866 NEW BEST:: SOT 30701 SOS 23590 HAS SOPS 11344 HAS SOUS 5659 HAS SOUPS 4758 WITH SCORE 4781.59
AT ITER 4870 NEW BEST:: SOT 30699 SOS 23588 HAS SOPS 11346 HAS SOUS 5656 HAS SOUPS 4755 WITH SCORE 4778.588
AT ITER 4902 NEW BEST:: SOT 30699 SOS 23588 HAS SOPS 11340 HAS SOUS 5648 HAS SOUPS 4747 WITH SCORE 4770.588
AT ITER 4915 NEW BEST:: SOT 30699 SOS 23588 HAS SOPS 11340 HAS SOUS 5646 HAS SOUPS 4745 WITH SCORE 4768.588
AT ITER 4964 NEW BEST:: SOT 30691 SOS 23580 HAS SOPS 11328 HAS SOUS 5639 HAS SOUPS 4738 WITH SCORE 4761.58
Bounds file is: CTLFireability.xml
PROPERTY: Raft-PT-06-CTLFireability-00 (AG( ( (! (EG( ((potential((tk(P166)>=1) & (tk(P10)>=1))))))) | ( (EG( ((potential((tk(P171)>=1) & (tk(P120)>=1)))))) & ( (! ((potential((tk(P166)>=1) & (tk(P182)>=1))))) & (! ((potential((tk(P171)>=1))))) ) ) )))
PROPERTY: Raft-PT-06-CTLFireability-01 ( (EF( (EG( ((potential((tk(P169)>=1) & (tk(P188)>=1)))))))) | (EX( ( ( ((potential((tk(P176)>=1) & (tk(P126)>=1)))) & ( ((potential((tk(P158)>=1)))) & ((potential((tk(P173)>=1)))) ) ) & (AX( ((potential((tk(P156)>=1) & (tk(P184)>=1)))))) ))) )
PROPERTY: Raft-PT-06-CTLFireability-02 (EF( ( ( (AX( ((potential((tk(P176)>=1) & (tk(P94)>=1)))))) & ( (! ((potential((tk(P176)>=1) & (tk(P69)>=1))))) & ((potential((tk(P176)>=1) & (tk(P126)>=1)))) ) ) | (EG( ( ((potential((tk(P176)>=1) & (tk(P126)>=1)))) & ((potential((tk(P161)>=1) & (tk(P2)>=1)))) ))) )))
PROPERTY: Raft-PT-06-CTLFireability-03 (AG( (! ( (EG( ((potential((tk(P187)>=1)))))) & ( ((potential((tk(P176)>=1) & (tk(P19)>=1)))) & ((potential((tk(P156)>=1) & (tk(P103)>=1)))) ) ))))
PROPERTY: Raft-PT-06-CTLFireability-04 (AX( (AX( (EF( ((potential((tk(P166)>=1) & (tk(P71)>=1))))))))))
PROPERTY: Raft-PT-06-CTLFireability-05 ( ( (AU( ( ((potential((tk(P178)>=1)))) | ((potential((tk(P162)>=1)))) ) , ( ((potential((tk(P171)>=1) & (tk(P118)>=1)))) | ((potential((tk(P181)>=1) & (tk(P146)>=1)))) ) )) | ( ( ( (! ((potential((tk(P166)>=1) & (tk(P140)>=1))))) | ( ((potential((tk(P171)>=1) & (tk(P81)>=1)))) | ((potential((tk(P166)>=1) & (tk(P56)>=1)))) ) ) & ( (! ((potential((tk(P166)>=1) & (tk(P140)>=1))))) | ( ((potential((tk(P176)>=1) & (tk(P17)>=1)))) | ((potential((tk(P161)>=1) & (tk(P60)>=1)))) ) ) ) | ((potential((tk(P161)>=1) & (tk(P182)>=1)))) ) ) & (AX( (! (EF( ((potential((tk(P171)>=1) & (tk(P184)>=1))))))))) )
PROPERTY: Raft-PT-06-CTLFireability-06 (EF( (EG( (EG( ((potential((tk(P181)>=1) & (tk(P22)>=1))))))))))
PROPERTY: Raft-PT-06-CTLFireability-07 (! ( (EF( ((potential((tk(P178)>=1)))))) & (! ( (AF( ((potential((tk(P179)>=1) & (tk(P188)>=1)))))) & (EG( ((potential((tk(P171)>=1) & (tk(P91)>=1)))))) )) ))
PROPERTY: Raft-PT-06-CTLFireability-08 (AG( ( ( ( ((potential((tk(P181)>=1) & (tk(P182)>=1)))) | (! ((potential((tk(P177)>=1))))) ) | (! ( ((potential((tk(P176)>=1) & (tk(P19)>=1)))) & ((potential((tk(P181)>=1) & (tk(P146)>=1)))) )) ) & (! ( ( ((potential((tk(P172)>=1) & (tk(P188)>=1)))) & ((potential((tk(P176)>=1) & (tk(P106)>=1)))) ) & ( ((potential((tk(P166)>=1) & (tk(P61)>=1)))) | ((potential((tk(P171)>=1) & (tk(P65)>=1)))) ) )) )))
PROPERTY: Raft-PT-06-CTLFireability-09 (EU( ( (! ((potential((tk(P166)>=1) & (tk(P32)>=1))))) | ( ( ((potential((tk(P187)>=1)))) | ((potential((tk(P174)>=1)))) ) | ( ((potential((tk(P180)>=1)))) | ((potential((tk(P181)>=1) & (tk(P184)>=1)))) ) ) ) , ( ( ( ((potential((tk(P181)>=1) & (tk(P151)>=1)))) | ((potential((tk(P174)>=1)))) ) | ((potential((tk(P161)>=1) & (tk(P110)>=1)))) ) & ( ( ((potential((tk(P171)>=1) & (tk(P96)>=1)))) | ((potential((tk(P166)>=1) & (tk(P7)>=1)))) ) & ( ((potential((tk(P172)>=1) & (tk(P188)>=1)))) & ((potential((tk(P179)>=1) & (tk(P188)>=1)))) ) ) ) ))
PROPERTY: Raft-PT-06-CTLFireability-10 ( ( ( (AG( (! ((potential((tk(P166)>=1) & (tk(P140)>=1))))))) & ( (EG( ((potential((tk(P156)>=1) & (tk(P54)>=1)))))) & (! ( ((potential((tk(P166)>=1) & (tk(P61)>=1)))) | ((potential((tk(P156)>=1) & (tk(P11)>=1)))) )) ) ) | (AF( (! ( ((potential((tk(P156)>=1) & (tk(P11)>=1)))) | ((potential((tk(P181)>=1) & (tk(P125)>=1)))) )))) ) & (EF( ( ( ( ((potential((tk(P161)>=1)))) | ((potential((tk(P156)>=1) & (tk(P78)>=1)))) ) & ( ((potential((tk(P156)>=1) & (tk(P29)>=1)))) & ((potential((tk(P181)>=1) & (tk(P141)>=1)))) ) ) & ( ( ((potential((tk(P173)>=1)))) & ((potential((tk(P165)>=1)))) ) & ( ((potential((tk(P161)>=1) & (tk(P60)>=1)))) & ((potential((tk(P161)>=1)))) ) ) ))) )
PROPERTY: Raft-PT-06-CTLFireability-11 (! (EU( (AF( ((potential((tk(P176)>=1) & (tk(P106)>=1)))))) , ((potential((tk(P180)>=1)))) )))
PROPERTY: Raft-PT-06-CTLFireability-12 (! ( (AF( (EF( ((potential((tk(P181)>=1) & (tk(P184)>=1)))))))) & (EF( (AX( ((potential((tk(P176)>=1) & (tk(P121)>=1)))))))) ))
PROPERTY: Raft-PT-06-CTLFireability-13 ( (! (EF( ( ((potential((tk(P156)>=1) & (tk(P184)>=1)))) & ( ((potential((tk(P161)>=1) & (tk(P82)>=1)))) & ((potential((tk(P176)>=1) & (tk(P126)>=1)))) ) )))) & ( ( ( (! ( ((potential((tk(P161)>=1)))) | ((potential((tk(P156)>=1) & (tk(P28)>=1)))) )) & (EF( ((potential((tk(P175)>=1)))))) ) | (AU( ((potential((tk(P179)>=1) & (tk(P188)>=1)))) , ((potential((tk(P171)>=1) & (tk(P119)>=1)))) )) ) & (! ((potential((tk(P153)>=1))))) ) )
PROPERTY: Raft-PT-06-CTLFireability-14 (EU( (! (! ( ((potential((tk(P156)>=1) & (tk(P6)>=1)))) & ((potential((tk(P176)>=1) & (tk(P182)>=1)))) ))) , (! (EF( ((potential((tk(P153)>=1))))))) ))
PROPERTY: Raft-PT-06-CTLFireability-15 (! (AG( (AF( ( ((potential((tk(P181)>=1)))) | ((potential((tk(P181)>=1)))) ))))))

BK_STOP 1589801508451

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-06"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Raft-PT-06, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502600252"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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