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.r331-tall-167889204600496.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 Referendum-PT-0050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204600496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 68K Feb 26 17:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 370K Feb 26 17:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 26K Feb 26 17:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 210K Feb 26 17:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 32K Feb 25 16:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 25 16:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 25 16:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 105K Feb 26 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 563K Feb 26 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104K Feb 26 17:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 823K Feb 26 17:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 16:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 12K Feb 25 16:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 57K 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 1679147817101

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=Referendum-PT-0050
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 13:56:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 13:56:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 13:56:59] [INFO ] Load time of PNML (sax parser for PT used): 44 ms
[2023-03-18 13:56:59] [INFO ] Transformed 151 places.
[2023-03-18 13:56:59] [INFO ] Transformed 101 transitions.
[2023-03-18 13:56:59] [INFO ] Found NUPN structural information;
[2023-03-18 13:56:59] [INFO ] Parsed PT model containing 151 places and 101 transitions and 251 arcs in 379 ms.
[2023-03-18 13:56:59] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 151 places, 101 transitions and 251 arcs took 3 ms.
Total runtime 415 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Referendum (PT), instance 0050
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: 151 places, 101 transitions, 251 arcs.
AT ITER 0 NEW BEST:: SOT 12505 SOS 7357 HAS SOPS 7357 HAS SOUS 7357 HAS SOUPS 7357 WITH SCORE 7364.357
AT ITER 1 NEW BEST:: SOT 12369 SOS 7257 HAS SOPS 7257 HAS SOUS 7257 HAS SOUPS 7257 WITH SCORE 7264.257
AT ITER 4 NEW BEST:: SOT 12289 SOS 7137 HAS SOPS 7137 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7144.137
AT ITER 5 NEW BEST:: SOT 12202 SOS 7020 HAS SOPS 7020 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7027.02
AT ITER 6 NEW BEST:: SOT 12157 SOS 6984 HAS SOPS 6984 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6990.984
AT ITER 10 NEW BEST:: SOT 12115 SOS 6952 HAS SOPS 6952 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 6958.952
AT ITER 11 NEW BEST:: SOT 12012 SOS 6806 HAS SOPS 6806 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6812.806
AT ITER 12 NEW BEST:: SOT 11871 SOS 6627 HAS SOPS 6627 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6633.627
AT ITER 16 NEW BEST:: SOT 11827 SOS 6594 HAS SOPS 6594 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6600.594
AT ITER 18 NEW BEST:: SOT 11686 SOS 6411 HAS SOPS 6411 HAS SOUS 6409 HAS SOUPS 6409 WITH SCORE 6415.411
AT ITER 21 NEW BEST:: SOT 11558 SOS 6239 HAS SOPS 6239 HAS SOUS 6237 HAS SOUPS 6237 WITH SCORE 6243.239
AT ITER 22 NEW BEST:: SOT 11418 SOS 6081 HAS SOPS 6081 HAS SOUS 6052 HAS SOUPS 6052 WITH SCORE 6058.081
AT ITER 23 NEW BEST:: SOT 11277 SOS 5903 HAS SOPS 5903 HAS SOUS 5874 HAS SOUPS 5874 WITH SCORE 5879.903
AT ITER 25 NEW BEST:: SOT 11289 SOS 5927 HAS SOPS 5927 HAS SOUS 5861 HAS SOUPS 5861 WITH SCORE 5866.927
AT ITER 26 NEW BEST:: SOT 11241 SOS 5905 HAS SOPS 5905 HAS SOUS 5811 HAS SOUPS 5811 WITH SCORE 5816.905
AT ITER 30 NEW BEST:: SOT 11118 SOS 5737 HAS SOPS 5737 HAS SOUS 5643 HAS SOUPS 5643 WITH SCORE 5648.737
AT ITER 33 NEW BEST:: SOT 11100 SOS 5701 HAS SOPS 5701 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5613.701
AT ITER 37 NEW BEST:: SOT 10970 SOS 5526 HAS SOPS 5526 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5438.526
AT ITER 38 NEW BEST:: SOT 10887 SOS 5404 HAS SOPS 5404 HAS SOUS 5311 HAS SOUPS 5311 WITH SCORE 5316.404
AT ITER 40 NEW BEST:: SOT 10847 SOS 5324 HAS SOPS 5324 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5236.324
AT ITER 45 NEW BEST:: SOT 10844 SOS 5318 HAS SOPS 5318 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5230.318
AT ITER 47 NEW BEST:: SOT 10832 SOS 5294 HAS SOPS 5294 HAS SOUS 5201 HAS SOUPS 5201 WITH SCORE 5206.294
AT ITER 50 NEW BEST:: SOT 10768 SOS 5240 HAS SOPS 5240 HAS SOUS 5147 HAS SOUPS 5147 WITH SCORE 5152.24
AT ITER 51 NEW BEST:: SOT 10757 SOS 5218 HAS SOPS 5218 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5130.218
AT ITER 58 NEW BEST:: SOT 10707 SOS 5225 HAS SOPS 5225 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5101.225
AT ITER 59 NEW BEST:: SOT 10665 SOS 5212 HAS SOPS 5212 HAS SOUS 5054 HAS SOUPS 5054 WITH SCORE 5059.212
AT ITER 61 NEW BEST:: SOT 10637 SOS 5156 HAS SOPS 5156 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5003.156
AT ITER 64 NEW BEST:: SOT 10623 SOS 5128 HAS SOPS 5128 HAS SOUS 4970 HAS SOUPS 4970 WITH SCORE 4975.128
AT ITER 66 NEW BEST:: SOT 10500 SOS 4994 HAS SOPS 4994 HAS SOUS 4820 HAS SOUPS 4820 WITH SCORE 4824.994
AT ITER 67 NEW BEST:: SOT 10477 SOS 5058 HAS SOPS 5058 HAS SOUS 4802 HAS SOUPS 4802 WITH SCORE 4807.058
AT ITER 70 NEW BEST:: SOT 10447 SOS 4998 HAS SOPS 4998 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4746.998
AT ITER 71 NEW BEST:: SOT 10335 SOS 4865 HAS SOPS 4865 HAS SOUS 4609 HAS SOUPS 4609 WITH SCORE 4613.865
AT ITER 79 NEW BEST:: SOT 10293 SOS 4781 HAS SOPS 4781 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4529.781
AT ITER 82 NEW BEST:: SOT 10284 SOS 4763 HAS SOPS 4763 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4520.763
AT ITER 89 NEW BEST:: SOT 10274 SOS 4743 HAS SOPS 4743 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4489.743
AT ITER 91 NEW BEST:: SOT 10201 SOS 4597 HAS SOPS 4597 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4394.597
AT ITER 92 NEW BEST:: SOT 10160 SOS 4619 HAS SOPS 4619 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4358.619
AT ITER 93 NEW BEST:: SOT 10159 SOS 4617 HAS SOPS 4617 HAS SOUS 4353 HAS SOUPS 4353 WITH SCORE 4357.617
AT ITER 97 NEW BEST:: SOT 10079 SOS 4502 HAS SOPS 4502 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4242.502
AT ITER 102 NEW BEST:: SOT 10051 SOS 4446 HAS SOPS 4446 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4186.446
AT ITER 107 NEW BEST:: SOT 10049 SOS 4442 HAS SOPS 4442 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4182.442
AT ITER 113 NEW BEST:: SOT 10038 SOS 4358 HAS SOPS 4358 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4160.358
AT ITER 119 NEW BEST:: SOT 9950 SOS 4289 HAS SOPS 4289 HAS SOUS 4077 HAS SOUPS 4077 WITH SCORE 4081.289
AT ITER 130 NEW BEST:: SOT 9927 SOS 4346 HAS SOPS 4346 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4078.346
AT ITER 133 NEW BEST:: SOT 9925 SOS 4327 HAS SOPS 4327 HAS SOUS 4057 HAS SOUPS 4057 WITH SCORE 4061.327
AT ITER 136 NEW BEST:: SOT 9852 SOS 4304 HAS SOPS 4304 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4010.304
AT ITER 139 NEW BEST:: SOT 9796 SOS 4136 HAS SOPS 4136 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3917.136
AT ITER 141 NEW BEST:: SOT 9768 SOS 4114 HAS SOPS 4114 HAS SOUS 3891 HAS SOUPS 3891 WITH SCORE 3895.114
AT ITER 145 NEW BEST:: SOT 9753 SOS 4102 HAS SOPS 4102 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3875.102
AT ITER 151 NEW BEST:: SOT 9712 SOS 4020 HAS SOPS 4020 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3808.02
AT ITER 159 NEW BEST:: SOT 9646 SOS 4002 HAS SOPS 4002 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3719.002
AT ITER 160 NEW BEST:: SOT 9641 SOS 3971 HAS SOPS 3971 HAS SOUS 3695 HAS SOUPS 3695 WITH SCORE 3698.971
AT ITER 163 NEW BEST:: SOT 9644 SOS 3934 HAS SOPS 3934 HAS SOUS 3658 HAS SOUPS 3658 WITH SCORE 3661.934
AT ITER 170 NEW BEST:: SOT 9624 SOS 3894 HAS SOPS 3894 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3621.894
AT ITER 171 NEW BEST:: SOT 9618 SOS 3882 HAS SOPS 3882 HAS SOUS 3606 HAS SOUPS 3606 WITH SCORE 3609.882
AT ITER 173 NEW BEST:: SOT 9560 SOS 3833 HAS SOPS 3833 HAS SOUS 3547 HAS SOUPS 3547 WITH SCORE 3550.833
AT ITER 180 NEW BEST:: SOT 9560 SOS 3762 HAS SOPS 3762 HAS SOUS 3547 HAS SOUPS 3547 WITH SCORE 3550.762
AT ITER 182 NEW BEST:: SOT 9475 SOS 3641 HAS SOPS 3641 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3429.641
AT ITER 183 NEW BEST:: SOT 9450 SOS 3619 HAS SOPS 3619 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3397.619
AT ITER 188 NEW BEST:: SOT 9447 SOS 3613 HAS SOPS 3613 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3391.613
AT ITER 189 NEW BEST:: SOT 9391 SOS 3568 HAS SOPS 3568 HAS SOUS 3319 HAS SOUPS 3319 WITH SCORE 3322.568
AT ITER 192 NEW BEST:: SOT 9396 SOS 3578 HAS SOPS 3578 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3298.578
AT ITER 194 NEW BEST:: SOT 9395 SOS 3576 HAS SOPS 3576 HAS SOUS 3278 HAS SOUPS 3278 WITH SCORE 3281.576
AT ITER 198 NEW BEST:: SOT 9376 SOS 3538 HAS SOPS 3538 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3243.538
AT ITER 201 NEW BEST:: SOT 9376 SOS 3532 HAS SOPS 3532 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3243.532
AT ITER 206 NEW BEST:: SOT 9367 SOS 3514 HAS SOPS 3514 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3225.514
AT ITER 209 NEW BEST:: SOT 9355 SOS 3490 HAS SOPS 3490 HAS SOUS 3199 HAS SOUPS 3199 WITH SCORE 3202.49
AT ITER 211 NEW BEST:: SOT 9355 SOS 3490 HAS SOPS 3490 HAS SOUS 3166 HAS SOUPS 3166 WITH SCORE 3169.49
AT ITER 215 NEW BEST:: SOT 9312 SOS 3404 HAS SOPS 3404 HAS SOUS 3098 HAS SOUPS 3098 WITH SCORE 3101.404
AT ITER 218 NEW BEST:: SOT 9301 SOS 3366 HAS SOPS 3366 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3081.366
AT ITER 223 NEW BEST:: SOT 9251 SOS 3305 HAS SOPS 3305 HAS SOUS 2989 HAS SOUPS 2989 WITH SCORE 2992.305
AT ITER 225 NEW BEST:: SOT 9247 SOS 3297 HAS SOPS 3297 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2988.297
AT ITER 226 NEW BEST:: SOT 9240 SOS 3283 HAS SOPS 3283 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2976.283
AT ITER 229 NEW BEST:: SOT 9204 SOS 3246 HAS SOPS 3246 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2939.246
AT ITER 230 NEW BEST:: SOT 9182 SOS 3224 HAS SOPS 3224 HAS SOUS 2914 HAS SOUPS 2914 WITH SCORE 2917.224
AT ITER 233 NEW BEST:: SOT 9175 SOS 3210 HAS SOPS 3210 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2903.21
AT ITER 244 NEW BEST:: SOT 9173 SOS 3206 HAS SOPS 3206 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2899.206
AT ITER 253 NEW BEST:: SOT 9173 SOS 3190 HAS SOPS 3190 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2899.19
AT ITER 266 NEW BEST:: SOT 9167 SOS 3178 HAS SOPS 3178 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2887.178
AT ITER 269 NEW BEST:: SOT 9157 SOS 3168 HAS SOPS 3168 HAS SOUS 2874 HAS SOUPS 2874 WITH SCORE 2877.168
AT ITER 275 NEW BEST:: SOT 9134 SOS 3122 HAS SOPS 3122 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2841.122
AT ITER 276 NEW BEST:: SOT 9124 SOS 3102 HAS SOPS 3102 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2818.102
AT ITER 298 NEW BEST:: SOT 9124 SOS 3102 HAS SOPS 3102 HAS SOUS 2768 HAS SOUPS 2768 WITH SCORE 2771.102
AT ITER 301 NEW BEST:: SOT 9124 SOS 3089 HAS SOPS 3089 HAS SOUS 2768 HAS SOUPS 2768 WITH SCORE 2771.089
AT ITER 314 NEW BEST:: SOT 9112 SOS 3112 HAS SOPS 3112 HAS SOUS 2752 HAS SOUPS 2752 WITH SCORE 2755.112
AT ITER 332 NEW BEST:: SOT 9105 SOS 3068 HAS SOPS 3068 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2741.068
AT ITER 335 NEW BEST:: SOT 9093 SOS 3044 HAS SOPS 3044 HAS SOUS 2714 HAS SOUPS 2714 WITH SCORE 2717.044
AT ITER 339 NEW BEST:: SOT 9102 SOS 3027 HAS SOPS 3027 HAS SOUS 2704 HAS SOUPS 2704 WITH SCORE 2707.027
AT ITER 343 NEW BEST:: SOT 9067 SOS 3005 HAS SOPS 3005 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2685.005
AT ITER 351 NEW BEST:: SOT 9067 SOS 2996 HAS SOPS 2996 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2684.996
AT ITER 352 NEW BEST:: SOT 9018 SOS 2937 HAS SOPS 2937 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2612.937
AT ITER 353 NEW BEST:: SOT 9015 SOS 2943 HAS SOPS 2943 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2609.943
AT ITER 356 NEW BEST:: SOT 9010 SOS 2933 HAS SOPS 2933 HAS SOUS 2602 HAS SOUPS 2602 WITH SCORE 2604.933
AT ITER 357 NEW BEST:: SOT 8973 SOS 2859 HAS SOPS 2859 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2530.859
AT ITER 358 NEW BEST:: SOT 8983 SOS 2820 HAS SOPS 2820 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2513.82
AT ITER 363 NEW BEST:: SOT 8960 SOS 2804 HAS SOPS 2804 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2497.804
AT ITER 365 NEW BEST:: SOT 8950 SOS 2809 HAS SOPS 2809 HAS SOUS 2485 HAS SOUPS 2485 WITH SCORE 2487.809
AT ITER 368 NEW BEST:: SOT 8939 SOS 2787 HAS SOPS 2787 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2470.787
AT ITER 370 NEW BEST:: SOT 8932 SOS 2773 HAS SOPS 2773 HAS SOUS 2459 HAS SOUPS 2459 WITH SCORE 2461.773
AT ITER 373 NEW BEST:: SOT 8920 SOS 2749 HAS SOPS 2749 HAS SOUS 2447 HAS SOUPS 2447 WITH SCORE 2449.749
AT ITER 374 NEW BEST:: SOT 8913 SOS 2735 HAS SOPS 2735 HAS SOUS 2441 HAS SOUPS 2441 WITH SCORE 2443.735
AT ITER 378 NEW BEST:: SOT 8879 SOS 2778 HAS SOPS 2778 HAS SOUS 2410 HAS SOUPS 2410 WITH SCORE 2412.778
AT ITER 380 NEW BEST:: SOT 8856 SOS 2732 HAS SOPS 2732 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2357.732
AT ITER 396 NEW BEST:: SOT 8853 SOS 2710 HAS SOPS 2710 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2338.71
AT ITER 399 NEW BEST:: SOT 8846 SOS 2689 HAS SOPS 2689 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.689
AT ITER 407 NEW BEST:: SOT 8822 SOS 2605 HAS SOPS 2605 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.605
AT ITER 408 NEW BEST:: SOT 8822 SOS 2550 HAS SOPS 2550 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.55
AT ITER 410 NEW BEST:: SOT 8818 SOS 2538 HAS SOPS 2538 HAS SOUS 2260 HAS SOUPS 2260 WITH SCORE 2262.538
AT ITER 419 NEW BEST:: SOT 8812 SOS 2520 HAS SOPS 2520 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2250.52
AT ITER 425 NEW BEST:: SOT 8807 SOS 2461 HAS SOPS 2461 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2239.461
AT ITER 437 NEW BEST:: SOT 8807 SOS 2452 HAS SOPS 2452 HAS SOUS 2229 HAS SOUPS 2229 WITH SCORE 2231.452
AT ITER 451 NEW BEST:: SOT 8816 SOS 2470 HAS SOPS 2470 HAS SOUS 2209 HAS SOUPS 2209 WITH SCORE 2211.47
AT ITER 452 NEW BEST:: SOT 8812 SOS 2476 HAS SOPS 2476 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2207.476
AT ITER 456 NEW BEST:: SOT 8803 SOS 2458 HAS SOPS 2458 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2198.458
AT ITER 457 NEW BEST:: SOT 8791 SOS 2455 HAS SOPS 2455 HAS SOUS 2184 HAS SOUPS 2184 WITH SCORE 2186.455
AT ITER 461 NEW BEST:: SOT 8781 SOS 2440 HAS SOPS 2440 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2171.44
AT ITER 474 NEW BEST:: SOT 8754 SOS 2386 HAS SOPS 2386 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2118.386
AT ITER 487 NEW BEST:: SOT 8751 SOS 2380 HAS SOPS 2380 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2116.38
AT ITER 494 NEW BEST:: SOT 8748 SOS 2374 HAS SOPS 2374 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2113.374
AT ITER 499 NEW BEST:: SOT 8742 SOS 2362 HAS SOPS 2362 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2107.362
AT ITER 511 NEW BEST:: SOT 8732 SOS 2362 HAS SOPS 2362 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.362
AT ITER 513 NEW BEST:: SOT 8713 SOS 2363 HAS SOPS 2363 HAS SOUS 2076 HAS SOUPS 2076 WITH SCORE 2078.363
AT ITER 540 NEW BEST:: SOT 8713 SOS 2316 HAS SOPS 2316 HAS SOUS 2076 HAS SOUPS 2076 WITH SCORE 2078.316
AT ITER 542 NEW BEST:: SOT 8704 SOS 2298 HAS SOPS 2298 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2065.298
AT ITER 544 NEW BEST:: SOT 8679 SOS 2248 HAS SOPS 2248 HAS SOUS 2016 HAS SOUPS 2016 WITH SCORE 2018.248
AT ITER 569 NEW BEST:: SOT 8674 SOS 2238 HAS SOPS 2238 HAS SOUS 2006 HAS SOUPS 2006 WITH SCORE 2008.238
AT ITER 571 NEW BEST:: SOT 8669 SOS 2233 HAS SOPS 2233 HAS SOUS 2001 HAS SOUPS 2001 WITH SCORE 2003.233
AT ITER 583 NEW BEST:: SOT 8660 SOS 2215 HAS SOPS 2215 HAS SOUS 1973 HAS SOUPS 1973 WITH SCORE 1975.215
AT ITER 592 NEW BEST:: SOT 8652 SOS 2199 HAS SOPS 2199 HAS SOUS 1957 HAS SOUPS 1957 WITH SCORE 1959.199
AT ITER 596 NEW BEST:: SOT 8648 SOS 2191 HAS SOPS 2191 HAS SOUS 1955 HAS SOUPS 1955 WITH SCORE 1957.191
AT ITER 599 NEW BEST:: SOT 8646 SOS 2187 HAS SOPS 2187 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1949.187
AT ITER 606 NEW BEST:: SOT 8630 SOS 2155 HAS SOPS 2155 HAS SOUS 1888 HAS SOUPS 1888 WITH SCORE 1890.155
AT ITER 611 NEW BEST:: SOT 8615 SOS 2125 HAS SOPS 2125 HAS SOUS 1867 HAS SOUPS 1867 WITH SCORE 1869.125
AT ITER 614 NEW BEST:: SOT 8596 SOS 2106 HAS SOPS 2106 HAS SOUS 1829 HAS SOUPS 1829 WITH SCORE 1831.106
AT ITER 622 NEW BEST:: SOT 8596 SOS 2096 HAS SOPS 2096 HAS SOUS 1829 HAS SOUPS 1829 WITH SCORE 1831.096
AT ITER 646 NEW BEST:: SOT 8595 SOS 2093 HAS SOPS 2093 HAS SOUS 1828 HAS SOUPS 1828 WITH SCORE 1830.093
AT ITER 653 NEW BEST:: SOT 8597 SOS 2097 HAS SOPS 2097 HAS SOUS 1827 HAS SOUPS 1827 WITH SCORE 1829.097
AT ITER 660 NEW BEST:: SOT 8567 SOS 2037 HAS SOPS 2037 HAS SOUS 1797 HAS SOUPS 1797 WITH SCORE 1799.037
AT ITER 661 NEW BEST:: SOT 8551 SOS 2005 HAS SOPS 2005 HAS SOUS 1765 HAS SOUPS 1765 WITH SCORE 1767.005
AT ITER 672 NEW BEST:: SOT 8539 SOS 1992 HAS SOPS 1992 HAS SOUS 1742 HAS SOUPS 1742 WITH SCORE 1743.992
AT ITER 689 NEW BEST:: SOT 8537 SOS 2009 HAS SOPS 2009 HAS SOUS 1740 HAS SOUPS 1740 WITH SCORE 1742.009
AT ITER 694 NEW BEST:: SOT 8515 SOS 2001 HAS SOPS 2001 HAS SOUS 1725 HAS SOUPS 1725 WITH SCORE 1727.001
AT ITER 720 NEW BEST:: SOT 8515 SOS 2001 HAS SOPS 2001 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1713.001
AT ITER 726 NEW BEST:: SOT 8524 SOS 1983 HAS SOPS 1983 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1694.983
AT ITER 730 NEW BEST:: SOT 8518 SOS 1931 HAS SOPS 1931 HAS SOUS 1687 HAS SOUPS 1687 WITH SCORE 1688.931
AT ITER 735 NEW BEST:: SOT 8511 SOS 1924 HAS SOPS 1924 HAS SOUS 1680 HAS SOUPS 1680 WITH SCORE 1681.924
AT ITER 744 NEW BEST:: SOT 8507 SOS 1908 HAS SOPS 1908 HAS SOUS 1675 HAS SOUPS 1675 WITH SCORE 1676.908
AT ITER 751 NEW BEST:: SOT 8505 SOS 1904 HAS SOPS 1904 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1675.904
AT ITER 761 NEW BEST:: SOT 8505 SOS 1895 HAS SOPS 1895 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1675.895
AT ITER 766 NEW BEST:: SOT 8495 SOS 1875 HAS SOPS 1875 HAS SOUS 1664 HAS SOUPS 1664 WITH SCORE 1665.875
AT ITER 770 NEW BEST:: SOT 8492 SOS 1869 HAS SOPS 1869 HAS SOUS 1658 HAS SOUPS 1658 WITH SCORE 1659.869
AT ITER 785 NEW BEST:: SOT 8488 SOS 1857 HAS SOPS 1857 HAS SOUS 1650 HAS SOUPS 1650 WITH SCORE 1651.857
AT ITER 791 NEW BEST:: SOT 8485 SOS 1851 HAS SOPS 1851 HAS SOUS 1647 HAS SOUPS 1647 WITH SCORE 1648.851
AT ITER 843 NEW BEST:: SOT 8479 SOS 1845 HAS SOPS 1845 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1642.845
AT ITER 848 NEW BEST:: SOT 8479 SOS 1820 HAS SOPS 1820 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1642.82
AT ITER 850 NEW BEST:: SOT 8471 SOS 1796 HAS SOPS 1796 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1627.796
AT ITER 857 NEW BEST:: SOT 8464 SOS 1817 HAS SOPS 1817 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1622.817
AT ITER 900 NEW BEST:: SOT 8460 SOS 1813 HAS SOPS 1813 HAS SOUS 1617 HAS SOUPS 1617 WITH SCORE 1618.813
AT ITER 912 NEW BEST:: SOT 8458 SOS 1809 HAS SOPS 1809 HAS SOUS 1605 HAS SOUPS 1605 WITH SCORE 1606.809
AT ITER 924 NEW BEST:: SOT 8455 SOS 1803 HAS SOPS 1803 HAS SOUS 1599 HAS SOUPS 1599 WITH SCORE 1600.803
AT ITER 930 NEW BEST:: SOT 8455 SOS 1798 HAS SOPS 1798 HAS SOUS 1595 HAS SOUPS 1595 WITH SCORE 1596.798
AT ITER 945 NEW BEST:: SOT 8447 SOS 1782 HAS SOPS 1782 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1580.782
AT ITER 949 NEW BEST:: SOT 8445 SOS 1778 HAS SOPS 1778 HAS SOUS 1575 HAS SOUPS 1575 WITH SCORE 1576.778
AT ITER 968 NEW BEST:: SOT 8437 SOS 1762 HAS SOPS 1762 HAS SOUS 1559 HAS SOUPS 1559 WITH SCORE 1560.762
AT ITER 982 NEW BEST:: SOT 8436 SOS 1760 HAS SOPS 1760 HAS SOUS 1557 HAS SOUPS 1557 WITH SCORE 1558.76
AT ITER 985 NEW BEST:: SOT 8428 SOS 1770 HAS SOPS 1770 HAS SOUS 1548 HAS SOUPS 1548 WITH SCORE 1549.77
AT ITER 987 NEW BEST:: SOT 8418 SOS 1750 HAS SOPS 1750 HAS SOUS 1538 HAS SOUPS 1538 WITH SCORE 1539.75
AT ITER 1007 NEW BEST:: SOT 8410 SOS 1734 HAS SOPS 1734 HAS SOUS 1530 HAS SOUPS 1530 WITH SCORE 1531.734
AT ITER 1016 NEW BEST:: SOT 8403 SOS 1720 HAS SOPS 1720 HAS SOUS 1515 HAS SOUPS 1515 WITH SCORE 1516.72
AT ITER 1024 NEW BEST:: SOT 8391 SOS 1696 HAS SOPS 1696 HAS SOUS 1494 HAS SOUPS 1494 WITH SCORE 1495.696
AT ITER 1060 NEW BEST:: SOT 8387 SOS 1684 HAS SOPS 1684 HAS SOUS 1486 HAS SOUPS 1486 WITH SCORE 1487.684
AT ITER 1062 NEW BEST:: SOT 8379 SOS 1676 HAS SOPS 1676 HAS SOUS 1485 HAS SOUPS 1485 WITH SCORE 1486.676
AT ITER 1108 NEW BEST:: SOT 8371 SOS 1638 HAS SOPS 1638 HAS SOUS 1473 HAS SOUPS 1473 WITH SCORE 1474.638
AT ITER 1111 NEW BEST:: SOT 8369 SOS 1636 HAS SOPS 1636 HAS SOUS 1471 HAS SOUPS 1471 WITH SCORE 1472.636
AT ITER 1115 NEW BEST:: SOT 8369 SOS 1621 HAS SOPS 1621 HAS SOUS 1460 HAS SOUPS 1460 WITH SCORE 1461.621
AT ITER 1116 NEW BEST:: SOT 8361 SOS 1613 HAS SOPS 1613 HAS SOUS 1444 HAS SOUPS 1444 WITH SCORE 1445.613
AT ITER 1123 NEW BEST:: SOT 8346 SOS 1568 HAS SOPS 1568 HAS SOUS 1429 HAS SOUPS 1429 WITH SCORE 1430.568
AT ITER 1139 NEW BEST:: SOT 8346 SOS 1568 HAS SOPS 1568 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1427.568
AT ITER 1147 NEW BEST:: SOT 8346 SOS 1564 HAS SOPS 1564 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1427.564
AT ITER 1149 NEW BEST:: SOT 8346 SOS 1563 HAS SOPS 1563 HAS SOUS 1425 HAS SOUPS 1425 WITH SCORE 1426.563
AT ITER 1167 NEW BEST:: SOT 8343 SOS 1559 HAS SOPS 1559 HAS SOUS 1421 HAS SOUPS 1421 WITH SCORE 1422.559
AT ITER 1194 NEW BEST:: SOT 8330 SOS 1533 HAS SOPS 1533 HAS SOUS 1395 HAS SOUPS 1395 WITH SCORE 1396.533
AT ITER 1251 NEW BEST:: SOT 8324 SOS 1521 HAS SOPS 1521 HAS SOUS 1388 HAS SOUPS 1388 WITH SCORE 1389.521
AT ITER 1253 NEW BEST:: SOT 8320 SOS 1524 HAS SOPS 1524 HAS SOUS 1384 HAS SOUPS 1384 WITH SCORE 1385.524
AT ITER 1254 NEW BEST:: SOT 8320 SOS 1523 HAS SOPS 1523 HAS SOUS 1384 HAS SOUPS 1384 WITH SCORE 1385.523
AT ITER 1262 NEW BEST:: SOT 8317 SOS 1520 HAS SOPS 1520 HAS SOUS 1381 HAS SOUPS 1381 WITH SCORE 1382.52
AT ITER 1279 NEW BEST:: SOT 8313 SOS 1508 HAS SOPS 1508 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1375.508
AT ITER 1313 NEW BEST:: SOT 8313 SOS 1508 HAS SOPS 1508 HAS SOUS 1371 HAS SOUPS 1371 WITH SCORE 1372.508
AT ITER 1327 NEW BEST:: SOT 8302 SOS 1497 HAS SOPS 1497 HAS SOUS 1353 HAS SOUPS 1353 WITH SCORE 1354.497
AT ITER 1344 NEW BEST:: SOT 8292 SOS 1477 HAS SOPS 1477 HAS SOUS 1329 HAS SOUPS 1329 WITH SCORE 1330.477
AT ITER 1350 NEW BEST:: SOT 8289 SOS 1471 HAS SOPS 1471 HAS SOUS 1325 HAS SOUPS 1325 WITH SCORE 1326.471
AT ITER 1351 NEW BEST:: SOT 8286 SOS 1468 HAS SOPS 1468 HAS SOUS 1322 HAS SOUPS 1322 WITH SCORE 1323.468
AT ITER 1354 NEW BEST:: SOT 8286 SOS 1451 HAS SOPS 1451 HAS SOUS 1322 HAS SOUPS 1322 WITH SCORE 1323.451
AT ITER 1362 NEW BEST:: SOT 8285 SOS 1449 HAS SOPS 1449 HAS SOUS 1320 HAS SOUPS 1320 WITH SCORE 1321.449
AT ITER 1364 NEW BEST:: SOT 8280 SOS 1439 HAS SOPS 1439 HAS SOUS 1315 HAS SOUPS 1315 WITH SCORE 1316.439
AT ITER 1388 NEW BEST:: SOT 8280 SOS 1437 HAS SOPS 1437 HAS SOUS 1313 HAS SOUPS 1313 WITH SCORE 1314.437
AT ITER 1395 NEW BEST:: SOT 8280 SOS 1436 HAS SOPS 1436 HAS SOUS 1312 HAS SOUPS 1312 WITH SCORE 1313.436
AT ITER 1420 NEW BEST:: SOT 8280 SOS 1436 HAS SOPS 1436 HAS SOUS 1309 HAS SOUPS 1309 WITH SCORE 1310.436
AT ITER 1441 NEW BEST:: SOT 8277 SOS 1421 HAS SOPS 1421 HAS SOUS 1304 HAS SOUPS 1304 WITH SCORE 1305.421
AT ITER 1481 NEW BEST:: SOT 8277 SOS 1406 HAS SOPS 1406 HAS SOUS 1304 HAS SOUPS 1304 WITH SCORE 1305.406
AT ITER 1485 NEW BEST:: SOT 8272 SOS 1414 HAS SOPS 1414 HAS SOUS 1299 HAS SOUPS 1299 WITH SCORE 1300.414
AT ITER 1490 NEW BEST:: SOT 8272 SOS 1414 HAS SOPS 1414 HAS SOUS 1291 HAS SOUPS 1291 WITH SCORE 1292.414
AT ITER 1499 NEW BEST:: SOT 8272 SOS 1414 HAS SOPS 1414 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1289.414
AT ITER 1518 NEW BEST:: SOT 8268 SOS 1406 HAS SOPS 1406 HAS SOUS 1270 HAS SOUPS 1270 WITH SCORE 1271.406
AT ITER 1525 NEW BEST:: SOT 8258 SOS 1386 HAS SOPS 1386 HAS SOUS 1250 HAS SOUPS 1250 WITH SCORE 1251.386
AT ITER 1533 NEW BEST:: SOT 8246 SOS 1362 HAS SOPS 1362 HAS SOUS 1232 HAS SOUPS 1232 WITH SCORE 1233.362
AT ITER 1564 NEW BEST:: SOT 8245 SOS 1360 HAS SOPS 1360 HAS SOUS 1231 HAS SOUPS 1231 WITH SCORE 1232.36
AT ITER 1568 NEW BEST:: SOT 8238 SOS 1346 HAS SOPS 1346 HAS SOUS 1223 HAS SOUPS 1223 WITH SCORE 1224.346
AT ITER 1595 NEW BEST:: SOT 8231 SOS 1332 HAS SOPS 1332 HAS SOUS 1216 HAS SOUPS 1216 WITH SCORE 1217.332
AT ITER 1599 NEW BEST:: SOT 8218 SOS 1306 HAS SOPS 1306 HAS SOUS 1194 HAS SOUPS 1194 WITH SCORE 1195.306
AT ITER 1607 NEW BEST:: SOT 8218 SOS 1303 HAS SOPS 1303 HAS SOUS 1194 HAS SOUPS 1194 WITH SCORE 1195.303
AT ITER 1652 NEW BEST:: SOT 8208 SOS 1283 HAS SOPS 1283 HAS SOUS 1181 HAS SOUPS 1181 WITH SCORE 1182.283
AT ITER 1663 NEW BEST:: SOT 8208 SOS 1282 HAS SOPS 1282 HAS SOUS 1181 HAS SOUPS 1181 WITH SCORE 1182.282
AT ITER 1675 NEW BEST:: SOT 8208 SOS 1282 HAS SOPS 1282 HAS SOUS 1180 HAS SOUPS 1180 WITH SCORE 1181.282
AT ITER 1681 NEW BEST:: SOT 8202 SOS 1270 HAS SOPS 1270 HAS SOUS 1170 HAS SOUPS 1170 WITH SCORE 1171.27
AT ITER 1688 NEW BEST:: SOT 8198 SOS 1262 HAS SOPS 1262 HAS SOUS 1155 HAS SOUPS 1155 WITH SCORE 1156.262
AT ITER 1710 NEW BEST:: SOT 8195 SOS 1256 HAS SOPS 1256 HAS SOUS 1152 HAS SOUPS 1152 WITH SCORE 1153.256
AT ITER 1711 NEW BEST:: SOT 8179 SOS 1224 HAS SOPS 1224 HAS SOUS 1120 HAS SOUPS 1120 WITH SCORE 1121.224
AT ITER 1731 NEW BEST:: SOT 8176 SOS 1218 HAS SOPS 1218 HAS SOUS 1119 HAS SOUPS 1119 WITH SCORE 1120.218
AT ITER 1760 NEW BEST:: SOT 8175 SOS 1217 HAS SOPS 1217 HAS SOUS 1118 HAS SOUPS 1118 WITH SCORE 1119.217
AT ITER 1766 NEW BEST:: SOT 8171 SOS 1209 HAS SOPS 1209 HAS SOUS 1114 HAS SOUPS 1114 WITH SCORE 1115.209
AT ITER 1771 NEW BEST:: SOT 8170 SOS 1221 HAS SOPS 1221 HAS SOUS 1113 HAS SOUPS 1113 WITH SCORE 1114.221
AT ITER 1777 NEW BEST:: SOT 8161 SOS 1203 HAS SOPS 1203 HAS SOUS 1095 HAS SOUPS 1095 WITH SCORE 1096.203
AT ITER 1780 NEW BEST:: SOT 8156 SOS 1182 HAS SOPS 1182 HAS SOUS 1080 HAS SOUPS 1080 WITH SCORE 1081.182
AT ITER 1787 NEW BEST:: SOT 8155 SOS 1166 HAS SOPS 1166 HAS SOUS 1079 HAS SOUPS 1079 WITH SCORE 1080.166
AT ITER 1827 NEW BEST:: SOT 8152 SOS 1160 HAS SOPS 1160 HAS SOUS 1076 HAS SOUPS 1076 WITH SCORE 1077.16
AT ITER 1836 NEW BEST:: SOT 8151 SOS 1159 HAS SOPS 1159 HAS SOUS 1075 HAS SOUPS 1075 WITH SCORE 1076.159
AT ITER 1875 NEW BEST:: SOT 8145 SOS 1150 HAS SOPS 1150 HAS SOUS 1066 HAS SOUPS 1066 WITH SCORE 1067.15
AT ITER 1883 NEW BEST:: SOT 8143 SOS 1146 HAS SOPS 1146 HAS SOUS 1062 HAS SOUPS 1062 WITH SCORE 1063.146
AT ITER 1884 NEW BEST:: SOT 8141 SOS 1132 HAS SOPS 1132 HAS SOUS 1060 HAS SOUPS 1060 WITH SCORE 1061.132
AT ITER 1889 NEW BEST:: SOT 8136 SOS 1122 HAS SOPS 1122 HAS SOUS 1044 HAS SOUPS 1044 WITH SCORE 1045.122
AT ITER 1904 NEW BEST:: SOT 8127 SOS 1104 HAS SOPS 1104 HAS SOUS 1032 HAS SOUPS 1032 WITH SCORE 1033.104
AT ITER 1916 NEW BEST:: SOT 8123 SOS 1096 HAS SOPS 1096 HAS SOUS 1024 HAS SOUPS 1024 WITH SCORE 1025.096
AT ITER 1962 NEW BEST:: SOT 8123 SOS 1096 HAS SOPS 1096 HAS SOUS 1019 HAS SOUPS 1019 WITH SCORE 1020.096
AT ITER 2018 NEW BEST:: SOT 8123 SOS 1092 HAS SOPS 1092 HAS SOUS 1015 HAS SOUPS 1015 WITH SCORE 1016.092
AT ITER 2031 NEW BEST:: SOT 8121 SOS 1092 HAS SOPS 1092 HAS SOUS 1013 HAS SOUPS 1013 WITH SCORE 1014.092
AT ITER 2040 NEW BEST:: SOT 8119 SOS 1088 HAS SOPS 1088 HAS SOUS 1011 HAS SOUPS 1011 WITH SCORE 1012.088
AT ITER 2044 NEW BEST:: SOT 8117 SOS 1084 HAS SOPS 1084 HAS SOUS 1007 HAS SOUPS 1007 WITH SCORE 1008.084
AT ITER 2051 NEW BEST:: SOT 8115 SOS 1082 HAS SOPS 1082 HAS SOUS 1005 HAS SOUPS 1005 WITH SCORE 1006.082
AT ITER 2100 NEW BEST:: SOT 8107 SOS 1066 HAS SOPS 1066 HAS SOUS 989 HAS SOUPS 989 WITH SCORE 990.066
AT ITER 2120 NEW BEST:: SOT 8103 SOS 1058 HAS SOPS 1058 HAS SOUS 985 HAS SOUPS 985 WITH SCORE 986.058
AT ITER 2130 NEW BEST:: SOT 8103 SOS 1052 HAS SOPS 1052 HAS SOUS 985 HAS SOUPS 985 WITH SCORE 986.052
AT ITER 2135 NEW BEST:: SOT 8093 SOS 1041 HAS SOPS 1041 HAS SOUS 974 HAS SOUPS 974 WITH SCORE 975.041
AT ITER 2188 NEW BEST:: SOT 8092 SOS 1046 HAS SOPS 1046 HAS SOUS 973 HAS SOUPS 973 WITH SCORE 974.046
AT ITER 2190 NEW BEST:: SOT 8078 SOS 1029 HAS SOPS 1029 HAS SOUS 956 HAS SOUPS 956 WITH SCORE 957.029
AT ITER 2192 NEW BEST:: SOT 8074 SOS 1029 HAS SOPS 1029 HAS SOUS 954 HAS SOUPS 954 WITH SCORE 955.029
AT ITER 2218 NEW BEST:: SOT 8068 SOS 1017 HAS SOPS 1017 HAS SOUS 942 HAS SOUPS 942 WITH SCORE 943.017
AT ITER 2257 NEW BEST:: SOT 8065 SOS 1014 HAS SOPS 1014 HAS SOUS 939 HAS SOUPS 939 WITH SCORE 940.014
AT ITER 2278 NEW BEST:: SOT 8065 SOS 1005 HAS SOPS 1005 HAS SOUS 939 HAS SOUPS 939 WITH SCORE 940.005
AT ITER 2288 NEW BEST:: SOT 8065 SOS 1003 HAS SOPS 1003 HAS SOUS 939 HAS SOUPS 939 WITH SCORE 940.003
AT ITER 2295 NEW BEST:: SOT 8050 SOS 973 HAS SOPS 973 HAS SOUS 916 HAS SOUPS 916 WITH SCORE 916.973
AT ITER 2327 NEW BEST:: SOT 8046 SOS 980 HAS SOPS 980 HAS SOUS 911 HAS SOUPS 911 WITH SCORE 911.98
AT ITER 2364 NEW BEST:: SOT 8044 SOS 976 HAS SOPS 976 HAS SOUS 907 HAS SOUPS 907 WITH SCORE 907.976
AT ITER 2410 NEW BEST:: SOT 8043 SOS 974 HAS SOPS 974 HAS SOUS 905 HAS SOUPS 905 WITH SCORE 905.974
AT ITER 2417 NEW BEST:: SOT 8041 SOS 970 HAS SOPS 970 HAS SOUS 901 HAS SOUPS 901 WITH SCORE 901.97
AT ITER 2423 NEW BEST:: SOT 8038 SOS 968 HAS SOPS 968 HAS SOUS 898 HAS SOUPS 898 WITH SCORE 898.968
AT ITER 2440 NEW BEST:: SOT 8038 SOS 956 HAS SOPS 956 HAS SOUS 898 HAS SOUPS 898 WITH SCORE 898.956
AT ITER 2456 NEW BEST:: SOT 8038 SOS 954 HAS SOPS 954 HAS SOUS 896 HAS SOUPS 896 WITH SCORE 896.954
AT ITER 2460 NEW BEST:: SOT 8036 SOS 952 HAS SOPS 952 HAS SOUS 894 HAS SOUPS 894 WITH SCORE 894.952
AT ITER 2487 NEW BEST:: SOT 8034 SOS 956 HAS SOPS 956 HAS SOUS 892 HAS SOUPS 892 WITH SCORE 892.956
AT ITER 2495 NEW BEST:: SOT 8032 SOS 952 HAS SOPS 952 HAS SOUS 890 HAS SOUPS 890 WITH SCORE 890.952
AT ITER 2565 NEW BEST:: SOT 8029 SOS 946 HAS SOPS 946 HAS SOUS 887 HAS SOUPS 887 WITH SCORE 887.946
AT ITER 2666 NEW BEST:: SOT 8029 SOS 946 HAS SOPS 946 HAS SOUS 880 HAS SOUPS 880 WITH SCORE 880.946
AT ITER 2722 NEW BEST:: SOT 8028 SOS 944 HAS SOPS 944 HAS SOUS 878 HAS SOUPS 878 WITH SCORE 878.944
AT ITER 2744 NEW BEST:: SOT 8028 SOS 944 HAS SOPS 944 HAS SOUS 876 HAS SOUPS 876 WITH SCORE 876.944
AT ITER 2763 NEW BEST:: SOT 8021 SOS 930 HAS SOPS 930 HAS SOUS 857 HAS SOUPS 857 WITH SCORE 857.93
AT ITER 2767 NEW BEST:: SOT 8020 SOS 928 HAS SOPS 928 HAS SOUS 856 HAS SOUPS 856 WITH SCORE 856.928
AT ITER 2802 NEW BEST:: SOT 8019 SOS 926 HAS SOPS 926 HAS SOUS 855 HAS SOUPS 855 WITH SCORE 855.926
AT ITER 2809 NEW BEST:: SOT 8017 SOS 922 HAS SOPS 922 HAS SOUS 851 HAS SOUPS 851 WITH SCORE 851.922
AT ITER 2840 NEW BEST:: SOT 8014 SOS 916 HAS SOPS 916 HAS SOUS 847 HAS SOUPS 847 WITH SCORE 847.916
AT ITER 2860 NEW BEST:: SOT 8002 SOS 892 HAS SOPS 892 HAS SOUS 816 HAS SOUPS 816 WITH SCORE 816.892
AT ITER 2872 NEW BEST:: SOT 8002 SOS 884 HAS SOPS 884 HAS SOUS 816 HAS SOUPS 816 WITH SCORE 816.884
AT ITER 2887 NEW BEST:: SOT 7995 SOS 870 HAS SOPS 870 HAS SOUS 809 HAS SOUPS 809 WITH SCORE 809.87
AT ITER 2902 NEW BEST:: SOT 7983 SOS 854 HAS SOPS 854 HAS SOUS 792 HAS SOUPS 792 WITH SCORE 792.854
AT ITER 3067 NEW BEST:: SOT 7983 SOS 848 HAS SOPS 848 HAS SOUS 788 HAS SOUPS 788 WITH SCORE 788.848
AT ITER 3087 NEW BEST:: SOT 7983 SOS 845 HAS SOPS 845 HAS SOUS 788 HAS SOUPS 788 WITH SCORE 788.845
AT ITER 3091 NEW BEST:: SOT 7979 SOS 833 HAS SOPS 833 HAS SOUS 780 HAS SOUPS 780 WITH SCORE 780.833
AT ITER 3098 NEW BEST:: SOT 7978 SOS 832 HAS SOPS 832 HAS SOUS 779 HAS SOUPS 779 WITH SCORE 779.832
AT ITER 3111 NEW BEST:: SOT 7974 SOS 830 HAS SOPS 830 HAS SOUS 775 HAS SOUPS 775 WITH SCORE 775.83
AT ITER 3164 NEW BEST:: SOT 7973 SOS 830 HAS SOPS 830 HAS SOUS 774 HAS SOUPS 774 WITH SCORE 774.83
AT ITER 3171 NEW BEST:: SOT 7969 SOS 822 HAS SOPS 822 HAS SOUS 768 HAS SOUPS 768 WITH SCORE 768.822
AT ITER 3183 NEW BEST:: SOT 7962 SOS 819 HAS SOPS 819 HAS SOUS 761 HAS SOUPS 761 WITH SCORE 761.819
AT ITER 3201 NEW BEST:: SOT 7951 SOS 811 HAS SOPS 811 HAS SOUS 747 HAS SOUPS 747 WITH SCORE 747.811
AT ITER 3261 NEW BEST:: SOT 7953 SOS 815 HAS SOPS 815 HAS SOUS 745 HAS SOUPS 745 WITH SCORE 745.815
AT ITER 3305 NEW BEST:: SOT 7956 SOS 814 HAS SOPS 814 HAS SOUS 744 HAS SOUPS 744 WITH SCORE 744.814
AT ITER 3333 NEW BEST:: SOT 7956 SOS 808 HAS SOPS 808 HAS SOUS 744 HAS SOUPS 744 WITH SCORE 744.808
AT ITER 3411 NEW BEST:: SOT 7956 SOS 808 HAS SOPS 808 HAS SOUS 743 HAS SOUPS 743 WITH SCORE 743.808
AT ITER 3463 NEW BEST:: SOT 7955 SOS 805 HAS SOPS 805 HAS SOUS 741 HAS SOUPS 741 WITH SCORE 741.805
AT ITER 3468 NEW BEST:: SOT 7954 SOS 803 HAS SOPS 803 HAS SOUS 736 HAS SOUPS 736 WITH SCORE 736.803
AT ITER 3507 NEW BEST:: SOT 7951 SOS 801 HAS SOPS 801 HAS SOUS 734 HAS SOUPS 734 WITH SCORE 734.801
AT ITER 3520 NEW BEST:: SOT 7942 SOS 804 HAS SOPS 804 HAS SOUS 733 HAS SOUPS 733 WITH SCORE 733.804
AT ITER 3585 NEW BEST:: SOT 7940 SOS 797 HAS SOPS 797 HAS SOUS 728 HAS SOUPS 728 WITH SCORE 728.797
AT ITER 3603 NEW BEST:: SOT 7940 SOS 797 HAS SOPS 797 HAS SOUS 722 HAS SOUPS 722 WITH SCORE 722.797
AT ITER 3605 NEW BEST:: SOT 7933 SOS 783 HAS SOPS 783 HAS SOUS 710 HAS SOUPS 710 WITH SCORE 710.783
AT ITER 3623 NEW BEST:: SOT 7928 SOS 773 HAS SOPS 773 HAS SOUS 703 HAS SOUPS 703 WITH SCORE 703.773
AT ITER 3690 NEW BEST:: SOT 7924 SOS 765 HAS SOPS 765 HAS SOUS 695 HAS SOUPS 695 WITH SCORE 695.765
AT ITER 3691 NEW BEST:: SOT 7923 SOS 759 HAS SOPS 759 HAS SOUS 692 HAS SOUPS 692 WITH SCORE 692.759
AT ITER 3702 NEW BEST:: SOT 7921 SOS 755 HAS SOPS 755 HAS SOUS 680 HAS SOUPS 680 WITH SCORE 680.755
AT ITER 3708 NEW BEST:: SOT 7921 SOS 747 HAS SOPS 747 HAS SOUS 680 HAS SOUPS 680 WITH SCORE 680.747
AT ITER 3726 NEW BEST:: SOT 7917 SOS 739 HAS SOPS 739 HAS SOUS 669 HAS SOUPS 669 WITH SCORE 669.739
AT ITER 3754 NEW BEST:: SOT 7917 SOS 735 HAS SOPS 735 HAS SOUS 666 HAS SOUPS 666 WITH SCORE 666.735
AT ITER 3877 NEW BEST:: SOT 7917 SOS 726 HAS SOPS 726 HAS SOUS 666 HAS SOUPS 666 WITH SCORE 666.726
AT ITER 3909 NEW BEST:: SOT 7914 SOS 720 HAS SOPS 720 HAS SOUS 658 HAS SOUPS 658 WITH SCORE 658.72
AT ITER 3917 NEW BEST:: SOT 7913 SOS 718 HAS SOPS 718 HAS SOUS 654 HAS SOUPS 654 WITH SCORE 654.718
AT ITER 3962 NEW BEST:: SOT 7909 SOS 710 HAS SOPS 710 HAS SOUS 650 HAS SOUPS 650 WITH SCORE 650.71
AT ITER 3965 NEW BEST:: SOT 7908 SOS 706 HAS SOPS 706 HAS SOUS 647 HAS SOUPS 647 WITH SCORE 647.706
AT ITER 3992 NEW BEST:: SOT 7907 SOS 698 HAS SOPS 698 HAS SOUS 643 HAS SOUPS 643 WITH SCORE 643.698
AT ITER 4096 NEW BEST:: SOT 7907 SOS 688 HAS SOPS 688 HAS SOUS 634 HAS SOUPS 634 WITH SCORE 634.688
AT ITER 4162 NEW BEST:: SOT 7906 SOS 685 HAS SOPS 685 HAS SOUS 632 HAS SOUPS 632 WITH SCORE 632.685
AT ITER 4169 NEW BEST:: SOT 7905 SOS 683 HAS SOPS 683 HAS SOUS 630 HAS SOUPS 630 WITH SCORE 630.683
AT ITER 4216 NEW BEST:: SOT 7905 SOS 682 HAS SOPS 682 HAS SOUS 629 HAS SOUPS 629 WITH SCORE 629.682
AT ITER 4263 NEW BEST:: SOT 7901 SOS 674 HAS SOPS 674 HAS SOUS 621 HAS SOUPS 621 WITH SCORE 621.674
AT ITER 4321 NEW BEST:: SOT 7896 SOS 679 HAS SOPS 679 HAS SOUS 616 HAS SOUPS 616 WITH SCORE 616.679
AT ITER 4328 NEW BEST:: SOT 7895 SOS 677 HAS SOPS 677 HAS SOUS 614 HAS SOUPS 614 WITH SCORE 614.677
AT ITER 4331 NEW BEST:: SOT 7893 SOS 673 HAS SOPS 673 HAS SOUS 611 HAS SOUPS 611 WITH SCORE 611.673
AT ITER 4475 NEW BEST:: SOT 7893 SOS 671 HAS SOPS 671 HAS SOUS 609 HAS SOUPS 609 WITH SCORE 609.671
AT ITER 4663 NEW BEST:: SOT 7889 SOS 670 HAS SOPS 670 HAS SOUS 604 HAS SOUPS 604 WITH SCORE 604.67
AT ITER 4670 NEW BEST:: SOT 7888 SOS 667 HAS SOPS 667 HAS SOUS 602 HAS SOUPS 602 WITH SCORE 602.667
AT ITER 4729 NEW BEST:: SOT 7887 SOS 664 HAS SOPS 664 HAS SOUS 600 HAS SOUPS 600 WITH SCORE 600.664
AT ITER 4734 NEW BEST:: SOT 7886 SOS 663 HAS SOPS 663 HAS SOUS 599 HAS SOUPS 599 WITH SCORE 599.663
AT ITER 5069 NEW BEST:: SOT 7886 SOS 661 HAS SOPS 661 HAS SOUS 597 HAS SOUPS 597 WITH SCORE 597.661
AT ITER 5153 NEW BEST:: SOT 7885 SOS 658 HAS SOPS 658 HAS SOUS 595 HAS SOUPS 595 WITH SCORE 595.658
AT ITER 5268 NEW BEST:: SOT 7884 SOS 655 HAS SOPS 655 HAS SOUS 593 HAS SOUPS 593 WITH SCORE 593.655
AT ITER 5314 NEW BEST:: SOT 7881 SOS 649 HAS SOPS 649 HAS SOUS 587 HAS SOUPS 587 WITH SCORE 587.649
AT ITER 5465 NEW BEST:: SOT 7879 SOS 645 HAS SOPS 645 HAS SOUS 582 HAS SOUPS 582 WITH SCORE 582.645
AT ITER 5493 NEW BEST:: SOT 7877 SOS 641 HAS SOPS 641 HAS SOUS 580 HAS SOUPS 580 WITH SCORE 580.641
AT ITER 5540 NEW BEST:: SOT 7875 SOS 637 HAS SOPS 637 HAS SOUS 577 HAS SOUPS 577 WITH SCORE 577.637
AT ITER 5565 NEW BEST:: SOT 7875 SOS 636 HAS SOPS 636 HAS SOUS 576 HAS SOUPS 576 WITH SCORE 576.636
AT ITER 5678 NEW BEST:: SOT 7872 SOS 634 HAS SOPS 634 HAS SOUS 574 HAS SOUPS 574 WITH SCORE 574.634
AT ITER 5718 NEW BEST:: SOT 7870 SOS 630 HAS SOPS 630 HAS SOUS 569 HAS SOUPS 569 WITH SCORE 569.63
AT ITER 5733 NEW BEST:: SOT 7870 SOS 630 HAS SOPS 630 HAS SOUS 567 HAS SOUPS 567 WITH SCORE 567.63
AT ITER 5808 NEW BEST:: SOT 7869 SOS 628 HAS SOPS 628 HAS SOUS 566 HAS SOUPS 566 WITH SCORE 566.628
AT ITER 5810 NEW BEST:: SOT 7868 SOS 617 HAS SOPS 617 HAS SOUS 564 HAS SOUPS 564 WITH SCORE 564.617
AT ITER 5813 NEW BEST:: SOT 7867 SOS 615 HAS SOPS 615 HAS SOUS 563 HAS SOUPS 563 WITH SCORE 563.615
AT ITER 5830 NEW BEST:: SOT 7867 SOS 614 HAS SOPS 614 HAS SOUS 563 HAS SOUPS 563 WITH SCORE 563.614
AT ITER 5873 NEW BEST:: SOT 7866 SOS 612 HAS SOPS 612 HAS SOUS 561 HAS SOUPS 561 WITH SCORE 561.612
AT ITER 6044 NEW BEST:: SOT 7864 SOS 608 HAS SOPS 608 HAS SOUS 557 HAS SOUPS 557 WITH SCORE 557.608
AT ITER 6142 NEW BEST:: SOT 7867 SOS 605 HAS SOPS 605 HAS SOUS 554 HAS SOUPS 554 WITH SCORE 554.605
AT ITER 6186 NEW BEST:: SOT 7864 SOS 599 HAS SOPS 599 HAS SOUS 548 HAS SOUPS 548 WITH SCORE 548.599
AT ITER 6263 NEW BEST:: SOT 7863 SOS 597 HAS SOPS 597 HAS SOUS 545 HAS SOUPS 545 WITH SCORE 545.597
AT ITER 6402 NEW BEST:: SOT 7864 SOS 599 HAS SOPS 599 HAS SOUS 543 HAS SOUPS 543 WITH SCORE 543.599
AT ITER 6726 NEW BEST:: SOT 7863 SOS 597 HAS SOPS 597 HAS SOUS 543 HAS SOUPS 543 WITH SCORE 543.597
AT ITER 6731 NEW BEST:: SOT 7863 SOS 596 HAS SOPS 596 HAS SOUS 543 HAS SOUPS 543 WITH SCORE 543.596
AT ITER 6741 NEW BEST:: SOT 7862 SOS 595 HAS SOPS 595 HAS SOUS 542 HAS SOUPS 542 WITH SCORE 542.595
AT ITER 6782 NEW BEST:: SOT 7860 SOS 588 HAS SOPS 588 HAS SOUS 540 HAS SOUPS 540 WITH SCORE 540.588
AT ITER 6819 NEW BEST:: SOT 7858 SOS 584 HAS SOPS 584 HAS SOUS 536 HAS SOUPS 536 WITH SCORE 536.584
AT ITER 6973 NEW BEST:: SOT 7858 SOS 574 HAS SOPS 574 HAS SOUS 532 HAS SOUPS 532 WITH SCORE 532.574
AT ITER 7281 NEW BEST:: SOT 7857 SOS 572 HAS SOPS 572 HAS SOUS 530 HAS SOUPS 530 WITH SCORE 530.572
AT ITER 7400 NEW BEST:: SOT 7857 SOS 571 HAS SOPS 571 HAS SOUS 530 HAS SOUPS 530 WITH SCORE 530.571
AT ITER 7483 NEW BEST:: SOT 7849 SOS 555 HAS SOPS 555 HAS SOUS 520 HAS SOUPS 520 WITH SCORE 520.555
AT ITER 7649 NEW BEST:: SOT 7849 SOS 551 HAS SOPS 551 HAS SOUS 520 HAS SOUPS 520 WITH SCORE 520.551
AT ITER 7715 NEW BEST:: SOT 7848 SOS 547 HAS SOPS 547 HAS SOUS 517 HAS SOUPS 517 WITH SCORE 517.547
AT ITER 7836 NEW BEST:: SOT 7848 SOS 546 HAS SOPS 546 HAS SOUS 517 HAS SOUPS 517 WITH SCORE 517.546
AT ITER 7885 NEW BEST:: SOT 7847 SOS 544 HAS SOPS 544 HAS SOUS 516 HAS SOUPS 516 WITH SCORE 516.544
AT ITER 8236 NEW BEST:: SOT 7844 SOS 543 HAS SOPS 543 HAS SOUS 513 HAS SOUPS 513 WITH SCORE 513.543
AT ITER 8381 NEW BEST:: SOT 7843 SOS 541 HAS SOPS 541 HAS SOUS 512 HAS SOUPS 512 WITH SCORE 512.541
AT ITER 8396 NEW BEST:: SOT 7842 SOS 542 HAS SOPS 542 HAS SOUS 511 HAS SOUPS 511 WITH SCORE 511.542
AT ITER 8465 NEW BEST:: SOT 7842 SOS 541 HAS SOPS 541 HAS SOUS 511 HAS SOUPS 511 WITH SCORE 511.541
AT ITER 8474 NEW BEST:: SOT 7840 SOS 539 HAS SOPS 539 HAS SOUS 509 HAS SOUPS 509 WITH SCORE 509.539
AT ITER 8507 NEW BEST:: SOT 7839 SOS 537 HAS SOPS 537 HAS SOUS 506 HAS SOUPS 506 WITH SCORE 506.537
AT ITER 8530 NEW BEST:: SOT 7838 SOS 535 HAS SOPS 535 HAS SOUS 504 HAS SOUPS 504 WITH SCORE 504.535
AT ITER 9030 NEW BEST:: SOT 7836 SOS 531 HAS SOPS 531 HAS SOUS 500 HAS SOUPS 500 WITH SCORE 500.531
AT ITER 9079 NEW BEST:: SOT 7836 SOS 531 HAS SOPS 531 HAS SOUS 499 HAS SOUPS 499 WITH SCORE 499.531
AT ITER 9111 NEW BEST:: SOT 7835 SOS 529 HAS SOPS 529 HAS SOUS 498 HAS SOUPS 498 WITH SCORE 498.529
AT ITER 9186 NEW BEST:: SOT 7834 SOS 529 HAS SOPS 529 HAS SOUS 497 HAS SOUPS 497 WITH SCORE 497.529
AT ITER 9221 NEW BEST:: SOT 7832 SOS 523 HAS SOPS 523 HAS SOUS 494 HAS SOUPS 494 WITH SCORE 494.523
AT ITER 9226 NEW BEST:: SOT 7833 SOS 525 HAS SOPS 525 HAS SOUS 492 HAS SOUPS 492 WITH SCORE 492.525
AT ITER 9508 NEW BEST:: SOT 7828 SOS 515 HAS SOPS 515 HAS SOUS 483 HAS SOUPS 483 WITH SCORE 483.515
AT ITER 9557 NEW BEST:: SOT 7827 SOS 514 HAS SOPS 514 HAS SOUS 482 HAS SOUPS 482 WITH SCORE 482.514
AT ITER 9594 NEW BEST:: SOT 7827 SOS 513 HAS SOPS 513 HAS SOUS 481 HAS SOUPS 481 WITH SCORE 481.513
AT ITER 9744 NEW BEST:: SOT 7826 SOS 511 HAS SOPS 511 HAS SOUS 479 HAS SOUPS 479 WITH SCORE 479.511
AT ITER 9836 NEW BEST:: SOT 7824 SOS 507 HAS SOPS 507 HAS SOUS 476 HAS SOUPS 476 WITH SCORE 476.507
AT ITER 9851 NEW BEST:: SOT 7823 SOS 505 HAS SOPS 505 HAS SOUS 475 HAS SOUPS 475 WITH SCORE 475.505
AT ITER 9994 NEW BEST:: SOT 7823 SOS 503 HAS SOPS 503 HAS SOUS 475 HAS SOUPS 475 WITH SCORE 475.503
STATE_SPACE STATES 717897987691852588770250 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 50 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 23929932923061752959008301 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679147822707

--------------------
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="Referendum-PT-0050"
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 Referendum-PT-0050, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889204600496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Referendum-PT-0050.tgz
mv Referendum-PT-0050 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;