Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r483-tall-167912696801296.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ViralEpidemic-PT-S04D1C1A02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696801296
=====================================================================

--------------------
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 1679198000668

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ViralEpidemic-PT-S04D1C1A02
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S04D1C1A02
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 127 places, 189 transitions, 441 arcs.
AT ITER 0 NEW BEST:: SOT 16397 SOS 10751 HAS SOPS 10751 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3462.751
AT ITER 3 NEW BEST:: SOT 16287 SOS 10475 HAS SOPS 10475 HAS SOUS 3451 HAS SOUPS 3451 WITH SCORE 3461.475
AT ITER 24 NEW BEST:: SOT 16171 SOS 10129 HAS SOPS 10129 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3405.129
AT ITER 26 NEW BEST:: SOT 16119 SOS 9996 HAS SOPS 9996 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3399.996
AT ITER 29 NEW BEST:: SOT 16069 SOS 9869 HAS SOPS 9869 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3397.869
AT ITER 38 NEW BEST:: SOT 16009 SOS 9719 HAS SOPS 9719 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3397.719
AT ITER 41 NEW BEST:: SOT 15901 SOS 9448 HAS SOPS 9448 HAS SOUS 3387 HAS SOUPS 3387 WITH SCORE 3396.448
AT ITER 58 NEW BEST:: SOT 15901 SOS 9446 HAS SOPS 9446 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3392.446
AT ITER 62 NEW BEST:: SOT 15848 SOS 9272 HAS SOPS 9272 HAS SOUS 3373 HAS SOUPS 3373 WITH SCORE 3382.272
AT ITER 70 NEW BEST:: SOT 15774 SOS 9087 HAS SOPS 9087 HAS SOUS 3373 HAS SOUPS 3373 WITH SCORE 3382.087
AT ITER 84 NEW BEST:: SOT 15746 SOS 9014 HAS SOPS 9014 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3377.014
AT ITER 95 NEW BEST:: SOT 15743 SOS 9008 HAS SOPS 9008 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3371.008
AT ITER 109 NEW BEST:: SOT 15639 SOS 8747 HAS SOPS 8747 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3369.747
AT ITER 113 NEW BEST:: SOT 15603 SOS 8654 HAS SOPS 8654 HAS SOUS 3356 HAS SOUPS 3356 WITH SCORE 3364.654
AT ITER 134 NEW BEST:: SOT 15601 SOS 8648 HAS SOPS 8648 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3363.648
AT ITER 149 NEW BEST:: SOT 15517 SOS 8395 HAS SOPS 8395 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3334.395
AT ITER 155 NEW BEST:: SOT 15488 SOS 8320 HAS SOPS 8320 HAS SOUS 3325 HAS SOUPS 3325 WITH SCORE 3333.32
AT ITER 156 NEW BEST:: SOT 15432 SOS 8150 HAS SOPS 8150 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3324.15
AT ITER 166 NEW BEST:: SOT 15423 SOS 8132 HAS SOPS 8132 HAS SOUS 3313 HAS SOUPS 3313 WITH SCORE 3321.132
AT ITER 171 NEW BEST:: SOT 15407 SOS 8092 HAS SOPS 8092 HAS SOUS 3313 HAS SOUPS 3313 WITH SCORE 3321.092
AT ITER 190 NEW BEST:: SOT 15424 SOS 8142 HAS SOPS 8142 HAS SOUS 3298 HAS SOUPS 3298 WITH SCORE 3306.142
AT ITER 205 NEW BEST:: SOT 15427 SOS 8151 HAS SOPS 8151 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3303.151
AT ITER 215 NEW BEST:: SOT 15420 SOS 8125 HAS SOPS 8125 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3302.125
AT ITER 219 NEW BEST:: SOT 15362 SOS 7951 HAS SOPS 7951 HAS SOUS 3259 HAS SOUPS 3259 WITH SCORE 3266.951
AT ITER 230 NEW BEST:: SOT 15326 SOS 7839 HAS SOPS 7839 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3247.839
AT ITER 254 NEW BEST:: SOT 15342 SOS 7886 HAS SOPS 7886 HAS SOUS 3235 HAS SOUPS 3235 WITH SCORE 3242.886
AT ITER 261 NEW BEST:: SOT 15324 SOS 7872 HAS SOPS 7872 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3239.872
AT ITER 269 NEW BEST:: SOT 15321 SOS 7865 HAS SOPS 7865 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3193.865
AT ITER 271 NEW BEST:: SOT 15286 SOS 7792 HAS SOPS 7792 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3177.792
AT ITER 300 NEW BEST:: SOT 15286 SOS 7769 HAS SOPS 7769 HAS SOUS 3131 HAS SOUPS 3131 WITH SCORE 3138.769
AT ITER 318 NEW BEST:: SOT 15274 SOS 7738 HAS SOPS 7738 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3137.738
AT ITER 326 NEW BEST:: SOT 15269 SOS 7720 HAS SOPS 7720 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3137.72
AT ITER 374 NEW BEST:: SOT 15167 SOS 7414 HAS SOPS 7414 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3086.414
AT ITER 385 NEW BEST:: SOT 15166 SOS 7412 HAS SOPS 7412 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3085.412
AT ITER 400 NEW BEST:: SOT 15076 SOS 7185 HAS SOPS 7185 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3083.185
AT ITER 413 NEW BEST:: SOT 15064 SOS 7172 HAS SOPS 7172 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3082.172
AT ITER 418 NEW BEST:: SOT 15064 SOS 7173 HAS SOPS 7173 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3081.173
AT ITER 424 NEW BEST:: SOT 15058 SOS 7157 HAS SOPS 7157 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3080.157
AT ITER 440 NEW BEST:: SOT 15034 SOS 7097 HAS SOPS 7097 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3080.097
AT ITER 450 NEW BEST:: SOT 15040 SOS 7102 HAS SOPS 7102 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3079.102
AT ITER 476 NEW BEST:: SOT 14948 SOS 6826 HAS SOPS 6826 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3030.826
AT ITER 480 NEW BEST:: SOT 14921 SOS 6769 HAS SOPS 6769 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3016.769
AT ITER 488 NEW BEST:: SOT 14871 SOS 6644 HAS SOPS 6644 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3016.644
AT ITER 524 NEW BEST:: SOT 14826 SOS 6508 HAS SOPS 6508 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2993.508
AT ITER 526 NEW BEST:: SOT 14820 SOS 6496 HAS SOPS 6496 HAS SOUS 2981 HAS SOUPS 2981 WITH SCORE 2987.496
AT ITER 542 NEW BEST:: SOT 14741 SOS 6332 HAS SOPS 6332 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2968.332
AT ITER 555 NEW BEST:: SOT 14721 SOS 6269 HAS SOPS 6269 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2964.269
AT ITER 575 NEW BEST:: SOT 14713 SOS 6253 HAS SOPS 6253 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2964.253
AT ITER 588 NEW BEST:: SOT 14705 SOS 6217 HAS SOPS 6217 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2952.217
AT ITER 591 NEW BEST:: SOT 14684 SOS 6153 HAS SOPS 6153 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2942.153
AT ITER 594 NEW BEST:: SOT 14600 SOS 5900 HAS SOPS 5900 HAS SOUS 2931 HAS SOUPS 2931 WITH SCORE 2936.9
AT ITER 596 NEW BEST:: SOT 14600 SOS 5895 HAS SOPS 5895 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2931.895
AT ITER 620 NEW BEST:: SOT 14599 SOS 5899 HAS SOPS 5899 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2927.899
AT ITER 664 NEW BEST:: SOT 14591 SOS 5875 HAS SOPS 5875 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2927.875
AT ITER 674 NEW BEST:: SOT 14594 SOS 5877 HAS SOPS 5877 HAS SOUS 2921 HAS SOUPS 2921 WITH SCORE 2926.877
AT ITER 698 NEW BEST:: SOT 14594 SOS 5877 HAS SOPS 5877 HAS SOUS 2919 HAS SOUPS 2919 WITH SCORE 2924.877
AT ITER 703 NEW BEST:: SOT 14584 SOS 5847 HAS SOPS 5847 HAS SOUS 2910 HAS SOUPS 2910 WITH SCORE 2915.847
AT ITER 716 NEW BEST:: SOT 14584 SOS 5847 HAS SOPS 5847 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2911.847
AT ITER 721 NEW BEST:: SOT 14576 SOS 5795 HAS SOPS 5795 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2903.795
AT ITER 722 NEW BEST:: SOT 14576 SOS 5781 HAS SOPS 5781 HAS SOUS 2878 HAS SOUPS 2878 WITH SCORE 2883.781
AT ITER 728 NEW BEST:: SOT 14562 SOS 5753 HAS SOPS 5753 HAS SOUS 2864 HAS SOUPS 2864 WITH SCORE 2869.753
AT ITER 770 NEW BEST:: SOT 14522 SOS 5604 HAS SOPS 5604 HAS SOUS 2834 HAS SOUPS 2834 WITH SCORE 2839.604
AT ITER 781 NEW BEST:: SOT 14505 SOS 5557 HAS SOPS 5557 HAS SOUS 2829 HAS SOUPS 2829 WITH SCORE 2834.557
AT ITER 795 NEW BEST:: SOT 14505 SOS 5557 HAS SOPS 5557 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2830.557
AT ITER 811 NEW BEST:: SOT 14473 SOS 5433 HAS SOPS 5433 HAS SOUS 2800 HAS SOUPS 2800 WITH SCORE 2805.433
AT ITER 812 NEW BEST:: SOT 14473 SOS 5433 HAS SOPS 5433 HAS SOUS 2798 HAS SOUPS 2798 WITH SCORE 2803.433
AT ITER 814 NEW BEST:: SOT 14473 SOS 5433 HAS SOPS 5433 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2801.433
AT ITER 843 NEW BEST:: SOT 14459 SOS 5399 HAS SOPS 5399 HAS SOUS 2786 HAS SOUPS 2786 WITH SCORE 2791.399
AT ITER 874 NEW BEST:: SOT 14459 SOS 5403 HAS SOPS 5403 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2787.403
AT ITER 903 NEW BEST:: SOT 14458 SOS 5401 HAS SOPS 5401 HAS SOUS 2781 HAS SOUPS 2781 WITH SCORE 2786.401
AT ITER 904 NEW BEST:: SOT 14457 SOS 5398 HAS SOPS 5398 HAS SOUS 2781 HAS SOUPS 2781 WITH SCORE 2786.398
AT ITER 918 NEW BEST:: SOT 14457 SOS 5396 HAS SOPS 5396 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2784.396
AT ITER 925 NEW BEST:: SOT 14439 SOS 5354 HAS SOPS 5354 HAS SOUS 2767 HAS SOUPS 2767 WITH SCORE 2772.354
AT ITER 949 NEW BEST:: SOT 14439 SOS 5353 HAS SOPS 5353 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2769.353
AT ITER 981 NEW BEST:: SOT 14428 SOS 5342 HAS SOPS 5342 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2740.342
AT ITER 984 NEW BEST:: SOT 14415 SOS 5329 HAS SOPS 5329 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2729.329
AT ITER 999 NEW BEST:: SOT 14407 SOS 5309 HAS SOPS 5309 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2729.309
AT ITER 1005 NEW BEST:: SOT 14355 SOS 5153 HAS SOPS 5153 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2699.153
AT ITER 1034 NEW BEST:: SOT 14354 SOS 5151 HAS SOPS 5151 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2699.151
AT ITER 1039 NEW BEST:: SOT 14371 SOS 5185 HAS SOPS 5185 HAS SOUS 2693 HAS SOUPS 2693 WITH SCORE 2698.185
AT ITER 1045 NEW BEST:: SOT 14373 SOS 5206 HAS SOPS 5206 HAS SOUS 2692 HAS SOUPS 2692 WITH SCORE 2697.206
AT ITER 1047 NEW BEST:: SOT 14373 SOS 5206 HAS SOPS 5206 HAS SOUS 2688 HAS SOUPS 2688 WITH SCORE 2693.206
AT ITER 1057 NEW BEST:: SOT 14363 SOS 5172 HAS SOPS 5172 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2688.172
AT ITER 1059 NEW BEST:: SOT 14331 SOS 5066 HAS SOPS 5066 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2661.066
AT ITER 1065 NEW BEST:: SOT 14296 SOS 4996 HAS SOPS 4996 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2660.996
AT ITER 1080 NEW BEST:: SOT 14291 SOS 4976 HAS SOPS 4976 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2660.976
AT ITER 1090 NEW BEST:: SOT 14291 SOS 4978 HAS SOPS 4978 HAS SOUS 2655 HAS SOUPS 2655 WITH SCORE 2659.978
AT ITER 1121 NEW BEST:: SOT 14281 SOS 4944 HAS SOPS 4944 HAS SOUS 2645 HAS SOUPS 2645 WITH SCORE 2649.944
AT ITER 1188 NEW BEST:: SOT 14269 SOS 4913 HAS SOPS 4913 HAS SOUS 2619 HAS SOUPS 2619 WITH SCORE 2623.913
AT ITER 1192 NEW BEST:: SOT 14269 SOS 4913 HAS SOPS 4913 HAS SOUS 2615 HAS SOUPS 2615 WITH SCORE 2619.913
AT ITER 1233 NEW BEST:: SOT 14265 SOS 4901 HAS SOPS 4901 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2613.901
AT ITER 1278 NEW BEST:: SOT 14271 SOS 4921 HAS SOPS 4921 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2612.921
AT ITER 1290 NEW BEST:: SOT 14253 SOS 4885 HAS SOPS 4885 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2594.885
AT ITER 1295 NEW BEST:: SOT 14254 SOS 4912 HAS SOPS 4912 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2574.912
AT ITER 1331 NEW BEST:: SOT 14152 SOS 4610 HAS SOPS 4610 HAS SOUS 2521 HAS SOUPS 2521 WITH SCORE 2525.61
AT ITER 1350 NEW BEST:: SOT 14155 SOS 4602 HAS SOPS 4602 HAS SOUS 2503 HAS SOUPS 2503 WITH SCORE 2507.602
AT ITER 1353 NEW BEST:: SOT 14165 SOS 4610 HAS SOPS 4610 HAS SOUS 2498 HAS SOUPS 2498 WITH SCORE 2502.61
AT ITER 1355 NEW BEST:: SOT 14165 SOS 4610 HAS SOPS 4610 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2500.61
AT ITER 1383 NEW BEST:: SOT 14127 SOS 4534 HAS SOPS 4534 HAS SOUS 2461 HAS SOUPS 2461 WITH SCORE 2465.534
AT ITER 1396 NEW BEST:: SOT 14123 SOS 4526 HAS SOPS 4526 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2461.526
AT ITER 1415 NEW BEST:: SOT 14086 SOS 4451 HAS SOPS 4451 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2461.451
AT ITER 1422 NEW BEST:: SOT 14086 SOS 4436 HAS SOPS 4436 HAS SOUS 2442 HAS SOUPS 2442 WITH SCORE 2446.436
AT ITER 1437 NEW BEST:: SOT 14089 SOS 4439 HAS SOPS 4439 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2435.439
AT ITER 1450 NEW BEST:: SOT 14081 SOS 4423 HAS SOPS 4423 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2435.423
AT ITER 1452 NEW BEST:: SOT 14055 SOS 4345 HAS SOPS 4345 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2416.345
AT ITER 1463 NEW BEST:: SOT 14047 SOS 4321 HAS SOPS 4321 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2408.321
AT ITER 1466 NEW BEST:: SOT 14047 SOS 4321 HAS SOPS 4321 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2376.321
AT ITER 1479 NEW BEST:: SOT 14045 SOS 4317 HAS SOPS 4317 HAS SOUS 2370 HAS SOUPS 2370 WITH SCORE 2374.317
AT ITER 1495 NEW BEST:: SOT 14056 SOS 4351 HAS SOPS 4351 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2370.351
AT ITER 1499 NEW BEST:: SOT 14034 SOS 4283 HAS SOPS 4283 HAS SOUS 2359 HAS SOUPS 2359 WITH SCORE 2363.283
AT ITER 1534 NEW BEST:: SOT 14046 SOS 4319 HAS SOPS 4319 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2359.319
AT ITER 1537 NEW BEST:: SOT 14052 SOS 4331 HAS SOPS 4331 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2353.331
AT ITER 1609 NEW BEST:: SOT 14051 SOS 4323 HAS SOPS 4323 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2353.323
AT ITER 1628 NEW BEST:: SOT 14041 SOS 4263 HAS SOPS 4263 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2331.263
AT ITER 1629 NEW BEST:: SOT 14011 SOS 4203 HAS SOPS 4203 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2297.203
AT ITER 1649 NEW BEST:: SOT 14007 SOS 4195 HAS SOPS 4195 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2297.195
AT ITER 1688 NEW BEST:: SOT 13997 SOS 4165 HAS SOPS 4165 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2288.165
AT ITER 1750 NEW BEST:: SOT 13985 SOS 4129 HAS SOPS 4129 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2276.129
AT ITER 1832 NEW BEST:: SOT 13980 SOS 4119 HAS SOPS 4119 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2276.119
AT ITER 1851 NEW BEST:: SOT 13936 SOS 3991 HAS SOPS 3991 HAS SOUS 2246 HAS SOUPS 2246 WITH SCORE 2249.991
AT ITER 1853 NEW BEST:: SOT 13924 SOS 3943 HAS SOPS 3943 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2245.943
AT ITER 1912 NEW BEST:: SOT 13910 SOS 3902 HAS SOPS 3902 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2245.902
AT ITER 1914 NEW BEST:: SOT 13865 SOS 3763 HAS SOPS 3763 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2233.763
AT ITER 1939 NEW BEST:: SOT 13861 SOS 3760 HAS SOPS 3760 HAS SOUS 2221 HAS SOUPS 2221 WITH SCORE 2224.76
AT ITER 1959 NEW BEST:: SOT 13857 SOS 3752 HAS SOPS 3752 HAS SOUS 2221 HAS SOUPS 2221 WITH SCORE 2224.752
AT ITER 1988 NEW BEST:: SOT 13852 SOS 3742 HAS SOPS 3742 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2219.742
AT ITER 2022 NEW BEST:: SOT 13839 SOS 3713 HAS SOPS 3713 HAS SOUS 2212 HAS SOUPS 2212 WITH SCORE 2215.713
AT ITER 2067 NEW BEST:: SOT 13837 SOS 3705 HAS SOPS 3705 HAS SOUS 2212 HAS SOUPS 2212 WITH SCORE 2215.705
AT ITER 2117 NEW BEST:: SOT 13817 SOS 3645 HAS SOPS 3645 HAS SOUS 2202 HAS SOUPS 2202 WITH SCORE 2205.645
AT ITER 2172 NEW BEST:: SOT 13816 SOS 3641 HAS SOPS 3641 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2204.641
AT ITER 2182 NEW BEST:: SOT 13815 SOS 3638 HAS SOPS 3638 HAS SOUS 2199 HAS SOUPS 2199 WITH SCORE 2202.638
AT ITER 2183 NEW BEST:: SOT 13819 SOS 3653 HAS SOPS 3653 HAS SOUS 2192 HAS SOUPS 2192 WITH SCORE 2195.653
AT ITER 2188 NEW BEST:: SOT 13800 SOS 3588 HAS SOPS 3588 HAS SOUS 2191 HAS SOUPS 2191 WITH SCORE 2194.588
AT ITER 2219 NEW BEST:: SOT 13799 SOS 3597 HAS SOPS 3597 HAS SOUS 2189 HAS SOUPS 2189 WITH SCORE 2192.597
AT ITER 2240 NEW BEST:: SOT 13799 SOS 3597 HAS SOPS 3597 HAS SOUS 2185 HAS SOUPS 2185 WITH SCORE 2188.597
AT ITER 2253 NEW BEST:: SOT 13796 SOS 3594 HAS SOPS 3594 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2185.594
AT ITER 2276 NEW BEST:: SOT 13755 SOS 3498 HAS SOPS 3498 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2171.498
AT ITER 2288 NEW BEST:: SOT 13758 SOS 3504 HAS SOPS 3504 HAS SOUS 2165 HAS SOUPS 2165 WITH SCORE 2168.504
AT ITER 2290 NEW BEST:: SOT 13763 SOS 3508 HAS SOPS 3508 HAS SOUS 2164 HAS SOUPS 2164 WITH SCORE 2167.508
AT ITER 2291 NEW BEST:: SOT 13763 SOS 3508 HAS SOPS 3508 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2161.508
AT ITER 2297 NEW BEST:: SOT 13719 SOS 3374 HAS SOPS 3374 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2127.374
AT ITER 2311 NEW BEST:: SOT 13714 SOS 3359 HAS SOPS 3359 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2119.359
AT ITER 2330 NEW BEST:: SOT 13711 SOS 3347 HAS SOPS 3347 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2114.347
AT ITER 2335 NEW BEST:: SOT 13699 SOS 3311 HAS SOPS 3311 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2108.311
AT ITER 2355 NEW BEST:: SOT 13695 SOS 3299 HAS SOPS 3299 HAS SOUS 2103 HAS SOUPS 2103 WITH SCORE 2106.299
AT ITER 2373 NEW BEST:: SOT 13686 SOS 3273 HAS SOPS 3273 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2104.273
AT ITER 2380 NEW BEST:: SOT 13683 SOS 3267 HAS SOPS 3267 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2101.267
AT ITER 2440 NEW BEST:: SOT 13674 SOS 3248 HAS SOPS 3248 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2101.248
AT ITER 2479 NEW BEST:: SOT 13674 SOS 3248 HAS SOPS 3248 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2097.248
AT ITER 2492 NEW BEST:: SOT 13670 SOS 3243 HAS SOPS 3243 HAS SOUS 2087 HAS SOUPS 2087 WITH SCORE 2090.243
AT ITER 2503 NEW BEST:: SOT 13661 SOS 3219 HAS SOPS 3219 HAS SOUS 2080 HAS SOUPS 2080 WITH SCORE 2083.219
AT ITER 2507 NEW BEST:: SOT 13639 SOS 3147 HAS SOPS 3147 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2071.147
AT ITER 2510 NEW BEST:: SOT 13638 SOS 3144 HAS SOPS 3144 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2069.144
AT ITER 2538 NEW BEST:: SOT 13636 SOS 3160 HAS SOPS 3160 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2057.16
AT ITER 2559 NEW BEST:: SOT 13599 SOS 3056 HAS SOPS 3056 HAS SOUS 2044 HAS SOUPS 2044 WITH SCORE 2047.056
AT ITER 2567 NEW BEST:: SOT 13599 SOS 3042 HAS SOPS 3042 HAS SOUS 2043 HAS SOUPS 2043 WITH SCORE 2046.042
AT ITER 2586 NEW BEST:: SOT 13596 SOS 3033 HAS SOPS 3033 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2043.033
AT ITER 2594 NEW BEST:: SOT 13596 SOS 3029 HAS SOPS 3029 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2042.029
AT ITER 2599 NEW BEST:: SOT 13590 SOS 3014 HAS SOPS 3014 HAS SOUS 2030 HAS SOUPS 2030 WITH SCORE 2033.014
AT ITER 2611 NEW BEST:: SOT 13589 SOS 3012 HAS SOPS 3012 HAS SOUS 2030 HAS SOUPS 2030 WITH SCORE 2033.012
AT ITER 2625 NEW BEST:: SOT 13589 SOS 3012 HAS SOPS 3012 HAS SOUS 2028 HAS SOUPS 2028 WITH SCORE 2031.012
AT ITER 2626 NEW BEST:: SOT 13568 SOS 2929 HAS SOPS 2929 HAS SOUS 2004 HAS SOUPS 2004 WITH SCORE 2006.929
AT ITER 2629 NEW BEST:: SOT 13567 SOS 2927 HAS SOPS 2927 HAS SOUS 2001 HAS SOUPS 2001 WITH SCORE 2003.927
AT ITER 2640 NEW BEST:: SOT 13561 SOS 2915 HAS SOPS 2915 HAS SOUS 1995 HAS SOUPS 1995 WITH SCORE 1997.915
AT ITER 2676 NEW BEST:: SOT 13563 SOS 2914 HAS SOPS 2914 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1980.914
AT ITER 2724 NEW BEST:: SOT 13561 SOS 2910 HAS SOPS 2910 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1980.91
AT ITER 2740 NEW BEST:: SOT 13552 SOS 2885 HAS SOPS 2885 HAS SOUS 1977 HAS SOUPS 1977 WITH SCORE 1979.885
AT ITER 2743 NEW BEST:: SOT 13560 SOS 2897 HAS SOPS 2897 HAS SOUS 1973 HAS SOUPS 1973 WITH SCORE 1975.897
AT ITER 2752 NEW BEST:: SOT 13550 SOS 2867 HAS SOPS 2867 HAS SOUS 1968 HAS SOUPS 1968 WITH SCORE 1970.867
AT ITER 2770 NEW BEST:: SOT 13555 SOS 2874 HAS SOPS 2874 HAS SOUS 1966 HAS SOUPS 1966 WITH SCORE 1968.874
AT ITER 2817 NEW BEST:: SOT 13547 SOS 2854 HAS SOPS 2854 HAS SOUS 1950 HAS SOUPS 1950 WITH SCORE 1952.854
AT ITER 2895 NEW BEST:: SOT 13544 SOS 2848 HAS SOPS 2848 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1951.848
AT ITER 2926 NEW BEST:: SOT 13537 SOS 2820 HAS SOPS 2820 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1951.82
AT ITER 2955 NEW BEST:: SOT 13551 SOS 2869 HAS SOPS 2869 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1944.869
AT ITER 2989 NEW BEST:: SOT 13545 SOS 2849 HAS SOPS 2849 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1942.849
AT ITER 3009 NEW BEST:: SOT 13539 SOS 2831 HAS SOPS 2831 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1937.831
AT ITER 3028 NEW BEST:: SOT 13522 SOS 2775 HAS SOPS 2775 HAS SOUS 1921 HAS SOUPS 1921 WITH SCORE 1923.775
AT ITER 3034 NEW BEST:: SOT 13517 SOS 2765 HAS SOPS 2765 HAS SOUS 1915 HAS SOUPS 1915 WITH SCORE 1917.765
AT ITER 3070 NEW BEST:: SOT 13508 SOS 2747 HAS SOPS 2747 HAS SOUS 1898 HAS SOUPS 1898 WITH SCORE 1900.747
AT ITER 3138 NEW BEST:: SOT 13508 SOS 2746 HAS SOPS 2746 HAS SOUS 1897 HAS SOUPS 1897 WITH SCORE 1899.746
AT ITER 3153 NEW BEST:: SOT 13508 SOS 2744 HAS SOPS 2744 HAS SOUS 1883 HAS SOUPS 1883 WITH SCORE 1885.744
AT ITER 3167 NEW BEST:: SOT 13506 SOS 2738 HAS SOPS 2738 HAS SOUS 1879 HAS SOUPS 1879 WITH SCORE 1881.738
AT ITER 3176 NEW BEST:: SOT 13506 SOS 2738 HAS SOPS 2738 HAS SOUS 1873 HAS SOUPS 1873 WITH SCORE 1875.738
AT ITER 3206 NEW BEST:: SOT 13486 SOS 2663 HAS SOPS 2663 HAS SOUS 1864 HAS SOUPS 1864 WITH SCORE 1866.663
AT ITER 3241 NEW BEST:: SOT 13487 SOS 2679 HAS SOPS 2679 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1864.679
AT ITER 3265 NEW BEST:: SOT 13489 SOS 2685 HAS SOPS 2685 HAS SOUS 1860 HAS SOUPS 1860 WITH SCORE 1862.685
AT ITER 3286 NEW BEST:: SOT 13486 SOS 2679 HAS SOPS 2679 HAS SOUS 1851 HAS SOUPS 1851 WITH SCORE 1853.679
AT ITER 3354 NEW BEST:: SOT 13492 SOS 2697 HAS SOPS 2697 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1847.697
AT ITER 3358 NEW BEST:: SOT 13487 SOS 2677 HAS SOPS 2677 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1847.677
AT ITER 3434 NEW BEST:: SOT 13487 SOS 2679 HAS SOPS 2679 HAS SOUS 1840 HAS SOUPS 1840 WITH SCORE 1842.679
AT ITER 3448 NEW BEST:: SOT 13495 SOS 2703 HAS SOPS 2703 HAS SOUS 1836 HAS SOUPS 1836 WITH SCORE 1838.703
AT ITER 3460 NEW BEST:: SOT 13497 SOS 2705 HAS SOPS 2705 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1836.705
AT ITER 3518 NEW BEST:: SOT 13495 SOS 2697 HAS SOPS 2697 HAS SOUS 1832 HAS SOUPS 1832 WITH SCORE 1834.697
AT ITER 3571 NEW BEST:: SOT 13495 SOS 2697 HAS SOPS 2697 HAS SOUS 1818 HAS SOUPS 1818 WITH SCORE 1820.697
AT ITER 3618 NEW BEST:: SOT 13483 SOS 2657 HAS SOPS 2657 HAS SOUS 1808 HAS SOUPS 1808 WITH SCORE 1810.657
AT ITER 3627 NEW BEST:: SOT 13482 SOS 2651 HAS SOPS 2651 HAS SOUS 1803 HAS SOUPS 1803 WITH SCORE 1805.651
AT ITER 3673 NEW BEST:: SOT 13491 SOS 2666 HAS SOPS 2666 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1796.666
AT ITER 3771 NEW BEST:: SOT 13491 SOS 2666 HAS SOPS 2666 HAS SOUS 1786 HAS SOUPS 1786 WITH SCORE 1788.666
AT ITER 3844 NEW BEST:: SOT 13490 SOS 2664 HAS SOPS 2664 HAS SOUS 1785 HAS SOUPS 1785 WITH SCORE 1787.664
AT ITER 3879 NEW BEST:: SOT 13490 SOS 2664 HAS SOPS 2664 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1785.664
AT ITER 3896 NEW BEST:: SOT 13489 SOS 2662 HAS SOPS 2662 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1779.662
AT ITER 3902 NEW BEST:: SOT 13489 SOS 2656 HAS SOPS 2656 HAS SOUS 1774 HAS SOUPS 1774 WITH SCORE 1776.656
AT ITER 3925 NEW BEST:: SOT 13484 SOS 2640 HAS SOPS 2640 HAS SOUS 1772 HAS SOUPS 1772 WITH SCORE 1774.64
AT ITER 3969 NEW BEST:: SOT 13490 SOS 2660 HAS SOPS 2660 HAS SOUS 1771 HAS SOUPS 1771 WITH SCORE 1773.66
AT ITER 4006 NEW BEST:: SOT 13489 SOS 2653 HAS SOPS 2653 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1765.653
AT ITER 4063 NEW BEST:: SOT 13452 SOS 2579 HAS SOPS 2579 HAS SOUS 1755 HAS SOUPS 1755 WITH SCORE 1757.579
AT ITER 4071 NEW BEST:: SOT 13446 SOS 2550 HAS SOPS 2550 HAS SOUS 1755 HAS SOUPS 1755 WITH SCORE 1757.55
AT ITER 4143 NEW BEST:: SOT 13438 SOS 2518 HAS SOPS 2518 HAS SOUS 1753 HAS SOUPS 1753 WITH SCORE 1755.518
AT ITER 4168 NEW BEST:: SOT 13417 SOS 2483 HAS SOPS 2483 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1716.483
AT ITER 4198 NEW BEST:: SOT 13408 SOS 2465 HAS SOPS 2465 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1716.465
AT ITER 4252 NEW BEST:: SOT 13403 SOS 2455 HAS SOPS 2455 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1709.455
AT ITER 4311 NEW BEST:: SOT 13402 SOS 2452 HAS SOPS 2452 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1709.452
AT ITER 4317 NEW BEST:: SOT 13401 SOS 2449 HAS SOPS 2449 HAS SOUS 1705 HAS SOUPS 1705 WITH SCORE 1707.449
AT ITER 4418 NEW BEST:: SOT 13401 SOS 2446 HAS SOPS 2446 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1702.446
AT ITER 4426 NEW BEST:: SOT 13394 SOS 2422 HAS SOPS 2422 HAS SOUS 1695 HAS SOUPS 1695 WITH SCORE 1697.422
AT ITER 4427 NEW BEST:: SOT 13384 SOS 2395 HAS SOPS 2395 HAS SOUS 1684 HAS SOUPS 1684 WITH SCORE 1686.395
AT ITER 4609 NEW BEST:: SOT 13373 SOS 2373 HAS SOPS 2373 HAS SOUS 1672 HAS SOUPS 1672 WITH SCORE 1674.373
AT ITER 4656 NEW BEST:: SOT 13371 SOS 2366 HAS SOPS 2366 HAS SOUS 1667 HAS SOUPS 1667 WITH SCORE 1669.366
AT ITER 4675 NEW BEST:: SOT 13371 SOS 2370 HAS SOPS 2370 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1667.37
AT ITER 4827 NEW BEST:: SOT 13371 SOS 2369 HAS SOPS 2369 HAS SOUS 1664 HAS SOUPS 1664 WITH SCORE 1666.369
AT ITER 4900 NEW BEST:: SOT 13366 SOS 2374 HAS SOPS 2374 HAS SOUS 1650 HAS SOUPS 1650 WITH SCORE 1652.374
AT ITER 4944 NEW BEST:: SOT 13365 SOS 2375 HAS SOPS 2375 HAS SOUS 1649 HAS SOUPS 1649 WITH SCORE 1651.375
AT ITER 5017 NEW BEST:: SOT 13355 SOS 2349 HAS SOPS 2349 HAS SOUS 1642 HAS SOUPS 1642 WITH SCORE 1644.349
AT ITER 5022 NEW BEST:: SOT 13354 SOS 2351 HAS SOPS 2351 HAS SOUS 1640 HAS SOUPS 1640 WITH SCORE 1642.351
AT ITER 5038 NEW BEST:: SOT 13352 SOS 2343 HAS SOPS 2343 HAS SOUS 1635 HAS SOUPS 1635 WITH SCORE 1637.343
AT ITER 5117 NEW BEST:: SOT 13342 SOS 2314 HAS SOPS 2314 HAS SOUS 1631 HAS SOUPS 1631 WITH SCORE 1633.314
AT ITER 5121 NEW BEST:: SOT 13342 SOS 2312 HAS SOPS 2312 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1631.312
AT ITER 5166 NEW BEST:: SOT 13343 SOS 2317 HAS SOPS 2317 HAS SOUS 1627 HAS SOUPS 1627 WITH SCORE 1629.317
AT ITER 5177 NEW BEST:: SOT 13335 SOS 2293 HAS SOPS 2293 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1625.293
AT ITER 5209 NEW BEST:: SOT 13324 SOS 2261 HAS SOPS 2261 HAS SOUS 1616 HAS SOUPS 1616 WITH SCORE 1618.261
AT ITER 5228 NEW BEST:: SOT 13310 SOS 2219 HAS SOPS 2219 HAS SOUS 1599 HAS SOUPS 1599 WITH SCORE 1601.219
AT ITER 5309 NEW BEST:: SOT 13306 SOS 2205 HAS SOPS 2205 HAS SOUS 1595 HAS SOUPS 1595 WITH SCORE 1597.205
AT ITER 5411 NEW BEST:: SOT 13302 SOS 2194 HAS SOPS 2194 HAS SOUS 1594 HAS SOUPS 1594 WITH SCORE 1596.194
AT ITER 5427 NEW BEST:: SOT 13301 SOS 2190 HAS SOPS 2190 HAS SOUS 1591 HAS SOUPS 1591 WITH SCORE 1593.19
AT ITER 5438 NEW BEST:: SOT 13291 SOS 2154 HAS SOPS 2154 HAS SOUS 1583 HAS SOUPS 1583 WITH SCORE 1585.154
AT ITER 5441 NEW BEST:: SOT 13290 SOS 2152 HAS SOPS 2152 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1582.152
AT ITER 5461 NEW BEST:: SOT 13288 SOS 2148 HAS SOPS 2148 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1580.148
AT ITER 5560 NEW BEST:: SOT 13283 SOS 2134 HAS SOPS 2134 HAS SOUS 1569 HAS SOUPS 1569 WITH SCORE 1571.134
AT ITER 5741 NEW BEST:: SOT 13284 SOS 2135 HAS SOPS 2135 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1570.135
AT ITER 5831 NEW BEST:: SOT 13284 SOS 2134 HAS SOPS 2134 HAS SOUS 1567 HAS SOUPS 1567 WITH SCORE 1569.134
AT ITER 5833 NEW BEST:: SOT 13276 SOS 2113 HAS SOPS 2113 HAS SOUS 1566 HAS SOUPS 1566 WITH SCORE 1568.113
AT ITER 5860 NEW BEST:: SOT 13266 SOS 2090 HAS SOPS 2090 HAS SOUS 1556 HAS SOUPS 1556 WITH SCORE 1558.09
AT ITER 5872 NEW BEST:: SOT 13253 SOS 2064 HAS SOPS 2064 HAS SOUS 1536 HAS SOUPS 1536 WITH SCORE 1538.064
AT ITER 5965 NEW BEST:: SOT 13244 SOS 2028 HAS SOPS 2028 HAS SOUS 1536 HAS SOUPS 1536 WITH SCORE 1538.028
AT ITER 6001 NEW BEST:: SOT 13244 SOS 2028 HAS SOPS 2028 HAS SOUS 1534 HAS SOUPS 1534 WITH SCORE 1536.028
AT ITER 6025 NEW BEST:: SOT 13245 SOS 2033 HAS SOPS 2033 HAS SOUS 1532 HAS SOUPS 1532 WITH SCORE 1534.033
AT ITER 6076 NEW BEST:: SOT 13232 SOS 1982 HAS SOPS 1982 HAS SOUS 1531 HAS SOUPS 1531 WITH SCORE 1532.982
AT ITER 6210 NEW BEST:: SOT 13233 SOS 1989 HAS SOPS 1989 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1529.989
AT ITER 6253 NEW BEST:: SOT 13234 SOS 1992 HAS SOPS 1992 HAS SOUS 1527 HAS SOUPS 1527 WITH SCORE 1528.992
AT ITER 6263 NEW BEST:: SOT 13231 SOS 1982 HAS SOPS 1982 HAS SOUS 1525 HAS SOUPS 1525 WITH SCORE 1526.982
AT ITER 6310 NEW BEST:: SOT 13230 SOS 1979 HAS SOPS 1979 HAS SOUS 1521 HAS SOUPS 1521 WITH SCORE 1522.979
AT ITER 6325 NEW BEST:: SOT 13231 SOS 1983 HAS SOPS 1983 HAS SOUS 1520 HAS SOUPS 1520 WITH SCORE 1521.983
AT ITER 6517 NEW BEST:: SOT 13227 SOS 1972 HAS SOPS 1972 HAS SOUS 1519 HAS SOUPS 1519 WITH SCORE 1520.972
AT ITER 6532 NEW BEST:: SOT 13229 SOS 1977 HAS SOPS 1977 HAS SOUS 1518 HAS SOUPS 1518 WITH SCORE 1519.977
AT ITER 6543 NEW BEST:: SOT 13217 SOS 1935 HAS SOPS 1935 HAS SOUS 1507 HAS SOUPS 1507 WITH SCORE 1508.935
AT ITER 6614 NEW BEST:: SOT 13217 SOS 1936 HAS SOPS 1936 HAS SOUS 1506 HAS SOUPS 1506 WITH SCORE 1507.936
AT ITER 6624 NEW BEST:: SOT 13216 SOS 1928 HAS SOPS 1928 HAS SOUS 1505 HAS SOUPS 1505 WITH SCORE 1506.928
AT ITER 6634 NEW BEST:: SOT 13216 SOS 1928 HAS SOPS 1928 HAS SOUS 1501 HAS SOUPS 1501 WITH SCORE 1502.928
AT ITER 6814 NEW BEST:: SOT 13214 SOS 1922 HAS SOPS 1922 HAS SOUS 1498 HAS SOUPS 1498 WITH SCORE 1499.922
AT ITER 6856 NEW BEST:: SOT 13208 SOS 1904 HAS SOPS 1904 HAS SOUS 1491 HAS SOUPS 1491 WITH SCORE 1492.904
AT ITER 6863 NEW BEST:: SOT 13208 SOS 1902 HAS SOPS 1902 HAS SOUS 1488 HAS SOUPS 1488 WITH SCORE 1489.902
AT ITER 6896 NEW BEST:: SOT 13205 SOS 1893 HAS SOPS 1893 HAS SOUS 1485 HAS SOUPS 1485 WITH SCORE 1486.893
AT ITER 7108 NEW BEST:: SOT 13199 SOS 1875 HAS SOPS 1875 HAS SOUS 1478 HAS SOUPS 1478 WITH SCORE 1479.875
AT ITER 7196 NEW BEST:: SOT 13199 SOS 1874 HAS SOPS 1874 HAS SOUS 1471 HAS SOUPS 1471 WITH SCORE 1472.874
AT ITER 7239 NEW BEST:: SOT 13194 SOS 1858 HAS SOPS 1858 HAS SOUS 1463 HAS SOUPS 1463 WITH SCORE 1464.858
AT ITER 7322 NEW BEST:: SOT 13189 SOS 1848 HAS SOPS 1848 HAS SOUS 1458 HAS SOUPS 1458 WITH SCORE 1459.848
AT ITER 7345 NEW BEST:: SOT 13186 SOS 1854 HAS SOPS 1854 HAS SOUS 1453 HAS SOUPS 1453 WITH SCORE 1454.854
AT ITER 7541 NEW BEST:: SOT 13185 SOS 1860 HAS SOPS 1860 HAS SOUS 1447 HAS SOUPS 1447 WITH SCORE 1448.86
AT ITER 7624 NEW BEST:: SOT 13185 SOS 1859 HAS SOPS 1859 HAS SOUS 1444 HAS SOUPS 1444 WITH SCORE 1445.859
AT ITER 7700 NEW BEST:: SOT 13181 SOS 1846 HAS SOPS 1846 HAS SOUS 1444 HAS SOUPS 1444 WITH SCORE 1445.846
AT ITER 7716 NEW BEST:: SOT 13181 SOS 1851 HAS SOPS 1851 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1441.851
AT ITER 8224 NEW BEST:: SOT 13183 SOS 1857 HAS SOPS 1857 HAS SOUS 1438 HAS SOUPS 1438 WITH SCORE 1439.857
AT ITER 8263 NEW BEST:: SOT 13182 SOS 1854 HAS SOPS 1854 HAS SOUS 1436 HAS SOUPS 1436 WITH SCORE 1437.854
AT ITER 8418 NEW BEST:: SOT 13180 SOS 1848 HAS SOPS 1848 HAS SOUS 1433 HAS SOUPS 1433 WITH SCORE 1434.848
AT ITER 8596 NEW BEST:: SOT 13175 SOS 1836 HAS SOPS 1836 HAS SOUS 1425 HAS SOUPS 1425 WITH SCORE 1426.836
AT ITER 8639 NEW BEST:: SOT 13176 SOS 1841 HAS SOPS 1841 HAS SOUS 1423 HAS SOUPS 1423 WITH SCORE 1424.841
AT ITER 8760 NEW BEST:: SOT 13177 SOS 1846 HAS SOPS 1846 HAS SOUS 1421 HAS SOUPS 1421 WITH SCORE 1422.846
AT ITER 8785 NEW BEST:: SOT 13176 SOS 1842 HAS SOPS 1842 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1413.842
AT ITER 8985 NEW BEST:: SOT 13172 SOS 1838 HAS SOPS 1838 HAS SOUS 1408 HAS SOUPS 1408 WITH SCORE 1409.838
AT ITER 9281 NEW BEST:: SOT 13169 SOS 1829 HAS SOPS 1829 HAS SOUS 1405 HAS SOUPS 1405 WITH SCORE 1406.829
AT ITER 9334 NEW BEST:: SOT 13165 SOS 1817 HAS SOPS 1817 HAS SOUS 1403 HAS SOUPS 1403 WITH SCORE 1404.817
AT ITER 9388 NEW BEST:: SOT 13154 SOS 1795 HAS SOPS 1795 HAS SOUS 1401 HAS SOUPS 1401 WITH SCORE 1402.795
AT ITER 9904 NEW BEST:: SOT 13150 SOS 1784 HAS SOPS 1784 HAS SOUS 1400 HAS SOUPS 1400 WITH SCORE 1401.784
AT ITER 9958 NEW BEST:: SOT 13139 SOS 1751 HAS SOPS 1751 HAS SOUS 1394 HAS SOUPS 1394 WITH SCORE 1395.751
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 1679198311260

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ViralEpidemic-PT-S04D1C1A02"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is 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 1"
echo " Run identifier is r483-tall-167912696801296"
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 ;