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.r123-tajo-158961355100715.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 ProductionCell-PT-none, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961355100715
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 216K
-rw-r--r-- 1 mcc users 3.2K Apr 12 06:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 12 06:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 11 07:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 07:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 13:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 13:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 9 20:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 9 20:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 43K 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 ProductionCell-PT-none-CTLCardinality-00
FORMULA_NAME ProductionCell-PT-none-CTLCardinality-01
FORMULA_NAME ProductionCell-PT-none-CTLCardinality-02
FORMULA_NAME ProductionCell-PT-none-CTLCardinality-03
FORMULA_NAME ProductionCell-PT-none-CTLCardinality-04
FORMULA_NAME ProductionCell-PT-none-CTLCardinality-05
FORMULA_NAME ProductionCell-PT-none-CTLCardinality-06
FORMULA_NAME ProductionCell-PT-none-CTLCardinality-07
FORMULA_NAME ProductionCell-PT-none-CTLCardinality-08
FORMULA_NAME ProductionCell-PT-none-CTLCardinality-09
FORMULA_NAME ProductionCell-PT-none-CTLCardinality-10
FORMULA_NAME ProductionCell-PT-none-CTLCardinality-11
FORMULA_NAME ProductionCell-PT-none-CTLCardinality-12
FORMULA_NAME ProductionCell-PT-none-CTLCardinality-13
FORMULA_NAME ProductionCell-PT-none-CTLCardinality-14
FORMULA_NAME ProductionCell-PT-none-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589649774080

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ProductionCell (PT), instance none
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 176 places, 134 transitions, 513 arcs.
AT ITER 0 NEW BEST:: SOT 17633 SOS 13131 HAS SOPS 13131 HAS SOUS 10570 HAS SOUPS 10570 WITH SCORE 10583.131
AT ITER 1 NEW BEST:: SOT 17645 SOS 13122 HAS SOPS 13122 HAS SOUS 10561 HAS SOUPS 10561 WITH SCORE 10574.122
AT ITER 11 NEW BEST:: SOT 17602 SOS 12840 HAS SOPS 12840 HAS SOUS 10458 HAS SOUPS 10458 WITH SCORE 10470.84
AT ITER 13 NEW BEST:: SOT 17587 SOS 12780 HAS SOPS 12780 HAS SOUS 10443 HAS SOUPS 10443 WITH SCORE 10455.78
AT ITER 14 NEW BEST:: SOT 17587 SOS 12487 HAS SOPS 12487 HAS SOUS 10433 HAS SOUPS 10433 WITH SCORE 10445.487
AT ITER 16 NEW BEST:: SOT 17587 SOS 12401 HAS SOPS 12401 HAS SOUS 10347 HAS SOUPS 10347 WITH SCORE 10359.401
AT ITER 18 NEW BEST:: SOT 17439 SOS 12369 HAS SOPS 12369 HAS SOUS 10337 HAS SOUPS 10337 WITH SCORE 10349.369
AT ITER 19 NEW BEST:: SOT 17439 SOS 12029 HAS SOPS 12029 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10257.029
AT ITER 20 NEW BEST:: SOT 17409 SOS 11999 HAS SOPS 11999 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10226.999
AT ITER 22 NEW BEST:: SOT 17390 SOS 11952 HAS SOPS 11952 HAS SOUS 10198 HAS SOUPS 10198 WITH SCORE 10209.952
AT ITER 24 NEW BEST:: SOT 17114 SOS 11676 HAS SOPS 11676 HAS SOUS 9922 HAS SOUPS 9922 WITH SCORE 9933.676
AT ITER 30 NEW BEST:: SOT 17050 SOS 11490 HAS SOPS 11490 HAS SOUS 9795 HAS SOUPS 9795 WITH SCORE 9806.49
AT ITER 33 NEW BEST:: SOT 17050 SOS 11271 HAS SOPS 11271 HAS SOUS 9778 HAS SOUPS 9778 WITH SCORE 9789.271
AT ITER 34 NEW BEST:: SOT 16529 SOS 10750 HAS SOPS 10750 HAS SOUS 9272 HAS SOUPS 9272 WITH SCORE 9282.75
AT ITER 35 NEW BEST:: SOT 16508 SOS 10712 HAS SOPS 10712 HAS SOUS 9248 HAS SOUPS 9248 WITH SCORE 9258.712
AT ITER 37 NEW BEST:: SOT 16475 SOS 10617 HAS SOPS 10617 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9190.617
AT ITER 39 NEW BEST:: SOT 16191 SOS 10270 HAS SOPS 10270 HAS SOUS 8837 HAS SOUPS 8837 WITH SCORE 8847.27
AT ITER 42 NEW BEST:: SOT 16163 SOS 10183 HAS SOPS 10183 HAS SOUS 8806 HAS SOUPS 8806 WITH SCORE 8816.183
AT ITER 45 NEW BEST:: SOT 15930 SOS 9962 HAS SOPS 9962 HAS SOUS 8549 HAS SOUPS 8549 WITH SCORE 8558.962
AT ITER 50 NEW BEST:: SOT 16043 SOS 10075 HAS SOPS 10075 HAS SOUS 8544 HAS SOUPS 8544 WITH SCORE 8554.075
AT ITER 60 NEW BEST:: SOT 16028 SOS 10061 HAS SOPS 10061 HAS SOUS 8530 HAS SOUPS 8530 WITH SCORE 8540.061
AT ITER 63 NEW BEST:: SOT 16028 SOS 10054 HAS SOPS 10054 HAS SOUS 8528 HAS SOUPS 8528 WITH SCORE 8538.054
AT ITER 67 NEW BEST:: SOT 16027 SOS 9848 HAS SOPS 9848 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8535.848
AT ITER 70 NEW BEST:: SOT 16003 SOS 9800 HAS SOPS 9800 HAS SOUS 8490 HAS SOUPS 8490 WITH SCORE 8499.8
AT ITER 73 NEW BEST:: SOT 16003 SOS 9801 HAS SOPS 9801 HAS SOUS 8458 HAS SOUPS 8458 WITH SCORE 8467.801
AT ITER 75 NEW BEST:: SOT 15963 SOS 9741 HAS SOPS 9741 HAS SOUS 8356 HAS SOUPS 8356 WITH SCORE 8365.741
AT ITER 78 NEW BEST:: SOT 15988 SOS 9736 HAS SOPS 9736 HAS SOUS 8353 HAS SOUPS 8353 WITH SCORE 8362.736
AT ITER 79 NEW BEST:: SOT 15988 SOS 9724 HAS SOPS 9724 HAS SOUS 8341 HAS SOUPS 8341 WITH SCORE 8350.724
AT ITER 81 NEW BEST:: SOT 15988 SOS 9698 HAS SOPS 9698 HAS SOUS 8321 HAS SOUPS 8321 WITH SCORE 8330.698
AT ITER 84 NEW BEST:: SOT 15961 SOS 9631 HAS SOPS 9631 HAS SOUS 8254 HAS SOUPS 8254 WITH SCORE 8263.631
AT ITER 85 NEW BEST:: SOT 15960 SOS 9629 HAS SOPS 9629 HAS SOUS 8252 HAS SOUPS 8252 WITH SCORE 8261.629
AT ITER 86 NEW BEST:: SOT 15973 SOS 9623 HAS SOPS 9623 HAS SOUS 8248 HAS SOUPS 8248 WITH SCORE 8257.623
AT ITER 87 NEW BEST:: SOT 15973 SOS 9605 HAS SOPS 9605 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8239.605
AT ITER 89 NEW BEST:: SOT 15920 SOS 9592 HAS SOPS 9592 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8227.592
AT ITER 102 NEW BEST:: SOT 15920 SOS 9646 HAS SOPS 9646 HAS SOUS 8217 HAS SOUPS 8217 WITH SCORE 8226.646
AT ITER 110 NEW BEST:: SOT 15920 SOS 9618 HAS SOPS 9618 HAS SOUS 8189 HAS SOUPS 8189 WITH SCORE 8198.618
AT ITER 112 NEW BEST:: SOT 15906 SOS 9604 HAS SOPS 9604 HAS SOUS 8175 HAS SOUPS 8175 WITH SCORE 8184.604
AT ITER 117 NEW BEST:: SOT 15905 SOS 9602 HAS SOPS 9602 HAS SOUS 8173 HAS SOUPS 8173 WITH SCORE 8182.602
AT ITER 120 NEW BEST:: SOT 15862 SOS 9559 HAS SOPS 9559 HAS SOUS 8130 HAS SOUPS 8130 WITH SCORE 8139.559
AT ITER 122 NEW BEST:: SOT 15913 SOS 9656 HAS SOPS 9656 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8135.656
AT ITER 126 NEW BEST:: SOT 15913 SOS 9592 HAS SOPS 9592 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8115.592
AT ITER 127 NEW BEST:: SOT 15876 SOS 9564 HAS SOPS 9564 HAS SOUS 8078 HAS SOUPS 8078 WITH SCORE 8087.564
AT ITER 137 NEW BEST:: SOT 15876 SOS 9396 HAS SOPS 9396 HAS SOUS 8067 HAS SOUPS 8067 WITH SCORE 8076.396
AT ITER 139 NEW BEST:: SOT 15777 SOS 9217 HAS SOPS 9217 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7897.217
AT ITER 148 NEW BEST:: SOT 15776 SOS 9215 HAS SOPS 9215 HAS SOUS 7886 HAS SOUPS 7886 WITH SCORE 7895.215
AT ITER 150 NEW BEST:: SOT 15762 SOS 9189 HAS SOPS 9189 HAS SOUS 7876 HAS SOUPS 7876 WITH SCORE 7885.189
AT ITER 154 NEW BEST:: SOT 15725 SOS 9153 HAS SOPS 9153 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7849.153
AT ITER 159 NEW BEST:: SOT 15674 SOS 9046 HAS SOPS 9046 HAS SOUS 7789 HAS SOUPS 7789 WITH SCORE 7798.046
AT ITER 162 NEW BEST:: SOT 15657 SOS 9035 HAS SOPS 9035 HAS SOUS 7778 HAS SOUPS 7778 WITH SCORE 7787.035
AT ITER 177 NEW BEST:: SOT 15657 SOS 9017 HAS SOPS 9017 HAS SOUS 7777 HAS SOUPS 7777 WITH SCORE 7786.017
AT ITER 193 NEW BEST:: SOT 15657 SOS 8677 HAS SOPS 8677 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7685.677
AT ITER 196 NEW BEST:: SOT 15627 SOS 8617 HAS SOPS 8617 HAS SOUS 7617 HAS SOUPS 7617 WITH SCORE 7625.617
AT ITER 231 NEW BEST:: SOT 15627 SOS 8615 HAS SOPS 8615 HAS SOUS 7615 HAS SOUPS 7615 WITH SCORE 7623.615
AT ITER 236 NEW BEST:: SOT 15627 SOS 8569 HAS SOPS 8569 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7571.569
AT ITER 239 NEW BEST:: SOT 15628 SOS 8537 HAS SOPS 8537 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7571.537
AT ITER 244 NEW BEST:: SOT 15615 SOS 8518 HAS SOPS 8518 HAS SOUS 7544 HAS SOUPS 7544 WITH SCORE 7552.518
AT ITER 246 NEW BEST:: SOT 15585 SOS 8472 HAS SOPS 8472 HAS SOUS 7498 HAS SOUPS 7498 WITH SCORE 7506.472
AT ITER 257 NEW BEST:: SOT 15590 SOS 8477 HAS SOPS 8477 HAS SOUS 7488 HAS SOUPS 7488 WITH SCORE 7496.477
AT ITER 267 NEW BEST:: SOT 15579 SOS 8467 HAS SOPS 8467 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7486.467
AT ITER 280 NEW BEST:: SOT 15554 SOS 8447 HAS SOPS 8447 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7460.447
AT ITER 286 NEW BEST:: SOT 15545 SOS 8429 HAS SOPS 8429 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7451.429
AT ITER 287 NEW BEST:: SOT 15496 SOS 8429 HAS SOPS 8429 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7389.429
AT ITER 293 NEW BEST:: SOT 15478 SOS 8408 HAS SOPS 8408 HAS SOUS 7348 HAS SOUPS 7348 WITH SCORE 7356.408
AT ITER 296 NEW BEST:: SOT 15359 SOS 8289 HAS SOPS 8289 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7271.289
AT ITER 298 NEW BEST:: SOT 15348 SOS 8239 HAS SOPS 8239 HAS SOUS 7252 HAS SOUPS 7252 WITH SCORE 7260.239
AT ITER 307 NEW BEST:: SOT 15348 SOS 8238 HAS SOPS 8238 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7259.238
AT ITER 309 NEW BEST:: SOT 15296 SOS 8185 HAS SOPS 8185 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7206.185
AT ITER 313 NEW BEST:: SOT 15286 SOS 8171 HAS SOPS 8171 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7194.171
AT ITER 325 NEW BEST:: SOT 15279 SOS 8085 HAS SOPS 8085 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7154.085
AT ITER 327 NEW BEST:: SOT 15267 SOS 8073 HAS SOPS 8073 HAS SOUS 7134 HAS SOUPS 7134 WITH SCORE 7142.073
AT ITER 336 NEW BEST:: SOT 15263 SOS 8069 HAS SOPS 8069 HAS SOUS 7130 HAS SOUPS 7130 WITH SCORE 7138.069
AT ITER 342 NEW BEST:: SOT 15262 SOS 8067 HAS SOPS 8067 HAS SOUS 7128 HAS SOUPS 7128 WITH SCORE 7136.067
AT ITER 346 NEW BEST:: SOT 15185 SOS 8237 HAS SOPS 8237 HAS SOUS 7086 HAS SOUPS 7086 WITH SCORE 7094.237
AT ITER 349 NEW BEST:: SOT 15118 SOS 8176 HAS SOPS 8176 HAS SOUS 7051 HAS SOUPS 7051 WITH SCORE 7059.176
AT ITER 352 NEW BEST:: SOT 15118 SOS 8171 HAS SOPS 8171 HAS SOUS 7051 HAS SOUPS 7051 WITH SCORE 7059.171
AT ITER 355 NEW BEST:: SOT 15093 SOS 8161 HAS SOPS 8161 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7049.161
AT ITER 405 NEW BEST:: SOT 15093 SOS 8163 HAS SOPS 8163 HAS SOUS 7037 HAS SOUPS 7037 WITH SCORE 7045.163
AT ITER 408 NEW BEST:: SOT 15070 SOS 8123 HAS SOPS 8123 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7005.123
AT ITER 410 NEW BEST:: SOT 15065 SOS 8153 HAS SOPS 8153 HAS SOUS 6989 HAS SOUPS 6989 WITH SCORE 6997.153
AT ITER 418 NEW BEST:: SOT 15060 SOS 8203 HAS SOPS 8203 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6992.203
AT ITER 423 NEW BEST:: SOT 14983 SOS 8146 HAS SOPS 8146 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6935.146
AT ITER 429 NEW BEST:: SOT 14986 SOS 8132 HAS SOPS 8132 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6921.132
AT ITER 432 NEW BEST:: SOT 14974 SOS 8120 HAS SOPS 8120 HAS SOUS 6893 HAS SOUPS 6893 WITH SCORE 6901.12
AT ITER 444 NEW BEST:: SOT 14937 SOS 8084 HAS SOPS 8084 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6864.084
AT ITER 449 NEW BEST:: SOT 14892 SOS 8039 HAS SOPS 8039 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 6834.039
AT ITER 457 NEW BEST:: SOT 14809 SOS 7980 HAS SOPS 7980 HAS SOUS 6746 HAS SOUPS 6746 WITH SCORE 6753.98
AT ITER 470 NEW BEST:: SOT 14797 SOS 7936 HAS SOPS 7936 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6728.936
AT ITER 472 NEW BEST:: SOT 14798 SOS 7893 HAS SOPS 7893 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6718.893
AT ITER 480 NEW BEST:: SOT 14787 SOS 7878 HAS SOPS 7878 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6708.878
AT ITER 482 NEW BEST:: SOT 14778 SOS 7855 HAS SOPS 7855 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6671.855
AT ITER 514 NEW BEST:: SOT 14743 SOS 7785 HAS SOPS 7785 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6636.785
AT ITER 519 NEW BEST:: SOT 14743 SOS 7767 HAS SOPS 7767 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6621.767
AT ITER 523 NEW BEST:: SOT 14723 SOS 7737 HAS SOPS 7737 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6611.737
AT ITER 527 NEW BEST:: SOT 14705 SOS 7679 HAS SOPS 7679 HAS SOUS 6565 HAS SOUPS 6565 WITH SCORE 6572.679
AT ITER 532 NEW BEST:: SOT 14712 SOS 7651 HAS SOPS 7651 HAS SOUS 6565 HAS SOUPS 6565 WITH SCORE 6572.651
AT ITER 546 NEW BEST:: SOT 14677 SOS 7616 HAS SOPS 7616 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6561.616
AT ITER 588 NEW BEST:: SOT 14692 SOS 7604 HAS SOPS 7604 HAS SOUS 6546 HAS SOUPS 6546 WITH SCORE 6553.604
AT ITER 602 NEW BEST:: SOT 14692 SOS 7638 HAS SOPS 7638 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6548.638
AT ITER 610 NEW BEST:: SOT 14692 SOS 7568 HAS SOPS 7568 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6538.568
AT ITER 619 NEW BEST:: SOT 14645 SOS 7654 HAS SOPS 7654 HAS SOUS 6511 HAS SOUPS 6511 WITH SCORE 6518.654
AT ITER 620 NEW BEST:: SOT 14626 SOS 7620 HAS SOPS 7620 HAS SOUS 6508 HAS SOUPS 6508 WITH SCORE 6515.62
AT ITER 622 NEW BEST:: SOT 14625 SOS 7608 HAS SOPS 7608 HAS SOUS 6499 HAS SOUPS 6499 WITH SCORE 6506.608
AT ITER 630 NEW BEST:: SOT 14622 SOS 7605 HAS SOPS 7605 HAS SOUS 6496 HAS SOUPS 6496 WITH SCORE 6503.605
AT ITER 631 NEW BEST:: SOT 14620 SOS 7603 HAS SOPS 7603 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6501.603
AT ITER 633 NEW BEST:: SOT 14606 SOS 7589 HAS SOPS 7589 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6487.589
AT ITER 644 NEW BEST:: SOT 14606 SOS 7588 HAS SOPS 7588 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6485.588
AT ITER 647 NEW BEST:: SOT 14600 SOS 7580 HAS SOPS 7580 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6481.58
AT ITER 650 NEW BEST:: SOT 14597 SOS 7577 HAS SOPS 7577 HAS SOUS 6455 HAS SOUPS 6455 WITH SCORE 6462.577
AT ITER 654 NEW BEST:: SOT 14580 SOS 7572 HAS SOPS 7572 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6439.572
AT ITER 659 NEW BEST:: SOT 14580 SOS 7572 HAS SOPS 7572 HAS SOUS 6429 HAS SOUPS 6429 WITH SCORE 6436.572
AT ITER 660 NEW BEST:: SOT 14580 SOS 7550 HAS SOPS 7550 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6425.55
AT ITER 669 NEW BEST:: SOT 14582 SOS 7513 HAS SOPS 7513 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6395.513
AT ITER 672 NEW BEST:: SOT 14582 SOS 7513 HAS SOPS 7513 HAS SOUS 6385 HAS SOUPS 6385 WITH SCORE 6392.513
AT ITER 673 NEW BEST:: SOT 14563 SOS 7475 HAS SOPS 7475 HAS SOUS 6347 HAS SOUPS 6347 WITH SCORE 6354.475
AT ITER 676 NEW BEST:: SOT 14533 SOS 7414 HAS SOPS 7414 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6283.414
AT ITER 700 NEW BEST:: SOT 14525 SOS 7406 HAS SOPS 7406 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6275.406
AT ITER 702 NEW BEST:: SOT 14498 SOS 7378 HAS SOPS 7378 HAS SOUS 6240 HAS SOUPS 6240 WITH SCORE 6247.378
AT ITER 718 NEW BEST:: SOT 14493 SOS 7363 HAS SOPS 7363 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6243.363
AT ITER 742 NEW BEST:: SOT 14504 SOS 7289 HAS SOPS 7289 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6237.289
AT ITER 750 NEW BEST:: SOT 14479 SOS 7264 HAS SOPS 7264 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6211.264
AT ITER 773 NEW BEST:: SOT 14484 SOS 7269 HAS SOPS 7269 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6205.269
AT ITER 790 NEW BEST:: SOT 14451 SOS 7236 HAS SOPS 7236 HAS SOUS 6185 HAS SOUPS 6185 WITH SCORE 6192.236
AT ITER 799 NEW BEST:: SOT 14450 SOS 7225 HAS SOPS 7225 HAS SOUS 6173 HAS SOUPS 6173 WITH SCORE 6180.225
AT ITER 802 NEW BEST:: SOT 14447 SOS 7222 HAS SOPS 7222 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6177.222
AT ITER 812 NEW BEST:: SOT 14437 SOS 7212 HAS SOPS 7212 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6167.212
AT ITER 837 NEW BEST:: SOT 14422 SOS 7170 HAS SOPS 7170 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6129.17
AT ITER 841 NEW BEST:: SOT 14422 SOS 7150 HAS SOPS 7150 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6109.15
AT ITER 861 NEW BEST:: SOT 14405 SOS 7101 HAS SOPS 7101 HAS SOUS 6053 HAS SOUPS 6053 WITH SCORE 6060.101
AT ITER 867 NEW BEST:: SOT 14404 SOS 7100 HAS SOPS 7100 HAS SOUS 6052 HAS SOUPS 6052 WITH SCORE 6059.1
AT ITER 877 NEW BEST:: SOT 14403 SOS 7104 HAS SOPS 7104 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6057.104
AT ITER 878 NEW BEST:: SOT 14391 SOS 7092 HAS SOPS 7092 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6056.092
AT ITER 887 NEW BEST:: SOT 14383 SOS 7084 HAS SOPS 7084 HAS SOUS 6041 HAS SOUPS 6041 WITH SCORE 6048.084
AT ITER 889 NEW BEST:: SOT 14354 SOS 7183 HAS SOPS 7183 HAS SOUS 6027 HAS SOUPS 6027 WITH SCORE 6034.183
AT ITER 913 NEW BEST:: SOT 14339 SOS 7169 HAS SOPS 7169 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6015.169
AT ITER 920 NEW BEST:: SOT 14327 SOS 7180 HAS SOPS 7180 HAS SOUS 5999 HAS SOUPS 5999 WITH SCORE 6006.18
AT ITER 924 NEW BEST:: SOT 14318 SOS 7177 HAS SOPS 7177 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 5997.177
AT ITER 947 NEW BEST:: SOT 14327 SOS 7245 HAS SOPS 7245 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 5948.245
AT ITER 948 NEW BEST:: SOT 14332 SOS 7226 HAS SOPS 7226 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5930.226
AT ITER 963 NEW BEST:: SOT 14328 SOS 7222 HAS SOPS 7222 HAS SOUS 5919 HAS SOUPS 5919 WITH SCORE 5926.222
AT ITER 984 NEW BEST:: SOT 14307 SOS 7165 HAS SOPS 7165 HAS SOUS 5890 HAS SOUPS 5890 WITH SCORE 5897.165
AT ITER 986 NEW BEST:: SOT 14298 SOS 7156 HAS SOPS 7156 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5888.156
AT ITER 990 NEW BEST:: SOT 14298 SOS 7126 HAS SOPS 7126 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5885.126
AT ITER 995 NEW BEST:: SOT 14284 SOS 7105 HAS SOPS 7105 HAS SOUS 5849 HAS SOUPS 5849 WITH SCORE 5856.105
AT ITER 1007 NEW BEST:: SOT 14280 SOS 7097 HAS SOPS 7097 HAS SOUS 5841 HAS SOUPS 5841 WITH SCORE 5848.097
AT ITER 1011 NEW BEST:: SOT 14279 SOS 7096 HAS SOPS 7096 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5846.096
AT ITER 1016 NEW BEST:: SOT 14281 SOS 6872 HAS SOPS 6872 HAS SOUS 5816 HAS SOUPS 5816 WITH SCORE 5822.872
AT ITER 1023 NEW BEST:: SOT 14263 SOS 6831 HAS SOPS 6831 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5793.831
AT ITER 1024 NEW BEST:: SOT 14277 SOS 6827 HAS SOPS 6827 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5789.827
AT ITER 1048 NEW BEST:: SOT 14288 SOS 6808 HAS SOPS 6808 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5770.808
AT ITER 1067 NEW BEST:: SOT 14310 SOS 6804 HAS SOPS 6804 HAS SOUS 5760 HAS SOUPS 5760 WITH SCORE 5766.804
AT ITER 1072 NEW BEST:: SOT 14298 SOS 6798 HAS SOPS 6798 HAS SOUS 5752 HAS SOUPS 5752 WITH SCORE 5758.798
AT ITER 1095 NEW BEST:: SOT 14289 SOS 6786 HAS SOPS 6786 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5734.786
AT ITER 1096 NEW BEST:: SOT 14286 SOS 6783 HAS SOPS 6783 HAS SOUS 5725 HAS SOUPS 5725 WITH SCORE 5731.783
AT ITER 1105 NEW BEST:: SOT 14268 SOS 6780 HAS SOPS 6780 HAS SOUS 5722 HAS SOUPS 5722 WITH SCORE 5728.78
AT ITER 1120 NEW BEST:: SOT 14264 SOS 6773 HAS SOPS 6773 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5721.773
AT ITER 1125 NEW BEST:: SOT 14281 SOS 6700 HAS SOPS 6700 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5625.7
AT ITER 1126 NEW BEST:: SOT 14281 SOS 6703 HAS SOPS 6703 HAS SOUS 5611 HAS SOUPS 5611 WITH SCORE 5617.703
AT ITER 1133 NEW BEST:: SOT 14273 SOS 6623 HAS SOPS 6623 HAS SOUS 5587 HAS SOUPS 5587 WITH SCORE 5593.623
AT ITER 1163 NEW BEST:: SOT 14273 SOS 6612 HAS SOPS 6612 HAS SOUS 5576 HAS SOUPS 5576 WITH SCORE 5582.612
AT ITER 1164 NEW BEST:: SOT 14272 SOS 6604 HAS SOPS 6604 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5580.604
AT ITER 1171 NEW BEST:: SOT 14269 SOS 6601 HAS SOPS 6601 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5577.601
AT ITER 1233 NEW BEST:: SOT 14269 SOS 6571 HAS SOPS 6571 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5571.571
AT ITER 1245 NEW BEST:: SOT 14263 SOS 6565 HAS SOPS 6565 HAS SOUS 5559 HAS SOUPS 5559 WITH SCORE 5565.565
AT ITER 1255 NEW BEST:: SOT 14258 SOS 6549 HAS SOPS 6549 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5554.549
AT ITER 1278 NEW BEST:: SOT 14219 SOS 6525 HAS SOPS 6525 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5530.525
AT ITER 1290 NEW BEST:: SOT 14217 SOS 6523 HAS SOPS 6523 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5530.523
AT ITER 1293 NEW BEST:: SOT 14217 SOS 6517 HAS SOPS 6517 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5524.517
AT ITER 1296 NEW BEST:: SOT 14214 SOS 6514 HAS SOPS 6514 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5518.514
AT ITER 1323 NEW BEST:: SOT 14207 SOS 6448 HAS SOPS 6448 HAS SOUS 5446 HAS SOUPS 5446 WITH SCORE 5452.448
AT ITER 1331 NEW BEST:: SOT 14168 SOS 6413 HAS SOPS 6413 HAS SOUS 5422 HAS SOUPS 5422 WITH SCORE 5428.413
AT ITER 1336 NEW BEST:: SOT 14167 SOS 6412 HAS SOPS 6412 HAS SOUS 5422 HAS SOUPS 5422 WITH SCORE 5428.412
AT ITER 1341 NEW BEST:: SOT 14166 SOS 6411 HAS SOPS 6411 HAS SOUS 5421 HAS SOUPS 5421 WITH SCORE 5427.411
AT ITER 1363 NEW BEST:: SOT 14165 SOS 6409 HAS SOPS 6409 HAS SOUS 5419 HAS SOUPS 5419 WITH SCORE 5425.409
AT ITER 1376 NEW BEST:: SOT 14149 SOS 6383 HAS SOPS 6383 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5405.383
AT ITER 1398 NEW BEST:: SOT 14144 SOS 6352 HAS SOPS 6352 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5390.352
AT ITER 1418 NEW BEST:: SOT 14135 SOS 6343 HAS SOPS 6343 HAS SOUS 5375 HAS SOUPS 5375 WITH SCORE 5381.343
AT ITER 1435 NEW BEST:: SOT 14137 SOS 6332 HAS SOPS 6332 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5343.332
AT ITER 1451 NEW BEST:: SOT 14134 SOS 6329 HAS SOPS 6329 HAS SOUS 5334 HAS SOUPS 5334 WITH SCORE 5340.329
AT ITER 1458 NEW BEST:: SOT 14123 SOS 6314 HAS SOPS 6314 HAS SOUS 5313 HAS SOUPS 5313 WITH SCORE 5319.314
AT ITER 1489 NEW BEST:: SOT 14110 SOS 6288 HAS SOPS 6288 HAS SOUS 5287 HAS SOUPS 5287 WITH SCORE 5293.288
AT ITER 1491 NEW BEST:: SOT 14109 SOS 6279 HAS SOPS 6279 HAS SOUS 5277 HAS SOUPS 5277 WITH SCORE 5283.279
AT ITER 1494 NEW BEST:: SOT 14073 SOS 6234 HAS SOPS 6234 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5238.234
AT ITER 1517 NEW BEST:: SOT 14073 SOS 6234 HAS SOPS 6234 HAS SOUS 5228 HAS SOUPS 5228 WITH SCORE 5234.234
AT ITER 1589 NEW BEST:: SOT 14065 SOS 6226 HAS SOPS 6226 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5227.226
AT ITER 1631 NEW BEST:: SOT 14065 SOS 6225 HAS SOPS 6225 HAS SOUS 5220 HAS SOUPS 5220 WITH SCORE 5226.225
AT ITER 1639 NEW BEST:: SOT 14061 SOS 6221 HAS SOPS 6221 HAS SOUS 5216 HAS SOUPS 5216 WITH SCORE 5222.221
AT ITER 1648 NEW BEST:: SOT 14056 SOS 6216 HAS SOPS 6216 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5196.216
AT ITER 1654 NEW BEST:: SOT 14052 SOS 6212 HAS SOPS 6212 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5188.212
AT ITER 1657 NEW BEST:: SOT 14067 SOS 6200 HAS SOPS 6200 HAS SOUS 5179 HAS SOUPS 5179 WITH SCORE 5185.2
AT ITER 1686 NEW BEST:: SOT 14063 SOS 6196 HAS SOPS 6196 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5181.196
AT ITER 1693 NEW BEST:: SOT 14063 SOS 6222 HAS SOPS 6222 HAS SOUS 5163 HAS SOUPS 5163 WITH SCORE 5169.222
AT ITER 1695 NEW BEST:: SOT 14060 SOS 6219 HAS SOPS 6219 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5163.219
AT ITER 1701 NEW BEST:: SOT 14053 SOS 6205 HAS SOPS 6205 HAS SOUS 5143 HAS SOUPS 5143 WITH SCORE 5149.205
AT ITER 1725 NEW BEST:: SOT 14055 SOS 6203 HAS SOPS 6203 HAS SOUS 5141 HAS SOUPS 5141 WITH SCORE 5147.203
AT ITER 1754 NEW BEST:: SOT 14054 SOS 6202 HAS SOPS 6202 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5146.202
AT ITER 1791 NEW BEST:: SOT 14054 SOS 6195 HAS SOPS 6195 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5139.195
AT ITER 1816 NEW BEST:: SOT 14046 SOS 6187 HAS SOPS 6187 HAS SOUS 5129 HAS SOUPS 5129 WITH SCORE 5135.187
AT ITER 1819 NEW BEST:: SOT 14035 SOS 6379 HAS SOPS 6379 HAS SOUS 5115 HAS SOUPS 5115 WITH SCORE 5121.379
AT ITER 1827 NEW BEST:: SOT 14031 SOS 6371 HAS SOPS 6371 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5113.371
AT ITER 1835 NEW BEST:: SOT 14029 SOS 6369 HAS SOPS 6369 HAS SOUS 5105 HAS SOUPS 5105 WITH SCORE 5111.369
AT ITER 1857 NEW BEST:: SOT 14029 SOS 6285 HAS SOPS 6285 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5107.285
AT ITER 1862 NEW BEST:: SOT 14077 SOS 6334 HAS SOPS 6334 HAS SOUS 5072 HAS SOUPS 5072 WITH SCORE 5078.334
AT ITER 1864 NEW BEST:: SOT 14077 SOS 6326 HAS SOPS 6326 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5076.326
AT ITER 1865 NEW BEST:: SOT 14053 SOS 6302 HAS SOPS 6302 HAS SOUS 5054 HAS SOUPS 5054 WITH SCORE 5060.302
AT ITER 1871 NEW BEST:: SOT 14046 SOS 6295 HAS SOPS 6295 HAS SOUS 5047 HAS SOUPS 5047 WITH SCORE 5053.295
AT ITER 1909 NEW BEST:: SOT 14032 SOS 6270 HAS SOPS 6270 HAS SOUS 5026 HAS SOUPS 5026 WITH SCORE 5032.27
AT ITER 1920 NEW BEST:: SOT 14029 SOS 6259 HAS SOPS 6259 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5021.259
AT ITER 1926 NEW BEST:: SOT 14019 SOS 6248 HAS SOPS 6248 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5004.248
AT ITER 1963 NEW BEST:: SOT 14015 SOS 6146 HAS SOPS 6146 HAS SOUS 4984 HAS SOUPS 4984 WITH SCORE 4990.146
AT ITER 1978 NEW BEST:: SOT 14013 SOS 6144 HAS SOPS 6144 HAS SOUS 4982 HAS SOUPS 4982 WITH SCORE 4988.144
AT ITER 1996 NEW BEST:: SOT 14017 SOS 6133 HAS SOPS 6133 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4977.133
AT ITER 2047 NEW BEST:: SOT 14013 SOS 6129 HAS SOPS 6129 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4973.129
AT ITER 2059 NEW BEST:: SOT 14014 SOS 6137 HAS SOPS 6137 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4954.137
AT ITER 2161 NEW BEST:: SOT 14007 SOS 6116 HAS SOPS 6116 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4933.116
AT ITER 2163 NEW BEST:: SOT 13997 SOS 6107 HAS SOPS 6107 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4924.107
AT ITER 2166 NEW BEST:: SOT 13970 SOS 6065 HAS SOPS 6065 HAS SOUS 4880 HAS SOUPS 4880 WITH SCORE 4886.065
AT ITER 2178 NEW BEST:: SOT 13967 SOS 6062 HAS SOPS 6062 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4883.062
AT ITER 2219 NEW BEST:: SOT 13963 SOS 6054 HAS SOPS 6054 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4875.054
AT ITER 2226 NEW BEST:: SOT 13963 SOS 6053 HAS SOPS 6053 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4874.053
AT ITER 2243 NEW BEST:: SOT 13957 SOS 6044 HAS SOPS 6044 HAS SOUS 4867 HAS SOUPS 4867 WITH SCORE 4873.044
AT ITER 2244 NEW BEST:: SOT 13957 SOS 6043 HAS SOPS 6043 HAS SOUS 4866 HAS SOUPS 4866 WITH SCORE 4872.043
AT ITER 2283 NEW BEST:: SOT 13947 SOS 6023 HAS SOPS 6023 HAS SOUS 4846 HAS SOUPS 4846 WITH SCORE 4852.023
AT ITER 2286 NEW BEST:: SOT 13942 SOS 6018 HAS SOPS 6018 HAS SOUS 4846 HAS SOUPS 4846 WITH SCORE 4852.018
AT ITER 2300 NEW BEST:: SOT 13878 SOS 5947 HAS SOPS 5947 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4844.947
AT ITER 2309 NEW BEST:: SOT 13878 SOS 5937 HAS SOPS 5937 HAS SOUS 4829 HAS SOUPS 4829 WITH SCORE 4834.937
AT ITER 2316 NEW BEST:: SOT 13878 SOS 5921 HAS SOPS 5921 HAS SOUS 4811 HAS SOUPS 4811 WITH SCORE 4816.921
AT ITER 2318 NEW BEST:: SOT 13877 SOS 5920 HAS SOPS 5920 HAS SOUS 4810 HAS SOUPS 4810 WITH SCORE 4815.92
AT ITER 2325 NEW BEST:: SOT 13892 SOS 5936 HAS SOPS 5936 HAS SOUS 4801 HAS SOUPS 4801 WITH SCORE 4806.936
AT ITER 2344 NEW BEST:: SOT 13889 SOS 5933 HAS SOPS 5933 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4803.933
AT ITER 2352 NEW BEST:: SOT 13883 SOS 5925 HAS SOPS 5925 HAS SOUS 4790 HAS SOUPS 4790 WITH SCORE 4795.925
AT ITER 2366 NEW BEST:: SOT 13872 SOS 5889 HAS SOPS 5889 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4759.889
AT ITER 2374 NEW BEST:: SOT 13862 SOS 5879 HAS SOPS 5879 HAS SOUS 4745 HAS SOUPS 4745 WITH SCORE 4750.879
AT ITER 2436 NEW BEST:: SOT 13860 SOS 5876 HAS SOPS 5876 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4749.876
AT ITER 2443 NEW BEST:: SOT 13854 SOS 5870 HAS SOPS 5870 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4749.87
AT ITER 2502 NEW BEST:: SOT 13854 SOS 5864 HAS SOPS 5864 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4745.864
AT ITER 2512 NEW BEST:: SOT 13843 SOS 5861 HAS SOPS 5861 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4744.861
AT ITER 2550 NEW BEST:: SOT 13828 SOS 5839 HAS SOPS 5839 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4722.839
AT ITER 2551 NEW BEST:: SOT 13828 SOS 5836 HAS SOPS 5836 HAS SOUS 4711 HAS SOUPS 4711 WITH SCORE 4716.836
AT ITER 2559 NEW BEST:: SOT 13828 SOS 5817 HAS SOPS 5817 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4704.817
AT ITER 2578 NEW BEST:: SOT 13837 SOS 5813 HAS SOPS 5813 HAS SOUS 4695 HAS SOUPS 4695 WITH SCORE 4700.813
AT ITER 2579 NEW BEST:: SOT 13837 SOS 5807 HAS SOPS 5807 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4698.807
AT ITER 2616 NEW BEST:: SOT 13838 SOS 5806 HAS SOPS 5806 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4697.806
AT ITER 2622 NEW BEST:: SOT 13843 SOS 5795 HAS SOPS 5795 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4688.795
AT ITER 2639 NEW BEST:: SOT 13843 SOS 5788 HAS SOPS 5788 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4681.788
AT ITER 2718 NEW BEST:: SOT 13843 SOS 5788 HAS SOPS 5788 HAS SOUS 4671 HAS SOUPS 4671 WITH SCORE 4676.788
AT ITER 2751 NEW BEST:: SOT 13835 SOS 5758 HAS SOPS 5758 HAS SOUS 4655 HAS SOUPS 4655 WITH SCORE 4660.758
AT ITER 2836 NEW BEST:: SOT 13835 SOS 5753 HAS SOPS 5753 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4659.753
AT ITER 2912 NEW BEST:: SOT 13835 SOS 5748 HAS SOPS 5748 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4654.748
AT ITER 2919 NEW BEST:: SOT 13835 SOS 5741 HAS SOPS 5741 HAS SOUS 4642 HAS SOUPS 4642 WITH SCORE 4647.741
AT ITER 2951 NEW BEST:: SOT 13833 SOS 5739 HAS SOPS 5739 HAS SOUS 4634 HAS SOUPS 4634 WITH SCORE 4639.739
AT ITER 2977 NEW BEST:: SOT 13831 SOS 5673 HAS SOPS 5673 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4633.673
AT ITER 2980 NEW BEST:: SOT 13831 SOS 5665 HAS SOPS 5665 HAS SOUS 4622 HAS SOUPS 4622 WITH SCORE 4627.665
AT ITER 3078 NEW BEST:: SOT 13817 SOS 5651 HAS SOPS 5651 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4611.651
AT ITER 3079 NEW BEST:: SOT 13819 SOS 5648 HAS SOPS 5648 HAS SOUS 4603 HAS SOUPS 4603 WITH SCORE 4608.648
AT ITER 3097 NEW BEST:: SOT 13813 SOS 5624 HAS SOPS 5624 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4596.624
AT ITER 3140 NEW BEST:: SOT 13808 SOS 5606 HAS SOPS 5606 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4594.606
AT ITER 3164 NEW BEST:: SOT 13807 SOS 5603 HAS SOPS 5603 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4591.603
AT ITER 3167 NEW BEST:: SOT 13800 SOS 5602 HAS SOPS 5602 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4590.602
AT ITER 3176 NEW BEST:: SOT 13801 SOS 5600 HAS SOPS 5600 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4589.6
AT ITER 3187 NEW BEST:: SOT 13810 SOS 5592 HAS SOPS 5592 HAS SOUS 4576 HAS SOUPS 4576 WITH SCORE 4581.592
AT ITER 3211 NEW BEST:: SOT 13806 SOS 5589 HAS SOPS 5589 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4578.589
AT ITER 3223 NEW BEST:: SOT 13802 SOS 5585 HAS SOPS 5585 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4576.585
AT ITER 3267 NEW BEST:: SOT 13801 SOS 5583 HAS SOPS 5583 HAS SOUS 4569 HAS SOUPS 4569 WITH SCORE 4574.583
AT ITER 3280 NEW BEST:: SOT 13799 SOS 5579 HAS SOPS 5579 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4570.579
AT ITER 3291 NEW BEST:: SOT 13783 SOS 5661 HAS SOPS 5661 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4563.661
AT ITER 3301 NEW BEST:: SOT 13776 SOS 5647 HAS SOPS 5647 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4549.647
AT ITER 3311 NEW BEST:: SOT 13755 SOS 5626 HAS SOPS 5626 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4531.626
AT ITER 3318 NEW BEST:: SOT 13755 SOS 5628 HAS SOPS 5628 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4527.628
AT ITER 3326 NEW BEST:: SOT 13755 SOS 5624 HAS SOPS 5624 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4527.624
AT ITER 3353 NEW BEST:: SOT 13749 SOS 5612 HAS SOPS 5612 HAS SOUS 4515 HAS SOUPS 4515 WITH SCORE 4520.612
AT ITER 3358 NEW BEST:: SOT 13748 SOS 5611 HAS SOPS 5611 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4519.611
AT ITER 3375 NEW BEST:: SOT 13747 SOS 5609 HAS SOPS 5609 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4517.609
AT ITER 3414 NEW BEST:: SOT 13744 SOS 5603 HAS SOPS 5603 HAS SOUS 4506 HAS SOUPS 4506 WITH SCORE 4511.603
AT ITER 3417 NEW BEST:: SOT 13744 SOS 5602 HAS SOPS 5602 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4510.602
AT ITER 3472 NEW BEST:: SOT 13743 SOS 5600 HAS SOPS 5600 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4508.6
AT ITER 3494 NEW BEST:: SOT 13730 SOS 5595 HAS SOPS 5595 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4501.595
AT ITER 3500 NEW BEST:: SOT 13734 SOS 5583 HAS SOPS 5583 HAS SOUS 4488 HAS SOUPS 4488 WITH SCORE 4493.583
AT ITER 3532 NEW BEST:: SOT 13729 SOS 5574 HAS SOPS 5574 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4484.574
AT ITER 3538 NEW BEST:: SOT 13729 SOS 5568 HAS SOPS 5568 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4478.568
AT ITER 3547 NEW BEST:: SOT 13729 SOS 5564 HAS SOPS 5564 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4474.564
AT ITER 3571 NEW BEST:: SOT 13727 SOS 5580 HAS SOPS 5580 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4469.58
AT ITER 3581 NEW BEST:: SOT 13706 SOS 5559 HAS SOPS 5559 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4469.559
AT ITER 3603 NEW BEST:: SOT 13705 SOS 5558 HAS SOPS 5558 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4468.558
AT ITER 3611 NEW BEST:: SOT 13703 SOS 5556 HAS SOPS 5556 HAS SOUS 4459 HAS SOUPS 4459 WITH SCORE 4464.556
AT ITER 3612 NEW BEST:: SOT 13702 SOS 5550 HAS SOPS 5550 HAS SOUS 4457 HAS SOUPS 4457 WITH SCORE 4462.55
AT ITER 3647 NEW BEST:: SOT 13702 SOS 5541 HAS SOPS 5541 HAS SOUS 4450 HAS SOUPS 4450 WITH SCORE 4455.541
AT ITER 3664 NEW BEST:: SOT 13702 SOS 5525 HAS SOPS 5525 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4451.525
AT ITER 3665 NEW BEST:: SOT 13695 SOS 5518 HAS SOPS 5518 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4442.518
AT ITER 3691 NEW BEST:: SOT 13689 SOS 5512 HAS SOPS 5512 HAS SOUS 4431 HAS SOUPS 4431 WITH SCORE 4436.512
AT ITER 3708 NEW BEST:: SOT 13689 SOS 5511 HAS SOPS 5511 HAS SOUS 4431 HAS SOUPS 4431 WITH SCORE 4436.511
AT ITER 3776 NEW BEST:: SOT 13688 SOS 5510 HAS SOPS 5510 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4433.51
AT ITER 3802 NEW BEST:: SOT 13675 SOS 5508 HAS SOPS 5508 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4431.508
AT ITER 3835 NEW BEST:: SOT 13658 SOS 5492 HAS SOPS 5492 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4418.492
AT ITER 3862 NEW BEST:: SOT 13657 SOS 5478 HAS SOPS 5478 HAS SOUS 4410 HAS SOUPS 4410 WITH SCORE 4415.478
AT ITER 3883 NEW BEST:: SOT 13655 SOS 5468 HAS SOPS 5468 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4405.468
AT ITER 3894 NEW BEST:: SOT 13647 SOS 5464 HAS SOPS 5464 HAS SOUS 4396 HAS SOUPS 4396 WITH SCORE 4401.464
AT ITER 3953 NEW BEST:: SOT 13647 SOS 5462 HAS SOPS 5462 HAS SOUS 4394 HAS SOUPS 4394 WITH SCORE 4399.462
AT ITER 3981 NEW BEST:: SOT 13644 SOS 5459 HAS SOPS 5459 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4395.459
AT ITER 3986 NEW BEST:: SOT 13641 SOS 5456 HAS SOPS 5456 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4384.456
AT ITER 4033 NEW BEST:: SOT 13641 SOS 5452 HAS SOPS 5452 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4382.452
AT ITER 4038 NEW BEST:: SOT 13637 SOS 5448 HAS SOPS 5448 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4378.448
AT ITER 4164 NEW BEST:: SOT 13636 SOS 5446 HAS SOPS 5446 HAS SOUS 4371 HAS SOUPS 4371 WITH SCORE 4376.446
AT ITER 4174 NEW BEST:: SOT 13644 SOS 5444 HAS SOPS 5444 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4374.444
AT ITER 4199 NEW BEST:: SOT 13646 SOS 5443 HAS SOPS 5443 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4374.443
AT ITER 4262 NEW BEST:: SOT 13639 SOS 5437 HAS SOPS 5437 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4368.437
AT ITER 4277 NEW BEST:: SOT 13639 SOS 5435 HAS SOPS 5435 HAS SOUS 4361 HAS SOUPS 4361 WITH SCORE 4366.435
AT ITER 4280 NEW BEST:: SOT 13636 SOS 5433 HAS SOPS 5433 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4364.433
AT ITER 4339 NEW BEST:: SOT 13635 SOS 5431 HAS SOPS 5431 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4362.431
AT ITER 4451 NEW BEST:: SOT 13635 SOS 5430 HAS SOPS 5430 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4362.43
AT ITER 4475 NEW BEST:: SOT 13630 SOS 5443 HAS SOPS 5443 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4361.443
AT ITER 4480 NEW BEST:: SOT 13630 SOS 5442 HAS SOPS 5442 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4360.442
AT ITER 4540 NEW BEST:: SOT 13628 SOS 5440 HAS SOPS 5440 HAS SOUS 4351 HAS SOUPS 4351 WITH SCORE 4356.44
AT ITER 4547 NEW BEST:: SOT 13626 SOS 5432 HAS SOPS 5432 HAS SOUS 4345 HAS SOUPS 4345 WITH SCORE 4350.432
AT ITER 4558 NEW BEST:: SOT 13626 SOS 5429 HAS SOPS 5429 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4347.429
AT ITER 4591 NEW BEST:: SOT 13626 SOS 5424 HAS SOPS 5424 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4339.424
AT ITER 4613 NEW BEST:: SOT 13626 SOS 5425 HAS SOPS 5425 HAS SOUS 4333 HAS SOUPS 4333 WITH SCORE 4338.425
AT ITER 4616 NEW BEST:: SOT 13624 SOS 5423 HAS SOPS 5423 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4336.423
AT ITER 4632 NEW BEST:: SOT 13623 SOS 5421 HAS SOPS 5421 HAS SOUS 4329 HAS SOUPS 4329 WITH SCORE 4334.421
AT ITER 4710 NEW BEST:: SOT 13621 SOS 5416 HAS SOPS 5416 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4329.416
AT ITER 4725 NEW BEST:: SOT 13621 SOS 5413 HAS SOPS 5413 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4326.413
AT ITER 4788 NEW BEST:: SOT 13619 SOS 5404 HAS SOPS 5404 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4317.404
AT ITER 4890 NEW BEST:: SOT 13618 SOS 5403 HAS SOPS 5403 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4316.403
AT ITER 4919 NEW BEST:: SOT 13618 SOS 5397 HAS SOPS 5397 HAS SOUS 4307 HAS SOUPS 4307 WITH SCORE 4312.397
AT ITER 4981 NEW BEST:: SOT 13618 SOS 5396 HAS SOPS 5396 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4311.396
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ProductionCell-PT-none-CTLCardinality-00 (EG( ( ( potential( ( 2 ) <= (tk(P155)) ) | potential( (tk(P25)) <= (tk(P124)) ) ) & (EF(potential( (tk(P30)) <= (tk(P153)) ))) )))
PROPERTY: ProductionCell-PT-none-CTLCardinality-01 (! (EF(potential( ( 2 ) <= (tk(P24)) ))))
PROPERTY: ProductionCell-PT-none-CTLCardinality-02 (AF(( potential( ( 2 ) <= (tk(P150)) ) | (EG( potential( (tk(P5)) <= (tk(P169)) ))) )))
PROPERTY: ProductionCell-PT-none-CTLCardinality-03 (AX( ( potential( (tk(P149)) <= (tk(P52)) ) & (AG( potential( (tk(P84)) <= (tk(P97)) ))) )))
PROPERTY: ProductionCell-PT-none-CTLCardinality-04 (EF((EU( potential( ( 1 ) <= (tk(P13)) ),potential( ( 2 ) <= (tk(P85)) ) ))))
PROPERTY: ProductionCell-PT-none-CTLCardinality-05 ( (EU( (! potential( ( 1 ) <= (tk(P15)) )),( potential( ( 2 ) <= (tk(P94)) ) | potential( ( 3 ) <= (tk(P102)) ) ) )) & (AF((EX( potential( (tk(P32)) <= (tk(P20)) ))))) )
PROPERTY: ProductionCell-PT-none-CTLCardinality-06 (EG( (! potential( ( 2 ) <= (tk(P96)) ))))
PROPERTY: ProductionCell-PT-none-CTLCardinality-07 ( ( potential( ( 2 ) <= (tk(P51)) ) | potential( (tk(P4)) <= (tk(P148)) ) ) & ( (! ( ( potential( (tk(P1)) <= (tk(P19)) ) & potential( (tk(P78)) <= (tk(P134)) ) ) & ( potential( (tk(P67)) <= (tk(P128)) ) & potential( ( 1 ) <= (tk(P165)) ) ) )) & (EG( ( potential( (tk(P110)) <= (tk(P15)) ) | potential( ( 2 ) <= (tk(P127)) ) ))) ) )
PROPERTY: ProductionCell-PT-none-CTLCardinality-08 (EG( ( (EF(potential( ( 3 ) <= (tk(P13)) ))) | (! (! potential( ( 1 ) <= (tk(P40)) ))) )))
PROPERTY: ProductionCell-PT-none-CTLCardinality-09 (AU( ( ( potential( ( 3 ) <= (tk(P158)) ) | potential( (tk(P81)) <= (tk(P141)) ) ) & potential( (tk(P169)) <= (tk(P37)) ) ),(! (! potential( ( 2 ) <= (tk(P142)) ))) ))
PROPERTY: ProductionCell-PT-none-CTLCardinality-10 (! (EG( ( ( potential( (tk(P62)) <= (tk(P22)) ) | potential( (tk(P172)) <= (tk(P30)) ) ) | ( potential( ( 1 ) <= (tk(P147)) ) | potential( ( 2 ) <= (tk(P39)) ) ) ))))
PROPERTY: ProductionCell-PT-none-CTLCardinality-11 (AG( ( (AX( potential( (tk(P92)) <= (tk(P41)) ))) | ( ( potential( (tk(P119)) <= (tk(P65)) ) | potential( ( 2 ) <= (tk(P125)) ) ) | (! potential( (tk(P166)) <= (tk(P26)) )) ) )))
PROPERTY: ProductionCell-PT-none-CTLCardinality-12 (AF((AF(potential( ( 3 ) <= (tk(P3)) )))))
PROPERTY: ProductionCell-PT-none-CTLCardinality-13 (! (EG( (AX( potential( (tk(P51)) <= (tk(P107)) ))))))
PROPERTY: ProductionCell-PT-none-CTLCardinality-14 (! (EG( (AG( potential( (tk(P53)) <= (tk(P17)) ))))))
PROPERTY: ProductionCell-PT-none-CTLCardinality-15 (AF(( (AF(potential( ( 2 ) <= (tk(P62)) ))) | (EG( potential( ( 1 ) <= (tk(P7)) ))) )))

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="ProductionCell-PT-none"
export BK_EXAMINATION="CTLCardinality"
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 ProductionCell-PT-none, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r123-tajo-158961355100715"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ProductionCell-PT-none.tgz
mv ProductionCell-PT-none execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;