Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922808301000.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Echo-PT-d05r03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922808301000
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 3.5K Mar 31 14:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 14:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 31 14:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 31 14:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 31 14:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 31 14:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 31 14:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 31 14:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 31 14:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 31 14:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.1M Mar 24 05:37 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 1589368830076

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Echo (PT), instance d05r03
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 3717 places, 3222 transitions, 28404 arcs.
AT ITER 0 NEW BEST:: SOT 7794838 SOS 3473579 HAS SOPS 3473579 HAS SOUS 2752412 HAS SOUPS 2752412 WITH SCORE 2755885.579
AT ITER 79 NEW BEST:: SOT 7793276 SOS 3475686 HAS SOPS 3475686 HAS SOUS 2751632 HAS SOUPS 2751632 WITH SCORE 2755107.686
AT ITER 145 NEW BEST:: SOT 7793276 SOS 3475686 HAS SOPS 3475686 HAS SOUS 2751628 HAS SOUPS 2751628 WITH SCORE 2755103.686
AT ITER 155 NEW BEST:: SOT 7793276 SOS 3475686 HAS SOPS 3475686 HAS SOUS 2751620 HAS SOUPS 2751620 WITH SCORE 2755095.686
AT ITER 221 NEW BEST:: SOT 7793276 SOS 3477687 HAS SOPS 3477687 HAS SOUS 2751335 HAS SOUPS 2751335 WITH SCORE 2754812.687
AT ITER 235 NEW BEST:: SOT 7793102 SOS 3478251 HAS SOPS 3478251 HAS SOUS 2750871 HAS SOUPS 2750871 WITH SCORE 2754349.251
AT ITER 330 NEW BEST:: SOT 7791291 SOS 3480328 HAS SOPS 3480328 HAS SOUS 2749680 HAS SOUPS 2749680 WITH SCORE 2753160.328
AT ITER 359 NEW BEST:: SOT 7791291 SOS 3480328 HAS SOPS 3480328 HAS SOUS 2749676 HAS SOUPS 2749676 WITH SCORE 2753156.328
AT ITER 397 NEW BEST:: SOT 7791291 SOS 3480328 HAS SOPS 3480328 HAS SOUS 2749664 HAS SOUPS 2749664 WITH SCORE 2753144.328
AT ITER 422 NEW BEST:: SOT 7790809 SOS 3481394 HAS SOPS 3481394 HAS SOUS 2749520 HAS SOUPS 2749520 WITH SCORE 2753001.394
AT ITER 444 NEW BEST:: SOT 7790809 SOS 3481394 HAS SOPS 3481394 HAS SOUS 2749518 HAS SOUPS 2749518 WITH SCORE 2752999.394
AT ITER 466 NEW BEST:: SOT 7790694 SOS 3481405 HAS SOPS 3481405 HAS SOUS 2749507 HAS SOUPS 2749507 WITH SCORE 2752988.405
AT ITER 602 NEW BEST:: SOT 7790694 SOS 3481405 HAS SOPS 3481405 HAS SOUS 2749497 HAS SOUPS 2749497 WITH SCORE 2752978.405
AT ITER 610 NEW BEST:: SOT 7790694 SOS 3481405 HAS SOPS 3481405 HAS SOUS 2749493 HAS SOUPS 2749493 WITH SCORE 2752974.405
AT ITER 662 NEW BEST:: SOT 7789750 SOS 3481857 HAS SOPS 3481857 HAS SOUS 2748755 HAS SOUPS 2748755 WITH SCORE 2752236.857
AT ITER 792 NEW BEST:: SOT 7789750 SOS 3481857 HAS SOPS 3481857 HAS SOUS 2748747 HAS SOUPS 2748747 WITH SCORE 2752228.857
AT ITER 815 NEW BEST:: SOT 7789750 SOS 3481857 HAS SOPS 3481857 HAS SOUS 2748737 HAS SOUPS 2748737 WITH SCORE 2752218.857
AT ITER 823 NEW BEST:: SOT 7789624 SOS 3482442 HAS SOPS 3482442 HAS SOUS 2748505 HAS SOUPS 2748505 WITH SCORE 2751987.442
AT ITER 846 NEW BEST:: SOT 7789624 SOS 3482442 HAS SOPS 3482442 HAS SOUS 2748499 HAS SOUPS 2748499 WITH SCORE 2751981.442
AT ITER 860 NEW BEST:: SOT 7789624 SOS 3482442 HAS SOPS 3482442 HAS SOUS 2748497 HAS SOUPS 2748497 WITH SCORE 2751979.442
AT ITER 920 NEW BEST:: SOT 7789624 SOS 3483252 HAS SOPS 3483252 HAS SOUS 2748342 HAS SOUPS 2748342 WITH SCORE 2751825.252
AT ITER 993 NEW BEST:: SOT 7789624 SOS 3483252 HAS SOPS 3483252 HAS SOUS 2748340 HAS SOUPS 2748340 WITH SCORE 2751823.252
AT ITER 1047 NEW BEST:: SOT 7789624 SOS 3483252 HAS SOPS 3483252 HAS SOUS 2748334 HAS SOUPS 2748334 WITH SCORE 2751817.252
AT ITER 1106 NEW BEST:: SOT 7789624 SOS 3483252 HAS SOPS 3483252 HAS SOUS 2748326 HAS SOUPS 2748326 WITH SCORE 2751809.252
AT ITER 1144 NEW BEST:: SOT 7789078 SOS 3482786 HAS SOPS 3482786 HAS SOUS 2747860 HAS SOUPS 2747860 WITH SCORE 2751342.786
AT ITER 1227 NEW BEST:: SOT 7789078 SOS 3482786 HAS SOPS 3482786 HAS SOUS 2747854 HAS SOUPS 2747854 WITH SCORE 2751336.786
AT ITER 1268 NEW BEST:: SOT 7789124 SOS 3482886 HAS SOPS 3482886 HAS SOUS 2747463 HAS SOUPS 2747463 WITH SCORE 2750945.886
AT ITER 1300 NEW BEST:: SOT 7789304 SOS 3485629 HAS SOPS 3485629 HAS SOUS 2747251 HAS SOUPS 2747251 WITH SCORE 2750736.629
AT ITER 1336 NEW BEST:: SOT 7787349 SOS 3487519 HAS SOPS 3487519 HAS SOUS 2746038 HAS SOUPS 2746038 WITH SCORE 2749525.519
AT ITER 1355 NEW BEST:: SOT 7787349 SOS 3487519 HAS SOPS 3487519 HAS SOUS 2746036 HAS SOUPS 2746036 WITH SCORE 2749523.519
AT ITER 1385 NEW BEST:: SOT 7787349 SOS 3487519 HAS SOPS 3487519 HAS SOUS 2746026 HAS SOUPS 2746026 WITH SCORE 2749513.519
AT ITER 1480 NEW BEST:: SOT 7787216 SOS 3487417 HAS SOPS 3487417 HAS SOUS 2745924 HAS SOUPS 2745924 WITH SCORE 2749411.417
AT ITER 1505 NEW BEST:: SOT 7787216 SOS 3487417 HAS SOPS 3487417 HAS SOUS 2745914 HAS SOUPS 2745914 WITH SCORE 2749401.417
AT ITER 1572 NEW BEST:: SOT 7787214 SOS 3487465 HAS SOPS 3487465 HAS SOUS 2745913 HAS SOUPS 2745913 WITH SCORE 2749400.465
AT ITER 1605 NEW BEST:: SOT 7787214 SOS 3487465 HAS SOPS 3487465 HAS SOUS 2745903 HAS SOUPS 2745903 WITH SCORE 2749390.465
AT ITER 1656 NEW BEST:: SOT 7787214 SOS 3487465 HAS SOPS 3487465 HAS SOUS 2745897 HAS SOUPS 2745897 WITH SCORE 2749384.465
AT ITER 1674 NEW BEST:: SOT 7787214 SOS 3487465 HAS SOPS 3487465 HAS SOUS 2745787 HAS SOUPS 2745787 WITH SCORE 2749274.465
AT ITER 1676 NEW BEST:: SOT 7787214 SOS 3487465 HAS SOPS 3487465 HAS SOUS 2745291 HAS SOUPS 2745291 WITH SCORE 2748778.465
AT ITER 1688 NEW BEST:: SOT 7786806 SOS 3487435 HAS SOPS 3487435 HAS SOUS 2744983 HAS SOUPS 2744983 WITH SCORE 2748470.435
AT ITER 1692 NEW BEST:: SOT 7784337 SOS 3490492 HAS SOPS 3490492 HAS SOUS 2743844 HAS SOUPS 2743844 WITH SCORE 2747334.492
AT ITER 1720 NEW BEST:: SOT 7782845 SOS 3489000 HAS SOPS 3489000 HAS SOUS 2742342 HAS SOUPS 2742342 WITH SCORE 2745831.0
AT ITER 1763 NEW BEST:: SOT 7780616 SOS 3493097 HAS SOPS 3493097 HAS SOUS 2741539 HAS SOUPS 2741539 WITH SCORE 2745032.097
AT ITER 1774 NEW BEST:: SOT 7780616 SOS 3493097 HAS SOPS 3493097 HAS SOUS 2741531 HAS SOUPS 2741531 WITH SCORE 2745024.097
AT ITER 1803 NEW BEST:: SOT 7780190 SOS 3493826 HAS SOPS 3493826 HAS SOUS 2741284 HAS SOUPS 2741284 WITH SCORE 2744777.826
AT ITER 1852 NEW BEST:: SOT 7780185 SOS 3494512 HAS SOPS 3494512 HAS SOUS 2740983 HAS SOUPS 2740983 WITH SCORE 2744477.512
AT ITER 1853 NEW BEST:: SOT 7780185 SOS 3494512 HAS SOPS 3494512 HAS SOUS 2740977 HAS SOUPS 2740977 WITH SCORE 2744471.512
AT ITER 1859 NEW BEST:: SOT 7777639 SOS 3498060 HAS SOPS 3498060 HAS SOUS 2739997 HAS SOUPS 2739997 WITH SCORE 2743495.06
AT ITER 1926 NEW BEST:: SOT 7777639 SOS 3498378 HAS SOPS 3498378 HAS SOUS 2739944 HAS SOUPS 2739944 WITH SCORE 2743442.378
AT ITER 1945 NEW BEST:: SOT 7777639 SOS 3498378 HAS SOPS 3498378 HAS SOUS 2739932 HAS SOUPS 2739932 WITH SCORE 2743430.378
AT ITER 1982 NEW BEST:: SOT 7777639 SOS 3500205 HAS SOPS 3500205 HAS SOUS 2739671 HAS SOUPS 2739671 WITH SCORE 2743171.205
AT ITER 1984 NEW BEST:: SOT 7777635 SOS 3501636 HAS SOPS 3501636 HAS SOUS 2739408 HAS SOUPS 2739408 WITH SCORE 2742909.636
AT ITER 2040 NEW BEST:: SOT 7777635 SOS 3501636 HAS SOPS 3501636 HAS SOUS 2739384 HAS SOUPS 2739384 WITH SCORE 2742885.636
AT ITER 2149 NEW BEST:: SOT 7777626 SOS 3501627 HAS SOPS 3501627 HAS SOUS 2739373 HAS SOUPS 2739373 WITH SCORE 2742874.627
AT ITER 2229 NEW BEST:: SOT 7777626 SOS 3501627 HAS SOPS 3501627 HAS SOUS 2739369 HAS SOUPS 2739369 WITH SCORE 2742870.627
AT ITER 2259 NEW BEST:: SOT 7777221 SOS 3502170 HAS SOPS 3502170 HAS SOUS 2738855 HAS SOUPS 2738855 WITH SCORE 2742357.17
AT ITER 2264 NEW BEST:: SOT 7775716 SOS 3502170 HAS SOPS 3502170 HAS SOUS 2736948 HAS SOUPS 2736948 WITH SCORE 2740450.17
AT ITER 2306 NEW BEST:: SOT 7773826 SOS 3505404 HAS SOPS 3505404 HAS SOUS 2735978 HAS SOUPS 2735978 WITH SCORE 2739483.404
AT ITER 2339 NEW BEST:: SOT 7773836 SOS 3505411 HAS SOPS 3505411 HAS SOUS 2735972 HAS SOUPS 2735972 WITH SCORE 2739477.411
AT ITER 2426 NEW BEST:: SOT 7773836 SOS 3505411 HAS SOPS 3505411 HAS SOUS 2735970 HAS SOUPS 2735970 WITH SCORE 2739475.411
AT ITER 2457 NEW BEST:: SOT 7771544 SOS 3505957 HAS SOPS 3505957 HAS SOUS 2734229 HAS SOUPS 2734229 WITH SCORE 2737734.957
AT ITER 2483 NEW BEST:: SOT 7770738 SOS 3506999 HAS SOPS 3506999 HAS SOUS 2733766 HAS SOUPS 2733766 WITH SCORE 2737272.999
AT ITER 2515 NEW BEST:: SOT 7770738 SOS 3506999 HAS SOPS 3506999 HAS SOUS 2733762 HAS SOUPS 2733762 WITH SCORE 2737268.999
AT ITER 2517 NEW BEST:: SOT 7770738 SOS 3506999 HAS SOPS 3506999 HAS SOUS 2733416 HAS SOUPS 2733416 WITH SCORE 2736922.999
AT ITER 2574 NEW BEST:: SOT 7770738 SOS 3506999 HAS SOPS 3506999 HAS SOUS 2733410 HAS SOUPS 2733410 WITH SCORE 2736916.999
AT ITER 2586 NEW BEST:: SOT 7770703 SOS 3507328 HAS SOPS 3507328 HAS SOUS 2733284 HAS SOUPS 2733284 WITH SCORE 2736791.328
AT ITER 2621 NEW BEST:: SOT 7770703 SOS 3507328 HAS SOPS 3507328 HAS SOUS 2733278 HAS SOUPS 2733278 WITH SCORE 2736785.328
AT ITER 2641 NEW BEST:: SOT 7770703 SOS 3507328 HAS SOPS 3507328 HAS SOUS 2733274 HAS SOUPS 2733274 WITH SCORE 2736781.328
AT ITER 2732 NEW BEST:: SOT 7770703 SOS 3507328 HAS SOPS 3507328 HAS SOUS 2733268 HAS SOUPS 2733268 WITH SCORE 2736775.328
AT ITER 2754 NEW BEST:: SOT 7769205 SOS 3506020 HAS SOPS 3506020 HAS SOUS 2732580 HAS SOUPS 2732580 WITH SCORE 2736086.02
AT ITER 2758 NEW BEST:: SOT 7769205 SOS 3505776 HAS SOPS 3505776 HAS SOUS 2732580 HAS SOUPS 2732580 WITH SCORE 2736085.776
AT ITER 2762 NEW BEST:: SOT 7768892 SOS 3506485 HAS SOPS 3506485 HAS SOUS 2732358 HAS SOUPS 2732358 WITH SCORE 2735864.485
AT ITER 2836 NEW BEST:: SOT 7767249 SOS 3509310 HAS SOPS 3509310 HAS SOUS 2731413 HAS SOUPS 2731413 WITH SCORE 2734922.31
AT ITER 2893 NEW BEST:: SOT 7766984 SOS 3509045 HAS SOPS 3509045 HAS SOUS 2731190 HAS SOUPS 2731190 WITH SCORE 2734699.045
AT ITER 2895 NEW BEST:: SOT 7766977 SOS 3509038 HAS SOPS 3509038 HAS SOUS 2731181 HAS SOUPS 2731181 WITH SCORE 2734690.038
AT ITER 2931 NEW BEST:: SOT 7766413 SOS 3511391 HAS SOPS 3511391 HAS SOUS 2731171 HAS SOUPS 2731171 WITH SCORE 2734682.391
AT ITER 2939 NEW BEST:: SOT 7766413 SOS 3511391 HAS SOPS 3511391 HAS SOUS 2731167 HAS SOUPS 2731167 WITH SCORE 2734678.391
AT ITER 2953 NEW BEST:: SOT 7765290 SOS 3512504 HAS SOPS 3512504 HAS SOUS 2730522 HAS SOUPS 2730522 WITH SCORE 2734034.504
AT ITER 2988 NEW BEST:: SOT 7765288 SOS 3512507 HAS SOPS 3512507 HAS SOUS 2730519 HAS SOUPS 2730519 WITH SCORE 2734031.507
AT ITER 3041 NEW BEST:: SOT 7765288 SOS 3512401 HAS SOPS 3512401 HAS SOUS 2730413 HAS SOUPS 2730413 WITH SCORE 2733925.401
AT ITER 3183 NEW BEST:: SOT 7762862 SOS 3515561 HAS SOPS 3515561 HAS SOUS 2728983 HAS SOUPS 2728983 WITH SCORE 2732498.561
AT ITER 3205 NEW BEST:: SOT 7762862 SOS 3515561 HAS SOPS 3515561 HAS SOUS 2728979 HAS SOUPS 2728979 WITH SCORE 2732494.561
AT ITER 3214 NEW BEST:: SOT 7762862 SOS 3515561 HAS SOPS 3515561 HAS SOUS 2728977 HAS SOUPS 2728977 WITH SCORE 2732492.561
AT ITER 3268 NEW BEST:: SOT 7762862 SOS 3515561 HAS SOPS 3515561 HAS SOUS 2728969 HAS SOUPS 2728969 WITH SCORE 2732484.561
AT ITER 3394 NEW BEST:: SOT 7762309 SOS 3517835 HAS SOPS 3517835 HAS SOUS 2728954 HAS SOUPS 2728954 WITH SCORE 2732471.835
AT ITER 3440 NEW BEST:: SOT 7762309 SOS 3517835 HAS SOPS 3517835 HAS SOUS 2728820 HAS SOUPS 2728820 WITH SCORE 2732337.835
AT ITER 3458 NEW BEST:: SOT 7762309 SOS 3517835 HAS SOPS 3517835 HAS SOUS 2728746 HAS SOUPS 2728746 WITH SCORE 2732263.835
AT ITER 3465 NEW BEST:: SOT 7762309 SOS 3517835 HAS SOPS 3517835 HAS SOUS 2728738 HAS SOUPS 2728738 WITH SCORE 2732255.835
AT ITER 3481 NEW BEST:: SOT 7762309 SOS 3517835 HAS SOPS 3517835 HAS SOUS 2728510 HAS SOUPS 2728510 WITH SCORE 2732027.835
AT ITER 3505 NEW BEST:: SOT 7762309 SOS 3517835 HAS SOPS 3517835 HAS SOUS 2728506 HAS SOUPS 2728506 WITH SCORE 2732023.835
AT ITER 3581 NEW BEST:: SOT 7762309 SOS 3517835 HAS SOPS 3517835 HAS SOUS 2728496 HAS SOUPS 2728496 WITH SCORE 2732013.835
AT ITER 3680 NEW BEST:: SOT 7761849 SOS 3517950 HAS SOPS 3517950 HAS SOUS 2728151 HAS SOUPS 2728151 WITH SCORE 2731668.95
AT ITER 3713 NEW BEST:: SOT 7761849 SOS 3517950 HAS SOPS 3517950 HAS SOUS 2728145 HAS SOUPS 2728145 WITH SCORE 2731662.95
AT ITER 3752 NEW BEST:: SOT 7761849 SOS 3517946 HAS SOPS 3517946 HAS SOUS 2728144 HAS SOUPS 2728144 WITH SCORE 2731661.946
AT ITER 3762 NEW BEST:: SOT 7759264 SOS 3520779 HAS SOPS 3520779 HAS SOUS 2726574 HAS SOUPS 2726574 WITH SCORE 2730094.779
AT ITER 3827 NEW BEST:: SOT 7759216 SOS 3520787 HAS SOPS 3520787 HAS SOUS 2726556 HAS SOUPS 2726556 WITH SCORE 2730076.787
AT ITER 3952 NEW BEST:: SOT 7759216 SOS 3520787 HAS SOPS 3520787 HAS SOUS 2726548 HAS SOUPS 2726548 WITH SCORE 2730068.787
AT ITER 3969 NEW BEST:: SOT 7758756 SOS 3521127 HAS SOPS 3521127 HAS SOUS 2726202 HAS SOUPS 2726202 WITH SCORE 2729723.127
AT ITER 3972 NEW BEST:: SOT 7758756 SOS 3521127 HAS SOPS 3521127 HAS SOUS 2725516 HAS SOUPS 2725516 WITH SCORE 2729037.127
AT ITER 3978 NEW BEST:: SOT 7758756 SOS 3521127 HAS SOPS 3521127 HAS SOUS 2725510 HAS SOUPS 2725510 WITH SCORE 2729031.127
AT ITER 4012 NEW BEST:: SOT 7758756 SOS 3521127 HAS SOPS 3521127 HAS SOUS 2724990 HAS SOUPS 2724990 WITH SCORE 2728511.127
AT ITER 4046 NEW BEST:: SOT 7757134 SOS 3521833 HAS SOPS 3521833 HAS SOUS 2724311 HAS SOUPS 2724311 WITH SCORE 2727832.833
AT ITER 4089 NEW BEST:: SOT 7757062 SOS 3521531 HAS SOPS 3521531 HAS SOUS 2723476 HAS SOUPS 2723476 WITH SCORE 2726997.531
AT ITER 4099 NEW BEST:: SOT 7755942 SOS 3522912 HAS SOPS 3522912 HAS SOUS 2723418 HAS SOUPS 2723418 WITH SCORE 2726940.912
AT ITER 4153 NEW BEST:: SOT 7755935 SOS 3524305 HAS SOPS 3524305 HAS SOUS 2723131 HAS SOUPS 2723131 WITH SCORE 2726655.305
AT ITER 4217 NEW BEST:: SOT 7755935 SOS 3525997 HAS SOPS 3525997 HAS SOUS 2722655 HAS SOUPS 2722655 WITH SCORE 2726180.997
AT ITER 4221 NEW BEST:: SOT 7755935 SOS 3525997 HAS SOPS 3525997 HAS SOUS 2722461 HAS SOUPS 2722461 WITH SCORE 2725986.997
AT ITER 4259 NEW BEST:: SOT 7755935 SOS 3525997 HAS SOPS 3525997 HAS SOUS 2722457 HAS SOUPS 2722457 WITH SCORE 2725982.997
AT ITER 4261 NEW BEST:: SOT 7755935 SOS 3525997 HAS SOPS 3525997 HAS SOUS 2722447 HAS SOUPS 2722447 WITH SCORE 2725972.997
AT ITER 4306 NEW BEST:: SOT 7755935 SOS 3525997 HAS SOPS 3525997 HAS SOUS 2722439 HAS SOUPS 2722439 WITH SCORE 2725964.997
AT ITER 4313 NEW BEST:: SOT 7755935 SOS 3525997 HAS SOPS 3525997 HAS SOUS 2722437 HAS SOUPS 2722437 WITH SCORE 2725962.997
AT ITER 4343 NEW BEST:: SOT 7755799 SOS 3526184 HAS SOPS 3526184 HAS SOUS 2722246 HAS SOUPS 2722246 WITH SCORE 2725772.184
AT ITER 4382 NEW BEST:: SOT 7755667 SOS 3526619 HAS SOPS 3526619 HAS SOUS 2722177 HAS SOUPS 2722177 WITH SCORE 2725703.619
AT ITER 4397 NEW BEST:: SOT 7755667 SOS 3529775 HAS SOPS 3529775 HAS SOUS 2721820 HAS SOUPS 2721820 WITH SCORE 2725349.775
AT ITER 4598 NEW BEST:: SOT 7755667 SOS 3531006 HAS SOPS 3531006 HAS SOUS 2721666 HAS SOUPS 2721666 WITH SCORE 2725197.006
AT ITER 4607 NEW BEST:: SOT 7755667 SOS 3531006 HAS SOPS 3531006 HAS SOUS 2721662 HAS SOUPS 2721662 WITH SCORE 2725193.006
AT ITER 4629 NEW BEST:: SOT 7755667 SOS 3530944 HAS SOPS 3530944 HAS SOUS 2721662 HAS SOUPS 2721662 WITH SCORE 2725192.944
AT ITER 4640 NEW BEST:: SOT 7753673 SOS 3533125 HAS SOPS 3533125 HAS SOUS 2720769 HAS SOUPS 2720769 WITH SCORE 2724302.125
AT ITER 4667 NEW BEST:: SOT 7751780 SOS 3536437 HAS SOPS 3536437 HAS SOUS 2720226 HAS SOUPS 2720226 WITH SCORE 2723762.437
AT ITER 4692 NEW BEST:: SOT 7751780 SOS 3536617 HAS SOPS 3536617 HAS SOUS 2720209 HAS SOUPS 2720209 WITH SCORE 2723745.617
AT ITER 4760 NEW BEST:: SOT 7751780 SOS 3536617 HAS SOPS 3536617 HAS SOUS 2720207 HAS SOUPS 2720207 WITH SCORE 2723743.617
AT ITER 4773 NEW BEST:: SOT 7751780 SOS 3536617 HAS SOPS 3536617 HAS SOUS 2720203 HAS SOUPS 2720203 WITH SCORE 2723739.617
AT ITER 4819 NEW BEST:: SOT 7751666 SOS 3536705 HAS SOPS 3536705 HAS SOUS 2720195 HAS SOUPS 2720195 WITH SCORE 2723731.705
AT ITER 4947 NEW BEST:: SOT 7751666 SOS 3539662 HAS SOPS 3539662 HAS SOUS 2720098 HAS SOUPS 2720098 WITH SCORE 2723637.662
AT ITER 4990 NEW BEST:: SOT 7751197 SOS 3539375 HAS SOPS 3539375 HAS SOUS 2719817 HAS SOUPS 2719817 WITH SCORE 2723356.375
AT ITER 5007 NEW BEST:: SOT 7751197 SOS 3539375 HAS SOPS 3539375 HAS SOUS 2719737 HAS SOUPS 2719737 WITH SCORE 2723276.375
AT ITER 5055 NEW BEST:: SOT 7749738 SOS 3540864 HAS SOPS 3540864 HAS SOUS 2718872 HAS SOUPS 2718872 WITH SCORE 2722412.864
AT ITER 5073 NEW BEST:: SOT 7749967 SOS 3546029 HAS SOPS 3546029 HAS SOUS 2718338 HAS SOUPS 2718338 WITH SCORE 2721884.029
AT ITER 5122 NEW BEST:: SOT 7749962 SOS 3547472 HAS SOPS 3547472 HAS SOUS 2718152 HAS SOUPS 2718152 WITH SCORE 2721699.472
AT ITER 5124 NEW BEST:: SOT 7749962 SOS 3547472 HAS SOPS 3547472 HAS SOUS 2718140 HAS SOUPS 2718140 WITH SCORE 2721687.472
AT ITER 5135 NEW BEST:: SOT 7750184 SOS 3549549 HAS SOPS 3549549 HAS SOUS 2717743 HAS SOUPS 2717743 WITH SCORE 2721292.549
AT ITER 5143 NEW BEST:: SOT 7750184 SOS 3549549 HAS SOPS 3549549 HAS SOUS 2717515 HAS SOUPS 2717515 WITH SCORE 2721064.549
AT ITER 5148 NEW BEST:: SOT 7749484 SOS 3550845 HAS SOPS 3550845 HAS SOUS 2717181 HAS SOUPS 2717181 WITH SCORE 2720731.845
AT ITER 5233 NEW BEST:: SOT 7749484 SOS 3550845 HAS SOPS 3550845 HAS SOUS 2717179 HAS SOUPS 2717179 WITH SCORE 2720729.845
AT ITER 5329 NEW BEST:: SOT 7749484 SOS 3551356 HAS SOPS 3551356 HAS SOUS 2717106 HAS SOUPS 2717106 WITH SCORE 2720657.356
AT ITER 5330 NEW BEST:: SOT 7749335 SOS 3551422 HAS SOPS 3551422 HAS SOUS 2716774 HAS SOUPS 2716774 WITH SCORE 2720325.422
AT ITER 5380 NEW BEST:: SOT 7748939 SOS 3551026 HAS SOPS 3551026 HAS SOUS 2716378 HAS SOUPS 2716378 WITH SCORE 2719929.026
AT ITER 5417 NEW BEST:: SOT 7748939 SOS 3549535 HAS SOPS 3549535 HAS SOUS 2716165 HAS SOUPS 2716165 WITH SCORE 2719714.535
AT ITER 5515 NEW BEST:: SOT 7748939 SOS 3549535 HAS SOPS 3549535 HAS SOUS 2715569 HAS SOUPS 2715569 WITH SCORE 2719118.535
AT ITER 5537 NEW BEST:: SOT 7748494 SOS 3551216 HAS SOPS 3551216 HAS SOUS 2715436 HAS SOUPS 2715436 WITH SCORE 2718987.216
AT ITER 5600 NEW BEST:: SOT 7748297 SOS 3551019 HAS SOPS 3551019 HAS SOUS 2715239 HAS SOUPS 2715239 WITH SCORE 2718790.019
AT ITER 5745 NEW BEST:: SOT 7748297 SOS 3551019 HAS SOPS 3551019 HAS SOUS 2715229 HAS SOUPS 2715229 WITH SCORE 2718780.019
AT ITER 5764 NEW BEST:: SOT 7748128 SOS 3550850 HAS SOPS 3550850 HAS SOUS 2715060 HAS SOUPS 2715060 WITH SCORE 2718610.85
AT ITER 5842 NEW BEST:: SOT 7748097 SOS 3551018 HAS SOPS 3551018 HAS SOUS 2715058 HAS SOUPS 2715058 WITH SCORE 2718609.018
AT ITER 5861 NEW BEST:: SOT 7748097 SOS 3551018 HAS SOPS 3551018 HAS SOUS 2714984 HAS SOUPS 2714984 WITH SCORE 2718535.018
AT ITER 5869 NEW BEST:: SOT 7746469 SOS 3553035 HAS SOPS 3553035 HAS SOUS 2714300 HAS SOUPS 2714300 WITH SCORE 2717853.035
AT ITER 5950 NEW BEST:: SOT 7745163 SOS 3556885 HAS SOPS 3556885 HAS SOUS 2714050 HAS SOUPS 2714050 WITH SCORE 2717606.885
AT ITER 5970 NEW BEST:: SOT 7745163 SOS 3556885 HAS SOPS 3556885 HAS SOUS 2713974 HAS SOUPS 2713974 WITH SCORE 2717530.885
AT ITER 6027 NEW BEST:: SOT 7745027 SOS 3556749 HAS SOPS 3556749 HAS SOUS 2713838 HAS SOUPS 2713838 WITH SCORE 2717394.749
AT ITER 6082 NEW BEST:: SOT 7745027 SOS 3556851 HAS SOPS 3556851 HAS SOUS 2713825 HAS SOUPS 2713825 WITH SCORE 2717381.851
AT ITER 6091 NEW BEST:: SOT 7745027 SOS 3556851 HAS SOPS 3556851 HAS SOUS 2713399 HAS SOUPS 2713399 WITH SCORE 2716955.851
AT ITER 6136 NEW BEST:: SOT 7745027 SOS 3556851 HAS SOPS 3556851 HAS SOUS 2713377 HAS SOUPS 2713377 WITH SCORE 2716933.851
AT ITER 6140 NEW BEST:: SOT 7744191 SOS 3556854 HAS SOPS 3556854 HAS SOUS 2713341 HAS SOUPS 2713341 WITH SCORE 2716897.854
AT ITER 6188 NEW BEST:: SOT 7744191 SOS 3556854 HAS SOPS 3556854 HAS SOUS 2713283 HAS SOUPS 2713283 WITH SCORE 2716839.854
AT ITER 6192 NEW BEST:: SOT 7744143 SOS 3556878 HAS SOPS 3556878 HAS SOUS 2713209 HAS SOUPS 2713209 WITH SCORE 2716765.878
AT ITER 6323 NEW BEST:: SOT 7744143 SOS 3556878 HAS SOPS 3556878 HAS SOUS 2713201 HAS SOUPS 2713201 WITH SCORE 2716757.878
AT ITER 6419 NEW BEST:: SOT 7743989 SOS 3556917 HAS SOPS 3556917 HAS SOUS 2713071 HAS SOUPS 2713071 WITH SCORE 2716627.917
AT ITER 6509 NEW BEST:: SOT 7741921 SOS 3562666 HAS SOPS 3562666 HAS SOUS 2712927 HAS SOUPS 2712927 WITH SCORE 2716489.666
AT ITER 6514 NEW BEST:: SOT 7740304 SOS 3564365 HAS SOPS 3564365 HAS SOUS 2712390 HAS SOUPS 2712390 WITH SCORE 2715954.365
AT ITER 6521 NEW BEST:: SOT 7738054 SOS 3568523 HAS SOPS 3568523 HAS SOUS 2711601 HAS SOUPS 2711601 WITH SCORE 2715169.523
AT ITER 6545 NEW BEST:: SOT 7738000 SOS 3569220 HAS SOPS 3569220 HAS SOUS 2711510 HAS SOUPS 2711510 WITH SCORE 2715079.22
AT ITER 6564 NEW BEST:: SOT 7737282 SOS 3573374 HAS SOPS 3573374 HAS SOUS 2711160 HAS SOUPS 2711160 WITH SCORE 2714733.374
AT ITER 6605 NEW BEST:: SOT 7737282 SOS 3571302 HAS SOPS 3571302 HAS SOUS 2710538 HAS SOUPS 2710538 WITH SCORE 2714109.302
AT ITER 6618 NEW BEST:: SOT 7737282 SOS 3571302 HAS SOPS 3571302 HAS SOUS 2710526 HAS SOUPS 2710526 WITH SCORE 2714097.302
AT ITER 6671 NEW BEST:: SOT 7737282 SOS 3571302 HAS SOPS 3571302 HAS SOUS 2710288 HAS SOUPS 2710288 WITH SCORE 2713859.302
AT ITER 6673 NEW BEST:: SOT 7737282 SOS 3571302 HAS SOPS 3571302 HAS SOUS 2710278 HAS SOUPS 2710278 WITH SCORE 2713849.302
AT ITER 6680 NEW BEST:: SOT 7737282 SOS 3571302 HAS SOPS 3571302 HAS SOUS 2710276 HAS SOUPS 2710276 WITH SCORE 2713847.302
AT ITER 6731 NEW BEST:: SOT 7737269 SOS 3571289 HAS SOPS 3571289 HAS SOUS 2710251 HAS SOUPS 2710251 WITH SCORE 2713822.289
AT ITER 6736 NEW BEST:: SOT 7736820 SOS 3570840 HAS SOPS 3570840 HAS SOUS 2709632 HAS SOUPS 2709632 WITH SCORE 2713202.84
AT ITER 6819 NEW BEST:: SOT 7736636 SOS 3570656 HAS SOPS 3570656 HAS SOUS 2709448 HAS SOUPS 2709448 WITH SCORE 2713018.656
AT ITER 6827 NEW BEST:: SOT 7735990 SOS 3571049 HAS SOPS 3571049 HAS SOUS 2709118 HAS SOUPS 2709118 WITH SCORE 2712689.049
AT ITER 6889 NEW BEST:: SOT 7735990 SOS 3572862 HAS SOPS 3572862 HAS SOUS 2709005 HAS SOUPS 2709005 WITH SCORE 2712577.862
AT ITER 7013 NEW BEST:: SOT 7735990 SOS 3572862 HAS SOPS 3572862 HAS SOUS 2708927 HAS SOUPS 2708927 WITH SCORE 2712499.862
AT ITER 7259 NEW BEST:: SOT 7734378 SOS 3576953 HAS SOPS 3576953 HAS SOUS 2708526 HAS SOUPS 2708526 WITH SCORE 2712102.953
AT ITER 7298 NEW BEST:: SOT 7734378 SOS 3576953 HAS SOPS 3576953 HAS SOUS 2708434 HAS SOUPS 2708434 WITH SCORE 2712010.953
AT ITER 7326 NEW BEST:: SOT 7734378 SOS 3576953 HAS SOPS 3576953 HAS SOUS 2708366 HAS SOUPS 2708366 WITH SCORE 2711942.953
AT ITER 7353 NEW BEST:: SOT 7734208 SOS 3577010 HAS SOPS 3577010 HAS SOUS 2708239 HAS SOUPS 2708239 WITH SCORE 2711816.01
AT ITER 7354 NEW BEST:: SOT 7734018 SOS 3576948 HAS SOPS 3576948 HAS SOUS 2708065 HAS SOUPS 2708065 WITH SCORE 2711641.948
AT ITER 7460 NEW BEST:: SOT 7733670 SOS 3576985 HAS SOPS 3576985 HAS SOUS 2707794 HAS SOUPS 2707794 WITH SCORE 2711370.985
AT ITER 7576 NEW BEST:: SOT 7733670 SOS 3576985 HAS SOPS 3576985 HAS SOUS 2707792 HAS SOUPS 2707792 WITH SCORE 2711368.985
AT ITER 7625 NEW BEST:: SOT 7733653 SOS 3576968 HAS SOPS 3576968 HAS SOUS 2707775 HAS SOUPS 2707775 WITH SCORE 2711351.968
AT ITER 7686 NEW BEST:: SOT 7733653 SOS 3576968 HAS SOPS 3576968 HAS SOUS 2707643 HAS SOUPS 2707643 WITH SCORE 2711219.968
AT ITER 7709 NEW BEST:: SOT 7733653 SOS 3576968 HAS SOPS 3576968 HAS SOUS 2707635 HAS SOUPS 2707635 WITH SCORE 2711211.968
AT ITER 7773 NEW BEST:: SOT 7733653 SOS 3576968 HAS SOPS 3576968 HAS SOUS 2707451 HAS SOUPS 2707451 WITH SCORE 2711027.968
AT ITER 7795 NEW BEST:: SOT 7733653 SOS 3576968 HAS SOPS 3576968 HAS SOUS 2707443 HAS SOUPS 2707443 WITH SCORE 2711019.968
AT ITER 7807 NEW BEST:: SOT 7731823 SOS 3579250 HAS SOPS 3579250 HAS SOUS 2706656 HAS SOUPS 2706656 WITH SCORE 2710235.25
AT ITER 7870 NEW BEST:: SOT 7730216 SOS 3578139 HAS SOPS 3578139 HAS SOUS 2705939 HAS SOUPS 2705939 WITH SCORE 2709517.139
AT ITER 7901 NEW BEST:: SOT 7730216 SOS 3582416 HAS SOPS 3582416 HAS SOUS 2705770 HAS SOUPS 2705770 WITH SCORE 2709352.416
AT ITER 7908 NEW BEST:: SOT 7729824 SOS 3582016 HAS SOPS 3582016 HAS SOUS 2705368 HAS SOUPS 2705368 WITH SCORE 2708950.016
AT ITER 7984 NEW BEST:: SOT 7729824 SOS 3582186 HAS SOPS 3582186 HAS SOUS 2705277 HAS SOUPS 2705277 WITH SCORE 2708859.186
AT ITER 8030 NEW BEST:: SOT 7729447 SOS 3583927 HAS SOPS 3583927 HAS SOUS 2705271 HAS SOUPS 2705271 WITH SCORE 2708854.927
AT ITER 8031 NEW BEST:: SOT 7728824 SOS 3584268 HAS SOPS 3584268 HAS SOUS 2704706 HAS SOUPS 2704706 WITH SCORE 2708290.268
AT ITER 8036 NEW BEST:: SOT 7728824 SOS 3586743 HAS SOPS 3586743 HAS SOUS 2704579 HAS SOUPS 2704579 WITH SCORE 2708165.743
AT ITER 8060 NEW BEST:: SOT 7728326 SOS 3587907 HAS SOPS 3587907 HAS SOUS 2704211 HAS SOUPS 2704211 WITH SCORE 2707798.907
AT ITER 8063 NEW BEST:: SOT 7728322 SOS 3588517 HAS SOPS 3588517 HAS SOUS 2704069 HAS SOUPS 2704069 WITH SCORE 2707657.517
AT ITER 8126 NEW BEST:: SOT 7727777 SOS 3588553 HAS SOPS 3588553 HAS SOUS 2703644 HAS SOUPS 2703644 WITH SCORE 2707232.553
AT ITER 8132 NEW BEST:: SOT 7727777 SOS 3588553 HAS SOPS 3588553 HAS SOUS 2703356 HAS SOUPS 2703356 WITH SCORE 2706944.553
AT ITER 8193 NEW BEST:: SOT 7727777 SOS 3588553 HAS SOPS 3588553 HAS SOUS 2703350 HAS SOUPS 2703350 WITH SCORE 2706938.553
AT ITER 8212 NEW BEST:: SOT 7727777 SOS 3593240 HAS SOPS 3593240 HAS SOUS 2702705 HAS SOUPS 2702705 WITH SCORE 2706298.24
AT ITER 8421 NEW BEST:: SOT 7727744 SOS 3593207 HAS SOPS 3593207 HAS SOUS 2702672 HAS SOUPS 2702672 WITH SCORE 2706265.207
AT ITER 8488 NEW BEST:: SOT 7727744 SOS 3593207 HAS SOPS 3593207 HAS SOUS 2702668 HAS SOUPS 2702668 WITH SCORE 2706261.207
AT ITER 8506 NEW BEST:: SOT 7728278 SOS 3594499 HAS SOPS 3594499 HAS SOUS 2701596 HAS SOUPS 2701596 WITH SCORE 2705190.499
AT ITER 8560 NEW BEST:: SOT 7727192 SOS 3594989 HAS SOPS 3594989 HAS SOUS 2700739 HAS SOUPS 2700739 WITH SCORE 2704333.989
AT ITER 8597 NEW BEST:: SOT 7727184 SOS 3596775 HAS SOPS 3596775 HAS SOUS 2700694 HAS SOUPS 2700694 WITH SCORE 2704290.775
AT ITER 8641 NEW BEST:: SOT 7727184 SOS 3596775 HAS SOPS 3596775 HAS SOUS 2700692 HAS SOUPS 2700692 WITH SCORE 2704288.775
AT ITER 8663 NEW BEST:: SOT 7726792 SOS 3596996 HAS SOPS 3596996 HAS SOUS 2700204 HAS SOUPS 2700204 WITH SCORE 2703800.996
AT ITER 8673 NEW BEST:: SOT 7726792 SOS 3596996 HAS SOPS 3596996 HAS SOUS 2700166 HAS SOUPS 2700166 WITH SCORE 2703762.996
AT ITER 8709 NEW BEST:: SOT 7726792 SOS 3596996 HAS SOPS 3596996 HAS SOUS 2700090 HAS SOUPS 2700090 WITH SCORE 2703686.996
AT ITER 8713 NEW BEST:: SOT 7726792 SOS 3597954 HAS SOPS 3597954 HAS SOUS 2700028 HAS SOUPS 2700028 WITH SCORE 2703625.954
AT ITER 8716 NEW BEST:: SOT 7726792 SOS 3597953 HAS SOPS 3597953 HAS SOUS 2700016 HAS SOUPS 2700016 WITH SCORE 2703613.953
AT ITER 8737 NEW BEST:: SOT 7726792 SOS 3596070 HAS SOPS 3596070 HAS SOUS 2699799 HAS SOUPS 2699799 WITH SCORE 2703395.07
AT ITER 8840 NEW BEST:: SOT 7726780 SOS 3596928 HAS SOPS 3596928 HAS SOUS 2699642 HAS SOUPS 2699642 WITH SCORE 2703238.928
AT ITER 8846 NEW BEST:: SOT 7725232 SOS 3596682 HAS SOPS 3596682 HAS SOUS 2698410 HAS SOUPS 2698410 WITH SCORE 2702006.682
AT ITER 8872 NEW BEST:: SOT 7725214 SOS 3596664 HAS SOPS 3596664 HAS SOUS 2698232 HAS SOUPS 2698232 WITH SCORE 2701828.664
AT ITER 8915 NEW BEST:: SOT 7725214 SOS 3596780 HAS SOPS 3596780 HAS SOUS 2698172 HAS SOUPS 2698172 WITH SCORE 2701768.78
AT ITER 8951 NEW BEST:: SOT 7725214 SOS 3596780 HAS SOPS 3596780 HAS SOUS 2698162 HAS SOUPS 2698162 WITH SCORE 2701758.78
AT ITER 9050 NEW BEST:: SOT 7725324 SOS 3602413 HAS SOPS 3602413 HAS SOUS 2697959 HAS SOUPS 2697959 WITH SCORE 2701561.413
AT ITER 9061 NEW BEST:: SOT 7725324 SOS 3602413 HAS SOPS 3602413 HAS SOUS 2697905 HAS SOUPS 2697905 WITH SCORE 2701507.413
AT ITER 9101 NEW BEST:: SOT 7725324 SOS 3602413 HAS SOPS 3602413 HAS SOUS 2697731 HAS SOUPS 2697731 WITH SCORE 2701333.413
AT ITER 9104 NEW BEST:: SOT 7725324 SOS 3602315 HAS SOPS 3602315 HAS SOUS 2697717 HAS SOUPS 2697717 WITH SCORE 2701319.315
AT ITER 9134 NEW BEST:: SOT 7725324 SOS 3602315 HAS SOPS 3602315 HAS SOUS 2697709 HAS SOUPS 2697709 WITH SCORE 2701311.315
AT ITER 9214 NEW BEST:: SOT 7725324 SOS 3602315 HAS SOPS 3602315 HAS SOUS 2697599 HAS SOUPS 2697599 WITH SCORE 2701201.315
AT ITER 9244 NEW BEST:: SOT 7724260 SOS 3602998 HAS SOPS 3602998 HAS SOUS 2697119 HAS SOUPS 2697119 WITH SCORE 2700721.998
AT ITER 9257 NEW BEST:: SOT 7723793 SOS 3603285 HAS SOPS 3603285 HAS SOUS 2696550 HAS SOUPS 2696550 WITH SCORE 2700153.285
AT ITER 9300 NEW BEST:: SOT 7723793 SOS 3604096 HAS SOPS 3604096 HAS SOUS 2696463 HAS SOUPS 2696463 WITH SCORE 2700067.096
AT ITER 9309 NEW BEST:: SOT 7723793 SOS 3604096 HAS SOPS 3604096 HAS SOUS 2696457 HAS SOUPS 2696457 WITH SCORE 2700061.096
AT ITER 9351 NEW BEST:: SOT 7722697 SOS 3605270 HAS SOPS 3605270 HAS SOUS 2695966 HAS SOUPS 2695966 WITH SCORE 2699571.27
AT ITER 9436 NEW BEST:: SOT 7722481 SOS 3605054 HAS SOPS 3605054 HAS SOUS 2695750 HAS SOUPS 2695750 WITH SCORE 2699355.054
AT ITER 9451 NEW BEST:: SOT 7722481 SOS 3605054 HAS SOPS 3605054 HAS SOUS 2695382 HAS SOUPS 2695382 WITH SCORE 2698987.054
AT ITER 9457 NEW BEST:: SOT 7722481 SOS 3605054 HAS SOPS 3605054 HAS SOUS 2695308 HAS SOUPS 2695308 WITH SCORE 2698913.054
AT ITER 9525 NEW BEST:: SOT 7722481 SOS 3605054 HAS SOPS 3605054 HAS SOUS 2695234 HAS SOUPS 2695234 WITH SCORE 2698839.054
AT ITER 9535 NEW BEST:: SOT 7722481 SOS 3603942 HAS SOPS 3603942 HAS SOUS 2694839 HAS SOUPS 2694839 WITH SCORE 2698442.942
AT ITER 9556 NEW BEST:: SOT 7722386 SOS 3603847 HAS SOPS 3603847 HAS SOUS 2694744 HAS SOUPS 2694744 WITH SCORE 2698347.847
AT ITER 9659 NEW BEST:: SOT 7721978 SOS 3603971 HAS SOPS 3603971 HAS SOUS 2694203 HAS SOUPS 2694203 WITH SCORE 2697806.971
AT ITER 9664 NEW BEST:: SOT 7721978 SOS 3603971 HAS SOPS 3603971 HAS SOUS 2694197 HAS SOUPS 2694197 WITH SCORE 2697800.971
AT ITER 9739 NEW BEST:: SOT 7721978 SOS 3603194 HAS SOPS 3603194 HAS SOUS 2694014 HAS SOUPS 2694014 WITH SCORE 2697617.194
AT ITER 9795 NEW BEST:: SOT 7721030 SOS 3604882 HAS SOPS 3604882 HAS SOUS 2693384 HAS SOUPS 2693384 WITH SCORE 2696988.882
AT ITER 9854 NEW BEST:: SOT 7721030 SOS 3604882 HAS SOPS 3604882 HAS SOUS 2692838 HAS SOUPS 2692838 WITH SCORE 2696442.882
AT ITER 9860 NEW BEST:: SOT 7721030 SOS 3604342 HAS SOPS 3604342 HAS SOUS 2692838 HAS SOUPS 2692838 WITH SCORE 2696442.342
AT ITER 9905 NEW BEST:: SOT 7721030 SOS 3604076 HAS SOPS 3604076 HAS SOUS 2692800 HAS SOUPS 2692800 WITH SCORE 2696404.076
AT ITER 9916 NEW BEST:: SOT 7721030 SOS 3605588 HAS SOPS 3605588 HAS SOUS 2692347 HAS SOUPS 2692347 WITH SCORE 2695952.588
AT ITER 9918 NEW BEST:: SOT 7721015 SOS 3606390 HAS SOPS 3606390 HAS SOUS 2692243 HAS SOUPS 2692243 WITH SCORE 2695849.39
AT ITER 9950 NEW BEST:: SOT 7721011 SOS 3606534 HAS SOPS 3606534 HAS SOUS 2692091 HAS SOUPS 2692091 WITH SCORE 2695697.534

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="Echo-PT-d05r03"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is Echo-PT-d05r03, 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 r063-tajo-158922808301000"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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