About the Execution of smart for NoC3x3-PT-5B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.070 | 3600000.00 | 3600020.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-158961250500404.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-5B, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500404
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 700K
-rw-r--r-- 1 mcc users 3.1K Apr 8 15:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 8 15:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 18:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:36 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.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 6 20:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 6 04:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 6 04:00 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 525K 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-5B-CTLFireability-00
FORMULA_NAME NoC3x3-PT-5B-CTLFireability-01
FORMULA_NAME NoC3x3-PT-5B-CTLFireability-02
FORMULA_NAME NoC3x3-PT-5B-CTLFireability-03
FORMULA_NAME NoC3x3-PT-5B-CTLFireability-04
FORMULA_NAME NoC3x3-PT-5B-CTLFireability-05
FORMULA_NAME NoC3x3-PT-5B-CTLFireability-06
FORMULA_NAME NoC3x3-PT-5B-CTLFireability-07
FORMULA_NAME NoC3x3-PT-5B-CTLFireability-08
FORMULA_NAME NoC3x3-PT-5B-CTLFireability-09
FORMULA_NAME NoC3x3-PT-5B-CTLFireability-10
FORMULA_NAME NoC3x3-PT-5B-CTLFireability-11
FORMULA_NAME NoC3x3-PT-5B-CTLFireability-12
FORMULA_NAME NoC3x3-PT-5B-CTLFireability-13
FORMULA_NAME NoC3x3-PT-5B-CTLFireability-14
FORMULA_NAME NoC3x3-PT-5B-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589641629566
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 5B
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: 1571 places, 2173 transitions, 6109 arcs.
AT ITER 0 NEW BEST:: SOT 1846019 SOS 295120 HAS SOPS 295120 HAS SOUS 236109 HAS SOUPS 236109 WITH SCORE 236404.12
AT ITER 6 NEW BEST:: SOT 1845862 SOS 294492 HAS SOPS 294492 HAS SOUS 235795 HAS SOUPS 235795 WITH SCORE 236089.492
AT ITER 50 NEW BEST:: SOT 1845804 SOS 294376 HAS SOPS 294376 HAS SOUS 235735 HAS SOUPS 235735 WITH SCORE 236029.376
AT ITER 71 NEW BEST:: SOT 1845707 SOS 294225 HAS SOPS 294225 HAS SOUS 235637 HAS SOUPS 235637 WITH SCORE 235931.225
AT ITER 72 NEW BEST:: SOT 1845614 SOS 293871 HAS SOPS 293871 HAS SOUS 235502 HAS SOUPS 235502 WITH SCORE 235795.871
AT ITER 74 NEW BEST:: SOT 1845550 SOS 293765 HAS SOPS 293765 HAS SOUS 235471 HAS SOUPS 235471 WITH SCORE 235764.765
AT ITER 84 NEW BEST:: SOT 1845550 SOS 293861 HAS SOPS 293861 HAS SOUS 235423 HAS SOUPS 235423 WITH SCORE 235716.861
AT ITER 101 NEW BEST:: SOT 1845458 SOS 293677 HAS SOPS 293677 HAS SOUS 235331 HAS SOUPS 235331 WITH SCORE 235624.677
AT ITER 110 NEW BEST:: SOT 1845299 SOS 292570 HAS SOPS 292570 HAS SOUS 234586 HAS SOUPS 234586 WITH SCORE 234878.57
AT ITER 147 NEW BEST:: SOT 1845227 SOS 291533 HAS SOPS 291533 HAS SOUS 234305 HAS SOUPS 234305 WITH SCORE 234596.533
AT ITER 153 NEW BEST:: SOT 1844693 SOS 291386 HAS SOPS 291386 HAS SOUS 234157 HAS SOUPS 234157 WITH SCORE 234448.386
AT ITER 181 NEW BEST:: SOT 1844661 SOS 291510 HAS SOPS 291510 HAS SOUS 234150 HAS SOUPS 234150 WITH SCORE 234441.51
AT ITER 212 NEW BEST:: SOT 1844628 SOS 291477 HAS SOPS 291477 HAS SOUS 234117 HAS SOUPS 234117 WITH SCORE 234408.477
AT ITER 222 NEW BEST:: SOT 1843508 SOS 291219 HAS SOPS 291219 HAS SOUS 233148 HAS SOUPS 233148 WITH SCORE 233439.219
AT ITER 232 NEW BEST:: SOT 1842802 SOS 290728 HAS SOPS 290728 HAS SOUS 232786 HAS SOUPS 232786 WITH SCORE 233076.728
AT ITER 259 NEW BEST:: SOT 1842414 SOS 290347 HAS SOPS 290347 HAS SOUS 232397 HAS SOUPS 232397 WITH SCORE 232687.347
AT ITER 315 NEW BEST:: SOT 1842414 SOS 290394 HAS SOPS 290394 HAS SOUS 232345 HAS SOUPS 232345 WITH SCORE 232635.394
AT ITER 350 NEW BEST:: SOT 1842314 SOS 290312 HAS SOPS 290312 HAS SOUS 232245 HAS SOUPS 232245 WITH SCORE 232535.312
AT ITER 380 NEW BEST:: SOT 1842224 SOS 290387 HAS SOPS 290387 HAS SOUS 232242 HAS SOUPS 232242 WITH SCORE 232532.387
AT ITER 414 NEW BEST:: SOT 1842212 SOS 290177 HAS SOPS 290177 HAS SOUS 232070 HAS SOUPS 232070 WITH SCORE 232360.177
AT ITER 447 NEW BEST:: SOT 1842188 SOS 289975 HAS SOPS 289975 HAS SOUS 231818 HAS SOUPS 231818 WITH SCORE 232107.975
AT ITER 449 NEW BEST:: SOT 1841884 SOS 289627 HAS SOPS 289627 HAS SOUS 231450 HAS SOUPS 231450 WITH SCORE 231739.627
AT ITER 472 NEW BEST:: SOT 1842298 SOS 289921 HAS SOPS 289921 HAS SOUS 231276 HAS SOUPS 231276 WITH SCORE 231565.921
AT ITER 486 NEW BEST:: SOT 1842298 SOS 289850 HAS SOPS 289850 HAS SOUS 231268 HAS SOUPS 231268 WITH SCORE 231557.85
AT ITER 509 NEW BEST:: SOT 1842291 SOS 289942 HAS SOPS 289942 HAS SOUS 231206 HAS SOUPS 231206 WITH SCORE 231495.942
AT ITER 533 NEW BEST:: SOT 1842215 SOS 289843 HAS SOPS 289843 HAS SOUS 231140 HAS SOUPS 231140 WITH SCORE 231429.843
AT ITER 548 NEW BEST:: SOT 1842087 SOS 289587 HAS SOPS 289587 HAS SOUS 231013 HAS SOUPS 231013 WITH SCORE 231302.587
AT ITER 552 NEW BEST:: SOT 1842079 SOS 289571 HAS SOPS 289571 HAS SOUS 230993 HAS SOUPS 230993 WITH SCORE 231282.571
AT ITER 573 NEW BEST:: SOT 1842079 SOS 289539 HAS SOPS 289539 HAS SOUS 230993 HAS SOUPS 230993 WITH SCORE 231282.539
AT ITER 578 NEW BEST:: SOT 1842055 SOS 289515 HAS SOPS 289515 HAS SOUS 230993 HAS SOUPS 230993 WITH SCORE 231282.515
AT ITER 584 NEW BEST:: SOT 1842055 SOS 289583 HAS SOPS 289583 HAS SOUS 230981 HAS SOUPS 230981 WITH SCORE 231270.583
AT ITER 585 NEW BEST:: SOT 1841998 SOS 289127 HAS SOPS 289127 HAS SOUS 230867 HAS SOUPS 230867 WITH SCORE 231156.127
AT ITER 595 NEW BEST:: SOT 1841791 SOS 289347 HAS SOPS 289347 HAS SOUS 230823 HAS SOUPS 230823 WITH SCORE 231112.347
AT ITER 604 NEW BEST:: SOT 1841746 SOS 289248 HAS SOPS 289248 HAS SOUS 230769 HAS SOUPS 230769 WITH SCORE 231058.248
AT ITER 610 NEW BEST:: SOT 1841714 SOS 289120 HAS SOPS 289120 HAS SOUS 230704 HAS SOUPS 230704 WITH SCORE 230993.12
AT ITER 636 NEW BEST:: SOT 1841526 SOS 288276 HAS SOPS 288276 HAS SOUS 230194 HAS SOUPS 230194 WITH SCORE 230482.276
AT ITER 637 NEW BEST:: SOT 1841402 SOS 287948 HAS SOPS 287948 HAS SOUS 229912 HAS SOUPS 229912 WITH SCORE 230199.948
AT ITER 646 NEW BEST:: SOT 1841392 SOS 287918 HAS SOPS 287918 HAS SOUS 229872 HAS SOUPS 229872 WITH SCORE 230159.918
AT ITER 659 NEW BEST:: SOT 1841309 SOS 287906 HAS SOPS 287906 HAS SOUS 229860 HAS SOUPS 229860 WITH SCORE 230147.906
AT ITER 669 NEW BEST:: SOT 1841450 SOS 287904 HAS SOPS 287904 HAS SOUS 229858 HAS SOUPS 229858 WITH SCORE 230145.904
AT ITER 682 NEW BEST:: SOT 1841360 SOS 287713 HAS SOPS 287713 HAS SOUS 229644 HAS SOUPS 229644 WITH SCORE 229931.713
AT ITER 684 NEW BEST:: SOT 1841308 SOS 287609 HAS SOPS 287609 HAS SOUS 229611 HAS SOUPS 229611 WITH SCORE 229898.609
AT ITER 685 NEW BEST:: SOT 1841249 SOS 287550 HAS SOPS 287550 HAS SOUS 229552 HAS SOUPS 229552 WITH SCORE 229839.55
AT ITER 698 NEW BEST:: SOT 1841212 SOS 287439 HAS SOPS 287439 HAS SOUS 229404 HAS SOUPS 229404 WITH SCORE 229691.439
AT ITER 711 NEW BEST:: SOT 1841202 SOS 288040 HAS SOPS 288040 HAS SOUS 229403 HAS SOUPS 229403 WITH SCORE 229691.04
AT ITER 718 NEW BEST:: SOT 1841112 SOS 287857 HAS SOPS 287857 HAS SOUS 229220 HAS SOUPS 229220 WITH SCORE 229507.857
AT ITER 723 NEW BEST:: SOT 1841076 SOS 287785 HAS SOPS 287785 HAS SOUS 229138 HAS SOUPS 229138 WITH SCORE 229425.785
AT ITER 745 NEW BEST:: SOT 1840982 SOS 287577 HAS SOPS 287577 HAS SOUS 228833 HAS SOUPS 228833 WITH SCORE 229120.577
AT ITER 762 NEW BEST:: SOT 1840989 SOS 287572 HAS SOPS 287572 HAS SOUS 228810 HAS SOUPS 228810 WITH SCORE 229097.572
AT ITER 782 NEW BEST:: SOT 1840224 SOS 287605 HAS SOPS 287605 HAS SOUS 228630 HAS SOUPS 228630 WITH SCORE 228917.605
AT ITER 801 NEW BEST:: SOT 1840262 SOS 288323 HAS SOPS 288323 HAS SOUS 227803 HAS SOUPS 227803 WITH SCORE 228091.323
AT ITER 807 NEW BEST:: SOT 1840185 SOS 288169 HAS SOPS 288169 HAS SOUS 227726 HAS SOUPS 227726 WITH SCORE 228014.169
AT ITER 830 NEW BEST:: SOT 1840016 SOS 288143 HAS SOPS 288143 HAS SOUS 227619 HAS SOUPS 227619 WITH SCORE 227907.143
AT ITER 841 NEW BEST:: SOT 1840039 SOS 288105 HAS SOPS 288105 HAS SOUS 227531 HAS SOUPS 227531 WITH SCORE 227819.105
AT ITER 848 NEW BEST:: SOT 1840017 SOS 288083 HAS SOPS 288083 HAS SOUS 227509 HAS SOUPS 227509 WITH SCORE 227797.083
AT ITER 870 NEW BEST:: SOT 1840001 SOS 288051 HAS SOPS 288051 HAS SOUS 227445 HAS SOUPS 227445 WITH SCORE 227733.051
AT ITER 871 NEW BEST:: SOT 1839893 SOS 287835 HAS SOPS 287835 HAS SOUS 227337 HAS SOUPS 227337 WITH SCORE 227624.835
AT ITER 886 NEW BEST:: SOT 1839890 SOS 287829 HAS SOPS 287829 HAS SOUS 227331 HAS SOUPS 227331 WITH SCORE 227618.829
AT ITER 897 NEW BEST:: SOT 1839865 SOS 287804 HAS SOPS 287804 HAS SOUS 227306 HAS SOUPS 227306 WITH SCORE 227593.804
AT ITER 970 NEW BEST:: SOT 1839867 SOS 287832 HAS SOPS 287832 HAS SOUS 227304 HAS SOUPS 227304 WITH SCORE 227591.832
AT ITER 1018 NEW BEST:: SOT 1839765 SOS 287759 HAS SOPS 287759 HAS SOUS 227235 HAS SOUPS 227235 WITH SCORE 227522.759
AT ITER 1019 NEW BEST:: SOT 1839727 SOS 287683 HAS SOPS 287683 HAS SOUS 227159 HAS SOUPS 227159 WITH SCORE 227446.683
AT ITER 1030 NEW BEST:: SOT 1839590 SOS 287668 HAS SOPS 287668 HAS SOUS 227144 HAS SOUPS 227144 WITH SCORE 227431.668
AT ITER 1050 NEW BEST:: SOT 1839636 SOS 287918 HAS SOPS 287918 HAS SOUS 226961 HAS SOUPS 226961 WITH SCORE 227248.918
AT ITER 1074 NEW BEST:: SOT 1839615 SOS 287877 HAS SOPS 287877 HAS SOUS 226920 HAS SOUPS 226920 WITH SCORE 227207.877
AT ITER 1083 NEW BEST:: SOT 1839586 SOS 287848 HAS SOPS 287848 HAS SOUS 226891 HAS SOUPS 226891 WITH SCORE 227178.848
AT ITER 1095 NEW BEST:: SOT 1839577 SOS 287830 HAS SOPS 287830 HAS SOUS 226873 HAS SOUPS 226873 WITH SCORE 227160.83
AT ITER 1119 NEW BEST:: SOT 1838713 SOS 287638 HAS SOPS 287638 HAS SOUS 225955 HAS SOUPS 225955 WITH SCORE 226242.638
AT ITER 1162 NEW BEST:: SOT 1838584 SOS 287902 HAS SOPS 287902 HAS SOUS 225907 HAS SOUPS 225907 WITH SCORE 226194.902
AT ITER 1196 NEW BEST:: SOT 1838584 SOS 287875 HAS SOPS 287875 HAS SOUS 225894 HAS SOUPS 225894 WITH SCORE 226181.875
AT ITER 1197 NEW BEST:: SOT 1838620 SOS 287947 HAS SOPS 287947 HAS SOUS 225861 HAS SOUPS 225861 WITH SCORE 226148.947
AT ITER 1235 NEW BEST:: SOT 1838159 SOS 287991 HAS SOPS 287991 HAS SOUS 225822 HAS SOUPS 225822 WITH SCORE 226109.991
AT ITER 1272 NEW BEST:: SOT 1838098 SOS 287740 HAS SOPS 287740 HAS SOUS 225640 HAS SOUPS 225640 WITH SCORE 225927.74
AT ITER 1278 NEW BEST:: SOT 1838054 SOS 287463 HAS SOPS 287463 HAS SOUS 225605 HAS SOUPS 225605 WITH SCORE 225892.463
AT ITER 1281 NEW BEST:: SOT 1838054 SOS 287501 HAS SOPS 287501 HAS SOUS 225586 HAS SOUPS 225586 WITH SCORE 225873.501
AT ITER 1319 NEW BEST:: SOT 1838025 SOS 287401 HAS SOPS 287401 HAS SOUS 225557 HAS SOUPS 225557 WITH SCORE 225844.401
AT ITER 1324 NEW BEST:: SOT 1837907 SOS 287319 HAS SOPS 287319 HAS SOUS 225474 HAS SOUPS 225474 WITH SCORE 225761.319
AT ITER 1346 NEW BEST:: SOT 1837920 SOS 287331 HAS SOPS 287331 HAS SOUS 225472 HAS SOUPS 225472 WITH SCORE 225759.331
AT ITER 1354 NEW BEST:: SOT 1837521 SOS 286973 HAS SOPS 286973 HAS SOUS 225166 HAS SOUPS 225166 WITH SCORE 225452.973
AT ITER 1358 NEW BEST:: SOT 1837521 SOS 286841 HAS SOPS 286841 HAS SOUS 225100 HAS SOUPS 225100 WITH SCORE 225386.841
AT ITER 1380 NEW BEST:: SOT 1837464 SOS 286556 HAS SOPS 286556 HAS SOUS 224929 HAS SOUPS 224929 WITH SCORE 225215.556
AT ITER 1385 NEW BEST:: SOT 1837413 SOS 286624 HAS SOPS 286624 HAS SOUS 224884 HAS SOUPS 224884 WITH SCORE 225170.624
AT ITER 1403 NEW BEST:: SOT 1837326 SOS 286714 HAS SOPS 286714 HAS SOUS 224797 HAS SOUPS 224797 WITH SCORE 225083.714
AT ITER 1430 NEW BEST:: SOT 1837301 SOS 286664 HAS SOPS 286664 HAS SOUS 224743 HAS SOUPS 224743 WITH SCORE 225029.664
AT ITER 1432 NEW BEST:: SOT 1837243 SOS 286469 HAS SOPS 286469 HAS SOUS 224538 HAS SOUPS 224538 WITH SCORE 224824.469
AT ITER 1440 NEW BEST:: SOT 1837243 SOS 286433 HAS SOPS 286433 HAS SOUS 224536 HAS SOUPS 224536 WITH SCORE 224822.433
AT ITER 1469 NEW BEST:: SOT 1837065 SOS 286259 HAS SOPS 286259 HAS SOUS 224362 HAS SOUPS 224362 WITH SCORE 224648.259
AT ITER 1526 NEW BEST:: SOT 1837089 SOS 286307 HAS SOPS 286307 HAS SOUS 224344 HAS SOUPS 224344 WITH SCORE 224630.307
AT ITER 1540 NEW BEST:: SOT 1837018 SOS 285767 HAS SOPS 285767 HAS SOUS 224143 HAS SOUPS 224143 WITH SCORE 224428.767
AT ITER 1541 NEW BEST:: SOT 1836474 SOS 286755 HAS SOPS 286755 HAS SOUS 223714 HAS SOUPS 223714 WITH SCORE 224000.755
AT ITER 1550 NEW BEST:: SOT 1836380 SOS 286661 HAS SOPS 286661 HAS SOUS 223620 HAS SOUPS 223620 WITH SCORE 223906.661
AT ITER 1557 NEW BEST:: SOT 1836349 SOS 286439 HAS SOPS 286439 HAS SOUS 223556 HAS SOUPS 223556 WITH SCORE 223842.439
AT ITER 1580 NEW BEST:: SOT 1836049 SOS 286196 HAS SOPS 286196 HAS SOUS 223126 HAS SOUPS 223126 WITH SCORE 223412.196
AT ITER 1609 NEW BEST:: SOT 1836049 SOS 286098 HAS SOPS 286098 HAS SOUS 223126 HAS SOUPS 223126 WITH SCORE 223412.098
AT ITER 1613 NEW BEST:: SOT 1836037 SOS 286074 HAS SOPS 286074 HAS SOUS 223102 HAS SOUPS 223102 WITH SCORE 223388.074
AT ITER 1616 NEW BEST:: SOT 1836021 SOS 285994 HAS SOPS 285994 HAS SOUS 223086 HAS SOUPS 223086 WITH SCORE 223371.994
AT ITER 1644 NEW BEST:: SOT 1835749 SOS 285888 HAS SOPS 285888 HAS SOUS 222961 HAS SOUPS 222961 WITH SCORE 223246.888
AT ITER 1645 NEW BEST:: SOT 1835612 SOS 285614 HAS SOPS 285614 HAS SOUS 222657 HAS SOUPS 222657 WITH SCORE 222942.614
AT ITER 1657 NEW BEST:: SOT 1835593 SOS 285611 HAS SOPS 285611 HAS SOUS 222643 HAS SOUPS 222643 WITH SCORE 222928.611
AT ITER 1658 NEW BEST:: SOT 1835592 SOS 285597 HAS SOPS 285597 HAS SOUS 222641 HAS SOUPS 222641 WITH SCORE 222926.597
AT ITER 1661 NEW BEST:: SOT 1835591 SOS 285419 HAS SOPS 285419 HAS SOUS 222639 HAS SOUPS 222639 WITH SCORE 222924.419
AT ITER 1666 NEW BEST:: SOT 1835491 SOS 285269 HAS SOPS 285269 HAS SOUS 222489 HAS SOUPS 222489 WITH SCORE 222774.269
AT ITER 1709 NEW BEST:: SOT 1835384 SOS 285334 HAS SOPS 285334 HAS SOUS 222466 HAS SOUPS 222466 WITH SCORE 222751.334
AT ITER 1713 NEW BEST:: SOT 1835384 SOS 285334 HAS SOPS 285334 HAS SOUS 222442 HAS SOUPS 222442 WITH SCORE 222727.334
AT ITER 1737 NEW BEST:: SOT 1835332 SOS 284552 HAS SOPS 284552 HAS SOUS 222421 HAS SOUPS 222421 WITH SCORE 222705.552
AT ITER 1792 NEW BEST:: SOT 1835136 SOS 284416 HAS SOPS 284416 HAS SOUS 222230 HAS SOUPS 222230 WITH SCORE 222514.416
AT ITER 1809 NEW BEST:: SOT 1834975 SOS 284342 HAS SOPS 284342 HAS SOUS 222149 HAS SOUPS 222149 WITH SCORE 222433.342
AT ITER 1824 NEW BEST:: SOT 1834993 SOS 284062 HAS SOPS 284062 HAS SOUS 221880 HAS SOUPS 221880 WITH SCORE 222164.062
AT ITER 1835 NEW BEST:: SOT 1834939 SOS 284251 HAS SOPS 284251 HAS SOUS 221826 HAS SOUPS 221826 WITH SCORE 222110.251
AT ITER 1862 NEW BEST:: SOT 1834981 SOS 284343 HAS SOPS 284343 HAS SOUS 221746 HAS SOUPS 221746 WITH SCORE 222030.343
AT ITER 1919 NEW BEST:: SOT 1834997 SOS 284747 HAS SOPS 284747 HAS SOUS 221700 HAS SOUPS 221700 WITH SCORE 221984.747
AT ITER 1959 NEW BEST:: SOT 1834729 SOS 284535 HAS SOPS 284535 HAS SOUS 221443 HAS SOUPS 221443 WITH SCORE 221727.535
AT ITER 2009 NEW BEST:: SOT 1834608 SOS 284088 HAS SOPS 284088 HAS SOUS 221062 HAS SOUPS 221062 WITH SCORE 221346.088
AT ITER 2011 NEW BEST:: SOT 1834264 SOS 284582 HAS SOPS 284582 HAS SOUS 221055 HAS SOUPS 221055 WITH SCORE 221339.582
AT ITER 2051 NEW BEST:: SOT 1834264 SOS 284546 HAS SOPS 284546 HAS SOUS 221055 HAS SOUPS 221055 WITH SCORE 221339.546
AT ITER 2111 NEW BEST:: SOT 1834257 SOS 284494 HAS SOPS 284494 HAS SOUS 221051 HAS SOUPS 221051 WITH SCORE 221335.494
AT ITER 2112 NEW BEST:: SOT 1834247 SOS 284474 HAS SOPS 284474 HAS SOUS 221031 HAS SOUPS 221031 WITH SCORE 221315.474
AT ITER 2123 NEW BEST:: SOT 1834223 SOS 284378 HAS SOPS 284378 HAS SOUS 220989 HAS SOUPS 220989 WITH SCORE 221273.378
AT ITER 2128 NEW BEST:: SOT 1834223 SOS 284374 HAS SOPS 284374 HAS SOUS 220988 HAS SOUPS 220988 WITH SCORE 221272.374
AT ITER 2144 NEW BEST:: SOT 1834173 SOS 284274 HAS SOPS 284274 HAS SOUS 220913 HAS SOUPS 220913 WITH SCORE 221197.274
AT ITER 2239 NEW BEST:: SOT 1834042 SOS 284109 HAS SOPS 284109 HAS SOUS 220596 HAS SOUPS 220596 WITH SCORE 220880.109
AT ITER 2248 NEW BEST:: SOT 1833991 SOS 284051 HAS SOPS 284051 HAS SOUS 220409 HAS SOUPS 220409 WITH SCORE 220693.051
AT ITER 2250 NEW BEST:: SOT 1833990 SOS 284043 HAS SOPS 284043 HAS SOUS 220394 HAS SOUPS 220394 WITH SCORE 220678.043
AT ITER 2251 NEW BEST:: SOT 1833931 SOS 283887 HAS SOPS 283887 HAS SOUS 220280 HAS SOUPS 220280 WITH SCORE 220563.887
AT ITER 2260 NEW BEST:: SOT 1833931 SOS 283887 HAS SOPS 283887 HAS SOUS 220252 HAS SOUPS 220252 WITH SCORE 220535.887
AT ITER 2300 NEW BEST:: SOT 1833917 SOS 283859 HAS SOPS 283859 HAS SOUS 220238 HAS SOUPS 220238 WITH SCORE 220521.859
AT ITER 2332 NEW BEST:: SOT 1833927 SOS 283683 HAS SOPS 283683 HAS SOUS 220203 HAS SOUPS 220203 WITH SCORE 220486.683
AT ITER 2340 NEW BEST:: SOT 1833927 SOS 283676 HAS SOPS 283676 HAS SOUS 220196 HAS SOUPS 220196 WITH SCORE 220479.676
AT ITER 2397 NEW BEST:: SOT 1833927 SOS 283656 HAS SOPS 283656 HAS SOUS 220176 HAS SOUPS 220176 WITH SCORE 220459.656
AT ITER 2402 NEW BEST:: SOT 1833757 SOS 283458 HAS SOPS 283458 HAS SOUS 219948 HAS SOUPS 219948 WITH SCORE 220231.458
AT ITER 2408 NEW BEST:: SOT 1833728 SOS 283400 HAS SOPS 283400 HAS SOUS 219919 HAS SOUPS 219919 WITH SCORE 220202.4
AT ITER 2425 NEW BEST:: SOT 1833642 SOS 283428 HAS SOPS 283428 HAS SOUS 219884 HAS SOUPS 219884 WITH SCORE 220167.428
AT ITER 2458 NEW BEST:: SOT 1833469 SOS 283706 HAS SOPS 283706 HAS SOUS 219845 HAS SOUPS 219845 WITH SCORE 220128.706
AT ITER 2477 NEW BEST:: SOT 1833525 SOS 283822 HAS SOPS 283822 HAS SOUS 219834 HAS SOUPS 219834 WITH SCORE 220117.822
AT ITER 2486 NEW BEST:: SOT 1833525 SOS 283822 HAS SOPS 283822 HAS SOUS 219770 HAS SOUPS 219770 WITH SCORE 220053.822
AT ITER 2516 NEW BEST:: SOT 1833525 SOS 283849 HAS SOPS 283849 HAS SOUS 219635 HAS SOUPS 219635 WITH SCORE 219918.849
AT ITER 2518 NEW BEST:: SOT 1833315 SOS 283653 HAS SOPS 283653 HAS SOUS 219321 HAS SOUPS 219321 WITH SCORE 219604.653
AT ITER 2579 NEW BEST:: SOT 1833306 SOS 283653 HAS SOPS 283653 HAS SOUS 219312 HAS SOUPS 219312 WITH SCORE 219595.653
AT ITER 2580 NEW BEST:: SOT 1833239 SOS 283597 HAS SOPS 283597 HAS SOUS 219245 HAS SOUPS 219245 WITH SCORE 219528.597
AT ITER 2591 NEW BEST:: SOT 1833150 SOS 283508 HAS SOPS 283508 HAS SOUS 219148 HAS SOUPS 219148 WITH SCORE 219431.508
AT ITER 2606 NEW BEST:: SOT 1833144 SOS 283473 HAS SOPS 283473 HAS SOUS 219142 HAS SOUPS 219142 WITH SCORE 219425.473
AT ITER 2646 NEW BEST:: SOT 1833135 SOS 283455 HAS SOPS 283455 HAS SOUS 219129 HAS SOUPS 219129 WITH SCORE 219412.455
AT ITER 2684 NEW BEST:: SOT 1833005 SOS 283295 HAS SOPS 283295 HAS SOUS 218974 HAS SOUPS 218974 WITH SCORE 219257.295
AT ITER 2695 NEW BEST:: SOT 1833005 SOS 283292 HAS SOPS 283292 HAS SOUS 218971 HAS SOUPS 218971 WITH SCORE 219254.292
AT ITER 2698 NEW BEST:: SOT 1833066 SOS 283231 HAS SOPS 283231 HAS SOUS 218971 HAS SOUPS 218971 WITH SCORE 219254.231
AT ITER 2710 NEW BEST:: SOT 1833066 SOS 283255 HAS SOPS 283255 HAS SOUS 218947 HAS SOUPS 218947 WITH SCORE 219230.255
AT ITER 2762 NEW BEST:: SOT 1833066 SOS 283255 HAS SOPS 283255 HAS SOUS 218946 HAS SOUPS 218946 WITH SCORE 219229.255
AT ITER 2811 NEW BEST:: SOT 1833066 SOS 283255 HAS SOPS 283255 HAS SOUS 218872 HAS SOUPS 218872 WITH SCORE 219155.255
AT ITER 2822 NEW BEST:: SOT 1833039 SOS 283306 HAS SOPS 283306 HAS SOUS 218845 HAS SOUPS 218845 WITH SCORE 219128.306
AT ITER 2849 NEW BEST:: SOT 1832982 SOS 283211 HAS SOPS 283211 HAS SOUS 218750 HAS SOUPS 218750 WITH SCORE 219033.211
AT ITER 2861 NEW BEST:: SOT 1832946 SOS 283175 HAS SOPS 283175 HAS SOUS 218714 HAS SOUPS 218714 WITH SCORE 218997.175
AT ITER 2864 NEW BEST:: SOT 1832893 SOS 283069 HAS SOPS 283069 HAS SOUS 218583 HAS SOUPS 218583 WITH SCORE 218866.069
AT ITER 2878 NEW BEST:: SOT 1832848 SOS 283024 HAS SOPS 283024 HAS SOUS 218538 HAS SOUPS 218538 WITH SCORE 218821.024
AT ITER 2897 NEW BEST:: SOT 1832189 SOS 288035 HAS SOPS 288035 HAS SOUS 218505 HAS SOUPS 218505 WITH SCORE 218793.035
AT ITER 2898 NEW BEST:: SOT 1832090 SOS 288043 HAS SOPS 288043 HAS SOUS 218448 HAS SOUPS 218448 WITH SCORE 218736.043
AT ITER 2903 NEW BEST:: SOT 1831956 SOS 287909 HAS SOPS 287909 HAS SOUS 218302 HAS SOUPS 218302 WITH SCORE 218589.909
AT ITER 2959 NEW BEST:: SOT 1831956 SOS 288107 HAS SOPS 288107 HAS SOUS 218285 HAS SOUPS 218285 WITH SCORE 218573.107
AT ITER 2976 NEW BEST:: SOT 1828325 SOS 286493 HAS SOPS 286493 HAS SOUS 214875 HAS SOUPS 214875 WITH SCORE 215161.493
AT ITER 3020 NEW BEST:: SOT 1827751 SOS 285950 HAS SOPS 285950 HAS SOUS 214330 HAS SOUPS 214330 WITH SCORE 214615.95
AT ITER 3061 NEW BEST:: SOT 1827757 SOS 285926 HAS SOPS 285926 HAS SOUS 214318 HAS SOUPS 214318 WITH SCORE 214603.926
AT ITER 3070 NEW BEST:: SOT 1827741 SOS 285906 HAS SOPS 285906 HAS SOUS 214298 HAS SOUPS 214298 WITH SCORE 214583.906
AT ITER 3115 NEW BEST:: SOT 1827763 SOS 285884 HAS SOPS 285884 HAS SOUS 214276 HAS SOUPS 214276 WITH SCORE 214561.884
AT ITER 3121 NEW BEST:: SOT 1827634 SOS 285686 HAS SOPS 285686 HAS SOUS 214110 HAS SOUPS 214110 WITH SCORE 214395.686
AT ITER 3183 NEW BEST:: SOT 1827186 SOS 285320 HAS SOPS 285320 HAS SOUS 213744 HAS SOUPS 213744 WITH SCORE 214029.32
AT ITER 3189 NEW BEST:: SOT 1827171 SOS 285308 HAS SOPS 285308 HAS SOUS 213732 HAS SOUPS 213732 WITH SCORE 214017.308
AT ITER 3193 NEW BEST:: SOT 1827144 SOS 285173 HAS SOPS 285173 HAS SOUS 213685 HAS SOUPS 213685 WITH SCORE 213970.173
AT ITER 3228 NEW BEST:: SOT 1827093 SOS 280371 HAS SOPS 280371 HAS SOUS 213539 HAS SOUPS 213539 WITH SCORE 213819.371
AT ITER 3231 NEW BEST:: SOT 1827103 SOS 280555 HAS SOPS 280555 HAS SOUS 213504 HAS SOUPS 213504 WITH SCORE 213784.555
AT ITER 3262 NEW BEST:: SOT 1827100 SOS 280549 HAS SOPS 280549 HAS SOUS 213501 HAS SOUPS 213501 WITH SCORE 213781.549
AT ITER 3309 NEW BEST:: SOT 1826718 SOS 280189 HAS SOPS 280189 HAS SOUS 213129 HAS SOUPS 213129 WITH SCORE 213409.189
AT ITER 3329 NEW BEST:: SOT 1826683 SOS 280049 HAS SOPS 280049 HAS SOUS 213059 HAS SOUPS 213059 WITH SCORE 213339.049
AT ITER 3333 NEW BEST:: SOT 1826708 SOS 280019 HAS SOPS 280019 HAS SOUS 213035 HAS SOUPS 213035 WITH SCORE 213315.019
AT ITER 3342 NEW BEST:: SOT 1826708 SOS 280031 HAS SOPS 280031 HAS SOUS 213023 HAS SOUPS 213023 WITH SCORE 213303.031
AT ITER 3346 NEW BEST:: SOT 1826678 SOS 279986 HAS SOPS 279986 HAS SOUS 212993 HAS SOUPS 212993 WITH SCORE 213272.986
AT ITER 3350 NEW BEST:: SOT 1826653 SOS 279936 HAS SOPS 279936 HAS SOUS 212918 HAS SOUPS 212918 WITH SCORE 213197.936
AT ITER 3370 NEW BEST:: SOT 1826653 SOS 279985 HAS SOPS 279985 HAS SOUS 212673 HAS SOUPS 212673 WITH SCORE 212952.985
AT ITER 3403 NEW BEST:: SOT 1826674 SOS 279985 HAS SOPS 279985 HAS SOUS 212671 HAS SOUPS 212671 WITH SCORE 212950.985
AT ITER 3444 NEW BEST:: SOT 1826611 SOS 279922 HAS SOPS 279922 HAS SOUS 212591 HAS SOUPS 212591 WITH SCORE 212870.922
AT ITER 3469 NEW BEST:: SOT 1826610 SOS 279920 HAS SOPS 279920 HAS SOUS 212589 HAS SOUPS 212589 WITH SCORE 212868.92
AT ITER 3503 NEW BEST:: SOT 1826610 SOS 279918 HAS SOPS 279918 HAS SOUS 212587 HAS SOUPS 212587 WITH SCORE 212866.918
AT ITER 3523 NEW BEST:: SOT 1826361 SOS 279716 HAS SOPS 279716 HAS SOUS 212340 HAS SOUPS 212340 WITH SCORE 212619.716
AT ITER 3539 NEW BEST:: SOT 1826361 SOS 279542 HAS SOPS 279542 HAS SOUS 212281 HAS SOUPS 212281 WITH SCORE 212560.542
AT ITER 3550 NEW BEST:: SOT 1826361 SOS 279599 HAS SOPS 279599 HAS SOUS 212261 HAS SOUPS 212261 WITH SCORE 212540.599
AT ITER 3576 NEW BEST:: SOT 1826468 SOS 279458 HAS SOPS 279458 HAS SOUS 212224 HAS SOUPS 212224 WITH SCORE 212503.458
AT ITER 3640 NEW BEST:: SOT 1826383 SOS 280153 HAS SOPS 280153 HAS SOUS 212154 HAS SOUPS 212154 WITH SCORE 212434.153
AT ITER 3643 NEW BEST:: SOT 1826383 SOS 280153 HAS SOPS 280153 HAS SOUS 212105 HAS SOUPS 212105 WITH SCORE 212385.153
AT ITER 3646 NEW BEST:: SOT 1826259 SOS 280059 HAS SOPS 280059 HAS SOUS 211950 HAS SOUPS 211950 WITH SCORE 212230.059
AT ITER 3658 NEW BEST:: SOT 1826151 SOS 279976 HAS SOPS 279976 HAS SOUS 211847 HAS SOUPS 211847 WITH SCORE 212126.976
AT ITER 3664 NEW BEST:: SOT 1826087 SOS 279848 HAS SOPS 279848 HAS SOUS 211792 HAS SOUPS 211792 WITH SCORE 212071.848
AT ITER 3678 NEW BEST:: SOT 1826041 SOS 279808 HAS SOPS 279808 HAS SOUS 211746 HAS SOUPS 211746 WITH SCORE 212025.808
AT ITER 3691 NEW BEST:: SOT 1825964 SOS 279849 HAS SOPS 279849 HAS SOUS 211728 HAS SOUPS 211728 WITH SCORE 212007.849
AT ITER 3699 NEW BEST:: SOT 1826047 SOS 278768 HAS SOPS 278768 HAS SOUS 211709 HAS SOUPS 211709 WITH SCORE 211987.768
AT ITER 3702 NEW BEST:: SOT 1825787 SOS 278364 HAS SOPS 278364 HAS SOUS 211333 HAS SOUPS 211333 WITH SCORE 211611.364
AT ITER 3758 NEW BEST:: SOT 1825779 SOS 278363 HAS SOPS 278363 HAS SOUS 211332 HAS SOUPS 211332 WITH SCORE 211610.363
AT ITER 3788 NEW BEST:: SOT 1825759 SOS 278363 HAS SOPS 278363 HAS SOUS 211312 HAS SOUPS 211312 WITH SCORE 211590.363
AT ITER 3803 NEW BEST:: SOT 1825759 SOS 278363 HAS SOPS 278363 HAS SOUS 211294 HAS SOUPS 211294 WITH SCORE 211572.363
AT ITER 3814 NEW BEST:: SOT 1825716 SOS 278322 HAS SOPS 278322 HAS SOUS 211253 HAS SOUPS 211253 WITH SCORE 211531.322
AT ITER 3821 NEW BEST:: SOT 1825669 SOS 278285 HAS SOPS 278285 HAS SOUS 211216 HAS SOUPS 211216 WITH SCORE 211494.285
AT ITER 3859 NEW BEST:: SOT 1825636 SOS 278120 HAS SOPS 278120 HAS SOUS 211183 HAS SOUPS 211183 WITH SCORE 211461.12
AT ITER 3861 NEW BEST:: SOT 1825463 SOS 277885 HAS SOPS 277885 HAS SOUS 210894 HAS SOUPS 210894 WITH SCORE 211171.885
AT ITER 3880 NEW BEST:: SOT 1825441 SOS 277904 HAS SOPS 277904 HAS SOUS 210890 HAS SOUPS 210890 WITH SCORE 211167.904
AT ITER 3881 NEW BEST:: SOT 1825370 SOS 277860 HAS SOPS 277860 HAS SOUS 210821 HAS SOUPS 210821 WITH SCORE 211098.86
AT ITER 3934 NEW BEST:: SOT 1825320 SOS 277935 HAS SOPS 277935 HAS SOUS 210711 HAS SOUPS 210711 WITH SCORE 210988.935
AT ITER 3944 NEW BEST:: SOT 1825310 SOS 277905 HAS SOPS 277905 HAS SOUS 210696 HAS SOUPS 210696 WITH SCORE 210973.905
AT ITER 3997 NEW BEST:: SOT 1825270 SOS 277835 HAS SOPS 277835 HAS SOUS 210646 HAS SOUPS 210646 WITH SCORE 210923.835
AT ITER 4002 NEW BEST:: SOT 1825242 SOS 277784 HAS SOPS 277784 HAS SOUS 210534 HAS SOUPS 210534 WITH SCORE 210811.784
AT ITER 4005 NEW BEST:: SOT 1825232 SOS 277774 HAS SOPS 277774 HAS SOUS 210524 HAS SOUPS 210524 WITH SCORE 210801.774
AT ITER 4016 NEW BEST:: SOT 1825232 SOS 277741 HAS SOPS 277741 HAS SOUS 210491 HAS SOUPS 210491 WITH SCORE 210768.741
AT ITER 4024 NEW BEST:: SOT 1825203 SOS 277628 HAS SOPS 277628 HAS SOUS 210443 HAS SOUPS 210443 WITH SCORE 210720.628
AT ITER 4028 NEW BEST:: SOT 1825186 SOS 277609 HAS SOPS 277609 HAS SOUS 210408 HAS SOUPS 210408 WITH SCORE 210685.609
AT ITER 4038 NEW BEST:: SOT 1825030 SOS 277637 HAS SOPS 277637 HAS SOUS 210096 HAS SOUPS 210096 WITH SCORE 210373.637
AT ITER 4040 NEW BEST:: SOT 1824955 SOS 277173 HAS SOPS 277173 HAS SOUS 210089 HAS SOUPS 210089 WITH SCORE 210366.173
AT ITER 4085 NEW BEST:: SOT 1824397 SOS 276773 HAS SOPS 276773 HAS SOUS 209565 HAS SOUPS 209565 WITH SCORE 209841.773
AT ITER 4101 NEW BEST:: SOT 1824393 SOS 276765 HAS SOPS 276765 HAS SOUS 209557 HAS SOUPS 209557 WITH SCORE 209833.765
AT ITER 4125 NEW BEST:: SOT 1824185 SOS 276661 HAS SOPS 276661 HAS SOUS 209453 HAS SOUPS 209453 WITH SCORE 209729.661
AT ITER 4128 NEW BEST:: SOT 1824184 SOS 276659 HAS SOPS 276659 HAS SOUS 209453 HAS SOUPS 209453 WITH SCORE 209729.659
AT ITER 4139 NEW BEST:: SOT 1824179 SOS 276654 HAS SOPS 276654 HAS SOUS 209448 HAS SOUPS 209448 WITH SCORE 209724.654
AT ITER 4162 NEW BEST:: SOT 1824046 SOS 276415 HAS SOPS 276415 HAS SOUS 209254 HAS SOUPS 209254 WITH SCORE 209530.415
AT ITER 4163 NEW BEST:: SOT 1824024 SOS 276465 HAS SOPS 276465 HAS SOUS 209150 HAS SOUPS 209150 WITH SCORE 209426.465
AT ITER 4168 NEW BEST:: SOT 1824058 SOS 276481 HAS SOPS 276481 HAS SOUS 209140 HAS SOUPS 209140 WITH SCORE 209416.481
AT ITER 4179 NEW BEST:: SOT 1823923 SOS 276211 HAS SOPS 276211 HAS SOUS 208944 HAS SOUPS 208944 WITH SCORE 209220.211
AT ITER 4192 NEW BEST:: SOT 1823923 SOS 275422 HAS SOPS 275422 HAS SOUS 208056 HAS SOUPS 208056 WITH SCORE 208331.422
AT ITER 4202 NEW BEST:: SOT 1823512 SOS 275020 HAS SOPS 275020 HAS SOUS 207639 HAS SOUPS 207639 WITH SCORE 207914.02
AT ITER 4249 NEW BEST:: SOT 1823512 SOS 274995 HAS SOPS 274995 HAS SOUS 207615 HAS SOUPS 207615 WITH SCORE 207889.995
AT ITER 4263 NEW BEST:: SOT 1823400 SOS 274634 HAS SOPS 274634 HAS SOUS 207231 HAS SOUPS 207231 WITH SCORE 207505.634
AT ITER 4270 NEW BEST:: SOT 1823248 SOS 274368 HAS SOPS 274368 HAS SOUS 207003 HAS SOUPS 207003 WITH SCORE 207277.368
AT ITER 4294 NEW BEST:: SOT 1823213 SOS 274298 HAS SOPS 274298 HAS SOUS 206933 HAS SOUPS 206933 WITH SCORE 207207.298
AT ITER 4297 NEW BEST:: SOT 1823182 SOS 274189 HAS SOPS 274189 HAS SOUS 206824 HAS SOUPS 206824 WITH SCORE 207098.189
AT ITER 4332 NEW BEST:: SOT 1823182 SOS 274117 HAS SOPS 274117 HAS SOUS 206824 HAS SOUPS 206824 WITH SCORE 207098.117
AT ITER 4355 NEW BEST:: SOT 1823182 SOS 274224 HAS SOPS 274224 HAS SOUS 206791 HAS SOUPS 206791 WITH SCORE 207065.224
AT ITER 4375 NEW BEST:: SOT 1823181 SOS 274043 HAS SOPS 274043 HAS SOUS 206762 HAS SOUPS 206762 WITH SCORE 207036.043
AT ITER 4403 NEW BEST:: SOT 1823141 SOS 274331 HAS SOPS 274331 HAS SOUS 206653 HAS SOUPS 206653 WITH SCORE 206927.331
AT ITER 4428 NEW BEST:: SOT 1823149 SOS 274270 HAS SOPS 274270 HAS SOUS 206596 HAS SOUPS 206596 WITH SCORE 206870.27
AT ITER 4466 NEW BEST:: SOT 1823130 SOS 274322 HAS SOPS 274322 HAS SOUS 206578 HAS SOUPS 206578 WITH SCORE 206852.322
AT ITER 4477 NEW BEST:: SOT 1823112 SOS 274310 HAS SOPS 274310 HAS SOUS 206556 HAS SOUPS 206556 WITH SCORE 206830.31
AT ITER 4516 NEW BEST:: SOT 1823112 SOS 274080 HAS SOPS 274080 HAS SOUS 206556 HAS SOUPS 206556 WITH SCORE 206830.08
AT ITER 4523 NEW BEST:: SOT 1823035 SOS 274003 HAS SOPS 274003 HAS SOUS 206401 HAS SOUPS 206401 WITH SCORE 206675.003
AT ITER 4565 NEW BEST:: SOT 1822885 SOS 273432 HAS SOPS 273432 HAS SOUS 206161 HAS SOUPS 206161 WITH SCORE 206434.432
AT ITER 4604 NEW BEST:: SOT 1822930 SOS 273317 HAS SOPS 273317 HAS SOUS 206093 HAS SOUPS 206093 WITH SCORE 206366.317
AT ITER 4616 NEW BEST:: SOT 1822764 SOS 273027 HAS SOPS 273027 HAS SOUS 205870 HAS SOUPS 205870 WITH SCORE 206143.027
AT ITER 4631 NEW BEST:: SOT 1822576 SOS 273131 HAS SOPS 273131 HAS SOUS 205609 HAS SOUPS 205609 WITH SCORE 205882.131
AT ITER 4663 NEW BEST:: SOT 1822562 SOS 273103 HAS SOPS 273103 HAS SOUS 205581 HAS SOUPS 205581 WITH SCORE 205854.103
AT ITER 4673 NEW BEST:: SOT 1822435 SOS 272595 HAS SOPS 272595 HAS SOUS 205327 HAS SOUPS 205327 WITH SCORE 205599.595
AT ITER 4728 NEW BEST:: SOT 1822425 SOS 272585 HAS SOPS 272585 HAS SOUS 205317 HAS SOUPS 205317 WITH SCORE 205589.585
AT ITER 4734 NEW BEST:: SOT 1822359 SOS 272856 HAS SOPS 272856 HAS SOUS 204847 HAS SOUPS 204847 WITH SCORE 205119.856
AT ITER 4754 NEW BEST:: SOT 1821893 SOS 272179 HAS SOPS 272179 HAS SOUS 204343 HAS SOUPS 204343 WITH SCORE 204615.179
AT ITER 4773 NEW BEST:: SOT 1821866 SOS 272071 HAS SOPS 272071 HAS SOUS 204289 HAS SOUPS 204289 WITH SCORE 204561.071
AT ITER 4781 NEW BEST:: SOT 1821798 SOS 271969 HAS SOPS 271969 HAS SOUS 204153 HAS SOUPS 204153 WITH SCORE 204424.969
AT ITER 4782 NEW BEST:: SOT 1821798 SOS 271936 HAS SOPS 271936 HAS SOUS 204120 HAS SOUPS 204120 WITH SCORE 204391.936
AT ITER 4791 NEW BEST:: SOT 1821753 SOS 271846 HAS SOPS 271846 HAS SOUS 203923 HAS SOUPS 203923 WITH SCORE 204194.846
AT ITER 4792 NEW BEST:: SOT 1821716 SOS 271706 HAS SOPS 271706 HAS SOUS 203849 HAS SOUPS 203849 WITH SCORE 204120.706
AT ITER 4797 NEW BEST:: SOT 1821787 SOS 271848 HAS SOPS 271848 HAS SOUS 203840 HAS SOUPS 203840 WITH SCORE 204111.848
AT ITER 4831 NEW BEST:: SOT 1821550 SOS 271653 HAS SOPS 271653 HAS SOUS 203603 HAS SOUPS 203603 WITH SCORE 203874.653
AT ITER 4866 NEW BEST:: SOT 1821550 SOS 271751 HAS SOPS 271751 HAS SOUS 203594 HAS SOUPS 203594 WITH SCORE 203865.751
AT ITER 4909 NEW BEST:: SOT 1821514 SOS 271897 HAS SOPS 271897 HAS SOUS 203558 HAS SOUPS 203558 WITH SCORE 203829.897
AT ITER 4911 NEW BEST:: SOT 1821390 SOS 271646 HAS SOPS 271646 HAS SOUS 203501 HAS SOUPS 203501 WITH SCORE 203772.646
AT ITER 4945 NEW BEST:: SOT 1821285 SOS 271748 HAS SOPS 271748 HAS SOUS 203470 HAS SOUPS 203470 WITH SCORE 203741.748
AT ITER 4948 NEW BEST:: SOT 1821269 SOS 271724 HAS SOPS 271724 HAS SOUS 203454 HAS SOUPS 203454 WITH SCORE 203725.724
AT ITER 4949 NEW BEST:: SOT 1821264 SOS 271764 HAS SOPS 271764 HAS SOUS 203449 HAS SOUPS 203449 WITH SCORE 203720.764
AT ITER 4957 NEW BEST:: SOT 1821224 SOS 271715 HAS SOPS 271715 HAS SOUS 203378 HAS SOUPS 203378 WITH SCORE 203649.715
AT ITER 4988 NEW BEST:: SOT 1821167 SOS 271533 HAS SOPS 271533 HAS SOUS 203249 HAS SOUPS 203249 WITH SCORE 203520.533
AT ITER 4991 NEW BEST:: SOT 1821180 SOS 271411 HAS SOPS 271411 HAS SOUS 203214 HAS SOUPS 203214 WITH SCORE 203485.411
AT ITER 4998 NEW BEST:: SOT 1821147 SOS 271345 HAS SOPS 271345 HAS SOUS 203107 HAS SOUPS 203107 WITH SCORE 203378.345
Bounds file is: CTLFireability.xml
PROPERTY: NoC3x3-PT-5B-CTLFireability-00 ( (! (EU( (! ((potential((tk(P1424)>=1))))) , ( ((potential((tk(P73)>=1)))) & ((potential((tk(P645)>=1) & (tk(P876)>=1)))) ) ))) | ( (EX( ( ((potential((tk(P113)>=1)))) | ( ((potential((tk(P1492)>=1) & (tk(P1553)>=1)))) | ((potential((tk(P1207)>=1) & (tk(P1248)>=1)))) ) ))) | (AX( (AF( ((potential((tk(P731)>=1)))))))) ) )
PROPERTY: NoC3x3-PT-5B-CTLFireability-01 (! (EF( ( ((potential((tk(P1021)>=1) & (tk(P1057)>=1)))) & (EG( ((potential((tk(P221)>=1)))))) ))))
PROPERTY: NoC3x3-PT-5B-CTLFireability-02 (EX( ( (AG( (! ((potential((tk(P1001)>=1) & (tk(P1151)>=1))))))) | (EU( ((potential((tk(P567)>=1)))) , ((potential((tk(P476)>=1) & (tk(P557)>=1)))) )) )))
PROPERTY: NoC3x3-PT-5B-CTLFireability-03 (AG( ( ( (EX( ((potential((tk(P1203)>=1)))))) | (! (! ((potential((tk(P1248)>=1)))))) ) | (EF( ((potential((tk(P660)>=1) & (tk(P1064)>=1)))))) )))
PROPERTY: NoC3x3-PT-5B-CTLFireability-04 (AF( (EF( ( (! ((potential((tk(P938)>=1))))) & ( ((potential((tk(P616)>=1) & (tk(P781)>=1)))) | ((potential((tk(P1341)>=1)))) ) )))))
PROPERTY: NoC3x3-PT-5B-CTLFireability-05 (EF( (EU( (! ((potential((tk(P1492)>=1) & (tk(P1530)>=1))))) , ( ((potential((tk(P812)>=1)))) | ((potential((tk(P699)>=1)))) ) ))))
PROPERTY: NoC3x3-PT-5B-CTLFireability-06 ( ( ( (! (EF( ((potential((tk(P885)>=1))))))) | ( ((potential((tk(P1482)>=1)))) | ( ( ((potential((tk(P1118)>=1)))) | ((potential((tk(P1304)>=1) & (tk(P1401)>=1)))) ) | ( ((potential((tk(P1183)>=1)))) & ((potential((tk(P99)>=1) & (tk(P181)>=1)))) ) ) ) ) & (AG( ( (! ((potential((tk(P115)>=1))))) | ((potential((tk(P1568)>=1)))) ))) ) | (EU( ( ((potential((tk(P454)>=1) & (tk(P512)>=1)))) | (! ((potential((tk(P15)>=1))))) ) , ( ( ((potential((tk(P245)>=1)))) & ((potential((tk(P95)>=1) & (tk(P136)>=1)))) ) & ( ((potential((tk(P586)>=1)))) | ((potential((tk(P151)>=1) & (tk(P307)>=1)))) ) ) )) )
PROPERTY: NoC3x3-PT-5B-CTLFireability-07 (AG( (AF( ( (! ((potential((tk(P1311)>=1) & (tk(P1430)>=1))))) & (! ((potential((tk(P663)>=1) & (tk(P922)>=1))))) )))))
PROPERTY: NoC3x3-PT-5B-CTLFireability-08 (! (EU( (EF( ((potential((tk(P195)>=1)))))) , ( ( ((potential((tk(P38)>=1)))) | ((potential((tk(P535)>=1)))) ) | ( ((potential((tk(P500)>=1)))) | ((potential((tk(P366)>=1) & (tk(P412)>=1)))) ) ) )))
PROPERTY: NoC3x3-PT-5B-CTLFireability-09 (AG( (! (EX( ((potential((tk(P1089)>=1)))))))))
PROPERTY: NoC3x3-PT-5B-CTLFireability-10 (EX( (EF( (EG( ((potential((tk(P1063)>=1))))))))))
PROPERTY: NoC3x3-PT-5B-CTLFireability-11 (EU( (! ( ( ((potential((tk(P1298)>=1) & (tk(P1460)>=1)))) | ((potential((tk(P347)>=1) & (tk(P414)>=1)))) ) & ( ((potential((tk(P1460)>=1)))) | ((potential((tk(P1001)>=1) & (tk(P1135)>=1)))) ) )) , (AF( ( ((potential((tk(P883)>=1)))) | ((potential((tk(P1286)>=1)))) ))) ))
PROPERTY: NoC3x3-PT-5B-CTLFireability-12 (AG( (AF( (! ( ((potential((tk(P1243)>=1)))) & ((potential((tk(P1569)>=1)))) ))))))
PROPERTY: NoC3x3-PT-5B-CTLFireability-13 (AG( (EF( (AF( ((potential((tk(P609)>=1))))))))))
PROPERTY: NoC3x3-PT-5B-CTLFireability-14 (EF( ( ( (AX( ((potential((tk(P1298)>=1) & (tk(P1460)>=1)))))) | ((potential((tk(P1434)>=1)))) ) & (AG( ((potential((tk(P196)>=1) & (tk(P226)>=1)))))) )))
PROPERTY: NoC3x3-PT-5B-CTLFireability-15 (EG( (EF( (AX( ((potential((tk(P1005)>=1) & (tk(P1040)>=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-5B"
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-5B, 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-158961250500404"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-5B.tgz
mv NoC3x3-PT-5B 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 ;