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.r131-smll-167819406600024.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 Dekker-PT-020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819406600024
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 672K
-rw-r--r-- 1 mcc users 6.3K Feb 26 01:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 26 01:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 01:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 01:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 01:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 160K Feb 26 01:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 01:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 30K Feb 26 01:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 247K 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 1679818560393

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=Dekker-PT-020
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Dekker (PT), instance 020
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: 100 places, 440 transitions, 3240 arcs.
AT ITER 0 NEW BEST:: SOT 38527 SOS 34746 HAS SOPS 31950 HAS SOUS 31744 HAS SOUPS 30088 WITH SCORE 30122.746
AT ITER 1 NEW BEST:: SOT 37978 SOS 34763 HAS SOPS 31086 HAS SOUS 29519 HAS SOUPS 27875 WITH SCORE 27909.763
AT ITER 2 NEW BEST:: SOT 37978 SOS 34763 HAS SOPS 31069 HAS SOUS 29485 HAS SOUPS 27841 WITH SCORE 27875.763
AT ITER 5 NEW BEST:: SOT 37978 SOS 34763 HAS SOPS 31059 HAS SOUS 29465 HAS SOUPS 27821 WITH SCORE 27855.763
AT ITER 9 NEW BEST:: SOT 37987 SOS 34646 HAS SOPS 30691 HAS SOUS 28387 HAS SOUPS 26784 WITH SCORE 26818.646
AT ITER 14 NEW BEST:: SOT 37389 SOS 34073 HAS SOPS 30093 HAS SOUS 27838 HAS SOUPS 26186 WITH SCORE 26220.073
AT ITER 16 NEW BEST:: SOT 36990 SOS 33674 HAS SOPS 29694 HAS SOUS 27456 HAS SOUPS 25787 WITH SCORE 25820.674
AT ITER 18 NEW BEST:: SOT 37007 SOS 33691 HAS SOPS 29702 HAS SOUS 27455 HAS SOUPS 25786 WITH SCORE 25819.691
AT ITER 20 NEW BEST:: SOT 37030 SOS 33533 HAS SOPS 29353 HAS SOUS 26356 HAS SOUPS 24733 WITH SCORE 24766.533
AT ITER 22 NEW BEST:: SOT 37030 SOS 33473 HAS SOPS 29437 HAS SOUS 26048 HAS SOUPS 24448 WITH SCORE 24481.473
AT ITER 26 NEW BEST:: SOT 37006 SOS 33323 HAS SOPS 29413 HAS SOUS 24827 HAS SOUPS 23252 WITH SCORE 23285.323
AT ITER 27 NEW BEST:: SOT 37068 SOS 33132 HAS SOPS 29115 HAS SOUS 23623 HAS SOUPS 22106 WITH SCORE 22139.132
AT ITER 29 NEW BEST:: SOT 37068 SOS 33064 HAS SOPS 29283 HAS SOUS 23335 HAS SOUPS 21845 WITH SCORE 21878.064
AT ITER 30 NEW BEST:: SOT 37116 SOS 32759 HAS SOPS 28976 HAS SOUS 22184 HAS SOUPS 20754 WITH SCORE 20786.759
AT ITER 31 NEW BEST:: SOT 36678 SOS 32165 HAS SOPS 28244 HAS SOUS 21580 HAS SOUPS 20150 WITH SCORE 20182.165
AT ITER 36 NEW BEST:: SOT 36394 SOS 31881 HAS SOPS 27949 HAS SOUS 21277 HAS SOUPS 19844 WITH SCORE 19875.881
AT ITER 39 NEW BEST:: SOT 35812 SOS 31299 HAS SOPS 27367 HAS SOUS 20708 HAS SOUPS 19262 WITH SCORE 19293.299
AT ITER 40 NEW BEST:: SOT 36599 SOS 31736 HAS SOPS 28028 HAS SOUS 20067 HAS SOUPS 18703 WITH SCORE 18734.736
AT ITER 41 NEW BEST:: SOT 36599 SOS 31618 HAS SOPS 28133 HAS SOUS 19820 HAS SOUPS 18480 WITH SCORE 18511.618
AT ITER 42 NEW BEST:: SOT 36804 SOS 31791 HAS SOPS 28338 HAS SOUS 19430 HAS SOUPS 18109 WITH SCORE 18140.791
AT ITER 45 NEW BEST:: SOT 36862 SOS 31256 HAS SOPS 28082 HAS SOUS 18349 HAS SOUPS 17117 WITH SCORE 17148.256
AT ITER 46 NEW BEST:: SOT 36566 SOS 30960 HAS SOPS 27786 HAS SOUS 18050 HAS SOUPS 16821 WITH SCORE 16851.96
AT ITER 48 NEW BEST:: SOT 36713 SOS 31084 HAS SOPS 27933 HAS SOUS 17760 HAS SOUPS 16554 WITH SCORE 16585.084
AT ITER 51 NEW BEST:: SOT 37000 SOS 30856 HAS SOPS 27864 HAS SOUS 16938 HAS SOUPS 15832 WITH SCORE 15862.856
AT ITER 52 NEW BEST:: SOT 37000 SOS 30856 HAS SOPS 27860 HAS SOUS 16930 HAS SOUPS 15824 WITH SCORE 15854.856
AT ITER 53 NEW BEST:: SOT 36896 SOS 30701 HAS SOPS 27672 HAS SOUS 16785 HAS SOUPS 15679 WITH SCORE 15709.701
AT ITER 55 NEW BEST:: SOT 36896 SOS 30686 HAS SOPS 27651 HAS SOUS 16777 HAS SOUPS 15671 WITH SCORE 15701.686
AT ITER 57 NEW BEST:: SOT 36894 SOS 30684 HAS SOPS 27649 HAS SOUS 16775 HAS SOUPS 15669 WITH SCORE 15699.684
AT ITER 58 NEW BEST:: SOT 36866 SOS 30656 HAS SOPS 27630 HAS SOUS 16756 HAS SOUPS 15659 WITH SCORE 15689.656
AT ITER 59 NEW BEST:: SOT 36866 SOS 30656 HAS SOPS 27611 HAS SOUS 16726 HAS SOUPS 15621 WITH SCORE 15651.656
AT ITER 61 NEW BEST:: SOT 36866 SOS 30656 HAS SOPS 27588 HAS SOUS 16680 HAS SOUPS 15575 WITH SCORE 15605.656
AT ITER 63 NEW BEST:: SOT 36866 SOS 30339 HAS SOPS 27417 HAS SOUS 16305 HAS SOUPS 15223 WITH SCORE 15253.339
AT ITER 65 NEW BEST:: SOT 36866 SOS 30228 HAS SOPS 27276 HAS SOUS 16286 HAS SOUPS 15204 WITH SCORE 15234.228
AT ITER 67 NEW BEST:: SOT 36873 SOS 30055 HAS SOPS 27314 HAS SOUS 15735 HAS SOUPS 14693 WITH SCORE 14723.055
AT ITER 69 NEW BEST:: SOT 36854 SOS 29782 HAS SOPS 26890 HAS SOUS 15521 HAS SOUPS 14479 WITH SCORE 14508.782
AT ITER 70 NEW BEST:: SOT 36871 SOS 29409 HAS SOPS 26845 HAS SOUS 14821 HAS SOUPS 13831 WITH SCORE 13860.409
AT ITER 71 NEW BEST:: SOT 36871 SOS 28731 HAS SOPS 25954 HAS SOUS 14564 HAS SOUPS 13574 WITH SCORE 13602.731
AT ITER 75 NEW BEST:: SOT 36871 SOS 28496 HAS SOPS 25693 HAS SOUS 14524 HAS SOUPS 13534 WITH SCORE 13562.496
AT ITER 78 NEW BEST:: SOT 36889 SOS 28506 HAS SOPS 25711 HAS SOUS 14436 HAS SOUPS 13446 WITH SCORE 13474.506
AT ITER 80 NEW BEST:: SOT 36889 SOS 28406 HAS SOPS 25585 HAS SOUS 14408 HAS SOUPS 13408 WITH SCORE 13436.406
AT ITER 83 NEW BEST:: SOT 36826 SOS 28343 HAS SOPS 25522 HAS SOUS 14345 HAS SOUPS 13345 WITH SCORE 13373.343
AT ITER 84 NEW BEST:: SOT 36454 SOS 27986 HAS SOPS 25135 HAS SOUS 14243 HAS SOUPS 13213 WITH SCORE 13240.986
AT ITER 89 NEW BEST:: SOT 36454 SOS 27942 HAS SOPS 25147 HAS SOUS 14059 HAS SOUPS 13053 WITH SCORE 13080.942
AT ITER 91 NEW BEST:: SOT 36921 SOS 28321 HAS SOPS 26187 HAS SOUS 13371 HAS SOUPS 12493 WITH SCORE 12521.321
AT ITER 92 NEW BEST:: SOT 37003 SOS 28325 HAS SOPS 26130 HAS SOUS 13367 HAS SOUPS 12489 WITH SCORE 12517.325
AT ITER 97 NEW BEST:: SOT 37003 SOS 28108 HAS SOPS 25844 HAS SOUS 13274 HAS SOUPS 12381 WITH SCORE 12409.108
AT ITER 99 NEW BEST:: SOT 37015 SOS 28123 HAS SOPS 25848 HAS SOUS 13253 HAS SOUPS 12371 WITH SCORE 12399.123
AT ITER 100 NEW BEST:: SOT 36854 SOS 27967 HAS SOPS 25687 HAS SOUS 13187 HAS SOUPS 12300 WITH SCORE 12327.967
AT ITER 102 NEW BEST:: SOT 36854 SOS 27971 HAS SOPS 25672 HAS SOUS 13168 HAS SOUPS 12281 WITH SCORE 12308.971
AT ITER 104 NEW BEST:: SOT 36824 SOS 27935 HAS SOPS 25642 HAS SOUS 13024 HAS SOUPS 12143 WITH SCORE 12170.935
AT ITER 113 NEW BEST:: SOT 36824 SOS 27862 HAS SOPS 25604 HAS SOUS 13017 HAS SOUPS 12138 WITH SCORE 12165.862
AT ITER 118 NEW BEST:: SOT 36824 SOS 27870 HAS SOPS 25604 HAS SOUS 13016 HAS SOUPS 12130 WITH SCORE 12157.87
AT ITER 119 NEW BEST:: SOT 36766 SOS 27999 HAS SOPS 25715 HAS SOUS 12989 HAS SOUPS 12033 WITH SCORE 12060.999
AT ITER 126 NEW BEST:: SOT 36766 SOS 27893 HAS SOPS 25547 HAS SOUS 12911 HAS SOUPS 11955 WITH SCORE 11982.893
AT ITER 131 NEW BEST:: SOT 36760 SOS 27887 HAS SOPS 25541 HAS SOUS 12895 HAS SOUPS 11949 WITH SCORE 11976.887
AT ITER 132 NEW BEST:: SOT 36534 SOS 27661 HAS SOPS 25315 HAS SOUS 12654 HAS SOUPS 11723 WITH SCORE 11750.661
AT ITER 134 NEW BEST:: SOT 36530 SOS 27680 HAS SOPS 25338 HAS SOUS 12650 HAS SOUPS 11712 WITH SCORE 11739.68
AT ITER 136 NEW BEST:: SOT 36530 SOS 27547 HAS SOPS 25198 HAS SOUS 12496 HAS SOUPS 11565 WITH SCORE 11592.547
AT ITER 140 NEW BEST:: SOT 36566 SOS 27368 HAS SOPS 25234 HAS SOUS 12007 HAS SOUPS 11113 WITH SCORE 11140.368
AT ITER 154 NEW BEST:: SOT 36693 SOS 27457 HAS SOPS 25361 HAS SOUS 11632 HAS SOUPS 10765 WITH SCORE 10792.457
AT ITER 162 NEW BEST:: SOT 36693 SOS 27263 HAS SOPS 25149 HAS SOUS 11606 HAS SOUPS 10739 WITH SCORE 10766.263
AT ITER 164 NEW BEST:: SOT 36424 SOS 27004 HAS SOPS 24880 HAS SOUS 11527 HAS SOUPS 10650 WITH SCORE 10677.004
AT ITER 168 NEW BEST:: SOT 36606 SOS 27165 HAS SOPS 25062 HAS SOUS 11430 HAS SOUPS 10568 WITH SCORE 10595.165
AT ITER 174 NEW BEST:: SOT 37170 SOS 27169 HAS SOPS 24812 HAS SOUS 10633 HAS SOUPS 9852 WITH SCORE 9879.169
AT ITER 178 NEW BEST:: SOT 37168 SOS 27135 HAS SOPS 24768 HAS SOUS 10617 HAS SOUPS 9836 WITH SCORE 9863.135
AT ITER 181 NEW BEST:: SOT 37168 SOS 26926 HAS SOPS 24557 HAS SOUS 10593 HAS SOUPS 9832 WITH SCORE 9858.926
AT ITER 183 NEW BEST:: SOT 37168 SOS 26923 HAS SOPS 24551 HAS SOUS 10587 HAS SOUPS 9826 WITH SCORE 9852.923
AT ITER 186 NEW BEST:: SOT 37162 SOS 26917 HAS SOPS 24545 HAS SOUS 10581 HAS SOUPS 9820 WITH SCORE 9846.917
AT ITER 187 NEW BEST:: SOT 37172 SOS 26927 HAS SOPS 24544 HAS SOUS 10565 HAS SOUPS 9808 WITH SCORE 9834.927
AT ITER 192 NEW BEST:: SOT 37172 SOS 26793 HAS SOPS 24418 HAS SOUS 10441 HAS SOUPS 9690 WITH SCORE 9716.793
AT ITER 193 NEW BEST:: SOT 37172 SOS 26603 HAS SOPS 24208 HAS SOUS 10382 HAS SOUPS 9650 WITH SCORE 9676.603
AT ITER 200 NEW BEST:: SOT 36986 SOS 26315 HAS SOPS 23898 HAS SOUS 10145 HAS SOUPS 9413 WITH SCORE 9439.315
AT ITER 201 NEW BEST:: SOT 36986 SOS 26230 HAS SOPS 23803 HAS SOUS 10125 HAS SOUPS 9398 WITH SCORE 9424.23
AT ITER 204 NEW BEST:: SOT 36987 SOS 26231 HAS SOPS 23803 HAS SOUS 10125 HAS SOUPS 9397 WITH SCORE 9423.231
AT ITER 205 NEW BEST:: SOT 36987 SOS 26082 HAS SOPS 23625 HAS SOUS 10062 HAS SOUPS 9342 WITH SCORE 9368.082
AT ITER 214 NEW BEST:: SOT 36975 SOS 26037 HAS SOPS 23554 HAS SOUS 10000 HAS SOUPS 9278 WITH SCORE 9304.037
AT ITER 217 NEW BEST:: SOT 36975 SOS 25715 HAS SOPS 23323 HAS SOUS 9929 HAS SOUPS 9243 WITH SCORE 9268.715
AT ITER 232 NEW BEST:: SOT 36922 SOS 25300 HAS SOPS 22873 HAS SOUS 9818 HAS SOUPS 9138 WITH SCORE 9163.3
AT ITER 241 NEW BEST:: SOT 36609 SOS 25002 HAS SOPS 22600 HAS SOUS 9712 HAS SOUPS 9024 WITH SCORE 9049.002
AT ITER 246 NEW BEST:: SOT 36609 SOS 24690 HAS SOPS 22182 HAS SOUS 9585 HAS SOUPS 8897 WITH SCORE 8921.69
AT ITER 250 NEW BEST:: SOT 36609 SOS 24617 HAS SOPS 22142 HAS SOUS 9578 HAS SOUPS 8892 WITH SCORE 8916.617
AT ITER 251 NEW BEST:: SOT 36612 SOS 24409 HAS SOPS 21985 HAS SOUS 9464 HAS SOUPS 8786 WITH SCORE 8810.409
AT ITER 254 NEW BEST:: SOT 36612 SOS 24322 HAS SOPS 21862 HAS SOUS 9416 HAS SOUPS 8738 WITH SCORE 8762.322
AT ITER 256 NEW BEST:: SOT 36612 SOS 24289 HAS SOPS 21823 HAS SOUS 9421 HAS SOUPS 8728 WITH SCORE 8752.289
AT ITER 259 NEW BEST:: SOT 36462 SOS 24167 HAS SOPS 21711 HAS SOUS 9285 HAS SOUPS 8590 WITH SCORE 8614.167
AT ITER 260 NEW BEST:: SOT 36462 SOS 24167 HAS SOPS 21707 HAS SOUS 9285 HAS SOUPS 8582 WITH SCORE 8606.167
AT ITER 262 NEW BEST:: SOT 36462 SOS 24008 HAS SOPS 21553 HAS SOUS 9272 HAS SOUPS 8582 WITH SCORE 8606.008
AT ITER 263 NEW BEST:: SOT 36456 SOS 24002 HAS SOPS 21527 HAS SOUS 9246 HAS SOUPS 8536 WITH SCORE 8560.002
AT ITER 267 NEW BEST:: SOT 35941 SOS 23495 HAS SOPS 20893 HAS SOUS 9253 HAS SOUPS 8510 WITH SCORE 8533.495
AT ITER 271 NEW BEST:: SOT 35949 SOS 23491 HAS SOPS 20903 HAS SOUS 9235 HAS SOUPS 8496 WITH SCORE 8519.491
AT ITER 276 NEW BEST:: SOT 35821 SOS 23360 HAS SOPS 20761 HAS SOUS 9086 HAS SOUPS 8346 WITH SCORE 8369.36
AT ITER 284 NEW BEST:: SOT 35817 SOS 23356 HAS SOPS 20757 HAS SOUS 9082 HAS SOUPS 8342 WITH SCORE 8365.356
AT ITER 285 NEW BEST:: SOT 35523 SOS 23073 HAS SOPS 20463 HAS SOUS 8957 HAS SOUPS 8208 WITH SCORE 8231.073
AT ITER 295 NEW BEST:: SOT 35396 SOS 22934 HAS SOPS 20290 HAS SOUS 8926 HAS SOUPS 8172 WITH SCORE 8194.934
AT ITER 305 NEW BEST:: SOT 35401 SOS 22646 HAS SOPS 20319 HAS SOUS 8810 HAS SOUPS 8079 WITH SCORE 8101.646
AT ITER 307 NEW BEST:: SOT 35401 SOS 22650 HAS SOPS 20317 HAS SOUS 8803 HAS SOUPS 8071 WITH SCORE 8093.65
AT ITER 320 NEW BEST:: SOT 35297 SOS 22522 HAS SOPS 20164 HAS SOUS 8659 HAS SOUPS 7917 WITH SCORE 7939.522
AT ITER 323 NEW BEST:: SOT 35297 SOS 22178 HAS SOPS 19898 HAS SOUS 8611 HAS SOUPS 7883 WITH SCORE 7905.178
AT ITER 330 NEW BEST:: SOT 35297 SOS 21944 HAS SOPS 19624 HAS SOUS 8544 HAS SOUPS 7816 WITH SCORE 7837.944
AT ITER 331 NEW BEST:: SOT 35233 SOS 21952 HAS SOPS 19661 HAS SOUS 8517 HAS SOUPS 7806 WITH SCORE 7827.952
AT ITER 332 NEW BEST:: SOT 35175 SOS 21898 HAS SOPS 19603 HAS SOUS 8495 HAS SOUPS 7782 WITH SCORE 7803.898
AT ITER 341 NEW BEST:: SOT 35203 SOS 21922 HAS SOPS 19631 HAS SOUS 8487 HAS SOUPS 7776 WITH SCORE 7797.922
AT ITER 342 NEW BEST:: SOT 35673 SOS 21971 HAS SOPS 20233 HAS SOUS 8259 HAS SOUPS 7614 WITH SCORE 7635.971
AT ITER 344 NEW BEST:: SOT 35799 SOS 22014 HAS SOPS 20372 HAS SOUS 8132 HAS SOUPS 7505 WITH SCORE 7527.014
AT ITER 345 NEW BEST:: SOT 35691 SOS 21915 HAS SOPS 20160 HAS SOUS 7929 HAS SOUPS 7291 WITH SCORE 7312.915
AT ITER 352 NEW BEST:: SOT 35691 SOS 21935 HAS SOPS 20178 HAS SOUS 7928 HAS SOUPS 7290 WITH SCORE 7311.935
AT ITER 370 NEW BEST:: SOT 35828 SOS 22060 HAS SOPS 20274 HAS SOUS 7892 HAS SOUPS 7261 WITH SCORE 7283.06
AT ITER 372 NEW BEST:: SOT 35828 SOS 22138 HAS SOPS 20340 HAS SOUS 7887 HAS SOUPS 7245 WITH SCORE 7267.138
AT ITER 376 NEW BEST:: SOT 35898 SOS 22251 HAS SOPS 20576 HAS SOUS 7722 HAS SOUPS 7093 WITH SCORE 7115.251
AT ITER 380 NEW BEST:: SOT 35903 SOS 22256 HAS SOPS 20574 HAS SOUS 7720 HAS SOUPS 7084 WITH SCORE 7106.256
AT ITER 382 NEW BEST:: SOT 36201 SOS 22489 HAS SOPS 20910 HAS SOUS 7684 HAS SOUPS 7071 WITH SCORE 7093.489
AT ITER 383 NEW BEST:: SOT 36201 SOS 22465 HAS SOPS 20862 HAS SOUS 7636 HAS SOUPS 7023 WITH SCORE 7045.465
AT ITER 396 NEW BEST:: SOT 36201 SOS 22455 HAS SOPS 20852 HAS SOUS 7626 HAS SOUPS 7013 WITH SCORE 7035.455
AT ITER 405 NEW BEST:: SOT 36201 SOS 22833 HAS SOPS 21163 HAS SOUS 7636 HAS SOUPS 6999 WITH SCORE 7021.833
AT ITER 406 NEW BEST:: SOT 36210 SOS 22835 HAS SOPS 21239 HAS SOUS 7549 HAS SOUPS 6921 WITH SCORE 6943.835
AT ITER 414 NEW BEST:: SOT 36218 SOS 22841 HAS SOPS 21247 HAS SOUS 7540 HAS SOUPS 6912 WITH SCORE 6934.841
AT ITER 417 NEW BEST:: SOT 36218 SOS 22778 HAS SOPS 21184 HAS SOUS 7531 HAS SOUPS 6906 WITH SCORE 6928.778
AT ITER 423 NEW BEST:: SOT 36218 SOS 22860 HAS SOPS 21250 HAS SOUS 7508 HAS SOUPS 6883 WITH SCORE 6905.86
AT ITER 432 NEW BEST:: SOT 36229 SOS 22846 HAS SOPS 21236 HAS SOUS 7494 HAS SOUPS 6869 WITH SCORE 6891.846
AT ITER 438 NEW BEST:: SOT 36159 SOS 23000 HAS SOPS 21418 HAS SOUS 7490 HAS SOUPS 6851 WITH SCORE 6874.0
AT ITER 441 NEW BEST:: SOT 36279 SOS 23000 HAS SOPS 21572 HAS SOUS 7214 HAS SOUPS 6617 WITH SCORE 6640.0
AT ITER 455 NEW BEST:: SOT 36279 SOS 23000 HAS SOPS 21545 HAS SOUS 7187 HAS SOUPS 6563 WITH SCORE 6586.0
AT ITER 463 NEW BEST:: SOT 36279 SOS 22900 HAS SOPS 21445 HAS SOUS 7177 HAS SOUPS 6553 WITH SCORE 6575.9
AT ITER 464 NEW BEST:: SOT 36305 SOS 22902 HAS SOPS 21471 HAS SOUS 7107 HAS SOUPS 6489 WITH SCORE 6511.902
AT ITER 468 NEW BEST:: SOT 36305 SOS 23058 HAS SOPS 21615 HAS SOUS 7111 HAS SOUPS 6477 WITH SCORE 6500.058
AT ITER 482 NEW BEST:: SOT 36305 SOS 23111 HAS SOPS 21658 HAS SOUS 7103 HAS SOUPS 6463 WITH SCORE 6486.111
AT ITER 483 NEW BEST:: SOT 36305 SOS 23111 HAS SOPS 21650 HAS SOUS 7095 HAS SOUPS 6447 WITH SCORE 6470.111
AT ITER 484 NEW BEST:: SOT 36305 SOS 23111 HAS SOPS 21643 HAS SOUS 7088 HAS SOUPS 6433 WITH SCORE 6456.111
AT ITER 492 NEW BEST:: SOT 36305 SOS 22955 HAS SOPS 21483 HAS SOUS 7068 HAS SOUPS 6413 WITH SCORE 6435.955
AT ITER 495 NEW BEST:: SOT 36305 SOS 22892 HAS SOPS 21420 HAS SOUS 7080 HAS SOUPS 6407 WITH SCORE 6429.892
AT ITER 499 NEW BEST:: SOT 36846 SOS 23297 HAS SOPS 21754 HAS SOUS 7023 HAS SOUPS 6375 WITH SCORE 6398.297
AT ITER 514 NEW BEST:: SOT 36822 SOS 23452 HAS SOPS 21896 HAS SOUS 7015 HAS SOUPS 6362 WITH SCORE 6385.452
AT ITER 540 NEW BEST:: SOT 36823 SOS 23434 HAS SOPS 21875 HAS SOUS 6994 HAS SOUPS 6341 WITH SCORE 6364.434
AT ITER 566 NEW BEST:: SOT 36823 SOS 23392 HAS SOPS 21833 HAS SOUS 6990 HAS SOUPS 6337 WITH SCORE 6360.392
AT ITER 577 NEW BEST:: SOT 36823 SOS 23389 HAS SOPS 21831 HAS SOUS 6988 HAS SOUPS 6336 WITH SCORE 6359.389
AT ITER 581 NEW BEST:: SOT 36823 SOS 23384 HAS SOPS 21826 HAS SOUS 6983 HAS SOUPS 6336 WITH SCORE 6359.384
AT ITER 594 NEW BEST:: SOT 36823 SOS 23279 HAS SOPS 21725 HAS SOUS 6972 HAS SOUPS 6334 WITH SCORE 6357.279
AT ITER 611 NEW BEST:: SOT 36823 SOS 23112 HAS SOPS 21565 HAS SOUS 6962 HAS SOUPS 6333 WITH SCORE 6356.112
AT ITER 629 NEW BEST:: SOT 36892 SOS 23166 HAS SOPS 21639 HAS SOUS 6954 HAS SOUPS 6332 WITH SCORE 6355.166
AT ITER 650 NEW BEST:: SOT 36892 SOS 23171 HAS SOPS 21634 HAS SOUS 6949 HAS SOUPS 6317 WITH SCORE 6340.171
AT ITER 657 NEW BEST:: SOT 36566 SOS 22852 HAS SOPS 21302 HAS SOUS 6768 HAS SOUPS 6124 WITH SCORE 6146.852
AT ITER 668 NEW BEST:: SOT 36566 SOS 22789 HAS SOPS 21239 HAS SOUS 6756 HAS SOUPS 6118 WITH SCORE 6140.789
AT ITER 680 NEW BEST:: SOT 36566 SOS 22777 HAS SOPS 21227 HAS SOUS 6744 HAS SOUPS 6106 WITH SCORE 6128.777
AT ITER 685 NEW BEST:: SOT 36566 SOS 22722 HAS SOPS 21172 HAS SOUS 6738 HAS SOUPS 6100 WITH SCORE 6122.722
AT ITER 716 NEW BEST:: SOT 36565 SOS 22721 HAS SOPS 21171 HAS SOUS 6737 HAS SOUPS 6099 WITH SCORE 6121.721
AT ITER 724 NEW BEST:: SOT 36565 SOS 22607 HAS SOPS 21045 HAS SOUS 6713 HAS SOUPS 6075 WITH SCORE 6097.607
AT ITER 736 NEW BEST:: SOT 36565 SOS 22523 HAS SOPS 20961 HAS SOUS 6697 HAS SOUPS 6067 WITH SCORE 6089.523
AT ITER 759 NEW BEST:: SOT 36599 SOS 22554 HAS SOPS 20995 HAS SOUS 6694 HAS SOUPS 6066 WITH SCORE 6088.554
AT ITER 766 NEW BEST:: SOT 36599 SOS 22568 HAS SOPS 20995 HAS SOUS 6694 HAS SOUPS 6052 WITH SCORE 6074.568
AT ITER 772 NEW BEST:: SOT 36599 SOS 22566 HAS SOPS 20993 HAS SOUS 6694 HAS SOUPS 6052 WITH SCORE 6074.566
AT ITER 782 NEW BEST:: SOT 36599 SOS 22555 HAS SOPS 20961 HAS SOUS 6664 HAS SOUPS 6014 WITH SCORE 6036.555
AT ITER 783 NEW BEST:: SOT 36215 SOS 22238 HAS SOPS 20524 HAS SOUS 6673 HAS SOUPS 5996 WITH SCORE 6018.238
AT ITER 797 NEW BEST:: SOT 36225 SOS 22219 HAS SOPS 20534 HAS SOUS 6612 HAS SOUPS 5940 WITH SCORE 5962.219
AT ITER 854 NEW BEST:: SOT 36022 SOS 22059 HAS SOPS 20318 HAS SOUS 6613 HAS SOUPS 5915 WITH SCORE 5937.059
AT ITER 864 NEW BEST:: SOT 35917 SOS 21957 HAS SOPS 20189 HAS SOUS 6596 HAS SOUPS 5892 WITH SCORE 5913.957
AT ITER 865 NEW BEST:: SOT 35899 SOS 21940 HAS SOPS 20170 HAS SOUS 6596 HAS SOUPS 5890 WITH SCORE 5911.94
AT ITER 891 NEW BEST:: SOT 35899 SOS 21940 HAS SOPS 20168 HAS SOUS 6593 HAS SOUPS 5886 WITH SCORE 5907.94
AT ITER 904 NEW BEST:: SOT 35899 SOS 21919 HAS SOPS 20147 HAS SOUS 6588 HAS SOUPS 5884 WITH SCORE 5905.919
AT ITER 917 NEW BEST:: SOT 35920 SOS 21905 HAS SOPS 20176 HAS SOUS 6492 HAS SOUPS 5804 WITH SCORE 5825.905
AT ITER 945 NEW BEST:: SOT 35896 SOS 21886 HAS SOPS 20174 HAS SOUS 6488 HAS SOUPS 5800 WITH SCORE 5821.886
AT ITER 962 NEW BEST:: SOT 35896 SOS 21936 HAS SOPS 20171 HAS SOUS 6487 HAS SOUPS 5794 WITH SCORE 5815.936
AT ITER 992 NEW BEST:: SOT 35546 SOS 21656 HAS SOPS 19769 HAS SOUS 6509 HAS SOUPS 5790 WITH SCORE 5811.656
AT ITER 1071 NEW BEST:: SOT 34939 SOS 21171 HAS SOPS 19151 HAS SOUS 6469 HAS SOUPS 5704 WITH SCORE 5725.171
AT ITER 1074 NEW BEST:: SOT 34926 SOS 21144 HAS SOPS 19110 HAS SOUS 6429 HAS SOUPS 5663 WITH SCORE 5684.144
AT ITER 1081 NEW BEST:: SOT 34921 SOS 21139 HAS SOPS 19105 HAS SOUS 6424 HAS SOUPS 5658 WITH SCORE 5679.139
AT ITER 1130 NEW BEST:: SOT 34921 SOS 21142 HAS SOPS 19103 HAS SOUS 6419 HAS SOUPS 5651 WITH SCORE 5672.142
AT ITER 1131 NEW BEST:: SOT 34921 SOS 21394 HAS SOPS 19342 HAS SOUS 6425 HAS SOUPS 5649 WITH SCORE 5670.394
AT ITER 1171 NEW BEST:: SOT 34921 SOS 21415 HAS SOPS 19361 HAS SOUS 6438 HAS SOUPS 5647 WITH SCORE 5668.415
AT ITER 1193 NEW BEST:: SOT 34921 SOS 21373 HAS SOPS 19319 HAS SOUS 6434 HAS SOUPS 5643 WITH SCORE 5664.373
AT ITER 1232 NEW BEST:: SOT 34921 SOS 21373 HAS SOPS 19317 HAS SOUS 6435 HAS SOUPS 5639 WITH SCORE 5660.373
AT ITER 1265 NEW BEST:: SOT 34975 SOS 21390 HAS SOPS 19380 HAS SOUS 6355 HAS SOUPS 5577 WITH SCORE 5598.39
AT ITER 1273 NEW BEST:: SOT 34975 SOS 21372 HAS SOPS 19362 HAS SOUS 6353 HAS SOUPS 5575 WITH SCORE 5596.372
AT ITER 1299 NEW BEST:: SOT 34975 SOS 21372 HAS SOPS 19359 HAS SOUS 6350 HAS SOUPS 5569 WITH SCORE 5590.372
AT ITER 1306 NEW BEST:: SOT 34975 SOS 21351 HAS SOPS 19338 HAS SOUS 6348 HAS SOUPS 5567 WITH SCORE 5588.351
AT ITER 1336 NEW BEST:: SOT 34975 SOS 21351 HAS SOPS 19337 HAS SOUS 6347 HAS SOUPS 5565 WITH SCORE 5586.351
AT ITER 1338 NEW BEST:: SOT 34975 SOS 21332 HAS SOPS 19318 HAS SOUS 6345 HAS SOUPS 5563 WITH SCORE 5584.332
AT ITER 1354 NEW BEST:: SOT 35135 SOS 21447 HAS SOPS 19480 HAS SOUS 6314 HAS SOUPS 5544 WITH SCORE 5565.447
AT ITER 1355 NEW BEST:: SOT 35135 SOS 21427 HAS SOPS 19459 HAS SOUS 6313 HAS SOUPS 5542 WITH SCORE 5563.427
AT ITER 1406 NEW BEST:: SOT 35135 SOS 21428 HAS SOPS 19458 HAS SOUS 6312 HAS SOUPS 5539 WITH SCORE 5560.428
AT ITER 1424 NEW BEST:: SOT 35135 SOS 21428 HAS SOPS 19455 HAS SOUS 6309 HAS SOUPS 5533 WITH SCORE 5554.428
AT ITER 1428 NEW BEST:: SOT 34789 SOS 21046 HAS SOPS 18964 HAS SOUS 6300 HAS SOUPS 5501 WITH SCORE 5522.046
AT ITER 1493 NEW BEST:: SOT 34789 SOS 21003 HAS SOPS 18921 HAS SOUS 6291 HAS SOUPS 5497 WITH SCORE 5518.003
AT ITER 1544 NEW BEST:: SOT 34784 SOS 20998 HAS SOPS 18916 HAS SOUS 6286 HAS SOUPS 5492 WITH SCORE 5512.998
AT ITER 1550 NEW BEST:: SOT 34697 SOS 20916 HAS SOPS 18829 HAS SOUS 6254 HAS SOUPS 5457 WITH SCORE 5477.916
AT ITER 1551 NEW BEST:: SOT 34723 SOS 20907 HAS SOPS 18861 HAS SOUS 6181 HAS SOUPS 5397 WITH SCORE 5417.907
AT ITER 1558 NEW BEST:: SOT 34723 SOS 20886 HAS SOPS 18840 HAS SOUS 6179 HAS SOUPS 5395 WITH SCORE 5415.886
AT ITER 1574 NEW BEST:: SOT 34722 SOS 20885 HAS SOPS 18839 HAS SOUS 6178 HAS SOUPS 5394 WITH SCORE 5414.885
AT ITER 1606 NEW BEST:: SOT 34717 SOS 20880 HAS SOPS 18834 HAS SOUS 6173 HAS SOUPS 5389 WITH SCORE 5409.88
AT ITER 1624 NEW BEST:: SOT 34716 SOS 20879 HAS SOPS 18833 HAS SOUS 6172 HAS SOUPS 5388 WITH SCORE 5408.879
AT ITER 1685 NEW BEST:: SOT 34706 SOS 20869 HAS SOPS 18799 HAS SOUS 6138 HAS SOUPS 5330 WITH SCORE 5350.869
AT ITER 1692 NEW BEST:: SOT 34706 SOS 20848 HAS SOPS 18778 HAS SOUS 6137 HAS SOUPS 5328 WITH SCORE 5348.848
AT ITER 1720 NEW BEST:: SOT 34706 SOS 21016 HAS SOPS 18936 HAS SOUS 6143 HAS SOUPS 5324 WITH SCORE 5345.016
AT ITER 1790 NEW BEST:: SOT 34706 SOS 20995 HAS SOPS 18915 HAS SOUS 6141 HAS SOUPS 5322 WITH SCORE 5342.995
AT ITER 1804 NEW BEST:: SOT 34646 SOS 20944 HAS SOPS 18855 HAS SOUS 6132 HAS SOUPS 5310 WITH SCORE 5330.944
AT ITER 1929 NEW BEST:: SOT 34650 SOS 20943 HAS SOPS 18859 HAS SOUS 6121 HAS SOUPS 5300 WITH SCORE 5320.943
AT ITER 1951 NEW BEST:: SOT 34587 SOS 20886 HAS SOPS 18796 HAS SOUS 6112 HAS SOUPS 5288 WITH SCORE 5308.886
AT ITER 1957 NEW BEST:: SOT 34587 SOS 20844 HAS SOPS 18754 HAS SOUS 6108 HAS SOUPS 5284 WITH SCORE 5304.844
AT ITER 1976 NEW BEST:: SOT 34587 SOS 20844 HAS SOPS 18750 HAS SOUS 6104 HAS SOUPS 5276 WITH SCORE 5296.844
AT ITER 1984 NEW BEST:: SOT 34587 SOS 20823 HAS SOPS 18729 HAS SOUS 6102 HAS SOUPS 5274 WITH SCORE 5294.823
AT ITER 2010 NEW BEST:: SOT 34587 SOS 20823 HAS SOPS 18725 HAS SOUS 6098 HAS SOUPS 5266 WITH SCORE 5286.823
AT ITER 2014 NEW BEST:: SOT 34571 SOS 20805 HAS SOPS 18688 HAS SOUS 6080 HAS SOUPS 5248 WITH SCORE 5268.805
AT ITER 2078 NEW BEST:: SOT 34580 SOS 20637 HAS SOPS 18334 HAS SOUS 5865 HAS SOUPS 5050 WITH SCORE 5070.637
AT ITER 2156 NEW BEST:: SOT 34466 SOS 20559 HAS SOPS 18202 HAS SOUS 5868 HAS SOUPS 5044 WITH SCORE 5064.559
AT ITER 2158 NEW BEST:: SOT 34466 SOS 20559 HAS SOPS 18198 HAS SOUS 5864 HAS SOUPS 5036 WITH SCORE 5056.559
AT ITER 2279 NEW BEST:: SOT 34466 SOS 20518 HAS SOPS 18157 HAS SOUS 5859 HAS SOUPS 5032 WITH SCORE 5052.518
AT ITER 2308 NEW BEST:: SOT 34448 SOS 20500 HAS SOPS 18137 HAS SOUS 5859 HAS SOUPS 5030 WITH SCORE 5050.5
AT ITER 2343 NEW BEST:: SOT 34448 SOS 20500 HAS SOPS 18136 HAS SOUS 5858 HAS SOUPS 5028 WITH SCORE 5048.5
AT ITER 2444 NEW BEST:: SOT 34448 SOS 20480 HAS SOPS 18116 HAS SOUS 5856 HAS SOUPS 5026 WITH SCORE 5046.48
AT ITER 2488 NEW BEST:: SOT 34448 SOS 20480 HAS SOPS 18115 HAS SOUS 5855 HAS SOUPS 5024 WITH SCORE 5044.48
AT ITER 2507 NEW BEST:: SOT 34266 SOS 20347 HAS SOPS 17923 HAS SOUS 5814 HAS SOUPS 4963 WITH SCORE 4983.347
AT ITER 2560 NEW BEST:: SOT 34266 SOS 20326 HAS SOPS 17902 HAS SOUS 5810 HAS SOUPS 4961 WITH SCORE 4981.326
AT ITER 2561 NEW BEST:: SOT 34266 SOS 20344 HAS SOPS 17919 HAS SOUS 5808 HAS SOUPS 4959 WITH SCORE 4979.344
AT ITER 2702 NEW BEST:: SOT 34266 SOS 20321 HAS SOPS 17896 HAS SOUS 5809 HAS SOUPS 4957 WITH SCORE 4977.321
AT ITER 2919 NEW BEST:: SOT 34250 SOS 20308 HAS SOPS 17880 HAS SOUS 5810 HAS SOUPS 4957 WITH SCORE 4977.308
AT ITER 2939 NEW BEST:: SOT 34141 SOS 20234 HAS SOPS 17771 HAS SOUS 5806 HAS SOUPS 4946 WITH SCORE 4966.234
AT ITER 3017 NEW BEST:: SOT 34141 SOS 20192 HAS SOPS 17730 HAS SOUS 5801 HAS SOUPS 4944 WITH SCORE 4964.192
AT ITER 3218 NEW BEST:: SOT 34141 SOS 20191 HAS SOPS 17729 HAS SOUS 5801 HAS SOUPS 4944 WITH SCORE 4964.191
AT ITER 3240 NEW BEST:: SOT 34141 SOS 20150 HAS SOPS 17688 HAS SOUS 5796 HAS SOUPS 4940 WITH SCORE 4960.15
AT ITER 3257 NEW BEST:: SOT 34141 SOS 20129 HAS SOPS 17667 HAS SOUS 5794 HAS SOUPS 4938 WITH SCORE 4958.129
AT ITER 3360 NEW BEST:: SOT 34221 SOS 20197 HAS SOPS 17747 HAS SOUS 5786 HAS SOUPS 4935 WITH SCORE 4955.197
AT ITER 3520 NEW BEST:: SOT 34175 SOS 20161 HAS SOPS 17701 HAS SOUS 5770 HAS SOUPS 4917 WITH SCORE 4937.161
AT ITER 3553 NEW BEST:: SOT 34173 SOS 20159 HAS SOPS 17696 HAS SOUS 5767 HAS SOUPS 4909 WITH SCORE 4929.159
AT ITER 3578 NEW BEST:: SOT 34141 SOS 20116 HAS SOPS 17653 HAS SOUS 5724 HAS SOUPS 4877 WITH SCORE 4897.116
AT ITER 3874 NEW BEST:: SOT 34138 SOS 20113 HAS SOPS 17650 HAS SOUS 5721 HAS SOUPS 4874 WITH SCORE 4894.113
AT ITER 3884 NEW BEST:: SOT 34084 SOS 20062 HAS SOPS 17596 HAS SOUS 5724 HAS SOUPS 4874 WITH SCORE 4894.062
AT ITER 3890 NEW BEST:: SOT 34102 SOS 20056 HAS SOPS 17561 HAS SOUS 5707 HAS SOUPS 4865 WITH SCORE 4885.056
AT ITER 3933 NEW BEST:: SOT 33989 SOS 19962 HAS SOPS 17466 HAS SOUS 5713 HAS SOUPS 4865 WITH SCORE 4884.962
AT ITER 3980 NEW BEST:: SOT 33989 SOS 19962 HAS SOPS 17465 HAS SOUS 5712 HAS SOUPS 4863 WITH SCORE 4882.962
AT ITER 3982 NEW BEST:: SOT 34003 SOS 19972 HAS SOPS 17479 HAS SOUS 5710 HAS SOUPS 4862 WITH SCORE 4881.972
AT ITER 4094 NEW BEST:: SOT 34002 SOS 19969 HAS SOPS 17472 HAS SOUS 5703 HAS SOUPS 4853 WITH SCORE 4872.969
AT ITER 4097 NEW BEST:: SOT 34004 SOS 19966 HAS SOPS 17474 HAS SOUS 5690 HAS SOUPS 4841 WITH SCORE 4860.966
AT ITER 4143 NEW BEST:: SOT 34004 SOS 19966 HAS SOPS 17473 HAS SOUS 5689 HAS SOUPS 4839 WITH SCORE 4858.966
AT ITER 4153 NEW BEST:: SOT 34003 SOS 19953 HAS SOPS 17409 HAS SOUS 5628 HAS SOUPS 4781 WITH SCORE 4800.953
AT ITER 4369 NEW BEST:: SOT 33766 SOS 19756 HAS SOPS 17172 HAS SOUS 5531 HAS SOUPS 4675 WITH SCORE 4694.756
AT ITER 4424 NEW BEST:: SOT 33719 SOS 19714 HAS SOPS 17146 HAS SOUS 5505 HAS SOUPS 4646 WITH SCORE 4665.714
AT ITER 4455 NEW BEST:: SOT 33791 SOS 19780 HAS SOPS 17184 HAS SOUS 5467 HAS SOUPS 4614 WITH SCORE 4633.78
AT ITER 4740 NEW BEST:: SOT 33791 SOS 19780 HAS SOPS 17163 HAS SOUS 5468 HAS SOUPS 4612 WITH SCORE 4631.78
AT ITER 4973 NEW BEST:: SOT 33646 SOS 19657 HAS SOPS 17018 HAS SOUS 5401 HAS SOUPS 4540 WITH SCORE 4559.657
AT ITER 5208 NEW BEST:: SOT 33643 SOS 19648 HAS SOPS 16994 HAS SOUS 5379 HAS SOUPS 4520 WITH SCORE 4539.648
AT ITER 5266 NEW BEST:: SOT 33345 SOS 19455 HAS SOPS 16695 HAS SOUS 5395 HAS SOUPS 4514 WITH SCORE 4533.455
AT ITER 5366 NEW BEST:: SOT 33332 SOS 19447 HAS SOPS 16681 HAS SOUS 5396 HAS SOUPS 4513 WITH SCORE 4532.447
AT ITER 5455 NEW BEST:: SOT 33344 SOS 19434 HAS SOPS 16698 HAS SOUS 5338 HAS SOUPS 4465 WITH SCORE 4484.434
AT ITER 5521 NEW BEST:: SOT 33344 SOS 19392 HAS SOPS 16657 HAS SOUS 5335 HAS SOUPS 4463 WITH SCORE 4482.392
AT ITER 5788 NEW BEST:: SOT 33344 SOS 19392 HAS SOPS 16656 HAS SOUS 5334 HAS SOUPS 4461 WITH SCORE 4480.392
AT ITER 6109 NEW BEST:: SOT 33293 SOS 19347 HAS SOPS 16605 HAS SOUS 5335 HAS SOUPS 4461 WITH SCORE 4480.347
AT ITER 6155 NEW BEST:: SOT 33292 SOS 19345 HAS SOPS 16602 HAS SOUS 5332 HAS SOUPS 4458 WITH SCORE 4477.345
AT ITER 6296 NEW BEST:: SOT 33285 SOS 19334 HAS SOPS 16587 HAS SOUS 5324 HAS SOUPS 4446 WITH SCORE 4465.334
AT ITER 6774 NEW BEST:: SOT 33285 SOS 19334 HAS SOPS 16586 HAS SOUS 5323 HAS SOUPS 4444 WITH SCORE 4463.334
AT ITER 7168 NEW BEST:: SOT 33285 SOS 19354 HAS SOPS 16604 HAS SOUS 5322 HAS SOUPS 4442 WITH SCORE 4461.354
AT ITER 7428 NEW BEST:: SOT 33285 SOS 19354 HAS SOPS 16603 HAS SOUS 5321 HAS SOUPS 4440 WITH SCORE 4459.354
AT ITER 8157 NEW BEST:: SOT 33285 SOS 19335 HAS SOPS 16584 HAS SOUS 5321 HAS SOUPS 4440 WITH SCORE 4459.335
AT ITER 8580 NEW BEST:: SOT 33285 SOS 19476 HAS SOPS 16716 HAS SOUS 5327 HAS SOUPS 4436 WITH SCORE 4455.476
AT ITER 8645 NEW BEST:: SOT 33284 SOS 19475 HAS SOPS 16715 HAS SOUS 5326 HAS SOUPS 4435 WITH SCORE 4454.475
AT ITER 8660 NEW BEST:: SOT 33284 SOS 19454 HAS SOPS 16694 HAS SOUS 5324 HAS SOUPS 4433 WITH SCORE 4452.454
AT ITER 8661 NEW BEST:: SOT 33248 SOS 19420 HAS SOPS 16658 HAS SOUS 5326 HAS SOUPS 4433 WITH SCORE 4452.42
AT ITER 8801 NEW BEST:: SOT 33248 SOS 19399 HAS SOPS 16638 HAS SOUS 5325 HAS SOUPS 4433 WITH SCORE 4452.399
AT ITER 8812 NEW BEST:: SOT 33248 SOS 19439 HAS SOPS 16675 HAS SOUS 5326 HAS SOUPS 4431 WITH SCORE 4450.439
AT ITER 9324 NEW BEST:: SOT 33248 SOS 19418 HAS SOPS 16654 HAS SOUS 5324 HAS SOUPS 4429 WITH SCORE 4448.418
AT ITER 9857 NEW BEST:: SOT 33246 SOS 19416 HAS SOPS 16652 HAS SOUS 5322 HAS SOUPS 4427 WITH SCORE 4446.416
AT ITER 9925 NEW BEST:: SOT 33280 SOS 19443 HAS SOPS 16668 HAS SOUS 5305 HAS SOUPS 4412 WITH SCORE 4431.443
AT ITER 9928 NEW BEST:: SOT 33136 SOS 19359 HAS SOPS 16512 HAS SOUS 5329 HAS SOUPS 4412 WITH SCORE 4431.359

BK_STOP 1679821723745

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 370 Killed ${SMART}/smart ${INPUT_SM}

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="Dekker-PT-020"
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 Dekker-PT-020, 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 r131-smll-167819406600024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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