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.r099-tall-167814472700664.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 DLCround-PT-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472700664
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 7.6K Feb 25 18:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 18:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 18:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 18:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 18:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 25 18:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 18:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 18:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 674K 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 1678256403161

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=DLCround-PT-05b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 05b
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: 1999 places, 2887 transitions, 7649 arcs.
AT ITER 0 NEW BEST:: SOT 3496588 SOS 761341 HAS SOPS 761341 HAS SOUS 512452 HAS SOUPS 512452 WITH SCORE 513213.341
AT ITER 12 NEW BEST:: SOT 3496613 SOS 761391 HAS SOPS 761391 HAS SOUS 512383 HAS SOUPS 512383 WITH SCORE 513144.391
AT ITER 15 NEW BEST:: SOT 3496242 SOS 760649 HAS SOPS 760649 HAS SOUS 511641 HAS SOUPS 511641 WITH SCORE 512401.649
AT ITER 44 NEW BEST:: SOT 3496242 SOS 760253 HAS SOPS 760253 HAS SOUS 511509 HAS SOUPS 511509 WITH SCORE 512269.253
AT ITER 64 NEW BEST:: SOT 3496242 SOS 760145 HAS SOPS 760145 HAS SOUS 511509 HAS SOUPS 511509 WITH SCORE 512269.145
AT ITER 89 NEW BEST:: SOT 3496229 SOS 760106 HAS SOPS 760106 HAS SOUS 511483 HAS SOUPS 511483 WITH SCORE 512243.106
AT ITER 94 NEW BEST:: SOT 3496142 SOS 759932 HAS SOPS 759932 HAS SOUS 511396 HAS SOUPS 511396 WITH SCORE 512155.932
AT ITER 130 NEW BEST:: SOT 3495749 SOS 759539 HAS SOPS 759539 HAS SOUS 511003 HAS SOUPS 511003 WITH SCORE 511762.539
AT ITER 144 NEW BEST:: SOT 3495318 SOS 759116 HAS SOPS 759116 HAS SOUS 510136 HAS SOUPS 510136 WITH SCORE 510895.116
AT ITER 174 NEW BEST:: SOT 3495213 SOS 759851 HAS SOPS 759851 HAS SOUS 510031 HAS SOUPS 510031 WITH SCORE 510790.851
AT ITER 212 NEW BEST:: SOT 3495240 SOS 759905 HAS SOPS 759905 HAS SOUS 509643 HAS SOUPS 509643 WITH SCORE 510402.905
AT ITER 221 NEW BEST:: SOT 3494861 SOS 759566 HAS SOPS 759566 HAS SOUS 509304 HAS SOUPS 509304 WITH SCORE 510063.566
AT ITER 226 NEW BEST:: SOT 3495001 SOS 759846 HAS SOPS 759846 HAS SOUS 509229 HAS SOUPS 509229 WITH SCORE 509988.846
AT ITER 243 NEW BEST:: SOT 3494625 SOS 759470 HAS SOPS 759470 HAS SOUS 508853 HAS SOUPS 508853 WITH SCORE 509612.47
AT ITER 259 NEW BEST:: SOT 3494296 SOS 759141 HAS SOPS 759141 HAS SOUS 508524 HAS SOUPS 508524 WITH SCORE 509283.141
AT ITER 266 NEW BEST:: SOT 3494295 SOS 759139 HAS SOPS 759139 HAS SOUS 508522 HAS SOUPS 508522 WITH SCORE 509281.139
AT ITER 271 NEW BEST:: SOT 3494008 SOS 758852 HAS SOPS 758852 HAS SOUS 508235 HAS SOUPS 508235 WITH SCORE 508993.852
AT ITER 272 NEW BEST:: SOT 3493902 SOS 758743 HAS SOPS 758743 HAS SOUS 508128 HAS SOUPS 508128 WITH SCORE 508886.743
AT ITER 289 NEW BEST:: SOT 3493902 SOS 758743 HAS SOPS 758743 HAS SOUS 508127 HAS SOUPS 508127 WITH SCORE 508885.743
AT ITER 313 NEW BEST:: SOT 3493637 SOS 759767 HAS SOPS 759767 HAS SOUS 507861 HAS SOUPS 507861 WITH SCORE 508620.767
AT ITER 322 NEW BEST:: SOT 3493637 SOS 759650 HAS SOPS 759650 HAS SOUS 507744 HAS SOUPS 507744 WITH SCORE 508503.65
AT ITER 323 NEW BEST:: SOT 3493637 SOS 759649 HAS SOPS 759649 HAS SOUS 507742 HAS SOUPS 507742 WITH SCORE 508501.649
AT ITER 327 NEW BEST:: SOT 3493637 SOS 759064 HAS SOPS 759064 HAS SOUS 507741 HAS SOUPS 507741 WITH SCORE 508500.064
AT ITER 354 NEW BEST:: SOT 3493636 SOS 759062 HAS SOPS 759062 HAS SOUS 507739 HAS SOUPS 507739 WITH SCORE 508498.062
AT ITER 357 NEW BEST:: SOT 3493283 SOS 758816 HAS SOPS 758816 HAS SOUS 506990 HAS SOUPS 506990 WITH SCORE 507748.816
AT ITER 371 NEW BEST:: SOT 3492865 SOS 757980 HAS SOPS 757980 HAS SOUS 506154 HAS SOUPS 506154 WITH SCORE 506911.98
AT ITER 375 NEW BEST:: SOT 3492595 SOS 758102 HAS SOPS 758102 HAS SOUS 505884 HAS SOUPS 505884 WITH SCORE 506642.102
AT ITER 383 NEW BEST:: SOT 3492593 SOS 758098 HAS SOPS 758098 HAS SOUS 505880 HAS SOUPS 505880 WITH SCORE 506638.098
AT ITER 416 NEW BEST:: SOT 3492071 SOS 758191 HAS SOPS 758191 HAS SOUS 505736 HAS SOUPS 505736 WITH SCORE 506494.191
AT ITER 432 NEW BEST:: SOT 3491807 SOS 757663 HAS SOPS 757663 HAS SOUS 505094 HAS SOUPS 505094 WITH SCORE 505851.663
AT ITER 451 NEW BEST:: SOT 3490752 SOS 764369 HAS SOPS 764369 HAS SOUS 504893 HAS SOUPS 504893 WITH SCORE 505657.369
AT ITER 503 NEW BEST:: SOT 3490482 SOS 764234 HAS SOPS 764234 HAS SOUS 504758 HAS SOUPS 504758 WITH SCORE 505522.234
AT ITER 504 NEW BEST:: SOT 3490202 SOS 764113 HAS SOPS 764113 HAS SOUS 504637 HAS SOUPS 504637 WITH SCORE 505401.113
AT ITER 514 NEW BEST:: SOT 3490084 SOS 763655 HAS SOPS 763655 HAS SOUS 504297 HAS SOUPS 504297 WITH SCORE 505060.655
AT ITER 523 NEW BEST:: SOT 3489763 SOS 763334 HAS SOPS 763334 HAS SOUS 503976 HAS SOUPS 503976 WITH SCORE 504739.334
AT ITER 529 NEW BEST:: SOT 3489762 SOS 763332 HAS SOPS 763332 HAS SOUS 503974 HAS SOUPS 503974 WITH SCORE 504737.332
AT ITER 543 NEW BEST:: SOT 3489652 SOS 763349 HAS SOPS 763349 HAS SOUS 503960 HAS SOUPS 503960 WITH SCORE 504723.349
AT ITER 563 NEW BEST:: SOT 3489190 SOS 762425 HAS SOPS 762425 HAS SOUS 503036 HAS SOUPS 503036 WITH SCORE 503798.425
AT ITER 564 NEW BEST:: SOT 3489166 SOS 762377 HAS SOPS 762377 HAS SOUS 502988 HAS SOUPS 502988 WITH SCORE 503750.377
AT ITER 573 NEW BEST:: SOT 3489193 SOS 762403 HAS SOPS 762403 HAS SOUS 502987 HAS SOUPS 502987 WITH SCORE 503749.403
AT ITER 586 NEW BEST:: SOT 3488466 SOS 761501 HAS SOPS 761501 HAS SOUS 502474 HAS SOUPS 502474 WITH SCORE 503235.501
AT ITER 603 NEW BEST:: SOT 3488469 SOS 761770 HAS SOPS 761770 HAS SOUS 502436 HAS SOUPS 502436 WITH SCORE 503197.77
AT ITER 617 NEW BEST:: SOT 3488468 SOS 761536 HAS SOPS 761536 HAS SOUS 502202 HAS SOUPS 502202 WITH SCORE 502963.536
AT ITER 637 NEW BEST:: SOT 3488264 SOS 761387 HAS SOPS 761387 HAS SOUS 502053 HAS SOUPS 502053 WITH SCORE 502814.387
AT ITER 690 NEW BEST:: SOT 3488032 SOS 761290 HAS SOPS 761290 HAS SOUS 501959 HAS SOUPS 501959 WITH SCORE 502720.29
AT ITER 755 NEW BEST:: SOT 3488032 SOS 761528 HAS SOPS 761528 HAS SOUS 501957 HAS SOUPS 501957 WITH SCORE 502718.528
AT ITER 810 NEW BEST:: SOT 3487879 SOS 762139 HAS SOPS 762139 HAS SOUS 501935 HAS SOUPS 501935 WITH SCORE 502697.139
AT ITER 819 NEW BEST:: SOT 3487493 SOS 761824 HAS SOPS 761824 HAS SOUS 501584 HAS SOUPS 501584 WITH SCORE 502345.824
AT ITER 833 NEW BEST:: SOT 3487439 SOS 761716 HAS SOPS 761716 HAS SOUS 501530 HAS SOUPS 501530 WITH SCORE 502291.716
AT ITER 884 NEW BEST:: SOT 3487404 SOS 761646 HAS SOPS 761646 HAS SOUS 500983 HAS SOUPS 500983 WITH SCORE 501744.646
AT ITER 886 NEW BEST:: SOT 3486735 SOS 761353 HAS SOPS 761353 HAS SOUS 500364 HAS SOUPS 500364 WITH SCORE 501125.353
AT ITER 892 NEW BEST:: SOT 3486713 SOS 761309 HAS SOPS 761309 HAS SOUS 500320 HAS SOUPS 500320 WITH SCORE 501081.309
AT ITER 907 NEW BEST:: SOT 3486780 SOS 761443 HAS SOPS 761443 HAS SOUS 499975 HAS SOUPS 499975 WITH SCORE 500736.443
AT ITER 915 NEW BEST:: SOT 3486780 SOS 761913 HAS SOPS 761913 HAS SOUS 499974 HAS SOUPS 499974 WITH SCORE 500735.913
AT ITER 916 NEW BEST:: SOT 3486749 SOS 761851 HAS SOPS 761851 HAS SOUS 499943 HAS SOUPS 499943 WITH SCORE 500704.851
AT ITER 956 NEW BEST:: SOT 3486666 SOS 763030 HAS SOPS 763030 HAS SOUS 499888 HAS SOUPS 499888 WITH SCORE 500651.03
AT ITER 979 NEW BEST:: SOT 3486746 SOS 763186 HAS SOPS 763186 HAS SOUS 499887 HAS SOUPS 499887 WITH SCORE 500650.186
AT ITER 1035 NEW BEST:: SOT 3486746 SOS 763402 HAS SOPS 763402 HAS SOUS 499885 HAS SOUPS 499885 WITH SCORE 500648.402
AT ITER 1039 NEW BEST:: SOT 3486698 SOS 763306 HAS SOPS 763306 HAS SOUS 499837 HAS SOUPS 499837 WITH SCORE 500600.306
AT ITER 1046 NEW BEST:: SOT 3486239 SOS 762991 HAS SOPS 762991 HAS SOUS 499530 HAS SOUPS 499530 WITH SCORE 500292.991
AT ITER 1084 NEW BEST:: SOT 3486064 SOS 762812 HAS SOPS 762812 HAS SOUS 499354 HAS SOUPS 499354 WITH SCORE 500116.812
AT ITER 1090 NEW BEST:: SOT 3486061 SOS 762809 HAS SOPS 762809 HAS SOUS 499351 HAS SOUPS 499351 WITH SCORE 500113.809
AT ITER 1098 NEW BEST:: SOT 3485846 SOS 762379 HAS SOPS 762379 HAS SOUS 498921 HAS SOUPS 498921 WITH SCORE 499683.379
AT ITER 1106 NEW BEST:: SOT 3485638 SOS 756743 HAS SOPS 756743 HAS SOUS 498505 HAS SOUPS 498505 WITH SCORE 499261.743
AT ITER 1145 NEW BEST:: SOT 3485594 SOS 755518 HAS SOPS 755518 HAS SOUS 498325 HAS SOUPS 498325 WITH SCORE 499080.518
AT ITER 1148 NEW BEST:: SOT 3485431 SOS 755405 HAS SOPS 755405 HAS SOUS 498212 HAS SOUPS 498212 WITH SCORE 498967.405
AT ITER 1157 NEW BEST:: SOT 3485429 SOS 755988 HAS SOPS 755988 HAS SOUS 498207 HAS SOUPS 498207 WITH SCORE 498962.988
AT ITER 1160 NEW BEST:: SOT 3485407 SOS 756841 HAS SOPS 756841 HAS SOUS 498185 HAS SOUPS 498185 WITH SCORE 498941.841
AT ITER 1168 NEW BEST:: SOT 3485406 SOS 756839 HAS SOPS 756839 HAS SOUS 498183 HAS SOUPS 498183 WITH SCORE 498939.839
AT ITER 1192 NEW BEST:: SOT 3485182 SOS 756391 HAS SOPS 756391 HAS SOUS 497735 HAS SOUPS 497735 WITH SCORE 498491.391
AT ITER 1221 NEW BEST:: SOT 3484846 SOS 756085 HAS SOPS 756085 HAS SOUS 497429 HAS SOUPS 497429 WITH SCORE 498185.085
AT ITER 1223 NEW BEST:: SOT 3484846 SOS 755875 HAS SOPS 755875 HAS SOUS 497429 HAS SOUPS 497429 WITH SCORE 498184.875
AT ITER 1239 NEW BEST:: SOT 3484845 SOS 755873 HAS SOPS 755873 HAS SOUS 497427 HAS SOUPS 497427 WITH SCORE 498182.873
AT ITER 1256 NEW BEST:: SOT 3484416 SOS 751154 HAS SOPS 751154 HAS SOUS 496569 HAS SOUPS 496569 WITH SCORE 497320.154
AT ITER 1259 NEW BEST:: SOT 3484293 SOS 751042 HAS SOPS 751042 HAS SOUS 496457 HAS SOUPS 496457 WITH SCORE 497208.042
AT ITER 1289 NEW BEST:: SOT 3484253 SOS 750962 HAS SOPS 750962 HAS SOUS 496417 HAS SOUPS 496417 WITH SCORE 497167.962
AT ITER 1291 NEW BEST:: SOT 3484133 SOS 750722 HAS SOPS 750722 HAS SOUS 496177 HAS SOUPS 496177 WITH SCORE 496927.722
AT ITER 1319 NEW BEST:: SOT 3484132 SOS 750720 HAS SOPS 750720 HAS SOUS 496175 HAS SOUPS 496175 WITH SCORE 496925.72
AT ITER 1330 NEW BEST:: SOT 3484132 SOS 750720 HAS SOPS 750720 HAS SOUS 496055 HAS SOUPS 496055 WITH SCORE 496805.72
AT ITER 1364 NEW BEST:: SOT 3483896 SOS 750719 HAS SOPS 750719 HAS SOUS 496054 HAS SOUPS 496054 WITH SCORE 496804.719
AT ITER 1388 NEW BEST:: SOT 3483626 SOS 750389 HAS SOPS 750389 HAS SOUS 495835 HAS SOUPS 495835 WITH SCORE 496585.389
AT ITER 1393 NEW BEST:: SOT 3483626 SOS 750279 HAS SOPS 750279 HAS SOUS 495725 HAS SOUPS 495725 WITH SCORE 496475.279
AT ITER 1423 NEW BEST:: SOT 3482974 SOS 749757 HAS SOPS 749757 HAS SOUS 495111 HAS SOUPS 495111 WITH SCORE 495860.757
AT ITER 1467 NEW BEST:: SOT 3482856 SOS 749639 HAS SOPS 749639 HAS SOUS 494934 HAS SOUPS 494934 WITH SCORE 495683.639
AT ITER 1469 NEW BEST:: SOT 3482804 SOS 749587 HAS SOPS 749587 HAS SOUS 494830 HAS SOUPS 494830 WITH SCORE 495579.587
AT ITER 1545 NEW BEST:: SOT 3482877 SOS 749580 HAS SOPS 749580 HAS SOUS 494823 HAS SOUPS 494823 WITH SCORE 495572.58
AT ITER 1546 NEW BEST:: SOT 3482911 SOS 749648 HAS SOPS 749648 HAS SOUS 494719 HAS SOUPS 494719 WITH SCORE 495468.648
AT ITER 1547 NEW BEST:: SOT 3482933 SOS 749604 HAS SOPS 749604 HAS SOUS 494675 HAS SOUPS 494675 WITH SCORE 495424.604
AT ITER 1559 NEW BEST:: SOT 3482933 SOS 749604 HAS SOPS 749604 HAS SOUS 494671 HAS SOUPS 494671 WITH SCORE 495420.604
AT ITER 1584 NEW BEST:: SOT 3481888 SOS 751706 HAS SOPS 751706 HAS SOUS 494199 HAS SOUPS 494199 WITH SCORE 494950.706
AT ITER 1618 NEW BEST:: SOT 3481538 SOS 749606 HAS SOPS 749606 HAS SOUS 493674 HAS SOUPS 493674 WITH SCORE 494423.606
AT ITER 1673 NEW BEST:: SOT 3481537 SOS 749604 HAS SOPS 749604 HAS SOUS 493672 HAS SOUPS 493672 WITH SCORE 494421.604
AT ITER 1682 NEW BEST:: SOT 3481643 SOS 749816 HAS SOPS 749816 HAS SOUS 493658 HAS SOUPS 493658 WITH SCORE 494407.816
AT ITER 1720 NEW BEST:: SOT 3481589 SOS 749806 HAS SOPS 749806 HAS SOUS 493630 HAS SOUPS 493630 WITH SCORE 494379.806
AT ITER 1722 NEW BEST:: SOT 3481532 SOS 749815 HAS SOPS 749815 HAS SOUS 493582 HAS SOUPS 493582 WITH SCORE 494331.815
AT ITER 1733 NEW BEST:: SOT 3481532 SOS 749815 HAS SOPS 749815 HAS SOUS 493499 HAS SOUPS 493499 WITH SCORE 494248.815
AT ITER 1734 NEW BEST:: SOT 3481433 SOS 749813 HAS SOPS 749813 HAS SOUS 493497 HAS SOUPS 493497 WITH SCORE 494246.813
AT ITER 1738 NEW BEST:: SOT 3481019 SOS 749399 HAS SOPS 749399 HAS SOUS 493083 HAS SOUPS 493083 WITH SCORE 493832.399
AT ITER 1743 NEW BEST:: SOT 3480964 SOS 749390 HAS SOPS 749390 HAS SOUS 493074 HAS SOUPS 493074 WITH SCORE 493823.39
AT ITER 1761 NEW BEST:: SOT 3480961 SOS 749384 HAS SOPS 749384 HAS SOUS 493068 HAS SOUPS 493068 WITH SCORE 493817.384
AT ITER 1802 NEW BEST:: SOT 3480915 SOS 749338 HAS SOPS 749338 HAS SOUS 493022 HAS SOUPS 493022 WITH SCORE 493771.338
AT ITER 1805 NEW BEST:: SOT 3480913 SOS 749334 HAS SOPS 749334 HAS SOUS 493018 HAS SOUPS 493018 WITH SCORE 493767.334
AT ITER 1813 NEW BEST:: SOT 3480859 SOS 749226 HAS SOPS 749226 HAS SOUS 492910 HAS SOUPS 492910 WITH SCORE 493659.226
AT ITER 1901 NEW BEST:: SOT 3480551 SOS 748914 HAS SOPS 748914 HAS SOUS 492601 HAS SOUPS 492601 WITH SCORE 493349.914
AT ITER 1931 NEW BEST:: SOT 3480517 SOS 748945 HAS SOPS 748945 HAS SOUS 492566 HAS SOUPS 492566 WITH SCORE 493314.945
AT ITER 1958 NEW BEST:: SOT 3480475 SOS 749010 HAS SOPS 749010 HAS SOUS 492534 HAS SOUPS 492534 WITH SCORE 493283.01
AT ITER 1983 NEW BEST:: SOT 3480475 SOS 748990 HAS SOPS 748990 HAS SOUS 492524 HAS SOUPS 492524 WITH SCORE 493272.99
AT ITER 1987 NEW BEST:: SOT 3480475 SOS 748808 HAS SOPS 748808 HAS SOUS 492524 HAS SOUPS 492524 WITH SCORE 493272.808
AT ITER 2020 NEW BEST:: SOT 3480328 SOS 748514 HAS SOPS 748514 HAS SOUS 492221 HAS SOUPS 492221 WITH SCORE 492969.514
AT ITER 2025 NEW BEST:: SOT 3480328 SOS 748514 HAS SOPS 748514 HAS SOUS 492219 HAS SOUPS 492219 WITH SCORE 492967.514
AT ITER 2027 NEW BEST:: SOT 3480327 SOS 748512 HAS SOPS 748512 HAS SOUS 492217 HAS SOUPS 492217 WITH SCORE 492965.512
AT ITER 2101 NEW BEST:: SOT 3480002 SOS 748362 HAS SOPS 748362 HAS SOUS 492070 HAS SOUPS 492070 WITH SCORE 492818.362
AT ITER 2103 NEW BEST:: SOT 3479659 SOS 748099 HAS SOPS 748099 HAS SOUS 491773 HAS SOUPS 491773 WITH SCORE 492521.099
AT ITER 2106 NEW BEST:: SOT 3479636 SOS 748145 HAS SOPS 748145 HAS SOUS 491750 HAS SOUPS 491750 WITH SCORE 492498.145
AT ITER 2119 NEW BEST:: SOT 3479551 SOS 747975 HAS SOPS 747975 HAS SOUS 491580 HAS SOUPS 491580 WITH SCORE 492327.975
AT ITER 2181 NEW BEST:: SOT 3479418 SOS 747952 HAS SOPS 747952 HAS SOUS 491560 HAS SOUPS 491560 WITH SCORE 492307.952
AT ITER 2202 NEW BEST:: SOT 3479279 SOS 747674 HAS SOPS 747674 HAS SOUS 491282 HAS SOUPS 491282 WITH SCORE 492029.674
AT ITER 2221 NEW BEST:: SOT 3479130 SOS 747376 HAS SOPS 747376 HAS SOUS 490984 HAS SOUPS 490984 WITH SCORE 491731.376
AT ITER 2235 NEW BEST:: SOT 3479130 SOS 748916 HAS SOPS 748916 HAS SOUS 490922 HAS SOUPS 490922 WITH SCORE 491670.916
AT ITER 2249 NEW BEST:: SOT 3479130 SOS 748742 HAS SOPS 748742 HAS SOUS 490922 HAS SOUPS 490922 WITH SCORE 491670.742
AT ITER 2272 NEW BEST:: SOT 3479070 SOS 748506 HAS SOPS 748506 HAS SOUS 490802 HAS SOUPS 490802 WITH SCORE 491550.506
AT ITER 2299 NEW BEST:: SOT 3478500 SOS 747835 HAS SOPS 747835 HAS SOUS 490013 HAS SOUPS 490013 WITH SCORE 490760.835
AT ITER 2303 NEW BEST:: SOT 3478500 SOS 748846 HAS SOPS 748846 HAS SOUS 489974 HAS SOUPS 489974 WITH SCORE 490722.846
AT ITER 2304 NEW BEST:: SOT 3477934 SOS 748827 HAS SOPS 748827 HAS SOUS 489874 HAS SOUPS 489874 WITH SCORE 490622.827
AT ITER 2308 NEW BEST:: SOT 3477791 SOS 748967 HAS SOPS 748967 HAS SOUS 489730 HAS SOUPS 489730 WITH SCORE 490478.967
AT ITER 2313 NEW BEST:: SOT 3477989 SOS 749363 HAS SOPS 749363 HAS SOUS 489648 HAS SOUPS 489648 WITH SCORE 490397.363
AT ITER 2328 NEW BEST:: SOT 3477828 SOS 747975 HAS SOPS 747975 HAS SOUS 489098 HAS SOUPS 489098 WITH SCORE 489845.975
AT ITER 2340 NEW BEST:: SOT 3477823 SOS 747965 HAS SOPS 747965 HAS SOUS 489088 HAS SOUPS 489088 WITH SCORE 489835.965
AT ITER 2402 NEW BEST:: SOT 3477460 SOS 743972 HAS SOPS 743972 HAS SOUS 488362 HAS SOUPS 488362 WITH SCORE 489105.972
AT ITER 2427 NEW BEST:: SOT 3477330 SOS 743872 HAS SOPS 743872 HAS SOUS 488262 HAS SOUPS 488262 WITH SCORE 489005.872
AT ITER 2440 NEW BEST:: SOT 3477360 SOS 743010 HAS SOPS 743010 HAS SOUS 487984 HAS SOUPS 487984 WITH SCORE 488727.01
AT ITER 2443 NEW BEST:: SOT 3477384 SOS 742962 HAS SOPS 742962 HAS SOUS 487960 HAS SOUPS 487960 WITH SCORE 488702.962
AT ITER 2482 NEW BEST:: SOT 3477384 SOS 742962 HAS SOPS 742962 HAS SOUS 487905 HAS SOUPS 487905 WITH SCORE 488647.962
AT ITER 2487 NEW BEST:: SOT 3477372 SOS 742938 HAS SOPS 742938 HAS SOUS 487881 HAS SOUPS 487881 WITH SCORE 488623.938
AT ITER 2503 NEW BEST:: SOT 3477371 SOS 742936 HAS SOPS 742936 HAS SOUS 487880 HAS SOUPS 487880 WITH SCORE 488622.936
AT ITER 2507 NEW BEST:: SOT 3477341 SOS 742876 HAS SOPS 742876 HAS SOUS 487850 HAS SOUPS 487850 WITH SCORE 488592.876
AT ITER 2521 NEW BEST:: SOT 3477328 SOS 742967 HAS SOPS 742967 HAS SOUS 487824 HAS SOUPS 487824 WITH SCORE 488566.967
AT ITER 2528 NEW BEST:: SOT 3476846 SOS 742663 HAS SOPS 742663 HAS SOUS 487520 HAS SOUPS 487520 WITH SCORE 488262.663
AT ITER 2541 NEW BEST:: SOT 3476581 SOS 739483 HAS SOPS 739483 HAS SOUS 486990 HAS SOUPS 486990 WITH SCORE 487729.483
AT ITER 2566 NEW BEST:: SOT 3476415 SOS 740203 HAS SOPS 740203 HAS SOUS 486657 HAS SOUPS 486657 WITH SCORE 487397.203
AT ITER 2580 NEW BEST:: SOT 3476354 SOS 740081 HAS SOPS 740081 HAS SOUS 486535 HAS SOUPS 486535 WITH SCORE 487275.081
AT ITER 2635 NEW BEST:: SOT 3475657 SOS 740889 HAS SOPS 740889 HAS SOUS 486401 HAS SOUPS 486401 WITH SCORE 487141.889
AT ITER 2698 NEW BEST:: SOT 3475522 SOS 740619 HAS SOPS 740619 HAS SOUS 486131 HAS SOUPS 486131 WITH SCORE 486871.619
AT ITER 2717 NEW BEST:: SOT 3475522 SOS 740335 HAS SOPS 740335 HAS SOUS 485847 HAS SOUPS 485847 WITH SCORE 486587.335
AT ITER 2737 NEW BEST:: SOT 3475374 SOS 741371 HAS SOPS 741371 HAS SOUS 485699 HAS SOUPS 485699 WITH SCORE 486440.371
AT ITER 2773 NEW BEST:: SOT 3475214 SOS 741051 HAS SOPS 741051 HAS SOUS 485397 HAS SOUPS 485397 WITH SCORE 486138.051
AT ITER 2813 NEW BEST:: SOT 3474936 SOS 739661 HAS SOPS 739661 HAS SOUS 484841 HAS SOUPS 484841 WITH SCORE 485580.661
AT ITER 2819 NEW BEST:: SOT 3474908 SOS 739605 HAS SOPS 739605 HAS SOUS 484812 HAS SOUPS 484812 WITH SCORE 485551.605
AT ITER 2825 NEW BEST:: SOT 3474845 SOS 739520 HAS SOPS 739520 HAS SOUS 484727 HAS SOUPS 484727 WITH SCORE 485466.52
AT ITER 2831 NEW BEST:: SOT 3474844 SOS 739518 HAS SOPS 739518 HAS SOUS 484725 HAS SOUPS 484725 WITH SCORE 485464.518
AT ITER 2857 NEW BEST:: SOT 3474844 SOS 738957 HAS SOPS 738957 HAS SOUS 484725 HAS SOUPS 484725 WITH SCORE 485463.957
AT ITER 2859 NEW BEST:: SOT 3474371 SOS 738761 HAS SOPS 738761 HAS SOUS 484357 HAS SOUPS 484357 WITH SCORE 485095.761
AT ITER 2888 NEW BEST:: SOT 3474032 SOS 738534 HAS SOPS 738534 HAS SOUS 484067 HAS SOUPS 484067 WITH SCORE 484805.534
AT ITER 2890 NEW BEST:: SOT 3473953 SOS 738376 HAS SOPS 738376 HAS SOUS 484044 HAS SOUPS 484044 WITH SCORE 484782.376
AT ITER 2934 NEW BEST:: SOT 3473965 SOS 738361 HAS SOPS 738361 HAS SOUS 484029 HAS SOUPS 484029 WITH SCORE 484767.361
AT ITER 2973 NEW BEST:: SOT 3473964 SOS 738133 HAS SOPS 738133 HAS SOUS 483801 HAS SOUPS 483801 WITH SCORE 484539.133
AT ITER 2982 NEW BEST:: SOT 3473757 SOS 738127 HAS SOPS 738127 HAS SOUS 483730 HAS SOUPS 483730 WITH SCORE 484468.127
AT ITER 2995 NEW BEST:: SOT 3473685 SOS 738079 HAS SOPS 738079 HAS SOUS 483670 HAS SOUPS 483670 WITH SCORE 484408.079
AT ITER 2997 NEW BEST:: SOT 3473685 SOS 736884 HAS SOPS 736884 HAS SOUS 483604 HAS SOUPS 483604 WITH SCORE 484340.884
AT ITER 3010 NEW BEST:: SOT 3473685 SOS 736341 HAS SOPS 736341 HAS SOUS 483423 HAS SOUPS 483423 WITH SCORE 484159.341
AT ITER 3022 NEW BEST:: SOT 3473492 SOS 736477 HAS SOPS 736477 HAS SOUS 483230 HAS SOUPS 483230 WITH SCORE 483966.477
AT ITER 3037 NEW BEST:: SOT 3473319 SOS 736304 HAS SOPS 736304 HAS SOUS 483057 HAS SOUPS 483057 WITH SCORE 483793.304
AT ITER 3038 NEW BEST:: SOT 3473217 SOS 735981 HAS SOPS 735981 HAS SOUS 482961 HAS SOUPS 482961 WITH SCORE 483696.981
AT ITER 3046 NEW BEST:: SOT 3473262 SOS 736368 HAS SOPS 736368 HAS SOUS 482914 HAS SOUPS 482914 WITH SCORE 483650.368
AT ITER 3052 NEW BEST:: SOT 3472794 SOS 736134 HAS SOPS 736134 HAS SOUS 482680 HAS SOUPS 482680 WITH SCORE 483416.134
AT ITER 3053 NEW BEST:: SOT 3472476 SOS 735498 HAS SOPS 735498 HAS SOUS 482059 HAS SOUPS 482059 WITH SCORE 482794.498
AT ITER 3060 NEW BEST:: SOT 3472406 SOS 735358 HAS SOPS 735358 HAS SOUS 481919 HAS SOUPS 481919 WITH SCORE 482654.358
AT ITER 3073 NEW BEST:: SOT 3470133 SOS 735768 HAS SOPS 735768 HAS SOUS 481559 HAS SOUPS 481559 WITH SCORE 482294.768
AT ITER 3093 NEW BEST:: SOT 3470133 SOS 735710 HAS SOPS 735710 HAS SOUS 481501 HAS SOUPS 481501 WITH SCORE 482236.71
AT ITER 3094 NEW BEST:: SOT 3469774 SOS 737572 HAS SOPS 737572 HAS SOUS 481299 HAS SOUPS 481299 WITH SCORE 482036.572
AT ITER 3096 NEW BEST:: SOT 3469678 SOS 737380 HAS SOPS 737380 HAS SOUS 481098 HAS SOUPS 481098 WITH SCORE 481835.38
AT ITER 3102 NEW BEST:: SOT 3469678 SOS 737375 HAS SOPS 737375 HAS SOUS 481093 HAS SOUPS 481093 WITH SCORE 481830.375
AT ITER 3110 NEW BEST:: SOT 3469678 SOS 737059 HAS SOPS 737059 HAS SOUS 481057 HAS SOUPS 481057 WITH SCORE 481794.059
AT ITER 3113 NEW BEST:: SOT 3469677 SOS 737057 HAS SOPS 737057 HAS SOUS 481055 HAS SOUPS 481055 WITH SCORE 481792.057
AT ITER 3125 NEW BEST:: SOT 3469562 SOS 736827 HAS SOPS 736827 HAS SOUS 480825 HAS SOUPS 480825 WITH SCORE 481561.827
AT ITER 3131 NEW BEST:: SOT 3469491 SOS 736756 HAS SOPS 736756 HAS SOUS 480754 HAS SOUPS 480754 WITH SCORE 481490.756
AT ITER 3143 NEW BEST:: SOT 3469325 SOS 736673 HAS SOPS 736673 HAS SOUS 480671 HAS SOUPS 480671 WITH SCORE 481407.673
AT ITER 3162 NEW BEST:: SOT 3469260 SOS 736699 HAS SOPS 736699 HAS SOUS 480656 HAS SOUPS 480656 WITH SCORE 481392.699
AT ITER 3169 NEW BEST:: SOT 3469260 SOS 736627 HAS SOPS 736627 HAS SOUS 480656 HAS SOUPS 480656 WITH SCORE 481392.627
AT ITER 3188 NEW BEST:: SOT 3469562 SOS 735995 HAS SOPS 735995 HAS SOUS 480566 HAS SOUPS 480566 WITH SCORE 481301.995
AT ITER 3200 NEW BEST:: SOT 3469562 SOS 735838 HAS SOPS 735838 HAS SOUS 480409 HAS SOUPS 480409 WITH SCORE 481144.838
AT ITER 3223 NEW BEST:: SOT 3469478 SOS 735684 HAS SOPS 735684 HAS SOUS 480255 HAS SOUPS 480255 WITH SCORE 480990.684
AT ITER 3228 NEW BEST:: SOT 3469305 SOS 735338 HAS SOPS 735338 HAS SOUS 479909 HAS SOUPS 479909 WITH SCORE 480644.338
AT ITER 3231 NEW BEST:: SOT 3469292 SOS 735312 HAS SOPS 735312 HAS SOUS 479883 HAS SOUPS 479883 WITH SCORE 480618.312
AT ITER 3250 NEW BEST:: SOT 3469254 SOS 735236 HAS SOPS 735236 HAS SOUS 479807 HAS SOUPS 479807 WITH SCORE 480542.236
AT ITER 3261 NEW BEST:: SOT 3469212 SOS 735194 HAS SOPS 735194 HAS SOUS 479765 HAS SOUPS 479765 WITH SCORE 480500.194
AT ITER 3289 NEW BEST:: SOT 3469212 SOS 735191 HAS SOPS 735191 HAS SOUS 479762 HAS SOUPS 479762 WITH SCORE 480497.191
AT ITER 3305 NEW BEST:: SOT 3469212 SOS 735121 HAS SOPS 735121 HAS SOUS 479692 HAS SOUPS 479692 WITH SCORE 480427.121
AT ITER 3323 NEW BEST:: SOT 3468940 SOS 735084 HAS SOPS 735084 HAS SOUS 479499 HAS SOUPS 479499 WITH SCORE 480234.084
AT ITER 3348 NEW BEST:: SOT 3468916 SOS 735022 HAS SOPS 735022 HAS SOUS 479437 HAS SOUPS 479437 WITH SCORE 480172.022
AT ITER 3352 NEW BEST:: SOT 3468828 SOS 734937 HAS SOPS 734937 HAS SOUS 479352 HAS SOUPS 479352 WITH SCORE 480086.937
AT ITER 3402 NEW BEST:: SOT 3468730 SOS 734888 HAS SOPS 734888 HAS SOUS 479303 HAS SOUPS 479303 WITH SCORE 480037.888
AT ITER 3428 NEW BEST:: SOT 3468729 SOS 734886 HAS SOPS 734886 HAS SOUS 479301 HAS SOUPS 479301 WITH SCORE 480035.886
AT ITER 3439 NEW BEST:: SOT 3468704 SOS 734563 HAS SOPS 734563 HAS SOUS 479216 HAS SOUPS 479216 WITH SCORE 479950.563
AT ITER 3464 NEW BEST:: SOT 3468664 SOS 734483 HAS SOPS 734483 HAS SOUS 479136 HAS SOUPS 479136 WITH SCORE 479870.483
AT ITER 3479 NEW BEST:: SOT 3468664 SOS 734748 HAS SOPS 734748 HAS SOUS 479135 HAS SOUPS 479135 WITH SCORE 479869.748
AT ITER 3486 NEW BEST:: SOT 3468132 SOS 735530 HAS SOPS 735530 HAS SOUS 478987 HAS SOUPS 478987 WITH SCORE 479722.53
AT ITER 3489 NEW BEST:: SOT 3468132 SOS 735530 HAS SOPS 735530 HAS SOUS 478951 HAS SOUPS 478951 WITH SCORE 479686.53
AT ITER 3561 NEW BEST:: SOT 3467932 SOS 735280 HAS SOPS 735280 HAS SOUS 478751 HAS SOUPS 478751 WITH SCORE 479486.28
AT ITER 3581 NEW BEST:: SOT 3467932 SOS 735474 HAS SOPS 735474 HAS SOUS 478750 HAS SOUPS 478750 WITH SCORE 479485.474
AT ITER 3605 NEW BEST:: SOT 3466833 SOS 735533 HAS SOPS 735533 HAS SOUS 477869 HAS SOUPS 477869 WITH SCORE 478604.533
AT ITER 3617 NEW BEST:: SOT 3466789 SOS 735489 HAS SOPS 735489 HAS SOUS 477825 HAS SOUPS 477825 WITH SCORE 478560.489
AT ITER 3661 NEW BEST:: SOT 3465076 SOS 734303 HAS SOPS 734303 HAS SOUS 476780 HAS SOUPS 476780 WITH SCORE 477514.303
AT ITER 3696 NEW BEST:: SOT 3465076 SOS 733826 HAS SOPS 733826 HAS SOUS 476621 HAS SOUPS 476621 WITH SCORE 477354.826
AT ITER 3697 NEW BEST:: SOT 3464857 SOS 732605 HAS SOPS 732605 HAS SOUS 476183 HAS SOUPS 476183 WITH SCORE 476915.605
AT ITER 3705 NEW BEST:: SOT 3464774 SOS 732610 HAS SOPS 732610 HAS SOUS 476157 HAS SOUPS 476157 WITH SCORE 476889.61
AT ITER 3707 NEW BEST:: SOT 3464618 SOS 731104 HAS SOPS 731104 HAS SOUS 475866 HAS SOUPS 475866 WITH SCORE 476597.104
AT ITER 3724 NEW BEST:: SOT 3464579 SOS 731026 HAS SOPS 731026 HAS SOUS 475715 HAS SOUPS 475715 WITH SCORE 476446.026
AT ITER 3773 NEW BEST:: SOT 3464579 SOS 731164 HAS SOPS 731164 HAS SOUS 475713 HAS SOUPS 475713 WITH SCORE 476444.164
AT ITER 3777 NEW BEST:: SOT 3464648 SOS 731032 HAS SOPS 731032 HAS SOUS 475581 HAS SOUPS 475581 WITH SCORE 476312.032
AT ITER 3809 NEW BEST:: SOT 3464625 SOS 730986 HAS SOPS 730986 HAS SOUS 475535 HAS SOUPS 475535 WITH SCORE 476265.986
AT ITER 3843 NEW BEST:: SOT 3464680 SOS 730965 HAS SOPS 730965 HAS SOUS 475514 HAS SOUPS 475514 WITH SCORE 476244.965
AT ITER 3862 NEW BEST:: SOT 3464075 SOS 730875 HAS SOPS 730875 HAS SOUS 475023 HAS SOUPS 475023 WITH SCORE 475753.875
AT ITER 3863 NEW BEST:: SOT 3463978 SOS 730681 HAS SOPS 730681 HAS SOUS 474926 HAS SOUPS 474926 WITH SCORE 475656.681
AT ITER 3887 NEW BEST:: SOT 3463937 SOS 730571 HAS SOPS 730571 HAS SOUS 474915 HAS SOUPS 474915 WITH SCORE 475645.571
AT ITER 3904 NEW BEST:: SOT 3463839 SOS 730375 HAS SOPS 730375 HAS SOUS 474743 HAS SOUPS 474743 WITH SCORE 475473.375
AT ITER 3905 NEW BEST:: SOT 3463838 SOS 730373 HAS SOPS 730373 HAS SOUS 474741 HAS SOUPS 474741 WITH SCORE 475471.373
AT ITER 3915 NEW BEST:: SOT 3463619 SOS 730502 HAS SOPS 730502 HAS SOUS 474522 HAS SOUPS 474522 WITH SCORE 475252.502
AT ITER 3921 NEW BEST:: SOT 3463616 SOS 730496 HAS SOPS 730496 HAS SOUS 474516 HAS SOUPS 474516 WITH SCORE 475246.496
AT ITER 3936 NEW BEST:: SOT 3463653 SOS 730368 HAS SOPS 730368 HAS SOUS 474407 HAS SOUPS 474407 WITH SCORE 475137.368
AT ITER 3951 NEW BEST:: SOT 3463259 SOS 729996 HAS SOPS 729996 HAS SOUS 474035 HAS SOUPS 474035 WITH SCORE 474764.996
AT ITER 3963 NEW BEST:: SOT 3463259 SOS 729432 HAS SOPS 729432 HAS SOUS 473847 HAS SOUPS 473847 WITH SCORE 474576.432
AT ITER 3974 NEW BEST:: SOT 3463273 SOS 729978 HAS SOPS 729978 HAS SOUS 473792 HAS SOUPS 473792 WITH SCORE 474521.978
AT ITER 3976 NEW BEST:: SOT 3462980 SOS 729967 HAS SOPS 729967 HAS SOUS 473129 HAS SOUPS 473129 WITH SCORE 473858.967
AT ITER 3986 NEW BEST:: SOT 3462924 SOS 729855 HAS SOPS 729855 HAS SOUS 473017 HAS SOUPS 473017 WITH SCORE 473746.855
AT ITER 4022 NEW BEST:: SOT 3462897 SOS 729801 HAS SOPS 729801 HAS SOUS 472963 HAS SOUPS 472963 WITH SCORE 473692.801
AT ITER 4107 NEW BEST:: SOT 3462894 SOS 730668 HAS SOPS 730668 HAS SOUS 472957 HAS SOUPS 472957 WITH SCORE 473687.668
AT ITER 4130 NEW BEST:: SOT 3462894 SOS 730521 HAS SOPS 730521 HAS SOUS 472908 HAS SOUPS 472908 WITH SCORE 473638.521
AT ITER 4160 NEW BEST:: SOT 3462886 SOS 730513 HAS SOPS 730513 HAS SOUS 472900 HAS SOUPS 472900 WITH SCORE 473630.513
AT ITER 4208 NEW BEST:: SOT 3462909 SOS 730559 HAS SOPS 730559 HAS SOUS 472752 HAS SOUPS 472752 WITH SCORE 473482.559
AT ITER 4241 NEW BEST:: SOT 3462764 SOS 730414 HAS SOPS 730414 HAS SOUS 472462 HAS SOUPS 472462 WITH SCORE 473192.414
AT ITER 4329 NEW BEST:: SOT 3462728 SOS 730180 HAS SOPS 730180 HAS SOUS 472408 HAS SOUPS 472408 WITH SCORE 473138.18
AT ITER 4331 NEW BEST:: SOT 3462728 SOS 730503 HAS SOPS 730503 HAS SOUS 472407 HAS SOUPS 472407 WITH SCORE 473137.503
AT ITER 4341 NEW BEST:: SOT 3462523 SOS 730093 HAS SOPS 730093 HAS SOUS 471939 HAS SOUPS 471939 WITH SCORE 472669.093
AT ITER 4377 NEW BEST:: SOT 3462483 SOS 730013 HAS SOPS 730013 HAS SOUS 471859 HAS SOUPS 471859 WITH SCORE 472589.013
AT ITER 4390 NEW BEST:: SOT 3462264 SOS 729794 HAS SOPS 729794 HAS SOUS 471859 HAS SOUPS 471859 WITH SCORE 472588.794
AT ITER 4425 NEW BEST:: SOT 3462003 SOS 729591 HAS SOPS 729591 HAS SOUS 471830 HAS SOUPS 471830 WITH SCORE 472559.591
AT ITER 4456 NEW BEST:: SOT 3461995 SOS 729638 HAS SOPS 729638 HAS SOUS 471821 HAS SOUPS 471821 WITH SCORE 472550.638
AT ITER 4482 NEW BEST:: SOT 3461900 SOS 729505 HAS SOPS 729505 HAS SOUS 471688 HAS SOUPS 471688 WITH SCORE 472417.505
AT ITER 4498 NEW BEST:: SOT 3461883 SOS 729471 HAS SOPS 729471 HAS SOUS 471654 HAS SOUPS 471654 WITH SCORE 472383.471
AT ITER 4539 NEW BEST:: SOT 3462150 SOS 729897 HAS SOPS 729897 HAS SOUS 471638 HAS SOUPS 471638 WITH SCORE 472367.897
AT ITER 4541 NEW BEST:: SOT 3462135 SOS 730193 HAS SOPS 730193 HAS SOUS 471607 HAS SOUPS 471607 WITH SCORE 472337.193
AT ITER 4546 NEW BEST:: SOT 3462047 SOS 730105 HAS SOPS 730105 HAS SOUS 471519 HAS SOUPS 471519 WITH SCORE 472249.105
AT ITER 4553 NEW BEST:: SOT 3462047 SOS 730105 HAS SOPS 730105 HAS SOUS 471489 HAS SOUPS 471489 WITH SCORE 472219.105
AT ITER 4557 NEW BEST:: SOT 3461407 SOS 728449 HAS SOPS 728449 HAS SOUS 470675 HAS SOUPS 470675 WITH SCORE 471403.449
AT ITER 4558 NEW BEST:: SOT 3461404 SOS 728443 HAS SOPS 728443 HAS SOUS 470405 HAS SOUPS 470405 WITH SCORE 471133.443
AT ITER 4599 NEW BEST:: SOT 3461335 SOS 728305 HAS SOPS 728305 HAS SOUS 470026 HAS SOUPS 470026 WITH SCORE 470754.305
AT ITER 4616 NEW BEST:: SOT 3461361 SOS 728357 HAS SOPS 728357 HAS SOUS 470011 HAS SOUPS 470011 WITH SCORE 470739.357
AT ITER 4621 NEW BEST:: SOT 3461361 SOS 727895 HAS SOPS 727895 HAS SOUS 470011 HAS SOUPS 470011 WITH SCORE 470738.895
AT ITER 4658 NEW BEST:: SOT 3461361 SOS 727807 HAS SOPS 727807 HAS SOUS 469972 HAS SOUPS 469972 WITH SCORE 470699.807
AT ITER 4700 NEW BEST:: SOT 3461319 SOS 727744 HAS SOPS 727744 HAS SOUS 469909 HAS SOUPS 469909 WITH SCORE 470636.744
AT ITER 4704 NEW BEST:: SOT 3461302 SOS 727758 HAS SOPS 727758 HAS SOUS 469891 HAS SOUPS 469891 WITH SCORE 470618.758
AT ITER 4722 NEW BEST:: SOT 3461302 SOS 727537 HAS SOPS 727537 HAS SOUS 469758 HAS SOUPS 469758 WITH SCORE 470485.537
AT ITER 4734 NEW BEST:: SOT 3461201 SOS 727409 HAS SOPS 727409 HAS SOUS 469630 HAS SOUPS 469630 WITH SCORE 470357.409
AT ITER 4756 NEW BEST:: SOT 3461117 SOS 729958 HAS SOPS 729958 HAS SOUS 469461 HAS SOUPS 469461 WITH SCORE 470190.958
AT ITER 4770 NEW BEST:: SOT 3461023 SOS 728753 HAS SOPS 728753 HAS SOUS 469392 HAS SOUPS 469392 WITH SCORE 470120.753
AT ITER 4777 NEW BEST:: SOT 3460967 SOS 728641 HAS SOPS 728641 HAS SOUS 469280 HAS SOUPS 469280 WITH SCORE 470008.641
AT ITER 4803 NEW BEST:: SOT 3460806 SOS 728825 HAS SOPS 728825 HAS SOUS 469185 HAS SOUPS 469185 WITH SCORE 469913.825
AT ITER 4806 NEW BEST:: SOT 3460806 SOS 728740 HAS SOPS 728740 HAS SOUS 469100 HAS SOUPS 469100 WITH SCORE 469828.74
AT ITER 4822 NEW BEST:: SOT 3460777 SOS 728711 HAS SOPS 728711 HAS SOUS 469071 HAS SOUPS 469071 WITH SCORE 469799.711
AT ITER 4849 NEW BEST:: SOT 3460545 SOS 728943 HAS SOPS 728943 HAS SOUS 468839 HAS SOUPS 468839 WITH SCORE 469567.943
AT ITER 4865 NEW BEST:: SOT 3460392 SOS 728637 HAS SOPS 728637 HAS SOUS 468686 HAS SOUPS 468686 WITH SCORE 469414.637
AT ITER 4914 NEW BEST:: SOT 3460380 SOS 726732 HAS SOPS 726732 HAS SOUS 468662 HAS SOUPS 468662 WITH SCORE 469388.732
AT ITER 4925 NEW BEST:: SOT 3460458 SOS 726548 HAS SOPS 726548 HAS SOUS 468648 HAS SOUPS 468648 WITH SCORE 469374.548
AT ITER 4936 NEW BEST:: SOT 3460458 SOS 726645 HAS SOPS 726645 HAS SOUS 468647 HAS SOUPS 468647 WITH SCORE 469373.645
AT ITER 4965 NEW BEST:: SOT 3460452 SOS 726633 HAS SOPS 726633 HAS SOUS 468635 HAS SOUPS 468635 WITH SCORE 469361.633
AT ITER 4993 NEW BEST:: SOT 3460312 SOS 727049 HAS SOPS 727049 HAS SOUS 468634 HAS SOUPS 468634 WITH SCORE 469361.049
AT ITER 5001 NEW BEST:: SOT 3460312 SOS 727049 HAS SOPS 727049 HAS SOUS 468565 HAS SOUPS 468565 WITH SCORE 469292.049
AT ITER 5012 NEW BEST:: SOT 3460193 SOS 725179 HAS SOPS 725179 HAS SOUS 468242 HAS SOUPS 468242 WITH SCORE 468967.179
AT ITER 5027 NEW BEST:: SOT 3460193 SOS 725178 HAS SOPS 725178 HAS SOUS 468241 HAS SOUPS 468241 WITH SCORE 468966.178
AT ITER 5028 NEW BEST:: SOT 3460113 SOS 725174 HAS SOPS 725174 HAS SOUS 468204 HAS SOUPS 468204 WITH SCORE 468929.174
AT ITER 5039 NEW BEST:: SOT 3459927 SOS 724988 HAS SOPS 724988 HAS SOUS 468018 HAS SOUPS 468018 WITH SCORE 468742.988
AT ITER 5045 NEW BEST:: SOT 3459927 SOS 725293 HAS SOPS 725293 HAS SOUS 468017 HAS SOUPS 468017 WITH SCORE 468742.293
AT ITER 5094 NEW BEST:: SOT 3459815 SOS 725069 HAS SOPS 725069 HAS SOUS 467869 HAS SOUPS 467869 WITH SCORE 468594.069
AT ITER 5127 NEW BEST:: SOT 3459814 SOS 725067 HAS SOPS 725067 HAS SOUS 467867 HAS SOUPS 467867 WITH SCORE 468592.067
AT ITER 5132 NEW BEST:: SOT 3459814 SOS 724599 HAS SOPS 724599 HAS SOUS 467711 HAS SOUPS 467711 WITH SCORE 468435.599
AT ITER 5163 NEW BEST:: SOT 3459801 SOS 724573 HAS SOPS 724573 HAS SOUS 467698 HAS SOUPS 467698 WITH SCORE 468422.573
AT ITER 5167 NEW BEST:: SOT 3459712 SOS 724484 HAS SOPS 724484 HAS SOUS 467609 HAS SOUPS 467609 WITH SCORE 468333.484
AT ITER 5168 NEW BEST:: SOT 3459411 SOS 723882 HAS SOPS 723882 HAS SOUS 467233 HAS SOUPS 467233 WITH SCORE 467956.882
AT ITER 5171 NEW BEST:: SOT 3459411 SOS 724817 HAS SOPS 724817 HAS SOUS 467232 HAS SOUPS 467232 WITH SCORE 467956.817
AT ITER 5177 NEW BEST:: SOT 3459411 SOS 724817 HAS SOPS 724817 HAS SOUS 467161 HAS SOUPS 467161 WITH SCORE 467885.817
AT ITER 5182 NEW BEST:: SOT 3459451 SOS 725139 HAS SOPS 725139 HAS SOUS 467120 HAS SOUPS 467120 WITH SCORE 467845.139
AT ITER 5239 NEW BEST:: SOT 3459389 SOS 724420 HAS SOPS 724420 HAS SOUS 466760 HAS SOUPS 466760 WITH SCORE 467484.42
AT ITER 5257 NEW BEST:: SOT 3459389 SOS 724364 HAS SOPS 724364 HAS SOUS 466732 HAS SOUPS 466732 WITH SCORE 467456.364
AT ITER 5258 NEW BEST:: SOT 3459388 SOS 724362 HAS SOPS 724362 HAS SOUS 466730 HAS SOUPS 466730 WITH SCORE 467454.362
AT ITER 5276 NEW BEST:: SOT 3459397 SOS 724787 HAS SOPS 724787 HAS SOUS 466542 HAS SOUPS 466542 WITH SCORE 467266.787
AT ITER 5319 NEW BEST:: SOT 3459370 SOS 724706 HAS SOPS 724706 HAS SOUS 466515 HAS SOUPS 466515 WITH SCORE 467239.706
AT ITER 5322 NEW BEST:: SOT 3459362 SOS 724698 HAS SOPS 724698 HAS SOUS 466507 HAS SOUPS 466507 WITH SCORE 467231.698
AT ITER 5337 NEW BEST:: SOT 3459362 SOS 724710 HAS SOPS 724710 HAS SOUS 466479 HAS SOUPS 466479 WITH SCORE 467203.71
AT ITER 5342 NEW BEST:: SOT 3459291 SOS 724568 HAS SOPS 724568 HAS SOUS 466399 HAS SOUPS 466399 WITH SCORE 467123.568
AT ITER 5391 NEW BEST:: SOT 3459291 SOS 724565 HAS SOPS 724565 HAS SOUS 466398 HAS SOUPS 466398 WITH SCORE 467122.565
AT ITER 5397 NEW BEST:: SOT 3459410 SOS 724026 HAS SOPS 724026 HAS SOUS 466366 HAS SOUPS 466366 WITH SCORE 467090.026
AT ITER 5429 NEW BEST:: SOT 3459405 SOS 724016 HAS SOPS 724016 HAS SOUS 466366 HAS SOUPS 466366 WITH SCORE 467090.016
AT ITER 5445 NEW BEST:: SOT 3459405 SOS 724402 HAS SOPS 724402 HAS SOUS 466365 HAS SOUPS 466365 WITH SCORE 467089.402
AT ITER 5458 NEW BEST:: SOT 3459365 SOS 724342 HAS SOPS 724342 HAS SOUS 466305 HAS SOUPS 466305 WITH SCORE 467029.342
AT ITER 5461 NEW BEST:: SOT 3459229 SOS 724070 HAS SOPS 724070 HAS SOUS 466033 HAS SOUPS 466033 WITH SCORE 466757.07
AT ITER 5462 NEW BEST:: SOT 3459072 SOS 724046 HAS SOPS 724046 HAS SOUS 465976 HAS SOUPS 465976 WITH SCORE 466700.046
AT ITER 5476 NEW BEST:: SOT 3458959 SOS 723820 HAS SOPS 723820 HAS SOUS 465749 HAS SOUPS 465749 WITH SCORE 466472.82
AT ITER 5497 NEW BEST:: SOT 3457684 SOS 723356 HAS SOPS 723356 HAS SOUS 465356 HAS SOUPS 465356 WITH SCORE 466079.356
AT ITER 5507 NEW BEST:: SOT 3457361 SOS 723690 HAS SOPS 723690 HAS SOUS 464974 HAS SOUPS 464974 WITH SCORE 465697.69
AT ITER 5517 NEW BEST:: SOT 3455051 SOS 723431 HAS SOPS 723431 HAS SOUS 462854 HAS SOUPS 462854 WITH SCORE 463577.431
AT ITER 5556 NEW BEST:: SOT 3455039 SOS 723409 HAS SOPS 723409 HAS SOUS 462841 HAS SOUPS 462841 WITH SCORE 463564.409
AT ITER 5557 NEW BEST:: SOT 3455167 SOS 723221 HAS SOPS 723221 HAS SOUS 462821 HAS SOUPS 462821 WITH SCORE 463544.221
AT ITER 5566 NEW BEST:: SOT 3455047 SOS 723123 HAS SOPS 723123 HAS SOUS 462723 HAS SOUPS 462723 WITH SCORE 463446.123
AT ITER 5587 NEW BEST:: SOT 3455031 SOS 723091 HAS SOPS 723091 HAS SOUS 462691 HAS SOUPS 462691 WITH SCORE 463414.091
AT ITER 5615 NEW BEST:: SOT 3455004 SOS 723037 HAS SOPS 723037 HAS SOUS 462248 HAS SOUPS 462248 WITH SCORE 462971.037
AT ITER 5622 NEW BEST:: SOT 3454973 SOS 722975 HAS SOPS 722975 HAS SOUS 462217 HAS SOUPS 462217 WITH SCORE 462939.975
AT ITER 5643 NEW BEST:: SOT 3454944 SOS 722934 HAS SOPS 722934 HAS SOUS 462204 HAS SOUPS 462204 WITH SCORE 462926.934
AT ITER 5658 NEW BEST:: SOT 3454866 SOS 722856 HAS SOPS 722856 HAS SOUS 462126 HAS SOUPS 462126 WITH SCORE 462848.856
AT ITER 5727 NEW BEST:: SOT 3454815 SOS 722805 HAS SOPS 722805 HAS SOUS 462126 HAS SOUPS 462126 WITH SCORE 462848.805
AT ITER 5771 NEW BEST:: SOT 3455260 SOS 722565 HAS SOPS 722565 HAS SOUS 462020 HAS SOUPS 462020 WITH SCORE 462742.565
AT ITER 5775 NEW BEST:: SOT 3455228 SOS 722501 HAS SOPS 722501 HAS SOUS 461956 HAS SOUPS 461956 WITH SCORE 462678.501
AT ITER 5789 NEW BEST:: SOT 3455113 SOS 722271 HAS SOPS 722271 HAS SOUS 461825 HAS SOUPS 461825 WITH SCORE 462547.271
AT ITER 5800 NEW BEST:: SOT 3455080 SOS 722205 HAS SOPS 722205 HAS SOUS 461759 HAS SOUPS 461759 WITH SCORE 462481.205
AT ITER 5808 NEW BEST:: SOT 3454783 SOS 721974 HAS SOPS 721974 HAS SOUS 461693 HAS SOUPS 461693 WITH SCORE 462414.974
AT ITER 5854 NEW BEST:: SOT 3454396 SOS 721200 HAS SOPS 721200 HAS SOUS 461217 HAS SOUPS 461217 WITH SCORE 461938.2
AT ITER 5875 NEW BEST:: SOT 3453540 SOS 720165 HAS SOPS 720165 HAS SOUS 460361 HAS SOUPS 460361 WITH SCORE 461081.165
AT ITER 5890 NEW BEST:: SOT 3453386 SOS 719857 HAS SOPS 719857 HAS SOUS 459899 HAS SOUPS 459899 WITH SCORE 460618.857
AT ITER 5912 NEW BEST:: SOT 3453285 SOS 719655 HAS SOPS 719655 HAS SOUS 459628 HAS SOUPS 459628 WITH SCORE 460347.655
AT ITER 5918 NEW BEST:: SOT 3453285 SOS 719655 HAS SOPS 719655 HAS SOUS 459627 HAS SOUPS 459627 WITH SCORE 460346.655
AT ITER 5922 NEW BEST:: SOT 3452985 SOS 719355 HAS SOPS 719355 HAS SOUS 459415 HAS SOUPS 459415 WITH SCORE 460134.355
AT ITER 5928 NEW BEST:: SOT 3452979 SOS 719343 HAS SOPS 719343 HAS SOUS 459333 HAS SOUPS 459333 WITH SCORE 460052.343
AT ITER 5974 NEW BEST:: SOT 3452882 SOS 719149 HAS SOPS 719149 HAS SOUS 459139 HAS SOUPS 459139 WITH SCORE 459858.149
AT ITER 5984 NEW BEST:: SOT 3452849 SOS 719083 HAS SOPS 719083 HAS SOUS 459106 HAS SOUPS 459106 WITH SCORE 459825.083
AT ITER 6007 NEW BEST:: SOT 3452789 SOS 718961 HAS SOPS 718961 HAS SOUS 458984 HAS SOUPS 458984 WITH SCORE 459702.961
AT ITER 6022 NEW BEST:: SOT 3452512 SOS 718910 HAS SOPS 718910 HAS SOUS 458706 HAS SOUPS 458706 WITH SCORE 459424.91
AT ITER 6027 NEW BEST:: SOT 3452528 SOS 718942 HAS SOPS 718942 HAS SOUS 458639 HAS SOUPS 458639 WITH SCORE 459357.942
AT ITER 6040 NEW BEST:: SOT 3452528 SOS 718940 HAS SOPS 718940 HAS SOUS 458637 HAS SOUPS 458637 WITH SCORE 459355.94
AT ITER 6043 NEW BEST:: SOT 3452292 SOS 718535 HAS SOPS 718535 HAS SOUS 458232 HAS SOUPS 458232 WITH SCORE 458950.535
AT ITER 6110 NEW BEST:: SOT 3452214 SOS 718457 HAS SOPS 718457 HAS SOUS 458154 HAS SOUPS 458154 WITH SCORE 458872.457
AT ITER 6111 NEW BEST:: SOT 3452211 SOS 718454 HAS SOPS 718454 HAS SOUS 458151 HAS SOUPS 458151 WITH SCORE 458869.454
AT ITER 6114 NEW BEST:: SOT 3452441 SOS 719087 HAS SOPS 719087 HAS SOUS 458033 HAS SOUPS 458033 WITH SCORE 458752.087
AT ITER 6117 NEW BEST:: SOT 3452383 SOS 718971 HAS SOPS 718971 HAS SOUS 457917 HAS SOUPS 457917 WITH SCORE 458635.971
AT ITER 6144 NEW BEST:: SOT 3452352 SOS 718276 HAS SOPS 718276 HAS SOUS 457644 HAS SOUPS 457644 WITH SCORE 458362.276
AT ITER 6146 NEW BEST:: SOT 3452364 SOS 718265 HAS SOPS 718265 HAS SOUS 457633 HAS SOUPS 457633 WITH SCORE 458351.265
AT ITER 6147 NEW BEST:: SOT 3452111 SOS 718536 HAS SOPS 718536 HAS SOUS 457526 HAS SOUPS 457526 WITH SCORE 458244.536
AT ITER 6175 NEW BEST:: SOT 3451781 SOS 717850 HAS SOPS 717850 HAS SOUS 457107 HAS SOUPS 457107 WITH SCORE 457824.85
AT ITER 6185 NEW BEST:: SOT 3451688 SOS 717664 HAS SOPS 717664 HAS SOUS 456921 HAS SOUPS 456921 WITH SCORE 457638.664
AT ITER 6198 NEW BEST:: SOT 3451682 SOS 717661 HAS SOPS 717661 HAS SOUS 456920 HAS SOUPS 456920 WITH SCORE 457637.661
AT ITER 6203 NEW BEST:: SOT 3451682 SOS 717661 HAS SOPS 717661 HAS SOUS 456829 HAS SOUPS 456829 WITH SCORE 457546.661
AT ITER 6216 NEW BEST:: SOT 3451568 SOS 717901 HAS SOPS 717901 HAS SOUS 456653 HAS SOUPS 456653 WITH SCORE 457370.901
AT ITER 6273 NEW BEST:: SOT 3451532 SOS 717829 HAS SOPS 717829 HAS SOUS 456617 HAS SOUPS 456617 WITH SCORE 457334.829
AT ITER 6300 NEW BEST:: SOT 3451469 SOS 717703 HAS SOPS 717703 HAS SOUS 456491 HAS SOUPS 456491 WITH SCORE 457208.703
AT ITER 6313 NEW BEST:: SOT 3451371 SOS 716921 HAS SOPS 716921 HAS SOUS 456097 HAS SOUPS 456097 WITH SCORE 456813.921
AT ITER 6318 NEW BEST:: SOT 3451194 SOS 716744 HAS SOPS 716744 HAS SOUS 455920 HAS SOUPS 455920 WITH SCORE 456636.744
AT ITER 6324 NEW BEST:: SOT 3451135 SOS 716626 HAS SOPS 716626 HAS SOUS 455802 HAS SOUPS 455802 WITH SCORE 456518.626
AT ITER 6331 NEW BEST:: SOT 3451135 SOS 716550 HAS SOPS 716550 HAS SOUS 455802 HAS SOUPS 455802 WITH SCORE 456518.55
AT ITER 6379 NEW BEST:: SOT 3451134 SOS 716548 HAS SOPS 716548 HAS SOUS 455800 HAS SOUPS 455800 WITH SCORE 456516.548
AT ITER 6424 NEW BEST:: SOT 3451070 SOS 716420 HAS SOPS 716420 HAS SOUS 455672 HAS SOUPS 455672 WITH SCORE 456388.42
AT ITER 6495 NEW BEST:: SOT 3451030 SOS 716340 HAS SOPS 716340 HAS SOUS 455592 HAS SOUPS 455592 WITH SCORE 456308.34
AT ITER 6504 NEW BEST:: SOT 3450972 SOS 716220 HAS SOPS 716220 HAS SOUS 455475 HAS SOUPS 455475 WITH SCORE 456191.22
AT ITER 6547 NEW BEST:: SOT 3450826 SOS 716001 HAS SOPS 716001 HAS SOUS 455256 HAS SOUPS 455256 WITH SCORE 455972.001
AT ITER 6606 NEW BEST:: SOT 3450739 SOS 715837 HAS SOPS 715837 HAS SOUS 455092 HAS SOUPS 455092 WITH SCORE 455807.837
AT ITER 6610 NEW BEST:: SOT 3450470 SOS 715897 HAS SOPS 715897 HAS SOUS 454823 HAS SOUPS 454823 WITH SCORE 455538.897
AT ITER 6625 NEW BEST:: SOT 3450276 SOS 715839 HAS SOPS 715839 HAS SOUS 454629 HAS SOUPS 454629 WITH SCORE 455344.839
AT ITER 6629 NEW BEST:: SOT 3450240 SOS 715809 HAS SOPS 715809 HAS SOUS 454599 HAS SOUPS 454599 WITH SCORE 455314.809
AT ITER 6630 NEW BEST:: SOT 3449888 SOS 715105 HAS SOPS 715105 HAS SOUS 454166 HAS SOUPS 454166 WITH SCORE 454881.105
AT ITER 6664 NEW BEST:: SOT 3449638 SOS 714605 HAS SOPS 714605 HAS SOUS 453619 HAS SOUPS 453619 WITH SCORE 454333.605
AT ITER 6697 NEW BEST:: SOT 3449638 SOS 714355 HAS SOPS 714355 HAS SOUS 453369 HAS SOUPS 453369 WITH SCORE 454083.355
AT ITER 6744 NEW BEST:: SOT 3449494 SOS 713851 HAS SOPS 713851 HAS SOUS 453081 HAS SOUPS 453081 WITH SCORE 453794.851
AT ITER 6760 NEW BEST:: SOT 3449683 SOS 713709 HAS SOPS 713709 HAS SOUS 453010 HAS SOUPS 453010 WITH SCORE 453723.709
AT ITER 6761 NEW BEST:: SOT 3449593 SOS 713529 HAS SOPS 713529 HAS SOUS 452803 HAS SOUPS 452803 WITH SCORE 453516.529
AT ITER 6776 NEW BEST:: SOT 3449555 SOS 713128 HAS SOPS 713128 HAS SOUS 452402 HAS SOUPS 452402 WITH SCORE 453115.128
AT ITER 6788 NEW BEST:: SOT 3449555 SOS 713069 HAS SOPS 713069 HAS SOUS 452402 HAS SOUPS 452402 WITH SCORE 453115.069
AT ITER 6830 NEW BEST:: SOT 3449347 SOS 713036 HAS SOPS 713036 HAS SOUS 452369 HAS SOUPS 452369 WITH SCORE 453082.036
AT ITER 6834 NEW BEST:: SOT 3449304 SOS 712945 HAS SOPS 712945 HAS SOUS 452296 HAS SOUPS 452296 WITH SCORE 453008.945
AT ITER 6837 NEW BEST:: SOT 3449242 SOS 712921 HAS SOPS 712921 HAS SOUS 452272 HAS SOUPS 452272 WITH SCORE 452984.921
AT ITER 6852 NEW BEST:: SOT 3449165 SOS 712767 HAS SOPS 712767 HAS SOUS 452118 HAS SOUPS 452118 WITH SCORE 452830.767
AT ITER 6896 NEW BEST:: SOT 3448924 SOS 712767 HAS SOPS 712767 HAS SOUS 451877 HAS SOUPS 451877 WITH SCORE 452589.767
AT ITER 6928 NEW BEST:: SOT 3448904 SOS 712489 HAS SOPS 712489 HAS SOUS 451857 HAS SOUPS 451857 WITH SCORE 452569.489
AT ITER 6963 NEW BEST:: SOT 3447249 SOS 712633 HAS SOPS 712633 HAS SOUS 451515 HAS SOUPS 451515 WITH SCORE 452227.633
AT ITER 6967 NEW BEST:: SOT 3447165 SOS 712633 HAS SOPS 712633 HAS SOUS 451431 HAS SOUPS 451431 WITH SCORE 452143.633
AT ITER 7032 NEW BEST:: SOT 3447105 SOS 712513 HAS SOPS 712513 HAS SOUS 450947 HAS SOUPS 450947 WITH SCORE 451659.513
AT ITER 7064 NEW BEST:: SOT 3447105 SOS 712501 HAS SOPS 712501 HAS SOUS 450935 HAS SOUPS 450935 WITH SCORE 451647.501
AT ITER 7101 NEW BEST:: SOT 3447101 SOS 712398 HAS SOPS 712398 HAS SOUS 450931 HAS SOUPS 450931 WITH SCORE 451643.398
AT ITER 7116 NEW BEST:: SOT 3446734 SOS 712045 HAS SOPS 712045 HAS SOUS 450578 HAS SOUPS 450578 WITH SCORE 451290.045
AT ITER 7145 NEW BEST:: SOT 3446713 SOS 712003 HAS SOPS 712003 HAS SOUS 450536 HAS SOUPS 450536 WITH SCORE 451248.003
AT ITER 7184 NEW BEST:: SOT 3446568 SOS 711610 HAS SOPS 711610 HAS SOUS 450246 HAS SOUPS 450246 WITH SCORE 450957.61
AT ITER 7185 NEW BEST:: SOT 3446560 SOS 711594 HAS SOPS 711594 HAS SOUS 450238 HAS SOUPS 450238 WITH SCORE 450949.594
AT ITER 7193 NEW BEST:: SOT 3446498 SOS 711470 HAS SOPS 711470 HAS SOUS 450114 HAS SOUPS 450114 WITH SCORE 450825.47
AT ITER 7209 NEW BEST:: SOT 3446135 SOS 709694 HAS SOPS 709694 HAS SOUS 449268 HAS SOUPS 449268 WITH SCORE 449977.694
AT ITER 7281 NEW BEST:: SOT 3445816 SOS 708099 HAS SOPS 708099 HAS SOUS 448630 HAS SOUPS 448630 WITH SCORE 449338.099
AT ITER 7307 NEW BEST:: SOT 3445800 SOS 708066 HAS SOPS 708066 HAS SOUS 448597 HAS SOUPS 448597 WITH SCORE 449305.066
AT ITER 7311 NEW BEST:: SOT 3445800 SOS 707986 HAS SOPS 707986 HAS SOUS 448517 HAS SOUPS 448517 WITH SCORE 449224.986
AT ITER 7318 NEW BEST:: SOT 3445800 SOS 707686 HAS SOPS 707686 HAS SOUS 448487 HAS SOUPS 448487 WITH SCORE 449194.686
AT ITER 7321 NEW BEST:: SOT 3445806 SOS 707605 HAS SOPS 707605 HAS SOUS 448406 HAS SOUPS 448406 WITH SCORE 449113.605
AT ITER 7349 NEW BEST:: SOT 3445314 SOS 706929 HAS SOPS 706929 HAS SOUS 447914 HAS SOUPS 447914 WITH SCORE 448620.929
AT ITER 7378 NEW BEST:: SOT 3445302 SOS 706949 HAS SOPS 706949 HAS SOUS 447838 HAS SOUPS 447838 WITH SCORE 448544.949
AT ITER 7388 NEW BEST:: SOT 3445008 SOS 702851 HAS SOPS 702851 HAS SOUS 447544 HAS SOUPS 447544 WITH SCORE 448246.851
AT ITER 7421 NEW BEST:: SOT 3445006 SOS 702847 HAS SOPS 702847 HAS SOUS 447540 HAS SOUPS 447540 WITH SCORE 448242.847
AT ITER 7429 NEW BEST:: SOT 3445006 SOS 703340 HAS SOPS 703340 HAS SOUS 447539 HAS SOUPS 447539 WITH SCORE 448242.34
AT ITER 7438 NEW BEST:: SOT 3444826 SOS 703160 HAS SOPS 703160 HAS SOUS 447359 HAS SOUPS 447359 WITH SCORE 448062.16
AT ITER 7454 NEW BEST:: SOT 3444646 SOS 703040 HAS SOPS 703040 HAS SOUS 447239 HAS SOUPS 447239 WITH SCORE 447942.04
AT ITER 7528 NEW BEST:: SOT 3444646 SOS 703003 HAS SOPS 703003 HAS SOUS 447202 HAS SOUPS 447202 WITH SCORE 447905.003
AT ITER 7537 NEW BEST:: SOT 3444738 SOS 703187 HAS SOPS 703187 HAS SOUS 447190 HAS SOUPS 447190 WITH SCORE 447893.187
AT ITER 7552 NEW BEST:: SOT 3444737 SOS 703185 HAS SOPS 703185 HAS SOUS 447188 HAS SOUPS 447188 WITH SCORE 447891.185
AT ITER 7597 NEW BEST:: SOT 3444644 SOS 703092 HAS SOPS 703092 HAS SOUS 447095 HAS SOUPS 447095 WITH SCORE 447798.092
AT ITER 7610 NEW BEST:: SOT 3444644 SOS 702892 HAS SOPS 702892 HAS SOUS 447095 HAS SOUPS 447095 WITH SCORE 447797.892
AT ITER 7648 NEW BEST:: SOT 3444326 SOS 702256 HAS SOPS 702256 HAS SOUS 446443 HAS SOUPS 446443 WITH SCORE 447145.256
AT ITER 7656 NEW BEST:: SOT 3444025 SOS 701932 HAS SOPS 701932 HAS SOUS 446142 HAS SOUPS 446142 WITH SCORE 446843.932
AT ITER 7697 NEW BEST:: SOT 3443948 SOS 702050 HAS SOPS 702050 HAS SOUS 446124 HAS SOUPS 446124 WITH SCORE 446826.05
AT ITER 7702 NEW BEST:: SOT 3443673 SOS 701984 HAS SOPS 701984 HAS SOUS 446058 HAS SOUPS 446058 WITH SCORE 446759.984
AT ITER 7705 NEW BEST:: SOT 3443620 SOS 701878 HAS SOPS 701878 HAS SOUS 445952 HAS SOUPS 445952 WITH SCORE 446653.878
AT ITER 7721 NEW BEST:: SOT 3443646 SOS 701774 HAS SOPS 701774 HAS SOUS 445929 HAS SOUPS 445929 WITH SCORE 446630.774
AT ITER 7798 NEW BEST:: SOT 3443438 SOS 701358 HAS SOPS 701358 HAS SOUS 445513 HAS SOUPS 445513 WITH SCORE 446214.358
AT ITER 7808 NEW BEST:: SOT 3443430 SOS 701342 HAS SOPS 701342 HAS SOUS 445497 HAS SOUPS 445497 WITH SCORE 446198.342
AT ITER 7837 NEW BEST:: SOT 3443554 SOS 701590 HAS SOPS 701590 HAS SOUS 445488 HAS SOUPS 445488 WITH SCORE 446189.59
AT ITER 7841 NEW BEST:: SOT 3443603 SOS 701246 HAS SOPS 701246 HAS SOUS 445365 HAS SOUPS 445365 WITH SCORE 446066.246
AT ITER 7842 NEW BEST:: SOT 3443513 SOS 701066 HAS SOPS 701066 HAS SOUS 445185 HAS SOUPS 445185 WITH SCORE 445886.066
AT ITER 7860 NEW BEST:: SOT 3443109 SOS 699240 HAS SOPS 699240 HAS SOUS 444245 HAS SOUPS 444245 WITH SCORE 444944.24
AT ITER 7861 NEW BEST:: SOT 3442809 SOS 697822 HAS SOPS 697822 HAS SOUS 443541 HAS SOUPS 443541 WITH SCORE 444238.822
AT ITER 7899 NEW BEST:: SOT 3442809 SOS 697779 HAS SOPS 697779 HAS SOUS 443498 HAS SOUPS 443498 WITH SCORE 444195.779
AT ITER 7909 NEW BEST:: SOT 3442893 SOS 697695 HAS SOPS 697695 HAS SOUS 443498 HAS SOUPS 443498 WITH SCORE 444195.695
AT ITER 7910 NEW BEST:: SOT 3442845 SOS 697215 HAS SOPS 697215 HAS SOUS 443402 HAS SOUPS 443402 WITH SCORE 444099.215
AT ITER 7933 NEW BEST:: SOT 3442724 SOS 697094 HAS SOPS 697094 HAS SOUS 443363 HAS SOUPS 443363 WITH SCORE 444060.094
AT ITER 7969 NEW BEST:: SOT 3442688 SOS 697022 HAS SOPS 697022 HAS SOUS 443327 HAS SOUPS 443327 WITH SCORE 444024.022
AT ITER 8019 NEW BEST:: SOT 3442688 SOS 697005 HAS SOPS 697005 HAS SOUS 443310 HAS SOUPS 443310 WITH SCORE 444007.005
AT ITER 8030 NEW BEST:: SOT 3442688 SOS 696863 HAS SOPS 696863 HAS SOUS 443310 HAS SOUPS 443310 WITH SCORE 444006.863
AT ITER 8084 NEW BEST:: SOT 3442669 SOS 696825 HAS SOPS 696825 HAS SOUS 443288 HAS SOUPS 443288 WITH SCORE 443984.825
AT ITER 8114 NEW BEST:: SOT 3442460 SOS 696939 HAS SOPS 696939 HAS SOUS 443097 HAS SOUPS 443097 WITH SCORE 443793.939
AT ITER 8130 NEW BEST:: SOT 3442245 SOS 696850 HAS SOPS 696850 HAS SOUS 442888 HAS SOUPS 442888 WITH SCORE 443584.85
AT ITER 8158 NEW BEST:: SOT 3441352 SOS 696079 HAS SOPS 696079 HAS SOUS 442291 HAS SOUPS 442291 WITH SCORE 442987.079
AT ITER 8174 NEW BEST:: SOT 3441264 SOS 696076 HAS SOPS 696076 HAS SOUS 442288 HAS SOUPS 442288 WITH SCORE 442984.076
AT ITER 8179 NEW BEST:: SOT 3441264 SOS 696073 HAS SOPS 696073 HAS SOUS 442285 HAS SOUPS 442285 WITH SCORE 442981.073
AT ITER 8182 NEW BEST:: SOT 3441111 SOS 696069 HAS SOPS 696069 HAS SOUS 442243 HAS SOUPS 442243 WITH SCORE 442939.069
AT ITER 8264 NEW BEST:: SOT 3441203 SOS 695560 HAS SOPS 695560 HAS SOUS 442104 HAS SOUPS 442104 WITH SCORE 442799.56
AT ITER 8292 NEW BEST:: SOT 3441138 SOS 696132 HAS SOPS 696132 HAS SOUS 441974 HAS SOUPS 441974 WITH SCORE 442670.132
AT ITER 8339 NEW BEST:: SOT 3441024 SOS 696081 HAS SOPS 696081 HAS SOUS 441919 HAS SOUPS 441919 WITH SCORE 442615.081
AT ITER 8385 NEW BEST:: SOT 3440664 SOS 695874 HAS SOPS 695874 HAS SOUS 441712 HAS SOUPS 441712 WITH SCORE 442407.874
AT ITER 8434 NEW BEST:: SOT 3440626 SOS 695798 HAS SOPS 695798 HAS SOUS 441636 HAS SOUPS 441636 WITH SCORE 442331.798
AT ITER 8445 NEW BEST:: SOT 3440611 SOS 695798 HAS SOPS 695798 HAS SOUS 441621 HAS SOUPS 441621 WITH SCORE 442316.798
AT ITER 8448 NEW BEST:: SOT 3440611 SOS 695724 HAS SOPS 695724 HAS SOUS 441621 HAS SOUPS 441621 WITH SCORE 442316.724
AT ITER 8464 NEW BEST:: SOT 3440377 SOS 693056 HAS SOPS 693056 HAS SOUS 441428 HAS SOUPS 441428 WITH SCORE 442121.056
AT ITER 8474 NEW BEST:: SOT 3440496 SOS 693055 HAS SOPS 693055 HAS SOUS 441427 HAS SOUPS 441427 WITH SCORE 442120.055
AT ITER 8502 NEW BEST:: SOT 3440495 SOS 693055 HAS SOPS 693055 HAS SOUS 441426 HAS SOUPS 441426 WITH SCORE 442119.055
AT ITER 8528 NEW BEST:: SOT 3440464 SOS 692980 HAS SOPS 692980 HAS SOUS 441351 HAS SOUPS 441351 WITH SCORE 442043.98
AT ITER 8534 NEW BEST:: SOT 3440461 SOS 692974 HAS SOPS 692974 HAS SOUS 441345 HAS SOUPS 441345 WITH SCORE 442037.974
AT ITER 8567 NEW BEST:: SOT 3440459 SOS 692968 HAS SOPS 692968 HAS SOUS 441341 HAS SOUPS 441341 WITH SCORE 442033.968
AT ITER 8616 NEW BEST:: SOT 3440415 SOS 692880 HAS SOPS 692880 HAS SOUS 441253 HAS SOUPS 441253 WITH SCORE 441945.88
AT ITER 8652 NEW BEST:: SOT 3440361 SOS 692772 HAS SOPS 692772 HAS SOUS 441145 HAS SOUPS 441145 WITH SCORE 441837.772
AT ITER 8656 NEW BEST:: SOT 3440236 SOS 692522 HAS SOPS 692522 HAS SOUS 440916 HAS SOUPS 440916 WITH SCORE 441608.522
AT ITER 8660 NEW BEST:: SOT 3440146 SOS 692342 HAS SOPS 692342 HAS SOUS 440736 HAS SOUPS 440736 WITH SCORE 441428.342
AT ITER 8713 NEW BEST:: SOT 3440031 SOS 692112 HAS SOPS 692112 HAS SOUS 440506 HAS SOUPS 440506 WITH SCORE 441198.112
AT ITER 8721 NEW BEST:: SOT 3439909 SOS 691977 HAS SOPS 691977 HAS SOUS 440487 HAS SOUPS 440487 WITH SCORE 441178.977
AT ITER 8726 NEW BEST:: SOT 3439993 SOS 691557 HAS SOPS 691557 HAS SOUS 440375 HAS SOUPS 440375 WITH SCORE 441066.557
AT ITER 8734 NEW BEST:: SOT 3439894 SOS 690468 HAS SOPS 690468 HAS SOUS 440177 HAS SOUPS 440177 WITH SCORE 440867.468
AT ITER 8742 NEW BEST:: SOT 3439858 SOS 690396 HAS SOPS 690396 HAS SOUS 440103 HAS SOUPS 440103 WITH SCORE 440793.396
AT ITER 8756 NEW BEST:: SOT 3439874 SOS 690428 HAS SOPS 690428 HAS SOUS 439957 HAS SOUPS 439957 WITH SCORE 440647.428
AT ITER 8787 NEW BEST:: SOT 3439821 SOS 690388 HAS SOPS 690388 HAS SOUS 439917 HAS SOUPS 439917 WITH SCORE 440607.388
AT ITER 8808 NEW BEST:: SOT 3439821 SOS 690028 HAS SOPS 690028 HAS SOUS 439797 HAS SOUPS 439797 WITH SCORE 440487.028
AT ITER 8868 NEW BEST:: SOT 3439821 SOS 690028 HAS SOPS 690028 HAS SOUS 439776 HAS SOUPS 439776 WITH SCORE 440466.028
AT ITER 8880 NEW BEST:: SOT 3439804 SOS 689994 HAS SOPS 689994 HAS SOUS 439742 HAS SOUPS 439742 WITH SCORE 440431.994
AT ITER 8899 NEW BEST:: SOT 3439801 SOS 689988 HAS SOPS 689988 HAS SOUS 439736 HAS SOUPS 439736 WITH SCORE 440425.988
AT ITER 8903 NEW BEST:: SOT 3439801 SOS 689983 HAS SOPS 689983 HAS SOUS 439731 HAS SOUPS 439731 WITH SCORE 440420.983
AT ITER 8905 NEW BEST:: SOT 3439669 SOS 689529 HAS SOPS 689529 HAS SOUS 439504 HAS SOUPS 439504 WITH SCORE 440193.529
AT ITER 8942 NEW BEST:: SOT 3439534 SOS 688847 HAS SOPS 688847 HAS SOUS 439234 HAS SOUPS 439234 WITH SCORE 439922.847
AT ITER 8986 NEW BEST:: SOT 3439107 SOS 688725 HAS SOPS 688725 HAS SOUS 439051 HAS SOUPS 439051 WITH SCORE 439739.725
AT ITER 9017 NEW BEST:: SOT 3438976 SOS 688463 HAS SOPS 688463 HAS SOUS 438789 HAS SOUPS 438789 WITH SCORE 439477.463
AT ITER 9029 NEW BEST:: SOT 3438950 SOS 688411 HAS SOPS 688411 HAS SOUS 438769 HAS SOUPS 438769 WITH SCORE 439457.411
AT ITER 9168 NEW BEST:: SOT 3438939 SOS 688779 HAS SOPS 688779 HAS SOUS 438758 HAS SOUPS 438758 WITH SCORE 439446.779
AT ITER 9227 NEW BEST:: SOT 3438820 SOS 688232 HAS SOPS 688232 HAS SOUS 438472 HAS SOUPS 438472 WITH SCORE 439160.232
AT ITER 9274 NEW BEST:: SOT 3438764 SOS 688221 HAS SOPS 688221 HAS SOUS 438360 HAS SOUPS 438360 WITH SCORE 439048.221
AT ITER 9279 NEW BEST:: SOT 3438740 SOS 688205 HAS SOPS 688205 HAS SOUS 438344 HAS SOUPS 438344 WITH SCORE 439032.205
AT ITER 9301 NEW BEST:: SOT 3438723 SOS 688080 HAS SOPS 688080 HAS SOUS 438289 HAS SOUPS 438289 WITH SCORE 438977.08
AT ITER 9311 NEW BEST:: SOT 3438296 SOS 691973 HAS SOPS 691973 HAS SOUS 438119 HAS SOUPS 438119 WITH SCORE 438810.973
AT ITER 9323 NEW BEST:: SOT 3438296 SOS 691999 HAS SOPS 691999 HAS SOUS 438056 HAS SOUPS 438056 WITH SCORE 438747.999
AT ITER 9327 NEW BEST:: SOT 3438461 SOS 691595 HAS SOPS 691595 HAS SOUS 437937 HAS SOUPS 437937 WITH SCORE 438628.595
AT ITER 9393 NEW BEST:: SOT 3438420 SOS 691590 HAS SOPS 691590 HAS SOUS 437855 HAS SOUPS 437855 WITH SCORE 438546.59
AT ITER 9438 NEW BEST:: SOT 3438385 SOS 691520 HAS SOPS 691520 HAS SOUS 437847 HAS SOUPS 437847 WITH SCORE 438538.52
AT ITER 9462 NEW BEST:: SOT 3438358 SOS 691489 HAS SOPS 691489 HAS SOUS 437837 HAS SOUPS 437837 WITH SCORE 438528.489
AT ITER 9485 NEW BEST:: SOT 3438271 SOS 691833 HAS SOPS 691833 HAS SOUS 437662 HAS SOUPS 437662 WITH SCORE 438353.833
AT ITER 9589 NEW BEST:: SOT 3438206 SOS 691768 HAS SOPS 691768 HAS SOUS 437597 HAS SOUPS 437597 WITH SCORE 438288.768
AT ITER 9607 NEW BEST:: SOT 3437988 SOS 691614 HAS SOPS 691614 HAS SOUS 437450 HAS SOUPS 437450 WITH SCORE 438141.614
AT ITER 9617 NEW BEST:: SOT 3438041 SOS 689641 HAS SOPS 689641 HAS SOUS 437439 HAS SOUPS 437439 WITH SCORE 438128.641
AT ITER 9647 NEW BEST:: SOT 3438041 SOS 689533 HAS SOPS 689533 HAS SOUS 437385 HAS SOUPS 437385 WITH SCORE 438074.533
AT ITER 9653 NEW BEST:: SOT 3438015 SOS 689481 HAS SOPS 689481 HAS SOUS 437333 HAS SOUPS 437333 WITH SCORE 438022.481
AT ITER 9656 NEW BEST:: SOT 3438015 SOS 689481 HAS SOPS 689481 HAS SOUS 437332 HAS SOUPS 437332 WITH SCORE 438021.481
AT ITER 9680 NEW BEST:: SOT 3438015 SOS 689475 HAS SOPS 689475 HAS SOUS 437332 HAS SOUPS 437332 WITH SCORE 438021.475
AT ITER 9725 NEW BEST:: SOT 3437974 SOS 689609 HAS SOPS 689609 HAS SOUS 437291 HAS SOUPS 437291 WITH SCORE 437980.609
AT ITER 9732 NEW BEST:: SOT 3437973 SOS 689607 HAS SOPS 689607 HAS SOUS 437289 HAS SOUPS 437289 WITH SCORE 437978.607
AT ITER 9739 NEW BEST:: SOT 3437959 SOS 689579 HAS SOPS 689579 HAS SOUS 437260 HAS SOUPS 437260 WITH SCORE 437949.579
AT ITER 9763 NEW BEST:: SOT 3437817 SOS 689712 HAS SOPS 689712 HAS SOUS 437257 HAS SOUPS 437257 WITH SCORE 437946.712
AT ITER 9775 NEW BEST:: SOT 3437797 SOS 689768 HAS SOPS 689768 HAS SOUS 437241 HAS SOUPS 437241 WITH SCORE 437930.768
AT ITER 9827 NEW BEST:: SOT 3437794 SOS 689532 HAS SOPS 689532 HAS SOUS 437123 HAS SOUPS 437123 WITH SCORE 437812.532
AT ITER 9859 NEW BEST:: SOT 3437829 SOS 688831 HAS SOPS 688831 HAS SOUS 436916 HAS SOUPS 436916 WITH SCORE 437604.831
AT ITER 9980 NEW BEST:: SOT 3437803 SOS 688779 HAS SOPS 688779 HAS SOUS 436890 HAS SOUPS 436890 WITH SCORE 437578.779
AT ITER 9985 NEW BEST:: SOT 3437367 SOS 687907 HAS SOPS 687907 HAS SOUS 436589 HAS SOUPS 436589 WITH SCORE 437276.907
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 14247860 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153856 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-05b"
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 DLCround-PT-05b, 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 r099-tall-167814472700664"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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