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-167903718800432.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 ShieldPPPs-PT-005B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718800432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 5.7K Feb 26 01:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 01:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 01:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 01:54 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:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 01:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 01:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 01:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 01:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 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 86K 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 1679566658078

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=ShieldPPPs-PT-005B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 10:17:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 10:17:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 10:17:41] [INFO ] Load time of PNML (sax parser for PT used): 54 ms
[2023-03-23 10:17:41] [INFO ] Transformed 343 places.
[2023-03-23 10:17:41] [INFO ] Transformed 318 transitions.
[2023-03-23 10:17:41] [INFO ] Found NUPN structural information;
[2023-03-23 10:17:41] [INFO ] Parsed PT model containing 343 places and 318 transitions and 876 arcs in 183 ms.
[2023-03-23 10:17:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 343 places, 318 transitions and 876 arcs took 8 ms.
Total runtime 228 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 005B
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: 343 places, 318 transitions, 876 arcs.
AT ITER 0 NEW BEST:: SOT 60713 SOS 16292 HAS SOPS 16292 HAS SOUS 14662 HAS SOUPS 14662 WITH SCORE 14678.292
AT ITER 12 NEW BEST:: SOT 60694 SOS 16254 HAS SOPS 16254 HAS SOUS 14624 HAS SOUPS 14624 WITH SCORE 14640.254
AT ITER 22 NEW BEST:: SOT 60694 SOS 16241 HAS SOPS 16241 HAS SOUS 14598 HAS SOUPS 14598 WITH SCORE 14614.241
AT ITER 32 NEW BEST:: SOT 60695 SOS 16186 HAS SOPS 16186 HAS SOUS 14543 HAS SOUPS 14543 WITH SCORE 14559.186
AT ITER 34 NEW BEST:: SOT 60697 SOS 16199 HAS SOPS 16199 HAS SOUS 14542 HAS SOUPS 14542 WITH SCORE 14558.199
AT ITER 45 NEW BEST:: SOT 60718 SOS 16189 HAS SOPS 16189 HAS SOUS 14532 HAS SOUPS 14532 WITH SCORE 14548.189
AT ITER 71 NEW BEST:: SOT 60718 SOS 16088 HAS SOPS 16088 HAS SOUS 14515 HAS SOUPS 14515 WITH SCORE 14531.088
AT ITER 85 NEW BEST:: SOT 60668 SOS 16002 HAS SOPS 16002 HAS SOUS 14438 HAS SOUPS 14438 WITH SCORE 14454.002
AT ITER 113 NEW BEST:: SOT 60640 SOS 16005 HAS SOPS 16005 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14398.005
AT ITER 141 NEW BEST:: SOT 60642 SOS 15989 HAS SOPS 15989 HAS SOUS 14379 HAS SOUPS 14379 WITH SCORE 14394.989
AT ITER 152 NEW BEST:: SOT 60642 SOS 15929 HAS SOPS 15929 HAS SOUS 14379 HAS SOUPS 14379 WITH SCORE 14394.929
AT ITER 168 NEW BEST:: SOT 60621 SOS 15880 HAS SOPS 15880 HAS SOUS 14325 HAS SOUPS 14325 WITH SCORE 14340.88
AT ITER 169 NEW BEST:: SOT 60621 SOS 15882 HAS SOPS 15882 HAS SOUS 14320 HAS SOUPS 14320 WITH SCORE 14335.882
AT ITER 178 NEW BEST:: SOT 60596 SOS 15829 HAS SOPS 15829 HAS SOUS 14300 HAS SOUPS 14300 WITH SCORE 14315.829
AT ITER 180 NEW BEST:: SOT 60581 SOS 15799 HAS SOPS 15799 HAS SOUS 14285 HAS SOUPS 14285 WITH SCORE 14300.799
AT ITER 184 NEW BEST:: SOT 60575 SOS 15805 HAS SOPS 15805 HAS SOUS 14279 HAS SOUPS 14279 WITH SCORE 14294.805
AT ITER 192 NEW BEST:: SOT 60532 SOS 15791 HAS SOPS 15791 HAS SOUS 14251 HAS SOUPS 14251 WITH SCORE 14266.791
AT ITER 249 NEW BEST:: SOT 60526 SOS 15779 HAS SOPS 15779 HAS SOUS 14242 HAS SOUPS 14242 WITH SCORE 14257.779
AT ITER 265 NEW BEST:: SOT 60525 SOS 15777 HAS SOPS 15777 HAS SOUS 14241 HAS SOUPS 14241 WITH SCORE 14256.777
AT ITER 271 NEW BEST:: SOT 60477 SOS 15700 HAS SOPS 15700 HAS SOUS 14171 HAS SOUPS 14171 WITH SCORE 14186.7
AT ITER 290 NEW BEST:: SOT 60383 SOS 15619 HAS SOPS 15619 HAS SOUS 14077 HAS SOUPS 14077 WITH SCORE 14092.619
AT ITER 315 NEW BEST:: SOT 60362 SOS 15577 HAS SOPS 15577 HAS SOUS 14077 HAS SOUPS 14077 WITH SCORE 14092.577
AT ITER 325 NEW BEST:: SOT 60352 SOS 15540 HAS SOPS 15540 HAS SOUS 14029 HAS SOUPS 14029 WITH SCORE 14044.54
AT ITER 332 NEW BEST:: SOT 60375 SOS 15207 HAS SOPS 15207 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13950.207
AT ITER 333 NEW BEST:: SOT 60375 SOS 15197 HAS SOPS 15197 HAS SOUS 13925 HAS SOUPS 13925 WITH SCORE 13940.197
AT ITER 337 NEW BEST:: SOT 60375 SOS 15196 HAS SOPS 15196 HAS SOUS 13924 HAS SOUPS 13924 WITH SCORE 13939.196
AT ITER 385 NEW BEST:: SOT 60326 SOS 15194 HAS SOPS 15194 HAS SOUS 13907 HAS SOUPS 13907 WITH SCORE 13922.194
AT ITER 392 NEW BEST:: SOT 60318 SOS 15207 HAS SOPS 15207 HAS SOUS 13906 HAS SOUPS 13906 WITH SCORE 13921.207
AT ITER 412 NEW BEST:: SOT 60318 SOS 15225 HAS SOPS 15225 HAS SOUS 13898 HAS SOUPS 13898 WITH SCORE 13913.225
AT ITER 425 NEW BEST:: SOT 60318 SOS 15218 HAS SOPS 15218 HAS SOUS 13891 HAS SOUPS 13891 WITH SCORE 13906.218
AT ITER 448 NEW BEST:: SOT 60264 SOS 15214 HAS SOPS 15214 HAS SOUS 13837 HAS SOUPS 13837 WITH SCORE 13852.214
AT ITER 483 NEW BEST:: SOT 60259 SOS 15151 HAS SOPS 15151 HAS SOUS 13807 HAS SOUPS 13807 WITH SCORE 13822.151
AT ITER 508 NEW BEST:: SOT 60255 SOS 15147 HAS SOPS 15147 HAS SOUS 13802 HAS SOUPS 13802 WITH SCORE 13817.147
AT ITER 522 NEW BEST:: SOT 60230 SOS 15011 HAS SOPS 15011 HAS SOUS 13697 HAS SOUPS 13697 WITH SCORE 13712.011
AT ITER 525 NEW BEST:: SOT 60230 SOS 15004 HAS SOPS 15004 HAS SOUS 13696 HAS SOUPS 13696 WITH SCORE 13711.004
AT ITER 543 NEW BEST:: SOT 60223 SOS 14786 HAS SOPS 14786 HAS SOUS 13675 HAS SOUPS 13675 WITH SCORE 13689.786
AT ITER 547 NEW BEST:: SOT 60219 SOS 14792 HAS SOPS 14792 HAS SOUS 13645 HAS SOUPS 13645 WITH SCORE 13659.792
AT ITER 584 NEW BEST:: SOT 60243 SOS 14689 HAS SOPS 14689 HAS SOUS 13638 HAS SOUPS 13638 WITH SCORE 13652.689
AT ITER 590 NEW BEST:: SOT 60214 SOS 14724 HAS SOPS 14724 HAS SOUS 13541 HAS SOUPS 13541 WITH SCORE 13555.724
AT ITER 591 NEW BEST:: SOT 60200 SOS 14716 HAS SOPS 14716 HAS SOUS 13533 HAS SOUPS 13533 WITH SCORE 13547.716
AT ITER 597 NEW BEST:: SOT 60116 SOS 14746 HAS SOPS 14746 HAS SOUS 13465 HAS SOUPS 13465 WITH SCORE 13479.746
AT ITER 630 NEW BEST:: SOT 60115 SOS 14744 HAS SOPS 14744 HAS SOUS 13463 HAS SOUPS 13463 WITH SCORE 13477.744
AT ITER 647 NEW BEST:: SOT 60067 SOS 14736 HAS SOPS 14736 HAS SOUS 13371 HAS SOUPS 13371 WITH SCORE 13385.736
AT ITER 662 NEW BEST:: SOT 60071 SOS 14728 HAS SOPS 14728 HAS SOUS 13369 HAS SOUPS 13369 WITH SCORE 13383.728
AT ITER 672 NEW BEST:: SOT 60039 SOS 14664 HAS SOPS 14664 HAS SOUS 13323 HAS SOUPS 13323 WITH SCORE 13337.664
AT ITER 697 NEW BEST:: SOT 60039 SOS 14662 HAS SOPS 14662 HAS SOUS 13316 HAS SOUPS 13316 WITH SCORE 13330.662
AT ITER 698 NEW BEST:: SOT 60028 SOS 14467 HAS SOPS 14467 HAS SOUS 13261 HAS SOUPS 13261 WITH SCORE 13275.467
AT ITER 699 NEW BEST:: SOT 60020 SOS 14451 HAS SOPS 14451 HAS SOUS 13253 HAS SOUPS 13253 WITH SCORE 13267.451
AT ITER 705 NEW BEST:: SOT 60037 SOS 14474 HAS SOPS 14474 HAS SOUS 13231 HAS SOUPS 13231 WITH SCORE 13245.474
AT ITER 757 NEW BEST:: SOT 60037 SOS 14470 HAS SOPS 14470 HAS SOUS 13227 HAS SOUPS 13227 WITH SCORE 13241.47
AT ITER 766 NEW BEST:: SOT 60037 SOS 14466 HAS SOPS 14466 HAS SOUS 13221 HAS SOUPS 13221 WITH SCORE 13235.466
AT ITER 776 NEW BEST:: SOT 60026 SOS 14422 HAS SOPS 14422 HAS SOUS 13212 HAS SOUPS 13212 WITH SCORE 13226.422
AT ITER 792 NEW BEST:: SOT 60034 SOS 14421 HAS SOPS 14421 HAS SOUS 13211 HAS SOUPS 13211 WITH SCORE 13225.421
AT ITER 830 NEW BEST:: SOT 60032 SOS 14411 HAS SOPS 14411 HAS SOUS 13207 HAS SOUPS 13207 WITH SCORE 13221.411
AT ITER 833 NEW BEST:: SOT 60028 SOS 14373 HAS SOPS 14373 HAS SOUS 13183 HAS SOUPS 13183 WITH SCORE 13197.373
AT ITER 847 NEW BEST:: SOT 60021 SOS 14381 HAS SOPS 14381 HAS SOUS 13154 HAS SOUPS 13154 WITH SCORE 13168.381
AT ITER 849 NEW BEST:: SOT 60018 SOS 14374 HAS SOPS 14374 HAS SOUS 13146 HAS SOUPS 13146 WITH SCORE 13160.374
AT ITER 858 NEW BEST:: SOT 59947 SOS 14335 HAS SOPS 14335 HAS SOUS 13075 HAS SOUPS 13075 WITH SCORE 13089.335
AT ITER 892 NEW BEST:: SOT 59963 SOS 14338 HAS SOPS 14338 HAS SOUS 13061 HAS SOUPS 13061 WITH SCORE 13075.338
AT ITER 955 NEW BEST:: SOT 59946 SOS 14250 HAS SOPS 14250 HAS SOUS 13053 HAS SOUPS 13053 WITH SCORE 13067.25
AT ITER 964 NEW BEST:: SOT 59946 SOS 14239 HAS SOPS 14239 HAS SOUS 13031 HAS SOUPS 13031 WITH SCORE 13045.239
AT ITER 969 NEW BEST:: SOT 59952 SOS 14249 HAS SOPS 14249 HAS SOUS 13021 HAS SOUPS 13021 WITH SCORE 13035.249
AT ITER 991 NEW BEST:: SOT 59958 SOS 14249 HAS SOPS 14249 HAS SOUS 13015 HAS SOUPS 13015 WITH SCORE 13029.249
AT ITER 994 NEW BEST:: SOT 59997 SOS 14247 HAS SOPS 14247 HAS SOUS 13013 HAS SOUPS 13013 WITH SCORE 13027.247
AT ITER 1005 NEW BEST:: SOT 59986 SOS 14245 HAS SOPS 14245 HAS SOUS 13011 HAS SOUPS 13011 WITH SCORE 13025.245
AT ITER 1006 NEW BEST:: SOT 59929 SOS 14131 HAS SOPS 14131 HAS SOUS 12918 HAS SOUPS 12918 WITH SCORE 12932.131
AT ITER 1019 NEW BEST:: SOT 59912 SOS 14131 HAS SOPS 14131 HAS SOUS 12901 HAS SOUPS 12901 WITH SCORE 12915.131
AT ITER 1031 NEW BEST:: SOT 59880 SOS 14104 HAS SOPS 14104 HAS SOUS 12874 HAS SOUPS 12874 WITH SCORE 12888.104
AT ITER 1091 NEW BEST:: SOT 59906 SOS 14076 HAS SOPS 14076 HAS SOUS 12873 HAS SOUPS 12873 WITH SCORE 12887.076
AT ITER 1098 NEW BEST:: SOT 59906 SOS 14076 HAS SOPS 14076 HAS SOUS 12864 HAS SOUPS 12864 WITH SCORE 12878.076
AT ITER 1100 NEW BEST:: SOT 59872 SOS 14072 HAS SOPS 14072 HAS SOUS 12860 HAS SOUPS 12860 WITH SCORE 12874.072
AT ITER 1107 NEW BEST:: SOT 59862 SOS 14041 HAS SOPS 14041 HAS SOUS 12860 HAS SOUPS 12860 WITH SCORE 12874.041
AT ITER 1142 NEW BEST:: SOT 59855 SOS 14025 HAS SOPS 14025 HAS SOUS 12845 HAS SOUPS 12845 WITH SCORE 12859.025
AT ITER 1190 NEW BEST:: SOT 59850 SOS 14013 HAS SOPS 14013 HAS SOUS 12796 HAS SOUPS 12796 WITH SCORE 12810.013
AT ITER 1205 NEW BEST:: SOT 59829 SOS 13950 HAS SOPS 13950 HAS SOUS 12733 HAS SOUPS 12733 WITH SCORE 12746.95
AT ITER 1249 NEW BEST:: SOT 59793 SOS 13905 HAS SOPS 13905 HAS SOUS 12688 HAS SOUPS 12688 WITH SCORE 12701.905
AT ITER 1257 NEW BEST:: SOT 59782 SOS 13904 HAS SOPS 13904 HAS SOUS 12676 HAS SOUPS 12676 WITH SCORE 12689.904
AT ITER 1259 NEW BEST:: SOT 59782 SOS 13902 HAS SOPS 13902 HAS SOUS 12674 HAS SOUPS 12674 WITH SCORE 12687.902
AT ITER 1289 NEW BEST:: SOT 59757 SOS 13742 HAS SOPS 13742 HAS SOUS 12593 HAS SOUPS 12593 WITH SCORE 12606.742
AT ITER 1306 NEW BEST:: SOT 59725 SOS 13728 HAS SOPS 13728 HAS SOUS 12579 HAS SOUPS 12579 WITH SCORE 12592.728
AT ITER 1310 NEW BEST:: SOT 59725 SOS 13680 HAS SOPS 13680 HAS SOUS 12579 HAS SOUPS 12579 WITH SCORE 12592.68
AT ITER 1324 NEW BEST:: SOT 59725 SOS 13679 HAS SOPS 13679 HAS SOUS 12578 HAS SOUPS 12578 WITH SCORE 12591.679
AT ITER 1373 NEW BEST:: SOT 59748 SOS 13689 HAS SOPS 13689 HAS SOUS 12565 HAS SOUPS 12565 WITH SCORE 12578.689
AT ITER 1381 NEW BEST:: SOT 59742 SOS 13674 HAS SOPS 13674 HAS SOUS 12563 HAS SOUPS 12563 WITH SCORE 12576.674
AT ITER 1387 NEW BEST:: SOT 59717 SOS 13584 HAS SOPS 13584 HAS SOUS 12538 HAS SOUPS 12538 WITH SCORE 12551.584
AT ITER 1401 NEW BEST:: SOT 59721 SOS 13633 HAS SOPS 13633 HAS SOUS 12536 HAS SOUPS 12536 WITH SCORE 12549.633
AT ITER 1440 NEW BEST:: SOT 59721 SOS 13632 HAS SOPS 13632 HAS SOUS 12535 HAS SOUPS 12535 WITH SCORE 12548.632
AT ITER 1498 NEW BEST:: SOT 59715 SOS 13614 HAS SOPS 13614 HAS SOUS 12528 HAS SOUPS 12528 WITH SCORE 12541.614
AT ITER 1512 NEW BEST:: SOT 59696 SOS 13595 HAS SOPS 13595 HAS SOUS 12509 HAS SOUPS 12509 WITH SCORE 12522.595
AT ITER 1531 NEW BEST:: SOT 59681 SOS 13540 HAS SOPS 13540 HAS SOUS 12455 HAS SOUPS 12455 WITH SCORE 12468.54
AT ITER 1541 NEW BEST:: SOT 59678 SOS 13537 HAS SOPS 13537 HAS SOUS 12452 HAS SOUPS 12452 WITH SCORE 12465.537
AT ITER 1550 NEW BEST:: SOT 59702 SOS 13527 HAS SOPS 13527 HAS SOUS 12442 HAS SOUPS 12442 WITH SCORE 12455.527
AT ITER 1608 NEW BEST:: SOT 59689 SOS 13519 HAS SOPS 13519 HAS SOUS 12429 HAS SOUPS 12429 WITH SCORE 12442.519
AT ITER 1612 NEW BEST:: SOT 59689 SOS 13493 HAS SOPS 13493 HAS SOUS 12403 HAS SOUPS 12403 WITH SCORE 12416.493
AT ITER 1644 NEW BEST:: SOT 59688 SOS 13487 HAS SOPS 13487 HAS SOUS 12391 HAS SOUPS 12391 WITH SCORE 12404.487
AT ITER 1652 NEW BEST:: SOT 59688 SOS 13476 HAS SOPS 13476 HAS SOUS 12380 HAS SOUPS 12380 WITH SCORE 12393.476
AT ITER 1669 NEW BEST:: SOT 59702 SOS 13397 HAS SOPS 13397 HAS SOUS 12363 HAS SOUPS 12363 WITH SCORE 12376.397
AT ITER 1732 NEW BEST:: SOT 59679 SOS 13256 HAS SOPS 13256 HAS SOUS 12315 HAS SOUPS 12315 WITH SCORE 12328.256
AT ITER 1781 NEW BEST:: SOT 59691 SOS 13250 HAS SOPS 13250 HAS SOUS 12315 HAS SOUPS 12315 WITH SCORE 12328.25
AT ITER 1799 NEW BEST:: SOT 59691 SOS 13241 HAS SOPS 13241 HAS SOUS 12306 HAS SOUPS 12306 WITH SCORE 12319.241
AT ITER 1814 NEW BEST:: SOT 59710 SOS 13198 HAS SOPS 13198 HAS SOUS 12306 HAS SOUPS 12306 WITH SCORE 12319.198
AT ITER 1816 NEW BEST:: SOT 59691 SOS 13169 HAS SOPS 13169 HAS SOUS 12290 HAS SOUPS 12290 WITH SCORE 12303.169
AT ITER 1829 NEW BEST:: SOT 59691 SOS 13241 HAS SOPS 13241 HAS SOUS 12286 HAS SOUPS 12286 WITH SCORE 12299.241
AT ITER 1836 NEW BEST:: SOT 59691 SOS 13233 HAS SOPS 13233 HAS SOUS 12278 HAS SOUPS 12278 WITH SCORE 12291.233
AT ITER 1854 NEW BEST:: SOT 59643 SOS 13202 HAS SOPS 13202 HAS SOUS 12263 HAS SOUPS 12263 WITH SCORE 12276.202
AT ITER 1860 NEW BEST:: SOT 59644 SOS 13184 HAS SOPS 13184 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12268.184
AT ITER 1861 NEW BEST:: SOT 59623 SOS 13164 HAS SOPS 13164 HAS SOUS 12235 HAS SOUPS 12235 WITH SCORE 12248.164
AT ITER 1895 NEW BEST:: SOT 59623 SOS 13149 HAS SOPS 13149 HAS SOUS 12235 HAS SOUPS 12235 WITH SCORE 12248.149
AT ITER 1926 NEW BEST:: SOT 59580 SOS 13123 HAS SOPS 13123 HAS SOUS 12228 HAS SOUPS 12228 WITH SCORE 12241.123
AT ITER 1927 NEW BEST:: SOT 59580 SOS 13123 HAS SOPS 13123 HAS SOUS 12212 HAS SOUPS 12212 WITH SCORE 12225.123
AT ITER 1935 NEW BEST:: SOT 59567 SOS 13166 HAS SOPS 13166 HAS SOUS 12191 HAS SOUPS 12191 WITH SCORE 12204.166
AT ITER 1938 NEW BEST:: SOT 59570 SOS 13153 HAS SOPS 13153 HAS SOUS 12187 HAS SOUPS 12187 WITH SCORE 12200.153
AT ITER 1968 NEW BEST:: SOT 59565 SOS 13148 HAS SOPS 13148 HAS SOUS 12182 HAS SOUPS 12182 WITH SCORE 12195.148
AT ITER 1978 NEW BEST:: SOT 59565 SOS 13145 HAS SOPS 13145 HAS SOUS 12176 HAS SOUPS 12176 WITH SCORE 12189.145
AT ITER 1987 NEW BEST:: SOT 59566 SOS 13130 HAS SOPS 13130 HAS SOUS 12161 HAS SOUPS 12161 WITH SCORE 12174.13
AT ITER 1992 NEW BEST:: SOT 59567 SOS 13125 HAS SOPS 13125 HAS SOUS 12156 HAS SOUPS 12156 WITH SCORE 12169.125
AT ITER 1996 NEW BEST:: SOT 59567 SOS 13112 HAS SOPS 13112 HAS SOUS 12143 HAS SOUPS 12143 WITH SCORE 12156.112
AT ITER 2011 NEW BEST:: SOT 59558 SOS 13115 HAS SOPS 13115 HAS SOUS 12134 HAS SOUPS 12134 WITH SCORE 12147.115
AT ITER 2069 NEW BEST:: SOT 59548 SOS 13102 HAS SOPS 13102 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12134.102
AT ITER 2090 NEW BEST:: SOT 59537 SOS 13067 HAS SOPS 13067 HAS SOUS 12110 HAS SOUPS 12110 WITH SCORE 12123.067
AT ITER 2091 NEW BEST:: SOT 59537 SOS 13077 HAS SOPS 13077 HAS SOUS 12100 HAS SOUPS 12100 WITH SCORE 12113.077
AT ITER 2103 NEW BEST:: SOT 59536 SOS 13068 HAS SOPS 13068 HAS SOUS 12084 HAS SOUPS 12084 WITH SCORE 12097.068
AT ITER 2115 NEW BEST:: SOT 59527 SOS 13050 HAS SOPS 13050 HAS SOUS 12066 HAS SOUPS 12066 WITH SCORE 12079.05
AT ITER 2148 NEW BEST:: SOT 59510 SOS 13036 HAS SOPS 13036 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12065.036
AT ITER 2218 NEW BEST:: SOT 59510 SOS 13029 HAS SOPS 13029 HAS SOUS 12045 HAS SOUPS 12045 WITH SCORE 12058.029
AT ITER 2222 NEW BEST:: SOT 59509 SOS 13026 HAS SOPS 13026 HAS SOUS 12043 HAS SOUPS 12043 WITH SCORE 12056.026
AT ITER 2226 NEW BEST:: SOT 59509 SOS 13033 HAS SOPS 13033 HAS SOUS 12036 HAS SOUPS 12036 WITH SCORE 12049.033
AT ITER 2236 NEW BEST:: SOT 59491 SOS 12956 HAS SOPS 12956 HAS SOUS 11974 HAS SOUPS 11974 WITH SCORE 11986.956
AT ITER 2252 NEW BEST:: SOT 59478 SOS 12943 HAS SOPS 12943 HAS SOUS 11974 HAS SOUPS 11974 WITH SCORE 11986.943
AT ITER 2280 NEW BEST:: SOT 59446 SOS 12934 HAS SOPS 12934 HAS SOUS 11965 HAS SOUPS 11965 WITH SCORE 11977.934
AT ITER 2296 NEW BEST:: SOT 59449 SOS 12943 HAS SOPS 12943 HAS SOUS 11945 HAS SOUPS 11945 WITH SCORE 11957.943
AT ITER 2313 NEW BEST:: SOT 59443 SOS 12929 HAS SOPS 12929 HAS SOUS 11931 HAS SOUPS 11931 WITH SCORE 11943.929
AT ITER 2316 NEW BEST:: SOT 59439 SOS 12923 HAS SOPS 12923 HAS SOUS 11922 HAS SOUPS 11922 WITH SCORE 11934.923
AT ITER 2326 NEW BEST:: SOT 59439 SOS 12924 HAS SOPS 12924 HAS SOUS 11921 HAS SOUPS 11921 WITH SCORE 11933.924
AT ITER 2395 NEW BEST:: SOT 59432 SOS 12896 HAS SOPS 12896 HAS SOUS 11893 HAS SOUPS 11893 WITH SCORE 11905.896
AT ITER 2439 NEW BEST:: SOT 59433 SOS 12896 HAS SOPS 12896 HAS SOUS 11892 HAS SOUPS 11892 WITH SCORE 11904.896
AT ITER 2457 NEW BEST:: SOT 59411 SOS 12877 HAS SOPS 12877 HAS SOUS 11879 HAS SOUPS 11879 WITH SCORE 11891.877
AT ITER 2469 NEW BEST:: SOT 59414 SOS 12896 HAS SOPS 12896 HAS SOUS 11878 HAS SOUPS 11878 WITH SCORE 11890.896
AT ITER 2473 NEW BEST:: SOT 59411 SOS 12893 HAS SOPS 12893 HAS SOUS 11875 HAS SOUPS 11875 WITH SCORE 11887.893
AT ITER 2480 NEW BEST:: SOT 59404 SOS 12886 HAS SOPS 12886 HAS SOUS 11868 HAS SOUPS 11868 WITH SCORE 11880.886
AT ITER 2517 NEW BEST:: SOT 59404 SOS 12893 HAS SOPS 12893 HAS SOUS 11851 HAS SOUPS 11851 WITH SCORE 11863.893
AT ITER 2523 NEW BEST:: SOT 59403 SOS 12889 HAS SOPS 12889 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11859.889
AT ITER 2546 NEW BEST:: SOT 59403 SOS 12889 HAS SOPS 12889 HAS SOUS 11835 HAS SOUPS 11835 WITH SCORE 11847.889
AT ITER 2664 NEW BEST:: SOT 59402 SOS 12890 HAS SOPS 12890 HAS SOUS 11833 HAS SOUPS 11833 WITH SCORE 11845.89
AT ITER 2676 NEW BEST:: SOT 59398 SOS 12874 HAS SOPS 12874 HAS SOUS 11818 HAS SOUPS 11818 WITH SCORE 11830.874
AT ITER 2746 NEW BEST:: SOT 59409 SOS 12860 HAS SOPS 12860 HAS SOUS 11798 HAS SOUPS 11798 WITH SCORE 11810.86
AT ITER 2749 NEW BEST:: SOT 59429 SOS 12880 HAS SOPS 12880 HAS SOUS 11791 HAS SOUPS 11791 WITH SCORE 11803.88
AT ITER 2761 NEW BEST:: SOT 59389 SOS 12818 HAS SOPS 12818 HAS SOUS 11751 HAS SOUPS 11751 WITH SCORE 11763.818
AT ITER 2763 NEW BEST:: SOT 59391 SOS 12811 HAS SOPS 12811 HAS SOUS 11744 HAS SOUPS 11744 WITH SCORE 11756.811
AT ITER 2775 NEW BEST:: SOT 59371 SOS 12791 HAS SOPS 12791 HAS SOUS 11724 HAS SOUPS 11724 WITH SCORE 11736.791
AT ITER 2786 NEW BEST:: SOT 59390 SOS 12734 HAS SOPS 12734 HAS SOUS 11724 HAS SOUPS 11724 WITH SCORE 11736.734
AT ITER 2789 NEW BEST:: SOT 59371 SOS 12751 HAS SOPS 12751 HAS SOUS 11723 HAS SOUPS 11723 WITH SCORE 11735.751
AT ITER 2888 NEW BEST:: SOT 59370 SOS 12748 HAS SOPS 12748 HAS SOUS 11720 HAS SOUPS 11720 WITH SCORE 11732.748
AT ITER 2894 NEW BEST:: SOT 59384 SOS 12740 HAS SOPS 12740 HAS SOUS 11712 HAS SOUPS 11712 WITH SCORE 11724.74
AT ITER 2925 NEW BEST:: SOT 59382 SOS 12738 HAS SOPS 12738 HAS SOUS 11710 HAS SOUPS 11710 WITH SCORE 11722.738
AT ITER 2944 NEW BEST:: SOT 59371 SOS 12705 HAS SOPS 12705 HAS SOUS 11699 HAS SOUPS 11699 WITH SCORE 11711.705
AT ITER 3033 NEW BEST:: SOT 59374 SOS 12705 HAS SOPS 12705 HAS SOUS 11696 HAS SOUPS 11696 WITH SCORE 11708.705
AT ITER 3049 NEW BEST:: SOT 59367 SOS 12711 HAS SOPS 12711 HAS SOUS 11689 HAS SOUPS 11689 WITH SCORE 11701.711
AT ITER 3075 NEW BEST:: SOT 59337 SOS 12707 HAS SOPS 12707 HAS SOUS 11685 HAS SOUPS 11685 WITH SCORE 11697.707
AT ITER 3083 NEW BEST:: SOT 59326 SOS 12696 HAS SOPS 12696 HAS SOUS 11674 HAS SOUPS 11674 WITH SCORE 11686.696
AT ITER 3084 NEW BEST:: SOT 59324 SOS 12693 HAS SOPS 12693 HAS SOUS 11671 HAS SOUPS 11671 WITH SCORE 11683.693
AT ITER 3159 NEW BEST:: SOT 59324 SOS 12691 HAS SOPS 12691 HAS SOUS 11670 HAS SOUPS 11670 WITH SCORE 11682.691
AT ITER 3256 NEW BEST:: SOT 59320 SOS 12679 HAS SOPS 12679 HAS SOUS 11658 HAS SOUPS 11658 WITH SCORE 11670.679
AT ITER 3260 NEW BEST:: SOT 59319 SOS 12679 HAS SOPS 12679 HAS SOUS 11656 HAS SOUPS 11656 WITH SCORE 11668.679
AT ITER 3309 NEW BEST:: SOT 59301 SOS 12641 HAS SOPS 12641 HAS SOUS 11610 HAS SOUPS 11610 WITH SCORE 11622.641
AT ITER 3351 NEW BEST:: SOT 59295 SOS 12638 HAS SOPS 12638 HAS SOUS 11607 HAS SOUPS 11607 WITH SCORE 11619.638
AT ITER 3431 NEW BEST:: SOT 59279 SOS 12606 HAS SOPS 12606 HAS SOUS 11591 HAS SOUPS 11591 WITH SCORE 11603.606
AT ITER 3475 NEW BEST:: SOT 59283 SOS 12619 HAS SOPS 12619 HAS SOUS 11589 HAS SOUPS 11589 WITH SCORE 11601.619
AT ITER 3528 NEW BEST:: SOT 59268 SOS 12618 HAS SOPS 12618 HAS SOUS 11588 HAS SOUPS 11588 WITH SCORE 11600.618
AT ITER 3579 NEW BEST:: SOT 59264 SOS 12614 HAS SOPS 12614 HAS SOUS 11584 HAS SOUPS 11584 WITH SCORE 11596.614
AT ITER 3609 NEW BEST:: SOT 59263 SOS 12609 HAS SOPS 12609 HAS SOUS 11579 HAS SOUPS 11579 WITH SCORE 11591.609
AT ITER 3611 NEW BEST:: SOT 59263 SOS 12603 HAS SOPS 12603 HAS SOUS 11573 HAS SOUPS 11573 WITH SCORE 11585.603
AT ITER 3644 NEW BEST:: SOT 59263 SOS 12606 HAS SOPS 12606 HAS SOUS 11556 HAS SOUPS 11556 WITH SCORE 11568.606
AT ITER 3663 NEW BEST:: SOT 59260 SOS 12597 HAS SOPS 12597 HAS SOUS 11552 HAS SOUPS 11552 WITH SCORE 11564.597
AT ITER 3691 NEW BEST:: SOT 59253 SOS 12590 HAS SOPS 12590 HAS SOUS 11545 HAS SOUPS 11545 WITH SCORE 11557.59
AT ITER 3792 NEW BEST:: SOT 59253 SOS 12563 HAS SOPS 12563 HAS SOUS 11536 HAS SOUPS 11536 WITH SCORE 11548.563
AT ITER 3813 NEW BEST:: SOT 59250 SOS 12564 HAS SOPS 12564 HAS SOUS 11532 HAS SOUPS 11532 WITH SCORE 11544.564
AT ITER 3819 NEW BEST:: SOT 59260 SOS 12547 HAS SOPS 12547 HAS SOUS 11515 HAS SOUPS 11515 WITH SCORE 11527.547
AT ITER 3823 NEW BEST:: SOT 59236 SOS 12553 HAS SOPS 12553 HAS SOUS 11511 HAS SOUPS 11511 WITH SCORE 11523.553
AT ITER 3983 NEW BEST:: SOT 59242 SOS 12578 HAS SOPS 12578 HAS SOUS 11509 HAS SOUPS 11509 WITH SCORE 11521.578
AT ITER 4081 NEW BEST:: SOT 59220 SOS 12581 HAS SOPS 12581 HAS SOUS 11504 HAS SOUPS 11504 WITH SCORE 11516.581
AT ITER 4088 NEW BEST:: SOT 59218 SOS 12589 HAS SOPS 12589 HAS SOUS 11502 HAS SOUPS 11502 WITH SCORE 11514.589
AT ITER 4121 NEW BEST:: SOT 59217 SOS 12587 HAS SOPS 12587 HAS SOUS 11500 HAS SOUPS 11500 WITH SCORE 11512.587
AT ITER 4160 NEW BEST:: SOT 59226 SOS 12597 HAS SOPS 12597 HAS SOUS 11492 HAS SOUPS 11492 WITH SCORE 11504.597
AT ITER 4163 NEW BEST:: SOT 59226 SOS 12570 HAS SOPS 12570 HAS SOUS 11492 HAS SOUPS 11492 WITH SCORE 11504.57
AT ITER 4242 NEW BEST:: SOT 59241 SOS 12556 HAS SOPS 12556 HAS SOUS 11489 HAS SOUPS 11489 WITH SCORE 11501.556
AT ITER 4270 NEW BEST:: SOT 59225 SOS 12538 HAS SOPS 12538 HAS SOUS 11472 HAS SOUPS 11472 WITH SCORE 11484.538
AT ITER 4272 NEW BEST:: SOT 59220 SOS 12528 HAS SOPS 12528 HAS SOUS 11467 HAS SOUPS 11467 WITH SCORE 11479.528
AT ITER 4276 NEW BEST:: SOT 59214 SOS 12513 HAS SOPS 12513 HAS SOUS 11463 HAS SOUPS 11463 WITH SCORE 11475.513
AT ITER 4302 NEW BEST:: SOT 59196 SOS 12477 HAS SOPS 12477 HAS SOUS 11411 HAS SOUPS 11411 WITH SCORE 11423.477
AT ITER 4304 NEW BEST:: SOT 59196 SOS 12473 HAS SOPS 12473 HAS SOUS 11407 HAS SOUPS 11407 WITH SCORE 11419.473
AT ITER 4320 NEW BEST:: SOT 59194 SOS 12471 HAS SOPS 12471 HAS SOUS 11405 HAS SOUPS 11405 WITH SCORE 11417.471
AT ITER 4339 NEW BEST:: SOT 59156 SOS 12395 HAS SOPS 12395 HAS SOUS 11342 HAS SOUPS 11342 WITH SCORE 11354.395
AT ITER 4355 NEW BEST:: SOT 59155 SOS 12394 HAS SOPS 12394 HAS SOUS 11341 HAS SOUPS 11341 WITH SCORE 11353.394
AT ITER 4437 NEW BEST:: SOT 59153 SOS 12389 HAS SOPS 12389 HAS SOUS 11340 HAS SOUPS 11340 WITH SCORE 11352.389
AT ITER 4468 NEW BEST:: SOT 59150 SOS 12392 HAS SOPS 12392 HAS SOUS 11339 HAS SOUPS 11339 WITH SCORE 11351.392
AT ITER 4492 NEW BEST:: SOT 59148 SOS 12386 HAS SOPS 12386 HAS SOUS 11335 HAS SOUPS 11335 WITH SCORE 11347.386
AT ITER 4518 NEW BEST:: SOT 59143 SOS 12359 HAS SOPS 12359 HAS SOUS 11325 HAS SOUPS 11325 WITH SCORE 11337.359
AT ITER 4535 NEW BEST:: SOT 59142 SOS 12345 HAS SOPS 12345 HAS SOUS 11324 HAS SOUPS 11324 WITH SCORE 11336.345
AT ITER 4602 NEW BEST:: SOT 59142 SOS 12342 HAS SOPS 12342 HAS SOUS 11321 HAS SOUPS 11321 WITH SCORE 11333.342
AT ITER 4643 NEW BEST:: SOT 59142 SOS 12341 HAS SOPS 12341 HAS SOUS 11321 HAS SOUPS 11321 WITH SCORE 11333.341
AT ITER 4653 NEW BEST:: SOT 59142 SOS 12340 HAS SOPS 12340 HAS SOUS 11320 HAS SOUPS 11320 WITH SCORE 11332.34
AT ITER 4670 NEW BEST:: SOT 59121 SOS 12330 HAS SOPS 12330 HAS SOUS 11293 HAS SOUPS 11293 WITH SCORE 11305.33
AT ITER 4694 NEW BEST:: SOT 59096 SOS 12328 HAS SOPS 12328 HAS SOUS 11291 HAS SOUPS 11291 WITH SCORE 11303.328
AT ITER 4759 NEW BEST:: SOT 59081 SOS 12337 HAS SOPS 12337 HAS SOUS 11289 HAS SOUPS 11289 WITH SCORE 11301.337
AT ITER 4786 NEW BEST:: SOT 59081 SOS 12336 HAS SOPS 12336 HAS SOUS 11288 HAS SOUPS 11288 WITH SCORE 11300.336
AT ITER 4848 NEW BEST:: SOT 59077 SOS 12336 HAS SOPS 12336 HAS SOUS 11282 HAS SOUPS 11282 WITH SCORE 11294.336
AT ITER 4870 NEW BEST:: SOT 59077 SOS 12336 HAS SOPS 12336 HAS SOUS 11280 HAS SOUPS 11280 WITH SCORE 11292.336
AT ITER 4888 NEW BEST:: SOT 59035 SOS 12273 HAS SOPS 12273 HAS SOUS 11259 HAS SOUPS 11259 WITH SCORE 11271.273
AT ITER 4943 NEW BEST:: SOT 59035 SOS 12271 HAS SOPS 12271 HAS SOUS 11257 HAS SOUPS 11257 WITH SCORE 11269.271
AT ITER 5087 NEW BEST:: SOT 59009 SOS 12245 HAS SOPS 12245 HAS SOUS 11231 HAS SOUPS 11231 WITH SCORE 11243.245
AT ITER 5129 NEW BEST:: SOT 59008 SOS 12246 HAS SOPS 12246 HAS SOUS 11229 HAS SOUPS 11229 WITH SCORE 11241.246
AT ITER 5253 NEW BEST:: SOT 59008 SOS 12223 HAS SOPS 12223 HAS SOUS 11201 HAS SOUPS 11201 WITH SCORE 11213.223
AT ITER 5278 NEW BEST:: SOT 59008 SOS 12223 HAS SOPS 12223 HAS SOUS 11193 HAS SOUPS 11193 WITH SCORE 11205.223
AT ITER 5294 NEW BEST:: SOT 59008 SOS 12207 HAS SOPS 12207 HAS SOUS 11193 HAS SOUPS 11193 WITH SCORE 11205.207
AT ITER 5306 NEW BEST:: SOT 59003 SOS 12202 HAS SOPS 12202 HAS SOUS 11188 HAS SOUPS 11188 WITH SCORE 11200.202
AT ITER 5309 NEW BEST:: SOT 58990 SOS 12183 HAS SOPS 12183 HAS SOUS 11169 HAS SOUPS 11169 WITH SCORE 11181.183
AT ITER 5324 NEW BEST:: SOT 58982 SOS 12161 HAS SOPS 12161 HAS SOUS 11147 HAS SOUPS 11147 WITH SCORE 11159.161
AT ITER 5452 NEW BEST:: SOT 58968 SOS 12136 HAS SOPS 12136 HAS SOUS 11128 HAS SOUPS 11128 WITH SCORE 11140.136
AT ITER 5453 NEW BEST:: SOT 58988 SOS 12128 HAS SOPS 12128 HAS SOUS 11117 HAS SOUPS 11117 WITH SCORE 11129.128
AT ITER 5553 NEW BEST:: SOT 58976 SOS 12116 HAS SOPS 12116 HAS SOUS 11105 HAS SOUPS 11105 WITH SCORE 11117.116
AT ITER 5584 NEW BEST:: SOT 58976 SOS 12116 HAS SOPS 12116 HAS SOUS 11104 HAS SOUPS 11104 WITH SCORE 11116.116
AT ITER 5605 NEW BEST:: SOT 58976 SOS 12106 HAS SOPS 12106 HAS SOUS 11094 HAS SOUPS 11094 WITH SCORE 11106.106
AT ITER 5652 NEW BEST:: SOT 58973 SOS 12104 HAS SOPS 12104 HAS SOUS 11092 HAS SOUPS 11092 WITH SCORE 11104.104
AT ITER 5670 NEW BEST:: SOT 58976 SOS 12090 HAS SOPS 12090 HAS SOUS 11087 HAS SOUPS 11087 WITH SCORE 11099.09
AT ITER 5678 NEW BEST:: SOT 58976 SOS 12077 HAS SOPS 12077 HAS SOUS 11074 HAS SOUPS 11074 WITH SCORE 11086.077
AT ITER 5692 NEW BEST:: SOT 58972 SOS 12069 HAS SOPS 12069 HAS SOUS 11068 HAS SOUPS 11068 WITH SCORE 11080.069
AT ITER 5705 NEW BEST:: SOT 58971 SOS 12066 HAS SOPS 12066 HAS SOUS 11065 HAS SOUPS 11065 WITH SCORE 11077.066
AT ITER 5727 NEW BEST:: SOT 58963 SOS 12054 HAS SOPS 12054 HAS SOUS 11053 HAS SOUPS 11053 WITH SCORE 11065.054
AT ITER 5738 NEW BEST:: SOT 58964 SOS 12045 HAS SOPS 12045 HAS SOUS 11044 HAS SOUPS 11044 WITH SCORE 11056.045
AT ITER 5750 NEW BEST:: SOT 58955 SOS 12043 HAS SOPS 12043 HAS SOUS 11042 HAS SOUPS 11042 WITH SCORE 11054.043
AT ITER 5774 NEW BEST:: SOT 58956 SOS 12035 HAS SOPS 12035 HAS SOUS 11034 HAS SOUPS 11034 WITH SCORE 11046.035
AT ITER 5808 NEW BEST:: SOT 58946 SOS 12019 HAS SOPS 12019 HAS SOUS 11024 HAS SOUPS 11024 WITH SCORE 11036.019
AT ITER 5833 NEW BEST:: SOT 58929 SOS 11999 HAS SOPS 11999 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11018.999
AT ITER 5857 NEW BEST:: SOT 58924 SOS 12002 HAS SOPS 12002 HAS SOUS 11006 HAS SOUPS 11006 WITH SCORE 11018.002
AT ITER 5881 NEW BEST:: SOT 58917 SOS 11990 HAS SOPS 11990 HAS SOUS 10994 HAS SOUPS 10994 WITH SCORE 11005.99
AT ITER 5969 NEW BEST:: SOT 58923 SOS 12003 HAS SOPS 12003 HAS SOUS 10991 HAS SOUPS 10991 WITH SCORE 11003.003
AT ITER 5978 NEW BEST:: SOT 58923 SOS 12002 HAS SOPS 12002 HAS SOUS 10990 HAS SOUPS 10990 WITH SCORE 11002.002
AT ITER 5986 NEW BEST:: SOT 58923 SOS 11990 HAS SOPS 11990 HAS SOUS 10990 HAS SOUPS 10990 WITH SCORE 11001.99
AT ITER 6004 NEW BEST:: SOT 58874 SOS 11923 HAS SOPS 11923 HAS SOUS 10968 HAS SOUPS 10968 WITH SCORE 10979.923
AT ITER 6009 NEW BEST:: SOT 58852 SOS 11892 HAS SOPS 11892 HAS SOUS 10952 HAS SOUPS 10952 WITH SCORE 10963.892
AT ITER 6017 NEW BEST:: SOT 58842 SOS 11877 HAS SOPS 11877 HAS SOUS 10937 HAS SOUPS 10937 WITH SCORE 10948.877
AT ITER 6107 NEW BEST:: SOT 58838 SOS 11875 HAS SOPS 11875 HAS SOUS 10935 HAS SOUPS 10935 WITH SCORE 10946.875
AT ITER 6153 NEW BEST:: SOT 58838 SOS 11870 HAS SOPS 11870 HAS SOUS 10931 HAS SOUPS 10931 WITH SCORE 10942.87
AT ITER 6174 NEW BEST:: SOT 58835 SOS 11863 HAS SOPS 11863 HAS SOUS 10927 HAS SOUPS 10927 WITH SCORE 10938.863
AT ITER 6305 NEW BEST:: SOT 58834 SOS 11862 HAS SOPS 11862 HAS SOUS 10926 HAS SOUPS 10926 WITH SCORE 10937.862
AT ITER 6318 NEW BEST:: SOT 58833 SOS 11853 HAS SOPS 11853 HAS SOUS 10918 HAS SOUPS 10918 WITH SCORE 10929.853
AT ITER 6325 NEW BEST:: SOT 58833 SOS 11852 HAS SOPS 11852 HAS SOUS 10917 HAS SOUPS 10917 WITH SCORE 10928.852
AT ITER 6369 NEW BEST:: SOT 58815 SOS 11820 HAS SOPS 11820 HAS SOUS 10885 HAS SOUPS 10885 WITH SCORE 10896.82
AT ITER 6384 NEW BEST:: SOT 58814 SOS 11811 HAS SOPS 11811 HAS SOUS 10884 HAS SOUPS 10884 WITH SCORE 10895.811
AT ITER 6414 NEW BEST:: SOT 58808 SOS 11807 HAS SOPS 11807 HAS SOUS 10876 HAS SOUPS 10876 WITH SCORE 10887.807
AT ITER 6470 NEW BEST:: SOT 58808 SOS 11806 HAS SOPS 11806 HAS SOUS 10876 HAS SOUPS 10876 WITH SCORE 10887.806
AT ITER 6492 NEW BEST:: SOT 58795 SOS 11855 HAS SOPS 11855 HAS SOUS 10842 HAS SOUPS 10842 WITH SCORE 10853.855
AT ITER 6565 NEW BEST:: SOT 58796 SOS 11845 HAS SOPS 11845 HAS SOUS 10839 HAS SOUPS 10839 WITH SCORE 10850.845
AT ITER 6585 NEW BEST:: SOT 58787 SOS 11845 HAS SOPS 11845 HAS SOUS 10821 HAS SOUPS 10821 WITH SCORE 10832.845
AT ITER 6587 NEW BEST:: SOT 58785 SOS 11825 HAS SOPS 11825 HAS SOUS 10817 HAS SOUPS 10817 WITH SCORE 10828.825
AT ITER 6619 NEW BEST:: SOT 58780 SOS 11823 HAS SOPS 11823 HAS SOUS 10812 HAS SOUPS 10812 WITH SCORE 10823.823
AT ITER 6660 NEW BEST:: SOT 58773 SOS 11809 HAS SOPS 11809 HAS SOUS 10798 HAS SOUPS 10798 WITH SCORE 10809.809
AT ITER 6665 NEW BEST:: SOT 58783 SOS 11799 HAS SOPS 11799 HAS SOUS 10798 HAS SOUPS 10798 WITH SCORE 10809.799
AT ITER 6669 NEW BEST:: SOT 58784 SOS 11793 HAS SOPS 11793 HAS SOUS 10796 HAS SOUPS 10796 WITH SCORE 10807.793
AT ITER 6751 NEW BEST:: SOT 58768 SOS 11777 HAS SOPS 11777 HAS SOUS 10780 HAS SOUPS 10780 WITH SCORE 10791.777
AT ITER 6752 NEW BEST:: SOT 58773 SOS 11771 HAS SOPS 11771 HAS SOUS 10775 HAS SOUPS 10775 WITH SCORE 10786.771
AT ITER 6780 NEW BEST:: SOT 58768 SOS 11766 HAS SOPS 11766 HAS SOUS 10770 HAS SOUPS 10770 WITH SCORE 10781.766
AT ITER 6883 NEW BEST:: SOT 58767 SOS 11765 HAS SOPS 11765 HAS SOUS 10769 HAS SOUPS 10769 WITH SCORE 10780.765
AT ITER 6888 NEW BEST:: SOT 58770 SOS 11763 HAS SOPS 11763 HAS SOUS 10767 HAS SOUPS 10767 WITH SCORE 10778.763
AT ITER 6986 NEW BEST:: SOT 58770 SOS 11762 HAS SOPS 11762 HAS SOUS 10766 HAS SOUPS 10766 WITH SCORE 10777.762
AT ITER 7016 NEW BEST:: SOT 58759 SOS 11740 HAS SOPS 11740 HAS SOUS 10755 HAS SOUPS 10755 WITH SCORE 10766.74
AT ITER 7021 NEW BEST:: SOT 58754 SOS 11720 HAS SOPS 11720 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10751.72
AT ITER 7027 NEW BEST:: SOT 58753 SOS 11719 HAS SOPS 11719 HAS SOUS 10739 HAS SOUPS 10739 WITH SCORE 10750.719
AT ITER 7031 NEW BEST:: SOT 58753 SOS 11718 HAS SOPS 11718 HAS SOUS 10738 HAS SOUPS 10738 WITH SCORE 10749.718
AT ITER 7040 NEW BEST:: SOT 58753 SOS 11712 HAS SOPS 11712 HAS SOUS 10732 HAS SOUPS 10732 WITH SCORE 10743.712
AT ITER 7051 NEW BEST:: SOT 58753 SOS 11710 HAS SOPS 11710 HAS SOUS 10730 HAS SOUPS 10730 WITH SCORE 10741.71
AT ITER 7099 NEW BEST:: SOT 58753 SOS 11708 HAS SOPS 11708 HAS SOUS 10728 HAS SOUPS 10728 WITH SCORE 10739.708
AT ITER 7125 NEW BEST:: SOT 58731 SOS 11664 HAS SOPS 11664 HAS SOUS 10695 HAS SOUPS 10695 WITH SCORE 10706.664
AT ITER 7126 NEW BEST:: SOT 58749 SOS 11662 HAS SOPS 11662 HAS SOUS 10693 HAS SOUPS 10693 WITH SCORE 10704.662
AT ITER 7129 NEW BEST:: SOT 58747 SOS 11660 HAS SOPS 11660 HAS SOUS 10686 HAS SOUPS 10686 WITH SCORE 10697.66
AT ITER 7138 NEW BEST:: SOT 58747 SOS 11607 HAS SOPS 11607 HAS SOUS 10686 HAS SOUPS 10686 WITH SCORE 10697.607
AT ITER 7239 NEW BEST:: SOT 58725 SOS 11590 HAS SOPS 11590 HAS SOUS 10679 HAS SOUPS 10679 WITH SCORE 10690.59
AT ITER 7243 NEW BEST:: SOT 58724 SOS 11589 HAS SOPS 11589 HAS SOUS 10678 HAS SOUPS 10678 WITH SCORE 10689.589
AT ITER 7278 NEW BEST:: SOT 58724 SOS 11559 HAS SOPS 11559 HAS SOUS 10648 HAS SOUPS 10648 WITH SCORE 10659.559
AT ITER 7301 NEW BEST:: SOT 58710 SOS 11539 HAS SOPS 11539 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10645.539
AT ITER 7303 NEW BEST:: SOT 58713 SOS 11534 HAS SOPS 11534 HAS SOUS 10629 HAS SOUPS 10629 WITH SCORE 10640.534
AT ITER 7322 NEW BEST:: SOT 58713 SOS 11547 HAS SOPS 11547 HAS SOUS 10623 HAS SOUPS 10623 WITH SCORE 10634.547
AT ITER 7552 NEW BEST:: SOT 58699 SOS 11529 HAS SOPS 11529 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10620.529
AT ITER 7573 NEW BEST:: SOT 58693 SOS 11491 HAS SOPS 11491 HAS SOUS 10571 HAS SOUPS 10571 WITH SCORE 10582.491
AT ITER 7665 NEW BEST:: SOT 58691 SOS 11489 HAS SOPS 11489 HAS SOUS 10571 HAS SOUPS 10571 WITH SCORE 10582.489
AT ITER 7676 NEW BEST:: SOT 58691 SOS 11486 HAS SOPS 11486 HAS SOUS 10568 HAS SOUPS 10568 WITH SCORE 10579.486
AT ITER 7739 NEW BEST:: SOT 58691 SOS 11484 HAS SOPS 11484 HAS SOUS 10566 HAS SOUPS 10566 WITH SCORE 10577.484
AT ITER 7766 NEW BEST:: SOT 58692 SOS 11481 HAS SOPS 11481 HAS SOUS 10565 HAS SOUPS 10565 WITH SCORE 10576.481
AT ITER 7792 NEW BEST:: SOT 58688 SOS 11480 HAS SOPS 11480 HAS SOUS 10564 HAS SOUPS 10564 WITH SCORE 10575.48
AT ITER 7853 NEW BEST:: SOT 58681 SOS 11485 HAS SOPS 11485 HAS SOUS 10555 HAS SOUPS 10555 WITH SCORE 10566.485
AT ITER 7856 NEW BEST:: SOT 58666 SOS 11464 HAS SOPS 11464 HAS SOUS 10527 HAS SOUPS 10527 WITH SCORE 10538.464
AT ITER 7874 NEW BEST:: SOT 58645 SOS 11470 HAS SOPS 11470 HAS SOUS 10509 HAS SOUPS 10509 WITH SCORE 10520.47
AT ITER 7898 NEW BEST:: SOT 58635 SOS 11449 HAS SOPS 11449 HAS SOUS 10488 HAS SOUPS 10488 WITH SCORE 10499.449
AT ITER 7937 NEW BEST:: SOT 58643 SOS 11454 HAS SOPS 11454 HAS SOUS 10485 HAS SOUPS 10485 WITH SCORE 10496.454
AT ITER 7949 NEW BEST:: SOT 58643 SOS 11446 HAS SOPS 11446 HAS SOUS 10477 HAS SOUPS 10477 WITH SCORE 10488.446
AT ITER 7983 NEW BEST:: SOT 58640 SOS 11433 HAS SOPS 11433 HAS SOUS 10464 HAS SOUPS 10464 WITH SCORE 10475.433
AT ITER 8022 NEW BEST:: SOT 58636 SOS 11429 HAS SOPS 11429 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10471.429
AT ITER 8048 NEW BEST:: SOT 58634 SOS 11427 HAS SOPS 11427 HAS SOUS 10456 HAS SOUPS 10456 WITH SCORE 10467.427
AT ITER 8246 NEW BEST:: SOT 58632 SOS 11431 HAS SOPS 11431 HAS SOUS 10454 HAS SOUPS 10454 WITH SCORE 10465.431
AT ITER 8260 NEW BEST:: SOT 58632 SOS 11430 HAS SOPS 11430 HAS SOUS 10453 HAS SOUPS 10453 WITH SCORE 10464.43
AT ITER 8495 NEW BEST:: SOT 58616 SOS 11406 HAS SOPS 11406 HAS SOUS 10429 HAS SOUPS 10429 WITH SCORE 10440.406
AT ITER 8570 NEW BEST:: SOT 58608 SOS 11442 HAS SOPS 11442 HAS SOUS 10421 HAS SOUPS 10421 WITH SCORE 10432.442
AT ITER 8633 NEW BEST:: SOT 58623 SOS 11457 HAS SOPS 11457 HAS SOUS 10417 HAS SOUPS 10417 WITH SCORE 10428.457
AT ITER 8649 NEW BEST:: SOT 58621 SOS 11460 HAS SOPS 11460 HAS SOUS 10415 HAS SOUPS 10415 WITH SCORE 10426.46
AT ITER 8707 NEW BEST:: SOT 58622 SOS 11453 HAS SOPS 11453 HAS SOUS 10407 HAS SOUPS 10407 WITH SCORE 10418.453
AT ITER 8808 NEW BEST:: SOT 58621 SOS 11453 HAS SOPS 11453 HAS SOUS 10406 HAS SOUPS 10406 WITH SCORE 10417.453
AT ITER 8866 NEW BEST:: SOT 58621 SOS 11445 HAS SOPS 11445 HAS SOUS 10402 HAS SOUPS 10402 WITH SCORE 10413.445
AT ITER 8900 NEW BEST:: SOT 58621 SOS 11425 HAS SOPS 11425 HAS SOUS 10382 HAS SOUPS 10382 WITH SCORE 10393.425
AT ITER 8908 NEW BEST:: SOT 58621 SOS 11420 HAS SOPS 11420 HAS SOUS 10377 HAS SOUPS 10377 WITH SCORE 10388.42
AT ITER 8913 NEW BEST:: SOT 58621 SOS 11419 HAS SOPS 11419 HAS SOUS 10376 HAS SOUPS 10376 WITH SCORE 10387.419
AT ITER 8943 NEW BEST:: SOT 58620 SOS 11417 HAS SOPS 11417 HAS SOUS 10374 HAS SOUPS 10374 WITH SCORE 10385.417
AT ITER 8962 NEW BEST:: SOT 58619 SOS 11416 HAS SOPS 11416 HAS SOUS 10373 HAS SOUPS 10373 WITH SCORE 10384.416
AT ITER 9021 NEW BEST:: SOT 58609 SOS 11395 HAS SOPS 11395 HAS SOUS 10358 HAS SOUPS 10358 WITH SCORE 10369.395
AT ITER 9027 NEW BEST:: SOT 58609 SOS 11399 HAS SOPS 11399 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10368.399
AT ITER 9114 NEW BEST:: SOT 58623 SOS 11385 HAS SOPS 11385 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10368.385
AT ITER 9208 NEW BEST:: SOT 58622 SOS 11383 HAS SOPS 11383 HAS SOUS 10355 HAS SOUPS 10355 WITH SCORE 10366.383
AT ITER 9209 NEW BEST:: SOT 58622 SOS 11382 HAS SOPS 11382 HAS SOUS 10354 HAS SOUPS 10354 WITH SCORE 10365.382
AT ITER 9239 NEW BEST:: SOT 58623 SOS 11380 HAS SOPS 11380 HAS SOUS 10352 HAS SOUPS 10352 WITH SCORE 10363.38
AT ITER 9246 NEW BEST:: SOT 58600 SOS 11368 HAS SOPS 11368 HAS SOUS 10333 HAS SOUPS 10333 WITH SCORE 10344.368
AT ITER 9336 NEW BEST:: SOT 58583 SOS 11346 HAS SOPS 11346 HAS SOUS 10316 HAS SOUPS 10316 WITH SCORE 10327.346
AT ITER 9369 NEW BEST:: SOT 58565 SOS 11334 HAS SOPS 11334 HAS SOUS 10314 HAS SOUPS 10314 WITH SCORE 10325.334
AT ITER 9388 NEW BEST:: SOT 58549 SOS 11332 HAS SOPS 11332 HAS SOUS 10312 HAS SOUPS 10312 WITH SCORE 10323.332
AT ITER 9391 NEW BEST:: SOT 58526 SOS 11309 HAS SOPS 11309 HAS SOUS 10302 HAS SOUPS 10302 WITH SCORE 10313.309
AT ITER 9503 NEW BEST:: SOT 58517 SOS 11291 HAS SOPS 11291 HAS SOUS 10293 HAS SOUPS 10293 WITH SCORE 10304.291
AT ITER 9544 NEW BEST:: SOT 58516 SOS 11290 HAS SOPS 11290 HAS SOUS 10290 HAS SOUPS 10290 WITH SCORE 10301.29
AT ITER 9671 NEW BEST:: SOT 58477 SOS 11224 HAS SOPS 11224 HAS SOUS 10268 HAS SOUPS 10268 WITH SCORE 10279.224
AT ITER 9674 NEW BEST:: SOT 58471 SOS 11205 HAS SOPS 11205 HAS SOUS 10264 HAS SOUPS 10264 WITH SCORE 10275.205
AT ITER 9685 NEW BEST:: SOT 58466 SOS 11195 HAS SOPS 11195 HAS SOUS 10259 HAS SOUPS 10259 WITH SCORE 10270.195
AT ITER 9712 NEW BEST:: SOT 58466 SOS 11196 HAS SOPS 11196 HAS SOUS 10251 HAS SOUPS 10251 WITH SCORE 10262.196
AT ITER 9717 NEW BEST:: SOT 58462 SOS 11192 HAS SOPS 11192 HAS SOUS 10247 HAS SOUPS 10247 WITH SCORE 10258.192
AT ITER 9728 NEW BEST:: SOT 58459 SOS 11194 HAS SOPS 11194 HAS SOUS 10244 HAS SOUPS 10244 WITH SCORE 10255.194
AT ITER 9792 NEW BEST:: SOT 58454 SOS 11189 HAS SOPS 11189 HAS SOUS 10239 HAS SOUPS 10239 WITH SCORE 10250.189
AT ITER 9888 NEW BEST:: SOT 58399 SOS 11110 HAS SOPS 11110 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10226.11
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 6544800 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16120080 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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="ShieldPPPs-PT-005B"
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 ShieldPPPs-PT-005B, 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-167903718800432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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