Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979600416.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is SieveSingleMsgMbox-PT-d1m06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979600416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 868K
-rw-r--r-- 1 mcc users 6.6K Feb 26 10:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 10:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 10:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 10:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 17:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 17:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 26 10:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 10:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 10:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 450K 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 1679387555087

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=SieveSingleMsgMbox-PT-d1m06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 08:32:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 08:32:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 08:32:37] [INFO ] Load time of PNML (sax parser for PT used): 103 ms
[2023-03-21 08:32:37] [INFO ] Transformed 1295 places.
[2023-03-21 08:32:37] [INFO ] Transformed 749 transitions.
[2023-03-21 08:32:37] [INFO ] Parsed PT model containing 1295 places and 749 transitions and 2996 arcs in 187 ms.
[2023-03-21 08:32:37] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1295 places, 749 transitions and 2996 arcs took 12 ms.
Total runtime 235 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d1m06
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: 1295 places, 749 transitions, 2996 arcs.
AT ITER 0 NEW BEST:: SOT 191495 SOS 166175 HAS SOPS 166175 HAS SOUS 145713 HAS SOUPS 145713 WITH SCORE 145879.175
AT ITER 9 NEW BEST:: SOT 191495 SOS 166167 HAS SOPS 166167 HAS SOUS 145713 HAS SOUPS 145713 WITH SCORE 145879.167
AT ITER 22 NEW BEST:: SOT 191495 SOS 165781 HAS SOPS 165781 HAS SOUS 145386 HAS SOUPS 145386 WITH SCORE 145551.781
AT ITER 68 NEW BEST:: SOT 191495 SOS 165876 HAS SOPS 165876 HAS SOUS 145271 HAS SOUPS 145271 WITH SCORE 145436.876
AT ITER 99 NEW BEST:: SOT 191495 SOS 165840 HAS SOPS 165840 HAS SOUS 143665 HAS SOUPS 143665 WITH SCORE 143830.84
AT ITER 138 NEW BEST:: SOT 191495 SOS 165135 HAS SOPS 165135 HAS SOUS 143660 HAS SOUPS 143660 WITH SCORE 143825.135
AT ITER 200 NEW BEST:: SOT 191542 SOS 165231 HAS SOPS 165231 HAS SOUS 140670 HAS SOUPS 140670 WITH SCORE 140835.231
AT ITER 282 NEW BEST:: SOT 192392 SOS 165898 HAS SOPS 165898 HAS SOUS 137619 HAS SOUPS 137619 WITH SCORE 137784.898
AT ITER 339 NEW BEST:: SOT 194398 SOS 166703 HAS SOPS 166650 HAS SOUS 134848 HAS SOUPS 134798 WITH SCORE 134964.703
AT ITER 348 NEW BEST:: SOT 198295 SOS 170205 HAS SOPS 170081 HAS SOUS 134566 HAS SOUPS 134495 WITH SCORE 134665.205
AT ITER 413 NEW BEST:: SOT 202134 SOS 172447 HAS SOPS 172131 HAS SOUS 130820 HAS SOUPS 130681 WITH SCORE 130853.447
AT ITER 540 NEW BEST:: SOT 202134 SOS 172465 HAS SOPS 172149 HAS SOUS 130748 HAS SOUPS 130609 WITH SCORE 130781.465
AT ITER 569 NEW BEST:: SOT 203218 SOS 172971 HAS SOPS 172507 HAS SOUS 127696 HAS SOUPS 127557 WITH SCORE 127729.971
AT ITER 592 NEW BEST:: SOT 203218 SOS 172234 HAS SOPS 171770 HAS SOUS 126294 HAS SOUPS 126155 WITH SCORE 126327.234
AT ITER 600 NEW BEST:: SOT 203218 SOS 171731 HAS SOPS 171267 HAS SOUS 124363 HAS SOUPS 124224 WITH SCORE 124395.731
AT ITER 608 NEW BEST:: SOT 203218 SOS 171340 HAS SOPS 170876 HAS SOUS 122323 HAS SOUPS 122184 WITH SCORE 122355.34
AT ITER 639 NEW BEST:: SOT 204198 SOS 172033 HAS SOPS 171429 HAS SOUS 120636 HAS SOUPS 120497 WITH SCORE 120669.033
AT ITER 661 NEW BEST:: SOT 203526 SOS 171361 HAS SOPS 170839 HAS SOUS 120636 HAS SOUPS 120497 WITH SCORE 120668.361
AT ITER 667 NEW BEST:: SOT 205374 SOS 170792 HAS SOPS 170001 HAS SOUS 115615 HAS SOUPS 115476 WITH SCORE 115646.792
AT ITER 670 NEW BEST:: SOT 203773 SOS 169191 HAS SOPS 168626 HAS SOUS 115615 HAS SOUPS 115476 WITH SCORE 115645.191
AT ITER 731 NEW BEST:: SOT 203773 SOS 168385 HAS SOPS 167820 HAS SOUS 113278 HAS SOUPS 113139 WITH SCORE 113307.385
AT ITER 741 NEW BEST:: SOT 203963 SOS 168575 HAS SOPS 168010 HAS SOUS 113238 HAS SOUPS 113099 WITH SCORE 113267.575
AT ITER 763 NEW BEST:: SOT 203963 SOS 167944 HAS SOPS 167379 HAS SOUS 111403 HAS SOUPS 111264 WITH SCORE 111431.944
AT ITER 780 NEW BEST:: SOT 204209 SOS 167830 HAS SOPS 167265 HAS SOUS 111353 HAS SOUPS 111214 WITH SCORE 111381.83
AT ITER 783 NEW BEST:: SOT 204209 SOS 167546 HAS SOPS 166981 HAS SOUS 110554 HAS SOUPS 110415 WITH SCORE 110582.546
AT ITER 832 NEW BEST:: SOT 204209 SOS 167455 HAS SOPS 166890 HAS SOUS 110463 HAS SOUPS 110324 WITH SCORE 110491.455
AT ITER 833 NEW BEST:: SOT 205406 SOS 167245 HAS SOPS 166485 HAS SOUS 107204 HAS SOUPS 107065 WITH SCORE 107232.245
AT ITER 842 NEW BEST:: SOT 205242 SOS 167140 HAS SOPS 166380 HAS SOUS 107073 HAS SOUPS 106934 WITH SCORE 107101.14
AT ITER 914 NEW BEST:: SOT 208122 SOS 167297 HAS SOPS 166227 HAS SOUS 102627 HAS SOUPS 102488 WITH SCORE 102655.297
AT ITER 1070 NEW BEST:: SOT 208162 SOS 166826 HAS SOPS 165756 HAS SOUS 102367 HAS SOUPS 102228 WITH SCORE 102394.826
AT ITER 1130 NEW BEST:: SOT 208162 SOS 165380 HAS SOPS 164310 HAS SOUS 100855 HAS SOUPS 100716 WITH SCORE 100881.38
AT ITER 1155 NEW BEST:: SOT 208162 SOS 165312 HAS SOPS 164242 HAS SOUS 100583 HAS SOUPS 100444 WITH SCORE 100609.312
AT ITER 1186 NEW BEST:: SOT 209669 SOS 166503 HAS SOPS 165200 HAS SOUS 99478 HAS SOUPS 99339 WITH SCORE 99505.503
AT ITER 1193 NEW BEST:: SOT 209669 SOS 166497 HAS SOPS 165194 HAS SOUS 99468 HAS SOUPS 99329 WITH SCORE 99495.497
AT ITER 1239 NEW BEST:: SOT 210514 SOS 167294 HAS SOPS 165684 HAS SOUS 99308 HAS SOUPS 99169 WITH SCORE 99336.294
AT ITER 1262 NEW BEST:: SOT 212041 SOS 167483 HAS SOPS 165480 HAS SOUS 96956 HAS SOUPS 96817 WITH SCORE 96984.483
AT ITER 1307 NEW BEST:: SOT 213524 SOS 165817 HAS SOPS 163441 HAS SOUS 92638 HAS SOUPS 92499 WITH SCORE 92664.817
AT ITER 1310 NEW BEST:: SOT 213524 SOS 165808 HAS SOPS 163432 HAS SOUS 92535 HAS SOUPS 92396 WITH SCORE 92561.808
AT ITER 1421 NEW BEST:: SOT 213531 SOS 165795 HAS SOPS 163412 HAS SOUS 92515 HAS SOUPS 92376 WITH SCORE 92541.795
AT ITER 1497 NEW BEST:: SOT 219420 SOS 169562 HAS SOPS 166608 HAS SOUS 92493 HAS SOUPS 92354 WITH SCORE 92523.562
AT ITER 1511 NEW BEST:: SOT 223200 SOS 171730 HAS SOPS 168300 HAS SOUS 90260 HAS SOUPS 90121 WITH SCORE 90292.73
AT ITER 1512 NEW BEST:: SOT 223848 SOS 168993 HAS SOPS 165312 HAS SOUS 86425 HAS SOUPS 86286 WITH SCORE 86454.993
AT ITER 1515 NEW BEST:: SOT 229820 SOS 172461 HAS SOPS 168273 HAS SOUS 85255 HAS SOUPS 85116 WITH SCORE 85288.461
AT ITER 1537 NEW BEST:: SOT 236130 SOS 176858 HAS SOPS 172163 HAS SOUS 84395 HAS SOUPS 84256 WITH SCORE 84432.858
AT ITER 1636 NEW BEST:: SOT 236130 SOS 176845 HAS SOPS 172150 HAS SOUS 84382 HAS SOUPS 84243 WITH SCORE 84419.845
AT ITER 1686 NEW BEST:: SOT 243031 SOS 182276 HAS SOPS 177074 HAS SOUS 83679 HAS SOUPS 83540 WITH SCORE 83722.276
AT ITER 1705 NEW BEST:: SOT 247641 SOS 184921 HAS SOPS 179212 HAS SOUS 81704 HAS SOUPS 81565 WITH SCORE 81749.921
AT ITER 1707 NEW BEST:: SOT 251726 SOS 187302 HAS SOPS 181086 HAS SOUS 79801 HAS SOUPS 79662 WITH SCORE 79849.302
AT ITER 1732 NEW BEST:: SOT 252108 SOS 187556 HAS SOPS 181000 HAS SOUS 79905 HAS SOUPS 79565 WITH SCORE 79752.556
AT ITER 1748 NEW BEST:: SOT 252108 SOS 187284 HAS SOPS 180728 HAS SOUS 79758 HAS SOUPS 79418 WITH SCORE 79605.284
AT ITER 1757 NEW BEST:: SOT 252191 SOS 187361 HAS SOPS 180722 HAS SOUS 79752 HAS SOUPS 79412 WITH SCORE 79599.361
AT ITER 1822 NEW BEST:: SOT 254496 SOS 187167 HAS SOPS 180021 HAS SOUS 77909 HAS SOUPS 77569 WITH SCORE 77756.167
AT ITER 1856 NEW BEST:: SOT 256405 SOS 188924 HAS SOPS 181271 HAS SOUS 77599 HAS SOUPS 77259 WITH SCORE 77447.924
AT ITER 1970 NEW BEST:: SOT 256405 SOS 188688 HAS SOPS 181035 HAS SOUS 77539 HAS SOUPS 77199 WITH SCORE 77387.688
AT ITER 1983 NEW BEST:: SOT 255013 SOS 187296 HAS SOPS 179643 HAS SOUS 77539 HAS SOUPS 77199 WITH SCORE 77386.296
AT ITER 2018 NEW BEST:: SOT 255013 SOS 187212 HAS SOPS 179559 HAS SOUS 77537 HAS SOUPS 77197 WITH SCORE 77384.212
AT ITER 2047 NEW BEST:: SOT 256741 SOS 186987 HAS SOPS 178835 HAS SOUS 75424 HAS SOUPS 75084 WITH SCORE 75270.987
AT ITER 2060 NEW BEST:: SOT 256741 SOS 184292 HAS SOPS 176140 HAS SOUS 74573 HAS SOUPS 74233 WITH SCORE 74417.292
AT ITER 2112 NEW BEST:: SOT 256741 SOS 184325 HAS SOPS 176173 HAS SOUS 74542 HAS SOUPS 74202 WITH SCORE 74386.325
AT ITER 2113 NEW BEST:: SOT 256741 SOS 184325 HAS SOPS 176173 HAS SOUS 74535 HAS SOUPS 74195 WITH SCORE 74379.325
AT ITER 2143 NEW BEST:: SOT 256741 SOS 184262 HAS SOPS 176110 HAS SOUS 74531 HAS SOUPS 74191 WITH SCORE 74375.262
AT ITER 2166 NEW BEST:: SOT 259175 SOS 184674 HAS SOPS 176015 HAS SOUS 72569 HAS SOUPS 72229 WITH SCORE 72413.674
AT ITER 2168 NEW BEST:: SOT 265740 SOS 190775 HAS SOPS 181609 HAS SOUS 71908 HAS SOUPS 71568 WITH SCORE 71758.775
AT ITER 2175 NEW BEST:: SOT 265740 SOS 190581 HAS SOPS 181415 HAS SOUS 71732 HAS SOUPS 71392 WITH SCORE 71582.581
AT ITER 2198 NEW BEST:: SOT 265740 SOS 190433 HAS SOPS 181267 HAS SOUS 71681 HAS SOUPS 71341 WITH SCORE 71531.433
AT ITER 2232 NEW BEST:: SOT 273517 SOS 195613 HAS SOPS 185940 HAS SOUS 70839 HAS SOUPS 70499 WITH SCORE 70694.613
AT ITER 2297 NEW BEST:: SOT 273517 SOS 195772 HAS SOPS 186099 HAS SOUS 70838 HAS SOUPS 70498 WITH SCORE 70693.772
AT ITER 2354 NEW BEST:: SOT 273517 SOS 195760 HAS SOPS 186087 HAS SOUS 70826 HAS SOUPS 70486 WITH SCORE 70681.76
AT ITER 2358 NEW BEST:: SOT 276221 SOS 192734 HAS SOPS 180168 HAS SOUS 70011 HAS SOUPS 69671 WITH SCORE 69863.734
AT ITER 2359 NEW BEST:: SOT 279305 SOS 193039 HAS SOPS 177409 HAS SOUS 69285 HAS SOUPS 68945 WITH SCORE 69138.039
AT ITER 2385 NEW BEST:: SOT 279305 SOS 193037 HAS SOPS 177407 HAS SOUS 69283 HAS SOUPS 68943 WITH SCORE 69136.037
AT ITER 2397 NEW BEST:: SOT 279305 SOS 192414 HAS SOPS 176784 HAS SOUS 69252 HAS SOUPS 68912 WITH SCORE 69104.414
AT ITER 2403 NEW BEST:: SOT 280354 SOS 193463 HAS SOPS 177730 HAS SOUS 69191 HAS SOUPS 68851 WITH SCORE 69044.463
AT ITER 2428 NEW BEST:: SOT 280654 SOS 193760 HAS SOPS 177727 HAS SOUS 69188 HAS SOUPS 68848 WITH SCORE 69041.76
AT ITER 2438 NEW BEST:: SOT 280654 SOS 193673 HAS SOPS 177640 HAS SOUS 69174 HAS SOUPS 68834 WITH SCORE 69027.673
AT ITER 2440 NEW BEST:: SOT 282900 SOS 190980 HAS SOPS 172234 HAS SOUS 67459 HAS SOUPS 67119 WITH SCORE 67309.98
AT ITER 2447 NEW BEST:: SOT 286137 SOS 194217 HAS SOPS 175236 HAS SOUS 67367 HAS SOUPS 67027 WITH SCORE 67221.217
AT ITER 2464 NEW BEST:: SOT 290664 SOS 196134 HAS SOPS 176070 HAS SOUS 66118 HAS SOUPS 65778 WITH SCORE 65974.134
AT ITER 2469 NEW BEST:: SOT 290753 SOS 196132 HAS SOPS 176068 HAS SOUS 65642 HAS SOUPS 65302 WITH SCORE 65498.132
AT ITER 2489 NEW BEST:: SOT 296432 SOS 201811 HAS SOPS 181282 HAS SOUS 65502 HAS SOUPS 65162 WITH SCORE 65363.811
AT ITER 2547 NEW BEST:: SOT 296432 SOS 201746 HAS SOPS 181217 HAS SOUS 65437 HAS SOUPS 65097 WITH SCORE 65298.746
AT ITER 2556 NEW BEST:: SOT 296432 SOS 201372 HAS SOPS 180843 HAS SOUS 64998 HAS SOUPS 64658 WITH SCORE 64859.372
AT ITER 2593 NEW BEST:: SOT 296643 SOS 201576 HAS SOPS 180836 HAS SOUS 64991 HAS SOUPS 64651 WITH SCORE 64852.576
AT ITER 2628 NEW BEST:: SOT 296643 SOS 200080 HAS SOPS 179340 HAS SOUS 64838 HAS SOUPS 64498 WITH SCORE 64698.08
AT ITER 2688 NEW BEST:: SOT 277257 SOS 229807 HAS SOPS 162236 HAS SOUS 45624 HAS SOUPS 45114 WITH SCORE 45343.807
AT ITER 2723 NEW BEST:: SOT 282148 SOS 233902 HAS SOPS 163334 HAS SOUS 45418 HAS SOUPS 44908 WITH SCORE 45141.902
AT ITER 2730 NEW BEST:: SOT 282588 SOS 233885 HAS SOPS 161799 HAS SOUS 44857 HAS SOUPS 44347 WITH SCORE 44580.885
AT ITER 2857 NEW BEST:: SOT 281676 SOS 232973 HAS SOPS 160887 HAS SOUS 44713 HAS SOUPS 44203 WITH SCORE 44435.973
AT ITER 2861 NEW BEST:: SOT 281753 SOS 233050 HAS SOPS 160964 HAS SOUS 44513 HAS SOUPS 44003 WITH SCORE 44236.05
AT ITER 2924 NEW BEST:: SOT 281860 SOS 233157 HAS SOPS 160874 HAS SOUS 44494 HAS SOUPS 43984 WITH SCORE 44217.157
AT ITER 3054 NEW BEST:: SOT 281877 SOS 233110 HAS SOPS 160328 HAS SOUS 44251 HAS SOUPS 43741 WITH SCORE 43974.11
AT ITER 3095 NEW BEST:: SOT 281877 SOS 233110 HAS SOPS 160328 HAS SOUS 44228 HAS SOUPS 43718 WITH SCORE 43951.11
AT ITER 3217 NEW BEST:: SOT 280332 SOS 231565 HAS SOPS 158785 HAS SOUS 44139 HAS SOUPS 43629 WITH SCORE 43860.565
AT ITER 3277 NEW BEST:: SOT 280212 SOS 231445 HAS SOPS 158743 HAS SOUS 44057 HAS SOUPS 43587 WITH SCORE 43818.445
AT ITER 3393 NEW BEST:: SOT 281684 SOS 230994 HAS SOPS 152264 HAS SOUS 43678 HAS SOUPS 43208 WITH SCORE 43438.994
AT ITER 3414 NEW BEST:: SOT 280244 SOS 229554 HAS SOPS 150824 HAS SOUS 43678 HAS SOUPS 43208 WITH SCORE 43437.554
AT ITER 3422 NEW BEST:: SOT 280267 SOS 229528 HAS SOPS 150798 HAS SOUS 43469 HAS SOUPS 42999 WITH SCORE 43228.528
AT ITER 3542 NEW BEST:: SOT 280336 SOS 229597 HAS SOPS 150729 HAS SOUS 43468 HAS SOUPS 42998 WITH SCORE 43227.597
AT ITER 3630 NEW BEST:: SOT 281351 SOS 228718 HAS SOPS 144922 HAS SOUS 43225 HAS SOUPS 42755 WITH SCORE 42983.718
AT ITER 3681 NEW BEST:: SOT 281379 SOS 228610 HAS SOPS 144623 HAS SOUS 43160 HAS SOUPS 42690 WITH SCORE 42918.61
AT ITER 3700 NEW BEST:: SOT 281489 SOS 228720 HAS SOPS 144733 HAS SOUS 43145 HAS SOUPS 42675 WITH SCORE 42903.72
AT ITER 3724 NEW BEST:: SOT 283617 SOS 228722 HAS SOPS 137682 HAS SOUS 42750 HAS SOUPS 42280 WITH SCORE 42508.722
AT ITER 3814 NEW BEST:: SOT 283609 SOS 228714 HAS SOPS 137674 HAS SOUS 42742 HAS SOUPS 42272 WITH SCORE 42500.714
AT ITER 3856 NEW BEST:: SOT 283870 SOS 228975 HAS SOPS 137848 HAS SOUS 42635 HAS SOUPS 42165 WITH SCORE 42393.975
AT ITER 3878 NEW BEST:: SOT 283766 SOS 228871 HAS SOPS 137744 HAS SOUS 42580 HAS SOUPS 42110 WITH SCORE 42338.871
AT ITER 3879 NEW BEST:: SOT 283796 SOS 228901 HAS SOPS 137696 HAS SOUS 42552 HAS SOUPS 42082 WITH SCORE 42310.901
AT ITER 3958 NEW BEST:: SOT 283901 SOS 229006 HAS SOPS 137759 HAS SOUS 42531 HAS SOUPS 42061 WITH SCORE 42290.006
AT ITER 4105 NEW BEST:: SOT 283623 SOS 228728 HAS SOPS 137605 HAS SOUS 42341 HAS SOUPS 41871 WITH SCORE 42099.728
AT ITER 4119 NEW BEST:: SOT 288504 SOS 233609 HAS SOPS 139319 HAS SOUS 42000 HAS SOUPS 41530 WITH SCORE 41763.609
AT ITER 4126 NEW BEST:: SOT 288222 SOS 233327 HAS SOPS 139037 HAS SOUS 41793 HAS SOUPS 41323 WITH SCORE 41556.327
AT ITER 4138 NEW BEST:: SOT 287717 SOS 232822 HAS SOPS 139485 HAS SOUS 41793 HAS SOUPS 41323 WITH SCORE 41555.822
AT ITER 4174 NEW BEST:: SOT 285769 SOS 230874 HAS SOPS 138122 HAS SOUS 41793 HAS SOUPS 41323 WITH SCORE 41553.874
AT ITER 4258 NEW BEST:: SOT 285771 SOS 230876 HAS SOPS 138542 HAS SOUS 41761 HAS SOUPS 41291 WITH SCORE 41521.876
AT ITER 4262 NEW BEST:: SOT 285973 SOS 230949 HAS SOPS 138403 HAS SOUS 41634 HAS SOUPS 41164 WITH SCORE 41394.949
AT ITER 4266 NEW BEST:: SOT 285909 SOS 230885 HAS SOPS 138339 HAS SOUS 41634 HAS SOUPS 41164 WITH SCORE 41394.885
AT ITER 4322 NEW BEST:: SOT 285707 SOS 230683 HAS SOPS 138233 HAS SOUS 41559 HAS SOUPS 41089 WITH SCORE 41319.683
AT ITER 4338 NEW BEST:: SOT 285624 SOS 230600 HAS SOPS 138357 HAS SOUS 41559 HAS SOUPS 41089 WITH SCORE 41319.6
AT ITER 4412 NEW BEST:: SOT 285141 SOS 230117 HAS SOPS 140610 HAS SOUS 41559 HAS SOUPS 41089 WITH SCORE 41319.117
AT ITER 4446 NEW BEST:: SOT 285169 SOS 230115 HAS SOPS 140608 HAS SOUS 41391 HAS SOUPS 40921 WITH SCORE 41151.115
AT ITER 4452 NEW BEST:: SOT 285243 SOS 230085 HAS SOPS 140578 HAS SOUS 41390 HAS SOUPS 40920 WITH SCORE 41150.085
AT ITER 4524 NEW BEST:: SOT 285236 SOS 230078 HAS SOPS 140571 HAS SOUS 41383 HAS SOUPS 40913 WITH SCORE 41143.078
AT ITER 4556 NEW BEST:: SOT 285412 SOS 230254 HAS SOPS 140747 HAS SOUS 41334 HAS SOUPS 40864 WITH SCORE 41094.254
AT ITER 4560 NEW BEST:: SOT 285181 SOS 229995 HAS SOPS 140491 HAS SOUS 41185 HAS SOUPS 40715 WITH SCORE 40944.995
AT ITER 4574 NEW BEST:: SOT 285232 SOS 230046 HAS SOPS 140542 HAS SOUS 41165 HAS SOUPS 40695 WITH SCORE 40925.046
AT ITER 4581 NEW BEST:: SOT 285232 SOS 229978 HAS SOPS 140474 HAS SOUS 41164 HAS SOUPS 40694 WITH SCORE 40923.978
AT ITER 4630 NEW BEST:: SOT 286121 SOS 230144 HAS SOPS 137449 HAS SOUS 40850 HAS SOUPS 40380 WITH SCORE 40610.144
AT ITER 4640 NEW BEST:: SOT 289277 SOS 233300 HAS SOPS 139457 HAS SOUS 40646 HAS SOUPS 40176 WITH SCORE 40409.3
AT ITER 4665 NEW BEST:: SOT 288973 SOS 232996 HAS SOPS 139153 HAS SOUS 40646 HAS SOUPS 40176 WITH SCORE 40408.996
AT ITER 4695 NEW BEST:: SOT 288400 SOS 232423 HAS SOPS 139486 HAS SOUS 40646 HAS SOUPS 40176 WITH SCORE 40408.423
AT ITER 4796 NEW BEST:: SOT 288400 SOS 232383 HAS SOPS 139446 HAS SOUS 40646 HAS SOUPS 40176 WITH SCORE 40408.383
AT ITER 4837 NEW BEST:: SOT 289691 SOS 233674 HAS SOPS 138828 HAS SOUS 40446 HAS SOUPS 39976 WITH SCORE 40209.674
AT ITER 4963 NEW BEST:: SOT 289797 SOS 233766 HAS SOPS 138848 HAS SOUS 40373 HAS SOUPS 39903 WITH SCORE 40136.766
AT ITER 4994 NEW BEST:: SOT 289809 SOS 233778 HAS SOPS 138710 HAS SOUS 40361 HAS SOUPS 39891 WITH SCORE 40124.778
AT ITER 5010 NEW BEST:: SOT 289809 SOS 233778 HAS SOPS 138646 HAS SOUS 40305 HAS SOUPS 39835 WITH SCORE 40068.778
AT ITER 5129 NEW BEST:: SOT 290766 SOS 233932 HAS SOPS 135549 HAS SOUS 39978 HAS SOUPS 39508 WITH SCORE 39741.932
AT ITER 5164 NEW BEST:: SOT 292968 SOS 236134 HAS SOPS 137313 HAS SOUS 39836 HAS SOUPS 39366 WITH SCORE 39602.134
AT ITER 5312 NEW BEST:: SOT 289480 SOS 232646 HAS SOPS 134349 HAS SOUS 39754 HAS SOUPS 39284 WITH SCORE 39516.646
AT ITER 5398 NEW BEST:: SOT 289590 SOS 232756 HAS SOPS 134459 HAS SOUS 39676 HAS SOUPS 39206 WITH SCORE 39438.756
AT ITER 5399 NEW BEST:: SOT 289963 SOS 233129 HAS SOPS 133074 HAS SOUS 39530 HAS SOUPS 39060 WITH SCORE 39293.129
AT ITER 5451 NEW BEST:: SOT 294950 SOS 238116 HAS SOPS 137064 HAS SOUS 39340 HAS SOUPS 38870 WITH SCORE 39108.116
AT ITER 5539 NEW BEST:: SOT 295283 SOS 238303 HAS SOPS 137226 HAS SOUS 39169 HAS SOUPS 38699 WITH SCORE 38937.303
AT ITER 5550 NEW BEST:: SOT 293603 SOS 236623 HAS SOPS 135546 HAS SOUS 39169 HAS SOUPS 38699 WITH SCORE 38935.623
AT ITER 5562 NEW BEST:: SOT 290563 SOS 233583 HAS SOPS 132506 HAS SOUS 39169 HAS SOUPS 38699 WITH SCORE 38932.583
AT ITER 5581 NEW BEST:: SOT 290502 SOS 233522 HAS SOPS 132506 HAS SOUS 39124 HAS SOUPS 38654 WITH SCORE 38887.522
AT ITER 5604 NEW BEST:: SOT 290555 SOS 233278 HAS SOPS 132262 HAS SOUS 39066 HAS SOUPS 38596 WITH SCORE 38829.278
AT ITER 5645 NEW BEST:: SOT 290600 SOS 233294 HAS SOPS 132188 HAS SOUS 38969 HAS SOUPS 38499 WITH SCORE 38732.294
AT ITER 5698 NEW BEST:: SOT 290572 SOS 233266 HAS SOPS 132176 HAS SOUS 38963 HAS SOUPS 38493 WITH SCORE 38726.266
AT ITER 5724 NEW BEST:: SOT 290582 SOS 233276 HAS SOPS 132186 HAS SOUS 38954 HAS SOUPS 38484 WITH SCORE 38717.276
AT ITER 5740 NEW BEST:: SOT 290678 SOS 233372 HAS SOPS 132282 HAS SOUS 38947 HAS SOUPS 38477 WITH SCORE 38710.372
AT ITER 5756 NEW BEST:: SOT 290576 SOS 233270 HAS SOPS 132180 HAS SOUS 38812 HAS SOUPS 38342 WITH SCORE 38575.27
AT ITER 5849 NEW BEST:: SOT 290735 SOS 233279 HAS SOPS 132189 HAS SOUS 38793 HAS SOUPS 38323 WITH SCORE 38556.279
AT ITER 5894 NEW BEST:: SOT 291476 SOS 234020 HAS SOPS 132855 HAS SOUS 38742 HAS SOUPS 38272 WITH SCORE 38506.02
AT ITER 5935 NEW BEST:: SOT 291210 SOS 233754 HAS SOPS 132589 HAS SOUS 38700 HAS SOUPS 38230 WITH SCORE 38463.754
AT ITER 6071 NEW BEST:: SOT 291230 SOS 233655 HAS SOPS 132470 HAS SOUS 38669 HAS SOUPS 38199 WITH SCORE 38432.655
AT ITER 6130 NEW BEST:: SOT 291041 SOS 233466 HAS SOPS 132470 HAS SOUS 38669 HAS SOUPS 38199 WITH SCORE 38432.466
AT ITER 6142 NEW BEST:: SOT 291275 SOS 233700 HAS SOPS 132704 HAS SOUS 38626 HAS SOUPS 38156 WITH SCORE 38389.7
AT ITER 6198 NEW BEST:: SOT 291310 SOS 233735 HAS SOPS 132739 HAS SOUS 38533 HAS SOUPS 38063 WITH SCORE 38296.735
AT ITER 6206 NEW BEST:: SOT 291268 SOS 233728 HAS SOPS 132866 HAS SOUS 38476 HAS SOUPS 38006 WITH SCORE 38239.728
AT ITER 6293 NEW BEST:: SOT 291229 SOS 233827 HAS SOPS 132998 HAS SOUS 38405 HAS SOUPS 37935 WITH SCORE 38168.827
AT ITER 6329 NEW BEST:: SOT 291021 SOS 233619 HAS SOPS 132790 HAS SOUS 38405 HAS SOUPS 37935 WITH SCORE 38168.619
AT ITER 6427 NEW BEST:: SOT 290996 SOS 233594 HAS SOPS 132765 HAS SOUS 38405 HAS SOUPS 37935 WITH SCORE 38168.594
AT ITER 6641 NEW BEST:: SOT 290766 SOS 233364 HAS SOPS 132536 HAS SOUS 38178 HAS SOUPS 37708 WITH SCORE 37941.364
AT ITER 6651 NEW BEST:: SOT 290870 SOS 233543 HAS SOPS 133875 HAS SOUS 38172 HAS SOUPS 37702 WITH SCORE 37935.543
AT ITER 6670 NEW BEST:: SOT 290856 SOS 233529 HAS SOPS 133861 HAS SOUS 38171 HAS SOUPS 37701 WITH SCORE 37934.529
AT ITER 6770 NEW BEST:: SOT 286287 SOS 228960 HAS SOPS 129432 HAS SOUS 37982 HAS SOUPS 37512 WITH SCORE 37740.96
AT ITER 6884 NEW BEST:: SOT 282889 SOS 225562 HAS SOPS 126094 HAS SOUS 37496 HAS SOUPS 37086 WITH SCORE 37311.562
AT ITER 6899 NEW BEST:: SOT 282839 SOS 225512 HAS SOPS 126139 HAS SOUS 37496 HAS SOUPS 37086 WITH SCORE 37311.512
AT ITER 6900 NEW BEST:: SOT 282839 SOS 225512 HAS SOPS 126164 HAS SOUS 37494 HAS SOUPS 37084 WITH SCORE 37309.512
AT ITER 6986 NEW BEST:: SOT 282955 SOS 225628 HAS SOPS 126280 HAS SOUS 37440 HAS SOUPS 37030 WITH SCORE 37255.628
AT ITER 7087 NEW BEST:: SOT 282924 SOS 225597 HAS SOPS 126249 HAS SOUS 37409 HAS SOUPS 36999 WITH SCORE 37224.597
AT ITER 7100 NEW BEST:: SOT 282969 SOS 225662 HAS SOPS 126244 HAS SOUS 37348 HAS SOUPS 36938 WITH SCORE 37163.662
AT ITER 7195 NEW BEST:: SOT 283212 SOS 225905 HAS SOPS 126487 HAS SOUS 37230 HAS SOUPS 36820 WITH SCORE 37045.905
AT ITER 7208 NEW BEST:: SOT 283223 SOS 225916 HAS SOPS 126498 HAS SOUS 37184 HAS SOUPS 36774 WITH SCORE 36999.916
AT ITER 7213 NEW BEST:: SOT 285156 SOS 227849 HAS SOPS 128459 HAS SOUS 37124 HAS SOUPS 36742 WITH SCORE 36969.849
AT ITER 7222 NEW BEST:: SOT 285235 SOS 227928 HAS SOPS 128538 HAS SOUS 37083 HAS SOUPS 36701 WITH SCORE 36928.928
AT ITER 7321 NEW BEST:: SOT 284590 SOS 227283 HAS SOPS 128217 HAS SOUS 37083 HAS SOUPS 36701 WITH SCORE 36928.283
AT ITER 7335 NEW BEST:: SOT 284691 SOS 227384 HAS SOPS 128318 HAS SOUS 37064 HAS SOUPS 36682 WITH SCORE 36909.384
AT ITER 7348 NEW BEST:: SOT 284691 SOS 227384 HAS SOPS 128108 HAS SOUS 36984 HAS SOUPS 36602 WITH SCORE 36829.384
AT ITER 7357 NEW BEST:: SOT 284254 SOS 226947 HAS SOPS 130363 HAS SOUS 36952 HAS SOUPS 36570 WITH SCORE 36796.947
AT ITER 7413 NEW BEST:: SOT 284245 SOS 226938 HAS SOPS 130387 HAS SOUS 36934 HAS SOUPS 36552 WITH SCORE 36778.938
AT ITER 7445 NEW BEST:: SOT 284266 SOS 226959 HAS SOPS 130408 HAS SOUS 36804 HAS SOUPS 36422 WITH SCORE 36648.959
AT ITER 7459 NEW BEST:: SOT 284255 SOS 226948 HAS SOPS 130408 HAS SOUS 36804 HAS SOUPS 36422 WITH SCORE 36648.948
AT ITER 7481 NEW BEST:: SOT 284268 SOS 226961 HAS SOPS 130385 HAS SOUS 36772 HAS SOUPS 36390 WITH SCORE 36616.961
AT ITER 7494 NEW BEST:: SOT 280811 SOS 223504 HAS SOPS 127347 HAS SOUS 36405 HAS SOUPS 36023 WITH SCORE 36246.504
AT ITER 7538 NEW BEST:: SOT 280706 SOS 223399 HAS SOPS 127275 HAS SOUS 36312 HAS SOUPS 35930 WITH SCORE 36153.399
AT ITER 7548 NEW BEST:: SOT 280706 SOS 223342 HAS SOPS 127218 HAS SOUS 36274 HAS SOUPS 35892 WITH SCORE 36115.342
AT ITER 7578 NEW BEST:: SOT 280706 SOS 223309 HAS SOPS 127185 HAS SOUS 36241 HAS SOUPS 35859 WITH SCORE 36082.309
AT ITER 7613 NEW BEST:: SOT 280402 SOS 223005 HAS SOPS 126881 HAS SOUS 36241 HAS SOUPS 35859 WITH SCORE 36082.005
AT ITER 7716 NEW BEST:: SOT 280489 SOS 223092 HAS SOPS 126757 HAS SOUS 36210 HAS SOUPS 35828 WITH SCORE 36051.092
AT ITER 7827 NEW BEST:: SOT 280541 SOS 223045 HAS SOPS 126710 HAS SOUS 36111 HAS SOUPS 35729 WITH SCORE 35952.045
AT ITER 7970 NEW BEST:: SOT 280532 SOS 223036 HAS SOPS 126701 HAS SOUS 36111 HAS SOUPS 35729 WITH SCORE 35952.036
AT ITER 8001 NEW BEST:: SOT 280532 SOS 223036 HAS SOPS 126701 HAS SOUS 36016 HAS SOUPS 35634 WITH SCORE 35857.036
AT ITER 8054 NEW BEST:: SOT 280522 SOS 222996 HAS SOPS 126651 HAS SOUS 35952 HAS SOUPS 35570 WITH SCORE 35792.996
AT ITER 8073 NEW BEST:: SOT 280635 SOS 223109 HAS SOPS 126764 HAS SOUS 35919 HAS SOUPS 35537 WITH SCORE 35760.109
AT ITER 8075 NEW BEST:: SOT 280829 SOS 223303 HAS SOPS 126958 HAS SOUS 35907 HAS SOUPS 35525 WITH SCORE 35748.303
AT ITER 8160 NEW BEST:: SOT 280829 SOS 223228 HAS SOPS 126731 HAS SOUS 35801 HAS SOUPS 35419 WITH SCORE 35642.228
AT ITER 8201 NEW BEST:: SOT 279816 SOS 222215 HAS SOPS 128504 HAS SOUS 35801 HAS SOUPS 35419 WITH SCORE 35641.215
AT ITER 8210 NEW BEST:: SOT 280269 SOS 222668 HAS SOPS 130003 HAS SOUS 35318 HAS SOUPS 34975 WITH SCORE 35197.668
AT ITER 8375 NEW BEST:: SOT 280269 SOS 222645 HAS SOPS 129980 HAS SOUS 35295 HAS SOUPS 34952 WITH SCORE 35174.645
AT ITER 8384 NEW BEST:: SOT 280946 SOS 223322 HAS SOPS 127534 HAS SOUS 35239 HAS SOUPS 34896 WITH SCORE 35119.322
AT ITER 8386 NEW BEST:: SOT 280980 SOS 223356 HAS SOPS 127522 HAS SOUS 35215 HAS SOUPS 34872 WITH SCORE 35095.356
AT ITER 8391 NEW BEST:: SOT 280980 SOS 223356 HAS SOPS 127522 HAS SOUS 35103 HAS SOUPS 34760 WITH SCORE 34983.356
AT ITER 8445 NEW BEST:: SOT 280772 SOS 223148 HAS SOPS 127314 HAS SOUS 35103 HAS SOUPS 34760 WITH SCORE 34983.148
AT ITER 8455 NEW BEST:: SOT 274655 SOS 217031 HAS SOPS 121704 HAS SOUS 35090 HAS SOUPS 34747 WITH SCORE 34964.031
AT ITER 8537 NEW BEST:: SOT 274555 SOS 216931 HAS SOPS 122904 HAS SOUS 34990 HAS SOUPS 34647 WITH SCORE 34863.931
AT ITER 8607 NEW BEST:: SOT 274340 SOS 216716 HAS SOPS 122689 HAS SOUS 34832 HAS SOUPS 34489 WITH SCORE 34705.716
AT ITER 8648 NEW BEST:: SOT 274643 SOS 217019 HAS SOPS 122815 HAS SOUS 34768 HAS SOUPS 34425 WITH SCORE 34642.019
AT ITER 8651 NEW BEST:: SOT 278764 SOS 221140 HAS SOPS 126753 HAS SOUS 34713 HAS SOUPS 34370 WITH SCORE 34591.14
AT ITER 8730 NEW BEST:: SOT 278700 SOS 221076 HAS SOPS 126689 HAS SOUS 34713 HAS SOUPS 34370 WITH SCORE 34591.076
AT ITER 8742 NEW BEST:: SOT 278700 SOS 221071 HAS SOPS 126684 HAS SOUS 34644 HAS SOUPS 34301 WITH SCORE 34522.071
AT ITER 8774 NEW BEST:: SOT 278793 SOS 221164 HAS SOPS 126777 HAS SOUS 34602 HAS SOUPS 34259 WITH SCORE 34480.164
AT ITER 8805 NEW BEST:: SOT 278814 SOS 221185 HAS SOPS 126746 HAS SOUS 34540 HAS SOUPS 34197 WITH SCORE 34418.185
AT ITER 8838 NEW BEST:: SOT 278656 SOS 221027 HAS SOPS 126746 HAS SOUS 34516 HAS SOUPS 34197 WITH SCORE 34418.027
AT ITER 8904 NEW BEST:: SOT 278701 SOS 221072 HAS SOPS 126789 HAS SOUS 34512 HAS SOUPS 34193 WITH SCORE 34414.072
AT ITER 8972 NEW BEST:: SOT 278679 SOS 221050 HAS SOPS 126767 HAS SOUS 34490 HAS SOUPS 34171 WITH SCORE 34392.05
AT ITER 9183 NEW BEST:: SOT 278669 SOS 221040 HAS SOPS 126599 HAS SOUS 34349 HAS SOUPS 34030 WITH SCORE 34251.04
AT ITER 9187 NEW BEST:: SOT 277187 SOS 219558 HAS SOPS 125117 HAS SOUS 34115 HAS SOUPS 33796 WITH SCORE 34015.558
AT ITER 9190 NEW BEST:: SOT 272793 SOS 218935 HAS SOPS 124439 HAS SOUS 30139 HAS SOUPS 29765 WITH SCORE 29983.935
AT ITER 9196 NEW BEST:: SOT 269657 SOS 215799 HAS SOPS 121303 HAS SOUS 28827 HAS SOUPS 28453 WITH SCORE 28668.799
AT ITER 9353 NEW BEST:: SOT 266905 SOS 213047 HAS SOPS 118551 HAS SOUS 28571 HAS SOUPS 28197 WITH SCORE 28410.047
AT ITER 9354 NEW BEST:: SOT 266912 SOS 213054 HAS SOPS 118558 HAS SOUS 28557 HAS SOUPS 28183 WITH SCORE 28396.054
AT ITER 9389 NEW BEST:: SOT 267759 SOS 213901 HAS SOPS 118931 HAS SOUS 28513 HAS SOUPS 28139 WITH SCORE 28352.901
AT ITER 9484 NEW BEST:: SOT 267712 SOS 213854 HAS SOPS 118884 HAS SOUS 28513 HAS SOUPS 28139 WITH SCORE 28352.854
AT ITER 9531 NEW BEST:: SOT 265791 SOS 211933 HAS SOPS 116963 HAS SOUS 28400 HAS SOUPS 28026 WITH SCORE 28237.933
AT ITER 9551 NEW BEST:: SOT 265443 SOS 211585 HAS SOPS 116615 HAS SOUS 28125 HAS SOUPS 27751 WITH SCORE 27962.585
AT ITER 9558 NEW BEST:: SOT 265442 SOS 211584 HAS SOPS 116614 HAS SOUS 28123 HAS SOUPS 27749 WITH SCORE 27960.584
AT ITER 9583 NEW BEST:: SOT 265604 SOS 211746 HAS SOPS 116582 HAS SOUS 28108 HAS SOUPS 27734 WITH SCORE 27945.746
AT ITER 9610 NEW BEST:: SOT 265575 SOS 211717 HAS SOPS 116872 HAS SOUS 28108 HAS SOUPS 27734 WITH SCORE 27945.717
AT ITER 9620 NEW BEST:: SOT 265536 SOS 211678 HAS SOPS 116820 HAS SOUS 28047 HAS SOUPS 27673 WITH SCORE 27884.678
AT ITER 9642 NEW BEST:: SOT 265788 SOS 211930 HAS SOPS 117072 HAS SOUS 28011 HAS SOUPS 27637 WITH SCORE 27848.93
AT ITER 9682 NEW BEST:: SOT 265799 SOS 211941 HAS SOPS 117102 HAS SOUS 28003 HAS SOUPS 27629 WITH SCORE 27840.941
AT ITER 9687 NEW BEST:: SOT 264919 SOS 211061 HAS SOPS 116222 HAS SOUS 28003 HAS SOUPS 27629 WITH SCORE 27840.061
AT ITER 9718 NEW BEST:: SOT 264794 SOS 210936 HAS SOPS 116465 HAS SOUS 28003 HAS SOUPS 27629 WITH SCORE 27839.936
AT ITER 9812 NEW BEST:: SOT 264794 SOS 210928 HAS SOPS 116457 HAS SOUS 27998 HAS SOUPS 27624 WITH SCORE 27834.928
AT ITER 9889 NEW BEST:: SOT 262234 SOS 208368 HAS SOPS 113897 HAS SOUS 27550 HAS SOUPS 27176 WITH SCORE 27384.368
AT ITER 9905 NEW BEST:: SOT 262228 SOS 208362 HAS SOPS 113873 HAS SOUS 27544 HAS SOUPS 27170 WITH SCORE 27378.362
AT ITER 9915 NEW BEST:: SOT 262329 SOS 208463 HAS SOPS 113973 HAS SOUS 27509 HAS SOUPS 27135 WITH SCORE 27343.463
STATE_SPACE STATES 1612022 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 7 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3570462 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679387638901

--------------------
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="SieveSingleMsgMbox-PT-d1m06"
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 SieveSingleMsgMbox-PT-d1m06, 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 r427-tajo-167905979600416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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