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.r011-oct2-167813600400560.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutonomousCar-PT-02b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600400560
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 7.4K Feb 25 12:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 12:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 12:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 12:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K Feb 25 12:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 12:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 25 12:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:33 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 49K 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 1678740005338

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=AutonomousCar-PT-02b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 20:40:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 20:40:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 20:40:07] [INFO ] Load time of PNML (sax parser for PT used): 46 ms
[2023-03-13 20:40:07] [INFO ] Transformed 155 places.
[2023-03-13 20:40:07] [INFO ] Transformed 194 transitions.
[2023-03-13 20:40:07] [INFO ] Found NUPN structural information;
[2023-03-13 20:40:07] [INFO ] Parsed PT model containing 155 places and 194 transitions and 620 arcs in 113 ms.
[2023-03-13 20:40:07] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 155 places, 194 transitions and 620 arcs took 6 ms.
Total runtime 149 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 02b
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: 155 places, 194 transitions, 620 arcs.
AT ITER 0 NEW BEST:: SOT 18152 SOS 4681 HAS SOPS 4681 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3639.681
AT ITER 13 NEW BEST:: SOT 18152 SOS 4681 HAS SOPS 4681 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3638.681
AT ITER 15 NEW BEST:: SOT 18135 SOS 4667 HAS SOPS 4667 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3632.667
AT ITER 16 NEW BEST:: SOT 18140 SOS 4677 HAS SOPS 4677 HAS SOUS 3613 HAS SOUPS 3613 WITH SCORE 3617.677
AT ITER 25 NEW BEST:: SOT 18137 SOS 4724 HAS SOPS 4724 HAS SOUS 3611 HAS SOUPS 3611 WITH SCORE 3615.724
AT ITER 60 NEW BEST:: SOT 18125 SOS 4696 HAS SOPS 4696 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3587.696
AT ITER 67 NEW BEST:: SOT 18125 SOS 4696 HAS SOPS 4696 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3565.696
AT ITER 77 NEW BEST:: SOT 18118 SOS 4682 HAS SOPS 4682 HAS SOUS 3547 HAS SOUPS 3547 WITH SCORE 3551.682
AT ITER 103 NEW BEST:: SOT 18118 SOS 4670 HAS SOPS 4670 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3545.67
AT ITER 106 NEW BEST:: SOT 18104 SOS 4650 HAS SOPS 4650 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3523.65
AT ITER 107 NEW BEST:: SOT 18110 SOS 4643 HAS SOPS 4643 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3516.643
AT ITER 108 NEW BEST:: SOT 18110 SOS 4603 HAS SOPS 4603 HAS SOUS 3492 HAS SOUPS 3492 WITH SCORE 3496.603
AT ITER 116 NEW BEST:: SOT 18109 SOS 4613 HAS SOPS 4613 HAS SOUS 3489 HAS SOUPS 3489 WITH SCORE 3493.613
AT ITER 139 NEW BEST:: SOT 18107 SOS 4593 HAS SOPS 4593 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3475.593
AT ITER 158 NEW BEST:: SOT 18122 SOS 4524 HAS SOPS 4524 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3459.524
AT ITER 160 NEW BEST:: SOT 18118 SOS 4516 HAS SOPS 4516 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3459.516
AT ITER 164 NEW BEST:: SOT 17993 SOS 4457 HAS SOPS 4457 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3340.457
AT ITER 166 NEW BEST:: SOT 17980 SOS 4491 HAS SOPS 4491 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3334.491
AT ITER 169 NEW BEST:: SOT 17980 SOS 4483 HAS SOPS 4483 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3326.483
AT ITER 207 NEW BEST:: SOT 17975 SOS 4464 HAS SOPS 4464 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3316.464
AT ITER 213 NEW BEST:: SOT 17972 SOS 4458 HAS SOPS 4458 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3313.458
AT ITER 259 NEW BEST:: SOT 17967 SOS 4506 HAS SOPS 4506 HAS SOUS 3307 HAS SOUPS 3307 WITH SCORE 3311.506
AT ITER 260 NEW BEST:: SOT 17967 SOS 4502 HAS SOPS 4502 HAS SOUS 3307 HAS SOUPS 3307 WITH SCORE 3311.502
AT ITER 262 NEW BEST:: SOT 17966 SOS 4711 HAS SOPS 4711 HAS SOUS 3300 HAS SOUPS 3300 WITH SCORE 3304.711
AT ITER 272 NEW BEST:: SOT 17959 SOS 4711 HAS SOPS 4711 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3297.711
AT ITER 278 NEW BEST:: SOT 17945 SOS 4668 HAS SOPS 4668 HAS SOUS 3280 HAS SOUPS 3280 WITH SCORE 3284.668
AT ITER 286 NEW BEST:: SOT 17945 SOS 4660 HAS SOPS 4660 HAS SOUS 3276 HAS SOUPS 3276 WITH SCORE 3280.66
AT ITER 293 NEW BEST:: SOT 17949 SOS 4633 HAS SOPS 4633 HAS SOUS 3249 HAS SOUPS 3249 WITH SCORE 3253.633
AT ITER 333 NEW BEST:: SOT 17941 SOS 4617 HAS SOPS 4617 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3234.617
AT ITER 359 NEW BEST:: SOT 17929 SOS 4594 HAS SOPS 4594 HAS SOUS 3207 HAS SOUPS 3207 WITH SCORE 3211.594
AT ITER 379 NEW BEST:: SOT 17931 SOS 4593 HAS SOPS 4593 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3210.593
AT ITER 408 NEW BEST:: SOT 17930 SOS 4591 HAS SOPS 4591 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3209.591
AT ITER 430 NEW BEST:: SOT 17906 SOS 4551 HAS SOPS 4551 HAS SOUS 3173 HAS SOUPS 3173 WITH SCORE 3177.551
AT ITER 444 NEW BEST:: SOT 17906 SOS 4543 HAS SOPS 4543 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3173.543
AT ITER 466 NEW BEST:: SOT 17910 SOS 4551 HAS SOPS 4551 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3160.551
AT ITER 497 NEW BEST:: SOT 17910 SOS 4551 HAS SOPS 4551 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3152.551
AT ITER 576 NEW BEST:: SOT 17910 SOS 4549 HAS SOPS 4549 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3150.549
AT ITER 612 NEW BEST:: SOT 17895 SOS 4549 HAS SOPS 4549 HAS SOUS 3131 HAS SOUPS 3131 WITH SCORE 3135.549
AT ITER 637 NEW BEST:: SOT 17889 SOS 4537 HAS SOPS 4537 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3129.537
AT ITER 666 NEW BEST:: SOT 17883 SOS 4525 HAS SOPS 4525 HAS SOUS 3110 HAS SOUPS 3110 WITH SCORE 3114.525
AT ITER 701 NEW BEST:: SOT 17882 SOS 4523 HAS SOPS 4523 HAS SOUS 3107 HAS SOUPS 3107 WITH SCORE 3111.523
AT ITER 711 NEW BEST:: SOT 17863 SOS 4485 HAS SOPS 4485 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3096.485
AT ITER 715 NEW BEST:: SOT 17863 SOS 4461 HAS SOPS 4461 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3072.461
AT ITER 718 NEW BEST:: SOT 17861 SOS 4457 HAS SOPS 4457 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3070.457
AT ITER 726 NEW BEST:: SOT 17861 SOS 4455 HAS SOPS 4455 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3068.455
AT ITER 736 NEW BEST:: SOT 17860 SOS 4453 HAS SOPS 4453 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3066.453
AT ITER 738 NEW BEST:: SOT 17860 SOS 4445 HAS SOPS 4445 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3060.445
AT ITER 746 NEW BEST:: SOT 17859 SOS 4444 HAS SOPS 4444 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3059.444
AT ITER 768 NEW BEST:: SOT 17855 SOS 4440 HAS SOPS 4440 HAS SOUS 3051 HAS SOUPS 3051 WITH SCORE 3055.44
AT ITER 788 NEW BEST:: SOT 17830 SOS 4419 HAS SOPS 4419 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3034.419
AT ITER 794 NEW BEST:: SOT 17830 SOS 4419 HAS SOPS 4419 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3031.419
AT ITER 806 NEW BEST:: SOT 17830 SOS 4411 HAS SOPS 4411 HAS SOUS 3019 HAS SOUPS 3019 WITH SCORE 3023.411
AT ITER 807 NEW BEST:: SOT 17836 SOS 4422 HAS SOPS 4422 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3021.422
AT ITER 828 NEW BEST:: SOT 17833 SOS 4416 HAS SOPS 4416 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3018.416
AT ITER 836 NEW BEST:: SOT 17826 SOS 4411 HAS SOPS 4411 HAS SOUS 2994 HAS SOUPS 2994 WITH SCORE 2998.411
AT ITER 842 NEW BEST:: SOT 17825 SOS 4409 HAS SOPS 4409 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2996.409
AT ITER 845 NEW BEST:: SOT 17823 SOS 4407 HAS SOPS 4407 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2994.407
AT ITER 847 NEW BEST:: SOT 17822 SOS 4414 HAS SOPS 4414 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 2992.414
AT ITER 850 NEW BEST:: SOT 17813 SOS 4404 HAS SOPS 4404 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2989.404
AT ITER 895 NEW BEST:: SOT 17813 SOS 4403 HAS SOPS 4403 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2988.403
AT ITER 917 NEW BEST:: SOT 17810 SOS 4377 HAS SOPS 4377 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2966.377
AT ITER 919 NEW BEST:: SOT 17805 SOS 4370 HAS SOPS 4370 HAS SOUS 2955 HAS SOUPS 2955 WITH SCORE 2959.37
AT ITER 957 NEW BEST:: SOT 17792 SOS 4357 HAS SOPS 4357 HAS SOUS 2942 HAS SOUPS 2942 WITH SCORE 2946.357
AT ITER 965 NEW BEST:: SOT 17792 SOS 4357 HAS SOPS 4357 HAS SOUS 2941 HAS SOUPS 2941 WITH SCORE 2945.357
AT ITER 986 NEW BEST:: SOT 17789 SOS 4354 HAS SOPS 4354 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2942.354
AT ITER 1004 NEW BEST:: SOT 17789 SOS 4354 HAS SOPS 4354 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2940.354
AT ITER 1132 NEW BEST:: SOT 17793 SOS 4339 HAS SOPS 4339 HAS SOUS 2921 HAS SOUPS 2921 WITH SCORE 2925.339
AT ITER 1175 NEW BEST:: SOT 17782 SOS 4302 HAS SOPS 4302 HAS SOUS 2910 HAS SOUPS 2910 WITH SCORE 2914.302
AT ITER 1213 NEW BEST:: SOT 17780 SOS 4298 HAS SOPS 4298 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2911.298
AT ITER 1242 NEW BEST:: SOT 17780 SOS 4295 HAS SOPS 4295 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2908.295
AT ITER 1249 NEW BEST:: SOT 17774 SOS 4289 HAS SOPS 4289 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2902.289
AT ITER 1284 NEW BEST:: SOT 17778 SOS 4297 HAS SOPS 4297 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2897.297
AT ITER 1290 NEW BEST:: SOT 17785 SOS 4311 HAS SOPS 4311 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2888.311
AT ITER 1391 NEW BEST:: SOT 17788 SOS 4317 HAS SOPS 4317 HAS SOUS 2882 HAS SOUPS 2882 WITH SCORE 2886.317
AT ITER 1413 NEW BEST:: SOT 17785 SOS 4315 HAS SOPS 4315 HAS SOUS 2879 HAS SOUPS 2879 WITH SCORE 2883.315
AT ITER 1434 NEW BEST:: SOT 17761 SOS 4272 HAS SOPS 4272 HAS SOUS 2874 HAS SOUPS 2874 WITH SCORE 2878.272
AT ITER 1451 NEW BEST:: SOT 17767 SOS 4265 HAS SOPS 4265 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2871.265
AT ITER 1565 NEW BEST:: SOT 17762 SOS 4255 HAS SOPS 4255 HAS SOUS 2857 HAS SOUPS 2857 WITH SCORE 2861.255
AT ITER 1579 NEW BEST:: SOT 17762 SOS 4234 HAS SOPS 4234 HAS SOUS 2857 HAS SOUPS 2857 WITH SCORE 2861.234
AT ITER 1583 NEW BEST:: SOT 17761 SOS 4209 HAS SOPS 4209 HAS SOUS 2855 HAS SOUPS 2855 WITH SCORE 2859.209
AT ITER 1596 NEW BEST:: SOT 17759 SOS 4201 HAS SOPS 4201 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2855.201
AT ITER 1611 NEW BEST:: SOT 17753 SOS 4189 HAS SOPS 4189 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2849.189
AT ITER 1619 NEW BEST:: SOT 17752 SOS 4187 HAS SOPS 4187 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2848.187
AT ITER 1647 NEW BEST:: SOT 17750 SOS 4165 HAS SOPS 4165 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2844.165
AT ITER 1662 NEW BEST:: SOT 17743 SOS 4053 HAS SOPS 4053 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2837.053
AT ITER 1671 NEW BEST:: SOT 17738 SOS 4048 HAS SOPS 4048 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2827.048
AT ITER 1678 NEW BEST:: SOT 17734 SOS 3984 HAS SOPS 3984 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2826.984
AT ITER 1705 NEW BEST:: SOT 17733 SOS 3982 HAS SOPS 3982 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2819.982
AT ITER 1784 NEW BEST:: SOT 17719 SOS 3965 HAS SOPS 3965 HAS SOUS 2791 HAS SOUPS 2791 WITH SCORE 2794.965
AT ITER 1811 NEW BEST:: SOT 17722 SOS 3962 HAS SOPS 3962 HAS SOUS 2788 HAS SOUPS 2788 WITH SCORE 2791.962
AT ITER 1828 NEW BEST:: SOT 17713 SOS 3950 HAS SOPS 3950 HAS SOUS 2773 HAS SOUPS 2773 WITH SCORE 2776.95
AT ITER 1857 NEW BEST:: SOT 17713 SOS 3917 HAS SOPS 3917 HAS SOUS 2762 HAS SOUPS 2762 WITH SCORE 2765.917
AT ITER 1879 NEW BEST:: SOT 17708 SOS 3912 HAS SOPS 3912 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2760.912
AT ITER 1935 NEW BEST:: SOT 17705 SOS 3903 HAS SOPS 3903 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2754.903
AT ITER 1938 NEW BEST:: SOT 17705 SOS 3903 HAS SOPS 3903 HAS SOUS 2748 HAS SOUPS 2748 WITH SCORE 2751.903
AT ITER 1949 NEW BEST:: SOT 17708 SOS 3902 HAS SOPS 3902 HAS SOUS 2747 HAS SOUPS 2747 WITH SCORE 2750.902
AT ITER 1961 NEW BEST:: SOT 17708 SOS 3913 HAS SOPS 3913 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2748.913
AT ITER 1982 NEW BEST:: SOT 17701 SOS 3912 HAS SOPS 3912 HAS SOUS 2744 HAS SOUPS 2744 WITH SCORE 2747.912
AT ITER 2054 NEW BEST:: SOT 17700 SOS 3910 HAS SOPS 3910 HAS SOUS 2743 HAS SOUPS 2743 WITH SCORE 2746.91
AT ITER 2095 NEW BEST:: SOT 17700 SOS 3907 HAS SOPS 3907 HAS SOUS 2739 HAS SOUPS 2739 WITH SCORE 2742.907
AT ITER 2116 NEW BEST:: SOT 17696 SOS 3899 HAS SOPS 3899 HAS SOUS 2731 HAS SOUPS 2731 WITH SCORE 2734.899
AT ITER 2124 NEW BEST:: SOT 17687 SOS 3881 HAS SOPS 3881 HAS SOUS 2713 HAS SOUPS 2713 WITH SCORE 2716.881
AT ITER 2125 NEW BEST:: SOT 17689 SOS 3880 HAS SOPS 3880 HAS SOUS 2713 HAS SOUPS 2713 WITH SCORE 2716.88
AT ITER 2164 NEW BEST:: SOT 17688 SOS 3878 HAS SOPS 3878 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2714.878
AT ITER 2165 NEW BEST:: SOT 17685 SOS 3865 HAS SOPS 3865 HAS SOUS 2698 HAS SOUPS 2698 WITH SCORE 2701.865
AT ITER 2214 NEW BEST:: SOT 17683 SOS 3861 HAS SOPS 3861 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2697.861
AT ITER 2218 NEW BEST:: SOT 17683 SOS 3859 HAS SOPS 3859 HAS SOUS 2693 HAS SOUPS 2693 WITH SCORE 2696.859
AT ITER 2308 NEW BEST:: SOT 17663 SOS 3839 HAS SOPS 3839 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2685.839
AT ITER 2327 NEW BEST:: SOT 17662 SOS 3837 HAS SOPS 3837 HAS SOUS 2680 HAS SOUPS 2680 WITH SCORE 2683.837
AT ITER 2346 NEW BEST:: SOT 17653 SOS 3835 HAS SOPS 3835 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2681.835
AT ITER 2366 NEW BEST:: SOT 17646 SOS 3814 HAS SOPS 3814 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2681.814
AT ITER 2376 NEW BEST:: SOT 17645 SOS 3813 HAS SOPS 3813 HAS SOUS 2676 HAS SOUPS 2676 WITH SCORE 2679.813
AT ITER 2468 NEW BEST:: SOT 17637 SOS 3821 HAS SOPS 3821 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2669.821
AT ITER 2478 NEW BEST:: SOT 17635 SOS 3819 HAS SOPS 3819 HAS SOUS 2664 HAS SOUPS 2664 WITH SCORE 2667.819
AT ITER 2507 NEW BEST:: SOT 17635 SOS 3819 HAS SOPS 3819 HAS SOUS 2661 HAS SOUPS 2661 WITH SCORE 2664.819
AT ITER 2528 NEW BEST:: SOT 17633 SOS 3817 HAS SOPS 3817 HAS SOUS 2659 HAS SOUPS 2659 WITH SCORE 2662.817
AT ITER 2545 NEW BEST:: SOT 17632 SOS 3815 HAS SOPS 3815 HAS SOUS 2657 HAS SOUPS 2657 WITH SCORE 2660.815
AT ITER 2564 NEW BEST:: SOT 17630 SOS 3807 HAS SOPS 3807 HAS SOUS 2653 HAS SOUPS 2653 WITH SCORE 2656.807
AT ITER 2743 NEW BEST:: SOT 17630 SOS 3803 HAS SOPS 3803 HAS SOUS 2649 HAS SOUPS 2649 WITH SCORE 2652.803
AT ITER 2749 NEW BEST:: SOT 17631 SOS 3781 HAS SOPS 3781 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2642.781
AT ITER 2891 NEW BEST:: SOT 17627 SOS 3765 HAS SOPS 3765 HAS SOUS 2627 HAS SOUPS 2627 WITH SCORE 2630.765
AT ITER 2915 NEW BEST:: SOT 17627 SOS 3749 HAS SOPS 3749 HAS SOUS 2619 HAS SOUPS 2619 WITH SCORE 2622.749
AT ITER 2994 NEW BEST:: SOT 17626 SOS 3748 HAS SOPS 3748 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2619.748
AT ITER 3027 NEW BEST:: SOT 17623 SOS 3742 HAS SOPS 3742 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2613.742
AT ITER 3061 NEW BEST:: SOT 17617 SOS 3719 HAS SOPS 3719 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2601.719
AT ITER 3081 NEW BEST:: SOT 17619 SOS 3715 HAS SOPS 3715 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2601.715
AT ITER 3091 NEW BEST:: SOT 17618 SOS 3713 HAS SOPS 3713 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2599.713
AT ITER 3132 NEW BEST:: SOT 17606 SOS 3611 HAS SOPS 3611 HAS SOUS 2585 HAS SOUPS 2585 WITH SCORE 2588.611
AT ITER 3175 NEW BEST:: SOT 17605 SOS 3604 HAS SOPS 3604 HAS SOUS 2579 HAS SOUPS 2579 WITH SCORE 2582.604
AT ITER 3222 NEW BEST:: SOT 17602 SOS 3602 HAS SOPS 3602 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2580.602
AT ITER 3263 NEW BEST:: SOT 17600 SOS 3601 HAS SOPS 3601 HAS SOUS 2573 HAS SOUPS 2573 WITH SCORE 2576.601
AT ITER 3292 NEW BEST:: SOT 17597 SOS 3595 HAS SOPS 3595 HAS SOUS 2567 HAS SOUPS 2567 WITH SCORE 2570.595
AT ITER 3307 NEW BEST:: SOT 17592 SOS 3590 HAS SOPS 3590 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2565.59
AT ITER 3367 NEW BEST:: SOT 17588 SOS 3782 HAS SOPS 3782 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2563.782
AT ITER 3388 NEW BEST:: SOT 17575 SOS 3779 HAS SOPS 3779 HAS SOUS 2547 HAS SOUPS 2547 WITH SCORE 2550.779
AT ITER 3439 NEW BEST:: SOT 17581 SOS 3777 HAS SOPS 3777 HAS SOUS 2545 HAS SOUPS 2545 WITH SCORE 2548.777
AT ITER 3511 NEW BEST:: SOT 17575 SOS 3767 HAS SOPS 3767 HAS SOUS 2535 HAS SOUPS 2535 WITH SCORE 2538.767
AT ITER 3542 NEW BEST:: SOT 17575 SOS 3765 HAS SOPS 3765 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2536.765
AT ITER 3580 NEW BEST:: SOT 17568 SOS 3758 HAS SOPS 3758 HAS SOUS 2526 HAS SOUPS 2526 WITH SCORE 2529.758
AT ITER 3626 NEW BEST:: SOT 17567 SOS 3724 HAS SOPS 3724 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2528.724
AT ITER 3627 NEW BEST:: SOT 17562 SOS 3714 HAS SOPS 3714 HAS SOUS 2522 HAS SOUPS 2522 WITH SCORE 2525.714
AT ITER 3701 NEW BEST:: SOT 17562 SOS 3714 HAS SOPS 3714 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2523.714
AT ITER 3738 NEW BEST:: SOT 17561 SOS 3712 HAS SOPS 3712 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2521.712
AT ITER 3742 NEW BEST:: SOT 17562 SOS 3706 HAS SOPS 3706 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2520.706
AT ITER 3779 NEW BEST:: SOT 17561 SOS 3704 HAS SOPS 3704 HAS SOUS 2515 HAS SOUPS 2515 WITH SCORE 2518.704
AT ITER 3782 NEW BEST:: SOT 17556 SOS 3694 HAS SOPS 3694 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2517.694
AT ITER 3830 NEW BEST:: SOT 17556 SOS 3696 HAS SOPS 3696 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2515.696
AT ITER 3880 NEW BEST:: SOT 17556 SOS 3695 HAS SOPS 3695 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2514.695
AT ITER 4012 NEW BEST:: SOT 17558 SOS 3690 HAS SOPS 3690 HAS SOUS 2505 HAS SOUPS 2505 WITH SCORE 2508.69
AT ITER 4021 NEW BEST:: SOT 17549 SOS 3676 HAS SOPS 3676 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2497.676
AT ITER 4180 NEW BEST:: SOT 17543 SOS 3667 HAS SOPS 3667 HAS SOUS 2493 HAS SOUPS 2493 WITH SCORE 2496.667
AT ITER 4267 NEW BEST:: SOT 17534 SOS 3649 HAS SOPS 3649 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2478.649
AT ITER 4437 NEW BEST:: SOT 17532 SOS 3646 HAS SOPS 3646 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2477.646
AT ITER 4466 NEW BEST:: SOT 17529 SOS 3643 HAS SOPS 3643 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2474.643
AT ITER 4467 NEW BEST:: SOT 17526 SOS 3637 HAS SOPS 3637 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2470.637
AT ITER 4498 NEW BEST:: SOT 17526 SOS 3637 HAS SOPS 3637 HAS SOUS 2462 HAS SOUPS 2462 WITH SCORE 2465.637
AT ITER 4529 NEW BEST:: SOT 17534 SOS 3653 HAS SOPS 3653 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2461.653
AT ITER 4659 NEW BEST:: SOT 17534 SOS 3653 HAS SOPS 3653 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2459.653
AT ITER 4710 NEW BEST:: SOT 17532 SOS 3649 HAS SOPS 3649 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2457.649
AT ITER 4756 NEW BEST:: SOT 17520 SOS 3751 HAS SOPS 3751 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2456.751
AT ITER 4788 NEW BEST:: SOT 17516 SOS 3743 HAS SOPS 3743 HAS SOUS 2445 HAS SOUPS 2445 WITH SCORE 2448.743
AT ITER 4804 NEW BEST:: SOT 17513 SOS 3737 HAS SOPS 3737 HAS SOUS 2439 HAS SOUPS 2439 WITH SCORE 2442.737
AT ITER 4821 NEW BEST:: SOT 17512 SOS 3667 HAS SOPS 3667 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2440.667
AT ITER 4998 NEW BEST:: SOT 17512 SOS 3664 HAS SOPS 3664 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2440.664
AT ITER 5075 NEW BEST:: SOT 17512 SOS 3664 HAS SOPS 3664 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2439.664
AT ITER 5085 NEW BEST:: SOT 17512 SOS 3653 HAS SOPS 3653 HAS SOUS 2434 HAS SOUPS 2434 WITH SCORE 2437.653
AT ITER 5141 NEW BEST:: SOT 17501 SOS 3631 HAS SOPS 3631 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2415.631
AT ITER 5288 NEW BEST:: SOT 17499 SOS 3625 HAS SOPS 3625 HAS SOUS 2408 HAS SOUPS 2408 WITH SCORE 2411.625
AT ITER 5333 NEW BEST:: SOT 17495 SOS 3621 HAS SOPS 3621 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2407.621
AT ITER 5349 NEW BEST:: SOT 17492 SOS 3615 HAS SOPS 3615 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2404.615
AT ITER 5350 NEW BEST:: SOT 17489 SOS 3590 HAS SOPS 3590 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2390.59
AT ITER 5444 NEW BEST:: SOT 17488 SOS 3588 HAS SOPS 3588 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2388.588
AT ITER 5483 NEW BEST:: SOT 17480 SOS 3580 HAS SOPS 3580 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2380.58
AT ITER 5602 NEW BEST:: SOT 17486 SOS 3672 HAS SOPS 3672 HAS SOUS 2376 HAS SOUPS 2376 WITH SCORE 2379.672
AT ITER 5709 NEW BEST:: SOT 17506 SOS 3532 HAS SOPS 3532 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2369.532
AT ITER 5733 NEW BEST:: SOT 17504 SOS 3527 HAS SOPS 3527 HAS SOUS 2364 HAS SOUPS 2364 WITH SCORE 2367.527
AT ITER 5783 NEW BEST:: SOT 17503 SOS 3525 HAS SOPS 3525 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2365.525
AT ITER 5824 NEW BEST:: SOT 17507 SOS 3510 HAS SOPS 3510 HAS SOUS 2347 HAS SOUPS 2347 WITH SCORE 2350.51
AT ITER 5829 NEW BEST:: SOT 17506 SOS 3508 HAS SOPS 3508 HAS SOUS 2345 HAS SOUPS 2345 WITH SCORE 2348.508
AT ITER 5853 NEW BEST:: SOT 17495 SOS 3487 HAS SOPS 3487 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2344.487
AT ITER 5883 NEW BEST:: SOT 17493 SOS 3485 HAS SOPS 3485 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2337.485
AT ITER 5903 NEW BEST:: SOT 17489 SOS 3465 HAS SOPS 3465 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2336.465
AT ITER 5908 NEW BEST:: SOT 17487 SOS 3461 HAS SOPS 3461 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2336.461
AT ITER 5922 NEW BEST:: SOT 17479 SOS 3445 HAS SOPS 3445 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2320.445
AT ITER 6021 NEW BEST:: SOT 17481 SOS 3443 HAS SOPS 3443 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2316.443
AT ITER 6091 NEW BEST:: SOT 17479 SOS 3439 HAS SOPS 3439 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2312.439
AT ITER 6112 NEW BEST:: SOT 17478 SOS 3438 HAS SOPS 3438 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2312.438
AT ITER 6126 NEW BEST:: SOT 17478 SOS 3438 HAS SOPS 3438 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2310.438
AT ITER 6186 NEW BEST:: SOT 17477 SOS 3437 HAS SOPS 3437 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2309.437
AT ITER 6228 NEW BEST:: SOT 17474 SOS 3435 HAS SOPS 3435 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2307.435
AT ITER 6368 NEW BEST:: SOT 17473 SOS 3434 HAS SOPS 3434 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2306.434
AT ITER 6379 NEW BEST:: SOT 17474 SOS 3430 HAS SOPS 3430 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2305.43
AT ITER 6399 NEW BEST:: SOT 17470 SOS 3430 HAS SOPS 3430 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2301.43
AT ITER 6496 NEW BEST:: SOT 17470 SOS 3430 HAS SOPS 3430 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2295.43
AT ITER 6510 NEW BEST:: SOT 17470 SOS 3429 HAS SOPS 3429 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2295.429
AT ITER 6511 NEW BEST:: SOT 17467 SOS 3423 HAS SOPS 3423 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2289.423
AT ITER 6523 NEW BEST:: SOT 17451 SOS 3404 HAS SOPS 3404 HAS SOUS 2270 HAS SOUPS 2270 WITH SCORE 2273.404
AT ITER 6532 NEW BEST:: SOT 17453 SOS 3408 HAS SOPS 3408 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2272.408
AT ITER 6535 NEW BEST:: SOT 17453 SOS 3408 HAS SOPS 3408 HAS SOUS 2262 HAS SOUPS 2262 WITH SCORE 2265.408
AT ITER 6632 NEW BEST:: SOT 17453 SOS 3406 HAS SOPS 3406 HAS SOUS 2262 HAS SOUPS 2262 WITH SCORE 2265.406
AT ITER 6649 NEW BEST:: SOT 17453 SOS 3399 HAS SOPS 3399 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2258.399
AT ITER 6653 NEW BEST:: SOT 17451 SOS 3395 HAS SOPS 3395 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2254.395
AT ITER 6680 NEW BEST:: SOT 17451 SOS 3395 HAS SOPS 3395 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2251.395
AT ITER 6710 NEW BEST:: SOT 17450 SOS 3393 HAS SOPS 3393 HAS SOUS 2245 HAS SOUPS 2245 WITH SCORE 2248.393
AT ITER 6746 NEW BEST:: SOT 17448 SOS 3389 HAS SOPS 3389 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2246.389
AT ITER 6810 NEW BEST:: SOT 17447 SOS 3387 HAS SOPS 3387 HAS SOUS 2241 HAS SOUPS 2241 WITH SCORE 2244.387
AT ITER 6894 NEW BEST:: SOT 17446 SOS 3384 HAS SOPS 3384 HAS SOUS 2239 HAS SOUPS 2239 WITH SCORE 2242.384
AT ITER 6910 NEW BEST:: SOT 17444 SOS 3383 HAS SOPS 3383 HAS SOUS 2238 HAS SOUPS 2238 WITH SCORE 2241.383
AT ITER 6928 NEW BEST:: SOT 17444 SOS 3381 HAS SOPS 3381 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2240.381
AT ITER 6939 NEW BEST:: SOT 17442 SOS 3378 HAS SOPS 3378 HAS SOUS 2233 HAS SOUPS 2233 WITH SCORE 2236.378
AT ITER 7221 NEW BEST:: SOT 17441 SOS 3376 HAS SOPS 3376 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2234.376
AT ITER 7337 NEW BEST:: SOT 17440 SOS 3404 HAS SOPS 3404 HAS SOUS 2229 HAS SOUPS 2229 WITH SCORE 2232.404
AT ITER 7377 NEW BEST:: SOT 17440 SOS 3404 HAS SOPS 3404 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2228.404
AT ITER 7447 NEW BEST:: SOT 17438 SOS 3402 HAS SOPS 3402 HAS SOUS 2223 HAS SOUPS 2223 WITH SCORE 2226.402
AT ITER 7537 NEW BEST:: SOT 17430 SOS 3393 HAS SOPS 3393 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2222.393
AT ITER 7554 NEW BEST:: SOT 17425 SOS 3386 HAS SOPS 3386 HAS SOUS 2212 HAS SOUPS 2212 WITH SCORE 2215.386
AT ITER 7690 NEW BEST:: SOT 17424 SOS 3384 HAS SOPS 3384 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2214.384
AT ITER 7803 NEW BEST:: SOT 17424 SOS 3383 HAS SOPS 3383 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2213.383
AT ITER 7810 NEW BEST:: SOT 17423 SOS 3379 HAS SOPS 3379 HAS SOUS 2209 HAS SOUPS 2209 WITH SCORE 2212.379
AT ITER 7847 NEW BEST:: SOT 17422 SOS 3376 HAS SOPS 3376 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2211.376
AT ITER 7981 NEW BEST:: SOT 17421 SOS 3374 HAS SOPS 3374 HAS SOUS 2206 HAS SOUPS 2206 WITH SCORE 2209.374
AT ITER 8039 NEW BEST:: SOT 17419 SOS 3367 HAS SOPS 3367 HAS SOUS 2199 HAS SOUPS 2199 WITH SCORE 2202.367
AT ITER 8233 NEW BEST:: SOT 17417 SOS 3366 HAS SOPS 3366 HAS SOUS 2198 HAS SOUPS 2198 WITH SCORE 2201.366
AT ITER 8251 NEW BEST:: SOT 17405 SOS 3364 HAS SOPS 3364 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2199.364
AT ITER 8529 NEW BEST:: SOT 17403 SOS 3360 HAS SOPS 3360 HAS SOUS 2192 HAS SOUPS 2192 WITH SCORE 2195.36
AT ITER 8856 NEW BEST:: SOT 17400 SOS 3354 HAS SOPS 3354 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2183.354
AT ITER 8907 NEW BEST:: SOT 17393 SOS 3353 HAS SOPS 3353 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2182.353
AT ITER 9117 NEW BEST:: SOT 17388 SOS 3348 HAS SOPS 3348 HAS SOUS 2174 HAS SOUPS 2174 WITH SCORE 2177.348
AT ITER 9189 NEW BEST:: SOT 17386 SOS 3344 HAS SOPS 3344 HAS SOUS 2170 HAS SOUPS 2170 WITH SCORE 2173.344
AT ITER 9365 NEW BEST:: SOT 17383 SOS 3338 HAS SOPS 3338 HAS SOUS 2164 HAS SOUPS 2164 WITH SCORE 2167.338
AT ITER 9617 NEW BEST:: SOT 17383 SOS 3338 HAS SOPS 3338 HAS SOUS 2163 HAS SOUPS 2163 WITH SCORE 2166.338
AT ITER 9695 NEW BEST:: SOT 17385 SOS 3337 HAS SOPS 3337 HAS SOUS 2162 HAS SOUPS 2162 WITH SCORE 2165.337
AT ITER 9729 NEW BEST:: SOT 17384 SOS 3335 HAS SOPS 3335 HAS SOUS 2160 HAS SOUPS 2160 WITH SCORE 2163.335
AT ITER 9953 NEW BEST:: SOT 17383 SOS 3331 HAS SOPS 3331 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2162.331
AT ITER 9999 NEW BEST:: SOT 17382 SOS 3330 HAS SOPS 3330 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2161.33
STATE_SPACE STATES 4051732 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 7 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 21875529 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678740014697

--------------------
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="AutonomousCar-PT-02b"
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 AutonomousCar-PT-02b, 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 r011-oct2-167813600400560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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