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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 748K
-rw-r--r-- 1 mcc users 3.4K Mar 30 19:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 19:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 09:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 09:41 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.3K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 05:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 05:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 23:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 23:50 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 566K 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-09a-CTLCardinality-00
FORMULA_NAME DLCround-PT-09a-CTLCardinality-01
FORMULA_NAME DLCround-PT-09a-CTLCardinality-02
FORMULA_NAME DLCround-PT-09a-CTLCardinality-03
FORMULA_NAME DLCround-PT-09a-CTLCardinality-04
FORMULA_NAME DLCround-PT-09a-CTLCardinality-05
FORMULA_NAME DLCround-PT-09a-CTLCardinality-06
FORMULA_NAME DLCround-PT-09a-CTLCardinality-07
FORMULA_NAME DLCround-PT-09a-CTLCardinality-08
FORMULA_NAME DLCround-PT-09a-CTLCardinality-09
FORMULA_NAME DLCround-PT-09a-CTLCardinality-10
FORMULA_NAME DLCround-PT-09a-CTLCardinality-11
FORMULA_NAME DLCround-PT-09a-CTLCardinality-12
FORMULA_NAME DLCround-PT-09a-CTLCardinality-13
FORMULA_NAME DLCround-PT-09a-CTLCardinality-14
FORMULA_NAME DLCround-PT-09a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589128633387

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 09a
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: 299 places, 2243 transitions, 8689 arcs.
AT ITER 0 NEW BEST:: SOT 425059 SOS 356202 HAS SOPS 215063 HAS SOUS 44558 HAS SOUPS 30558 WITH SCORE 30914.202
AT ITER 2 NEW BEST:: SOT 425698 SOS 356971 HAS SOPS 215052 HAS SOUS 44396 HAS SOUPS 30088 WITH SCORE 30444.971
AT ITER 7 NEW BEST:: SOT 425607 SOS 355606 HAS SOPS 214532 HAS SOUS 44322 HAS SOUPS 30079 WITH SCORE 30434.606
AT ITER 19 NEW BEST:: SOT 425730 SOS 355838 HAS SOPS 214110 HAS SOUS 43547 HAS SOUPS 29156 WITH SCORE 29511.838
AT ITER 34 NEW BEST:: SOT 425647 SOS 354593 HAS SOPS 213619 HAS SOUS 43475 HAS SOUPS 29142 WITH SCORE 29496.593
AT ITER 37 NEW BEST:: SOT 425589 SOS 354535 HAS SOPS 213561 HAS SOUS 43417 HAS SOUPS 29084 WITH SCORE 29438.535
AT ITER 49 NEW BEST:: SOT 425524 SOS 354487 HAS SOPS 213428 HAS SOUS 43238 HAS SOUPS 28865 WITH SCORE 29219.487
AT ITER 51 NEW BEST:: SOT 425444 SOS 354407 HAS SOPS 213428 HAS SOUS 42745 HAS SOUPS 28520 WITH SCORE 28874.407
AT ITER 65 NEW BEST:: SOT 425333 SOS 356623 HAS SOPS 214264 HAS SOUS 42673 HAS SOUPS 28402 WITH SCORE 28758.623
AT ITER 69 NEW BEST:: SOT 425281 SOS 355843 HAS SOPS 214160 HAS SOUS 42615 HAS SOUPS 28396 WITH SCORE 28751.843
AT ITER 73 NEW BEST:: SOT 425234 SOS 355091 HAS SOPS 214019 HAS SOUS 42546 HAS SOUPS 28374 WITH SCORE 28729.091
AT ITER 92 NEW BEST:: SOT 425308 SOS 353419 HAS SOPS 213192 HAS SOUS 42434 HAS SOUPS 28327 WITH SCORE 28680.419
AT ITER 93 NEW BEST:: SOT 425308 SOS 351589 HAS SOPS 212414 HAS SOUS 42334 HAS SOUPS 27591 WITH SCORE 27942.589
AT ITER 102 NEW BEST:: SOT 425490 SOS 352325 HAS SOPS 212879 HAS SOUS 41546 HAS SOUPS 27498 WITH SCORE 27850.325
AT ITER 116 NEW BEST:: SOT 425740 SOS 350743 HAS SOPS 212515 HAS SOUS 42381 HAS SOUPS 27350 WITH SCORE 27700.743
AT ITER 120 NEW BEST:: SOT 425828 SOS 348484 HAS SOPS 212148 HAS SOUS 43272 HAS SOUPS 27277 WITH SCORE 27625.484
AT ITER 126 NEW BEST:: SOT 425828 SOS 348484 HAS SOPS 212148 HAS SOUS 43271 HAS SOUPS 27276 WITH SCORE 27624.484
AT ITER 128 NEW BEST:: SOT 425770 SOS 347614 HAS SOPS 212032 HAS SOUS 43191 HAS SOUPS 27254 WITH SCORE 27601.614
AT ITER 140 NEW BEST:: SOT 425768 SOS 347610 HAS SOPS 212028 HAS SOUS 43188 HAS SOUPS 27251 WITH SCORE 27598.61
AT ITER 155 NEW BEST:: SOT 425743 SOS 347560 HAS SOPS 212028 HAS SOUS 43163 HAS SOUPS 27251 WITH SCORE 27598.56
AT ITER 159 NEW BEST:: SOT 425735 SOS 347508 HAS SOPS 211976 HAS SOUS 43155 HAS SOUPS 27243 WITH SCORE 27590.508
AT ITER 160 NEW BEST:: SOT 425735 SOS 347266 HAS SOPS 211910 HAS SOUS 43067 HAS SOUPS 27177 WITH SCORE 27524.266
AT ITER 173 NEW BEST:: SOT 425012 SOS 345138 HAS SOPS 210804 HAS SOUS 43756 HAS SOUPS 27145 WITH SCORE 27490.138
AT ITER 176 NEW BEST:: SOT 424932 SOS 344360 HAS SOPS 210728 HAS SOUS 43574 HAS SOUPS 27017 WITH SCORE 27361.36
AT ITER 180 NEW BEST:: SOT 424924 SOS 344364 HAS SOPS 210696 HAS SOUS 43508 HAS SOUPS 26951 WITH SCORE 27295.364
AT ITER 182 NEW BEST:: SOT 425061 SOS 344722 HAS SOPS 210801 HAS SOUS 43395 HAS SOUPS 26890 WITH SCORE 27234.722
AT ITER 183 NEW BEST:: SOT 425098 SOS 345120 HAS SOPS 211199 HAS SOUS 43370 HAS SOUPS 26865 WITH SCORE 27210.12
AT ITER 194 NEW BEST:: SOT 423913 SOS 341996 HAS SOPS 210193 HAS SOUS 43473 HAS SOUPS 26851 WITH SCORE 27192.996
AT ITER 199 NEW BEST:: SOT 423882 SOS 342231 HAS SOPS 210428 HAS SOUS 43465 HAS SOUPS 26843 WITH SCORE 27185.231
AT ITER 217 NEW BEST:: SOT 423882 SOS 342231 HAS SOPS 210428 HAS SOUS 43449 HAS SOUPS 26827 WITH SCORE 27169.231
AT ITER 228 NEW BEST:: SOT 423882 SOS 342006 HAS SOPS 210203 HAS SOUS 43419 HAS SOUPS 26797 WITH SCORE 27139.006
AT ITER 253 NEW BEST:: SOT 423853 SOS 341492 HAS SOPS 209689 HAS SOUS 43399 HAS SOUPS 26777 WITH SCORE 27118.492
AT ITER 259 NEW BEST:: SOT 423558 SOS 338292 HAS SOPS 209359 HAS SOUS 43712 HAS SOUPS 26670 WITH SCORE 27008.292
AT ITER 293 NEW BEST:: SOT 423402 SOS 338188 HAS SOPS 208995 HAS SOUS 43355 HAS SOUPS 26125 WITH SCORE 26463.188
AT ITER 304 NEW BEST:: SOT 422714 SOS 337946 HAS SOPS 208753 HAS SOUS 42517 HAS SOUPS 25287 WITH SCORE 25624.946
AT ITER 315 NEW BEST:: SOT 422639 SOS 337896 HAS SOPS 208578 HAS SOUS 42340 HAS SOUPS 25022 WITH SCORE 25359.896
AT ITER 325 NEW BEST:: SOT 422640 SOS 337866 HAS SOPS 208548 HAS SOUS 42225 HAS SOUPS 24907 WITH SCORE 25244.866
AT ITER 327 NEW BEST:: SOT 423178 SOS 338578 HAS SOPS 208654 HAS SOUS 42060 HAS SOUPS 24530 WITH SCORE 24868.578
AT ITER 328 NEW BEST:: SOT 423670 SOS 339207 HAS SOPS 208921 HAS SOUS 41708 HAS SOUPS 24201 WITH SCORE 24540.207
AT ITER 335 NEW BEST:: SOT 423645 SOS 338857 HAS SOPS 208896 HAS SOUS 41658 HAS SOUPS 24176 WITH SCORE 24514.857
AT ITER 337 NEW BEST:: SOT 423656 SOS 338797 HAS SOPS 208896 HAS SOUS 41587 HAS SOUPS 24176 WITH SCORE 24514.797
AT ITER 348 NEW BEST:: SOT 423659 SOS 338839 HAS SOPS 208938 HAS SOUS 41585 HAS SOUPS 24174 WITH SCORE 24512.839
AT ITER 350 NEW BEST:: SOT 423649 SOS 338809 HAS SOPS 208924 HAS SOUS 41593 HAS SOUPS 24174 WITH SCORE 24512.809
AT ITER 358 NEW BEST:: SOT 423982 SOS 339106 HAS SOPS 208521 HAS SOUS 41958 HAS SOUPS 23807 WITH SCORE 24146.106
AT ITER 359 NEW BEST:: SOT 423962 SOS 338566 HAS SOPS 208241 HAS SOUS 41938 HAS SOUPS 23807 WITH SCORE 24145.566
AT ITER 366 NEW BEST:: SOT 423916 SOS 338474 HAS SOPS 208241 HAS SOUS 41694 HAS SOUPS 23697 WITH SCORE 24035.474
AT ITER 368 NEW BEST:: SOT 423945 SOS 338532 HAS SOPS 208212 HAS SOUS 41694 HAS SOUPS 23668 WITH SCORE 24006.532
AT ITER 371 NEW BEST:: SOT 423953 SOS 338540 HAS SOPS 208172 HAS SOUS 41510 HAS SOUPS 23500 WITH SCORE 23838.54
AT ITER 394 NEW BEST:: SOT 423838 SOS 339232 HAS SOPS 208444 HAS SOUS 41441 HAS SOUPS 23446 WITH SCORE 23785.232
AT ITER 399 NEW BEST:: SOT 423838 SOS 339232 HAS SOPS 208418 HAS SOUS 41417 HAS SOUPS 23422 WITH SCORE 23761.232
AT ITER 404 NEW BEST:: SOT 423842 SOS 338610 HAS SOPS 208086 HAS SOUS 41398 HAS SOUPS 23403 WITH SCORE 23741.61
AT ITER 445 NEW BEST:: SOT 423842 SOS 338390 HAS SOPS 207998 HAS SOUS 41288 HAS SOUPS 23315 WITH SCORE 23653.39
AT ITER 455 NEW BEST:: SOT 423842 SOS 338352 HAS SOPS 207998 HAS SOUS 41250 HAS SOUPS 23315 WITH SCORE 23653.352
AT ITER 457 NEW BEST:: SOT 423761 SOS 338325 HAS SOPS 207971 HAS SOUS 41189 HAS SOUPS 23254 WITH SCORE 23592.325
AT ITER 459 NEW BEST:: SOT 423721 SOS 337765 HAS SOPS 207931 HAS SOUS 41139 HAS SOUPS 23244 WITH SCORE 23581.765
AT ITER 466 NEW BEST:: SOT 423613 SOS 336901 HAS SOPS 207769 HAS SOUS 41052 HAS SOUPS 23211 WITH SCORE 23547.901
AT ITER 471 NEW BEST:: SOT 423613 SOS 336910 HAS SOPS 207760 HAS SOUS 41052 HAS SOUPS 23202 WITH SCORE 23538.91
AT ITER 472 NEW BEST:: SOT 423055 SOS 336529 HAS SOPS 207434 HAS SOUS 41115 HAS SOUPS 23195 WITH SCORE 23531.529
AT ITER 474 NEW BEST:: SOT 423090 SOS 336764 HAS SOPS 207728 HAS SOUS 40538 HAS SOUPS 23081 WITH SCORE 23417.764
AT ITER 482 NEW BEST:: SOT 423090 SOS 336764 HAS SOPS 207664 HAS SOUS 40474 HAS SOUPS 23017 WITH SCORE 23353.764
AT ITER 484 NEW BEST:: SOT 423080 SOS 336754 HAS SOPS 207654 HAS SOUS 40464 HAS SOUPS 23007 WITH SCORE 23343.754
AT ITER 489 NEW BEST:: SOT 423473 SOS 337351 HAS SOPS 207639 HAS SOUS 40028 HAS SOUPS 22491 WITH SCORE 22828.351
AT ITER 503 NEW BEST:: SOT 423633 SOS 338151 HAS SOPS 208359 HAS SOUS 38982 HAS SOUPS 22321 WITH SCORE 22659.151
AT ITER 506 NEW BEST:: SOT 423899 SOS 331859 HAS SOPS 203064 HAS SOUS 38876 HAS SOUPS 22300 WITH SCORE 22631.859
AT ITER 509 NEW BEST:: SOT 423782 SOS 331755 HAS SOPS 203064 HAS SOUS 38714 HAS SOUPS 22296 WITH SCORE 22627.755
AT ITER 516 NEW BEST:: SOT 423779 SOS 331710 HAS SOPS 203058 HAS SOUS 38711 HAS SOUPS 22296 WITH SCORE 22627.71
AT ITER 533 NEW BEST:: SOT 423783 SOS 331718 HAS SOPS 203066 HAS SOUS 38686 HAS SOUPS 22271 WITH SCORE 22602.718
AT ITER 536 NEW BEST:: SOT 423767 SOS 331686 HAS SOPS 203034 HAS SOUS 38654 HAS SOUPS 22239 WITH SCORE 22570.686
AT ITER 567 NEW BEST:: SOT 423725 SOS 331644 HAS SOPS 203013 HAS SOUS 38633 HAS SOUPS 22218 WITH SCORE 22549.644
AT ITER 584 NEW BEST:: SOT 423666 SOS 330857 HAS SOPS 202564 HAS SOUS 38581 HAS SOUPS 22192 WITH SCORE 22522.857
AT ITER 587 NEW BEST:: SOT 423666 SOS 330857 HAS SOPS 202564 HAS SOUS 38451 HAS SOUPS 22078 WITH SCORE 22408.857
AT ITER 591 NEW BEST:: SOT 423617 SOS 330761 HAS SOPS 202562 HAS SOUS 38402 HAS SOUPS 22076 WITH SCORE 22406.761
AT ITER 604 NEW BEST:: SOT 423568 SOS 330712 HAS SOPS 202562 HAS SOUS 38402 HAS SOUPS 22076 WITH SCORE 22406.712
AT ITER 617 NEW BEST:: SOT 423467 SOS 329167 HAS SOPS 201706 HAS SOUS 38341 HAS SOUPS 22068 WITH SCORE 22397.167
AT ITER 652 NEW BEST:: SOT 423462 SOS 329162 HAS SOPS 201701 HAS SOUS 38336 HAS SOUPS 22063 WITH SCORE 22392.162
AT ITER 654 NEW BEST:: SOT 423445 SOS 329128 HAS SOPS 201701 HAS SOUS 38319 HAS SOUPS 22063 WITH SCORE 22392.128
AT ITER 670 NEW BEST:: SOT 423470 SOS 326014 HAS SOPS 198419 HAS SOUS 38304 HAS SOUPS 22048 WITH SCORE 22374.014
AT ITER 671 NEW BEST:: SOT 423562 SOS 326028 HAS SOPS 198433 HAS SOUS 38255 HAS SOUPS 21999 WITH SCORE 22325.028
AT ITER 677 NEW BEST:: SOT 423357 SOS 325828 HAS SOPS 198343 HAS SOUS 38260 HAS SOUPS 21999 WITH SCORE 22324.828
AT ITER 683 NEW BEST:: SOT 423343 SOS 325758 HAS SOPS 198315 HAS SOUS 38239 HAS SOUPS 21985 WITH SCORE 22310.758
AT ITER 687 NEW BEST:: SOT 423366 SOS 325328 HAS SOPS 198106 HAS SOUS 38217 HAS SOUPS 21980 WITH SCORE 22305.328
AT ITER 692 NEW BEST:: SOT 423282 SOS 325332 HAS SOPS 197981 HAS SOUS 38121 HAS SOUPS 21884 WITH SCORE 22209.332
AT ITER 698 NEW BEST:: SOT 423294 SOS 325356 HAS SOPS 198395 HAS SOUS 38073 HAS SOUPS 21866 WITH SCORE 22191.356
AT ITER 699 NEW BEST:: SOT 423064 SOS 326800 HAS SOPS 198851 HAS SOUS 37990 HAS SOUPS 21781 WITH SCORE 22107.8
AT ITER 709 NEW BEST:: SOT 423194 SOS 324765 HAS SOPS 198530 HAS SOUS 38835 HAS SOUPS 21740 WITH SCORE 22064.765
AT ITER 725 NEW BEST:: SOT 423195 SOS 322788 HAS SOPS 196865 HAS SOUS 38810 HAS SOUPS 21739 WITH SCORE 22061.788
AT ITER 728 NEW BEST:: SOT 423192 SOS 322543 HAS SOPS 196620 HAS SOUS 38793 HAS SOUPS 21722 WITH SCORE 22044.543
AT ITER 742 NEW BEST:: SOT 423742 SOS 324146 HAS SOPS 196979 HAS SOUS 38538 HAS SOUPS 21456 WITH SCORE 21780.146
AT ITER 758 NEW BEST:: SOT 424306 SOS 324710 HAS SOPS 197021 HAS SOUS 38553 HAS SOUPS 21295 WITH SCORE 21619.71
AT ITER 764 NEW BEST:: SOT 424216 SOS 321282 HAS SOPS 194061 HAS SOUS 38497 HAS SOUPS 21275 WITH SCORE 21596.282
AT ITER 768 NEW BEST:: SOT 424149 SOS 321148 HAS SOPS 193994 HAS SOUS 38371 HAS SOUPS 21216 WITH SCORE 21537.148
AT ITER 798 NEW BEST:: SOT 424141 SOS 321516 HAS SOPS 194186 HAS SOUS 38363 HAS SOUPS 21208 WITH SCORE 21529.516
AT ITER 801 NEW BEST:: SOT 424122 SOS 321231 HAS SOPS 193901 HAS SOUS 38344 HAS SOUPS 21189 WITH SCORE 21510.231
AT ITER 804 NEW BEST:: SOT 424101 SOS 321199 HAS SOPS 193891 HAS SOUS 38323 HAS SOUPS 21179 WITH SCORE 21500.199
AT ITER 806 NEW BEST:: SOT 424202 SOS 321783 HAS SOPS 194475 HAS SOUS 38278 HAS SOUPS 21134 WITH SCORE 21455.783
AT ITER 856 NEW BEST:: SOT 424154 SOS 322047 HAS SOPS 194427 HAS SOUS 38254 HAS SOUPS 21086 WITH SCORE 21408.047
AT ITER 940 NEW BEST:: SOT 424142 SOS 322035 HAS SOPS 194415 HAS SOUS 38253 HAS SOUPS 21085 WITH SCORE 21407.035
AT ITER 942 NEW BEST:: SOT 424720 SOS 323619 HAS SOPS 195067 HAS SOUS 37780 HAS SOUPS 20958 WITH SCORE 21281.619
AT ITER 964 NEW BEST:: SOT 424687 SOS 323590 HAS SOPS 195038 HAS SOUS 37775 HAS SOUPS 20953 WITH SCORE 21276.59
AT ITER 969 NEW BEST:: SOT 424685 SOS 323586 HAS SOPS 195034 HAS SOUS 37775 HAS SOUPS 20953 WITH SCORE 21276.586
AT ITER 994 NEW BEST:: SOT 424603 SOS 323791 HAS SOPS 195023 HAS SOUS 37756 HAS SOUPS 20934 WITH SCORE 21257.791
AT ITER 1002 NEW BEST:: SOT 424591 SOS 323728 HAS SOPS 195011 HAS SOUS 37693 HAS SOUPS 20922 WITH SCORE 21245.728
AT ITER 1004 NEW BEST:: SOT 424495 SOS 322969 HAS SOPS 194811 HAS SOUS 37597 HAS SOUPS 20869 WITH SCORE 21191.969
AT ITER 1029 NEW BEST:: SOT 423853 SOS 321244 HAS SOPS 194200 HAS SOUS 37701 HAS SOUPS 20832 WITH SCORE 21153.244
AT ITER 1042 NEW BEST:: SOT 423811 SOS 321202 HAS SOPS 194158 HAS SOUS 37659 HAS SOUPS 20811 WITH SCORE 21132.202
AT ITER 1075 NEW BEST:: SOT 424319 SOS 321816 HAS SOPS 194454 HAS SOUS 37656 HAS SOUPS 20808 WITH SCORE 21129.816
AT ITER 1076 NEW BEST:: SOT 424549 SOS 322581 HAS SOPS 195022 HAS SOUS 36794 HAS SOUPS 20724 WITH SCORE 21046.581
AT ITER 1078 NEW BEST:: SOT 424570 SOS 322595 HAS SOPS 195016 HAS SOUS 36781 HAS SOUPS 20718 WITH SCORE 21040.595
AT ITER 1102 NEW BEST:: SOT 424520 SOS 319777 HAS SOPS 192198 HAS SOUS 36755 HAS SOUPS 20692 WITH SCORE 21011.777
AT ITER 1108 NEW BEST:: SOT 424513 SOS 319770 HAS SOPS 192198 HAS SOUS 36743 HAS SOUPS 20680 WITH SCORE 20999.77
AT ITER 1115 NEW BEST:: SOT 424429 SOS 319686 HAS SOPS 192142 HAS SOUS 36750 HAS SOUPS 20680 WITH SCORE 20999.686
AT ITER 1143 NEW BEST:: SOT 424527 SOS 316835 HAS SOPS 189664 HAS SOUS 36628 HAS SOUPS 20595 WITH SCORE 20911.835
AT ITER 1148 NEW BEST:: SOT 424526 SOS 316833 HAS SOPS 189664 HAS SOUS 36627 HAS SOUPS 20595 WITH SCORE 20911.833
AT ITER 1172 NEW BEST:: SOT 424509 SOS 316279 HAS SOPS 189474 HAS SOUS 36587 HAS SOUPS 20583 WITH SCORE 20899.279
AT ITER 1186 NEW BEST:: SOT 424551 SOS 312979 HAS SOPS 186863 HAS SOUS 36529 HAS SOUPS 20578 WITH SCORE 20890.979
AT ITER 1211 NEW BEST:: SOT 424571 SOS 312472 HAS SOPS 186616 HAS SOUS 36490 HAS SOUPS 20559 WITH SCORE 20871.472
AT ITER 1212 NEW BEST:: SOT 424612 SOS 312526 HAS SOPS 186635 HAS SOUS 36459 HAS SOUPS 20528 WITH SCORE 20840.526
AT ITER 1223 NEW BEST:: SOT 424612 SOS 312592 HAS SOPS 186606 HAS SOUS 36453 HAS SOUPS 20515 WITH SCORE 20827.592
AT ITER 1287 NEW BEST:: SOT 424455 SOS 312367 HAS SOPS 186513 HAS SOUS 36342 HAS SOUPS 20464 WITH SCORE 20776.367
AT ITER 1298 NEW BEST:: SOT 424459 SOS 312040 HAS SOPS 187226 HAS SOUS 36258 HAS SOUPS 20460 WITH SCORE 20772.04
AT ITER 1303 NEW BEST:: SOT 424483 SOS 311938 HAS SOPS 187214 HAS SOUS 36272 HAS SOUPS 20459 WITH SCORE 20770.938
AT ITER 1338 NEW BEST:: SOT 424467 SOS 311906 HAS SOPS 187198 HAS SOUS 36240 HAS SOUPS 20443 WITH SCORE 20754.906
AT ITER 1347 NEW BEST:: SOT 426030 SOS 313325 HAS SOPS 187675 HAS SOUS 36186 HAS SOUPS 20438 WITH SCORE 20751.325
AT ITER 1357 NEW BEST:: SOT 426001 SOS 313290 HAS SOPS 187652 HAS SOUS 36157 HAS SOUPS 20415 WITH SCORE 20728.29
AT ITER 1361 NEW BEST:: SOT 425825 SOS 311714 HAS SOPS 185305 HAS SOUS 36117 HAS SOUPS 20415 WITH SCORE 20726.714
AT ITER 1378 NEW BEST:: SOT 425831 SOS 311729 HAS SOPS 185302 HAS SOUS 36123 HAS SOUPS 20412 WITH SCORE 20723.729
AT ITER 1382 NEW BEST:: SOT 425824 SOS 311715 HAS SOPS 185302 HAS SOUS 36116 HAS SOUPS 20412 WITH SCORE 20723.715
AT ITER 1392 NEW BEST:: SOT 425732 SOS 311289 HAS SOPS 184942 HAS SOUS 35986 HAS SOUPS 20315 WITH SCORE 20626.289
AT ITER 1393 NEW BEST:: SOT 425751 SOS 311303 HAS SOPS 184925 HAS SOUS 35970 HAS SOUPS 20304 WITH SCORE 20615.303
AT ITER 1394 NEW BEST:: SOT 425757 SOS 311225 HAS SOPS 185029 HAS SOUS 35948 HAS SOUPS 20296 WITH SCORE 20607.225
AT ITER 1405 NEW BEST:: SOT 425757 SOS 311225 HAS SOPS 185029 HAS SOUS 35786 HAS SOUPS 20206 WITH SCORE 20517.225
AT ITER 1454 NEW BEST:: SOT 425769 SOS 310809 HAS SOPS 184763 HAS SOUS 35778 HAS SOUPS 20198 WITH SCORE 20508.809
AT ITER 1468 NEW BEST:: SOT 425757 SOS 310797 HAS SOPS 184763 HAS SOUS 35754 HAS SOUPS 20174 WITH SCORE 20484.797
AT ITER 1471 NEW BEST:: SOT 425736 SOS 310277 HAS SOPS 184126 HAS SOUS 35787 HAS SOUPS 20164 WITH SCORE 20474.277
AT ITER 1504 NEW BEST:: SOT 425622 SOS 311467 HAS SOPS 184874 HAS SOUS 35765 HAS SOUPS 20108 WITH SCORE 20419.467
AT ITER 1507 NEW BEST:: SOT 425618 SOS 311179 HAS SOPS 184638 HAS SOUS 35757 HAS SOUPS 20104 WITH SCORE 20415.179
AT ITER 1513 NEW BEST:: SOT 425618 SOS 311164 HAS SOPS 184638 HAS SOUS 35742 HAS SOUPS 20104 WITH SCORE 20415.164
AT ITER 1517 NEW BEST:: SOT 425815 SOS 311686 HAS SOPS 184798 HAS SOUS 35555 HAS SOUPS 20008 WITH SCORE 20319.686
AT ITER 1518 NEW BEST:: SOT 425715 SOS 311576 HAS SOPS 184728 HAS SOUS 35565 HAS SOUPS 20008 WITH SCORE 20319.576
AT ITER 1542 NEW BEST:: SOT 425755 SOS 309941 HAS SOPS 183093 HAS SOUS 35561 HAS SOUPS 20004 WITH SCORE 20313.941
AT ITER 1566 NEW BEST:: SOT 425755 SOS 309774 HAS SOPS 182926 HAS SOUS 35552 HAS SOUPS 19995 WITH SCORE 20304.774
AT ITER 1569 NEW BEST:: SOT 425777 SOS 307600 HAS SOPS 180919 HAS SOUS 35524 HAS SOUPS 19967 WITH SCORE 20274.6
AT ITER 1570 NEW BEST:: SOT 425759 SOS 307553 HAS SOPS 180921 HAS SOUS 35486 HAS SOUPS 19965 WITH SCORE 20272.553
AT ITER 1581 NEW BEST:: SOT 425821 SOS 307713 HAS SOPS 180955 HAS SOUS 35489 HAS SOUPS 19961 WITH SCORE 20268.713
AT ITER 1583 NEW BEST:: SOT 425860 SOS 307672 HAS SOPS 180914 HAS SOUS 35466 HAS SOUPS 19938 WITH SCORE 20245.672
AT ITER 1584 NEW BEST:: SOT 425783 SOS 307525 HAS SOPS 180858 HAS SOUS 35454 HAS SOUPS 19931 WITH SCORE 20238.525
AT ITER 1592 NEW BEST:: SOT 424560 SOS 303469 HAS SOPS 178931 HAS SOUS 35437 HAS SOUPS 19914 WITH SCORE 20217.469
AT ITER 1613 NEW BEST:: SOT 424559 SOS 303386 HAS SOPS 178844 HAS SOUS 35435 HAS SOUPS 19912 WITH SCORE 20215.386
AT ITER 1616 NEW BEST:: SOT 424294 SOS 302875 HAS SOPS 178703 HAS SOUS 35445 HAS SOUPS 19911 WITH SCORE 20213.875
AT ITER 1622 NEW BEST:: SOT 424276 SOS 302839 HAS SOPS 178703 HAS SOUS 35401 HAS SOUPS 19906 WITH SCORE 20208.839
AT ITER 1630 NEW BEST:: SOT 423621 SOS 301893 HAS SOPS 178031 HAS SOUS 35388 HAS SOUPS 19867 WITH SCORE 20168.893
AT ITER 1631 NEW BEST:: SOT 423604 SOS 300669 HAS SOPS 176807 HAS SOUS 35388 HAS SOUPS 19867 WITH SCORE 20167.669
AT ITER 1634 NEW BEST:: SOT 423561 SOS 300583 HAS SOPS 176807 HAS SOUS 35343 HAS SOUPS 19865 WITH SCORE 20165.583
AT ITER 1653 NEW BEST:: SOT 423561 SOS 300583 HAS SOPS 176807 HAS SOUS 35337 HAS SOUPS 19861 WITH SCORE 20161.583
AT ITER 1667 NEW BEST:: SOT 423473 SOS 300495 HAS SOPS 176807 HAS SOUS 34920 HAS SOUPS 19592 WITH SCORE 19892.495
AT ITER 1684 NEW BEST:: SOT 423348 SOS 297968 HAS SOPS 174420 HAS SOUS 34751 HAS SOUPS 19493 WITH SCORE 19790.968
AT ITER 1687 NEW BEST:: SOT 423329 SOS 297949 HAS SOPS 174420 HAS SOUS 34751 HAS SOUPS 19493 WITH SCORE 19790.949
AT ITER 1691 NEW BEST:: SOT 423320 SOS 297589 HAS SOPS 174060 HAS SOUS 34748 HAS SOUPS 19490 WITH SCORE 19787.589
AT ITER 1721 NEW BEST:: SOT 423295 SOS 297040 HAS SOPS 173485 HAS SOUS 34709 HAS SOUPS 19451 WITH SCORE 19748.04
AT ITER 1727 NEW BEST:: SOT 423259 SOS 296966 HAS SOPS 173449 HAS SOUS 34693 HAS SOUPS 19449 WITH SCORE 19745.966
AT ITER 1743 NEW BEST:: SOT 423259 SOS 296774 HAS SOPS 173257 HAS SOUS 34693 HAS SOUPS 19449 WITH SCORE 19745.774
AT ITER 1779 NEW BEST:: SOT 423247 SOS 296756 HAS SOPS 173251 HAS SOUS 34681 HAS SOUPS 19443 WITH SCORE 19739.756
AT ITER 1798 NEW BEST:: SOT 423229 SOS 296738 HAS SOPS 173251 HAS SOUS 34681 HAS SOUPS 19443 WITH SCORE 19739.738
AT ITER 1838 NEW BEST:: SOT 423263 SOS 296806 HAS SOPS 173251 HAS SOUS 34667 HAS SOUPS 19413 WITH SCORE 19709.806
AT ITER 1867 NEW BEST:: SOT 423263 SOS 296572 HAS SOPS 173251 HAS SOUS 34649 HAS SOUPS 19413 WITH SCORE 19709.572
AT ITER 1882 NEW BEST:: SOT 423548 SOS 297030 HAS SOPS 173407 HAS SOUS 34611 HAS SOUPS 19380 WITH SCORE 19677.03
AT ITER 1887 NEW BEST:: SOT 423577 SOS 297389 HAS SOPS 173272 HAS SOUS 34640 HAS SOUPS 19371 WITH SCORE 19668.389
AT ITER 1899 NEW BEST:: SOT 423573 SOS 297381 HAS SOPS 173272 HAS SOUS 34600 HAS SOUPS 19351 WITH SCORE 19648.381
AT ITER 1949 NEW BEST:: SOT 423516 SOS 297425 HAS SOPS 173345 HAS SOUS 34564 HAS SOUPS 19324 WITH SCORE 19621.425
AT ITER 1956 NEW BEST:: SOT 423626 SOS 296663 HAS SOPS 173003 HAS SOUS 34510 HAS SOUPS 19312 WITH SCORE 19608.663
AT ITER 1959 NEW BEST:: SOT 423654 SOS 296365 HAS SOPS 172978 HAS SOUS 34479 HAS SOUPS 19302 WITH SCORE 19598.365
AT ITER 1960 NEW BEST:: SOT 423877 SOS 296660 HAS SOPS 173093 HAS SOUS 34342 HAS SOUPS 19165 WITH SCORE 19461.66
AT ITER 1987 NEW BEST:: SOT 423873 SOS 296626 HAS SOPS 173085 HAS SOUS 34340 HAS SOUPS 19165 WITH SCORE 19461.626
AT ITER 2004 NEW BEST:: SOT 423866 SOS 296612 HAS SOPS 173085 HAS SOUS 34333 HAS SOUPS 19165 WITH SCORE 19461.612
AT ITER 2035 NEW BEST:: SOT 423854 SOS 296288 HAS SOPS 172917 HAS SOUS 34309 HAS SOUPS 19153 WITH SCORE 19449.288
AT ITER 2050 NEW BEST:: SOT 424116 SOS 296924 HAS SOPS 173095 HAS SOUS 34273 HAS SOUPS 19126 WITH SCORE 19422.924
AT ITER 2121 NEW BEST:: SOT 424100 SOS 297028 HAS SOPS 173095 HAS SOUS 34273 HAS SOUPS 19118 WITH SCORE 19415.028
AT ITER 2126 NEW BEST:: SOT 424120 SOS 297068 HAS SOPS 173135 HAS SOUS 34254 HAS SOUPS 19099 WITH SCORE 19396.068
AT ITER 2137 NEW BEST:: SOT 424102 SOS 297050 HAS SOPS 173135 HAS SOUS 34218 HAS SOUPS 19063 WITH SCORE 19360.05
AT ITER 2153 NEW BEST:: SOT 424001 SOS 296952 HAS SOPS 173086 HAS SOUS 34218 HAS SOUPS 19060 WITH SCORE 19356.952
AT ITER 2156 NEW BEST:: SOT 423943 SOS 297488 HAS SOPS 173642 HAS SOUS 34197 HAS SOUPS 19039 WITH SCORE 19336.488
AT ITER 2167 NEW BEST:: SOT 423932 SOS 297477 HAS SOPS 173642 HAS SOUS 34197 HAS SOUPS 19039 WITH SCORE 19336.477
AT ITER 2169 NEW BEST:: SOT 423932 SOS 297477 HAS SOPS 173642 HAS SOUS 34143 HAS SOUPS 19009 WITH SCORE 19306.477
AT ITER 2171 NEW BEST:: SOT 423932 SOS 297337 HAS SOPS 173642 HAS SOUS 34143 HAS SOUPS 19009 WITH SCORE 19306.337
AT ITER 2183 NEW BEST:: SOT 423932 SOS 297337 HAS SOPS 173642 HAS SOUS 34139 HAS SOUPS 18989 WITH SCORE 19286.337
AT ITER 2204 NEW BEST:: SOT 423883 SOS 296736 HAS SOPS 173041 HAS SOUS 34072 HAS SOUPS 18922 WITH SCORE 19218.736
AT ITER 2228 NEW BEST:: SOT 423881 SOS 296638 HAS SOPS 172999 HAS SOUS 34060 HAS SOUPS 18912 WITH SCORE 19208.638
AT ITER 2252 NEW BEST:: SOT 423899 SOS 296680 HAS SOPS 173011 HAS SOUS 34054 HAS SOUPS 18908 WITH SCORE 19204.68
AT ITER 2261 NEW BEST:: SOT 423763 SOS 299510 HAS SOPS 174245 HAS SOUS 34086 HAS SOUPS 18883 WITH SCORE 19182.51
AT ITER 2264 NEW BEST:: SOT 423757 SOS 299192 HAS SOPS 174017 HAS SOUS 34079 HAS SOUPS 18876 WITH SCORE 19175.192
AT ITER 2285 NEW BEST:: SOT 423749 SOS 299191 HAS SOPS 174016 HAS SOUS 34078 HAS SOUPS 18875 WITH SCORE 19174.191
AT ITER 2308 NEW BEST:: SOT 423749 SOS 299191 HAS SOPS 174016 HAS SOUS 34076 HAS SOUPS 18873 WITH SCORE 19172.191
AT ITER 2312 NEW BEST:: SOT 423742 SOS 299184 HAS SOPS 174016 HAS SOUS 34076 HAS SOUPS 18873 WITH SCORE 19172.184
AT ITER 2343 NEW BEST:: SOT 423742 SOS 299184 HAS SOPS 174016 HAS SOUS 34067 HAS SOUPS 18868 WITH SCORE 19167.184
AT ITER 2345 NEW BEST:: SOT 423807 SOS 297266 HAS SOPS 172938 HAS SOUS 34059 HAS SOUPS 18860 WITH SCORE 19157.266
AT ITER 2391 NEW BEST:: SOT 423774 SOS 297198 HAS SOPS 172905 HAS SOUS 33991 HAS SOUPS 18827 WITH SCORE 19124.198
AT ITER 2396 NEW BEST:: SOT 423769 SOS 297193 HAS SOPS 172905 HAS SOUS 33991 HAS SOUPS 18827 WITH SCORE 19124.193
AT ITER 2403 NEW BEST:: SOT 423781 SOS 297230 HAS SOPS 172942 HAS SOUS 33980 HAS SOUPS 18816 WITH SCORE 19113.23
AT ITER 2457 NEW BEST:: SOT 423792 SOS 297252 HAS SOPS 172942 HAS SOUS 33959 HAS SOUPS 18796 WITH SCORE 19093.252
AT ITER 2472 NEW BEST:: SOT 423792 SOS 297252 HAS SOPS 172942 HAS SOUS 33905 HAS SOUPS 18766 WITH SCORE 19063.252
AT ITER 2479 NEW BEST:: SOT 423792 SOS 297252 HAS SOPS 172942 HAS SOUS 33833 HAS SOUPS 18726 WITH SCORE 19023.252
AT ITER 2519 NEW BEST:: SOT 423792 SOS 297240 HAS SOPS 172942 HAS SOUS 33821 HAS SOUPS 18726 WITH SCORE 19023.24
AT ITER 2540 NEW BEST:: SOT 423792 SOS 296802 HAS SOPS 172569 HAS SOUS 33815 HAS SOUPS 18725 WITH SCORE 19021.802
AT ITER 2543 NEW BEST:: SOT 423843 SOS 296853 HAS SOPS 172569 HAS SOUS 33788 HAS SOUPS 18710 WITH SCORE 19006.853
AT ITER 2545 NEW BEST:: SOT 423827 SOS 296837 HAS SOPS 172569 HAS SOUS 33788 HAS SOUPS 18710 WITH SCORE 19006.837
AT ITER 2555 NEW BEST:: SOT 423797 SOS 297212 HAS SOPS 172944 HAS SOUS 33767 HAS SOUPS 18689 WITH SCORE 18986.212
AT ITER 2567 NEW BEST:: SOT 423797 SOS 297209 HAS SOPS 172944 HAS SOUS 33764 HAS SOUPS 18689 WITH SCORE 18986.209
AT ITER 2579 NEW BEST:: SOT 423799 SOS 297171 HAS SOPS 172903 HAS SOUS 33764 HAS SOUPS 18689 WITH SCORE 18986.171
AT ITER 2603 NEW BEST:: SOT 423828 SOS 296918 HAS SOPS 172650 HAS SOUS 33756 HAS SOUPS 18681 WITH SCORE 18977.918
AT ITER 2628 NEW BEST:: SOT 423828 SOS 296912 HAS SOPS 172650 HAS SOUS 33750 HAS SOUPS 18681 WITH SCORE 18977.912
AT ITER 2653 NEW BEST:: SOT 423816 SOS 297008 HAS SOPS 172650 HAS SOUS 33748 HAS SOUPS 18679 WITH SCORE 18976.008
AT ITER 2662 NEW BEST:: SOT 423811 SOS 296933 HAS SOPS 172575 HAS SOUS 33740 HAS SOUPS 18671 WITH SCORE 18967.933
AT ITER 2702 NEW BEST:: SOT 423786 SOS 296908 HAS SOPS 172575 HAS SOUS 33740 HAS SOUPS 18671 WITH SCORE 18967.908
AT ITER 2708 NEW BEST:: SOT 423737 SOS 296720 HAS SOPS 172507 HAS SOUS 33697 HAS SOUPS 18643 WITH SCORE 18939.72
AT ITER 2729 NEW BEST:: SOT 423737 SOS 296712 HAS SOPS 172507 HAS SOUS 33689 HAS SOUPS 18643 WITH SCORE 18939.712
AT ITER 2738 NEW BEST:: SOT 423737 SOS 296621 HAS SOPS 172507 HAS SOUS 33682 HAS SOUPS 18643 WITH SCORE 18939.621
AT ITER 2854 NEW BEST:: SOT 423720 SOS 296604 HAS SOPS 172507 HAS SOUS 33682 HAS SOUPS 18643 WITH SCORE 18939.604
AT ITER 2860 NEW BEST:: SOT 423722 SOS 296603 HAS SOPS 172506 HAS SOUS 33678 HAS SOUPS 18639 WITH SCORE 18935.603
AT ITER 2878 NEW BEST:: SOT 423698 SOS 296570 HAS SOPS 172503 HAS SOUS 33666 HAS SOUPS 18636 WITH SCORE 18932.57
AT ITER 2881 NEW BEST:: SOT 423698 SOS 296570 HAS SOPS 172503 HAS SOUS 33663 HAS SOUPS 18634 WITH SCORE 18930.57
AT ITER 2917 NEW BEST:: SOT 423647 SOS 296272 HAS SOPS 172426 HAS SOUS 33633 HAS SOUPS 18621 WITH SCORE 18917.272
AT ITER 2924 NEW BEST:: SOT 423819 SOS 296654 HAS SOPS 172525 HAS SOUS 33603 HAS SOUPS 18592 WITH SCORE 18888.654
AT ITER 2937 NEW BEST:: SOT 423754 SOS 296706 HAS SOPS 172552 HAS SOUS 33539 HAS SOUPS 18587 WITH SCORE 18883.706
AT ITER 2946 NEW BEST:: SOT 423739 SOS 296551 HAS SOPS 172462 HAS SOUS 33529 HAS SOUPS 18582 WITH SCORE 18878.551
AT ITER 2971 NEW BEST:: SOT 423704 SOS 296591 HAS SOPS 172406 HAS SOUS 33542 HAS SOUPS 18579 WITH SCORE 18875.591
AT ITER 2974 NEW BEST:: SOT 423696 SOS 296581 HAS SOPS 172400 HAS SOUS 33534 HAS SOUPS 18573 WITH SCORE 18869.581
AT ITER 2977 NEW BEST:: SOT 423821 SOS 296706 HAS SOPS 172383 HAS SOUS 33520 HAS SOUPS 18559 WITH SCORE 18855.706
AT ITER 3027 NEW BEST:: SOT 423817 SOS 296702 HAS SOPS 172379 HAS SOUS 33516 HAS SOUPS 18555 WITH SCORE 18851.702
AT ITER 3041 NEW BEST:: SOT 423806 SOS 295987 HAS SOPS 172054 HAS SOUS 33421 HAS SOUPS 18490 WITH SCORE 18785.987
AT ITER 3058 NEW BEST:: SOT 423794 SOS 295807 HAS SOPS 171965 HAS SOUS 33398 HAS SOUPS 18474 WITH SCORE 18769.807
AT ITER 3059 NEW BEST:: SOT 423794 SOS 295807 HAS SOPS 171965 HAS SOUS 33317 HAS SOUPS 18429 WITH SCORE 18724.807
AT ITER 3067 NEW BEST:: SOT 423796 SOS 295533 HAS SOPS 171602 HAS SOUS 33325 HAS SOUPS 18421 WITH SCORE 18716.533
AT ITER 3088 NEW BEST:: SOT 423861 SOS 295596 HAS SOPS 171599 HAS SOUS 33320 HAS SOUPS 18418 WITH SCORE 18713.596
AT ITER 3096 NEW BEST:: SOT 423847 SOS 295563 HAS SOPS 171585 HAS SOUS 33287 HAS SOUPS 18404 WITH SCORE 18699.563
AT ITER 3124 NEW BEST:: SOT 423846 SOS 295548 HAS SOPS 171583 HAS SOUS 33286 HAS SOUPS 18404 WITH SCORE 18699.548
AT ITER 3178 NEW BEST:: SOT 423845 SOS 295641 HAS SOPS 171676 HAS SOUS 33285 HAS SOUPS 18403 WITH SCORE 18698.641
AT ITER 3187 NEW BEST:: SOT 423845 SOS 295641 HAS SOPS 171676 HAS SOUS 33267 HAS SOUPS 18393 WITH SCORE 18688.641
AT ITER 3199 NEW BEST:: SOT 423835 SOS 295624 HAS SOPS 171673 HAS SOUS 33255 HAS SOUPS 18388 WITH SCORE 18683.624
AT ITER 3220 NEW BEST:: SOT 423813 SOS 295572 HAS SOPS 171657 HAS SOUS 33251 HAS SOUPS 18386 WITH SCORE 18681.572
AT ITER 3261 NEW BEST:: SOT 423795 SOS 295536 HAS SOPS 171657 HAS SOUS 33233 HAS SOUPS 18386 WITH SCORE 18681.536
AT ITER 3298 NEW BEST:: SOT 423791 SOS 295532 HAS SOPS 171657 HAS SOUS 33233 HAS SOUPS 18386 WITH SCORE 18681.532
AT ITER 3300 NEW BEST:: SOT 423775 SOS 296575 HAS SOPS 172139 HAS SOUS 33219 HAS SOUPS 18372 WITH SCORE 18668.575
AT ITER 3307 NEW BEST:: SOT 423781 SOS 296577 HAS SOPS 172128 HAS SOUS 33204 HAS SOUPS 18361 WITH SCORE 18657.577
AT ITER 3358 NEW BEST:: SOT 423784 SOS 296583 HAS SOPS 172134 HAS SOUS 33198 HAS SOUPS 18355 WITH SCORE 18651.583
AT ITER 3364 NEW BEST:: SOT 423768 SOS 296519 HAS SOPS 172070 HAS SOUS 33198 HAS SOUPS 18355 WITH SCORE 18651.519
AT ITER 3370 NEW BEST:: SOT 423804 SOS 296546 HAS SOPS 172057 HAS SOUS 33080 HAS SOUPS 18326 WITH SCORE 18622.546
AT ITER 3393 NEW BEST:: SOT 423766 SOS 296524 HAS SOPS 172035 HAS SOUS 33070 HAS SOUPS 18316 WITH SCORE 18612.524
AT ITER 3407 NEW BEST:: SOT 423743 SOS 296501 HAS SOPS 172035 HAS SOUS 33017 HAS SOUPS 18275 WITH SCORE 18571.501
AT ITER 3410 NEW BEST:: SOT 423740 SOS 296444 HAS SOPS 172032 HAS SOUS 32960 HAS SOUPS 18272 WITH SCORE 18568.444
AT ITER 3415 NEW BEST:: SOT 423737 SOS 296441 HAS SOPS 172032 HAS SOUS 32960 HAS SOUPS 18272 WITH SCORE 18568.441
AT ITER 3470 NEW BEST:: SOT 423701 SOS 296409 HAS SOPS 172032 HAS SOUS 32906 HAS SOUPS 18268 WITH SCORE 18564.409
AT ITER 3505 NEW BEST:: SOT 423523 SOS 294872 HAS SOPS 171208 HAS SOUS 32872 HAS SOUPS 18234 WITH SCORE 18528.872
AT ITER 3510 NEW BEST:: SOT 423593 SOS 294942 HAS SOPS 171208 HAS SOUS 32863 HAS SOUPS 18229 WITH SCORE 18523.942
AT ITER 3521 NEW BEST:: SOT 423561 SOS 294910 HAS SOPS 171208 HAS SOUS 32863 HAS SOUPS 18229 WITH SCORE 18523.91
AT ITER 3550 NEW BEST:: SOT 423525 SOS 294874 HAS SOPS 171208 HAS SOUS 32863 HAS SOUPS 18229 WITH SCORE 18523.874
AT ITER 3592 NEW BEST:: SOT 423560 SOS 294909 HAS SOPS 171208 HAS SOUS 32773 HAS SOUPS 18179 WITH SCORE 18473.909
AT ITER 3621 NEW BEST:: SOT 423560 SOS 294875 HAS SOPS 171208 HAS SOUS 32739 HAS SOUPS 18179 WITH SCORE 18473.875
AT ITER 3651 NEW BEST:: SOT 423514 SOS 294599 HAS SOPS 171346 HAS SOUS 32680 HAS SOUPS 18151 WITH SCORE 18445.599
AT ITER 3708 NEW BEST:: SOT 422697 SOS 286917 HAS SOPS 165294 HAS SOUS 32578 HAS SOUPS 18136 WITH SCORE 18422.917
AT ITER 3740 NEW BEST:: SOT 422692 SOS 286876 HAS SOPS 165289 HAS SOUS 32537 HAS SOUPS 18131 WITH SCORE 18417.876
AT ITER 3746 NEW BEST:: SOT 422758 SOS 286703 HAS SOPS 165261 HAS SOUS 32497 HAS SOUPS 18123 WITH SCORE 18409.703
AT ITER 3788 NEW BEST:: SOT 422754 SOS 286695 HAS SOPS 165261 HAS SOUS 32493 HAS SOUPS 18123 WITH SCORE 18409.695
AT ITER 3814 NEW BEST:: SOT 421896 SOS 284043 HAS SOPS 164013 HAS SOUS 32371 HAS SOUPS 18079 WITH SCORE 18363.043
AT ITER 3822 NEW BEST:: SOT 421326 SOS 283119 HAS SOPS 163309 HAS SOUS 32307 HAS SOUPS 18015 WITH SCORE 18298.119
AT ITER 3848 NEW BEST:: SOT 421256 SOS 283049 HAS SOPS 163309 HAS SOUS 32307 HAS SOUPS 18015 WITH SCORE 18298.049
AT ITER 3851 NEW BEST:: SOT 420641 SOS 282038 HAS SOPS 163006 HAS SOUS 32260 HAS SOUPS 17994 WITH SCORE 18276.038
AT ITER 3865 NEW BEST:: SOT 420342 SOS 281371 HAS SOPS 162454 HAS SOUS 32214 HAS SOUPS 17948 WITH SCORE 18229.371
AT ITER 3879 NEW BEST:: SOT 420363 SOS 281363 HAS SOPS 162468 HAS SOUS 32172 HAS SOUPS 17947 WITH SCORE 18228.363
AT ITER 3895 NEW BEST:: SOT 420359 SOS 281359 HAS SOPS 162468 HAS SOUS 32172 HAS SOUPS 17947 WITH SCORE 18228.359
AT ITER 3899 NEW BEST:: SOT 420339 SOS 282270 HAS SOPS 163256 HAS SOUS 32179 HAS SOUPS 17942 WITH SCORE 18224.27
AT ITER 3905 NEW BEST:: SOT 420319 SOS 282240 HAS SOPS 163256 HAS SOUS 32149 HAS SOUPS 17922 WITH SCORE 18204.24
AT ITER 3945 NEW BEST:: SOT 420283 SOS 282201 HAS SOPS 163232 HAS SOUS 32146 HAS SOUPS 17919 WITH SCORE 18201.201
AT ITER 3952 NEW BEST:: SOT 420239 SOS 282143 HAS SOPS 163217 HAS SOUS 32117 HAS SOUPS 17904 WITH SCORE 18186.143
AT ITER 3977 NEW BEST:: SOT 419877 SOS 279139 HAS SOPS 160857 HAS SOUS 32073 HAS SOUPS 17879 WITH SCORE 18158.139
AT ITER 4015 NEW BEST:: SOT 419871 SOS 278713 HAS SOPS 160743 HAS SOUS 32040 HAS SOUPS 17870 WITH SCORE 18148.713
AT ITER 4060 NEW BEST:: SOT 419852 SOS 278694 HAS SOPS 160743 HAS SOUS 32040 HAS SOUPS 17870 WITH SCORE 18148.694
AT ITER 4083 NEW BEST:: SOT 419826 SOS 278644 HAS SOPS 160723 HAS SOUS 32034 HAS SOUPS 17866 WITH SCORE 18144.644
AT ITER 4092 NEW BEST:: SOT 419826 SOS 278704 HAS SOPS 160723 HAS SOUS 32034 HAS SOUPS 17860 WITH SCORE 18138.704
AT ITER 4119 NEW BEST:: SOT 419749 SOS 278438 HAS SOPS 160583 HAS SOUS 32020 HAS SOUPS 17853 WITH SCORE 18131.438
AT ITER 4155 NEW BEST:: SOT 419721 SOS 278312 HAS SOPS 160548 HAS SOUS 31999 HAS SOUPS 17839 WITH SCORE 18117.312
AT ITER 4172 NEW BEST:: SOT 419458 SOS 277347 HAS SOPS 160025 HAS SOUS 31996 HAS SOUPS 17836 WITH SCORE 18113.347
AT ITER 4177 NEW BEST:: SOT 418389 SOS 274536 HAS SOPS 159237 HAS SOUS 31897 HAS SOUPS 17793 WITH SCORE 18067.536
AT ITER 4184 NEW BEST:: SOT 418383 SOS 274518 HAS SOPS 159219 HAS SOUS 31870 HAS SOUPS 17766 WITH SCORE 18040.518
AT ITER 4252 NEW BEST:: SOT 418375 SOS 274398 HAS SOPS 159099 HAS SOUS 31854 HAS SOUPS 17750 WITH SCORE 18024.398
AT ITER 4253 NEW BEST:: SOT 418375 SOS 274387 HAS SOPS 159096 HAS SOUS 31850 HAS SOUPS 17747 WITH SCORE 18021.387
AT ITER 4281 NEW BEST:: SOT 418375 SOS 274379 HAS SOPS 159096 HAS SOUS 31842 HAS SOUPS 17747 WITH SCORE 18021.379
AT ITER 4292 NEW BEST:: SOT 417047 SOS 272091 HAS SOPS 157492 HAS SOUS 31823 HAS SOUPS 17728 WITH SCORE 18000.091
AT ITER 4296 NEW BEST:: SOT 417008 SOS 272111 HAS SOPS 157453 HAS SOUS 31843 HAS SOUPS 17689 WITH SCORE 17961.111
AT ITER 4300 NEW BEST:: SOT 416997 SOS 272085 HAS SOPS 157431 HAS SOUS 31806 HAS SOUPS 17667 WITH SCORE 17939.085
AT ITER 4304 NEW BEST:: SOT 416993 SOS 272081 HAS SOPS 157429 HAS SOUS 31804 HAS SOUPS 17665 WITH SCORE 17937.081
AT ITER 4308 NEW BEST:: SOT 416997 SOS 271839 HAS SOPS 156216 HAS SOUS 31840 HAS SOUPS 17632 WITH SCORE 17903.839
AT ITER 4339 NEW BEST:: SOT 416991 SOS 271827 HAS SOPS 156216 HAS SOUS 31834 HAS SOUPS 17632 WITH SCORE 17903.827
AT ITER 4386 NEW BEST:: SOT 416988 SOS 271785 HAS SOPS 156213 HAS SOUS 31825 HAS SOUPS 17626 WITH SCORE 17897.785
AT ITER 4410 NEW BEST:: SOT 416949 SOS 271541 HAS SOPS 155955 HAS SOUS 31787 HAS SOUPS 17588 WITH SCORE 17859.541
AT ITER 4446 NEW BEST:: SOT 416949 SOS 271541 HAS SOPS 155955 HAS SOUS 31778 HAS SOUPS 17582 WITH SCORE 17853.541
AT ITER 4449 NEW BEST:: SOT 416743 SOS 270784 HAS SOPS 155280 HAS SOUS 31784 HAS SOUPS 17579 WITH SCORE 17849.784
AT ITER 4468 NEW BEST:: SOT 416721 SOS 270762 HAS SOPS 155280 HAS SOUS 31784 HAS SOUPS 17579 WITH SCORE 17849.762
AT ITER 4475 NEW BEST:: SOT 416672 SOS 270713 HAS SOPS 155231 HAS SOUS 31754 HAS SOUPS 17549 WITH SCORE 17819.713
AT ITER 4512 NEW BEST:: SOT 416559 SOS 270165 HAS SOPS 155183 HAS SOUS 31665 HAS SOUPS 17510 WITH SCORE 17780.165
AT ITER 4517 NEW BEST:: SOT 416406 SOS 270029 HAS SOPS 155183 HAS SOUS 31440 HAS SOUPS 17496 WITH SCORE 17766.029
AT ITER 4524 NEW BEST:: SOT 416380 SOS 270172 HAS SOPS 155158 HAS SOUS 31428 HAS SOUPS 17460 WITH SCORE 17730.172
AT ITER 4541 NEW BEST:: SOT 416456 SOS 270248 HAS SOPS 155158 HAS SOUS 31355 HAS SOUPS 17431 WITH SCORE 17701.248
AT ITER 4546 NEW BEST:: SOT 416444 SOS 270230 HAS SOPS 155158 HAS SOUS 31345 HAS SOUPS 17427 WITH SCORE 17697.23
AT ITER 4549 NEW BEST:: SOT 416439 SOS 270225 HAS SOPS 155158 HAS SOUS 31345 HAS SOUPS 17427 WITH SCORE 17697.225
AT ITER 4581 NEW BEST:: SOT 416434 SOS 270212 HAS SOPS 155153 HAS SOUS 31332 HAS SOUPS 17422 WITH SCORE 17692.212
AT ITER 4590 NEW BEST:: SOT 416455 SOS 270137 HAS SOPS 155107 HAS SOUS 31319 HAS SOUPS 17412 WITH SCORE 17682.137
AT ITER 4591 NEW BEST:: SOT 416455 SOS 270137 HAS SOPS 155107 HAS SOUS 31310 HAS SOUPS 17407 WITH SCORE 17677.137
AT ITER 4604 NEW BEST:: SOT 416452 SOS 270131 HAS SOPS 155107 HAS SOUS 31307 HAS SOUPS 17407 WITH SCORE 17677.131
AT ITER 4615 NEW BEST:: SOT 415954 SOS 267831 HAS SOPS 152500 HAS SOUS 31284 HAS SOUPS 17307 WITH SCORE 17574.831
AT ITER 4628 NEW BEST:: SOT 415907 SOS 268382 HAS SOPS 152492 HAS SOUS 31320 HAS SOUPS 17300 WITH SCORE 17568.382
AT ITER 4630 NEW BEST:: SOT 415907 SOS 268371 HAS SOPS 152481 HAS SOUS 31320 HAS SOUPS 17300 WITH SCORE 17568.371
AT ITER 4647 NEW BEST:: SOT 415898 SOS 268380 HAS SOPS 152472 HAS SOUS 31314 HAS SOUPS 17294 WITH SCORE 17562.38
AT ITER 4654 NEW BEST:: SOT 415842 SOS 268872 HAS SOPS 153416 HAS SOUS 31267 HAS SOUPS 17289 WITH SCORE 17557.872
AT ITER 4675 NEW BEST:: SOT 415777 SOS 266960 HAS SOPS 152494 HAS SOUS 31185 HAS SOUPS 17240 WITH SCORE 17506.96
AT ITER 4694 NEW BEST:: SOT 415683 SOS 266732 HAS SOPS 152434 HAS SOUS 31181 HAS SOUPS 17240 WITH SCORE 17506.732
AT ITER 4711 NEW BEST:: SOT 415663 SOS 266774 HAS SOPS 152346 HAS SOUS 31185 HAS SOUPS 17234 WITH SCORE 17500.774
AT ITER 4747 NEW BEST:: SOT 415649 SOS 266426 HAS SOPS 152374 HAS SOUS 31139 HAS SOUPS 17216 WITH SCORE 17482.426
AT ITER 4758 NEW BEST:: SOT 415657 SOS 266426 HAS SOPS 152270 HAS SOUS 31132 HAS SOUPS 17201 WITH SCORE 17467.426
AT ITER 4778 NEW BEST:: SOT 415865 SOS 266738 HAS SOPS 152374 HAS SOUS 31056 HAS SOUPS 17153 WITH SCORE 17419.738
AT ITER 4781 NEW BEST:: SOT 415721 SOS 266258 HAS SOPS 151954 HAS SOUS 31044 HAS SOUPS 17141 WITH SCORE 17407.258
AT ITER 4802 NEW BEST:: SOT 415719 SOS 266162 HAS SOPS 151854 HAS SOUS 31038 HAS SOUPS 17135 WITH SCORE 17401.162
AT ITER 4810 NEW BEST:: SOT 415700 SOS 266072 HAS SOPS 151933 HAS SOUS 31018 HAS SOUPS 17128 WITH SCORE 17394.072
AT ITER 4846 NEW BEST:: SOT 415680 SOS 266108 HAS SOPS 151935 HAS SOUS 31010 HAS SOUPS 17120 WITH SCORE 17386.108
AT ITER 4862 NEW BEST:: SOT 415625 SOS 266048 HAS SOPS 151905 HAS SOUS 31010 HAS SOUPS 17120 WITH SCORE 17386.048
AT ITER 4881 NEW BEST:: SOT 415624 SOS 266046 HAS SOPS 151905 HAS SOUS 31009 HAS SOUPS 17120 WITH SCORE 17386.046
AT ITER 4918 NEW BEST:: SOT 415627 SOS 265965 HAS SOPS 151863 HAS SOUS 31000 HAS SOUPS 17114 WITH SCORE 17379.965
AT ITER 4960 NEW BEST:: SOT 415617 SOS 265955 HAS SOPS 151863 HAS SOUS 30992 HAS SOUPS 17106 WITH SCORE 17371.955
AT ITER 4979 NEW BEST:: SOT 415382 SOS 266675 HAS SOPS 151988 HAS SOUS 30906 HAS SOUPS 17081 WITH SCORE 17347.675
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-09a-CTLCardinality-00 (EF(( (! ( potential( (tk(P96)) <= (tk(P80)) ) | potential( ( 1 ) <= (tk(P27)) ) )) & ( ( potential( ( 1 ) <= (tk(P132)) ) | potential( (tk(P41)) <= (tk(P33)) ) ) | ( potential( (tk(P277)) <= (tk(P98)) ) | potential( (tk(P57)) <= (tk(P109)) ) ) ) )))
PROPERTY: DLCround-PT-09a-CTLCardinality-01 ( ( (EF(( potential( ( 3 ) <= (tk(P96)) ) & potential( ( 3 ) <= (tk(P83)) ) ))) & (EF(( potential( ( 1 ) <= (tk(P153)) ) & potential( ( 2 ) <= (tk(P296)) ) ))) ) | potential( ( 2 ) <= (tk(P93)) ) )
PROPERTY: DLCround-PT-09a-CTLCardinality-02 (EG( ( ( ( potential( (tk(P214)) <= (tk(P19)) ) & potential( (tk(P48)) <= (tk(P89)) ) ) & ( potential( ( 1 ) <= (tk(P230)) ) | potential( (tk(P172)) <= (tk(P159)) ) ) ) | (EF(potential( ( 2 ) <= (tk(P120)) ))) )))
PROPERTY: DLCround-PT-09a-CTLCardinality-03 ( (AX( (AX( potential( ( 3 ) <= (tk(P272)) ))))) | (EF(potential( ( 3 ) <= (tk(P85)) ))) )
PROPERTY: DLCround-PT-09a-CTLCardinality-04 (AG( ( (EG( potential( (tk(P245)) <= (tk(P13)) ))) | (EF(potential( ( 1 ) <= (tk(P267)) ))) )))
PROPERTY: DLCround-PT-09a-CTLCardinality-05 (EG( ( (EF(potential( ( 3 ) <= (tk(P280)) ))) | ( ( potential( ( 3 ) <= (tk(P218)) ) | potential( ( 1 ) <= (tk(P33)) ) ) | (! potential( (tk(P98)) <= (tk(P100)) )) ) )))
PROPERTY: DLCround-PT-09a-CTLCardinality-06 (EF((AF(( potential( ( 3 ) <= (tk(P146)) ) & potential( (tk(P256)) <= (tk(P186)) ) )))))
PROPERTY: DLCround-PT-09a-CTLCardinality-07 (EU( (EF(potential( (tk(P265)) <= (tk(P198)) ))),potential( ( 3 ) <= (tk(P5)) ) ))
PROPERTY: DLCround-PT-09a-CTLCardinality-08 ( potential( (tk(P38)) <= (tk(P29)) ) & (EF((AX( potential( ( 2 ) <= (tk(P51)) ))))) )
PROPERTY: DLCround-PT-09a-CTLCardinality-09 (AG( ( (EG( potential( (tk(P220)) <= (tk(P217)) ))) | ( (! potential( (tk(P197)) <= (tk(P124)) )) & (! potential( (tk(P31)) <= (tk(P154)) )) ) )))
PROPERTY: DLCround-PT-09a-CTLCardinality-10 (AG( (AX( (! potential( ( 3 ) <= (tk(P252)) ))))))
PROPERTY: DLCround-PT-09a-CTLCardinality-11 (EU( ( potential( (tk(P265)) <= (tk(P218)) ) & ( potential( (tk(P224)) <= (tk(P292)) ) | potential( (tk(P196)) <= (tk(P36)) ) ) ),(AG( potential( ( 1 ) <= (tk(P218)) ))) ))
PROPERTY: DLCround-PT-09a-CTLCardinality-12 (! ( (AG( ( potential( (tk(P205)) <= (tk(P255)) ) & potential( (tk(P296)) <= (tk(P188)) ) ))) & (! (EF(potential( ( 2 ) <= (tk(P255)) )))) ))
PROPERTY: DLCround-PT-09a-CTLCardinality-13 (EU( (EG( potential( (tk(P135)) <= (tk(P281)) ))),( ( potential( (tk(P209)) <= (tk(P218)) ) & potential( (tk(P17)) <= (tk(P210)) ) ) & ( potential( ( 2 ) <= (tk(P237)) ) & potential( ( 1 ) <= (tk(P148)) ) ) ) ))
PROPERTY: DLCround-PT-09a-CTLCardinality-14 (AU( (AF(potential( ( 3 ) <= (tk(P164)) ))),(EF(potential( ( 2 ) <= (tk(P189)) ))) ))
PROPERTY: DLCround-PT-09a-CTLCardinality-15 (AX( (EF((! potential( (tk(P85)) <= (tk(P11)) ))))))

BK_STOP 1589130321971

--------------------
content from stderr:

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 487 Aborted ${SMART} ${INPUT_SM}

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-09a"
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-09a, 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-158902542300547"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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