Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807900704.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DiscoveryGPU-PT-13a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807900704
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 216K
-rw-r--r-- 1 mcc users 3.0K Mar 31 07:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 31 07:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 30 00:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 30 00:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 14:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 14:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 27 07:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 27 07:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 46K Mar 24 05:37 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 1589363894186

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 13a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 133 places, 183 transitions, 588 arcs.
AT ITER 0 NEW BEST:: SOT 17874 SOS 8917 HAS SOPS 8917 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8852.917
AT ITER 3 NEW BEST:: SOT 17866 SOS 8932 HAS SOPS 8932 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8844.932
AT ITER 5 NEW BEST:: SOT 17839 SOS 8851 HAS SOPS 8851 HAS SOUS 8782 HAS SOUPS 8782 WITH SCORE 8790.851
AT ITER 6 NEW BEST:: SOT 17839 SOS 8859 HAS SOPS 8859 HAS SOUS 8775 HAS SOUPS 8775 WITH SCORE 8783.859
AT ITER 8 NEW BEST:: SOT 16542 SOS 7765 HAS SOPS 7572 HAS SOUS 7541 HAS SOUPS 7501 WITH SCORE 7508.765
AT ITER 12 NEW BEST:: SOT 16541 SOS 7755 HAS SOPS 7562 HAS SOUS 7532 HAS SOUPS 7492 WITH SCORE 7499.755
AT ITER 15 NEW BEST:: SOT 16578 SOS 7694 HAS SOPS 7501 HAS SOUS 7464 HAS SOUPS 7424 WITH SCORE 7431.694
AT ITER 23 NEW BEST:: SOT 16619 SOS 7803 HAS SOPS 7617 HAS SOUS 7457 HAS SOUPS 7421 WITH SCORE 7428.803
AT ITER 27 NEW BEST:: SOT 16619 SOS 7797 HAS SOPS 7611 HAS SOUS 7452 HAS SOUPS 7416 WITH SCORE 7423.797
AT ITER 52 NEW BEST:: SOT 16618 SOS 7794 HAS SOPS 7608 HAS SOUS 7450 HAS SOUPS 7414 WITH SCORE 7421.794
AT ITER 53 NEW BEST:: SOT 15944 SOS 7111 HAS SOPS 6922 HAS SOUS 6779 HAS SOUPS 6740 WITH SCORE 6747.111
AT ITER 66 NEW BEST:: SOT 15935 SOS 7102 HAS SOPS 6904 HAS SOUS 6767 HAS SOUPS 6722 WITH SCORE 6729.102
AT ITER 74 NEW BEST:: SOT 15935 SOS 7134 HAS SOPS 6904 HAS SOUS 6741 HAS SOUPS 6695 WITH SCORE 6702.134
AT ITER 79 NEW BEST:: SOT 15935 SOS 7133 HAS SOPS 6903 HAS SOUS 6740 HAS SOUPS 6694 WITH SCORE 6701.133
AT ITER 83 NEW BEST:: SOT 15897 SOS 7045 HAS SOPS 6799 HAS SOUS 6672 HAS SOUPS 6618 WITH SCORE 6625.045
AT ITER 88 NEW BEST:: SOT 15984 SOS 7064 HAS SOPS 6778 HAS SOUS 6646 HAS SOUPS 6592 WITH SCORE 6599.064
AT ITER 102 NEW BEST:: SOT 15976 SOS 6918 HAS SOPS 6603 HAS SOUS 6520 HAS SOUPS 6456 WITH SCORE 6462.918
AT ITER 106 NEW BEST:: SOT 15976 SOS 6900 HAS SOPS 6585 HAS SOUS 6503 HAS SOUPS 6439 WITH SCORE 6445.9
AT ITER 116 NEW BEST:: SOT 15976 SOS 6873 HAS SOPS 6558 HAS SOUS 6476 HAS SOUPS 6412 WITH SCORE 6418.873
AT ITER 122 NEW BEST:: SOT 15776 SOS 6847 HAS SOPS 6336 HAS SOUS 6293 HAS SOUPS 6215 WITH SCORE 6221.847
AT ITER 126 NEW BEST:: SOT 13562 SOS 6769 HAS SOPS 4045 HAS SOUS 4137 HAS SOUPS 3977 WITH SCORE 3983.769
AT ITER 141 NEW BEST:: SOT 13615 SOS 6779 HAS SOPS 4022 HAS SOUS 4114 HAS SOUPS 3954 WITH SCORE 3960.779
AT ITER 147 NEW BEST:: SOT 13537 SOS 6701 HAS SOPS 3911 HAS SOUS 4026 HAS SOUPS 3866 WITH SCORE 3872.701
AT ITER 149 NEW BEST:: SOT 13484 SOS 7131 HAS SOPS 3858 HAS SOUS 3983 HAS SOUPS 3815 WITH SCORE 3822.131
AT ITER 161 NEW BEST:: SOT 13482 SOS 7165 HAS SOPS 3854 HAS SOUS 3979 HAS SOUPS 3811 WITH SCORE 3818.165
AT ITER 162 NEW BEST:: SOT 13482 SOS 7130 HAS SOPS 3784 HAS SOUS 3909 HAS SOUPS 3741 WITH SCORE 3748.13
AT ITER 163 NEW BEST:: SOT 13447 SOS 7095 HAS SOPS 3714 HAS SOUS 3839 HAS SOUPS 3671 WITH SCORE 3678.095
AT ITER 168 NEW BEST:: SOT 13474 SOS 7148 HAS SOPS 3739 HAS SOUS 3834 HAS SOUPS 3666 WITH SCORE 3673.148
AT ITER 174 NEW BEST:: SOT 13474 SOS 7148 HAS SOPS 3730 HAS SOUS 3825 HAS SOUPS 3657 WITH SCORE 3664.148
AT ITER 179 NEW BEST:: SOT 13404 SOS 7078 HAS SOPS 3730 HAS SOUS 3825 HAS SOUPS 3657 WITH SCORE 3664.078
AT ITER 203 NEW BEST:: SOT 13398 SOS 7058 HAS SOPS 3705 HAS SOUS 3801 HAS SOUPS 3633 WITH SCORE 3640.058
AT ITER 206 NEW BEST:: SOT 13396 SOS 7084 HAS SOPS 3701 HAS SOUS 3797 HAS SOUPS 3629 WITH SCORE 3636.084
AT ITER 214 NEW BEST:: SOT 13387 SOS 7090 HAS SOPS 3698 HAS SOUS 3794 HAS SOUPS 3626 WITH SCORE 3633.09
AT ITER 217 NEW BEST:: SOT 13385 SOS 7060 HAS SOPS 3640 HAS SOUS 3736 HAS SOUPS 3568 WITH SCORE 3575.06
AT ITER 223 NEW BEST:: SOT 13379 SOS 7043 HAS SOPS 3617 HAS SOUS 3713 HAS SOUPS 3545 WITH SCORE 3552.043
AT ITER 224 NEW BEST:: SOT 13363 SOS 7003 HAS SOPS 3561 HAS SOUS 3657 HAS SOUPS 3489 WITH SCORE 3496.003
AT ITER 232 NEW BEST:: SOT 13433 SOS 7023 HAS SOPS 3551 HAS SOUS 3647 HAS SOUPS 3479 WITH SCORE 3486.023
AT ITER 251 NEW BEST:: SOT 13433 SOS 7006 HAS SOPS 3534 HAS SOUS 3630 HAS SOUPS 3462 WITH SCORE 3469.006
AT ITER 269 NEW BEST:: SOT 13445 SOS 7029 HAS SOPS 3497 HAS SOUS 3547 HAS SOUPS 3379 WITH SCORE 3386.029
AT ITER 275 NEW BEST:: SOT 13465 SOS 7034 HAS SOPS 3492 HAS SOUS 3542 HAS SOUPS 3374 WITH SCORE 3381.034
AT ITER 286 NEW BEST:: SOT 13559 SOS 7063 HAS SOPS 3485 HAS SOUS 3535 HAS SOUPS 3367 WITH SCORE 3374.063
AT ITER 300 NEW BEST:: SOT 13558 SOS 7063 HAS SOPS 3484 HAS SOUS 3534 HAS SOUPS 3366 WITH SCORE 3373.063
AT ITER 302 NEW BEST:: SOT 13644 SOS 7149 HAS SOPS 3500 HAS SOUS 3527 HAS SOUPS 3359 WITH SCORE 3366.149
AT ITER 310 NEW BEST:: SOT 13644 SOS 7149 HAS SOPS 3478 HAS SOUS 3505 HAS SOUPS 3337 WITH SCORE 3344.149
AT ITER 311 NEW BEST:: SOT 13644 SOS 7149 HAS SOPS 3468 HAS SOUS 3495 HAS SOUPS 3327 WITH SCORE 3334.149
AT ITER 317 NEW BEST:: SOT 13509 SOS 7327 HAS SOPS 3317 HAS SOUS 3418 HAS SOUPS 3234 WITH SCORE 3241.327
AT ITER 322 NEW BEST:: SOT 13479 SOS 7282 HAS SOPS 3257 HAS SOUS 3358 HAS SOUPS 3174 WITH SCORE 3181.282
AT ITER 343 NEW BEST:: SOT 13474 SOS 7277 HAS SOPS 3255 HAS SOUS 3356 HAS SOUPS 3172 WITH SCORE 3179.277
AT ITER 372 NEW BEST:: SOT 13472 SOS 7274 HAS SOPS 3251 HAS SOUS 3352 HAS SOUPS 3168 WITH SCORE 3175.274
AT ITER 389 NEW BEST:: SOT 13448 SOS 7254 HAS SOPS 3219 HAS SOUS 3320 HAS SOUPS 3136 WITH SCORE 3143.254
AT ITER 391 NEW BEST:: SOT 13448 SOS 7254 HAS SOPS 3217 HAS SOUS 3318 HAS SOUPS 3134 WITH SCORE 3141.254
AT ITER 404 NEW BEST:: SOT 13448 SOS 7253 HAS SOPS 3216 HAS SOUS 3317 HAS SOUPS 3133 WITH SCORE 3140.253
AT ITER 408 NEW BEST:: SOT 13432 SOS 7304 HAS SOPS 3197 HAS SOUS 3313 HAS SOUPS 3126 WITH SCORE 3133.304
AT ITER 439 NEW BEST:: SOT 13411 SOS 7282 HAS SOPS 3155 HAS SOUS 3271 HAS SOUPS 3084 WITH SCORE 3091.282
AT ITER 445 NEW BEST:: SOT 13411 SOS 7265 HAS SOPS 3155 HAS SOUS 3271 HAS SOUPS 3084 WITH SCORE 3091.265
AT ITER 446 NEW BEST:: SOT 13411 SOS 7248 HAS SOPS 3121 HAS SOUS 3237 HAS SOUPS 3050 WITH SCORE 3057.248
AT ITER 451 NEW BEST:: SOT 13411 SOS 7247 HAS SOPS 3121 HAS SOUS 3237 HAS SOUPS 3050 WITH SCORE 3057.247
AT ITER 469 NEW BEST:: SOT 13409 SOS 7244 HAS SOPS 3116 HAS SOUS 3232 HAS SOUPS 3045 WITH SCORE 3052.244
AT ITER 470 NEW BEST:: SOT 13406 SOS 7238 HAS SOPS 3110 HAS SOUS 3226 HAS SOUPS 3039 WITH SCORE 3046.238
AT ITER 491 NEW BEST:: SOT 13403 SOS 7235 HAS SOPS 3107 HAS SOUS 3223 HAS SOUPS 3036 WITH SCORE 3043.235
AT ITER 506 NEW BEST:: SOT 13397 SOS 7223 HAS SOPS 3089 HAS SOUS 3205 HAS SOUPS 3018 WITH SCORE 3025.223
AT ITER 507 NEW BEST:: SOT 13395 SOS 7220 HAS SOPS 3085 HAS SOUS 3201 HAS SOUPS 3014 WITH SCORE 3021.22
AT ITER 512 NEW BEST:: SOT 13386 SOS 7173 HAS SOPS 3067 HAS SOUS 3183 HAS SOUPS 2996 WITH SCORE 3003.173
AT ITER 534 NEW BEST:: SOT 13386 SOS 7165 HAS SOPS 3052 HAS SOUS 3176 HAS SOUPS 2989 WITH SCORE 2996.165
AT ITER 553 NEW BEST:: SOT 13379 SOS 7151 HAS SOPS 3038 HAS SOUS 3162 HAS SOUPS 2975 WITH SCORE 2982.151
AT ITER 562 NEW BEST:: SOT 13320 SOS 8029 HAS SOPS 2927 HAS SOUS 3142 HAS SOUPS 2923 WITH SCORE 2931.029
AT ITER 586 NEW BEST:: SOT 13324 SOS 8016 HAS SOPS 2916 HAS SOUS 3131 HAS SOUPS 2912 WITH SCORE 2920.016
AT ITER 623 NEW BEST:: SOT 13324 SOS 8016 HAS SOPS 2912 HAS SOUS 3127 HAS SOUPS 2908 WITH SCORE 2916.016
AT ITER 626 NEW BEST:: SOT 13316 SOS 8011 HAS SOPS 2910 HAS SOUS 3125 HAS SOUPS 2906 WITH SCORE 2914.011
AT ITER 628 NEW BEST:: SOT 13308 SOS 7999 HAS SOPS 2894 HAS SOUS 3109 HAS SOUPS 2890 WITH SCORE 2897.999
AT ITER 635 NEW BEST:: SOT 13306 SOS 8019 HAS SOPS 2890 HAS SOUS 3105 HAS SOUPS 2886 WITH SCORE 2894.019
AT ITER 644 NEW BEST:: SOT 13298 SOS 8021 HAS SOPS 2874 HAS SOUS 3089 HAS SOUPS 2870 WITH SCORE 2878.021
AT ITER 655 NEW BEST:: SOT 13298 SOS 8021 HAS SOPS 2855 HAS SOUS 3071 HAS SOUPS 2851 WITH SCORE 2859.021
AT ITER 673 NEW BEST:: SOT 13226 SOS 7963 HAS SOPS 2781 HAS SOUS 2997 HAS SOUPS 2777 WITH SCORE 2784.963
AT ITER 684 NEW BEST:: SOT 13216 SOS 7953 HAS SOPS 2761 HAS SOUS 2977 HAS SOUPS 2757 WITH SCORE 2764.953
AT ITER 687 NEW BEST:: SOT 13250 SOS 7980 HAS SOPS 2756 HAS SOUS 2973 HAS SOUPS 2753 WITH SCORE 2760.98
AT ITER 698 NEW BEST:: SOT 13249 SOS 7987 HAS SOPS 2754 HAS SOUS 2963 HAS SOUPS 2743 WITH SCORE 2750.987
AT ITER 706 NEW BEST:: SOT 13249 SOS 7986 HAS SOPS 2754 HAS SOUS 2963 HAS SOUPS 2743 WITH SCORE 2750.986
AT ITER 730 NEW BEST:: SOT 13243 SOS 8110 HAS SOPS 2746 HAS SOUS 2959 HAS SOUPS 2737 WITH SCORE 2745.11
AT ITER 743 NEW BEST:: SOT 13316 SOS 8105 HAS SOPS 2638 HAS SOUS 2851 HAS SOUPS 2629 WITH SCORE 2637.105
AT ITER 757 NEW BEST:: SOT 13316 SOS 8095 HAS SOPS 2638 HAS SOUS 2851 HAS SOUPS 2629 WITH SCORE 2637.095
AT ITER 758 NEW BEST:: SOT 13291 SOS 8070 HAS SOPS 2588 HAS SOUS 2801 HAS SOUPS 2579 WITH SCORE 2587.07
AT ITER 759 NEW BEST:: SOT 13276 SOS 8065 HAS SOPS 2578 HAS SOUS 2791 HAS SOUPS 2569 WITH SCORE 2577.065
AT ITER 782 NEW BEST:: SOT 13267 SOS 8070 HAS SOPS 2560 HAS SOUS 2774 HAS SOUPS 2551 WITH SCORE 2559.07
AT ITER 799 NEW BEST:: SOT 13267 SOS 8061 HAS SOPS 2560 HAS SOUS 2773 HAS SOUPS 2551 WITH SCORE 2559.061
AT ITER 811 NEW BEST:: SOT 13264 SOS 8053 HAS SOPS 2554 HAS SOUS 2767 HAS SOUPS 2545 WITH SCORE 2553.053
AT ITER 820 NEW BEST:: SOT 13264 SOS 8015 HAS SOPS 2516 HAS SOUS 2745 HAS SOUPS 2507 WITH SCORE 2515.015
AT ITER 824 NEW BEST:: SOT 13264 SOS 8012 HAS SOPS 2513 HAS SOUS 2742 HAS SOUPS 2504 WITH SCORE 2512.012
AT ITER 829 NEW BEST:: SOT 13263 SOS 8011 HAS SOPS 2512 HAS SOUS 2742 HAS SOUPS 2504 WITH SCORE 2512.011
AT ITER 831 NEW BEST:: SOT 13216 SOS 7978 HAS SOPS 2508 HAS SOUS 2738 HAS SOUPS 2500 WITH SCORE 2507.978
AT ITER 866 NEW BEST:: SOT 13215 SOS 7976 HAS SOPS 2506 HAS SOUS 2737 HAS SOUPS 2499 WITH SCORE 2506.976
AT ITER 898 NEW BEST:: SOT 13215 SOS 7975 HAS SOPS 2504 HAS SOUS 2735 HAS SOUPS 2497 WITH SCORE 2504.975
AT ITER 911 NEW BEST:: SOT 13210 SOS 7971 HAS SOPS 2503 HAS SOUS 2734 HAS SOUPS 2496 WITH SCORE 2503.971
AT ITER 938 NEW BEST:: SOT 13228 SOS 7979 HAS SOPS 2500 HAS SOUS 2731 HAS SOUPS 2493 WITH SCORE 2500.979
AT ITER 940 NEW BEST:: SOT 13220 SOS 7984 HAS SOPS 2484 HAS SOUS 2715 HAS SOUPS 2477 WITH SCORE 2484.984
AT ITER 948 NEW BEST:: SOT 13185 SOS 7968 HAS SOPS 2414 HAS SOUS 2645 HAS SOUPS 2407 WITH SCORE 2414.968
AT ITER 959 NEW BEST:: SOT 13180 SOS 7968 HAS SOPS 2409 HAS SOUS 2640 HAS SOUPS 2402 WITH SCORE 2409.968
AT ITER 1002 NEW BEST:: SOT 13144 SOS 7932 HAS SOPS 2373 HAS SOUS 2604 HAS SOUPS 2366 WITH SCORE 2373.932
AT ITER 1013 NEW BEST:: SOT 13139 SOS 7922 HAS SOPS 2364 HAS SOUS 2595 HAS SOUPS 2357 WITH SCORE 2364.922
AT ITER 1074 NEW BEST:: SOT 13136 SOS 7919 HAS SOPS 2332 HAS SOUS 2563 HAS SOUPS 2325 WITH SCORE 2332.919
AT ITER 1079 NEW BEST:: SOT 13136 SOS 7911 HAS SOPS 2332 HAS SOUS 2563 HAS SOUPS 2325 WITH SCORE 2332.911
AT ITER 1119 NEW BEST:: SOT 13134 SOS 7909 HAS SOPS 2331 HAS SOUS 2562 HAS SOUPS 2324 WITH SCORE 2331.909
AT ITER 1130 NEW BEST:: SOT 13134 SOS 7909 HAS SOPS 2329 HAS SOUS 2560 HAS SOUPS 2322 WITH SCORE 2329.909
AT ITER 1187 NEW BEST:: SOT 13131 SOS 7906 HAS SOPS 2326 HAS SOUS 2557 HAS SOUPS 2319 WITH SCORE 2326.906
AT ITER 1206 NEW BEST:: SOT 13127 SOS 7930 HAS SOPS 2318 HAS SOUS 2549 HAS SOUPS 2311 WITH SCORE 2318.93
AT ITER 1254 NEW BEST:: SOT 13125 SOS 7928 HAS SOPS 2315 HAS SOUS 2546 HAS SOUPS 2308 WITH SCORE 2315.928
AT ITER 1274 NEW BEST:: SOT 13123 SOS 7926 HAS SOPS 2311 HAS SOUS 2542 HAS SOUPS 2304 WITH SCORE 2311.926
AT ITER 1290 NEW BEST:: SOT 13122 SOS 7925 HAS SOPS 2309 HAS SOUS 2540 HAS SOUPS 2302 WITH SCORE 2309.925
AT ITER 1298 NEW BEST:: SOT 13116 SOS 7916 HAS SOPS 2297 HAS SOUS 2528 HAS SOUPS 2290 WITH SCORE 2297.916
AT ITER 1299 NEW BEST:: SOT 13113 SOS 7908 HAS SOPS 2281 HAS SOUS 2512 HAS SOUPS 2274 WITH SCORE 2281.908
AT ITER 1308 NEW BEST:: SOT 13112 SOS 7907 HAS SOPS 2279 HAS SOUS 2510 HAS SOUPS 2272 WITH SCORE 2279.907
AT ITER 1310 NEW BEST:: SOT 13110 SOS 7904 HAS SOPS 2275 HAS SOUS 2506 HAS SOUPS 2268 WITH SCORE 2275.904
AT ITER 1313 NEW BEST:: SOT 13114 SOS 7897 HAS SOPS 2272 HAS SOUS 2503 HAS SOUPS 2265 WITH SCORE 2272.897
AT ITER 1314 NEW BEST:: SOT 13120 SOS 7875 HAS SOPS 2222 HAS SOUS 2453 HAS SOUPS 2215 WITH SCORE 2222.875
AT ITER 1329 NEW BEST:: SOT 13106 SOS 7857 HAS SOPS 2194 HAS SOUS 2425 HAS SOUPS 2187 WITH SCORE 2194.857
AT ITER 1351 NEW BEST:: SOT 13139 SOS 7846 HAS SOPS 2172 HAS SOUS 2403 HAS SOUPS 2165 WITH SCORE 2172.846
AT ITER 1422 NEW BEST:: SOT 13127 SOS 7841 HAS SOPS 2169 HAS SOUS 2398 HAS SOUPS 2162 WITH SCORE 2169.841
AT ITER 1433 NEW BEST:: SOT 13126 SOS 7846 HAS SOPS 2167 HAS SOUS 2396 HAS SOUPS 2160 WITH SCORE 2167.846
AT ITER 1452 NEW BEST:: SOT 13124 SOS 7844 HAS SOPS 2101 HAS SOUS 2330 HAS SOUPS 2094 WITH SCORE 2101.844
AT ITER 1463 NEW BEST:: SOT 13117 SOS 7837 HAS SOPS 2087 HAS SOUS 2320 HAS SOUPS 2080 WITH SCORE 2087.837
AT ITER 1478 NEW BEST:: SOT 13103 SOS 7823 HAS SOPS 2064 HAS SOUS 2297 HAS SOUPS 2057 WITH SCORE 2064.823
AT ITER 1485 NEW BEST:: SOT 13103 SOS 7820 HAS SOPS 2057 HAS SOUS 2290 HAS SOUPS 2050 WITH SCORE 2057.82
AT ITER 1568 NEW BEST:: SOT 13103 SOS 7815 HAS SOPS 2052 HAS SOUS 2285 HAS SOUPS 2045 WITH SCORE 2052.815
AT ITER 1609 NEW BEST:: SOT 13101 SOS 7813 HAS SOPS 2048 HAS SOUS 2281 HAS SOUPS 2041 WITH SCORE 2048.813
AT ITER 1662 NEW BEST:: SOT 13100 SOS 7812 HAS SOPS 2046 HAS SOUS 2279 HAS SOUPS 2039 WITH SCORE 2046.812
AT ITER 1668 NEW BEST:: SOT 13104 SOS 7806 HAS SOPS 2044 HAS SOUS 2277 HAS SOUPS 2037 WITH SCORE 2044.806
AT ITER 1689 NEW BEST:: SOT 13151 SOS 7812 HAS SOPS 2015 HAS SOUS 2248 HAS SOUPS 2008 WITH SCORE 2015.812
AT ITER 1704 NEW BEST:: SOT 13147 SOS 7806 HAS SOPS 2007 HAS SOUS 2240 HAS SOUPS 2000 WITH SCORE 2007.806
AT ITER 1712 NEW BEST:: SOT 13143 SOS 7802 HAS SOPS 2003 HAS SOUS 2236 HAS SOUPS 1996 WITH SCORE 2003.802
AT ITER 1731 NEW BEST:: SOT 13140 SOS 7802 HAS SOPS 1997 HAS SOUS 2230 HAS SOUPS 1990 WITH SCORE 1997.802
AT ITER 1738 NEW BEST:: SOT 13137 SOS 7804 HAS SOPS 1991 HAS SOUS 2224 HAS SOUPS 1984 WITH SCORE 1991.804
AT ITER 1745 NEW BEST:: SOT 13132 SOS 7797 HAS SOPS 1981 HAS SOUS 2214 HAS SOUPS 1974 WITH SCORE 1981.797
AT ITER 1772 NEW BEST:: SOT 13087 SOS 7781 HAS SOPS 1920 HAS SOUS 2153 HAS SOUPS 1913 WITH SCORE 1920.781
AT ITER 1803 NEW BEST:: SOT 13085 SOS 7781 HAS SOPS 1916 HAS SOUS 2149 HAS SOUPS 1909 WITH SCORE 1916.781
AT ITER 1873 NEW BEST:: SOT 13083 SOS 7779 HAS SOPS 1916 HAS SOUS 2149 HAS SOUPS 1909 WITH SCORE 1916.779
AT ITER 1878 NEW BEST:: SOT 13081 SOS 7775 HAS SOPS 1912 HAS SOUS 2145 HAS SOUPS 1905 WITH SCORE 1912.775
AT ITER 1922 NEW BEST:: SOT 13081 SOS 7770 HAS SOPS 1907 HAS SOUS 2140 HAS SOUPS 1900 WITH SCORE 1907.77
AT ITER 1945 NEW BEST:: SOT 13073 SOS 7765 HAS SOPS 1899 HAS SOUS 2136 HAS SOUPS 1896 WITH SCORE 1903.765
AT ITER 1964 NEW BEST:: SOT 13069 SOS 7961 HAS SOPS 1892 HAS SOUS 2133 HAS SOUPS 1890 WITH SCORE 1897.961
AT ITER 1995 NEW BEST:: SOT 13067 SOS 7959 HAS SOPS 1890 HAS SOUS 2131 HAS SOUPS 1888 WITH SCORE 1895.959
AT ITER 1997 NEW BEST:: SOT 13067 SOS 7958 HAS SOPS 1890 HAS SOUS 2131 HAS SOUPS 1888 WITH SCORE 1895.958
AT ITER 1999 NEW BEST:: SOT 13067 SOS 7954 HAS SOPS 1882 HAS SOUS 2123 HAS SOUPS 1880 WITH SCORE 1887.954
AT ITER 2035 NEW BEST:: SOT 13040 SOS 7953 HAS SOPS 1880 HAS SOUS 2121 HAS SOUPS 1878 WITH SCORE 1885.953
AT ITER 2102 NEW BEST:: SOT 13043 SOS 7949 HAS SOPS 1865 HAS SOUS 2106 HAS SOUPS 1863 WITH SCORE 1870.949
AT ITER 2110 NEW BEST:: SOT 13045 SOS 7927 HAS SOPS 1844 HAS SOUS 2085 HAS SOUPS 1842 WITH SCORE 1849.927
AT ITER 2115 NEW BEST:: SOT 12985 SOS 7897 HAS SOPS 1814 HAS SOUS 2055 HAS SOUPS 1812 WITH SCORE 1819.897
AT ITER 2145 NEW BEST:: SOT 12984 SOS 7895 HAS SOPS 1811 HAS SOUS 2052 HAS SOUPS 1809 WITH SCORE 1816.895
AT ITER 2159 NEW BEST:: SOT 12979 SOS 7890 HAS SOPS 1801 HAS SOUS 2042 HAS SOUPS 1799 WITH SCORE 1806.89
AT ITER 2182 NEW BEST:: SOT 12973 SOS 7890 HAS SOPS 1795 HAS SOUS 2036 HAS SOUPS 1793 WITH SCORE 1800.89
AT ITER 2190 NEW BEST:: SOT 12971 SOS 7888 HAS SOPS 1791 HAS SOUS 2032 HAS SOUPS 1789 WITH SCORE 1796.888
AT ITER 2204 NEW BEST:: SOT 12970 SOS 7887 HAS SOPS 1784 HAS SOUS 2025 HAS SOUPS 1782 WITH SCORE 1789.887
AT ITER 2213 NEW BEST:: SOT 12970 SOS 7887 HAS SOPS 1767 HAS SOUS 2008 HAS SOUPS 1765 WITH SCORE 1772.887
AT ITER 2239 NEW BEST:: SOT 12977 SOS 7884 HAS SOPS 1761 HAS SOUS 2002 HAS SOUPS 1759 WITH SCORE 1766.884
AT ITER 2302 NEW BEST:: SOT 12967 SOS 7879 HAS SOPS 1751 HAS SOUS 1992 HAS SOUPS 1749 WITH SCORE 1756.879
AT ITER 2340 NEW BEST:: SOT 12953 SOS 7863 HAS SOPS 1721 HAS SOUS 1962 HAS SOUPS 1719 WITH SCORE 1726.863
AT ITER 2385 NEW BEST:: SOT 12953 SOS 7862 HAS SOPS 1721 HAS SOUS 1962 HAS SOUPS 1719 WITH SCORE 1726.862
AT ITER 2396 NEW BEST:: SOT 12952 SOS 7861 HAS SOPS 1720 HAS SOUS 1961 HAS SOUPS 1718 WITH SCORE 1725.861
AT ITER 2407 NEW BEST:: SOT 12952 SOS 7860 HAS SOPS 1716 HAS SOUS 1957 HAS SOUPS 1714 WITH SCORE 1721.86
AT ITER 2526 NEW BEST:: SOT 12945 SOS 7863 HAS SOPS 1719 HAS SOUS 1955 HAS SOUPS 1712 WITH SCORE 1719.863
AT ITER 2540 NEW BEST:: SOT 12936 SOS 7857 HAS SOPS 1715 HAS SOUS 1951 HAS SOUPS 1708 WITH SCORE 1715.857
AT ITER 2550 NEW BEST:: SOT 12933 SOS 7598 HAS SOPS 1710 HAS SOUS 1941 HAS SOUPS 1705 WITH SCORE 1712.598
AT ITER 2556 NEW BEST:: SOT 12932 SOS 7597 HAS SOPS 1710 HAS SOUS 1941 HAS SOUPS 1705 WITH SCORE 1712.597
AT ITER 2560 NEW BEST:: SOT 12930 SOS 7598 HAS SOPS 1706 HAS SOUS 1937 HAS SOUPS 1701 WITH SCORE 1708.598
AT ITER 2684 NEW BEST:: SOT 12921 SOS 7599 HAS SOPS 1699 HAS SOUS 1930 HAS SOUPS 1694 WITH SCORE 1701.599
AT ITER 2768 NEW BEST:: SOT 12915 SOS 7595 HAS SOPS 1692 HAS SOUS 1923 HAS SOUPS 1687 WITH SCORE 1694.595
AT ITER 2782 NEW BEST:: SOT 12917 SOS 7594 HAS SOPS 1684 HAS SOUS 1915 HAS SOUPS 1679 WITH SCORE 1686.594
AT ITER 2885 NEW BEST:: SOT 12914 SOS 7590 HAS SOPS 1678 HAS SOUS 1909 HAS SOUPS 1673 WITH SCORE 1680.59
AT ITER 3010 NEW BEST:: SOT 12910 SOS 7588 HAS SOPS 1676 HAS SOUS 1907 HAS SOUPS 1671 WITH SCORE 1678.588
AT ITER 3174 NEW BEST:: SOT 12906 SOS 7584 HAS SOPS 1668 HAS SOUS 1899 HAS SOUPS 1663 WITH SCORE 1670.584
AT ITER 3245 NEW BEST:: SOT 12903 SOS 7597 HAS SOPS 1677 HAS SOUS 1898 HAS SOUPS 1662 WITH SCORE 1669.597
AT ITER 3281 NEW BEST:: SOT 12901 SOS 7595 HAS SOPS 1673 HAS SOUS 1894 HAS SOUPS 1658 WITH SCORE 1665.595
AT ITER 3285 NEW BEST:: SOT 12894 SOS 7592 HAS SOPS 1659 HAS SOUS 1880 HAS SOUPS 1644 WITH SCORE 1651.592
AT ITER 3307 NEW BEST:: SOT 12892 SOS 7590 HAS SOPS 1655 HAS SOUS 1876 HAS SOUPS 1640 WITH SCORE 1647.59
AT ITER 3342 NEW BEST:: SOT 12893 SOS 7590 HAS SOPS 1651 HAS SOUS 1872 HAS SOUPS 1636 WITH SCORE 1643.59
AT ITER 3348 NEW BEST:: SOT 12910 SOS 7606 HAS SOPS 1647 HAS SOUS 1868 HAS SOUPS 1632 WITH SCORE 1639.606
AT ITER 3349 NEW BEST:: SOT 12909 SOS 7605 HAS SOPS 1646 HAS SOUS 1867 HAS SOUPS 1631 WITH SCORE 1638.605
AT ITER 3382 NEW BEST:: SOT 12908 SOS 7714 HAS SOPS 1643 HAS SOUS 1869 HAS SOUPS 1630 WITH SCORE 1637.714
AT ITER 3384 NEW BEST:: SOT 12906 SOS 7711 HAS SOPS 1639 HAS SOUS 1865 HAS SOUPS 1626 WITH SCORE 1633.711
AT ITER 3404 NEW BEST:: SOT 12906 SOS 7703 HAS SOPS 1635 HAS SOUS 1860 HAS SOUPS 1621 WITH SCORE 1628.703
AT ITER 3478 NEW BEST:: SOT 12901 SOS 7699 HAS SOPS 1630 HAS SOUS 1855 HAS SOUPS 1616 WITH SCORE 1623.699
AT ITER 3491 NEW BEST:: SOT 12900 SOS 7698 HAS SOPS 1628 HAS SOUS 1853 HAS SOUPS 1614 WITH SCORE 1621.698
AT ITER 3524 NEW BEST:: SOT 12902 SOS 7700 HAS SOPS 1625 HAS SOUS 1850 HAS SOUPS 1611 WITH SCORE 1618.7
AT ITER 3598 NEW BEST:: SOT 12907 SOS 7700 HAS SOPS 1620 HAS SOUS 1845 HAS SOUPS 1606 WITH SCORE 1613.7
AT ITER 3616 NEW BEST:: SOT 12905 SOS 7696 HAS SOPS 1616 HAS SOUS 1841 HAS SOUPS 1602 WITH SCORE 1609.696
AT ITER 3740 NEW BEST:: SOT 12888 SOS 7679 HAS SOPS 1594 HAS SOUS 1819 HAS SOUPS 1580 WITH SCORE 1587.679
AT ITER 3761 NEW BEST:: SOT 12885 SOS 7677 HAS SOPS 1590 HAS SOUS 1815 HAS SOUPS 1576 WITH SCORE 1583.677
AT ITER 3771 NEW BEST:: SOT 12889 SOS 7677 HAS SOPS 1586 HAS SOUS 1811 HAS SOUPS 1572 WITH SCORE 1579.677
AT ITER 3773 NEW BEST:: SOT 12886 SOS 7672 HAS SOPS 1580 HAS SOUS 1805 HAS SOUPS 1566 WITH SCORE 1573.672
AT ITER 3816 NEW BEST:: SOT 12912 SOS 7669 HAS SOPS 1574 HAS SOUS 1799 HAS SOUPS 1560 WITH SCORE 1567.669
AT ITER 3930 NEW BEST:: SOT 12910 SOS 7667 HAS SOPS 1566 HAS SOUS 1791 HAS SOUPS 1552 WITH SCORE 1559.667
AT ITER 3965 NEW BEST:: SOT 12909 SOS 7667 HAS SOPS 1564 HAS SOUS 1789 HAS SOUPS 1550 WITH SCORE 1557.667
AT ITER 4000 NEW BEST:: SOT 12910 SOS 7668 HAS SOPS 1562 HAS SOUS 1787 HAS SOUPS 1548 WITH SCORE 1555.668
AT ITER 4120 NEW BEST:: SOT 12933 SOS 7669 HAS SOPS 1547 HAS SOUS 1773 HAS SOUPS 1534 WITH SCORE 1541.669
AT ITER 4141 NEW BEST:: SOT 12930 SOS 7665 HAS SOPS 1541 HAS SOUS 1767 HAS SOUPS 1528 WITH SCORE 1535.665
AT ITER 4269 NEW BEST:: SOT 12927 SOS 7664 HAS SOPS 1539 HAS SOUS 1765 HAS SOUPS 1526 WITH SCORE 1533.664
AT ITER 4322 NEW BEST:: SOT 12926 SOS 7663 HAS SOPS 1524 HAS SOUS 1750 HAS SOUPS 1511 WITH SCORE 1518.663
AT ITER 4347 NEW BEST:: SOT 12954 SOS 7688 HAS SOPS 1520 HAS SOUS 1746 HAS SOUPS 1507 WITH SCORE 1514.688
AT ITER 4375 NEW BEST:: SOT 12937 SOS 7687 HAS SOPS 1502 HAS SOUS 1728 HAS SOUPS 1489 WITH SCORE 1496.687
AT ITER 4384 NEW BEST:: SOT 12929 SOS 7679 HAS SOPS 1490 HAS SOUS 1716 HAS SOUPS 1477 WITH SCORE 1484.679
AT ITER 4565 NEW BEST:: SOT 12929 SOS 7679 HAS SOPS 1485 HAS SOUS 1711 HAS SOUPS 1472 WITH SCORE 1479.679
AT ITER 4610 NEW BEST:: SOT 12926 SOS 7680 HAS SOPS 1484 HAS SOUS 1710 HAS SOUPS 1471 WITH SCORE 1478.68
AT ITER 4666 NEW BEST:: SOT 12923 SOS 7677 HAS SOPS 1480 HAS SOUS 1706 HAS SOUPS 1467 WITH SCORE 1474.677
AT ITER 4730 NEW BEST:: SOT 12915 SOS 7660 HAS SOPS 1463 HAS SOUS 1697 HAS SOUPS 1458 WITH SCORE 1465.66
AT ITER 4784 NEW BEST:: SOT 12915 SOS 7657 HAS SOPS 1460 HAS SOUS 1695 HAS SOUPS 1456 WITH SCORE 1463.657
AT ITER 4832 NEW BEST:: SOT 12912 SOS 7658 HAS SOPS 1458 HAS SOUS 1693 HAS SOUPS 1454 WITH SCORE 1461.658
AT ITER 4840 NEW BEST:: SOT 12893 SOS 7647 HAS SOPS 1455 HAS SOUS 1690 HAS SOUPS 1451 WITH SCORE 1458.647
AT ITER 4887 NEW BEST:: SOT 12892 SOS 7646 HAS SOPS 1453 HAS SOUS 1688 HAS SOUPS 1449 WITH SCORE 1456.646
AT ITER 5056 NEW BEST:: SOT 12803 SOS 7608 HAS SOPS 1377 HAS SOUS 1612 HAS SOUPS 1373 WITH SCORE 1380.608
AT ITER 5061 NEW BEST:: SOT 12801 SOS 7605 HAS SOPS 1373 HAS SOUS 1608 HAS SOUPS 1369 WITH SCORE 1376.605
AT ITER 5104 NEW BEST:: SOT 12801 SOS 7604 HAS SOPS 1373 HAS SOUS 1608 HAS SOUPS 1369 WITH SCORE 1376.604
AT ITER 5238 NEW BEST:: SOT 12799 SOS 7603 HAS SOPS 1373 HAS SOUS 1608 HAS SOUPS 1369 WITH SCORE 1376.603
AT ITER 5455 NEW BEST:: SOT 12799 SOS 7603 HAS SOPS 1372 HAS SOUS 1607 HAS SOUPS 1368 WITH SCORE 1375.603
AT ITER 5811 NEW BEST:: SOT 12799 SOS 7603 HAS SOPS 1371 HAS SOUS 1606 HAS SOUPS 1367 WITH SCORE 1374.603
AT ITER 5829 NEW BEST:: SOT 12799 SOS 7603 HAS SOPS 1370 HAS SOUS 1605 HAS SOUPS 1366 WITH SCORE 1373.603
AT ITER 5937 NEW BEST:: SOT 12798 SOS 7602 HAS SOPS 1369 HAS SOUS 1604 HAS SOUPS 1365 WITH SCORE 1372.602
AT ITER 6012 NEW BEST:: SOT 12797 SOS 7602 HAS SOPS 1368 HAS SOUS 1603 HAS SOUPS 1364 WITH SCORE 1371.602
AT ITER 6123 NEW BEST:: SOT 12797 SOS 7600 HAS SOPS 1366 HAS SOUS 1602 HAS SOUPS 1363 WITH SCORE 1370.6
AT ITER 6135 NEW BEST:: SOT 12796 SOS 7599 HAS SOPS 1364 HAS SOUS 1600 HAS SOUPS 1361 WITH SCORE 1368.599
AT ITER 6167 NEW BEST:: SOT 12804 SOS 7596 HAS SOPS 1358 HAS SOUS 1594 HAS SOUPS 1355 WITH SCORE 1362.596
AT ITER 6200 NEW BEST:: SOT 12805 SOS 7596 HAS SOPS 1354 HAS SOUS 1590 HAS SOUPS 1351 WITH SCORE 1358.596
AT ITER 6553 NEW BEST:: SOT 12810 SOS 7601 HAS SOPS 1348 HAS SOUS 1584 HAS SOUPS 1345 WITH SCORE 1352.601
AT ITER 6607 NEW BEST:: SOT 12811 SOS 7600 HAS SOPS 1348 HAS SOUS 1584 HAS SOUPS 1345 WITH SCORE 1352.6
AT ITER 6641 NEW BEST:: SOT 12810 SOS 7598 HAS SOPS 1344 HAS SOUS 1580 HAS SOUPS 1341 WITH SCORE 1348.598
AT ITER 6765 NEW BEST:: SOT 12810 SOS 7598 HAS SOPS 1342 HAS SOUS 1578 HAS SOUPS 1339 WITH SCORE 1346.598
AT ITER 6806 NEW BEST:: SOT 12810 SOS 7597 HAS SOPS 1341 HAS SOUS 1577 HAS SOUPS 1338 WITH SCORE 1345.597
AT ITER 7167 NEW BEST:: SOT 12807 SOS 7597 HAS SOPS 1338 HAS SOUS 1574 HAS SOUPS 1335 WITH SCORE 1342.597
AT ITER 7202 NEW BEST:: SOT 12806 SOS 7595 HAS SOPS 1336 HAS SOUS 1572 HAS SOUPS 1333 WITH SCORE 1340.595
AT ITER 7303 NEW BEST:: SOT 12804 SOS 7593 HAS SOPS 1334 HAS SOUS 1570 HAS SOUPS 1331 WITH SCORE 1338.593
AT ITER 7328 NEW BEST:: SOT 12805 SOS 7594 HAS SOPS 1332 HAS SOUS 1568 HAS SOUPS 1329 WITH SCORE 1336.594
AT ITER 7415 NEW BEST:: SOT 12803 SOS 7603 HAS SOPS 1328 HAS SOUS 1564 HAS SOUPS 1325 WITH SCORE 1332.603
AT ITER 7459 NEW BEST:: SOT 12801 SOS 7600 HAS SOPS 1324 HAS SOUS 1560 HAS SOUPS 1321 WITH SCORE 1328.6
AT ITER 7732 NEW BEST:: SOT 12801 SOS 7597 HAS SOPS 1324 HAS SOUS 1560 HAS SOUPS 1321 WITH SCORE 1328.597
AT ITER 7799 NEW BEST:: SOT 12801 SOS 7594 HAS SOPS 1324 HAS SOUS 1560 HAS SOUPS 1321 WITH SCORE 1328.594
AT ITER 8212 NEW BEST:: SOT 12804 SOS 7596 HAS SOPS 1322 HAS SOUS 1558 HAS SOUPS 1319 WITH SCORE 1326.596
AT ITER 8377 NEW BEST:: SOT 12804 SOS 7594 HAS SOPS 1314 HAS SOUS 1550 HAS SOUPS 1311 WITH SCORE 1318.594
AT ITER 8535 NEW BEST:: SOT 12802 SOS 7595 HAS SOPS 1310 HAS SOUS 1546 HAS SOUPS 1307 WITH SCORE 1314.595
AT ITER 8599 NEW BEST:: SOT 12797 SOS 7597 HAS SOPS 1307 HAS SOUS 1543 HAS SOUPS 1304 WITH SCORE 1311.597
AT ITER 8690 NEW BEST:: SOT 12806 SOS 7606 HAS SOPS 1305 HAS SOUS 1541 HAS SOUPS 1302 WITH SCORE 1309.606
AT ITER 8856 NEW BEST:: SOT 12803 SOS 8041 HAS SOPS 1300 HAS SOUS 1543 HAS SOUPS 1298 WITH SCORE 1306.041
AT ITER 8892 NEW BEST:: SOT 12803 SOS 8041 HAS SOPS 1298 HAS SOUS 1541 HAS SOUPS 1296 WITH SCORE 1304.041
AT ITER 9256 NEW BEST:: SOT 12803 SOS 8041 HAS SOPS 1297 HAS SOUS 1540 HAS SOUPS 1295 WITH SCORE 1303.041
AT ITER 9264 NEW BEST:: SOT 12802 SOS 8040 HAS SOPS 1295 HAS SOUS 1538 HAS SOUPS 1293 WITH SCORE 1301.04
AT ITER 9270 NEW BEST:: SOT 12796 SOS 8031 HAS SOPS 1283 HAS SOUS 1526 HAS SOUPS 1281 WITH SCORE 1289.031
AT ITER 9292 NEW BEST:: SOT 12795 SOS 8104 HAS SOPS 1281 HAS SOUS 1525 HAS SOUPS 1279 WITH SCORE 1287.104
AT ITER 9461 NEW BEST:: SOT 12793 SOS 8101 HAS SOPS 1277 HAS SOUS 1521 HAS SOUPS 1275 WITH SCORE 1283.101
AT ITER 9742 NEW BEST:: SOT 12793 SOS 8099 HAS SOPS 1273 HAS SOUS 1517 HAS SOUPS 1271 WITH SCORE 1279.099
AT ITER 9763 NEW BEST:: SOT 12792 SOS 8098 HAS SOPS 1273 HAS SOUS 1517 HAS SOUPS 1271 WITH SCORE 1279.098
AT ITER 9777 NEW BEST:: SOT 12784 SOS 8099 HAS SOPS 1257 HAS SOUS 1501 HAS SOUPS 1255 WITH SCORE 1263.099
AT ITER 9858 NEW BEST:: SOT 12784 SOS 8063 HAS SOPS 1258 HAS SOUS 1500 HAS SOUPS 1255 WITH SCORE 1263.063
AT ITER 9898 NEW BEST:: SOT 12783 SOS 8170 HAS SOPS 1251 HAS SOUS 1498 HAS SOUPS 1250 WITH SCORE 1258.17
AT ITER 9923 NEW BEST:: SOT 12781 SOS 8166 HAS SOPS 1243 HAS SOUS 1490 HAS SOUPS 1242 WITH SCORE 1250.166
AT ITER 9963 NEW BEST:: SOT 12796 SOS 8169 HAS SOPS 1237 HAS SOUS 1484 HAS SOUPS 1236 WITH SCORE 1244.169
STATE_SPACE STATES 34522712143932 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 15 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 571193964563223 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589363902806

--------------------
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="DiscoveryGPU-PT-13a"
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 DiscoveryGPU-PT-13a, 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 r063-tajo-158922807900704"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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