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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 3.2K Mar 30 18:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 18:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 29 08:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 29 08:53 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.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 04:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 04:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 23:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 23:21 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 325K 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-06a-CTLFireability-00
FORMULA_NAME DLCround-PT-06a-CTLFireability-01
FORMULA_NAME DLCround-PT-06a-CTLFireability-02
FORMULA_NAME DLCround-PT-06a-CTLFireability-03
FORMULA_NAME DLCround-PT-06a-CTLFireability-04
FORMULA_NAME DLCround-PT-06a-CTLFireability-05
FORMULA_NAME DLCround-PT-06a-CTLFireability-06
FORMULA_NAME DLCround-PT-06a-CTLFireability-07
FORMULA_NAME DLCround-PT-06a-CTLFireability-08
FORMULA_NAME DLCround-PT-06a-CTLFireability-09
FORMULA_NAME DLCround-PT-06a-CTLFireability-10
FORMULA_NAME DLCround-PT-06a-CTLFireability-11
FORMULA_NAME DLCround-PT-06a-CTLFireability-12
FORMULA_NAME DLCround-PT-06a-CTLFireability-13
FORMULA_NAME DLCround-PT-06a-CTLFireability-14
FORMULA_NAME DLCround-PT-06a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589124874269

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 06a
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: 197 places, 1313 transitions, 5002 arcs.
AT ITER 0 NEW BEST:: SOT 169047 SOS 136160 HAS SOPS 81619 HAS SOUS 20673 HAS SOUPS 13448 WITH SCORE 13584.16
AT ITER 2 NEW BEST:: SOT 168985 SOS 136864 HAS SOPS 81840 HAS SOUS 20635 HAS SOUPS 13387 WITH SCORE 13523.864
AT ITER 6 NEW BEST:: SOT 168968 SOS 136864 HAS SOPS 81755 HAS SOUS 20549 HAS SOUPS 13241 WITH SCORE 13377.864
AT ITER 8 NEW BEST:: SOT 168950 SOS 136864 HAS SOPS 81665 HAS SOUS 20315 HAS SOUPS 13007 WITH SCORE 13143.864
AT ITER 11 NEW BEST:: SOT 169103 SOS 135791 HAS SOPS 81420 HAS SOUS 20308 HAS SOUPS 12829 WITH SCORE 12964.791
AT ITER 15 NEW BEST:: SOT 169061 SOS 135287 HAS SOPS 81336 HAS SOUS 20247 HAS SOUPS 12810 WITH SCORE 12945.287
AT ITER 17 NEW BEST:: SOT 169061 SOS 135211 HAS SOPS 81450 HAS SOUS 20224 HAS SOUPS 12806 WITH SCORE 12941.211
AT ITER 50 NEW BEST:: SOT 169028 SOS 135196 HAS SOPS 81435 HAS SOUS 20208 HAS SOUPS 12790 WITH SCORE 12925.196
AT ITER 59 NEW BEST:: SOT 168938 SOS 137023 HAS SOPS 82470 HAS SOUS 20185 HAS SOUPS 12767 WITH SCORE 12904.023
AT ITER 60 NEW BEST:: SOT 168878 SOS 136043 HAS SOPS 81920 HAS SOUS 20132 HAS SOUPS 12757 WITH SCORE 12893.043
AT ITER 61 NEW BEST:: SOT 168870 SOS 135991 HAS SOPS 81952 HAS SOUS 20116 HAS SOUPS 12753 WITH SCORE 12888.991
AT ITER 63 NEW BEST:: SOT 168864 SOS 135649 HAS SOPS 81610 HAS SOUS 20116 HAS SOUPS 12753 WITH SCORE 12888.649
AT ITER 65 NEW BEST:: SOT 168628 SOS 136262 HAS SOPS 81705 HAS SOUS 19763 HAS SOUPS 12602 WITH SCORE 12738.262
AT ITER 70 NEW BEST:: SOT 168746 SOS 136402 HAS SOPS 81845 HAS SOUS 19736 HAS SOUPS 12575 WITH SCORE 12711.402
AT ITER 75 NEW BEST:: SOT 168655 SOS 136307 HAS SOPS 81750 HAS SOUS 19701 HAS SOUPS 12540 WITH SCORE 12676.307
AT ITER 84 NEW BEST:: SOT 168210 SOS 135338 HAS SOPS 81369 HAS SOUS 19157 HAS SOUPS 12080 WITH SCORE 12215.338
AT ITER 95 NEW BEST:: SOT 168199 SOS 134964 HAS SOPS 80874 HAS SOUS 19157 HAS SOUPS 12080 WITH SCORE 12214.964
AT ITER 104 NEW BEST:: SOT 168230 SOS 132111 HAS SOPS 78156 HAS SOUS 19156 HAS SOUPS 12079 WITH SCORE 12211.111
AT ITER 105 NEW BEST:: SOT 168204 SOS 131826 HAS SOPS 77871 HAS SOUS 19131 HAS SOUPS 12054 WITH SCORE 12185.826
AT ITER 106 NEW BEST:: SOT 168348 SOS 132071 HAS SOPS 78116 HAS SOUS 18674 HAS SOUPS 11597 WITH SCORE 11729.071
AT ITER 113 NEW BEST:: SOT 168331 SOS 131417 HAS SOPS 77462 HAS SOUS 18667 HAS SOUPS 11590 WITH SCORE 11721.417
AT ITER 117 NEW BEST:: SOT 168319 SOS 131279 HAS SOPS 77384 HAS SOUS 18649 HAS SOUPS 11578 WITH SCORE 11709.279
AT ITER 134 NEW BEST:: SOT 168318 SOS 131274 HAS SOPS 77379 HAS SOUS 18648 HAS SOUPS 11577 WITH SCORE 11708.274
AT ITER 136 NEW BEST:: SOT 167954 SOS 130932 HAS SOPS 77227 HAS SOUS 18666 HAS SOUPS 11573 WITH SCORE 11703.932
AT ITER 139 NEW BEST:: SOT 167949 SOS 130872 HAS SOPS 77167 HAS SOUS 18661 HAS SOUPS 11568 WITH SCORE 11698.872
AT ITER 150 NEW BEST:: SOT 167932 SOS 130685 HAS SOPS 77150 HAS SOUS 18627 HAS SOUPS 11551 WITH SCORE 11681.685
AT ITER 155 NEW BEST:: SOT 167932 SOS 130223 HAS SOPS 76748 HAS SOUS 18615 HAS SOUPS 11545 WITH SCORE 11675.223
AT ITER 160 NEW BEST:: SOT 167932 SOS 130223 HAS SOPS 76727 HAS SOUS 18604 HAS SOUPS 11534 WITH SCORE 11664.223
AT ITER 168 NEW BEST:: SOT 167933 SOS 131131 HAS SOPS 77089 HAS SOUS 18615 HAS SOUPS 11519 WITH SCORE 11650.131
AT ITER 175 NEW BEST:: SOT 167934 SOS 131160 HAS SOPS 76950 HAS SOUS 18364 HAS SOUPS 11268 WITH SCORE 11399.16
AT ITER 184 NEW BEST:: SOT 167914 SOS 130900 HAS SOPS 76890 HAS SOUS 18324 HAS SOUPS 11248 WITH SCORE 11378.9
AT ITER 188 NEW BEST:: SOT 167879 SOS 130438 HAS SOPS 76814 HAS SOUS 18262 HAS SOUPS 11225 WITH SCORE 11355.438
AT ITER 193 NEW BEST:: SOT 167917 SOS 130476 HAS SOPS 76807 HAS SOUS 18284 HAS SOUPS 11223 WITH SCORE 11353.476
AT ITER 205 NEW BEST:: SOT 167950 SOS 130410 HAS SOPS 76840 HAS SOUS 18284 HAS SOUPS 11223 WITH SCORE 11353.41
AT ITER 223 NEW BEST:: SOT 167921 SOS 130062 HAS SOPS 76782 HAS SOUS 18255 HAS SOUPS 11223 WITH SCORE 11353.062
AT ITER 225 NEW BEST:: SOT 167912 SOS 129594 HAS SOPS 76314 HAS SOUS 18253 HAS SOUPS 11221 WITH SCORE 11350.594
AT ITER 229 NEW BEST:: SOT 167976 SOS 129532 HAS SOPS 76702 HAS SOUS 18194 HAS SOUPS 11207 WITH SCORE 11336.532
AT ITER 233 NEW BEST:: SOT 168024 SOS 129147 HAS SOPS 76687 HAS SOUS 18105 HAS SOUPS 11155 WITH SCORE 11284.147
AT ITER 236 NEW BEST:: SOT 168024 SOS 129147 HAS SOPS 76736 HAS SOUS 18091 HAS SOUPS 11148 WITH SCORE 11277.147
AT ITER 246 NEW BEST:: SOT 168051 SOS 129209 HAS SOPS 76623 HAS SOUS 18004 HAS SOUPS 10925 WITH SCORE 11054.209
AT ITER 247 NEW BEST:: SOT 168027 SOS 128921 HAS SOPS 76455 HAS SOUS 17980 HAS SOUPS 10913 WITH SCORE 11041.921
AT ITER 248 NEW BEST:: SOT 167855 SOS 128403 HAS SOPS 76301 HAS SOUS 17774 HAS SOUPS 10759 WITH SCORE 10887.403
AT ITER 262 NEW BEST:: SOT 167842 SOS 128390 HAS SOPS 76288 HAS SOUS 17722 HAS SOUPS 10707 WITH SCORE 10835.39
AT ITER 263 NEW BEST:: SOT 167957 SOS 127952 HAS SOPS 75894 HAS SOUS 17672 HAS SOUPS 10677 WITH SCORE 10804.952
AT ITER 270 NEW BEST:: SOT 167941 SOS 127183 HAS SOPS 75545 HAS SOUS 17641 HAS SOUPS 10666 WITH SCORE 10793.183
AT ITER 271 NEW BEST:: SOT 167437 SOS 126163 HAS SOPS 75221 HAS SOUS 17569 HAS SOUPS 10630 WITH SCORE 10756.163
AT ITER 281 NEW BEST:: SOT 167443 SOS 126049 HAS SOPS 75207 HAS SOUS 17535 HAS SOUPS 10606 WITH SCORE 10732.049
AT ITER 287 NEW BEST:: SOT 167401 SOS 126028 HAS SOPS 75186 HAS SOUS 17502 HAS SOUPS 10573 WITH SCORE 10699.028
AT ITER 305 NEW BEST:: SOT 167375 SOS 125674 HAS SOPS 75092 HAS SOUS 17467 HAS SOUPS 10564 WITH SCORE 10689.674
AT ITER 317 NEW BEST:: SOT 167437 SOS 125758 HAS SOPS 75044 HAS SOUS 17456 HAS SOUPS 10545 WITH SCORE 10670.758
AT ITER 330 NEW BEST:: SOT 167715 SOS 126089 HAS SOPS 75057 HAS SOUS 17162 HAS SOUPS 10199 WITH SCORE 10325.089
AT ITER 335 NEW BEST:: SOT 167549 SOS 126045 HAS SOPS 75013 HAS SOUS 17155 HAS SOUPS 10192 WITH SCORE 10318.045
AT ITER 339 NEW BEST:: SOT 167471 SOS 125615 HAS SOPS 74975 HAS SOUS 17059 HAS SOUPS 10152 WITH SCORE 10277.615
AT ITER 370 NEW BEST:: SOT 167481 SOS 124703 HAS SOPS 74459 HAS SOUS 17055 HAS SOUPS 10148 WITH SCORE 10272.703
AT ITER 376 NEW BEST:: SOT 167612 SOS 124831 HAS SOPS 74305 HAS SOUS 16958 HAS SOUPS 10054 WITH SCORE 10178.831
AT ITER 380 NEW BEST:: SOT 167612 SOS 123977 HAS SOPS 73571 HAS SOUS 16941 HAS SOUPS 10049 WITH SCORE 10172.977
AT ITER 384 NEW BEST:: SOT 167643 SOS 124225 HAS SOPS 73602 HAS SOUS 16943 HAS SOUPS 10020 WITH SCORE 10144.225
AT ITER 407 NEW BEST:: SOT 167725 SOS 124307 HAS SOPS 73634 HAS SOUS 16940 HAS SOUPS 9997 WITH SCORE 10121.307
AT ITER 413 NEW BEST:: SOT 167604 SOS 124770 HAS SOPS 73807 HAS SOUS 16898 HAS SOUPS 9926 WITH SCORE 10050.77
AT ITER 414 NEW BEST:: SOT 167604 SOS 124770 HAS SOPS 73807 HAS SOUS 16892 HAS SOUPS 9920 WITH SCORE 10044.77
AT ITER 420 NEW BEST:: SOT 167604 SOS 124770 HAS SOPS 73807 HAS SOUS 16883 HAS SOUPS 9915 WITH SCORE 10039.77
AT ITER 433 NEW BEST:: SOT 167056 SOS 123623 HAS SOPS 73399 HAS SOUS 16785 HAS SOUPS 9864 WITH SCORE 9987.623
AT ITER 473 NEW BEST:: SOT 167161 SOS 123728 HAS SOPS 73429 HAS SOUS 16757 HAS SOUPS 9836 WITH SCORE 9959.728
AT ITER 480 NEW BEST:: SOT 167168 SOS 123735 HAS SOPS 73411 HAS SOUS 16739 HAS SOUPS 9818 WITH SCORE 9941.735
AT ITER 483 NEW BEST:: SOT 167161 SOS 123598 HAS SOPS 73274 HAS SOUS 16735 HAS SOUPS 9814 WITH SCORE 9937.598
AT ITER 486 NEW BEST:: SOT 167183 SOS 123620 HAS SOPS 73284 HAS SOUS 16733 HAS SOUPS 9812 WITH SCORE 9935.62
AT ITER 498 NEW BEST:: SOT 167356 SOS 124489 HAS SOPS 73590 HAS SOUS 16706 HAS SOUPS 9766 WITH SCORE 9890.489
AT ITER 509 NEW BEST:: SOT 166592 SOS 117960 HAS SOPS 68229 HAS SOUS 16655 HAS SOUPS 9768 WITH SCORE 9885.96
AT ITER 514 NEW BEST:: SOT 166595 SOS 117861 HAS SOPS 68130 HAS SOUS 16655 HAS SOUPS 9768 WITH SCORE 9885.861
AT ITER 518 NEW BEST:: SOT 166616 SOS 118463 HAS SOPS 68702 HAS SOUS 16646 HAS SOUPS 9759 WITH SCORE 9877.463
AT ITER 526 NEW BEST:: SOT 166620 SOS 118426 HAS SOPS 68660 HAS SOUS 16640 HAS SOUPS 9753 WITH SCORE 9871.426
AT ITER 527 NEW BEST:: SOT 166695 SOS 118686 HAS SOPS 68705 HAS SOUS 16635 HAS SOUPS 9725 WITH SCORE 9843.686
AT ITER 531 NEW BEST:: SOT 166689 SOS 118614 HAS SOPS 68693 HAS SOUS 16627 HAS SOUPS 9723 WITH SCORE 9841.614
AT ITER 544 NEW BEST:: SOT 166721 SOS 118646 HAS SOPS 68725 HAS SOUS 16611 HAS SOUPS 9707 WITH SCORE 9825.646
AT ITER 558 NEW BEST:: SOT 166706 SOS 118586 HAS SOPS 68665 HAS SOUS 16596 HAS SOUPS 9692 WITH SCORE 9810.586
AT ITER 561 NEW BEST:: SOT 166706 SOS 118586 HAS SOPS 68665 HAS SOUS 16587 HAS SOUPS 9687 WITH SCORE 9805.586
AT ITER 562 NEW BEST:: SOT 166584 SOS 118475 HAS SOPS 68554 HAS SOUS 16567 HAS SOUPS 9667 WITH SCORE 9785.475
AT ITER 577 NEW BEST:: SOT 166627 SOS 118525 HAS SOPS 68758 HAS SOUS 16544 HAS SOUPS 9666 WITH SCORE 9784.525
AT ITER 578 NEW BEST:: SOT 166621 SOS 118516 HAS SOPS 68749 HAS SOUS 16541 HAS SOUPS 9663 WITH SCORE 9781.516
AT ITER 579 NEW BEST:: SOT 166618 SOS 118342 HAS SOPS 68743 HAS SOUS 16514 HAS SOUPS 9660 WITH SCORE 9778.342
AT ITER 583 NEW BEST:: SOT 166640 SOS 118218 HAS SOPS 68675 HAS SOUS 16504 HAS SOUPS 9658 WITH SCORE 9776.218
AT ITER 590 NEW BEST:: SOT 166618 SOS 119748 HAS SOPS 69239 HAS SOUS 16504 HAS SOUPS 9612 WITH SCORE 9731.748
AT ITER 591 NEW BEST:: SOT 166620 SOS 119576 HAS SOPS 69235 HAS SOUS 16490 HAS SOUPS 9606 WITH SCORE 9725.576
AT ITER 592 NEW BEST:: SOT 166586 SOS 118456 HAS SOPS 68295 HAS SOUS 16464 HAS SOUPS 9598 WITH SCORE 9716.456
AT ITER 595 NEW BEST:: SOT 166621 SOS 117726 HAS SOPS 67565 HAS SOUS 16453 HAS SOUPS 9587 WITH SCORE 9704.726
AT ITER 612 NEW BEST:: SOT 166674 SOS 117019 HAS SOPS 67011 HAS SOUS 16434 HAS SOUPS 9587 WITH SCORE 9704.019
AT ITER 643 NEW BEST:: SOT 166642 SOS 116965 HAS SOPS 66957 HAS SOUS 16424 HAS SOUPS 9577 WITH SCORE 9693.965
AT ITER 648 NEW BEST:: SOT 166602 SOS 116800 HAS SOPS 66911 HAS SOUS 16393 HAS SOUPS 9563 WITH SCORE 9679.8
AT ITER 653 NEW BEST:: SOT 166612 SOS 116810 HAS SOPS 66921 HAS SOUS 16379 HAS SOUPS 9549 WITH SCORE 9665.81
AT ITER 666 NEW BEST:: SOT 166618 SOS 116717 HAS SOPS 66861 HAS SOUS 16373 HAS SOUPS 9546 WITH SCORE 9662.717
AT ITER 689 NEW BEST:: SOT 166617 SOS 115168 HAS SOPS 65522 HAS SOUS 16337 HAS SOUPS 9531 WITH SCORE 9646.168
AT ITER 696 NEW BEST:: SOT 166567 SOS 115360 HAS SOPS 65615 HAS SOUS 16320 HAS SOUPS 9514 WITH SCORE 9629.36
AT ITER 705 NEW BEST:: SOT 166527 SOS 115120 HAS SOPS 65495 HAS SOUS 16300 HAS SOUPS 9474 WITH SCORE 9589.12
AT ITER 711 NEW BEST:: SOT 166566 SOS 114790 HAS SOPS 65505 HAS SOUS 16208 HAS SOUPS 9416 WITH SCORE 9530.79
AT ITER 719 NEW BEST:: SOT 166558 SOS 114778 HAS SOPS 65501 HAS SOUS 16197 HAS SOUPS 9408 WITH SCORE 9522.778
AT ITER 725 NEW BEST:: SOT 166533 SOS 114778 HAS SOPS 65501 HAS SOUS 16190 HAS SOUPS 9401 WITH SCORE 9515.778
AT ITER 734 NEW BEST:: SOT 166533 SOS 114754 HAS SOPS 65495 HAS SOUS 16184 HAS SOUPS 9395 WITH SCORE 9509.754
AT ITER 751 NEW BEST:: SOT 167033 SOS 115254 HAS SOPS 65760 HAS SOUS 16073 HAS SOUPS 9284 WITH SCORE 9399.254
AT ITER 798 NEW BEST:: SOT 166574 SOS 114329 HAS SOPS 65466 HAS SOUS 16013 HAS SOUPS 9267 WITH SCORE 9381.329
AT ITER 801 NEW BEST:: SOT 166552 SOS 114255 HAS SOPS 65490 HAS SOUS 15997 HAS SOUPS 9265 WITH SCORE 9379.255
AT ITER 802 NEW BEST:: SOT 166543 SOS 114147 HAS SOPS 65292 HAS SOUS 15988 HAS SOUPS 9247 WITH SCORE 9361.147
AT ITER 804 NEW BEST:: SOT 166541 SOS 114162 HAS SOPS 65313 HAS SOUS 15957 HAS SOUPS 9195 WITH SCORE 9309.162
AT ITER 836 NEW BEST:: SOT 166560 SOS 113972 HAS SOPS 65313 HAS SOUS 15938 HAS SOUPS 9195 WITH SCORE 9308.972
AT ITER 843 NEW BEST:: SOT 166560 SOS 113972 HAS SOPS 65313 HAS SOUS 15929 HAS SOUPS 9190 WITH SCORE 9303.972
AT ITER 852 NEW BEST:: SOT 166574 SOS 113788 HAS SOPS 65080 HAS SOUS 15910 HAS SOUPS 9171 WITH SCORE 9284.788
AT ITER 873 NEW BEST:: SOT 166541 SOS 113872 HAS SOPS 65104 HAS SOUS 15889 HAS SOUPS 9150 WITH SCORE 9263.872
AT ITER 879 NEW BEST:: SOT 166646 SOS 113835 HAS SOPS 65307 HAS SOUS 15857 HAS SOUPS 9150 WITH SCORE 9263.835
AT ITER 891 NEW BEST:: SOT 166001 SOS 112351 HAS SOPS 64773 HAS SOUS 15803 HAS SOUPS 9144 WITH SCORE 9256.351
AT ITER 893 NEW BEST:: SOT 165997 SOS 112347 HAS SOPS 64773 HAS SOUS 15803 HAS SOUPS 9144 WITH SCORE 9256.347
AT ITER 918 NEW BEST:: SOT 166007 SOS 112514 HAS SOPS 64940 HAS SOUS 15800 HAS SOUPS 9141 WITH SCORE 9253.514
AT ITER 938 NEW BEST:: SOT 166013 SOS 112366 HAS SOPS 64932 HAS SOUS 15766 HAS SOUPS 9127 WITH SCORE 9239.366
AT ITER 955 NEW BEST:: SOT 166019 SOS 112414 HAS SOPS 64938 HAS SOUS 15766 HAS SOUPS 9121 WITH SCORE 9233.414
AT ITER 957 NEW BEST:: SOT 166007 SOS 112391 HAS SOPS 64931 HAS SOUS 15764 HAS SOUPS 9120 WITH SCORE 9232.391
AT ITER 968 NEW BEST:: SOT 166006 SOS 112345 HAS SOPS 64895 HAS SOUS 15762 HAS SOUPS 9119 WITH SCORE 9231.345
AT ITER 979 NEW BEST:: SOT 166081 SOS 111943 HAS SOPS 64649 HAS SOUS 15775 HAS SOUPS 9114 WITH SCORE 9225.943
AT ITER 1004 NEW BEST:: SOT 166101 SOS 112000 HAS SOPS 64662 HAS SOUS 15769 HAS SOUPS 9108 WITH SCORE 9220.0
AT ITER 1029 NEW BEST:: SOT 165857 SOS 111517 HAS SOPS 64525 HAS SOUS 15741 HAS SOUPS 9099 WITH SCORE 9210.517
AT ITER 1036 NEW BEST:: SOT 165809 SOS 111469 HAS SOPS 64477 HAS SOUS 15714 HAS SOUPS 9072 WITH SCORE 9183.469
AT ITER 1049 NEW BEST:: SOT 165908 SOS 111568 HAS SOPS 64522 HAS SOUS 15705 HAS SOUPS 9063 WITH SCORE 9174.568
AT ITER 1052 NEW BEST:: SOT 165979 SOS 110892 HAS SOPS 64286 HAS SOUS 15659 HAS SOUPS 9061 WITH SCORE 9171.892
AT ITER 1068 NEW BEST:: SOT 165997 SOS 110910 HAS SOPS 64292 HAS SOUS 15648 HAS SOUPS 9050 WITH SCORE 9160.91
AT ITER 1077 NEW BEST:: SOT 165995 SOS 110976 HAS SOPS 64338 HAS SOUS 15648 HAS SOUPS 9048 WITH SCORE 9158.976
AT ITER 1082 NEW BEST:: SOT 165703 SOS 110483 HAS SOPS 64145 HAS SOUS 15606 HAS SOUPS 9031 WITH SCORE 9141.483
AT ITER 1083 NEW BEST:: SOT 165715 SOS 110032 HAS SOPS 63864 HAS SOUS 15550 HAS SOUPS 8992 WITH SCORE 9102.032
AT ITER 1102 NEW BEST:: SOT 165715 SOS 110032 HAS SOPS 63864 HAS SOUS 15543 HAS SOUPS 8985 WITH SCORE 9095.032
AT ITER 1109 NEW BEST:: SOT 165735 SOS 110213 HAS SOPS 64039 HAS SOUS 15527 HAS SOUPS 8969 WITH SCORE 9079.213
AT ITER 1129 NEW BEST:: SOT 165734 SOS 110212 HAS SOPS 64039 HAS SOUS 15527 HAS SOUPS 8969 WITH SCORE 9079.212
AT ITER 1142 NEW BEST:: SOT 165716 SOS 110175 HAS SOPS 64028 HAS SOUS 15524 HAS SOUPS 8968 WITH SCORE 9078.175
AT ITER 1163 NEW BEST:: SOT 165210 SOS 109341 HAS SOPS 63740 HAS SOUS 15479 HAS SOUPS 8965 WITH SCORE 9074.341
AT ITER 1174 NEW BEST:: SOT 165164 SOS 109243 HAS SOPS 63696 HAS SOUS 15491 HAS SOUPS 8965 WITH SCORE 9074.243
AT ITER 1188 NEW BEST:: SOT 165183 SOS 109015 HAS SOPS 63525 HAS SOUS 15491 HAS SOUPS 8965 WITH SCORE 9074.015
AT ITER 1192 NEW BEST:: SOT 165079 SOS 108327 HAS SOPS 62391 HAS SOUS 15480 HAS SOUPS 8906 WITH SCORE 9014.327
AT ITER 1216 NEW BEST:: SOT 165086 SOS 109127 HAS SOPS 63191 HAS SOUS 15473 HAS SOUPS 8899 WITH SCORE 9008.127
AT ITER 1221 NEW BEST:: SOT 165075 SOS 108887 HAS SOPS 62950 HAS SOUS 15446 HAS SOUPS 8872 WITH SCORE 8980.887
AT ITER 1251 NEW BEST:: SOT 165045 SOS 108847 HAS SOPS 62910 HAS SOUS 15436 HAS SOUPS 8862 WITH SCORE 8970.847
AT ITER 1263 NEW BEST:: SOT 165045 SOS 108779 HAS SOPS 62862 HAS SOUS 15434 HAS SOUPS 8862 WITH SCORE 8970.779
AT ITER 1276 NEW BEST:: SOT 165070 SOS 108804 HAS SOPS 62862 HAS SOUS 15425 HAS SOUPS 8857 WITH SCORE 8965.804
AT ITER 1298 NEW BEST:: SOT 165050 SOS 108331 HAS SOPS 62795 HAS SOUS 15362 HAS SOUPS 8837 WITH SCORE 8945.331
AT ITER 1304 NEW BEST:: SOT 165036 SOS 108303 HAS SOPS 62767 HAS SOUS 15337 HAS SOUPS 8812 WITH SCORE 8920.303
AT ITER 1323 NEW BEST:: SOT 164618 SOS 107129 HAS SOPS 61803 HAS SOUS 15324 HAS SOUPS 8799 WITH SCORE 8906.129
AT ITER 1332 NEW BEST:: SOT 164604 SOS 106088 HAS SOPS 60942 HAS SOUS 15302 HAS SOUPS 8795 WITH SCORE 8901.088
AT ITER 1343 NEW BEST:: SOT 164306 SOS 105768 HAS SOPS 60754 HAS SOUS 15290 HAS SOUPS 8783 WITH SCORE 8888.768
AT ITER 1346 NEW BEST:: SOT 164302 SOS 105703 HAS SOPS 60752 HAS SOUS 15261 HAS SOUPS 8763 WITH SCORE 8868.703
AT ITER 1369 NEW BEST:: SOT 164414 SOS 105815 HAS SOPS 60780 HAS SOUS 15247 HAS SOUPS 8749 WITH SCORE 8854.815
AT ITER 1417 NEW BEST:: SOT 164408 SOS 105809 HAS SOPS 60780 HAS SOUS 15228 HAS SOUPS 8734 WITH SCORE 8839.809
AT ITER 1462 NEW BEST:: SOT 164390 SOS 105879 HAS SOPS 60850 HAS SOUS 15206 HAS SOUPS 8712 WITH SCORE 8817.879
AT ITER 1475 NEW BEST:: SOT 164373 SOS 105719 HAS SOPS 60690 HAS SOUS 15201 HAS SOUPS 8707 WITH SCORE 8812.719
AT ITER 1477 NEW BEST:: SOT 164544 SOS 106002 HAS SOPS 60778 HAS SOUS 15195 HAS SOUPS 8686 WITH SCORE 8792.002
AT ITER 1483 NEW BEST:: SOT 164544 SOS 106002 HAS SOPS 60778 HAS SOUS 15189 HAS SOUPS 8680 WITH SCORE 8786.002
AT ITER 1509 NEW BEST:: SOT 164542 SOS 105998 HAS SOPS 60794 HAS SOUS 15187 HAS SOUPS 8680 WITH SCORE 8785.998
AT ITER 1519 NEW BEST:: SOT 164642 SOS 106168 HAS SOPS 60834 HAS SOUS 15187 HAS SOUPS 8670 WITH SCORE 8776.168
AT ITER 1539 NEW BEST:: SOT 164650 SOS 106060 HAS SOPS 60808 HAS SOUS 15166 HAS SOUPS 8645 WITH SCORE 8751.06
AT ITER 1542 NEW BEST:: SOT 164638 SOS 105931 HAS SOPS 60679 HAS SOUS 15163 HAS SOUPS 8642 WITH SCORE 8747.931
AT ITER 1630 NEW BEST:: SOT 164641 SOS 105970 HAS SOPS 60715 HAS SOUS 15157 HAS SOUPS 8636 WITH SCORE 8741.97
AT ITER 1637 NEW BEST:: SOT 164693 SOS 106073 HAS SOPS 60746 HAS SOUS 15149 HAS SOUPS 8627 WITH SCORE 8733.073
AT ITER 1644 NEW BEST:: SOT 164689 SOS 106073 HAS SOPS 60726 HAS SOUS 15147 HAS SOUPS 8623 WITH SCORE 8729.073
AT ITER 1674 NEW BEST:: SOT 164681 SOS 106065 HAS SOPS 60726 HAS SOUS 15147 HAS SOUPS 8623 WITH SCORE 8729.065
AT ITER 1683 NEW BEST:: SOT 164692 SOS 106045 HAS SOPS 60734 HAS SOUS 15141 HAS SOUPS 8620 WITH SCORE 8726.045
AT ITER 1694 NEW BEST:: SOT 164848 SOS 106344 HAS SOPS 60825 HAS SOUS 15141 HAS SOUPS 8607 WITH SCORE 8713.344
AT ITER 1711 NEW BEST:: SOT 164877 SOS 106373 HAS SOPS 60825 HAS SOUS 15089 HAS SOUPS 8579 WITH SCORE 8685.373
AT ITER 1715 NEW BEST:: SOT 164826 SOS 106612 HAS SOPS 60950 HAS SOUS 15089 HAS SOUPS 8568 WITH SCORE 8674.612
AT ITER 1736 NEW BEST:: SOT 164925 SOS 106774 HAS SOPS 60995 HAS SOUS 15082 HAS SOUPS 8552 WITH SCORE 8658.774
AT ITER 1745 NEW BEST:: SOT 165011 SOS 107608 HAS SOPS 61460 HAS SOUS 15078 HAS SOUPS 8548 WITH SCORE 8655.608
AT ITER 1746 NEW BEST:: SOT 165009 SOS 107432 HAS SOPS 61413 HAS SOUS 15076 HAS SOUPS 8546 WITH SCORE 8653.432
AT ITER 1760 NEW BEST:: SOT 164967 SOS 106020 HAS SOPS 60291 HAS SOUS 15025 HAS SOUPS 8524 WITH SCORE 8630.02
AT ITER 1785 NEW BEST:: SOT 164970 SOS 105959 HAS SOPS 60250 HAS SOUS 15020 HAS SOUPS 8521 WITH SCORE 8626.959
AT ITER 1786 NEW BEST:: SOT 164833 SOS 105364 HAS SOPS 59550 HAS SOUS 15049 HAS SOUPS 8521 WITH SCORE 8626.364
AT ITER 1788 NEW BEST:: SOT 164908 SOS 105455 HAS SOPS 59587 HAS SOUS 15038 HAS SOUPS 8510 WITH SCORE 8615.455
AT ITER 1796 NEW BEST:: SOT 164725 SOS 105272 HAS SOPS 59506 HAS SOUS 15038 HAS SOUPS 8510 WITH SCORE 8615.272
AT ITER 1801 NEW BEST:: SOT 164725 SOS 105244 HAS SOPS 59464 HAS SOUS 15040 HAS SOUPS 8510 WITH SCORE 8615.244
AT ITER 1811 NEW BEST:: SOT 164691 SOS 105631 HAS SOPS 59851 HAS SOUS 15029 HAS SOUPS 8499 WITH SCORE 8604.631
AT ITER 1835 NEW BEST:: SOT 164839 SOS 104263 HAS SOPS 58893 HAS SOUS 14995 HAS SOUPS 8495 WITH SCORE 8599.263
AT ITER 1904 NEW BEST:: SOT 164861 SOS 104299 HAS SOPS 58905 HAS SOUS 14993 HAS SOUPS 8491 WITH SCORE 8595.299
AT ITER 1937 NEW BEST:: SOT 164858 SOS 104596 HAS SOPS 58880 HAS SOUS 15016 HAS SOUPS 8468 WITH SCORE 8572.596
AT ITER 1951 NEW BEST:: SOT 164284 SOS 102932 HAS SOPS 57950 HAS SOUS 14899 HAS SOUPS 8385 WITH SCORE 8487.932
AT ITER 1965 NEW BEST:: SOT 164310 SOS 102921 HAS SOPS 57955 HAS SOUS 14863 HAS SOUPS 8356 WITH SCORE 8458.921
AT ITER 1994 NEW BEST:: SOT 163979 SOS 102460 HAS SOPS 57674 HAS SOUS 14861 HAS SOUPS 8354 WITH SCORE 8456.46
AT ITER 1995 NEW BEST:: SOT 163931 SOS 102364 HAS SOPS 57638 HAS SOUS 14855 HAS SOUPS 8348 WITH SCORE 8450.364
AT ITER 2063 NEW BEST:: SOT 163927 SOS 102380 HAS SOPS 57594 HAS SOUS 14860 HAS SOUPS 8347 WITH SCORE 8449.38
AT ITER 2088 NEW BEST:: SOT 163905 SOS 102366 HAS SOPS 57572 HAS SOUS 14844 HAS SOUPS 8331 WITH SCORE 8433.366
AT ITER 2094 NEW BEST:: SOT 163905 SOS 102366 HAS SOPS 57572 HAS SOUS 14841 HAS SOUPS 8329 WITH SCORE 8431.366
AT ITER 2114 NEW BEST:: SOT 163921 SOS 102386 HAS SOPS 57582 HAS SOUS 14837 HAS SOUPS 8325 WITH SCORE 8427.386
AT ITER 2119 NEW BEST:: SOT 163917 SOS 102423 HAS SOPS 57619 HAS SOUS 14833 HAS SOUPS 8321 WITH SCORE 8423.423
AT ITER 2138 NEW BEST:: SOT 163913 SOS 102397 HAS SOPS 57613 HAS SOUS 14829 HAS SOUPS 8319 WITH SCORE 8421.397
AT ITER 2140 NEW BEST:: SOT 163877 SOS 102411 HAS SOPS 57507 HAS SOUS 14810 HAS SOUPS 8288 WITH SCORE 8390.411
AT ITER 2198 NEW BEST:: SOT 163871 SOS 102402 HAS SOPS 57504 HAS SOUS 14804 HAS SOUPS 8285 WITH SCORE 8387.402
AT ITER 2237 NEW BEST:: SOT 163979 SOS 102573 HAS SOPS 57558 HAS SOUS 14811 HAS SOUPS 8283 WITH SCORE 8385.573
AT ITER 2250 NEW BEST:: SOT 163870 SOS 102091 HAS SOPS 57076 HAS SOUS 14760 HAS SOUPS 8232 WITH SCORE 8334.091
AT ITER 2264 NEW BEST:: SOT 163864 SOS 102086 HAS SOPS 57076 HAS SOUS 14761 HAS SOUPS 8232 WITH SCORE 8334.086
AT ITER 2268 NEW BEST:: SOT 163583 SOS 101208 HAS SOPS 56571 HAS SOUS 14690 HAS SOUPS 8189 WITH SCORE 8290.208
AT ITER 2287 NEW BEST:: SOT 163376 SOS 99560 HAS SOPS 55169 HAS SOUS 14650 HAS SOUPS 8149 WITH SCORE 8248.56
AT ITER 2299 NEW BEST:: SOT 164167 SOS 101175 HAS SOPS 55651 HAS SOUS 14699 HAS SOUPS 8137 WITH SCORE 8238.175
AT ITER 2307 NEW BEST:: SOT 164172 SOS 101133 HAS SOPS 55609 HAS SOUS 14696 HAS SOUPS 8134 WITH SCORE 8235.133
AT ITER 2318 NEW BEST:: SOT 164026 SOS 100716 HAS SOPS 55342 HAS SOUS 14675 HAS SOUPS 8127 WITH SCORE 8227.716
AT ITER 2342 NEW BEST:: SOT 164024 SOS 100674 HAS SOPS 55315 HAS SOUS 14671 HAS SOUPS 8123 WITH SCORE 8223.674
AT ITER 2384 NEW BEST:: SOT 163964 SOS 100569 HAS SOPS 55285 HAS SOUS 14656 HAS SOUPS 8123 WITH SCORE 8223.569
AT ITER 2387 NEW BEST:: SOT 164093 SOS 100826 HAS SOPS 55363 HAS SOUS 14666 HAS SOUPS 8120 WITH SCORE 8220.826
AT ITER 2391 NEW BEST:: SOT 164164 SOS 100798 HAS SOPS 55069 HAS SOUS 14703 HAS SOUPS 8119 WITH SCORE 8219.798
AT ITER 2395 NEW BEST:: SOT 164132 SOS 101526 HAS SOPS 55511 HAS SOUS 14671 HAS SOUPS 8087 WITH SCORE 8188.526
AT ITER 2407 NEW BEST:: SOT 164195 SOS 101972 HAS SOPS 55957 HAS SOUS 14665 HAS SOUPS 8081 WITH SCORE 8182.972
AT ITER 2504 NEW BEST:: SOT 164153 SOS 101887 HAS SOPS 55930 HAS SOUS 14659 HAS SOUPS 8078 WITH SCORE 8179.887
AT ITER 2549 NEW BEST:: SOT 164158 SOS 101892 HAS SOPS 55945 HAS SOUS 14657 HAS SOUPS 8077 WITH SCORE 8178.892
AT ITER 2583 NEW BEST:: SOT 164170 SOS 101922 HAS SOPS 55951 HAS SOUS 14651 HAS SOUPS 8071 WITH SCORE 8172.922
AT ITER 2614 NEW BEST:: SOT 164166 SOS 101919 HAS SOPS 55948 HAS SOUS 14648 HAS SOUPS 8068 WITH SCORE 8169.919
AT ITER 2617 NEW BEST:: SOT 164187 SOS 99997 HAS SOPS 54346 HAS SOUS 14596 HAS SOUPS 8048 WITH SCORE 8147.997
AT ITER 2619 NEW BEST:: SOT 164199 SOS 99801 HAS SOPS 54370 HAS SOUS 14574 HAS SOUPS 8048 WITH SCORE 8147.801
AT ITER 2636 NEW BEST:: SOT 164186 SOS 99775 HAS SOPS 54318 HAS SOUS 14574 HAS SOUPS 8044 WITH SCORE 8143.775
AT ITER 2639 NEW BEST:: SOT 164187 SOS 99660 HAS SOPS 54248 HAS SOUS 14563 HAS SOUPS 8033 WITH SCORE 8132.66
AT ITER 2646 NEW BEST:: SOT 164185 SOS 99651 HAS SOPS 54246 HAS SOUS 14561 HAS SOUPS 8032 WITH SCORE 8131.651
AT ITER 2651 NEW BEST:: SOT 164111 SOS 99552 HAS SOPS 54241 HAS SOUS 14542 HAS SOUPS 8028 WITH SCORE 8127.552
AT ITER 2654 NEW BEST:: SOT 164101 SOS 99507 HAS SOPS 54231 HAS SOUS 14527 HAS SOUPS 8018 WITH SCORE 8117.507
AT ITER 2673 NEW BEST:: SOT 163616 SOS 98415 HAS SOPS 53889 HAS SOUS 14471 HAS SOUPS 8012 WITH SCORE 8110.415
AT ITER 2674 NEW BEST:: SOT 163628 SOS 98491 HAS SOPS 53925 HAS SOUS 14483 HAS SOUPS 8008 WITH SCORE 8106.491
AT ITER 2677 NEW BEST:: SOT 163712 SOS 98688 HAS SOPS 54092 HAS SOUS 14465 HAS SOUPS 8001 WITH SCORE 8099.688
AT ITER 2689 NEW BEST:: SOT 163624 SOS 98508 HAS SOPS 53934 HAS SOUS 14423 HAS SOUPS 7959 WITH SCORE 8057.508
AT ITER 2692 NEW BEST:: SOT 163572 SOS 98768 HAS SOPS 53914 HAS SOUS 14450 HAS SOUPS 7958 WITH SCORE 8056.768
AT ITER 2696 NEW BEST:: SOT 163579 SOS 98558 HAS SOPS 53781 HAS SOUS 14450 HAS SOUPS 7958 WITH SCORE 8056.558
AT ITER 2755 NEW BEST:: SOT 163443 SOS 98456 HAS SOPS 53679 HAS SOUS 14450 HAS SOUPS 7941 WITH SCORE 8039.456
AT ITER 2771 NEW BEST:: SOT 163443 SOS 98456 HAS SOPS 53679 HAS SOUS 14441 HAS SOUPS 7936 WITH SCORE 8034.456
AT ITER 2807 NEW BEST:: SOT 163434 SOS 98442 HAS SOPS 53625 HAS SOUS 14439 HAS SOUPS 7930 WITH SCORE 8028.442
AT ITER 2839 NEW BEST:: SOT 163618 SOS 98779 HAS SOPS 53704 HAS SOUS 14478 HAS SOUPS 7917 WITH SCORE 8015.779
AT ITER 2870 NEW BEST:: SOT 163618 SOS 98779 HAS SOPS 53704 HAS SOUS 14466 HAS SOUPS 7905 WITH SCORE 8003.779
AT ITER 2886 NEW BEST:: SOT 163599 SOS 98760 HAS SOPS 53704 HAS SOUS 14464 HAS SOUPS 7903 WITH SCORE 8001.76
AT ITER 2895 NEW BEST:: SOT 163608 SOS 98772 HAS SOPS 53656 HAS SOUS 14467 HAS SOUPS 7900 WITH SCORE 7998.772
AT ITER 2899 NEW BEST:: SOT 163479 SOS 98515 HAS SOPS 53578 HAS SOUS 14453 HAS SOUPS 7899 WITH SCORE 7997.515
AT ITER 2919 NEW BEST:: SOT 163642 SOS 98862 HAS SOPS 53689 HAS SOUS 14470 HAS SOUPS 7896 WITH SCORE 7994.862
AT ITER 2921 NEW BEST:: SOT 163610 SOS 98809 HAS SOPS 53669 HAS SOUS 14466 HAS SOUPS 7894 WITH SCORE 7992.809
AT ITER 2927 NEW BEST:: SOT 163623 SOS 98731 HAS SOPS 53696 HAS SOUS 14449 HAS SOUPS 7892 WITH SCORE 7990.731
AT ITER 2947 NEW BEST:: SOT 163392 SOS 98258 HAS SOPS 53337 HAS SOUS 14438 HAS SOUPS 7881 WITH SCORE 7979.258
AT ITER 2983 NEW BEST:: SOT 163392 SOS 98258 HAS SOPS 53337 HAS SOUS 14429 HAS SOUPS 7876 WITH SCORE 7974.258
AT ITER 3009 NEW BEST:: SOT 163383 SOS 98375 HAS SOPS 53454 HAS SOUS 14426 HAS SOUPS 7873 WITH SCORE 7971.375
AT ITER 3012 NEW BEST:: SOT 163360 SOS 98334 HAS SOPS 53413 HAS SOUS 14417 HAS SOUPS 7864 WITH SCORE 7962.334
AT ITER 3025 NEW BEST:: SOT 163338 SOS 98308 HAS SOPS 53393 HAS SOUS 14406 HAS SOUPS 7854 WITH SCORE 7952.308
AT ITER 3038 NEW BEST:: SOT 163218 SOS 98158 HAS SOPS 53333 HAS SOUS 14406 HAS SOUPS 7854 WITH SCORE 7952.158
AT ITER 3088 NEW BEST:: SOT 163238 SOS 98163 HAS SOPS 53333 HAS SOUS 14391 HAS SOUPS 7844 WITH SCORE 7942.163
AT ITER 3097 NEW BEST:: SOT 163296 SOS 98231 HAS SOPS 53359 HAS SOUS 14389 HAS SOUPS 7842 WITH SCORE 7940.231
AT ITER 3103 NEW BEST:: SOT 163218 SOS 98062 HAS SOPS 53307 HAS SOUS 14389 HAS SOUPS 7842 WITH SCORE 7940.062
AT ITER 3109 NEW BEST:: SOT 163216 SOS 98058 HAS SOPS 53303 HAS SOUS 14389 HAS SOUPS 7842 WITH SCORE 7940.058
AT ITER 3177 NEW BEST:: SOT 162904 SOS 97681 HAS SOPS 53088 HAS SOUS 14379 HAS SOUPS 7832 WITH SCORE 7929.681
AT ITER 3228 NEW BEST:: SOT 162922 SOS 97463 HAS SOPS 52948 HAS SOUS 14370 HAS SOUPS 7823 WITH SCORE 7920.463
AT ITER 3237 NEW BEST:: SOT 162895 SOS 97388 HAS SOPS 52891 HAS SOUS 14352 HAS SOUPS 7808 WITH SCORE 7905.388
AT ITER 3272 NEW BEST:: SOT 162776 SOS 96707 HAS SOPS 52391 HAS SOUS 14339 HAS SOUPS 7802 WITH SCORE 7898.707
AT ITER 3318 NEW BEST:: SOT 162776 SOS 96707 HAS SOPS 52391 HAS SOUS 14330 HAS SOUPS 7797 WITH SCORE 7893.707
AT ITER 3332 NEW BEST:: SOT 162763 SOS 96692 HAS SOPS 52379 HAS SOUS 14321 HAS SOUPS 7789 WITH SCORE 7885.692
AT ITER 3349 NEW BEST:: SOT 162763 SOS 96602 HAS SOPS 52289 HAS SOUS 14321 HAS SOUPS 7789 WITH SCORE 7885.602
AT ITER 3353 NEW BEST:: SOT 162762 SOS 96593 HAS SOPS 52276 HAS SOUS 14317 HAS SOUPS 7785 WITH SCORE 7881.593
AT ITER 3417 NEW BEST:: SOT 162772 SOS 96613 HAS SOPS 52226 HAS SOUS 14317 HAS SOUPS 7780 WITH SCORE 7876.613
AT ITER 3515 NEW BEST:: SOT 162742 SOS 96535 HAS SOPS 52169 HAS SOUS 14293 HAS SOUPS 7759 WITH SCORE 7855.535
AT ITER 3519 NEW BEST:: SOT 162664 SOS 96078 HAS SOPS 51947 HAS SOUS 14287 HAS SOUPS 7753 WITH SCORE 7849.078
AT ITER 3520 NEW BEST:: SOT 162827 SOS 96339 HAS SOPS 52039 HAS SOUS 14297 HAS SOUPS 7750 WITH SCORE 7846.339
AT ITER 3541 NEW BEST:: SOT 162151 SOS 95609 HAS SOPS 51579 HAS SOUS 14274 HAS SOUPS 7727 WITH SCORE 7822.609
AT ITER 3543 NEW BEST:: SOT 162136 SOS 95579 HAS SOPS 51469 HAS SOUS 14275 HAS SOUPS 7720 WITH SCORE 7815.579
AT ITER 3544 NEW BEST:: SOT 162303 SOS 95837 HAS SOPS 51625 HAS SOUS 14255 HAS SOUPS 7700 WITH SCORE 7795.837
AT ITER 3560 NEW BEST:: SOT 162296 SOS 95830 HAS SOPS 51618 HAS SOUS 14250 HAS SOUPS 7695 WITH SCORE 7790.83
AT ITER 3613 NEW BEST:: SOT 162289 SOS 95882 HAS SOPS 51590 HAS SOUS 14254 HAS SOUPS 7691 WITH SCORE 7786.882
AT ITER 3631 NEW BEST:: SOT 162288 SOS 95800 HAS SOPS 51508 HAS SOUS 14241 HAS SOUPS 7678 WITH SCORE 7773.8
AT ITER 3651 NEW BEST:: SOT 162341 SOS 95241 HAS SOPS 51069 HAS SOUS 14228 HAS SOUPS 7642 WITH SCORE 7737.241
AT ITER 3663 NEW BEST:: SOT 162316 SOS 95211 HAS SOPS 51064 HAS SOUS 14223 HAS SOUPS 7637 WITH SCORE 7732.211
AT ITER 3725 NEW BEST:: SOT 162316 SOS 95175 HAS SOPS 50965 HAS SOUS 14232 HAS SOUPS 7637 WITH SCORE 7732.175
AT ITER 3739 NEW BEST:: SOT 162308 SOS 95255 HAS SOPS 50973 HAS SOUS 14224 HAS SOUPS 7629 WITH SCORE 7724.255
AT ITER 3746 NEW BEST:: SOT 162308 SOS 95255 HAS SOPS 50973 HAS SOUS 14222 HAS SOUPS 7627 WITH SCORE 7722.255
AT ITER 3772 NEW BEST:: SOT 162308 SOS 95256 HAS SOPS 50973 HAS SOUS 14219 HAS SOUPS 7626 WITH SCORE 7721.256
AT ITER 3794 NEW BEST:: SOT 162306 SOS 95111 HAS SOPS 50828 HAS SOUS 14215 HAS SOUPS 7622 WITH SCORE 7717.111
AT ITER 3829 NEW BEST:: SOT 161996 SOS 94310 HAS SOPS 50454 HAS SOUS 14198 HAS SOUPS 7605 WITH SCORE 7699.31
AT ITER 3922 NEW BEST:: SOT 161998 SOS 94290 HAS SOPS 50452 HAS SOUS 14190 HAS SOUPS 7597 WITH SCORE 7691.29
AT ITER 3976 NEW BEST:: SOT 162160 SOS 94481 HAS SOPS 50516 HAS SOUS 14220 HAS SOUPS 7595 WITH SCORE 7689.481
AT ITER 3989 NEW BEST:: SOT 162127 SOS 94287 HAS SOPS 50482 HAS SOUS 14203 HAS SOUPS 7594 WITH SCORE 7688.287
AT ITER 4054 NEW BEST:: SOT 162125 SOS 94281 HAS SOPS 50479 HAS SOUS 14197 HAS SOUPS 7591 WITH SCORE 7685.281
AT ITER 4094 NEW BEST:: SOT 161837 SOS 93676 HAS SOPS 50265 HAS SOUS 14187 HAS SOUPS 7581 WITH SCORE 7674.676
AT ITER 4111 NEW BEST:: SOT 161891 SOS 94393 HAS SOPS 50901 HAS SOUS 14186 HAS SOUPS 7580 WITH SCORE 7674.393
AT ITER 4146 NEW BEST:: SOT 161941 SOS 94646 HAS SOPS 51001 HAS SOUS 14178 HAS SOUPS 7568 WITH SCORE 7662.646
AT ITER 4154 NEW BEST:: SOT 161888 SOS 95648 HAS SOPS 51937 HAS SOUS 14149 HAS SOUPS 7539 WITH SCORE 7634.648
AT ITER 4172 NEW BEST:: SOT 161888 SOS 95648 HAS SOPS 51937 HAS SOUS 14145 HAS SOUPS 7535 WITH SCORE 7630.648
AT ITER 4173 NEW BEST:: SOT 161887 SOS 95647 HAS SOPS 51936 HAS SOUS 14144 HAS SOUPS 7534 WITH SCORE 7629.647
AT ITER 4182 NEW BEST:: SOT 161891 SOS 95910 HAS SOPS 52159 HAS SOUS 14147 HAS SOUPS 7533 WITH SCORE 7628.91
AT ITER 4189 NEW BEST:: SOT 161877 SOS 95896 HAS SOPS 52147 HAS SOUS 14134 HAS SOUPS 7524 WITH SCORE 7619.896
AT ITER 4221 NEW BEST:: SOT 161875 SOS 95802 HAS SOPS 51969 HAS SOUS 14145 HAS SOUPS 7523 WITH SCORE 7618.802
AT ITER 4266 NEW BEST:: SOT 161848 SOS 95765 HAS SOPS 51944 HAS SOUS 14144 HAS SOUPS 7522 WITH SCORE 7617.765
AT ITER 4290 NEW BEST:: SOT 161842 SOS 95759 HAS SOPS 51938 HAS SOUS 14144 HAS SOUPS 7522 WITH SCORE 7617.759
AT ITER 4351 NEW BEST:: SOT 161804 SOS 95543 HAS SOPS 51722 HAS SOUS 14136 HAS SOUPS 7514 WITH SCORE 7609.543
AT ITER 4368 NEW BEST:: SOT 161805 SOS 95514 HAS SOPS 51714 HAS SOUS 14135 HAS SOUPS 7514 WITH SCORE 7609.514
AT ITER 4372 NEW BEST:: SOT 161765 SOS 95429 HAS SOPS 51684 HAS SOUS 14130 HAS SOUPS 7509 WITH SCORE 7604.429
AT ITER 4403 NEW BEST:: SOT 161764 SOS 95425 HAS SOPS 51673 HAS SOUS 14131 HAS SOUPS 7509 WITH SCORE 7604.425
AT ITER 4432 NEW BEST:: SOT 161774 SOS 95435 HAS SOPS 51673 HAS SOUS 14124 HAS SOUPS 7506 WITH SCORE 7601.435
AT ITER 4452 NEW BEST:: SOT 161642 SOS 95182 HAS SOPS 51596 HAS SOUS 14104 HAS SOUPS 7497 WITH SCORE 7592.182
AT ITER 4504 NEW BEST:: SOT 161629 SOS 95212 HAS SOPS 51546 HAS SOUS 14109 HAS SOUPS 7494 WITH SCORE 7589.212
AT ITER 4508 NEW BEST:: SOT 161629 SOS 95140 HAS SOPS 51554 HAS SOUS 14101 HAS SOUPS 7494 WITH SCORE 7589.14
AT ITER 4512 NEW BEST:: SOT 161594 SOS 95098 HAS SOPS 51547 HAS SOUS 14094 HAS SOUPS 7487 WITH SCORE 7582.098
AT ITER 4523 NEW BEST:: SOT 161594 SOS 95077 HAS SOPS 51547 HAS SOUS 14091 HAS SOUPS 7487 WITH SCORE 7582.077
AT ITER 4548 NEW BEST:: SOT 161588 SOS 94825 HAS SOPS 51295 HAS SOUS 14087 HAS SOUPS 7483 WITH SCORE 7577.825
AT ITER 4619 NEW BEST:: SOT 161582 SOS 94430 HAS SOPS 50960 HAS SOUS 14081 HAS SOUPS 7483 WITH SCORE 7577.43
AT ITER 4633 NEW BEST:: SOT 161588 SOS 94443 HAS SOPS 50964 HAS SOUS 14079 HAS SOUPS 7481 WITH SCORE 7575.443
AT ITER 4658 NEW BEST:: SOT 161582 SOS 94443 HAS SOPS 50955 HAS SOUS 14070 HAS SOUPS 7472 WITH SCORE 7566.443
AT ITER 4706 NEW BEST:: SOT 161156 SOS 93747 HAS SOPS 50463 HAS SOUS 14060 HAS SOUPS 7462 WITH SCORE 7555.747
AT ITER 4752 NEW BEST:: SOT 161132 SOS 93723 HAS SOPS 50463 HAS SOUS 14060 HAS SOUPS 7462 WITH SCORE 7555.723
AT ITER 4776 NEW BEST:: SOT 161132 SOS 93723 HAS SOPS 50463 HAS SOUS 14033 HAS SOUPS 7447 WITH SCORE 7540.723
AT ITER 4787 NEW BEST:: SOT 160968 SOS 93379 HAS SOPS 50359 HAS SOUS 14015 HAS SOUPS 7444 WITH SCORE 7537.379
AT ITER 4810 NEW BEST:: SOT 160975 SOS 93394 HAS SOPS 50365 HAS SOUS 14014 HAS SOUPS 7442 WITH SCORE 7535.394
AT ITER 4824 NEW BEST:: SOT 160977 SOS 93548 HAS SOPS 50369 HAS SOUS 14021 HAS SOUPS 7434 WITH SCORE 7527.548
AT ITER 4825 NEW BEST:: SOT 160110 SOS 91726 HAS SOPS 49747 HAS SOUS 13964 HAS SOUPS 7426 WITH SCORE 7517.726
AT ITER 4872 NEW BEST:: SOT 160114 SOS 91676 HAS SOPS 49703 HAS SOUS 13960 HAS SOUPS 7422 WITH SCORE 7513.676
AT ITER 4881 NEW BEST:: SOT 160093 SOS 91632 HAS SOPS 49689 HAS SOUS 13958 HAS SOUPS 7422 WITH SCORE 7513.632
AT ITER 4893 NEW BEST:: SOT 160064 SOS 91547 HAS SOPS 49667 HAS SOUS 13943 HAS SOUPS 7416 WITH SCORE 7507.547
AT ITER 4949 NEW BEST:: SOT 160008 SOS 91453 HAS SOPS 49630 HAS SOUS 13942 HAS SOUPS 7416 WITH SCORE 7507.453
AT ITER 4954 NEW BEST:: SOT 159993 SOS 91438 HAS SOPS 49630 HAS SOUS 13915 HAS SOUPS 7401 WITH SCORE 7492.438
AT ITER 4955 NEW BEST:: SOT 159978 SOS 91462 HAS SOPS 49630 HAS SOUS 13909 HAS SOUPS 7398 WITH SCORE 7489.462
AT ITER 4982 NEW BEST:: SOT 159557 SOS 90215 HAS SOPS 48940 HAS SOUS 13857 HAS SOUPS 7364 WITH SCORE 7454.215
AT ITER 4984 NEW BEST:: SOT 159547 SOS 90195 HAS SOPS 48934 HAS SOUS 13856 HAS SOUPS 7364 WITH SCORE 7454.195
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-06a-CTLFireability-00 (AX( ( ( (EX( ((potential((tk(P24)>=1) & (tk(P122)>=1)))))) | (! ( ((potential((tk(P38)>=1) & (tk(P180)>=1)))) & ((potential((tk(P12)>=1) & (tk(P110)>=1)))) )) ) & ( ( ((potential((tk(P33)>=1) & (tk(P101)>=1)))) | (! ((potential((tk(P20)>=1))))) ) & (EF( ((potential((tk(P55)>=1) & (tk(P123)>=1)))))) ) )))
PROPERTY: DLCround-PT-06a-CTLFireability-01 ( (EX( (AG( (! ((potential((tk(P52)>=1) & (tk(P117)>=1))))))))) | (EF( (EG( ( ((potential((tk(P37)>=1) & (tk(P103)>=1)))) & ((potential((tk(P70)>=1) & (tk(P183)>=1)))) ))))) )
PROPERTY: DLCround-PT-06a-CTLFireability-02 ( (! ( ( (AX( ((potential((tk(P71)>=1)))))) & ( (! ((potential((tk(P38)>=1) & (tk(P186)>=1))))) | ( ((potential((tk(P54)>=1) & (tk(P173)>=1)))) | ((potential((tk(P57)>=1) & (tk(P117)>=1)))) ) ) ) & (! ( ((potential((tk(P10)>=1) & (tk(P142)>=1)))) | ((potential((tk(P58)>=1) & (tk(P194)>=1)))) )) )) & (! (EF( (AG( ((potential((tk(P43)>=1) & (tk(P111)>=1))))))))) )
PROPERTY: DLCround-PT-06a-CTLFireability-03 (EF( (EG( ((potential((tk(P92)>=1) & (tk(P195)>=1))))))))
PROPERTY: DLCround-PT-06a-CTLFireability-04 (EU( (EX( ( ((potential((tk(P39)>=1)))) | ((potential((tk(P159)>=1) & (tk(P36)>=1)))) ))) , (AX( ((potential((tk(P7)>=1)))))) ))
PROPERTY: DLCround-PT-06a-CTLFireability-05 ( ((potential((tk(P130)>=1) & (tk(P68)>=1)))) | ( (AG( ((potential((tk(P16)>=1) & (tk(P104)>=1)))))) | (AG( (EF( ((potential((tk(P62)>=1) & (tk(P125)>=1)))))))) ) )
PROPERTY: DLCround-PT-06a-CTLFireability-06 (! ( ( ( ( (! ((potential((tk(P146)>=1) & (tk(P88)>=1))))) & ( ((potential((tk(P129)>=1) & (tk(P22)>=1)))) & ((potential((tk(P60)>=1) & (tk(P176)>=1)))) ) ) | ( ((potential((tk(P44)>=1) & (tk(P109)>=1)))) | ((potential((tk(P29)>=1) & (tk(P130)>=1)))) ) ) & (EX( ((potential((tk(P47)>=1) & (tk(P164)>=1)))))) ) | (EF( (EG( ((potential((tk(P34)>=1) & (tk(P107)>=1)))))))) ))
PROPERTY: DLCround-PT-06a-CTLFireability-07 (AG( (EF( (AF( ((potential((tk(P44)>=1) & (tk(P163)>=1))))))))))
PROPERTY: DLCround-PT-06a-CTLFireability-08 ( (AG( (! ( ((potential((tk(P44)>=1)))) & ((potential((tk(P139)>=1) & (tk(P76)>=1)))) )))) | ((potential((tk(P47)>=1) & (tk(P115)>=1)))) )
PROPERTY: DLCround-PT-06a-CTLFireability-09 (AG( (! ( ((potential((tk(P134)>=1) & (tk(P78)>=1)))) & (AG( ((potential((tk(P97)>=1) & (tk(P197)>=1)))))) ))))
PROPERTY: DLCround-PT-06a-CTLFireability-10 (AG( ( (! ( (! ((potential((tk(P19)>=1) & (tk(P112)>=1))))) & ( ((potential((tk(P35)>=1) & (tk(P158)>=1)))) & ((potential((tk(P98)>=1) & (tk(P153)>=1)))) ) )) | (AX( ((potential((tk(P8)>=1) & (tk(P117)>=1)))))) )))
PROPERTY: DLCround-PT-06a-CTLFireability-11 ( (! ((potential((tk(P72)>=1) & (tk(P185)>=1))))) | (AU( ( ( ((potential((tk(P32)>=1) & (tk(P159)>=1)))) | ((potential((tk(P88)>=1) & (tk(P172)>=1)))) ) & ( ((potential((tk(P63)>=1) & (tk(P125)>=1)))) & ((potential((tk(P48)>=1) & (tk(P164)>=1)))) ) ) , ((potential((tk(P79)>=1) & (tk(P133)>=1)))) )) )
PROPERTY: DLCround-PT-06a-CTLFireability-12 ( ( ( ( ( (! ((potential((tk(P44)>=1) & (tk(P113)>=1))))) & ((potential((tk(P68)>=1) & (tk(P128)>=1)))) ) & (EF( ((potential((tk(P99)>=1) & (tk(P151)>=1)))))) ) & (AG( ( ((potential((tk(P68)>=1) & (tk(P195)>=1)))) | ((potential((tk(P79)>=1) & (tk(P180)>=1)))) ))) ) | (! ( (EX( ((potential((tk(P79)>=1) & (tk(P137)>=1)))))) & ( ((potential((tk(P49)>=1) & (tk(P166)>=1)))) | ( ((potential((tk(P88)>=1) & (tk(P147)>=1)))) | ((potential((tk(P73)>=1) & (tk(P135)>=1)))) ) ) )) ) | (! ( ( ((potential((tk(P169)>=1) & (tk(P56)>=1)))) & ((potential((tk(P168)>=1) & (tk(P56)>=1)))) ) & ( (! (! ((potential((tk(P73)>=1) & (tk(P181)>=1)))))) & ( ( ((potential((tk(P63)>=1) & (tk(P174)>=1)))) & ((potential((tk(P64)>=1) & (tk(P179)>=1)))) ) | (! ((potential((tk(P34)>=1) & (tk(P157)>=1))))) ) ) )) )
PROPERTY: DLCround-PT-06a-CTLFireability-13 (EF( ((potential((tk(P32)>=1) & (tk(P161)>=1))))))
PROPERTY: DLCround-PT-06a-CTLFireability-14 ((potential((tk(P70)>=1) & (tk(P133)>=1))))
PROPERTY: DLCround-PT-06a-CTLFireability-15 ( ( ( (EX( (! ((potential((tk(P12)>=1) & (tk(P142)>=1))))))) & ((potential((tk(P22)>=1) & (tk(P113)>=1)))) ) & (! ((potential((tk(P186)>=1) & (tk(P38)>=1))))) ) | ( (AG( ( ( ((potential((tk(P75)>=1) & (tk(P180)>=1)))) & ((potential((tk(P48)>=1) & (tk(P114)>=1)))) ) & ( ((potential((tk(P88)>=1)))) | ((potential((tk(P38)>=1) & (tk(P100)>=1)))) ) ))) & ( (AX( ((potential((tk(P133)>=1) & (tk(P76)>=1)))))) & (EU( ((potential((tk(P22)>=1) & (tk(P129)>=1)))) , ((potential((tk(P6)>=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="DLCround-PT-06a"
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-06a, 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-158902542300500"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-06a.tgz
mv DLCround-PT-06a 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 ;