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.r395-oct2-167903718300064.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldIIPs-PT-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718300064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 8.9K Feb 25 16:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 25 16:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 16:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 16:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 50K Feb 25 16:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 123K Feb 25 16:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 66K 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 1679552800675

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=ShieldIIPs-PT-004B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 06:26:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 06:26:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 06:26:49] [INFO ] Load time of PNML (sax parser for PT used): 122 ms
[2023-03-23 06:26:49] [INFO ] Transformed 243 places.
[2023-03-23 06:26:49] [INFO ] Transformed 239 transitions.
[2023-03-23 06:26:49] [INFO ] Found NUPN structural information;
[2023-03-23 06:26:49] [INFO ] Parsed PT model containing 243 places and 239 transitions and 718 arcs in 492 ms.
[2023-03-23 06:26:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 243 places, 239 transitions and 718 arcs took 6 ms.
Total runtime 613 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 004B
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: 243 places, 239 transitions, 718 arcs.
AT ITER 0 NEW BEST:: SOT 33268 SOS 10578 HAS SOPS 10578 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8561.578
AT ITER 8 NEW BEST:: SOT 33266 SOS 10576 HAS SOPS 10576 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8561.576
AT ITER 17 NEW BEST:: SOT 33260 SOS 10564 HAS SOPS 10564 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8561.564
AT ITER 21 NEW BEST:: SOT 33272 SOS 10548 HAS SOPS 10548 HAS SOUS 8535 HAS SOUPS 8535 WITH SCORE 8545.548
AT ITER 70 NEW BEST:: SOT 33272 SOS 10543 HAS SOPS 10543 HAS SOUS 8530 HAS SOUPS 8530 WITH SCORE 8540.543
AT ITER 88 NEW BEST:: SOT 33215 SOS 10486 HAS SOPS 10486 HAS SOUS 8473 HAS SOUPS 8473 WITH SCORE 8483.486
AT ITER 95 NEW BEST:: SOT 33210 SOS 10481 HAS SOPS 10481 HAS SOUS 8473 HAS SOUPS 8473 WITH SCORE 8483.481
AT ITER 110 NEW BEST:: SOT 33208 SOS 10477 HAS SOPS 10477 HAS SOUS 8469 HAS SOUPS 8469 WITH SCORE 8479.477
AT ITER 141 NEW BEST:: SOT 33118 SOS 10392 HAS SOPS 10392 HAS SOUS 8393 HAS SOUPS 8393 WITH SCORE 8403.392
AT ITER 150 NEW BEST:: SOT 33132 SOS 10334 HAS SOPS 10334 HAS SOUS 8381 HAS SOUPS 8381 WITH SCORE 8391.334
AT ITER 154 NEW BEST:: SOT 33131 SOS 10333 HAS SOPS 10333 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8389.333
AT ITER 161 NEW BEST:: SOT 33131 SOS 10296 HAS SOPS 10296 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8374.296
AT ITER 174 NEW BEST:: SOT 33127 SOS 10274 HAS SOPS 10274 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8374.274
AT ITER 181 NEW BEST:: SOT 33112 SOS 10258 HAS SOPS 10258 HAS SOUS 8350 HAS SOUPS 8350 WITH SCORE 8360.258
AT ITER 188 NEW BEST:: SOT 33068 SOS 10266 HAS SOPS 10266 HAS SOUS 8343 HAS SOUPS 8343 WITH SCORE 8353.266
AT ITER 204 NEW BEST:: SOT 33060 SOS 10263 HAS SOPS 10263 HAS SOUS 8340 HAS SOUPS 8340 WITH SCORE 8350.263
AT ITER 206 NEW BEST:: SOT 33060 SOS 10221 HAS SOPS 10221 HAS SOUS 8326 HAS SOUPS 8326 WITH SCORE 8336.221
AT ITER 213 NEW BEST:: SOT 33036 SOS 10136 HAS SOPS 10136 HAS SOUS 8302 HAS SOUPS 8302 WITH SCORE 8312.136
AT ITER 219 NEW BEST:: SOT 33024 SOS 10113 HAS SOPS 10113 HAS SOUS 8279 HAS SOUPS 8279 WITH SCORE 8289.113
AT ITER 229 NEW BEST:: SOT 32995 SOS 10089 HAS SOPS 10089 HAS SOUS 8248 HAS SOUPS 8248 WITH SCORE 8258.089
AT ITER 261 NEW BEST:: SOT 32995 SOS 10085 HAS SOPS 10085 HAS SOUS 8244 HAS SOUPS 8244 WITH SCORE 8254.085
AT ITER 271 NEW BEST:: SOT 32970 SOS 10093 HAS SOPS 10093 HAS SOUS 8239 HAS SOUPS 8239 WITH SCORE 8249.093
AT ITER 277 NEW BEST:: SOT 32921 SOS 9961 HAS SOPS 9961 HAS SOUS 8189 HAS SOUPS 8189 WITH SCORE 8198.961
AT ITER 278 NEW BEST:: SOT 32916 SOS 9951 HAS SOPS 9951 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8193.951
AT ITER 280 NEW BEST:: SOT 32844 SOS 9915 HAS SOPS 9915 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8157.915
AT ITER 284 NEW BEST:: SOT 32844 SOS 9915 HAS SOPS 9915 HAS SOUS 8145 HAS SOUPS 8145 WITH SCORE 8154.915
AT ITER 287 NEW BEST:: SOT 32844 SOS 9911 HAS SOPS 9911 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8151.911
AT ITER 300 NEW BEST:: SOT 32836 SOS 9903 HAS SOPS 9903 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8143.903
AT ITER 318 NEW BEST:: SOT 32836 SOS 9957 HAS SOPS 9957 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8117.957
AT ITER 329 NEW BEST:: SOT 32768 SOS 9920 HAS SOPS 9920 HAS SOUS 8067 HAS SOUPS 8067 WITH SCORE 8076.92
AT ITER 341 NEW BEST:: SOT 32778 SOS 9909 HAS SOPS 9909 HAS SOUS 8056 HAS SOUPS 8056 WITH SCORE 8065.909
AT ITER 378 NEW BEST:: SOT 32770 SOS 9885 HAS SOPS 9885 HAS SOUS 8042 HAS SOUPS 8042 WITH SCORE 8051.885
AT ITER 380 NEW BEST:: SOT 32770 SOS 9861 HAS SOPS 9861 HAS SOUS 8029 HAS SOUPS 8029 WITH SCORE 8038.861
AT ITER 398 NEW BEST:: SOT 32724 SOS 9771 HAS SOPS 9771 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7970.771
AT ITER 410 NEW BEST:: SOT 32720 SOS 9767 HAS SOPS 9767 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7966.767
AT ITER 438 NEW BEST:: SOT 32718 SOS 9763 HAS SOPS 9763 HAS SOUS 7953 HAS SOUPS 7953 WITH SCORE 7962.763
AT ITER 447 NEW BEST:: SOT 32718 SOS 9758 HAS SOPS 9758 HAS SOUS 7948 HAS SOUPS 7948 WITH SCORE 7957.758
AT ITER 485 NEW BEST:: SOT 32712 SOS 9734 HAS SOPS 9734 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7951.734
AT ITER 492 NEW BEST:: SOT 32694 SOS 9701 HAS SOPS 9701 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7820.701
AT ITER 513 NEW BEST:: SOT 32696 SOS 9683 HAS SOPS 9683 HAS SOUS 7793 HAS SOUPS 7793 WITH SCORE 7802.683
AT ITER 517 NEW BEST:: SOT 32696 SOS 9690 HAS SOPS 9690 HAS SOUS 7776 HAS SOUPS 7776 WITH SCORE 7785.69
AT ITER 523 NEW BEST:: SOT 32696 SOS 9684 HAS SOPS 9684 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7779.684
AT ITER 533 NEW BEST:: SOT 32663 SOS 9632 HAS SOPS 9632 HAS SOUS 7718 HAS SOUPS 7718 WITH SCORE 7727.632
AT ITER 550 NEW BEST:: SOT 32663 SOS 9631 HAS SOPS 9631 HAS SOUS 7717 HAS SOUPS 7717 WITH SCORE 7726.631
AT ITER 551 NEW BEST:: SOT 32651 SOS 9629 HAS SOPS 9629 HAS SOUS 7703 HAS SOUPS 7703 WITH SCORE 7712.629
AT ITER 558 NEW BEST:: SOT 32634 SOS 9526 HAS SOPS 9526 HAS SOUS 7686 HAS SOUPS 7686 WITH SCORE 7695.526
AT ITER 562 NEW BEST:: SOT 32666 SOS 9519 HAS SOPS 9519 HAS SOUS 7679 HAS SOUPS 7679 WITH SCORE 7688.519
AT ITER 573 NEW BEST:: SOT 32659 SOS 9349 HAS SOPS 9349 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7681.349
AT ITER 593 NEW BEST:: SOT 32633 SOS 9333 HAS SOPS 9333 HAS SOUS 7655 HAS SOUPS 7655 WITH SCORE 7664.333
AT ITER 599 NEW BEST:: SOT 32609 SOS 9285 HAS SOPS 9285 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7616.285
AT ITER 654 NEW BEST:: SOT 32609 SOS 9277 HAS SOPS 9277 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7616.277
AT ITER 657 NEW BEST:: SOT 32561 SOS 9274 HAS SOPS 9274 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7613.274
AT ITER 665 NEW BEST:: SOT 32561 SOS 9269 HAS SOPS 9269 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7608.269
AT ITER 676 NEW BEST:: SOT 32559 SOS 9266 HAS SOPS 9266 HAS SOUS 7596 HAS SOUPS 7596 WITH SCORE 7605.266
AT ITER 681 NEW BEST:: SOT 32536 SOS 9238 HAS SOPS 9238 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7604.238
AT ITER 712 NEW BEST:: SOT 32536 SOS 9190 HAS SOPS 9190 HAS SOUS 7579 HAS SOUPS 7579 WITH SCORE 7588.19
AT ITER 741 NEW BEST:: SOT 32512 SOS 9147 HAS SOPS 9147 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7538.147
AT ITER 761 NEW BEST:: SOT 32512 SOS 9144 HAS SOPS 9144 HAS SOUS 7525 HAS SOUPS 7525 WITH SCORE 7534.144
AT ITER 768 NEW BEST:: SOT 32520 SOS 9170 HAS SOPS 9170 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7528.17
AT ITER 830 NEW BEST:: SOT 32508 SOS 9163 HAS SOPS 9163 HAS SOUS 7512 HAS SOUPS 7512 WITH SCORE 7521.163
AT ITER 834 NEW BEST:: SOT 32499 SOS 9161 HAS SOPS 9161 HAS SOUS 7508 HAS SOUPS 7508 WITH SCORE 7517.161
AT ITER 837 NEW BEST:: SOT 32496 SOS 9155 HAS SOPS 9155 HAS SOUS 7493 HAS SOUPS 7493 WITH SCORE 7502.155
AT ITER 851 NEW BEST:: SOT 32499 SOS 9158 HAS SOPS 9158 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7501.158
AT ITER 862 NEW BEST:: SOT 32489 SOS 9103 HAS SOPS 9103 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7482.103
AT ITER 864 NEW BEST:: SOT 32403 SOS 9003 HAS SOPS 9003 HAS SOUS 7373 HAS SOUPS 7373 WITH SCORE 7382.003
AT ITER 875 NEW BEST:: SOT 32400 SOS 9000 HAS SOPS 9000 HAS SOUS 7370 HAS SOUPS 7370 WITH SCORE 7379.0
AT ITER 893 NEW BEST:: SOT 32392 SOS 8992 HAS SOPS 8992 HAS SOUS 7362 HAS SOUPS 7362 WITH SCORE 7370.992
AT ITER 928 NEW BEST:: SOT 32392 SOS 8993 HAS SOPS 8993 HAS SOUS 7359 HAS SOUPS 7359 WITH SCORE 7367.993
AT ITER 1006 NEW BEST:: SOT 32388 SOS 8986 HAS SOPS 8986 HAS SOUS 7353 HAS SOUPS 7353 WITH SCORE 7361.986
AT ITER 1037 NEW BEST:: SOT 32386 SOS 8979 HAS SOPS 8979 HAS SOUS 7350 HAS SOUPS 7350 WITH SCORE 7358.979
AT ITER 1038 NEW BEST:: SOT 32376 SOS 8960 HAS SOPS 8960 HAS SOUS 7339 HAS SOUPS 7339 WITH SCORE 7347.96
AT ITER 1058 NEW BEST:: SOT 32374 SOS 8957 HAS SOPS 8957 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7345.957
AT ITER 1071 NEW BEST:: SOT 32372 SOS 8927 HAS SOPS 8927 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7336.927
AT ITER 1130 NEW BEST:: SOT 32371 SOS 8925 HAS SOPS 8925 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7334.925
AT ITER 1148 NEW BEST:: SOT 32372 SOS 8926 HAS SOPS 8926 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7333.926
AT ITER 1168 NEW BEST:: SOT 32364 SOS 8911 HAS SOPS 8911 HAS SOUS 7310 HAS SOUPS 7310 WITH SCORE 7318.911
AT ITER 1203 NEW BEST:: SOT 32356 SOS 8895 HAS SOPS 8895 HAS SOUS 7294 HAS SOUPS 7294 WITH SCORE 7302.895
AT ITER 1204 NEW BEST:: SOT 32356 SOS 8891 HAS SOPS 8891 HAS SOUS 7294 HAS SOUPS 7294 WITH SCORE 7302.891
AT ITER 1228 NEW BEST:: SOT 32346 SOS 8869 HAS SOPS 8869 HAS SOUS 7274 HAS SOUPS 7274 WITH SCORE 7282.869
AT ITER 1233 NEW BEST:: SOT 32337 SOS 8868 HAS SOPS 8868 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7228.868
AT ITER 1237 NEW BEST:: SOT 32333 SOS 8864 HAS SOPS 8864 HAS SOUS 7204 HAS SOUPS 7204 WITH SCORE 7212.864
AT ITER 1252 NEW BEST:: SOT 32320 SOS 8836 HAS SOPS 8836 HAS SOUS 7188 HAS SOUPS 7188 WITH SCORE 7196.836
AT ITER 1255 NEW BEST:: SOT 32317 SOS 8822 HAS SOPS 8822 HAS SOUS 7175 HAS SOUPS 7175 WITH SCORE 7183.822
AT ITER 1263 NEW BEST:: SOT 32311 SOS 8869 HAS SOPS 8869 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7177.869
AT ITER 1273 NEW BEST:: SOT 32307 SOS 8849 HAS SOPS 8849 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7165.849
AT ITER 1280 NEW BEST:: SOT 32293 SOS 8827 HAS SOPS 8827 HAS SOUS 7141 HAS SOUPS 7141 WITH SCORE 7149.827
AT ITER 1294 NEW BEST:: SOT 32290 SOS 8824 HAS SOPS 8824 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7143.824
AT ITER 1325 NEW BEST:: SOT 32293 SOS 8819 HAS SOPS 8819 HAS SOUS 7118 HAS SOUPS 7118 WITH SCORE 7126.819
AT ITER 1327 NEW BEST:: SOT 32290 SOS 8810 HAS SOPS 8810 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7117.81
AT ITER 1336 NEW BEST:: SOT 32339 SOS 8828 HAS SOPS 8828 HAS SOUS 7096 HAS SOUPS 7096 WITH SCORE 7104.828
AT ITER 1341 NEW BEST:: SOT 32339 SOS 8795 HAS SOPS 8795 HAS SOUS 7096 HAS SOUPS 7096 WITH SCORE 7104.795
AT ITER 1360 NEW BEST:: SOT 32326 SOS 8769 HAS SOPS 8769 HAS SOUS 7081 HAS SOUPS 7081 WITH SCORE 7089.769
AT ITER 1413 NEW BEST:: SOT 32322 SOS 8758 HAS SOPS 8758 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7073.758
AT ITER 1419 NEW BEST:: SOT 32322 SOS 8739 HAS SOPS 8739 HAS SOUS 7046 HAS SOUPS 7046 WITH SCORE 7054.739
AT ITER 1423 NEW BEST:: SOT 32301 SOS 8656 HAS SOPS 8656 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7024.656
AT ITER 1428 NEW BEST:: SOT 32293 SOS 8653 HAS SOPS 8653 HAS SOUS 7008 HAS SOUPS 7008 WITH SCORE 7016.653
AT ITER 1433 NEW BEST:: SOT 32291 SOS 8649 HAS SOPS 8649 HAS SOUS 7004 HAS SOUPS 7004 WITH SCORE 7012.649
AT ITER 1572 NEW BEST:: SOT 32281 SOS 8639 HAS SOPS 8639 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7002.639
AT ITER 1624 NEW BEST:: SOT 32281 SOS 8635 HAS SOPS 8635 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7002.635
AT ITER 1666 NEW BEST:: SOT 32280 SOS 8634 HAS SOPS 8634 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7001.634
AT ITER 1683 NEW BEST:: SOT 32226 SOS 8596 HAS SOPS 8596 HAS SOUS 6991 HAS SOUPS 6991 WITH SCORE 6999.596
AT ITER 1714 NEW BEST:: SOT 32228 SOS 8595 HAS SOPS 8595 HAS SOUS 6990 HAS SOUPS 6990 WITH SCORE 6998.595
AT ITER 1752 NEW BEST:: SOT 32220 SOS 8581 HAS SOPS 8581 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6990.581
AT ITER 1756 NEW BEST:: SOT 32213 SOS 8567 HAS SOPS 8567 HAS SOUS 6975 HAS SOUPS 6975 WITH SCORE 6983.567
AT ITER 1773 NEW BEST:: SOT 32213 SOS 8557 HAS SOPS 8557 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6973.557
AT ITER 1804 NEW BEST:: SOT 32213 SOS 8553 HAS SOPS 8553 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6973.553
AT ITER 1823 NEW BEST:: SOT 32210 SOS 8550 HAS SOPS 8550 HAS SOUS 6962 HAS SOUPS 6962 WITH SCORE 6970.55
AT ITER 1837 NEW BEST:: SOT 32208 SOS 8546 HAS SOPS 8546 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6966.546
AT ITER 1857 NEW BEST:: SOT 32173 SOS 8525 HAS SOPS 8525 HAS SOUS 6928 HAS SOUPS 6928 WITH SCORE 6936.525
AT ITER 1895 NEW BEST:: SOT 32175 SOS 8521 HAS SOPS 8521 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6932.521
AT ITER 1906 NEW BEST:: SOT 32171 SOS 8511 HAS SOPS 8511 HAS SOUS 6920 HAS SOUPS 6920 WITH SCORE 6928.511
AT ITER 1921 NEW BEST:: SOT 32169 SOS 8510 HAS SOPS 8510 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6927.51
AT ITER 1958 NEW BEST:: SOT 32168 SOS 8508 HAS SOPS 8508 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6924.508
AT ITER 1964 NEW BEST:: SOT 32162 SOS 8496 HAS SOPS 8496 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6912.496
AT ITER 2009 NEW BEST:: SOT 32162 SOS 8495 HAS SOPS 8495 HAS SOUS 6903 HAS SOUPS 6903 WITH SCORE 6911.495
AT ITER 2050 NEW BEST:: SOT 32172 SOS 8525 HAS SOPS 8525 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6909.525
AT ITER 2092 NEW BEST:: SOT 32169 SOS 8526 HAS SOPS 8526 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6908.526
AT ITER 2139 NEW BEST:: SOT 32165 SOS 8522 HAS SOPS 8522 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6904.522
AT ITER 2146 NEW BEST:: SOT 32161 SOS 8516 HAS SOPS 8516 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6899.516
AT ITER 2147 NEW BEST:: SOT 32156 SOS 8496 HAS SOPS 8496 HAS SOUS 6876 HAS SOUPS 6876 WITH SCORE 6884.496
AT ITER 2160 NEW BEST:: SOT 32156 SOS 8483 HAS SOPS 8483 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6871.483
AT ITER 2174 NEW BEST:: SOT 32137 SOS 8346 HAS SOPS 8346 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6841.346
AT ITER 2188 NEW BEST:: SOT 32129 SOS 8338 HAS SOPS 8338 HAS SOUS 6825 HAS SOUPS 6825 WITH SCORE 6833.338
AT ITER 2191 NEW BEST:: SOT 32129 SOS 8338 HAS SOPS 8338 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6830.338
AT ITER 2212 NEW BEST:: SOT 32065 SOS 8282 HAS SOPS 8282 HAS SOUS 6766 HAS SOUPS 6766 WITH SCORE 6774.282
AT ITER 2224 NEW BEST:: SOT 32062 SOS 8275 HAS SOPS 8275 HAS SOUS 6764 HAS SOUPS 6764 WITH SCORE 6772.275
AT ITER 2321 NEW BEST:: SOT 32060 SOS 8271 HAS SOPS 8271 HAS SOUS 6741 HAS SOUPS 6741 WITH SCORE 6749.271
AT ITER 2339 NEW BEST:: SOT 32030 SOS 8241 HAS SOPS 8241 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6719.241
AT ITER 2345 NEW BEST:: SOT 32013 SOS 8241 HAS SOPS 8241 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6706.241
AT ITER 2352 NEW BEST:: SOT 32010 SOS 8242 HAS SOPS 8242 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6702.242
AT ITER 2364 NEW BEST:: SOT 32005 SOS 8221 HAS SOPS 8221 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6698.221
AT ITER 2411 NEW BEST:: SOT 32003 SOS 8278 HAS SOPS 8278 HAS SOUS 6687 HAS SOUPS 6687 WITH SCORE 6695.278
AT ITER 2462 NEW BEST:: SOT 32002 SOS 8274 HAS SOPS 8274 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6692.274
AT ITER 2488 NEW BEST:: SOT 31990 SOS 8251 HAS SOPS 8251 HAS SOUS 6666 HAS SOUPS 6666 WITH SCORE 6674.251
AT ITER 2506 NEW BEST:: SOT 32000 SOS 8241 HAS SOPS 8241 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6662.241
AT ITER 2551 NEW BEST:: SOT 31998 SOS 8239 HAS SOPS 8239 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6662.239
AT ITER 2603 NEW BEST:: SOT 31998 SOS 8238 HAS SOPS 8238 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6661.238
AT ITER 2607 NEW BEST:: SOT 31997 SOS 8237 HAS SOPS 8237 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6660.237
AT ITER 2610 NEW BEST:: SOT 32010 SOS 8236 HAS SOPS 8236 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6653.236
AT ITER 2645 NEW BEST:: SOT 32010 SOS 8235 HAS SOPS 8235 HAS SOUS 6644 HAS SOUPS 6644 WITH SCORE 6652.235
AT ITER 2665 NEW BEST:: SOT 32011 SOS 8233 HAS SOPS 8233 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6650.233
AT ITER 2683 NEW BEST:: SOT 32010 SOS 8232 HAS SOPS 8232 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6649.232
AT ITER 2689 NEW BEST:: SOT 32006 SOS 8228 HAS SOPS 8228 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6645.228
AT ITER 2741 NEW BEST:: SOT 32055 SOS 8199 HAS SOPS 8199 HAS SOUS 6608 HAS SOUPS 6608 WITH SCORE 6616.199
AT ITER 2744 NEW BEST:: SOT 32058 SOS 8197 HAS SOPS 8197 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6611.197
AT ITER 2762 NEW BEST:: SOT 32026 SOS 8149 HAS SOPS 8149 HAS SOUS 6555 HAS SOUPS 6555 WITH SCORE 6563.149
AT ITER 2776 NEW BEST:: SOT 32026 SOS 8161 HAS SOPS 8161 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6561.161
AT ITER 2782 NEW BEST:: SOT 32023 SOS 8156 HAS SOPS 8156 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6558.156
AT ITER 2783 NEW BEST:: SOT 32023 SOS 8146 HAS SOPS 8146 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6558.146
AT ITER 2793 NEW BEST:: SOT 32023 SOS 8142 HAS SOPS 8142 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6558.142
AT ITER 2794 NEW BEST:: SOT 32023 SOS 8141 HAS SOPS 8141 HAS SOUS 6549 HAS SOUPS 6549 WITH SCORE 6557.141
AT ITER 2822 NEW BEST:: SOT 32022 SOS 8139 HAS SOPS 8139 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6556.139
AT ITER 2850 NEW BEST:: SOT 32020 SOS 8156 HAS SOPS 8156 HAS SOUS 6544 HAS SOUPS 6544 WITH SCORE 6552.156
AT ITER 2859 NEW BEST:: SOT 31994 SOS 8047 HAS SOPS 8047 HAS SOUS 6491 HAS SOUPS 6491 WITH SCORE 6499.047
AT ITER 2885 NEW BEST:: SOT 31994 SOS 8046 HAS SOPS 8046 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6498.046
AT ITER 2897 NEW BEST:: SOT 31977 SOS 8035 HAS SOPS 8035 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6487.035
AT ITER 2940 NEW BEST:: SOT 31964 SOS 7986 HAS SOPS 7986 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6466.986
AT ITER 2945 NEW BEST:: SOT 31964 SOS 7987 HAS SOPS 7987 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6465.987
AT ITER 2996 NEW BEST:: SOT 31955 SOS 7978 HAS SOPS 7978 HAS SOUS 6441 HAS SOUPS 6441 WITH SCORE 6448.978
AT ITER 3025 NEW BEST:: SOT 31954 SOS 8014 HAS SOPS 8014 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6448.014
AT ITER 3044 NEW BEST:: SOT 31954 SOS 8006 HAS SOPS 8006 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6440.006
AT ITER 3045 NEW BEST:: SOT 31950 SOS 8002 HAS SOPS 8002 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6436.002
AT ITER 3096 NEW BEST:: SOT 31964 SOS 8016 HAS SOPS 8016 HAS SOUS 6427 HAS SOUPS 6427 WITH SCORE 6435.016
AT ITER 3145 NEW BEST:: SOT 31962 SOS 8014 HAS SOPS 8014 HAS SOUS 6427 HAS SOUPS 6427 WITH SCORE 6435.014
AT ITER 3154 NEW BEST:: SOT 31959 SOS 8002 HAS SOPS 8002 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6423.002
AT ITER 3161 NEW BEST:: SOT 31955 SOS 7998 HAS SOPS 7998 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6422.998
AT ITER 3177 NEW BEST:: SOT 31955 SOS 7993 HAS SOPS 7993 HAS SOUS 6410 HAS SOUPS 6410 WITH SCORE 6417.993
AT ITER 3208 NEW BEST:: SOT 31956 SOS 7998 HAS SOPS 7998 HAS SOUS 6408 HAS SOUPS 6408 WITH SCORE 6415.998
AT ITER 3222 NEW BEST:: SOT 31950 SOS 7986 HAS SOPS 7986 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6403.986
AT ITER 3285 NEW BEST:: SOT 31945 SOS 7979 HAS SOPS 7979 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6403.979
AT ITER 3287 NEW BEST:: SOT 31948 SOS 7985 HAS SOPS 7985 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6401.985
AT ITER 3319 NEW BEST:: SOT 31940 SOS 7971 HAS SOPS 7971 HAS SOUS 6387 HAS SOUPS 6387 WITH SCORE 6394.971
AT ITER 3347 NEW BEST:: SOT 31927 SOS 7952 HAS SOPS 7952 HAS SOUS 6384 HAS SOUPS 6384 WITH SCORE 6391.952
AT ITER 3364 NEW BEST:: SOT 31903 SOS 7950 HAS SOPS 7950 HAS SOUS 6382 HAS SOUPS 6382 WITH SCORE 6389.95
AT ITER 3365 NEW BEST:: SOT 31897 SOS 7938 HAS SOPS 7938 HAS SOUS 6370 HAS SOUPS 6370 WITH SCORE 6377.938
AT ITER 3370 NEW BEST:: SOT 31897 SOS 7920 HAS SOPS 7920 HAS SOUS 6352 HAS SOUPS 6352 WITH SCORE 6359.92
AT ITER 3381 NEW BEST:: SOT 31897 SOS 7917 HAS SOPS 7917 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6356.917
AT ITER 3440 NEW BEST:: SOT 31888 SOS 7890 HAS SOPS 7890 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6356.89
AT ITER 3464 NEW BEST:: SOT 31879 SOS 7856 HAS SOPS 7856 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6331.856
AT ITER 3473 NEW BEST:: SOT 31879 SOS 7859 HAS SOPS 7859 HAS SOUS 6321 HAS SOUPS 6321 WITH SCORE 6328.859
AT ITER 3501 NEW BEST:: SOT 31879 SOS 7858 HAS SOPS 7858 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6327.858
AT ITER 3503 NEW BEST:: SOT 31857 SOS 7752 HAS SOPS 7752 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6321.752
AT ITER 3547 NEW BEST:: SOT 31857 SOS 7751 HAS SOPS 7751 HAS SOUS 6313 HAS SOUPS 6313 WITH SCORE 6320.751
AT ITER 3565 NEW BEST:: SOT 31851 SOS 7743 HAS SOPS 7743 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6312.743
AT ITER 3586 NEW BEST:: SOT 31840 SOS 7723 HAS SOPS 7723 HAS SOUS 6292 HAS SOUPS 6292 WITH SCORE 6299.723
AT ITER 3654 NEW BEST:: SOT 31832 SOS 7729 HAS SOPS 7729 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6294.729
AT ITER 3660 NEW BEST:: SOT 31832 SOS 7728 HAS SOPS 7728 HAS SOUS 6286 HAS SOUPS 6286 WITH SCORE 6293.728
AT ITER 3673 NEW BEST:: SOT 31823 SOS 7718 HAS SOPS 7718 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6283.718
AT ITER 3687 NEW BEST:: SOT 31816 SOS 7728 HAS SOPS 7728 HAS SOUS 6275 HAS SOUPS 6275 WITH SCORE 6282.728
AT ITER 3704 NEW BEST:: SOT 31811 SOS 7743 HAS SOPS 7743 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6279.743
AT ITER 3712 NEW BEST:: SOT 31797 SOS 7729 HAS SOPS 7729 HAS SOUS 6258 HAS SOUPS 6258 WITH SCORE 6265.729
AT ITER 3749 NEW BEST:: SOT 31790 SOS 7732 HAS SOPS 7732 HAS SOUS 6245 HAS SOUPS 6245 WITH SCORE 6252.732
AT ITER 3768 NEW BEST:: SOT 31790 SOS 7726 HAS SOPS 7726 HAS SOUS 6245 HAS SOUPS 6245 WITH SCORE 6252.726
AT ITER 3829 NEW BEST:: SOT 31805 SOS 7720 HAS SOPS 7720 HAS SOUS 6239 HAS SOUPS 6239 WITH SCORE 6246.72
AT ITER 3832 NEW BEST:: SOT 31805 SOS 7719 HAS SOPS 7719 HAS SOUS 6238 HAS SOUPS 6238 WITH SCORE 6245.719
AT ITER 3844 NEW BEST:: SOT 31788 SOS 7685 HAS SOPS 7685 HAS SOUS 6221 HAS SOUPS 6221 WITH SCORE 6228.685
AT ITER 3911 NEW BEST:: SOT 31788 SOS 7698 HAS SOPS 7698 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6227.698
AT ITER 3915 NEW BEST:: SOT 31801 SOS 7685 HAS SOPS 7685 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6227.685
AT ITER 3951 NEW BEST:: SOT 31798 SOS 7685 HAS SOPS 7685 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6226.685
AT ITER 3966 NEW BEST:: SOT 31798 SOS 7674 HAS SOPS 7674 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6226.674
AT ITER 3985 NEW BEST:: SOT 31774 SOS 7668 HAS SOPS 7668 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6209.668
AT ITER 3999 NEW BEST:: SOT 31762 SOS 7656 HAS SOPS 7656 HAS SOUS 6190 HAS SOUPS 6190 WITH SCORE 6197.656
AT ITER 4021 NEW BEST:: SOT 31775 SOS 7669 HAS SOPS 7669 HAS SOUS 6177 HAS SOUPS 6177 WITH SCORE 6184.669
AT ITER 4056 NEW BEST:: SOT 31775 SOS 7655 HAS SOPS 7655 HAS SOUS 6177 HAS SOUPS 6177 WITH SCORE 6184.655
AT ITER 4068 NEW BEST:: SOT 31775 SOS 7655 HAS SOPS 7655 HAS SOUS 6173 HAS SOUPS 6173 WITH SCORE 6180.655
AT ITER 4095 NEW BEST:: SOT 31775 SOS 7654 HAS SOPS 7654 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6179.654
AT ITER 4098 NEW BEST:: SOT 31774 SOS 7620 HAS SOPS 7620 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6176.62
AT ITER 4312 NEW BEST:: SOT 31763 SOS 7625 HAS SOPS 7625 HAS SOUS 6137 HAS SOUPS 6137 WITH SCORE 6144.625
AT ITER 4415 NEW BEST:: SOT 31760 SOS 7614 HAS SOPS 7614 HAS SOUS 6124 HAS SOUPS 6124 WITH SCORE 6131.614
AT ITER 4545 NEW BEST:: SOT 31748 SOS 7590 HAS SOPS 7590 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6119.59
AT ITER 4617 NEW BEST:: SOT 31736 SOS 7554 HAS SOPS 7554 HAS SOUS 6088 HAS SOUPS 6088 WITH SCORE 6095.554
AT ITER 4624 NEW BEST:: SOT 31734 SOS 7552 HAS SOPS 7552 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6093.552
AT ITER 4643 NEW BEST:: SOT 31722 SOS 7524 HAS SOPS 7524 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6087.524
AT ITER 4651 NEW BEST:: SOT 31722 SOS 7524 HAS SOPS 7524 HAS SOUS 6079 HAS SOUPS 6079 WITH SCORE 6086.524
AT ITER 4670 NEW BEST:: SOT 31724 SOS 7523 HAS SOPS 7523 HAS SOUS 6079 HAS SOUPS 6079 WITH SCORE 6086.523
AT ITER 4699 NEW BEST:: SOT 31715 SOS 7501 HAS SOPS 7501 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6071.501
AT ITER 4700 NEW BEST:: SOT 31713 SOS 7489 HAS SOPS 7489 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6069.489
AT ITER 4701 NEW BEST:: SOT 31710 SOS 7489 HAS SOPS 7489 HAS SOUS 6059 HAS SOUPS 6059 WITH SCORE 6066.489
AT ITER 4779 NEW BEST:: SOT 31710 SOS 7485 HAS SOPS 7485 HAS SOUS 6057 HAS SOUPS 6057 WITH SCORE 6064.485
AT ITER 4802 NEW BEST:: SOT 31710 SOS 7483 HAS SOPS 7483 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6062.483
AT ITER 4893 NEW BEST:: SOT 31710 SOS 7465 HAS SOPS 7465 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6062.465
AT ITER 5079 NEW BEST:: SOT 31698 SOS 7440 HAS SOPS 7440 HAS SOUS 6042 HAS SOUPS 6042 WITH SCORE 6049.44
AT ITER 5100 NEW BEST:: SOT 31706 SOS 7446 HAS SOPS 7446 HAS SOUS 6041 HAS SOUPS 6041 WITH SCORE 6048.446
AT ITER 5199 NEW BEST:: SOT 31741 SOS 7389 HAS SOPS 7389 HAS SOUS 6035 HAS SOUPS 6035 WITH SCORE 6042.389
AT ITER 5215 NEW BEST:: SOT 31741 SOS 7388 HAS SOPS 7388 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6041.388
AT ITER 5223 NEW BEST:: SOT 31746 SOS 7383 HAS SOPS 7383 HAS SOUS 6029 HAS SOUPS 6029 WITH SCORE 6036.383
AT ITER 5256 NEW BEST:: SOT 31743 SOS 7347 HAS SOPS 7347 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6030.347
AT ITER 5327 NEW BEST:: SOT 31741 SOS 7345 HAS SOPS 7345 HAS SOUS 6021 HAS SOUPS 6021 WITH SCORE 6028.345
AT ITER 5349 NEW BEST:: SOT 31739 SOS 7341 HAS SOPS 7341 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6024.341
AT ITER 5388 NEW BEST:: SOT 31701 SOS 7311 HAS SOPS 7311 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5994.311
AT ITER 5499 NEW BEST:: SOT 31700 SOS 7309 HAS SOPS 7309 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 5989.309
AT ITER 5513 NEW BEST:: SOT 31694 SOS 7303 HAS SOPS 7303 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 5983.303
AT ITER 5600 NEW BEST:: SOT 31667 SOS 7285 HAS SOPS 7285 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5965.285
AT ITER 5680 NEW BEST:: SOT 31665 SOS 7279 HAS SOPS 7279 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5961.279
AT ITER 5835 NEW BEST:: SOT 31665 SOS 7267 HAS SOPS 7267 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5961.267
AT ITER 5853 NEW BEST:: SOT 31622 SOS 7257 HAS SOPS 7257 HAS SOUS 5944 HAS SOUPS 5944 WITH SCORE 5951.257
AT ITER 5870 NEW BEST:: SOT 31584 SOS 7160 HAS SOPS 7160 HAS SOUS 5931 HAS SOUPS 5931 WITH SCORE 5938.16
AT ITER 5872 NEW BEST:: SOT 31571 SOS 7147 HAS SOPS 7147 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5925.147
AT ITER 5874 NEW BEST:: SOT 31570 SOS 7145 HAS SOPS 7145 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5924.145
AT ITER 5957 NEW BEST:: SOT 31537 SOS 7146 HAS SOPS 7146 HAS SOUS 5894 HAS SOUPS 5894 WITH SCORE 5901.146
AT ITER 6080 NEW BEST:: SOT 31520 SOS 7140 HAS SOPS 7140 HAS SOUS 5888 HAS SOUPS 5888 WITH SCORE 5895.14
AT ITER 6284 NEW BEST:: SOT 31515 SOS 7144 HAS SOPS 7144 HAS SOUS 5882 HAS SOUPS 5882 WITH SCORE 5889.144
AT ITER 6304 NEW BEST:: SOT 31515 SOS 7143 HAS SOPS 7143 HAS SOUS 5882 HAS SOUPS 5882 WITH SCORE 5889.143
AT ITER 6330 NEW BEST:: SOT 31515 SOS 7139 HAS SOPS 7139 HAS SOUS 5882 HAS SOUPS 5882 WITH SCORE 5889.139
AT ITER 6333 NEW BEST:: SOT 31496 SOS 7126 HAS SOPS 7126 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5876.126
AT ITER 6499 NEW BEST:: SOT 31493 SOS 7124 HAS SOPS 7124 HAS SOUS 5867 HAS SOUPS 5867 WITH SCORE 5874.124
AT ITER 6528 NEW BEST:: SOT 31491 SOS 7115 HAS SOPS 7115 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5865.115
AT ITER 6566 NEW BEST:: SOT 31489 SOS 7115 HAS SOPS 7115 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5863.115
AT ITER 6639 NEW BEST:: SOT 31489 SOS 7112 HAS SOPS 7112 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5863.112
AT ITER 6705 NEW BEST:: SOT 31489 SOS 7086 HAS SOPS 7086 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5863.086
AT ITER 6729 NEW BEST:: SOT 31489 SOS 7079 HAS SOPS 7079 HAS SOUS 5849 HAS SOUPS 5849 WITH SCORE 5856.079
AT ITER 6765 NEW BEST:: SOT 31481 SOS 7077 HAS SOPS 7077 HAS SOUS 5841 HAS SOUPS 5841 WITH SCORE 5848.077
AT ITER 6784 NEW BEST:: SOT 31471 SOS 7058 HAS SOPS 7058 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5841.058
AT ITER 6796 NEW BEST:: SOT 31465 SOS 7049 HAS SOPS 7049 HAS SOUS 5830 HAS SOUPS 5830 WITH SCORE 5837.049
AT ITER 6868 NEW BEST:: SOT 31464 SOS 7048 HAS SOPS 7048 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5836.048
AT ITER 6964 NEW BEST:: SOT 31461 SOS 7039 HAS SOPS 7039 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5827.039
AT ITER 7003 NEW BEST:: SOT 31460 SOS 7036 HAS SOPS 7036 HAS SOUS 5818 HAS SOUPS 5818 WITH SCORE 5825.036
AT ITER 7042 NEW BEST:: SOT 31444 SOS 7040 HAS SOPS 7040 HAS SOUS 5811 HAS SOUPS 5811 WITH SCORE 5818.04
AT ITER 7051 NEW BEST:: SOT 31448 SOS 7044 HAS SOPS 7044 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5815.044
AT ITER 7057 NEW BEST:: SOT 31448 SOS 7036 HAS SOPS 7036 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5811.036
AT ITER 7067 NEW BEST:: SOT 31458 SOS 7033 HAS SOPS 7033 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5808.033
AT ITER 7112 NEW BEST:: SOT 31456 SOS 7028 HAS SOPS 7028 HAS SOUS 5797 HAS SOUPS 5797 WITH SCORE 5804.028
AT ITER 7130 NEW BEST:: SOT 31456 SOS 7026 HAS SOPS 7026 HAS SOUS 5795 HAS SOUPS 5795 WITH SCORE 5802.026
AT ITER 7144 NEW BEST:: SOT 31463 SOS 7024 HAS SOPS 7024 HAS SOUS 5793 HAS SOUPS 5793 WITH SCORE 5800.024
AT ITER 7192 NEW BEST:: SOT 31460 SOS 7018 HAS SOPS 7018 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5794.018
AT ITER 7237 NEW BEST:: SOT 31466 SOS 7012 HAS SOPS 7012 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5794.012
AT ITER 7257 NEW BEST:: SOT 31466 SOS 7011 HAS SOPS 7011 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5794.011
AT ITER 7286 NEW BEST:: SOT 31447 SOS 6990 HAS SOPS 6990 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5792.99
AT ITER 7303 NEW BEST:: SOT 31447 SOS 6989 HAS SOPS 6989 HAS SOUS 5785 HAS SOUPS 5785 WITH SCORE 5791.989
AT ITER 7305 NEW BEST:: SOT 31452 SOS 6994 HAS SOPS 6994 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5783.994
AT ITER 7383 NEW BEST:: SOT 31448 SOS 6991 HAS SOPS 6991 HAS SOUS 5769 HAS SOUPS 5769 WITH SCORE 5775.991
AT ITER 7431 NEW BEST:: SOT 31450 SOS 6996 HAS SOPS 6996 HAS SOUS 5768 HAS SOUPS 5768 WITH SCORE 5774.996
AT ITER 7501 NEW BEST:: SOT 31449 SOS 6995 HAS SOPS 6995 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5770.995
AT ITER 7504 NEW BEST:: SOT 31452 SOS 6988 HAS SOPS 6988 HAS SOUS 5759 HAS SOUPS 5759 WITH SCORE 5765.988
AT ITER 7619 NEW BEST:: SOT 31454 SOS 6978 HAS SOPS 6978 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5761.978
AT ITER 7726 NEW BEST:: SOT 31460 SOS 6976 HAS SOPS 6976 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5759.976
AT ITER 7752 NEW BEST:: SOT 31464 SOS 6947 HAS SOPS 6947 HAS SOUS 5748 HAS SOUPS 5748 WITH SCORE 5754.947
AT ITER 7770 NEW BEST:: SOT 31464 SOS 6941 HAS SOPS 6941 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5748.941
AT ITER 7932 NEW BEST:: SOT 31464 SOS 6938 HAS SOPS 6938 HAS SOUS 5739 HAS SOUPS 5739 WITH SCORE 5745.938
AT ITER 7954 NEW BEST:: SOT 31464 SOS 6932 HAS SOPS 6932 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5739.932
AT ITER 8002 NEW BEST:: SOT 31464 SOS 6926 HAS SOPS 6926 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5739.926
AT ITER 8041 NEW BEST:: SOT 31460 SOS 6916 HAS SOPS 6916 HAS SOUS 5723 HAS SOUPS 5723 WITH SCORE 5729.916
AT ITER 8044 NEW BEST:: SOT 31460 SOS 6914 HAS SOPS 6914 HAS SOUS 5723 HAS SOUPS 5723 WITH SCORE 5729.914
AT ITER 8050 NEW BEST:: SOT 31458 SOS 6910 HAS SOPS 6910 HAS SOUS 5722 HAS SOUPS 5722 WITH SCORE 5728.91
AT ITER 8052 NEW BEST:: SOT 31455 SOS 6904 HAS SOPS 6904 HAS SOUS 5719 HAS SOUPS 5719 WITH SCORE 5725.904
AT ITER 8187 NEW BEST:: SOT 31459 SOS 6904 HAS SOPS 6904 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5722.904
AT ITER 8203 NEW BEST:: SOT 31463 SOS 6898 HAS SOPS 6898 HAS SOUS 5710 HAS SOUPS 5710 WITH SCORE 5716.898
AT ITER 8524 NEW BEST:: SOT 31460 SOS 6895 HAS SOPS 6895 HAS SOUS 5707 HAS SOUPS 5707 WITH SCORE 5713.895
AT ITER 8573 NEW BEST:: SOT 31461 SOS 6890 HAS SOPS 6890 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5711.89
AT ITER 8644 NEW BEST:: SOT 31465 SOS 6894 HAS SOPS 6894 HAS SOUS 5696 HAS SOUPS 5696 WITH SCORE 5702.894
AT ITER 8695 NEW BEST:: SOT 31465 SOS 6893 HAS SOPS 6893 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5699.893
AT ITER 8722 NEW BEST:: SOT 31465 SOS 6892 HAS SOPS 6892 HAS SOUS 5692 HAS SOUPS 5692 WITH SCORE 5698.892
AT ITER 8788 NEW BEST:: SOT 31468 SOS 6868 HAS SOPS 6868 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5687.868
AT ITER 8800 NEW BEST:: SOT 31465 SOS 6867 HAS SOPS 6867 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5686.867
AT ITER 8828 NEW BEST:: SOT 31465 SOS 6856 HAS SOPS 6856 HAS SOUS 5673 HAS SOUPS 5673 WITH SCORE 5679.856
AT ITER 8863 NEW BEST:: SOT 31464 SOS 6850 HAS SOPS 6850 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5678.85
AT ITER 8902 NEW BEST:: SOT 31460 SOS 6842 HAS SOPS 6842 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5673.842
AT ITER 8945 NEW BEST:: SOT 31460 SOS 6842 HAS SOPS 6842 HAS SOUS 5663 HAS SOUPS 5663 WITH SCORE 5669.842
AT ITER 8947 NEW BEST:: SOT 31444 SOS 6831 HAS SOPS 6831 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5646.831
AT ITER 9000 NEW BEST:: SOT 31427 SOS 6793 HAS SOPS 6793 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5622.793
AT ITER 9028 NEW BEST:: SOT 31424 SOS 6793 HAS SOPS 6793 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5618.793
AT ITER 9059 NEW BEST:: SOT 31423 SOS 6795 HAS SOPS 6795 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5614.795
AT ITER 9077 NEW BEST:: SOT 31423 SOS 6794 HAS SOPS 6794 HAS SOUS 5607 HAS SOUPS 5607 WITH SCORE 5613.794
AT ITER 9090 NEW BEST:: SOT 31421 SOS 6793 HAS SOPS 6793 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5612.793
AT ITER 9208 NEW BEST:: SOT 31421 SOS 6792 HAS SOPS 6792 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5611.792
AT ITER 9218 NEW BEST:: SOT 31418 SOS 6799 HAS SOPS 6799 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5608.799
AT ITER 9442 NEW BEST:: SOT 31417 SOS 6798 HAS SOPS 6798 HAS SOUS 5601 HAS SOUPS 5601 WITH SCORE 5607.798
AT ITER 9561 NEW BEST:: SOT 31413 SOS 6794 HAS SOPS 6794 HAS SOUS 5597 HAS SOUPS 5597 WITH SCORE 5603.794
AT ITER 9608 NEW BEST:: SOT 31413 SOS 6794 HAS SOPS 6794 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5601.794
AT ITER 9669 NEW BEST:: SOT 31404 SOS 6736 HAS SOPS 6736 HAS SOUS 5578 HAS SOUPS 5578 WITH SCORE 5584.736
AT ITER 9750 NEW BEST:: SOT 31400 SOS 6732 HAS SOPS 6732 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5580.732
AT ITER 9766 NEW BEST:: SOT 31397 SOS 6720 HAS SOPS 6720 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5574.72
AT ITER 9773 NEW BEST:: SOT 31395 SOS 6713 HAS SOPS 6713 HAS SOUS 5563 HAS SOUPS 5563 WITH SCORE 5569.713
AT ITER 9835 NEW BEST:: SOT 31372 SOS 6695 HAS SOPS 6695 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5561.695
AT ITER 9857 NEW BEST:: SOT 31371 SOS 6694 HAS SOPS 6694 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5560.694
AT ITER 9997 NEW BEST:: SOT 31371 SOS 6694 HAS SOPS 6694 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5554.694
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393236 kB
MemFree: 6111960 kB
After kill :
MemTotal: 16393236 kB
MemFree: 16123820 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

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="ShieldIIPs-PT-004B"
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 ShieldIIPs-PT-004B, 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 r395-oct2-167903718300064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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