fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r224-oct2-159033538900528
Last Updated
Jun 28, 2020

About the Execution of smart for ViralEpidemic-PT-S04D1C1A02

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15768.140 194877.00 194040.00 0.00 9.9373E+0019 3.1399E+0021 1 106 normal

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538900528.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................
=====================================================================
Generated by BenchKit 2-4028
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 r224-oct2-159033538900528
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 312K
-rw-r--r-- 1 mcc users 3.7K May 14 05:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 05:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 13 23:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 23:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.2K May 13 16:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 16:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K May 13 11:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 11:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 131K May 12 20:42 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 1590473731994

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S04D1C1A02
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 14 NEW BEST:: SOT 16299 SOS 10506 HAS SOPS 10506 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3462.506
AT ITER 20 NEW BEST:: SOT 16187 SOS 10174 HAS SOPS 10174 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3408.174
AT ITER 33 NEW BEST:: SOT 16069 SOS 9879 HAS SOPS 9879 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3407.879
AT ITER 34 NEW BEST:: SOT 16015 SOS 9743 HAS SOPS 9743 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3406.743
AT ITER 49 NEW BEST:: SOT 15827 SOS 9363 HAS SOPS 9363 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3406.363
AT ITER 51 NEW BEST:: SOT 15803 SOS 9291 HAS SOPS 9291 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3394.291
AT ITER 61 NEW BEST:: SOT 15763 SOS 9134 HAS SOPS 9134 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3394.134
AT ITER 85 NEW BEST:: SOT 15743 SOS 9082 HAS SOPS 9082 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3392.082
AT ITER 103 NEW BEST:: SOT 15635 SOS 8760 HAS SOPS 8760 HAS SOUS 3373 HAS SOUPS 3373 WITH SCORE 3381.76
AT ITER 105 NEW BEST:: SOT 15561 SOS 8574 HAS SOPS 8574 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3380.574
AT ITER 110 NEW BEST:: SOT 15461 SOS 8274 HAS SOPS 8274 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3330.274
AT ITER 145 NEW BEST:: SOT 15399 SOS 8118 HAS SOPS 8118 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3329.118
AT ITER 154 NEW BEST:: SOT 15319 SOS 7879 HAS SOPS 7879 HAS SOUS 3280 HAS SOUPS 3280 WITH SCORE 3287.879
AT ITER 168 NEW BEST:: SOT 15319 SOS 7877 HAS SOPS 7877 HAS SOUS 3276 HAS SOUPS 3276 WITH SCORE 3283.877
AT ITER 169 NEW BEST:: SOT 15267 SOS 7771 HAS SOPS 7771 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3265.771
AT ITER 171 NEW BEST:: SOT 15264 SOS 7765 HAS SOPS 7765 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3263.765
AT ITER 172 NEW BEST:: SOT 15258 SOS 7750 HAS SOPS 7750 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3263.75
AT ITER 175 NEW BEST:: SOT 15255 SOS 7744 HAS SOPS 7744 HAS SOUS 3255 HAS SOUPS 3255 WITH SCORE 3262.744
AT ITER 196 NEW BEST:: SOT 15195 SOS 7591 HAS SOPS 7591 HAS SOUS 3255 HAS SOUPS 3255 WITH SCORE 3262.591
AT ITER 206 NEW BEST:: SOT 15195 SOS 7573 HAS SOPS 7573 HAS SOUS 3237 HAS SOUPS 3237 WITH SCORE 3244.573
AT ITER 213 NEW BEST:: SOT 15157 SOS 7457 HAS SOPS 7457 HAS SOUS 3157 HAS SOUPS 3157 WITH SCORE 3164.457
AT ITER 222 NEW BEST:: SOT 15147 SOS 7421 HAS SOPS 7421 HAS SOUS 3153 HAS SOUPS 3153 WITH SCORE 3160.421
AT ITER 229 NEW BEST:: SOT 15039 SOS 7082 HAS SOPS 7082 HAS SOUS 3105 HAS SOUPS 3105 WITH SCORE 3112.082
AT ITER 240 NEW BEST:: SOT 15001 SOS 6986 HAS SOPS 6986 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3110.986
AT ITER 253 NEW BEST:: SOT 14997 SOS 6977 HAS SOPS 6977 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3108.977
AT ITER 269 NEW BEST:: SOT 14985 SOS 6941 HAS SOPS 6941 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3102.941
AT ITER 272 NEW BEST:: SOT 14973 SOS 6905 HAS SOPS 6905 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3096.905
AT ITER 283 NEW BEST:: SOT 14971 SOS 6901 HAS SOPS 6901 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3094.901
AT ITER 287 NEW BEST:: SOT 14965 SOS 6889 HAS SOPS 6889 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3086.889
AT ITER 290 NEW BEST:: SOT 14941 SOS 6804 HAS SOPS 6804 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3085.804
AT ITER 293 NEW BEST:: SOT 14901 SOS 6684 HAS SOPS 6684 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3065.684
AT ITER 327 NEW BEST:: SOT 14895 SOS 6672 HAS SOPS 6672 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3065.672
AT ITER 335 NEW BEST:: SOT 14895 SOS 6672 HAS SOPS 6672 HAS SOUS 3057 HAS SOUPS 3057 WITH SCORE 3063.672
AT ITER 343 NEW BEST:: SOT 14841 SOS 6510 HAS SOPS 6510 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3036.51
AT ITER 368 NEW BEST:: SOT 14846 SOS 6522 HAS SOPS 6522 HAS SOUS 3020 HAS SOUPS 3020 WITH SCORE 3026.522
AT ITER 373 NEW BEST:: SOT 14752 SOS 6330 HAS SOPS 6330 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3022.33
AT ITER 383 NEW BEST:: SOT 14740 SOS 6297 HAS SOPS 6297 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3017.297
AT ITER 391 NEW BEST:: SOT 14735 SOS 6285 HAS SOPS 6285 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3003.285
AT ITER 393 NEW BEST:: SOT 14717 SOS 6231 HAS SOPS 6231 HAS SOUS 2991 HAS SOUPS 2991 WITH SCORE 2997.231
AT ITER 399 NEW BEST:: SOT 14695 SOS 6155 HAS SOPS 6155 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2991.155
AT ITER 410 NEW BEST:: SOT 14714 SOS 6206 HAS SOPS 6206 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2986.206
AT ITER 428 NEW BEST:: SOT 14600 SOS 5895 HAS SOPS 5895 HAS SOUS 2959 HAS SOUPS 2959 WITH SCORE 2964.895
AT ITER 436 NEW BEST:: SOT 14675 SOS 6118 HAS SOPS 6118 HAS SOUS 2920 HAS SOUPS 2920 WITH SCORE 2926.118
AT ITER 445 NEW BEST:: SOT 14685 SOS 6152 HAS SOPS 6152 HAS SOUS 2918 HAS SOUPS 2918 WITH SCORE 2924.152
AT ITER 463 NEW BEST:: SOT 14683 SOS 6148 HAS SOPS 6148 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2922.148
AT ITER 471 NEW BEST:: SOT 14681 SOS 6140 HAS SOPS 6140 HAS SOUS 2912 HAS SOUPS 2912 WITH SCORE 2918.14
AT ITER 482 NEW BEST:: SOT 14637 SOS 5984 HAS SOPS 5984 HAS SOUS 2864 HAS SOUPS 2864 WITH SCORE 2869.984
AT ITER 483 NEW BEST:: SOT 14643 SOS 5985 HAS SOPS 5985 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2868.985
AT ITER 486 NEW BEST:: SOT 14649 SOS 5985 HAS SOPS 5985 HAS SOUS 2861 HAS SOUPS 2861 WITH SCORE 2866.985
AT ITER 495 NEW BEST:: SOT 14643 SOS 5967 HAS SOPS 5967 HAS SOUS 2858 HAS SOUPS 2858 WITH SCORE 2863.967
AT ITER 502 NEW BEST:: SOT 14641 SOS 5963 HAS SOPS 5963 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2861.963
AT ITER 536 NEW BEST:: SOT 14632 SOS 5905 HAS SOPS 5905 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2835.905
AT ITER 537 NEW BEST:: SOT 14626 SOS 5893 HAS SOPS 5893 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2835.893
AT ITER 546 NEW BEST:: SOT 14628 SOS 5897 HAS SOPS 5897 HAS SOUS 2829 HAS SOUPS 2829 WITH SCORE 2834.897
AT ITER 570 NEW BEST:: SOT 14628 SOS 5903 HAS SOPS 5903 HAS SOUS 2826 HAS SOUPS 2826 WITH SCORE 2831.903
AT ITER 593 NEW BEST:: SOT 14626 SOS 5899 HAS SOPS 5899 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2829.899
AT ITER 608 NEW BEST:: SOT 14570 SOS 5744 HAS SOPS 5744 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2814.744
AT ITER 627 NEW BEST:: SOT 14570 SOS 5737 HAS SOPS 5737 HAS SOUS 2800 HAS SOUPS 2800 WITH SCORE 2805.737
AT ITER 649 NEW BEST:: SOT 14543 SOS 5658 HAS SOPS 5658 HAS SOUS 2795 HAS SOUPS 2795 WITH SCORE 2800.658
AT ITER 650 NEW BEST:: SOT 14457 SOS 5413 HAS SOPS 5413 HAS SOUS 2770 HAS SOUPS 2770 WITH SCORE 2775.413
AT ITER 655 NEW BEST:: SOT 14464 SOS 5437 HAS SOPS 5437 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2771.437
AT ITER 671 NEW BEST:: SOT 14469 SOS 5500 HAS SOPS 5500 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2745.5
AT ITER 704 NEW BEST:: SOT 14457 SOS 5470 HAS SOPS 5470 HAS SOUS 2734 HAS SOUPS 2734 WITH SCORE 2739.47
AT ITER 713 NEW BEST:: SOT 14410 SOS 5326 HAS SOPS 5326 HAS SOUS 2696 HAS SOUPS 2696 WITH SCORE 2701.326
AT ITER 721 NEW BEST:: SOT 14390 SOS 5266 HAS SOPS 5266 HAS SOUS 2686 HAS SOUPS 2686 WITH SCORE 2691.266
AT ITER 725 NEW BEST:: SOT 14390 SOS 5266 HAS SOPS 5266 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2687.266
AT ITER 729 NEW BEST:: SOT 14386 SOS 5258 HAS SOPS 5258 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2683.258
AT ITER 731 NEW BEST:: SOT 14328 SOS 5062 HAS SOPS 5062 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2652.062
AT ITER 735 NEW BEST:: SOT 14324 SOS 5060 HAS SOPS 5060 HAS SOUS 2646 HAS SOUPS 2646 WITH SCORE 2651.06
AT ITER 736 NEW BEST:: SOT 14307 SOS 5000 HAS SOPS 5000 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2648.0
AT ITER 737 NEW BEST:: SOT 14304 SOS 4991 HAS SOPS 4991 HAS SOUS 2631 HAS SOUPS 2631 WITH SCORE 2635.991
AT ITER 738 NEW BEST:: SOT 14149 SOS 4636 HAS SOPS 4636 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2599.636
AT ITER 741 NEW BEST:: SOT 14145 SOS 4624 HAS SOPS 4624 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2595.624
AT ITER 782 NEW BEST:: SOT 14138 SOS 4610 HAS SOPS 4610 HAS SOUS 2572 HAS SOUPS 2572 WITH SCORE 2576.61
AT ITER 786 NEW BEST:: SOT 14128 SOS 4552 HAS SOPS 4552 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2561.552
AT ITER 789 NEW BEST:: SOT 14110 SOS 4525 HAS SOPS 4525 HAS SOUS 2546 HAS SOUPS 2546 WITH SCORE 2550.525
AT ITER 797 NEW BEST:: SOT 14076 SOS 4409 HAS SOPS 4409 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2532.409
AT ITER 840 NEW BEST:: SOT 14059 SOS 4392 HAS SOPS 4392 HAS SOUS 2521 HAS SOUPS 2521 WITH SCORE 2525.392
AT ITER 845 NEW BEST:: SOT 14059 SOS 4393 HAS SOPS 4393 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2524.393
AT ITER 867 NEW BEST:: SOT 14052 SOS 4379 HAS SOPS 4379 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2524.379
AT ITER 871 NEW BEST:: SOT 14045 SOS 4385 HAS SOPS 4385 HAS SOUS 2501 HAS SOUPS 2501 WITH SCORE 2505.385
AT ITER 886 NEW BEST:: SOT 14042 SOS 4379 HAS SOPS 4379 HAS SOUS 2498 HAS SOUPS 2498 WITH SCORE 2502.379
AT ITER 901 NEW BEST:: SOT 13998 SOS 4182 HAS SOPS 4182 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2501.182
AT ITER 905 NEW BEST:: SOT 13998 SOS 4181 HAS SOPS 4181 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2500.181
AT ITER 934 NEW BEST:: SOT 13968 SOS 4097 HAS SOPS 4097 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2500.097
AT ITER 939 NEW BEST:: SOT 13956 SOS 4065 HAS SOPS 4065 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2498.065
AT ITER 953 NEW BEST:: SOT 13947 SOS 4056 HAS SOPS 4056 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2487.056
AT ITER 973 NEW BEST:: SOT 13946 SOS 4054 HAS SOPS 4054 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2487.054
AT ITER 991 NEW BEST:: SOT 13946 SOS 4052 HAS SOPS 4052 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2483.052
AT ITER 993 NEW BEST:: SOT 13949 SOS 4032 HAS SOPS 4032 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2424.032
AT ITER 996 NEW BEST:: SOT 13930 SOS 3972 HAS SOPS 3972 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2390.972
AT ITER 1001 NEW BEST:: SOT 13924 SOS 3960 HAS SOPS 3960 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2388.96
AT ITER 1014 NEW BEST:: SOT 13918 SOS 3945 HAS SOPS 3945 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2388.945
AT ITER 1036 NEW BEST:: SOT 13911 SOS 3931 HAS SOPS 3931 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2387.931
AT ITER 1071 NEW BEST:: SOT 13879 SOS 3897 HAS SOPS 3897 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2325.897
AT ITER 1081 NEW BEST:: SOT 13879 SOS 3867 HAS SOPS 3867 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2325.867
AT ITER 1083 NEW BEST:: SOT 13868 SOS 3823 HAS SOPS 3823 HAS SOUS 2297 HAS SOUPS 2297 WITH SCORE 2300.823
AT ITER 1084 NEW BEST:: SOT 13862 SOS 3807 HAS SOPS 3807 HAS SOUS 2297 HAS SOUPS 2297 WITH SCORE 2300.807
AT ITER 1095 NEW BEST:: SOT 13871 SOS 3809 HAS SOPS 3809 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2296.809
AT ITER 1099 NEW BEST:: SOT 13865 SOS 3797 HAS SOPS 3797 HAS SOUS 2287 HAS SOUPS 2287 WITH SCORE 2290.797
AT ITER 1128 NEW BEST:: SOT 13863 SOS 3793 HAS SOPS 3793 HAS SOUS 2287 HAS SOUPS 2287 WITH SCORE 2290.793
AT ITER 1143 NEW BEST:: SOT 13844 SOS 3737 HAS SOPS 3737 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2289.737
AT ITER 1145 NEW BEST:: SOT 13824 SOS 3787 HAS SOPS 3787 HAS SOUS 2241 HAS SOUPS 2241 WITH SCORE 2244.787
AT ITER 1163 NEW BEST:: SOT 13810 SOS 3751 HAS SOPS 3751 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2243.751
AT ITER 1175 NEW BEST:: SOT 13794 SOS 3719 HAS SOPS 3719 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2234.719
AT ITER 1187 NEW BEST:: SOT 13794 SOS 3720 HAS SOPS 3720 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2233.72
AT ITER 1220 NEW BEST:: SOT 13789 SOS 3705 HAS SOPS 3705 HAS SOUS 2220 HAS SOUPS 2220 WITH SCORE 2223.705
AT ITER 1230 NEW BEST:: SOT 13782 SOS 3702 HAS SOPS 3702 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2220.702
AT ITER 1248 NEW BEST:: SOT 13777 SOS 3691 HAS SOPS 3691 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2220.691
AT ITER 1253 NEW BEST:: SOT 13777 SOS 3691 HAS SOPS 3691 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2208.691
AT ITER 1255 NEW BEST:: SOT 13788 SOS 3711 HAS SOPS 3711 HAS SOUS 2204 HAS SOUPS 2204 WITH SCORE 2207.711
AT ITER 1278 NEW BEST:: SOT 13783 SOS 3701 HAS SOPS 3701 HAS SOUS 2193 HAS SOUPS 2193 WITH SCORE 2196.701
AT ITER 1279 NEW BEST:: SOT 13773 SOS 3681 HAS SOPS 3681 HAS SOUS 2193 HAS SOUPS 2193 WITH SCORE 2196.681
AT ITER 1304 NEW BEST:: SOT 13760 SOS 3662 HAS SOPS 3662 HAS SOUS 2187 HAS SOUPS 2187 WITH SCORE 2190.662
AT ITER 1320 NEW BEST:: SOT 13760 SOS 3665 HAS SOPS 3665 HAS SOUS 2184 HAS SOUPS 2184 WITH SCORE 2187.665
AT ITER 1341 NEW BEST:: SOT 13760 SOS 3662 HAS SOPS 3662 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2172.662
AT ITER 1359 NEW BEST:: SOT 13746 SOS 3634 HAS SOPS 3634 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2164.634
AT ITER 1363 NEW BEST:: SOT 13737 SOS 3613 HAS SOPS 3613 HAS SOUS 2153 HAS SOUPS 2153 WITH SCORE 2156.613
AT ITER 1393 NEW BEST:: SOT 13730 SOS 3589 HAS SOPS 3589 HAS SOUS 2141 HAS SOUPS 2141 WITH SCORE 2144.589
AT ITER 1406 NEW BEST:: SOT 13719 SOS 3576 HAS SOPS 3576 HAS SOUS 2128 HAS SOUPS 2128 WITH SCORE 2131.576
AT ITER 1431 NEW BEST:: SOT 13724 SOS 3598 HAS SOPS 3598 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2127.598
AT ITER 1471 NEW BEST:: SOT 13711 SOS 3641 HAS SOPS 3641 HAS SOUS 2108 HAS SOUPS 2108 WITH SCORE 2111.641
AT ITER 1483 NEW BEST:: SOT 13672 SOS 3550 HAS SOPS 3550 HAS SOUS 2075 HAS SOUPS 2075 WITH SCORE 2078.55
AT ITER 1487 NEW BEST:: SOT 13672 SOS 3550 HAS SOPS 3550 HAS SOUS 2061 HAS SOUPS 2061 WITH SCORE 2064.55
AT ITER 1491 NEW BEST:: SOT 13662 SOS 3520 HAS SOPS 3520 HAS SOUS 2056 HAS SOUPS 2056 WITH SCORE 2059.52
AT ITER 1516 NEW BEST:: SOT 13662 SOS 3520 HAS SOPS 3520 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2055.52
AT ITER 1525 NEW BEST:: SOT 13652 SOS 3481 HAS SOPS 3481 HAS SOUS 2043 HAS SOUPS 2043 WITH SCORE 2046.481
AT ITER 1530 NEW BEST:: SOT 13634 SOS 3445 HAS SOPS 3445 HAS SOUS 2033 HAS SOUPS 2033 WITH SCORE 2036.445
AT ITER 1554 NEW BEST:: SOT 13630 SOS 3433 HAS SOPS 3433 HAS SOUS 2031 HAS SOUPS 2031 WITH SCORE 2034.433
AT ITER 1583 NEW BEST:: SOT 13630 SOS 3432 HAS SOPS 3432 HAS SOUS 2028 HAS SOUPS 2028 WITH SCORE 2031.432
AT ITER 1609 NEW BEST:: SOT 13628 SOS 3427 HAS SOPS 3427 HAS SOUS 2015 HAS SOUPS 2015 WITH SCORE 2018.427
AT ITER 1645 NEW BEST:: SOT 13626 SOS 3421 HAS SOPS 3421 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2015.421
AT ITER 1660 NEW BEST:: SOT 13624 SOS 3411 HAS SOPS 3411 HAS SOUS 1992 HAS SOUPS 1992 WITH SCORE 1995.411
AT ITER 1675 NEW BEST:: SOT 13614 SOS 3388 HAS SOPS 3388 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1982.388
AT ITER 1745 NEW BEST:: SOT 13631 SOS 3434 HAS SOPS 3434 HAS SOUS 1977 HAS SOUPS 1977 WITH SCORE 1980.434
AT ITER 1785 NEW BEST:: SOT 13629 SOS 3428 HAS SOPS 3428 HAS SOUS 1976 HAS SOUPS 1976 WITH SCORE 1979.428
AT ITER 1815 NEW BEST:: SOT 13627 SOS 3422 HAS SOPS 3422 HAS SOUS 1970 HAS SOUPS 1970 WITH SCORE 1973.422
AT ITER 1821 NEW BEST:: SOT 13623 SOS 3426 HAS SOPS 3426 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1962.426
AT ITER 1837 NEW BEST:: SOT 13619 SOS 3418 HAS SOPS 3418 HAS SOUS 1954 HAS SOUPS 1954 WITH SCORE 1957.418
AT ITER 1868 NEW BEST:: SOT 13611 SOS 3394 HAS SOPS 3394 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1949.394
AT ITER 1887 NEW BEST:: SOT 13610 SOS 3392 HAS SOPS 3392 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1949.392
AT ITER 1892 NEW BEST:: SOT 13597 SOS 3332 HAS SOPS 3332 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1930.332
AT ITER 1912 NEW BEST:: SOT 13596 SOS 3328 HAS SOPS 3328 HAS SOUS 1925 HAS SOUPS 1925 WITH SCORE 1928.328
AT ITER 1916 NEW BEST:: SOT 13597 SOS 3331 HAS SOPS 3331 HAS SOUS 1924 HAS SOUPS 1924 WITH SCORE 1927.331
AT ITER 1918 NEW BEST:: SOT 13616 SOS 3391 HAS SOPS 3391 HAS SOUS 1923 HAS SOUPS 1923 WITH SCORE 1926.391
AT ITER 1949 NEW BEST:: SOT 13608 SOS 3367 HAS SOPS 3367 HAS SOUS 1911 HAS SOUPS 1911 WITH SCORE 1914.367
AT ITER 1960 NEW BEST:: SOT 13604 SOS 3371 HAS SOPS 3371 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1912.371
AT ITER 1964 NEW BEST:: SOT 13610 SOS 3393 HAS SOPS 3393 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1906.393
AT ITER 1987 NEW BEST:: SOT 13604 SOS 3375 HAS SOPS 3375 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1897.375
AT ITER 2027 NEW BEST:: SOT 13595 SOS 3354 HAS SOPS 3354 HAS SOUS 1886 HAS SOUPS 1886 WITH SCORE 1889.354
AT ITER 2037 NEW BEST:: SOT 13592 SOS 3345 HAS SOPS 3345 HAS SOUS 1886 HAS SOUPS 1886 WITH SCORE 1889.345
AT ITER 2106 NEW BEST:: SOT 13579 SOS 3315 HAS SOPS 3315 HAS SOUS 1877 HAS SOUPS 1877 WITH SCORE 1880.315
AT ITER 2128 NEW BEST:: SOT 13580 SOS 3316 HAS SOPS 3316 HAS SOUS 1876 HAS SOUPS 1876 WITH SCORE 1879.316
AT ITER 2133 NEW BEST:: SOT 13576 SOS 3300 HAS SOPS 3300 HAS SOUS 1876 HAS SOUPS 1876 WITH SCORE 1879.3
AT ITER 2160 NEW BEST:: SOT 13565 SOS 3265 HAS SOPS 3265 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1877.265
AT ITER 2175 NEW BEST:: SOT 13565 SOS 3270 HAS SOPS 3270 HAS SOUS 1873 HAS SOUPS 1873 WITH SCORE 1876.27
AT ITER 2250 NEW BEST:: SOT 13555 SOS 3240 HAS SOPS 3240 HAS SOUS 1868 HAS SOUPS 1868 WITH SCORE 1871.24
AT ITER 2274 NEW BEST:: SOT 13543 SOS 3208 HAS SOPS 3208 HAS SOUS 1857 HAS SOUPS 1857 WITH SCORE 1860.208
AT ITER 2286 NEW BEST:: SOT 13543 SOS 3208 HAS SOPS 3208 HAS SOUS 1855 HAS SOUPS 1855 WITH SCORE 1858.208
AT ITER 2297 NEW BEST:: SOT 13540 SOS 3199 HAS SOPS 3199 HAS SOUS 1853 HAS SOUPS 1853 WITH SCORE 1856.199
AT ITER 2391 NEW BEST:: SOT 13544 SOS 3183 HAS SOPS 3183 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1848.183
AT ITER 2411 NEW BEST:: SOT 13542 SOS 3179 HAS SOPS 3179 HAS SOUS 1837 HAS SOUPS 1837 WITH SCORE 1840.179
AT ITER 2414 NEW BEST:: SOT 13527 SOS 3138 HAS SOPS 3138 HAS SOUS 1835 HAS SOUPS 1835 WITH SCORE 1838.138
AT ITER 2421 NEW BEST:: SOT 13507 SOS 3083 HAS SOPS 3083 HAS SOUS 1830 HAS SOUPS 1830 WITH SCORE 1833.083
AT ITER 2446 NEW BEST:: SOT 13511 SOS 3095 HAS SOPS 3095 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1829.095
AT ITER 2455 NEW BEST:: SOT 13503 SOS 3072 HAS SOPS 3072 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1829.072
AT ITER 2467 NEW BEST:: SOT 13501 SOS 3066 HAS SOPS 3066 HAS SOUS 1824 HAS SOUPS 1824 WITH SCORE 1827.066
AT ITER 2471 NEW BEST:: SOT 13484 SOS 3032 HAS SOPS 3032 HAS SOUS 1807 HAS SOUPS 1807 WITH SCORE 1810.032
AT ITER 2481 NEW BEST:: SOT 13481 SOS 3025 HAS SOPS 3025 HAS SOUS 1807 HAS SOUPS 1807 WITH SCORE 1810.025
AT ITER 2550 NEW BEST:: SOT 13478 SOS 3016 HAS SOPS 3016 HAS SOUS 1801 HAS SOUPS 1801 WITH SCORE 1804.016
AT ITER 2565 NEW BEST:: SOT 13460 SOS 2966 HAS SOPS 2966 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1798.966
AT ITER 2580 NEW BEST:: SOT 13456 SOS 2956 HAS SOPS 2956 HAS SOUS 1792 HAS SOUPS 1792 WITH SCORE 1794.956
AT ITER 2596 NEW BEST:: SOT 13456 SOS 2960 HAS SOPS 2960 HAS SOUS 1790 HAS SOUPS 1790 WITH SCORE 1792.96
AT ITER 2605 NEW BEST:: SOT 13418 SOS 2833 HAS SOPS 2833 HAS SOUS 1773 HAS SOUPS 1773 WITH SCORE 1775.833
AT ITER 2612 NEW BEST:: SOT 13415 SOS 2827 HAS SOPS 2827 HAS SOUS 1770 HAS SOUPS 1770 WITH SCORE 1772.827
AT ITER 2615 NEW BEST:: SOT 13404 SOS 2784 HAS SOPS 2784 HAS SOUS 1762 HAS SOUPS 1762 WITH SCORE 1764.784
AT ITER 2617 NEW BEST:: SOT 13420 SOS 2825 HAS SOPS 2825 HAS SOUS 1760 HAS SOUPS 1760 WITH SCORE 1762.825
AT ITER 2677 NEW BEST:: SOT 13421 SOS 2831 HAS SOPS 2831 HAS SOUS 1757 HAS SOUPS 1757 WITH SCORE 1759.831
AT ITER 2702 NEW BEST:: SOT 13408 SOS 2785 HAS SOPS 2785 HAS SOUS 1754 HAS SOUPS 1754 WITH SCORE 1756.785
AT ITER 2760 NEW BEST:: SOT 13400 SOS 2765 HAS SOPS 2765 HAS SOUS 1754 HAS SOUPS 1754 WITH SCORE 1756.765
AT ITER 2777 NEW BEST:: SOT 13395 SOS 2749 HAS SOPS 2749 HAS SOUS 1752 HAS SOUPS 1752 WITH SCORE 1754.749
AT ITER 2793 NEW BEST:: SOT 13380 SOS 2710 HAS SOPS 2710 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1739.71
AT ITER 2806 NEW BEST:: SOT 13386 SOS 2730 HAS SOPS 2730 HAS SOUS 1736 HAS SOUPS 1736 WITH SCORE 1738.73
AT ITER 2868 NEW BEST:: SOT 13385 SOS 2728 HAS SOPS 2728 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1737.728
AT ITER 2884 NEW BEST:: SOT 13364 SOS 2683 HAS SOPS 2683 HAS SOUS 1731 HAS SOUPS 1731 WITH SCORE 1733.683
AT ITER 2909 NEW BEST:: SOT 13363 SOS 2681 HAS SOPS 2681 HAS SOUS 1728 HAS SOUPS 1728 WITH SCORE 1730.681
AT ITER 2923 NEW BEST:: SOT 13355 SOS 2663 HAS SOPS 2663 HAS SOUS 1722 HAS SOUPS 1722 WITH SCORE 1724.663
AT ITER 2945 NEW BEST:: SOT 13323 SOS 2569 HAS SOPS 2569 HAS SOUS 1687 HAS SOUPS 1687 WITH SCORE 1689.569
AT ITER 3023 NEW BEST:: SOT 13321 SOS 2565 HAS SOPS 2565 HAS SOUS 1685 HAS SOUPS 1685 WITH SCORE 1687.565
AT ITER 3028 NEW BEST:: SOT 13320 SOS 2563 HAS SOPS 2563 HAS SOUS 1684 HAS SOUPS 1684 WITH SCORE 1686.563
AT ITER 3032 NEW BEST:: SOT 13320 SOS 2559 HAS SOPS 2559 HAS SOUS 1684 HAS SOUPS 1684 WITH SCORE 1686.559
AT ITER 3045 NEW BEST:: SOT 13317 SOS 2556 HAS SOPS 2556 HAS SOUS 1675 HAS SOUPS 1675 WITH SCORE 1677.556
AT ITER 3059 NEW BEST:: SOT 13312 SOS 2544 HAS SOPS 2544 HAS SOUS 1671 HAS SOUPS 1671 WITH SCORE 1673.544
AT ITER 3080 NEW BEST:: SOT 13311 SOS 2543 HAS SOPS 2543 HAS SOUS 1671 HAS SOUPS 1671 WITH SCORE 1673.543
AT ITER 3085 NEW BEST:: SOT 13312 SOS 2544 HAS SOPS 2544 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1667.544
AT ITER 3119 NEW BEST:: SOT 13300 SOS 2509 HAS SOPS 2509 HAS SOUS 1657 HAS SOUPS 1657 WITH SCORE 1659.509
AT ITER 3141 NEW BEST:: SOT 13298 SOS 2502 HAS SOPS 2502 HAS SOUS 1644 HAS SOUPS 1644 WITH SCORE 1646.502
AT ITER 3216 NEW BEST:: SOT 13298 SOS 2504 HAS SOPS 2504 HAS SOUS 1642 HAS SOUPS 1642 WITH SCORE 1644.504
AT ITER 3251 NEW BEST:: SOT 13297 SOS 2499 HAS SOPS 2499 HAS SOUS 1639 HAS SOUPS 1639 WITH SCORE 1641.499
AT ITER 3266 NEW BEST:: SOT 13293 SOS 2487 HAS SOPS 2487 HAS SOUS 1635 HAS SOUPS 1635 WITH SCORE 1637.487
AT ITER 3307 NEW BEST:: SOT 13279 SOS 2442 HAS SOPS 2442 HAS SOUS 1631 HAS SOUPS 1631 WITH SCORE 1633.442
AT ITER 3317 NEW BEST:: SOT 13279 SOS 2444 HAS SOPS 2444 HAS SOUS 1630 HAS SOUPS 1630 WITH SCORE 1632.444
AT ITER 3323 NEW BEST:: SOT 13303 SOS 2509 HAS SOPS 2509 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1631.509
AT ITER 3417 NEW BEST:: SOT 13289 SOS 2468 HAS SOPS 2468 HAS SOUS 1627 HAS SOUPS 1627 WITH SCORE 1629.468
AT ITER 3433 NEW BEST:: SOT 13285 SOS 2467 HAS SOPS 2467 HAS SOUS 1624 HAS SOUPS 1624 WITH SCORE 1626.467
AT ITER 3642 NEW BEST:: SOT 13284 SOS 2465 HAS SOPS 2465 HAS SOUS 1624 HAS SOUPS 1624 WITH SCORE 1626.465
AT ITER 3742 NEW BEST:: SOT 13273 SOS 2434 HAS SOPS 2434 HAS SOUS 1622 HAS SOUPS 1622 WITH SCORE 1624.434
AT ITER 3771 NEW BEST:: SOT 13257 SOS 2390 HAS SOPS 2390 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1623.39
AT ITER 3809 NEW BEST:: SOT 13256 SOS 2388 HAS SOPS 2388 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1622.388
AT ITER 3862 NEW BEST:: SOT 13255 SOS 2386 HAS SOPS 2386 HAS SOUS 1612 HAS SOUPS 1612 WITH SCORE 1614.386
AT ITER 3922 NEW BEST:: SOT 13255 SOS 2389 HAS SOPS 2389 HAS SOUS 1608 HAS SOUPS 1608 WITH SCORE 1610.389
AT ITER 3937 NEW BEST:: SOT 13241 SOS 2341 HAS SOPS 2341 HAS SOUS 1608 HAS SOUPS 1608 WITH SCORE 1610.341
AT ITER 3944 NEW BEST:: SOT 13242 SOS 2331 HAS SOPS 2331 HAS SOUS 1608 HAS SOUPS 1608 WITH SCORE 1610.331
AT ITER 4025 NEW BEST:: SOT 13238 SOS 2321 HAS SOPS 2321 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1606.321
AT ITER 4048 NEW BEST:: SOT 13236 SOS 2315 HAS SOPS 2315 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1604.315
AT ITER 4113 NEW BEST:: SOT 13234 SOS 2313 HAS SOPS 2313 HAS SOUS 1601 HAS SOUPS 1601 WITH SCORE 1603.313
AT ITER 4120 NEW BEST:: SOT 13234 SOS 2314 HAS SOPS 2314 HAS SOUS 1600 HAS SOUPS 1600 WITH SCORE 1602.314
AT ITER 4134 NEW BEST:: SOT 13232 SOS 2312 HAS SOPS 2312 HAS SOUS 1594 HAS SOUPS 1594 WITH SCORE 1596.312
AT ITER 4143 NEW BEST:: SOT 13230 SOS 2304 HAS SOPS 2304 HAS SOUS 1586 HAS SOUPS 1586 WITH SCORE 1588.304
AT ITER 4255 NEW BEST:: SOT 13231 SOS 2309 HAS SOPS 2309 HAS SOUS 1581 HAS SOUPS 1581 WITH SCORE 1583.309
AT ITER 4283 NEW BEST:: SOT 13230 SOS 2307 HAS SOPS 2307 HAS SOUS 1581 HAS SOUPS 1581 WITH SCORE 1583.307
AT ITER 4292 NEW BEST:: SOT 13229 SOS 2305 HAS SOPS 2305 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1582.305
AT ITER 4329 NEW BEST:: SOT 13226 SOS 2298 HAS SOPS 2298 HAS SOUS 1576 HAS SOUPS 1576 WITH SCORE 1578.298
AT ITER 4339 NEW BEST:: SOT 13225 SOS 2288 HAS SOPS 2288 HAS SOUS 1572 HAS SOUPS 1572 WITH SCORE 1574.288
AT ITER 4391 NEW BEST:: SOT 13242 SOS 2339 HAS SOPS 2339 HAS SOUS 1571 HAS SOUPS 1571 WITH SCORE 1573.339
AT ITER 4427 NEW BEST:: SOT 13240 SOS 2333 HAS SOPS 2333 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1570.333
AT ITER 4485 NEW BEST:: SOT 13240 SOS 2333 HAS SOPS 2333 HAS SOUS 1566 HAS SOUPS 1566 WITH SCORE 1568.333
AT ITER 4523 NEW BEST:: SOT 13237 SOS 2326 HAS SOPS 2326 HAS SOUS 1562 HAS SOUPS 1562 WITH SCORE 1564.326
AT ITER 4533 NEW BEST:: SOT 13237 SOS 2326 HAS SOPS 2326 HAS SOUS 1560 HAS SOUPS 1560 WITH SCORE 1562.326
AT ITER 4535 NEW BEST:: SOT 13219 SOS 2290 HAS SOPS 2290 HAS SOUS 1542 HAS SOUPS 1542 WITH SCORE 1544.29
AT ITER 4600 NEW BEST:: SOT 13217 SOS 2284 HAS SOPS 2284 HAS SOUS 1541 HAS SOUPS 1541 WITH SCORE 1543.284
AT ITER 4641 NEW BEST:: SOT 13216 SOS 2282 HAS SOPS 2282 HAS SOUS 1536 HAS SOUPS 1536 WITH SCORE 1538.282
AT ITER 4667 NEW BEST:: SOT 13213 SOS 2276 HAS SOPS 2276 HAS SOUS 1533 HAS SOUPS 1533 WITH SCORE 1535.276
AT ITER 4688 NEW BEST:: SOT 13201 SOS 2240 HAS SOPS 2240 HAS SOUS 1523 HAS SOUPS 1523 WITH SCORE 1525.24
AT ITER 4693 NEW BEST:: SOT 13201 SOS 2239 HAS SOPS 2239 HAS SOUS 1522 HAS SOUPS 1522 WITH SCORE 1524.239
AT ITER 4717 NEW BEST:: SOT 13196 SOS 2219 HAS SOPS 2219 HAS SOUS 1520 HAS SOUPS 1520 WITH SCORE 1522.219
AT ITER 4745 NEW BEST:: SOT 13194 SOS 2213 HAS SOPS 2213 HAS SOUS 1519 HAS SOUPS 1519 WITH SCORE 1521.213
AT ITER 4795 NEW BEST:: SOT 13193 SOS 2211 HAS SOPS 2211 HAS SOUS 1518 HAS SOUPS 1518 WITH SCORE 1520.211
AT ITER 4796 NEW BEST:: SOT 13179 SOS 2169 HAS SOPS 2169 HAS SOUS 1508 HAS SOUPS 1508 WITH SCORE 1510.169
AT ITER 4814 NEW BEST:: SOT 13173 SOS 2153 HAS SOPS 2153 HAS SOUS 1503 HAS SOUPS 1503 WITH SCORE 1505.153
AT ITER 4829 NEW BEST:: SOT 13167 SOS 2139 HAS SOPS 2139 HAS SOUS 1495 HAS SOUPS 1495 WITH SCORE 1497.139
AT ITER 4863 NEW BEST:: SOT 13165 SOS 2133 HAS SOPS 2133 HAS SOUS 1494 HAS SOUPS 1494 WITH SCORE 1496.133
AT ITER 4876 NEW BEST:: SOT 13162 SOS 2123 HAS SOPS 2123 HAS SOUS 1493 HAS SOUPS 1493 WITH SCORE 1495.123
AT ITER 4895 NEW BEST:: SOT 13157 SOS 2107 HAS SOPS 2107 HAS SOUS 1493 HAS SOUPS 1493 WITH SCORE 1495.107
AT ITER 4897 NEW BEST:: SOT 13156 SOS 2105 HAS SOPS 2105 HAS SOUS 1493 HAS SOUPS 1493 WITH SCORE 1495.105
AT ITER 4900 NEW BEST:: SOT 13148 SOS 2073 HAS SOPS 2073 HAS SOUS 1484 HAS SOUPS 1484 WITH SCORE 1486.073
AT ITER 4930 NEW BEST:: SOT 13147 SOS 2083 HAS SOPS 2083 HAS SOUS 1482 HAS SOUPS 1482 WITH SCORE 1484.083
AT ITER 4993 NEW BEST:: SOT 13150 SOS 2090 HAS SOPS 2090 HAS SOUS 1480 HAS SOUPS 1480 WITH SCORE 1482.09
AT ITER 5086 NEW BEST:: SOT 13141 SOS 2072 HAS SOPS 2072 HAS SOUS 1477 HAS SOUPS 1477 WITH SCORE 1479.072
AT ITER 5124 NEW BEST:: SOT 13133 SOS 2049 HAS SOPS 2049 HAS SOUS 1474 HAS SOUPS 1474 WITH SCORE 1476.049
AT ITER 5162 NEW BEST:: SOT 13130 SOS 2039 HAS SOPS 2039 HAS SOUS 1468 HAS SOUPS 1468 WITH SCORE 1470.039
AT ITER 5205 NEW BEST:: SOT 13128 SOS 2033 HAS SOPS 2033 HAS SOUS 1467 HAS SOUPS 1467 WITH SCORE 1469.033
AT ITER 5346 NEW BEST:: SOT 13125 SOS 2027 HAS SOPS 2027 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1466.027
AT ITER 5388 NEW BEST:: SOT 13123 SOS 2023 HAS SOPS 2023 HAS SOUS 1462 HAS SOUPS 1462 WITH SCORE 1464.023
AT ITER 5407 NEW BEST:: SOT 13120 SOS 2012 HAS SOPS 2012 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1461.012
AT ITER 5414 NEW BEST:: SOT 13119 SOS 2010 HAS SOPS 2010 HAS SOUS 1457 HAS SOUPS 1457 WITH SCORE 1459.01
AT ITER 5461 NEW BEST:: SOT 13119 SOS 2010 HAS SOPS 2010 HAS SOUS 1454 HAS SOUPS 1454 WITH SCORE 1456.01
AT ITER 5499 NEW BEST:: SOT 13129 SOS 2049 HAS SOPS 2049 HAS SOUS 1450 HAS SOUPS 1450 WITH SCORE 1452.049
AT ITER 5632 NEW BEST:: SOT 13122 SOS 2021 HAS SOPS 2021 HAS SOUS 1439 HAS SOUPS 1439 WITH SCORE 1441.021
AT ITER 5696 NEW BEST:: SOT 13122 SOS 2021 HAS SOPS 2021 HAS SOUS 1437 HAS SOUPS 1437 WITH SCORE 1439.021
AT ITER 5702 NEW BEST:: SOT 13106 SOS 1973 HAS SOPS 1973 HAS SOUS 1423 HAS SOUPS 1423 WITH SCORE 1424.973
AT ITER 5822 NEW BEST:: SOT 13106 SOS 1973 HAS SOPS 1973 HAS SOUS 1421 HAS SOUPS 1421 WITH SCORE 1422.973
AT ITER 5913 NEW BEST:: SOT 13101 SOS 1960 HAS SOPS 1960 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1413.96
AT ITER 5979 NEW BEST:: SOT 13092 SOS 1947 HAS SOPS 1947 HAS SOUS 1410 HAS SOUPS 1410 WITH SCORE 1411.947
AT ITER 6020 NEW BEST:: SOT 13088 SOS 1931 HAS SOPS 1931 HAS SOUS 1398 HAS SOUPS 1398 WITH SCORE 1399.931
AT ITER 6023 NEW BEST:: SOT 13086 SOS 1927 HAS SOPS 1927 HAS SOUS 1396 HAS SOUPS 1396 WITH SCORE 1397.927
AT ITER 6156 NEW BEST:: SOT 13085 SOS 1925 HAS SOPS 1925 HAS SOUS 1393 HAS SOUPS 1393 WITH SCORE 1394.925
AT ITER 6178 NEW BEST:: SOT 13085 SOS 1925 HAS SOPS 1925 HAS SOUS 1389 HAS SOUPS 1389 WITH SCORE 1390.925
AT ITER 6182 NEW BEST:: SOT 13083 SOS 1921 HAS SOPS 1921 HAS SOUS 1387 HAS SOUPS 1387 WITH SCORE 1388.921
AT ITER 6269 NEW BEST:: SOT 13083 SOS 1920 HAS SOPS 1920 HAS SOUS 1386 HAS SOUPS 1386 WITH SCORE 1387.92
AT ITER 6276 NEW BEST:: SOT 13089 SOS 1936 HAS SOPS 1936 HAS SOUS 1384 HAS SOUPS 1384 WITH SCORE 1385.936
AT ITER 6481 NEW BEST:: SOT 13088 SOS 1934 HAS SOPS 1934 HAS SOUS 1381 HAS SOUPS 1381 WITH SCORE 1382.934
AT ITER 6482 NEW BEST:: SOT 13086 SOS 1928 HAS SOPS 1928 HAS SOUS 1377 HAS SOUPS 1377 WITH SCORE 1378.928
AT ITER 6605 NEW BEST:: SOT 13086 SOS 1931 HAS SOPS 1931 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1375.931
AT ITER 6639 NEW BEST:: SOT 13086 SOS 1938 HAS SOPS 1938 HAS SOUS 1369 HAS SOUPS 1369 WITH SCORE 1370.938
AT ITER 6650 NEW BEST:: SOT 13084 SOS 1932 HAS SOPS 1932 HAS SOUS 1368 HAS SOUPS 1368 WITH SCORE 1369.932
AT ITER 6711 NEW BEST:: SOT 13082 SOS 1928 HAS SOPS 1928 HAS SOUS 1368 HAS SOUPS 1368 WITH SCORE 1369.928
AT ITER 6761 NEW BEST:: SOT 13078 SOS 1917 HAS SOPS 1917 HAS SOUS 1365 HAS SOUPS 1365 WITH SCORE 1366.917
AT ITER 6767 NEW BEST:: SOT 13075 SOS 1913 HAS SOPS 1913 HAS SOUS 1362 HAS SOUPS 1362 WITH SCORE 1363.913
AT ITER 6799 NEW BEST:: SOT 13071 SOS 1903 HAS SOPS 1903 HAS SOUS 1358 HAS SOUPS 1358 WITH SCORE 1359.903
AT ITER 6857 NEW BEST:: SOT 13073 SOS 1893 HAS SOPS 1893 HAS SOUS 1357 HAS SOUPS 1357 WITH SCORE 1358.893
AT ITER 6894 NEW BEST:: SOT 13071 SOS 1888 HAS SOPS 1888 HAS SOUS 1353 HAS SOUPS 1353 WITH SCORE 1354.888
AT ITER 6969 NEW BEST:: SOT 13072 SOS 1891 HAS SOPS 1891 HAS SOUS 1352 HAS SOUPS 1352 WITH SCORE 1353.891
AT ITER 7059 NEW BEST:: SOT 13065 SOS 1872 HAS SOPS 1872 HAS SOUS 1352 HAS SOUPS 1352 WITH SCORE 1353.872
AT ITER 7112 NEW BEST:: SOT 13061 SOS 1862 HAS SOPS 1862 HAS SOUS 1348 HAS SOUPS 1348 WITH SCORE 1349.862
AT ITER 7183 NEW BEST:: SOT 13061 SOS 1862 HAS SOPS 1862 HAS SOUS 1344 HAS SOUPS 1344 WITH SCORE 1345.862
AT ITER 7276 NEW BEST:: SOT 13059 SOS 1854 HAS SOPS 1854 HAS SOUS 1342 HAS SOUPS 1342 WITH SCORE 1343.854
AT ITER 7287 NEW BEST:: SOT 13057 SOS 1846 HAS SOPS 1846 HAS SOUS 1342 HAS SOUPS 1342 WITH SCORE 1343.846
AT ITER 7297 NEW BEST:: SOT 13050 SOS 1832 HAS SOPS 1832 HAS SOUS 1336 HAS SOUPS 1336 WITH SCORE 1337.832
AT ITER 7315 NEW BEST:: SOT 13050 SOS 1830 HAS SOPS 1830 HAS SOUS 1336 HAS SOUPS 1336 WITH SCORE 1337.83
AT ITER 7861 NEW BEST:: SOT 13047 SOS 1820 HAS SOPS 1820 HAS SOUS 1335 HAS SOUPS 1335 WITH SCORE 1336.82
AT ITER 7895 NEW BEST:: SOT 13046 SOS 1822 HAS SOPS 1822 HAS SOUS 1334 HAS SOUPS 1334 WITH SCORE 1335.822
AT ITER 7898 NEW BEST:: SOT 13053 SOS 1841 HAS SOPS 1841 HAS SOUS 1331 HAS SOUPS 1331 WITH SCORE 1332.841
AT ITER 7913 NEW BEST:: SOT 13053 SOS 1840 HAS SOPS 1840 HAS SOUS 1328 HAS SOUPS 1328 WITH SCORE 1329.84
AT ITER 7914 NEW BEST:: SOT 13052 SOS 1838 HAS SOPS 1838 HAS SOUS 1328 HAS SOUPS 1328 WITH SCORE 1329.838
AT ITER 7918 NEW BEST:: SOT 13049 SOS 1831 HAS SOPS 1831 HAS SOUS 1328 HAS SOUPS 1328 WITH SCORE 1329.831
AT ITER 7985 NEW BEST:: SOT 13046 SOS 1828 HAS SOPS 1828 HAS SOUS 1319 HAS SOUPS 1319 WITH SCORE 1320.828
AT ITER 8014 NEW BEST:: SOT 13040 SOS 1810 HAS SOPS 1810 HAS SOUS 1312 HAS SOUPS 1312 WITH SCORE 1313.81
AT ITER 8177 NEW BEST:: SOT 13039 SOS 1812 HAS SOPS 1812 HAS SOUS 1309 HAS SOUPS 1309 WITH SCORE 1310.812
AT ITER 8351 NEW BEST:: SOT 13037 SOS 1806 HAS SOPS 1806 HAS SOUS 1308 HAS SOUPS 1308 WITH SCORE 1309.806
AT ITER 8412 NEW BEST:: SOT 13033 SOS 1794 HAS SOPS 1794 HAS SOUS 1303 HAS SOUPS 1303 WITH SCORE 1304.794
AT ITER 8462 NEW BEST:: SOT 13035 SOS 1793 HAS SOPS 1793 HAS SOUS 1302 HAS SOUPS 1302 WITH SCORE 1303.793
AT ITER 8479 NEW BEST:: SOT 13033 SOS 1788 HAS SOPS 1788 HAS SOUS 1298 HAS SOUPS 1298 WITH SCORE 1299.788
AT ITER 8489 NEW BEST:: SOT 13027 SOS 1767 HAS SOPS 1767 HAS SOUS 1298 HAS SOUPS 1298 WITH SCORE 1299.767
AT ITER 8617 NEW BEST:: SOT 13011 SOS 1720 HAS SOPS 1720 HAS SOUS 1296 HAS SOUPS 1296 WITH SCORE 1297.72
AT ITER 8714 NEW BEST:: SOT 13006 SOS 1704 HAS SOPS 1704 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1289.704
AT ITER 8983 NEW BEST:: SOT 13005 SOS 1698 HAS SOPS 1698 HAS SOUS 1285 HAS SOUPS 1285 WITH SCORE 1286.698
AT ITER 9015 NEW BEST:: SOT 13004 SOS 1694 HAS SOPS 1694 HAS SOUS 1283 HAS SOUPS 1283 WITH SCORE 1284.694
AT ITER 9196 NEW BEST:: SOT 13000 SOS 1681 HAS SOPS 1681 HAS SOUS 1283 HAS SOUPS 1283 WITH SCORE 1284.681
AT ITER 9249 NEW BEST:: SOT 12998 SOS 1675 HAS SOPS 1675 HAS SOUS 1282 HAS SOUPS 1282 WITH SCORE 1283.675
AT ITER 9304 NEW BEST:: SOT 12993 SOS 1657 HAS SOPS 1657 HAS SOUS 1278 HAS SOUPS 1278 WITH SCORE 1279.657
AT ITER 9459 NEW BEST:: SOT 12989 SOS 1648 HAS SOPS 1648 HAS SOUS 1275 HAS SOUPS 1275 WITH SCORE 1276.648
AT ITER 9469 NEW BEST:: SOT 12992 SOS 1656 HAS SOPS 1656 HAS SOUS 1274 HAS SOUPS 1274 WITH SCORE 1275.656
AT ITER 9491 NEW BEST:: SOT 12990 SOS 1650 HAS SOPS 1650 HAS SOUS 1273 HAS SOUPS 1273 WITH SCORE 1274.65
AT ITER 9575 NEW BEST:: SOT 12987 SOS 1644 HAS SOPS 1644 HAS SOUS 1273 HAS SOUPS 1273 WITH SCORE 1274.644
AT ITER 9598 NEW BEST:: SOT 12990 SOS 1654 HAS SOPS 1654 HAS SOUS 1269 HAS SOUPS 1269 WITH SCORE 1270.654
AT ITER 9717 NEW BEST:: SOT 12988 SOS 1649 HAS SOPS 1649 HAS SOUS 1266 HAS SOUPS 1266 WITH SCORE 1267.649
AT ITER 9739 NEW BEST:: SOT 12990 SOS 1652 HAS SOPS 1652 HAS SOUS 1265 HAS SOUPS 1265 WITH SCORE 1266.652
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 1590473926871

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

# 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-4028"
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 r224-oct2-159033538900528"
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 ;