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-158961502900424.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 Referendum-PT-0050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502900424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 656K
-rw-r--r-- 1 mcc users 24K Apr 12 08:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Apr 12 08:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 11 09:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Apr 11 09:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 25K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 66K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Apr 10 14:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 58K Apr 10 14:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 9 21:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Apr 9 21:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 5.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 13K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 57K 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 1589831783734

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

Filename model.pnml
Petri model created: 151 places, 101 transitions, 251 arcs.
AT ITER 0 NEW BEST:: SOT 12505 SOS 7357 HAS SOPS 7357 HAS SOUS 7357 HAS SOUPS 7357 WITH SCORE 7364.357
AT ITER 1 NEW BEST:: SOT 12479 SOS 7322 HAS SOPS 7322 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7329.322
AT ITER 3 NEW BEST:: SOT 12345 SOS 7258 HAS SOPS 7258 HAS SOUS 7245 HAS SOUPS 7245 WITH SCORE 7252.258
AT ITER 4 NEW BEST:: SOT 12247 SOS 7117 HAS SOPS 7117 HAS SOUS 7104 HAS SOUPS 7104 WITH SCORE 7111.117
AT ITER 5 NEW BEST:: SOT 12125 SOS 6996 HAS SOPS 6996 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6964.996
AT ITER 7 NEW BEST:: SOT 12050 SOS 6961 HAS SOPS 6961 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6906.961
AT ITER 8 NEW BEST:: SOT 12044 SOS 6949 HAS SOPS 6949 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6900.949
AT ITER 10 NEW BEST:: SOT 11951 SOS 6902 HAS SOPS 6902 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6812.902
AT ITER 11 NEW BEST:: SOT 11857 SOS 6761 HAS SOPS 6761 HAS SOUS 6665 HAS SOUPS 6665 WITH SCORE 6671.761
AT ITER 12 NEW BEST:: SOT 11808 SOS 6723 HAS SOPS 6723 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6633.723
AT ITER 14 NEW BEST:: SOT 11662 SOS 6528 HAS SOPS 6528 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6438.528
AT ITER 16 NEW BEST:: SOT 11546 SOS 6363 HAS SOPS 6363 HAS SOUS 6267 HAS SOUPS 6267 WITH SCORE 6273.363
AT ITER 17 NEW BEST:: SOT 11525 SOS 6321 HAS SOPS 6321 HAS SOUS 6229 HAS SOUPS 6229 WITH SCORE 6235.321
AT ITER 19 NEW BEST:: SOT 11476 SOS 6290 HAS SOPS 6290 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6204.29
AT ITER 20 NEW BEST:: SOT 11391 SOS 6182 HAS SOPS 6182 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6096.182
AT ITER 22 NEW BEST:: SOT 11329 SOS 6089 HAS SOPS 6089 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6003.089
AT ITER 24 NEW BEST:: SOT 11290 SOS 6011 HAS SOPS 6011 HAS SOUS 5919 HAS SOUPS 5919 WITH SCORE 5925.011
AT ITER 30 NEW BEST:: SOT 11192 SOS 5897 HAS SOPS 5897 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5810.897
AT ITER 31 NEW BEST:: SOT 11114 SOS 5846 HAS SOPS 5846 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5739.846
AT ITER 38 NEW BEST:: SOT 11088 SOS 5794 HAS SOPS 5794 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5687.794
AT ITER 39 NEW BEST:: SOT 11075 SOS 5768 HAS SOPS 5768 HAS SOUS 5656 HAS SOUPS 5656 WITH SCORE 5661.768
AT ITER 40 NEW BEST:: SOT 10988 SOS 5729 HAS SOPS 5729 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5562.729
AT ITER 41 NEW BEST:: SOT 10867 SOS 5611 HAS SOPS 5611 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5418.611
AT ITER 42 NEW BEST:: SOT 10849 SOS 5575 HAS SOPS 5575 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5382.575
AT ITER 44 NEW BEST:: SOT 10847 SOS 5571 HAS SOPS 5571 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5356.571
AT ITER 45 NEW BEST:: SOT 10793 SOS 5490 HAS SOPS 5490 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5275.49
AT ITER 48 NEW BEST:: SOT 10737 SOS 5434 HAS SOPS 5434 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5219.434
AT ITER 49 NEW BEST:: SOT 10633 SOS 5281 HAS SOPS 5281 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5066.281
AT ITER 52 NEW BEST:: SOT 10535 SOS 5085 HAS SOPS 5085 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4886.085
AT ITER 53 NEW BEST:: SOT 10465 SOS 5065 HAS SOPS 5065 HAS SOUS 4833 HAS SOUPS 4833 WITH SCORE 4838.065
AT ITER 55 NEW BEST:: SOT 10367 SOS 4937 HAS SOPS 4937 HAS SOUS 4686 HAS SOUPS 4686 WITH SCORE 4690.937
AT ITER 56 NEW BEST:: SOT 10365 SOS 4933 HAS SOPS 4933 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4687.933
AT ITER 57 NEW BEST:: SOT 10349 SOS 4901 HAS SOPS 4901 HAS SOUS 4618 HAS SOUPS 4618 WITH SCORE 4622.901
AT ITER 59 NEW BEST:: SOT 10319 SOS 4871 HAS SOPS 4871 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4592.871
AT ITER 65 NEW BEST:: SOT 10318 SOS 4869 HAS SOPS 4869 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4590.869
AT ITER 66 NEW BEST:: SOT 10255 SOS 4870 HAS SOPS 4870 HAS SOUS 4509 HAS SOUPS 4509 WITH SCORE 4513.87
AT ITER 70 NEW BEST:: SOT 10249 SOS 4864 HAS SOPS 4864 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4507.864
AT ITER 73 NEW BEST:: SOT 10247 SOS 4862 HAS SOPS 4862 HAS SOUS 4501 HAS SOUPS 4501 WITH SCORE 4505.862
AT ITER 79 NEW BEST:: SOT 10235 SOS 4872 HAS SOPS 4872 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4490.872
AT ITER 83 NEW BEST:: SOT 10221 SOS 4857 HAS SOPS 4857 HAS SOUS 4471 HAS SOUPS 4471 WITH SCORE 4475.857
AT ITER 85 NEW BEST:: SOT 10181 SOS 4836 HAS SOPS 4836 HAS SOUS 4440 HAS SOUPS 4440 WITH SCORE 4444.836
AT ITER 99 NEW BEST:: SOT 10152 SOS 4795 HAS SOPS 4795 HAS SOUS 4399 HAS SOUPS 4399 WITH SCORE 4403.795
AT ITER 105 NEW BEST:: SOT 10133 SOS 4793 HAS SOPS 4793 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4401.793
AT ITER 107 NEW BEST:: SOT 10084 SOS 4746 HAS SOPS 4746 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4354.746
AT ITER 109 NEW BEST:: SOT 10065 SOS 4708 HAS SOPS 4708 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4316.708
AT ITER 110 NEW BEST:: SOT 10045 SOS 4668 HAS SOPS 4668 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4307.668
AT ITER 111 NEW BEST:: SOT 10021 SOS 4620 HAS SOPS 4620 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4274.62
AT ITER 112 NEW BEST:: SOT 10021 SOS 4618 HAS SOPS 4618 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4274.618
AT ITER 114 NEW BEST:: SOT 9943 SOS 4501 HAS SOPS 4501 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4157.501
AT ITER 115 NEW BEST:: SOT 9929 SOS 4473 HAS SOPS 4473 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4129.473
AT ITER 116 NEW BEST:: SOT 9882 SOS 4455 HAS SOPS 4455 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4109.455
AT ITER 117 NEW BEST:: SOT 9877 SOS 4445 HAS SOPS 4445 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4099.445
AT ITER 118 NEW BEST:: SOT 9831 SOS 4376 HAS SOPS 4376 HAS SOUS 4026 HAS SOUPS 4026 WITH SCORE 4030.376
AT ITER 119 NEW BEST:: SOT 9757 SOS 4315 HAS SOPS 4315 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3930.315
AT ITER 122 NEW BEST:: SOT 9683 SOS 4215 HAS SOPS 4215 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3830.215
AT ITER 124 NEW BEST:: SOT 9683 SOS 4215 HAS SOPS 4215 HAS SOUS 3818 HAS SOUPS 3818 WITH SCORE 3822.215
AT ITER 125 NEW BEST:: SOT 9665 SOS 4179 HAS SOPS 4179 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3789.179
AT ITER 128 NEW BEST:: SOT 9661 SOS 4174 HAS SOPS 4174 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3784.174
AT ITER 132 NEW BEST:: SOT 9651 SOS 4154 HAS SOPS 4154 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3764.154
AT ITER 135 NEW BEST:: SOT 9587 SOS 4026 HAS SOPS 4026 HAS SOUS 3690 HAS SOUPS 3690 WITH SCORE 3694.026
AT ITER 136 NEW BEST:: SOT 9568 SOS 3988 HAS SOPS 3988 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3647.988
AT ITER 138 NEW BEST:: SOT 9567 SOS 3986 HAS SOPS 3986 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3646.986
AT ITER 139 NEW BEST:: SOT 9558 SOS 3977 HAS SOPS 3977 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3637.977
AT ITER 140 NEW BEST:: SOT 9558 SOS 3948 HAS SOPS 3948 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3637.948
AT ITER 144 NEW BEST:: SOT 9558 SOS 3909 HAS SOPS 3909 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3625.909
AT ITER 145 NEW BEST:: SOT 9563 SOS 3919 HAS SOPS 3919 HAS SOUS 3610 HAS SOUPS 3610 WITH SCORE 3613.919
AT ITER 148 NEW BEST:: SOT 9547 SOS 3903 HAS SOPS 3903 HAS SOUS 3594 HAS SOUPS 3594 WITH SCORE 3597.903
AT ITER 150 NEW BEST:: SOT 9482 SOS 3888 HAS SOPS 3888 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3565.888
AT ITER 152 NEW BEST:: SOT 9469 SOS 3874 HAS SOPS 3874 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3551.874
AT ITER 153 NEW BEST:: SOT 9371 SOS 3749 HAS SOPS 3749 HAS SOUS 3389 HAS SOUPS 3389 WITH SCORE 3392.749
AT ITER 154 NEW BEST:: SOT 9357 SOS 3721 HAS SOPS 3721 HAS SOUS 3345 HAS SOUPS 3345 WITH SCORE 3348.721
AT ITER 156 NEW BEST:: SOT 9360 SOS 3727 HAS SOPS 3727 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3339.727
AT ITER 159 NEW BEST:: SOT 9360 SOS 3725 HAS SOPS 3725 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3339.725
AT ITER 160 NEW BEST:: SOT 9354 SOS 3719 HAS SOPS 3719 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3333.719
AT ITER 169 NEW BEST:: SOT 9354 SOS 3713 HAS SOPS 3713 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3333.713
AT ITER 176 NEW BEST:: SOT 9295 SOS 3711 HAS SOPS 3711 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3285.711
AT ITER 178 NEW BEST:: SOT 9294 SOS 3709 HAS SOPS 3709 HAS SOUS 3280 HAS SOUPS 3280 WITH SCORE 3283.709
AT ITER 184 NEW BEST:: SOT 9276 SOS 3682 HAS SOPS 3682 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3256.682
AT ITER 186 NEW BEST:: SOT 9226 SOS 3582 HAS SOPS 3582 HAS SOUS 3163 HAS SOUPS 3163 WITH SCORE 3166.582
AT ITER 187 NEW BEST:: SOT 9202 SOS 3578 HAS SOPS 3578 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3149.578
AT ITER 193 NEW BEST:: SOT 9196 SOS 3566 HAS SOPS 3566 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3137.566
AT ITER 196 NEW BEST:: SOT 9185 SOS 3544 HAS SOPS 3544 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3115.544
AT ITER 199 NEW BEST:: SOT 9183 SOS 3540 HAS SOPS 3540 HAS SOUS 3110 HAS SOUPS 3110 WITH SCORE 3113.54
AT ITER 202 NEW BEST:: SOT 9168 SOS 3495 HAS SOPS 3495 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.495
AT ITER 208 NEW BEST:: SOT 9156 SOS 3413 HAS SOPS 3413 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3013.413
AT ITER 212 NEW BEST:: SOT 9142 SOS 3385 HAS SOPS 3385 HAS SOUS 2983 HAS SOUPS 2983 WITH SCORE 2986.385
AT ITER 213 NEW BEST:: SOT 9141 SOS 3384 HAS SOPS 3384 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2985.384
AT ITER 215 NEW BEST:: SOT 9137 SOS 3376 HAS SOPS 3376 HAS SOUS 2974 HAS SOUPS 2974 WITH SCORE 2977.376
AT ITER 216 NEW BEST:: SOT 9128 SOS 3358 HAS SOPS 3358 HAS SOUS 2923 HAS SOUPS 2923 WITH SCORE 2926.358
AT ITER 217 NEW BEST:: SOT 9115 SOS 3345 HAS SOPS 3345 HAS SOUS 2910 HAS SOUPS 2910 WITH SCORE 2913.345
AT ITER 232 NEW BEST:: SOT 9101 SOS 3317 HAS SOPS 3317 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2899.317
AT ITER 238 NEW BEST:: SOT 9055 SOS 3295 HAS SOPS 3295 HAS SOUS 2847 HAS SOUPS 2847 WITH SCORE 2850.295
AT ITER 249 NEW BEST:: SOT 9041 SOS 3267 HAS SOPS 3267 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2818.267
AT ITER 250 NEW BEST:: SOT 9010 SOS 3205 HAS SOPS 3205 HAS SOUS 2753 HAS SOUPS 2753 WITH SCORE 2756.205
AT ITER 252 NEW BEST:: SOT 9010 SOS 3203 HAS SOPS 3203 HAS SOUS 2753 HAS SOUPS 2753 WITH SCORE 2756.203
AT ITER 256 NEW BEST:: SOT 8994 SOS 3202 HAS SOPS 3202 HAS SOUS 2736 HAS SOUPS 2736 WITH SCORE 2739.202
AT ITER 261 NEW BEST:: SOT 8994 SOS 3202 HAS SOPS 3202 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2735.202
AT ITER 268 NEW BEST:: SOT 8983 SOS 3204 HAS SOPS 3204 HAS SOUS 2713 HAS SOUPS 2713 WITH SCORE 2716.204
AT ITER 273 NEW BEST:: SOT 8959 SOS 3181 HAS SOPS 3181 HAS SOUS 2689 HAS SOUPS 2689 WITH SCORE 2692.181
AT ITER 278 NEW BEST:: SOT 8959 SOS 3159 HAS SOPS 3159 HAS SOUS 2689 HAS SOUPS 2689 WITH SCORE 2692.159
AT ITER 283 NEW BEST:: SOT 8948 SOS 3137 HAS SOPS 3137 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2681.137
AT ITER 287 NEW BEST:: SOT 8948 SOS 3137 HAS SOPS 3137 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2678.137
AT ITER 288 NEW BEST:: SOT 8948 SOS 3129 HAS SOPS 3129 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2678.129
AT ITER 297 NEW BEST:: SOT 8948 SOS 3121 HAS SOPS 3121 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2678.121
AT ITER 303 NEW BEST:: SOT 8948 SOS 3110 HAS SOPS 3110 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2678.11
AT ITER 304 NEW BEST:: SOT 8948 SOS 3110 HAS SOPS 3110 HAS SOUS 2667 HAS SOUPS 2667 WITH SCORE 2670.11
AT ITER 312 NEW BEST:: SOT 8934 SOS 3096 HAS SOPS 3096 HAS SOUS 2653 HAS SOUPS 2653 WITH SCORE 2656.096
AT ITER 331 NEW BEST:: SOT 8930 SOS 3088 HAS SOPS 3088 HAS SOUS 2649 HAS SOUPS 2649 WITH SCORE 2652.088
AT ITER 339 NEW BEST:: SOT 8925 SOS 3073 HAS SOPS 3073 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2647.073
AT ITER 342 NEW BEST:: SOT 8918 SOS 3059 HAS SOPS 3059 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2631.059
AT ITER 349 NEW BEST:: SOT 8916 SOS 3055 HAS SOPS 3055 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2629.055
AT ITER 355 NEW BEST:: SOT 8898 SOS 2993 HAS SOPS 2993 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2598.993
AT ITER 357 NEW BEST:: SOT 8897 SOS 2991 HAS SOPS 2991 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2597.991
AT ITER 366 NEW BEST:: SOT 8870 SOS 2958 HAS SOPS 2958 HAS SOUS 2547 HAS SOUPS 2547 WITH SCORE 2549.958
AT ITER 371 NEW BEST:: SOT 8870 SOS 2958 HAS SOPS 2958 HAS SOUS 2535 HAS SOUPS 2535 WITH SCORE 2537.958
AT ITER 383 NEW BEST:: SOT 8859 SOS 2925 HAS SOPS 2925 HAS SOUS 2524 HAS SOUPS 2524 WITH SCORE 2526.925
AT ITER 386 NEW BEST:: SOT 8851 SOS 2909 HAS SOPS 2909 HAS SOUS 2516 HAS SOUPS 2516 WITH SCORE 2518.909
AT ITER 392 NEW BEST:: SOT 8823 SOS 2853 HAS SOPS 2853 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2462.853
AT ITER 401 NEW BEST:: SOT 8823 SOS 2844 HAS SOPS 2844 HAS SOUS 2451 HAS SOUPS 2451 WITH SCORE 2453.844
AT ITER 405 NEW BEST:: SOT 8807 SOS 2828 HAS SOPS 2828 HAS SOUS 2435 HAS SOUPS 2435 WITH SCORE 2437.828
AT ITER 418 NEW BEST:: SOT 8804 SOS 2822 HAS SOPS 2822 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2431.822
AT ITER 419 NEW BEST:: SOT 8804 SOS 2774 HAS SOPS 2774 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2431.774
AT ITER 432 NEW BEST:: SOT 8799 SOS 2764 HAS SOPS 2764 HAS SOUS 2419 HAS SOUPS 2419 WITH SCORE 2421.764
AT ITER 435 NEW BEST:: SOT 8774 SOS 2714 HAS SOPS 2714 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2371.714
AT ITER 436 NEW BEST:: SOT 8772 SOS 2675 HAS SOPS 2675 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2334.675
AT ITER 439 NEW BEST:: SOT 8757 SOS 2645 HAS SOPS 2645 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2315.645
AT ITER 443 NEW BEST:: SOT 8755 SOS 2642 HAS SOPS 2642 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2312.642
AT ITER 450 NEW BEST:: SOT 8718 SOS 2568 HAS SOPS 2568 HAS SOUS 2273 HAS SOUPS 2273 WITH SCORE 2275.568
AT ITER 459 NEW BEST:: SOT 8709 SOS 2565 HAS SOPS 2565 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2266.565
AT ITER 472 NEW BEST:: SOT 8704 SOS 2510 HAS SOPS 2510 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2250.51
AT ITER 475 NEW BEST:: SOT 8694 SOS 2452 HAS SOPS 2452 HAS SOUS 2238 HAS SOUPS 2238 WITH SCORE 2240.452
AT ITER 476 NEW BEST:: SOT 8680 SOS 2407 HAS SOPS 2407 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2209.407
AT ITER 485 NEW BEST:: SOT 8680 SOS 2399 HAS SOPS 2399 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2209.399
AT ITER 500 NEW BEST:: SOT 8671 SOS 2372 HAS SOPS 2372 HAS SOUS 2189 HAS SOUPS 2189 WITH SCORE 2191.372
AT ITER 512 NEW BEST:: SOT 8667 SOS 2357 HAS SOPS 2357 HAS SOUS 2185 HAS SOUPS 2185 WITH SCORE 2187.357
AT ITER 525 NEW BEST:: SOT 8643 SOS 2309 HAS SOPS 2309 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2163.309
AT ITER 533 NEW BEST:: SOT 8609 SOS 2258 HAS SOPS 2258 HAS SOUS 2110 HAS SOUPS 2110 WITH SCORE 2112.258
AT ITER 534 NEW BEST:: SOT 8609 SOS 2258 HAS SOPS 2258 HAS SOUS 2107 HAS SOUPS 2107 WITH SCORE 2109.258
AT ITER 544 NEW BEST:: SOT 8611 SOS 2262 HAS SOPS 2262 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.262
AT ITER 555 NEW BEST:: SOT 8596 SOS 2232 HAS SOPS 2232 HAS SOUS 2065 HAS SOUPS 2065 WITH SCORE 2067.232
AT ITER 556 NEW BEST:: SOT 8594 SOS 2228 HAS SOPS 2228 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2065.228
AT ITER 557 NEW BEST:: SOT 8570 SOS 2180 HAS SOPS 2180 HAS SOUS 2015 HAS SOUPS 2015 WITH SCORE 2017.18
AT ITER 560 NEW BEST:: SOT 8556 SOS 2152 HAS SOPS 2152 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1981.152
AT ITER 561 NEW BEST:: SOT 8549 SOS 2142 HAS SOPS 2142 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.142
AT ITER 563 NEW BEST:: SOT 8566 SOS 2137 HAS SOPS 2137 HAS SOUS 1961 HAS SOUPS 1961 WITH SCORE 1963.137
AT ITER 565 NEW BEST:: SOT 8594 SOS 2193 HAS SOPS 2193 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1944.193
AT ITER 570 NEW BEST:: SOT 8593 SOS 2189 HAS SOPS 2189 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1942.189
AT ITER 575 NEW BEST:: SOT 8592 SOS 2188 HAS SOPS 2188 HAS SOUS 1939 HAS SOUPS 1939 WITH SCORE 1941.188
AT ITER 579 NEW BEST:: SOT 8597 SOS 2156 HAS SOPS 2156 HAS SOUS 1925 HAS SOUPS 1925 WITH SCORE 1927.156
AT ITER 597 NEW BEST:: SOT 8585 SOS 2132 HAS SOPS 2132 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1903.132
AT ITER 599 NEW BEST:: SOT 8573 SOS 2126 HAS SOPS 2126 HAS SOUS 1888 HAS SOUPS 1888 WITH SCORE 1890.126
AT ITER 610 NEW BEST:: SOT 8579 SOS 2138 HAS SOPS 2138 HAS SOUS 1882 HAS SOUPS 1882 WITH SCORE 1884.138
AT ITER 632 NEW BEST:: SOT 8565 SOS 2110 HAS SOPS 2110 HAS SOUS 1844 HAS SOUPS 1844 WITH SCORE 1846.11
AT ITER 662 NEW BEST:: SOT 8561 SOS 2102 HAS SOPS 2102 HAS SOUS 1836 HAS SOUPS 1836 WITH SCORE 1838.102
AT ITER 664 NEW BEST:: SOT 8563 SOS 2106 HAS SOPS 2106 HAS SOUS 1830 HAS SOUPS 1830 WITH SCORE 1832.106
AT ITER 669 NEW BEST:: SOT 8530 SOS 2007 HAS SOPS 2007 HAS SOUS 1764 HAS SOUPS 1764 WITH SCORE 1766.007
AT ITER 670 NEW BEST:: SOT 8530 SOS 2001 HAS SOPS 2001 HAS SOUS 1764 HAS SOUPS 1764 WITH SCORE 1766.001
AT ITER 691 NEW BEST:: SOT 8530 SOS 1975 HAS SOPS 1975 HAS SOUS 1738 HAS SOUPS 1738 WITH SCORE 1739.975
AT ITER 701 NEW BEST:: SOT 8518 SOS 1992 HAS SOPS 1992 HAS SOUS 1727 HAS SOUPS 1727 WITH SCORE 1728.992
AT ITER 705 NEW BEST:: SOT 8512 SOS 1969 HAS SOPS 1969 HAS SOUS 1710 HAS SOUPS 1710 WITH SCORE 1711.969
AT ITER 706 NEW BEST:: SOT 8507 SOS 1885 HAS SOPS 1885 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1701.885
AT ITER 717 NEW BEST:: SOT 8502 SOS 1878 HAS SOPS 1878 HAS SOUS 1692 HAS SOUPS 1692 WITH SCORE 1693.878
AT ITER 759 NEW BEST:: SOT 8484 SOS 1862 HAS SOPS 1862 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1671.862
AT ITER 783 NEW BEST:: SOT 8481 SOS 1859 HAS SOPS 1859 HAS SOUS 1667 HAS SOUPS 1667 WITH SCORE 1668.859
AT ITER 787 NEW BEST:: SOT 8480 SOS 1858 HAS SOPS 1858 HAS SOUS 1666 HAS SOUPS 1666 WITH SCORE 1667.858
AT ITER 789 NEW BEST:: SOT 8463 SOS 1824 HAS SOPS 1824 HAS SOUS 1632 HAS SOUPS 1632 WITH SCORE 1633.824
AT ITER 792 NEW BEST:: SOT 8463 SOS 1809 HAS SOPS 1809 HAS SOUS 1631 HAS SOUPS 1631 WITH SCORE 1632.809
AT ITER 799 NEW BEST:: SOT 8459 SOS 1797 HAS SOPS 1797 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1624.797
AT ITER 800 NEW BEST:: SOT 8447 SOS 1834 HAS SOPS 1834 HAS SOUS 1612 HAS SOUPS 1612 WITH SCORE 1613.834
AT ITER 809 NEW BEST:: SOT 8447 SOS 1834 HAS SOPS 1834 HAS SOUS 1606 HAS SOUPS 1606 WITH SCORE 1607.834
AT ITER 828 NEW BEST:: SOT 8447 SOS 1834 HAS SOPS 1834 HAS SOUS 1605 HAS SOUPS 1605 WITH SCORE 1606.834
AT ITER 865 NEW BEST:: SOT 8454 SOS 1831 HAS SOPS 1831 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1603.831
AT ITER 889 NEW BEST:: SOT 8452 SOS 1817 HAS SOPS 1817 HAS SOUS 1593 HAS SOUPS 1593 WITH SCORE 1594.817
AT ITER 906 NEW BEST:: SOT 8448 SOS 1809 HAS SOPS 1809 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1579.809
AT ITER 929 NEW BEST:: SOT 8447 SOS 1807 HAS SOPS 1807 HAS SOUS 1577 HAS SOUPS 1577 WITH SCORE 1578.807
AT ITER 940 NEW BEST:: SOT 8444 SOS 1801 HAS SOPS 1801 HAS SOUS 1577 HAS SOUPS 1577 WITH SCORE 1578.801
AT ITER 952 NEW BEST:: SOT 8426 SOS 1765 HAS SOPS 1765 HAS SOUS 1572 HAS SOUPS 1572 WITH SCORE 1573.765
AT ITER 960 NEW BEST:: SOT 8432 SOS 1761 HAS SOPS 1761 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1569.761
AT ITER 981 NEW BEST:: SOT 8430 SOS 1761 HAS SOPS 1761 HAS SOUS 1564 HAS SOUPS 1564 WITH SCORE 1565.761
AT ITER 988 NEW BEST:: SOT 8428 SOS 1759 HAS SOPS 1759 HAS SOUS 1562 HAS SOUPS 1562 WITH SCORE 1563.759
AT ITER 1001 NEW BEST:: SOT 8423 SOS 1749 HAS SOPS 1749 HAS SOUS 1550 HAS SOUPS 1550 WITH SCORE 1551.749
AT ITER 1005 NEW BEST:: SOT 8422 SOS 1745 HAS SOPS 1745 HAS SOUS 1547 HAS SOUPS 1547 WITH SCORE 1548.745
AT ITER 1007 NEW BEST:: SOT 8376 SOS 1696 HAS SOPS 1696 HAS SOUS 1498 HAS SOUPS 1498 WITH SCORE 1499.696
AT ITER 1013 NEW BEST:: SOT 8369 SOS 1695 HAS SOPS 1695 HAS SOUS 1494 HAS SOUPS 1494 WITH SCORE 1495.695
AT ITER 1018 NEW BEST:: SOT 8361 SOS 1679 HAS SOPS 1679 HAS SOUS 1475 HAS SOUPS 1475 WITH SCORE 1476.679
AT ITER 1026 NEW BEST:: SOT 8361 SOS 1676 HAS SOPS 1676 HAS SOUS 1475 HAS SOUPS 1475 WITH SCORE 1476.676
AT ITER 1033 NEW BEST:: SOT 8367 SOS 1641 HAS SOPS 1641 HAS SOUS 1455 HAS SOUPS 1455 WITH SCORE 1456.641
AT ITER 1068 NEW BEST:: SOT 8364 SOS 1635 HAS SOPS 1635 HAS SOUS 1449 HAS SOUPS 1449 WITH SCORE 1450.635
AT ITER 1072 NEW BEST:: SOT 8353 SOS 1613 HAS SOPS 1613 HAS SOUS 1431 HAS SOUPS 1431 WITH SCORE 1432.613
AT ITER 1075 NEW BEST:: SOT 8353 SOS 1612 HAS SOPS 1612 HAS SOUS 1430 HAS SOUPS 1430 WITH SCORE 1431.612
AT ITER 1076 NEW BEST:: SOT 8309 SOS 1554 HAS SOPS 1554 HAS SOUS 1372 HAS SOUPS 1372 WITH SCORE 1373.554
AT ITER 1080 NEW BEST:: SOT 8308 SOS 1552 HAS SOPS 1552 HAS SOUS 1370 HAS SOUPS 1370 WITH SCORE 1371.552
AT ITER 1082 NEW BEST:: SOT 8307 SOS 1551 HAS SOPS 1551 HAS SOUS 1369 HAS SOUPS 1369 WITH SCORE 1370.551
AT ITER 1121 NEW BEST:: SOT 8273 SOS 1483 HAS SOPS 1483 HAS SOUS 1319 HAS SOUPS 1319 WITH SCORE 1320.483
AT ITER 1126 NEW BEST:: SOT 8260 SOS 1425 HAS SOPS 1425 HAS SOUS 1280 HAS SOUPS 1280 WITH SCORE 1281.425
AT ITER 1147 NEW BEST:: SOT 8254 SOS 1413 HAS SOPS 1413 HAS SOUS 1271 HAS SOUPS 1271 WITH SCORE 1272.413
AT ITER 1149 NEW BEST:: SOT 8252 SOS 1409 HAS SOPS 1409 HAS SOUS 1269 HAS SOUPS 1269 WITH SCORE 1270.409
AT ITER 1177 NEW BEST:: SOT 8257 SOS 1419 HAS SOPS 1419 HAS SOUS 1239 HAS SOUPS 1239 WITH SCORE 1240.419
AT ITER 1182 NEW BEST:: SOT 8257 SOS 1419 HAS SOPS 1419 HAS SOUS 1234 HAS SOUPS 1234 WITH SCORE 1235.419
AT ITER 1185 NEW BEST:: SOT 8257 SOS 1409 HAS SOPS 1409 HAS SOUS 1234 HAS SOUPS 1234 WITH SCORE 1235.409
AT ITER 1199 NEW BEST:: SOT 8256 SOS 1407 HAS SOPS 1407 HAS SOUS 1233 HAS SOUPS 1233 WITH SCORE 1234.407
AT ITER 1200 NEW BEST:: SOT 8253 SOS 1401 HAS SOPS 1401 HAS SOUS 1230 HAS SOUPS 1230 WITH SCORE 1231.401
AT ITER 1203 NEW BEST:: SOT 8254 SOS 1391 HAS SOPS 1391 HAS SOUS 1220 HAS SOUPS 1220 WITH SCORE 1221.391
AT ITER 1220 NEW BEST:: SOT 8254 SOS 1357 HAS SOPS 1357 HAS SOUS 1220 HAS SOUPS 1220 WITH SCORE 1221.357
AT ITER 1236 NEW BEST:: SOT 8248 SOS 1345 HAS SOPS 1345 HAS SOUS 1214 HAS SOUPS 1214 WITH SCORE 1215.345
AT ITER 1252 NEW BEST:: SOT 8248 SOS 1344 HAS SOPS 1344 HAS SOUS 1214 HAS SOUPS 1214 WITH SCORE 1215.344
AT ITER 1267 NEW BEST:: SOT 8240 SOS 1328 HAS SOPS 1328 HAS SOUS 1198 HAS SOUPS 1198 WITH SCORE 1199.328
AT ITER 1273 NEW BEST:: SOT 8225 SOS 1333 HAS SOPS 1333 HAS SOUS 1183 HAS SOUPS 1183 WITH SCORE 1184.333
AT ITER 1287 NEW BEST:: SOT 8200 SOS 1283 HAS SOPS 1283 HAS SOUS 1133 HAS SOUPS 1133 WITH SCORE 1134.283
AT ITER 1292 NEW BEST:: SOT 8203 SOS 1252 HAS SOPS 1252 HAS SOUS 1124 HAS SOUPS 1124 WITH SCORE 1125.252
AT ITER 1305 NEW BEST:: SOT 8206 SOS 1249 HAS SOPS 1249 HAS SOUS 1121 HAS SOUPS 1121 WITH SCORE 1122.249
AT ITER 1309 NEW BEST:: SOT 8208 SOS 1236 HAS SOPS 1236 HAS SOUS 1121 HAS SOUPS 1121 WITH SCORE 1122.236
AT ITER 1322 NEW BEST:: SOT 8207 SOS 1234 HAS SOPS 1234 HAS SOUS 1120 HAS SOUPS 1120 WITH SCORE 1121.234
AT ITER 1389 NEW BEST:: SOT 8206 SOS 1234 HAS SOPS 1234 HAS SOUS 1119 HAS SOUPS 1119 WITH SCORE 1120.234
AT ITER 1411 NEW BEST:: SOT 8206 SOS 1233 HAS SOPS 1233 HAS SOUS 1119 HAS SOUPS 1119 WITH SCORE 1120.233
AT ITER 1425 NEW BEST:: SOT 8196 SOS 1213 HAS SOPS 1213 HAS SOUS 1102 HAS SOUPS 1102 WITH SCORE 1103.213
AT ITER 1439 NEW BEST:: SOT 8196 SOS 1213 HAS SOPS 1213 HAS SOUS 1095 HAS SOUPS 1095 WITH SCORE 1096.213
AT ITER 1448 NEW BEST:: SOT 8186 SOS 1180 HAS SOPS 1180 HAS SOUS 1076 HAS SOUPS 1076 WITH SCORE 1077.18
AT ITER 1456 NEW BEST:: SOT 8186 SOS 1173 HAS SOPS 1173 HAS SOUS 1076 HAS SOUPS 1076 WITH SCORE 1077.173
AT ITER 1461 NEW BEST:: SOT 8184 SOS 1177 HAS SOPS 1177 HAS SOUS 1073 HAS SOUPS 1073 WITH SCORE 1074.177
AT ITER 1552 NEW BEST:: SOT 8184 SOS 1171 HAS SOPS 1171 HAS SOUS 1073 HAS SOUPS 1073 WITH SCORE 1074.171
AT ITER 1561 NEW BEST:: SOT 8151 SOS 1105 HAS SOPS 1105 HAS SOUS 1025 HAS SOUPS 1025 WITH SCORE 1026.105
AT ITER 1618 NEW BEST:: SOT 8141 SOS 1085 HAS SOPS 1085 HAS SOUS 1005 HAS SOUPS 1005 WITH SCORE 1006.085
AT ITER 1622 NEW BEST:: SOT 8138 SOS 1099 HAS SOPS 1099 HAS SOUS 1002 HAS SOUPS 1002 WITH SCORE 1003.099
AT ITER 1644 NEW BEST:: SOT 8133 SOS 1084 HAS SOPS 1084 HAS SOUS 996 HAS SOUPS 996 WITH SCORE 997.084
AT ITER 1654 NEW BEST:: SOT 8129 SOS 1076 HAS SOPS 1076 HAS SOUS 992 HAS SOUPS 992 WITH SCORE 993.076
AT ITER 1667 NEW BEST:: SOT 8111 SOS 1040 HAS SOPS 1040 HAS SOUS 974 HAS SOUPS 974 WITH SCORE 975.04
AT ITER 1669 NEW BEST:: SOT 8110 SOS 1039 HAS SOPS 1039 HAS SOUS 973 HAS SOUPS 973 WITH SCORE 974.039
AT ITER 1696 NEW BEST:: SOT 8108 SOS 1035 HAS SOPS 1035 HAS SOUS 968 HAS SOUPS 968 WITH SCORE 969.035
AT ITER 1704 NEW BEST:: SOT 8106 SOS 1031 HAS SOPS 1031 HAS SOUS 966 HAS SOUPS 966 WITH SCORE 967.031
AT ITER 1712 NEW BEST:: SOT 8098 SOS 1025 HAS SOPS 1025 HAS SOUS 957 HAS SOUPS 957 WITH SCORE 958.025
AT ITER 1717 NEW BEST:: SOT 8096 SOS 1027 HAS SOPS 1027 HAS SOUS 955 HAS SOUPS 955 WITH SCORE 956.027
AT ITER 1726 NEW BEST:: SOT 8093 SOS 1025 HAS SOPS 1025 HAS SOUS 952 HAS SOUPS 952 WITH SCORE 953.025
AT ITER 1750 NEW BEST:: SOT 8091 SOS 1026 HAS SOPS 1026 HAS SOUS 951 HAS SOUPS 951 WITH SCORE 952.026
AT ITER 1765 NEW BEST:: SOT 8090 SOS 1024 HAS SOPS 1024 HAS SOUS 950 HAS SOUPS 950 WITH SCORE 951.024
AT ITER 1837 NEW BEST:: SOT 8090 SOS 1019 HAS SOPS 1019 HAS SOUS 950 HAS SOUPS 950 WITH SCORE 951.019
AT ITER 1847 NEW BEST:: SOT 8087 SOS 1013 HAS SOPS 1013 HAS SOUS 944 HAS SOUPS 944 WITH SCORE 945.013
AT ITER 1884 NEW BEST:: SOT 8083 SOS 1005 HAS SOPS 1005 HAS SOUS 936 HAS SOUPS 936 WITH SCORE 937.005
AT ITER 1891 NEW BEST:: SOT 8072 SOS 995 HAS SOPS 995 HAS SOUS 921 HAS SOUPS 921 WITH SCORE 921.995
AT ITER 1939 NEW BEST:: SOT 8072 SOS 988 HAS SOPS 988 HAS SOUS 914 HAS SOUPS 914 WITH SCORE 914.988
AT ITER 1947 NEW BEST:: SOT 8072 SOS 987 HAS SOPS 987 HAS SOUS 914 HAS SOUPS 914 WITH SCORE 914.987
AT ITER 1988 NEW BEST:: SOT 8070 SOS 973 HAS SOPS 973 HAS SOUS 904 HAS SOUPS 904 WITH SCORE 904.973
AT ITER 1994 NEW BEST:: SOT 8070 SOS 971 HAS SOPS 971 HAS SOUS 904 HAS SOUPS 904 WITH SCORE 904.971
AT ITER 1995 NEW BEST:: SOT 8067 SOS 969 HAS SOPS 969 HAS SOUS 902 HAS SOUPS 902 WITH SCORE 902.969
AT ITER 2010 NEW BEST:: SOT 8066 SOS 967 HAS SOPS 967 HAS SOUS 900 HAS SOUPS 900 WITH SCORE 900.967
AT ITER 2079 NEW BEST:: SOT 8061 SOS 963 HAS SOPS 963 HAS SOUS 895 HAS SOUPS 895 WITH SCORE 895.963
AT ITER 2093 NEW BEST:: SOT 8061 SOS 963 HAS SOPS 963 HAS SOUS 894 HAS SOUPS 894 WITH SCORE 894.963
AT ITER 2104 NEW BEST:: SOT 8056 SOS 940 HAS SOPS 940 HAS SOUS 876 HAS SOUPS 876 WITH SCORE 876.94
AT ITER 2125 NEW BEST:: SOT 8058 SOS 939 HAS SOPS 939 HAS SOUS 875 HAS SOUPS 875 WITH SCORE 875.939
AT ITER 2133 NEW BEST:: SOT 8059 SOS 941 HAS SOPS 941 HAS SOUS 874 HAS SOUPS 874 WITH SCORE 874.941
AT ITER 2140 NEW BEST:: SOT 8069 SOS 935 HAS SOPS 935 HAS SOUS 871 HAS SOUPS 871 WITH SCORE 871.935
AT ITER 2165 NEW BEST:: SOT 8058 SOS 924 HAS SOPS 924 HAS SOUS 860 HAS SOUPS 860 WITH SCORE 860.924
AT ITER 2178 NEW BEST:: SOT 8058 SOS 919 HAS SOPS 919 HAS SOUS 855 HAS SOUPS 855 WITH SCORE 855.919
AT ITER 2185 NEW BEST:: SOT 8051 SOS 905 HAS SOPS 905 HAS SOUS 837 HAS SOUPS 837 WITH SCORE 837.905
AT ITER 2200 NEW BEST:: SOT 8051 SOS 895 HAS SOPS 895 HAS SOUS 827 HAS SOUPS 827 WITH SCORE 827.895
AT ITER 2218 NEW BEST:: SOT 8036 SOS 865 HAS SOPS 865 HAS SOUS 811 HAS SOUPS 811 WITH SCORE 811.865
AT ITER 2247 NEW BEST:: SOT 8034 SOS 861 HAS SOPS 861 HAS SOUS 807 HAS SOUPS 807 WITH SCORE 807.861
AT ITER 2260 NEW BEST:: SOT 8034 SOS 858 HAS SOPS 858 HAS SOUS 807 HAS SOUPS 807 WITH SCORE 807.858
AT ITER 2273 NEW BEST:: SOT 8031 SOS 852 HAS SOPS 852 HAS SOUS 804 HAS SOUPS 804 WITH SCORE 804.852
AT ITER 2276 NEW BEST:: SOT 8030 SOS 850 HAS SOPS 850 HAS SOUS 803 HAS SOUPS 803 WITH SCORE 803.85
AT ITER 2281 NEW BEST:: SOT 8028 SOS 848 HAS SOPS 848 HAS SOUS 801 HAS SOUPS 801 WITH SCORE 801.848
AT ITER 2289 NEW BEST:: SOT 8020 SOS 832 HAS SOPS 832 HAS SOUS 783 HAS SOUPS 783 WITH SCORE 783.832
AT ITER 2295 NEW BEST:: SOT 8022 SOS 821 HAS SOPS 821 HAS SOUS 783 HAS SOUPS 783 WITH SCORE 783.821
AT ITER 2320 NEW BEST:: SOT 8022 SOS 816 HAS SOPS 816 HAS SOUS 783 HAS SOUPS 783 WITH SCORE 783.816
AT ITER 2331 NEW BEST:: SOT 8021 SOS 813 HAS SOPS 813 HAS SOUS 781 HAS SOUPS 781 WITH SCORE 781.813
AT ITER 2403 NEW BEST:: SOT 8020 SOS 811 HAS SOPS 811 HAS SOUS 780 HAS SOUPS 780 WITH SCORE 780.811
AT ITER 2475 NEW BEST:: SOT 8013 SOS 815 HAS SOPS 815 HAS SOUS 773 HAS SOUPS 773 WITH SCORE 773.815
AT ITER 2558 NEW BEST:: SOT 8013 SOS 807 HAS SOPS 807 HAS SOUS 773 HAS SOUPS 773 WITH SCORE 773.807
AT ITER 2623 NEW BEST:: SOT 8011 SOS 803 HAS SOPS 803 HAS SOUS 771 HAS SOUPS 771 WITH SCORE 771.803
AT ITER 2624 NEW BEST:: SOT 8014 SOS 799 HAS SOPS 799 HAS SOUS 769 HAS SOUPS 769 WITH SCORE 769.799
AT ITER 2639 NEW BEST:: SOT 8009 SOS 789 HAS SOPS 789 HAS SOUS 763 HAS SOUPS 763 WITH SCORE 763.789
AT ITER 2640 NEW BEST:: SOT 8013 SOS 797 HAS SOPS 797 HAS SOUS 762 HAS SOUPS 762 WITH SCORE 762.797
AT ITER 2650 NEW BEST:: SOT 8006 SOS 783 HAS SOPS 783 HAS SOUS 748 HAS SOUPS 748 WITH SCORE 748.783
AT ITER 2667 NEW BEST:: SOT 7997 SOS 778 HAS SOPS 778 HAS SOUS 742 HAS SOUPS 742 WITH SCORE 742.778
AT ITER 2713 NEW BEST:: SOT 7994 SOS 777 HAS SOPS 777 HAS SOUS 740 HAS SOUPS 740 WITH SCORE 740.777
AT ITER 2741 NEW BEST:: SOT 7988 SOS 765 HAS SOPS 765 HAS SOUS 732 HAS SOUPS 732 WITH SCORE 732.765
AT ITER 2799 NEW BEST:: SOT 7989 SOS 757 HAS SOPS 757 HAS SOUS 724 HAS SOUPS 724 WITH SCORE 724.757
AT ITER 2878 NEW BEST:: SOT 7996 SOS 753 HAS SOPS 753 HAS SOUS 722 HAS SOUPS 722 WITH SCORE 722.753
AT ITER 2879 NEW BEST:: SOT 7992 SOS 745 HAS SOPS 745 HAS SOUS 714 HAS SOUPS 714 WITH SCORE 714.745
AT ITER 2892 NEW BEST:: SOT 7991 SOS 743 HAS SOPS 743 HAS SOUS 713 HAS SOUPS 713 WITH SCORE 713.743
AT ITER 2945 NEW BEST:: SOT 7994 SOS 742 HAS SOPS 742 HAS SOUS 712 HAS SOUPS 712 WITH SCORE 712.742
AT ITER 2949 NEW BEST:: SOT 7991 SOS 736 HAS SOPS 736 HAS SOUS 704 HAS SOUPS 704 WITH SCORE 704.736
AT ITER 2963 NEW BEST:: SOT 7990 SOS 727 HAS SOPS 727 HAS SOUS 702 HAS SOUPS 702 WITH SCORE 702.727
AT ITER 2992 NEW BEST:: SOT 7989 SOS 726 HAS SOPS 726 HAS SOUS 701 HAS SOUPS 701 WITH SCORE 701.726
AT ITER 3011 NEW BEST:: SOT 7987 SOS 722 HAS SOPS 722 HAS SOUS 697 HAS SOUPS 697 WITH SCORE 697.722
AT ITER 3022 NEW BEST:: SOT 7984 SOS 731 HAS SOPS 731 HAS SOUS 693 HAS SOUPS 693 WITH SCORE 693.731
AT ITER 3075 NEW BEST:: SOT 7980 SOS 726 HAS SOPS 726 HAS SOUS 688 HAS SOUPS 688 WITH SCORE 688.726
AT ITER 3076 NEW BEST:: SOT 7977 SOS 722 HAS SOPS 722 HAS SOUS 684 HAS SOUPS 684 WITH SCORE 684.722
AT ITER 3113 NEW BEST:: SOT 7973 SOS 721 HAS SOPS 721 HAS SOUS 683 HAS SOUPS 683 WITH SCORE 683.721
AT ITER 3199 NEW BEST:: SOT 7973 SOS 716 HAS SOPS 716 HAS SOUS 683 HAS SOUPS 683 WITH SCORE 683.716
AT ITER 3220 NEW BEST:: SOT 7971 SOS 712 HAS SOPS 712 HAS SOUS 679 HAS SOUPS 679 WITH SCORE 679.712
AT ITER 3247 NEW BEST:: SOT 7971 SOS 712 HAS SOPS 712 HAS SOUS 675 HAS SOUPS 675 WITH SCORE 675.712
AT ITER 3289 NEW BEST:: SOT 7971 SOS 711 HAS SOPS 711 HAS SOUS 675 HAS SOUPS 675 WITH SCORE 675.711
AT ITER 3342 NEW BEST:: SOT 7970 SOS 709 HAS SOPS 709 HAS SOUS 674 HAS SOUPS 674 WITH SCORE 674.709
AT ITER 3429 NEW BEST:: SOT 7968 SOS 707 HAS SOPS 707 HAS SOUS 672 HAS SOUPS 672 WITH SCORE 672.707
AT ITER 3437 NEW BEST:: SOT 7965 SOS 715 HAS SOPS 715 HAS SOUS 669 HAS SOUPS 669 WITH SCORE 669.715
AT ITER 3444 NEW BEST:: SOT 7964 SOS 713 HAS SOPS 713 HAS SOUS 668 HAS SOUPS 668 WITH SCORE 668.713
AT ITER 3495 NEW BEST:: SOT 7965 SOS 711 HAS SOPS 711 HAS SOUS 666 HAS SOUPS 666 WITH SCORE 666.711
AT ITER 3516 NEW BEST:: SOT 7963 SOS 707 HAS SOPS 707 HAS SOUS 661 HAS SOUPS 661 WITH SCORE 661.707
AT ITER 3541 NEW BEST:: SOT 7964 SOS 709 HAS SOPS 709 HAS SOUS 660 HAS SOUPS 660 WITH SCORE 660.709
AT ITER 3620 NEW BEST:: SOT 7957 SOS 695 HAS SOPS 695 HAS SOUS 646 HAS SOUPS 646 WITH SCORE 646.695
AT ITER 3626 NEW BEST:: SOT 7956 SOS 693 HAS SOPS 693 HAS SOUS 644 HAS SOUPS 644 WITH SCORE 644.693
AT ITER 3671 NEW BEST:: SOT 7953 SOS 694 HAS SOPS 694 HAS SOUS 643 HAS SOUPS 643 WITH SCORE 643.694
AT ITER 3765 NEW BEST:: SOT 7953 SOS 692 HAS SOPS 692 HAS SOUS 641 HAS SOUPS 641 WITH SCORE 641.692
AT ITER 3768 NEW BEST:: SOT 7952 SOS 690 HAS SOPS 690 HAS SOUS 640 HAS SOUPS 640 WITH SCORE 640.69
AT ITER 3818 NEW BEST:: SOT 7943 SOS 683 HAS SOPS 683 HAS SOUS 631 HAS SOUPS 631 WITH SCORE 631.683
AT ITER 3825 NEW BEST:: SOT 7946 SOS 680 HAS SOPS 680 HAS SOUS 630 HAS SOUPS 630 WITH SCORE 630.68
AT ITER 3879 NEW BEST:: SOT 7944 SOS 678 HAS SOPS 678 HAS SOUS 628 HAS SOUPS 628 WITH SCORE 628.678
AT ITER 3892 NEW BEST:: SOT 7938 SOS 660 HAS SOPS 660 HAS SOUS 616 HAS SOUPS 616 WITH SCORE 616.66
AT ITER 3906 NEW BEST:: SOT 7936 SOS 660 HAS SOPS 660 HAS SOUS 614 HAS SOUPS 614 WITH SCORE 614.66
AT ITER 3972 NEW BEST:: SOT 7935 SOS 652 HAS SOPS 652 HAS SOUS 612 HAS SOUPS 612 WITH SCORE 612.652
AT ITER 3990 NEW BEST:: SOT 7932 SOS 646 HAS SOPS 646 HAS SOUS 609 HAS SOUPS 609 WITH SCORE 609.646
AT ITER 4093 NEW BEST:: SOT 7932 SOS 641 HAS SOPS 641 HAS SOUS 609 HAS SOUPS 609 WITH SCORE 609.641
AT ITER 4117 NEW BEST:: SOT 7927 SOS 636 HAS SOPS 636 HAS SOUS 604 HAS SOUPS 604 WITH SCORE 604.636
AT ITER 4118 NEW BEST:: SOT 7926 SOS 634 HAS SOPS 634 HAS SOUS 601 HAS SOUPS 601 WITH SCORE 601.634
AT ITER 4213 NEW BEST:: SOT 7925 SOS 633 HAS SOPS 633 HAS SOUS 600 HAS SOUPS 600 WITH SCORE 600.633
AT ITER 4235 NEW BEST:: SOT 7924 SOS 631 HAS SOPS 631 HAS SOUS 597 HAS SOUPS 597 WITH SCORE 597.631
AT ITER 4265 NEW BEST:: SOT 7924 SOS 629 HAS SOPS 629 HAS SOUS 595 HAS SOUPS 595 WITH SCORE 595.629
AT ITER 4491 NEW BEST:: SOT 7916 SOS 613 HAS SOPS 613 HAS SOUS 579 HAS SOUPS 579 WITH SCORE 579.613
AT ITER 4521 NEW BEST:: SOT 7913 SOS 607 HAS SOPS 607 HAS SOUS 572 HAS SOUPS 572 WITH SCORE 572.607
AT ITER 4566 NEW BEST:: SOT 7913 SOS 607 HAS SOPS 607 HAS SOUS 569 HAS SOUPS 569 WITH SCORE 569.607
AT ITER 4656 NEW BEST:: SOT 7916 SOS 604 HAS SOPS 604 HAS SOUS 567 HAS SOUPS 567 WITH SCORE 567.604
AT ITER 4666 NEW BEST:: SOT 7917 SOS 603 HAS SOPS 603 HAS SOUS 566 HAS SOUPS 566 WITH SCORE 566.603
AT ITER 4845 NEW BEST:: SOT 7916 SOS 601 HAS SOPS 601 HAS SOUS 564 HAS SOUPS 564 WITH SCORE 564.601
AT ITER 5053 NEW BEST:: SOT 7913 SOS 598 HAS SOPS 598 HAS SOUS 561 HAS SOUPS 561 WITH SCORE 561.598
AT ITER 5068 NEW BEST:: SOT 7912 SOS 597 HAS SOPS 597 HAS SOUS 560 HAS SOUPS 560 WITH SCORE 560.597
AT ITER 5101 NEW BEST:: SOT 7902 SOS 587 HAS SOPS 587 HAS SOUS 550 HAS SOUPS 550 WITH SCORE 550.587
AT ITER 5269 NEW BEST:: SOT 7900 SOS 583 HAS SOPS 583 HAS SOUS 546 HAS SOUPS 546 WITH SCORE 546.583
AT ITER 5301 NEW BEST:: SOT 7900 SOS 581 HAS SOPS 581 HAS SOUS 546 HAS SOUPS 546 WITH SCORE 546.581
AT ITER 5323 NEW BEST:: SOT 7898 SOS 579 HAS SOPS 579 HAS SOUS 544 HAS SOUPS 544 WITH SCORE 544.579
AT ITER 5412 NEW BEST:: SOT 7896 SOS 577 HAS SOPS 577 HAS SOUS 542 HAS SOUPS 542 WITH SCORE 542.577
AT ITER 5416 NEW BEST:: SOT 7903 SOS 571 HAS SOPS 571 HAS SOUS 542 HAS SOUPS 542 WITH SCORE 542.571
AT ITER 5423 NEW BEST:: SOT 7903 SOS 570 HAS SOPS 570 HAS SOUS 542 HAS SOUPS 542 WITH SCORE 542.57
AT ITER 5453 NEW BEST:: SOT 7902 SOS 569 HAS SOPS 569 HAS SOUS 541 HAS SOUPS 541 WITH SCORE 541.569
AT ITER 5602 NEW BEST:: SOT 7900 SOS 567 HAS SOPS 567 HAS SOUS 539 HAS SOUPS 539 WITH SCORE 539.567
AT ITER 5650 NEW BEST:: SOT 7899 SOS 565 HAS SOPS 565 HAS SOUS 537 HAS SOUPS 537 WITH SCORE 537.565
AT ITER 5859 NEW BEST:: SOT 7895 SOS 559 HAS SOPS 559 HAS SOUS 531 HAS SOUPS 531 WITH SCORE 531.559
AT ITER 5959 NEW BEST:: SOT 7893 SOS 559 HAS SOPS 559 HAS SOUS 529 HAS SOUPS 529 WITH SCORE 529.559
AT ITER 6099 NEW BEST:: SOT 7890 SOS 559 HAS SOPS 559 HAS SOUS 525 HAS SOUPS 525 WITH SCORE 525.559
AT ITER 6138 NEW BEST:: SOT 7888 SOS 553 HAS SOPS 553 HAS SOUS 521 HAS SOUPS 521 WITH SCORE 521.553
AT ITER 6202 NEW BEST:: SOT 7887 SOS 551 HAS SOPS 551 HAS SOUS 519 HAS SOUPS 519 WITH SCORE 519.551
AT ITER 6205 NEW BEST:: SOT 7884 SOS 547 HAS SOPS 547 HAS SOUS 515 HAS SOUPS 515 WITH SCORE 515.547
AT ITER 6364 NEW BEST:: SOT 7883 SOS 545 HAS SOPS 545 HAS SOUS 512 HAS SOUPS 512 WITH SCORE 512.545
AT ITER 6366 NEW BEST:: SOT 7883 SOS 545 HAS SOPS 545 HAS SOUS 510 HAS SOUPS 510 WITH SCORE 510.545
AT ITER 6381 NEW BEST:: SOT 7881 SOS 543 HAS SOPS 543 HAS SOUS 508 HAS SOUPS 508 WITH SCORE 508.543
AT ITER 6612 NEW BEST:: SOT 7879 SOS 539 HAS SOPS 539 HAS SOUS 503 HAS SOUPS 503 WITH SCORE 503.539
AT ITER 6962 NEW BEST:: SOT 7873 SOS 527 HAS SOPS 527 HAS SOUS 491 HAS SOUPS 491 WITH SCORE 491.527
AT ITER 6969 NEW BEST:: SOT 7871 SOS 523 HAS SOPS 523 HAS SOUS 485 HAS SOUPS 485 WITH SCORE 485.523
AT ITER 7030 NEW BEST:: SOT 7871 SOS 521 HAS SOPS 521 HAS SOUS 485 HAS SOUPS 485 WITH SCORE 485.521
AT ITER 7121 NEW BEST:: SOT 7871 SOS 520 HAS SOPS 520 HAS SOUS 485 HAS SOUPS 485 WITH SCORE 485.52
AT ITER 7129 NEW BEST:: SOT 7870 SOS 519 HAS SOPS 519 HAS SOUS 484 HAS SOUPS 484 WITH SCORE 484.519
AT ITER 7180 NEW BEST:: SOT 7870 SOS 518 HAS SOPS 518 HAS SOUS 484 HAS SOUPS 484 WITH SCORE 484.518
AT ITER 7309 NEW BEST:: SOT 7869 SOS 517 HAS SOPS 517 HAS SOUS 483 HAS SOUPS 483 WITH SCORE 483.517
AT ITER 7611 NEW BEST:: SOT 7867 SOS 511 HAS SOPS 511 HAS SOUS 479 HAS SOUPS 479 WITH SCORE 479.511
AT ITER 7663 NEW BEST:: SOT 7866 SOS 510 HAS SOPS 510 HAS SOUS 478 HAS SOUPS 478 WITH SCORE 478.51
AT ITER 7688 NEW BEST:: SOT 7866 SOS 510 HAS SOPS 510 HAS SOUS 476 HAS SOUPS 476 WITH SCORE 476.51
AT ITER 7866 NEW BEST:: SOT 7864 SOS 506 HAS SOPS 506 HAS SOUS 475 HAS SOUPS 475 WITH SCORE 475.506
AT ITER 8021 NEW BEST:: SOT 7860 SOS 498 HAS SOPS 498 HAS SOUS 470 HAS SOUPS 470 WITH SCORE 470.498
AT ITER 8223 NEW BEST:: SOT 7860 SOS 494 HAS SOPS 494 HAS SOUS 466 HAS SOUPS 466 WITH SCORE 466.494
AT ITER 8303 NEW BEST:: SOT 7859 SOS 492 HAS SOPS 492 HAS SOUS 463 HAS SOUPS 463 WITH SCORE 463.492
AT ITER 8463 NEW BEST:: SOT 7858 SOS 490 HAS SOPS 490 HAS SOUS 461 HAS SOUPS 461 WITH SCORE 461.49
AT ITER 8571 NEW BEST:: SOT 7857 SOS 489 HAS SOPS 489 HAS SOUS 460 HAS SOUPS 460 WITH SCORE 460.489
AT ITER 8734 NEW BEST:: SOT 7856 SOS 487 HAS SOPS 487 HAS SOUS 460 HAS SOUPS 460 WITH SCORE 460.487
AT ITER 8917 NEW BEST:: SOT 7857 SOS 483 HAS SOPS 483 HAS SOUS 458 HAS SOUPS 458 WITH SCORE 458.483
AT ITER 9316 NEW BEST:: SOT 7856 SOS 481 HAS SOPS 481 HAS SOUS 456 HAS SOUPS 456 WITH SCORE 456.481
AT ITER 9472 NEW BEST:: SOT 7850 SOS 474 HAS SOPS 474 HAS SOUS 448 HAS SOUPS 448 WITH SCORE 448.474
AT ITER 9525 NEW BEST:: SOT 7848 SOS 470 HAS SOPS 470 HAS SOUS 444 HAS SOUPS 444 WITH SCORE 444.47
AT ITER 9647 NEW BEST:: SOT 7847 SOS 468 HAS SOPS 468 HAS SOUS 442 HAS SOUPS 442 WITH SCORE 442.468
AT ITER 9702 NEW BEST:: SOT 7845 SOS 461 HAS SOPS 461 HAS SOUS 439 HAS SOUPS 439 WITH SCORE 439.461
AT ITER 9794 NEW BEST:: SOT 7847 SOS 458 HAS SOPS 458 HAS SOUS 438 HAS SOUPS 438 WITH SCORE 438.458
AT ITER 9840 NEW BEST:: SOT 7845 SOS 450 HAS SOPS 450 HAS SOUS 434 HAS SOUPS 434 WITH SCORE 434.45
AT ITER 9972 NEW BEST:: SOT 7845 SOS 449 HAS SOPS 449 HAS SOUS 434 HAS SOUPS 434 WITH SCORE 434.449
STATE_SPACE STATES 717897987691852588770250 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 50 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 23929932923061752959008301 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589831789026

--------------------
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="Referendum-PT-0050"
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 Referendum-PT-0050, 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-158961502900424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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