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.r491-tall-167912711601296.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 ViralEpidemic-PT-S04D1C1A02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711601296
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 7.7K Feb 25 20:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 20:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 20:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 20:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 20:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 25 20:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 20:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 25 20:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 68K 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 1679330218099

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=ViralEpidemic-PT-S04D1C1A02
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 16:37:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 16:37:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 16:37:00] [INFO ] Load time of PNML (sax parser for PT used): 51 ms
[2023-03-20 16:37:00] [INFO ] Transformed 127 places.
[2023-03-20 16:37:00] [INFO ] Transformed 189 transitions.
[2023-03-20 16:37:00] [INFO ] Parsed PT model containing 127 places and 189 transitions and 441 arcs in 121 ms.
[2023-03-20 16:37:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 127 places, 189 transitions and 441 arcs took 6 ms.
Total runtime 173 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S04D1C1A02
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: 127 places, 189 transitions, 441 arcs.
AT ITER 0 NEW BEST:: SOT 16397 SOS 10801 HAS SOPS 10801 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3558.801
AT ITER 10 NEW BEST:: SOT 16293 SOS 10496 HAS SOPS 10496 HAS SOUS 3503 HAS SOUPS 3503 WITH SCORE 3513.496
AT ITER 12 NEW BEST:: SOT 16239 SOS 10358 HAS SOPS 10358 HAS SOUS 3498 HAS SOUPS 3498 WITH SCORE 3508.358
AT ITER 13 NEW BEST:: SOT 16179 SOS 10182 HAS SOPS 10182 HAS SOUS 3470 HAS SOUPS 3470 WITH SCORE 3480.182
AT ITER 29 NEW BEST:: SOT 16045 SOS 9846 HAS SOPS 9846 HAS SOUS 3469 HAS SOUPS 3469 WITH SCORE 3478.846
AT ITER 34 NEW BEST:: SOT 16003 SOS 9738 HAS SOPS 9738 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3473.738
AT ITER 41 NEW BEST:: SOT 16003 SOS 9737 HAS SOPS 9737 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3472.737
AT ITER 43 NEW BEST:: SOT 15945 SOS 9592 HAS SOPS 9592 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3472.592
AT ITER 52 NEW BEST:: SOT 15891 SOS 9454 HAS SOPS 9454 HAS SOUS 3458 HAS SOUPS 3458 WITH SCORE 3467.454
AT ITER 54 NEW BEST:: SOT 15787 SOS 9191 HAS SOPS 9191 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3462.191
AT ITER 69 NEW BEST:: SOT 15765 SOS 9125 HAS SOPS 9125 HAS SOUS 3442 HAS SOUPS 3442 WITH SCORE 3451.125
AT ITER 70 NEW BEST:: SOT 15702 SOS 8958 HAS SOPS 8958 HAS SOUS 3440 HAS SOUPS 3440 WITH SCORE 3448.958
AT ITER 110 NEW BEST:: SOT 15624 SOS 8724 HAS SOPS 8724 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3409.724
AT ITER 117 NEW BEST:: SOT 15620 SOS 8712 HAS SOPS 8712 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3407.712
AT ITER 118 NEW BEST:: SOT 15566 SOS 8550 HAS SOPS 8550 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3378.55
AT ITER 150 NEW BEST:: SOT 15526 SOS 8466 HAS SOPS 8466 HAS SOUS 3360 HAS SOUPS 3360 WITH SCORE 3368.466
AT ITER 170 NEW BEST:: SOT 15526 SOS 8437 HAS SOPS 8437 HAS SOUS 3357 HAS SOUPS 3357 WITH SCORE 3365.437
AT ITER 171 NEW BEST:: SOT 15450 SOS 8247 HAS SOPS 8247 HAS SOUS 3357 HAS SOUPS 3357 WITH SCORE 3365.247
AT ITER 174 NEW BEST:: SOT 15438 SOS 8216 HAS SOPS 8216 HAS SOUS 3356 HAS SOUPS 3356 WITH SCORE 3364.216
AT ITER 181 NEW BEST:: SOT 15430 SOS 8191 HAS SOPS 8191 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3363.191
AT ITER 185 NEW BEST:: SOT 15372 SOS 8017 HAS SOPS 8017 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3332.017
AT ITER 200 NEW BEST:: SOT 15318 SOS 7855 HAS SOPS 7855 HAS SOUS 3249 HAS SOUPS 3249 WITH SCORE 3256.855
AT ITER 225 NEW BEST:: SOT 15244 SOS 7633 HAS SOPS 7633 HAS SOUS 3212 HAS SOUPS 3212 WITH SCORE 3219.633
AT ITER 237 NEW BEST:: SOT 15195 SOS 7507 HAS SOPS 7507 HAS SOUS 3209 HAS SOUPS 3209 WITH SCORE 3216.507
AT ITER 255 NEW BEST:: SOT 15195 SOS 7505 HAS SOPS 7505 HAS SOUS 3199 HAS SOUPS 3199 WITH SCORE 3206.505
AT ITER 257 NEW BEST:: SOT 15175 SOS 7451 HAS SOPS 7451 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3198.451
AT ITER 261 NEW BEST:: SOT 15132 SOS 7303 HAS SOPS 7303 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3196.303
AT ITER 268 NEW BEST:: SOT 15126 SOS 7291 HAS SOPS 7291 HAS SOUS 3185 HAS SOUPS 3185 WITH SCORE 3192.291
AT ITER 296 NEW BEST:: SOT 15069 SOS 7079 HAS SOPS 7079 HAS SOUS 3167 HAS SOUPS 3167 WITH SCORE 3174.079
AT ITER 311 NEW BEST:: SOT 15082 SOS 7114 HAS SOPS 7114 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3169.114
AT ITER 323 NEW BEST:: SOT 15046 SOS 7014 HAS SOPS 7014 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3166.014
AT ITER 345 NEW BEST:: SOT 14998 SOS 6870 HAS SOPS 6870 HAS SOUS 3135 HAS SOUPS 3135 WITH SCORE 3141.87
AT ITER 349 NEW BEST:: SOT 14994 SOS 6858 HAS SOPS 6858 HAS SOUS 3131 HAS SOUPS 3131 WITH SCORE 3137.858
AT ITER 352 NEW BEST:: SOT 14961 SOS 6789 HAS SOPS 6789 HAS SOUS 3115 HAS SOUPS 3115 WITH SCORE 3121.789
AT ITER 360 NEW BEST:: SOT 14961 SOS 6789 HAS SOPS 6789 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3117.789
AT ITER 367 NEW BEST:: SOT 14923 SOS 6692 HAS SOPS 6692 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3115.692
AT ITER 383 NEW BEST:: SOT 14920 SOS 6683 HAS SOPS 6683 HAS SOUS 3101 HAS SOUPS 3101 WITH SCORE 3107.683
AT ITER 393 NEW BEST:: SOT 14884 SOS 6575 HAS SOPS 6575 HAS SOUS 3083 HAS SOUPS 3083 WITH SCORE 3089.575
AT ITER 412 NEW BEST:: SOT 14857 SOS 6492 HAS SOPS 6492 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3081.492
AT ITER 418 NEW BEST:: SOT 14761 SOS 6204 HAS SOPS 6204 HAS SOUS 2971 HAS SOUPS 2971 WITH SCORE 2977.204
AT ITER 429 NEW BEST:: SOT 14739 SOS 6148 HAS SOPS 6148 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2976.148
AT ITER 430 NEW BEST:: SOT 14673 SOS 5950 HAS SOPS 5950 HAS SOUS 2937 HAS SOUPS 2937 WITH SCORE 2942.95
AT ITER 442 NEW BEST:: SOT 14673 SOS 5944 HAS SOPS 5944 HAS SOUS 2931 HAS SOUPS 2931 WITH SCORE 2936.944
AT ITER 444 NEW BEST:: SOT 14665 SOS 5920 HAS SOPS 5920 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2932.92
AT ITER 449 NEW BEST:: SOT 14665 SOS 5921 HAS SOPS 5921 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2931.921
AT ITER 456 NEW BEST:: SOT 14663 SOS 5915 HAS SOPS 5915 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2927.915
AT ITER 459 NEW BEST:: SOT 14665 SOS 5927 HAS SOPS 5927 HAS SOUS 2915 HAS SOUPS 2915 WITH SCORE 2920.927
AT ITER 466 NEW BEST:: SOT 14613 SOS 5784 HAS SOPS 5784 HAS SOUS 2911 HAS SOUPS 2911 WITH SCORE 2916.784
AT ITER 474 NEW BEST:: SOT 14630 SOS 5824 HAS SOPS 5824 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2891.824
AT ITER 484 NEW BEST:: SOT 14631 SOS 5827 HAS SOPS 5827 HAS SOUS 2885 HAS SOUPS 2885 WITH SCORE 2890.827
AT ITER 501 NEW BEST:: SOT 14575 SOS 5659 HAS SOPS 5659 HAS SOUS 2857 HAS SOUPS 2857 WITH SCORE 2862.659
AT ITER 511 NEW BEST:: SOT 14571 SOS 5647 HAS SOPS 5647 HAS SOUS 2855 HAS SOUPS 2855 WITH SCORE 2860.647
AT ITER 514 NEW BEST:: SOT 14528 SOS 5515 HAS SOPS 5515 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2840.515
AT ITER 522 NEW BEST:: SOT 14539 SOS 5563 HAS SOPS 5563 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2826.563
AT ITER 534 NEW BEST:: SOT 14507 SOS 5457 HAS SOPS 5457 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2787.457
AT ITER 541 NEW BEST:: SOT 14493 SOS 5415 HAS SOPS 5415 HAS SOUS 2761 HAS SOUPS 2761 WITH SCORE 2766.415
AT ITER 556 NEW BEST:: SOT 14480 SOS 5365 HAS SOPS 5365 HAS SOUS 2760 HAS SOUPS 2760 WITH SCORE 2765.365
AT ITER 561 NEW BEST:: SOT 14432 SOS 5222 HAS SOPS 5222 HAS SOUS 2723 HAS SOUPS 2723 WITH SCORE 2728.222
AT ITER 573 NEW BEST:: SOT 14395 SOS 5104 HAS SOPS 5104 HAS SOUS 2689 HAS SOUPS 2689 WITH SCORE 2694.104
AT ITER 575 NEW BEST:: SOT 14372 SOS 5028 HAS SOPS 5028 HAS SOUS 2681 HAS SOUPS 2681 WITH SCORE 2686.028
AT ITER 597 NEW BEST:: SOT 14355 SOS 4994 HAS SOPS 4994 HAS SOUS 2664 HAS SOUPS 2664 WITH SCORE 2668.994
AT ITER 598 NEW BEST:: SOT 14355 SOS 4992 HAS SOPS 4992 HAS SOUS 2662 HAS SOUPS 2662 WITH SCORE 2666.992
AT ITER 600 NEW BEST:: SOT 14278 SOS 4830 HAS SOPS 4830 HAS SOUS 2633 HAS SOUPS 2633 WITH SCORE 2637.83
AT ITER 601 NEW BEST:: SOT 14196 SOS 4584 HAS SOPS 4584 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2514.584
AT ITER 618 NEW BEST:: SOT 14190 SOS 4572 HAS SOPS 4572 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2514.572
AT ITER 624 NEW BEST:: SOT 14168 SOS 4498 HAS SOPS 4498 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2506.498
AT ITER 634 NEW BEST:: SOT 14168 SOS 4492 HAS SOPS 4492 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2498.492
AT ITER 642 NEW BEST:: SOT 14170 SOS 4496 HAS SOPS 4496 HAS SOUS 2492 HAS SOUPS 2492 WITH SCORE 2496.496
AT ITER 660 NEW BEST:: SOT 14170 SOS 4495 HAS SOPS 4495 HAS SOUS 2489 HAS SOUPS 2489 WITH SCORE 2493.495
AT ITER 694 NEW BEST:: SOT 14163 SOS 4481 HAS SOPS 4481 HAS SOUS 2482 HAS SOUPS 2482 WITH SCORE 2486.481
AT ITER 707 NEW BEST:: SOT 14161 SOS 4471 HAS SOPS 4471 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2472.471
AT ITER 714 NEW BEST:: SOT 14161 SOS 4469 HAS SOPS 4469 HAS SOUS 2450 HAS SOUPS 2450 WITH SCORE 2454.469
AT ITER 724 NEW BEST:: SOT 14152 SOS 4449 HAS SOPS 4449 HAS SOUS 2443 HAS SOUPS 2443 WITH SCORE 2447.449
AT ITER 725 NEW BEST:: SOT 14151 SOS 4445 HAS SOPS 4445 HAS SOUS 2441 HAS SOUPS 2441 WITH SCORE 2445.445
AT ITER 731 NEW BEST:: SOT 14154 SOS 4455 HAS SOPS 4455 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2442.455
AT ITER 752 NEW BEST:: SOT 14150 SOS 4440 HAS SOPS 4440 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2415.44
AT ITER 791 NEW BEST:: SOT 14151 SOS 4444 HAS SOPS 4444 HAS SOUS 2408 HAS SOUPS 2408 WITH SCORE 2412.444
AT ITER 796 NEW BEST:: SOT 14145 SOS 4426 HAS SOPS 4426 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2409.426
AT ITER 847 NEW BEST:: SOT 14103 SOS 4332 HAS SOPS 4332 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2381.332
AT ITER 862 NEW BEST:: SOT 14109 SOS 4344 HAS SOPS 4344 HAS SOUS 2376 HAS SOUPS 2376 WITH SCORE 2380.344
AT ITER 879 NEW BEST:: SOT 14107 SOS 4338 HAS SOPS 4338 HAS SOUS 2375 HAS SOUPS 2375 WITH SCORE 2379.338
AT ITER 923 NEW BEST:: SOT 14107 SOS 4338 HAS SOPS 4338 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2373.338
AT ITER 954 NEW BEST:: SOT 14109 SOS 4340 HAS SOPS 4340 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2371.34
AT ITER 965 NEW BEST:: SOT 14109 SOS 4340 HAS SOPS 4340 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2367.34
AT ITER 968 NEW BEST:: SOT 14072 SOS 4266 HAS SOPS 4266 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2366.266
AT ITER 972 NEW BEST:: SOT 14066 SOS 4254 HAS SOPS 4254 HAS SOUS 2356 HAS SOUPS 2356 WITH SCORE 2360.254
AT ITER 1030 NEW BEST:: SOT 14066 SOS 4252 HAS SOPS 4252 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2358.252
AT ITER 1043 NEW BEST:: SOT 14056 SOS 4224 HAS SOPS 4224 HAS SOUS 2351 HAS SOUPS 2351 WITH SCORE 2355.224
AT ITER 1059 NEW BEST:: SOT 14038 SOS 4170 HAS SOPS 4170 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2353.17
AT ITER 1081 NEW BEST:: SOT 14038 SOS 4170 HAS SOPS 4170 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2331.17
AT ITER 1083 NEW BEST:: SOT 14018 SOS 4140 HAS SOPS 4140 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2312.14
AT ITER 1092 NEW BEST:: SOT 14014 SOS 4106 HAS SOPS 4106 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2307.106
AT ITER 1115 NEW BEST:: SOT 13996 SOS 4052 HAS SOPS 4052 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2298.052
AT ITER 1119 NEW BEST:: SOT 14017 SOS 4123 HAS SOPS 4123 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2297.123
AT ITER 1123 NEW BEST:: SOT 14017 SOS 4121 HAS SOPS 4121 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2289.121
AT ITER 1146 NEW BEST:: SOT 14013 SOS 4113 HAS SOPS 4113 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2287.113
AT ITER 1168 NEW BEST:: SOT 13980 SOS 4043 HAS SOPS 4043 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2272.043
AT ITER 1190 NEW BEST:: SOT 13980 SOS 4035 HAS SOPS 4035 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2272.035
AT ITER 1208 NEW BEST:: SOT 13982 SOS 4033 HAS SOPS 4033 HAS SOUS 2262 HAS SOUPS 2262 WITH SCORE 2266.033
AT ITER 1253 NEW BEST:: SOT 13977 SOS 4028 HAS SOPS 4028 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2263.028
AT ITER 1254 NEW BEST:: SOT 13971 SOS 4010 HAS SOPS 4010 HAS SOUS 2256 HAS SOUPS 2256 WITH SCORE 2260.01
AT ITER 1268 NEW BEST:: SOT 13970 SOS 4008 HAS SOPS 4008 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2259.008
AT ITER 1273 NEW BEST:: SOT 13970 SOS 4008 HAS SOPS 4008 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2255.008
AT ITER 1277 NEW BEST:: SOT 13959 SOS 3986 HAS SOPS 3986 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2243.986
AT ITER 1285 NEW BEST:: SOT 13952 SOS 3969 HAS SOPS 3969 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2239.969
AT ITER 1286 NEW BEST:: SOT 13952 SOS 3967 HAS SOPS 3967 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2239.967
AT ITER 1306 NEW BEST:: SOT 13940 SOS 3934 HAS SOPS 3934 HAS SOUS 2233 HAS SOUPS 2233 WITH SCORE 2236.934
AT ITER 1307 NEW BEST:: SOT 13926 SOS 3892 HAS SOPS 3892 HAS SOUS 2226 HAS SOUPS 2226 WITH SCORE 2229.892
AT ITER 1319 NEW BEST:: SOT 13926 SOS 3892 HAS SOPS 3892 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2219.892
AT ITER 1322 NEW BEST:: SOT 13927 SOS 3889 HAS SOPS 3889 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2213.889
AT ITER 1339 NEW BEST:: SOT 13914 SOS 3863 HAS SOPS 3863 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2208.863
AT ITER 1402 NEW BEST:: SOT 13914 SOS 3862 HAS SOPS 3862 HAS SOUS 2204 HAS SOUPS 2204 WITH SCORE 2207.862
AT ITER 1413 NEW BEST:: SOT 13901 SOS 3810 HAS SOPS 3810 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2200.81
AT ITER 1421 NEW BEST:: SOT 13861 SOS 3730 HAS SOPS 3730 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2161.73
AT ITER 1452 NEW BEST:: SOT 13859 SOS 3726 HAS SOPS 3726 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2161.726
AT ITER 1514 NEW BEST:: SOT 13857 SOS 3720 HAS SOPS 3720 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2160.72
AT ITER 1529 NEW BEST:: SOT 13853 SOS 3712 HAS SOPS 3712 HAS SOUS 2153 HAS SOUPS 2153 WITH SCORE 2156.712
AT ITER 1550 NEW BEST:: SOT 13849 SOS 3700 HAS SOPS 3700 HAS SOUS 2151 HAS SOUPS 2151 WITH SCORE 2154.7
AT ITER 1602 NEW BEST:: SOT 13838 SOS 3678 HAS SOPS 3678 HAS SOUS 2151 HAS SOUPS 2151 WITH SCORE 2154.678
AT ITER 1660 NEW BEST:: SOT 13838 SOS 3678 HAS SOPS 3678 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2152.678
AT ITER 1691 NEW BEST:: SOT 13837 SOS 3656 HAS SOPS 3656 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2147.656
AT ITER 1713 NEW BEST:: SOT 13836 SOS 3653 HAS SOPS 3653 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2145.653
AT ITER 1753 NEW BEST:: SOT 13807 SOS 3587 HAS SOPS 3587 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2134.587
AT ITER 1766 NEW BEST:: SOT 13791 SOS 3575 HAS SOPS 3575 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2127.575
AT ITER 1803 NEW BEST:: SOT 13791 SOS 3579 HAS SOPS 3579 HAS SOUS 2122 HAS SOUPS 2122 WITH SCORE 2125.579
AT ITER 1808 NEW BEST:: SOT 13759 SOS 3483 HAS SOPS 3483 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2077.483
AT ITER 1816 NEW BEST:: SOT 13751 SOS 3469 HAS SOPS 3469 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2065.469
AT ITER 1825 NEW BEST:: SOT 13727 SOS 3383 HAS SOPS 3383 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2065.383
AT ITER 1842 NEW BEST:: SOT 13727 SOS 3385 HAS SOPS 3385 HAS SOUS 2060 HAS SOUPS 2060 WITH SCORE 2063.385
AT ITER 1849 NEW BEST:: SOT 13725 SOS 3379 HAS SOPS 3379 HAS SOUS 2059 HAS SOUPS 2059 WITH SCORE 2062.379
AT ITER 1876 NEW BEST:: SOT 13719 SOS 3367 HAS SOPS 3367 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2052.367
AT ITER 1887 NEW BEST:: SOT 13712 SOS 3352 HAS SOPS 3352 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2052.352
AT ITER 1914 NEW BEST:: SOT 13693 SOS 3292 HAS SOPS 3292 HAS SOUS 2031 HAS SOUPS 2031 WITH SCORE 2034.292
AT ITER 1935 NEW BEST:: SOT 13677 SOS 3244 HAS SOPS 3244 HAS SOUS 2011 HAS SOUPS 2011 WITH SCORE 2014.244
AT ITER 1980 NEW BEST:: SOT 13656 SOS 3188 HAS SOPS 3188 HAS SOUS 2004 HAS SOUPS 2004 WITH SCORE 2007.188
AT ITER 1984 NEW BEST:: SOT 13614 SOS 3090 HAS SOPS 3090 HAS SOUS 2004 HAS SOUPS 2004 WITH SCORE 2007.09
AT ITER 1992 NEW BEST:: SOT 13608 SOS 3078 HAS SOPS 3078 HAS SOUS 1998 HAS SOUPS 1998 WITH SCORE 2001.078
AT ITER 1998 NEW BEST:: SOT 13608 SOS 3076 HAS SOPS 3076 HAS SOUS 1998 HAS SOUPS 1998 WITH SCORE 2001.076
AT ITER 2013 NEW BEST:: SOT 13611 SOS 3100 HAS SOPS 3100 HAS SOUS 1980 HAS SOUPS 1980 WITH SCORE 1983.1
AT ITER 2057 NEW BEST:: SOT 13607 SOS 3088 HAS SOPS 3088 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1977.088
AT ITER 2068 NEW BEST:: SOT 13605 SOS 3082 HAS SOPS 3082 HAS SOUS 1973 HAS SOUPS 1973 WITH SCORE 1976.082
AT ITER 2100 NEW BEST:: SOT 13601 SOS 3070 HAS SOPS 3070 HAS SOUS 1973 HAS SOUPS 1973 WITH SCORE 1976.07
AT ITER 2162 NEW BEST:: SOT 13609 SOS 3106 HAS SOPS 3106 HAS SOUS 1968 HAS SOUPS 1968 WITH SCORE 1971.106
AT ITER 2169 NEW BEST:: SOT 13609 SOS 3106 HAS SOPS 3106 HAS SOUS 1966 HAS SOUPS 1966 WITH SCORE 1969.106
AT ITER 2270 NEW BEST:: SOT 13605 SOS 3098 HAS SOPS 3098 HAS SOUS 1962 HAS SOUPS 1962 WITH SCORE 1965.098
AT ITER 2316 NEW BEST:: SOT 13592 SOS 3066 HAS SOPS 3066 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1949.066
AT ITER 2328 NEW BEST:: SOT 13564 SOS 2982 HAS SOPS 2982 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1934.982
AT ITER 2379 NEW BEST:: SOT 13562 SOS 2976 HAS SOPS 2976 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1931.976
AT ITER 2384 NEW BEST:: SOT 13562 SOS 2970 HAS SOPS 2970 HAS SOUS 1911 HAS SOUPS 1911 WITH SCORE 1913.97
AT ITER 2392 NEW BEST:: SOT 13563 SOS 2978 HAS SOPS 2978 HAS SOUS 1906 HAS SOUPS 1906 WITH SCORE 1908.978
AT ITER 2405 NEW BEST:: SOT 13554 SOS 2969 HAS SOPS 2969 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1907.969
AT ITER 2407 NEW BEST:: SOT 13537 SOS 2935 HAS SOPS 2935 HAS SOUS 1878 HAS SOUPS 1878 WITH SCORE 1880.935
AT ITER 2409 NEW BEST:: SOT 13526 SOS 2924 HAS SOPS 2924 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1867.924
AT ITER 2416 NEW BEST:: SOT 13512 SOS 2877 HAS SOPS 2877 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1865.877
AT ITER 2455 NEW BEST:: SOT 13483 SOS 2796 HAS SOPS 2796 HAS SOUS 1858 HAS SOUPS 1858 WITH SCORE 1860.796
AT ITER 2460 NEW BEST:: SOT 13472 SOS 2769 HAS SOPS 2769 HAS SOUS 1842 HAS SOUPS 1842 WITH SCORE 1844.769
AT ITER 2480 NEW BEST:: SOT 13471 SOS 2766 HAS SOPS 2766 HAS SOUS 1840 HAS SOUPS 1840 WITH SCORE 1842.766
AT ITER 2598 NEW BEST:: SOT 13472 SOS 2777 HAS SOPS 2777 HAS SOUS 1831 HAS SOUPS 1831 WITH SCORE 1833.777
AT ITER 2615 NEW BEST:: SOT 13475 SOS 2792 HAS SOPS 2792 HAS SOUS 1823 HAS SOUPS 1823 WITH SCORE 1825.792
AT ITER 2657 NEW BEST:: SOT 13475 SOS 2786 HAS SOPS 2786 HAS SOUS 1820 HAS SOUPS 1820 WITH SCORE 1822.786
AT ITER 2667 NEW BEST:: SOT 13471 SOS 2774 HAS SOPS 2774 HAS SOUS 1818 HAS SOUPS 1818 WITH SCORE 1820.774
AT ITER 2677 NEW BEST:: SOT 13467 SOS 2762 HAS SOPS 2762 HAS SOUS 1812 HAS SOUPS 1812 WITH SCORE 1814.762
AT ITER 2698 NEW BEST:: SOT 13461 SOS 2728 HAS SOPS 2728 HAS SOUS 1809 HAS SOUPS 1809 WITH SCORE 1811.728
AT ITER 2729 NEW BEST:: SOT 13453 SOS 2706 HAS SOPS 2706 HAS SOUS 1807 HAS SOUPS 1807 WITH SCORE 1809.706
AT ITER 2766 NEW BEST:: SOT 13453 SOS 2706 HAS SOPS 2706 HAS SOUS 1805 HAS SOUPS 1805 WITH SCORE 1807.706
AT ITER 2767 NEW BEST:: SOT 13448 SOS 2740 HAS SOPS 2740 HAS SOUS 1799 HAS SOUPS 1799 WITH SCORE 1801.74
AT ITER 2773 NEW BEST:: SOT 13449 SOS 2702 HAS SOPS 2702 HAS SOUS 1798 HAS SOUPS 1798 WITH SCORE 1800.702
AT ITER 2798 NEW BEST:: SOT 13432 SOS 2668 HAS SOPS 2668 HAS SOUS 1778 HAS SOUPS 1778 WITH SCORE 1780.668
AT ITER 2824 NEW BEST:: SOT 13430 SOS 2664 HAS SOPS 2664 HAS SOUS 1778 HAS SOUPS 1778 WITH SCORE 1780.664
AT ITER 2963 NEW BEST:: SOT 13428 SOS 2670 HAS SOPS 2670 HAS SOUS 1776 HAS SOUPS 1776 WITH SCORE 1778.67
AT ITER 3066 NEW BEST:: SOT 13415 SOS 2631 HAS SOPS 2631 HAS SOUS 1769 HAS SOUPS 1769 WITH SCORE 1771.631
AT ITER 3067 NEW BEST:: SOT 13415 SOS 2631 HAS SOPS 2631 HAS SOUS 1761 HAS SOUPS 1761 WITH SCORE 1763.631
AT ITER 3212 NEW BEST:: SOT 13377 SOS 2516 HAS SOPS 2516 HAS SOUS 1756 HAS SOUPS 1756 WITH SCORE 1758.516
AT ITER 3214 NEW BEST:: SOT 13368 SOS 2498 HAS SOPS 2498 HAS SOUS 1747 HAS SOUPS 1747 WITH SCORE 1749.498
AT ITER 3316 NEW BEST:: SOT 13368 SOS 2510 HAS SOPS 2510 HAS SOUS 1745 HAS SOUPS 1745 WITH SCORE 1747.51
AT ITER 3317 NEW BEST:: SOT 13364 SOS 2498 HAS SOPS 2498 HAS SOUS 1739 HAS SOUPS 1739 WITH SCORE 1741.498
AT ITER 3318 NEW BEST:: SOT 13364 SOS 2498 HAS SOPS 2498 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1737.498
AT ITER 3330 NEW BEST:: SOT 13366 SOS 2504 HAS SOPS 2504 HAS SOUS 1733 HAS SOUPS 1733 WITH SCORE 1735.504
AT ITER 3347 NEW BEST:: SOT 13363 SOS 2492 HAS SOPS 2492 HAS SOUS 1724 HAS SOUPS 1724 WITH SCORE 1726.492
AT ITER 3391 NEW BEST:: SOT 13353 SOS 2472 HAS SOPS 2472 HAS SOUS 1708 HAS SOUPS 1708 WITH SCORE 1710.472
AT ITER 3400 NEW BEST:: SOT 13347 SOS 2458 HAS SOPS 2458 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1702.458
AT ITER 3467 NEW BEST:: SOT 13346 SOS 2455 HAS SOPS 2455 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1702.455
AT ITER 3623 NEW BEST:: SOT 13343 SOS 2451 HAS SOPS 2451 HAS SOUS 1695 HAS SOUPS 1695 WITH SCORE 1697.451
AT ITER 3630 NEW BEST:: SOT 13319 SOS 2381 HAS SOPS 2381 HAS SOUS 1694 HAS SOUPS 1694 WITH SCORE 1696.381
AT ITER 3648 NEW BEST:: SOT 13322 SOS 2398 HAS SOPS 2398 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1685.398
AT ITER 3711 NEW BEST:: SOT 13316 SOS 2378 HAS SOPS 2378 HAS SOUS 1663 HAS SOUPS 1663 WITH SCORE 1665.378
AT ITER 3765 NEW BEST:: SOT 13313 SOS 2371 HAS SOPS 2371 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1661.371
AT ITER 3786 NEW BEST:: SOT 13307 SOS 2356 HAS SOPS 2356 HAS SOUS 1647 HAS SOUPS 1647 WITH SCORE 1649.356
AT ITER 3787 NEW BEST:: SOT 13307 SOS 2360 HAS SOPS 2360 HAS SOUS 1645 HAS SOUPS 1645 WITH SCORE 1647.36
AT ITER 3841 NEW BEST:: SOT 13296 SOS 2332 HAS SOPS 2332 HAS SOUS 1635 HAS SOUPS 1635 WITH SCORE 1637.332
AT ITER 3874 NEW BEST:: SOT 13290 SOS 2314 HAS SOPS 2314 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1628.314
AT ITER 3928 NEW BEST:: SOT 13283 SOS 2285 HAS SOPS 2285 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1627.285
AT ITER 3999 NEW BEST:: SOT 13282 SOS 2289 HAS SOPS 2289 HAS SOUS 1622 HAS SOUPS 1622 WITH SCORE 1624.289
AT ITER 4045 NEW BEST:: SOT 13281 SOS 2287 HAS SOPS 2287 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1623.287
AT ITER 4057 NEW BEST:: SOT 13283 SOS 2293 HAS SOPS 2293 HAS SOUS 1619 HAS SOUPS 1619 WITH SCORE 1621.293
AT ITER 4094 NEW BEST:: SOT 13284 SOS 2297 HAS SOPS 2297 HAS SOUS 1618 HAS SOUPS 1618 WITH SCORE 1620.297
AT ITER 4098 NEW BEST:: SOT 13272 SOS 2261 HAS SOPS 2261 HAS SOUS 1610 HAS SOUPS 1610 WITH SCORE 1612.261
AT ITER 4105 NEW BEST:: SOT 13276 SOS 2262 HAS SOPS 2262 HAS SOUS 1600 HAS SOUPS 1600 WITH SCORE 1602.262
AT ITER 4175 NEW BEST:: SOT 13274 SOS 2257 HAS SOPS 2257 HAS SOUS 1598 HAS SOUPS 1598 WITH SCORE 1600.257
AT ITER 4240 NEW BEST:: SOT 13276 SOS 2260 HAS SOPS 2260 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1599.26
AT ITER 4313 NEW BEST:: SOT 13276 SOS 2259 HAS SOPS 2259 HAS SOUS 1596 HAS SOUPS 1596 WITH SCORE 1598.259
AT ITER 4362 NEW BEST:: SOT 13267 SOS 2238 HAS SOPS 2238 HAS SOUS 1574 HAS SOUPS 1574 WITH SCORE 1576.238
AT ITER 4410 NEW BEST:: SOT 13251 SOS 2188 HAS SOPS 2188 HAS SOUS 1565 HAS SOUPS 1565 WITH SCORE 1567.188
AT ITER 4455 NEW BEST:: SOT 13252 SOS 2188 HAS SOPS 2188 HAS SOUS 1562 HAS SOUPS 1562 WITH SCORE 1564.188
AT ITER 4507 NEW BEST:: SOT 13251 SOS 2184 HAS SOPS 2184 HAS SOUS 1562 HAS SOUPS 1562 WITH SCORE 1564.184
AT ITER 4531 NEW BEST:: SOT 13245 SOS 2186 HAS SOPS 2186 HAS SOUS 1555 HAS SOUPS 1555 WITH SCORE 1557.186
AT ITER 4532 NEW BEST:: SOT 13232 SOS 2139 HAS SOPS 2139 HAS SOUS 1551 HAS SOUPS 1551 WITH SCORE 1553.139
AT ITER 4568 NEW BEST:: SOT 13229 SOS 2132 HAS SOPS 2132 HAS SOUS 1551 HAS SOUPS 1551 WITH SCORE 1553.132
AT ITER 4583 NEW BEST:: SOT 13230 SOS 2134 HAS SOPS 2134 HAS SOUS 1550 HAS SOUPS 1550 WITH SCORE 1552.134
AT ITER 4610 NEW BEST:: SOT 13212 SOS 2080 HAS SOPS 2080 HAS SOUS 1541 HAS SOUPS 1541 WITH SCORE 1543.08
AT ITER 4670 NEW BEST:: SOT 13208 SOS 2079 HAS SOPS 2079 HAS SOUS 1538 HAS SOUPS 1538 WITH SCORE 1540.079
AT ITER 4820 NEW BEST:: SOT 13204 SOS 2067 HAS SOPS 2067 HAS SOUS 1536 HAS SOUPS 1536 WITH SCORE 1538.067
AT ITER 4840 NEW BEST:: SOT 13202 SOS 2062 HAS SOPS 2062 HAS SOUS 1533 HAS SOUPS 1533 WITH SCORE 1535.062
AT ITER 5061 NEW BEST:: SOT 13202 SOS 2067 HAS SOPS 2067 HAS SOUS 1529 HAS SOUPS 1529 WITH SCORE 1531.067
AT ITER 5127 NEW BEST:: SOT 13200 SOS 2063 HAS SOPS 2063 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1530.063
AT ITER 5144 NEW BEST:: SOT 13203 SOS 2064 HAS SOPS 2064 HAS SOUS 1526 HAS SOUPS 1526 WITH SCORE 1528.064
AT ITER 5180 NEW BEST:: SOT 13201 SOS 2056 HAS SOPS 2056 HAS SOUS 1522 HAS SOUPS 1522 WITH SCORE 1524.056
AT ITER 5259 NEW BEST:: SOT 13201 SOS 2056 HAS SOPS 2056 HAS SOUS 1518 HAS SOUPS 1518 WITH SCORE 1520.056
AT ITER 5266 NEW BEST:: SOT 13199 SOS 2052 HAS SOPS 2052 HAS SOUS 1516 HAS SOUPS 1516 WITH SCORE 1518.052
AT ITER 5297 NEW BEST:: SOT 13195 SOS 2039 HAS SOPS 2039 HAS SOUS 1511 HAS SOUPS 1511 WITH SCORE 1513.039
AT ITER 5440 NEW BEST:: SOT 13153 SOS 1936 HAS SOPS 1936 HAS SOUS 1485 HAS SOUPS 1485 WITH SCORE 1486.936
AT ITER 5455 NEW BEST:: SOT 13157 SOS 1951 HAS SOPS 1951 HAS SOUS 1484 HAS SOUPS 1484 WITH SCORE 1485.951
AT ITER 5558 NEW BEST:: SOT 13152 SOS 1931 HAS SOPS 1931 HAS SOUS 1483 HAS SOUPS 1483 WITH SCORE 1484.931
AT ITER 5614 NEW BEST:: SOT 13153 SOS 1934 HAS SOPS 1934 HAS SOUS 1482 HAS SOUPS 1482 WITH SCORE 1483.934
AT ITER 5669 NEW BEST:: SOT 13156 SOS 1944 HAS SOPS 1944 HAS SOUS 1477 HAS SOUPS 1477 WITH SCORE 1478.944
AT ITER 5773 NEW BEST:: SOT 13150 SOS 1932 HAS SOPS 1932 HAS SOUS 1474 HAS SOUPS 1474 WITH SCORE 1475.932
AT ITER 5888 NEW BEST:: SOT 13126 SOS 1858 HAS SOPS 1858 HAS SOUS 1443 HAS SOUPS 1443 WITH SCORE 1444.858
AT ITER 5892 NEW BEST:: SOT 13118 SOS 1832 HAS SOPS 1832 HAS SOUS 1443 HAS SOUPS 1443 WITH SCORE 1444.832
AT ITER 5917 NEW BEST:: SOT 13118 SOS 1831 HAS SOPS 1831 HAS SOUS 1436 HAS SOUPS 1436 WITH SCORE 1437.831
AT ITER 5925 NEW BEST:: SOT 13116 SOS 1828 HAS SOPS 1828 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1433.828
AT ITER 5950 NEW BEST:: SOT 13116 SOS 1830 HAS SOPS 1830 HAS SOUS 1431 HAS SOUPS 1431 WITH SCORE 1432.83
AT ITER 6005 NEW BEST:: SOT 13114 SOS 1824 HAS SOPS 1824 HAS SOUS 1427 HAS SOUPS 1427 WITH SCORE 1428.824
AT ITER 6208 NEW BEST:: SOT 13107 SOS 1817 HAS SOPS 1817 HAS SOUS 1416 HAS SOUPS 1416 WITH SCORE 1417.817
AT ITER 6249 NEW BEST:: SOT 13105 SOS 1811 HAS SOPS 1811 HAS SOUS 1413 HAS SOUPS 1413 WITH SCORE 1414.811
AT ITER 6471 NEW BEST:: SOT 13102 SOS 1811 HAS SOPS 1811 HAS SOUS 1409 HAS SOUPS 1409 WITH SCORE 1410.811
AT ITER 6525 NEW BEST:: SOT 13094 SOS 1795 HAS SOPS 1795 HAS SOUS 1399 HAS SOUPS 1399 WITH SCORE 1400.795
AT ITER 6622 NEW BEST:: SOT 13102 SOS 1820 HAS SOPS 1820 HAS SOUS 1398 HAS SOUPS 1398 WITH SCORE 1399.82
AT ITER 6669 NEW BEST:: SOT 13097 SOS 1807 HAS SOPS 1807 HAS SOUS 1388 HAS SOUPS 1388 WITH SCORE 1389.807
AT ITER 6766 NEW BEST:: SOT 13098 SOS 1809 HAS SOPS 1809 HAS SOUS 1387 HAS SOUPS 1387 WITH SCORE 1388.809
AT ITER 6867 NEW BEST:: SOT 13096 SOS 1809 HAS SOPS 1809 HAS SOUS 1386 HAS SOUPS 1386 WITH SCORE 1387.809
AT ITER 6913 NEW BEST:: SOT 13096 SOS 1808 HAS SOPS 1808 HAS SOUS 1383 HAS SOUPS 1383 WITH SCORE 1384.808
AT ITER 7025 NEW BEST:: SOT 13089 SOS 1794 HAS SOPS 1794 HAS SOUS 1376 HAS SOUPS 1376 WITH SCORE 1377.794
AT ITER 7051 NEW BEST:: SOT 13081 SOS 1778 HAS SOPS 1778 HAS SOUS 1376 HAS SOUPS 1376 WITH SCORE 1377.778
AT ITER 7070 NEW BEST:: SOT 13081 SOS 1780 HAS SOPS 1780 HAS SOUS 1375 HAS SOUPS 1375 WITH SCORE 1376.78
AT ITER 7367 NEW BEST:: SOT 13079 SOS 1774 HAS SOPS 1774 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1375.774
AT ITER 7398 NEW BEST:: SOT 13076 SOS 1764 HAS SOPS 1764 HAS SOUS 1369 HAS SOUPS 1369 WITH SCORE 1370.764
AT ITER 7556 NEW BEST:: SOT 13075 SOS 1760 HAS SOPS 1760 HAS SOUS 1362 HAS SOUPS 1362 WITH SCORE 1363.76
AT ITER 7563 NEW BEST:: SOT 13066 SOS 1733 HAS SOPS 1733 HAS SOUS 1361 HAS SOUPS 1361 WITH SCORE 1362.733
AT ITER 7625 NEW BEST:: SOT 13066 SOS 1732 HAS SOPS 1732 HAS SOUS 1360 HAS SOUPS 1360 WITH SCORE 1361.732
AT ITER 7657 NEW BEST:: SOT 13065 SOS 1728 HAS SOPS 1728 HAS SOUS 1357 HAS SOUPS 1357 WITH SCORE 1358.728
AT ITER 7765 NEW BEST:: SOT 13057 SOS 1700 HAS SOPS 1700 HAS SOUS 1344 HAS SOUPS 1344 WITH SCORE 1345.7
AT ITER 7792 NEW BEST:: SOT 13053 SOS 1702 HAS SOPS 1702 HAS SOUS 1336 HAS SOUPS 1336 WITH SCORE 1337.702
AT ITER 7841 NEW BEST:: SOT 13051 SOS 1696 HAS SOPS 1696 HAS SOUS 1333 HAS SOUPS 1333 WITH SCORE 1334.696
AT ITER 8041 NEW BEST:: SOT 13048 SOS 1687 HAS SOPS 1687 HAS SOUS 1320 HAS SOUPS 1320 WITH SCORE 1321.687
AT ITER 8156 NEW BEST:: SOT 13044 SOS 1685 HAS SOPS 1685 HAS SOUS 1320 HAS SOUPS 1320 WITH SCORE 1321.685
AT ITER 8157 NEW BEST:: SOT 13040 SOS 1672 HAS SOPS 1672 HAS SOUS 1320 HAS SOUPS 1320 WITH SCORE 1321.672
AT ITER 8449 NEW BEST:: SOT 13036 SOS 1660 HAS SOPS 1660 HAS SOUS 1316 HAS SOUPS 1316 WITH SCORE 1317.66
AT ITER 8553 NEW BEST:: SOT 13035 SOS 1657 HAS SOPS 1657 HAS SOUS 1316 HAS SOUPS 1316 WITH SCORE 1317.657
AT ITER 8561 NEW BEST:: SOT 13032 SOS 1640 HAS SOPS 1640 HAS SOUS 1314 HAS SOUPS 1314 WITH SCORE 1315.64
AT ITER 8759 NEW BEST:: SOT 13035 SOS 1633 HAS SOPS 1633 HAS SOUS 1313 HAS SOUPS 1313 WITH SCORE 1314.633
AT ITER 8774 NEW BEST:: SOT 13033 SOS 1630 HAS SOPS 1630 HAS SOUS 1309 HAS SOUPS 1309 WITH SCORE 1310.63
AT ITER 8881 NEW BEST:: SOT 13032 SOS 1627 HAS SOPS 1627 HAS SOUS 1305 HAS SOUPS 1305 WITH SCORE 1306.627
AT ITER 8884 NEW BEST:: SOT 13030 SOS 1623 HAS SOPS 1623 HAS SOUS 1305 HAS SOUPS 1305 WITH SCORE 1306.623
AT ITER 8919 NEW BEST:: SOT 13026 SOS 1608 HAS SOPS 1608 HAS SOUS 1298 HAS SOUPS 1298 WITH SCORE 1299.608
AT ITER 9313 NEW BEST:: SOT 13021 SOS 1598 HAS SOPS 1598 HAS SOUS 1293 HAS SOUPS 1293 WITH SCORE 1294.598
AT ITER 9595 NEW BEST:: SOT 13022 SOS 1603 HAS SOPS 1603 HAS SOUS 1290 HAS SOUPS 1290 WITH SCORE 1291.603
AT ITER 9701 NEW BEST:: SOT 13018 SOS 1591 HAS SOPS 1591 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1287.591
STATE_SPACE STATES 99373477213219123216 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 106 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3139864675777757888073 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679330285513

--------------------
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="ViralEpidemic-PT-S04D1C1A02"
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 ViralEpidemic-PT-S04D1C1A02, 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 r491-tall-167912711601296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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