Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250400355.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-2B, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250400355
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 728K
-rw-r--r-- 1 mcc users 3.8K Apr 8 15:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 8 15:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 18:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 7 18:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 6 20:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 6 20:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 6 03:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 6 03:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 548K 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 NoC3x3-PT-2B-CTLCardinality-00
FORMULA_NAME NoC3x3-PT-2B-CTLCardinality-01
FORMULA_NAME NoC3x3-PT-2B-CTLCardinality-02
FORMULA_NAME NoC3x3-PT-2B-CTLCardinality-03
FORMULA_NAME NoC3x3-PT-2B-CTLCardinality-04
FORMULA_NAME NoC3x3-PT-2B-CTLCardinality-05
FORMULA_NAME NoC3x3-PT-2B-CTLCardinality-06
FORMULA_NAME NoC3x3-PT-2B-CTLCardinality-07
FORMULA_NAME NoC3x3-PT-2B-CTLCardinality-08
FORMULA_NAME NoC3x3-PT-2B-CTLCardinality-09
FORMULA_NAME NoC3x3-PT-2B-CTLCardinality-10
FORMULA_NAME NoC3x3-PT-2B-CTLCardinality-11
FORMULA_NAME NoC3x3-PT-2B-CTLCardinality-12
FORMULA_NAME NoC3x3-PT-2B-CTLCardinality-13
FORMULA_NAME NoC3x3-PT-2B-CTLCardinality-14
FORMULA_NAME NoC3x3-PT-2B-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589641478552

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 2B
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: 2003 places, 2292 transitions, 5835 arcs.
AT ITER 0 NEW BEST:: SOT 2472764 SOS 328184 HAS SOPS 328184 HAS SOUS 274863 HAS SOUPS 274863 WITH SCORE 275191.184
AT ITER 1 NEW BEST:: SOT 2472676 SOS 327907 HAS SOPS 327907 HAS SOUS 274764 HAS SOUPS 274764 WITH SCORE 275091.907
AT ITER 8 NEW BEST:: SOT 2472690 SOS 327883 HAS SOPS 327883 HAS SOUS 274758 HAS SOUPS 274758 WITH SCORE 275085.883
AT ITER 21 NEW BEST:: SOT 2472608 SOS 327796 HAS SOPS 327796 HAS SOUS 274746 HAS SOUPS 274746 WITH SCORE 275073.796
AT ITER 53 NEW BEST:: SOT 2472539 SOS 327459 HAS SOPS 327459 HAS SOUS 274672 HAS SOUPS 274672 WITH SCORE 274999.459
AT ITER 54 NEW BEST:: SOT 2472502 SOS 327422 HAS SOPS 327422 HAS SOUS 274635 HAS SOUPS 274635 WITH SCORE 274962.422
AT ITER 64 NEW BEST:: SOT 2472558 SOS 327449 HAS SOPS 327449 HAS SOUS 274608 HAS SOUPS 274608 WITH SCORE 274935.449
AT ITER 73 NEW BEST:: SOT 2472457 SOS 327378 HAS SOPS 327378 HAS SOUS 274537 HAS SOUPS 274537 WITH SCORE 274864.378
AT ITER 101 NEW BEST:: SOT 2472441 SOS 327462 HAS SOPS 327462 HAS SOUS 274521 HAS SOUPS 274521 WITH SCORE 274848.462
AT ITER 103 NEW BEST:: SOT 2472440 SOS 327422 HAS SOPS 327422 HAS SOUS 274481 HAS SOUPS 274481 WITH SCORE 274808.422
AT ITER 127 NEW BEST:: SOT 2472440 SOS 327619 HAS SOPS 327619 HAS SOUS 274474 HAS SOUPS 274474 WITH SCORE 274801.619
AT ITER 147 NEW BEST:: SOT 2472417 SOS 327596 HAS SOPS 327596 HAS SOUS 274451 HAS SOUPS 274451 WITH SCORE 274778.596
AT ITER 154 NEW BEST:: SOT 2472166 SOS 327358 HAS SOPS 327358 HAS SOUS 274200 HAS SOUPS 274200 WITH SCORE 274527.358
AT ITER 161 NEW BEST:: SOT 2472017 SOS 327060 HAS SOPS 327060 HAS SOUS 274048 HAS SOUPS 274048 WITH SCORE 274375.06
AT ITER 165 NEW BEST:: SOT 2472017 SOS 327048 HAS SOPS 327048 HAS SOUS 274036 HAS SOUPS 274036 WITH SCORE 274363.048
AT ITER 182 NEW BEST:: SOT 2471908 SOS 326933 HAS SOPS 326933 HAS SOUS 273921 HAS SOUPS 273921 WITH SCORE 274247.933
AT ITER 218 NEW BEST:: SOT 2471682 SOS 326813 HAS SOPS 326813 HAS SOUS 273860 HAS SOUPS 273860 WITH SCORE 274186.813
AT ITER 273 NEW BEST:: SOT 2471657 SOS 326633 HAS SOPS 326633 HAS SOUS 273774 HAS SOUPS 273774 WITH SCORE 274100.633
AT ITER 295 NEW BEST:: SOT 2471671 SOS 326532 HAS SOPS 326532 HAS SOUS 273721 HAS SOUPS 273721 WITH SCORE 274047.532
AT ITER 301 NEW BEST:: SOT 2471565 SOS 326426 HAS SOPS 326426 HAS SOUS 273615 HAS SOUPS 273615 WITH SCORE 273941.426
AT ITER 405 NEW BEST:: SOT 2471522 SOS 326402 HAS SOPS 326402 HAS SOUS 273603 HAS SOUPS 273603 WITH SCORE 273929.402
AT ITER 409 NEW BEST:: SOT 2471478 SOS 326386 HAS SOPS 326386 HAS SOUS 273472 HAS SOUPS 273472 WITH SCORE 273798.386
AT ITER 423 NEW BEST:: SOT 2471404 SOS 326312 HAS SOPS 326312 HAS SOUS 273324 HAS SOUPS 273324 WITH SCORE 273650.312
AT ITER 443 NEW BEST:: SOT 2471404 SOS 326277 HAS SOPS 326277 HAS SOUS 273317 HAS SOUPS 273317 WITH SCORE 273643.277
AT ITER 454 NEW BEST:: SOT 2471602 SOS 326616 HAS SOPS 326616 HAS SOUS 273316 HAS SOUPS 273316 WITH SCORE 273642.616
AT ITER 456 NEW BEST:: SOT 2471391 SOS 326766 HAS SOPS 326766 HAS SOUS 273105 HAS SOUPS 273105 WITH SCORE 273431.766
AT ITER 483 NEW BEST:: SOT 2471243 SOS 326470 HAS SOPS 326470 HAS SOUS 272662 HAS SOUPS 272662 WITH SCORE 272988.47
AT ITER 485 NEW BEST:: SOT 2470669 SOS 326581 HAS SOPS 326581 HAS SOUS 272164 HAS SOUPS 272164 WITH SCORE 272490.581
AT ITER 490 NEW BEST:: SOT 2470639 SOS 326536 HAS SOPS 326536 HAS SOUS 272134 HAS SOUPS 272134 WITH SCORE 272460.536
AT ITER 516 NEW BEST:: SOT 2470549 SOS 326446 HAS SOPS 326446 HAS SOUS 272043 HAS SOUPS 272043 WITH SCORE 272369.446
AT ITER 521 NEW BEST:: SOT 2470416 SOS 326313 HAS SOPS 326313 HAS SOUS 272042 HAS SOUPS 272042 WITH SCORE 272368.313
AT ITER 524 NEW BEST:: SOT 2470133 SOS 326192 HAS SOPS 326192 HAS SOUS 271910 HAS SOUPS 271910 WITH SCORE 272236.192
AT ITER 617 NEW BEST:: SOT 2470099 SOS 326124 HAS SOPS 326124 HAS SOUS 271876 HAS SOUPS 271876 WITH SCORE 272202.124
AT ITER 624 NEW BEST:: SOT 2469559 SOS 327264 HAS SOPS 327264 HAS SOUS 271614 HAS SOUPS 271614 WITH SCORE 271941.264
AT ITER 662 NEW BEST:: SOT 2469413 SOS 327122 HAS SOPS 327122 HAS SOUS 271543 HAS SOUPS 271543 WITH SCORE 271870.122
AT ITER 675 NEW BEST:: SOT 2469365 SOS 327194 HAS SOPS 327194 HAS SOUS 271519 HAS SOUPS 271519 WITH SCORE 271846.194
AT ITER 697 NEW BEST:: SOT 2469273 SOS 326751 HAS SOPS 326751 HAS SOUS 271319 HAS SOUPS 271319 WITH SCORE 271645.751
AT ITER 698 NEW BEST:: SOT 2469264 SOS 326742 HAS SOPS 326742 HAS SOUS 271306 HAS SOUPS 271306 WITH SCORE 271632.742
AT ITER 709 NEW BEST:: SOT 2469176 SOS 326654 HAS SOPS 326654 HAS SOUS 271277 HAS SOUPS 271277 WITH SCORE 271603.654
AT ITER 711 NEW BEST:: SOT 2469176 SOS 326653 HAS SOPS 326653 HAS SOUS 271276 HAS SOUPS 271276 WITH SCORE 271602.653
AT ITER 748 NEW BEST:: SOT 2469176 SOS 326632 HAS SOPS 326632 HAS SOUS 271254 HAS SOUPS 271254 WITH SCORE 271580.632
AT ITER 764 NEW BEST:: SOT 2469096 SOS 326648 HAS SOPS 326648 HAS SOUS 271174 HAS SOUPS 271174 WITH SCORE 271500.648
AT ITER 809 NEW BEST:: SOT 2469077 SOS 326628 HAS SOPS 326628 HAS SOUS 271173 HAS SOUPS 271173 WITH SCORE 271499.628
AT ITER 814 NEW BEST:: SOT 2469077 SOS 326601 HAS SOPS 326601 HAS SOUS 271146 HAS SOUPS 271146 WITH SCORE 271472.601
AT ITER 823 NEW BEST:: SOT 2468980 SOS 326292 HAS SOPS 326292 HAS SOUS 271066 HAS SOUPS 271066 WITH SCORE 271392.292
AT ITER 861 NEW BEST:: SOT 2468639 SOS 326003 HAS SOPS 326003 HAS SOUS 270829 HAS SOUPS 270829 WITH SCORE 271155.003
AT ITER 865 NEW BEST:: SOT 2468639 SOS 325954 HAS SOPS 325954 HAS SOUS 270780 HAS SOUPS 270780 WITH SCORE 271105.954
AT ITER 889 NEW BEST:: SOT 2468557 SOS 325790 HAS SOPS 325790 HAS SOUS 270779 HAS SOUPS 270779 WITH SCORE 271104.79
AT ITER 920 NEW BEST:: SOT 2468557 SOS 325790 HAS SOPS 325790 HAS SOUS 270775 HAS SOUPS 270775 WITH SCORE 271100.79
AT ITER 933 NEW BEST:: SOT 2468521 SOS 325479 HAS SOPS 325479 HAS SOUS 270774 HAS SOUPS 270774 WITH SCORE 271099.479
AT ITER 948 NEW BEST:: SOT 2468462 SOS 325505 HAS SOPS 325505 HAS SOUS 270706 HAS SOUPS 270706 WITH SCORE 271031.505
AT ITER 951 NEW BEST:: SOT 2468398 SOS 325428 HAS SOPS 325428 HAS SOUS 270642 HAS SOUPS 270642 WITH SCORE 270967.428
AT ITER 977 NEW BEST:: SOT 2468183 SOS 325299 HAS SOPS 325299 HAS SOUS 270468 HAS SOUPS 270468 WITH SCORE 270793.299
AT ITER 1024 NEW BEST:: SOT 2468183 SOS 325299 HAS SOPS 325299 HAS SOUS 270466 HAS SOUPS 270466 WITH SCORE 270791.299
AT ITER 1041 NEW BEST:: SOT 2468178 SOS 325289 HAS SOPS 325289 HAS SOUS 270456 HAS SOUPS 270456 WITH SCORE 270781.289
AT ITER 1043 NEW BEST:: SOT 2468222 SOS 325274 HAS SOPS 325274 HAS SOUS 270255 HAS SOUPS 270255 WITH SCORE 270580.274
AT ITER 1047 NEW BEST:: SOT 2468215 SOS 325533 HAS SOPS 325533 HAS SOUS 270241 HAS SOUPS 270241 WITH SCORE 270566.533
AT ITER 1049 NEW BEST:: SOT 2468191 SOS 325485 HAS SOPS 325485 HAS SOUS 270193 HAS SOUPS 270193 WITH SCORE 270518.485
AT ITER 1052 NEW BEST:: SOT 2468112 SOS 325461 HAS SOPS 325461 HAS SOUS 270146 HAS SOUPS 270146 WITH SCORE 270471.461
AT ITER 1071 NEW BEST:: SOT 2468084 SOS 325433 HAS SOPS 325433 HAS SOUS 270090 HAS SOUPS 270090 WITH SCORE 270415.433
AT ITER 1112 NEW BEST:: SOT 2468021 SOS 325307 HAS SOPS 325307 HAS SOUS 269964 HAS SOUPS 269964 WITH SCORE 270289.307
AT ITER 1114 NEW BEST:: SOT 2467770 SOS 325147 HAS SOPS 325147 HAS SOUS 269804 HAS SOUPS 269804 WITH SCORE 270129.147
AT ITER 1132 NEW BEST:: SOT 2467635 SOS 325066 HAS SOPS 325066 HAS SOUS 269722 HAS SOUPS 269722 WITH SCORE 270047.066
AT ITER 1138 NEW BEST:: SOT 2467439 SOS 325066 HAS SOPS 325066 HAS SOUS 269560 HAS SOUPS 269560 WITH SCORE 269885.066
AT ITER 1171 NEW BEST:: SOT 2467001 SOS 324596 HAS SOPS 324596 HAS SOUS 269318 HAS SOUPS 269318 WITH SCORE 269642.596
AT ITER 1198 NEW BEST:: SOT 2466914 SOS 324235 HAS SOPS 324235 HAS SOUS 268996 HAS SOUPS 268996 WITH SCORE 269320.235
AT ITER 1226 NEW BEST:: SOT 2466415 SOS 324271 HAS SOPS 324271 HAS SOUS 268861 HAS SOUPS 268861 WITH SCORE 269185.271
AT ITER 1227 NEW BEST:: SOT 2466247 SOS 324150 HAS SOPS 324150 HAS SOUS 268693 HAS SOUPS 268693 WITH SCORE 269017.15
AT ITER 1239 NEW BEST:: SOT 2466252 SOS 324174 HAS SOPS 324174 HAS SOUS 268643 HAS SOUPS 268643 WITH SCORE 268967.174
AT ITER 1287 NEW BEST:: SOT 2466329 SOS 324271 HAS SOPS 324271 HAS SOUS 268547 HAS SOUPS 268547 WITH SCORE 268871.271
AT ITER 1315 NEW BEST:: SOT 2466300 SOS 324329 HAS SOPS 324329 HAS SOUS 268546 HAS SOUPS 268546 WITH SCORE 268870.329
AT ITER 1349 NEW BEST:: SOT 2466233 SOS 324219 HAS SOPS 324219 HAS SOUS 268479 HAS SOUPS 268479 WITH SCORE 268803.219
AT ITER 1350 NEW BEST:: SOT 2466233 SOS 324078 HAS SOPS 324078 HAS SOUS 268474 HAS SOUPS 268474 WITH SCORE 268798.078
AT ITER 1353 NEW BEST:: SOT 2465656 SOS 323837 HAS SOPS 323837 HAS SOUS 267836 HAS SOUPS 267836 WITH SCORE 268159.837
AT ITER 1371 NEW BEST:: SOT 2465554 SOS 323633 HAS SOPS 323633 HAS SOUS 267812 HAS SOUPS 267812 WITH SCORE 268135.633
AT ITER 1381 NEW BEST:: SOT 2465554 SOS 323449 HAS SOPS 323449 HAS SOUS 267806 HAS SOUPS 267806 WITH SCORE 268129.449
AT ITER 1465 NEW BEST:: SOT 2465554 SOS 322378 HAS SOPS 322378 HAS SOUS 267805 HAS SOUPS 267805 WITH SCORE 268127.378
AT ITER 1518 NEW BEST:: SOT 2465554 SOS 322378 HAS SOPS 322378 HAS SOUS 267802 HAS SOUPS 267802 WITH SCORE 268124.378
AT ITER 1525 NEW BEST:: SOT 2464995 SOS 322005 HAS SOPS 322005 HAS SOUS 267243 HAS SOUPS 267243 WITH SCORE 267565.005
AT ITER 1545 NEW BEST:: SOT 2464973 SOS 322001 HAS SOPS 322001 HAS SOUS 267239 HAS SOUPS 267239 WITH SCORE 267561.001
AT ITER 1590 NEW BEST:: SOT 2464900 SOS 321910 HAS SOPS 321910 HAS SOUS 267070 HAS SOUPS 267070 WITH SCORE 267391.91
AT ITER 1592 NEW BEST:: SOT 2464900 SOS 321898 HAS SOPS 321898 HAS SOUS 267070 HAS SOUPS 267070 WITH SCORE 267391.898
AT ITER 1638 NEW BEST:: SOT 2464964 SOS 321997 HAS SOPS 321997 HAS SOUS 267023 HAS SOUPS 267023 WITH SCORE 267344.997
AT ITER 1647 NEW BEST:: SOT 2464808 SOS 321690 HAS SOPS 321690 HAS SOUS 266716 HAS SOUPS 266716 WITH SCORE 267037.69
AT ITER 1648 NEW BEST:: SOT 2464577 SOS 321645 HAS SOPS 321645 HAS SOUS 266485 HAS SOUPS 266485 WITH SCORE 266806.645
AT ITER 1654 NEW BEST:: SOT 2464551 SOS 321593 HAS SOPS 321593 HAS SOUS 266458 HAS SOUPS 266458 WITH SCORE 266779.593
AT ITER 1674 NEW BEST:: SOT 2464437 SOS 321365 HAS SOPS 321365 HAS SOUS 266341 HAS SOUPS 266341 WITH SCORE 266662.365
AT ITER 1687 NEW BEST:: SOT 2463412 SOS 320989 HAS SOPS 320989 HAS SOUS 265499 HAS SOUPS 265499 WITH SCORE 265819.989
AT ITER 1724 NEW BEST:: SOT 2463307 SOS 320863 HAS SOPS 320863 HAS SOUS 265373 HAS SOUPS 265373 WITH SCORE 265693.863
AT ITER 1731 NEW BEST:: SOT 2463083 SOS 320974 HAS SOPS 320974 HAS SOUS 265148 HAS SOUPS 265148 WITH SCORE 265468.974
AT ITER 1737 NEW BEST:: SOT 2463055 SOS 320890 HAS SOPS 320890 HAS SOUS 265092 HAS SOUPS 265092 WITH SCORE 265412.89
AT ITER 1773 NEW BEST:: SOT 2463055 SOS 320857 HAS SOPS 320857 HAS SOUS 265057 HAS SOUPS 265057 WITH SCORE 265377.857
AT ITER 1777 NEW BEST:: SOT 2463013 SOS 320832 HAS SOPS 320832 HAS SOUS 265018 HAS SOUPS 265018 WITH SCORE 265338.832
AT ITER 1821 NEW BEST:: SOT 2463021 SOS 320698 HAS SOPS 320698 HAS SOUS 264885 HAS SOUPS 264885 WITH SCORE 265205.698
AT ITER 1834 NEW BEST:: SOT 2463011 SOS 320672 HAS SOPS 320672 HAS SOUS 264859 HAS SOUPS 264859 WITH SCORE 265179.672
AT ITER 1874 NEW BEST:: SOT 2462945 SOS 320279 HAS SOPS 320279 HAS SOUS 264789 HAS SOUPS 264789 WITH SCORE 265109.279
AT ITER 1877 NEW BEST:: SOT 2462905 SOS 320345 HAS SOPS 320345 HAS SOUS 264749 HAS SOUPS 264749 WITH SCORE 265069.345
AT ITER 1912 NEW BEST:: SOT 2462872 SOS 320313 HAS SOPS 320313 HAS SOUS 264715 HAS SOUPS 264715 WITH SCORE 265035.313
AT ITER 1942 NEW BEST:: SOT 2462810 SOS 320282 HAS SOPS 320282 HAS SOUS 264714 HAS SOUPS 264714 WITH SCORE 265034.282
AT ITER 2003 NEW BEST:: SOT 2462840 SOS 320232 HAS SOPS 320232 HAS SOUS 264673 HAS SOUPS 264673 WITH SCORE 264993.232
AT ITER 2049 NEW BEST:: SOT 2462546 SOS 320150 HAS SOPS 320150 HAS SOUS 264432 HAS SOUPS 264432 WITH SCORE 264752.15
AT ITER 2053 NEW BEST:: SOT 2462558 SOS 320138 HAS SOPS 320138 HAS SOUS 264422 HAS SOUPS 264422 WITH SCORE 264742.138
AT ITER 2054 NEW BEST:: SOT 2462483 SOS 320156 HAS SOPS 320156 HAS SOUS 264179 HAS SOUPS 264179 WITH SCORE 264499.156
AT ITER 2061 NEW BEST:: SOT 2462347 SOS 319837 HAS SOPS 319837 HAS SOUS 263869 HAS SOUPS 263869 WITH SCORE 264188.837
AT ITER 2073 NEW BEST:: SOT 2462293 SOS 320237 HAS SOPS 320237 HAS SOUS 263861 HAS SOUPS 263861 WITH SCORE 264181.237
AT ITER 2104 NEW BEST:: SOT 2462225 SOS 320134 HAS SOPS 320134 HAS SOUS 263861 HAS SOUPS 263861 WITH SCORE 264181.134
AT ITER 2151 NEW BEST:: SOT 2462225 SOS 320098 HAS SOPS 320098 HAS SOUS 263861 HAS SOUPS 263861 WITH SCORE 264181.098
AT ITER 2157 NEW BEST:: SOT 2462076 SOS 319849 HAS SOPS 319849 HAS SOUS 263639 HAS SOUPS 263639 WITH SCORE 263958.849
AT ITER 2216 NEW BEST:: SOT 2461965 SOS 319627 HAS SOPS 319627 HAS SOUS 263636 HAS SOUPS 263636 WITH SCORE 263955.627
AT ITER 2289 NEW BEST:: SOT 2461965 SOS 319627 HAS SOPS 319627 HAS SOUS 263635 HAS SOUPS 263635 WITH SCORE 263954.627
AT ITER 2304 NEW BEST:: SOT 2461965 SOS 319627 HAS SOPS 319627 HAS SOUS 263633 HAS SOUPS 263633 WITH SCORE 263952.627
AT ITER 2309 NEW BEST:: SOT 2461893 SOS 319578 HAS SOPS 319578 HAS SOUS 263580 HAS SOUPS 263580 WITH SCORE 263899.578
AT ITER 2314 NEW BEST:: SOT 2462216 SOS 320102 HAS SOPS 320102 HAS SOUS 263559 HAS SOUPS 263559 WITH SCORE 263879.102
AT ITER 2359 NEW BEST:: SOT 2462215 SOS 320092 HAS SOPS 320092 HAS SOUS 263549 HAS SOUPS 263549 WITH SCORE 263869.092
AT ITER 2374 NEW BEST:: SOT 2462166 SOS 320103 HAS SOPS 320103 HAS SOUS 263500 HAS SOUPS 263500 WITH SCORE 263820.103
AT ITER 2386 NEW BEST:: SOT 2462153 SOS 320051 HAS SOPS 320051 HAS SOUS 263487 HAS SOUPS 263487 WITH SCORE 263807.051
AT ITER 2402 NEW BEST:: SOT 2462113 SOS 320011 HAS SOPS 320011 HAS SOUS 263446 HAS SOUPS 263446 WITH SCORE 263766.011
AT ITER 2404 NEW BEST:: SOT 2462003 SOS 319868 HAS SOPS 319868 HAS SOUS 263307 HAS SOUPS 263307 WITH SCORE 263626.868
AT ITER 2416 NEW BEST:: SOT 2461875 SOS 319786 HAS SOPS 319786 HAS SOUS 263213 HAS SOUPS 263213 WITH SCORE 263532.786
AT ITER 2437 NEW BEST:: SOT 2461630 SOS 319546 HAS SOPS 319546 HAS SOUS 262973 HAS SOUPS 262973 WITH SCORE 263292.546
AT ITER 2453 NEW BEST:: SOT 2461617 SOS 319519 HAS SOPS 319519 HAS SOUS 262934 HAS SOUPS 262934 WITH SCORE 263253.519
AT ITER 2477 NEW BEST:: SOT 2461575 SOS 319471 HAS SOPS 319471 HAS SOUS 262886 HAS SOUPS 262886 WITH SCORE 263205.471
AT ITER 2542 NEW BEST:: SOT 2461493 SOS 319390 HAS SOPS 319390 HAS SOUS 262807 HAS SOUPS 262807 WITH SCORE 263126.39
AT ITER 2578 NEW BEST:: SOT 2461401 SOS 319019 HAS SOPS 319019 HAS SOUS 262729 HAS SOUPS 262729 WITH SCORE 263048.019
AT ITER 2594 NEW BEST:: SOT 2461258 SOS 318645 HAS SOPS 318645 HAS SOUS 262652 HAS SOUPS 262652 WITH SCORE 262970.645
AT ITER 2668 NEW BEST:: SOT 2461254 SOS 318465 HAS SOPS 318465 HAS SOUS 262605 HAS SOUPS 262605 WITH SCORE 262923.465
AT ITER 2671 NEW BEST:: SOT 2461223 SOS 318271 HAS SOPS 318271 HAS SOUS 262458 HAS SOUPS 262458 WITH SCORE 262776.271
AT ITER 2687 NEW BEST:: SOT 2461058 SOS 318105 HAS SOPS 318105 HAS SOUS 262292 HAS SOUPS 262292 WITH SCORE 262610.105
AT ITER 2706 NEW BEST:: SOT 2461025 SOS 318085 HAS SOPS 318085 HAS SOUS 262258 HAS SOUPS 262258 WITH SCORE 262576.085
AT ITER 2707 NEW BEST:: SOT 2460951 SOS 317937 HAS SOPS 317937 HAS SOUS 261975 HAS SOUPS 261975 WITH SCORE 262292.937
AT ITER 2708 NEW BEST:: SOT 2460951 SOS 317907 HAS SOPS 317907 HAS SOUS 261975 HAS SOUPS 261975 WITH SCORE 262292.907
AT ITER 2751 NEW BEST:: SOT 2460872 SOS 317749 HAS SOPS 317749 HAS SOUS 261893 HAS SOUPS 261893 WITH SCORE 262210.749
AT ITER 2788 NEW BEST:: SOT 2460802 SOS 317608 HAS SOPS 317608 HAS SOUS 261752 HAS SOUPS 261752 WITH SCORE 262069.608
AT ITER 2804 NEW BEST:: SOT 2460801 SOS 317606 HAS SOPS 317606 HAS SOUS 261750 HAS SOUPS 261750 WITH SCORE 262067.606
AT ITER 2832 NEW BEST:: SOT 2460716 SOS 317448 HAS SOPS 317448 HAS SOUS 261693 HAS SOUPS 261693 WITH SCORE 262010.448
AT ITER 2851 NEW BEST:: SOT 2458685 SOS 317668 HAS SOPS 317668 HAS SOUS 260088 HAS SOUPS 260088 WITH SCORE 260405.668
AT ITER 2856 NEW BEST:: SOT 2458629 SOS 317556 HAS SOPS 317556 HAS SOUS 259975 HAS SOUPS 259975 WITH SCORE 260292.556
AT ITER 2892 NEW BEST:: SOT 2458643 SOS 317528 HAS SOPS 317528 HAS SOUS 259975 HAS SOUPS 259975 WITH SCORE 260292.528
AT ITER 2952 NEW BEST:: SOT 2458579 SOS 317511 HAS SOPS 317511 HAS SOUS 259911 HAS SOUPS 259911 WITH SCORE 260228.511
AT ITER 2954 NEW BEST:: SOT 2458568 SOS 317500 HAS SOPS 317500 HAS SOUS 259889 HAS SOUPS 259889 WITH SCORE 260206.5
AT ITER 2982 NEW BEST:: SOT 2458568 SOS 317458 HAS SOPS 317458 HAS SOUS 259847 HAS SOUPS 259847 WITH SCORE 260164.458
AT ITER 2996 NEW BEST:: SOT 2458774 SOS 317303 HAS SOPS 317303 HAS SOUS 259776 HAS SOUPS 259776 WITH SCORE 260093.303
AT ITER 2998 NEW BEST:: SOT 2458761 SOS 317277 HAS SOPS 317277 HAS SOUS 259750 HAS SOUPS 259750 WITH SCORE 260067.277
AT ITER 3003 NEW BEST:: SOT 2458862 SOS 317298 HAS SOPS 317298 HAS SOUS 259553 HAS SOUPS 259553 WITH SCORE 259870.298
AT ITER 3039 NEW BEST:: SOT 2458799 SOS 317261 HAS SOPS 317261 HAS SOUS 259427 HAS SOUPS 259427 WITH SCORE 259744.261
AT ITER 3042 NEW BEST:: SOT 2458356 SOS 317754 HAS SOPS 317754 HAS SOUS 259135 HAS SOUPS 259135 WITH SCORE 259452.754
AT ITER 3049 NEW BEST:: SOT 2458190 SOS 317474 HAS SOPS 317474 HAS SOUS 258886 HAS SOUPS 258886 WITH SCORE 259203.474
AT ITER 3052 NEW BEST:: SOT 2456321 SOS 317004 HAS SOPS 317004 HAS SOUS 257078 HAS SOUPS 257078 WITH SCORE 257395.004
AT ITER 3062 NEW BEST:: SOT 2455862 SOS 316495 HAS SOPS 316495 HAS SOUS 256554 HAS SOUPS 256554 WITH SCORE 256870.495
AT ITER 3083 NEW BEST:: SOT 2455830 SOS 316369 HAS SOPS 316369 HAS SOUS 256428 HAS SOUPS 256428 WITH SCORE 256744.369
AT ITER 3087 NEW BEST:: SOT 2455732 SOS 316299 HAS SOPS 316299 HAS SOUS 256392 HAS SOUPS 256392 WITH SCORE 256708.299
AT ITER 3095 NEW BEST:: SOT 2455783 SOS 316374 HAS SOPS 316374 HAS SOUS 256288 HAS SOUPS 256288 WITH SCORE 256604.374
AT ITER 3135 NEW BEST:: SOT 2455718 SOS 316394 HAS SOPS 316394 HAS SOUS 256158 HAS SOUPS 256158 WITH SCORE 256474.394
AT ITER 3151 NEW BEST:: SOT 2455718 SOS 316332 HAS SOPS 316332 HAS SOUS 256158 HAS SOUPS 256158 WITH SCORE 256474.332
AT ITER 3157 NEW BEST:: SOT 2455619 SOS 316235 HAS SOPS 316235 HAS SOUS 256108 HAS SOUPS 256108 WITH SCORE 256424.235
AT ITER 3175 NEW BEST:: SOT 2455568 SOS 315817 HAS SOPS 315817 HAS SOUS 256023 HAS SOUPS 256023 WITH SCORE 256338.817
AT ITER 3230 NEW BEST:: SOT 2455305 SOS 315119 HAS SOPS 315119 HAS SOUS 255579 HAS SOUPS 255579 WITH SCORE 255894.119
AT ITER 3254 NEW BEST:: SOT 2455201 SOS 314911 HAS SOPS 314911 HAS SOUS 255417 HAS SOUPS 255417 WITH SCORE 255731.911
AT ITER 3260 NEW BEST:: SOT 2455188 SOS 314885 HAS SOPS 314885 HAS SOUS 255404 HAS SOUPS 255404 WITH SCORE 255718.885
AT ITER 3272 NEW BEST:: SOT 2455225 SOS 314923 HAS SOPS 314923 HAS SOUS 255313 HAS SOUPS 255313 WITH SCORE 255627.923
AT ITER 3278 NEW BEST:: SOT 2455225 SOS 314787 HAS SOPS 314787 HAS SOUS 255283 HAS SOUPS 255283 WITH SCORE 255597.787
AT ITER 3328 NEW BEST:: SOT 2455224 SOS 314775 HAS SOPS 314775 HAS SOUS 255281 HAS SOUPS 255281 WITH SCORE 255595.775
AT ITER 3345 NEW BEST:: SOT 2455190 SOS 314707 HAS SOPS 314707 HAS SOUS 255141 HAS SOUPS 255141 WITH SCORE 255455.707
AT ITER 3363 NEW BEST:: SOT 2455159 SOS 314676 HAS SOPS 314676 HAS SOUS 255110 HAS SOUPS 255110 WITH SCORE 255424.676
AT ITER 3375 NEW BEST:: SOT 2454098 SOS 313764 HAS SOPS 313764 HAS SOUS 254062 HAS SOUPS 254062 WITH SCORE 254375.764
AT ITER 3496 NEW BEST:: SOT 2454036 SOS 313740 HAS SOPS 313740 HAS SOUS 254038 HAS SOUPS 254038 WITH SCORE 254351.74
AT ITER 3504 NEW BEST:: SOT 2454018 SOS 313704 HAS SOPS 313704 HAS SOUS 254019 HAS SOUPS 254019 WITH SCORE 254332.704
AT ITER 3551 NEW BEST:: SOT 2453916 SOS 313499 HAS SOPS 313499 HAS SOUS 254015 HAS SOUPS 254015 WITH SCORE 254328.499
AT ITER 3552 NEW BEST:: SOT 2453710 SOS 313299 HAS SOPS 313299 HAS SOUS 253909 HAS SOUPS 253909 WITH SCORE 254222.299
AT ITER 3664 NEW BEST:: SOT 2453710 SOS 313263 HAS SOPS 313263 HAS SOUS 253908 HAS SOUPS 253908 WITH SCORE 254221.263
AT ITER 3675 NEW BEST:: SOT 2453714 SOS 313169 HAS SOPS 313169 HAS SOUS 253810 HAS SOUPS 253810 WITH SCORE 254123.169
AT ITER 3740 NEW BEST:: SOT 2453584 SOS 313020 HAS SOPS 313020 HAS SOUS 253679 HAS SOUPS 253679 WITH SCORE 253992.02
AT ITER 3746 NEW BEST:: SOT 2453582 SOS 313016 HAS SOPS 313016 HAS SOUS 253675 HAS SOUPS 253675 WITH SCORE 253988.016
AT ITER 3762 NEW BEST:: SOT 2453579 SOS 313010 HAS SOPS 313010 HAS SOUS 253669 HAS SOUPS 253669 WITH SCORE 253982.01
AT ITER 3773 NEW BEST:: SOT 2453578 SOS 312922 HAS SOPS 312922 HAS SOUS 253618 HAS SOUPS 253618 WITH SCORE 253930.922
AT ITER 3794 NEW BEST:: SOT 2453572 SOS 312927 HAS SOPS 312927 HAS SOUS 253617 HAS SOUPS 253617 WITH SCORE 253929.927
AT ITER 3801 NEW BEST:: SOT 2453478 SOS 312847 HAS SOPS 312847 HAS SOUS 253529 HAS SOUPS 253529 WITH SCORE 253841.847
AT ITER 3805 NEW BEST:: SOT 2453378 SOS 312462 HAS SOPS 312462 HAS SOUS 253266 HAS SOUPS 253266 WITH SCORE 253578.462
AT ITER 3815 NEW BEST:: SOT 2453287 SOS 312441 HAS SOPS 312441 HAS SOUS 253214 HAS SOUPS 253214 WITH SCORE 253526.441
AT ITER 3846 NEW BEST:: SOT 2453195 SOS 312257 HAS SOPS 312257 HAS SOUS 253120 HAS SOUPS 253120 WITH SCORE 253432.257
AT ITER 3848 NEW BEST:: SOT 2453181 SOS 312229 HAS SOPS 312229 HAS SOUS 253092 HAS SOUPS 253092 WITH SCORE 253404.229
AT ITER 3879 NEW BEST:: SOT 2452933 SOS 312111 HAS SOPS 312111 HAS SOUS 252998 HAS SOUPS 252998 WITH SCORE 253310.111
AT ITER 3882 NEW BEST:: SOT 2452909 SOS 312028 HAS SOPS 312028 HAS SOUS 252987 HAS SOUPS 252987 WITH SCORE 253299.028
AT ITER 3902 NEW BEST:: SOT 2452825 SOS 311900 HAS SOPS 311900 HAS SOUS 252866 HAS SOUPS 252866 WITH SCORE 253177.9
AT ITER 3928 NEW BEST:: SOT 2452061 SOS 314117 HAS SOPS 314117 HAS SOUS 252543 HAS SOUPS 252543 WITH SCORE 252857.117
AT ITER 3933 NEW BEST:: SOT 2452003 SOS 313844 HAS SOPS 313844 HAS SOUS 252402 HAS SOUPS 252402 WITH SCORE 252715.844
AT ITER 3937 NEW BEST:: SOT 2451510 SOS 314735 HAS SOPS 314735 HAS SOUS 252201 HAS SOUPS 252201 WITH SCORE 252515.735
AT ITER 3955 NEW BEST:: SOT 2451337 SOS 314590 HAS SOPS 314590 HAS SOUS 252106 HAS SOUPS 252106 WITH SCORE 252420.59
AT ITER 3967 NEW BEST:: SOT 2451337 SOS 314590 HAS SOPS 314590 HAS SOUS 252105 HAS SOUPS 252105 WITH SCORE 252419.59
AT ITER 3989 NEW BEST:: SOT 2451251 SOS 314418 HAS SOPS 314418 HAS SOUS 251933 HAS SOUPS 251933 WITH SCORE 252247.418
AT ITER 3995 NEW BEST:: SOT 2451281 SOS 314415 HAS SOPS 314415 HAS SOUS 251889 HAS SOUPS 251889 WITH SCORE 252203.415
AT ITER 3996 NEW BEST:: SOT 2451183 SOS 314219 HAS SOPS 314219 HAS SOUS 251791 HAS SOUPS 251791 WITH SCORE 252105.219
AT ITER 4041 NEW BEST:: SOT 2451060 SOS 314096 HAS SOPS 314096 HAS SOUS 251668 HAS SOUPS 251668 WITH SCORE 251982.096
AT ITER 4049 NEW BEST:: SOT 2451060 SOS 314057 HAS SOPS 314057 HAS SOUS 251666 HAS SOUPS 251666 WITH SCORE 251980.057
AT ITER 4053 NEW BEST:: SOT 2450931 SOS 313856 HAS SOPS 313856 HAS SOUS 251471 HAS SOUPS 251471 WITH SCORE 251784.856
AT ITER 4068 NEW BEST:: SOT 2450931 SOS 313844 HAS SOPS 313844 HAS SOUS 251471 HAS SOUPS 251471 WITH SCORE 251784.844
AT ITER 4089 NEW BEST:: SOT 2450746 SOS 313230 HAS SOPS 313230 HAS SOUS 251103 HAS SOUPS 251103 WITH SCORE 251416.23
AT ITER 4171 NEW BEST:: SOT 2450632 SOS 313938 HAS SOPS 313938 HAS SOUS 251093 HAS SOUPS 251093 WITH SCORE 251406.938
AT ITER 4190 NEW BEST:: SOT 2450571 SOS 313877 HAS SOPS 313877 HAS SOUS 251032 HAS SOUPS 251032 WITH SCORE 251345.877
AT ITER 4194 NEW BEST:: SOT 2450571 SOS 313832 HAS SOPS 313832 HAS SOUS 251031 HAS SOUPS 251031 WITH SCORE 251344.832
AT ITER 4203 NEW BEST:: SOT 2450556 SOS 313802 HAS SOPS 313802 HAS SOUS 251015 HAS SOUPS 251015 WITH SCORE 251328.802
AT ITER 4222 NEW BEST:: SOT 2450536 SOS 313792 HAS SOPS 313792 HAS SOUS 251004 HAS SOUPS 251004 WITH SCORE 251317.792
AT ITER 4226 NEW BEST:: SOT 2450451 SOS 313622 HAS SOPS 313622 HAS SOUS 250834 HAS SOUPS 250834 WITH SCORE 251147.622
AT ITER 4232 NEW BEST:: SOT 2450289 SOS 313334 HAS SOPS 313334 HAS SOUS 250789 HAS SOUPS 250789 WITH SCORE 251102.334
AT ITER 4255 NEW BEST:: SOT 2450289 SOS 313334 HAS SOPS 313334 HAS SOUS 250786 HAS SOUPS 250786 WITH SCORE 251099.334
AT ITER 4257 NEW BEST:: SOT 2450225 SOS 313270 HAS SOPS 313270 HAS SOUS 250722 HAS SOUPS 250722 WITH SCORE 251035.27
AT ITER 4293 NEW BEST:: SOT 2450270 SOS 313315 HAS SOPS 313315 HAS SOUS 250669 HAS SOUPS 250669 WITH SCORE 250982.315
AT ITER 4300 NEW BEST:: SOT 2450270 SOS 313255 HAS SOPS 313255 HAS SOUS 250609 HAS SOUPS 250609 WITH SCORE 250922.255
AT ITER 4318 NEW BEST:: SOT 2450228 SOS 313185 HAS SOPS 313185 HAS SOUS 250553 HAS SOUPS 250553 WITH SCORE 250866.185
AT ITER 4358 NEW BEST:: SOT 2450228 SOS 313280 HAS SOPS 313280 HAS SOUS 250458 HAS SOUPS 250458 WITH SCORE 250771.28
AT ITER 4364 NEW BEST:: SOT 2450173 SOS 313225 HAS SOPS 313225 HAS SOUS 250403 HAS SOUPS 250403 WITH SCORE 250716.225
AT ITER 4446 NEW BEST:: SOT 2450231 SOS 313324 HAS SOPS 313324 HAS SOUS 250397 HAS SOUPS 250397 WITH SCORE 250710.324
AT ITER 4452 NEW BEST:: SOT 2450128 SOS 313118 HAS SOPS 313118 HAS SOUS 250191 HAS SOUPS 250191 WITH SCORE 250504.118
AT ITER 4457 NEW BEST:: SOT 2450121 SOS 313104 HAS SOPS 313104 HAS SOUS 250191 HAS SOUPS 250191 WITH SCORE 250504.104
AT ITER 4461 NEW BEST:: SOT 2450121 SOS 313104 HAS SOPS 313104 HAS SOUS 250159 HAS SOUPS 250159 WITH SCORE 250472.104
AT ITER 4492 NEW BEST:: SOT 2450101 SOS 313118 HAS SOPS 313118 HAS SOUS 250034 HAS SOUPS 250034 WITH SCORE 250347.118
AT ITER 4504 NEW BEST:: SOT 2450063 SOS 313004 HAS SOPS 313004 HAS SOUS 249958 HAS SOUPS 249958 WITH SCORE 250271.004
AT ITER 4514 NEW BEST:: SOT 2449935 SOS 312949 HAS SOPS 312949 HAS SOUS 249672 HAS SOUPS 249672 WITH SCORE 249984.949
AT ITER 4525 NEW BEST:: SOT 2449840 SOS 312830 HAS SOPS 312830 HAS SOUS 249472 HAS SOUPS 249472 WITH SCORE 249784.83
AT ITER 4529 NEW BEST:: SOT 2449845 SOS 312840 HAS SOPS 312840 HAS SOUS 249470 HAS SOUPS 249470 WITH SCORE 249782.84
AT ITER 4539 NEW BEST:: SOT 2448616 SOS 313820 HAS SOPS 313820 HAS SOUS 248441 HAS SOUPS 248441 WITH SCORE 248754.82
AT ITER 4617 NEW BEST:: SOT 2448582 SOS 313786 HAS SOPS 313786 HAS SOUS 248406 HAS SOUPS 248406 WITH SCORE 248719.786
AT ITER 4636 NEW BEST:: SOT 2448615 SOS 313824 HAS SOPS 313824 HAS SOUS 248385 HAS SOUPS 248385 WITH SCORE 248698.824
AT ITER 4640 NEW BEST:: SOT 2448594 SOS 313761 HAS SOPS 313761 HAS SOUS 248364 HAS SOUPS 248364 WITH SCORE 248677.761
AT ITER 4646 NEW BEST:: SOT 2447687 SOS 314743 HAS SOPS 314743 HAS SOUS 247771 HAS SOUPS 247771 WITH SCORE 248085.743
AT ITER 4673 NEW BEST:: SOT 2447644 SOS 314478 HAS SOPS 314478 HAS SOUS 247690 HAS SOUPS 247690 WITH SCORE 248004.478
AT ITER 4710 NEW BEST:: SOT 2447535 SOS 314504 HAS SOPS 314504 HAS SOUS 247633 HAS SOUPS 247633 WITH SCORE 247947.504
AT ITER 4730 NEW BEST:: SOT 2447527 SOS 314488 HAS SOPS 314488 HAS SOUS 247625 HAS SOUPS 247625 WITH SCORE 247939.488
AT ITER 4736 NEW BEST:: SOT 2447526 SOS 314408 HAS SOPS 314408 HAS SOUS 247544 HAS SOUPS 247544 WITH SCORE 247858.408
AT ITER 4741 NEW BEST:: SOT 2447501 SOS 314383 HAS SOPS 314383 HAS SOUS 247518 HAS SOUPS 247518 WITH SCORE 247832.383
AT ITER 4764 NEW BEST:: SOT 2447494 SOS 314369 HAS SOPS 314369 HAS SOUS 247504 HAS SOUPS 247504 WITH SCORE 247818.369
AT ITER 4776 NEW BEST:: SOT 2447471 SOS 314351 HAS SOPS 314351 HAS SOUS 247456 HAS SOUPS 247456 WITH SCORE 247770.351
AT ITER 4803 NEW BEST:: SOT 2447302 SOS 313889 HAS SOPS 313889 HAS SOUS 247163 HAS SOUPS 247163 WITH SCORE 247476.889
AT ITER 4807 NEW BEST:: SOT 2447351 SOS 313573 HAS SOPS 313573 HAS SOUS 247158 HAS SOUPS 247158 WITH SCORE 247471.573
AT ITER 4811 NEW BEST:: SOT 2447294 SOS 313683 HAS SOPS 313683 HAS SOUS 247155 HAS SOUPS 247155 WITH SCORE 247468.683
AT ITER 4840 NEW BEST:: SOT 2447249 SOS 314153 HAS SOPS 314153 HAS SOUS 247060 HAS SOUPS 247060 WITH SCORE 247374.153
AT ITER 4896 NEW BEST:: SOT 2447249 SOS 314153 HAS SOPS 314153 HAS SOUS 247059 HAS SOUPS 247059 WITH SCORE 247373.153
AT ITER 4947 NEW BEST:: SOT 2447109 SOS 314141 HAS SOPS 314141 HAS SOUS 246966 HAS SOUPS 246966 WITH SCORE 247280.141
AT ITER 4961 NEW BEST:: SOT 2447008 SOS 314159 HAS SOPS 314159 HAS SOUS 246864 HAS SOUPS 246864 WITH SCORE 247178.159
AT ITER 4998 NEW BEST:: SOT 2447000 SOS 314143 HAS SOPS 314143 HAS SOUS 246837 HAS SOUPS 246837 WITH SCORE 247151.143
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NoC3x3-PT-2B-CTLCardinality-00 (AG( ( ( ( potential( (tk(P219)) <= (tk(P418)) ) & potential( (tk(P1422)) <= (tk(P665)) ) ) & (! potential( ( 1 ) <= (tk(P899)) )) ) & ( ( potential( ( 3 ) <= (tk(P1266)) ) | potential( (tk(P1158)) <= (tk(P1990)) ) ) & potential( (tk(P570)) <= (tk(P1462)) ) ) )))
PROPERTY: NoC3x3-PT-2B-CTLCardinality-01 ( ( (EG( (! potential( (tk(P751)) <= (tk(P1610)) )))) | ( ( ( potential( ( 2 ) <= (tk(P443)) ) | potential( (tk(P399)) <= (tk(P709)) ) ) & ( potential( (tk(P1356)) <= (tk(P132)) ) | potential( ( 3 ) <= (tk(P510)) ) ) ) | ( (! potential( (tk(P147)) <= (tk(P1086)) )) & ( potential( (tk(P868)) <= (tk(P1691)) ) & potential( (tk(P68)) <= (tk(P1143)) ) ) ) ) ) & (EU( ( potential( ( 2 ) <= (tk(P612)) ) | potential( (tk(P1939)) <= (tk(P1687)) ) ),( potential( (tk(P1171)) <= (tk(P1511)) ) & potential( ( 1 ) <= (tk(P193)) ) ) )) )
PROPERTY: NoC3x3-PT-2B-CTLCardinality-02 (! (AG( ( potential( ( 1 ) <= (tk(P1143)) ) | ( potential( (tk(P1125)) <= (tk(P1994)) ) | potential( (tk(P1096)) <= (tk(P1182)) ) ) ))))
PROPERTY: NoC3x3-PT-2B-CTLCardinality-03 (AG( ( potential( (tk(P1292)) <= (tk(P1418)) ) & (AF(potential( (tk(P249)) <= (tk(P128)) ))) )))
PROPERTY: NoC3x3-PT-2B-CTLCardinality-04 (EF(( (EG( potential( ( 1 ) <= (tk(P461)) ))) | potential( ( 2 ) <= (tk(P1486)) ) )))
PROPERTY: NoC3x3-PT-2B-CTLCardinality-05 (! (! ( potential( ( 2 ) <= (tk(P1640)) ) | (EF(potential( ( 2 ) <= (tk(P1143)) ))) )))
PROPERTY: NoC3x3-PT-2B-CTLCardinality-06 (EU( (AG( potential( (tk(P823)) <= (tk(P1473)) ))),(AG( potential( ( 2 ) <= (tk(P92)) ))) ))
PROPERTY: NoC3x3-PT-2B-CTLCardinality-07 (AG( ( ( potential( (tk(P503)) <= (tk(P128)) ) & ( potential( ( 1 ) <= (tk(P594)) ) | potential( (tk(P1450)) <= (tk(P351)) ) ) ) & (! ( potential( ( 1 ) <= (tk(P618)) ) | potential( ( 2 ) <= (tk(P456)) ) )) )))
PROPERTY: NoC3x3-PT-2B-CTLCardinality-08 ( (EU( potential( ( 1 ) <= (tk(P974)) ),(! potential( ( 3 ) <= (tk(P1217)) )) )) & (EF((EX( potential( ( 3 ) <= (tk(P793)) ))))) )
PROPERTY: NoC3x3-PT-2B-CTLCardinality-09 (EF((EF(( potential( ( 2 ) <= (tk(P1641)) ) | potential( ( 3 ) <= (tk(P542)) ) )))))
PROPERTY: NoC3x3-PT-2B-CTLCardinality-10 ( (AX( potential( ( 2 ) <= (tk(P1419)) ))) | ( potential( (tk(P1836)) <= (tk(P915)) ) & (EU( potential( (tk(P714)) <= (tk(P314)) ),potential( ( 2 ) <= (tk(P952)) ) )) ) )
PROPERTY: NoC3x3-PT-2B-CTLCardinality-11 (AF((! (AG( potential( (tk(P727)) <= (tk(P1883)) ))))))
PROPERTY: NoC3x3-PT-2B-CTLCardinality-12 (EF((EU( potential( (tk(P222)) <= (tk(P802)) ),potential( ( 3 ) <= (tk(P70)) ) ))))
PROPERTY: NoC3x3-PT-2B-CTLCardinality-13 (EF(( potential( ( 1 ) <= (tk(P1641)) ) & ( ( potential( (tk(P319)) <= (tk(P1759)) ) & potential( ( 1 ) <= (tk(P573)) ) ) | potential( (tk(P1735)) <= (tk(P758)) ) ) )))
PROPERTY: NoC3x3-PT-2B-CTLCardinality-14 (! ( (! (! potential( (tk(P970)) <= (tk(P1223)) ))) & (! (AG( potential( (tk(P1043)) <= (tk(P1780)) )))) ))
PROPERTY: NoC3x3-PT-2B-CTLCardinality-15 (EU( ( ( potential( (tk(P149)) <= (tk(P1101)) ) | potential( ( 1 ) <= (tk(P1368)) ) ) | ( potential( (tk(P816)) <= (tk(P661)) ) & potential( (tk(P1173)) <= (tk(P1170)) ) ) ),(AX( potential( ( 3 ) <= (tk(P1963)) ))) ))

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="NoC3x3-PT-2B"
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 NoC3x3-PT-2B, 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 r108-csrt-158961250400355"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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