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.r491-tall-167912710800672.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 TokenRing-PT-015, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710800672
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 41M
-rw-r--r-- 1 mcc users 369K Feb 25 15:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.9M Feb 25 15:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4M Feb 25 14:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 13M Feb 25 14:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 134K Feb 25 17:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 472K Feb 25 17:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.5M Feb 25 17:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 4.2M Feb 25 17:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 274K Feb 25 15:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.4M Feb 25 15:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0M Feb 25 15:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11M Feb 25 15:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 28K Feb 25 17:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 71K Feb 25 17:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.7M Mar 5 18:23 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 1679280052344

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=TokenRing-PT-015
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 02:40:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 02:40:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 02:40:54] [INFO ] Load time of PNML (sax parser for PT used): 152 ms
[2023-03-20 02:40:54] [INFO ] Transformed 256 places.
[2023-03-20 02:40:54] [INFO ] Transformed 3616 transitions.
[2023-03-20 02:40:54] [INFO ] Found NUPN structural information;
[2023-03-20 02:40:54] [INFO ] Completing missing partition info from NUPN : creating a component with [State_14_5, State_12_6, State_14_7, State_12_2, State_1_11, State_10_3, State_8_5, State_15_5, State_1_14, State_0_10, State_10_15, State_6_4, State_8_14, State_2_3, State_3_12, State_15_13, State_4_7, State_2_11, State_6_8, State_0_6, State_7_1, State_3_7, State_5_0, State_13_12, State_11_15, State_11_11, State_9_14, State_5_4, State_13_8, State_4_8, State_7_3, State_9_2, State_14_9, State_13_15, State_12_4, State_10_5, State_3_10, State_14_3, State_12_14, State_2_1, State_6_15, State_5_14, State_13_6, State_6_6, State_10_8, State_11_0, State_1_13, State_15_3, State_8_0, State_1_0, State_11_5, State_3_13, State_15_8, State_9_4, State_4_10, State_9_9, State_7_11, State_8_3, State_0_12, State_2_9, State_7_8, State_5_6, State_4_5, State_0_7]
[2023-03-20 02:40:54] [INFO ] Parsed PT model containing 256 places and 3616 transitions and 14464 arcs in 247 ms.
[2023-03-20 02:40:54] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 256 places, 3616 transitions and 14464 arcs took 28 ms.
Total runtime 307 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (PT), instance 015
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: 256 places, 3616 transitions, 14464 arcs.
AT ITER 0 NEW BEST:: SOT 504584 SOS 130342 HAS SOPS 82110 HAS SOUS 63418 HAS SOUPS 59602 WITH SCORE 59732.342
AT ITER 10 NEW BEST:: SOT 504615 SOS 130663 HAS SOPS 82431 HAS SOUS 63319 HAS SOUPS 59503 WITH SCORE 59633.663
AT ITER 67 NEW BEST:: SOT 504761 SOS 130807 HAS SOPS 82575 HAS SOUS 63311 HAS SOUPS 59495 WITH SCORE 59625.807
AT ITER 86 NEW BEST:: SOT 505075 SOS 131869 HAS SOPS 83541 HAS SOUS 63309 HAS SOUPS 59486 WITH SCORE 59617.869
AT ITER 166 NEW BEST:: SOT 505047 SOS 131855 HAS SOPS 83499 HAS SOUS 63273 HAS SOUPS 59450 WITH SCORE 59581.855
AT ITER 168 NEW BEST:: SOT 504901 SOS 131797 HAS SOPS 83295 HAS SOUS 62991 HAS SOUPS 59166 WITH SCORE 59297.797
AT ITER 234 NEW BEST:: SOT 504804 SOS 131804 HAS SOPS 83222 HAS SOUS 62808 HAS SOUPS 58983 WITH SCORE 59114.804
AT ITER 297 NEW BEST:: SOT 504923 SOS 132261 HAS SOPS 83679 HAS SOUS 62749 HAS SOUPS 58924 WITH SCORE 59056.261
AT ITER 368 NEW BEST:: SOT 504886 SOS 132247 HAS SOPS 83622 HAS SOUS 62692 HAS SOUPS 58867 WITH SCORE 58999.247
AT ITER 380 NEW BEST:: SOT 505161 SOS 132958 HAS SOPS 84235 HAS SOUS 62675 HAS SOUPS 58841 WITH SCORE 58973.958
AT ITER 394 NEW BEST:: SOT 505249 SOS 133510 HAS SOPS 84787 HAS SOUS 62587 HAS SOUPS 58753 WITH SCORE 58886.51
AT ITER 398 NEW BEST:: SOT 505677 SOS 133205 HAS SOPS 84071 HAS SOUS 62352 HAS SOUPS 58488 WITH SCORE 58621.205
AT ITER 408 NEW BEST:: SOT 505575 SOS 133211 HAS SOPS 83975 HAS SOUS 62191 HAS SOUPS 58328 WITH SCORE 58461.211
AT ITER 429 NEW BEST:: SOT 505465 SOS 133192 HAS SOPS 84105 HAS SOUS 61927 HAS SOUPS 58074 WITH SCORE 58207.192
AT ITER 431 NEW BEST:: SOT 505522 SOS 133711 HAS SOPS 84624 HAS SOUS 61778 HAS SOUPS 57925 WITH SCORE 58058.711
AT ITER 469 NEW BEST:: SOT 505427 SOS 133692 HAS SOPS 84501 HAS SOUS 61573 HAS SOUPS 57720 WITH SCORE 57853.692
AT ITER 478 NEW BEST:: SOT 505171 SOS 133522 HAS SOPS 84583 HAS SOUS 61435 HAS SOUPS 57599 WITH SCORE 57732.522
AT ITER 485 NEW BEST:: SOT 505244 SOS 133554 HAS SOPS 84615 HAS SOUS 61219 HAS SOUPS 57383 WITH SCORE 57516.554
AT ITER 517 NEW BEST:: SOT 505244 SOS 133552 HAS SOPS 84613 HAS SOUS 61219 HAS SOUPS 57383 WITH SCORE 57516.552
AT ITER 578 NEW BEST:: SOT 505449 SOS 134299 HAS SOPS 85272 HAS SOUS 61202 HAS SOUPS 57354 WITH SCORE 57488.299
AT ITER 625 NEW BEST:: SOT 505350 SOS 134110 HAS SOPS 85005 HAS SOUS 61007 HAS SOUPS 57159 WITH SCORE 57293.11
AT ITER 650 NEW BEST:: SOT 505793 SOS 135516 HAS SOPS 86014 HAS SOUS 61031 HAS SOUPS 57155 WITH SCORE 57290.516
AT ITER 676 NEW BEST:: SOT 505763 SOS 135432 HAS SOPS 85960 HAS SOUS 61023 HAS SOUPS 57149 WITH SCORE 57284.432
AT ITER 689 NEW BEST:: SOT 505962 SOS 135397 HAS SOPS 86033 HAS SOUS 61001 HAS SOUPS 57128 WITH SCORE 57263.397
AT ITER 723 NEW BEST:: SOT 505895 SOS 135406 HAS SOPS 86114 HAS SOUS 60876 HAS SOUPS 57008 WITH SCORE 57143.406
AT ITER 731 NEW BEST:: SOT 505790 SOS 135322 HAS SOPS 85919 HAS SOUS 60760 HAS SOUPS 56892 WITH SCORE 57027.322
AT ITER 758 NEW BEST:: SOT 505716 SOS 135306 HAS SOPS 85823 HAS SOUS 60589 HAS SOUPS 56722 WITH SCORE 56857.306
AT ITER 782 NEW BEST:: SOT 505703 SOS 135195 HAS SOPS 85708 HAS SOUS 60578 HAS SOUPS 56711 WITH SCORE 56846.195
AT ITER 852 NEW BEST:: SOT 505887 SOS 135268 HAS SOPS 85780 HAS SOUS 60313 HAS SOUPS 56445 WITH SCORE 56580.268
AT ITER 871 NEW BEST:: SOT 505877 SOS 135114 HAS SOPS 85770 HAS SOUS 60271 HAS SOUPS 56414 WITH SCORE 56549.114
AT ITER 885 NEW BEST:: SOT 506438 SOS 135804 HAS SOPS 86131 HAS SOUS 60271 HAS SOUPS 56387 WITH SCORE 56522.804
AT ITER 890 NEW BEST:: SOT 506596 SOS 135641 HAS SOPS 86066 HAS SOUS 60197 HAS SOUPS 56322 WITH SCORE 56457.641
AT ITER 942 NEW BEST:: SOT 506610 SOS 135669 HAS SOPS 86470 HAS SOUS 60152 HAS SOUPS 56293 WITH SCORE 56428.669
AT ITER 963 NEW BEST:: SOT 506566 SOS 135574 HAS SOPS 86324 HAS SOUS 60112 HAS SOUPS 56252 WITH SCORE 56387.574
AT ITER 974 NEW BEST:: SOT 506605 SOS 135849 HAS SOPS 86831 HAS SOUS 59998 HAS SOUPS 56148 WITH SCORE 56283.849
AT ITER 977 NEW BEST:: SOT 506560 SOS 135759 HAS SOPS 86714 HAS SOUS 59995 HAS SOUPS 56145 WITH SCORE 56280.759
AT ITER 1032 NEW BEST:: SOT 506568 SOS 135813 HAS SOPS 86820 HAS SOUS 59957 HAS SOUPS 56107 WITH SCORE 56242.813
AT ITER 1039 NEW BEST:: SOT 506463 SOS 135557 HAS SOPS 86623 HAS SOUS 59891 HAS SOUPS 56048 WITH SCORE 56183.557
AT ITER 1073 NEW BEST:: SOT 506412 SOS 135569 HAS SOPS 86584 HAS SOUS 59796 HAS SOUPS 55953 WITH SCORE 56088.569
AT ITER 1074 NEW BEST:: SOT 506439 SOS 135660 HAS SOPS 86753 HAS SOUS 59759 HAS SOUPS 55916 WITH SCORE 56051.66
AT ITER 1079 NEW BEST:: SOT 506435 SOS 135635 HAS SOPS 86727 HAS SOUS 59725 HAS SOUPS 55880 WITH SCORE 56015.635
AT ITER 1080 NEW BEST:: SOT 506438 SOS 135673 HAS SOPS 86914 HAS SOUS 59581 HAS SOUPS 55743 WITH SCORE 55878.673
AT ITER 1090 NEW BEST:: SOT 506387 SOS 135714 HAS SOPS 86887 HAS SOUS 59530 HAS SOUPS 55691 WITH SCORE 55826.714
AT ITER 1093 NEW BEST:: SOT 506383 SOS 135998 HAS SOPS 87159 HAS SOUS 59526 HAS SOUPS 55683 WITH SCORE 55818.998
AT ITER 1114 NEW BEST:: SOT 506448 SOS 135963 HAS SOPS 87054 HAS SOUS 59501 HAS SOUPS 55653 WITH SCORE 55788.963
AT ITER 1145 NEW BEST:: SOT 506432 SOS 135930 HAS SOPS 87322 HAS SOUS 59182 HAS SOUPS 55354 WITH SCORE 55489.93
AT ITER 1157 NEW BEST:: SOT 506549 SOS 136215 HAS SOPS 87655 HAS SOUS 59115 HAS SOUPS 55292 WITH SCORE 55428.215
AT ITER 1171 NEW BEST:: SOT 506535 SOS 136205 HAS SOPS 87617 HAS SOUS 59083 HAS SOUPS 55260 WITH SCORE 55396.205
AT ITER 1231 NEW BEST:: SOT 506090 SOS 135076 HAS SOPS 86766 HAS SOUS 58986 HAS SOUPS 55184 WITH SCORE 55319.076
AT ITER 1249 NEW BEST:: SOT 506013 SOS 135017 HAS SOPS 86583 HAS SOUS 58911 HAS SOUPS 55108 WITH SCORE 55243.017
AT ITER 1256 NEW BEST:: SOT 506212 SOS 134992 HAS SOPS 86674 HAS SOUS 58902 HAS SOUPS 55099 WITH SCORE 55233.992
AT ITER 1271 NEW BEST:: SOT 506204 SOS 134998 HAS SOPS 86660 HAS SOUS 58878 HAS SOUPS 55075 WITH SCORE 55209.998
AT ITER 1281 NEW BEST:: SOT 506125 SOS 134977 HAS SOPS 86557 HAS SOUS 58763 HAS SOUPS 54960 WITH SCORE 55094.977
AT ITER 1288 NEW BEST:: SOT 506092 SOS 134891 HAS SOPS 86490 HAS SOUS 58719 HAS SOUPS 54920 WITH SCORE 55054.891
AT ITER 1307 NEW BEST:: SOT 506187 SOS 135089 HAS SOPS 86729 HAS SOUS 58716 HAS SOUPS 54917 WITH SCORE 55052.089
AT ITER 1334 NEW BEST:: SOT 506089 SOS 135005 HAS SOPS 86547 HAS SOUS 58622 HAS SOUPS 54823 WITH SCORE 54958.005
AT ITER 1349 NEW BEST:: SOT 506208 SOS 135345 HAS SOPS 87026 HAS SOUS 58527 HAS SOUPS 54737 WITH SCORE 54872.345
AT ITER 1350 NEW BEST:: SOT 506270 SOS 135043 HAS SOPS 86610 HAS SOUS 58197 HAS SOUPS 54407 WITH SCORE 54542.043
AT ITER 1371 NEW BEST:: SOT 506245 SOS 134983 HAS SOPS 86543 HAS SOUS 58191 HAS SOUPS 54402 WITH SCORE 54536.983
AT ITER 1471 NEW BEST:: SOT 506233 SOS 134983 HAS SOPS 86531 HAS SOUS 58167 HAS SOUPS 54378 WITH SCORE 54512.983
AT ITER 1479 NEW BEST:: SOT 506175 SOS 134917 HAS SOPS 86527 HAS SOUS 58161 HAS SOUPS 54376 WITH SCORE 54510.917
AT ITER 1486 NEW BEST:: SOT 506215 SOS 135060 HAS SOPS 86669 HAS SOUS 58146 HAS SOUPS 54360 WITH SCORE 54495.06
AT ITER 1488 NEW BEST:: SOT 506213 SOS 135062 HAS SOPS 86669 HAS SOUS 58138 HAS SOUPS 54352 WITH SCORE 54487.062
AT ITER 1497 NEW BEST:: SOT 506316 SOS 135503 HAS SOPS 87110 HAS SOUS 58031 HAS SOUPS 54245 WITH SCORE 54380.503
AT ITER 1514 NEW BEST:: SOT 506271 SOS 135433 HAS SOPS 87065 HAS SOUS 57931 HAS SOUPS 54150 WITH SCORE 54285.433
AT ITER 1541 NEW BEST:: SOT 506245 SOS 135363 HAS SOPS 87007 HAS SOUS 57901 HAS SOUPS 54123 WITH SCORE 54258.363
AT ITER 1542 NEW BEST:: SOT 506277 SOS 135635 HAS SOPS 87171 HAS SOUS 57709 HAS SOUPS 53931 WITH SCORE 54066.635
AT ITER 1548 NEW BEST:: SOT 506466 SOS 136327 HAS SOPS 87746 HAS SOUS 57523 HAS SOUPS 53737 WITH SCORE 53873.327
AT ITER 1606 NEW BEST:: SOT 506262 SOS 136105 HAS SOPS 87590 HAS SOUS 57434 HAS SOUPS 53659 WITH SCORE 53795.105
AT ITER 1636 NEW BEST:: SOT 506211 SOS 136121 HAS SOPS 87495 HAS SOUS 57367 HAS SOUPS 53590 WITH SCORE 53726.121
AT ITER 1665 NEW BEST:: SOT 506135 SOS 136015 HAS SOPS 87313 HAS SOUS 57335 HAS SOUPS 53558 WITH SCORE 53694.015
AT ITER 1684 NEW BEST:: SOT 506269 SOS 136379 HAS SOPS 87727 HAS SOUS 57258 HAS SOUPS 53478 WITH SCORE 53614.379
AT ITER 1726 NEW BEST:: SOT 506156 SOS 136405 HAS SOPS 87924 HAS SOUS 57150 HAS SOUPS 53382 WITH SCORE 53518.405
AT ITER 1740 NEW BEST:: SOT 506343 SOS 136993 HAS SOPS 88459 HAS SOUS 57128 HAS SOUPS 53350 WITH SCORE 53486.993
AT ITER 1766 NEW BEST:: SOT 506211 SOS 136904 HAS SOPS 88233 HAS SOUS 56891 HAS SOUPS 53114 WITH SCORE 53250.904
AT ITER 1776 NEW BEST:: SOT 506176 SOS 136792 HAS SOPS 88198 HAS SOUS 56805 HAS SOUPS 53036 WITH SCORE 53172.792
AT ITER 1777 NEW BEST:: SOT 506329 SOS 137281 HAS SOPS 88673 HAS SOUS 56711 HAS SOUPS 52945 WITH SCORE 53082.281
AT ITER 1838 NEW BEST:: SOT 506317 SOS 137266 HAS SOPS 88659 HAS SOUS 56686 HAS SOUPS 52921 WITH SCORE 53058.266
AT ITER 1875 NEW BEST:: SOT 506348 SOS 137441 HAS SOPS 88850 HAS SOUS 56653 HAS SOUPS 52889 WITH SCORE 53026.441
AT ITER 1931 NEW BEST:: SOT 506246 SOS 137354 HAS SOPS 88658 HAS SOUS 56545 HAS SOUPS 52781 WITH SCORE 52918.354
AT ITER 1952 NEW BEST:: SOT 506246 SOS 137347 HAS SOPS 88651 HAS SOUS 56538 HAS SOUPS 52774 WITH SCORE 52911.347
AT ITER 1976 NEW BEST:: SOT 506183 SOS 137276 HAS SOPS 88522 HAS SOUS 56491 HAS SOUPS 52727 WITH SCORE 52864.276
AT ITER 2002 NEW BEST:: SOT 506314 SOS 137510 HAS SOPS 89043 HAS SOUS 56265 HAS SOUPS 52522 WITH SCORE 52659.51
AT ITER 2022 NEW BEST:: SOT 506394 SOS 137712 HAS SOPS 89245 HAS SOUS 56223 HAS SOUPS 52480 WITH SCORE 52617.712
AT ITER 2031 NEW BEST:: SOT 506354 SOS 137670 HAS SOPS 89205 HAS SOUS 56181 HAS SOUPS 52440 WITH SCORE 52577.67
AT ITER 2032 NEW BEST:: SOT 506616 SOS 137424 HAS SOPS 89042 HAS SOUS 56063 HAS SOUPS 52331 WITH SCORE 52468.424
AT ITER 2067 NEW BEST:: SOT 506555 SOS 137387 HAS SOPS 88995 HAS SOUS 55976 HAS SOUPS 52246 WITH SCORE 52383.387
AT ITER 2120 NEW BEST:: SOT 506374 SOS 137212 HAS SOPS 88829 HAS SOUS 55931 HAS SOUPS 52205 WITH SCORE 52342.212
AT ITER 2203 NEW BEST:: SOT 506360 SOS 137198 HAS SOPS 88815 HAS SOUS 55917 HAS SOUPS 52191 WITH SCORE 52328.198
AT ITER 2257 NEW BEST:: SOT 506371 SOS 137238 HAS SOPS 88844 HAS SOUS 55881 HAS SOUPS 52156 WITH SCORE 52293.238
AT ITER 2322 NEW BEST:: SOT 506343 SOS 137210 HAS SOPS 88816 HAS SOUS 55853 HAS SOUPS 52128 WITH SCORE 52265.21
AT ITER 2334 NEW BEST:: SOT 506291 SOS 137046 HAS SOPS 88552 HAS SOUS 55681 HAS SOUPS 51956 WITH SCORE 52093.046
AT ITER 2337 NEW BEST:: SOT 506544 SOS 136909 HAS SOPS 88575 HAS SOUS 55528 HAS SOUPS 51793 WITH SCORE 51929.909
AT ITER 2386 NEW BEST:: SOT 506534 SOS 136937 HAS SOPS 88565 HAS SOUS 55528 HAS SOUPS 51790 WITH SCORE 51926.937
AT ITER 2387 NEW BEST:: SOT 506529 SOS 136917 HAS SOPS 88534 HAS SOUS 55507 HAS SOUPS 51769 WITH SCORE 51905.917
AT ITER 2453 NEW BEST:: SOT 506403 SOS 136682 HAS SOPS 88286 HAS SOUS 55394 HAS SOUPS 51662 WITH SCORE 51798.682
AT ITER 2559 NEW BEST:: SOT 506267 SOS 136254 HAS SOPS 88136 HAS SOUS 55134 HAS SOUPS 51428 WITH SCORE 51564.254
AT ITER 2565 NEW BEST:: SOT 506247 SOS 136244 HAS SOPS 88106 HAS SOUS 55106 HAS SOUPS 51400 WITH SCORE 51536.244
AT ITER 2578 NEW BEST:: SOT 506208 SOS 136189 HAS SOPS 88013 HAS SOUS 55103 HAS SOUPS 51397 WITH SCORE 51533.189
AT ITER 2585 NEW BEST:: SOT 506217 SOS 136224 HAS SOPS 88062 HAS SOUS 55086 HAS SOUPS 51380 WITH SCORE 51516.224
AT ITER 2635 NEW BEST:: SOT 506120 SOS 136169 HAS SOPS 87895 HAS SOUS 54875 HAS SOUPS 51169 WITH SCORE 51305.169
AT ITER 2638 NEW BEST:: SOT 506157 SOS 136012 HAS SOPS 87774 HAS SOUS 54705 HAS SOUPS 50997 WITH SCORE 51133.012
AT ITER 2653 NEW BEST:: SOT 506125 SOS 135899 HAS SOPS 87778 HAS SOUS 54626 HAS SOUPS 50925 WITH SCORE 51060.899
AT ITER 2667 NEW BEST:: SOT 506149 SOS 136100 HAS SOPS 87796 HAS SOUS 54593 HAS SOUPS 50901 WITH SCORE 51037.1
AT ITER 2687 NEW BEST:: SOT 506074 SOS 135915 HAS SOPS 87651 HAS SOUS 54548 HAS SOUPS 50861 WITH SCORE 50996.915
AT ITER 2688 NEW BEST:: SOT 506188 SOS 136377 HAS SOPS 88113 HAS SOUS 54314 HAS SOUPS 50627 WITH SCORE 50763.377
AT ITER 2705 NEW BEST:: SOT 506012 SOS 136070 HAS SOPS 87799 HAS SOUS 54292 HAS SOUPS 50603 WITH SCORE 50739.07
AT ITER 2768 NEW BEST:: SOT 506027 SOS 136221 HAS SOPS 87936 HAS SOUS 54171 HAS SOUPS 50482 WITH SCORE 50618.221
AT ITER 2778 NEW BEST:: SOT 506021 SOS 136145 HAS SOPS 87829 HAS SOUS 54090 HAS SOUPS 50401 WITH SCORE 50537.145
AT ITER 2868 NEW BEST:: SOT 506043 SOS 136272 HAS SOPS 87899 HAS SOUS 54046 HAS SOUPS 50355 WITH SCORE 50491.272
AT ITER 2975 NEW BEST:: SOT 506606 SOS 136656 HAS SOPS 88278 HAS SOUS 53932 HAS SOUPS 50236 WITH SCORE 50372.656
AT ITER 3025 NEW BEST:: SOT 506581 SOS 136628 HAS SOPS 88253 HAS SOUS 53878 HAS SOUPS 50184 WITH SCORE 50320.628
AT ITER 3027 NEW BEST:: SOT 506869 SOS 137314 HAS SOPS 88955 HAS SOUS 53768 HAS SOUPS 50074 WITH SCORE 50211.314
AT ITER 3041 NEW BEST:: SOT 506804 SOS 137161 HAS SOPS 88891 HAS SOUS 53617 HAS SOUPS 49934 WITH SCORE 50071.161
AT ITER 3044 NEW BEST:: SOT 506779 SOS 137273 HAS SOPS 88892 HAS SOUS 53503 HAS SOUPS 49817 WITH SCORE 49954.273
AT ITER 3164 NEW BEST:: SOT 506765 SOS 137245 HAS SOPS 88878 HAS SOUS 53471 HAS SOUPS 49787 WITH SCORE 49924.245
AT ITER 3166 NEW BEST:: SOT 506741 SOS 137211 HAS SOPS 88840 HAS SOUS 53459 HAS SOUPS 49775 WITH SCORE 49912.211
AT ITER 3196 NEW BEST:: SOT 506822 SOS 137383 HAS SOPS 89045 HAS SOUS 53456 HAS SOUPS 49772 WITH SCORE 49909.383
AT ITER 3300 NEW BEST:: SOT 506506 SOS 136946 HAS SOPS 88469 HAS SOUS 53282 HAS SOUPS 49598 WITH SCORE 49734.946
AT ITER 3302 NEW BEST:: SOT 506734 SOS 137502 HAS SOPS 89025 HAS SOUS 53182 HAS SOUPS 49498 WITH SCORE 49635.502
AT ITER 3374 NEW BEST:: SOT 506717 SOS 137495 HAS SOPS 89030 HAS SOUS 53107 HAS SOUPS 49426 WITH SCORE 49563.495
AT ITER 3451 NEW BEST:: SOT 506796 SOS 137430 HAS SOPS 88961 HAS SOUS 53030 HAS SOUPS 49349 WITH SCORE 49486.43
AT ITER 3544 NEW BEST:: SOT 506820 SOS 137406 HAS SOPS 89037 HAS SOUS 53022 HAS SOUPS 49346 WITH SCORE 49483.406
AT ITER 3627 NEW BEST:: SOT 506771 SOS 137336 HAS SOPS 88988 HAS SOUS 52914 HAS SOUPS 49243 WITH SCORE 49380.336
AT ITER 3707 NEW BEST:: SOT 506688 SOS 137245 HAS SOPS 88853 HAS SOUS 52853 HAS SOUPS 49182 WITH SCORE 49319.245
AT ITER 3751 NEW BEST:: SOT 506680 SOS 137231 HAS SOPS 88845 HAS SOUS 52844 HAS SOUPS 49174 WITH SCORE 49311.231
AT ITER 3781 NEW BEST:: SOT 506657 SOS 137286 HAS SOPS 88836 HAS SOUS 52743 HAS SOUPS 49073 WITH SCORE 49210.286
AT ITER 3863 NEW BEST:: SOT 507025 SOS 137386 HAS SOPS 88936 HAS SOUS 52735 HAS SOUPS 49065 WITH SCORE 49202.386
AT ITER 3976 NEW BEST:: SOT 507014 SOS 137396 HAS SOPS 88913 HAS SOUS 52735 HAS SOUPS 49063 WITH SCORE 49200.396
AT ITER 3984 NEW BEST:: SOT 507043 SOS 137527 HAS SOPS 89044 HAS SOUS 52694 HAS SOUPS 49022 WITH SCORE 49159.527
AT ITER 4038 NEW BEST:: SOT 507049 SOS 137503 HAS SOPS 89066 HAS SOUS 52682 HAS SOUPS 49013 WITH SCORE 49150.503
AT ITER 4072 NEW BEST:: SOT 506833 SOS 137390 HAS SOPS 88624 HAS SOUS 52341 HAS SOUPS 48654 WITH SCORE 48791.39
AT ITER 4074 NEW BEST:: SOT 506814 SOS 137362 HAS SOPS 88585 HAS SOUS 52331 HAS SOUPS 48644 WITH SCORE 48781.362
AT ITER 4168 NEW BEST:: SOT 506737 SOS 137257 HAS SOPS 88442 HAS SOUS 52286 HAS SOUPS 48599 WITH SCORE 48736.257
AT ITER 4186 NEW BEST:: SOT 506664 SOS 137115 HAS SOPS 88371 HAS SOUS 52222 HAS SOUPS 48542 WITH SCORE 48679.115
AT ITER 4232 NEW BEST:: SOT 506630 SOS 136973 HAS SOPS 88221 HAS SOUS 52184 HAS SOUPS 48503 WITH SCORE 48639.973
AT ITER 4263 NEW BEST:: SOT 506580 SOS 136938 HAS SOPS 88143 HAS SOUS 52130 HAS SOUPS 48449 WITH SCORE 48585.938
AT ITER 4518 NEW BEST:: SOT 506644 SOS 136740 HAS SOPS 87909 HAS SOUS 51931 HAS SOUPS 48247 WITH SCORE 48383.74
AT ITER 4519 NEW BEST:: SOT 506650 SOS 136864 HAS SOPS 88053 HAS SOUS 51691 HAS SOUPS 48015 WITH SCORE 48151.864
AT ITER 4642 NEW BEST:: SOT 506532 SOS 136507 HAS SOPS 87893 HAS SOUS 51572 HAS SOUPS 47911 WITH SCORE 48047.507
AT ITER 4644 NEW BEST:: SOT 506756 SOS 137105 HAS SOPS 88513 HAS SOUS 51550 HAS SOUPS 47893 WITH SCORE 48030.105
AT ITER 4659 NEW BEST:: SOT 506789 SOS 137200 HAS SOPS 88608 HAS SOUS 51521 HAS SOUPS 47864 WITH SCORE 48001.2
AT ITER 4706 NEW BEST:: SOT 506683 SOS 137177 HAS SOPS 88502 HAS SOUS 51420 HAS SOUPS 47758 WITH SCORE 47895.177
AT ITER 4774 NEW BEST:: SOT 506718 SOS 137241 HAS SOPS 88605 HAS SOUS 51394 HAS SOUPS 47734 WITH SCORE 47871.241
AT ITER 4820 NEW BEST:: SOT 506718 SOS 137223 HAS SOPS 88587 HAS SOUS 51376 HAS SOUPS 47716 WITH SCORE 47853.223
AT ITER 4874 NEW BEST:: SOT 506714 SOS 137210 HAS SOPS 88585 HAS SOUS 51365 HAS SOUPS 47706 WITH SCORE 47843.21
AT ITER 4984 NEW BEST:: SOT 506700 SOS 137187 HAS SOPS 88555 HAS SOUS 51360 HAS SOUPS 47701 WITH SCORE 47838.187
AT ITER 5023 NEW BEST:: SOT 506639 SOS 137129 HAS SOPS 88446 HAS SOUS 51300 HAS SOUPS 47641 WITH SCORE 47778.129
AT ITER 5041 NEW BEST:: SOT 506613 SOS 137055 HAS SOPS 88394 HAS SOUS 51274 HAS SOUPS 47618 WITH SCORE 47755.055
AT ITER 5045 NEW BEST:: SOT 506619 SOS 137079 HAS SOPS 88410 HAS SOUS 51264 HAS SOUPS 47608 WITH SCORE 47745.079
AT ITER 5050 NEW BEST:: SOT 506623 SOS 137106 HAS SOPS 88408 HAS SOUS 51261 HAS SOUPS 47604 WITH SCORE 47741.106
AT ITER 5128 NEW BEST:: SOT 506668 SOS 137207 HAS SOPS 88509 HAS SOUS 51250 HAS SOUPS 47593 WITH SCORE 47730.207
AT ITER 5143 NEW BEST:: SOT 506740 SOS 137561 HAS SOPS 88761 HAS SOUS 51152 HAS SOUPS 47488 WITH SCORE 47625.561
AT ITER 5145 NEW BEST:: SOT 506713 SOS 137505 HAS SOPS 88736 HAS SOUS 51138 HAS SOUPS 47477 WITH SCORE 47614.505
AT ITER 5219 NEW BEST:: SOT 507029 SOS 138320 HAS SOPS 89540 HAS SOUS 51131 HAS SOUPS 47469 WITH SCORE 47607.32
AT ITER 5232 NEW BEST:: SOT 506990 SOS 138219 HAS SOPS 89439 HAS SOUS 51090 HAS SOUPS 47428 WITH SCORE 47566.219
AT ITER 5305 NEW BEST:: SOT 506967 SOS 138199 HAS SOPS 89384 HAS SOUS 51060 HAS SOUPS 47399 WITH SCORE 47537.199
AT ITER 5321 NEW BEST:: SOT 506991 SOS 138237 HAS SOPS 89456 HAS SOUS 51038 HAS SOUPS 47379 WITH SCORE 47517.237
AT ITER 5553 NEW BEST:: SOT 506988 SOS 138205 HAS SOPS 89451 HAS SOUS 51032 HAS SOUPS 47375 WITH SCORE 47513.205
AT ITER 5694 NEW BEST:: SOT 506830 SOS 137904 HAS SOPS 89063 HAS SOUS 50975 HAS SOUPS 47317 WITH SCORE 47454.904
AT ITER 5769 NEW BEST:: SOT 506818 SOS 137893 HAS SOPS 89037 HAS SOUS 50946 HAS SOUPS 47287 WITH SCORE 47424.893
AT ITER 5781 NEW BEST:: SOT 506808 SOS 137874 HAS SOPS 89017 HAS SOUS 50945 HAS SOUPS 47286 WITH SCORE 47423.874
AT ITER 5843 NEW BEST:: SOT 506829 SOS 138028 HAS SOPS 89074 HAS SOUS 50929 HAS SOUPS 47264 WITH SCORE 47402.028
AT ITER 5902 NEW BEST:: SOT 507110 SOS 138693 HAS SOPS 89777 HAS SOUS 50746 HAS SOUPS 47086 WITH SCORE 47224.693
AT ITER 5948 NEW BEST:: SOT 507072 SOS 138653 HAS SOPS 89699 HAS SOUS 50714 HAS SOUPS 47054 WITH SCORE 47192.653
AT ITER 5949 NEW BEST:: SOT 507081 SOS 138674 HAS SOPS 89720 HAS SOUS 50711 HAS SOUPS 47051 WITH SCORE 47189.674
AT ITER 5954 NEW BEST:: SOT 507048 SOS 138650 HAS SOPS 89653 HAS SOUS 50635 HAS SOUPS 46974 WITH SCORE 47112.65
AT ITER 6128 NEW BEST:: SOT 506710 SOS 138637 HAS SOPS 89615 HAS SOUS 50570 HAS SOUPS 46906 WITH SCORE 47044.637
AT ITER 6131 NEW BEST:: SOT 506706 SOS 138641 HAS SOPS 89609 HAS SOUS 50558 HAS SOUPS 46894 WITH SCORE 47032.641
AT ITER 6196 NEW BEST:: SOT 506719 SOS 138639 HAS SOPS 89686 HAS SOUS 50506 HAS SOUPS 46847 WITH SCORE 46985.639
AT ITER 6204 NEW BEST:: SOT 506752 SOS 138830 HAS SOPS 89877 HAS SOUS 50477 HAS SOUPS 46818 WITH SCORE 46956.83
AT ITER 6212 NEW BEST:: SOT 506712 SOS 138808 HAS SOPS 89817 HAS SOUS 50422 HAS SOUPS 46763 WITH SCORE 46901.808
AT ITER 6278 NEW BEST:: SOT 506702 SOS 138854 HAS SOPS 89805 HAS SOUS 50362 HAS SOUPS 46703 WITH SCORE 46841.854
AT ITER 6375 NEW BEST:: SOT 506754 SOS 138990 HAS SOPS 89931 HAS SOUS 50346 HAS SOUPS 46686 WITH SCORE 46824.99
AT ITER 6431 NEW BEST:: SOT 506754 SOS 138996 HAS SOPS 89963 HAS SOUS 50308 HAS SOUPS 46650 WITH SCORE 46788.996
AT ITER 6478 NEW BEST:: SOT 506753 SOS 138996 HAS SOPS 89966 HAS SOUS 50306 HAS SOUPS 46648 WITH SCORE 46786.996
AT ITER 6488 NEW BEST:: SOT 507053 SOS 139774 HAS SOPS 90672 HAS SOUS 50288 HAS SOUPS 46624 WITH SCORE 46763.774
AT ITER 6510 NEW BEST:: SOT 507034 SOS 139740 HAS SOPS 90623 HAS SOUS 50253 HAS SOUPS 46589 WITH SCORE 46728.74
AT ITER 6581 NEW BEST:: SOT 507022 SOS 139656 HAS SOPS 90611 HAS SOUS 50217 HAS SOUPS 46559 WITH SCORE 46698.656
AT ITER 6731 NEW BEST:: SOT 507069 SOS 139770 HAS SOPS 90644 HAS SOUS 50197 HAS SOUPS 46531 WITH SCORE 46670.77
AT ITER 6749 NEW BEST:: SOT 507575 SOS 139881 HAS SOPS 90755 HAS SOUS 50196 HAS SOUPS 46530 WITH SCORE 46669.881
AT ITER 6839 NEW BEST:: SOT 507558 SOS 139753 HAS SOPS 90722 HAS SOUS 50178 HAS SOUPS 46519 WITH SCORE 46658.753
AT ITER 6862 NEW BEST:: SOT 507552 SOS 139792 HAS SOPS 90734 HAS SOUS 50130 HAS SOUPS 46471 WITH SCORE 46610.792
AT ITER 6930 NEW BEST:: SOT 507529 SOS 139736 HAS SOPS 90781 HAS SOUS 50028 HAS SOUPS 46376 WITH SCORE 46515.736
AT ITER 6933 NEW BEST:: SOT 507546 SOS 139779 HAS SOPS 90824 HAS SOUS 50019 HAS SOUPS 46367 WITH SCORE 46506.779
AT ITER 6971 NEW BEST:: SOT 507548 SOS 139788 HAS SOPS 90830 HAS SOUS 50014 HAS SOUPS 46362 WITH SCORE 46501.788
AT ITER 7024 NEW BEST:: SOT 507583 SOS 139863 HAS SOPS 90915 HAS SOUS 50009 HAS SOUPS 46357 WITH SCORE 46496.863
AT ITER 7248 NEW BEST:: SOT 507575 SOS 139847 HAS SOPS 90899 HAS SOUS 50009 HAS SOUPS 46357 WITH SCORE 46496.847
AT ITER 7257 NEW BEST:: SOT 507678 SOS 140104 HAS SOPS 91138 HAS SOUS 49990 HAS SOUPS 46336 WITH SCORE 46476.104
AT ITER 7316 NEW BEST:: SOT 507696 SOS 140139 HAS SOPS 91198 HAS SOUS 49959 HAS SOUPS 46307 WITH SCORE 46447.139
AT ITER 7357 NEW BEST:: SOT 507703 SOS 140160 HAS SOPS 91219 HAS SOUS 49952 HAS SOUPS 46300 WITH SCORE 46440.16
AT ITER 7369 NEW BEST:: SOT 507684 SOS 140090 HAS SOPS 91200 HAS SOUS 49904 HAS SOUPS 46257 WITH SCORE 46397.09
AT ITER 7408 NEW BEST:: SOT 507697 SOS 140065 HAS SOPS 91173 HAS SOUS 49899 HAS SOUPS 46252 WITH SCORE 46392.065
AT ITER 7413 NEW BEST:: SOT 507852 SOS 140486 HAS SOPS 91594 HAS SOUS 49788 HAS SOUPS 46141 WITH SCORE 46281.486
AT ITER 7535 NEW BEST:: SOT 507955 SOS 140419 HAS SOPS 91582 HAS SOUS 49710 HAS SOUPS 46061 WITH SCORE 46201.419
AT ITER 7612 NEW BEST:: SOT 507923 SOS 140359 HAS SOPS 91522 HAS SOUS 49706 HAS SOUPS 46057 WITH SCORE 46197.359
AT ITER 7803 NEW BEST:: SOT 507831 SOS 140238 HAS SOPS 91364 HAS SOUS 49614 HAS SOUPS 45967 WITH SCORE 46107.238
AT ITER 7905 NEW BEST:: SOT 507550 SOS 139966 HAS SOPS 91205 HAS SOUS 49568 HAS SOUPS 45932 WITH SCORE 46071.966
AT ITER 7957 NEW BEST:: SOT 507535 SOS 139960 HAS SOPS 91176 HAS SOUS 49544 HAS SOUPS 45908 WITH SCORE 46047.96
AT ITER 8025 NEW BEST:: SOT 507571 SOS 139963 HAS SOPS 91179 HAS SOUS 49523 HAS SOUPS 45887 WITH SCORE 46026.963
AT ITER 8145 NEW BEST:: SOT 507759 SOS 140371 HAS SOPS 91587 HAS SOUS 49491 HAS SOUPS 45855 WITH SCORE 45995.371
AT ITER 8193 NEW BEST:: SOT 507758 SOS 140358 HAS SOPS 91584 HAS SOUS 49486 HAS SOUPS 45851 WITH SCORE 45991.358
AT ITER 8208 NEW BEST:: SOT 507752 SOS 140330 HAS SOPS 91578 HAS SOUS 49470 HAS SOUPS 45837 WITH SCORE 45977.33
AT ITER 8241 NEW BEST:: SOT 507879 SOS 140335 HAS SOPS 91583 HAS SOUS 49439 HAS SOUPS 45806 WITH SCORE 45946.335
AT ITER 8348 NEW BEST:: SOT 507876 SOS 140343 HAS SOPS 91580 HAS SOUS 49425 HAS SOUPS 45792 WITH SCORE 45932.343
AT ITER 8374 NEW BEST:: SOT 507766 SOS 140247 HAS SOPS 91452 HAS SOUS 49355 HAS SOUPS 45722 WITH SCORE 45862.247
AT ITER 8421 NEW BEST:: SOT 507755 SOS 140239 HAS SOPS 91429 HAS SOUS 49325 HAS SOUPS 45691 WITH SCORE 45831.239
AT ITER 8475 NEW BEST:: SOT 507771 SOS 140245 HAS SOPS 91435 HAS SOUS 49323 HAS SOUPS 45689 WITH SCORE 45829.245
AT ITER 8483 NEW BEST:: SOT 507869 SOS 140566 HAS SOPS 91655 HAS SOUS 49283 HAS SOUPS 45646 WITH SCORE 45786.566
AT ITER 8564 NEW BEST:: SOT 508423 SOS 140725 HAS SOPS 91814 HAS SOUS 49238 HAS SOUPS 45601 WITH SCORE 45741.725
AT ITER 8675 NEW BEST:: SOT 508439 SOS 140734 HAS SOPS 91860 HAS SOUS 49229 HAS SOUPS 45594 WITH SCORE 45734.734
AT ITER 8732 NEW BEST:: SOT 508419 SOS 140716 HAS SOPS 91818 HAS SOUS 49204 HAS SOUPS 45570 WITH SCORE 45710.716
AT ITER 8733 NEW BEST:: SOT 508437 SOS 140794 HAS SOPS 91896 HAS SOUS 49162 HAS SOUPS 45528 WITH SCORE 45668.794
AT ITER 8782 NEW BEST:: SOT 508607 SOS 141235 HAS SOPS 92326 HAS SOUS 49131 HAS SOUPS 45498 WITH SCORE 45639.235
AT ITER 8885 NEW BEST:: SOT 508611 SOS 141295 HAS SOPS 92310 HAS SOUS 49063 HAS SOUPS 45431 WITH SCORE 45572.295
AT ITER 8913 NEW BEST:: SOT 508559 SOS 141127 HAS SOPS 92258 HAS SOUS 48935 HAS SOUPS 45315 WITH SCORE 45456.127
AT ITER 8950 NEW BEST:: SOT 508555 SOS 141116 HAS SOPS 92262 HAS SOUS 48922 HAS SOUPS 45303 WITH SCORE 45444.116
AT ITER 9036 NEW BEST:: SOT 508565 SOS 141138 HAS SOPS 92284 HAS SOUS 48920 HAS SOUPS 45301 WITH SCORE 45442.138
AT ITER 9192 NEW BEST:: SOT 508558 SOS 141159 HAS SOPS 92279 HAS SOUS 48885 HAS SOUPS 45266 WITH SCORE 45407.159
AT ITER 9344 NEW BEST:: SOT 508428 SOS 140876 HAS SOPS 91983 HAS SOUS 48874 HAS SOUPS 45256 WITH SCORE 45396.876
AT ITER 9593 NEW BEST:: SOT 508431 SOS 140870 HAS SOPS 91990 HAS SOUS 48870 HAS SOUPS 45253 WITH SCORE 45393.87
AT ITER 9605 NEW BEST:: SOT 508479 SOS 140883 HAS SOPS 92003 HAS SOUS 48863 HAS SOUPS 45246 WITH SCORE 45386.883
AT ITER 9929 NEW BEST:: SOT 508474 SOS 140869 HAS SOPS 91998 HAS SOUS 48851 HAS SOUPS 45235 WITH SCORE 45375.869
AT ITER 9933 NEW BEST:: SOT 508450 SOS 140863 HAS SOPS 91998 HAS SOUS 48827 HAS SOUPS 45209 WITH SCORE 45349.863
STATE_SPACE STATES 35357924 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 16 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 265182780 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679280236443

--------------------
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="TokenRing-PT-015"
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 TokenRing-PT-015, 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 r491-tall-167912710800672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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