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.r048-ebro-158902542300491.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 DLCround-PT-05b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542300491
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 852K
-rw-r--r-- 1 mcc users 3.2K Mar 30 18:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 18:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 08:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 08:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 28 04:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 04:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 26 23:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 26 23:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 674K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-05b-CTLCardinality-00
FORMULA_NAME DLCround-PT-05b-CTLCardinality-01
FORMULA_NAME DLCround-PT-05b-CTLCardinality-02
FORMULA_NAME DLCround-PT-05b-CTLCardinality-03
FORMULA_NAME DLCround-PT-05b-CTLCardinality-04
FORMULA_NAME DLCround-PT-05b-CTLCardinality-05
FORMULA_NAME DLCround-PT-05b-CTLCardinality-06
FORMULA_NAME DLCround-PT-05b-CTLCardinality-07
FORMULA_NAME DLCround-PT-05b-CTLCardinality-08
FORMULA_NAME DLCround-PT-05b-CTLCardinality-09
FORMULA_NAME DLCround-PT-05b-CTLCardinality-10
FORMULA_NAME DLCround-PT-05b-CTLCardinality-11
FORMULA_NAME DLCround-PT-05b-CTLCardinality-12
FORMULA_NAME DLCround-PT-05b-CTLCardinality-13
FORMULA_NAME DLCround-PT-05b-CTLCardinality-14
FORMULA_NAME DLCround-PT-05b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589124600327

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 05b
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
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 10 NEW BEST:: SOT 3496371 SOS 761124 HAS SOPS 761124 HAS SOUS 512235 HAS SOUPS 512235 WITH SCORE 512996.124
AT ITER 32 NEW BEST:: SOT 3496370 SOS 761181 HAS SOPS 761181 HAS SOUS 512233 HAS SOUPS 512233 WITH SCORE 512994.181
AT ITER 63 NEW BEST:: SOT 3496345 SOS 761131 HAS SOPS 761131 HAS SOUS 512183 HAS SOUPS 512183 WITH SCORE 512944.131
AT ITER 75 NEW BEST:: SOT 3496302 SOS 761045 HAS SOPS 761045 HAS SOUS 512139 HAS SOUPS 512139 WITH SCORE 512900.045
AT ITER 117 NEW BEST:: SOT 3496052 SOS 760544 HAS SOPS 760544 HAS SOUS 511638 HAS SOUPS 511638 WITH SCORE 512398.544
AT ITER 122 NEW BEST:: SOT 3496038 SOS 760646 HAS SOPS 760646 HAS SOUS 511623 HAS SOUPS 511623 WITH SCORE 512383.646
AT ITER 137 NEW BEST:: SOT 3495789 SOS 757907 HAS SOPS 757907 HAS SOUS 511125 HAS SOUPS 511125 WITH SCORE 511882.907
AT ITER 139 NEW BEST:: SOT 3495783 SOS 757913 HAS SOPS 757913 HAS SOUS 511119 HAS SOUPS 511119 WITH SCORE 511876.913
AT ITER 146 NEW BEST:: SOT 3495667 SOS 757797 HAS SOPS 757797 HAS SOUS 511003 HAS SOUPS 511003 WITH SCORE 511760.797
AT ITER 156 NEW BEST:: SOT 3495150 SOS 757564 HAS SOPS 757564 HAS SOUS 510753 HAS SOUPS 510753 WITH SCORE 511510.564
AT ITER 176 NEW BEST:: SOT 3494824 SOS 757346 HAS SOPS 757346 HAS SOUS 510480 HAS SOUPS 510480 WITH SCORE 511237.346
AT ITER 201 NEW BEST:: SOT 3494700 SOS 757098 HAS SOPS 757098 HAS SOUS 510232 HAS SOUPS 510232 WITH SCORE 510989.098
AT ITER 212 NEW BEST:: SOT 3494432 SOS 756826 HAS SOPS 756826 HAS SOUS 509963 HAS SOUPS 509963 WITH SCORE 510719.826
AT ITER 220 NEW BEST:: SOT 3494308 SOS 756578 HAS SOPS 756578 HAS SOUS 509715 HAS SOUPS 509715 WITH SCORE 510471.578
AT ITER 225 NEW BEST:: SOT 3493036 SOS 759993 HAS SOPS 759993 HAS SOUS 509296 HAS SOUPS 509296 WITH SCORE 510055.993
AT ITER 282 NEW BEST:: SOT 3492534 SOS 759731 HAS SOPS 759731 HAS SOUS 509034 HAS SOUPS 509034 WITH SCORE 509793.731
AT ITER 301 NEW BEST:: SOT 3492635 SOS 759825 HAS SOPS 759825 HAS SOUS 508972 HAS SOUPS 508972 WITH SCORE 509731.825
AT ITER 308 NEW BEST:: SOT 3492446 SOS 759636 HAS SOPS 759636 HAS SOUS 508783 HAS SOUPS 508783 WITH SCORE 509542.636
AT ITER 327 NEW BEST:: SOT 3492260 SOS 759626 HAS SOPS 759626 HAS SOUS 508773 HAS SOUPS 508773 WITH SCORE 509532.626
AT ITER 357 NEW BEST:: SOT 3492260 SOS 760171 HAS SOPS 760171 HAS SOUS 508772 HAS SOUPS 508772 WITH SCORE 509532.171
AT ITER 361 NEW BEST:: SOT 3492112 SOS 758836 HAS SOPS 758836 HAS SOUS 508475 HAS SOUPS 508475 WITH SCORE 509233.836
AT ITER 369 NEW BEST:: SOT 3492112 SOS 759234 HAS SOPS 759234 HAS SOUS 508473 HAS SOUPS 508473 WITH SCORE 509232.234
AT ITER 395 NEW BEST:: SOT 3491909 SOS 759145 HAS SOPS 759145 HAS SOUS 508350 HAS SOUPS 508350 WITH SCORE 509109.145
AT ITER 398 NEW BEST:: SOT 3491908 SOS 759143 HAS SOPS 759143 HAS SOUS 508348 HAS SOUPS 508348 WITH SCORE 509107.143
AT ITER 407 NEW BEST:: SOT 3491791 SOS 758733 HAS SOPS 758733 HAS SOUS 507911 HAS SOUPS 507911 WITH SCORE 508669.733
AT ITER 414 NEW BEST:: SOT 3490998 SOS 757586 HAS SOPS 757586 HAS SOUS 506693 HAS SOUPS 506693 WITH SCORE 507450.586
AT ITER 431 NEW BEST:: SOT 3490742 SOS 757345 HAS SOPS 757345 HAS SOUS 506452 HAS SOUPS 506452 WITH SCORE 507209.345
AT ITER 435 NEW BEST:: SOT 3490456 SOS 757345 HAS SOPS 757345 HAS SOUS 506166 HAS SOUPS 506166 WITH SCORE 506923.345
AT ITER 453 NEW BEST:: SOT 3490456 SOS 757720 HAS SOPS 757720 HAS SOUS 506165 HAS SOUPS 506165 WITH SCORE 506922.72
AT ITER 479 NEW BEST:: SOT 3489735 SOS 757004 HAS SOPS 757004 HAS SOUS 505445 HAS SOUPS 505445 WITH SCORE 506202.004
AT ITER 488 NEW BEST:: SOT 3489735 SOS 757004 HAS SOPS 757004 HAS SOUS 505442 HAS SOUPS 505442 WITH SCORE 506199.004
AT ITER 497 NEW BEST:: SOT 3489344 SOS 756222 HAS SOPS 756222 HAS SOUS 504551 HAS SOUPS 504551 WITH SCORE 505307.222
AT ITER 517 NEW BEST:: SOT 3488120 SOS 755455 HAS SOPS 755455 HAS SOUS 503530 HAS SOUPS 503530 WITH SCORE 504285.455
AT ITER 523 NEW BEST:: SOT 3488089 SOS 755393 HAS SOPS 755393 HAS SOUS 503468 HAS SOUPS 503468 WITH SCORE 504223.393
AT ITER 529 NEW BEST:: SOT 3487057 SOS 754173 HAS SOPS 754173 HAS SOUS 502248 HAS SOUPS 502248 WITH SCORE 503002.173
AT ITER 559 NEW BEST:: SOT 3486456 SOS 753759 HAS SOPS 753759 HAS SOUS 501647 HAS SOUPS 501647 WITH SCORE 502400.759
AT ITER 607 NEW BEST:: SOT 3486294 SOS 753435 HAS SOPS 753435 HAS SOUS 501323 HAS SOUPS 501323 WITH SCORE 502076.435
AT ITER 608 NEW BEST:: SOT 3486294 SOS 753420 HAS SOPS 753420 HAS SOUS 501308 HAS SOUPS 501308 WITH SCORE 502061.42
AT ITER 629 NEW BEST:: SOT 3486285 SOS 753701 HAS SOPS 753701 HAS SOUS 501298 HAS SOUPS 501298 WITH SCORE 502051.701
AT ITER 665 NEW BEST:: SOT 3485963 SOS 753344 HAS SOPS 753344 HAS SOUS 500814 HAS SOUPS 500814 WITH SCORE 501567.344
AT ITER 666 NEW BEST:: SOT 3485834 SOS 753026 HAS SOPS 753026 HAS SOUS 500496 HAS SOUPS 500496 WITH SCORE 501249.026
AT ITER 695 NEW BEST:: SOT 3485834 SOS 752863 HAS SOPS 752863 HAS SOUS 500333 HAS SOUPS 500333 WITH SCORE 501085.863
AT ITER 698 NEW BEST:: SOT 3485556 SOS 752029 HAS SOPS 752029 HAS SOUS 499916 HAS SOUPS 499916 WITH SCORE 500668.029
AT ITER 699 NEW BEST:: SOT 3485202 SOS 751675 HAS SOPS 751675 HAS SOUS 499208 HAS SOUPS 499208 WITH SCORE 499959.675
AT ITER 719 NEW BEST:: SOT 3485008 SOS 751608 HAS SOPS 751608 HAS SOUS 499141 HAS SOUPS 499141 WITH SCORE 499892.608
AT ITER 732 NEW BEST:: SOT 3484819 SOS 751492 HAS SOPS 751492 HAS SOUS 498951 HAS SOUPS 498951 WITH SCORE 499702.492
AT ITER 747 NEW BEST:: SOT 3484777 SOS 751408 HAS SOPS 751408 HAS SOUS 498867 HAS SOUPS 498867 WITH SCORE 499618.408
AT ITER 754 NEW BEST:: SOT 3484602 SOS 751398 HAS SOPS 751398 HAS SOUS 498800 HAS SOUPS 498800 WITH SCORE 499551.398
AT ITER 792 NEW BEST:: SOT 3484235 SOS 751718 HAS SOPS 751718 HAS SOUS 498749 HAS SOUPS 498749 WITH SCORE 499500.718
AT ITER 834 NEW BEST:: SOT 3484389 SOS 751066 HAS SOPS 751066 HAS SOUS 498691 HAS SOUPS 498691 WITH SCORE 499442.066
AT ITER 839 NEW BEST:: SOT 3484019 SOS 750903 HAS SOPS 750903 HAS SOUS 498387 HAS SOUPS 498387 WITH SCORE 499137.903
AT ITER 840 NEW BEST:: SOT 3484019 SOS 751213 HAS SOPS 751213 HAS SOUS 498385 HAS SOUPS 498385 WITH SCORE 499136.213
AT ITER 851 NEW BEST:: SOT 3483175 SOS 749947 HAS SOPS 749947 HAS SOUS 497541 HAS SOUPS 497541 WITH SCORE 498290.947
AT ITER 872 NEW BEST:: SOT 3483175 SOS 749947 HAS SOPS 749947 HAS SOUS 497420 HAS SOUPS 497420 WITH SCORE 498169.947
AT ITER 882 NEW BEST:: SOT 3483022 SOS 749970 HAS SOPS 749970 HAS SOUS 497388 HAS SOUPS 497388 WITH SCORE 498137.97
AT ITER 893 NEW BEST:: SOT 3482920 SOS 750164 HAS SOPS 750164 HAS SOUS 497310 HAS SOUPS 497310 WITH SCORE 498060.164
AT ITER 968 NEW BEST:: SOT 3482633 SOS 749877 HAS SOPS 749877 HAS SOUS 497023 HAS SOUPS 497023 WITH SCORE 497772.877
AT ITER 973 NEW BEST:: SOT 3482448 SOS 749692 HAS SOPS 749692 HAS SOUS 497023 HAS SOUPS 497023 WITH SCORE 497772.692
AT ITER 994 NEW BEST:: SOT 3482448 SOS 749979 HAS SOPS 749979 HAS SOUS 496877 HAS SOUPS 496877 WITH SCORE 497626.979
AT ITER 1013 NEW BEST:: SOT 3482418 SOS 749949 HAS SOPS 749949 HAS SOUS 496847 HAS SOUPS 496847 WITH SCORE 497596.949
AT ITER 1034 NEW BEST:: SOT 3482357 SOS 750637 HAS SOPS 750637 HAS SOUS 496725 HAS SOUPS 496725 WITH SCORE 497475.637
AT ITER 1122 NEW BEST:: SOT 3482314 SOS 750912 HAS SOPS 750912 HAS SOUS 496682 HAS SOUPS 496682 WITH SCORE 497432.912
AT ITER 1123 NEW BEST:: SOT 3482313 SOS 750910 HAS SOPS 750910 HAS SOUS 496680 HAS SOUPS 496680 WITH SCORE 497430.91
AT ITER 1150 NEW BEST:: SOT 3482269 SOS 751106 HAS SOPS 751106 HAS SOUS 496635 HAS SOUPS 496635 WITH SCORE 497386.106
AT ITER 1158 NEW BEST:: SOT 3482268 SOS 751104 HAS SOPS 751104 HAS SOUS 496634 HAS SOUPS 496634 WITH SCORE 497385.104
AT ITER 1159 NEW BEST:: SOT 3482267 SOS 751102 HAS SOPS 751102 HAS SOUS 496632 HAS SOUPS 496632 WITH SCORE 497383.102
AT ITER 1166 NEW BEST:: SOT 3482228 SOS 751302 HAS SOPS 751302 HAS SOUS 496554 HAS SOUPS 496554 WITH SCORE 497305.302
AT ITER 1212 NEW BEST:: SOT 3482037 SOS 751115 HAS SOPS 751115 HAS SOUS 496367 HAS SOUPS 496367 WITH SCORE 497118.115
AT ITER 1221 NEW BEST:: SOT 3481246 SOS 750253 HAS SOPS 750253 HAS SOUS 495505 HAS SOUPS 495505 WITH SCORE 496255.253
AT ITER 1244 NEW BEST:: SOT 3480727 SOS 749898 HAS SOPS 749898 HAS SOUS 495158 HAS SOUPS 495158 WITH SCORE 495907.898
AT ITER 1254 NEW BEST:: SOT 3480726 SOS 749896 HAS SOPS 749896 HAS SOUS 495156 HAS SOUPS 495156 WITH SCORE 495905.896
AT ITER 1294 NEW BEST:: SOT 3480666 SOS 749866 HAS SOPS 749866 HAS SOUS 495126 HAS SOUPS 495126 WITH SCORE 495875.866
AT ITER 1304 NEW BEST:: SOT 3480500 SOS 749795 HAS SOPS 749795 HAS SOUS 495055 HAS SOUPS 495055 WITH SCORE 495804.795
AT ITER 1311 NEW BEST:: SOT 3480500 SOS 749720 HAS SOPS 749720 HAS SOUS 495055 HAS SOUPS 495055 WITH SCORE 495804.72
AT ITER 1338 NEW BEST:: SOT 3480500 SOS 749990 HAS SOPS 749990 HAS SOUS 495054 HAS SOUPS 495054 WITH SCORE 495803.99
AT ITER 1341 NEW BEST:: SOT 3480314 SOS 749618 HAS SOPS 749618 HAS SOUS 494887 HAS SOUPS 494887 WITH SCORE 495636.618
AT ITER 1378 NEW BEST:: SOT 3480314 SOS 749609 HAS SOPS 749609 HAS SOUS 494886 HAS SOUPS 494886 WITH SCORE 495635.609
AT ITER 1412 NEW BEST:: SOT 3480254 SOS 749489 HAS SOPS 749489 HAS SOUS 494826 HAS SOUPS 494826 WITH SCORE 495575.489
AT ITER 1422 NEW BEST:: SOT 3479867 SOS 749145 HAS SOPS 749145 HAS SOUS 494466 HAS SOUPS 494466 WITH SCORE 495215.145
AT ITER 1459 NEW BEST:: SOT 3479807 SOS 749085 HAS SOPS 749085 HAS SOUS 494406 HAS SOUPS 494406 WITH SCORE 495155.085
AT ITER 1474 NEW BEST:: SOT 3479952 SOS 749374 HAS SOPS 749374 HAS SOUS 494174 HAS SOUPS 494174 WITH SCORE 494923.374
AT ITER 1495 NEW BEST:: SOT 3479889 SOS 749423 HAS SOPS 749423 HAS SOUS 494111 HAS SOUPS 494111 WITH SCORE 494860.423
AT ITER 1542 NEW BEST:: SOT 3479888 SOS 749421 HAS SOPS 749421 HAS SOUS 494109 HAS SOUPS 494109 WITH SCORE 494858.421
AT ITER 1560 NEW BEST:: SOT 3479670 SOS 749420 HAS SOPS 749420 HAS SOUS 494108 HAS SOUPS 494108 WITH SCORE 494857.42
AT ITER 1564 NEW BEST:: SOT 3479670 SOS 749199 HAS SOPS 749199 HAS SOUS 493887 HAS SOUPS 493887 WITH SCORE 494636.199
AT ITER 1573 NEW BEST:: SOT 3479670 SOS 748740 HAS SOPS 748740 HAS SOUS 493887 HAS SOUPS 493887 WITH SCORE 494635.74
AT ITER 1576 NEW BEST:: SOT 3479110 SOS 748040 HAS SOPS 748040 HAS SOUS 493187 HAS SOUPS 493187 WITH SCORE 493935.04
AT ITER 1617 NEW BEST:: SOT 3478884 SOS 748046 HAS SOPS 748046 HAS SOUS 493124 HAS SOUPS 493124 WITH SCORE 493872.046
AT ITER 1630 NEW BEST:: SOT 3478884 SOS 748096 HAS SOPS 748096 HAS SOUS 493123 HAS SOUPS 493123 WITH SCORE 493871.096
AT ITER 1647 NEW BEST:: SOT 3478884 SOS 748095 HAS SOPS 748095 HAS SOUS 493122 HAS SOUPS 493122 WITH SCORE 493870.095
AT ITER 1650 NEW BEST:: SOT 3478538 SOS 747752 HAS SOPS 747752 HAS SOUS 492775 HAS SOUPS 492775 WITH SCORE 493522.752
AT ITER 1701 NEW BEST:: SOT 3477769 SOS 746830 HAS SOPS 746830 HAS SOUS 492667 HAS SOUPS 492667 WITH SCORE 493413.83
AT ITER 1717 NEW BEST:: SOT 3477627 SOS 746404 HAS SOPS 746404 HAS SOUS 492383 HAS SOUPS 492383 WITH SCORE 493129.404
AT ITER 1745 NEW BEST:: SOT 3477247 SOS 745643 HAS SOPS 745643 HAS SOUS 491501 HAS SOUPS 491501 WITH SCORE 492246.643
AT ITER 1783 NEW BEST:: SOT 3477140 SOS 745429 HAS SOPS 745429 HAS SOUS 491244 HAS SOUPS 491244 WITH SCORE 491989.429
AT ITER 1827 NEW BEST:: SOT 3477140 SOS 745593 HAS SOPS 745593 HAS SOUS 491243 HAS SOUPS 491243 WITH SCORE 491988.593
AT ITER 1832 NEW BEST:: SOT 3477106 SOS 746014 HAS SOPS 746014 HAS SOUS 491088 HAS SOUPS 491088 WITH SCORE 491834.014
AT ITER 1870 NEW BEST:: SOT 3477204 SOS 746210 HAS SOPS 746210 HAS SOUS 490954 HAS SOUPS 490954 WITH SCORE 491700.21
AT ITER 1874 NEW BEST:: SOT 3477129 SOS 746060 HAS SOPS 746060 HAS SOUS 490804 HAS SOUPS 490804 WITH SCORE 491550.06
AT ITER 1953 NEW BEST:: SOT 3477033 SOS 745964 HAS SOPS 745964 HAS SOUS 490708 HAS SOUPS 490708 WITH SCORE 491453.964
AT ITER 1972 NEW BEST:: SOT 3477033 SOS 745929 HAS SOPS 745929 HAS SOUS 490673 HAS SOUPS 490673 WITH SCORE 491418.929
AT ITER 1986 NEW BEST:: SOT 3476950 SOS 745763 HAS SOPS 745763 HAS SOUS 490589 HAS SOUPS 490589 WITH SCORE 491334.763
AT ITER 1991 NEW BEST:: SOT 3476950 SOS 745677 HAS SOPS 745677 HAS SOUS 490503 HAS SOUPS 490503 WITH SCORE 491248.677
AT ITER 2025 NEW BEST:: SOT 3476928 SOS 745633 HAS SOPS 745633 HAS SOUS 490459 HAS SOUPS 490459 WITH SCORE 491204.633
AT ITER 2031 NEW BEST:: SOT 3476928 SOS 745629 HAS SOPS 745629 HAS SOUS 490458 HAS SOUPS 490458 WITH SCORE 491203.629
AT ITER 2032 NEW BEST:: SOT 3475312 SOS 745085 HAS SOPS 745085 HAS SOUS 489862 HAS SOUPS 489862 WITH SCORE 490607.085
AT ITER 2054 NEW BEST:: SOT 3475312 SOS 745085 HAS SOPS 745085 HAS SOUS 489762 HAS SOUPS 489762 WITH SCORE 490507.085
AT ITER 2057 NEW BEST:: SOT 3475311 SOS 745083 HAS SOPS 745083 HAS SOUS 489760 HAS SOUPS 489760 WITH SCORE 490505.083
AT ITER 2070 NEW BEST:: SOT 3475166 SOS 745045 HAS SOPS 745045 HAS SOUS 489699 HAS SOUPS 489699 WITH SCORE 490444.045
AT ITER 2077 NEW BEST:: SOT 3475150 SOS 745013 HAS SOPS 745013 HAS SOUS 489667 HAS SOUPS 489667 WITH SCORE 490412.013
AT ITER 2094 NEW BEST:: SOT 3474653 SOS 744019 HAS SOPS 744019 HAS SOUS 488673 HAS SOUPS 488673 WITH SCORE 489417.019
AT ITER 2150 NEW BEST:: SOT 3474653 SOS 744991 HAS SOPS 744991 HAS SOUS 488602 HAS SOUPS 488602 WITH SCORE 489346.991
AT ITER 2170 NEW BEST:: SOT 3474502 SOS 745093 HAS SOPS 745093 HAS SOUS 488579 HAS SOUPS 488579 WITH SCORE 489324.093
AT ITER 2180 NEW BEST:: SOT 3474348 SOS 744785 HAS SOPS 744785 HAS SOUS 488271 HAS SOUPS 488271 WITH SCORE 489015.785
AT ITER 2198 NEW BEST:: SOT 3474259 SOS 744607 HAS SOPS 744607 HAS SOUS 488093 HAS SOUPS 488093 WITH SCORE 488837.607
AT ITER 2220 NEW BEST:: SOT 3473619 SOS 743647 HAS SOPS 743647 HAS SOUS 487133 HAS SOUPS 487133 WITH SCORE 487876.647
AT ITER 2221 NEW BEST:: SOT 3473619 SOS 743575 HAS SOPS 743575 HAS SOUS 487109 HAS SOUPS 487109 WITH SCORE 487852.575
AT ITER 2243 NEW BEST:: SOT 3473299 SOS 743506 HAS SOPS 743506 HAS SOUS 487040 HAS SOUPS 487040 WITH SCORE 487783.506
AT ITER 2244 NEW BEST:: SOT 3473239 SOS 743386 HAS SOPS 743386 HAS SOUS 486920 HAS SOUPS 486920 WITH SCORE 487663.386
AT ITER 2246 NEW BEST:: SOT 3472815 SOS 742989 HAS SOPS 742989 HAS SOUS 486506 HAS SOUPS 486506 WITH SCORE 487248.989
AT ITER 2256 NEW BEST:: SOT 3472814 SOS 742987 HAS SOPS 742987 HAS SOUS 486504 HAS SOUPS 486504 WITH SCORE 487246.987
AT ITER 2260 NEW BEST:: SOT 3472154 SOS 740016 HAS SOPS 740016 HAS SOUS 485377 HAS SOUPS 485377 WITH SCORE 486117.016
AT ITER 2267 NEW BEST:: SOT 3472246 SOS 740200 HAS SOPS 740200 HAS SOUS 485304 HAS SOUPS 485304 WITH SCORE 486044.2
AT ITER 2280 NEW BEST:: SOT 3472242 SOS 740192 HAS SOPS 740192 HAS SOUS 485296 HAS SOUPS 485296 WITH SCORE 486036.192
AT ITER 2327 NEW BEST:: SOT 3472212 SOS 741938 HAS SOPS 741938 HAS SOUS 485224 HAS SOUPS 485224 WITH SCORE 485965.938
AT ITER 2355 NEW BEST:: SOT 3472311 SOS 741873 HAS SOPS 741873 HAS SOUS 485159 HAS SOUPS 485159 WITH SCORE 485900.873
AT ITER 2374 NEW BEST:: SOT 3472229 SOS 741709 HAS SOPS 741709 HAS SOUS 484995 HAS SOUPS 484995 WITH SCORE 485736.709
AT ITER 2380 NEW BEST:: SOT 3472156 SOS 741873 HAS SOPS 741873 HAS SOUS 484796 HAS SOUPS 484796 WITH SCORE 485537.873
AT ITER 2405 NEW BEST:: SOT 3472148 SOS 741873 HAS SOPS 741873 HAS SOUS 484788 HAS SOUPS 484788 WITH SCORE 485529.873
AT ITER 2435 NEW BEST:: SOT 3472094 SOS 741863 HAS SOPS 741863 HAS SOUS 484733 HAS SOUPS 484733 WITH SCORE 485474.863
AT ITER 2442 NEW BEST:: SOT 3472093 SOS 741449 HAS SOPS 741449 HAS SOUS 484526 HAS SOUPS 484526 WITH SCORE 485267.449
AT ITER 2452 NEW BEST:: SOT 3471698 SOS 741607 HAS SOPS 741607 HAS SOUS 484396 HAS SOUPS 484396 WITH SCORE 485137.607
AT ITER 2456 NEW BEST:: SOT 3471608 SOS 741487 HAS SOPS 741487 HAS SOUS 484276 HAS SOUPS 484276 WITH SCORE 485017.487
AT ITER 2458 NEW BEST:: SOT 3471291 SOS 741780 HAS SOPS 741780 HAS SOUS 483959 HAS SOUPS 483959 WITH SCORE 484700.78
AT ITER 2477 NEW BEST:: SOT 3471219 SOS 741585 HAS SOPS 741585 HAS SOUS 483917 HAS SOUPS 483917 WITH SCORE 484658.585
AT ITER 2483 NEW BEST:: SOT 3470913 SOS 741438 HAS SOPS 741438 HAS SOUS 483772 HAS SOUPS 483772 WITH SCORE 484513.438
AT ITER 2490 NEW BEST:: SOT 3470743 SOS 741098 HAS SOPS 741098 HAS SOUS 483432 HAS SOUPS 483432 WITH SCORE 484173.098
AT ITER 2506 NEW BEST:: SOT 3470449 SOS 739256 HAS SOPS 739256 HAS SOUS 482966 HAS SOUPS 482966 WITH SCORE 483705.256
AT ITER 2512 NEW BEST:: SOT 3470334 SOS 739141 HAS SOPS 739141 HAS SOUS 482827 HAS SOUPS 482827 WITH SCORE 483566.141
AT ITER 2513 NEW BEST:: SOT 3470329 SOS 739131 HAS SOPS 739131 HAS SOUS 482817 HAS SOUPS 482817 WITH SCORE 483556.131
AT ITER 2549 NEW BEST:: SOT 3470306 SOS 739085 HAS SOPS 739085 HAS SOUS 482794 HAS SOUPS 482794 WITH SCORE 483533.085
AT ITER 2600 NEW BEST:: SOT 3469761 SOS 738674 HAS SOPS 738674 HAS SOUS 482374 HAS SOUPS 482374 WITH SCORE 483112.674
AT ITER 2610 NEW BEST:: SOT 3469599 SOS 738592 HAS SOPS 738592 HAS SOUS 482292 HAS SOUPS 482292 WITH SCORE 483030.592
AT ITER 2612 NEW BEST:: SOT 3469599 SOS 738582 HAS SOPS 738582 HAS SOUS 482291 HAS SOUPS 482291 WITH SCORE 483029.582
AT ITER 2620 NEW BEST:: SOT 3469599 SOS 738582 HAS SOPS 738582 HAS SOUS 482267 HAS SOUPS 482267 WITH SCORE 483005.582
AT ITER 2645 NEW BEST:: SOT 3469599 SOS 739533 HAS SOPS 739533 HAS SOUS 482266 HAS SOUPS 482266 WITH SCORE 483005.533
AT ITER 2649 NEW BEST:: SOT 3469599 SOS 740452 HAS SOPS 740452 HAS SOUS 482265 HAS SOUPS 482265 WITH SCORE 483005.452
AT ITER 2668 NEW BEST:: SOT 3469523 SOS 740300 HAS SOPS 740300 HAS SOUS 482113 HAS SOUPS 482113 WITH SCORE 482853.3
AT ITER 2681 NEW BEST:: SOT 3469505 SOS 740264 HAS SOPS 740264 HAS SOUS 482077 HAS SOUPS 482077 WITH SCORE 482817.264
AT ITER 2719 NEW BEST:: SOT 3469406 SOS 740170 HAS SOPS 740170 HAS SOUS 481983 HAS SOUPS 481983 WITH SCORE 482723.17
AT ITER 2721 NEW BEST:: SOT 3469406 SOS 740023 HAS SOPS 740023 HAS SOUS 481934 HAS SOUPS 481934 WITH SCORE 482674.023
AT ITER 2744 NEW BEST:: SOT 3469325 SOS 741075 HAS SOPS 741075 HAS SOUS 481772 HAS SOUPS 481772 WITH SCORE 482513.075
AT ITER 2759 NEW BEST:: SOT 3469422 SOS 741074 HAS SOPS 741074 HAS SOUS 481771 HAS SOUPS 481771 WITH SCORE 482512.074
AT ITER 2773 NEW BEST:: SOT 3469094 SOS 740630 HAS SOPS 740630 HAS SOUS 481414 HAS SOUPS 481414 WITH SCORE 482154.63
AT ITER 2778 NEW BEST:: SOT 3468995 SOS 740579 HAS SOPS 740579 HAS SOUS 481363 HAS SOUPS 481363 WITH SCORE 482103.579
AT ITER 2793 NEW BEST:: SOT 3468953 SOS 740537 HAS SOPS 740537 HAS SOUS 481321 HAS SOUPS 481321 WITH SCORE 482061.537
AT ITER 2798 NEW BEST:: SOT 3468957 SOS 740545 HAS SOPS 740545 HAS SOUS 481234 HAS SOUPS 481234 WITH SCORE 481974.545
AT ITER 2811 NEW BEST:: SOT 3468790 SOS 740378 HAS SOPS 740378 HAS SOUS 481067 HAS SOUPS 481067 WITH SCORE 481807.378
AT ITER 2833 NEW BEST:: SOT 3468640 SOS 740078 HAS SOPS 740078 HAS SOUS 480917 HAS SOUPS 480917 WITH SCORE 481657.078
AT ITER 2851 NEW BEST:: SOT 3468482 SOS 739288 HAS SOPS 739288 HAS SOUS 480601 HAS SOUPS 480601 WITH SCORE 481340.288
AT ITER 2868 NEW BEST:: SOT 3468446 SOS 739144 HAS SOPS 739144 HAS SOUS 480553 HAS SOUPS 480553 WITH SCORE 481292.144
AT ITER 2909 NEW BEST:: SOT 3468403 SOS 739058 HAS SOPS 739058 HAS SOUS 480126 HAS SOUPS 480126 WITH SCORE 480865.058
AT ITER 2913 NEW BEST:: SOT 3468184 SOS 738859 HAS SOPS 738859 HAS SOUS 479927 HAS SOUPS 479927 WITH SCORE 480665.859
AT ITER 2925 NEW BEST:: SOT 3468183 SOS 738857 HAS SOPS 738857 HAS SOUS 479925 HAS SOUPS 479925 WITH SCORE 480663.857
AT ITER 2948 NEW BEST:: SOT 3467815 SOS 738121 HAS SOPS 738121 HAS SOUS 479104 HAS SOUPS 479104 WITH SCORE 479842.121
AT ITER 2953 NEW BEST:: SOT 3467627 SOS 737745 HAS SOPS 737745 HAS SOUS 478728 HAS SOUPS 478728 WITH SCORE 479465.745
AT ITER 2954 NEW BEST:: SOT 3467940 SOS 737371 HAS SOPS 737371 HAS SOUS 478541 HAS SOUPS 478541 WITH SCORE 479278.371
AT ITER 2971 NEW BEST:: SOT 3467830 SOS 737364 HAS SOPS 737364 HAS SOUS 478509 HAS SOUPS 478509 WITH SCORE 479246.364
AT ITER 2997 NEW BEST:: SOT 3467678 SOS 737060 HAS SOPS 737060 HAS SOUS 478474 HAS SOUPS 478474 WITH SCORE 479211.06
AT ITER 3007 NEW BEST:: SOT 3467628 SOS 736960 HAS SOPS 736960 HAS SOUS 478374 HAS SOUPS 478374 WITH SCORE 479110.96
AT ITER 3016 NEW BEST:: SOT 3464787 SOS 734523 HAS SOPS 734523 HAS SOUS 475221 HAS SOUPS 475221 WITH SCORE 475955.523
AT ITER 3018 NEW BEST:: SOT 3464695 SOS 734523 HAS SOPS 734523 HAS SOUS 475037 HAS SOUPS 475037 WITH SCORE 475771.523
AT ITER 3040 NEW BEST:: SOT 3464695 SOS 734407 HAS SOPS 734407 HAS SOUS 474921 HAS SOUPS 474921 WITH SCORE 475655.407
AT ITER 3046 NEW BEST:: SOT 3464684 SOS 734385 HAS SOPS 734385 HAS SOUS 474910 HAS SOUPS 474910 WITH SCORE 475644.385
AT ITER 3052 NEW BEST:: SOT 3464684 SOS 734368 HAS SOPS 734368 HAS SOUS 474910 HAS SOUPS 474910 WITH SCORE 475644.368
AT ITER 3063 NEW BEST:: SOT 3464585 SOS 734725 HAS SOPS 734725 HAS SOUS 474667 HAS SOUPS 474667 WITH SCORE 475401.725
AT ITER 3070 NEW BEST:: SOT 3464489 SOS 734533 HAS SOPS 734533 HAS SOUS 474571 HAS SOUPS 474571 WITH SCORE 475305.533
AT ITER 3083 NEW BEST:: SOT 3464349 SOS 734393 HAS SOPS 734393 HAS SOUS 474418 HAS SOUPS 474418 WITH SCORE 475152.393
AT ITER 3161 NEW BEST:: SOT 3464303 SOS 734216 HAS SOPS 734216 HAS SOUS 474241 HAS SOUPS 474241 WITH SCORE 474975.216
AT ITER 3203 NEW BEST:: SOT 3464303 SOS 733944 HAS SOPS 733944 HAS SOUS 474241 HAS SOUPS 474241 WITH SCORE 474974.944
AT ITER 3206 NEW BEST:: SOT 3464278 SOS 733769 HAS SOPS 733769 HAS SOUS 474192 HAS SOUPS 474192 WITH SCORE 474925.769
AT ITER 3238 NEW BEST:: SOT 3464107 SOS 733758 HAS SOPS 733758 HAS SOUS 474021 HAS SOUPS 474021 WITH SCORE 474754.758
AT ITER 3247 NEW BEST:: SOT 3464106 SOS 733756 HAS SOPS 733756 HAS SOUS 474019 HAS SOUPS 474019 WITH SCORE 474752.756
AT ITER 3250 NEW BEST:: SOT 3464081 SOS 733706 HAS SOPS 733706 HAS SOUS 473994 HAS SOUPS 473994 WITH SCORE 474727.706
AT ITER 3278 NEW BEST:: SOT 3463877 SOS 733468 HAS SOPS 733468 HAS SOUS 473756 HAS SOUPS 473756 WITH SCORE 474489.468
AT ITER 3279 NEW BEST:: SOT 3463936 SOS 732352 HAS SOPS 732352 HAS SOUS 473403 HAS SOUPS 473403 WITH SCORE 474135.352
AT ITER 3290 NEW BEST:: SOT 3463936 SOS 732327 HAS SOPS 732327 HAS SOUS 473403 HAS SOUPS 473403 WITH SCORE 474135.327
AT ITER 3322 NEW BEST:: SOT 3463641 SOS 731990 HAS SOPS 731990 HAS SOUS 473108 HAS SOUPS 473108 WITH SCORE 473839.99
AT ITER 3387 NEW BEST:: SOT 3463446 SOS 731919 HAS SOPS 731919 HAS SOUS 472842 HAS SOUPS 472842 WITH SCORE 473573.919
AT ITER 3390 NEW BEST:: SOT 3463236 SOS 731709 HAS SOPS 731709 HAS SOUS 472632 HAS SOUPS 472632 WITH SCORE 473363.709
AT ITER 3410 NEW BEST:: SOT 3463158 SOS 731553 HAS SOPS 731553 HAS SOUS 472554 HAS SOUPS 472554 WITH SCORE 473285.553
AT ITER 3441 NEW BEST:: SOT 3462732 SOS 726867 HAS SOPS 726867 HAS SOUS 471702 HAS SOUPS 471702 WITH SCORE 472428.867
AT ITER 3503 NEW BEST:: SOT 3462301 SOS 726867 HAS SOPS 726867 HAS SOUS 471043 HAS SOUPS 471043 WITH SCORE 471769.867
AT ITER 3588 NEW BEST:: SOT 3462337 SOS 726942 HAS SOPS 726942 HAS SOUS 471022 HAS SOUPS 471022 WITH SCORE 471748.942
AT ITER 3593 NEW BEST:: SOT 3462446 SOS 727050 HAS SOPS 727050 HAS SOUS 470924 HAS SOUPS 470924 WITH SCORE 471651.05
AT ITER 3629 NEW BEST:: SOT 3462443 SOS 727044 HAS SOPS 727044 HAS SOUS 470756 HAS SOUPS 470756 WITH SCORE 471483.044
AT ITER 3636 NEW BEST:: SOT 3462408 SOS 726974 HAS SOPS 726974 HAS SOUS 470686 HAS SOUPS 470686 WITH SCORE 471412.974
AT ITER 3655 NEW BEST:: SOT 3462364 SOS 726886 HAS SOPS 726886 HAS SOUS 470642 HAS SOUPS 470642 WITH SCORE 471368.886
AT ITER 3657 NEW BEST:: SOT 3462352 SOS 726862 HAS SOPS 726862 HAS SOUS 470618 HAS SOUPS 470618 WITH SCORE 471344.862
AT ITER 3665 NEW BEST:: SOT 3462260 SOS 726770 HAS SOPS 726770 HAS SOUS 470526 HAS SOUPS 470526 WITH SCORE 471252.77
AT ITER 3697 NEW BEST:: SOT 3461788 SOS 726534 HAS SOPS 726534 HAS SOUS 470290 HAS SOUPS 470290 WITH SCORE 471016.534
AT ITER 3698 NEW BEST:: SOT 3461788 SOS 726322 HAS SOPS 726322 HAS SOUS 470078 HAS SOUPS 470078 WITH SCORE 470804.322
AT ITER 3702 NEW BEST:: SOT 3461788 SOS 725851 HAS SOPS 725851 HAS SOUS 469921 HAS SOUPS 469921 WITH SCORE 470646.851
AT ITER 3737 NEW BEST:: SOT 3461788 SOS 725315 HAS SOPS 725315 HAS SOUS 469921 HAS SOUPS 469921 WITH SCORE 470646.315
AT ITER 3745 NEW BEST:: SOT 3461628 SOS 724999 HAS SOPS 724999 HAS SOUS 469728 HAS SOUPS 469728 WITH SCORE 470452.999
AT ITER 3776 NEW BEST:: SOT 3461677 SOS 727382 HAS SOPS 727382 HAS SOUS 469719 HAS SOUPS 469719 WITH SCORE 470446.382
AT ITER 3805 NEW BEST:: SOT 3461844 SOS 727285 HAS SOPS 727285 HAS SOUS 469622 HAS SOUPS 469622 WITH SCORE 470349.285
AT ITER 3828 NEW BEST:: SOT 3461660 SOS 727101 HAS SOPS 727101 HAS SOUS 469438 HAS SOUPS 469438 WITH SCORE 470165.101
AT ITER 3840 NEW BEST:: SOT 3461581 SOS 727022 HAS SOPS 727022 HAS SOUS 469280 HAS SOUPS 469280 WITH SCORE 470007.022
AT ITER 3866 NEW BEST:: SOT 3461581 SOS 727022 HAS SOPS 727022 HAS SOUS 469278 HAS SOUPS 469278 WITH SCORE 470005.022
AT ITER 3895 NEW BEST:: SOT 3461580 SOS 727020 HAS SOPS 727020 HAS SOUS 469276 HAS SOUPS 469276 WITH SCORE 470003.02
AT ITER 3933 NEW BEST:: SOT 3461730 SOS 728255 HAS SOPS 728255 HAS SOUS 469262 HAS SOUPS 469262 WITH SCORE 469990.255
AT ITER 3941 NEW BEST:: SOT 3461706 SOS 728231 HAS SOPS 728231 HAS SOUS 469238 HAS SOUPS 469238 WITH SCORE 469966.231
AT ITER 3964 NEW BEST:: SOT 3461389 SOS 728225 HAS SOPS 728225 HAS SOUS 469232 HAS SOUPS 469232 WITH SCORE 469960.225
AT ITER 4019 NEW BEST:: SOT 3461434 SOS 728093 HAS SOPS 728093 HAS SOUS 469166 HAS SOUPS 469166 WITH SCORE 469894.093
AT ITER 4029 NEW BEST:: SOT 3461434 SOS 728186 HAS SOPS 728186 HAS SOUS 469165 HAS SOUPS 469165 WITH SCORE 469893.186
AT ITER 4076 NEW BEST:: SOT 3461362 SOS 728114 HAS SOPS 728114 HAS SOUS 469093 HAS SOUPS 469093 WITH SCORE 469821.114
AT ITER 4092 NEW BEST:: SOT 3461275 SOS 727940 HAS SOPS 727940 HAS SOUS 468919 HAS SOUPS 468919 WITH SCORE 469646.94
AT ITER 4109 NEW BEST:: SOT 3461274 SOS 727938 HAS SOPS 727938 HAS SOUS 468917 HAS SOUPS 468917 WITH SCORE 469644.938
AT ITER 4124 NEW BEST:: SOT 3461274 SOS 727938 HAS SOPS 727938 HAS SOUS 468912 HAS SOUPS 468912 WITH SCORE 469639.938
AT ITER 4133 NEW BEST:: SOT 3461249 SOS 727888 HAS SOPS 727888 HAS SOUS 468862 HAS SOUPS 468862 WITH SCORE 469589.888
AT ITER 4159 NEW BEST:: SOT 3461249 SOS 727887 HAS SOPS 727887 HAS SOUS 468625 HAS SOUPS 468625 WITH SCORE 469352.887
AT ITER 4168 NEW BEST:: SOT 3461218 SOS 727825 HAS SOPS 727825 HAS SOUS 468563 HAS SOUPS 468563 WITH SCORE 469290.825
AT ITER 4177 NEW BEST:: SOT 3461216 SOS 727821 HAS SOPS 727821 HAS SOUS 468561 HAS SOUPS 468561 WITH SCORE 469288.821
AT ITER 4213 NEW BEST:: SOT 3461186 SOS 727761 HAS SOPS 727761 HAS SOUS 468501 HAS SOUPS 468501 WITH SCORE 469228.761
AT ITER 4254 NEW BEST:: SOT 3461174 SOS 727737 HAS SOPS 727737 HAS SOUS 468477 HAS SOUPS 468477 WITH SCORE 469204.737
AT ITER 4270 NEW BEST:: SOT 3461070 SOS 727729 HAS SOPS 727729 HAS SOUS 468436 HAS SOUPS 468436 WITH SCORE 469163.729
AT ITER 4276 NEW BEST:: SOT 3460538 SOS 727317 HAS SOPS 727317 HAS SOUS 468024 HAS SOUPS 468024 WITH SCORE 468751.317
AT ITER 4301 NEW BEST:: SOT 3460428 SOS 727360 HAS SOPS 727360 HAS SOUS 467804 HAS SOUPS 467804 WITH SCORE 468531.36
AT ITER 4320 NEW BEST:: SOT 3460314 SOS 727303 HAS SOPS 727303 HAS SOUS 467747 HAS SOUPS 467747 WITH SCORE 468474.303
AT ITER 4346 NEW BEST:: SOT 3460311 SOS 727297 HAS SOPS 727297 HAS SOUS 467741 HAS SOUPS 467741 WITH SCORE 468468.297
AT ITER 4348 NEW BEST:: SOT 3460279 SOS 727105 HAS SOPS 727105 HAS SOUS 467693 HAS SOUPS 467693 WITH SCORE 468420.105
AT ITER 4390 NEW BEST:: SOT 3460279 SOS 726979 HAS SOPS 726979 HAS SOUS 467684 HAS SOUPS 467684 WITH SCORE 468410.979
AT ITER 4395 NEW BEST:: SOT 3460318 SOS 727057 HAS SOPS 727057 HAS SOUS 467672 HAS SOUPS 467672 WITH SCORE 468399.057
AT ITER 4451 NEW BEST:: SOT 3460110 SOS 725875 HAS SOPS 725875 HAS SOUS 467291 HAS SOUPS 467291 WITH SCORE 468016.875
AT ITER 4467 NEW BEST:: SOT 3460290 SOS 726364 HAS SOPS 726364 HAS SOUS 466692 HAS SOUPS 466692 WITH SCORE 467418.364
AT ITER 4543 NEW BEST:: SOT 3460251 SOS 726325 HAS SOPS 726325 HAS SOUS 466653 HAS SOUPS 466653 WITH SCORE 467379.325
AT ITER 4560 NEW BEST:: SOT 3460041 SOS 725905 HAS SOPS 725905 HAS SOUS 466443 HAS SOUPS 466443 WITH SCORE 467168.905
AT ITER 4578 NEW BEST:: SOT 3460028 SOS 725996 HAS SOPS 725996 HAS SOUS 466417 HAS SOUPS 466417 WITH SCORE 467142.996
AT ITER 4586 NEW BEST:: SOT 3459934 SOS 725808 HAS SOPS 725808 HAS SOUS 466206 HAS SOUPS 466206 WITH SCORE 466931.808
AT ITER 4605 NEW BEST:: SOT 3459871 SOS 725682 HAS SOPS 725682 HAS SOUS 466080 HAS SOUPS 466080 WITH SCORE 466805.682
AT ITER 4625 NEW BEST:: SOT 3459839 SOS 725490 HAS SOPS 725490 HAS SOUS 466032 HAS SOUPS 466032 WITH SCORE 466757.49
AT ITER 4700 NEW BEST:: SOT 3459715 SOS 725366 HAS SOPS 725366 HAS SOUS 465908 HAS SOUPS 465908 WITH SCORE 466633.366
AT ITER 4724 NEW BEST:: SOT 3459715 SOS 726004 HAS SOPS 726004 HAS SOUS 465907 HAS SOUPS 465907 WITH SCORE 466633.004
AT ITER 4746 NEW BEST:: SOT 3459913 SOS 726400 HAS SOPS 726400 HAS SOUS 465900 HAS SOUPS 465900 WITH SCORE 466626.4
AT ITER 4773 NEW BEST:: SOT 3459913 SOS 726324 HAS SOPS 726324 HAS SOUS 465824 HAS SOUPS 465824 WITH SCORE 466550.324
AT ITER 4775 NEW BEST:: SOT 3459913 SOS 727016 HAS SOPS 727016 HAS SOUS 465823 HAS SOUPS 465823 WITH SCORE 466550.016
AT ITER 4777 NEW BEST:: SOT 3458504 SOS 726256 HAS SOPS 726256 HAS SOUS 465195 HAS SOUPS 465195 WITH SCORE 465921.256
AT ITER 4797 NEW BEST:: SOT 3458361 SOS 726113 HAS SOPS 726113 HAS SOUS 465052 HAS SOUPS 465052 WITH SCORE 465778.113
AT ITER 4818 NEW BEST:: SOT 3458303 SOS 726055 HAS SOPS 726055 HAS SOUS 464936 HAS SOUPS 464936 WITH SCORE 465662.055
AT ITER 4820 NEW BEST:: SOT 3458251 SOS 726003 HAS SOPS 726003 HAS SOUS 464884 HAS SOUPS 464884 WITH SCORE 465610.003
AT ITER 4863 NEW BEST:: SOT 3458025 SOS 726068 HAS SOPS 726068 HAS SOUS 464862 HAS SOUPS 464862 WITH SCORE 465588.068
AT ITER 4870 NEW BEST:: SOT 3457965 SOS 726036 HAS SOPS 726036 HAS SOUS 464830 HAS SOUPS 464830 WITH SCORE 465556.036
AT ITER 4915 NEW BEST:: SOT 3457964 SOS 725692 HAS SOPS 725692 HAS SOUS 464814 HAS SOUPS 464814 WITH SCORE 465539.692
AT ITER 4942 NEW BEST:: SOT 3457770 SOS 725304 HAS SOPS 725304 HAS SOUS 464553 HAS SOUPS 464553 WITH SCORE 465278.304
AT ITER 4957 NEW BEST:: SOT 3457445 SOS 727190 HAS SOPS 727190 HAS SOUS 464390 HAS SOUPS 464390 WITH SCORE 465117.19
AT ITER 4964 NEW BEST:: SOT 3457377 SOS 726782 HAS SOPS 726782 HAS SOUS 464186 HAS SOUPS 464186 WITH SCORE 464912.782
AT ITER 4983 NEW BEST:: SOT 3457377 SOS 726278 HAS SOPS 726278 HAS SOUS 464018 HAS SOUPS 464018 WITH SCORE 464744.278
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-05b-CTLCardinality-00 (AG( (! (! ( potential( (tk(P1229)) <= (tk(P354)) ) | potential( ( 1 ) <= (tk(P1870)) ) )))))
PROPERTY: DLCround-PT-05b-CTLCardinality-01 (EF(potential( ( 2 ) <= (tk(P492)) )))
PROPERTY: DLCround-PT-05b-CTLCardinality-02 (EU( (EX( potential( (tk(P1551)) <= (tk(P1505)) ))),(! ( potential( (tk(P877)) <= (tk(P497)) ) | potential( ( 2 ) <= (tk(P1908)) ) )) ))
PROPERTY: DLCround-PT-05b-CTLCardinality-03 (! (EG( (! ( potential( (tk(P1368)) <= (tk(P1281)) ) & potential( ( 3 ) <= (tk(P1221)) ) )))))
PROPERTY: DLCround-PT-05b-CTLCardinality-04 (! (AU( (! potential( ( 2 ) <= (tk(P1341)) )),( potential( ( 3 ) <= (tk(P1803)) ) | potential( ( 1 ) <= (tk(P1763)) ) ) )))
PROPERTY: DLCround-PT-05b-CTLCardinality-05 (! (AF((! (! potential( ( 2 ) <= (tk(P1788)) ))))))
PROPERTY: DLCround-PT-05b-CTLCardinality-06 (AG( (! (AX( potential( ( 2 ) <= (tk(P367)) ))))))
PROPERTY: DLCround-PT-05b-CTLCardinality-07 ( (AG( ( ( potential( (tk(P1118)) <= (tk(P1210)) ) | potential( ( 1 ) <= (tk(P1755)) ) ) | potential( (tk(P1247)) <= (tk(P506)) ) ))) & (AF((EG( potential( (tk(P1358)) <= (tk(P1595)) ))))) )
PROPERTY: DLCround-PT-05b-CTLCardinality-08 (AX( (! (AG( potential( (tk(P1618)) <= (tk(P1208)) ))))))
PROPERTY: DLCround-PT-05b-CTLCardinality-09 (AG( ( ( potential( ( 1 ) <= (tk(P1491)) ) | ( potential( (tk(P58)) <= (tk(P744)) ) & potential( ( 3 ) <= (tk(P1819)) ) ) ) | (AG( potential( (tk(P1177)) <= (tk(P733)) ))) )))
PROPERTY: DLCround-PT-05b-CTLCardinality-10 (EF(( potential( (tk(P1769)) <= (tk(P170)) ) & ( potential( (tk(P1499)) <= (tk(P1324)) ) & ( potential( ( 1 ) <= (tk(P537)) ) & potential( (tk(P1716)) <= (tk(P200)) ) ) ) )))
PROPERTY: DLCround-PT-05b-CTLCardinality-11 ( (AG( (AF(potential( ( 3 ) <= (tk(P652)) ))))) & ( (AU( potential( (tk(P1184)) <= (tk(P1113)) ),potential( (tk(P392)) <= (tk(P432)) ) )) & (EX( (! potential( ( 2 ) <= (tk(P337)) )))) ) )
PROPERTY: DLCround-PT-05b-CTLCardinality-12 (! ( (AG( ( potential( (tk(P475)) <= (tk(P1429)) ) | potential( (tk(P1696)) <= (tk(P760)) ) ))) & (EF(( potential( (tk(P1590)) <= (tk(P391)) ) | potential( ( 3 ) <= (tk(P1833)) ) ))) ))
PROPERTY: DLCround-PT-05b-CTLCardinality-13 (AG( (AF(potential( (tk(P1372)) <= (tk(P1726)) )))))
PROPERTY: DLCround-PT-05b-CTLCardinality-14 (AF(( (AF(potential( ( 3 ) <= (tk(P43)) ))) & ( potential( (tk(P1693)) <= (tk(P1392)) ) & potential( (tk(P1475)) <= (tk(P114)) ) ) )))
PROPERTY: DLCround-PT-05b-CTLCardinality-15 (AU( (! ( potential( (tk(P1174)) <= (tk(P798)) ) & potential( ( 2 ) <= (tk(P1180)) ) )),potential( ( 1 ) <= (tk(P61)) ) ))

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="DLCround-PT-05b"
export BK_EXAMINATION="CTLCardinality"
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 DLCround-PT-05b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542300491"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;