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.r459-smll-167912651000232.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 SmartHome-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651000232
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 576K
-rw-r--r-- 1 mcc users 6.3K Feb 26 05:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 05:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 05:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 05:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 05:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 188K Feb 26 05:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 05:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 05:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 68K 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 1679261043751

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=SmartHome-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 21:24:06] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 21:24:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 21:24:06] [INFO ] Load time of PNML (sax parser for PT used): 91 ms
[2023-03-19 21:24:06] [INFO ] Transformed 273 places.
[2023-03-19 21:24:06] [INFO ] Transformed 308 transitions.
[2023-03-19 21:24:06] [INFO ] Found NUPN structural information;
[2023-03-19 21:24:06] [INFO ] Parsed PT model containing 273 places and 308 transitions and 699 arcs in 196 ms.
[2023-03-19 21:24:06] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 273 places, 308 transitions and 699 arcs took 10 ms.
Total runtime 252 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 10
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: 273 places, 308 transitions, 699 arcs.
AT ITER 0 NEW BEST:: SOT 48623 SOS 11211 HAS SOPS 11211 HAS SOUS 10718 HAS SOUPS 10718 WITH SCORE 10729.211
AT ITER 3 NEW BEST:: SOT 48507 SOS 11343 HAS SOPS 11343 HAS SOUS 10630 HAS SOUPS 10630 WITH SCORE 10641.343
AT ITER 6 NEW BEST:: SOT 48024 SOS 11738 HAS SOPS 11738 HAS SOUS 10272 HAS SOUPS 10272 WITH SCORE 10283.738
AT ITER 15 NEW BEST:: SOT 48019 SOS 11723 HAS SOPS 11723 HAS SOUS 10262 HAS SOUPS 10262 WITH SCORE 10273.723
AT ITER 18 NEW BEST:: SOT 47524 SOS 12024 HAS SOPS 12024 HAS SOUS 9900 HAS SOUPS 9900 WITH SCORE 9912.024
AT ITER 30 NEW BEST:: SOT 47535 SOS 12084 HAS SOPS 12084 HAS SOUS 9878 HAS SOUPS 9878 WITH SCORE 9890.084
AT ITER 37 NEW BEST:: SOT 47527 SOS 12084 HAS SOPS 12084 HAS SOUS 9877 HAS SOUPS 9877 WITH SCORE 9889.084
AT ITER 43 NEW BEST:: SOT 47505 SOS 12084 HAS SOPS 12084 HAS SOUS 9873 HAS SOUPS 9873 WITH SCORE 9885.084
AT ITER 44 NEW BEST:: SOT 47476 SOS 12026 HAS SOPS 12026 HAS SOUS 9815 HAS SOUPS 9815 WITH SCORE 9827.026
AT ITER 45 NEW BEST:: SOT 47476 SOS 12020 HAS SOPS 12020 HAS SOUS 9809 HAS SOUPS 9809 WITH SCORE 9821.02
AT ITER 48 NEW BEST:: SOT 47382 SOS 11938 HAS SOPS 11938 HAS SOUS 9804 HAS SOUPS 9804 WITH SCORE 9815.938
AT ITER 55 NEW BEST:: SOT 47382 SOS 11938 HAS SOPS 11938 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9812.938
AT ITER 63 NEW BEST:: SOT 47169 SOS 12159 HAS SOPS 12159 HAS SOUS 9668 HAS SOUPS 9668 WITH SCORE 9680.159
AT ITER 79 NEW BEST:: SOT 47192 SOS 12182 HAS SOPS 12182 HAS SOUS 9664 HAS SOUPS 9664 WITH SCORE 9676.182
AT ITER 89 NEW BEST:: SOT 47192 SOS 12142 HAS SOPS 12142 HAS SOUS 9624 HAS SOUPS 9624 WITH SCORE 9636.142
AT ITER 101 NEW BEST:: SOT 47192 SOS 12141 HAS SOPS 12141 HAS SOUS 9623 HAS SOUPS 9623 WITH SCORE 9635.141
AT ITER 107 NEW BEST:: SOT 47202 SOS 12129 HAS SOPS 12129 HAS SOUS 9611 HAS SOUPS 9611 WITH SCORE 9623.129
AT ITER 108 NEW BEST:: SOT 47194 SOS 12121 HAS SOPS 12121 HAS SOUS 9603 HAS SOUPS 9603 WITH SCORE 9615.121
AT ITER 127 NEW BEST:: SOT 47194 SOS 12065 HAS SOPS 12065 HAS SOUS 9599 HAS SOUPS 9599 WITH SCORE 9611.065
AT ITER 131 NEW BEST:: SOT 47169 SOS 12015 HAS SOPS 12015 HAS SOUS 9549 HAS SOUPS 9549 WITH SCORE 9561.015
AT ITER 135 NEW BEST:: SOT 47172 SOS 12021 HAS SOPS 12021 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9556.021
AT ITER 138 NEW BEST:: SOT 47158 SOS 12007 HAS SOPS 12007 HAS SOUS 9530 HAS SOUPS 9530 WITH SCORE 9542.007
AT ITER 142 NEW BEST:: SOT 47126 SOS 11943 HAS SOPS 11943 HAS SOUS 9466 HAS SOUPS 9466 WITH SCORE 9477.943
AT ITER 163 NEW BEST:: SOT 47108 SOS 11925 HAS SOPS 11925 HAS SOUS 9466 HAS SOUPS 9466 WITH SCORE 9477.925
AT ITER 177 NEW BEST:: SOT 47103 SOS 11915 HAS SOPS 11915 HAS SOUS 9456 HAS SOUPS 9456 WITH SCORE 9467.915
AT ITER 184 NEW BEST:: SOT 47083 SOS 11855 HAS SOPS 11855 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9427.855
AT ITER 196 NEW BEST:: SOT 47083 SOS 11842 HAS SOPS 11842 HAS SOUS 9403 HAS SOUPS 9403 WITH SCORE 9414.842
AT ITER 200 NEW BEST:: SOT 47095 SOS 11854 HAS SOPS 11854 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9409.854
AT ITER 202 NEW BEST:: SOT 47054 SOS 11822 HAS SOPS 11822 HAS SOUS 9365 HAS SOUPS 9365 WITH SCORE 9376.822
AT ITER 207 NEW BEST:: SOT 47042 SOS 11798 HAS SOPS 11798 HAS SOUS 9332 HAS SOUPS 9332 WITH SCORE 9343.798
AT ITER 208 NEW BEST:: SOT 46966 SOS 11683 HAS SOPS 11683 HAS SOUS 9246 HAS SOUPS 9246 WITH SCORE 9257.683
AT ITER 210 NEW BEST:: SOT 46966 SOS 11574 HAS SOPS 11574 HAS SOUS 9176 HAS SOUPS 9176 WITH SCORE 9187.574
AT ITER 216 NEW BEST:: SOT 46965 SOS 11572 HAS SOPS 11572 HAS SOUS 9174 HAS SOUPS 9174 WITH SCORE 9185.572
AT ITER 248 NEW BEST:: SOT 46951 SOS 11544 HAS SOPS 11544 HAS SOUS 9146 HAS SOUPS 9146 WITH SCORE 9157.544
AT ITER 259 NEW BEST:: SOT 46925 SOS 11492 HAS SOPS 11492 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9131.492
AT ITER 261 NEW BEST:: SOT 46922 SOS 11480 HAS SOPS 11480 HAS SOUS 9114 HAS SOUPS 9114 WITH SCORE 9125.48
AT ITER 269 NEW BEST:: SOT 46896 SOS 11474 HAS SOPS 11474 HAS SOUS 9100 HAS SOUPS 9100 WITH SCORE 9111.474
AT ITER 275 NEW BEST:: SOT 46874 SOS 11457 HAS SOPS 11457 HAS SOUS 9081 HAS SOUPS 9081 WITH SCORE 9092.457
AT ITER 294 NEW BEST:: SOT 46891 SOS 11147 HAS SOPS 11147 HAS SOUS 9066 HAS SOUPS 9066 WITH SCORE 9077.147
AT ITER 296 NEW BEST:: SOT 46888 SOS 11141 HAS SOPS 11141 HAS SOUS 9063 HAS SOUPS 9063 WITH SCORE 9074.141
AT ITER 298 NEW BEST:: SOT 46848 SOS 11061 HAS SOPS 11061 HAS SOUS 9044 HAS SOUPS 9044 WITH SCORE 9055.061
AT ITER 300 NEW BEST:: SOT 46844 SOS 11055 HAS SOPS 11055 HAS SOUS 9040 HAS SOUPS 9040 WITH SCORE 9051.055
AT ITER 325 NEW BEST:: SOT 46820 SOS 11007 HAS SOPS 11007 HAS SOUS 9015 HAS SOUPS 9015 WITH SCORE 9026.007
AT ITER 333 NEW BEST:: SOT 46808 SOS 10983 HAS SOPS 10983 HAS SOUS 8991 HAS SOUPS 8991 WITH SCORE 9001.983
AT ITER 346 NEW BEST:: SOT 46808 SOS 10982 HAS SOPS 10982 HAS SOUS 8990 HAS SOUPS 8990 WITH SCORE 9000.982
AT ITER 367 NEW BEST:: SOT 46787 SOS 10940 HAS SOPS 10940 HAS SOUS 8969 HAS SOUPS 8969 WITH SCORE 8979.94
AT ITER 378 NEW BEST:: SOT 46782 SOS 10922 HAS SOPS 10922 HAS SOUS 8951 HAS SOUPS 8951 WITH SCORE 8961.922
AT ITER 399 NEW BEST:: SOT 46776 SOS 10914 HAS SOPS 10914 HAS SOUS 8943 HAS SOUPS 8943 WITH SCORE 8953.914
AT ITER 416 NEW BEST:: SOT 46752 SOS 10967 HAS SOPS 10967 HAS SOUS 8919 HAS SOUPS 8919 WITH SCORE 8929.967
AT ITER 432 NEW BEST:: SOT 46750 SOS 10963 HAS SOPS 10963 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8925.963
AT ITER 465 NEW BEST:: SOT 46704 SOS 10908 HAS SOPS 10908 HAS SOUS 8906 HAS SOUPS 8906 WITH SCORE 8916.908
AT ITER 470 NEW BEST:: SOT 46700 SOS 10900 HAS SOPS 10900 HAS SOUS 8898 HAS SOUPS 8898 WITH SCORE 8908.9
AT ITER 477 NEW BEST:: SOT 46695 SOS 10895 HAS SOPS 10895 HAS SOUS 8893 HAS SOUPS 8893 WITH SCORE 8903.895
AT ITER 490 NEW BEST:: SOT 46679 SOS 10863 HAS SOPS 10863 HAS SOUS 8861 HAS SOUPS 8861 WITH SCORE 8871.863
AT ITER 495 NEW BEST:: SOT 46672 SOS 10849 HAS SOPS 10849 HAS SOUS 8851 HAS SOUPS 8851 WITH SCORE 8861.849
AT ITER 501 NEW BEST:: SOT 46648 SOS 10840 HAS SOPS 10840 HAS SOUS 8841 HAS SOUPS 8841 WITH SCORE 8851.84
AT ITER 531 NEW BEST:: SOT 46610 SOS 10780 HAS SOPS 10780 HAS SOUS 8784 HAS SOUPS 8784 WITH SCORE 8794.78
AT ITER 536 NEW BEST:: SOT 46630 SOS 10733 HAS SOPS 10733 HAS SOUS 8757 HAS SOUPS 8757 WITH SCORE 8767.733
AT ITER 547 NEW BEST:: SOT 46630 SOS 10725 HAS SOPS 10725 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8759.725
AT ITER 578 NEW BEST:: SOT 46546 SOS 11546 HAS SOPS 11546 HAS SOUS 8742 HAS SOUPS 8742 WITH SCORE 8753.546
AT ITER 588 NEW BEST:: SOT 46546 SOS 11538 HAS SOPS 11538 HAS SOUS 8738 HAS SOUPS 8738 WITH SCORE 8749.538
AT ITER 595 NEW BEST:: SOT 46540 SOS 11534 HAS SOPS 11534 HAS SOUS 8732 HAS SOUPS 8732 WITH SCORE 8743.534
AT ITER 606 NEW BEST:: SOT 46534 SOS 11530 HAS SOPS 11530 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8739.53
AT ITER 627 NEW BEST:: SOT 46527 SOS 11516 HAS SOPS 11516 HAS SOUS 8691 HAS SOUPS 8691 WITH SCORE 8702.516
AT ITER 647 NEW BEST:: SOT 46524 SOS 11508 HAS SOPS 11508 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8694.508
AT ITER 665 NEW BEST:: SOT 46521 SOS 11502 HAS SOPS 11502 HAS SOUS 8679 HAS SOUPS 8679 WITH SCORE 8690.502
AT ITER 682 NEW BEST:: SOT 46515 SOS 11490 HAS SOPS 11490 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8678.49
AT ITER 699 NEW BEST:: SOT 46504 SOS 11468 HAS SOPS 11468 HAS SOUS 8645 HAS SOUPS 8645 WITH SCORE 8656.468
AT ITER 728 NEW BEST:: SOT 46504 SOS 11468 HAS SOPS 11468 HAS SOUS 8638 HAS SOUPS 8638 WITH SCORE 8649.468
AT ITER 761 NEW BEST:: SOT 46499 SOS 11458 HAS SOPS 11458 HAS SOUS 8633 HAS SOUPS 8633 WITH SCORE 8644.458
AT ITER 795 NEW BEST:: SOT 46497 SOS 11454 HAS SOPS 11454 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8642.454
AT ITER 804 NEW BEST:: SOT 46503 SOS 11469 HAS SOPS 11469 HAS SOUS 8628 HAS SOUPS 8628 WITH SCORE 8639.469
AT ITER 810 NEW BEST:: SOT 46495 SOS 11453 HAS SOPS 11453 HAS SOUS 8620 HAS SOUPS 8620 WITH SCORE 8631.453
AT ITER 842 NEW BEST:: SOT 46494 SOS 11451 HAS SOPS 11451 HAS SOUS 8619 HAS SOUPS 8619 WITH SCORE 8630.451
AT ITER 851 NEW BEST:: SOT 46484 SOS 11431 HAS SOPS 11431 HAS SOUS 8599 HAS SOUPS 8599 WITH SCORE 8610.431
AT ITER 873 NEW BEST:: SOT 46480 SOS 11423 HAS SOPS 11423 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8602.423
AT ITER 876 NEW BEST:: SOT 46480 SOS 11404 HAS SOPS 11404 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8583.404
AT ITER 878 NEW BEST:: SOT 46483 SOS 11400 HAS SOPS 11400 HAS SOUS 8568 HAS SOUPS 8568 WITH SCORE 8579.4
AT ITER 898 NEW BEST:: SOT 46466 SOS 11111 HAS SOPS 11111 HAS SOUS 8534 HAS SOUPS 8534 WITH SCORE 8545.111
AT ITER 937 NEW BEST:: SOT 46438 SOS 11083 HAS SOPS 11083 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8517.083
AT ITER 943 NEW BEST:: SOT 46426 SOS 11059 HAS SOPS 11059 HAS SOUS 8482 HAS SOUPS 8482 WITH SCORE 8493.059
AT ITER 971 NEW BEST:: SOT 46510 SOS 11104 HAS SOPS 11104 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8438.104
AT ITER 1007 NEW BEST:: SOT 46504 SOS 11097 HAS SOPS 11097 HAS SOUS 8420 HAS SOUPS 8420 WITH SCORE 8431.097
AT ITER 1010 NEW BEST:: SOT 46469 SOS 11062 HAS SOPS 11062 HAS SOUS 8369 HAS SOUPS 8369 WITH SCORE 8380.062
AT ITER 1011 NEW BEST:: SOT 46499 SOS 10488 HAS SOPS 10488 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8357.488
AT ITER 1012 NEW BEST:: SOT 46499 SOS 10488 HAS SOPS 10488 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8354.488
AT ITER 1022 NEW BEST:: SOT 46472 SOS 10434 HAS SOPS 10434 HAS SOUS 8317 HAS SOUPS 8317 WITH SCORE 8327.434
AT ITER 1023 NEW BEST:: SOT 46472 SOS 10434 HAS SOPS 10434 HAS SOUS 8315 HAS SOUPS 8315 WITH SCORE 8325.434
AT ITER 1067 NEW BEST:: SOT 46394 SOS 10278 HAS SOPS 10278 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8208.278
AT ITER 1077 NEW BEST:: SOT 46386 SOS 10233 HAS SOPS 10233 HAS SOUS 8172 HAS SOUPS 8172 WITH SCORE 8182.233
AT ITER 1102 NEW BEST:: SOT 46311 SOS 10183 HAS SOPS 10183 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8116.183
AT ITER 1129 NEW BEST:: SOT 46321 SOS 10203 HAS SOPS 10203 HAS SOUS 8089 HAS SOUPS 8089 WITH SCORE 8099.203
AT ITER 1155 NEW BEST:: SOT 46328 SOS 10217 HAS SOPS 10217 HAS SOUS 8078 HAS SOUPS 8078 WITH SCORE 8088.217
AT ITER 1158 NEW BEST:: SOT 46296 SOS 10153 HAS SOPS 10153 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8054.153
AT ITER 1167 NEW BEST:: SOT 46273 SOS 10107 HAS SOPS 10107 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8008.107
AT ITER 1177 NEW BEST:: SOT 46284 SOS 10109 HAS SOPS 10109 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7998.109
AT ITER 1206 NEW BEST:: SOT 46295 SOS 10066 HAS SOPS 10066 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7952.066
AT ITER 1207 NEW BEST:: SOT 46259 SOS 9994 HAS SOPS 9994 HAS SOUS 7913 HAS SOUPS 7913 WITH SCORE 7922.994
AT ITER 1223 NEW BEST:: SOT 46251 SOS 9978 HAS SOPS 9978 HAS SOUS 7897 HAS SOUPS 7897 WITH SCORE 7906.978
AT ITER 1237 NEW BEST:: SOT 46251 SOS 9976 HAS SOPS 9976 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7904.976
AT ITER 1238 NEW BEST:: SOT 46246 SOS 9961 HAS SOPS 9961 HAS SOUS 7887 HAS SOUPS 7887 WITH SCORE 7896.961
AT ITER 1251 NEW BEST:: SOT 46246 SOS 9959 HAS SOPS 9959 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7894.959
AT ITER 1255 NEW BEST:: SOT 46199 SOS 9945 HAS SOPS 9945 HAS SOUS 7847 HAS SOUPS 7847 WITH SCORE 7856.945
AT ITER 1321 NEW BEST:: SOT 46195 SOS 9941 HAS SOPS 9941 HAS SOUS 7843 HAS SOUPS 7843 WITH SCORE 7852.941
AT ITER 1327 NEW BEST:: SOT 46190 SOS 9941 HAS SOPS 9941 HAS SOUS 7838 HAS SOUPS 7838 WITH SCORE 7847.941
AT ITER 1329 NEW BEST:: SOT 46190 SOS 9933 HAS SOPS 9933 HAS SOUS 7834 HAS SOUPS 7834 WITH SCORE 7843.933
AT ITER 1381 NEW BEST:: SOT 46206 SOS 9928 HAS SOPS 9928 HAS SOUS 7829 HAS SOUPS 7829 WITH SCORE 7838.928
AT ITER 1384 NEW BEST:: SOT 46177 SOS 9928 HAS SOPS 9928 HAS SOUS 7800 HAS SOUPS 7800 WITH SCORE 7809.928
AT ITER 1385 NEW BEST:: SOT 46172 SOS 9918 HAS SOPS 9918 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7804.918
AT ITER 1457 NEW BEST:: SOT 46155 SOS 9884 HAS SOPS 9884 HAS SOUS 7778 HAS SOUPS 7778 WITH SCORE 7787.884
AT ITER 1467 NEW BEST:: SOT 46128 SOS 9873 HAS SOPS 9873 HAS SOUS 7751 HAS SOUPS 7751 WITH SCORE 7760.873
AT ITER 1486 NEW BEST:: SOT 46129 SOS 9867 HAS SOPS 9867 HAS SOUS 7745 HAS SOUPS 7745 WITH SCORE 7754.867
AT ITER 1500 NEW BEST:: SOT 46116 SOS 9854 HAS SOPS 9854 HAS SOUS 7745 HAS SOUPS 7745 WITH SCORE 7754.854
AT ITER 1548 NEW BEST:: SOT 46110 SOS 9842 HAS SOPS 9842 HAS SOUS 7733 HAS SOUPS 7733 WITH SCORE 7742.842
AT ITER 1560 NEW BEST:: SOT 45935 SOS 10080 HAS SOPS 10080 HAS SOUS 7580 HAS SOUPS 7580 WITH SCORE 7590.08
AT ITER 1567 NEW BEST:: SOT 45905 SOS 10083 HAS SOPS 10083 HAS SOUS 7568 HAS SOUPS 7568 WITH SCORE 7578.083
AT ITER 1584 NEW BEST:: SOT 45893 SOS 10103 HAS SOPS 10103 HAS SOUS 7558 HAS SOUPS 7558 WITH SCORE 7568.103
AT ITER 1585 NEW BEST:: SOT 45868 SOS 10053 HAS SOPS 10053 HAS SOUS 7533 HAS SOUPS 7533 WITH SCORE 7543.053
AT ITER 1587 NEW BEST:: SOT 45861 SOS 10016 HAS SOPS 10016 HAS SOUS 7526 HAS SOUPS 7526 WITH SCORE 7536.016
AT ITER 1615 NEW BEST:: SOT 45870 SOS 9988 HAS SOPS 9988 HAS SOUS 7489 HAS SOUPS 7489 WITH SCORE 7498.988
AT ITER 1690 NEW BEST:: SOT 45886 SOS 10001 HAS SOPS 10001 HAS SOUS 7483 HAS SOUPS 7483 WITH SCORE 7493.001
AT ITER 1693 NEW BEST:: SOT 45883 SOS 9995 HAS SOPS 9995 HAS SOUS 7472 HAS SOUPS 7472 WITH SCORE 7481.995
AT ITER 1695 NEW BEST:: SOT 45883 SOS 10001 HAS SOPS 10001 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7475.001
AT ITER 1714 NEW BEST:: SOT 45891 SOS 10009 HAS SOPS 10009 HAS SOUS 7462 HAS SOUPS 7462 WITH SCORE 7472.009
AT ITER 1716 NEW BEST:: SOT 45890 SOS 10007 HAS SOPS 10007 HAS SOUS 7460 HAS SOUPS 7460 WITH SCORE 7470.007
AT ITER 1738 NEW BEST:: SOT 45885 SOS 9997 HAS SOPS 9997 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7460.997
AT ITER 1750 NEW BEST:: SOT 45877 SOS 9989 HAS SOPS 9989 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7452.989
AT ITER 1754 NEW BEST:: SOT 45853 SOS 10069 HAS SOPS 10069 HAS SOUS 7427 HAS SOUPS 7427 WITH SCORE 7437.069
AT ITER 1757 NEW BEST:: SOT 45849 SOS 10061 HAS SOPS 10061 HAS SOUS 7426 HAS SOUPS 7426 WITH SCORE 7436.061
AT ITER 1826 NEW BEST:: SOT 45847 SOS 10059 HAS SOPS 10059 HAS SOUS 7424 HAS SOUPS 7424 WITH SCORE 7434.059
AT ITER 1834 NEW BEST:: SOT 45835 SOS 10062 HAS SOPS 10062 HAS SOUS 7414 HAS SOUPS 7414 WITH SCORE 7424.062
AT ITER 1860 NEW BEST:: SOT 45829 SOS 10056 HAS SOPS 10056 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7418.056
AT ITER 1881 NEW BEST:: SOT 45819 SOS 10036 HAS SOPS 10036 HAS SOUS 7388 HAS SOUPS 7388 WITH SCORE 7398.036
AT ITER 1907 NEW BEST:: SOT 45806 SOS 10010 HAS SOPS 10010 HAS SOUS 7357 HAS SOUPS 7357 WITH SCORE 7367.01
AT ITER 1911 NEW BEST:: SOT 45839 SOS 10041 HAS SOPS 10041 HAS SOUS 7353 HAS SOUPS 7353 WITH SCORE 7363.041
AT ITER 1926 NEW BEST:: SOT 45835 SOS 9940 HAS SOPS 9940 HAS SOUS 7345 HAS SOUPS 7345 WITH SCORE 7354.94
AT ITER 1927 NEW BEST:: SOT 45835 SOS 9939 HAS SOPS 9939 HAS SOUS 7344 HAS SOUPS 7344 WITH SCORE 7353.939
AT ITER 1930 NEW BEST:: SOT 45822 SOS 9913 HAS SOPS 9913 HAS SOUS 7331 HAS SOUPS 7331 WITH SCORE 7340.913
AT ITER 1958 NEW BEST:: SOT 45809 SOS 9900 HAS SOPS 9900 HAS SOUS 7318 HAS SOUPS 7318 WITH SCORE 7327.9
AT ITER 2012 NEW BEST:: SOT 45792 SOS 9866 HAS SOPS 9866 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7281.866
AT ITER 2016 NEW BEST:: SOT 45786 SOS 9854 HAS SOPS 9854 HAS SOUS 7226 HAS SOUPS 7226 WITH SCORE 7235.854
AT ITER 2022 NEW BEST:: SOT 45787 SOS 9854 HAS SOPS 9854 HAS SOUS 7224 HAS SOUPS 7224 WITH SCORE 7233.854
AT ITER 2033 NEW BEST:: SOT 45792 SOS 9864 HAS SOPS 9864 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7225.864
AT ITER 2046 NEW BEST:: SOT 45808 SOS 9880 HAS SOPS 9880 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7221.88
AT ITER 2069 NEW BEST:: SOT 45818 SOS 9878 HAS SOPS 9878 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7219.878
AT ITER 2078 NEW BEST:: SOT 45811 SOS 9871 HAS SOPS 9871 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7212.871
AT ITER 2083 NEW BEST:: SOT 45736 SOS 10011 HAS SOPS 10011 HAS SOUS 7128 HAS SOUPS 7128 WITH SCORE 7138.011
AT ITER 2087 NEW BEST:: SOT 45731 SOS 10011 HAS SOPS 10011 HAS SOUS 7123 HAS SOUPS 7123 WITH SCORE 7133.011
AT ITER 2095 NEW BEST:: SOT 45721 SOS 9991 HAS SOPS 9991 HAS SOUS 7119 HAS SOUPS 7119 WITH SCORE 7128.991
AT ITER 2164 NEW BEST:: SOT 45714 SOS 9970 HAS SOPS 9970 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7124.97
AT ITER 2191 NEW BEST:: SOT 45731 SOS 10018 HAS SOPS 10018 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7110.018
AT ITER 2207 NEW BEST:: SOT 45728 SOS 10012 HAS SOPS 10012 HAS SOUS 7094 HAS SOUPS 7094 WITH SCORE 7104.012
AT ITER 2211 NEW BEST:: SOT 45785 SOS 10067 HAS SOPS 10067 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7102.067
AT ITER 2217 NEW BEST:: SOT 45785 SOS 10058 HAS SOPS 10058 HAS SOUS 7089 HAS SOUPS 7089 WITH SCORE 7099.058
AT ITER 2223 NEW BEST:: SOT 45775 SOS 10038 HAS SOPS 10038 HAS SOUS 7069 HAS SOUPS 7069 WITH SCORE 7079.038
AT ITER 2246 NEW BEST:: SOT 45761 SOS 10010 HAS SOPS 10010 HAS SOUS 7048 HAS SOUPS 7048 WITH SCORE 7058.01
AT ITER 2261 NEW BEST:: SOT 45756 SOS 10005 HAS SOPS 10005 HAS SOUS 7031 HAS SOUPS 7031 WITH SCORE 7041.005
AT ITER 2283 NEW BEST:: SOT 45754 SOS 10001 HAS SOPS 10001 HAS SOUS 7031 HAS SOUPS 7031 WITH SCORE 7041.001
AT ITER 2362 NEW BEST:: SOT 45740 SOS 9948 HAS SOPS 9948 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7039.948
AT ITER 2370 NEW BEST:: SOT 45739 SOS 9946 HAS SOPS 9946 HAS SOUS 7028 HAS SOUPS 7028 WITH SCORE 7037.946
AT ITER 2382 NEW BEST:: SOT 45696 SOS 9926 HAS SOPS 9926 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7027.926
AT ITER 2387 NEW BEST:: SOT 45700 SOS 9948 HAS SOPS 9948 HAS SOUS 7004 HAS SOUPS 7004 WITH SCORE 7013.948
AT ITER 2394 NEW BEST:: SOT 45700 SOS 9948 HAS SOPS 9948 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 6986.948
AT ITER 2404 NEW BEST:: SOT 45699 SOS 9945 HAS SOPS 9945 HAS SOUS 6975 HAS SOUPS 6975 WITH SCORE 6984.945
AT ITER 2420 NEW BEST:: SOT 45696 SOS 9945 HAS SOPS 9945 HAS SOUS 6972 HAS SOUPS 6972 WITH SCORE 6981.945
AT ITER 2505 NEW BEST:: SOT 45512 SOS 11257 HAS SOPS 11257 HAS SOUS 6907 HAS SOUPS 6907 WITH SCORE 6918.257
AT ITER 2509 NEW BEST:: SOT 45505 SOS 11243 HAS SOPS 11243 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6912.243
AT ITER 2521 NEW BEST:: SOT 45505 SOS 11242 HAS SOPS 11242 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6905.242
AT ITER 2550 NEW BEST:: SOT 45503 SOS 11231 HAS SOPS 11231 HAS SOUS 6889 HAS SOUPS 6889 WITH SCORE 6900.231
AT ITER 2553 NEW BEST:: SOT 45485 SOS 11213 HAS SOPS 11213 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6892.213
AT ITER 2628 NEW BEST:: SOT 45432 SOS 11160 HAS SOPS 11160 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6892.16
AT ITER 2639 NEW BEST:: SOT 45420 SOS 11136 HAS SOPS 11136 HAS SOUS 6857 HAS SOUPS 6857 WITH SCORE 6868.136
AT ITER 2660 NEW BEST:: SOT 45405 SOS 11111 HAS SOPS 11111 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6844.111
AT ITER 2708 NEW BEST:: SOT 45404 SOS 11109 HAS SOPS 11109 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6842.109
AT ITER 2709 NEW BEST:: SOT 45399 SOS 11104 HAS SOPS 11104 HAS SOUS 6824 HAS SOUPS 6824 WITH SCORE 6835.104
AT ITER 2757 NEW BEST:: SOT 45398 SOS 11099 HAS SOPS 11099 HAS SOUS 6819 HAS SOUPS 6819 WITH SCORE 6830.099
AT ITER 2793 NEW BEST:: SOT 45380 SOS 11063 HAS SOPS 11063 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6810.063
AT ITER 2800 NEW BEST:: SOT 45376 SOS 11051 HAS SOPS 11051 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6802.051
AT ITER 2816 NEW BEST:: SOT 45377 SOS 11049 HAS SOPS 11049 HAS SOUS 6789 HAS SOUPS 6789 WITH SCORE 6800.049
AT ITER 2823 NEW BEST:: SOT 45376 SOS 11047 HAS SOPS 11047 HAS SOUS 6787 HAS SOUPS 6787 WITH SCORE 6798.047
AT ITER 2840 NEW BEST:: SOT 45371 SOS 11042 HAS SOPS 11042 HAS SOUS 6787 HAS SOUPS 6787 WITH SCORE 6798.042
AT ITER 2841 NEW BEST:: SOT 45368 SOS 11039 HAS SOPS 11039 HAS SOUS 6786 HAS SOUPS 6786 WITH SCORE 6797.039
AT ITER 2862 NEW BEST:: SOT 45363 SOS 11034 HAS SOPS 11034 HAS SOUS 6765 HAS SOUPS 6765 WITH SCORE 6776.034
AT ITER 2886 NEW BEST:: SOT 45359 SOS 11028 HAS SOPS 11028 HAS SOUS 6763 HAS SOUPS 6763 WITH SCORE 6774.028
AT ITER 2889 NEW BEST:: SOT 45344 SOS 10963 HAS SOPS 10963 HAS SOUS 6678 HAS SOUPS 6678 WITH SCORE 6688.963
AT ITER 2932 NEW BEST:: SOT 45339 SOS 10952 HAS SOPS 10952 HAS SOUS 6667 HAS SOUPS 6667 WITH SCORE 6677.952
AT ITER 2945 NEW BEST:: SOT 45339 SOS 10952 HAS SOPS 10952 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6669.952
AT ITER 2989 NEW BEST:: SOT 45316 SOS 10929 HAS SOPS 10929 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6669.929
AT ITER 3003 NEW BEST:: SOT 45293 SOS 10910 HAS SOPS 10910 HAS SOUS 6633 HAS SOUPS 6633 WITH SCORE 6643.91
AT ITER 3054 NEW BEST:: SOT 45276 SOS 10876 HAS SOPS 10876 HAS SOUS 6616 HAS SOUPS 6616 WITH SCORE 6626.876
AT ITER 3069 NEW BEST:: SOT 45274 SOS 10874 HAS SOPS 10874 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6620.874
AT ITER 3094 NEW BEST:: SOT 45267 SOS 10860 HAS SOPS 10860 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6613.86
AT ITER 3108 NEW BEST:: SOT 45267 SOS 10860 HAS SOPS 10860 HAS SOUS 6570 HAS SOUPS 6570 WITH SCORE 6580.86
AT ITER 3148 NEW BEST:: SOT 45267 SOS 10860 HAS SOPS 10860 HAS SOUS 6567 HAS SOUPS 6567 WITH SCORE 6577.86
AT ITER 3163 NEW BEST:: SOT 45266 SOS 10859 HAS SOPS 10859 HAS SOUS 6566 HAS SOUPS 6566 WITH SCORE 6576.859
AT ITER 3168 NEW BEST:: SOT 45260 SOS 10865 HAS SOPS 10865 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6570.865
AT ITER 3176 NEW BEST:: SOT 45272 SOS 10868 HAS SOPS 10868 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6552.868
AT ITER 3212 NEW BEST:: SOT 45260 SOS 10861 HAS SOPS 10861 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6545.861
AT ITER 3215 NEW BEST:: SOT 45259 SOS 10859 HAS SOPS 10859 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6544.859
AT ITER 3310 NEW BEST:: SOT 45226 SOS 10793 HAS SOPS 10793 HAS SOUS 6509 HAS SOUPS 6509 WITH SCORE 6519.793
AT ITER 3324 NEW BEST:: SOT 45224 SOS 10791 HAS SOPS 10791 HAS SOUS 6507 HAS SOUPS 6507 WITH SCORE 6517.791
AT ITER 3350 NEW BEST:: SOT 45224 SOS 10791 HAS SOPS 10791 HAS SOUS 6488 HAS SOUPS 6488 WITH SCORE 6498.791
AT ITER 3361 NEW BEST:: SOT 45221 SOS 10788 HAS SOPS 10788 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6492.788
AT ITER 3362 NEW BEST:: SOT 45214 SOS 10781 HAS SOPS 10781 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6486.781
AT ITER 3385 NEW BEST:: SOT 45205 SOS 10772 HAS SOPS 10772 HAS SOUS 6467 HAS SOUPS 6467 WITH SCORE 6477.772
AT ITER 3405 NEW BEST:: SOT 45205 SOS 10736 HAS SOPS 10736 HAS SOUS 6467 HAS SOUPS 6467 WITH SCORE 6477.736
AT ITER 3412 NEW BEST:: SOT 45195 SOS 10716 HAS SOPS 10716 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6457.716
AT ITER 3425 NEW BEST:: SOT 45169 SOS 10694 HAS SOPS 10694 HAS SOUS 6425 HAS SOUPS 6425 WITH SCORE 6435.694
AT ITER 3440 NEW BEST:: SOT 45168 SOS 10692 HAS SOPS 10692 HAS SOUS 6423 HAS SOUPS 6423 WITH SCORE 6433.692
AT ITER 3492 NEW BEST:: SOT 45169 SOS 10658 HAS SOPS 10658 HAS SOUS 6419 HAS SOUPS 6419 WITH SCORE 6429.658
AT ITER 3528 NEW BEST:: SOT 45151 SOS 10618 HAS SOPS 10618 HAS SOUS 6379 HAS SOUPS 6379 WITH SCORE 6389.618
AT ITER 3538 NEW BEST:: SOT 45150 SOS 10600 HAS SOPS 10600 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6372.6
AT ITER 3564 NEW BEST:: SOT 45126 SOS 10564 HAS SOPS 10564 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6348.564
AT ITER 3587 NEW BEST:: SOT 45123 SOS 10558 HAS SOPS 10558 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6342.558
AT ITER 3621 NEW BEST:: SOT 45123 SOS 10553 HAS SOPS 10553 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6339.553
AT ITER 3622 NEW BEST:: SOT 45083 SOS 10503 HAS SOPS 10503 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6299.503
AT ITER 3624 NEW BEST:: SOT 45083 SOS 10500 HAS SOPS 10500 HAS SOUS 6286 HAS SOUPS 6286 WITH SCORE 6296.5
AT ITER 3625 NEW BEST:: SOT 45051 SOS 10436 HAS SOPS 10436 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6284.436
AT ITER 3635 NEW BEST:: SOT 45054 SOS 10430 HAS SOPS 10430 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6279.43
AT ITER 3699 NEW BEST:: SOT 45042 SOS 10406 HAS SOPS 10406 HAS SOUS 6257 HAS SOUPS 6257 WITH SCORE 6267.406
AT ITER 3704 NEW BEST:: SOT 45001 SOS 10372 HAS SOPS 10372 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6233.372
AT ITER 3736 NEW BEST:: SOT 44983 SOS 10369 HAS SOPS 10369 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6230.369
AT ITER 3737 NEW BEST:: SOT 44975 SOS 10353 HAS SOPS 10353 HAS SOUS 6206 HAS SOUPS 6206 WITH SCORE 6216.353
AT ITER 3766 NEW BEST:: SOT 44964 SOS 10343 HAS SOPS 10343 HAS SOUS 6196 HAS SOUPS 6196 WITH SCORE 6206.343
AT ITER 3772 NEW BEST:: SOT 44939 SOS 10303 HAS SOPS 10303 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6181.303
AT ITER 3778 NEW BEST:: SOT 44941 SOS 10305 HAS SOPS 10305 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6180.305
AT ITER 3835 NEW BEST:: SOT 44940 SOS 10304 HAS SOPS 10304 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6179.304
AT ITER 3852 NEW BEST:: SOT 44936 SOS 10296 HAS SOPS 10296 HAS SOUS 6164 HAS SOUPS 6164 WITH SCORE 6174.296
AT ITER 3860 NEW BEST:: SOT 44934 SOS 10292 HAS SOPS 10292 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6170.292
AT ITER 3902 NEW BEST:: SOT 44908 SOS 10604 HAS SOPS 10604 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6166.604
AT ITER 3915 NEW BEST:: SOT 44908 SOS 10604 HAS SOPS 10604 HAS SOUS 6154 HAS SOUPS 6154 WITH SCORE 6164.604
AT ITER 3923 NEW BEST:: SOT 44899 SOS 10594 HAS SOPS 10594 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6162.594
AT ITER 3987 NEW BEST:: SOT 44890 SOS 10576 HAS SOPS 10576 HAS SOUS 6151 HAS SOUPS 6151 WITH SCORE 6161.576
AT ITER 4030 NEW BEST:: SOT 44899 SOS 10585 HAS SOPS 10585 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6157.585
AT ITER 4086 NEW BEST:: SOT 44886 SOS 10559 HAS SOPS 10559 HAS SOUS 6121 HAS SOUPS 6121 WITH SCORE 6131.559
AT ITER 4163 NEW BEST:: SOT 44884 SOS 10556 HAS SOPS 10556 HAS SOUS 6118 HAS SOUPS 6118 WITH SCORE 6128.556
AT ITER 4164 NEW BEST:: SOT 44883 SOS 10555 HAS SOPS 10555 HAS SOUS 6118 HAS SOUPS 6118 WITH SCORE 6128.555
AT ITER 4176 NEW BEST:: SOT 44879 SOS 10547 HAS SOPS 10547 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6120.547
AT ITER 4197 NEW BEST:: SOT 44874 SOS 10537 HAS SOPS 10537 HAS SOUS 6109 HAS SOUPS 6109 WITH SCORE 6119.537
AT ITER 4279 NEW BEST:: SOT 44870 SOS 10534 HAS SOPS 10534 HAS SOUS 6106 HAS SOUPS 6106 WITH SCORE 6116.534
AT ITER 4307 NEW BEST:: SOT 44863 SOS 10520 HAS SOPS 10520 HAS SOUS 6104 HAS SOUPS 6104 WITH SCORE 6114.52
AT ITER 4330 NEW BEST:: SOT 44863 SOS 10502 HAS SOPS 10502 HAS SOUS 6095 HAS SOUPS 6095 WITH SCORE 6105.502
AT ITER 4331 NEW BEST:: SOT 44863 SOS 10256 HAS SOPS 10256 HAS SOUS 6070 HAS SOUPS 6070 WITH SCORE 6080.256
AT ITER 4391 NEW BEST:: SOT 44851 SOS 10232 HAS SOPS 10232 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6068.232
AT ITER 4441 NEW BEST:: SOT 44851 SOS 10229 HAS SOPS 10229 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6068.229
AT ITER 4449 NEW BEST:: SOT 44852 SOS 10226 HAS SOPS 10226 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6065.226
AT ITER 4451 NEW BEST:: SOT 44849 SOS 10215 HAS SOPS 10215 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6054.215
AT ITER 4540 NEW BEST:: SOT 44828 SOS 10194 HAS SOPS 10194 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6054.194
AT ITER 4609 NEW BEST:: SOT 44847 SOS 10232 HAS SOPS 10232 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6040.232
AT ITER 4689 NEW BEST:: SOT 44828 SOS 10219 HAS SOPS 10219 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6027.219
AT ITER 4701 NEW BEST:: SOT 44825 SOS 10216 HAS SOPS 10216 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6024.216
AT ITER 4802 NEW BEST:: SOT 44825 SOS 10204 HAS SOPS 10204 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6012.204
AT ITER 4814 NEW BEST:: SOT 44817 SOS 10188 HAS SOPS 10188 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6012.188
AT ITER 4844 NEW BEST:: SOT 44817 SOS 10162 HAS SOPS 10162 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6012.162
AT ITER 4847 NEW BEST:: SOT 44773 SOS 10118 HAS SOPS 10118 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6012.118
AT ITER 4855 NEW BEST:: SOT 44729 SOS 10038 HAS SOPS 10038 HAS SOUS 5994 HAS SOUPS 5994 WITH SCORE 6004.038
AT ITER 4895 NEW BEST:: SOT 44728 SOS 10036 HAS SOPS 10036 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 6003.036
AT ITER 4914 NEW BEST:: SOT 44724 SOS 10030 HAS SOPS 10030 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5997.03
AT ITER 4948 NEW BEST:: SOT 44722 SOS 10028 HAS SOPS 10028 HAS SOUS 5985 HAS SOUPS 5985 WITH SCORE 5995.028
AT ITER 5011 NEW BEST:: SOT 44717 SOS 10018 HAS SOPS 10018 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5985.018
AT ITER 5046 NEW BEST:: SOT 44712 SOS 10008 HAS SOPS 10008 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5975.008
AT ITER 5145 NEW BEST:: SOT 44705 SOS 10039 HAS SOPS 10039 HAS SOUS 5964 HAS SOUPS 5964 WITH SCORE 5974.039
AT ITER 5163 NEW BEST:: SOT 44667 SOS 10001 HAS SOPS 10001 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5936.001
AT ITER 5222 NEW BEST:: SOT 44626 SOS 9919 HAS SOPS 9919 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5886.919
AT ITER 5261 NEW BEST:: SOT 44619 SOS 9912 HAS SOPS 9912 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5886.912
AT ITER 5281 NEW BEST:: SOT 44618 SOS 9910 HAS SOPS 9910 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5884.91
AT ITER 5626 NEW BEST:: SOT 44617 SOS 9908 HAS SOPS 9908 HAS SOUS 5873 HAS SOUPS 5873 WITH SCORE 5882.908
AT ITER 5634 NEW BEST:: SOT 44617 SOS 9907 HAS SOPS 9907 HAS SOUS 5873 HAS SOUPS 5873 WITH SCORE 5882.907
AT ITER 5671 NEW BEST:: SOT 44621 SOS 9803 HAS SOPS 9803 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5878.803
AT ITER 5750 NEW BEST:: SOT 44613 SOS 10331 HAS SOPS 10331 HAS SOUS 5861 HAS SOUPS 5861 WITH SCORE 5871.331
AT ITER 5842 NEW BEST:: SOT 44609 SOS 10323 HAS SOPS 10323 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5865.323
AT ITER 5917 NEW BEST:: SOT 44609 SOS 10323 HAS SOPS 10323 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5857.323
AT ITER 5953 NEW BEST:: SOT 44606 SOS 10320 HAS SOPS 10320 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5857.32
AT ITER 5971 NEW BEST:: SOT 44607 SOS 10319 HAS SOPS 10319 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5857.319
AT ITER 5999 NEW BEST:: SOT 44606 SOS 10317 HAS SOPS 10317 HAS SOUS 5845 HAS SOUPS 5845 WITH SCORE 5855.317
AT ITER 6011 NEW BEST:: SOT 44598 SOS 10309 HAS SOPS 10309 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5848.309
AT ITER 6064 NEW BEST:: SOT 44590 SOS 10311 HAS SOPS 10311 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5846.311
AT ITER 6236 NEW BEST:: SOT 44590 SOS 10311 HAS SOPS 10311 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5843.311
AT ITER 6301 NEW BEST:: SOT 44590 SOS 10310 HAS SOPS 10310 HAS SOUS 5832 HAS SOUPS 5832 WITH SCORE 5842.31
AT ITER 6325 NEW BEST:: SOT 44587 SOS 10307 HAS SOPS 10307 HAS SOUS 5831 HAS SOUPS 5831 WITH SCORE 5841.307
AT ITER 6429 NEW BEST:: SOT 44585 SOS 10305 HAS SOPS 10305 HAS SOUS 5831 HAS SOUPS 5831 WITH SCORE 5841.305
AT ITER 6437 NEW BEST:: SOT 44608 SOS 10334 HAS SOPS 10334 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5824.334
AT ITER 6482 NEW BEST:: SOT 44610 SOS 10338 HAS SOPS 10338 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5813.338
AT ITER 6544 NEW BEST:: SOT 44608 SOS 10336 HAS SOPS 10336 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5811.336
AT ITER 6601 NEW BEST:: SOT 44608 SOS 10335 HAS SOPS 10335 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5811.335
AT ITER 6639 NEW BEST:: SOT 44607 SOS 10333 HAS SOPS 10333 HAS SOUS 5799 HAS SOUPS 5799 WITH SCORE 5809.333
AT ITER 6643 NEW BEST:: SOT 44605 SOS 10321 HAS SOPS 10321 HAS SOUS 5791 HAS SOUPS 5791 WITH SCORE 5801.321
AT ITER 6732 NEW BEST:: SOT 44602 SOS 10304 HAS SOPS 10304 HAS SOUS 5785 HAS SOUPS 5785 WITH SCORE 5795.304
AT ITER 6809 NEW BEST:: SOT 44588 SOS 10278 HAS SOPS 10278 HAS SOUS 5773 HAS SOUPS 5773 WITH SCORE 5783.278
AT ITER 6828 NEW BEST:: SOT 44579 SOS 10260 HAS SOPS 10260 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5765.26
AT ITER 6955 NEW BEST:: SOT 44568 SOS 10234 HAS SOPS 10234 HAS SOUS 5744 HAS SOUPS 5744 WITH SCORE 5754.234
AT ITER 7014 NEW BEST:: SOT 44568 SOS 10234 HAS SOPS 10234 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5715.234
AT ITER 7072 NEW BEST:: SOT 44567 SOS 10232 HAS SOPS 10232 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5713.232
AT ITER 7079 NEW BEST:: SOT 44567 SOS 10231 HAS SOPS 10231 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5712.231
AT ITER 7127 NEW BEST:: SOT 44562 SOS 10228 HAS SOPS 10228 HAS SOUS 5699 HAS SOUPS 5699 WITH SCORE 5709.228
AT ITER 7128 NEW BEST:: SOT 44559 SOS 10222 HAS SOPS 10222 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5708.222
AT ITER 7224 NEW BEST:: SOT 44558 SOS 10220 HAS SOPS 10220 HAS SOUS 5694 HAS SOUPS 5694 WITH SCORE 5704.22
AT ITER 7247 NEW BEST:: SOT 44565 SOS 10245 HAS SOPS 10245 HAS SOUS 5689 HAS SOUPS 5689 WITH SCORE 5699.245
AT ITER 7275 NEW BEST:: SOT 44562 SOS 10239 HAS SOPS 10239 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5693.239
AT ITER 7276 NEW BEST:: SOT 44558 SOS 10238 HAS SOPS 10238 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5689.238
AT ITER 7356 NEW BEST:: SOT 44558 SOS 10226 HAS SOPS 10226 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5689.226
AT ITER 7369 NEW BEST:: SOT 44558 SOS 10226 HAS SOPS 10226 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5686.226
AT ITER 7441 NEW BEST:: SOT 44560 SOS 10149 HAS SOPS 10149 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5682.149
AT ITER 7515 NEW BEST:: SOT 44559 SOS 10148 HAS SOPS 10148 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5681.148
AT ITER 7537 NEW BEST:: SOT 44559 SOS 10070 HAS SOPS 10070 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5681.07
AT ITER 7601 NEW BEST:: SOT 44563 SOS 10068 HAS SOPS 10068 HAS SOUS 5669 HAS SOUPS 5669 WITH SCORE 5679.068
AT ITER 7716 NEW BEST:: SOT 44560 SOS 10065 HAS SOPS 10065 HAS SOUS 5669 HAS SOUPS 5669 WITH SCORE 5679.065
AT ITER 7725 NEW BEST:: SOT 44560 SOS 10064 HAS SOPS 10064 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5677.064
AT ITER 7726 NEW BEST:: SOT 44560 SOS 10064 HAS SOPS 10064 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5670.064
AT ITER 7751 NEW BEST:: SOT 44554 SOS 10048 HAS SOPS 10048 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5664.048
AT ITER 7819 NEW BEST:: SOT 44549 SOS 10046 HAS SOPS 10046 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5662.046
AT ITER 7830 NEW BEST:: SOT 44538 SOS 10035 HAS SOPS 10035 HAS SOUS 5649 HAS SOUPS 5649 WITH SCORE 5659.035
AT ITER 7885 NEW BEST:: SOT 44529 SOS 10026 HAS SOPS 10026 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5650.026
AT ITER 7961 NEW BEST:: SOT 44528 SOS 10025 HAS SOPS 10025 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5649.025
AT ITER 8023 NEW BEST:: SOT 44527 SOS 10024 HAS SOPS 10024 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5649.024
AT ITER 8072 NEW BEST:: SOT 44527 SOS 10020 HAS SOPS 10020 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5649.02
AT ITER 8171 NEW BEST:: SOT 44545 SOS 10013 HAS SOPS 10013 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5638.013
AT ITER 8199 NEW BEST:: SOT 44541 SOS 10009 HAS SOPS 10009 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5634.009
AT ITER 8241 NEW BEST:: SOT 44535 SOS 9997 HAS SOPS 9997 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5621.997
AT ITER 8244 NEW BEST:: SOT 44531 SOS 9993 HAS SOPS 9993 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5621.993
AT ITER 8248 NEW BEST:: SOT 44527 SOS 9951 HAS SOPS 9951 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5613.951
AT ITER 8329 NEW BEST:: SOT 44523 SOS 9943 HAS SOPS 9943 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5605.943
AT ITER 8330 NEW BEST:: SOT 44521 SOS 9939 HAS SOPS 9939 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5599.939
AT ITER 8341 NEW BEST:: SOT 44508 SOS 9922 HAS SOPS 9922 HAS SOUS 5583 HAS SOUPS 5583 WITH SCORE 5592.922
AT ITER 8347 NEW BEST:: SOT 44501 SOS 9908 HAS SOPS 9908 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5578.908
AT ITER 8436 NEW BEST:: SOT 44504 SOS 9911 HAS SOPS 9911 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5577.911
AT ITER 8445 NEW BEST:: SOT 44504 SOS 9897 HAS SOPS 9897 HAS SOUS 5559 HAS SOUPS 5559 WITH SCORE 5568.897
AT ITER 8456 NEW BEST:: SOT 44504 SOS 9894 HAS SOPS 9894 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5565.894
AT ITER 8501 NEW BEST:: SOT 44502 SOS 9890 HAS SOPS 9890 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5563.89
AT ITER 8504 NEW BEST:: SOT 44502 SOS 9889 HAS SOPS 9889 HAS SOUS 5553 HAS SOUPS 5553 WITH SCORE 5562.889
AT ITER 8552 NEW BEST:: SOT 44498 SOS 9885 HAS SOPS 9885 HAS SOUS 5549 HAS SOUPS 5549 WITH SCORE 5558.885
AT ITER 8575 NEW BEST:: SOT 44501 SOS 9888 HAS SOPS 9888 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5555.888
AT ITER 8579 NEW BEST:: SOT 44498 SOS 9882 HAS SOPS 9882 HAS SOUS 5544 HAS SOUPS 5544 WITH SCORE 5553.882
AT ITER 8580 NEW BEST:: SOT 44496 SOS 9878 HAS SOPS 9878 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5550.878
AT ITER 8587 NEW BEST:: SOT 44495 SOS 9877 HAS SOPS 9877 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5547.877
AT ITER 8709 NEW BEST:: SOT 44481 SOS 9763 HAS SOPS 9763 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5533.763
AT ITER 8877 NEW BEST:: SOT 44526 SOS 9801 HAS SOPS 9801 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5527.801
AT ITER 8880 NEW BEST:: SOT 44520 SOS 9789 HAS SOPS 9789 HAS SOUS 5511 HAS SOUPS 5511 WITH SCORE 5520.789
AT ITER 8891 NEW BEST:: SOT 44519 SOS 9787 HAS SOPS 9787 HAS SOUS 5510 HAS SOUPS 5510 WITH SCORE 5519.787
AT ITER 8914 NEW BEST:: SOT 44518 SOS 9786 HAS SOPS 9786 HAS SOUS 5510 HAS SOUPS 5510 WITH SCORE 5519.786
AT ITER 8966 NEW BEST:: SOT 44511 SOS 9779 HAS SOPS 9779 HAS SOUS 5503 HAS SOUPS 5503 WITH SCORE 5512.779
AT ITER 9061 NEW BEST:: SOT 44508 SOS 9773 HAS SOPS 9773 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5506.773
AT ITER 9100 NEW BEST:: SOT 44508 SOS 9747 HAS SOPS 9747 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5506.747
AT ITER 9182 NEW BEST:: SOT 44507 SOS 9745 HAS SOPS 9745 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5504.745
AT ITER 9191 NEW BEST:: SOT 44512 SOS 9740 HAS SOPS 9740 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5499.74
AT ITER 9201 NEW BEST:: SOT 44513 SOS 9742 HAS SOPS 9742 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5497.742
AT ITER 9263 NEW BEST:: SOT 44509 SOS 9729 HAS SOPS 9729 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5489.729
AT ITER 9372 NEW BEST:: SOT 44508 SOS 9727 HAS SOPS 9727 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5487.727
AT ITER 9397 NEW BEST:: SOT 44510 SOS 9731 HAS SOPS 9731 HAS SOUS 5477 HAS SOUPS 5477 WITH SCORE 5486.731
AT ITER 9428 NEW BEST:: SOT 44510 SOS 9731 HAS SOPS 9731 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5485.731
AT ITER 9628 NEW BEST:: SOT 44507 SOS 9724 HAS SOPS 9724 HAS SOUS 5473 HAS SOUPS 5473 WITH SCORE 5482.724
AT ITER 9776 NEW BEST:: SOT 44498 SOS 9715 HAS SOPS 9715 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5473.715
AT ITER 9787 NEW BEST:: SOT 44497 SOS 9728 HAS SOPS 9728 HAS SOUS 5463 HAS SOUPS 5463 WITH SCORE 5472.728
AT ITER 9891 NEW BEST:: SOT 44497 SOS 9728 HAS SOPS 9728 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5468.728
AT ITER 9951 NEW BEST:: SOT 44497 SOS 9724 HAS SOPS 9724 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5464.724
STATE_SPACE STATES 430089117268 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 11 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3908939323563 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679261074419

--------------------
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="SmartHome-PT-10"
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 SmartHome-PT-10, 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 r459-smll-167912651000232"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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