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-167819408000584.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 DrinkVendingMachine-COL-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819408000584
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 540K
-rw-r--r-- 1 mcc users 7.4K Feb 26 07:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 07:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 06:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 06:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 26 21:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 174K Feb 26 21:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 20:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Feb 26 20:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 24K 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 1679956474450

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=DrinkVendingMachine-COL-10
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-27 22:34:38] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-27 22:34:38] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-27 22:34:39] [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-27 22:34:39] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-27 22:34:40] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1239 ms
[2023-03-27 22:34:40] [INFO ] Imported 6 HL places and 7 HL transitions for a total of 120 PT places and 444460.0 transition bindings in 41 ms.
[2023-03-27 22:34:43] [INFO ] Unfolded HLPN to a Petri net with 120 places and 111160 transitions 1026520 arcs in 2686 ms.
[2023-03-27 22:34:43] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 82500 transitions
Reduce isomorphic transitions removed 82500 transitions.
[2023-03-27 22:34:48] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 120 places, 28660 transitions and 246520 arcs took 435 ms.
Total runtime 9506 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DrinkVendingMachine (COL), instance 10
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: 120 places, 28660 transitions, 246520 arcs.
AT ITER 0 NEW BEST:: SOT 3250086 SOS 3167722 HAS SOPS 3167722 HAS SOUS 543544 HAS SOUPS 543544 WITH SCORE 546711.722
AT ITER 2 NEW BEST:: SOT 3250132 SOS 3164624 HAS SOPS 3164624 HAS SOUS 543546 HAS SOUPS 543546 WITH SCORE 546710.624
AT ITER 4 NEW BEST:: SOT 3250132 SOS 3157704 HAS SOPS 3157704 HAS SOUS 543054 HAS SOUPS 543054 WITH SCORE 546211.704
AT ITER 5 NEW BEST:: SOT 3250178 SOS 3158256 HAS SOPS 3158256 HAS SOUS 542652 HAS SOUPS 542652 WITH SCORE 545810.256
AT ITER 6 NEW BEST:: SOT 3250207 SOS 3158604 HAS SOPS 3158604 HAS SOUS 540900 HAS SOUPS 540900 WITH SCORE 544058.604
AT ITER 7 NEW BEST:: SOT 3250244 SOS 3159048 HAS SOPS 3159048 HAS SOUS 540561 HAS SOUPS 540561 WITH SCORE 543720.048
AT ITER 11 NEW BEST:: SOT 3250257 SOS 3159264 HAS SOPS 3159264 HAS SOUS 540530 HAS SOUPS 540530 WITH SCORE 543689.264
AT ITER 14 NEW BEST:: SOT 3221684 SOS 3130699 HAS SOPS 3130699 HAS SOUS 523401 HAS SOUPS 523401 WITH SCORE 526531.699
AT ITER 18 NEW BEST:: SOT 3221707 SOS 3130975 HAS SOPS 3130975 HAS SOUS 523290 HAS SOUPS 523290 WITH SCORE 526420.975
AT ITER 19 NEW BEST:: SOT 3221704 SOS 3130969 HAS SOPS 3130969 HAS SOUS 523264 HAS SOUPS 523264 WITH SCORE 526394.969
AT ITER 23 NEW BEST:: SOT 3221696 SOS 3130873 HAS SOPS 3130873 HAS SOUS 523240 HAS SOUPS 523240 WITH SCORE 526370.873
AT ITER 29 NEW BEST:: SOT 3221713 SOS 3131007 HAS SOPS 3131007 HAS SOUS 522984 HAS SOUPS 522984 WITH SCORE 526115.007
AT ITER 31 NEW BEST:: SOT 3221710 SOS 3131001 HAS SOPS 3131001 HAS SOUS 522948 HAS SOUPS 522948 WITH SCORE 526079.001
AT ITER 37 NEW BEST:: SOT 3221700 SOS 3130961 HAS SOPS 3130961 HAS SOUS 522848 HAS SOUPS 522848 WITH SCORE 525978.961
AT ITER 39 NEW BEST:: SOT 3221693 SOS 3130917 HAS SOPS 3130917 HAS SOUS 522764 HAS SOUPS 522764 WITH SCORE 525894.917
AT ITER 40 NEW BEST:: SOT 3221684 SOS 3130629 HAS SOPS 3130629 HAS SOUS 522738 HAS SOUPS 522738 WITH SCORE 525868.629
AT ITER 42 NEW BEST:: SOT 3221713 SOS 3112817 HAS SOPS 3112817 HAS SOUS 522466 HAS SOUPS 522466 WITH SCORE 525578.817
AT ITER 45 NEW BEST:: SOT 3221693 SOS 3112577 HAS SOPS 3112577 HAS SOUS 521326 HAS SOUPS 521326 WITH SCORE 524438.577
AT ITER 57 NEW BEST:: SOT 3221690 SOS 3112541 HAS SOPS 3112541 HAS SOUS 521317 HAS SOUPS 521317 WITH SCORE 524429.541
AT ITER 60 NEW BEST:: SOT 3221699 SOS 3112649 HAS SOPS 3112649 HAS SOUS 520975 HAS SOUPS 520975 WITH SCORE 524087.649
AT ITER 61 NEW BEST:: SOT 3221699 SOS 3112649 HAS SOPS 3112649 HAS SOUS 519661 HAS SOUPS 519661 WITH SCORE 522773.649
AT ITER 63 NEW BEST:: SOT 3221689 SOS 3098839 HAS SOPS 3098839 HAS SOUS 505188 HAS SOUPS 505188 WITH SCORE 508286.839
AT ITER 64 NEW BEST:: SOT 3221684 SOS 3098899 HAS SOPS 3098899 HAS SOUS 505113 HAS SOUPS 505113 WITH SCORE 508211.899
AT ITER 68 NEW BEST:: SOT 3221725 SOS 3099391 HAS SOPS 3099391 HAS SOUS 504025 HAS SOUPS 504025 WITH SCORE 507124.391
AT ITER 73 NEW BEST:: SOT 3221728 SOS 3090077 HAS SOPS 3090077 HAS SOUS 503614 HAS SOUPS 503614 WITH SCORE 506704.077
AT ITER 75 NEW BEST:: SOT 3221718 SOS 3089577 HAS SOPS 3089577 HAS SOUS 500569 HAS SOUPS 500569 WITH SCORE 503658.577
AT ITER 76 NEW BEST:: SOT 3221757 SOS 3055075 HAS SOPS 3055075 HAS SOUS 500496 HAS SOUPS 500496 WITH SCORE 503551.075
AT ITER 81 NEW BEST:: SOT 3221757 SOS 3055055 HAS SOPS 3055055 HAS SOUS 500480 HAS SOUPS 500480 WITH SCORE 503535.055
AT ITER 82 NEW BEST:: SOT 3221765 SOS 3055211 HAS SOPS 3055211 HAS SOUS 499656 HAS SOUPS 499656 WITH SCORE 502711.211
AT ITER 85 NEW BEST:: SOT 3204611 SOS 3038045 HAS SOPS 3038045 HAS SOUS 468195 HAS SOUPS 468195 WITH SCORE 471233.045
AT ITER 99 NEW BEST:: SOT 3204604 SOS 3037801 HAS SOPS 3037801 HAS SOUS 468127 HAS SOUPS 468127 WITH SCORE 471164.801
AT ITER 101 NEW BEST:: SOT 3204594 SOS 3037381 HAS SOPS 3037381 HAS SOUS 466457 HAS SOUPS 466457 WITH SCORE 469494.381
AT ITER 102 NEW BEST:: SOT 3204584 SOS 3020861 HAS SOPS 3020861 HAS SOUS 466051 HAS SOUPS 466051 WITH SCORE 469071.861
AT ITER 106 NEW BEST:: SOT 3181711 SOS 2997972 HAS SOPS 2997972 HAS SOUS 428867 HAS SOUPS 428867 WITH SCORE 431864.972
AT ITER 120 NEW BEST:: SOT 3181681 SOS 2996142 HAS SOPS 2996142 HAS SOUS 414554 HAS SOUPS 414554 WITH SCORE 417550.142
AT ITER 123 NEW BEST:: SOT 3181719 SOS 2996778 HAS SOPS 2996778 HAS SOUS 413412 HAS SOUPS 413412 WITH SCORE 416408.778
AT ITER 127 NEW BEST:: SOT 3181709 SOS 2996358 HAS SOPS 2996358 HAS SOUS 411742 HAS SOUPS 411742 WITH SCORE 414738.358
AT ITER 132 NEW BEST:: SOT 3181721 SOS 2957412 HAS SOPS 2957412 HAS SOUS 411746 HAS SOUPS 411746 WITH SCORE 414703.412
AT ITER 141 NEW BEST:: SOT 3181690 SOS 2957040 HAS SOPS 2957040 HAS SOUS 411653 HAS SOUPS 411653 WITH SCORE 414610.04
AT ITER 149 NEW BEST:: SOT 3181683 SOS 2956916 HAS SOPS 2956916 HAS SOUS 411573 HAS SOUPS 411573 WITH SCORE 414529.916
AT ITER 151 NEW BEST:: SOT 3181682 SOS 2956884 HAS SOPS 2956884 HAS SOUS 411526 HAS SOUPS 411526 WITH SCORE 414482.884
AT ITER 155 NEW BEST:: SOT 3181673 SOS 2937536 HAS SOPS 2937536 HAS SOUS 411092 HAS SOUPS 411092 WITH SCORE 414029.536
AT ITER 158 NEW BEST:: SOT 3181673 SOS 2937216 HAS SOPS 2937216 HAS SOUS 408596 HAS SOUPS 408596 WITH SCORE 411533.216
AT ITER 165 NEW BEST:: SOT 3181676 SOS 2937082 HAS SOPS 2937082 HAS SOUS 407069 HAS SOUPS 407069 WITH SCORE 410006.082
AT ITER 167 NEW BEST:: SOT 3181670 SOS 2936790 HAS SOPS 2936790 HAS SOUS 405587 HAS SOUPS 405587 WITH SCORE 408523.79
AT ITER 169 NEW BEST:: SOT 3181658 SOS 2903156 HAS SOPS 2903156 HAS SOUS 399952 HAS SOUPS 399952 WITH SCORE 402855.156
AT ITER 170 NEW BEST:: SOT 3181651 SOS 2885852 HAS SOPS 2885852 HAS SOUS 396885 HAS SOUPS 396885 WITH SCORE 399770.852
AT ITER 174 NEW BEST:: SOT 3181643 SOS 2885756 HAS SOPS 2885756 HAS SOUS 396861 HAS SOUPS 396861 WITH SCORE 399746.756
AT ITER 181 NEW BEST:: SOT 3181620 SOS 2886370 HAS SOPS 2886370 HAS SOUS 396847 HAS SOUPS 396847 WITH SCORE 399733.37
AT ITER 183 NEW BEST:: SOT 3181648 SOS 2886496 HAS SOPS 2886496 HAS SOUS 396781 HAS SOUPS 396781 WITH SCORE 399667.496
AT ITER 186 NEW BEST:: SOT 3181648 SOS 2886436 HAS SOPS 2886436 HAS SOUS 394831 HAS SOUPS 394831 WITH SCORE 397717.436
AT ITER 194 NEW BEST:: SOT 3181659 SOS 2886528 HAS SOPS 2886528 HAS SOUS 393546 HAS SOUPS 393546 WITH SCORE 396432.528
AT ITER 200 NEW BEST:: SOT 3190229 SOS 2895108 HAS SOPS 2895108 HAS SOUS 387823 HAS SOUPS 387823 WITH SCORE 390718.108
AT ITER 201 NEW BEST:: SOT 3190235 SOS 2861110 HAS SOPS 2861110 HAS SOUS 373946 HAS SOUPS 373946 WITH SCORE 376807.11
AT ITER 212 NEW BEST:: SOT 3190237 SOS 2859724 HAS SOPS 2859724 HAS SOUS 368477 HAS SOUPS 368477 WITH SCORE 371336.724
AT ITER 222 NEW BEST:: SOT 3190217 SOS 2856204 HAS SOPS 2856204 HAS SOUS 366523 HAS SOUPS 366523 WITH SCORE 369379.204
AT ITER 223 NEW BEST:: SOT 3190235 SOS 2855070 HAS SOPS 2855070 HAS SOUS 366370 HAS SOUPS 366370 WITH SCORE 369225.07
AT ITER 224 NEW BEST:: SOT 3190216 SOS 2853842 HAS SOPS 2853842 HAS SOUS 365631 HAS SOUPS 365631 WITH SCORE 368484.842
AT ITER 226 NEW BEST:: SOT 3190236 SOS 2853542 HAS SOPS 2853542 HAS SOUS 365529 HAS SOUPS 365529 WITH SCORE 368382.542
AT ITER 232 NEW BEST:: SOT 3184518 SOS 2847820 HAS SOPS 2847820 HAS SOUS 354089 HAS SOUPS 354089 WITH SCORE 356936.82
AT ITER 236 NEW BEST:: SOT 3184540 SOS 2844214 HAS SOPS 2844214 HAS SOUS 353894 HAS SOUPS 353894 WITH SCORE 356738.214
AT ITER 241 NEW BEST:: SOT 3184518 SOS 2838570 HAS SOPS 2838570 HAS SOUS 352226 HAS SOUPS 352226 WITH SCORE 355064.57
AT ITER 254 NEW BEST:: SOT 3184515 SOS 2802714 HAS SOPS 2802714 HAS SOUS 352083 HAS SOUPS 352083 WITH SCORE 354885.714
AT ITER 259 NEW BEST:: SOT 3184532 SOS 2798158 HAS SOPS 2798158 HAS SOUS 351364 HAS SOUPS 351364 WITH SCORE 354162.158
AT ITER 262 NEW BEST:: SOT 3184523 SOS 2798050 HAS SOPS 2798050 HAS SOUS 351337 HAS SOUPS 351337 WITH SCORE 354135.05
AT ITER 276 NEW BEST:: SOT 3178805 SOS 2792330 HAS SOPS 2792330 HAS SOUS 339897 HAS SOUPS 339897 WITH SCORE 342689.33
AT ITER 277 NEW BEST:: SOT 3178796 SOS 2792222 HAS SOPS 2792222 HAS SOUS 339870 HAS SOUPS 339870 WITH SCORE 342662.222
AT ITER 278 NEW BEST:: SOT 3178768 SOS 2791886 HAS SOPS 2791886 HAS SOUS 339786 HAS SOUPS 339786 WITH SCORE 342577.886
AT ITER 286 NEW BEST:: SOT 3178764 SOS 2791078 HAS SOPS 2791078 HAS SOUS 339442 HAS SOUPS 339442 WITH SCORE 342233.078
AT ITER 295 NEW BEST:: SOT 3167326 SOS 2779636 HAS SOPS 2779636 HAS SOUS 316560 HAS SOUPS 316560 WITH SCORE 319339.636
AT ITER 297 NEW BEST:: SOT 3167326 SOS 2776136 HAS SOPS 2776136 HAS SOUS 315221 HAS SOUPS 315221 WITH SCORE 317997.136
AT ITER 303 NEW BEST:: SOT 3167321 SOS 2762976 HAS SOPS 2762976 HAS SOUS 315021 HAS SOUPS 315021 WITH SCORE 317783.976
AT ITER 308 NEW BEST:: SOT 3167323 SOS 2685340 HAS SOPS 2685340 HAS SOUS 308264 HAS SOUPS 308264 WITH SCORE 310949.34
AT ITER 315 NEW BEST:: SOT 3167329 SOS 2678922 HAS SOPS 2678922 HAS SOUS 307062 HAS SOUPS 307062 WITH SCORE 309740.922
AT ITER 317 NEW BEST:: SOT 3167342 SOS 2631698 HAS SOPS 2631698 HAS SOUS 307018 HAS SOUPS 307018 WITH SCORE 309649.698
AT ITER 318 NEW BEST:: SOT 3167339 SOS 2631662 HAS SOPS 2631662 HAS SOUS 307009 HAS SOUPS 307009 WITH SCORE 309640.662
AT ITER 324 NEW BEST:: SOT 3167339 SOS 2623712 HAS SOPS 2623712 HAS SOUS 306319 HAS SOUPS 306319 WITH SCORE 308942.712
AT ITER 334 NEW BEST:: SOT 3167332 SOS 2620898 HAS SOPS 2620898 HAS SOUS 306271 HAS SOUPS 306271 WITH SCORE 308891.898
AT ITER 337 NEW BEST:: SOT 3167331 SOS 2619696 HAS SOPS 2619696 HAS SOUS 306128 HAS SOUPS 306128 WITH SCORE 308747.696
AT ITER 342 NEW BEST:: SOT 3167328 SOS 2619060 HAS SOPS 2619060 HAS SOUS 306077 HAS SOUPS 306077 WITH SCORE 308696.06
AT ITER 347 NEW BEST:: SOT 3167318 SOS 2617540 HAS SOPS 2617540 HAS SOUS 305847 HAS SOUPS 305847 WITH SCORE 308464.54
AT ITER 352 NEW BEST:: SOT 3167317 SOS 2616978 HAS SOPS 2616978 HAS SOUS 305810 HAS SOUPS 305810 WITH SCORE 308426.978
AT ITER 360 NEW BEST:: SOT 3167311 SOS 2615436 HAS SOPS 2615436 HAS SOUS 305678 HAS SOUPS 305678 WITH SCORE 308293.436
AT ITER 370 NEW BEST:: SOT 3167313 SOS 2599990 HAS SOPS 2599990 HAS SOUS 302092 HAS SOUPS 302092 WITH SCORE 304691.99
AT ITER 390 NEW BEST:: SOT 3167302 SOS 2598218 HAS SOPS 2598218 HAS SOUS 301841 HAS SOUPS 301841 WITH SCORE 304439.218
AT ITER 409 NEW BEST:: SOT 3167271 SOS 2597846 HAS SOPS 2597846 HAS SOUS 301748 HAS SOUPS 301748 WITH SCORE 304345.846
AT ITER 413 NEW BEST:: SOT 3167271 SOS 2597746 HAS SOPS 2597746 HAS SOUS 300968 HAS SOUPS 300968 WITH SCORE 303565.746
AT ITER 423 NEW BEST:: SOT 3167266 SOS 2594936 HAS SOPS 2594936 HAS SOUS 300783 HAS SOUPS 300783 WITH SCORE 303377.936
AT ITER 447 NEW BEST:: SOT 3167263 SOS 2593250 HAS SOPS 2593250 HAS SOUS 300672 HAS SOUPS 300672 WITH SCORE 303265.25
AT ITER 455 NEW BEST:: SOT 3167234 SOS 2587372 HAS SOPS 2587372 HAS SOUS 299498 HAS SOUPS 299498 WITH SCORE 302085.372
AT ITER 459 NEW BEST:: SOT 3167251 SOS 2586776 HAS SOPS 2586776 HAS SOUS 299493 HAS SOUPS 299493 WITH SCORE 302079.776
AT ITER 476 NEW BEST:: SOT 3167251 SOS 2584676 HAS SOPS 2584676 HAS SOUS 299353 HAS SOUPS 299353 WITH SCORE 301937.676
AT ITER 483 NEW BEST:: SOT 3167251 SOS 2582676 HAS SOPS 2582676 HAS SOUS 299233 HAS SOUPS 299233 WITH SCORE 301815.676
AT ITER 495 NEW BEST:: SOT 3167251 SOS 2582226 HAS SOPS 2582226 HAS SOUS 299203 HAS SOUPS 299203 WITH SCORE 301785.226
AT ITER 500 NEW BEST:: SOT 3167263 SOS 2578280 HAS SOPS 2578280 HAS SOUS 298392 HAS SOUPS 298392 WITH SCORE 300970.28
AT ITER 524 NEW BEST:: SOT 3167263 SOS 2578250 HAS SOPS 2578250 HAS SOUS 298032 HAS SOUPS 298032 WITH SCORE 300610.25
AT ITER 527 NEW BEST:: SOT 3167259 SOS 2577402 HAS SOPS 2577402 HAS SOUS 297964 HAS SOUPS 297964 WITH SCORE 300541.402
AT ITER 542 NEW BEST:: SOT 3167254 SOS 2577342 HAS SOPS 2577342 HAS SOUS 297949 HAS SOUPS 297949 WITH SCORE 300526.342
AT ITER 557 NEW BEST:: SOT 3167253 SOS 2577290 HAS SOPS 2577290 HAS SOUS 297942 HAS SOUPS 297942 WITH SCORE 300519.29
AT ITER 561 NEW BEST:: SOT 3167225 SOS 2576954 HAS SOPS 2576954 HAS SOUS 297858 HAS SOUPS 297858 WITH SCORE 300434.954
AT ITER 568 NEW BEST:: SOT 3161505 SOS 2571232 HAS SOPS 2571232 HAS SOUS 286416 HAS SOUPS 286416 WITH SCORE 288987.232
AT ITER 575 NEW BEST:: SOT 3161501 SOS 2570304 HAS SOPS 2570304 HAS SOUS 284597 HAS SOUPS 284597 WITH SCORE 287167.304
AT ITER 576 NEW BEST:: SOT 3161532 SOS 2568846 HAS SOPS 2568846 HAS SOUS 284275 HAS SOUPS 284275 WITH SCORE 286843.846
AT ITER 591 NEW BEST:: SOT 3161577 SOS 2567186 HAS SOPS 2567186 HAS SOUS 284274 HAS SOUPS 284274 WITH SCORE 286841.186
AT ITER 594 NEW BEST:: SOT 3161568 SOS 2567148 HAS SOPS 2567148 HAS SOUS 284200 HAS SOUPS 284200 WITH SCORE 286767.148
AT ITER 596 NEW BEST:: SOT 3161566 SOS 2566324 HAS SOPS 2566324 HAS SOUS 283482 HAS SOUPS 283482 WITH SCORE 286048.324
AT ITER 601 NEW BEST:: SOT 3161565 SOS 2566262 HAS SOPS 2566262 HAS SOUS 283475 HAS SOUPS 283475 WITH SCORE 286041.262
AT ITER 603 NEW BEST:: SOT 3155846 SOS 2560541 HAS SOPS 2560541 HAS SOUS 272034 HAS SOUPS 272034 WITH SCORE 274594.541
AT ITER 608 NEW BEST:: SOT 3155841 SOS 2557681 HAS SOPS 2557681 HAS SOUS 271829 HAS SOUPS 271829 WITH SCORE 274386.681
AT ITER 617 NEW BEST:: SOT 3155839 SOS 2556957 HAS SOPS 2556957 HAS SOUS 271813 HAS SOUPS 271813 WITH SCORE 274369.957
AT ITER 623 NEW BEST:: SOT 3155839 SOS 2556607 HAS SOPS 2556607 HAS SOUS 271793 HAS SOUPS 271793 WITH SCORE 274349.607
AT ITER 652 NEW BEST:: SOT 3155857 SOS 2555333 HAS SOPS 2555333 HAS SOUS 271789 HAS SOUPS 271789 WITH SCORE 274344.333
AT ITER 657 NEW BEST:: SOT 3155889 SOS 2538727 HAS SOPS 2538727 HAS SOUS 271739 HAS SOUPS 271739 WITH SCORE 274277.727
AT ITER 661 NEW BEST:: SOT 3155892 SOS 2536563 HAS SOPS 2536563 HAS SOUS 271694 HAS SOUPS 271694 WITH SCORE 274230.563
AT ITER 664 NEW BEST:: SOT 3155872 SOS 2533743 HAS SOPS 2533743 HAS SOUS 264176 HAS SOUPS 264176 WITH SCORE 266709.743
AT ITER 698 NEW BEST:: SOT 3155870 SOS 2533719 HAS SOPS 2533719 HAS SOUS 264170 HAS SOUPS 264170 WITH SCORE 266703.719
AT ITER 722 NEW BEST:: SOT 3155870 SOS 2533299 HAS SOPS 2533299 HAS SOUS 264149 HAS SOUPS 264149 WITH SCORE 266682.299
AT ITER 747 NEW BEST:: SOT 3155862 SOS 2508723 HAS SOPS 2508723 HAS SOUS 263738 HAS SOUPS 263738 WITH SCORE 266246.723
AT ITER 755 NEW BEST:: SOT 3155860 SOS 2507039 HAS SOPS 2507039 HAS SOUS 263694 HAS SOUPS 263694 WITH SCORE 266201.039
AT ITER 768 NEW BEST:: SOT 3144814 SOS 2495995 HAS SOPS 2495995 HAS SOUS 255509 HAS SOUPS 255509 WITH SCORE 258004.995
AT ITER 769 NEW BEST:: SOT 3144811 SOS 2495959 HAS SOPS 2495959 HAS SOUS 255500 HAS SOUPS 255500 WITH SCORE 257995.959
AT ITER 774 NEW BEST:: SOT 3139093 SOS 2490238 HAS SOPS 2490238 HAS SOUS 244060 HAS SOUPS 244060 WITH SCORE 246550.238
AT ITER 788 NEW BEST:: SOT 3139090 SOS 2490812 HAS SOPS 2490812 HAS SOUS 243977 HAS SOUPS 243977 WITH SCORE 246467.812
AT ITER 803 NEW BEST:: SOT 3139077 SOS 2489466 HAS SOPS 2489466 HAS SOUS 243850 HAS SOUPS 243850 WITH SCORE 246339.466
AT ITER 815 NEW BEST:: SOT 3139080 SOS 2489202 HAS SOPS 2489202 HAS SOUS 243841 HAS SOUPS 243841 WITH SCORE 246330.202
AT ITER 851 NEW BEST:: SOT 3139072 SOS 2489106 HAS SOPS 2489106 HAS SOUS 243817 HAS SOUPS 243817 WITH SCORE 246306.106
AT ITER 859 NEW BEST:: SOT 3139067 SOS 2489016 HAS SOPS 2489016 HAS SOUS 243542 HAS SOUPS 243542 WITH SCORE 246031.016
AT ITER 872 NEW BEST:: SOT 3143296 SOS 2489239 HAS SOPS 2489239 HAS SOUS 238207 HAS SOUPS 238207 WITH SCORE 240696.239
AT ITER 881 NEW BEST:: SOT 3155738 SOS 2492072 HAS SOPS 2492072 HAS SOUS 237010 HAS SOUPS 237010 WITH SCORE 239502.072
AT ITER 897 NEW BEST:: SOT 3155777 SOS 2441370 HAS SOPS 2441370 HAS SOUS 237016 HAS SOUPS 237016 WITH SCORE 239457.37
AT ITER 901 NEW BEST:: SOT 3155786 SOS 2439008 HAS SOPS 2439008 HAS SOUS 237006 HAS SOUPS 237006 WITH SCORE 239445.008
AT ITER 904 NEW BEST:: SOT 3155747 SOS 2315470 HAS SOPS 2315470 HAS SOUS 234505 HAS SOUPS 234505 WITH SCORE 236820.47
AT ITER 934 NEW BEST:: SOT 3155746 SOS 2310008 HAS SOPS 2310008 HAS SOUS 234493 HAS SOUPS 234493 WITH SCORE 236803.008
AT ITER 949 NEW BEST:: SOT 3155736 SOS 2307888 HAS SOPS 2307888 HAS SOUS 234323 HAS SOUPS 234323 WITH SCORE 236630.888
AT ITER 967 NEW BEST:: SOT 3155736 SOS 2298928 HAS SOPS 2298928 HAS SOUS 233495 HAS SOUPS 233495 WITH SCORE 235793.928
AT ITER 973 NEW BEST:: SOT 3155725 SOS 2298346 HAS SOPS 2298346 HAS SOUS 233408 HAS SOUPS 233408 WITH SCORE 235706.346
AT ITER 990 NEW BEST:: SOT 3155723 SOS 2295942 HAS SOPS 2295942 HAS SOUS 233384 HAS SOUPS 233384 WITH SCORE 235679.942
AT ITER 993 NEW BEST:: SOT 3155731 SOS 2296748 HAS SOPS 2296748 HAS SOUS 230340 HAS SOUPS 230340 WITH SCORE 232636.748
AT ITER 998 NEW BEST:: SOT 3152871 SOS 2293887 HAS SOPS 2293887 HAS SOUS 224619 HAS SOUPS 224619 WITH SCORE 226912.887
AT ITER 1016 NEW BEST:: SOT 3152861 SOS 2293957 HAS SOPS 2293957 HAS SOUS 219341 HAS SOUPS 219341 WITH SCORE 221634.957
AT ITER 1026 NEW BEST:: SOT 3150001 SOS 2291096 HAS SOPS 2291096 HAS SOUS 213620 HAS SOUPS 213620 WITH SCORE 215911.096
AT ITER 1040 NEW BEST:: SOT 3150000 SOS 2291094 HAS SOPS 2291094 HAS SOUS 213068 HAS SOUPS 213068 WITH SCORE 215359.094
AT ITER 1041 NEW BEST:: SOT 3150006 SOS 2287266 HAS SOPS 2287266 HAS SOUS 213052 HAS SOUPS 213052 WITH SCORE 215339.266
AT ITER 1048 NEW BEST:: SOT 3150000 SOS 2266674 HAS SOPS 2266674 HAS SOUS 212750 HAS SOUPS 212750 WITH SCORE 215016.674
AT ITER 1050 NEW BEST:: SOT 3149992 SOS 2266978 HAS SOPS 2266978 HAS SOUS 212740 HAS SOUPS 212740 WITH SCORE 215006.978
AT ITER 1081 NEW BEST:: SOT 3149983 SOS 2259400 HAS SOPS 2259400 HAS SOUS 212542 HAS SOUPS 212542 WITH SCORE 214801.4
AT ITER 1089 NEW BEST:: SOT 3149982 SOS 2259398 HAS SOPS 2259398 HAS SOUS 212090 HAS SOUPS 212090 WITH SCORE 214349.398
AT ITER 1127 NEW BEST:: SOT 3149974 SOS 2257422 HAS SOPS 2257422 HAS SOUS 211974 HAS SOUPS 211974 WITH SCORE 214231.422
AT ITER 1129 NEW BEST:: SOT 3149967 SOS 2254838 HAS SOPS 2254838 HAS SOUS 211949 HAS SOUPS 211949 WITH SCORE 214203.838
AT ITER 1133 NEW BEST:: SOT 3149967 SOS 2253718 HAS SOPS 2253718 HAS SOUS 211937 HAS SOUPS 211937 WITH SCORE 214190.718
AT ITER 1143 NEW BEST:: SOT 3149971 SOS 2234646 HAS SOPS 2234646 HAS SOUS 211941 HAS SOUPS 211941 WITH SCORE 214175.646
AT ITER 1172 NEW BEST:: SOT 3149968 SOS 2225820 HAS SOPS 2225820 HAS SOUS 211747 HAS SOUPS 211747 WITH SCORE 213972.82
AT ITER 1189 NEW BEST:: SOT 3149961 SOS 2225246 HAS SOPS 2225246 HAS SOUS 211712 HAS SOUPS 211712 WITH SCORE 213937.246
AT ITER 1193 NEW BEST:: SOT 3149958 SOS 2223280 HAS SOPS 2223280 HAS SOUS 211616 HAS SOUPS 211616 WITH SCORE 213839.28
AT ITER 1196 NEW BEST:: SOT 3149955 SOS 2222434 HAS SOPS 2222434 HAS SOUS 211580 HAS SOUPS 211580 WITH SCORE 213802.434
AT ITER 1202 NEW BEST:: SOT 3149956 SOS 2220066 HAS SOPS 2220066 HAS SOUS 211565 HAS SOUPS 211565 WITH SCORE 213785.066
AT ITER 1206 NEW BEST:: SOT 3149953 SOS 2216460 HAS SOPS 2216460 HAS SOUS 211529 HAS SOUPS 211529 WITH SCORE 213745.46
AT ITER 1211 NEW BEST:: SOT 3149952 SOS 2216378 HAS SOPS 2216378 HAS SOUS 211524 HAS SOUPS 211524 WITH SCORE 213740.378
AT ITER 1212 NEW BEST:: SOT 3149951 SOS 2215176 HAS SOPS 2215176 HAS SOUS 211512 HAS SOUPS 211512 WITH SCORE 213727.176
AT ITER 1213 NEW BEST:: SOT 3149957 SOS 2188818 HAS SOPS 2188818 HAS SOUS 211502 HAS SOUPS 211502 WITH SCORE 213690.818
AT ITER 1229 NEW BEST:: SOT 3149952 SOS 2188758 HAS SOPS 2188758 HAS SOUS 211487 HAS SOUPS 211487 WITH SCORE 213675.758
AT ITER 1243 NEW BEST:: SOT 3149946 SOS 2182986 HAS SOPS 2182986 HAS SOUS 211375 HAS SOUPS 211375 WITH SCORE 213557.986
AT ITER 1264 NEW BEST:: SOT 3149972 SOS 2151158 HAS SOPS 2151158 HAS SOUS 211373 HAS SOUPS 211373 WITH SCORE 213524.158
AT ITER 1265 NEW BEST:: SOT 3149971 SOS 2150946 HAS SOPS 2150946 HAS SOUS 211356 HAS SOUPS 211356 WITH SCORE 213506.946
AT ITER 1279 NEW BEST:: SOT 3149969 SOS 2150382 HAS SOPS 2150382 HAS SOUS 211332 HAS SOUPS 211332 WITH SCORE 213482.382
AT ITER 1287 NEW BEST:: SOT 3149958 SOS 2116040 HAS SOPS 2116040 HAS SOUS 210198 HAS SOUPS 210198 WITH SCORE 212314.04
AT ITER 1309 NEW BEST:: SOT 3152786 SOS 2118863 HAS SOPS 2118863 HAS SOUS 198721 HAS SOUPS 198721 WITH SCORE 200839.863
AT ITER 1327 NEW BEST:: SOT 3152779 SOS 2108569 HAS SOPS 2108569 HAS SOUS 198150 HAS SOUPS 198150 WITH SCORE 200258.569
AT ITER 1359 NEW BEST:: SOT 3152779 SOS 2108009 HAS SOPS 2108009 HAS SOUS 198140 HAS SOUPS 198140 WITH SCORE 200248.009
AT ITER 1374 NEW BEST:: SOT 3152770 SOS 2013861 HAS SOPS 2013861 HAS SOUS 196271 HAS SOUPS 196271 WITH SCORE 198284.861
AT ITER 1387 NEW BEST:: SOT 3151121 SOS 2012211 HAS SOPS 2012211 HAS SOUS 191761 HAS SOUPS 191761 WITH SCORE 193773.211
AT ITER 1393 NEW BEST:: SOT 3139253 SOS 2036400 HAS SOPS 2036400 HAS SOUS 191342 HAS SOUPS 191342 WITH SCORE 193378.4
AT ITER 1410 NEW BEST:: SOT 3139250 SOS 2036364 HAS SOPS 2036364 HAS SOUS 191333 HAS SOUPS 191333 WITH SCORE 193369.364
AT ITER 1447 NEW BEST:: SOT 3138212 SOS 2042092 HAS SOPS 2042092 HAS SOUS 190374 HAS SOUPS 190374 WITH SCORE 192416.092
AT ITER 1453 NEW BEST:: SOT 3138205 SOS 2042008 HAS SOPS 2042008 HAS SOUS 190353 HAS SOUPS 190353 WITH SCORE 192395.008
AT ITER 1482 NEW BEST:: SOT 3138203 SOS 2041444 HAS SOPS 2041444 HAS SOUS 190329 HAS SOUPS 190329 WITH SCORE 192370.444
AT ITER 1490 NEW BEST:: SOT 3138199 SOS 2034836 HAS SOPS 2034836 HAS SOUS 190305 HAS SOUPS 190305 WITH SCORE 192339.836
AT ITER 1500 NEW BEST:: SOT 3138196 SOS 2034560 HAS SOPS 2034560 HAS SOUS 190293 HAS SOUPS 190293 WITH SCORE 192327.56
AT ITER 1528 NEW BEST:: SOT 3138179 SOS 2034356 HAS SOPS 2034356 HAS SOUS 190242 HAS SOUPS 190242 WITH SCORE 192276.356
AT ITER 1534 NEW BEST:: SOT 3138178 SOS 2032584 HAS SOPS 2032584 HAS SOUS 190137 HAS SOUPS 190137 WITH SCORE 192169.584
AT ITER 1536 NEW BEST:: SOT 3138181 SOS 2023140 HAS SOPS 2023140 HAS SOUS 190143 HAS SOUPS 190143 WITH SCORE 192166.14
AT ITER 1564 NEW BEST:: SOT 3138184 SOS 2023796 HAS SOPS 2023796 HAS SOUS 189541 HAS SOUPS 189541 WITH SCORE 191564.796
AT ITER 1568 NEW BEST:: SOT 3138186 SOS 2023180 HAS SOPS 2023180 HAS SOUS 189539 HAS SOUPS 189539 WITH SCORE 191562.18
AT ITER 1595 NEW BEST:: SOT 3138182 SOS 1996892 HAS SOPS 1996892 HAS SOUS 189507 HAS SOUPS 189507 WITH SCORE 191503.892
AT ITER 1637 NEW BEST:: SOT 3138170 SOS 1996148 HAS SOPS 1996148 HAS SOUS 189460 HAS SOUPS 189460 WITH SCORE 191456.148
AT ITER 1649 NEW BEST:: SOT 3138169 SOS 1995996 HAS SOPS 1995996 HAS SOUS 189437 HAS SOUPS 189437 WITH SCORE 191432.996
AT ITER 1650 NEW BEST:: SOT 3138102 SOS 1995366 HAS SOPS 1995366 HAS SOUS 189264 HAS SOUPS 189264 WITH SCORE 191259.366
AT ITER 1721 NEW BEST:: SOT 3138099 SOS 1993740 HAS SOPS 1993740 HAS SOUS 188565 HAS SOUPS 188565 WITH SCORE 190558.74
AT ITER 1734 NEW BEST:: SOT 3138097 SOS 1993176 HAS SOPS 1993176 HAS SOUS 188541 HAS SOUPS 188541 WITH SCORE 190534.176
AT ITER 1776 NEW BEST:: SOT 3138094 SOS 1990650 HAS SOPS 1990650 HAS SOUS 188475 HAS SOUPS 188475 WITH SCORE 190465.65
AT ITER 1779 NEW BEST:: SOT 3138091 SOS 1989804 HAS SOPS 1989804 HAS SOUS 188439 HAS SOUPS 188439 WITH SCORE 190428.804
AT ITER 1805 NEW BEST:: SOT 3146461 SOS 1994584 HAS SOPS 1994584 HAS SOUS 188023 HAS SOUPS 188023 WITH SCORE 190017.584
AT ITER 1829 NEW BEST:: SOT 3146459 SOS 1994560 HAS SOPS 1994560 HAS SOUS 188017 HAS SOUPS 188017 WITH SCORE 190011.56
AT ITER 1842 NEW BEST:: SOT 3146450 SOS 1994452 HAS SOPS 1994452 HAS SOUS 187990 HAS SOUPS 187990 WITH SCORE 189984.452
AT ITER 1845 NEW BEST:: SOT 3146449 SOS 1994240 HAS SOPS 1994240 HAS SOUS 187973 HAS SOUPS 187973 WITH SCORE 189967.24
AT ITER 1849 NEW BEST:: SOT 3146449 SOS 1993200 HAS SOPS 1993200 HAS SOUS 187960 HAS SOUPS 187960 WITH SCORE 189953.2
AT ITER 1853 NEW BEST:: SOT 3146446 SOS 1991844 HAS SOPS 1991844 HAS SOUS 187945 HAS SOUPS 187945 WITH SCORE 189936.844
AT ITER 1888 NEW BEST:: SOT 3146444 SOS 1977620 HAS SOPS 1977620 HAS SOUS 187919 HAS SOUPS 187919 WITH SCORE 189896.62
AT ITER 1906 NEW BEST:: SOT 3146441 SOS 1976774 HAS SOPS 1976774 HAS SOUS 187883 HAS SOUPS 187883 WITH SCORE 189859.774
AT ITER 1997 NEW BEST:: SOT 3146435 SOS 1972562 HAS SOPS 1972562 HAS SOUS 187706 HAS SOUPS 187706 WITH SCORE 189678.562
AT ITER 2001 NEW BEST:: SOT 3146437 SOS 1965656 HAS SOPS 1965656 HAS SOUS 186979 HAS SOUPS 186979 WITH SCORE 188944.656
AT ITER 2019 NEW BEST:: SOT 3146434 SOS 1965380 HAS SOPS 1965380 HAS SOUS 186967 HAS SOUPS 186967 WITH SCORE 188932.38
AT ITER 2023 NEW BEST:: SOT 3146429 SOS 1964470 HAS SOPS 1964470 HAS SOUS 186952 HAS SOUPS 186952 WITH SCORE 188916.47
AT ITER 2028 NEW BEST:: SOT 3146427 SOS 1967166 HAS SOPS 1967166 HAS SOUS 186945 HAS SOUPS 186945 WITH SCORE 188912.166
AT ITER 2042 NEW BEST:: SOT 3146426 SOS 1965514 HAS SOPS 1965514 HAS SOUS 186939 HAS SOUPS 186939 WITH SCORE 188904.514
AT ITER 2054 NEW BEST:: SOT 3146441 SOS 1973654 HAS SOPS 1973654 HAS SOUS 186822 HAS SOUPS 186822 WITH SCORE 188795.654
AT ITER 2155 NEW BEST:: SOT 3146439 SOS 1975640 HAS SOPS 1975640 HAS SOUS 183782 HAS SOUPS 183782 WITH SCORE 185757.64
AT ITER 2186 NEW BEST:: SOT 3146434 SOS 1971700 HAS SOPS 1971700 HAS SOUS 183099 HAS SOUPS 183099 WITH SCORE 185070.7
AT ITER 2223 NEW BEST:: SOT 3138774 SOS 1964560 HAS SOPS 1964560 HAS SOUS 180789 HAS SOUPS 180789 WITH SCORE 182753.56
AT ITER 2244 NEW BEST:: SOT 3138772 SOS 1963656 HAS SOPS 1963656 HAS SOUS 180779 HAS SOUPS 180779 WITH SCORE 182742.656
AT ITER 2298 NEW BEST:: SOT 3138771 SOS 1963694 HAS SOPS 1963694 HAS SOUS 179678 HAS SOUPS 179678 WITH SCORE 181641.694
AT ITER 2302 NEW BEST:: SOT 3138763 SOS 1962958 HAS SOPS 1962958 HAS SOUS 179646 HAS SOUPS 179646 WITH SCORE 181608.958
AT ITER 2310 NEW BEST:: SOT 3138758 SOS 1962898 HAS SOPS 1962898 HAS SOUS 179631 HAS SOUPS 179631 WITH SCORE 181593.898
AT ITER 2320 NEW BEST:: SOT 3138138 SOS 1985684 HAS SOPS 1985684 HAS SOUS 179302 HAS SOUPS 179302 WITH SCORE 181287.684
AT ITER 2336 NEW BEST:: SOT 3138138 SOS 1984994 HAS SOPS 1984994 HAS SOUS 179290 HAS SOUPS 179290 WITH SCORE 181274.994
AT ITER 2339 NEW BEST:: SOT 3138136 SOS 1984700 HAS SOPS 1984700 HAS SOUS 179284 HAS SOUPS 179284 WITH SCORE 181268.7
AT ITER 2341 NEW BEST:: SOT 3138133 SOS 1984664 HAS SOPS 1984664 HAS SOUS 179275 HAS SOUPS 179275 WITH SCORE 181259.664
AT ITER 2360 NEW BEST:: SOT 3138129 SOS 1985176 HAS SOPS 1985176 HAS SOUS 179270 HAS SOUPS 179270 WITH SCORE 181255.176
AT ITER 2363 NEW BEST:: SOT 3138128 SOS 1985164 HAS SOPS 1985164 HAS SOUS 179267 HAS SOUPS 179267 WITH SCORE 181252.164
AT ITER 2380 NEW BEST:: SOT 3138126 SOS 1986060 HAS SOPS 1986060 HAS SOUS 179262 HAS SOUPS 179262 WITH SCORE 181248.06
AT ITER 2391 NEW BEST:: SOT 3138122 SOS 1984772 HAS SOPS 1984772 HAS SOUS 179222 HAS SOUPS 179222 WITH SCORE 181206.772
AT ITER 2400 NEW BEST:: SOT 3138121 SOS 1984490 HAS SOPS 1984490 HAS SOUS 179210 HAS SOUPS 179210 WITH SCORE 181194.49
AT ITER 2433 NEW BEST:: SOT 3138112 SOS 1981232 HAS SOPS 1981232 HAS SOUS 179138 HAS SOUPS 179138 WITH SCORE 181119.232
AT ITER 2437 NEW BEST:: SOT 3138117 SOS 1979892 HAS SOPS 1979892 HAS SOUS 179133 HAS SOUPS 179133 WITH SCORE 181112.892
AT ITER 2445 NEW BEST:: SOT 3138102 SOS 1979712 HAS SOPS 1979712 HAS SOUS 179088 HAS SOUPS 179088 WITH SCORE 181067.712
AT ITER 2461 NEW BEST:: SOT 3138099 SOS 1979356 HAS SOPS 1979356 HAS SOUS 177822 HAS SOUPS 177822 WITH SCORE 179801.356
AT ITER 2462 NEW BEST:: SOT 3138098 SOS 1971704 HAS SOPS 1971704 HAS SOUS 177811 HAS SOUPS 177811 WITH SCORE 179782.704
AT ITER 2507 NEW BEST:: SOT 3138096 SOS 1970800 HAS SOPS 1970800 HAS SOUS 177517 HAS SOUPS 177517 WITH SCORE 179487.8
AT ITER 2555 NEW BEST:: SOT 3138093 SOS 1965844 HAS SOPS 1965844 HAS SOUS 177499 HAS SOUPS 177499 WITH SCORE 179464.844
AT ITER 2581 NEW BEST:: SOT 3138089 SOS 1965476 HAS SOPS 1965476 HAS SOUS 177483 HAS SOUPS 177483 WITH SCORE 179448.476
AT ITER 2608 NEW BEST:: SOT 3138085 SOS 1965108 HAS SOPS 1965108 HAS SOUS 177467 HAS SOUPS 177467 WITH SCORE 179432.108
AT ITER 2620 NEW BEST:: SOT 3138093 SOS 1961154 HAS SOPS 1961154 HAS SOUS 176902 HAS SOUPS 176902 WITH SCORE 178863.154
AT ITER 2693 NEW BEST:: SOT 3138086 SOS 1949590 HAS SOPS 1949590 HAS SOUS 176860 HAS SOUPS 176860 WITH SCORE 178809.59
AT ITER 2764 NEW BEST:: SOT 3138085 SOS 1949138 HAS SOPS 1949138 HAS SOUS 176855 HAS SOUPS 176855 WITH SCORE 178804.138
AT ITER 2819 NEW BEST:: SOT 3138082 SOS 1944182 HAS SOPS 1944182 HAS SOUS 176837 HAS SOUPS 176837 WITH SCORE 178781.182
AT ITER 2909 NEW BEST:: SOT 3138081 SOS 1944170 HAS SOPS 1944170 HAS SOUS 176834 HAS SOUPS 176834 WITH SCORE 178778.17
AT ITER 2933 NEW BEST:: SOT 3138084 SOS 1937646 HAS SOPS 1937646 HAS SOUS 176838 HAS SOUPS 176838 WITH SCORE 178775.646
AT ITER 2947 NEW BEST:: SOT 3140931 SOS 1940491 HAS SOPS 1940491 HAS SOUS 173963 HAS SOUPS 173963 WITH SCORE 175903.491
AT ITER 2948 NEW BEST:: SOT 3140930 SOS 1940479 HAS SOPS 1940479 HAS SOUS 173960 HAS SOUPS 173960 WITH SCORE 175900.479
AT ITER 2951 NEW BEST:: SOT 3140937 SOS 1943723 HAS SOPS 1943723 HAS SOUS 173563 HAS SOUPS 173563 WITH SCORE 175506.723
AT ITER 2957 NEW BEST:: SOT 3140937 SOS 1941523 HAS SOPS 1941523 HAS SOUS 173553 HAS SOUPS 173553 WITH SCORE 175494.523
AT ITER 3036 NEW BEST:: SOT 3140929 SOS 1940707 HAS SOPS 1940707 HAS SOUS 173520 HAS SOUPS 173520 WITH SCORE 175460.707
AT ITER 3072 NEW BEST:: SOT 3140925 SOS 1941639 HAS SOPS 1941639 HAS SOUS 172719 HAS SOUPS 172719 WITH SCORE 174660.639
AT ITER 3083 NEW BEST:: SOT 3140925 SOS 1940079 HAS SOPS 1940079 HAS SOUS 172717 HAS SOUPS 172717 WITH SCORE 174657.079
AT ITER 3247 NEW BEST:: SOT 3140920 SOS 1937819 HAS SOPS 1937819 HAS SOUS 172692 HAS SOUPS 172692 WITH SCORE 174629.819
AT ITER 3269 NEW BEST:: SOT 3140918 SOS 1936915 HAS SOPS 1936915 HAS SOUS 172682 HAS SOUPS 172682 WITH SCORE 174618.915
AT ITER 3274 NEW BEST:: SOT 3140915 SOS 1936879 HAS SOPS 1936879 HAS SOUS 172673 HAS SOUPS 172673 WITH SCORE 174609.879
AT ITER 3276 NEW BEST:: SOT 3140896 SOS 1936858 HAS SOPS 1936858 HAS SOUS 172652 HAS SOUPS 172652 WITH SCORE 174588.858
AT ITER 3297 NEW BEST:: SOT 3140896 SOS 1935978 HAS SOPS 1935978 HAS SOUS 172648 HAS SOUPS 172648 WITH SCORE 174583.978
AT ITER 3305 NEW BEST:: SOT 3138045 SOS 1933127 HAS SOPS 1933127 HAS SOUS 169797 HAS SOUPS 169797 WITH SCORE 171730.127
AT ITER 3314 NEW BEST:: SOT 3138040 SOS 1934027 HAS SOPS 1934027 HAS SOUS 169794 HAS SOUPS 169794 WITH SCORE 171728.027
AT ITER 3338 NEW BEST:: SOT 3138038 SOS 1925923 HAS SOPS 1925923 HAS SOUS 169778 HAS SOUPS 169778 WITH SCORE 171703.923
AT ITER 3382 NEW BEST:: SOT 3138037 SOS 1924271 HAS SOPS 1924271 HAS SOUS 169772 HAS SOUPS 169772 WITH SCORE 171696.271
AT ITER 3414 NEW BEST:: SOT 3140879 SOS 1927112 HAS SOPS 1927112 HAS SOUS 169753 HAS SOUPS 169753 WITH SCORE 171680.112
AT ITER 3428 NEW BEST:: SOT 3135694 SOS 1921942 HAS SOPS 1921942 HAS SOUS 169363 HAS SOUPS 169363 WITH SCORE 171284.942
AT ITER 3438 NEW BEST:: SOT 3135692 SOS 1921938 HAS SOPS 1921938 HAS SOUS 168699 HAS SOUPS 168699 WITH SCORE 170620.938
AT ITER 3466 NEW BEST:: SOT 3132832 SOS 1919077 HAS SOPS 1919077 HAS SOUS 162978 HAS SOUPS 162978 WITH SCORE 164897.077
AT ITER 3501 NEW BEST:: SOT 3132832 SOS 1916197 HAS SOPS 1916197 HAS SOUS 162970 HAS SOUPS 162970 WITH SCORE 164886.197
AT ITER 3521 NEW BEST:: SOT 3132832 SOS 1914397 HAS SOPS 1914397 HAS SOUS 162965 HAS SOUPS 162965 WITH SCORE 164879.397
AT ITER 3531 NEW BEST:: SOT 3132830 SOS 1914373 HAS SOPS 1914373 HAS SOUS 162959 HAS SOUPS 162959 WITH SCORE 164873.373
AT ITER 3591 NEW BEST:: SOT 3132820 SOS 1913453 HAS SOPS 1913453 HAS SOUS 162919 HAS SOUPS 162919 WITH SCORE 164832.453
AT ITER 3613 NEW BEST:: SOT 3132814 SOS 1919141 HAS SOPS 1919141 HAS SOUS 162903 HAS SOUPS 162903 WITH SCORE 164822.141
AT ITER 3614 NEW BEST:: SOT 3132806 SOS 1919125 HAS SOPS 1919125 HAS SOUS 159527 HAS SOUPS 159527 WITH SCORE 161446.125
AT ITER 3712 NEW BEST:: SOT 3135601 SOS 1921918 HAS SOPS 1921918 HAS SOUS 156600 HAS SOUPS 156600 WITH SCORE 158521.918
AT ITER 3938 NEW BEST:: SOT 3135601 SOS 1921828 HAS SOPS 1921828 HAS SOUS 156600 HAS SOUPS 156600 WITH SCORE 158521.828
AT ITER 4018 NEW BEST:: SOT 3135599 SOS 1921084 HAS SOPS 1921084 HAS SOUS 156298 HAS SOUPS 156298 WITH SCORE 158219.084
AT ITER 4032 NEW BEST:: SOT 3135600 SOS 1911816 HAS SOPS 1911816 HAS SOUS 156290 HAS SOUPS 156290 WITH SCORE 158201.816
AT ITER 4127 NEW BEST:: SOT 3135604 SOS 1892184 HAS SOPS 1892184 HAS SOUS 156287 HAS SOUPS 156287 WITH SCORE 158179.184
AT ITER 4238 NEW BEST:: SOT 3135602 SOS 1891280 HAS SOPS 1891280 HAS SOUS 156277 HAS SOUPS 156277 WITH SCORE 158168.28
AT ITER 4248 NEW BEST:: SOT 3135600 SOS 1890376 HAS SOPS 1890376 HAS SOUS 156267 HAS SOUPS 156267 WITH SCORE 158157.376
AT ITER 4289 NEW BEST:: SOT 3135598 SOS 1889472 HAS SOPS 1889472 HAS SOUS 156257 HAS SOUPS 156257 WITH SCORE 158146.472
AT ITER 4496 NEW BEST:: SOT 3135598 SOS 1889182 HAS SOPS 1889182 HAS SOUS 156111 HAS SOUPS 156111 WITH SCORE 158000.182
AT ITER 4517 NEW BEST:: SOT 3135598 SOS 1887542 HAS SOPS 1887542 HAS SOUS 156108 HAS SOUPS 156108 WITH SCORE 157995.542
AT ITER 4609 NEW BEST:: SOT 3135597 SOS 1887440 HAS SOPS 1887440 HAS SOUS 156105 HAS SOUPS 156105 WITH SCORE 157992.44
AT ITER 4656 NEW BEST:: SOT 3135597 SOS 1882640 HAS SOPS 1882640 HAS SOUS 156101 HAS SOUPS 156101 WITH SCORE 157983.64
AT ITER 4796 NEW BEST:: SOT 3135596 SOS 1882718 HAS SOPS 1882718 HAS SOUS 156098 HAS SOUPS 156098 WITH SCORE 157980.718
AT ITER 4892 NEW BEST:: SOT 3135607 SOS 1857850 HAS SOPS 1857850 HAS SOUS 156122 HAS SOUPS 156122 WITH SCORE 157979.85
AT ITER 4899 NEW BEST:: SOT 3135608 SOS 1856222 HAS SOPS 1856222 HAS SOUS 156122 HAS SOUPS 156122 WITH SCORE 157978.222
AT ITER 5020 NEW BEST:: SOT 3135609 SOS 1855384 HAS SOPS 1855384 HAS SOUS 156120 HAS SOUPS 156120 WITH SCORE 157975.384
AT ITER 5068 NEW BEST:: SOT 3135608 SOS 1853732 HAS SOPS 1853732 HAS SOUS 156114 HAS SOUPS 156114 WITH SCORE 157967.732
AT ITER 5077 NEW BEST:: SOT 3135556 SOS 1853232 HAS SOPS 1853232 HAS SOUS 155978 HAS SOUPS 155978 WITH SCORE 157831.232
AT ITER 5088 NEW BEST:: SOT 3135555 SOS 1853130 HAS SOPS 1853130 HAS SOUS 155975 HAS SOUPS 155975 WITH SCORE 157828.13
AT ITER 5169 NEW BEST:: SOT 3135552 SOS 1852854 HAS SOPS 1852854 HAS SOUS 155963 HAS SOUPS 155963 WITH SCORE 157815.854
AT ITER 5175 NEW BEST:: SOT 3135550 SOS 1797450 HAS SOPS 1797450 HAS SOUS 155849 HAS SOUPS 155849 WITH SCORE 157646.45
AT ITER 5181 NEW BEST:: SOT 3135548 SOS 1797446 HAS SOPS 1797446 HAS SOUS 155845 HAS SOUPS 155845 WITH SCORE 157642.446
AT ITER 5185 NEW BEST:: SOT 3135566 SOS 1776542 HAS SOPS 1776542 HAS SOUS 155853 HAS SOUPS 155853 WITH SCORE 157629.542
AT ITER 5203 NEW BEST:: SOT 3135568 SOS 1730556 HAS SOPS 1730556 HAS SOUS 155398 HAS SOUPS 155398 WITH SCORE 157128.556
AT ITER 5223 NEW BEST:: SOT 3135567 SOS 1730554 HAS SOPS 1730554 HAS SOUS 155186 HAS SOUPS 155186 WITH SCORE 156916.554
AT ITER 5328 NEW BEST:: SOT 3135562 SOS 1730044 HAS SOPS 1730044 HAS SOUS 155171 HAS SOUPS 155171 WITH SCORE 156901.044
AT ITER 5334 NEW BEST:: SOT 3135570 SOS 1740440 HAS SOPS 1740440 HAS SOUS 155145 HAS SOUPS 155145 WITH SCORE 156885.44
AT ITER 5385 NEW BEST:: SOT 3135586 SOS 1763122 HAS SOPS 1763122 HAS SOUS 154835 HAS SOUPS 154835 WITH SCORE 156598.122
AT ITER 5387 NEW BEST:: SOT 3135566 SOS 1761082 HAS SOPS 1761082 HAS SOUS 154775 HAS SOUPS 154775 WITH SCORE 156536.082
AT ITER 5403 NEW BEST:: SOT 3135565 SOS 1760080 HAS SOPS 1760080 HAS SOUS 154772 HAS SOUPS 154772 WITH SCORE 156532.08
AT ITER 5410 NEW BEST:: SOT 3135566 SOS 1755682 HAS SOPS 1755682 HAS SOUS 154775 HAS SOUPS 154775 WITH SCORE 156530.682
AT ITER 5424 NEW BEST:: SOT 3135566 SOS 1761872 HAS SOPS 1761872 HAS SOUS 154460 HAS SOUPS 154460 WITH SCORE 156221.872
AT ITER 5436 NEW BEST:: SOT 3135565 SOS 1762710 HAS SOPS 1762710 HAS SOUS 154457 HAS SOUPS 154457 WITH SCORE 156219.71
AT ITER 5463 NEW BEST:: SOT 3135564 SOS 1762608 HAS SOPS 1762608 HAS SOUS 154454 HAS SOUPS 154454 WITH SCORE 156216.608
AT ITER 5588 NEW BEST:: SOT 3135563 SOS 1762596 HAS SOPS 1762596 HAS SOUS 154352 HAS SOUPS 154352 WITH SCORE 156114.596
AT ITER 5603 NEW BEST:: SOT 3135558 SOS 1762086 HAS SOPS 1762086 HAS SOUS 154337 HAS SOUPS 154337 WITH SCORE 156099.086
AT ITER 5664 NEW BEST:: SOT 3135557 SOS 1759884 HAS SOPS 1759884 HAS SOUS 154334 HAS SOUPS 154334 WITH SCORE 156093.884
AT ITER 5716 NEW BEST:: SOT 3135554 SOS 1758228 HAS SOPS 1758228 HAS SOUS 154325 HAS SOUPS 154325 WITH SCORE 156083.228
AT ITER 5744 NEW BEST:: SOT 3135553 SOS 1758226 HAS SOPS 1758226 HAS SOUS 154043 HAS SOUPS 154043 WITH SCORE 155801.226
AT ITER 5757 NEW BEST:: SOT 3135552 SOS 1758224 HAS SOPS 1758224 HAS SOUS 153591 HAS SOUPS 153591 WITH SCORE 155349.224
AT ITER 5781 NEW BEST:: SOT 3135552 SOS 1740074 HAS SOPS 1740074 HAS SOUS 153591 HAS SOUPS 153591 WITH SCORE 155331.074
AT ITER 5835 NEW BEST:: SOT 3135552 SOS 1728674 HAS SOPS 1728674 HAS SOUS 153591 HAS SOUPS 153591 WITH SCORE 155319.674
AT ITER 5872 NEW BEST:: SOT 3135552 SOS 1725974 HAS SOPS 1725974 HAS SOUS 153591 HAS SOUPS 153591 WITH SCORE 155316.974
AT ITER 5878 NEW BEST:: SOT 3135551 SOS 1725962 HAS SOPS 1725962 HAS SOUS 153588 HAS SOUPS 153588 WITH SCORE 155313.962
AT ITER 5959 NEW BEST:: SOT 3135551 SOS 1732522 HAS SOPS 1732522 HAS SOUS 153356 HAS SOUPS 153356 WITH SCORE 155088.522
AT ITER 6028 NEW BEST:: SOT 3135547 SOS 1732510 HAS SOPS 1732510 HAS SOUS 153350 HAS SOUPS 153350 WITH SCORE 155082.51
AT ITER 6078 NEW BEST:: SOT 3135548 SOS 1724212 HAS SOPS 1724212 HAS SOUS 153353 HAS SOUPS 153353 WITH SCORE 155077.212
AT ITER 6113 NEW BEST:: SOT 3135530 SOS 1730566 HAS SOPS 1730566 HAS SOUS 153299 HAS SOUPS 153299 WITH SCORE 155029.566
AT ITER 6152 NEW BEST:: SOT 3135529 SOS 1730464 HAS SOPS 1730464 HAS SOUS 153296 HAS SOUPS 153296 WITH SCORE 155026.464
AT ITER 6217 NEW BEST:: SOT 3135528 SOS 1730452 HAS SOPS 1730452 HAS SOUS 153293 HAS SOUPS 153293 WITH SCORE 155023.452
AT ITER 6341 NEW BEST:: SOT 3135525 SOS 1723846 HAS SOPS 1723846 HAS SOUS 153284 HAS SOUPS 153284 WITH SCORE 155007.846
AT ITER 6394 NEW BEST:: SOT 3135526 SOS 1715548 HAS SOPS 1715548 HAS SOUS 153287 HAS SOUPS 153287 WITH SCORE 155002.548
AT ITER 6587 NEW BEST:: SOT 3135525 SOS 1713346 HAS SOPS 1713346 HAS SOUS 153284 HAS SOUPS 153284 WITH SCORE 154997.346
AT ITER 6701 NEW BEST:: SOT 3138378 SOS 1716197 HAS SOPS 1716197 HAS SOUS 153276 HAS SOUPS 153276 WITH SCORE 154992.197
AT ITER 6715 NEW BEST:: SOT 3138375 SOS 1716701 HAS SOPS 1716701 HAS SOUS 153267 HAS SOUPS 153267 WITH SCORE 154983.701
AT ITER 6818 NEW BEST:: SOT 3138374 SOS 1716149 HAS SOPS 1716149 HAS SOUS 153264 HAS SOUPS 153264 WITH SCORE 154980.149
AT ITER 6878 NEW BEST:: SOT 3138371 SOS 1714493 HAS SOPS 1714493 HAS SOUS 153255 HAS SOUPS 153255 WITH SCORE 154969.493
AT ITER 6891 NEW BEST:: SOT 3138371 SOS 1708193 HAS SOPS 1708193 HAS SOUS 153255 HAS SOUPS 153255 WITH SCORE 154963.193
AT ITER 6987 NEW BEST:: SOT 3138369 SOS 1707089 HAS SOPS 1707089 HAS SOUS 153249 HAS SOUPS 153249 WITH SCORE 154956.089
AT ITER 7081 NEW BEST:: SOT 3138367 SOS 1705535 HAS SOPS 1705535 HAS SOUS 153243 HAS SOUPS 153243 WITH SCORE 154948.535
AT ITER 7163 NEW BEST:: SOT 3138365 SOS 1705331 HAS SOPS 1705331 HAS SOUS 153237 HAS SOUPS 153237 WITH SCORE 154942.331
AT ITER 7185 NEW BEST:: SOT 3138364 SOS 1705229 HAS SOPS 1705229 HAS SOUS 153234 HAS SOUPS 153234 WITH SCORE 154939.229
AT ITER 7314 NEW BEST:: SOT 3138363 SOS 1704677 HAS SOPS 1704677 HAS SOUS 153231 HAS SOUPS 153231 WITH SCORE 154935.677
AT ITER 7492 NEW BEST:: SOT 3138362 SOS 1702475 HAS SOPS 1702475 HAS SOUS 153228 HAS SOUPS 153228 WITH SCORE 154930.475
AT ITER 7568 NEW BEST:: SOT 3138363 SOS 1698077 HAS SOPS 1698077 HAS SOUS 153231 HAS SOUPS 153231 WITH SCORE 154929.077
AT ITER 7676 NEW BEST:: SOT 3141207 SOS 1700920 HAS SOPS 1700920 HAS SOUS 153214 HAS SOUPS 153214 WITH SCORE 154914.92
AT ITER 7744 NEW BEST:: SOT 3141206 SOS 1698718 HAS SOPS 1698718 HAS SOUS 153211 HAS SOUPS 153211 WITH SCORE 154909.718
AT ITER 7798 NEW BEST:: SOT 3141205 SOS 1701466 HAS SOPS 1701466 HAS SOUS 153208 HAS SOUPS 153208 WITH SCORE 154909.466
AT ITER 7801 NEW BEST:: SOT 3141205 SOS 1700976 HAS SOPS 1700976 HAS SOUS 153208 HAS SOUPS 153208 WITH SCORE 154908.976
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 15822592 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16119164 kB

BK_TIME_CONFINEMENT_REACHED

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

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="DrinkVendingMachine-COL-10"
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 DrinkVendingMachine-COL-10, 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-167819408000584"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DrinkVendingMachine-COL-10.tgz
mv DrinkVendingMachine-COL-10 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 ;