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-158961355100716.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961355100716
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME ProductionCell-PT-none-CTLFireability-01
FORMULA_NAME ProductionCell-PT-none-CTLFireability-02
FORMULA_NAME ProductionCell-PT-none-CTLFireability-03
FORMULA_NAME ProductionCell-PT-none-CTLFireability-04
FORMULA_NAME ProductionCell-PT-none-CTLFireability-05
FORMULA_NAME ProductionCell-PT-none-CTLFireability-06
FORMULA_NAME ProductionCell-PT-none-CTLFireability-07
FORMULA_NAME ProductionCell-PT-none-CTLFireability-08
FORMULA_NAME ProductionCell-PT-none-CTLFireability-09
FORMULA_NAME ProductionCell-PT-none-CTLFireability-10
FORMULA_NAME ProductionCell-PT-none-CTLFireability-11
FORMULA_NAME ProductionCell-PT-none-CTLFireability-12
FORMULA_NAME ProductionCell-PT-none-CTLFireability-13
FORMULA_NAME ProductionCell-PT-none-CTLFireability-14
FORMULA_NAME ProductionCell-PT-none-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589649774115

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ProductionCell (PT), instance none
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: 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 4 NEW BEST:: SOT 17626 SOS 13124 HAS SOPS 13124 HAS SOUS 10569 HAS SOUPS 10569 WITH SCORE 10582.124
AT ITER 5 NEW BEST:: SOT 17550 SOS 13242 HAS SOPS 13242 HAS SOUS 10511 HAS SOUPS 10511 WITH SCORE 10524.242
AT ITER 6 NEW BEST:: SOT 17550 SOS 13242 HAS SOPS 13242 HAS SOUS 10434 HAS SOUPS 10434 WITH SCORE 10447.242
AT ITER 17 NEW BEST:: SOT 16808 SOS 12499 HAS SOPS 12499 HAS SOUS 9713 HAS SOUPS 9713 WITH SCORE 9725.499
AT ITER 18 NEW BEST:: SOT 16745 SOS 12352 HAS SOPS 12352 HAS SOUS 9623 HAS SOUPS 9623 WITH SCORE 9635.352
AT ITER 19 NEW BEST:: SOT 16766 SOS 12373 HAS SOPS 12373 HAS SOUS 9560 HAS SOUPS 9560 WITH SCORE 9572.373
AT ITER 23 NEW BEST:: SOT 16766 SOS 12205 HAS SOPS 12205 HAS SOUS 9546 HAS SOUPS 9546 WITH SCORE 9558.205
AT ITER 28 NEW BEST:: SOT 16640 SOS 12078 HAS SOPS 12078 HAS SOUS 9486 HAS SOUPS 9486 WITH SCORE 9498.078
AT ITER 29 NEW BEST:: SOT 16642 SOS 12080 HAS SOPS 12080 HAS SOUS 9475 HAS SOUPS 9475 WITH SCORE 9487.08
AT ITER 31 NEW BEST:: SOT 16384 SOS 11373 HAS SOPS 11373 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9024.373
AT ITER 33 NEW BEST:: SOT 16421 SOS 11148 HAS SOPS 11148 HAS SOUS 9008 HAS SOUPS 9008 WITH SCORE 9019.148
AT ITER 37 NEW BEST:: SOT 16394 SOS 11133 HAS SOPS 11133 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8971.133
AT ITER 39 NEW BEST:: SOT 16369 SOS 11108 HAS SOPS 11108 HAS SOUS 8935 HAS SOUPS 8935 WITH SCORE 8946.108
AT ITER 43 NEW BEST:: SOT 16209 SOS 10948 HAS SOPS 10948 HAS SOUS 8817 HAS SOUPS 8817 WITH SCORE 8827.948
AT ITER 44 NEW BEST:: SOT 16158 SOS 10897 HAS SOPS 10897 HAS SOUS 8766 HAS SOUPS 8766 WITH SCORE 8776.897
AT ITER 46 NEW BEST:: SOT 16117 SOS 10752 HAS SOPS 10752 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8631.752
AT ITER 50 NEW BEST:: SOT 16056 SOS 10630 HAS SOPS 10630 HAS SOUS 8499 HAS SOUPS 8499 WITH SCORE 8509.63
AT ITER 56 NEW BEST:: SOT 16055 SOS 10628 HAS SOPS 10628 HAS SOUS 8498 HAS SOUPS 8498 WITH SCORE 8508.628
AT ITER 58 NEW BEST:: SOT 15954 SOS 10585 HAS SOPS 10585 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8405.585
AT ITER 61 NEW BEST:: SOT 15920 SOS 10492 HAS SOPS 10492 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8318.492
AT ITER 70 NEW BEST:: SOT 15912 SOS 10483 HAS SOPS 10483 HAS SOUS 8299 HAS SOUPS 8299 WITH SCORE 8309.483
AT ITER 83 NEW BEST:: SOT 15912 SOS 10462 HAS SOPS 10462 HAS SOUS 8297 HAS SOUPS 8297 WITH SCORE 8307.462
AT ITER 90 NEW BEST:: SOT 15791 SOS 10345 HAS SOPS 10345 HAS SOUS 8180 HAS SOUPS 8180 WITH SCORE 8190.345
AT ITER 94 NEW BEST:: SOT 15721 SOS 9987 HAS SOPS 9987 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8049.987
AT ITER 102 NEW BEST:: SOT 15721 SOS 9981 HAS SOPS 9981 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8049.981
AT ITER 103 NEW BEST:: SOT 15708 SOS 9968 HAS SOPS 9968 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8036.968
AT ITER 104 NEW BEST:: SOT 15537 SOS 9707 HAS SOPS 9707 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7775.707
AT ITER 125 NEW BEST:: SOT 15543 SOS 9669 HAS SOPS 9669 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7728.669
AT ITER 126 NEW BEST:: SOT 15547 SOS 9673 HAS SOPS 9673 HAS SOUS 7713 HAS SOUPS 7713 WITH SCORE 7722.673
AT ITER 130 NEW BEST:: SOT 15373 SOS 9500 HAS SOPS 9500 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7503.5
AT ITER 134 NEW BEST:: SOT 15373 SOS 9486 HAS SOPS 9486 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7503.486
AT ITER 141 NEW BEST:: SOT 15247 SOS 9360 HAS SOPS 9360 HAS SOUS 7406 HAS SOUPS 7406 WITH SCORE 7415.36
AT ITER 143 NEW BEST:: SOT 15268 SOS 9375 HAS SOPS 9375 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7412.375
AT ITER 145 NEW BEST:: SOT 15268 SOS 9323 HAS SOPS 9323 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7412.323
AT ITER 154 NEW BEST:: SOT 15232 SOS 9251 HAS SOPS 9251 HAS SOUS 7267 HAS SOUPS 7267 WITH SCORE 7276.251
AT ITER 166 NEW BEST:: SOT 15170 SOS 9081 HAS SOPS 9081 HAS SOUS 7196 HAS SOUPS 7196 WITH SCORE 7205.081
AT ITER 173 NEW BEST:: SOT 15153 SOS 9044 HAS SOPS 9044 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7187.044
AT ITER 188 NEW BEST:: SOT 15154 SOS 9045 HAS SOPS 9045 HAS SOUS 7160 HAS SOUPS 7160 WITH SCORE 7169.045
AT ITER 189 NEW BEST:: SOT 15154 SOS 9033 HAS SOPS 9033 HAS SOUS 7159 HAS SOUPS 7159 WITH SCORE 7168.033
AT ITER 200 NEW BEST:: SOT 15109 SOS 8988 HAS SOPS 8988 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7144.988
AT ITER 214 NEW BEST:: SOT 15109 SOS 8976 HAS SOPS 8976 HAS SOUS 7124 HAS SOUPS 7124 WITH SCORE 7132.976
AT ITER 227 NEW BEST:: SOT 14966 SOS 8798 HAS SOPS 8798 HAS SOUS 6928 HAS SOUPS 6928 WITH SCORE 6936.798
AT ITER 260 NEW BEST:: SOT 14966 SOS 8791 HAS SOPS 8791 HAS SOUS 6928 HAS SOUPS 6928 WITH SCORE 6936.791
AT ITER 261 NEW BEST:: SOT 14944 SOS 8769 HAS SOPS 8769 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6914.769
AT ITER 270 NEW BEST:: SOT 14934 SOS 8759 HAS SOPS 8759 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6904.759
AT ITER 287 NEW BEST:: SOT 14836 SOS 8679 HAS SOPS 8679 HAS SOUS 6811 HAS SOUPS 6811 WITH SCORE 6819.679
AT ITER 288 NEW BEST:: SOT 14827 SOS 8670 HAS SOPS 8670 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6809.67
AT ITER 303 NEW BEST:: SOT 14808 SOS 8651 HAS SOPS 8651 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6790.651
AT ITER 311 NEW BEST:: SOT 14804 SOS 8647 HAS SOPS 8647 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6786.647
AT ITER 316 NEW BEST:: SOT 14826 SOS 8640 HAS SOPS 8640 HAS SOUS 6771 HAS SOUPS 6771 WITH SCORE 6779.64
AT ITER 333 NEW BEST:: SOT 14810 SOS 8544 HAS SOPS 8544 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6731.544
AT ITER 357 NEW BEST:: SOT 14810 SOS 8516 HAS SOPS 8516 HAS SOUS 6695 HAS SOUPS 6695 WITH SCORE 6703.516
AT ITER 359 NEW BEST:: SOT 14817 SOS 8530 HAS SOPS 8530 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6700.53
AT ITER 389 NEW BEST:: SOT 14793 SOS 8488 HAS SOPS 8488 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6650.488
AT ITER 394 NEW BEST:: SOT 14792 SOS 8469 HAS SOPS 8469 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6650.469
AT ITER 395 NEW BEST:: SOT 14805 SOS 8482 HAS SOPS 8482 HAS SOUS 6625 HAS SOUPS 6625 WITH SCORE 6633.482
AT ITER 398 NEW BEST:: SOT 14805 SOS 8390 HAS SOPS 8390 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6621.39
AT ITER 401 NEW BEST:: SOT 14804 SOS 8389 HAS SOPS 8389 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6619.389
AT ITER 403 NEW BEST:: SOT 14764 SOS 8347 HAS SOPS 8347 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6558.347
AT ITER 410 NEW BEST:: SOT 14725 SOS 8302 HAS SOPS 8302 HAS SOUS 6520 HAS SOUPS 6520 WITH SCORE 6528.302
AT ITER 419 NEW BEST:: SOT 14694 SOS 8271 HAS SOPS 8271 HAS SOUS 6489 HAS SOUPS 6489 WITH SCORE 6497.271
AT ITER 427 NEW BEST:: SOT 14664 SOS 8243 HAS SOPS 8243 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6469.243
AT ITER 432 NEW BEST:: SOT 14660 SOS 8234 HAS SOPS 8234 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6460.234
AT ITER 440 NEW BEST:: SOT 14638 SOS 8212 HAS SOPS 8212 HAS SOUS 6441 HAS SOUPS 6441 WITH SCORE 6449.212
AT ITER 465 NEW BEST:: SOT 14620 SOS 8194 HAS SOPS 8194 HAS SOUS 6427 HAS SOUPS 6427 WITH SCORE 6435.194
AT ITER 482 NEW BEST:: SOT 14619 SOS 8193 HAS SOPS 8193 HAS SOUS 6425 HAS SOUPS 6425 WITH SCORE 6433.193
AT ITER 493 NEW BEST:: SOT 14572 SOS 8161 HAS SOPS 8161 HAS SOUS 6376 HAS SOUPS 6376 WITH SCORE 6384.161
AT ITER 504 NEW BEST:: SOT 14560 SOS 8149 HAS SOPS 8149 HAS SOUS 6374 HAS SOUPS 6374 WITH SCORE 6382.149
AT ITER 517 NEW BEST:: SOT 14573 SOS 8171 HAS SOPS 8171 HAS SOUS 6370 HAS SOUPS 6370 WITH SCORE 6378.171
AT ITER 521 NEW BEST:: SOT 14566 SOS 8164 HAS SOPS 8164 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6374.164
AT ITER 522 NEW BEST:: SOT 14509 SOS 8115 HAS SOPS 8115 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6325.115
AT ITER 527 NEW BEST:: SOT 14498 SOS 8092 HAS SOPS 8092 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6313.092
AT ITER 531 NEW BEST:: SOT 14427 SOS 8021 HAS SOPS 8021 HAS SOUS 6235 HAS SOUPS 6235 WITH SCORE 6243.021
AT ITER 551 NEW BEST:: SOT 14398 SOS 7992 HAS SOPS 7992 HAS SOUS 6205 HAS SOUPS 6205 WITH SCORE 6212.992
AT ITER 557 NEW BEST:: SOT 14400 SOS 7989 HAS SOPS 7989 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6209.989
AT ITER 567 NEW BEST:: SOT 14393 SOS 7982 HAS SOPS 7982 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6202.982
AT ITER 573 NEW BEST:: SOT 14393 SOS 7951 HAS SOPS 7951 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6202.951
AT ITER 585 NEW BEST:: SOT 14393 SOS 7946 HAS SOPS 7946 HAS SOUS 6193 HAS SOUPS 6193 WITH SCORE 6200.946
AT ITER 596 NEW BEST:: SOT 14405 SOS 7910 HAS SOPS 7910 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6178.91
AT ITER 598 NEW BEST:: SOT 14376 SOS 8017 HAS SOPS 8017 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6157.017
AT ITER 620 NEW BEST:: SOT 14376 SOS 7977 HAS SOPS 7977 HAS SOUS 6139 HAS SOUPS 6139 WITH SCORE 6146.977
AT ITER 621 NEW BEST:: SOT 14344 SOS 7921 HAS SOPS 7921 HAS SOUS 6082 HAS SOUPS 6082 WITH SCORE 6089.921
AT ITER 622 NEW BEST:: SOT 14305 SOS 7843 HAS SOPS 7843 HAS SOUS 6004 HAS SOUPS 6004 WITH SCORE 6011.843
AT ITER 629 NEW BEST:: SOT 14218 SOS 7755 HAS SOPS 7755 HAS SOUS 5968 HAS SOUPS 5968 WITH SCORE 5975.755
AT ITER 644 NEW BEST:: SOT 14199 SOS 7724 HAS SOPS 7724 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5960.724
AT ITER 651 NEW BEST:: SOT 14168 SOS 7659 HAS SOPS 7659 HAS SOUS 5939 HAS SOUPS 5939 WITH SCORE 5946.659
AT ITER 654 NEW BEST:: SOT 14167 SOS 7645 HAS SOPS 7645 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5921.645
AT ITER 665 NEW BEST:: SOT 14166 SOS 7643 HAS SOPS 7643 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5913.643
AT ITER 675 NEW BEST:: SOT 14165 SOS 7617 HAS SOPS 7617 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5871.617
AT ITER 679 NEW BEST:: SOT 14163 SOS 7625 HAS SOPS 7625 HAS SOUS 5859 HAS SOUPS 5859 WITH SCORE 5866.625
AT ITER 715 NEW BEST:: SOT 14161 SOS 7621 HAS SOPS 7621 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5862.621
AT ITER 719 NEW BEST:: SOT 14154 SOS 7616 HAS SOPS 7616 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5857.616
AT ITER 730 NEW BEST:: SOT 14163 SOS 7622 HAS SOPS 7622 HAS SOUS 5845 HAS SOUPS 5845 WITH SCORE 5852.622
AT ITER 734 NEW BEST:: SOT 14174 SOS 7613 HAS SOPS 7613 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5851.613
AT ITER 738 NEW BEST:: SOT 14134 SOS 7522 HAS SOPS 7522 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5771.522
AT ITER 743 NEW BEST:: SOT 14131 SOS 7519 HAS SOPS 7519 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5768.519
AT ITER 750 NEW BEST:: SOT 14127 SOS 7514 HAS SOPS 7514 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5764.514
AT ITER 785 NEW BEST:: SOT 14113 SOS 7490 HAS SOPS 7490 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5740.49
AT ITER 790 NEW BEST:: SOT 14095 SOS 7409 HAS SOPS 7409 HAS SOUS 5673 HAS SOUPS 5673 WITH SCORE 5680.409
AT ITER 825 NEW BEST:: SOT 14053 SOS 7367 HAS SOPS 7367 HAS SOUS 5631 HAS SOUPS 5631 WITH SCORE 5638.367
AT ITER 836 NEW BEST:: SOT 14053 SOS 7369 HAS SOPS 7369 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5637.369
AT ITER 845 NEW BEST:: SOT 14050 SOS 7390 HAS SOPS 7390 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5633.39
AT ITER 873 NEW BEST:: SOT 14053 SOS 7371 HAS SOPS 7371 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5629.371
AT ITER 887 NEW BEST:: SOT 14051 SOS 7369 HAS SOPS 7369 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5627.369
AT ITER 900 NEW BEST:: SOT 14027 SOS 7319 HAS SOPS 7319 HAS SOUS 5613 HAS SOUPS 5613 WITH SCORE 5620.319
AT ITER 915 NEW BEST:: SOT 14019 SOS 7307 HAS SOPS 7307 HAS SOUS 5601 HAS SOUPS 5601 WITH SCORE 5608.307
AT ITER 965 NEW BEST:: SOT 14017 SOS 7293 HAS SOPS 7293 HAS SOUS 5587 HAS SOUPS 5587 WITH SCORE 5594.293
AT ITER 981 NEW BEST:: SOT 14017 SOS 7281 HAS SOPS 7281 HAS SOUS 5587 HAS SOUPS 5587 WITH SCORE 5594.281
AT ITER 988 NEW BEST:: SOT 14031 SOS 7301 HAS SOPS 7301 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5581.301
AT ITER 993 NEW BEST:: SOT 14015 SOS 7303 HAS SOPS 7303 HAS SOUS 5562 HAS SOUPS 5562 WITH SCORE 5569.303
AT ITER 995 NEW BEST:: SOT 14014 SOS 7302 HAS SOPS 7302 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5567.302
AT ITER 1001 NEW BEST:: SOT 14036 SOS 7309 HAS SOPS 7309 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5565.309
AT ITER 1007 NEW BEST:: SOT 14025 SOS 7298 HAS SOPS 7298 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5554.298
AT ITER 1031 NEW BEST:: SOT 14025 SOS 7294 HAS SOPS 7294 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5554.294
AT ITER 1037 NEW BEST:: SOT 14023 SOS 7266 HAS SOPS 7266 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5544.266
AT ITER 1039 NEW BEST:: SOT 14013 SOS 7263 HAS SOPS 7263 HAS SOUS 5534 HAS SOUPS 5534 WITH SCORE 5541.263
AT ITER 1046 NEW BEST:: SOT 14005 SOS 7257 HAS SOPS 7257 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5535.257
AT ITER 1057 NEW BEST:: SOT 13981 SOS 7138 HAS SOPS 7138 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5487.138
AT ITER 1088 NEW BEST:: SOT 13980 SOS 7127 HAS SOPS 7127 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5485.127
AT ITER 1089 NEW BEST:: SOT 13978 SOS 7110 HAS SOPS 7110 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5468.11
AT ITER 1092 NEW BEST:: SOT 13968 SOS 7100 HAS SOPS 7100 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5458.1
AT ITER 1103 NEW BEST:: SOT 13977 SOS 7109 HAS SOPS 7109 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5457.109
AT ITER 1104 NEW BEST:: SOT 13977 SOS 7099 HAS SOPS 7099 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5451.099
AT ITER 1110 NEW BEST:: SOT 13964 SOS 7062 HAS SOPS 7062 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5439.062
AT ITER 1152 NEW BEST:: SOT 13956 SOS 7038 HAS SOPS 7038 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5427.038
AT ITER 1161 NEW BEST:: SOT 13956 SOS 7038 HAS SOPS 7038 HAS SOUS 5410 HAS SOUPS 5410 WITH SCORE 5417.038
AT ITER 1164 NEW BEST:: SOT 13962 SOS 7034 HAS SOPS 7034 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5413.034
AT ITER 1187 NEW BEST:: SOT 13959 SOS 6966 HAS SOPS 6966 HAS SOUS 5381 HAS SOUPS 5381 WITH SCORE 5387.966
AT ITER 1198 NEW BEST:: SOT 13955 SOS 6962 HAS SOPS 6962 HAS SOUS 5381 HAS SOUPS 5381 WITH SCORE 5387.962
AT ITER 1220 NEW BEST:: SOT 13956 SOS 6943 HAS SOPS 6943 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5364.943
AT ITER 1231 NEW BEST:: SOT 13936 SOS 6904 HAS SOPS 6904 HAS SOUS 5317 HAS SOUPS 5317 WITH SCORE 5323.904
AT ITER 1242 NEW BEST:: SOT 13925 SOS 6893 HAS SOPS 6893 HAS SOUS 5317 HAS SOUPS 5317 WITH SCORE 5323.893
AT ITER 1280 NEW BEST:: SOT 13938 SOS 6847 HAS SOPS 6847 HAS SOUS 5312 HAS SOUPS 5312 WITH SCORE 5318.847
AT ITER 1301 NEW BEST:: SOT 13932 SOS 6841 HAS SOPS 6841 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5312.841
AT ITER 1308 NEW BEST:: SOT 13930 SOS 6838 HAS SOPS 6838 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5309.838
AT ITER 1312 NEW BEST:: SOT 13927 SOS 6832 HAS SOPS 6832 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5303.832
AT ITER 1339 NEW BEST:: SOT 13925 SOS 6828 HAS SOPS 6828 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5282.828
AT ITER 1347 NEW BEST:: SOT 13922 SOS 6822 HAS SOPS 6822 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5276.822
AT ITER 1348 NEW BEST:: SOT 13902 SOS 6821 HAS SOPS 6821 HAS SOUS 5269 HAS SOUPS 5269 WITH SCORE 5275.821
AT ITER 1351 NEW BEST:: SOT 13895 SOS 6798 HAS SOPS 6798 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5264.798
AT ITER 1371 NEW BEST:: SOT 13894 SOS 6741 HAS SOPS 6741 HAS SOUS 5256 HAS SOUPS 5256 WITH SCORE 5262.741
AT ITER 1377 NEW BEST:: SOT 13894 SOS 6721 HAS SOPS 6721 HAS SOUS 5236 HAS SOUPS 5236 WITH SCORE 5242.721
AT ITER 1395 NEW BEST:: SOT 13884 SOS 6699 HAS SOPS 6699 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5217.699
AT ITER 1409 NEW BEST:: SOT 13884 SOS 6675 HAS SOPS 6675 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5193.675
AT ITER 1433 NEW BEST:: SOT 13882 SOS 6673 HAS SOPS 6673 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5191.673
AT ITER 1454 NEW BEST:: SOT 13881 SOS 6672 HAS SOPS 6672 HAS SOUS 5184 HAS SOUPS 5184 WITH SCORE 5190.672
AT ITER 1510 NEW BEST:: SOT 13881 SOS 6663 HAS SOPS 6663 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5181.663
AT ITER 1512 NEW BEST:: SOT 13864 SOS 6629 HAS SOPS 6629 HAS SOUS 5141 HAS SOUPS 5141 WITH SCORE 5147.629
AT ITER 1543 NEW BEST:: SOT 13864 SOS 6602 HAS SOPS 6602 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5146.602
AT ITER 1562 NEW BEST:: SOT 13864 SOS 6540 HAS SOPS 6540 HAS SOUS 5075 HAS SOUPS 5075 WITH SCORE 5081.54
AT ITER 1582 NEW BEST:: SOT 13834 SOS 6516 HAS SOPS 6516 HAS SOUS 5049 HAS SOUPS 5049 WITH SCORE 5055.516
AT ITER 1623 NEW BEST:: SOT 13827 SOS 6509 HAS SOPS 6509 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5047.509
AT ITER 1650 NEW BEST:: SOT 13827 SOS 6483 HAS SOPS 6483 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5041.483
AT ITER 1652 NEW BEST:: SOT 13818 SOS 6474 HAS SOPS 6474 HAS SOUS 5026 HAS SOUPS 5026 WITH SCORE 5032.474
AT ITER 1675 NEW BEST:: SOT 13810 SOS 6466 HAS SOPS 6466 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5024.466
AT ITER 1713 NEW BEST:: SOT 13805 SOS 6448 HAS SOPS 6448 HAS SOUS 5004 HAS SOUPS 5004 WITH SCORE 5010.448
AT ITER 1718 NEW BEST:: SOT 13802 SOS 6445 HAS SOPS 6445 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5007.445
AT ITER 1748 NEW BEST:: SOT 13800 SOS 6443 HAS SOPS 6443 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5005.443
AT ITER 1756 NEW BEST:: SOT 13778 SOS 6421 HAS SOPS 6421 HAS SOUS 4977 HAS SOUPS 4977 WITH SCORE 4983.421
AT ITER 1757 NEW BEST:: SOT 13759 SOS 6409 HAS SOPS 6409 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4959.409
AT ITER 1764 NEW BEST:: SOT 13753 SOS 6403 HAS SOPS 6403 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4954.403
AT ITER 1847 NEW BEST:: SOT 13745 SOS 6355 HAS SOPS 6355 HAS SOUS 4924 HAS SOUPS 4924 WITH SCORE 4930.355
AT ITER 1870 NEW BEST:: SOT 13738 SOS 6341 HAS SOPS 6341 HAS SOUS 4917 HAS SOUPS 4917 WITH SCORE 4923.341
AT ITER 1883 NEW BEST:: SOT 13735 SOS 6338 HAS SOPS 6338 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4920.338
AT ITER 1892 NEW BEST:: SOT 13733 SOS 6337 HAS SOPS 6337 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4919.337
AT ITER 1899 NEW BEST:: SOT 13725 SOS 6337 HAS SOPS 6337 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4903.337
AT ITER 1902 NEW BEST:: SOT 13719 SOS 6359 HAS SOPS 6359 HAS SOUS 4896 HAS SOUPS 4896 WITH SCORE 4902.359
AT ITER 1922 NEW BEST:: SOT 13688 SOS 6323 HAS SOPS 6323 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4866.323
AT ITER 1950 NEW BEST:: SOT 13685 SOS 6326 HAS SOPS 6326 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4860.326
AT ITER 2004 NEW BEST:: SOT 13684 SOS 6324 HAS SOPS 6324 HAS SOUS 4852 HAS SOUPS 4852 WITH SCORE 4858.324
AT ITER 2023 NEW BEST:: SOT 13683 SOS 6323 HAS SOPS 6323 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4856.323
AT ITER 2024 NEW BEST:: SOT 13682 SOS 6311 HAS SOPS 6311 HAS SOUS 4846 HAS SOUPS 4846 WITH SCORE 4852.311
AT ITER 2043 NEW BEST:: SOT 13682 SOS 6306 HAS SOPS 6306 HAS SOUS 4838 HAS SOUPS 4838 WITH SCORE 4844.306
AT ITER 2045 NEW BEST:: SOT 13653 SOS 6278 HAS SOPS 6278 HAS SOUS 4813 HAS SOUPS 4813 WITH SCORE 4819.278
AT ITER 2052 NEW BEST:: SOT 13650 SOS 6275 HAS SOPS 6275 HAS SOUS 4810 HAS SOUPS 4810 WITH SCORE 4816.275
AT ITER 2054 NEW BEST:: SOT 13647 SOS 6269 HAS SOPS 6269 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4783.269
AT ITER 2065 NEW BEST:: SOT 13646 SOS 6268 HAS SOPS 6268 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4781.268
AT ITER 2124 NEW BEST:: SOT 13646 SOS 6249 HAS SOPS 6249 HAS SOUS 4758 HAS SOUPS 4758 WITH SCORE 4764.249
AT ITER 2139 NEW BEST:: SOT 13632 SOS 6232 HAS SOPS 6232 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4745.232
AT ITER 2172 NEW BEST:: SOT 13608 SOS 6208 HAS SOPS 6208 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4712.208
AT ITER 2193 NEW BEST:: SOT 13608 SOS 6205 HAS SOPS 6205 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4712.205
AT ITER 2195 NEW BEST:: SOT 13611 SOS 6176 HAS SOPS 6176 HAS SOUS 4695 HAS SOUPS 4695 WITH SCORE 4701.176
AT ITER 2209 NEW BEST:: SOT 13611 SOS 6174 HAS SOPS 6174 HAS SOUS 4691 HAS SOUPS 4691 WITH SCORE 4697.174
AT ITER 2221 NEW BEST:: SOT 13611 SOS 6174 HAS SOPS 6174 HAS SOUS 4689 HAS SOUPS 4689 WITH SCORE 4695.174
AT ITER 2255 NEW BEST:: SOT 13608 SOS 6171 HAS SOPS 6171 HAS SOUS 4686 HAS SOUPS 4686 WITH SCORE 4692.171
AT ITER 2266 NEW BEST:: SOT 13586 SOS 6139 HAS SOPS 6139 HAS SOUS 4660 HAS SOUPS 4660 WITH SCORE 4666.139
AT ITER 2297 NEW BEST:: SOT 13583 SOS 6133 HAS SOPS 6133 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4660.133
AT ITER 2340 NEW BEST:: SOT 13572 SOS 6122 HAS SOPS 6122 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4649.122
AT ITER 2365 NEW BEST:: SOT 13572 SOS 6071 HAS SOPS 6071 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4649.071
AT ITER 2375 NEW BEST:: SOT 13586 SOS 6060 HAS SOPS 6060 HAS SOUS 4603 HAS SOUPS 4603 WITH SCORE 4609.06
AT ITER 2404 NEW BEST:: SOT 13583 SOS 6057 HAS SOPS 6057 HAS SOUS 4603 HAS SOUPS 4603 WITH SCORE 4609.057
AT ITER 2417 NEW BEST:: SOT 13582 SOS 6053 HAS SOPS 6053 HAS SOUS 4603 HAS SOUPS 4603 WITH SCORE 4609.053
AT ITER 2451 NEW BEST:: SOT 13587 SOS 6054 HAS SOPS 6054 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4594.054
AT ITER 2453 NEW BEST:: SOT 13568 SOS 6012 HAS SOPS 6012 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4572.012
AT ITER 2500 NEW BEST:: SOT 13568 SOS 6012 HAS SOPS 6012 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4570.012
AT ITER 2505 NEW BEST:: SOT 13567 SOS 6009 HAS SOPS 6009 HAS SOUS 4561 HAS SOUPS 4561 WITH SCORE 4567.009
AT ITER 2571 NEW BEST:: SOT 13567 SOS 6007 HAS SOPS 6007 HAS SOUS 4561 HAS SOUPS 4561 WITH SCORE 4567.007
AT ITER 2600 NEW BEST:: SOT 13566 SOS 6006 HAS SOPS 6006 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4566.006
AT ITER 2653 NEW BEST:: SOT 13564 SOS 6004 HAS SOPS 6004 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4565.004
AT ITER 2655 NEW BEST:: SOT 13543 SOS 5983 HAS SOPS 5983 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4555.983
AT ITER 2704 NEW BEST:: SOT 13542 SOS 5982 HAS SOPS 5982 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4555.982
AT ITER 2713 NEW BEST:: SOT 13520 SOS 5830 HAS SOPS 5830 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4479.83
AT ITER 2735 NEW BEST:: SOT 13495 SOS 5821 HAS SOPS 5821 HAS SOUS 4465 HAS SOUPS 4465 WITH SCORE 4470.821
AT ITER 2756 NEW BEST:: SOT 13524 SOS 5835 HAS SOPS 5835 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4465.835
AT ITER 2771 NEW BEST:: SOT 13522 SOS 5744 HAS SOPS 5744 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4446.744
AT ITER 2780 NEW BEST:: SOT 13521 SOS 5742 HAS SOPS 5742 HAS SOUS 4433 HAS SOUPS 4433 WITH SCORE 4438.742
AT ITER 2832 NEW BEST:: SOT 13516 SOS 5725 HAS SOPS 5725 HAS SOUS 4416 HAS SOUPS 4416 WITH SCORE 4421.725
AT ITER 2849 NEW BEST:: SOT 13488 SOS 5671 HAS SOPS 5671 HAS SOUS 4408 HAS SOUPS 4408 WITH SCORE 4413.671
AT ITER 2867 NEW BEST:: SOT 13487 SOS 5668 HAS SOPS 5668 HAS SOUS 4406 HAS SOUPS 4406 WITH SCORE 4411.668
AT ITER 2871 NEW BEST:: SOT 13487 SOS 5666 HAS SOPS 5666 HAS SOUS 4406 HAS SOUPS 4406 WITH SCORE 4411.666
AT ITER 2916 NEW BEST:: SOT 13487 SOS 5667 HAS SOPS 5667 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4406.667
AT ITER 2922 NEW BEST:: SOT 13488 SOS 5652 HAS SOPS 5652 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4397.652
AT ITER 2937 NEW BEST:: SOT 13488 SOS 5649 HAS SOPS 5649 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4397.649
AT ITER 2938 NEW BEST:: SOT 13460 SOS 5625 HAS SOPS 5625 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4379.625
AT ITER 2948 NEW BEST:: SOT 13453 SOS 5628 HAS SOPS 5628 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4371.628
AT ITER 2949 NEW BEST:: SOT 13452 SOS 5618 HAS SOPS 5618 HAS SOUS 4364 HAS SOUPS 4364 WITH SCORE 4369.618
AT ITER 3037 NEW BEST:: SOT 13430 SOS 5639 HAS SOPS 5639 HAS SOUS 4343 HAS SOUPS 4343 WITH SCORE 4348.639
AT ITER 3046 NEW BEST:: SOT 13420 SOS 5635 HAS SOPS 5635 HAS SOUS 4339 HAS SOUPS 4339 WITH SCORE 4344.635
AT ITER 3060 NEW BEST:: SOT 13416 SOS 5625 HAS SOPS 5625 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4336.625
AT ITER 3139 NEW BEST:: SOT 13414 SOS 5623 HAS SOPS 5623 HAS SOUS 4330 HAS SOUPS 4330 WITH SCORE 4335.623
AT ITER 3142 NEW BEST:: SOT 13447 SOS 5620 HAS SOPS 5620 HAS SOUS 4327 HAS SOUPS 4327 WITH SCORE 4332.62
AT ITER 3144 NEW BEST:: SOT 13446 SOS 5615 HAS SOPS 5615 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4327.615
AT ITER 3146 NEW BEST:: SOT 13442 SOS 5600 HAS SOPS 5600 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4319.6
AT ITER 3154 NEW BEST:: SOT 13438 SOS 5596 HAS SOPS 5596 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4315.596
AT ITER 3200 NEW BEST:: SOT 13437 SOS 5595 HAS SOPS 5595 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4314.595
AT ITER 3341 NEW BEST:: SOT 13424 SOS 5583 HAS SOPS 5583 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4293.583
AT ITER 3390 NEW BEST:: SOT 13421 SOS 5577 HAS SOPS 5577 HAS SOUS 4285 HAS SOUPS 4285 WITH SCORE 4290.577
AT ITER 3402 NEW BEST:: SOT 13419 SOS 5574 HAS SOPS 5574 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4287.574
AT ITER 3417 NEW BEST:: SOT 13417 SOS 5566 HAS SOPS 5566 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4287.566
AT ITER 3507 NEW BEST:: SOT 13409 SOS 5535 HAS SOPS 5535 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4256.535
AT ITER 3520 NEW BEST:: SOT 13409 SOS 5533 HAS SOPS 5533 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4254.533
AT ITER 3531 NEW BEST:: SOT 13411 SOS 5537 HAS SOPS 5537 HAS SOUS 4246 HAS SOUPS 4246 WITH SCORE 4251.537
AT ITER 3542 NEW BEST:: SOT 13411 SOS 5529 HAS SOPS 5529 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4243.529
AT ITER 3640 NEW BEST:: SOT 13410 SOS 5528 HAS SOPS 5528 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4242.528
AT ITER 3664 NEW BEST:: SOT 13403 SOS 5520 HAS SOPS 5520 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4230.52
AT ITER 3673 NEW BEST:: SOT 13402 SOS 5519 HAS SOPS 5519 HAS SOUS 4217 HAS SOUPS 4217 WITH SCORE 4222.519
AT ITER 3725 NEW BEST:: SOT 13401 SOS 5516 HAS SOPS 5516 HAS SOUS 4214 HAS SOUPS 4214 WITH SCORE 4219.516
AT ITER 3758 NEW BEST:: SOT 13401 SOS 5424 HAS SOPS 5424 HAS SOUS 4201 HAS SOUPS 4201 WITH SCORE 4206.424
AT ITER 3760 NEW BEST:: SOT 13399 SOS 5417 HAS SOPS 5417 HAS SOUS 4197 HAS SOUPS 4197 WITH SCORE 4202.417
AT ITER 3769 NEW BEST:: SOT 13404 SOS 5417 HAS SOPS 5417 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4198.417
AT ITER 3790 NEW BEST:: SOT 13398 SOS 5411 HAS SOPS 5411 HAS SOUS 4187 HAS SOUPS 4187 WITH SCORE 4192.411
AT ITER 3814 NEW BEST:: SOT 13389 SOS 5401 HAS SOPS 5401 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4188.401
AT ITER 3825 NEW BEST:: SOT 13389 SOS 5401 HAS SOPS 5401 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4187.401
AT ITER 3906 NEW BEST:: SOT 13389 SOS 5399 HAS SOPS 5399 HAS SOUS 4180 HAS SOUPS 4180 WITH SCORE 4185.399
AT ITER 3916 NEW BEST:: SOT 13363 SOS 5391 HAS SOPS 5391 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4181.391
AT ITER 3944 NEW BEST:: SOT 13362 SOS 5381 HAS SOPS 5381 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4177.381
AT ITER 3991 NEW BEST:: SOT 13362 SOS 5380 HAS SOPS 5380 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4177.38
AT ITER 4005 NEW BEST:: SOT 13361 SOS 5374 HAS SOPS 5374 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4174.374
AT ITER 4019 NEW BEST:: SOT 13361 SOS 5371 HAS SOPS 5371 HAS SOUS 4166 HAS SOUPS 4166 WITH SCORE 4171.371
AT ITER 4021 NEW BEST:: SOT 13356 SOS 5366 HAS SOPS 5366 HAS SOUS 4161 HAS SOUPS 4161 WITH SCORE 4166.366
AT ITER 4031 NEW BEST:: SOT 13355 SOS 5364 HAS SOPS 5364 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4164.364
AT ITER 4080 NEW BEST:: SOT 13352 SOS 5363 HAS SOPS 5363 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4163.363
AT ITER 4178 NEW BEST:: SOT 13351 SOS 5360 HAS SOPS 5360 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4160.36
AT ITER 4182 NEW BEST:: SOT 13354 SOS 5377 HAS SOPS 5377 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4155.377
AT ITER 4335 NEW BEST:: SOT 13314 SOS 5337 HAS SOPS 5337 HAS SOUS 4110 HAS SOUPS 4110 WITH SCORE 4115.337
AT ITER 4355 NEW BEST:: SOT 13310 SOS 5331 HAS SOPS 5331 HAS SOUS 4104 HAS SOUPS 4104 WITH SCORE 4109.331
AT ITER 4438 NEW BEST:: SOT 13283 SOS 5267 HAS SOPS 5267 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4071.267
AT ITER 4471 NEW BEST:: SOT 13281 SOS 5267 HAS SOPS 5267 HAS SOUS 4058 HAS SOUPS 4058 WITH SCORE 4063.267
AT ITER 4511 NEW BEST:: SOT 13277 SOS 5259 HAS SOPS 5259 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4055.259
AT ITER 4682 NEW BEST:: SOT 13275 SOS 5257 HAS SOPS 5257 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4053.257
AT ITER 4688 NEW BEST:: SOT 13270 SOS 5235 HAS SOPS 5235 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4042.235
AT ITER 4725 NEW BEST:: SOT 13230 SOS 5188 HAS SOPS 5188 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4019.188
AT ITER 4761 NEW BEST:: SOT 13226 SOS 5184 HAS SOPS 5184 HAS SOUS 4010 HAS SOUPS 4010 WITH SCORE 4015.184
AT ITER 4815 NEW BEST:: SOT 13204 SOS 5162 HAS SOPS 5162 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 3993.162
AT ITER 4854 NEW BEST:: SOT 13200 SOS 5154 HAS SOPS 5154 HAS SOUS 3974 HAS SOUPS 3974 WITH SCORE 3979.154
AT ITER 4874 NEW BEST:: SOT 13199 SOS 5153 HAS SOPS 5153 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3978.153
AT ITER 4882 NEW BEST:: SOT 13197 SOS 5093 HAS SOPS 5093 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3974.093
AT ITER 4962 NEW BEST:: SOT 13196 SOS 5092 HAS SOPS 5092 HAS SOUS 3967 HAS SOUPS 3967 WITH SCORE 3972.092
AT ITER 4981 NEW BEST:: SOT 13195 SOS 5090 HAS SOPS 5090 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3970.09
AT ITER 4988 NEW BEST:: SOT 13189 SOS 5060 HAS SOPS 5060 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3958.06
Bounds file is: CTLFireability.xml
PROPERTY: ProductionCell-PT-none-CTLFireability-00 ( (EU( (AG( ((potential((tk(P38)>=1) & (tk(P41)>=1)))))) , (AF( ((potential((tk(P57)>=1) & (tk(P167)>=1)))))) )) | (EX( ( ((potential((tk(P47)>=1)))) | ( ( ((potential((tk(P141)>=1)))) | ((potential((tk(P67)>=1)))) ) | ( ((potential((tk(P47)>=1)))) & ((potential((tk(P5)>=1)))) ) ) ))) )
PROPERTY: ProductionCell-PT-none-CTLFireability-01 (AG( (AF( ((potential((tk(P67)>=1) & (tk(P101)>=1))))))))
PROPERTY: ProductionCell-PT-none-CTLFireability-02 (EF( ( ((potential((tk(P29)>=1) & (tk(P35)>=1)))) & (EG( (! ((potential((tk(P56)>=1) & (tk(P58)>=1))))))) )))
PROPERTY: ProductionCell-PT-none-CTLFireability-03 (AF( (AG( ( ( ((potential((tk(P68)>=1) & (tk(P152)>=1)))) & ((potential((tk(P120)>=1)))) ) | ( ((potential((tk(P50)>=1)))) | ((potential((tk(P13)>=1) & (tk(P22)>=1)))) ) )))))
PROPERTY: ProductionCell-PT-none-CTLFireability-04 (AF( (AU( ( ((potential((tk(P85)>=1) & (tk(P137)>=1)))) & ((potential((tk(P38)>=1)))) ) , ( ((potential((tk(P129)>=1) & (tk(P140)>=1)))) | ((potential((tk(P18)>=1)))) ) ))))
PROPERTY: ProductionCell-PT-none-CTLFireability-05 (AF( (! (! ( ((potential((tk(P176)>=1) & (tk(P172)>=1) & (tk(P168)>=1) & (tk(P164)>=1) & (tk(P160)>=1) & (tk(P158)>=1) & (tk(P162)>=1) & (tk(P166)>=1) & (tk(P170)>=1) & (tk(P174)>=1)))) & ((potential((tk(P38)>=1) & (tk(P41)>=1)))) )))))
PROPERTY: ProductionCell-PT-none-CTLFireability-06 (AF( ( (! (EF( ((potential((tk(P13)>=1) & (tk(P20)>=1))))))) & ( (! ((potential((tk(P67)>=1) & (tk(P74)>=1))))) & ((potential((tk(P59)>=1)))) ) )))
PROPERTY: ProductionCell-PT-none-CTLFireability-07 ( ((potential((tk(P81)>=1)))) | (EU( (! ((potential((tk(P50)>=1))))) , ( ( ((potential((tk(P56)>=1) & (tk(P58)>=1)))) & ((potential((tk(P12)>=1) & (tk(P159)>=1)))) ) & (! ((potential((tk(P60)>=1) & (tk(P109)>=1))))) ) )) )
PROPERTY: ProductionCell-PT-none-CTLFireability-08 (EU( ((potential((tk(P46)>=1)))) , (EG( (! ((potential((tk(P129)>=1))))))) ))
PROPERTY: ProductionCell-PT-none-CTLFireability-09 (AF( ( ( (! ( ((potential((tk(P13)>=1) & (tk(P20)>=1)))) | ((potential((tk(P27)>=1)))) )) & (! (! ((potential((tk(P72)>=1)))))) ) & (! ((potential((tk(P33)>=1))))) )))
PROPERTY: ProductionCell-PT-none-CTLFireability-10 ( ( ((potential((tk(P129)>=1) & (tk(P133)>=1)))) | ( (EG( ( ((potential((tk(P72)>=1)))) & ((potential((tk(P94)>=1) & (tk(P142)>=1)))) ))) | (EF( ((potential((tk(P39)>=1) & (tk(P149)>=1)))))) ) ) & ( (EG( (! ((potential((tk(P39)>=1) & (tk(P163)>=1))))))) | (EG( ( (! ((potential((tk(P85)>=1) & (tk(P137)>=1))))) | (! ((potential((tk(P38)>=1) & (tk(P45)>=1))))) ))) ) )
PROPERTY: ProductionCell-PT-none-CTLFireability-11 (EU( (AF( ( ((potential((tk(P129)>=1) & (tk(P140)>=1)))) | ((potential((tk(P48)>=1) & (tk(P165)>=1)))) ))) , (AG( ( ((potential((tk(P100)>=1) & (tk(P143)>=1)))) | ((potential((tk(P119)>=1)))) ))) ))
PROPERTY: ProductionCell-PT-none-CTLFireability-12 (EF( (EG( (AG( ((potential((tk(P60)>=1) & (tk(P109)>=1))))))))))
PROPERTY: ProductionCell-PT-none-CTLFireability-13 ( (! (AF( (EX( ((potential((tk(P67)>=1) & (tk(P83)>=1))))))))) | ( ( ( (EX( ((potential((tk(P85)>=1) & (tk(P137)>=1)))))) & ( ( ((potential((tk(P19)>=1) & (tk(P20)>=1)))) & ((potential((tk(P19)>=1) & (tk(P24)>=1)))) ) & ((potential((tk(P67)>=1) & (tk(P86)>=1)))) ) ) | (AG( (! ((potential((tk(P56)>=1) & (tk(P62)>=1))))))) ) & ( ( ( ((potential((tk(P112)>=1) & (tk(P118)>=1)))) | ( ((potential((tk(P99)>=1)))) | ((potential((tk(P5)>=1)))) ) ) | (EF( ((potential((tk(P11)>=1) & (tk(P14)>=1) & (tk(P64)>=1)))))) ) | ( ( ((potential((tk(P5)>=1)))) & ( ((potential((tk(P85)>=1) & (tk(P137)>=1)))) & ((potential((tk(P67)>=1) & (tk(P98)>=1)))) ) ) | ((potential((tk(P90)>=1)))) ) ) ) )
PROPERTY: ProductionCell-PT-none-CTLFireability-14 ( (EF( (EG( ( ((potential((tk(P112)>=1)))) | ((potential((tk(P47)>=1)))) ))))) | ( ((potential((tk(P9)>=1) & (tk(P7)>=1)))) | ( (EU( ((potential((tk(P30)>=1) & (tk(P161)>=1)))) , ((potential((tk(P73)>=1) & (tk(P142)>=1)))) )) & ((potential((tk(P121)>=1) & (tk(P154)>=1)))) ) ) )
PROPERTY: ProductionCell-PT-none-CTLFireability-15 (EF( ((potential((tk(P87)>=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="ProductionCell-PT-none"
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 ProductionCell-PT-none, 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 r123-tajo-158961355100716"
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 [ "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 ;