About the Execution of smart for HexagonalGrid-PT-410
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.540 | 3600000.00 | 3599049.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r093-oct2-158940140100112.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is HexagonalGrid-PT-410, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140100112
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.3K Apr 27 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 27 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 27 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 27 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 14:36 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 27 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 27 14:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Apr 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 27 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 27 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 27 14:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 27 14:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 14:36 instance
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 iscolored
-rwxr-xr-x 1 mcc users 873K Apr 27 14:36 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 1589610203009
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HexagonalGrid (PT), instance 410
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 787 places, 1374 transitions, 5496 arcs.
AT ITER 0 NEW BEST:: SOT 605878 SOS 122150 HAS SOPS 122150 HAS SOUS 59620 HAS SOUPS 59620 WITH SCORE 59742.15
AT ITER 48 NEW BEST:: SOT 605893 SOS 122161 HAS SOPS 122161 HAS SOUS 59619 HAS SOUPS 59619 WITH SCORE 59741.161
AT ITER 50 NEW BEST:: SOT 605853 SOS 122081 HAS SOPS 122081 HAS SOUS 59539 HAS SOUPS 59539 WITH SCORE 59661.081
AT ITER 65 NEW BEST:: SOT 605831 SOS 121927 HAS SOPS 121927 HAS SOUS 59473 HAS SOUPS 59473 WITH SCORE 59594.927
AT ITER 74 NEW BEST:: SOT 605739 SOS 121835 HAS SOPS 121835 HAS SOUS 59381 HAS SOUPS 59381 WITH SCORE 59502.835
AT ITER 87 NEW BEST:: SOT 605819 SOS 121969 HAS SOPS 121969 HAS SOUS 59315 HAS SOUPS 59315 WITH SCORE 59436.969
AT ITER 95 NEW BEST:: SOT 605819 SOS 121840 HAS SOPS 121840 HAS SOUS 59302 HAS SOUPS 59302 WITH SCORE 59423.84
AT ITER 130 NEW BEST:: SOT 605819 SOS 121654 HAS SOPS 121654 HAS SOUS 59240 HAS SOUPS 59240 WITH SCORE 59361.654
AT ITER 142 NEW BEST:: SOT 605819 SOS 121654 HAS SOPS 121654 HAS SOUS 59220 HAS SOUPS 59220 WITH SCORE 59341.654
AT ITER 155 NEW BEST:: SOT 605819 SOS 121477 HAS SOPS 121477 HAS SOUS 59219 HAS SOUPS 59219 WITH SCORE 59340.477
AT ITER 221 NEW BEST:: SOT 605819 SOS 121344 HAS SOPS 121344 HAS SOUS 59202 HAS SOUPS 59202 WITH SCORE 59323.344
AT ITER 323 NEW BEST:: SOT 605819 SOS 121159 HAS SOPS 121159 HAS SOUS 59165 HAS SOUPS 59165 WITH SCORE 59286.159
AT ITER 353 NEW BEST:: SOT 605739 SOS 120915 HAS SOPS 120915 HAS SOUS 59121 HAS SOUPS 59121 WITH SCORE 59241.915
AT ITER 438 NEW BEST:: SOT 605654 SOS 120745 HAS SOPS 120745 HAS SOUS 59019 HAS SOUPS 59019 WITH SCORE 59139.745
AT ITER 441 NEW BEST:: SOT 605654 SOS 120595 HAS SOPS 120595 HAS SOUS 58969 HAS SOUPS 58969 WITH SCORE 59089.595
AT ITER 479 NEW BEST:: SOT 605654 SOS 120595 HAS SOPS 120595 HAS SOUS 58965 HAS SOUPS 58965 WITH SCORE 59085.595
AT ITER 482 NEW BEST:: SOT 605654 SOS 120595 HAS SOPS 120595 HAS SOUS 58959 HAS SOUPS 58959 WITH SCORE 59079.595
AT ITER 520 NEW BEST:: SOT 605614 SOS 120555 HAS SOPS 120555 HAS SOUS 58919 HAS SOUPS 58919 WITH SCORE 59039.555
AT ITER 532 NEW BEST:: SOT 605469 SOS 120236 HAS SOPS 120236 HAS SOUS 58716 HAS SOUPS 58716 WITH SCORE 58836.236
AT ITER 536 NEW BEST:: SOT 605452 SOS 120086 HAS SOPS 120086 HAS SOUS 58682 HAS SOUPS 58682 WITH SCORE 58802.086
AT ITER 541 NEW BEST:: SOT 605441 SOS 120075 HAS SOPS 120075 HAS SOUS 58671 HAS SOUPS 58671 WITH SCORE 58791.075
AT ITER 545 NEW BEST:: SOT 605419 SOS 119986 HAS SOPS 119986 HAS SOUS 58618 HAS SOUPS 58618 WITH SCORE 58737.986
AT ITER 613 NEW BEST:: SOT 605377 SOS 119734 HAS SOPS 119734 HAS SOUS 58534 HAS SOUPS 58534 WITH SCORE 58653.734
AT ITER 624 NEW BEST:: SOT 605377 SOS 119806 HAS SOPS 119806 HAS SOUS 58462 HAS SOUPS 58462 WITH SCORE 58581.806
AT ITER 638 NEW BEST:: SOT 605292 SOS 119704 HAS SOPS 119704 HAS SOUS 58360 HAS SOUPS 58360 WITH SCORE 58479.704
AT ITER 690 NEW BEST:: SOT 605292 SOS 119704 HAS SOPS 119704 HAS SOUS 58345 HAS SOUPS 58345 WITH SCORE 58464.704
AT ITER 709 NEW BEST:: SOT 605279 SOS 119613 HAS SOPS 119613 HAS SOUS 58306 HAS SOUPS 58306 WITH SCORE 58425.613
AT ITER 714 NEW BEST:: SOT 605279 SOS 119439 HAS SOPS 119439 HAS SOUS 58248 HAS SOUPS 58248 WITH SCORE 58367.439
AT ITER 725 NEW BEST:: SOT 605279 SOS 119232 HAS SOPS 119232 HAS SOUS 58209 HAS SOUPS 58209 WITH SCORE 58328.232
AT ITER 728 NEW BEST:: SOT 605275 SOS 119186 HAS SOPS 119186 HAS SOUS 58191 HAS SOUPS 58191 WITH SCORE 58310.186
AT ITER 768 NEW BEST:: SOT 605275 SOS 119186 HAS SOPS 119186 HAS SOUS 58167 HAS SOUPS 58167 WITH SCORE 58286.186
AT ITER 776 NEW BEST:: SOT 605275 SOS 119122 HAS SOPS 119122 HAS SOUS 58167 HAS SOUPS 58167 WITH SCORE 58286.122
AT ITER 785 NEW BEST:: SOT 605275 SOS 119122 HAS SOPS 119122 HAS SOUS 58161 HAS SOUPS 58161 WITH SCORE 58280.122
AT ITER 793 NEW BEST:: SOT 605145 SOS 118966 HAS SOPS 118966 HAS SOUS 58005 HAS SOUPS 58005 WITH SCORE 58123.966
AT ITER 797 NEW BEST:: SOT 605145 SOS 118840 HAS SOPS 118840 HAS SOUS 57963 HAS SOUPS 57963 WITH SCORE 58081.84
AT ITER 815 NEW BEST:: SOT 605151 SOS 118672 HAS SOPS 118672 HAS SOUS 57939 HAS SOUPS 57939 WITH SCORE 58057.672
AT ITER 840 NEW BEST:: SOT 605144 SOS 118665 HAS SOPS 118665 HAS SOUS 57932 HAS SOUPS 57932 WITH SCORE 58050.665
AT ITER 893 NEW BEST:: SOT 605144 SOS 118659 HAS SOPS 118659 HAS SOUS 57930 HAS SOUPS 57930 WITH SCORE 58048.659
AT ITER 916 NEW BEST:: SOT 605094 SOS 118599 HAS SOPS 118599 HAS SOUS 57870 HAS SOUPS 57870 WITH SCORE 57988.599
AT ITER 925 NEW BEST:: SOT 605077 SOS 118476 HAS SOPS 118476 HAS SOUS 57863 HAS SOUPS 57863 WITH SCORE 57981.476
AT ITER 940 NEW BEST:: SOT 605077 SOS 118236 HAS SOPS 118236 HAS SOUS 57783 HAS SOUPS 57783 WITH SCORE 57901.236
AT ITER 957 NEW BEST:: SOT 605071 SOS 118230 HAS SOPS 118230 HAS SOUS 57753 HAS SOUPS 57753 WITH SCORE 57871.23
AT ITER 962 NEW BEST:: SOT 604901 SOS 117816 HAS SOPS 117816 HAS SOUS 57507 HAS SOUPS 57507 WITH SCORE 57624.816
AT ITER 1042 NEW BEST:: SOT 604873 SOS 117648 HAS SOPS 117648 HAS SOUS 57451 HAS SOUPS 57451 WITH SCORE 57568.648
AT ITER 1051 NEW BEST:: SOT 604763 SOS 117484 HAS SOPS 117484 HAS SOUS 57323 HAS SOUPS 57323 WITH SCORE 57440.484
AT ITER 1085 NEW BEST:: SOT 604763 SOS 117484 HAS SOPS 117484 HAS SOUS 57318 HAS SOUPS 57318 WITH SCORE 57435.484
AT ITER 1118 NEW BEST:: SOT 604593 SOS 117144 HAS SOPS 117144 HAS SOUS 57114 HAS SOUPS 57114 WITH SCORE 57231.144
AT ITER 1140 NEW BEST:: SOT 604593 SOS 117144 HAS SOPS 117144 HAS SOUS 57105 HAS SOUPS 57105 WITH SCORE 57222.144
AT ITER 1168 NEW BEST:: SOT 604593 SOS 117044 HAS SOPS 117044 HAS SOUS 57085 HAS SOUPS 57085 WITH SCORE 57202.044
AT ITER 1210 NEW BEST:: SOT 604593 SOS 116822 HAS SOPS 116822 HAS SOUS 57011 HAS SOUPS 57011 WITH SCORE 57127.822
AT ITER 1220 NEW BEST:: SOT 604577 SOS 116686 HAS SOPS 116686 HAS SOUS 56991 HAS SOUPS 56991 WITH SCORE 57107.686
AT ITER 1246 NEW BEST:: SOT 604577 SOS 116608 HAS SOPS 116608 HAS SOUS 56965 HAS SOUPS 56965 WITH SCORE 57081.608
AT ITER 1319 NEW BEST:: SOT 604551 SOS 116530 HAS SOPS 116530 HAS SOUS 56957 HAS SOUPS 56957 WITH SCORE 57073.53
AT ITER 1320 NEW BEST:: SOT 604381 SOS 116190 HAS SOPS 116190 HAS SOUS 56753 HAS SOUPS 56753 WITH SCORE 56869.19
AT ITER 1349 NEW BEST:: SOT 604381 SOS 116184 HAS SOPS 116184 HAS SOUS 56747 HAS SOUPS 56747 WITH SCORE 56863.184
AT ITER 1382 NEW BEST:: SOT 604377 SOS 116180 HAS SOPS 116180 HAS SOUS 56744 HAS SOUPS 56744 WITH SCORE 56860.18
AT ITER 1405 NEW BEST:: SOT 604403 SOS 116232 HAS SOPS 116232 HAS SOUS 56740 HAS SOUPS 56740 WITH SCORE 56856.232
AT ITER 1407 NEW BEST:: SOT 604395 SOS 116167 HAS SOPS 116167 HAS SOUS 56707 HAS SOUPS 56707 WITH SCORE 56823.167
AT ITER 1418 NEW BEST:: SOT 604393 SOS 116165 HAS SOPS 116165 HAS SOUS 56705 HAS SOUPS 56705 WITH SCORE 56821.165
AT ITER 1433 NEW BEST:: SOT 604263 SOS 115879 HAS SOPS 115879 HAS SOUS 56523 HAS SOUPS 56523 WITH SCORE 56638.879
AT ITER 1452 NEW BEST:: SOT 604138 SOS 115729 HAS SOPS 115729 HAS SOUS 56373 HAS SOUPS 56373 WITH SCORE 56488.729
AT ITER 1602 NEW BEST:: SOT 604145 SOS 115722 HAS SOPS 115722 HAS SOUS 56366 HAS SOUPS 56366 WITH SCORE 56481.722
AT ITER 1617 NEW BEST:: SOT 604145 SOS 115622 HAS SOPS 115622 HAS SOUS 56346 HAS SOUPS 56346 WITH SCORE 56461.622
AT ITER 1673 NEW BEST:: SOT 604131 SOS 115638 HAS SOPS 115638 HAS SOUS 56318 HAS SOUPS 56318 WITH SCORE 56433.638
AT ITER 1679 NEW BEST:: SOT 603996 SOS 115476 HAS SOPS 115476 HAS SOUS 55992 HAS SOUPS 55992 WITH SCORE 56107.476
AT ITER 1681 NEW BEST:: SOT 604013 SOS 115493 HAS SOPS 115493 HAS SOUS 55981 HAS SOUPS 55981 WITH SCORE 56096.493
AT ITER 1701 NEW BEST:: SOT 603833 SOS 115277 HAS SOPS 115277 HAS SOUS 55741 HAS SOUPS 55741 WITH SCORE 55856.277
AT ITER 1702 NEW BEST:: SOT 603833 SOS 115239 HAS SOPS 115239 HAS SOUS 55711 HAS SOUPS 55711 WITH SCORE 55826.239
AT ITER 1715 NEW BEST:: SOT 603788 SOS 115198 HAS SOPS 115198 HAS SOUS 55670 HAS SOUPS 55670 WITH SCORE 55785.198
AT ITER 1736 NEW BEST:: SOT 603788 SOS 115013 HAS SOPS 115013 HAS SOUS 55633 HAS SOUPS 55633 WITH SCORE 55748.013
AT ITER 1749 NEW BEST:: SOT 603755 SOS 114815 HAS SOPS 114815 HAS SOUS 55567 HAS SOUPS 55567 WITH SCORE 55681.815
AT ITER 1756 NEW BEST:: SOT 603714 SOS 114569 HAS SOPS 114569 HAS SOUS 55485 HAS SOUPS 55485 WITH SCORE 55599.569
AT ITER 1764 NEW BEST:: SOT 603662 SOS 114361 HAS SOPS 114361 HAS SOUS 55459 HAS SOUPS 55459 WITH SCORE 55573.361
AT ITER 1802 NEW BEST:: SOT 603662 SOS 114231 HAS SOPS 114231 HAS SOUS 55433 HAS SOUPS 55433 WITH SCORE 55547.231
AT ITER 1814 NEW BEST:: SOT 603654 SOS 114183 HAS SOPS 114183 HAS SOUS 55417 HAS SOUPS 55417 WITH SCORE 55531.183
AT ITER 1817 NEW BEST:: SOT 603646 SOS 114175 HAS SOPS 114175 HAS SOUS 55382 HAS SOUPS 55382 WITH SCORE 55496.175
AT ITER 1820 NEW BEST:: SOT 603659 SOS 114201 HAS SOPS 114201 HAS SOUS 55380 HAS SOUPS 55380 WITH SCORE 55494.201
AT ITER 1838 NEW BEST:: SOT 603629 SOS 113991 HAS SOPS 113991 HAS SOUS 55290 HAS SOUPS 55290 WITH SCORE 55403.991
AT ITER 1839 NEW BEST:: SOT 603459 SOS 113787 HAS SOPS 113787 HAS SOUS 54958 HAS SOUPS 54958 WITH SCORE 55071.787
AT ITER 1874 NEW BEST:: SOT 603459 SOS 113691 HAS SOPS 113691 HAS SOUS 54926 HAS SOUPS 54926 WITH SCORE 55039.691
AT ITER 1909 NEW BEST:: SOT 603459 SOS 113691 HAS SOPS 113691 HAS SOUS 54925 HAS SOUPS 54925 WITH SCORE 55038.691
AT ITER 1970 NEW BEST:: SOT 603455 SOS 113547 HAS SOPS 113547 HAS SOUS 54893 HAS SOUPS 54893 WITH SCORE 55006.547
AT ITER 2001 NEW BEST:: SOT 603455 SOS 113547 HAS SOPS 113547 HAS SOUS 54885 HAS SOUPS 54885 WITH SCORE 54998.547
AT ITER 2010 NEW BEST:: SOT 603455 SOS 113307 HAS SOPS 113307 HAS SOUS 54805 HAS SOUPS 54805 WITH SCORE 54918.307
AT ITER 2014 NEW BEST:: SOT 603455 SOS 113307 HAS SOPS 113307 HAS SOUS 54800 HAS SOUPS 54800 WITH SCORE 54913.307
AT ITER 2047 NEW BEST:: SOT 603435 SOS 113286 HAS SOPS 113286 HAS SOUS 54767 HAS SOUPS 54767 WITH SCORE 54880.286
AT ITER 2061 NEW BEST:: SOT 603415 SOS 113266 HAS SOPS 113266 HAS SOUS 54737 HAS SOUPS 54737 WITH SCORE 54850.266
AT ITER 2101 NEW BEST:: SOT 603373 SOS 113042 HAS SOPS 113042 HAS SOUS 54625 HAS SOUPS 54625 WITH SCORE 54738.042
AT ITER 2155 NEW BEST:: SOT 603373 SOS 113006 HAS SOPS 113006 HAS SOUS 54613 HAS SOUPS 54613 WITH SCORE 54726.006
AT ITER 2203 NEW BEST:: SOT 603339 SOS 112998 HAS SOPS 112998 HAS SOUS 54577 HAS SOUPS 54577 WITH SCORE 54689.998
AT ITER 2225 NEW BEST:: SOT 603304 SOS 112956 HAS SOPS 112956 HAS SOUS 54535 HAS SOUPS 54535 WITH SCORE 54647.956
AT ITER 2244 NEW BEST:: SOT 603269 SOS 112807 HAS SOPS 112807 HAS SOUS 54474 HAS SOUPS 54474 WITH SCORE 54586.807
AT ITER 2262 NEW BEST:: SOT 603269 SOS 112807 HAS SOPS 112807 HAS SOUS 54445 HAS SOUPS 54445 WITH SCORE 54557.807
AT ITER 2286 NEW BEST:: SOT 603265 SOS 112806 HAS SOPS 112806 HAS SOUS 54444 HAS SOUPS 54444 WITH SCORE 54556.806
AT ITER 2300 NEW BEST:: SOT 603265 SOS 112671 HAS SOPS 112671 HAS SOUS 54425 HAS SOUPS 54425 WITH SCORE 54537.671
AT ITER 2375 NEW BEST:: SOT 603265 SOS 112504 HAS SOPS 112504 HAS SOUS 54402 HAS SOUPS 54402 WITH SCORE 54514.504
AT ITER 2447 NEW BEST:: SOT 603205 SOS 112449 HAS SOPS 112449 HAS SOUS 54367 HAS SOUPS 54367 WITH SCORE 54479.449
AT ITER 2473 NEW BEST:: SOT 603205 SOS 112419 HAS SOPS 112419 HAS SOUS 54357 HAS SOUPS 54357 WITH SCORE 54469.419
AT ITER 2505 NEW BEST:: SOT 603194 SOS 112353 HAS SOPS 112353 HAS SOUS 54335 HAS SOUPS 54335 WITH SCORE 54447.353
AT ITER 2545 NEW BEST:: SOT 603189 SOS 112348 HAS SOPS 112348 HAS SOUS 54330 HAS SOUPS 54330 WITH SCORE 54442.348
AT ITER 2563 NEW BEST:: SOT 603155 SOS 112144 HAS SOPS 112144 HAS SOUS 54262 HAS SOUPS 54262 WITH SCORE 54374.144
AT ITER 2566 NEW BEST:: SOT 603143 SOS 111933 HAS SOPS 111933 HAS SOUS 54215 HAS SOUPS 54215 WITH SCORE 54326.933
AT ITER 2581 NEW BEST:: SOT 603003 SOS 111765 HAS SOPS 111765 HAS SOUS 53919 HAS SOUPS 53919 WITH SCORE 54030.765
AT ITER 2611 NEW BEST:: SOT 603002 SOS 111759 HAS SOPS 111759 HAS SOUS 53893 HAS SOUPS 53893 WITH SCORE 54004.759
AT ITER 2628 NEW BEST:: SOT 602847 SOS 111604 HAS SOPS 111604 HAS SOUS 53738 HAS SOUPS 53738 WITH SCORE 53849.604
AT ITER 2684 NEW BEST:: SOT 602847 SOS 111604 HAS SOPS 111604 HAS SOUS 53734 HAS SOUPS 53734 WITH SCORE 53845.604
AT ITER 2742 NEW BEST:: SOT 602843 SOS 111600 HAS SOPS 111600 HAS SOUS 53730 HAS SOUPS 53730 WITH SCORE 53841.6
AT ITER 2744 NEW BEST:: SOT 602819 SOS 111576 HAS SOPS 111576 HAS SOUS 53692 HAS SOUPS 53692 WITH SCORE 53803.576
AT ITER 2746 NEW BEST:: SOT 602774 SOS 111522 HAS SOPS 111522 HAS SOUS 53638 HAS SOUPS 53638 WITH SCORE 53749.522
AT ITER 2755 NEW BEST:: SOT 602719 SOS 111401 HAS SOPS 111401 HAS SOUS 53561 HAS SOUPS 53561 WITH SCORE 53672.401
AT ITER 2770 NEW BEST:: SOT 602719 SOS 111401 HAS SOPS 111401 HAS SOUS 53549 HAS SOUPS 53549 WITH SCORE 53660.401
AT ITER 2773 NEW BEST:: SOT 602719 SOS 111492 HAS SOPS 111492 HAS SOUS 53540 HAS SOUPS 53540 WITH SCORE 53651.492
AT ITER 2788 NEW BEST:: SOT 602698 SOS 111446 HAS SOPS 111446 HAS SOUS 53494 HAS SOUPS 53494 WITH SCORE 53605.446
AT ITER 2820 NEW BEST:: SOT 602696 SOS 111432 HAS SOPS 111432 HAS SOUS 53488 HAS SOUPS 53488 WITH SCORE 53599.432
AT ITER 2828 NEW BEST:: SOT 602692 SOS 111276 HAS SOPS 111276 HAS SOUS 53468 HAS SOUPS 53468 WITH SCORE 53579.276
AT ITER 2842 NEW BEST:: SOT 602691 SOS 111278 HAS SOPS 111278 HAS SOUS 53434 HAS SOUPS 53434 WITH SCORE 53545.278
AT ITER 2854 NEW BEST:: SOT 602679 SOS 111243 HAS SOPS 111243 HAS SOUS 53399 HAS SOUPS 53399 WITH SCORE 53510.243
AT ITER 2857 NEW BEST:: SOT 602679 SOS 111243 HAS SOPS 111243 HAS SOUS 53388 HAS SOUPS 53388 WITH SCORE 53499.243
AT ITER 2898 NEW BEST:: SOT 602637 SOS 111251 HAS SOPS 111251 HAS SOUS 53180 HAS SOUPS 53180 WITH SCORE 53291.251
AT ITER 2902 NEW BEST:: SOT 602637 SOS 111203 HAS SOPS 111203 HAS SOUS 53164 HAS SOUPS 53164 WITH SCORE 53275.203
AT ITER 2939 NEW BEST:: SOT 602637 SOS 111203 HAS SOPS 111203 HAS SOUS 53152 HAS SOUPS 53152 WITH SCORE 53263.203
AT ITER 2949 NEW BEST:: SOT 602637 SOS 111299 HAS SOPS 111299 HAS SOUS 53140 HAS SOUPS 53140 WITH SCORE 53251.299
AT ITER 2979 NEW BEST:: SOT 602637 SOS 111299 HAS SOPS 111299 HAS SOUS 53117 HAS SOUPS 53117 WITH SCORE 53228.299
AT ITER 2985 NEW BEST:: SOT 602597 SOS 111251 HAS SOPS 111251 HAS SOUS 53093 HAS SOUPS 53093 WITH SCORE 53204.251
AT ITER 3003 NEW BEST:: SOT 602597 SOS 111251 HAS SOPS 111251 HAS SOUS 53014 HAS SOUPS 53014 WITH SCORE 53125.251
AT ITER 3074 NEW BEST:: SOT 602597 SOS 111227 HAS SOPS 111227 HAS SOUS 52990 HAS SOUPS 52990 WITH SCORE 53101.227
AT ITER 3120 NEW BEST:: SOT 602597 SOS 111107 HAS SOPS 111107 HAS SOUS 52950 HAS SOUPS 52950 WITH SCORE 53061.107
AT ITER 3241 NEW BEST:: SOT 602597 SOS 111076 HAS SOPS 111076 HAS SOUS 52885 HAS SOUPS 52885 WITH SCORE 52996.076
AT ITER 3262 NEW BEST:: SOT 602577 SOS 111008 HAS SOPS 111008 HAS SOUS 52877 HAS SOUPS 52877 WITH SCORE 52988.008
AT ITER 3277 NEW BEST:: SOT 602592 SOS 111151 HAS SOPS 111151 HAS SOUS 52832 HAS SOUPS 52832 WITH SCORE 52943.151
AT ITER 3288 NEW BEST:: SOT 602578 SOS 111139 HAS SOPS 111139 HAS SOUS 52820 HAS SOUPS 52820 WITH SCORE 52931.139
AT ITER 3340 NEW BEST:: SOT 602574 SOS 111115 HAS SOPS 111115 HAS SOUS 52812 HAS SOUPS 52812 WITH SCORE 52923.115
AT ITER 3393 NEW BEST:: SOT 602574 SOS 111159 HAS SOPS 111159 HAS SOUS 52768 HAS SOUPS 52768 WITH SCORE 52879.159
AT ITER 3435 NEW BEST:: SOT 602574 SOS 111152 HAS SOPS 111152 HAS SOUS 52761 HAS SOUPS 52761 WITH SCORE 52872.152
AT ITER 3436 NEW BEST:: SOT 602552 SOS 111108 HAS SOPS 111108 HAS SOUS 52629 HAS SOUPS 52629 WITH SCORE 52740.108
AT ITER 3447 NEW BEST:: SOT 602548 SOS 111012 HAS SOPS 111012 HAS SOUS 52609 HAS SOUPS 52609 WITH SCORE 52720.012
AT ITER 3526 NEW BEST:: SOT 602548 SOS 110808 HAS SOPS 110808 HAS SOUS 52541 HAS SOUPS 52541 WITH SCORE 52651.808
AT ITER 3607 NEW BEST:: SOT 602548 SOS 110706 HAS SOPS 110706 HAS SOUS 52507 HAS SOUPS 52507 WITH SCORE 52617.706
AT ITER 3625 NEW BEST:: SOT 602548 SOS 110538 HAS SOPS 110538 HAS SOUS 52451 HAS SOUPS 52451 WITH SCORE 52561.538
AT ITER 3737 NEW BEST:: SOT 602548 SOS 110666 HAS SOPS 110666 HAS SOUS 52331 HAS SOUPS 52331 WITH SCORE 52441.666
AT ITER 3751 NEW BEST:: SOT 602520 SOS 110536 HAS SOPS 110536 HAS SOUS 52269 HAS SOUPS 52269 WITH SCORE 52379.536
AT ITER 3811 NEW BEST:: SOT 602508 SOS 110524 HAS SOPS 110524 HAS SOUS 52257 HAS SOUPS 52257 WITH SCORE 52367.524
AT ITER 3843 NEW BEST:: SOT 602495 SOS 110446 HAS SOPS 110446 HAS SOUS 52231 HAS SOUPS 52231 WITH SCORE 52341.446
AT ITER 3886 NEW BEST:: SOT 602405 SOS 110231 HAS SOPS 110231 HAS SOUS 52104 HAS SOUPS 52104 WITH SCORE 52214.231
AT ITER 4046 NEW BEST:: SOT 602405 SOS 110222 HAS SOPS 110222 HAS SOUS 52095 HAS SOUPS 52095 WITH SCORE 52205.222
AT ITER 4068 NEW BEST:: SOT 602405 SOS 110102 HAS SOPS 110102 HAS SOUS 52055 HAS SOUPS 52055 WITH SCORE 52165.102
AT ITER 4118 NEW BEST:: SOT 602398 SOS 110053 HAS SOPS 110053 HAS SOUS 52034 HAS SOUPS 52034 WITH SCORE 52144.053
AT ITER 4149 NEW BEST:: SOT 602228 SOS 109679 HAS SOPS 109679 HAS SOUS 51796 HAS SOUPS 51796 WITH SCORE 51905.679
AT ITER 4176 NEW BEST:: SOT 602182 SOS 109595 HAS SOPS 109595 HAS SOUS 51744 HAS SOUPS 51744 WITH SCORE 51853.595
AT ITER 4188 NEW BEST:: SOT 602180 SOS 109593 HAS SOPS 109593 HAS SOUS 51742 HAS SOUPS 51742 WITH SCORE 51851.593
AT ITER 4202 NEW BEST:: SOT 602180 SOS 109593 HAS SOPS 109593 HAS SOUS 51666 HAS SOUPS 51666 WITH SCORE 51775.593
AT ITER 4317 NEW BEST:: SOT 602149 SOS 109531 HAS SOPS 109531 HAS SOUS 51480 HAS SOUPS 51480 WITH SCORE 51589.531
AT ITER 4396 NEW BEST:: SOT 602124 SOS 109501 HAS SOPS 109501 HAS SOUS 51446 HAS SOUPS 51446 WITH SCORE 51555.501
AT ITER 4431 NEW BEST:: SOT 602124 SOS 109459 HAS SOPS 109459 HAS SOUS 51432 HAS SOUPS 51432 WITH SCORE 51541.459
AT ITER 4511 NEW BEST:: SOT 602122 SOS 109447 HAS SOPS 109447 HAS SOUS 51428 HAS SOUPS 51428 WITH SCORE 51537.447
AT ITER 4522 NEW BEST:: SOT 602122 SOS 109571 HAS SOPS 109571 HAS SOUS 51304 HAS SOUPS 51304 WITH SCORE 51413.571
AT ITER 4640 NEW BEST:: SOT 602122 SOS 109571 HAS SOPS 109571 HAS SOUS 51284 HAS SOUPS 51284 WITH SCORE 51393.571
AT ITER 4666 NEW BEST:: SOT 602121 SOS 109597 HAS SOPS 109597 HAS SOUS 51282 HAS SOUPS 51282 WITH SCORE 51391.597
AT ITER 4737 NEW BEST:: SOT 602093 SOS 109435 HAS SOPS 109435 HAS SOUS 51278 HAS SOUPS 51278 WITH SCORE 51387.435
AT ITER 4800 NEW BEST:: SOT 602063 SOS 109369 HAS SOPS 109369 HAS SOUS 51236 HAS SOUPS 51236 WITH SCORE 51345.369
AT ITER 4837 NEW BEST:: SOT 602044 SOS 109331 HAS SOPS 109331 HAS SOUS 51198 HAS SOUPS 51198 WITH SCORE 51307.331
AT ITER 4865 NEW BEST:: SOT 602039 SOS 109321 HAS SOPS 109321 HAS SOUS 51188 HAS SOUPS 51188 WITH SCORE 51297.321
AT ITER 4882 NEW BEST:: SOT 602039 SOS 109321 HAS SOPS 109321 HAS SOUS 51187 HAS SOUPS 51187 WITH SCORE 51296.321
AT ITER 4961 NEW BEST:: SOT 602034 SOS 109291 HAS SOPS 109291 HAS SOUS 51177 HAS SOUPS 51177 WITH SCORE 51286.291
AT ITER 4974 NEW BEST:: SOT 601904 SOS 109015 HAS SOPS 109015 HAS SOUS 51005 HAS SOUPS 51005 WITH SCORE 51114.015
AT ITER 5018 NEW BEST:: SOT 601903 SOS 109014 HAS SOPS 109014 HAS SOUS 51004 HAS SOUPS 51004 WITH SCORE 51113.014
AT ITER 5049 NEW BEST:: SOT 601903 SOS 108800 HAS SOPS 108800 HAS SOUS 50966 HAS SOUPS 50966 WITH SCORE 51074.8
AT ITER 5122 NEW BEST:: SOT 601901 SOS 108798 HAS SOPS 108798 HAS SOUS 50964 HAS SOUPS 50964 WITH SCORE 51072.798
AT ITER 5123 NEW BEST:: SOT 601901 SOS 108798 HAS SOPS 108798 HAS SOUS 50959 HAS SOUPS 50959 WITH SCORE 51067.798
AT ITER 5128 NEW BEST:: SOT 601895 SOS 108762 HAS SOPS 108762 HAS SOUS 50947 HAS SOUPS 50947 WITH SCORE 51055.762
AT ITER 5142 NEW BEST:: SOT 601905 SOS 108796 HAS SOPS 108796 HAS SOUS 50913 HAS SOUPS 50913 WITH SCORE 51021.796
AT ITER 5145 NEW BEST:: SOT 601905 SOS 108658 HAS SOPS 108658 HAS SOUS 50867 HAS SOUPS 50867 WITH SCORE 50975.658
AT ITER 5151 NEW BEST:: SOT 601875 SOS 108628 HAS SOPS 108628 HAS SOUS 50837 HAS SOUPS 50837 WITH SCORE 50945.628
AT ITER 5231 NEW BEST:: SOT 601864 SOS 108567 HAS SOPS 108567 HAS SOUS 50808 HAS SOUPS 50808 WITH SCORE 50916.567
AT ITER 5276 NEW BEST:: SOT 601864 SOS 108547 HAS SOPS 108547 HAS SOUS 50808 HAS SOUPS 50808 WITH SCORE 50916.547
AT ITER 5281 NEW BEST:: SOT 601859 SOS 108492 HAS SOPS 108492 HAS SOUS 50773 HAS SOUPS 50773 WITH SCORE 50881.492
AT ITER 5289 NEW BEST:: SOT 601824 SOS 108433 HAS SOPS 108433 HAS SOUS 50720 HAS SOUPS 50720 WITH SCORE 50828.433
AT ITER 5370 NEW BEST:: SOT 601824 SOS 108415 HAS SOPS 108415 HAS SOUS 50714 HAS SOUPS 50714 WITH SCORE 50822.415
AT ITER 5423 NEW BEST:: SOT 601759 SOS 108463 HAS SOPS 108463 HAS SOUS 50681 HAS SOUPS 50681 WITH SCORE 50789.463
AT ITER 5434 NEW BEST:: SOT 601724 SOS 108428 HAS SOPS 108428 HAS SOUS 50646 HAS SOUPS 50646 WITH SCORE 50754.428
AT ITER 5481 NEW BEST:: SOT 601760 SOS 108482 HAS SOPS 108482 HAS SOUS 50615 HAS SOUPS 50615 WITH SCORE 50723.482
AT ITER 5482 NEW BEST:: SOT 601740 SOS 108462 HAS SOPS 108462 HAS SOUS 50588 HAS SOUPS 50588 WITH SCORE 50696.462
AT ITER 5658 NEW BEST:: SOT 601740 SOS 108412 HAS SOPS 108412 HAS SOUS 50578 HAS SOUPS 50578 WITH SCORE 50686.412
AT ITER 5695 NEW BEST:: SOT 601740 SOS 108334 HAS SOPS 108334 HAS SOUS 50552 HAS SOUPS 50552 WITH SCORE 50660.334
AT ITER 5777 NEW BEST:: SOT 601734 SOS 108357 HAS SOPS 108357 HAS SOUS 50539 HAS SOUPS 50539 WITH SCORE 50647.357
AT ITER 5804 NEW BEST:: SOT 601723 SOS 108327 HAS SOPS 108327 HAS SOUS 50533 HAS SOUPS 50533 WITH SCORE 50641.327
AT ITER 5831 NEW BEST:: SOT 601728 SOS 108308 HAS SOPS 108308 HAS SOUS 50514 HAS SOUPS 50514 WITH SCORE 50622.308
AT ITER 5851 NEW BEST:: SOT 601728 SOS 108312 HAS SOPS 108312 HAS SOUS 50510 HAS SOUPS 50510 WITH SCORE 50618.312
AT ITER 5918 NEW BEST:: SOT 601728 SOS 108331 HAS SOPS 108331 HAS SOUS 50505 HAS SOUPS 50505 WITH SCORE 50613.331
AT ITER 5928 NEW BEST:: SOT 601663 SOS 108201 HAS SOPS 108201 HAS SOUS 50427 HAS SOUPS 50427 WITH SCORE 50535.201
AT ITER 5968 NEW BEST:: SOT 601663 SOS 108111 HAS SOPS 108111 HAS SOUS 50397 HAS SOUPS 50397 WITH SCORE 50505.111
AT ITER 5988 NEW BEST:: SOT 601656 SOS 107996 HAS SOPS 107996 HAS SOUS 50382 HAS SOUPS 50382 WITH SCORE 50489.996
AT ITER 6000 NEW BEST:: SOT 601656 SOS 107996 HAS SOPS 107996 HAS SOUS 50377 HAS SOUPS 50377 WITH SCORE 50484.996
AT ITER 6008 NEW BEST:: SOT 601656 SOS 107930 HAS SOPS 107930 HAS SOUS 50355 HAS SOUPS 50355 WITH SCORE 50462.93
AT ITER 6070 NEW BEST:: SOT 601656 SOS 107930 HAS SOPS 107930 HAS SOUS 50333 HAS SOUPS 50333 WITH SCORE 50440.93
AT ITER 6081 NEW BEST:: SOT 601662 SOS 107859 HAS SOPS 107859 HAS SOUS 50330 HAS SOUPS 50330 WITH SCORE 50437.859
AT ITER 6131 NEW BEST:: SOT 601653 SOS 107847 HAS SOPS 107847 HAS SOUS 50318 HAS SOUPS 50318 WITH SCORE 50425.847
AT ITER 6155 NEW BEST:: SOT 601637 SOS 107759 HAS SOPS 107759 HAS SOUS 50278 HAS SOUPS 50278 WITH SCORE 50385.759
AT ITER 6210 NEW BEST:: SOT 601643 SOS 107631 HAS SOPS 107631 HAS SOUS 50262 HAS SOUPS 50262 WITH SCORE 50369.631
AT ITER 6224 NEW BEST:: SOT 601643 SOS 107647 HAS SOPS 107647 HAS SOUS 50246 HAS SOUPS 50246 WITH SCORE 50353.647
AT ITER 6278 NEW BEST:: SOT 601643 SOS 107629 HAS SOPS 107629 HAS SOUS 50240 HAS SOUPS 50240 WITH SCORE 50347.629
AT ITER 6347 NEW BEST:: SOT 601643 SOS 107611 HAS SOPS 107611 HAS SOUS 50234 HAS SOUPS 50234 WITH SCORE 50341.611
AT ITER 6370 NEW BEST:: SOT 601634 SOS 107605 HAS SOPS 107605 HAS SOUS 50228 HAS SOUPS 50228 WITH SCORE 50335.605
AT ITER 6388 NEW BEST:: SOT 601606 SOS 107453 HAS SOPS 107453 HAS SOUS 50222 HAS SOUPS 50222 WITH SCORE 50329.453
AT ITER 6392 NEW BEST:: SOT 601416 SOS 107037 HAS SOPS 107037 HAS SOUS 50062 HAS SOUPS 50062 WITH SCORE 50169.037
AT ITER 6407 NEW BEST:: SOT 601415 SOS 107083 HAS SOPS 107083 HAS SOUS 50060 HAS SOUPS 50060 WITH SCORE 50167.083
AT ITER 6472 NEW BEST:: SOT 601410 SOS 107048 HAS SOPS 107048 HAS SOUS 50045 HAS SOUPS 50045 WITH SCORE 50152.048
AT ITER 6481 NEW BEST:: SOT 601398 SOS 107036 HAS SOPS 107036 HAS SOUS 50023 HAS SOUPS 50023 WITH SCORE 50130.036
AT ITER 6508 NEW BEST:: SOT 601384 SOS 106718 HAS SOPS 106718 HAS SOUS 49981 HAS SOUPS 49981 WITH SCORE 50087.718
AT ITER 6530 NEW BEST:: SOT 601399 SOS 106733 HAS SOPS 106733 HAS SOUS 49963 HAS SOUPS 49963 WITH SCORE 50069.733
AT ITER 6568 NEW BEST:: SOT 601406 SOS 106740 HAS SOPS 106740 HAS SOUS 49941 HAS SOUPS 49941 WITH SCORE 50047.74
AT ITER 6656 NEW BEST:: SOT 601406 SOS 106740 HAS SOPS 106740 HAS SOUS 49929 HAS SOUPS 49929 WITH SCORE 50035.74
AT ITER 6730 NEW BEST:: SOT 601291 SOS 106510 HAS SOPS 106510 HAS SOUS 49791 HAS SOUPS 49791 WITH SCORE 49897.51
AT ITER 6737 NEW BEST:: SOT 601274 SOS 106415 HAS SOPS 106415 HAS SOUS 49748 HAS SOUPS 49748 WITH SCORE 49854.415
AT ITER 6755 NEW BEST:: SOT 601278 SOS 106319 HAS SOPS 106319 HAS SOUS 49732 HAS SOUPS 49732 WITH SCORE 49838.319
AT ITER 6813 NEW BEST:: SOT 601278 SOS 106271 HAS SOPS 106271 HAS SOUS 49716 HAS SOUPS 49716 WITH SCORE 49822.271
AT ITER 6852 NEW BEST:: SOT 601250 SOS 106247 HAS SOPS 106247 HAS SOUS 49692 HAS SOUPS 49692 WITH SCORE 49798.247
AT ITER 6865 NEW BEST:: SOT 601250 SOS 106245 HAS SOPS 106245 HAS SOUS 49690 HAS SOUPS 49690 WITH SCORE 49796.245
AT ITER 6900 NEW BEST:: SOT 601249 SOS 106244 HAS SOPS 106244 HAS SOUS 49689 HAS SOUPS 49689 WITH SCORE 49795.244
AT ITER 6944 NEW BEST:: SOT 601242 SOS 106202 HAS SOPS 106202 HAS SOUS 49675 HAS SOUPS 49675 WITH SCORE 49781.202
AT ITER 6998 NEW BEST:: SOT 601242 SOS 106192 HAS SOPS 106192 HAS SOUS 49665 HAS SOUPS 49665 WITH SCORE 49771.192
AT ITER 6999 NEW BEST:: SOT 601242 SOS 106144 HAS SOPS 106144 HAS SOUS 49649 HAS SOUPS 49649 WITH SCORE 49755.144
AT ITER 7001 NEW BEST:: SOT 601234 SOS 106096 HAS SOPS 106096 HAS SOUS 49633 HAS SOUPS 49633 WITH SCORE 49739.096
AT ITER 7021 NEW BEST:: SOT 601230 SOS 106094 HAS SOPS 106094 HAS SOUS 49631 HAS SOUPS 49631 WITH SCORE 49737.094
AT ITER 7077 NEW BEST:: SOT 601228 SOS 106092 HAS SOPS 106092 HAS SOUS 49629 HAS SOUPS 49629 WITH SCORE 49735.092
AT ITER 7080 NEW BEST:: SOT 601304 SOS 106188 HAS SOPS 106188 HAS SOUS 49612 HAS SOUPS 49612 WITH SCORE 49718.188
AT ITER 7086 NEW BEST:: SOT 601269 SOS 106098 HAS SOPS 106098 HAS SOUS 49570 HAS SOUPS 49570 WITH SCORE 49676.098
AT ITER 7108 NEW BEST:: SOT 601263 SOS 106086 HAS SOPS 106086 HAS SOUS 49558 HAS SOUPS 49558 WITH SCORE 49664.086
AT ITER 7157 NEW BEST:: SOT 601263 SOS 106026 HAS SOPS 106026 HAS SOUS 49538 HAS SOUPS 49538 WITH SCORE 49644.026
AT ITER 7160 NEW BEST:: SOT 601263 SOS 105961 HAS SOPS 105961 HAS SOUS 49525 HAS SOUPS 49525 WITH SCORE 49630.961
AT ITER 7202 NEW BEST:: SOT 601153 SOS 105829 HAS SOPS 105829 HAS SOUS 49401 HAS SOUPS 49401 WITH SCORE 49506.829
AT ITER 7258 NEW BEST:: SOT 601149 SOS 105825 HAS SOPS 105825 HAS SOUS 49401 HAS SOUPS 49401 WITH SCORE 49506.825
AT ITER 7269 NEW BEST:: SOT 601143 SOS 105819 HAS SOPS 105819 HAS SOUS 49384 HAS SOUPS 49384 WITH SCORE 49489.819
AT ITER 7417 NEW BEST:: SOT 601038 SOS 105690 HAS SOPS 105690 HAS SOUS 49271 HAS SOUPS 49271 WITH SCORE 49376.69
AT ITER 7438 NEW BEST:: SOT 601037 SOS 105614 HAS SOPS 105614 HAS SOUS 49263 HAS SOUPS 49263 WITH SCORE 49368.614
AT ITER 7618 NEW BEST:: SOT 601057 SOS 105706 HAS SOPS 105706 HAS SOUS 49251 HAS SOUPS 49251 WITH SCORE 49356.706
AT ITER 7648 NEW BEST:: SOT 601017 SOS 105466 HAS SOPS 105466 HAS SOUS 49171 HAS SOUPS 49171 WITH SCORE 49276.466
AT ITER 7737 NEW BEST:: SOT 600926 SOS 105233 HAS SOPS 105233 HAS SOUS 49042 HAS SOUPS 49042 WITH SCORE 49147.233
AT ITER 7837 NEW BEST:: SOT 600926 SOS 105225 HAS SOPS 105225 HAS SOUS 49034 HAS SOUPS 49034 WITH SCORE 49139.225
AT ITER 7880 NEW BEST:: SOT 600926 SOS 105225 HAS SOPS 105225 HAS SOUS 49003 HAS SOUPS 49003 WITH SCORE 49108.225
AT ITER 7916 NEW BEST:: SOT 600926 SOS 105221 HAS SOPS 105221 HAS SOUS 49003 HAS SOUPS 49003 WITH SCORE 49108.221
AT ITER 7928 NEW BEST:: SOT 600930 SOS 105076 HAS SOPS 105076 HAS SOUS 48998 HAS SOUPS 48998 WITH SCORE 49103.076
AT ITER 8025 NEW BEST:: SOT 600895 SOS 104957 HAS SOPS 104957 HAS SOUS 48984 HAS SOUPS 48984 WITH SCORE 49088.957
AT ITER 8055 NEW BEST:: SOT 600889 SOS 104951 HAS SOPS 104951 HAS SOUS 48984 HAS SOUPS 48984 WITH SCORE 49088.951
AT ITER 8060 NEW BEST:: SOT 600872 SOS 104798 HAS SOPS 104798 HAS SOUS 48931 HAS SOUPS 48931 WITH SCORE 49035.798
AT ITER 8096 NEW BEST:: SOT 600872 SOS 104798 HAS SOPS 104798 HAS SOUS 48921 HAS SOUPS 48921 WITH SCORE 49025.798
AT ITER 8106 NEW BEST:: SOT 600842 SOS 104762 HAS SOPS 104762 HAS SOUS 48865 HAS SOUPS 48865 WITH SCORE 48969.762
AT ITER 8134 NEW BEST:: SOT 600815 SOS 104655 HAS SOPS 104655 HAS SOUS 48859 HAS SOUPS 48859 WITH SCORE 48963.655
AT ITER 8169 NEW BEST:: SOT 600815 SOS 104655 HAS SOPS 104655 HAS SOUS 48847 HAS SOUPS 48847 WITH SCORE 48951.655
AT ITER 8181 NEW BEST:: SOT 600799 SOS 104639 HAS SOPS 104639 HAS SOUS 48815 HAS SOUPS 48815 WITH SCORE 48919.639
AT ITER 8374 NEW BEST:: SOT 600776 SOS 104586 HAS SOPS 104586 HAS SOUS 48782 HAS SOUPS 48782 WITH SCORE 48886.586
AT ITER 8401 NEW BEST:: SOT 600686 SOS 104406 HAS SOPS 104406 HAS SOUS 48674 HAS SOUPS 48674 WITH SCORE 48778.406
AT ITER 8485 NEW BEST:: SOT 600686 SOS 104406 HAS SOPS 104406 HAS SOUS 48656 HAS SOUPS 48656 WITH SCORE 48760.406
AT ITER 8587 NEW BEST:: SOT 600686 SOS 104405 HAS SOPS 104405 HAS SOUS 48651 HAS SOUPS 48651 WITH SCORE 48755.405
AT ITER 8652 NEW BEST:: SOT 600651 SOS 104363 HAS SOPS 104363 HAS SOUS 48581 HAS SOUPS 48581 WITH SCORE 48685.363
AT ITER 8660 NEW BEST:: SOT 600626 SOS 104333 HAS SOPS 104333 HAS SOUS 48547 HAS SOUPS 48547 WITH SCORE 48651.333
AT ITER 8681 NEW BEST:: SOT 600602 SOS 104237 HAS SOPS 104237 HAS SOUS 48547 HAS SOUPS 48547 WITH SCORE 48651.237
AT ITER 8727 NEW BEST:: SOT 600592 SOS 104227 HAS SOPS 104227 HAS SOUS 48537 HAS SOUPS 48537 WITH SCORE 48641.227
AT ITER 8799 NEW BEST:: SOT 600592 SOS 104222 HAS SOPS 104222 HAS SOUS 48536 HAS SOUPS 48536 WITH SCORE 48640.222
AT ITER 8874 NEW BEST:: SOT 600568 SOS 104198 HAS SOPS 104198 HAS SOUS 48459 HAS SOUPS 48459 WITH SCORE 48563.198
AT ITER 8881 NEW BEST:: SOT 600547 SOS 104267 HAS SOPS 104267 HAS SOUS 48456 HAS SOUPS 48456 WITH SCORE 48560.267
AT ITER 8884 NEW BEST:: SOT 600547 SOS 104156 HAS SOPS 104156 HAS SOUS 48449 HAS SOUPS 48449 WITH SCORE 48553.156
AT ITER 8897 NEW BEST:: SOT 600392 SOS 103970 HAS SOPS 103970 HAS SOUS 48139 HAS SOUPS 48139 WITH SCORE 48242.97
AT ITER 8912 NEW BEST:: SOT 600244 SOS 103826 HAS SOPS 103826 HAS SOUS 48011 HAS SOUPS 48011 WITH SCORE 48114.826
AT ITER 8922 NEW BEST:: SOT 600244 SOS 103810 HAS SOPS 103810 HAS SOUS 47995 HAS SOUPS 47995 WITH SCORE 48098.81
AT ITER 8933 NEW BEST:: SOT 600244 SOS 103615 HAS SOPS 103615 HAS SOUS 47968 HAS SOUPS 47968 WITH SCORE 48071.615
AT ITER 8950 NEW BEST:: SOT 600242 SOS 103613 HAS SOPS 103613 HAS SOUS 47966 HAS SOUPS 47966 WITH SCORE 48069.613
AT ITER 8967 NEW BEST:: SOT 600242 SOS 103593 HAS SOPS 103593 HAS SOUS 47946 HAS SOUPS 47946 WITH SCORE 48049.593
AT ITER 8980 NEW BEST:: SOT 600242 SOS 103593 HAS SOPS 103593 HAS SOUS 47938 HAS SOUPS 47938 WITH SCORE 48041.593
AT ITER 8997 NEW BEST:: SOT 600222 SOS 103643 HAS SOPS 103643 HAS SOUS 47893 HAS SOUPS 47893 WITH SCORE 47996.643
AT ITER 9071 NEW BEST:: SOT 600097 SOS 103557 HAS SOPS 103557 HAS SOUS 47807 HAS SOUPS 47807 WITH SCORE 47910.557
AT ITER 9101 NEW BEST:: SOT 599959 SOS 103359 HAS SOPS 103359 HAS SOUS 47609 HAS SOUPS 47609 WITH SCORE 47712.359
AT ITER 9158 NEW BEST:: SOT 599974 SOS 103377 HAS SOPS 103377 HAS SOUS 47575 HAS SOUPS 47575 WITH SCORE 47678.377
AT ITER 9316 NEW BEST:: SOT 599974 SOS 103299 HAS SOPS 103299 HAS SOUS 47549 HAS SOUPS 47549 WITH SCORE 47652.299
AT ITER 9334 NEW BEST:: SOT 599969 SOS 103293 HAS SOPS 103293 HAS SOUS 47539 HAS SOUPS 47539 WITH SCORE 47642.293
AT ITER 9362 NEW BEST:: SOT 599969 SOS 103286 HAS SOPS 103286 HAS SOUS 47532 HAS SOUPS 47532 WITH SCORE 47635.286
AT ITER 9383 NEW BEST:: SOT 599952 SOS 103276 HAS SOPS 103276 HAS SOUS 47522 HAS SOUPS 47522 WITH SCORE 47625.276
AT ITER 9398 NEW BEST:: SOT 599952 SOS 103152 HAS SOPS 103152 HAS SOUS 47522 HAS SOUPS 47522 WITH SCORE 47625.152
AT ITER 9399 NEW BEST:: SOT 599940 SOS 103140 HAS SOPS 103140 HAS SOUS 47498 HAS SOUPS 47498 WITH SCORE 47601.14
AT ITER 9480 NEW BEST:: SOT 599940 SOS 103134 HAS SOPS 103134 HAS SOUS 47496 HAS SOUPS 47496 WITH SCORE 47599.134
AT ITER 9481 NEW BEST:: SOT 599940 SOS 103118 HAS SOPS 103118 HAS SOUS 47496 HAS SOUPS 47496 WITH SCORE 47599.118
AT ITER 9713 NEW BEST:: SOT 599929 SOS 103132 HAS SOPS 103132 HAS SOUS 47394 HAS SOUPS 47394 WITH SCORE 47497.132
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="HexagonalGrid-PT-410"
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 HexagonalGrid-PT-410, 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 r093-oct2-158940140100112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HexagonalGrid-PT-410.tgz
mv HexagonalGrid-PT-410 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 ;