Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r323-tall-167889194700432.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Referendum-COL-0050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194700432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 9.4K Feb 26 17:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 26 17:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 17:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 17:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Feb 25 16:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 17:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Feb 26 17:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 17:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 129K Feb 26 17:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 4.9K Mar 5 18:23 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 1679497764404

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Referendum-COL-0050
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-22 15:09:27] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-22 15:09:27] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-22 15:09:27] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 15:09:27] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 15:09:27] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 565 ms
[2023-03-22 15:09:27] [INFO ] Imported 4 HL places and 3 HL transitions for a total of 151 PT places and 101.0 transition bindings in 16 ms.
[2023-03-22 15:09:27] [INFO ] Unfolded HLPN to a Petri net with 151 places and 101 transitions 251 arcs in 18 ms.
[2023-03-22 15:09:27] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 15:09:27] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 151 places, 101 transitions and 251 arcs took 9 ms.
Total runtime 836 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Referendum (COL), instance 0050
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/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 2 NEW BEST:: SOT 12416 SOS 7264 HAS SOPS 7264 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7271.264
AT ITER 3 NEW BEST:: SOT 12280 SOS 7092 HAS SOPS 7092 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7099.092
AT ITER 4 NEW BEST:: SOT 12174 SOS 6954 HAS SOPS 6954 HAS SOUS 6954 HAS SOUPS 6954 WITH SCORE 6960.954
AT ITER 5 NEW BEST:: SOT 12042 SOS 6802 HAS SOPS 6802 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6808.802
AT ITER 7 NEW BEST:: SOT 11999 SOS 6785 HAS SOPS 6785 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6791.785
AT ITER 10 NEW BEST:: SOT 11893 SOS 6634 HAS SOPS 6634 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6640.634
AT ITER 12 NEW BEST:: SOT 11767 SOS 6491 HAS SOPS 6491 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6484.491
AT ITER 13 NEW BEST:: SOT 11679 SOS 6378 HAS SOPS 6378 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6371.378
AT ITER 14 NEW BEST:: SOT 11605 SOS 6230 HAS SOPS 6230 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6223.23
AT ITER 15 NEW BEST:: SOT 11453 SOS 6002 HAS SOPS 6002 HAS SOUS 5989 HAS SOUPS 5989 WITH SCORE 5995.002
AT ITER 16 NEW BEST:: SOT 11376 SOS 5940 HAS SOPS 5940 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5882.94
AT ITER 17 NEW BEST:: SOT 11244 SOS 5764 HAS SOPS 5764 HAS SOUS 5701 HAS SOUPS 5701 WITH SCORE 5706.764
AT ITER 20 NEW BEST:: SOT 11241 SOS 5758 HAS SOPS 5758 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5700.758
AT ITER 22 NEW BEST:: SOT 11113 SOS 5621 HAS SOPS 5621 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5563.621
AT ITER 23 NEW BEST:: SOT 11063 SOS 5580 HAS SOPS 5580 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5522.58
AT ITER 26 NEW BEST:: SOT 10978 SOS 5457 HAS SOPS 5457 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5399.457
AT ITER 27 NEW BEST:: SOT 10848 SOS 5282 HAS SOPS 5282 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5224.282
AT ITER 28 NEW BEST:: SOT 10810 SOS 5206 HAS SOPS 5206 HAS SOUS 5143 HAS SOUPS 5143 WITH SCORE 5148.206
AT ITER 31 NEW BEST:: SOT 10761 SOS 5165 HAS SOPS 5165 HAS SOUS 5094 HAS SOUPS 5094 WITH SCORE 5099.165
AT ITER 34 NEW BEST:: SOT 10711 SOS 5065 HAS SOPS 5065 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5049.065
AT ITER 37 NEW BEST:: SOT 10637 SOS 4954 HAS SOPS 4954 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4937.954
AT ITER 41 NEW BEST:: SOT 10531 SOS 4804 HAS SOPS 4804 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4787.804
AT ITER 45 NEW BEST:: SOT 10415 SOS 4644 HAS SOPS 4644 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4627.644
AT ITER 47 NEW BEST:: SOT 10362 SOS 4578 HAS SOPS 4578 HAS SOUS 4557 HAS SOUPS 4557 WITH SCORE 4561.578
AT ITER 48 NEW BEST:: SOT 10280 SOS 4455 HAS SOPS 4455 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4438.455
AT ITER 57 NEW BEST:: SOT 10290 SOS 4454 HAS SOPS 4454 HAS SOUS 4433 HAS SOUPS 4433 WITH SCORE 4437.454
AT ITER 59 NEW BEST:: SOT 10190 SOS 4320 HAS SOPS 4320 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4303.32
AT ITER 60 NEW BEST:: SOT 10172 SOS 4284 HAS SOPS 4284 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4267.284
AT ITER 68 NEW BEST:: SOT 10156 SOS 4252 HAS SOPS 4252 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4235.252
AT ITER 69 NEW BEST:: SOT 10074 SOS 4142 HAS SOPS 4142 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4125.142
AT ITER 79 NEW BEST:: SOT 10080 SOS 4154 HAS SOPS 4154 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4095.154
AT ITER 82 NEW BEST:: SOT 10066 SOS 4126 HAS SOPS 4126 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4067.126
AT ITER 86 NEW BEST:: SOT 10065 SOS 4125 HAS SOPS 4125 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4066.125
AT ITER 96 NEW BEST:: SOT 10027 SOS 4068 HAS SOPS 4068 HAS SOUS 4005 HAS SOUPS 4005 WITH SCORE 4009.068
AT ITER 99 NEW BEST:: SOT 9954 SOS 4070 HAS SOPS 4070 HAS SOUS 3962 HAS SOUPS 3962 WITH SCORE 3966.07
AT ITER 100 NEW BEST:: SOT 9941 SOS 4007 HAS SOPS 4007 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3945.007
AT ITER 101 NEW BEST:: SOT 9891 SOS 4023 HAS SOPS 4023 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3913.023
AT ITER 108 NEW BEST:: SOT 9871 SOS 3993 HAS SOPS 3993 HAS SOUS 3879 HAS SOUPS 3879 WITH SCORE 3882.993
AT ITER 112 NEW BEST:: SOT 9857 SOS 3965 HAS SOPS 3965 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3834.965
AT ITER 114 NEW BEST:: SOT 9856 SOS 3964 HAS SOPS 3964 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3833.964
AT ITER 119 NEW BEST:: SOT 9805 SOS 3934 HAS SOPS 3934 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3775.934
AT ITER 120 NEW BEST:: SOT 9794 SOS 3912 HAS SOPS 3912 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3753.912
AT ITER 126 NEW BEST:: SOT 9773 SOS 3870 HAS SOPS 3870 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3711.87
AT ITER 127 NEW BEST:: SOT 9774 SOS 3854 HAS SOPS 3854 HAS SOUS 3700 HAS SOUPS 3700 WITH SCORE 3703.854
AT ITER 136 NEW BEST:: SOT 9750 SOS 3830 HAS SOPS 3830 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3679.83
AT ITER 139 NEW BEST:: SOT 9718 SOS 3832 HAS SOPS 3832 HAS SOUS 3626 HAS SOUPS 3626 WITH SCORE 3629.832
AT ITER 140 NEW BEST:: SOT 9737 SOS 3754 HAS SOPS 3754 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3551.754
AT ITER 141 NEW BEST:: SOT 9735 SOS 3750 HAS SOPS 3750 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3547.75
AT ITER 142 NEW BEST:: SOT 9744 SOS 3746 HAS SOPS 3746 HAS SOUS 3540 HAS SOUPS 3540 WITH SCORE 3543.746
AT ITER 149 NEW BEST:: SOT 9722 SOS 3702 HAS SOPS 3702 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3499.702
AT ITER 151 NEW BEST:: SOT 9700 SOS 3658 HAS SOPS 3658 HAS SOUS 3468 HAS SOUPS 3468 WITH SCORE 3471.658
AT ITER 168 NEW BEST:: SOT 9700 SOS 3658 HAS SOPS 3658 HAS SOUS 3458 HAS SOUPS 3458 WITH SCORE 3461.658
AT ITER 169 NEW BEST:: SOT 9684 SOS 3670 HAS SOPS 3670 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3442.67
AT ITER 172 NEW BEST:: SOT 9676 SOS 3654 HAS SOPS 3654 HAS SOUS 3423 HAS SOUPS 3423 WITH SCORE 3426.654
AT ITER 173 NEW BEST:: SOT 9642 SOS 3586 HAS SOPS 3586 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3358.586
AT ITER 176 NEW BEST:: SOT 9640 SOS 3582 HAS SOPS 3582 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3349.582
AT ITER 177 NEW BEST:: SOT 9631 SOS 3564 HAS SOPS 3564 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3330.564
AT ITER 190 NEW BEST:: SOT 9607 SOS 3569 HAS SOPS 3569 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3315.569
AT ITER 191 NEW BEST:: SOT 9590 SOS 3511 HAS SOPS 3511 HAS SOUS 3274 HAS SOUPS 3274 WITH SCORE 3277.511
AT ITER 192 NEW BEST:: SOT 9564 SOS 3459 HAS SOPS 3459 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3221.459
AT ITER 193 NEW BEST:: SOT 9563 SOS 3457 HAS SOPS 3457 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3219.457
AT ITER 194 NEW BEST:: SOT 9563 SOS 3457 HAS SOPS 3457 HAS SOUS 3211 HAS SOUPS 3211 WITH SCORE 3214.457
AT ITER 217 NEW BEST:: SOT 9554 SOS 3384 HAS SOPS 3384 HAS SOUS 3193 HAS SOUPS 3193 WITH SCORE 3196.384
AT ITER 218 NEW BEST:: SOT 9550 SOS 3376 HAS SOPS 3376 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3192.376
AT ITER 222 NEW BEST:: SOT 9498 SOS 3328 HAS SOPS 3328 HAS SOUS 3137 HAS SOUPS 3137 WITH SCORE 3140.328
AT ITER 224 NEW BEST:: SOT 9474 SOS 3321 HAS SOPS 3321 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3116.321
AT ITER 226 NEW BEST:: SOT 9432 SOS 3298 HAS SOPS 3298 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3093.298
AT ITER 229 NEW BEST:: SOT 9429 SOS 3292 HAS SOPS 3292 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3087.292
AT ITER 233 NEW BEST:: SOT 9365 SOS 3239 HAS SOPS 3239 HAS SOUS 3031 HAS SOUPS 3031 WITH SCORE 3034.239
AT ITER 234 NEW BEST:: SOT 9315 SOS 3214 HAS SOPS 3214 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3007.214
AT ITER 241 NEW BEST:: SOT 9315 SOS 3214 HAS SOPS 3214 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3002.214
AT ITER 248 NEW BEST:: SOT 9325 SOS 3201 HAS SOPS 3201 HAS SOUS 2994 HAS SOUPS 2994 WITH SCORE 2997.201
AT ITER 249 NEW BEST:: SOT 9319 SOS 3189 HAS SOPS 3189 HAS SOUS 2986 HAS SOUPS 2986 WITH SCORE 2989.189
AT ITER 252 NEW BEST:: SOT 9317 SOS 3185 HAS SOPS 3185 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2987.185
AT ITER 258 NEW BEST:: SOT 9317 SOS 3142 HAS SOPS 3142 HAS SOUS 2941 HAS SOUPS 2941 WITH SCORE 2944.142
AT ITER 260 NEW BEST:: SOT 9312 SOS 3132 HAS SOPS 3132 HAS SOUS 2931 HAS SOUPS 2931 WITH SCORE 2934.132
AT ITER 264 NEW BEST:: SOT 9298 SOS 3210 HAS SOPS 3210 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2929.21
AT ITER 273 NEW BEST:: SOT 9289 SOS 3170 HAS SOPS 3170 HAS SOUS 2903 HAS SOUPS 2903 WITH SCORE 2906.17
AT ITER 299 NEW BEST:: SOT 9284 SOS 3174 HAS SOPS 3174 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2901.174
AT ITER 311 NEW BEST:: SOT 9271 SOS 3116 HAS SOPS 3116 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2874.116
AT ITER 314 NEW BEST:: SOT 9229 SOS 3032 HAS SOPS 3032 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2760.032
AT ITER 315 NEW BEST:: SOT 9219 SOS 3021 HAS SOPS 3021 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2741.021
AT ITER 326 NEW BEST:: SOT 9194 SOS 3036 HAS SOPS 3036 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2719.036
AT ITER 329 NEW BEST:: SOT 9163 SOS 2974 HAS SOPS 2974 HAS SOUS 2674 HAS SOUPS 2674 WITH SCORE 2676.974
AT ITER 345 NEW BEST:: SOT 9121 SOS 2991 HAS SOPS 2991 HAS SOUS 2645 HAS SOUPS 2645 WITH SCORE 2647.991
AT ITER 347 NEW BEST:: SOT 9088 SOS 2925 HAS SOPS 2925 HAS SOUS 2565 HAS SOUPS 2565 WITH SCORE 2567.925
AT ITER 355 NEW BEST:: SOT 9075 SOS 2899 HAS SOPS 2899 HAS SOUS 2551 HAS SOUPS 2551 WITH SCORE 2553.899
AT ITER 363 NEW BEST:: SOT 9056 SOS 2880 HAS SOPS 2880 HAS SOUS 2529 HAS SOUPS 2529 WITH SCORE 2531.88
AT ITER 369 NEW BEST:: SOT 9031 SOS 2830 HAS SOPS 2830 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2477.83
AT ITER 373 NEW BEST:: SOT 9031 SOS 2782 HAS SOPS 2782 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2477.782
AT ITER 374 NEW BEST:: SOT 9024 SOS 2811 HAS SOPS 2811 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2467.811
AT ITER 385 NEW BEST:: SOT 9004 SOS 2783 HAS SOPS 2783 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2439.783
AT ITER 386 NEW BEST:: SOT 9004 SOS 2783 HAS SOPS 2783 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2438.783
AT ITER 398 NEW BEST:: SOT 8976 SOS 2755 HAS SOPS 2755 HAS SOUS 2408 HAS SOUPS 2408 WITH SCORE 2410.755
AT ITER 400 NEW BEST:: SOT 8930 SOS 2663 HAS SOPS 2663 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2346.663
AT ITER 401 NEW BEST:: SOT 8930 SOS 2647 HAS SOPS 2647 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2346.647
AT ITER 407 NEW BEST:: SOT 8911 SOS 2609 HAS SOPS 2609 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2304.609
AT ITER 414 NEW BEST:: SOT 8915 SOS 2606 HAS SOPS 2606 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2304.606
AT ITER 418 NEW BEST:: SOT 8914 SOS 2604 HAS SOPS 2604 HAS SOUS 2300 HAS SOUPS 2300 WITH SCORE 2302.604
AT ITER 436 NEW BEST:: SOT 8885 SOS 2546 HAS SOPS 2546 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2242.546
AT ITER 443 NEW BEST:: SOT 8877 SOS 2538 HAS SOPS 2538 HAS SOUS 2232 HAS SOUPS 2232 WITH SCORE 2234.538
AT ITER 445 NEW BEST:: SOT 8867 SOS 2518 HAS SOPS 2518 HAS SOUS 2220 HAS SOUPS 2220 WITH SCORE 2222.518
AT ITER 454 NEW BEST:: SOT 8847 SOS 2488 HAS SOPS 2488 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2192.488
AT ITER 461 NEW BEST:: SOT 8845 SOS 2484 HAS SOPS 2484 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2190.484
AT ITER 462 NEW BEST:: SOT 8844 SOS 2490 HAS SOPS 2490 HAS SOUS 2186 HAS SOUPS 2186 WITH SCORE 2188.49
AT ITER 471 NEW BEST:: SOT 8787 SOS 2376 HAS SOPS 2376 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2107.376
AT ITER 481 NEW BEST:: SOT 8770 SOS 2342 HAS SOPS 2342 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2075.342
AT ITER 487 NEW BEST:: SOT 8764 SOS 2330 HAS SOPS 2330 HAS SOUS 2067 HAS SOUPS 2067 WITH SCORE 2069.33
AT ITER 488 NEW BEST:: SOT 8746 SOS 2294 HAS SOPS 2294 HAS SOUS 2034 HAS SOUPS 2034 WITH SCORE 2036.294
AT ITER 491 NEW BEST:: SOT 8736 SOS 2274 HAS SOPS 2274 HAS SOUS 2014 HAS SOUPS 2014 WITH SCORE 2016.274
AT ITER 493 NEW BEST:: SOT 8734 SOS 2272 HAS SOPS 2272 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2014.272
AT ITER 496 NEW BEST:: SOT 8734 SOS 2271 HAS SOPS 2271 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2014.271
AT ITER 500 NEW BEST:: SOT 8722 SOS 2247 HAS SOPS 2247 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1985.247
AT ITER 507 NEW BEST:: SOT 8729 SOS 2239 HAS SOPS 2239 HAS SOUS 1980 HAS SOUPS 1980 WITH SCORE 1982.239
AT ITER 517 NEW BEST:: SOT 8731 SOS 2169 HAS SOPS 2169 HAS SOUS 1953 HAS SOUPS 1953 WITH SCORE 1955.169
AT ITER 520 NEW BEST:: SOT 8711 SOS 2129 HAS SOPS 2129 HAS SOUS 1913 HAS SOUPS 1913 WITH SCORE 1915.129
AT ITER 521 NEW BEST:: SOT 8686 SOS 2079 HAS SOPS 2079 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1891.079
AT ITER 535 NEW BEST:: SOT 8685 SOS 2079 HAS SOPS 2079 HAS SOUS 1888 HAS SOUPS 1888 WITH SCORE 1890.079
AT ITER 550 NEW BEST:: SOT 8681 SOS 2075 HAS SOPS 2075 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.075
AT ITER 551 NEW BEST:: SOT 8677 SOS 2067 HAS SOPS 2067 HAS SOUS 1876 HAS SOUPS 1876 WITH SCORE 1878.067
AT ITER 553 NEW BEST:: SOT 8669 SOS 2043 HAS SOPS 2043 HAS SOUS 1860 HAS SOUPS 1860 WITH SCORE 1862.043
AT ITER 557 NEW BEST:: SOT 8669 SOS 2041 HAS SOPS 2041 HAS SOUS 1860 HAS SOUPS 1860 WITH SCORE 1862.041
AT ITER 564 NEW BEST:: SOT 8677 SOS 2057 HAS SOPS 2057 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1858.057
AT ITER 578 NEW BEST:: SOT 8669 SOS 2041 HAS SOPS 2041 HAS SOUS 1840 HAS SOUPS 1840 WITH SCORE 1842.041
AT ITER 580 NEW BEST:: SOT 8659 SOS 2026 HAS SOPS 2026 HAS SOUS 1825 HAS SOUPS 1825 WITH SCORE 1827.026
AT ITER 595 NEW BEST:: SOT 8659 SOS 2026 HAS SOPS 2026 HAS SOUS 1814 HAS SOUPS 1814 WITH SCORE 1816.026
AT ITER 596 NEW BEST:: SOT 8634 SOS 1998 HAS SOPS 1998 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1784.998
AT ITER 599 NEW BEST:: SOT 8628 SOS 1992 HAS SOPS 1992 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1778.992
AT ITER 603 NEW BEST:: SOT 8624 SOS 1984 HAS SOPS 1984 HAS SOUS 1769 HAS SOUPS 1769 WITH SCORE 1770.984
AT ITER 608 NEW BEST:: SOT 8621 SOS 1986 HAS SOPS 1986 HAS SOUS 1766 HAS SOUPS 1766 WITH SCORE 1767.986
AT ITER 609 NEW BEST:: SOT 8601 SOS 1922 HAS SOPS 1922 HAS SOUS 1746 HAS SOUPS 1746 WITH SCORE 1747.922
AT ITER 612 NEW BEST:: SOT 8585 SOS 1906 HAS SOPS 1906 HAS SOUS 1730 HAS SOUPS 1730 WITH SCORE 1731.906
AT ITER 641 NEW BEST:: SOT 8585 SOS 1906 HAS SOPS 1906 HAS SOUS 1721 HAS SOUPS 1721 WITH SCORE 1722.906
AT ITER 644 NEW BEST:: SOT 8569 SOS 1882 HAS SOPS 1882 HAS SOUS 1697 HAS SOUPS 1697 WITH SCORE 1698.882
AT ITER 648 NEW BEST:: SOT 8576 SOS 1896 HAS SOPS 1896 HAS SOUS 1694 HAS SOUPS 1694 WITH SCORE 1695.896
AT ITER 654 NEW BEST:: SOT 8568 SOS 1899 HAS SOPS 1899 HAS SOUS 1688 HAS SOUPS 1688 WITH SCORE 1689.899
AT ITER 675 NEW BEST:: SOT 8553 SOS 1884 HAS SOPS 1884 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1674.884
AT ITER 687 NEW BEST:: SOT 8549 SOS 1883 HAS SOPS 1883 HAS SOUS 1671 HAS SOUPS 1671 WITH SCORE 1672.883
AT ITER 688 NEW BEST:: SOT 8539 SOS 1875 HAS SOPS 1875 HAS SOUS 1658 HAS SOUPS 1658 WITH SCORE 1659.875
AT ITER 689 NEW BEST:: SOT 8519 SOS 1855 HAS SOPS 1855 HAS SOUS 1638 HAS SOUPS 1638 WITH SCORE 1639.855
AT ITER 697 NEW BEST:: SOT 8518 SOS 1853 HAS SOPS 1853 HAS SOUS 1636 HAS SOUPS 1636 WITH SCORE 1637.853
AT ITER 726 NEW BEST:: SOT 8515 SOS 1847 HAS SOPS 1847 HAS SOUS 1630 HAS SOUPS 1630 WITH SCORE 1631.847
AT ITER 727 NEW BEST:: SOT 8514 SOS 1846 HAS SOPS 1846 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1630.846
AT ITER 764 NEW BEST:: SOT 8494 SOS 1833 HAS SOPS 1833 HAS SOUS 1612 HAS SOUPS 1612 WITH SCORE 1613.833
AT ITER 769 NEW BEST:: SOT 8494 SOS 1833 HAS SOPS 1833 HAS SOUS 1601 HAS SOUPS 1601 WITH SCORE 1602.833
AT ITER 774 NEW BEST:: SOT 8488 SOS 1821 HAS SOPS 1821 HAS SOUS 1595 HAS SOUPS 1595 WITH SCORE 1596.821
AT ITER 786 NEW BEST:: SOT 8482 SOS 1809 HAS SOPS 1809 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1589.809
AT ITER 790 NEW BEST:: SOT 8484 SOS 1800 HAS SOPS 1800 HAS SOUS 1584 HAS SOUPS 1584 WITH SCORE 1585.8
AT ITER 800 NEW BEST:: SOT 8482 SOS 1784 HAS SOPS 1784 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1581.784
AT ITER 814 NEW BEST:: SOT 8461 SOS 1768 HAS SOPS 1768 HAS SOUS 1559 HAS SOUPS 1559 WITH SCORE 1560.768
AT ITER 837 NEW BEST:: SOT 8462 SOS 1747 HAS SOPS 1747 HAS SOUS 1551 HAS SOUPS 1551 WITH SCORE 1552.747
AT ITER 841 NEW BEST:: SOT 8448 SOS 1734 HAS SOPS 1734 HAS SOUS 1538 HAS SOUPS 1538 WITH SCORE 1539.734
AT ITER 857 NEW BEST:: SOT 8437 SOS 1712 HAS SOPS 1712 HAS SOUS 1516 HAS SOUPS 1516 WITH SCORE 1517.712
AT ITER 870 NEW BEST:: SOT 8436 SOS 1717 HAS SOPS 1717 HAS SOUS 1515 HAS SOUPS 1515 WITH SCORE 1516.717
AT ITER 871 NEW BEST:: SOT 8435 SOS 1718 HAS SOPS 1718 HAS SOUS 1514 HAS SOUPS 1514 WITH SCORE 1515.718
AT ITER 874 NEW BEST:: SOT 8423 SOS 1694 HAS SOPS 1694 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1497.694
AT ITER 879 NEW BEST:: SOT 8426 SOS 1686 HAS SOPS 1686 HAS SOUS 1488 HAS SOUPS 1488 WITH SCORE 1489.686
AT ITER 894 NEW BEST:: SOT 8422 SOS 1678 HAS SOPS 1678 HAS SOUS 1479 HAS SOUPS 1479 WITH SCORE 1480.678
AT ITER 903 NEW BEST:: SOT 8422 SOS 1677 HAS SOPS 1677 HAS SOUS 1479 HAS SOUPS 1479 WITH SCORE 1480.677
AT ITER 910 NEW BEST:: SOT 8420 SOS 1673 HAS SOPS 1673 HAS SOUS 1476 HAS SOUPS 1476 WITH SCORE 1477.673
AT ITER 916 NEW BEST:: SOT 8416 SOS 1665 HAS SOPS 1665 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1465.665
AT ITER 917 NEW BEST:: SOT 8390 SOS 1661 HAS SOPS 1661 HAS SOUS 1460 HAS SOUPS 1460 WITH SCORE 1461.661
AT ITER 921 NEW BEST:: SOT 8386 SOS 1649 HAS SOPS 1649 HAS SOUS 1452 HAS SOUPS 1452 WITH SCORE 1453.649
AT ITER 934 NEW BEST:: SOT 8384 SOS 1647 HAS SOPS 1647 HAS SOUS 1450 HAS SOUPS 1450 WITH SCORE 1451.647
AT ITER 937 NEW BEST:: SOT 8382 SOS 1643 HAS SOPS 1643 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1447.643
AT ITER 951 NEW BEST:: SOT 8373 SOS 1625 HAS SOPS 1625 HAS SOUS 1428 HAS SOUPS 1428 WITH SCORE 1429.625
AT ITER 957 NEW BEST:: SOT 8366 SOS 1621 HAS SOPS 1621 HAS SOUS 1424 HAS SOUPS 1424 WITH SCORE 1425.621
AT ITER 982 NEW BEST:: SOT 8363 SOS 1622 HAS SOPS 1622 HAS SOUS 1418 HAS SOUPS 1418 WITH SCORE 1419.622
AT ITER 1007 NEW BEST:: SOT 8356 SOS 1600 HAS SOPS 1600 HAS SOUS 1403 HAS SOUPS 1403 WITH SCORE 1404.6
AT ITER 1012 NEW BEST:: SOT 8354 SOS 1596 HAS SOPS 1596 HAS SOUS 1401 HAS SOUPS 1401 WITH SCORE 1402.596
AT ITER 1073 NEW BEST:: SOT 8352 SOS 1590 HAS SOPS 1590 HAS SOUS 1397 HAS SOUPS 1397 WITH SCORE 1398.59
AT ITER 1077 NEW BEST:: SOT 8331 SOS 1548 HAS SOPS 1548 HAS SOUS 1350 HAS SOUPS 1350 WITH SCORE 1351.548
AT ITER 1086 NEW BEST:: SOT 8312 SOS 1510 HAS SOPS 1510 HAS SOUS 1312 HAS SOUPS 1312 WITH SCORE 1313.51
AT ITER 1102 NEW BEST:: SOT 8292 SOS 1470 HAS SOPS 1470 HAS SOUS 1285 HAS SOUPS 1285 WITH SCORE 1286.47
AT ITER 1103 NEW BEST:: SOT 8288 SOS 1476 HAS SOPS 1476 HAS SOUS 1273 HAS SOUPS 1273 WITH SCORE 1274.476
AT ITER 1117 NEW BEST:: SOT 8277 SOS 1465 HAS SOPS 1465 HAS SOUS 1262 HAS SOUPS 1262 WITH SCORE 1263.465
AT ITER 1118 NEW BEST:: SOT 8284 SOS 1462 HAS SOPS 1462 HAS SOUS 1261 HAS SOUPS 1261 WITH SCORE 1262.462
AT ITER 1125 NEW BEST:: SOT 8271 SOS 1436 HAS SOPS 1436 HAS SOUS 1248 HAS SOUPS 1248 WITH SCORE 1249.436
AT ITER 1144 NEW BEST:: SOT 8271 SOS 1435 HAS SOPS 1435 HAS SOUS 1248 HAS SOUPS 1248 WITH SCORE 1249.435
AT ITER 1147 NEW BEST:: SOT 8267 SOS 1413 HAS SOPS 1413 HAS SOUS 1244 HAS SOUPS 1244 WITH SCORE 1245.413
AT ITER 1177 NEW BEST:: SOT 8266 SOS 1410 HAS SOPS 1410 HAS SOUS 1242 HAS SOUPS 1242 WITH SCORE 1243.41
AT ITER 1191 NEW BEST:: SOT 8253 SOS 1434 HAS SOPS 1434 HAS SOUS 1225 HAS SOUPS 1225 WITH SCORE 1226.434
AT ITER 1199 NEW BEST:: SOT 8249 SOS 1422 HAS SOPS 1422 HAS SOUS 1217 HAS SOUPS 1217 WITH SCORE 1218.422
AT ITER 1201 NEW BEST:: SOT 8245 SOS 1414 HAS SOPS 1414 HAS SOUS 1208 HAS SOUPS 1208 WITH SCORE 1209.414
AT ITER 1214 NEW BEST:: SOT 8244 SOS 1412 HAS SOPS 1412 HAS SOUS 1207 HAS SOUPS 1207 WITH SCORE 1208.412
AT ITER 1251 NEW BEST:: SOT 8243 SOS 1410 HAS SOPS 1410 HAS SOUS 1205 HAS SOUPS 1205 WITH SCORE 1206.41
AT ITER 1275 NEW BEST:: SOT 8218 SOS 1335 HAS SOPS 1335 HAS SOUS 1155 HAS SOUPS 1155 WITH SCORE 1156.335
AT ITER 1285 NEW BEST:: SOT 8216 SOS 1331 HAS SOPS 1331 HAS SOUS 1151 HAS SOUPS 1151 WITH SCORE 1152.331
AT ITER 1288 NEW BEST:: SOT 8216 SOS 1331 HAS SOPS 1331 HAS SOUS 1141 HAS SOUPS 1141 WITH SCORE 1142.331
AT ITER 1316 NEW BEST:: SOT 8208 SOS 1315 HAS SOPS 1315 HAS SOUS 1133 HAS SOUPS 1133 WITH SCORE 1134.315
AT ITER 1323 NEW BEST:: SOT 8203 SOS 1305 HAS SOPS 1305 HAS SOUS 1127 HAS SOUPS 1127 WITH SCORE 1128.305
AT ITER 1326 NEW BEST:: SOT 8192 SOS 1283 HAS SOPS 1283 HAS SOUS 1096 HAS SOUPS 1096 WITH SCORE 1097.283
AT ITER 1343 NEW BEST:: SOT 8183 SOS 1272 HAS SOPS 1272 HAS SOUS 1084 HAS SOUPS 1084 WITH SCORE 1085.272
AT ITER 1353 NEW BEST:: SOT 8178 SOS 1262 HAS SOPS 1262 HAS SOUS 1079 HAS SOUPS 1079 WITH SCORE 1080.262
AT ITER 1355 NEW BEST:: SOT 8176 SOS 1258 HAS SOPS 1258 HAS SOUS 1075 HAS SOUPS 1075 WITH SCORE 1076.258
AT ITER 1408 NEW BEST:: SOT 8160 SOS 1201 HAS SOPS 1201 HAS SOUS 1059 HAS SOUPS 1059 WITH SCORE 1060.201
AT ITER 1410 NEW BEST:: SOT 8160 SOS 1188 HAS SOPS 1188 HAS SOUS 1046 HAS SOUPS 1046 WITH SCORE 1047.188
AT ITER 1456 NEW BEST:: SOT 8160 SOS 1177 HAS SOPS 1177 HAS SOUS 1035 HAS SOUPS 1035 WITH SCORE 1036.177
AT ITER 1473 NEW BEST:: SOT 8157 SOS 1171 HAS SOPS 1171 HAS SOUS 1030 HAS SOUPS 1030 WITH SCORE 1031.171
AT ITER 1482 NEW BEST:: SOT 8152 SOS 1161 HAS SOPS 1161 HAS SOUS 1025 HAS SOUPS 1025 WITH SCORE 1026.161
AT ITER 1503 NEW BEST:: SOT 8150 SOS 1160 HAS SOPS 1160 HAS SOUS 1024 HAS SOUPS 1024 WITH SCORE 1025.16
AT ITER 1528 NEW BEST:: SOT 8150 SOS 1160 HAS SOPS 1160 HAS SOUS 1023 HAS SOUPS 1023 WITH SCORE 1024.16
AT ITER 1578 NEW BEST:: SOT 8155 SOS 1150 HAS SOPS 1150 HAS SOUS 1023 HAS SOUPS 1023 WITH SCORE 1024.15
AT ITER 1602 NEW BEST:: SOT 8155 SOS 1145 HAS SOPS 1145 HAS SOUS 1018 HAS SOUPS 1018 WITH SCORE 1019.145
AT ITER 1603 NEW BEST:: SOT 8142 SOS 1119 HAS SOPS 1119 HAS SOUS 999 HAS SOUPS 999 WITH SCORE 1000.119
AT ITER 1606 NEW BEST:: SOT 8142 SOS 1119 HAS SOPS 1119 HAS SOUS 998 HAS SOUPS 998 WITH SCORE 999.119
AT ITER 1632 NEW BEST:: SOT 8142 SOS 1117 HAS SOPS 1117 HAS SOUS 996 HAS SOUPS 996 WITH SCORE 997.117
AT ITER 1640 NEW BEST:: SOT 8140 SOS 1116 HAS SOPS 1116 HAS SOUS 995 HAS SOUPS 995 WITH SCORE 996.116
AT ITER 1653 NEW BEST:: SOT 8138 SOS 1112 HAS SOPS 1112 HAS SOUS 991 HAS SOUPS 991 WITH SCORE 992.112
AT ITER 1664 NEW BEST:: SOT 8136 SOS 1108 HAS SOPS 1108 HAS SOUS 989 HAS SOUPS 989 WITH SCORE 990.108
AT ITER 1683 NEW BEST:: SOT 8137 SOS 1110 HAS SOPS 1110 HAS SOUS 983 HAS SOUPS 983 WITH SCORE 984.11
AT ITER 1689 NEW BEST:: SOT 8137 SOS 1090 HAS SOPS 1090 HAS SOUS 977 HAS SOUPS 977 WITH SCORE 978.09
AT ITER 1700 NEW BEST:: SOT 8133 SOS 1082 HAS SOPS 1082 HAS SOUS 972 HAS SOUPS 972 WITH SCORE 973.082
AT ITER 1723 NEW BEST:: SOT 8121 SOS 1058 HAS SOPS 1058 HAS SOUS 948 HAS SOUPS 948 WITH SCORE 949.058
AT ITER 1759 NEW BEST:: SOT 8121 SOS 1056 HAS SOPS 1056 HAS SOUS 946 HAS SOUPS 946 WITH SCORE 947.056
AT ITER 1830 NEW BEST:: SOT 8119 SOS 1050 HAS SOPS 1050 HAS SOUS 942 HAS SOUPS 942 WITH SCORE 943.05
AT ITER 1844 NEW BEST:: SOT 8116 SOS 1044 HAS SOPS 1044 HAS SOUS 939 HAS SOUPS 939 WITH SCORE 940.044
AT ITER 1857 NEW BEST:: SOT 8116 SOS 1029 HAS SOPS 1029 HAS SOUS 939 HAS SOUPS 939 WITH SCORE 940.029
AT ITER 1859 NEW BEST:: SOT 8107 SOS 1001 HAS SOPS 1001 HAS SOUS 921 HAS SOUPS 921 WITH SCORE 922.001
AT ITER 1881 NEW BEST:: SOT 8100 SOS 987 HAS SOPS 987 HAS SOUS 914 HAS SOUPS 914 WITH SCORE 914.987
AT ITER 1930 NEW BEST:: SOT 8099 SOS 986 HAS SOPS 986 HAS SOUS 912 HAS SOUPS 912 WITH SCORE 912.986
AT ITER 1950 NEW BEST:: SOT 8094 SOS 976 HAS SOPS 976 HAS SOUS 906 HAS SOUPS 906 WITH SCORE 906.976
AT ITER 1952 NEW BEST:: SOT 8098 SOS 966 HAS SOPS 966 HAS SOUS 906 HAS SOUPS 906 WITH SCORE 906.966
AT ITER 1962 NEW BEST:: SOT 8100 SOS 940 HAS SOPS 940 HAS SOUS 892 HAS SOUPS 892 WITH SCORE 892.94
AT ITER 2014 NEW BEST:: SOT 8099 SOS 938 HAS SOPS 938 HAS SOUS 890 HAS SOUPS 890 WITH SCORE 890.938
AT ITER 2023 NEW BEST:: SOT 8095 SOS 930 HAS SOPS 930 HAS SOUS 882 HAS SOUPS 882 WITH SCORE 882.93
AT ITER 2032 NEW BEST:: SOT 8112 SOS 922 HAS SOPS 922 HAS SOUS 878 HAS SOUPS 878 WITH SCORE 878.922
AT ITER 2034 NEW BEST:: SOT 8099 SOS 917 HAS SOPS 917 HAS SOUS 873 HAS SOUPS 873 WITH SCORE 873.917
AT ITER 2038 NEW BEST:: SOT 8097 SOS 915 HAS SOPS 915 HAS SOUS 871 HAS SOUPS 871 WITH SCORE 871.915
AT ITER 2046 NEW BEST:: SOT 8106 SOS 914 HAS SOPS 914 HAS SOUS 870 HAS SOUPS 870 WITH SCORE 870.914
AT ITER 2093 NEW BEST:: SOT 8105 SOS 912 HAS SOPS 912 HAS SOUS 868 HAS SOUPS 868 WITH SCORE 868.912
AT ITER 2098 NEW BEST:: SOT 8104 SOS 910 HAS SOPS 910 HAS SOUS 862 HAS SOUPS 862 WITH SCORE 862.91
AT ITER 2147 NEW BEST:: SOT 8103 SOS 908 HAS SOPS 908 HAS SOUS 860 HAS SOUPS 860 WITH SCORE 860.908
AT ITER 2149 NEW BEST:: SOT 8098 SOS 905 HAS SOPS 905 HAS SOUS 855 HAS SOUPS 855 WITH SCORE 855.905
AT ITER 2181 NEW BEST:: SOT 8097 SOS 903 HAS SOPS 903 HAS SOUS 855 HAS SOUPS 855 WITH SCORE 855.903
AT ITER 2223 NEW BEST:: SOT 8095 SOS 899 HAS SOPS 899 HAS SOUS 851 HAS SOUPS 851 WITH SCORE 851.899
AT ITER 2281 NEW BEST:: SOT 8094 SOS 897 HAS SOPS 897 HAS SOUS 849 HAS SOUPS 849 WITH SCORE 849.897
AT ITER 2324 NEW BEST:: SOT 8092 SOS 893 HAS SOPS 893 HAS SOUS 846 HAS SOUPS 846 WITH SCORE 846.893
AT ITER 2330 NEW BEST:: SOT 8076 SOS 885 HAS SOPS 885 HAS SOUS 825 HAS SOUPS 825 WITH SCORE 825.885
AT ITER 2332 NEW BEST:: SOT 8074 SOS 881 HAS SOPS 881 HAS SOUS 823 HAS SOUPS 823 WITH SCORE 823.881
AT ITER 2377 NEW BEST:: SOT 8081 SOS 878 HAS SOPS 878 HAS SOUS 820 HAS SOUPS 820 WITH SCORE 820.878
AT ITER 2404 NEW BEST:: SOT 8087 SOS 890 HAS SOPS 890 HAS SOUS 819 HAS SOUPS 819 WITH SCORE 819.89
AT ITER 2417 NEW BEST:: SOT 8087 SOS 890 HAS SOPS 890 HAS SOUS 815 HAS SOUPS 815 WITH SCORE 815.89
AT ITER 2438 NEW BEST:: SOT 8086 SOS 893 HAS SOPS 893 HAS SOUS 814 HAS SOUPS 814 WITH SCORE 814.893
AT ITER 2463 NEW BEST:: SOT 8085 SOS 891 HAS SOPS 891 HAS SOUS 813 HAS SOUPS 813 WITH SCORE 813.891
AT ITER 2464 NEW BEST:: SOT 8082 SOS 892 HAS SOPS 892 HAS SOUS 810 HAS SOUPS 810 WITH SCORE 810.892
AT ITER 2561 NEW BEST:: SOT 8080 SOS 885 HAS SOPS 885 HAS SOUS 805 HAS SOUPS 805 WITH SCORE 805.885
AT ITER 2579 NEW BEST:: SOT 8080 SOS 882 HAS SOPS 882 HAS SOUS 805 HAS SOUPS 805 WITH SCORE 805.882
AT ITER 2669 NEW BEST:: SOT 8080 SOS 881 HAS SOPS 881 HAS SOUS 805 HAS SOUPS 805 WITH SCORE 805.881
AT ITER 2712 NEW BEST:: SOT 8073 SOS 885 HAS SOPS 885 HAS SOUS 798 HAS SOUPS 798 WITH SCORE 798.885
AT ITER 2738 NEW BEST:: SOT 8073 SOS 872 HAS SOPS 872 HAS SOUS 798 HAS SOUPS 798 WITH SCORE 798.872
AT ITER 2773 NEW BEST:: SOT 8072 SOS 870 HAS SOPS 870 HAS SOUS 796 HAS SOUPS 796 WITH SCORE 796.87
AT ITER 2795 NEW BEST:: SOT 8070 SOS 866 HAS SOPS 866 HAS SOUS 792 HAS SOUPS 792 WITH SCORE 792.866
AT ITER 2798 NEW BEST:: SOT 8070 SOS 861 HAS SOPS 861 HAS SOUS 792 HAS SOUPS 792 WITH SCORE 792.861
AT ITER 2820 NEW BEST:: SOT 8070 SOS 860 HAS SOPS 860 HAS SOUS 791 HAS SOUPS 791 WITH SCORE 791.86
AT ITER 2840 NEW BEST:: SOT 8069 SOS 858 HAS SOPS 858 HAS SOUS 790 HAS SOUPS 790 WITH SCORE 790.858
AT ITER 2912 NEW BEST:: SOT 8068 SOS 856 HAS SOPS 856 HAS SOUS 788 HAS SOUPS 788 WITH SCORE 788.856
AT ITER 2914 NEW BEST:: SOT 8068 SOS 856 HAS SOPS 856 HAS SOUS 786 HAS SOUPS 786 WITH SCORE 786.856
AT ITER 2915 NEW BEST:: SOT 8065 SOS 853 HAS SOPS 853 HAS SOUS 783 HAS SOUPS 783 WITH SCORE 783.853
AT ITER 2944 NEW BEST:: SOT 8062 SOS 847 HAS SOPS 847 HAS SOUS 777 HAS SOUPS 777 WITH SCORE 777.847
AT ITER 2946 NEW BEST:: SOT 8062 SOS 847 HAS SOPS 847 HAS SOUS 775 HAS SOUPS 775 WITH SCORE 775.847
AT ITER 2954 NEW BEST:: SOT 8057 SOS 842 HAS SOPS 842 HAS SOUS 770 HAS SOUPS 770 WITH SCORE 770.842
AT ITER 2979 NEW BEST:: SOT 8054 SOS 841 HAS SOPS 841 HAS SOUS 767 HAS SOUPS 767 WITH SCORE 767.841
AT ITER 3033 NEW BEST:: SOT 8050 SOS 837 HAS SOPS 837 HAS SOUS 763 HAS SOUPS 763 WITH SCORE 763.837
AT ITER 3058 NEW BEST:: SOT 8045 SOS 822 HAS SOPS 822 HAS SOUS 753 HAS SOUPS 753 WITH SCORE 753.822
AT ITER 3080 NEW BEST:: SOT 8043 SOS 813 HAS SOPS 813 HAS SOUS 746 HAS SOUPS 746 WITH SCORE 746.813
AT ITER 3185 NEW BEST:: SOT 8040 SOS 807 HAS SOPS 807 HAS SOUS 740 HAS SOUPS 740 WITH SCORE 740.807
AT ITER 3202 NEW BEST:: SOT 8040 SOS 802 HAS SOPS 802 HAS SOUS 740 HAS SOUPS 740 WITH SCORE 740.802
AT ITER 3239 NEW BEST:: SOT 8040 SOS 799 HAS SOPS 799 HAS SOUS 737 HAS SOUPS 737 WITH SCORE 737.799
AT ITER 3401 NEW BEST:: SOT 8040 SOS 798 HAS SOPS 798 HAS SOUS 737 HAS SOUPS 737 WITH SCORE 737.798
AT ITER 3421 NEW BEST:: SOT 8040 SOS 797 HAS SOPS 797 HAS SOUS 737 HAS SOUPS 737 WITH SCORE 737.797
AT ITER 3535 NEW BEST:: SOT 8042 SOS 794 HAS SOPS 794 HAS SOUS 735 HAS SOUPS 735 WITH SCORE 735.794
AT ITER 3593 NEW BEST:: SOT 8040 SOS 790 HAS SOPS 790 HAS SOUS 731 HAS SOUPS 731 WITH SCORE 731.79
AT ITER 3601 NEW BEST:: SOT 8039 SOS 788 HAS SOPS 788 HAS SOUS 730 HAS SOUPS 730 WITH SCORE 730.788
AT ITER 3632 NEW BEST:: SOT 8038 SOS 787 HAS SOPS 787 HAS SOUS 729 HAS SOUPS 729 WITH SCORE 729.787
AT ITER 3640 NEW BEST:: SOT 8038 SOS 785 HAS SOPS 785 HAS SOUS 729 HAS SOUPS 729 WITH SCORE 729.785
AT ITER 3718 NEW BEST:: SOT 8038 SOS 784 HAS SOPS 784 HAS SOUS 729 HAS SOUPS 729 WITH SCORE 729.784
AT ITER 3755 NEW BEST:: SOT 8035 SOS 778 HAS SOPS 778 HAS SOUS 723 HAS SOUPS 723 WITH SCORE 723.778
AT ITER 3775 NEW BEST:: SOT 8035 SOS 778 HAS SOPS 778 HAS SOUS 721 HAS SOUPS 721 WITH SCORE 721.778
AT ITER 3786 NEW BEST:: SOT 8029 SOS 755 HAS SOPS 755 HAS SOUS 708 HAS SOUPS 708 WITH SCORE 708.755
AT ITER 3803 NEW BEST:: SOT 8026 SOS 752 HAS SOPS 752 HAS SOUS 705 HAS SOUPS 705 WITH SCORE 705.752
AT ITER 3822 NEW BEST:: SOT 8027 SOS 754 HAS SOPS 754 HAS SOUS 704 HAS SOUPS 704 WITH SCORE 704.754
AT ITER 3861 NEW BEST:: SOT 8021 SOS 742 HAS SOPS 742 HAS SOUS 692 HAS SOUPS 692 WITH SCORE 692.742
AT ITER 3885 NEW BEST:: SOT 8017 SOS 734 HAS SOPS 734 HAS SOUS 684 HAS SOUPS 684 WITH SCORE 684.734
AT ITER 3891 NEW BEST:: SOT 8014 SOS 728 HAS SOPS 728 HAS SOUS 678 HAS SOUPS 678 WITH SCORE 678.728
AT ITER 3952 NEW BEST:: SOT 8009 SOS 718 HAS SOPS 718 HAS SOUS 673 HAS SOUPS 673 WITH SCORE 673.718
AT ITER 4018 NEW BEST:: SOT 8008 SOS 719 HAS SOPS 719 HAS SOUS 672 HAS SOUPS 672 WITH SCORE 672.719
AT ITER 4029 NEW BEST:: SOT 8006 SOS 726 HAS SOPS 726 HAS SOUS 670 HAS SOUPS 670 WITH SCORE 670.726
AT ITER 4071 NEW BEST:: SOT 8005 SOS 725 HAS SOPS 725 HAS SOUS 669 HAS SOUPS 669 WITH SCORE 669.725
AT ITER 4215 NEW BEST:: SOT 8004 SOS 722 HAS SOPS 722 HAS SOUS 667 HAS SOUPS 667 WITH SCORE 667.722
AT ITER 4496 NEW BEST:: SOT 8004 SOS 721 HAS SOPS 721 HAS SOUS 666 HAS SOUPS 666 WITH SCORE 666.721
AT ITER 4497 NEW BEST:: SOT 8001 SOS 721 HAS SOPS 721 HAS SOUS 664 HAS SOUPS 664 WITH SCORE 664.721
AT ITER 4521 NEW BEST:: SOT 8001 SOS 719 HAS SOPS 719 HAS SOUS 664 HAS SOUPS 664 WITH SCORE 664.719
AT ITER 4609 NEW BEST:: SOT 8000 SOS 718 HAS SOPS 718 HAS SOUS 663 HAS SOUPS 663 WITH SCORE 663.718
AT ITER 4634 NEW BEST:: SOT 7998 SOS 721 HAS SOPS 721 HAS SOUS 660 HAS SOUPS 660 WITH SCORE 660.721
AT ITER 4638 NEW BEST:: SOT 7997 SOS 720 HAS SOPS 720 HAS SOUS 659 HAS SOUPS 659 WITH SCORE 659.72
AT ITER 4645 NEW BEST:: SOT 7997 SOS 716 HAS SOPS 716 HAS SOUS 659 HAS SOUPS 659 WITH SCORE 659.716
AT ITER 4687 NEW BEST:: SOT 7992 SOS 706 HAS SOPS 706 HAS SOUS 650 HAS SOUPS 650 WITH SCORE 650.706
AT ITER 4705 NEW BEST:: SOT 7991 SOS 705 HAS SOPS 705 HAS SOUS 649 HAS SOUPS 649 WITH SCORE 649.705
AT ITER 4743 NEW BEST:: SOT 7991 SOS 698 HAS SOPS 698 HAS SOUS 649 HAS SOUPS 649 WITH SCORE 649.698
AT ITER 4756 NEW BEST:: SOT 7978 SOS 708 HAS SOPS 708 HAS SOUS 646 HAS SOUPS 646 WITH SCORE 646.708
AT ITER 4865 NEW BEST:: SOT 7978 SOS 695 HAS SOPS 695 HAS SOUS 646 HAS SOUPS 646 WITH SCORE 646.695
AT ITER 4907 NEW BEST:: SOT 7978 SOS 691 HAS SOPS 691 HAS SOUS 646 HAS SOUPS 646 WITH SCORE 646.691
AT ITER 4962 NEW BEST:: SOT 7975 SOS 685 HAS SOPS 685 HAS SOUS 642 HAS SOUPS 642 WITH SCORE 642.685
AT ITER 4981 NEW BEST:: SOT 7974 SOS 684 HAS SOPS 684 HAS SOUS 641 HAS SOUPS 641 WITH SCORE 641.684
AT ITER 4987 NEW BEST:: SOT 7969 SOS 674 HAS SOPS 674 HAS SOUS 631 HAS SOUPS 631 WITH SCORE 631.674
AT ITER 5047 NEW BEST:: SOT 7968 SOS 675 HAS SOPS 675 HAS SOUS 630 HAS SOUPS 630 WITH SCORE 630.675
AT ITER 5065 NEW BEST:: SOT 7965 SOS 672 HAS SOPS 672 HAS SOUS 627 HAS SOUPS 627 WITH SCORE 627.672
AT ITER 5106 NEW BEST:: SOT 7965 SOS 668 HAS SOPS 668 HAS SOUS 623 HAS SOUPS 623 WITH SCORE 623.668
AT ITER 5137 NEW BEST:: SOT 7965 SOS 665 HAS SOPS 665 HAS SOUS 623 HAS SOUPS 623 WITH SCORE 623.665
AT ITER 5183 NEW BEST:: SOT 7963 SOS 661 HAS SOPS 661 HAS SOUS 619 HAS SOUPS 619 WITH SCORE 619.661
AT ITER 5257 NEW BEST:: SOT 7962 SOS 659 HAS SOPS 659 HAS SOUS 613 HAS SOUPS 613 WITH SCORE 613.659
AT ITER 5316 NEW BEST:: SOT 7960 SOS 655 HAS SOPS 655 HAS SOUS 608 HAS SOUPS 608 WITH SCORE 608.655
AT ITER 5385 NEW BEST:: SOT 7960 SOS 653 HAS SOPS 653 HAS SOUS 608 HAS SOUPS 608 WITH SCORE 608.653
AT ITER 5397 NEW BEST:: SOT 7959 SOS 650 HAS SOPS 650 HAS SOUS 606 HAS SOUPS 606 WITH SCORE 606.65
AT ITER 5422 NEW BEST:: SOT 7954 SOS 645 HAS SOPS 645 HAS SOUS 601 HAS SOUPS 601 WITH SCORE 601.645
AT ITER 5432 NEW BEST:: SOT 7953 SOS 641 HAS SOPS 641 HAS SOUS 598 HAS SOUPS 598 WITH SCORE 598.641
AT ITER 5436 NEW BEST:: SOT 7952 SOS 639 HAS SOPS 639 HAS SOUS 596 HAS SOUPS 596 WITH SCORE 596.639
AT ITER 5457 NEW BEST:: SOT 7951 SOS 637 HAS SOPS 637 HAS SOUS 594 HAS SOUPS 594 WITH SCORE 594.637
AT ITER 5508 NEW BEST:: SOT 7951 SOS 635 HAS SOPS 635 HAS SOUS 594 HAS SOUPS 594 WITH SCORE 594.635
AT ITER 5565 NEW BEST:: SOT 7950 SOS 633 HAS SOPS 633 HAS SOUS 592 HAS SOUPS 592 WITH SCORE 592.633
AT ITER 5589 NEW BEST:: SOT 7948 SOS 627 HAS SOPS 627 HAS SOUS 588 HAS SOUPS 588 WITH SCORE 588.627
AT ITER 5596 NEW BEST:: SOT 7947 SOS 625 HAS SOPS 625 HAS SOUS 584 HAS SOUPS 584 WITH SCORE 584.625
AT ITER 5671 NEW BEST:: SOT 7938 SOS 607 HAS SOPS 607 HAS SOUS 575 HAS SOUPS 575 WITH SCORE 575.607
AT ITER 5766 NEW BEST:: SOT 7937 SOS 606 HAS SOPS 606 HAS SOUS 574 HAS SOUPS 574 WITH SCORE 574.606
AT ITER 6027 NEW BEST:: SOT 7934 SOS 603 HAS SOPS 603 HAS SOUS 571 HAS SOUPS 571 WITH SCORE 571.603
AT ITER 6040 NEW BEST:: SOT 7934 SOS 603 HAS SOPS 603 HAS SOUS 569 HAS SOUPS 569 WITH SCORE 569.603
AT ITER 6083 NEW BEST:: SOT 7934 SOS 603 HAS SOPS 603 HAS SOUS 567 HAS SOUPS 567 WITH SCORE 567.603
AT ITER 6144 NEW BEST:: SOT 7932 SOS 599 HAS SOPS 599 HAS SOUS 558 HAS SOUPS 558 WITH SCORE 558.599
AT ITER 6167 NEW BEST:: SOT 7929 SOS 593 HAS SOPS 593 HAS SOUS 551 HAS SOUPS 551 WITH SCORE 551.593
AT ITER 6173 NEW BEST:: SOT 7925 SOS 585 HAS SOPS 585 HAS SOUS 547 HAS SOUPS 547 WITH SCORE 547.585
AT ITER 6235 NEW BEST:: SOT 7924 SOS 583 HAS SOPS 583 HAS SOUS 545 HAS SOUPS 545 WITH SCORE 545.583
AT ITER 6243 NEW BEST:: SOT 7923 SOS 582 HAS SOPS 582 HAS SOUS 544 HAS SOUPS 544 WITH SCORE 544.582
AT ITER 6375 NEW BEST:: SOT 7922 SOS 582 HAS SOPS 582 HAS SOUS 542 HAS SOUPS 542 WITH SCORE 542.582
AT ITER 6434 NEW BEST:: SOT 7920 SOS 580 HAS SOPS 580 HAS SOUS 542 HAS SOUPS 542 WITH SCORE 542.58
AT ITER 6473 NEW BEST:: SOT 7921 SOS 578 HAS SOPS 578 HAS SOUS 542 HAS SOUPS 542 WITH SCORE 542.578
AT ITER 6517 NEW BEST:: SOT 7921 SOS 575 HAS SOPS 575 HAS SOUS 542 HAS SOUPS 542 WITH SCORE 542.575
AT ITER 6522 NEW BEST:: SOT 7920 SOS 573 HAS SOPS 573 HAS SOUS 541 HAS SOUPS 541 WITH SCORE 541.573
AT ITER 6539 NEW BEST:: SOT 7919 SOS 574 HAS SOPS 574 HAS SOUS 540 HAS SOUPS 540 WITH SCORE 540.574
AT ITER 6592 NEW BEST:: SOT 7918 SOS 572 HAS SOPS 572 HAS SOUS 540 HAS SOUPS 540 WITH SCORE 540.572
AT ITER 6628 NEW BEST:: SOT 7918 SOS 568 HAS SOPS 568 HAS SOUS 540 HAS SOUPS 540 WITH SCORE 540.568
AT ITER 6667 NEW BEST:: SOT 7917 SOS 566 HAS SOPS 566 HAS SOUS 538 HAS SOUPS 538 WITH SCORE 538.566
AT ITER 6746 NEW BEST:: SOT 7919 SOS 570 HAS SOPS 570 HAS SOUS 537 HAS SOUPS 537 WITH SCORE 537.57
AT ITER 6821 NEW BEST:: SOT 7918 SOS 570 HAS SOPS 570 HAS SOUS 536 HAS SOUPS 536 WITH SCORE 536.57
AT ITER 6824 NEW BEST:: SOT 7917 SOS 568 HAS SOPS 568 HAS SOUS 534 HAS SOUPS 534 WITH SCORE 534.568
AT ITER 6902 NEW BEST:: SOT 7916 SOS 569 HAS SOPS 569 HAS SOUS 533 HAS SOUPS 533 WITH SCORE 533.569
AT ITER 6944 NEW BEST:: SOT 7911 SOS 559 HAS SOPS 559 HAS SOUS 522 HAS SOUPS 522 WITH SCORE 522.559
AT ITER 7062 NEW BEST:: SOT 7911 SOS 553 HAS SOPS 553 HAS SOUS 518 HAS SOUPS 518 WITH SCORE 518.553
AT ITER 7070 NEW BEST:: SOT 7911 SOS 550 HAS SOPS 550 HAS SOUS 518 HAS SOUPS 518 WITH SCORE 518.55
AT ITER 7129 NEW BEST:: SOT 7911 SOS 545 HAS SOPS 545 HAS SOUS 518 HAS SOUPS 518 WITH SCORE 518.545
AT ITER 7242 NEW BEST:: SOT 7911 SOS 544 HAS SOPS 544 HAS SOUS 518 HAS SOUPS 518 WITH SCORE 518.544
AT ITER 7246 NEW BEST:: SOT 7910 SOS 543 HAS SOPS 543 HAS SOUS 517 HAS SOUPS 517 WITH SCORE 517.543
AT ITER 7265 NEW BEST:: SOT 7910 SOS 542 HAS SOPS 542 HAS SOUS 517 HAS SOUPS 517 WITH SCORE 517.542
AT ITER 7565 NEW BEST:: SOT 7908 SOS 538 HAS SOPS 538 HAS SOUS 514 HAS SOUPS 514 WITH SCORE 514.538
AT ITER 7616 NEW BEST:: SOT 7907 SOS 536 HAS SOPS 536 HAS SOUS 510 HAS SOUPS 510 WITH SCORE 510.536
AT ITER 7650 NEW BEST:: SOT 7906 SOS 535 HAS SOPS 535 HAS SOUS 509 HAS SOUPS 509 WITH SCORE 509.535
AT ITER 7671 NEW BEST:: SOT 7904 SOS 531 HAS SOPS 531 HAS SOUS 507 HAS SOUPS 507 WITH SCORE 507.531
AT ITER 7720 NEW BEST:: SOT 7903 SOS 526 HAS SOPS 526 HAS SOUS 506 HAS SOUPS 506 WITH SCORE 506.526
AT ITER 7801 NEW BEST:: SOT 7902 SOS 526 HAS SOPS 526 HAS SOUS 504 HAS SOUPS 504 WITH SCORE 504.526
AT ITER 7981 NEW BEST:: SOT 7894 SOS 510 HAS SOPS 510 HAS SOUS 485 HAS SOUPS 485 WITH SCORE 485.51
AT ITER 8052 NEW BEST:: SOT 7893 SOS 508 HAS SOPS 508 HAS SOUS 483 HAS SOUPS 483 WITH SCORE 483.508
AT ITER 8092 NEW BEST:: SOT 7893 SOS 507 HAS SOPS 507 HAS SOUS 482 HAS SOUPS 482 WITH SCORE 482.507
AT ITER 8093 NEW BEST:: SOT 7893 SOS 506 HAS SOPS 506 HAS SOUS 481 HAS SOUPS 481 WITH SCORE 481.506
AT ITER 8153 NEW BEST:: SOT 7891 SOS 502 HAS SOPS 502 HAS SOUS 475 HAS SOUPS 475 WITH SCORE 475.502
AT ITER 8199 NEW BEST:: SOT 7890 SOS 500 HAS SOPS 500 HAS SOUS 475 HAS SOUPS 475 WITH SCORE 475.5
AT ITER 8327 NEW BEST:: SOT 7889 SOS 498 HAS SOPS 498 HAS SOUS 473 HAS SOUPS 473 WITH SCORE 473.498
AT ITER 8408 NEW BEST:: SOT 7886 SOS 494 HAS SOPS 494 HAS SOUS 469 HAS SOUPS 469 WITH SCORE 469.494
AT ITER 8642 NEW BEST:: SOT 7885 SOS 492 HAS SOPS 492 HAS SOUS 467 HAS SOUPS 467 WITH SCORE 467.492
AT ITER 8666 NEW BEST:: SOT 7885 SOS 491 HAS SOPS 491 HAS SOUS 467 HAS SOUPS 467 WITH SCORE 467.491
AT ITER 8849 NEW BEST:: SOT 7883 SOS 487 HAS SOPS 487 HAS SOUS 463 HAS SOUPS 463 WITH SCORE 463.487
AT ITER 9201 NEW BEST:: SOT 7882 SOS 483 HAS SOPS 483 HAS SOUS 461 HAS SOUPS 461 WITH SCORE 461.483
AT ITER 9304 NEW BEST:: SOT 7883 SOS 482 HAS SOPS 482 HAS SOUS 461 HAS SOUPS 461 WITH SCORE 461.482
AT ITER 9830 NEW BEST:: SOT 7883 SOS 481 HAS SOPS 481 HAS SOUS 460 HAS SOUPS 460 WITH SCORE 460.481
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 1679497773911

--------------------
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-COL-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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is Referendum-COL-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 r323-tall-167889194700432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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