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.r195-smll-167840342100240.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 HealthRecord-PT-01, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342100240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 412K
-rw-r--r-- 1 mcc users 5.8K Feb 26 17:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 17:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 17:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 17:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 18:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 18:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 17:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 17:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 46K 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 1678492484213

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=HealthRecord-PT-01
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 01
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: 117 places, 218 transitions, 557 arcs.
AT ITER 0 NEW BEST:: SOT 18242 SOS 9552 HAS SOPS 9540 HAS SOUS 6098 HAS SOUPS 6089 WITH SCORE 6098.552
AT ITER 2 NEW BEST:: SOT 18164 SOS 9396 HAS SOPS 9384 HAS SOUS 6038 HAS SOUPS 6029 WITH SCORE 6038.396
AT ITER 5 NEW BEST:: SOT 18164 SOS 9395 HAS SOPS 9383 HAS SOUS 6038 HAS SOUPS 6029 WITH SCORE 6038.395
AT ITER 6 NEW BEST:: SOT 18164 SOS 9395 HAS SOPS 9383 HAS SOUS 6020 HAS SOUPS 6011 WITH SCORE 6020.395
AT ITER 7 NEW BEST:: SOT 18197 SOS 9461 HAS SOPS 9449 HAS SOUS 5999 HAS SOUPS 5990 WITH SCORE 5999.461
AT ITER 8 NEW BEST:: SOT 18197 SOS 9497 HAS SOPS 9485 HAS SOUS 5983 HAS SOUPS 5974 WITH SCORE 5983.497
AT ITER 9 NEW BEST:: SOT 18197 SOS 9371 HAS SOPS 9359 HAS SOUS 5963 HAS SOUPS 5954 WITH SCORE 5963.371
AT ITER 11 NEW BEST:: SOT 18197 SOS 9371 HAS SOPS 9359 HAS SOUS 5943 HAS SOUPS 5934 WITH SCORE 5943.371
AT ITER 13 NEW BEST:: SOT 18153 SOS 9283 HAS SOPS 9271 HAS SOUS 5921 HAS SOUPS 5912 WITH SCORE 5921.283
AT ITER 14 NEW BEST:: SOT 18154 SOS 9292 HAS SOPS 9280 HAS SOUS 5915 HAS SOUPS 5906 WITH SCORE 5915.292
AT ITER 16 NEW BEST:: SOT 18120 SOS 9287 HAS SOPS 9275 HAS SOUS 5910 HAS SOUPS 5901 WITH SCORE 5910.287
AT ITER 26 NEW BEST:: SOT 18092 SOS 9243 HAS SOPS 9231 HAS SOUS 5889 HAS SOUPS 5880 WITH SCORE 5889.243
AT ITER 27 NEW BEST:: SOT 18104 SOS 9176 HAS SOPS 9164 HAS SOUS 5849 HAS SOUPS 5840 WITH SCORE 5849.176
AT ITER 28 NEW BEST:: SOT 18104 SOS 9148 HAS SOPS 9136 HAS SOUS 5849 HAS SOUPS 5840 WITH SCORE 5849.148
AT ITER 30 NEW BEST:: SOT 17347 SOS 8714 HAS SOPS 8702 HAS SOUS 5687 HAS SOUPS 5678 WITH SCORE 5686.714
AT ITER 32 NEW BEST:: SOT 17316 SOS 8652 HAS SOPS 8640 HAS SOUS 5666 HAS SOUPS 5657 WITH SCORE 5665.652
AT ITER 33 NEW BEST:: SOT 17240 SOS 8580 HAS SOPS 8568 HAS SOUS 5636 HAS SOUPS 5627 WITH SCORE 5635.58
AT ITER 34 NEW BEST:: SOT 17181 SOS 8524 HAS SOPS 8512 HAS SOUS 5622 HAS SOUPS 5613 WITH SCORE 5621.524
AT ITER 42 NEW BEST:: SOT 17169 SOS 8507 HAS SOPS 8495 HAS SOUS 5609 HAS SOUPS 5600 WITH SCORE 5608.507
AT ITER 43 NEW BEST:: SOT 17176 SOS 8554 HAS SOPS 8542 HAS SOUS 5600 HAS SOUPS 5591 WITH SCORE 5599.554
AT ITER 45 NEW BEST:: SOT 15720 SOS 8306 HAS SOPS 8294 HAS SOUS 4485 HAS SOUPS 4476 WITH SCORE 4484.306
AT ITER 48 NEW BEST:: SOT 15691 SOS 8259 HAS SOPS 8247 HAS SOUS 4439 HAS SOUPS 4430 WITH SCORE 4438.259
AT ITER 54 NEW BEST:: SOT 15705 SOS 8239 HAS SOPS 8227 HAS SOUS 4405 HAS SOUPS 4396 WITH SCORE 4404.239
AT ITER 55 NEW BEST:: SOT 15715 SOS 8249 HAS SOPS 8237 HAS SOUS 4404 HAS SOUPS 4395 WITH SCORE 4403.249
AT ITER 61 NEW BEST:: SOT 15723 SOS 8245 HAS SOPS 8233 HAS SOUS 4400 HAS SOUPS 4391 WITH SCORE 4399.245
AT ITER 63 NEW BEST:: SOT 15702 SOS 8210 HAS SOPS 8198 HAS SOUS 4386 HAS SOUPS 4377 WITH SCORE 4385.21
AT ITER 65 NEW BEST:: SOT 15057 SOS 8835 HAS SOPS 8823 HAS SOUS 4383 HAS SOUPS 4374 WITH SCORE 4382.835
AT ITER 68 NEW BEST:: SOT 15024 SOS 8782 HAS SOPS 8770 HAS SOUS 4363 HAS SOUPS 4354 WITH SCORE 4362.782
AT ITER 70 NEW BEST:: SOT 14995 SOS 8717 HAS SOPS 8705 HAS SOUS 4320 HAS SOUPS 4311 WITH SCORE 4319.717
AT ITER 73 NEW BEST:: SOT 14992 SOS 8712 HAS SOPS 8700 HAS SOUS 4309 HAS SOUPS 4300 WITH SCORE 4308.712
AT ITER 74 NEW BEST:: SOT 14986 SOS 8703 HAS SOPS 8691 HAS SOUS 4303 HAS SOUPS 4294 WITH SCORE 4302.703
AT ITER 79 NEW BEST:: SOT 14965 SOS 8674 HAS SOPS 8662 HAS SOUS 4296 HAS SOUPS 4287 WITH SCORE 4295.674
AT ITER 80 NEW BEST:: SOT 14946 SOS 8648 HAS SOPS 8636 HAS SOUS 4277 HAS SOUPS 4268 WITH SCORE 4276.648
AT ITER 89 NEW BEST:: SOT 14945 SOS 8647 HAS SOPS 8635 HAS SOUS 4274 HAS SOUPS 4265 WITH SCORE 4273.647
AT ITER 90 NEW BEST:: SOT 14909 SOS 8593 HAS SOPS 8581 HAS SOUS 4237 HAS SOUPS 4228 WITH SCORE 4236.593
AT ITER 99 NEW BEST:: SOT 14881 SOS 8565 HAS SOPS 8553 HAS SOUS 4209 HAS SOUPS 4200 WITH SCORE 4208.565
AT ITER 100 NEW BEST:: SOT 14899 SOS 8601 HAS SOPS 8589 HAS SOUS 4158 HAS SOUPS 4149 WITH SCORE 4157.601
AT ITER 107 NEW BEST:: SOT 14908 SOS 8570 HAS SOPS 8558 HAS SOUS 4115 HAS SOUPS 4106 WITH SCORE 4114.57
AT ITER 110 NEW BEST:: SOT 14895 SOS 8536 HAS SOPS 8524 HAS SOUS 4094 HAS SOUPS 4085 WITH SCORE 4093.536
AT ITER 111 NEW BEST:: SOT 14265 SOS 8352 HAS SOPS 8340 HAS SOUS 3463 HAS SOUPS 3454 WITH SCORE 3462.352
AT ITER 119 NEW BEST:: SOT 14237 SOS 8310 HAS SOPS 8298 HAS SOUS 3435 HAS SOUPS 3426 WITH SCORE 3434.31
AT ITER 120 NEW BEST:: SOT 14221 SOS 7766 HAS SOPS 7754 HAS SOUS 3406 HAS SOUPS 3397 WITH SCORE 3404.766
AT ITER 121 NEW BEST:: SOT 14213 SOS 7754 HAS SOPS 7742 HAS SOUS 3402 HAS SOUPS 3393 WITH SCORE 3400.754
AT ITER 133 NEW BEST:: SOT 14171 SOS 7705 HAS SOPS 7693 HAS SOUS 3350 HAS SOUPS 3341 WITH SCORE 3348.705
AT ITER 138 NEW BEST:: SOT 14167 SOS 7690 HAS SOPS 7678 HAS SOUS 3327 HAS SOUPS 3318 WITH SCORE 3325.69
AT ITER 139 NEW BEST:: SOT 14158 SOS 7681 HAS SOPS 7669 HAS SOUS 3295 HAS SOUPS 3286 WITH SCORE 3293.681
AT ITER 144 NEW BEST:: SOT 14156 SOS 7675 HAS SOPS 7663 HAS SOUS 3291 HAS SOUPS 3282 WITH SCORE 3289.675
AT ITER 149 NEW BEST:: SOT 14160 SOS 7670 HAS SOPS 7658 HAS SOUS 3286 HAS SOUPS 3277 WITH SCORE 3284.67
AT ITER 151 NEW BEST:: SOT 14137 SOS 7624 HAS SOPS 7612 HAS SOUS 3263 HAS SOUPS 3254 WITH SCORE 3261.624
AT ITER 152 NEW BEST:: SOT 14116 SOS 7705 HAS SOPS 7693 HAS SOUS 3242 HAS SOUPS 3233 WITH SCORE 3240.705
AT ITER 156 NEW BEST:: SOT 14116 SOS 7705 HAS SOPS 7693 HAS SOUS 3238 HAS SOUPS 3229 WITH SCORE 3236.705
AT ITER 158 NEW BEST:: SOT 14100 SOS 7685 HAS SOPS 7673 HAS SOUS 3202 HAS SOUPS 3193 WITH SCORE 3200.685
AT ITER 169 NEW BEST:: SOT 14108 SOS 7693 HAS SOPS 7681 HAS SOUS 3198 HAS SOUPS 3189 WITH SCORE 3196.693
AT ITER 171 NEW BEST:: SOT 14120 SOS 7717 HAS SOPS 7705 HAS SOUS 3185 HAS SOUPS 3176 WITH SCORE 3183.717
AT ITER 187 NEW BEST:: SOT 14120 SOS 7717 HAS SOPS 7705 HAS SOUS 3184 HAS SOUPS 3175 WITH SCORE 3182.717
AT ITER 189 NEW BEST:: SOT 14110 SOS 7707 HAS SOPS 7695 HAS SOUS 3174 HAS SOUPS 3165 WITH SCORE 3172.707
AT ITER 198 NEW BEST:: SOT 14089 SOS 7646 HAS SOPS 7634 HAS SOUS 3133 HAS SOUPS 3124 WITH SCORE 3131.646
AT ITER 201 NEW BEST:: SOT 14086 SOS 7643 HAS SOPS 7631 HAS SOUS 3088 HAS SOUPS 3079 WITH SCORE 3086.643
AT ITER 205 NEW BEST:: SOT 14046 SOS 7603 HAS SOPS 7591 HAS SOUS 3048 HAS SOUPS 3039 WITH SCORE 3046.603
AT ITER 206 NEW BEST:: SOT 14025 SOS 7582 HAS SOPS 7570 HAS SOUS 3004 HAS SOUPS 2995 WITH SCORE 3002.582
AT ITER 208 NEW BEST:: SOT 13874 SOS 7758 HAS SOPS 7746 HAS SOUS 2868 HAS SOUPS 2859 WITH SCORE 2866.758
AT ITER 211 NEW BEST:: SOT 13861 SOS 7730 HAS SOPS 7718 HAS SOUS 2841 HAS SOUPS 2832 WITH SCORE 2839.73
AT ITER 216 NEW BEST:: SOT 13861 SOS 7730 HAS SOPS 7718 HAS SOUS 2840 HAS SOUPS 2831 WITH SCORE 2838.73
AT ITER 229 NEW BEST:: SOT 13874 SOS 7743 HAS SOPS 7731 HAS SOUS 2836 HAS SOUPS 2827 WITH SCORE 2834.743
AT ITER 232 NEW BEST:: SOT 13866 SOS 7735 HAS SOPS 7723 HAS SOUS 2819 HAS SOUPS 2810 WITH SCORE 2817.735
AT ITER 238 NEW BEST:: SOT 13853 SOS 7722 HAS SOPS 7710 HAS SOUS 2806 HAS SOUPS 2797 WITH SCORE 2804.722
AT ITER 243 NEW BEST:: SOT 13890 SOS 7668 HAS SOPS 7656 HAS SOUS 2763 HAS SOUPS 2754 WITH SCORE 2761.668
AT ITER 265 NEW BEST:: SOT 13887 SOS 7665 HAS SOPS 7653 HAS SOUS 2757 HAS SOUPS 2748 WITH SCORE 2755.665
AT ITER 268 NEW BEST:: SOT 13887 SOS 7665 HAS SOPS 7653 HAS SOUS 2741 HAS SOUPS 2732 WITH SCORE 2739.665
AT ITER 281 NEW BEST:: SOT 13876 SOS 7626 HAS SOPS 7614 HAS SOUS 2740 HAS SOUPS 2731 WITH SCORE 2738.626
AT ITER 284 NEW BEST:: SOT 13826 SOS 7576 HAS SOPS 7564 HAS SOUS 2723 HAS SOUPS 2714 WITH SCORE 2721.576
AT ITER 290 NEW BEST:: SOT 13826 SOS 7576 HAS SOPS 7564 HAS SOUS 2722 HAS SOUPS 2713 WITH SCORE 2720.576
AT ITER 294 NEW BEST:: SOT 13826 SOS 7566 HAS SOPS 7554 HAS SOUS 2702 HAS SOUPS 2693 WITH SCORE 2700.566
AT ITER 303 NEW BEST:: SOT 13838 SOS 7539 HAS SOPS 7527 HAS SOUS 2675 HAS SOUPS 2666 WITH SCORE 2673.539
AT ITER 315 NEW BEST:: SOT 13827 SOS 7532 HAS SOPS 7520 HAS SOUS 2664 HAS SOUPS 2655 WITH SCORE 2662.532
AT ITER 317 NEW BEST:: SOT 13797 SOS 7502 HAS SOPS 7490 HAS SOUS 2662 HAS SOUPS 2653 WITH SCORE 2660.502
AT ITER 331 NEW BEST:: SOT 13796 SOS 7501 HAS SOPS 7489 HAS SOUS 2662 HAS SOUPS 2653 WITH SCORE 2660.501
AT ITER 341 NEW BEST:: SOT 13791 SOS 7496 HAS SOPS 7484 HAS SOUS 2657 HAS SOUPS 2648 WITH SCORE 2655.496
AT ITER 350 NEW BEST:: SOT 13787 SOS 7488 HAS SOPS 7476 HAS SOUS 2653 HAS SOUPS 2644 WITH SCORE 2651.488
AT ITER 354 NEW BEST:: SOT 13795 SOS 7496 HAS SOPS 7484 HAS SOUS 2637 HAS SOUPS 2628 WITH SCORE 2635.496
AT ITER 358 NEW BEST:: SOT 13784 SOS 7471 HAS SOPS 7459 HAS SOUS 2626 HAS SOUPS 2617 WITH SCORE 2624.471
AT ITER 369 NEW BEST:: SOT 13801 SOS 7488 HAS SOPS 7476 HAS SOUS 2625 HAS SOUPS 2616 WITH SCORE 2623.488
AT ITER 371 NEW BEST:: SOT 13795 SOS 7482 HAS SOPS 7470 HAS SOUS 2623 HAS SOUPS 2614 WITH SCORE 2621.482
AT ITER 374 NEW BEST:: SOT 13797 SOS 7502 HAS SOPS 7490 HAS SOUS 2616 HAS SOUPS 2607 WITH SCORE 2614.502
AT ITER 375 NEW BEST:: SOT 13817 SOS 7522 HAS SOPS 7510 HAS SOUS 2611 HAS SOUPS 2602 WITH SCORE 2609.522
AT ITER 380 NEW BEST:: SOT 13746 SOS 7391 HAS SOPS 7379 HAS SOUS 2545 HAS SOUPS 2536 WITH SCORE 2543.391
AT ITER 388 NEW BEST:: SOT 13740 SOS 7377 HAS SOPS 7365 HAS SOUS 2541 HAS SOUPS 2532 WITH SCORE 2539.377
AT ITER 396 NEW BEST:: SOT 13735 SOS 7367 HAS SOPS 7355 HAS SOUS 2537 HAS SOUPS 2528 WITH SCORE 2535.367
AT ITER 405 NEW BEST:: SOT 13686 SOS 7288 HAS SOPS 7276 HAS SOUS 2511 HAS SOUPS 2502 WITH SCORE 2509.288
AT ITER 411 NEW BEST:: SOT 13685 SOS 7295 HAS SOPS 7283 HAS SOUS 2496 HAS SOUPS 2487 WITH SCORE 2494.295
AT ITER 430 NEW BEST:: SOT 13685 SOS 7295 HAS SOPS 7283 HAS SOUS 2482 HAS SOUPS 2473 WITH SCORE 2480.295
AT ITER 444 NEW BEST:: SOT 13668 SOS 7267 HAS SOPS 7255 HAS SOUS 2473 HAS SOUPS 2464 WITH SCORE 2471.267
AT ITER 445 NEW BEST:: SOT 13668 SOS 7262 HAS SOPS 7250 HAS SOUS 2473 HAS SOUPS 2464 WITH SCORE 2471.262
AT ITER 448 NEW BEST:: SOT 13661 SOS 7248 HAS SOPS 7236 HAS SOUS 2466 HAS SOUPS 2457 WITH SCORE 2464.248
AT ITER 461 NEW BEST:: SOT 13678 SOS 7265 HAS SOPS 7253 HAS SOUS 2458 HAS SOUPS 2449 WITH SCORE 2456.265
AT ITER 469 NEW BEST:: SOT 13687 SOS 7283 HAS SOPS 7271 HAS SOUS 2456 HAS SOUPS 2447 WITH SCORE 2454.283
AT ITER 478 NEW BEST:: SOT 13684 SOS 7277 HAS SOPS 7265 HAS SOUS 2453 HAS SOUPS 2444 WITH SCORE 2451.277
AT ITER 483 NEW BEST:: SOT 13678 SOS 7271 HAS SOPS 7259 HAS SOUS 2434 HAS SOUPS 2425 WITH SCORE 2432.271
AT ITER 491 NEW BEST:: SOT 13677 SOS 7270 HAS SOPS 7258 HAS SOUS 2428 HAS SOUPS 2419 WITH SCORE 2426.27
AT ITER 497 NEW BEST:: SOT 13677 SOS 7266 HAS SOPS 7254 HAS SOUS 2428 HAS SOUPS 2419 WITH SCORE 2426.266
AT ITER 507 NEW BEST:: SOT 13673 SOS 7258 HAS SOPS 7246 HAS SOUS 2424 HAS SOUPS 2415 WITH SCORE 2422.258
AT ITER 517 NEW BEST:: SOT 13665 SOS 7258 HAS SOPS 7246 HAS SOUS 2421 HAS SOUPS 2412 WITH SCORE 2419.258
AT ITER 519 NEW BEST:: SOT 13666 SOS 7256 HAS SOPS 7244 HAS SOUS 2415 HAS SOUPS 2406 WITH SCORE 2413.256
AT ITER 533 NEW BEST:: SOT 13653 SOS 7243 HAS SOPS 7231 HAS SOUS 2402 HAS SOUPS 2393 WITH SCORE 2400.243
AT ITER 543 NEW BEST:: SOT 13624 SOS 7192 HAS SOPS 7180 HAS SOUS 2384 HAS SOUPS 2375 WITH SCORE 2382.192
AT ITER 546 NEW BEST:: SOT 13621 SOS 7186 HAS SOPS 7174 HAS SOUS 2381 HAS SOUPS 2372 WITH SCORE 2379.186
AT ITER 588 NEW BEST:: SOT 13618 SOS 7183 HAS SOPS 7171 HAS SOUS 2378 HAS SOUPS 2369 WITH SCORE 2376.183
AT ITER 589 NEW BEST:: SOT 13616 SOS 7479 HAS SOPS 7467 HAS SOUS 2364 HAS SOUPS 2355 WITH SCORE 2362.479
AT ITER 602 NEW BEST:: SOT 13606 SOS 7454 HAS SOPS 7442 HAS SOUS 2359 HAS SOUPS 2350 WITH SCORE 2357.454
AT ITER 617 NEW BEST:: SOT 13607 SOS 7455 HAS SOPS 7443 HAS SOUS 2356 HAS SOUPS 2347 WITH SCORE 2354.455
AT ITER 635 NEW BEST:: SOT 13604 SOS 7452 HAS SOPS 7440 HAS SOUS 2353 HAS SOUPS 2344 WITH SCORE 2351.452
AT ITER 638 NEW BEST:: SOT 13616 SOS 7441 HAS SOPS 7429 HAS SOUS 2342 HAS SOUPS 2333 WITH SCORE 2340.441
AT ITER 645 NEW BEST:: SOT 13611 SOS 7431 HAS SOPS 7419 HAS SOUS 2340 HAS SOUPS 2331 WITH SCORE 2338.431
AT ITER 679 NEW BEST:: SOT 13605 SOS 7416 HAS SOPS 7404 HAS SOUS 2333 HAS SOUPS 2324 WITH SCORE 2331.416
AT ITER 686 NEW BEST:: SOT 13608 SOS 7412 HAS SOPS 7400 HAS SOUS 2328 HAS SOUPS 2319 WITH SCORE 2326.412
AT ITER 697 NEW BEST:: SOT 13607 SOS 7411 HAS SOPS 7399 HAS SOUS 2328 HAS SOUPS 2319 WITH SCORE 2326.411
AT ITER 707 NEW BEST:: SOT 13606 SOS 7410 HAS SOPS 7398 HAS SOUS 2327 HAS SOUPS 2318 WITH SCORE 2325.41
AT ITER 712 NEW BEST:: SOT 13602 SOS 7406 HAS SOPS 7394 HAS SOUS 2323 HAS SOUPS 2314 WITH SCORE 2321.406
AT ITER 723 NEW BEST:: SOT 13601 SOS 7405 HAS SOPS 7393 HAS SOUS 2321 HAS SOUPS 2312 WITH SCORE 2319.405
AT ITER 729 NEW BEST:: SOT 13599 SOS 7403 HAS SOPS 7391 HAS SOUS 2319 HAS SOUPS 2310 WITH SCORE 2317.403
AT ITER 750 NEW BEST:: SOT 13590 SOS 7376 HAS SOPS 7364 HAS SOUS 2301 HAS SOUPS 2292 WITH SCORE 2299.376
AT ITER 783 NEW BEST:: SOT 13581 SOS 7367 HAS SOPS 7355 HAS SOUS 2294 HAS SOUPS 2285 WITH SCORE 2292.367
AT ITER 786 NEW BEST:: SOT 13578 SOS 7361 HAS SOPS 7349 HAS SOUS 2293 HAS SOUPS 2284 WITH SCORE 2291.361
AT ITER 803 NEW BEST:: SOT 13578 SOS 7355 HAS SOPS 7343 HAS SOUS 2293 HAS SOUPS 2284 WITH SCORE 2291.355
AT ITER 830 NEW BEST:: SOT 13574 SOS 7347 HAS SOPS 7335 HAS SOUS 2289 HAS SOUPS 2280 WITH SCORE 2287.347
AT ITER 853 NEW BEST:: SOT 13554 SOS 7327 HAS SOPS 7315 HAS SOUS 2285 HAS SOUPS 2276 WITH SCORE 2283.327
AT ITER 862 NEW BEST:: SOT 13544 SOS 7287 HAS SOPS 7275 HAS SOUS 2282 HAS SOUPS 2273 WITH SCORE 2280.287
AT ITER 869 NEW BEST:: SOT 13543 SOS 7286 HAS SOPS 7274 HAS SOUS 2281 HAS SOUPS 2272 WITH SCORE 2279.286
AT ITER 881 NEW BEST:: SOT 13546 SOS 7289 HAS SOPS 7277 HAS SOUS 2262 HAS SOUPS 2253 WITH SCORE 2260.289
AT ITER 885 NEW BEST:: SOT 13526 SOS 7249 HAS SOPS 7237 HAS SOUS 2262 HAS SOUPS 2253 WITH SCORE 2260.249
AT ITER 893 NEW BEST:: SOT 13546 SOS 7305 HAS SOPS 7293 HAS SOUS 2258 HAS SOUPS 2249 WITH SCORE 2256.305
AT ITER 902 NEW BEST:: SOT 13545 SOS 7304 HAS SOPS 7292 HAS SOUS 2253 HAS SOUPS 2244 WITH SCORE 2251.304
AT ITER 903 NEW BEST:: SOT 13524 SOS 7252 HAS SOPS 7240 HAS SOUS 2246 HAS SOUPS 2237 WITH SCORE 2244.252
AT ITER 945 NEW BEST:: SOT 13524 SOS 7250 HAS SOPS 7238 HAS SOUS 2245 HAS SOUPS 2236 WITH SCORE 2243.25
AT ITER 961 NEW BEST:: SOT 13522 SOS 7247 HAS SOPS 7235 HAS SOUS 2244 HAS SOUPS 2235 WITH SCORE 2242.247
AT ITER 967 NEW BEST:: SOT 13519 SOS 7244 HAS SOPS 7232 HAS SOUS 2241 HAS SOUPS 2232 WITH SCORE 2239.244
AT ITER 978 NEW BEST:: SOT 13541 SOS 7281 HAS SOPS 7269 HAS SOUS 2236 HAS SOUPS 2227 WITH SCORE 2234.281
AT ITER 1010 NEW BEST:: SOT 13539 SOS 7281 HAS SOPS 7269 HAS SOUS 2232 HAS SOUPS 2223 WITH SCORE 2230.281
AT ITER 1035 NEW BEST:: SOT 13533 SOS 7266 HAS SOPS 7254 HAS SOUS 2220 HAS SOUPS 2211 WITH SCORE 2218.266
AT ITER 1099 NEW BEST:: SOT 13531 SOS 7260 HAS SOPS 7248 HAS SOUS 2214 HAS SOUPS 2205 WITH SCORE 2212.26
AT ITER 1106 NEW BEST:: SOT 13531 SOS 7253 HAS SOPS 7241 HAS SOUS 2207 HAS SOUPS 2198 WITH SCORE 2205.253
AT ITER 1108 NEW BEST:: SOT 13528 SOS 7249 HAS SOPS 7237 HAS SOUS 2203 HAS SOUPS 2194 WITH SCORE 2201.249
AT ITER 1129 NEW BEST:: SOT 13523 SOS 7244 HAS SOPS 7232 HAS SOUS 2201 HAS SOUPS 2192 WITH SCORE 2199.244
AT ITER 1175 NEW BEST:: SOT 13523 SOS 7244 HAS SOPS 7232 HAS SOUS 2184 HAS SOUPS 2175 WITH SCORE 2182.244
AT ITER 1180 NEW BEST:: SOT 13521 SOS 7246 HAS SOPS 7234 HAS SOUS 2178 HAS SOUPS 2169 WITH SCORE 2176.246
AT ITER 1189 NEW BEST:: SOT 13521 SOS 7246 HAS SOPS 7234 HAS SOUS 2176 HAS SOUPS 2167 WITH SCORE 2174.246
AT ITER 1191 NEW BEST:: SOT 13503 SOS 7395 HAS SOPS 7383 HAS SOUS 2170 HAS SOUPS 2161 WITH SCORE 2168.395
AT ITER 1200 NEW BEST:: SOT 13499 SOS 7390 HAS SOPS 7378 HAS SOUS 2167 HAS SOUPS 2158 WITH SCORE 2165.39
AT ITER 1268 NEW BEST:: SOT 13491 SOS 7378 HAS SOPS 7366 HAS SOUS 2159 HAS SOUPS 2150 WITH SCORE 2157.378
AT ITER 1285 NEW BEST:: SOT 13505 SOS 7392 HAS SOPS 7380 HAS SOUS 2158 HAS SOUPS 2149 WITH SCORE 2156.392
AT ITER 1287 NEW BEST:: SOT 13504 SOS 7391 HAS SOPS 7379 HAS SOUS 2156 HAS SOUPS 2147 WITH SCORE 2154.391
AT ITER 1291 NEW BEST:: SOT 13502 SOS 7388 HAS SOPS 7376 HAS SOUS 2155 HAS SOUPS 2146 WITH SCORE 2153.388
AT ITER 1320 NEW BEST:: SOT 13507 SOS 7398 HAS SOPS 7386 HAS SOUS 2152 HAS SOUPS 2143 WITH SCORE 2150.398
AT ITER 1340 NEW BEST:: SOT 13512 SOS 7387 HAS SOPS 7375 HAS SOUS 2151 HAS SOUPS 2142 WITH SCORE 2149.387
AT ITER 1363 NEW BEST:: SOT 13500 SOS 7363 HAS SOPS 7351 HAS SOUS 2151 HAS SOUPS 2142 WITH SCORE 2149.363
AT ITER 1397 NEW BEST:: SOT 13497 SOS 7358 HAS SOPS 7346 HAS SOUS 2149 HAS SOUPS 2140 WITH SCORE 2147.358
AT ITER 1426 NEW BEST:: SOT 13493 SOS 7346 HAS SOPS 7334 HAS SOUS 2148 HAS SOUPS 2139 WITH SCORE 2146.346
AT ITER 1466 NEW BEST:: SOT 13494 SOS 7347 HAS SOPS 7335 HAS SOUS 2146 HAS SOUPS 2137 WITH SCORE 2144.347
AT ITER 1482 NEW BEST:: SOT 13502 SOS 7355 HAS SOPS 7343 HAS SOUS 2144 HAS SOUPS 2135 WITH SCORE 2142.355
AT ITER 1497 NEW BEST:: SOT 13502 SOS 7351 HAS SOPS 7339 HAS SOUS 2144 HAS SOUPS 2135 WITH SCORE 2142.351
AT ITER 1499 NEW BEST:: SOT 13492 SOS 7326 HAS SOPS 7314 HAS SOUS 2135 HAS SOUPS 2126 WITH SCORE 2133.326
AT ITER 1505 NEW BEST:: SOT 13492 SOS 7326 HAS SOPS 7314 HAS SOUS 2133 HAS SOUPS 2124 WITH SCORE 2131.326
AT ITER 1538 NEW BEST:: SOT 13494 SOS 7328 HAS SOPS 7316 HAS SOUS 2131 HAS SOUPS 2122 WITH SCORE 2129.328
AT ITER 1562 NEW BEST:: SOT 13488 SOS 7316 HAS SOPS 7304 HAS SOUS 2131 HAS SOUPS 2122 WITH SCORE 2129.316
AT ITER 1571 NEW BEST:: SOT 13472 SOS 7291 HAS SOPS 7279 HAS SOUS 2118 HAS SOUPS 2109 WITH SCORE 2116.291
AT ITER 1576 NEW BEST:: SOT 13423 SOS 7224 HAS SOPS 7212 HAS SOUS 2108 HAS SOUPS 2099 WITH SCORE 2106.224
AT ITER 1589 NEW BEST:: SOT 13495 SOS 7296 HAS SOPS 7284 HAS SOUS 2082 HAS SOUPS 2073 WITH SCORE 2080.296
AT ITER 1607 NEW BEST:: SOT 13492 SOS 7293 HAS SOPS 7281 HAS SOUS 2079 HAS SOUPS 2070 WITH SCORE 2077.293
AT ITER 1615 NEW BEST:: SOT 13491 SOS 7369 HAS SOPS 7357 HAS SOUS 2076 HAS SOUPS 2067 WITH SCORE 2074.369
AT ITER 1638 NEW BEST:: SOT 13494 SOS 7376 HAS SOPS 7364 HAS SOUS 2073 HAS SOUPS 2064 WITH SCORE 2071.376
AT ITER 1657 NEW BEST:: SOT 13488 SOS 7370 HAS SOPS 7358 HAS SOUS 2072 HAS SOUPS 2063 WITH SCORE 2070.37
AT ITER 1665 NEW BEST:: SOT 13488 SOS 7370 HAS SOPS 7358 HAS SOUS 2068 HAS SOUPS 2059 WITH SCORE 2066.37
AT ITER 1693 NEW BEST:: SOT 13487 SOS 7369 HAS SOPS 7357 HAS SOUS 2066 HAS SOUPS 2057 WITH SCORE 2064.369
AT ITER 1717 NEW BEST:: SOT 13484 SOS 7363 HAS SOPS 7351 HAS SOUS 2061 HAS SOUPS 2052 WITH SCORE 2059.363
AT ITER 1747 NEW BEST:: SOT 13472 SOS 7333 HAS SOPS 7321 HAS SOUS 2055 HAS SOUPS 2046 WITH SCORE 2053.333
AT ITER 1749 NEW BEST:: SOT 13451 SOS 7295 HAS SOPS 7283 HAS SOUS 2051 HAS SOUPS 2042 WITH SCORE 2049.295
AT ITER 1782 NEW BEST:: SOT 13450 SOS 7294 HAS SOPS 7282 HAS SOUS 2050 HAS SOUPS 2041 WITH SCORE 2048.294
AT ITER 1803 NEW BEST:: SOT 13447 SOS 7291 HAS SOPS 7279 HAS SOUS 2041 HAS SOUPS 2032 WITH SCORE 2039.291
AT ITER 1814 NEW BEST:: SOT 13447 SOS 7287 HAS SOPS 7275 HAS SOUS 2040 HAS SOUPS 2031 WITH SCORE 2038.287
AT ITER 1823 NEW BEST:: SOT 13447 SOS 7290 HAS SOPS 7278 HAS SOUS 2037 HAS SOUPS 2028 WITH SCORE 2035.29
AT ITER 1826 NEW BEST:: SOT 13442 SOS 7285 HAS SOPS 7273 HAS SOUS 2030 HAS SOUPS 2021 WITH SCORE 2028.285
AT ITER 1881 NEW BEST:: SOT 13440 SOS 7292 HAS SOPS 7280 HAS SOUS 2029 HAS SOUPS 2020 WITH SCORE 2027.292
AT ITER 1892 NEW BEST:: SOT 13429 SOS 7270 HAS SOPS 7258 HAS SOUS 2023 HAS SOUPS 2014 WITH SCORE 2021.27
AT ITER 1902 NEW BEST:: SOT 13412 SOS 7253 HAS SOPS 7241 HAS SOUS 2023 HAS SOUPS 2014 WITH SCORE 2021.253
AT ITER 1948 NEW BEST:: SOT 13413 SOS 7254 HAS SOPS 7242 HAS SOUS 2006 HAS SOUPS 1997 WITH SCORE 2004.254
AT ITER 1965 NEW BEST:: SOT 13409 SOS 7246 HAS SOPS 7234 HAS SOUS 2006 HAS SOUPS 1997 WITH SCORE 2004.246
AT ITER 1968 NEW BEST:: SOT 13405 SOS 7235 HAS SOPS 7223 HAS SOUS 2003 HAS SOUPS 1994 WITH SCORE 2001.235
AT ITER 1975 NEW BEST:: SOT 13390 SOS 7198 HAS SOPS 7186 HAS SOUS 2002 HAS SOUPS 1993 WITH SCORE 2000.198
AT ITER 1987 NEW BEST:: SOT 13411 SOS 7223 HAS SOPS 7211 HAS SOUS 1998 HAS SOUPS 1989 WITH SCORE 1996.223
AT ITER 2003 NEW BEST:: SOT 13411 SOS 7217 HAS SOPS 7205 HAS SOUS 1992 HAS SOUPS 1983 WITH SCORE 1990.217
AT ITER 2028 NEW BEST:: SOT 13397 SOS 7192 HAS SOPS 7180 HAS SOUS 1991 HAS SOUPS 1982 WITH SCORE 1989.192
AT ITER 2053 NEW BEST:: SOT 13387 SOS 7358 HAS SOPS 7346 HAS SOUS 1981 HAS SOUPS 1972 WITH SCORE 1979.358
AT ITER 2066 NEW BEST:: SOT 13361 SOS 7305 HAS SOPS 7293 HAS SOUS 1967 HAS SOUPS 1958 WITH SCORE 1965.305
AT ITER 2139 NEW BEST:: SOT 13357 SOS 7301 HAS SOPS 7289 HAS SOUS 1966 HAS SOUPS 1957 WITH SCORE 1964.301
AT ITER 2165 NEW BEST:: SOT 13357 SOS 7298 HAS SOPS 7286 HAS SOUS 1963 HAS SOUPS 1954 WITH SCORE 1961.298
AT ITER 2175 NEW BEST:: SOT 13348 SOS 7280 HAS SOPS 7268 HAS SOUS 1963 HAS SOUPS 1954 WITH SCORE 1961.28
AT ITER 2277 NEW BEST:: SOT 13347 SOS 7277 HAS SOPS 7265 HAS SOUS 1962 HAS SOUPS 1953 WITH SCORE 1960.277
AT ITER 2363 NEW BEST:: SOT 13344 SOS 7274 HAS SOPS 7262 HAS SOUS 1960 HAS SOUPS 1951 WITH SCORE 1958.274
AT ITER 2368 NEW BEST:: SOT 13340 SOS 7266 HAS SOPS 7254 HAS SOUS 1957 HAS SOUPS 1948 WITH SCORE 1955.266
AT ITER 2375 NEW BEST:: SOT 13339 SOS 7263 HAS SOPS 7251 HAS SOUS 1955 HAS SOUPS 1946 WITH SCORE 1953.263
AT ITER 2390 NEW BEST:: SOT 13322 SOS 7279 HAS SOPS 7267 HAS SOUS 1948 HAS SOUPS 1939 WITH SCORE 1946.279
AT ITER 2411 NEW BEST:: SOT 13319 SOS 7276 HAS SOPS 7264 HAS SOUS 1930 HAS SOUPS 1921 WITH SCORE 1928.276
AT ITER 2426 NEW BEST:: SOT 13288 SOS 7207 HAS SOPS 7195 HAS SOUS 1923 HAS SOUPS 1914 WITH SCORE 1921.207
AT ITER 2472 NEW BEST:: SOT 13287 SOS 7217 HAS SOPS 7205 HAS SOUS 1922 HAS SOUPS 1913 WITH SCORE 1920.217
AT ITER 2475 NEW BEST:: SOT 13280 SOS 7210 HAS SOPS 7198 HAS SOUS 1915 HAS SOUPS 1906 WITH SCORE 1913.21
AT ITER 2514 NEW BEST:: SOT 13280 SOS 7210 HAS SOPS 7198 HAS SOUS 1912 HAS SOUPS 1903 WITH SCORE 1910.21
AT ITER 2517 NEW BEST:: SOT 13275 SOS 7204 HAS SOPS 7192 HAS SOUS 1911 HAS SOUPS 1902 WITH SCORE 1909.204
AT ITER 2532 NEW BEST:: SOT 13270 SOS 7199 HAS SOPS 7187 HAS SOUS 1907 HAS SOUPS 1898 WITH SCORE 1905.199
AT ITER 2547 NEW BEST:: SOT 13266 SOS 7195 HAS SOPS 7183 HAS SOUS 1903 HAS SOUPS 1894 WITH SCORE 1901.195
AT ITER 2552 NEW BEST:: SOT 13263 SOS 7190 HAS SOPS 7178 HAS SOUS 1901 HAS SOUPS 1892 WITH SCORE 1899.19
AT ITER 2565 NEW BEST:: SOT 13260 SOS 7185 HAS SOPS 7173 HAS SOUS 1899 HAS SOUPS 1890 WITH SCORE 1897.185
AT ITER 2621 NEW BEST:: SOT 13257 SOS 7182 HAS SOPS 7170 HAS SOUS 1895 HAS SOUPS 1886 WITH SCORE 1893.182
AT ITER 2638 NEW BEST:: SOT 13251 SOS 7176 HAS SOPS 7164 HAS SOUS 1889 HAS SOUPS 1880 WITH SCORE 1887.176
AT ITER 2656 NEW BEST:: SOT 13249 SOS 7172 HAS SOPS 7160 HAS SOUS 1885 HAS SOUPS 1876 WITH SCORE 1883.172
AT ITER 2680 NEW BEST:: SOT 13246 SOS 7160 HAS SOPS 7148 HAS SOUS 1881 HAS SOUPS 1872 WITH SCORE 1879.16
AT ITER 2722 NEW BEST:: SOT 13247 SOS 7161 HAS SOPS 7149 HAS SOUS 1877 HAS SOUPS 1868 WITH SCORE 1875.161
AT ITER 2724 NEW BEST:: SOT 13242 SOS 7156 HAS SOPS 7144 HAS SOUS 1867 HAS SOUPS 1858 WITH SCORE 1865.156
AT ITER 2732 NEW BEST:: SOT 13245 SOS 7162 HAS SOPS 7150 HAS SOUS 1864 HAS SOUPS 1855 WITH SCORE 1862.162
AT ITER 2738 NEW BEST:: SOT 13245 SOS 7162 HAS SOPS 7150 HAS SOUS 1858 HAS SOUPS 1849 WITH SCORE 1856.162
AT ITER 2756 NEW BEST:: SOT 13239 SOS 7150 HAS SOPS 7138 HAS SOUS 1855 HAS SOUPS 1846 WITH SCORE 1853.15
AT ITER 2800 NEW BEST:: SOT 13238 SOS 7145 HAS SOPS 7133 HAS SOUS 1852 HAS SOUPS 1843 WITH SCORE 1850.145
AT ITER 2892 NEW BEST:: SOT 13236 SOS 7144 HAS SOPS 7132 HAS SOUS 1851 HAS SOUPS 1842 WITH SCORE 1849.144
AT ITER 2932 NEW BEST:: SOT 13238 SOS 7146 HAS SOPS 7134 HAS SOUS 1849 HAS SOUPS 1840 WITH SCORE 1847.146
AT ITER 2935 NEW BEST:: SOT 13228 SOS 7140 HAS SOPS 7128 HAS SOUS 1846 HAS SOUPS 1837 WITH SCORE 1844.14
AT ITER 2972 NEW BEST:: SOT 13229 SOS 7141 HAS SOPS 7129 HAS SOUS 1845 HAS SOUPS 1836 WITH SCORE 1843.141
AT ITER 3059 NEW BEST:: SOT 13229 SOS 7141 HAS SOPS 7129 HAS SOUS 1844 HAS SOUPS 1835 WITH SCORE 1842.141
AT ITER 3071 NEW BEST:: SOT 13229 SOS 7089 HAS SOPS 7077 HAS SOUS 1841 HAS SOUPS 1832 WITH SCORE 1839.089
AT ITER 3078 NEW BEST:: SOT 13229 SOS 7083 HAS SOPS 7071 HAS SOUS 1838 HAS SOUPS 1829 WITH SCORE 1836.083
AT ITER 3117 NEW BEST:: SOT 13225 SOS 7085 HAS SOPS 7073 HAS SOUS 1833 HAS SOUPS 1824 WITH SCORE 1831.085
AT ITER 3148 NEW BEST:: SOT 13230 SOS 7071 HAS SOPS 7059 HAS SOUS 1833 HAS SOUPS 1824 WITH SCORE 1831.071
AT ITER 3288 NEW BEST:: SOT 13234 SOS 7085 HAS SOPS 7073 HAS SOUS 1830 HAS SOUPS 1821 WITH SCORE 1828.085
AT ITER 3314 NEW BEST:: SOT 13231 SOS 7077 HAS SOPS 7065 HAS SOUS 1825 HAS SOUPS 1816 WITH SCORE 1823.077
AT ITER 3409 NEW BEST:: SOT 13230 SOS 7084 HAS SOPS 7072 HAS SOUS 1820 HAS SOUPS 1811 WITH SCORE 1818.084
AT ITER 3430 NEW BEST:: SOT 13223 SOS 7073 HAS SOPS 7061 HAS SOUS 1818 HAS SOUPS 1809 WITH SCORE 1816.073
AT ITER 3431 NEW BEST:: SOT 13221 SOS 7071 HAS SOPS 7059 HAS SOUS 1818 HAS SOUPS 1809 WITH SCORE 1816.071
AT ITER 3464 NEW BEST:: SOT 13219 SOS 7069 HAS SOPS 7057 HAS SOUS 1818 HAS SOUPS 1809 WITH SCORE 1816.069
AT ITER 3465 NEW BEST:: SOT 13217 SOS 7067 HAS SOPS 7055 HAS SOUS 1817 HAS SOUPS 1808 WITH SCORE 1815.067
AT ITER 3481 NEW BEST:: SOT 13215 SOS 7261 HAS SOPS 7249 HAS SOUS 1816 HAS SOUPS 1807 WITH SCORE 1814.261
AT ITER 3488 NEW BEST:: SOT 13213 SOS 7257 HAS SOPS 7245 HAS SOUS 1815 HAS SOUPS 1806 WITH SCORE 1813.257
AT ITER 3505 NEW BEST:: SOT 13209 SOS 7251 HAS SOPS 7239 HAS SOUS 1809 HAS SOUPS 1800 WITH SCORE 1807.251
AT ITER 3548 NEW BEST:: SOT 13198 SOS 7240 HAS SOPS 7228 HAS SOUS 1799 HAS SOUPS 1790 WITH SCORE 1797.24
AT ITER 3627 NEW BEST:: SOT 13186 SOS 7220 HAS SOPS 7208 HAS SOUS 1789 HAS SOUPS 1780 WITH SCORE 1787.22
AT ITER 3637 NEW BEST:: SOT 13181 SOS 7210 HAS SOPS 7198 HAS SOUS 1788 HAS SOUPS 1779 WITH SCORE 1786.21
AT ITER 3661 NEW BEST:: SOT 13177 SOS 7206 HAS SOPS 7194 HAS SOUS 1784 HAS SOUPS 1775 WITH SCORE 1782.206
AT ITER 3664 NEW BEST:: SOT 13176 SOS 7205 HAS SOPS 7193 HAS SOUS 1784 HAS SOUPS 1775 WITH SCORE 1782.205
AT ITER 3665 NEW BEST:: SOT 13173 SOS 7200 HAS SOPS 7188 HAS SOUS 1781 HAS SOUPS 1772 WITH SCORE 1779.2
AT ITER 3673 NEW BEST:: SOT 13173 SOS 7200 HAS SOPS 7188 HAS SOUS 1779 HAS SOUPS 1770 WITH SCORE 1777.2
AT ITER 3771 NEW BEST:: SOT 13174 SOS 7201 HAS SOPS 7189 HAS SOUS 1778 HAS SOUPS 1769 WITH SCORE 1776.201
AT ITER 3777 NEW BEST:: SOT 13176 SOS 7203 HAS SOPS 7191 HAS SOUS 1776 HAS SOUPS 1767 WITH SCORE 1774.203
AT ITER 3834 NEW BEST:: SOT 13171 SOS 7185 HAS SOPS 7173 HAS SOUS 1776 HAS SOUPS 1767 WITH SCORE 1774.185
AT ITER 3868 NEW BEST:: SOT 13168 SOS 7182 HAS SOPS 7170 HAS SOUS 1774 HAS SOUPS 1765 WITH SCORE 1772.182
AT ITER 3884 NEW BEST:: SOT 13167 SOS 7181 HAS SOPS 7169 HAS SOUS 1773 HAS SOUPS 1764 WITH SCORE 1771.181
AT ITER 3908 NEW BEST:: SOT 13159 SOS 7173 HAS SOPS 7161 HAS SOUS 1765 HAS SOUPS 1756 WITH SCORE 1763.173
AT ITER 3929 NEW BEST:: SOT 13158 SOS 7172 HAS SOPS 7160 HAS SOUS 1763 HAS SOUPS 1754 WITH SCORE 1761.172
AT ITER 3977 NEW BEST:: SOT 13157 SOS 7171 HAS SOPS 7159 HAS SOUS 1759 HAS SOUPS 1750 WITH SCORE 1757.171
AT ITER 3987 NEW BEST:: SOT 13157 SOS 7171 HAS SOPS 7159 HAS SOUS 1758 HAS SOUPS 1749 WITH SCORE 1756.171
AT ITER 3999 NEW BEST:: SOT 13157 SOS 7167 HAS SOPS 7155 HAS SOUS 1756 HAS SOUPS 1747 WITH SCORE 1754.167
AT ITER 4173 NEW BEST:: SOT 13156 SOS 7166 HAS SOPS 7154 HAS SOUS 1756 HAS SOUPS 1747 WITH SCORE 1754.166
AT ITER 4187 NEW BEST:: SOT 13155 SOS 7158 HAS SOPS 7146 HAS SOUS 1756 HAS SOUPS 1747 WITH SCORE 1754.158
AT ITER 4213 NEW BEST:: SOT 13153 SOS 7156 HAS SOPS 7144 HAS SOUS 1755 HAS SOUPS 1746 WITH SCORE 1753.156
AT ITER 4323 NEW BEST:: SOT 13153 SOS 7156 HAS SOPS 7144 HAS SOUS 1747 HAS SOUPS 1738 WITH SCORE 1745.156
AT ITER 4324 NEW BEST:: SOT 13149 SOS 7152 HAS SOPS 7140 HAS SOUS 1747 HAS SOUPS 1738 WITH SCORE 1745.152
AT ITER 4480 NEW BEST:: SOT 13149 SOS 7152 HAS SOPS 7140 HAS SOUS 1743 HAS SOUPS 1734 WITH SCORE 1741.152
AT ITER 4506 NEW BEST:: SOT 13149 SOS 7152 HAS SOPS 7140 HAS SOUS 1741 HAS SOUPS 1732 WITH SCORE 1739.152
AT ITER 4562 NEW BEST:: SOT 13143 SOS 7146 HAS SOPS 7134 HAS SOUS 1735 HAS SOUPS 1726 WITH SCORE 1733.146
AT ITER 4586 NEW BEST:: SOT 13140 SOS 7142 HAS SOPS 7130 HAS SOUS 1735 HAS SOUPS 1726 WITH SCORE 1733.142
AT ITER 4754 NEW BEST:: SOT 13139 SOS 7140 HAS SOPS 7128 HAS SOUS 1735 HAS SOUPS 1726 WITH SCORE 1733.14
AT ITER 4761 NEW BEST:: SOT 13136 SOS 7137 HAS SOPS 7125 HAS SOUS 1734 HAS SOUPS 1725 WITH SCORE 1732.137
AT ITER 4823 NEW BEST:: SOT 13136 SOS 7135 HAS SOPS 7123 HAS SOUS 1733 HAS SOUPS 1724 WITH SCORE 1731.135
AT ITER 4945 NEW BEST:: SOT 13132 SOS 7127 HAS SOPS 7115 HAS SOUS 1732 HAS SOUPS 1723 WITH SCORE 1730.127
AT ITER 4992 NEW BEST:: SOT 13116 SOS 7103 HAS SOPS 7091 HAS SOUS 1724 HAS SOUPS 1715 WITH SCORE 1722.103
AT ITER 5138 NEW BEST:: SOT 13117 SOS 7104 HAS SOPS 7092 HAS SOUS 1722 HAS SOUPS 1713 WITH SCORE 1720.104
AT ITER 5183 NEW BEST:: SOT 13138 SOS 7426 HAS SOPS 7414 HAS SOUS 1721 HAS SOUPS 1712 WITH SCORE 1719.426
AT ITER 5185 NEW BEST:: SOT 13137 SOS 7424 HAS SOPS 7412 HAS SOUS 1721 HAS SOUPS 1712 WITH SCORE 1719.424
AT ITER 5192 NEW BEST:: SOT 13135 SOS 7422 HAS SOPS 7410 HAS SOUS 1721 HAS SOUPS 1712 WITH SCORE 1719.422
AT ITER 5195 NEW BEST:: SOT 13134 SOS 7421 HAS SOPS 7409 HAS SOUS 1721 HAS SOUPS 1712 WITH SCORE 1719.421
AT ITER 5275 NEW BEST:: SOT 13131 SOS 7418 HAS SOPS 7406 HAS SOUS 1717 HAS SOUPS 1708 WITH SCORE 1715.418
AT ITER 5279 NEW BEST:: SOT 13133 SOS 7420 HAS SOPS 7408 HAS SOUS 1715 HAS SOUPS 1706 WITH SCORE 1713.42
AT ITER 5298 NEW BEST:: SOT 13135 SOS 7424 HAS SOPS 7412 HAS SOUS 1711 HAS SOUPS 1702 WITH SCORE 1709.424
AT ITER 5332 NEW BEST:: SOT 13129 SOS 7418 HAS SOPS 7406 HAS SOUS 1701 HAS SOUPS 1692 WITH SCORE 1699.418
AT ITER 5366 NEW BEST:: SOT 13129 SOS 7418 HAS SOPS 7406 HAS SOUS 1700 HAS SOUPS 1691 WITH SCORE 1698.418
AT ITER 5387 NEW BEST:: SOT 13125 SOS 7412 HAS SOPS 7400 HAS SOUS 1693 HAS SOUPS 1684 WITH SCORE 1691.412
AT ITER 5423 NEW BEST:: SOT 13125 SOS 7412 HAS SOPS 7400 HAS SOUS 1691 HAS SOUPS 1682 WITH SCORE 1689.412
AT ITER 5489 NEW BEST:: SOT 13127 SOS 7416 HAS SOPS 7404 HAS SOUS 1689 HAS SOUPS 1680 WITH SCORE 1687.416
AT ITER 5513 NEW BEST:: SOT 13125 SOS 7414 HAS SOPS 7402 HAS SOUS 1687 HAS SOUPS 1678 WITH SCORE 1685.414
AT ITER 5559 NEW BEST:: SOT 13123 SOS 7410 HAS SOPS 7398 HAS SOUS 1682 HAS SOUPS 1673 WITH SCORE 1680.41
AT ITER 5574 NEW BEST:: SOT 13122 SOS 7408 HAS SOPS 7396 HAS SOUS 1680 HAS SOUPS 1671 WITH SCORE 1678.408
AT ITER 5632 NEW BEST:: SOT 13117 SOS 7397 HAS SOPS 7385 HAS SOUS 1675 HAS SOUPS 1666 WITH SCORE 1673.397
AT ITER 5651 NEW BEST:: SOT 13115 SOS 7395 HAS SOPS 7383 HAS SOUS 1673 HAS SOUPS 1664 WITH SCORE 1671.395
AT ITER 5747 NEW BEST:: SOT 13112 SOS 7392 HAS SOPS 7380 HAS SOUS 1673 HAS SOUPS 1664 WITH SCORE 1671.392
AT ITER 5858 NEW BEST:: SOT 13109 SOS 7389 HAS SOPS 7377 HAS SOUS 1669 HAS SOUPS 1660 WITH SCORE 1667.389
AT ITER 5995 NEW BEST:: SOT 13109 SOS 7391 HAS SOPS 7379 HAS SOUS 1666 HAS SOUPS 1657 WITH SCORE 1664.391
AT ITER 6209 NEW BEST:: SOT 13109 SOS 7391 HAS SOPS 7379 HAS SOUS 1665 HAS SOUPS 1656 WITH SCORE 1663.391
AT ITER 6337 NEW BEST:: SOT 13109 SOS 7391 HAS SOPS 7379 HAS SOUS 1663 HAS SOUPS 1654 WITH SCORE 1661.391
AT ITER 6361 NEW BEST:: SOT 13109 SOS 7391 HAS SOPS 7379 HAS SOUS 1662 HAS SOUPS 1653 WITH SCORE 1660.391
AT ITER 6469 NEW BEST:: SOT 13105 SOS 7387 HAS SOPS 7375 HAS SOUS 1655 HAS SOUPS 1646 WITH SCORE 1653.387
AT ITER 6477 NEW BEST:: SOT 13103 SOS 7382 HAS SOPS 7370 HAS SOUS 1652 HAS SOUPS 1643 WITH SCORE 1650.382
AT ITER 6574 NEW BEST:: SOT 13100 SOS 7379 HAS SOPS 7367 HAS SOUS 1651 HAS SOUPS 1642 WITH SCORE 1649.379
AT ITER 6608 NEW BEST:: SOT 13099 SOS 7377 HAS SOPS 7365 HAS SOUS 1650 HAS SOUPS 1641 WITH SCORE 1648.377
AT ITER 7139 NEW BEST:: SOT 13090 SOS 7429 HAS SOPS 7417 HAS SOUS 1649 HAS SOUPS 1640 WITH SCORE 1647.429
AT ITER 7155 NEW BEST:: SOT 13089 SOS 7426 HAS SOPS 7414 HAS SOUS 1648 HAS SOUPS 1639 WITH SCORE 1646.426
AT ITER 7230 NEW BEST:: SOT 13083 SOS 7420 HAS SOPS 7408 HAS SOUS 1646 HAS SOUPS 1637 WITH SCORE 1644.42
AT ITER 7415 NEW BEST:: SOT 13082 SOS 7418 HAS SOPS 7406 HAS SOUS 1646 HAS SOUPS 1637 WITH SCORE 1644.418
AT ITER 7494 NEW BEST:: SOT 13081 SOS 7417 HAS SOPS 7405 HAS SOUS 1645 HAS SOUPS 1636 WITH SCORE 1643.417
AT ITER 7512 NEW BEST:: SOT 13071 SOS 7401 HAS SOPS 7389 HAS SOUS 1640 HAS SOUPS 1631 WITH SCORE 1638.401
AT ITER 8081 NEW BEST:: SOT 13071 SOS 7401 HAS SOPS 7389 HAS SOUS 1637 HAS SOUPS 1628 WITH SCORE 1635.401
AT ITER 8186 NEW BEST:: SOT 13069 SOS 7361 HAS SOPS 7349 HAS SOUS 1635 HAS SOUPS 1626 WITH SCORE 1633.361
AT ITER 8420 NEW BEST:: SOT 13068 SOS 7360 HAS SOPS 7348 HAS SOUS 1635 HAS SOUPS 1626 WITH SCORE 1633.36
AT ITER 8533 NEW BEST:: SOT 13069 SOS 7341 HAS SOPS 7329 HAS SOUS 1635 HAS SOUPS 1626 WITH SCORE 1633.341
AT ITER 8642 NEW BEST:: SOT 13068 SOS 7339 HAS SOPS 7327 HAS SOUS 1635 HAS SOUPS 1626 WITH SCORE 1633.339
AT ITER 8856 NEW BEST:: SOT 13069 SOS 7338 HAS SOPS 7326 HAS SOUS 1634 HAS SOUPS 1625 WITH SCORE 1632.338
AT ITER 8912 NEW BEST:: SOT 13067 SOS 7336 HAS SOPS 7324 HAS SOUS 1634 HAS SOUPS 1625 WITH SCORE 1632.336
AT ITER 9006 NEW BEST:: SOT 13065 SOS 7330 HAS SOPS 7318 HAS SOUS 1633 HAS SOUPS 1624 WITH SCORE 1631.33
AT ITER 9044 NEW BEST:: SOT 13065 SOS 7330 HAS SOPS 7318 HAS SOUS 1630 HAS SOUPS 1621 WITH SCORE 1628.33
AT ITER 9240 NEW BEST:: SOT 13061 SOS 7322 HAS SOPS 7310 HAS SOUS 1630 HAS SOUPS 1621 WITH SCORE 1628.322
AT ITER 9376 NEW BEST:: SOT 13060 SOS 7321 HAS SOPS 7309 HAS SOUS 1629 HAS SOUPS 1620 WITH SCORE 1627.321
AT ITER 9802 NEW BEST:: SOT 13059 SOS 7320 HAS SOPS 7308 HAS SOUS 1626 HAS SOUPS 1617 WITH SCORE 1624.32
AT ITER 9863 NEW BEST:: SOT 13058 SOS 7319 HAS SOPS 7307 HAS SOUS 1625 HAS SOUPS 1616 WITH SCORE 1623.319
AT ITER 9900 NEW BEST:: SOT 13058 SOS 7319 HAS SOPS 7307 HAS SOUS 1623 HAS SOUPS 1614 WITH SCORE 1621.319
STATE_SPACE STATES 1837836 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19897440 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678492494792

--------------------
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="HealthRecord-PT-01"
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 HealthRecord-PT-01, 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 r195-smll-167840342100240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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