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-167814484100352.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-00a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484100352
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 6.9K Feb 26 15:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 15:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Feb 26 15:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 32K Feb 26 15:45 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:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 26 15:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 15:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 15:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:49 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 31K 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 1678366836976

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-00a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 13:00:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 13:00:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 13:00:38] [INFO ] Load time of PNML (sax parser for PT used): 36 ms
[2023-03-09 13:00:38] [INFO ] Transformed 115 places.
[2023-03-09 13:00:38] [INFO ] Transformed 76 transitions.
[2023-03-09 13:00:38] [INFO ] Found NUPN structural information;
[2023-03-09 13:00:38] [INFO ] Parsed PT model containing 115 places and 76 transitions and 373 arcs in 94 ms.
[2023-03-09 13:00:38] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 115 places, 76 transitions and 373 arcs took 9 ms.
Total runtime 131 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 00a
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: 115 places, 76 transitions, 373 arcs.
AT ITER 0 NEW BEST:: SOT 6476 SOS 4897 HAS SOPS 4897 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.897
AT ITER 4 NEW BEST:: SOT 6419 SOS 4793 HAS SOPS 4793 HAS SOUS 3642 HAS SOUPS 3642 WITH SCORE 3646.793
AT ITER 7 NEW BEST:: SOT 6419 SOS 4791 HAS SOPS 4791 HAS SOUS 3640 HAS SOUPS 3640 WITH SCORE 3644.791
AT ITER 15 NEW BEST:: SOT 6419 SOS 4790 HAS SOPS 4790 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3643.79
AT ITER 23 NEW BEST:: SOT 6334 SOS 4777 HAS SOPS 4777 HAS SOUS 3626 HAS SOUPS 3626 WITH SCORE 3630.777
AT ITER 25 NEW BEST:: SOT 6331 SOS 4766 HAS SOPS 4766 HAS SOUS 3615 HAS SOUPS 3615 WITH SCORE 3619.766
AT ITER 26 NEW BEST:: SOT 6285 SOS 4716 HAS SOPS 4716 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3569.716
AT ITER 33 NEW BEST:: SOT 6276 SOS 4711 HAS SOPS 4711 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3565.711
AT ITER 37 NEW BEST:: SOT 6276 SOS 4710 HAS SOPS 4710 HAS SOUS 3560 HAS SOUPS 3560 WITH SCORE 3564.71
AT ITER 38 NEW BEST:: SOT 6224 SOS 4651 HAS SOPS 4651 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3500.651
AT ITER 46 NEW BEST:: SOT 6221 SOS 4648 HAS SOPS 4648 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3497.648
AT ITER 48 NEW BEST:: SOT 6169 SOS 4600 HAS SOPS 4600 HAS SOUS 3449 HAS SOUPS 3449 WITH SCORE 3453.6
AT ITER 59 NEW BEST:: SOT 6164 SOS 4595 HAS SOPS 4595 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3448.595
AT ITER 61 NEW BEST:: SOT 6143 SOS 4594 HAS SOPS 4594 HAS SOUS 3392 HAS SOUPS 3392 WITH SCORE 3396.594
AT ITER 64 NEW BEST:: SOT 6144 SOS 4570 HAS SOPS 4570 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3369.57
AT ITER 68 NEW BEST:: SOT 6128 SOS 4532 HAS SOPS 4532 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3331.532
AT ITER 69 NEW BEST:: SOT 6082 SOS 4504 HAS SOPS 4504 HAS SOUS 3299 HAS SOUPS 3299 WITH SCORE 3303.504
AT ITER 71 NEW BEST:: SOT 6082 SOS 4488 HAS SOPS 4488 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3296.488
AT ITER 73 NEW BEST:: SOT 6004 SOS 4422 HAS SOPS 4422 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3230.422
AT ITER 74 NEW BEST:: SOT 6010 SOS 4419 HAS SOPS 4419 HAS SOUS 3223 HAS SOUPS 3223 WITH SCORE 3227.419
AT ITER 75 NEW BEST:: SOT 6028 SOS 4370 HAS SOPS 4370 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3188.37
AT ITER 77 NEW BEST:: SOT 6025 SOS 4361 HAS SOPS 4361 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3179.361
AT ITER 81 NEW BEST:: SOT 5992 SOS 4334 HAS SOPS 4334 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3163.334
AT ITER 83 NEW BEST:: SOT 5987 SOS 4329 HAS SOPS 4329 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3158.329
AT ITER 93 NEW BEST:: SOT 5960 SOS 4302 HAS SOPS 4302 HAS SOUS 3127 HAS SOUPS 3127 WITH SCORE 3131.302
AT ITER 95 NEW BEST:: SOT 5935 SOS 4257 HAS SOPS 4257 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3086.257
AT ITER 108 NEW BEST:: SOT 5863 SOS 4161 HAS SOPS 4161 HAS SOUS 3034 HAS SOUPS 3034 WITH SCORE 3038.161
AT ITER 125 NEW BEST:: SOT 5788 SOS 4079 HAS SOPS 4079 HAS SOUS 3002 HAS SOUPS 3002 WITH SCORE 3006.079
AT ITER 129 NEW BEST:: SOT 5788 SOS 4076 HAS SOPS 4076 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3003.076
AT ITER 132 NEW BEST:: SOT 5788 SOS 4074 HAS SOPS 4074 HAS SOUS 2986 HAS SOUPS 2986 WITH SCORE 2990.074
AT ITER 133 NEW BEST:: SOT 5786 SOS 4072 HAS SOPS 4072 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2988.072
AT ITER 139 NEW BEST:: SOT 5794 SOS 4064 HAS SOPS 4064 HAS SOUS 2976 HAS SOUPS 2976 WITH SCORE 2980.064
AT ITER 151 NEW BEST:: SOT 5786 SOS 4058 HAS SOPS 4058 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2974.058
AT ITER 152 NEW BEST:: SOT 5802 SOS 4071 HAS SOPS 4071 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2971.071
AT ITER 153 NEW BEST:: SOT 5823 SOS 4069 HAS SOPS 4069 HAS SOUS 2965 HAS SOUPS 2965 WITH SCORE 2969.069
AT ITER 154 NEW BEST:: SOT 5815 SOS 4065 HAS SOPS 4065 HAS SOUS 2961 HAS SOUPS 2961 WITH SCORE 2965.065
AT ITER 157 NEW BEST:: SOT 5809 SOS 4062 HAS SOPS 4062 HAS SOUS 2951 HAS SOUPS 2951 WITH SCORE 2955.062
AT ITER 160 NEW BEST:: SOT 5809 SOS 4032 HAS SOPS 4032 HAS SOUS 2921 HAS SOUPS 2921 WITH SCORE 2925.032
AT ITER 165 NEW BEST:: SOT 5805 SOS 4028 HAS SOPS 4028 HAS SOUS 2917 HAS SOUPS 2917 WITH SCORE 2921.028
AT ITER 166 NEW BEST:: SOT 5803 SOS 4026 HAS SOPS 4026 HAS SOUS 2915 HAS SOUPS 2915 WITH SCORE 2919.026
AT ITER 167 NEW BEST:: SOT 5781 SOS 4004 HAS SOPS 4004 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2897.004
AT ITER 181 NEW BEST:: SOT 5781 SOS 3994 HAS SOPS 3994 HAS SOUS 2883 HAS SOUPS 2883 WITH SCORE 2886.994
AT ITER 187 NEW BEST:: SOT 5774 SOS 3980 HAS SOPS 3980 HAS SOUS 2883 HAS SOUPS 2883 WITH SCORE 2886.98
AT ITER 191 NEW BEST:: SOT 5768 SOS 3974 HAS SOPS 3974 HAS SOUS 2877 HAS SOUPS 2877 WITH SCORE 2880.974
AT ITER 192 NEW BEST:: SOT 5767 SOS 3971 HAS SOPS 3971 HAS SOUS 2874 HAS SOUPS 2874 WITH SCORE 2877.971
AT ITER 194 NEW BEST:: SOT 5750 SOS 3954 HAS SOPS 3954 HAS SOUS 2857 HAS SOUPS 2857 WITH SCORE 2860.954
AT ITER 199 NEW BEST:: SOT 5661 SOS 3821 HAS SOPS 3821 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2727.821
AT ITER 208 NEW BEST:: SOT 5601 SOS 3824 HAS SOPS 3824 HAS SOUS 2713 HAS SOUPS 2713 WITH SCORE 2716.824
AT ITER 213 NEW BEST:: SOT 5575 SOS 3784 HAS SOPS 3784 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2676.784
AT ITER 220 NEW BEST:: SOT 5544 SOS 3719 HAS SOPS 3719 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2611.719
AT ITER 227 NEW BEST:: SOT 5540 SOS 3716 HAS SOPS 3716 HAS SOUS 2605 HAS SOUPS 2605 WITH SCORE 2608.716
AT ITER 241 NEW BEST:: SOT 5582 SOS 3699 HAS SOPS 3699 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2591.699
AT ITER 243 NEW BEST:: SOT 5580 SOS 3697 HAS SOPS 3697 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2589.697
AT ITER 247 NEW BEST:: SOT 5530 SOS 3641 HAS SOPS 3641 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2571.641
AT ITER 248 NEW BEST:: SOT 5514 SOS 3625 HAS SOPS 3625 HAS SOUS 2552 HAS SOUPS 2552 WITH SCORE 2555.625
AT ITER 289 NEW BEST:: SOT 5514 SOS 3624 HAS SOPS 3624 HAS SOUS 2551 HAS SOUPS 2551 WITH SCORE 2554.624
AT ITER 292 NEW BEST:: SOT 5500 SOS 3610 HAS SOPS 3610 HAS SOUS 2537 HAS SOUPS 2537 WITH SCORE 2540.61
AT ITER 296 NEW BEST:: SOT 5500 SOS 3609 HAS SOPS 3609 HAS SOUS 2536 HAS SOUPS 2536 WITH SCORE 2539.609
AT ITER 311 NEW BEST:: SOT 5500 SOS 3608 HAS SOPS 3608 HAS SOUS 2535 HAS SOUPS 2535 WITH SCORE 2538.608
AT ITER 327 NEW BEST:: SOT 5485 SOS 3603 HAS SOPS 3603 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2533.603
AT ITER 329 NEW BEST:: SOT 5480 SOS 3598 HAS SOPS 3598 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2528.598
AT ITER 330 NEW BEST:: SOT 5480 SOS 3593 HAS SOPS 3593 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2523.593
AT ITER 331 NEW BEST:: SOT 5475 SOS 3588 HAS SOPS 3588 HAS SOUS 2515 HAS SOUPS 2515 WITH SCORE 2518.588
AT ITER 346 NEW BEST:: SOT 5470 SOS 3578 HAS SOPS 3578 HAS SOUS 2505 HAS SOUPS 2505 WITH SCORE 2508.578
AT ITER 353 NEW BEST:: SOT 5457 SOS 3563 HAS SOPS 3563 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2493.563
AT ITER 359 NEW BEST:: SOT 5450 SOS 3548 HAS SOPS 3548 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2478.548
AT ITER 372 NEW BEST:: SOT 5449 SOS 3547 HAS SOPS 3547 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2477.547
AT ITER 375 NEW BEST:: SOT 5448 SOS 3525 HAS SOPS 3525 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2461.525
AT ITER 377 NEW BEST:: SOT 5494 SOS 3454 HAS SOPS 3454 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2458.454
AT ITER 393 NEW BEST:: SOT 5488 SOS 3440 HAS SOPS 3440 HAS SOUS 2441 HAS SOUPS 2441 WITH SCORE 2444.44
AT ITER 399 NEW BEST:: SOT 5459 SOS 3393 HAS SOPS 3393 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2397.393
AT ITER 402 NEW BEST:: SOT 5459 SOS 3392 HAS SOPS 3392 HAS SOUS 2393 HAS SOUPS 2393 WITH SCORE 2396.392
AT ITER 412 NEW BEST:: SOT 5456 SOS 3389 HAS SOPS 3389 HAS SOUS 2391 HAS SOUPS 2391 WITH SCORE 2394.389
AT ITER 414 NEW BEST:: SOT 5456 SOS 3382 HAS SOPS 3382 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2387.382
AT ITER 426 NEW BEST:: SOT 5451 SOS 3372 HAS SOPS 3372 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2377.372
AT ITER 427 NEW BEST:: SOT 5449 SOS 3369 HAS SOPS 3369 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2376.369
AT ITER 434 NEW BEST:: SOT 5449 SOS 3368 HAS SOPS 3368 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2375.368
AT ITER 458 NEW BEST:: SOT 5447 SOS 3351 HAS SOPS 3351 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2358.351
AT ITER 459 NEW BEST:: SOT 5437 SOS 3341 HAS SOPS 3341 HAS SOUS 2345 HAS SOUPS 2345 WITH SCORE 2348.341
AT ITER 463 NEW BEST:: SOT 5427 SOS 3331 HAS SOPS 3331 HAS SOUS 2335 HAS SOUPS 2335 WITH SCORE 2338.331
AT ITER 471 NEW BEST:: SOT 5427 SOS 3303 HAS SOPS 3303 HAS SOUS 2335 HAS SOUPS 2335 WITH SCORE 2338.303
AT ITER 487 NEW BEST:: SOT 5427 SOS 3298 HAS SOPS 3298 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2336.298
AT ITER 488 NEW BEST:: SOT 5417 SOS 3288 HAS SOPS 3288 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2336.288
AT ITER 497 NEW BEST:: SOT 5416 SOS 3287 HAS SOPS 3287 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2335.287
AT ITER 502 NEW BEST:: SOT 5405 SOS 3270 HAS SOPS 3270 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2318.27
AT ITER 503 NEW BEST:: SOT 5405 SOS 3251 HAS SOPS 3251 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2318.251
AT ITER 517 NEW BEST:: SOT 5407 SOS 3246 HAS SOPS 3246 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2313.246
AT ITER 528 NEW BEST:: SOT 5407 SOS 3241 HAS SOPS 3241 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2308.241
AT ITER 532 NEW BEST:: SOT 5307 SOS 3141 HAS SOPS 3141 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2288.141
AT ITER 541 NEW BEST:: SOT 5301 SOS 3114 HAS SOPS 3114 HAS SOUS 2258 HAS SOUPS 2258 WITH SCORE 2261.114
AT ITER 546 NEW BEST:: SOT 5268 SOS 3028 HAS SOPS 3028 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2250.028
AT ITER 549 NEW BEST:: SOT 5249 SOS 3005 HAS SOPS 3005 HAS SOUS 2227 HAS SOUPS 2227 WITH SCORE 2230.005
AT ITER 559 NEW BEST:: SOT 5249 SOS 3004 HAS SOPS 3004 HAS SOUS 2226 HAS SOUPS 2226 WITH SCORE 2229.004
AT ITER 566 NEW BEST:: SOT 5230 SOS 2993 HAS SOPS 2993 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2217.993
AT ITER 571 NEW BEST:: SOT 5224 SOS 2986 HAS SOPS 2986 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2210.986
AT ITER 596 NEW BEST:: SOT 5213 SOS 2969 HAS SOPS 2969 HAS SOUS 2191 HAS SOUPS 2191 WITH SCORE 2193.969
AT ITER 606 NEW BEST:: SOT 5220 SOS 2968 HAS SOPS 2968 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2192.968
AT ITER 615 NEW BEST:: SOT 5205 SOS 2904 HAS SOPS 2904 HAS SOUS 2162 HAS SOUPS 2162 WITH SCORE 2164.904
AT ITER 619 NEW BEST:: SOT 5200 SOS 2901 HAS SOPS 2901 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2161.901
AT ITER 640 NEW BEST:: SOT 5198 SOS 2899 HAS SOPS 2899 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2159.899
AT ITER 652 NEW BEST:: SOT 5169 SOS 2853 HAS SOPS 2853 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2113.853
AT ITER 659 NEW BEST:: SOT 5162 SOS 2849 HAS SOPS 2849 HAS SOUS 2107 HAS SOUPS 2107 WITH SCORE 2109.849
AT ITER 670 NEW BEST:: SOT 5162 SOS 2837 HAS SOPS 2837 HAS SOUS 2107 HAS SOUPS 2107 WITH SCORE 2109.837
AT ITER 673 NEW BEST:: SOT 5156 SOS 2830 HAS SOPS 2830 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2102.83
AT ITER 678 NEW BEST:: SOT 5131 SOS 2795 HAS SOPS 2795 HAS SOUS 2065 HAS SOUPS 2065 WITH SCORE 2067.795
AT ITER 702 NEW BEST:: SOT 5120 SOS 2787 HAS SOPS 2787 HAS SOUS 2057 HAS SOUPS 2057 WITH SCORE 2059.787
AT ITER 709 NEW BEST:: SOT 5110 SOS 2759 HAS SOPS 2759 HAS SOUS 2029 HAS SOUPS 2029 WITH SCORE 2031.759
AT ITER 710 NEW BEST:: SOT 5106 SOS 2751 HAS SOPS 2751 HAS SOUS 2021 HAS SOUPS 2021 WITH SCORE 2023.751
AT ITER 754 NEW BEST:: SOT 5076 SOS 2720 HAS SOPS 2720 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1992.72
AT ITER 757 NEW BEST:: SOT 5068 SOS 2708 HAS SOPS 2708 HAS SOUS 1984 HAS SOUPS 1984 WITH SCORE 1986.708
AT ITER 784 NEW BEST:: SOT 5064 SOS 2702 HAS SOPS 2702 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1980.702
AT ITER 816 NEW BEST:: SOT 5064 SOS 2696 HAS SOPS 2696 HAS SOUS 1976 HAS SOUPS 1976 WITH SCORE 1978.696
AT ITER 817 NEW BEST:: SOT 5055 SOS 2690 HAS SOPS 2690 HAS SOUS 1970 HAS SOUPS 1970 WITH SCORE 1972.69
AT ITER 833 NEW BEST:: SOT 5045 SOS 2680 HAS SOPS 2680 HAS SOUS 1967 HAS SOUPS 1967 WITH SCORE 1969.68
AT ITER 845 NEW BEST:: SOT 5044 SOS 2677 HAS SOPS 2677 HAS SOUS 1967 HAS SOUPS 1967 WITH SCORE 1969.677
AT ITER 849 NEW BEST:: SOT 5044 SOS 2674 HAS SOPS 2674 HAS SOUS 1967 HAS SOUPS 1967 WITH SCORE 1969.674
AT ITER 853 NEW BEST:: SOT 5038 SOS 2660 HAS SOPS 2660 HAS SOUS 1953 HAS SOUPS 1953 WITH SCORE 1955.66
AT ITER 854 NEW BEST:: SOT 5022 SOS 2644 HAS SOPS 2644 HAS SOUS 1941 HAS SOUPS 1941 WITH SCORE 1943.644
AT ITER 878 NEW BEST:: SOT 5022 SOS 2640 HAS SOPS 2640 HAS SOUS 1941 HAS SOUPS 1941 WITH SCORE 1943.64
AT ITER 914 NEW BEST:: SOT 5019 SOS 2637 HAS SOPS 2637 HAS SOUS 1938 HAS SOUPS 1938 WITH SCORE 1940.637
AT ITER 918 NEW BEST:: SOT 5018 SOS 2636 HAS SOPS 2636 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1939.636
AT ITER 927 NEW BEST:: SOT 4990 SOS 2608 HAS SOPS 2608 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1939.608
AT ITER 949 NEW BEST:: SOT 4984 SOS 2601 HAS SOPS 2601 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1932.601
AT ITER 957 NEW BEST:: SOT 4984 SOS 2597 HAS SOPS 2597 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1928.597
AT ITER 965 NEW BEST:: SOT 4981 SOS 2594 HAS SOPS 2594 HAS SOUS 1923 HAS SOUPS 1923 WITH SCORE 1925.594
AT ITER 1012 NEW BEST:: SOT 4980 SOS 2593 HAS SOPS 2593 HAS SOUS 1922 HAS SOUPS 1922 WITH SCORE 1924.593
AT ITER 1030 NEW BEST:: SOT 4979 SOS 2592 HAS SOPS 2592 HAS SOUS 1921 HAS SOUPS 1921 WITH SCORE 1923.592
AT ITER 1031 NEW BEST:: SOT 4957 SOS 2574 HAS SOPS 2574 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1905.574
AT ITER 1032 NEW BEST:: SOT 4952 SOS 2563 HAS SOPS 2563 HAS SOUS 1892 HAS SOUPS 1892 WITH SCORE 1894.563
AT ITER 1033 NEW BEST:: SOT 4862 SOS 2473 HAS SOPS 2473 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1876.473
AT ITER 1035 NEW BEST:: SOT 4729 SOS 2332 HAS SOPS 2332 HAS SOUS 1849 HAS SOUPS 1849 WITH SCORE 1851.332
AT ITER 1054 NEW BEST:: SOT 4729 SOS 2327 HAS SOPS 2327 HAS SOUS 1846 HAS SOUPS 1846 WITH SCORE 1848.327
AT ITER 1068 NEW BEST:: SOT 4721 SOS 2319 HAS SOPS 2319 HAS SOUS 1838 HAS SOUPS 1838 WITH SCORE 1840.319
AT ITER 1078 NEW BEST:: SOT 4712 SOS 2290 HAS SOPS 2290 HAS SOUS 1822 HAS SOUPS 1822 WITH SCORE 1824.29
AT ITER 1094 NEW BEST:: SOT 4704 SOS 2282 HAS SOPS 2282 HAS SOUS 1814 HAS SOUPS 1814 WITH SCORE 1816.282
AT ITER 1110 NEW BEST:: SOT 4703 SOS 2281 HAS SOPS 2281 HAS SOUS 1813 HAS SOUPS 1813 WITH SCORE 1815.281
AT ITER 1166 NEW BEST:: SOT 4697 SOS 2269 HAS SOPS 2269 HAS SOUS 1801 HAS SOUPS 1801 WITH SCORE 1803.269
AT ITER 1171 NEW BEST:: SOT 4694 SOS 2275 HAS SOPS 2275 HAS SOUS 1798 HAS SOUPS 1798 WITH SCORE 1800.275
AT ITER 1207 NEW BEST:: SOT 4690 SOS 2271 HAS SOPS 2271 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1796.271
AT ITER 1208 NEW BEST:: SOT 4670 SOS 2251 HAS SOPS 2251 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1796.251
AT ITER 1215 NEW BEST:: SOT 4663 SOS 2235 HAS SOPS 2235 HAS SOUS 1778 HAS SOUPS 1778 WITH SCORE 1780.235
AT ITER 1240 NEW BEST:: SOT 4662 SOS 2234 HAS SOPS 2234 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1779.234
AT ITER 1254 NEW BEST:: SOT 4686 SOS 2219 HAS SOPS 2219 HAS SOUS 1773 HAS SOUPS 1773 WITH SCORE 1775.219
AT ITER 1261 NEW BEST:: SOT 4677 SOS 2200 HAS SOPS 2200 HAS SOUS 1749 HAS SOUPS 1749 WITH SCORE 1751.2
AT ITER 1271 NEW BEST:: SOT 4671 SOS 2177 HAS SOPS 2177 HAS SOUS 1726 HAS SOUPS 1726 WITH SCORE 1728.177
AT ITER 1274 NEW BEST:: SOT 4655 SOS 2159 HAS SOPS 2159 HAS SOUS 1708 HAS SOUPS 1708 WITH SCORE 1710.159
AT ITER 1279 NEW BEST:: SOT 4647 SOS 2109 HAS SOPS 2109 HAS SOUS 1698 HAS SOUPS 1698 WITH SCORE 1700.109
AT ITER 1282 NEW BEST:: SOT 4647 SOS 2105 HAS SOPS 2105 HAS SOUS 1691 HAS SOUPS 1691 WITH SCORE 1693.105
AT ITER 1295 NEW BEST:: SOT 4645 SOS 2103 HAS SOPS 2103 HAS SOUS 1689 HAS SOUPS 1689 WITH SCORE 1691.103
AT ITER 1299 NEW BEST:: SOT 4645 SOS 2112 HAS SOPS 2112 HAS SOUS 1686 HAS SOUPS 1686 WITH SCORE 1688.112
AT ITER 1307 NEW BEST:: SOT 4642 SOS 2109 HAS SOPS 2109 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1685.109
AT ITER 1339 NEW BEST:: SOT 4642 SOS 2104 HAS SOPS 2104 HAS SOUS 1678 HAS SOUPS 1678 WITH SCORE 1680.104
AT ITER 1351 NEW BEST:: SOT 4640 SOS 2102 HAS SOPS 2102 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1678.102
AT ITER 1371 NEW BEST:: SOT 4584 SOS 2028 HAS SOPS 2028 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1658.028
AT ITER 1394 NEW BEST:: SOT 4574 SOS 1997 HAS SOPS 1997 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1626.997
AT ITER 1397 NEW BEST:: SOT 4572 SOS 1986 HAS SOPS 1986 HAS SOUS 1622 HAS SOUPS 1622 WITH SCORE 1623.986
AT ITER 1402 NEW BEST:: SOT 4568 SOS 1980 HAS SOPS 1980 HAS SOUS 1616 HAS SOUPS 1616 WITH SCORE 1617.98
AT ITER 1403 NEW BEST:: SOT 4562 SOS 1977 HAS SOPS 1977 HAS SOUS 1615 HAS SOUPS 1615 WITH SCORE 1616.977
AT ITER 1404 NEW BEST:: SOT 4549 SOS 1964 HAS SOPS 1964 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1603.964
AT ITER 1412 NEW BEST:: SOT 4549 SOS 1967 HAS SOPS 1967 HAS SOUS 1601 HAS SOUPS 1601 WITH SCORE 1602.967
AT ITER 1416 NEW BEST:: SOT 4549 SOS 1966 HAS SOPS 1966 HAS SOUS 1600 HAS SOUPS 1600 WITH SCORE 1601.966
AT ITER 1452 NEW BEST:: SOT 4549 SOS 1964 HAS SOPS 1964 HAS SOUS 1600 HAS SOUPS 1600 WITH SCORE 1601.964
AT ITER 1524 NEW BEST:: SOT 4539 SOS 1951 HAS SOPS 1951 HAS SOUS 1595 HAS SOUPS 1595 WITH SCORE 1596.951
AT ITER 1564 NEW BEST:: SOT 4526 SOS 1938 HAS SOPS 1938 HAS SOUS 1585 HAS SOUPS 1585 WITH SCORE 1586.938
AT ITER 1573 NEW BEST:: SOT 4525 SOS 1925 HAS SOPS 1925 HAS SOUS 1572 HAS SOUPS 1572 WITH SCORE 1573.925
AT ITER 1617 NEW BEST:: SOT 4523 SOS 1887 HAS SOPS 1887 HAS SOUS 1564 HAS SOUPS 1564 WITH SCORE 1565.887
AT ITER 1660 NEW BEST:: SOT 4513 SOS 1876 HAS SOPS 1876 HAS SOUS 1553 HAS SOUPS 1553 WITH SCORE 1554.876
AT ITER 1672 NEW BEST:: SOT 4512 SOS 1874 HAS SOPS 1874 HAS SOUS 1551 HAS SOUPS 1551 WITH SCORE 1552.874
AT ITER 1688 NEW BEST:: SOT 4509 SOS 1871 HAS SOPS 1871 HAS SOUS 1548 HAS SOUPS 1548 WITH SCORE 1549.871
AT ITER 1701 NEW BEST:: SOT 4498 SOS 1860 HAS SOPS 1860 HAS SOUS 1537 HAS SOUPS 1537 WITH SCORE 1538.86
AT ITER 1728 NEW BEST:: SOT 4498 SOS 1859 HAS SOPS 1859 HAS SOUS 1536 HAS SOUPS 1536 WITH SCORE 1537.859
AT ITER 1743 NEW BEST:: SOT 4496 SOS 1857 HAS SOPS 1857 HAS SOUS 1534 HAS SOUPS 1534 WITH SCORE 1535.857
AT ITER 1752 NEW BEST:: SOT 4468 SOS 1829 HAS SOPS 1829 HAS SOUS 1534 HAS SOUPS 1534 WITH SCORE 1535.829
AT ITER 1758 NEW BEST:: SOT 4468 SOS 1824 HAS SOPS 1824 HAS SOUS 1529 HAS SOUPS 1529 WITH SCORE 1530.824
AT ITER 1775 NEW BEST:: SOT 4467 SOS 1823 HAS SOPS 1823 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1529.823
AT ITER 1783 NEW BEST:: SOT 4461 SOS 1817 HAS SOPS 1817 HAS SOUS 1522 HAS SOUPS 1522 WITH SCORE 1523.817
AT ITER 1802 NEW BEST:: SOT 4462 SOS 1802 HAS SOPS 1802 HAS SOUS 1520 HAS SOUPS 1520 WITH SCORE 1521.802
AT ITER 1831 NEW BEST:: SOT 4461 SOS 1801 HAS SOPS 1801 HAS SOUS 1519 HAS SOUPS 1519 WITH SCORE 1520.801
AT ITER 1837 NEW BEST:: SOT 4464 SOS 1794 HAS SOPS 1794 HAS SOUS 1512 HAS SOUPS 1512 WITH SCORE 1513.794
AT ITER 1841 NEW BEST:: SOT 4464 SOS 1793 HAS SOPS 1793 HAS SOUS 1511 HAS SOUPS 1511 WITH SCORE 1512.793
AT ITER 1863 NEW BEST:: SOT 4462 SOS 1791 HAS SOPS 1791 HAS SOUS 1511 HAS SOUPS 1511 WITH SCORE 1512.791
AT ITER 1889 NEW BEST:: SOT 4451 SOS 1766 HAS SOPS 1766 HAS SOUS 1486 HAS SOUPS 1486 WITH SCORE 1487.766
AT ITER 1902 NEW BEST:: SOT 4448 SOS 1761 HAS SOPS 1761 HAS SOUS 1484 HAS SOUPS 1484 WITH SCORE 1485.761
AT ITER 1926 NEW BEST:: SOT 4448 SOS 1754 HAS SOPS 1754 HAS SOUS 1477 HAS SOUPS 1477 WITH SCORE 1478.754
AT ITER 1949 NEW BEST:: SOT 4435 SOS 1743 HAS SOPS 1743 HAS SOUS 1465 HAS SOUPS 1465 WITH SCORE 1466.743
AT ITER 2015 NEW BEST:: SOT 4435 SOS 1741 HAS SOPS 1741 HAS SOUS 1463 HAS SOUPS 1463 WITH SCORE 1464.741
AT ITER 2035 NEW BEST:: SOT 4435 SOS 1739 HAS SOPS 1739 HAS SOUS 1463 HAS SOUPS 1463 WITH SCORE 1464.739
AT ITER 2053 NEW BEST:: SOT 4434 SOS 1738 HAS SOPS 1738 HAS SOUS 1462 HAS SOUPS 1462 WITH SCORE 1463.738
AT ITER 2088 NEW BEST:: SOT 4432 SOS 1736 HAS SOPS 1736 HAS SOUS 1460 HAS SOUPS 1460 WITH SCORE 1461.736
AT ITER 2114 NEW BEST:: SOT 4428 SOS 1730 HAS SOPS 1730 HAS SOUS 1455 HAS SOUPS 1455 WITH SCORE 1456.73
AT ITER 2193 NEW BEST:: SOT 4424 SOS 1726 HAS SOPS 1726 HAS SOUS 1451 HAS SOUPS 1451 WITH SCORE 1452.726
AT ITER 2198 NEW BEST:: SOT 4422 SOS 1723 HAS SOPS 1723 HAS SOUS 1448 HAS SOUPS 1448 WITH SCORE 1449.723
AT ITER 2219 NEW BEST:: SOT 4425 SOS 1735 HAS SOPS 1735 HAS SOUS 1447 HAS SOUPS 1447 WITH SCORE 1448.735
AT ITER 2290 NEW BEST:: SOT 4426 SOS 1734 HAS SOPS 1734 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1447.734
AT ITER 2339 NEW BEST:: SOT 4425 SOS 1731 HAS SOPS 1731 HAS SOUS 1443 HAS SOUPS 1443 WITH SCORE 1444.731
AT ITER 2406 NEW BEST:: SOT 4424 SOS 1730 HAS SOPS 1730 HAS SOUS 1442 HAS SOUPS 1442 WITH SCORE 1443.73
AT ITER 2408 NEW BEST:: SOT 4426 SOS 1734 HAS SOPS 1734 HAS SOUS 1441 HAS SOUPS 1441 WITH SCORE 1442.734
AT ITER 2416 NEW BEST:: SOT 4424 SOS 1725 HAS SOPS 1725 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1441.725
AT ITER 2478 NEW BEST:: SOT 4423 SOS 1724 HAS SOPS 1724 HAS SOUS 1439 HAS SOUPS 1439 WITH SCORE 1440.724
AT ITER 2486 NEW BEST:: SOT 4423 SOS 1722 HAS SOPS 1722 HAS SOUS 1437 HAS SOUPS 1437 WITH SCORE 1438.722
AT ITER 2514 NEW BEST:: SOT 4413 SOS 1726 HAS SOPS 1726 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1433.726
AT ITER 2534 NEW BEST:: SOT 4412 SOS 1725 HAS SOPS 1725 HAS SOUS 1431 HAS SOUPS 1431 WITH SCORE 1432.725
AT ITER 2587 NEW BEST:: SOT 4410 SOS 1717 HAS SOPS 1717 HAS SOUS 1423 HAS SOUPS 1423 WITH SCORE 1424.717
AT ITER 2627 NEW BEST:: SOT 4410 SOS 1715 HAS SOPS 1715 HAS SOUS 1422 HAS SOUPS 1422 WITH SCORE 1423.715
AT ITER 2743 NEW BEST:: SOT 4402 SOS 1707 HAS SOPS 1707 HAS SOUS 1414 HAS SOUPS 1414 WITH SCORE 1415.707
AT ITER 2750 NEW BEST:: SOT 4401 SOS 1705 HAS SOPS 1705 HAS SOUS 1413 HAS SOUPS 1413 WITH SCORE 1414.705
AT ITER 2774 NEW BEST:: SOT 4398 SOS 1699 HAS SOPS 1699 HAS SOUS 1407 HAS SOUPS 1407 WITH SCORE 1408.699
AT ITER 2786 NEW BEST:: SOT 4397 SOS 1698 HAS SOPS 1698 HAS SOUS 1406 HAS SOUPS 1406 WITH SCORE 1407.698
AT ITER 2799 NEW BEST:: SOT 4393 SOS 1693 HAS SOPS 1693 HAS SOUS 1401 HAS SOUPS 1401 WITH SCORE 1402.693
AT ITER 2825 NEW BEST:: SOT 4393 SOS 1692 HAS SOPS 1692 HAS SOUS 1400 HAS SOUPS 1400 WITH SCORE 1401.692
AT ITER 2851 NEW BEST:: SOT 4393 SOS 1690 HAS SOPS 1690 HAS SOUS 1398 HAS SOUPS 1398 WITH SCORE 1399.69
AT ITER 2904 NEW BEST:: SOT 4392 SOS 1686 HAS SOPS 1686 HAS SOUS 1394 HAS SOUPS 1394 WITH SCORE 1395.686
AT ITER 2923 NEW BEST:: SOT 4392 SOS 1684 HAS SOPS 1684 HAS SOUS 1394 HAS SOUPS 1394 WITH SCORE 1395.684
AT ITER 3097 NEW BEST:: SOT 4389 SOS 1679 HAS SOPS 1679 HAS SOUS 1389 HAS SOUPS 1389 WITH SCORE 1390.679
AT ITER 3102 NEW BEST:: SOT 4388 SOS 1677 HAS SOPS 1677 HAS SOUS 1387 HAS SOUPS 1387 WITH SCORE 1388.677
AT ITER 3127 NEW BEST:: SOT 4373 SOS 1662 HAS SOPS 1662 HAS SOUS 1384 HAS SOUPS 1384 WITH SCORE 1385.662
AT ITER 3134 NEW BEST:: SOT 4355 SOS 1641 HAS SOPS 1641 HAS SOUS 1379 HAS SOUPS 1379 WITH SCORE 1380.641
AT ITER 3165 NEW BEST:: SOT 4350 SOS 1634 HAS SOPS 1634 HAS SOUS 1372 HAS SOUPS 1372 WITH SCORE 1373.634
AT ITER 3192 NEW BEST:: SOT 4350 SOS 1633 HAS SOPS 1633 HAS SOUS 1371 HAS SOUPS 1371 WITH SCORE 1372.633
AT ITER 3205 NEW BEST:: SOT 4341 SOS 1624 HAS SOPS 1624 HAS SOUS 1362 HAS SOUPS 1362 WITH SCORE 1363.624
AT ITER 3273 NEW BEST:: SOT 4337 SOS 1619 HAS SOPS 1619 HAS SOUS 1357 HAS SOUPS 1357 WITH SCORE 1358.619
AT ITER 3426 NEW BEST:: SOT 4335 SOS 1616 HAS SOPS 1616 HAS SOUS 1354 HAS SOUPS 1354 WITH SCORE 1355.616
AT ITER 3479 NEW BEST:: SOT 4334 SOS 1612 HAS SOPS 1612 HAS SOUS 1351 HAS SOUPS 1351 WITH SCORE 1352.612
AT ITER 3490 NEW BEST:: SOT 4334 SOS 1607 HAS SOPS 1607 HAS SOUS 1346 HAS SOUPS 1346 WITH SCORE 1347.607
AT ITER 3491 NEW BEST:: SOT 4331 SOS 1601 HAS SOPS 1601 HAS SOUS 1340 HAS SOUPS 1340 WITH SCORE 1341.601
AT ITER 3513 NEW BEST:: SOT 4337 SOS 1593 HAS SOPS 1593 HAS SOUS 1338 HAS SOUPS 1338 WITH SCORE 1339.593
AT ITER 3518 NEW BEST:: SOT 4329 SOS 1582 HAS SOPS 1582 HAS SOUS 1327 HAS SOUPS 1327 WITH SCORE 1328.582
AT ITER 3631 NEW BEST:: SOT 4328 SOS 1581 HAS SOPS 1581 HAS SOUS 1326 HAS SOUPS 1326 WITH SCORE 1327.581
AT ITER 3755 NEW BEST:: SOT 4327 SOS 1579 HAS SOPS 1579 HAS SOUS 1324 HAS SOUPS 1324 WITH SCORE 1325.579
AT ITER 3837 NEW BEST:: SOT 4323 SOS 1575 HAS SOPS 1575 HAS SOUS 1320 HAS SOUPS 1320 WITH SCORE 1321.575
AT ITER 3871 NEW BEST:: SOT 4321 SOS 1571 HAS SOPS 1571 HAS SOUS 1316 HAS SOUPS 1316 WITH SCORE 1317.571
AT ITER 3919 NEW BEST:: SOT 4317 SOS 1569 HAS SOPS 1569 HAS SOUS 1316 HAS SOUPS 1316 WITH SCORE 1317.569
AT ITER 3983 NEW BEST:: SOT 4302 SOS 1565 HAS SOPS 1565 HAS SOUS 1312 HAS SOUPS 1312 WITH SCORE 1313.565
AT ITER 4016 NEW BEST:: SOT 4302 SOS 1564 HAS SOPS 1564 HAS SOUS 1311 HAS SOUPS 1311 WITH SCORE 1312.564
AT ITER 4047 NEW BEST:: SOT 4298 SOS 1559 HAS SOPS 1559 HAS SOUS 1306 HAS SOUPS 1306 WITH SCORE 1307.559
AT ITER 4080 NEW BEST:: SOT 4296 SOS 1556 HAS SOPS 1556 HAS SOUS 1303 HAS SOUPS 1303 WITH SCORE 1304.556
AT ITER 4102 NEW BEST:: SOT 4292 SOS 1555 HAS SOPS 1555 HAS SOUS 1302 HAS SOUPS 1302 WITH SCORE 1303.555
AT ITER 4132 NEW BEST:: SOT 4291 SOS 1550 HAS SOPS 1550 HAS SOUS 1297 HAS SOUPS 1297 WITH SCORE 1298.55
AT ITER 4161 NEW BEST:: SOT 4291 SOS 1545 HAS SOPS 1545 HAS SOUS 1292 HAS SOUPS 1292 WITH SCORE 1293.545
AT ITER 4224 NEW BEST:: SOT 4289 SOS 1544 HAS SOPS 1544 HAS SOUS 1291 HAS SOUPS 1291 WITH SCORE 1292.544
AT ITER 4227 NEW BEST:: SOT 4289 SOS 1543 HAS SOPS 1543 HAS SOUS 1291 HAS SOUPS 1291 WITH SCORE 1292.543
AT ITER 4264 NEW BEST:: SOT 4289 SOS 1542 HAS SOPS 1542 HAS SOUS 1290 HAS SOUPS 1290 WITH SCORE 1291.542
AT ITER 4308 NEW BEST:: SOT 4289 SOS 1541 HAS SOPS 1541 HAS SOUS 1289 HAS SOUPS 1289 WITH SCORE 1290.541
AT ITER 4332 NEW BEST:: SOT 4284 SOS 1539 HAS SOPS 1539 HAS SOUS 1287 HAS SOUPS 1287 WITH SCORE 1288.539
AT ITER 4336 NEW BEST:: SOT 4284 SOS 1538 HAS SOPS 1538 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1287.538
AT ITER 4338 NEW BEST:: SOT 4284 SOS 1537 HAS SOPS 1537 HAS SOUS 1285 HAS SOUPS 1285 WITH SCORE 1286.537
AT ITER 4501 NEW BEST:: SOT 4274 SOS 1536 HAS SOPS 1536 HAS SOUS 1283 HAS SOUPS 1283 WITH SCORE 1284.536
AT ITER 4534 NEW BEST:: SOT 4273 SOS 1535 HAS SOPS 1535 HAS SOUS 1282 HAS SOUPS 1282 WITH SCORE 1283.535
AT ITER 4694 NEW BEST:: SOT 4273 SOS 1534 HAS SOPS 1534 HAS SOUS 1281 HAS SOUPS 1281 WITH SCORE 1282.534
AT ITER 4700 NEW BEST:: SOT 4273 SOS 1531 HAS SOPS 1531 HAS SOUS 1278 HAS SOUPS 1278 WITH SCORE 1279.531
AT ITER 4737 NEW BEST:: SOT 4270 SOS 1528 HAS SOPS 1528 HAS SOUS 1275 HAS SOUPS 1275 WITH SCORE 1276.528
AT ITER 4800 NEW BEST:: SOT 4274 SOS 1526 HAS SOPS 1526 HAS SOUS 1275 HAS SOUPS 1275 WITH SCORE 1276.526
AT ITER 4934 NEW BEST:: SOT 4277 SOS 1520 HAS SOPS 1520 HAS SOUS 1269 HAS SOUPS 1269 WITH SCORE 1270.52
AT ITER 5050 NEW BEST:: SOT 4273 SOS 1517 HAS SOPS 1517 HAS SOUS 1267 HAS SOUPS 1267 WITH SCORE 1268.517
AT ITER 5096 NEW BEST:: SOT 4273 SOS 1515 HAS SOPS 1515 HAS SOUS 1265 HAS SOUPS 1265 WITH SCORE 1266.515
AT ITER 5251 NEW BEST:: SOT 4282 SOS 1516 HAS SOPS 1516 HAS SOUS 1262 HAS SOUPS 1262 WITH SCORE 1263.516
AT ITER 5276 NEW BEST:: SOT 4279 SOS 1514 HAS SOPS 1514 HAS SOUS 1261 HAS SOUPS 1261 WITH SCORE 1262.514
AT ITER 5421 NEW BEST:: SOT 4279 SOS 1513 HAS SOPS 1513 HAS SOUS 1260 HAS SOUPS 1260 WITH SCORE 1261.513
AT ITER 5500 NEW BEST:: SOT 4276 SOS 1511 HAS SOPS 1511 HAS SOUS 1258 HAS SOUPS 1258 WITH SCORE 1259.511
AT ITER 5666 NEW BEST:: SOT 4269 SOS 1506 HAS SOPS 1506 HAS SOUS 1253 HAS SOUPS 1253 WITH SCORE 1254.506
AT ITER 5957 NEW BEST:: SOT 4260 SOS 1514 HAS SOPS 1514 HAS SOUS 1242 HAS SOUPS 1242 WITH SCORE 1243.514
AT ITER 6064 NEW BEST:: SOT 4260 SOS 1513 HAS SOPS 1513 HAS SOUS 1242 HAS SOUPS 1242 WITH SCORE 1243.513
AT ITER 6111 NEW BEST:: SOT 4259 SOS 1512 HAS SOPS 1512 HAS SOUS 1241 HAS SOUPS 1241 WITH SCORE 1242.512
AT ITER 6146 NEW BEST:: SOT 4259 SOS 1509 HAS SOPS 1509 HAS SOUS 1240 HAS SOUPS 1240 WITH SCORE 1241.509
AT ITER 6205 NEW BEST:: SOT 4259 SOS 1508 HAS SOPS 1508 HAS SOUS 1240 HAS SOUPS 1240 WITH SCORE 1241.508
AT ITER 6210 NEW BEST:: SOT 4258 SOS 1507 HAS SOPS 1507 HAS SOUS 1239 HAS SOUPS 1239 WITH SCORE 1240.507
AT ITER 6253 NEW BEST:: SOT 4260 SOS 1504 HAS SOPS 1504 HAS SOUS 1239 HAS SOUPS 1239 WITH SCORE 1240.504
AT ITER 6472 NEW BEST:: SOT 4259 SOS 1500 HAS SOPS 1500 HAS SOUS 1238 HAS SOUPS 1238 WITH SCORE 1239.5
AT ITER 6495 NEW BEST:: SOT 4262 SOS 1496 HAS SOPS 1496 HAS SOUS 1234 HAS SOUPS 1234 WITH SCORE 1235.496
AT ITER 6533 NEW BEST:: SOT 4262 SOS 1494 HAS SOPS 1494 HAS SOUS 1232 HAS SOUPS 1232 WITH SCORE 1233.494
AT ITER 6629 NEW BEST:: SOT 4260 SOS 1491 HAS SOPS 1491 HAS SOUS 1229 HAS SOUPS 1229 WITH SCORE 1230.491
AT ITER 6645 NEW BEST:: SOT 4259 SOS 1490 HAS SOPS 1490 HAS SOUS 1228 HAS SOUPS 1228 WITH SCORE 1229.49
AT ITER 6682 NEW BEST:: SOT 4256 SOS 1495 HAS SOPS 1495 HAS SOUS 1227 HAS SOUPS 1227 WITH SCORE 1228.495
AT ITER 6826 NEW BEST:: SOT 4256 SOS 1494 HAS SOPS 1494 HAS SOUS 1226 HAS SOUPS 1226 WITH SCORE 1227.494
AT ITER 6845 NEW BEST:: SOT 4255 SOS 1493 HAS SOPS 1493 HAS SOUS 1225 HAS SOUPS 1225 WITH SCORE 1226.493
AT ITER 7386 NEW BEST:: SOT 4254 SOS 1492 HAS SOPS 1492 HAS SOUS 1224 HAS SOUPS 1224 WITH SCORE 1225.492
AT ITER 7470 NEW BEST:: SOT 4253 SOS 1491 HAS SOPS 1491 HAS SOUS 1223 HAS SOUPS 1223 WITH SCORE 1224.491
AT ITER 7547 NEW BEST:: SOT 4252 SOS 1489 HAS SOPS 1489 HAS SOUS 1221 HAS SOUPS 1221 WITH SCORE 1222.489
AT ITER 8923 NEW BEST:: SOT 4252 SOS 1483 HAS SOPS 1483 HAS SOUS 1221 HAS SOUPS 1221 WITH SCORE 1222.483
AT ITER 8968 NEW BEST:: SOT 4251 SOS 1479 HAS SOPS 1479 HAS SOUS 1220 HAS SOUPS 1220 WITH SCORE 1221.479
AT ITER 9031 NEW BEST:: SOT 4251 SOS 1478 HAS SOPS 1478 HAS SOUS 1219 HAS SOUPS 1219 WITH SCORE 1220.478
AT ITER 9067 NEW BEST:: SOT 4249 SOS 1475 HAS SOPS 1475 HAS SOUS 1216 HAS SOUPS 1216 WITH SCORE 1217.475
AT ITER 9703 NEW BEST:: SOT 4249 SOS 1474 HAS SOPS 1474 HAS SOUS 1215 HAS SOUPS 1215 WITH SCORE 1216.474
AT ITER 9914 NEW BEST:: SOT 4247 SOS 1472 HAS SOPS 1472 HAS SOUS 1213 HAS SOUPS 1213 WITH SCORE 1214.472
STATE_SPACE STATES 24196956529 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 47 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 293095503793 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678366853296

--------------------
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-00a"
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-00a, 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-167814484100352"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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