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.r207-tajo-159033469200276.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 ShieldIIPt-PT-004B, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469200276
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 3.0K May 14 00:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 14 00:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 18:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 18:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 13:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 08:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 08:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 67K May 12 20:42 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 ShieldIIPt-PT-004B-CTLFireability-00
FORMULA_NAME ShieldIIPt-PT-004B-CTLFireability-01
FORMULA_NAME ShieldIIPt-PT-004B-CTLFireability-02
FORMULA_NAME ShieldIIPt-PT-004B-CTLFireability-03
FORMULA_NAME ShieldIIPt-PT-004B-CTLFireability-04
FORMULA_NAME ShieldIIPt-PT-004B-CTLFireability-05
FORMULA_NAME ShieldIIPt-PT-004B-CTLFireability-06
FORMULA_NAME ShieldIIPt-PT-004B-CTLFireability-07
FORMULA_NAME ShieldIIPt-PT-004B-CTLFireability-08
FORMULA_NAME ShieldIIPt-PT-004B-CTLFireability-09
FORMULA_NAME ShieldIIPt-PT-004B-CTLFireability-10
FORMULA_NAME ShieldIIPt-PT-004B-CTLFireability-11
FORMULA_NAME ShieldIIPt-PT-004B-CTLFireability-12
FORMULA_NAME ShieldIIPt-PT-004B-CTLFireability-13
FORMULA_NAME ShieldIIPt-PT-004B-CTLFireability-14
FORMULA_NAME ShieldIIPt-PT-004B-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590439220079

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 004B
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: 283 places, 263 transitions, 654 arcs.
AT ITER 0 NEW BEST:: SOT 41710 SOS 13012 HAS SOPS 13012 HAS SOUS 11807 HAS SOUPS 11807 WITH SCORE 11820.012
AT ITER 10 NEW BEST:: SOT 41710 SOS 13010 HAS SOPS 13010 HAS SOUS 11805 HAS SOUPS 11805 WITH SCORE 11818.01
AT ITER 16 NEW BEST:: SOT 41709 SOS 12990 HAS SOPS 12990 HAS SOUS 11800 HAS SOUPS 11800 WITH SCORE 11812.99
AT ITER 18 NEW BEST:: SOT 41709 SOS 12975 HAS SOPS 12975 HAS SOUS 11785 HAS SOUPS 11785 WITH SCORE 11797.975
AT ITER 19 NEW BEST:: SOT 41677 SOS 12959 HAS SOPS 12959 HAS SOUS 11769 HAS SOUPS 11769 WITH SCORE 11781.959
AT ITER 46 NEW BEST:: SOT 41676 SOS 12957 HAS SOPS 12957 HAS SOUS 11767 HAS SOUPS 11767 WITH SCORE 11779.957
AT ITER 50 NEW BEST:: SOT 41647 SOS 12891 HAS SOPS 12891 HAS SOUS 11701 HAS SOUPS 11701 WITH SCORE 11713.891
AT ITER 54 NEW BEST:: SOT 41647 SOS 12872 HAS SOPS 12872 HAS SOUS 11682 HAS SOUPS 11682 WITH SCORE 11694.872
AT ITER 64 NEW BEST:: SOT 41659 SOS 12896 HAS SOPS 12896 HAS SOUS 11647 HAS SOUPS 11647 WITH SCORE 11659.896
AT ITER 65 NEW BEST:: SOT 41609 SOS 12772 HAS SOPS 12772 HAS SOUS 11544 HAS SOUPS 11544 WITH SCORE 11556.772
AT ITER 94 NEW BEST:: SOT 41609 SOS 12738 HAS SOPS 12738 HAS SOUS 11544 HAS SOUPS 11544 WITH SCORE 11556.738
AT ITER 123 NEW BEST:: SOT 41608 SOS 12723 HAS SOPS 12723 HAS SOUS 11529 HAS SOUPS 11529 WITH SCORE 11541.723
AT ITER 126 NEW BEST:: SOT 41577 SOS 12718 HAS SOPS 12718 HAS SOUS 11499 HAS SOUPS 11499 WITH SCORE 11511.718
AT ITER 143 NEW BEST:: SOT 41577 SOS 12719 HAS SOPS 12719 HAS SOUS 11494 HAS SOUPS 11494 WITH SCORE 11506.719
AT ITER 149 NEW BEST:: SOT 41546 SOS 12688 HAS SOPS 12688 HAS SOUS 11462 HAS SOUPS 11462 WITH SCORE 11474.688
AT ITER 155 NEW BEST:: SOT 41546 SOS 12679 HAS SOPS 12679 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11431.679
AT ITER 158 NEW BEST:: SOT 41565 SOS 12688 HAS SOPS 12688 HAS SOUS 11409 HAS SOUPS 11409 WITH SCORE 11421.688
AT ITER 160 NEW BEST:: SOT 41565 SOS 12681 HAS SOPS 12681 HAS SOUS 11402 HAS SOUPS 11402 WITH SCORE 11414.681
AT ITER 194 NEW BEST:: SOT 41565 SOS 12592 HAS SOPS 12592 HAS SOUS 11402 HAS SOUPS 11402 WITH SCORE 11414.592
AT ITER 213 NEW BEST:: SOT 41564 SOS 12590 HAS SOPS 12590 HAS SOUS 11400 HAS SOUPS 11400 WITH SCORE 11412.59
AT ITER 214 NEW BEST:: SOT 41564 SOS 12582 HAS SOPS 12582 HAS SOUS 11400 HAS SOUPS 11400 WITH SCORE 11412.582
AT ITER 228 NEW BEST:: SOT 41535 SOS 12581 HAS SOPS 12581 HAS SOUS 11399 HAS SOUPS 11399 WITH SCORE 11411.581
AT ITER 231 NEW BEST:: SOT 41528 SOS 12567 HAS SOPS 12567 HAS SOUS 11385 HAS SOUPS 11385 WITH SCORE 11397.567
AT ITER 250 NEW BEST:: SOT 41508 SOS 12527 HAS SOPS 12527 HAS SOUS 11345 HAS SOUPS 11345 WITH SCORE 11357.527
AT ITER 280 NEW BEST:: SOT 41480 SOS 12487 HAS SOPS 12487 HAS SOUS 11317 HAS SOUPS 11317 WITH SCORE 11329.487
AT ITER 284 NEW BEST:: SOT 41461 SOS 12441 HAS SOPS 12441 HAS SOUS 11271 HAS SOUPS 11271 WITH SCORE 11283.441
AT ITER 290 NEW BEST:: SOT 41350 SOS 12316 HAS SOPS 12316 HAS SOUS 11133 HAS SOUPS 11133 WITH SCORE 11145.316
AT ITER 332 NEW BEST:: SOT 41326 SOS 12291 HAS SOPS 12291 HAS SOUS 11108 HAS SOUPS 11108 WITH SCORE 11120.291
AT ITER 334 NEW BEST:: SOT 41350 SOS 12311 HAS SOPS 12311 HAS SOUS 11103 HAS SOUPS 11103 WITH SCORE 11115.311
AT ITER 337 NEW BEST:: SOT 41362 SOS 12216 HAS SOPS 12216 HAS SOUS 11094 HAS SOUPS 11094 WITH SCORE 11106.216
AT ITER 344 NEW BEST:: SOT 41362 SOS 12216 HAS SOPS 12216 HAS SOUS 11086 HAS SOUPS 11086 WITH SCORE 11098.216
AT ITER 353 NEW BEST:: SOT 41339 SOS 12251 HAS SOPS 12251 HAS SOUS 11085 HAS SOUPS 11085 WITH SCORE 11097.251
AT ITER 364 NEW BEST:: SOT 41272 SOS 12322 HAS SOPS 12322 HAS SOUS 11023 HAS SOUPS 11023 WITH SCORE 11035.322
AT ITER 388 NEW BEST:: SOT 41264 SOS 12271 HAS SOPS 12271 HAS SOUS 11015 HAS SOUPS 11015 WITH SCORE 11027.271
AT ITER 398 NEW BEST:: SOT 41283 SOS 12273 HAS SOPS 12273 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11010.273
AT ITER 404 NEW BEST:: SOT 41283 SOS 12272 HAS SOPS 12272 HAS SOUS 10997 HAS SOUPS 10997 WITH SCORE 11009.272
AT ITER 406 NEW BEST:: SOT 41318 SOS 12305 HAS SOPS 12305 HAS SOUS 10996 HAS SOUPS 10996 WITH SCORE 11008.305
AT ITER 408 NEW BEST:: SOT 41346 SOS 12333 HAS SOPS 12333 HAS SOUS 10990 HAS SOUPS 10990 WITH SCORE 11002.333
AT ITER 466 NEW BEST:: SOT 41343 SOS 12327 HAS SOPS 12327 HAS SOUS 10977 HAS SOUPS 10977 WITH SCORE 10989.327
AT ITER 471 NEW BEST:: SOT 41334 SOS 12231 HAS SOPS 12231 HAS SOUS 10914 HAS SOUPS 10914 WITH SCORE 10926.231
AT ITER 480 NEW BEST:: SOT 41334 SOS 12229 HAS SOPS 12229 HAS SOUS 10912 HAS SOUPS 10912 WITH SCORE 10924.229
AT ITER 493 NEW BEST:: SOT 41339 SOS 12240 HAS SOPS 12240 HAS SOUS 10906 HAS SOUPS 10906 WITH SCORE 10918.24
AT ITER 516 NEW BEST:: SOT 41318 SOS 12064 HAS SOPS 12064 HAS SOUS 10844 HAS SOUPS 10844 WITH SCORE 10856.064
AT ITER 522 NEW BEST:: SOT 41355 SOS 11976 HAS SOPS 11976 HAS SOUS 10756 HAS SOUPS 10756 WITH SCORE 10767.976
AT ITER 536 NEW BEST:: SOT 41348 SOS 11955 HAS SOPS 11955 HAS SOUS 10735 HAS SOUPS 10735 WITH SCORE 10746.955
AT ITER 546 NEW BEST:: SOT 41348 SOS 11952 HAS SOPS 11952 HAS SOUS 10732 HAS SOUPS 10732 WITH SCORE 10743.952
AT ITER 556 NEW BEST:: SOT 41338 SOS 11937 HAS SOPS 11937 HAS SOUS 10717 HAS SOUPS 10717 WITH SCORE 10728.937
AT ITER 563 NEW BEST:: SOT 41338 SOS 11949 HAS SOPS 11949 HAS SOUS 10712 HAS SOUPS 10712 WITH SCORE 10723.949
AT ITER 569 NEW BEST:: SOT 41367 SOS 11934 HAS SOPS 11934 HAS SOUS 10697 HAS SOUPS 10697 WITH SCORE 10708.934
AT ITER 570 NEW BEST:: SOT 41367 SOS 11933 HAS SOPS 11933 HAS SOUS 10696 HAS SOUPS 10696 WITH SCORE 10707.933
AT ITER 572 NEW BEST:: SOT 41322 SOS 11829 HAS SOPS 11829 HAS SOUS 10637 HAS SOUPS 10637 WITH SCORE 10648.829
AT ITER 576 NEW BEST:: SOT 41295 SOS 11775 HAS SOPS 11775 HAS SOUS 10610 HAS SOUPS 10610 WITH SCORE 10621.775
AT ITER 579 NEW BEST:: SOT 41236 SOS 11658 HAS SOPS 11658 HAS SOUS 10552 HAS SOUPS 10552 WITH SCORE 10563.658
AT ITER 596 NEW BEST:: SOT 41186 SOS 11642 HAS SOPS 11642 HAS SOUS 10536 HAS SOUPS 10536 WITH SCORE 10547.642
AT ITER 598 NEW BEST:: SOT 41170 SOS 11554 HAS SOPS 11554 HAS SOUS 10448 HAS SOUPS 10448 WITH SCORE 10459.554
AT ITER 613 NEW BEST:: SOT 41193 SOS 11520 HAS SOPS 11520 HAS SOUS 10431 HAS SOUPS 10431 WITH SCORE 10442.52
AT ITER 640 NEW BEST:: SOT 41191 SOS 11486 HAS SOPS 11486 HAS SOUS 10421 HAS SOUPS 10421 WITH SCORE 10432.486
AT ITER 642 NEW BEST:: SOT 41193 SOS 11431 HAS SOPS 11431 HAS SOUS 10401 HAS SOUPS 10401 WITH SCORE 10412.431
AT ITER 654 NEW BEST:: SOT 41193 SOS 11425 HAS SOPS 11425 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10406.425
AT ITER 665 NEW BEST:: SOT 41193 SOS 11418 HAS SOPS 11418 HAS SOUS 10388 HAS SOUPS 10388 WITH SCORE 10399.418
AT ITER 670 NEW BEST:: SOT 41171 SOS 11414 HAS SOPS 11414 HAS SOUS 10384 HAS SOUPS 10384 WITH SCORE 10395.414
AT ITER 677 NEW BEST:: SOT 41196 SOS 11364 HAS SOPS 11364 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10378.364
AT ITER 711 NEW BEST:: SOT 41185 SOS 11380 HAS SOPS 11380 HAS SOUS 10345 HAS SOUPS 10345 WITH SCORE 10356.38
AT ITER 714 NEW BEST:: SOT 41135 SOS 11295 HAS SOPS 11295 HAS SOUS 10310 HAS SOUPS 10310 WITH SCORE 10321.295
AT ITER 730 NEW BEST:: SOT 41132 SOS 11292 HAS SOPS 11292 HAS SOUS 10307 HAS SOUPS 10307 WITH SCORE 10318.292
AT ITER 733 NEW BEST:: SOT 41102 SOS 11284 HAS SOPS 11284 HAS SOUS 10277 HAS SOUPS 10277 WITH SCORE 10288.284
AT ITER 735 NEW BEST:: SOT 41061 SOS 11140 HAS SOPS 11140 HAS SOUS 10179 HAS SOUPS 10179 WITH SCORE 10190.14
AT ITER 736 NEW BEST:: SOT 41064 SOS 11146 HAS SOPS 11146 HAS SOUS 10165 HAS SOUPS 10165 WITH SCORE 10176.146
AT ITER 737 NEW BEST:: SOT 41058 SOS 11127 HAS SOPS 11127 HAS SOUS 10159 HAS SOUPS 10159 WITH SCORE 10170.127
AT ITER 747 NEW BEST:: SOT 41040 SOS 11121 HAS SOPS 11121 HAS SOUS 10141 HAS SOUPS 10141 WITH SCORE 10152.121
AT ITER 750 NEW BEST:: SOT 41040 SOS 11121 HAS SOPS 11121 HAS SOUS 10134 HAS SOUPS 10134 WITH SCORE 10145.121
AT ITER 759 NEW BEST:: SOT 41040 SOS 11119 HAS SOPS 11119 HAS SOUS 10132 HAS SOUPS 10132 WITH SCORE 10143.119
AT ITER 760 NEW BEST:: SOT 41015 SOS 11119 HAS SOPS 11119 HAS SOUS 10107 HAS SOUPS 10107 WITH SCORE 10118.119
AT ITER 773 NEW BEST:: SOT 41018 SOS 11109 HAS SOPS 11109 HAS SOUS 10105 HAS SOUPS 10105 WITH SCORE 10116.109
AT ITER 777 NEW BEST:: SOT 41038 SOS 11118 HAS SOPS 11118 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10105.118
AT ITER 779 NEW BEST:: SOT 41038 SOS 11075 HAS SOPS 11075 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10105.075
AT ITER 809 NEW BEST:: SOT 41038 SOS 11071 HAS SOPS 11071 HAS SOUS 10090 HAS SOUPS 10090 WITH SCORE 10101.071
AT ITER 812 NEW BEST:: SOT 41048 SOS 11029 HAS SOPS 11029 HAS SOUS 10070 HAS SOUPS 10070 WITH SCORE 10081.029
AT ITER 853 NEW BEST:: SOT 41028 SOS 10956 HAS SOPS 10956 HAS SOUS 10023 HAS SOUPS 10023 WITH SCORE 10033.956
AT ITER 863 NEW BEST:: SOT 41023 SOS 10931 HAS SOPS 10931 HAS SOUS 10013 HAS SOUPS 10013 WITH SCORE 10023.931
AT ITER 885 NEW BEST:: SOT 41006 SOS 11024 HAS SOPS 11024 HAS SOUS 9999 HAS SOUPS 9999 WITH SCORE 10010.024
AT ITER 892 NEW BEST:: SOT 41006 SOS 11022 HAS SOPS 11022 HAS SOUS 9997 HAS SOUPS 9997 WITH SCORE 10008.022
AT ITER 898 NEW BEST:: SOT 40999 SOS 11008 HAS SOPS 11008 HAS SOUS 9990 HAS SOUPS 9990 WITH SCORE 10001.008
AT ITER 914 NEW BEST:: SOT 40950 SOS 11008 HAS SOPS 11008 HAS SOUS 9989 HAS SOUPS 9989 WITH SCORE 10000.008
AT ITER 946 NEW BEST:: SOT 40950 SOS 10990 HAS SOPS 10990 HAS SOUS 9989 HAS SOUPS 9989 WITH SCORE 9999.99
AT ITER 954 NEW BEST:: SOT 40950 SOS 10960 HAS SOPS 10960 HAS SOUS 9959 HAS SOUPS 9959 WITH SCORE 9969.96
AT ITER 957 NEW BEST:: SOT 40942 SOS 10944 HAS SOPS 10944 HAS SOUS 9951 HAS SOUPS 9951 WITH SCORE 9961.944
AT ITER 962 NEW BEST:: SOT 40904 SOS 10906 HAS SOPS 10906 HAS SOUS 9913 HAS SOUPS 9913 WITH SCORE 9923.906
AT ITER 972 NEW BEST:: SOT 40917 SOS 10889 HAS SOPS 10889 HAS SOUS 9911 HAS SOUPS 9911 WITH SCORE 9921.889
AT ITER 989 NEW BEST:: SOT 40891 SOS 10892 HAS SOPS 10892 HAS SOUS 9899 HAS SOUPS 9899 WITH SCORE 9909.892
AT ITER 1001 NEW BEST:: SOT 40890 SOS 10889 HAS SOPS 10889 HAS SOUS 9898 HAS SOUPS 9898 WITH SCORE 9908.889
AT ITER 1033 NEW BEST:: SOT 40886 SOS 10885 HAS SOPS 10885 HAS SOUS 9894 HAS SOUPS 9894 WITH SCORE 9904.885
AT ITER 1034 NEW BEST:: SOT 40864 SOS 10872 HAS SOPS 10872 HAS SOUS 9872 HAS SOUPS 9872 WITH SCORE 9882.872
AT ITER 1040 NEW BEST:: SOT 40864 SOS 10868 HAS SOPS 10868 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9809.868
AT ITER 1041 NEW BEST:: SOT 40840 SOS 10820 HAS SOPS 10820 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9809.82
AT ITER 1067 NEW BEST:: SOT 40846 SOS 10754 HAS SOPS 10754 HAS SOUS 9738 HAS SOUPS 9738 WITH SCORE 9748.754
AT ITER 1078 NEW BEST:: SOT 40846 SOS 10743 HAS SOPS 10743 HAS SOUS 9727 HAS SOUPS 9727 WITH SCORE 9737.743
AT ITER 1085 NEW BEST:: SOT 40828 SOS 10706 HAS SOPS 10706 HAS SOUS 9690 HAS SOUPS 9690 WITH SCORE 9700.706
AT ITER 1087 NEW BEST:: SOT 40842 SOS 10702 HAS SOPS 10702 HAS SOUS 9682 HAS SOUPS 9682 WITH SCORE 9692.702
AT ITER 1110 NEW BEST:: SOT 40850 SOS 10674 HAS SOPS 10674 HAS SOUS 9665 HAS SOUPS 9665 WITH SCORE 9675.674
AT ITER 1112 NEW BEST:: SOT 40867 SOS 10675 HAS SOPS 10675 HAS SOUS 9648 HAS SOUPS 9648 WITH SCORE 9658.675
AT ITER 1121 NEW BEST:: SOT 40853 SOS 10647 HAS SOPS 10647 HAS SOUS 9620 HAS SOUPS 9620 WITH SCORE 9630.647
AT ITER 1127 NEW BEST:: SOT 40848 SOS 10637 HAS SOPS 10637 HAS SOUS 9604 HAS SOUPS 9604 WITH SCORE 9614.637
AT ITER 1128 NEW BEST:: SOT 40844 SOS 10629 HAS SOPS 10629 HAS SOUS 9597 HAS SOUPS 9597 WITH SCORE 9607.629
AT ITER 1136 NEW BEST:: SOT 40830 SOS 10615 HAS SOPS 10615 HAS SOUS 9597 HAS SOUPS 9597 WITH SCORE 9607.615
AT ITER 1137 NEW BEST:: SOT 40824 SOS 10603 HAS SOPS 10603 HAS SOUS 9581 HAS SOUPS 9581 WITH SCORE 9591.603
AT ITER 1143 NEW BEST:: SOT 40802 SOS 10544 HAS SOPS 10544 HAS SOUS 9516 HAS SOUPS 9516 WITH SCORE 9526.544
AT ITER 1159 NEW BEST:: SOT 40787 SOS 10541 HAS SOPS 10541 HAS SOUS 9513 HAS SOUPS 9513 WITH SCORE 9523.541
AT ITER 1160 NEW BEST:: SOT 40782 SOS 10545 HAS SOPS 10545 HAS SOUS 9509 HAS SOUPS 9509 WITH SCORE 9519.545
AT ITER 1181 NEW BEST:: SOT 40782 SOS 10543 HAS SOPS 10543 HAS SOUS 9508 HAS SOUPS 9508 WITH SCORE 9518.543
AT ITER 1215 NEW BEST:: SOT 40796 SOS 10546 HAS SOPS 10546 HAS SOUS 9507 HAS SOUPS 9507 WITH SCORE 9517.546
AT ITER 1221 NEW BEST:: SOT 40796 SOS 10541 HAS SOPS 10541 HAS SOUS 9502 HAS SOUPS 9502 WITH SCORE 9512.541
AT ITER 1234 NEW BEST:: SOT 40796 SOS 10541 HAS SOPS 10541 HAS SOUS 9485 HAS SOUPS 9485 WITH SCORE 9495.541
AT ITER 1238 NEW BEST:: SOT 40796 SOS 10521 HAS SOPS 10521 HAS SOUS 9465 HAS SOUPS 9465 WITH SCORE 9475.521
AT ITER 1243 NEW BEST:: SOT 40784 SOS 10460 HAS SOPS 10460 HAS SOUS 9441 HAS SOUPS 9441 WITH SCORE 9451.46
AT ITER 1244 NEW BEST:: SOT 40780 SOS 10390 HAS SOPS 10390 HAS SOUS 9440 HAS SOUPS 9440 WITH SCORE 9450.39
AT ITER 1264 NEW BEST:: SOT 40762 SOS 10362 HAS SOPS 10362 HAS SOUS 9408 HAS SOUPS 9408 WITH SCORE 9418.362
AT ITER 1276 NEW BEST:: SOT 40781 SOS 10365 HAS SOPS 10365 HAS SOUS 9346 HAS SOUPS 9346 WITH SCORE 9356.365
AT ITER 1284 NEW BEST:: SOT 40765 SOS 10333 HAS SOPS 10333 HAS SOUS 9336 HAS SOUPS 9336 WITH SCORE 9346.333
AT ITER 1304 NEW BEST:: SOT 40736 SOS 10275 HAS SOPS 10275 HAS SOUS 9278 HAS SOUPS 9278 WITH SCORE 9288.275
AT ITER 1309 NEW BEST:: SOT 40715 SOS 10233 HAS SOPS 10233 HAS SOUS 9252 HAS SOUPS 9252 WITH SCORE 9262.233
AT ITER 1330 NEW BEST:: SOT 40734 SOS 10213 HAS SOPS 10213 HAS SOUS 9250 HAS SOUPS 9250 WITH SCORE 9260.213
AT ITER 1333 NEW BEST:: SOT 40715 SOS 10175 HAS SOPS 10175 HAS SOUS 9187 HAS SOUPS 9187 WITH SCORE 9197.175
AT ITER 1338 NEW BEST:: SOT 40706 SOS 10166 HAS SOPS 10166 HAS SOUS 9176 HAS SOUPS 9176 WITH SCORE 9186.166
AT ITER 1361 NEW BEST:: SOT 40691 SOS 10114 HAS SOPS 10114 HAS SOUS 9132 HAS SOUPS 9132 WITH SCORE 9142.114
AT ITER 1387 NEW BEST:: SOT 40687 SOS 10102 HAS SOPS 10102 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9130.102
AT ITER 1391 NEW BEST:: SOT 40685 SOS 10100 HAS SOPS 10100 HAS SOUS 9118 HAS SOUPS 9118 WITH SCORE 9128.1
AT ITER 1400 NEW BEST:: SOT 40665 SOS 10093 HAS SOPS 10093 HAS SOUS 9111 HAS SOUPS 9111 WITH SCORE 9121.093
AT ITER 1405 NEW BEST:: SOT 40665 SOS 10075 HAS SOPS 10075 HAS SOUS 9102 HAS SOUPS 9102 WITH SCORE 9112.075
AT ITER 1422 NEW BEST:: SOT 40666 SOS 10062 HAS SOPS 10062 HAS SOUS 9089 HAS SOUPS 9089 WITH SCORE 9099.062
AT ITER 1428 NEW BEST:: SOT 40658 SOS 10054 HAS SOPS 10054 HAS SOUS 9081 HAS SOUPS 9081 WITH SCORE 9091.054
AT ITER 1438 NEW BEST:: SOT 40658 SOS 10053 HAS SOPS 10053 HAS SOUS 9080 HAS SOUPS 9080 WITH SCORE 9090.053
AT ITER 1452 NEW BEST:: SOT 40656 SOS 10049 HAS SOPS 10049 HAS SOUS 9078 HAS SOUPS 9078 WITH SCORE 9088.049
AT ITER 1489 NEW BEST:: SOT 40674 SOS 10067 HAS SOPS 10067 HAS SOUS 9070 HAS SOUPS 9070 WITH SCORE 9080.067
AT ITER 1496 NEW BEST:: SOT 40661 SOS 9961 HAS SOPS 9961 HAS SOUS 9054 HAS SOUPS 9054 WITH SCORE 9063.961
AT ITER 1503 NEW BEST:: SOT 40655 SOS 9949 HAS SOPS 9949 HAS SOUS 9045 HAS SOUPS 9045 WITH SCORE 9054.949
AT ITER 1516 NEW BEST:: SOT 40588 SOS 9860 HAS SOPS 9860 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8965.86
AT ITER 1523 NEW BEST:: SOT 40580 SOS 9860 HAS SOPS 9860 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8957.86
AT ITER 1538 NEW BEST:: SOT 40577 SOS 9806 HAS SOPS 9806 HAS SOUS 8942 HAS SOUPS 8942 WITH SCORE 8951.806
AT ITER 1542 NEW BEST:: SOT 40579 SOS 9797 HAS SOPS 9797 HAS SOUS 8934 HAS SOUPS 8934 WITH SCORE 8943.797
AT ITER 1568 NEW BEST:: SOT 40579 SOS 9784 HAS SOPS 9784 HAS SOUS 8921 HAS SOUPS 8921 WITH SCORE 8930.784
AT ITER 1581 NEW BEST:: SOT 40600 SOS 9803 HAS SOPS 9803 HAS SOUS 8896 HAS SOUPS 8896 WITH SCORE 8905.803
AT ITER 1584 NEW BEST:: SOT 40598 SOS 9799 HAS SOPS 9799 HAS SOUS 8894 HAS SOUPS 8894 WITH SCORE 8903.799
AT ITER 1588 NEW BEST:: SOT 40612 SOS 9788 HAS SOPS 9788 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8879.788
AT ITER 1599 NEW BEST:: SOT 40616 SOS 9698 HAS SOPS 9698 HAS SOUS 8865 HAS SOUPS 8865 WITH SCORE 8874.698
AT ITER 1609 NEW BEST:: SOT 40612 SOS 9652 HAS SOPS 9652 HAS SOUS 8819 HAS SOUPS 8819 WITH SCORE 8828.652
AT ITER 1620 NEW BEST:: SOT 40603 SOS 9634 HAS SOPS 9634 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8809.634
AT ITER 1621 NEW BEST:: SOT 40593 SOS 9614 HAS SOPS 9614 HAS SOUS 8786 HAS SOUPS 8786 WITH SCORE 8795.614
AT ITER 1654 NEW BEST:: SOT 40593 SOS 9612 HAS SOPS 9612 HAS SOUS 8784 HAS SOUPS 8784 WITH SCORE 8793.612
AT ITER 1661 NEW BEST:: SOT 40586 SOS 9597 HAS SOPS 9597 HAS SOUS 8769 HAS SOUPS 8769 WITH SCORE 8778.597
AT ITER 1662 NEW BEST:: SOT 40573 SOS 9571 HAS SOPS 9571 HAS SOUS 8744 HAS SOUPS 8744 WITH SCORE 8753.571
AT ITER 1701 NEW BEST:: SOT 40577 SOS 9554 HAS SOPS 9554 HAS SOUS 8736 HAS SOUPS 8736 WITH SCORE 8745.554
AT ITER 1713 NEW BEST:: SOT 40582 SOS 9558 HAS SOPS 9558 HAS SOUS 8735 HAS SOUPS 8735 WITH SCORE 8744.558
AT ITER 1738 NEW BEST:: SOT 40597 SOS 9617 HAS SOPS 9617 HAS SOUS 8721 HAS SOUPS 8721 WITH SCORE 8730.617
AT ITER 1761 NEW BEST:: SOT 40597 SOS 9592 HAS SOPS 9592 HAS SOUS 8721 HAS SOUPS 8721 WITH SCORE 8730.592
AT ITER 1772 NEW BEST:: SOT 40597 SOS 9575 HAS SOPS 9575 HAS SOUS 8704 HAS SOUPS 8704 WITH SCORE 8713.575
AT ITER 1808 NEW BEST:: SOT 40595 SOS 9571 HAS SOPS 9571 HAS SOUS 8700 HAS SOUPS 8700 WITH SCORE 8709.571
AT ITER 1812 NEW BEST:: SOT 40594 SOS 9569 HAS SOPS 9569 HAS SOUS 8698 HAS SOUPS 8698 WITH SCORE 8707.569
AT ITER 1838 NEW BEST:: SOT 40588 SOS 9557 HAS SOPS 9557 HAS SOUS 8686 HAS SOUPS 8686 WITH SCORE 8695.557
AT ITER 1840 NEW BEST:: SOT 40618 SOS 9509 HAS SOPS 9509 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8676.509
AT ITER 1850 NEW BEST:: SOT 40618 SOS 9501 HAS SOPS 9501 HAS SOUS 8659 HAS SOUPS 8659 WITH SCORE 8668.501
AT ITER 1855 NEW BEST:: SOT 40618 SOS 9498 HAS SOPS 9498 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8665.498
AT ITER 1857 NEW BEST:: SOT 40620 SOS 9491 HAS SOPS 9491 HAS SOUS 8647 HAS SOUPS 8647 WITH SCORE 8656.491
AT ITER 1859 NEW BEST:: SOT 40613 SOS 9491 HAS SOPS 9491 HAS SOUS 8640 HAS SOUPS 8640 WITH SCORE 8649.491
AT ITER 1864 NEW BEST:: SOT 40637 SOS 9489 HAS SOPS 9489 HAS SOUS 8624 HAS SOUPS 8624 WITH SCORE 8633.489
AT ITER 1895 NEW BEST:: SOT 40637 SOS 9487 HAS SOPS 9487 HAS SOUS 8622 HAS SOUPS 8622 WITH SCORE 8631.487
AT ITER 1901 NEW BEST:: SOT 40637 SOS 9547 HAS SOPS 9547 HAS SOUS 8599 HAS SOUPS 8599 WITH SCORE 8608.547
AT ITER 1916 NEW BEST:: SOT 40630 SOS 9553 HAS SOPS 9553 HAS SOUS 8598 HAS SOUPS 8598 WITH SCORE 8607.553
AT ITER 1967 NEW BEST:: SOT 40608 SOS 9528 HAS SOPS 9528 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8601.528
AT ITER 1969 NEW BEST:: SOT 40608 SOS 9511 HAS SOPS 9511 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8601.511
AT ITER 1978 NEW BEST:: SOT 40586 SOS 9489 HAS SOPS 9489 HAS SOUS 8570 HAS SOUPS 8570 WITH SCORE 8579.489
AT ITER 2016 NEW BEST:: SOT 40540 SOS 9397 HAS SOPS 9397 HAS SOUS 8515 HAS SOUPS 8515 WITH SCORE 8524.397
AT ITER 2039 NEW BEST:: SOT 40524 SOS 9381 HAS SOPS 9381 HAS SOUS 8511 HAS SOUPS 8511 WITH SCORE 8520.381
AT ITER 2048 NEW BEST:: SOT 40552 SOS 9391 HAS SOPS 9391 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8518.391
AT ITER 2090 NEW BEST:: SOT 40550 SOS 9389 HAS SOPS 9389 HAS SOUS 8507 HAS SOUPS 8507 WITH SCORE 8516.389
AT ITER 2159 NEW BEST:: SOT 40526 SOS 9341 HAS SOPS 9341 HAS SOUS 8483 HAS SOUPS 8483 WITH SCORE 8492.341
AT ITER 2172 NEW BEST:: SOT 40516 SOS 9326 HAS SOPS 9326 HAS SOUS 8468 HAS SOUPS 8468 WITH SCORE 8477.326
AT ITER 2176 NEW BEST:: SOT 40516 SOS 9297 HAS SOPS 9297 HAS SOUS 8410 HAS SOUPS 8410 WITH SCORE 8419.297
AT ITER 2182 NEW BEST:: SOT 40505 SOS 9275 HAS SOPS 9275 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8397.275
AT ITER 2186 NEW BEST:: SOT 40491 SOS 9240 HAS SOPS 9240 HAS SOUS 8374 HAS SOUPS 8374 WITH SCORE 8383.24
AT ITER 2193 NEW BEST:: SOT 40501 SOS 9171 HAS SOPS 9171 HAS SOUS 8374 HAS SOUPS 8374 WITH SCORE 8383.171
AT ITER 2198 NEW BEST:: SOT 40501 SOS 9152 HAS SOPS 9152 HAS SOUS 8355 HAS SOUPS 8355 WITH SCORE 8364.152
AT ITER 2217 NEW BEST:: SOT 40500 SOS 9105 HAS SOPS 9105 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8339.105
AT ITER 2223 NEW BEST:: SOT 40477 SOS 9081 HAS SOPS 9081 HAS SOUS 8302 HAS SOUPS 8302 WITH SCORE 8311.081
AT ITER 2240 NEW BEST:: SOT 40477 SOS 9024 HAS SOPS 9024 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8254.024
AT ITER 2264 NEW BEST:: SOT 40463 SOS 9026 HAS SOPS 9026 HAS SOUS 8217 HAS SOUPS 8217 WITH SCORE 8226.026
AT ITER 2271 NEW BEST:: SOT 40461 SOS 9022 HAS SOPS 9022 HAS SOUS 8209 HAS SOUPS 8209 WITH SCORE 8218.022
AT ITER 2274 NEW BEST:: SOT 40469 SOS 8995 HAS SOPS 8995 HAS SOUS 8208 HAS SOUPS 8208 WITH SCORE 8216.995
AT ITER 2277 NEW BEST:: SOT 40460 SOS 8994 HAS SOPS 8994 HAS SOUS 8207 HAS SOUPS 8207 WITH SCORE 8215.994
AT ITER 2301 NEW BEST:: SOT 40456 SOS 8986 HAS SOPS 8986 HAS SOUS 8199 HAS SOUPS 8199 WITH SCORE 8207.986
AT ITER 2321 NEW BEST:: SOT 40464 SOS 8983 HAS SOPS 8983 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8206.983
AT ITER 2348 NEW BEST:: SOT 40463 SOS 8991 HAS SOPS 8991 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8205.991
AT ITER 2377 NEW BEST:: SOT 40460 SOS 8988 HAS SOPS 8988 HAS SOUS 8191 HAS SOUPS 8191 WITH SCORE 8199.988
AT ITER 2429 NEW BEST:: SOT 40460 SOS 8981 HAS SOPS 8981 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8192.981
AT ITER 2453 NEW BEST:: SOT 40460 SOS 8961 HAS SOPS 8961 HAS SOUS 8169 HAS SOUPS 8169 WITH SCORE 8177.961
AT ITER 2466 NEW BEST:: SOT 40460 SOS 8949 HAS SOPS 8949 HAS SOUS 8157 HAS SOUPS 8157 WITH SCORE 8165.949
AT ITER 2486 NEW BEST:: SOT 40444 SOS 8933 HAS SOPS 8933 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8149.933
AT ITER 2528 NEW BEST:: SOT 40436 SOS 8927 HAS SOPS 8927 HAS SOUS 8133 HAS SOUPS 8133 WITH SCORE 8141.927
AT ITER 2585 NEW BEST:: SOT 40446 SOS 8909 HAS SOPS 8909 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8137.909
AT ITER 2596 NEW BEST:: SOT 40446 SOS 8902 HAS SOPS 8902 HAS SOUS 8122 HAS SOUPS 8122 WITH SCORE 8130.902
AT ITER 2601 NEW BEST:: SOT 40438 SOS 8882 HAS SOPS 8882 HAS SOUS 8102 HAS SOUPS 8102 WITH SCORE 8110.882
AT ITER 2630 NEW BEST:: SOT 40438 SOS 8877 HAS SOPS 8877 HAS SOUS 8102 HAS SOUPS 8102 WITH SCORE 8110.877
AT ITER 2677 NEW BEST:: SOT 40414 SOS 8829 HAS SOPS 8829 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8062.829
AT ITER 2704 NEW BEST:: SOT 40413 SOS 8827 HAS SOPS 8827 HAS SOUS 8042 HAS SOUPS 8042 WITH SCORE 8050.827
AT ITER 2706 NEW BEST:: SOT 40411 SOS 8823 HAS SOPS 8823 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8048.823
AT ITER 2785 NEW BEST:: SOT 40411 SOS 8811 HAS SOPS 8811 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8048.811
AT ITER 2801 NEW BEST:: SOT 40395 SOS 8742 HAS SOPS 8742 HAS SOUS 7974 HAS SOUPS 7974 WITH SCORE 7982.742
AT ITER 2828 NEW BEST:: SOT 40413 SOS 8703 HAS SOPS 8703 HAS SOUS 7917 HAS SOUPS 7917 WITH SCORE 7925.703
AT ITER 2843 NEW BEST:: SOT 40383 SOS 8673 HAS SOPS 8673 HAS SOUS 7902 HAS SOUPS 7902 WITH SCORE 7910.673
AT ITER 2845 NEW BEST:: SOT 40357 SOS 8663 HAS SOPS 8663 HAS SOUS 7892 HAS SOUPS 7892 WITH SCORE 7900.663
AT ITER 2869 NEW BEST:: SOT 40335 SOS 8599 HAS SOPS 8599 HAS SOUS 7870 HAS SOUPS 7870 WITH SCORE 7878.599
AT ITER 2870 NEW BEST:: SOT 40308 SOS 8544 HAS SOPS 8544 HAS SOUS 7862 HAS SOUPS 7862 WITH SCORE 7870.544
AT ITER 2889 NEW BEST:: SOT 40313 SOS 8474 HAS SOPS 8474 HAS SOUS 7857 HAS SOUPS 7857 WITH SCORE 7865.474
AT ITER 2917 NEW BEST:: SOT 40317 SOS 8434 HAS SOPS 8434 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 7864.434
AT ITER 2961 NEW BEST:: SOT 40308 SOS 8416 HAS SOPS 8416 HAS SOUS 7842 HAS SOUPS 7842 WITH SCORE 7850.416
AT ITER 2962 NEW BEST:: SOT 40300 SOS 8400 HAS SOPS 8400 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7834.4
AT ITER 2982 NEW BEST:: SOT 40295 SOS 8382 HAS SOPS 8382 HAS SOUS 7821 HAS SOUPS 7821 WITH SCORE 7829.382
AT ITER 3030 NEW BEST:: SOT 40302 SOS 8375 HAS SOPS 8375 HAS SOUS 7821 HAS SOUPS 7821 WITH SCORE 7829.375
AT ITER 3079 NEW BEST:: SOT 40308 SOS 8370 HAS SOPS 8370 HAS SOUS 7816 HAS SOUPS 7816 WITH SCORE 7824.37
AT ITER 3111 NEW BEST:: SOT 40308 SOS 8368 HAS SOPS 8368 HAS SOUS 7814 HAS SOUPS 7814 WITH SCORE 7822.368
AT ITER 3134 NEW BEST:: SOT 40294 SOS 8355 HAS SOPS 8355 HAS SOUS 7799 HAS SOUPS 7799 WITH SCORE 7807.355
AT ITER 3140 NEW BEST:: SOT 40302 SOS 8382 HAS SOPS 8382 HAS SOUS 7779 HAS SOUPS 7779 WITH SCORE 7787.382
AT ITER 3153 NEW BEST:: SOT 40301 SOS 8369 HAS SOPS 8369 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7774.369
AT ITER 3156 NEW BEST:: SOT 40298 SOS 8363 HAS SOPS 8363 HAS SOUS 7763 HAS SOUPS 7763 WITH SCORE 7771.363
AT ITER 3172 NEW BEST:: SOT 40291 SOS 8356 HAS SOPS 8356 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7764.356
AT ITER 3180 NEW BEST:: SOT 40286 SOS 8370 HAS SOPS 8370 HAS SOUS 7753 HAS SOUPS 7753 WITH SCORE 7761.37
AT ITER 3193 NEW BEST:: SOT 40291 SOS 8350 HAS SOPS 8350 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7735.35
AT ITER 3198 NEW BEST:: SOT 40290 SOS 8349 HAS SOPS 8349 HAS SOUS 7726 HAS SOUPS 7726 WITH SCORE 7734.349
AT ITER 3203 NEW BEST:: SOT 40288 SOS 8346 HAS SOPS 8346 HAS SOUS 7723 HAS SOUPS 7723 WITH SCORE 7731.346
AT ITER 3242 NEW BEST:: SOT 40256 SOS 8342 HAS SOPS 8342 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7714.342
AT ITER 3250 NEW BEST:: SOT 40251 SOS 8327 HAS SOPS 8327 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7699.327
AT ITER 3260 NEW BEST:: SOT 40251 SOS 8321 HAS SOPS 8321 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7699.321
AT ITER 3333 NEW BEST:: SOT 40231 SOS 8321 HAS SOPS 8321 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7675.321
AT ITER 3343 NEW BEST:: SOT 40229 SOS 8317 HAS SOPS 8317 HAS SOUS 7663 HAS SOUPS 7663 WITH SCORE 7671.317
AT ITER 3366 NEW BEST:: SOT 40222 SOS 8286 HAS SOPS 8286 HAS SOUS 7644 HAS SOUPS 7644 WITH SCORE 7652.286
AT ITER 3417 NEW BEST:: SOT 40222 SOS 8283 HAS SOPS 8283 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7649.283
AT ITER 3429 NEW BEST:: SOT 40221 SOS 8280 HAS SOPS 8280 HAS SOUS 7640 HAS SOUPS 7640 WITH SCORE 7648.28
AT ITER 3436 NEW BEST:: SOT 40221 SOS 8277 HAS SOPS 8277 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7645.277
AT ITER 3572 NEW BEST:: SOT 40236 SOS 8271 HAS SOPS 8271 HAS SOUS 7613 HAS SOUPS 7613 WITH SCORE 7621.271
AT ITER 3579 NEW BEST:: SOT 40234 SOS 8267 HAS SOPS 8267 HAS SOUS 7611 HAS SOUPS 7611 WITH SCORE 7619.267
AT ITER 3594 NEW BEST:: SOT 40231 SOS 8265 HAS SOPS 8265 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7613.265
AT ITER 3600 NEW BEST:: SOT 40246 SOS 8261 HAS SOPS 8261 HAS SOUS 7603 HAS SOUPS 7603 WITH SCORE 7611.261
AT ITER 3607 NEW BEST:: SOT 40238 SOS 8245 HAS SOPS 8245 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7603.245
AT ITER 3623 NEW BEST:: SOT 40235 SOS 8237 HAS SOPS 8237 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7595.237
AT ITER 3689 NEW BEST:: SOT 40220 SOS 8228 HAS SOPS 8228 HAS SOUS 7574 HAS SOUPS 7574 WITH SCORE 7582.228
AT ITER 3690 NEW BEST:: SOT 40225 SOS 8227 HAS SOPS 8227 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7580.227
AT ITER 3693 NEW BEST:: SOT 40211 SOS 8218 HAS SOPS 8218 HAS SOUS 7554 HAS SOUPS 7554 WITH SCORE 7562.218
AT ITER 3710 NEW BEST:: SOT 40201 SOS 8228 HAS SOPS 8228 HAS SOUS 7532 HAS SOUPS 7532 WITH SCORE 7540.228
AT ITER 3739 NEW BEST:: SOT 40208 SOS 8248 HAS SOPS 8248 HAS SOUS 7531 HAS SOUPS 7531 WITH SCORE 7539.248
AT ITER 3740 NEW BEST:: SOT 40208 SOS 8234 HAS SOPS 8234 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7525.234
AT ITER 3764 NEW BEST:: SOT 40189 SOS 8227 HAS SOPS 8227 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7512.227
AT ITER 3784 NEW BEST:: SOT 40180 SOS 8209 HAS SOPS 8209 HAS SOUS 7495 HAS SOUPS 7495 WITH SCORE 7503.209
AT ITER 3785 NEW BEST:: SOT 40180 SOS 8206 HAS SOPS 8206 HAS SOUS 7495 HAS SOUPS 7495 WITH SCORE 7503.206
AT ITER 3832 NEW BEST:: SOT 40172 SOS 8182 HAS SOPS 8182 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7487.182
AT ITER 3835 NEW BEST:: SOT 40168 SOS 8174 HAS SOPS 8174 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7469.174
AT ITER 3879 NEW BEST:: SOT 40168 SOS 8166 HAS SOPS 8166 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7469.166
AT ITER 3923 NEW BEST:: SOT 40168 SOS 8161 HAS SOPS 8161 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7464.161
AT ITER 3943 NEW BEST:: SOT 40168 SOS 8151 HAS SOPS 8151 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7464.151
AT ITER 3947 NEW BEST:: SOT 40168 SOS 8148 HAS SOPS 8148 HAS SOUS 7453 HAS SOUPS 7453 WITH SCORE 7461.148
AT ITER 3957 NEW BEST:: SOT 40167 SOS 8147 HAS SOPS 8147 HAS SOUS 7453 HAS SOUPS 7453 WITH SCORE 7461.147
AT ITER 3965 NEW BEST:: SOT 40176 SOS 8119 HAS SOPS 8119 HAS SOUS 7400 HAS SOUPS 7400 WITH SCORE 7408.119
AT ITER 3979 NEW BEST:: SOT 40148 SOS 8111 HAS SOPS 8111 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7388.111
AT ITER 4004 NEW BEST:: SOT 40145 SOS 8108 HAS SOPS 8108 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7388.108
AT ITER 4015 NEW BEST:: SOT 40145 SOS 8093 HAS SOPS 8093 HAS SOUS 7375 HAS SOUPS 7375 WITH SCORE 7383.093
AT ITER 4038 NEW BEST:: SOT 40145 SOS 8090 HAS SOPS 8090 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7380.09
AT ITER 4069 NEW BEST:: SOT 40145 SOS 8090 HAS SOPS 8090 HAS SOUS 7368 HAS SOUPS 7368 WITH SCORE 7376.09
AT ITER 4181 NEW BEST:: SOT 40130 SOS 8069 HAS SOPS 8069 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7355.069
AT ITER 4231 NEW BEST:: SOT 40111 SOS 8019 HAS SOPS 8019 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7323.019
AT ITER 4273 NEW BEST:: SOT 40108 SOS 8004 HAS SOPS 8004 HAS SOUS 7304 HAS SOUPS 7304 WITH SCORE 7312.004
AT ITER 4281 NEW BEST:: SOT 40091 SOS 7954 HAS SOPS 7954 HAS SOUS 7303 HAS SOUPS 7303 WITH SCORE 7310.954
AT ITER 4304 NEW BEST:: SOT 40072 SOS 7917 HAS SOPS 7917 HAS SOUS 7273 HAS SOUPS 7273 WITH SCORE 7280.917
AT ITER 4306 NEW BEST:: SOT 40071 SOS 7915 HAS SOPS 7915 HAS SOUS 7271 HAS SOUPS 7271 WITH SCORE 7278.915
AT ITER 4312 NEW BEST:: SOT 40046 SOS 7890 HAS SOPS 7890 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7268.89
AT ITER 4329 NEW BEST:: SOT 40059 SOS 7865 HAS SOPS 7865 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7243.865
AT ITER 4360 NEW BEST:: SOT 40030 SOS 7843 HAS SOPS 7843 HAS SOUS 7204 HAS SOUPS 7204 WITH SCORE 7211.843
AT ITER 4367 NEW BEST:: SOT 40030 SOS 7834 HAS SOPS 7834 HAS SOUS 7195 HAS SOUPS 7195 WITH SCORE 7202.834
AT ITER 4560 NEW BEST:: SOT 39930 SOS 7807 HAS SOPS 7807 HAS SOUS 7147 HAS SOUPS 7147 WITH SCORE 7154.807
AT ITER 4612 NEW BEST:: SOT 39921 SOS 7815 HAS SOPS 7815 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7146.815
AT ITER 4678 NEW BEST:: SOT 39917 SOS 7807 HAS SOPS 7807 HAS SOUS 7128 HAS SOUPS 7128 WITH SCORE 7135.807
AT ITER 4682 NEW BEST:: SOT 39915 SOS 7799 HAS SOPS 7799 HAS SOUS 7124 HAS SOUPS 7124 WITH SCORE 7131.799
AT ITER 4772 NEW BEST:: SOT 39914 SOS 7798 HAS SOPS 7798 HAS SOUS 7124 HAS SOUPS 7124 WITH SCORE 7131.798
AT ITER 4786 NEW BEST:: SOT 39912 SOS 7787 HAS SOPS 7787 HAS SOUS 7120 HAS SOUPS 7120 WITH SCORE 7127.787
AT ITER 4792 NEW BEST:: SOT 39908 SOS 7779 HAS SOPS 7779 HAS SOUS 7116 HAS SOUPS 7116 WITH SCORE 7123.779
AT ITER 4794 NEW BEST:: SOT 39885 SOS 7748 HAS SOPS 7748 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7085.748
AT ITER 4830 NEW BEST:: SOT 39883 SOS 7742 HAS SOPS 7742 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7079.742
AT ITER 4864 NEW BEST:: SOT 39863 SOS 7723 HAS SOPS 7723 HAS SOUS 7053 HAS SOUPS 7053 WITH SCORE 7060.723
AT ITER 4873 NEW BEST:: SOT 39865 SOS 7742 HAS SOPS 7742 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7049.742
AT ITER 4975 NEW BEST:: SOT 39862 SOS 7736 HAS SOPS 7736 HAS SOUS 7039 HAS SOUPS 7039 WITH SCORE 7046.736
AT ITER 4977 NEW BEST:: SOT 39834 SOS 7741 HAS SOPS 7741 HAS SOUS 7009 HAS SOUPS 7009 WITH SCORE 7016.741
AT ITER 4983 NEW BEST:: SOT 39820 SOS 7670 HAS SOPS 7670 HAS SOUS 7001 HAS SOUPS 7001 WITH SCORE 7008.67
Bounds file is: CTLFireability.xml
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-00 ( ( ((potential((tk(P194)>=1)))) | ((potential((tk(P132)>=1) & (tk(P100)>=1) & (tk(P144)>=1)))) ) | ( ( (! (EF( ((potential((tk(P45)>=1))))))) & ((potential((tk(P270)>=1) & (tk(P238)>=1) & (tk(P282)>=1)))) ) | ( ( (EF( ((potential((tk(P119)>=1)))))) | ( ( ((potential((tk(P34)>=1)))) | ((potential((tk(P248)>=1) & (tk(P235)>=1) & (tk(P282)>=1)))) ) & ( ((potential((tk(P91)>=1) & (tk(P110)>=1)))) & ((potential((tk(P1)>=1)))) ) ) ) | ((potential((tk(P40)>=1)))) ) ) )
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-01 (AG( (! (EU( ((potential((tk(P280)>=1)))) , ((potential((tk(P174)>=1) & (tk(P233)>=1)))) )))))
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-02 ( ( ( ( (! ( ((potential((tk(P35)>=1)))) | ((potential((tk(P33)>=1)))) )) | ( ((potential((tk(P215)>=1)))) | (! ((potential((tk(P41)>=1) & (tk(P28)>=1) & (tk(P75)>=1))))) ) ) & ((potential((tk(P245)>=1)))) ) | (AF( ((potential((tk(P276)>=1)))))) ) | (EX( ((potential((tk(P91)>=1) & (tk(P110)>=1)))))) )
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-03 (EF( ( (! ( (! ((potential((tk(P119)>=1))))) | ( ((potential((tk(P62)>=1)))) | ((potential((tk(P141)>=1)))) ) )) & ( ( ( ((potential((tk(P94)>=1) & (tk(P92)>=1)))) | ((potential((tk(P43)>=1)))) ) | ( ((potential((tk(P251)>=1)))) | ((potential((tk(P67)>=1)))) ) ) | ((potential((tk(P56)>=1)))) ) )))
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-04 (EG( ( (EF( (! ((potential((tk(P186)>=1))))))) | (AX( ((potential((tk(P268)>=1)))))) )))
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-05 (AF( (! ( (! ( ((potential((tk(P17)>=1)))) | ((potential((tk(P93)>=1) & (tk(P132)>=1)))) )) | (AG( ((potential((tk(P113)>=1)))))) ))))
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-06 (EG( (! ( (EG( ((potential((tk(P6)>=1)))))) | (! (! ((potential((tk(P4)>=1)))))) ))))
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-07 ( (EU( (AF( ((potential((tk(P1)>=1)))))) , ( ((potential((tk(P178)>=1)))) | ( ((potential((tk(P261)>=1)))) | ((potential((tk(P156)>=1) & (tk(P189)>=1)))) ) ) )) | ( (AF( (EF( ((potential((tk(P131)>=1)))))))) | ((potential((tk(P155)>=1)))) ) )
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-08 (EF( ( (EU( ((potential((tk(P268)>=1)))) , ((potential((tk(P49)>=1)))) )) & ((potential((tk(P197)>=1)))) )))
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-09 (AG( (EF( ( ( ((potential((tk(P110)>=1) & (tk(P97)>=1) & (tk(P144)>=1)))) | ((potential((tk(P279)>=1)))) ) & (! ((potential((tk(P268)>=1))))) )))))
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-10 (EU( (! (AX( ((potential((tk(P112)>=1))))))) , ((potential((tk(P115)>=1)))) ))
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-11 (AG( (! ( (! ((potential((tk(P267)>=1))))) & ((potential((tk(P158)>=1)))) ))))
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-12 (AG( (AG( ( (! ((potential((tk(P242)>=1))))) | ( ((potential((tk(P130)>=1)))) | ((potential((tk(P269)>=1)))) ) )))))
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-13 (EU( ( ( ( ((potential((tk(P216)>=1)))) | ((potential((tk(P35)>=1)))) ) & (! ((potential((tk(P262)>=1))))) ) | ((potential((tk(P278)>=1)))) ) , ( ((potential((tk(P278)>=1)))) | (EF( ((potential((tk(P176)>=1)))))) ) ))
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-14 (EG( (! ((potential((tk(P69)>=1)))))))
PROPERTY: ShieldIIPt-PT-004B-CTLFireability-15 (AF( ((potential((tk(P184)>=1))))))

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="ShieldIIPt-PT-004B"
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 ShieldIIPt-PT-004B, 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 r207-tajo-159033469200276"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-004B.tgz
mv ShieldIIPt-PT-004B 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 ;