Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250800656.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PermAdmissibility-PT-50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250800656
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 972K
-rw-r--r-- 1 mcc users 4.6K Apr 12 00:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 12 00:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K Apr 10 23:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 81K Apr 10 23:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.1K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 23K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 91K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 08:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 08:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 30K Apr 9 12:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 110K Apr 9 12:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.9K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 484K Mar 24 05:37 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 1589645976522

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

Filename model.pnml
Petri model created: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 73798 SOS 47388 HAS SOPS 47388 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29111.388
AT ITER 3 NEW BEST:: SOT 73580 SOS 47230 HAS SOPS 47230 HAS SOUS 28915 HAS SOUPS 28915 WITH SCORE 28962.23
AT ITER 14 NEW BEST:: SOT 73580 SOS 47806 HAS SOPS 47806 HAS SOUS 28884 HAS SOUPS 28884 WITH SCORE 28931.806
AT ITER 16 NEW BEST:: SOT 73236 SOS 47522 HAS SOPS 47522 HAS SOUS 28526 HAS SOUPS 28526 WITH SCORE 28573.522
AT ITER 20 NEW BEST:: SOT 73236 SOS 47522 HAS SOPS 47522 HAS SOUS 28481 HAS SOUPS 28481 WITH SCORE 28528.522
AT ITER 26 NEW BEST:: SOT 73059 SOS 47967 HAS SOPS 47967 HAS SOUS 28464 HAS SOUPS 28464 WITH SCORE 28511.967
AT ITER 29 NEW BEST:: SOT 72787 SOS 47699 HAS SOPS 47699 HAS SOUS 28223 HAS SOUPS 28223 WITH SCORE 28270.699
AT ITER 37 NEW BEST:: SOT 72787 SOS 47699 HAS SOPS 47699 HAS SOUS 28204 HAS SOUPS 28204 WITH SCORE 28251.699
AT ITER 49 NEW BEST:: SOT 72787 SOS 47699 HAS SOPS 47699 HAS SOUS 28198 HAS SOUPS 28198 WITH SCORE 28245.699
AT ITER 53 NEW BEST:: SOT 72411 SOS 47375 HAS SOPS 47375 HAS SOUS 27806 HAS SOUPS 27806 WITH SCORE 27853.375
AT ITER 55 NEW BEST:: SOT 72411 SOS 47375 HAS SOPS 47375 HAS SOUS 27739 HAS SOUPS 27739 WITH SCORE 27786.375
AT ITER 67 NEW BEST:: SOT 72218 SOS 47512 HAS SOPS 47512 HAS SOUS 27546 HAS SOUPS 27546 WITH SCORE 27593.512
AT ITER 68 NEW BEST:: SOT 72042 SOS 48206 HAS SOPS 48206 HAS SOUS 27471 HAS SOUPS 27471 WITH SCORE 27519.206
AT ITER 69 NEW BEST:: SOT 71958 SOS 48572 HAS SOPS 48572 HAS SOUS 27146 HAS SOUPS 27146 WITH SCORE 27194.572
AT ITER 71 NEW BEST:: SOT 71958 SOS 48593 HAS SOPS 48593 HAS SOUS 27075 HAS SOUPS 27075 WITH SCORE 27123.593
AT ITER 75 NEW BEST:: SOT 71958 SOS 48593 HAS SOPS 48593 HAS SOUS 27003 HAS SOUPS 27003 WITH SCORE 27051.593
AT ITER 81 NEW BEST:: SOT 71958 SOS 48593 HAS SOPS 48593 HAS SOUS 26826 HAS SOUPS 26826 WITH SCORE 26874.593
AT ITER 85 NEW BEST:: SOT 71691 SOS 48547 HAS SOPS 48547 HAS SOUS 26691 HAS SOUPS 26691 WITH SCORE 26739.547
AT ITER 98 NEW BEST:: SOT 71623 SOS 48518 HAS SOPS 48518 HAS SOUS 26546 HAS SOUPS 26546 WITH SCORE 26594.518
AT ITER 105 NEW BEST:: SOT 71466 SOS 48415 HAS SOPS 48415 HAS SOUS 26420 HAS SOUPS 26420 WITH SCORE 26468.415
AT ITER 109 NEW BEST:: SOT 71345 SOS 48324 HAS SOPS 48324 HAS SOUS 26228 HAS SOUPS 26228 WITH SCORE 26276.324
AT ITER 114 NEW BEST:: SOT 71345 SOS 48324 HAS SOPS 48324 HAS SOUS 26226 HAS SOUPS 26226 WITH SCORE 26274.324
AT ITER 133 NEW BEST:: SOT 71321 SOS 48300 HAS SOPS 48300 HAS SOUS 26182 HAS SOUPS 26182 WITH SCORE 26230.3
AT ITER 138 NEW BEST:: SOT 71083 SOS 48717 HAS SOPS 48717 HAS SOUS 25747 HAS SOUPS 25747 WITH SCORE 25795.717
AT ITER 145 NEW BEST:: SOT 71053 SOS 48687 HAS SOPS 48687 HAS SOUS 25729 HAS SOUPS 25729 WITH SCORE 25777.687
AT ITER 154 NEW BEST:: SOT 70935 SOS 48625 HAS SOPS 48625 HAS SOUS 25528 HAS SOUPS 25528 WITH SCORE 25576.625
AT ITER 160 NEW BEST:: SOT 70947 SOS 48643 HAS SOPS 48643 HAS SOUS 25481 HAS SOUPS 25481 WITH SCORE 25529.643
AT ITER 161 NEW BEST:: SOT 70947 SOS 49075 HAS SOPS 49075 HAS SOUS 25448 HAS SOUPS 25448 WITH SCORE 25497.075
AT ITER 164 NEW BEST:: SOT 70947 SOS 48984 HAS SOPS 48984 HAS SOUS 25427 HAS SOUPS 25427 WITH SCORE 25475.984
AT ITER 176 NEW BEST:: SOT 70652 SOS 48897 HAS SOPS 48897 HAS SOUS 25321 HAS SOUPS 25321 WITH SCORE 25369.897
AT ITER 185 NEW BEST:: SOT 70652 SOS 48897 HAS SOPS 48897 HAS SOUS 25163 HAS SOUPS 25163 WITH SCORE 25211.897
AT ITER 189 NEW BEST:: SOT 70652 SOS 48897 HAS SOPS 48897 HAS SOUS 25151 HAS SOUPS 25151 WITH SCORE 25199.897
AT ITER 198 NEW BEST:: SOT 70552 SOS 48797 HAS SOPS 48797 HAS SOUS 25121 HAS SOUPS 25121 WITH SCORE 25169.797
AT ITER 203 NEW BEST:: SOT 70504 SOS 48753 HAS SOPS 48753 HAS SOUS 25085 HAS SOUPS 25085 WITH SCORE 25133.753
AT ITER 207 NEW BEST:: SOT 70398 SOS 48855 HAS SOPS 48855 HAS SOUS 25010 HAS SOUPS 25010 WITH SCORE 25058.855
AT ITER 210 NEW BEST:: SOT 70232 SOS 48940 HAS SOPS 48940 HAS SOUS 24760 HAS SOUPS 24760 WITH SCORE 24808.94
AT ITER 214 NEW BEST:: SOT 70232 SOS 48940 HAS SOPS 48940 HAS SOUS 24678 HAS SOUPS 24678 WITH SCORE 24726.94
AT ITER 217 NEW BEST:: SOT 70220 SOS 50983 HAS SOPS 50983 HAS SOUS 24650 HAS SOUPS 24650 WITH SCORE 24700.983
AT ITER 218 NEW BEST:: SOT 70223 SOS 50975 HAS SOPS 50975 HAS SOUS 24649 HAS SOUPS 24649 WITH SCORE 24699.975
AT ITER 234 NEW BEST:: SOT 70223 SOS 50975 HAS SOPS 50975 HAS SOUS 24614 HAS SOUPS 24614 WITH SCORE 24664.975
AT ITER 236 NEW BEST:: SOT 70229 SOS 51005 HAS SOPS 51005 HAS SOUS 24598 HAS SOUPS 24598 WITH SCORE 24649.005
AT ITER 237 NEW BEST:: SOT 70205 SOS 50981 HAS SOPS 50981 HAS SOUS 24526 HAS SOUPS 24526 WITH SCORE 24576.981
AT ITER 249 NEW BEST:: SOT 70205 SOS 50981 HAS SOPS 50981 HAS SOUS 24286 HAS SOUPS 24286 WITH SCORE 24336.981
AT ITER 264 NEW BEST:: SOT 69927 SOS 50982 HAS SOPS 50982 HAS SOUS 24038 HAS SOUPS 24038 WITH SCORE 24088.982
AT ITER 287 NEW BEST:: SOT 69892 SOS 50947 HAS SOPS 50947 HAS SOUS 23969 HAS SOUPS 23969 WITH SCORE 24019.947
AT ITER 293 NEW BEST:: SOT 69876 SOS 50931 HAS SOPS 50931 HAS SOUS 23967 HAS SOUPS 23967 WITH SCORE 24017.931
AT ITER 301 NEW BEST:: SOT 69857 SOS 51011 HAS SOPS 51011 HAS SOUS 23958 HAS SOUPS 23958 WITH SCORE 24009.011
AT ITER 309 NEW BEST:: SOT 69768 SOS 50948 HAS SOPS 50948 HAS SOUS 23856 HAS SOUPS 23856 WITH SCORE 23906.948
AT ITER 318 NEW BEST:: SOT 69774 SOS 50854 HAS SOPS 50854 HAS SOUS 23836 HAS SOUPS 23836 WITH SCORE 23886.854
AT ITER 322 NEW BEST:: SOT 69536 SOS 50688 HAS SOPS 50688 HAS SOUS 23630 HAS SOUPS 23630 WITH SCORE 23680.688
AT ITER 332 NEW BEST:: SOT 69356 SOS 50486 HAS SOPS 50486 HAS SOUS 23455 HAS SOUPS 23455 WITH SCORE 23505.486
AT ITER 361 NEW BEST:: SOT 69356 SOS 50774 HAS SOPS 50774 HAS SOUS 23401 HAS SOUPS 23401 WITH SCORE 23451.774
AT ITER 410 NEW BEST:: SOT 69374 SOS 50797 HAS SOPS 50797 HAS SOUS 23356 HAS SOUPS 23356 WITH SCORE 23406.797
AT ITER 441 NEW BEST:: SOT 69374 SOS 50797 HAS SOPS 50797 HAS SOUS 23239 HAS SOUPS 23239 WITH SCORE 23289.797
AT ITER 442 NEW BEST:: SOT 69215 SOS 50681 HAS SOPS 50681 HAS SOUS 23192 HAS SOUPS 23192 WITH SCORE 23242.681
AT ITER 446 NEW BEST:: SOT 69169 SOS 50635 HAS SOPS 50635 HAS SOUS 23136 HAS SOUPS 23136 WITH SCORE 23186.635
AT ITER 457 NEW BEST:: SOT 69245 SOS 50532 HAS SOPS 50532 HAS SOUS 23121 HAS SOUPS 23121 WITH SCORE 23171.532
AT ITER 460 NEW BEST:: SOT 69220 SOS 50507 HAS SOPS 50507 HAS SOUS 23010 HAS SOUPS 23010 WITH SCORE 23060.507
AT ITER 465 NEW BEST:: SOT 69220 SOS 50507 HAS SOPS 50507 HAS SOUS 23007 HAS SOUPS 23007 WITH SCORE 23057.507
AT ITER 474 NEW BEST:: SOT 69173 SOS 50429 HAS SOPS 50429 HAS SOUS 22959 HAS SOUPS 22959 WITH SCORE 23009.429
AT ITER 479 NEW BEST:: SOT 69185 SOS 50142 HAS SOPS 50142 HAS SOUS 22957 HAS SOUPS 22957 WITH SCORE 23007.142
AT ITER 480 NEW BEST:: SOT 69000 SOS 49957 HAS SOPS 49957 HAS SOUS 22861 HAS SOUPS 22861 WITH SCORE 22910.957
AT ITER 485 NEW BEST:: SOT 69002 SOS 49920 HAS SOPS 49920 HAS SOUS 22857 HAS SOUPS 22857 WITH SCORE 22906.92
AT ITER 486 NEW BEST:: SOT 68998 SOS 49916 HAS SOPS 49916 HAS SOUS 22853 HAS SOUPS 22853 WITH SCORE 22902.916
AT ITER 495 NEW BEST:: SOT 68858 SOS 49776 HAS SOPS 49776 HAS SOUS 22713 HAS SOUPS 22713 WITH SCORE 22762.776
AT ITER 498 NEW BEST:: SOT 68846 SOS 49855 HAS SOPS 49855 HAS SOUS 22666 HAS SOUPS 22666 WITH SCORE 22715.855
AT ITER 501 NEW BEST:: SOT 68833 SOS 49842 HAS SOPS 49842 HAS SOUS 22622 HAS SOUPS 22622 WITH SCORE 22671.842
AT ITER 523 NEW BEST:: SOT 68854 SOS 49680 HAS SOPS 49680 HAS SOUS 22603 HAS SOUPS 22603 WITH SCORE 22652.68
AT ITER 547 NEW BEST:: SOT 68846 SOS 49674 HAS SOPS 49674 HAS SOUS 22588 HAS SOUPS 22588 WITH SCORE 22637.674
AT ITER 549 NEW BEST:: SOT 68830 SOS 49660 HAS SOPS 49660 HAS SOUS 22560 HAS SOUPS 22560 WITH SCORE 22609.66
AT ITER 553 NEW BEST:: SOT 68716 SOS 50096 HAS SOPS 50096 HAS SOUS 22254 HAS SOUPS 22254 WITH SCORE 22304.096
AT ITER 556 NEW BEST:: SOT 68716 SOS 50096 HAS SOPS 50096 HAS SOUS 22251 HAS SOUPS 22251 WITH SCORE 22301.096
AT ITER 557 NEW BEST:: SOT 68716 SOS 49864 HAS SOPS 49864 HAS SOUS 22250 HAS SOUPS 22250 WITH SCORE 22299.864
AT ITER 562 NEW BEST:: SOT 68649 SOS 49869 HAS SOPS 49869 HAS SOUS 22149 HAS SOUPS 22149 WITH SCORE 22198.869
AT ITER 582 NEW BEST:: SOT 68649 SOS 49869 HAS SOPS 49869 HAS SOUS 22115 HAS SOUPS 22115 WITH SCORE 22164.869
AT ITER 583 NEW BEST:: SOT 68625 SOS 49845 HAS SOPS 49845 HAS SOUS 22067 HAS SOUPS 22067 WITH SCORE 22116.845
AT ITER 597 NEW BEST:: SOT 68625 SOS 49695 HAS SOPS 49695 HAS SOUS 22055 HAS SOUPS 22055 WITH SCORE 22104.695
AT ITER 611 NEW BEST:: SOT 68388 SOS 49449 HAS SOPS 49449 HAS SOUS 21965 HAS SOUPS 21965 WITH SCORE 22014.449
AT ITER 612 NEW BEST:: SOT 68388 SOS 49449 HAS SOPS 49449 HAS SOUS 21870 HAS SOUPS 21870 WITH SCORE 21919.449
AT ITER 615 NEW BEST:: SOT 68179 SOS 49566 HAS SOPS 49566 HAS SOUS 21690 HAS SOUPS 21690 WITH SCORE 21739.566
AT ITER 635 NEW BEST:: SOT 68159 SOS 49559 HAS SOPS 49559 HAS SOUS 21665 HAS SOUPS 21665 WITH SCORE 21714.559
AT ITER 636 NEW BEST:: SOT 68104 SOS 49504 HAS SOPS 49504 HAS SOUS 21536 HAS SOUPS 21536 WITH SCORE 21585.504
AT ITER 667 NEW BEST:: SOT 68108 SOS 49481 HAS SOPS 49481 HAS SOUS 21525 HAS SOUPS 21525 WITH SCORE 21574.481
AT ITER 691 NEW BEST:: SOT 68108 SOS 49481 HAS SOPS 49481 HAS SOUS 21451 HAS SOUPS 21451 WITH SCORE 21500.481
AT ITER 715 NEW BEST:: SOT 68123 SOS 49448 HAS SOPS 49448 HAS SOUS 21448 HAS SOUPS 21448 WITH SCORE 21497.448
AT ITER 718 NEW BEST:: SOT 68123 SOS 49448 HAS SOPS 49448 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21466.448
AT ITER 745 NEW BEST:: SOT 68015 SOS 49335 HAS SOPS 49335 HAS SOUS 21328 HAS SOUPS 21328 WITH SCORE 21377.335
AT ITER 748 NEW BEST:: SOT 67873 SOS 49193 HAS SOPS 49193 HAS SOUS 21274 HAS SOUPS 21274 WITH SCORE 21323.193
AT ITER 761 NEW BEST:: SOT 67795 SOS 49125 HAS SOPS 49125 HAS SOUS 21191 HAS SOUPS 21191 WITH SCORE 21240.125
AT ITER 765 NEW BEST:: SOT 67795 SOS 49125 HAS SOPS 49125 HAS SOUS 21151 HAS SOUPS 21151 WITH SCORE 21200.125
AT ITER 792 NEW BEST:: SOT 67795 SOS 49125 HAS SOPS 49125 HAS SOUS 21149 HAS SOUPS 21149 WITH SCORE 21198.125
AT ITER 797 NEW BEST:: SOT 67760 SOS 49096 HAS SOPS 49096 HAS SOUS 21119 HAS SOUPS 21119 WITH SCORE 21168.096
AT ITER 812 NEW BEST:: SOT 67688 SOS 49116 HAS SOPS 49116 HAS SOUS 21028 HAS SOUPS 21028 WITH SCORE 21077.116
AT ITER 816 NEW BEST:: SOT 67688 SOS 49116 HAS SOPS 49116 HAS SOUS 21021 HAS SOUPS 21021 WITH SCORE 21070.116
AT ITER 817 NEW BEST:: SOT 67710 SOS 49138 HAS SOPS 49138 HAS SOUS 21017 HAS SOUPS 21017 WITH SCORE 21066.138
AT ITER 849 NEW BEST:: SOT 67679 SOS 49107 HAS SOPS 49107 HAS SOUS 20986 HAS SOUPS 20986 WITH SCORE 21035.107
AT ITER 852 NEW BEST:: SOT 67659 SOS 49087 HAS SOPS 49087 HAS SOUS 20966 HAS SOUPS 20966 WITH SCORE 21015.087
AT ITER 910 NEW BEST:: SOT 67668 SOS 50072 HAS SOPS 50072 HAS SOUS 20962 HAS SOUPS 20962 WITH SCORE 21012.072
AT ITER 938 NEW BEST:: SOT 67654 SOS 50058 HAS SOPS 50058 HAS SOUS 20855 HAS SOUPS 20855 WITH SCORE 20905.058
AT ITER 970 NEW BEST:: SOT 67630 SOS 50085 HAS SOPS 50085 HAS SOUS 20838 HAS SOUPS 20838 WITH SCORE 20888.085
AT ITER 975 NEW BEST:: SOT 67490 SOS 49965 HAS SOPS 49965 HAS SOUS 20683 HAS SOUPS 20683 WITH SCORE 20732.965
AT ITER 981 NEW BEST:: SOT 67490 SOS 49653 HAS SOPS 49653 HAS SOUS 20683 HAS SOUPS 20683 WITH SCORE 20732.653
AT ITER 993 NEW BEST:: SOT 67490 SOS 49653 HAS SOPS 49653 HAS SOUS 20672 HAS SOUPS 20672 WITH SCORE 20721.653
AT ITER 1009 NEW BEST:: SOT 67490 SOS 47901 HAS SOPS 47901 HAS SOUS 20618 HAS SOUPS 20618 WITH SCORE 20665.901
AT ITER 1018 NEW BEST:: SOT 67386 SOS 47799 HAS SOPS 47799 HAS SOUS 20544 HAS SOUPS 20544 WITH SCORE 20591.799
AT ITER 1019 NEW BEST:: SOT 67386 SOS 47799 HAS SOPS 47799 HAS SOUS 20542 HAS SOUPS 20542 WITH SCORE 20589.799
AT ITER 1023 NEW BEST:: SOT 67370 SOS 47778 HAS SOPS 47778 HAS SOUS 20538 HAS SOUPS 20538 WITH SCORE 20585.778
AT ITER 1027 NEW BEST:: SOT 67358 SOS 47766 HAS SOPS 47766 HAS SOUS 20510 HAS SOUPS 20510 WITH SCORE 20557.766
AT ITER 1066 NEW BEST:: SOT 67447 SOS 47341 HAS SOPS 47341 HAS SOUS 20424 HAS SOUPS 20424 WITH SCORE 20471.341
AT ITER 1090 NEW BEST:: SOT 67425 SOS 47501 HAS SOPS 47501 HAS SOUS 20397 HAS SOUPS 20397 WITH SCORE 20444.501
AT ITER 1097 NEW BEST:: SOT 67455 SOS 47531 HAS SOPS 47531 HAS SOUS 20387 HAS SOUPS 20387 WITH SCORE 20434.531
AT ITER 1102 NEW BEST:: SOT 67419 SOS 47495 HAS SOPS 47495 HAS SOUS 20351 HAS SOUPS 20351 WITH SCORE 20398.495
AT ITER 1116 NEW BEST:: SOT 67409 SOS 47485 HAS SOPS 47485 HAS SOUS 20341 HAS SOUPS 20341 WITH SCORE 20388.485
AT ITER 1126 NEW BEST:: SOT 67409 SOS 47469 HAS SOPS 47469 HAS SOUS 20325 HAS SOUPS 20325 WITH SCORE 20372.469
AT ITER 1134 NEW BEST:: SOT 67403 SOS 47455 HAS SOPS 47455 HAS SOUS 20315 HAS SOUPS 20315 WITH SCORE 20362.455
AT ITER 1152 NEW BEST:: SOT 67417 SOS 47178 HAS SOPS 47178 HAS SOUS 20279 HAS SOUPS 20279 WITH SCORE 20326.178
AT ITER 1173 NEW BEST:: SOT 67359 SOS 47108 HAS SOPS 47108 HAS SOUS 20267 HAS SOUPS 20267 WITH SCORE 20314.108
AT ITER 1197 NEW BEST:: SOT 67420 SOS 46932 HAS SOPS 46932 HAS SOUS 20250 HAS SOUPS 20250 WITH SCORE 20296.932
AT ITER 1211 NEW BEST:: SOT 67363 SOS 46974 HAS SOPS 46974 HAS SOUS 20196 HAS SOUPS 20196 WITH SCORE 20242.974
AT ITER 1212 NEW BEST:: SOT 67338 SOS 46957 HAS SOPS 46957 HAS SOUS 20186 HAS SOUPS 20186 WITH SCORE 20232.957
AT ITER 1221 NEW BEST:: SOT 67289 SOS 46904 HAS SOPS 46904 HAS SOUS 20129 HAS SOUPS 20129 WITH SCORE 20175.904
AT ITER 1275 NEW BEST:: SOT 67283 SOS 46910 HAS SOPS 46910 HAS SOUS 20122 HAS SOUPS 20122 WITH SCORE 20168.91
AT ITER 1283 NEW BEST:: SOT 67271 SOS 46896 HAS SOPS 46896 HAS SOUS 20109 HAS SOUPS 20109 WITH SCORE 20155.896
AT ITER 1330 NEW BEST:: SOT 67271 SOS 46248 HAS SOPS 46248 HAS SOUS 20109 HAS SOUPS 20109 WITH SCORE 20155.248
AT ITER 1353 NEW BEST:: SOT 67271 SOS 46248 HAS SOPS 46248 HAS SOUS 20101 HAS SOUPS 20101 WITH SCORE 20147.248
AT ITER 1358 NEW BEST:: SOT 67265 SOS 46242 HAS SOPS 46242 HAS SOUS 20095 HAS SOUPS 20095 WITH SCORE 20141.242
AT ITER 1376 NEW BEST:: SOT 67265 SOS 46338 HAS SOPS 46338 HAS SOUS 20092 HAS SOUPS 20092 WITH SCORE 20138.338
AT ITER 1384 NEW BEST:: SOT 67229 SOS 46302 HAS SOPS 46302 HAS SOUS 20076 HAS SOUPS 20076 WITH SCORE 20122.302
AT ITER 1402 NEW BEST:: SOT 67210 SOS 46283 HAS SOPS 46283 HAS SOUS 20057 HAS SOUPS 20057 WITH SCORE 20103.283
AT ITER 1447 NEW BEST:: SOT 67108 SOS 46190 HAS SOPS 46190 HAS SOUS 20051 HAS SOUPS 20051 WITH SCORE 20097.19
AT ITER 1455 NEW BEST:: SOT 67073 SOS 46155 HAS SOPS 46155 HAS SOUS 19992 HAS SOUPS 19992 WITH SCORE 20038.155
AT ITER 1460 NEW BEST:: SOT 67073 SOS 46155 HAS SOPS 46155 HAS SOUS 19980 HAS SOUPS 19980 WITH SCORE 20026.155
AT ITER 1494 NEW BEST:: SOT 67071 SOS 46151 HAS SOPS 46151 HAS SOUS 19971 HAS SOUPS 19971 WITH SCORE 20017.151
AT ITER 1509 NEW BEST:: SOT 67071 SOS 46163 HAS SOPS 46163 HAS SOUS 19969 HAS SOUPS 19969 WITH SCORE 20015.163
AT ITER 1525 NEW BEST:: SOT 67078 SOS 46224 HAS SOPS 46224 HAS SOUS 19949 HAS SOUPS 19949 WITH SCORE 19995.224
AT ITER 1537 NEW BEST:: SOT 67078 SOS 46176 HAS SOPS 46176 HAS SOUS 19949 HAS SOUPS 19949 WITH SCORE 19995.176
AT ITER 1542 NEW BEST:: SOT 67078 SOS 46048 HAS SOPS 46048 HAS SOUS 19949 HAS SOUPS 19949 WITH SCORE 19995.048
AT ITER 1549 NEW BEST:: SOT 66954 SOS 46027 HAS SOPS 46027 HAS SOUS 19885 HAS SOUPS 19885 WITH SCORE 19931.027
AT ITER 1552 NEW BEST:: SOT 66932 SOS 46005 HAS SOPS 46005 HAS SOUS 19863 HAS SOUPS 19863 WITH SCORE 19909.005
AT ITER 1566 NEW BEST:: SOT 66932 SOS 48885 HAS SOPS 48885 HAS SOUS 19859 HAS SOUPS 19859 WITH SCORE 19907.885
AT ITER 1624 NEW BEST:: SOT 66932 SOS 48897 HAS SOPS 48897 HAS SOUS 19835 HAS SOUPS 19835 WITH SCORE 19883.897
AT ITER 1637 NEW BEST:: SOT 67004 SOS 48981 HAS SOPS 48981 HAS SOUS 19834 HAS SOUPS 19834 WITH SCORE 19882.981
AT ITER 1679 NEW BEST:: SOT 67046 SOS 49054 HAS SOPS 49054 HAS SOUS 19807 HAS SOUPS 19807 WITH SCORE 19856.054
AT ITER 1709 NEW BEST:: SOT 67046 SOS 48686 HAS SOPS 48686 HAS SOUS 19805 HAS SOUPS 19805 WITH SCORE 19853.686
AT ITER 1713 NEW BEST:: SOT 67046 SOS 48678 HAS SOPS 48678 HAS SOUS 19805 HAS SOUPS 19805 WITH SCORE 19853.678
AT ITER 1717 NEW BEST:: SOT 67042 SOS 48674 HAS SOPS 48674 HAS SOUS 19795 HAS SOUPS 19795 WITH SCORE 19843.674
AT ITER 1722 NEW BEST:: SOT 67066 SOS 51017 HAS SOPS 51017 HAS SOUS 19623 HAS SOUPS 19623 WITH SCORE 19674.017
AT ITER 1727 NEW BEST:: SOT 67129 SOS 51154 HAS SOPS 51154 HAS SOUS 19616 HAS SOUPS 19616 WITH SCORE 19667.154
AT ITER 1728 NEW BEST:: SOT 67094 SOS 51119 HAS SOPS 51119 HAS SOUS 19566 HAS SOUPS 19566 WITH SCORE 19617.119
AT ITER 1729 NEW BEST:: SOT 67094 SOS 51337 HAS SOPS 51337 HAS SOUS 19561 HAS SOUPS 19561 WITH SCORE 19612.337
AT ITER 1738 NEW BEST:: SOT 67006 SOS 51249 HAS SOPS 51249 HAS SOUS 19528 HAS SOUPS 19528 WITH SCORE 19579.249
AT ITER 1741 NEW BEST:: SOT 66902 SOS 51145 HAS SOPS 51145 HAS SOUS 19512 HAS SOUPS 19512 WITH SCORE 19563.145
AT ITER 1748 NEW BEST:: SOT 66764 SOS 50973 HAS SOPS 50973 HAS SOUS 19202 HAS SOUPS 19202 WITH SCORE 19252.973
AT ITER 1761 NEW BEST:: SOT 66761 SOS 50970 HAS SOPS 50970 HAS SOUS 19199 HAS SOUPS 19199 WITH SCORE 19249.97
AT ITER 1783 NEW BEST:: SOT 66669 SOS 50878 HAS SOPS 50878 HAS SOUS 19047 HAS SOUPS 19047 WITH SCORE 19097.878
AT ITER 1893 NEW BEST:: SOT 66658 SOS 50867 HAS SOPS 50867 HAS SOUS 18939 HAS SOUPS 18939 WITH SCORE 18989.867
AT ITER 1936 NEW BEST:: SOT 66664 SOS 50933 HAS SOPS 50933 HAS SOUS 18912 HAS SOUPS 18912 WITH SCORE 18962.933
AT ITER 1974 NEW BEST:: SOT 66638 SOS 50949 HAS SOPS 50949 HAS SOUS 18864 HAS SOUPS 18864 WITH SCORE 18914.949
AT ITER 1975 NEW BEST:: SOT 66640 SOS 50951 HAS SOPS 50951 HAS SOUS 18839 HAS SOUPS 18839 WITH SCORE 18889.951
AT ITER 1987 NEW BEST:: SOT 66589 SOS 50916 HAS SOPS 50916 HAS SOUS 18770 HAS SOUPS 18770 WITH SCORE 18820.916
AT ITER 1988 NEW BEST:: SOT 66545 SOS 50864 HAS SOPS 50864 HAS SOUS 18709 HAS SOUPS 18709 WITH SCORE 18759.864
AT ITER 1994 NEW BEST:: SOT 66545 SOS 50976 HAS SOPS 50976 HAS SOUS 18706 HAS SOUPS 18706 WITH SCORE 18756.976
AT ITER 1999 NEW BEST:: SOT 66545 SOS 50961 HAS SOPS 50961 HAS SOUS 18705 HAS SOUPS 18705 WITH SCORE 18755.961
AT ITER 2001 NEW BEST:: SOT 66545 SOS 50961 HAS SOPS 50961 HAS SOUS 18682 HAS SOUPS 18682 WITH SCORE 18732.961
AT ITER 2033 NEW BEST:: SOT 66545 SOS 50961 HAS SOPS 50961 HAS SOUS 18670 HAS SOUPS 18670 WITH SCORE 18720.961
AT ITER 2048 NEW BEST:: SOT 66417 SOS 50833 HAS SOPS 50833 HAS SOUS 18477 HAS SOUPS 18477 WITH SCORE 18527.833
AT ITER 2067 NEW BEST:: SOT 66417 SOS 50833 HAS SOPS 50833 HAS SOUS 18462 HAS SOUPS 18462 WITH SCORE 18512.833
AT ITER 2079 NEW BEST:: SOT 66452 SOS 50852 HAS SOPS 50852 HAS SOUS 18429 HAS SOUPS 18429 WITH SCORE 18479.852
AT ITER 2098 NEW BEST:: SOT 66346 SOS 50746 HAS SOPS 50746 HAS SOUS 18336 HAS SOUPS 18336 WITH SCORE 18386.746
AT ITER 2116 NEW BEST:: SOT 66327 SOS 50727 HAS SOPS 50727 HAS SOUS 18301 HAS SOUPS 18301 WITH SCORE 18351.727
AT ITER 2138 NEW BEST:: SOT 66357 SOS 50757 HAS SOPS 50757 HAS SOUS 18175 HAS SOUPS 18175 WITH SCORE 18225.757
AT ITER 2166 NEW BEST:: SOT 66349 SOS 50749 HAS SOPS 50749 HAS SOUS 18161 HAS SOUPS 18161 WITH SCORE 18211.749
AT ITER 2167 NEW BEST:: SOT 66307 SOS 50707 HAS SOPS 50707 HAS SOUS 18085 HAS SOUPS 18085 WITH SCORE 18135.707
AT ITER 2171 NEW BEST:: SOT 66300 SOS 50700 HAS SOPS 50700 HAS SOUS 18078 HAS SOUPS 18078 WITH SCORE 18128.7
AT ITER 2172 NEW BEST:: SOT 66286 SOS 50686 HAS SOPS 50686 HAS SOUS 18072 HAS SOUPS 18072 WITH SCORE 18122.686
AT ITER 2176 NEW BEST:: SOT 66278 SOS 50678 HAS SOPS 50678 HAS SOUS 18072 HAS SOUPS 18072 WITH SCORE 18122.678
AT ITER 2180 NEW BEST:: SOT 66270 SOS 50670 HAS SOPS 50670 HAS SOUS 18068 HAS SOUPS 18068 WITH SCORE 18118.67
AT ITER 2207 NEW BEST:: SOT 66262 SOS 50662 HAS SOPS 50662 HAS SOUS 18060 HAS SOUPS 18060 WITH SCORE 18110.662
AT ITER 2215 NEW BEST:: SOT 66242 SOS 50642 HAS SOPS 50642 HAS SOUS 18022 HAS SOUPS 18022 WITH SCORE 18072.642
AT ITER 2252 NEW BEST:: SOT 66112 SOS 50456 HAS SOPS 50456 HAS SOUS 17992 HAS SOUPS 17992 WITH SCORE 18042.456
AT ITER 2266 NEW BEST:: SOT 66109 SOS 50453 HAS SOPS 50453 HAS SOUS 17987 HAS SOUPS 17987 WITH SCORE 18037.453
AT ITER 2306 NEW BEST:: SOT 66109 SOS 50462 HAS SOPS 50462 HAS SOUS 17970 HAS SOUPS 17970 WITH SCORE 18020.462
AT ITER 2320 NEW BEST:: SOT 66046 SOS 50399 HAS SOPS 50399 HAS SOUS 17883 HAS SOUPS 17883 WITH SCORE 17933.399
AT ITER 2367 NEW BEST:: SOT 66056 SOS 50409 HAS SOPS 50409 HAS SOUS 17861 HAS SOUPS 17861 WITH SCORE 17911.409
AT ITER 2375 NEW BEST:: SOT 66058 SOS 50411 HAS SOPS 50411 HAS SOUS 17829 HAS SOUPS 17829 WITH SCORE 17879.411
AT ITER 2429 NEW BEST:: SOT 66058 SOS 50411 HAS SOPS 50411 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17876.411
AT ITER 2446 NEW BEST:: SOT 66058 SOS 50603 HAS SOPS 50603 HAS SOUS 17824 HAS SOUPS 17824 WITH SCORE 17874.603
AT ITER 2449 NEW BEST:: SOT 66055 SOS 50600 HAS SOPS 50600 HAS SOUS 17821 HAS SOUPS 17821 WITH SCORE 17871.6
AT ITER 2537 NEW BEST:: SOT 66007 SOS 50552 HAS SOPS 50552 HAS SOUS 17731 HAS SOUPS 17731 WITH SCORE 17781.552
AT ITER 2560 NEW BEST:: SOT 65977 SOS 50522 HAS SOPS 50522 HAS SOUS 17695 HAS SOUPS 17695 WITH SCORE 17745.522
AT ITER 2569 NEW BEST:: SOT 65969 SOS 50514 HAS SOPS 50514 HAS SOUS 17663 HAS SOUPS 17663 WITH SCORE 17713.514
AT ITER 2587 NEW BEST:: SOT 65969 SOS 50520 HAS SOPS 50520 HAS SOUS 17661 HAS SOUPS 17661 WITH SCORE 17711.52
AT ITER 2588 NEW BEST:: SOT 65967 SOS 50518 HAS SOPS 50518 HAS SOUS 17650 HAS SOUPS 17650 WITH SCORE 17700.518
AT ITER 2593 NEW BEST:: SOT 65967 SOS 50422 HAS SOPS 50422 HAS SOUS 17649 HAS SOUPS 17649 WITH SCORE 17699.422
AT ITER 2608 NEW BEST:: SOT 65991 SOS 50446 HAS SOPS 50446 HAS SOUS 17632 HAS SOUPS 17632 WITH SCORE 17682.446
AT ITER 2646 NEW BEST:: SOT 65991 SOS 50382 HAS SOPS 50382 HAS SOUS 17632 HAS SOUPS 17632 WITH SCORE 17682.382
AT ITER 2678 NEW BEST:: SOT 65905 SOS 50296 HAS SOPS 50296 HAS SOUS 17553 HAS SOUPS 17553 WITH SCORE 17603.296
AT ITER 2693 NEW BEST:: SOT 65896 SOS 50287 HAS SOPS 50287 HAS SOUS 17550 HAS SOUPS 17550 WITH SCORE 17600.287
AT ITER 2711 NEW BEST:: SOT 65896 SOS 50303 HAS SOPS 50303 HAS SOUS 17547 HAS SOUPS 17547 WITH SCORE 17597.303
AT ITER 2724 NEW BEST:: SOT 65884 SOS 50291 HAS SOPS 50291 HAS SOUS 17539 HAS SOUPS 17539 WITH SCORE 17589.291
AT ITER 2730 NEW BEST:: SOT 65884 SOS 50334 HAS SOPS 50334 HAS SOUS 17522 HAS SOUPS 17522 WITH SCORE 17572.334
AT ITER 2747 NEW BEST:: SOT 65791 SOS 50241 HAS SOPS 50241 HAS SOUS 17429 HAS SOUPS 17429 WITH SCORE 17479.241
AT ITER 2761 NEW BEST:: SOT 65763 SOS 50213 HAS SOPS 50213 HAS SOUS 17398 HAS SOUPS 17398 WITH SCORE 17448.213
AT ITER 2787 NEW BEST:: SOT 65716 SOS 50166 HAS SOPS 50166 HAS SOUS 17388 HAS SOUPS 17388 WITH SCORE 17438.166
AT ITER 2850 NEW BEST:: SOT 65674 SOS 50124 HAS SOPS 50124 HAS SOUS 17346 HAS SOUPS 17346 WITH SCORE 17396.124
AT ITER 2895 NEW BEST:: SOT 65759 SOS 50209 HAS SOPS 50209 HAS SOUS 17307 HAS SOUPS 17307 WITH SCORE 17357.209
AT ITER 2907 NEW BEST:: SOT 65796 SOS 50246 HAS SOPS 50246 HAS SOUS 17287 HAS SOUPS 17287 WITH SCORE 17337.246
AT ITER 2922 NEW BEST:: SOT 65796 SOS 50351 HAS SOPS 50351 HAS SOUS 17281 HAS SOUPS 17281 WITH SCORE 17331.351
AT ITER 2965 NEW BEST:: SOT 65796 SOS 50351 HAS SOPS 50351 HAS SOUS 17280 HAS SOUPS 17280 WITH SCORE 17330.351
AT ITER 2981 NEW BEST:: SOT 65802 SOS 50357 HAS SOPS 50357 HAS SOUS 17277 HAS SOUPS 17277 WITH SCORE 17327.357
AT ITER 2996 NEW BEST:: SOT 65825 SOS 50380 HAS SOPS 50380 HAS SOUS 17270 HAS SOUPS 17270 WITH SCORE 17320.38
AT ITER 3127 NEW BEST:: SOT 65828 SOS 50651 HAS SOPS 50651 HAS SOUS 17269 HAS SOUPS 17269 WITH SCORE 17319.651
AT ITER 3156 NEW BEST:: SOT 65828 SOS 50507 HAS SOPS 50507 HAS SOUS 17268 HAS SOUPS 17268 WITH SCORE 17318.507
AT ITER 3197 NEW BEST:: SOT 65824 SOS 50501 HAS SOPS 50501 HAS SOUS 17267 HAS SOUPS 17267 WITH SCORE 17317.501
AT ITER 3206 NEW BEST:: SOT 65792 SOS 50459 HAS SOPS 50459 HAS SOUS 17232 HAS SOUPS 17232 WITH SCORE 17282.459
AT ITER 3243 NEW BEST:: SOT 65800 SOS 50467 HAS SOPS 50467 HAS SOUS 17225 HAS SOUPS 17225 WITH SCORE 17275.467
AT ITER 3273 NEW BEST:: SOT 65786 SOS 50482 HAS SOPS 50482 HAS SOUS 17205 HAS SOUPS 17205 WITH SCORE 17255.482
AT ITER 3283 NEW BEST:: SOT 65767 SOS 50466 HAS SOPS 50466 HAS SOUS 17191 HAS SOUPS 17191 WITH SCORE 17241.466
AT ITER 3285 NEW BEST:: SOT 65767 SOS 50418 HAS SOPS 50418 HAS SOUS 17191 HAS SOUPS 17191 WITH SCORE 17241.418
AT ITER 3292 NEW BEST:: SOT 65767 SOS 50466 HAS SOPS 50466 HAS SOUS 17175 HAS SOUPS 17175 WITH SCORE 17225.466
AT ITER 3314 NEW BEST:: SOT 65767 SOS 50466 HAS SOPS 50466 HAS SOUS 17171 HAS SOUPS 17171 WITH SCORE 17221.466
AT ITER 3346 NEW BEST:: SOT 65768 SOS 50467 HAS SOPS 50467 HAS SOUS 17157 HAS SOUPS 17157 WITH SCORE 17207.467
AT ITER 3347 NEW BEST:: SOT 65720 SOS 50371 HAS SOPS 50371 HAS SOUS 17106 HAS SOUPS 17106 WITH SCORE 17156.371
AT ITER 3369 NEW BEST:: SOT 65720 SOS 50371 HAS SOPS 50371 HAS SOUS 17086 HAS SOUPS 17086 WITH SCORE 17136.371
AT ITER 3385 NEW BEST:: SOT 65690 SOS 50341 HAS SOPS 50341 HAS SOUS 17075 HAS SOUPS 17075 WITH SCORE 17125.341
AT ITER 3419 NEW BEST:: SOT 65690 SOS 50340 HAS SOPS 50340 HAS SOUS 17074 HAS SOUPS 17074 WITH SCORE 17124.34
AT ITER 3453 NEW BEST:: SOT 65688 SOS 50338 HAS SOPS 50338 HAS SOUS 17072 HAS SOUPS 17072 WITH SCORE 17122.338
AT ITER 3491 NEW BEST:: SOT 65680 SOS 50333 HAS SOPS 50333 HAS SOUS 17068 HAS SOUPS 17068 WITH SCORE 17118.333
AT ITER 3504 NEW BEST:: SOT 65680 SOS 50333 HAS SOPS 50333 HAS SOUS 17058 HAS SOUPS 17058 WITH SCORE 17108.333
AT ITER 3526 NEW BEST:: SOT 65657 SOS 50310 HAS SOPS 50310 HAS SOUS 17033 HAS SOUPS 17033 WITH SCORE 17083.31
AT ITER 3543 NEW BEST:: SOT 65651 SOS 50304 HAS SOPS 50304 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17069.304
AT ITER 3545 NEW BEST:: SOT 65599 SOS 50252 HAS SOPS 50252 HAS SOUS 16974 HAS SOUPS 16974 WITH SCORE 17024.252
AT ITER 3551 NEW BEST:: SOT 65595 SOS 50248 HAS SOPS 50248 HAS SOUS 16970 HAS SOUPS 16970 WITH SCORE 17020.248
AT ITER 3567 NEW BEST:: SOT 65579 SOS 50232 HAS SOPS 50232 HAS SOUS 16938 HAS SOUPS 16938 WITH SCORE 16988.232
AT ITER 3630 NEW BEST:: SOT 65579 SOS 50024 HAS SOPS 50024 HAS SOUS 16935 HAS SOUPS 16935 WITH SCORE 16985.024
AT ITER 3635 NEW BEST:: SOT 65549 SOS 49994 HAS SOPS 49994 HAS SOUS 16857 HAS SOUPS 16857 WITH SCORE 16906.994
AT ITER 3655 NEW BEST:: SOT 65527 SOS 49966 HAS SOPS 49966 HAS SOUS 16852 HAS SOUPS 16852 WITH SCORE 16901.966
AT ITER 3705 NEW BEST:: SOT 65527 SOS 49710 HAS SOPS 49710 HAS SOUS 16852 HAS SOUPS 16852 WITH SCORE 16901.71
AT ITER 3758 NEW BEST:: SOT 65537 SOS 49720 HAS SOPS 49720 HAS SOUS 16846 HAS SOUPS 16846 WITH SCORE 16895.72
AT ITER 3762 NEW BEST:: SOT 65639 SOS 49838 HAS SOPS 49838 HAS SOUS 16769 HAS SOUPS 16769 WITH SCORE 16818.838
AT ITER 3832 NEW BEST:: SOT 65657 SOS 49856 HAS SOPS 49856 HAS SOUS 16746 HAS SOUPS 16746 WITH SCORE 16795.856
AT ITER 3878 NEW BEST:: SOT 65686 SOS 49885 HAS SOPS 49885 HAS SOUS 16741 HAS SOUPS 16741 WITH SCORE 16790.885
AT ITER 3885 NEW BEST:: SOT 65686 SOS 49898 HAS SOPS 49898 HAS SOUS 16728 HAS SOUPS 16728 WITH SCORE 16777.898
AT ITER 3944 NEW BEST:: SOT 65684 SOS 49896 HAS SOPS 49896 HAS SOUS 16722 HAS SOUPS 16722 WITH SCORE 16771.896
AT ITER 3949 NEW BEST:: SOT 65690 SOS 49979 HAS SOPS 49979 HAS SOUS 16719 HAS SOUPS 16719 WITH SCORE 16768.979
AT ITER 3992 NEW BEST:: SOT 65690 SOS 49483 HAS SOPS 49483 HAS SOUS 16716 HAS SOUPS 16716 WITH SCORE 16765.483
AT ITER 4001 NEW BEST:: SOT 65603 SOS 49396 HAS SOPS 49396 HAS SOUS 16680 HAS SOUPS 16680 WITH SCORE 16729.396
AT ITER 4004 NEW BEST:: SOT 65636 SOS 49429 HAS SOPS 49429 HAS SOUS 16677 HAS SOUPS 16677 WITH SCORE 16726.429
AT ITER 4006 NEW BEST:: SOT 65636 SOS 49429 HAS SOPS 49429 HAS SOUS 16669 HAS SOUPS 16669 WITH SCORE 16718.429
AT ITER 4117 NEW BEST:: SOT 65636 SOS 49365 HAS SOPS 49365 HAS SOUS 16669 HAS SOUPS 16669 WITH SCORE 16718.365
AT ITER 4151 NEW BEST:: SOT 65641 SOS 49370 HAS SOPS 49370 HAS SOUS 16668 HAS SOUPS 16668 WITH SCORE 16717.37
AT ITER 4166 NEW BEST:: SOT 65650 SOS 49379 HAS SOPS 49379 HAS SOUS 16580 HAS SOUPS 16580 WITH SCORE 16629.379
AT ITER 4203 NEW BEST:: SOT 65464 SOS 49193 HAS SOPS 49193 HAS SOUS 16440 HAS SOUPS 16440 WITH SCORE 16489.193
AT ITER 4349 NEW BEST:: SOT 65464 SOS 49177 HAS SOPS 49177 HAS SOUS 16440 HAS SOUPS 16440 WITH SCORE 16489.177
AT ITER 4401 NEW BEST:: SOT 65464 SOS 48793 HAS SOPS 48793 HAS SOUS 16440 HAS SOUPS 16440 WITH SCORE 16488.793
AT ITER 4404 NEW BEST:: SOT 65470 SOS 48799 HAS SOPS 48799 HAS SOUS 16438 HAS SOUPS 16438 WITH SCORE 16486.799
AT ITER 4408 NEW BEST:: SOT 65470 SOS 48719 HAS SOPS 48719 HAS SOUS 16431 HAS SOUPS 16431 WITH SCORE 16479.719
AT ITER 4419 NEW BEST:: SOT 65470 SOS 48719 HAS SOPS 48719 HAS SOUS 16421 HAS SOUPS 16421 WITH SCORE 16469.719
AT ITER 4575 NEW BEST:: SOT 65520 SOS 48769 HAS SOPS 48769 HAS SOUS 16411 HAS SOUPS 16411 WITH SCORE 16459.769
AT ITER 4697 NEW BEST:: SOT 65522 SOS 48775 HAS SOPS 48775 HAS SOUS 16408 HAS SOUPS 16408 WITH SCORE 16456.775
AT ITER 4705 NEW BEST:: SOT 65388 SOS 48607 HAS SOPS 48607 HAS SOUS 16405 HAS SOUPS 16405 WITH SCORE 16453.607
AT ITER 4832 NEW BEST:: SOT 65396 SOS 48615 HAS SOPS 48615 HAS SOUS 16400 HAS SOUPS 16400 WITH SCORE 16448.615
AT ITER 4852 NEW BEST:: SOT 65390 SOS 48609 HAS SOPS 48609 HAS SOUS 16394 HAS SOUPS 16394 WITH SCORE 16442.609
AT ITER 4867 NEW BEST:: SOT 65390 SOS 48545 HAS SOPS 48545 HAS SOUS 16394 HAS SOUPS 16394 WITH SCORE 16442.545
AT ITER 4884 NEW BEST:: SOT 65384 SOS 48539 HAS SOPS 48539 HAS SOUS 16379 HAS SOUPS 16379 WITH SCORE 16427.539
AT ITER 4889 NEW BEST:: SOT 65384 SOS 48539 HAS SOPS 48539 HAS SOUS 16376 HAS SOUPS 16376 WITH SCORE 16424.539
AT ITER 4949 NEW BEST:: SOT 65370 SOS 48523 HAS SOPS 48523 HAS SOUS 16365 HAS SOUPS 16365 WITH SCORE 16413.523
AT ITER 4955 NEW BEST:: SOT 65358 SOS 48508 HAS SOPS 48508 HAS SOUS 16351 HAS SOUPS 16351 WITH SCORE 16399.508
AT ITER 4979 NEW BEST:: SOT 65358 SOS 48508 HAS SOPS 48508 HAS SOUS 16349 HAS SOUPS 16349 WITH SCORE 16397.508
AT ITER 5068 NEW BEST:: SOT 65358 SOS 48508 HAS SOPS 48508 HAS SOUS 16339 HAS SOUPS 16339 WITH SCORE 16387.508
AT ITER 5079 NEW BEST:: SOT 65358 SOS 48508 HAS SOPS 48508 HAS SOUS 16331 HAS SOUPS 16331 WITH SCORE 16379.508
AT ITER 5088 NEW BEST:: SOT 65334 SOS 48484 HAS SOPS 48484 HAS SOUS 16315 HAS SOUPS 16315 WITH SCORE 16363.484
AT ITER 5090 NEW BEST:: SOT 65320 SOS 48470 HAS SOPS 48470 HAS SOUS 16259 HAS SOUPS 16259 WITH SCORE 16307.47
AT ITER 5155 NEW BEST:: SOT 65312 SOS 48461 HAS SOPS 48461 HAS SOUS 16251 HAS SOUPS 16251 WITH SCORE 16299.461
AT ITER 5217 NEW BEST:: SOT 65308 SOS 48457 HAS SOPS 48457 HAS SOUS 16243 HAS SOUPS 16243 WITH SCORE 16291.457
AT ITER 5323 NEW BEST:: SOT 65308 SOS 48443 HAS SOPS 48443 HAS SOUS 16243 HAS SOUPS 16243 WITH SCORE 16291.443
AT ITER 5386 NEW BEST:: SOT 65308 SOS 47802 HAS SOPS 47802 HAS SOUS 16233 HAS SOUPS 16233 WITH SCORE 16280.802
AT ITER 5407 NEW BEST:: SOT 65308 SOS 47802 HAS SOPS 47802 HAS SOUS 16221 HAS SOUPS 16221 WITH SCORE 16268.802
AT ITER 5432 NEW BEST:: SOT 65292 SOS 47786 HAS SOPS 47786 HAS SOUS 16205 HAS SOUPS 16205 WITH SCORE 16252.786
AT ITER 5444 NEW BEST:: SOT 65287 SOS 47781 HAS SOPS 47781 HAS SOUS 16189 HAS SOUPS 16189 WITH SCORE 16236.781
AT ITER 5467 NEW BEST:: SOT 65287 SOS 47461 HAS SOPS 47461 HAS SOUS 16189 HAS SOUPS 16189 WITH SCORE 16236.461
AT ITER 5505 NEW BEST:: SOT 65151 SOS 47265 HAS SOPS 47265 HAS SOUS 16136 HAS SOUPS 16136 WITH SCORE 16183.265
AT ITER 5523 NEW BEST:: SOT 65135 SOS 47249 HAS SOPS 47249 HAS SOUS 16118 HAS SOUPS 16118 WITH SCORE 16165.249
AT ITER 5645 NEW BEST:: SOT 65117 SOS 47231 HAS SOPS 47231 HAS SOUS 16094 HAS SOUPS 16094 WITH SCORE 16141.231
AT ITER 5654 NEW BEST:: SOT 65061 SOS 47175 HAS SOPS 47175 HAS SOUS 16080 HAS SOUPS 16080 WITH SCORE 16127.175
AT ITER 5668 NEW BEST:: SOT 65012 SOS 47126 HAS SOPS 47126 HAS SOUS 16058 HAS SOUPS 16058 WITH SCORE 16105.126
AT ITER 5818 NEW BEST:: SOT 64980 SOS 47094 HAS SOPS 47094 HAS SOUS 16020 HAS SOUPS 16020 WITH SCORE 16067.094
AT ITER 5844 NEW BEST:: SOT 64974 SOS 47088 HAS SOPS 47088 HAS SOUS 16014 HAS SOUPS 16014 WITH SCORE 16061.088
AT ITER 5853 NEW BEST:: SOT 64974 SOS 47072 HAS SOPS 47072 HAS SOUS 16014 HAS SOUPS 16014 WITH SCORE 16061.072
AT ITER 5878 NEW BEST:: SOT 64974 SOS 47072 HAS SOPS 47072 HAS SOUS 16006 HAS SOUPS 16006 WITH SCORE 16053.072
AT ITER 5881 NEW BEST:: SOT 64974 SOS 47072 HAS SOPS 47072 HAS SOUS 15996 HAS SOUPS 15996 WITH SCORE 16043.072
AT ITER 5961 NEW BEST:: SOT 64950 SOS 47048 HAS SOPS 47048 HAS SOUS 15995 HAS SOUPS 15995 WITH SCORE 16042.048
AT ITER 6053 NEW BEST:: SOT 64968 SOS 47066 HAS SOPS 47066 HAS SOUS 15987 HAS SOUPS 15987 WITH SCORE 16034.066
AT ITER 6106 NEW BEST:: SOT 64937 SOS 47035 HAS SOPS 47035 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 16005.035
AT ITER 6226 NEW BEST:: SOT 64952 SOS 47050 HAS SOPS 47050 HAS SOUS 15951 HAS SOUPS 15951 WITH SCORE 15998.05
AT ITER 6287 NEW BEST:: SOT 64952 SOS 47074 HAS SOPS 47074 HAS SOUS 15950 HAS SOUPS 15950 WITH SCORE 15997.074
AT ITER 6332 NEW BEST:: SOT 64940 SOS 47062 HAS SOPS 47062 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15977.062
AT ITER 6351 NEW BEST:: SOT 64933 SOS 47055 HAS SOPS 47055 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15970.055
AT ITER 6440 NEW BEST:: SOT 64925 SOS 47047 HAS SOPS 47047 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15898.047
AT ITER 6524 NEW BEST:: SOT 64922 SOS 47044 HAS SOPS 47044 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15898.044
AT ITER 6559 NEW BEST:: SOT 64914 SOS 47036 HAS SOPS 47036 HAS SOUS 15843 HAS SOUPS 15843 WITH SCORE 15890.036
AT ITER 6588 NEW BEST:: SOT 64914 SOS 47036 HAS SOPS 47036 HAS SOUS 15837 HAS SOUPS 15837 WITH SCORE 15884.036
AT ITER 6789 NEW BEST:: SOT 64914 SOS 46332 HAS SOPS 46332 HAS SOUS 15837 HAS SOUPS 15837 WITH SCORE 15883.332
AT ITER 6924 NEW BEST:: SOT 64914 SOS 46344 HAS SOPS 46344 HAS SOUS 15825 HAS SOUPS 15825 WITH SCORE 15871.344
AT ITER 6949 NEW BEST:: SOT 64902 SOS 46332 HAS SOPS 46332 HAS SOUS 15816 HAS SOUPS 15816 WITH SCORE 15862.332
AT ITER 6952 NEW BEST:: SOT 64896 SOS 46311 HAS SOPS 46311 HAS SOUS 15816 HAS SOUPS 15816 WITH SCORE 15862.311
AT ITER 7019 NEW BEST:: SOT 64896 SOS 46287 HAS SOPS 46287 HAS SOUS 15816 HAS SOUPS 15816 WITH SCORE 15862.287
AT ITER 7077 NEW BEST:: SOT 64896 SOS 46291 HAS SOPS 46291 HAS SOUS 15815 HAS SOUPS 15815 WITH SCORE 15861.291
AT ITER 7103 NEW BEST:: SOT 64854 SOS 46233 HAS SOPS 46233 HAS SOUS 15779 HAS SOUPS 15779 WITH SCORE 15825.233
AT ITER 7236 NEW BEST:: SOT 64724 SOS 46081 HAS SOPS 46081 HAS SOUS 15665 HAS SOUPS 15665 WITH SCORE 15711.081
AT ITER 7290 NEW BEST:: SOT 64724 SOS 46081 HAS SOPS 46081 HAS SOUS 15657 HAS SOUPS 15657 WITH SCORE 15703.081
AT ITER 7403 NEW BEST:: SOT 64716 SOS 46073 HAS SOPS 46073 HAS SOUS 15649 HAS SOUPS 15649 WITH SCORE 15695.073
AT ITER 7435 NEW BEST:: SOT 64716 SOS 46073 HAS SOPS 46073 HAS SOUS 15643 HAS SOUPS 15643 WITH SCORE 15689.073
AT ITER 7459 NEW BEST:: SOT 64710 SOS 46067 HAS SOPS 46067 HAS SOUS 15637 HAS SOUPS 15637 WITH SCORE 15683.067
AT ITER 7535 NEW BEST:: SOT 64702 SOS 46059 HAS SOPS 46059 HAS SOUS 15629 HAS SOUPS 15629 WITH SCORE 15675.059
AT ITER 7623 NEW BEST:: SOT 64702 SOS 46059 HAS SOPS 46059 HAS SOUS 15620 HAS SOUPS 15620 WITH SCORE 15666.059
AT ITER 7692 NEW BEST:: SOT 64702 SOS 46059 HAS SOPS 46059 HAS SOUS 15616 HAS SOUPS 15616 WITH SCORE 15662.059
AT ITER 7706 NEW BEST:: SOT 64702 SOS 46059 HAS SOPS 46059 HAS SOUS 15612 HAS SOUPS 15612 WITH SCORE 15658.059
AT ITER 7719 NEW BEST:: SOT 64700 SOS 46057 HAS SOPS 46057 HAS SOUS 15610 HAS SOUPS 15610 WITH SCORE 15656.057
AT ITER 7725 NEW BEST:: SOT 64699 SOS 46056 HAS SOPS 46056 HAS SOUS 15609 HAS SOUPS 15609 WITH SCORE 15655.056
AT ITER 7748 NEW BEST:: SOT 64719 SOS 46076 HAS SOPS 46076 HAS SOUS 15597 HAS SOUPS 15597 WITH SCORE 15643.076
AT ITER 7765 NEW BEST:: SOT 64718 SOS 46075 HAS SOPS 46075 HAS SOUS 15596 HAS SOUPS 15596 WITH SCORE 15642.075
AT ITER 7777 NEW BEST:: SOT 64718 SOS 46075 HAS SOPS 46075 HAS SOUS 15594 HAS SOUPS 15594 WITH SCORE 15640.075
AT ITER 7807 NEW BEST:: SOT 64716 SOS 46037 HAS SOPS 46037 HAS SOUS 15594 HAS SOUPS 15594 WITH SCORE 15640.037
AT ITER 7885 NEW BEST:: SOT 64716 SOS 46037 HAS SOPS 46037 HAS SOUS 15588 HAS SOUPS 15588 WITH SCORE 15634.037
AT ITER 7912 NEW BEST:: SOT 64716 SOS 45597 HAS SOPS 45597 HAS SOUS 15586 HAS SOUPS 15586 WITH SCORE 15631.597
AT ITER 7961 NEW BEST:: SOT 64716 SOS 45597 HAS SOPS 45597 HAS SOUS 15585 HAS SOUPS 15585 WITH SCORE 15630.597
AT ITER 8042 NEW BEST:: SOT 64713 SOS 45594 HAS SOPS 45594 HAS SOUS 15582 HAS SOUPS 15582 WITH SCORE 15627.594
AT ITER 8086 NEW BEST:: SOT 64713 SOS 45490 HAS SOPS 45490 HAS SOUS 15581 HAS SOUPS 15581 WITH SCORE 15626.49
AT ITER 8099 NEW BEST:: SOT 64713 SOS 45474 HAS SOPS 45474 HAS SOUS 15581 HAS SOUPS 15581 WITH SCORE 15626.474
AT ITER 8178 NEW BEST:: SOT 64713 SOS 45282 HAS SOPS 45282 HAS SOUS 15581 HAS SOUPS 15581 WITH SCORE 15626.282
AT ITER 8248 NEW BEST:: SOT 64722 SOS 45291 HAS SOPS 45291 HAS SOUS 15574 HAS SOUPS 15574 WITH SCORE 15619.291
AT ITER 8265 NEW BEST:: SOT 64722 SOS 45291 HAS SOPS 45291 HAS SOUS 15558 HAS SOUPS 15558 WITH SCORE 15603.291
AT ITER 8380 NEW BEST:: SOT 64722 SOS 45291 HAS SOPS 45291 HAS SOUS 15537 HAS SOUPS 15537 WITH SCORE 15582.291
AT ITER 8383 NEW BEST:: SOT 64719 SOS 45288 HAS SOPS 45288 HAS SOUS 15536 HAS SOUPS 15536 WITH SCORE 15581.288
AT ITER 8408 NEW BEST:: SOT 64719 SOS 45282 HAS SOPS 45282 HAS SOUS 15536 HAS SOUPS 15536 WITH SCORE 15581.282
AT ITER 8501 NEW BEST:: SOT 64719 SOS 45282 HAS SOPS 45282 HAS SOUS 15524 HAS SOUPS 15524 WITH SCORE 15569.282
AT ITER 8508 NEW BEST:: SOT 64711 SOS 45274 HAS SOPS 45274 HAS SOUS 15491 HAS SOUPS 15491 WITH SCORE 15536.274
AT ITER 8518 NEW BEST:: SOT 64703 SOS 45266 HAS SOPS 45266 HAS SOUS 15484 HAS SOUPS 15484 WITH SCORE 15529.266
AT ITER 8522 NEW BEST:: SOT 64690 SOS 45253 HAS SOPS 45253 HAS SOUS 15479 HAS SOUPS 15479 WITH SCORE 15524.253
AT ITER 8732 NEW BEST:: SOT 64690 SOS 44677 HAS SOPS 44677 HAS SOUS 15476 HAS SOUPS 15476 WITH SCORE 15520.677
AT ITER 8744 NEW BEST:: SOT 64674 SOS 44661 HAS SOPS 44661 HAS SOUS 15452 HAS SOUPS 15452 WITH SCORE 15496.661
AT ITER 8851 NEW BEST:: SOT 64642 SOS 44629 HAS SOPS 44629 HAS SOUS 15420 HAS SOUPS 15420 WITH SCORE 15464.629
AT ITER 8966 NEW BEST:: SOT 64652 SOS 44639 HAS SOPS 44639 HAS SOUS 15415 HAS SOUPS 15415 WITH SCORE 15459.639
AT ITER 8985 NEW BEST:: SOT 64650 SOS 44637 HAS SOPS 44637 HAS SOUS 15413 HAS SOUPS 15413 WITH SCORE 15457.637
AT ITER 9086 NEW BEST:: SOT 64648 SOS 44631 HAS SOPS 44631 HAS SOUS 15411 HAS SOUPS 15411 WITH SCORE 15455.631
AT ITER 9232 NEW BEST:: SOT 64648 SOS 44695 HAS SOPS 44695 HAS SOUS 15405 HAS SOUPS 15405 WITH SCORE 15449.695
AT ITER 9237 NEW BEST:: SOT 64648 SOS 44263 HAS SOPS 44263 HAS SOUS 15404 HAS SOUPS 15404 WITH SCORE 15448.263
AT ITER 9341 NEW BEST:: SOT 64648 SOS 44151 HAS SOPS 44151 HAS SOUS 15404 HAS SOUPS 15404 WITH SCORE 15448.151
AT ITER 9525 NEW BEST:: SOT 64640 SOS 44143 HAS SOPS 44143 HAS SOUS 15402 HAS SOUPS 15402 WITH SCORE 15446.143
AT ITER 9603 NEW BEST:: SOT 64632 SOS 44135 HAS SOPS 44135 HAS SOUS 15394 HAS SOUPS 15394 WITH SCORE 15438.135
AT ITER 9707 NEW BEST:: SOT 64636 SOS 44139 HAS SOPS 44139 HAS SOUS 15392 HAS SOUPS 15392 WITH SCORE 15436.139
AT ITER 9739 NEW BEST:: SOT 64640 SOS 44143 HAS SOPS 44143 HAS SOUS 15389 HAS SOUPS 15389 WITH SCORE 15433.143
AT ITER 9749 NEW BEST:: SOT 64635 SOS 44138 HAS SOPS 44138 HAS SOUS 15389 HAS SOUPS 15389 WITH SCORE 15433.138
AT ITER 9849 NEW BEST:: SOT 64629 SOS 44132 HAS SOPS 44132 HAS SOUS 15381 HAS SOUPS 15381 WITH SCORE 15425.132
AT ITER 9865 NEW BEST:: SOT 64629 SOS 44004 HAS SOPS 44004 HAS SOUS 15381 HAS SOUPS 15381 WITH SCORE 15425.004
AT ITER 9886 NEW BEST:: SOT 64631 SOS 44006 HAS SOPS 44006 HAS SOUS 15379 HAS SOUPS 15379 WITH SCORE 15423.006

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="PermAdmissibility-PT-50"
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 PermAdmissibility-PT-50, 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 r108-csrt-158961250800656"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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