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-158902542200460.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542200460
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME DLCround-PT-03b-CTLFireability-01
FORMULA_NAME DLCround-PT-03b-CTLFireability-02
FORMULA_NAME DLCround-PT-03b-CTLFireability-03
FORMULA_NAME DLCround-PT-03b-CTLFireability-04
FORMULA_NAME DLCround-PT-03b-CTLFireability-05
FORMULA_NAME DLCround-PT-03b-CTLFireability-06
FORMULA_NAME DLCround-PT-03b-CTLFireability-07
FORMULA_NAME DLCround-PT-03b-CTLFireability-08
FORMULA_NAME DLCround-PT-03b-CTLFireability-09
FORMULA_NAME DLCround-PT-03b-CTLFireability-10
FORMULA_NAME DLCround-PT-03b-CTLFireability-11
FORMULA_NAME DLCround-PT-03b-CTLFireability-12
FORMULA_NAME DLCround-PT-03b-CTLFireability-13
FORMULA_NAME DLCround-PT-03b-CTLFireability-14
FORMULA_NAME DLCround-PT-03b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589121545001

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 03b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 12 NEW BEST:: SOT 1530440 SOS 280591 HAS SOPS 280591 HAS SOUS 223836 HAS SOUPS 223836 WITH SCORE 224116.591
AT ITER 13 NEW BEST:: SOT 1530101 SOS 280139 HAS SOPS 280139 HAS SOUS 223384 HAS SOUPS 223384 WITH SCORE 223664.139
AT ITER 65 NEW BEST:: SOT 1529669 SOS 279613 HAS SOPS 279613 HAS SOUS 222858 HAS SOUPS 222858 WITH SCORE 223137.613
AT ITER 67 NEW BEST:: SOT 1529584 SOS 279443 HAS SOPS 279443 HAS SOUS 222688 HAS SOUPS 222688 WITH SCORE 222967.443
AT ITER 89 NEW BEST:: SOT 1529281 SOS 279572 HAS SOPS 279572 HAS SOUS 222630 HAS SOUPS 222630 WITH SCORE 222909.572
AT ITER 108 NEW BEST:: SOT 1529281 SOS 279717 HAS SOPS 279717 HAS SOUS 222629 HAS SOUPS 222629 WITH SCORE 222908.717
AT ITER 124 NEW BEST:: SOT 1528745 SOS 279223 HAS SOPS 279223 HAS SOUS 222108 HAS SOUPS 222108 WITH SCORE 222387.223
AT ITER 128 NEW BEST:: SOT 1528177 SOS 278655 HAS SOPS 278655 HAS SOUS 221540 HAS SOUPS 221540 WITH SCORE 221818.655
AT ITER 132 NEW BEST:: SOT 1527954 SOS 278209 HAS SOPS 278209 HAS SOUS 221187 HAS SOUPS 221187 WITH SCORE 221465.209
AT ITER 133 NEW BEST:: SOT 1527882 SOS 278065 HAS SOPS 278065 HAS SOUS 221043 HAS SOUPS 221043 WITH SCORE 221321.065
AT ITER 149 NEW BEST:: SOT 1527856 SOS 278049 HAS SOPS 278049 HAS SOUS 221023 HAS SOUPS 221023 WITH SCORE 221301.049
AT ITER 150 NEW BEST:: SOT 1527856 SOS 277945 HAS SOPS 277945 HAS SOUS 220919 HAS SOUPS 220919 WITH SCORE 221196.945
AT ITER 151 NEW BEST:: SOT 1527843 SOS 277933 HAS SOPS 277933 HAS SOUS 220906 HAS SOUPS 220906 WITH SCORE 221183.933
AT ITER 182 NEW BEST:: SOT 1527842 SOS 277931 HAS SOPS 277931 HAS SOUS 220904 HAS SOUPS 220904 WITH SCORE 221181.931
AT ITER 183 NEW BEST:: SOT 1527677 SOS 278241 HAS SOPS 278241 HAS SOUS 220679 HAS SOUPS 220679 WITH SCORE 220957.241
AT ITER 221 NEW BEST:: SOT 1527620 SOS 278184 HAS SOPS 278184 HAS SOUS 220622 HAS SOUPS 220622 WITH SCORE 220900.184
AT ITER 238 NEW BEST:: SOT 1527597 SOS 278138 HAS SOPS 278138 HAS SOUS 220576 HAS SOUPS 220576 WITH SCORE 220854.138
AT ITER 249 NEW BEST:: SOT 1527525 SOS 277994 HAS SOPS 277994 HAS SOUS 220347 HAS SOUPS 220347 WITH SCORE 220624.994
AT ITER 272 NEW BEST:: SOT 1527499 SOS 277978 HAS SOPS 277978 HAS SOUS 220325 HAS SOUPS 220325 WITH SCORE 220602.978
AT ITER 281 NEW BEST:: SOT 1527580 SOS 278140 HAS SOPS 278140 HAS SOUS 220225 HAS SOUPS 220225 WITH SCORE 220503.14
AT ITER 285 NEW BEST:: SOT 1527559 SOS 278098 HAS SOPS 278098 HAS SOUS 220204 HAS SOUPS 220204 WITH SCORE 220482.098
AT ITER 293 NEW BEST:: SOT 1527405 SOS 277986 HAS SOPS 277986 HAS SOUS 220092 HAS SOUPS 220092 WITH SCORE 220369.986
AT ITER 300 NEW BEST:: SOT 1527156 SOS 278132 HAS SOPS 278132 HAS SOUS 220010 HAS SOUPS 220010 WITH SCORE 220288.132
AT ITER 334 NEW BEST:: SOT 1527118 SOS 278056 HAS SOPS 278056 HAS SOUS 219603 HAS SOUPS 219603 WITH SCORE 219881.056
AT ITER 345 NEW BEST:: SOT 1527019 SOS 277957 HAS SOPS 277957 HAS SOUS 219504 HAS SOUPS 219504 WITH SCORE 219781.957
AT ITER 368 NEW BEST:: SOT 1526862 SOS 277800 HAS SOPS 277800 HAS SOUS 219347 HAS SOUPS 219347 WITH SCORE 219624.8
AT ITER 408 NEW BEST:: SOT 1526584 SOS 277561 HAS SOPS 277561 HAS SOUS 219082 HAS SOUPS 219082 WITH SCORE 219359.561
AT ITER 409 NEW BEST:: SOT 1526700 SOS 277793 HAS SOPS 277793 HAS SOUS 219043 HAS SOUPS 219043 WITH SCORE 219320.793
AT ITER 410 NEW BEST:: SOT 1526669 SOS 277783 HAS SOPS 277783 HAS SOUS 219042 HAS SOUPS 219042 WITH SCORE 219319.783
AT ITER 423 NEW BEST:: SOT 1526538 SOS 277652 HAS SOPS 277652 HAS SOUS 218911 HAS SOUPS 218911 WITH SCORE 219188.652
AT ITER 432 NEW BEST:: SOT 1526391 SOS 277558 HAS SOPS 277558 HAS SOUS 218792 HAS SOUPS 218792 WITH SCORE 219069.558
AT ITER 446 NEW BEST:: SOT 1524823 SOS 277001 HAS SOPS 277001 HAS SOUS 217030 HAS SOUPS 217030 WITH SCORE 217307.001
AT ITER 469 NEW BEST:: SOT 1524735 SOS 276913 HAS SOPS 276913 HAS SOUS 216942 HAS SOUPS 216942 WITH SCORE 217218.913
AT ITER 482 NEW BEST:: SOT 1524544 SOS 277025 HAS SOPS 277025 HAS SOUS 216941 HAS SOUPS 216941 WITH SCORE 217218.025
AT ITER 510 NEW BEST:: SOT 1524538 SOS 277013 HAS SOPS 277013 HAS SOUS 216929 HAS SOUPS 216929 WITH SCORE 217206.013
AT ITER 515 NEW BEST:: SOT 1524567 SOS 277011 HAS SOPS 277011 HAS SOUS 216928 HAS SOUPS 216928 WITH SCORE 217205.011
AT ITER 520 NEW BEST:: SOT 1524567 SOS 276919 HAS SOPS 276919 HAS SOUS 216882 HAS SOUPS 216882 WITH SCORE 217158.919
AT ITER 554 NEW BEST:: SOT 1524567 SOS 276891 HAS SOPS 276891 HAS SOUS 216854 HAS SOUPS 216854 WITH SCORE 217130.891
AT ITER 561 NEW BEST:: SOT 1524507 SOS 276771 HAS SOPS 276771 HAS SOUS 216734 HAS SOUPS 216734 WITH SCORE 217010.771
AT ITER 564 NEW BEST:: SOT 1524291 SOS 276555 HAS SOPS 276555 HAS SOUS 216518 HAS SOUPS 216518 WITH SCORE 216794.555
AT ITER 565 NEW BEST:: SOT 1524090 SOS 276363 HAS SOPS 276363 HAS SOUS 216317 HAS SOUPS 216317 WITH SCORE 216593.363
AT ITER 571 NEW BEST:: SOT 1524075 SOS 276333 HAS SOPS 276333 HAS SOUS 216075 HAS SOUPS 216075 WITH SCORE 216351.333
AT ITER 602 NEW BEST:: SOT 1523927 SOS 275906 HAS SOPS 275906 HAS SOUS 215891 HAS SOUPS 215891 WITH SCORE 216166.906
AT ITER 689 NEW BEST:: SOT 1523965 SOS 275982 HAS SOPS 275982 HAS SOUS 215871 HAS SOUPS 215871 WITH SCORE 216146.982
AT ITER 696 NEW BEST:: SOT 1523878 SOS 275895 HAS SOPS 275895 HAS SOUS 215784 HAS SOUPS 215784 WITH SCORE 216059.895
AT ITER 723 NEW BEST:: SOT 1522317 SOS 274217 HAS SOPS 274217 HAS SOUS 214949 HAS SOUPS 214949 WITH SCORE 215223.217
AT ITER 740 NEW BEST:: SOT 1522092 SOS 273997 HAS SOPS 273997 HAS SOUS 214732 HAS SOUPS 214732 WITH SCORE 215005.997
AT ITER 757 NEW BEST:: SOT 1522060 SOS 273933 HAS SOPS 273933 HAS SOUS 214668 HAS SOUPS 214668 WITH SCORE 214941.933
AT ITER 762 NEW BEST:: SOT 1521998 SOS 273929 HAS SOPS 273929 HAS SOUS 214667 HAS SOUPS 214667 WITH SCORE 214940.929
AT ITER 789 NEW BEST:: SOT 1522084 SOS 273888 HAS SOPS 273888 HAS SOUS 214626 HAS SOUPS 214626 WITH SCORE 214899.888
AT ITER 790 NEW BEST:: SOT 1521953 SOS 273626 HAS SOPS 273626 HAS SOUS 214364 HAS SOUPS 214364 WITH SCORE 214637.626
AT ITER 810 NEW BEST:: SOT 1521894 SOS 273438 HAS SOPS 273438 HAS SOUS 214235 HAS SOUPS 214235 WITH SCORE 214508.438
AT ITER 871 NEW BEST:: SOT 1521754 SOS 273421 HAS SOPS 273421 HAS SOUS 214156 HAS SOUPS 214156 WITH SCORE 214429.421
AT ITER 917 NEW BEST:: SOT 1520595 SOS 273816 HAS SOPS 273816 HAS SOUS 213209 HAS SOUPS 213209 WITH SCORE 213482.816
AT ITER 978 NEW BEST:: SOT 1520551 SOS 274032 HAS SOPS 274032 HAS SOUS 213076 HAS SOUPS 213076 WITH SCORE 213350.032
AT ITER 1023 NEW BEST:: SOT 1520519 SOS 274060 HAS SOPS 274060 HAS SOUS 213011 HAS SOUPS 213011 WITH SCORE 213285.06
AT ITER 1031 NEW BEST:: SOT 1520519 SOS 274443 HAS SOPS 274443 HAS SOUS 213010 HAS SOUPS 213010 WITH SCORE 213284.443
AT ITER 1053 NEW BEST:: SOT 1520360 SOS 274040 HAS SOPS 274040 HAS SOUS 212790 HAS SOUPS 212790 WITH SCORE 213064.04
AT ITER 1062 NEW BEST:: SOT 1520220 SOS 273936 HAS SOPS 273936 HAS SOUS 212686 HAS SOUPS 212686 WITH SCORE 212959.936
AT ITER 1071 NEW BEST:: SOT 1520208 SOS 273674 HAS SOPS 273674 HAS SOUS 212624 HAS SOUPS 212624 WITH SCORE 212897.674
AT ITER 1100 NEW BEST:: SOT 1520244 SOS 273837 HAS SOPS 273837 HAS SOUS 212514 HAS SOUPS 212514 WITH SCORE 212787.837
AT ITER 1115 NEW BEST:: SOT 1520244 SOS 273837 HAS SOPS 273837 HAS SOUS 212387 HAS SOUPS 212387 WITH SCORE 212660.837
AT ITER 1130 NEW BEST:: SOT 1520239 SOS 273827 HAS SOPS 273827 HAS SOUS 212377 HAS SOUPS 212377 WITH SCORE 212650.827
AT ITER 1135 NEW BEST:: SOT 1520219 SOS 273807 HAS SOPS 273807 HAS SOUS 212366 HAS SOUPS 212366 WITH SCORE 212639.807
AT ITER 1152 NEW BEST:: SOT 1520219 SOS 273792 HAS SOPS 273792 HAS SOUS 212351 HAS SOUPS 212351 WITH SCORE 212624.792
AT ITER 1154 NEW BEST:: SOT 1520103 SOS 273560 HAS SOPS 273560 HAS SOUS 212119 HAS SOUPS 212119 WITH SCORE 212392.56
AT ITER 1166 NEW BEST:: SOT 1520059 SOS 273516 HAS SOPS 273516 HAS SOUS 212075 HAS SOUPS 212075 WITH SCORE 212348.516
AT ITER 1171 NEW BEST:: SOT 1519932 SOS 273565 HAS SOPS 273565 HAS SOUS 212059 HAS SOUPS 212059 WITH SCORE 212332.565
AT ITER 1184 NEW BEST:: SOT 1519917 SOS 273535 HAS SOPS 273535 HAS SOUS 212059 HAS SOUPS 212059 WITH SCORE 212332.535
AT ITER 1273 NEW BEST:: SOT 1519831 SOS 273890 HAS SOPS 273890 HAS SOUS 211883 HAS SOUPS 211883 WITH SCORE 212156.89
AT ITER 1294 NEW BEST:: SOT 1519341 SOS 273488 HAS SOPS 273488 HAS SOUS 211585 HAS SOUPS 211585 WITH SCORE 211858.488
AT ITER 1298 NEW BEST:: SOT 1519118 SOS 273274 HAS SOPS 273274 HAS SOUS 211374 HAS SOUPS 211374 WITH SCORE 211647.274
AT ITER 1310 NEW BEST:: SOT 1519118 SOS 273241 HAS SOPS 273241 HAS SOUS 211374 HAS SOUPS 211374 WITH SCORE 211647.241
AT ITER 1314 NEW BEST:: SOT 1518860 SOS 272725 HAS SOPS 272725 HAS SOUS 210976 HAS SOUPS 210976 WITH SCORE 211248.725
AT ITER 1323 NEW BEST:: SOT 1518826 SOS 272708 HAS SOPS 272708 HAS SOUS 210959 HAS SOUPS 210959 WITH SCORE 211231.708
AT ITER 1339 NEW BEST:: SOT 1518558 SOS 273744 HAS SOPS 273744 HAS SOUS 210868 HAS SOUPS 210868 WITH SCORE 211141.744
AT ITER 1349 NEW BEST:: SOT 1518492 SOS 273424 HAS SOPS 273424 HAS SOUS 210860 HAS SOUPS 210860 WITH SCORE 211133.424
AT ITER 1356 NEW BEST:: SOT 1518203 SOS 273392 HAS SOPS 273392 HAS SOUS 210775 HAS SOUPS 210775 WITH SCORE 211048.392
AT ITER 1374 NEW BEST:: SOT 1518170 SOS 273326 HAS SOPS 273326 HAS SOUS 210567 HAS SOUPS 210567 WITH SCORE 210840.326
AT ITER 1383 NEW BEST:: SOT 1518045 SOS 273201 HAS SOPS 273201 HAS SOUS 210442 HAS SOUPS 210442 WITH SCORE 210715.201
AT ITER 1412 NEW BEST:: SOT 1518034 SOS 273391 HAS SOPS 273391 HAS SOUS 210431 HAS SOUPS 210431 WITH SCORE 210704.391
AT ITER 1415 NEW BEST:: SOT 1517966 SOS 273256 HAS SOPS 273256 HAS SOUS 210296 HAS SOUPS 210296 WITH SCORE 210569.256
AT ITER 1446 NEW BEST:: SOT 1517788 SOS 273078 HAS SOPS 273078 HAS SOUS 210118 HAS SOUPS 210118 WITH SCORE 210391.078
AT ITER 1449 NEW BEST:: SOT 1517704 SOS 273042 HAS SOPS 273042 HAS SOUS 210107 HAS SOUPS 210107 WITH SCORE 210380.042
AT ITER 1451 NEW BEST:: SOT 1517778 SOS 272863 HAS SOPS 272863 HAS SOUS 209895 HAS SOUPS 209895 WITH SCORE 210167.863
AT ITER 1476 NEW BEST:: SOT 1517749 SOS 272862 HAS SOPS 272862 HAS SOUS 209894 HAS SOUPS 209894 WITH SCORE 210166.862
AT ITER 1500 NEW BEST:: SOT 1517732 SOS 272828 HAS SOPS 272828 HAS SOUS 209860 HAS SOUPS 209860 WITH SCORE 210132.828
AT ITER 1531 NEW BEST:: SOT 1517574 SOS 272705 HAS SOPS 272705 HAS SOUS 209740 HAS SOUPS 209740 WITH SCORE 210012.705
AT ITER 1532 NEW BEST:: SOT 1517555 SOS 272702 HAS SOPS 272702 HAS SOUS 209739 HAS SOUPS 209739 WITH SCORE 210011.702
AT ITER 1563 NEW BEST:: SOT 1517542 SOS 272711 HAS SOPS 272711 HAS SOUS 209712 HAS SOUPS 209712 WITH SCORE 209984.711
AT ITER 1571 NEW BEST:: SOT 1517492 SOS 272586 HAS SOPS 272586 HAS SOUS 209662 HAS SOUPS 209662 WITH SCORE 209934.586
AT ITER 1587 NEW BEST:: SOT 1517313 SOS 272579 HAS SOPS 272579 HAS SOUS 209655 HAS SOUPS 209655 WITH SCORE 209927.579
AT ITER 1590 NEW BEST:: SOT 1517332 SOS 272617 HAS SOPS 272617 HAS SOUS 209622 HAS SOUPS 209622 WITH SCORE 209894.617
AT ITER 1607 NEW BEST:: SOT 1517290 SOS 272581 HAS SOPS 272581 HAS SOUS 209570 HAS SOUPS 209570 WITH SCORE 209842.581
AT ITER 1616 NEW BEST:: SOT 1517290 SOS 272529 HAS SOPS 272529 HAS SOUS 209570 HAS SOUPS 209570 WITH SCORE 209842.529
AT ITER 1691 NEW BEST:: SOT 1517290 SOS 272529 HAS SOPS 272529 HAS SOUS 209552 HAS SOUPS 209552 WITH SCORE 209824.529
AT ITER 1693 NEW BEST:: SOT 1517099 SOS 272087 HAS SOPS 272087 HAS SOUS 209162 HAS SOUPS 209162 WITH SCORE 209434.087
AT ITER 1700 NEW BEST:: SOT 1517098 SOS 272085 HAS SOPS 272085 HAS SOUS 209160 HAS SOUPS 209160 WITH SCORE 209432.085
AT ITER 1703 NEW BEST:: SOT 1516988 SOS 271997 HAS SOPS 271997 HAS SOUS 209072 HAS SOUPS 209072 WITH SCORE 209343.997
AT ITER 1748 NEW BEST:: SOT 1516988 SOS 272144 HAS SOPS 272144 HAS SOUS 209070 HAS SOUPS 209070 WITH SCORE 209342.144
AT ITER 1769 NEW BEST:: SOT 1516842 SOS 271996 HAS SOPS 271996 HAS SOUS 209065 HAS SOUPS 209065 WITH SCORE 209336.996
AT ITER 1774 NEW BEST:: SOT 1516801 SOS 272031 HAS SOPS 272031 HAS SOUS 209063 HAS SOUPS 209063 WITH SCORE 209335.031
AT ITER 1798 NEW BEST:: SOT 1516074 SOS 270953 HAS SOPS 270953 HAS SOUS 208076 HAS SOUPS 208076 WITH SCORE 208346.953
AT ITER 1802 NEW BEST:: SOT 1516005 SOS 270815 HAS SOPS 270815 HAS SOUS 207938 HAS SOUPS 207938 WITH SCORE 208208.815
AT ITER 1810 NEW BEST:: SOT 1515897 SOS 270761 HAS SOPS 270761 HAS SOUS 207884 HAS SOUPS 207884 WITH SCORE 208154.761
AT ITER 1845 NEW BEST:: SOT 1515901 SOS 270821 HAS SOPS 270821 HAS SOUS 207772 HAS SOUPS 207772 WITH SCORE 208042.821
AT ITER 1850 NEW BEST:: SOT 1515841 SOS 270701 HAS SOPS 270701 HAS SOUS 207617 HAS SOUPS 207617 WITH SCORE 207887.701
AT ITER 1871 NEW BEST:: SOT 1515830 SOS 270679 HAS SOPS 270679 HAS SOUS 207611 HAS SOUPS 207611 WITH SCORE 207881.679
AT ITER 1920 NEW BEST:: SOT 1515748 SOS 270662 HAS SOPS 270662 HAS SOUS 207529 HAS SOUPS 207529 WITH SCORE 207799.662
AT ITER 1937 NEW BEST:: SOT 1515644 SOS 270560 HAS SOPS 270560 HAS SOUS 207427 HAS SOUPS 207427 WITH SCORE 207697.56
AT ITER 1945 NEW BEST:: SOT 1515534 SOS 270340 HAS SOPS 270340 HAS SOUS 207388 HAS SOUPS 207388 WITH SCORE 207658.34
AT ITER 1960 NEW BEST:: SOT 1515534 SOS 270303 HAS SOPS 270303 HAS SOUS 207388 HAS SOUPS 207388 WITH SCORE 207658.303
AT ITER 1979 NEW BEST:: SOT 1515429 SOS 270303 HAS SOPS 270303 HAS SOUS 207283 HAS SOUPS 207283 WITH SCORE 207553.303
AT ITER 1984 NEW BEST:: SOT 1515369 SOS 270243 HAS SOPS 270243 HAS SOUS 207223 HAS SOUPS 207223 WITH SCORE 207493.243
AT ITER 1991 NEW BEST:: SOT 1515132 SOS 270351 HAS SOPS 270351 HAS SOUS 207216 HAS SOUPS 207216 WITH SCORE 207486.351
AT ITER 2002 NEW BEST:: SOT 1515132 SOS 270341 HAS SOPS 270341 HAS SOUS 207216 HAS SOUPS 207216 WITH SCORE 207486.341
AT ITER 2019 NEW BEST:: SOT 1515132 SOS 270341 HAS SOPS 270341 HAS SOUS 207151 HAS SOUPS 207151 WITH SCORE 207421.341
AT ITER 2054 NEW BEST:: SOT 1515127 SOS 270367 HAS SOPS 270367 HAS SOUS 207149 HAS SOUPS 207149 WITH SCORE 207419.367
AT ITER 2073 NEW BEST:: SOT 1515127 SOS 270367 HAS SOPS 270367 HAS SOUS 207140 HAS SOUPS 207140 WITH SCORE 207410.367
AT ITER 2079 NEW BEST:: SOT 1515155 SOS 270423 HAS SOPS 270423 HAS SOUS 207109 HAS SOUPS 207109 WITH SCORE 207379.423
AT ITER 2083 NEW BEST:: SOT 1515089 SOS 270228 HAS SOPS 270228 HAS SOUS 206980 HAS SOUPS 206980 WITH SCORE 207250.228
AT ITER 2084 NEW BEST:: SOT 1515056 SOS 270162 HAS SOPS 270162 HAS SOUS 206914 HAS SOUPS 206914 WITH SCORE 207184.162
AT ITER 2094 NEW BEST:: SOT 1514942 SOS 269934 HAS SOPS 269934 HAS SOUS 206800 HAS SOUPS 206800 WITH SCORE 207069.934
AT ITER 2138 NEW BEST:: SOT 1514941 SOS 269932 HAS SOPS 269932 HAS SOUS 206798 HAS SOUPS 206798 WITH SCORE 207067.932
AT ITER 2147 NEW BEST:: SOT 1514886 SOS 270112 HAS SOPS 270112 HAS SOUS 206732 HAS SOUPS 206732 WITH SCORE 207002.112
AT ITER 2158 NEW BEST:: SOT 1514864 SOS 270068 HAS SOPS 270068 HAS SOUS 206709 HAS SOUPS 206709 WITH SCORE 206979.068
AT ITER 2172 NEW BEST:: SOT 1514812 SOS 269964 HAS SOPS 269964 HAS SOUS 206657 HAS SOUPS 206657 WITH SCORE 206926.964
AT ITER 2216 NEW BEST:: SOT 1514734 SOS 269886 HAS SOPS 269886 HAS SOUS 206579 HAS SOUPS 206579 WITH SCORE 206848.886
AT ITER 2220 NEW BEST:: SOT 1514630 SOS 269678 HAS SOPS 269678 HAS SOUS 206475 HAS SOUPS 206475 WITH SCORE 206744.678
AT ITER 2284 NEW BEST:: SOT 1514420 SOS 269458 HAS SOPS 269458 HAS SOUS 206264 HAS SOUPS 206264 WITH SCORE 206533.458
AT ITER 2287 NEW BEST:: SOT 1514354 SOS 269404 HAS SOPS 269404 HAS SOUS 206182 HAS SOUPS 206182 WITH SCORE 206451.404
AT ITER 2305 NEW BEST:: SOT 1514306 SOS 269308 HAS SOPS 269308 HAS SOUS 206086 HAS SOUPS 206086 WITH SCORE 206355.308
AT ITER 2318 NEW BEST:: SOT 1514269 SOS 269235 HAS SOPS 269235 HAS SOUS 206013 HAS SOUPS 206013 WITH SCORE 206282.235
AT ITER 2359 NEW BEST:: SOT 1514259 SOS 269566 HAS SOPS 269566 HAS SOUS 206003 HAS SOUPS 206003 WITH SCORE 206272.566
AT ITER 2361 NEW BEST:: SOT 1514258 SOS 269564 HAS SOPS 269564 HAS SOUS 206001 HAS SOUPS 206001 WITH SCORE 206270.564
AT ITER 2386 NEW BEST:: SOT 1514266 SOS 269410 HAS SOPS 269410 HAS SOUS 205924 HAS SOUPS 205924 WITH SCORE 206193.41
AT ITER 2391 NEW BEST:: SOT 1514076 SOS 269458 HAS SOPS 269458 HAS SOUS 205851 HAS SOUPS 205851 WITH SCORE 206120.458
AT ITER 2392 NEW BEST:: SOT 1514075 SOS 269771 HAS SOPS 269771 HAS SOUS 205849 HAS SOUPS 205849 WITH SCORE 206118.771
AT ITER 2419 NEW BEST:: SOT 1514075 SOS 269668 HAS SOPS 269668 HAS SOUS 205808 HAS SOUPS 205808 WITH SCORE 206077.668
AT ITER 2426 NEW BEST:: SOT 1514061 SOS 269640 HAS SOPS 269640 HAS SOUS 205780 HAS SOUPS 205780 WITH SCORE 206049.64
AT ITER 2448 NEW BEST:: SOT 1513755 SOS 269487 HAS SOPS 269487 HAS SOUS 205627 HAS SOUPS 205627 WITH SCORE 205896.487
AT ITER 2476 NEW BEST:: SOT 1513755 SOS 268968 HAS SOPS 268968 HAS SOUS 205454 HAS SOUPS 205454 WITH SCORE 205722.968
AT ITER 2485 NEW BEST:: SOT 1513754 SOS 269059 HAS SOPS 269059 HAS SOUS 205452 HAS SOUPS 205452 WITH SCORE 205721.059
AT ITER 2486 NEW BEST:: SOT 1513753 SOS 269057 HAS SOPS 269057 HAS SOUS 205450 HAS SOUPS 205450 WITH SCORE 205719.057
AT ITER 2489 NEW BEST:: SOT 1513745 SOS 269049 HAS SOPS 269049 HAS SOUS 205442 HAS SOUPS 205442 WITH SCORE 205711.049
AT ITER 2511 NEW BEST:: SOT 1513516 SOS 268591 HAS SOPS 268591 HAS SOUS 205220 HAS SOUPS 205220 WITH SCORE 205488.591
AT ITER 2519 NEW BEST:: SOT 1513451 SOS 268462 HAS SOPS 268462 HAS SOUS 205091 HAS SOUPS 205091 WITH SCORE 205359.462
AT ITER 2541 NEW BEST:: SOT 1513428 SOS 268416 HAS SOPS 268416 HAS SOUS 205045 HAS SOUPS 205045 WITH SCORE 205313.416
AT ITER 2556 NEW BEST:: SOT 1513445 SOS 268372 HAS SOPS 268372 HAS SOUS 205031 HAS SOUPS 205031 WITH SCORE 205299.372
AT ITER 2587 NEW BEST:: SOT 1513245 SOS 268087 HAS SOPS 268087 HAS SOUS 204831 HAS SOUPS 204831 WITH SCORE 205099.087
AT ITER 2607 NEW BEST:: SOT 1513169 SOS 267861 HAS SOPS 267861 HAS SOUS 204681 HAS SOUPS 204681 WITH SCORE 204948.861
AT ITER 2632 NEW BEST:: SOT 1513101 SOS 267657 HAS SOPS 267657 HAS SOUS 204501 HAS SOUPS 204501 WITH SCORE 204768.657
AT ITER 2653 NEW BEST:: SOT 1513064 SOS 267667 HAS SOPS 267667 HAS SOUS 204464 HAS SOUPS 204464 WITH SCORE 204731.667
AT ITER 2675 NEW BEST:: SOT 1512862 SOS 267721 HAS SOPS 267721 HAS SOUS 204394 HAS SOUPS 204394 WITH SCORE 204661.721
AT ITER 2695 NEW BEST:: SOT 1512827 SOS 267651 HAS SOPS 267651 HAS SOUS 204359 HAS SOUPS 204359 WITH SCORE 204626.651
AT ITER 2696 NEW BEST:: SOT 1512796 SOS 267553 HAS SOPS 267553 HAS SOUS 204297 HAS SOUPS 204297 WITH SCORE 204564.553
AT ITER 2724 NEW BEST:: SOT 1512789 SOS 267539 HAS SOPS 267539 HAS SOUS 204283 HAS SOUPS 204283 WITH SCORE 204550.539
AT ITER 2758 NEW BEST:: SOT 1512758 SOS 267669 HAS SOPS 267669 HAS SOUS 204271 HAS SOUPS 204271 WITH SCORE 204538.669
AT ITER 2763 NEW BEST:: SOT 1512758 SOS 267669 HAS SOPS 267669 HAS SOUS 204200 HAS SOUPS 204200 WITH SCORE 204467.669
AT ITER 2803 NEW BEST:: SOT 1512757 SOS 267667 HAS SOPS 267667 HAS SOUS 204198 HAS SOUPS 204198 WITH SCORE 204465.667
AT ITER 2806 NEW BEST:: SOT 1512635 SOS 267577 HAS SOPS 267577 HAS SOUS 204108 HAS SOUPS 204108 WITH SCORE 204375.577
AT ITER 2817 NEW BEST:: SOT 1512610 SOS 267527 HAS SOPS 267527 HAS SOUS 204058 HAS SOUPS 204058 WITH SCORE 204325.527
AT ITER 2820 NEW BEST:: SOT 1512573 SOS 267490 HAS SOPS 267490 HAS SOUS 204021 HAS SOUPS 204021 WITH SCORE 204288.49
AT ITER 2837 NEW BEST:: SOT 1512506 SOS 267356 HAS SOPS 267356 HAS SOUS 203887 HAS SOUPS 203887 WITH SCORE 204154.356
AT ITER 2851 NEW BEST:: SOT 1512421 SOS 266988 HAS SOPS 266988 HAS SOUS 203618 HAS SOUPS 203618 WITH SCORE 203884.988
AT ITER 2910 NEW BEST:: SOT 1512371 SOS 266857 HAS SOPS 266857 HAS SOUS 203580 HAS SOUPS 203580 WITH SCORE 203846.857
AT ITER 2914 NEW BEST:: SOT 1512302 SOS 266797 HAS SOPS 266797 HAS SOUS 203511 HAS SOUPS 203511 WITH SCORE 203777.797
AT ITER 2949 NEW BEST:: SOT 1512377 SOS 266673 HAS SOPS 266673 HAS SOUS 203510 HAS SOUPS 203510 WITH SCORE 203776.673
AT ITER 2958 NEW BEST:: SOT 1512377 SOS 266673 HAS SOPS 266673 HAS SOUS 203509 HAS SOUPS 203509 WITH SCORE 203775.673
AT ITER 3017 NEW BEST:: SOT 1512383 SOS 266649 HAS SOPS 266649 HAS SOUS 203485 HAS SOUPS 203485 WITH SCORE 203751.649
AT ITER 3083 NEW BEST:: SOT 1512383 SOS 266649 HAS SOPS 266649 HAS SOUS 203477 HAS SOUPS 203477 WITH SCORE 203743.649
AT ITER 3106 NEW BEST:: SOT 1512420 SOS 266612 HAS SOPS 266612 HAS SOUS 203440 HAS SOUPS 203440 WITH SCORE 203706.612
AT ITER 3119 NEW BEST:: SOT 1512372 SOS 266516 HAS SOPS 266516 HAS SOUS 203367 HAS SOUPS 203367 WITH SCORE 203633.516
AT ITER 3138 NEW BEST:: SOT 1512360 SOS 266492 HAS SOPS 266492 HAS SOUS 203235 HAS SOUPS 203235 WITH SCORE 203501.492
AT ITER 3154 NEW BEST:: SOT 1512066 SOS 266198 HAS SOPS 266198 HAS SOUS 202678 HAS SOUPS 202678 WITH SCORE 202944.198
AT ITER 3176 NEW BEST:: SOT 1512054 SOS 266186 HAS SOPS 266186 HAS SOUS 202666 HAS SOUPS 202666 WITH SCORE 202932.186
AT ITER 3203 NEW BEST:: SOT 1512054 SOS 266186 HAS SOPS 266186 HAS SOUS 202589 HAS SOUPS 202589 WITH SCORE 202855.186
AT ITER 3235 NEW BEST:: SOT 1511913 SOS 266057 HAS SOPS 266057 HAS SOUS 202379 HAS SOUPS 202379 WITH SCORE 202645.057
AT ITER 3258 NEW BEST:: SOT 1511858 SOS 265947 HAS SOPS 265947 HAS SOUS 202269 HAS SOUPS 202269 WITH SCORE 202534.947
AT ITER 3270 NEW BEST:: SOT 1511850 SOS 265931 HAS SOPS 265931 HAS SOUS 202253 HAS SOUPS 202253 WITH SCORE 202518.931
AT ITER 3271 NEW BEST:: SOT 1511849 SOS 265930 HAS SOPS 265930 HAS SOUS 202252 HAS SOUPS 202252 WITH SCORE 202517.93
AT ITER 3293 NEW BEST:: SOT 1511831 SOS 265894 HAS SOPS 265894 HAS SOUS 202216 HAS SOUPS 202216 WITH SCORE 202481.894
AT ITER 3316 NEW BEST:: SOT 1511830 SOS 265789 HAS SOPS 265789 HAS SOUS 202214 HAS SOUPS 202214 WITH SCORE 202479.789
AT ITER 3319 NEW BEST:: SOT 1511798 SOS 265725 HAS SOPS 265725 HAS SOUS 202150 HAS SOUPS 202150 WITH SCORE 202415.725
AT ITER 3320 NEW BEST:: SOT 1511817 SOS 266107 HAS SOPS 266107 HAS SOUS 202097 HAS SOUPS 202097 WITH SCORE 202363.107
AT ITER 3330 NEW BEST:: SOT 1511774 SOS 266042 HAS SOPS 266042 HAS SOUS 202032 HAS SOUPS 202032 WITH SCORE 202298.042
AT ITER 3369 NEW BEST:: SOT 1511545 SOS 265944 HAS SOPS 265944 HAS SOUS 201803 HAS SOUPS 201803 WITH SCORE 202068.944
AT ITER 3388 NEW BEST:: SOT 1510457 SOS 266135 HAS SOPS 266135 HAS SOUS 201217 HAS SOUPS 201217 WITH SCORE 201483.135
AT ITER 3394 NEW BEST:: SOT 1510457 SOS 265625 HAS SOPS 265625 HAS SOUS 201217 HAS SOUPS 201217 WITH SCORE 201482.625
AT ITER 3399 NEW BEST:: SOT 1510420 SOS 265671 HAS SOPS 265671 HAS SOUS 201210 HAS SOUPS 201210 WITH SCORE 201475.671
AT ITER 3408 NEW BEST:: SOT 1510309 SOS 265558 HAS SOPS 265558 HAS SOUS 201206 HAS SOUPS 201206 WITH SCORE 201471.558
AT ITER 3453 NEW BEST:: SOT 1510261 SOS 265510 HAS SOPS 265510 HAS SOUS 201158 HAS SOUPS 201158 WITH SCORE 201423.51
AT ITER 3483 NEW BEST:: SOT 1510072 SOS 265132 HAS SOPS 265132 HAS SOUS 200981 HAS SOUPS 200981 WITH SCORE 201246.132
AT ITER 3509 NEW BEST:: SOT 1510072 SOS 264856 HAS SOPS 264856 HAS SOUS 200981 HAS SOUPS 200981 WITH SCORE 201245.856
AT ITER 3511 NEW BEST:: SOT 1510072 SOS 264856 HAS SOPS 264856 HAS SOUS 200980 HAS SOUPS 200980 WITH SCORE 201244.856
AT ITER 3514 NEW BEST:: SOT 1510072 SOS 264855 HAS SOPS 264855 HAS SOUS 200979 HAS SOUPS 200979 WITH SCORE 201243.855
AT ITER 3537 NEW BEST:: SOT 1510037 SOS 264785 HAS SOPS 264785 HAS SOUS 200909 HAS SOUPS 200909 WITH SCORE 201173.785
AT ITER 3566 NEW BEST:: SOT 1509998 SOS 264668 HAS SOPS 264668 HAS SOUS 200831 HAS SOUPS 200831 WITH SCORE 201095.668
AT ITER 3616 NEW BEST:: SOT 1510037 SOS 264746 HAS SOPS 264746 HAS SOUS 200811 HAS SOUPS 200811 WITH SCORE 201075.746
AT ITER 3623 NEW BEST:: SOT 1510001 SOS 264674 HAS SOPS 264674 HAS SOUS 200739 HAS SOUPS 200739 WITH SCORE 201003.674
AT ITER 3654 NEW BEST:: SOT 1510000 SOS 264672 HAS SOPS 264672 HAS SOUS 200737 HAS SOUPS 200737 WITH SCORE 201001.672
AT ITER 3658 NEW BEST:: SOT 1510000 SOS 264648 HAS SOPS 264648 HAS SOUS 200722 HAS SOUPS 200722 WITH SCORE 200986.648
AT ITER 3661 NEW BEST:: SOT 1509970 SOS 264618 HAS SOPS 264618 HAS SOUS 200692 HAS SOUPS 200692 WITH SCORE 200956.618
AT ITER 3664 NEW BEST:: SOT 1509953 SOS 264601 HAS SOPS 264601 HAS SOUS 200692 HAS SOUPS 200692 WITH SCORE 200956.601
AT ITER 3726 NEW BEST:: SOT 1509947 SOS 264562 HAS SOPS 264562 HAS SOUS 200686 HAS SOUPS 200686 WITH SCORE 200950.562
AT ITER 3730 NEW BEST:: SOT 1509025 SOS 264658 HAS SOPS 264658 HAS SOUS 199916 HAS SOUPS 199916 WITH SCORE 200180.658
AT ITER 3754 NEW BEST:: SOT 1509024 SOS 265124 HAS SOPS 265124 HAS SOUS 199905 HAS SOUPS 199905 WITH SCORE 200170.124
AT ITER 3755 NEW BEST:: SOT 1508935 SOS 264946 HAS SOPS 264946 HAS SOUS 199727 HAS SOUPS 199727 WITH SCORE 199991.946
AT ITER 3786 NEW BEST:: SOT 1508935 SOS 264699 HAS SOPS 264699 HAS SOUS 199727 HAS SOUPS 199727 WITH SCORE 199991.699
AT ITER 3791 NEW BEST:: SOT 1508627 SOS 264306 HAS SOPS 264306 HAS SOUS 199557 HAS SOUPS 199557 WITH SCORE 199821.306
AT ITER 3858 NEW BEST:: SOT 1508548 SOS 264596 HAS SOPS 264596 HAS SOUS 199514 HAS SOUPS 199514 WITH SCORE 199778.596
AT ITER 3883 NEW BEST:: SOT 1508530 SOS 264590 HAS SOPS 264590 HAS SOUS 199496 HAS SOUPS 199496 WITH SCORE 199760.59
AT ITER 3909 NEW BEST:: SOT 1508521 SOS 264596 HAS SOPS 264596 HAS SOUS 199487 HAS SOUPS 199487 WITH SCORE 199751.596
AT ITER 3919 NEW BEST:: SOT 1508445 SOS 264594 HAS SOPS 264594 HAS SOUS 199411 HAS SOUPS 199411 WITH SCORE 199675.594
AT ITER 3925 NEW BEST:: SOT 1507998 SOS 264236 HAS SOPS 264236 HAS SOUS 199053 HAS SOUPS 199053 WITH SCORE 199317.236
AT ITER 3942 NEW BEST:: SOT 1508007 SOS 264254 HAS SOPS 264254 HAS SOUS 198987 HAS SOUPS 198987 WITH SCORE 199251.254
AT ITER 3956 NEW BEST:: SOT 1507989 SOS 264272 HAS SOPS 264272 HAS SOUS 198969 HAS SOUPS 198969 WITH SCORE 199233.272
AT ITER 4009 NEW BEST:: SOT 1507934 SOS 264255 HAS SOPS 264255 HAS SOUS 198952 HAS SOUPS 198952 WITH SCORE 199216.255
AT ITER 4027 NEW BEST:: SOT 1508110 SOS 264607 HAS SOPS 264607 HAS SOUS 198877 HAS SOUPS 198877 WITH SCORE 199141.607
AT ITER 4029 NEW BEST:: SOT 1508063 SOS 264561 HAS SOPS 264561 HAS SOUS 198831 HAS SOUPS 198831 WITH SCORE 199095.561
AT ITER 4055 NEW BEST:: SOT 1508083 SOS 264331 HAS SOPS 264331 HAS SOUS 198716 HAS SOUPS 198716 WITH SCORE 198980.331
AT ITER 4073 NEW BEST:: SOT 1508068 SOS 264301 HAS SOPS 264301 HAS SOUS 198686 HAS SOUPS 198686 WITH SCORE 198950.301
AT ITER 4075 NEW BEST:: SOT 1507903 SOS 264298 HAS SOPS 264298 HAS SOUS 198683 HAS SOUPS 198683 WITH SCORE 198947.298
AT ITER 4085 NEW BEST:: SOT 1507903 SOS 264808 HAS SOPS 264808 HAS SOUS 198598 HAS SOUPS 198598 WITH SCORE 198862.808
AT ITER 4113 NEW BEST:: SOT 1507788 SOS 264762 HAS SOPS 264762 HAS SOUS 198552 HAS SOUPS 198552 WITH SCORE 198816.762
AT ITER 4150 NEW BEST:: SOT 1507552 SOS 264445 HAS SOPS 264445 HAS SOUS 198351 HAS SOUPS 198351 WITH SCORE 198615.445
AT ITER 4152 NEW BEST:: SOT 1507552 SOS 264445 HAS SOPS 264445 HAS SOUS 198322 HAS SOUPS 198322 WITH SCORE 198586.445
AT ITER 4166 NEW BEST:: SOT 1507550 SOS 264441 HAS SOPS 264441 HAS SOUS 198318 HAS SOUPS 198318 WITH SCORE 198582.441
AT ITER 4172 NEW BEST:: SOT 1507438 SOS 263560 HAS SOPS 263560 HAS SOUS 197992 HAS SOUPS 197992 WITH SCORE 198255.56
AT ITER 4185 NEW BEST:: SOT 1507456 SOS 263596 HAS SOPS 263596 HAS SOUS 197907 HAS SOUPS 197907 WITH SCORE 198170.596
AT ITER 4215 NEW BEST:: SOT 1507399 SOS 263561 HAS SOPS 263561 HAS SOUS 197872 HAS SOUPS 197872 WITH SCORE 198135.561
AT ITER 4267 NEW BEST:: SOT 1507315 SOS 263393 HAS SOPS 263393 HAS SOUS 197704 HAS SOUPS 197704 WITH SCORE 197967.393
AT ITER 4272 NEW BEST:: SOT 1507315 SOS 263196 HAS SOPS 263196 HAS SOUS 197704 HAS SOUPS 197704 WITH SCORE 197967.196
AT ITER 4278 NEW BEST:: SOT 1507290 SOS 263146 HAS SOPS 263146 HAS SOUS 197654 HAS SOUPS 197654 WITH SCORE 197917.146
AT ITER 4287 NEW BEST:: SOT 1507289 SOS 263144 HAS SOPS 263144 HAS SOUS 197653 HAS SOUPS 197653 WITH SCORE 197916.144
AT ITER 4336 NEW BEST:: SOT 1507289 SOS 263080 HAS SOPS 263080 HAS SOUS 197653 HAS SOUPS 197653 WITH SCORE 197916.08
AT ITER 4459 NEW BEST:: SOT 1507289 SOS 263071 HAS SOPS 263071 HAS SOUS 197653 HAS SOUPS 197653 WITH SCORE 197916.071
AT ITER 4460 NEW BEST:: SOT 1507191 SOS 262936 HAS SOPS 262936 HAS SOUS 197518 HAS SOUPS 197518 WITH SCORE 197780.936
AT ITER 4472 NEW BEST:: SOT 1506983 SOS 263120 HAS SOPS 263120 HAS SOUS 197346 HAS SOUPS 197346 WITH SCORE 197609.12
AT ITER 4476 NEW BEST:: SOT 1506828 SOS 262810 HAS SOPS 262810 HAS SOUS 197036 HAS SOUPS 197036 WITH SCORE 197298.81
AT ITER 4487 NEW BEST:: SOT 1506655 SOS 262464 HAS SOPS 262464 HAS SOUS 196690 HAS SOUPS 196690 WITH SCORE 196952.464
AT ITER 4496 NEW BEST:: SOT 1506663 SOS 262456 HAS SOPS 262456 HAS SOUS 196682 HAS SOUPS 196682 WITH SCORE 196944.456
AT ITER 4500 NEW BEST:: SOT 1506663 SOS 262456 HAS SOPS 262456 HAS SOUS 196656 HAS SOUPS 196656 WITH SCORE 196918.456
AT ITER 4548 NEW BEST:: SOT 1506587 SOS 262304 HAS SOPS 262304 HAS SOUS 196504 HAS SOUPS 196504 WITH SCORE 196766.304
AT ITER 4586 NEW BEST:: SOT 1506587 SOS 262301 HAS SOPS 262301 HAS SOUS 196503 HAS SOUPS 196503 WITH SCORE 196765.301
AT ITER 4591 NEW BEST:: SOT 1506416 SOS 262168 HAS SOPS 262168 HAS SOUS 196446 HAS SOUPS 196446 WITH SCORE 196708.168
AT ITER 4614 NEW BEST:: SOT 1506395 SOS 262126 HAS SOPS 262126 HAS SOUS 196404 HAS SOUPS 196404 WITH SCORE 196666.126
AT ITER 4652 NEW BEST:: SOT 1506376 SOS 262069 HAS SOPS 262069 HAS SOUS 196385 HAS SOUPS 196385 WITH SCORE 196647.069
AT ITER 4787 NEW BEST:: SOT 1506315 SOS 262008 HAS SOPS 262008 HAS SOUS 196324 HAS SOUPS 196324 WITH SCORE 196586.008
AT ITER 4808 NEW BEST:: SOT 1506311 SOS 262000 HAS SOPS 262000 HAS SOUS 196324 HAS SOUPS 196324 WITH SCORE 196586.0
AT ITER 4823 NEW BEST:: SOT 1506311 SOS 261965 HAS SOPS 261965 HAS SOUS 196324 HAS SOUPS 196324 WITH SCORE 196585.965
AT ITER 4826 NEW BEST:: SOT 1506283 SOS 261909 HAS SOPS 261909 HAS SOUS 196268 HAS SOUPS 196268 WITH SCORE 196529.909
AT ITER 4839 NEW BEST:: SOT 1506313 SOS 261969 HAS SOPS 261969 HAS SOUS 196240 HAS SOUPS 196240 WITH SCORE 196501.969
AT ITER 4842 NEW BEST:: SOT 1506313 SOS 261886 HAS SOPS 261886 HAS SOUS 196157 HAS SOUPS 196157 WITH SCORE 196418.886
AT ITER 4868 NEW BEST:: SOT 1506210 SOS 261898 HAS SOPS 261898 HAS SOUS 196102 HAS SOUPS 196102 WITH SCORE 196363.898
AT ITER 4877 NEW BEST:: SOT 1506195 SOS 261868 HAS SOPS 261868 HAS SOUS 196087 HAS SOUPS 196087 WITH SCORE 196348.868
AT ITER 4884 NEW BEST:: SOT 1506136 SOS 261750 HAS SOPS 261750 HAS SOUS 195969 HAS SOUPS 195969 WITH SCORE 196230.75
AT ITER 4893 NEW BEST:: SOT 1506126 SOS 261735 HAS SOPS 261735 HAS SOUS 195959 HAS SOUPS 195959 WITH SCORE 196220.735
AT ITER 4937 NEW BEST:: SOT 1506116 SOS 261715 HAS SOPS 261715 HAS SOUS 195939 HAS SOUPS 195939 WITH SCORE 196200.715
AT ITER 4953 NEW BEST:: SOT 1506116 SOS 261822 HAS SOPS 261822 HAS SOUS 195938 HAS SOUPS 195938 WITH SCORE 196199.822
AT ITER 4964 NEW BEST:: SOT 1506116 SOS 261656 HAS SOPS 261656 HAS SOUS 195938 HAS SOUPS 195938 WITH SCORE 196199.656
AT ITER 4969 NEW BEST:: SOT 1505885 SOS 262004 HAS SOPS 262004 HAS SOUS 195929 HAS SOUPS 195929 WITH SCORE 196191.004
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-03b-CTLFireability-00 (! (! (EG( (EF( ((potential((tk(P124)>=1))))))))))
PROPERTY: DLCround-PT-03b-CTLFireability-01 ( ((potential((tk(P221)>=1)))) | (! (! (AF( ( ((potential((tk(P1232)>=1)))) & ((potential((tk(P608)>=1) & (tk(P1100)>=1)))) ))))) )
PROPERTY: DLCround-PT-03b-CTLFireability-02 (! (EF( ((potential((tk(P1223)>=1)))))))
PROPERTY: DLCround-PT-03b-CTLFireability-03 (AF( (EU( (! ((potential((tk(P701)>=1) & (tk(P1340)>=1))))) , ( ((potential((tk(P345)>=1)))) | ((potential((tk(P445)>=1) & (tk(P1327)>=1)))) ) ))))
PROPERTY: DLCround-PT-03b-CTLFireability-04 (! (AF( ( ( ((potential((tk(P122)>=1)))) & ((potential((tk(P965)>=1)))) ) | (AX( ((potential((tk(P346)>=1)))))) ))))
PROPERTY: DLCround-PT-03b-CTLFireability-05 (EF( (! ( (AF( ((potential((tk(P879)>=1)))))) | ( ( ((potential((tk(P92)>=1)))) | ((potential((tk(P227)>=1)))) ) & (! ((potential((tk(P337)>=1))))) ) ))))
PROPERTY: DLCround-PT-03b-CTLFireability-06 ( (! (AG( ( ( ((potential((tk(P386)>=1)))) | ((potential((tk(P1202)>=1)))) ) | (! ((potential((tk(P469)>=1))))) )))) & (AF( ( ((potential((tk(P982)>=1)))) & ((potential((tk(P815)>=1)))) ))) )
PROPERTY: DLCround-PT-03b-CTLFireability-07 ( (AG( (! (EX( ((potential((tk(P976)>=1))))))))) | ( ( (AX( ((potential((tk(P1075)>=1)))))) & (AG( (! ((potential((tk(P393)>=1))))))) ) & (EU( ((potential((tk(P1298)>=1)))) , ( ((potential((tk(P1035)>=1)))) & ((potential((tk(P243)>=1)))) ) )) ) )
PROPERTY: DLCround-PT-03b-CTLFireability-08 (EU( ( ( ( ((potential((tk(P499)>=1) & (tk(P1000)>=1)))) & ((potential((tk(P597)>=1) & (tk(P1040)>=1)))) ) | (! ((potential((tk(P129)>=1))))) ) | ( ( ((potential((tk(P1171)>=1)))) | ((potential((tk(P1221)>=1)))) ) | ((potential((tk(P431)>=1)))) ) ) , ((potential((tk(P491)>=1)))) ))
PROPERTY: DLCround-PT-03b-CTLFireability-09 ( (EG( ( (! ((potential((tk(P873)>=1))))) & ( ( ((potential((tk(P633)>=1) & (tk(P1087)>=1)))) & ((potential((tk(P1254)>=1)))) ) | (! ((potential((tk(P411)>=1) & (tk(P1257)>=1))))) ) ))) | (EG( ( (EX( ((potential((tk(P850)>=1)))))) & (EX( ((potential((tk(P444)>=1)))))) ))) )
PROPERTY: DLCround-PT-03b-CTLFireability-10 ( (AX( ( ((potential((tk(P17)>=1)))) | (AF( ((potential((tk(P607)>=1)))))) ))) & ( ((potential((tk(P768)>=1)))) | ( ( ((potential((tk(P375)>=1)))) | (AF( ((potential((tk(P739)>=1) & (tk(P1330)>=1)))))) ) | (! ((potential((tk(P432)>=1))))) ) ) )
PROPERTY: DLCround-PT-03b-CTLFireability-11 ( (AF( ( (AX( ((potential((tk(P1289)>=1)))))) | (AX( ((potential((tk(P499)>=1) & (tk(P980)>=1)))))) ))) | (! (EG( (! ((potential((tk(P1071)>=1)))))))) )
PROPERTY: DLCround-PT-03b-CTLFireability-12 (! (AG( ( (EF( ((potential((tk(P501)>=1)))))) | ( (! ((potential((tk(P549)>=1))))) | ((potential((tk(P565)>=1) & (tk(P1087)>=1)))) ) ))))
PROPERTY: DLCround-PT-03b-CTLFireability-13 (! (! (AF( ( ( ((potential((tk(P991)>=1)))) & ((potential((tk(P1035)>=1)))) ) | ( ((potential((tk(P1012)>=1)))) & ((potential((tk(P506)>=1)))) ) )))))
PROPERTY: DLCround-PT-03b-CTLFireability-14 ( (EX( ( ( ((potential((tk(P317)>=1)))) | ( ((potential((tk(P126)>=1)))) | ((potential((tk(P802)>=1)))) ) ) & (AF( ((potential((tk(P619)>=1) & (tk(P1060)>=1)))))) ))) | (! ( (EF( ( ((potential((tk(P831)>=1) & (tk(P1370)>=1)))) & ((potential((tk(P728)>=1) & (tk(P1120)>=1)))) ))) | (AG( ( ((potential((tk(P1383)>=1)))) | ((potential((tk(P788)>=1)))) ))) )) )
PROPERTY: DLCround-PT-03b-CTLFireability-15 (! (AF( (EX( ((potential((tk(P358)>=1)))))))))

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="CTLFireability"
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 CTLFireability"
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-158902542200460"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;