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.r203-smll-167840349300240.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 HealthRecord-PT-01, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349300240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 412K
-rw-r--r-- 1 mcc users 5.8K Feb 26 17:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 17:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 17:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 17:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 18:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 18:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 17:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 17:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 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 46K 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 1678576598628

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=HealthRecord-PT-01
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 23:16:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 23:16:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 23:16:42] [INFO ] Load time of PNML (sax parser for PT used): 117 ms
[2023-03-11 23:16:42] [INFO ] Transformed 117 places.
[2023-03-11 23:16:42] [INFO ] Transformed 218 transitions.
[2023-03-11 23:16:42] [INFO ] Found NUPN structural information;
[2023-03-11 23:16:42] [INFO ] Parsed PT model containing 117 places and 218 transitions and 557 arcs in 275 ms.
[2023-03-11 23:16:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 117 places, 218 transitions and 557 arcs took 14 ms.
Total runtime 352 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 01
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: 117 places, 218 transitions, 557 arcs.
AT ITER 0 NEW BEST:: SOT 18242 SOS 9552 HAS SOPS 9540 HAS SOUS 6098 HAS SOUPS 6089 WITH SCORE 6098.552
AT ITER 3 NEW BEST:: SOT 17607 SOS 9006 HAS SOPS 8994 HAS SOUS 5947 HAS SOUPS 5938 WITH SCORE 5947.006
AT ITER 4 NEW BEST:: SOT 17607 SOS 9005 HAS SOPS 8993 HAS SOUS 5947 HAS SOUPS 5938 WITH SCORE 5947.005
AT ITER 7 NEW BEST:: SOT 17509 SOS 8839 HAS SOPS 8827 HAS SOUS 5883 HAS SOUPS 5874 WITH SCORE 5882.839
AT ITER 10 NEW BEST:: SOT 17332 SOS 8750 HAS SOPS 8738 HAS SOUS 5862 HAS SOUPS 5853 WITH SCORE 5861.75
AT ITER 19 NEW BEST:: SOT 17332 SOS 8778 HAS SOPS 8766 HAS SOUS 5834 HAS SOUPS 5825 WITH SCORE 5833.778
AT ITER 21 NEW BEST:: SOT 17350 SOS 8769 HAS SOPS 8757 HAS SOUS 5825 HAS SOUPS 5816 WITH SCORE 5824.769
AT ITER 26 NEW BEST:: SOT 17335 SOS 8724 HAS SOPS 8712 HAS SOUS 5795 HAS SOUPS 5786 WITH SCORE 5794.724
AT ITER 27 NEW BEST:: SOT 17354 SOS 8671 HAS SOPS 8659 HAS SOUS 5783 HAS SOUPS 5774 WITH SCORE 5782.671
AT ITER 30 NEW BEST:: SOT 17354 SOS 8655 HAS SOPS 8643 HAS SOUS 5767 HAS SOUPS 5758 WITH SCORE 5766.655
AT ITER 36 NEW BEST:: SOT 17354 SOS 8654 HAS SOPS 8642 HAS SOUS 5767 HAS SOUPS 5758 WITH SCORE 5766.654
AT ITER 38 NEW BEST:: SOT 17313 SOS 8613 HAS SOPS 8601 HAS SOUS 5685 HAS SOUPS 5676 WITH SCORE 5684.613
AT ITER 40 NEW BEST:: SOT 17343 SOS 8673 HAS SOPS 8661 HAS SOUS 5661 HAS SOUPS 5652 WITH SCORE 5660.673
AT ITER 43 NEW BEST:: SOT 16657 SOS 9174 HAS SOPS 9162 HAS SOUS 5499 HAS SOUPS 5490 WITH SCORE 5499.174
AT ITER 44 NEW BEST:: SOT 16642 SOS 9149 HAS SOPS 9137 HAS SOUS 5484 HAS SOUPS 5475 WITH SCORE 5484.149
AT ITER 46 NEW BEST:: SOT 16611 SOS 9084 HAS SOPS 9072 HAS SOUS 5481 HAS SOUPS 5472 WITH SCORE 5481.084
AT ITER 47 NEW BEST:: SOT 16521 SOS 8951 HAS SOPS 8939 HAS SOUS 5422 HAS SOUPS 5413 WITH SCORE 5421.951
AT ITER 48 NEW BEST:: SOT 16469 SOS 8847 HAS SOPS 8835 HAS SOUS 5362 HAS SOUPS 5353 WITH SCORE 5361.847
AT ITER 50 NEW BEST:: SOT 16460 SOS 8820 HAS SOPS 8808 HAS SOUS 5344 HAS SOUPS 5335 WITH SCORE 5343.82
AT ITER 60 NEW BEST:: SOT 16460 SOS 8796 HAS SOPS 8784 HAS SOUS 5332 HAS SOUPS 5323 WITH SCORE 5331.796
AT ITER 63 NEW BEST:: SOT 16443 SOS 8804 HAS SOPS 8792 HAS SOUS 5291 HAS SOUPS 5282 WITH SCORE 5290.804
AT ITER 64 NEW BEST:: SOT 16409 SOS 8765 HAS SOPS 8753 HAS SOUS 5252 HAS SOUPS 5243 WITH SCORE 5251.765
AT ITER 66 NEW BEST:: SOT 16380 SOS 8707 HAS SOPS 8695 HAS SOUS 5229 HAS SOUPS 5220 WITH SCORE 5228.707
AT ITER 75 NEW BEST:: SOT 16320 SOS 8595 HAS SOPS 8583 HAS SOUS 5177 HAS SOUPS 5168 WITH SCORE 5176.595
AT ITER 79 NEW BEST:: SOT 16309 SOS 8573 HAS SOPS 8561 HAS SOUS 5177 HAS SOUPS 5168 WITH SCORE 5176.573
AT ITER 81 NEW BEST:: SOT 16308 SOS 8571 HAS SOPS 8559 HAS SOUS 5175 HAS SOUPS 5166 WITH SCORE 5174.571
AT ITER 84 NEW BEST:: SOT 16278 SOS 8535 HAS SOPS 8523 HAS SOUS 5153 HAS SOUPS 5144 WITH SCORE 5152.535
AT ITER 86 NEW BEST:: SOT 16288 SOS 8463 HAS SOPS 8451 HAS SOUS 5139 HAS SOUPS 5130 WITH SCORE 5138.463
AT ITER 87 NEW BEST:: SOT 16250 SOS 8425 HAS SOPS 8413 HAS SOUS 5101 HAS SOUPS 5092 WITH SCORE 5100.425
AT ITER 88 NEW BEST:: SOT 16247 SOS 8416 HAS SOPS 8404 HAS SOUS 5095 HAS SOUPS 5086 WITH SCORE 5094.416
AT ITER 91 NEW BEST:: SOT 16211 SOS 8344 HAS SOPS 8332 HAS SOUS 5077 HAS SOUPS 5068 WITH SCORE 5076.344
AT ITER 96 NEW BEST:: SOT 16197 SOS 8312 HAS SOPS 8300 HAS SOUS 5054 HAS SOUPS 5045 WITH SCORE 5053.312
AT ITER 107 NEW BEST:: SOT 16197 SOS 8300 HAS SOPS 8288 HAS SOUS 5042 HAS SOUPS 5033 WITH SCORE 5041.3
AT ITER 109 NEW BEST:: SOT 16193 SOS 8292 HAS SOPS 8280 HAS SOUS 5036 HAS SOUPS 5027 WITH SCORE 5035.292
AT ITER 120 NEW BEST:: SOT 16252 SOS 8375 HAS SOPS 8363 HAS SOUS 5015 HAS SOUPS 5006 WITH SCORE 5014.375
AT ITER 121 NEW BEST:: SOT 16252 SOS 8375 HAS SOPS 8363 HAS SOUS 5013 HAS SOUPS 5004 WITH SCORE 5012.375
AT ITER 123 NEW BEST:: SOT 16262 SOS 8375 HAS SOPS 8363 HAS SOUS 4993 HAS SOUPS 4984 WITH SCORE 4992.375
AT ITER 125 NEW BEST:: SOT 16262 SOS 8326 HAS SOPS 8314 HAS SOUS 4990 HAS SOUPS 4981 WITH SCORE 4989.326
AT ITER 126 NEW BEST:: SOT 16279 SOS 8321 HAS SOPS 8309 HAS SOUS 4990 HAS SOUPS 4981 WITH SCORE 4989.321
AT ITER 135 NEW BEST:: SOT 16277 SOS 8332 HAS SOPS 8320 HAS SOUS 4983 HAS SOUPS 4974 WITH SCORE 4982.332
AT ITER 144 NEW BEST:: SOT 16207 SOS 8209 HAS SOPS 8197 HAS SOUS 4966 HAS SOUPS 4957 WITH SCORE 4965.209
AT ITER 145 NEW BEST:: SOT 16181 SOS 8152 HAS SOPS 8140 HAS SOUS 4904 HAS SOUPS 4895 WITH SCORE 4903.152
AT ITER 149 NEW BEST:: SOT 15600 SOS 7715 HAS SOPS 7703 HAS SOUS 4342 HAS SOUPS 4333 WITH SCORE 4340.715
AT ITER 150 NEW BEST:: SOT 15489 SOS 7470 HAS SOPS 7458 HAS SOUS 4291 HAS SOUPS 4282 WITH SCORE 4289.47
AT ITER 153 NEW BEST:: SOT 15513 SOS 7526 HAS SOPS 7514 HAS SOUS 4290 HAS SOUPS 4281 WITH SCORE 4288.526
AT ITER 162 NEW BEST:: SOT 14131 SOS 7722 HAS SOPS 7710 HAS SOUS 3330 HAS SOUPS 3321 WITH SCORE 3328.722
AT ITER 166 NEW BEST:: SOT 14130 SOS 7720 HAS SOPS 7708 HAS SOUS 3329 HAS SOUPS 3320 WITH SCORE 3327.72
AT ITER 167 NEW BEST:: SOT 14120 SOS 7627 HAS SOPS 7615 HAS SOUS 3304 HAS SOUPS 3295 WITH SCORE 3302.627
AT ITER 168 NEW BEST:: SOT 14156 SOS 7681 HAS SOPS 7669 HAS SOUS 3300 HAS SOUPS 3291 WITH SCORE 3298.681
AT ITER 169 NEW BEST:: SOT 14115 SOS 7907 HAS SOPS 7895 HAS SOUS 3271 HAS SOUPS 3262 WITH SCORE 3269.907
AT ITER 173 NEW BEST:: SOT 14067 SOS 7907 HAS SOPS 7895 HAS SOUS 3227 HAS SOUPS 3218 WITH SCORE 3225.907
AT ITER 176 NEW BEST:: SOT 14054 SOS 7863 HAS SOPS 7851 HAS SOUS 3182 HAS SOUPS 3173 WITH SCORE 3180.863
AT ITER 179 NEW BEST:: SOT 13834 SOS 8481 HAS SOPS 8469 HAS SOUS 3056 HAS SOUPS 3047 WITH SCORE 3055.481
AT ITER 186 NEW BEST:: SOT 13813 SOS 8460 HAS SOPS 8448 HAS SOUS 3030 HAS SOUPS 3021 WITH SCORE 3029.46
AT ITER 195 NEW BEST:: SOT 13813 SOS 8456 HAS SOPS 8444 HAS SOUS 3026 HAS SOUPS 3017 WITH SCORE 3025.456
AT ITER 198 NEW BEST:: SOT 13783 SOS 8403 HAS SOPS 8391 HAS SOUS 3026 HAS SOUPS 3017 WITH SCORE 3025.403
AT ITER 200 NEW BEST:: SOT 13767 SOS 8387 HAS SOPS 8375 HAS SOUS 3002 HAS SOUPS 2993 WITH SCORE 3001.387
AT ITER 210 NEW BEST:: SOT 13753 SOS 8383 HAS SOPS 8371 HAS SOUS 2955 HAS SOUPS 2946 WITH SCORE 2954.383
AT ITER 234 NEW BEST:: SOT 13772 SOS 7917 HAS SOPS 7905 HAS SOUS 2951 HAS SOUPS 2942 WITH SCORE 2949.917
AT ITER 239 NEW BEST:: SOT 13792 SOS 7937 HAS SOPS 7925 HAS SOUS 2949 HAS SOUPS 2940 WITH SCORE 2947.937
AT ITER 241 NEW BEST:: SOT 13788 SOS 7921 HAS SOPS 7909 HAS SOUS 2898 HAS SOUPS 2889 WITH SCORE 2896.921
AT ITER 242 NEW BEST:: SOT 13778 SOS 7929 HAS SOPS 7917 HAS SOUS 2893 HAS SOUPS 2884 WITH SCORE 2891.929
AT ITER 249 NEW BEST:: SOT 13764 SOS 7915 HAS SOPS 7903 HAS SOUS 2879 HAS SOUPS 2870 WITH SCORE 2877.915
AT ITER 250 NEW BEST:: SOT 13745 SOS 7896 HAS SOPS 7884 HAS SOUS 2829 HAS SOUPS 2820 WITH SCORE 2827.896
AT ITER 255 NEW BEST:: SOT 13731 SOS 7861 HAS SOPS 7849 HAS SOUS 2820 HAS SOUPS 2811 WITH SCORE 2818.861
AT ITER 273 NEW BEST:: SOT 13724 SOS 7854 HAS SOPS 7842 HAS SOUS 2813 HAS SOUPS 2804 WITH SCORE 2811.854
AT ITER 276 NEW BEST:: SOT 13723 SOS 7851 HAS SOPS 7839 HAS SOUS 2812 HAS SOUPS 2803 WITH SCORE 2810.851
AT ITER 277 NEW BEST:: SOT 13723 SOS 7851 HAS SOPS 7839 HAS SOUS 2811 HAS SOUPS 2802 WITH SCORE 2809.851
AT ITER 295 NEW BEST:: SOT 13691 SOS 7787 HAS SOPS 7775 HAS SOUS 2811 HAS SOUPS 2802 WITH SCORE 2809.787
AT ITER 312 NEW BEST:: SOT 13682 SOS 7991 HAS SOPS 7979 HAS SOUS 2802 HAS SOUPS 2793 WITH SCORE 2800.991
AT ITER 315 NEW BEST:: SOT 13693 SOS 7999 HAS SOPS 7987 HAS SOUS 2796 HAS SOUPS 2787 WITH SCORE 2794.999
AT ITER 317 NEW BEST:: SOT 13677 SOS 7983 HAS SOPS 7971 HAS SOUS 2783 HAS SOUPS 2774 WITH SCORE 2781.983
AT ITER 325 NEW BEST:: SOT 13728 SOS 8049 HAS SOPS 8037 HAS SOUS 2781 HAS SOUPS 2772 WITH SCORE 2780.049
AT ITER 330 NEW BEST:: SOT 13727 SOS 8052 HAS SOPS 8040 HAS SOUS 2777 HAS SOUPS 2768 WITH SCORE 2776.052
AT ITER 332 NEW BEST:: SOT 13707 SOS 8012 HAS SOPS 8000 HAS SOUS 2772 HAS SOUPS 2763 WITH SCORE 2771.012
AT ITER 367 NEW BEST:: SOT 13707 SOS 8016 HAS SOPS 8004 HAS SOUS 2771 HAS SOUPS 2762 WITH SCORE 2770.016
AT ITER 368 NEW BEST:: SOT 13681 SOS 7990 HAS SOPS 7978 HAS SOUS 2745 HAS SOUPS 2736 WITH SCORE 2743.99
AT ITER 376 NEW BEST:: SOT 13660 SOS 7969 HAS SOPS 7957 HAS SOUS 2703 HAS SOUPS 2694 WITH SCORE 2701.969
AT ITER 390 NEW BEST:: SOT 13642 SOS 7914 HAS SOPS 7902 HAS SOUS 2696 HAS SOUPS 2687 WITH SCORE 2694.914
AT ITER 391 NEW BEST:: SOT 13632 SOS 7904 HAS SOPS 7892 HAS SOUS 2691 HAS SOUPS 2682 WITH SCORE 2689.904
AT ITER 403 NEW BEST:: SOT 13622 SOS 7874 HAS SOPS 7862 HAS SOUS 2678 HAS SOUPS 2669 WITH SCORE 2676.874
AT ITER 417 NEW BEST:: SOT 13573 SOS 7825 HAS SOPS 7813 HAS SOUS 2651 HAS SOUPS 2642 WITH SCORE 2649.825
AT ITER 420 NEW BEST:: SOT 13592 SOS 7916 HAS SOPS 7904 HAS SOUS 2648 HAS SOUPS 2639 WITH SCORE 2646.916
AT ITER 422 NEW BEST:: SOT 13579 SOS 8268 HAS SOPS 8256 HAS SOUS 2635 HAS SOUPS 2626 WITH SCORE 2634.268
AT ITER 427 NEW BEST:: SOT 13555 SOS 8220 HAS SOPS 8208 HAS SOUS 2619 HAS SOUPS 2610 WITH SCORE 2618.22
AT ITER 441 NEW BEST:: SOT 13547 SOS 8212 HAS SOPS 8200 HAS SOUS 2608 HAS SOUPS 2599 WITH SCORE 2607.212
AT ITER 460 NEW BEST:: SOT 13547 SOS 8212 HAS SOPS 8200 HAS SOUS 2564 HAS SOUPS 2555 WITH SCORE 2563.212
AT ITER 466 NEW BEST:: SOT 13516 SOS 8181 HAS SOPS 8169 HAS SOUS 2533 HAS SOUPS 2524 WITH SCORE 2532.181
AT ITER 487 NEW BEST:: SOT 13518 SOS 8183 HAS SOPS 8171 HAS SOUS 2529 HAS SOUPS 2520 WITH SCORE 2528.183
AT ITER 502 NEW BEST:: SOT 13516 SOS 8185 HAS SOPS 8173 HAS SOUS 2525 HAS SOUPS 2516 WITH SCORE 2524.185
AT ITER 514 NEW BEST:: SOT 13506 SOS 8182 HAS SOPS 8170 HAS SOUS 2525 HAS SOUPS 2516 WITH SCORE 2524.182
AT ITER 520 NEW BEST:: SOT 13506 SOS 8182 HAS SOPS 8170 HAS SOUS 2523 HAS SOUPS 2514 WITH SCORE 2522.182
AT ITER 522 NEW BEST:: SOT 13567 SOS 8306 HAS SOPS 8294 HAS SOUS 2500 HAS SOUPS 2491 WITH SCORE 2499.306
AT ITER 530 NEW BEST:: SOT 13545 SOS 8262 HAS SOPS 8250 HAS SOUS 2500 HAS SOUPS 2491 WITH SCORE 2499.262
AT ITER 545 NEW BEST:: SOT 13556 SOS 8273 HAS SOPS 8261 HAS SOUS 2496 HAS SOUPS 2487 WITH SCORE 2495.273
AT ITER 552 NEW BEST:: SOT 13554 SOS 8269 HAS SOPS 8257 HAS SOUS 2493 HAS SOUPS 2484 WITH SCORE 2492.269
AT ITER 556 NEW BEST:: SOT 13572 SOS 8328 HAS SOPS 8316 HAS SOUS 2492 HAS SOUPS 2483 WITH SCORE 2491.328
AT ITER 558 NEW BEST:: SOT 13583 SOS 8339 HAS SOPS 8327 HAS SOUS 2489 HAS SOUPS 2480 WITH SCORE 2488.339
AT ITER 560 NEW BEST:: SOT 13581 SOS 8337 HAS SOPS 8325 HAS SOUS 2489 HAS SOUPS 2480 WITH SCORE 2488.337
AT ITER 566 NEW BEST:: SOT 13588 SOS 8344 HAS SOPS 8332 HAS SOUS 2483 HAS SOUPS 2474 WITH SCORE 2482.344
AT ITER 593 NEW BEST:: SOT 13586 SOS 8342 HAS SOPS 8330 HAS SOUS 2483 HAS SOUPS 2474 WITH SCORE 2482.342
AT ITER 606 NEW BEST:: SOT 13601 SOS 8371 HAS SOPS 8359 HAS SOUS 2482 HAS SOUPS 2473 WITH SCORE 2481.371
AT ITER 610 NEW BEST:: SOT 13587 SOS 8357 HAS SOPS 8345 HAS SOUS 2464 HAS SOUPS 2455 WITH SCORE 2463.357
AT ITER 611 NEW BEST:: SOT 13606 SOS 8393 HAS SOPS 8381 HAS SOUS 2440 HAS SOUPS 2431 WITH SCORE 2439.393
AT ITER 613 NEW BEST:: SOT 13606 SOS 8390 HAS SOPS 8378 HAS SOUS 2440 HAS SOUPS 2431 WITH SCORE 2439.39
AT ITER 641 NEW BEST:: SOT 13595 SOS 8338 HAS SOPS 8326 HAS SOUS 2437 HAS SOUPS 2428 WITH SCORE 2436.338
AT ITER 654 NEW BEST:: SOT 13591 SOS 8334 HAS SOPS 8322 HAS SOUS 2433 HAS SOUPS 2424 WITH SCORE 2432.334
AT ITER 659 NEW BEST:: SOT 13589 SOS 8330 HAS SOPS 8318 HAS SOUS 2426 HAS SOUPS 2417 WITH SCORE 2425.33
AT ITER 661 NEW BEST:: SOT 13563 SOS 8265 HAS SOPS 8253 HAS SOUS 2400 HAS SOUPS 2391 WITH SCORE 2399.265
AT ITER 666 NEW BEST:: SOT 13563 SOS 8267 HAS SOPS 8255 HAS SOUS 2395 HAS SOUPS 2386 WITH SCORE 2394.267
AT ITER 682 NEW BEST:: SOT 13557 SOS 8258 HAS SOPS 8246 HAS SOUS 2389 HAS SOUPS 2380 WITH SCORE 2388.258
AT ITER 694 NEW BEST:: SOT 13573 SOS 8281 HAS SOPS 8269 HAS SOUS 2355 HAS SOUPS 2346 WITH SCORE 2354.281
AT ITER 698 NEW BEST:: SOT 13570 SOS 8285 HAS SOPS 8273 HAS SOUS 2339 HAS SOUPS 2330 WITH SCORE 2338.285
AT ITER 702 NEW BEST:: SOT 13558 SOS 8273 HAS SOPS 8261 HAS SOUS 2339 HAS SOUPS 2330 WITH SCORE 2338.273
AT ITER 722 NEW BEST:: SOT 13547 SOS 8262 HAS SOPS 8250 HAS SOUS 2328 HAS SOUPS 2319 WITH SCORE 2327.262
AT ITER 732 NEW BEST:: SOT 13555 SOS 8260 HAS SOPS 8248 HAS SOUS 2303 HAS SOUPS 2294 WITH SCORE 2302.26
AT ITER 735 NEW BEST:: SOT 13584 SOS 8349 HAS SOPS 8337 HAS SOUS 2298 HAS SOUPS 2289 WITH SCORE 2297.349
AT ITER 736 NEW BEST:: SOT 13585 SOS 8350 HAS SOPS 8338 HAS SOUS 2291 HAS SOUPS 2282 WITH SCORE 2290.35
AT ITER 737 NEW BEST:: SOT 13578 SOS 8343 HAS SOPS 8331 HAS SOUS 2283 HAS SOUPS 2274 WITH SCORE 2282.343
AT ITER 745 NEW BEST:: SOT 13569 SOS 8334 HAS SOPS 8322 HAS SOUS 2278 HAS SOUPS 2269 WITH SCORE 2277.334
AT ITER 751 NEW BEST:: SOT 13569 SOS 8335 HAS SOPS 8323 HAS SOUS 2274 HAS SOUPS 2265 WITH SCORE 2273.335
AT ITER 776 NEW BEST:: SOT 13572 SOS 8347 HAS SOPS 8335 HAS SOUS 2271 HAS SOUPS 2262 WITH SCORE 2270.347
AT ITER 800 NEW BEST:: SOT 13568 SOS 8338 HAS SOPS 8326 HAS SOUS 2269 HAS SOUPS 2260 WITH SCORE 2268.338
AT ITER 810 NEW BEST:: SOT 13557 SOS 8316 HAS SOPS 8304 HAS SOUS 2257 HAS SOUPS 2248 WITH SCORE 2256.316
AT ITER 815 NEW BEST:: SOT 13556 SOS 8322 HAS SOPS 8310 HAS SOUS 2256 HAS SOUPS 2247 WITH SCORE 2255.322
AT ITER 847 NEW BEST:: SOT 13550 SOS 8303 HAS SOPS 8291 HAS SOUS 2242 HAS SOUPS 2233 WITH SCORE 2241.303
AT ITER 852 NEW BEST:: SOT 13529 SOS 8269 HAS SOPS 8257 HAS SOUS 2239 HAS SOUPS 2230 WITH SCORE 2238.269
AT ITER 853 NEW BEST:: SOT 13533 SOS 8273 HAS SOPS 8261 HAS SOUS 2235 HAS SOUPS 2226 WITH SCORE 2234.273
AT ITER 859 NEW BEST:: SOT 13528 SOS 8268 HAS SOPS 8256 HAS SOUS 2226 HAS SOUPS 2217 WITH SCORE 2225.268
AT ITER 863 NEW BEST:: SOT 13521 SOS 8261 HAS SOPS 8249 HAS SOUS 2211 HAS SOUPS 2202 WITH SCORE 2210.261
AT ITER 884 NEW BEST:: SOT 13501 SOS 8375 HAS SOPS 8363 HAS SOUS 2186 HAS SOUPS 2177 WITH SCORE 2185.375
AT ITER 905 NEW BEST:: SOT 13497 SOS 8367 HAS SOPS 8355 HAS SOUS 2186 HAS SOUPS 2177 WITH SCORE 2185.367
AT ITER 907 NEW BEST:: SOT 13495 SOS 8363 HAS SOPS 8351 HAS SOUS 2181 HAS SOUPS 2172 WITH SCORE 2180.363
AT ITER 908 NEW BEST:: SOT 13495 SOS 8357 HAS SOPS 8345 HAS SOUS 2181 HAS SOUPS 2172 WITH SCORE 2180.357
AT ITER 926 NEW BEST:: SOT 13494 SOS 8355 HAS SOPS 8343 HAS SOUS 2181 HAS SOUPS 2172 WITH SCORE 2180.355
AT ITER 943 NEW BEST:: SOT 13501 SOS 8362 HAS SOPS 8350 HAS SOUS 2177 HAS SOUPS 2168 WITH SCORE 2176.362
AT ITER 950 NEW BEST:: SOT 13485 SOS 8298 HAS SOPS 8286 HAS SOUS 2169 HAS SOUPS 2160 WITH SCORE 2168.298
AT ITER 957 NEW BEST:: SOT 13483 SOS 8294 HAS SOPS 8282 HAS SOUS 2166 HAS SOUPS 2157 WITH SCORE 2165.294
AT ITER 967 NEW BEST:: SOT 13483 SOS 8297 HAS SOPS 8285 HAS SOUS 2160 HAS SOUPS 2151 WITH SCORE 2159.297
AT ITER 976 NEW BEST:: SOT 13479 SOS 8293 HAS SOPS 8281 HAS SOUS 2158 HAS SOUPS 2149 WITH SCORE 2157.293
AT ITER 983 NEW BEST:: SOT 13477 SOS 8287 HAS SOPS 8275 HAS SOUS 2157 HAS SOUPS 2148 WITH SCORE 2156.287
AT ITER 991 NEW BEST:: SOT 13471 SOS 8274 HAS SOPS 8262 HAS SOUS 2151 HAS SOUPS 2142 WITH SCORE 2150.274
AT ITER 1005 NEW BEST:: SOT 13470 SOS 8273 HAS SOPS 8261 HAS SOUS 2150 HAS SOUPS 2141 WITH SCORE 2149.273
AT ITER 1033 NEW BEST:: SOT 13470 SOS 8282 HAS SOPS 8270 HAS SOUS 2137 HAS SOUPS 2128 WITH SCORE 2136.282
AT ITER 1056 NEW BEST:: SOT 13434 SOS 8213 HAS SOPS 8201 HAS SOUS 2121 HAS SOUPS 2112 WITH SCORE 2120.213
AT ITER 1059 NEW BEST:: SOT 13429 SOS 8203 HAS SOPS 8191 HAS SOUS 2121 HAS SOUPS 2112 WITH SCORE 2120.203
AT ITER 1070 NEW BEST:: SOT 13412 SOS 8153 HAS SOPS 8141 HAS SOUS 2093 HAS SOUPS 2084 WITH SCORE 2092.153
AT ITER 1076 NEW BEST:: SOT 13412 SOS 8153 HAS SOPS 8141 HAS SOUS 2086 HAS SOUPS 2077 WITH SCORE 2085.153
AT ITER 1079 NEW BEST:: SOT 13412 SOS 8153 HAS SOPS 8141 HAS SOUS 2083 HAS SOUPS 2074 WITH SCORE 2082.153
AT ITER 1096 NEW BEST:: SOT 13417 SOS 8415 HAS SOPS 8403 HAS SOUS 2076 HAS SOUPS 2067 WITH SCORE 2075.415
AT ITER 1134 NEW BEST:: SOT 13417 SOS 8415 HAS SOPS 8403 HAS SOUS 2064 HAS SOUPS 2055 WITH SCORE 2063.415
AT ITER 1136 NEW BEST:: SOT 13421 SOS 8418 HAS SOPS 8406 HAS SOUS 2063 HAS SOUPS 2054 WITH SCORE 2062.418
AT ITER 1195 NEW BEST:: SOT 13421 SOS 8413 HAS SOPS 8401 HAS SOUS 2063 HAS SOUPS 2054 WITH SCORE 2062.413
AT ITER 1208 NEW BEST:: SOT 13422 SOS 8411 HAS SOPS 8399 HAS SOUS 2061 HAS SOUPS 2052 WITH SCORE 2060.411
AT ITER 1261 NEW BEST:: SOT 13416 SOS 8405 HAS SOPS 8393 HAS SOUS 2054 HAS SOUPS 2045 WITH SCORE 2053.405
AT ITER 1271 NEW BEST:: SOT 13443 SOS 8453 HAS SOPS 8441 HAS SOUS 2013 HAS SOUPS 2004 WITH SCORE 2012.453
AT ITER 1278 NEW BEST:: SOT 13436 SOS 8446 HAS SOPS 8434 HAS SOUS 2010 HAS SOUPS 2001 WITH SCORE 2009.446
AT ITER 1290 NEW BEST:: SOT 13436 SOS 8518 HAS SOPS 8506 HAS SOUS 2008 HAS SOUPS 1999 WITH SCORE 2007.518
AT ITER 1293 NEW BEST:: SOT 13436 SOS 8515 HAS SOPS 8503 HAS SOUS 2002 HAS SOUPS 1993 WITH SCORE 2001.515
AT ITER 1304 NEW BEST:: SOT 13430 SOS 8509 HAS SOPS 8497 HAS SOUS 2000 HAS SOUPS 1991 WITH SCORE 1999.509
AT ITER 1336 NEW BEST:: SOT 13430 SOS 8509 HAS SOPS 8497 HAS SOUS 1999 HAS SOUPS 1990 WITH SCORE 1998.509
AT ITER 1352 NEW BEST:: SOT 13435 SOS 8508 HAS SOPS 8496 HAS SOUS 1985 HAS SOUPS 1976 WITH SCORE 1984.508
AT ITER 1391 NEW BEST:: SOT 13432 SOS 8391 HAS SOPS 8379 HAS SOUS 1982 HAS SOUPS 1973 WITH SCORE 1981.391
AT ITER 1417 NEW BEST:: SOT 13421 SOS 8369 HAS SOPS 8357 HAS SOUS 1982 HAS SOUPS 1973 WITH SCORE 1981.369
AT ITER 1444 NEW BEST:: SOT 13415 SOS 8352 HAS SOPS 8340 HAS SOUS 1977 HAS SOUPS 1968 WITH SCORE 1976.352
AT ITER 1450 NEW BEST:: SOT 13413 SOS 8301 HAS SOPS 8289 HAS SOUS 1976 HAS SOUPS 1967 WITH SCORE 1975.301
AT ITER 1452 NEW BEST:: SOT 13409 SOS 8351 HAS SOPS 8339 HAS SOUS 1972 HAS SOUPS 1963 WITH SCORE 1971.351
AT ITER 1470 NEW BEST:: SOT 13403 SOS 8339 HAS SOPS 8327 HAS SOUS 1972 HAS SOUPS 1963 WITH SCORE 1971.339
AT ITER 1504 NEW BEST:: SOT 13422 SOS 8386 HAS SOPS 8374 HAS SOUS 1969 HAS SOUPS 1960 WITH SCORE 1968.386
AT ITER 1521 NEW BEST:: SOT 13406 SOS 8353 HAS SOPS 8341 HAS SOUS 1955 HAS SOUPS 1946 WITH SCORE 1954.353
AT ITER 1586 NEW BEST:: SOT 13405 SOS 8182 HAS SOPS 8170 HAS SOUS 1951 HAS SOUPS 1942 WITH SCORE 1950.182
AT ITER 1587 NEW BEST:: SOT 13403 SOS 8172 HAS SOPS 8160 HAS SOUS 1945 HAS SOUPS 1936 WITH SCORE 1944.172
AT ITER 1593 NEW BEST:: SOT 13402 SOS 8170 HAS SOPS 8158 HAS SOUS 1944 HAS SOUPS 1935 WITH SCORE 1943.17
AT ITER 1603 NEW BEST:: SOT 13427 SOS 8220 HAS SOPS 8208 HAS SOUS 1928 HAS SOUPS 1919 WITH SCORE 1927.22
AT ITER 1642 NEW BEST:: SOT 13426 SOS 8218 HAS SOPS 8206 HAS SOUS 1921 HAS SOUPS 1912 WITH SCORE 1920.218
AT ITER 1661 NEW BEST:: SOT 13420 SOS 8212 HAS SOPS 8200 HAS SOUS 1918 HAS SOUPS 1909 WITH SCORE 1917.212
AT ITER 1685 NEW BEST:: SOT 13421 SOS 8315 HAS SOPS 8303 HAS SOUS 1906 HAS SOUPS 1897 WITH SCORE 1905.315
AT ITER 1698 NEW BEST:: SOT 13422 SOS 8313 HAS SOPS 8301 HAS SOUS 1904 HAS SOUPS 1895 WITH SCORE 1903.313
AT ITER 1742 NEW BEST:: SOT 13425 SOS 8318 HAS SOPS 8306 HAS SOUS 1903 HAS SOUPS 1894 WITH SCORE 1902.318
AT ITER 1787 NEW BEST:: SOT 13426 SOS 8299 HAS SOPS 8287 HAS SOUS 1903 HAS SOUPS 1894 WITH SCORE 1902.299
AT ITER 1824 NEW BEST:: SOT 13410 SOS 7976 HAS SOPS 7964 HAS SOUS 1901 HAS SOUPS 1892 WITH SCORE 1899.976
AT ITER 1844 NEW BEST:: SOT 13408 SOS 7974 HAS SOPS 7962 HAS SOUS 1899 HAS SOUPS 1890 WITH SCORE 1897.974
AT ITER 1870 NEW BEST:: SOT 13408 SOS 7973 HAS SOPS 7961 HAS SOUS 1893 HAS SOUPS 1884 WITH SCORE 1891.973
AT ITER 1876 NEW BEST:: SOT 13402 SOS 7947 HAS SOPS 7935 HAS SOUS 1893 HAS SOUPS 1884 WITH SCORE 1891.947
AT ITER 1882 NEW BEST:: SOT 13405 SOS 7917 HAS SOPS 7905 HAS SOUS 1893 HAS SOUPS 1884 WITH SCORE 1891.917
AT ITER 1901 NEW BEST:: SOT 13404 SOS 7916 HAS SOPS 7904 HAS SOUS 1892 HAS SOUPS 1883 WITH SCORE 1890.916
AT ITER 1945 NEW BEST:: SOT 13404 SOS 7916 HAS SOPS 7904 HAS SOUS 1889 HAS SOUPS 1880 WITH SCORE 1887.916
AT ITER 1962 NEW BEST:: SOT 13400 SOS 7912 HAS SOPS 7900 HAS SOUS 1880 HAS SOUPS 1871 WITH SCORE 1878.912
AT ITER 1976 NEW BEST:: SOT 13398 SOS 7910 HAS SOPS 7898 HAS SOUS 1880 HAS SOUPS 1871 WITH SCORE 1878.91
AT ITER 1997 NEW BEST:: SOT 13397 SOS 7909 HAS SOPS 7897 HAS SOUS 1879 HAS SOUPS 1870 WITH SCORE 1877.909
AT ITER 2057 NEW BEST:: SOT 13377 SOS 7879 HAS SOPS 7867 HAS SOUS 1871 HAS SOUPS 1862 WITH SCORE 1869.879
AT ITER 2083 NEW BEST:: SOT 13374 SOS 7876 HAS SOPS 7864 HAS SOUS 1868 HAS SOUPS 1859 WITH SCORE 1866.876
AT ITER 2160 NEW BEST:: SOT 13368 SOS 7870 HAS SOPS 7858 HAS SOUS 1856 HAS SOUPS 1847 WITH SCORE 1854.87
AT ITER 2207 NEW BEST:: SOT 13366 SOS 7868 HAS SOPS 7856 HAS SOUS 1854 HAS SOUPS 1845 WITH SCORE 1852.868
AT ITER 2242 NEW BEST:: SOT 13381 SOS 7890 HAS SOPS 7878 HAS SOUS 1852 HAS SOUPS 1843 WITH SCORE 1850.89
AT ITER 2262 NEW BEST:: SOT 13373 SOS 7882 HAS SOPS 7870 HAS SOUS 1844 HAS SOUPS 1835 WITH SCORE 1842.882
AT ITER 2265 NEW BEST:: SOT 13372 SOS 7880 HAS SOPS 7868 HAS SOUS 1844 HAS SOUPS 1835 WITH SCORE 1842.88
AT ITER 2276 NEW BEST:: SOT 13372 SOS 7880 HAS SOPS 7868 HAS SOUS 1839 HAS SOUPS 1830 WITH SCORE 1837.88
AT ITER 2284 NEW BEST:: SOT 13371 SOS 7879 HAS SOPS 7867 HAS SOUS 1838 HAS SOUPS 1829 WITH SCORE 1836.879
AT ITER 2285 NEW BEST:: SOT 13371 SOS 7879 HAS SOPS 7867 HAS SOUS 1836 HAS SOUPS 1827 WITH SCORE 1834.879
AT ITER 2340 NEW BEST:: SOT 13371 SOS 7879 HAS SOPS 7867 HAS SOUS 1828 HAS SOUPS 1819 WITH SCORE 1826.879
AT ITER 2353 NEW BEST:: SOT 13368 SOS 7874 HAS SOPS 7862 HAS SOUS 1825 HAS SOUPS 1816 WITH SCORE 1823.874
AT ITER 2382 NEW BEST:: SOT 13373 SOS 7876 HAS SOPS 7864 HAS SOUS 1822 HAS SOUPS 1813 WITH SCORE 1820.876
AT ITER 2394 NEW BEST:: SOT 13379 SOS 7882 HAS SOPS 7870 HAS SOUS 1815 HAS SOUPS 1806 WITH SCORE 1813.882
AT ITER 2442 NEW BEST:: SOT 13379 SOS 7880 HAS SOPS 7868 HAS SOUS 1813 HAS SOUPS 1804 WITH SCORE 1811.88
AT ITER 2516 NEW BEST:: SOT 13419 SOS 7937 HAS SOPS 7925 HAS SOUS 1808 HAS SOUPS 1799 WITH SCORE 1806.937
AT ITER 2518 NEW BEST:: SOT 13418 SOS 7936 HAS SOPS 7924 HAS SOUS 1803 HAS SOUPS 1794 WITH SCORE 1801.936
AT ITER 2526 NEW BEST:: SOT 13417 SOS 7934 HAS SOPS 7922 HAS SOUS 1803 HAS SOUPS 1794 WITH SCORE 1801.934
AT ITER 2577 NEW BEST:: SOT 13416 SOS 7933 HAS SOPS 7921 HAS SOUS 1801 HAS SOUPS 1792 WITH SCORE 1799.933
AT ITER 2587 NEW BEST:: SOT 13412 SOS 7929 HAS SOPS 7917 HAS SOUS 1801 HAS SOUPS 1792 WITH SCORE 1799.929
AT ITER 2589 NEW BEST:: SOT 13415 SOS 7934 HAS SOPS 7922 HAS SOUS 1797 HAS SOUPS 1788 WITH SCORE 1795.934
AT ITER 2695 NEW BEST:: SOT 13415 SOS 7934 HAS SOPS 7922 HAS SOUS 1795 HAS SOUPS 1786 WITH SCORE 1793.934
AT ITER 2711 NEW BEST:: SOT 13431 SOS 7950 HAS SOPS 7938 HAS SOUS 1794 HAS SOUPS 1785 WITH SCORE 1792.95
AT ITER 2780 NEW BEST:: SOT 13431 SOS 7950 HAS SOPS 7938 HAS SOUS 1793 HAS SOUPS 1784 WITH SCORE 1791.95
AT ITER 2788 NEW BEST:: SOT 13430 SOS 7948 HAS SOPS 7936 HAS SOUS 1793 HAS SOUPS 1784 WITH SCORE 1791.948
AT ITER 2805 NEW BEST:: SOT 13423 SOS 7941 HAS SOPS 7929 HAS SOUS 1789 HAS SOUPS 1780 WITH SCORE 1787.941
AT ITER 2867 NEW BEST:: SOT 13424 SOS 7942 HAS SOPS 7930 HAS SOUS 1788 HAS SOUPS 1779 WITH SCORE 1786.942
AT ITER 2875 NEW BEST:: SOT 13418 SOS 7674 HAS SOPS 7662 HAS SOUS 1788 HAS SOUPS 1779 WITH SCORE 1786.674
AT ITER 2913 NEW BEST:: SOT 13434 SOS 7690 HAS SOPS 7678 HAS SOUS 1783 HAS SOUPS 1774 WITH SCORE 1781.69
AT ITER 2932 NEW BEST:: SOT 13432 SOS 7688 HAS SOPS 7676 HAS SOUS 1781 HAS SOUPS 1772 WITH SCORE 1779.688
AT ITER 2939 NEW BEST:: SOT 13432 SOS 7688 HAS SOPS 7676 HAS SOUS 1779 HAS SOUPS 1770 WITH SCORE 1777.688
AT ITER 2996 NEW BEST:: SOT 13430 SOS 7688 HAS SOPS 7676 HAS SOUS 1775 HAS SOUPS 1766 WITH SCORE 1773.688
AT ITER 3145 NEW BEST:: SOT 13436 SOS 7589 HAS SOPS 7577 HAS SOUS 1775 HAS SOUPS 1766 WITH SCORE 1773.589
AT ITER 3181 NEW BEST:: SOT 13432 SOS 7578 HAS SOPS 7566 HAS SOUS 1775 HAS SOUPS 1766 WITH SCORE 1773.578
AT ITER 3203 NEW BEST:: SOT 13433 SOS 7579 HAS SOPS 7567 HAS SOUS 1774 HAS SOUPS 1765 WITH SCORE 1772.579
AT ITER 3205 NEW BEST:: SOT 13431 SOS 7577 HAS SOPS 7565 HAS SOUS 1770 HAS SOUPS 1761 WITH SCORE 1768.577
AT ITER 3288 NEW BEST:: SOT 13428 SOS 7574 HAS SOPS 7562 HAS SOUS 1766 HAS SOUPS 1757 WITH SCORE 1764.574
AT ITER 3397 NEW BEST:: SOT 13424 SOS 7570 HAS SOPS 7558 HAS SOUS 1760 HAS SOUPS 1751 WITH SCORE 1758.57
AT ITER 3423 NEW BEST:: SOT 13421 SOS 7567 HAS SOPS 7555 HAS SOUS 1758 HAS SOUPS 1749 WITH SCORE 1756.567
AT ITER 3546 NEW BEST:: SOT 13420 SOS 7565 HAS SOPS 7553 HAS SOUS 1757 HAS SOUPS 1748 WITH SCORE 1755.565
AT ITER 3667 NEW BEST:: SOT 13413 SOS 7557 HAS SOPS 7545 HAS SOUS 1749 HAS SOUPS 1740 WITH SCORE 1747.557
AT ITER 3752 NEW BEST:: SOT 13410 SOS 7551 HAS SOPS 7539 HAS SOUS 1746 HAS SOUPS 1737 WITH SCORE 1744.551
AT ITER 3793 NEW BEST:: SOT 13409 SOS 7550 HAS SOPS 7538 HAS SOUS 1746 HAS SOUPS 1737 WITH SCORE 1744.55
AT ITER 3986 NEW BEST:: SOT 13408 SOS 7549 HAS SOPS 7537 HAS SOUS 1743 HAS SOUPS 1734 WITH SCORE 1741.549
AT ITER 3993 NEW BEST:: SOT 13407 SOS 7548 HAS SOPS 7536 HAS SOUS 1743 HAS SOUPS 1734 WITH SCORE 1741.548
AT ITER 4006 NEW BEST:: SOT 13403 SOS 7535 HAS SOPS 7523 HAS SOUS 1743 HAS SOUPS 1734 WITH SCORE 1741.535
AT ITER 4015 NEW BEST:: SOT 13405 SOS 7531 HAS SOPS 7519 HAS SOUS 1743 HAS SOUPS 1734 WITH SCORE 1741.531
AT ITER 4039 NEW BEST:: SOT 13404 SOS 7529 HAS SOPS 7517 HAS SOUS 1739 HAS SOUPS 1730 WITH SCORE 1737.529
AT ITER 4056 NEW BEST:: SOT 13398 SOS 7523 HAS SOPS 7511 HAS SOUS 1739 HAS SOUPS 1730 WITH SCORE 1737.523
AT ITER 4108 NEW BEST:: SOT 13396 SOS 7521 HAS SOPS 7509 HAS SOUS 1737 HAS SOUPS 1728 WITH SCORE 1735.521
AT ITER 4133 NEW BEST:: SOT 13395 SOS 7520 HAS SOPS 7508 HAS SOUS 1737 HAS SOUPS 1728 WITH SCORE 1735.52
AT ITER 4184 NEW BEST:: SOT 13394 SOS 7480 HAS SOPS 7468 HAS SOUS 1737 HAS SOUPS 1728 WITH SCORE 1735.48
AT ITER 4222 NEW BEST:: SOT 13392 SOS 7454 HAS SOPS 7442 HAS SOUS 1734 HAS SOUPS 1725 WITH SCORE 1732.454
AT ITER 4228 NEW BEST:: SOT 13397 SOS 7524 HAS SOPS 7512 HAS SOUS 1733 HAS SOUPS 1724 WITH SCORE 1731.524
AT ITER 4251 NEW BEST:: SOT 13399 SOS 7549 HAS SOPS 7537 HAS SOUS 1730 HAS SOUPS 1721 WITH SCORE 1728.549
AT ITER 4299 NEW BEST:: SOT 13390 SOS 7540 HAS SOPS 7528 HAS SOUS 1729 HAS SOUPS 1720 WITH SCORE 1727.54
AT ITER 4300 NEW BEST:: SOT 13387 SOS 7606 HAS SOPS 7594 HAS SOUS 1728 HAS SOUPS 1719 WITH SCORE 1726.606
AT ITER 4358 NEW BEST:: SOT 13386 SOS 7605 HAS SOPS 7593 HAS SOUS 1725 HAS SOUPS 1716 WITH SCORE 1723.605
AT ITER 4539 NEW BEST:: SOT 13386 SOS 7605 HAS SOPS 7593 HAS SOUS 1724 HAS SOUPS 1715 WITH SCORE 1722.605
AT ITER 4569 NEW BEST:: SOT 13385 SOS 7604 HAS SOPS 7592 HAS SOUS 1723 HAS SOUPS 1714 WITH SCORE 1721.604
AT ITER 4663 NEW BEST:: SOT 13382 SOS 7601 HAS SOPS 7589 HAS SOUS 1719 HAS SOUPS 1710 WITH SCORE 1717.601
AT ITER 4756 NEW BEST:: SOT 13381 SOS 7600 HAS SOPS 7588 HAS SOUS 1718 HAS SOUPS 1709 WITH SCORE 1716.6
AT ITER 4812 NEW BEST:: SOT 13381 SOS 7599 HAS SOPS 7587 HAS SOUS 1716 HAS SOUPS 1707 WITH SCORE 1714.599
AT ITER 4831 NEW BEST:: SOT 13377 SOS 7595 HAS SOPS 7583 HAS SOUS 1716 HAS SOUPS 1707 WITH SCORE 1714.595
AT ITER 4845 NEW BEST:: SOT 13375 SOS 7593 HAS SOPS 7581 HAS SOUS 1714 HAS SOUPS 1705 WITH SCORE 1712.593
AT ITER 4905 NEW BEST:: SOT 13379 SOS 7597 HAS SOPS 7585 HAS SOUS 1713 HAS SOUPS 1704 WITH SCORE 1711.597
AT ITER 4938 NEW BEST:: SOT 13377 SOS 7594 HAS SOPS 7582 HAS SOUS 1712 HAS SOUPS 1703 WITH SCORE 1710.594
AT ITER 4952 NEW BEST:: SOT 13373 SOS 7584 HAS SOPS 7572 HAS SOUS 1710 HAS SOUPS 1701 WITH SCORE 1708.584
AT ITER 4958 NEW BEST:: SOT 13367 SOS 7569 HAS SOPS 7557 HAS SOUS 1704 HAS SOUPS 1695 WITH SCORE 1702.569
AT ITER 4959 NEW BEST:: SOT 13365 SOS 7562 HAS SOPS 7550 HAS SOUS 1704 HAS SOUPS 1695 WITH SCORE 1702.562
AT ITER 5001 NEW BEST:: SOT 13364 SOS 7560 HAS SOPS 7548 HAS SOUS 1702 HAS SOUPS 1693 WITH SCORE 1700.56
AT ITER 5019 NEW BEST:: SOT 13359 SOS 7555 HAS SOPS 7543 HAS SOUS 1700 HAS SOUPS 1691 WITH SCORE 1698.555
AT ITER 5031 NEW BEST:: SOT 13358 SOS 7554 HAS SOPS 7542 HAS SOUS 1699 HAS SOUPS 1690 WITH SCORE 1697.554
AT ITER 5045 NEW BEST:: SOT 13357 SOS 7539 HAS SOPS 7527 HAS SOUS 1698 HAS SOUPS 1689 WITH SCORE 1696.539
AT ITER 5052 NEW BEST:: SOT 13356 SOS 7538 HAS SOPS 7526 HAS SOUS 1698 HAS SOUPS 1689 WITH SCORE 1696.538
AT ITER 5074 NEW BEST:: SOT 13359 SOS 7544 HAS SOPS 7532 HAS SOUS 1697 HAS SOUPS 1688 WITH SCORE 1695.544
AT ITER 5135 NEW BEST:: SOT 13358 SOS 7542 HAS SOPS 7530 HAS SOUS 1696 HAS SOUPS 1687 WITH SCORE 1694.542
AT ITER 5191 NEW BEST:: SOT 13363 SOS 7547 HAS SOPS 7535 HAS SOUS 1695 HAS SOUPS 1686 WITH SCORE 1693.547
AT ITER 5198 NEW BEST:: SOT 13358 SOS 7547 HAS SOPS 7535 HAS SOUS 1694 HAS SOUPS 1685 WITH SCORE 1692.547
AT ITER 5265 NEW BEST:: SOT 13358 SOS 7547 HAS SOPS 7535 HAS SOUS 1693 HAS SOUPS 1684 WITH SCORE 1691.547
AT ITER 5384 NEW BEST:: SOT 13348 SOS 7519 HAS SOPS 7507 HAS SOUS 1693 HAS SOUPS 1684 WITH SCORE 1691.519
AT ITER 5418 NEW BEST:: SOT 13348 SOS 7519 HAS SOPS 7507 HAS SOUS 1691 HAS SOUPS 1682 WITH SCORE 1689.519
AT ITER 5642 NEW BEST:: SOT 13342 SOS 7507 HAS SOPS 7495 HAS SOUS 1682 HAS SOUPS 1673 WITH SCORE 1680.507
AT ITER 5685 NEW BEST:: SOT 13340 SOS 7505 HAS SOPS 7493 HAS SOUS 1680 HAS SOUPS 1671 WITH SCORE 1678.505
AT ITER 5784 NEW BEST:: SOT 13341 SOS 7506 HAS SOPS 7494 HAS SOUS 1677 HAS SOUPS 1668 WITH SCORE 1675.506
AT ITER 5810 NEW BEST:: SOT 13340 SOS 7505 HAS SOPS 7493 HAS SOUS 1676 HAS SOUPS 1667 WITH SCORE 1674.505
AT ITER 6008 NEW BEST:: SOT 13341 SOS 7508 HAS SOPS 7496 HAS SOUS 1675 HAS SOUPS 1666 WITH SCORE 1673.508
AT ITER 6077 NEW BEST:: SOT 13341 SOS 7508 HAS SOPS 7496 HAS SOUS 1674 HAS SOUPS 1665 WITH SCORE 1672.508
AT ITER 6117 NEW BEST:: SOT 13340 SOS 7507 HAS SOPS 7495 HAS SOUS 1673 HAS SOUPS 1664 WITH SCORE 1671.507
AT ITER 6137 NEW BEST:: SOT 13359 SOS 7400 HAS SOPS 7388 HAS SOUS 1672 HAS SOUPS 1663 WITH SCORE 1670.4
AT ITER 6200 NEW BEST:: SOT 13358 SOS 7398 HAS SOPS 7386 HAS SOUS 1672 HAS SOUPS 1663 WITH SCORE 1670.398
AT ITER 6206 NEW BEST:: SOT 13355 SOS 7395 HAS SOPS 7383 HAS SOUS 1666 HAS SOUPS 1657 WITH SCORE 1664.395
AT ITER 6226 NEW BEST:: SOT 13355 SOS 7395 HAS SOPS 7383 HAS SOUS 1664 HAS SOUPS 1655 WITH SCORE 1662.395
AT ITER 6259 NEW BEST:: SOT 13353 SOS 7399 HAS SOPS 7387 HAS SOUS 1660 HAS SOUPS 1651 WITH SCORE 1658.399
AT ITER 6296 NEW BEST:: SOT 13353 SOS 7399 HAS SOPS 7387 HAS SOUS 1658 HAS SOUPS 1649 WITH SCORE 1656.399
AT ITER 6431 NEW BEST:: SOT 13352 SOS 7396 HAS SOPS 7384 HAS SOUS 1653 HAS SOUPS 1644 WITH SCORE 1651.396
AT ITER 6499 NEW BEST:: SOT 13351 SOS 7395 HAS SOPS 7383 HAS SOUS 1652 HAS SOUPS 1643 WITH SCORE 1650.395
AT ITER 6579 NEW BEST:: SOT 13349 SOS 7391 HAS SOPS 7379 HAS SOUS 1649 HAS SOUPS 1640 WITH SCORE 1647.391
AT ITER 6636 NEW BEST:: SOT 13347 SOS 7383 HAS SOPS 7371 HAS SOUS 1642 HAS SOUPS 1633 WITH SCORE 1640.383
AT ITER 6653 NEW BEST:: SOT 13343 SOS 7375 HAS SOPS 7363 HAS SOUS 1642 HAS SOUPS 1633 WITH SCORE 1640.375
AT ITER 6669 NEW BEST:: SOT 13338 SOS 7401 HAS SOPS 7389 HAS SOUS 1640 HAS SOUPS 1631 WITH SCORE 1638.401
AT ITER 6797 NEW BEST:: SOT 13338 SOS 7399 HAS SOPS 7387 HAS SOUS 1638 HAS SOUPS 1629 WITH SCORE 1636.399
AT ITER 6953 NEW BEST:: SOT 13328 SOS 7379 HAS SOPS 7367 HAS SOUS 1633 HAS SOUPS 1624 WITH SCORE 1631.379
AT ITER 6994 NEW BEST:: SOT 13327 SOS 7378 HAS SOPS 7366 HAS SOUS 1630 HAS SOUPS 1621 WITH SCORE 1628.378
AT ITER 7249 NEW BEST:: SOT 13325 SOS 7376 HAS SOPS 7364 HAS SOUS 1629 HAS SOUPS 1620 WITH SCORE 1627.376
AT ITER 7253 NEW BEST:: SOT 13324 SOS 7375 HAS SOPS 7363 HAS SOUS 1628 HAS SOUPS 1619 WITH SCORE 1626.375
AT ITER 7416 NEW BEST:: SOT 13323 SOS 7374 HAS SOPS 7362 HAS SOUS 1627 HAS SOUPS 1618 WITH SCORE 1625.374
AT ITER 7518 NEW BEST:: SOT 13327 SOS 7372 HAS SOPS 7360 HAS SOUS 1624 HAS SOUPS 1615 WITH SCORE 1622.372
AT ITER 7649 NEW BEST:: SOT 13326 SOS 7371 HAS SOPS 7359 HAS SOUS 1621 HAS SOUPS 1612 WITH SCORE 1619.371
AT ITER 7663 NEW BEST:: SOT 13325 SOS 7370 HAS SOPS 7358 HAS SOUS 1620 HAS SOUPS 1611 WITH SCORE 1618.37
AT ITER 7671 NEW BEST:: SOT 13324 SOS 7368 HAS SOPS 7356 HAS SOUS 1620 HAS SOUPS 1611 WITH SCORE 1618.368
AT ITER 7689 NEW BEST:: SOT 13324 SOS 7365 HAS SOPS 7353 HAS SOUS 1617 HAS SOUPS 1608 WITH SCORE 1615.365
AT ITER 7690 NEW BEST:: SOT 13322 SOS 7359 HAS SOPS 7347 HAS SOUS 1617 HAS SOUPS 1608 WITH SCORE 1615.359
AT ITER 7918 NEW BEST:: SOT 13324 SOS 7363 HAS SOPS 7351 HAS SOUS 1616 HAS SOUPS 1607 WITH SCORE 1614.363
AT ITER 8249 NEW BEST:: SOT 13326 SOS 7358 HAS SOPS 7346 HAS SOUS 1616 HAS SOUPS 1607 WITH SCORE 1614.358
AT ITER 8486 NEW BEST:: SOT 13326 SOS 7356 HAS SOPS 7344 HAS SOUS 1612 HAS SOUPS 1603 WITH SCORE 1610.356
AT ITER 8816 NEW BEST:: SOT 13325 SOS 7354 HAS SOPS 7342 HAS SOUS 1612 HAS SOUPS 1603 WITH SCORE 1610.354
AT ITER 8876 NEW BEST:: SOT 13314 SOS 7403 HAS SOPS 7391 HAS SOUS 1611 HAS SOUPS 1602 WITH SCORE 1609.403
AT ITER 8957 NEW BEST:: SOT 13312 SOS 7401 HAS SOPS 7389 HAS SOUS 1611 HAS SOUPS 1602 WITH SCORE 1609.401
AT ITER 9090 NEW BEST:: SOT 13310 SOS 7398 HAS SOPS 7386 HAS SOUS 1607 HAS SOUPS 1598 WITH SCORE 1605.398
AT ITER 9123 NEW BEST:: SOT 13308 SOS 7396 HAS SOPS 7384 HAS SOUS 1604 HAS SOUPS 1595 WITH SCORE 1602.396
AT ITER 9222 NEW BEST:: SOT 13307 SOS 7395 HAS SOPS 7383 HAS SOUS 1602 HAS SOUPS 1593 WITH SCORE 1600.395
AT ITER 9314 NEW BEST:: SOT 13305 SOS 7393 HAS SOPS 7381 HAS SOUS 1600 HAS SOUPS 1591 WITH SCORE 1598.393
AT ITER 9421 NEW BEST:: SOT 13303 SOS 7389 HAS SOPS 7377 HAS SOUS 1595 HAS SOUPS 1586 WITH SCORE 1593.389
AT ITER 9517 NEW BEST:: SOT 13299 SOS 7387 HAS SOPS 7375 HAS SOUS 1589 HAS SOUPS 1580 WITH SCORE 1587.387
AT ITER 9675 NEW BEST:: SOT 13298 SOS 7386 HAS SOPS 7374 HAS SOUS 1588 HAS SOUPS 1579 WITH SCORE 1586.386
AT ITER 9729 NEW BEST:: SOT 13298 SOS 7386 HAS SOPS 7374 HAS SOUS 1586 HAS SOUPS 1577 WITH SCORE 1584.386
AT ITER 9756 NEW BEST:: SOT 13296 SOS 7382 HAS SOPS 7370 HAS SOUS 1583 HAS SOUPS 1574 WITH SCORE 1581.382
AT ITER 9758 NEW BEST:: SOT 13296 SOS 7382 HAS SOPS 7370 HAS SOUS 1582 HAS SOUPS 1573 WITH SCORE 1580.382
AT ITER 9778 NEW BEST:: SOT 13296 SOS 7382 HAS SOPS 7370 HAS SOUS 1581 HAS SOUPS 1572 WITH SCORE 1579.382
AT ITER 9808 NEW BEST:: SOT 13295 SOS 7381 HAS SOPS 7369 HAS SOUS 1581 HAS SOUPS 1572 WITH SCORE 1579.381
AT ITER 9811 NEW BEST:: SOT 13295 SOS 7381 HAS SOPS 7369 HAS SOUS 1580 HAS SOUPS 1571 WITH SCORE 1578.381
AT ITER 9898 NEW BEST:: SOT 13294 SOS 7380 HAS SOPS 7368 HAS SOUS 1579 HAS SOUPS 1570 WITH SCORE 1577.38
AT ITER 9922 NEW BEST:: SOT 13288 SOS 7374 HAS SOPS 7362 HAS SOUS 1568 HAS SOUPS 1559 WITH SCORE 1566.374
STATE_SPACE STATES 1837836 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 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19897440 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678576612825

--------------------
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="HealthRecord-PT-01"
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 HealthRecord-PT-01, 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 r203-smll-167840349300240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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