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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 616K
-rw-r--r-- 1 mcc users 4.3K Mar 30 18:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 30 18:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 08:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 08:31 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 26K 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 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 04:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 04:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 22:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 22:59 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 432K 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-03b-CTLCardinality-00
FORMULA_NAME DLCround-PT-03b-CTLCardinality-01
FORMULA_NAME DLCround-PT-03b-CTLCardinality-02
FORMULA_NAME DLCround-PT-03b-CTLCardinality-03
FORMULA_NAME DLCround-PT-03b-CTLCardinality-04
FORMULA_NAME DLCround-PT-03b-CTLCardinality-05
FORMULA_NAME DLCround-PT-03b-CTLCardinality-06
FORMULA_NAME DLCround-PT-03b-CTLCardinality-07
FORMULA_NAME DLCround-PT-03b-CTLCardinality-08
FORMULA_NAME DLCround-PT-03b-CTLCardinality-09
FORMULA_NAME DLCround-PT-03b-CTLCardinality-10
FORMULA_NAME DLCround-PT-03b-CTLCardinality-11
FORMULA_NAME DLCround-PT-03b-CTLCardinality-12
FORMULA_NAME DLCround-PT-03b-CTLCardinality-13
FORMULA_NAME DLCround-PT-03b-CTLCardinality-14
FORMULA_NAME DLCround-PT-03b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589121543121

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 03b
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: 1383 places, 1887 transitions, 4809 arcs.
AT ITER 0 NEW BEST:: SOT 1530587 SOS 280738 HAS SOPS 280738 HAS SOUS 223983 HAS SOUPS 223983 WITH SCORE 224263.738
AT ITER 7 NEW BEST:: SOT 1530434 SOS 280432 HAS SOPS 280432 HAS SOUS 223677 HAS SOUPS 223677 WITH SCORE 223957.432
AT ITER 18 NEW BEST:: SOT 1530346 SOS 280459 HAS SOPS 280459 HAS SOUS 223662 HAS SOUPS 223662 WITH SCORE 223942.459
AT ITER 39 NEW BEST:: SOT 1530193 SOS 280306 HAS SOPS 280306 HAS SOUS 223662 HAS SOUPS 223662 WITH SCORE 223942.306
AT ITER 41 NEW BEST:: SOT 1530368 SOS 280656 HAS SOPS 280656 HAS SOUS 223619 HAS SOUPS 223619 WITH SCORE 223899.656
AT ITER 67 NEW BEST:: SOT 1530264 SOS 280604 HAS SOPS 280604 HAS SOUS 223567 HAS SOUPS 223567 WITH SCORE 223847.604
AT ITER 103 NEW BEST:: SOT 1530150 SOS 280528 HAS SOPS 280528 HAS SOUS 223471 HAS SOUPS 223471 WITH SCORE 223751.528
AT ITER 144 NEW BEST:: SOT 1530150 SOS 280484 HAS SOPS 280484 HAS SOUS 223427 HAS SOUPS 223427 WITH SCORE 223707.484
AT ITER 159 NEW BEST:: SOT 1530036 SOS 280256 HAS SOPS 280256 HAS SOUS 223199 HAS SOUPS 223199 WITH SCORE 223479.256
AT ITER 162 NEW BEST:: SOT 1529636 SOS 279736 HAS SOPS 279736 HAS SOUS 222832 HAS SOUPS 222832 WITH SCORE 223111.736
AT ITER 223 NEW BEST:: SOT 1529587 SOS 279638 HAS SOPS 279638 HAS SOUS 222734 HAS SOUPS 222734 WITH SCORE 223013.638
AT ITER 232 NEW BEST:: SOT 1529587 SOS 279585 HAS SOPS 279585 HAS SOUS 222681 HAS SOUPS 222681 WITH SCORE 222960.585
AT ITER 259 NEW BEST:: SOT 1529576 SOS 279584 HAS SOPS 279584 HAS SOUS 222680 HAS SOUPS 222680 WITH SCORE 222959.584
AT ITER 263 NEW BEST:: SOT 1529436 SOS 279440 HAS SOPS 279440 HAS SOUS 222539 HAS SOUPS 222539 WITH SCORE 222818.44
AT ITER 337 NEW BEST:: SOT 1529306 SOS 279310 HAS SOPS 279310 HAS SOUS 222409 HAS SOUPS 222409 WITH SCORE 222688.31
AT ITER 347 NEW BEST:: SOT 1529300 SOS 279298 HAS SOPS 279298 HAS SOUS 222134 HAS SOUPS 222134 WITH SCORE 222413.298
AT ITER 350 NEW BEST:: SOT 1528888 SOS 278886 HAS SOPS 278886 HAS SOUS 221722 HAS SOUPS 221722 WITH SCORE 222000.886
AT ITER 396 NEW BEST:: SOT 1528747 SOS 278604 HAS SOPS 278604 HAS SOUS 221440 HAS SOUPS 221440 WITH SCORE 221718.604
AT ITER 413 NEW BEST:: SOT 1528732 SOS 278594 HAS SOPS 278594 HAS SOUS 221430 HAS SOUPS 221430 WITH SCORE 221708.594
AT ITER 452 NEW BEST:: SOT 1528732 SOS 278413 HAS SOPS 278413 HAS SOUS 221249 HAS SOUPS 221249 WITH SCORE 221527.413
AT ITER 473 NEW BEST:: SOT 1528670 SOS 278289 HAS SOPS 278289 HAS SOUS 221066 HAS SOUPS 221066 WITH SCORE 221344.289
AT ITER 477 NEW BEST:: SOT 1528670 SOS 278147 HAS SOPS 278147 HAS SOUS 220995 HAS SOUPS 220995 WITH SCORE 221273.147
AT ITER 479 NEW BEST:: SOT 1528389 SOS 277811 HAS SOPS 277811 HAS SOUS 220581 HAS SOUPS 220581 WITH SCORE 220858.811
AT ITER 496 NEW BEST:: SOT 1528331 SOS 277695 HAS SOPS 277695 HAS SOUS 220523 HAS SOUPS 220523 WITH SCORE 220800.695
AT ITER 519 NEW BEST:: SOT 1528330 SOS 277693 HAS SOPS 277693 HAS SOUS 220521 HAS SOUPS 220521 WITH SCORE 220798.693
AT ITER 538 NEW BEST:: SOT 1528217 SOS 277734 HAS SOPS 277734 HAS SOUS 220497 HAS SOUPS 220497 WITH SCORE 220774.734
AT ITER 547 NEW BEST:: SOT 1528164 SOS 277628 HAS SOPS 277628 HAS SOUS 220391 HAS SOUPS 220391 WITH SCORE 220668.628
AT ITER 553 NEW BEST:: SOT 1528083 SOS 277466 HAS SOPS 277466 HAS SOUS 220229 HAS SOUPS 220229 WITH SCORE 220506.466
AT ITER 592 NEW BEST:: SOT 1528079 SOS 277458 HAS SOPS 277458 HAS SOUS 220221 HAS SOUPS 220221 WITH SCORE 220498.458
AT ITER 674 NEW BEST:: SOT 1527515 SOS 276988 HAS SOPS 276988 HAS SOUS 219751 HAS SOUPS 219751 WITH SCORE 220027.988
AT ITER 684 NEW BEST:: SOT 1527195 SOS 276684 HAS SOPS 276684 HAS SOUS 219431 HAS SOUPS 219431 WITH SCORE 219707.684
AT ITER 702 NEW BEST:: SOT 1527090 SOS 276579 HAS SOPS 276579 HAS SOUS 219326 HAS SOUPS 219326 WITH SCORE 219602.579
AT ITER 719 NEW BEST:: SOT 1527086 SOS 276561 HAS SOPS 276561 HAS SOUS 219317 HAS SOUPS 219317 WITH SCORE 219593.561
AT ITER 758 NEW BEST:: SOT 1527082 SOS 276553 HAS SOPS 276553 HAS SOUS 219309 HAS SOUPS 219309 WITH SCORE 219585.553
AT ITER 770 NEW BEST:: SOT 1527056 SOS 276501 HAS SOPS 276501 HAS SOUS 219257 HAS SOUPS 219257 WITH SCORE 219533.501
AT ITER 789 NEW BEST:: SOT 1527002 SOS 276443 HAS SOPS 276443 HAS SOUS 219202 HAS SOUPS 219202 WITH SCORE 219478.443
AT ITER 801 NEW BEST:: SOT 1526939 SOS 276317 HAS SOPS 276317 HAS SOUS 219076 HAS SOUPS 219076 WITH SCORE 219352.317
AT ITER 822 NEW BEST:: SOT 1526844 SOS 276513 HAS SOPS 276513 HAS SOUS 219061 HAS SOUPS 219061 WITH SCORE 219337.513
AT ITER 828 NEW BEST:: SOT 1526843 SOS 276511 HAS SOPS 276511 HAS SOUS 219059 HAS SOUPS 219059 WITH SCORE 219335.511
AT ITER 853 NEW BEST:: SOT 1526785 SOS 276395 HAS SOPS 276395 HAS SOUS 218805 HAS SOUPS 218805 WITH SCORE 219081.395
AT ITER 864 NEW BEST:: SOT 1526575 SOS 276389 HAS SOPS 276389 HAS SOUS 218792 HAS SOUPS 218792 WITH SCORE 219068.389
AT ITER 904 NEW BEST:: SOT 1525460 SOS 276163 HAS SOPS 276163 HAS SOUS 218164 HAS SOUPS 218164 WITH SCORE 218440.163
AT ITER 926 NEW BEST:: SOT 1525177 SOS 275913 HAS SOPS 275913 HAS SOUS 217892 HAS SOUPS 217892 WITH SCORE 218167.913
AT ITER 946 NEW BEST:: SOT 1525192 SOS 275898 HAS SOPS 275898 HAS SOUS 217877 HAS SOUPS 217877 WITH SCORE 218152.898
AT ITER 954 NEW BEST:: SOT 1525192 SOS 276169 HAS SOPS 276169 HAS SOUS 217831 HAS SOUPS 217831 WITH SCORE 218107.169
AT ITER 996 NEW BEST:: SOT 1525191 SOS 276167 HAS SOPS 276167 HAS SOUS 217829 HAS SOUPS 217829 WITH SCORE 218105.167
AT ITER 1000 NEW BEST:: SOT 1525173 SOS 276131 HAS SOPS 276131 HAS SOUS 217793 HAS SOUPS 217793 WITH SCORE 218069.131
AT ITER 1001 NEW BEST:: SOT 1524827 SOS 275817 HAS SOPS 275817 HAS SOUS 217447 HAS SOUPS 217447 WITH SCORE 217722.817
AT ITER 1008 NEW BEST:: SOT 1524805 SOS 275773 HAS SOPS 275773 HAS SOUS 217403 HAS SOUPS 217403 WITH SCORE 217678.773
AT ITER 1019 NEW BEST:: SOT 1524015 SOS 274805 HAS SOPS 274805 HAS SOUS 216350 HAS SOUPS 216350 WITH SCORE 216624.805
AT ITER 1023 NEW BEST:: SOT 1524015 SOS 274805 HAS SOPS 274805 HAS SOUS 216340 HAS SOUPS 216340 WITH SCORE 216614.805
AT ITER 1041 NEW BEST:: SOT 1523968 SOS 274712 HAS SOPS 274712 HAS SOUS 216278 HAS SOUPS 216278 WITH SCORE 216552.712
AT ITER 1082 NEW BEST:: SOT 1523602 SOS 274888 HAS SOPS 274888 HAS SOUS 215561 HAS SOUPS 215561 WITH SCORE 215835.888
AT ITER 1093 NEW BEST:: SOT 1523534 SOS 274854 HAS SOPS 274854 HAS SOUS 215527 HAS SOUPS 215527 WITH SCORE 215801.854
AT ITER 1136 NEW BEST:: SOT 1523320 SOS 274426 HAS SOPS 274426 HAS SOUS 215099 HAS SOUPS 215099 WITH SCORE 215373.426
AT ITER 1138 NEW BEST:: SOT 1523152 SOS 274688 HAS SOPS 274688 HAS SOUS 215089 HAS SOUPS 215089 WITH SCORE 215363.688
AT ITER 1153 NEW BEST:: SOT 1522218 SOS 276851 HAS SOPS 276851 HAS SOUS 214380 HAS SOUPS 214380 WITH SCORE 214656.851
AT ITER 1168 NEW BEST:: SOT 1522165 SOS 274999 HAS SOPS 274999 HAS SOUS 214274 HAS SOUPS 214274 WITH SCORE 214548.999
AT ITER 1193 NEW BEST:: SOT 1522097 SOS 274978 HAS SOPS 274978 HAS SOUS 214206 HAS SOUPS 214206 WITH SCORE 214480.978
AT ITER 1204 NEW BEST:: SOT 1522097 SOS 274978 HAS SOPS 274978 HAS SOUS 214185 HAS SOUPS 214185 WITH SCORE 214459.978
AT ITER 1214 NEW BEST:: SOT 1522092 SOS 274968 HAS SOPS 274968 HAS SOUS 214175 HAS SOUPS 214175 WITH SCORE 214449.968
AT ITER 1248 NEW BEST:: SOT 1522010 SOS 274886 HAS SOPS 274886 HAS SOUS 214093 HAS SOUPS 214093 WITH SCORE 214367.886
AT ITER 1250 NEW BEST:: SOT 1521846 SOS 274649 HAS SOPS 274649 HAS SOUS 213843 HAS SOUPS 213843 WITH SCORE 214117.649
AT ITER 1279 NEW BEST:: SOT 1521764 SOS 274197 HAS SOPS 274197 HAS SOUS 213679 HAS SOUPS 213679 WITH SCORE 213953.197
AT ITER 1291 NEW BEST:: SOT 1521766 SOS 274193 HAS SOPS 274193 HAS SOUS 213675 HAS SOUPS 213675 WITH SCORE 213949.193
AT ITER 1293 NEW BEST:: SOT 1521696 SOS 274029 HAS SOPS 274029 HAS SOUS 213511 HAS SOUPS 213511 WITH SCORE 213785.029
AT ITER 1308 NEW BEST:: SOT 1521590 SOS 273499 HAS SOPS 273499 HAS SOUS 213299 HAS SOUPS 213299 WITH SCORE 213572.499
AT ITER 1325 NEW BEST:: SOT 1521578 SOS 273475 HAS SOPS 273475 HAS SOUS 213275 HAS SOUPS 213275 WITH SCORE 213548.475
AT ITER 1339 NEW BEST:: SOT 1521578 SOS 273475 HAS SOPS 273475 HAS SOUS 213274 HAS SOUPS 213274 WITH SCORE 213547.475
AT ITER 1364 NEW BEST:: SOT 1521449 SOS 273604 HAS SOPS 273604 HAS SOUS 213132 HAS SOUPS 213132 WITH SCORE 213405.604
AT ITER 1398 NEW BEST:: SOT 1520897 SOS 273349 HAS SOPS 273349 HAS SOUS 212682 HAS SOUPS 212682 WITH SCORE 212955.349
AT ITER 1411 NEW BEST:: SOT 1520839 SOS 273233 HAS SOPS 273233 HAS SOUS 212682 HAS SOUPS 212682 WITH SCORE 212955.233
AT ITER 1428 NEW BEST:: SOT 1520257 SOS 272516 HAS SOPS 272516 HAS SOUS 211981 HAS SOUPS 211981 WITH SCORE 212253.516
AT ITER 1430 NEW BEST:: SOT 1520257 SOS 272516 HAS SOPS 272516 HAS SOUS 211726 HAS SOUPS 211726 WITH SCORE 211998.516
AT ITER 1445 NEW BEST:: SOT 1519417 SOS 273416 HAS SOPS 273416 HAS SOUS 211655 HAS SOUPS 211655 WITH SCORE 211928.416
AT ITER 1449 NEW BEST:: SOT 1519404 SOS 273390 HAS SOPS 273390 HAS SOUS 211629 HAS SOUPS 211629 WITH SCORE 211902.39
AT ITER 1452 NEW BEST:: SOT 1519423 SOS 273181 HAS SOPS 273181 HAS SOUS 211591 HAS SOUPS 211591 WITH SCORE 211864.181
AT ITER 1498 NEW BEST:: SOT 1519162 SOS 272820 HAS SOPS 272820 HAS SOUS 211494 HAS SOUPS 211494 WITH SCORE 211766.82
AT ITER 1503 NEW BEST:: SOT 1519026 SOS 273772 HAS SOPS 273772 HAS SOUS 211358 HAS SOUPS 211358 WITH SCORE 211631.772
AT ITER 1514 NEW BEST:: SOT 1518981 SOS 273772 HAS SOPS 273772 HAS SOUS 211313 HAS SOUPS 211313 WITH SCORE 211586.772
AT ITER 1540 NEW BEST:: SOT 1518940 SOS 273690 HAS SOPS 273690 HAS SOUS 211164 HAS SOUPS 211164 WITH SCORE 211437.69
AT ITER 1569 NEW BEST:: SOT 1518835 SOS 273405 HAS SOPS 273405 HAS SOUS 211065 HAS SOUPS 211065 WITH SCORE 211338.405
AT ITER 1630 NEW BEST:: SOT 1518835 SOS 273405 HAS SOPS 273405 HAS SOUS 211024 HAS SOUPS 211024 WITH SCORE 211297.405
AT ITER 1653 NEW BEST:: SOT 1518795 SOS 273249 HAS SOPS 273249 HAS SOUS 210888 HAS SOUPS 210888 WITH SCORE 211161.249
AT ITER 1670 NEW BEST:: SOT 1518795 SOS 273249 HAS SOPS 273249 HAS SOUS 210821 HAS SOUPS 210821 WITH SCORE 211094.249
AT ITER 1715 NEW BEST:: SOT 1518788 SOS 273236 HAS SOPS 273236 HAS SOUS 210808 HAS SOUPS 210808 WITH SCORE 211081.236
AT ITER 1741 NEW BEST:: SOT 1518787 SOS 273185 HAS SOPS 273185 HAS SOUS 210757 HAS SOUPS 210757 WITH SCORE 211030.185
AT ITER 1753 NEW BEST:: SOT 1518749 SOS 273147 HAS SOPS 273147 HAS SOUS 210719 HAS SOUPS 210719 WITH SCORE 210992.147
AT ITER 1761 NEW BEST:: SOT 1518749 SOS 273147 HAS SOPS 273147 HAS SOUS 210615 HAS SOUPS 210615 WITH SCORE 210888.147
AT ITER 1791 NEW BEST:: SOT 1518665 SOS 273090 HAS SOPS 273090 HAS SOUS 210558 HAS SOUPS 210558 WITH SCORE 210831.09
AT ITER 1792 NEW BEST:: SOT 1518609 SOS 273019 HAS SOPS 273019 HAS SOUS 210528 HAS SOUPS 210528 WITH SCORE 210801.019
AT ITER 1802 NEW BEST:: SOT 1518471 SOS 272881 HAS SOPS 272881 HAS SOUS 210390 HAS SOUPS 210390 WITH SCORE 210662.881
AT ITER 1803 NEW BEST:: SOT 1518429 SOS 272829 HAS SOPS 272829 HAS SOUS 210354 HAS SOUPS 210354 WITH SCORE 210626.829
AT ITER 1817 NEW BEST:: SOT 1518292 SOS 272555 HAS SOPS 272555 HAS SOUS 210080 HAS SOUPS 210080 WITH SCORE 210352.555
AT ITER 1825 NEW BEST:: SOT 1518292 SOS 272555 HAS SOPS 272555 HAS SOUS 210078 HAS SOUPS 210078 WITH SCORE 210350.555
AT ITER 1842 NEW BEST:: SOT 1518292 SOS 272515 HAS SOPS 272515 HAS SOUS 210078 HAS SOUPS 210078 WITH SCORE 210350.515
AT ITER 1860 NEW BEST:: SOT 1518291 SOS 272513 HAS SOPS 272513 HAS SOUS 210076 HAS SOUPS 210076 WITH SCORE 210348.513
AT ITER 1892 NEW BEST:: SOT 1518265 SOS 272487 HAS SOPS 272487 HAS SOUS 209900 HAS SOUPS 209900 WITH SCORE 210172.487
AT ITER 1905 NEW BEST:: SOT 1518265 SOS 272358 HAS SOPS 272358 HAS SOUS 209900 HAS SOUPS 209900 WITH SCORE 210172.358
AT ITER 1920 NEW BEST:: SOT 1518253 SOS 272342 HAS SOPS 272342 HAS SOUS 209899 HAS SOUPS 209899 WITH SCORE 210171.342
AT ITER 1986 NEW BEST:: SOT 1518074 SOS 272335 HAS SOPS 272335 HAS SOUS 209892 HAS SOUPS 209892 WITH SCORE 210164.335
AT ITER 1995 NEW BEST:: SOT 1518073 SOS 272333 HAS SOPS 272333 HAS SOUS 209890 HAS SOUPS 209890 WITH SCORE 210162.333
AT ITER 2047 NEW BEST:: SOT 1517899 SOS 272246 HAS SOPS 272246 HAS SOUS 209803 HAS SOUPS 209803 WITH SCORE 210075.246
AT ITER 2061 NEW BEST:: SOT 1517857 SOS 272225 HAS SOPS 272225 HAS SOUS 209782 HAS SOUPS 209782 WITH SCORE 210054.225
AT ITER 2097 NEW BEST:: SOT 1517837 SOS 272185 HAS SOPS 272185 HAS SOUS 209704 HAS SOUPS 209704 WITH SCORE 209976.185
AT ITER 2111 NEW BEST:: SOT 1517774 SOS 272059 HAS SOPS 272059 HAS SOUS 209641 HAS SOUPS 209641 WITH SCORE 209913.059
AT ITER 2125 NEW BEST:: SOT 1517774 SOS 271975 HAS SOPS 271975 HAS SOUS 209613 HAS SOUPS 209613 WITH SCORE 209884.975
AT ITER 2147 NEW BEST:: SOT 1517578 SOS 272691 HAS SOPS 272691 HAS SOUS 209533 HAS SOUPS 209533 WITH SCORE 209805.691
AT ITER 2158 NEW BEST:: SOT 1517502 SOS 272615 HAS SOPS 272615 HAS SOUS 209457 HAS SOUPS 209457 WITH SCORE 209729.615
AT ITER 2168 NEW BEST:: SOT 1517424 SOS 272538 HAS SOPS 272538 HAS SOUS 209380 HAS SOUPS 209380 WITH SCORE 209652.538
AT ITER 2213 NEW BEST:: SOT 1517399 SOS 272488 HAS SOPS 272488 HAS SOUS 209330 HAS SOUPS 209330 WITH SCORE 209602.488
AT ITER 2217 NEW BEST:: SOT 1517186 SOS 272584 HAS SOPS 272584 HAS SOUS 209272 HAS SOUPS 209272 WITH SCORE 209544.584
AT ITER 2245 NEW BEST:: SOT 1517180 SOS 272572 HAS SOPS 272572 HAS SOUS 209265 HAS SOUPS 209265 WITH SCORE 209537.572
AT ITER 2260 NEW BEST:: SOT 1516928 SOS 272068 HAS SOPS 272068 HAS SOUS 208761 HAS SOUPS 208761 WITH SCORE 209033.068
AT ITER 2268 NEW BEST:: SOT 1516847 SOS 272134 HAS SOPS 272134 HAS SOUS 208756 HAS SOUPS 208756 WITH SCORE 209028.134
AT ITER 2280 NEW BEST:: SOT 1516867 SOS 272114 HAS SOPS 272114 HAS SOUS 208736 HAS SOUPS 208736 WITH SCORE 209008.114
AT ITER 2300 NEW BEST:: SOT 1516867 SOS 272114 HAS SOPS 272114 HAS SOUS 208722 HAS SOUPS 208722 WITH SCORE 208994.114
AT ITER 2305 NEW BEST:: SOT 1516936 SOS 273635 HAS SOPS 273635 HAS SOUS 208618 HAS SOUPS 208618 WITH SCORE 208891.635
AT ITER 2308 NEW BEST:: SOT 1516921 SOS 273620 HAS SOPS 273620 HAS SOUS 208603 HAS SOUPS 208603 WITH SCORE 208876.62
AT ITER 2379 NEW BEST:: SOT 1516856 SOS 273490 HAS SOPS 273490 HAS SOUS 208473 HAS SOUPS 208473 WITH SCORE 208746.49
AT ITER 2389 NEW BEST:: SOT 1516784 SOS 273246 HAS SOPS 273246 HAS SOUS 208379 HAS SOUPS 208379 WITH SCORE 208652.246
AT ITER 2401 NEW BEST:: SOT 1516736 SOS 273198 HAS SOPS 273198 HAS SOUS 208331 HAS SOUPS 208331 WITH SCORE 208604.198
AT ITER 2412 NEW BEST:: SOT 1516576 SOS 272690 HAS SOPS 272690 HAS SOUS 208148 HAS SOUPS 208148 WITH SCORE 208420.69
AT ITER 2432 NEW BEST:: SOT 1516546 SOS 272686 HAS SOPS 272686 HAS SOUS 208117 HAS SOUPS 208117 WITH SCORE 208389.686
AT ITER 2433 NEW BEST:: SOT 1516162 SOS 272637 HAS SOPS 272637 HAS SOUS 207830 HAS SOUPS 207830 WITH SCORE 208102.637
AT ITER 2449 NEW BEST:: SOT 1516130 SOS 272608 HAS SOPS 272608 HAS SOUS 207801 HAS SOUPS 207801 WITH SCORE 208073.608
AT ITER 2474 NEW BEST:: SOT 1516031 SOS 272950 HAS SOPS 272950 HAS SOUS 207798 HAS SOUPS 207798 WITH SCORE 208070.95
AT ITER 2482 NEW BEST:: SOT 1515803 SOS 273276 HAS SOPS 273276 HAS SOUS 207502 HAS SOUPS 207502 WITH SCORE 207775.276
AT ITER 2491 NEW BEST:: SOT 1515658 SOS 273131 HAS SOPS 273131 HAS SOUS 207357 HAS SOUPS 207357 WITH SCORE 207630.131
AT ITER 2506 NEW BEST:: SOT 1515474 SOS 272947 HAS SOPS 272947 HAS SOUS 207173 HAS SOUPS 207173 WITH SCORE 207445.947
AT ITER 2510 NEW BEST:: SOT 1515439 SOS 272877 HAS SOPS 272877 HAS SOUS 207137 HAS SOUPS 207137 WITH SCORE 207409.877
AT ITER 2535 NEW BEST:: SOT 1515408 SOS 272864 HAS SOPS 272864 HAS SOUS 207124 HAS SOUPS 207124 WITH SCORE 207396.864
AT ITER 2543 NEW BEST:: SOT 1515349 SOS 272746 HAS SOPS 272746 HAS SOUS 207006 HAS SOUPS 207006 WITH SCORE 207278.746
AT ITER 2563 NEW BEST:: SOT 1515157 SOS 272156 HAS SOPS 272156 HAS SOUS 206714 HAS SOUPS 206714 WITH SCORE 206986.156
AT ITER 2608 NEW BEST:: SOT 1515157 SOS 272150 HAS SOPS 272150 HAS SOUS 206714 HAS SOUPS 206714 WITH SCORE 206986.15
AT ITER 2620 NEW BEST:: SOT 1515082 SOS 272192 HAS SOPS 272192 HAS SOUS 206699 HAS SOUPS 206699 WITH SCORE 206971.192
AT ITER 2642 NEW BEST:: SOT 1514918 SOS 271811 HAS SOPS 271811 HAS SOUS 206328 HAS SOUPS 206328 WITH SCORE 206599.811
AT ITER 2658 NEW BEST:: SOT 1514849 SOS 271673 HAS SOPS 271673 HAS SOUS 206107 HAS SOUPS 206107 WITH SCORE 206378.673
AT ITER 2685 NEW BEST:: SOT 1514670 SOS 271315 HAS SOPS 271315 HAS SOUS 205715 HAS SOUPS 205715 WITH SCORE 205986.315
AT ITER 2722 NEW BEST:: SOT 1514611 SOS 271197 HAS SOPS 271197 HAS SOUS 205656 HAS SOUPS 205656 WITH SCORE 205927.197
AT ITER 2734 NEW BEST:: SOT 1514597 SOS 271169 HAS SOPS 271169 HAS SOUS 205642 HAS SOUPS 205642 WITH SCORE 205913.169
AT ITER 2746 NEW BEST:: SOT 1514395 SOS 270970 HAS SOPS 270970 HAS SOUS 205273 HAS SOUPS 205273 WITH SCORE 205543.97
AT ITER 2765 NEW BEST:: SOT 1514395 SOS 270807 HAS SOPS 270807 HAS SOUS 205273 HAS SOUPS 205273 WITH SCORE 205543.807
AT ITER 2774 NEW BEST:: SOT 1514277 SOS 270949 HAS SOPS 270949 HAS SOUS 205155 HAS SOUPS 205155 WITH SCORE 205425.949
AT ITER 2825 NEW BEST:: SOT 1514276 SOS 270947 HAS SOPS 270947 HAS SOUS 205153 HAS SOUPS 205153 WITH SCORE 205423.947
AT ITER 2831 NEW BEST:: SOT 1514234 SOS 270922 HAS SOPS 270922 HAS SOUS 205131 HAS SOUPS 205131 WITH SCORE 205401.922
AT ITER 2875 NEW BEST:: SOT 1514258 SOS 270970 HAS SOPS 270970 HAS SOUS 205037 HAS SOUPS 205037 WITH SCORE 205307.97
AT ITER 2877 NEW BEST:: SOT 1514036 SOS 270674 HAS SOPS 270674 HAS SOUS 204741 HAS SOUPS 204741 WITH SCORE 205011.674
AT ITER 2882 NEW BEST:: SOT 1514041 SOS 270684 HAS SOPS 270684 HAS SOUS 204615 HAS SOUPS 204615 WITH SCORE 204885.684
AT ITER 2888 NEW BEST:: SOT 1514006 SOS 270681 HAS SOPS 270681 HAS SOUS 204580 HAS SOUPS 204580 WITH SCORE 204850.681
AT ITER 2913 NEW BEST:: SOT 1514006 SOS 270667 HAS SOPS 270667 HAS SOUS 204580 HAS SOUPS 204580 WITH SCORE 204850.667
AT ITER 2929 NEW BEST:: SOT 1513849 SOS 270510 HAS SOPS 270510 HAS SOUS 204504 HAS SOUPS 204504 WITH SCORE 204774.51
AT ITER 2942 NEW BEST:: SOT 1513651 SOS 270114 HAS SOPS 270114 HAS SOUS 204108 HAS SOUPS 204108 WITH SCORE 204378.114
AT ITER 2943 NEW BEST:: SOT 1513711 SOS 270242 HAS SOPS 270242 HAS SOUS 204072 HAS SOUPS 204072 WITH SCORE 204342.242
AT ITER 2971 NEW BEST:: SOT 1513636 SOS 270241 HAS SOPS 270241 HAS SOUS 204071 HAS SOUPS 204071 WITH SCORE 204341.241
AT ITER 2982 NEW BEST:: SOT 1513521 SOS 269639 HAS SOPS 269639 HAS SOUS 203841 HAS SOUPS 203841 WITH SCORE 204110.639
AT ITER 3007 NEW BEST:: SOT 1513522 SOS 269572 HAS SOPS 269572 HAS SOUS 203841 HAS SOUPS 203841 WITH SCORE 204110.572
AT ITER 3066 NEW BEST:: SOT 1513471 SOS 269545 HAS SOPS 269545 HAS SOUS 203739 HAS SOUPS 203739 WITH SCORE 204008.545
AT ITER 3080 NEW BEST:: SOT 1513471 SOS 269788 HAS SOPS 269788 HAS SOUS 203738 HAS SOUPS 203738 WITH SCORE 204007.788
AT ITER 3081 NEW BEST:: SOT 1513461 SOS 269768 HAS SOPS 269768 HAS SOUS 203718 HAS SOUPS 203718 WITH SCORE 203987.768
AT ITER 3082 NEW BEST:: SOT 1513427 SOS 269619 HAS SOPS 269619 HAS SOUS 203684 HAS SOUPS 203684 WITH SCORE 203953.619
AT ITER 3088 NEW BEST:: SOT 1513418 SOS 269601 HAS SOPS 269601 HAS SOUS 203666 HAS SOUPS 203666 WITH SCORE 203935.601
AT ITER 3099 NEW BEST:: SOT 1513413 SOS 269591 HAS SOPS 269591 HAS SOUS 203656 HAS SOUPS 203656 WITH SCORE 203925.591
AT ITER 3100 NEW BEST:: SOT 1513413 SOS 269607 HAS SOPS 269607 HAS SOUS 203648 HAS SOUPS 203648 WITH SCORE 203917.607
AT ITER 3124 NEW BEST:: SOT 1513485 SOS 269615 HAS SOPS 269615 HAS SOUS 203611 HAS SOUPS 203611 WITH SCORE 203880.615
AT ITER 3132 NEW BEST:: SOT 1513432 SOS 269635 HAS SOPS 269635 HAS SOUS 203589 HAS SOUPS 203589 WITH SCORE 203858.635
AT ITER 3233 NEW BEST:: SOT 1513422 SOS 269615 HAS SOPS 269615 HAS SOUS 203569 HAS SOUPS 203569 WITH SCORE 203838.615
AT ITER 3252 NEW BEST:: SOT 1513455 SOS 269607 HAS SOPS 269607 HAS SOUS 203561 HAS SOUPS 203561 WITH SCORE 203830.607
AT ITER 3277 NEW BEST:: SOT 1513320 SOS 269429 HAS SOPS 269429 HAS SOUS 203334 HAS SOUPS 203334 WITH SCORE 203603.429
AT ITER 3285 NEW BEST:: SOT 1512508 SOS 266413 HAS SOPS 266413 HAS SOUS 202290 HAS SOUPS 202290 WITH SCORE 202556.413
AT ITER 3291 NEW BEST:: SOT 1512494 SOS 266385 HAS SOPS 266385 HAS SOUS 202276 HAS SOUPS 202276 WITH SCORE 202542.385
AT ITER 3293 NEW BEST:: SOT 1512490 SOS 266377 HAS SOPS 266377 HAS SOUS 202270 HAS SOUPS 202270 WITH SCORE 202536.377
AT ITER 3309 NEW BEST:: SOT 1512421 SOS 266296 HAS SOPS 266296 HAS SOUS 202189 HAS SOUPS 202189 WITH SCORE 202455.296
AT ITER 3350 NEW BEST:: SOT 1512376 SOS 266341 HAS SOPS 266341 HAS SOUS 202144 HAS SOUPS 202144 WITH SCORE 202410.341
AT ITER 3426 NEW BEST:: SOT 1512274 SOS 266137 HAS SOPS 266137 HAS SOUS 201919 HAS SOUPS 201919 WITH SCORE 202185.137
AT ITER 3471 NEW BEST:: SOT 1512273 SOS 266135 HAS SOPS 266135 HAS SOUS 201917 HAS SOUPS 201917 WITH SCORE 202183.135
AT ITER 3472 NEW BEST:: SOT 1512246 SOS 266353 HAS SOPS 266353 HAS SOUS 201897 HAS SOUPS 201897 WITH SCORE 202163.353
AT ITER 3494 NEW BEST:: SOT 1512188 SOS 266266 HAS SOPS 266266 HAS SOUS 201810 HAS SOUPS 201810 WITH SCORE 202076.266
AT ITER 3509 NEW BEST:: SOT 1512086 SOS 266164 HAS SOPS 266164 HAS SOUS 201708 HAS SOUPS 201708 WITH SCORE 201974.164
AT ITER 3547 NEW BEST:: SOT 1511906 SOS 266164 HAS SOPS 266164 HAS SOUS 201528 HAS SOUPS 201528 WITH SCORE 201794.164
AT ITER 3548 NEW BEST:: SOT 1511765 SOS 265882 HAS SOPS 265882 HAS SOUS 201246 HAS SOUPS 201246 WITH SCORE 201511.882
AT ITER 3555 NEW BEST:: SOT 1511747 SOS 265900 HAS SOPS 265900 HAS SOUS 201228 HAS SOUPS 201228 WITH SCORE 201493.9
AT ITER 3567 NEW BEST:: SOT 1511760 SOS 265525 HAS SOPS 265525 HAS SOUS 201222 HAS SOUPS 201222 WITH SCORE 201487.525
AT ITER 3621 NEW BEST:: SOT 1511469 SOS 265143 HAS SOPS 265143 HAS SOUS 201165 HAS SOUPS 201165 WITH SCORE 201430.143
AT ITER 3702 NEW BEST:: SOT 1511273 SOS 265045 HAS SOPS 265045 HAS SOUS 201067 HAS SOUPS 201067 WITH SCORE 201332.045
AT ITER 3733 NEW BEST:: SOT 1511219 SOS 264937 HAS SOPS 264937 HAS SOUS 200943 HAS SOUPS 200943 WITH SCORE 201207.937
AT ITER 3737 NEW BEST:: SOT 1511112 SOS 264917 HAS SOPS 264917 HAS SOUS 200920 HAS SOUPS 200920 WITH SCORE 201184.917
AT ITER 3753 NEW BEST:: SOT 1511109 SOS 264911 HAS SOPS 264911 HAS SOUS 200917 HAS SOUPS 200917 WITH SCORE 201181.911
AT ITER 3767 NEW BEST:: SOT 1511189 SOS 264587 HAS SOPS 264587 HAS SOUS 200775 HAS SOUPS 200775 WITH SCORE 201039.587
AT ITER 3784 NEW BEST:: SOT 1511181 SOS 264571 HAS SOPS 264571 HAS SOUS 200764 HAS SOUPS 200764 WITH SCORE 201028.571
AT ITER 3803 NEW BEST:: SOT 1511181 SOS 264545 HAS SOPS 264545 HAS SOUS 200751 HAS SOUPS 200751 WITH SCORE 201015.545
AT ITER 3851 NEW BEST:: SOT 1511160 SOS 264503 HAS SOPS 264503 HAS SOUS 200709 HAS SOUPS 200709 WITH SCORE 200973.503
AT ITER 3857 NEW BEST:: SOT 1510873 SOS 264466 HAS SOPS 264466 HAS SOUS 200601 HAS SOUPS 200601 WITH SCORE 200865.466
AT ITER 3898 NEW BEST:: SOT 1510676 SOS 264987 HAS SOPS 264987 HAS SOUS 200486 HAS SOUPS 200486 WITH SCORE 200750.987
AT ITER 3904 NEW BEST:: SOT 1510658 SOS 264951 HAS SOPS 264951 HAS SOUS 200395 HAS SOUPS 200395 WITH SCORE 200659.951
AT ITER 3970 NEW BEST:: SOT 1510655 SOS 264948 HAS SOPS 264948 HAS SOUS 200395 HAS SOUPS 200395 WITH SCORE 200659.948
AT ITER 3976 NEW BEST:: SOT 1510625 SOS 264957 HAS SOPS 264957 HAS SOUS 200388 HAS SOUPS 200388 WITH SCORE 200652.957
AT ITER 3980 NEW BEST:: SOT 1510623 SOS 264953 HAS SOPS 264953 HAS SOUS 200384 HAS SOUPS 200384 WITH SCORE 200648.953
AT ITER 4015 NEW BEST:: SOT 1510513 SOS 264843 HAS SOPS 264843 HAS SOUS 200274 HAS SOUPS 200274 WITH SCORE 200538.843
AT ITER 4019 NEW BEST:: SOT 1510486 SOS 264789 HAS SOPS 264789 HAS SOUS 200247 HAS SOUPS 200247 WITH SCORE 200511.789
AT ITER 4069 NEW BEST:: SOT 1510486 SOS 264481 HAS SOPS 264481 HAS SOUS 199939 HAS SOUPS 199939 WITH SCORE 200203.481
AT ITER 4137 NEW BEST:: SOT 1510363 SOS 264334 HAS SOPS 264334 HAS SOUS 199891 HAS SOUPS 199891 WITH SCORE 200155.334
AT ITER 4163 NEW BEST:: SOT 1510226 SOS 264060 HAS SOPS 264060 HAS SOUS 199617 HAS SOUPS 199617 WITH SCORE 199881.06
AT ITER 4172 NEW BEST:: SOT 1510170 SOS 263882 HAS SOPS 263882 HAS SOUS 199545 HAS SOUPS 199545 WITH SCORE 199808.882
AT ITER 4175 NEW BEST:: SOT 1510170 SOS 263774 HAS SOPS 263774 HAS SOUS 199437 HAS SOUPS 199437 WITH SCORE 199700.774
AT ITER 4177 NEW BEST:: SOT 1510167 SOS 263582 HAS SOPS 263582 HAS SOUS 199372 HAS SOUPS 199372 WITH SCORE 199635.582
AT ITER 4186 NEW BEST:: SOT 1510156 SOS 263571 HAS SOPS 263571 HAS SOUS 199361 HAS SOUPS 199361 WITH SCORE 199624.571
AT ITER 4213 NEW BEST:: SOT 1510182 SOS 263760 HAS SOPS 263760 HAS SOUS 199272 HAS SOUPS 199272 WITH SCORE 199535.76
AT ITER 4246 NEW BEST:: SOT 1510174 SOS 263759 HAS SOPS 263759 HAS SOUS 199264 HAS SOUPS 199264 WITH SCORE 199527.759
AT ITER 4272 NEW BEST:: SOT 1510163 SOS 263756 HAS SOPS 263756 HAS SOUS 199263 HAS SOUPS 199263 WITH SCORE 199526.756
AT ITER 4328 NEW BEST:: SOT 1510158 SOS 263746 HAS SOPS 263746 HAS SOUS 199253 HAS SOUPS 199253 WITH SCORE 199516.746
AT ITER 4349 NEW BEST:: SOT 1510000 SOS 263697 HAS SOPS 263697 HAS SOUS 199184 HAS SOUPS 199184 WITH SCORE 199447.697
AT ITER 4396 NEW BEST:: SOT 1509931 SOS 263352 HAS SOPS 263352 HAS SOUS 199046 HAS SOUPS 199046 WITH SCORE 199309.352
AT ITER 4398 NEW BEST:: SOT 1509924 SOS 263363 HAS SOPS 263363 HAS SOUS 199032 HAS SOUPS 199032 WITH SCORE 199295.363
AT ITER 4441 NEW BEST:: SOT 1509910 SOS 263335 HAS SOPS 263335 HAS SOUS 199004 HAS SOUPS 199004 WITH SCORE 199267.335
AT ITER 4477 NEW BEST:: SOT 1509909 SOS 263333 HAS SOPS 263333 HAS SOUS 199002 HAS SOUPS 199002 WITH SCORE 199265.333
AT ITER 4515 NEW BEST:: SOT 1509909 SOS 263217 HAS SOPS 263217 HAS SOUS 199002 HAS SOUPS 199002 WITH SCORE 199265.217
AT ITER 4554 NEW BEST:: SOT 1509679 SOS 263037 HAS SOPS 263037 HAS SOUS 198842 HAS SOUPS 198842 WITH SCORE 199105.037
AT ITER 4570 NEW BEST:: SOT 1509679 SOS 262205 HAS SOPS 262205 HAS SOUS 198790 HAS SOUPS 198790 WITH SCORE 199052.205
AT ITER 4575 NEW BEST:: SOT 1509657 SOS 261513 HAS SOPS 261513 HAS SOUS 198704 HAS SOUPS 198704 WITH SCORE 198965.513
AT ITER 4577 NEW BEST:: SOT 1509786 SOS 261617 HAS SOPS 261617 HAS SOUS 198673 HAS SOUPS 198673 WITH SCORE 198934.617
AT ITER 4578 NEW BEST:: SOT 1509786 SOS 262085 HAS SOPS 262085 HAS SOUS 198662 HAS SOUPS 198662 WITH SCORE 198924.085
AT ITER 4621 NEW BEST:: SOT 1509754 SOS 262021 HAS SOPS 262021 HAS SOUS 198630 HAS SOUPS 198630 WITH SCORE 198892.021
AT ITER 4631 NEW BEST:: SOT 1509214 SOS 262264 HAS SOPS 262264 HAS SOUS 198622 HAS SOUPS 198622 WITH SCORE 198884.264
AT ITER 4678 NEW BEST:: SOT 1509213 SOS 262262 HAS SOPS 262262 HAS SOUS 198620 HAS SOUPS 198620 WITH SCORE 198882.262
AT ITER 4732 NEW BEST:: SOT 1509191 SOS 262218 HAS SOPS 262218 HAS SOUS 198598 HAS SOUPS 198598 WITH SCORE 198860.218
AT ITER 4746 NEW BEST:: SOT 1509191 SOS 262217 HAS SOPS 262217 HAS SOUS 198594 HAS SOUPS 198594 WITH SCORE 198856.217
AT ITER 4789 NEW BEST:: SOT 1509186 SOS 262207 HAS SOPS 262207 HAS SOUS 198584 HAS SOUPS 198584 WITH SCORE 198846.207
AT ITER 4794 NEW BEST:: SOT 1509139 SOS 261972 HAS SOPS 261972 HAS SOUS 198490 HAS SOUPS 198490 WITH SCORE 198751.972
AT ITER 4808 NEW BEST:: SOT 1509139 SOS 261972 HAS SOPS 261972 HAS SOUS 198475 HAS SOUPS 198475 WITH SCORE 198736.972
AT ITER 4816 NEW BEST:: SOT 1508987 SOS 261820 HAS SOPS 261820 HAS SOUS 198323 HAS SOUPS 198323 WITH SCORE 198584.82
AT ITER 4826 NEW BEST:: SOT 1508947 SOS 261818 HAS SOPS 261818 HAS SOUS 198210 HAS SOUPS 198210 WITH SCORE 198471.818
AT ITER 4845 NEW BEST:: SOT 1508947 SOS 261976 HAS SOPS 261976 HAS SOUS 198209 HAS SOUPS 198209 WITH SCORE 198470.976
AT ITER 4932 NEW BEST:: SOT 1508711 SOS 261780 HAS SOPS 261780 HAS SOUS 198013 HAS SOUPS 198013 WITH SCORE 198274.78
AT ITER 4942 NEW BEST:: SOT 1508599 SOS 261755 HAS SOPS 261755 HAS SOUS 197913 HAS SOUPS 197913 WITH SCORE 198174.755
AT ITER 4944 NEW BEST:: SOT 1508336 SOS 261859 HAS SOPS 261859 HAS SOUS 197860 HAS SOUPS 197860 WITH SCORE 198121.859
AT ITER 4953 NEW BEST:: SOT 1507652 SOS 260993 HAS SOPS 260993 HAS SOUS 197245 HAS SOUPS 197245 WITH SCORE 197505.993
AT ITER 4970 NEW BEST:: SOT 1507758 SOS 261205 HAS SOPS 261205 HAS SOUS 197239 HAS SOUPS 197239 WITH SCORE 197500.205
AT ITER 4993 NEW BEST:: SOT 1507749 SOS 261187 HAS SOPS 261187 HAS SOUS 197237 HAS SOUPS 197237 WITH SCORE 197498.187
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-03b-CTLCardinality-00 (EG( (AF(( potential( (tk(P874)) <= (tk(P38)) ) | potential( ( 3 ) <= (tk(P1279)) ) )))))
PROPERTY: DLCround-PT-03b-CTLCardinality-01 (AG( potential( (tk(P734)) <= (tk(P279)) )))
PROPERTY: DLCround-PT-03b-CTLCardinality-02 (AG( ( ( (! potential( ( 2 ) <= (tk(P272)) )) & ( potential( (tk(P96)) <= (tk(P1336)) ) | potential( (tk(P70)) <= (tk(P395)) ) ) ) | (AX( potential( ( 3 ) <= (tk(P47)) ))) )))
PROPERTY: DLCround-PT-03b-CTLCardinality-03 ( (! potential( (tk(P697)) <= (tk(P852)) )) | (EG( ( ( potential( (tk(P1316)) <= (tk(P861)) ) & potential( (tk(P610)) <= (tk(P795)) ) ) | (! potential( (tk(P193)) <= (tk(P617)) )) ))) )
PROPERTY: DLCround-PT-03b-CTLCardinality-04 (! (AG( (EG( potential( (tk(P1148)) <= (tk(P751)) ))))))
PROPERTY: DLCround-PT-03b-CTLCardinality-05 (AF((AG( (! potential( ( 2 ) <= (tk(P1100)) ))))))
PROPERTY: DLCround-PT-03b-CTLCardinality-06 ( (AG( ( ( potential( ( 3 ) <= (tk(P363)) ) | potential( (tk(P561)) <= (tk(P509)) ) ) | ( potential( (tk(P1060)) <= (tk(P964)) ) | potential( (tk(P1311)) <= (tk(P334)) ) ) ))) | ( (! (! ( potential( ( 1 ) <= (tk(P264)) ) & potential( ( 2 ) <= (tk(P252)) ) ))) & (AG( ( potential( (tk(P1265)) <= (tk(P772)) ) & potential( ( 3 ) <= (tk(P357)) ) ))) ) )
PROPERTY: DLCround-PT-03b-CTLCardinality-07 ( (AX( (EG( potential( (tk(P157)) <= (tk(P1380)) ))))) | (AG( (AX( potential( (tk(P445)) <= (tk(P958)) ))))) )
PROPERTY: DLCround-PT-03b-CTLCardinality-08 (EX( ( ( ( potential( ( 1 ) <= (tk(P282)) ) & potential( ( 2 ) <= (tk(P12)) ) ) | ( potential( ( 1 ) <= (tk(P1317)) ) & potential( ( 2 ) <= (tk(P585)) ) ) ) | (EG( potential( (tk(P771)) <= (tk(P1298)) ))) )))
PROPERTY: DLCround-PT-03b-CTLCardinality-09 ( ( (EG( ( potential( (tk(P1140)) <= (tk(P414)) ) | potential( ( 3 ) <= (tk(P1294)) ) ))) | ( (! ( potential( (tk(P1313)) <= (tk(P221)) ) | potential( (tk(P508)) <= (tk(P154)) ) )) & ( (! potential( ( 1 ) <= (tk(P247)) )) & ( potential( ( 2 ) <= (tk(P1030)) ) & potential( ( 3 ) <= (tk(P1071)) ) ) ) ) ) & (! ( ( ( potential( (tk(P1138)) <= (tk(P1381)) ) | potential( ( 3 ) <= (tk(P642)) ) ) | ( potential( ( 1 ) <= (tk(P952)) ) | potential( ( 2 ) <= (tk(P141)) ) ) ) & ( (! potential( ( 3 ) <= (tk(P1130)) )) & potential( ( 3 ) <= (tk(P1345)) ) ) )) )
PROPERTY: DLCround-PT-03b-CTLCardinality-10 ( potential( (tk(P21)) <= (tk(P474)) ) & (EG( ( ( potential( ( 1 ) <= (tk(P362)) ) | potential( (tk(P262)) <= (tk(P1295)) ) ) & ( potential( (tk(P776)) <= (tk(P213)) ) | potential( ( 3 ) <= (tk(P1200)) ) ) ))) )
PROPERTY: DLCround-PT-03b-CTLCardinality-11 (AU( (EF(potential( ( 1 ) <= (tk(P25)) ))),( ( potential( ( 2 ) <= (tk(P771)) ) & potential( (tk(P1318)) <= (tk(P440)) ) ) & ( potential( (tk(P1006)) <= (tk(P91)) ) | potential( ( 1 ) <= (tk(P1293)) ) ) ) ))
PROPERTY: DLCround-PT-03b-CTLCardinality-12 (EF((! (AF(potential( ( 1 ) <= (tk(P1124)) ))))))
PROPERTY: DLCround-PT-03b-CTLCardinality-13 ( (! ( ( (! potential( (tk(P558)) <= (tk(P428)) )) | ( potential( (tk(P206)) <= (tk(P965)) ) | potential( ( 2 ) <= (tk(P1044)) ) ) ) & (! ( potential( ( 1 ) <= (tk(P586)) ) | potential( (tk(P769)) <= (tk(P705)) ) )) )) & (AU( ( potential( (tk(P810)) <= (tk(P252)) ) & potential( (tk(P696)) <= (tk(P732)) ) ),(! potential( (tk(P270)) <= (tk(P932)) )) )) )
PROPERTY: DLCround-PT-03b-CTLCardinality-14 (EF((! ( ( potential( ( 3 ) <= (tk(P711)) ) | potential( ( 3 ) <= (tk(P957)) ) ) | ( potential( (tk(P17)) <= (tk(P1085)) ) & potential( (tk(P616)) <= (tk(P802)) ) ) ))))
PROPERTY: DLCround-PT-03b-CTLCardinality-15 ( ( (AU( potential( (tk(P89)) <= (tk(P85)) ),potential( ( 1 ) <= (tk(P388)) ) )) & (EF((! potential( (tk(P173)) <= (tk(P268)) )))) ) & potential( (tk(P1347)) <= (tk(P386)) ) )

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-03b"
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-03b, 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-158902542200459"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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