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.r195-smll-167840342400432.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 HirschbergSinclair-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342400432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 628K
-rw-r--r-- 1 mcc users 12K Feb 26 02:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 02:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 02:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 02:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 02:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 02:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 02:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K Feb 26 02:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 157K Mar 5 18:22 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 1678521547359

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=HirschbergSinclair-PT-05
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HirschbergSinclair (PT), instance 05
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: 124 places, 111 transitions, 340 arcs.
AT ITER 0 NEW BEST:: SOT 9143 SOS 3974 HAS SOPS 3974 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3897.974
AT ITER 2 NEW BEST:: SOT 9143 SOS 3957 HAS SOPS 3957 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3880.957
AT ITER 5 NEW BEST:: SOT 9143 SOS 3924 HAS SOPS 3924 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3847.924
AT ITER 7 NEW BEST:: SOT 9143 SOS 3903 HAS SOPS 3903 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3826.903
AT ITER 21 NEW BEST:: SOT 8779 SOS 3758 HAS SOPS 3758 HAS SOUS 3528 HAS SOUPS 3528 WITH SCORE 3531.758
AT ITER 32 NEW BEST:: SOT 8779 SOS 3754 HAS SOPS 3754 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3527.754
AT ITER 34 NEW BEST:: SOT 8568 SOS 3902 HAS SOPS 3902 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3382.902
AT ITER 67 NEW BEST:: SOT 8568 SOS 3899 HAS SOPS 3899 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3375.899
AT ITER 72 NEW BEST:: SOT 8544 SOS 3872 HAS SOPS 3872 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3365.872
AT ITER 76 NEW BEST:: SOT 8532 SOS 3860 HAS SOPS 3860 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3341.86
AT ITER 77 NEW BEST:: SOT 8539 SOS 3883 HAS SOPS 3883 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3337.883
AT ITER 78 NEW BEST:: SOT 8537 SOS 3881 HAS SOPS 3881 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3333.881
AT ITER 100 NEW BEST:: SOT 8537 SOS 3826 HAS SOPS 3826 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3278.826
AT ITER 104 NEW BEST:: SOT 8537 SOS 3818 HAS SOPS 3818 HAS SOUS 3267 HAS SOUPS 3267 WITH SCORE 3270.818
AT ITER 110 NEW BEST:: SOT 8506 SOS 3756 HAS SOPS 3756 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3208.756
AT ITER 125 NEW BEST:: SOT 8319 SOS 4037 HAS SOPS 4037 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3076.037
AT ITER 137 NEW BEST:: SOT 8317 SOS 4035 HAS SOPS 4035 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3070.035
AT ITER 139 NEW BEST:: SOT 8317 SOS 4035 HAS SOPS 4035 HAS SOUS 3057 HAS SOUPS 3057 WITH SCORE 3061.035
AT ITER 149 NEW BEST:: SOT 8312 SOS 4020 HAS SOPS 4020 HAS SOUS 3047 HAS SOUPS 3047 WITH SCORE 3051.02
AT ITER 158 NEW BEST:: SOT 8312 SOS 3994 HAS SOPS 3994 HAS SOUS 3034 HAS SOUPS 3034 WITH SCORE 3037.994
AT ITER 194 NEW BEST:: SOT 8265 SOS 4267 HAS SOPS 4267 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3034.267
AT ITER 195 NEW BEST:: SOT 8261 SOS 4263 HAS SOPS 4263 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3026.263
AT ITER 196 NEW BEST:: SOT 8260 SOS 4009 HAS SOPS 4009 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3008.009
AT ITER 200 NEW BEST:: SOT 8251 SOS 3991 HAS SOPS 3991 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2988.991
AT ITER 201 NEW BEST:: SOT 8246 SOS 3979 HAS SOPS 3979 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2987.979
AT ITER 206 NEW BEST:: SOT 8242 SOS 3975 HAS SOPS 3975 HAS SOUS 2976 HAS SOUPS 2976 WITH SCORE 2979.975
AT ITER 214 NEW BEST:: SOT 8242 SOS 3975 HAS SOPS 3975 HAS SOUS 2974 HAS SOUPS 2974 WITH SCORE 2977.975
AT ITER 219 NEW BEST:: SOT 8242 SOS 3968 HAS SOPS 3968 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2970.968
AT ITER 224 NEW BEST:: SOT 8227 SOS 3972 HAS SOPS 3972 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2959.972
AT ITER 225 NEW BEST:: SOT 8206 SOS 3946 HAS SOPS 3946 HAS SOUS 2944 HAS SOUPS 2944 WITH SCORE 2947.946
AT ITER 228 NEW BEST:: SOT 8206 SOS 3946 HAS SOPS 3946 HAS SOUS 2939 HAS SOUPS 2939 WITH SCORE 2942.946
AT ITER 230 NEW BEST:: SOT 8157 SOS 3900 HAS SOPS 3900 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2847.9
AT ITER 234 NEW BEST:: SOT 8160 SOS 3900 HAS SOPS 3900 HAS SOUS 2843 HAS SOUPS 2843 WITH SCORE 2846.9
AT ITER 239 NEW BEST:: SOT 8161 SOS 3901 HAS SOPS 3901 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2838.901
AT ITER 248 NEW BEST:: SOT 8158 SOS 3882 HAS SOPS 3882 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2826.882
AT ITER 259 NEW BEST:: SOT 8155 SOS 3879 HAS SOPS 3879 HAS SOUS 2817 HAS SOUPS 2817 WITH SCORE 2820.879
AT ITER 264 NEW BEST:: SOT 8089 SOS 3832 HAS SOPS 3832 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2768.832
AT ITER 274 NEW BEST:: SOT 8093 SOS 3585 HAS SOPS 3585 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2760.585
AT ITER 279 NEW BEST:: SOT 8094 SOS 3579 HAS SOPS 3579 HAS SOUS 2750 HAS SOUPS 2750 WITH SCORE 2753.579
AT ITER 289 NEW BEST:: SOT 8095 SOS 3580 HAS SOPS 3580 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2735.58
AT ITER 302 NEW BEST:: SOT 8093 SOS 3582 HAS SOPS 3582 HAS SOUS 2728 HAS SOUPS 2728 WITH SCORE 2731.582
AT ITER 330 NEW BEST:: SOT 8093 SOS 3582 HAS SOPS 3582 HAS SOUS 2719 HAS SOUPS 2719 WITH SCORE 2722.582
AT ITER 334 NEW BEST:: SOT 8093 SOS 3578 HAS SOPS 3578 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2718.578
AT ITER 338 NEW BEST:: SOT 8073 SOS 3557 HAS SOPS 3557 HAS SOUS 2690 HAS SOUPS 2690 WITH SCORE 2693.557
AT ITER 354 NEW BEST:: SOT 8082 SOS 3543 HAS SOPS 3543 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2678.543
AT ITER 361 NEW BEST:: SOT 8078 SOS 3539 HAS SOPS 3539 HAS SOUS 2667 HAS SOUPS 2667 WITH SCORE 2670.539
AT ITER 373 NEW BEST:: SOT 8060 SOS 3538 HAS SOPS 3538 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2669.538
AT ITER 377 NEW BEST:: SOT 8046 SOS 3524 HAS SOPS 3524 HAS SOUS 2634 HAS SOUPS 2634 WITH SCORE 2637.524
AT ITER 382 NEW BEST:: SOT 8043 SOS 3521 HAS SOPS 3521 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2631.521
AT ITER 400 NEW BEST:: SOT 8043 SOS 3509 HAS SOPS 3509 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2620.509
AT ITER 425 NEW BEST:: SOT 8056 SOS 3518 HAS SOPS 3518 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2615.518
AT ITER 433 NEW BEST:: SOT 8056 SOS 3496 HAS SOPS 3496 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2593.496
AT ITER 434 NEW BEST:: SOT 8045 SOS 3486 HAS SOPS 3486 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2583.486
AT ITER 437 NEW BEST:: SOT 8045 SOS 3485 HAS SOPS 3485 HAS SOUS 2579 HAS SOUPS 2579 WITH SCORE 2582.485
AT ITER 440 NEW BEST:: SOT 8045 SOS 3485 HAS SOPS 3485 HAS SOUS 2576 HAS SOUPS 2576 WITH SCORE 2579.485
AT ITER 465 NEW BEST:: SOT 8025 SOS 3651 HAS SOPS 3651 HAS SOUS 2563 HAS SOUPS 2563 WITH SCORE 2566.651
AT ITER 487 NEW BEST:: SOT 8025 SOS 3650 HAS SOPS 3650 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2565.65
AT ITER 498 NEW BEST:: SOT 8022 SOS 3639 HAS SOPS 3639 HAS SOUS 2551 HAS SOUPS 2551 WITH SCORE 2554.639
AT ITER 502 NEW BEST:: SOT 8022 SOS 3613 HAS SOPS 3613 HAS SOUS 2551 HAS SOUPS 2551 WITH SCORE 2554.613
AT ITER 505 NEW BEST:: SOT 8017 SOS 3649 HAS SOPS 3649 HAS SOUS 2545 HAS SOUPS 2545 WITH SCORE 2548.649
AT ITER 510 NEW BEST:: SOT 8016 SOS 3648 HAS SOPS 3648 HAS SOUS 2543 HAS SOUPS 2543 WITH SCORE 2546.648
AT ITER 512 NEW BEST:: SOT 8002 SOS 3634 HAS SOPS 3634 HAS SOUS 2529 HAS SOUPS 2529 WITH SCORE 2532.634
AT ITER 527 NEW BEST:: SOT 8002 SOS 3634 HAS SOPS 3634 HAS SOUS 2521 HAS SOUPS 2521 WITH SCORE 2524.634
AT ITER 550 NEW BEST:: SOT 7998 SOS 3634 HAS SOPS 3634 HAS SOUS 2513 HAS SOUPS 2513 WITH SCORE 2516.634
AT ITER 552 NEW BEST:: SOT 7992 SOS 3639 HAS SOPS 3639 HAS SOUS 2501 HAS SOUPS 2501 WITH SCORE 2504.639
AT ITER 555 NEW BEST:: SOT 7992 SOS 3647 HAS SOPS 3647 HAS SOUS 2499 HAS SOUPS 2499 WITH SCORE 2502.647
AT ITER 561 NEW BEST:: SOT 7992 SOS 3646 HAS SOPS 3646 HAS SOUS 2498 HAS SOUPS 2498 WITH SCORE 2501.646
AT ITER 567 NEW BEST:: SOT 7991 SOS 3645 HAS SOPS 3645 HAS SOUS 2498 HAS SOUPS 2498 WITH SCORE 2501.645
AT ITER 596 NEW BEST:: SOT 7991 SOS 3641 HAS SOPS 3641 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2474.641
AT ITER 614 NEW BEST:: SOT 7991 SOS 3637 HAS SOPS 3637 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2470.637
AT ITER 623 NEW BEST:: SOT 7989 SOS 3635 HAS SOPS 3635 HAS SOUS 2463 HAS SOUPS 2463 WITH SCORE 2466.635
AT ITER 635 NEW BEST:: SOT 7978 SOS 3893 HAS SOPS 3893 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2463.893
AT ITER 638 NEW BEST:: SOT 7959 SOS 3874 HAS SOPS 3874 HAS SOUS 2441 HAS SOUPS 2441 WITH SCORE 2444.874
AT ITER 662 NEW BEST:: SOT 7956 SOS 3871 HAS SOPS 3871 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2441.871
AT ITER 700 NEW BEST:: SOT 7950 SOS 3865 HAS SOPS 3865 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2429.865
AT ITER 701 NEW BEST:: SOT 7954 SOS 3869 HAS SOPS 3869 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2423.869
AT ITER 713 NEW BEST:: SOT 7943 SOS 3820 HAS SOPS 3820 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2421.82
AT ITER 714 NEW BEST:: SOT 7935 SOS 3810 HAS SOPS 3810 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2404.81
AT ITER 719 NEW BEST:: SOT 7932 SOS 3802 HAS SOPS 3802 HAS SOUS 2396 HAS SOUPS 2396 WITH SCORE 2399.802
AT ITER 740 NEW BEST:: SOT 7930 SOS 3800 HAS SOPS 3800 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2397.8
AT ITER 742 NEW BEST:: SOT 7930 SOS 3798 HAS SOPS 3798 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2397.798
AT ITER 744 NEW BEST:: SOT 7928 SOS 3795 HAS SOPS 3795 HAS SOUS 2393 HAS SOUPS 2393 WITH SCORE 2396.795
AT ITER 750 NEW BEST:: SOT 7944 SOS 3519 HAS SOPS 3519 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2395.519
AT ITER 831 NEW BEST:: SOT 7935 SOS 3509 HAS SOPS 3509 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2377.509
AT ITER 856 NEW BEST:: SOT 7936 SOS 3540 HAS SOPS 3540 HAS SOUS 2358 HAS SOUPS 2358 WITH SCORE 2361.54
AT ITER 864 NEW BEST:: SOT 7935 SOS 3539 HAS SOPS 3539 HAS SOUS 2358 HAS SOUPS 2358 WITH SCORE 2361.539
AT ITER 877 NEW BEST:: SOT 7931 SOS 3535 HAS SOPS 3535 HAS SOUS 2356 HAS SOUPS 2356 WITH SCORE 2359.535
AT ITER 883 NEW BEST:: SOT 7931 SOS 3514 HAS SOPS 3514 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2358.514
AT ITER 886 NEW BEST:: SOT 7931 SOS 3514 HAS SOPS 3514 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2329.514
AT ITER 901 NEW BEST:: SOT 7913 SOS 3513 HAS SOPS 3513 HAS SOUS 2325 HAS SOUPS 2325 WITH SCORE 2328.513
AT ITER 917 NEW BEST:: SOT 7911 SOS 3511 HAS SOPS 3511 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2324.511
AT ITER 932 NEW BEST:: SOT 7911 SOS 3504 HAS SOPS 3504 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2324.504
AT ITER 936 NEW BEST:: SOT 7911 SOS 3502 HAS SOPS 3502 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2324.502
AT ITER 945 NEW BEST:: SOT 7911 SOS 3493 HAS SOPS 3493 HAS SOUS 2312 HAS SOUPS 2312 WITH SCORE 2315.493
AT ITER 980 NEW BEST:: SOT 7908 SOS 3487 HAS SOPS 3487 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2309.487
AT ITER 981 NEW BEST:: SOT 7898 SOS 3477 HAS SOPS 3477 HAS SOUS 2291 HAS SOUPS 2291 WITH SCORE 2294.477
AT ITER 1004 NEW BEST:: SOT 7896 SOS 3475 HAS SOPS 3475 HAS SOUS 2287 HAS SOUPS 2287 WITH SCORE 2290.475
AT ITER 1037 NEW BEST:: SOT 7887 SOS 3466 HAS SOPS 3466 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2281.466
AT ITER 1042 NEW BEST:: SOT 7905 SOS 3484 HAS SOPS 3484 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2278.484
AT ITER 1044 NEW BEST:: SOT 7906 SOS 3480 HAS SOPS 3480 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2275.48
AT ITER 1078 NEW BEST:: SOT 7897 SOS 3471 HAS SOPS 3471 HAS SOUS 2254 HAS SOUPS 2254 WITH SCORE 2257.471
AT ITER 1092 NEW BEST:: SOT 7897 SOS 3472 HAS SOPS 3472 HAS SOUS 2252 HAS SOUPS 2252 WITH SCORE 2255.472
AT ITER 1120 NEW BEST:: SOT 7890 SOS 3465 HAS SOPS 3465 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2254.465
AT ITER 1133 NEW BEST:: SOT 7890 SOS 3461 HAS SOPS 3461 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2254.461
AT ITER 1147 NEW BEST:: SOT 7889 SOS 3460 HAS SOPS 3460 HAS SOUS 2246 HAS SOUPS 2246 WITH SCORE 2249.46
AT ITER 1263 NEW BEST:: SOT 7879 SOS 3570 HAS SOPS 3570 HAS SOUS 2244 HAS SOUPS 2244 WITH SCORE 2247.57
AT ITER 1275 NEW BEST:: SOT 7881 SOS 3568 HAS SOPS 3568 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2243.568
AT ITER 1307 NEW BEST:: SOT 7881 SOS 3566 HAS SOPS 3566 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2243.566
AT ITER 1308 NEW BEST:: SOT 7881 SOS 3567 HAS SOPS 3567 HAS SOUS 2239 HAS SOUPS 2239 WITH SCORE 2242.567
AT ITER 1312 NEW BEST:: SOT 7881 SOS 3562 HAS SOPS 3562 HAS SOUS 2239 HAS SOUPS 2239 WITH SCORE 2242.562
AT ITER 1335 NEW BEST:: SOT 7882 SOS 3574 HAS SOPS 3574 HAS SOUS 2234 HAS SOUPS 2234 WITH SCORE 2237.574
AT ITER 1344 NEW BEST:: SOT 7883 SOS 3575 HAS SOPS 3575 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2234.575
AT ITER 1375 NEW BEST:: SOT 7866 SOS 3575 HAS SOPS 3575 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2222.575
AT ITER 1384 NEW BEST:: SOT 7861 SOS 3571 HAS SOPS 3571 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2219.571
AT ITER 1461 NEW BEST:: SOT 7861 SOS 3566 HAS SOPS 3566 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2219.566
AT ITER 1495 NEW BEST:: SOT 7845 SOS 3691 HAS SOPS 3691 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2213.691
AT ITER 1501 NEW BEST:: SOT 7848 SOS 3694 HAS SOPS 3694 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2211.694
AT ITER 1508 NEW BEST:: SOT 7836 SOS 3687 HAS SOPS 3687 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2211.687
AT ITER 1545 NEW BEST:: SOT 7833 SOS 3684 HAS SOPS 3684 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2208.684
AT ITER 1575 NEW BEST:: SOT 7828 SOS 3680 HAS SOPS 3680 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2206.68
AT ITER 1589 NEW BEST:: SOT 7828 SOS 3677 HAS SOPS 3677 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2206.677
AT ITER 1609 NEW BEST:: SOT 7827 SOS 3679 HAS SOPS 3679 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2204.679
AT ITER 1610 NEW BEST:: SOT 7825 SOS 3678 HAS SOPS 3678 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2204.678
AT ITER 1633 NEW BEST:: SOT 7812 SOS 3676 HAS SOPS 3676 HAS SOUS 2192 HAS SOUPS 2192 WITH SCORE 2195.676
AT ITER 1647 NEW BEST:: SOT 7808 SOS 3672 HAS SOPS 3672 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2191.672
AT ITER 1698 NEW BEST:: SOT 7804 SOS 3668 HAS SOPS 3668 HAS SOUS 2184 HAS SOUPS 2184 WITH SCORE 2187.668
AT ITER 1713 NEW BEST:: SOT 7802 SOS 3661 HAS SOPS 3661 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2184.661
AT ITER 1742 NEW BEST:: SOT 7797 SOS 3656 HAS SOPS 3656 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2183.656
AT ITER 1875 NEW BEST:: SOT 7796 SOS 3655 HAS SOPS 3655 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2182.655
AT ITER 1891 NEW BEST:: SOT 7794 SOS 3665 HAS SOPS 3665 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2180.665
AT ITER 1908 NEW BEST:: SOT 7794 SOS 3664 HAS SOPS 3664 HAS SOUS 2176 HAS SOUPS 2176 WITH SCORE 2179.664
AT ITER 1933 NEW BEST:: SOT 7792 SOS 3659 HAS SOPS 3659 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2175.659
AT ITER 1941 NEW BEST:: SOT 7780 SOS 3625 HAS SOPS 3625 HAS SOUS 2166 HAS SOUPS 2166 WITH SCORE 2169.625
AT ITER 1963 NEW BEST:: SOT 7781 SOS 3623 HAS SOPS 3623 HAS SOUS 2165 HAS SOUPS 2165 WITH SCORE 2168.623
AT ITER 1990 NEW BEST:: SOT 7779 SOS 3623 HAS SOPS 3623 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2164.623
AT ITER 1997 NEW BEST:: SOT 7774 SOS 3614 HAS SOPS 3614 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2150.614
AT ITER 2022 NEW BEST:: SOT 7774 SOS 3563 HAS SOPS 3563 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2147.563
AT ITER 2048 NEW BEST:: SOT 7780 SOS 3569 HAS SOPS 3569 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2145.569
AT ITER 2051 NEW BEST:: SOT 7778 SOS 3567 HAS SOPS 3567 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2143.567
AT ITER 2056 NEW BEST:: SOT 7778 SOS 3567 HAS SOPS 3567 HAS SOUS 2132 HAS SOUPS 2132 WITH SCORE 2135.567
AT ITER 2097 NEW BEST:: SOT 7779 SOS 3568 HAS SOPS 3568 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2133.568
AT ITER 2098 NEW BEST:: SOT 7778 SOS 3583 HAS SOPS 3583 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2132.583
AT ITER 2125 NEW BEST:: SOT 7760 SOS 3575 HAS SOPS 3575 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2122.575
AT ITER 2172 NEW BEST:: SOT 7760 SOS 3573 HAS SOPS 3573 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2120.573
AT ITER 2177 NEW BEST:: SOT 7756 SOS 3569 HAS SOPS 3569 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2112.569
AT ITER 2422 NEW BEST:: SOT 7756 SOS 3566 HAS SOPS 3566 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2112.566
AT ITER 2504 NEW BEST:: SOT 7754 SOS 3561 HAS SOPS 3561 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2107.561
AT ITER 2511 NEW BEST:: SOT 7696 SOS 3875 HAS SOPS 3875 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2081.875
AT ITER 2532 NEW BEST:: SOT 7696 SOS 3873 HAS SOPS 3873 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2081.873
AT ITER 2565 NEW BEST:: SOT 7695 SOS 3872 HAS SOPS 3872 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2081.872
AT ITER 2613 NEW BEST:: SOT 7685 SOS 3852 HAS SOPS 3852 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2071.852
AT ITER 2655 NEW BEST:: SOT 7680 SOS 3847 HAS SOPS 3847 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2071.847
AT ITER 2660 NEW BEST:: SOT 7681 SOS 3848 HAS SOPS 3848 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2069.848
AT ITER 2680 NEW BEST:: SOT 7680 SOS 3847 HAS SOPS 3847 HAS SOUS 2064 HAS SOUPS 2064 WITH SCORE 2067.847
AT ITER 2722 NEW BEST:: SOT 7677 SOS 3842 HAS SOPS 3842 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2065.842
AT ITER 2734 NEW BEST:: SOT 7675 SOS 3840 HAS SOPS 3840 HAS SOUS 2058 HAS SOUPS 2058 WITH SCORE 2061.84
AT ITER 2786 NEW BEST:: SOT 7676 SOS 3841 HAS SOPS 3841 HAS SOUS 2057 HAS SOUPS 2057 WITH SCORE 2060.841
AT ITER 2804 NEW BEST:: SOT 7674 SOS 3839 HAS SOPS 3839 HAS SOUS 2055 HAS SOUPS 2055 WITH SCORE 2058.839
AT ITER 2821 NEW BEST:: SOT 7673 SOS 3838 HAS SOPS 3838 HAS SOUS 2055 HAS SOUPS 2055 WITH SCORE 2058.838
AT ITER 2864 NEW BEST:: SOT 7672 SOS 3837 HAS SOPS 3837 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2056.837
AT ITER 2881 NEW BEST:: SOT 7671 SOS 3836 HAS SOPS 3836 HAS SOUS 2051 HAS SOUPS 2051 WITH SCORE 2054.836
AT ITER 2894 NEW BEST:: SOT 7670 SOS 3835 HAS SOPS 3835 HAS SOUS 2051 HAS SOUPS 2051 WITH SCORE 2054.835
AT ITER 2913 NEW BEST:: SOT 7670 SOS 3835 HAS SOPS 3835 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2053.835
AT ITER 3042 NEW BEST:: SOT 7669 SOS 3834 HAS SOPS 3834 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2052.834
AT ITER 3077 NEW BEST:: SOT 7664 SOS 3829 HAS SOPS 3829 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2052.829
AT ITER 3083 NEW BEST:: SOT 7662 SOS 3899 HAS SOPS 3899 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2051.899
AT ITER 3117 NEW BEST:: SOT 7660 SOS 3897 HAS SOPS 3897 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2042.897
AT ITER 3228 NEW BEST:: SOT 7656 SOS 3893 HAS SOPS 3893 HAS SOUS 2031 HAS SOUPS 2031 WITH SCORE 2034.893
AT ITER 3258 NEW BEST:: SOT 7661 SOS 3813 HAS SOPS 3813 HAS SOUS 2031 HAS SOUPS 2031 WITH SCORE 2034.813
AT ITER 3321 NEW BEST:: SOT 7659 SOS 3811 HAS SOPS 3811 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2030.811
AT ITER 3326 NEW BEST:: SOT 7659 SOS 3809 HAS SOPS 3809 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2030.809
AT ITER 3341 NEW BEST:: SOT 7654 SOS 3804 HAS SOPS 3804 HAS SOUS 2022 HAS SOUPS 2022 WITH SCORE 2025.804
AT ITER 3384 NEW BEST:: SOT 7652 SOS 3797 HAS SOPS 3797 HAS SOUS 2021 HAS SOUPS 2021 WITH SCORE 2024.797
AT ITER 3396 NEW BEST:: SOT 7643 SOS 3788 HAS SOPS 3788 HAS SOUS 2016 HAS SOUPS 2016 WITH SCORE 2019.788
AT ITER 3413 NEW BEST:: SOT 7643 SOS 3787 HAS SOPS 3787 HAS SOUS 2016 HAS SOUPS 2016 WITH SCORE 2019.787
AT ITER 3422 NEW BEST:: SOT 7635 SOS 3780 HAS SOPS 3780 HAS SOUS 2011 HAS SOUPS 2011 WITH SCORE 2014.78
AT ITER 3428 NEW BEST:: SOT 7633 SOS 3776 HAS SOPS 3776 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2008.776
AT ITER 3443 NEW BEST:: SOT 7628 SOS 3790 HAS SOPS 3790 HAS SOUS 1995 HAS SOUPS 1995 WITH SCORE 1998.79
AT ITER 3458 NEW BEST:: SOT 7611 SOS 3775 HAS SOPS 3775 HAS SOUS 1992 HAS SOUPS 1992 WITH SCORE 1995.775
AT ITER 3474 NEW BEST:: SOT 7611 SOS 3766 HAS SOPS 3766 HAS SOUS 1992 HAS SOUPS 1992 WITH SCORE 1995.766
AT ITER 3491 NEW BEST:: SOT 7611 SOS 3764 HAS SOPS 3764 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1993.764
AT ITER 3541 NEW BEST:: SOT 7608 SOS 3761 HAS SOPS 3761 HAS SOUS 1987 HAS SOUPS 1987 WITH SCORE 1990.761
AT ITER 3563 NEW BEST:: SOT 7607 SOS 3760 HAS SOPS 3760 HAS SOUS 1985 HAS SOUPS 1985 WITH SCORE 1988.76
AT ITER 3728 NEW BEST:: SOT 7598 SOS 3820 HAS SOPS 3820 HAS SOUS 1980 HAS SOUPS 1980 WITH SCORE 1983.82
AT ITER 3764 NEW BEST:: SOT 7598 SOS 3818 HAS SOPS 3818 HAS SOUS 1980 HAS SOUPS 1980 WITH SCORE 1983.818
AT ITER 4029 NEW BEST:: SOT 7598 SOS 3817 HAS SOPS 3817 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1982.817
AT ITER 4040 NEW BEST:: SOT 7594 SOS 3813 HAS SOPS 3813 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1981.813
AT ITER 4050 NEW BEST:: SOT 7594 SOS 3813 HAS SOPS 3813 HAS SOUS 1976 HAS SOUPS 1976 WITH SCORE 1979.813
AT ITER 4101 NEW BEST:: SOT 7593 SOS 3812 HAS SOPS 3812 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1977.812
AT ITER 4248 NEW BEST:: SOT 7593 SOS 3815 HAS SOPS 3815 HAS SOUS 1972 HAS SOUPS 1972 WITH SCORE 1975.815
AT ITER 4302 NEW BEST:: SOT 7591 SOS 3843 HAS SOPS 3843 HAS SOUS 1970 HAS SOUPS 1970 WITH SCORE 1973.843
AT ITER 4365 NEW BEST:: SOT 7589 SOS 3841 HAS SOPS 3841 HAS SOUS 1966 HAS SOUPS 1966 WITH SCORE 1969.841
AT ITER 4398 NEW BEST:: SOT 7590 SOS 3842 HAS SOPS 3842 HAS SOUS 1965 HAS SOUPS 1965 WITH SCORE 1968.842
AT ITER 4452 NEW BEST:: SOT 7589 SOS 3841 HAS SOPS 3841 HAS SOUS 1963 HAS SOUPS 1963 WITH SCORE 1966.841
AT ITER 4584 NEW BEST:: SOT 7588 SOS 3840 HAS SOPS 3840 HAS SOUS 1961 HAS SOUPS 1961 WITH SCORE 1964.84
AT ITER 4791 NEW BEST:: SOT 7586 SOS 3838 HAS SOPS 3838 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1962.838
AT ITER 4878 NEW BEST:: SOT 7586 SOS 3824 HAS SOPS 3824 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1962.824
AT ITER 4888 NEW BEST:: SOT 7584 SOS 3819 HAS SOPS 3819 HAS SOUS 1956 HAS SOUPS 1956 WITH SCORE 1959.819
AT ITER 5038 NEW BEST:: SOT 7581 SOS 3816 HAS SOPS 3816 HAS SOUS 1950 HAS SOUPS 1950 WITH SCORE 1953.816
AT ITER 5084 NEW BEST:: SOT 7581 SOS 3806 HAS SOPS 3806 HAS SOUS 1950 HAS SOUPS 1950 WITH SCORE 1953.806
AT ITER 5156 NEW BEST:: SOT 7580 SOS 3805 HAS SOPS 3805 HAS SOUS 1948 HAS SOUPS 1948 WITH SCORE 1951.805
AT ITER 5167 NEW BEST:: SOT 7567 SOS 3792 HAS SOPS 3792 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1950.792
AT ITER 5428 NEW BEST:: SOT 7570 SOS 3795 HAS SOPS 3795 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1949.795
AT ITER 5575 NEW BEST:: SOT 7569 SOS 3794 HAS SOPS 3794 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1948.794
AT ITER 5597 NEW BEST:: SOT 7566 SOS 3791 HAS SOPS 3791 HAS SOUS 1939 HAS SOUPS 1939 WITH SCORE 1942.791
AT ITER 5708 NEW BEST:: SOT 7565 SOS 3791 HAS SOPS 3791 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1940.791
AT ITER 5759 NEW BEST:: SOT 7568 SOS 3794 HAS SOPS 3794 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1935.794
AT ITER 5860 NEW BEST:: SOT 7568 SOS 3794 HAS SOPS 3794 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1934.794
AT ITER 5863 NEW BEST:: SOT 7566 SOS 3783 HAS SOPS 3783 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1932.783
AT ITER 5919 NEW BEST:: SOT 7565 SOS 3788 HAS SOPS 3788 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1930.788
AT ITER 6086 NEW BEST:: SOT 7560 SOS 3783 HAS SOPS 3783 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1930.783
AT ITER 6124 NEW BEST:: SOT 7567 SOS 3790 HAS SOPS 3790 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1929.79
AT ITER 6226 NEW BEST:: SOT 7567 SOS 3789 HAS SOPS 3789 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1929.789
AT ITER 6384 NEW BEST:: SOT 7563 SOS 3785 HAS SOPS 3785 HAS SOUS 1922 HAS SOUPS 1922 WITH SCORE 1925.785
AT ITER 6572 NEW BEST:: SOT 7572 SOS 3792 HAS SOPS 3792 HAS SOUS 1920 HAS SOUPS 1920 WITH SCORE 1923.792
AT ITER 6644 NEW BEST:: SOT 7571 SOS 3791 HAS SOPS 3791 HAS SOUS 1919 HAS SOUPS 1919 WITH SCORE 1922.791
AT ITER 6661 NEW BEST:: SOT 7569 SOS 3789 HAS SOPS 3789 HAS SOUS 1917 HAS SOUPS 1917 WITH SCORE 1920.789
AT ITER 6800 NEW BEST:: SOT 7568 SOS 3788 HAS SOPS 3788 HAS SOUS 1915 HAS SOUPS 1915 WITH SCORE 1918.788
AT ITER 7023 NEW BEST:: SOT 7561 SOS 3781 HAS SOPS 3781 HAS SOUS 1915 HAS SOUPS 1915 WITH SCORE 1918.781
AT ITER 7078 NEW BEST:: SOT 7560 SOS 3780 HAS SOPS 3780 HAS SOUS 1913 HAS SOUPS 1913 WITH SCORE 1916.78
AT ITER 7256 NEW BEST:: SOT 7554 SOS 3774 HAS SOPS 3774 HAS SOUS 1913 HAS SOUPS 1913 WITH SCORE 1916.774
AT ITER 7286 NEW BEST:: SOT 7554 SOS 3763 HAS SOPS 3763 HAS SOUS 1913 HAS SOUPS 1913 WITH SCORE 1916.763
AT ITER 7370 NEW BEST:: SOT 7554 SOS 3762 HAS SOPS 3762 HAS SOUS 1913 HAS SOUPS 1913 WITH SCORE 1916.762
AT ITER 7503 NEW BEST:: SOT 7554 SOS 3760 HAS SOPS 3760 HAS SOUS 1913 HAS SOUPS 1913 WITH SCORE 1916.76
AT ITER 7679 NEW BEST:: SOT 7553 SOS 3759 HAS SOPS 3759 HAS SOUS 1912 HAS SOUPS 1912 WITH SCORE 1915.759
AT ITER 7683 NEW BEST:: SOT 7555 SOS 3671 HAS SOPS 3671 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1912.671
AT ITER 7686 NEW BEST:: SOT 7555 SOS 3663 HAS SOPS 3663 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1912.663
AT ITER 7712 NEW BEST:: SOT 7554 SOS 3662 HAS SOPS 3662 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1912.662
AT ITER 8215 NEW BEST:: SOT 7556 SOS 3664 HAS SOPS 3664 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1910.664
AT ITER 8269 NEW BEST:: SOT 7555 SOS 3665 HAS SOPS 3665 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1908.665
AT ITER 8302 NEW BEST:: SOT 7554 SOS 3664 HAS SOPS 3664 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1907.664
AT ITER 8321 NEW BEST:: SOT 7555 SOS 3665 HAS SOPS 3665 HAS SOUS 1902 HAS SOUPS 1902 WITH SCORE 1905.665
AT ITER 8462 NEW BEST:: SOT 7555 SOS 3664 HAS SOPS 3664 HAS SOUS 1902 HAS SOUPS 1902 WITH SCORE 1905.664
AT ITER 8534 NEW BEST:: SOT 7552 SOS 3661 HAS SOPS 3661 HAS SOUS 1902 HAS SOUPS 1902 WITH SCORE 1905.661
AT ITER 8542 NEW BEST:: SOT 7551 SOS 3659 HAS SOPS 3659 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1904.659
AT ITER 8613 NEW BEST:: SOT 7551 SOS 3658 HAS SOPS 3658 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1904.658
AT ITER 8672 NEW BEST:: SOT 7548 SOS 3667 HAS SOPS 3667 HAS SOUS 1895 HAS SOUPS 1895 WITH SCORE 1898.667
AT ITER 8713 NEW BEST:: SOT 7546 SOS 3674 HAS SOPS 3674 HAS SOUS 1891 HAS SOUPS 1891 WITH SCORE 1894.674
AT ITER 8724 NEW BEST:: SOT 7546 SOS 3673 HAS SOPS 3673 HAS SOUS 1891 HAS SOUPS 1891 WITH SCORE 1894.673
AT ITER 8747 NEW BEST:: SOT 7546 SOS 3672 HAS SOPS 3672 HAS SOUS 1891 HAS SOUPS 1891 WITH SCORE 1894.672
AT ITER 9076 NEW BEST:: SOT 7544 SOS 3670 HAS SOPS 3670 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1892.67
AT ITER 9138 NEW BEST:: SOT 7547 SOS 3673 HAS SOPS 3673 HAS SOUS 1888 HAS SOUPS 1888 WITH SCORE 1891.673
AT ITER 9378 NEW BEST:: SOT 7548 SOS 3674 HAS SOPS 3674 HAS SOUS 1886 HAS SOUPS 1886 WITH SCORE 1889.674
AT ITER 9564 NEW BEST:: SOT 7544 SOS 3674 HAS SOPS 3674 HAS SOUS 1885 HAS SOUPS 1885 WITH SCORE 1888.674
AT ITER 9567 NEW BEST:: SOT 7544 SOS 3669 HAS SOPS 3669 HAS SOUS 1885 HAS SOUPS 1885 WITH SCORE 1888.669
AT ITER 9650 NEW BEST:: SOT 7544 SOS 3661 HAS SOPS 3661 HAS SOUS 1885 HAS SOUPS 1885 WITH SCORE 1888.661
AT ITER 9884 NEW BEST:: SOT 7543 SOS 3660 HAS SOPS 3660 HAS SOUS 1883 HAS SOUPS 1883 WITH SCORE 1886.66
STATE_SPACE STATES 6158095 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 15 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 31202923 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678521553787

--------------------
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="HirschbergSinclair-PT-05"
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 HirschbergSinclair-PT-05, 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 r195-smll-167840342400432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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