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.r107-tall-167814484100368.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DES-PT-01a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484100368
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 7.7K Feb 26 15:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 26 15:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 15:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 15:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Feb 26 15:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 32K 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 1678367142626

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DES-PT-01a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 13:05:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 13:05:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 13:05:44] [INFO ] Load time of PNML (sax parser for PT used): 39 ms
[2023-03-09 13:05:44] [INFO ] Transformed 119 places.
[2023-03-09 13:05:44] [INFO ] Transformed 76 transitions.
[2023-03-09 13:05:44] [INFO ] Found NUPN structural information;
[2023-03-09 13:05:44] [INFO ] Parsed PT model containing 119 places and 76 transitions and 381 arcs in 99 ms.
[2023-03-09 13:05:44] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 119 places, 76 transitions and 381 arcs took 3 ms.
Total runtime 130 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 01a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 119 places, 76 transitions, 381 arcs.
AT ITER 0 NEW BEST:: SOT 6504 SOS 4981 HAS SOPS 4981 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3770.981
AT ITER 4 NEW BEST:: SOT 6491 SOS 4978 HAS SOPS 4978 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3768.978
AT ITER 11 NEW BEST:: SOT 6476 SOS 4962 HAS SOPS 4962 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3762.962
AT ITER 12 NEW BEST:: SOT 6475 SOS 4961 HAS SOPS 4961 HAS SOUS 3756 HAS SOUPS 3756 WITH SCORE 3760.961
AT ITER 18 NEW BEST:: SOT 6480 SOS 4970 HAS SOPS 4970 HAS SOUS 3752 HAS SOUPS 3752 WITH SCORE 3756.97
AT ITER 27 NEW BEST:: SOT 6465 SOS 4940 HAS SOPS 4940 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3726.94
AT ITER 28 NEW BEST:: SOT 6457 SOS 4929 HAS SOPS 4929 HAS SOUS 3713 HAS SOUPS 3713 WITH SCORE 3717.929
AT ITER 36 NEW BEST:: SOT 6426 SOS 4913 HAS SOPS 4913 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3701.913
AT ITER 37 NEW BEST:: SOT 6415 SOS 4898 HAS SOPS 4898 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3686.898
AT ITER 40 NEW BEST:: SOT 6387 SOS 4870 HAS SOPS 4870 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3658.87
AT ITER 48 NEW BEST:: SOT 6381 SOS 4864 HAS SOPS 4864 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3652.864
AT ITER 58 NEW BEST:: SOT 6356 SOS 4861 HAS SOPS 4861 HAS SOUS 3645 HAS SOUPS 3645 WITH SCORE 3649.861
AT ITER 61 NEW BEST:: SOT 6416 SOS 4887 HAS SOPS 4887 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3623.887
AT ITER 62 NEW BEST:: SOT 6347 SOS 4790 HAS SOPS 4790 HAS SOUS 3513 HAS SOUPS 3513 WITH SCORE 3517.79
AT ITER 66 NEW BEST:: SOT 6344 SOS 4781 HAS SOPS 4781 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3512.781
AT ITER 67 NEW BEST:: SOT 6387 SOS 4824 HAS SOPS 4824 HAS SOUS 3507 HAS SOUPS 3507 WITH SCORE 3511.824
AT ITER 68 NEW BEST:: SOT 6264 SOS 4697 HAS SOPS 4697 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3457.697
AT ITER 75 NEW BEST:: SOT 6264 SOS 4689 HAS SOPS 4689 HAS SOUS 3445 HAS SOUPS 3445 WITH SCORE 3449.689
AT ITER 82 NEW BEST:: SOT 6234 SOS 4659 HAS SOPS 4659 HAS SOUS 3415 HAS SOUPS 3415 WITH SCORE 3419.659
AT ITER 83 NEW BEST:: SOT 6220 SOS 4637 HAS SOPS 4637 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3397.637
AT ITER 86 NEW BEST:: SOT 6212 SOS 4629 HAS SOPS 4629 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3389.629
AT ITER 100 NEW BEST:: SOT 6212 SOS 4616 HAS SOPS 4616 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3376.616
AT ITER 107 NEW BEST:: SOT 6208 SOS 4610 HAS SOPS 4610 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3370.61
AT ITER 114 NEW BEST:: SOT 6148 SOS 4530 HAS SOPS 4530 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3330.53
AT ITER 120 NEW BEST:: SOT 6148 SOS 4529 HAS SOPS 4529 HAS SOUS 3325 HAS SOUPS 3325 WITH SCORE 3329.529
AT ITER 132 NEW BEST:: SOT 6100 SOS 4481 HAS SOPS 4481 HAS SOUS 3277 HAS SOUPS 3277 WITH SCORE 3281.481
AT ITER 139 NEW BEST:: SOT 6112 SOS 4493 HAS SOPS 4493 HAS SOUS 3265 HAS SOUPS 3265 WITH SCORE 3269.493
AT ITER 149 NEW BEST:: SOT 6111 SOS 4492 HAS SOPS 4492 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3268.492
AT ITER 150 NEW BEST:: SOT 6111 SOS 4473 HAS SOPS 4473 HAS SOUS 3245 HAS SOUPS 3245 WITH SCORE 3249.473
AT ITER 155 NEW BEST:: SOT 6107 SOS 4469 HAS SOPS 4469 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3245.469
AT ITER 198 NEW BEST:: SOT 6102 SOS 4464 HAS SOPS 4464 HAS SOUS 3236 HAS SOUPS 3236 WITH SCORE 3240.464
AT ITER 206 NEW BEST:: SOT 6104 SOS 4447 HAS SOPS 4447 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3236.447
AT ITER 209 NEW BEST:: SOT 6080 SOS 4423 HAS SOPS 4423 HAS SOUS 3208 HAS SOUPS 3208 WITH SCORE 3212.423
AT ITER 213 NEW BEST:: SOT 6069 SOS 4412 HAS SOPS 4412 HAS SOUS 3197 HAS SOUPS 3197 WITH SCORE 3201.412
AT ITER 217 NEW BEST:: SOT 6069 SOS 4395 HAS SOPS 4395 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3184.395
AT ITER 218 NEW BEST:: SOT 6069 SOS 4394 HAS SOPS 4394 HAS SOUS 3179 HAS SOUPS 3179 WITH SCORE 3183.394
AT ITER 222 NEW BEST:: SOT 6067 SOS 4382 HAS SOPS 4382 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3178.382
AT ITER 226 NEW BEST:: SOT 6054 SOS 4369 HAS SOPS 4369 HAS SOUS 3161 HAS SOUPS 3161 WITH SCORE 3165.369
AT ITER 231 NEW BEST:: SOT 6065 SOS 4340 HAS SOPS 4340 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3136.34
AT ITER 234 NEW BEST:: SOT 6047 SOS 4322 HAS SOPS 4322 HAS SOUS 3114 HAS SOUPS 3114 WITH SCORE 3118.322
AT ITER 256 NEW BEST:: SOT 6039 SOS 4314 HAS SOPS 4314 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3110.314
AT ITER 265 NEW BEST:: SOT 5997 SOS 4273 HAS SOPS 4273 HAS SOUS 3065 HAS SOUPS 3065 WITH SCORE 3069.273
AT ITER 267 NEW BEST:: SOT 5991 SOS 4025 HAS SOPS 4025 HAS SOUS 3051 HAS SOUPS 3051 WITH SCORE 3055.025
AT ITER 270 NEW BEST:: SOT 5914 SOS 3949 HAS SOPS 3949 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3030.949
AT ITER 271 NEW BEST:: SOT 5893 SOS 3897 HAS SOPS 3897 HAS SOUS 2975 HAS SOUPS 2975 WITH SCORE 2978.897
AT ITER 277 NEW BEST:: SOT 5882 SOS 3820 HAS SOPS 3820 HAS SOUS 2953 HAS SOUPS 2953 WITH SCORE 2956.82
AT ITER 288 NEW BEST:: SOT 5836 SOS 3784 HAS SOPS 3784 HAS SOUS 2930 HAS SOUPS 2930 WITH SCORE 2933.784
AT ITER 289 NEW BEST:: SOT 5776 SOS 3724 HAS SOPS 3724 HAS SOUS 2910 HAS SOUPS 2910 WITH SCORE 2913.724
AT ITER 294 NEW BEST:: SOT 5781 SOS 3729 HAS SOPS 3729 HAS SOUS 2909 HAS SOUPS 2909 WITH SCORE 2912.729
AT ITER 296 NEW BEST:: SOT 5774 SOS 3724 HAS SOPS 3724 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2907.724
AT ITER 299 NEW BEST:: SOT 5773 SOS 3723 HAS SOPS 3723 HAS SOUS 2903 HAS SOUPS 2903 WITH SCORE 2906.723
AT ITER 302 NEW BEST:: SOT 5760 SOS 3688 HAS SOPS 3688 HAS SOUS 2868 HAS SOUPS 2868 WITH SCORE 2871.688
AT ITER 331 NEW BEST:: SOT 5760 SOS 3678 HAS SOPS 3678 HAS SOUS 2868 HAS SOUPS 2868 WITH SCORE 2871.678
AT ITER 336 NEW BEST:: SOT 5825 SOS 3669 HAS SOPS 3669 HAS SOUS 2852 HAS SOUPS 2852 WITH SCORE 2855.669
AT ITER 337 NEW BEST:: SOT 5823 SOS 3653 HAS SOPS 3653 HAS SOUS 2836 HAS SOUPS 2836 WITH SCORE 2839.653
AT ITER 347 NEW BEST:: SOT 5821 SOS 3635 HAS SOPS 3635 HAS SOUS 2818 HAS SOUPS 2818 WITH SCORE 2821.635
AT ITER 348 NEW BEST:: SOT 5819 SOS 3633 HAS SOPS 3633 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2819.633
AT ITER 364 NEW BEST:: SOT 5809 SOS 3623 HAS SOPS 3623 HAS SOUS 2814 HAS SOUPS 2814 WITH SCORE 2817.623
AT ITER 367 NEW BEST:: SOT 5809 SOS 3620 HAS SOPS 3620 HAS SOUS 2811 HAS SOUPS 2811 WITH SCORE 2814.62
AT ITER 370 NEW BEST:: SOT 5761 SOS 3572 HAS SOPS 3572 HAS SOUS 2763 HAS SOUPS 2763 WITH SCORE 2766.572
AT ITER 377 NEW BEST:: SOT 5762 SOS 3565 HAS SOPS 3565 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2759.565
AT ITER 383 NEW BEST:: SOT 5746 SOS 3565 HAS SOPS 3565 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2757.565
AT ITER 389 NEW BEST:: SOT 5748 SOS 3561 HAS SOPS 3561 HAS SOUS 2753 HAS SOUPS 2753 WITH SCORE 2756.561
AT ITER 391 NEW BEST:: SOT 5728 SOS 3541 HAS SOPS 3541 HAS SOUS 2733 HAS SOUPS 2733 WITH SCORE 2736.541
AT ITER 400 NEW BEST:: SOT 5727 SOS 3538 HAS SOPS 3538 HAS SOUS 2730 HAS SOUPS 2730 WITH SCORE 2733.538
AT ITER 405 NEW BEST:: SOT 5727 SOS 3526 HAS SOPS 3526 HAS SOUS 2718 HAS SOUPS 2718 WITH SCORE 2721.526
AT ITER 413 NEW BEST:: SOT 5727 SOS 3522 HAS SOPS 3522 HAS SOUS 2718 HAS SOUPS 2718 WITH SCORE 2721.522
AT ITER 416 NEW BEST:: SOT 5713 SOS 3487 HAS SOPS 3487 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2686.487
AT ITER 417 NEW BEST:: SOT 5713 SOS 3458 HAS SOPS 3458 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2657.458
AT ITER 439 NEW BEST:: SOT 5711 SOS 3424 HAS SOPS 3424 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2647.424
AT ITER 441 NEW BEST:: SOT 5708 SOS 3419 HAS SOPS 3419 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2642.419
AT ITER 448 NEW BEST:: SOT 5708 SOS 3411 HAS SOPS 3411 HAS SOUS 2631 HAS SOUPS 2631 WITH SCORE 2634.411
AT ITER 459 NEW BEST:: SOT 5705 SOS 3387 HAS SOPS 3387 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2610.387
AT ITER 469 NEW BEST:: SOT 5702 SOS 3383 HAS SOPS 3383 HAS SOUS 2603 HAS SOUPS 2603 WITH SCORE 2606.383
AT ITER 472 NEW BEST:: SOT 5695 SOS 3357 HAS SOPS 3357 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2580.357
AT ITER 476 NEW BEST:: SOT 5679 SOS 3324 HAS SOPS 3324 HAS SOUS 2544 HAS SOUPS 2544 WITH SCORE 2547.324
AT ITER 500 NEW BEST:: SOT 5679 SOS 3303 HAS SOPS 3303 HAS SOUS 2523 HAS SOUPS 2523 WITH SCORE 2526.303
AT ITER 516 NEW BEST:: SOT 5674 SOS 3298 HAS SOPS 3298 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2521.298
AT ITER 517 NEW BEST:: SOT 5669 SOS 3285 HAS SOPS 3285 HAS SOUS 2505 HAS SOUPS 2505 WITH SCORE 2508.285
AT ITER 522 NEW BEST:: SOT 5570 SOS 3204 HAS SOPS 3204 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2471.204
AT ITER 530 NEW BEST:: SOT 5534 SOS 3164 HAS SOPS 3164 HAS SOUS 2428 HAS SOUPS 2428 WITH SCORE 2431.164
AT ITER 533 NEW BEST:: SOT 5534 SOS 3149 HAS SOPS 3149 HAS SOUS 2425 HAS SOUPS 2425 WITH SCORE 2428.149
AT ITER 535 NEW BEST:: SOT 5528 SOS 3143 HAS SOPS 3143 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2425.143
AT ITER 537 NEW BEST:: SOT 5525 SOS 3135 HAS SOPS 3135 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2417.135
AT ITER 570 NEW BEST:: SOT 5524 SOS 3126 HAS SOPS 3126 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2408.126
AT ITER 586 NEW BEST:: SOT 5476 SOS 3069 HAS SOPS 3069 HAS SOUS 2396 HAS SOUPS 2396 WITH SCORE 2399.069
AT ITER 601 NEW BEST:: SOT 5461 SOS 3053 HAS SOPS 3053 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2383.053
AT ITER 602 NEW BEST:: SOT 5453 SOS 3033 HAS SOPS 3033 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2363.033
AT ITER 604 NEW BEST:: SOT 5453 SOS 3026 HAS SOPS 3026 HAS SOUS 2353 HAS SOUPS 2353 WITH SCORE 2356.026
AT ITER 645 NEW BEST:: SOT 5433 SOS 3006 HAS SOPS 3006 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2352.006
AT ITER 652 NEW BEST:: SOT 5431 SOS 3000 HAS SOPS 3000 HAS SOUS 2343 HAS SOUPS 2343 WITH SCORE 2346.0
AT ITER 667 NEW BEST:: SOT 5451 SOS 2985 HAS SOPS 2985 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2342.985
AT ITER 697 NEW BEST:: SOT 5451 SOS 2972 HAS SOPS 2972 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2329.972
AT ITER 699 NEW BEST:: SOT 5449 SOS 2968 HAS SOPS 2968 HAS SOUS 2323 HAS SOUPS 2323 WITH SCORE 2325.968
AT ITER 723 NEW BEST:: SOT 5443 SOS 2961 HAS SOPS 2961 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2318.961
AT ITER 731 NEW BEST:: SOT 5442 SOS 2959 HAS SOPS 2959 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.959
AT ITER 759 NEW BEST:: SOT 5442 SOS 2954 HAS SOPS 2954 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2311.954
AT ITER 762 NEW BEST:: SOT 5437 SOS 2949 HAS SOPS 2949 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2306.949
AT ITER 782 NEW BEST:: SOT 5429 SOS 2933 HAS SOPS 2933 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2290.933
AT ITER 790 NEW BEST:: SOT 5424 SOS 2928 HAS SOPS 2928 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2285.928
AT ITER 810 NEW BEST:: SOT 5422 SOS 2926 HAS SOPS 2926 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2283.926
AT ITER 834 NEW BEST:: SOT 5419 SOS 2925 HAS SOPS 2925 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.925
AT ITER 842 NEW BEST:: SOT 5415 SOS 2924 HAS SOPS 2924 HAS SOUS 2279 HAS SOUPS 2279 WITH SCORE 2281.924
AT ITER 858 NEW BEST:: SOT 5408 SOS 2917 HAS SOPS 2917 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2274.917
AT ITER 859 NEW BEST:: SOT 5399 SOS 2908 HAS SOPS 2908 HAS SOUS 2263 HAS SOUPS 2263 WITH SCORE 2265.908
AT ITER 871 NEW BEST:: SOT 5399 SOS 2905 HAS SOPS 2905 HAS SOUS 2260 HAS SOUPS 2260 WITH SCORE 2262.905
AT ITER 876 NEW BEST:: SOT 5395 SOS 2895 HAS SOPS 2895 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2252.895
AT ITER 883 NEW BEST:: SOT 5395 SOS 2891 HAS SOPS 2891 HAS SOUS 2246 HAS SOUPS 2246 WITH SCORE 2248.891
AT ITER 894 NEW BEST:: SOT 5389 SOS 2885 HAS SOPS 2885 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2242.885
AT ITER 900 NEW BEST:: SOT 5380 SOS 2871 HAS SOPS 2871 HAS SOUS 2226 HAS SOUPS 2226 WITH SCORE 2228.871
AT ITER 902 NEW BEST:: SOT 5380 SOS 2848 HAS SOPS 2848 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2217.848
AT ITER 904 NEW BEST:: SOT 5378 SOS 2845 HAS SOPS 2845 HAS SOUS 2212 HAS SOUPS 2212 WITH SCORE 2214.845
AT ITER 909 NEW BEST:: SOT 5369 SOS 2836 HAS SOPS 2836 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.836
AT ITER 914 NEW BEST:: SOT 5379 SOS 2826 HAS SOPS 2826 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2203.826
AT ITER 938 NEW BEST:: SOT 5372 SOS 2819 HAS SOPS 2819 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2196.819
AT ITER 965 NEW BEST:: SOT 5363 SOS 2811 HAS SOPS 2811 HAS SOUS 2186 HAS SOUPS 2186 WITH SCORE 2188.811
AT ITER 972 NEW BEST:: SOT 5363 SOS 2807 HAS SOPS 2807 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2184.807
AT ITER 975 NEW BEST:: SOT 5356 SOS 2800 HAS SOPS 2800 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2177.8
AT ITER 976 NEW BEST:: SOT 5354 SOS 2798 HAS SOPS 2798 HAS SOUS 2173 HAS SOUPS 2173 WITH SCORE 2175.798
AT ITER 985 NEW BEST:: SOT 5350 SOS 2794 HAS SOPS 2794 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2171.794
AT ITER 1010 NEW BEST:: SOT 5344 SOS 2788 HAS SOPS 2788 HAS SOUS 2163 HAS SOUPS 2163 WITH SCORE 2165.788
AT ITER 1022 NEW BEST:: SOT 5341 SOS 2785 HAS SOPS 2785 HAS SOUS 2160 HAS SOUPS 2160 WITH SCORE 2162.785
AT ITER 1028 NEW BEST:: SOT 5339 SOS 2793 HAS SOPS 2793 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2160.793
AT ITER 1034 NEW BEST:: SOT 5304 SOS 2768 HAS SOPS 2768 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2159.768
AT ITER 1040 NEW BEST:: SOT 5288 SOS 2748 HAS SOPS 2748 HAS SOUS 2137 HAS SOUPS 2137 WITH SCORE 2139.748
AT ITER 1048 NEW BEST:: SOT 5287 SOS 2747 HAS SOPS 2747 HAS SOUS 2135 HAS SOUPS 2135 WITH SCORE 2137.747
AT ITER 1059 NEW BEST:: SOT 5295 SOS 2731 HAS SOPS 2731 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2121.731
AT ITER 1062 NEW BEST:: SOT 5283 SOS 2719 HAS SOPS 2719 HAS SOUS 2107 HAS SOUPS 2107 WITH SCORE 2109.719
AT ITER 1075 NEW BEST:: SOT 5283 SOS 2718 HAS SOPS 2718 HAS SOUS 2106 HAS SOUPS 2106 WITH SCORE 2108.718
AT ITER 1101 NEW BEST:: SOT 5267 SOS 2691 HAS SOPS 2691 HAS SOUS 2079 HAS SOUPS 2079 WITH SCORE 2081.691
AT ITER 1103 NEW BEST:: SOT 5267 SOS 2704 HAS SOPS 2704 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2073.704
AT ITER 1121 NEW BEST:: SOT 5249 SOS 2686 HAS SOPS 2686 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2055.686
AT ITER 1133 NEW BEST:: SOT 5249 SOS 2685 HAS SOPS 2685 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.685
AT ITER 1178 NEW BEST:: SOT 5248 SOS 2669 HAS SOPS 2669 HAS SOUS 2036 HAS SOUPS 2036 WITH SCORE 2038.669
AT ITER 1218 NEW BEST:: SOT 5242 SOS 2662 HAS SOPS 2662 HAS SOUS 2029 HAS SOUPS 2029 WITH SCORE 2031.662
AT ITER 1248 NEW BEST:: SOT 5237 SOS 2657 HAS SOPS 2657 HAS SOUS 2024 HAS SOUPS 2024 WITH SCORE 2026.657
AT ITER 1264 NEW BEST:: SOT 5225 SOS 2646 HAS SOPS 2646 HAS SOUS 2013 HAS SOUPS 2013 WITH SCORE 2015.646
AT ITER 1275 NEW BEST:: SOT 5225 SOS 2642 HAS SOPS 2642 HAS SOUS 2009 HAS SOUPS 2009 WITH SCORE 2011.642
AT ITER 1282 NEW BEST:: SOT 5227 SOS 2639 HAS SOPS 2639 HAS SOUS 2006 HAS SOUPS 2006 WITH SCORE 2008.639
AT ITER 1301 NEW BEST:: SOT 5226 SOS 2638 HAS SOPS 2638 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2007.638
AT ITER 1318 NEW BEST:: SOT 5226 SOS 2636 HAS SOPS 2636 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2005.636
AT ITER 1346 NEW BEST:: SOT 5226 SOS 2636 HAS SOPS 2636 HAS SOUS 1998 HAS SOUPS 1998 WITH SCORE 2000.636
AT ITER 1352 NEW BEST:: SOT 5227 SOS 2635 HAS SOPS 2635 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 1999.635
AT ITER 1367 NEW BEST:: SOT 5224 SOS 2629 HAS SOPS 2629 HAS SOUS 1991 HAS SOUPS 1991 WITH SCORE 1993.629
AT ITER 1372 NEW BEST:: SOT 5222 SOS 2627 HAS SOPS 2627 HAS SOUS 1989 HAS SOUPS 1989 WITH SCORE 1991.627
AT ITER 1389 NEW BEST:: SOT 5222 SOS 2639 HAS SOPS 2639 HAS SOUS 1988 HAS SOUPS 1988 WITH SCORE 1990.639
AT ITER 1393 NEW BEST:: SOT 5226 SOS 2644 HAS SOPS 2644 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1988.644
AT ITER 1397 NEW BEST:: SOT 5215 SOS 2627 HAS SOPS 2627 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.627
AT ITER 1409 NEW BEST:: SOT 5219 SOS 2629 HAS SOPS 2629 HAS SOUS 1968 HAS SOUPS 1968 WITH SCORE 1970.629
AT ITER 1413 NEW BEST:: SOT 5219 SOS 2626 HAS SOPS 2626 HAS SOUS 1965 HAS SOUPS 1965 WITH SCORE 1967.626
AT ITER 1422 NEW BEST:: SOT 5219 SOS 2621 HAS SOPS 2621 HAS SOUS 1960 HAS SOUPS 1960 WITH SCORE 1962.621
AT ITER 1430 NEW BEST:: SOT 5215 SOS 2617 HAS SOPS 2617 HAS SOUS 1956 HAS SOUPS 1956 WITH SCORE 1958.617
AT ITER 1448 NEW BEST:: SOT 5200 SOS 2610 HAS SOPS 2610 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1951.61
AT ITER 1474 NEW BEST:: SOT 5195 SOS 2603 HAS SOPS 2603 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1944.603
AT ITER 1489 NEW BEST:: SOT 5191 SOS 2597 HAS SOPS 2597 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1944.597
AT ITER 1505 NEW BEST:: SOT 5191 SOS 2593 HAS SOPS 2593 HAS SOUS 1938 HAS SOUPS 1938 WITH SCORE 1940.593
AT ITER 1523 NEW BEST:: SOT 5193 SOS 2583 HAS SOPS 2583 HAS SOUS 1928 HAS SOUPS 1928 WITH SCORE 1930.583
AT ITER 1552 NEW BEST:: SOT 5182 SOS 2572 HAS SOPS 2572 HAS SOUS 1917 HAS SOUPS 1917 WITH SCORE 1919.572
AT ITER 1553 NEW BEST:: SOT 5176 SOS 2566 HAS SOPS 2566 HAS SOUS 1911 HAS SOUPS 1911 WITH SCORE 1913.566
AT ITER 1564 NEW BEST:: SOT 5175 SOS 2565 HAS SOPS 2565 HAS SOUS 1910 HAS SOUPS 1910 WITH SCORE 1912.565
AT ITER 1580 NEW BEST:: SOT 5173 SOS 2562 HAS SOPS 2562 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1909.562
AT ITER 1589 NEW BEST:: SOT 5163 SOS 2547 HAS SOPS 2547 HAS SOUS 1892 HAS SOUPS 1892 WITH SCORE 1894.547
AT ITER 1594 NEW BEST:: SOT 5161 SOS 2538 HAS SOPS 2538 HAS SOUS 1883 HAS SOUPS 1883 WITH SCORE 1885.538
AT ITER 1619 NEW BEST:: SOT 5158 SOS 2532 HAS SOPS 2532 HAS SOUS 1877 HAS SOUPS 1877 WITH SCORE 1879.532
AT ITER 1644 NEW BEST:: SOT 5162 SOS 2531 HAS SOPS 2531 HAS SOUS 1876 HAS SOUPS 1876 WITH SCORE 1878.531
AT ITER 1673 NEW BEST:: SOT 5152 SOS 2519 HAS SOPS 2519 HAS SOUS 1864 HAS SOUPS 1864 WITH SCORE 1866.519
AT ITER 1713 NEW BEST:: SOT 5131 SOS 2498 HAS SOPS 2498 HAS SOUS 1843 HAS SOUPS 1843 WITH SCORE 1845.498
AT ITER 1732 NEW BEST:: SOT 5128 SOS 2494 HAS SOPS 2494 HAS SOUS 1839 HAS SOUPS 1839 WITH SCORE 1841.494
AT ITER 1737 NEW BEST:: SOT 5118 SOS 2484 HAS SOPS 2484 HAS SOUS 1829 HAS SOUPS 1829 WITH SCORE 1831.484
AT ITER 1746 NEW BEST:: SOT 5117 SOS 2483 HAS SOPS 2483 HAS SOUS 1828 HAS SOUPS 1828 WITH SCORE 1830.483
AT ITER 1750 NEW BEST:: SOT 5118 SOS 2471 HAS SOPS 2471 HAS SOUS 1815 HAS SOUPS 1815 WITH SCORE 1817.471
AT ITER 1771 NEW BEST:: SOT 5113 SOS 2456 HAS SOPS 2456 HAS SOUS 1800 HAS SOUPS 1800 WITH SCORE 1802.456
AT ITER 1786 NEW BEST:: SOT 5113 SOS 2454 HAS SOPS 2454 HAS SOUS 1799 HAS SOUPS 1799 WITH SCORE 1801.454
AT ITER 1790 NEW BEST:: SOT 5106 SOS 2452 HAS SOPS 2452 HAS SOUS 1797 HAS SOUPS 1797 WITH SCORE 1799.452
AT ITER 1805 NEW BEST:: SOT 5103 SOS 2443 HAS SOPS 2443 HAS SOUS 1788 HAS SOUPS 1788 WITH SCORE 1790.443
AT ITER 1813 NEW BEST:: SOT 5103 SOS 2441 HAS SOPS 2441 HAS SOUS 1786 HAS SOUPS 1786 WITH SCORE 1788.441
AT ITER 1834 NEW BEST:: SOT 5101 SOS 2439 HAS SOPS 2439 HAS SOUS 1784 HAS SOUPS 1784 WITH SCORE 1786.439
AT ITER 1843 NEW BEST:: SOT 5100 SOS 2438 HAS SOPS 2438 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1785.438
AT ITER 1919 NEW BEST:: SOT 5094 SOS 2432 HAS SOPS 2432 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1779.432
AT ITER 1920 NEW BEST:: SOT 5090 SOS 2428 HAS SOPS 2428 HAS SOUS 1773 HAS SOUPS 1773 WITH SCORE 1775.428
AT ITER 1925 NEW BEST:: SOT 5087 SOS 2424 HAS SOPS 2424 HAS SOUS 1771 HAS SOUPS 1771 WITH SCORE 1773.424
AT ITER 1947 NEW BEST:: SOT 5085 SOS 2416 HAS SOPS 2416 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1765.416
AT ITER 1950 NEW BEST:: SOT 5084 SOS 2414 HAS SOPS 2414 HAS SOUS 1761 HAS SOUPS 1761 WITH SCORE 1763.414
AT ITER 1977 NEW BEST:: SOT 5077 SOS 2406 HAS SOPS 2406 HAS SOUS 1753 HAS SOUPS 1753 WITH SCORE 1755.406
AT ITER 1983 NEW BEST:: SOT 5068 SOS 2383 HAS SOPS 2383 HAS SOUS 1730 HAS SOUPS 1730 WITH SCORE 1732.383
AT ITER 2046 NEW BEST:: SOT 5066 SOS 2381 HAS SOPS 2381 HAS SOUS 1728 HAS SOUPS 1728 WITH SCORE 1730.381
AT ITER 2053 NEW BEST:: SOT 5059 SOS 2374 HAS SOPS 2374 HAS SOUS 1721 HAS SOUPS 1721 WITH SCORE 1723.374
AT ITER 2110 NEW BEST:: SOT 5056 SOS 2373 HAS SOPS 2373 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1722.373
AT ITER 2117 NEW BEST:: SOT 5060 SOS 2364 HAS SOPS 2364 HAS SOUS 1713 HAS SOUPS 1713 WITH SCORE 1715.364
AT ITER 2119 NEW BEST:: SOT 5056 SOS 2361 HAS SOPS 2361 HAS SOUS 1710 HAS SOUPS 1710 WITH SCORE 1712.361
AT ITER 2128 NEW BEST:: SOT 5057 SOS 2358 HAS SOPS 2358 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1709.358
AT ITER 2139 NEW BEST:: SOT 5071 SOS 2363 HAS SOPS 2363 HAS SOUS 1702 HAS SOUPS 1702 WITH SCORE 1704.363
AT ITER 2151 NEW BEST:: SOT 5070 SOS 2362 HAS SOPS 2362 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1703.362
AT ITER 2176 NEW BEST:: SOT 5070 SOS 2358 HAS SOPS 2358 HAS SOUS 1697 HAS SOUPS 1697 WITH SCORE 1699.358
AT ITER 2197 NEW BEST:: SOT 5068 SOS 2356 HAS SOPS 2356 HAS SOUS 1695 HAS SOUPS 1695 WITH SCORE 1697.356
AT ITER 2205 NEW BEST:: SOT 5064 SOS 2343 HAS SOPS 2343 HAS SOUS 1682 HAS SOUPS 1682 WITH SCORE 1684.343
AT ITER 2212 NEW BEST:: SOT 5057 SOS 2336 HAS SOPS 2336 HAS SOUS 1675 HAS SOUPS 1675 WITH SCORE 1677.336
AT ITER 2226 NEW BEST:: SOT 5065 SOS 2342 HAS SOPS 2342 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1675.342
AT ITER 2282 NEW BEST:: SOT 5033 SOS 2261 HAS SOPS 2261 HAS SOUS 1628 HAS SOUPS 1628 WITH SCORE 1630.261
AT ITER 2313 NEW BEST:: SOT 5030 SOS 2252 HAS SOPS 2252 HAS SOUS 1619 HAS SOUPS 1619 WITH SCORE 1621.252
AT ITER 2316 NEW BEST:: SOT 5032 SOS 2262 HAS SOPS 2262 HAS SOUS 1618 HAS SOUPS 1618 WITH SCORE 1620.262
AT ITER 2441 NEW BEST:: SOT 5034 SOS 2261 HAS SOPS 2261 HAS SOUS 1617 HAS SOUPS 1617 WITH SCORE 1619.261
AT ITER 2460 NEW BEST:: SOT 5037 SOS 2253 HAS SOPS 2253 HAS SOUS 1609 HAS SOUPS 1609 WITH SCORE 1611.253
AT ITER 2482 NEW BEST:: SOT 5036 SOS 2252 HAS SOPS 2252 HAS SOUS 1608 HAS SOUPS 1608 WITH SCORE 1610.252
AT ITER 2493 NEW BEST:: SOT 5034 SOS 2250 HAS SOPS 2250 HAS SOUS 1606 HAS SOUPS 1606 WITH SCORE 1608.25
AT ITER 2530 NEW BEST:: SOT 5030 SOS 2246 HAS SOPS 2246 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1604.246
AT ITER 2590 NEW BEST:: SOT 5025 SOS 2241 HAS SOPS 2241 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1599.241
AT ITER 2654 NEW BEST:: SOT 5025 SOS 2236 HAS SOPS 2236 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1590.236
AT ITER 2695 NEW BEST:: SOT 5020 SOS 2218 HAS SOPS 2218 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1590.218
AT ITER 2700 NEW BEST:: SOT 5013 SOS 2211 HAS SOPS 2211 HAS SOUS 1581 HAS SOUPS 1581 WITH SCORE 1583.211
AT ITER 2702 NEW BEST:: SOT 5008 SOS 2206 HAS SOPS 2206 HAS SOUS 1576 HAS SOUPS 1576 WITH SCORE 1578.206
AT ITER 2747 NEW BEST:: SOT 5008 SOS 2205 HAS SOPS 2205 HAS SOUS 1575 HAS SOUPS 1575 WITH SCORE 1577.205
AT ITER 2748 NEW BEST:: SOT 5004 SOS 2192 HAS SOPS 2192 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1570.192
AT ITER 2772 NEW BEST:: SOT 5013 SOS 2191 HAS SOPS 2191 HAS SOUS 1567 HAS SOUPS 1567 WITH SCORE 1569.191
AT ITER 2816 NEW BEST:: SOT 5011 SOS 2187 HAS SOPS 2187 HAS SOUS 1563 HAS SOUPS 1563 WITH SCORE 1565.187
AT ITER 2859 NEW BEST:: SOT 5010 SOS 2186 HAS SOPS 2186 HAS SOUS 1562 HAS SOUPS 1562 WITH SCORE 1564.186
AT ITER 3069 NEW BEST:: SOT 5009 SOS 2185 HAS SOPS 2185 HAS SOUS 1561 HAS SOUPS 1561 WITH SCORE 1563.185
AT ITER 3081 NEW BEST:: SOT 5009 SOS 2184 HAS SOPS 2184 HAS SOUS 1560 HAS SOUPS 1560 WITH SCORE 1562.184
AT ITER 3157 NEW BEST:: SOT 5009 SOS 2183 HAS SOPS 2183 HAS SOUS 1559 HAS SOUPS 1559 WITH SCORE 1561.183
AT ITER 3159 NEW BEST:: SOT 5005 SOS 2182 HAS SOPS 2182 HAS SOUS 1558 HAS SOUPS 1558 WITH SCORE 1560.182
AT ITER 3216 NEW BEST:: SOT 5004 SOS 2145 HAS SOPS 2145 HAS SOUS 1558 HAS SOUPS 1558 WITH SCORE 1560.145
AT ITER 3236 NEW BEST:: SOT 5000 SOS 2141 HAS SOPS 2141 HAS SOUS 1558 HAS SOUPS 1558 WITH SCORE 1560.141
AT ITER 3241 NEW BEST:: SOT 4998 SOS 2132 HAS SOPS 2132 HAS SOUS 1549 HAS SOUPS 1549 WITH SCORE 1551.132
AT ITER 3278 NEW BEST:: SOT 4995 SOS 2130 HAS SOPS 2130 HAS SOUS 1547 HAS SOUPS 1547 WITH SCORE 1549.13
AT ITER 3319 NEW BEST:: SOT 4988 SOS 2122 HAS SOPS 2122 HAS SOUS 1544 HAS SOUPS 1544 WITH SCORE 1546.122
AT ITER 3356 NEW BEST:: SOT 4997 SOS 2126 HAS SOPS 2126 HAS SOUS 1539 HAS SOUPS 1539 WITH SCORE 1541.126
AT ITER 3390 NEW BEST:: SOT 4997 SOS 2142 HAS SOPS 2142 HAS SOUS 1537 HAS SOUPS 1537 WITH SCORE 1539.142
AT ITER 3406 NEW BEST:: SOT 4997 SOS 2140 HAS SOPS 2140 HAS SOUS 1535 HAS SOUPS 1535 WITH SCORE 1537.14
AT ITER 3418 NEW BEST:: SOT 4996 SOS 2139 HAS SOPS 2139 HAS SOUS 1534 HAS SOUPS 1534 WITH SCORE 1536.139
AT ITER 3451 NEW BEST:: SOT 4987 SOS 2135 HAS SOPS 2135 HAS SOUS 1533 HAS SOUPS 1533 WITH SCORE 1535.135
AT ITER 3455 NEW BEST:: SOT 4983 SOS 2130 HAS SOPS 2130 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1530.13
AT ITER 3476 NEW BEST:: SOT 4983 SOS 2128 HAS SOPS 2128 HAS SOUS 1526 HAS SOUPS 1526 WITH SCORE 1528.128
AT ITER 3573 NEW BEST:: SOT 4982 SOS 2126 HAS SOPS 2126 HAS SOUS 1524 HAS SOUPS 1524 WITH SCORE 1526.126
AT ITER 3599 NEW BEST:: SOT 4970 SOS 2114 HAS SOPS 2114 HAS SOUS 1520 HAS SOUPS 1520 WITH SCORE 1522.114
AT ITER 3663 NEW BEST:: SOT 4967 SOS 2112 HAS SOPS 2112 HAS SOUS 1519 HAS SOUPS 1519 WITH SCORE 1521.112
AT ITER 3670 NEW BEST:: SOT 4973 SOS 2110 HAS SOPS 2110 HAS SOUS 1517 HAS SOUPS 1517 WITH SCORE 1519.11
AT ITER 3772 NEW BEST:: SOT 4969 SOS 2091 HAS SOPS 2091 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1515.091
AT ITER 3785 NEW BEST:: SOT 4969 SOS 2089 HAS SOPS 2089 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1515.089
AT ITER 3855 NEW BEST:: SOT 4969 SOS 2086 HAS SOPS 2086 HAS SOUS 1512 HAS SOUPS 1512 WITH SCORE 1514.086
AT ITER 3884 NEW BEST:: SOT 4960 SOS 2077 HAS SOPS 2077 HAS SOUS 1509 HAS SOUPS 1509 WITH SCORE 1511.077
AT ITER 3905 NEW BEST:: SOT 4961 SOS 2075 HAS SOPS 2075 HAS SOUS 1507 HAS SOUPS 1507 WITH SCORE 1509.075
AT ITER 3958 NEW BEST:: SOT 4958 SOS 2071 HAS SOPS 2071 HAS SOUS 1503 HAS SOUPS 1503 WITH SCORE 1505.071
AT ITER 3970 NEW BEST:: SOT 4954 SOS 2062 HAS SOPS 2062 HAS SOUS 1494 HAS SOUPS 1494 WITH SCORE 1496.062
AT ITER 3994 NEW BEST:: SOT 4951 SOS 2052 HAS SOPS 2052 HAS SOUS 1490 HAS SOUPS 1490 WITH SCORE 1492.052
AT ITER 4019 NEW BEST:: SOT 4951 SOS 2051 HAS SOPS 2051 HAS SOUS 1489 HAS SOUPS 1489 WITH SCORE 1491.051
AT ITER 4038 NEW BEST:: SOT 4955 SOS 2050 HAS SOPS 2050 HAS SOUS 1488 HAS SOUPS 1488 WITH SCORE 1490.05
AT ITER 4040 NEW BEST:: SOT 4949 SOS 2049 HAS SOPS 2049 HAS SOUS 1483 HAS SOUPS 1483 WITH SCORE 1485.049
AT ITER 4044 NEW BEST:: SOT 4964 SOS 2059 HAS SOPS 2059 HAS SOUS 1481 HAS SOUPS 1481 WITH SCORE 1483.059
AT ITER 4087 NEW BEST:: SOT 4964 SOS 2050 HAS SOPS 2050 HAS SOUS 1476 HAS SOUPS 1476 WITH SCORE 1478.05
AT ITER 4117 NEW BEST:: SOT 4968 SOS 2063 HAS SOPS 2063 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1466.063
AT ITER 4123 NEW BEST:: SOT 4967 SOS 2062 HAS SOPS 2062 HAS SOUS 1463 HAS SOUPS 1463 WITH SCORE 1465.062
AT ITER 4124 NEW BEST:: SOT 4962 SOS 2062 HAS SOPS 2062 HAS SOUS 1458 HAS SOUPS 1458 WITH SCORE 1460.062
AT ITER 4144 NEW BEST:: SOT 4958 SOS 2053 HAS SOPS 2053 HAS SOUS 1449 HAS SOUPS 1449 WITH SCORE 1451.053
AT ITER 4158 NEW BEST:: SOT 4958 SOS 2038 HAS SOPS 2038 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1448.038
AT ITER 4271 NEW BEST:: SOT 4957 SOS 2037 HAS SOPS 2037 HAS SOUS 1445 HAS SOUPS 1445 WITH SCORE 1447.037
AT ITER 4282 NEW BEST:: SOT 4949 SOS 2027 HAS SOPS 2027 HAS SOUS 1438 HAS SOUPS 1438 WITH SCORE 1440.027
AT ITER 4308 NEW BEST:: SOT 4945 SOS 2023 HAS SOPS 2023 HAS SOUS 1438 HAS SOUPS 1438 WITH SCORE 1440.023
AT ITER 4312 NEW BEST:: SOT 4942 SOS 2019 HAS SOPS 2019 HAS SOUS 1435 HAS SOUPS 1435 WITH SCORE 1437.019
AT ITER 4313 NEW BEST:: SOT 4941 SOS 2017 HAS SOPS 2017 HAS SOUS 1433 HAS SOUPS 1433 WITH SCORE 1435.017
AT ITER 4332 NEW BEST:: SOT 4943 SOS 2017 HAS SOPS 2017 HAS SOUS 1431 HAS SOUPS 1431 WITH SCORE 1433.017
AT ITER 4380 NEW BEST:: SOT 4940 SOS 2013 HAS SOPS 2013 HAS SOUS 1428 HAS SOUPS 1428 WITH SCORE 1430.013
AT ITER 4477 NEW BEST:: SOT 4939 SOS 2012 HAS SOPS 2012 HAS SOUS 1427 HAS SOUPS 1427 WITH SCORE 1429.012
AT ITER 4478 NEW BEST:: SOT 4939 SOS 1998 HAS SOPS 1998 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1418.998
AT ITER 4514 NEW BEST:: SOT 4924 SOS 1993 HAS SOPS 1993 HAS SOUS 1416 HAS SOUPS 1416 WITH SCORE 1417.993
AT ITER 4522 NEW BEST:: SOT 4922 SOS 1990 HAS SOPS 1990 HAS SOUS 1413 HAS SOUPS 1413 WITH SCORE 1414.99
AT ITER 4528 NEW BEST:: SOT 4921 SOS 1989 HAS SOPS 1989 HAS SOUS 1413 HAS SOUPS 1413 WITH SCORE 1414.989
AT ITER 4627 NEW BEST:: SOT 4918 SOS 1986 HAS SOPS 1986 HAS SOUS 1410 HAS SOUPS 1410 WITH SCORE 1411.986
AT ITER 4757 NEW BEST:: SOT 4912 SOS 1977 HAS SOPS 1977 HAS SOUS 1401 HAS SOUPS 1401 WITH SCORE 1402.977
AT ITER 4762 NEW BEST:: SOT 4912 SOS 1976 HAS SOPS 1976 HAS SOUS 1400 HAS SOUPS 1400 WITH SCORE 1401.976
AT ITER 4792 NEW BEST:: SOT 4918 SOS 1973 HAS SOPS 1973 HAS SOUS 1397 HAS SOUPS 1397 WITH SCORE 1398.973
AT ITER 4809 NEW BEST:: SOT 4916 SOS 1971 HAS SOPS 1971 HAS SOUS 1395 HAS SOUPS 1395 WITH SCORE 1396.971
AT ITER 4878 NEW BEST:: SOT 4910 SOS 1973 HAS SOPS 1973 HAS SOUS 1391 HAS SOUPS 1391 WITH SCORE 1392.973
AT ITER 4912 NEW BEST:: SOT 4897 SOS 1965 HAS SOPS 1965 HAS SOUS 1385 HAS SOUPS 1385 WITH SCORE 1386.965
AT ITER 5047 NEW BEST:: SOT 4896 SOS 1963 HAS SOPS 1963 HAS SOUS 1383 HAS SOUPS 1383 WITH SCORE 1384.963
AT ITER 5120 NEW BEST:: SOT 4895 SOS 1962 HAS SOPS 1962 HAS SOUS 1382 HAS SOUPS 1382 WITH SCORE 1383.962
AT ITER 5123 NEW BEST:: SOT 4895 SOS 1958 HAS SOPS 1958 HAS SOUS 1378 HAS SOUPS 1378 WITH SCORE 1379.958
AT ITER 5135 NEW BEST:: SOT 4896 SOS 1951 HAS SOPS 1951 HAS SOUS 1369 HAS SOUPS 1369 WITH SCORE 1370.951
AT ITER 5276 NEW BEST:: SOT 4895 SOS 1951 HAS SOPS 1951 HAS SOUS 1368 HAS SOUPS 1368 WITH SCORE 1369.951
AT ITER 5346 NEW BEST:: SOT 4895 SOS 1949 HAS SOPS 1949 HAS SOUS 1366 HAS SOUPS 1366 WITH SCORE 1367.949
AT ITER 5380 NEW BEST:: SOT 4892 SOS 1946 HAS SOPS 1946 HAS SOUS 1363 HAS SOUPS 1363 WITH SCORE 1364.946
AT ITER 5410 NEW BEST:: SOT 4892 SOS 1930 HAS SOPS 1930 HAS SOUS 1349 HAS SOUPS 1349 WITH SCORE 1350.93
AT ITER 5416 NEW BEST:: SOT 4886 SOS 1924 HAS SOPS 1924 HAS SOUS 1343 HAS SOUPS 1343 WITH SCORE 1344.924
AT ITER 5480 NEW BEST:: SOT 4886 SOS 1932 HAS SOPS 1932 HAS SOUS 1341 HAS SOUPS 1341 WITH SCORE 1342.932
AT ITER 5697 NEW BEST:: SOT 4876 SOS 1950 HAS SOPS 1950 HAS SOUS 1339 HAS SOUPS 1339 WITH SCORE 1340.95
AT ITER 5708 NEW BEST:: SOT 4868 SOS 1942 HAS SOPS 1942 HAS SOUS 1339 HAS SOUPS 1339 WITH SCORE 1340.942
AT ITER 5772 NEW BEST:: SOT 4868 SOS 1935 HAS SOPS 1935 HAS SOUS 1332 HAS SOUPS 1332 WITH SCORE 1333.935
AT ITER 5986 NEW BEST:: SOT 4863 SOS 1929 HAS SOPS 1929 HAS SOUS 1330 HAS SOUPS 1330 WITH SCORE 1331.929
AT ITER 6055 NEW BEST:: SOT 4861 SOS 1928 HAS SOPS 1928 HAS SOUS 1329 HAS SOUPS 1329 WITH SCORE 1330.928
AT ITER 6121 NEW BEST:: SOT 4859 SOS 1926 HAS SOPS 1926 HAS SOUS 1327 HAS SOUPS 1327 WITH SCORE 1328.926
AT ITER 6273 NEW BEST:: SOT 4859 SOS 1917 HAS SOPS 1917 HAS SOUS 1318 HAS SOUPS 1318 WITH SCORE 1319.917
AT ITER 6324 NEW BEST:: SOT 4859 SOS 1915 HAS SOPS 1915 HAS SOUS 1316 HAS SOUPS 1316 WITH SCORE 1317.915
AT ITER 6463 NEW BEST:: SOT 4859 SOS 1914 HAS SOPS 1914 HAS SOUS 1315 HAS SOUPS 1315 WITH SCORE 1316.914
AT ITER 6476 NEW BEST:: SOT 4856 SOS 1911 HAS SOPS 1911 HAS SOUS 1312 HAS SOUPS 1312 WITH SCORE 1313.911
AT ITER 6495 NEW BEST:: SOT 4856 SOS 1899 HAS SOPS 1899 HAS SOUS 1310 HAS SOUPS 1310 WITH SCORE 1311.899
AT ITER 6563 NEW BEST:: SOT 4852 SOS 1877 HAS SOPS 1877 HAS SOUS 1305 HAS SOUPS 1305 WITH SCORE 1306.877
AT ITER 6692 NEW BEST:: SOT 4851 SOS 1876 HAS SOPS 1876 HAS SOUS 1304 HAS SOUPS 1304 WITH SCORE 1305.876
AT ITER 6939 NEW BEST:: SOT 4848 SOS 1871 HAS SOPS 1871 HAS SOUS 1301 HAS SOUPS 1301 WITH SCORE 1302.871
AT ITER 6948 NEW BEST:: SOT 4847 SOS 1867 HAS SOPS 1867 HAS SOUS 1298 HAS SOUPS 1298 WITH SCORE 1299.867
AT ITER 6980 NEW BEST:: SOT 4847 SOS 1866 HAS SOPS 1866 HAS SOUS 1297 HAS SOUPS 1297 WITH SCORE 1298.866
AT ITER 6990 NEW BEST:: SOT 4846 SOS 1865 HAS SOPS 1865 HAS SOUS 1296 HAS SOUPS 1296 WITH SCORE 1297.865
AT ITER 7018 NEW BEST:: SOT 4835 SOS 1852 HAS SOPS 1852 HAS SOUS 1283 HAS SOUPS 1283 WITH SCORE 1284.852
AT ITER 7120 NEW BEST:: SOT 4830 SOS 1845 HAS SOPS 1845 HAS SOUS 1276 HAS SOUPS 1276 WITH SCORE 1277.845
AT ITER 7365 NEW BEST:: SOT 4830 SOS 1844 HAS SOPS 1844 HAS SOUS 1275 HAS SOUPS 1275 WITH SCORE 1276.844
AT ITER 7466 NEW BEST:: SOT 4829 SOS 1838 HAS SOPS 1838 HAS SOUS 1274 HAS SOUPS 1274 WITH SCORE 1275.838
AT ITER 7528 NEW BEST:: SOT 4829 SOS 1837 HAS SOPS 1837 HAS SOUS 1273 HAS SOUPS 1273 WITH SCORE 1274.837
AT ITER 7636 NEW BEST:: SOT 4826 SOS 1831 HAS SOPS 1831 HAS SOUS 1267 HAS SOUPS 1267 WITH SCORE 1268.831
AT ITER 7689 NEW BEST:: SOT 4824 SOS 1830 HAS SOPS 1830 HAS SOUS 1266 HAS SOUPS 1266 WITH SCORE 1267.83
AT ITER 7776 NEW BEST:: SOT 4828 SOS 1829 HAS SOPS 1829 HAS SOUS 1266 HAS SOUPS 1266 WITH SCORE 1267.829
AT ITER 7810 NEW BEST:: SOT 4828 SOS 1828 HAS SOPS 1828 HAS SOUS 1264 HAS SOUPS 1264 WITH SCORE 1265.828
AT ITER 7858 NEW BEST:: SOT 4827 SOS 1825 HAS SOPS 1825 HAS SOUS 1261 HAS SOUPS 1261 WITH SCORE 1262.825
AT ITER 7864 NEW BEST:: SOT 4823 SOS 1819 HAS SOPS 1819 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1256.819
AT ITER 7979 NEW BEST:: SOT 4823 SOS 1818 HAS SOPS 1818 HAS SOUS 1254 HAS SOUPS 1254 WITH SCORE 1255.818
AT ITER 7985 NEW BEST:: SOT 4819 SOS 1810 HAS SOPS 1810 HAS SOUS 1246 HAS SOUPS 1246 WITH SCORE 1247.81
AT ITER 8037 NEW BEST:: SOT 4813 SOS 1804 HAS SOPS 1804 HAS SOUS 1240 HAS SOUPS 1240 WITH SCORE 1241.804
AT ITER 8234 NEW BEST:: SOT 4814 SOS 1800 HAS SOPS 1800 HAS SOUS 1238 HAS SOUPS 1238 WITH SCORE 1239.8
AT ITER 8256 NEW BEST:: SOT 4811 SOS 1796 HAS SOPS 1796 HAS SOUS 1234 HAS SOUPS 1234 WITH SCORE 1235.796
AT ITER 8355 NEW BEST:: SOT 4813 SOS 1794 HAS SOPS 1794 HAS SOUS 1232 HAS SOUPS 1232 WITH SCORE 1233.794
AT ITER 8418 NEW BEST:: SOT 4812 SOS 1793 HAS SOPS 1793 HAS SOUS 1231 HAS SOUPS 1231 WITH SCORE 1232.793
AT ITER 8696 NEW BEST:: SOT 4812 SOS 1791 HAS SOPS 1791 HAS SOUS 1229 HAS SOUPS 1229 WITH SCORE 1230.791
AT ITER 8701 NEW BEST:: SOT 4812 SOS 1790 HAS SOPS 1790 HAS SOUS 1228 HAS SOUPS 1228 WITH SCORE 1229.79
AT ITER 8886 NEW BEST:: SOT 4811 SOS 1789 HAS SOPS 1789 HAS SOUS 1226 HAS SOUPS 1226 WITH SCORE 1227.789
AT ITER 9262 NEW BEST:: SOT 4811 SOS 1787 HAS SOPS 1787 HAS SOUS 1224 HAS SOUPS 1224 WITH SCORE 1225.787
AT ITER 9479 NEW BEST:: SOT 4807 SOS 1785 HAS SOPS 1785 HAS SOUS 1222 HAS SOUPS 1222 WITH SCORE 1223.785
AT ITER 9552 NEW BEST:: SOT 4807 SOS 1780 HAS SOPS 1780 HAS SOUS 1221 HAS SOUPS 1221 WITH SCORE 1222.78
AT ITER 9626 NEW BEST:: SOT 4806 SOS 1779 HAS SOPS 1779 HAS SOUS 1220 HAS SOUPS 1220 WITH SCORE 1221.779
AT ITER 9760 NEW BEST:: SOT 4806 SOS 1778 HAS SOPS 1778 HAS SOUS 1219 HAS SOUPS 1219 WITH SCORE 1220.778
AT ITER 9798 NEW BEST:: SOT 4806 SOS 1776 HAS SOPS 1776 HAS SOUS 1217 HAS SOUPS 1217 WITH SCORE 1218.776
AT ITER 9889 NEW BEST:: SOT 4807 SOS 1775 HAS SOPS 1775 HAS SOUS 1216 HAS SOUPS 1216 WITH SCORE 1217.775
AT ITER 9890 NEW BEST:: SOT 4806 SOS 1774 HAS SOPS 1774 HAS SOUS 1215 HAS SOUPS 1215 WITH SCORE 1216.774
AT ITER 9951 NEW BEST:: SOT 4806 SOS 1772 HAS SOPS 1772 HAS SOUS 1214 HAS SOUPS 1214 WITH SCORE 1215.772
AT ITER 9964 NEW BEST:: SOT 4806 SOS 1771 HAS SOPS 1771 HAS SOUS 1214 HAS SOUPS 1214 WITH SCORE 1215.771
STATE_SPACE STATES 108580356 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 48 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1213429339 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678367148700

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DES-PT-01a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484100368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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