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.r203-smll-167840349300272.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 smartxred
Input is HealthRecord-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349300272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 6.9K Feb 26 17:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 17:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 17:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 17:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 18:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 171K Feb 26 18:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 18:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 26 18:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 51K Mar 5 18:22 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 1678577647145

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HealthRecord-PT-05
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 23:34:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 23:34:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 23:34:10] [INFO ] Load time of PNML (sax parser for PT used): 116 ms
[2023-03-11 23:34:10] [INFO ] Transformed 125 places.
[2023-03-11 23:34:10] [INFO ] Transformed 246 transitions.
[2023-03-11 23:34:10] [INFO ] Found NUPN structural information;
[2023-03-11 23:34:10] [INFO ] Parsed PT model containing 125 places and 246 transitions and 637 arcs in 296 ms.
[2023-03-11 23:34:10] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 125 places, 246 transitions and 637 arcs took 11 ms.
Total runtime 369 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 05
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 125 places, 246 transitions, 637 arcs.
AT ITER 0 NEW BEST:: SOT 22876 SOS 12915 HAS SOPS 12903 HAS SOUS 7665 HAS SOUPS 7656 WITH SCORE 7668.915
AT ITER 3 NEW BEST:: SOT 22876 SOS 12895 HAS SOPS 12883 HAS SOUS 7665 HAS SOUPS 7656 WITH SCORE 7668.895
AT ITER 7 NEW BEST:: SOT 22723 SOS 12719 HAS SOPS 12707 HAS SOUS 7650 HAS SOUPS 7641 WITH SCORE 7653.719
AT ITER 8 NEW BEST:: SOT 22723 SOS 12730 HAS SOPS 12718 HAS SOUS 7638 HAS SOUPS 7629 WITH SCORE 7641.73
AT ITER 9 NEW BEST:: SOT 22664 SOS 12669 HAS SOPS 12657 HAS SOUS 7625 HAS SOUPS 7616 WITH SCORE 7628.669
AT ITER 10 NEW BEST:: SOT 21408 SOS 11970 HAS SOPS 11958 HAS SOUS 6985 HAS SOUPS 6976 WITH SCORE 6987.97
AT ITER 11 NEW BEST:: SOT 21408 SOS 11903 HAS SOPS 11891 HAS SOUS 6984 HAS SOUPS 6975 WITH SCORE 6986.903
AT ITER 13 NEW BEST:: SOT 21408 SOS 11897 HAS SOPS 11885 HAS SOUS 6984 HAS SOUPS 6975 WITH SCORE 6986.897
AT ITER 20 NEW BEST:: SOT 21351 SOS 11598 HAS SOPS 11586 HAS SOUS 6894 HAS SOUPS 6885 WITH SCORE 6896.598
AT ITER 21 NEW BEST:: SOT 21320 SOS 11505 HAS SOPS 11493 HAS SOUS 6879 HAS SOUPS 6870 WITH SCORE 6881.505
AT ITER 22 NEW BEST:: SOT 21300 SOS 11465 HAS SOPS 11453 HAS SOUS 6839 HAS SOUPS 6830 WITH SCORE 6841.465
AT ITER 24 NEW BEST:: SOT 21300 SOS 11468 HAS SOPS 11456 HAS SOUS 6836 HAS SOUPS 6827 WITH SCORE 6838.468
AT ITER 25 NEW BEST:: SOT 21223 SOS 11060 HAS SOPS 11048 HAS SOUS 6809 HAS SOUPS 6800 WITH SCORE 6811.06
AT ITER 27 NEW BEST:: SOT 21183 SOS 10960 HAS SOPS 10948 HAS SOUS 6769 HAS SOUPS 6760 WITH SCORE 6770.96
AT ITER 29 NEW BEST:: SOT 21189 SOS 10966 HAS SOPS 10954 HAS SOUS 6763 HAS SOUPS 6754 WITH SCORE 6764.966
AT ITER 31 NEW BEST:: SOT 21171 SOS 10912 HAS SOPS 10900 HAS SOUS 6745 HAS SOUPS 6736 WITH SCORE 6746.912
AT ITER 34 NEW BEST:: SOT 20767 SOS 10599 HAS SOPS 10587 HAS SOUS 6335 HAS SOUPS 6326 WITH SCORE 6336.599
AT ITER 36 NEW BEST:: SOT 20716 SOS 10548 HAS SOPS 10536 HAS SOUS 6288 HAS SOUPS 6279 WITH SCORE 6289.548
AT ITER 37 NEW BEST:: SOT 20724 SOS 10551 HAS SOPS 10539 HAS SOUS 6286 HAS SOUPS 6277 WITH SCORE 6287.551
AT ITER 38 NEW BEST:: SOT 20295 SOS 10585 HAS SOPS 10573 HAS SOUS 5930 HAS SOUPS 5921 WITH SCORE 5931.585
AT ITER 39 NEW BEST:: SOT 20150 SOS 10444 HAS SOPS 10432 HAS SOUS 5861 HAS SOUPS 5852 WITH SCORE 5862.444
AT ITER 41 NEW BEST:: SOT 20103 SOS 10325 HAS SOPS 10313 HAS SOUS 5820 HAS SOUPS 5811 WITH SCORE 5821.325
AT ITER 44 NEW BEST:: SOT 20103 SOS 10314 HAS SOPS 10302 HAS SOUS 5809 HAS SOUPS 5800 WITH SCORE 5810.314
AT ITER 48 NEW BEST:: SOT 20062 SOS 10233 HAS SOPS 10221 HAS SOUS 5748 HAS SOUPS 5739 WITH SCORE 5749.233
AT ITER 49 NEW BEST:: SOT 20057 SOS 10218 HAS SOPS 10206 HAS SOUS 5748 HAS SOUPS 5739 WITH SCORE 5749.218
AT ITER 51 NEW BEST:: SOT 20064 SOS 10258 HAS SOPS 10246 HAS SOUS 5690 HAS SOUPS 5681 WITH SCORE 5691.258
AT ITER 54 NEW BEST:: SOT 20074 SOS 10227 HAS SOPS 10215 HAS SOUS 5656 HAS SOUPS 5647 WITH SCORE 5657.227
AT ITER 57 NEW BEST:: SOT 20045 SOS 10169 HAS SOPS 10157 HAS SOUS 5627 HAS SOUPS 5618 WITH SCORE 5628.169
AT ITER 63 NEW BEST:: SOT 19970 SOS 10115 HAS SOPS 10103 HAS SOUS 5615 HAS SOUPS 5606 WITH SCORE 5616.115
AT ITER 64 NEW BEST:: SOT 19935 SOS 10013 HAS SOPS 10001 HAS SOUS 5614 HAS SOUPS 5605 WITH SCORE 5615.013
AT ITER 72 NEW BEST:: SOT 19859 SOS 9926 HAS SOPS 9914 HAS SOUS 5576 HAS SOUPS 5567 WITH SCORE 5576.926
AT ITER 73 NEW BEST:: SOT 19831 SOS 9924 HAS SOPS 9912 HAS SOUS 5536 HAS SOUPS 5527 WITH SCORE 5536.924
AT ITER 75 NEW BEST:: SOT 19804 SOS 9812 HAS SOPS 9800 HAS SOUS 5463 HAS SOUPS 5454 WITH SCORE 5463.812
AT ITER 82 NEW BEST:: SOT 19838 SOS 9842 HAS SOPS 9830 HAS SOUS 5458 HAS SOUPS 5449 WITH SCORE 5458.842
AT ITER 83 NEW BEST:: SOT 19796 SOS 9799 HAS SOPS 9787 HAS SOUS 5447 HAS SOUPS 5438 WITH SCORE 5447.799
AT ITER 84 NEW BEST:: SOT 19696 SOS 9686 HAS SOPS 9674 HAS SOUS 5400 HAS SOUPS 5391 WITH SCORE 5400.686
AT ITER 85 NEW BEST:: SOT 19696 SOS 9689 HAS SOPS 9677 HAS SOUS 5396 HAS SOUPS 5387 WITH SCORE 5396.689
AT ITER 89 NEW BEST:: SOT 19663 SOS 9630 HAS SOPS 9618 HAS SOUS 5376 HAS SOUPS 5367 WITH SCORE 5376.63
AT ITER 92 NEW BEST:: SOT 19638 SOS 9554 HAS SOPS 9542 HAS SOUS 5335 HAS SOUPS 5326 WITH SCORE 5335.554
AT ITER 94 NEW BEST:: SOT 19629 SOS 9545 HAS SOPS 9533 HAS SOUS 5335 HAS SOUPS 5326 WITH SCORE 5335.545
AT ITER 97 NEW BEST:: SOT 19569 SOS 9449 HAS SOPS 9437 HAS SOUS 5275 HAS SOUPS 5266 WITH SCORE 5275.449
AT ITER 100 NEW BEST:: SOT 19436 SOS 9163 HAS SOPS 9151 HAS SOUS 5159 HAS SOUPS 5150 WITH SCORE 5159.163
AT ITER 103 NEW BEST:: SOT 19342 SOS 8928 HAS SOPS 8916 HAS SOUS 5112 HAS SOUPS 5103 WITH SCORE 5111.928
AT ITER 107 NEW BEST:: SOT 19364 SOS 8977 HAS SOPS 8965 HAS SOUS 5107 HAS SOUPS 5098 WITH SCORE 5106.977
AT ITER 113 NEW BEST:: SOT 19294 SOS 8878 HAS SOPS 8866 HAS SOUS 5050 HAS SOUPS 5041 WITH SCORE 5049.878
AT ITER 118 NEW BEST:: SOT 19321 SOS 8908 HAS SOPS 8896 HAS SOUS 5037 HAS SOUPS 5028 WITH SCORE 5036.908
AT ITER 123 NEW BEST:: SOT 19330 SOS 8931 HAS SOPS 8919 HAS SOUS 5022 HAS SOUPS 5013 WITH SCORE 5021.931
AT ITER 127 NEW BEST:: SOT 19330 SOS 8901 HAS SOPS 8889 HAS SOUS 5015 HAS SOUPS 5006 WITH SCORE 5014.901
AT ITER 129 NEW BEST:: SOT 18610 SOS 8599 HAS SOPS 8587 HAS SOUS 4868 HAS SOUPS 4859 WITH SCORE 4867.599
AT ITER 133 NEW BEST:: SOT 18607 SOS 8595 HAS SOPS 8583 HAS SOUS 4865 HAS SOUPS 4856 WITH SCORE 4864.595
AT ITER 140 NEW BEST:: SOT 18562 SOS 8505 HAS SOPS 8493 HAS SOUS 4820 HAS SOUPS 4811 WITH SCORE 4819.505
AT ITER 145 NEW BEST:: SOT 18558 SOS 8427 HAS SOPS 8415 HAS SOUS 4820 HAS SOUPS 4811 WITH SCORE 4819.427
AT ITER 153 NEW BEST:: SOT 18558 SOS 8410 HAS SOPS 8398 HAS SOUS 4798 HAS SOUPS 4789 WITH SCORE 4797.41
AT ITER 166 NEW BEST:: SOT 18554 SOS 8380 HAS SOPS 8368 HAS SOUS 4781 HAS SOUPS 4772 WITH SCORE 4780.38
AT ITER 169 NEW BEST:: SOT 18527 SOS 8353 HAS SOPS 8341 HAS SOUS 4726 HAS SOUPS 4717 WITH SCORE 4725.353
AT ITER 174 NEW BEST:: SOT 18514 SOS 8329 HAS SOPS 8317 HAS SOUS 4713 HAS SOUPS 4704 WITH SCORE 4712.329
AT ITER 177 NEW BEST:: SOT 18496 SOS 8320 HAS SOPS 8308 HAS SOUS 4713 HAS SOUPS 4704 WITH SCORE 4712.32
AT ITER 178 NEW BEST:: SOT 18488 SOS 8304 HAS SOPS 8292 HAS SOUS 4705 HAS SOUPS 4696 WITH SCORE 4704.304
AT ITER 185 NEW BEST:: SOT 18465 SOS 8244 HAS SOPS 8232 HAS SOUS 4682 HAS SOUPS 4673 WITH SCORE 4681.244
AT ITER 186 NEW BEST:: SOT 18472 SOS 8083 HAS SOPS 8071 HAS SOUS 4583 HAS SOUPS 4574 WITH SCORE 4582.083
AT ITER 202 NEW BEST:: SOT 18483 SOS 8088 HAS SOPS 8076 HAS SOUS 4577 HAS SOUPS 4568 WITH SCORE 4576.088
AT ITER 203 NEW BEST:: SOT 18442 SOS 8015 HAS SOPS 8003 HAS SOUS 4522 HAS SOUPS 4513 WITH SCORE 4521.015
AT ITER 206 NEW BEST:: SOT 18442 SOS 8013 HAS SOPS 8001 HAS SOUS 4522 HAS SOUPS 4513 WITH SCORE 4521.013
AT ITER 212 NEW BEST:: SOT 18374 SOS 7881 HAS SOPS 7869 HAS SOUS 4432 HAS SOUPS 4423 WITH SCORE 4430.881
AT ITER 228 NEW BEST:: SOT 18375 SOS 7882 HAS SOPS 7870 HAS SOUS 4430 HAS SOUPS 4421 WITH SCORE 4428.882
AT ITER 250 NEW BEST:: SOT 18361 SOS 7881 HAS SOPS 7869 HAS SOUS 4427 HAS SOUPS 4418 WITH SCORE 4425.881
AT ITER 268 NEW BEST:: SOT 18343 SOS 7865 HAS SOPS 7853 HAS SOUS 4408 HAS SOUPS 4399 WITH SCORE 4406.865
AT ITER 276 NEW BEST:: SOT 17733 SOS 8069 HAS SOPS 8057 HAS SOUS 3829 HAS SOUPS 3820 WITH SCORE 3828.069
AT ITER 280 NEW BEST:: SOT 17727 SOS 8059 HAS SOPS 8047 HAS SOUS 3823 HAS SOUPS 3814 WITH SCORE 3822.059
AT ITER 293 NEW BEST:: SOT 17654 SOS 7980 HAS SOPS 7968 HAS SOUS 3819 HAS SOUPS 3810 WITH SCORE 3817.98
AT ITER 294 NEW BEST:: SOT 17640 SOS 7952 HAS SOPS 7940 HAS SOUS 3819 HAS SOUPS 3810 WITH SCORE 3817.952
AT ITER 296 NEW BEST:: SOT 17281 SOS 8973 HAS SOPS 8961 HAS SOUS 3642 HAS SOUPS 3633 WITH SCORE 3641.973
AT ITER 299 NEW BEST:: SOT 17272 SOS 8964 HAS SOPS 8952 HAS SOUS 3633 HAS SOUPS 3624 WITH SCORE 3632.964
AT ITER 301 NEW BEST:: SOT 17245 SOS 8937 HAS SOPS 8925 HAS SOUS 3606 HAS SOUPS 3597 WITH SCORE 3605.937
AT ITER 312 NEW BEST:: SOT 17245 SOS 8933 HAS SOPS 8921 HAS SOUS 3602 HAS SOUPS 3593 WITH SCORE 3601.933
AT ITER 318 NEW BEST:: SOT 17224 SOS 8831 HAS SOPS 8819 HAS SOUS 3597 HAS SOUPS 3588 WITH SCORE 3596.831
AT ITER 322 NEW BEST:: SOT 17209 SOS 8816 HAS SOPS 8804 HAS SOUS 3582 HAS SOUPS 3573 WITH SCORE 3581.816
AT ITER 345 NEW BEST:: SOT 17186 SOS 8801 HAS SOPS 8789 HAS SOUS 3561 HAS SOUPS 3552 WITH SCORE 3560.801
AT ITER 352 NEW BEST:: SOT 17122 SOS 8621 HAS SOPS 8609 HAS SOUS 3515 HAS SOUPS 3506 WITH SCORE 3514.621
AT ITER 363 NEW BEST:: SOT 17019 SOS 8452 HAS SOPS 8440 HAS SOUS 3492 HAS SOUPS 3483 WITH SCORE 3491.452
AT ITER 365 NEW BEST:: SOT 16963 SOS 9555 HAS SOPS 9543 HAS SOUS 3455 HAS SOUPS 3446 WITH SCORE 3455.555
AT ITER 388 NEW BEST:: SOT 16974 SOS 9548 HAS SOPS 9536 HAS SOUS 3446 HAS SOUPS 3437 WITH SCORE 3446.548
AT ITER 389 NEW BEST:: SOT 16926 SOS 9452 HAS SOPS 9440 HAS SOUS 3446 HAS SOUPS 3437 WITH SCORE 3446.452
AT ITER 392 NEW BEST:: SOT 16916 SOS 9442 HAS SOPS 9430 HAS SOUS 3436 HAS SOUPS 3427 WITH SCORE 3436.442
AT ITER 397 NEW BEST:: SOT 16921 SOS 9453 HAS SOPS 9441 HAS SOUS 3416 HAS SOUPS 3407 WITH SCORE 3416.453
AT ITER 407 NEW BEST:: SOT 16915 SOS 9447 HAS SOPS 9435 HAS SOUS 3416 HAS SOUPS 3407 WITH SCORE 3416.447
AT ITER 409 NEW BEST:: SOT 16871 SOS 9594 HAS SOPS 9582 HAS SOUS 3378 HAS SOUPS 3369 WITH SCORE 3378.594
AT ITER 434 NEW BEST:: SOT 16947 SOS 9838 HAS SOPS 9826 HAS SOUS 3366 HAS SOUPS 3357 WITH SCORE 3366.838
AT ITER 439 NEW BEST:: SOT 16947 SOS 9818 HAS SOPS 9806 HAS SOUS 3326 HAS SOUPS 3317 WITH SCORE 3326.818
AT ITER 442 NEW BEST:: SOT 16950 SOS 9818 HAS SOPS 9806 HAS SOUS 3323 HAS SOUPS 3314 WITH SCORE 3323.818
AT ITER 446 NEW BEST:: SOT 16939 SOS 9807 HAS SOPS 9795 HAS SOUS 3313 HAS SOUPS 3304 WITH SCORE 3313.807
AT ITER 447 NEW BEST:: SOT 16928 SOS 9796 HAS SOPS 9784 HAS SOUS 3311 HAS SOUPS 3302 WITH SCORE 3311.796
AT ITER 450 NEW BEST:: SOT 16932 SOS 9650 HAS SOPS 9638 HAS SOUS 3307 HAS SOUPS 3298 WITH SCORE 3307.65
AT ITER 460 NEW BEST:: SOT 16925 SOS 9645 HAS SOPS 9633 HAS SOUS 3296 HAS SOUPS 3287 WITH SCORE 3296.645
AT ITER 471 NEW BEST:: SOT 16929 SOS 9675 HAS SOPS 9663 HAS SOUS 3294 HAS SOUPS 3285 WITH SCORE 3294.675
AT ITER 472 NEW BEST:: SOT 16924 SOS 9671 HAS SOPS 9659 HAS SOUS 3273 HAS SOUPS 3264 WITH SCORE 3273.671
AT ITER 478 NEW BEST:: SOT 16925 SOS 9673 HAS SOPS 9661 HAS SOUS 3256 HAS SOUPS 3247 WITH SCORE 3256.673
AT ITER 503 NEW BEST:: SOT 16941 SOS 9671 HAS SOPS 9659 HAS SOUS 3221 HAS SOUPS 3212 WITH SCORE 3221.671
AT ITER 504 NEW BEST:: SOT 16941 SOS 9669 HAS SOPS 9657 HAS SOUS 3221 HAS SOUPS 3212 WITH SCORE 3221.669
AT ITER 508 NEW BEST:: SOT 16970 SOS 9700 HAS SOPS 9688 HAS SOUS 3215 HAS SOUPS 3206 WITH SCORE 3215.7
AT ITER 526 NEW BEST:: SOT 16952 SOS 9677 HAS SOPS 9665 HAS SOUS 3190 HAS SOUPS 3181 WITH SCORE 3190.677
AT ITER 528 NEW BEST:: SOT 16951 SOS 9676 HAS SOPS 9664 HAS SOUS 3190 HAS SOUPS 3181 WITH SCORE 3190.676
AT ITER 530 NEW BEST:: SOT 16955 SOS 9680 HAS SOPS 9668 HAS SOUS 3186 HAS SOUPS 3177 WITH SCORE 3186.68
AT ITER 533 NEW BEST:: SOT 16940 SOS 9672 HAS SOPS 9660 HAS SOUS 3186 HAS SOUPS 3177 WITH SCORE 3186.672
AT ITER 534 NEW BEST:: SOT 16870 SOS 9607 HAS SOPS 9595 HAS SOUS 3128 HAS SOUPS 3119 WITH SCORE 3128.607
AT ITER 536 NEW BEST:: SOT 16865 SOS 9602 HAS SOPS 9590 HAS SOUS 3123 HAS SOUPS 3114 WITH SCORE 3123.602
AT ITER 548 NEW BEST:: SOT 16865 SOS 9604 HAS SOPS 9592 HAS SOUS 3121 HAS SOUPS 3112 WITH SCORE 3121.604
AT ITER 550 NEW BEST:: SOT 16866 SOS 9581 HAS SOPS 9569 HAS SOUS 3106 HAS SOUPS 3097 WITH SCORE 3106.581
AT ITER 554 NEW BEST:: SOT 16863 SOS 9572 HAS SOPS 9560 HAS SOUS 3106 HAS SOUPS 3097 WITH SCORE 3106.572
AT ITER 563 NEW BEST:: SOT 16817 SOS 10006 HAS SOPS 9994 HAS SOUS 3073 HAS SOUPS 3064 WITH SCORE 3074.006
AT ITER 567 NEW BEST:: SOT 16817 SOS 10006 HAS SOPS 9994 HAS SOUS 3070 HAS SOUPS 3061 WITH SCORE 3071.006
AT ITER 580 NEW BEST:: SOT 16817 SOS 10006 HAS SOPS 9994 HAS SOUS 3066 HAS SOUPS 3057 WITH SCORE 3067.006
AT ITER 591 NEW BEST:: SOT 16801 SOS 9994 HAS SOPS 9982 HAS SOUS 3051 HAS SOUPS 3042 WITH SCORE 3051.994
AT ITER 598 NEW BEST:: SOT 16800 SOS 9974 HAS SOPS 9962 HAS SOUS 3041 HAS SOUPS 3032 WITH SCORE 3041.974
AT ITER 600 NEW BEST:: SOT 16796 SOS 9970 HAS SOPS 9958 HAS SOUS 3037 HAS SOUPS 3028 WITH SCORE 3037.97
AT ITER 605 NEW BEST:: SOT 16795 SOS 9968 HAS SOPS 9956 HAS SOUS 3035 HAS SOUPS 3026 WITH SCORE 3035.968
AT ITER 616 NEW BEST:: SOT 16780 SOS 9923 HAS SOPS 9911 HAS SOUS 2999 HAS SOUPS 2990 WITH SCORE 2999.923
AT ITER 623 NEW BEST:: SOT 16795 SOS 9948 HAS SOPS 9936 HAS SOUS 2995 HAS SOUPS 2986 WITH SCORE 2995.948
AT ITER 624 NEW BEST:: SOT 16795 SOS 9936 HAS SOPS 9924 HAS SOUS 2983 HAS SOUPS 2974 WITH SCORE 2983.936
AT ITER 628 NEW BEST:: SOT 16802 SOS 9943 HAS SOPS 9931 HAS SOUS 2961 HAS SOUPS 2952 WITH SCORE 2961.943
AT ITER 645 NEW BEST:: SOT 16799 SOS 9940 HAS SOPS 9928 HAS SOUS 2958 HAS SOUPS 2949 WITH SCORE 2958.94
AT ITER 652 NEW BEST:: SOT 16794 SOS 9935 HAS SOPS 9923 HAS SOUS 2954 HAS SOUPS 2945 WITH SCORE 2954.935
AT ITER 664 NEW BEST:: SOT 16806 SOS 9947 HAS SOPS 9935 HAS SOUS 2951 HAS SOUPS 2942 WITH SCORE 2951.947
AT ITER 665 NEW BEST:: SOT 16817 SOS 9944 HAS SOPS 9932 HAS SOUS 2951 HAS SOUPS 2942 WITH SCORE 2951.944
AT ITER 677 NEW BEST:: SOT 16817 SOS 9944 HAS SOPS 9932 HAS SOUS 2945 HAS SOUPS 2936 WITH SCORE 2945.944
AT ITER 681 NEW BEST:: SOT 16810 SOS 9942 HAS SOPS 9930 HAS SOUS 2935 HAS SOUPS 2926 WITH SCORE 2935.942
AT ITER 709 NEW BEST:: SOT 16711 SOS 9625 HAS SOPS 9613 HAS SOUS 2906 HAS SOUPS 2897 WITH SCORE 2906.625
AT ITER 719 NEW BEST:: SOT 16720 SOS 9661 HAS SOPS 9649 HAS SOUS 2895 HAS SOUPS 2886 WITH SCORE 2895.661
AT ITER 733 NEW BEST:: SOT 16729 SOS 9670 HAS SOPS 9658 HAS SOUS 2885 HAS SOUPS 2876 WITH SCORE 2885.67
AT ITER 740 NEW BEST:: SOT 16715 SOS 8894 HAS SOPS 8882 HAS SOUS 2876 HAS SOUPS 2867 WITH SCORE 2875.894
AT ITER 746 NEW BEST:: SOT 16694 SOS 8844 HAS SOPS 8832 HAS SOUS 2857 HAS SOUPS 2848 WITH SCORE 2856.844
AT ITER 755 NEW BEST:: SOT 16654 SOS 8764 HAS SOPS 8752 HAS SOUS 2817 HAS SOUPS 2808 WITH SCORE 2816.764
AT ITER 790 NEW BEST:: SOT 16652 SOS 8764 HAS SOPS 8752 HAS SOUS 2814 HAS SOUPS 2805 WITH SCORE 2813.764
AT ITER 791 NEW BEST:: SOT 16684 SOS 8796 HAS SOPS 8784 HAS SOUS 2798 HAS SOUPS 2789 WITH SCORE 2797.796
AT ITER 792 NEW BEST:: SOT 16682 SOS 8794 HAS SOPS 8782 HAS SOUS 2794 HAS SOUPS 2785 WITH SCORE 2793.794
AT ITER 794 NEW BEST:: SOT 16676 SOS 8784 HAS SOPS 8772 HAS SOUS 2792 HAS SOUPS 2783 WITH SCORE 2791.784
AT ITER 797 NEW BEST:: SOT 16644 SOS 8752 HAS SOPS 8740 HAS SOUS 2757 HAS SOUPS 2748 WITH SCORE 2756.752
AT ITER 802 NEW BEST:: SOT 16629 SOS 8737 HAS SOPS 8725 HAS SOUS 2742 HAS SOUPS 2733 WITH SCORE 2741.737
AT ITER 804 NEW BEST:: SOT 16581 SOS 8689 HAS SOPS 8677 HAS SOUS 2726 HAS SOUPS 2717 WITH SCORE 2725.689
AT ITER 811 NEW BEST:: SOT 16579 SOS 8687 HAS SOPS 8675 HAS SOUS 2724 HAS SOUPS 2715 WITH SCORE 2723.687
AT ITER 814 NEW BEST:: SOT 16579 SOS 8687 HAS SOPS 8675 HAS SOUS 2723 HAS SOUPS 2714 WITH SCORE 2722.687
AT ITER 868 NEW BEST:: SOT 16511 SOS 8619 HAS SOPS 8607 HAS SOUS 2704 HAS SOUPS 2695 WITH SCORE 2703.619
AT ITER 898 NEW BEST:: SOT 16507 SOS 8603 HAS SOPS 8591 HAS SOUS 2700 HAS SOUPS 2691 WITH SCORE 2699.603
AT ITER 902 NEW BEST:: SOT 16503 SOS 8595 HAS SOPS 8583 HAS SOUS 2698 HAS SOUPS 2689 WITH SCORE 2697.595
AT ITER 903 NEW BEST:: SOT 16487 SOS 8544 HAS SOPS 8532 HAS SOUS 2669 HAS SOUPS 2660 WITH SCORE 2668.544
AT ITER 908 NEW BEST:: SOT 16487 SOS 8544 HAS SOPS 8532 HAS SOUS 2667 HAS SOUPS 2658 WITH SCORE 2666.544
AT ITER 915 NEW BEST:: SOT 16487 SOS 8547 HAS SOPS 8535 HAS SOUS 2656 HAS SOUPS 2647 WITH SCORE 2655.547
AT ITER 921 NEW BEST:: SOT 16438 SOS 8387 HAS SOPS 8375 HAS SOUS 2625 HAS SOUPS 2616 WITH SCORE 2624.387
AT ITER 923 NEW BEST:: SOT 16434 SOS 8383 HAS SOPS 8371 HAS SOUS 2616 HAS SOUPS 2607 WITH SCORE 2615.383
AT ITER 927 NEW BEST:: SOT 16466 SOS 8447 HAS SOPS 8435 HAS SOUS 2612 HAS SOUPS 2603 WITH SCORE 2611.447
AT ITER 957 NEW BEST:: SOT 16453 SOS 8422 HAS SOPS 8410 HAS SOUS 2604 HAS SOUPS 2595 WITH SCORE 2603.422
AT ITER 977 NEW BEST:: SOT 16447 SOS 8416 HAS SOPS 8404 HAS SOUS 2604 HAS SOUPS 2595 WITH SCORE 2603.416
AT ITER 982 NEW BEST:: SOT 16447 SOS 8409 HAS SOPS 8397 HAS SOUS 2597 HAS SOUPS 2588 WITH SCORE 2596.409
AT ITER 984 NEW BEST:: SOT 16446 SOS 8408 HAS SOPS 8396 HAS SOUS 2595 HAS SOUPS 2586 WITH SCORE 2594.408
AT ITER 1003 NEW BEST:: SOT 16437 SOS 8399 HAS SOPS 8387 HAS SOUS 2586 HAS SOUPS 2577 WITH SCORE 2585.399
AT ITER 1010 NEW BEST:: SOT 16435 SOS 8411 HAS SOPS 8399 HAS SOUS 2575 HAS SOUPS 2566 WITH SCORE 2574.411
AT ITER 1026 NEW BEST:: SOT 16434 SOS 8410 HAS SOPS 8398 HAS SOUS 2573 HAS SOUPS 2564 WITH SCORE 2572.41
AT ITER 1052 NEW BEST:: SOT 16441 SOS 8438 HAS SOPS 8426 HAS SOUS 2572 HAS SOUPS 2563 WITH SCORE 2571.438
AT ITER 1059 NEW BEST:: SOT 16441 SOS 8432 HAS SOPS 8420 HAS SOUS 2572 HAS SOUPS 2563 WITH SCORE 2571.432
AT ITER 1110 NEW BEST:: SOT 16437 SOS 8424 HAS SOPS 8412 HAS SOUS 2564 HAS SOUPS 2555 WITH SCORE 2563.424
AT ITER 1142 NEW BEST:: SOT 16457 SOS 8938 HAS SOPS 8926 HAS SOUS 2563 HAS SOUPS 2554 WITH SCORE 2562.938
AT ITER 1150 NEW BEST:: SOT 16458 SOS 8935 HAS SOPS 8923 HAS SOUS 2555 HAS SOUPS 2546 WITH SCORE 2554.935
AT ITER 1161 NEW BEST:: SOT 16456 SOS 8933 HAS SOPS 8921 HAS SOUS 2555 HAS SOUPS 2546 WITH SCORE 2554.933
AT ITER 1168 NEW BEST:: SOT 16468 SOS 8889 HAS SOPS 8877 HAS SOUS 2552 HAS SOUPS 2543 WITH SCORE 2551.889
AT ITER 1179 NEW BEST:: SOT 16455 SOS 8825 HAS SOPS 8813 HAS SOUS 2552 HAS SOUPS 2543 WITH SCORE 2551.825
AT ITER 1184 NEW BEST:: SOT 16461 SOS 8821 HAS SOPS 8809 HAS SOUS 2532 HAS SOUPS 2523 WITH SCORE 2531.821
AT ITER 1200 NEW BEST:: SOT 16435 SOS 8785 HAS SOPS 8773 HAS SOUS 2508 HAS SOUPS 2499 WITH SCORE 2507.785
AT ITER 1217 NEW BEST:: SOT 16412 SOS 8762 HAS SOPS 8750 HAS SOUS 2483 HAS SOUPS 2474 WITH SCORE 2482.762
AT ITER 1265 NEW BEST:: SOT 16412 SOS 8766 HAS SOPS 8754 HAS SOUS 2478 HAS SOUPS 2469 WITH SCORE 2477.766
AT ITER 1279 NEW BEST:: SOT 16393 SOS 8730 HAS SOPS 8718 HAS SOUS 2458 HAS SOUPS 2449 WITH SCORE 2457.73
AT ITER 1304 NEW BEST:: SOT 16402 SOS 8745 HAS SOPS 8733 HAS SOUS 2455 HAS SOUPS 2446 WITH SCORE 2454.745
AT ITER 1351 NEW BEST:: SOT 16399 SOS 8742 HAS SOPS 8730 HAS SOUS 2452 HAS SOUPS 2443 WITH SCORE 2451.742
AT ITER 1400 NEW BEST:: SOT 16405 SOS 8748 HAS SOPS 8736 HAS SOUS 2446 HAS SOUPS 2437 WITH SCORE 2445.748
AT ITER 1405 NEW BEST:: SOT 16404 SOS 8743 HAS SOPS 8731 HAS SOUS 2444 HAS SOUPS 2435 WITH SCORE 2443.743
AT ITER 1426 NEW BEST:: SOT 16418 SOS 8781 HAS SOPS 8769 HAS SOUS 2432 HAS SOUPS 2423 WITH SCORE 2431.781
AT ITER 1434 NEW BEST:: SOT 16418 SOS 8777 HAS SOPS 8765 HAS SOUS 2432 HAS SOUPS 2423 WITH SCORE 2431.777
AT ITER 1471 NEW BEST:: SOT 16415 SOS 8764 HAS SOPS 8752 HAS SOUS 2418 HAS SOUPS 2409 WITH SCORE 2417.764
AT ITER 1472 NEW BEST:: SOT 16415 SOS 8764 HAS SOPS 8752 HAS SOUS 2413 HAS SOUPS 2404 WITH SCORE 2412.764
AT ITER 1481 NEW BEST:: SOT 16405 SOS 8752 HAS SOPS 8740 HAS SOUS 2397 HAS SOUPS 2388 WITH SCORE 2396.752
AT ITER 1489 NEW BEST:: SOT 16399 SOS 8734 HAS SOPS 8722 HAS SOUS 2394 HAS SOUPS 2385 WITH SCORE 2393.734
AT ITER 1501 NEW BEST:: SOT 16401 SOS 8738 HAS SOPS 8726 HAS SOUS 2392 HAS SOUPS 2383 WITH SCORE 2391.738
AT ITER 1506 NEW BEST:: SOT 16400 SOS 8736 HAS SOPS 8724 HAS SOUS 2392 HAS SOUPS 2383 WITH SCORE 2391.736
AT ITER 1559 NEW BEST:: SOT 16395 SOS 8717 HAS SOPS 8705 HAS SOUS 2371 HAS SOUPS 2362 WITH SCORE 2370.717
AT ITER 1620 NEW BEST:: SOT 16395 SOS 8713 HAS SOPS 8701 HAS SOUS 2369 HAS SOUPS 2360 WITH SCORE 2368.713
AT ITER 1630 NEW BEST:: SOT 16385 SOS 8697 HAS SOPS 8685 HAS SOUS 2365 HAS SOUPS 2356 WITH SCORE 2364.697
AT ITER 1631 NEW BEST:: SOT 16385 SOS 8697 HAS SOPS 8685 HAS SOUS 2364 HAS SOUPS 2355 WITH SCORE 2363.697
AT ITER 1636 NEW BEST:: SOT 16383 SOS 8695 HAS SOPS 8683 HAS SOUS 2362 HAS SOUPS 2353 WITH SCORE 2361.695
AT ITER 1656 NEW BEST:: SOT 16374 SOS 8686 HAS SOPS 8674 HAS SOUS 2353 HAS SOUPS 2344 WITH SCORE 2352.686
AT ITER 1661 NEW BEST:: SOT 16373 SOS 8685 HAS SOPS 8673 HAS SOUS 2347 HAS SOUPS 2338 WITH SCORE 2346.685
AT ITER 1665 NEW BEST:: SOT 16371 SOS 8668 HAS SOPS 8656 HAS SOUS 2346 HAS SOUPS 2337 WITH SCORE 2345.668
AT ITER 1684 NEW BEST:: SOT 16359 SOS 8644 HAS SOPS 8632 HAS SOUS 2332 HAS SOUPS 2323 WITH SCORE 2331.644
AT ITER 1702 NEW BEST:: SOT 16350 SOS 8635 HAS SOPS 8623 HAS SOUS 2314 HAS SOUPS 2305 WITH SCORE 2313.635
AT ITER 1706 NEW BEST:: SOT 16348 SOS 8633 HAS SOPS 8621 HAS SOUS 2308 HAS SOUPS 2299 WITH SCORE 2307.633
AT ITER 1726 NEW BEST:: SOT 16344 SOS 8624 HAS SOPS 8612 HAS SOUS 2304 HAS SOUPS 2295 WITH SCORE 2303.624
AT ITER 1747 NEW BEST:: SOT 16342 SOS 8616 HAS SOPS 8604 HAS SOUS 2304 HAS SOUPS 2295 WITH SCORE 2303.616
AT ITER 1750 NEW BEST:: SOT 16342 SOS 8616 HAS SOPS 8604 HAS SOUS 2293 HAS SOUPS 2284 WITH SCORE 2292.616
AT ITER 1836 NEW BEST:: SOT 16339 SOS 8613 HAS SOPS 8601 HAS SOUS 2290 HAS SOUPS 2281 WITH SCORE 2289.613
AT ITER 1861 NEW BEST:: SOT 16347 SOS 8607 HAS SOPS 8595 HAS SOUS 2290 HAS SOUPS 2281 WITH SCORE 2289.607
AT ITER 1914 NEW BEST:: SOT 16342 SOS 8602 HAS SOPS 8590 HAS SOUS 2289 HAS SOUPS 2280 WITH SCORE 2288.602
AT ITER 1924 NEW BEST:: SOT 16361 SOS 8640 HAS SOPS 8628 HAS SOUS 2278 HAS SOUPS 2269 WITH SCORE 2277.64
AT ITER 1951 NEW BEST:: SOT 16357 SOS 8625 HAS SOPS 8613 HAS SOUS 2274 HAS SOUPS 2265 WITH SCORE 2273.625
AT ITER 2043 NEW BEST:: SOT 16340 SOS 8591 HAS SOPS 8579 HAS SOUS 2257 HAS SOUPS 2248 WITH SCORE 2256.591
AT ITER 2045 NEW BEST:: SOT 16335 SOS 8581 HAS SOPS 8569 HAS SOUS 2254 HAS SOUPS 2245 WITH SCORE 2253.581
AT ITER 2071 NEW BEST:: SOT 16335 SOS 8581 HAS SOPS 8569 HAS SOUS 2248 HAS SOUPS 2239 WITH SCORE 2247.581
AT ITER 2123 NEW BEST:: SOT 16334 SOS 8580 HAS SOPS 8568 HAS SOUS 2248 HAS SOUPS 2239 WITH SCORE 2247.58
AT ITER 2134 NEW BEST:: SOT 16322 SOS 8568 HAS SOPS 8556 HAS SOUS 2244 HAS SOUPS 2235 WITH SCORE 2243.568
AT ITER 2159 NEW BEST:: SOT 16310 SOS 8556 HAS SOPS 8544 HAS SOUS 2232 HAS SOUPS 2223 WITH SCORE 2231.556
AT ITER 2160 NEW BEST:: SOT 16308 SOS 8547 HAS SOPS 8535 HAS SOUS 2232 HAS SOUPS 2223 WITH SCORE 2231.547
AT ITER 2162 NEW BEST:: SOT 16309 SOS 8548 HAS SOPS 8536 HAS SOUS 2231 HAS SOUPS 2222 WITH SCORE 2230.548
AT ITER 2250 NEW BEST:: SOT 16299 SOS 8528 HAS SOPS 8516 HAS SOUS 2231 HAS SOUPS 2222 WITH SCORE 2230.528
AT ITER 2281 NEW BEST:: SOT 16297 SOS 8522 HAS SOPS 8510 HAS SOUS 2229 HAS SOUPS 2220 WITH SCORE 2228.522
AT ITER 2293 NEW BEST:: SOT 16294 SOS 8515 HAS SOPS 8503 HAS SOUS 2227 HAS SOUPS 2218 WITH SCORE 2226.515
AT ITER 2316 NEW BEST:: SOT 16278 SOS 8491 HAS SOPS 8479 HAS SOUS 2206 HAS SOUPS 2197 WITH SCORE 2205.491
AT ITER 2320 NEW BEST:: SOT 16276 SOS 8487 HAS SOPS 8475 HAS SOUS 2206 HAS SOUPS 2197 WITH SCORE 2205.487
AT ITER 2331 NEW BEST:: SOT 16276 SOS 8485 HAS SOPS 8473 HAS SOUS 2202 HAS SOUPS 2193 WITH SCORE 2201.485
AT ITER 2347 NEW BEST:: SOT 16275 SOS 8484 HAS SOPS 8472 HAS SOUS 2201 HAS SOUPS 2192 WITH SCORE 2200.484
AT ITER 2404 NEW BEST:: SOT 16273 SOS 8482 HAS SOPS 8470 HAS SOUS 2197 HAS SOUPS 2188 WITH SCORE 2196.482
AT ITER 2417 NEW BEST:: SOT 16267 SOS 8476 HAS SOPS 8464 HAS SOUS 2188 HAS SOUPS 2179 WITH SCORE 2187.476
AT ITER 2427 NEW BEST:: SOT 16265 SOS 8474 HAS SOPS 8462 HAS SOUS 2183 HAS SOUPS 2174 WITH SCORE 2182.474
AT ITER 2437 NEW BEST:: SOT 16262 SOS 8471 HAS SOPS 8459 HAS SOUS 2180 HAS SOUPS 2171 WITH SCORE 2179.471
AT ITER 2451 NEW BEST:: SOT 16247 SOS 8441 HAS SOPS 8429 HAS SOUS 2170 HAS SOUPS 2161 WITH SCORE 2169.441
AT ITER 2456 NEW BEST:: SOT 16245 SOS 8439 HAS SOPS 8427 HAS SOUS 2168 HAS SOUPS 2159 WITH SCORE 2167.439
AT ITER 2511 NEW BEST:: SOT 16230 SOS 8424 HAS SOPS 8412 HAS SOUS 2138 HAS SOUPS 2129 WITH SCORE 2137.424
AT ITER 2534 NEW BEST:: SOT 16241 SOS 8435 HAS SOPS 8423 HAS SOUS 2132 HAS SOUPS 2123 WITH SCORE 2131.435
AT ITER 2559 NEW BEST:: SOT 16234 SOS 8428 HAS SOPS 8416 HAS SOUS 2118 HAS SOUPS 2109 WITH SCORE 2117.428
AT ITER 2577 NEW BEST:: SOT 16235 SOS 8429 HAS SOPS 8417 HAS SOUS 2115 HAS SOUPS 2106 WITH SCORE 2114.429
AT ITER 2595 NEW BEST:: SOT 16235 SOS 8432 HAS SOPS 8420 HAS SOUS 2104 HAS SOUPS 2095 WITH SCORE 2103.432
AT ITER 2626 NEW BEST:: SOT 16235 SOS 8428 HAS SOPS 8416 HAS SOUS 2104 HAS SOUPS 2095 WITH SCORE 2103.428
AT ITER 2627 NEW BEST:: SOT 16227 SOS 8420 HAS SOPS 8408 HAS SOUS 2098 HAS SOUPS 2089 WITH SCORE 2097.42
AT ITER 2663 NEW BEST:: SOT 16229 SOS 8406 HAS SOPS 8394 HAS SOUS 2093 HAS SOUPS 2084 WITH SCORE 2092.406
AT ITER 2670 NEW BEST:: SOT 16226 SOS 8296 HAS SOPS 8284 HAS SOUS 2086 HAS SOUPS 2077 WITH SCORE 2085.296
AT ITER 2692 NEW BEST:: SOT 16224 SOS 8294 HAS SOPS 8282 HAS SOUS 2084 HAS SOUPS 2075 WITH SCORE 2083.294
AT ITER 2744 NEW BEST:: SOT 16197 SOS 8230 HAS SOPS 8218 HAS SOUS 2082 HAS SOUPS 2073 WITH SCORE 2081.23
AT ITER 2750 NEW BEST:: SOT 16193 SOS 8224 HAS SOPS 8212 HAS SOUS 2082 HAS SOUPS 2073 WITH SCORE 2081.224
AT ITER 2755 NEW BEST:: SOT 16187 SOS 8208 HAS SOPS 8196 HAS SOUS 2068 HAS SOUPS 2059 WITH SCORE 2067.208
AT ITER 2780 NEW BEST:: SOT 16180 SOS 8201 HAS SOPS 8189 HAS SOUS 2055 HAS SOUPS 2046 WITH SCORE 2054.201
AT ITER 2794 NEW BEST:: SOT 16180 SOS 8201 HAS SOPS 8189 HAS SOUS 2053 HAS SOUPS 2044 WITH SCORE 2052.201
AT ITER 2845 NEW BEST:: SOT 16164 SOS 8168 HAS SOPS 8156 HAS SOUS 2037 HAS SOUPS 2028 WITH SCORE 2036.168
AT ITER 2874 NEW BEST:: SOT 16160 SOS 8158 HAS SOPS 8146 HAS SOUS 2031 HAS SOUPS 2022 WITH SCORE 2030.158
AT ITER 2881 NEW BEST:: SOT 16160 SOS 8136 HAS SOPS 8124 HAS SOUS 2031 HAS SOUPS 2022 WITH SCORE 2030.136
AT ITER 2907 NEW BEST:: SOT 16150 SOS 8126 HAS SOPS 8114 HAS SOUS 2021 HAS SOUPS 2012 WITH SCORE 2020.126
AT ITER 2908 NEW BEST:: SOT 16148 SOS 8124 HAS SOPS 8112 HAS SOUS 2018 HAS SOUPS 2009 WITH SCORE 2017.124
AT ITER 2947 NEW BEST:: SOT 16148 SOS 8125 HAS SOPS 8113 HAS SOUS 2017 HAS SOUPS 2008 WITH SCORE 2016.125
AT ITER 2985 NEW BEST:: SOT 16143 SOS 8110 HAS SOPS 8098 HAS SOUS 2009 HAS SOUPS 2000 WITH SCORE 2008.11
AT ITER 2989 NEW BEST:: SOT 16143 SOS 8108 HAS SOPS 8096 HAS SOUS 2008 HAS SOUPS 1999 WITH SCORE 2007.108
AT ITER 2997 NEW BEST:: SOT 16136 SOS 8101 HAS SOPS 8089 HAS SOUS 2002 HAS SOUPS 1993 WITH SCORE 2001.101
AT ITER 3068 NEW BEST:: SOT 16136 SOS 8101 HAS SOPS 8089 HAS SOUS 2001 HAS SOUPS 1992 WITH SCORE 2000.101
AT ITER 3101 NEW BEST:: SOT 16136 SOS 8101 HAS SOPS 8089 HAS SOUS 1985 HAS SOUPS 1976 WITH SCORE 1984.101
AT ITER 3123 NEW BEST:: SOT 16135 SOS 8100 HAS SOPS 8088 HAS SOUS 1983 HAS SOUPS 1974 WITH SCORE 1982.1
AT ITER 3148 NEW BEST:: SOT 16135 SOS 8100 HAS SOPS 8088 HAS SOUS 1981 HAS SOUPS 1972 WITH SCORE 1980.1
AT ITER 3175 NEW BEST:: SOT 16141 SOS 8106 HAS SOPS 8094 HAS SOUS 1979 HAS SOUPS 1970 WITH SCORE 1978.106
AT ITER 3234 NEW BEST:: SOT 16139 SOS 8101 HAS SOPS 8089 HAS SOUS 1975 HAS SOUPS 1966 WITH SCORE 1974.101
AT ITER 3261 NEW BEST:: SOT 16139 SOS 8101 HAS SOPS 8089 HAS SOUS 1973 HAS SOUPS 1964 WITH SCORE 1972.101
AT ITER 3264 NEW BEST:: SOT 16144 SOS 8106 HAS SOPS 8094 HAS SOUS 1968 HAS SOUPS 1959 WITH SCORE 1967.106
AT ITER 3268 NEW BEST:: SOT 16141 SOS 8100 HAS SOPS 8088 HAS SOUS 1962 HAS SOUPS 1953 WITH SCORE 1961.1
AT ITER 3297 NEW BEST:: SOT 16139 SOS 8098 HAS SOPS 8086 HAS SOUS 1962 HAS SOUPS 1953 WITH SCORE 1961.098
AT ITER 3304 NEW BEST:: SOT 16127 SOS 7834 HAS SOPS 7822 HAS SOUS 1962 HAS SOUPS 1953 WITH SCORE 1960.834
AT ITER 3384 NEW BEST:: SOT 16125 SOS 7830 HAS SOPS 7818 HAS SOUS 1960 HAS SOUPS 1951 WITH SCORE 1958.83
AT ITER 3471 NEW BEST:: SOT 16113 SOS 7818 HAS SOPS 7806 HAS SOUS 1956 HAS SOUPS 1947 WITH SCORE 1954.818
AT ITER 3562 NEW BEST:: SOT 16113 SOS 7818 HAS SOPS 7806 HAS SOUS 1955 HAS SOUPS 1946 WITH SCORE 1953.818
AT ITER 3572 NEW BEST:: SOT 16105 SOS 7786 HAS SOPS 7774 HAS SOUS 1937 HAS SOUPS 1928 WITH SCORE 1935.786
AT ITER 3586 NEW BEST:: SOT 16101 SOS 7782 HAS SOPS 7770 HAS SOUS 1937 HAS SOUPS 1928 WITH SCORE 1935.782
AT ITER 3603 NEW BEST:: SOT 16107 SOS 7805 HAS SOPS 7793 HAS SOUS 1935 HAS SOUPS 1926 WITH SCORE 1933.805
AT ITER 3625 NEW BEST:: SOT 16103 SOS 7911 HAS SOPS 7899 HAS SOUS 1927 HAS SOUPS 1918 WITH SCORE 1925.911
AT ITER 3687 NEW BEST:: SOT 16100 SOS 7908 HAS SOPS 7896 HAS SOUS 1922 HAS SOUPS 1913 WITH SCORE 1920.908
AT ITER 3734 NEW BEST:: SOT 16096 SOS 7904 HAS SOPS 7892 HAS SOUS 1919 HAS SOUPS 1910 WITH SCORE 1917.904
AT ITER 3799 NEW BEST:: SOT 16096 SOS 7902 HAS SOPS 7890 HAS SOUS 1919 HAS SOUPS 1910 WITH SCORE 1917.902
AT ITER 3805 NEW BEST:: SOT 16096 SOS 7906 HAS SOPS 7894 HAS SOUS 1917 HAS SOUPS 1908 WITH SCORE 1915.906
AT ITER 3814 NEW BEST:: SOT 16088 SOS 7898 HAS SOPS 7886 HAS SOUS 1916 HAS SOUPS 1907 WITH SCORE 1914.898
AT ITER 3816 NEW BEST:: SOT 16076 SOS 7886 HAS SOPS 7874 HAS SOUS 1900 HAS SOUPS 1891 WITH SCORE 1898.886
AT ITER 3818 NEW BEST:: SOT 16073 SOS 7883 HAS SOPS 7871 HAS SOUS 1897 HAS SOUPS 1888 WITH SCORE 1895.883
AT ITER 3826 NEW BEST:: SOT 16083 SOS 7915 HAS SOPS 7903 HAS SOUS 1891 HAS SOUPS 1882 WITH SCORE 1889.915
AT ITER 3922 NEW BEST:: SOT 16082 SOS 7914 HAS SOPS 7902 HAS SOUS 1886 HAS SOUPS 1877 WITH SCORE 1884.914
AT ITER 3976 NEW BEST:: SOT 16080 SOS 7912 HAS SOPS 7900 HAS SOUS 1884 HAS SOUPS 1875 WITH SCORE 1882.912
AT ITER 4014 NEW BEST:: SOT 16081 SOS 7911 HAS SOPS 7899 HAS SOUS 1884 HAS SOUPS 1875 WITH SCORE 1882.911
AT ITER 4048 NEW BEST:: SOT 16078 SOS 7902 HAS SOPS 7890 HAS SOUS 1876 HAS SOUPS 1867 WITH SCORE 1874.902
AT ITER 4099 NEW BEST:: SOT 16076 SOS 7901 HAS SOPS 7889 HAS SOUS 1876 HAS SOUPS 1867 WITH SCORE 1874.901
AT ITER 4109 NEW BEST:: SOT 16075 SOS 7936 HAS SOPS 7924 HAS SOUS 1875 HAS SOUPS 1866 WITH SCORE 1873.936
AT ITER 4222 NEW BEST:: SOT 16074 SOS 7935 HAS SOPS 7923 HAS SOUS 1874 HAS SOUPS 1865 WITH SCORE 1872.935
AT ITER 4244 NEW BEST:: SOT 16075 SOS 7936 HAS SOPS 7924 HAS SOUS 1866 HAS SOUPS 1857 WITH SCORE 1864.936
AT ITER 4313 NEW BEST:: SOT 16074 SOS 7935 HAS SOPS 7923 HAS SOUS 1865 HAS SOUPS 1856 WITH SCORE 1863.935
AT ITER 4318 NEW BEST:: SOT 16074 SOS 7935 HAS SOPS 7923 HAS SOUS 1864 HAS SOUPS 1855 WITH SCORE 1862.935
AT ITER 4336 NEW BEST:: SOT 16074 SOS 7935 HAS SOPS 7923 HAS SOUS 1863 HAS SOUPS 1854 WITH SCORE 1861.935
AT ITER 4420 NEW BEST:: SOT 16072 SOS 7931 HAS SOPS 7919 HAS SOUS 1861 HAS SOUPS 1852 WITH SCORE 1859.931
AT ITER 4432 NEW BEST:: SOT 16072 SOS 7931 HAS SOPS 7919 HAS SOUS 1859 HAS SOUPS 1850 WITH SCORE 1857.931
AT ITER 4472 NEW BEST:: SOT 16070 SOS 7929 HAS SOPS 7917 HAS SOUS 1856 HAS SOUPS 1847 WITH SCORE 1854.929
AT ITER 4501 NEW BEST:: SOT 16071 SOS 7930 HAS SOPS 7918 HAS SOUS 1848 HAS SOUPS 1839 WITH SCORE 1846.93
AT ITER 4520 NEW BEST:: SOT 16067 SOS 7919 HAS SOPS 7907 HAS SOUS 1848 HAS SOUPS 1839 WITH SCORE 1846.919
AT ITER 4646 NEW BEST:: SOT 16065 SOS 7910 HAS SOPS 7898 HAS SOUS 1848 HAS SOUPS 1839 WITH SCORE 1846.91
AT ITER 4648 NEW BEST:: SOT 16075 SOS 7911 HAS SOPS 7899 HAS SOUS 1845 HAS SOUPS 1836 WITH SCORE 1843.911
AT ITER 4743 NEW BEST:: SOT 16067 SOS 7903 HAS SOPS 7891 HAS SOUS 1843 HAS SOUPS 1834 WITH SCORE 1841.903
AT ITER 4785 NEW BEST:: SOT 16065 SOS 7901 HAS SOPS 7889 HAS SOUS 1843 HAS SOUPS 1834 WITH SCORE 1841.901
AT ITER 4791 NEW BEST:: SOT 16077 SOS 7926 HAS SOPS 7914 HAS SOUS 1842 HAS SOUPS 1833 WITH SCORE 1840.926
AT ITER 4804 NEW BEST:: SOT 16067 SOS 7806 HAS SOPS 7794 HAS SOUS 1842 HAS SOUPS 1833 WITH SCORE 1840.806
AT ITER 4831 NEW BEST:: SOT 16068 SOS 7815 HAS SOPS 7803 HAS SOUS 1840 HAS SOUPS 1831 WITH SCORE 1838.815
AT ITER 4895 NEW BEST:: SOT 16066 SOS 7813 HAS SOPS 7801 HAS SOUS 1838 HAS SOUPS 1829 WITH SCORE 1836.813
AT ITER 4906 NEW BEST:: SOT 16066 SOS 7813 HAS SOPS 7801 HAS SOUS 1835 HAS SOUPS 1826 WITH SCORE 1833.813
AT ITER 5036 NEW BEST:: SOT 16065 SOS 7812 HAS SOPS 7800 HAS SOUS 1831 HAS SOUPS 1822 WITH SCORE 1829.812
AT ITER 5209 NEW BEST:: SOT 16065 SOS 7812 HAS SOPS 7800 HAS SOUS 1830 HAS SOUPS 1821 WITH SCORE 1828.812
AT ITER 5363 NEW BEST:: SOT 16065 SOS 7811 HAS SOPS 7799 HAS SOUS 1827 HAS SOUPS 1818 WITH SCORE 1825.811
AT ITER 5423 NEW BEST:: SOT 16068 SOS 7814 HAS SOPS 7802 HAS SOUS 1822 HAS SOUPS 1813 WITH SCORE 1820.814
AT ITER 5431 NEW BEST:: SOT 16074 SOS 7816 HAS SOPS 7804 HAS SOUS 1818 HAS SOUPS 1809 WITH SCORE 1816.816
AT ITER 5438 NEW BEST:: SOT 16072 SOS 7972 HAS SOPS 7960 HAS SOUS 1816 HAS SOUPS 1807 WITH SCORE 1814.972
AT ITER 5440 NEW BEST:: SOT 16071 SOS 7966 HAS SOPS 7954 HAS SOUS 1815 HAS SOUPS 1806 WITH SCORE 1813.966
AT ITER 5483 NEW BEST:: SOT 16065 SOS 7960 HAS SOPS 7948 HAS SOUS 1807 HAS SOUPS 1798 WITH SCORE 1805.96
AT ITER 5489 NEW BEST:: SOT 16059 SOS 7948 HAS SOPS 7936 HAS SOUS 1798 HAS SOUPS 1789 WITH SCORE 1796.948
AT ITER 5508 NEW BEST:: SOT 16056 SOS 7918 HAS SOPS 7906 HAS SOUS 1782 HAS SOUPS 1773 WITH SCORE 1780.918
AT ITER 5523 NEW BEST:: SOT 16050 SOS 7909 HAS SOPS 7897 HAS SOUS 1779 HAS SOUPS 1770 WITH SCORE 1777.909
AT ITER 5562 NEW BEST:: SOT 16049 SOS 7908 HAS SOPS 7896 HAS SOUS 1778 HAS SOUPS 1769 WITH SCORE 1776.908
AT ITER 5709 NEW BEST:: SOT 16048 SOS 7907 HAS SOPS 7895 HAS SOUS 1777 HAS SOUPS 1768 WITH SCORE 1775.907
AT ITER 5727 NEW BEST:: SOT 16012 SOS 7871 HAS SOPS 7859 HAS SOUS 1775 HAS SOUPS 1766 WITH SCORE 1773.871
AT ITER 5769 NEW BEST:: SOT 16011 SOS 7870 HAS SOPS 7858 HAS SOUS 1773 HAS SOUPS 1764 WITH SCORE 1771.87
AT ITER 5805 NEW BEST:: SOT 16003 SOS 7849 HAS SOPS 7837 HAS SOUS 1769 HAS SOUPS 1760 WITH SCORE 1767.849
AT ITER 5813 NEW BEST:: SOT 16004 SOS 7787 HAS SOPS 7775 HAS SOUS 1768 HAS SOUPS 1759 WITH SCORE 1766.787
AT ITER 5832 NEW BEST:: SOT 16004 SOS 7787 HAS SOPS 7775 HAS SOUS 1767 HAS SOUPS 1758 WITH SCORE 1765.787
AT ITER 5861 NEW BEST:: SOT 16004 SOS 7787 HAS SOPS 7775 HAS SOUS 1764 HAS SOUPS 1755 WITH SCORE 1762.787
AT ITER 5972 NEW BEST:: SOT 16003 SOS 7786 HAS SOPS 7774 HAS SOUS 1762 HAS SOUPS 1753 WITH SCORE 1760.786
AT ITER 6027 NEW BEST:: SOT 16021 SOS 7831 HAS SOPS 7819 HAS SOUS 1757 HAS SOUPS 1748 WITH SCORE 1755.831
AT ITER 6109 NEW BEST:: SOT 16020 SOS 7830 HAS SOPS 7818 HAS SOUS 1756 HAS SOUPS 1747 WITH SCORE 1754.83
AT ITER 6205 NEW BEST:: SOT 16019 SOS 7828 HAS SOPS 7816 HAS SOUS 1754 HAS SOUPS 1745 WITH SCORE 1752.828
AT ITER 6216 NEW BEST:: SOT 16029 SOS 7789 HAS SOPS 7777 HAS SOUS 1750 HAS SOUPS 1741 WITH SCORE 1748.789
AT ITER 6219 NEW BEST:: SOT 16027 SOS 7779 HAS SOPS 7767 HAS SOUS 1743 HAS SOUPS 1734 WITH SCORE 1741.779
AT ITER 6257 NEW BEST:: SOT 16027 SOS 7779 HAS SOPS 7767 HAS SOUS 1742 HAS SOUPS 1733 WITH SCORE 1740.779
AT ITER 6373 NEW BEST:: SOT 16027 SOS 7777 HAS SOPS 7765 HAS SOUS 1739 HAS SOUPS 1730 WITH SCORE 1737.777
AT ITER 6530 NEW BEST:: SOT 16027 SOS 7777 HAS SOPS 7765 HAS SOUS 1734 HAS SOUPS 1725 WITH SCORE 1732.777
AT ITER 6549 NEW BEST:: SOT 16027 SOS 7777 HAS SOPS 7765 HAS SOUS 1733 HAS SOUPS 1724 WITH SCORE 1731.777
AT ITER 6569 NEW BEST:: SOT 16026 SOS 7776 HAS SOPS 7764 HAS SOUS 1731 HAS SOUPS 1722 WITH SCORE 1729.776
AT ITER 6608 NEW BEST:: SOT 16028 SOS 7778 HAS SOPS 7766 HAS SOUS 1728 HAS SOUPS 1719 WITH SCORE 1726.778
AT ITER 6721 NEW BEST:: SOT 16028 SOS 7778 HAS SOPS 7766 HAS SOUS 1727 HAS SOUPS 1718 WITH SCORE 1725.778
AT ITER 6769 NEW BEST:: SOT 16026 SOS 7777 HAS SOPS 7765 HAS SOUS 1727 HAS SOUPS 1718 WITH SCORE 1725.777
AT ITER 6783 NEW BEST:: SOT 16025 SOS 7776 HAS SOPS 7764 HAS SOUS 1726 HAS SOUPS 1717 WITH SCORE 1724.776
AT ITER 6895 NEW BEST:: SOT 16010 SOS 7780 HAS SOPS 7768 HAS SOUS 1720 HAS SOUPS 1711 WITH SCORE 1718.78
AT ITER 6899 NEW BEST:: SOT 16008 SOS 7778 HAS SOPS 7766 HAS SOUS 1716 HAS SOUPS 1707 WITH SCORE 1714.778
AT ITER 6959 NEW BEST:: SOT 16005 SOS 7775 HAS SOPS 7763 HAS SOUS 1713 HAS SOUPS 1704 WITH SCORE 1711.775
AT ITER 6969 NEW BEST:: SOT 16004 SOS 7774 HAS SOPS 7762 HAS SOUS 1713 HAS SOUPS 1704 WITH SCORE 1711.774
AT ITER 7102 NEW BEST:: SOT 16000 SOS 7766 HAS SOPS 7754 HAS SOUS 1712 HAS SOUPS 1703 WITH SCORE 1710.766
AT ITER 7145 NEW BEST:: SOT 16023 SOS 7633 HAS SOPS 7621 HAS SOUS 1709 HAS SOUPS 1700 WITH SCORE 1707.633
AT ITER 7311 NEW BEST:: SOT 16015 SOS 7620 HAS SOPS 7608 HAS SOUS 1705 HAS SOUPS 1696 WITH SCORE 1703.62
AT ITER 7324 NEW BEST:: SOT 16013 SOS 7616 HAS SOPS 7604 HAS SOUS 1702 HAS SOUPS 1693 WITH SCORE 1700.616
AT ITER 7427 NEW BEST:: SOT 16011 SOS 7613 HAS SOPS 7601 HAS SOUS 1699 HAS SOUPS 1690 WITH SCORE 1697.613
AT ITER 7572 NEW BEST:: SOT 16011 SOS 7613 HAS SOPS 7601 HAS SOUS 1698 HAS SOUPS 1689 WITH SCORE 1696.613
AT ITER 7616 NEW BEST:: SOT 16009 SOS 7611 HAS SOPS 7599 HAS SOUS 1696 HAS SOUPS 1687 WITH SCORE 1694.611
AT ITER 7628 NEW BEST:: SOT 16008 SOS 7611 HAS SOPS 7599 HAS SOUS 1695 HAS SOUPS 1686 WITH SCORE 1693.611
AT ITER 7642 NEW BEST:: SOT 16003 SOS 7635 HAS SOPS 7623 HAS SOUS 1693 HAS SOUPS 1684 WITH SCORE 1691.635
AT ITER 7713 NEW BEST:: SOT 16007 SOS 7639 HAS SOPS 7627 HAS SOUS 1691 HAS SOUPS 1682 WITH SCORE 1689.639
AT ITER 8501 NEW BEST:: SOT 16007 SOS 7639 HAS SOPS 7627 HAS SOUS 1688 HAS SOUPS 1679 WITH SCORE 1686.639
AT ITER 8584 NEW BEST:: SOT 16008 SOS 7639 HAS SOPS 7627 HAS SOUS 1687 HAS SOUPS 1678 WITH SCORE 1685.639
AT ITER 8920 NEW BEST:: SOT 16007 SOS 7638 HAS SOPS 7626 HAS SOUS 1686 HAS SOUPS 1677 WITH SCORE 1684.638
AT ITER 8926 NEW BEST:: SOT 16006 SOS 7637 HAS SOPS 7625 HAS SOUS 1684 HAS SOUPS 1675 WITH SCORE 1682.637
AT ITER 8929 NEW BEST:: SOT 16004 SOS 7718 HAS SOPS 7706 HAS SOUS 1683 HAS SOUPS 1674 WITH SCORE 1681.718
AT ITER 9011 NEW BEST:: SOT 16003 SOS 7716 HAS SOPS 7704 HAS SOUS 1683 HAS SOUPS 1674 WITH SCORE 1681.716
AT ITER 9021 NEW BEST:: SOT 16003 SOS 7715 HAS SOPS 7703 HAS SOUS 1683 HAS SOUPS 1674 WITH SCORE 1681.715
AT ITER 9116 NEW BEST:: SOT 16005 SOS 7709 HAS SOPS 7697 HAS SOUS 1676 HAS SOUPS 1667 WITH SCORE 1674.709
AT ITER 9227 NEW BEST:: SOT 16003 SOS 7705 HAS SOPS 7693 HAS SOUS 1676 HAS SOUPS 1667 WITH SCORE 1674.705
AT ITER 9467 NEW BEST:: SOT 15999 SOS 7697 HAS SOPS 7685 HAS SOUS 1674 HAS SOUPS 1665 WITH SCORE 1672.697
AT ITER 9670 NEW BEST:: SOT 16004 SOS 7684 HAS SOPS 7672 HAS SOUS 1661 HAS SOUPS 1652 WITH SCORE 1659.684
AT ITER 9852 NEW BEST:: SOT 16004 SOS 7684 HAS SOPS 7672 HAS SOUS 1659 HAS SOUPS 1650 WITH SCORE 1657.684
AT ITER 9872 NEW BEST:: SOT 16006 SOS 7686 HAS SOPS 7674 HAS SOUS 1658 HAS SOUPS 1649 WITH SCORE 1656.686
AT ITER 9879 NEW BEST:: SOT 16003 SOS 7683 HAS SOPS 7671 HAS SOUS 1654 HAS SOUPS 1645 WITH SCORE 1652.683
STATE_SPACE STATES 10974163 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 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 132793155 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678577662620

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="HealthRecord-PT-05"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is HealthRecord-PT-05, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-smll-167840349300272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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