About the Execution of smart for NoC3x3-PT-8B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.810 | 3600000.00 | 3599980.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-158961250500452.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-8B, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500452
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 4.1K Apr 8 15:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 8 15:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 18:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 7 18:42 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.1K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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.8K Apr 6 20:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 6 20:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 6 04:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 6 04:04 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 3.0M 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-8B-CTLFireability-00
FORMULA_NAME NoC3x3-PT-8B-CTLFireability-01
FORMULA_NAME NoC3x3-PT-8B-CTLFireability-02
FORMULA_NAME NoC3x3-PT-8B-CTLFireability-03
FORMULA_NAME NoC3x3-PT-8B-CTLFireability-04
FORMULA_NAME NoC3x3-PT-8B-CTLFireability-05
FORMULA_NAME NoC3x3-PT-8B-CTLFireability-06
FORMULA_NAME NoC3x3-PT-8B-CTLFireability-07
FORMULA_NAME NoC3x3-PT-8B-CTLFireability-08
FORMULA_NAME NoC3x3-PT-8B-CTLFireability-09
FORMULA_NAME NoC3x3-PT-8B-CTLFireability-10
FORMULA_NAME NoC3x3-PT-8B-CTLFireability-11
FORMULA_NAME NoC3x3-PT-8B-CTLFireability-12
FORMULA_NAME NoC3x3-PT-8B-CTLFireability-13
FORMULA_NAME NoC3x3-PT-8B-CTLFireability-14
FORMULA_NAME NoC3x3-PT-8B-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589644229557
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 8B
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: 9140 places, 14577 transitions, 30726 arcs.
AT ITER 0 NEW BEST:: SOT 69147713 SOS 8174620 HAS SOPS 8174620 HAS SOUS 5957584 HAS SOUPS 5957584 WITH SCORE 5965758.62
AT ITER 6 NEW BEST:: SOT 69146718 SOS 8173426 HAS SOPS 8173426 HAS SOUS 5956390 HAS SOUPS 5956390 WITH SCORE 5964563.426
AT ITER 8 NEW BEST:: SOT 69146516 SOS 8173022 HAS SOPS 8173022 HAS SOUS 5956188 HAS SOUPS 5956188 WITH SCORE 5964361.022
AT ITER 48 NEW BEST:: SOT 69145884 SOS 8171758 HAS SOPS 8171758 HAS SOUS 5955556 HAS SOUPS 5955556 WITH SCORE 5963727.758
AT ITER 51 NEW BEST:: SOT 69145515 SOS 8171019 HAS SOPS 8171019 HAS SOUS 5954817 HAS SOUPS 5954817 WITH SCORE 5962988.019
AT ITER 70 NEW BEST:: SOT 69144585 SOS 8170011 HAS SOPS 8170011 HAS SOUS 5953809 HAS SOUPS 5953809 WITH SCORE 5961979.011
AT ITER 71 NEW BEST:: SOT 69144537 SOS 8169867 HAS SOPS 8169867 HAS SOUS 5953713 HAS SOUPS 5953713 WITH SCORE 5961882.867
AT ITER 96 NEW BEST:: SOT 69100939 SOS 8130475 HAS SOPS 8130475 HAS SOUS 5910115 HAS SOUPS 5910115 WITH SCORE 5918245.475
AT ITER 109 NEW BEST:: SOT 69100939 SOS 8130661 HAS SOPS 8130661 HAS SOUS 5910109 HAS SOUPS 5910109 WITH SCORE 5918239.661
AT ITER 134 NEW BEST:: SOT 69100868 SOS 8130710 HAS SOPS 8130710 HAS SOUS 5909981 HAS SOUPS 5909981 WITH SCORE 5918111.71
AT ITER 170 NEW BEST:: SOT 69100868 SOS 8130635 HAS SOPS 8130635 HAS SOUS 5909981 HAS SOUPS 5909981 WITH SCORE 5918111.635
AT ITER 173 NEW BEST:: SOT 69100441 SOS 8129781 HAS SOPS 8129781 HAS SOUS 5909553 HAS SOUPS 5909553 WITH SCORE 5917682.781
AT ITER 174 NEW BEST:: SOT 69098959 SOS 8133407 HAS SOPS 8133407 HAS SOUS 5908903 HAS SOUPS 5908903 WITH SCORE 5917036.407
AT ITER 175 NEW BEST:: SOT 69098492 SOS 8131145 HAS SOPS 8131145 HAS SOUS 5908633 HAS SOUPS 5908633 WITH SCORE 5916764.145
AT ITER 191 NEW BEST:: SOT 69097952 SOS 8130874 HAS SOPS 8130874 HAS SOUS 5908361 HAS SOUPS 5908361 WITH SCORE 5916491.874
AT ITER 208 NEW BEST:: SOT 69097638 SOS 8129847 HAS SOPS 8129847 HAS SOUS 5908131 HAS SOUPS 5908131 WITH SCORE 5916260.847
AT ITER 231 NEW BEST:: SOT 69069789 SOS 8190457 HAS SOPS 8190457 HAS SOUS 5884320 HAS SOUPS 5884320 WITH SCORE 5892510.457
AT ITER 252 NEW BEST:: SOT 69069577 SOS 8190385 HAS SOPS 8190385 HAS SOUS 5884049 HAS SOUPS 5884049 WITH SCORE 5892239.385
AT ITER 292 NEW BEST:: SOT 69067281 SOS 8199053 HAS SOPS 8199053 HAS SOUS 5883470 HAS SOUPS 5883470 WITH SCORE 5891669.053
AT ITER 293 NEW BEST:: SOT 69065369 SOS 8197548 HAS SOPS 8197548 HAS SOUS 5881146 HAS SOUPS 5881146 WITH SCORE 5889343.548
AT ITER 311 NEW BEST:: SOT 69055417 SOS 8709704 HAS SOPS 8709704 HAS SOUS 5878039 HAS SOUPS 5878039 WITH SCORE 5886748.704
AT ITER 335 NEW BEST:: SOT 69055155 SOS 8709180 HAS SOPS 8709180 HAS SOUS 5877646 HAS SOUPS 5877646 WITH SCORE 5886355.18
AT ITER 338 NEW BEST:: SOT 68954662 SOS 8612534 HAS SOPS 8612534 HAS SOUS 5777153 HAS SOUPS 5777153 WITH SCORE 5785765.534
AT ITER 390 NEW BEST:: SOT 68954520 SOS 8611966 HAS SOPS 8611966 HAS SOUS 5777011 HAS SOUPS 5777011 WITH SCORE 5785622.966
AT ITER 395 NEW BEST:: SOT 68954353 SOS 8611632 HAS SOPS 8611632 HAS SOUS 5776677 HAS SOUPS 5776677 WITH SCORE 5785288.632
AT ITER 399 NEW BEST:: SOT 68954353 SOS 8611268 HAS SOPS 8611268 HAS SOUS 5776677 HAS SOUPS 5776677 WITH SCORE 5785288.268
AT ITER 403 NEW BEST:: SOT 68954212 SOS 8610986 HAS SOPS 8610986 HAS SOUS 5776535 HAS SOUPS 5776535 WITH SCORE 5785145.986
AT ITER 422 NEW BEST:: SOT 68932061 SOS 8731104 HAS SOPS 8731104 HAS SOUS 5758706 HAS SOUPS 5758706 WITH SCORE 5767437.104
AT ITER 433 NEW BEST:: SOT 68931404 SOS 8729790 HAS SOPS 8729790 HAS SOUS 5758048 HAS SOUPS 5758048 WITH SCORE 5766777.79
AT ITER 453 NEW BEST:: SOT 68930743 SOS 8728468 HAS SOPS 8728468 HAS SOUS 5757387 HAS SOUPS 5757387 WITH SCORE 5766115.468
AT ITER 465 NEW BEST:: SOT 68930743 SOS 8727313 HAS SOPS 8727313 HAS SOUS 5757387 HAS SOUPS 5757387 WITH SCORE 5766114.313
AT ITER 489 NEW BEST:: SOT 68930410 SOS 8727129 HAS SOPS 8727129 HAS SOUS 5756922 HAS SOUPS 5756922 WITH SCORE 5765649.129
AT ITER 505 NEW BEST:: SOT 68930404 SOS 8726197 HAS SOPS 8726197 HAS SOUS 5756916 HAS SOUPS 5756916 WITH SCORE 5765642.197
AT ITER 539 NEW BEST:: SOT 68928417 SOS 8724263 HAS SOPS 8724263 HAS SOUS 5754982 HAS SOUPS 5754982 WITH SCORE 5763706.263
AT ITER 566 NEW BEST:: SOT 68927884 SOS 8723685 HAS SOPS 8723685 HAS SOUS 5754892 HAS SOUPS 5754892 WITH SCORE 5763615.685
AT ITER 570 NEW BEST:: SOT 68927431 SOS 8721663 HAS SOPS 8721663 HAS SOUS 5754459 HAS SOUPS 5754459 WITH SCORE 5763180.663
AT ITER 622 NEW BEST:: SOT 68927431 SOS 8720693 HAS SOPS 8720693 HAS SOUS 5754051 HAS SOUPS 5754051 WITH SCORE 5762771.693
AT ITER 623 NEW BEST:: SOT 68927061 SOS 8719953 HAS SOPS 8719953 HAS SOUS 5753680 HAS SOUPS 5753680 WITH SCORE 5762399.953
AT ITER 646 NEW BEST:: SOT 68926980 SOS 8719791 HAS SOPS 8719791 HAS SOUS 5753518 HAS SOUPS 5753518 WITH SCORE 5762237.791
AT ITER 660 NEW BEST:: SOT 68926844 SOS 8719784 HAS SOPS 8719784 HAS SOUS 5753366 HAS SOUPS 5753366 WITH SCORE 5762085.784
AT ITER 681 NEW BEST:: SOT 68925469 SOS 8721146 HAS SOPS 8721146 HAS SOUS 5752991 HAS SOUPS 5752991 WITH SCORE 5761712.146
AT ITER 684 NEW BEST:: SOT 68922384 SOS 8718846 HAS SOPS 8718846 HAS SOUS 5749132 HAS SOUPS 5749132 WITH SCORE 5757850.846
AT ITER 690 NEW BEST:: SOT 68922213 SOS 8722299 HAS SOPS 8722299 HAS SOUS 5748857 HAS SOUPS 5748857 WITH SCORE 5757579.299
AT ITER 715 NEW BEST:: SOT 68922228 SOS 8722056 HAS SOPS 8722056 HAS SOUS 5748851 HAS SOUPS 5748851 WITH SCORE 5757573.056
AT ITER 721 NEW BEST:: SOT 68922091 SOS 8721782 HAS SOPS 8721782 HAS SOUS 5748820 HAS SOUPS 5748820 WITH SCORE 5757541.782
AT ITER 738 NEW BEST:: SOT 68922025 SOS 8721650 HAS SOPS 8721650 HAS SOUS 5748721 HAS SOUPS 5748721 WITH SCORE 5757442.65
AT ITER 764 NEW BEST:: SOT 68920277 SOS 8720692 HAS SOPS 8720692 HAS SOUS 5746758 HAS SOUPS 5746758 WITH SCORE 5755478.692
AT ITER 784 NEW BEST:: SOT 68919523 SOS 8720204 HAS SOPS 8720204 HAS SOUS 5745743 HAS SOUPS 5745743 WITH SCORE 5754463.204
AT ITER 790 NEW BEST:: SOT 68919103 SOS 8718837 HAS SOPS 8718837 HAS SOUS 5745323 HAS SOUPS 5745323 WITH SCORE 5754041.837
AT ITER 832 NEW BEST:: SOT 68919158 SOS 8718419 HAS SOPS 8718419 HAS SOUS 5745186 HAS SOUPS 5745186 WITH SCORE 5753904.419
AT ITER 855 NEW BEST:: SOT 68919158 SOS 8718419 HAS SOPS 8718419 HAS SOUS 5745185 HAS SOUPS 5745185 WITH SCORE 5753903.419
AT ITER 891 NEW BEST:: SOT 68798877 SOS 8840901 HAS SOPS 8840901 HAS SOUS 5629015 HAS SOUPS 5629015 WITH SCORE 5637855.901
AT ITER 894 NEW BEST:: SOT 68798665 SOS 8840904 HAS SOPS 8840904 HAS SOUS 5629013 HAS SOUPS 5629013 WITH SCORE 5637853.904
AT ITER 908 NEW BEST:: SOT 68798503 SOS 8840377 HAS SOPS 8840377 HAS SOUS 5628486 HAS SOUPS 5628486 WITH SCORE 5637326.377
AT ITER 942 NEW BEST:: SOT 68798378 SOS 8840207 HAS SOPS 8840207 HAS SOUS 5628281 HAS SOUPS 5628281 WITH SCORE 5637121.207
AT ITER 965 NEW BEST:: SOT 68798378 SOS 8839837 HAS SOPS 8839837 HAS SOUS 5628281 HAS SOUPS 5628281 WITH SCORE 5637120.837
AT ITER 1012 NEW BEST:: SOT 68798132 SOS 8839637 HAS SOPS 8839637 HAS SOUS 5628079 HAS SOUPS 5628079 WITH SCORE 5636918.637
AT ITER 1052 NEW BEST:: SOT 68797695 SOS 8839205 HAS SOPS 8839205 HAS SOUS 5627421 HAS SOUPS 5627421 WITH SCORE 5636260.205
AT ITER 1056 NEW BEST:: SOT 68796544 SOS 8838348 HAS SOPS 8838348 HAS SOUS 5625986 HAS SOUPS 5625986 WITH SCORE 5634824.348
AT ITER 1066 NEW BEST:: SOT 68796544 SOS 8838348 HAS SOPS 8838348 HAS SOUS 5625985 HAS SOUPS 5625985 WITH SCORE 5634823.348
AT ITER 1084 NEW BEST:: SOT 68766958 SOS 9013161 HAS SOPS 9013161 HAS SOUS 5604256 HAS SOUPS 5604256 WITH SCORE 5613269.161
AT ITER 1100 NEW BEST:: SOT 68766858 SOS 9012961 HAS SOPS 9012961 HAS SOUS 5604155 HAS SOUPS 5604155 WITH SCORE 5613167.961
AT ITER 1102 NEW BEST:: SOT 68766886 SOS 9011682 HAS SOPS 9011682 HAS SOUS 5603953 HAS SOUPS 5603953 WITH SCORE 5612964.682
AT ITER 1108 NEW BEST:: SOT 68766372 SOS 9010654 HAS SOPS 9010654 HAS SOUS 5602925 HAS SOUPS 5602925 WITH SCORE 5611935.654
AT ITER 1120 NEW BEST:: SOT 68766372 SOS 9010447 HAS SOPS 9010447 HAS SOUS 5602766 HAS SOUPS 5602766 WITH SCORE 5611776.447
AT ITER 1211 NEW BEST:: SOT 68766153 SOS 9010374 HAS SOPS 9010374 HAS SOUS 5602547 HAS SOUPS 5602547 WITH SCORE 5611557.374
AT ITER 1235 NEW BEST:: SOT 68766517 SOS 9008719 HAS SOPS 9008719 HAS SOUS 5602480 HAS SOUPS 5602480 WITH SCORE 5611488.719
AT ITER 1245 NEW BEST:: SOT 68765604 SOS 9007625 HAS SOPS 9007625 HAS SOUS 5601201 HAS SOUPS 5601201 WITH SCORE 5610208.625
AT ITER 1246 NEW BEST:: SOT 68764302 SOS 9006433 HAS SOPS 9006433 HAS SOUS 5599898 HAS SOUPS 5599898 WITH SCORE 5608904.433
AT ITER 1316 NEW BEST:: SOT 68764302 SOS 9006199 HAS SOPS 9006199 HAS SOUS 5599897 HAS SOUPS 5599897 WITH SCORE 5608903.199
AT ITER 1322 NEW BEST:: SOT 68764296 SOS 9006202 HAS SOPS 9006202 HAS SOUS 5599894 HAS SOUPS 5599894 WITH SCORE 5608900.202
AT ITER 1328 NEW BEST:: SOT 68764238 SOS 9006144 HAS SOPS 9006144 HAS SOUS 5599807 HAS SOUPS 5599807 WITH SCORE 5608813.144
AT ITER 1344 NEW BEST:: SOT 68762014 SOS 9007807 HAS SOPS 9007807 HAS SOUS 5598655 HAS SOUPS 5598655 WITH SCORE 5607662.807
AT ITER 1382 NEW BEST:: SOT 68762145 SOS 9008069 HAS SOPS 9008069 HAS SOUS 5597820 HAS SOUPS 5597820 WITH SCORE 5606828.069
AT ITER 1397 NEW BEST:: SOT 68761337 SOS 9008013 HAS SOPS 9008013 HAS SOUS 5597452 HAS SOUPS 5597452 WITH SCORE 5606460.013
AT ITER 1468 NEW BEST:: SOT 68760681 SOS 9006701 HAS SOPS 9006701 HAS SOUS 5596796 HAS SOUPS 5596796 WITH SCORE 5605802.701
AT ITER 1478 NEW BEST:: SOT 68760368 SOS 9006075 HAS SOPS 9006075 HAS SOUS 5596483 HAS SOUPS 5596483 WITH SCORE 5605489.075
AT ITER 1481 NEW BEST:: SOT 68759665 SOS 9005261 HAS SOPS 9005261 HAS SOUS 5595632 HAS SOUPS 5595632 WITH SCORE 5604637.261
AT ITER 1530 NEW BEST:: SOT 68758057 SOS 9003179 HAS SOPS 9003179 HAS SOUS 5593457 HAS SOUPS 5593457 WITH SCORE 5602460.179
AT ITER 1585 NEW BEST:: SOT 68757211 SOS 9003801 HAS SOPS 9003801 HAS SOUS 5593138 HAS SOUPS 5593138 WITH SCORE 5602141.801
AT ITER 1588 NEW BEST:: SOT 68689853 SOS 8956535 HAS SOPS 8956535 HAS SOUS 5526360 HAS SOUPS 5526360 WITH SCORE 5535316.535
AT ITER 1600 NEW BEST:: SOT 68654758 SOS 9532365 HAS SOPS 9532365 HAS SOUS 5499600 HAS SOUPS 5499600 WITH SCORE 5509132.365
AT ITER 1615 NEW BEST:: SOT 68654758 SOS 9532365 HAS SOPS 9532365 HAS SOUS 5499523 HAS SOUPS 5499523 WITH SCORE 5509055.365
AT ITER 1616 NEW BEST:: SOT 68654634 SOS 9532117 HAS SOPS 9532117 HAS SOUS 5499522 HAS SOUPS 5499522 WITH SCORE 5509054.117
AT ITER 1626 NEW BEST:: SOT 68651025 SOS 9529424 HAS SOPS 9529424 HAS SOUS 5495008 HAS SOUPS 5495008 WITH SCORE 5504537.424
AT ITER 1636 NEW BEST:: SOT 68520823 SOS 10110252 HAS SOPS 10110252 HAS SOUS 5374979 HAS SOUPS 5374979 WITH SCORE 5385089.252
AT ITER 1640 NEW BEST:: SOT 68520515 SOS 10109927 HAS SOPS 10109927 HAS SOUS 5374654 HAS SOUPS 5374654 WITH SCORE 5384763.927
AT ITER 1655 NEW BEST:: SOT 68520076 SOS 10109049 HAS SOPS 10109049 HAS SOUS 5374215 HAS SOUPS 5374215 WITH SCORE 5384324.049
AT ITER 1663 NEW BEST:: SOT 68517765 SOS 10107093 HAS SOPS 10107093 HAS SOUS 5372098 HAS SOUPS 5372098 WITH SCORE 5382205.093
AT ITER 1707 NEW BEST:: SOT 68517631 SOS 10107005 HAS SOPS 10107005 HAS SOUS 5372010 HAS SOUPS 5372010 WITH SCORE 5382117.005
AT ITER 1717 NEW BEST:: SOT 68517165 SOS 10107207 HAS SOPS 10107207 HAS SOUS 5371415 HAS SOUPS 5371415 WITH SCORE 5381522.207
AT ITER 1729 NEW BEST:: SOT 68516904 SOS 10107120 HAS SOPS 10107120 HAS SOUS 5371328 HAS SOUPS 5371328 WITH SCORE 5381435.12
AT ITER 1734 NEW BEST:: SOT 68515286 SOS 10103884 HAS SOPS 10103884 HAS SOUS 5370282 HAS SOUPS 5370282 WITH SCORE 5380385.884
AT ITER 1795 NEW BEST:: SOT 68508521 SOS 10103048 HAS SOPS 10103048 HAS SOUS 5365315 HAS SOUPS 5365315 WITH SCORE 5375418.048
AT ITER 1798 NEW BEST:: SOT 68507577 SOS 10102186 HAS SOPS 10102186 HAS SOUS 5363949 HAS SOUPS 5363949 WITH SCORE 5374051.186
AT ITER 1806 NEW BEST:: SOT 68505852 SOS 10098736 HAS SOPS 10098736 HAS SOUS 5362852 HAS SOUPS 5362852 WITH SCORE 5372950.736
AT ITER 1818 NEW BEST:: SOT 68505370 SOS 10097684 HAS SOPS 10097684 HAS SOUS 5360749 HAS SOUPS 5360749 WITH SCORE 5370846.684
AT ITER 1825 NEW BEST:: SOT 68504075 SOS 10092181 HAS SOPS 10092181 HAS SOUS 5359795 HAS SOUPS 5359795 WITH SCORE 5369887.181
AT ITER 1870 NEW BEST:: SOT 68503773 SOS 10090973 HAS SOPS 10090973 HAS SOUS 5359191 HAS SOUPS 5359191 WITH SCORE 5369281.973
AT ITER 1897 NEW BEST:: SOT 68503689 SOS 10091047 HAS SOPS 10091047 HAS SOUS 5359181 HAS SOUPS 5359181 WITH SCORE 5369272.047
AT ITER 1913 NEW BEST:: SOT 68502543 SOS 10088755 HAS SOPS 10088755 HAS SOUS 5357538 HAS SOUPS 5357538 WITH SCORE 5367626.755
AT ITER 1924 NEW BEST:: SOT 68499757 SOS 10086270 HAS SOPS 10086270 HAS SOUS 5354828 HAS SOUPS 5354828 WITH SCORE 5364914.27
AT ITER 1956 NEW BEST:: SOT 68499371 SOS 10086083 HAS SOPS 10086083 HAS SOUS 5354530 HAS SOUPS 5354530 WITH SCORE 5364616.083
AT ITER 1980 NEW BEST:: SOT 68498315 SOS 10083212 HAS SOPS 10083212 HAS SOUS 5353490 HAS SOUPS 5353490 WITH SCORE 5363573.212
AT ITER 1993 NEW BEST:: SOT 68497868 SOS 10083101 HAS SOPS 10083101 HAS SOUS 5352866 HAS SOUPS 5352866 WITH SCORE 5362949.101
AT ITER 2008 NEW BEST:: SOT 68496946 SOS 10082251 HAS SOPS 10082251 HAS SOUS 5351519 HAS SOUPS 5351519 WITH SCORE 5361601.251
AT ITER 2019 NEW BEST:: SOT 68419643 SOS 10105985 HAS SOPS 10105985 HAS SOUS 5276535 HAS SOUPS 5276535 WITH SCORE 5286640.985
AT ITER 2047 NEW BEST:: SOT 68419264 SOS 10104848 HAS SOPS 10104848 HAS SOUS 5276155 HAS SOUPS 5276155 WITH SCORE 5286259.848
AT ITER 2073 NEW BEST:: SOT 68419017 SOS 10104354 HAS SOPS 10104354 HAS SOUS 5275907 HAS SOUPS 5275907 WITH SCORE 5286011.354
AT ITER 2081 NEW BEST:: SOT 68418047 SOS 10101350 HAS SOPS 10101350 HAS SOUS 5274937 HAS SOUPS 5274937 WITH SCORE 5285038.35
AT ITER 2083 NEW BEST:: SOT 68417730 SOS 10100716 HAS SOPS 10100716 HAS SOUS 5274620 HAS SOUPS 5274620 WITH SCORE 5284720.716
AT ITER 2117 NEW BEST:: SOT 68417730 SOS 10100716 HAS SOPS 10100716 HAS SOUS 5274619 HAS SOUPS 5274619 WITH SCORE 5284719.716
AT ITER 2173 NEW BEST:: SOT 68404956 SOS 10348198 HAS SOPS 10348198 HAS SOUS 5270898 HAS SOUPS 5270898 WITH SCORE 5281246.198
AT ITER 2181 NEW BEST:: SOT 68404956 SOS 10348198 HAS SOPS 10348198 HAS SOUS 5270725 HAS SOUPS 5270725 WITH SCORE 5281073.198
AT ITER 2188 NEW BEST:: SOT 68404560 SOS 10347406 HAS SOPS 10347406 HAS SOUS 5270329 HAS SOUPS 5270329 WITH SCORE 5280676.406
AT ITER 2199 NEW BEST:: SOT 68403383 SOS 10346252 HAS SOPS 10346252 HAS SOUS 5269152 HAS SOUPS 5269152 WITH SCORE 5279498.252
AT ITER 2210 NEW BEST:: SOT 68402656 SOS 10344798 HAS SOPS 10344798 HAS SOUS 5267698 HAS SOUPS 5267698 WITH SCORE 5278042.798
AT ITER 2283 NEW BEST:: SOT 68400884 SOS 10341254 HAS SOPS 10341254 HAS SOUS 5264144 HAS SOUPS 5264144 WITH SCORE 5274485.254
AT ITER 2289 NEW BEST:: SOT 68399121 SOS 10344490 HAS SOPS 10344490 HAS SOUS 5263725 HAS SOUPS 5263725 WITH SCORE 5274069.49
AT ITER 2310 NEW BEST:: SOT 68398196 SOS 10343110 HAS SOPS 10343110 HAS SOUS 5263036 HAS SOUPS 5263036 WITH SCORE 5273379.11
AT ITER 2311 NEW BEST:: SOT 68398053 SOS 10342824 HAS SOPS 10342824 HAS SOUS 5263035 HAS SOUPS 5263035 WITH SCORE 5273377.824
AT ITER 2328 NEW BEST:: SOT 68397409 SOS 10341536 HAS SOPS 10341536 HAS SOUS 5262391 HAS SOUPS 5262391 WITH SCORE 5272732.536
AT ITER 2372 NEW BEST:: SOT 68396371 SOS 10338422 HAS SOPS 10338422 HAS SOUS 5261353 HAS SOUPS 5261353 WITH SCORE 5271691.422
AT ITER 2399 NEW BEST:: SOT 68395655 SOS 10337573 HAS SOPS 10337573 HAS SOUS 5260251 HAS SOUPS 5260251 WITH SCORE 5270588.573
AT ITER 2430 NEW BEST:: SOT 68395137 SOS 10336537 HAS SOPS 10336537 HAS SOUS 5258453 HAS SOUPS 5258453 WITH SCORE 5268789.537
AT ITER 2441 NEW BEST:: SOT 68395137 SOS 10336537 HAS SOPS 10336537 HAS SOUS 5258452 HAS SOUPS 5258452 WITH SCORE 5268788.537
AT ITER 2461 NEW BEST:: SOT 68395137 SOS 10333967 HAS SOPS 10333967 HAS SOUS 5258451 HAS SOUPS 5258451 WITH SCORE 5268784.967
AT ITER 2467 NEW BEST:: SOT 68394267 SOS 10332954 HAS SOPS 10332954 HAS SOUS 5257466 HAS SOUPS 5257466 WITH SCORE 5267798.954
AT ITER 2472 NEW BEST:: SOT 68394267 SOS 10332954 HAS SOPS 10332954 HAS SOUS 5257465 HAS SOUPS 5257465 WITH SCORE 5267797.954
AT ITER 2500 NEW BEST:: SOT 68391578 SOS 10332124 HAS SOPS 10332124 HAS SOUS 5255011 HAS SOUPS 5255011 WITH SCORE 5265343.124
AT ITER 2542 NEW BEST:: SOT 68391578 SOS 10331807 HAS SOPS 10331807 HAS SOUS 5255010 HAS SOUPS 5255010 WITH SCORE 5265341.807
AT ITER 2545 NEW BEST:: SOT 68391578 SOS 10330997 HAS SOPS 10330997 HAS SOUS 5255010 HAS SOUPS 5255010 WITH SCORE 5265340.997
AT ITER 2630 NEW BEST:: SOT 68391349 SOS 10330539 HAS SOPS 10330539 HAS SOUS 5254781 HAS SOUPS 5254781 WITH SCORE 5265111.539
AT ITER 2657 NEW BEST:: SOT 68391289 SOS 10330419 HAS SOPS 10330419 HAS SOUS 5254721 HAS SOUPS 5254721 WITH SCORE 5265051.419
AT ITER 2659 NEW BEST:: SOT 68391724 SOS 10329463 HAS SOPS 10329463 HAS SOUS 5254565 HAS SOUPS 5254565 WITH SCORE 5264894.463
AT ITER 2690 NEW BEST:: SOT 68390814 SOS 10328177 HAS SOPS 10328177 HAS SOUS 5253388 HAS SOUPS 5253388 WITH SCORE 5263716.177
AT ITER 2727 NEW BEST:: SOT 68389012 SOS 10325713 HAS SOPS 10325713 HAS SOUS 5251229 HAS SOUPS 5251229 WITH SCORE 5261554.713
AT ITER 2733 NEW BEST:: SOT 68388864 SOS 10325565 HAS SOPS 10325565 HAS SOUS 5251079 HAS SOUPS 5251079 WITH SCORE 5261404.565
AT ITER 2792 NEW BEST:: SOT 68388351 SOS 10324939 HAS SOPS 10324939 HAS SOUS 5250366 HAS SOUPS 5250366 WITH SCORE 5260690.939
AT ITER 2796 NEW BEST:: SOT 68387285 SOS 10323954 HAS SOPS 10323954 HAS SOUS 5248924 HAS SOUPS 5248924 WITH SCORE 5259247.954
AT ITER 2819 NEW BEST:: SOT 68384005 SOS 10319386 HAS SOPS 10319386 HAS SOUS 5244891 HAS SOUPS 5244891 WITH SCORE 5255210.386
AT ITER 2827 NEW BEST:: SOT 68384005 SOS 10319388 HAS SOPS 10319388 HAS SOUS 5244889 HAS SOUPS 5244889 WITH SCORE 5255208.388
AT ITER 2829 NEW BEST:: SOT 68383853 SOS 10319084 HAS SOPS 10319084 HAS SOUS 5244737 HAS SOUPS 5244737 WITH SCORE 5255056.084
AT ITER 2840 NEW BEST:: SOT 68382751 SOS 10102218 HAS SOPS 10102218 HAS SOUS 5243635 HAS SOUPS 5243635 WITH SCORE 5253737.218
AT ITER 2865 NEW BEST:: SOT 68382305 SOS 10101326 HAS SOPS 10101326 HAS SOUS 5243189 HAS SOUPS 5243189 WITH SCORE 5253290.326
AT ITER 2917 NEW BEST:: SOT 68381617 SOS 10099262 HAS SOPS 10099262 HAS SOUS 5242501 HAS SOUPS 5242501 WITH SCORE 5252600.262
AT ITER 2993 NEW BEST:: SOT 68380761 SOS 10099562 HAS SOPS 10099562 HAS SOUS 5241333 HAS SOUPS 5241333 WITH SCORE 5251432.562
AT ITER 3018 NEW BEST:: SOT 68380616 SOS 10098837 HAS SOPS 10098837 HAS SOUS 5241188 HAS SOUPS 5241188 WITH SCORE 5251286.837
AT ITER 3058 NEW BEST:: SOT 68380213 SOS 10098031 HAS SOPS 10098031 HAS SOUS 5240785 HAS SOUPS 5240785 WITH SCORE 5250883.031
AT ITER 3099 NEW BEST:: SOT 68364311 SOS 10866192 HAS SOPS 10866192 HAS SOUS 5235404 HAS SOUPS 5235404 WITH SCORE 5246270.192
AT ITER 3106 NEW BEST:: SOT 68364143 SOS 10865856 HAS SOPS 10865856 HAS SOUS 5234838 HAS SOUPS 5234838 WITH SCORE 5245703.856
AT ITER 3110 NEW BEST:: SOT 68362615 SOS 10863540 HAS SOPS 10863540 HAS SOUS 5232570 HAS SOUPS 5232570 WITH SCORE 5243433.54
AT ITER 3140 NEW BEST:: SOT 68362300 SOS 10862910 HAS SOPS 10862910 HAS SOUS 5232570 HAS SOUPS 5232570 WITH SCORE 5243432.91
AT ITER 3151 NEW BEST:: SOT 68362165 SOS 10862505 HAS SOPS 10862505 HAS SOUS 5232435 HAS SOUPS 5232435 WITH SCORE 5243297.505
AT ITER 3163 NEW BEST:: SOT 68360557 SOS 10860489 HAS SOPS 10860489 HAS SOUS 5230427 HAS SOUPS 5230427 WITH SCORE 5241287.489
AT ITER 3190 NEW BEST:: SOT 68358721 SOS 10858361 HAS SOPS 10858361 HAS SOUS 5228643 HAS SOUPS 5228643 WITH SCORE 5239501.361
AT ITER 3236 NEW BEST:: SOT 68358169 SOS 10857809 HAS SOPS 10857809 HAS SOUS 5227539 HAS SOUPS 5227539 WITH SCORE 5238396.809
AT ITER 3259 NEW BEST:: SOT 68358169 SOS 10857809 HAS SOPS 10857809 HAS SOUS 5227515 HAS SOUPS 5227515 WITH SCORE 5238372.809
AT ITER 3264 NEW BEST:: SOT 68358169 SOS 10857422 HAS SOPS 10857422 HAS SOUS 5227514 HAS SOUPS 5227514 WITH SCORE 5238371.422
AT ITER 3277 NEW BEST:: SOT 68357973 SOS 10857328 HAS SOPS 10857328 HAS SOUS 5227420 HAS SOUPS 5227420 WITH SCORE 5238277.328
AT ITER 3279 NEW BEST:: SOT 68271980 SOS 11116346 HAS SOPS 11116346 HAS SOUS 5146242 HAS SOUPS 5146242 WITH SCORE 5157358.346
AT ITER 3299 NEW BEST:: SOT 68271539 SOS 11115464 HAS SOPS 11115464 HAS SOUS 5145800 HAS SOUPS 5145800 WITH SCORE 5156915.464
AT ITER 3319 NEW BEST:: SOT 68270745 SOS 11114476 HAS SOPS 11114476 HAS SOUS 5144406 HAS SOUPS 5144406 WITH SCORE 5155520.476
AT ITER 3334 NEW BEST:: SOT 68258623 SOS 11726040 HAS SOPS 11726040 HAS SOUS 5136523 HAS SOUPS 5136523 WITH SCORE 5148249.04
AT ITER 3341 NEW BEST:: SOT 68257587 SOS 11718763 HAS SOPS 11718763 HAS SOUS 5135947 HAS SOUPS 5135947 WITH SCORE 5147665.763
AT ITER 3356 NEW BEST:: SOT 68257236 SOS 11718061 HAS SOPS 11718061 HAS SOUS 5135946 HAS SOUPS 5135946 WITH SCORE 5147664.061
AT ITER 3362 NEW BEST:: SOT 68256425 SOS 11718737 HAS SOPS 11718737 HAS SOUS 5135611 HAS SOUPS 5135611 WITH SCORE 5147329.737
AT ITER 3370 NEW BEST:: SOT 68256375 SOS 11718637 HAS SOPS 11718637 HAS SOUS 5135561 HAS SOUPS 5135561 WITH SCORE 5147279.637
AT ITER 3371 NEW BEST:: SOT 68255524 SOS 11717487 HAS SOPS 11717487 HAS SOUS 5134526 HAS SOUPS 5134526 WITH SCORE 5146243.487
AT ITER 3378 NEW BEST:: SOT 68251047 SOS 11710895 HAS SOPS 11710895 HAS SOUS 5128902 HAS SOUPS 5128902 WITH SCORE 5140612.895
AT ITER 3401 NEW BEST:: SOT 68251045 SOS 11711493 HAS SOPS 11711493 HAS SOUS 5128800 HAS SOUPS 5128800 WITH SCORE 5140511.493
AT ITER 3408 NEW BEST:: SOT 68250522 SOS 11708536 HAS SOPS 11708536 HAS SOUS 5128277 HAS SOUPS 5128277 WITH SCORE 5139985.536
AT ITER 3421 NEW BEST:: SOT 68250308 SOS 11708900 HAS SOPS 11708900 HAS SOUS 5128063 HAS SOUPS 5128063 WITH SCORE 5139771.9
AT ITER 3422 NEW BEST:: SOT 68250308 SOS 11708900 HAS SOPS 11708900 HAS SOUS 5128062 HAS SOUPS 5128062 WITH SCORE 5139770.9
AT ITER 3430 NEW BEST:: SOT 68249986 SOS 11708256 HAS SOPS 11708256 HAS SOUS 5128060 HAS SOUPS 5128060 WITH SCORE 5139768.256
AT ITER 3432 NEW BEST:: SOT 68249255 SOS 11707963 HAS SOPS 11707963 HAS SOUS 5126441 HAS SOUPS 5126441 WITH SCORE 5138148.963
AT ITER 3436 NEW BEST:: SOT 68249149 SOS 11707857 HAS SOPS 11707857 HAS SOUS 5126335 HAS SOUPS 5126335 WITH SCORE 5138042.857
AT ITER 3439 NEW BEST:: SOT 68248890 SOS 11708436 HAS SOPS 11708436 HAS SOUS 5125540 HAS SOUPS 5125540 WITH SCORE 5137248.436
AT ITER 3457 NEW BEST:: SOT 68235148 SOS 11697254 HAS SOPS 11697254 HAS SOUS 5112083 HAS SOUPS 5112083 WITH SCORE 5123780.254
AT ITER 3458 NEW BEST:: SOT 68234570 SOS 11696098 HAS SOPS 11696098 HAS SOUS 5111505 HAS SOUPS 5111505 WITH SCORE 5123201.098
AT ITER 3499 NEW BEST:: SOT 68232068 SOS 11699123 HAS SOPS 11699123 HAS SOUS 5110104 HAS SOUPS 5110104 WITH SCORE 5121803.123
AT ITER 3519 NEW BEST:: SOT 68231676 SOS 11698729 HAS SOPS 11698729 HAS SOUS 5110103 HAS SOUPS 5110103 WITH SCORE 5121801.729
AT ITER 3521 NEW BEST:: SOT 68231676 SOS 11697851 HAS SOPS 11697851 HAS SOUS 5110102 HAS SOUPS 5110102 WITH SCORE 5121799.851
AT ITER 3530 NEW BEST:: SOT 68231394 SOS 11697271 HAS SOPS 11697271 HAS SOUS 5109609 HAS SOUPS 5109609 WITH SCORE 5121306.271
AT ITER 3532 NEW BEST:: SOT 68231343 SOS 11697232 HAS SOPS 11697232 HAS SOUS 5109557 HAS SOUPS 5109557 WITH SCORE 5121254.232
AT ITER 3537 NEW BEST:: SOT 68231186 SOS 11697074 HAS SOPS 11697074 HAS SOUS 5109555 HAS SOUPS 5109555 WITH SCORE 5121252.074
AT ITER 3538 NEW BEST:: SOT 68230560 SOS 11695822 HAS SOPS 11695822 HAS SOUS 5109478 HAS SOUPS 5109478 WITH SCORE 5121173.822
AT ITER 3605 NEW BEST:: SOT 68229751 SOS 11694833 HAS SOPS 11694833 HAS SOUS 5108668 HAS SOUPS 5108668 WITH SCORE 5120362.833
AT ITER 3654 NEW BEST:: SOT 68229068 SOS 11692784 HAS SOPS 11692784 HAS SOUS 5107985 HAS SOUPS 5107985 WITH SCORE 5119677.784
AT ITER 3673 NEW BEST:: SOT 68228816 SOS 11692028 HAS SOPS 11692028 HAS SOUS 5107733 HAS SOUPS 5107733 WITH SCORE 5119425.028
AT ITER 3678 NEW BEST:: SOT 68227004 SOS 11692767 HAS SOPS 11692767 HAS SOUS 5107017 HAS SOUPS 5107017 WITH SCORE 5118709.767
AT ITER 3688 NEW BEST:: SOT 68226658 SOS 11692075 HAS SOPS 11692075 HAS SOUS 5107016 HAS SOUPS 5107016 WITH SCORE 5118708.075
AT ITER 3693 NEW BEST:: SOT 68226246 SOS 11691595 HAS SOPS 11691595 HAS SOUS 5106554 HAS SOUPS 5106554 WITH SCORE 5118245.595
AT ITER 3705 NEW BEST:: SOT 68225791 SOS 11690685 HAS SOPS 11690685 HAS SOUS 5106554 HAS SOUPS 5106554 WITH SCORE 5118244.685
AT ITER 3712 NEW BEST:: SOT 68225791 SOS 11689875 HAS SOPS 11689875 HAS SOUS 5106248 HAS SOUPS 5106248 WITH SCORE 5117937.875
AT ITER 3736 NEW BEST:: SOT 68225545 SOS 11689137 HAS SOPS 11689137 HAS SOUS 5106002 HAS SOUPS 5106002 WITH SCORE 5117691.137
AT ITER 3753 NEW BEST:: SOT 68225184 SOS 11688793 HAS SOPS 11688793 HAS SOUS 5105638 HAS SOUPS 5105638 WITH SCORE 5117326.793
AT ITER 3771 NEW BEST:: SOT 68224497 SOS 11687941 HAS SOPS 11687941 HAS SOUS 5105013 HAS SOUPS 5105013 WITH SCORE 5116700.941
AT ITER 3772 NEW BEST:: SOT 68224365 SOS 11687677 HAS SOPS 11687677 HAS SOUS 5104881 HAS SOUPS 5104881 WITH SCORE 5116568.677
AT ITER 3787 NEW BEST:: SOT 68223000 SOS 11687173 HAS SOPS 11687173 HAS SOUS 5102711 HAS SOUPS 5102711 WITH SCORE 5114398.173
AT ITER 3795 NEW BEST:: SOT 68222684 SOS 11686791 HAS SOPS 11686791 HAS SOUS 5102481 HAS SOUPS 5102481 WITH SCORE 5114167.791
AT ITER 3814 NEW BEST:: SOT 68222026 SOS 11685475 HAS SOPS 11685475 HAS SOUS 5101822 HAS SOUPS 5101822 WITH SCORE 5113507.475
AT ITER 3827 NEW BEST:: SOT 68221727 SOS 11684877 HAS SOPS 11684877 HAS SOUS 5101822 HAS SOUPS 5101822 WITH SCORE 5113506.877
AT ITER 3831 NEW BEST:: SOT 68219278 SOS 11685721 HAS SOPS 11685721 HAS SOUS 5100884 HAS SOUPS 5100884 WITH SCORE 5112569.721
AT ITER 3857 NEW BEST:: SOT 68219278 SOS 11685721 HAS SOPS 11685721 HAS SOUS 5100162 HAS SOUPS 5100162 WITH SCORE 5111847.721
AT ITER 3875 NEW BEST:: SOT 68219278 SOS 11684878 HAS SOPS 11684878 HAS SOUS 5098319 HAS SOUPS 5098319 WITH SCORE 5110003.878
AT ITER 3904 NEW BEST:: SOT 68219278 SOS 11684878 HAS SOPS 11684878 HAS SOUS 5098318 HAS SOUPS 5098318 WITH SCORE 5110002.878
AT ITER 3906 NEW BEST:: SOT 68218855 SOS 11684032 HAS SOPS 11684032 HAS SOUS 5097895 HAS SOUPS 5097895 WITH SCORE 5109579.032
AT ITER 3915 NEW BEST:: SOT 68218419 SOS 11683160 HAS SOPS 11683160 HAS SOUS 5097459 HAS SOUPS 5097459 WITH SCORE 5109142.16
AT ITER 3917 NEW BEST:: SOT 68218017 SOS 11682880 HAS SOPS 11682880 HAS SOUS 5097126 HAS SOUPS 5097126 WITH SCORE 5108808.88
AT ITER 3928 NEW BEST:: SOT 68218414 SOS 11683674 HAS SOPS 11683674 HAS SOUS 5097003 HAS SOUPS 5097003 WITH SCORE 5108686.674
AT ITER 3973 NEW BEST:: SOT 68218251 SOS 11683348 HAS SOPS 11683348 HAS SOUS 5096840 HAS SOUPS 5096840 WITH SCORE 5108523.348
AT ITER 4001 NEW BEST:: SOT 68217860 SOS 11682566 HAS SOPS 11682566 HAS SOUS 5096448 HAS SOUPS 5096448 WITH SCORE 5108130.566
AT ITER 4016 NEW BEST:: SOT 68216699 SOS 11683159 HAS SOPS 11683159 HAS SOUS 5095850 HAS SOUPS 5095850 WITH SCORE 5107533.159
AT ITER 4103 NEW BEST:: SOT 68214322 SOS 11679249 HAS SOPS 11679249 HAS SOUS 5092649 HAS SOUPS 5092649 WITH SCORE 5104328.249
AT ITER 4134 NEW BEST:: SOT 68214447 SOS 11678480 HAS SOPS 11678480 HAS SOUS 5091880 HAS SOUPS 5091880 WITH SCORE 5103558.48
AT ITER 4142 NEW BEST:: SOT 68214447 SOS 11678036 HAS SOPS 11678036 HAS SOUS 5091880 HAS SOUPS 5091880 WITH SCORE 5103558.036
AT ITER 4160 NEW BEST:: SOT 68214233 SOS 11677608 HAS SOPS 11677608 HAS SOUS 5091666 HAS SOUPS 5091666 WITH SCORE 5103343.608
AT ITER 4213 NEW BEST:: SOT 68213935 SOS 11677012 HAS SOPS 11677012 HAS SOUS 5091664 HAS SOUPS 5091664 WITH SCORE 5103341.012
AT ITER 4219 NEW BEST:: SOT 68213071 SOS 11675284 HAS SOPS 11675284 HAS SOUS 5089936 HAS SOUPS 5089936 WITH SCORE 5101611.284
AT ITER 4254 NEW BEST:: SOT 68212738 SOS 11674618 HAS SOPS 11674618 HAS SOUS 5089602 HAS SOUPS 5089602 WITH SCORE 5101276.618
AT ITER 4258 NEW BEST:: SOT 68212458 SOS 11674058 HAS SOPS 11674058 HAS SOUS 5089042 HAS SOUPS 5089042 WITH SCORE 5100716.058
AT ITER 4262 NEW BEST:: SOT 68212378 SOS 11673898 HAS SOPS 11673898 HAS SOUS 5088410 HAS SOUPS 5088410 WITH SCORE 5100083.898
AT ITER 4265 NEW BEST:: SOT 68212012 SOS 11673596 HAS SOPS 11673596 HAS SOUS 5087916 HAS SOUPS 5087916 WITH SCORE 5099589.596
AT ITER 4268 NEW BEST:: SOT 68211890 SOS 11673352 HAS SOPS 11673352 HAS SOUS 5087914 HAS SOUPS 5087914 WITH SCORE 5099587.352
AT ITER 4291 NEW BEST:: SOT 68210127 SOS 11671686 HAS SOPS 11671686 HAS SOUS 5086248 HAS SOUPS 5086248 WITH SCORE 5097919.686
AT ITER 4304 NEW BEST:: SOT 68210089 SOS 11671724 HAS SOPS 11671724 HAS SOUS 5086210 HAS SOUPS 5086210 WITH SCORE 5097881.724
AT ITER 4320 NEW BEST:: SOT 68207465 SOS 11668471 HAS SOPS 11668471 HAS SOUS 5082935 HAS SOUPS 5082935 WITH SCORE 5094603.471
AT ITER 4339 NEW BEST:: SOT 68200484 SOS 12024509 HAS SOPS 12024509 HAS SOUS 5080609 HAS SOUPS 5080609 WITH SCORE 5092633.509
AT ITER 4345 NEW BEST:: SOT 68200484 SOS 12024325 HAS SOPS 12024325 HAS SOUS 5080609 HAS SOUPS 5080609 WITH SCORE 5092633.325
AT ITER 4356 NEW BEST:: SOT 68200465 SOS 12024423 HAS SOPS 12024423 HAS SOUS 5080589 HAS SOUPS 5080589 WITH SCORE 5092613.423
AT ITER 4358 NEW BEST:: SOT 68197326 SOS 12026519 HAS SOPS 12026519 HAS SOUS 5078663 HAS SOUPS 5078663 WITH SCORE 5090689.519
AT ITER 4360 NEW BEST:: SOT 68196839 SOS 12025545 HAS SOPS 12025545 HAS SOUS 5077991 HAS SOUPS 5077991 WITH SCORE 5090016.545
AT ITER 4374 NEW BEST:: SOT 68195893 SOS 12016338 HAS SOPS 12016338 HAS SOUS 5077521 HAS SOUPS 5077521 WITH SCORE 5089537.338
AT ITER 4419 NEW BEST:: SOT 68195152 SOS 12014115 HAS SOPS 12014115 HAS SOUS 5076780 HAS SOUPS 5076780 WITH SCORE 5088794.115
AT ITER 4442 NEW BEST:: SOT 68195088 SOS 12013859 HAS SOPS 12013859 HAS SOUS 5076652 HAS SOUPS 5076652 WITH SCORE 5088665.859
AT ITER 4478 NEW BEST:: SOT 68194169 SOS 12012021 HAS SOPS 12012021 HAS SOUS 5075877 HAS SOUPS 5075877 WITH SCORE 5087889.021
AT ITER 4498 NEW BEST:: SOT 68193789 SOS 12011261 HAS SOPS 12011261 HAS SOUS 5075874 HAS SOUPS 5075874 WITH SCORE 5087885.261
AT ITER 4515 NEW BEST:: SOT 68192784 SOS 12008484 HAS SOPS 12008484 HAS SOUS 5075148 HAS SOUPS 5075148 WITH SCORE 5087156.484
AT ITER 4521 NEW BEST:: SOT 68192653 SOS 12008802 HAS SOPS 12008802 HAS SOUS 5075016 HAS SOUPS 5075016 WITH SCORE 5087024.802
AT ITER 4525 NEW BEST:: SOT 68192653 SOS 12008802 HAS SOPS 12008802 HAS SOUS 5074547 HAS SOUPS 5074547 WITH SCORE 5086555.802
AT ITER 4584 NEW BEST:: SOT 68192305 SOS 12007758 HAS SOPS 12007758 HAS SOUS 5074198 HAS SOUPS 5074198 WITH SCORE 5086205.758
AT ITER 4589 NEW BEST:: SOT 68192305 SOS 12007281 HAS SOPS 12007281 HAS SOUS 5074197 HAS SOUPS 5074197 WITH SCORE 5086204.281
AT ITER 4596 NEW BEST:: SOT 68191846 SOS 12005841 HAS SOPS 12005841 HAS SOUS 5073370 HAS SOUPS 5073370 WITH SCORE 5085375.841
AT ITER 4603 NEW BEST:: SOT 68191288 SOS 12004725 HAS SOPS 12004725 HAS SOUS 5072812 HAS SOUPS 5072812 WITH SCORE 5084816.725
AT ITER 4631 NEW BEST:: SOT 68120535 SOS 11953435 HAS SOPS 11953435 HAS SOUS 5002530 HAS SOUPS 5002530 WITH SCORE 5014483.435
AT ITER 4688 NEW BEST:: SOT 68120271 SOS 11953171 HAS SOPS 11953171 HAS SOUS 5002002 HAS SOUPS 5002002 WITH SCORE 5013955.171
AT ITER 4699 NEW BEST:: SOT 68120271 SOS 11952881 HAS SOPS 11952881 HAS SOUS 5002002 HAS SOUPS 5002002 WITH SCORE 5013954.881
AT ITER 4700 NEW BEST:: SOT 68119487 SOS 11951313 HAS SOPS 11951313 HAS SOUS 5001218 HAS SOUPS 5001218 WITH SCORE 5013169.313
AT ITER 4707 NEW BEST:: SOT 68118322 SOS 11948983 HAS SOPS 11948983 HAS SOUS 5000429 HAS SOUPS 5000429 WITH SCORE 5012377.983
AT ITER 4743 NEW BEST:: SOT 68117762 SOS 11947863 HAS SOPS 11947863 HAS SOUS 4999869 HAS SOUPS 4999869 WITH SCORE 5011816.863
AT ITER 4754 NEW BEST:: SOT 68117762 SOS 11947095 HAS SOPS 11947095 HAS SOUS 4999101 HAS SOUPS 4999101 WITH SCORE 5011048.095
AT ITER 4776 NEW BEST:: SOT 68116560 SOS 11943489 HAS SOPS 11943489 HAS SOUS 4997899 HAS SOUPS 4997899 WITH SCORE 5009842.489
AT ITER 4777 NEW BEST:: SOT 68116560 SOS 11942936 HAS SOPS 11942936 HAS SOUS 4997899 HAS SOUPS 4997899 WITH SCORE 5009841.936
AT ITER 4820 NEW BEST:: SOT 68116560 SOS 11942936 HAS SOPS 11942936 HAS SOUS 4997246 HAS SOUPS 4997246 WITH SCORE 5009188.936
AT ITER 4834 NEW BEST:: SOT 68115229 SOS 11941457 HAS SOPS 11941457 HAS SOUS 4995750 HAS SOUPS 4995750 WITH SCORE 5007691.457
AT ITER 4860 NEW BEST:: SOT 68087166 SOS 11919323 HAS SOPS 11919323 HAS SOUS 4967678 HAS SOUPS 4967678 WITH SCORE 4979597.323
AT ITER 4861 NEW BEST:: SOT 68084568 SOS 11919807 HAS SOPS 11919807 HAS SOUS 4965595 HAS SOUPS 4965595 WITH SCORE 4977514.807
AT ITER 4864 NEW BEST:: SOT 68084398 SOS 11920727 HAS SOPS 11920727 HAS SOUS 4965235 HAS SOUPS 4965235 WITH SCORE 4977155.727
AT ITER 4873 NEW BEST:: SOT 68082797 SOS 11532873 HAS SOPS 11532873 HAS SOUS 4963633 HAS SOUPS 4963633 WITH SCORE 4975165.873
AT ITER 4876 NEW BEST:: SOT 68082082 SOS 11531443 HAS SOPS 11531443 HAS SOUS 4962203 HAS SOUPS 4962203 WITH SCORE 4973734.443
AT ITER 4896 NEW BEST:: SOT 68081835 SOS 11530949 HAS SOPS 11530949 HAS SOUS 4961956 HAS SOUPS 4961956 WITH SCORE 4973486.949
AT ITER 4898 NEW BEST:: SOT 68081722 SOS 11530723 HAS SOPS 11530723 HAS SOUS 4961842 HAS SOUPS 4961842 WITH SCORE 4973372.723
AT ITER 4900 NEW BEST:: SOT 68081457 SOS 11530193 HAS SOPS 11530193 HAS SOUS 4961577 HAS SOUPS 4961577 WITH SCORE 4973107.193
AT ITER 4902 NEW BEST:: SOT 68080741 SOS 11528741 HAS SOPS 11528741 HAS SOUS 4959879 HAS SOUPS 4959879 WITH SCORE 4971407.741
AT ITER 4903 NEW BEST:: SOT 68080728 SOS 11528715 HAS SOPS 11528715 HAS SOUS 4958686 HAS SOUPS 4958686 WITH SCORE 4970214.715
AT ITER 4907 NEW BEST:: SOT 68079982 SOS 11531034 HAS SOPS 11531034 HAS SOUS 4958511 HAS SOUPS 4958511 WITH SCORE 4970042.034
AT ITER 4920 NEW BEST:: SOT 68079771 SOS 11530612 HAS SOPS 11530612 HAS SOUS 4958339 HAS SOUPS 4958339 WITH SCORE 4969869.612
AT ITER 4980 NEW BEST:: SOT 68079667 SOS 11530404 HAS SOPS 11530404 HAS SOUS 4958235 HAS SOUPS 4958235 WITH SCORE 4969765.404
AT ITER 4990 NEW BEST:: SOT 68079430 SOS 11529693 HAS SOPS 11529693 HAS SOUS 4957998 HAS SOUPS 4957998 WITH SCORE 4969527.693
Bounds file is: CTLFireability.xml
PROPERTY: NoC3x3-PT-8B-CTLFireability-00 ( ((potential((tk(P5170)>=1)))) | (AF( ( ( (! ((potential((tk(P3797)>=1))))) & ( ((potential((tk(P8319)>=1)))) | ((potential((tk(P8685)>=1)))) ) ) & ( ( ((potential((tk(P7464)>=1)))) | ((potential((tk(P4590)>=1)))) ) | ( ((potential((tk(P2454)>=1)))) | ((potential((tk(P5958)>=1)))) ) ) ))) )
PROPERTY: NoC3x3-PT-8B-CTLFireability-01 (EF( (EF( (AG( ((potential((tk(P8608)>=1))))))))))
PROPERTY: NoC3x3-PT-8B-CTLFireability-02 ( ( ( ( ((potential((tk(P1899)>=1)))) & ( ( ((potential((tk(P8949)>=1)))) | ((potential((tk(P2082)>=1)))) ) & ((potential((tk(P7250)>=1) & (tk(P7290)>=1)))) ) ) | (EF( ( ((potential((tk(P5278)>=1)))) & ((potential((tk(P6655)>=1)))) ))) ) | (AX( (AG( ((potential((tk(P1322)>=1)))))))) ) | ( (EF( ( ( ((potential((tk(P709)>=1)))) & ((potential((tk(P3132)>=1)))) ) | ( ((potential((tk(P914)>=1)))) & ((potential((tk(P6930)>=1)))) ) ))) & (AG( (! (! ((potential((tk(P6691)>=1)))))))) ) )
PROPERTY: NoC3x3-PT-8B-CTLFireability-03 (AF( ( (AF( ( ((potential((tk(P5308)>=1)))) & ((potential((tk(P7371)>=1)))) ))) | ( (AG( ((potential((tk(P1469)>=1)))))) | (AX( ((potential((tk(P5308)>=1)))))) ) )))
PROPERTY: NoC3x3-PT-8B-CTLFireability-04 ( ( ((potential((tk(P3774)>=1)))) & ((potential((tk(P3554)>=1)))) ) | (AF( ( ( ( ((potential((tk(P8071)>=1)))) & ((potential((tk(P727)>=1)))) ) | (! ((potential((tk(P876)>=1))))) ) & ((potential((tk(P7592)>=1)))) ))) )
PROPERTY: NoC3x3-PT-8B-CTLFireability-05 ( ( (! (AF( ( ((potential((tk(P5030)>=1)))) | ((potential((tk(P1825)>=1)))) )))) | ( (EU( ((potential((tk(P8671)>=1)))) , ((potential((tk(P9135)>=1)))) )) | (AU( ((potential((tk(P4534)>=1) & (tk(P4558)>=1)))) , ((potential((tk(P4638)>=1)))) )) ) ) | (EX( ( (! ((potential((tk(P7791)>=1))))) & ((potential((tk(P1762)>=1)))) ))) )
PROPERTY: NoC3x3-PT-8B-CTLFireability-06 (AF( ((potential((tk(P6107)>=1))))))
PROPERTY: NoC3x3-PT-8B-CTLFireability-07 ( ((potential((tk(P6220)>=1)))) | (AF( (EX( ( ((potential((tk(P8969)>=1)))) & ((potential((tk(P5177)>=1)))) ))))) )
PROPERTY: NoC3x3-PT-8B-CTLFireability-08 ( ( ( ( (AF( ((potential((tk(P3072)>=1)))))) | (EX( ((potential((tk(P7964)>=1)))))) ) | (! (! ((potential((tk(P4431)>=1)))))) ) | (EF( (! (! ((potential((tk(P2824)>=1) & (tk(P3168)>=1)))))))) ) & ( (EF( (! ((potential((tk(P4062)>=1))))))) & (! ( (EG( ((potential((tk(P47)>=1)))))) | (EF( ((potential((tk(P3282)>=1)))))) )) ) )
PROPERTY: NoC3x3-PT-8B-CTLFireability-09 (AF( (AF( ((potential((tk(P6002)>=1))))))))
PROPERTY: NoC3x3-PT-8B-CTLFireability-10 (EF( ( (AF( ((potential((tk(P2302)>=1) & (tk(P2324)>=1)))))) | ( ( ((potential((tk(P359)>=1)))) & ((potential((tk(P6505)>=1)))) ) & (EG( ((potential((tk(P274)>=1)))))) ) )))
PROPERTY: NoC3x3-PT-8B-CTLFireability-11 (AU( ( (! ( ((potential((tk(P3334)>=1)))) | ((potential((tk(P3384)>=1)))) )) | (EG( ((potential((tk(P4715)>=1)))))) ) , (EG( ((potential((tk(P8031)>=1)))))) ))
PROPERTY: NoC3x3-PT-8B-CTLFireability-12 (! (AU( (EG( ((potential((tk(P5379)>=1)))))) , (AF( ((potential((tk(P7882)>=1)))))) )))
PROPERTY: NoC3x3-PT-8B-CTLFireability-13 ( (AF( ((potential((tk(P888)>=1)))))) & (! (EG( ( ((potential((tk(P9075)>=1)))) | ((potential((tk(P567)>=1)))) )))) )
PROPERTY: NoC3x3-PT-8B-CTLFireability-14 (AU( ( (! (! ((potential((tk(P1296)>=1)))))) & ( ( ((potential((tk(P3810)>=1)))) | ((potential((tk(P8319)>=1)))) ) | ( ((potential((tk(P5315)>=1)))) & ((potential((tk(P4691)>=1)))) ) ) ) , (EF( ( ((potential((tk(P3442)>=1)))) & ((potential((tk(P1599)>=1)))) ))) ))
PROPERTY: NoC3x3-PT-8B-CTLFireability-15 (EG( (AU( ((potential((tk(P6598)>=1)))) , (! ((potential((tk(P6962)>=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-8B"
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-8B, 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-158961250500452"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-8B.tgz
mv NoC3x3-PT-8B 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 ;