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-159033469700628.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 ShieldPPPt-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-159033469700628
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.4K May 14 01:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 01:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 19:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 19:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 08:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K May 13 08:50 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 74K 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 ShieldPPPt-PT-004B-CTLFireability-00
FORMULA_NAME ShieldPPPt-PT-004B-CTLFireability-01
FORMULA_NAME ShieldPPPt-PT-004B-CTLFireability-02
FORMULA_NAME ShieldPPPt-PT-004B-CTLFireability-03
FORMULA_NAME ShieldPPPt-PT-004B-CTLFireability-04
FORMULA_NAME ShieldPPPt-PT-004B-CTLFireability-05
FORMULA_NAME ShieldPPPt-PT-004B-CTLFireability-06
FORMULA_NAME ShieldPPPt-PT-004B-CTLFireability-07
FORMULA_NAME ShieldPPPt-PT-004B-CTLFireability-08
FORMULA_NAME ShieldPPPt-PT-004B-CTLFireability-09
FORMULA_NAME ShieldPPPt-PT-004B-CTLFireability-10
FORMULA_NAME ShieldPPPt-PT-004B-CTLFireability-11
FORMULA_NAME ShieldPPPt-PT-004B-CTLFireability-12
FORMULA_NAME ShieldPPPt-PT-004B-CTLFireability-13
FORMULA_NAME ShieldPPPt-PT-004B-CTLFireability-14
FORMULA_NAME ShieldPPPt-PT-004B-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590446626140

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (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: 315 places, 287 transitions, 718 arcs.
AT ITER 0 NEW BEST:: SOT 49797 SOS 14260 HAS SOPS 14260 HAS SOUS 13178 HAS SOUPS 13178 WITH SCORE 13192.26
AT ITER 1 NEW BEST:: SOT 49796 SOS 14269 HAS SOPS 14269 HAS SOUS 13177 HAS SOUPS 13177 WITH SCORE 13191.269
AT ITER 15 NEW BEST:: SOT 49735 SOS 14298 HAS SOPS 14298 HAS SOUS 13167 HAS SOUPS 13167 WITH SCORE 13181.298
AT ITER 23 NEW BEST:: SOT 49735 SOS 14297 HAS SOPS 14297 HAS SOUS 13166 HAS SOUPS 13166 WITH SCORE 13180.297
AT ITER 30 NEW BEST:: SOT 49722 SOS 14271 HAS SOPS 14271 HAS SOUS 13140 HAS SOUPS 13140 WITH SCORE 13154.271
AT ITER 47 NEW BEST:: SOT 49696 SOS 14271 HAS SOPS 14271 HAS SOUS 13134 HAS SOUPS 13134 WITH SCORE 13148.271
AT ITER 50 NEW BEST:: SOT 49680 SOS 14239 HAS SOPS 14239 HAS SOUS 13102 HAS SOUPS 13102 WITH SCORE 13116.239
AT ITER 73 NEW BEST:: SOT 49667 SOS 14267 HAS SOPS 14267 HAS SOUS 13089 HAS SOUPS 13089 WITH SCORE 13103.267
AT ITER 74 NEW BEST:: SOT 49706 SOS 14314 HAS SOPS 14314 HAS SOUS 13070 HAS SOUPS 13070 WITH SCORE 13084.314
AT ITER 90 NEW BEST:: SOT 49706 SOS 14306 HAS SOPS 14306 HAS SOUS 13062 HAS SOUPS 13062 WITH SCORE 13076.306
AT ITER 111 NEW BEST:: SOT 49692 SOS 14262 HAS SOPS 14262 HAS SOUS 13006 HAS SOUPS 13006 WITH SCORE 13020.262
AT ITER 116 NEW BEST:: SOT 49688 SOS 14250 HAS SOPS 14250 HAS SOUS 12998 HAS SOUPS 12998 WITH SCORE 13012.25
AT ITER 125 NEW BEST:: SOT 49688 SOS 14248 HAS SOPS 14248 HAS SOUS 12996 HAS SOUPS 12996 WITH SCORE 13010.248
AT ITER 151 NEW BEST:: SOT 49688 SOS 14244 HAS SOPS 14244 HAS SOUS 12989 HAS SOUPS 12989 WITH SCORE 13003.244
AT ITER 166 NEW BEST:: SOT 49673 SOS 14208 HAS SOPS 14208 HAS SOUS 12968 HAS SOUPS 12968 WITH SCORE 12982.208
AT ITER 171 NEW BEST:: SOT 49673 SOS 14202 HAS SOPS 14202 HAS SOUS 12962 HAS SOUPS 12962 WITH SCORE 12976.202
AT ITER 189 NEW BEST:: SOT 49633 SOS 14202 HAS SOPS 14202 HAS SOUS 12939 HAS SOUPS 12939 WITH SCORE 12953.202
AT ITER 193 NEW BEST:: SOT 49632 SOS 14174 HAS SOPS 14174 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12950.174
AT ITER 213 NEW BEST:: SOT 49632 SOS 14174 HAS SOPS 14174 HAS SOUS 12934 HAS SOUPS 12934 WITH SCORE 12948.174
AT ITER 238 NEW BEST:: SOT 49659 SOS 14135 HAS SOPS 14135 HAS SOUS 12923 HAS SOUPS 12923 WITH SCORE 12937.135
AT ITER 245 NEW BEST:: SOT 49684 SOS 14149 HAS SOPS 14149 HAS SOUS 12890 HAS SOUPS 12890 WITH SCORE 12904.149
AT ITER 250 NEW BEST:: SOT 49684 SOS 14129 HAS SOPS 14129 HAS SOUS 12870 HAS SOUPS 12870 WITH SCORE 12884.129
AT ITER 254 NEW BEST:: SOT 49684 SOS 14128 HAS SOPS 14128 HAS SOUS 12870 HAS SOUPS 12870 WITH SCORE 12884.128
AT ITER 292 NEW BEST:: SOT 49683 SOS 14127 HAS SOPS 14127 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12883.127
AT ITER 309 NEW BEST:: SOT 49605 SOS 14121 HAS SOPS 14121 HAS SOUS 12830 HAS SOUPS 12830 WITH SCORE 12844.121
AT ITER 343 NEW BEST:: SOT 49610 SOS 14103 HAS SOPS 14103 HAS SOUS 12827 HAS SOUPS 12827 WITH SCORE 12841.103
AT ITER 345 NEW BEST:: SOT 49610 SOS 14100 HAS SOPS 14100 HAS SOUS 12824 HAS SOUPS 12824 WITH SCORE 12838.1
AT ITER 358 NEW BEST:: SOT 49598 SOS 14094 HAS SOPS 14094 HAS SOUS 12818 HAS SOUPS 12818 WITH SCORE 12832.094
AT ITER 377 NEW BEST:: SOT 49598 SOS 14093 HAS SOPS 14093 HAS SOUS 12817 HAS SOUPS 12817 WITH SCORE 12831.093
AT ITER 385 NEW BEST:: SOT 49571 SOS 14012 HAS SOPS 14012 HAS SOUS 12715 HAS SOUPS 12715 WITH SCORE 12729.012
AT ITER 388 NEW BEST:: SOT 49546 SOS 13987 HAS SOPS 13987 HAS SOUS 12714 HAS SOUPS 12714 WITH SCORE 12727.987
AT ITER 408 NEW BEST:: SOT 49545 SOS 13986 HAS SOPS 13986 HAS SOUS 12713 HAS SOUPS 12713 WITH SCORE 12726.986
AT ITER 411 NEW BEST:: SOT 49530 SOS 13936 HAS SOPS 13936 HAS SOUS 12698 HAS SOUPS 12698 WITH SCORE 12711.936
AT ITER 412 NEW BEST:: SOT 49494 SOS 13912 HAS SOPS 13912 HAS SOUS 12671 HAS SOUPS 12671 WITH SCORE 12684.912
AT ITER 432 NEW BEST:: SOT 49490 SOS 13906 HAS SOPS 13906 HAS SOUS 12667 HAS SOUPS 12667 WITH SCORE 12680.906
AT ITER 453 NEW BEST:: SOT 49446 SOS 13899 HAS SOPS 13899 HAS SOUS 12660 HAS SOUPS 12660 WITH SCORE 12673.899
AT ITER 467 NEW BEST:: SOT 49446 SOS 13883 HAS SOPS 13883 HAS SOUS 12644 HAS SOUPS 12644 WITH SCORE 12657.883
AT ITER 469 NEW BEST:: SOT 49446 SOS 13876 HAS SOPS 13876 HAS SOUS 12644 HAS SOUPS 12644 WITH SCORE 12657.876
AT ITER 471 NEW BEST:: SOT 49415 SOS 13752 HAS SOPS 13752 HAS SOUS 12551 HAS SOUPS 12551 WITH SCORE 12564.752
AT ITER 490 NEW BEST:: SOT 49417 SOS 13718 HAS SOPS 13718 HAS SOUS 12517 HAS SOUPS 12517 WITH SCORE 12530.718
AT ITER 500 NEW BEST:: SOT 49417 SOS 13694 HAS SOPS 13694 HAS SOUS 12493 HAS SOUPS 12493 WITH SCORE 12506.694
AT ITER 511 NEW BEST:: SOT 49426 SOS 13674 HAS SOPS 13674 HAS SOUS 12464 HAS SOUPS 12464 WITH SCORE 12477.674
AT ITER 527 NEW BEST:: SOT 49416 SOS 13659 HAS SOPS 13659 HAS SOUS 12454 HAS SOUPS 12454 WITH SCORE 12467.659
AT ITER 544 NEW BEST:: SOT 49413 SOS 13668 HAS SOPS 13668 HAS SOUS 12451 HAS SOUPS 12451 WITH SCORE 12464.668
AT ITER 569 NEW BEST:: SOT 49443 SOS 13700 HAS SOPS 13700 HAS SOUS 12448 HAS SOUPS 12448 WITH SCORE 12461.7
AT ITER 583 NEW BEST:: SOT 49431 SOS 13697 HAS SOPS 13697 HAS SOUS 12436 HAS SOUPS 12436 WITH SCORE 12449.697
AT ITER 598 NEW BEST:: SOT 49469 SOS 13692 HAS SOPS 13692 HAS SOUS 12428 HAS SOUPS 12428 WITH SCORE 12441.692
AT ITER 600 NEW BEST:: SOT 49449 SOS 13652 HAS SOPS 13652 HAS SOUS 12388 HAS SOUPS 12388 WITH SCORE 12401.652
AT ITER 625 NEW BEST:: SOT 49449 SOS 13635 HAS SOPS 13635 HAS SOUS 12371 HAS SOUPS 12371 WITH SCORE 12384.635
AT ITER 626 NEW BEST:: SOT 49445 SOS 13629 HAS SOPS 13629 HAS SOUS 12369 HAS SOUPS 12369 WITH SCORE 12382.629
AT ITER 650 NEW BEST:: SOT 49445 SOS 13629 HAS SOPS 13629 HAS SOUS 12357 HAS SOUPS 12357 WITH SCORE 12370.629
AT ITER 656 NEW BEST:: SOT 49445 SOS 13616 HAS SOPS 13616 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12357.616
AT ITER 661 NEW BEST:: SOT 49410 SOS 13651 HAS SOPS 13651 HAS SOUS 12314 HAS SOUPS 12314 WITH SCORE 12327.651
AT ITER 663 NEW BEST:: SOT 49398 SOS 13603 HAS SOPS 13603 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12277.603
AT ITER 676 NEW BEST:: SOT 49391 SOS 13637 HAS SOPS 13637 HAS SOUS 12257 HAS SOUPS 12257 WITH SCORE 12270.637
AT ITER 681 NEW BEST:: SOT 49361 SOS 13607 HAS SOPS 13607 HAS SOUS 12254 HAS SOUPS 12254 WITH SCORE 12267.607
AT ITER 695 NEW BEST:: SOT 49361 SOS 13584 HAS SOPS 13584 HAS SOUS 12254 HAS SOUPS 12254 WITH SCORE 12267.584
AT ITER 716 NEW BEST:: SOT 49361 SOS 13576 HAS SOPS 13576 HAS SOUS 12246 HAS SOUPS 12246 WITH SCORE 12259.576
AT ITER 725 NEW BEST:: SOT 49361 SOS 13564 HAS SOPS 13564 HAS SOUS 12246 HAS SOUPS 12246 WITH SCORE 12259.564
AT ITER 756 NEW BEST:: SOT 49347 SOS 13536 HAS SOPS 13536 HAS SOUS 12232 HAS SOUPS 12232 WITH SCORE 12245.536
AT ITER 759 NEW BEST:: SOT 49346 SOS 13521 HAS SOPS 13521 HAS SOUS 12230 HAS SOUPS 12230 WITH SCORE 12243.521
AT ITER 762 NEW BEST:: SOT 49346 SOS 13489 HAS SOPS 13489 HAS SOUS 12198 HAS SOUPS 12198 WITH SCORE 12211.489
AT ITER 770 NEW BEST:: SOT 49307 SOS 13512 HAS SOPS 13512 HAS SOUS 12176 HAS SOUPS 12176 WITH SCORE 12189.512
AT ITER 809 NEW BEST:: SOT 49307 SOS 13504 HAS SOPS 13504 HAS SOUS 12168 HAS SOUPS 12168 WITH SCORE 12181.504
AT ITER 823 NEW BEST:: SOT 49316 SOS 13508 HAS SOPS 13508 HAS SOUS 12146 HAS SOUPS 12146 WITH SCORE 12159.508
AT ITER 829 NEW BEST:: SOT 49316 SOS 13505 HAS SOPS 13505 HAS SOUS 12133 HAS SOUPS 12133 WITH SCORE 12146.505
AT ITER 843 NEW BEST:: SOT 49316 SOS 13490 HAS SOPS 13490 HAS SOUS 12118 HAS SOUPS 12118 WITH SCORE 12131.49
AT ITER 856 NEW BEST:: SOT 49313 SOS 13484 HAS SOPS 13484 HAS SOUS 12112 HAS SOUPS 12112 WITH SCORE 12125.484
AT ITER 867 NEW BEST:: SOT 49276 SOS 13445 HAS SOPS 13445 HAS SOUS 12110 HAS SOUPS 12110 WITH SCORE 12123.445
AT ITER 871 NEW BEST:: SOT 49276 SOS 13417 HAS SOPS 13417 HAS SOUS 12082 HAS SOUPS 12082 WITH SCORE 12095.417
AT ITER 887 NEW BEST:: SOT 49316 SOS 13386 HAS SOPS 13386 HAS SOUS 12051 HAS SOUPS 12051 WITH SCORE 12064.386
AT ITER 922 NEW BEST:: SOT 49311 SOS 13382 HAS SOPS 13382 HAS SOUS 12046 HAS SOUPS 12046 WITH SCORE 12059.382
AT ITER 976 NEW BEST:: SOT 49310 SOS 13364 HAS SOPS 13364 HAS SOUS 12044 HAS SOUPS 12044 WITH SCORE 12057.364
AT ITER 983 NEW BEST:: SOT 49310 SOS 13332 HAS SOPS 13332 HAS SOUS 12028 HAS SOUPS 12028 WITH SCORE 12041.332
AT ITER 990 NEW BEST:: SOT 49310 SOS 13332 HAS SOPS 13332 HAS SOUS 12011 HAS SOUPS 12011 WITH SCORE 12024.332
AT ITER 1002 NEW BEST:: SOT 49310 SOS 13329 HAS SOPS 13329 HAS SOUS 12008 HAS SOUPS 12008 WITH SCORE 12021.329
AT ITER 1011 NEW BEST:: SOT 49317 SOS 13308 HAS SOPS 13308 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 11993.308
AT ITER 1019 NEW BEST:: SOT 49317 SOS 13267 HAS SOPS 13267 HAS SOUS 11961 HAS SOUPS 11961 WITH SCORE 11974.267
AT ITER 1040 NEW BEST:: SOT 49317 SOS 13264 HAS SOPS 13264 HAS SOUS 11958 HAS SOUPS 11958 WITH SCORE 11971.264
AT ITER 1079 NEW BEST:: SOT 49317 SOS 13217 HAS SOPS 13217 HAS SOUS 11911 HAS SOUPS 11911 WITH SCORE 11924.217
AT ITER 1094 NEW BEST:: SOT 49322 SOS 13215 HAS SOPS 13215 HAS SOUS 11909 HAS SOUPS 11909 WITH SCORE 11922.215
AT ITER 1122 NEW BEST:: SOT 49298 SOS 13206 HAS SOPS 13206 HAS SOUS 11900 HAS SOUPS 11900 WITH SCORE 11913.206
AT ITER 1129 NEW BEST:: SOT 49297 SOS 13203 HAS SOPS 13203 HAS SOUS 11898 HAS SOUPS 11898 WITH SCORE 11911.203
AT ITER 1139 NEW BEST:: SOT 49265 SOS 13139 HAS SOPS 13139 HAS SOUS 11834 HAS SOUPS 11834 WITH SCORE 11847.139
AT ITER 1150 NEW BEST:: SOT 49237 SOS 13167 HAS SOPS 13167 HAS SOUS 11829 HAS SOUPS 11829 WITH SCORE 11842.167
AT ITER 1152 NEW BEST:: SOT 49237 SOS 13143 HAS SOPS 13143 HAS SOUS 11829 HAS SOUPS 11829 WITH SCORE 11842.143
AT ITER 1154 NEW BEST:: SOT 49260 SOS 13125 HAS SOPS 13125 HAS SOUS 11811 HAS SOUPS 11811 WITH SCORE 11824.125
AT ITER 1192 NEW BEST:: SOT 49255 SOS 13115 HAS SOPS 13115 HAS SOUS 11801 HAS SOUPS 11801 WITH SCORE 11814.115
AT ITER 1222 NEW BEST:: SOT 49275 SOS 13105 HAS SOPS 13105 HAS SOUS 11798 HAS SOUPS 11798 WITH SCORE 11811.105
AT ITER 1247 NEW BEST:: SOT 49270 SOS 13095 HAS SOPS 13095 HAS SOUS 11788 HAS SOUPS 11788 WITH SCORE 11801.095
AT ITER 1320 NEW BEST:: SOT 49188 SOS 13171 HAS SOPS 13171 HAS SOUS 11751 HAS SOUPS 11751 WITH SCORE 11764.171
AT ITER 1324 NEW BEST:: SOT 49182 SOS 13165 HAS SOPS 13165 HAS SOUS 11745 HAS SOUPS 11745 WITH SCORE 11758.165
AT ITER 1336 NEW BEST:: SOT 49182 SOS 13162 HAS SOPS 13162 HAS SOUS 11742 HAS SOUPS 11742 WITH SCORE 11755.162
AT ITER 1363 NEW BEST:: SOT 49170 SOS 13142 HAS SOPS 13142 HAS SOUS 11734 HAS SOUPS 11734 WITH SCORE 11747.142
AT ITER 1364 NEW BEST:: SOT 49131 SOS 13064 HAS SOPS 13064 HAS SOUS 11665 HAS SOUPS 11665 WITH SCORE 11678.064
AT ITER 1386 NEW BEST:: SOT 49135 SOS 13080 HAS SOPS 13080 HAS SOUS 11663 HAS SOUPS 11663 WITH SCORE 11676.08
AT ITER 1397 NEW BEST:: SOT 49106 SOS 13022 HAS SOPS 13022 HAS SOUS 11619 HAS SOUPS 11619 WITH SCORE 11632.022
AT ITER 1413 NEW BEST:: SOT 49106 SOS 13019 HAS SOPS 13019 HAS SOUS 11616 HAS SOUPS 11616 WITH SCORE 11629.019
AT ITER 1437 NEW BEST:: SOT 49092 SOS 13017 HAS SOPS 13017 HAS SOUS 11602 HAS SOUPS 11602 WITH SCORE 11615.017
AT ITER 1451 NEW BEST:: SOT 49106 SOS 13031 HAS SOPS 13031 HAS SOUS 11597 HAS SOUPS 11597 WITH SCORE 11610.031
AT ITER 1453 NEW BEST:: SOT 49106 SOS 13019 HAS SOPS 13019 HAS SOUS 11591 HAS SOUPS 11591 WITH SCORE 11604.019
AT ITER 1472 NEW BEST:: SOT 49106 SOS 13011 HAS SOPS 13011 HAS SOUS 11583 HAS SOUPS 11583 WITH SCORE 11596.011
AT ITER 1483 NEW BEST:: SOT 49086 SOS 12991 HAS SOPS 12991 HAS SOUS 11563 HAS SOUPS 11563 WITH SCORE 11575.991
AT ITER 1491 NEW BEST:: SOT 49086 SOS 12985 HAS SOPS 12985 HAS SOUS 11557 HAS SOUPS 11557 WITH SCORE 11569.985
AT ITER 1536 NEW BEST:: SOT 49117 SOS 12951 HAS SOPS 12951 HAS SOUS 11556 HAS SOUPS 11556 WITH SCORE 11568.951
AT ITER 1543 NEW BEST:: SOT 49117 SOS 12946 HAS SOPS 12946 HAS SOUS 11551 HAS SOUPS 11551 WITH SCORE 11563.946
AT ITER 1547 NEW BEST:: SOT 49115 SOS 12944 HAS SOPS 12944 HAS SOUS 11549 HAS SOUPS 11549 WITH SCORE 11561.944
AT ITER 1562 NEW BEST:: SOT 49088 SOS 12914 HAS SOPS 12914 HAS SOUS 11539 HAS SOUPS 11539 WITH SCORE 11551.914
AT ITER 1577 NEW BEST:: SOT 49088 SOS 12913 HAS SOPS 12913 HAS SOUS 11538 HAS SOUPS 11538 WITH SCORE 11550.913
AT ITER 1579 NEW BEST:: SOT 49087 SOS 12907 HAS SOPS 12907 HAS SOUS 11532 HAS SOUPS 11532 WITH SCORE 11544.907
AT ITER 1608 NEW BEST:: SOT 49073 SOS 12879 HAS SOPS 12879 HAS SOUS 11524 HAS SOUPS 11524 WITH SCORE 11536.879
AT ITER 1614 NEW BEST:: SOT 49032 SOS 12820 HAS SOPS 12820 HAS SOUS 11465 HAS SOUPS 11465 WITH SCORE 11477.82
AT ITER 1621 NEW BEST:: SOT 49027 SOS 12819 HAS SOPS 12819 HAS SOUS 11464 HAS SOUPS 11464 WITH SCORE 11476.819
AT ITER 1622 NEW BEST:: SOT 48967 SOS 12715 HAS SOPS 12715 HAS SOUS 11426 HAS SOUPS 11426 WITH SCORE 11438.715
AT ITER 1625 NEW BEST:: SOT 48964 SOS 12712 HAS SOPS 12712 HAS SOUS 11423 HAS SOUPS 11423 WITH SCORE 11435.712
AT ITER 1641 NEW BEST:: SOT 48971 SOS 12677 HAS SOPS 12677 HAS SOUS 11388 HAS SOUPS 11388 WITH SCORE 11400.677
AT ITER 1643 NEW BEST:: SOT 48960 SOS 12666 HAS SOPS 12666 HAS SOUS 11377 HAS SOUPS 11377 WITH SCORE 11389.666
AT ITER 1658 NEW BEST:: SOT 48950 SOS 12654 HAS SOPS 12654 HAS SOUS 11377 HAS SOUPS 11377 WITH SCORE 11389.654
AT ITER 1666 NEW BEST:: SOT 48942 SOS 12652 HAS SOPS 12652 HAS SOUS 11375 HAS SOUPS 11375 WITH SCORE 11387.652
AT ITER 1707 NEW BEST:: SOT 48956 SOS 12691 HAS SOPS 12691 HAS SOUS 11343 HAS SOUPS 11343 WITH SCORE 11355.691
AT ITER 1721 NEW BEST:: SOT 48946 SOS 12628 HAS SOPS 12628 HAS SOUS 11316 HAS SOUPS 11316 WITH SCORE 11328.628
AT ITER 1723 NEW BEST:: SOT 48923 SOS 12607 HAS SOPS 12607 HAS SOUS 11295 HAS SOUPS 11295 WITH SCORE 11307.607
AT ITER 1724 NEW BEST:: SOT 48920 SOS 12575 HAS SOPS 12575 HAS SOUS 11279 HAS SOUPS 11279 WITH SCORE 11291.575
AT ITER 1730 NEW BEST:: SOT 48920 SOS 12573 HAS SOPS 12573 HAS SOUS 11279 HAS SOUPS 11279 WITH SCORE 11291.573
AT ITER 1745 NEW BEST:: SOT 48918 SOS 12585 HAS SOPS 12585 HAS SOUS 11275 HAS SOUPS 11275 WITH SCORE 11287.585
AT ITER 1756 NEW BEST:: SOT 48893 SOS 12560 HAS SOPS 12560 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11258.56
AT ITER 1780 NEW BEST:: SOT 48893 SOS 12552 HAS SOPS 12552 HAS SOUS 11238 HAS SOUPS 11238 WITH SCORE 11250.552
AT ITER 1789 NEW BEST:: SOT 48893 SOS 12551 HAS SOPS 12551 HAS SOUS 11237 HAS SOUPS 11237 WITH SCORE 11249.551
AT ITER 1797 NEW BEST:: SOT 48893 SOS 12569 HAS SOPS 12569 HAS SOUS 11236 HAS SOUPS 11236 WITH SCORE 11248.569
AT ITER 1799 NEW BEST:: SOT 48893 SOS 12568 HAS SOPS 12568 HAS SOUS 11235 HAS SOUPS 11235 WITH SCORE 11247.568
AT ITER 1824 NEW BEST:: SOT 48882 SOS 12557 HAS SOPS 12557 HAS SOUS 11235 HAS SOUPS 11235 WITH SCORE 11247.557
AT ITER 1825 NEW BEST:: SOT 48882 SOS 12541 HAS SOPS 12541 HAS SOUS 11219 HAS SOUPS 11219 WITH SCORE 11231.541
AT ITER 1848 NEW BEST:: SOT 48907 SOS 12515 HAS SOPS 12515 HAS SOUS 11206 HAS SOUPS 11206 WITH SCORE 11218.515
AT ITER 1857 NEW BEST:: SOT 48907 SOS 12512 HAS SOPS 12512 HAS SOUS 11203 HAS SOUPS 11203 WITH SCORE 11215.512
AT ITER 1858 NEW BEST:: SOT 48906 SOS 12511 HAS SOPS 12511 HAS SOUS 11202 HAS SOUPS 11202 WITH SCORE 11214.511
AT ITER 1892 NEW BEST:: SOT 48904 SOS 12509 HAS SOPS 12509 HAS SOUS 11200 HAS SOUPS 11200 WITH SCORE 11212.509
AT ITER 1905 NEW BEST:: SOT 48892 SOS 12516 HAS SOPS 12516 HAS SOUS 11193 HAS SOUPS 11193 WITH SCORE 11205.516
AT ITER 1981 NEW BEST:: SOT 48891 SOS 12507 HAS SOPS 12507 HAS SOUS 11184 HAS SOUPS 11184 WITH SCORE 11196.507
AT ITER 2005 NEW BEST:: SOT 48891 SOS 12506 HAS SOPS 12506 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11195.506
AT ITER 2006 NEW BEST:: SOT 48894 SOS 12498 HAS SOPS 12498 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11195.498
AT ITER 2079 NEW BEST:: SOT 48893 SOS 12444 HAS SOPS 12444 HAS SOUS 11181 HAS SOUPS 11181 WITH SCORE 11193.444
AT ITER 2089 NEW BEST:: SOT 48893 SOS 12437 HAS SOPS 12437 HAS SOUS 11167 HAS SOUPS 11167 WITH SCORE 11179.437
AT ITER 2119 NEW BEST:: SOT 48894 SOS 12356 HAS SOPS 12356 HAS SOUS 11127 HAS SOUPS 11127 WITH SCORE 11139.356
AT ITER 2140 NEW BEST:: SOT 48894 SOS 12348 HAS SOPS 12348 HAS SOUS 11127 HAS SOUPS 11127 WITH SCORE 11139.348
AT ITER 2237 NEW BEST:: SOT 48862 SOS 12331 HAS SOPS 12331 HAS SOUS 11110 HAS SOUPS 11110 WITH SCORE 11122.331
AT ITER 2260 NEW BEST:: SOT 48860 SOS 12325 HAS SOPS 12325 HAS SOUS 11104 HAS SOUPS 11104 WITH SCORE 11116.325
AT ITER 2264 NEW BEST:: SOT 48827 SOS 12292 HAS SOPS 12292 HAS SOUS 11071 HAS SOUPS 11071 WITH SCORE 11083.292
AT ITER 2268 NEW BEST:: SOT 48824 SOS 12286 HAS SOPS 12286 HAS SOUS 11068 HAS SOUPS 11068 WITH SCORE 11080.286
AT ITER 2269 NEW BEST:: SOT 48790 SOS 12269 HAS SOPS 12269 HAS SOUS 11037 HAS SOUPS 11037 WITH SCORE 11049.269
AT ITER 2274 NEW BEST:: SOT 48846 SOS 12255 HAS SOPS 12255 HAS SOUS 11023 HAS SOUPS 11023 WITH SCORE 11035.255
AT ITER 2282 NEW BEST:: SOT 48812 SOS 12267 HAS SOPS 12267 HAS SOUS 11021 HAS SOUPS 11021 WITH SCORE 11033.267
AT ITER 2334 NEW BEST:: SOT 48811 SOS 12266 HAS SOPS 12266 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11032.266
AT ITER 2354 NEW BEST:: SOT 48806 SOS 12255 HAS SOPS 12255 HAS SOUS 11012 HAS SOUPS 11012 WITH SCORE 11024.255
AT ITER 2386 NEW BEST:: SOT 48812 SOS 12204 HAS SOPS 12204 HAS SOUS 10966 HAS SOUPS 10966 WITH SCORE 10978.204
AT ITER 2388 NEW BEST:: SOT 48812 SOS 12203 HAS SOPS 12203 HAS SOUS 10965 HAS SOUPS 10965 WITH SCORE 10977.203
AT ITER 2416 NEW BEST:: SOT 48811 SOS 12134 HAS SOPS 12134 HAS SOUS 10921 HAS SOUPS 10921 WITH SCORE 10933.134
AT ITER 2458 NEW BEST:: SOT 48799 SOS 12110 HAS SOPS 12110 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10921.11
AT ITER 2461 NEW BEST:: SOT 48810 SOS 12100 HAS SOPS 12100 HAS SOUS 10899 HAS SOUPS 10899 WITH SCORE 10911.1
AT ITER 2476 NEW BEST:: SOT 48810 SOS 12100 HAS SOPS 12100 HAS SOUS 10896 HAS SOUPS 10896 WITH SCORE 10908.1
AT ITER 2494 NEW BEST:: SOT 48810 SOS 12085 HAS SOPS 12085 HAS SOUS 10896 HAS SOUPS 10896 WITH SCORE 10908.085
AT ITER 2519 NEW BEST:: SOT 48806 SOS 12080 HAS SOPS 12080 HAS SOUS 10891 HAS SOUPS 10891 WITH SCORE 10903.08
AT ITER 2530 NEW BEST:: SOT 48806 SOS 12047 HAS SOPS 12047 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10870.047
AT ITER 2633 NEW BEST:: SOT 48806 SOS 12047 HAS SOPS 12047 HAS SOUS 10857 HAS SOUPS 10857 WITH SCORE 10869.047
AT ITER 2645 NEW BEST:: SOT 48808 SOS 12015 HAS SOPS 12015 HAS SOUS 10840 HAS SOUPS 10840 WITH SCORE 10852.015
AT ITER 2652 NEW BEST:: SOT 48780 SOS 11903 HAS SOPS 11903 HAS SOUS 10784 HAS SOUPS 10784 WITH SCORE 10795.903
AT ITER 2669 NEW BEST:: SOT 48780 SOS 11901 HAS SOPS 11901 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10793.901
AT ITER 2684 NEW BEST:: SOT 48781 SOS 11890 HAS SOPS 11890 HAS SOUS 10771 HAS SOUPS 10771 WITH SCORE 10782.89
AT ITER 2719 NEW BEST:: SOT 48792 SOS 11865 HAS SOPS 11865 HAS SOUS 10753 HAS SOUPS 10753 WITH SCORE 10764.865
AT ITER 2756 NEW BEST:: SOT 48788 SOS 11861 HAS SOPS 11861 HAS SOUS 10753 HAS SOUPS 10753 WITH SCORE 10764.861
AT ITER 2789 NEW BEST:: SOT 48763 SOS 11836 HAS SOPS 11836 HAS SOUS 10728 HAS SOUPS 10728 WITH SCORE 10739.836
AT ITER 2804 NEW BEST:: SOT 48759 SOS 11828 HAS SOPS 11828 HAS SOUS 10724 HAS SOUPS 10724 WITH SCORE 10735.828
AT ITER 2838 NEW BEST:: SOT 48759 SOS 11824 HAS SOPS 11824 HAS SOUS 10720 HAS SOUPS 10720 WITH SCORE 10731.824
AT ITER 2859 NEW BEST:: SOT 48708 SOS 11824 HAS SOPS 11824 HAS SOUS 10701 HAS SOUPS 10701 WITH SCORE 10712.824
AT ITER 2884 NEW BEST:: SOT 48692 SOS 11809 HAS SOPS 11809 HAS SOUS 10686 HAS SOUPS 10686 WITH SCORE 10697.809
AT ITER 2892 NEW BEST:: SOT 48685 SOS 11795 HAS SOPS 11795 HAS SOUS 10672 HAS SOUPS 10672 WITH SCORE 10683.795
AT ITER 2907 NEW BEST:: SOT 48676 SOS 11786 HAS SOPS 11786 HAS SOUS 10672 HAS SOUPS 10672 WITH SCORE 10683.786
AT ITER 2914 NEW BEST:: SOT 48677 SOS 11791 HAS SOPS 11791 HAS SOUS 10670 HAS SOUPS 10670 WITH SCORE 10681.791
AT ITER 2953 NEW BEST:: SOT 48677 SOS 11790 HAS SOPS 11790 HAS SOUS 10669 HAS SOUPS 10669 WITH SCORE 10680.79
AT ITER 2975 NEW BEST:: SOT 48676 SOS 11787 HAS SOPS 11787 HAS SOUS 10668 HAS SOUPS 10668 WITH SCORE 10679.787
AT ITER 2977 NEW BEST:: SOT 48688 SOS 11805 HAS SOPS 11805 HAS SOUS 10665 HAS SOUPS 10665 WITH SCORE 10676.805
AT ITER 3010 NEW BEST:: SOT 48679 SOS 11760 HAS SOPS 11760 HAS SOUS 10647 HAS SOUPS 10647 WITH SCORE 10658.76
AT ITER 3035 NEW BEST:: SOT 48666 SOS 11756 HAS SOPS 11756 HAS SOUS 10643 HAS SOUPS 10643 WITH SCORE 10654.756
AT ITER 3039 NEW BEST:: SOT 48666 SOS 11756 HAS SOPS 11756 HAS SOUS 10640 HAS SOUPS 10640 WITH SCORE 10651.756
AT ITER 3048 NEW BEST:: SOT 48641 SOS 11760 HAS SOPS 11760 HAS SOUS 10625 HAS SOUPS 10625 WITH SCORE 10636.76
AT ITER 3062 NEW BEST:: SOT 48653 SOS 11751 HAS SOPS 11751 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10627.751
AT ITER 3064 NEW BEST:: SOT 48653 SOS 11717 HAS SOPS 11717 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10627.717
AT ITER 3082 NEW BEST:: SOT 48653 SOS 11716 HAS SOPS 11716 HAS SOUS 10615 HAS SOUPS 10615 WITH SCORE 10626.716
AT ITER 3083 NEW BEST:: SOT 48654 SOS 11713 HAS SOPS 11713 HAS SOUS 10612 HAS SOUPS 10612 WITH SCORE 10623.713
AT ITER 3094 NEW BEST:: SOT 48653 SOS 11726 HAS SOPS 11726 HAS SOUS 10610 HAS SOUPS 10610 WITH SCORE 10621.726
AT ITER 3153 NEW BEST:: SOT 48652 SOS 11725 HAS SOPS 11725 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10620.725
AT ITER 3185 NEW BEST:: SOT 48638 SOS 11697 HAS SOPS 11697 HAS SOUS 10595 HAS SOUPS 10595 WITH SCORE 10606.697
AT ITER 3207 NEW BEST:: SOT 48604 SOS 11629 HAS SOPS 11629 HAS SOUS 10527 HAS SOUPS 10527 WITH SCORE 10538.629
AT ITER 3219 NEW BEST:: SOT 48603 SOS 11623 HAS SOPS 11623 HAS SOUS 10525 HAS SOUPS 10525 WITH SCORE 10536.623
AT ITER 3277 NEW BEST:: SOT 48598 SOS 11606 HAS SOPS 11606 HAS SOUS 10508 HAS SOUPS 10508 WITH SCORE 10519.606
AT ITER 3308 NEW BEST:: SOT 48598 SOS 11592 HAS SOPS 11592 HAS SOUS 10508 HAS SOUPS 10508 WITH SCORE 10519.592
AT ITER 3409 NEW BEST:: SOT 48597 SOS 11580 HAS SOPS 11580 HAS SOUS 10507 HAS SOUPS 10507 WITH SCORE 10518.58
AT ITER 3413 NEW BEST:: SOT 48597 SOS 11570 HAS SOPS 11570 HAS SOUS 10507 HAS SOUPS 10507 WITH SCORE 10518.57
AT ITER 3418 NEW BEST:: SOT 48592 SOS 11578 HAS SOPS 11578 HAS SOUS 10502 HAS SOUPS 10502 WITH SCORE 10513.578
AT ITER 3441 NEW BEST:: SOT 48592 SOS 11578 HAS SOPS 11578 HAS SOUS 10498 HAS SOUPS 10498 WITH SCORE 10509.578
AT ITER 3513 NEW BEST:: SOT 48592 SOS 11532 HAS SOPS 11532 HAS SOUS 10483 HAS SOUPS 10483 WITH SCORE 10494.532
AT ITER 3537 NEW BEST:: SOT 48577 SOS 11517 HAS SOPS 11517 HAS SOUS 10476 HAS SOUPS 10476 WITH SCORE 10487.517
AT ITER 3572 NEW BEST:: SOT 48571 SOS 11511 HAS SOPS 11511 HAS SOUS 10464 HAS SOUPS 10464 WITH SCORE 10475.511
AT ITER 3581 NEW BEST:: SOT 48571 SOS 11489 HAS SOPS 11489 HAS SOUS 10442 HAS SOUPS 10442 WITH SCORE 10453.489
AT ITER 3600 NEW BEST:: SOT 48566 SOS 11458 HAS SOPS 11458 HAS SOUS 10411 HAS SOUPS 10411 WITH SCORE 10422.458
AT ITER 3614 NEW BEST:: SOT 48566 SOS 11451 HAS SOPS 11451 HAS SOUS 10411 HAS SOUPS 10411 WITH SCORE 10422.451
AT ITER 3695 NEW BEST:: SOT 48566 SOS 11446 HAS SOPS 11446 HAS SOUS 10406 HAS SOUPS 10406 WITH SCORE 10417.446
AT ITER 3873 NEW BEST:: SOT 48563 SOS 11440 HAS SOPS 11440 HAS SOUS 10389 HAS SOUPS 10389 WITH SCORE 10400.44
AT ITER 3905 NEW BEST:: SOT 48583 SOS 11470 HAS SOPS 11470 HAS SOUS 10379 HAS SOUPS 10379 WITH SCORE 10390.47
AT ITER 3907 NEW BEST:: SOT 48581 SOS 11440 HAS SOPS 11440 HAS SOUS 10372 HAS SOUPS 10372 WITH SCORE 10383.44
AT ITER 3939 NEW BEST:: SOT 48585 SOS 11373 HAS SOPS 11373 HAS SOUS 10354 HAS SOUPS 10354 WITH SCORE 10365.373
AT ITER 3962 NEW BEST:: SOT 48588 SOS 11379 HAS SOPS 11379 HAS SOUS 10340 HAS SOUPS 10340 WITH SCORE 10351.379
AT ITER 4006 NEW BEST:: SOT 48599 SOS 11378 HAS SOPS 11378 HAS SOUS 10339 HAS SOUPS 10339 WITH SCORE 10350.378
AT ITER 4071 NEW BEST:: SOT 48597 SOS 11374 HAS SOPS 11374 HAS SOUS 10337 HAS SOUPS 10337 WITH SCORE 10348.374
AT ITER 4101 NEW BEST:: SOT 48595 SOS 11368 HAS SOPS 11368 HAS SOUS 10333 HAS SOUPS 10333 WITH SCORE 10344.368
AT ITER 4105 NEW BEST:: SOT 48595 SOS 11355 HAS SOPS 11355 HAS SOUS 10320 HAS SOUPS 10320 WITH SCORE 10331.355
AT ITER 4106 NEW BEST:: SOT 48577 SOS 11307 HAS SOPS 11307 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10297.307
AT ITER 4137 NEW BEST:: SOT 48553 SOS 11297 HAS SOPS 11297 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10287.297
AT ITER 4186 NEW BEST:: SOT 48551 SOS 11295 HAS SOPS 11295 HAS SOUS 10274 HAS SOUPS 10274 WITH SCORE 10285.295
AT ITER 4205 NEW BEST:: SOT 48545 SOS 11292 HAS SOPS 11292 HAS SOUS 10250 HAS SOUPS 10250 WITH SCORE 10261.292
AT ITER 4235 NEW BEST:: SOT 48544 SOS 11291 HAS SOPS 11291 HAS SOUS 10249 HAS SOUPS 10249 WITH SCORE 10260.291
AT ITER 4298 NEW BEST:: SOT 48555 SOS 11284 HAS SOPS 11284 HAS SOUS 10242 HAS SOUPS 10242 WITH SCORE 10253.284
AT ITER 4312 NEW BEST:: SOT 48555 SOS 11281 HAS SOPS 11281 HAS SOUS 10239 HAS SOUPS 10239 WITH SCORE 10250.281
AT ITER 4339 NEW BEST:: SOT 48554 SOS 11280 HAS SOPS 11280 HAS SOUS 10238 HAS SOUPS 10238 WITH SCORE 10249.28
AT ITER 4373 NEW BEST:: SOT 48547 SOS 11273 HAS SOPS 11273 HAS SOUS 10231 HAS SOUPS 10231 WITH SCORE 10242.273
AT ITER 4375 NEW BEST:: SOT 48526 SOS 11245 HAS SOPS 11245 HAS SOUS 10203 HAS SOUPS 10203 WITH SCORE 10214.245
AT ITER 4392 NEW BEST:: SOT 48525 SOS 11243 HAS SOPS 11243 HAS SOUS 10202 HAS SOUPS 10202 WITH SCORE 10213.243
AT ITER 4394 NEW BEST:: SOT 48509 SOS 11265 HAS SOPS 11265 HAS SOUS 10175 HAS SOUPS 10175 WITH SCORE 10186.265
AT ITER 4398 NEW BEST:: SOT 48495 SOS 11237 HAS SOPS 11237 HAS SOUS 10161 HAS SOUPS 10161 WITH SCORE 10172.237
AT ITER 4417 NEW BEST:: SOT 48482 SOS 11206 HAS SOPS 11206 HAS SOUS 10130 HAS SOUPS 10130 WITH SCORE 10141.206
AT ITER 4440 NEW BEST:: SOT 48472 SOS 11196 HAS SOPS 11196 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10131.196
AT ITER 4546 NEW BEST:: SOT 48470 SOS 11170 HAS SOPS 11170 HAS SOUS 10117 HAS SOUPS 10117 WITH SCORE 10128.17
AT ITER 4557 NEW BEST:: SOT 48456 SOS 11175 HAS SOPS 11175 HAS SOUS 10115 HAS SOUPS 10115 WITH SCORE 10126.175
AT ITER 4593 NEW BEST:: SOT 48441 SOS 11160 HAS SOPS 11160 HAS SOUS 10107 HAS SOUPS 10107 WITH SCORE 10118.16
AT ITER 4615 NEW BEST:: SOT 48437 SOS 11102 HAS SOPS 11102 HAS SOUS 10101 HAS SOUPS 10101 WITH SCORE 10112.102
AT ITER 4618 NEW BEST:: SOT 48428 SOS 11050 HAS SOPS 11050 HAS SOUS 10095 HAS SOUPS 10095 WITH SCORE 10106.05
AT ITER 4636 NEW BEST:: SOT 48428 SOS 11049 HAS SOPS 11049 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10105.049
AT ITER 4656 NEW BEST:: SOT 48393 SOS 10949 HAS SOPS 10949 HAS SOUS 10059 HAS SOUPS 10059 WITH SCORE 10069.949
AT ITER 4675 NEW BEST:: SOT 48389 SOS 10941 HAS SOPS 10941 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10054.941
AT ITER 4676 NEW BEST:: SOT 48389 SOS 10936 HAS SOPS 10936 HAS SOUS 10039 HAS SOUPS 10039 WITH SCORE 10049.936
AT ITER 4683 NEW BEST:: SOT 48389 SOS 10926 HAS SOPS 10926 HAS SOUS 10039 HAS SOUPS 10039 WITH SCORE 10049.926
AT ITER 4689 NEW BEST:: SOT 48391 SOS 10910 HAS SOPS 10910 HAS SOUS 10034 HAS SOUPS 10034 WITH SCORE 10044.91
AT ITER 4732 NEW BEST:: SOT 48392 SOS 10884 HAS SOPS 10884 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10018.884
AT ITER 4765 NEW BEST:: SOT 48369 SOS 10892 HAS SOPS 10892 HAS SOUS 10006 HAS SOUPS 10006 WITH SCORE 10016.892
AT ITER 4778 NEW BEST:: SOT 48341 SOS 10886 HAS SOPS 10886 HAS SOUS 9992 HAS SOUPS 9992 WITH SCORE 10002.886
AT ITER 4787 NEW BEST:: SOT 48353 SOS 10845 HAS SOPS 10845 HAS SOUS 9989 HAS SOUPS 9989 WITH SCORE 9999.845
AT ITER 4794 NEW BEST:: SOT 48327 SOS 10791 HAS SOPS 10791 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9945.791
AT ITER 4802 NEW BEST:: SOT 48324 SOS 10784 HAS SOPS 10784 HAS SOUS 9931 HAS SOUPS 9931 WITH SCORE 9941.784
AT ITER 4836 NEW BEST:: SOT 48324 SOS 10775 HAS SOPS 10775 HAS SOUS 9931 HAS SOUPS 9931 WITH SCORE 9941.775
AT ITER 4866 NEW BEST:: SOT 48321 SOS 10769 HAS SOPS 10769 HAS SOUS 9917 HAS SOUPS 9917 WITH SCORE 9927.769
AT ITER 4871 NEW BEST:: SOT 48314 SOS 10741 HAS SOPS 10741 HAS SOUS 9896 HAS SOUPS 9896 WITH SCORE 9906.741
AT ITER 4935 NEW BEST:: SOT 48304 SOS 10669 HAS SOPS 10669 HAS SOUS 9857 HAS SOUPS 9857 WITH SCORE 9867.669
AT ITER 4974 NEW BEST:: SOT 48348 SOS 10544 HAS SOPS 10544 HAS SOUS 9820 HAS SOUPS 9820 WITH SCORE 9830.544
AT ITER 4978 NEW BEST:: SOT 48339 SOS 10526 HAS SOPS 10526 HAS SOUS 9820 HAS SOUPS 9820 WITH SCORE 9830.526
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-00 (EF( (AX( ((potential((tk(P84)>=1))))))))
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-01 (EU( ( (! ( ((potential((tk(P10)>=1)))) | ((potential((tk(P48)>=1)))) )) | (AG( ((potential((tk(P80)>=1)))))) ) , (EX( ( ((potential((tk(P253)>=1) & (tk(P280)>=1)))) | ((potential((tk(P119)>=1)))) ))) ))
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-02 ( ((potential((tk(P11)>=1)))) | ( (AF( ((potential((tk(P200)>=1)))))) & (! (EU( ((potential((tk(P151)>=1)))) , ((potential((tk(P222)>=1)))) ))) ) )
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-03 (AF( ((potential((tk(P260)>=1) & (tk(P280)>=1))))))
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-04 ( (AG( (! ( ((potential((tk(P72)>=1)))) & ( ((potential((tk(P80)>=1)))) | ((potential((tk(P99)>=1) & (tk(P126)>=1)))) ) )))) & ( ( (! ( ( ((potential((tk(P27)>=1)))) | ((potential((tk(P201)>=1)))) ) | (! ((potential((tk(P1)>=1))))) )) | ( ( ((potential((tk(P200)>=1)))) | ( ((potential((tk(P123)>=1)))) | ((potential((tk(P128)>=1)))) ) ) & (AG( ((potential((tk(P273)>=1)))))) ) ) | ( (! (! (! ((potential((tk(P234)>=1))))))) & ( (EF( ((potential((tk(P212)>=1)))))) | ((potential((tk(P122)>=1)))) ) ) ) )
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-05 (AF( (AF( ((potential((tk(P200)>=1))))))))
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-06 (EF( ( (AG( ( ((potential((tk(P102)>=1) & (tk(P100)>=1)))) | ((potential((tk(P24)>=1) & (tk(P71)>=1)))) ))) | (AF( ( ((potential((tk(P53)>=1)))) & ((potential((tk(P244)>=1)))) ))) )))
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-07 (AX( (EG( (! ( ((potential((tk(P32)>=1) & (tk(P30)>=1)))) | ((potential((tk(P313)>=1)))) ))))))
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-08 (EG( ( ( ( (! ((potential((tk(P39)>=1) & (tk(P37)>=1))))) | (! ((potential((tk(P14)>=1))))) ) & ( (! ((potential((tk(P258)>=1))))) | ((potential((tk(P285)>=1)))) ) ) & ( ( ((potential((tk(P287)>=1)))) & ( ((potential((tk(P219)>=1)))) | ((potential((tk(P272)>=1)))) ) ) | ( (! ((potential((tk(P28)>=1))))) | (! ((potential((tk(P82)>=1))))) ) ) )))
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-09 (AF( ((potential((tk(P283)>=1))))))
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-10 (EF( ( ((potential((tk(P34)>=1)))) | (EF( ( ((potential((tk(P202)>=1)))) | ((potential((tk(P182)>=1)))) ))) )))
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-11 (! (AG( (EF( (! ((potential((tk(P175)>=1))))))))))
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-12 (EF( ( ( ( ((potential((tk(P247)>=1) & (tk(P309)>=1)))) & ( ((potential((tk(P10)>=1)))) & ((potential((tk(P147)>=1)))) ) ) & (! ((potential((tk(P122)>=1))))) ) & ( (EG( ((potential((tk(P22)>=1) & (tk(P49)>=1)))))) & (AF( ((potential((tk(P229)>=1)))))) ) )))
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-13 ( (AF( (EU( ((potential((tk(P276)>=1)))) , ((potential((tk(P251)>=1)))) )))) | (AG( (AU( ((potential((tk(P266)>=1)))) , ((potential((tk(P154)>=1)))) )))) )
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-14 (! (EF( ((potential((tk(P47)>=1)))))))
PROPERTY: ShieldPPPt-PT-004B-CTLFireability-15 (AF( (AX( (EG( ((potential((tk(P116)>=1) & (tk(P114)>=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="ShieldPPPt-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 ShieldPPPt-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-159033469700628"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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