About the Execution of smart for DES-PT-40a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15765.540 | 3600000.00 | 3600069.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 '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542000296.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DES-PT-40a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542000296
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 3.0K Mar 30 01:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 16:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 08:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 08:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 08:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 83K Mar 24 05:37 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 1589107844304
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 40a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 274 places, 231 transitions, 1116 arcs.
AT ITER 0 NEW BEST:: SOT 53145 SOS 49047 HAS SOPS 49047 HAS SOUS 26971 HAS SOUPS 26971 WITH SCORE 27020.047
AT ITER 6 NEW BEST:: SOT 52906 SOS 48949 HAS SOPS 48949 HAS SOUS 26872 HAS SOUPS 26872 WITH SCORE 26920.949
AT ITER 22 NEW BEST:: SOT 52848 SOS 48896 HAS SOPS 48896 HAS SOUS 26818 HAS SOUPS 26818 WITH SCORE 26866.896
AT ITER 25 NEW BEST:: SOT 52443 SOS 48491 HAS SOPS 48491 HAS SOUS 26694 HAS SOUPS 26694 WITH SCORE 26742.491
AT ITER 33 NEW BEST:: SOT 51403 SOS 47388 HAS SOPS 47388 HAS SOUS 26423 HAS SOUPS 26423 WITH SCORE 26470.388
AT ITER 40 NEW BEST:: SOT 51356 SOS 47385 HAS SOPS 47385 HAS SOUS 26420 HAS SOUPS 26420 WITH SCORE 26467.385
AT ITER 48 NEW BEST:: SOT 51324 SOS 47353 HAS SOPS 47353 HAS SOUS 26387 HAS SOUPS 26387 WITH SCORE 26434.353
AT ITER 52 NEW BEST:: SOT 51324 SOS 47360 HAS SOPS 47360 HAS SOUS 26372 HAS SOUPS 26372 WITH SCORE 26419.36
AT ITER 59 NEW BEST:: SOT 51309 SOS 47344 HAS SOPS 47344 HAS SOUS 26368 HAS SOUPS 26368 WITH SCORE 26415.344
AT ITER 60 NEW BEST:: SOT 50009 SOS 46044 HAS SOPS 46044 HAS SOUS 25067 HAS SOUPS 25067 WITH SCORE 25113.044
AT ITER 63 NEW BEST:: SOT 49878 SOS 45913 HAS SOPS 45913 HAS SOUS 24938 HAS SOUPS 24938 WITH SCORE 24983.913
AT ITER 99 NEW BEST:: SOT 49874 SOS 45909 HAS SOPS 45909 HAS SOUS 24934 HAS SOUPS 24934 WITH SCORE 24979.909
AT ITER 104 NEW BEST:: SOT 49844 SOS 45878 HAS SOPS 45878 HAS SOUS 24903 HAS SOUPS 24903 WITH SCORE 24948.878
AT ITER 109 NEW BEST:: SOT 49841 SOS 45875 HAS SOPS 45875 HAS SOUS 24858 HAS SOUPS 24858 WITH SCORE 24903.875
AT ITER 113 NEW BEST:: SOT 49825 SOS 45763 HAS SOPS 45763 HAS SOUS 24746 HAS SOUPS 24746 WITH SCORE 24791.763
AT ITER 121 NEW BEST:: SOT 49782 SOS 45720 HAS SOPS 45720 HAS SOUS 24732 HAS SOUPS 24732 WITH SCORE 24777.72
AT ITER 130 NEW BEST:: SOT 49751 SOS 45689 HAS SOPS 45689 HAS SOUS 24729 HAS SOUPS 24729 WITH SCORE 24774.689
AT ITER 132 NEW BEST:: SOT 49757 SOS 45752 HAS SOPS 45752 HAS SOUS 24721 HAS SOUPS 24721 WITH SCORE 24766.752
AT ITER 136 NEW BEST:: SOT 49627 SOS 45622 HAS SOPS 45622 HAS SOUS 24694 HAS SOUPS 24694 WITH SCORE 24739.622
AT ITER 140 NEW BEST:: SOT 49627 SOS 45622 HAS SOPS 45622 HAS SOUS 24693 HAS SOUPS 24693 WITH SCORE 24738.622
AT ITER 150 NEW BEST:: SOT 49627 SOS 45621 HAS SOPS 45621 HAS SOUS 24692 HAS SOUPS 24692 WITH SCORE 24737.621
AT ITER 154 NEW BEST:: SOT 49627 SOS 45621 HAS SOPS 45621 HAS SOUS 24623 HAS SOUPS 24623 WITH SCORE 24668.621
AT ITER 157 NEW BEST:: SOT 49649 SOS 45691 HAS SOPS 45691 HAS SOUS 24568 HAS SOUPS 24568 WITH SCORE 24613.691
AT ITER 162 NEW BEST:: SOT 49488 SOS 45530 HAS SOPS 45530 HAS SOUS 24406 HAS SOUPS 24406 WITH SCORE 24451.53
AT ITER 163 NEW BEST:: SOT 48990 SOS 45032 HAS SOPS 45032 HAS SOUS 24188 HAS SOUPS 24188 WITH SCORE 24233.032
AT ITER 174 NEW BEST:: SOT 48832 SOS 44874 HAS SOPS 44874 HAS SOUS 23988 HAS SOUPS 23988 WITH SCORE 24032.874
AT ITER 175 NEW BEST:: SOT 48412 SOS 44454 HAS SOPS 44454 HAS SOUS 23567 HAS SOUPS 23567 WITH SCORE 23611.454
AT ITER 177 NEW BEST:: SOT 48408 SOS 44450 HAS SOPS 44450 HAS SOUS 23562 HAS SOUPS 23562 WITH SCORE 23606.45
AT ITER 183 NEW BEST:: SOT 48369 SOS 44411 HAS SOPS 44411 HAS SOUS 23498 HAS SOUPS 23498 WITH SCORE 23542.411
AT ITER 187 NEW BEST:: SOT 48369 SOS 44411 HAS SOPS 44411 HAS SOUS 23492 HAS SOUPS 23492 WITH SCORE 23536.411
AT ITER 191 NEW BEST:: SOT 48369 SOS 44411 HAS SOPS 44411 HAS SOUS 23490 HAS SOUPS 23490 WITH SCORE 23534.411
AT ITER 193 NEW BEST:: SOT 47811 SOS 43853 HAS SOPS 43853 HAS SOUS 22932 HAS SOUPS 22932 WITH SCORE 22975.853
AT ITER 198 NEW BEST:: SOT 47702 SOS 43734 HAS SOPS 43734 HAS SOUS 22813 HAS SOUPS 22813 WITH SCORE 22856.734
AT ITER 199 NEW BEST:: SOT 47622 SOS 43654 HAS SOPS 43654 HAS SOUS 22733 HAS SOUPS 22733 WITH SCORE 22776.654
AT ITER 200 NEW BEST:: SOT 46423 SOS 42455 HAS SOPS 42455 HAS SOUS 21494 HAS SOUPS 21494 WITH SCORE 21536.455
AT ITER 223 NEW BEST:: SOT 46340 SOS 42430 HAS SOPS 42430 HAS SOUS 21327 HAS SOUPS 21327 WITH SCORE 21369.43
AT ITER 225 NEW BEST:: SOT 46483 SOS 42620 HAS SOPS 42620 HAS SOUS 21321 HAS SOUPS 21321 WITH SCORE 21363.62
AT ITER 229 NEW BEST:: SOT 46414 SOS 42560 HAS SOPS 42560 HAS SOUS 21307 HAS SOUPS 21307 WITH SCORE 21349.56
AT ITER 250 NEW BEST:: SOT 46365 SOS 42582 HAS SOPS 42582 HAS SOUS 21276 HAS SOUPS 21276 WITH SCORE 21318.582
AT ITER 251 NEW BEST:: SOT 46299 SOS 42511 HAS SOPS 42511 HAS SOUS 21208 HAS SOUPS 21208 WITH SCORE 21250.511
AT ITER 261 NEW BEST:: SOT 45891 SOS 42103 HAS SOPS 42103 HAS SOUS 20924 HAS SOUPS 20924 WITH SCORE 20966.103
AT ITER 266 NEW BEST:: SOT 45865 SOS 42095 HAS SOPS 42095 HAS SOUS 20905 HAS SOUPS 20905 WITH SCORE 20947.095
AT ITER 272 NEW BEST:: SOT 42029 SOS 38269 HAS SOPS 38269 HAS SOUS 17078 HAS SOUPS 17078 WITH SCORE 17116.269
AT ITER 275 NEW BEST:: SOT 41478 SOS 37767 HAS SOPS 37767 HAS SOUS 16575 HAS SOUPS 16575 WITH SCORE 16612.767
AT ITER 279 NEW BEST:: SOT 41435 SOS 37727 HAS SOPS 37727 HAS SOUS 16507 HAS SOUPS 16507 WITH SCORE 16544.727
AT ITER 300 NEW BEST:: SOT 41213 SOS 37505 HAS SOPS 37505 HAS SOUS 16503 HAS SOUPS 16503 WITH SCORE 16540.505
AT ITER 309 NEW BEST:: SOT 41213 SOS 37551 HAS SOPS 37551 HAS SOUS 16494 HAS SOUPS 16494 WITH SCORE 16531.551
AT ITER 317 NEW BEST:: SOT 41213 SOS 37549 HAS SOPS 37549 HAS SOUS 16492 HAS SOUPS 16492 WITH SCORE 16529.549
AT ITER 335 NEW BEST:: SOT 41213 SOS 37549 HAS SOPS 37549 HAS SOUS 16479 HAS SOUPS 16479 WITH SCORE 16516.549
AT ITER 344 NEW BEST:: SOT 41212 SOS 37548 HAS SOPS 37548 HAS SOUS 16477 HAS SOUPS 16477 WITH SCORE 16514.548
AT ITER 365 NEW BEST:: SOT 41213 SOS 37436 HAS SOPS 37436 HAS SOUS 16428 HAS SOUPS 16428 WITH SCORE 16465.436
AT ITER 386 NEW BEST:: SOT 41125 SOS 37348 HAS SOPS 37348 HAS SOUS 16190 HAS SOUPS 16190 WITH SCORE 16227.348
AT ITER 397 NEW BEST:: SOT 41125 SOS 37373 HAS SOPS 37373 HAS SOUS 16174 HAS SOUPS 16174 WITH SCORE 16211.373
AT ITER 398 NEW BEST:: SOT 41124 SOS 37369 HAS SOPS 37369 HAS SOUS 16170 HAS SOUPS 16170 WITH SCORE 16207.369
AT ITER 400 NEW BEST:: SOT 41106 SOS 37293 HAS SOPS 37293 HAS SOUS 16102 HAS SOUPS 16102 WITH SCORE 16139.293
AT ITER 403 NEW BEST:: SOT 38911 SOS 35098 HAS SOPS 35098 HAS SOUS 13907 HAS SOUPS 13907 WITH SCORE 13942.098
AT ITER 417 NEW BEST:: SOT 38784 SOS 34971 HAS SOPS 34971 HAS SOUS 13779 HAS SOUPS 13779 WITH SCORE 13813.971
AT ITER 419 NEW BEST:: SOT 38820 SOS 35007 HAS SOPS 35007 HAS SOUS 13773 HAS SOUPS 13773 WITH SCORE 13808.007
AT ITER 421 NEW BEST:: SOT 38659 SOS 34846 HAS SOPS 34846 HAS SOUS 13452 HAS SOUPS 13452 WITH SCORE 13486.846
AT ITER 423 NEW BEST:: SOT 38503 SOS 34690 HAS SOPS 34690 HAS SOUS 13381 HAS SOUPS 13381 WITH SCORE 13415.69
AT ITER 427 NEW BEST:: SOT 38503 SOS 34690 HAS SOPS 34690 HAS SOUS 13378 HAS SOUPS 13378 WITH SCORE 13412.69
AT ITER 428 NEW BEST:: SOT 38464 SOS 34651 HAS SOPS 34651 HAS SOUS 13339 HAS SOUPS 13339 WITH SCORE 13373.651
AT ITER 432 NEW BEST:: SOT 38444 SOS 34631 HAS SOPS 34631 HAS SOUS 13339 HAS SOUPS 13339 WITH SCORE 13373.631
AT ITER 445 NEW BEST:: SOT 38416 SOS 34603 HAS SOPS 34603 HAS SOUS 13310 HAS SOUPS 13310 WITH SCORE 13344.603
AT ITER 451 NEW BEST:: SOT 38409 SOS 34596 HAS SOPS 34596 HAS SOUS 13309 HAS SOUPS 13309 WITH SCORE 13343.596
AT ITER 453 NEW BEST:: SOT 38357 SOS 34451 HAS SOPS 34451 HAS SOUS 13298 HAS SOUPS 13298 WITH SCORE 13332.451
AT ITER 475 NEW BEST:: SOT 38349 SOS 34443 HAS SOPS 34443 HAS SOUS 13298 HAS SOUPS 13298 WITH SCORE 13332.443
AT ITER 477 NEW BEST:: SOT 38348 SOS 34442 HAS SOPS 34442 HAS SOUS 13296 HAS SOUPS 13296 WITH SCORE 13330.442
AT ITER 483 NEW BEST:: SOT 38258 SOS 34352 HAS SOPS 34352 HAS SOUS 13256 HAS SOUPS 13256 WITH SCORE 13290.352
AT ITER 490 NEW BEST:: SOT 38258 SOS 34369 HAS SOPS 34369 HAS SOUS 13227 HAS SOUPS 13227 WITH SCORE 13261.369
AT ITER 493 NEW BEST:: SOT 38231 SOS 34334 HAS SOPS 34334 HAS SOUS 13192 HAS SOUPS 13192 WITH SCORE 13226.334
AT ITER 508 NEW BEST:: SOT 38127 SOS 34230 HAS SOPS 34230 HAS SOUS 13088 HAS SOUPS 13088 WITH SCORE 13122.23
AT ITER 522 NEW BEST:: SOT 38039 SOS 34200 HAS SOPS 34200 HAS SOUS 13080 HAS SOUPS 13080 WITH SCORE 13114.2
AT ITER 524 NEW BEST:: SOT 38038 SOS 34199 HAS SOPS 34199 HAS SOUS 13078 HAS SOUPS 13078 WITH SCORE 13112.199
AT ITER 525 NEW BEST:: SOT 38024 SOS 34167 HAS SOPS 34167 HAS SOUS 13046 HAS SOUPS 13046 WITH SCORE 13080.167
AT ITER 528 NEW BEST:: SOT 38024 SOS 34167 HAS SOPS 34167 HAS SOUS 13045 HAS SOUPS 13045 WITH SCORE 13079.167
AT ITER 546 NEW BEST:: SOT 37961 SOS 34102 HAS SOPS 34102 HAS SOUS 12980 HAS SOUPS 12980 WITH SCORE 13014.102
AT ITER 552 NEW BEST:: SOT 37809 SOS 33570 HAS SOPS 33570 HAS SOUS 12809 HAS SOUPS 12809 WITH SCORE 12842.57
AT ITER 571 NEW BEST:: SOT 37891 SOS 33724 HAS SOPS 33724 HAS SOUS 12799 HAS SOUPS 12799 WITH SCORE 12832.724
AT ITER 573 NEW BEST:: SOT 37891 SOS 33724 HAS SOPS 33724 HAS SOUS 12798 HAS SOUPS 12798 WITH SCORE 12831.724
AT ITER 575 NEW BEST:: SOT 37890 SOS 33723 HAS SOPS 33723 HAS SOUS 12796 HAS SOUPS 12796 WITH SCORE 12829.723
AT ITER 578 NEW BEST:: SOT 37914 SOS 33815 HAS SOPS 33815 HAS SOUS 12774 HAS SOUPS 12774 WITH SCORE 12807.815
AT ITER 603 NEW BEST:: SOT 37724 SOS 33625 HAS SOPS 33625 HAS SOUS 12504 HAS SOUPS 12504 WITH SCORE 12537.625
AT ITER 611 NEW BEST:: SOT 37724 SOS 33611 HAS SOPS 33611 HAS SOUS 12490 HAS SOUPS 12490 WITH SCORE 12523.611
AT ITER 623 NEW BEST:: SOT 37724 SOS 33611 HAS SOPS 33611 HAS SOUS 12479 HAS SOUPS 12479 WITH SCORE 12512.611
AT ITER 624 NEW BEST:: SOT 37724 SOS 33611 HAS SOPS 33611 HAS SOUS 12473 HAS SOUPS 12473 WITH SCORE 12506.611
AT ITER 627 NEW BEST:: SOT 37708 SOS 33595 HAS SOPS 33595 HAS SOUS 12441 HAS SOUPS 12441 WITH SCORE 12474.595
AT ITER 648 NEW BEST:: SOT 37738 SOS 33635 HAS SOPS 33635 HAS SOUS 12421 HAS SOUPS 12421 WITH SCORE 12454.635
AT ITER 653 NEW BEST:: SOT 37738 SOS 33638 HAS SOPS 33638 HAS SOUS 12414 HAS SOUPS 12414 WITH SCORE 12447.638
AT ITER 657 NEW BEST:: SOT 37670 SOS 33498 HAS SOPS 33498 HAS SOUS 12274 HAS SOUPS 12274 WITH SCORE 12307.498
AT ITER 669 NEW BEST:: SOT 37666 SOS 33494 HAS SOPS 33494 HAS SOUS 12266 HAS SOUPS 12266 WITH SCORE 12299.494
AT ITER 673 NEW BEST:: SOT 37591 SOS 33419 HAS SOPS 33419 HAS SOUS 12191 HAS SOUPS 12191 WITH SCORE 12224.419
AT ITER 678 NEW BEST:: SOT 37584 SOS 33412 HAS SOPS 33412 HAS SOUS 12170 HAS SOUPS 12170 WITH SCORE 12203.412
AT ITER 687 NEW BEST:: SOT 37527 SOS 33343 HAS SOPS 33343 HAS SOUS 12160 HAS SOUPS 12160 WITH SCORE 12193.343
AT ITER 711 NEW BEST:: SOT 37455 SOS 33228 HAS SOPS 33228 HAS SOUS 12045 HAS SOUPS 12045 WITH SCORE 12078.228
AT ITER 712 NEW BEST:: SOT 36670 SOS 32443 HAS SOPS 32443 HAS SOUS 11803 HAS SOUPS 11803 WITH SCORE 11835.443
AT ITER 724 NEW BEST:: SOT 36599 SOS 32372 HAS SOPS 32372 HAS SOUS 11733 HAS SOUPS 11733 WITH SCORE 11765.372
AT ITER 725 NEW BEST:: SOT 36499 SOS 32222 HAS SOPS 32222 HAS SOUS 11583 HAS SOUPS 11583 WITH SCORE 11615.222
AT ITER 738 NEW BEST:: SOT 36474 SOS 32179 HAS SOPS 32179 HAS SOUS 11540 HAS SOUPS 11540 WITH SCORE 11572.179
AT ITER 756 NEW BEST:: SOT 36473 SOS 32178 HAS SOPS 32178 HAS SOUS 11538 HAS SOUPS 11538 WITH SCORE 11570.178
AT ITER 758 NEW BEST:: SOT 36378 SOS 32083 HAS SOPS 32083 HAS SOUS 11443 HAS SOUPS 11443 WITH SCORE 11475.083
AT ITER 760 NEW BEST:: SOT 36377 SOS 32107 HAS SOPS 32107 HAS SOUS 11441 HAS SOUPS 11441 WITH SCORE 11473.107
AT ITER 779 NEW BEST:: SOT 36374 SOS 32104 HAS SOPS 32104 HAS SOUS 11438 HAS SOUPS 11438 WITH SCORE 11470.104
AT ITER 781 NEW BEST:: SOT 36417 SOS 32147 HAS SOPS 32147 HAS SOUS 11436 HAS SOUPS 11436 WITH SCORE 11468.147
AT ITER 787 NEW BEST:: SOT 36411 SOS 32112 HAS SOPS 32112 HAS SOUS 11401 HAS SOUPS 11401 WITH SCORE 11433.112
AT ITER 794 NEW BEST:: SOT 36369 SOS 32070 HAS SOPS 32070 HAS SOUS 11399 HAS SOUPS 11399 WITH SCORE 11431.07
AT ITER 797 NEW BEST:: SOT 36347 SOS 32048 HAS SOPS 32048 HAS SOUS 11377 HAS SOUPS 11377 WITH SCORE 11409.048
AT ITER 824 NEW BEST:: SOT 36341 SOS 32042 HAS SOPS 32042 HAS SOUS 11365 HAS SOUPS 11365 WITH SCORE 11397.042
AT ITER 827 NEW BEST:: SOT 36334 SOS 32035 HAS SOPS 32035 HAS SOUS 11358 HAS SOUPS 11358 WITH SCORE 11390.035
AT ITER 867 NEW BEST:: SOT 36334 SOS 32165 HAS SOPS 32165 HAS SOUS 11325 HAS SOUPS 11325 WITH SCORE 11357.165
AT ITER 878 NEW BEST:: SOT 36339 SOS 32217 HAS SOPS 32217 HAS SOUS 11305 HAS SOUPS 11305 WITH SCORE 11337.217
AT ITER 900 NEW BEST:: SOT 36325 SOS 32203 HAS SOPS 32203 HAS SOUS 11298 HAS SOUPS 11298 WITH SCORE 11330.203
AT ITER 908 NEW BEST:: SOT 36317 SOS 32195 HAS SOPS 32195 HAS SOUS 11296 HAS SOUPS 11296 WITH SCORE 11328.195
AT ITER 919 NEW BEST:: SOT 36249 SOS 32049 HAS SOPS 32049 HAS SOUS 11238 HAS SOUPS 11238 WITH SCORE 11270.049
AT ITER 922 NEW BEST:: SOT 36252 SOS 32052 HAS SOPS 32052 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11259.052
AT ITER 952 NEW BEST:: SOT 36217 SOS 32068 HAS SOPS 32068 HAS SOUS 11169 HAS SOUPS 11169 WITH SCORE 11201.068
AT ITER 957 NEW BEST:: SOT 36172 SOS 32023 HAS SOPS 32023 HAS SOUS 11154 HAS SOUPS 11154 WITH SCORE 11186.023
AT ITER 966 NEW BEST:: SOT 36194 SOS 32012 HAS SOPS 32012 HAS SOUS 11143 HAS SOUPS 11143 WITH SCORE 11175.012
AT ITER 985 NEW BEST:: SOT 36221 SOS 32070 HAS SOPS 32070 HAS SOUS 11127 HAS SOUPS 11127 WITH SCORE 11159.07
AT ITER 987 NEW BEST:: SOT 36220 SOS 32069 HAS SOPS 32069 HAS SOUS 11125 HAS SOUPS 11125 WITH SCORE 11157.069
AT ITER 1007 NEW BEST:: SOT 36216 SOS 32065 HAS SOPS 32065 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11153.065
AT ITER 1028 NEW BEST:: SOT 36188 SOS 32037 HAS SOPS 32037 HAS SOUS 11041 HAS SOUPS 11041 WITH SCORE 11073.037
AT ITER 1031 NEW BEST:: SOT 36103 SOS 31952 HAS SOPS 31952 HAS SOUS 10975 HAS SOUPS 10975 WITH SCORE 11006.952
AT ITER 1032 NEW BEST:: SOT 36099 SOS 31951 HAS SOPS 31951 HAS SOUS 10974 HAS SOUPS 10974 WITH SCORE 11005.951
AT ITER 1034 NEW BEST:: SOT 36099 SOS 31951 HAS SOPS 31951 HAS SOUS 10969 HAS SOUPS 10969 WITH SCORE 11000.951
AT ITER 1036 NEW BEST:: SOT 36090 SOS 31942 HAS SOPS 31942 HAS SOUS 10961 HAS SOUPS 10961 WITH SCORE 10992.942
AT ITER 1087 NEW BEST:: SOT 36086 SOS 31934 HAS SOPS 31934 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10984.934
AT ITER 1127 NEW BEST:: SOT 36074 SOS 31922 HAS SOPS 31922 HAS SOUS 10941 HAS SOUPS 10941 WITH SCORE 10972.922
AT ITER 1128 NEW BEST:: SOT 36064 SOS 31912 HAS SOPS 31912 HAS SOUS 10941 HAS SOUPS 10941 WITH SCORE 10972.912
AT ITER 1141 NEW BEST:: SOT 36059 SOS 31907 HAS SOPS 31907 HAS SOUS 10939 HAS SOUPS 10939 WITH SCORE 10970.907
AT ITER 1146 NEW BEST:: SOT 36056 SOS 31904 HAS SOPS 31904 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10964.904
AT ITER 1162 NEW BEST:: SOT 36056 SOS 31921 HAS SOPS 31921 HAS SOUS 10916 HAS SOUPS 10916 WITH SCORE 10947.921
AT ITER 1176 NEW BEST:: SOT 36041 SOS 32040 HAS SOPS 32040 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10902.04
AT ITER 1184 NEW BEST:: SOT 36162 SOS 32178 HAS SOPS 32178 HAS SOUS 10786 HAS SOUPS 10786 WITH SCORE 10818.178
AT ITER 1189 NEW BEST:: SOT 36160 SOS 32176 HAS SOPS 32176 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10814.176
AT ITER 1201 NEW BEST:: SOT 36146 SOS 32162 HAS SOPS 32162 HAS SOUS 10768 HAS SOUPS 10768 WITH SCORE 10800.162
AT ITER 1215 NEW BEST:: SOT 36090 SOS 32106 HAS SOPS 32106 HAS SOUS 10713 HAS SOUPS 10713 WITH SCORE 10745.106
AT ITER 1243 NEW BEST:: SOT 36022 SOS 32038 HAS SOPS 32038 HAS SOUS 10645 HAS SOUPS 10645 WITH SCORE 10677.038
AT ITER 1258 NEW BEST:: SOT 36022 SOS 32029 HAS SOPS 32029 HAS SOUS 10636 HAS SOUPS 10636 WITH SCORE 10668.029
AT ITER 1260 NEW BEST:: SOT 36040 SOS 32048 HAS SOPS 32048 HAS SOUS 10505 HAS SOUPS 10505 WITH SCORE 10537.048
AT ITER 1262 NEW BEST:: SOT 36076 SOS 32084 HAS SOPS 32084 HAS SOUS 10499 HAS SOUPS 10499 WITH SCORE 10531.084
AT ITER 1274 NEW BEST:: SOT 35958 SOS 31966 HAS SOPS 31966 HAS SOUS 10321 HAS SOUPS 10321 WITH SCORE 10352.966
AT ITER 1277 NEW BEST:: SOT 35950 SOS 31954 HAS SOPS 31954 HAS SOUS 10313 HAS SOUPS 10313 WITH SCORE 10344.954
AT ITER 1280 NEW BEST:: SOT 35949 SOS 31953 HAS SOPS 31953 HAS SOUS 10311 HAS SOUPS 10311 WITH SCORE 10342.953
AT ITER 1282 NEW BEST:: SOT 35942 SOS 31946 HAS SOPS 31946 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10328.946
AT ITER 1286 NEW BEST:: SOT 35926 SOS 31930 HAS SOPS 31930 HAS SOUS 10281 HAS SOUPS 10281 WITH SCORE 10312.93
AT ITER 1323 NEW BEST:: SOT 35925 SOS 31929 HAS SOPS 31929 HAS SOUS 10279 HAS SOUPS 10279 WITH SCORE 10310.929
AT ITER 1329 NEW BEST:: SOT 35967 SOS 31971 HAS SOPS 31971 HAS SOUS 10263 HAS SOUPS 10263 WITH SCORE 10294.971
AT ITER 1341 NEW BEST:: SOT 35981 SOS 31985 HAS SOPS 31985 HAS SOUS 10254 HAS SOUPS 10254 WITH SCORE 10285.985
AT ITER 1346 NEW BEST:: SOT 35961 SOS 31967 HAS SOPS 31967 HAS SOUS 10236 HAS SOUPS 10236 WITH SCORE 10267.967
AT ITER 1357 NEW BEST:: SOT 35959 SOS 31965 HAS SOPS 31965 HAS SOUS 10232 HAS SOUPS 10232 WITH SCORE 10263.965
AT ITER 1367 NEW BEST:: SOT 35951 SOS 31957 HAS SOPS 31957 HAS SOUS 10224 HAS SOUPS 10224 WITH SCORE 10255.957
AT ITER 1381 NEW BEST:: SOT 35865 SOS 31871 HAS SOPS 31871 HAS SOUS 10138 HAS SOUPS 10138 WITH SCORE 10169.871
AT ITER 1396 NEW BEST:: SOT 35864 SOS 31870 HAS SOPS 31870 HAS SOUS 10136 HAS SOUPS 10136 WITH SCORE 10167.87
AT ITER 1401 NEW BEST:: SOT 35864 SOS 31870 HAS SOPS 31870 HAS SOUS 10128 HAS SOUPS 10128 WITH SCORE 10159.87
AT ITER 1420 NEW BEST:: SOT 35864 SOS 31870 HAS SOPS 31870 HAS SOUS 10123 HAS SOUPS 10123 WITH SCORE 10154.87
AT ITER 1421 NEW BEST:: SOT 35864 SOS 31502 HAS SOPS 31502 HAS SOUS 10119 HAS SOUPS 10119 WITH SCORE 10150.502
AT ITER 1422 NEW BEST:: SOT 35839 SOS 31452 HAS SOPS 31452 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10125.452
AT ITER 1426 NEW BEST:: SOT 35848 SOS 31464 HAS SOPS 31464 HAS SOUS 10020 HAS SOUPS 10020 WITH SCORE 10051.464
AT ITER 1427 NEW BEST:: SOT 35659 SOS 31275 HAS SOPS 31275 HAS SOUS 9829 HAS SOUPS 9829 WITH SCORE 9860.275
AT ITER 1443 NEW BEST:: SOT 35576 SOS 31191 HAS SOPS 31191 HAS SOUS 9745 HAS SOUPS 9745 WITH SCORE 9776.191
AT ITER 1449 NEW BEST:: SOT 35569 SOS 31169 HAS SOPS 31169 HAS SOUS 9723 HAS SOUPS 9723 WITH SCORE 9754.169
AT ITER 1480 NEW BEST:: SOT 35555 SOS 31148 HAS SOPS 31148 HAS SOUS 9702 HAS SOUPS 9702 WITH SCORE 9733.148
AT ITER 1500 NEW BEST:: SOT 35553 SOS 31146 HAS SOPS 31146 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9730.146
AT ITER 1502 NEW BEST:: SOT 35499 SOS 31086 HAS SOPS 31086 HAS SOUS 9639 HAS SOUPS 9639 WITH SCORE 9670.086
AT ITER 1506 NEW BEST:: SOT 35485 SOS 31072 HAS SOPS 31072 HAS SOUS 9611 HAS SOUPS 9611 WITH SCORE 9642.072
AT ITER 1525 NEW BEST:: SOT 35477 SOS 31064 HAS SOPS 31064 HAS SOUS 9587 HAS SOUPS 9587 WITH SCORE 9618.064
AT ITER 1530 NEW BEST:: SOT 35477 SOS 31064 HAS SOPS 31064 HAS SOUS 9571 HAS SOUPS 9571 WITH SCORE 9602.064
AT ITER 1532 NEW BEST:: SOT 35477 SOS 31016 HAS SOPS 31016 HAS SOUS 9568 HAS SOUPS 9568 WITH SCORE 9599.016
AT ITER 1536 NEW BEST:: SOT 35477 SOS 31015 HAS SOPS 31015 HAS SOUS 9566 HAS SOUPS 9566 WITH SCORE 9597.015
AT ITER 1538 NEW BEST:: SOT 35452 SOS 30990 HAS SOPS 30990 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9571.99
AT ITER 1588 NEW BEST:: SOT 35451 SOS 30989 HAS SOPS 30989 HAS SOUS 9539 HAS SOUPS 9539 WITH SCORE 9569.989
AT ITER 1607 NEW BEST:: SOT 35350 SOS 30914 HAS SOPS 30914 HAS SOUS 9532 HAS SOUPS 9532 WITH SCORE 9562.914
AT ITER 1616 NEW BEST:: SOT 35351 SOS 30915 HAS SOPS 30915 HAS SOUS 9528 HAS SOUPS 9528 WITH SCORE 9558.915
AT ITER 1620 NEW BEST:: SOT 35302 SOS 30866 HAS SOPS 30866 HAS SOUS 9506 HAS SOUPS 9506 WITH SCORE 9536.866
AT ITER 1626 NEW BEST:: SOT 35295 SOS 30859 HAS SOPS 30859 HAS SOUS 9492 HAS SOUPS 9492 WITH SCORE 9522.859
AT ITER 1629 NEW BEST:: SOT 35266 SOS 30830 HAS SOPS 30830 HAS SOUS 9434 HAS SOUPS 9434 WITH SCORE 9464.83
AT ITER 1634 NEW BEST:: SOT 35260 SOS 30824 HAS SOPS 30824 HAS SOUS 9422 HAS SOUPS 9422 WITH SCORE 9452.824
AT ITER 1636 NEW BEST:: SOT 35237 SOS 30780 HAS SOPS 30780 HAS SOUS 9378 HAS SOUPS 9378 WITH SCORE 9408.78
AT ITER 1671 NEW BEST:: SOT 35201 SOS 30744 HAS SOPS 30744 HAS SOUS 9378 HAS SOUPS 9378 WITH SCORE 9408.744
AT ITER 1679 NEW BEST:: SOT 35195 SOS 30738 HAS SOPS 30738 HAS SOUS 9366 HAS SOUPS 9366 WITH SCORE 9396.738
AT ITER 1690 NEW BEST:: SOT 35211 SOS 30754 HAS SOPS 30754 HAS SOUS 9361 HAS SOUPS 9361 WITH SCORE 9391.754
AT ITER 1727 NEW BEST:: SOT 35206 SOS 30749 HAS SOPS 30749 HAS SOUS 9345 HAS SOUPS 9345 WITH SCORE 9375.749
AT ITER 1752 NEW BEST:: SOT 35152 SOS 30570 HAS SOPS 30570 HAS SOUS 9342 HAS SOUPS 9342 WITH SCORE 9372.57
AT ITER 1791 NEW BEST:: SOT 35121 SOS 30539 HAS SOPS 30539 HAS SOUS 9280 HAS SOUPS 9280 WITH SCORE 9310.539
AT ITER 1803 NEW BEST:: SOT 35126 SOS 30531 HAS SOPS 30531 HAS SOUS 9272 HAS SOUPS 9272 WITH SCORE 9302.531
AT ITER 1806 NEW BEST:: SOT 35123 SOS 30528 HAS SOPS 30528 HAS SOUS 9266 HAS SOUPS 9266 WITH SCORE 9296.528
AT ITER 1818 NEW BEST:: SOT 35118 SOS 30491 HAS SOPS 30491 HAS SOUS 9229 HAS SOUPS 9229 WITH SCORE 9259.491
AT ITER 1819 NEW BEST:: SOT 35112 SOS 30490 HAS SOPS 30490 HAS SOUS 9228 HAS SOUPS 9228 WITH SCORE 9258.49
AT ITER 1831 NEW BEST:: SOT 35018 SOS 30382 HAS SOPS 30382 HAS SOUS 9169 HAS SOUPS 9169 WITH SCORE 9199.382
AT ITER 1837 NEW BEST:: SOT 34968 SOS 30332 HAS SOPS 30332 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9099.332
AT ITER 1843 NEW BEST:: SOT 34955 SOS 30319 HAS SOPS 30319 HAS SOUS 9038 HAS SOUPS 9038 WITH SCORE 9068.319
AT ITER 1848 NEW BEST:: SOT 34935 SOS 30299 HAS SOPS 30299 HAS SOUS 9036 HAS SOUPS 9036 WITH SCORE 9066.299
AT ITER 1851 NEW BEST:: SOT 34934 SOS 30298 HAS SOPS 30298 HAS SOUS 9034 HAS SOUPS 9034 WITH SCORE 9064.298
AT ITER 1875 NEW BEST:: SOT 34925 SOS 30289 HAS SOPS 30289 HAS SOUS 9008 HAS SOUPS 9008 WITH SCORE 9038.289
AT ITER 1882 NEW BEST:: SOT 34925 SOS 30289 HAS SOPS 30289 HAS SOUS 9004 HAS SOUPS 9004 WITH SCORE 9034.289
AT ITER 1885 NEW BEST:: SOT 34925 SOS 30276 HAS SOPS 30276 HAS SOUS 8991 HAS SOUPS 8991 WITH SCORE 9021.276
AT ITER 1887 NEW BEST:: SOT 34910 SOS 30261 HAS SOPS 30261 HAS SOUS 8962 HAS SOUPS 8962 WITH SCORE 8992.261
AT ITER 1904 NEW BEST:: SOT 34899 SOS 30239 HAS SOPS 30239 HAS SOUS 8951 HAS SOUPS 8951 WITH SCORE 8981.239
AT ITER 1926 NEW BEST:: SOT 34889 SOS 30229 HAS SOPS 30229 HAS SOUS 8931 HAS SOUPS 8931 WITH SCORE 8961.229
AT ITER 1932 NEW BEST:: SOT 34862 SOS 28662 HAS SOPS 28662 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8910.662
AT ITER 1956 NEW BEST:: SOT 34857 SOS 28657 HAS SOPS 28657 HAS SOUS 8869 HAS SOUPS 8869 WITH SCORE 8897.657
AT ITER 1959 NEW BEST:: SOT 34924 SOS 28756 HAS SOPS 28756 HAS SOUS 8867 HAS SOUPS 8867 WITH SCORE 8895.756
AT ITER 1987 NEW BEST:: SOT 34850 SOS 28682 HAS SOPS 28682 HAS SOUS 8793 HAS SOUPS 8793 WITH SCORE 8821.682
AT ITER 1997 NEW BEST:: SOT 34862 SOS 28694 HAS SOPS 28694 HAS SOUS 8785 HAS SOUPS 8785 WITH SCORE 8813.694
AT ITER 2028 NEW BEST:: SOT 34860 SOS 28715 HAS SOPS 28715 HAS SOUS 8771 HAS SOUPS 8771 WITH SCORE 8799.715
AT ITER 2030 NEW BEST:: SOT 34895 SOS 27223 HAS SOPS 27223 HAS SOUS 8761 HAS SOUPS 8761 WITH SCORE 8788.223
AT ITER 2089 NEW BEST:: SOT 34829 SOS 27140 HAS SOPS 27140 HAS SOUS 8753 HAS SOUPS 8753 WITH SCORE 8780.14
AT ITER 2090 NEW BEST:: SOT 34933 SOS 27244 HAS SOPS 27244 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8754.244
AT ITER 2095 NEW BEST:: SOT 34909 SOS 27225 HAS SOPS 27225 HAS SOUS 8674 HAS SOUPS 8674 WITH SCORE 8701.225
AT ITER 2097 NEW BEST:: SOT 34909 SOS 27231 HAS SOPS 27231 HAS SOUS 8668 HAS SOUPS 8668 WITH SCORE 8695.231
AT ITER 2099 NEW BEST:: SOT 34911 SOS 27233 HAS SOPS 27233 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8692.233
AT ITER 2119 NEW BEST:: SOT 34865 SOS 27182 HAS SOPS 27182 HAS SOUS 8614 HAS SOUPS 8614 WITH SCORE 8641.182
AT ITER 2135 NEW BEST:: SOT 34835 SOS 27152 HAS SOPS 27152 HAS SOUS 8569 HAS SOUPS 8569 WITH SCORE 8596.152
AT ITER 2136 NEW BEST:: SOT 34835 SOS 27160 HAS SOPS 27160 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8588.16
AT ITER 2153 NEW BEST:: SOT 34834 SOS 27159 HAS SOPS 27159 HAS SOUS 8559 HAS SOUPS 8559 WITH SCORE 8586.159
AT ITER 2170 NEW BEST:: SOT 34813 SOS 27138 HAS SOPS 27138 HAS SOUS 8517 HAS SOUPS 8517 WITH SCORE 8544.138
AT ITER 2175 NEW BEST:: SOT 34803 SOS 27122 HAS SOPS 27122 HAS SOUS 8501 HAS SOUPS 8501 WITH SCORE 8528.122
AT ITER 2179 NEW BEST:: SOT 34800 SOS 27118 HAS SOPS 27118 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8524.118
AT ITER 2225 NEW BEST:: SOT 34780 SOS 27098 HAS SOPS 27098 HAS SOUS 8457 HAS SOUPS 8457 WITH SCORE 8484.098
AT ITER 2255 NEW BEST:: SOT 34781 SOS 26402 HAS SOPS 26402 HAS SOUS 8451 HAS SOUPS 8451 WITH SCORE 8477.402
AT ITER 2303 NEW BEST:: SOT 34765 SOS 26386 HAS SOPS 26386 HAS SOUS 8404 HAS SOUPS 8404 WITH SCORE 8430.386
AT ITER 2309 NEW BEST:: SOT 34765 SOS 26388 HAS SOPS 26388 HAS SOUS 8393 HAS SOUPS 8393 WITH SCORE 8419.388
AT ITER 2323 NEW BEST:: SOT 34694 SOS 26317 HAS SOPS 26317 HAS SOUS 8251 HAS SOUPS 8251 WITH SCORE 8277.317
AT ITER 2352 NEW BEST:: SOT 34631 SOS 26254 HAS SOPS 26254 HAS SOUS 8212 HAS SOUPS 8212 WITH SCORE 8238.254
AT ITER 2363 NEW BEST:: SOT 34629 SOS 26401 HAS SOPS 26401 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8237.401
AT ITER 2397 NEW BEST:: SOT 34616 SOS 26388 HAS SOPS 26388 HAS SOUS 8204 HAS SOUPS 8204 WITH SCORE 8230.388
AT ITER 2430 NEW BEST:: SOT 34637 SOS 26463 HAS SOPS 26463 HAS SOUS 8192 HAS SOUPS 8192 WITH SCORE 8218.463
AT ITER 2438 NEW BEST:: SOT 34518 SOS 26344 HAS SOPS 26344 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8151.344
AT ITER 2481 NEW BEST:: SOT 34513 SOS 26339 HAS SOPS 26339 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8141.339
AT ITER 2490 NEW BEST:: SOT 34514 SOS 26314 HAS SOPS 26314 HAS SOUS 8107 HAS SOUPS 8107 WITH SCORE 8133.314
AT ITER 2519 NEW BEST:: SOT 34515 SOS 26315 HAS SOPS 26315 HAS SOUS 8086 HAS SOUPS 8086 WITH SCORE 8112.315
AT ITER 2532 NEW BEST:: SOT 34507 SOS 26307 HAS SOPS 26307 HAS SOUS 8070 HAS SOUPS 8070 WITH SCORE 8096.307
AT ITER 2553 NEW BEST:: SOT 34352 SOS 26173 HAS SOPS 26173 HAS SOUS 8022 HAS SOUPS 8022 WITH SCORE 8048.173
AT ITER 2574 NEW BEST:: SOT 34329 SOS 26150 HAS SOPS 26150 HAS SOUS 7975 HAS SOUPS 7975 WITH SCORE 8001.15
AT ITER 2593 NEW BEST:: SOT 34329 SOS 26150 HAS SOPS 26150 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7989.15
AT ITER 2617 NEW BEST:: SOT 34318 SOS 26139 HAS SOPS 26139 HAS SOUS 7941 HAS SOUPS 7941 WITH SCORE 7967.139
AT ITER 2626 NEW BEST:: SOT 34305 SOS 26126 HAS SOPS 26126 HAS SOUS 7915 HAS SOUPS 7915 WITH SCORE 7941.126
AT ITER 2638 NEW BEST:: SOT 34231 SOS 26036 HAS SOPS 26036 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7870.036
AT ITER 2657 NEW BEST:: SOT 34213 SOS 26018 HAS SOPS 26018 HAS SOUS 7808 HAS SOUPS 7808 WITH SCORE 7834.018
AT ITER 2689 NEW BEST:: SOT 34199 SOS 25998 HAS SOPS 25998 HAS SOUS 7788 HAS SOUPS 7788 WITH SCORE 7813.998
AT ITER 2729 NEW BEST:: SOT 34185 SOS 25984 HAS SOPS 25984 HAS SOUS 7788 HAS SOUPS 7788 WITH SCORE 7813.984
AT ITER 2764 NEW BEST:: SOT 34184 SOS 25983 HAS SOPS 25983 HAS SOUS 7786 HAS SOUPS 7786 WITH SCORE 7811.983
AT ITER 2767 NEW BEST:: SOT 34183 SOS 25982 HAS SOPS 25982 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7809.982
AT ITER 2775 NEW BEST:: SOT 34180 SOS 25979 HAS SOPS 25979 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7800.979
AT ITER 2783 NEW BEST:: SOT 34180 SOS 25991 HAS SOPS 25991 HAS SOUS 7767 HAS SOUPS 7767 WITH SCORE 7792.991
AT ITER 2790 NEW BEST:: SOT 34251 SOS 26062 HAS SOPS 26062 HAS SOUS 7759 HAS SOUPS 7759 WITH SCORE 7785.062
AT ITER 2792 NEW BEST:: SOT 34250 SOS 26061 HAS SOPS 26061 HAS SOUS 7751 HAS SOUPS 7751 WITH SCORE 7777.061
AT ITER 2809 NEW BEST:: SOT 34250 SOS 26061 HAS SOPS 26061 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7770.061
AT ITER 2819 NEW BEST:: SOT 34243 SOS 26054 HAS SOPS 26054 HAS SOUS 7730 HAS SOUPS 7730 WITH SCORE 7756.054
AT ITER 2851 NEW BEST:: SOT 34236 SOS 26047 HAS SOPS 26047 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7742.047
AT ITER 2890 NEW BEST:: SOT 34248 SOS 26060 HAS SOPS 26060 HAS SOUS 7707 HAS SOUPS 7707 WITH SCORE 7733.06
AT ITER 2933 NEW BEST:: SOT 34262 SOS 26018 HAS SOPS 26018 HAS SOUS 7685 HAS SOUPS 7685 WITH SCORE 7711.018
AT ITER 2936 NEW BEST:: SOT 34258 SOS 26014 HAS SOPS 26014 HAS SOUS 7681 HAS SOUPS 7681 WITH SCORE 7707.014
AT ITER 2970 NEW BEST:: SOT 34244 SOS 26000 HAS SOPS 26000 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7693.0
AT ITER 2983 NEW BEST:: SOT 34190 SOS 25900 HAS SOPS 25900 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7630.9
AT ITER 2984 NEW BEST:: SOT 34181 SOS 25891 HAS SOPS 25891 HAS SOUS 7596 HAS SOUPS 7596 WITH SCORE 7621.891
AT ITER 2987 NEW BEST:: SOT 34186 SOS 25907 HAS SOPS 25907 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7620.907
AT ITER 3013 NEW BEST:: SOT 34185 SOS 25906 HAS SOPS 25906 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7618.906
AT ITER 3037 NEW BEST:: SOT 34149 SOS 25870 HAS SOPS 25870 HAS SOUS 7521 HAS SOUPS 7521 WITH SCORE 7546.87
AT ITER 3057 NEW BEST:: SOT 34156 SOS 25878 HAS SOPS 25878 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7538.878
AT ITER 3077 NEW BEST:: SOT 34130 SOS 25852 HAS SOPS 25852 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7486.852
AT ITER 3079 NEW BEST:: SOT 34132 SOS 26135 HAS SOPS 26135 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7466.135
AT ITER 3099 NEW BEST:: SOT 34132 SOS 26107 HAS SOPS 26107 HAS SOUS 7425 HAS SOUPS 7425 WITH SCORE 7451.107
AT ITER 3139 NEW BEST:: SOT 34129 SOS 26104 HAS SOPS 26104 HAS SOUS 7418 HAS SOUPS 7418 WITH SCORE 7444.104
AT ITER 3145 NEW BEST:: SOT 34116 SOS 26091 HAS SOPS 26091 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7418.091
AT ITER 3147 NEW BEST:: SOT 34116 SOS 26077 HAS SOPS 26077 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7418.077
AT ITER 3165 NEW BEST:: SOT 34113 SOS 26074 HAS SOPS 26074 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7415.074
AT ITER 3184 NEW BEST:: SOT 34113 SOS 26074 HAS SOPS 26074 HAS SOUS 7370 HAS SOUPS 7370 WITH SCORE 7396.074
AT ITER 3187 NEW BEST:: SOT 34113 SOS 26074 HAS SOPS 26074 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7378.074
AT ITER 3202 NEW BEST:: SOT 34108 SOS 26069 HAS SOPS 26069 HAS SOUS 7342 HAS SOUPS 7342 WITH SCORE 7368.069
AT ITER 3232 NEW BEST:: SOT 34102 SOS 26063 HAS SOPS 26063 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7362.063
AT ITER 3242 NEW BEST:: SOT 34101 SOS 26062 HAS SOPS 26062 HAS SOUS 7308 HAS SOUPS 7308 WITH SCORE 7334.062
AT ITER 3249 NEW BEST:: SOT 34112 SOS 26095 HAS SOPS 26095 HAS SOUS 7285 HAS SOUPS 7285 WITH SCORE 7311.095
AT ITER 3278 NEW BEST:: SOT 34110 SOS 26093 HAS SOPS 26093 HAS SOUS 7281 HAS SOUPS 7281 WITH SCORE 7307.093
AT ITER 3358 NEW BEST:: SOT 34109 SOS 26092 HAS SOPS 26092 HAS SOUS 7279 HAS SOUPS 7279 WITH SCORE 7305.092
AT ITER 3364 NEW BEST:: SOT 34097 SOS 26074 HAS SOPS 26074 HAS SOUS 7270 HAS SOUPS 7270 WITH SCORE 7296.074
AT ITER 3424 NEW BEST:: SOT 34095 SOS 26072 HAS SOPS 26072 HAS SOUS 7266 HAS SOUPS 7266 WITH SCORE 7292.072
AT ITER 3435 NEW BEST:: SOT 34055 SOS 26032 HAS SOPS 26032 HAS SOUS 7266 HAS SOUPS 7266 WITH SCORE 7292.032
AT ITER 3463 NEW BEST:: SOT 33962 SOS 25939 HAS SOPS 25939 HAS SOUS 7179 HAS SOUPS 7179 WITH SCORE 7204.939
AT ITER 3482 NEW BEST:: SOT 33961 SOS 25938 HAS SOPS 25938 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7202.938
AT ITER 3509 NEW BEST:: SOT 33954 SOS 25890 HAS SOPS 25890 HAS SOUS 7168 HAS SOUPS 7168 WITH SCORE 7193.89
AT ITER 3524 NEW BEST:: SOT 33944 SOS 25880 HAS SOPS 25880 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7171.88
AT ITER 3547 NEW BEST:: SOT 33944 SOS 25848 HAS SOPS 25848 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7161.848
AT ITER 3555 NEW BEST:: SOT 33952 SOS 26332 HAS SOPS 26332 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7137.332
AT ITER 3586 NEW BEST:: SOT 33953 SOS 26762 HAS SOPS 26762 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7096.762
AT ITER 3590 NEW BEST:: SOT 33949 SOS 26750 HAS SOPS 26750 HAS SOUS 7057 HAS SOUPS 7057 WITH SCORE 7083.75
AT ITER 3670 NEW BEST:: SOT 33937 SOS 26738 HAS SOPS 26738 HAS SOUS 7057 HAS SOUPS 7057 WITH SCORE 7083.738
AT ITER 3704 NEW BEST:: SOT 33929 SOS 26730 HAS SOPS 26730 HAS SOUS 7049 HAS SOUPS 7049 WITH SCORE 7075.73
AT ITER 3723 NEW BEST:: SOT 33936 SOS 26737 HAS SOPS 26737 HAS SOUS 7037 HAS SOUPS 7037 WITH SCORE 7063.737
AT ITER 3724 NEW BEST:: SOT 33876 SOS 26670 HAS SOPS 26670 HAS SOUS 7001 HAS SOUPS 7001 WITH SCORE 7027.67
AT ITER 3738 NEW BEST:: SOT 33875 SOS 26669 HAS SOPS 26669 HAS SOUS 6989 HAS SOUPS 6989 WITH SCORE 7015.669
AT ITER 3744 NEW BEST:: SOT 33760 SOS 26554 HAS SOPS 26554 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6960.554
AT ITER 3838 NEW BEST:: SOT 33765 SOS 26553 HAS SOPS 26553 HAS SOUS 6932 HAS SOUPS 6932 WITH SCORE 6958.553
AT ITER 3850 NEW BEST:: SOT 33787 SOS 26877 HAS SOPS 26877 HAS SOUS 6930 HAS SOUPS 6930 WITH SCORE 6956.877
AT ITER 3913 NEW BEST:: SOT 33786 SOS 26579 HAS SOPS 26579 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6949.579
AT ITER 3914 NEW BEST:: SOT 33771 SOS 26569 HAS SOPS 26569 HAS SOUS 6876 HAS SOUPS 6876 WITH SCORE 6902.569
AT ITER 3917 NEW BEST:: SOT 33771 SOS 26779 HAS SOPS 26779 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6900.779
AT ITER 3928 NEW BEST:: SOT 33767 SOS 26775 HAS SOPS 26775 HAS SOUS 6866 HAS SOUPS 6866 WITH SCORE 6892.775
AT ITER 3931 NEW BEST:: SOT 33757 SOS 26759 HAS SOPS 26759 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6878.759
AT ITER 3974 NEW BEST:: SOT 33743 SOS 26745 HAS SOPS 26745 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6864.745
AT ITER 3981 NEW BEST:: SOT 33713 SOS 26711 HAS SOPS 26711 HAS SOUS 6834 HAS SOUPS 6834 WITH SCORE 6860.711
AT ITER 3983 NEW BEST:: SOT 33716 SOS 26717 HAS SOPS 26717 HAS SOUS 6825 HAS SOUPS 6825 WITH SCORE 6851.717
AT ITER 3988 NEW BEST:: SOT 33715 SOS 26715 HAS SOPS 26715 HAS SOUS 6823 HAS SOUPS 6823 WITH SCORE 6849.715
AT ITER 3995 NEW BEST:: SOT 33773 SOS 26773 HAS SOPS 26773 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6824.773
AT ITER 4026 NEW BEST:: SOT 33766 SOS 26766 HAS SOPS 26766 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6810.766
AT ITER 4046 NEW BEST:: SOT 33765 SOS 26765 HAS SOPS 26765 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6808.765
AT ITER 4064 NEW BEST:: SOT 33765 SOS 26762 HAS SOPS 26762 HAS SOUS 6780 HAS SOUPS 6780 WITH SCORE 6806.762
AT ITER 4104 NEW BEST:: SOT 33755 SOS 26718 HAS SOPS 26718 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6786.718
AT ITER 4171 NEW BEST:: SOT 33754 SOS 26717 HAS SOPS 26717 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6784.717
AT ITER 4193 NEW BEST:: SOT 33754 SOS 26717 HAS SOPS 26717 HAS SOUS 6752 HAS SOUPS 6752 WITH SCORE 6778.717
AT ITER 4217 NEW BEST:: SOT 33754 SOS 26740 HAS SOPS 26740 HAS SOUS 6747 HAS SOUPS 6747 WITH SCORE 6773.74
AT ITER 4221 NEW BEST:: SOT 33746 SOS 26732 HAS SOPS 26732 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6758.732
AT ITER 4278 NEW BEST:: SOT 33744 SOS 26730 HAS SOPS 26730 HAS SOUS 6728 HAS SOUPS 6728 WITH SCORE 6754.73
AT ITER 4289 NEW BEST:: SOT 33744 SOS 26730 HAS SOPS 26730 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6740.73
AT ITER 4290 NEW BEST:: SOT 33727 SOS 26706 HAS SOPS 26706 HAS SOUS 6699 HAS SOUPS 6699 WITH SCORE 6725.706
AT ITER 4328 NEW BEST:: SOT 33726 SOS 26705 HAS SOPS 26705 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6723.705
AT ITER 4485 NEW BEST:: SOT 33722 SOS 26701 HAS SOPS 26701 HAS SOUS 6689 HAS SOUPS 6689 WITH SCORE 6715.701
AT ITER 4487 NEW BEST:: SOT 33717 SOS 26696 HAS SOPS 26696 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6712.696
AT ITER 4488 NEW BEST:: SOT 33758 SOS 26683 HAS SOPS 26683 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6699.683
AT ITER 4509 NEW BEST:: SOT 33750 SOS 26675 HAS SOPS 26675 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6699.675
AT ITER 4536 NEW BEST:: SOT 33734 SOS 26648 HAS SOPS 26648 HAS SOUS 6646 HAS SOUPS 6646 WITH SCORE 6672.648
AT ITER 4547 NEW BEST:: SOT 33734 SOS 26648 HAS SOPS 26648 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6668.648
AT ITER 4568 NEW BEST:: SOT 33732 SOS 26646 HAS SOPS 26646 HAS SOUS 6640 HAS SOUPS 6640 WITH SCORE 6666.646
AT ITER 4570 NEW BEST:: SOT 33699 SOS 26613 HAS SOPS 26613 HAS SOUS 6621 HAS SOUPS 6621 WITH SCORE 6647.613
AT ITER 4571 NEW BEST:: SOT 33673 SOS 26559 HAS SOPS 26559 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6629.559
AT ITER 4603 NEW BEST:: SOT 33669 SOS 26555 HAS SOPS 26555 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6625.555
AT ITER 4648 NEW BEST:: SOT 33660 SOS 26546 HAS SOPS 26546 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6616.546
AT ITER 4664 NEW BEST:: SOT 33660 SOS 26546 HAS SOPS 26546 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6615.546
AT ITER 4722 NEW BEST:: SOT 33640 SOS 26526 HAS SOPS 26526 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6606.526
AT ITER 4849 NEW BEST:: SOT 33640 SOS 26531 HAS SOPS 26531 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6605.531
AT ITER 4852 NEW BEST:: SOT 33642 SOS 26533 HAS SOPS 26533 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6580.533
AT ITER 4859 NEW BEST:: SOT 33648 SOS 26505 HAS SOPS 26505 HAS SOUS 6536 HAS SOUPS 6536 WITH SCORE 6562.505
AT ITER 4903 NEW BEST:: SOT 33626 SOS 26483 HAS SOPS 26483 HAS SOUS 6518 HAS SOUPS 6518 WITH SCORE 6544.483
AT ITER 4916 NEW BEST:: SOT 33618 SOS 26475 HAS SOPS 26475 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6528.475
AT ITER 4974 NEW BEST:: SOT 33613 SOS 26470 HAS SOPS 26470 HAS SOUS 6497 HAS SOUPS 6497 WITH SCORE 6523.47
AT ITER 4977 NEW BEST:: SOT 33616 SOS 26454 HAS SOPS 26454 HAS SOUS 6491 HAS SOUPS 6491 WITH SCORE 6517.454
AT ITER 5001 NEW BEST:: SOT 33605 SOS 26443 HAS SOPS 26443 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6506.443
AT ITER 5003 NEW BEST:: SOT 33599 SOS 26437 HAS SOPS 26437 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6494.437
AT ITER 5009 NEW BEST:: SOT 33599 SOS 26432 HAS SOPS 26432 HAS SOUS 6463 HAS SOUPS 6463 WITH SCORE 6489.432
AT ITER 5013 NEW BEST:: SOT 33588 SOS 26421 HAS SOPS 26421 HAS SOUS 6463 HAS SOUPS 6463 WITH SCORE 6489.421
AT ITER 5019 NEW BEST:: SOT 33573 SOS 26406 HAS SOPS 26406 HAS SOUS 6463 HAS SOUPS 6463 WITH SCORE 6489.406
AT ITER 5047 NEW BEST:: SOT 33573 SOS 26404 HAS SOPS 26404 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6487.404
AT ITER 5053 NEW BEST:: SOT 33596 SOS 26427 HAS SOPS 26427 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6463.427
AT ITER 5098 NEW BEST:: SOT 33590 SOS 26420 HAS SOPS 26420 HAS SOUS 6430 HAS SOUPS 6430 WITH SCORE 6456.42
AT ITER 5144 NEW BEST:: SOT 33575 SOS 26405 HAS SOPS 26405 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6426.405
AT ITER 5228 NEW BEST:: SOT 33563 SOS 26393 HAS SOPS 26393 HAS SOUS 6376 HAS SOUPS 6376 WITH SCORE 6402.393
AT ITER 5246 NEW BEST:: SOT 33551 SOS 26381 HAS SOPS 26381 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6368.381
AT ITER 5275 NEW BEST:: SOT 33537 SOS 26282 HAS SOPS 26282 HAS SOUS 6321 HAS SOUPS 6321 WITH SCORE 6347.282
AT ITER 5280 NEW BEST:: SOT 33532 SOS 26277 HAS SOPS 26277 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6342.277
AT ITER 5284 NEW BEST:: SOT 33516 SOS 26261 HAS SOPS 26261 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6334.261
AT ITER 5293 NEW BEST:: SOT 33513 SOS 26254 HAS SOPS 26254 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6332.254
AT ITER 5299 NEW BEST:: SOT 33508 SOS 26246 HAS SOPS 26246 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6330.246
AT ITER 5317 NEW BEST:: SOT 33514 SOS 26239 HAS SOPS 26239 HAS SOUS 6295 HAS SOUPS 6295 WITH SCORE 6321.239
AT ITER 5328 NEW BEST:: SOT 33514 SOS 26239 HAS SOPS 26239 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6307.239
AT ITER 5348 NEW BEST:: SOT 33514 SOS 26239 HAS SOPS 26239 HAS SOUS 6280 HAS SOUPS 6280 WITH SCORE 6306.239
AT ITER 5357 NEW BEST:: SOT 33514 SOS 26239 HAS SOPS 26239 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6303.239
AT ITER 5360 NEW BEST:: SOT 33501 SOS 26226 HAS SOPS 26226 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6290.226
AT ITER 5425 NEW BEST:: SOT 33501 SOS 26226 HAS SOPS 26226 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6288.226
AT ITER 5445 NEW BEST:: SOT 33505 SOS 26230 HAS SOPS 26230 HAS SOUS 6248 HAS SOUPS 6248 WITH SCORE 6274.23
AT ITER 5488 NEW BEST:: SOT 33505 SOS 26204 HAS SOPS 26204 HAS SOUS 6248 HAS SOUPS 6248 WITH SCORE 6274.204
AT ITER 5501 NEW BEST:: SOT 33486 SOS 26190 HAS SOPS 26190 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6260.19
AT ITER 5515 NEW BEST:: SOT 33483 SOS 26181 HAS SOPS 26181 HAS SOUS 6228 HAS SOUPS 6228 WITH SCORE 6254.181
AT ITER 5609 NEW BEST:: SOT 33482 SOS 26180 HAS SOPS 26180 HAS SOUS 6226 HAS SOUPS 6226 WITH SCORE 6252.18
AT ITER 5682 NEW BEST:: SOT 33464 SOS 26143 HAS SOPS 26143 HAS SOUS 6209 HAS SOUPS 6209 WITH SCORE 6235.143
AT ITER 5693 NEW BEST:: SOT 33481 SOS 26160 HAS SOPS 26160 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6233.16
AT ITER 5749 NEW BEST:: SOT 33476 SOS 26155 HAS SOPS 26155 HAS SOUS 6197 HAS SOUPS 6197 WITH SCORE 6223.155
AT ITER 5760 NEW BEST:: SOT 33474 SOS 26153 HAS SOPS 26153 HAS SOUS 6193 HAS SOUPS 6193 WITH SCORE 6219.153
AT ITER 5769 NEW BEST:: SOT 33473 SOS 26152 HAS SOPS 26152 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6217.152
AT ITER 5785 NEW BEST:: SOT 33464 SOS 26143 HAS SOPS 26143 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6178.143
AT ITER 5836 NEW BEST:: SOT 33445 SOS 26124 HAS SOPS 26124 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6178.124
AT ITER 5927 NEW BEST:: SOT 33416 SOS 26095 HAS SOPS 26095 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6141.095
AT ITER 5936 NEW BEST:: SOT 33402 SOS 26081 HAS SOPS 26081 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6126.081
AT ITER 5979 NEW BEST:: SOT 33402 SOS 26061 HAS SOPS 26061 HAS SOUS 6095 HAS SOUPS 6095 WITH SCORE 6121.061
AT ITER 5988 NEW BEST:: SOT 33402 SOS 26061 HAS SOPS 26061 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6116.061
AT ITER 5996 NEW BEST:: SOT 33402 SOS 26076 HAS SOPS 26076 HAS SOUS 6075 HAS SOUPS 6075 WITH SCORE 6101.076
AT ITER 6001 NEW BEST:: SOT 33399 SOS 26067 HAS SOPS 26067 HAS SOUS 6066 HAS SOUPS 6066 WITH SCORE 6092.067
AT ITER 6009 NEW BEST:: SOT 33399 SOS 26067 HAS SOPS 26067 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6088.067
AT ITER 6017 NEW BEST:: SOT 33399 SOS 26050 HAS SOPS 26050 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6088.05
AT ITER 6030 NEW BEST:: SOT 33398 SOS 26049 HAS SOPS 26049 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6086.049
AT ITER 6121 NEW BEST:: SOT 33402 SOS 26120 HAS SOPS 26120 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6084.12
AT ITER 6169 NEW BEST:: SOT 33385 SOS 26093 HAS SOPS 26093 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6074.093
AT ITER 6211 NEW BEST:: SOT 33375 SOS 26077 HAS SOPS 26077 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6060.077
AT ITER 6263 NEW BEST:: SOT 33374 SOS 26076 HAS SOPS 26076 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6058.076
AT ITER 6300 NEW BEST:: SOT 33370 SOS 26072 HAS SOPS 26072 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6058.072
AT ITER 6325 NEW BEST:: SOT 33350 SOS 26042 HAS SOPS 26042 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6028.042
AT ITER 6387 NEW BEST:: SOT 33350 SOS 26042 HAS SOPS 26042 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 6018.042
AT ITER 6430 NEW BEST:: SOT 33349 SOS 26041 HAS SOPS 26041 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 6016.041
AT ITER 6515 NEW BEST:: SOT 33336 SOS 26028 HAS SOPS 26028 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 6007.028
AT ITER 6549 NEW BEST:: SOT 33335 SOS 26027 HAS SOPS 26027 HAS SOUS 5978 HAS SOUPS 5978 WITH SCORE 6004.027
AT ITER 6562 NEW BEST:: SOT 33357 SOS 26049 HAS SOPS 26049 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 6002.049
AT ITER 6572 NEW BEST:: SOT 33307 SOS 25972 HAS SOPS 25972 HAS SOUS 5945 HAS SOUPS 5945 WITH SCORE 5970.972
AT ITER 6590 NEW BEST:: SOT 33308 SOS 25970 HAS SOPS 25970 HAS SOUS 5943 HAS SOUPS 5943 WITH SCORE 5968.97
AT ITER 6611 NEW BEST:: SOT 33295 SOS 25957 HAS SOPS 25957 HAS SOUS 5930 HAS SOUPS 5930 WITH SCORE 5955.957
AT ITER 6708 NEW BEST:: SOT 33291 SOS 25945 HAS SOPS 25945 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5947.945
AT ITER 6746 NEW BEST:: SOT 33294 SOS 25944 HAS SOPS 25944 HAS SOUS 5921 HAS SOUPS 5921 WITH SCORE 5946.944
AT ITER 6779 NEW BEST:: SOT 33285 SOS 25931 HAS SOPS 25931 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5933.931
AT ITER 6825 NEW BEST:: SOT 33295 SOS 25925 HAS SOPS 25925 HAS SOUS 5902 HAS SOUPS 5902 WITH SCORE 5927.925
AT ITER 6888 NEW BEST:: SOT 33291 SOS 25921 HAS SOPS 25921 HAS SOUS 5894 HAS SOUPS 5894 WITH SCORE 5919.921
AT ITER 6890 NEW BEST:: SOT 33278 SOS 25905 HAS SOPS 25905 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5916.905
AT ITER 6929 NEW BEST:: SOT 33273 SOS 25900 HAS SOPS 25900 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5906.9
AT ITER 7077 NEW BEST:: SOT 33271 SOS 25898 HAS SOPS 25898 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5894.898
AT ITER 7100 NEW BEST:: SOT 33271 SOS 25898 HAS SOPS 25898 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5888.898
AT ITER 7125 NEW BEST:: SOT 33303 SOS 25930 HAS SOPS 25930 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5883.93
AT ITER 7206 NEW BEST:: SOT 33303 SOS 25939 HAS SOPS 25939 HAS SOUS 5857 HAS SOUPS 5857 WITH SCORE 5882.939
AT ITER 7243 NEW BEST:: SOT 33303 SOS 25929 HAS SOPS 25929 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5872.929
AT ITER 7337 NEW BEST:: SOT 33300 SOS 25926 HAS SOPS 25926 HAS SOUS 5841 HAS SOUPS 5841 WITH SCORE 5866.926
AT ITER 7388 NEW BEST:: SOT 33294 SOS 25920 HAS SOPS 25920 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5854.92
AT ITER 7418 NEW BEST:: SOT 33294 SOS 25920 HAS SOPS 25920 HAS SOUS 5826 HAS SOUPS 5826 WITH SCORE 5851.92
AT ITER 7458 NEW BEST:: SOT 33275 SOS 25889 HAS SOPS 25889 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5839.889
AT ITER 7522 NEW BEST:: SOT 33275 SOS 25882 HAS SOPS 25882 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5832.882
AT ITER 7524 NEW BEST:: SOT 33272 SOS 25879 HAS SOPS 25879 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5826.879
AT ITER 7590 NEW BEST:: SOT 33272 SOS 25878 HAS SOPS 25878 HAS SOUS 5800 HAS SOUPS 5800 WITH SCORE 5825.878
AT ITER 7650 NEW BEST:: SOT 33266 SOS 25872 HAS SOPS 25872 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5813.872
AT ITER 7673 NEW BEST:: SOT 33247 SOS 25835 HAS SOPS 25835 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5807.835
AT ITER 7695 NEW BEST:: SOT 33227 SOS 25818 HAS SOPS 25818 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5790.818
AT ITER 7709 NEW BEST:: SOT 33226 SOS 25817 HAS SOPS 25817 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5788.817
AT ITER 7730 NEW BEST:: SOT 33218 SOS 25809 HAS SOPS 25809 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5767.809
AT ITER 7749 NEW BEST:: SOT 33216 SOS 25807 HAS SOPS 25807 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5763.807
AT ITER 7768 NEW BEST:: SOT 33228 SOS 25819 HAS SOPS 25819 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5762.819
AT ITER 7784 NEW BEST:: SOT 33226 SOS 25817 HAS SOPS 25817 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5758.817
AT ITER 7838 NEW BEST:: SOT 33226 SOS 25810 HAS SOPS 25810 HAS SOUS 5726 HAS SOUPS 5726 WITH SCORE 5751.81
AT ITER 7844 NEW BEST:: SOT 33222 SOS 25806 HAS SOPS 25806 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5743.806
AT ITER 7867 NEW BEST:: SOT 33207 SOS 25786 HAS SOPS 25786 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5723.786
AT ITER 7879 NEW BEST:: SOT 33203 SOS 25778 HAS SOPS 25778 HAS SOUS 5694 HAS SOUPS 5694 WITH SCORE 5719.778
AT ITER 7899 NEW BEST:: SOT 33202 SOS 25777 HAS SOPS 25777 HAS SOUS 5692 HAS SOUPS 5692 WITH SCORE 5717.777
AT ITER 7935 NEW BEST:: SOT 33201 SOS 25776 HAS SOPS 25776 HAS SOUS 5690 HAS SOUPS 5690 WITH SCORE 5715.776
AT ITER 7952 NEW BEST:: SOT 33200 SOS 25775 HAS SOPS 25775 HAS SOUS 5688 HAS SOUPS 5688 WITH SCORE 5713.775
AT ITER 7973 NEW BEST:: SOT 33207 SOS 25782 HAS SOPS 25782 HAS SOUS 5673 HAS SOUPS 5673 WITH SCORE 5698.782
AT ITER 7979 NEW BEST:: SOT 33206 SOS 25781 HAS SOPS 25781 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5696.781
AT ITER 7988 NEW BEST:: SOT 33206 SOS 25780 HAS SOPS 25780 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5696.78
AT ITER 8012 NEW BEST:: SOT 33206 SOS 25780 HAS SOPS 25780 HAS SOUS 5669 HAS SOUPS 5669 WITH SCORE 5694.78
AT ITER 8022 NEW BEST:: SOT 33206 SOS 25791 HAS SOPS 25791 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5691.791
AT ITER 8049 NEW BEST:: SOT 33199 SOS 25784 HAS SOPS 25784 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5677.784
AT ITER 8128 NEW BEST:: SOT 33189 SOS 25768 HAS SOPS 25768 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5671.768
AT ITER 8145 NEW BEST:: SOT 33194 SOS 25773 HAS SOPS 25773 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5667.773
AT ITER 8157 NEW BEST:: SOT 33185 SOS 25764 HAS SOPS 25764 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5659.764
AT ITER 8208 NEW BEST:: SOT 33184 SOS 25763 HAS SOPS 25763 HAS SOUS 5632 HAS SOUPS 5632 WITH SCORE 5657.763
AT ITER 8240 NEW BEST:: SOT 33183 SOS 25762 HAS SOPS 25762 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5655.762
AT ITER 8246 NEW BEST:: SOT 33183 SOS 25760 HAS SOPS 25760 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5655.76
AT ITER 8283 NEW BEST:: SOT 33182 SOS 25759 HAS SOPS 25759 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5653.759
AT ITER 8297 NEW BEST:: SOT 33183 SOS 25803 HAS SOPS 25803 HAS SOUS 5613 HAS SOUPS 5613 WITH SCORE 5638.803
AT ITER 8320 NEW BEST:: SOT 33182 SOS 25802 HAS SOPS 25802 HAS SOUS 5611 HAS SOUPS 5611 WITH SCORE 5636.802
AT ITER 8355 NEW BEST:: SOT 33179 SOS 25799 HAS SOPS 25799 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5633.799
AT ITER 8361 NEW BEST:: SOT 33149 SOS 25769 HAS SOPS 25769 HAS SOUS 5600 HAS SOUPS 5600 WITH SCORE 5625.769
AT ITER 8369 NEW BEST:: SOT 33139 SOS 25759 HAS SOPS 25759 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5624.759
AT ITER 8412 NEW BEST:: SOT 33139 SOS 25759 HAS SOPS 25759 HAS SOUS 5586 HAS SOUPS 5586 WITH SCORE 5611.759
AT ITER 8450 NEW BEST:: SOT 33136 SOS 25756 HAS SOPS 25756 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5599.756
AT ITER 8471 NEW BEST:: SOT 33139 SOS 25755 HAS SOPS 25755 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5596.755
AT ITER 8506 NEW BEST:: SOT 33133 SOS 25371 HAS SOPS 25371 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5594.371
AT ITER 8561 NEW BEST:: SOT 33141 SOS 25379 HAS SOPS 25379 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5592.379
AT ITER 8565 NEW BEST:: SOT 33118 SOS 25356 HAS SOPS 25356 HAS SOUS 5544 HAS SOUPS 5544 WITH SCORE 5569.356
AT ITER 8589 NEW BEST:: SOT 33112 SOS 25350 HAS SOPS 25350 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5557.35
AT ITER 8591 NEW BEST:: SOT 33110 SOS 25348 HAS SOPS 25348 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5557.348
AT ITER 8606 NEW BEST:: SOT 33109 SOS 25347 HAS SOPS 25347 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5556.347
AT ITER 8619 NEW BEST:: SOT 33104 SOS 25342 HAS SOPS 25342 HAS SOUS 5521 HAS SOUPS 5521 WITH SCORE 5546.342
AT ITER 8682 NEW BEST:: SOT 33092 SOS 25332 HAS SOPS 25332 HAS SOUS 5511 HAS SOUPS 5511 WITH SCORE 5536.332
AT ITER 8695 NEW BEST:: SOT 33092 SOS 25334 HAS SOPS 25334 HAS SOUS 5510 HAS SOUPS 5510 WITH SCORE 5535.334
AT ITER 8701 NEW BEST:: SOT 33082 SOS 25324 HAS SOPS 25324 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5525.324
AT ITER 8735 NEW BEST:: SOT 33070 SOS 25167 HAS SOPS 25167 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5518.167
AT ITER 8791 NEW BEST:: SOT 33042 SOS 25139 HAS SOPS 25139 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5518.139
AT ITER 8833 NEW BEST:: SOT 33041 SOS 25130 HAS SOPS 25130 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5509.13
AT ITER 8859 NEW BEST:: SOT 33037 SOS 25087 HAS SOPS 25087 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5504.087
AT ITER 8900 NEW BEST:: SOT 33011 SOS 25012 HAS SOPS 25012 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5473.012
AT ITER 8950 NEW BEST:: SOT 33010 SOS 25011 HAS SOPS 25011 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5473.011
AT ITER 8978 NEW BEST:: SOT 32995 SOS 24996 HAS SOPS 24996 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5442.996
AT ITER 9037 NEW BEST:: SOT 32987 SOS 24988 HAS SOPS 24988 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5417.988
AT ITER 9074 NEW BEST:: SOT 32986 SOS 24987 HAS SOPS 24987 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5415.987
AT ITER 9160 NEW BEST:: SOT 32983 SOS 24984 HAS SOPS 24984 HAS SOUS 5385 HAS SOUPS 5385 WITH SCORE 5409.984
AT ITER 9215 NEW BEST:: SOT 32982 SOS 24983 HAS SOPS 24983 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5408.983
AT ITER 9219 NEW BEST:: SOT 32980 SOS 24981 HAS SOPS 24981 HAS SOUS 5382 HAS SOUPS 5382 WITH SCORE 5406.981
AT ITER 9244 NEW BEST:: SOT 32975 SOS 24976 HAS SOPS 24976 HAS SOUS 5372 HAS SOUPS 5372 WITH SCORE 5396.976
AT ITER 9320 NEW BEST:: SOT 32970 SOS 25635 HAS SOPS 25635 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5372.635
AT ITER 9345 NEW BEST:: SOT 32969 SOS 25634 HAS SOPS 25634 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5372.634
AT ITER 9390 NEW BEST:: SOT 32950 SOS 25615 HAS SOPS 25615 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5353.615
AT ITER 9404 NEW BEST:: SOT 32947 SOS 25534 HAS SOPS 25534 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5350.534
AT ITER 9426 NEW BEST:: SOT 32898 SOS 24870 HAS SOPS 24870 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5314.87
AT ITER 9448 NEW BEST:: SOT 32899 SOS 24871 HAS SOPS 24871 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5307.871
AT ITER 9457 NEW BEST:: SOT 32888 SOS 24822 HAS SOPS 24822 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5287.822
AT ITER 9534 NEW BEST:: SOT 32881 SOS 24815 HAS SOPS 24815 HAS SOUS 5256 HAS SOUPS 5256 WITH SCORE 5280.815
AT ITER 9554 NEW BEST:: SOT 32881 SOS 24815 HAS SOPS 24815 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5279.815
AT ITER 9704 NEW BEST:: SOT 32880 SOS 24814 HAS SOPS 24814 HAS SOUS 5254 HAS SOUPS 5254 WITH SCORE 5278.814
AT ITER 9838 NEW BEST:: SOT 32868 SOS 24820 HAS SOPS 24820 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5274.82
AT ITER 9855 NEW BEST:: SOT 32867 SOS 24819 HAS SOPS 24819 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5272.819
AT ITER 9990 NEW BEST:: SOT 32866 SOS 24818 HAS SOPS 24818 HAS SOUS 5246 HAS SOUPS 5246 WITH SCORE 5270.818
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="DES-PT-40a"
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 DES-PT-40a, 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 r048-ebro-158902542000296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-40a.tgz
mv DES-PT-40a 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 '
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 ;