About the Execution of smart for NoC3x3-PT-6B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.720 | 3600000.00 | 3600000.00 | 0.00 | [undef] | Time out reached |
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-158961250500420.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-6B, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500420
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 728K
-rw-r--r-- 1 mcc users 3.2K Apr 8 15:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 8 15:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 7 18:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 7 18:37 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.4K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 6 20:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 6 20:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 6 04:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 6 04:01 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 552K 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-6B-CTLFireability-00
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-01
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-02
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-03
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-04
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-05
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-06
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-07
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-08
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-09
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-10
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-11
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-12
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-13
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-14
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589642810490
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 6B
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: 1544 places, 2229 transitions, 6663 arcs.
AT ITER 0 NEW BEST:: SOT 1868159 SOS 300531 HAS SOPS 300531 HAS SOUS 227648 HAS SOUPS 227648 WITH SCORE 227948.531
AT ITER 15 NEW BEST:: SOT 1867760 SOS 300136 HAS SOPS 300136 HAS SOUS 227202 HAS SOUPS 227202 WITH SCORE 227502.136
AT ITER 40 NEW BEST:: SOT 1867576 SOS 300306 HAS SOPS 300306 HAS SOUS 227018 HAS SOUPS 227018 WITH SCORE 227318.306
AT ITER 54 NEW BEST:: SOT 1867482 SOS 300361 HAS SOPS 300361 HAS SOUS 226935 HAS SOUPS 226935 WITH SCORE 227235.361
AT ITER 78 NEW BEST:: SOT 1867482 SOS 300214 HAS SOPS 300214 HAS SOUS 226935 HAS SOUPS 226935 WITH SCORE 227235.214
AT ITER 116 NEW BEST:: SOT 1867918 SOS 301016 HAS SOPS 301016 HAS SOUS 226820 HAS SOUPS 226820 WITH SCORE 227121.016
AT ITER 139 NEW BEST:: SOT 1867890 SOS 300974 HAS SOPS 300974 HAS SOUS 226727 HAS SOUPS 226727 WITH SCORE 227027.974
AT ITER 178 NEW BEST:: SOT 1867392 SOS 300898 HAS SOPS 300898 HAS SOUS 226267 HAS SOUPS 226267 WITH SCORE 226567.898
AT ITER 187 NEW BEST:: SOT 1867220 SOS 300726 HAS SOPS 300726 HAS SOUS 226095 HAS SOUPS 226095 WITH SCORE 226395.726
AT ITER 200 NEW BEST:: SOT 1867175 SOS 300690 HAS SOPS 300690 HAS SOUS 225949 HAS SOUPS 225949 WITH SCORE 226249.69
AT ITER 217 NEW BEST:: SOT 1867244 SOS 300641 HAS SOPS 300641 HAS SOUS 225907 HAS SOUPS 225907 WITH SCORE 226207.641
AT ITER 223 NEW BEST:: SOT 1867068 SOS 300395 HAS SOPS 300395 HAS SOUS 225680 HAS SOUPS 225680 WITH SCORE 225980.395
AT ITER 226 NEW BEST:: SOT 1866622 SOS 300193 HAS SOPS 300193 HAS SOUS 225248 HAS SOUPS 225248 WITH SCORE 225548.193
AT ITER 265 NEW BEST:: SOT 1866570 SOS 300141 HAS SOPS 300141 HAS SOUS 225196 HAS SOUPS 225196 WITH SCORE 225496.141
AT ITER 302 NEW BEST:: SOT 1866402 SOS 299889 HAS SOPS 299889 HAS SOUS 224909 HAS SOUPS 224909 WITH SCORE 225208.889
AT ITER 317 NEW BEST:: SOT 1865972 SOS 299575 HAS SOPS 299575 HAS SOUS 224531 HAS SOUPS 224531 WITH SCORE 224830.575
AT ITER 332 NEW BEST:: SOT 1865972 SOS 299575 HAS SOPS 299575 HAS SOUS 224183 HAS SOUPS 224183 WITH SCORE 224482.575
AT ITER 356 NEW BEST:: SOT 1866350 SOS 299849 HAS SOPS 299849 HAS SOUS 224145 HAS SOUPS 224145 WITH SCORE 224444.849
AT ITER 382 NEW BEST:: SOT 1866176 SOS 299501 HAS SOPS 299501 HAS SOUS 223969 HAS SOUPS 223969 WITH SCORE 224268.501
AT ITER 467 NEW BEST:: SOT 1866836 SOS 298993 HAS SOPS 298993 HAS SOUS 223516 HAS SOUPS 223516 WITH SCORE 223814.993
AT ITER 518 NEW BEST:: SOT 1866836 SOS 298831 HAS SOPS 298831 HAS SOUS 223465 HAS SOUPS 223465 WITH SCORE 223763.831
AT ITER 522 NEW BEST:: SOT 1866815 SOS 298789 HAS SOPS 298789 HAS SOUS 223417 HAS SOUPS 223417 WITH SCORE 223715.789
AT ITER 524 NEW BEST:: SOT 1866761 SOS 298709 HAS SOPS 298709 HAS SOUS 223400 HAS SOUPS 223400 WITH SCORE 223698.709
AT ITER 553 NEW BEST:: SOT 1866757 SOS 298701 HAS SOPS 298701 HAS SOUS 223388 HAS SOUPS 223388 WITH SCORE 223686.701
AT ITER 565 NEW BEST:: SOT 1866757 SOS 298701 HAS SOPS 298701 HAS SOUS 223387 HAS SOUPS 223387 WITH SCORE 223685.701
AT ITER 638 NEW BEST:: SOT 1866632 SOS 298714 HAS SOPS 298714 HAS SOUS 223334 HAS SOUPS 223334 WITH SCORE 223632.714
AT ITER 666 NEW BEST:: SOT 1866351 SOS 298293 HAS SOPS 298293 HAS SOUS 222912 HAS SOUPS 222912 WITH SCORE 223210.293
AT ITER 677 NEW BEST:: SOT 1865977 SOS 298255 HAS SOPS 298255 HAS SOUS 222630 HAS SOUPS 222630 WITH SCORE 222928.255
AT ITER 685 NEW BEST:: SOT 1865819 SOS 298123 HAS SOPS 298123 HAS SOUS 222498 HAS SOUPS 222498 WITH SCORE 222796.123
AT ITER 761 NEW BEST:: SOT 1865790 SOS 298064 HAS SOPS 298064 HAS SOUS 222435 HAS SOUPS 222435 WITH SCORE 222733.064
AT ITER 797 NEW BEST:: SOT 1865775 SOS 298049 HAS SOPS 298049 HAS SOUS 222390 HAS SOUPS 222390 WITH SCORE 222688.049
AT ITER 800 NEW BEST:: SOT 1865348 SOS 298088 HAS SOPS 298088 HAS SOUS 222067 HAS SOUPS 222067 WITH SCORE 222365.088
AT ITER 819 NEW BEST:: SOT 1865368 SOS 298118 HAS SOPS 298118 HAS SOUS 221992 HAS SOUPS 221992 WITH SCORE 222290.118
AT ITER 820 NEW BEST:: SOT 1865356 SOS 298106 HAS SOPS 298106 HAS SOUS 221980 HAS SOUPS 221980 WITH SCORE 222278.106
AT ITER 825 NEW BEST:: SOT 1865277 SOS 297790 HAS SOPS 297790 HAS SOUS 221822 HAS SOUPS 221822 WITH SCORE 222119.79
AT ITER 850 NEW BEST:: SOT 1865242 SOS 297557 HAS SOPS 297557 HAS SOUS 221777 HAS SOUPS 221777 WITH SCORE 222074.557
AT ITER 859 NEW BEST:: SOT 1865241 SOS 297531 HAS SOPS 297531 HAS SOUS 221750 HAS SOUPS 221750 WITH SCORE 222047.531
AT ITER 886 NEW BEST:: SOT 1865224 SOS 297497 HAS SOPS 297497 HAS SOUS 221733 HAS SOUPS 221733 WITH SCORE 222030.497
AT ITER 909 NEW BEST:: SOT 1865165 SOS 297211 HAS SOPS 297211 HAS SOUS 221386 HAS SOUPS 221386 WITH SCORE 221683.211
AT ITER 919 NEW BEST:: SOT 1864954 SOS 296900 HAS SOPS 296900 HAS SOUS 221093 HAS SOUPS 221093 WITH SCORE 221389.9
AT ITER 927 NEW BEST:: SOT 1864861 SOS 296788 HAS SOPS 296788 HAS SOUS 221000 HAS SOUPS 221000 WITH SCORE 221296.788
AT ITER 938 NEW BEST:: SOT 1864739 SOS 296666 HAS SOPS 296666 HAS SOUS 220878 HAS SOUPS 220878 WITH SCORE 221174.666
AT ITER 939 NEW BEST:: SOT 1864628 SOS 296500 HAS SOPS 296500 HAS SOUS 220712 HAS SOUPS 220712 WITH SCORE 221008.5
AT ITER 943 NEW BEST:: SOT 1864596 SOS 296404 HAS SOPS 296404 HAS SOUS 220632 HAS SOUPS 220632 WITH SCORE 220928.404
AT ITER 953 NEW BEST:: SOT 1864549 SOS 296406 HAS SOPS 296406 HAS SOUS 220585 HAS SOUPS 220585 WITH SCORE 220881.406
AT ITER 966 NEW BEST:: SOT 1864526 SOS 296418 HAS SOPS 296418 HAS SOUS 220561 HAS SOUPS 220561 WITH SCORE 220857.418
AT ITER 988 NEW BEST:: SOT 1864476 SOS 296383 HAS SOPS 296383 HAS SOUS 220561 HAS SOUPS 220561 WITH SCORE 220857.383
AT ITER 1010 NEW BEST:: SOT 1864152 SOS 296191 HAS SOPS 296191 HAS SOUS 220301 HAS SOUPS 220301 WITH SCORE 220597.191
AT ITER 1018 NEW BEST:: SOT 1864113 SOS 296152 HAS SOPS 296152 HAS SOUS 220262 HAS SOUPS 220262 WITH SCORE 220558.152
AT ITER 1023 NEW BEST:: SOT 1863942 SOS 295924 HAS SOPS 295924 HAS SOUS 220091 HAS SOUPS 220091 WITH SCORE 220386.924
AT ITER 1053 NEW BEST:: SOT 1863938 SOS 295908 HAS SOPS 295908 HAS SOUS 220083 HAS SOUPS 220083 WITH SCORE 220378.908
AT ITER 1098 NEW BEST:: SOT 1863592 SOS 295594 HAS SOPS 295594 HAS SOUS 219769 HAS SOUPS 219769 WITH SCORE 220064.594
AT ITER 1103 NEW BEST:: SOT 1863082 SOS 295444 HAS SOPS 295444 HAS SOUS 219346 HAS SOUPS 219346 WITH SCORE 219641.444
AT ITER 1107 NEW BEST:: SOT 1863024 SOS 295379 HAS SOPS 295379 HAS SOUS 219283 HAS SOUPS 219283 WITH SCORE 219578.379
AT ITER 1112 NEW BEST:: SOT 1863005 SOS 295284 HAS SOPS 295284 HAS SOUS 219264 HAS SOUPS 219264 WITH SCORE 219559.284
AT ITER 1130 NEW BEST:: SOT 1862783 SOS 295225 HAS SOPS 295225 HAS SOUS 219128 HAS SOUPS 219128 WITH SCORE 219423.225
AT ITER 1209 NEW BEST:: SOT 1862733 SOS 295177 HAS SOPS 295177 HAS SOUS 219026 HAS SOUPS 219026 WITH SCORE 219321.177
AT ITER 1220 NEW BEST:: SOT 1862734 SOS 295077 HAS SOPS 295077 HAS SOUS 219013 HAS SOUPS 219013 WITH SCORE 219308.077
AT ITER 1230 NEW BEST:: SOT 1862572 SOS 294970 HAS SOPS 294970 HAS SOUS 218851 HAS SOUPS 218851 WITH SCORE 219145.97
AT ITER 1253 NEW BEST:: SOT 1862517 SOS 294915 HAS SOPS 294915 HAS SOUS 218796 HAS SOUPS 218796 WITH SCORE 219090.915
AT ITER 1259 NEW BEST:: SOT 1862418 SOS 294816 HAS SOPS 294816 HAS SOUS 218685 HAS SOUPS 218685 WITH SCORE 218979.816
AT ITER 1319 NEW BEST:: SOT 1862408 SOS 294807 HAS SOPS 294807 HAS SOUS 218674 HAS SOUPS 218674 WITH SCORE 218968.807
AT ITER 1320 NEW BEST:: SOT 1862480 SOS 294951 HAS SOPS 294951 HAS SOUS 218562 HAS SOUPS 218562 WITH SCORE 218856.951
AT ITER 1386 NEW BEST:: SOT 1862382 SOS 294853 HAS SOPS 294853 HAS SOUS 218464 HAS SOUPS 218464 WITH SCORE 218758.853
AT ITER 1395 NEW BEST:: SOT 1862076 SOS 294588 HAS SOPS 294588 HAS SOUS 218197 HAS SOUPS 218197 WITH SCORE 218491.588
AT ITER 1400 NEW BEST:: SOT 1862125 SOS 294637 HAS SOPS 294637 HAS SOUS 218148 HAS SOUPS 218148 WITH SCORE 218442.637
AT ITER 1412 NEW BEST:: SOT 1862033 SOS 294765 HAS SOPS 294765 HAS SOUS 218085 HAS SOUPS 218085 WITH SCORE 218379.765
AT ITER 1414 NEW BEST:: SOT 1861943 SOS 294607 HAS SOPS 294607 HAS SOUS 218042 HAS SOUPS 218042 WITH SCORE 218336.607
AT ITER 1431 NEW BEST:: SOT 1861906 SOS 294496 HAS SOPS 294496 HAS SOUS 217968 HAS SOUPS 217968 WITH SCORE 218262.496
AT ITER 1440 NEW BEST:: SOT 1861915 SOS 294505 HAS SOPS 294505 HAS SOUS 217959 HAS SOUPS 217959 WITH SCORE 218253.505
AT ITER 1464 NEW BEST:: SOT 1861835 SOS 294447 HAS SOPS 294447 HAS SOUS 217879 HAS SOUPS 217879 WITH SCORE 218173.447
AT ITER 1470 NEW BEST:: SOT 1861815 SOS 294383 HAS SOPS 294383 HAS SOUS 217858 HAS SOUPS 217858 WITH SCORE 218152.383
AT ITER 1476 NEW BEST:: SOT 1861596 SOS 294218 HAS SOPS 294218 HAS SOUS 217645 HAS SOUPS 217645 WITH SCORE 217939.218
AT ITER 1478 NEW BEST:: SOT 1861034 SOS 294952 HAS SOPS 294952 HAS SOUS 217283 HAS SOUPS 217283 WITH SCORE 217577.952
AT ITER 1496 NEW BEST:: SOT 1861033 SOS 294927 HAS SOPS 294927 HAS SOUS 217281 HAS SOUPS 217281 WITH SCORE 217575.927
AT ITER 1508 NEW BEST:: SOT 1861008 SOS 295395 HAS SOPS 295395 HAS SOUS 217194 HAS SOUPS 217194 WITH SCORE 217489.395
AT ITER 1523 NEW BEST:: SOT 1861433 SOS 295879 HAS SOPS 295879 HAS SOUS 217190 HAS SOUPS 217190 WITH SCORE 217485.879
AT ITER 1528 NEW BEST:: SOT 1861433 SOS 295797 HAS SOPS 295797 HAS SOUS 216984 HAS SOUPS 216984 WITH SCORE 217279.797
AT ITER 1585 NEW BEST:: SOT 1861417 SOS 295820 HAS SOPS 295820 HAS SOUS 216933 HAS SOUPS 216933 WITH SCORE 217228.82
AT ITER 1609 NEW BEST:: SOT 1861372 SOS 295945 HAS SOPS 295945 HAS SOUS 216915 HAS SOUPS 216915 WITH SCORE 217210.945
AT ITER 1651 NEW BEST:: SOT 1861291 SOS 295949 HAS SOPS 295949 HAS SOUS 216255 HAS SOUPS 216255 WITH SCORE 216550.949
AT ITER 1678 NEW BEST:: SOT 1861241 SOS 295701 HAS SOPS 295701 HAS SOUS 216182 HAS SOUPS 216182 WITH SCORE 216477.701
AT ITER 1682 NEW BEST:: SOT 1861143 SOS 295505 HAS SOPS 295505 HAS SOUS 216136 HAS SOUPS 216136 WITH SCORE 216431.505
AT ITER 1689 NEW BEST:: SOT 1860505 SOS 294953 HAS SOPS 294953 HAS SOUS 216049 HAS SOUPS 216049 WITH SCORE 216343.953
AT ITER 1728 NEW BEST:: SOT 1860436 SOS 294906 HAS SOPS 294906 HAS SOUS 215980 HAS SOUPS 215980 WITH SCORE 216274.906
AT ITER 1742 NEW BEST:: SOT 1860708 SOS 295404 HAS SOPS 295404 HAS SOUS 215876 HAS SOUPS 215876 WITH SCORE 216171.404
AT ITER 1808 NEW BEST:: SOT 1860686 SOS 295332 HAS SOPS 295332 HAS SOUS 215875 HAS SOUPS 215875 WITH SCORE 216170.332
AT ITER 1823 NEW BEST:: SOT 1860773 SOS 295506 HAS SOPS 295506 HAS SOUS 215861 HAS SOUPS 215861 WITH SCORE 216156.506
AT ITER 1853 NEW BEST:: SOT 1858816 SOS 301505 HAS SOPS 301505 HAS SOUS 214297 HAS SOUPS 214297 WITH SCORE 214598.505
AT ITER 1862 NEW BEST:: SOT 1858579 SOS 302259 HAS SOPS 302259 HAS SOUS 214219 HAS SOUPS 214219 WITH SCORE 214521.259
AT ITER 1886 NEW BEST:: SOT 1858579 SOS 302221 HAS SOPS 302221 HAS SOUS 214219 HAS SOUPS 214219 WITH SCORE 214521.221
AT ITER 1907 NEW BEST:: SOT 1858465 SOS 302050 HAS SOPS 302050 HAS SOUS 214048 HAS SOUPS 214048 WITH SCORE 214350.05
AT ITER 1913 NEW BEST:: SOT 1858461 SOS 302046 HAS SOPS 302046 HAS SOUS 214042 HAS SOUPS 214042 WITH SCORE 214344.046
AT ITER 1914 NEW BEST:: SOT 1858359 SOS 301360 HAS SOPS 301360 HAS SOUS 213543 HAS SOUPS 213543 WITH SCORE 213844.36
AT ITER 1915 NEW BEST:: SOT 1858352 SOS 301353 HAS SOPS 301353 HAS SOUS 213516 HAS SOUPS 213516 WITH SCORE 213817.353
AT ITER 1945 NEW BEST:: SOT 1857890 SOS 301071 HAS SOPS 301071 HAS SOUS 213234 HAS SOUPS 213234 WITH SCORE 213535.071
AT ITER 1947 NEW BEST:: SOT 1857838 SOS 300835 HAS SOPS 300835 HAS SOUS 213151 HAS SOUPS 213151 WITH SCORE 213451.835
AT ITER 1951 NEW BEST:: SOT 1857735 SOS 300746 HAS SOPS 300746 HAS SOUS 213049 HAS SOUPS 213049 WITH SCORE 213349.746
AT ITER 1995 NEW BEST:: SOT 1857736 SOS 300747 HAS SOPS 300747 HAS SOUS 212952 HAS SOUPS 212952 WITH SCORE 213252.747
AT ITER 2017 NEW BEST:: SOT 1857376 SOS 299826 HAS SOPS 299826 HAS SOUS 212238 HAS SOUPS 212238 WITH SCORE 212537.826
AT ITER 2053 NEW BEST:: SOT 1857156 SOS 299606 HAS SOPS 299606 HAS SOUS 211908 HAS SOUPS 211908 WITH SCORE 212207.606
AT ITER 2058 NEW BEST:: SOT 1857124 SOS 299574 HAS SOPS 299574 HAS SOUS 211876 HAS SOUPS 211876 WITH SCORE 212175.574
AT ITER 2068 NEW BEST:: SOT 1856987 SOS 299411 HAS SOPS 299411 HAS SOUS 211713 HAS SOUPS 211713 WITH SCORE 212012.411
AT ITER 2076 NEW BEST:: SOT 1856836 SOS 298967 HAS SOPS 298967 HAS SOUS 211500 HAS SOUPS 211500 WITH SCORE 211798.967
AT ITER 2106 NEW BEST:: SOT 1856784 SOS 298939 HAS SOPS 298939 HAS SOUS 211461 HAS SOUPS 211461 WITH SCORE 211759.939
AT ITER 2115 NEW BEST:: SOT 1856658 SOS 298561 HAS SOPS 298561 HAS SOUS 211272 HAS SOUPS 211272 WITH SCORE 211570.561
AT ITER 2156 NEW BEST:: SOT 1856532 SOS 299061 HAS SOPS 299061 HAS SOUS 211214 HAS SOUPS 211214 WITH SCORE 211513.061
AT ITER 2203 NEW BEST:: SOT 1856532 SOS 298953 HAS SOPS 298953 HAS SOUS 211142 HAS SOUPS 211142 WITH SCORE 211440.953
AT ITER 2243 NEW BEST:: SOT 1856526 SOS 298929 HAS SOPS 298929 HAS SOUS 211142 HAS SOUPS 211142 WITH SCORE 211440.929
AT ITER 2290 NEW BEST:: SOT 1856167 SOS 298539 HAS SOPS 298539 HAS SOUS 210809 HAS SOUPS 210809 WITH SCORE 211107.539
AT ITER 2291 NEW BEST:: SOT 1856148 SOS 298567 HAS SOPS 298567 HAS SOUS 210790 HAS SOUPS 210790 WITH SCORE 211088.567
AT ITER 2350 NEW BEST:: SOT 1856148 SOS 298640 HAS SOPS 298640 HAS SOUS 210780 HAS SOUPS 210780 WITH SCORE 211078.64
AT ITER 2357 NEW BEST:: SOT 1856052 SOS 298585 HAS SOPS 298585 HAS SOUS 210725 HAS SOUPS 210725 WITH SCORE 211023.585
AT ITER 2367 NEW BEST:: SOT 1856062 SOS 298587 HAS SOPS 298587 HAS SOUS 210715 HAS SOUPS 210715 WITH SCORE 211013.587
AT ITER 2385 NEW BEST:: SOT 1856062 SOS 298773 HAS SOPS 298773 HAS SOUS 210709 HAS SOUPS 210709 WITH SCORE 211007.773
AT ITER 2417 NEW BEST:: SOT 1855484 SOS 298530 HAS SOPS 298530 HAS SOUS 210533 HAS SOUPS 210533 WITH SCORE 210831.53
AT ITER 2432 NEW BEST:: SOT 1855914 SOS 298455 HAS SOPS 298455 HAS SOUS 210254 HAS SOUPS 210254 WITH SCORE 210552.455
AT ITER 2435 NEW BEST:: SOT 1855775 SOS 298156 HAS SOPS 298156 HAS SOUS 209906 HAS SOUPS 209906 WITH SCORE 210204.156
AT ITER 2448 NEW BEST:: SOT 1855775 SOS 298100 HAS SOPS 298100 HAS SOUS 209791 HAS SOUPS 209791 WITH SCORE 210089.1
AT ITER 2450 NEW BEST:: SOT 1855795 SOS 297846 HAS SOPS 297846 HAS SOUS 209775 HAS SOUPS 209775 WITH SCORE 210072.846
AT ITER 2459 NEW BEST:: SOT 1855826 SOS 297908 HAS SOPS 297908 HAS SOUS 209767 HAS SOUPS 209767 WITH SCORE 210064.908
AT ITER 2475 NEW BEST:: SOT 1855719 SOS 297768 HAS SOPS 297768 HAS SOUS 209762 HAS SOUPS 209762 WITH SCORE 210059.768
AT ITER 2506 NEW BEST:: SOT 1855601 SOS 297757 HAS SOPS 297757 HAS SOUS 209687 HAS SOUPS 209687 WITH SCORE 209984.757
AT ITER 2513 NEW BEST:: SOT 1855363 SOS 298177 HAS SOPS 298177 HAS SOUS 209480 HAS SOUPS 209480 WITH SCORE 209778.177
AT ITER 2527 NEW BEST:: SOT 1855363 SOS 298117 HAS SOPS 298117 HAS SOUS 209420 HAS SOUPS 209420 WITH SCORE 209718.117
AT ITER 2557 NEW BEST:: SOT 1855310 SOS 298035 HAS SOPS 298035 HAS SOUS 209341 HAS SOUPS 209341 WITH SCORE 209639.035
AT ITER 2564 NEW BEST:: SOT 1855264 SOS 297925 HAS SOPS 297925 HAS SOUS 209269 HAS SOUPS 209269 WITH SCORE 209566.925
AT ITER 2601 NEW BEST:: SOT 1855234 SOS 297835 HAS SOPS 297835 HAS SOUS 209209 HAS SOUPS 209209 WITH SCORE 209506.835
AT ITER 2608 NEW BEST:: SOT 1855084 SOS 297913 HAS SOPS 297913 HAS SOUS 209078 HAS SOUPS 209078 WITH SCORE 209375.913
AT ITER 2638 NEW BEST:: SOT 1855084 SOS 297894 HAS SOPS 297894 HAS SOUS 209059 HAS SOUPS 209059 WITH SCORE 209356.894
AT ITER 2676 NEW BEST:: SOT 1855054 SOS 297864 HAS SOPS 297864 HAS SOUS 209057 HAS SOUPS 209057 WITH SCORE 209354.864
AT ITER 2681 NEW BEST:: SOT 1854976 SOS 297786 HAS SOPS 297786 HAS SOUS 209010 HAS SOUPS 209010 WITH SCORE 209307.786
AT ITER 2723 NEW BEST:: SOT 1854496 SOS 297250 HAS SOPS 297250 HAS SOUS 208755 HAS SOUPS 208755 WITH SCORE 209052.25
AT ITER 2733 NEW BEST:: SOT 1854496 SOS 297238 HAS SOPS 297238 HAS SOUS 208755 HAS SOUPS 208755 WITH SCORE 209052.238
AT ITER 2758 NEW BEST:: SOT 1854264 SOS 297072 HAS SOPS 297072 HAS SOUS 208727 HAS SOUPS 208727 WITH SCORE 209024.072
AT ITER 2770 NEW BEST:: SOT 1854213 SOS 297021 HAS SOPS 297021 HAS SOUS 208721 HAS SOUPS 208721 WITH SCORE 209018.021
AT ITER 2815 NEW BEST:: SOT 1854212 SOS 296984 HAS SOPS 296984 HAS SOUS 208719 HAS SOUPS 208719 WITH SCORE 209015.984
AT ITER 2843 NEW BEST:: SOT 1854203 SOS 292384 HAS SOPS 292384 HAS SOUS 208710 HAS SOUPS 208710 WITH SCORE 209002.384
AT ITER 2884 NEW BEST:: SOT 1854056 SOS 292148 HAS SOPS 292148 HAS SOUS 208614 HAS SOUPS 208614 WITH SCORE 208906.148
AT ITER 2915 NEW BEST:: SOT 1853978 SOS 292078 HAS SOPS 292078 HAS SOUS 208580 HAS SOUPS 208580 WITH SCORE 208872.078
AT ITER 2920 NEW BEST:: SOT 1853999 SOS 292184 HAS SOPS 292184 HAS SOUS 208570 HAS SOUPS 208570 WITH SCORE 208862.184
AT ITER 2929 NEW BEST:: SOT 1853989 SOS 292174 HAS SOPS 292174 HAS SOUS 208560 HAS SOUPS 208560 WITH SCORE 208852.174
AT ITER 2943 NEW BEST:: SOT 1853729 SOS 291866 HAS SOPS 291866 HAS SOUS 208300 HAS SOUPS 208300 WITH SCORE 208591.866
AT ITER 2946 NEW BEST:: SOT 1853799 SOS 292050 HAS SOPS 292050 HAS SOUS 208292 HAS SOUPS 208292 WITH SCORE 208584.05
AT ITER 2979 NEW BEST:: SOT 1853769 SOS 291933 HAS SOPS 291933 HAS SOUS 208286 HAS SOUPS 208286 WITH SCORE 208577.933
AT ITER 2991 NEW BEST:: SOT 1853769 SOS 291860 HAS SOPS 291860 HAS SOUS 208184 HAS SOUPS 208184 WITH SCORE 208475.86
AT ITER 3020 NEW BEST:: SOT 1853745 SOS 291788 HAS SOPS 291788 HAS SOUS 208158 HAS SOUPS 208158 WITH SCORE 208449.788
AT ITER 3036 NEW BEST:: SOT 1853703 SOS 292280 HAS SOPS 292280 HAS SOUS 208104 HAS SOUPS 208104 WITH SCORE 208396.28
AT ITER 3037 NEW BEST:: SOT 1853667 SOS 292172 HAS SOPS 292172 HAS SOUS 208032 HAS SOUPS 208032 WITH SCORE 208324.172
AT ITER 3039 NEW BEST:: SOT 1853629 SOS 292084 HAS SOPS 292084 HAS SOUS 207827 HAS SOUPS 207827 WITH SCORE 208119.084
AT ITER 3042 NEW BEST:: SOT 1852857 SOS 292065 HAS SOPS 292065 HAS SOUS 207769 HAS SOUPS 207769 WITH SCORE 208061.065
AT ITER 3096 NEW BEST:: SOT 1852769 SOS 291825 HAS SOPS 291825 HAS SOUS 207565 HAS SOUPS 207565 WITH SCORE 207856.825
AT ITER 3103 NEW BEST:: SOT 1852769 SOS 291783 HAS SOPS 291783 HAS SOUS 207523 HAS SOUPS 207523 WITH SCORE 207814.783
AT ITER 3129 NEW BEST:: SOT 1852675 SOS 291624 HAS SOPS 291624 HAS SOUS 207455 HAS SOUPS 207455 WITH SCORE 207746.624
AT ITER 3144 NEW BEST:: SOT 1852761 SOS 291688 HAS SOPS 291688 HAS SOUS 207375 HAS SOUPS 207375 WITH SCORE 207666.688
AT ITER 3156 NEW BEST:: SOT 1852832 SOS 291751 HAS SOPS 291751 HAS SOUS 207361 HAS SOUPS 207361 WITH SCORE 207652.751
AT ITER 3191 NEW BEST:: SOT 1852832 SOS 291751 HAS SOPS 291751 HAS SOUS 207324 HAS SOUPS 207324 WITH SCORE 207615.751
AT ITER 3196 NEW BEST:: SOT 1852662 SOS 291646 HAS SOPS 291646 HAS SOUS 207187 HAS SOUPS 207187 WITH SCORE 207478.646
AT ITER 3202 NEW BEST:: SOT 1852586 SOS 291362 HAS SOPS 291362 HAS SOUS 207074 HAS SOUPS 207074 WITH SCORE 207365.362
AT ITER 3222 NEW BEST:: SOT 1852577 SOS 291219 HAS SOPS 291219 HAS SOUS 206938 HAS SOUPS 206938 WITH SCORE 207229.219
AT ITER 3281 NEW BEST:: SOT 1852542 SOS 291064 HAS SOPS 291064 HAS SOUS 206896 HAS SOUPS 206896 WITH SCORE 207187.064
AT ITER 3298 NEW BEST:: SOT 1852472 SOS 290994 HAS SOPS 290994 HAS SOUS 206826 HAS SOUPS 206826 WITH SCORE 207116.994
AT ITER 3326 NEW BEST:: SOT 1852331 SOS 290707 HAS SOPS 290707 HAS SOUS 206612 HAS SOUPS 206612 WITH SCORE 206902.707
AT ITER 3332 NEW BEST:: SOT 1852281 SOS 290409 HAS SOPS 290409 HAS SOUS 206432 HAS SOUPS 206432 WITH SCORE 206722.409
AT ITER 3341 NEW BEST:: SOT 1852273 SOS 290393 HAS SOPS 290393 HAS SOUS 206424 HAS SOUPS 206424 WITH SCORE 206714.393
AT ITER 3344 NEW BEST:: SOT 1852168 SOS 290004 HAS SOPS 290004 HAS SOUS 206326 HAS SOUPS 206326 WITH SCORE 206616.004
AT ITER 3346 NEW BEST:: SOT 1852191 SOS 290027 HAS SOPS 290027 HAS SOUS 206280 HAS SOUPS 206280 WITH SCORE 206570.027
AT ITER 3347 NEW BEST:: SOT 1852189 SOS 290023 HAS SOPS 290023 HAS SOUS 206278 HAS SOUPS 206278 WITH SCORE 206568.023
AT ITER 3373 NEW BEST:: SOT 1852127 SOS 289940 HAS SOPS 289940 HAS SOUS 206038 HAS SOUPS 206038 WITH SCORE 206327.94
AT ITER 3384 NEW BEST:: SOT 1852126 SOS 290001 HAS SOPS 290001 HAS SOUS 206037 HAS SOUPS 206037 WITH SCORE 206327.001
AT ITER 3386 NEW BEST:: SOT 1852081 SOS 289972 HAS SOPS 289972 HAS SOUS 206008 HAS SOUPS 206008 WITH SCORE 206297.972
AT ITER 3394 NEW BEST:: SOT 1851946 SOS 289925 HAS SOPS 289925 HAS SOUS 205959 HAS SOUPS 205959 WITH SCORE 206248.925
AT ITER 3459 NEW BEST:: SOT 1851711 SOS 289768 HAS SOPS 289768 HAS SOUS 205724 HAS SOUPS 205724 WITH SCORE 206013.768
AT ITER 3495 NEW BEST:: SOT 1851666 SOS 289575 HAS SOPS 289575 HAS SOUS 205650 HAS SOUPS 205650 WITH SCORE 205939.575
AT ITER 3496 NEW BEST:: SOT 1851687 SOS 289759 HAS SOPS 289759 HAS SOUS 205638 HAS SOUPS 205638 WITH SCORE 205927.759
AT ITER 3498 NEW BEST:: SOT 1851566 SOS 289603 HAS SOPS 289603 HAS SOUS 205517 HAS SOUPS 205517 WITH SCORE 205806.603
AT ITER 3533 NEW BEST:: SOT 1851576 SOS 289575 HAS SOPS 289575 HAS SOUS 205513 HAS SOUPS 205513 WITH SCORE 205802.575
AT ITER 3544 NEW BEST:: SOT 1851548 SOS 289541 HAS SOPS 289541 HAS SOUS 205502 HAS SOUPS 205502 WITH SCORE 205791.541
AT ITER 3545 NEW BEST:: SOT 1851422 SOS 289377 HAS SOPS 289377 HAS SOUS 205338 HAS SOUPS 205338 WITH SCORE 205627.377
AT ITER 3591 NEW BEST:: SOT 1851394 SOS 289357 HAS SOPS 289357 HAS SOUS 205330 HAS SOUPS 205330 WITH SCORE 205619.357
AT ITER 3612 NEW BEST:: SOT 1851388 SOS 289351 HAS SOPS 289351 HAS SOUS 205316 HAS SOUPS 205316 WITH SCORE 205605.351
AT ITER 3651 NEW BEST:: SOT 1851385 SOS 289453 HAS SOPS 289453 HAS SOUS 205311 HAS SOUPS 205311 WITH SCORE 205600.453
AT ITER 3732 NEW BEST:: SOT 1851224 SOS 289429 HAS SOPS 289429 HAS SOUS 205172 HAS SOUPS 205172 WITH SCORE 205461.429
AT ITER 3754 NEW BEST:: SOT 1851253 SOS 289458 HAS SOPS 289458 HAS SOUS 205143 HAS SOUPS 205143 WITH SCORE 205432.458
AT ITER 3760 NEW BEST:: SOT 1851199 SOS 289428 HAS SOPS 289428 HAS SOUS 205106 HAS SOUPS 205106 WITH SCORE 205395.428
AT ITER 3784 NEW BEST:: SOT 1851162 SOS 289054 HAS SOPS 289054 HAS SOUS 204904 HAS SOUPS 204904 WITH SCORE 205193.054
AT ITER 3809 NEW BEST:: SOT 1851049 SOS 289002 HAS SOPS 289002 HAS SOUS 204828 HAS SOUPS 204828 WITH SCORE 205117.002
AT ITER 3811 NEW BEST:: SOT 1850958 SOS 289970 HAS SOPS 289970 HAS SOUS 204738 HAS SOUPS 204738 WITH SCORE 205027.97
AT ITER 3853 NEW BEST:: SOT 1850893 SOS 289944 HAS SOPS 289944 HAS SOUS 204662 HAS SOUPS 204662 WITH SCORE 204951.944
AT ITER 3857 NEW BEST:: SOT 1850854 SOS 290082 HAS SOPS 290082 HAS SOUS 204527 HAS SOUPS 204527 WITH SCORE 204817.082
AT ITER 3878 NEW BEST:: SOT 1850854 SOS 290056 HAS SOPS 290056 HAS SOUS 204501 HAS SOUPS 204501 WITH SCORE 204791.056
AT ITER 3883 NEW BEST:: SOT 1850842 SOS 290068 HAS SOPS 290068 HAS SOUS 204489 HAS SOUPS 204489 WITH SCORE 204779.068
AT ITER 3899 NEW BEST:: SOT 1850461 SOS 289741 HAS SOPS 289741 HAS SOUS 204039 HAS SOUPS 204039 WITH SCORE 204328.741
AT ITER 3907 NEW BEST:: SOT 1850421 SOS 289621 HAS SOPS 289621 HAS SOUS 203959 HAS SOUPS 203959 WITH SCORE 204248.621
AT ITER 3924 NEW BEST:: SOT 1850434 SOS 289583 HAS SOPS 289583 HAS SOUS 203887 HAS SOUPS 203887 WITH SCORE 204176.583
AT ITER 3963 NEW BEST:: SOT 1850389 SOS 289538 HAS SOPS 289538 HAS SOUS 203842 HAS SOUPS 203842 WITH SCORE 204131.538
AT ITER 3971 NEW BEST:: SOT 1850147 SOS 289501 HAS SOPS 289501 HAS SOUS 203653 HAS SOUPS 203653 WITH SCORE 203942.501
AT ITER 3986 NEW BEST:: SOT 1850147 SOS 289501 HAS SOPS 289501 HAS SOUS 203618 HAS SOUPS 203618 WITH SCORE 203907.501
AT ITER 4047 NEW BEST:: SOT 1849873 SOS 288902 HAS SOPS 288902 HAS SOUS 203470 HAS SOUPS 203470 WITH SCORE 203758.902
AT ITER 4053 NEW BEST:: SOT 1849893 SOS 288882 HAS SOPS 288882 HAS SOUS 203470 HAS SOUPS 203470 WITH SCORE 203758.882
AT ITER 4064 NEW BEST:: SOT 1849888 SOS 288847 HAS SOPS 288847 HAS SOUS 203460 HAS SOUPS 203460 WITH SCORE 203748.847
AT ITER 4101 NEW BEST:: SOT 1849878 SOS 288837 HAS SOPS 288837 HAS SOUS 203449 HAS SOUPS 203449 WITH SCORE 203737.837
AT ITER 4137 NEW BEST:: SOT 1849830 SOS 288813 HAS SOPS 288813 HAS SOUS 203377 HAS SOUPS 203377 WITH SCORE 203665.813
AT ITER 4170 NEW BEST:: SOT 1849830 SOS 288721 HAS SOPS 288721 HAS SOUS 203235 HAS SOUPS 203235 WITH SCORE 203523.721
AT ITER 4186 NEW BEST:: SOT 1849727 SOS 288420 HAS SOPS 288420 HAS SOUS 203033 HAS SOUPS 203033 WITH SCORE 203321.42
AT ITER 4195 NEW BEST:: SOT 1849569 SOS 288241 HAS SOPS 288241 HAS SOUS 202818 HAS SOUPS 202818 WITH SCORE 203106.241
AT ITER 4231 NEW BEST:: SOT 1849027 SOS 287727 HAS SOPS 287727 HAS SOUS 202211 HAS SOUPS 202211 WITH SCORE 202498.727
AT ITER 4238 NEW BEST:: SOT 1849023 SOS 287661 HAS SOPS 287661 HAS SOUS 202203 HAS SOUPS 202203 WITH SCORE 202490.661
AT ITER 4262 NEW BEST:: SOT 1849023 SOS 287630 HAS SOPS 287630 HAS SOUS 202168 HAS SOUPS 202168 WITH SCORE 202455.63
AT ITER 4265 NEW BEST:: SOT 1848951 SOS 287582 HAS SOPS 287582 HAS SOUS 202096 HAS SOUPS 202096 WITH SCORE 202383.582
AT ITER 4292 NEW BEST:: SOT 1848692 SOS 287360 HAS SOPS 287360 HAS SOUS 201874 HAS SOUPS 201874 WITH SCORE 202161.36
AT ITER 4293 NEW BEST:: SOT 1848527 SOS 287327 HAS SOPS 287327 HAS SOUS 201795 HAS SOUPS 201795 WITH SCORE 202082.327
AT ITER 4328 NEW BEST:: SOT 1848489 SOS 287289 HAS SOPS 287289 HAS SOUS 201757 HAS SOUPS 201757 WITH SCORE 202044.289
AT ITER 4361 NEW BEST:: SOT 1848454 SOS 287152 HAS SOPS 287152 HAS SOUS 201722 HAS SOUPS 201722 WITH SCORE 202009.152
AT ITER 4386 NEW BEST:: SOT 1848446 SOS 287082 HAS SOPS 287082 HAS SOUS 201671 HAS SOUPS 201671 WITH SCORE 201958.082
AT ITER 4403 NEW BEST:: SOT 1848336 SOS 286752 HAS SOPS 286752 HAS SOUS 201451 HAS SOUPS 201451 WITH SCORE 201737.752
AT ITER 4411 NEW BEST:: SOT 1848536 SOS 286952 HAS SOPS 286952 HAS SOUS 201399 HAS SOUPS 201399 WITH SCORE 201685.952
AT ITER 4437 NEW BEST:: SOT 1848542 SOS 286915 HAS SOPS 286915 HAS SOUS 201385 HAS SOUPS 201385 WITH SCORE 201671.915
AT ITER 4473 NEW BEST:: SOT 1848542 SOS 287127 HAS SOPS 287127 HAS SOUS 201325 HAS SOUPS 201325 WITH SCORE 201612.127
AT ITER 4491 NEW BEST:: SOT 1848115 SOS 286395 HAS SOPS 286395 HAS SOUS 200725 HAS SOUPS 200725 WITH SCORE 201011.395
AT ITER 4506 NEW BEST:: SOT 1848009 SOS 286381 HAS SOPS 286381 HAS SOUS 200711 HAS SOUPS 200711 WITH SCORE 200997.381
AT ITER 4518 NEW BEST:: SOT 1848009 SOS 286343 HAS SOPS 286343 HAS SOUS 200635 HAS SOUPS 200635 WITH SCORE 200921.343
AT ITER 4552 NEW BEST:: SOT 1847967 SOS 286133 HAS SOPS 286133 HAS SOUS 200634 HAS SOUPS 200634 WITH SCORE 200920.133
AT ITER 4593 NEW BEST:: SOT 1847913 SOS 286005 HAS SOPS 286005 HAS SOUS 200540 HAS SOUPS 200540 WITH SCORE 200826.005
AT ITER 4597 NEW BEST:: SOT 1847776 SOS 286003 HAS SOPS 286003 HAS SOUS 200419 HAS SOUPS 200419 WITH SCORE 200705.003
AT ITER 4625 NEW BEST:: SOT 1847738 SOS 285977 HAS SOPS 285977 HAS SOUS 200391 HAS SOUPS 200391 WITH SCORE 200676.977
AT ITER 4630 NEW BEST:: SOT 1847787 SOS 285880 HAS SOPS 285880 HAS SOUS 200346 HAS SOUPS 200346 WITH SCORE 200631.88
AT ITER 4665 NEW BEST:: SOT 1847599 SOS 285972 HAS SOPS 285972 HAS SOUS 200223 HAS SOUPS 200223 WITH SCORE 200508.972
AT ITER 4671 NEW BEST:: SOT 1847542 SOS 285691 HAS SOPS 285691 HAS SOUS 200051 HAS SOUPS 200051 WITH SCORE 200336.691
AT ITER 4702 NEW BEST:: SOT 1847530 SOS 285525 HAS SOPS 285525 HAS SOUS 200015 HAS SOUPS 200015 WITH SCORE 200300.525
AT ITER 4728 NEW BEST:: SOT 1847487 SOS 285439 HAS SOPS 285439 HAS SOUS 199972 HAS SOUPS 199972 WITH SCORE 200257.439
AT ITER 4732 NEW BEST:: SOT 1847402 SOS 285376 HAS SOPS 285376 HAS SOUS 199886 HAS SOUPS 199886 WITH SCORE 200171.376
AT ITER 4756 NEW BEST:: SOT 1847387 SOS 285336 HAS SOPS 285336 HAS SOUS 199866 HAS SOUPS 199866 WITH SCORE 200151.336
AT ITER 4768 NEW BEST:: SOT 1847551 SOS 285608 HAS SOPS 285608 HAS SOUS 199805 HAS SOUPS 199805 WITH SCORE 200090.608
AT ITER 4799 NEW BEST:: SOT 1847507 SOS 285586 HAS SOPS 285586 HAS SOUS 199783 HAS SOUPS 199783 WITH SCORE 200068.586
AT ITER 4802 NEW BEST:: SOT 1847325 SOS 285572 HAS SOPS 285572 HAS SOUS 199657 HAS SOUPS 199657 WITH SCORE 199942.572
AT ITER 4833 NEW BEST:: SOT 1847318 SOS 285578 HAS SOPS 285578 HAS SOUS 199555 HAS SOUPS 199555 WITH SCORE 199840.578
AT ITER 4917 NEW BEST:: SOT 1847286 SOS 285514 HAS SOPS 285514 HAS SOUS 199475 HAS SOUPS 199475 WITH SCORE 199760.514
AT ITER 4972 NEW BEST:: SOT 1847286 SOS 285538 HAS SOPS 285538 HAS SOUS 199456 HAS SOUPS 199456 WITH SCORE 199741.538
AT ITER 4998 NEW BEST:: SOT 1847290 SOS 285534 HAS SOPS 285534 HAS SOUS 199456 HAS SOUPS 199456 WITH SCORE 199741.534
Bounds file is: CTLFireability.xml
PROPERTY: NoC3x3-PT-6B-CTLFireability-00 (EG( (! (AX( ( ((potential((tk(P592)>=1)))) & ((potential((tk(P1064)>=1)))) ))))))
PROPERTY: NoC3x3-PT-6B-CTLFireability-01 (EF( ( (! ( (! ((potential((tk(P904)>=1))))) | ( ((potential((tk(P1313)>=1)))) & ((potential((tk(P348)>=1)))) ) )) & ( ( ( ((potential((tk(P848)>=1) & (tk(P1268)>=1)))) | ((potential((tk(P1529)>=1)))) ) | ( ((potential((tk(P1367)>=1) & (tk(P1477)>=1)))) | ((potential((tk(P107)>=1)))) ) ) | ((potential((tk(P1433)>=1)))) ) )))
PROPERTY: NoC3x3-PT-6B-CTLFireability-02 (EF( (AX( (EX( ((potential((tk(P163)>=1) & (tk(P283)>=1))))))))))
PROPERTY: NoC3x3-PT-6B-CTLFireability-03 (AG( ( ( (! ((potential((tk(P175)>=1) & (tk(P291)>=1))))) | (! ( ((potential((tk(P607)>=1) & (tk(P756)>=1)))) & ((potential((tk(P1306)>=1)))) )) ) & (! ( ((potential((tk(P343)>=1)))) | ((potential((tk(P633)>=1) & (tk(P1048)>=1)))) )) )))
PROPERTY: NoC3x3-PT-6B-CTLFireability-04 (AF( (EU( ((potential((tk(P370)>=1)))) , ( ((potential((tk(P1015)>=1) & (tk(P1134)>=1)))) | ((potential((tk(P848)>=1) & (tk(P1271)>=1)))) ) ))))
PROPERTY: NoC3x3-PT-6B-CTLFireability-05 (AU( (! ( ( ((potential((tk(P968)>=1)))) & ((potential((tk(P110)>=1)))) ) | ((potential((tk(P1499)>=1)))) )) , ( ((potential((tk(P1085)>=1) & (tk(P1484)>=1)))) & ( ( ((potential((tk(P454)>=1) & (tk(P552)>=1)))) & ((potential((tk(P105)>=1)))) ) | ( ((potential((tk(P1416)>=1)))) & ((potential((tk(P774)>=1)))) ) ) ) ))
PROPERTY: NoC3x3-PT-6B-CTLFireability-06 (AG( ( ( (! ( ((potential((tk(P1185)>=1) & (tk(P1207)>=1)))) | ((potential((tk(P1435)>=1)))) )) | ((potential((tk(P169)>=1) & (tk(P265)>=1)))) ) | (EG( (! ((potential((tk(P795)>=1) & (tk(P1000)>=1))))))) )))
PROPERTY: NoC3x3-PT-6B-CTLFireability-07 (AG( (AF( ((potential((tk(P768)>=1))))))))
PROPERTY: NoC3x3-PT-6B-CTLFireability-08 (EF( (! ( ( ( ((potential((tk(P1482)>=1) & (tk(P1513)>=1)))) & ((potential((tk(P1161)>=1)))) ) | (! ((potential((tk(P1485)>=1) & (tk(P1501)>=1))))) ) & (AF( ((potential((tk(P1021)>=1)))))) ))))
PROPERTY: NoC3x3-PT-6B-CTLFireability-09 (AF( ( ( (AX( ((potential((tk(P1189)>=1) & (tk(P1246)>=1)))))) | (EF( ((potential((tk(P286)>=1)))))) ) & ((potential((tk(P163)>=1) & (tk(P677)>=1)))) )))
PROPERTY: NoC3x3-PT-6B-CTLFireability-10 (! (AU( (AX( ((potential((tk(P65)>=1)))))) , (AF( ((potential((tk(P666)>=1) & (tk(P743)>=1)))))) )))
PROPERTY: NoC3x3-PT-6B-CTLFireability-11 (AF( ( ( ( ((potential((tk(P721)>=1)))) & ( ((potential((tk(P651)>=1) & (tk(P784)>=1)))) | ((potential((tk(P572)>=1)))) ) ) & (EF( ((potential((tk(P352)>=1) & (tk(P378)>=1)))))) ) & ( ( ( ((potential((tk(P241)>=1)))) | ((potential((tk(P893)>=1)))) ) & ( ((potential((tk(P1018)>=1)))) & ((potential((tk(P1194)>=1) & (tk(P1229)>=1)))) ) ) & (! (! ((potential((tk(P349)>=1) & (tk(P1019)>=1)))))) ) )))
PROPERTY: NoC3x3-PT-6B-CTLFireability-12 (EF( ( ( (AG( ((potential((tk(P1353)>=1)))))) & (AX( ((potential((tk(P734)>=1)))))) ) | ((potential((tk(P181)>=1) & (tk(P305)>=1)))) )))
PROPERTY: NoC3x3-PT-6B-CTLFireability-13 (! ( ( (EF( ( ((potential((tk(P858)>=1)))) | ((potential((tk(P352)>=1) & (tk(P431)>=1)))) ))) | (EF( ((potential((tk(P232)>=1)))))) ) & (AU( (! ((potential((tk(P795)>=1) & (tk(P1003)>=1))))) , (! ((potential((tk(P523)>=1))))) )) ))
PROPERTY: NoC3x3-PT-6B-CTLFireability-14 ( ((potential((tk(P630)>=1) & (tk(P732)>=1)))) | (AG( (AF( ( ((potential((tk(P1027)>=1)))) | ((potential((tk(P927)>=1)))) ))))) )
PROPERTY: NoC3x3-PT-6B-CTLFireability-15 (AG( ( ( ( (! ((potential((tk(P521)>=1))))) & ( ((potential((tk(P6)>=1)))) & ((potential((tk(P512)>=1)))) ) ) | (AG( ((potential((tk(P957)>=1)))))) ) | (! (EG( ((potential((tk(P1266)>=1) & (tk(P1421)>=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="NoC3x3-PT-6B"
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 NoC3x3-PT-6B, 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 r108-csrt-158961250500420"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-6B.tgz
mv NoC3x3-PT-6B 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 '
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 ;