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-167905979700456.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-d2m04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979700456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 7.9K Feb 26 10:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 10:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 10:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 10:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 10:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 186K Feb 26 10:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 10:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 10:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:06 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 1.1M 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 1679388004105

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-d2m04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 08:40:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 08:40:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 08:40:05] [INFO ] Load time of PNML (sax parser for PT used): 114 ms
[2023-03-21 08:40:05] [INFO ] Transformed 2398 places.
[2023-03-21 08:40:05] [INFO ] Transformed 1954 transitions.
[2023-03-21 08:40:05] [INFO ] Parsed PT model containing 2398 places and 1954 transitions and 7816 arcs in 184 ms.
[2023-03-21 08:40:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2398 places, 1954 transitions and 7816 arcs took 20 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 d2m04
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: 2398 places, 1954 transitions, 7816 arcs.
AT ITER 0 NEW BEST:: SOT 802697 SOS 719415 HAS SOPS 719415 HAS SOUS 632207 HAS SOUPS 632207 WITH SCORE 632926.415
AT ITER 12 NEW BEST:: SOT 802793 SOS 719155 HAS SOPS 719155 HAS SOUS 632088 HAS SOUPS 632088 WITH SCORE 632807.155
AT ITER 102 NEW BEST:: SOT 802793 SOS 719144 HAS SOPS 719144 HAS SOUS 632087 HAS SOUPS 632087 WITH SCORE 632806.144
AT ITER 120 NEW BEST:: SOT 802793 SOS 718332 HAS SOPS 718332 HAS SOUS 631912 HAS SOUPS 631912 WITH SCORE 632630.332
AT ITER 155 NEW BEST:: SOT 802793 SOS 717541 HAS SOPS 717541 HAS SOUS 629918 HAS SOUPS 629918 WITH SCORE 630635.541
AT ITER 157 NEW BEST:: SOT 811977 SOS 724756 HAS SOPS 724756 HAS SOUS 629420 HAS SOUPS 629420 WITH SCORE 630144.756
AT ITER 173 NEW BEST:: SOT 829484 SOS 740171 HAS SOPS 740171 HAS SOUS 623368 HAS SOUPS 623368 WITH SCORE 624108.171
AT ITER 271 NEW BEST:: SOT 840185 SOS 748575 HAS SOPS 748575 HAS SOUS 609037 HAS SOUPS 609037 WITH SCORE 609785.575
AT ITER 296 NEW BEST:: SOT 840185 SOS 748467 HAS SOPS 748467 HAS SOUS 609010 HAS SOUPS 609010 WITH SCORE 609758.467
AT ITER 337 NEW BEST:: SOT 856462 SOS 764744 HAS SOPS 764744 HAS SOUS 604567 HAS SOUPS 604567 WITH SCORE 605331.744
AT ITER 406 NEW BEST:: SOT 856462 SOS 763847 HAS SOPS 763847 HAS SOUS 603366 HAS SOUPS 603366 WITH SCORE 604129.847
AT ITER 440 NEW BEST:: SOT 856462 SOS 762968 HAS SOPS 762968 HAS SOUS 600061 HAS SOUPS 600061 WITH SCORE 600823.968
AT ITER 444 NEW BEST:: SOT 856462 SOS 762320 HAS SOPS 762320 HAS SOUS 600051 HAS SOUPS 600051 WITH SCORE 600813.32
AT ITER 525 NEW BEST:: SOT 856510 SOS 762368 HAS SOPS 762368 HAS SOUS 600001 HAS SOUPS 600001 WITH SCORE 600763.368
AT ITER 582 NEW BEST:: SOT 856657 SOS 762218 HAS SOPS 762218 HAS SOUS 599999 HAS SOUPS 599999 WITH SCORE 600761.218
AT ITER 621 NEW BEST:: SOT 872278 SOS 776527 HAS SOPS 776527 HAS SOUS 585834 HAS SOUPS 585834 WITH SCORE 586610.527
AT ITER 676 NEW BEST:: SOT 872743 SOS 775106 HAS SOPS 775031 HAS SOUS 585530 HAS SOUPS 585515 WITH SCORE 586290.106
AT ITER 677 NEW BEST:: SOT 902781 SOS 803196 HAS SOPS 803106 HAS SOUS 583937 HAS SOUPS 583922 WITH SCORE 584725.196
AT ITER 681 NEW BEST:: SOT 904529 SOS 802585 HAS SOPS 802480 HAS SOUS 569377 HAS SOUPS 569362 WITH SCORE 570164.585
AT ITER 683 NEW BEST:: SOT 907617 SOS 802852 HAS SOPS 802098 HAS SOUS 560971 HAS SOUPS 560870 WITH SCORE 561672.852
AT ITER 684 NEW BEST:: SOT 907617 SOS 801298 HAS SOPS 800544 HAS SOUS 551309 HAS SOUPS 551208 WITH SCORE 552009.298
AT ITER 704 NEW BEST:: SOT 946861 SOS 838635 HAS SOPS 837765 HAS SOUS 547081 HAS SOUPS 546980 WITH SCORE 547818.635
AT ITER 709 NEW BEST:: SOT 947040 SOS 838317 HAS SOPS 837431 HAS SOUS 546995 HAS SOUPS 546894 WITH SCORE 547732.317
AT ITER 716 NEW BEST:: SOT 947880 SOS 835879 HAS SOPS 834753 HAS SOUS 537034 HAS SOUPS 536933 WITH SCORE 537768.879
AT ITER 723 NEW BEST:: SOT 947880 SOS 833419 HAS SOPS 832293 HAS SOUS 527658 HAS SOUPS 527557 WITH SCORE 528390.419
AT ITER 727 NEW BEST:: SOT 982256 SOS 866826 HAS SOPS 865554 HAS SOUS 516002 HAS SOUPS 515901 WITH SCORE 516767.826
AT ITER 748 NEW BEST:: SOT 982256 SOS 866657 HAS SOPS 865385 HAS SOUS 515690 HAS SOUPS 515589 WITH SCORE 516455.657
AT ITER 820 NEW BEST:: SOT 1017657 SOS 899207 HAS SOPS 897789 HAS SOUS 502640 HAS SOUPS 502539 WITH SCORE 503438.207
AT ITER 860 NEW BEST:: SOT 1049204 SOS 929950 HAS SOPS 928386 HAS SOUS 492887 HAS SOUPS 492786 WITH SCORE 493715.95
AT ITER 874 NEW BEST:: SOT 1052463 SOS 928980 HAS SOPS 926103 HAS SOUS 485148 HAS SOUPS 485021 WITH SCORE 485949.98
AT ITER 948 NEW BEST:: SOT 1086876 SOS 961023 HAS SOPS 957873 HAS SOUS 472722 HAS SOUPS 472595 WITH SCORE 473556.023
AT ITER 976 NEW BEST:: SOT 1086876 SOS 960687 HAS SOPS 957537 HAS SOUS 472720 HAS SOUPS 472593 WITH SCORE 473553.687
AT ITER 1014 NEW BEST:: SOT 1087343 SOS 960648 HAS SOPS 957498 HAS SOUS 472681 HAS SOUPS 472554 WITH SCORE 473514.648
AT ITER 1055 NEW BEST:: SOT 1113433 SOS 983055 HAS SOPS 979632 HAS SOUS 459697 HAS SOUPS 459570 WITH SCORE 460553.055
AT ITER 1107 NEW BEST:: SOT 1113442 SOS 983064 HAS SOPS 979641 HAS SOUS 459696 HAS SOUPS 459569 WITH SCORE 460552.064
AT ITER 1249 NEW BEST:: SOT 1113442 SOS 982611 HAS SOPS 979188 HAS SOUS 459607 HAS SOUPS 459480 WITH SCORE 460462.611
AT ITER 1280 NEW BEST:: SOT 1116783 SOS 980837 HAS SOPS 975679 HAS SOUS 451907 HAS SOUPS 451766 WITH SCORE 452746.837
AT ITER 1291 NEW BEST:: SOT 1121415 SOS 980034 HAS SOPS 972589 HAS SOUS 444658 HAS SOUPS 444471 WITH SCORE 445451.034
AT ITER 1353 NEW BEST:: SOT 1124478 SOS 978736 HAS SOPS 970910 HAS SOUS 431876 HAS SOUPS 431689 WITH SCORE 432667.736
AT ITER 1365 NEW BEST:: SOT 1124814 SOS 973847 HAS SOPS 965813 HAS SOUS 424576 HAS SOUPS 424389 WITH SCORE 425362.847
AT ITER 1423 NEW BEST:: SOT 1124814 SOS 972837 HAS SOPS 964803 HAS SOUS 424523 HAS SOUPS 424336 WITH SCORE 425308.837
AT ITER 1424 NEW BEST:: SOT 1124814 SOS 972745 HAS SOPS 964711 HAS SOUS 424477 HAS SOUPS 424290 WITH SCORE 425262.745
AT ITER 1431 NEW BEST:: SOT 1124158 SOS 972089 HAS SOPS 964055 HAS SOUS 424461 HAS SOUPS 424274 WITH SCORE 425246.089
AT ITER 1511 NEW BEST:: SOT 1124158 SOS 969499 HAS SOPS 961465 HAS SOUS 420995 HAS SOUPS 420808 WITH SCORE 421777.499
AT ITER 1543 NEW BEST:: SOT 1155726 SOS 996464 HAS SOPS 987813 HAS SOUS 409532 HAS SOUPS 409345 WITH SCORE 410341.464
AT ITER 1589 NEW BEST:: SOT 1166665 SOS 1001746 HAS SOPS 987654 HAS SOUS 409076 HAS SOUPS 408621 WITH SCORE 409622.746
AT ITER 1612 NEW BEST:: SOT 1212210 SOS 1042715 HAS SOPS 1027551 HAS SOUS 404943 HAS SOUPS 404488 WITH SCORE 405530.715
AT ITER 1730 NEW BEST:: SOT 1212210 SOS 1042473 HAS SOPS 1027309 HAS SOUS 404867 HAS SOUPS 404412 WITH SCORE 405454.473
AT ITER 1831 NEW BEST:: SOT 1213380 SOS 1043476 HAS SOPS 1028312 HAS SOUS 404422 HAS SOUPS 403967 WITH SCORE 405010.476
AT ITER 1849 NEW BEST:: SOT 1256342 SOS 1081246 HAS SOPS 1065010 HAS SOUS 393435 HAS SOUPS 392980 WITH SCORE 394061.246
AT ITER 1851 NEW BEST:: SOT 1262269 SOS 1083171 HAS SOPS 1066179 HAS SOUS 381561 HAS SOUPS 381106 WITH SCORE 382189.171
AT ITER 1865 NEW BEST:: SOT 1263432 SOS 1079594 HAS SOPS 1062371 HAS SOUS 369674 HAS SOUPS 369219 WITH SCORE 370298.594
AT ITER 1869 NEW BEST:: SOT 1263827 SOS 1079531 HAS SOPS 1062037 HAS SOUS 369524 HAS SOUPS 369069 WITH SCORE 370148.531
AT ITER 1876 NEW BEST:: SOT 1263827 SOS 1079417 HAS SOPS 1061923 HAS SOUS 369520 HAS SOUPS 369065 WITH SCORE 370144.417
AT ITER 1915 NEW BEST:: SOT 1263827 SOS 1074290 HAS SOPS 1056796 HAS SOUS 365775 HAS SOUPS 365320 WITH SCORE 366394.29
AT ITER 1929 NEW BEST:: SOT 1266866 SOS 1070212 HAS SOPS 1049997 HAS SOUS 359893 HAS SOUPS 359438 WITH SCORE 360508.212
AT ITER 1965 NEW BEST:: SOT 1266866 SOS 1066604 HAS SOPS 1046389 HAS SOUS 357266 HAS SOUPS 356811 WITH SCORE 357877.604
AT ITER 1973 NEW BEST:: SOT 1269780 SOS 1063672 HAS SOPS 1042886 HAS SOUS 346125 HAS SOUPS 345670 WITH SCORE 346733.672
AT ITER 1993 NEW BEST:: SOT 1269780 SOS 1063094 HAS SOPS 1042308 HAS SOUS 346091 HAS SOUPS 345636 WITH SCORE 346699.094
AT ITER 2012 NEW BEST:: SOT 1283765 SOS 1069523 HAS SOPS 1040474 HAS SOUS 344443 HAS SOUPS 343825 WITH SCORE 344894.523
AT ITER 2013 NEW BEST:: SOT 1283868 SOS 1069484 HAS SOPS 1040435 HAS SOUS 344404 HAS SOUPS 343786 WITH SCORE 344855.484
AT ITER 2022 NEW BEST:: SOT 1283885 SOS 1069481 HAS SOPS 1040432 HAS SOUS 344295 HAS SOUPS 343677 WITH SCORE 344746.481
AT ITER 2056 NEW BEST:: SOT 1301613 SOS 1081176 HAS SOPS 1050421 HAS SOUS 333704 HAS SOUPS 333086 WITH SCORE 334167.176
AT ITER 2069 NEW BEST:: SOT 1325470 SOS 1099862 HAS SOPS 1067257 HAS SOUS 322968 HAS SOUPS 322350 WITH SCORE 323449.862
AT ITER 2126 NEW BEST:: SOT 1343622 SOS 1110031 HAS SOPS 1066454 HAS SOUS 323012 HAS SOUPS 322203 WITH SCORE 323313.031
AT ITER 2132 NEW BEST:: SOT 1313136 SOS 1079545 HAS SOPS 1036929 HAS SOUS 322747 HAS SOUPS 321938 WITH SCORE 323017.545
AT ITER 2136 NEW BEST:: SOT 1310028 SOS 1076437 HAS SOPS 1034075 HAS SOUS 322747 HAS SOUPS 321938 WITH SCORE 323014.437
AT ITER 2157 NEW BEST:: SOT 1306209 SOS 1072618 HAS SOPS 1030537 HAS SOUS 322747 HAS SOUPS 321938 WITH SCORE 323010.618
AT ITER 2184 NEW BEST:: SOT 1306209 SOS 1071740 HAS SOPS 1029659 HAS SOUS 322640 HAS SOUPS 321831 WITH SCORE 322902.74
AT ITER 2201 NEW BEST:: SOT 1306209 SOS 1068624 HAS SOPS 1026543 HAS SOUS 321242 HAS SOUPS 320433 WITH SCORE 321501.624
AT ITER 2276 NEW BEST:: SOT 1307067 SOS 1069482 HAS SOPS 1027071 HAS SOUS 321209 HAS SOUPS 320400 WITH SCORE 321469.482
AT ITER 2310 NEW BEST:: SOT 1307067 SOS 1068210 HAS SOPS 1025799 HAS SOUS 320504 HAS SOUPS 319695 WITH SCORE 320763.21
AT ITER 2319 NEW BEST:: SOT 1312796 SOS 1064100 HAS SOPS 1016978 HAS SOUS 316281 HAS SOUPS 315472 WITH SCORE 316536.1
AT ITER 2368 NEW BEST:: SOT 1285092 SOS 1036396 HAS SOPS 990885 HAS SOUS 316223 HAS SOUPS 315414 WITH SCORE 316450.396
AT ITER 2400 NEW BEST:: SOT 1286023 SOS 1029174 HAS SOPS 982326 HAS SOUS 311511 HAS SOUPS 310702 WITH SCORE 311731.174
AT ITER 2546 NEW BEST:: SOT 1299433 SOS 1033597 HAS SOPS 979199 HAS SOUS 308145 HAS SOUPS 307336 WITH SCORE 308369.597
AT ITER 2580 NEW BEST:: SOT 1299515 SOS 1033679 HAS SOPS 979281 HAS SOUS 308125 HAS SOUPS 307316 WITH SCORE 308349.679
AT ITER 2623 NEW BEST:: SOT 1295195 SOS 1029359 HAS SOPS 975069 HAS SOUS 308125 HAS SOUPS 307316 WITH SCORE 308345.359
AT ITER 2692 NEW BEST:: SOT 1295195 SOS 1029185 HAS SOPS 974895 HAS SOUS 308105 HAS SOUPS 307296 WITH SCORE 308325.185
AT ITER 2713 NEW BEST:: SOT 1307022 SOS 1032885 HAS SOPS 970874 HAS SOUS 302924 HAS SOUPS 302115 WITH SCORE 303147.885
AT ITER 2721 NEW BEST:: SOT 1307042 SOS 1032846 HAS SOPS 970815 HAS SOUS 302861 HAS SOUPS 302052 WITH SCORE 303084.846
AT ITER 2757 NEW BEST:: SOT 1307042 SOS 1032028 HAS SOPS 969997 HAS SOUS 302861 HAS SOUPS 302052 WITH SCORE 303084.028
AT ITER 2784 NEW BEST:: SOT 1307042 SOS 1030096 HAS SOPS 968065 HAS SOUS 301629 HAS SOUPS 300820 WITH SCORE 301850.096
AT ITER 2806 NEW BEST:: SOT 1302282 SOS 1025336 HAS SOPS 963424 HAS SOUS 301629 HAS SOUPS 300820 WITH SCORE 301845.336
AT ITER 2853 NEW BEST:: SOT 1302589 SOS 1024625 HAS SOPS 962713 HAS SOUS 301624 HAS SOUPS 300815 WITH SCORE 301839.625
AT ITER 2879 NEW BEST:: SOT 1319195 SOS 1032839 HAS SOPS 961937 HAS SOUS 296244 HAS SOUPS 295435 WITH SCORE 296467.839
AT ITER 2936 NEW BEST:: SOT 1319195 SOS 1032597 HAS SOPS 961695 HAS SOUS 296079 HAS SOUPS 295270 WITH SCORE 296302.597
AT ITER 2967 NEW BEST:: SOT 1338769 SOS 1044833 HAS SOPS 969520 HAS SOUS 287786 HAS SOUPS 286977 WITH SCORE 288021.833
AT ITER 2973 NEW BEST:: SOT 1380674 SOS 1080794 HAS SOPS 1000687 HAS SOUS 280580 HAS SOUPS 279771 WITH SCORE 280851.794
AT ITER 2977 NEW BEST:: SOT 1380674 SOS 1075292 HAS SOPS 995185 HAS SOUS 278744 HAS SOUPS 277935 WITH SCORE 279010.292
AT ITER 2978 NEW BEST:: SOT 1387473 SOS 1073468 HAS SOPS 986372 HAS SOUS 274515 HAS SOUPS 273706 WITH SCORE 274779.468
AT ITER 3015 NEW BEST:: SOT 1360859 SOS 1046854 HAS SOPS 960655 HAS SOUS 274187 HAS SOUPS 273378 WITH SCORE 274424.854
AT ITER 3030 NEW BEST:: SOT 1360872 SOS 1046809 HAS SOPS 960597 HAS SOUS 274114 HAS SOUPS 273305 WITH SCORE 274351.809
AT ITER 3072 NEW BEST:: SOT 1368497 SOS 1045279 HAS SOPS 951644 HAS SOUS 269679 HAS SOUPS 268870 WITH SCORE 269915.279
AT ITER 3114 NEW BEST:: SOT 1371591 SOS 1037701 HAS SOPS 940440 HAS SOUS 265903 HAS SOUPS 265094 WITH SCORE 266131.701
AT ITER 3129 NEW BEST:: SOT 1371591 SOS 1036959 HAS SOPS 939698 HAS SOUS 265783 HAS SOUPS 264974 WITH SCORE 266010.959
AT ITER 3189 NEW BEST:: SOT 1413388 SOS 1069933 HAS SOPS 966909 HAS SOUS 259763 HAS SOUPS 258954 WITH SCORE 260023.933
AT ITER 3193 NEW BEST:: SOT 1413388 SOS 1068382 HAS SOPS 965358 HAS SOUS 259363 HAS SOUPS 258554 WITH SCORE 259622.382
AT ITER 3204 NEW BEST:: SOT 1413810 SOS 1068130 HAS SOPS 965106 HAS SOUS 259160 HAS SOUPS 258351 WITH SCORE 259419.13
AT ITER 3311 NEW BEST:: SOT 1418445 SOS 1063309 HAS SOPS 957704 HAS SOUS 251989 HAS SOUPS 251180 WITH SCORE 252243.309
AT ITER 3332 NEW BEST:: SOT 1413724 SOS 1058588 HAS SOPS 954166 HAS SOUS 251989 HAS SOUPS 251180 WITH SCORE 252238.588
AT ITER 3341 NEW BEST:: SOT 1396247 SOS 1041111 HAS SOPS 947076 HAS SOUS 249649 HAS SOUPS 248938 WITH SCORE 249979.111
AT ITER 3386 NEW BEST:: SOT 1396247 SOS 1041111 HAS SOPS 947076 HAS SOUS 249648 HAS SOUPS 248937 WITH SCORE 249978.111
AT ITER 3388 NEW BEST:: SOT 1399833 SOS 1037860 HAS SOPS 941794 HAS SOUS 243386 HAS SOUPS 242675 WITH SCORE 243712.86
AT ITER 3393 NEW BEST:: SOT 1401638 SOS 1029933 HAS SOPS 930056 HAS SOUS 240345 HAS SOUPS 239634 WITH SCORE 240663.933
AT ITER 3414 NEW BEST:: SOT 1401638 SOS 1029909 HAS SOPS 930032 HAS SOUS 240297 HAS SOUPS 239586 WITH SCORE 240615.909
AT ITER 3432 NEW BEST:: SOT 1401801 SOS 1030072 HAS SOPS 930195 HAS SOUS 240291 HAS SOUPS 239580 WITH SCORE 240610.072
AT ITER 3458 NEW BEST:: SOT 1402080 SOS 1030286 HAS SOPS 930148 HAS SOUS 240214 HAS SOUPS 239503 WITH SCORE 240533.286
AT ITER 3468 NEW BEST:: SOT 1418608 SOS 1036853 HAS SOPS 931882 HAS SOUS 233390 HAS SOUPS 232679 WITH SCORE 233715.853
AT ITER 3506 NEW BEST:: SOT 1418635 SOS 1036880 HAS SOPS 931909 HAS SOUS 233305 HAS SOUPS 232594 WITH SCORE 233630.88
AT ITER 3554 NEW BEST:: SOT 1421777 SOS 1030184 HAS SOPS 923189 HAS SOUS 226476 HAS SOUPS 225765 WITH SCORE 226795.184
AT ITER 3565 NEW BEST:: SOT 1464479 SOS 1063212 HAS SOPS 951072 HAS SOUS 220377 HAS SOUPS 219666 WITH SCORE 220729.212
AT ITER 3589 NEW BEST:: SOT 1445896 SOS 1044629 HAS SOPS 934611 HAS SOUS 220355 HAS SOUPS 219644 WITH SCORE 220688.629
AT ITER 3590 NEW BEST:: SOT 1456812 SOS 1046240 HAS SOPS 932214 HAS SOUS 213548 HAS SOUPS 212837 WITH SCORE 213883.24
AT ITER 3629 NEW BEST:: SOT 1469588 SOS 1054598 HAS SOPS 928544 HAS SOUS 212097 HAS SOUPS 211386 WITH SCORE 212440.598
AT ITER 3650 NEW BEST:: SOT 1396059 SOS 1348178 HAS SOPS 883892 HAS SOUS 139684 HAS SOUPS 138588 WITH SCORE 139936.178
AT ITER 3713 NEW BEST:: SOT 1402533 SOS 1354652 HAS SOPS 870301 HAS SOUS 139338 HAS SOUPS 138242 WITH SCORE 139596.652
AT ITER 3731 NEW BEST:: SOT 1407525 SOS 1359644 HAS SOPS 870097 HAS SOUS 139055 HAS SOUPS 137959 WITH SCORE 139318.644
AT ITER 3814 NEW BEST:: SOT 1412181 SOS 1364300 HAS SOPS 860617 HAS SOUS 138533 HAS SOUPS 137437 WITH SCORE 138801.3
AT ITER 3894 NEW BEST:: SOT 1412181 SOS 1364300 HAS SOPS 860616 HAS SOUS 138531 HAS SOUPS 137435 WITH SCORE 138799.3
AT ITER 3976 NEW BEST:: SOT 1413024 SOS 1365143 HAS SOPS 858198 HAS SOUS 138417 HAS SOUPS 137321 WITH SCORE 138686.143
AT ITER 3994 NEW BEST:: SOT 1411627 SOS 1363746 HAS SOPS 857866 HAS SOUS 137200 HAS SOUPS 136104 WITH SCORE 137467.746
AT ITER 4039 NEW BEST:: SOT 1411952 SOS 1364071 HAS SOPS 858191 HAS SOUS 137184 HAS SOUPS 136088 WITH SCORE 137452.071
AT ITER 4107 NEW BEST:: SOT 1407986 SOS 1360105 HAS SOPS 858658 HAS SOUS 137184 HAS SOUPS 136088 WITH SCORE 137448.105
AT ITER 4199 NEW BEST:: SOT 1404617 SOS 1356736 HAS SOPS 855528 HAS SOUS 137184 HAS SOUPS 136088 WITH SCORE 137444.736
AT ITER 4208 NEW BEST:: SOT 1366080 SOS 1318199 HAS SOPS 821176 HAS SOUS 136448 HAS SOUPS 135352 WITH SCORE 136670.199
AT ITER 4275 NEW BEST:: SOT 1380177 SOS 1332296 HAS SOPS 822931 HAS SOUS 135862 HAS SOUPS 134766 WITH SCORE 136098.296
AT ITER 4435 NEW BEST:: SOT 1377727 SOS 1329846 HAS SOPS 832445 HAS SOUS 135421 HAS SOUPS 134325 WITH SCORE 135654.846
AT ITER 4447 NEW BEST:: SOT 1376275 SOS 1328394 HAS SOPS 831311 HAS SOUS 134950 HAS SOUPS 133854 WITH SCORE 135182.394
AT ITER 4472 NEW BEST:: SOT 1374681 SOS 1326800 HAS SOPS 829995 HAS SOUS 134298 HAS SOUPS 133224 WITH SCORE 134550.8
AT ITER 4504 NEW BEST:: SOT 1375948 SOS 1328067 HAS SOPS 830729 HAS SOUS 134248 HAS SOUPS 133174 WITH SCORE 134502.067
AT ITER 4631 NEW BEST:: SOT 1376302 SOS 1328421 HAS SOPS 831083 HAS SOUS 133797 HAS SOUPS 132723 WITH SCORE 134051.421
AT ITER 4720 NEW BEST:: SOT 1376430 SOS 1328549 HAS SOPS 831083 HAS SOUS 133764 HAS SOUPS 132690 WITH SCORE 134018.549
AT ITER 4849 NEW BEST:: SOT 1377506 SOS 1329625 HAS SOPS 818691 HAS SOUS 133360 HAS SOUPS 132286 WITH SCORE 133615.625
AT ITER 4883 NEW BEST:: SOT 1377822 SOS 1329941 HAS SOPS 819007 HAS SOUS 133311 HAS SOUPS 132237 WITH SCORE 133566.941
AT ITER 4911 NEW BEST:: SOT 1377812 SOS 1329931 HAS SOPS 818987 HAS SOUS 133291 HAS SOUPS 132217 WITH SCORE 133546.931
AT ITER 4967 NEW BEST:: SOT 1377677 SOS 1329796 HAS SOPS 818624 HAS SOUS 133145 HAS SOUPS 132071 WITH SCORE 133400.796
AT ITER 5018 NEW BEST:: SOT 1365860 SOS 1317979 HAS SOPS 799919 HAS SOUS 132395 HAS SOUPS 131321 WITH SCORE 132638.979
AT ITER 5126 NEW BEST:: SOT 1365955 SOS 1318074 HAS SOPS 799900 HAS SOUS 132357 HAS SOUPS 131283 WITH SCORE 132601.074
AT ITER 5133 NEW BEST:: SOT 1365391 SOS 1317510 HAS SOPS 799436 HAS SOUS 131998 HAS SOUPS 130924 WITH SCORE 132241.51
AT ITER 5190 NEW BEST:: SOT 1365660 SOS 1317779 HAS SOPS 798534 HAS SOUS 131958 HAS SOUPS 130884 WITH SCORE 132201.779
AT ITER 5232 NEW BEST:: SOT 1365809 SOS 1317928 HAS SOPS 798683 HAS SOUS 131923 HAS SOUPS 130849 WITH SCORE 132166.928
AT ITER 5303 NEW BEST:: SOT 1365760 SOS 1317879 HAS SOPS 798585 HAS SOUS 131923 HAS SOUPS 130849 WITH SCORE 132166.879
AT ITER 5404 NEW BEST:: SOT 1369177 SOS 1321296 HAS SOPS 793647 HAS SOUS 131596 HAS SOUPS 130522 WITH SCORE 131843.296
AT ITER 5413 NEW BEST:: SOT 1365563 SOS 1317682 HAS SOPS 790970 HAS SOUS 131596 HAS SOUPS 130522 WITH SCORE 131839.682
AT ITER 5436 NEW BEST:: SOT 1369364 SOS 1321483 HAS SOPS 790616 HAS SOUS 131375 HAS SOUPS 130301 WITH SCORE 131622.483
AT ITER 5494 NEW BEST:: SOT 1333531 SOS 1285650 HAS SOPS 759335 HAS SOUS 130925 HAS SOUPS 129851 WITH SCORE 131136.65
AT ITER 5496 NEW BEST:: SOT 1333861 SOS 1285980 HAS SOPS 755009 HAS SOUS 130817 HAS SOUPS 129743 WITH SCORE 131028.98
AT ITER 5520 NEW BEST:: SOT 1326708 SOS 1278827 HAS SOPS 749805 HAS SOUS 130817 HAS SOUPS 129743 WITH SCORE 131021.827
AT ITER 5621 NEW BEST:: SOT 1349210 SOS 1300509 HAS SOPS 753151 HAS SOUS 130043 HAS SOUPS 128969 WITH SCORE 130269.509
AT ITER 5653 NEW BEST:: SOT 1332590 SOS 1283889 HAS SOPS 742543 HAS SOUS 130043 HAS SOUPS 128969 WITH SCORE 130252.889
AT ITER 5666 NEW BEST:: SOT 1333797 SOS 1285096 HAS SOPS 735099 HAS SOUS 130012 HAS SOUPS 128938 WITH SCORE 130223.096
AT ITER 5766 NEW BEST:: SOT 1334033 SOS 1285332 HAS SOPS 735335 HAS SOUS 129810 HAS SOUPS 128736 WITH SCORE 130021.332
AT ITER 5797 NEW BEST:: SOT 1333848 SOS 1285147 HAS SOPS 735359 HAS SOUS 129702 HAS SOUPS 128628 WITH SCORE 129913.147
AT ITER 5815 NEW BEST:: SOT 1334100 SOS 1285399 HAS SOPS 735421 HAS SOUS 129685 HAS SOUPS 128611 WITH SCORE 129896.399
AT ITER 5833 NEW BEST:: SOT 1312320 SOS 1263619 HAS SOPS 717158 HAS SOUS 129532 HAS SOUPS 128458 WITH SCORE 129721.619
AT ITER 5854 NEW BEST:: SOT 1301409 SOS 1252708 HAS SOPS 706100 HAS SOUS 118212 HAS SOUPS 117138 WITH SCORE 118390.708
AT ITER 5910 NEW BEST:: SOT 1301427 SOS 1252726 HAS SOPS 706078 HAS SOUS 118168 HAS SOUPS 117094 WITH SCORE 118346.726
AT ITER 5944 NEW BEST:: SOT 1293859 SOS 1245158 HAS SOPS 695498 HAS SOUS 117885 HAS SOUPS 116811 WITH SCORE 118056.158
AT ITER 5947 NEW BEST:: SOT 1294083 SOS 1245382 HAS SOPS 695722 HAS SOUS 117778 HAS SOUPS 116704 WITH SCORE 117949.382
AT ITER 5958 NEW BEST:: SOT 1293813 SOS 1245112 HAS SOPS 695551 HAS SOUS 117778 HAS SOUPS 116704 WITH SCORE 117949.112
AT ITER 5987 NEW BEST:: SOT 1305356 SOS 1256655 HAS SOPS 704165 HAS SOUS 117376 HAS SOUPS 116302 WITH SCORE 117558.655
AT ITER 5997 NEW BEST:: SOT 1320717 SOS 1272016 HAS SOPS 701279 HAS SOUS 117024 HAS SOUPS 115950 WITH SCORE 117222.016
AT ITER 6049 NEW BEST:: SOT 1320637 SOS 1271936 HAS SOPS 701411 HAS SOUS 117008 HAS SOUPS 115934 WITH SCORE 117205.936
AT ITER 6174 NEW BEST:: SOT 1328637 SOS 1279936 HAS SOPS 708051 HAS SOUS 116748 HAS SOUPS 115674 WITH SCORE 116953.936
AT ITER 6214 NEW BEST:: SOT 1342692 SOS 1293991 HAS SOPS 716233 HAS SOUS 116670 HAS SOUPS 115596 WITH SCORE 116889.991
AT ITER 6235 NEW BEST:: SOT 1344784 SOS 1296083 HAS SOPS 706809 HAS SOUS 116292 HAS SOUPS 115218 WITH SCORE 116514.083
AT ITER 6279 NEW BEST:: SOT 1342669 SOS 1293968 HAS SOPS 705695 HAS SOUS 116292 HAS SOUPS 115218 WITH SCORE 116511.968
AT ITER 6296 NEW BEST:: SOT 1343456 SOS 1294755 HAS SOPS 691818 HAS SOUS 115523 HAS SOUPS 114449 WITH SCORE 115743.755
AT ITER 6598 NEW BEST:: SOT 1351451 SOS 1302750 HAS SOPS 679800 HAS SOUS 114745 HAS SOUPS 113671 WITH SCORE 114973.75
AT ITER 6603 NEW BEST:: SOT 1344381 SOS 1295680 HAS SOPS 677796 HAS SOUS 114745 HAS SOUPS 113671 WITH SCORE 114966.68
AT ITER 6656 NEW BEST:: SOT 1343838 SOS 1295137 HAS SOPS 677394 HAS SOUS 114346 HAS SOUPS 113272 WITH SCORE 114567.137
AT ITER 6705 NEW BEST:: SOT 1343721 SOS 1295020 HAS SOPS 677277 HAS SOUS 114229 HAS SOUPS 113155 WITH SCORE 114450.02
AT ITER 6712 NEW BEST:: SOT 1349954 SOS 1301253 HAS SOPS 680023 HAS SOUS 113959 HAS SOUPS 112885 WITH SCORE 114186.253
AT ITER 6732 NEW BEST:: SOT 1350204 SOS 1301503 HAS SOPS 674138 HAS SOUS 113949 HAS SOUPS 112875 WITH SCORE 114176.503
AT ITER 6739 NEW BEST:: SOT 1359227 SOS 1310526 HAS SOPS 663528 HAS SOUS 113153 HAS SOUPS 112079 WITH SCORE 113389.526
AT ITER 6794 NEW BEST:: SOT 1361143 SOS 1312442 HAS SOPS 650119 HAS SOUS 112951 HAS SOUPS 111877 WITH SCORE 113189.442
AT ITER 6811 NEW BEST:: SOT 1361143 SOS 1312442 HAS SOPS 650119 HAS SOUS 112949 HAS SOUPS 111875 WITH SCORE 113187.442
AT ITER 6825 NEW BEST:: SOT 1361136 SOS 1312435 HAS SOPS 650112 HAS SOUS 112935 HAS SOUPS 111861 WITH SCORE 113173.435
AT ITER 6950 NEW BEST:: SOT 1361136 SOS 1312435 HAS SOPS 649944 HAS SOUS 112823 HAS SOUPS 111749 WITH SCORE 113061.435
AT ITER 6991 NEW BEST:: SOT 1359836 SOS 1311135 HAS SOPS 648984 HAS SOUS 112823 HAS SOUPS 111749 WITH SCORE 113060.135
AT ITER 6998 NEW BEST:: SOT 1359942 SOS 1311241 HAS SOPS 649090 HAS SOUS 112791 HAS SOUPS 111717 WITH SCORE 113028.241
AT ITER 7073 NEW BEST:: SOT 1360017 SOS 1311316 HAS SOPS 649165 HAS SOUS 112716 HAS SOUPS 111642 WITH SCORE 112953.316
AT ITER 7074 NEW BEST:: SOT 1330983 SOS 1282282 HAS SOPS 622667 HAS SOUS 104245 HAS SOUPS 103171 WITH SCORE 104453.282
AT ITER 7236 NEW BEST:: SOT 1329883 SOS 1281182 HAS SOPS 621567 HAS SOUS 103205 HAS SOUPS 102131 WITH SCORE 103412.182
AT ITER 7255 NEW BEST:: SOT 1328925 SOS 1280224 HAS SOPS 624745 HAS SOUS 103135 HAS SOUPS 102061 WITH SCORE 103341.224
AT ITER 7276 NEW BEST:: SOT 1328909 SOS 1280208 HAS SOPS 624647 HAS SOUS 103134 HAS SOUPS 102060 WITH SCORE 103340.208
AT ITER 7287 NEW BEST:: SOT 1333272 SOS 1284571 HAS SOPS 613222 HAS SOUS 102436 HAS SOUPS 101362 WITH SCORE 102646.571
AT ITER 7294 NEW BEST:: SOT 1333338 SOS 1284637 HAS SOPS 613285 HAS SOUS 102430 HAS SOUPS 101356 WITH SCORE 102640.637
AT ITER 7334 NEW BEST:: SOT 1333313 SOS 1284612 HAS SOPS 613260 HAS SOUS 102404 HAS SOUPS 101330 WITH SCORE 102614.612
AT ITER 7337 NEW BEST:: SOT 1333230 SOS 1284529 HAS SOPS 613177 HAS SOUS 102320 HAS SOUPS 101246 WITH SCORE 102530.529
AT ITER 7372 NEW BEST:: SOT 1332454 SOS 1283753 HAS SOPS 613142 HAS SOUS 102320 HAS SOUPS 101246 WITH SCORE 102529.753
AT ITER 7377 NEW BEST:: SOT 1332454 SOS 1283753 HAS SOPS 613142 HAS SOUS 102291 HAS SOUPS 101217 WITH SCORE 102500.753
AT ITER 7488 NEW BEST:: SOT 1348345 SOS 1299644 HAS SOPS 613856 HAS SOUS 101568 HAS SOUPS 100490 WITH SCORE 101789.644
AT ITER 7499 NEW BEST:: SOT 1359955 SOS 1311254 HAS SOPS 612112 HAS SOUS 101394 HAS SOUPS 100316 WITH SCORE 101627.254
AT ITER 7675 NEW BEST:: SOT 1371644 SOS 1322943 HAS SOPS 615078 HAS SOUS 100827 HAS SOUPS 99749 WITH SCORE 101071.943
AT ITER 7677 NEW BEST:: SOT 1371572 SOS 1322871 HAS SOPS 615057 HAS SOUS 100827 HAS SOUPS 99749 WITH SCORE 101071.871
AT ITER 7718 NEW BEST:: SOT 1371449 SOS 1322748 HAS SOPS 614870 HAS SOUS 100589 HAS SOUPS 99511 WITH SCORE 100833.748
AT ITER 7803 NEW BEST:: SOT 1372051 SOS 1323350 HAS SOPS 615200 HAS SOUS 100580 HAS SOUPS 99502 WITH SCORE 100825.35
AT ITER 7909 NEW BEST:: SOT 1372415 SOS 1323714 HAS SOPS 615564 HAS SOUS 100433 HAS SOUPS 99355 WITH SCORE 100678.714
AT ITER 8023 NEW BEST:: SOT 1372440 SOS 1323739 HAS SOPS 615589 HAS SOUS 100356 HAS SOUPS 99278 WITH SCORE 100601.739
AT ITER 8141 NEW BEST:: SOT 1372423 SOS 1323722 HAS SOPS 615555 HAS SOUS 100347 HAS SOUPS 99269 WITH SCORE 100592.722
AT ITER 8235 NEW BEST:: SOT 1372288 SOS 1323587 HAS SOPS 615174 HAS SOUS 100210 HAS SOUPS 99132 WITH SCORE 100455.587
AT ITER 8261 NEW BEST:: SOT 1372027 SOS 1323326 HAS SOPS 614913 HAS SOUS 99798 HAS SOUPS 98720 WITH SCORE 100043.326
AT ITER 8265 NEW BEST:: SOT 1372056 SOS 1323355 HAS SOPS 614915 HAS SOUS 99795 HAS SOUPS 98717 WITH SCORE 100040.355
AT ITER 8282 NEW BEST:: SOT 1383929 SOS 1335228 HAS SOPS 618213 HAS SOUS 99227 HAS SOUPS 98149 WITH SCORE 99484.228
AT ITER 8311 NEW BEST:: SOT 1379255 SOS 1330554 HAS SOPS 613539 HAS SOUS 99113 HAS SOUPS 98035 WITH SCORE 99365.554
AT ITER 8364 NEW BEST:: SOT 1374510 SOS 1325809 HAS SOPS 610154 HAS SOUS 99113 HAS SOUPS 98035 WITH SCORE 99360.809
AT ITER 8440 NEW BEST:: SOT 1388182 SOS 1339481 HAS SOPS 601098 HAS SOUS 98851 HAS SOUPS 97773 WITH SCORE 99112.481
AT ITER 8467 NEW BEST:: SOT 1378067 SOS 1329366 HAS SOPS 595833 HAS SOUS 98851 HAS SOUPS 97773 WITH SCORE 99102.366
AT ITER 8488 NEW BEST:: SOT 1378787 SOS 1330086 HAS SOPS 595653 HAS SOUS 98728 HAS SOUPS 97650 WITH SCORE 98980.086
AT ITER 8545 NEW BEST:: SOT 1379178 SOS 1330477 HAS SOPS 595720 HAS SOUS 98639 HAS SOUPS 97561 WITH SCORE 98891.477
AT ITER 8596 NEW BEST:: SOT 1379154 SOS 1330453 HAS SOPS 595696 HAS SOUS 98607 HAS SOUPS 97529 WITH SCORE 98859.453
AT ITER 8603 NEW BEST:: SOT 1378326 SOS 1329625 HAS SOPS 595680 HAS SOUS 98607 HAS SOUPS 97529 WITH SCORE 98858.625
AT ITER 8631 NEW BEST:: SOT 1377613 SOS 1328912 HAS SOPS 594967 HAS SOUS 98360 HAS SOUPS 97282 WITH SCORE 98610.912
AT ITER 8681 NEW BEST:: SOT 1377585 SOS 1328884 HAS SOPS 594855 HAS SOUS 98304 HAS SOUPS 97226 WITH SCORE 98554.884
AT ITER 8827 NEW BEST:: SOT 1377553 SOS 1328852 HAS SOPS 594823 HAS SOUS 98240 HAS SOUPS 97162 WITH SCORE 98490.852
AT ITER 8832 NEW BEST:: SOT 1377397 SOS 1328696 HAS SOPS 594798 HAS SOUS 98240 HAS SOUPS 97162 WITH SCORE 98490.696
AT ITER 9089 NEW BEST:: SOT 1377073 SOS 1328372 HAS SOPS 594553 HAS SOUS 98017 HAS SOUPS 96939 WITH SCORE 98267.372
AT ITER 9104 NEW BEST:: SOT 1391130 SOS 1342429 HAS SOPS 585842 HAS SOUS 97668 HAS SOUPS 96590 WITH SCORE 97932.429
AT ITER 9111 NEW BEST:: SOT 1391635 SOS 1342934 HAS SOPS 586347 HAS SOUS 97667 HAS SOUPS 96589 WITH SCORE 97931.934
AT ITER 9144 NEW BEST:: SOT 1382778 SOS 1334077 HAS SOPS 586058 HAS SOUS 97667 HAS SOUPS 96589 WITH SCORE 97923.077
AT ITER 9174 NEW BEST:: SOT 1383245 SOS 1334544 HAS SOPS 574669 HAS SOUS 97567 HAS SOUPS 96489 WITH SCORE 97823.544
AT ITER 9274 NEW BEST:: SOT 1381915 SOS 1333214 HAS SOPS 574674 HAS SOUS 97567 HAS SOUPS 96489 WITH SCORE 97822.214
AT ITER 9367 NEW BEST:: SOT 1383019 SOS 1334318 HAS SOPS 559097 HAS SOUS 97469 HAS SOUPS 96391 WITH SCORE 97725.318
AT ITER 9480 NEW BEST:: SOT 1383316 SOS 1334615 HAS SOPS 559394 HAS SOUS 97467 HAS SOUPS 96389 WITH SCORE 97723.615
AT ITER 9493 NEW BEST:: SOT 1383118 SOS 1334417 HAS SOPS 559196 HAS SOUS 97371 HAS SOUPS 96293 WITH SCORE 97627.417
AT ITER 9524 NEW BEST:: SOT 1376086 SOS 1327385 HAS SOPS 555751 HAS SOUS 97371 HAS SOUPS 96293 WITH SCORE 97620.385
AT ITER 9545 NEW BEST:: SOT 1376058 SOS 1327357 HAS SOPS 555777 HAS SOUS 97371 HAS SOUPS 96293 WITH SCORE 97620.357
AT ITER 9875 NEW BEST:: SOT 1375999 SOS 1327298 HAS SOPS 555718 HAS SOUS 97352 HAS SOUPS 96274 WITH SCORE 97601.298
AT ITER 9887 NEW BEST:: SOT 1375937 SOS 1327236 HAS SOPS 556112 HAS SOUS 97352 HAS SOUPS 96274 WITH SCORE 97601.236
STATE_SPACE STATES 3601 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 5 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 6156 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679388119819

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

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