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.r483-tall-167912696401008.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 UtilityControlRoom-COL-Z2T4N06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696401008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 8.1K Feb 26 14:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 14:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 26 14:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 14:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 26 14:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K 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 1679185342118

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=UtilityControlRoom-COL-Z2T4N06
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-19 00:22:24] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-19 00:22:24] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-19 00:22:24] [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-19 00:22:25] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 00:22:25] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 603 ms
[2023-03-19 00:22:25] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 106 PT places and 162.0 transition bindings in 18 ms.
[2023-03-19 00:22:25] [INFO ] Unfolded HLPN to a Petri net with 106 places and 162 transitions 510 arcs in 30 ms.
[2023-03-19 00:22:25] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Drop transitions removed 12 transitions
Redundant transition composition rules discarded 12 transitions
[2023-03-19 00:22:25] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 106 places, 126 transitions and 366 arcs took 11 ms.
Total runtime 855 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z2T4N06
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: 106 places, 126 transitions, 366 arcs.
AT ITER 0 NEW BEST:: SOT 9187 SOS 5260 HAS SOPS 5260 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4198.26
AT ITER 11 NEW BEST:: SOT 9187 SOS 5260 HAS SOPS 5260 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4197.26
AT ITER 29 NEW BEST:: SOT 9186 SOS 5258 HAS SOPS 5258 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4195.258
AT ITER 34 NEW BEST:: SOT 9009 SOS 5314 HAS SOPS 5314 HAS SOUS 4023 HAS SOUPS 4023 WITH SCORE 4028.314
AT ITER 35 NEW BEST:: SOT 9009 SOS 5314 HAS SOPS 5314 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4012.314
AT ITER 42 NEW BEST:: SOT 9003 SOS 5266 HAS SOPS 5266 HAS SOUS 3959 HAS SOUPS 3959 WITH SCORE 3964.266
AT ITER 52 NEW BEST:: SOT 8644 SOS 4907 HAS SOPS 4907 HAS SOUS 3600 HAS SOUPS 3600 WITH SCORE 3604.907
AT ITER 71 NEW BEST:: SOT 8644 SOS 4901 HAS SOPS 4901 HAS SOUS 3594 HAS SOUPS 3594 WITH SCORE 3598.901
AT ITER 72 NEW BEST:: SOT 8582 SOS 4847 HAS SOPS 4847 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3556.847
AT ITER 75 NEW BEST:: SOT 8583 SOS 4892 HAS SOPS 4892 HAS SOUS 3528 HAS SOUPS 3528 WITH SCORE 3532.892
AT ITER 76 NEW BEST:: SOT 8566 SOS 4857 HAS SOPS 4857 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3497.857
AT ITER 82 NEW BEST:: SOT 8576 SOS 4856 HAS SOPS 4856 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3497.856
AT ITER 98 NEW BEST:: SOT 8530 SOS 4748 HAS SOPS 4748 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3436.748
AT ITER 99 NEW BEST:: SOT 8530 SOS 4748 HAS SOPS 4748 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3426.748
AT ITER 119 NEW BEST:: SOT 8525 SOS 4748 HAS SOPS 4748 HAS SOUS 3417 HAS SOUPS 3417 WITH SCORE 3421.748
AT ITER 121 NEW BEST:: SOT 8509 SOS 4719 HAS SOPS 4719 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3406.719
AT ITER 124 NEW BEST:: SOT 8507 SOS 4715 HAS SOPS 4715 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3403.715
AT ITER 125 NEW BEST:: SOT 8507 SOS 4715 HAS SOPS 4715 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3401.715
AT ITER 129 NEW BEST:: SOT 8504 SOS 4712 HAS SOPS 4712 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3398.712
AT ITER 141 NEW BEST:: SOT 8524 SOS 4794 HAS SOPS 4794 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3388.794
AT ITER 147 NEW BEST:: SOT 8518 SOS 4788 HAS SOPS 4788 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3383.788
AT ITER 149 NEW BEST:: SOT 8518 SOS 4781 HAS SOPS 4781 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3376.781
AT ITER 154 NEW BEST:: SOT 8490 SOS 4635 HAS SOPS 4635 HAS SOUS 3344 HAS SOUPS 3344 WITH SCORE 3348.635
AT ITER 158 NEW BEST:: SOT 8470 SOS 4551 HAS SOPS 4551 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3307.551
AT ITER 166 NEW BEST:: SOT 8464 SOS 4566 HAS SOPS 4566 HAS SOUS 3297 HAS SOUPS 3297 WITH SCORE 3301.566
AT ITER 172 NEW BEST:: SOT 8469 SOS 4517 HAS SOPS 4517 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3285.517
AT ITER 174 NEW BEST:: SOT 8481 SOS 4529 HAS SOPS 4529 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3272.529
AT ITER 177 NEW BEST:: SOT 8459 SOS 4576 HAS SOPS 4576 HAS SOUS 3265 HAS SOUPS 3265 WITH SCORE 3269.576
AT ITER 191 NEW BEST:: SOT 8475 SOS 4586 HAS SOPS 4586 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3268.586
AT ITER 194 NEW BEST:: SOT 8481 SOS 4592 HAS SOPS 4592 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3256.592
AT ITER 196 NEW BEST:: SOT 8481 SOS 4606 HAS SOPS 4606 HAS SOUS 3249 HAS SOUPS 3249 WITH SCORE 3253.606
AT ITER 199 NEW BEST:: SOT 8481 SOS 4510 HAS SOPS 4510 HAS SOUS 3249 HAS SOUPS 3249 WITH SCORE 3253.51
AT ITER 201 NEW BEST:: SOT 8470 SOS 4499 HAS SOPS 4499 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3220.499
AT ITER 212 NEW BEST:: SOT 8422 SOS 4353 HAS SOPS 4353 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3210.353
AT ITER 217 NEW BEST:: SOT 8420 SOS 4353 HAS SOPS 4353 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3206.353
AT ITER 219 NEW BEST:: SOT 8419 SOS 4352 HAS SOPS 4352 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3205.352
AT ITER 221 NEW BEST:: SOT 8412 SOS 4342 HAS SOPS 4342 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3195.342
AT ITER 234 NEW BEST:: SOT 8409 SOS 4340 HAS SOPS 4340 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3194.34
AT ITER 241 NEW BEST:: SOT 8407 SOS 4338 HAS SOPS 4338 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3192.338
AT ITER 247 NEW BEST:: SOT 8416 SOS 4293 HAS SOPS 4293 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3180.293
AT ITER 252 NEW BEST:: SOT 8385 SOS 4235 HAS SOPS 4235 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3172.235
AT ITER 254 NEW BEST:: SOT 8388 SOS 4244 HAS SOPS 4244 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3156.244
AT ITER 263 NEW BEST:: SOT 8363 SOS 4215 HAS SOPS 4215 HAS SOUS 3116 HAS SOUPS 3116 WITH SCORE 3120.215
AT ITER 265 NEW BEST:: SOT 8366 SOS 4209 HAS SOPS 4209 HAS SOUS 3103 HAS SOUPS 3103 WITH SCORE 3107.209
AT ITER 267 NEW BEST:: SOT 8353 SOS 4176 HAS SOPS 4176 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3094.176
AT ITER 287 NEW BEST:: SOT 8351 SOS 4172 HAS SOPS 4172 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3080.172
AT ITER 292 NEW BEST:: SOT 8347 SOS 4168 HAS SOPS 4168 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3070.168
AT ITER 297 NEW BEST:: SOT 8342 SOS 4163 HAS SOPS 4163 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3070.163
AT ITER 301 NEW BEST:: SOT 8336 SOS 4151 HAS SOPS 4151 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3058.151
AT ITER 304 NEW BEST:: SOT 8308 SOS 4393 HAS SOPS 4393 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3053.393
AT ITER 306 NEW BEST:: SOT 8303 SOS 4388 HAS SOPS 4388 HAS SOUS 3037 HAS SOUPS 3037 WITH SCORE 3041.388
AT ITER 310 NEW BEST:: SOT 8291 SOS 4346 HAS SOPS 4346 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3034.346
AT ITER 315 NEW BEST:: SOT 8276 SOS 4386 HAS SOPS 4386 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3018.386
AT ITER 327 NEW BEST:: SOT 8266 SOS 4367 HAS SOPS 4367 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2996.367
AT ITER 336 NEW BEST:: SOT 8264 SOS 4363 HAS SOPS 4363 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2994.363
AT ITER 341 NEW BEST:: SOT 8257 SOS 4349 HAS SOPS 4349 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2971.349
AT ITER 345 NEW BEST:: SOT 8258 SOS 4340 HAS SOPS 4340 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2962.34
AT ITER 355 NEW BEST:: SOT 8248 SOS 4334 HAS SOPS 4334 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2940.334
AT ITER 368 NEW BEST:: SOT 8245 SOS 4331 HAS SOPS 4331 HAS SOUS 2933 HAS SOUPS 2933 WITH SCORE 2937.331
AT ITER 376 NEW BEST:: SOT 8245 SOS 4323 HAS SOPS 4323 HAS SOUS 2932 HAS SOUPS 2932 WITH SCORE 2936.323
AT ITER 391 NEW BEST:: SOT 8244 SOS 4320 HAS SOPS 4320 HAS SOUS 2930 HAS SOUPS 2930 WITH SCORE 2934.32
AT ITER 396 NEW BEST:: SOT 8228 SOS 4280 HAS SOPS 4280 HAS SOUS 2914 HAS SOUPS 2914 WITH SCORE 2918.28
AT ITER 400 NEW BEST:: SOT 8218 SOS 4270 HAS SOPS 4270 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2908.27
AT ITER 404 NEW BEST:: SOT 8215 SOS 4264 HAS SOPS 4264 HAS SOUS 2901 HAS SOUPS 2901 WITH SCORE 2905.264
AT ITER 405 NEW BEST:: SOT 8213 SOS 4262 HAS SOPS 4262 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2903.262
AT ITER 409 NEW BEST:: SOT 8205 SOS 4254 HAS SOPS 4254 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2895.254
AT ITER 414 NEW BEST:: SOT 8205 SOS 4262 HAS SOPS 4262 HAS SOUS 2887 HAS SOUPS 2887 WITH SCORE 2891.262
AT ITER 418 NEW BEST:: SOT 8191 SOS 4265 HAS SOPS 4265 HAS SOUS 2866 HAS SOUPS 2866 WITH SCORE 2870.265
AT ITER 421 NEW BEST:: SOT 8184 SOS 4149 HAS SOPS 4149 HAS SOUS 2859 HAS SOUPS 2859 WITH SCORE 2863.149
AT ITER 430 NEW BEST:: SOT 8185 SOS 4150 HAS SOPS 4150 HAS SOUS 2858 HAS SOUPS 2858 WITH SCORE 2862.15
AT ITER 432 NEW BEST:: SOT 8185 SOS 4150 HAS SOPS 4150 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2841.15
AT ITER 433 NEW BEST:: SOT 8188 SOS 4154 HAS SOPS 4154 HAS SOUS 2831 HAS SOUPS 2831 WITH SCORE 2835.154
AT ITER 444 NEW BEST:: SOT 8196 SOS 4145 HAS SOPS 4145 HAS SOUS 2822 HAS SOUPS 2822 WITH SCORE 2826.145
AT ITER 447 NEW BEST:: SOT 8204 SOS 4142 HAS SOPS 4142 HAS SOUS 2820 HAS SOUPS 2820 WITH SCORE 2824.142
AT ITER 463 NEW BEST:: SOT 8220 SOS 4079 HAS SOPS 4079 HAS SOUS 2799 HAS SOUPS 2799 WITH SCORE 2803.079
AT ITER 466 NEW BEST:: SOT 8207 SOS 4015 HAS SOPS 4015 HAS SOUS 2755 HAS SOUPS 2755 WITH SCORE 2759.015
AT ITER 475 NEW BEST:: SOT 8204 SOS 4073 HAS SOPS 4073 HAS SOUS 2714 HAS SOUPS 2714 WITH SCORE 2718.073
AT ITER 481 NEW BEST:: SOT 8202 SOS 4071 HAS SOPS 4071 HAS SOUS 2710 HAS SOUPS 2710 WITH SCORE 2714.071
AT ITER 508 NEW BEST:: SOT 8190 SOS 4053 HAS SOPS 4053 HAS SOUS 2691 HAS SOUPS 2691 WITH SCORE 2695.053
AT ITER 519 NEW BEST:: SOT 8211 SOS 4045 HAS SOPS 4045 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2688.045
AT ITER 539 NEW BEST:: SOT 8221 SOS 3978 HAS SOPS 3978 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2687.978
AT ITER 556 NEW BEST:: SOT 8218 SOS 3970 HAS SOPS 3970 HAS SOUS 2679 HAS SOUPS 2679 WITH SCORE 2682.97
AT ITER 564 NEW BEST:: SOT 8211 SOS 3962 HAS SOPS 3962 HAS SOUS 2665 HAS SOUPS 2665 WITH SCORE 2668.962
AT ITER 589 NEW BEST:: SOT 8211 SOS 3961 HAS SOPS 3961 HAS SOUS 2665 HAS SOUPS 2665 WITH SCORE 2668.961
AT ITER 613 NEW BEST:: SOT 8191 SOS 3949 HAS SOPS 3949 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2642.949
AT ITER 622 NEW BEST:: SOT 8181 SOS 3945 HAS SOPS 3945 HAS SOUS 2635 HAS SOUPS 2635 WITH SCORE 2638.945
AT ITER 628 NEW BEST:: SOT 8181 SOS 3935 HAS SOPS 3935 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2633.935
AT ITER 633 NEW BEST:: SOT 8157 SOS 3887 HAS SOPS 3887 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2620.887
AT ITER 635 NEW BEST:: SOT 8156 SOS 3886 HAS SOPS 3886 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2619.886
AT ITER 658 NEW BEST:: SOT 8150 SOS 3880 HAS SOPS 3880 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2612.88
AT ITER 663 NEW BEST:: SOT 8141 SOS 3866 HAS SOPS 3866 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2583.866
AT ITER 668 NEW BEST:: SOT 8156 SOS 3853 HAS SOPS 3853 HAS SOUS 2571 HAS SOUPS 2571 WITH SCORE 2574.853
AT ITER 675 NEW BEST:: SOT 8133 SOS 3840 HAS SOPS 3840 HAS SOUS 2550 HAS SOUPS 2550 WITH SCORE 2553.84
AT ITER 685 NEW BEST:: SOT 8130 SOS 3835 HAS SOPS 3835 HAS SOUS 2545 HAS SOUPS 2545 WITH SCORE 2548.835
AT ITER 711 NEW BEST:: SOT 8129 SOS 3833 HAS SOPS 3833 HAS SOUS 2544 HAS SOUPS 2544 WITH SCORE 2547.833
AT ITER 717 NEW BEST:: SOT 8114 SOS 3796 HAS SOPS 3796 HAS SOUS 2524 HAS SOUPS 2524 WITH SCORE 2527.796
AT ITER 718 NEW BEST:: SOT 8113 SOS 3795 HAS SOPS 3795 HAS SOUS 2524 HAS SOUPS 2524 WITH SCORE 2527.795
AT ITER 723 NEW BEST:: SOT 8105 SOS 3808 HAS SOPS 3808 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2515.808
AT ITER 742 NEW BEST:: SOT 8119 SOS 3852 HAS SOPS 3852 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2499.852
AT ITER 757 NEW BEST:: SOT 8120 SOS 3834 HAS SOPS 3834 HAS SOUS 2472 HAS SOUPS 2472 WITH SCORE 2475.834
AT ITER 760 NEW BEST:: SOT 8109 SOS 3838 HAS SOPS 3838 HAS SOUS 2466 HAS SOUPS 2466 WITH SCORE 2469.838
AT ITER 787 NEW BEST:: SOT 8104 SOS 3824 HAS SOPS 3824 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2459.824
AT ITER 798 NEW BEST:: SOT 8098 SOS 3825 HAS SOPS 3825 HAS SOUS 2449 HAS SOUPS 2449 WITH SCORE 2452.825
AT ITER 803 NEW BEST:: SOT 8098 SOS 3818 HAS SOPS 3818 HAS SOUS 2446 HAS SOUPS 2446 WITH SCORE 2449.818
AT ITER 837 NEW BEST:: SOT 8092 SOS 3801 HAS SOPS 3801 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2441.801
AT ITER 841 NEW BEST:: SOT 8092 SOS 3801 HAS SOPS 3801 HAS SOUS 2433 HAS SOUPS 2433 WITH SCORE 2436.801
AT ITER 848 NEW BEST:: SOT 8092 SOS 3801 HAS SOPS 3801 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2435.801
AT ITER 849 NEW BEST:: SOT 8076 SOS 3769 HAS SOPS 3769 HAS SOUS 2415 HAS SOUPS 2415 WITH SCORE 2418.769
AT ITER 885 NEW BEST:: SOT 8069 SOS 3750 HAS SOPS 3750 HAS SOUS 2413 HAS SOUPS 2413 WITH SCORE 2416.75
AT ITER 903 NEW BEST:: SOT 8062 SOS 3750 HAS SOPS 3750 HAS SOUS 2399 HAS SOUPS 2399 WITH SCORE 2402.75
AT ITER 904 NEW BEST:: SOT 8056 SOS 3732 HAS SOPS 3732 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2390.732
AT ITER 926 NEW BEST:: SOT 8041 SOS 3824 HAS SOPS 3824 HAS SOUS 2386 HAS SOUPS 2386 WITH SCORE 2389.824
AT ITER 942 NEW BEST:: SOT 8034 SOS 3817 HAS SOPS 3817 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2357.817
AT ITER 957 NEW BEST:: SOT 8039 SOS 3822 HAS SOPS 3822 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2318.822
AT ITER 971 NEW BEST:: SOT 8041 SOS 3818 HAS SOPS 3818 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2318.818
AT ITER 979 NEW BEST:: SOT 8046 SOS 3822 HAS SOPS 3822 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2313.822
AT ITER 991 NEW BEST:: SOT 8043 SOS 3819 HAS SOPS 3819 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2310.819
AT ITER 1005 NEW BEST:: SOT 8029 SOS 3805 HAS SOPS 3805 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2291.805
AT ITER 1020 NEW BEST:: SOT 8008 SOS 3740 HAS SOPS 3740 HAS SOUS 2252 HAS SOUPS 2252 WITH SCORE 2255.74
AT ITER 1024 NEW BEST:: SOT 8006 SOS 3738 HAS SOPS 3738 HAS SOUS 2246 HAS SOUPS 2246 WITH SCORE 2249.738
AT ITER 1027 NEW BEST:: SOT 8002 SOS 3736 HAS SOPS 3736 HAS SOUS 2238 HAS SOUPS 2238 WITH SCORE 2241.736
AT ITER 1041 NEW BEST:: SOT 7992 SOS 3745 HAS SOPS 3745 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2240.745
AT ITER 1049 NEW BEST:: SOT 7984 SOS 3737 HAS SOPS 3737 HAS SOUS 2229 HAS SOUPS 2229 WITH SCORE 2232.737
AT ITER 1053 NEW BEST:: SOT 7979 SOS 3727 HAS SOPS 3727 HAS SOUS 2224 HAS SOUPS 2224 WITH SCORE 2227.727
AT ITER 1068 NEW BEST:: SOT 7976 SOS 3670 HAS SOPS 3670 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2218.67
AT ITER 1070 NEW BEST:: SOT 7966 SOS 3656 HAS SOPS 3656 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2210.656
AT ITER 1071 NEW BEST:: SOT 7964 SOS 3651 HAS SOPS 3651 HAS SOUS 2204 HAS SOUPS 2204 WITH SCORE 2207.651
AT ITER 1090 NEW BEST:: SOT 7964 SOS 3635 HAS SOPS 3635 HAS SOUS 2204 HAS SOUPS 2204 WITH SCORE 2207.635
AT ITER 1107 NEW BEST:: SOT 7964 SOS 3633 HAS SOPS 3633 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2200.633
AT ITER 1139 NEW BEST:: SOT 7961 SOS 3602 HAS SOPS 3602 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2197.602
AT ITER 1148 NEW BEST:: SOT 7948 SOS 3587 HAS SOPS 3587 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2178.587
AT ITER 1156 NEW BEST:: SOT 7944 SOS 3579 HAS SOPS 3579 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2164.579
AT ITER 1157 NEW BEST:: SOT 7943 SOS 3578 HAS SOPS 3578 HAS SOUS 2151 HAS SOUPS 2151 WITH SCORE 2154.578
AT ITER 1180 NEW BEST:: SOT 7943 SOS 3576 HAS SOPS 3576 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2152.576
AT ITER 1215 NEW BEST:: SOT 7943 SOS 3566 HAS SOPS 3566 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2147.566
AT ITER 1224 NEW BEST:: SOT 7937 SOS 3563 HAS SOPS 3563 HAS SOUS 2141 HAS SOUPS 2141 WITH SCORE 2144.563
AT ITER 1225 NEW BEST:: SOT 7936 SOS 3562 HAS SOPS 3562 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2143.562
AT ITER 1229 NEW BEST:: SOT 7929 SOS 3548 HAS SOPS 3548 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2136.548
AT ITER 1234 NEW BEST:: SOT 7925 SOS 3544 HAS SOPS 3544 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2128.544
AT ITER 1243 NEW BEST:: SOT 7916 SOS 3538 HAS SOPS 3538 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2126.538
AT ITER 1244 NEW BEST:: SOT 7911 SOS 3523 HAS SOPS 3523 HAS SOUS 2113 HAS SOUPS 2113 WITH SCORE 2116.523
AT ITER 1258 NEW BEST:: SOT 7912 SOS 3499 HAS SOPS 3499 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2115.499
AT ITER 1265 NEW BEST:: SOT 7904 SOS 3489 HAS SOPS 3489 HAS SOUS 2108 HAS SOUPS 2108 WITH SCORE 2111.489
AT ITER 1277 NEW BEST:: SOT 7896 SOS 3729 HAS SOPS 3729 HAS SOUS 2107 HAS SOUPS 2107 WITH SCORE 2110.729
AT ITER 1304 NEW BEST:: SOT 7896 SOS 3739 HAS SOPS 3739 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2107.739
AT ITER 1332 NEW BEST:: SOT 7894 SOS 3743 HAS SOPS 3743 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2104.743
AT ITER 1366 NEW BEST:: SOT 7890 SOS 3748 HAS SOPS 3748 HAS SOUS 2099 HAS SOUPS 2099 WITH SCORE 2102.748
AT ITER 1483 NEW BEST:: SOT 7893 SOS 3757 HAS SOPS 3757 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2101.757
AT ITER 1488 NEW BEST:: SOT 7903 SOS 3750 HAS SOPS 3750 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2101.75
AT ITER 1503 NEW BEST:: SOT 7891 SOS 3740 HAS SOPS 3740 HAS SOUS 2096 HAS SOUPS 2096 WITH SCORE 2099.74
AT ITER 1510 NEW BEST:: SOT 7888 SOS 3734 HAS SOPS 3734 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2096.734
AT ITER 1522 NEW BEST:: SOT 7903 SOS 3731 HAS SOPS 3731 HAS SOUS 2076 HAS SOUPS 2076 WITH SCORE 2079.731
AT ITER 1531 NEW BEST:: SOT 7901 SOS 3727 HAS SOPS 3727 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2075.727
AT ITER 1533 NEW BEST:: SOT 7901 SOS 3726 HAS SOPS 3726 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2074.726
AT ITER 1549 NEW BEST:: SOT 7900 SOS 3727 HAS SOPS 3727 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2069.727
AT ITER 1559 NEW BEST:: SOT 7897 SOS 3724 HAS SOPS 3724 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2066.724
AT ITER 1569 NEW BEST:: SOT 7895 SOS 3718 HAS SOPS 3718 HAS SOUS 2059 HAS SOUPS 2059 WITH SCORE 2062.718
AT ITER 1614 NEW BEST:: SOT 7893 SOS 3710 HAS SOPS 3710 HAS SOUS 2055 HAS SOUPS 2055 WITH SCORE 2058.71
AT ITER 1616 NEW BEST:: SOT 7886 SOS 3652 HAS SOPS 3652 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2052.652
AT ITER 1637 NEW BEST:: SOT 7881 SOS 3615 HAS SOPS 3615 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2052.615
AT ITER 1642 NEW BEST:: SOT 7876 SOS 3600 HAS SOPS 3600 HAS SOUS 2044 HAS SOUPS 2044 WITH SCORE 2047.6
AT ITER 1645 NEW BEST:: SOT 7879 SOS 3596 HAS SOPS 3596 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2043.596
AT ITER 1678 NEW BEST:: SOT 7884 SOS 3596 HAS SOPS 3596 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2042.596
AT ITER 1745 NEW BEST:: SOT 7884 SOS 3599 HAS SOPS 3599 HAS SOUS 2035 HAS SOUPS 2035 WITH SCORE 2038.599
AT ITER 1789 NEW BEST:: SOT 7882 SOS 3605 HAS SOPS 3605 HAS SOUS 2033 HAS SOUPS 2033 WITH SCORE 2036.605
AT ITER 1799 NEW BEST:: SOT 7883 SOS 3612 HAS SOPS 3612 HAS SOUS 2029 HAS SOUPS 2029 WITH SCORE 2032.612
AT ITER 1839 NEW BEST:: SOT 7876 SOS 3706 HAS SOPS 3706 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2030.706
AT ITER 1852 NEW BEST:: SOT 7885 SOS 3676 HAS SOPS 3676 HAS SOUS 2017 HAS SOUPS 2017 WITH SCORE 2020.676
AT ITER 1871 NEW BEST:: SOT 7895 SOS 3676 HAS SOPS 3676 HAS SOUS 2010 HAS SOUPS 2010 WITH SCORE 2013.676
AT ITER 1881 NEW BEST:: SOT 7895 SOS 3672 HAS SOPS 3672 HAS SOUS 2010 HAS SOUPS 2010 WITH SCORE 2013.672
AT ITER 1882 NEW BEST:: SOT 7892 SOS 3657 HAS SOPS 3657 HAS SOUS 2006 HAS SOUPS 2006 WITH SCORE 2009.657
AT ITER 1894 NEW BEST:: SOT 7888 SOS 3657 HAS SOPS 3657 HAS SOUS 2002 HAS SOUPS 2002 WITH SCORE 2005.657
AT ITER 2007 NEW BEST:: SOT 7882 SOS 3683 HAS SOPS 3683 HAS SOUS 2000 HAS SOUPS 2000 WITH SCORE 2003.683
AT ITER 2092 NEW BEST:: SOT 7897 SOS 3608 HAS SOPS 3608 HAS SOUS 1996 HAS SOUPS 1996 WITH SCORE 1999.608
AT ITER 2098 NEW BEST:: SOT 7886 SOS 3612 HAS SOPS 3612 HAS SOUS 1987 HAS SOUPS 1987 WITH SCORE 1990.612
AT ITER 2105 NEW BEST:: SOT 7885 SOS 3611 HAS SOPS 3611 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1989.611
AT ITER 2132 NEW BEST:: SOT 7880 SOS 3606 HAS SOPS 3606 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1981.606
AT ITER 2154 NEW BEST:: SOT 7879 SOS 3600 HAS SOPS 3600 HAS SOUS 1973 HAS SOUPS 1973 WITH SCORE 1976.6
AT ITER 2156 NEW BEST:: SOT 7877 SOS 3598 HAS SOPS 3598 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1972.598
AT ITER 2209 NEW BEST:: SOT 7874 SOS 3594 HAS SOPS 3594 HAS SOUS 1967 HAS SOUPS 1967 WITH SCORE 1970.594
AT ITER 2367 NEW BEST:: SOT 7872 SOS 3588 HAS SOPS 3588 HAS SOUS 1964 HAS SOUPS 1964 WITH SCORE 1967.588
AT ITER 2421 NEW BEST:: SOT 7875 SOS 3557 HAS SOPS 3557 HAS SOUS 1962 HAS SOUPS 1962 WITH SCORE 1965.557
AT ITER 2426 NEW BEST:: SOT 7875 SOS 3554 HAS SOPS 3554 HAS SOUS 1962 HAS SOUPS 1962 WITH SCORE 1965.554
AT ITER 2467 NEW BEST:: SOT 7869 SOS 3552 HAS SOPS 3552 HAS SOUS 1960 HAS SOUPS 1960 WITH SCORE 1963.552
AT ITER 2478 NEW BEST:: SOT 7877 SOS 3545 HAS SOPS 3545 HAS SOUS 1960 HAS SOUPS 1960 WITH SCORE 1963.545
AT ITER 2479 NEW BEST:: SOT 7875 SOS 3530 HAS SOPS 3530 HAS SOUS 1948 HAS SOUPS 1948 WITH SCORE 1951.53
AT ITER 2491 NEW BEST:: SOT 7875 SOS 3526 HAS SOPS 3526 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1949.526
AT ITER 2497 NEW BEST:: SOT 7880 SOS 3525 HAS SOPS 3525 HAS SOUS 1939 HAS SOUPS 1939 WITH SCORE 1942.525
AT ITER 2500 NEW BEST:: SOT 7877 SOS 3519 HAS SOPS 3519 HAS SOUS 1936 HAS SOUPS 1936 WITH SCORE 1939.519
AT ITER 2532 NEW BEST:: SOT 7875 SOS 3515 HAS SOPS 3515 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1933.515
AT ITER 2536 NEW BEST:: SOT 7886 SOS 3558 HAS SOPS 3558 HAS SOUS 1913 HAS SOUPS 1913 WITH SCORE 1916.558
AT ITER 2545 NEW BEST:: SOT 7876 SOS 3548 HAS SOPS 3548 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1906.548
AT ITER 2554 NEW BEST:: SOT 7875 SOS 3543 HAS SOPS 3543 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1904.543
AT ITER 2558 NEW BEST:: SOT 7874 SOS 3542 HAS SOPS 3542 HAS SOUS 1900 HAS SOUPS 1900 WITH SCORE 1903.542
AT ITER 2567 NEW BEST:: SOT 7873 SOS 3658 HAS SOPS 3658 HAS SOUS 1896 HAS SOUPS 1896 WITH SCORE 1899.658
AT ITER 2579 NEW BEST:: SOT 7873 SOS 3646 HAS SOPS 3646 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1892.646
AT ITER 2584 NEW BEST:: SOT 7871 SOS 3644 HAS SOPS 3644 HAS SOUS 1887 HAS SOUPS 1887 WITH SCORE 1890.644
AT ITER 2724 NEW BEST:: SOT 7866 SOS 3637 HAS SOPS 3637 HAS SOUS 1875 HAS SOUPS 1875 WITH SCORE 1878.637
AT ITER 2766 NEW BEST:: SOT 7866 SOS 3634 HAS SOPS 3634 HAS SOUS 1872 HAS SOUPS 1872 WITH SCORE 1875.634
AT ITER 2833 NEW BEST:: SOT 7865 SOS 3641 HAS SOPS 3641 HAS SOUS 1868 HAS SOUPS 1868 WITH SCORE 1871.641
AT ITER 2848 NEW BEST:: SOT 7865 SOS 3679 HAS SOPS 3679 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1865.679
AT ITER 2877 NEW BEST:: SOT 7871 SOS 3673 HAS SOPS 3673 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1865.673
AT ITER 2932 NEW BEST:: SOT 7866 SOS 3666 HAS SOPS 3666 HAS SOUS 1857 HAS SOUPS 1857 WITH SCORE 1860.666
AT ITER 2947 NEW BEST:: SOT 7864 SOS 3658 HAS SOPS 3658 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1859.658
AT ITER 2979 NEW BEST:: SOT 7868 SOS 3696 HAS SOPS 3696 HAS SOUS 1846 HAS SOUPS 1846 WITH SCORE 1849.696
AT ITER 2988 NEW BEST:: SOT 7871 SOS 3695 HAS SOPS 3695 HAS SOUS 1846 HAS SOUPS 1846 WITH SCORE 1849.695
AT ITER 3037 NEW BEST:: SOT 7871 SOS 3695 HAS SOPS 3695 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1848.695
AT ITER 3053 NEW BEST:: SOT 7870 SOS 3693 HAS SOPS 3693 HAS SOUS 1843 HAS SOUPS 1843 WITH SCORE 1846.693
AT ITER 3062 NEW BEST:: SOT 7864 SOS 3687 HAS SOPS 3687 HAS SOUS 1833 HAS SOUPS 1833 WITH SCORE 1836.687
AT ITER 3110 NEW BEST:: SOT 7869 SOS 3685 HAS SOPS 3685 HAS SOUS 1831 HAS SOUPS 1831 WITH SCORE 1834.685
AT ITER 3145 NEW BEST:: SOT 7868 SOS 3684 HAS SOPS 3684 HAS SOUS 1828 HAS SOUPS 1828 WITH SCORE 1831.684
AT ITER 3234 NEW BEST:: SOT 7865 SOS 3683 HAS SOPS 3683 HAS SOUS 1823 HAS SOUPS 1823 WITH SCORE 1826.683
AT ITER 3251 NEW BEST:: SOT 7865 SOS 3683 HAS SOPS 3683 HAS SOUS 1822 HAS SOUPS 1822 WITH SCORE 1825.683
AT ITER 3289 NEW BEST:: SOT 7866 SOS 3683 HAS SOPS 3683 HAS SOUS 1820 HAS SOUPS 1820 WITH SCORE 1823.683
AT ITER 3322 NEW BEST:: SOT 7866 SOS 3684 HAS SOPS 3684 HAS SOUS 1819 HAS SOUPS 1819 WITH SCORE 1822.684
AT ITER 3387 NEW BEST:: SOT 7863 SOS 3678 HAS SOPS 3678 HAS SOUS 1816 HAS SOUPS 1816 WITH SCORE 1819.678
AT ITER 3418 NEW BEST:: SOT 7861 SOS 3674 HAS SOPS 3674 HAS SOUS 1814 HAS SOUPS 1814 WITH SCORE 1817.674
AT ITER 3441 NEW BEST:: SOT 7858 SOS 3667 HAS SOPS 3667 HAS SOUS 1810 HAS SOUPS 1810 WITH SCORE 1813.667
AT ITER 3450 NEW BEST:: SOT 7856 SOS 3663 HAS SOPS 3663 HAS SOUS 1808 HAS SOUPS 1808 WITH SCORE 1811.663
AT ITER 3457 NEW BEST:: SOT 7856 SOS 3663 HAS SOPS 3663 HAS SOUS 1805 HAS SOUPS 1805 WITH SCORE 1808.663
AT ITER 3492 NEW BEST:: SOT 7848 SOS 3652 HAS SOPS 3652 HAS SOUS 1800 HAS SOUPS 1800 WITH SCORE 1803.652
AT ITER 3514 NEW BEST:: SOT 7846 SOS 3656 HAS SOPS 3656 HAS SOUS 1799 HAS SOUPS 1799 WITH SCORE 1802.656
AT ITER 3537 NEW BEST:: SOT 7844 SOS 3652 HAS SOPS 3652 HAS SOUS 1797 HAS SOUPS 1797 WITH SCORE 1800.652
AT ITER 3595 NEW BEST:: SOT 7844 SOS 3652 HAS SOPS 3652 HAS SOUS 1795 HAS SOUPS 1795 WITH SCORE 1798.652
AT ITER 3606 NEW BEST:: SOT 7840 SOS 3650 HAS SOPS 3650 HAS SOUS 1793 HAS SOUPS 1793 WITH SCORE 1796.65
AT ITER 3651 NEW BEST:: SOT 7838 SOS 3640 HAS SOPS 3640 HAS SOUS 1792 HAS SOUPS 1792 WITH SCORE 1795.64
AT ITER 3701 NEW BEST:: SOT 7837 SOS 3639 HAS SOPS 3639 HAS SOUS 1791 HAS SOUPS 1791 WITH SCORE 1794.639
AT ITER 3782 NEW BEST:: SOT 7834 SOS 3632 HAS SOPS 3632 HAS SOUS 1790 HAS SOUPS 1790 WITH SCORE 1793.632
AT ITER 3820 NEW BEST:: SOT 7853 SOS 3628 HAS SOPS 3628 HAS SOUS 1784 HAS SOUPS 1784 WITH SCORE 1787.628
AT ITER 3834 NEW BEST:: SOT 7854 SOS 3624 HAS SOPS 3624 HAS SOUS 1769 HAS SOUPS 1769 WITH SCORE 1772.624
AT ITER 3854 NEW BEST:: SOT 7856 SOS 3557 HAS SOPS 3557 HAS SOUS 1767 HAS SOUPS 1767 WITH SCORE 1770.557
AT ITER 3954 NEW BEST:: SOT 7856 SOS 3529 HAS SOPS 3529 HAS SOUS 1753 HAS SOUPS 1753 WITH SCORE 1756.529
AT ITER 4214 NEW BEST:: SOT 7857 SOS 3530 HAS SOPS 3530 HAS SOUS 1751 HAS SOUPS 1751 WITH SCORE 1754.53
AT ITER 4296 NEW BEST:: SOT 7854 SOS 3521 HAS SOPS 3521 HAS SOUS 1748 HAS SOUPS 1748 WITH SCORE 1751.521
AT ITER 4329 NEW BEST:: SOT 7852 SOS 3522 HAS SOPS 3522 HAS SOUS 1746 HAS SOUPS 1746 WITH SCORE 1749.522
AT ITER 4478 NEW BEST:: SOT 7853 SOS 3490 HAS SOPS 3490 HAS SOUS 1746 HAS SOUPS 1746 WITH SCORE 1749.49
AT ITER 4485 NEW BEST:: SOT 7853 SOS 3491 HAS SOPS 3491 HAS SOUS 1740 HAS SOUPS 1740 WITH SCORE 1743.491
AT ITER 4649 NEW BEST:: SOT 7850 SOS 3484 HAS SOPS 3484 HAS SOUS 1734 HAS SOUPS 1734 WITH SCORE 1737.484
AT ITER 4717 NEW BEST:: SOT 7850 SOS 3483 HAS SOPS 3483 HAS SOUS 1733 HAS SOUPS 1733 WITH SCORE 1736.483
AT ITER 4815 NEW BEST:: SOT 7847 SOS 3477 HAS SOPS 3477 HAS SOUS 1730 HAS SOUPS 1730 WITH SCORE 1733.477
AT ITER 4817 NEW BEST:: SOT 7847 SOS 3477 HAS SOPS 3477 HAS SOUS 1729 HAS SOUPS 1729 WITH SCORE 1732.477
AT ITER 4839 NEW BEST:: SOT 7844 SOS 3474 HAS SOPS 3474 HAS SOUS 1725 HAS SOUPS 1725 WITH SCORE 1728.474
AT ITER 4841 NEW BEST:: SOT 7846 SOS 3478 HAS SOPS 3478 HAS SOUS 1723 HAS SOUPS 1723 WITH SCORE 1726.478
AT ITER 5132 NEW BEST:: SOT 7839 SOS 3611 HAS SOPS 3611 HAS SOUS 1722 HAS SOUPS 1722 WITH SCORE 1725.611
AT ITER 5174 NEW BEST:: SOT 7839 SOS 3608 HAS SOPS 3608 HAS SOUS 1722 HAS SOUPS 1722 WITH SCORE 1725.608
AT ITER 5259 NEW BEST:: SOT 7839 SOS 3604 HAS SOPS 3604 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1723.604
AT ITER 5274 NEW BEST:: SOT 7838 SOS 3583 HAS SOPS 3583 HAS SOUS 1716 HAS SOUPS 1716 WITH SCORE 1719.583
AT ITER 5384 NEW BEST:: SOT 7837 SOS 3582 HAS SOPS 3582 HAS SOUS 1713 HAS SOUPS 1713 WITH SCORE 1716.582
AT ITER 5579 NEW BEST:: SOT 7837 SOS 3582 HAS SOPS 3582 HAS SOUS 1712 HAS SOUPS 1712 WITH SCORE 1715.582
AT ITER 5606 NEW BEST:: SOT 7834 SOS 3579 HAS SOPS 3579 HAS SOUS 1709 HAS SOUPS 1709 WITH SCORE 1712.579
AT ITER 5808 NEW BEST:: SOT 7837 SOS 3498 HAS SOPS 3498 HAS SOUS 1706 HAS SOUPS 1706 WITH SCORE 1709.498
AT ITER 5819 NEW BEST:: SOT 7838 SOS 3500 HAS SOPS 3500 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1703.5
AT ITER 5926 NEW BEST:: SOT 7836 SOS 3492 HAS SOPS 3492 HAS SOUS 1698 HAS SOUPS 1698 WITH SCORE 1701.492
AT ITER 5970 NEW BEST:: SOT 7834 SOS 3488 HAS SOPS 3488 HAS SOUS 1695 HAS SOUPS 1695 WITH SCORE 1698.488
AT ITER 6051 NEW BEST:: SOT 7833 SOS 3485 HAS SOPS 3485 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1696.485
AT ITER 6055 NEW BEST:: SOT 7821 SOS 3803 HAS SOPS 3803 HAS SOUS 1692 HAS SOUPS 1692 WITH SCORE 1695.803
AT ITER 6064 NEW BEST:: SOT 7820 SOS 3802 HAS SOPS 3802 HAS SOUS 1690 HAS SOUPS 1690 WITH SCORE 1693.802
AT ITER 6662 NEW BEST:: SOT 7818 SOS 3795 HAS SOPS 3795 HAS SOUS 1686 HAS SOUPS 1686 WITH SCORE 1689.795
AT ITER 6963 NEW BEST:: SOT 7818 SOS 3793 HAS SOPS 3793 HAS SOUS 1685 HAS SOUPS 1685 WITH SCORE 1688.793
AT ITER 6977 NEW BEST:: SOT 7816 SOS 3791 HAS SOPS 3791 HAS SOUS 1682 HAS SOUPS 1682 WITH SCORE 1685.791
AT ITER 7094 NEW BEST:: SOT 7815 SOS 3790 HAS SOPS 3790 HAS SOUS 1680 HAS SOUPS 1680 WITH SCORE 1683.79
AT ITER 7144 NEW BEST:: SOT 7816 SOS 3797 HAS SOPS 3797 HAS SOUS 1679 HAS SOUPS 1679 WITH SCORE 1682.797
AT ITER 7183 NEW BEST:: SOT 7814 SOS 3799 HAS SOPS 3799 HAS SOUS 1677 HAS SOUPS 1677 WITH SCORE 1680.799
AT ITER 7291 NEW BEST:: SOT 7811 SOS 3793 HAS SOPS 3793 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1677.793
AT ITER 7297 NEW BEST:: SOT 7811 SOS 3790 HAS SOPS 3790 HAS SOUS 1671 HAS SOUPS 1671 WITH SCORE 1674.79
AT ITER 7562 NEW BEST:: SOT 7812 SOS 3738 HAS SOPS 3738 HAS SOUS 1671 HAS SOUPS 1671 WITH SCORE 1674.738
AT ITER 7899 NEW BEST:: SOT 7813 SOS 3736 HAS SOPS 3736 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1673.736
AT ITER 7955 NEW BEST:: SOT 7813 SOS 3731 HAS SOPS 3731 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1673.731
AT ITER 8031 NEW BEST:: SOT 7813 SOS 3731 HAS SOPS 3731 HAS SOUS 1669 HAS SOUPS 1669 WITH SCORE 1672.731
AT ITER 8581 NEW BEST:: SOT 7812 SOS 3730 HAS SOPS 3730 HAS SOUS 1669 HAS SOUPS 1669 WITH SCORE 1672.73
AT ITER 9044 NEW BEST:: SOT 7811 SOS 3728 HAS SOPS 3728 HAS SOUS 1669 HAS SOUPS 1669 WITH SCORE 1672.728
AT ITER 9086 NEW BEST:: SOT 7808 SOS 3724 HAS SOPS 3724 HAS SOUS 1669 HAS SOUPS 1669 WITH SCORE 1672.724
AT ITER 9190 NEW BEST:: SOT 7806 SOS 3731 HAS SOPS 3731 HAS SOUS 1667 HAS SOUPS 1667 WITH SCORE 1670.731
AT ITER 9322 NEW BEST:: SOT 7805 SOS 3730 HAS SOPS 3730 HAS SOUS 1667 HAS SOUPS 1667 WITH SCORE 1670.73
AT ITER 9411 NEW BEST:: SOT 7805 SOS 3729 HAS SOPS 3729 HAS SOUS 1667 HAS SOUPS 1667 WITH SCORE 1670.729
AT ITER 9453 NEW BEST:: SOT 7804 SOS 3722 HAS SOPS 3722 HAS SOUS 1666 HAS SOUPS 1666 WITH SCORE 1669.722
AT ITER 9693 NEW BEST:: SOT 7803 SOS 3717 HAS SOPS 3717 HAS SOUS 1666 HAS SOUPS 1666 WITH SCORE 1669.717
AT ITER 9917 NEW BEST:: SOT 7803 SOS 3714 HAS SOPS 3714 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1668.714
STATE_SPACE STATES 27622035 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 24 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 222101880 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679185357872

--------------------
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="UtilityControlRoom-COL-Z2T4N06"
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 UtilityControlRoom-COL-Z2T4N06, 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 r483-tall-167912696401008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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