About the Execution of Smart for LamportFastMutEx-COL-5
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16224.703 | 3529840.00 | 3508874.00 | 20156.90 | [undef] | Cannot compute |
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-167856410300368.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 LamportFastMutEx-COL-5, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410300368
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 6.4K Feb 25 13:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 13:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 13:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 13:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 13:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 25 13:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 25 13:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 25 13:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 41K 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 1678610369373
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=LamportFastMutEx-COL-5
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-12 08:39:33] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-12 08:39:33] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-12 08:39:33] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-12 08:39:34] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-12 08:39:34] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 644 ms
[2023-03-12 08:39:34] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 174 PT places and 396.0 transition bindings in 33 ms.
[2023-03-12 08:39:34] [INFO ] Unfolded HLPN to a Petri net with 174 places and 318 transitions 1380 arcs in 35 ms.
[2023-03-12 08:39:34] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 6 places and 6 transitions.
Reduce places removed 6 places and 0 transitions.
[2023-03-12 08:39:34] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 162 places, 312 transitions and 1344 arcs took 101 ms.
Total runtime 1014 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (COL), instance 5
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: 162 places, 312 transitions, 1344 arcs.
AT ITER 0 NEW BEST:: SOT 25195 SOS 15157 HAS SOPS 13890 HAS SOUS 10903 HAS SOUPS 10421 WITH SCORE 10436.157
AT ITER 2 NEW BEST:: SOT 25204 SOS 15189 HAS SOPS 13922 HAS SOUS 10883 HAS SOUPS 10401 WITH SCORE 10416.189
AT ITER 12 NEW BEST:: SOT 25209 SOS 15210 HAS SOPS 13952 HAS SOUS 10870 HAS SOUPS 10393 WITH SCORE 10408.21
AT ITER 14 NEW BEST:: SOT 25201 SOS 15244 HAS SOPS 13924 HAS SOUS 10884 HAS SOUPS 10365 WITH SCORE 10380.244
AT ITER 17 NEW BEST:: SOT 25314 SOS 15383 HAS SOPS 14076 HAS SOUS 10860 HAS SOUPS 10348 WITH SCORE 10363.383
AT ITER 18 NEW BEST:: SOT 25017 SOS 15186 HAS SOPS 13919 HAS SOUS 10581 HAS SOUPS 10130 WITH SCORE 10145.186
AT ITER 20 NEW BEST:: SOT 25037 SOS 15195 HAS SOPS 13999 HAS SOUS 10561 HAS SOUPS 10120 WITH SCORE 10135.195
AT ITER 27 NEW BEST:: SOT 25053 SOS 15221 HAS SOPS 14028 HAS SOUS 10500 HAS SOUPS 10062 WITH SCORE 10077.221
AT ITER 39 NEW BEST:: SOT 25064 SOS 15243 HAS SOPS 14050 HAS SOUS 10478 HAS SOUPS 10040 WITH SCORE 10055.243
AT ITER 45 NEW BEST:: SOT 25064 SOS 15236 HAS SOPS 14043 HAS SOUS 10471 HAS SOUPS 10033 WITH SCORE 10048.236
AT ITER 53 NEW BEST:: SOT 25064 SOS 15071 HAS SOPS 13878 HAS SOUS 10456 HAS SOUPS 10018 WITH SCORE 10033.071
AT ITER 57 NEW BEST:: SOT 25049 SOS 15047 HAS SOPS 13854 HAS SOUS 10441 HAS SOUPS 10003 WITH SCORE 10018.047
AT ITER 62 NEW BEST:: SOT 24936 SOS 14982 HAS SOPS 13789 HAS SOUS 10352 HAS SOUPS 9914 WITH SCORE 9928.982
AT ITER 64 NEW BEST:: SOT 24776 SOS 14875 HAS SOPS 13682 HAS SOUS 10213 HAS SOUPS 9775 WITH SCORE 9789.875
AT ITER 74 NEW BEST:: SOT 24793 SOS 14892 HAS SOPS 13626 HAS SOUS 10181 HAS SOUPS 9719 WITH SCORE 9733.892
AT ITER 77 NEW BEST:: SOT 24675 SOS 14795 HAS SOPS 13529 HAS SOUS 10084 HAS SOUPS 9622 WITH SCORE 9636.795
AT ITER 83 NEW BEST:: SOT 24572 SOS 14769 HAS SOPS 13502 HAS SOUS 10029 HAS SOUPS 9566 WITH SCORE 9580.769
AT ITER 85 NEW BEST:: SOT 24335 SOS 14568 HAS SOPS 13245 HAS SOUS 9803 HAS SOUPS 9309 WITH SCORE 9323.568
AT ITER 90 NEW BEST:: SOT 24335 SOS 14522 HAS SOPS 13199 HAS SOUS 9797 HAS SOUPS 9303 WITH SCORE 9317.522
AT ITER 94 NEW BEST:: SOT 24296 SOS 14504 HAS SOPS 13156 HAS SOUS 9708 HAS SOUPS 9214 WITH SCORE 9228.504
AT ITER 99 NEW BEST:: SOT 24296 SOS 14471 HAS SOPS 13123 HAS SOUS 9702 HAS SOUPS 9208 WITH SCORE 9222.471
AT ITER 105 NEW BEST:: SOT 24296 SOS 14453 HAS SOPS 13123 HAS SOUS 9702 HAS SOUPS 9208 WITH SCORE 9222.453
AT ITER 108 NEW BEST:: SOT 24296 SOS 14453 HAS SOPS 13123 HAS SOUS 9699 HAS SOUPS 9205 WITH SCORE 9219.453
AT ITER 115 NEW BEST:: SOT 24288 SOS 14435 HAS SOPS 13111 HAS SOUS 9697 HAS SOUPS 9203 WITH SCORE 9217.435
AT ITER 121 NEW BEST:: SOT 24285 SOS 14412 HAS SOPS 13100 HAS SOUS 9686 HAS SOUPS 9192 WITH SCORE 9206.412
AT ITER 123 NEW BEST:: SOT 24259 SOS 14432 HAS SOPS 13046 HAS SOUS 9640 HAS SOUPS 9145 WITH SCORE 9159.432
AT ITER 125 NEW BEST:: SOT 24294 SOS 14506 HAS SOPS 13120 HAS SOUS 9558 HAS SOUPS 9063 WITH SCORE 9077.506
AT ITER 133 NEW BEST:: SOT 24275 SOS 14489 HAS SOPS 13101 HAS SOUS 9541 HAS SOUPS 9044 WITH SCORE 9058.489
AT ITER 135 NEW BEST:: SOT 24269 SOS 14483 HAS SOPS 13089 HAS SOUS 9535 HAS SOUPS 9032 WITH SCORE 9046.483
AT ITER 152 NEW BEST:: SOT 24327 SOS 14601 HAS SOPS 12859 HAS SOUS 9530 HAS SOUPS 8802 WITH SCORE 8816.601
AT ITER 154 NEW BEST:: SOT 24300 SOS 14596 HAS SOPS 12832 HAS SOUS 9525 HAS SOUPS 8775 WITH SCORE 8789.596
AT ITER 157 NEW BEST:: SOT 24300 SOS 14579 HAS SOPS 12818 HAS SOUS 9511 HAS SOUPS 8761 WITH SCORE 8775.579
AT ITER 162 NEW BEST:: SOT 24293 SOS 14603 HAS SOPS 12811 HAS SOUS 9527 HAS SOUPS 8754 WITH SCORE 8768.603
AT ITER 164 NEW BEST:: SOT 24274 SOS 14599 HAS SOPS 12792 HAS SOUS 9523 HAS SOUPS 8735 WITH SCORE 8749.599
AT ITER 166 NEW BEST:: SOT 24270 SOS 14558 HAS SOPS 12782 HAS SOUS 9505 HAS SOUPS 8717 WITH SCORE 8731.558
AT ITER 169 NEW BEST:: SOT 24273 SOS 14551 HAS SOPS 12765 HAS SOUS 9488 HAS SOUPS 8700 WITH SCORE 8714.551
AT ITER 170 NEW BEST:: SOT 24273 SOS 14577 HAS SOPS 12808 HAS SOUS 9469 HAS SOUPS 8689 WITH SCORE 8703.577
AT ITER 172 NEW BEST:: SOT 24304 SOS 14638 HAS SOPS 12873 HAS SOUS 9255 HAS SOUPS 8479 WITH SCORE 8493.638
AT ITER 174 NEW BEST:: SOT 24274 SOS 14620 HAS SOPS 12855 HAS SOUS 9231 HAS SOUPS 8455 WITH SCORE 8469.62
AT ITER 175 NEW BEST:: SOT 24268 SOS 14608 HAS SOPS 12843 HAS SOUS 9219 HAS SOUPS 8443 WITH SCORE 8457.608
AT ITER 182 NEW BEST:: SOT 24268 SOS 14607 HAS SOPS 12842 HAS SOUS 9215 HAS SOUPS 8439 WITH SCORE 8453.607
AT ITER 195 NEW BEST:: SOT 24257 SOS 14596 HAS SOPS 12811 HAS SOUS 9198 HAS SOUPS 8408 WITH SCORE 8422.596
AT ITER 210 NEW BEST:: SOT 24259 SOS 14600 HAS SOPS 12803 HAS SOUS 9202 HAS SOUPS 8400 WITH SCORE 8414.6
AT ITER 211 NEW BEST:: SOT 24253 SOS 14642 HAS SOPS 12829 HAS SOUS 9157 HAS SOUPS 8355 WITH SCORE 8369.642
AT ITER 219 NEW BEST:: SOT 24252 SOS 14641 HAS SOPS 12828 HAS SOUS 9152 HAS SOUPS 8350 WITH SCORE 8364.641
AT ITER 232 NEW BEST:: SOT 24317 SOS 14718 HAS SOPS 12957 HAS SOUS 9148 HAS SOUPS 8346 WITH SCORE 8360.718
AT ITER 236 NEW BEST:: SOT 24281 SOS 14686 HAS SOPS 12921 HAS SOUS 9116 HAS SOUPS 8310 WITH SCORE 8324.686
AT ITER 241 NEW BEST:: SOT 24307 SOS 14718 HAS SOPS 12832 HAS SOUS 9044 HAS SOUPS 8221 WITH SCORE 8235.718
AT ITER 259 NEW BEST:: SOT 24297 SOS 14721 HAS SOPS 12828 HAS SOUS 9037 HAS SOUPS 8217 WITH SCORE 8231.721
AT ITER 271 NEW BEST:: SOT 24275 SOS 14678 HAS SOPS 12825 HAS SOUS 8978 HAS SOUPS 8214 WITH SCORE 8228.678
AT ITER 275 NEW BEST:: SOT 24275 SOS 14672 HAS SOPS 12816 HAS SOUS 8981 HAS SOUPS 8214 WITH SCORE 8228.672
AT ITER 301 NEW BEST:: SOT 24267 SOS 14664 HAS SOPS 12799 HAS SOUS 8972 HAS SOUPS 8197 WITH SCORE 8211.664
AT ITER 317 NEW BEST:: SOT 24267 SOS 14657 HAS SOPS 12786 HAS SOUS 8959 HAS SOUPS 8184 WITH SCORE 8198.657
AT ITER 322 NEW BEST:: SOT 24262 SOS 14654 HAS SOPS 12783 HAS SOUS 8955 HAS SOUPS 8180 WITH SCORE 8194.654
AT ITER 335 NEW BEST:: SOT 24115 SOS 14601 HAS SOPS 12753 HAS SOUS 8837 HAS SOUPS 8087 WITH SCORE 8101.601
AT ITER 338 NEW BEST:: SOT 24114 SOS 14569 HAS SOPS 12714 HAS SOUS 8837 HAS SOUPS 8080 WITH SCORE 8094.569
AT ITER 345 NEW BEST:: SOT 24106 SOS 14557 HAS SOPS 12702 HAS SOUS 8827 HAS SOUPS 8070 WITH SCORE 8084.557
AT ITER 347 NEW BEST:: SOT 24082 SOS 14546 HAS SOPS 12678 HAS SOUS 8815 HAS SOUPS 8046 WITH SCORE 8060.546
AT ITER 354 NEW BEST:: SOT 24082 SOS 14526 HAS SOPS 12653 HAS SOUS 8815 HAS SOUPS 8041 WITH SCORE 8055.526
AT ITER 363 NEW BEST:: SOT 24106 SOS 14550 HAS SOPS 12646 HAS SOUS 8839 HAS SOUPS 8034 WITH SCORE 8048.55
AT ITER 364 NEW BEST:: SOT 24104 SOS 14610 HAS SOPS 12644 HAS SOUS 8837 HAS SOUPS 8032 WITH SCORE 8046.61
AT ITER 366 NEW BEST:: SOT 24104 SOS 14515 HAS SOPS 12549 HAS SOUS 8837 HAS SOUPS 8032 WITH SCORE 8046.515
AT ITER 386 NEW BEST:: SOT 24029 SOS 14452 HAS SOPS 12491 HAS SOUS 8826 HAS SOUPS 8025 WITH SCORE 8039.452
AT ITER 388 NEW BEST:: SOT 23981 SOS 14290 HAS SOPS 12272 HAS SOUS 8693 HAS SOUPS 7898 WITH SCORE 7912.29
AT ITER 390 NEW BEST:: SOT 23980 SOS 14298 HAS SOPS 12269 HAS SOUS 8690 HAS SOUPS 7895 WITH SCORE 7909.298
AT ITER 393 NEW BEST:: SOT 24013 SOS 14278 HAS SOPS 12268 HAS SOUS 8506 HAS SOUPS 7730 WITH SCORE 7744.278
AT ITER 395 NEW BEST:: SOT 24001 SOS 14273 HAS SOPS 12268 HAS SOUS 8496 HAS SOUPS 7730 WITH SCORE 7744.273
AT ITER 426 NEW BEST:: SOT 24064 SOS 14377 HAS SOPS 12354 HAS SOUS 8461 HAS SOUPS 7695 WITH SCORE 7709.377
AT ITER 429 NEW BEST:: SOT 24062 SOS 14375 HAS SOPS 12352 HAS SOUS 8459 HAS SOUPS 7693 WITH SCORE 7707.375
AT ITER 431 NEW BEST:: SOT 24062 SOS 14342 HAS SOPS 12319 HAS SOUS 8456 HAS SOUPS 7690 WITH SCORE 7704.342
AT ITER 452 NEW BEST:: SOT 23974 SOS 14280 HAS SOPS 12231 HAS SOUS 8442 HAS SOUPS 7650 WITH SCORE 7664.28
AT ITER 453 NEW BEST:: SOT 23926 SOS 14297 HAS SOPS 12248 HAS SOUS 8420 HAS SOUPS 7628 WITH SCORE 7642.297
AT ITER 480 NEW BEST:: SOT 23884 SOS 14275 HAS SOPS 12227 HAS SOUS 8389 HAS SOUPS 7597 WITH SCORE 7611.275
AT ITER 486 NEW BEST:: SOT 23737 SOS 14128 HAS SOPS 12080 HAS SOUS 8242 HAS SOUPS 7450 WITH SCORE 7464.128
AT ITER 493 NEW BEST:: SOT 23625 SOS 14034 HAS SOPS 12015 HAS SOUS 8056 HAS SOUPS 7264 WITH SCORE 7278.034
AT ITER 507 NEW BEST:: SOT 23612 SOS 14021 HAS SOPS 11996 HAS SOUS 8043 HAS SOUPS 7245 WITH SCORE 7259.021
AT ITER 510 NEW BEST:: SOT 23612 SOS 14051 HAS SOPS 11960 HAS SOUS 8042 HAS SOUPS 7209 WITH SCORE 7223.051
AT ITER 511 NEW BEST:: SOT 23612 SOS 14048 HAS SOPS 11932 HAS SOUS 8032 HAS SOUPS 7199 WITH SCORE 7213.048
AT ITER 515 NEW BEST:: SOT 23604 SOS 14040 HAS SOPS 11932 HAS SOUS 8032 HAS SOUPS 7199 WITH SCORE 7213.04
AT ITER 516 NEW BEST:: SOT 23614 SOS 14052 HAS SOPS 11936 HAS SOUS 8029 HAS SOUPS 7196 WITH SCORE 7210.052
AT ITER 521 NEW BEST:: SOT 23495 SOS 13933 HAS SOPS 11817 HAS SOUS 7910 HAS SOUPS 7077 WITH SCORE 7090.933
AT ITER 523 NEW BEST:: SOT 23495 SOS 13922 HAS SOPS 11815 HAS SOUS 7908 HAS SOUPS 7075 WITH SCORE 7088.922
AT ITER 535 NEW BEST:: SOT 23378 SOS 13805 HAS SOPS 11677 HAS SOUS 7791 HAS SOUPS 6937 WITH SCORE 6950.805
AT ITER 552 NEW BEST:: SOT 23367 SOS 13794 HAS SOPS 11655 HAS SOUS 7780 HAS SOUPS 6915 WITH SCORE 6928.794
AT ITER 598 NEW BEST:: SOT 23355 SOS 13699 HAS SOPS 11568 HAS SOUS 7758 HAS SOUPS 6901 WITH SCORE 6914.699
AT ITER 606 NEW BEST:: SOT 23373 SOS 13677 HAS SOPS 11533 HAS SOUS 7693 HAS SOUPS 6836 WITH SCORE 6849.677
AT ITER 607 NEW BEST:: SOT 23370 SOS 13674 HAS SOPS 11525 HAS SOUS 7689 HAS SOUPS 6828 WITH SCORE 6841.674
AT ITER 609 NEW BEST:: SOT 23378 SOS 13683 HAS SOPS 11517 HAS SOUS 7705 HAS SOUPS 6820 WITH SCORE 6833.683
AT ITER 645 NEW BEST:: SOT 23362 SOS 13668 HAS SOPS 11500 HAS SOUS 7692 HAS SOUPS 6803 WITH SCORE 6816.668
AT ITER 649 NEW BEST:: SOT 23362 SOS 13605 HAS SOPS 11437 HAS SOUS 7692 HAS SOUPS 6803 WITH SCORE 6816.605
AT ITER 668 NEW BEST:: SOT 23231 SOS 13460 HAS SOPS 11382 HAS SOUS 7579 HAS SOUPS 6748 WITH SCORE 6761.46
AT ITER 698 NEW BEST:: SOT 23230 SOS 13484 HAS SOPS 11381 HAS SOUS 7588 HAS SOUPS 6747 WITH SCORE 6760.484
AT ITER 728 NEW BEST:: SOT 23220 SOS 13479 HAS SOPS 11369 HAS SOUS 7578 HAS SOUPS 6736 WITH SCORE 6749.479
AT ITER 755 NEW BEST:: SOT 23220 SOS 13474 HAS SOPS 11369 HAS SOUS 7578 HAS SOUPS 6736 WITH SCORE 6749.474
AT ITER 760 NEW BEST:: SOT 23258 SOS 13520 HAS SOPS 11426 HAS SOUS 7552 HAS SOUPS 6710 WITH SCORE 6723.52
AT ITER 769 NEW BEST:: SOT 23258 SOS 13510 HAS SOPS 11415 HAS SOUS 7541 HAS SOUPS 6699 WITH SCORE 6712.51
AT ITER 772 NEW BEST:: SOT 23344 SOS 13309 HAS SOPS 11155 HAS SOUS 7575 HAS SOUPS 6676 WITH SCORE 6689.309
AT ITER 775 NEW BEST:: SOT 23344 SOS 13308 HAS SOPS 11155 HAS SOUS 7575 HAS SOUPS 6676 WITH SCORE 6689.308
AT ITER 778 NEW BEST:: SOT 23274 SOS 13252 HAS SOPS 11099 HAS SOUS 7505 HAS SOUPS 6606 WITH SCORE 6619.252
AT ITER 780 NEW BEST:: SOT 23270 SOS 13246 HAS SOPS 11093 HAS SOUS 7500 HAS SOUPS 6601 WITH SCORE 6614.246
AT ITER 789 NEW BEST:: SOT 23270 SOS 13244 HAS SOPS 11091 HAS SOUS 7500 HAS SOUPS 6601 WITH SCORE 6614.244
AT ITER 793 NEW BEST:: SOT 23269 SOS 13243 HAS SOPS 11089 HAS SOUS 7499 HAS SOUPS 6599 WITH SCORE 6612.243
AT ITER 801 NEW BEST:: SOT 23270 SOS 13279 HAS SOPS 11072 HAS SOUS 7518 HAS SOUPS 6582 WITH SCORE 6595.279
AT ITER 804 NEW BEST:: SOT 23265 SOS 13276 HAS SOPS 11066 HAS SOUS 7518 HAS SOUPS 6580 WITH SCORE 6593.276
AT ITER 805 NEW BEST:: SOT 23265 SOS 13225 HAS SOPS 11015 HAS SOUS 7498 HAS SOUPS 6560 WITH SCORE 6573.225
AT ITER 807 NEW BEST:: SOT 23149 SOS 13109 HAS SOPS 10899 HAS SOUS 7382 HAS SOUPS 6444 WITH SCORE 6457.109
AT ITER 819 NEW BEST:: SOT 23144 SOS 13103 HAS SOPS 10892 HAS SOUS 7377 HAS SOUPS 6438 WITH SCORE 6451.103
AT ITER 834 NEW BEST:: SOT 23039 SOS 12940 HAS SOPS 10787 HAS SOUS 7225 HAS SOUPS 6333 WITH SCORE 6345.94
AT ITER 842 NEW BEST:: SOT 23092 SOS 12943 HAS SOPS 10783 HAS SOUS 7206 HAS SOUPS 6314 WITH SCORE 6326.943
AT ITER 847 NEW BEST:: SOT 23091 SOS 12942 HAS SOPS 10782 HAS SOUS 7205 HAS SOUPS 6313 WITH SCORE 6325.942
AT ITER 862 NEW BEST:: SOT 23094 SOS 12945 HAS SOPS 10763 HAS SOUS 7194 HAS SOUPS 6294 WITH SCORE 6306.945
AT ITER 957 NEW BEST:: SOT 23045 SOS 12891 HAS SOPS 10744 HAS SOUS 7168 HAS SOUPS 6275 WITH SCORE 6287.891
AT ITER 979 NEW BEST:: SOT 22884 SOS 12776 HAS SOPS 10578 HAS SOUS 6981 HAS SOUPS 6086 WITH SCORE 6098.776
AT ITER 1030 NEW BEST:: SOT 22883 SOS 12775 HAS SOPS 10576 HAS SOUS 6980 HAS SOUPS 6084 WITH SCORE 6096.775
AT ITER 1034 NEW BEST:: SOT 22879 SOS 12771 HAS SOPS 10565 HAS SOUS 6976 HAS SOUPS 6073 WITH SCORE 6085.771
AT ITER 1039 NEW BEST:: SOT 22878 SOS 12770 HAS SOPS 10563 HAS SOUS 6975 HAS SOUPS 6071 WITH SCORE 6083.77
AT ITER 1046 NEW BEST:: SOT 22872 SOS 12774 HAS SOPS 10555 HAS SOUS 6973 HAS SOUPS 6063 WITH SCORE 6075.774
AT ITER 1055 NEW BEST:: SOT 22872 SOS 12772 HAS SOPS 10548 HAS SOUS 6976 HAS SOUPS 6061 WITH SCORE 6073.772
AT ITER 1107 NEW BEST:: SOT 22872 SOS 12790 HAS SOPS 10566 HAS SOUS 6973 HAS SOUPS 6058 WITH SCORE 6070.79
AT ITER 1126 NEW BEST:: SOT 22866 SOS 12784 HAS SOPS 10558 HAS SOUS 6959 HAS SOUPS 6044 WITH SCORE 6056.784
AT ITER 1127 NEW BEST:: SOT 22883 SOS 12803 HAS SOPS 10585 HAS SOUS 6956 HAS SOUPS 6043 WITH SCORE 6055.803
AT ITER 1145 NEW BEST:: SOT 22845 SOS 12797 HAS SOPS 10571 HAS SOUS 6950 HAS SOUPS 6029 WITH SCORE 6041.797
AT ITER 1192 NEW BEST:: SOT 22845 SOS 12795 HAS SOPS 10569 HAS SOUS 6950 HAS SOUPS 6029 WITH SCORE 6041.795
AT ITER 1194 NEW BEST:: SOT 22845 SOS 12686 HAS SOPS 10460 HAS SOUS 6941 HAS SOUPS 6020 WITH SCORE 6032.686
AT ITER 1198 NEW BEST:: SOT 22860 SOS 12727 HAS SOPS 10451 HAS SOUS 6919 HAS SOUPS 5998 WITH SCORE 6010.727
AT ITER 1199 NEW BEST:: SOT 22860 SOS 12725 HAS SOPS 10446 HAS SOUS 6914 HAS SOUPS 5993 WITH SCORE 6005.725
AT ITER 1250 NEW BEST:: SOT 22856 SOS 12713 HAS SOPS 10442 HAS SOUS 6898 HAS SOUPS 5989 WITH SCORE 6001.713
AT ITER 1284 NEW BEST:: SOT 22852 SOS 12711 HAS SOPS 10438 HAS SOUS 6896 HAS SOUPS 5985 WITH SCORE 5997.711
AT ITER 1293 NEW BEST:: SOT 22832 SOS 12636 HAS SOPS 10351 HAS SOUS 6809 HAS SOUPS 5898 WITH SCORE 5910.636
AT ITER 1316 NEW BEST:: SOT 22831 SOS 12635 HAS SOPS 10350 HAS SOUS 6808 HAS SOUPS 5897 WITH SCORE 5909.635
AT ITER 1323 NEW BEST:: SOT 22827 SOS 12631 HAS SOPS 10346 HAS SOUS 6804 HAS SOUPS 5893 WITH SCORE 5905.631
AT ITER 1343 NEW BEST:: SOT 22827 SOS 12631 HAS SOPS 10346 HAS SOUS 6801 HAS SOUPS 5890 WITH SCORE 5902.631
AT ITER 1358 NEW BEST:: SOT 22820 SOS 12624 HAS SOPS 10339 HAS SOUS 6793 HAS SOUPS 5882 WITH SCORE 5894.624
AT ITER 1379 NEW BEST:: SOT 22817 SOS 12621 HAS SOPS 10333 HAS SOUS 6787 HAS SOUPS 5876 WITH SCORE 5888.621
AT ITER 1387 NEW BEST:: SOT 22817 SOS 12613 HAS SOPS 10325 HAS SOUS 6783 HAS SOUPS 5872 WITH SCORE 5884.613
AT ITER 1401 NEW BEST:: SOT 22779 SOS 12575 HAS SOPS 10281 HAS SOUS 6745 HAS SOUPS 5828 WITH SCORE 5840.575
AT ITER 1416 NEW BEST:: SOT 22777 SOS 12573 HAS SOPS 10279 HAS SOUS 6743 HAS SOUPS 5826 WITH SCORE 5838.573
AT ITER 1444 NEW BEST:: SOT 22777 SOS 12567 HAS SOPS 10273 HAS SOUS 6740 HAS SOUPS 5823 WITH SCORE 5835.567
AT ITER 1452 NEW BEST:: SOT 22756 SOS 12546 HAS SOPS 10247 HAS SOUS 6719 HAS SOUPS 5797 WITH SCORE 5809.546
AT ITER 1502 NEW BEST:: SOT 22751 SOS 12541 HAS SOPS 10237 HAS SOUS 6715 HAS SOUPS 5787 WITH SCORE 5799.541
AT ITER 1512 NEW BEST:: SOT 22735 SOS 12521 HAS SOPS 10229 HAS SOUS 6679 HAS SOUPS 5779 WITH SCORE 5791.521
AT ITER 1526 NEW BEST:: SOT 22723 SOS 12509 HAS SOPS 10213 HAS SOUS 6667 HAS SOUPS 5763 WITH SCORE 5775.509
AT ITER 1534 NEW BEST:: SOT 22527 SOS 12449 HAS SOPS 10188 HAS SOUS 6464 HAS SOUPS 5617 WITH SCORE 5629.449
AT ITER 1566 NEW BEST:: SOT 22524 SOS 12461 HAS SOPS 10185 HAS SOUS 6447 HAS SOUPS 5600 WITH SCORE 5612.461
AT ITER 1586 NEW BEST:: SOT 22501 SOS 12438 HAS SOPS 10162 HAS SOUS 6424 HAS SOUPS 5577 WITH SCORE 5589.438
AT ITER 1592 NEW BEST:: SOT 22501 SOS 12410 HAS SOPS 10160 HAS SOUS 6412 HAS SOUPS 5575 WITH SCORE 5587.41
AT ITER 1603 NEW BEST:: SOT 22424 SOS 12351 HAS SOPS 10088 HAS SOUS 6331 HAS SOUPS 5494 WITH SCORE 5506.351
AT ITER 1607 NEW BEST:: SOT 22419 SOS 12356 HAS SOPS 10078 HAS SOUS 6311 HAS SOUPS 5474 WITH SCORE 5486.356
AT ITER 1611 NEW BEST:: SOT 22416 SOS 12353 HAS SOPS 10075 HAS SOUS 6308 HAS SOUPS 5471 WITH SCORE 5483.353
AT ITER 1633 NEW BEST:: SOT 22416 SOS 12337 HAS SOPS 10059 HAS SOUS 6306 HAS SOUPS 5469 WITH SCORE 5481.337
AT ITER 1648 NEW BEST:: SOT 22419 SOS 12343 HAS SOPS 10047 HAS SOUS 6300 HAS SOUPS 5457 WITH SCORE 5469.343
AT ITER 1680 NEW BEST:: SOT 22430 SOS 12348 HAS SOPS 10058 HAS SOUS 6291 HAS SOUPS 5450 WITH SCORE 5462.348
AT ITER 1694 NEW BEST:: SOT 22428 SOS 12346 HAS SOPS 10054 HAS SOUS 6283 HAS SOUPS 5446 WITH SCORE 5458.346
AT ITER 1701 NEW BEST:: SOT 22423 SOS 12341 HAS SOPS 10048 HAS SOUS 6278 HAS SOUPS 5440 WITH SCORE 5452.341
AT ITER 1724 NEW BEST:: SOT 22403 SOS 12321 HAS SOPS 10028 HAS SOUS 6258 HAS SOUPS 5420 WITH SCORE 5432.321
AT ITER 1728 NEW BEST:: SOT 22402 SOS 12320 HAS SOPS 10027 HAS SOUS 6257 HAS SOUPS 5419 WITH SCORE 5431.32
AT ITER 1747 NEW BEST:: SOT 22404 SOS 12322 HAS SOPS 10019 HAS SOUS 6259 HAS SOUPS 5411 WITH SCORE 5423.322
AT ITER 1757 NEW BEST:: SOT 22404 SOS 12340 HAS SOPS 10037 HAS SOUS 6258 HAS SOUPS 5410 WITH SCORE 5422.34
AT ITER 1794 NEW BEST:: SOT 22404 SOS 12344 HAS SOPS 10037 HAS SOUS 6244 HAS SOUPS 5396 WITH SCORE 5408.344
AT ITER 1795 NEW BEST:: SOT 22402 SOS 12341 HAS SOPS 10034 HAS SOUS 6241 HAS SOUPS 5393 WITH SCORE 5405.341
AT ITER 1800 NEW BEST:: SOT 22394 SOS 12362 HAS SOPS 10055 HAS SOUS 6238 HAS SOUPS 5390 WITH SCORE 5402.362
AT ITER 1806 NEW BEST:: SOT 22394 SOS 12362 HAS SOPS 10055 HAS SOUS 6235 HAS SOUPS 5387 WITH SCORE 5399.362
AT ITER 1817 NEW BEST:: SOT 22385 SOS 12353 HAS SOPS 10037 HAS SOUS 6237 HAS SOUPS 5369 WITH SCORE 5381.353
AT ITER 1834 NEW BEST:: SOT 22464 SOS 12450 HAS SOPS 10134 HAS SOUS 6199 HAS SOUPS 5331 WITH SCORE 5343.45
AT ITER 1840 NEW BEST:: SOT 22464 SOS 12481 HAS SOPS 10132 HAS SOUS 6212 HAS SOUPS 5329 WITH SCORE 5341.481
AT ITER 1895 NEW BEST:: SOT 22464 SOS 12453 HAS SOPS 10104 HAS SOUS 6208 HAS SOUPS 5325 WITH SCORE 5337.453
AT ITER 1953 NEW BEST:: SOT 22464 SOS 12465 HAS SOPS 10116 HAS SOUS 6172 HAS SOUPS 5289 WITH SCORE 5301.465
AT ITER 1958 NEW BEST:: SOT 22439 SOS 12442 HAS SOPS 10093 HAS SOUS 6144 HAS SOUPS 5261 WITH SCORE 5273.442
AT ITER 1991 NEW BEST:: SOT 22440 SOS 12459 HAS SOPS 10083 HAS SOUS 6174 HAS SOUPS 5251 WITH SCORE 5263.459
AT ITER 2036 NEW BEST:: SOT 22440 SOS 12440 HAS SOPS 10083 HAS SOUS 6166 HAS SOUPS 5251 WITH SCORE 5263.44
AT ITER 2066 NEW BEST:: SOT 22440 SOS 12477 HAS SOPS 10090 HAS SOUS 6155 HAS SOUPS 5234 WITH SCORE 5246.477
AT ITER 2082 NEW BEST:: SOT 22428 SOS 12474 HAS SOPS 10078 HAS SOUS 6158 HAS SOUPS 5234 WITH SCORE 5246.474
AT ITER 2098 NEW BEST:: SOT 22428 SOS 12474 HAS SOPS 10073 HAS SOUS 6158 HAS SOUPS 5229 WITH SCORE 5241.474
AT ITER 2102 NEW BEST:: SOT 22428 SOS 12523 HAS SOPS 10072 HAS SOUS 6178 HAS SOUPS 5228 WITH SCORE 5240.523
AT ITER 2117 NEW BEST:: SOT 22425 SOS 12520 HAS SOPS 10069 HAS SOUS 6175 HAS SOUPS 5225 WITH SCORE 5237.52
AT ITER 2136 NEW BEST:: SOT 22410 SOS 12508 HAS SOPS 10060 HAS SOUS 6163 HAS SOUPS 5213 WITH SCORE 5225.508
AT ITER 2138 NEW BEST:: SOT 22517 SOS 12621 HAS SOPS 10173 HAS SOUS 6132 HAS SOUPS 5182 WITH SCORE 5194.621
AT ITER 2141 NEW BEST:: SOT 22516 SOS 12620 HAS SOPS 10171 HAS SOUS 6131 HAS SOUPS 5180 WITH SCORE 5192.62
AT ITER 2197 NEW BEST:: SOT 22478 SOS 12582 HAS SOPS 10145 HAS SOUS 6120 HAS SOUPS 5169 WITH SCORE 5181.582
AT ITER 2237 NEW BEST:: SOT 22478 SOS 12570 HAS SOPS 10133 HAS SOUS 6108 HAS SOUPS 5157 WITH SCORE 5169.57
AT ITER 2266 NEW BEST:: SOT 22478 SOS 12563 HAS SOPS 10126 HAS SOUS 6107 HAS SOUPS 5156 WITH SCORE 5168.563
AT ITER 2275 NEW BEST:: SOT 22468 SOS 12549 HAS SOPS 10114 HAS SOUS 6096 HAS SOUPS 5145 WITH SCORE 5157.549
AT ITER 2282 NEW BEST:: SOT 22460 SOS 12541 HAS SOPS 10098 HAS SOUS 6088 HAS SOUPS 5129 WITH SCORE 5141.541
AT ITER 2292 NEW BEST:: SOT 22459 SOS 12540 HAS SOPS 10096 HAS SOUS 6087 HAS SOUPS 5127 WITH SCORE 5139.54
AT ITER 2299 NEW BEST:: SOT 22447 SOS 12469 HAS SOPS 10082 HAS SOUS 6039 HAS SOUPS 5113 WITH SCORE 5125.469
AT ITER 2307 NEW BEST:: SOT 22447 SOS 12449 HAS SOPS 10062 HAS SOUS 6037 HAS SOUPS 5111 WITH SCORE 5123.449
AT ITER 2362 NEW BEST:: SOT 22443 SOS 12445 HAS SOPS 10058 HAS SOUS 6033 HAS SOUPS 5107 WITH SCORE 5119.445
AT ITER 2399 NEW BEST:: SOT 22433 SOS 12423 HAS SOPS 10036 HAS SOUS 6021 HAS SOUPS 5095 WITH SCORE 5107.423
AT ITER 2453 NEW BEST:: SOT 22420 SOS 12430 HAS SOPS 10043 HAS SOUS 6018 HAS SOUPS 5092 WITH SCORE 5104.43
AT ITER 2498 NEW BEST:: SOT 22402 SOS 12422 HAS SOPS 10035 HAS SOUS 6010 HAS SOUPS 5084 WITH SCORE 5096.422
AT ITER 2528 NEW BEST:: SOT 22409 SOS 12429 HAS SOPS 10027 HAS SOUS 6017 HAS SOUPS 5076 WITH SCORE 5088.429
AT ITER 2565 NEW BEST:: SOT 22383 SOS 12403 HAS SOPS 9998 HAS SOUS 5991 HAS SOUPS 5047 WITH SCORE 5059.403
AT ITER 2574 NEW BEST:: SOT 22383 SOS 12368 HAS SOPS 9963 HAS SOUS 5987 HAS SOUPS 5043 WITH SCORE 5055.368
AT ITER 2606 NEW BEST:: SOT 22386 SOS 12346 HAS SOPS 9963 HAS SOUS 5969 HAS SOUPS 5043 WITH SCORE 5055.346
AT ITER 2624 NEW BEST:: SOT 22386 SOS 12346 HAS SOPS 9958 HAS SOUS 5964 HAS SOUPS 5038 WITH SCORE 5050.346
AT ITER 2627 NEW BEST:: SOT 22386 SOS 12346 HAS SOPS 9956 HAS SOUS 5962 HAS SOUPS 5036 WITH SCORE 5048.346
AT ITER 2631 NEW BEST:: SOT 22386 SOS 12350 HAS SOPS 9936 HAS SOUS 5942 HAS SOUPS 5016 WITH SCORE 5028.35
AT ITER 2659 NEW BEST:: SOT 22384 SOS 12404 HAS SOPS 9988 HAS SOUS 5939 HAS SOUPS 5013 WITH SCORE 5025.404
AT ITER 2668 NEW BEST:: SOT 22370 SOS 12390 HAS SOPS 9965 HAS SOUS 5925 HAS SOUPS 4990 WITH SCORE 5002.39
AT ITER 2684 NEW BEST:: SOT 22370 SOS 12384 HAS SOPS 9965 HAS SOUS 5925 HAS SOUPS 4990 WITH SCORE 5002.384
AT ITER 2762 NEW BEST:: SOT 22373 SOS 12387 HAS SOPS 9968 HAS SOUS 5908 HAS SOUPS 4973 WITH SCORE 4985.387
AT ITER 2774 NEW BEST:: SOT 22373 SOS 12387 HAS SOPS 9968 HAS SOUS 5905 HAS SOUPS 4970 WITH SCORE 4982.387
AT ITER 2813 NEW BEST:: SOT 22373 SOS 12387 HAS SOPS 9963 HAS SOUS 5900 HAS SOUPS 4965 WITH SCORE 4977.387
AT ITER 2910 NEW BEST:: SOT 22367 SOS 12397 HAS SOPS 9965 HAS SOUS 5894 HAS SOUPS 4959 WITH SCORE 4971.397
AT ITER 2915 NEW BEST:: SOT 22350 SOS 12368 HAS SOPS 9952 HAS SOUS 5873 HAS SOUPS 4946 WITH SCORE 4958.368
AT ITER 2917 NEW BEST:: SOT 22348 SOS 12366 HAS SOPS 9950 HAS SOUS 5871 HAS SOUPS 4944 WITH SCORE 4956.366
AT ITER 3022 NEW BEST:: SOT 22358 SOS 12380 HAS SOPS 9946 HAS SOUS 5881 HAS SOUPS 4940 WITH SCORE 4952.38
AT ITER 3030 NEW BEST:: SOT 22357 SOS 12379 HAS SOPS 9945 HAS SOUS 5880 HAS SOUPS 4939 WITH SCORE 4951.379
AT ITER 3034 NEW BEST:: SOT 22357 SOS 12368 HAS SOPS 9934 HAS SOUS 5879 HAS SOUPS 4938 WITH SCORE 4950.368
AT ITER 3058 NEW BEST:: SOT 22336 SOS 12356 HAS SOPS 9909 HAS SOUS 5891 HAS SOUPS 4937 WITH SCORE 4949.356
AT ITER 3076 NEW BEST:: SOT 22243 SOS 12258 HAS SOPS 9810 HAS SOUS 5800 HAS SOUPS 4846 WITH SCORE 4858.258
AT ITER 3090 NEW BEST:: SOT 22243 SOS 12255 HAS SOPS 9809 HAS SOUS 5799 HAS SOUPS 4845 WITH SCORE 4857.255
AT ITER 3098 NEW BEST:: SOT 22246 SOS 12258 HAS SOPS 9807 HAS SOUS 5802 HAS SOUPS 4843 WITH SCORE 4855.258
AT ITER 3112 NEW BEST:: SOT 22240 SOS 12402 HAS SOPS 9790 HAS SOUS 5833 HAS SOUPS 4826 WITH SCORE 4838.402
AT ITER 3141 NEW BEST:: SOT 22239 SOS 12402 HAS SOPS 9789 HAS SOUS 5832 HAS SOUPS 4825 WITH SCORE 4837.402
AT ITER 3156 NEW BEST:: SOT 22236 SOS 12399 HAS SOPS 9785 HAS SOUS 5829 HAS SOUPS 4821 WITH SCORE 4833.399
AT ITER 3203 NEW BEST:: SOT 22226 SOS 12376 HAS SOPS 9778 HAS SOUS 5748 HAS SOUPS 4814 WITH SCORE 4826.376
AT ITER 3254 NEW BEST:: SOT 22208 SOS 12358 HAS SOPS 9760 HAS SOUS 5738 HAS SOUPS 4804 WITH SCORE 4816.358
AT ITER 3260 NEW BEST:: SOT 22137 SOS 12253 HAS SOPS 9677 HAS SOUS 5714 HAS SOUPS 4780 WITH SCORE 4792.253
AT ITER 3278 NEW BEST:: SOT 22135 SOS 12251 HAS SOPS 9674 HAS SOUS 5712 HAS SOUPS 4777 WITH SCORE 4789.251
AT ITER 3292 NEW BEST:: SOT 22091 SOS 12237 HAS SOPS 9630 HAS SOUS 5730 HAS SOUPS 4773 WITH SCORE 4785.237
AT ITER 3385 NEW BEST:: SOT 22087 SOS 12222 HAS SOPS 9618 HAS SOUS 5723 HAS SOUPS 4769 WITH SCORE 4781.222
AT ITER 3399 NEW BEST:: SOT 22087 SOS 12227 HAS SOPS 9623 HAS SOUS 5722 HAS SOUPS 4768 WITH SCORE 4780.227
AT ITER 3502 NEW BEST:: SOT 22082 SOS 12222 HAS SOPS 9618 HAS SOUS 5717 HAS SOUPS 4763 WITH SCORE 4775.222
AT ITER 3522 NEW BEST:: SOT 22046 SOS 12096 HAS SOPS 9501 HAS SOUS 5710 HAS SOUPS 4756 WITH SCORE 4768.096
AT ITER 3526 NEW BEST:: SOT 22026 SOS 12091 HAS SOPS 9481 HAS SOUS 5707 HAS SOUPS 4748 WITH SCORE 4760.091
AT ITER 3541 NEW BEST:: SOT 22026 SOS 12091 HAS SOPS 9475 HAS SOUS 5707 HAS SOUPS 4742 WITH SCORE 4754.091
AT ITER 3571 NEW BEST:: SOT 21994 SOS 12040 HAS SOPS 9431 HAS SOUS 5639 HAS SOUPS 4726 WITH SCORE 4738.04
AT ITER 3575 NEW BEST:: SOT 21993 SOS 12039 HAS SOPS 9429 HAS SOUS 5638 HAS SOUPS 4724 WITH SCORE 4736.039
AT ITER 3619 NEW BEST:: SOT 21993 SOS 11952 HAS SOPS 9342 HAS SOUS 5626 HAS SOUPS 4712 WITH SCORE 4723.952
AT ITER 3635 NEW BEST:: SOT 21951 SOS 11942 HAS SOPS 9297 HAS SOUS 5636 HAS SOUPS 4703 WITH SCORE 4714.942
AT ITER 3642 NEW BEST:: SOT 21946 SOS 11937 HAS SOPS 9292 HAS SOUS 5631 HAS SOUPS 4698 WITH SCORE 4709.937
AT ITER 3656 NEW BEST:: SOT 21941 SOS 11932 HAS SOPS 9287 HAS SOUS 5626 HAS SOUPS 4693 WITH SCORE 4704.932
AT ITER 3669 NEW BEST:: SOT 21941 SOS 11932 HAS SOPS 9286 HAS SOUS 5625 HAS SOUPS 4692 WITH SCORE 4703.932
AT ITER 3766 NEW BEST:: SOT 21939 SOS 11930 HAS SOPS 9284 HAS SOUS 5623 HAS SOUPS 4690 WITH SCORE 4701.93
AT ITER 3836 NEW BEST:: SOT 21939 SOS 11940 HAS SOPS 9294 HAS SOUS 5621 HAS SOUPS 4688 WITH SCORE 4699.94
AT ITER 3958 NEW BEST:: SOT 21913 SOS 11935 HAS SOPS 9261 HAS SOUS 5629 HAS SOUPS 4675 WITH SCORE 4686.935
AT ITER 3966 NEW BEST:: SOT 21908 SOS 11908 HAS SOPS 9234 HAS SOUS 5618 HAS SOUPS 4664 WITH SCORE 4675.908
AT ITER 4113 NEW BEST:: SOT 21909 SOS 11907 HAS SOPS 9236 HAS SOUS 5613 HAS SOUPS 4662 WITH SCORE 4673.907
AT ITER 4157 NEW BEST:: SOT 21901 SOS 11899 HAS SOPS 9220 HAS SOUS 5605 HAS SOUPS 4646 WITH SCORE 4657.899
AT ITER 4166 NEW BEST:: SOT 21901 SOS 11898 HAS SOPS 9219 HAS SOUS 5605 HAS SOUPS 4646 WITH SCORE 4657.898
AT ITER 4200 NEW BEST:: SOT 21899 SOS 11896 HAS SOPS 9215 HAS SOUS 5603 HAS SOUPS 4642 WITH SCORE 4653.896
AT ITER 4206 NEW BEST:: SOT 21910 SOS 11895 HAS SOPS 9230 HAS SOUS 5586 HAS SOUPS 4641 WITH SCORE 4652.895
AT ITER 4220 NEW BEST:: SOT 21883 SOS 11868 HAS SOPS 9203 HAS SOUS 5567 HAS SOUPS 4622 WITH SCORE 4633.868
AT ITER 4229 NEW BEST:: SOT 21884 SOS 11869 HAS SOPS 9202 HAS SOUS 5580 HAS SOUPS 4621 WITH SCORE 4632.869
AT ITER 4242 NEW BEST:: SOT 21878 SOS 11863 HAS SOPS 9185 HAS SOUS 5570 HAS SOUPS 4604 WITH SCORE 4615.863
AT ITER 4266 NEW BEST:: SOT 21878 SOS 11857 HAS SOPS 9179 HAS SOUS 5569 HAS SOUPS 4603 WITH SCORE 4614.857
AT ITER 4283 NEW BEST:: SOT 21875 SOS 11854 HAS SOPS 9173 HAS SOUS 5566 HAS SOUPS 4597 WITH SCORE 4608.854
AT ITER 4290 NEW BEST:: SOT 21875 SOS 11884 HAS SOPS 9188 HAS SOUS 5579 HAS SOUPS 4595 WITH SCORE 4606.884
AT ITER 4312 NEW BEST:: SOT 21853 SOS 11858 HAS SOPS 9144 HAS SOUS 5539 HAS SOUPS 4555 WITH SCORE 4566.858
AT ITER 4611 NEW BEST:: SOT 21796 SOS 11801 HAS SOPS 9079 HAS SOUS 5510 HAS SOUPS 4526 WITH SCORE 4537.801
AT ITER 4702 NEW BEST:: SOT 21790 SOS 11795 HAS SOPS 9067 HAS SOUS 5544 HAS SOUPS 4514 WITH SCORE 4525.795
AT ITER 4708 NEW BEST:: SOT 21790 SOS 11785 HAS SOPS 9057 HAS SOUS 5542 HAS SOUPS 4512 WITH SCORE 4523.785
AT ITER 4763 NEW BEST:: SOT 21792 SOS 11783 HAS SOPS 9055 HAS SOUS 5542 HAS SOUPS 4512 WITH SCORE 4523.783
AT ITER 4825 NEW BEST:: SOT 21790 SOS 11781 HAS SOPS 9055 HAS SOUS 5540 HAS SOUPS 4512 WITH SCORE 4523.781
AT ITER 4829 NEW BEST:: SOT 21780 SOS 11763 HAS SOPS 9049 HAS SOUS 5530 HAS SOUPS 4504 WITH SCORE 4515.763
AT ITER 4836 NEW BEST:: SOT 21772 SOS 11755 HAS SOPS 9037 HAS SOUS 5522 HAS SOUPS 4492 WITH SCORE 4503.755
AT ITER 4868 NEW BEST:: SOT 21772 SOS 11743 HAS SOPS 9025 HAS SOUS 5521 HAS SOUPS 4491 WITH SCORE 4502.743
AT ITER 4934 NEW BEST:: SOT 21769 SOS 11740 HAS SOPS 9019 HAS SOUS 5518 HAS SOUPS 4485 WITH SCORE 4496.74
AT ITER 5017 NEW BEST:: SOT 21758 SOS 11683 HAS SOPS 9017 HAS SOUS 5495 HAS SOUPS 4473 WITH SCORE 4484.683
AT ITER 5077 NEW BEST:: SOT 21739 SOS 11673 HAS SOPS 8997 HAS SOUS 5487 HAS SOUPS 4453 WITH SCORE 4464.673
AT ITER 5094 NEW BEST:: SOT 21741 SOS 11679 HAS SOPS 9003 HAS SOUS 5485 HAS SOUPS 4451 WITH SCORE 4462.679
AT ITER 5121 NEW BEST:: SOT 21734 SOS 11669 HAS SOPS 8988 HAS SOUS 5481 HAS SOUPS 4447 WITH SCORE 4458.669
AT ITER 5155 NEW BEST:: SOT 21704 SOS 11653 HAS SOPS 8967 HAS SOUS 5470 HAS SOUPS 4429 WITH SCORE 4440.653
AT ITER 5284 NEW BEST:: SOT 21704 SOS 11649 HAS SOPS 8963 HAS SOUS 5469 HAS SOUPS 4428 WITH SCORE 4439.649
AT ITER 5394 NEW BEST:: SOT 21697 SOS 11646 HAS SOPS 8957 HAS SOUS 5466 HAS SOUPS 4422 WITH SCORE 4433.646
AT ITER 5450 NEW BEST:: SOT 21687 SOS 11610 HAS SOPS 8915 HAS SOUS 5472 HAS SOUPS 4422 WITH SCORE 4433.61
AT ITER 5569 NEW BEST:: SOT 21686 SOS 11574 HAS SOPS 8914 HAS SOUS 5464 HAS SOUPS 4421 WITH SCORE 4432.574
AT ITER 5577 NEW BEST:: SOT 21650 SOS 11601 HAS SOPS 8941 HAS SOUS 5440 HAS SOUPS 4397 WITH SCORE 4408.601
AT ITER 5600 NEW BEST:: SOT 21650 SOS 11601 HAS SOPS 8939 HAS SOUS 5428 HAS SOUPS 4385 WITH SCORE 4396.601
AT ITER 5603 NEW BEST:: SOT 21647 SOS 11598 HAS SOPS 8933 HAS SOUS 5425 HAS SOUPS 4379 WITH SCORE 4390.598
AT ITER 5620 NEW BEST:: SOT 21639 SOS 11642 HAS SOPS 8977 HAS SOUS 5421 HAS SOUPS 4375 WITH SCORE 4386.642
AT ITER 5667 NEW BEST:: SOT 21633 SOS 11634 HAS SOPS 8970 HAS SOUS 5416 HAS SOUPS 4370 WITH SCORE 4381.634
AT ITER 5727 NEW BEST:: SOT 21633 SOS 11634 HAS SOPS 8965 HAS SOUS 5411 HAS SOUPS 4365 WITH SCORE 4376.634
AT ITER 5768 NEW BEST:: SOT 21632 SOS 11633 HAS SOPS 8963 HAS SOUS 5410 HAS SOUPS 4363 WITH SCORE 4374.633
AT ITER 5779 NEW BEST:: SOT 21600 SOS 11617 HAS SOPS 8931 HAS SOUS 5378 HAS SOUPS 4331 WITH SCORE 4342.617
AT ITER 5789 NEW BEST:: SOT 21587 SOS 11614 HAS SOPS 8916 HAS SOUS 5392 HAS SOUPS 4328 WITH SCORE 4339.614
AT ITER 5864 NEW BEST:: SOT 21586 SOS 11613 HAS SOPS 8912 HAS SOUS 5391 HAS SOUPS 4324 WITH SCORE 4335.613
AT ITER 5999 NEW BEST:: SOT 21586 SOS 11565 HAS SOPS 8864 HAS SOUS 5391 HAS SOUPS 4324 WITH SCORE 4335.565
AT ITER 6026 NEW BEST:: SOT 21586 SOS 11564 HAS SOPS 8863 HAS SOUS 5390 HAS SOUPS 4323 WITH SCORE 4334.564
AT ITER 6066 NEW BEST:: SOT 21585 SOS 11563 HAS SOPS 8861 HAS SOUS 5388 HAS SOUPS 4321 WITH SCORE 4332.563
AT ITER 6116 NEW BEST:: SOT 21585 SOS 11551 HAS SOPS 8849 HAS SOUS 5388 HAS SOUPS 4321 WITH SCORE 4332.551
AT ITER 6136 NEW BEST:: SOT 21569 SOS 11544 HAS SOPS 8833 HAS SOUS 5381 HAS SOUPS 4305 WITH SCORE 4316.544
AT ITER 6331 NEW BEST:: SOT 21571 SOS 11549 HAS SOPS 8828 HAS SOUS 5376 HAS SOUPS 4300 WITH SCORE 4311.549
AT ITER 6343 NEW BEST:: SOT 21573 SOS 11475 HAS SOPS 8754 HAS SOUS 5350 HAS SOUPS 4274 WITH SCORE 4285.475
AT ITER 6369 NEW BEST:: SOT 21572 SOS 11474 HAS SOPS 8754 HAS SOUS 5349 HAS SOUPS 4274 WITH SCORE 4285.474
AT ITER 6448 NEW BEST:: SOT 21570 SOS 11449 HAS SOPS 8729 HAS SOUS 5348 HAS SOUPS 4273 WITH SCORE 4284.449
AT ITER 6504 NEW BEST:: SOT 21570 SOS 11449 HAS SOPS 8727 HAS SOUS 5348 HAS SOUPS 4271 WITH SCORE 4282.449
AT ITER 6513 NEW BEST:: SOT 21570 SOS 11449 HAS SOPS 8725 HAS SOUS 5348 HAS SOUPS 4269 WITH SCORE 4280.449
AT ITER 6564 NEW BEST:: SOT 21567 SOS 11443 HAS SOPS 8719 HAS SOUS 5345 HAS SOUPS 4266 WITH SCORE 4277.443
AT ITER 6956 NEW BEST:: SOT 21566 SOS 11442 HAS SOPS 8718 HAS SOUS 5344 HAS SOUPS 4265 WITH SCORE 4276.442
AT ITER 6998 NEW BEST:: SOT 21563 SOS 11439 HAS SOPS 8715 HAS SOUS 5341 HAS SOUPS 4262 WITH SCORE 4273.439
AT ITER 7023 NEW BEST:: SOT 21561 SOS 11437 HAS SOPS 8713 HAS SOUS 5339 HAS SOUPS 4260 WITH SCORE 4271.437
AT ITER 7029 NEW BEST:: SOT 21549 SOS 11443 HAS SOPS 8701 HAS SOUS 5351 HAS SOUPS 4248 WITH SCORE 4259.443
AT ITER 7033 NEW BEST:: SOT 21545 SOS 11439 HAS SOPS 8693 HAS SOUS 5342 HAS SOUPS 4240 WITH SCORE 4251.439
AT ITER 7050 NEW BEST:: SOT 21527 SOS 11413 HAS SOPS 8672 HAS SOUS 5334 HAS SOUPS 4232 WITH SCORE 4243.413
AT ITER 7246 NEW BEST:: SOT 21527 SOS 11411 HAS SOPS 8672 HAS SOUS 5334 HAS SOUPS 4232 WITH SCORE 4243.411
AT ITER 7332 NEW BEST:: SOT 21515 SOS 11399 HAS SOPS 8660 HAS SOUS 5326 HAS SOUPS 4224 WITH SCORE 4235.399
AT ITER 7337 NEW BEST:: SOT 21511 SOS 11395 HAS SOPS 8656 HAS SOUS 5299 HAS SOUPS 4220 WITH SCORE 4231.395
AT ITER 7346 NEW BEST:: SOT 21504 SOS 11377 HAS SOPS 8653 HAS SOUS 5294 HAS SOUPS 4217 WITH SCORE 4228.377
AT ITER 7358 NEW BEST:: SOT 21492 SOS 11371 HAS SOPS 8650 HAS SOUS 5281 HAS SOUPS 4211 WITH SCORE 4222.371
AT ITER 7379 NEW BEST:: SOT 21492 SOS 11377 HAS SOPS 8656 HAS SOUS 5280 HAS SOUPS 4210 WITH SCORE 4221.377
AT ITER 7381 NEW BEST:: SOT 21491 SOS 11377 HAS SOPS 8655 HAS SOUS 5279 HAS SOUPS 4209 WITH SCORE 4220.377
AT ITER 7446 NEW BEST:: SOT 21488 SOS 11374 HAS SOPS 8650 HAS SOUS 5276 HAS SOUPS 4204 WITH SCORE 4215.374
AT ITER 7481 NEW BEST:: SOT 21488 SOS 11370 HAS SOPS 8646 HAS SOUS 5275 HAS SOUPS 4203 WITH SCORE 4214.37
AT ITER 7705 NEW BEST:: SOT 21487 SOS 11369 HAS SOPS 8644 HAS SOUS 5274 HAS SOUPS 4201 WITH SCORE 4212.369
AT ITER 7812 NEW BEST:: SOT 21490 SOS 11372 HAS SOPS 8642 HAS SOUS 5272 HAS SOUPS 4199 WITH SCORE 4210.372
AT ITER 8242 NEW BEST:: SOT 21487 SOS 11369 HAS SOPS 8638 HAS SOUS 5269 HAS SOUPS 4195 WITH SCORE 4206.369
AT ITER 8258 NEW BEST:: SOT 21487 SOS 11369 HAS SOPS 8631 HAS SOUS 5269 HAS SOUPS 4188 WITH SCORE 4199.369
AT ITER 8321 NEW BEST:: SOT 21486 SOS 11368 HAS SOPS 8631 HAS SOUS 5268 HAS SOUPS 4188 WITH SCORE 4199.368
AT ITER 8330 NEW BEST:: SOT 21481 SOS 11363 HAS SOPS 8625 HAS SOUS 5263 HAS SOUPS 4182 WITH SCORE 4193.363
AT ITER 8341 NEW BEST:: SOT 21480 SOS 11362 HAS SOPS 8624 HAS SOUS 5262 HAS SOUPS 4181 WITH SCORE 4192.362
AT ITER 8353 NEW BEST:: SOT 21479 SOS 11361 HAS SOPS 8622 HAS SOUS 5261 HAS SOUPS 4179 WITH SCORE 4190.361
AT ITER 8377 NEW BEST:: SOT 21475 SOS 11355 HAS SOPS 8617 HAS SOUS 5256 HAS SOUPS 4175 WITH SCORE 4186.355
AT ITER 8468 NEW BEST:: SOT 21450 SOS 11250 HAS SOPS 8510 HAS SOUS 5258 HAS SOUPS 4175 WITH SCORE 4186.25
AT ITER 8541 NEW BEST:: SOT 21437 SOS 11246 HAS SOPS 8494 HAS SOUS 5256 HAS SOUPS 4167 WITH SCORE 4178.246
AT ITER 8866 NEW BEST:: SOT 21429 SOS 11268 HAS SOPS 8500 HAS SOUS 5255 HAS SOUPS 4165 WITH SCORE 4176.268
AT ITER 8895 NEW BEST:: SOT 21413 SOS 11304 HAS SOPS 8536 HAS SOUS 5250 HAS SOUPS 4160 WITH SCORE 4171.304
AT ITER 8998 NEW BEST:: SOT 21413 SOS 11301 HAS SOPS 8533 HAS SOUS 5247 HAS SOUPS 4157 WITH SCORE 4168.301
AT ITER 9073 NEW BEST:: SOT 21412 SOS 11300 HAS SOPS 8531 HAS SOUS 5246 HAS SOUPS 4155 WITH SCORE 4166.3
AT ITER 9080 NEW BEST:: SOT 21399 SOS 11273 HAS SOPS 8494 HAS SOUS 5243 HAS SOUPS 4143 WITH SCORE 4154.273
AT ITER 9084 NEW BEST:: SOT 21399 SOS 11273 HAS SOPS 8494 HAS SOUS 5242 HAS SOUPS 4142 WITH SCORE 4153.273
AT ITER 9107 NEW BEST:: SOT 21399 SOS 11249 HAS SOPS 8470 HAS SOUS 5242 HAS SOUPS 4142 WITH SCORE 4153.249
AT ITER 9136 NEW BEST:: SOT 21395 SOS 11233 HAS SOPS 8454 HAS SOUS 5236 HAS SOUPS 4136 WITH SCORE 4147.233
AT ITER 9255 NEW BEST:: SOT 21391 SOS 11209 HAS SOPS 8450 HAS SOUS 5228 HAS SOUPS 4132 WITH SCORE 4143.209
AT ITER 9272 NEW BEST:: SOT 21391 SOS 11155 HAS SOPS 8405 HAS SOUS 5228 HAS SOUPS 4132 WITH SCORE 4143.155
AT ITER 9295 NEW BEST:: SOT 21391 SOS 11114 HAS SOPS 8402 HAS SOUS 5205 HAS SOUPS 4129 WITH SCORE 4140.114
AT ITER 9310 NEW BEST:: SOT 21383 SOS 11084 HAS SOPS 8372 HAS SOUS 5190 HAS SOUPS 4114 WITH SCORE 4125.084
AT ITER 9315 NEW BEST:: SOT 21381 SOS 11082 HAS SOPS 8370 HAS SOUS 5188 HAS SOUPS 4112 WITH SCORE 4123.082
AT ITER 9398 NEW BEST:: SOT 21381 SOS 11081 HAS SOPS 8369 HAS SOUS 5187 HAS SOUPS 4111 WITH SCORE 4122.081
AT ITER 9473 NEW BEST:: SOT 21380 SOS 11074 HAS SOPS 8361 HAS SOUS 5188 HAS SOUPS 4106 WITH SCORE 4117.074
AT ITER 9583 NEW BEST:: SOT 21380 SOS 11021 HAS SOPS 8308 HAS SOUS 5188 HAS SOUPS 4106 WITH SCORE 4117.021
AT ITER 9624 NEW BEST:: SOT 21393 SOS 11034 HAS SOPS 8314 HAS SOUS 5187 HAS SOUPS 4103 WITH SCORE 4114.034
AT ITER 9737 NEW BEST:: SOT 21388 SOS 11029 HAS SOPS 8304 HAS SOUS 5214 HAS SOUPS 4093 WITH SCORE 4104.029
AT ITER 9741 NEW BEST:: SOT 21387 SOS 11028 HAS SOPS 8300 HAS SOUS 5213 HAS SOUPS 4089 WITH SCORE 4100.028
AT ITER 9746 NEW BEST:: SOT 21384 SOS 11024 HAS SOPS 8296 HAS SOUS 5209 HAS SOUPS 4085 WITH SCORE 4096.024
AT ITER 9852 NEW BEST:: SOT 21378 SOS 11010 HAS SOPS 8252 HAS SOUS 5173 HAS SOUPS 4049 WITH SCORE 4060.01
BK_STOP 1678613899213
--------------------
content from stderr:
/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 431 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="LamportFastMutEx-COL-5"
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 LamportFastMutEx-COL-5, 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-167856410300368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LamportFastMutEx-COL-5.tgz
mv LamportFastMutEx-COL-5 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 '
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 ;