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.r227-tall-167856409800008.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 smart
Input is HypercubeGrid-PT-C3K4P4B12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856409800008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 7.7K Feb 26 02:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 02:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 02:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 02:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 03:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 26 03:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 02:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 1.3M Mar 5 18:22 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 1678602363980

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HypercubeGrid-PT-C3K4P4B12
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypercubeGrid (PT), instance C3K4P4B12
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1408 places, 2400 transitions, 9600 arcs.
AT ITER 0 NEW BEST:: SOT 1859212 SOS 340389 HAS SOPS 340389 HAS SOUS 163880 HAS SOUPS 163880 WITH SCORE 164220.389
AT ITER 40 NEW BEST:: SOT 1859200 SOS 340365 HAS SOPS 340365 HAS SOUS 163856 HAS SOUPS 163856 WITH SCORE 164196.365
AT ITER 85 NEW BEST:: SOT 1859200 SOS 340143 HAS SOPS 340143 HAS SOUS 163782 HAS SOUPS 163782 WITH SCORE 164122.143
AT ITER 120 NEW BEST:: SOT 1859200 SOS 340111 HAS SOPS 340111 HAS SOUS 163782 HAS SOUPS 163782 WITH SCORE 164122.111
AT ITER 130 NEW BEST:: SOT 1859180 SOS 340083 HAS SOPS 340083 HAS SOUS 163738 HAS SOUPS 163738 WITH SCORE 164078.083
AT ITER 139 NEW BEST:: SOT 1858990 SOS 339855 HAS SOPS 339855 HAS SOUS 163479 HAS SOUPS 163479 WITH SCORE 163818.855
AT ITER 150 NEW BEST:: SOT 1858990 SOS 339855 HAS SOPS 339855 HAS SOUS 163469 HAS SOUPS 163469 WITH SCORE 163808.855
AT ITER 189 NEW BEST:: SOT 1858785 SOS 339650 HAS SOPS 339650 HAS SOUS 163264 HAS SOUPS 163264 WITH SCORE 163603.65
AT ITER 231 NEW BEST:: SOT 1858785 SOS 339565 HAS SOPS 339565 HAS SOUS 163247 HAS SOUPS 163247 WITH SCORE 163586.565
AT ITER 244 NEW BEST:: SOT 1858470 SOS 338935 HAS SOPS 338935 HAS SOUS 162982 HAS SOUPS 162982 WITH SCORE 163320.935
AT ITER 249 NEW BEST:: SOT 1858470 SOS 338923 HAS SOPS 338923 HAS SOUS 162978 HAS SOUPS 162978 WITH SCORE 163316.923
AT ITER 364 NEW BEST:: SOT 1858470 SOS 339067 HAS SOPS 339067 HAS SOUS 162926 HAS SOUPS 162926 WITH SCORE 163265.067
AT ITER 386 NEW BEST:: SOT 1858470 SOS 338737 HAS SOPS 338737 HAS SOUS 162816 HAS SOUPS 162816 WITH SCORE 163154.737
AT ITER 388 NEW BEST:: SOT 1858421 SOS 338639 HAS SOPS 338639 HAS SOUS 162602 HAS SOUPS 162602 WITH SCORE 162940.639
AT ITER 410 NEW BEST:: SOT 1858393 SOS 338583 HAS SOPS 338583 HAS SOUS 162546 HAS SOUPS 162546 WITH SCORE 162884.583
AT ITER 432 NEW BEST:: SOT 1858393 SOS 338503 HAS SOPS 338503 HAS SOUS 162530 HAS SOUPS 162530 WITH SCORE 162868.503
AT ITER 472 NEW BEST:: SOT 1858393 SOS 338196 HAS SOPS 338196 HAS SOUS 162499 HAS SOUPS 162499 WITH SCORE 162837.196
AT ITER 492 NEW BEST:: SOT 1858423 SOS 338211 HAS SOPS 338211 HAS SOUS 162490 HAS SOUPS 162490 WITH SCORE 162828.211
AT ITER 501 NEW BEST:: SOT 1858408 SOS 338181 HAS SOPS 338181 HAS SOUS 162412 HAS SOUPS 162412 WITH SCORE 162750.181
AT ITER 514 NEW BEST:: SOT 1858408 SOS 337857 HAS SOPS 337857 HAS SOUS 162304 HAS SOUPS 162304 WITH SCORE 162641.857
AT ITER 523 NEW BEST:: SOT 1858408 SOS 337901 HAS SOPS 337901 HAS SOUS 162249 HAS SOUPS 162249 WITH SCORE 162586.901
AT ITER 564 NEW BEST:: SOT 1858078 SOS 337505 HAS SOPS 337505 HAS SOUS 161853 HAS SOUPS 161853 WITH SCORE 162190.505
AT ITER 577 NEW BEST:: SOT 1858112 SOS 337539 HAS SOPS 337539 HAS SOUS 161851 HAS SOUPS 161851 WITH SCORE 162188.539
AT ITER 609 NEW BEST:: SOT 1858090 SOS 337517 HAS SOPS 337517 HAS SOUS 161829 HAS SOUPS 161829 WITH SCORE 162166.517
AT ITER 668 NEW BEST:: SOT 1858090 SOS 337230 HAS SOPS 337230 HAS SOUS 161818 HAS SOUPS 161818 WITH SCORE 162155.23
AT ITER 671 NEW BEST:: SOT 1857902 SOS 337042 HAS SOPS 337042 HAS SOUS 161630 HAS SOUPS 161630 WITH SCORE 161967.042
AT ITER 690 NEW BEST:: SOT 1857832 SOS 336972 HAS SOPS 336972 HAS SOUS 161560 HAS SOUPS 161560 WITH SCORE 161896.972
AT ITER 740 NEW BEST:: SOT 1857602 SOS 336512 HAS SOPS 336512 HAS SOUS 161423 HAS SOUPS 161423 WITH SCORE 161759.512
AT ITER 785 NEW BEST:: SOT 1857587 SOS 336497 HAS SOPS 336497 HAS SOUS 161405 HAS SOUPS 161405 WITH SCORE 161741.497
AT ITER 811 NEW BEST:: SOT 1857132 SOS 335609 HAS SOPS 335609 HAS SOUS 160902 HAS SOUPS 160902 WITH SCORE 161237.609
AT ITER 826 NEW BEST:: SOT 1857128 SOS 335601 HAS SOPS 335601 HAS SOUS 160894 HAS SOUPS 160894 WITH SCORE 161229.601
AT ITER 837 NEW BEST:: SOT 1856863 SOS 335283 HAS SOPS 335283 HAS SOUS 160499 HAS SOUPS 160499 WITH SCORE 160834.283
AT ITER 894 NEW BEST:: SOT 1856848 SOS 334960 HAS SOPS 334960 HAS SOUS 160420 HAS SOUPS 160420 WITH SCORE 160754.96
AT ITER 903 NEW BEST:: SOT 1856525 SOS 334314 HAS SOPS 334314 HAS SOUS 160150 HAS SOUPS 160150 WITH SCORE 160484.314
AT ITER 946 NEW BEST:: SOT 1856465 SOS 334254 HAS SOPS 334254 HAS SOUS 160090 HAS SOUPS 160090 WITH SCORE 160424.254
AT ITER 947 NEW BEST:: SOT 1856210 SOS 333706 HAS SOPS 333706 HAS SOUS 159811 HAS SOUPS 159811 WITH SCORE 160144.706
AT ITER 959 NEW BEST:: SOT 1856210 SOS 333654 HAS SOPS 333654 HAS SOUS 159811 HAS SOUPS 159811 WITH SCORE 160144.654
AT ITER 974 NEW BEST:: SOT 1856210 SOS 333654 HAS SOPS 333654 HAS SOUS 159787 HAS SOUPS 159787 WITH SCORE 160120.654
AT ITER 975 NEW BEST:: SOT 1856045 SOS 333324 HAS SOPS 333324 HAS SOUS 159589 HAS SOUPS 159589 WITH SCORE 159922.324
AT ITER 1019 NEW BEST:: SOT 1856033 SOS 333300 HAS SOPS 333300 HAS SOUS 159565 HAS SOUPS 159565 WITH SCORE 159898.3
AT ITER 1095 NEW BEST:: SOT 1856033 SOS 332916 HAS SOPS 332916 HAS SOUS 159437 HAS SOUPS 159437 WITH SCORE 159769.916
AT ITER 1122 NEW BEST:: SOT 1856029 SOS 332892 HAS SOPS 332892 HAS SOUS 159429 HAS SOUPS 159429 WITH SCORE 159761.892
AT ITER 1129 NEW BEST:: SOT 1856054 SOS 332917 HAS SOPS 332917 HAS SOUS 159397 HAS SOUPS 159397 WITH SCORE 159729.917
AT ITER 1130 NEW BEST:: SOT 1855709 SOS 332530 HAS SOPS 332530 HAS SOUS 159232 HAS SOUPS 159232 WITH SCORE 159564.53
AT ITER 1140 NEW BEST:: SOT 1855509 SOS 332090 HAS SOPS 332090 HAS SOUS 158952 HAS SOUPS 158952 WITH SCORE 159284.09
AT ITER 1155 NEW BEST:: SOT 1855509 SOS 332090 HAS SOPS 332090 HAS SOUS 158928 HAS SOUPS 158928 WITH SCORE 159260.09
AT ITER 1211 NEW BEST:: SOT 1855414 SOS 331976 HAS SOPS 331976 HAS SOUS 158814 HAS SOUPS 158814 WITH SCORE 159145.976
AT ITER 1288 NEW BEST:: SOT 1855373 SOS 331730 HAS SOPS 331730 HAS SOUS 158732 HAS SOUPS 158732 WITH SCORE 159063.73
AT ITER 1331 NEW BEST:: SOT 1855355 SOS 331694 HAS SOPS 331694 HAS SOUS 158696 HAS SOUPS 158696 WITH SCORE 159027.694
AT ITER 1341 NEW BEST:: SOT 1855355 SOS 331694 HAS SOPS 331694 HAS SOUS 158615 HAS SOUPS 158615 WITH SCORE 158946.694
AT ITER 1343 NEW BEST:: SOT 1855355 SOS 331854 HAS SOPS 331854 HAS SOUS 158596 HAS SOUPS 158596 WITH SCORE 158927.854
AT ITER 1372 NEW BEST:: SOT 1855310 SOS 331764 HAS SOPS 331764 HAS SOUS 158542 HAS SOUPS 158542 WITH SCORE 158873.764
AT ITER 1397 NEW BEST:: SOT 1855220 SOS 331656 HAS SOPS 331656 HAS SOUS 158362 HAS SOUPS 158362 WITH SCORE 158693.656
AT ITER 1430 NEW BEST:: SOT 1855163 SOS 331542 HAS SOPS 331542 HAS SOUS 158132 HAS SOUPS 158132 WITH SCORE 158463.542
AT ITER 1456 NEW BEST:: SOT 1855162 SOS 331541 HAS SOPS 331541 HAS SOUS 158131 HAS SOUPS 158131 WITH SCORE 158462.541
AT ITER 1476 NEW BEST:: SOT 1855120 SOS 331457 HAS SOPS 331457 HAS SOUS 158047 HAS SOUPS 158047 WITH SCORE 158378.457
AT ITER 1484 NEW BEST:: SOT 1855103 SOS 331423 HAS SOPS 331423 HAS SOUS 158013 HAS SOUPS 158013 WITH SCORE 158344.423
AT ITER 1491 NEW BEST:: SOT 1854778 SOS 331033 HAS SOPS 331033 HAS SOUS 157567 HAS SOUPS 157567 WITH SCORE 157898.033
AT ITER 1506 NEW BEST:: SOT 1854706 SOS 330601 HAS SOPS 330601 HAS SOUS 157423 HAS SOUPS 157423 WITH SCORE 157753.601
AT ITER 1555 NEW BEST:: SOT 1854667 SOS 330562 HAS SOPS 330562 HAS SOUS 157399 HAS SOUPS 157399 WITH SCORE 157729.562
AT ITER 1636 NEW BEST:: SOT 1854640 SOS 330400 HAS SOPS 330400 HAS SOUS 157345 HAS SOUPS 157345 WITH SCORE 157675.4
AT ITER 1644 NEW BEST:: SOT 1854640 SOS 330465 HAS SOPS 330465 HAS SOUS 157310 HAS SOUPS 157310 WITH SCORE 157640.465
AT ITER 1674 NEW BEST:: SOT 1854640 SOS 330481 HAS SOPS 330481 HAS SOUS 157290 HAS SOUPS 157290 WITH SCORE 157620.481
AT ITER 1689 NEW BEST:: SOT 1854640 SOS 330456 HAS SOPS 330456 HAS SOUS 157285 HAS SOUPS 157285 WITH SCORE 157615.456
AT ITER 1720 NEW BEST:: SOT 1854306 SOS 329788 HAS SOPS 329788 HAS SOUS 156937 HAS SOUPS 156937 WITH SCORE 157266.788
AT ITER 1739 NEW BEST:: SOT 1854306 SOS 329763 HAS SOPS 329763 HAS SOUS 156912 HAS SOUPS 156912 WITH SCORE 157241.763
AT ITER 1758 NEW BEST:: SOT 1854293 SOS 329737 HAS SOPS 329737 HAS SOUS 156886 HAS SOUPS 156886 WITH SCORE 157215.737
AT ITER 1765 NEW BEST:: SOT 1854276 SOS 329720 HAS SOPS 329720 HAS SOUS 156824 HAS SOUPS 156824 WITH SCORE 157153.72
AT ITER 1815 NEW BEST:: SOT 1854263 SOS 329642 HAS SOPS 329642 HAS SOUS 156798 HAS SOUPS 156798 WITH SCORE 157127.642
AT ITER 1838 NEW BEST:: SOT 1853908 SOS 328932 HAS SOPS 328932 HAS SOUS 156468 HAS SOUPS 156468 WITH SCORE 156796.932
AT ITER 1845 NEW BEST:: SOT 1853894 SOS 328594 HAS SOPS 328594 HAS SOUS 156406 HAS SOUPS 156406 WITH SCORE 156734.594
AT ITER 1857 NEW BEST:: SOT 1853892 SOS 328590 HAS SOPS 328590 HAS SOUS 156402 HAS SOUPS 156402 WITH SCORE 156730.59
AT ITER 1868 NEW BEST:: SOT 1853844 SOS 328494 HAS SOPS 328494 HAS SOUS 156104 HAS SOUPS 156104 WITH SCORE 156432.494
AT ITER 1935 NEW BEST:: SOT 1853804 SOS 328214 HAS SOPS 328214 HAS SOUS 155984 HAS SOUPS 155984 WITH SCORE 156312.214
AT ITER 1936 NEW BEST:: SOT 1853804 SOS 328214 HAS SOPS 328214 HAS SOUS 155903 HAS SOUPS 155903 WITH SCORE 156231.214
AT ITER 1939 NEW BEST:: SOT 1853804 SOS 328157 HAS SOPS 328157 HAS SOUS 155902 HAS SOUPS 155902 WITH SCORE 156230.157
AT ITER 1970 NEW BEST:: SOT 1853794 SOS 328147 HAS SOPS 328147 HAS SOUS 155902 HAS SOUPS 155902 WITH SCORE 156230.147
AT ITER 1998 NEW BEST:: SOT 1853739 SOS 328092 HAS SOPS 328092 HAS SOUS 155847 HAS SOUPS 155847 WITH SCORE 156175.092
AT ITER 2001 NEW BEST:: SOT 1853717 SOS 327960 HAS SOPS 327960 HAS SOUS 155803 HAS SOUPS 155803 WITH SCORE 156130.96
AT ITER 2012 NEW BEST:: SOT 1853717 SOS 327960 HAS SOPS 327960 HAS SOUS 155763 HAS SOUPS 155763 WITH SCORE 156090.96
AT ITER 2014 NEW BEST:: SOT 1853700 SOS 327858 HAS SOPS 327858 HAS SOUS 155729 HAS SOUPS 155729 WITH SCORE 156056.858
AT ITER 2024 NEW BEST:: SOT 1853785 SOS 328216 HAS SOPS 328216 HAS SOUS 155655 HAS SOUPS 155655 WITH SCORE 155983.216
AT ITER 2036 NEW BEST:: SOT 1853717 SOS 328148 HAS SOPS 328148 HAS SOUS 155587 HAS SOUPS 155587 WITH SCORE 155915.148
AT ITER 2069 NEW BEST:: SOT 1853681 SOS 328076 HAS SOPS 328076 HAS SOUS 155463 HAS SOUPS 155463 WITH SCORE 155791.076
AT ITER 2091 NEW BEST:: SOT 1853651 SOS 327896 HAS SOPS 327896 HAS SOUS 155403 HAS SOUPS 155403 WITH SCORE 155730.896
AT ITER 2139 NEW BEST:: SOT 1853651 SOS 327896 HAS SOPS 327896 HAS SOUS 155383 HAS SOUPS 155383 WITH SCORE 155710.896
AT ITER 2157 NEW BEST:: SOT 1853651 SOS 327896 HAS SOPS 327896 HAS SOUS 155371 HAS SOUPS 155371 WITH SCORE 155698.896
AT ITER 2162 NEW BEST:: SOT 1853606 SOS 327851 HAS SOPS 327851 HAS SOUS 155326 HAS SOUPS 155326 WITH SCORE 155653.851
AT ITER 2181 NEW BEST:: SOT 1853691 SOS 328021 HAS SOPS 328021 HAS SOUS 155316 HAS SOUPS 155316 WITH SCORE 155644.021
AT ITER 2223 NEW BEST:: SOT 1853681 SOS 328004 HAS SOPS 328004 HAS SOUS 155299 HAS SOUPS 155299 WITH SCORE 155627.004
AT ITER 2229 NEW BEST:: SOT 1853681 SOS 328056 HAS SOPS 328056 HAS SOUS 155272 HAS SOUPS 155272 WITH SCORE 155600.056
AT ITER 2286 NEW BEST:: SOT 1853681 SOS 328036 HAS SOPS 328036 HAS SOUS 155252 HAS SOUPS 155252 WITH SCORE 155580.036
AT ITER 2325 NEW BEST:: SOT 1853678 SOS 328033 HAS SOPS 328033 HAS SOUS 155243 HAS SOUPS 155243 WITH SCORE 155571.033
AT ITER 2348 NEW BEST:: SOT 1853368 SOS 327585 HAS SOPS 327585 HAS SOUS 155030 HAS SOUPS 155030 WITH SCORE 155357.585
AT ITER 2393 NEW BEST:: SOT 1853368 SOS 327584 HAS SOPS 327584 HAS SOUS 155029 HAS SOUPS 155029 WITH SCORE 155356.584
AT ITER 2401 NEW BEST:: SOT 1853212 SOS 327428 HAS SOPS 327428 HAS SOUS 154873 HAS SOUPS 154873 WITH SCORE 155200.428
AT ITER 2403 NEW BEST:: SOT 1853212 SOS 327428 HAS SOPS 327428 HAS SOUS 154817 HAS SOUPS 154817 WITH SCORE 155144.428
AT ITER 2420 NEW BEST:: SOT 1852997 SOS 327170 HAS SOPS 327170 HAS SOUS 154523 HAS SOUPS 154523 WITH SCORE 154850.17
AT ITER 2470 NEW BEST:: SOT 1852932 SOS 327105 HAS SOPS 327105 HAS SOUS 154458 HAS SOUPS 154458 WITH SCORE 154785.105
AT ITER 2482 NEW BEST:: SOT 1852940 SOS 327113 HAS SOPS 327113 HAS SOUS 154434 HAS SOUPS 154434 WITH SCORE 154761.113
AT ITER 2574 NEW BEST:: SOT 1852865 SOS 326738 HAS SOPS 326738 HAS SOUS 154259 HAS SOUPS 154259 WITH SCORE 154585.738
AT ITER 2635 NEW BEST:: SOT 1852740 SOS 326588 HAS SOPS 326588 HAS SOUS 154109 HAS SOUPS 154109 WITH SCORE 154435.588
AT ITER 2679 NEW BEST:: SOT 1852675 SOS 326546 HAS SOPS 326546 HAS SOUS 154067 HAS SOUPS 154067 WITH SCORE 154393.546
AT ITER 2684 NEW BEST:: SOT 1852662 SOS 326533 HAS SOPS 326533 HAS SOUS 154054 HAS SOUPS 154054 WITH SCORE 154380.533
AT ITER 2695 NEW BEST:: SOT 1852401 SOS 326203 HAS SOPS 326203 HAS SOUS 153968 HAS SOUPS 153968 WITH SCORE 154294.203
AT ITER 2714 NEW BEST:: SOT 1852161 SOS 325675 HAS SOPS 325675 HAS SOUS 153632 HAS SOUPS 153632 WITH SCORE 153957.675
AT ITER 2744 NEW BEST:: SOT 1852149 SOS 325651 HAS SOPS 325651 HAS SOUS 153608 HAS SOUPS 153608 WITH SCORE 153933.651
AT ITER 2748 NEW BEST:: SOT 1852037 SOS 325539 HAS SOPS 325539 HAS SOUS 153496 HAS SOUPS 153496 WITH SCORE 153821.539
AT ITER 2800 NEW BEST:: SOT 1852037 SOS 325521 HAS SOPS 325521 HAS SOUS 153478 HAS SOUPS 153478 WITH SCORE 153803.521
AT ITER 2841 NEW BEST:: SOT 1852001 SOS 325377 HAS SOPS 325377 HAS SOUS 153460 HAS SOUPS 153460 WITH SCORE 153785.377
AT ITER 2930 NEW BEST:: SOT 1851866 SOS 325215 HAS SOPS 325215 HAS SOUS 153298 HAS SOUPS 153298 WITH SCORE 153623.215
AT ITER 2944 NEW BEST:: SOT 1851636 SOS 324985 HAS SOPS 324985 HAS SOUS 153068 HAS SOUPS 153068 WITH SCORE 153392.985
AT ITER 3029 NEW BEST:: SOT 1851594 SOS 324946 HAS SOPS 324946 HAS SOUS 153029 HAS SOUPS 153029 WITH SCORE 153353.946
AT ITER 3032 NEW BEST:: SOT 1851594 SOS 325070 HAS SOPS 325070 HAS SOUS 152981 HAS SOUPS 152981 WITH SCORE 153306.07
AT ITER 3063 NEW BEST:: SOT 1851573 SOS 324944 HAS SOPS 324944 HAS SOUS 152939 HAS SOUPS 152939 WITH SCORE 153263.944
AT ITER 3074 NEW BEST:: SOT 1851573 SOS 325194 HAS SOPS 325194 HAS SOUS 152780 HAS SOUPS 152780 WITH SCORE 153105.194
AT ITER 3081 NEW BEST:: SOT 1851573 SOS 324792 HAS SOPS 324792 HAS SOUS 152646 HAS SOUPS 152646 WITH SCORE 152970.792
AT ITER 3089 NEW BEST:: SOT 1851561 SOS 324768 HAS SOPS 324768 HAS SOUS 152622 HAS SOUPS 152622 WITH SCORE 152946.768
AT ITER 3123 NEW BEST:: SOT 1851328 SOS 324338 HAS SOPS 324338 HAS SOUS 152384 HAS SOUPS 152384 WITH SCORE 152708.338
AT ITER 3132 NEW BEST:: SOT 1851325 SOS 324335 HAS SOPS 324335 HAS SOUS 152384 HAS SOUPS 152384 WITH SCORE 152708.335
AT ITER 3145 NEW BEST:: SOT 1851255 SOS 324251 HAS SOPS 324251 HAS SOUS 152300 HAS SOUPS 152300 WITH SCORE 152624.251
AT ITER 3162 NEW BEST:: SOT 1851245 SOS 324231 HAS SOPS 324231 HAS SOUS 152280 HAS SOUPS 152280 WITH SCORE 152604.231
AT ITER 3176 NEW BEST:: SOT 1850983 SOS 323983 HAS SOPS 323983 HAS SOUS 152102 HAS SOUPS 152102 WITH SCORE 152425.983
AT ITER 3183 NEW BEST:: SOT 1850674 SOS 323365 HAS SOPS 323365 HAS SOUS 151930 HAS SOUPS 151930 WITH SCORE 152253.365
AT ITER 3249 NEW BEST:: SOT 1850652 SOS 323211 HAS SOPS 323211 HAS SOUS 151864 HAS SOUPS 151864 WITH SCORE 152187.211
AT ITER 3301 NEW BEST:: SOT 1850593 SOS 322857 HAS SOPS 322857 HAS SOUS 151746 HAS SOUPS 151746 WITH SCORE 152068.857
AT ITER 3356 NEW BEST:: SOT 1850503 SOS 322749 HAS SOPS 322749 HAS SOUS 151650 HAS SOUPS 151650 WITH SCORE 151972.749
AT ITER 3376 NEW BEST:: SOT 1850475 SOS 322721 HAS SOPS 322721 HAS SOUS 151632 HAS SOUPS 151632 WITH SCORE 151954.721
AT ITER 3386 NEW BEST:: SOT 1850475 SOS 322721 HAS SOPS 322721 HAS SOUS 151615 HAS SOUPS 151615 WITH SCORE 151937.721
AT ITER 3431 NEW BEST:: SOT 1850441 SOS 322687 HAS SOPS 322687 HAS SOUS 151581 HAS SOUPS 151581 WITH SCORE 151903.687
AT ITER 3536 NEW BEST:: SOT 1850441 SOS 322757 HAS SOPS 322757 HAS SOUS 151527 HAS SOUPS 151527 WITH SCORE 151849.757
AT ITER 3564 NEW BEST:: SOT 1850441 SOS 322966 HAS SOPS 322966 HAS SOUS 151468 HAS SOUPS 151468 WITH SCORE 151790.966
AT ITER 3571 NEW BEST:: SOT 1850421 SOS 322846 HAS SOPS 322846 HAS SOUS 151428 HAS SOUPS 151428 WITH SCORE 151750.846
AT ITER 3599 NEW BEST:: SOT 1850076 SOS 322040 HAS SOPS 322040 HAS SOUS 151154 HAS SOUPS 151154 WITH SCORE 151476.04
AT ITER 3618 NEW BEST:: SOT 1850030 SOS 321948 HAS SOPS 321948 HAS SOUS 150878 HAS SOUPS 150878 WITH SCORE 151199.948
AT ITER 3621 NEW BEST:: SOT 1850030 SOS 321783 HAS SOPS 321783 HAS SOUS 150857 HAS SOUPS 150857 WITH SCORE 151178.783
AT ITER 3669 NEW BEST:: SOT 1849898 SOS 321651 HAS SOPS 321651 HAS SOUS 150725 HAS SOUPS 150725 WITH SCORE 151046.651
AT ITER 3691 NEW BEST:: SOT 1849798 SOS 321276 HAS SOPS 321276 HAS SOUS 150554 HAS SOUPS 150554 WITH SCORE 150875.276
AT ITER 3711 NEW BEST:: SOT 1849759 SOS 321042 HAS SOPS 321042 HAS SOUS 150476 HAS SOUPS 150476 WITH SCORE 150797.042
AT ITER 3741 NEW BEST:: SOT 1849624 SOS 320776 HAS SOPS 320776 HAS SOUS 150394 HAS SOUPS 150394 WITH SCORE 150714.776
AT ITER 3818 NEW BEST:: SOT 1849588 SOS 320560 HAS SOPS 320560 HAS SOUS 150322 HAS SOUPS 150322 WITH SCORE 150642.56
AT ITER 3841 NEW BEST:: SOT 1849353 SOS 320278 HAS SOPS 320278 HAS SOUS 150106 HAS SOUPS 150106 WITH SCORE 150426.278
AT ITER 3864 NEW BEST:: SOT 1849027 SOS 319626 HAS SOPS 319626 HAS SOUS 149846 HAS SOUPS 149846 WITH SCORE 150165.626
AT ITER 3888 NEW BEST:: SOT 1848715 SOS 319002 HAS SOPS 319002 HAS SOUS 149630 HAS SOUPS 149630 WITH SCORE 149949.002
AT ITER 3918 NEW BEST:: SOT 1848550 SOS 318639 HAS SOPS 318639 HAS SOUS 149399 HAS SOUPS 149399 WITH SCORE 149717.639
AT ITER 3926 NEW BEST:: SOT 1848511 SOS 318405 HAS SOPS 318405 HAS SOUS 149321 HAS SOUPS 149321 WITH SCORE 149639.405
AT ITER 3931 NEW BEST:: SOT 1848489 SOS 318273 HAS SOPS 318273 HAS SOUS 149277 HAS SOUPS 149277 WITH SCORE 149595.273
AT ITER 3936 NEW BEST:: SOT 1848481 SOS 318265 HAS SOPS 318265 HAS SOUS 149269 HAS SOUPS 149269 WITH SCORE 149587.265
AT ITER 4005 NEW BEST:: SOT 1848431 SOS 318133 HAS SOPS 318133 HAS SOUS 149231 HAS SOUPS 149231 WITH SCORE 149549.133
AT ITER 4041 NEW BEST:: SOT 1848420 SOS 318067 HAS SOPS 318067 HAS SOUS 149209 HAS SOUPS 149209 WITH SCORE 149527.067
AT ITER 4068 NEW BEST:: SOT 1848420 SOS 317989 HAS SOPS 317989 HAS SOUS 149203 HAS SOUPS 149203 WITH SCORE 149520.989
AT ITER 4078 NEW BEST:: SOT 1848310 SOS 317879 HAS SOPS 317879 HAS SOUS 149093 HAS SOUPS 149093 WITH SCORE 149410.879
AT ITER 4095 NEW BEST:: SOT 1848310 SOS 317879 HAS SOPS 317879 HAS SOUS 149072 HAS SOUPS 149072 WITH SCORE 149389.879
AT ITER 4101 NEW BEST:: SOT 1848046 SOS 317615 HAS SOPS 317615 HAS SOUS 148808 HAS SOUPS 148808 WITH SCORE 149125.615
AT ITER 4227 NEW BEST:: SOT 1847856 SOS 317235 HAS SOPS 317235 HAS SOUS 148580 HAS SOUPS 148580 WITH SCORE 148897.235
AT ITER 4242 NEW BEST:: SOT 1847676 SOS 317057 HAS SOPS 317057 HAS SOUS 148406 HAS SOUPS 148406 WITH SCORE 148723.057
AT ITER 4325 NEW BEST:: SOT 1847620 SOS 317001 HAS SOPS 317001 HAS SOUS 148406 HAS SOUPS 148406 WITH SCORE 148723.001
AT ITER 4352 NEW BEST:: SOT 1847576 SOS 316657 HAS SOPS 316657 HAS SOUS 148238 HAS SOUPS 148238 WITH SCORE 148554.657
AT ITER 4406 NEW BEST:: SOT 1847562 SOS 316643 HAS SOPS 316643 HAS SOUS 148210 HAS SOUPS 148210 WITH SCORE 148526.643
AT ITER 4468 NEW BEST:: SOT 1847562 SOS 316779 HAS SOPS 316779 HAS SOUS 148106 HAS SOUPS 148106 WITH SCORE 148422.779
AT ITER 4473 NEW BEST:: SOT 1847497 SOS 316649 HAS SOPS 316649 HAS SOUS 148028 HAS SOUPS 148028 WITH SCORE 148344.649
AT ITER 4539 NEW BEST:: SOT 1847497 SOS 316589 HAS SOPS 316589 HAS SOUS 147968 HAS SOUPS 147968 WITH SCORE 148284.589
AT ITER 4556 NEW BEST:: SOT 1847455 SOS 316337 HAS SOPS 316337 HAS SOUS 147884 HAS SOUPS 147884 WITH SCORE 148200.337
AT ITER 4588 NEW BEST:: SOT 1847455 SOS 316675 HAS SOPS 316675 HAS SOUS 147842 HAS SOUPS 147842 WITH SCORE 148158.675
AT ITER 4660 NEW BEST:: SOT 1847141 SOS 316047 HAS SOPS 316047 HAS SOUS 147620 HAS SOUPS 147620 WITH SCORE 147936.047
AT ITER 4680 NEW BEST:: SOT 1846906 SOS 315565 HAS SOPS 315565 HAS SOUS 147338 HAS SOUPS 147338 WITH SCORE 147653.565
AT ITER 4763 NEW BEST:: SOT 1846851 SOS 315510 HAS SOPS 315510 HAS SOUS 147283 HAS SOUPS 147283 WITH SCORE 147598.51
AT ITER 4819 NEW BEST:: SOT 1846828 SOS 315487 HAS SOPS 315487 HAS SOUS 147245 HAS SOUPS 147245 WITH SCORE 147560.487
AT ITER 4843 NEW BEST:: SOT 1846812 SOS 315455 HAS SOPS 315455 HAS SOUS 147193 HAS SOUPS 147193 WITH SCORE 147508.455
AT ITER 4859 NEW BEST:: SOT 1846637 SOS 314969 HAS SOPS 314969 HAS SOUS 147087 HAS SOUPS 147087 WITH SCORE 147401.969
AT ITER 4935 NEW BEST:: SOT 1846417 SOS 314705 HAS SOPS 314705 HAS SOUS 146823 HAS SOUPS 146823 WITH SCORE 147137.705
AT ITER 4977 NEW BEST:: SOT 1846475 SOS 314729 HAS SOPS 314729 HAS SOUS 146743 HAS SOUPS 146743 WITH SCORE 147057.729
AT ITER 5013 NEW BEST:: SOT 1846455 SOS 314709 HAS SOPS 314709 HAS SOUS 146723 HAS SOUPS 146723 WITH SCORE 147037.709
AT ITER 5094 NEW BEST:: SOT 1846441 SOS 314681 HAS SOPS 314681 HAS SOUS 146695 HAS SOUPS 146695 WITH SCORE 147009.681
AT ITER 5095 NEW BEST:: SOT 1846419 SOS 314659 HAS SOPS 314659 HAS SOUS 146673 HAS SOUPS 146673 WITH SCORE 146987.659
AT ITER 5114 NEW BEST:: SOT 1846404 SOS 314193 HAS SOPS 314193 HAS SOUS 146603 HAS SOUPS 146603 WITH SCORE 146917.193
AT ITER 5128 NEW BEST:: SOT 1846399 SOS 314183 HAS SOPS 314183 HAS SOUS 146593 HAS SOUPS 146593 WITH SCORE 146907.183
AT ITER 5140 NEW BEST:: SOT 1846357 SOS 314141 HAS SOPS 314141 HAS SOUS 146551 HAS SOUPS 146551 WITH SCORE 146865.141
AT ITER 5149 NEW BEST:: SOT 1846317 SOS 314101 HAS SOPS 314101 HAS SOUS 146511 HAS SOUPS 146511 WITH SCORE 146825.101
AT ITER 5197 NEW BEST:: SOT 1846267 SOS 314051 HAS SOPS 314051 HAS SOUS 146461 HAS SOUPS 146461 WITH SCORE 146775.051
AT ITER 5217 NEW BEST:: SOT 1846252 SOS 313598 HAS SOPS 313598 HAS SOUS 146416 HAS SOUPS 146416 WITH SCORE 146729.598
AT ITER 5231 NEW BEST:: SOT 1846252 SOS 313598 HAS SOPS 313598 HAS SOUS 146324 HAS SOUPS 146324 WITH SCORE 146637.598
AT ITER 5235 NEW BEST:: SOT 1846097 SOS 313412 HAS SOPS 313412 HAS SOUS 146138 HAS SOUPS 146138 WITH SCORE 146451.412
AT ITER 5253 NEW BEST:: SOT 1846097 SOS 313462 HAS SOPS 313462 HAS SOUS 146136 HAS SOUPS 146136 WITH SCORE 146449.462
AT ITER 5257 NEW BEST:: SOT 1846097 SOS 313492 HAS SOPS 313492 HAS SOUS 146118 HAS SOUPS 146118 WITH SCORE 146431.492
AT ITER 5262 NEW BEST:: SOT 1846007 SOS 313402 HAS SOPS 313402 HAS SOUS 146028 HAS SOUPS 146028 WITH SCORE 146341.402
AT ITER 5271 NEW BEST:: SOT 1845973 SOS 313168 HAS SOPS 313168 HAS SOUS 145918 HAS SOUPS 145918 WITH SCORE 146231.168
AT ITER 5314 NEW BEST:: SOT 1846038 SOS 313164 HAS SOPS 313164 HAS SOUS 145819 HAS SOUPS 145819 WITH SCORE 146132.164
AT ITER 5320 NEW BEST:: SOT 1846038 SOS 313290 HAS SOPS 313290 HAS SOUS 145789 HAS SOUPS 145789 WITH SCORE 146102.29
AT ITER 5358 NEW BEST:: SOT 1846030 SOS 313274 HAS SOPS 313274 HAS SOUS 145773 HAS SOUPS 145773 WITH SCORE 146086.274
AT ITER 5374 NEW BEST:: SOT 1845990 SOS 313034 HAS SOPS 313034 HAS SOUS 145693 HAS SOUPS 145693 WITH SCORE 146006.034
AT ITER 5440 NEW BEST:: SOT 1845985 SOS 313023 HAS SOPS 313023 HAS SOUS 145686 HAS SOUPS 145686 WITH SCORE 145999.023
AT ITER 5486 NEW BEST:: SOT 1845985 SOS 312771 HAS SOPS 312771 HAS SOUS 145602 HAS SOUPS 145602 WITH SCORE 145914.771
AT ITER 5730 NEW BEST:: SOT 1845985 SOS 312836 HAS SOPS 312836 HAS SOUS 145588 HAS SOUPS 145588 WITH SCORE 145900.836
AT ITER 5762 NEW BEST:: SOT 1845985 SOS 312881 HAS SOPS 312881 HAS SOUS 145561 HAS SOUPS 145561 WITH SCORE 145873.881
AT ITER 5788 NEW BEST:: SOT 1845940 SOS 312805 HAS SOPS 312805 HAS SOUS 145553 HAS SOUPS 145553 WITH SCORE 145865.805
AT ITER 5791 NEW BEST:: SOT 1845940 SOS 312783 HAS SOPS 312783 HAS SOUS 145499 HAS SOUPS 145499 WITH SCORE 145811.783
AT ITER 5843 NEW BEST:: SOT 1845940 SOS 312781 HAS SOPS 312781 HAS SOUS 145497 HAS SOUPS 145497 WITH SCORE 145809.781
AT ITER 5857 NEW BEST:: SOT 1845894 SOS 312735 HAS SOPS 312735 HAS SOUS 145447 HAS SOUPS 145447 WITH SCORE 145759.735
AT ITER 5923 NEW BEST:: SOT 1845886 SOS 312727 HAS SOPS 312727 HAS SOUS 145415 HAS SOUPS 145415 WITH SCORE 145727.727
AT ITER 5977 NEW BEST:: SOT 1845885 SOS 312726 HAS SOPS 312726 HAS SOUS 145414 HAS SOUPS 145414 WITH SCORE 145726.726
AT ITER 6008 NEW BEST:: SOT 1845898 SOS 312739 HAS SOPS 312739 HAS SOUS 145397 HAS SOUPS 145397 WITH SCORE 145709.739
AT ITER 6069 NEW BEST:: SOT 1845883 SOS 312513 HAS SOPS 312513 HAS SOUS 145375 HAS SOUPS 145375 WITH SCORE 145687.513
AT ITER 6096 NEW BEST:: SOT 1845913 SOS 312543 HAS SOPS 312543 HAS SOUS 145345 HAS SOUPS 145345 WITH SCORE 145657.543
AT ITER 6105 NEW BEST:: SOT 1845910 SOS 312540 HAS SOPS 312540 HAS SOUS 145336 HAS SOUPS 145336 WITH SCORE 145648.54
AT ITER 6136 NEW BEST:: SOT 1845910 SOS 312625 HAS SOPS 312625 HAS SOUS 145276 HAS SOUPS 145276 WITH SCORE 145588.625
AT ITER 6152 NEW BEST:: SOT 1845865 SOS 312571 HAS SOPS 312571 HAS SOUS 145222 HAS SOUPS 145222 WITH SCORE 145534.571
AT ITER 6192 NEW BEST:: SOT 1845865 SOS 312571 HAS SOPS 312571 HAS SOUS 145174 HAS SOUPS 145174 WITH SCORE 145486.571
AT ITER 6370 NEW BEST:: SOT 1845670 SOS 312142 HAS SOPS 312142 HAS SOUS 144901 HAS SOUPS 144901 WITH SCORE 145213.142
AT ITER 6406 NEW BEST:: SOT 1845627 SOS 312056 HAS SOPS 312056 HAS SOUS 144763 HAS SOUPS 144763 WITH SCORE 145075.056
AT ITER 6470 NEW BEST:: SOT 1845583 SOS 311968 HAS SOPS 311968 HAS SOUS 144675 HAS SOUPS 144675 WITH SCORE 144986.968
AT ITER 6477 NEW BEST:: SOT 1845553 SOS 311788 HAS SOPS 311788 HAS SOUS 144615 HAS SOUPS 144615 WITH SCORE 144926.788
AT ITER 6508 NEW BEST:: SOT 1845532 SOS 311767 HAS SOPS 311767 HAS SOUS 144594 HAS SOUPS 144594 WITH SCORE 144905.767
AT ITER 6552 NEW BEST:: SOT 1845420 SOS 311375 HAS SOPS 311375 HAS SOUS 144526 HAS SOUPS 144526 WITH SCORE 144837.375
AT ITER 6601 NEW BEST:: SOT 1845411 SOS 311357 HAS SOPS 311357 HAS SOUS 144508 HAS SOUPS 144508 WITH SCORE 144819.357
AT ITER 6606 NEW BEST:: SOT 1845411 SOS 311357 HAS SOPS 311357 HAS SOUS 144505 HAS SOUPS 144505 WITH SCORE 144816.357
AT ITER 6686 NEW BEST:: SOT 1845411 SOS 311160 HAS SOPS 311160 HAS SOUS 144488 HAS SOUPS 144488 WITH SCORE 144799.16
AT ITER 6715 NEW BEST:: SOT 1845376 SOS 311125 HAS SOPS 311125 HAS SOUS 144453 HAS SOUPS 144453 WITH SCORE 144764.125
AT ITER 6716 NEW BEST:: SOT 1845349 SOS 310963 HAS SOPS 310963 HAS SOUS 144399 HAS SOUPS 144399 WITH SCORE 144709.963
AT ITER 6723 NEW BEST:: SOT 1845414 SOS 311093 HAS SOPS 311093 HAS SOUS 144365 HAS SOUPS 144365 WITH SCORE 144676.093
AT ITER 6772 NEW BEST:: SOT 1845304 SOS 310666 HAS SOPS 310666 HAS SOUS 144322 HAS SOUPS 144322 WITH SCORE 144632.666
AT ITER 6789 NEW BEST:: SOT 1845304 SOS 310666 HAS SOPS 310666 HAS SOUS 144234 HAS SOUPS 144234 WITH SCORE 144544.666
AT ITER 6809 NEW BEST:: SOT 1845290 SOS 310652 HAS SOPS 310652 HAS SOUS 144188 HAS SOUPS 144188 WITH SCORE 144498.652
AT ITER 6845 NEW BEST:: SOT 1845308 SOS 310670 HAS SOPS 310670 HAS SOUS 144174 HAS SOUPS 144174 WITH SCORE 144484.67
AT ITER 6934 NEW BEST:: SOT 1845305 SOS 310782 HAS SOPS 310782 HAS SOUS 144134 HAS SOUPS 144134 WITH SCORE 144444.782
AT ITER 6982 NEW BEST:: SOT 1845305 SOS 310762 HAS SOPS 310762 HAS SOUS 144034 HAS SOUPS 144034 WITH SCORE 144344.762
AT ITER 7022 NEW BEST:: SOT 1845305 SOS 310702 HAS SOPS 310702 HAS SOUS 144014 HAS SOUPS 144014 WITH SCORE 144324.702
AT ITER 7026 NEW BEST:: SOT 1845320 SOS 310691 HAS SOPS 310691 HAS SOUS 144003 HAS SOUPS 144003 WITH SCORE 144313.691
AT ITER 7147 NEW BEST:: SOT 1845320 SOS 310683 HAS SOPS 310683 HAS SOUS 143986 HAS SOUPS 143986 WITH SCORE 144296.683
AT ITER 7186 NEW BEST:: SOT 1845320 SOS 310683 HAS SOPS 310683 HAS SOUS 143967 HAS SOUPS 143967 WITH SCORE 144277.683
AT ITER 7190 NEW BEST:: SOT 1845230 SOS 310405 HAS SOPS 310405 HAS SOUS 143932 HAS SOUPS 143932 WITH SCORE 144242.405
AT ITER 7215 NEW BEST:: SOT 1845222 SOS 310349 HAS SOPS 310349 HAS SOUS 143908 HAS SOUPS 143908 WITH SCORE 144218.349
AT ITER 7251 NEW BEST:: SOT 1844877 SOS 309567 HAS SOPS 309567 HAS SOUS 143534 HAS SOUPS 143534 WITH SCORE 143843.567
AT ITER 7273 NEW BEST:: SOT 1844870 SOS 309560 HAS SOPS 309560 HAS SOUS 143520 HAS SOUPS 143520 WITH SCORE 143829.56
AT ITER 7297 NEW BEST:: SOT 1844525 SOS 308808 HAS SOPS 308808 HAS SOUS 143072 HAS SOUPS 143072 WITH SCORE 143380.808
AT ITER 7299 NEW BEST:: SOT 1844525 SOS 308808 HAS SOPS 308808 HAS SOUS 143008 HAS SOUPS 143008 WITH SCORE 143316.808
AT ITER 7425 NEW BEST:: SOT 1844444 SOS 308734 HAS SOPS 308734 HAS SOUS 142938 HAS SOUPS 142938 WITH SCORE 143246.734
AT ITER 7446 NEW BEST:: SOT 1844416 SOS 308566 HAS SOPS 308566 HAS SOUS 142882 HAS SOUPS 142882 WITH SCORE 143190.566
AT ITER 7459 NEW BEST:: SOT 1844402 SOS 308427 HAS SOPS 308427 HAS SOUS 142795 HAS SOUPS 142795 WITH SCORE 143103.427
AT ITER 7492 NEW BEST:: SOT 1844402 SOS 308414 HAS SOPS 308414 HAS SOUS 142782 HAS SOUPS 142782 WITH SCORE 143090.414
AT ITER 7525 NEW BEST:: SOT 1844447 SOS 308763 HAS SOPS 308763 HAS SOUS 142656 HAS SOUPS 142656 WITH SCORE 142964.763
AT ITER 7549 NEW BEST:: SOT 1844444 SOS 308760 HAS SOPS 308760 HAS SOUS 142638 HAS SOUPS 142638 WITH SCORE 142946.76
AT ITER 7586 NEW BEST:: SOT 1844401 SOS 308717 HAS SOPS 308717 HAS SOUS 142586 HAS SOUPS 142586 WITH SCORE 142894.717
AT ITER 7614 NEW BEST:: SOT 1844406 SOS 308653 HAS SOPS 308653 HAS SOUS 142522 HAS SOUPS 142522 WITH SCORE 142830.653
AT ITER 7641 NEW BEST:: SOT 1844406 SOS 308438 HAS SOPS 308438 HAS SOUS 142511 HAS SOUPS 142511 WITH SCORE 142819.438
AT ITER 7647 NEW BEST:: SOT 1844406 SOS 308438 HAS SOPS 308438 HAS SOUS 142501 HAS SOUPS 142501 WITH SCORE 142809.438
AT ITER 7673 NEW BEST:: SOT 1844396 SOS 308426 HAS SOPS 308426 HAS SOUS 142481 HAS SOUPS 142481 WITH SCORE 142789.426
AT ITER 7700 NEW BEST:: SOT 1844340 SOS 308244 HAS SOPS 308244 HAS SOUS 142383 HAS SOUPS 142383 WITH SCORE 142691.244
AT ITER 7712 NEW BEST:: SOT 1844325 SOS 308154 HAS SOPS 308154 HAS SOUS 142353 HAS SOUPS 142353 WITH SCORE 142661.154
AT ITER 7728 NEW BEST:: SOT 1844325 SOS 307949 HAS SOPS 307949 HAS SOUS 142312 HAS SOUPS 142312 WITH SCORE 142619.949
AT ITER 7870 NEW BEST:: SOT 1844296 SOS 307891 HAS SOPS 307891 HAS SOUS 142206 HAS SOUPS 142206 WITH SCORE 142513.891
AT ITER 7977 NEW BEST:: SOT 1844264 SOS 307699 HAS SOPS 307699 HAS SOUS 142142 HAS SOUPS 142142 WITH SCORE 142449.699
AT ITER 7988 NEW BEST:: SOT 1844264 SOS 307699 HAS SOPS 307699 HAS SOUS 142133 HAS SOUPS 142133 WITH SCORE 142440.699
AT ITER 8015 NEW BEST:: SOT 1844204 SOS 307627 HAS SOPS 307627 HAS SOUS 142061 HAS SOUPS 142061 WITH SCORE 142368.627
AT ITER 8045 NEW BEST:: SOT 1844184 SOS 307607 HAS SOPS 307607 HAS SOUS 142041 HAS SOUPS 142041 WITH SCORE 142348.607
AT ITER 8082 NEW BEST:: SOT 1843985 SOS 307209 HAS SOPS 307209 HAS SOUS 141823 HAS SOUPS 141823 WITH SCORE 142130.209
AT ITER 8255 NEW BEST:: SOT 1843969 SOS 307113 HAS SOPS 307113 HAS SOUS 141791 HAS SOUPS 141791 WITH SCORE 142098.113
AT ITER 8338 NEW BEST:: SOT 1843969 SOS 307113 HAS SOPS 307113 HAS SOUS 141777 HAS SOUPS 141777 WITH SCORE 142084.113
AT ITER 8365 NEW BEST:: SOT 1843918 SOS 306806 HAS SOPS 306806 HAS SOUS 141634 HAS SOUPS 141634 WITH SCORE 141940.806
AT ITER 8434 NEW BEST:: SOT 1843915 SOS 306699 HAS SOPS 306699 HAS SOUS 141619 HAS SOUPS 141619 WITH SCORE 141925.699
AT ITER 8465 NEW BEST:: SOT 1843973 SOS 306735 HAS SOPS 306735 HAS SOUS 141552 HAS SOUPS 141552 WITH SCORE 141858.735
AT ITER 8544 NEW BEST:: SOT 1843973 SOS 306735 HAS SOPS 306735 HAS SOUS 141485 HAS SOUPS 141485 WITH SCORE 141791.735
AT ITER 8577 NEW BEST:: SOT 1843948 SOS 306560 HAS SOPS 306560 HAS SOUS 141410 HAS SOUPS 141410 WITH SCORE 141716.56
AT ITER 8615 NEW BEST:: SOT 1843796 SOS 306408 HAS SOPS 306408 HAS SOUS 141258 HAS SOUPS 141258 WITH SCORE 141564.408
AT ITER 8625 NEW BEST:: SOT 1843740 SOS 306352 HAS SOPS 306352 HAS SOUS 141202 HAS SOUPS 141202 WITH SCORE 141508.352
AT ITER 8653 NEW BEST:: SOT 1843692 SOS 306304 HAS SOPS 306304 HAS SOUS 141154 HAS SOUPS 141154 WITH SCORE 141460.304
AT ITER 8671 NEW BEST:: SOT 1843347 SOS 305587 HAS SOPS 305587 HAS SOUS 140913 HAS SOUPS 140913 WITH SCORE 141218.587
AT ITER 8732 NEW BEST:: SOT 1843360 SOS 305600 HAS SOPS 305600 HAS SOUS 140900 HAS SOUPS 140900 WITH SCORE 141205.6
AT ITER 8762 NEW BEST:: SOT 1843364 SOS 305589 HAS SOPS 305589 HAS SOUS 140889 HAS SOUPS 140889 WITH SCORE 141194.589
AT ITER 8855 NEW BEST:: SOT 1843299 SOS 305511 HAS SOPS 305511 HAS SOUS 140811 HAS SOUPS 140811 WITH SCORE 141116.511
AT ITER 8900 NEW BEST:: SOT 1843299 SOS 305511 HAS SOPS 305511 HAS SOUS 140791 HAS SOUPS 140791 WITH SCORE 141096.511
AT ITER 8966 NEW BEST:: SOT 1843299 SOS 305511 HAS SOPS 305511 HAS SOUS 140783 HAS SOUPS 140783 WITH SCORE 141088.511
AT ITER 9026 NEW BEST:: SOT 1843299 SOS 305137 HAS SOPS 305137 HAS SOUS 140709 HAS SOUPS 140709 WITH SCORE 141014.137
AT ITER 9094 NEW BEST:: SOT 1843252 SOS 304855 HAS SOPS 304855 HAS SOUS 140615 HAS SOUPS 140615 WITH SCORE 140919.855
AT ITER 9128 NEW BEST:: SOT 1843212 SOS 304719 HAS SOPS 304719 HAS SOUS 140599 HAS SOUPS 140599 WITH SCORE 140903.719
AT ITER 9136 NEW BEST:: SOT 1843132 SOS 304543 HAS SOPS 304543 HAS SOUS 140487 HAS SOUPS 140487 WITH SCORE 140791.543
AT ITER 9173 NEW BEST:: SOT 1843132 SOS 304618 HAS SOPS 304618 HAS SOUS 140442 HAS SOUPS 140442 WITH SCORE 140746.618
AT ITER 9245 NEW BEST:: SOT 1843027 SOS 304492 HAS SOPS 304492 HAS SOUS 140316 HAS SOUPS 140316 WITH SCORE 140620.492
AT ITER 9296 NEW BEST:: SOT 1842828 SOS 304146 HAS SOPS 304146 HAS SOUS 140150 HAS SOUPS 140150 WITH SCORE 140454.146
AT ITER 9343 NEW BEST:: SOT 1842710 SOS 303938 HAS SOPS 303938 HAS SOUS 140014 HAS SOUPS 140014 WITH SCORE 140317.938
AT ITER 9459 NEW BEST:: SOT 1842595 SOS 303823 HAS SOPS 303823 HAS SOUS 139899 HAS SOUPS 139899 WITH SCORE 140202.823
AT ITER 9553 NEW BEST:: SOT 1842595 SOS 303823 HAS SOPS 303823 HAS SOUS 139885 HAS SOUPS 139885 WITH SCORE 140188.823
AT ITER 9649 NEW BEST:: SOT 1842415 SOS 303654 HAS SOPS 303654 HAS SOUS 139760 HAS SOUPS 139760 WITH SCORE 140063.654
AT ITER 9805 NEW BEST:: SOT 1842393 SOS 303522 HAS SOPS 303522 HAS SOUS 139716 HAS SOUPS 139716 WITH SCORE 140019.522
AT ITER 9840 NEW BEST:: SOT 1842384 SOS 303664 HAS SOPS 303664 HAS SOUS 139650 HAS SOUPS 139650 WITH SCORE 139953.664
AT ITER 9894 NEW BEST:: SOT 1842431 SOS 303902 HAS SOPS 303902 HAS SOUS 139632 HAS SOUPS 139632 WITH SCORE 139935.902
AT ITER 9897 NEW BEST:: SOT 1842406 SOS 303872 HAS SOPS 303872 HAS SOUS 139602 HAS SOUPS 139602 WITH SCORE 139905.872
AT ITER 9978 NEW BEST:: SOT 1842654 SOS 304430 HAS SOPS 304430 HAS SOUS 139584 HAS SOUPS 139584 WITH SCORE 139888.43
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 193696 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16292612 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

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="HypercubeGrid-PT-C3K4P4B12"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is HypercubeGrid-PT-C3K4P4B12, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r227-tall-167856409800008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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