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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 372K
-rw-r--r-- 1 mcc users 2.6K Mar 30 18:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 30 18:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 29 08:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 29 08:38 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.0K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 04:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 04:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 23:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 23:03 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 200K 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-04a-CTLCardinality-00
FORMULA_NAME DLCround-PT-04a-CTLCardinality-01
FORMULA_NAME DLCround-PT-04a-CTLCardinality-02
FORMULA_NAME DLCround-PT-04a-CTLCardinality-03
FORMULA_NAME DLCround-PT-04a-CTLCardinality-04
FORMULA_NAME DLCround-PT-04a-CTLCardinality-05
FORMULA_NAME DLCround-PT-04a-CTLCardinality-06
FORMULA_NAME DLCround-PT-04a-CTLCardinality-07
FORMULA_NAME DLCround-PT-04a-CTLCardinality-08
FORMULA_NAME DLCround-PT-04a-CTLCardinality-09
FORMULA_NAME DLCround-PT-04a-CTLCardinality-10
FORMULA_NAME DLCround-PT-04a-CTLCardinality-11
FORMULA_NAME DLCround-PT-04a-CTLCardinality-12
FORMULA_NAME DLCround-PT-04a-CTLCardinality-13
FORMULA_NAME DLCround-PT-04a-CTLCardinality-14
FORMULA_NAME DLCround-PT-04a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589121635250

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 04a
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: 139 places, 823 transitions, 3074 arcs.
AT ITER 0 NEW BEST:: SOT 77324 SOS 59877 HAS SOPS 36308 HAS SOUS 11839 HAS SOUPS 7817 WITH SCORE 7876.877
AT ITER 2 NEW BEST:: SOT 77312 SOS 59781 HAS SOPS 36272 HAS SOUS 11791 HAS SOUPS 7781 WITH SCORE 7840.781
AT ITER 6 NEW BEST:: SOT 77181 SOS 59051 HAS SOPS 36134 HAS SOUS 11973 HAS SOUPS 7754 WITH SCORE 7813.051
AT ITER 7 NEW BEST:: SOT 77283 SOS 56995 HAS SOPS 34494 HAS SOUS 11907 HAS SOUPS 7740 WITH SCORE 7796.995
AT ITER 12 NEW BEST:: SOT 77283 SOS 56995 HAS SOPS 34494 HAS SOUS 11901 HAS SOUPS 7734 WITH SCORE 7790.995
AT ITER 14 NEW BEST:: SOT 77329 SOS 56367 HAS SOPS 34186 HAS SOUS 11833 HAS SOUPS 7706 WITH SCORE 7762.367
AT ITER 19 NEW BEST:: SOT 77380 SOS 56565 HAS SOPS 34384 HAS SOUS 11827 HAS SOUPS 7700 WITH SCORE 7756.565
AT ITER 24 NEW BEST:: SOT 77394 SOS 56649 HAS SOPS 34468 HAS SOUS 11813 HAS SOUPS 7686 WITH SCORE 7742.649
AT ITER 31 NEW BEST:: SOT 77404 SOS 56453 HAS SOPS 34342 HAS SOUS 11813 HAS SOUPS 7686 WITH SCORE 7742.453
AT ITER 34 NEW BEST:: SOT 77320 SOS 56390 HAS SOPS 34174 HAS SOUS 11629 HAS SOUPS 7480 WITH SCORE 7536.39
AT ITER 35 NEW BEST:: SOT 77256 SOS 56342 HAS SOPS 34046 HAS SOUS 11511 HAS SOUPS 7348 WITH SCORE 7404.342
AT ITER 46 NEW BEST:: SOT 77252 SOS 56339 HAS SOPS 34038 HAS SOUS 11508 HAS SOUPS 7340 WITH SCORE 7396.339
AT ITER 47 NEW BEST:: SOT 77238 SOS 56311 HAS SOPS 34024 HAS SOUS 11501 HAS SOUPS 7333 WITH SCORE 7389.311
AT ITER 58 NEW BEST:: SOT 77238 SOS 56311 HAS SOPS 34024 HAS SOUS 11470 HAS SOUPS 7331 WITH SCORE 7387.311
AT ITER 66 NEW BEST:: SOT 77231 SOS 56297 HAS SOPS 34024 HAS SOUS 11463 HAS SOUPS 7331 WITH SCORE 7387.297
AT ITER 69 NEW BEST:: SOT 77226 SOS 56303 HAS SOPS 34090 HAS SOUS 11440 HAS SOUPS 7320 WITH SCORE 7376.303
AT ITER 70 NEW BEST:: SOT 77222 SOS 56292 HAS SOPS 34084 HAS SOUS 11436 HAS SOUPS 7317 WITH SCORE 7373.292
AT ITER 73 NEW BEST:: SOT 77210 SOS 56178 HAS SOPS 34018 HAS SOUS 11418 HAS SOUPS 7305 WITH SCORE 7361.178
AT ITER 74 NEW BEST:: SOT 77162 SOS 56142 HAS SOPS 33922 HAS SOUS 11344 HAS SOUPS 7205 WITH SCORE 7261.142
AT ITER 80 NEW BEST:: SOT 77162 SOS 56142 HAS SOPS 33922 HAS SOUS 11341 HAS SOUPS 7203 WITH SCORE 7259.142
AT ITER 99 NEW BEST:: SOT 77148 SOS 56010 HAS SOPS 33854 HAS SOUS 11321 HAS SOUPS 7191 WITH SCORE 7247.01
AT ITER 115 NEW BEST:: SOT 77194 SOS 55822 HAS SOPS 33890 HAS SOUS 11273 HAS SOUPS 7171 WITH SCORE 7226.822
AT ITER 118 NEW BEST:: SOT 77270 SOS 55162 HAS SOPS 33730 HAS SOUS 11320 HAS SOUPS 7142 WITH SCORE 7197.162
AT ITER 123 NEW BEST:: SOT 77263 SOS 55176 HAS SOPS 33723 HAS SOUS 11313 HAS SOUPS 7135 WITH SCORE 7190.176
AT ITER 134 NEW BEST:: SOT 77450 SOS 54705 HAS SOPS 33672 HAS SOUS 11257 HAS SOUPS 7082 WITH SCORE 7136.705
AT ITER 140 NEW BEST:: SOT 77763 SOS 55076 HAS SOPS 33791 HAS SOUS 11199 HAS SOUPS 6987 WITH SCORE 7042.076
AT ITER 141 NEW BEST:: SOT 77736 SOS 54779 HAS SOPS 33494 HAS SOUS 11164 HAS SOUPS 6952 WITH SCORE 7006.779
AT ITER 154 NEW BEST:: SOT 77653 SOS 55344 HAS SOPS 33675 HAS SOUS 11101 HAS SOUPS 6887 WITH SCORE 6942.344
AT ITER 162 NEW BEST:: SOT 77581 SOS 55076 HAS SOPS 33520 HAS SOUS 11022 HAS SOUPS 6839 WITH SCORE 6894.076
AT ITER 168 NEW BEST:: SOT 77629 SOS 55295 HAS SOPS 33576 HAS SOUS 11057 HAS SOUPS 6833 WITH SCORE 6888.295
AT ITER 169 NEW BEST:: SOT 77629 SOS 55289 HAS SOPS 33572 HAS SOUS 11051 HAS SOUPS 6829 WITH SCORE 6884.289
AT ITER 172 NEW BEST:: SOT 77551 SOS 55029 HAS SOPS 33442 HAS SOUS 10974 HAS SOUPS 6778 WITH SCORE 6833.029
AT ITER 173 NEW BEST:: SOT 77624 SOS 54430 HAS SOPS 33299 HAS SOUS 11009 HAS SOUPS 6709 WITH SCORE 6763.43
AT ITER 178 NEW BEST:: SOT 77624 SOS 54398 HAS SOPS 33267 HAS SOUS 11005 HAS SOUPS 6705 WITH SCORE 6759.398
AT ITER 180 NEW BEST:: SOT 77609 SOS 54378 HAS SOPS 33257 HAS SOUS 11006 HAS SOUPS 6705 WITH SCORE 6759.378
AT ITER 187 NEW BEST:: SOT 77373 SOS 54680 HAS SOPS 33293 HAS SOUS 10731 HAS SOUPS 6552 WITH SCORE 6606.68
AT ITER 193 NEW BEST:: SOT 77359 SOS 54568 HAS SOPS 33251 HAS SOUS 10675 HAS SOUPS 6510 WITH SCORE 6564.568
AT ITER 201 NEW BEST:: SOT 77320 SOS 53480 HAS SOPS 32307 HAS SOUS 10650 HAS SOUPS 6503 WITH SCORE 6556.48
AT ITER 204 NEW BEST:: SOT 77279 SOS 53205 HAS SOPS 32240 HAS SOUS 10587 HAS SOUPS 6466 WITH SCORE 6519.205
AT ITER 205 NEW BEST:: SOT 77285 SOS 53502 HAS SOPS 32537 HAS SOUS 10553 HAS SOUPS 6432 WITH SCORE 6485.502
AT ITER 206 NEW BEST:: SOT 77167 SOS 53861 HAS SOPS 32646 HAS SOUS 10458 HAS SOUPS 6337 WITH SCORE 6390.861
AT ITER 207 NEW BEST:: SOT 77095 SOS 53885 HAS SOPS 32924 HAS SOUS 10335 HAS SOUPS 6276 WITH SCORE 6329.885
AT ITER 208 NEW BEST:: SOT 76983 SOS 53780 HAS SOPS 32822 HAS SOUS 10208 HAS SOUPS 6185 WITH SCORE 6238.78
AT ITER 219 NEW BEST:: SOT 77036 SOS 53844 HAS SOPS 32886 HAS SOUS 10190 HAS SOUPS 6167 WITH SCORE 6220.844
AT ITER 223 NEW BEST:: SOT 77048 SOS 53856 HAS SOPS 32898 HAS SOUS 10184 HAS SOUPS 6161 WITH SCORE 6214.856
AT ITER 224 NEW BEST:: SOT 77046 SOS 53857 HAS SOPS 32891 HAS SOUS 10184 HAS SOUPS 6160 WITH SCORE 6213.857
AT ITER 228 NEW BEST:: SOT 77042 SOS 53869 HAS SOPS 32883 HAS SOUS 10184 HAS SOUPS 6156 WITH SCORE 6209.869
AT ITER 231 NEW BEST:: SOT 77010 SOS 54000 HAS SOPS 32914 HAS SOUS 10180 HAS SOUPS 6152 WITH SCORE 6206.0
AT ITER 234 NEW BEST:: SOT 77010 SOS 53972 HAS SOPS 32886 HAS SOUS 10180 HAS SOUPS 6152 WITH SCORE 6205.972
AT ITER 265 NEW BEST:: SOT 76996 SOS 53994 HAS SOPS 32828 HAS SOUS 10186 HAS SOUPS 6148 WITH SCORE 6201.994
AT ITER 268 NEW BEST:: SOT 76984 SOS 53874 HAS SOPS 32756 HAS SOUS 10172 HAS SOUPS 6140 WITH SCORE 6193.874
AT ITER 269 NEW BEST:: SOT 76755 SOS 53589 HAS SOPS 32561 HAS SOUS 10167 HAS SOUPS 6130 WITH SCORE 6183.589
AT ITER 275 NEW BEST:: SOT 76748 SOS 52288 HAS SOPS 31476 HAS SOUS 10129 HAS SOUPS 6119 WITH SCORE 6171.288
AT ITER 281 NEW BEST:: SOT 76460 SOS 52118 HAS SOPS 31338 HAS SOUS 10043 HAS SOUPS 6013 WITH SCORE 6065.118
AT ITER 288 NEW BEST:: SOT 76334 SOS 52053 HAS SOPS 31273 HAS SOUS 9909 HAS SOUPS 5879 WITH SCORE 5931.053
AT ITER 298 NEW BEST:: SOT 75889 SOS 51553 HAS SOPS 30988 HAS SOUS 9899 HAS SOUPS 5869 WITH SCORE 5920.553
AT ITER 311 NEW BEST:: SOT 75801 SOS 51433 HAS SOPS 30916 HAS SOUS 9895 HAS SOUPS 5865 WITH SCORE 5916.433
AT ITER 319 NEW BEST:: SOT 75767 SOS 51348 HAS SOPS 30901 HAS SOUS 9842 HAS SOUPS 5826 WITH SCORE 5877.348
AT ITER 323 NEW BEST:: SOT 75745 SOS 51315 HAS SOPS 30890 HAS SOUS 9824 HAS SOUPS 5819 WITH SCORE 5870.315
AT ITER 328 NEW BEST:: SOT 75688 SOS 51105 HAS SOPS 30789 HAS SOUS 9813 HAS SOUPS 5813 WITH SCORE 5864.105
AT ITER 334 NEW BEST:: SOT 75688 SOS 51105 HAS SOPS 30789 HAS SOUS 9803 HAS SOUPS 5793 WITH SCORE 5844.105
AT ITER 358 NEW BEST:: SOT 75689 SOS 50865 HAS SOPS 30549 HAS SOUS 9782 HAS SOUPS 5772 WITH SCORE 5822.865
AT ITER 365 NEW BEST:: SOT 75677 SOS 50843 HAS SOPS 30537 HAS SOUS 9759 HAS SOUPS 5763 WITH SCORE 5813.843
AT ITER 366 NEW BEST:: SOT 75681 SOS 50817 HAS SOPS 30517 HAS SOUS 9755 HAS SOUPS 5759 WITH SCORE 5809.817
AT ITER 381 NEW BEST:: SOT 75217 SOS 50194 HAS SOPS 29899 HAS SOUS 9811 HAS SOUPS 5758 WITH SCORE 5808.194
AT ITER 392 NEW BEST:: SOT 75160 SOS 50119 HAS SOPS 29743 HAS SOUS 9819 HAS SOUPS 5739 WITH SCORE 5789.119
AT ITER 398 NEW BEST:: SOT 74938 SOS 49437 HAS SOPS 29383 HAS SOUS 9781 HAS SOUPS 5724 WITH SCORE 5773.437
AT ITER 403 NEW BEST:: SOT 74755 SOS 49005 HAS SOPS 28709 HAS SOUS 9751 HAS SOUPS 5608 WITH SCORE 5657.005
AT ITER 426 NEW BEST:: SOT 74386 SOS 48488 HAS SOPS 28303 HAS SOUS 9761 HAS SOUPS 5603 WITH SCORE 5651.488
AT ITER 436 NEW BEST:: SOT 74390 SOS 48536 HAS SOPS 28351 HAS SOUS 9757 HAS SOUPS 5599 WITH SCORE 5647.536
AT ITER 439 NEW BEST:: SOT 74546 SOS 48692 HAS SOPS 28377 HAS SOUS 9835 HAS SOUPS 5573 WITH SCORE 5621.692
AT ITER 453 NEW BEST:: SOT 74588 SOS 49050 HAS SOPS 28383 HAS SOUS 9855 HAS SOUPS 5549 WITH SCORE 5598.05
AT ITER 455 NEW BEST:: SOT 74311 SOS 48744 HAS SOPS 28255 HAS SOUS 9838 HAS SOUPS 5531 WITH SCORE 5579.744
AT ITER 458 NEW BEST:: SOT 74311 SOS 48752 HAS SOPS 28247 HAS SOUS 9838 HAS SOUPS 5523 WITH SCORE 5571.752
AT ITER 468 NEW BEST:: SOT 74018 SOS 48004 HAS SOPS 27842 HAS SOUS 9782 HAS SOUPS 5489 WITH SCORE 5537.004
AT ITER 474 NEW BEST:: SOT 73840 SOS 47593 HAS SOPS 27625 HAS SOUS 9743 HAS SOUPS 5464 WITH SCORE 5511.593
AT ITER 477 NEW BEST:: SOT 73840 SOS 47625 HAS SOPS 27609 HAS SOUS 9747 HAS SOUPS 5462 WITH SCORE 5509.625
AT ITER 484 NEW BEST:: SOT 73841 SOS 47404 HAS SOPS 27385 HAS SOUS 9747 HAS SOUPS 5462 WITH SCORE 5509.404
AT ITER 499 NEW BEST:: SOT 73817 SOS 47380 HAS SOPS 27361 HAS SOUS 9714 HAS SOUPS 5444 WITH SCORE 5491.38
AT ITER 513 NEW BEST:: SOT 73817 SOS 47372 HAS SOPS 27333 HAS SOUS 9718 HAS SOUPS 5444 WITH SCORE 5491.372
AT ITER 530 NEW BEST:: SOT 73817 SOS 47388 HAS SOPS 27333 HAS SOUS 9764 HAS SOUPS 5442 WITH SCORE 5489.388
AT ITER 531 NEW BEST:: SOT 74131 SOS 47702 HAS SOPS 27596 HAS SOUS 9761 HAS SOUPS 5439 WITH SCORE 5486.702
AT ITER 533 NEW BEST:: SOT 74095 SOS 47666 HAS SOPS 27560 HAS SOUS 9702 HAS SOUPS 5380 WITH SCORE 5427.666
AT ITER 541 NEW BEST:: SOT 74071 SOS 47722 HAS SOPS 27545 HAS SOUS 9678 HAS SOUPS 5356 WITH SCORE 5403.722
AT ITER 547 NEW BEST:: SOT 74081 SOS 47685 HAS SOPS 27634 HAS SOUS 9593 HAS SOUPS 5313 WITH SCORE 5360.685
AT ITER 559 NEW BEST:: SOT 73404 SOS 46168 HAS SOPS 26436 HAS SOUS 9604 HAS SOUPS 5311 WITH SCORE 5357.168
AT ITER 564 NEW BEST:: SOT 73356 SOS 46120 HAS SOPS 26364 HAS SOUS 9548 HAS SOUPS 5255 WITH SCORE 5301.12
AT ITER 578 NEW BEST:: SOT 73458 SOS 46222 HAS SOPS 26466 HAS SOUS 9545 HAS SOUPS 5253 WITH SCORE 5299.222
AT ITER 587 NEW BEST:: SOT 73418 SOS 46058 HAS SOPS 26414 HAS SOUS 9487 HAS SOUPS 5209 WITH SCORE 5255.058
AT ITER 637 NEW BEST:: SOT 73414 SOS 46033 HAS SOPS 26375 HAS SOUS 9476 HAS SOUPS 5198 WITH SCORE 5244.033
AT ITER 653 NEW BEST:: SOT 73485 SOS 44576 HAS SOPS 24879 HAS SOUS 9447 HAS SOUPS 5169 WITH SCORE 5213.576
AT ITER 655 NEW BEST:: SOT 73420 SOS 44438 HAS SOPS 24729 HAS SOUS 9446 HAS SOUPS 5160 WITH SCORE 5204.438
AT ITER 656 NEW BEST:: SOT 74108 SOS 45245 HAS SOPS 25180 HAS SOUS 9362 HAS SOUPS 5080 WITH SCORE 5125.245
AT ITER 661 NEW BEST:: SOT 73895 SOS 44959 HAS SOPS 25034 HAS SOUS 9329 HAS SOUPS 5067 WITH SCORE 5111.959
AT ITER 669 NEW BEST:: SOT 73900 SOS 44799 HAS SOPS 24889 HAS SOUS 9319 HAS SOUPS 5062 WITH SCORE 5106.799
AT ITER 696 NEW BEST:: SOT 73844 SOS 44735 HAS SOPS 24849 HAS SOUS 9319 HAS SOUPS 5062 WITH SCORE 5106.735
AT ITER 697 NEW BEST:: SOT 73818 SOS 44765 HAS SOPS 24886 HAS SOUS 9309 HAS SOUPS 5052 WITH SCORE 5096.765
AT ITER 711 NEW BEST:: SOT 73746 SOS 44705 HAS SOPS 24862 HAS SOUS 9319 HAS SOUPS 5050 WITH SCORE 5094.705
AT ITER 727 NEW BEST:: SOT 73801 SOS 44825 HAS SOPS 24891 HAS SOUS 9320 HAS SOUPS 5038 WITH SCORE 5082.825
AT ITER 742 NEW BEST:: SOT 73753 SOS 44789 HAS SOPS 24891 HAS SOUS 9218 HAS SOUPS 5016 WITH SCORE 5060.789
AT ITER 782 NEW BEST:: SOT 73759 SOS 44802 HAS SOPS 24894 HAS SOUS 9213 HAS SOUPS 5012 WITH SCORE 5056.802
AT ITER 798 NEW BEST:: SOT 73757 SOS 44784 HAS SOPS 24876 HAS SOUS 9211 HAS SOUPS 5010 WITH SCORE 5054.784
AT ITER 824 NEW BEST:: SOT 73750 SOS 44794 HAS SOPS 24866 HAS SOUS 9212 HAS SOUPS 5007 WITH SCORE 5051.794
AT ITER 855 NEW BEST:: SOT 73122 SOS 43934 HAS SOPS 24470 HAS SOUS 9187 HAS SOUPS 5007 WITH SCORE 5050.934
AT ITER 886 NEW BEST:: SOT 73112 SOS 43922 HAS SOPS 24458 HAS SOUS 9186 HAS SOUPS 5005 WITH SCORE 5048.922
AT ITER 904 NEW BEST:: SOT 73109 SOS 43868 HAS SOPS 24428 HAS SOUS 9177 HAS SOUPS 4999 WITH SCORE 5042.868
AT ITER 908 NEW BEST:: SOT 73088 SOS 43748 HAS SOPS 24335 HAS SOUS 9177 HAS SOUPS 4999 WITH SCORE 5042.748
AT ITER 918 NEW BEST:: SOT 73087 SOS 43719 HAS SOPS 24324 HAS SOUS 9169 HAS SOUPS 4994 WITH SCORE 5037.719
AT ITER 935 NEW BEST:: SOT 73067 SOS 43719 HAS SOPS 24294 HAS SOUS 9153 HAS SOUPS 4978 WITH SCORE 5021.719
AT ITER 946 NEW BEST:: SOT 73024 SOS 43549 HAS SOPS 24250 HAS SOUS 9138 HAS SOUPS 4974 WITH SCORE 5017.549
AT ITER 948 NEW BEST:: SOT 73008 SOS 43607 HAS SOPS 24233 HAS SOUS 9146 HAS SOUPS 4967 WITH SCORE 5010.607
AT ITER 958 NEW BEST:: SOT 73053 SOS 43332 HAS SOPS 23997 HAS SOUS 9121 HAS SOUPS 4942 WITH SCORE 4985.332
AT ITER 974 NEW BEST:: SOT 73013 SOS 43188 HAS SOPS 23952 HAS SOUS 9073 HAS SOUPS 4913 WITH SCORE 4956.188
AT ITER 988 NEW BEST:: SOT 73017 SOS 43196 HAS SOPS 23952 HAS SOUS 9072 HAS SOUPS 4912 WITH SCORE 4955.196
AT ITER 991 NEW BEST:: SOT 72963 SOS 43128 HAS SOPS 23877 HAS SOUS 9068 HAS SOUPS 4902 WITH SCORE 4945.128
AT ITER 1008 NEW BEST:: SOT 72957 SOS 43254 HAS SOPS 23949 HAS SOUS 9056 HAS SOUPS 4890 WITH SCORE 4933.254
AT ITER 1019 NEW BEST:: SOT 72968 SOS 43143 HAS SOPS 23853 HAS SOUS 9050 HAS SOUPS 4884 WITH SCORE 4927.143
AT ITER 1038 NEW BEST:: SOT 72973 SOS 43120 HAS SOPS 23828 HAS SOUS 9049 HAS SOUPS 4882 WITH SCORE 4925.12
AT ITER 1050 NEW BEST:: SOT 72993 SOS 43110 HAS SOPS 23878 HAS SOUS 9039 HAS SOUPS 4882 WITH SCORE 4925.11
AT ITER 1075 NEW BEST:: SOT 72993 SOS 43110 HAS SOPS 23878 HAS SOUS 9035 HAS SOUPS 4878 WITH SCORE 4921.11
AT ITER 1088 NEW BEST:: SOT 73017 SOS 43138 HAS SOPS 23894 HAS SOUS 9034 HAS SOUPS 4877 WITH SCORE 4920.138
AT ITER 1112 NEW BEST:: SOT 73026 SOS 43139 HAS SOPS 23885 HAS SOUS 8985 HAS SOUPS 4854 WITH SCORE 4897.139
AT ITER 1117 NEW BEST:: SOT 72701 SOS 42531 HAS SOPS 23644 HAS SOUS 8921 HAS SOUPS 4808 WITH SCORE 4850.531
AT ITER 1120 NEW BEST:: SOT 72703 SOS 42529 HAS SOPS 23630 HAS SOUS 8900 HAS SOUPS 4791 WITH SCORE 4833.529
AT ITER 1132 NEW BEST:: SOT 72756 SOS 42636 HAS SOPS 23629 HAS SOUS 8857 HAS SOUPS 4762 WITH SCORE 4804.636
AT ITER 1166 NEW BEST:: SOT 72837 SOS 42780 HAS SOPS 23675 HAS SOUS 8861 HAS SOUPS 4759 WITH SCORE 4801.78
AT ITER 1185 NEW BEST:: SOT 72834 SOS 42777 HAS SOPS 23672 HAS SOUS 8861 HAS SOUPS 4759 WITH SCORE 4801.777
AT ITER 1202 NEW BEST:: SOT 72858 SOS 42811 HAS SOPS 23684 HAS SOUS 8859 HAS SOUPS 4755 WITH SCORE 4797.811
AT ITER 1214 NEW BEST:: SOT 72836 SOS 42742 HAS SOPS 23672 HAS SOUS 8852 HAS SOUPS 4749 WITH SCORE 4791.742
AT ITER 1276 NEW BEST:: SOT 72826 SOS 42732 HAS SOPS 23672 HAS SOUS 8832 HAS SOUPS 4729 WITH SCORE 4771.732
AT ITER 1277 NEW BEST:: SOT 72834 SOS 42732 HAS SOPS 23664 HAS SOUS 8823 HAS SOUPS 4721 WITH SCORE 4763.732
AT ITER 1301 NEW BEST:: SOT 72860 SOS 42751 HAS SOPS 23680 HAS SOUS 8818 HAS SOUPS 4719 WITH SCORE 4761.751
AT ITER 1324 NEW BEST:: SOT 72839 SOS 42681 HAS SOPS 23645 HAS SOUS 8802 HAS SOUPS 4710 WITH SCORE 4752.681
AT ITER 1338 NEW BEST:: SOT 72829 SOS 42660 HAS SOPS 23635 HAS SOUS 8786 HAS SOUPS 4705 WITH SCORE 4747.66
AT ITER 1409 NEW BEST:: SOT 72857 SOS 42212 HAS SOPS 23411 HAS SOUS 8730 HAS SOUPS 4677 WITH SCORE 4719.212
AT ITER 1411 NEW BEST:: SOT 72857 SOS 42212 HAS SOPS 23411 HAS SOUS 8724 HAS SOUPS 4671 WITH SCORE 4713.212
AT ITER 1457 NEW BEST:: SOT 72887 SOS 42232 HAS SOPS 23427 HAS SOUS 8714 HAS SOUPS 4665 WITH SCORE 4707.232
AT ITER 1463 NEW BEST:: SOT 72882 SOS 42227 HAS SOPS 23427 HAS SOUS 8714 HAS SOUPS 4665 WITH SCORE 4707.227
AT ITER 1483 NEW BEST:: SOT 72864 SOS 42209 HAS SOPS 23409 HAS SOUS 8714 HAS SOUPS 4665 WITH SCORE 4707.209
AT ITER 1493 NEW BEST:: SOT 72847 SOS 42261 HAS SOPS 23403 HAS SOUS 8688 HAS SOUPS 4636 WITH SCORE 4678.261
AT ITER 1502 NEW BEST:: SOT 72765 SOS 41786 HAS SOPS 23022 HAS SOUS 8672 HAS SOUPS 4625 WITH SCORE 4666.786
AT ITER 1531 NEW BEST:: SOT 72764 SOS 41780 HAS SOPS 23021 HAS SOUS 8669 HAS SOUPS 4623 WITH SCORE 4664.78
AT ITER 1544 NEW BEST:: SOT 72764 SOS 41780 HAS SOPS 23021 HAS SOUS 8657 HAS SOUPS 4615 WITH SCORE 4656.78
AT ITER 1551 NEW BEST:: SOT 72607 SOS 41443 HAS SOPS 22918 HAS SOUS 8602 HAS SOUPS 4599 WITH SCORE 4640.443
AT ITER 1558 NEW BEST:: SOT 72562 SOS 41338 HAS SOPS 22888 HAS SOUS 8587 HAS SOUPS 4599 WITH SCORE 4640.338
AT ITER 1565 NEW BEST:: SOT 72557 SOS 41327 HAS SOPS 22880 HAS SOUS 8584 HAS SOUPS 4596 WITH SCORE 4637.327
AT ITER 1566 NEW BEST:: SOT 72570 SOS 41197 HAS SOPS 22789 HAS SOUS 8584 HAS SOUPS 4596 WITH SCORE 4637.197
AT ITER 1570 NEW BEST:: SOT 72594 SOS 41227 HAS SOPS 22804 HAS SOUS 8575 HAS SOUPS 4590 WITH SCORE 4631.227
AT ITER 1573 NEW BEST:: SOT 72594 SOS 41185 HAS SOPS 22762 HAS SOUS 8575 HAS SOUPS 4590 WITH SCORE 4631.185
AT ITER 1574 NEW BEST:: SOT 72579 SOS 41173 HAS SOPS 22744 HAS SOUS 8570 HAS SOUPS 4585 WITH SCORE 4626.173
AT ITER 1591 NEW BEST:: SOT 72446 SOS 40854 HAS SOPS 22545 HAS SOUS 8544 HAS SOUPS 4559 WITH SCORE 4599.854
AT ITER 1633 NEW BEST:: SOT 72446 SOS 40854 HAS SOPS 22545 HAS SOUS 8541 HAS SOUPS 4557 WITH SCORE 4597.854
AT ITER 1667 NEW BEST:: SOT 72442 SOS 40834 HAS SOPS 22525 HAS SOUS 8540 HAS SOUPS 4556 WITH SCORE 4596.834
AT ITER 1691 NEW BEST:: SOT 72420 SOS 40804 HAS SOPS 22513 HAS SOUS 8534 HAS SOUPS 4552 WITH SCORE 4592.804
AT ITER 1738 NEW BEST:: SOT 72347 SOS 40686 HAS SOPS 22455 HAS SOUS 8531 HAS SOUPS 4549 WITH SCORE 4589.686
AT ITER 1748 NEW BEST:: SOT 72345 SOS 40658 HAS SOPS 22442 HAS SOUS 8530 HAS SOUPS 4549 WITH SCORE 4589.658
AT ITER 1763 NEW BEST:: SOT 72299 SOS 40474 HAS SOPS 22373 HAS SOUS 8507 HAS SOUPS 4549 WITH SCORE 4589.474
AT ITER 1795 NEW BEST:: SOT 72299 SOS 40400 HAS SOPS 22299 HAS SOUS 8507 HAS SOUPS 4549 WITH SCORE 4589.4
AT ITER 1796 NEW BEST:: SOT 72295 SOS 40392 HAS SOPS 22294 HAS SOUS 8507 HAS SOUPS 4549 WITH SCORE 4589.392
AT ITER 1801 NEW BEST:: SOT 72290 SOS 40362 HAS SOPS 22289 HAS SOUS 8492 HAS SOUPS 4539 WITH SCORE 4579.362
AT ITER 1806 NEW BEST:: SOT 72276 SOS 40222 HAS SOPS 22205 HAS SOUS 8478 HAS SOUPS 4532 WITH SCORE 4572.222
AT ITER 1906 NEW BEST:: SOT 72262 SOS 40194 HAS SOPS 22198 HAS SOUS 8471 HAS SOUPS 4532 WITH SCORE 4572.194
AT ITER 1925 NEW BEST:: SOT 72259 SOS 40158 HAS SOPS 22178 HAS SOUS 8467 HAS SOUPS 4530 WITH SCORE 4570.158
AT ITER 1935 NEW BEST:: SOT 72234 SOS 40136 HAS SOPS 22173 HAS SOUS 8441 HAS SOUPS 4525 WITH SCORE 4565.136
AT ITER 1938 NEW BEST:: SOT 72141 SOS 39950 HAS SOPS 22173 HAS SOUS 8413 HAS SOUPS 4525 WITH SCORE 4564.95
AT ITER 1986 NEW BEST:: SOT 72120 SOS 39908 HAS SOPS 22046 HAS SOUS 8409 HAS SOUPS 4504 WITH SCORE 4543.908
AT ITER 1996 NEW BEST:: SOT 72131 SOS 39702 HAS SOPS 21888 HAS SOUS 8399 HAS SOUPS 4500 WITH SCORE 4539.702
AT ITER 2019 NEW BEST:: SOT 72124 SOS 39704 HAS SOPS 21818 HAS SOUS 8406 HAS SOUPS 4498 WITH SCORE 4537.704
AT ITER 2042 NEW BEST:: SOT 72152 SOS 39560 HAS SOPS 21674 HAS SOUS 8406 HAS SOUPS 4498 WITH SCORE 4537.56
AT ITER 2099 NEW BEST:: SOT 72161 SOS 39519 HAS SOPS 21657 HAS SOUS 8405 HAS SOUPS 4497 WITH SCORE 4536.519
AT ITER 2103 NEW BEST:: SOT 72148 SOS 39598 HAS SOPS 21686 HAS SOUS 8395 HAS SOUPS 4487 WITH SCORE 4526.598
AT ITER 2142 NEW BEST:: SOT 72217 SOS 39736 HAS SOPS 21692 HAS SOUS 8396 HAS SOUPS 4478 WITH SCORE 4517.736
AT ITER 2150 NEW BEST:: SOT 71870 SOS 39435 HAS SOPS 21458 HAS SOUS 8394 HAS SOUPS 4457 WITH SCORE 4496.435
AT ITER 2155 NEW BEST:: SOT 71866 SOS 39431 HAS SOPS 21456 HAS SOUS 8392 HAS SOUPS 4455 WITH SCORE 4494.431
AT ITER 2159 NEW BEST:: SOT 71858 SOS 39400 HAS SOPS 21425 HAS SOUS 8386 HAS SOUPS 4449 WITH SCORE 4488.4
AT ITER 2160 NEW BEST:: SOT 71852 SOS 39394 HAS SOPS 21425 HAS SOUS 8382 HAS SOUPS 4445 WITH SCORE 4484.394
AT ITER 2209 NEW BEST:: SOT 71851 SOS 39364 HAS SOPS 21395 HAS SOUS 8380 HAS SOUPS 4443 WITH SCORE 4482.364
AT ITER 2211 NEW BEST:: SOT 71871 SOS 39397 HAS SOPS 21437 HAS SOUS 8325 HAS SOUPS 4436 WITH SCORE 4475.397
AT ITER 2229 NEW BEST:: SOT 71777 SOS 38949 HAS SOPS 21113 HAS SOUS 8313 HAS SOUPS 4434 WITH SCORE 4472.949
AT ITER 2252 NEW BEST:: SOT 71897 SOS 39077 HAS SOPS 21181 HAS SOUS 8308 HAS SOUPS 4429 WITH SCORE 4468.077
AT ITER 2277 NEW BEST:: SOT 71848 SOS 38982 HAS SOPS 21071 HAS SOUS 8315 HAS SOUPS 4428 WITH SCORE 4466.982
AT ITER 2294 NEW BEST:: SOT 71825 SOS 38959 HAS SOPS 21048 HAS SOUS 8313 HAS SOUPS 4426 WITH SCORE 4464.959
AT ITER 2323 NEW BEST:: SOT 72176 SOS 39428 HAS SOPS 21340 HAS SOUS 8291 HAS SOUPS 4404 WITH SCORE 4443.428
AT ITER 2392 NEW BEST:: SOT 72176 SOS 39428 HAS SOPS 21340 HAS SOUS 8288 HAS SOUPS 4402 WITH SCORE 4441.428
AT ITER 2396 NEW BEST:: SOT 72147 SOS 39422 HAS SOPS 21358 HAS SOUS 8281 HAS SOUPS 4401 WITH SCORE 4440.422
AT ITER 2400 NEW BEST:: SOT 72077 SOS 39320 HAS SOPS 21280 HAS SOUS 8278 HAS SOUPS 4394 WITH SCORE 4433.32
AT ITER 2455 NEW BEST:: SOT 72027 SOS 39126 HAS SOPS 21155 HAS SOUS 8276 HAS SOUPS 4392 WITH SCORE 4431.126
AT ITER 2466 NEW BEST:: SOT 72024 SOS 39304 HAS SOPS 21277 HAS SOUS 8274 HAS SOUPS 4390 WITH SCORE 4429.304
AT ITER 2488 NEW BEST:: SOT 71996 SOS 39260 HAS SOPS 21255 HAS SOUS 8263 HAS SOUPS 4385 WITH SCORE 4424.26
AT ITER 2503 NEW BEST:: SOT 71958 SOS 39115 HAS SOPS 21107 HAS SOUS 8230 HAS SOUPS 4352 WITH SCORE 4391.115
AT ITER 2509 NEW BEST:: SOT 71969 SOS 39020 HAS SOPS 21027 HAS SOUS 8228 HAS SOUPS 4350 WITH SCORE 4389.02
AT ITER 2526 NEW BEST:: SOT 71968 SOS 38997 HAS SOPS 21004 HAS SOUS 8227 HAS SOUPS 4349 WITH SCORE 4387.997
AT ITER 2528 NEW BEST:: SOT 71946 SOS 39088 HAS SOPS 21055 HAS SOUS 8225 HAS SOUPS 4347 WITH SCORE 4386.088
AT ITER 2532 NEW BEST:: SOT 71969 SOS 39140 HAS SOPS 21095 HAS SOUS 8223 HAS SOUPS 4345 WITH SCORE 4384.14
AT ITER 2567 NEW BEST:: SOT 71946 SOS 39042 HAS SOPS 20964 HAS SOUS 8212 HAS SOUPS 4323 WITH SCORE 4362.042
AT ITER 2599 NEW BEST:: SOT 72166 SOS 39552 HAS SOPS 21085 HAS SOUS 8210 HAS SOUPS 4298 WITH SCORE 4337.552
AT ITER 2611 NEW BEST:: SOT 72163 SOS 39546 HAS SOPS 21079 HAS SOUS 8180 HAS SOUPS 4280 WITH SCORE 4319.546
AT ITER 2630 NEW BEST:: SOT 72163 SOS 39546 HAS SOPS 21079 HAS SOUS 8162 HAS SOUPS 4268 WITH SCORE 4307.546
AT ITER 2632 NEW BEST:: SOT 72164 SOS 39520 HAS SOPS 21063 HAS SOUS 8162 HAS SOUPS 4268 WITH SCORE 4307.52
AT ITER 2647 NEW BEST:: SOT 72063 SOS 39327 HAS SOPS 20924 HAS SOUS 8161 HAS SOUPS 4267 WITH SCORE 4306.327
AT ITER 2654 NEW BEST:: SOT 72061 SOS 39315 HAS SOPS 20922 HAS SOUS 8161 HAS SOUPS 4267 WITH SCORE 4306.315
AT ITER 2658 NEW BEST:: SOT 72076 SOS 39069 HAS SOPS 20745 HAS SOUS 8145 HAS SOUPS 4251 WITH SCORE 4290.069
AT ITER 2674 NEW BEST:: SOT 71947 SOS 38825 HAS SOPS 20655 HAS SOUS 8126 HAS SOUPS 4243 WITH SCORE 4281.825
AT ITER 2722 NEW BEST:: SOT 71937 SOS 38741 HAS SOPS 20635 HAS SOUS 8114 HAS SOUPS 4239 WITH SCORE 4277.741
AT ITER 2747 NEW BEST:: SOT 71889 SOS 38693 HAS SOPS 20587 HAS SOUS 8093 HAS SOUPS 4228 WITH SCORE 4266.693
AT ITER 2796 NEW BEST:: SOT 71863 SOS 38631 HAS SOPS 20553 HAS SOUS 8087 HAS SOUPS 4224 WITH SCORE 4262.631
AT ITER 2830 NEW BEST:: SOT 71845 SOS 38625 HAS SOPS 20553 HAS SOUS 8069 HAS SOUPS 4206 WITH SCORE 4244.625
AT ITER 2835 NEW BEST:: SOT 71787 SOS 38475 HAS SOPS 20463 HAS SOUS 8058 HAS SOUPS 4195 WITH SCORE 4233.475
AT ITER 2838 NEW BEST:: SOT 71440 SOS 37698 HAS SOPS 20062 HAS SOUS 8025 HAS SOUPS 4174 WITH SCORE 4211.698
AT ITER 2846 NEW BEST:: SOT 71522 SOS 37783 HAS SOPS 20128 HAS SOUS 8016 HAS SOUPS 4162 WITH SCORE 4199.783
AT ITER 2920 NEW BEST:: SOT 71512 SOS 37851 HAS SOPS 20166 HAS SOUS 8011 HAS SOUPS 4157 WITH SCORE 4194.851
AT ITER 2952 NEW BEST:: SOT 71494 SOS 37833 HAS SOPS 20148 HAS SOUS 7993 HAS SOUPS 4147 WITH SCORE 4184.833
AT ITER 2959 NEW BEST:: SOT 71470 SOS 37689 HAS SOPS 20004 HAS SOUS 7980 HAS SOUPS 4134 WITH SCORE 4171.689
AT ITER 2964 NEW BEST:: SOT 71533 SOS 37852 HAS SOPS 20182 HAS SOUS 7970 HAS SOUPS 4133 WITH SCORE 4170.852
AT ITER 3026 NEW BEST:: SOT 71497 SOS 37786 HAS SOPS 20158 HAS SOUS 7964 HAS SOUPS 4130 WITH SCORE 4167.786
AT ITER 3074 NEW BEST:: SOT 71497 SOS 37786 HAS SOPS 20158 HAS SOUS 7955 HAS SOUPS 4125 WITH SCORE 4162.786
AT ITER 3078 NEW BEST:: SOT 71373 SOS 37538 HAS SOPS 20158 HAS SOUS 7925 HAS SOUPS 4125 WITH SCORE 4162.538
AT ITER 3128 NEW BEST:: SOT 71405 SOS 37570 HAS SOPS 20166 HAS SOUS 7921 HAS SOUPS 4121 WITH SCORE 4158.57
AT ITER 3203 NEW BEST:: SOT 71408 SOS 37540 HAS SOPS 20138 HAS SOUS 7920 HAS SOUPS 4118 WITH SCORE 4155.54
AT ITER 3272 NEW BEST:: SOT 71411 SOS 37522 HAS SOPS 20132 HAS SOUS 7920 HAS SOUPS 4118 WITH SCORE 4155.522
AT ITER 3278 NEW BEST:: SOT 71412 SOS 37524 HAS SOPS 20132 HAS SOUS 7912 HAS SOUPS 4113 WITH SCORE 4150.524
AT ITER 3295 NEW BEST:: SOT 71383 SOS 37478 HAS SOPS 19976 HAS SOUS 7913 HAS SOUPS 4092 WITH SCORE 4129.478
AT ITER 3306 NEW BEST:: SOT 71429 SOS 37557 HAS SOPS 20004 HAS SOUS 7906 HAS SOUPS 4079 WITH SCORE 4116.557
AT ITER 3423 NEW BEST:: SOT 71427 SOS 37532 HAS SOPS 20003 HAS SOUS 7901 HAS SOUPS 4077 WITH SCORE 4114.532
AT ITER 3485 NEW BEST:: SOT 71431 SOS 37539 HAS SOPS 20009 HAS SOUS 7894 HAS SOUPS 4075 WITH SCORE 4112.539
AT ITER 3542 NEW BEST:: SOT 71539 SOS 37607 HAS SOPS 20077 HAS SOUS 7872 HAS SOUPS 4066 WITH SCORE 4103.607
AT ITER 3602 NEW BEST:: SOT 71515 SOS 37562 HAS SOPS 20062 HAS SOUS 7866 HAS SOUPS 4063 WITH SCORE 4100.562
AT ITER 3663 NEW BEST:: SOT 71503 SOS 37545 HAS SOPS 20056 HAS SOUS 7865 HAS SOUPS 4063 WITH SCORE 4100.545
AT ITER 3722 NEW BEST:: SOT 71518 SOS 37531 HAS SOPS 20052 HAS SOUS 7856 HAS SOUPS 4058 WITH SCORE 4095.531
AT ITER 3730 NEW BEST:: SOT 71521 SOS 37530 HAS SOPS 20050 HAS SOUS 7853 HAS SOUPS 4056 WITH SCORE 4093.53
AT ITER 3780 NEW BEST:: SOT 71599 SOS 37608 HAS SOPS 20128 HAS SOUS 7847 HAS SOUPS 4052 WITH SCORE 4089.608
AT ITER 3782 NEW BEST:: SOT 71594 SOS 37600 HAS SOPS 20124 HAS SOUS 7845 HAS SOUPS 4050 WITH SCORE 4087.6
AT ITER 3785 NEW BEST:: SOT 71590 SOS 37602 HAS SOPS 20124 HAS SOUS 7844 HAS SOUPS 4048 WITH SCORE 4085.602
AT ITER 3809 NEW BEST:: SOT 71579 SOS 37577 HAS SOPS 20112 HAS SOUS 7838 HAS SOUPS 4045 WITH SCORE 4082.577
AT ITER 3856 NEW BEST:: SOT 71575 SOS 37537 HAS SOPS 20072 HAS SOUS 7837 HAS SOUPS 4044 WITH SCORE 4081.537
AT ITER 3860 NEW BEST:: SOT 71567 SOS 37517 HAS SOPS 20057 HAS SOUS 7834 HAS SOUPS 4041 WITH SCORE 4078.517
AT ITER 3944 NEW BEST:: SOT 71567 SOS 37511 HAS SOPS 20051 HAS SOUS 7834 HAS SOUPS 4041 WITH SCORE 4078.511
AT ITER 3952 NEW BEST:: SOT 71559 SOS 37492 HAS SOPS 20047 HAS SOUS 7829 HAS SOUPS 4039 WITH SCORE 4076.492
AT ITER 4012 NEW BEST:: SOT 71559 SOS 37489 HAS SOPS 20047 HAS SOUS 7829 HAS SOUPS 4039 WITH SCORE 4076.489
AT ITER 4021 NEW BEST:: SOT 71547 SOS 37442 HAS SOPS 20006 HAS SOUS 7822 HAS SOUPS 4032 WITH SCORE 4069.442
AT ITER 4024 NEW BEST:: SOT 71541 SOS 37437 HAS SOPS 20002 HAS SOUS 7817 HAS SOUPS 4027 WITH SCORE 4064.437
AT ITER 4056 NEW BEST:: SOT 71538 SOS 37431 HAS SOPS 19996 HAS SOUS 7814 HAS SOUPS 4024 WITH SCORE 4061.431
AT ITER 4078 NEW BEST:: SOT 71144 SOS 37033 HAS SOPS 19662 HAS SOUS 7809 HAS SOUPS 4022 WITH SCORE 4059.033
AT ITER 4138 NEW BEST:: SOT 71135 SOS 37018 HAS SOPS 19659 HAS SOUS 7806 HAS SOUPS 4022 WITH SCORE 4059.018
AT ITER 4215 NEW BEST:: SOT 71133 SOS 37006 HAS SOPS 19657 HAS SOUS 7806 HAS SOUPS 4022 WITH SCORE 4059.006
AT ITER 4237 NEW BEST:: SOT 71118 SOS 37311 HAS SOPS 19962 HAS SOUS 7805 HAS SOUPS 4021 WITH SCORE 4058.311
AT ITER 4384 NEW BEST:: SOT 71108 SOS 37296 HAS SOPS 19948 HAS SOUS 7782 HAS SOUPS 4006 WITH SCORE 4043.296
AT ITER 4400 NEW BEST:: SOT 71105 SOS 37290 HAS SOPS 19942 HAS SOUS 7778 HAS SOUPS 4002 WITH SCORE 4039.29
AT ITER 4407 NEW BEST:: SOT 71104 SOS 37288 HAS SOPS 19940 HAS SOUS 7778 HAS SOUPS 4002 WITH SCORE 4039.288
AT ITER 4472 NEW BEST:: SOT 71087 SOS 37257 HAS SOPS 19930 HAS SOUS 7768 HAS SOUPS 3999 WITH SCORE 4036.257
AT ITER 4500 NEW BEST:: SOT 71087 SOS 37239 HAS SOPS 19912 HAS SOUS 7766 HAS SOUPS 3997 WITH SCORE 4034.239
AT ITER 4524 NEW BEST:: SOT 71086 SOS 37237 HAS SOPS 19910 HAS SOUS 7765 HAS SOUPS 3996 WITH SCORE 4033.237
AT ITER 4530 NEW BEST:: SOT 71108 SOS 37187 HAS SOPS 19854 HAS SOUS 7762 HAS SOUPS 3993 WITH SCORE 4030.187
AT ITER 4537 NEW BEST:: SOT 71086 SOS 37167 HAS SOPS 19838 HAS SOUS 7762 HAS SOUPS 3991 WITH SCORE 4028.167
AT ITER 4592 NEW BEST:: SOT 71083 SOS 37160 HAS SOPS 19836 HAS SOUS 7762 HAS SOUPS 3991 WITH SCORE 4028.16
AT ITER 4735 NEW BEST:: SOT 71083 SOS 37160 HAS SOPS 19836 HAS SOUS 7783 HAS SOUPS 3989 WITH SCORE 4026.16
AT ITER 4807 NEW BEST:: SOT 71017 SOS 37043 HAS SOPS 19701 HAS SOUS 7791 HAS SOUPS 3987 WITH SCORE 4024.043
AT ITER 4899 NEW BEST:: SOT 71020 SOS 37016 HAS SOPS 19701 HAS SOUS 7788 HAS SOUPS 3987 WITH SCORE 4024.016
AT ITER 4983 NEW BEST:: SOT 71065 SOS 37067 HAS SOPS 19718 HAS SOUS 7779 HAS SOUPS 3978 WITH SCORE 4015.067
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-04a-CTLCardinality-00 (AX( ( (AG( potential( (tk(P134)) <= (tk(P113)) ))) & (EF(potential( (tk(P121)) <= (tk(P12)) ))) )))
PROPERTY: DLCround-PT-04a-CTLCardinality-01 (AU( potential( (tk(P97)) <= (tk(P71)) ),(EF(potential( ( 3 ) <= (tk(P40)) ))) ))
PROPERTY: DLCround-PT-04a-CTLCardinality-02 (AG( potential( (tk(P35)) <= (tk(P2)) )))
PROPERTY: DLCround-PT-04a-CTLCardinality-03 (EG( ( (EF(potential( ( 2 ) <= (tk(P7)) ))) & (! (! potential( (tk(P54)) <= (tk(P39)) ))) )))
PROPERTY: DLCround-PT-04a-CTLCardinality-04 (EU( (EX( potential( (tk(P4)) <= (tk(P98)) ))),potential( ( 2 ) <= (tk(P123)) ) ))
PROPERTY: DLCround-PT-04a-CTLCardinality-05 (AX( (! (AG( potential( (tk(P32)) <= (tk(P97)) ))))))
PROPERTY: DLCround-PT-04a-CTLCardinality-06 (EF((! (EF(potential( (tk(P113)) <= (tk(P131)) ))))))
PROPERTY: DLCround-PT-04a-CTLCardinality-07 (EF((EU( potential( (tk(P110)) <= (tk(P58)) ),potential( ( 2 ) <= (tk(P42)) ) ))))
PROPERTY: DLCround-PT-04a-CTLCardinality-08 (AG( (EF(( potential( ( 1 ) <= (tk(P104)) ) & potential( (tk(P65)) <= (tk(P133)) ) )))))
PROPERTY: DLCround-PT-04a-CTLCardinality-09 (EX( (! (EF(potential( ( 2 ) <= (tk(P103)) ))))))
PROPERTY: DLCround-PT-04a-CTLCardinality-10 (AG( (! potential( ( 2 ) <= (tk(P104)) ))))
PROPERTY: DLCround-PT-04a-CTLCardinality-11 (EF((! ( (! potential( ( 3 ) <= (tk(P103)) )) | potential( ( 1 ) <= (tk(P76)) ) ))))
PROPERTY: DLCround-PT-04a-CTLCardinality-12 (AX( (AG( potential( (tk(P73)) <= (tk(P33)) )))))
PROPERTY: DLCround-PT-04a-CTLCardinality-13 (EF((EF(( potential( (tk(P42)) <= (tk(P70)) ) & potential( ( 2 ) <= (tk(P132)) ) )))))
PROPERTY: DLCround-PT-04a-CTLCardinality-14 (EF(( (! potential( ( 2 ) <= (tk(P83)) )) & (AF(potential( ( 3 ) <= (tk(P22)) ))) )))
PROPERTY: DLCround-PT-04a-CTLCardinality-15 ( (EG( (EF(potential( ( 3 ) <= (tk(P66)) ))))) | ( ( (AG( potential( ( 3 ) <= (tk(P56)) ))) & (AX( potential( ( 2 ) <= (tk(P105)) ))) ) & ( potential( ( 2 ) <= (tk(P10)) ) & (! (! potential( ( 3 ) <= (tk(P41)) ))) ) ) )

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-04a"
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 DLCround-PT-04a, 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 r048-ebro-158902542200467"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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