fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r048-ebro-158902542200468
Last Updated
Jun 28, 2020

About the Execution of smart for DLCround-PT-04a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.420 3600000.00 3600061.00 9.80 F??????????????? normal

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-158902542200468.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 DLCround-PT-04a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542200468
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 372K
-rw-r--r-- 1 mcc users 2.6K Mar 30 18:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 30 18:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 29 08:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 29 08:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 04:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 04:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 23:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 23:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 200K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-04a-CTLFireability-00
FORMULA_NAME DLCround-PT-04a-CTLFireability-01
FORMULA_NAME DLCround-PT-04a-CTLFireability-02
FORMULA_NAME DLCround-PT-04a-CTLFireability-03
FORMULA_NAME DLCround-PT-04a-CTLFireability-04
FORMULA_NAME DLCround-PT-04a-CTLFireability-05
FORMULA_NAME DLCround-PT-04a-CTLFireability-06
FORMULA_NAME DLCround-PT-04a-CTLFireability-07
FORMULA_NAME DLCround-PT-04a-CTLFireability-08
FORMULA_NAME DLCround-PT-04a-CTLFireability-09
FORMULA_NAME DLCround-PT-04a-CTLFireability-10
FORMULA_NAME DLCround-PT-04a-CTLFireability-11
FORMULA_NAME DLCround-PT-04a-CTLFireability-12
FORMULA_NAME DLCround-PT-04a-CTLFireability-13
FORMULA_NAME DLCround-PT-04a-CTLFireability-14
FORMULA_NAME DLCround-PT-04a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589121648224

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

