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.r523-tall-167987247500008.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 Anderson-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r523-tall-167987247500008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 428K
-rw-r--r-- 1 mcc users 6.4K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Mar 23 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Mar 23 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 7.6K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 70K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Mar 23 15:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 32K Mar 23 15:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 103K Mar 31 16:48 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 1680818797306

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=Anderson-PT-04
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-06 22:06:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-06 22:06:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-06 22:06:39] [INFO ] Load time of PNML (sax parser for PT used): 56 ms
[2023-04-06 22:06:39] [INFO ] Transformed 105 places.
[2023-04-06 22:06:39] [INFO ] Transformed 200 transitions.
[2023-04-06 22:06:39] [INFO ] Found NUPN structural information;
[2023-04-06 22:06:39] [INFO ] Parsed PT model containing 105 places and 200 transitions and 752 arcs in 153 ms.
[2023-04-06 22:06:39] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 105 places, 200 transitions and 752 arcs took 5 ms.
Total runtime 204 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 04
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: 105 places, 200 transitions, 752 arcs.
AT ITER 0 NEW BEST:: SOT 12798 SOS 8168 HAS SOPS 8168 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5009.168
AT ITER 2 NEW BEST:: SOT 12798 SOS 8117 HAS SOPS 8117 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5009.117
AT ITER 3 NEW BEST:: SOT 12798 SOS 8126 HAS SOPS 8126 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5006.126
AT ITER 5 NEW BEST:: SOT 13109 SOS 8512 HAS SOPS 8512 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4956.512
AT ITER 9 NEW BEST:: SOT 13098 SOS 8490 HAS SOPS 8490 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4945.49
AT ITER 18 NEW BEST:: SOT 13098 SOS 8475 HAS SOPS 8475 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4935.475
AT ITER 19 NEW BEST:: SOT 13065 SOS 8304 HAS SOPS 8304 HAS SOUS 4879 HAS SOUPS 4879 WITH SCORE 4887.304
AT ITER 25 NEW BEST:: SOT 12877 SOS 8101 HAS SOPS 8101 HAS SOUS 4858 HAS SOUPS 4858 WITH SCORE 4866.101
AT ITER 27 NEW BEST:: SOT 12877 SOS 8095 HAS SOPS 8095 HAS SOUS 4858 HAS SOUPS 4858 WITH SCORE 4866.095
AT ITER 32 NEW BEST:: SOT 12850 SOS 7999 HAS SOPS 7999 HAS SOUS 4825 HAS SOUPS 4825 WITH SCORE 4832.999
AT ITER 34 NEW BEST:: SOT 13119 SOS 8303 HAS SOPS 8303 HAS SOUS 4773 HAS SOUPS 4773 WITH SCORE 4781.303
AT ITER 40 NEW BEST:: SOT 13084 SOS 8121 HAS SOPS 8121 HAS SOUS 4716 HAS SOUPS 4716 WITH SCORE 4724.121
AT ITER 61 NEW BEST:: SOT 12976 SOS 8026 HAS SOPS 8026 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4713.026
AT ITER 78 NEW BEST:: SOT 12963 SOS 7968 HAS SOPS 7968 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4699.968
AT ITER 98 NEW BEST:: SOT 12958 SOS 7943 HAS SOPS 7943 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4691.943
AT ITER 99 NEW BEST:: SOT 12950 SOS 7919 HAS SOPS 7919 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4679.919
AT ITER 100 NEW BEST:: SOT 12864 SOS 7872 HAS SOPS 7872 HAS SOUS 4598 HAS SOUPS 4598 WITH SCORE 4605.872
AT ITER 106 NEW BEST:: SOT 12700 SOS 7832 HAS SOPS 7811 HAS SOUS 4474 HAS SOUPS 4453 WITH SCORE 4460.832
AT ITER 109 NEW BEST:: SOT 12698 SOS 7830 HAS SOPS 7809 HAS SOUS 4472 HAS SOUPS 4451 WITH SCORE 4458.83
AT ITER 111 NEW BEST:: SOT 12695 SOS 7771 HAS SOPS 7750 HAS SOUS 4467 HAS SOUPS 4446 WITH SCORE 4453.771
AT ITER 113 NEW BEST:: SOT 12737 SOS 7820 HAS SOPS 7799 HAS SOUS 4460 HAS SOUPS 4439 WITH SCORE 4446.82
AT ITER 117 NEW BEST:: SOT 12653 SOS 7662 HAS SOPS 7641 HAS SOUS 4454 HAS SOUPS 4433 WITH SCORE 4440.662
AT ITER 128 NEW BEST:: SOT 12642 SOS 7651 HAS SOPS 7630 HAS SOUS 4436 HAS SOUPS 4415 WITH SCORE 4422.651
AT ITER 142 NEW BEST:: SOT 12642 SOS 7649 HAS SOPS 7628 HAS SOUS 4434 HAS SOUPS 4413 WITH SCORE 4420.649
AT ITER 154 NEW BEST:: SOT 12623 SOS 7607 HAS SOPS 7586 HAS SOUS 4399 HAS SOUPS 4378 WITH SCORE 4385.607
AT ITER 155 NEW BEST:: SOT 12622 SOS 7605 HAS SOPS 7584 HAS SOUS 4397 HAS SOUPS 4376 WITH SCORE 4383.605
AT ITER 159 NEW BEST:: SOT 12634 SOS 7617 HAS SOPS 7596 HAS SOUS 4395 HAS SOUPS 4374 WITH SCORE 4381.617
AT ITER 168 NEW BEST:: SOT 12628 SOS 7539 HAS SOPS 7518 HAS SOUS 4383 HAS SOUPS 4362 WITH SCORE 4369.539
AT ITER 172 NEW BEST:: SOT 12628 SOS 7538 HAS SOPS 7518 HAS SOUS 4382 HAS SOUPS 4362 WITH SCORE 4369.538
AT ITER 173 NEW BEST:: SOT 12628 SOS 7512 HAS SOPS 7492 HAS SOUS 4382 HAS SOUPS 4362 WITH SCORE 4369.512
AT ITER 176 NEW BEST:: SOT 12571 SOS 7455 HAS SOPS 7435 HAS SOUS 4378 HAS SOUPS 4358 WITH SCORE 4365.455
AT ITER 180 NEW BEST:: SOT 12541 SOS 7425 HAS SOPS 7408 HAS SOUS 4348 HAS SOUPS 4331 WITH SCORE 4338.425
AT ITER 182 NEW BEST:: SOT 12528 SOS 7412 HAS SOPS 7395 HAS SOUS 4335 HAS SOUPS 4318 WITH SCORE 4325.412
AT ITER 204 NEW BEST:: SOT 12471 SOS 7355 HAS SOPS 7338 HAS SOUS 4265 HAS SOUPS 4248 WITH SCORE 4255.355
AT ITER 218 NEW BEST:: SOT 12465 SOS 7349 HAS SOPS 7332 HAS SOUS 4259 HAS SOUPS 4242 WITH SCORE 4249.349
AT ITER 223 NEW BEST:: SOT 12341 SOS 7225 HAS SOPS 7208 HAS SOUS 4198 HAS SOUPS 4181 WITH SCORE 4188.225
AT ITER 226 NEW BEST:: SOT 12338 SOS 7224 HAS SOPS 7207 HAS SOUS 4195 HAS SOUPS 4178 WITH SCORE 4185.224
AT ITER 227 NEW BEST:: SOT 12320 SOS 7206 HAS SOPS 7189 HAS SOUS 4195 HAS SOUPS 4178 WITH SCORE 4185.206
AT ITER 251 NEW BEST:: SOT 12316 SOS 7198 HAS SOPS 7181 HAS SOUS 4189 HAS SOUPS 4172 WITH SCORE 4179.198
AT ITER 254 NEW BEST:: SOT 12294 SOS 7176 HAS SOPS 7159 HAS SOUS 4164 HAS SOUPS 4147 WITH SCORE 4154.176
AT ITER 256 NEW BEST:: SOT 12284 SOS 7170 HAS SOPS 7153 HAS SOUS 4154 HAS SOUPS 4137 WITH SCORE 4144.17
AT ITER 267 NEW BEST:: SOT 12289 SOS 7164 HAS SOPS 7127 HAS SOUS 4153 HAS SOUPS 4116 WITH SCORE 4123.164
AT ITER 276 NEW BEST:: SOT 12234 SOS 7057 HAS SOPS 7017 HAS SOUS 4083 HAS SOUPS 4043 WITH SCORE 4050.057
AT ITER 289 NEW BEST:: SOT 12237 SOS 7060 HAS SOPS 7020 HAS SOUS 4082 HAS SOUPS 4042 WITH SCORE 4049.06
AT ITER 304 NEW BEST:: SOT 12233 SOS 7056 HAS SOPS 7016 HAS SOUS 4074 HAS SOUPS 4034 WITH SCORE 4041.056
AT ITER 306 NEW BEST:: SOT 12227 SOS 7027 HAS SOPS 6987 HAS SOUS 4031 HAS SOUPS 3991 WITH SCORE 3998.027
AT ITER 320 NEW BEST:: SOT 12221 SOS 7021 HAS SOPS 6981 HAS SOUS 4025 HAS SOUPS 3985 WITH SCORE 3992.021
AT ITER 327 NEW BEST:: SOT 12191 SOS 6991 HAS SOPS 6951 HAS SOUS 3995 HAS SOUPS 3955 WITH SCORE 3961.991
AT ITER 349 NEW BEST:: SOT 12181 SOS 6971 HAS SOPS 6931 HAS SOUS 3991 HAS SOUPS 3951 WITH SCORE 3957.971
AT ITER 358 NEW BEST:: SOT 12172 SOS 6984 HAS SOPS 6944 HAS SOUS 3980 HAS SOUPS 3940 WITH SCORE 3946.984
AT ITER 378 NEW BEST:: SOT 12157 SOS 6975 HAS SOPS 6935 HAS SOUS 3964 HAS SOUPS 3924 WITH SCORE 3930.975
AT ITER 379 NEW BEST:: SOT 12163 SOS 6969 HAS SOPS 6929 HAS SOUS 3963 HAS SOUPS 3923 WITH SCORE 3929.969
AT ITER 388 NEW BEST:: SOT 12161 SOS 6967 HAS SOPS 6927 HAS SOUS 3961 HAS SOUPS 3921 WITH SCORE 3927.967
AT ITER 392 NEW BEST:: SOT 12364 SOS 7184 HAS SOPS 7167 HAS SOUS 3936 HAS SOUPS 3919 WITH SCORE 3926.184
AT ITER 397 NEW BEST:: SOT 12320 SOS 7140 HAS SOPS 7123 HAS SOUS 3936 HAS SOUPS 3919 WITH SCORE 3926.14
AT ITER 408 NEW BEST:: SOT 12319 SOS 7139 HAS SOPS 7122 HAS SOUS 3935 HAS SOUPS 3918 WITH SCORE 3925.139
AT ITER 409 NEW BEST:: SOT 12318 SOS 7132 HAS SOPS 7115 HAS SOUS 3932 HAS SOUPS 3915 WITH SCORE 3922.132
AT ITER 413 NEW BEST:: SOT 12315 SOS 7126 HAS SOPS 7109 HAS SOUS 3926 HAS SOUPS 3909 WITH SCORE 3916.126
AT ITER 419 NEW BEST:: SOT 12315 SOS 7138 HAS SOPS 7121 HAS SOUS 3920 HAS SOUPS 3903 WITH SCORE 3910.138
AT ITER 434 NEW BEST:: SOT 12313 SOS 7144 HAS SOPS 7127 HAS SOUS 3919 HAS SOUPS 3902 WITH SCORE 3909.144
AT ITER 450 NEW BEST:: SOT 12290 SOS 7121 HAS SOPS 7115 HAS SOUS 3895 HAS SOUPS 3889 WITH SCORE 3896.121
AT ITER 471 NEW BEST:: SOT 12380 SOS 7211 HAS SOPS 7205 HAS SOUS 3873 HAS SOUPS 3867 WITH SCORE 3874.211
AT ITER 475 NEW BEST:: SOT 12372 SOS 7203 HAS SOPS 7197 HAS SOUS 3855 HAS SOUPS 3849 WITH SCORE 3856.203
AT ITER 483 NEW BEST:: SOT 12339 SOS 7164 HAS SOPS 7158 HAS SOUS 3795 HAS SOUPS 3789 WITH SCORE 3796.164
AT ITER 488 NEW BEST:: SOT 12335 SOS 7128 HAS SOPS 7122 HAS SOUS 3779 HAS SOUPS 3773 WITH SCORE 3780.128
AT ITER 494 NEW BEST:: SOT 12290 SOS 7092 HAS SOPS 7092 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3735.092
AT ITER 509 NEW BEST:: SOT 12250 SOS 7052 HAS SOPS 7052 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3695.052
AT ITER 510 NEW BEST:: SOT 12249 SOS 7051 HAS SOPS 7051 HAS SOUS 3687 HAS SOUPS 3687 WITH SCORE 3694.051
AT ITER 512 NEW BEST:: SOT 12250 SOS 6995 HAS SOPS 6995 HAS SOUS 3684 HAS SOUPS 3684 WITH SCORE 3690.995
AT ITER 516 NEW BEST:: SOT 12252 SOS 7034 HAS SOPS 7034 HAS SOUS 3657 HAS SOUPS 3657 WITH SCORE 3664.034
AT ITER 531 NEW BEST:: SOT 12204 SOS 6986 HAS SOPS 6986 HAS SOUS 3609 HAS SOUPS 3609 WITH SCORE 3615.986
AT ITER 540 NEW BEST:: SOT 12099 SOS 6851 HAS SOPS 6851 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3579.851
AT ITER 541 NEW BEST:: SOT 12098 SOS 6873 HAS SOPS 6873 HAS SOUS 3572 HAS SOUPS 3572 WITH SCORE 3578.873
AT ITER 591 NEW BEST:: SOT 12103 SOS 6896 HAS SOPS 6896 HAS SOUS 3569 HAS SOUPS 3569 WITH SCORE 3575.896
AT ITER 594 NEW BEST:: SOT 12072 SOS 6865 HAS SOPS 6865 HAS SOUS 3532 HAS SOUPS 3532 WITH SCORE 3538.865
AT ITER 624 NEW BEST:: SOT 12079 SOS 6872 HAS SOPS 6872 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3535.872
AT ITER 630 NEW BEST:: SOT 12071 SOS 6864 HAS SOPS 6864 HAS SOUS 3521 HAS SOUPS 3521 WITH SCORE 3527.864
AT ITER 652 NEW BEST:: SOT 12069 SOS 6858 HAS SOPS 6858 HAS SOUS 3515 HAS SOUPS 3515 WITH SCORE 3521.858
AT ITER 656 NEW BEST:: SOT 12061 SOS 6850 HAS SOPS 6850 HAS SOUS 3499 HAS SOUPS 3499 WITH SCORE 3505.85
AT ITER 682 NEW BEST:: SOT 12053 SOS 6842 HAS SOPS 6842 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3497.842
AT ITER 696 NEW BEST:: SOT 12047 SOS 6839 HAS SOPS 6839 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3481.839
AT ITER 697 NEW BEST:: SOT 12044 SOS 6836 HAS SOPS 6836 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3477.836
AT ITER 728 NEW BEST:: SOT 12037 SOS 6829 HAS SOPS 6829 HAS SOUS 3467 HAS SOUPS 3467 WITH SCORE 3473.829
AT ITER 783 NEW BEST:: SOT 12041 SOS 6832 HAS SOPS 6832 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3469.832
AT ITER 796 NEW BEST:: SOT 12038 SOS 6829 HAS SOPS 6829 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3466.829
AT ITER 802 NEW BEST:: SOT 12032 SOS 6823 HAS SOPS 6823 HAS SOUS 3454 HAS SOUPS 3454 WITH SCORE 3460.823
AT ITER 821 NEW BEST:: SOT 12026 SOS 6817 HAS SOPS 6817 HAS SOUS 3454 HAS SOUPS 3454 WITH SCORE 3460.817
AT ITER 825 NEW BEST:: SOT 12013 SOS 6747 HAS SOPS 6747 HAS SOUS 3447 HAS SOUPS 3447 WITH SCORE 3453.747
AT ITER 838 NEW BEST:: SOT 12004 SOS 6738 HAS SOPS 6738 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3430.738
AT ITER 842 NEW BEST:: SOT 12004 SOS 6732 HAS SOPS 6732 HAS SOUS 3418 HAS SOUPS 3418 WITH SCORE 3424.732
AT ITER 878 NEW BEST:: SOT 12003 SOS 6731 HAS SOPS 6731 HAS SOUS 3417 HAS SOUPS 3417 WITH SCORE 3423.731
AT ITER 894 NEW BEST:: SOT 11995 SOS 6703 HAS SOPS 6703 HAS SOUS 3412 HAS SOUPS 3412 WITH SCORE 3418.703
AT ITER 895 NEW BEST:: SOT 11992 SOS 6700 HAS SOPS 6700 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3413.7
AT ITER 907 NEW BEST:: SOT 11989 SOS 6697 HAS SOPS 6697 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3407.697
AT ITER 942 NEW BEST:: SOT 11984 SOS 6683 HAS SOPS 6683 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3397.683
AT ITER 943 NEW BEST:: SOT 11976 SOS 6675 HAS SOPS 6675 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3388.675
AT ITER 953 NEW BEST:: SOT 11972 SOS 6667 HAS SOPS 6667 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3383.667
AT ITER 968 NEW BEST:: SOT 11972 SOS 6657 HAS SOPS 6657 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3383.657
AT ITER 1038 NEW BEST:: SOT 11966 SOS 6672 HAS SOPS 6672 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3377.672
AT ITER 1056 NEW BEST:: SOT 11964 SOS 6670 HAS SOPS 6670 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3377.67
AT ITER 1087 NEW BEST:: SOT 11959 SOS 6665 HAS SOPS 6665 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3356.665
AT ITER 1091 NEW BEST:: SOT 11953 SOS 6659 HAS SOPS 6659 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3356.659
AT ITER 1098 NEW BEST:: SOT 11949 SOS 6655 HAS SOPS 6655 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3352.655
AT ITER 1099 NEW BEST:: SOT 11941 SOS 6645 HAS SOPS 6645 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3336.645
AT ITER 1118 NEW BEST:: SOT 11941 SOS 6633 HAS SOPS 6633 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3333.633
AT ITER 1136 NEW BEST:: SOT 11941 SOS 6633 HAS SOPS 6633 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3332.633
AT ITER 1161 NEW BEST:: SOT 11915 SOS 6607 HAS SOPS 6607 HAS SOUS 3300 HAS SOUPS 3300 WITH SCORE 3306.607
AT ITER 1167 NEW BEST:: SOT 11898 SOS 6590 HAS SOPS 6590 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3281.59
AT ITER 1210 NEW BEST:: SOT 11894 SOS 6594 HAS SOPS 6594 HAS SOUS 3265 HAS SOUPS 3265 WITH SCORE 3271.594
AT ITER 1297 NEW BEST:: SOT 11880 SOS 6573 HAS SOPS 6573 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3264.573
AT ITER 1305 NEW BEST:: SOT 11861 SOS 6557 HAS SOPS 6557 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3247.557
AT ITER 1307 NEW BEST:: SOT 11866 SOS 6562 HAS SOPS 6562 HAS SOUS 3237 HAS SOUPS 3237 WITH SCORE 3243.562
AT ITER 1309 NEW BEST:: SOT 11872 SOS 6568 HAS SOPS 6568 HAS SOUS 3229 HAS SOUPS 3229 WITH SCORE 3235.568
AT ITER 1323 NEW BEST:: SOT 11875 SOS 6565 HAS SOPS 6559 HAS SOUS 3229 HAS SOUPS 3223 WITH SCORE 3229.565
AT ITER 1342 NEW BEST:: SOT 11874 SOS 6563 HAS SOPS 6557 HAS SOUS 3228 HAS SOUPS 3222 WITH SCORE 3228.563
AT ITER 1354 NEW BEST:: SOT 11870 SOS 6552 HAS SOPS 6546 HAS SOUS 3220 HAS SOUPS 3214 WITH SCORE 3220.552
AT ITER 1362 NEW BEST:: SOT 11889 SOS 6571 HAS SOPS 6565 HAS SOUS 3219 HAS SOUPS 3213 WITH SCORE 3219.571
AT ITER 1370 NEW BEST:: SOT 11889 SOS 6571 HAS SOPS 6565 HAS SOUS 3198 HAS SOUPS 3192 WITH SCORE 3198.571
AT ITER 1413 NEW BEST:: SOT 11877 SOS 6559 HAS SOPS 6553 HAS SOUS 3179 HAS SOUPS 3173 WITH SCORE 3179.559
AT ITER 1425 NEW BEST:: SOT 11876 SOS 6558 HAS SOPS 6552 HAS SOUS 3178 HAS SOUPS 3172 WITH SCORE 3178.558
AT ITER 1438 NEW BEST:: SOT 11875 SOS 6556 HAS SOPS 6550 HAS SOUS 3177 HAS SOUPS 3171 WITH SCORE 3177.556
AT ITER 1451 NEW BEST:: SOT 11875 SOS 6560 HAS SOPS 6554 HAS SOUS 3176 HAS SOUPS 3170 WITH SCORE 3176.56
AT ITER 1485 NEW BEST:: SOT 11872 SOS 6557 HAS SOPS 6551 HAS SOUS 3175 HAS SOUPS 3169 WITH SCORE 3175.557
AT ITER 1504 NEW BEST:: SOT 11827 SOS 6512 HAS SOPS 6506 HAS SOUS 3174 HAS SOUPS 3168 WITH SCORE 3174.512
AT ITER 1512 NEW BEST:: SOT 11824 SOS 6510 HAS SOPS 6504 HAS SOUS 3172 HAS SOUPS 3166 WITH SCORE 3172.51
AT ITER 1515 NEW BEST:: SOT 11820 SOS 6502 HAS SOPS 6496 HAS SOUS 3168 HAS SOUPS 3162 WITH SCORE 3168.502
AT ITER 1536 NEW BEST:: SOT 11814 SOS 6496 HAS SOPS 6486 HAS SOUS 3170 HAS SOUPS 3160 WITH SCORE 3166.496
AT ITER 1553 NEW BEST:: SOT 11814 SOS 6484 HAS SOPS 6474 HAS SOUS 3167 HAS SOUPS 3157 WITH SCORE 3163.484
AT ITER 1564 NEW BEST:: SOT 11813 SOS 6480 HAS SOPS 6470 HAS SOUS 3166 HAS SOUPS 3156 WITH SCORE 3162.48
AT ITER 1643 NEW BEST:: SOT 11812 SOS 6478 HAS SOPS 6468 HAS SOUS 3166 HAS SOUPS 3156 WITH SCORE 3162.478
AT ITER 1742 NEW BEST:: SOT 11807 SOS 6473 HAS SOPS 6463 HAS SOUS 3158 HAS SOUPS 3148 WITH SCORE 3154.473
AT ITER 1745 NEW BEST:: SOT 11806 SOS 6498 HAS SOPS 6488 HAS SOUS 3156 HAS SOUPS 3146 WITH SCORE 3152.498
AT ITER 1827 NEW BEST:: SOT 11805 SOS 6488 HAS SOPS 6478 HAS SOUS 3156 HAS SOUPS 3146 WITH SCORE 3152.488
AT ITER 1896 NEW BEST:: SOT 11804 SOS 6487 HAS SOPS 6477 HAS SOUS 3155 HAS SOUPS 3145 WITH SCORE 3151.487
AT ITER 1899 NEW BEST:: SOT 11803 SOS 6485 HAS SOPS 6475 HAS SOUS 3153 HAS SOUPS 3143 WITH SCORE 3149.485
AT ITER 1924 NEW BEST:: SOT 11726 SOS 6408 HAS SOPS 6398 HAS SOUS 3146 HAS SOUPS 3136 WITH SCORE 3142.408
AT ITER 1933 NEW BEST:: SOT 11726 SOS 6408 HAS SOPS 6398 HAS SOUS 3145 HAS SOUPS 3135 WITH SCORE 3141.408
AT ITER 1946 NEW BEST:: SOT 11731 SOS 6413 HAS SOPS 6403 HAS SOUS 3144 HAS SOUPS 3134 WITH SCORE 3140.413
AT ITER 2007 NEW BEST:: SOT 11726 SOS 6408 HAS SOPS 6398 HAS SOUS 3144 HAS SOUPS 3134 WITH SCORE 3140.408
AT ITER 2010 NEW BEST:: SOT 11722 SOS 6382 HAS SOPS 6372 HAS SOUS 3137 HAS SOUPS 3127 WITH SCORE 3133.382
AT ITER 2076 NEW BEST:: SOT 11721 SOS 6380 HAS SOPS 6370 HAS SOUS 3136 HAS SOUPS 3126 WITH SCORE 3132.38
AT ITER 2115 NEW BEST:: SOT 11717 SOS 6376 HAS SOPS 6366 HAS SOUS 3128 HAS SOUPS 3118 WITH SCORE 3124.376
AT ITER 2188 NEW BEST:: SOT 11723 SOS 6382 HAS SOPS 6364 HAS SOUS 3134 HAS SOUPS 3116 WITH SCORE 3122.382
AT ITER 2242 NEW BEST:: SOT 11727 SOS 6386 HAS SOPS 6368 HAS SOUS 3131 HAS SOUPS 3113 WITH SCORE 3119.386
AT ITER 2285 NEW BEST:: SOT 11723 SOS 6368 HAS SOPS 6350 HAS SOUS 3125 HAS SOUPS 3107 WITH SCORE 3113.368
AT ITER 2345 NEW BEST:: SOT 11725 SOS 6370 HAS SOPS 6352 HAS SOUS 3124 HAS SOUPS 3106 WITH SCORE 3112.37
AT ITER 2347 NEW BEST:: SOT 11725 SOS 6370 HAS SOPS 6347 HAS SOUS 3123 HAS SOUPS 3100 WITH SCORE 3106.37
AT ITER 2351 NEW BEST:: SOT 11736 SOS 6381 HAS SOPS 6358 HAS SOUS 3116 HAS SOUPS 3093 WITH SCORE 3099.381
AT ITER 2352 NEW BEST:: SOT 11754 SOS 6399 HAS SOPS 6376 HAS SOUS 3115 HAS SOUPS 3092 WITH SCORE 3098.399
AT ITER 2361 NEW BEST:: SOT 11754 SOS 6398 HAS SOPS 6375 HAS SOUS 3115 HAS SOUPS 3092 WITH SCORE 3098.398
AT ITER 2380 NEW BEST:: SOT 11753 SOS 6400 HAS SOPS 6377 HAS SOUS 3114 HAS SOUPS 3091 WITH SCORE 3097.4
AT ITER 2384 NEW BEST:: SOT 11752 SOS 6399 HAS SOPS 6376 HAS SOUS 3112 HAS SOUPS 3089 WITH SCORE 3095.399
AT ITER 2454 NEW BEST:: SOT 11756 SOS 6402 HAS SOPS 6379 HAS SOUS 3108 HAS SOUPS 3085 WITH SCORE 3091.402
AT ITER 2481 NEW BEST:: SOT 11758 SOS 6404 HAS SOPS 6381 HAS SOUS 3105 HAS SOUPS 3082 WITH SCORE 3088.404
AT ITER 2572 NEW BEST:: SOT 11751 SOS 6388 HAS SOPS 6365 HAS SOUS 3096 HAS SOUPS 3073 WITH SCORE 3079.388
AT ITER 2588 NEW BEST:: SOT 11743 SOS 6401 HAS SOPS 6378 HAS SOUS 3085 HAS SOUPS 3062 WITH SCORE 3068.401
AT ITER 2599 NEW BEST:: SOT 11744 SOS 6397 HAS SOPS 6374 HAS SOUS 3083 HAS SOUPS 3060 WITH SCORE 3066.397
AT ITER 2618 NEW BEST:: SOT 11746 SOS 6402 HAS SOPS 6379 HAS SOUS 3082 HAS SOUPS 3059 WITH SCORE 3065.402
AT ITER 2619 NEW BEST:: SOT 11745 SOS 6402 HAS SOPS 6379 HAS SOUS 3080 HAS SOUPS 3057 WITH SCORE 3063.402
AT ITER 2692 NEW BEST:: SOT 11744 SOS 6397 HAS SOPS 6374 HAS SOUS 3078 HAS SOUPS 3055 WITH SCORE 3061.397
AT ITER 2720 NEW BEST:: SOT 11741 SOS 6394 HAS SOPS 6371 HAS SOUS 3072 HAS SOUPS 3049 WITH SCORE 3055.394
AT ITER 2840 NEW BEST:: SOT 11741 SOS 6394 HAS SOPS 6371 HAS SOUS 3065 HAS SOUPS 3042 WITH SCORE 3048.394
AT ITER 2910 NEW BEST:: SOT 11734 SOS 6394 HAS SOPS 6371 HAS SOUS 3063 HAS SOUPS 3040 WITH SCORE 3046.394
AT ITER 3099 NEW BEST:: SOT 11728 SOS 6393 HAS SOPS 6370 HAS SOUS 3061 HAS SOUPS 3038 WITH SCORE 3044.393
AT ITER 3157 NEW BEST:: SOT 11731 SOS 6396 HAS SOPS 6373 HAS SOUS 3059 HAS SOUPS 3036 WITH SCORE 3042.396
AT ITER 3234 NEW BEST:: SOT 11729 SOS 6371 HAS SOPS 6348 HAS SOUS 3058 HAS SOUPS 3035 WITH SCORE 3041.371
AT ITER 3244 NEW BEST:: SOT 11709 SOS 6351 HAS SOPS 6328 HAS SOUS 3055 HAS SOUPS 3032 WITH SCORE 3038.351
AT ITER 3277 NEW BEST:: SOT 11707 SOS 6349 HAS SOPS 6326 HAS SOUS 3052 HAS SOUPS 3029 WITH SCORE 3035.349
AT ITER 3303 NEW BEST:: SOT 11707 SOS 6337 HAS SOPS 6314 HAS SOUS 3052 HAS SOUPS 3029 WITH SCORE 3035.337
AT ITER 3434 NEW BEST:: SOT 11706 SOS 6336 HAS SOPS 6313 HAS SOUS 3051 HAS SOUPS 3028 WITH SCORE 3034.336
AT ITER 3438 NEW BEST:: SOT 11688 SOS 6313 HAS SOPS 6290 HAS SOUS 3042 HAS SOUPS 3019 WITH SCORE 3025.313
AT ITER 3443 NEW BEST:: SOT 11687 SOS 6312 HAS SOPS 6289 HAS SOUS 3041 HAS SOUPS 3018 WITH SCORE 3024.312
AT ITER 3492 NEW BEST:: SOT 11687 SOS 6306 HAS SOPS 6283 HAS SOUS 3041 HAS SOUPS 3018 WITH SCORE 3024.306
AT ITER 3548 NEW BEST:: SOT 11687 SOS 6306 HAS SOPS 6283 HAS SOUS 3040 HAS SOUPS 3017 WITH SCORE 3023.306
AT ITER 3553 NEW BEST:: SOT 11687 SOS 6304 HAS SOPS 6281 HAS SOUS 3037 HAS SOUPS 3014 WITH SCORE 3020.304
AT ITER 3579 NEW BEST:: SOT 11697 SOS 6180 HAS SOPS 6157 HAS SOUS 3037 HAS SOUPS 3014 WITH SCORE 3020.18
AT ITER 3627 NEW BEST:: SOT 11707 SOS 6190 HAS SOPS 6167 HAS SOUS 3033 HAS SOUPS 3010 WITH SCORE 3016.19
AT ITER 3628 NEW BEST:: SOT 11699 SOS 6193 HAS SOPS 6170 HAS SOUS 3027 HAS SOUPS 3004 WITH SCORE 3010.193
AT ITER 3686 NEW BEST:: SOT 11699 SOS 6191 HAS SOPS 6168 HAS SOUS 3026 HAS SOUPS 3003 WITH SCORE 3009.191
AT ITER 3761 NEW BEST:: SOT 11698 SOS 6190 HAS SOPS 6167 HAS SOUS 3024 HAS SOUPS 3001 WITH SCORE 3007.19
AT ITER 3780 NEW BEST:: SOT 11677 SOS 6169 HAS SOPS 6146 HAS SOUS 3024 HAS SOUPS 3001 WITH SCORE 3007.169
AT ITER 3781 NEW BEST:: SOT 11668 SOS 6165 HAS SOPS 6142 HAS SOUS 3018 HAS SOUPS 2995 WITH SCORE 3001.165
AT ITER 3841 NEW BEST:: SOT 11664 SOS 6161 HAS SOPS 6138 HAS SOUS 3013 HAS SOUPS 2990 WITH SCORE 2996.161
AT ITER 3851 NEW BEST:: SOT 11662 SOS 6158 HAS SOPS 6135 HAS SOUS 3010 HAS SOUPS 2987 WITH SCORE 2993.158
AT ITER 3888 NEW BEST:: SOT 11660 SOS 6146 HAS SOPS 6123 HAS SOUS 3008 HAS SOUPS 2985 WITH SCORE 2991.146
AT ITER 3890 NEW BEST:: SOT 11658 SOS 6142 HAS SOPS 6119 HAS SOUS 3004 HAS SOUPS 2981 WITH SCORE 2987.142
AT ITER 3932 NEW BEST:: SOT 11652 SOS 6178 HAS SOPS 6155 HAS SOUS 3001 HAS SOUPS 2978 WITH SCORE 2984.178
AT ITER 4163 NEW BEST:: SOT 11678 SOS 6187 HAS SOPS 6145 HAS SOUS 3016 HAS SOUPS 2974 WITH SCORE 2980.187
AT ITER 4167 NEW BEST:: SOT 11675 SOS 6184 HAS SOPS 6142 HAS SOUS 3013 HAS SOUPS 2971 WITH SCORE 2977.184
AT ITER 4175 NEW BEST:: SOT 11674 SOS 6190 HAS SOPS 6148 HAS SOUS 3010 HAS SOUPS 2968 WITH SCORE 2974.19
AT ITER 4184 NEW BEST:: SOT 11671 SOS 6187 HAS SOPS 6148 HAS SOUS 3005 HAS SOUPS 2966 WITH SCORE 2972.187
AT ITER 4349 NEW BEST:: SOT 11670 SOS 6181 HAS SOPS 6142 HAS SOUS 3004 HAS SOUPS 2965 WITH SCORE 2971.181
AT ITER 4359 NEW BEST:: SOT 11675 SOS 6186 HAS SOPS 6147 HAS SOUS 3003 HAS SOUPS 2964 WITH SCORE 2970.186
AT ITER 4411 NEW BEST:: SOT 11672 SOS 6180 HAS SOPS 6141 HAS SOUS 2998 HAS SOUPS 2959 WITH SCORE 2965.18
AT ITER 4570 NEW BEST:: SOT 11672 SOS 6179 HAS SOPS 6140 HAS SOUS 2995 HAS SOUPS 2956 WITH SCORE 2962.179
AT ITER 4578 NEW BEST:: SOT 11672 SOS 6179 HAS SOPS 6140 HAS SOUS 2994 HAS SOUPS 2955 WITH SCORE 2961.179
AT ITER 4592 NEW BEST:: SOT 11678 SOS 6176 HAS SOPS 6137 HAS SOUS 2991 HAS SOUPS 2952 WITH SCORE 2958.176
AT ITER 4612 NEW BEST:: SOT 11676 SOS 6165 HAS SOPS 6126 HAS SOUS 2984 HAS SOUPS 2945 WITH SCORE 2951.165
AT ITER 4694 NEW BEST:: SOT 11673 SOS 6159 HAS SOPS 6120 HAS SOUS 2981 HAS SOUPS 2942 WITH SCORE 2948.159
AT ITER 4730 NEW BEST:: SOT 11673 SOS 6154 HAS SOPS 6115 HAS SOUS 2975 HAS SOUPS 2936 WITH SCORE 2942.154
AT ITER 4747 NEW BEST:: SOT 11667 SOS 6151 HAS SOPS 6109 HAS SOUS 2975 HAS SOUPS 2933 WITH SCORE 2939.151
AT ITER 4787 NEW BEST:: SOT 11663 SOS 6136 HAS SOPS 6094 HAS SOUS 2963 HAS SOUPS 2921 WITH SCORE 2927.136
AT ITER 4874 NEW BEST:: SOT 11664 SOS 6137 HAS SOPS 6095 HAS SOUS 2962 HAS SOUPS 2920 WITH SCORE 2926.137
AT ITER 4920 NEW BEST:: SOT 11662 SOS 6135 HAS SOPS 6093 HAS SOUS 2960 HAS SOUPS 2918 WITH SCORE 2924.135
AT ITER 5125 NEW BEST:: SOT 11673 SOS 6146 HAS SOPS 6104 HAS SOUS 2959 HAS SOUPS 2917 WITH SCORE 2923.146
AT ITER 5168 NEW BEST:: SOT 11659 SOS 6134 HAS SOPS 6092 HAS SOUS 2942 HAS SOUPS 2900 WITH SCORE 2906.134
AT ITER 5201 NEW BEST:: SOT 11657 SOS 6132 HAS SOPS 6090 HAS SOUS 2941 HAS SOUPS 2899 WITH SCORE 2905.132
AT ITER 5202 NEW BEST:: SOT 11651 SOS 6129 HAS SOPS 6084 HAS SOUS 2943 HAS SOUPS 2898 WITH SCORE 2904.129
AT ITER 5238 NEW BEST:: SOT 11647 SOS 6112 HAS SOPS 6067 HAS SOUS 2941 HAS SOUPS 2896 WITH SCORE 2902.112
AT ITER 5585 NEW BEST:: SOT 11652 SOS 6109 HAS SOPS 6064 HAS SOUS 2938 HAS SOUPS 2893 WITH SCORE 2899.109
AT ITER 5622 NEW BEST:: SOT 11650 SOS 6107 HAS SOPS 6062 HAS SOUS 2938 HAS SOUPS 2893 WITH SCORE 2899.107
AT ITER 5705 NEW BEST:: SOT 11654 SOS 6112 HAS SOPS 6067 HAS SOUS 2936 HAS SOUPS 2891 WITH SCORE 2897.112
AT ITER 6026 NEW BEST:: SOT 11650 SOS 6108 HAS SOPS 6063 HAS SOUS 2932 HAS SOUPS 2887 WITH SCORE 2893.108
AT ITER 6521 NEW BEST:: SOT 11648 SOS 6120 HAS SOPS 6075 HAS SOUS 2931 HAS SOUPS 2886 WITH SCORE 2892.12
AT ITER 6594 NEW BEST:: SOT 11651 SOS 6123 HAS SOPS 6078 HAS SOUS 2930 HAS SOUPS 2885 WITH SCORE 2891.123
AT ITER 6616 NEW BEST:: SOT 11650 SOS 6122 HAS SOPS 6077 HAS SOUS 2929 HAS SOUPS 2884 WITH SCORE 2890.122
AT ITER 6775 NEW BEST:: SOT 11649 SOS 6121 HAS SOPS 6076 HAS SOUS 2927 HAS SOUPS 2882 WITH SCORE 2888.121
AT ITER 6854 NEW BEST:: SOT 11646 SOS 6119 HAS SOPS 6074 HAS SOUS 2927 HAS SOUPS 2882 WITH SCORE 2888.119
AT ITER 7084 NEW BEST:: SOT 11645 SOS 6118 HAS SOPS 6073 HAS SOUS 2925 HAS SOUPS 2880 WITH SCORE 2886.118
AT ITER 7466 NEW BEST:: SOT 11644 SOS 6117 HAS SOPS 6072 HAS SOUS 2924 HAS SOUPS 2879 WITH SCORE 2885.117
AT ITER 7471 NEW BEST:: SOT 11643 SOS 6116 HAS SOPS 6072 HAS SOUS 2922 HAS SOUPS 2878 WITH SCORE 2884.116
AT ITER 7528 NEW BEST:: SOT 11642 SOS 6115 HAS SOPS 6073 HAS SOUS 2920 HAS SOUPS 2878 WITH SCORE 2884.115
AT ITER 7693 NEW BEST:: SOT 11641 SOS 6115 HAS SOPS 6073 HAS SOUS 2918 HAS SOUPS 2876 WITH SCORE 2882.115
AT ITER 7706 NEW BEST:: SOT 11638 SOS 6113 HAS SOPS 6071 HAS SOUS 2915 HAS SOUPS 2873 WITH SCORE 2879.113
AT ITER 7860 NEW BEST:: SOT 11637 SOS 6112 HAS SOPS 6070 HAS SOUS 2914 HAS SOUPS 2872 WITH SCORE 2878.112
AT ITER 7913 NEW BEST:: SOT 11636 SOS 6110 HAS SOPS 6068 HAS SOUS 2911 HAS SOUPS 2869 WITH SCORE 2875.11
AT ITER 8285 NEW BEST:: SOT 11632 SOS 6107 HAS SOPS 6065 HAS SOUS 2908 HAS SOUPS 2866 WITH SCORE 2872.107
AT ITER 8443 NEW BEST:: SOT 11632 SOS 6105 HAS SOPS 6063 HAS SOUS 2908 HAS SOUPS 2866 WITH SCORE 2872.105
AT ITER 8488 NEW BEST:: SOT 11631 SOS 6103 HAS SOPS 6061 HAS SOUS 2906 HAS SOUPS 2864 WITH SCORE 2870.103
AT ITER 8560 NEW BEST:: SOT 11631 SOS 6103 HAS SOPS 6061 HAS SOUS 2905 HAS SOUPS 2863 WITH SCORE 2869.103
AT ITER 8895 NEW BEST:: SOT 11638 SOS 6112 HAS SOPS 6070 HAS SOUS 2900 HAS SOUPS 2858 WITH SCORE 2864.112
AT ITER 8943 NEW BEST:: SOT 11636 SOS 6112 HAS SOPS 6070 HAS SOUS 2899 HAS SOUPS 2857 WITH SCORE 2863.112
AT ITER 9206 NEW BEST:: SOT 11636 SOS 6112 HAS SOPS 6070 HAS SOUS 2898 HAS SOUPS 2856 WITH SCORE 2862.112
AT ITER 9505 NEW BEST:: SOT 11636 SOS 6109 HAS SOPS 6067 HAS SOUS 2898 HAS SOUPS 2856 WITH SCORE 2862.109
AT ITER 9534 NEW BEST:: SOT 11618 SOS 6091 HAS SOPS 6049 HAS SOUS 2898 HAS SOUPS 2856 WITH SCORE 2862.091
AT ITER 9644 NEW BEST:: SOT 11617 SOS 6090 HAS SOPS 6048 HAS SOUS 2897 HAS SOUPS 2855 WITH SCORE 2861.09
AT ITER 9926 NEW BEST:: SOT 11616 SOS 6089 HAS SOPS 6047 HAS SOUS 2896 HAS SOUPS 2854 WITH SCORE 2860.089
STATE_SPACE STATES 29641 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 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 97516 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1680818808000

--------------------
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.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /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="Anderson-PT-04"
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 Anderson-PT-04, 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 r523-tall-167987247500008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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