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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 3.4K Mar 30 19:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 19:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 29 09:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 29 09:57 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.4K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 05:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 05:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 27 00:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 27 00:08 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 660K 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-10a-CTLCardinality-00
FORMULA_NAME DLCround-PT-10a-CTLCardinality-01
FORMULA_NAME DLCround-PT-10a-CTLCardinality-02
FORMULA_NAME DLCround-PT-10a-CTLCardinality-03
FORMULA_NAME DLCround-PT-10a-CTLCardinality-04
FORMULA_NAME DLCround-PT-10a-CTLCardinality-05
FORMULA_NAME DLCround-PT-10a-CTLCardinality-06
FORMULA_NAME DLCround-PT-10a-CTLCardinality-07
FORMULA_NAME DLCround-PT-10a-CTLCardinality-08
FORMULA_NAME DLCround-PT-10a-CTLCardinality-09
FORMULA_NAME DLCround-PT-10a-CTLCardinality-10
FORMULA_NAME DLCround-PT-10a-CTLCardinality-11
FORMULA_NAME DLCround-PT-10a-CTLCardinality-12
FORMULA_NAME DLCround-PT-10a-CTLCardinality-13
FORMULA_NAME DLCround-PT-10a-CTLCardinality-14
FORMULA_NAME DLCround-PT-10a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589129268277

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 10a
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: 337 places, 2605 transitions, 10130 arcs.
AT ITER 0 NEW BEST:: SOT 551970 SOS 467153 HAS SOPS 282745 HAS SOUS 55803 HAS SOUPS 38909 WITH SCORE 39376.153
AT ITER 12 NEW BEST:: SOT 551550 SOS 466817 HAS SOPS 281989 HAS SOUS 55086 HAS SOUPS 37876 WITH SCORE 38342.817
AT ITER 35 NEW BEST:: SOT 551741 SOS 459821 HAS SOPS 276309 HAS SOUS 54956 HAS SOUPS 37840 WITH SCORE 38299.821
AT ITER 48 NEW BEST:: SOT 551613 SOS 459726 HAS SOPS 276049 HAS SOUS 54711 HAS SOUPS 37471 WITH SCORE 37930.726
AT ITER 51 NEW BEST:: SOT 551641 SOS 460192 HAS SOPS 276515 HAS SOUS 54652 HAS SOUPS 37412 WITH SCORE 37872.192
AT ITER 57 NEW BEST:: SOT 551563 SOS 459308 HAS SOPS 275631 HAS SOUS 54626 HAS SOUPS 37386 WITH SCORE 37845.308
AT ITER 64 NEW BEST:: SOT 551617 SOS 458668 HAS SOPS 275607 HAS SOUS 54514 HAS SOUPS 37318 WITH SCORE 37776.668
AT ITER 71 NEW BEST:: SOT 551833 SOS 458884 HAS SOPS 275823 HAS SOUS 54529 HAS SOUPS 37313 WITH SCORE 37771.884
AT ITER 92 NEW BEST:: SOT 551044 SOS 455604 HAS SOPS 273917 HAS SOUS 53260 HAS SOUPS 35262 WITH SCORE 35717.604
AT ITER 94 NEW BEST:: SOT 551386 SOS 453469 HAS SOPS 273515 HAS SOUS 54404 HAS SOUPS 35176 WITH SCORE 35629.469
AT ITER 97 NEW BEST:: SOT 550591 SOS 450842 HAS SOPS 272661 HAS SOUS 53520 HAS SOUPS 34327 WITH SCORE 34777.842
AT ITER 104 NEW BEST:: SOT 550587 SOS 450834 HAS SOPS 272661 HAS SOUS 53516 HAS SOUPS 34327 WITH SCORE 34777.834
AT ITER 105 NEW BEST:: SOT 550459 SOS 450775 HAS SOPS 272257 HAS SOUS 53127 HAS SOUPS 33686 WITH SCORE 34136.775
AT ITER 107 NEW BEST:: SOT 550400 SOS 449831 HAS SOPS 272139 HAS SOUS 53045 HAS SOUPS 33663 WITH SCORE 34112.831
AT ITER 111 NEW BEST:: SOT 550194 SOS 450867 HAS SOPS 272339 HAS SOUS 52875 HAS SOUPS 33493 WITH SCORE 33943.867
AT ITER 126 NEW BEST:: SOT 550843 SOS 449114 HAS SOPS 271967 HAS SOUS 54366 HAS SOUPS 33448 WITH SCORE 33897.114
AT ITER 139 NEW BEST:: SOT 550778 SOS 449069 HAS SOPS 271822 HAS SOUS 54196 HAS SOUPS 33218 WITH SCORE 33667.069
AT ITER 141 NEW BEST:: SOT 550764 SOS 449041 HAS SOPS 271822 HAS SOUS 54182 HAS SOUPS 33218 WITH SCORE 33667.041
AT ITER 142 NEW BEST:: SOT 550819 SOS 449069 HAS SOPS 271850 HAS SOUS 54105 HAS SOUPS 33141 WITH SCORE 33590.069
AT ITER 145 NEW BEST:: SOT 550062 SOS 446926 HAS SOPS 271264 HAS SOUS 53655 HAS SOUPS 32693 WITH SCORE 33139.926
AT ITER 148 NEW BEST:: SOT 550193 SOS 446031 HAS SOPS 271175 HAS SOUS 53696 HAS SOUPS 32603 WITH SCORE 33049.031
AT ITER 150 NEW BEST:: SOT 550493 SOS 443590 HAS SOPS 270753 HAS SOUS 54888 HAS SOUPS 32513 WITH SCORE 32956.59
AT ITER 162 NEW BEST:: SOT 550433 SOS 443500 HAS SOPS 270723 HAS SOUS 54828 HAS SOUPS 32483 WITH SCORE 32926.5
AT ITER 171 NEW BEST:: SOT 550432 SOS 443484 HAS SOPS 270721 HAS SOUS 54826 HAS SOUPS 32482 WITH SCORE 32925.484
AT ITER 174 NEW BEST:: SOT 550062 SOS 443151 HAS SOPS 270721 HAS SOUS 54336 HAS SOUPS 32476 WITH SCORE 32919.151
AT ITER 183 NEW BEST:: SOT 549938 SOS 442965 HAS SOPS 270659 HAS SOUS 54220 HAS SOUPS 32422 WITH SCORE 32864.965
AT ITER 186 NEW BEST:: SOT 549931 SOS 442426 HAS SOPS 270120 HAS SOUS 54220 HAS SOUPS 32422 WITH SCORE 32864.426
AT ITER 187 NEW BEST:: SOT 549949 SOS 442462 HAS SOPS 270120 HAS SOUS 54231 HAS SOUPS 32418 WITH SCORE 32860.462
AT ITER 196 NEW BEST:: SOT 549879 SOS 441342 HAS SOPS 269490 HAS SOUS 54126 HAS SOUPS 32348 WITH SCORE 32789.342
AT ITER 208 NEW BEST:: SOT 548957 SOS 438859 HAS SOPS 268372 HAS SOUS 52519 HAS SOUPS 30890 WITH SCORE 31328.859
AT ITER 223 NEW BEST:: SOT 548957 SOS 438859 HAS SOPS 268372 HAS SOUS 52513 HAS SOUPS 30884 WITH SCORE 31322.859
AT ITER 236 NEW BEST:: SOT 548840 SOS 438079 HAS SOPS 268138 HAS SOUS 52375 HAS SOUPS 30785 WITH SCORE 31223.079
AT ITER 238 NEW BEST:: SOT 548823 SOS 438045 HAS SOPS 268138 HAS SOUS 52350 HAS SOUPS 30777 WITH SCORE 31215.045
AT ITER 247 NEW BEST:: SOT 548768 SOS 437315 HAS SOPS 268038 HAS SOUS 52305 HAS SOUPS 30777 WITH SCORE 31214.315
AT ITER 252 NEW BEST:: SOT 548743 SOS 435390 HAS SOPS 266113 HAS SOUS 52305 HAS SOUPS 30777 WITH SCORE 31212.39
AT ITER 253 NEW BEST:: SOT 549811 SOS 435081 HAS SOPS 265802 HAS SOUS 53595 HAS SOUPS 30640 WITH SCORE 31075.081
AT ITER 265 NEW BEST:: SOT 549851 SOS 435089 HAS SOPS 265810 HAS SOUS 53508 HAS SOUPS 30553 WITH SCORE 30988.089
AT ITER 270 NEW BEST:: SOT 551387 SOS 437025 HAS SOPS 267746 HAS SOUS 53028 HAS SOUPS 30073 WITH SCORE 30510.025
AT ITER 287 NEW BEST:: SOT 550814 SOS 436919 HAS SOPS 267734 HAS SOUS 52041 HAS SOUPS 29862 WITH SCORE 30298.919
AT ITER 295 NEW BEST:: SOT 550805 SOS 436910 HAS SOPS 267725 HAS SOUS 52032 HAS SOUPS 29853 WITH SCORE 30289.91
AT ITER 298 NEW BEST:: SOT 550288 SOS 436573 HAS SOPS 267388 HAS SOUS 51695 HAS SOUPS 29516 WITH SCORE 29952.573
AT ITER 320 NEW BEST:: SOT 550186 SOS 434941 HAS SOPS 266750 HAS SOUS 51599 HAS SOUPS 29491 WITH SCORE 29925.941
AT ITER 333 NEW BEST:: SOT 550183 SOS 434710 HAS SOPS 266519 HAS SOUS 51599 HAS SOUPS 29491 WITH SCORE 29925.71
AT ITER 336 NEW BEST:: SOT 550156 SOS 434656 HAS SOPS 266501 HAS SOUS 51596 HAS SOUPS 29491 WITH SCORE 29925.656
AT ITER 337 NEW BEST:: SOT 550434 SOS 434935 HAS SOPS 266484 HAS SOUS 51354 HAS SOUPS 29100 WITH SCORE 29534.935
AT ITER 341 NEW BEST:: SOT 549634 SOS 432934 HAS SOPS 265865 HAS SOUS 51256 HAS SOUPS 29030 WITH SCORE 29462.934
AT ITER 343 NEW BEST:: SOT 549629 SOS 432854 HAS SOPS 265855 HAS SOUS 51246 HAS SOUPS 29025 WITH SCORE 29457.854
AT ITER 348 NEW BEST:: SOT 549629 SOS 432854 HAS SOPS 265823 HAS SOUS 51218 HAS SOUPS 28997 WITH SCORE 29429.854
AT ITER 354 NEW BEST:: SOT 549585 SOS 430198 HAS SOPS 263167 HAS SOUS 51206 HAS SOUPS 28985 WITH SCORE 29415.198
AT ITER 371 NEW BEST:: SOT 549609 SOS 430246 HAS SOPS 263167 HAS SOUS 51209 HAS SOUPS 28960 WITH SCORE 29390.246
AT ITER 372 NEW BEST:: SOT 549598 SOS 428174 HAS SOPS 261395 HAS SOUS 51148 HAS SOUPS 28924 WITH SCORE 29352.174
AT ITER 374 NEW BEST:: SOT 549662 SOS 427050 HAS SOPS 260999 HAS SOUS 51066 HAS SOUPS 28894 WITH SCORE 29321.05
AT ITER 376 NEW BEST:: SOT 549578 SOS 427022 HAS SOPS 261167 HAS SOUS 50674 HAS SOUPS 28838 WITH SCORE 29265.022
AT ITER 400 NEW BEST:: SOT 548671 SOS 425167 HAS SOPS 260530 HAS SOUS 50577 HAS SOUPS 28810 WITH SCORE 29235.167
AT ITER 401 NEW BEST:: SOT 548634 SOS 424770 HAS SOPS 260525 HAS SOUS 50542 HAS SOUPS 28803 WITH SCORE 29227.77
AT ITER 412 NEW BEST:: SOT 548574 SOS 424680 HAS SOPS 260495 HAS SOUS 50482 HAS SOUPS 28773 WITH SCORE 29197.68
AT ITER 419 NEW BEST:: SOT 548479 SOS 423048 HAS SOPS 259801 HAS SOUS 50406 HAS SOUPS 28764 WITH SCORE 29187.048
AT ITER 432 NEW BEST:: SOT 548417 SOS 422941 HAS SOPS 259784 HAS SOUS 50344 HAS SOUPS 28747 WITH SCORE 29169.941
AT ITER 439 NEW BEST:: SOT 548309 SOS 422887 HAS SOPS 259919 HAS SOUS 49939 HAS SOUPS 28666 WITH SCORE 29088.887
AT ITER 443 NEW BEST:: SOT 548305 SOS 422823 HAS SOPS 259855 HAS SOUS 49935 HAS SOUPS 28662 WITH SCORE 29084.823
AT ITER 448 NEW BEST:: SOT 548287 SOS 422805 HAS SOPS 259837 HAS SOUS 49935 HAS SOUPS 28662 WITH SCORE 29084.805
AT ITER 476 NEW BEST:: SOT 548469 SOS 422987 HAS SOPS 259965 HAS SOUS 49901 HAS SOUPS 28646 WITH SCORE 29068.987
AT ITER 491 NEW BEST:: SOT 548516 SOS 418737 HAS SOPS 255715 HAS SOUS 49902 HAS SOUPS 28647 WITH SCORE 29065.737
AT ITER 495 NEW BEST:: SOT 548586 SOS 413715 HAS SOPS 250693 HAS SOUS 49901 HAS SOUPS 28646 WITH SCORE 29059.715
AT ITER 498 NEW BEST:: SOT 548582 SOS 413407 HAS SOPS 250385 HAS SOUS 49901 HAS SOUPS 28646 WITH SCORE 29059.407
AT ITER 499 NEW BEST:: SOT 548604 SOS 413143 HAS SOPS 250429 HAS SOUS 49879 HAS SOUPS 28646 WITH SCORE 29059.143
AT ITER 501 NEW BEST:: SOT 548682 SOS 411637 HAS SOPS 249220 HAS SOUS 49799 HAS SOUPS 28593 WITH SCORE 29004.637
AT ITER 503 NEW BEST:: SOT 548038 SOS 411114 HAS SOPS 248720 HAS SOUS 49849 HAS SOUPS 28557 WITH SCORE 28968.114
AT ITER 510 NEW BEST:: SOT 547903 SOS 410929 HAS SOPS 248635 HAS SOUS 49714 HAS SOUPS 28472 WITH SCORE 28882.929
AT ITER 514 NEW BEST:: SOT 548087 SOS 411118 HAS SOPS 248743 HAS SOUS 49682 HAS SOUPS 28447 WITH SCORE 28858.118
AT ITER 520 NEW BEST:: SOT 548072 SOS 410953 HAS SOPS 248648 HAS SOUS 49667 HAS SOUPS 28437 WITH SCORE 28847.953
AT ITER 539 NEW BEST:: SOT 547989 SOS 409850 HAS SOPS 248147 HAS SOUS 49602 HAS SOUPS 28415 WITH SCORE 28824.85
AT ITER 555 NEW BEST:: SOT 547893 SOS 409754 HAS SOPS 248051 HAS SOUS 49602 HAS SOUPS 28415 WITH SCORE 28824.754
AT ITER 557 NEW BEST:: SOT 547909 SOS 410010 HAS SOPS 248909 HAS SOUS 49532 HAS SOUPS 28388 WITH SCORE 28798.01
AT ITER 567 NEW BEST:: SOT 547824 SOS 409704 HAS SOPS 248790 HAS SOUS 49472 HAS SOUPS 28345 WITH SCORE 28754.704
AT ITER 568 NEW BEST:: SOT 547772 SOS 408264 HAS SOPS 248820 HAS SOUS 49307 HAS SOUPS 28282 WITH SCORE 28690.264
AT ITER 576 NEW BEST:: SOT 547772 SOS 408043 HAS SOPS 248599 HAS SOUS 49307 HAS SOUPS 28282 WITH SCORE 28690.043
AT ITER 583 NEW BEST:: SOT 547599 SOS 407940 HAS SOPS 248549 HAS SOUS 49150 HAS SOUPS 28125 WITH SCORE 28532.94
AT ITER 588 NEW BEST:: SOT 547591 SOS 407932 HAS SOPS 248541 HAS SOUS 49142 HAS SOUPS 28117 WITH SCORE 28524.932
AT ITER 603 NEW BEST:: SOT 547524 SOS 407798 HAS SOPS 248474 HAS SOUS 49057 HAS SOUPS 28103 WITH SCORE 28510.798
AT ITER 606 NEW BEST:: SOT 547510 SOS 407784 HAS SOPS 248460 HAS SOUS 49029 HAS SOUPS 28075 WITH SCORE 28482.784
AT ITER 615 NEW BEST:: SOT 546946 SOS 406746 HAS SOPS 247503 HAS SOUS 49037 HAS SOUPS 28034 WITH SCORE 28440.746
AT ITER 618 NEW BEST:: SOT 546928 SOS 406728 HAS SOPS 247485 HAS SOUS 49019 HAS SOUPS 28016 WITH SCORE 28422.728
AT ITER 624 NEW BEST:: SOT 546943 SOS 406716 HAS SOPS 247455 HAS SOUS 49018 HAS SOUPS 28015 WITH SCORE 28421.716
AT ITER 646 NEW BEST:: SOT 546973 SOS 406776 HAS SOPS 247425 HAS SOUS 49020 HAS SOUPS 27987 WITH SCORE 28393.776
AT ITER 652 NEW BEST:: SOT 546973 SOS 406796 HAS SOPS 247800 HAS SOUS 48975 HAS SOUPS 27967 WITH SCORE 28373.796
AT ITER 661 NEW BEST:: SOT 546937 SOS 406248 HAS SOPS 247252 HAS SOUS 48952 HAS SOUPS 27944 WITH SCORE 28350.248
AT ITER 662 NEW BEST:: SOT 547845 SOS 405031 HAS SOPS 246812 HAS SOUS 50405 HAS SOUPS 27926 WITH SCORE 28331.031
AT ITER 670 NEW BEST:: SOT 547843 SOS 405027 HAS SOPS 246808 HAS SOUS 50403 HAS SOUPS 27924 WITH SCORE 28329.027
AT ITER 679 NEW BEST:: SOT 547773 SOS 404964 HAS SOPS 246808 HAS SOUS 50309 HAS SOUPS 27922 WITH SCORE 28326.964
AT ITER 688 NEW BEST:: SOT 547736 SOS 405077 HAS SOPS 246522 HAS SOUS 50208 HAS SOUPS 27869 WITH SCORE 28274.077
AT ITER 691 NEW BEST:: SOT 548289 SOS 405587 HAS SOPS 247118 HAS SOUS 50218 HAS SOUPS 27854 WITH SCORE 28259.587
AT ITER 723 NEW BEST:: SOT 548289 SOS 405587 HAS SOPS 247118 HAS SOUS 50215 HAS SOUPS 27852 WITH SCORE 28257.587
AT ITER 735 NEW BEST:: SOT 548212 SOS 405488 HAS SOPS 247074 HAS SOUS 50204 HAS SOUPS 27841 WITH SCORE 28246.488
AT ITER 744 NEW BEST:: SOT 548138 SOS 405340 HAS SOPS 247074 HAS SOUS 49797 HAS SOUPS 27666 WITH SCORE 28071.34
AT ITER 765 NEW BEST:: SOT 548109 SOS 405363 HAS SOPS 246993 HAS SOUS 49624 HAS SOUPS 27495 WITH SCORE 27900.363
AT ITER 789 NEW BEST:: SOT 548104 SOS 405283 HAS SOPS 246913 HAS SOUS 49619 HAS SOUPS 27490 WITH SCORE 27895.283
AT ITER 790 NEW BEST:: SOT 548188 SOS 405367 HAS SOPS 246822 HAS SOUS 49248 HAS SOUPS 27119 WITH SCORE 27524.367
AT ITER 802 NEW BEST:: SOT 548139 SOS 405269 HAS SOPS 246822 HAS SOUS 49199 HAS SOUPS 27119 WITH SCORE 27524.269
AT ITER 809 NEW BEST:: SOT 548089 SOS 405194 HAS SOPS 246797 HAS SOUS 49149 HAS SOUPS 27094 WITH SCORE 27499.194
AT ITER 817 NEW BEST:: SOT 546582 SOS 397617 HAS SOPS 241982 HAS SOUS 49006 HAS SOUPS 26880 WITH SCORE 27277.617
AT ITER 818 NEW BEST:: SOT 547354 SOS 399089 HAS SOPS 242426 HAS SOUS 48925 HAS SOUPS 26865 WITH SCORE 27264.089
AT ITER 827 NEW BEST:: SOT 547322 SOS 399057 HAS SOPS 242426 HAS SOUS 48925 HAS SOUPS 26865 WITH SCORE 27264.057
AT ITER 843 NEW BEST:: SOT 547331 SOS 399201 HAS SOPS 242570 HAS SOUS 48898 HAS SOUPS 26838 WITH SCORE 27237.201
AT ITER 854 NEW BEST:: SOT 547304 SOS 399039 HAS SOPS 242408 HAS SOUS 48889 HAS SOUPS 26829 WITH SCORE 27228.039
AT ITER 872 NEW BEST:: SOT 547302 SOS 399035 HAS SOPS 242408 HAS SOUS 48887 HAS SOUPS 26829 WITH SCORE 27228.035
AT ITER 881 NEW BEST:: SOT 547206 SOS 398907 HAS SOPS 242312 HAS SOUS 48838 HAS SOUPS 26816 WITH SCORE 27214.907
AT ITER 888 NEW BEST:: SOT 547119 SOS 400035 HAS SOPS 243150 HAS SOUS 48817 HAS SOUPS 26795 WITH SCORE 27195.035
AT ITER 892 NEW BEST:: SOT 547314 SOS 400118 HAS SOPS 243233 HAS SOUS 48764 HAS SOUPS 26777 WITH SCORE 27177.118
AT ITER 902 NEW BEST:: SOT 547259 SOS 396290 HAS SOPS 239405 HAS SOUS 48753 HAS SOUPS 26766 WITH SCORE 27162.29
AT ITER 909 NEW BEST:: SOT 547252 SOS 395751 HAS SOPS 238866 HAS SOUS 48746 HAS SOUPS 26759 WITH SCORE 27154.751
AT ITER 944 NEW BEST:: SOT 547202 SOS 395706 HAS SOPS 238866 HAS SOUS 48675 HAS SOUPS 26755 WITH SCORE 27150.706
AT ITER 954 NEW BEST:: SOT 547180 SOS 395376 HAS SOPS 238844 HAS SOUS 48613 HAS SOUPS 26715 WITH SCORE 27110.376
AT ITER 975 NEW BEST:: SOT 547161 SOS 395357 HAS SOPS 238844 HAS SOUS 48613 HAS SOUPS 26715 WITH SCORE 27110.357
AT ITER 976 NEW BEST:: SOT 547137 SOS 394988 HAS SOPS 238685 HAS SOUS 48580 HAS SOUPS 26697 WITH SCORE 27091.988
AT ITER 984 NEW BEST:: SOT 547109 SOS 395180 HAS SOPS 238769 HAS SOUS 48576 HAS SOUPS 26689 WITH SCORE 27084.18
AT ITER 994 NEW BEST:: SOT 547079 SOS 395120 HAS SOPS 238739 HAS SOUS 48544 HAS SOUPS 26687 WITH SCORE 27082.12
AT ITER 1000 NEW BEST:: SOT 547039 SOS 396279 HAS SOPS 239793 HAS SOUS 48516 HAS SOUPS 26659 WITH SCORE 27055.279
AT ITER 1012 NEW BEST:: SOT 547051 SOS 396051 HAS SOPS 239481 HAS SOUS 48461 HAS SOUPS 26599 WITH SCORE 26995.051
AT ITER 1039 NEW BEST:: SOT 547056 SOS 396061 HAS SOPS 239589 HAS SOUS 48452 HAS SOUPS 26597 WITH SCORE 26993.061
AT ITER 1050 NEW BEST:: SOT 547017 SOS 396865 HAS SOPS 239469 HAS SOUS 48497 HAS SOUPS 26576 WITH SCORE 26972.865
AT ITER 1053 NEW BEST:: SOT 546913 SOS 397068 HAS SOPS 239442 HAS SOUS 48361 HAS SOUPS 26517 WITH SCORE 26914.068
AT ITER 1058 NEW BEST:: SOT 546665 SOS 396534 HAS SOPS 239282 HAS SOUS 48333 HAS SOUPS 26511 WITH SCORE 26907.534
AT ITER 1059 NEW BEST:: SOT 546622 SOS 396343 HAS SOPS 239091 HAS SOUS 48281 HAS SOUPS 26459 WITH SCORE 26855.343
AT ITER 1063 NEW BEST:: SOT 546611 SOS 396341 HAS SOPS 239075 HAS SOUS 48269 HAS SOUPS 26447 WITH SCORE 26843.341
AT ITER 1087 NEW BEST:: SOT 546646 SOS 396370 HAS SOPS 239055 HAS SOUS 48144 HAS SOUPS 26372 WITH SCORE 26768.37
AT ITER 1093 NEW BEST:: SOT 546635 SOS 396723 HAS SOPS 239058 HAS SOUS 48130 HAS SOUPS 26333 WITH SCORE 26729.723
AT ITER 1098 NEW BEST:: SOT 546648 SOS 396877 HAS SOPS 239224 HAS SOUS 48119 HAS SOUPS 26322 WITH SCORE 26718.877
AT ITER 1113 NEW BEST:: SOT 546558 SOS 396757 HAS SOPS 239134 HAS SOUS 48050 HAS SOUPS 26287 WITH SCORE 26683.757
AT ITER 1127 NEW BEST:: SOT 546554 SOS 396634 HAS SOPS 239011 HAS SOUS 48043 HAS SOUPS 26280 WITH SCORE 26676.634
AT ITER 1129 NEW BEST:: SOT 546560 SOS 396642 HAS SOPS 239014 HAS SOUS 48039 HAS SOUPS 26276 WITH SCORE 26672.642
AT ITER 1133 NEW BEST:: SOT 546744 SOS 396872 HAS SOPS 239106 HAS SOUS 48000 HAS SOUPS 26237 WITH SCORE 26633.872
AT ITER 1169 NEW BEST:: SOT 546742 SOS 396870 HAS SOPS 239104 HAS SOUS 48000 HAS SOUPS 26237 WITH SCORE 26633.87
AT ITER 1194 NEW BEST:: SOT 546733 SOS 396852 HAS SOPS 239104 HAS SOUS 47991 HAS SOUPS 26237 WITH SCORE 26633.852
AT ITER 1202 NEW BEST:: SOT 546733 SOS 396805 HAS SOPS 239064 HAS SOUS 47938 HAS SOUPS 26206 WITH SCORE 26602.805
AT ITER 1249 NEW BEST:: SOT 546772 SOS 396142 HAS SOPS 238349 HAS SOUS 47938 HAS SOUPS 26206 WITH SCORE 26602.142
AT ITER 1252 NEW BEST:: SOT 546719 SOS 395836 HAS SOPS 238318 HAS SOUS 47908 HAS SOUPS 26201 WITH SCORE 26596.836
AT ITER 1255 NEW BEST:: SOT 546571 SOS 395553 HAS SOPS 238257 HAS SOUS 47834 HAS SOUPS 26188 WITH SCORE 26583.553
AT ITER 1310 NEW BEST:: SOT 546547 SOS 395523 HAS SOPS 238245 HAS SOUS 47829 HAS SOUPS 26186 WITH SCORE 26581.523
AT ITER 1331 NEW BEST:: SOT 546520 SOS 395469 HAS SOPS 238218 HAS SOUS 47775 HAS SOUPS 26159 WITH SCORE 26554.469
AT ITER 1338 NEW BEST:: SOT 546508 SOS 395450 HAS SOPS 238213 HAS SOUS 47763 HAS SOUPS 26154 WITH SCORE 26549.45
AT ITER 1344 NEW BEST:: SOT 546352 SOS 395333 HAS SOPS 238447 HAS SOUS 47166 HAS SOUPS 26091 WITH SCORE 26486.333
AT ITER 1360 NEW BEST:: SOT 546355 SOS 395342 HAS SOPS 238447 HAS SOUS 47163 HAS SOUPS 26088 WITH SCORE 26483.342
AT ITER 1407 NEW BEST:: SOT 546222 SOS 395089 HAS SOPS 238391 HAS SOUS 47094 HAS SOUPS 26075 WITH SCORE 26470.089
AT ITER 1446 NEW BEST:: SOT 546256 SOS 394749 HAS SOPS 238136 HAS SOUS 47060 HAS SOUPS 26041 WITH SCORE 26435.749
AT ITER 1448 NEW BEST:: SOT 546201 SOS 394674 HAS SOPS 238081 HAS SOUS 47011 HAS SOUPS 26016 WITH SCORE 26410.674
AT ITER 1461 NEW BEST:: SOT 546186 SOS 393684 HAS SOPS 237231 HAS SOUS 46996 HAS SOUPS 26011 WITH SCORE 26404.684
AT ITER 1485 NEW BEST:: SOT 546007 SOS 393396 HAS SOPS 236955 HAS SOUS 46952 HAS SOUPS 25967 WITH SCORE 26360.396
AT ITER 1516 NEW BEST:: SOT 545942 SOS 393286 HAS SOPS 236947 HAS SOUS 46947 HAS SOUPS 25962 WITH SCORE 26355.286
AT ITER 1530 NEW BEST:: SOT 545953 SOS 394124 HAS SOPS 237031 HAS SOUS 46948 HAS SOUPS 25928 WITH SCORE 26322.124
AT ITER 1532 NEW BEST:: SOT 545901 SOS 394020 HAS SOPS 237031 HAS SOUS 46896 HAS SOUPS 25928 WITH SCORE 26322.02
AT ITER 1534 NEW BEST:: SOT 545874 SOS 393948 HAS SOPS 237013 HAS SOUS 46878 HAS SOUPS 25919 WITH SCORE 26312.948
AT ITER 1541 NEW BEST:: SOT 545544 SOS 393618 HAS SOPS 235813 HAS SOUS 46670 HAS SOUPS 25279 WITH SCORE 25672.618
AT ITER 1558 NEW BEST:: SOT 545557 SOS 393631 HAS SOPS 235826 HAS SOUS 46657 HAS SOUPS 25266 WITH SCORE 25659.631
AT ITER 1563 NEW BEST:: SOT 545509 SOS 393583 HAS SOPS 235778 HAS SOUS 46657 HAS SOUPS 25266 WITH SCORE 25659.583
AT ITER 1565 NEW BEST:: SOT 544926 SOS 392411 HAS SOPS 235789 HAS SOUS 46448 HAS SOUPS 25252 WITH SCORE 25644.411
AT ITER 1593 NEW BEST:: SOT 544747 SOS 392728 HAS SOPS 236599 HAS SOUS 44893 HAS SOUPS 25072 WITH SCORE 25464.728
AT ITER 1624 NEW BEST:: SOT 544711 SOS 392576 HAS SOPS 236435 HAS SOUS 44863 HAS SOUPS 25042 WITH SCORE 25434.576
AT ITER 1682 NEW BEST:: SOT 544711 SOS 392576 HAS SOPS 236435 HAS SOUS 44855 HAS SOUPS 25034 WITH SCORE 25426.576
AT ITER 1703 NEW BEST:: SOT 544715 SOS 392532 HAS SOPS 236379 HAS SOUS 44855 HAS SOUPS 25030 WITH SCORE 25422.532
AT ITER 1735 NEW BEST:: SOT 544765 SOS 392628 HAS SOPS 236475 HAS SOUS 44846 HAS SOUPS 25021 WITH SCORE 25413.628
AT ITER 1742 NEW BEST:: SOT 544131 SOS 391403 HAS SOPS 235993 HAS SOUS 44825 HAS SOUPS 25000 WITH SCORE 25391.403
AT ITER 1746 NEW BEST:: SOT 544147 SOS 391411 HAS SOPS 236001 HAS SOUS 44801 HAS SOUPS 24976 WITH SCORE 25367.411
AT ITER 1755 NEW BEST:: SOT 544191 SOS 391499 HAS SOPS 236001 HAS SOUS 44837 HAS SOUPS 24971 WITH SCORE 25362.499
AT ITER 1760 NEW BEST:: SOT 544191 SOS 391483 HAS SOPS 236001 HAS SOUS 44821 HAS SOUPS 24971 WITH SCORE 25362.483
AT ITER 1770 NEW BEST:: SOT 544179 SOS 391455 HAS SOPS 235989 HAS SOUS 44793 HAS SOUPS 24959 WITH SCORE 25350.455
AT ITER 1790 NEW BEST:: SOT 544916 SOS 392862 HAS SOPS 236391 HAS SOUS 44779 HAS SOUPS 24905 WITH SCORE 25297.862
AT ITER 1794 NEW BEST:: SOT 544171 SOS 390927 HAS SOPS 235737 HAS SOUS 44734 HAS SOUPS 24883 WITH SCORE 25273.927
AT ITER 1795 NEW BEST:: SOT 544822 SOS 391688 HAS SOPS 236126 HAS SOUS 44725 HAS SOUPS 24874 WITH SCORE 25265.688
AT ITER 1800 NEW BEST:: SOT 544778 SOS 391622 HAS SOPS 236104 HAS SOUS 44681 HAS SOUPS 24852 WITH SCORE 25243.622
AT ITER 1804 NEW BEST:: SOT 545108 SOS 392557 HAS SOPS 236434 HAS SOUS 44626 HAS SOUPS 24742 WITH SCORE 25134.557
AT ITER 1813 NEW BEST:: SOT 545341 SOS 393158 HAS SOPS 236596 HAS SOUS 44562 HAS SOUPS 24688 WITH SCORE 25081.158
AT ITER 1840 NEW BEST:: SOT 545365 SOS 393238 HAS SOPS 236596 HAS SOUS 44574 HAS SOUPS 24684 WITH SCORE 25077.238
AT ITER 1889 NEW BEST:: SOT 544950 SOS 393718 HAS SOPS 236464 HAS SOUS 44289 HAS SOUPS 24552 WITH SCORE 24945.718
AT ITER 1894 NEW BEST:: SOT 544943 SOS 393088 HAS SOPS 235834 HAS SOUS 44289 HAS SOUPS 24552 WITH SCORE 24945.088
AT ITER 1909 NEW BEST:: SOT 544881 SOS 392964 HAS SOPS 235803 HAS SOUS 44258 HAS SOUPS 24552 WITH SCORE 24944.964
AT ITER 1924 NEW BEST:: SOT 544812 SOS 392470 HAS SOPS 235375 HAS SOUS 44221 HAS SOUPS 24515 WITH SCORE 24907.47
AT ITER 1943 NEW BEST:: SOT 544816 SOS 392451 HAS SOPS 235356 HAS SOUS 44216 HAS SOUPS 24510 WITH SCORE 24902.451
AT ITER 1951 NEW BEST:: SOT 544369 SOS 391557 HAS SOPS 235356 HAS SOUS 44068 HAS SOUPS 24510 WITH SCORE 24901.557
AT ITER 1956 NEW BEST:: SOT 544391 SOS 390652 HAS SOPS 234406 HAS SOUS 44063 HAS SOUPS 24505 WITH SCORE 24895.652
AT ITER 1957 NEW BEST:: SOT 544393 SOS 390401 HAS SOPS 234458 HAS SOUS 44012 HAS SOUPS 24505 WITH SCORE 24895.401
AT ITER 1990 NEW BEST:: SOT 544228 SOS 388041 HAS SOPS 232195 HAS SOUS 43787 HAS SOUPS 24280 WITH SCORE 24668.041
AT ITER 1998 NEW BEST:: SOT 544232 SOS 388045 HAS SOPS 232195 HAS SOUS 43768 HAS SOUPS 24273 WITH SCORE 24661.045
AT ITER 2053 NEW BEST:: SOT 544278 SOS 388137 HAS SOPS 232195 HAS SOUS 43806 HAS SOUPS 24268 WITH SCORE 24656.137
AT ITER 2058 NEW BEST:: SOT 544254 SOS 388073 HAS SOPS 232131 HAS SOUS 43802 HAS SOUPS 24264 WITH SCORE 24652.073
AT ITER 2069 NEW BEST:: SOT 544444 SOS 388267 HAS SOPS 232317 HAS SOUS 43791 HAS SOUPS 24252 WITH SCORE 24640.267
AT ITER 2083 NEW BEST:: SOT 544731 SOS 388590 HAS SOPS 232496 HAS SOUS 43682 HAS SOUPS 24179 WITH SCORE 24567.59
AT ITER 2093 NEW BEST:: SOT 544731 SOS 388590 HAS SOPS 232496 HAS SOUS 43655 HAS SOUPS 24164 WITH SCORE 24552.59
AT ITER 2102 NEW BEST:: SOT 544688 SOS 388496 HAS SOPS 232465 HAS SOUS 43613 HAS SOUPS 24149 WITH SCORE 24537.496
AT ITER 2189 NEW BEST:: SOT 544619 SOS 387167 HAS SOPS 232102 HAS SOUS 43496 HAS SOUPS 24101 WITH SCORE 24488.167
AT ITER 2204 NEW BEST:: SOT 544606 SOS 387155 HAS SOPS 232090 HAS SOUS 43481 HAS SOUPS 24086 WITH SCORE 24473.155
AT ITER 2220 NEW BEST:: SOT 544618 SOS 387185 HAS SOPS 232096 HAS SOUS 43478 HAS SOUPS 24080 WITH SCORE 24467.185
AT ITER 2235 NEW BEST:: SOT 544653 SOS 384805 HAS SOPS 230108 HAS SOUS 43443 HAS SOUPS 24073 WITH SCORE 24457.805
AT ITER 2237 NEW BEST:: SOT 544633 SOS 384790 HAS SOPS 230138 HAS SOUS 43363 HAS SOUPS 24063 WITH SCORE 24447.79
AT ITER 2281 NEW BEST:: SOT 544633 SOS 384856 HAS SOPS 230138 HAS SOUS 43357 HAS SOUPS 24057 WITH SCORE 24441.856
AT ITER 2292 NEW BEST:: SOT 544616 SOS 384839 HAS SOPS 230138 HAS SOUS 43357 HAS SOUPS 24057 WITH SCORE 24441.839
AT ITER 2299 NEW BEST:: SOT 544603 SOS 384631 HAS SOPS 230364 HAS SOUS 43306 HAS SOUPS 24037 WITH SCORE 24421.631
AT ITER 2302 NEW BEST:: SOT 544698 SOS 384866 HAS SOPS 230298 HAS SOUS 43384 HAS SOUPS 24030 WITH SCORE 24414.866
AT ITER 2312 NEW BEST:: SOT 544697 SOS 384865 HAS SOPS 230297 HAS SOUS 43383 HAS SOUPS 24029 WITH SCORE 24413.865
AT ITER 2328 NEW BEST:: SOT 544687 SOS 384850 HAS SOPS 230292 HAS SOUS 43373 HAS SOUPS 24024 WITH SCORE 24408.85
AT ITER 2337 NEW BEST:: SOT 545035 SOS 385198 HAS SOPS 230640 HAS SOUS 43313 HAS SOUPS 23984 WITH SCORE 24369.198
AT ITER 2360 NEW BEST:: SOT 544883 SOS 385084 HAS SOPS 230868 HAS SOUS 42840 HAS SOUPS 23983 WITH SCORE 24368.084
AT ITER 2370 NEW BEST:: SOT 544691 SOS 384779 HAS SOPS 230605 HAS SOUS 42838 HAS SOUPS 23970 WITH SCORE 24354.779
AT ITER 2375 NEW BEST:: SOT 544684 SOS 384744 HAS SOPS 230598 HAS SOUS 42803 HAS SOUPS 23963 WITH SCORE 24347.744
AT ITER 2379 NEW BEST:: SOT 544708 SOS 384704 HAS SOPS 230537 HAS SOUS 42776 HAS SOUPS 23936 WITH SCORE 24320.704
AT ITER 2402 NEW BEST:: SOT 544695 SOS 384684 HAS SOPS 230531 HAS SOUS 42763 HAS SOUPS 23930 WITH SCORE 24314.684
AT ITER 2404 NEW BEST:: SOT 544681 SOS 384600 HAS SOPS 230447 HAS SOUS 42732 HAS SOUPS 23899 WITH SCORE 24283.6
AT ITER 2417 NEW BEST:: SOT 544713 SOS 384408 HAS SOPS 230479 HAS SOUS 42716 HAS SOUPS 23899 WITH SCORE 24283.408
AT ITER 2428 NEW BEST:: SOT 544761 SOS 384472 HAS SOPS 230525 HAS SOUS 42700 HAS SOUPS 23883 WITH SCORE 24267.472
AT ITER 2443 NEW BEST:: SOT 544760 SOS 384470 HAS SOPS 230525 HAS SOUS 42699 HAS SOUPS 23883 WITH SCORE 24267.47
AT ITER 2450 NEW BEST:: SOT 544748 SOS 384371 HAS SOPS 230426 HAS SOUS 42699 HAS SOUPS 23883 WITH SCORE 24267.371
AT ITER 2459 NEW BEST:: SOT 544718 SOS 384311 HAS SOPS 230366 HAS SOUS 42699 HAS SOUPS 23883 WITH SCORE 24267.311
AT ITER 2465 NEW BEST:: SOT 544688 SOS 384200 HAS SOPS 230303 HAS SOUS 42693 HAS SOUPS 23880 WITH SCORE 24264.2
AT ITER 2467 NEW BEST:: SOT 544701 SOS 384200 HAS SOPS 230303 HAS SOUS 42689 HAS SOUPS 23876 WITH SCORE 24260.2
AT ITER 2502 NEW BEST:: SOT 544921 SOS 384647 HAS SOPS 230413 HAS SOUS 42792 HAS SOUPS 23869 WITH SCORE 24253.647
AT ITER 2525 NEW BEST:: SOT 546160 SOS 387850 HAS SOPS 231611 HAS SOUS 42264 HAS SOUPS 23846 WITH SCORE 24233.85
AT ITER 2530 NEW BEST:: SOT 546126 SOS 387810 HAS SOPS 231586 HAS SOUS 42263 HAS SOUPS 23845 WITH SCORE 24232.81
AT ITER 2535 NEW BEST:: SOT 546108 SOS 387288 HAS SOPS 231148 HAS SOUS 42248 HAS SOUPS 23836 WITH SCORE 24223.288
AT ITER 2589 NEW BEST:: SOT 546192 SOS 387537 HAS SOPS 231210 HAS SOUS 42247 HAS SOUPS 23835 WITH SCORE 24222.537
AT ITER 2593 NEW BEST:: SOT 546204 SOS 387908 HAS SOPS 230845 HAS SOUS 42242 HAS SOUPS 23798 WITH SCORE 24185.908
AT ITER 2606 NEW BEST:: SOT 545964 SOS 387716 HAS SOPS 230557 HAS SOUS 42290 HAS SOUPS 23798 WITH SCORE 24185.716
AT ITER 2629 NEW BEST:: SOT 546034 SOS 387890 HAS SOPS 230569 HAS SOUS 42296 HAS SOUPS 23775 WITH SCORE 24162.89
AT ITER 2664 NEW BEST:: SOT 545763 SOS 387661 HAS SOPS 230321 HAS SOUS 42252 HAS SOUPS 23709 WITH SCORE 24096.661
AT ITER 2683 NEW BEST:: SOT 545928 SOS 386515 HAS SOPS 230393 HAS SOUS 42166 HAS SOUPS 23710 WITH SCORE 24096.515
AT ITER 2704 NEW BEST:: SOT 545920 SOS 385071 HAS SOPS 229845 HAS SOUS 42082 HAS SOUPS 23690 WITH SCORE 24075.071
AT ITER 2745 NEW BEST:: SOT 545920 SOS 385071 HAS SOPS 229845 HAS SOUS 41992 HAS SOUPS 23640 WITH SCORE 24025.071
AT ITER 2761 NEW BEST:: SOT 545791 SOS 384918 HAS SOPS 229767 HAS SOUS 41992 HAS SOUPS 23640 WITH SCORE 24024.918
AT ITER 2781 NEW BEST:: SOT 545763 SOS 384202 HAS SOPS 229643 HAS SOUS 41952 HAS SOUPS 23632 WITH SCORE 24016.202
AT ITER 2783 NEW BEST:: SOT 545711 SOS 384163 HAS SOPS 229721 HAS SOUS 41744 HAS SOUPS 23606 WITH SCORE 23990.163
AT ITER 2784 NEW BEST:: SOT 545682 SOS 384090 HAS SOPS 229692 HAS SOUS 41715 HAS SOUPS 23599 WITH SCORE 23983.09
AT ITER 2797 NEW BEST:: SOT 545680 SOS 384088 HAS SOPS 229690 HAS SOUS 41713 HAS SOUPS 23597 WITH SCORE 23981.088
AT ITER 2804 NEW BEST:: SOT 545670 SOS 384078 HAS SOPS 229690 HAS SOUS 41713 HAS SOUPS 23597 WITH SCORE 23981.078
AT ITER 2808 NEW BEST:: SOT 545648 SOS 384045 HAS SOPS 229690 HAS SOUS 41702 HAS SOUPS 23597 WITH SCORE 23981.045
AT ITER 2811 NEW BEST:: SOT 544694 SOS 381484 HAS SOPS 228973 HAS SOUS 41644 HAS SOUPS 23580 WITH SCORE 23961.484
AT ITER 2815 NEW BEST:: SOT 544432 SOS 381224 HAS SOPS 228837 HAS SOUS 41667 HAS SOUPS 23572 WITH SCORE 23953.224
AT ITER 2857 NEW BEST:: SOT 544406 SOS 381185 HAS SOPS 228900 HAS SOUS 41622 HAS SOUPS 23561 WITH SCORE 23942.185
AT ITER 2861 NEW BEST:: SOT 544397 SOS 381041 HAS SOPS 228882 HAS SOUS 41613 HAS SOUPS 23561 WITH SCORE 23942.041
AT ITER 2870 NEW BEST:: SOT 544305 SOS 380859 HAS SOPS 228836 HAS SOUS 41565 HAS SOUPS 23559 WITH SCORE 23939.859
AT ITER 2883 NEW BEST:: SOT 544297 SOS 380863 HAS SOPS 228820 HAS SOUS 41553 HAS SOUPS 23551 WITH SCORE 23931.863
AT ITER 2907 NEW BEST:: SOT 544111 SOS 380491 HAS SOPS 228820 HAS SOUS 41487 HAS SOUPS 23551 WITH SCORE 23931.491
AT ITER 2927 NEW BEST:: SOT 544085 SOS 380465 HAS SOPS 228820 HAS SOUS 41487 HAS SOUPS 23551 WITH SCORE 23931.465
AT ITER 2932 NEW BEST:: SOT 544045 SOS 380401 HAS SOPS 228788 HAS SOUS 41471 HAS SOUPS 23543 WITH SCORE 23923.401
AT ITER 2943 NEW BEST:: SOT 544003 SOS 380359 HAS SOPS 228788 HAS SOUS 41471 HAS SOUPS 23543 WITH SCORE 23923.359
AT ITER 3083 NEW BEST:: SOT 543984 SOS 380209 HAS SOPS 228638 HAS SOUS 41446 HAS SOUPS 23518 WITH SCORE 23898.209
AT ITER 3120 NEW BEST:: SOT 543981 SOS 380188 HAS SOPS 228601 HAS SOUS 41427 HAS SOUPS 23517 WITH SCORE 23897.188
AT ITER 3151 NEW BEST:: SOT 543939 SOS 380274 HAS SOPS 228576 HAS SOUS 41379 HAS SOUPS 23447 WITH SCORE 23827.274
AT ITER 3154 NEW BEST:: SOT 543930 SOS 379995 HAS SOPS 228339 HAS SOUS 41364 HAS SOUPS 23435 WITH SCORE 23814.995
AT ITER 3156 NEW BEST:: SOT 543877 SOS 379944 HAS SOPS 228288 HAS SOUS 41355 HAS SOUPS 23426 WITH SCORE 23805.944
AT ITER 3244 NEW BEST:: SOT 543821 SOS 379622 HAS SOPS 227392 HAS SOUS 41381 HAS SOUPS 23411 WITH SCORE 23790.622
AT ITER 3260 NEW BEST:: SOT 543828 SOS 379524 HAS SOPS 227392 HAS SOUS 41374 HAS SOUPS 23411 WITH SCORE 23790.524
AT ITER 3263 NEW BEST:: SOT 543829 SOS 379610 HAS SOPS 227562 HAS SOUS 41365 HAS SOUPS 23408 WITH SCORE 23787.61
AT ITER 3282 NEW BEST:: SOT 543825 SOS 379558 HAS SOPS 227554 HAS SOUS 41361 HAS SOUPS 23404 WITH SCORE 23783.558
AT ITER 3317 NEW BEST:: SOT 543775 SOS 379508 HAS SOPS 227554 HAS SOUS 41339 HAS SOUPS 23382 WITH SCORE 23761.508
AT ITER 3325 NEW BEST:: SOT 543765 SOS 379859 HAS SOPS 227681 HAS SOUS 41343 HAS SOUPS 23379 WITH SCORE 23758.859
AT ITER 3352 NEW BEST:: SOT 543739 SOS 380487 HAS SOPS 228221 HAS SOUS 41358 HAS SOUPS 23363 WITH SCORE 23743.487
AT ITER 3368 NEW BEST:: SOT 543731 SOS 380479 HAS SOPS 228221 HAS SOUS 41358 HAS SOUPS 23363 WITH SCORE 23743.479
AT ITER 3379 NEW BEST:: SOT 543669 SOS 380323 HAS SOPS 228166 HAS SOUS 41330 HAS SOUPS 23354 WITH SCORE 23734.323
AT ITER 3399 NEW BEST:: SOT 543673 SOS 380151 HAS SOPS 227994 HAS SOUS 41326 HAS SOUPS 23350 WITH SCORE 23730.151
AT ITER 3405 NEW BEST:: SOT 543673 SOS 380053 HAS SOPS 227896 HAS SOUS 41326 HAS SOUPS 23350 WITH SCORE 23730.053
AT ITER 3408 NEW BEST:: SOT 543673 SOS 379820 HAS SOPS 227863 HAS SOUS 41307 HAS SOUPS 23317 WITH SCORE 23696.82
AT ITER 3414 NEW BEST:: SOT 543673 SOS 379820 HAS SOPS 227863 HAS SOUS 41271 HAS SOUPS 23297 WITH SCORE 23676.82
AT ITER 3421 NEW BEST:: SOT 543637 SOS 379784 HAS SOPS 227827 HAS SOUS 41253 HAS SOUPS 23287 WITH SCORE 23666.784
AT ITER 3438 NEW BEST:: SOT 543631 SOS 379773 HAS SOPS 227826 HAS SOUS 41247 HAS SOUPS 23286 WITH SCORE 23665.773
AT ITER 3453 NEW BEST:: SOT 543586 SOS 380388 HAS SOPS 228441 HAS SOUS 41232 HAS SOUPS 23271 WITH SCORE 23651.388
AT ITER 3465 NEW BEST:: SOT 543538 SOS 379789 HAS SOPS 228304 HAS SOUS 41194 HAS SOUPS 23266 WITH SCORE 23645.789
AT ITER 3468 NEW BEST:: SOT 543522 SOS 379757 HAS SOPS 228304 HAS SOUS 41178 HAS SOUPS 23266 WITH SCORE 23645.757
AT ITER 3522 NEW BEST:: SOT 542103 SOS 378209 HAS SOPS 227014 HAS SOUS 41098 HAS SOUPS 23262 WITH SCORE 23640.209
AT ITER 3530 NEW BEST:: SOT 541920 SOS 376459 HAS SOPS 225616 HAS SOUS 41056 HAS SOUPS 23226 WITH SCORE 23602.459
AT ITER 3539 NEW BEST:: SOT 541909 SOS 376530 HAS SOPS 225664 HAS SOUS 41035 HAS SOUPS 23214 WITH SCORE 23590.53
AT ITER 3550 NEW BEST:: SOT 541813 SOS 376418 HAS SOPS 225600 HAS SOUS 41035 HAS SOUPS 23214 WITH SCORE 23590.418
AT ITER 3587 NEW BEST:: SOT 541808 SOS 376338 HAS SOPS 225590 HAS SOUS 41028 HAS SOUPS 23212 WITH SCORE 23588.338
AT ITER 3593 NEW BEST:: SOT 541799 SOS 371874 HAS SOPS 221150 HAS SOUS 40996 HAS SOUPS 23192 WITH SCORE 23563.874
AT ITER 3654 NEW BEST:: SOT 542101 SOS 372478 HAS SOPS 221348 HAS SOUS 40979 HAS SOUPS 23164 WITH SCORE 23536.478
AT ITER 3659 NEW BEST:: SOT 542101 SOS 372478 HAS SOPS 221348 HAS SOUS 40976 HAS SOUPS 23161 WITH SCORE 23533.478
AT ITER 3670 NEW BEST:: SOT 542104 SOS 372360 HAS SOPS 221230 HAS SOUS 40959 HAS SOUPS 23144 WITH SCORE 23516.36
AT ITER 3675 NEW BEST:: SOT 542044 SOS 372300 HAS SOPS 221170 HAS SOUS 40959 HAS SOUPS 23144 WITH SCORE 23516.3
AT ITER 3699 NEW BEST:: SOT 541960 SOS 371990 HAS SOPS 221052 HAS SOUS 40890 HAS SOUPS 23134 WITH SCORE 23505.99
AT ITER 3751 NEW BEST:: SOT 542040 SOS 372276 HAS SOPS 221052 HAS SOUS 40864 HAS SOUPS 23102 WITH SCORE 23474.276
AT ITER 3759 NEW BEST:: SOT 541196 SOS 370517 HAS SOPS 219617 HAS SOUS 40886 HAS SOUPS 23098 WITH SCORE 23468.517
AT ITER 3774 NEW BEST:: SOT 541742 SOS 371063 HAS SOPS 220163 HAS SOUS 40883 HAS SOUPS 23096 WITH SCORE 23467.063
AT ITER 3812 NEW BEST:: SOT 542132 SOS 371804 HAS SOPS 220358 HAS SOUS 40805 HAS SOUPS 23018 WITH SCORE 23389.804
AT ITER 3821 NEW BEST:: SOT 542030 SOS 371702 HAS SOPS 220256 HAS SOUS 40805 HAS SOUPS 23018 WITH SCORE 23389.702
AT ITER 3862 NEW BEST:: SOT 542023 SOS 371590 HAS SOPS 220046 HAS SOUS 40805 HAS SOUPS 23011 WITH SCORE 23382.59
AT ITER 3864 NEW BEST:: SOT 541999 SOS 371532 HAS SOPS 220031 HAS SOUS 40803 HAS SOUPS 23009 WITH SCORE 23380.532
AT ITER 3868 NEW BEST:: SOT 540617 SOS 366775 HAS SOPS 217906 HAS SOUS 40671 HAS SOUPS 22993 WITH SCORE 23359.775
AT ITER 3886 NEW BEST:: SOT 540889 SOS 367594 HAS SOPS 218145 HAS SOUS 40722 HAS SOUPS 22959 WITH SCORE 23326.594
AT ITER 3915 NEW BEST:: SOT 540874 SOS 367499 HAS SOPS 217990 HAS SOUS 40717 HAS SOUPS 22949 WITH SCORE 23316.499
AT ITER 3941 NEW BEST:: SOT 540906 SOS 367746 HAS SOPS 218057 HAS SOUS 40720 HAS SOUPS 22947 WITH SCORE 23314.746
AT ITER 3985 NEW BEST:: SOT 540915 SOS 368066 HAS SOPS 218201 HAS SOUS 40717 HAS SOUPS 22944 WITH SCORE 23312.066
AT ITER 4038 NEW BEST:: SOT 540927 SOS 368078 HAS SOPS 218213 HAS SOUS 40714 HAS SOUPS 22942 WITH SCORE 23310.078
AT ITER 4041 NEW BEST:: SOT 539891 SOS 367042 HAS SOPS 217917 HAS SOUS 40388 HAS SOUPS 22828 WITH SCORE 23195.042
AT ITER 4046 NEW BEST:: SOT 539875 SOS 367010 HAS SOPS 217915 HAS SOUS 40380 HAS SOUPS 22825 WITH SCORE 23192.01
AT ITER 4106 NEW BEST:: SOT 539861 SOS 366983 HAS SOPS 217908 HAS SOUS 40354 HAS SOUPS 22814 WITH SCORE 23180.983
AT ITER 4122 NEW BEST:: SOT 539659 SOS 366724 HAS SOPS 217580 HAS SOUS 40367 HAS SOUPS 22793 WITH SCORE 23159.724
AT ITER 4134 NEW BEST:: SOT 539686 SOS 366751 HAS SOPS 217580 HAS SOUS 40359 HAS SOUPS 22788 WITH SCORE 23154.751
AT ITER 4139 NEW BEST:: SOT 539062 SOS 365254 HAS SOPS 217180 HAS SOUS 40254 HAS SOUPS 22742 WITH SCORE 23107.254
AT ITER 4163 NEW BEST:: SOT 538463 SOS 364056 HAS SOPS 217180 HAS SOUS 40062 HAS SOUPS 22742 WITH SCORE 23106.056
AT ITER 4182 NEW BEST:: SOT 538371 SOS 364542 HAS SOPS 217369 HAS SOUS 40047 HAS SOUPS 22740 WITH SCORE 23104.542
AT ITER 4184 NEW BEST:: SOT 538502 SOS 364672 HAS SOPS 217406 HAS SOUS 40023 HAS SOUPS 22717 WITH SCORE 23081.672
AT ITER 4196 NEW BEST:: SOT 539051 SOS 366050 HAS SOPS 217778 HAS SOUS 40051 HAS SOUPS 22701 WITH SCORE 23067.05
AT ITER 4212 NEW BEST:: SOT 539046 SOS 366033 HAS SOPS 217761 HAS SOUS 40049 HAS SOUPS 22699 WITH SCORE 23065.033
AT ITER 4222 NEW BEST:: SOT 539038 SOS 366015 HAS SOPS 217753 HAS SOUS 40049 HAS SOUPS 22699 WITH SCORE 23065.015
AT ITER 4225 NEW BEST:: SOT 539347 SOS 366375 HAS SOPS 218011 HAS SOUS 40073 HAS SOUPS 22697 WITH SCORE 23063.375
AT ITER 4243 NEW BEST:: SOT 539325 SOS 366353 HAS SOPS 218011 HAS SOUS 40073 HAS SOUPS 22697 WITH SCORE 23063.353
AT ITER 4260 NEW BEST:: SOT 539314 SOS 366342 HAS SOPS 218011 HAS SOUS 40073 HAS SOUPS 22697 WITH SCORE 23063.342
AT ITER 4265 NEW BEST:: SOT 539093 SOS 365057 HAS SOPS 217428 HAS SOUS 40032 HAS SOUPS 22674 WITH SCORE 23039.057
AT ITER 4306 NEW BEST:: SOT 539066 SOS 364952 HAS SOPS 217365 HAS SOUS 40026 HAS SOUPS 22668 WITH SCORE 23032.952
AT ITER 4317 NEW BEST:: SOT 539045 SOS 364718 HAS SOPS 217355 HAS SOUS 39981 HAS SOUPS 22639 WITH SCORE 23003.718
AT ITER 4324 NEW BEST:: SOT 539326 SOS 365030 HAS SOPS 217517 HAS SOUS 39928 HAS SOUPS 22586 WITH SCORE 22951.03
AT ITER 4339 NEW BEST:: SOT 539356 SOS 364276 HAS SOPS 216863 HAS SOUS 39902 HAS SOUPS 22570 WITH SCORE 22934.276
AT ITER 4355 NEW BEST:: SOT 539355 SOS 364275 HAS SOPS 216862 HAS SOUS 39901 HAS SOUPS 22569 WITH SCORE 22933.275
AT ITER 4410 NEW BEST:: SOT 539350 SOS 364265 HAS SOPS 216862 HAS SOUS 39896 HAS SOUPS 22569 WITH SCORE 22933.265
AT ITER 4418 NEW BEST:: SOT 539329 SOS 364223 HAS SOPS 216862 HAS SOUS 39875 HAS SOUPS 22569 WITH SCORE 22933.223
AT ITER 4432 NEW BEST:: SOT 539354 SOS 364248 HAS SOPS 216855 HAS SOUS 39868 HAS SOUPS 22562 WITH SCORE 22926.248
AT ITER 4448 NEW BEST:: SOT 539387 SOS 364326 HAS SOPS 216873 HAS SOUS 39865 HAS SOUPS 22556 WITH SCORE 22920.326
AT ITER 4462 NEW BEST:: SOT 539447 SOS 364266 HAS SOPS 216813 HAS SOUS 39857 HAS SOUPS 22548 WITH SCORE 22912.266
AT ITER 4490 NEW BEST:: SOT 539531 SOS 364350 HAS SOPS 216897 HAS SOUS 39845 HAS SOUPS 22540 WITH SCORE 22904.35
AT ITER 4511 NEW BEST:: SOT 539571 SOS 364455 HAS SOPS 216927 HAS SOUS 39830 HAS SOUPS 22530 WITH SCORE 22894.455
AT ITER 4563 NEW BEST:: SOT 539528 SOS 364412 HAS SOPS 216927 HAS SOUS 39830 HAS SOUPS 22530 WITH SCORE 22894.412
AT ITER 4609 NEW BEST:: SOT 539528 SOS 364396 HAS SOPS 216911 HAS SOUS 39830 HAS SOUPS 22530 WITH SCORE 22894.396
AT ITER 4638 NEW BEST:: SOT 539362 SOS 364383 HAS SOPS 216911 HAS SOUS 39507 HAS SOUPS 22472 WITH SCORE 22836.383
AT ITER 4680 NEW BEST:: SOT 539564 SOS 364875 HAS SOPS 217033 HAS SOUS 39503 HAS SOUPS 22447 WITH SCORE 22811.875
AT ITER 4683 NEW BEST:: SOT 539218 SOS 364410 HAS SOPS 216753 HAS SOUS 39494 HAS SOUPS 22438 WITH SCORE 22802.41
AT ITER 4691 NEW BEST:: SOT 539188 SOS 364365 HAS SOPS 216738 HAS SOUS 39464 HAS SOUPS 22423 WITH SCORE 22787.365
AT ITER 4726 NEW BEST:: SOT 539188 SOS 364365 HAS SOPS 216738 HAS SOUS 39443 HAS SOUPS 22409 WITH SCORE 22773.365
AT ITER 4728 NEW BEST:: SOT 539245 SOS 364518 HAS SOPS 216779 HAS SOUS 39423 HAS SOUPS 22405 WITH SCORE 22769.518
AT ITER 4738 NEW BEST:: SOT 539242 SOS 364516 HAS SOPS 216775 HAS SOUS 39420 HAS SOUPS 22401 WITH SCORE 22765.516
AT ITER 4758 NEW BEST:: SOT 539227 SOS 364501 HAS SOPS 216775 HAS SOUS 39393 HAS SOUPS 22386 WITH SCORE 22750.501
AT ITER 4760 NEW BEST:: SOT 539226 SOS 364497 HAS SOPS 216771 HAS SOUS 39386 HAS SOUPS 22379 WITH SCORE 22743.497
AT ITER 4787 NEW BEST:: SOT 539229 SOS 364500 HAS SOPS 216774 HAS SOUS 39371 HAS SOUPS 22364 WITH SCORE 22728.5
AT ITER 4803 NEW BEST:: SOT 539228 SOS 364484 HAS SOPS 216758 HAS SOUS 39369 HAS SOUPS 22362 WITH SCORE 22726.484
AT ITER 4809 NEW BEST:: SOT 539227 SOS 364242 HAS SOPS 216740 HAS SOUS 39352 HAS SOUPS 22361 WITH SCORE 22725.242
AT ITER 4814 NEW BEST:: SOT 539216 SOS 364155 HAS SOPS 216654 HAS SOUS 39349 HAS SOUPS 22358 WITH SCORE 22722.155
AT ITER 4819 NEW BEST:: SOT 539708 SOS 364647 HAS SOPS 217146 HAS SOUS 39319 HAS SOUPS 22338 WITH SCORE 22702.647
AT ITER 4836 NEW BEST:: SOT 539656 SOS 364753 HAS SOPS 217341 HAS SOUS 39302 HAS SOUPS 22323 WITH SCORE 22687.753
AT ITER 4859 NEW BEST:: SOT 539656 SOS 364814 HAS SOPS 217343 HAS SOUS 39298 HAS SOUPS 22304 WITH SCORE 22668.814
AT ITER 4917 NEW BEST:: SOT 539906 SOS 365217 HAS SOPS 217670 HAS SOUS 39280 HAS SOUPS 22301 WITH SCORE 22666.217
AT ITER 4927 NEW BEST:: SOT 539876 SOS 365622 HAS SOPS 218075 HAS SOUS 39265 HAS SOUPS 22286 WITH SCORE 22651.622
AT ITER 4933 NEW BEST:: SOT 539423 SOS 365182 HAS SOPS 217897 HAS SOUS 39274 HAS SOUPS 22282 WITH SCORE 22647.182
AT ITER 4949 NEW BEST:: SOT 538928 SOS 364012 HAS SOPS 217582 HAS SOUS 39229 HAS SOUPS 22282 WITH SCORE 22646.012
AT ITER 4957 NEW BEST:: SOT 538931 SOS 364015 HAS SOPS 217574 HAS SOUS 39221 HAS SOUPS 22274 WITH SCORE 22638.015
AT ITER 4962 NEW BEST:: SOT 538902 SOS 363566 HAS SOPS 217531 HAS SOUS 39181 HAS SOUPS 22263 WITH SCORE 22626.566
AT ITER 4971 NEW BEST:: SOT 538888 SOS 363524 HAS SOPS 217517 HAS SOUS 39167 HAS SOUPS 22263 WITH SCORE 22626.524
AT ITER 4977 NEW BEST:: SOT 539530 SOS 364721 HAS SOPS 218552 HAS SOUS 39104 HAS SOUPS 22244 WITH SCORE 22608.721
AT ITER 4995 NEW BEST:: SOT 539083 SOS 364180 HAS SOPS 218246 HAS SOUS 39050 HAS SOUPS 22190 WITH SCORE 22554.18
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-10a-CTLCardinality-00 ( (EF(( ( potential( (tk(P123)) <= (tk(P173)) ) | potential( ( 3 ) <= (tk(P336)) ) ) | ( potential( (tk(P157)) <= (tk(P250)) ) & potential( ( 2 ) <= (tk(P128)) ) ) ))) & (! (! (AG( potential( (tk(P147)) <= (tk(P183)) ))))) )
PROPERTY: DLCround-PT-10a-CTLCardinality-01 (EU( ( ( potential( ( 3 ) <= (tk(P102)) ) & potential( (tk(P307)) <= (tk(P313)) ) ) | potential( (tk(P191)) <= (tk(P267)) ) ),potential( ( 3 ) <= (tk(P23)) ) ))
PROPERTY: DLCround-PT-10a-CTLCardinality-02 (AG( (EX( ( potential( ( 2 ) <= (tk(P110)) ) | potential( ( 1 ) <= (tk(P250)) ) )))))
PROPERTY: DLCround-PT-10a-CTLCardinality-03 (AG( ( (AF(potential( (tk(P52)) <= (tk(P160)) ))) | potential( ( 3 ) <= (tk(P310)) ) )))
PROPERTY: DLCround-PT-10a-CTLCardinality-04 (AG( ( (! ( potential( ( 3 ) <= (tk(P124)) ) & potential( (tk(P278)) <= (tk(P73)) ) )) | (AX( potential( (tk(P63)) <= (tk(P129)) ))) )))
PROPERTY: DLCround-PT-10a-CTLCardinality-05 ( (! (AG( ( potential( (tk(P141)) <= (tk(P165)) ) & potential( (tk(P91)) <= (tk(P332)) ) )))) | ( potential( ( 3 ) <= (tk(P129)) ) | (EG( (! potential( (tk(P216)) <= (tk(P255)) )))) ) )
PROPERTY: DLCround-PT-10a-CTLCardinality-06 ( (EF((AG( potential( (tk(P123)) <= (tk(P135)) ))))) | ( ( ( potential( (tk(P191)) <= (tk(P83)) ) | ( potential( ( 2 ) <= (tk(P200)) ) & potential( (tk(P137)) <= (tk(P42)) ) ) ) & ( ( potential( ( 3 ) <= (tk(P121)) ) | potential( ( 3 ) <= (tk(P90)) ) ) & potential( ( 1 ) <= (tk(P293)) ) ) ) | potential( ( 2 ) <= (tk(P117)) ) ) )
PROPERTY: DLCround-PT-10a-CTLCardinality-07 (EF((AG( ( potential( ( 2 ) <= (tk(P227)) ) | potential( ( 1 ) <= (tk(P305)) ) )))))
PROPERTY: DLCround-PT-10a-CTLCardinality-08 (AG( ( (EG( potential( ( 2 ) <= (tk(P3)) ))) | (EX( potential( ( 1 ) <= (tk(P257)) ))) )))
PROPERTY: DLCround-PT-10a-CTLCardinality-09 (EF((EU( potential( ( 3 ) <= (tk(P202)) ),potential( ( 2 ) <= (tk(P256)) ) ))))
PROPERTY: DLCround-PT-10a-CTLCardinality-10 (! (! ( (EF(potential( ( 2 ) <= (tk(P101)) ))) | (! ( potential( (tk(P135)) <= (tk(P38)) ) | potential( (tk(P251)) <= (tk(P55)) ) )) )))
PROPERTY: DLCround-PT-10a-CTLCardinality-11 ( (AF((AX( potential( ( 2 ) <= (tk(P92)) ))))) | (AG( potential( (tk(P263)) <= (tk(P211)) ))) )
PROPERTY: DLCround-PT-10a-CTLCardinality-12 ( (AX( potential( (tk(P274)) <= (tk(P83)) ))) | (EU( ( potential( (tk(P28)) <= (tk(P143)) ) & potential( (tk(P92)) <= (tk(P262)) ) ),(! potential( (tk(P6)) <= (tk(P203)) )) )) )
PROPERTY: DLCround-PT-10a-CTLCardinality-13 (EF((! (! (! potential( (tk(P232)) <= (tk(P260)) ))))))
PROPERTY: DLCround-PT-10a-CTLCardinality-14 (EF(potential( ( 2 ) <= (tk(P73)) )))
PROPERTY: DLCround-PT-10a-CTLCardinality-15 (! ( (! (EF(potential( ( 2 ) <= (tk(P265)) )))) & (AF(( potential( ( 3 ) <= (tk(P131)) ) | potential( ( 1 ) <= (tk(P99)) ) ))) ))

BK_STOP 1589130889305

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 483 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-10a"
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-10a, 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-158902542400563"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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