GOT IT HERE. BS
Petri model created: 139 places, 823 transitions, 3074 arcs.
AT ITER 0 NEW BEST:: SOT 77324 SOS 59877 HAS SOPS 36308 HAS SOUS 11839 HAS SOUPS 7817 WITH SCORE 7876.877
AT ITER 11 NEW BEST:: SOT 77338 SOS 59891 HAS SOPS 36322 HAS SOUS 11832 HAS SOUPS 7810 WITH SCORE 7869.891
AT ITER 19 NEW BEST:: SOT 77352 SOS 59975 HAS SOPS 36406 HAS SOUS 11818 HAS SOUPS 7796 WITH SCORE 7855.975
AT ITER 22 NEW BEST:: SOT 76934 SOS 59210 HAS SOPS 36011 HAS SOUS 11389 HAS SOUPS 7409 WITH SCORE 7468.21
AT ITER 27 NEW BEST:: SOT 76912 SOS 59166 HAS SOPS 35967 HAS SOUS 11358 HAS SOUPS 7378 WITH SCORE 7437.166
AT ITER 31 NEW BEST:: SOT 76962 SOS 59194 HAS SOPS 35995 HAS SOUS 11338 HAS SOUPS 7358 WITH SCORE 7417.194
AT ITER 34 NEW BEST:: SOT 76862 SOS 58466 HAS SOPS 35867 HAS SOUS 11508 HAS SOUPS 7319 WITH SCORE 7377.466
AT ITER 35 NEW BEST:: SOT 76888 SOS 58492 HAS SOPS 35893 HAS SOUS 11495 HAS SOUPS 7306 WITH SCORE 7364.492
AT ITER 45 NEW BEST:: SOT 76899 SOS 58514 HAS SOPS 35893 HAS SOUS 11504 HAS SOUPS 7304 WITH SCORE 7362.514
AT ITER 46 NEW BEST:: SOT 76944 SOS 58015 HAS SOPS 35610 HAS SOUS 11507 HAS SOUPS 7035 WITH SCORE 7093.015
AT ITER 50 NEW BEST:: SOT 76879 SOS 59010 HAS SOPS 36005 HAS SOUS 11502 HAS SOUPS 6990 WITH SCORE 7049.01
AT ITER 51 NEW BEST:: SOT 76869 SOS 58985 HAS SOPS 35980 HAS SOUS 11492 HAS SOUPS 6980 WITH SCORE 7038.985
AT ITER 53 NEW BEST:: SOT 76943 SOS 59093 HAS SOPS 35962 HAS SOUS 11466 HAS SOUPS 6864 WITH SCORE 6923.093
AT ITER 59 NEW BEST:: SOT 76943 SOS 59096 HAS SOPS 35959 HAS SOUS 11466 HAS SOUPS 6861 WITH SCORE 6920.096
AT ITER 60 NEW BEST:: SOT 76944 SOS 58998 HAS SOPS 35961 HAS SOUS 11435 HAS SOUPS 6850 WITH SCORE 6908.998
AT ITER 61 NEW BEST:: SOT 76931 SOS 60142 HAS SOPS 36411 HAS SOUS 11362 HAS SOUPS 6777 WITH SCORE 6837.142
AT ITER 71 NEW BEST:: SOT 76779 SOS 60077 HAS SOPS 36346 HAS SOUS 11026 HAS SOUPS 6441 WITH SCORE 6501.077
AT ITER 78 NEW BEST:: SOT 76567 SOS 59968 HAS SOPS 36237 HAS SOUS 10943 HAS SOUPS 6358 WITH SCORE 6417.968
AT ITER 91 NEW BEST:: SOT 76250 SOS 59443 HAS SOPS 36036 HAS SOUS 10939 HAS SOUPS 6354 WITH SCORE 6413.443
AT ITER 92 NEW BEST:: SOT 76314 SOS 59470 HAS SOPS 36063 HAS SOUS 10932 HAS SOUPS 6347 WITH SCORE 6406.47
AT ITER 95 NEW BEST:: SOT 76295 SOS 59405 HAS SOPS 35998 HAS SOUS 10903 HAS SOUPS 6318 WITH SCORE 6377.405
AT ITER 100 NEW BEST:: SOT 76274 SOS 59173 HAS SOPS 35910 HAS SOUS 10874 HAS SOUPS 6307 WITH SCORE 6366.173
AT ITER 111 NEW BEST:: SOT 75906 SOS 58617 HAS SOPS 35654 HAS SOUS 10828 HAS SOUPS 6291 WITH SCORE 6349.617
AT ITER 114 NEW BEST:: SOT 75906 SOS 58617 HAS SOPS 35654 HAS SOUS 10816 HAS SOUPS 6279 WITH SCORE 6337.617
AT ITER 116 NEW BEST:: SOT 75945 SOS 58469 HAS SOPS 35778 HAS SOUS 10772 HAS SOUPS 6269 WITH SCORE 6327.469
AT ITER 118 NEW BEST:: SOT 75989 SOS 58513 HAS SOPS 35822 HAS SOUS 10750 HAS SOUPS 6247 WITH SCORE 6305.513
AT ITER 125 NEW BEST:: SOT 75984 SOS 58494 HAS SOPS 35818 HAS SOUS 10743 HAS SOUPS 6243 WITH SCORE 6301.494
AT ITER 129 NEW BEST:: SOT 75471 SOS 57744 HAS SOPS 35446 HAS SOUS 10683 HAS SOUPS 6183 WITH SCORE 6240.744
AT ITER 139 NEW BEST:: SOT 75459 SOS 57732 HAS SOPS 35434 HAS SOUS 10671 HAS SOUPS 6171 WITH SCORE 6228.732
AT ITER 141 NEW BEST:: SOT 75441 SOS 57696 HAS SOPS 35398 HAS SOUS 10655 HAS SOUPS 6155 WITH SCORE 6212.696
AT ITER 143 NEW BEST:: SOT 75436 SOS 57651 HAS SOPS 35393 HAS SOUS 10650 HAS SOUPS 6155 WITH SCORE 6212.651
AT ITER 150 NEW BEST:: SOT 75436 SOS 57661 HAS SOPS 35403 HAS SOUS 10640 HAS SOUPS 6145 WITH SCORE 6202.661
AT ITER 155 NEW BEST:: SOT 75393 SOS 57618 HAS SOPS 35285 HAS SOUS 10594 HAS SOUPS 6057 WITH SCORE 6114.618
AT ITER 161 NEW BEST:: SOT 75654 SOS 57960 HAS SOPS 35465 HAS SOUS 10493 HAS SOUPS 5997 WITH SCORE 6054.96
AT ITER 170 NEW BEST:: SOT 75622 SOS 57640 HAS SOPS 35145 HAS SOUS 10461 HAS SOUPS 5965 WITH SCORE 6022.64
AT ITER 172 NEW BEST:: SOT 75622 SOS 57640 HAS SOPS 35145 HAS SOUS 10458 HAS SOUPS 5963 WITH SCORE 6020.64
AT ITER 180 NEW BEST:: SOT 75598 SOS 56771 HAS SOPS 34276 HAS SOUS 10451 HAS SOUPS 5956 WITH SCORE 6012.771
AT ITER 182 NEW BEST:: SOT 75584 SOS 56335 HAS SOPS 33840 HAS SOUS 10444 HAS SOUPS 5949 WITH SCORE 6005.335
AT ITER 199 NEW BEST:: SOT 75604 SOS 56211 HAS SOPS 33791 HAS SOUS 10439 HAS SOUPS 5944 WITH SCORE 6000.211
AT ITER 201 NEW BEST:: SOT 75604 SOS 56211 HAS SOPS 33791 HAS SOUS 10427 HAS SOUPS 5932 WITH SCORE 5988.211
AT ITER 208 NEW BEST:: SOT 74983 SOS 55294 HAS SOPS 33362 HAS SOUS 10394 HAS SOUPS 5902 WITH SCORE 5957.294
AT ITER 240 NEW BEST:: SOT 74983 SOS 55294 HAS SOPS 33346 HAS SOUS 10385 HAS SOUPS 5897 WITH SCORE 5952.294
AT ITER 243 NEW BEST:: SOT 74979 SOS 54975 HAS SOPS 33137 HAS SOUS 10359 HAS SOUPS 5871 WITH SCORE 5925.975
AT ITER 250 NEW BEST:: SOT 75015 SOS 54867 HAS SOPS 33173 HAS SOUS 10341 HAS SOUPS 5871 WITH SCORE 5925.867
AT ITER 268 NEW BEST:: SOT 75012 SOS 54861 HAS SOPS 33173 HAS SOUS 10338 HAS SOUPS 5871 WITH SCORE 5925.861
AT ITER 270 NEW BEST:: SOT 75138 SOS 54987 HAS SOPS 33194 HAS SOUS 10422 HAS SOUPS 5857 WITH SCORE 5911.987
AT ITER 274 NEW BEST:: SOT 75121 SOS 54817 HAS SOPS 33160 HAS SOUS 10371 HAS SOUPS 5823 WITH SCORE 5877.817
AT ITER 282 NEW BEST:: SOT 75044 SOS 54741 HAS SOPS 33082 HAS SOUS 10371 HAS SOUPS 5810 WITH SCORE 5864.741
AT ITER 287 NEW BEST:: SOT 75004 SOS 54662 HAS SOPS 33022 HAS SOUS 10312 HAS SOUPS 5810 WITH SCORE 5864.662
AT ITER 296 NEW BEST:: SOT 74896 SOS 54554 HAS SOPS 32914 HAS SOUS 10125 HAS SOUPS 5698 WITH SCORE 5752.554
AT ITER 299 NEW BEST:: SOT 74812 SOS 54391 HAS SOPS 32824 HAS SOUS 10075 HAS SOUPS 5659 WITH SCORE 5713.391
AT ITER 301 NEW BEST:: SOT 74840 SOS 54393 HAS SOPS 32824 HAS SOUS 10057 HAS SOUPS 5650 WITH SCORE 5704.393
AT ITER 307 NEW BEST:: SOT 74835 SOS 54388 HAS SOPS 32824 HAS SOUS 10047 HAS SOUPS 5640 WITH SCORE 5694.388
AT ITER 337 NEW BEST:: SOT 74810 SOS 53618 HAS SOPS 32166 HAS SOUS 10030 HAS SOUPS 5637 WITH SCORE 5690.618
AT ITER 338 NEW BEST:: SOT 74807 SOS 53615 HAS SOPS 32166 HAS SOUS 10024 HAS SOUPS 5631 WITH SCORE 5684.615
AT ITER 344 NEW BEST:: SOT 74745 SOS 53181 HAS SOPS 32210 HAS SOUS 9953 HAS SOUPS 5616 WITH SCORE 5669.181
AT ITER 350 NEW BEST:: SOT 74795 SOS 53233 HAS SOPS 32262 HAS SOUS 9931 HAS SOUPS 5594 WITH SCORE 5647.233
AT ITER 371 NEW BEST:: SOT 74780 SOS 52454 HAS SOPS 31483 HAS SOUS 9929 HAS SOUPS 5592 WITH SCORE 5644.454
AT ITER 386 NEW BEST:: SOT 74774 SOS 52442 HAS SOPS 31471 HAS SOUS 9918 HAS SOUPS 5581 WITH SCORE 5633.442
AT ITER 394 NEW BEST:: SOT 74769 SOS 52432 HAS SOPS 31471 HAS SOUS 9911 HAS SOUPS 5579 WITH SCORE 5631.432
AT ITER 409 NEW BEST:: SOT 74779 SOS 52764 HAS SOPS 31755 HAS SOUS 9915 HAS SOUPS 5577 WITH SCORE 5629.764
AT ITER 412 NEW BEST:: SOT 74786 SOS 52042 HAS SOPS 31161 HAS SOUS 9897 HAS SOUPS 5575 WITH SCORE 5627.042
AT ITER 413 NEW BEST:: SOT 74780 SOS 51559 HAS SOPS 30982 HAS SOUS 9829 HAS SOUPS 5545 WITH SCORE 5596.559
AT ITER 420 NEW BEST:: SOT 74804 SOS 51501 HAS SOPS 30924 HAS SOUS 9820 HAS SOUPS 5536 WITH SCORE 5587.501
AT ITER 430 NEW BEST:: SOT 74970 SOS 51644 HAS SOPS 30998 HAS SOUS 9771 HAS SOUPS 5510 WITH SCORE 5561.644
AT ITER 434 NEW BEST:: SOT 74974 SOS 50934 HAS SOPS 30400 HAS SOUS 9746 HAS SOUPS 5499 WITH SCORE 5549.934
AT ITER 452 NEW BEST:: SOT 74977 SOS 50772 HAS SOPS 30286 HAS SOUS 9721 HAS SOUPS 5474 WITH SCORE 5524.772
AT ITER 453 NEW BEST:: SOT 74965 SOS 50722 HAS SOPS 30156 HAS SOUS 9726 HAS SOUPS 5469 WITH SCORE 5519.722
AT ITER 457 NEW BEST:: SOT 74931 SOS 50630 HAS SOPS 30119 HAS SOUS 9698 HAS SOUPS 5452 WITH SCORE 5502.63
AT ITER 463 NEW BEST:: SOT 74924 SOS 50623 HAS SOPS 30112 HAS SOUS 9691 HAS SOUPS 5445 WITH SCORE 5495.623
AT ITER 469 NEW BEST:: SOT 74559 SOS 50158 HAS SOPS 29805 HAS SOUS 9689 HAS SOUPS 5435 WITH SCORE 5485.158
AT ITER 475 NEW BEST:: SOT 74531 SOS 50124 HAS SOPS 29780 HAS SOUS 9668 HAS SOUPS 5421 WITH SCORE 5471.124
AT ITER 479 NEW BEST:: SOT 74531 SOS 50180 HAS SOPS 29836 HAS SOUS 9653 HAS SOUPS 5406 WITH SCORE 5456.18
AT ITER 487 NEW BEST:: SOT 74545 SOS 50192 HAS SOPS 29842 HAS SOUS 9647 HAS SOUPS 5402 WITH SCORE 5452.192
AT ITER 525 NEW BEST:: SOT 75079 SOS 50832 HAS SOPS 30186 HAS SOUS 9662 HAS SOUPS 5357 WITH SCORE 5407.832
AT ITER 526 NEW BEST:: SOT 74849 SOS 50543 HAS SOPS 30011 HAS SOUS 9658 HAS SOUPS 5353 WITH SCORE 5403.543
AT ITER 553 NEW BEST:: SOT 74869 SOS 49218 HAS SOPS 28773 HAS SOUS 9648 HAS SOUPS 5343 WITH SCORE 5392.218
AT ITER 559 NEW BEST:: SOT 74840 SOS 48928 HAS SOPS 28715 HAS SOUS 9590 HAS SOUPS 5314 WITH SCORE 5362.928
AT ITER 563 NEW BEST:: SOT 74820 SOS 48923 HAS SOPS 28715 HAS SOUS 9547 HAS SOUPS 5308 WITH SCORE 5356.923
AT ITER 583 NEW BEST:: SOT 74808 SOS 48906 HAS SOPS 28709 HAS SOUS 9546 HAS SOUPS 5308 WITH SCORE 5356.906
AT ITER 585 NEW BEST:: SOT 74857 SOS 48979 HAS SOPS 28737 HAS SOUS 9544 HAS SOUPS 5306 WITH SCORE 5354.979
AT ITER 586 NEW BEST:: SOT 74925 SOS 49147 HAS SOPS 28745 HAS SOUS 9561 HAS SOUPS 5291 WITH SCORE 5340.147
AT ITER 594 NEW BEST:: SOT 74899 SOS 49117 HAS SOPS 28727 HAS SOUS 9561 HAS SOUPS 5291 WITH SCORE 5340.117
AT ITER 611 NEW BEST:: SOT 74759 SOS 49213 HAS SOPS 28623 HAS SOUS 9501 HAS SOUPS 5231 WITH SCORE 5280.213
AT ITER 621 NEW BEST:: SOT 74755 SOS 49160 HAS SOPS 28658 HAS SOUS 9487 HAS SOUPS 5228 WITH SCORE 5277.16
AT ITER 672 NEW BEST:: SOT 74955 SOS 49544 HAS SOPS 28779 HAS SOUS 9474 HAS SOUPS 5199 WITH SCORE 5248.544
AT ITER 712 NEW BEST:: SOT 74893 SOS 49776 HAS SOPS 29011 HAS SOUS 9458 HAS SOUPS 5183 WITH SCORE 5232.776
AT ITER 719 NEW BEST:: SOT 74892 SOS 49769 HAS SOPS 29016 HAS SOUS 9452 HAS SOUPS 5183 WITH SCORE 5232.769
AT ITER 731 NEW BEST:: SOT 74892 SOS 49769 HAS SOPS 29016 HAS SOUS 9437 HAS SOUPS 5173 WITH SCORE 5222.769
AT ITER 733 NEW BEST:: SOT 74892 SOS 49768 HAS SOPS 29016 HAS SOUS 9427 HAS SOUPS 5168 WITH SCORE 5217.768
AT ITER 764 NEW BEST:: SOT 74878 SOS 49700 HAS SOPS 28998 HAS SOUS 9415 HAS SOUPS 5166 WITH SCORE 5215.7
AT ITER 769 NEW BEST:: SOT 74878 SOS 49692 HAS SOPS 28990 HAS SOUS 9415 HAS SOUPS 5166 WITH SCORE 5215.692
AT ITER 777 NEW BEST:: SOT 74878 SOS 49644 HAS SOPS 28978 HAS SOUS 9379 HAS SOUPS 5130 WITH SCORE 5179.644
AT ITER 786 NEW BEST:: SOT 74818 SOS 49574 HAS SOPS 28938 HAS SOUS 9369 HAS SOUPS 5120 WITH SCORE 5169.574
AT ITER 793 NEW BEST:: SOT 74795 SOS 49692 HAS SOPS 28951 HAS SOUS 9374 HAS SOUPS 5118 WITH SCORE 5167.692
AT ITER 803 NEW BEST:: SOT 74877 SOS 49774 HAS SOPS 29021 HAS SOUS 9372 HAS SOUPS 5116 WITH SCORE 5165.774
AT ITER 829 NEW BEST:: SOT 74873 SOS 49771 HAS SOPS 29021 HAS SOUS 9369 HAS SOUPS 5116 WITH SCORE 5165.771
AT ITER 836 NEW BEST:: SOT 74992 SOS 49895 HAS SOPS 29135 HAS SOUS 9362 HAS SOUPS 5108 WITH SCORE 5157.895
AT ITER 846 NEW BEST:: SOT 74987 SOS 49885 HAS SOPS 29135 HAS SOUS 9312 HAS SOUPS 5083 WITH SCORE 5132.885
AT ITER 851 NEW BEST:: SOT 74976 SOS 49923 HAS SOPS 29135 HAS SOUS 9241 HAS SOUPS 5059 WITH SCORE 5108.923
AT ITER 873 NEW BEST:: SOT 74978 SOS 49912 HAS SOPS 29133 HAS SOUS 9236 HAS SOUPS 5054 WITH SCORE 5103.912
AT ITER 887 NEW BEST:: SOT 75156 SOS 50069 HAS SOPS 29206 HAS SOUS 9205 HAS SOUPS 5044 WITH SCORE 5094.069
AT ITER 895 NEW BEST:: SOT 75156 SOS 50057 HAS SOPS 29197 HAS SOUS 9204 HAS SOUPS 5043 WITH SCORE 5093.057
AT ITER 906 NEW BEST:: SOT 75154 SOS 50021 HAS SOPS 29176 HAS SOUS 9199 HAS SOUPS 5039 WITH SCORE 5089.021
AT ITER 922 NEW BEST:: SOT 75143 SOS 50010 HAS SOPS 29171 HAS SOUS 9199 HAS SOUPS 5039 WITH SCORE 5089.01
AT ITER 932 NEW BEST:: SOT 75072 SOS 49735 HAS SOPS 29001 HAS SOUS 9184 HAS SOUPS 5024 WITH SCORE 5073.735
AT ITER 936 NEW BEST:: SOT 75072 SOS 49735 HAS SOPS 29001 HAS SOUS 9163 HAS SOUPS 5018 WITH SCORE 5067.735
AT ITER 958 NEW BEST:: SOT 75070 SOS 49731 HAS SOPS 28997 HAS SOUS 9161 HAS SOUPS 5016 WITH SCORE 5065.731
AT ITER 987 NEW BEST:: SOT 74750 SOS 49394 HAS SOPS 28804 HAS SOUS 9160 HAS SOUPS 5015 WITH SCORE 5064.394
AT ITER 994 NEW BEST:: SOT 74690 SOS 49340 HAS SOPS 28774 HAS SOUS 9166 HAS SOUPS 5015 WITH SCORE 5064.34
AT ITER 1000 NEW BEST:: SOT 74690 SOS 49340 HAS SOPS 28774 HAS SOUS 9163 HAS SOUPS 5013 WITH SCORE 5062.34
AT ITER 1003 NEW BEST:: SOT 74698 SOS 49352 HAS SOPS 28744 HAS SOUS 9169 HAS SOUPS 5000 WITH SCORE 5049.352
AT ITER 1023 NEW BEST:: SOT 74698 SOS 49352 HAS SOPS 28744 HAS SOUS 9168 HAS SOUPS 4999 WITH SCORE 5048.352
AT ITER 1042 NEW BEST:: SOT 74672 SOS 49419 HAS SOPS 28727 HAS SOUS 9157 HAS SOUPS 4988 WITH SCORE 5037.419
AT ITER 1077 NEW BEST:: SOT 74668 SOS 49436 HAS SOPS 28719 HAS SOUS 9156 HAS SOUPS 4982 WITH SCORE 5031.436
AT ITER 1096 NEW BEST:: SOT 74588 SOS 49364 HAS SOPS 28679 HAS SOUS 9164 HAS SOUPS 4982 WITH SCORE 5031.364
AT ITER 1099 NEW BEST:: SOT 74572 SOS 49352 HAS SOPS 28679 HAS SOUS 9133 HAS SOUPS 4980 WITH SCORE 5029.352
AT ITER 1104 NEW BEST:: SOT 74570 SOS 49332 HAS SOPS 28659 HAS SOUS 9129 HAS SOUPS 4976 WITH SCORE 5025.332
AT ITER 1106 NEW BEST:: SOT 74578 SOS 49340 HAS SOPS 28661 HAS SOUS 9128 HAS SOUPS 4975 WITH SCORE 5024.34
AT ITER 1109 NEW BEST:: SOT 74525 SOS 49123 HAS SOPS 28535 HAS SOUS 9123 HAS SOUPS 4970 WITH SCORE 5019.123
AT ITER 1136 NEW BEST:: SOT 74625 SOS 49256 HAS SOPS 28746 HAS SOUS 8830 HAS SOUPS 4963 WITH SCORE 5012.256
AT ITER 1155 NEW BEST:: SOT 74624 SOS 49254 HAS SOPS 28746 HAS SOUS 8826 HAS SOUPS 4961 WITH SCORE 5010.254
AT ITER 1179 NEW BEST:: SOT 74622 SOS 49251 HAS SOPS 28743 HAS SOUS 8824 HAS SOUPS 4959 WITH SCORE 5008.251
AT ITER 1222 NEW BEST:: SOT 74598 SOS 49215 HAS SOPS 28727 HAS SOUS 8820 HAS SOUPS 4957 WITH SCORE 5006.215
AT ITER 1224 NEW BEST:: SOT 74407 SOS 48864 HAS SOPS 28596 HAS SOUS 8809 HAS SOUPS 4946 WITH SCORE 4994.864
AT ITER 1244 NEW BEST:: SOT 74397 SOS 48851 HAS SOPS 28588 HAS SOUS 8807 HAS SOUPS 4944 WITH SCORE 4992.851
AT ITER 1260 NEW BEST:: SOT 74501 SOS 48971 HAS SOPS 28642 HAS SOUS 8803 HAS SOUPS 4940 WITH SCORE 4988.971
AT ITER 1309 NEW BEST:: SOT 74500 SOS 48977 HAS SOPS 28648 HAS SOUS 8801 HAS SOUPS 4938 WITH SCORE 4986.977
AT ITER 1320 NEW BEST:: SOT 74502 SOS 48981 HAS SOPS 28648 HAS SOUS 8794 HAS SOUPS 4933 WITH SCORE 4981.981
AT ITER 1323 NEW BEST:: SOT 74502 SOS 48981 HAS SOPS 28648 HAS SOUS 8791 HAS SOUPS 4931 WITH SCORE 4979.981
AT ITER 1324 NEW BEST:: SOT 74484 SOS 49013 HAS SOPS 28635 HAS SOUS 8782 HAS SOUPS 4922 WITH SCORE 4971.013
AT ITER 1329 NEW BEST:: SOT 74472 SOS 48989 HAS SOPS 28635 HAS SOUS 8770 HAS SOUPS 4922 WITH SCORE 4970.989
AT ITER 1336 NEW BEST:: SOT 74459 SOS 48941 HAS SOPS 28612 HAS SOUS 8755 HAS SOUPS 4916 WITH SCORE 4964.941
AT ITER 1338 NEW BEST:: SOT 74457 SOS 48829 HAS SOPS 28569 HAS SOUS 8716 HAS SOUPS 4877 WITH SCORE 4925.829
AT ITER 1343 NEW BEST:: SOT 74353 SOS 48047 HAS SOPS 28120 HAS SOUS 8663 HAS SOUPS 4827 WITH SCORE 4875.047
AT ITER 1349 NEW BEST:: SOT 74359 SOS 48053 HAS SOPS 28126 HAS SOUS 8660 HAS SOUPS 4825 WITH SCORE 4873.053
AT ITER 1364 NEW BEST:: SOT 74134 SOS 47717 HAS SOPS 27980 HAS SOUS 8631 HAS SOUPS 4815 WITH SCORE 4862.717
AT ITER 1367 NEW BEST:: SOT 73993 SOS 47460 HAS SOPS 27890 HAS SOUS 8617 HAS SOUPS 4813 WITH SCORE 4860.46
AT ITER 1376 NEW BEST:: SOT 73786 SOS 46934 HAS SOPS 27605 HAS SOUS 8597 HAS SOUPS 4811 WITH SCORE 4857.934
AT ITER 1381 NEW BEST:: SOT 73747 SOS 46889 HAS SOPS 27578 HAS SOUS 8594 HAS SOUPS 4808 WITH SCORE 4854.889
AT ITER 1399 NEW BEST:: SOT 73682 SOS 46759 HAS SOPS 27578 HAS SOUS 8581 HAS SOUPS 4808 WITH SCORE 4854.759
AT ITER 1418 NEW BEST:: SOT 73667 SOS 46113 HAS SOPS 26932 HAS SOUS 8554 HAS SOUPS 4781 WITH SCORE 4827.113
AT ITER 1434 NEW BEST:: SOT 73665 SOS 46111 HAS SOPS 26930 HAS SOUS 8552 HAS SOUPS 4779 WITH SCORE 4825.111
AT ITER 1441 NEW BEST:: SOT 73663 SOS 46079 HAS SOPS 26907 HAS SOUS 8547 HAS SOUPS 4774 WITH SCORE 4820.079
AT ITER 1463 NEW BEST:: SOT 73861 SOS 46367 HAS SOPS 27015 HAS SOUS 8529 HAS SOUPS 4738 WITH SCORE 4784.367
AT ITER 1484 NEW BEST:: SOT 73838 SOS 46344 HAS SOPS 27015 HAS SOUS 8527 HAS SOUPS 4736 WITH SCORE 4782.344
AT ITER 1516 NEW BEST:: SOT 73803 SOS 46310 HAS SOPS 26981 HAS SOUS 8505 HAS SOUPS 4714 WITH SCORE 4760.31
AT ITER 1558 NEW BEST:: SOT 73796 SOS 46302 HAS SOPS 26973 HAS SOUS 8505 HAS SOUPS 4714 WITH SCORE 4760.302
AT ITER 1568 NEW BEST:: SOT 73793 SOS 46299 HAS SOPS 26973 HAS SOUS 8505 HAS SOUPS 4714 WITH SCORE 4760.299
AT ITER 1632 NEW BEST:: SOT 73760 SOS 46263 HAS SOPS 26952 HAS SOUS 8499 HAS SOUPS 4708 WITH SCORE 4754.263
AT ITER 1634 NEW BEST:: SOT 73663 SOS 46156 HAS SOPS 26885 HAS SOUS 8509 HAS SOUPS 4708 WITH SCORE 4754.156
AT ITER 1655 NEW BEST:: SOT 73700 SOS 46270 HAS SOPS 26999 HAS SOUS 8506 HAS SOUPS 4705 WITH SCORE 4751.27
AT ITER 1672 NEW BEST:: SOT 73718 SOS 46317 HAS SOPS 27026 HAS SOUS 8505 HAS SOUPS 4704 WITH SCORE 4750.317
AT ITER 1684 NEW BEST:: SOT 73678 SOS 46265 HAS SOPS 26986 HAS SOUS 8506 HAS SOUPS 4701 WITH SCORE 4747.265
AT ITER 1711 NEW BEST:: SOT 73720 SOS 46344 HAS SOPS 27020 HAS SOUS 8497 HAS SOUPS 4697 WITH SCORE 4743.344
AT ITER 1720 NEW BEST:: SOT 73840 SOS 46481 HAS SOPS 27091 HAS SOUS 8486 HAS SOUPS 4683 WITH SCORE 4729.481
AT ITER 1738 NEW BEST:: SOT 73840 SOS 46432 HAS SOPS 27042 HAS SOUS 8486 HAS SOUPS 4683 WITH SCORE 4729.432
AT ITER 1755 NEW BEST:: SOT 73933 SOS 46567 HAS SOPS 27105 HAS SOUS 8467 HAS SOUPS 4671 WITH SCORE 4717.567
AT ITER 1770 NEW BEST:: SOT 73803 SOS 46602 HAS SOPS 27113 HAS SOUS 8344 HAS SOUPS 4633 WITH SCORE 4679.602
AT ITER 1787 NEW BEST:: SOT 73781 SOS 46578 HAS SOPS 27101 HAS SOUS 8344 HAS SOUPS 4633 WITH SCORE 4679.578
AT ITER 1818 NEW BEST:: SOT 73732 SOS 46327 HAS SOPS 26994 HAS SOUS 8343 HAS SOUPS 4632 WITH SCORE 4678.327
AT ITER 1836 NEW BEST:: SOT 73719 SOS 46251 HAS SOPS 26966 HAS SOUS 8330 HAS SOUPS 4625 WITH SCORE 4671.251
AT ITER 1844 NEW BEST:: SOT 73731 SOS 46275 HAS SOPS 26982 HAS SOUS 8319 HAS SOUPS 4622 WITH SCORE 4668.275
AT ITER 1856 NEW BEST:: SOT 73707 SOS 46224 HAS SOPS 26955 HAS SOUS 8292 HAS SOUPS 4604 WITH SCORE 4650.224
AT ITER 1874 NEW BEST:: SOT 73563 SOS 46020 HAS SOPS 26883 HAS SOUS 8258 HAS SOUPS 4594 WITH SCORE 4640.02
AT ITER 1887 NEW BEST:: SOT 73616 SOS 46074 HAS SOPS 26913 HAS SOUS 8256 HAS SOUPS 4592 WITH SCORE 4638.074
AT ITER 1893 NEW BEST:: SOT 73766 SOS 46284 HAS SOPS 27003 HAS SOUS 8226 HAS SOUPS 4562 WITH SCORE 4608.284
AT ITER 1902 NEW BEST:: SOT 73731 SOS 46401 HAS SOPS 26984 HAS SOUS 8241 HAS SOUPS 4560 WITH SCORE 4606.401
AT ITER 1956 NEW BEST:: SOT 73683 SOS 46353 HAS SOPS 26936 HAS SOUS 8241 HAS SOUPS 4560 WITH SCORE 4606.353
AT ITER 1985 NEW BEST:: SOT 73678 SOS 46305 HAS SOPS 26929 HAS SOUS 8207 HAS SOUPS 4535 WITH SCORE 4581.305
AT ITER 2002 NEW BEST:: SOT 73644 SOS 46267 HAS SOPS 26891 HAS SOUS 8193 HAS SOUPS 4521 WITH SCORE 4567.267
AT ITER 2052 NEW BEST:: SOT 73642 SOS 46221 HAS SOPS 26845 HAS SOUS 8193 HAS SOUPS 4521 WITH SCORE 4567.221
AT ITER 2054 NEW BEST:: SOT 73309 SOS 44097 HAS SOPS 25195 HAS SOUS 8147 HAS SOUPS 4507 WITH SCORE 4551.097
AT ITER 2059 NEW BEST:: SOT 73267 SOS 44055 HAS SOPS 25153 HAS SOUS 8111 HAS SOUPS 4487 WITH SCORE 4531.055
AT ITER 2069 NEW BEST:: SOT 73261 SOS 44019 HAS SOPS 25093 HAS SOUS 8111 HAS SOUPS 4484 WITH SCORE 4528.019
AT ITER 2099 NEW BEST:: SOT 73255 SOS 43917 HAS SOPS 25030 HAS SOUS 8105 HAS SOUPS 4481 WITH SCORE 4524.917
AT ITER 2145 NEW BEST:: SOT 73258 SOS 43947 HAS SOPS 25092 HAS SOUS 8100 HAS SOUPS 4480 WITH SCORE 4523.947
AT ITER 2182 NEW BEST:: SOT 73153 SOS 43842 HAS SOPS 25002 HAS SOUS 8109 HAS SOUPS 4478 WITH SCORE 4521.842
AT ITER 2190 NEW BEST:: SOT 73151 SOS 43785 HAS SOPS 24945 HAS SOUS 8108 HAS SOUPS 4477 WITH SCORE 4520.785
AT ITER 2227 NEW BEST:: SOT 73133 SOS 43755 HAS SOPS 24935 HAS SOUS 8098 HAS SOUPS 4471 WITH SCORE 4514.755
AT ITER 2264 NEW BEST:: SOT 73135 SOS 43753 HAS SOPS 24933 HAS SOUS 8096 HAS SOUPS 4469 WITH SCORE 4512.753
AT ITER 2272 NEW BEST:: SOT 73141 SOS 43711 HAS SOPS 24939 HAS SOUS 8084 HAS SOUPS 4463 WITH SCORE 4506.711
AT ITER 2304 NEW BEST:: SOT 73138 SOS 43660 HAS SOPS 24879 HAS SOUS 8084 HAS SOUPS 4460 WITH SCORE 4503.66
AT ITER 2310 NEW BEST:: SOT 73096 SOS 43618 HAS SOPS 24837 HAS SOUS 8040 HAS SOUPS 4435 WITH SCORE 4478.618
AT ITER 2338 NEW BEST:: SOT 73211 SOS 43783 HAS SOPS 24892 HAS SOUS 8040 HAS SOUPS 4425 WITH SCORE 4468.783
AT ITER 2358 NEW BEST:: SOT 73208 SOS 43732 HAS SOPS 24865 HAS SOUS 8034 HAS SOUPS 4422 WITH SCORE 4465.732
AT ITER 2361 NEW BEST:: SOT 73284 SOS 44011 HAS SOPS 24997 HAS SOUS 8040 HAS SOUPS 4421 WITH SCORE 4465.011
AT ITER 2374 NEW BEST:: SOT 73097 SOS 43554 HAS SOPS 24630 HAS SOUS 8030 HAS SOUPS 4411 WITH SCORE 4454.554
AT ITER 2387 NEW BEST:: SOT 73121 SOS 43578 HAS SOPS 24634 HAS SOUS 8025 HAS SOUPS 4410 WITH SCORE 4453.578
AT ITER 2417 NEW BEST:: SOT 72709 SOS 42879 HAS SOPS 24397 HAS SOUS 7985 HAS SOUPS 4391 WITH SCORE 4433.879
AT ITER 2439 NEW BEST:: SOT 72708 SOS 42866 HAS SOPS 24424 HAS SOUS 7976 HAS SOUPS 4387 WITH SCORE 4429.866
AT ITER 2445 NEW BEST:: SOT 72607 SOS 42743 HAS SOPS 24356 HAS SOUS 7967 HAS SOUPS 4386 WITH SCORE 4428.743
AT ITER 2451 NEW BEST:: SOT 72707 SOS 42883 HAS SOPS 24416 HAS SOUS 7950 HAS SOUPS 4369 WITH SCORE 4411.883
AT ITER 2452 NEW BEST:: SOT 72659 SOS 42624 HAS SOPS 24325 HAS SOUS 7928 HAS SOUPS 4368 WITH SCORE 4410.624
AT ITER 2470 NEW BEST:: SOT 72657 SOS 42619 HAS SOPS 24325 HAS SOUS 7926 HAS SOUPS 4367 WITH SCORE 4409.619
AT ITER 2482 NEW BEST:: SOT 72660 SOS 42424 HAS SOPS 24207 HAS SOUS 7918 HAS SOUPS 4359 WITH SCORE 4401.424
AT ITER 2531 NEW BEST:: SOT 72657 SOS 42386 HAS SOPS 24157 HAS SOUS 7909 HAS SOUPS 4350 WITH SCORE 4392.386
AT ITER 2579 NEW BEST:: SOT 72390 SOS 42011 HAS SOPS 23932 HAS SOUS 7903 HAS SOUPS 4344 WITH SCORE 4386.011
AT ITER 2612 NEW BEST:: SOT 72408 SOS 42144 HAS SOPS 23939 HAS SOUS 7912 HAS SOUPS 4326 WITH SCORE 4368.144
AT ITER 2618 NEW BEST:: SOT 72343 SOS 42044 HAS SOPS 23889 HAS SOUS 7897 HAS SOUPS 4316 WITH SCORE 4358.044
AT ITER 2635 NEW BEST:: SOT 72294 SOS 42450 HAS SOPS 24071 HAS SOUS 7911 HAS SOUPS 4302 WITH SCORE 4344.45
AT ITER 2637 NEW BEST:: SOT 72282 SOS 42422 HAS SOPS 24043 HAS SOUS 7911 HAS SOUPS 4302 WITH SCORE 4344.422
AT ITER 2673 NEW BEST:: SOT 72279 SOS 42431 HAS SOPS 24043 HAS SOUS 7908 HAS SOUPS 4299 WITH SCORE 4341.431
AT ITER 2695 NEW BEST:: SOT 72272 SOS 42419 HAS SOPS 24031 HAS SOUS 7899 HAS SOUPS 4290 WITH SCORE 4332.419
AT ITER 2724 NEW BEST:: SOT 72321 SOS 42489 HAS SOPS 24057 HAS SOUS 7899 HAS SOUPS 4286 WITH SCORE 4328.489
AT ITER 2730 NEW BEST:: SOT 72317 SOS 42485 HAS SOPS 24053 HAS SOUS 7895 HAS SOUPS 4282 WITH SCORE 4324.485
AT ITER 2745 NEW BEST:: SOT 72043 SOS 41762 HAS SOPS 23668 HAS SOUS 7867 HAS SOUPS 4280 WITH SCORE 4321.762
AT ITER 2782 NEW BEST:: SOT 72024 SOS 40436 HAS SOPS 22518 HAS SOUS 7842 HAS SOUPS 4274 WITH SCORE 4314.436
AT ITER 2793 NEW BEST:: SOT 72007 SOS 40448 HAS SOPS 22530 HAS SOUS 7836 HAS SOUPS 4272 WITH SCORE 4312.448
AT ITER 2797 NEW BEST:: SOT 71995 SOS 40431 HAS SOPS 22522 HAS SOUS 7834 HAS SOUPS 4271 WITH SCORE 4311.431
AT ITER 2814 NEW BEST:: SOT 71949 SOS 40322 HAS SOPS 22465 HAS SOUS 7825 HAS SOUPS 4266 WITH SCORE 4306.322
AT ITER 2817 NEW BEST:: SOT 71949 SOS 40322 HAS SOPS 22465 HAS SOUS 7825 HAS SOUPS 4258 WITH SCORE 4298.322
AT ITER 2830 NEW BEST:: SOT 71935 SOS 40164 HAS SOPS 22309 HAS SOUS 7825 HAS SOUPS 4258 WITH SCORE 4298.164
AT ITER 2845 NEW BEST:: SOT 72040 SOS 40303 HAS SOPS 22368 HAS SOUS 7812 HAS SOUPS 4250 WITH SCORE 4290.303
AT ITER 2888 NEW BEST:: SOT 72034 SOS 40311 HAS SOPS 22356 HAS SOUS 7811 HAS SOUPS 4245 WITH SCORE 4285.311
AT ITER 2924 NEW BEST:: SOT 72030 SOS 40143 HAS SOPS 22253 HAS SOUS 7792 HAS SOUPS 4231 WITH SCORE 4271.143
AT ITER 2945 NEW BEST:: SOT 71890 SOS 39497 HAS SOPS 21701 HAS SOUS 7790 HAS SOUPS 4229 WITH SCORE 4268.497
AT ITER 2955 NEW BEST:: SOT 71971 SOS 39578 HAS SOPS 21734 HAS SOUS 7786 HAS SOUPS 4225 WITH SCORE 4264.578
AT ITER 3002 NEW BEST:: SOT 71971 SOS 39592 HAS SOPS 21736 HAS SOUS 7786 HAS SOUPS 4223 WITH SCORE 4262.592
AT ITER 3012 NEW BEST:: SOT 72050 SOS 39681 HAS SOPS 21789 HAS SOUS 7784 HAS SOUPS 4221 WITH SCORE 4260.681
AT ITER 3020 NEW BEST:: SOT 72420 SOS 40425 HAS SOPS 21871 HAS SOUS 7855 HAS SOUPS 4218 WITH SCORE 4258.425
AT ITER 3052 NEW BEST:: SOT 72420 SOS 40419 HAS SOPS 21875 HAS SOUS 7852 HAS SOUPS 4217 WITH SCORE 4257.419
AT ITER 3107 NEW BEST:: SOT 72416 SOS 40410 HAS SOPS 21871 HAS SOUS 7851 HAS SOUPS 4217 WITH SCORE 4257.41
AT ITER 3119 NEW BEST:: SOT 71829 SOS 39098 HAS SOPS 20657 HAS SOUS 7878 HAS SOUPS 4206 WITH SCORE 4245.098
AT ITER 3126 NEW BEST:: SOT 71779 SOS 39003 HAS SOPS 20617 HAS SOUS 7873 HAS SOUPS 4206 WITH SCORE 4245.003
AT ITER 3128 NEW BEST:: SOT 71636 SOS 38779 HAS SOPS 20448 HAS SOUS 7860 HAS SOUPS 4193 WITH SCORE 4231.779
AT ITER 3162 NEW BEST:: SOT 71640 SOS 38760 HAS SOPS 20454 HAS SOUS 7851 HAS SOUPS 4189 WITH SCORE 4227.76
AT ITER 3163 NEW BEST:: SOT 71635 SOS 38750 HAS SOPS 20454 HAS SOUS 7846 HAS SOUPS 4189 WITH SCORE 4227.75
AT ITER 3168 NEW BEST:: SOT 71686 SOS 38560 HAS SOPS 20354 HAS SOUS 7783 HAS SOUPS 4144 WITH SCORE 4182.56
AT ITER 3173 NEW BEST:: SOT 71639 SOS 38511 HAS SOPS 20335 HAS SOUS 7779 HAS SOUPS 4140 WITH SCORE 4178.511
AT ITER 3185 NEW BEST:: SOT 71520 SOS 38472 HAS SOPS 20330 HAS SOUS 7742 HAS SOUPS 4103 WITH SCORE 4141.472
AT ITER 3188 NEW BEST:: SOT 71523 SOS 38460 HAS SOPS 20333 HAS SOUS 7739 HAS SOUPS 4103 WITH SCORE 4141.46
AT ITER 3220 NEW BEST:: SOT 71479 SOS 38400 HAS SOPS 20309 HAS SOUS 7727 HAS SOUPS 4095 WITH SCORE 4133.4
AT ITER 3247 NEW BEST:: SOT 71401 SOS 37614 HAS SOPS 19532 HAS SOUS 7718 HAS SOUPS 4058 WITH SCORE 4095.614
AT ITER 3289 NEW BEST:: SOT 71401 SOS 37614 HAS SOPS 19532 HAS SOUS 7712 HAS SOUPS 4054 WITH SCORE 4091.614
AT ITER 3329 NEW BEST:: SOT 71397 SOS 37617 HAS SOPS 19495 HAS SOUS 7716 HAS SOUPS 4053 WITH SCORE 4090.617
AT ITER 3346 NEW BEST:: SOT 71389 SOS 37601 HAS SOPS 19495 HAS SOUS 7714 HAS SOUPS 4053 WITH SCORE 4090.601
AT ITER 3352 NEW BEST:: SOT 71385 SOS 37587 HAS SOPS 19477 HAS SOUS 7704 HAS SOUPS 4043 WITH SCORE 4080.587
AT ITER 3404 NEW BEST:: SOT 71386 SOS 37538 HAS SOPS 19448 HAS SOUS 7703 HAS SOUPS 4042 WITH SCORE 4079.538
AT ITER 3412 NEW BEST:: SOT 71326 SOS 37443 HAS SOPS 19418 HAS SOUS 7678 HAS SOUPS 4032 WITH SCORE 4069.443
AT ITER 3447 NEW BEST:: SOT 71240 SOS 37275 HAS SOPS 19383 HAS SOUS 7656 HAS SOUPS 4028 WITH SCORE 4065.275
AT ITER 3463 NEW BEST:: SOT 71240 SOS 37277 HAS SOPS 19401 HAS SOUS 7652 HAS SOUPS 4026 WITH SCORE 4063.277
AT ITER 3551 NEW BEST:: SOT 71236 SOS 37269 HAS SOPS 19401 HAS SOUS 7651 HAS SOUPS 4026 WITH SCORE 4063.269
AT ITER 3632 NEW BEST:: SOT 71250 SOS 37297 HAS SOPS 19411 HAS SOUS 7643 HAS SOUPS 4020 WITH SCORE 4057.297
AT ITER 3633 NEW BEST:: SOT 71228 SOS 37289 HAS SOPS 19307 HAS SOUS 7645 HAS SOUPS 4010 WITH SCORE 4047.289
AT ITER 3638 NEW BEST:: SOT 71334 SOS 37481 HAS SOPS 19365 HAS SOUS 7554 HAS SOUPS 3955 WITH SCORE 3992.481
AT ITER 3671 NEW BEST:: SOT 71331 SOS 37477 HAS SOPS 19363 HAS SOUS 7551 HAS SOUPS 3953 WITH SCORE 3990.477
AT ITER 3688 NEW BEST:: SOT 71334 SOS 37449 HAS SOPS 19349 HAS SOUS 7472 HAS SOUPS 3914 WITH SCORE 3951.449
AT ITER 3760 NEW BEST:: SOT 71332 SOS 37455 HAS SOPS 19347 HAS SOUS 7471 HAS SOUPS 3912 WITH SCORE 3949.455
AT ITER 3787 NEW BEST:: SOT 71330 SOS 37417 HAS SOPS 19327 HAS SOUS 7473 HAS SOUPS 3912 WITH SCORE 3949.417
AT ITER 3811 NEW BEST:: SOT 71329 SOS 37416 HAS SOPS 19327 HAS SOUS 7473 HAS SOUPS 3912 WITH SCORE 3949.416
AT ITER 3816 NEW BEST:: SOT 71219 SOS 37186 HAS SOPS 19212 HAS SOUS 7449 HAS SOUPS 3898 WITH SCORE 3935.186
AT ITER 3908 NEW BEST:: SOT 71221 SOS 37171 HAS SOPS 19191 HAS SOUS 7440 HAS SOUPS 3889 WITH SCORE 3926.171
AT ITER 3918 NEW BEST:: SOT 71211 SOS 37115 HAS SOPS 19098 HAS SOUS 7444 HAS SOUPS 3888 WITH SCORE 3925.115
AT ITER 3924 NEW BEST:: SOT 71210 SOS 37109 HAS SOPS 19097 HAS SOUS 7442 HAS SOUPS 3887 WITH SCORE 3924.109
AT ITER 3937 NEW BEST:: SOT 71206 SOS 37100 HAS SOPS 19093 HAS SOUS 7440 HAS SOUPS 3886 WITH SCORE 3923.1
AT ITER 3940 NEW BEST:: SOT 71196 SOS 37082 HAS SOPS 19087 HAS SOUS 7440 HAS SOUPS 3886 WITH SCORE 3923.082
AT ITER 3958 NEW BEST:: SOT 71000 SOS 36693 HAS SOPS 18724 HAS SOUS 7440 HAS SOUPS 3881 WITH SCORE 3917.693
AT ITER 3976 NEW BEST:: SOT 70944 SOS 36637 HAS SOPS 18703 HAS SOUS 7433 HAS SOUPS 3874 WITH SCORE 3910.637
AT ITER 3978 NEW BEST:: SOT 70955 SOS 36648 HAS SOPS 18709 HAS SOUS 7432 HAS SOUPS 3873 WITH SCORE 3909.648
AT ITER 3991 NEW BEST:: SOT 70983 SOS 36704 HAS SOPS 18709 HAS SOUS 7436 HAS SOUPS 3871 WITH SCORE 3907.704
AT ITER 4008 NEW BEST:: SOT 70983 SOS 36704 HAS SOPS 18709 HAS SOUS 7433 HAS SOUPS 3869 WITH SCORE 3905.704
AT ITER 4022 NEW BEST:: SOT 70950 SOS 36638 HAS SOPS 18687 HAS SOUS 7422 HAS SOUPS 3869 WITH SCORE 3905.638
AT ITER 4097 NEW BEST:: SOT 70938 SOS 36626 HAS SOPS 18675 HAS SOUS 7407 HAS SOUPS 3861 WITH SCORE 3897.626
AT ITER 4103 NEW BEST:: SOT 70966 SOS 36682 HAS SOPS 18691 HAS SOUS 7410 HAS SOUPS 3858 WITH SCORE 3894.682
AT ITER 4112 NEW BEST:: SOT 70962 SOS 36674 HAS SOPS 18691 HAS SOUS 7409 HAS SOUPS 3858 WITH SCORE 3894.674
AT ITER 4117 NEW BEST:: SOT 70950 SOS 36678 HAS SOPS 18701 HAS SOUS 7407 HAS SOUPS 3856 WITH SCORE 3892.678
AT ITER 4129 NEW BEST:: SOT 70947 SOS 36675 HAS SOPS 18701 HAS SOUS 7401 HAS SOUPS 3850 WITH SCORE 3886.675
AT ITER 4135 NEW BEST:: SOT 71017 SOS 36509 HAS SOPS 18683 HAS SOUS 7373 HAS SOUPS 3846 WITH SCORE 3882.509
AT ITER 4144 NEW BEST:: SOT 71018 SOS 36476 HAS SOPS 18655 HAS SOUS 7372 HAS SOUPS 3846 WITH SCORE 3882.476
AT ITER 4200 NEW BEST:: SOT 70966 SOS 36412 HAS SOPS 18621 HAS SOUS 7367 HAS SOUPS 3845 WITH SCORE 3881.412
AT ITER 4210 NEW BEST:: SOT 70994 SOS 36468 HAS SOPS 18641 HAS SOUS 7367 HAS SOUPS 3841 WITH SCORE 3877.468
AT ITER 4225 NEW BEST:: SOT 70823 SOS 36126 HAS SOPS 18527 HAS SOUS 7334 HAS SOUPS 3841 WITH SCORE 3877.126
AT ITER 4239 NEW BEST:: SOT 70848 SOS 36149 HAS SOPS 18578 HAS SOUS 7289 HAS SOUPS 3816 WITH SCORE 3852.149
AT ITER 4259 NEW BEST:: SOT 70868 SOS 36186 HAS SOPS 18591 HAS SOUS 7287 HAS SOUPS 3813 WITH SCORE 3849.186
AT ITER 4260 NEW BEST:: SOT 70948 SOS 36298 HAS SOPS 18639 HAS SOUS 7280 HAS SOUPS 3803 WITH SCORE 3839.298
AT ITER 4266 NEW BEST:: SOT 70988 SOS 36368 HAS SOPS 18659 HAS SOUS 7200 HAS SOUPS 3753 WITH SCORE 3789.368
AT ITER 4270 NEW BEST:: SOT 70919 SOS 36266 HAS SOPS 18617 HAS SOUS 7193 HAS SOUPS 3752 WITH SCORE 3788.266
AT ITER 4287 NEW BEST:: SOT 70919 SOS 36266 HAS SOPS 18617 HAS SOUS 7184 HAS SOUPS 3746 WITH SCORE 3782.266
AT ITER 4301 NEW BEST:: SOT 71061 SOS 36329 HAS SOPS 18690 HAS SOUS 7132 HAS SOUPS 3708 WITH SCORE 3744.329
AT ITER 4338 NEW BEST:: SOT 71066 SOS 36317 HAS SOPS 18667 HAS SOUS 7133 HAS SOUPS 3705 WITH SCORE 3741.317
AT ITER 4386 NEW BEST:: SOT 71031 SOS 36251 HAS SOPS 18637 HAS SOUS 7134 HAS SOUPS 3704 WITH SCORE 3740.251
AT ITER 4458 NEW BEST:: SOT 70779 SOS 35964 HAS SOPS 18462 HAS SOUS 7109 HAS SOUPS 3679 WITH SCORE 3714.964
AT ITER 4476 NEW BEST:: SOT 70746 SOS 35913 HAS SOPS 18426 HAS SOUS 7106 HAS SOUPS 3676 WITH SCORE 3711.913
AT ITER 4494 NEW BEST:: SOT 70724 SOS 35873 HAS SOPS 18412 HAS SOUS 7104 HAS SOUPS 3676 WITH SCORE 3711.873
AT ITER 4514 NEW BEST:: SOT 70718 SOS 35849 HAS SOPS 18404 HAS SOUS 7100 HAS SOUPS 3674 WITH SCORE 3709.849
AT ITER 4643 NEW BEST:: SOT 70678 SOS 35809 HAS SOPS 18389 HAS SOUS 7095 HAS SOUPS 3669 WITH SCORE 3704.809
AT ITER 4646 NEW BEST:: SOT 70663 SOS 35547 HAS SOPS 18159 HAS SOUS 7088 HAS SOUPS 3666 WITH SCORE 3701.547
AT ITER 4663 NEW BEST:: SOT 70680 SOS 35568 HAS SOPS 18170 HAS SOUS 7087 HAS SOUPS 3665 WITH SCORE 3700.568
AT ITER 4697 NEW BEST:: SOT 70674 SOS 35562 HAS SOPS 18170 HAS SOUS 7087 HAS SOUPS 3665 WITH SCORE 3700.562
AT ITER 4731 NEW BEST:: SOT 70690 SOS 35520 HAS SOPS 18232 HAS SOUS 7074 HAS SOUPS 3665 WITH SCORE 3700.52
AT ITER 4757 NEW BEST:: SOT 70627 SOS 35066 HAS SOPS 17816 HAS SOUS 7068 HAS SOUPS 3651 WITH SCORE 3686.066
AT ITER 4768 NEW BEST:: SOT 70621 SOS 35060 HAS SOPS 17810 HAS SOUS 7068 HAS SOUPS 3651 WITH SCORE 3686.06
AT ITER 4778 NEW BEST:: SOT 70603 SOS 35042 HAS SOPS 17792 HAS SOUS 7068 HAS SOUPS 3651 WITH SCORE 3686.042
AT ITER 4783 NEW BEST:: SOT 70613 SOS 35018 HAS SOPS 17768 HAS SOUS 7068 HAS SOUPS 3651 WITH SCORE 3686.018
AT ITER 4840 NEW BEST:: SOT 70439 SOS 34680 HAS SOPS 17625 HAS SOUS 7039 HAS SOUPS 3630 WITH SCORE 3664.68
AT ITER 4930 NEW BEST:: SOT 70415 SOS 34656 HAS SOPS 17601 HAS SOUS 7030 HAS SOUPS 3625 WITH SCORE 3659.656
AT ITER 4962 NEW BEST:: SOT 70350 SOS 34551 HAS SOPS 17621 HAS SOUS 7026 HAS SOUPS 3621 WITH SCORE 3655.551
AT ITER 4966 NEW BEST:: SOT 70341 SOS 34522 HAS SOPS 17504 HAS SOUS 7015 HAS SOUPS 3599 WITH SCORE 3633.522
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-04a-CTLFireability-00 (EX( ( ( (AX( ((potential((tk(P38)>=1) & (tk(P123)>=1)))))) | ((potential((tk(P4)>=1)))) ) | (AG( (! ((potential((tk(P35)>=1) & (tk(P81)>=1))))))) )))
PROPERTY: DLCround-PT-04a-CTLFireability-01 ( (EF( (! (EF( ((potential((tk(P45)>=1) & (tk(P95)>=1))))))))) | (AG( (EG( ((potential((tk(P128)>=1) & (tk(P38)>=1)))))))) )
PROPERTY: DLCround-PT-04a-CTLFireability-02 ( (AG( ( ( ((potential((tk(P77)>=1) & (tk(P115)>=1)))) | (! ((potential((tk(P16)>=1) & (tk(P108)>=1))))) ) | ( (! ((potential((tk(P47)>=1) & (tk(P124)>=1))))) | ( ((potential((tk(P54)>=1) & (tk(P97)>=1)))) & ((potential((tk(P15)>=1)))) ) ) ))) | ((potential((tk(P5)>=1) & (tk(P88)>=1)))) )
PROPERTY: DLCround-PT-04a-CTLFireability-03 (EF( (EF( (AX( ((potential((tk(P68)>=1) & (tk(P139)>=1))))))))))
PROPERTY: DLCround-PT-04a-CTLFireability-04 (AX( (EF( (AX( ((potential((tk(P78)>=1))))))))))
PROPERTY: DLCround-PT-04a-CTLFireability-05 (EF( (! (! (AF( ((potential((tk(P75)>=1))))))))))
PROPERTY: DLCround-PT-04a-CTLFireability-06 (AG( (! (AF( ( ((potential((tk(P95)>=1) & (tk(P46)>=1)))) & ((potential((tk(P90)>=1) & (tk(P48)>=1)))) ))))))
PROPERTY: DLCround-PT-04a-CTLFireability-07 ( (EF( (EG( ( ((potential((tk(P125)>=1) & (tk(P58)>=1)))) & ((potential((tk(P57)>=1) & (tk(P103)>=1)))) ))))) | ((potential((tk(P79)>=1) & (tk(P139)>=1)))) )
PROPERTY: DLCround-PT-04a-CTLFireability-08 (! (EF( ( ( (! ((potential((tk(P84)>=1) & (tk(P38)>=1))))) & ( ((potential((tk(P67)>=1) & (tk(P132)>=1)))) & ((potential((tk(P29)>=1) & (tk(P103)>=1)))) ) ) & ( ( ((potential((tk(P58)>=1) & (tk(P98)>=1)))) & ((potential((tk(P107)>=1) & (tk(P66)>=1)))) ) | ( ((potential((tk(P47)>=1) & (tk(P95)>=1)))) | ((potential((tk(P34)>=1) & (tk(P120)>=1)))) ) ) ))))
PROPERTY: DLCround-PT-04a-CTLFireability-09 (EF( (AF( (AX( ((potential((tk(P67)>=1) & (tk(P107)>=1))))))))))
PROPERTY: DLCround-PT-04a-CTLFireability-10 (AF( (EF( (EG( ((potential((tk(P44)>=1) & (tk(P124)>=1))))))))))
PROPERTY: DLCround-PT-04a-CTLFireability-11 (EG( (EF( ( ( ((potential((tk(P22)>=1) & (tk(P92)>=1)))) & ((potential((tk(P43)>=1)))) ) & ( ((potential((tk(P85)>=1) & (tk(P36)>=1)))) & ((potential((tk(P47)>=1) & (tk(P95)>=1)))) ) )))))
PROPERTY: DLCround-PT-04a-CTLFireability-12 (AG( (EF( (! ( ((potential((tk(P65)>=1)))) | ((potential((tk(P73)>=1)))) ))))))
PROPERTY: DLCround-PT-04a-CTLFireability-13 (EX( (EX( (AF( ((potential((tk(P62)>=1) & (tk(P107)>=1))))))))))
PROPERTY: DLCround-PT-04a-CTLFireability-14 (AG( (AX( (! ((potential((tk(P75)>=1)))))))))
PROPERTY: DLCround-PT-04a-CTLFireability-15 (AG( ( (AF( ( ((potential((tk(P39)>=1) & (tk(P123)>=1)))) | ((potential((tk(P8)>=1) & (tk(P81)>=1)))) ))) & (! ( ((potential((tk(P42)>=1) & (tk(P127)>=1)))) | ( ((potential((tk(P15)>=1) & (tk(P107)>=1)))) & ((potential((tk(P38)>=1)))) ) )) )))
FORMULA DLCround-PT-04a-CTLFireability-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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="DLCround-PT-04a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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