Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502700320.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 Railroad-PT-050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502700320
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 4.1K Apr 12 08:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 08:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 11 09:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 09:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 10 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 9 21:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 21:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 1.4M Mar 24 05:38 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589824028739

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Railroad (PT), instance 050
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 518 places, 2756 transitions, 16378 arcs.
AT ITER 0 NEW BEST:: SOT 439031 SOS 346384 HAS SOPS 344095 HAS SOUS 205894 HAS SOUPS 205843 WITH SCORE 206189.384
AT ITER 12 NEW BEST:: SOT 440631 SOS 346979 HAS SOPS 343547 HAS SOUS 205271 HAS SOUPS 205220 WITH SCORE 205566.979
AT ITER 28 NEW BEST:: SOT 439223 SOS 345591 HAS SOPS 342156 HAS SOUS 203854 HAS SOUPS 203803 WITH SCORE 204148.591
AT ITER 29 NEW BEST:: SOT 437321 SOS 342122 HAS SOPS 337543 HAS SOUS 199667 HAS SOUPS 199616 WITH SCORE 199958.122
AT ITER 82 NEW BEST:: SOT 436526 SOS 341333 HAS SOPS 336750 HAS SOUS 198861 HAS SOUPS 198810 WITH SCORE 199151.333
AT ITER 103 NEW BEST:: SOT 435226 SOS 340215 HAS SOPS 335632 HAS SOUS 196343 HAS SOUPS 196292 WITH SCORE 196632.215
AT ITER 107 NEW BEST:: SOT 435226 SOS 340214 HAS SOPS 335631 HAS SOUS 196342 HAS SOUPS 196291 WITH SCORE 196631.214
AT ITER 109 NEW BEST:: SOT 435195 SOS 340190 HAS SOPS 335607 HAS SOUS 196318 HAS SOUPS 196267 WITH SCORE 196607.19
AT ITER 114 NEW BEST:: SOT 435103 SOS 340105 HAS SOPS 335522 HAS SOUS 196233 HAS SOUPS 196182 WITH SCORE 196522.105
AT ITER 116 NEW BEST:: SOT 437677 SOS 340588 HAS SOPS 334860 HAS SOUS 196213 HAS SOUPS 196162 WITH SCORE 196502.588
AT ITER 124 NEW BEST:: SOT 437645 SOS 340524 HAS SOPS 334796 HAS SOUS 196149 HAS SOUPS 196098 WITH SCORE 196438.524
AT ITER 155 NEW BEST:: SOT 436608 SOS 339514 HAS SOPS 333781 HAS SOUS 195126 HAS SOUPS 195075 WITH SCORE 195414.514
AT ITER 162 NEW BEST:: SOT 436608 SOS 339592 HAS SOPS 333859 HAS SOUS 195099 HAS SOUPS 195048 WITH SCORE 195387.592
AT ITER 192 NEW BEST:: SOT 435190 SOS 335954 HAS SOPS 329075 HAS SOUS 191785 HAS SOUPS 191734 WITH SCORE 192069.954
AT ITER 197 NEW BEST:: SOT 435289 SOS 336053 HAS SOPS 329038 HAS SOUS 190970 HAS SOUPS 190915 WITH SCORE 191251.053
AT ITER 205 NEW BEST:: SOT 435221 SOS 336027 HAS SOPS 329012 HAS SOUS 190944 HAS SOUPS 190889 WITH SCORE 191225.027
AT ITER 206 NEW BEST:: SOT 437021 SOS 337041 HAS SOPS 328857 HAS SOUS 188771 HAS SOUPS 188716 WITH SCORE 189053.041
AT ITER 210 NEW BEST:: SOT 437021 SOS 337041 HAS SOPS 328857 HAS SOUS 188737 HAS SOUPS 188682 WITH SCORE 189019.041
AT ITER 217 NEW BEST:: SOT 436993 SOS 337013 HAS SOPS 328829 HAS SOUS 188709 HAS SOUPS 188654 WITH SCORE 188991.013
AT ITER 235 NEW BEST:: SOT 436993 SOS 336923 HAS SOPS 328739 HAS SOUS 188668 HAS SOUPS 188613 WITH SCORE 188949.923
AT ITER 236 NEW BEST:: SOT 436932 SOS 336920 HAS SOPS 328736 HAS SOUS 188665 HAS SOUPS 188610 WITH SCORE 188946.92
AT ITER 237 NEW BEST:: SOT 437282 SOS 336732 HAS SOPS 327379 HAS SOUS 185105 HAS SOUPS 185050 WITH SCORE 185386.732
AT ITER 242 NEW BEST:: SOT 437182 SOS 336683 HAS SOPS 327330 HAS SOUS 185056 HAS SOUPS 185001 WITH SCORE 185337.683
AT ITER 267 NEW BEST:: SOT 436914 SOS 336433 HAS SOPS 327072 HAS SOUS 184765 HAS SOUPS 184710 WITH SCORE 185046.433
AT ITER 273 NEW BEST:: SOT 436899 SOS 336418 HAS SOPS 327057 HAS SOUS 184750 HAS SOUPS 184695 WITH SCORE 185031.418
AT ITER 275 NEW BEST:: SOT 436898 SOS 336417 HAS SOPS 327056 HAS SOUS 184749 HAS SOUPS 184694 WITH SCORE 185030.417
AT ITER 276 NEW BEST:: SOT 436833 SOS 336344 HAS SOPS 326983 HAS SOUS 184676 HAS SOUPS 184621 WITH SCORE 184957.344
AT ITER 279 NEW BEST:: SOT 436833 SOS 335294 HAS SOPS 325933 HAS SOUS 184655 HAS SOUPS 184600 WITH SCORE 184935.294
AT ITER 286 NEW BEST:: SOT 435449 SOS 331236 HAS SOPS 320705 HAS SOUS 181263 HAS SOUPS 181208 WITH SCORE 181539.236
AT ITER 293 NEW BEST:: SOT 433981 SOS 328706 HAS SOPS 317005 HAS SOUS 177792 HAS SOUPS 177737 WITH SCORE 178065.706
AT ITER 299 NEW BEST:: SOT 433967 SOS 328692 HAS SOPS 316991 HAS SOUS 177778 HAS SOUPS 177723 WITH SCORE 178051.692
AT ITER 328 NEW BEST:: SOT 433667 SOS 328392 HAS SOPS 316691 HAS SOUS 177478 HAS SOUPS 177423 WITH SCORE 177751.392
AT ITER 331 NEW BEST:: SOT 433667 SOS 327592 HAS SOPS 315891 HAS SOUS 177462 HAS SOUPS 177407 WITH SCORE 177734.592
AT ITER 339 NEW BEST:: SOT 435729 SOS 327685 HAS SOPS 314814 HAS SOUS 176756 HAS SOUPS 176701 WITH SCORE 177028.685
AT ITER 348 NEW BEST:: SOT 433967 SOS 324504 HAS SOPS 310463 HAS SOUS 172634 HAS SOUPS 172579 WITH SCORE 172903.504
AT ITER 384 NEW BEST:: SOT 431325 SOS 321014 HAS SOPS 305803 HAS SOUS 166644 HAS SOUPS 166589 WITH SCORE 166910.014
AT ITER 410 NEW BEST:: SOT 431314 SOS 320992 HAS SOPS 305781 HAS SOUS 166622 HAS SOUPS 166567 WITH SCORE 166887.992
AT ITER 412 NEW BEST:: SOT 431354 SOS 320934 HAS SOPS 305723 HAS SOUS 166564 HAS SOUPS 166509 WITH SCORE 166829.934
AT ITER 424 NEW BEST:: SOT 431228 SOS 320788 HAS SOPS 305577 HAS SOUS 166288 HAS SOUPS 166233 WITH SCORE 166553.788
AT ITER 425 NEW BEST:: SOT 431160 SOS 320703 HAS SOPS 305492 HAS SOUS 166203 HAS SOUPS 166148 WITH SCORE 166468.703
AT ITER 436 NEW BEST:: SOT 431237 SOS 320702 HAS SOPS 305491 HAS SOUS 166202 HAS SOUPS 166147 WITH SCORE 166467.702
AT ITER 448 NEW BEST:: SOT 431481 SOS 321916 HAS SOPS 306690 HAS SOUS 165435 HAS SOUPS 165380 WITH SCORE 165701.916
AT ITER 464 NEW BEST:: SOT 431469 SOS 321892 HAS SOPS 306666 HAS SOUS 165411 HAS SOUPS 165356 WITH SCORE 165677.892
AT ITER 465 NEW BEST:: SOT 429595 SOS 320047 HAS SOPS 304821 HAS SOUS 163619 HAS SOUPS 163564 WITH SCORE 163884.047
AT ITER 483 NEW BEST:: SOT 429566 SOS 319989 HAS SOPS 304763 HAS SOUS 163561 HAS SOUPS 163506 WITH SCORE 163825.989
AT ITER 506 NEW BEST:: SOT 432240 SOS 321178 HAS SOPS 304755 HAS SOUS 162868 HAS SOUPS 162813 WITH SCORE 163134.178
AT ITER 507 NEW BEST:: SOT 432231 SOS 321169 HAS SOPS 304733 HAS SOUS 162819 HAS SOUPS 162764 WITH SCORE 163085.169
AT ITER 509 NEW BEST:: SOT 432231 SOS 321156 HAS SOPS 304720 HAS SOUS 162819 HAS SOUPS 162764 WITH SCORE 163085.156
AT ITER 511 NEW BEST:: SOT 432189 SOS 321099 HAS SOPS 304663 HAS SOUS 162727 HAS SOUPS 162672 WITH SCORE 162993.099
AT ITER 518 NEW BEST:: SOT 433221 SOS 320844 HAS SOPS 303210 HAS SOUS 160325 HAS SOUPS 160270 WITH SCORE 160590.844
AT ITER 519 NEW BEST:: SOT 431929 SOS 319552 HAS SOPS 301918 HAS SOUS 159084 HAS SOUPS 159029 WITH SCORE 159348.552
AT ITER 552 NEW BEST:: SOT 431189 SOS 318370 HAS SOPS 299563 HAS SOUS 157265 HAS SOUPS 157210 WITH SCORE 157528.37
AT ITER 586 NEW BEST:: SOT 431140 SOS 318321 HAS SOPS 299514 HAS SOUS 157216 HAS SOUPS 157161 WITH SCORE 157479.321
AT ITER 608 NEW BEST:: SOT 430353 SOS 317534 HAS SOPS 298727 HAS SOUS 155479 HAS SOUPS 155424 WITH SCORE 155741.534
AT ITER 634 NEW BEST:: SOT 429811 SOS 317007 HAS SOPS 298280 HAS SOUS 155115 HAS SOUPS 155060 WITH SCORE 155377.007
AT ITER 667 NEW BEST:: SOT 428911 SOS 316125 HAS SOPS 297398 HAS SOUS 154233 HAS SOUPS 154178 WITH SCORE 154494.125
AT ITER 670 NEW BEST:: SOT 428523 SOS 314635 HAS SOPS 294922 HAS SOUS 153330 HAS SOUPS 153275 WITH SCORE 153589.635
AT ITER 673 NEW BEST:: SOT 428523 SOS 312945 HAS SOPS 293232 HAS SOUS 153306 HAS SOUPS 153251 WITH SCORE 153563.945
AT ITER 688 NEW BEST:: SOT 428391 SOS 312813 HAS SOPS 293100 HAS SOUS 153169 HAS SOUPS 153114 WITH SCORE 153426.813
AT ITER 689 NEW BEST:: SOT 426113 SOS 310586 HAS SOPS 290873 HAS SOUS 150999 HAS SOUPS 150944 WITH SCORE 151254.586
AT ITER 690 NEW BEST:: SOT 426089 SOS 310562 HAS SOPS 290849 HAS SOUS 150975 HAS SOUPS 150920 WITH SCORE 151230.562
AT ITER 691 NEW BEST:: SOT 426005 SOS 310480 HAS SOPS 290767 HAS SOUS 150793 HAS SOUPS 150738 WITH SCORE 151048.48
AT ITER 707 NEW BEST:: SOT 425992 SOS 310467 HAS SOPS 290754 HAS SOUS 150780 HAS SOUPS 150725 WITH SCORE 151035.467
AT ITER 708 NEW BEST:: SOT 425915 SOS 310459 HAS SOPS 290746 HAS SOUS 150772 HAS SOUPS 150717 WITH SCORE 151027.459
AT ITER 732 NEW BEST:: SOT 420827 SOS 308550 HAS SOPS 290030 HAS SOUS 149884 HAS SOUPS 149829 WITH SCORE 150137.55
AT ITER 739 NEW BEST:: SOT 420703 SOS 308440 HAS SOPS 289920 HAS SOUS 149827 HAS SOUPS 149772 WITH SCORE 150080.44
AT ITER 741 NEW BEST:: SOT 420644 SOS 308403 HAS SOPS 289883 HAS SOUS 149790 HAS SOUPS 149735 WITH SCORE 150043.403
AT ITER 766 NEW BEST:: SOT 419283 SOS 306486 HAS SOPS 286773 HAS SOUS 146503 HAS SOUPS 146448 WITH SCORE 146754.486
AT ITER 769 NEW BEST:: SOT 419269 SOS 306457 HAS SOPS 286744 HAS SOUS 146474 HAS SOUPS 146419 WITH SCORE 146725.457
AT ITER 783 NEW BEST:: SOT 419269 SOS 306430 HAS SOPS 286717 HAS SOUS 146447 HAS SOUPS 146392 WITH SCORE 146698.43
AT ITER 818 NEW BEST:: SOT 419269 SOS 306180 HAS SOPS 286467 HAS SOUS 146442 HAS SOUPS 146387 WITH SCORE 146693.18
AT ITER 824 NEW BEST:: SOT 419248 SOS 306138 HAS SOPS 286425 HAS SOUS 146400 HAS SOUPS 146345 WITH SCORE 146651.138
AT ITER 832 NEW BEST:: SOT 417764 SOS 304026 HAS SOPS 283120 HAS SOUS 142945 HAS SOUPS 142890 WITH SCORE 143194.026
AT ITER 840 NEW BEST:: SOT 417758 SOS 304015 HAS SOPS 283109 HAS SOUS 142934 HAS SOUPS 142879 WITH SCORE 143183.015
AT ITER 852 NEW BEST:: SOT 417946 SOS 304203 HAS SOPS 283099 HAS SOUS 142712 HAS SOUPS 142657 WITH SCORE 142961.203
AT ITER 853 NEW BEST:: SOT 417946 SOS 304201 HAS SOPS 283097 HAS SOUS 142710 HAS SOUPS 142655 WITH SCORE 142959.201
AT ITER 872 NEW BEST:: SOT 417969 SOS 304190 HAS SOPS 283086 HAS SOUS 142699 HAS SOUPS 142644 WITH SCORE 142948.19
AT ITER 887 NEW BEST:: SOT 417969 SOS 302735 HAS SOPS 281631 HAS SOUS 142671 HAS SOUPS 142616 WITH SCORE 142918.735
AT ITER 903 NEW BEST:: SOT 418434 SOS 303200 HAS SOPS 281366 HAS SOUS 141572 HAS SOUPS 141516 WITH SCORE 141819.2
AT ITER 916 NEW BEST:: SOT 418226 SOS 303017 HAS SOPS 281183 HAS SOUS 141389 HAS SOUPS 141333 WITH SCORE 141636.017
AT ITER 927 NEW BEST:: SOT 418249 SOS 303007 HAS SOPS 281173 HAS SOUS 141379 HAS SOUPS 141323 WITH SCORE 141626.007
AT ITER 941 NEW BEST:: SOT 418241 SOS 302992 HAS SOPS 281158 HAS SOUS 141364 HAS SOUPS 141308 WITH SCORE 141610.992
AT ITER 946 NEW BEST:: SOT 418241 SOS 302542 HAS SOPS 280708 HAS SOUS 141355 HAS SOUPS 141299 WITH SCORE 141601.542
AT ITER 998 NEW BEST:: SOT 418245 SOS 302505 HAS SOPS 280671 HAS SOUS 141318 HAS SOUPS 141262 WITH SCORE 141564.505
AT ITER 1022 NEW BEST:: SOT 417490 SOS 301750 HAS SOPS 279916 HAS SOUS 139939 HAS SOUPS 139883 WITH SCORE 140184.75
AT ITER 1026 NEW BEST:: SOT 417438 SOS 301740 HAS SOPS 279906 HAS SOUS 139929 HAS SOUPS 139873 WITH SCORE 140174.74
AT ITER 1032 NEW BEST:: SOT 417438 SOS 301740 HAS SOPS 279906 HAS SOUS 139807 HAS SOUPS 139751 WITH SCORE 140052.74
AT ITER 1111 NEW BEST:: SOT 417497 SOS 301701 HAS SOPS 279867 HAS SOUS 139768 HAS SOUPS 139712 WITH SCORE 140013.701
AT ITER 1116 NEW BEST:: SOT 417505 SOS 301694 HAS SOPS 279860 HAS SOUS 139761 HAS SOUPS 139705 WITH SCORE 140006.694
AT ITER 1118 NEW BEST:: SOT 417437 SOS 301660 HAS SOPS 279826 HAS SOUS 139727 HAS SOUPS 139671 WITH SCORE 139972.66
AT ITER 1129 NEW BEST:: SOT 417437 SOS 301659 HAS SOPS 279825 HAS SOUS 139726 HAS SOUPS 139670 WITH SCORE 139971.659
AT ITER 1137 NEW BEST:: SOT 417432 SOS 301657 HAS SOPS 279823 HAS SOUS 139724 HAS SOUPS 139668 WITH SCORE 139969.657
AT ITER 1147 NEW BEST:: SOT 417432 SOS 301628 HAS SOPS 279794 HAS SOUS 139695 HAS SOUPS 139639 WITH SCORE 139940.628
AT ITER 1150 NEW BEST:: SOT 417433 SOS 301612 HAS SOPS 279778 HAS SOUS 139679 HAS SOUPS 139623 WITH SCORE 139924.612
AT ITER 1156 NEW BEST:: SOT 416230 SOS 299562 HAS SOPS 276480 HAS SOUS 136754 HAS SOUPS 136698 WITH SCORE 136997.562
AT ITER 1159 NEW BEST:: SOT 416230 SOS 299487 HAS SOPS 276405 HAS SOUS 136728 HAS SOUPS 136672 WITH SCORE 136971.487
AT ITER 1163 NEW BEST:: SOT 419180 SOS 301811 HAS SOPS 277481 HAS SOUS 135832 HAS SOUPS 135776 WITH SCORE 136077.811
AT ITER 1186 NEW BEST:: SOT 419148 SOS 301779 HAS SOPS 277449 HAS SOUS 135800 HAS SOUPS 135744 WITH SCORE 136045.779
AT ITER 1246 NEW BEST:: SOT 419148 SOS 301775 HAS SOPS 277445 HAS SOUS 135796 HAS SOUPS 135740 WITH SCORE 136041.775
AT ITER 1280 NEW BEST:: SOT 419078 SOS 301704 HAS SOPS 277374 HAS SOUS 135725 HAS SOUPS 135669 WITH SCORE 135970.704
AT ITER 1290 NEW BEST:: SOT 419030 SOS 301656 HAS SOPS 277326 HAS SOUS 135627 HAS SOUPS 135571 WITH SCORE 135872.656
AT ITER 1361 NEW BEST:: SOT 418716 SOS 301206 HAS SOPS 276876 HAS SOUS 135144 HAS SOUPS 135088 WITH SCORE 135389.206
AT ITER 1421 NEW BEST:: SOT 421466 SOS 303072 HAS SOPS 277494 HAS SOUS 134323 HAS SOUPS 134267 WITH SCORE 134570.072
AT ITER 1423 NEW BEST:: SOT 421553 SOS 302996 HAS SOPS 277418 HAS SOUS 134209 HAS SOUPS 134153 WITH SCORE 134455.996
AT ITER 1434 NEW BEST:: SOT 421553 SOS 303002 HAS SOPS 277424 HAS SOUS 133552 HAS SOUPS 133496 WITH SCORE 133799.002
AT ITER 1457 NEW BEST:: SOT 421553 SOS 300356 HAS SOPS 274778 HAS SOUS 133552 HAS SOUPS 133496 WITH SCORE 133796.356
AT ITER 1479 NEW BEST:: SOT 418953 SOS 297756 HAS SOPS 272178 HAS SOUS 130952 HAS SOUPS 130896 WITH SCORE 131193.756
AT ITER 1518 NEW BEST:: SOT 418953 SOS 297754 HAS SOPS 272176 HAS SOUS 130950 HAS SOUPS 130894 WITH SCORE 131191.754
AT ITER 1519 NEW BEST:: SOT 418953 SOS 297747 HAS SOPS 272169 HAS SOUS 130943 HAS SOUPS 130887 WITH SCORE 131184.747
AT ITER 1542 NEW BEST:: SOT 416703 SOS 295518 HAS SOPS 269940 HAS SOUS 128714 HAS SOUPS 128658 WITH SCORE 128953.518
AT ITER 1554 NEW BEST:: SOT 414597 SOS 296120 HAS SOPS 270542 HAS SOUS 126768 HAS SOUPS 126712 WITH SCORE 127008.12
AT ITER 1643 NEW BEST:: SOT 414597 SOS 295870 HAS SOPS 270292 HAS SOUS 126763 HAS SOUPS 126707 WITH SCORE 127002.87
AT ITER 1710 NEW BEST:: SOT 414597 SOS 293913 HAS SOPS 268335 HAS SOUS 126717 HAS SOUPS 126661 WITH SCORE 126954.913
AT ITER 1725 NEW BEST:: SOT 417789 SOS 294434 HAS SOPS 267608 HAS SOUS 126675 HAS SOUPS 126619 WITH SCORE 126913.434
AT ITER 1731 NEW BEST:: SOT 417789 SOS 294430 HAS SOPS 267604 HAS SOUS 126671 HAS SOUPS 126615 WITH SCORE 126909.43
AT ITER 1734 NEW BEST:: SOT 417717 SOS 294358 HAS SOPS 267532 HAS SOUS 126599 HAS SOUPS 126543 WITH SCORE 126837.358
AT ITER 1750 NEW BEST:: SOT 412568 SOS 289236 HAS SOPS 262410 HAS SOUS 121575 HAS SOUPS 121519 WITH SCORE 121808.236
AT ITER 1751 NEW BEST:: SOT 412568 SOS 289168 HAS SOPS 262342 HAS SOUS 121575 HAS SOUPS 121519 WITH SCORE 121808.168
AT ITER 1768 NEW BEST:: SOT 411752 SOS 288322 HAS SOPS 261266 HAS SOUS 119616 HAS SOUPS 119560 WITH SCORE 119848.322
AT ITER 1808 NEW BEST:: SOT 411731 SOS 288301 HAS SOPS 261224 HAS SOUS 119563 HAS SOUPS 119507 WITH SCORE 119795.301
AT ITER 1817 NEW BEST:: SOT 411708 SOS 288289 HAS SOPS 261212 HAS SOUS 119551 HAS SOUPS 119495 WITH SCORE 119783.289
AT ITER 1819 NEW BEST:: SOT 411703 SOS 288284 HAS SOPS 261207 HAS SOUS 119546 HAS SOUPS 119490 WITH SCORE 119778.284
AT ITER 1854 NEW BEST:: SOT 411699 SOS 288280 HAS SOPS 261203 HAS SOUS 119542 HAS SOUPS 119486 WITH SCORE 119774.28
AT ITER 1911 NEW BEST:: SOT 411690 SOS 288270 HAS SOPS 261193 HAS SOUS 119532 HAS SOUPS 119476 WITH SCORE 119764.27
AT ITER 1939 NEW BEST:: SOT 411599 SOS 288179 HAS SOPS 261102 HAS SOUS 119441 HAS SOUPS 119385 WITH SCORE 119673.179
AT ITER 1942 NEW BEST:: SOT 411541 SOS 288121 HAS SOPS 261044 HAS SOUS 119383 HAS SOUPS 119327 WITH SCORE 119615.121
AT ITER 1947 NEW BEST:: SOT 411520 SOS 288100 HAS SOPS 261003 HAS SOUS 119329 HAS SOUPS 119273 WITH SCORE 119561.1
AT ITER 1957 NEW BEST:: SOT 411493 SOS 288078 HAS SOPS 260981 HAS SOUS 119307 HAS SOUPS 119251 WITH SCORE 119539.078
AT ITER 1958 NEW BEST:: SOT 411431 SOS 287989 HAS SOPS 260892 HAS SOUS 119218 HAS SOUPS 119162 WITH SCORE 119449.989
AT ITER 1969 NEW BEST:: SOT 411431 SOS 287978 HAS SOPS 260881 HAS SOUS 119207 HAS SOUPS 119151 WITH SCORE 119438.978
AT ITER 1997 NEW BEST:: SOT 411431 SOS 287972 HAS SOPS 260875 HAS SOUS 119201 HAS SOUPS 119145 WITH SCORE 119432.972
AT ITER 2005 NEW BEST:: SOT 411423 SOS 287964 HAS SOPS 260867 HAS SOUS 119193 HAS SOUPS 119137 WITH SCORE 119424.964
AT ITER 2027 NEW BEST:: SOT 410339 SOS 286777 HAS SOPS 259680 HAS SOUS 117975 HAS SOUPS 117919 WITH SCORE 118205.777
AT ITER 2031 NEW BEST:: SOT 409236 SOS 285698 HAS SOPS 258601 HAS SOUS 116896 HAS SOUPS 116840 WITH SCORE 117125.698
AT ITER 2046 NEW BEST:: SOT 409214 SOS 285676 HAS SOPS 258559 HAS SOUS 116841 HAS SOUPS 116785 WITH SCORE 117070.676
AT ITER 2076 NEW BEST:: SOT 409214 SOS 285659 HAS SOPS 258542 HAS SOUS 116824 HAS SOUPS 116768 WITH SCORE 117053.659
AT ITER 2104 NEW BEST:: SOT 409177 SOS 284069 HAS SOPS 255701 HAS SOUS 115200 HAS SOUPS 115144 WITH SCORE 115428.069
AT ITER 2112 NEW BEST:: SOT 409177 SOS 282569 HAS SOPS 254201 HAS SOUS 115170 HAS SOUPS 115114 WITH SCORE 115396.569
AT ITER 2132 NEW BEST:: SOT 409177 SOS 282592 HAS SOPS 254224 HAS SOUS 114020 HAS SOUPS 113964 WITH SCORE 114246.592
AT ITER 2133 NEW BEST:: SOT 409170 SOS 282571 HAS SOPS 254195 HAS SOUS 113996 HAS SOUPS 113935 WITH SCORE 114217.571
AT ITER 2137 NEW BEST:: SOT 409170 SOS 282570 HAS SOPS 254194 HAS SOUS 113995 HAS SOUPS 113934 WITH SCORE 114216.57
AT ITER 2151 NEW BEST:: SOT 409165 SOS 282560 HAS SOPS 254184 HAS SOUS 113985 HAS SOUPS 113924 WITH SCORE 114206.56
AT ITER 2154 NEW BEST:: SOT 409036 SOS 282415 HAS SOPS 254039 HAS SOUS 113706 HAS SOUPS 113645 WITH SCORE 113927.415
AT ITER 2157 NEW BEST:: SOT 409076 SOS 282412 HAS SOPS 254036 HAS SOUS 113693 HAS SOUPS 113632 WITH SCORE 113914.412
AT ITER 2177 NEW BEST:: SOT 409114 SOS 282470 HAS SOPS 252944 HAS SOUS 112263 HAS SOUPS 112199 WITH SCORE 112481.47
AT ITER 2201 NEW BEST:: SOT 410514 SOS 283953 HAS SOPS 254427 HAS SOUS 111910 HAS SOUPS 111846 WITH SCORE 112129.953
AT ITER 2356 NEW BEST:: SOT 410518 SOS 283937 HAS SOPS 254411 HAS SOUS 111894 HAS SOUPS 111830 WITH SCORE 112113.937
AT ITER 2390 NEW BEST:: SOT 409618 SOS 283037 HAS SOPS 253511 HAS SOUS 110994 HAS SOUPS 110930 WITH SCORE 111213.037
AT ITER 2429 NEW BEST:: SOT 411564 SOS 283536 HAS SOPS 252707 HAS SOUS 109608 HAS SOUPS 109544 WITH SCORE 109827.536
AT ITER 2449 NEW BEST:: SOT 411324 SOS 283285 HAS SOPS 252456 HAS SOUS 109357 HAS SOUPS 109293 WITH SCORE 109576.285
AT ITER 2532 NEW BEST:: SOT 412364 SOS 284325 HAS SOPS 253496 HAS SOUS 108787 HAS SOUPS 108723 WITH SCORE 109007.325
AT ITER 2552 NEW BEST:: SOT 397144 SOS 273574 HAS SOPS 238276 HAS SOUS 93756 HAS SOUPS 93503 WITH SCORE 93776.574
AT ITER 2574 NEW BEST:: SOT 397144 SOS 273556 HAS SOPS 238239 HAS SOUS 93719 HAS SOUPS 93466 WITH SCORE 93739.556
AT ITER 2588 NEW BEST:: SOT 397087 SOS 273499 HAS SOPS 238145 HAS SOUS 93625 HAS SOUPS 93372 WITH SCORE 93645.499
AT ITER 2594 NEW BEST:: SOT 397063 SOS 273374 HAS SOPS 238129 HAS SOUS 93609 HAS SOUPS 93356 WITH SCORE 93629.374
AT ITER 2598 NEW BEST:: SOT 397049 SOS 273360 HAS SOPS 238114 HAS SOUS 93594 HAS SOUPS 93341 WITH SCORE 93614.36
AT ITER 2609 NEW BEST:: SOT 398794 SOS 275119 HAS SOPS 239873 HAS SOUS 93142 HAS SOUPS 92889 WITH SCORE 93164.119
AT ITER 2631 NEW BEST:: SOT 398678 SOS 275010 HAS SOPS 239849 HAS SOUS 93118 HAS SOUPS 92865 WITH SCORE 93140.01
AT ITER 2637 NEW BEST:: SOT 398678 SOS 274545 HAS SOPS 238082 HAS SOUS 91669 HAS SOUPS 91416 WITH SCORE 91690.545
AT ITER 2738 NEW BEST:: SOT 398630 SOS 274497 HAS SOPS 238034 HAS SOUS 91621 HAS SOUPS 91368 WITH SCORE 91642.497
AT ITER 2743 NEW BEST:: SOT 398426 SOS 274320 HAS SOPS 237876 HAS SOUS 91463 HAS SOUPS 91210 WITH SCORE 91484.32
AT ITER 2754 NEW BEST:: SOT 397026 SOS 272920 HAS SOPS 236476 HAS SOUS 90063 HAS SOUPS 89810 WITH SCORE 90082.92
AT ITER 2757 NEW BEST:: SOT 396982 SOS 272876 HAS SOPS 236432 HAS SOUS 90019 HAS SOUPS 89766 WITH SCORE 90038.876
AT ITER 2759 NEW BEST:: SOT 396432 SOS 272341 HAS SOPS 235897 HAS SOUS 88919 HAS SOUPS 88666 WITH SCORE 88938.341
AT ITER 2769 NEW BEST:: SOT 396302 SOS 272211 HAS SOPS 235767 HAS SOUS 88766 HAS SOUPS 88513 WITH SCORE 88785.211
AT ITER 2771 NEW BEST:: SOT 396200 SOS 272193 HAS SOPS 235663 HAS SOUS 88564 HAS SOUPS 88309 WITH SCORE 88581.193
AT ITER 2796 NEW BEST:: SOT 396192 SOS 271081 HAS SOPS 234281 HAS SOUS 88497 HAS SOUPS 88242 WITH SCORE 88513.081
AT ITER 2814 NEW BEST:: SOT 396192 SOS 270931 HAS SOPS 234131 HAS SOUS 88494 HAS SOUPS 88239 WITH SCORE 88509.931
AT ITER 2818 NEW BEST:: SOT 396118 SOS 270857 HAS SOPS 234062 HAS SOUS 88425 HAS SOUPS 88170 WITH SCORE 88440.857
AT ITER 2834 NEW BEST:: SOT 396022 SOS 270761 HAS SOPS 233916 HAS SOUS 88279 HAS SOUPS 88024 WITH SCORE 88294.761
AT ITER 2863 NEW BEST:: SOT 395935 SOS 270674 HAS SOPS 233881 HAS SOUS 88244 HAS SOUPS 87989 WITH SCORE 88259.674
AT ITER 2868 NEW BEST:: SOT 395935 SOS 270661 HAS SOPS 233868 HAS SOUS 88244 HAS SOUPS 87989 WITH SCORE 88259.661
AT ITER 2872 NEW BEST:: SOT 395922 SOS 270648 HAS SOPS 233858 HAS SOUS 88234 HAS SOUPS 87979 WITH SCORE 88249.648
AT ITER 2894 NEW BEST:: SOT 395871 SOS 270597 HAS SOPS 233829 HAS SOUS 88205 HAS SOUPS 87950 WITH SCORE 88220.597
AT ITER 2895 NEW BEST:: SOT 395870 SOS 270596 HAS SOPS 233825 HAS SOUS 88204 HAS SOUPS 87946 WITH SCORE 88216.596
AT ITER 2937 NEW BEST:: SOT 395823 SOS 270549 HAS SOPS 233766 HAS SOUS 88145 HAS SOUPS 87887 WITH SCORE 88157.549
AT ITER 2943 NEW BEST:: SOT 395800 SOS 270526 HAS SOPS 233743 HAS SOUS 88122 HAS SOUPS 87864 WITH SCORE 88134.526
AT ITER 2962 NEW BEST:: SOT 395781 SOS 270507 HAS SOPS 233724 HAS SOUS 88103 HAS SOUPS 87845 WITH SCORE 88115.507
AT ITER 2968 NEW BEST:: SOT 395746 SOS 270472 HAS SOPS 233711 HAS SOUS 88090 HAS SOUPS 87832 WITH SCORE 88102.472
AT ITER 2984 NEW BEST:: SOT 395746 SOS 269872 HAS SOPS 233111 HAS SOUS 88078 HAS SOUPS 87820 WITH SCORE 88089.872
AT ITER 2992 NEW BEST:: SOT 395746 SOS 269853 HAS SOPS 233087 HAS SOUS 88054 HAS SOUPS 87796 WITH SCORE 88065.853
AT ITER 3003 NEW BEST:: SOT 395746 SOS 269657 HAS SOPS 232891 HAS SOUS 88054 HAS SOUPS 87796 WITH SCORE 88065.657
AT ITER 3012 NEW BEST:: SOT 395746 SOS 269657 HAS SOPS 232890 HAS SOUS 88053 HAS SOUPS 87795 WITH SCORE 88064.657
AT ITER 3027 NEW BEST:: SOT 395746 SOS 269640 HAS SOPS 232873 HAS SOUS 88036 HAS SOUPS 87778 WITH SCORE 88047.64
AT ITER 3145 NEW BEST:: SOT 395700 SOS 269594 HAS SOPS 232787 HAS SOUS 87950 HAS SOUPS 87692 WITH SCORE 87961.594
AT ITER 3172 NEW BEST:: SOT 395692 SOS 269586 HAS SOPS 232779 HAS SOUS 87942 HAS SOUPS 87684 WITH SCORE 87953.586
AT ITER 3221 NEW BEST:: SOT 395692 SOS 269221 HAS SOPS 232414 HAS SOUS 87920 HAS SOUPS 87662 WITH SCORE 87931.221
AT ITER 3232 NEW BEST:: SOT 395637 SOS 269166 HAS SOPS 232390 HAS SOUS 87896 HAS SOUPS 87638 WITH SCORE 87907.166
AT ITER 3236 NEW BEST:: SOT 395632 SOS 269161 HAS SOPS 232375 HAS SOUS 87881 HAS SOUPS 87623 WITH SCORE 87892.161
AT ITER 3246 NEW BEST:: SOT 395513 SOS 269055 HAS SOPS 232269 HAS SOUS 87768 HAS SOUPS 87510 WITH SCORE 87779.055
AT ITER 3255 NEW BEST:: SOT 395513 SOS 269042 HAS SOPS 232256 HAS SOUS 87723 HAS SOUPS 87465 WITH SCORE 87734.042
AT ITER 3258 NEW BEST:: SOT 396059 SOS 269609 HAS SOPS 232827 HAS SOUS 87278 HAS SOUPS 87020 WITH SCORE 87289.609
AT ITER 3318 NEW BEST:: SOT 395755 SOS 269564 HAS SOPS 232523 HAS SOUS 86980 HAS SOUPS 86716 WITH SCORE 86985.564
AT ITER 3324 NEW BEST:: SOT 395754 SOS 269548 HAS SOPS 232496 HAS SOUS 86953 HAS SOUPS 86689 WITH SCORE 86958.548
AT ITER 3392 NEW BEST:: SOT 392987 SOS 273611 HAS SOPS 230416 HAS SOUS 80649 HAS SOUPS 80262 WITH SCORE 80535.611
AT ITER 3461 NEW BEST:: SOT 392987 SOS 273595 HAS SOPS 230400 HAS SOUS 80625 HAS SOUPS 80238 WITH SCORE 80511.595
AT ITER 3472 NEW BEST:: SOT 393466 SOS 274074 HAS SOPS 229838 HAS SOUS 79993 HAS SOUPS 79606 WITH SCORE 79880.074
AT ITER 3492 NEW BEST:: SOT 393523 SOS 274131 HAS SOPS 229823 HAS SOUS 79964 HAS SOUPS 79577 WITH SCORE 79851.131
AT ITER 3501 NEW BEST:: SOT 393472 SOS 274080 HAS SOPS 229786 HAS SOUS 79927 HAS SOUPS 79540 WITH SCORE 79814.08
AT ITER 3599 NEW BEST:: SOT 393462 SOS 274070 HAS SOPS 229776 HAS SOUS 79917 HAS SOUPS 79530 WITH SCORE 79804.07
AT ITER 3622 NEW BEST:: SOT 392979 SOS 273597 HAS SOPS 229303 HAS SOUS 79444 HAS SOUPS 79057 WITH SCORE 79330.597
AT ITER 3636 NEW BEST:: SOT 392889 SOS 273507 HAS SOPS 229172 HAS SOUS 79313 HAS SOUPS 78926 WITH SCORE 79199.507
AT ITER 3689 NEW BEST:: SOT 392780 SOS 273398 HAS SOPS 229125 HAS SOUS 79266 HAS SOUPS 78879 WITH SCORE 79152.398
AT ITER 3736 NEW BEST:: SOT 392777 SOS 273395 HAS SOPS 229105 HAS SOUS 79246 HAS SOUPS 78859 WITH SCORE 79132.395
AT ITER 3745 NEW BEST:: SOT 391877 SOS 272495 HAS SOPS 228201 HAS SOUS 78342 HAS SOUPS 77955 WITH SCORE 78227.495
AT ITER 3763 NEW BEST:: SOT 391657 SOS 272264 HAS SOPS 227970 HAS SOUS 78111 HAS SOUPS 77724 WITH SCORE 77996.264
AT ITER 3775 NEW BEST:: SOT 391657 SOS 272114 HAS SOPS 227820 HAS SOUS 78108 HAS SOUPS 77721 WITH SCORE 77993.114
AT ITER 3823 NEW BEST:: SOT 391644 SOS 272101 HAS SOPS 227820 HAS SOUS 78108 HAS SOUPS 77721 WITH SCORE 77993.101
AT ITER 3828 NEW BEST:: SOT 391639 SOS 272096 HAS SOPS 227814 HAS SOUS 78102 HAS SOUPS 77715 WITH SCORE 77987.096
AT ITER 3832 NEW BEST:: SOT 391636 SOS 272093 HAS SOPS 227811 HAS SOUS 77946 HAS SOUPS 77559 WITH SCORE 77831.093
AT ITER 3840 NEW BEST:: SOT 391635 SOS 272092 HAS SOPS 227809 HAS SOUS 77944 HAS SOUPS 77557 WITH SCORE 77829.092
AT ITER 3858 NEW BEST:: SOT 391633 SOS 272090 HAS SOPS 227807 HAS SOUS 77942 HAS SOUPS 77555 WITH SCORE 77827.09
AT ITER 3900 NEW BEST:: SOT 391333 SOS 271776 HAS SOPS 227493 HAS SOUS 77628 HAS SOUPS 77241 WITH SCORE 77512.776
AT ITER 3902 NEW BEST:: SOT 389833 SOS 270276 HAS SOPS 225583 HAS SOUS 76009 HAS SOUPS 75604 WITH SCORE 75874.276
AT ITER 3957 NEW BEST:: SOT 389818 SOS 270261 HAS SOPS 225577 HAS SOUS 76003 HAS SOUPS 75598 WITH SCORE 75868.261
AT ITER 4021 NEW BEST:: SOT 389818 SOS 270241 HAS SOPS 225557 HAS SOUS 74983 HAS SOUPS 74578 WITH SCORE 74848.241
AT ITER 4034 NEW BEST:: SOT 389793 SOS 270216 HAS SOPS 225507 HAS SOUS 74930 HAS SOUPS 74525 WITH SCORE 74795.216
AT ITER 4077 NEW BEST:: SOT 389793 SOS 270116 HAS SOPS 225407 HAS SOUS 74928 HAS SOUPS 74523 WITH SCORE 74793.116
AT ITER 4079 NEW BEST:: SOT 389778 SOS 270101 HAS SOPS 225392 HAS SOUS 74913 HAS SOUPS 74508 WITH SCORE 74778.101
AT ITER 4083 NEW BEST:: SOT 389735 SOS 270058 HAS SOPS 225349 HAS SOUS 74870 HAS SOUPS 74465 WITH SCORE 74735.058
AT ITER 4158 NEW BEST:: SOT 389729 SOS 270052 HAS SOPS 225332 HAS SOUS 74853 HAS SOUPS 74448 WITH SCORE 74718.052
AT ITER 4173 NEW BEST:: SOT 389729 SOS 269702 HAS SOPS 224982 HAS SOUS 74846 HAS SOUPS 74441 WITH SCORE 74710.702
AT ITER 4210 NEW BEST:: SOT 389729 SOS 269702 HAS SOPS 224984 HAS SOUS 74296 HAS SOUPS 73891 WITH SCORE 74160.702
AT ITER 4232 NEW BEST:: SOT 389729 SOS 269602 HAS SOPS 224884 HAS SOUS 74294 HAS SOUPS 73889 WITH SCORE 74158.602
AT ITER 4234 NEW BEST:: SOT 389720 SOS 269593 HAS SOPS 224870 HAS SOUS 74280 HAS SOUPS 73875 WITH SCORE 74144.593
AT ITER 4236 NEW BEST:: SOT 389714 SOS 269587 HAS SOPS 224864 HAS SOUS 74274 HAS SOUPS 73869 WITH SCORE 74138.587
AT ITER 4301 NEW BEST:: SOT 389708 SOS 269581 HAS SOPS 224858 HAS SOUS 74268 HAS SOUPS 73863 WITH SCORE 74132.581
AT ITER 4324 NEW BEST:: SOT 389693 SOS 269566 HAS SOPS 224840 HAS SOUS 74250 HAS SOUPS 73845 WITH SCORE 74114.566
AT ITER 4420 NEW BEST:: SOT 389689 SOS 269562 HAS SOPS 224836 HAS SOUS 74246 HAS SOUPS 73841 WITH SCORE 74110.562
AT ITER 4439 NEW BEST:: SOT 389689 SOS 269562 HAS SOPS 224836 HAS SOUS 74238 HAS SOUPS 73833 WITH SCORE 74102.562
AT ITER 4444 NEW BEST:: SOT 389689 SOS 269562 HAS SOPS 224836 HAS SOUS 73473 HAS SOUPS 73068 WITH SCORE 73337.562
AT ITER 4471 NEW BEST:: SOT 389687 SOS 269560 HAS SOPS 224836 HAS SOUS 73473 HAS SOUPS 73068 WITH SCORE 73337.56
AT ITER 4476 NEW BEST:: SOT 390783 SOS 270656 HAS SOPS 225932 HAS SOUS 73449 HAS SOUPS 73044 WITH SCORE 73314.656
AT ITER 4511 NEW BEST:: SOT 390783 SOS 270656 HAS SOPS 225931 HAS SOUS 73448 HAS SOUPS 73043 WITH SCORE 73313.656
AT ITER 4582 NEW BEST:: SOT 390773 SOS 270646 HAS SOPS 225921 HAS SOUS 73438 HAS SOUPS 73033 WITH SCORE 73303.646
AT ITER 4606 NEW BEST:: SOT 391073 SOS 270926 HAS SOPS 226201 HAS SOUS 72668 HAS SOUPS 72263 WITH SCORE 72533.926
AT ITER 4659 NEW BEST:: SOT 391046 SOS 270899 HAS SOPS 226154 HAS SOUS 72621 HAS SOUPS 72216 WITH SCORE 72486.899
AT ITER 4663 NEW BEST:: SOT 391427 SOS 271270 HAS SOPS 226544 HAS SOUS 72461 HAS SOUPS 72056 WITH SCORE 72327.27
AT ITER 4672 NEW BEST:: SOT 391409 SOS 271252 HAS SOPS 226526 HAS SOUS 72443 HAS SOUPS 72038 WITH SCORE 72309.252
AT ITER 4698 NEW BEST:: SOT 390959 SOS 270802 HAS SOPS 226076 HAS SOUS 71543 HAS SOUPS 71138 WITH SCORE 71408.802
AT ITER 4700 NEW BEST:: SOT 390941 SOS 270784 HAS SOPS 226055 HAS SOUS 71522 HAS SOUPS 71117 WITH SCORE 71387.784
AT ITER 4717 NEW BEST:: SOT 390851 SOS 270696 HAS SOPS 225967 HAS SOUS 71434 HAS SOUPS 71029 WITH SCORE 71299.696
AT ITER 4813 NEW BEST:: SOT 390847 SOS 270692 HAS SOPS 225967 HAS SOUS 71434 HAS SOUPS 71029 WITH SCORE 71299.692
AT ITER 4845 NEW BEST:: SOT 390833 SOS 270678 HAS SOPS 225953 HAS SOUS 71420 HAS SOUPS 71015 WITH SCORE 71285.678
AT ITER 4889 NEW BEST:: SOT 390833 SOS 270678 HAS SOPS 225937 HAS SOUS 71404 HAS SOUPS 70999 WITH SCORE 71269.678
AT ITER 4890 NEW BEST:: SOT 390781 SOS 270617 HAS SOPS 225876 HAS SOUS 71342 HAS SOUPS 70937 WITH SCORE 71207.617
AT ITER 4893 NEW BEST:: SOT 390769 SOS 270605 HAS SOPS 225864 HAS SOUS 71330 HAS SOUPS 70925 WITH SCORE 71195.605
AT ITER 4918 NEW BEST:: SOT 390569 SOS 270419 HAS SOPS 225678 HAS SOUS 70930 HAS SOUPS 70525 WITH SCORE 70795.419
AT ITER 4956 NEW BEST:: SOT 390563 SOS 270413 HAS SOPS 225672 HAS SOUS 70924 HAS SOUPS 70519 WITH SCORE 70789.413
AT ITER 4958 NEW BEST:: SOT 390499 SOS 270349 HAS SOPS 225611 HAS SOUS 70863 HAS SOUPS 70458 WITH SCORE 70728.349
AT ITER 4980 NEW BEST:: SOT 390467 SOS 270317 HAS SOPS 225563 HAS SOUS 70815 HAS SOUPS 70410 WITH SCORE 70680.317
AT ITER 5069 NEW BEST:: SOT 390467 SOS 269467 HAS SOPS 224713 HAS SOUS 70798 HAS SOUPS 70393 WITH SCORE 70662.467
AT ITER 5113 NEW BEST:: SOT 390464 SOS 269464 HAS SOPS 224707 HAS SOUS 70792 HAS SOUPS 70387 WITH SCORE 70656.464
AT ITER 5114 NEW BEST:: SOT 390464 SOS 270686 HAS SOPS 225929 HAS SOUS 70789 HAS SOUPS 70384 WITH SCORE 70654.686
AT ITER 5117 NEW BEST:: SOT 390215 SOS 270437 HAS SOPS 225680 HAS SOUS 70555 HAS SOUPS 70150 WITH SCORE 70420.437
AT ITER 5125 NEW BEST:: SOT 390211 SOS 270433 HAS SOPS 225676 HAS SOUS 70551 HAS SOUPS 70146 WITH SCORE 70416.433
AT ITER 5163 NEW BEST:: SOT 390203 SOS 270425 HAS SOPS 225668 HAS SOUS 70543 HAS SOUPS 70138 WITH SCORE 70408.425
AT ITER 5193 NEW BEST:: SOT 390203 SOS 270275 HAS SOPS 225518 HAS SOUS 70540 HAS SOUPS 70135 WITH SCORE 70405.275
AT ITER 5202 NEW BEST:: SOT 390163 SOS 270235 HAS SOPS 225478 HAS SOUS 70500 HAS SOUPS 70095 WITH SCORE 70365.235
AT ITER 5229 NEW BEST:: SOT 390157 SOS 270229 HAS SOPS 225472 HAS SOUS 70494 HAS SOUPS 70089 WITH SCORE 70359.229
AT ITER 5233 NEW BEST:: SOT 390131 SOS 270203 HAS SOPS 225446 HAS SOUS 70468 HAS SOUPS 70063 WITH SCORE 70333.203
AT ITER 5252 NEW BEST:: SOT 390127 SOS 270125 HAS SOPS 225368 HAS SOUS 70328 HAS SOUPS 69923 WITH SCORE 70193.125
AT ITER 5257 NEW BEST:: SOT 390070 SOS 270070 HAS SOPS 225313 HAS SOUS 70273 HAS SOUPS 69868 WITH SCORE 70138.07
AT ITER 5279 NEW BEST:: SOT 389968 SOS 269968 HAS SOPS 225211 HAS SOUS 70171 HAS SOUPS 69766 WITH SCORE 70035.968
AT ITER 5322 NEW BEST:: SOT 389893 SOS 269891 HAS SOPS 225212 HAS SOUS 70156 HAS SOUPS 69751 WITH SCORE 70020.891
AT ITER 5391 NEW BEST:: SOT 390498 SOS 270496 HAS SOPS 225808 HAS SOUS 69986 HAS SOUPS 69581 WITH SCORE 69851.496
AT ITER 5461 NEW BEST:: SOT 390496 SOS 270494 HAS SOPS 225806 HAS SOUS 69984 HAS SOUPS 69579 WITH SCORE 69849.494
AT ITER 5586 NEW BEST:: SOT 390449 SOS 270447 HAS SOPS 225751 HAS SOUS 69929 HAS SOUPS 69524 WITH SCORE 69794.447
AT ITER 5625 NEW BEST:: SOT 390452 SOS 270441 HAS SOPS 225745 HAS SOUS 69918 HAS SOUPS 69513 WITH SCORE 69783.441
AT ITER 5674 NEW BEST:: SOT 390355 SOS 270344 HAS SOPS 225712 HAS SOUS 69885 HAS SOUPS 69480 WITH SCORE 69750.344
AT ITER 5678 NEW BEST:: SOT 390330 SOS 270319 HAS SOPS 225663 HAS SOUS 69831 HAS SOUPS 69426 WITH SCORE 69696.319
AT ITER 5716 NEW BEST:: SOT 390330 SOS 270113 HAS SOPS 225457 HAS SOUS 69827 HAS SOUPS 69422 WITH SCORE 69692.113
AT ITER 5732 NEW BEST:: SOT 389042 SOS 268851 HAS SOPS 224195 HAS SOUS 68565 HAS SOUPS 68160 WITH SCORE 68428.851
AT ITER 5880 NEW BEST:: SOT 388722 SOS 268538 HAS SOPS 223882 HAS SOUS 68299 HAS SOUPS 67894 WITH SCORE 68162.538
AT ITER 5900 NEW BEST:: SOT 388708 SOS 268524 HAS SOPS 223868 HAS SOUS 68285 HAS SOUPS 67880 WITH SCORE 68148.524
AT ITER 5940 NEW BEST:: SOT 388708 SOS 268024 HAS SOPS 223368 HAS SOUS 68275 HAS SOUPS 67870 WITH SCORE 68138.024
AT ITER 5943 NEW BEST:: SOT 387356 SOS 267072 HAS SOPS 222343 HAS SOUS 66863 HAS SOUPS 66458 WITH SCORE 66725.072
AT ITER 5950 NEW BEST:: SOT 387356 SOS 267072 HAS SOPS 222322 HAS SOUS 66842 HAS SOUPS 66437 WITH SCORE 66704.072
AT ITER 5998 NEW BEST:: SOT 388408 SOS 265832 HAS SOPS 219719 HAS SOUS 65852 HAS SOUPS 65447 WITH SCORE 65712.832
AT ITER 6070 NEW BEST:: SOT 388400 SOS 265824 HAS SOPS 219714 HAS SOUS 65847 HAS SOUPS 65442 WITH SCORE 65707.824
AT ITER 6082 NEW BEST:: SOT 388384 SOS 265808 HAS SOPS 219698 HAS SOUS 65831 HAS SOUPS 65426 WITH SCORE 65691.808
AT ITER 6217 NEW BEST:: SOT 388360 SOS 265784 HAS SOPS 219674 HAS SOUS 65807 HAS SOUPS 65402 WITH SCORE 65667.784
AT ITER 6287 NEW BEST:: SOT 388360 SOS 265434 HAS SOPS 219324 HAS SOUS 65800 HAS SOUPS 65395 WITH SCORE 65660.434
AT ITER 6316 NEW BEST:: SOT 388360 SOS 265384 HAS SOPS 219274 HAS SOUS 65799 HAS SOUPS 65394 WITH SCORE 65659.384
AT ITER 6340 NEW BEST:: SOT 388924 SOS 265948 HAS SOPS 219874 HAS SOUS 65163 HAS SOUPS 64758 WITH SCORE 65023.948
AT ITER 6356 NEW BEST:: SOT 388915 SOS 265939 HAS SOPS 219865 HAS SOUS 65154 HAS SOUPS 64749 WITH SCORE 65014.939
AT ITER 6361 NEW BEST:: SOT 388915 SOS 265439 HAS SOPS 219365 HAS SOUS 65144 HAS SOUPS 64739 WITH SCORE 65004.439
AT ITER 6409 NEW BEST:: SOT 388877 SOS 265401 HAS SOPS 219327 HAS SOUS 65106 HAS SOUPS 64701 WITH SCORE 64966.401
AT ITER 6466 NEW BEST:: SOT 389206 SOS 265730 HAS SOPS 219662 HAS SOUS 64787 HAS SOUPS 64382 WITH SCORE 64647.73
AT ITER 6516 NEW BEST:: SOT 389206 SOS 265727 HAS SOPS 219659 HAS SOUS 64784 HAS SOUPS 64379 WITH SCORE 64644.727
AT ITER 6579 NEW BEST:: SOT 389206 SOS 265477 HAS SOPS 219409 HAS SOUS 64779 HAS SOUPS 64374 WITH SCORE 64639.477
AT ITER 6581 NEW BEST:: SOT 389170 SOS 265441 HAS SOPS 219360 HAS SOUS 64730 HAS SOUPS 64325 WITH SCORE 64590.441
AT ITER 6593 NEW BEST:: SOT 389170 SOS 265435 HAS SOPS 219354 HAS SOUS 64710 HAS SOUPS 64305 WITH SCORE 64570.435
AT ITER 6671 NEW BEST:: SOT 389163 SOS 265428 HAS SOPS 219347 HAS SOUS 64703 HAS SOUPS 64298 WITH SCORE 64563.428
AT ITER 6711 NEW BEST:: SOT 389117 SOS 265382 HAS SOPS 219301 HAS SOUS 64657 HAS SOUPS 64252 WITH SCORE 64517.382
AT ITER 6713 NEW BEST:: SOT 389075 SOS 265340 HAS SOPS 219259 HAS SOUS 64615 HAS SOUPS 64210 WITH SCORE 64475.34
AT ITER 6740 NEW BEST:: SOT 389075 SOS 265420 HAS SOPS 219215 HAS SOUS 64594 HAS SOUPS 64189 WITH SCORE 64454.42
AT ITER 6753 NEW BEST:: SOT 389063 SOS 265415 HAS SOPS 219210 HAS SOUS 64589 HAS SOUPS 64184 WITH SCORE 64449.415
AT ITER 6769 NEW BEST:: SOT 389068 SOS 265420 HAS SOPS 219202 HAS SOUS 64581 HAS SOUPS 64176 WITH SCORE 64441.42
AT ITER 6799 NEW BEST:: SOT 389055 SOS 265407 HAS SOPS 219189 HAS SOUS 64568 HAS SOUPS 64163 WITH SCORE 64428.407
AT ITER 6826 NEW BEST:: SOT 389055 SOS 265407 HAS SOPS 219185 HAS SOUS 64564 HAS SOUPS 64159 WITH SCORE 64424.407
AT ITER 6843 NEW BEST:: SOT 389037 SOS 265389 HAS SOPS 219158 HAS SOUS 64537 HAS SOUPS 64132 WITH SCORE 64397.389
AT ITER 6866 NEW BEST:: SOT 389085 SOS 265437 HAS SOPS 219149 HAS SOUS 64528 HAS SOUPS 64123 WITH SCORE 64388.437
AT ITER 6896 NEW BEST:: SOT 389085 SOS 265432 HAS SOPS 219144 HAS SOUS 64522 HAS SOUPS 64117 WITH SCORE 64382.432
AT ITER 6897 NEW BEST:: SOT 389079 SOS 265426 HAS SOPS 219138 HAS SOUS 64516 HAS SOUPS 64111 WITH SCORE 64376.426
AT ITER 6970 NEW BEST:: SOT 389015 SOS 265362 HAS SOPS 219071 HAS SOUS 64449 HAS SOUPS 64044 WITH SCORE 64309.362
AT ITER 7001 NEW BEST:: SOT 388977 SOS 265324 HAS SOPS 219052 HAS SOUS 64430 HAS SOUPS 64025 WITH SCORE 64290.324
AT ITER 7032 NEW BEST:: SOT 388977 SOS 265081 HAS SOPS 218956 HAS SOUS 64427 HAS SOUPS 64025 WITH SCORE 64290.081
AT ITER 7084 NEW BEST:: SOT 388967 SOS 265071 HAS SOPS 218929 HAS SOUS 64400 HAS SOUPS 63998 WITH SCORE 64263.071
AT ITER 7106 NEW BEST:: SOT 389017 SOS 265114 HAS SOPS 218979 HAS SOUS 64150 HAS SOUPS 63748 WITH SCORE 64013.114
AT ITER 7187 NEW BEST:: SOT 389007 SOS 265104 HAS SOPS 218965 HAS SOUS 64136 HAS SOUPS 63734 WITH SCORE 63999.104
AT ITER 7308 NEW BEST:: SOT 388997 SOS 265094 HAS SOPS 218955 HAS SOUS 64126 HAS SOUPS 63724 WITH SCORE 63989.094
AT ITER 7350 NEW BEST:: SOT 388997 SOS 265094 HAS SOPS 218954 HAS SOUS 64125 HAS SOUPS 63723 WITH SCORE 63988.094
AT ITER 7426 NEW BEST:: SOT 387867 SOS 263964 HAS SOPS 217824 HAS SOUS 62995 HAS SOUPS 62593 WITH SCORE 62856.964
AT ITER 7443 NEW BEST:: SOT 387867 SOS 262102 HAS SOPS 217824 HAS SOUS 62957 HAS SOUPS 62593 WITH SCORE 62855.102
AT ITER 7452 NEW BEST:: SOT 387845 SOS 262080 HAS SOPS 217824 HAS SOUS 62957 HAS SOUPS 62593 WITH SCORE 62855.08
AT ITER 7490 NEW BEST:: SOT 387845 SOS 261983 HAS SOPS 217727 HAS SOUS 62955 HAS SOUPS 62591 WITH SCORE 62852.983
AT ITER 7542 NEW BEST:: SOT 387620 SOS 261741 HAS SOPS 217481 HAS SOUS 62480 HAS SOUPS 62116 WITH SCORE 62377.741
AT ITER 7543 NEW BEST:: SOT 387609 SOS 261730 HAS SOPS 217470 HAS SOUS 62469 HAS SOUPS 62105 WITH SCORE 62366.73
AT ITER 7582 NEW BEST:: SOT 387593 SOS 261714 HAS SOPS 217454 HAS SOUS 62453 HAS SOUPS 62089 WITH SCORE 62350.714
AT ITER 7625 NEW BEST:: SOT 387567 SOS 261688 HAS SOPS 217402 HAS SOUS 62400 HAS SOUPS 62036 WITH SCORE 62297.688
AT ITER 7774 NEW BEST:: SOT 387567 SOS 261238 HAS SOPS 216952 HAS SOUS 62391 HAS SOUPS 62027 WITH SCORE 62288.238
AT ITER 7807 NEW BEST:: SOT 387407 SOS 261078 HAS SOPS 216792 HAS SOUS 62231 HAS SOUPS 61867 WITH SCORE 62128.078
AT ITER 7947 NEW BEST:: SOT 387407 SOS 262846 HAS SOPS 218560 HAS SOUS 62223 HAS SOUPS 61859 WITH SCORE 62121.846
AT ITER 7957 NEW BEST:: SOT 387353 SOS 262721 HAS SOPS 218435 HAS SOUS 62010 HAS SOUPS 61646 WITH SCORE 61908.721
AT ITER 7999 NEW BEST:: SOT 387359 SOS 262727 HAS SOPS 218429 HAS SOUS 62004 HAS SOUPS 61640 WITH SCORE 61902.727
AT ITER 8095 NEW BEST:: SOT 387312 SOS 262680 HAS SOPS 218382 HAS SOUS 61957 HAS SOUPS 61593 WITH SCORE 61855.68
AT ITER 8183 NEW BEST:: SOT 387302 SOS 262670 HAS SOPS 218369 HAS SOUS 61944 HAS SOUPS 61580 WITH SCORE 61842.67
AT ITER 8197 NEW BEST:: SOT 387046 SOS 262396 HAS SOPS 218095 HAS SOUS 61670 HAS SOUPS 61306 WITH SCORE 61568.396
AT ITER 8202 NEW BEST:: SOT 386752 SOS 262102 HAS SOPS 217801 HAS SOUS 61376 HAS SOUPS 61012 WITH SCORE 61274.102
AT ITER 8323 NEW BEST:: SOT 386740 SOS 262090 HAS SOPS 217789 HAS SOUS 61364 HAS SOUPS 61000 WITH SCORE 61262.09
AT ITER 8378 NEW BEST:: SOT 386740 SOS 261840 HAS SOPS 217539 HAS SOUS 61359 HAS SOUPS 60995 WITH SCORE 61256.84
AT ITER 8379 NEW BEST:: SOT 386727 SOS 261827 HAS SOPS 217525 HAS SOUS 61345 HAS SOUPS 60981 WITH SCORE 61242.827
AT ITER 8438 NEW BEST:: SOT 386715 SOS 261815 HAS SOPS 217525 HAS SOUS 61345 HAS SOUPS 60981 WITH SCORE 61242.815
AT ITER 8440 NEW BEST:: SOT 386715 SOS 261423 HAS SOPS 217133 HAS SOUS 61345 HAS SOUPS 60981 WITH SCORE 61242.423
AT ITER 8507 NEW BEST:: SOT 386715 SOS 260175 HAS SOPS 215885 HAS SOUS 61322 HAS SOUPS 60958 WITH SCORE 61218.175
AT ITER 8549 NEW BEST:: SOT 386626 SOS 260086 HAS SOPS 215832 HAS SOUS 61269 HAS SOUPS 60905 WITH SCORE 61165.086
AT ITER 8567 NEW BEST:: SOT 386626 SOS 260064 HAS SOPS 215810 HAS SOUS 61269 HAS SOUPS 60905 WITH SCORE 61165.064
AT ITER 8578 NEW BEST:: SOT 386626 SOS 260157 HAS SOPS 215903 HAS SOUS 61264 HAS SOUPS 60900 WITH SCORE 61160.157
AT ITER 8579 NEW BEST:: SOT 386432 SOS 258898 HAS SOPS 214015 HAS SOUS 61043 HAS SOUPS 60679 WITH SCORE 60937.898
AT ITER 8607 NEW BEST:: SOT 386423 SOS 258889 HAS SOPS 213997 HAS SOUS 61025 HAS SOUPS 60661 WITH SCORE 60919.889
AT ITER 8624 NEW BEST:: SOT 386123 SOS 258589 HAS SOPS 213697 HAS SOUS 60731 HAS SOUPS 60367 WITH SCORE 60625.589
AT ITER 8661 NEW BEST:: SOT 385823 SOS 258297 HAS SOPS 213405 HAS SOUS 60639 HAS SOUPS 60275 WITH SCORE 60533.297
AT ITER 8749 NEW BEST:: SOT 385817 SOS 258291 HAS SOPS 213401 HAS SOUS 60635 HAS SOUPS 60271 WITH SCORE 60529.291
AT ITER 8783 NEW BEST:: SOT 385799 SOS 258273 HAS SOPS 213383 HAS SOUS 60617 HAS SOUPS 60253 WITH SCORE 60511.273
AT ITER 8819 NEW BEST:: SOT 386080 SOS 258529 HAS SOPS 213643 HAS SOUS 59927 HAS SOUPS 59563 WITH SCORE 59821.529
AT ITER 8821 NEW BEST:: SOT 385977 SOS 258418 HAS SOPS 213532 HAS SOUS 59816 HAS SOUPS 59452 WITH SCORE 59710.418
AT ITER 8844 NEW BEST:: SOT 385973 SOS 258414 HAS SOPS 213528 HAS SOUS 59812 HAS SOUPS 59448 WITH SCORE 59706.414
AT ITER 8869 NEW BEST:: SOT 385973 SOS 258364 HAS SOPS 213478 HAS SOUS 59811 HAS SOUPS 59447 WITH SCORE 59705.364
AT ITER 8913 NEW BEST:: SOT 385971 SOS 258362 HAS SOPS 213475 HAS SOUS 59808 HAS SOUPS 59444 WITH SCORE 59702.362
AT ITER 8921 NEW BEST:: SOT 385970 SOS 258361 HAS SOPS 213474 HAS SOUS 59807 HAS SOUPS 59443 WITH SCORE 59701.361
AT ITER 9013 NEW BEST:: SOT 385970 SOS 258699 HAS SOPS 213812 HAS SOUS 59802 HAS SOUPS 59438 WITH SCORE 59696.699
AT ITER 9046 NEW BEST:: SOT 385970 SOS 258549 HAS SOPS 213662 HAS SOUS 59799 HAS SOUPS 59435 WITH SCORE 59693.549
AT ITER 9117 NEW BEST:: SOT 385970 SOS 258542 HAS SOPS 213655 HAS SOUS 59792 HAS SOUPS 59428 WITH SCORE 59686.542
AT ITER 9131 NEW BEST:: SOT 385963 SOS 258535 HAS SOPS 213641 HAS SOUS 59778 HAS SOUPS 59414 WITH SCORE 59672.535
AT ITER 9146 NEW BEST:: SOT 385911 SOS 258483 HAS SOPS 213573 HAS SOUS 59710 HAS SOUPS 59346 WITH SCORE 59604.483
AT ITER 9197 NEW BEST:: SOT 385911 SOS 258483 HAS SOPS 213569 HAS SOUS 59506 HAS SOUPS 59142 WITH SCORE 59400.483
AT ITER 9258 NEW BEST:: SOT 385906 SOS 258478 HAS SOPS 213564 HAS SOUS 59501 HAS SOUPS 59137 WITH SCORE 59395.478
AT ITER 9264 NEW BEST:: SOT 385906 SOS 259040 HAS SOPS 214126 HAS SOUS 59475 HAS SOUPS 59111 WITH SCORE 59370.04
AT ITER 9495 NEW BEST:: SOT 385906 SOS 259013 HAS SOPS 214099 HAS SOUS 59448 HAS SOUPS 59084 WITH SCORE 59343.013
AT ITER 9527 NEW BEST:: SOT 385374 SOS 258481 HAS SOPS 213567 HAS SOUS 58927 HAS SOUPS 58563 WITH SCORE 58821.481
AT ITER 9567 NEW BEST:: SOT 385372 SOS 258479 HAS SOPS 213564 HAS SOUS 58924 HAS SOUPS 58560 WITH SCORE 58818.479
AT ITER 9598 NEW BEST:: SOT 385353 SOS 258460 HAS SOPS 213527 HAS SOUS 58887 HAS SOUPS 58523 WITH SCORE 58781.46
AT ITER 9830 NEW BEST:: SOT 385353 SOS 258110 HAS SOPS 213177 HAS SOUS 58880 HAS SOUPS 58516 WITH SCORE 58774.11
AT ITER 9851 NEW BEST:: SOT 385353 SOS 258110 HAS SOPS 213163 HAS SOUS 58866 HAS SOUPS 58502 WITH SCORE 58760.11
AT ITER 9864 NEW BEST:: SOT 385373 SOS 258130 HAS SOPS 213158 HAS SOUS 58861 HAS SOUPS 58497 WITH SCORE 58755.13
AT ITER 9954 NEW BEST:: SOT 385373 SOS 257456 HAS SOPS 212484 HAS SOUS 58824 HAS SOUPS 58460 WITH SCORE 58717.456
AT ITER 9962 NEW BEST:: SOT 385023 SOS 257106 HAS SOPS 212134 HAS SOUS 58484 HAS SOUPS 58120 WITH SCORE 58377.106

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Railroad-PT-050"
export BK_EXAMINATION="StateSpace"
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 Railroad-PT-050, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502700320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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