About the Execution of Smart for DoubleLock-PT-p3s3
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
11586.084 | 3600000.00 | 3599975.00 | 186.60 | [undef] | Time out reached |
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-167819408000568.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 DoubleLock-PT-p3s3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819408000568
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 6.9K Feb 25 14:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 14:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 14:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 14:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 14:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 14:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 25 14:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.4M 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 1679952820187
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=DoubleLock-PT-p3s3
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleLock (PT), instance p3s3
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: 306 places, 3136 transitions, 12672 arcs.
AT ITER 0 NEW BEST:: SOT 422032 SOS 346318 HAS SOPS 324298 HAS SOUS 146678 HAS SOUPS 136272 WITH SCORE 136618.318
AT ITER 34 NEW BEST:: SOT 422796 SOS 346693 HAS SOPS 324822 HAS SOUS 146256 HAS SOUPS 135910 WITH SCORE 136256.693
AT ITER 45 NEW BEST:: SOT 423740 SOS 347180 HAS SOPS 325486 HAS SOUS 145867 HAS SOUPS 135591 WITH SCORE 135938.18
AT ITER 47 NEW BEST:: SOT 424407 SOS 347553 HAS SOPS 325957 HAS SOUS 145755 HAS SOUPS 135528 WITH SCORE 135875.553
AT ITER 56 NEW BEST:: SOT 424987 SOS 347802 HAS SOPS 326321 HAS SOUS 145649 HAS SOUPS 135476 WITH SCORE 135823.802
AT ITER 59 NEW BEST:: SOT 424932 SOS 347747 HAS SOPS 326266 HAS SOUS 145408 HAS SOUPS 135235 WITH SCORE 135582.747
AT ITER 62 NEW BEST:: SOT 425015 SOS 347728 HAS SOPS 326281 HAS SOUS 145169 HAS SOUPS 135013 WITH SCORE 135360.728
AT ITER 85 NEW BEST:: SOT 412596 SOS 336239 HAS SOPS 315210 HAS SOUS 138434 HAS SOUPS 128465 WITH SCORE 128801.239
AT ITER 113 NEW BEST:: SOT 413775 SOS 337028 HAS SOPS 316155 HAS SOUS 137894 HAS SOUPS 128003 WITH SCORE 128340.028
AT ITER 165 NEW BEST:: SOT 409874 SOS 333279 HAS SOPS 312410 HAS SOUS 134075 HAS SOUPS 124188 WITH SCORE 124521.279
AT ITER 182 NEW BEST:: SOT 410390 SOS 333535 HAS SOPS 312770 HAS SOUS 133513 HAS SOUPS 123678 WITH SCORE 124011.535
AT ITER 186 NEW BEST:: SOT 413274 SOS 335770 HAS SOPS 315302 HAS SOUS 132837 HAS SOUPS 123119 WITH SCORE 123454.77
AT ITER 200 NEW BEST:: SOT 413585 SOS 335821 HAS SOPS 315493 HAS SOUS 132537 HAS SOUPS 122854 WITH SCORE 123189.821
AT ITER 215 NEW BEST:: SOT 413895 SOS 335657 HAS SOPS 315550 HAS SOUS 130313 HAS SOUPS 120713 WITH SCORE 121048.657
AT ITER 216 NEW BEST:: SOT 414232 SOS 335769 HAS SOPS 315752 HAS SOUS 129810 HAS SOUPS 120255 WITH SCORE 120590.769
AT ITER 222 NEW BEST:: SOT 414451 SOS 335863 HAS SOPS 315896 HAS SOUS 129571 HAS SOUPS 120041 WITH SCORE 120376.863
AT ITER 237 NEW BEST:: SOT 414451 SOS 335703 HAS SOPS 315736 HAS SOUS 129545 HAS SOUPS 120015 WITH SCORE 120350.703
AT ITER 250 NEW BEST:: SOT 414718 SOS 335785 HAS SOPS 315892 HAS SOUS 128932 HAS SOUPS 119439 WITH SCORE 119774.785
AT ITER 256 NEW BEST:: SOT 413683 SOS 334835 HAS SOPS 314898 HAS SOUS 128196 HAS SOUPS 118680 WITH SCORE 119014.835
AT ITER 257 NEW BEST:: SOT 413711 SOS 334863 HAS SOPS 314926 HAS SOUS 128181 HAS SOUPS 118665 WITH SCORE 118999.863
AT ITER 265 NEW BEST:: SOT 414081 SOS 335093 HAS SOPS 315212 HAS SOUS 128139 HAS SOUPS 118651 WITH SCORE 118986.093
AT ITER 271 NEW BEST:: SOT 414077 SOS 335089 HAS SOPS 315208 HAS SOUS 127863 HAS SOUPS 118375 WITH SCORE 118710.089
AT ITER 281 NEW BEST:: SOT 416079 SOS 336586 HAS SOPS 316922 HAS SOUS 127539 HAS SOUPS 118152 WITH SCORE 118488.586
AT ITER 334 NEW BEST:: SOT 416391 SOS 336798 HAS SOPS 317174 HAS SOUS 127411 HAS SOUPS 118044 WITH SCORE 118380.798
AT ITER 339 NEW BEST:: SOT 416992 SOS 337214 HAS SOPS 317664 HAS SOUS 127088 HAS SOUPS 117758 WITH SCORE 118095.214
AT ITER 342 NEW BEST:: SOT 415968 SOS 336386 HAS SOPS 316738 HAS SOUS 126808 HAS SOUPS 117429 WITH SCORE 117765.386
AT ITER 354 NEW BEST:: SOT 417874 SOS 337937 HAS SOPS 318443 HAS SOUS 126515 HAS SOUPS 117213 WITH SCORE 117550.937
AT ITER 360 NEW BEST:: SOT 418005 SOS 337853 HAS SOPS 318445 HAS SOUS 125575 HAS SOUPS 116316 WITH SCORE 116653.853
AT ITER 367 NEW BEST:: SOT 418625 SOS 338286 HAS SOPS 318996 HAS SOUS 124314 HAS SOUPS 115114 WITH SCORE 115452.286
AT ITER 381 NEW BEST:: SOT 418579 SOS 338240 HAS SOPS 318950 HAS SOUS 123998 HAS SOUPS 114798 WITH SCORE 115136.24
AT ITER 382 NEW BEST:: SOT 418447 SOS 338143 HAS SOPS 318839 HAS SOUS 123945 HAS SOUPS 114738 WITH SCORE 115076.143
AT ITER 395 NEW BEST:: SOT 418375 SOS 338071 HAS SOPS 318767 HAS SOUS 123606 HAS SOUPS 114399 WITH SCORE 114737.071
AT ITER 396 NEW BEST:: SOT 418567 SOS 338043 HAS SOPS 318830 HAS SOUS 122813 HAS SOUPS 113649 WITH SCORE 113987.043
AT ITER 419 NEW BEST:: SOT 420741 SOS 339848 HAS SOPS 320793 HAS SOUS 122688 HAS SOUPS 113603 WITH SCORE 113942.848
AT ITER 461 NEW BEST:: SOT 420541 SOS 339648 HAS SOPS 320593 HAS SOUS 122318 HAS SOUPS 113233 WITH SCORE 113572.648
AT ITER 515 NEW BEST:: SOT 419643 SOS 338880 HAS SOPS 319773 HAS SOUS 122298 HAS SOUPS 113187 WITH SCORE 113525.88
AT ITER 524 NEW BEST:: SOT 420067 SOS 339266 HAS SOPS 320197 HAS SOUS 122120 HAS SOUPS 113028 WITH SCORE 113367.266
AT ITER 534 NEW BEST:: SOT 421270 SOS 340281 HAS SOPS 321395 HAS SOUS 121417 HAS SOUPS 112377 WITH SCORE 112717.281
AT ITER 545 NEW BEST:: SOT 421780 SOS 340456 HAS SOPS 321733 HAS SOUS 120174 HAS SOUPS 111191 WITH SCORE 111531.456
AT ITER 548 NEW BEST:: SOT 420370 SOS 339046 HAS SOPS 320323 HAS SOUS 119532 HAS SOUPS 110549 WITH SCORE 110888.046
AT ITER 557 NEW BEST:: SOT 420267 SOS 338868 HAS SOPS 320175 HAS SOUS 118984 HAS SOUPS 110016 WITH SCORE 110354.868
AT ITER 558 NEW BEST:: SOT 419571 SOS 338337 HAS SOPS 319578 HAS SOUS 118766 HAS SOUPS 109765 WITH SCORE 110103.337
AT ITER 562 NEW BEST:: SOT 420157 SOS 338713 HAS SOPS 320042 HAS SOUS 118338 HAS SOUPS 109381 WITH SCORE 109719.713
AT ITER 565 NEW BEST:: SOT 420012 SOS 338568 HAS SOPS 319897 HAS SOUS 118241 HAS SOUPS 109284 WITH SCORE 109622.568
AT ITER 575 NEW BEST:: SOT 419951 SOS 338507 HAS SOPS 319836 HAS SOUS 118082 HAS SOUPS 109125 WITH SCORE 109463.507
AT ITER 583 NEW BEST:: SOT 419965 SOS 338748 HAS SOPS 320077 HAS SOUS 118081 HAS SOUPS 109124 WITH SCORE 109462.748
AT ITER 604 NEW BEST:: SOT 419466 SOS 338249 HAS SOPS 319578 HAS SOUS 117222 HAS SOUPS 108265 WITH SCORE 108603.249
AT ITER 611 NEW BEST:: SOT 418752 SOS 340728 HAS SOPS 322057 HAS SOUS 115826 HAS SOUPS 106869 WITH SCORE 107209.728
AT ITER 613 NEW BEST:: SOT 419232 SOS 341056 HAS SOPS 322461 HAS SOUS 115324 HAS SOUPS 106405 WITH SCORE 106746.056
AT ITER 622 NEW BEST:: SOT 419443 SOS 341151 HAS SOPS 322614 HAS SOUS 115095 HAS SOUPS 106205 WITH SCORE 106546.151
AT ITER 626 NEW BEST:: SOT 419443 SOS 340735 HAS SOPS 322198 HAS SOUS 115084 HAS SOUPS 106194 WITH SCORE 106534.735
AT ITER 631 NEW BEST:: SOT 419443 SOS 340735 HAS SOPS 322198 HAS SOUS 115060 HAS SOUPS 106170 WITH SCORE 106510.735
AT ITER 643 NEW BEST:: SOT 419227 SOS 340519 HAS SOPS 321982 HAS SOUS 114844 HAS SOUPS 105954 WITH SCORE 106294.519
AT ITER 645 NEW BEST:: SOT 419152 SOS 340444 HAS SOPS 321907 HAS SOUS 114199 HAS SOUPS 105309 WITH SCORE 105649.444
AT ITER 659 NEW BEST:: SOT 419774 SOS 340914 HAS SOPS 322453 HAS SOUS 114039 HAS SOUPS 105187 WITH SCORE 105527.914
AT ITER 666 NEW BEST:: SOT 420125 SOS 342057 HAS SOPS 323980 HAS SOUS 113915 HAS SOUPS 105083 WITH SCORE 105425.057
AT ITER 670 NEW BEST:: SOT 421715 SOS 343282 HAS SOPS 325396 HAS SOUS 113314 HAS SOUPS 104569 WITH SCORE 104912.282
AT ITER 700 NEW BEST:: SOT 424183 SOS 345436 HAS SOPS 327740 HAS SOUS 112880 HAS SOUPS 104213 WITH SCORE 104558.436
AT ITER 764 NEW BEST:: SOT 420845 SOS 342131 HAS SOPS 324435 HAS SOUS 111782 HAS SOUPS 103115 WITH SCORE 103457.131
AT ITER 785 NEW BEST:: SOT 420713 SOS 341999 HAS SOPS 324303 HAS SOUS 111518 HAS SOUPS 102851 WITH SCORE 103192.999
AT ITER 795 NEW BEST:: SOT 420719 SOS 342005 HAS SOPS 324309 HAS SOUS 111374 HAS SOUPS 102707 WITH SCORE 103049.005
AT ITER 812 NEW BEST:: SOT 420719 SOS 342005 HAS SOPS 324309 HAS SOUS 111350 HAS SOUPS 102683 WITH SCORE 103025.005
AT ITER 816 NEW BEST:: SOT 420773 SOS 342009 HAS SOPS 324343 HAS SOUS 111150 HAS SOUPS 102493 WITH SCORE 102835.009
AT ITER 851 NEW BEST:: SOT 422272 SOS 343089 HAS SOPS 325642 HAS SOUS 109863 HAS SOUPS 101306 WITH SCORE 101649.089
AT ITER 889 NEW BEST:: SOT 422344 SOS 343105 HAS SOPS 325686 HAS SOUS 109739 HAS SOUPS 101196 WITH SCORE 101539.105
AT ITER 892 NEW BEST:: SOT 422558 SOS 343159 HAS SOPS 325830 HAS SOUS 109515 HAS SOUPS 100995 WITH SCORE 101338.159
AT ITER 898 NEW BEST:: SOT 422566 SOS 343136 HAS SOPS 325827 HAS SOUS 109368 HAS SOUPS 100853 WITH SCORE 101196.136
AT ITER 921 NEW BEST:: SOT 422575 SOS 342713 HAS SOPS 325404 HAS SOUS 109362 HAS SOUPS 100847 WITH SCORE 101189.713
AT ITER 940 NEW BEST:: SOT 422083 SOS 342221 HAS SOPS 324912 HAS SOUS 108702 HAS SOUPS 100187 WITH SCORE 100529.221
AT ITER 1007 NEW BEST:: SOT 422584 SOS 342722 HAS SOPS 325413 HAS SOUS 108597 HAS SOUPS 100082 WITH SCORE 100424.722
AT ITER 1107 NEW BEST:: SOT 422812 SOS 342950 HAS SOPS 325641 HAS SOUS 108369 HAS SOUPS 99854 WITH SCORE 100196.95
AT ITER 1111 NEW BEST:: SOT 422095 SOS 342262 HAS SOPS 324953 HAS SOUS 108274 HAS SOUPS 99759 WITH SCORE 100101.262
AT ITER 1128 NEW BEST:: SOT 422181 SOS 342348 HAS SOPS 325039 HAS SOUS 108267 HAS SOUPS 99752 WITH SCORE 100094.348
AT ITER 1144 NEW BEST:: SOT 422322 SOS 342390 HAS SOPS 325134 HAS SOUS 107993 HAS SOUPS 99501 WITH SCORE 99843.39
AT ITER 1174 NEW BEST:: SOT 422677 SOS 344032 HAS SOPS 326826 HAS SOUS 107699 HAS SOUPS 99207 WITH SCORE 99551.032
AT ITER 1178 NEW BEST:: SOT 422951 SOS 344245 HAS SOPS 327072 HAS SOUS 107586 HAS SOUPS 99108 WITH SCORE 99452.245
AT ITER 1179 NEW BEST:: SOT 422831 SOS 344125 HAS SOPS 326952 HAS SOUS 107346 HAS SOUPS 98868 WITH SCORE 99212.125
AT ITER 1190 NEW BEST:: SOT 424106 SOS 345048 HAS SOPS 328055 HAS SOUS 106285 HAS SOUPS 97893 WITH SCORE 98238.048
AT ITER 1217 NEW BEST:: SOT 424310 SOS 345188 HAS SOPS 328227 HAS SOUS 106051 HAS SOUPS 97675 WITH SCORE 98020.188
AT ITER 1222 NEW BEST:: SOT 424385 SOS 345263 HAS SOPS 328302 HAS SOUS 105964 HAS SOUPS 97588 WITH SCORE 97933.263
AT ITER 1227 NEW BEST:: SOT 424557 SOS 345298 HAS SOPS 328412 HAS SOUS 105474 HAS SOUPS 97129 WITH SCORE 97474.298
AT ITER 1228 NEW BEST:: SOT 424446 SOS 345187 HAS SOPS 328301 HAS SOUS 105387 HAS SOUPS 97042 WITH SCORE 97387.187
AT ITER 1253 NEW BEST:: SOT 424136 SOS 344781 HAS SOPS 327895 HAS SOUS 104656 HAS SOUPS 96311 WITH SCORE 96655.781
AT ITER 1280 NEW BEST:: SOT 423080 SOS 343693 HAS SOPS 326807 HAS SOUS 104500 HAS SOUPS 96155 WITH SCORE 96498.693
AT ITER 1290 NEW BEST:: SOT 421710 SOS 342676 HAS SOPS 325567 HAS SOUS 103706 HAS SOUPS 95249 WITH SCORE 95591.676
AT ITER 1291 NEW BEST:: SOT 421821 SOS 342787 HAS SOPS 325678 HAS SOUS 103317 HAS SOUPS 94860 WITH SCORE 95202.787
AT ITER 1295 NEW BEST:: SOT 422092 SOS 342915 HAS SOPS 325883 HAS SOUS 102646 HAS SOUPS 94222 WITH SCORE 94564.915
AT ITER 1335 NEW BEST:: SOT 422132 SOS 342935 HAS SOPS 325913 HAS SOUS 102531 HAS SOUPS 94112 WITH SCORE 94454.935
AT ITER 1353 NEW BEST:: SOT 422108 SOS 342811 HAS SOPS 325849 HAS SOUS 102007 HAS SOUPS 93608 WITH SCORE 93950.811
AT ITER 1369 NEW BEST:: SOT 422649 SOS 343228 HAS SOPS 326328 HAS SOUS 101866 HAS SOUPS 93498 WITH SCORE 93841.228
AT ITER 1386 NEW BEST:: SOT 422598 SOS 343177 HAS SOPS 326277 HAS SOUS 101815 HAS SOUPS 93447 WITH SCORE 93790.177
AT ITER 1402 NEW BEST:: SOT 422876 SOS 343455 HAS SOPS 326555 HAS SOUS 101693 HAS SOUPS 93325 WITH SCORE 93668.455
AT ITER 1403 NEW BEST:: SOT 422854 SOS 343433 HAS SOPS 326533 HAS SOUS 101643 HAS SOUPS 93275 WITH SCORE 93618.433
AT ITER 1419 NEW BEST:: SOT 422774 SOS 343361 HAS SOPS 326457 HAS SOUS 101593 HAS SOUPS 93223 WITH SCORE 93566.361
AT ITER 1442 NEW BEST:: SOT 421790 SOS 342377 HAS SOPS 325473 HAS SOUS 101497 HAS SOUPS 93127 WITH SCORE 93469.377
AT ITER 1445 NEW BEST:: SOT 421930 SOS 342467 HAS SOPS 325593 HAS SOUS 101405 HAS SOUPS 93045 WITH SCORE 93387.467
AT ITER 1484 NEW BEST:: SOT 421930 SOS 342403 HAS SOPS 325529 HAS SOUS 101404 HAS SOUPS 93044 WITH SCORE 93386.403
AT ITER 1512 NEW BEST:: SOT 421930 SOS 342393 HAS SOPS 325519 HAS SOUS 101389 HAS SOUPS 93029 WITH SCORE 93371.393
AT ITER 1531 NEW BEST:: SOT 422477 SOS 342661 HAS SOPS 325940 HAS SOUS 101252 HAS SOUPS 92955 WITH SCORE 93297.661
AT ITER 1556 NEW BEST:: SOT 422484 SOS 342668 HAS SOPS 325947 HAS SOUS 101247 HAS SOUPS 92950 WITH SCORE 93292.668
AT ITER 1615 NEW BEST:: SOT 422483 SOS 342667 HAS SOPS 325946 HAS SOUS 101246 HAS SOUPS 92949 WITH SCORE 93291.667
AT ITER 1619 NEW BEST:: SOT 422359 SOS 342571 HAS SOPS 325836 HAS SOUS 101250 HAS SOUPS 92946 WITH SCORE 93288.571
AT ITER 1633 NEW BEST:: SOT 422209 SOS 342421 HAS SOPS 325686 HAS SOUS 100524 HAS SOUPS 92220 WITH SCORE 92562.421
AT ITER 1649 NEW BEST:: SOT 422209 SOS 343349 HAS SOPS 326614 HAS SOUS 100523 HAS SOUPS 92219 WITH SCORE 92562.349
AT ITER 1662 NEW BEST:: SOT 422204 SOS 342647 HAS SOPS 325905 HAS SOUS 100500 HAS SOUPS 92196 WITH SCORE 92538.647
AT ITER 1682 NEW BEST:: SOT 422186 SOS 342629 HAS SOPS 325887 HAS SOUS 100473 HAS SOUPS 92169 WITH SCORE 92511.629
AT ITER 1729 NEW BEST:: SOT 422798 SOS 343137 HAS SOPS 326447 HAS SOUS 100429 HAS SOUPS 92151 WITH SCORE 92494.137
AT ITER 1739 NEW BEST:: SOT 422766 SOS 343105 HAS SOPS 326415 HAS SOUS 100365 HAS SOUPS 92087 WITH SCORE 92430.105
AT ITER 1765 NEW BEST:: SOT 422883 SOS 343908 HAS SOPS 327364 HAS SOUS 100329 HAS SOUPS 92051 WITH SCORE 92394.908
AT ITER 1802 NEW BEST:: SOT 425598 SOS 346262 HAS SOPS 329937 HAS SOUS 100160 HAS SOUPS 91982 WITH SCORE 92328.262
AT ITER 1826 NEW BEST:: SOT 425592 SOS 346256 HAS SOPS 329931 HAS SOUS 100154 HAS SOUPS 91976 WITH SCORE 92322.256
AT ITER 1851 NEW BEST:: SOT 425484 SOS 346148 HAS SOPS 329823 HAS SOUS 99980 HAS SOUPS 91802 WITH SCORE 92148.148
AT ITER 1856 NEW BEST:: SOT 425484 SOS 346852 HAS SOPS 330527 HAS SOUS 99969 HAS SOUPS 91791 WITH SCORE 92137.852
AT ITER 1879 NEW BEST:: SOT 425439 SOS 346807 HAS SOPS 330482 HAS SOUS 99906 HAS SOUPS 91728 WITH SCORE 92074.807
AT ITER 1924 NEW BEST:: SOT 425295 SOS 346687 HAS SOPS 330350 HAS SOUS 99846 HAS SOUPS 91662 WITH SCORE 92008.687
AT ITER 1929 NEW BEST:: SOT 424452 SOS 345844 HAS SOPS 329507 HAS SOUS 99003 HAS SOUPS 90819 WITH SCORE 91164.844
AT ITER 1940 NEW BEST:: SOT 424434 SOS 345826 HAS SOPS 329489 HAS SOUS 99003 HAS SOUPS 90819 WITH SCORE 91164.826
AT ITER 1980 NEW BEST:: SOT 424422 SOS 345814 HAS SOPS 329477 HAS SOUS 98955 HAS SOUPS 90771 WITH SCORE 91116.814
AT ITER 1985 NEW BEST:: SOT 424422 SOS 345814 HAS SOPS 329477 HAS SOUS 98925 HAS SOUPS 90741 WITH SCORE 91086.814
AT ITER 2035 NEW BEST:: SOT 424476 SOS 345828 HAS SOPS 329511 HAS SOUS 98785 HAS SOUPS 90611 WITH SCORE 90956.828
AT ITER 2045 NEW BEST:: SOT 424120 SOS 345472 HAS SOPS 329155 HAS SOUS 98429 HAS SOUPS 90255 WITH SCORE 90600.472
AT ITER 2109 NEW BEST:: SOT 424451 SOS 345719 HAS SOPS 329444 HAS SOUS 98090 HAS SOUPS 89937 WITH SCORE 90282.719
AT ITER 2135 NEW BEST:: SOT 424550 SOS 345818 HAS SOPS 329543 HAS SOUS 98081 HAS SOUPS 89928 WITH SCORE 90273.818
AT ITER 2156 NEW BEST:: SOT 424272 SOS 345540 HAS SOPS 329265 HAS SOUS 97621 HAS SOUPS 89468 WITH SCORE 89813.54
AT ITER 2173 NEW BEST:: SOT 425910 SOS 346950 HAS SOPS 330789 HAS SOUS 97133 HAS SOUPS 89037 WITH SCORE 89383.95
AT ITER 2273 NEW BEST:: SOT 427664 SOS 348448 HAS SOPS 332423 HAS SOUS 96827 HAS SOUPS 88799 WITH SCORE 89147.448
AT ITER 2334 NEW BEST:: SOT 427664 SOS 348384 HAS SOPS 332359 HAS SOUS 96826 HAS SOUPS 88798 WITH SCORE 89146.384
AT ITER 2341 NEW BEST:: SOT 427956 SOS 350312 HAS SOPS 334375 HAS SOUS 96717 HAS SOUPS 88689 WITH SCORE 89039.312
AT ITER 2365 NEW BEST:: SOT 427848 SOS 350204 HAS SOPS 334267 HAS SOUS 96579 HAS SOUPS 88551 WITH SCORE 88901.204
AT ITER 2370 NEW BEST:: SOT 427848 SOS 350192 HAS SOPS 334255 HAS SOUS 96573 HAS SOUPS 88545 WITH SCORE 88895.192
AT ITER 2424 NEW BEST:: SOT 428239 SOS 350471 HAS SOPS 334590 HAS SOUS 96356 HAS SOUPS 88356 WITH SCORE 88706.471
AT ITER 2434 NEW BEST:: SOT 428239 SOS 351167 HAS SOPS 335286 HAS SOUS 96354 HAS SOUPS 88354 WITH SCORE 88705.167
AT ITER 2464 NEW BEST:: SOT 430863 SOS 353488 HAS SOPS 337815 HAS SOUS 95877 HAS SOUPS 87981 WITH SCORE 88334.488
AT ITER 2507 NEW BEST:: SOT 430439 SOS 353176 HAS SOPS 337447 HAS SOUS 95865 HAS SOUPS 87941 WITH SCORE 88294.176
AT ITER 2513 NEW BEST:: SOT 429830 SOS 352567 HAS SOPS 336838 HAS SOUS 95190 HAS SOUPS 87266 WITH SCORE 87618.567
AT ITER 2617 NEW BEST:: SOT 429579 SOS 352316 HAS SOPS 336587 HAS SOUS 94939 HAS SOUPS 87015 WITH SCORE 87367.316
AT ITER 2664 NEW BEST:: SOT 429682 SOS 352321 HAS SOPS 336592 HAS SOUS 94895 HAS SOUPS 86971 WITH SCORE 87323.321
AT ITER 2698 NEW BEST:: SOT 429685 SOS 352316 HAS SOPS 336591 HAS SOUS 94830 HAS SOUPS 86908 WITH SCORE 87260.316
AT ITER 2701 NEW BEST:: SOT 429670 SOS 352269 HAS SOPS 336560 HAS SOUS 94649 HAS SOUPS 86735 WITH SCORE 87087.269
AT ITER 2745 NEW BEST:: SOT 430000 SOS 352599 HAS SOPS 336890 HAS SOUS 94469 HAS SOUPS 86555 WITH SCORE 86907.599
AT ITER 2751 NEW BEST:: SOT 429375 SOS 352070 HAS SOPS 336313 HAS SOUS 94256 HAS SOUPS 86318 WITH SCORE 86670.07
AT ITER 2756 NEW BEST:: SOT 429708 SOS 352279 HAS SOPS 336584 HAS SOUS 94092 HAS SOUPS 86185 WITH SCORE 86537.279
AT ITER 2768 NEW BEST:: SOT 430797 SOS 353146 HAS SOPS 337561 HAS SOUS 93978 HAS SOUPS 86126 WITH SCORE 86479.146
AT ITER 2772 NEW BEST:: SOT 430537 SOS 352910 HAS SOPS 337305 HAS SOUS 93964 HAS SOUPS 86102 WITH SCORE 86454.91
AT ITER 2833 NEW BEST:: SOT 430537 SOS 352910 HAS SOPS 337305 HAS SOUS 93928 HAS SOUPS 86066 WITH SCORE 86418.91
AT ITER 2836 NEW BEST:: SOT 428853 SOS 351426 HAS SOPS 335721 HAS SOUS 93456 HAS SOUPS 85544 WITH SCORE 85895.426
AT ITER 2870 NEW BEST:: SOT 428828 SOS 351401 HAS SOPS 335696 HAS SOUS 93381 HAS SOUPS 85469 WITH SCORE 85820.401
AT ITER 2880 NEW BEST:: SOT 428870 SOS 351435 HAS SOPS 335734 HAS SOUS 93371 HAS SOUPS 85461 WITH SCORE 85812.435
AT ITER 2913 NEW BEST:: SOT 428800 SOS 351365 HAS SOPS 335664 HAS SOUS 93299 HAS SOUPS 85389 WITH SCORE 85740.365
AT ITER 2930 NEW BEST:: SOT 428492 SOS 351085 HAS SOPS 335356 HAS SOUS 93227 HAS SOUPS 85303 WITH SCORE 85654.085
AT ITER 2931 NEW BEST:: SOT 428596 SOS 351157 HAS SOPS 335444 HAS SOUS 93067 HAS SOUPS 85151 WITH SCORE 85502.157
AT ITER 2939 NEW BEST:: SOT 428598 SOS 351159 HAS SOPS 335446 HAS SOUS 93063 HAS SOUPS 85147 WITH SCORE 85498.159
AT ITER 2967 NEW BEST:: SOT 428763 SOS 351256 HAS SOPS 335577 HAS SOUS 92911 HAS SOUPS 85012 WITH SCORE 85363.256
AT ITER 2974 NEW BEST:: SOT 428845 SOS 351298 HAS SOPS 335639 HAS SOUS 92637 HAS SOUPS 84748 WITH SCORE 85099.298
AT ITER 2989 NEW BEST:: SOT 430634 SOS 352779 HAS SOPS 337274 HAS SOUS 91742 HAS SOUPS 83930 WITH SCORE 84282.779
AT ITER 2997 NEW BEST:: SOT 430883 SOS 353028 HAS SOPS 337523 HAS SOUS 91619 HAS SOUPS 83807 WITH SCORE 84160.028
AT ITER 3013 NEW BEST:: SOT 430687 SOS 352832 HAS SOPS 337327 HAS SOUS 91465 HAS SOUPS 83653 WITH SCORE 84005.832
AT ITER 3091 NEW BEST:: SOT 430983 SOS 353028 HAS SOPS 337573 HAS SOUS 91240 HAS SOUPS 83453 WITH SCORE 83806.028
AT ITER 3123 NEW BEST:: SOT 430988 SOS 353029 HAS SOPS 337576 HAS SOUS 91231 HAS SOUPS 83445 WITH SCORE 83798.029
AT ITER 3177 NEW BEST:: SOT 430978 SOS 353019 HAS SOPS 337566 HAS SOUS 91031 HAS SOUPS 83245 WITH SCORE 83598.019
AT ITER 3186 NEW BEST:: SOT 431154 SOS 353151 HAS SOPS 337720 HAS SOUS 90789 HAS SOUPS 83014 WITH SCORE 83367.151
AT ITER 3212 NEW BEST:: SOT 431196 SOS 353527 HAS SOPS 338116 HAS SOUS 90563 HAS SOUPS 82794 WITH SCORE 83147.527
AT ITER 3241 NEW BEST:: SOT 431328 SOS 353659 HAS SOPS 338248 HAS SOUS 90515 HAS SOUPS 82746 WITH SCORE 83099.659
AT ITER 3302 NEW BEST:: SOT 431328 SOS 352915 HAS SOPS 337504 HAS SOUS 90505 HAS SOUPS 82736 WITH SCORE 83088.915
AT ITER 3460 NEW BEST:: SOT 431326 SOS 352935 HAS SOPS 337524 HAS SOUS 90486 HAS SOUPS 82717 WITH SCORE 83069.935
AT ITER 3472 NEW BEST:: SOT 431326 SOS 353055 HAS SOPS 337644 HAS SOUS 90483 HAS SOUPS 82714 WITH SCORE 83067.055
AT ITER 3481 NEW BEST:: SOT 431394 SOS 353083 HAS SOPS 337692 HAS SOUS 90251 HAS SOUPS 82492 WITH SCORE 82845.083
AT ITER 3485 NEW BEST:: SOT 431382 SOS 353071 HAS SOPS 337680 HAS SOUS 90239 HAS SOUPS 82480 WITH SCORE 82833.071
AT ITER 3534 NEW BEST:: SOT 431398 SOS 352935 HAS SOPS 337620 HAS SOUS 89419 HAS SOUPS 81698 WITH SCORE 82050.935
AT ITER 3591 NEW BEST:: SOT 431392 SOS 352929 HAS SOPS 337614 HAS SOUS 89406 HAS SOUPS 81685 WITH SCORE 82037.929
AT ITER 3655 NEW BEST:: SOT 431389 SOS 353054 HAS SOPS 337739 HAS SOUS 89405 HAS SOUPS 81684 WITH SCORE 82037.054
AT ITER 3671 NEW BEST:: SOT 431357 SOS 353022 HAS SOPS 337707 HAS SOUS 89189 HAS SOUPS 81468 WITH SCORE 81821.022
AT ITER 3672 NEW BEST:: SOT 431419 SOS 353024 HAS SOPS 337739 HAS SOUS 88884 HAS SOUPS 81178 WITH SCORE 81531.024
AT ITER 3710 NEW BEST:: SOT 431242 SOS 352847 HAS SOPS 337562 HAS SOUS 88723 HAS SOUPS 81017 WITH SCORE 81369.847
AT ITER 3760 NEW BEST:: SOT 430699 SOS 352304 HAS SOPS 337019 HAS SOUS 88468 HAS SOUPS 80762 WITH SCORE 81114.304
AT ITER 3769 NEW BEST:: SOT 430621 SOS 352226 HAS SOPS 336941 HAS SOUS 88402 HAS SOUPS 80696 WITH SCORE 81048.226
AT ITER 3783 NEW BEST:: SOT 430585 SOS 352202 HAS SOPS 336911 HAS SOUS 88396 HAS SOUPS 80687 WITH SCORE 81039.202
AT ITER 3786 NEW BEST:: SOT 430365 SOS 352014 HAS SOPS 336707 HAS SOUS 88166 HAS SOUPS 80449 WITH SCORE 80801.014
AT ITER 3809 NEW BEST:: SOT 430503 SOS 352088 HAS SOPS 336813 HAS SOUS 88082 HAS SOUPS 80381 WITH SCORE 80733.088
AT ITER 3812 NEW BEST:: SOT 430637 SOS 352150 HAS SOPS 336911 HAS SOUS 87622 HAS SOUPS 79939 WITH SCORE 80291.15
AT ITER 3840 NEW BEST:: SOT 430529 SOS 352042 HAS SOPS 336803 HAS SOUS 87618 HAS SOUPS 79935 WITH SCORE 80287.042
AT ITER 3915 NEW BEST:: SOT 430570 SOS 352083 HAS SOPS 336844 HAS SOUS 87558 HAS SOUPS 79875 WITH SCORE 80227.083
AT ITER 3950 NEW BEST:: SOT 430573 SOS 351903 HAS SOPS 336664 HAS SOUS 87558 HAS SOUPS 79875 WITH SCORE 80226.903
AT ITER 3963 NEW BEST:: SOT 430573 SOS 350298 HAS SOPS 335055 HAS SOUS 87551 HAS SOUPS 79868 WITH SCORE 80218.298
AT ITER 4039 NEW BEST:: SOT 430557 SOS 350282 HAS SOPS 335039 HAS SOUS 87515 HAS SOUPS 79832 WITH SCORE 80182.282
AT ITER 4062 NEW BEST:: SOT 430557 SOS 350266 HAS SOPS 335023 HAS SOUS 87507 HAS SOUPS 79824 WITH SCORE 80174.266
AT ITER 4092 NEW BEST:: SOT 430335 SOS 350076 HAS SOPS 334817 HAS SOUS 87504 HAS SOUPS 79813 WITH SCORE 80163.076
AT ITER 4198 NEW BEST:: SOT 430335 SOS 350060 HAS SOPS 334801 HAS SOUS 87496 HAS SOUPS 79805 WITH SCORE 80155.06
AT ITER 4229 NEW BEST:: SOT 430335 SOS 349868 HAS SOPS 334609 HAS SOUS 87493 HAS SOUPS 79802 WITH SCORE 80151.868
AT ITER 4258 NEW BEST:: SOT 430347 SOS 349880 HAS SOPS 334621 HAS SOUS 87445 HAS SOUPS 79754 WITH SCORE 80103.88
AT ITER 4320 NEW BEST:: SOT 429843 SOS 349448 HAS SOPS 334153 HAS SOUS 87301 HAS SOUPS 79592 WITH SCORE 79941.448
AT ITER 4341 NEW BEST:: SOT 429755 SOS 349366 HAS SOPS 334067 HAS SOUS 87217 HAS SOUPS 79506 WITH SCORE 79855.366
AT ITER 4407 NEW BEST:: SOT 429533 SOS 349144 HAS SOPS 333845 HAS SOUS 87103 HAS SOUPS 79392 WITH SCORE 79741.144
AT ITER 4460 NEW BEST:: SOT 429533 SOS 348248 HAS SOPS 332949 HAS SOUS 87089 HAS SOUPS 79378 WITH SCORE 79726.248
AT ITER 4472 NEW BEST:: SOT 429668 SOS 348280 HAS SOPS 332981 HAS SOUS 87084 HAS SOUPS 79373 WITH SCORE 79721.28
AT ITER 4511 NEW BEST:: SOT 429668 SOS 348024 HAS SOPS 332725 HAS SOUS 87082 HAS SOUPS 79371 WITH SCORE 79719.024
AT ITER 4551 NEW BEST:: SOT 429458 SOS 347834 HAS SOPS 332525 HAS SOUS 86983 HAS SOUPS 79267 WITH SCORE 79614.834
AT ITER 4578 NEW BEST:: SOT 429132 SOS 347508 HAS SOPS 332199 HAS SOUS 86743 HAS SOUPS 79027 WITH SCORE 79374.508
AT ITER 4628 NEW BEST:: SOT 430233 SOS 348628 HAS SOPS 333319 HAS SOUS 86653 HAS SOUPS 78937 WITH SCORE 79285.628
AT ITER 4670 NEW BEST:: SOT 430314 SOS 348709 HAS SOPS 333400 HAS SOUS 86626 HAS SOUPS 78910 WITH SCORE 79258.709
AT ITER 4689 NEW BEST:: SOT 430152 SOS 348583 HAS SOPS 333256 HAS SOUS 86608 HAS SOUPS 78883 WITH SCORE 79231.583
AT ITER 4699 NEW BEST:: SOT 430122 SOS 348553 HAS SOPS 333226 HAS SOUS 86566 HAS SOUPS 78841 WITH SCORE 79189.553
AT ITER 4711 NEW BEST:: SOT 430650 SOS 349135 HAS SOPS 333808 HAS SOUS 86365 HAS SOUPS 78640 WITH SCORE 78989.135
AT ITER 4731 NEW BEST:: SOT 430320 SOS 348805 HAS SOPS 333478 HAS SOUS 86095 HAS SOUPS 78370 WITH SCORE 78718.805
AT ITER 4816 NEW BEST:: SOT 431436 SOS 349768 HAS SOPS 334523 HAS SOUS 85961 HAS SOUPS 78277 WITH SCORE 78626.768
AT ITER 4883 NEW BEST:: SOT 431436 SOS 348681 HAS SOPS 333436 HAS SOUS 85943 HAS SOUPS 78259 WITH SCORE 78607.681
AT ITER 4938 NEW BEST:: SOT 431396 SOS 348641 HAS SOPS 333396 HAS SOUS 85844 HAS SOUPS 78160 WITH SCORE 78508.641
AT ITER 4939 NEW BEST:: SOT 431396 SOS 349137 HAS SOPS 333892 HAS SOUS 85840 HAS SOUPS 78156 WITH SCORE 78505.137
AT ITER 4979 NEW BEST:: SOT 431396 SOS 348193 HAS SOPS 332948 HAS SOUS 85814 HAS SOUPS 78130 WITH SCORE 78478.193
AT ITER 5028 NEW BEST:: SOT 428986 SOS 346040 HAS SOPS 330795 HAS SOUS 85617 HAS SOUPS 77933 WITH SCORE 78279.04
AT ITER 5258 NEW BEST:: SOT 428986 SOS 346016 HAS SOPS 330771 HAS SOUS 85614 HAS SOUPS 77930 WITH SCORE 78276.016
AT ITER 5276 NEW BEST:: SOT 428986 SOS 345632 HAS SOPS 330387 HAS SOUS 85608 HAS SOUPS 77924 WITH SCORE 78269.632
AT ITER 5301 NEW BEST:: SOT 429121 SOS 345767 HAS SOPS 330522 HAS SOUS 85383 HAS SOUPS 77699 WITH SCORE 78044.767
AT ITER 5306 NEW BEST:: SOT 429047 SOS 345699 HAS SOPS 330450 HAS SOUS 85349 HAS SOUPS 77663 WITH SCORE 78008.699
AT ITER 5317 NEW BEST:: SOT 429047 SOS 345515 HAS SOPS 330266 HAS SOUS 85347 HAS SOUPS 77661 WITH SCORE 78006.515
AT ITER 5340 NEW BEST:: SOT 428942 SOS 345410 HAS SOPS 330161 HAS SOUS 85320 HAS SOUPS 77634 WITH SCORE 77979.41
AT ITER 5370 NEW BEST:: SOT 428942 SOS 345002 HAS SOPS 329753 HAS SOUS 85315 HAS SOUPS 77629 WITH SCORE 77974.002
AT ITER 5390 NEW BEST:: SOT 428874 SOS 344934 HAS SOPS 329685 HAS SOUS 85247 HAS SOUPS 77561 WITH SCORE 77905.934
AT ITER 5434 NEW BEST:: SOT 428826 SOS 344886 HAS SOPS 329637 HAS SOUS 85120 HAS SOUPS 77434 WITH SCORE 77778.886
AT ITER 5492 NEW BEST:: SOT 428826 SOS 344822 HAS SOPS 329573 HAS SOUS 85119 HAS SOUPS 77433 WITH SCORE 77777.822
AT ITER 5511 NEW BEST:: SOT 428830 SOS 344385 HAS SOPS 329127 HAS SOUS 85105 HAS SOUPS 77419 WITH SCORE 77763.385
AT ITER 5557 NEW BEST:: SOT 428902 SOS 344457 HAS SOPS 329199 HAS SOUS 85087 HAS SOUPS 77401 WITH SCORE 77745.457
AT ITER 5564 NEW BEST:: SOT 428922 SOS 344477 HAS SOPS 329219 HAS SOUS 85059 HAS SOUPS 77373 WITH SCORE 77717.477
AT ITER 5637 NEW BEST:: SOT 428886 SOS 344441 HAS SOPS 329183 HAS SOUS 85059 HAS SOUPS 77373 WITH SCORE 77717.441
AT ITER 5658 NEW BEST:: SOT 428850 SOS 344405 HAS SOPS 329147 HAS SOUS 84987 HAS SOUPS 77301 WITH SCORE 77645.405
AT ITER 5679 NEW BEST:: SOT 429043 SOS 344598 HAS SOPS 329340 HAS SOUS 84976 HAS SOUPS 77290 WITH SCORE 77634.598
AT ITER 5680 NEW BEST:: SOT 427897 SOS 343954 HAS SOPS 328696 HAS SOUS 84888 HAS SOUPS 77202 WITH SCORE 77545.954
AT ITER 5682 NEW BEST:: SOT 427897 SOS 343954 HAS SOPS 328696 HAS SOUS 84882 HAS SOUPS 77196 WITH SCORE 77539.954
AT ITER 5723 NEW BEST:: SOT 427802 SOS 343859 HAS SOPS 328601 HAS SOUS 84853 HAS SOUPS 77167 WITH SCORE 77510.859
AT ITER 5744 NEW BEST:: SOT 427457 SOS 343514 HAS SOPS 328256 HAS SOUS 84472 HAS SOUPS 76786 WITH SCORE 77129.514
AT ITER 5836 NEW BEST:: SOT 427442 SOS 343502 HAS SOPS 328244 HAS SOUS 84453 HAS SOUPS 76767 WITH SCORE 77110.502
AT ITER 5842 NEW BEST:: SOT 427432 SOS 343492 HAS SOPS 328234 HAS SOUS 84453 HAS SOUPS 76767 WITH SCORE 77110.492
AT ITER 5935 NEW BEST:: SOT 427258 SOS 343342 HAS SOPS 328068 HAS SOUS 84423 HAS SOUPS 76729 WITH SCORE 77072.342
AT ITER 6019 NEW BEST:: SOT 427230 SOS 343314 HAS SOPS 328040 HAS SOUS 84395 HAS SOUPS 76701 WITH SCORE 77044.314
AT ITER 6073 NEW BEST:: SOT 427142 SOS 343226 HAS SOPS 327952 HAS SOUS 84332 HAS SOUPS 76638 WITH SCORE 76981.226
AT ITER 6132 NEW BEST:: SOT 427076 SOS 343160 HAS SOPS 327886 HAS SOUS 84208 HAS SOUPS 76514 WITH SCORE 76857.16
AT ITER 6241 NEW BEST:: SOT 427072 SOS 343152 HAS SOPS 327878 HAS SOUS 84188 HAS SOUPS 76494 WITH SCORE 76837.152
AT ITER 6317 NEW BEST:: SOT 427030 SOS 343116 HAS SOPS 327838 HAS SOUS 84190 HAS SOUPS 76494 WITH SCORE 76837.116
AT ITER 6363 NEW BEST:: SOT 428369 SOS 347608 HAS SOPS 332474 HAS SOUS 84101 HAS SOUPS 76477 WITH SCORE 76824.608
AT ITER 6429 NEW BEST:: SOT 428321 SOS 347569 HAS SOPS 332429 HAS SOUS 84086 HAS SOUPS 76459 WITH SCORE 76806.569
AT ITER 6437 NEW BEST:: SOT 428316 SOS 347564 HAS SOPS 332424 HAS SOUS 84079 HAS SOUPS 76452 WITH SCORE 76799.564
AT ITER 6461 NEW BEST:: SOT 428563 SOS 347778 HAS SOPS 332660 HAS SOUS 83968 HAS SOUPS 76352 WITH SCORE 76699.778
AT ITER 6517 NEW BEST:: SOT 428545 SOS 347742 HAS SOPS 332636 HAS SOUS 83782 HAS SOUPS 76172 WITH SCORE 76519.742
AT ITER 6534 NEW BEST:: SOT 428631 SOS 347813 HAS SOPS 332717 HAS SOUS 83727 HAS SOUPS 76122 WITH SCORE 76469.813
AT ITER 6608 NEW BEST:: SOT 428631 SOS 347685 HAS SOPS 332589 HAS SOUS 83726 HAS SOUPS 76121 WITH SCORE 76468.685
AT ITER 6620 NEW BEST:: SOT 428343 SOS 347397 HAS SOPS 332301 HAS SOUS 83546 HAS SOUPS 75941 WITH SCORE 76288.397
AT ITER 6631 NEW BEST:: SOT 429129 SOS 348195 HAS SOPS 333099 HAS SOUS 83522 HAS SOUPS 75917 WITH SCORE 76265.195
AT ITER 6644 NEW BEST:: SOT 429402 SOS 348435 HAS SOPS 333361 HAS SOUS 83474 HAS SOUPS 75880 WITH SCORE 76228.435
AT ITER 6753 NEW BEST:: SOT 429400 SOS 348433 HAS SOPS 333359 HAS SOUS 83470 HAS SOUPS 75876 WITH SCORE 76224.433
AT ITER 6796 NEW BEST:: SOT 429388 SOS 348421 HAS SOPS 333347 HAS SOUS 83428 HAS SOUPS 75834 WITH SCORE 76182.421
AT ITER 6964 NEW BEST:: SOT 429224 SOS 348428 HAS SOPS 333354 HAS SOUS 83404 HAS SOUPS 75810 WITH SCORE 76158.428
AT ITER 6987 NEW BEST:: SOT 429398 SOS 348587 HAS SOPS 333523 HAS SOUS 83387 HAS SOUPS 75798 WITH SCORE 76146.587
AT ITER 7052 NEW BEST:: SOT 429446 SOS 348626 HAS SOPS 333568 HAS SOUS 83378 HAS SOUPS 75792 WITH SCORE 76140.626
AT ITER 7068 NEW BEST:: SOT 429436 SOS 348616 HAS SOPS 333558 HAS SOUS 83376 HAS SOUPS 75790 WITH SCORE 76138.616
AT ITER 7168 NEW BEST:: SOT 429435 SOS 350195 HAS SOPS 335137 HAS SOUS 83322 HAS SOUPS 75736 WITH SCORE 76086.195
AT ITER 7293 NEW BEST:: SOT 429315 SOS 350075 HAS SOPS 335017 HAS SOUS 83142 HAS SOUPS 75556 WITH SCORE 75906.075
AT ITER 7413 NEW BEST:: SOT 429350 SOS 350087 HAS SOPS 335029 HAS SOUS 83117 HAS SOUPS 75531 WITH SCORE 75881.087
AT ITER 7422 NEW BEST:: SOT 429350 SOS 350039 HAS SOPS 334981 HAS SOUS 83114 HAS SOUPS 75528 WITH SCORE 75878.039
AT ITER 7455 NEW BEST:: SOT 429308 SOS 350003 HAS SOPS 334941 HAS SOUS 83098 HAS SOUPS 75510 WITH SCORE 75860.003
AT ITER 7459 NEW BEST:: SOT 429200 SOS 349907 HAS SOPS 334837 HAS SOUS 83062 HAS SOUPS 75470 WITH SCORE 75819.907
AT ITER 7476 NEW BEST:: SOT 429192 SOS 349899 HAS SOPS 334829 HAS SOUS 83054 HAS SOUPS 75462 WITH SCORE 75811.899
AT ITER 7497 NEW BEST:: SOT 429192 SOS 349867 HAS SOPS 334797 HAS SOUS 83053 HAS SOUPS 75461 WITH SCORE 75810.867
AT ITER 7546 NEW BEST:: SOT 429180 SOS 349855 HAS SOPS 334785 HAS SOUS 83037 HAS SOUPS 75445 WITH SCORE 75794.855
AT ITER 7547 NEW BEST:: SOT 429174 SOS 349849 HAS SOPS 334779 HAS SOUS 83031 HAS SOUPS 75439 WITH SCORE 75788.849
AT ITER 7768 NEW BEST:: SOT 428545 SOS 349325 HAS SOPS 334185 HAS SOUS 82888 HAS SOUPS 75261 WITH SCORE 75610.325
AT ITER 7780 NEW BEST:: SOT 428505 SOS 349288 HAS SOPS 334146 HAS SOUS 82865 HAS SOUPS 75237 WITH SCORE 75586.288
AT ITER 7787 NEW BEST:: SOT 428273 SOS 349077 HAS SOPS 333921 HAS SOUS 82800 HAS SOUPS 75165 WITH SCORE 75514.077
AT ITER 7846 NEW BEST:: SOT 428271 SOS 349075 HAS SOPS 333919 HAS SOUS 82796 HAS SOUPS 75161 WITH SCORE 75510.075
AT ITER 7900 NEW BEST:: SOT 428271 SOS 348851 HAS SOPS 333695 HAS SOUS 82796 HAS SOUPS 75161 WITH SCORE 75509.851
AT ITER 7969 NEW BEST:: SOT 428488 SOS 349035 HAS SOPS 333901 HAS SOUS 82761 HAS SOUPS 75137 WITH SCORE 75486.035
AT ITER 8049 NEW BEST:: SOT 428482 SOS 349029 HAS SOPS 333895 HAS SOUS 82761 HAS SOUPS 75137 WITH SCORE 75486.029
AT ITER 8105 NEW BEST:: SOT 428417 SOS 348976 HAS SOPS 333842 HAS SOUS 82600 HAS SOUPS 74976 WITH SCORE 75324.976
AT ITER 8137 NEW BEST:: SOT 428405 SOS 348964 HAS SOPS 333830 HAS SOUS 82588 HAS SOUPS 74964 WITH SCORE 75312.964
AT ITER 8232 NEW BEST:: SOT 428102 SOS 348661 HAS SOPS 333527 HAS SOUS 82423 HAS SOUPS 74799 WITH SCORE 75147.661
AT ITER 8238 NEW BEST:: SOT 427994 SOS 348553 HAS SOPS 333419 HAS SOUS 82369 HAS SOUPS 74745 WITH SCORE 75093.553
AT ITER 8275 NEW BEST:: SOT 428059 SOS 348618 HAS SOPS 333484 HAS SOUS 82278 HAS SOUPS 74654 WITH SCORE 75002.618
AT ITER 8319 NEW BEST:: SOT 427677 SOS 348256 HAS SOPS 333102 HAS SOUS 82174 HAS SOUPS 74540 WITH SCORE 74888.256
AT ITER 8328 NEW BEST:: SOT 427648 SOS 348227 HAS SOPS 333073 HAS SOUS 82169 HAS SOUPS 74535 WITH SCORE 74883.227
AT ITER 8346 NEW BEST:: SOT 427648 SOS 347907 HAS SOPS 332753 HAS SOUS 82169 HAS SOUPS 74535 WITH SCORE 74882.907
AT ITER 8352 NEW BEST:: SOT 427648 SOS 346883 HAS SOPS 331729 HAS SOUS 82161 HAS SOUPS 74527 WITH SCORE 74873.883
AT ITER 8374 NEW BEST:: SOT 427816 SOS 346962 HAS SOPS 331856 HAS SOUS 82050 HAS SOUPS 74433 WITH SCORE 74779.962
AT ITER 8383 NEW BEST:: SOT 427818 SOS 346775 HAS SOPS 331669 HAS SOUS 82049 HAS SOUPS 74432 WITH SCORE 74778.775
AT ITER 8420 NEW BEST:: SOT 428314 SOS 347211 HAS SOPS 332165 HAS SOUS 81845 HAS SOUPS 74258 WITH SCORE 74605.211
AT ITER 8483 NEW BEST:: SOT 428290 SOS 347187 HAS SOPS 332141 HAS SOUS 81833 HAS SOUPS 74246 WITH SCORE 74593.187
AT ITER 8570 NEW BEST:: SOT 428064 SOS 346961 HAS SOPS 331915 HAS SOUS 81544 HAS SOUPS 73957 WITH SCORE 74303.961
AT ITER 8709 NEW BEST:: SOT 428028 SOS 346931 HAS SOPS 331879 HAS SOUS 81529 HAS SOUPS 73939 WITH SCORE 74285.931
AT ITER 8711 NEW BEST:: SOT 427992 SOS 346889 HAS SOPS 331837 HAS SOUS 81469 HAS SOUPS 73879 WITH SCORE 74225.889
AT ITER 8745 NEW BEST:: SOT 427978 SOS 346861 HAS SOPS 331809 HAS SOUS 81399 HAS SOUPS 73809 WITH SCORE 74155.861
AT ITER 8764 NEW BEST:: SOT 428020 SOS 346903 HAS SOPS 331851 HAS SOUS 81393 HAS SOUPS 73803 WITH SCORE 74149.903
AT ITER 8791 NEW BEST:: SOT 428020 SOS 347087 HAS SOPS 331972 HAS SOUS 81393 HAS SOUPS 73802 WITH SCORE 74149.087
AT ITER 8823 NEW BEST:: SOT 427986 SOS 347056 HAS SOPS 331939 HAS SOUS 81375 HAS SOUPS 73783 WITH SCORE 74130.056
AT ITER 8868 NEW BEST:: SOT 428031 SOS 347101 HAS SOPS 331984 HAS SOUS 81342 HAS SOUPS 73750 WITH SCORE 74097.101
AT ITER 8882 NEW BEST:: SOT 428040 SOS 347107 HAS SOPS 331992 HAS SOUS 81331 HAS SOUPS 73740 WITH SCORE 74087.107
AT ITER 8943 NEW BEST:: SOT 427726 SOS 346826 HAS SOPS 331689 HAS SOUS 81275 HAS SOUPS 73673 WITH SCORE 74019.826
AT ITER 8992 NEW BEST:: SOT 427798 SOS 346862 HAS SOPS 331749 HAS SOUS 81149 HAS SOUPS 73559 WITH SCORE 73905.862
AT ITER 9065 NEW BEST:: SOT 427774 SOS 346838 HAS SOPS 331725 HAS SOUS 81029 HAS SOUPS 73439 WITH SCORE 73785.838
AT ITER 9067 NEW BEST:: SOT 427681 SOS 346745 HAS SOPS 331632 HAS SOUS 80932 HAS SOUPS 73342 WITH SCORE 73688.745
AT ITER 9078 NEW BEST:: SOT 427681 SOS 346553 HAS SOPS 331440 HAS SOUS 80930 HAS SOUPS 73340 WITH SCORE 73686.553
AT ITER 9197 NEW BEST:: SOT 427997 SOS 346834 HAS SOPS 331747 HAS SOUS 80872 HAS SOUPS 73295 WITH SCORE 73641.834
AT ITER 9204 NEW BEST:: SOT 427745 SOS 346582 HAS SOPS 331495 HAS SOUS 80566 HAS SOUPS 72989 WITH SCORE 73335.582
AT ITER 9246 NEW BEST:: SOT 427733 SOS 346570 HAS SOPS 331483 HAS SOUS 80506 HAS SOUPS 72929 WITH SCORE 73275.57
AT ITER 9402 NEW BEST:: SOT 427787 SOS 346633 HAS SOPS 331546 HAS SOUS 80380 HAS SOUPS 72803 WITH SCORE 73149.633
AT ITER 9435 NEW BEST:: SOT 427423 SOS 346305 HAS SOPS 331194 HAS SOUS 80246 HAS SOUPS 72657 WITH SCORE 73003.305
AT ITER 9549 NEW BEST:: SOT 427421 SOS 346303 HAS SOPS 331192 HAS SOUS 80246 HAS SOUPS 72657 WITH SCORE 73003.303
AT ITER 9593 NEW BEST:: SOT 427319 SOS 346210 HAS SOPS 331093 HAS SOUS 80171 HAS SOUPS 72579 WITH SCORE 72925.21
AT ITER 9619 NEW BEST:: SOT 427341 SOS 346736 HAS SOPS 331367 HAS SOUS 80109 HAS SOUPS 72513 WITH SCORE 72859.736
AT ITER 9677 NEW BEST:: SOT 427320 SOS 346715 HAS SOPS 331346 HAS SOUS 80083 HAS SOUPS 72487 WITH SCORE 72833.715
AT ITER 9746 NEW BEST:: SOT 427230 SOS 346634 HAS SOPS 331259 HAS SOUS 80032 HAS SOUPS 72433 WITH SCORE 72779.634
AT ITER 9789 NEW BEST:: SOT 427180 SOS 346588 HAS SOPS 331209 HAS SOUS 80034 HAS SOUPS 72433 WITH SCORE 72779.588
AT ITER 9829 NEW BEST:: SOT 427168 SOS 346576 HAS SOPS 331197 HAS SOUS 80022 HAS SOUPS 72421 WITH SCORE 72767.576
AT ITER 9906 NEW BEST:: SOT 427168 SOS 346520 HAS SOPS 331141 HAS SOUS 80022 HAS SOUPS 72421 WITH SCORE 72767.52
AT ITER 9959 NEW BEST:: SOT 427306 SOS 346658 HAS SOPS 331279 HAS SOUS 79968 HAS SOUPS 72367 WITH SCORE 72713.658
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 4602868 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16147108 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="DoubleLock-PT-p3s3"
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 DoubleLock-PT-p3s3, 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-167819408000568"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DoubleLock-PT-p3s3.tgz
mv DoubleLock-PT-p3s3 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 ;