Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508100132.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ASLink-PT-08b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508100132
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 3.9K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 25 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.2M 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 ASLink-PT-08b-CTLFireability-00
FORMULA_NAME ASLink-PT-08b-CTLFireability-01
FORMULA_NAME ASLink-PT-08b-CTLFireability-02
FORMULA_NAME ASLink-PT-08b-CTLFireability-03
FORMULA_NAME ASLink-PT-08b-CTLFireability-04
FORMULA_NAME ASLink-PT-08b-CTLFireability-05
FORMULA_NAME ASLink-PT-08b-CTLFireability-06
FORMULA_NAME ASLink-PT-08b-CTLFireability-07
FORMULA_NAME ASLink-PT-08b-CTLFireability-08
FORMULA_NAME ASLink-PT-08b-CTLFireability-09
FORMULA_NAME ASLink-PT-08b-CTLFireability-10
FORMULA_NAME ASLink-PT-08b-CTLFireability-11
FORMULA_NAME ASLink-PT-08b-CTLFireability-12
FORMULA_NAME ASLink-PT-08b-CTLFireability-13
FORMULA_NAME ASLink-PT-08b-CTLFireability-14
FORMULA_NAME ASLink-PT-08b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589065902579

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 08b
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: 3618 places, 4459 transitions, 13543 arcs.
AT ITER 0 NEW BEST:: SOT 8581989 SOS 1513259 HAS SOPS 1513259 HAS SOUS 1223312 HAS SOUPS 1223312 WITH SCORE 1224825.259
AT ITER 8 NEW BEST:: SOT 8581653 SOS 1512923 HAS SOPS 1512923 HAS SOUS 1222972 HAS SOUPS 1222972 WITH SCORE 1224484.923
AT ITER 29 NEW BEST:: SOT 8581317 SOS 1513267 HAS SOPS 1513267 HAS SOUS 1222866 HAS SOUPS 1222866 WITH SCORE 1224379.267
AT ITER 38 NEW BEST:: SOT 8581317 SOS 1513114 HAS SOPS 1513114 HAS SOUS 1222713 HAS SOUPS 1222713 WITH SCORE 1224226.114
AT ITER 40 NEW BEST:: SOT 8581316 SOS 1513111 HAS SOPS 1513111 HAS SOUS 1222710 HAS SOUPS 1222710 WITH SCORE 1224223.111
AT ITER 58 NEW BEST:: SOT 8581162 SOS 1512957 HAS SOPS 1512957 HAS SOUS 1222556 HAS SOUPS 1222556 WITH SCORE 1224068.957
AT ITER 92 NEW BEST:: SOT 8580900 SOS 1512778 HAS SOPS 1512778 HAS SOUS 1222294 HAS SOUPS 1222294 WITH SCORE 1223806.778
AT ITER 102 NEW BEST:: SOT 8580496 SOS 1512387 HAS SOPS 1512387 HAS SOUS 1221901 HAS SOUPS 1221901 WITH SCORE 1223413.387
AT ITER 152 NEW BEST:: SOT 8580485 SOS 1512370 HAS SOPS 1512370 HAS SOUS 1221884 HAS SOUPS 1221884 WITH SCORE 1223396.37
AT ITER 164 NEW BEST:: SOT 8579657 SOS 1512646 HAS SOPS 1512646 HAS SOUS 1221194 HAS SOUPS 1221194 WITH SCORE 1222706.646
AT ITER 166 NEW BEST:: SOT 8579501 SOS 1512649 HAS SOPS 1512649 HAS SOUS 1220882 HAS SOUPS 1220882 WITH SCORE 1222394.649
AT ITER 173 NEW BEST:: SOT 8579501 SOS 1512478 HAS SOPS 1512478 HAS SOUS 1220882 HAS SOUPS 1220882 WITH SCORE 1222394.478
AT ITER 233 NEW BEST:: SOT 8579450 SOS 1512424 HAS SOPS 1512424 HAS SOUS 1220838 HAS SOUPS 1220838 WITH SCORE 1222350.424
AT ITER 254 NEW BEST:: SOT 8579450 SOS 1512423 HAS SOPS 1512423 HAS SOUS 1220837 HAS SOUPS 1220837 WITH SCORE 1222349.423
AT ITER 288 NEW BEST:: SOT 8578855 SOS 1512486 HAS SOPS 1512486 HAS SOUS 1220540 HAS SOUPS 1220540 WITH SCORE 1222052.486
AT ITER 290 NEW BEST:: SOT 8578855 SOS 1512316 HAS SOPS 1512316 HAS SOUS 1220531 HAS SOUPS 1220531 WITH SCORE 1222043.316
AT ITER 306 NEW BEST:: SOT 8579086 SOS 1512204 HAS SOPS 1512204 HAS SOUS 1220419 HAS SOUPS 1220419 WITH SCORE 1221931.204
AT ITER 330 NEW BEST:: SOT 8579086 SOS 1512187 HAS SOPS 1512187 HAS SOUS 1220419 HAS SOUPS 1220419 WITH SCORE 1221931.187
AT ITER 337 NEW BEST:: SOT 8578893 SOS 1512176 HAS SOPS 1512176 HAS SOUS 1220408 HAS SOUPS 1220408 WITH SCORE 1221920.176
AT ITER 348 NEW BEST:: SOT 8578794 SOS 1511963 HAS SOPS 1511963 HAS SOUS 1220195 HAS SOUPS 1220195 WITH SCORE 1221706.963
AT ITER 352 NEW BEST:: SOT 8578770 SOS 1511939 HAS SOPS 1511939 HAS SOUS 1220171 HAS SOUPS 1220171 WITH SCORE 1221682.939
AT ITER 368 NEW BEST:: SOT 8578511 SOS 1511701 HAS SOPS 1511701 HAS SOUS 1219595 HAS SOUPS 1219595 WITH SCORE 1221106.701
AT ITER 375 NEW BEST:: SOT 8578511 SOS 1511701 HAS SOPS 1511701 HAS SOUS 1219594 HAS SOUPS 1219594 WITH SCORE 1221105.701
AT ITER 396 NEW BEST:: SOT 8578301 SOS 1511281 HAS SOPS 1511281 HAS SOUS 1219174 HAS SOUPS 1219174 WITH SCORE 1220685.281
AT ITER 408 NEW BEST:: SOT 8578052 SOS 1511277 HAS SOPS 1511277 HAS SOUS 1219170 HAS SOUPS 1219170 WITH SCORE 1220681.277
AT ITER 422 NEW BEST:: SOT 8578017 SOS 1510717 HAS SOPS 1510717 HAS SOUS 1219046 HAS SOUPS 1219046 WITH SCORE 1220556.717
AT ITER 426 NEW BEST:: SOT 8578017 SOS 1510716 HAS SOPS 1510716 HAS SOUS 1219045 HAS SOUPS 1219045 WITH SCORE 1220555.716
AT ITER 459 NEW BEST:: SOT 8578017 SOS 1510713 HAS SOPS 1510713 HAS SOUS 1219042 HAS SOUPS 1219042 WITH SCORE 1220552.713
AT ITER 476 NEW BEST:: SOT 8577838 SOS 1510533 HAS SOPS 1510533 HAS SOUS 1218862 HAS SOUPS 1218862 WITH SCORE 1220372.533
AT ITER 515 NEW BEST:: SOT 8577717 SOS 1510291 HAS SOPS 1510291 HAS SOUS 1218733 HAS SOUPS 1218733 WITH SCORE 1220243.291
AT ITER 524 NEW BEST:: SOT 8577717 SOS 1510289 HAS SOPS 1510289 HAS SOUS 1218731 HAS SOUPS 1218731 WITH SCORE 1220241.289
AT ITER 536 NEW BEST:: SOT 8577695 SOS 1509960 HAS SOPS 1509960 HAS SOUS 1218460 HAS SOUPS 1218460 WITH SCORE 1219969.96
AT ITER 543 NEW BEST:: SOT 8577313 SOS 1509592 HAS SOPS 1509592 HAS SOUS 1218086 HAS SOUPS 1218086 WITH SCORE 1219595.592
AT ITER 560 NEW BEST:: SOT 8576989 SOS 1508944 HAS SOPS 1508944 HAS SOUS 1217438 HAS SOUPS 1217438 WITH SCORE 1218946.944
AT ITER 593 NEW BEST:: SOT 8576896 SOS 1508758 HAS SOPS 1508758 HAS SOUS 1217252 HAS SOUPS 1217252 WITH SCORE 1218760.758
AT ITER 607 NEW BEST:: SOT 8576712 SOS 1508432 HAS SOPS 1508432 HAS SOUS 1216926 HAS SOUPS 1216926 WITH SCORE 1218434.432
AT ITER 625 NEW BEST:: SOT 8576743 SOS 1508377 HAS SOPS 1508377 HAS SOUS 1216871 HAS SOUPS 1216871 WITH SCORE 1218379.377
AT ITER 630 NEW BEST:: SOT 8576735 SOS 1508369 HAS SOPS 1508369 HAS SOUS 1216863 HAS SOUPS 1216863 WITH SCORE 1218371.369
AT ITER 652 NEW BEST:: SOT 8576735 SOS 1507658 HAS SOPS 1507658 HAS SOUS 1216863 HAS SOUPS 1216863 WITH SCORE 1218370.658
AT ITER 667 NEW BEST:: SOT 8576710 SOS 1508355 HAS SOPS 1508355 HAS SOUS 1216804 HAS SOUPS 1216804 WITH SCORE 1218312.355
AT ITER 758 NEW BEST:: SOT 8576637 SOS 1508291 HAS SOPS 1508291 HAS SOUS 1216707 HAS SOUPS 1216707 WITH SCORE 1218215.291
AT ITER 768 NEW BEST:: SOT 8576637 SOS 1508235 HAS SOPS 1508235 HAS SOUS 1216679 HAS SOUPS 1216679 WITH SCORE 1218187.235
AT ITER 775 NEW BEST:: SOT 8576629 SOS 1508227 HAS SOPS 1508227 HAS SOUS 1216669 HAS SOUPS 1216669 WITH SCORE 1218177.227
AT ITER 796 NEW BEST:: SOT 8576565 SOS 1508099 HAS SOPS 1508099 HAS SOUS 1216541 HAS SOUPS 1216541 WITH SCORE 1218049.099
AT ITER 810 NEW BEST:: SOT 8576428 SOS 1507688 HAS SOPS 1507688 HAS SOUS 1216266 HAS SOUPS 1216266 WITH SCORE 1217773.688
AT ITER 839 NEW BEST:: SOT 8576245 SOS 1508498 HAS SOPS 1508498 HAS SOUS 1216046 HAS SOUPS 1216046 WITH SCORE 1217554.498
AT ITER 923 NEW BEST:: SOT 8576045 SOS 1508160 HAS SOPS 1508160 HAS SOUS 1215695 HAS SOUPS 1215695 WITH SCORE 1217203.16
AT ITER 938 NEW BEST:: SOT 8576045 SOS 1508112 HAS SOPS 1508112 HAS SOUS 1215695 HAS SOUPS 1215695 WITH SCORE 1217203.112
AT ITER 960 NEW BEST:: SOT 8575874 SOS 1508080 HAS SOPS 1508080 HAS SOUS 1215353 HAS SOUPS 1215353 WITH SCORE 1216861.08
AT ITER 984 NEW BEST:: SOT 8574799 SOS 1507240 HAS SOPS 1507240 HAS SOUS 1214446 HAS SOUPS 1214446 WITH SCORE 1215953.24
AT ITER 1020 NEW BEST:: SOT 8574799 SOS 1507189 HAS SOPS 1507189 HAS SOUS 1214446 HAS SOUPS 1214446 WITH SCORE 1215953.189
AT ITER 1030 NEW BEST:: SOT 8574578 SOS 1507153 HAS SOPS 1507153 HAS SOUS 1214410 HAS SOUPS 1214410 WITH SCORE 1215917.153
AT ITER 1052 NEW BEST:: SOT 8573795 SOS 1507165 HAS SOPS 1507165 HAS SOUS 1213486 HAS SOUPS 1213486 WITH SCORE 1214993.165
AT ITER 1080 NEW BEST:: SOT 8573795 SOS 1507131 HAS SOPS 1507131 HAS SOUS 1213485 HAS SOUPS 1213485 WITH SCORE 1214992.131
AT ITER 1093 NEW BEST:: SOT 8573668 SOS 1506944 HAS SOPS 1506944 HAS SOUS 1213298 HAS SOUPS 1213298 WITH SCORE 1214804.944
AT ITER 1098 NEW BEST:: SOT 8572995 SOS 1506664 HAS SOPS 1506664 HAS SOUS 1212845 HAS SOUPS 1212845 WITH SCORE 1214351.664
AT ITER 1108 NEW BEST:: SOT 8572632 SOS 1506437 HAS SOPS 1506437 HAS SOUS 1212482 HAS SOUPS 1212482 WITH SCORE 1213988.437
AT ITER 1113 NEW BEST:: SOT 8572215 SOS 1505816 HAS SOPS 1505816 HAS SOUS 1211890 HAS SOUPS 1211890 WITH SCORE 1213395.816
AT ITER 1116 NEW BEST:: SOT 8572134 SOS 1505653 HAS SOPS 1505653 HAS SOUS 1211727 HAS SOUPS 1211727 WITH SCORE 1213232.653
AT ITER 1139 NEW BEST:: SOT 8572134 SOS 1505646 HAS SOPS 1505646 HAS SOUS 1211720 HAS SOUPS 1211720 WITH SCORE 1213225.646
AT ITER 1146 NEW BEST:: SOT 8571748 SOS 1505413 HAS SOPS 1505413 HAS SOUS 1211487 HAS SOUPS 1211487 WITH SCORE 1212992.413
AT ITER 1162 NEW BEST:: SOT 8570784 SOS 1504645 HAS SOPS 1504645 HAS SOUS 1210724 HAS SOUPS 1210724 WITH SCORE 1212228.645
AT ITER 1163 NEW BEST:: SOT 8570528 SOS 1505285 HAS SOPS 1505285 HAS SOUS 1210596 HAS SOUPS 1210596 WITH SCORE 1212101.285
AT ITER 1164 NEW BEST:: SOT 8570380 SOS 1505136 HAS SOPS 1505136 HAS SOUS 1210447 HAS SOUPS 1210447 WITH SCORE 1211952.136
AT ITER 1178 NEW BEST:: SOT 8570380 SOS 1505399 HAS SOPS 1505399 HAS SOUS 1210434 HAS SOUPS 1210434 WITH SCORE 1211939.399
AT ITER 1197 NEW BEST:: SOT 8570284 SOS 1505138 HAS SOPS 1505138 HAS SOUS 1210173 HAS SOUPS 1210173 WITH SCORE 1211678.138
AT ITER 1199 NEW BEST:: SOT 8570224 SOS 1504465 HAS SOPS 1504465 HAS SOUS 1209980 HAS SOUPS 1209980 WITH SCORE 1211484.465
AT ITER 1210 NEW BEST:: SOT 8570224 SOS 1505050 HAS SOPS 1505050 HAS SOUS 1209949 HAS SOUPS 1209949 WITH SCORE 1211454.05
AT ITER 1234 NEW BEST:: SOT 8569788 SOS 1504337 HAS SOPS 1504337 HAS SOUS 1209508 HAS SOUPS 1209508 WITH SCORE 1211012.337
AT ITER 1250 NEW BEST:: SOT 8569425 SOS 1504035 HAS SOPS 1504035 HAS SOUS 1209206 HAS SOUPS 1209206 WITH SCORE 1210710.035
AT ITER 1254 NEW BEST:: SOT 8569424 SOS 1504033 HAS SOPS 1504033 HAS SOUS 1209204 HAS SOUPS 1209204 WITH SCORE 1210708.033
AT ITER 1360 NEW BEST:: SOT 8569424 SOS 1503996 HAS SOPS 1503996 HAS SOUS 1209204 HAS SOUPS 1209204 WITH SCORE 1210707.996
AT ITER 1383 NEW BEST:: SOT 8569369 SOS 1503873 HAS SOPS 1503873 HAS SOUS 1209081 HAS SOUPS 1209081 WITH SCORE 1210584.873
AT ITER 1412 NEW BEST:: SOT 8569235 SOS 1503656 HAS SOPS 1503656 HAS SOUS 1208924 HAS SOUPS 1208924 WITH SCORE 1210427.656
AT ITER 1415 NEW BEST:: SOT 8569191 SOS 1503612 HAS SOPS 1503612 HAS SOUS 1208880 HAS SOUPS 1208880 WITH SCORE 1210383.612
AT ITER 1419 NEW BEST:: SOT 8568577 SOS 1502663 HAS SOPS 1502663 HAS SOUS 1207959 HAS SOUPS 1207959 WITH SCORE 1209461.663
AT ITER 1421 NEW BEST:: SOT 8568435 SOS 1502310 HAS SOPS 1502310 HAS SOUS 1207675 HAS SOUPS 1207675 WITH SCORE 1209177.31
AT ITER 1448 NEW BEST:: SOT 8566286 SOS 1509109 HAS SOPS 1509109 HAS SOUS 1206684 HAS SOUPS 1206684 WITH SCORE 1208193.109
AT ITER 1453 NEW BEST:: SOT 8565506 SOS 1508433 HAS SOPS 1508433 HAS SOUS 1206684 HAS SOUPS 1206684 WITH SCORE 1208192.433
AT ITER 1478 NEW BEST:: SOT 8565099 SOS 1507749 HAS SOPS 1507749 HAS SOUS 1206270 HAS SOUPS 1206270 WITH SCORE 1207777.749
AT ITER 1488 NEW BEST:: SOT 8564996 SOS 1507440 HAS SOPS 1507440 HAS SOUS 1205961 HAS SOUPS 1205961 WITH SCORE 1207468.44
AT ITER 1496 NEW BEST:: SOT 8564428 SOS 1507402 HAS SOPS 1507402 HAS SOUS 1205523 HAS SOUPS 1205523 WITH SCORE 1207030.402
AT ITER 1520 NEW BEST:: SOT 8564288 SOS 1507962 HAS SOPS 1507962 HAS SOUS 1205208 HAS SOUPS 1205208 WITH SCORE 1206715.962
AT ITER 1532 NEW BEST:: SOT 8564197 SOS 1507747 HAS SOPS 1507747 HAS SOUS 1204993 HAS SOUPS 1204993 WITH SCORE 1206500.747
AT ITER 1540 NEW BEST:: SOT 8564197 SOS 1507954 HAS SOPS 1507954 HAS SOUS 1204659 HAS SOUPS 1204659 WITH SCORE 1206166.954
AT ITER 1541 NEW BEST:: SOT 8564196 SOS 1507952 HAS SOPS 1507952 HAS SOUS 1204657 HAS SOUPS 1204657 WITH SCORE 1206164.952
AT ITER 1568 NEW BEST:: SOT 8564196 SOS 1507149 HAS SOPS 1507149 HAS SOUS 1204569 HAS SOUPS 1204569 WITH SCORE 1206076.149
AT ITER 1569 NEW BEST:: SOT 8563337 SOS 1506218 HAS SOPS 1506218 HAS SOUS 1203556 HAS SOUPS 1203556 WITH SCORE 1205062.218
AT ITER 1586 NEW BEST:: SOT 8563187 SOS 1506068 HAS SOPS 1506068 HAS SOUS 1203405 HAS SOUPS 1203405 WITH SCORE 1204911.068
AT ITER 1587 NEW BEST:: SOT 8561990 SOS 1505517 HAS SOPS 1505517 HAS SOUS 1202304 HAS SOUPS 1202304 WITH SCORE 1203809.517
AT ITER 1588 NEW BEST:: SOT 8561794 SOS 1504929 HAS SOPS 1504929 HAS SOUS 1201912 HAS SOUPS 1201912 WITH SCORE 1203416.929
AT ITER 1619 NEW BEST:: SOT 8561772 SOS 1504885 HAS SOPS 1504885 HAS SOUS 1201866 HAS SOUPS 1201866 WITH SCORE 1203370.885
AT ITER 1631 NEW BEST:: SOT 8561686 SOS 1504713 HAS SOPS 1504713 HAS SOUS 1201694 HAS SOUPS 1201694 WITH SCORE 1203198.713
AT ITER 1633 NEW BEST:: SOT 8561619 SOS 1504641 HAS SOPS 1504641 HAS SOUS 1201625 HAS SOUPS 1201625 WITH SCORE 1203129.641
AT ITER 1638 NEW BEST:: SOT 8561436 SOS 1504442 HAS SOPS 1504442 HAS SOUS 1201384 HAS SOUPS 1201384 WITH SCORE 1202888.442
AT ITER 1648 NEW BEST:: SOT 8560734 SOS 1503740 HAS SOPS 1503740 HAS SOUS 1200681 HAS SOUPS 1200681 WITH SCORE 1202184.74
AT ITER 1665 NEW BEST:: SOT 8560731 SOS 1503641 HAS SOPS 1503641 HAS SOUS 1200665 HAS SOUPS 1200665 WITH SCORE 1202168.641
AT ITER 1666 NEW BEST:: SOT 8560610 SOS 1503517 HAS SOPS 1503517 HAS SOUS 1200572 HAS SOUPS 1200572 WITH SCORE 1202075.517
AT ITER 1668 NEW BEST:: SOT 8560355 SOS 1503321 HAS SOPS 1503321 HAS SOUS 1200376 HAS SOUPS 1200376 WITH SCORE 1201879.321
AT ITER 1679 NEW BEST:: SOT 8560355 SOS 1503157 HAS SOPS 1503157 HAS SOUS 1200212 HAS SOUPS 1200212 WITH SCORE 1201715.157
AT ITER 1688 NEW BEST:: SOT 8560292 SOS 1503030 HAS SOPS 1503030 HAS SOUS 1200085 HAS SOUPS 1200085 WITH SCORE 1201588.03
AT ITER 1730 NEW BEST:: SOT 8560222 SOS 1502641 HAS SOPS 1502641 HAS SOUS 1199949 HAS SOUPS 1199949 WITH SCORE 1201451.641
AT ITER 1736 NEW BEST:: SOT 8559124 SOS 1501726 HAS SOPS 1501726 HAS SOUS 1199034 HAS SOUPS 1199034 WITH SCORE 1200535.726
AT ITER 1738 NEW BEST:: SOT 8558762 SOS 1500777 HAS SOPS 1500777 HAS SOUS 1198310 HAS SOUPS 1198310 WITH SCORE 1199810.777
AT ITER 1775 NEW BEST:: SOT 8558761 SOS 1500774 HAS SOPS 1500774 HAS SOUS 1198307 HAS SOUPS 1198307 WITH SCORE 1199807.774
AT ITER 1815 NEW BEST:: SOT 8558761 SOS 1500771 HAS SOPS 1500771 HAS SOUS 1198304 HAS SOUPS 1198304 WITH SCORE 1199804.771
AT ITER 1818 NEW BEST:: SOT 8558840 SOS 1501001 HAS SOPS 1501001 HAS SOUS 1197017 HAS SOUPS 1197017 WITH SCORE 1198518.001
AT ITER 1833 NEW BEST:: SOT 8558832 SOS 1500961 HAS SOPS 1500961 HAS SOUS 1196993 HAS SOUPS 1196993 WITH SCORE 1198493.961
AT ITER 1842 NEW BEST:: SOT 8558595 SOS 1500336 HAS SOPS 1500336 HAS SOUS 1196604 HAS SOUPS 1196604 WITH SCORE 1198104.336
AT ITER 1867 NEW BEST:: SOT 8558587 SOS 1500328 HAS SOPS 1500328 HAS SOUS 1196596 HAS SOUPS 1196596 WITH SCORE 1198096.328
AT ITER 1870 NEW BEST:: SOT 8558426 SOS 1499783 HAS SOPS 1499783 HAS SOUS 1196186 HAS SOUPS 1196186 WITH SCORE 1197685.783
AT ITER 1878 NEW BEST:: SOT 8556592 SOS 1497687 HAS SOPS 1497687 HAS SOUS 1195924 HAS SOUPS 1195924 WITH SCORE 1197421.687
AT ITER 1886 NEW BEST:: SOT 8556459 SOS 1497293 HAS SOPS 1497293 HAS SOUS 1195533 HAS SOUPS 1195533 WITH SCORE 1197030.293
AT ITER 1888 NEW BEST:: SOT 8556459 SOS 1497173 HAS SOPS 1497173 HAS SOUS 1195532 HAS SOUPS 1195532 WITH SCORE 1197029.173
AT ITER 1892 NEW BEST:: SOT 8556410 SOS 1497219 HAS SOPS 1497219 HAS SOUS 1195431 HAS SOUPS 1195431 WITH SCORE 1196928.219
AT ITER 1907 NEW BEST:: SOT 8556115 SOS 1496912 HAS SOPS 1496912 HAS SOUS 1194829 HAS SOUPS 1194829 WITH SCORE 1196325.912
AT ITER 1919 NEW BEST:: SOT 8555793 SOS 1496427 HAS SOPS 1496427 HAS SOUS 1194185 HAS SOUPS 1194185 WITH SCORE 1195681.427
AT ITER 1923 NEW BEST:: SOT 8552352 SOS 1493352 HAS SOPS 1493352 HAS SOUS 1193957 HAS SOUPS 1193957 WITH SCORE 1195450.352
AT ITER 1936 NEW BEST:: SOT 8552146 SOS 1493328 HAS SOPS 1493328 HAS SOUS 1193957 HAS SOUPS 1193957 WITH SCORE 1195450.328
AT ITER 1941 NEW BEST:: SOT 8551898 SOS 1493260 HAS SOPS 1493260 HAS SOUS 1193889 HAS SOUPS 1193889 WITH SCORE 1195382.26
AT ITER 1942 NEW BEST:: SOT 8551678 SOS 1492982 HAS SOPS 1492982 HAS SOUS 1193579 HAS SOUPS 1193579 WITH SCORE 1195071.982
AT ITER 1976 NEW BEST:: SOT 8551573 SOS 1492772 HAS SOPS 1492772 HAS SOUS 1193369 HAS SOUPS 1193369 WITH SCORE 1194861.772
AT ITER 2003 NEW BEST:: SOT 8551572 SOS 1492770 HAS SOPS 1492770 HAS SOUS 1193367 HAS SOUPS 1193367 WITH SCORE 1194859.77
AT ITER 2027 NEW BEST:: SOT 8551255 SOS 1492131 HAS SOPS 1492131 HAS SOUS 1192651 HAS SOUPS 1192651 WITH SCORE 1194143.131
AT ITER 2051 NEW BEST:: SOT 8551254 SOS 1492129 HAS SOPS 1492129 HAS SOUS 1192649 HAS SOUPS 1192649 WITH SCORE 1194141.129
AT ITER 2065 NEW BEST:: SOT 8551620 SOS 1492836 HAS SOPS 1492836 HAS SOUS 1191603 HAS SOUPS 1191603 WITH SCORE 1193095.836
AT ITER 2076 NEW BEST:: SOT 8551235 SOS 1492451 HAS SOPS 1492451 HAS SOUS 1191218 HAS SOUPS 1191218 WITH SCORE 1192710.451
AT ITER 2081 NEW BEST:: SOT 8551039 SOS 1491982 HAS SOPS 1491982 HAS SOUS 1190965 HAS SOUPS 1190965 WITH SCORE 1192456.982
AT ITER 2103 NEW BEST:: SOT 8550789 SOS 1491482 HAS SOPS 1491482 HAS SOUS 1190430 HAS SOUPS 1190430 WITH SCORE 1191921.482
AT ITER 2104 NEW BEST:: SOT 8550789 SOS 1491397 HAS SOPS 1491397 HAS SOUS 1190430 HAS SOUPS 1190430 WITH SCORE 1191921.397
AT ITER 2125 NEW BEST:: SOT 8550669 SOS 1491855 HAS SOPS 1491855 HAS SOUS 1190160 HAS SOUPS 1190160 WITH SCORE 1191651.855
AT ITER 2134 NEW BEST:: SOT 8550669 SOS 1491371 HAS SOPS 1491371 HAS SOUS 1190159 HAS SOUPS 1190159 WITH SCORE 1191650.371
AT ITER 2143 NEW BEST:: SOT 8550491 SOS 1491193 HAS SOPS 1491193 HAS SOUS 1189981 HAS SOUPS 1189981 WITH SCORE 1191472.193
AT ITER 2160 NEW BEST:: SOT 8550112 SOS 1490197 HAS SOPS 1490197 HAS SOUS 1188985 HAS SOUPS 1188985 WITH SCORE 1190475.197
AT ITER 2192 NEW BEST:: SOT 8550088 SOS 1490077 HAS SOPS 1490077 HAS SOUS 1188937 HAS SOUPS 1188937 WITH SCORE 1190427.077
AT ITER 2195 NEW BEST:: SOT 8550180 SOS 1490023 HAS SOPS 1490023 HAS SOUS 1188883 HAS SOUPS 1188883 WITH SCORE 1190373.023
AT ITER 2200 NEW BEST:: SOT 8550180 SOS 1489845 HAS SOPS 1489845 HAS SOUS 1188883 HAS SOUPS 1188883 WITH SCORE 1190372.845
AT ITER 2219 NEW BEST:: SOT 8548976 SOS 1488952 HAS SOPS 1488952 HAS SOUS 1188210 HAS SOUPS 1188210 WITH SCORE 1189698.952
AT ITER 2270 NEW BEST:: SOT 8548587 SOS 1488294 HAS SOPS 1488294 HAS SOUS 1187552 HAS SOUPS 1187552 WITH SCORE 1189040.294
AT ITER 2334 NEW BEST:: SOT 8548601 SOS 1487981 HAS SOPS 1487981 HAS SOUS 1187239 HAS SOUPS 1187239 WITH SCORE 1188726.981
AT ITER 2337 NEW BEST:: SOT 8548601 SOS 1487845 HAS SOPS 1487845 HAS SOUS 1187239 HAS SOUPS 1187239 WITH SCORE 1188726.845
AT ITER 2366 NEW BEST:: SOT 8548307 SOS 1487588 HAS SOPS 1487588 HAS SOUS 1186964 HAS SOUPS 1186964 WITH SCORE 1188451.588
AT ITER 2377 NEW BEST:: SOT 8548170 SOS 1487436 HAS SOPS 1487436 HAS SOUS 1186812 HAS SOUPS 1186812 WITH SCORE 1188299.436
AT ITER 2385 NEW BEST:: SOT 8548010 SOS 1487992 HAS SOPS 1487992 HAS SOUS 1186492 HAS SOUPS 1186492 WITH SCORE 1187979.992
AT ITER 2409 NEW BEST:: SOT 8548010 SOS 1487932 HAS SOPS 1487932 HAS SOUS 1186491 HAS SOUPS 1186491 WITH SCORE 1187978.932
AT ITER 2413 NEW BEST:: SOT 8547782 SOS 1487446 HAS SOPS 1487446 HAS SOUS 1186005 HAS SOUPS 1186005 WITH SCORE 1187492.446
AT ITER 2421 NEW BEST:: SOT 8547446 SOS 1487370 HAS SOPS 1487370 HAS SOUS 1185799 HAS SOUPS 1185799 WITH SCORE 1187286.37
AT ITER 2446 NEW BEST:: SOT 8547571 SOS 1487206 HAS SOPS 1487206 HAS SOUS 1185635 HAS SOUPS 1185635 WITH SCORE 1187122.206
AT ITER 2448 NEW BEST:: SOT 8546918 SOS 1486179 HAS SOPS 1486179 HAS SOUS 1184667 HAS SOUPS 1184667 WITH SCORE 1186153.179
AT ITER 2458 NEW BEST:: SOT 8545343 SOS 1493771 HAS SOPS 1493771 HAS SOUS 1184631 HAS SOUPS 1184631 WITH SCORE 1186124.771
AT ITER 2465 NEW BEST:: SOT 8545342 SOS 1493765 HAS SOPS 1493765 HAS SOUS 1184625 HAS SOUPS 1184625 WITH SCORE 1186118.765
AT ITER 2473 NEW BEST:: SOT 8545210 SOS 1493501 HAS SOPS 1493501 HAS SOUS 1184493 HAS SOUPS 1184493 WITH SCORE 1185986.501
AT ITER 2478 NEW BEST:: SOT 8544902 SOS 1493251 HAS SOPS 1493251 HAS SOUS 1184243 HAS SOUPS 1184243 WITH SCORE 1185736.251
AT ITER 2482 NEW BEST:: SOT 8544771 SOS 1493642 HAS SOPS 1493642 HAS SOUS 1183939 HAS SOUPS 1183939 WITH SCORE 1185432.642
AT ITER 2518 NEW BEST:: SOT 8544617 SOS 1493600 HAS SOPS 1493600 HAS SOUS 1183897 HAS SOUPS 1183897 WITH SCORE 1185390.6
AT ITER 2526 NEW BEST:: SOT 8544261 SOS 1492845 HAS SOPS 1492845 HAS SOUS 1183407 HAS SOUPS 1183407 WITH SCORE 1184899.845
AT ITER 2531 NEW BEST:: SOT 8544097 SOS 1492585 HAS SOPS 1492585 HAS SOUS 1182586 HAS SOUPS 1182586 WITH SCORE 1184078.585
AT ITER 2553 NEW BEST:: SOT 8544097 SOS 1492579 HAS SOPS 1492579 HAS SOUS 1182586 HAS SOUPS 1182586 WITH SCORE 1184078.579
AT ITER 2638 NEW BEST:: SOT 8542494 SOS 1490747 HAS SOPS 1490747 HAS SOUS 1182357 HAS SOUPS 1182357 WITH SCORE 1183847.747
AT ITER 2672 NEW BEST:: SOT 8542391 SOS 1490527 HAS SOPS 1490527 HAS SOUS 1182041 HAS SOUPS 1182041 WITH SCORE 1183531.527
AT ITER 2674 NEW BEST:: SOT 8542390 SOS 1490385 HAS SOPS 1490385 HAS SOUS 1182039 HAS SOUPS 1182039 WITH SCORE 1183529.385
AT ITER 2695 NEW BEST:: SOT 8542390 SOS 1490374 HAS SOPS 1490374 HAS SOUS 1182028 HAS SOUPS 1182028 WITH SCORE 1183518.374
AT ITER 2708 NEW BEST:: SOT 8541366 SOS 1491555 HAS SOPS 1491555 HAS SOUS 1181752 HAS SOUPS 1181752 WITH SCORE 1183243.555
AT ITER 2732 NEW BEST:: SOT 8542236 SOS 1492588 HAS SOPS 1492588 HAS SOUS 1180001 HAS SOUPS 1180001 WITH SCORE 1181493.588
AT ITER 2733 NEW BEST:: SOT 8542076 SOS 1492254 HAS SOPS 1492254 HAS SOUS 1178401 HAS SOUPS 1178401 WITH SCORE 1179893.254
AT ITER 2773 NEW BEST:: SOT 8541625 SOS 1492067 HAS SOPS 1492067 HAS SOUS 1178214 HAS SOUPS 1178214 WITH SCORE 1179706.067
AT ITER 2828 NEW BEST:: SOT 8541624 SOS 1492065 HAS SOPS 1492065 HAS SOUS 1178212 HAS SOUPS 1178212 WITH SCORE 1179704.065
AT ITER 2842 NEW BEST:: SOT 8541555 SOS 1491995 HAS SOPS 1491995 HAS SOUS 1178073 HAS SOUPS 1178073 WITH SCORE 1179564.995
AT ITER 2846 NEW BEST:: SOT 8541149 SOS 1491599 HAS SOPS 1491599 HAS SOUS 1177353 HAS SOUPS 1177353 WITH SCORE 1178844.599
AT ITER 2858 NEW BEST:: SOT 8540856 SOS 1491306 HAS SOPS 1491306 HAS SOUS 1177353 HAS SOUPS 1177353 WITH SCORE 1178844.306
AT ITER 2864 NEW BEST:: SOT 8540855 SOS 1491096 HAS SOPS 1491096 HAS SOUS 1177351 HAS SOUPS 1177351 WITH SCORE 1178842.096
AT ITER 2905 NEW BEST:: SOT 8540823 SOS 1490836 HAS SOPS 1490836 HAS SOUS 1177285 HAS SOUPS 1177285 WITH SCORE 1178775.836
AT ITER 2910 NEW BEST:: SOT 8540822 SOS 1490640 HAS SOPS 1490640 HAS SOUS 1177282 HAS SOUPS 1177282 WITH SCORE 1178772.64
AT ITER 2925 NEW BEST:: SOT 8540429 SOS 1490143 HAS SOPS 1490143 HAS SOUS 1176496 HAS SOUPS 1176496 WITH SCORE 1177986.143
AT ITER 2937 NEW BEST:: SOT 8540236 SOS 1490077 HAS SOPS 1490077 HAS SOUS 1176249 HAS SOUPS 1176249 WITH SCORE 1177739.077
AT ITER 2938 NEW BEST:: SOT 8539956 SOS 1489855 HAS SOPS 1489855 HAS SOUS 1175689 HAS SOUPS 1175689 WITH SCORE 1177178.855
AT ITER 2957 NEW BEST:: SOT 8539821 SOS 1489708 HAS SOPS 1489708 HAS SOUS 1175553 HAS SOUPS 1175553 WITH SCORE 1177042.708
AT ITER 2960 NEW BEST:: SOT 8539821 SOS 1489707 HAS SOPS 1489707 HAS SOUS 1175552 HAS SOUPS 1175552 WITH SCORE 1177041.707
AT ITER 2976 NEW BEST:: SOT 8539738 SOS 1489623 HAS SOPS 1489623 HAS SOUS 1175151 HAS SOUPS 1175151 WITH SCORE 1176640.623
AT ITER 2993 NEW BEST:: SOT 8539490 SOS 1489490 HAS SOPS 1489490 HAS SOUS 1174903 HAS SOUPS 1174903 WITH SCORE 1176392.49
AT ITER 3048 NEW BEST:: SOT 8538992 SOS 1489261 HAS SOPS 1489261 HAS SOUS 1174674 HAS SOUPS 1174674 WITH SCORE 1176163.261
AT ITER 3082 NEW BEST:: SOT 8538992 SOS 1489260 HAS SOPS 1489260 HAS SOUS 1174673 HAS SOUPS 1174673 WITH SCORE 1176162.26
AT ITER 3085 NEW BEST:: SOT 8538897 SOS 1489070 HAS SOPS 1489070 HAS SOUS 1174577 HAS SOUPS 1174577 WITH SCORE 1176066.07
AT ITER 3086 NEW BEST:: SOT 8538821 SOS 1488918 HAS SOPS 1488918 HAS SOUS 1174501 HAS SOUPS 1174501 WITH SCORE 1175989.918
AT ITER 3091 NEW BEST:: SOT 8538635 SOS 1488543 HAS SOPS 1488543 HAS SOUS 1173911 HAS SOUPS 1173911 WITH SCORE 1175399.543
AT ITER 3204 NEW BEST:: SOT 8538644 SOS 1488376 HAS SOPS 1488376 HAS SOUS 1173744 HAS SOUPS 1173744 WITH SCORE 1175232.376
AT ITER 3250 NEW BEST:: SOT 8537653 SOS 1488602 HAS SOPS 1488602 HAS SOUS 1173121 HAS SOUPS 1173121 WITH SCORE 1174609.602
AT ITER 3251 NEW BEST:: SOT 8537619 SOS 1488164 HAS SOPS 1488164 HAS SOUS 1173084 HAS SOUPS 1173084 WITH SCORE 1174572.164
AT ITER 3258 NEW BEST:: SOT 8537490 SOS 1487906 HAS SOPS 1487906 HAS SOUS 1172826 HAS SOUPS 1172826 WITH SCORE 1174313.906
AT ITER 3290 NEW BEST:: SOT 8535754 SOS 1490200 HAS SOPS 1490200 HAS SOUS 1171193 HAS SOUPS 1171193 WITH SCORE 1172683.2
AT ITER 3300 NEW BEST:: SOT 8535754 SOS 1490157 HAS SOPS 1490157 HAS SOUS 1171193 HAS SOUPS 1171193 WITH SCORE 1172683.157
AT ITER 3311 NEW BEST:: SOT 8535629 SOS 1489945 HAS SOPS 1489945 HAS SOUS 1170860 HAS SOUPS 1170860 WITH SCORE 1172349.945
AT ITER 3340 NEW BEST:: SOT 8535512 SOS 1489711 HAS SOPS 1489711 HAS SOUS 1170626 HAS SOUPS 1170626 WITH SCORE 1172115.711
AT ITER 3368 NEW BEST:: SOT 8535356 SOS 1489399 HAS SOPS 1489399 HAS SOUS 1170314 HAS SOUPS 1170314 WITH SCORE 1171803.399
AT ITER 3385 NEW BEST:: SOT 8535228 SOS 1489270 HAS SOPS 1489270 HAS SOUS 1170184 HAS SOUPS 1170184 WITH SCORE 1171673.27
AT ITER 3387 NEW BEST:: SOT 8535110 SOS 1489152 HAS SOPS 1489152 HAS SOUS 1170060 HAS SOUPS 1170060 WITH SCORE 1171549.152
AT ITER 3413 NEW BEST:: SOT 8533560 SOS 1487822 HAS SOPS 1487822 HAS SOUS 1168730 HAS SOUPS 1168730 WITH SCORE 1170217.822
AT ITER 3435 NEW BEST:: SOT 8533559 SOS 1487761 HAS SOPS 1487761 HAS SOUS 1168669 HAS SOUPS 1168669 WITH SCORE 1170156.761
AT ITER 3436 NEW BEST:: SOT 8533499 SOS 1487641 HAS SOPS 1487641 HAS SOUS 1168549 HAS SOUPS 1168549 WITH SCORE 1170036.641
AT ITER 3454 NEW BEST:: SOT 8533378 SOS 1487351 HAS SOPS 1487351 HAS SOUS 1168259 HAS SOUPS 1168259 WITH SCORE 1169746.351
AT ITER 3456 NEW BEST:: SOT 8533378 SOS 1488439 HAS SOPS 1488439 HAS SOUS 1168234 HAS SOUPS 1168234 WITH SCORE 1169722.439
AT ITER 3459 NEW BEST:: SOT 8533194 SOS 1488805 HAS SOPS 1488805 HAS SOUS 1167327 HAS SOUPS 1167327 WITH SCORE 1168815.805
AT ITER 3478 NEW BEST:: SOT 8533176 SOS 1488787 HAS SOPS 1488787 HAS SOUS 1167309 HAS SOUPS 1167309 WITH SCORE 1168797.787
AT ITER 3500 NEW BEST:: SOT 8533176 SOS 1488626 HAS SOPS 1488626 HAS SOUS 1167309 HAS SOUPS 1167309 WITH SCORE 1168797.626
AT ITER 3501 NEW BEST:: SOT 8532900 SOS 1488339 HAS SOPS 1488339 HAS SOUS 1166900 HAS SOUPS 1166900 WITH SCORE 1168388.339
AT ITER 3525 NEW BEST:: SOT 8532879 SOS 1488274 HAS SOPS 1488274 HAS SOUS 1166835 HAS SOUPS 1166835 WITH SCORE 1168323.274
AT ITER 3539 NEW BEST:: SOT 8532551 SOS 1487913 HAS SOPS 1487913 HAS SOUS 1166474 HAS SOUPS 1166474 WITH SCORE 1167961.913
AT ITER 3563 NEW BEST:: SOT 8530724 SOS 1486282 HAS SOPS 1486282 HAS SOUS 1166390 HAS SOUPS 1166390 WITH SCORE 1167876.282
AT ITER 3587 NEW BEST:: SOT 8530291 SOS 1485849 HAS SOPS 1485849 HAS SOUS 1166056 HAS SOUPS 1166056 WITH SCORE 1167541.849
AT ITER 3601 NEW BEST:: SOT 8529577 SOS 1485033 HAS SOPS 1485033 HAS SOUS 1165954 HAS SOUPS 1165954 WITH SCORE 1167439.033
AT ITER 3603 NEW BEST:: SOT 8529575 SOS 1484968 HAS SOPS 1484968 HAS SOUS 1165889 HAS SOUPS 1165889 WITH SCORE 1167373.968
AT ITER 3646 NEW BEST:: SOT 8529550 SOS 1484923 HAS SOPS 1484923 HAS SOUS 1165859 HAS SOUPS 1165859 WITH SCORE 1167343.923
AT ITER 3653 NEW BEST:: SOT 8529550 SOS 1484922 HAS SOPS 1484922 HAS SOUS 1165858 HAS SOUPS 1165858 WITH SCORE 1167342.922
AT ITER 3664 NEW BEST:: SOT 8529547 SOS 1484918 HAS SOPS 1484918 HAS SOUS 1165854 HAS SOUPS 1165854 WITH SCORE 1167338.918
AT ITER 3671 NEW BEST:: SOT 8529444 SOS 1484811 HAS SOPS 1484811 HAS SOUS 1165751 HAS SOUPS 1165751 WITH SCORE 1167235.811
AT ITER 3694 NEW BEST:: SOT 8529215 SOS 1484582 HAS SOPS 1484582 HAS SOUS 1165293 HAS SOUPS 1165293 WITH SCORE 1166777.582
AT ITER 3704 NEW BEST:: SOT 8529214 SOS 1484602 HAS SOPS 1484602 HAS SOUS 1165291 HAS SOUPS 1165291 WITH SCORE 1166775.602
AT ITER 3710 NEW BEST:: SOT 8529095 SOS 1484358 HAS SOPS 1484358 HAS SOUS 1165166 HAS SOUPS 1165166 WITH SCORE 1166650.358
AT ITER 3742 NEW BEST:: SOT 8528837 SOS 1483197 HAS SOPS 1483197 HAS SOUS 1164605 HAS SOUPS 1164605 WITH SCORE 1166088.197
AT ITER 3743 NEW BEST:: SOT 8528780 SOS 1483140 HAS SOPS 1483140 HAS SOUS 1164548 HAS SOUPS 1164548 WITH SCORE 1166031.14
AT ITER 3782 NEW BEST:: SOT 8528780 SOS 1483139 HAS SOPS 1483139 HAS SOUS 1164547 HAS SOUPS 1164547 WITH SCORE 1166030.139
AT ITER 3804 NEW BEST:: SOT 8528780 SOS 1483081 HAS SOPS 1483081 HAS SOUS 1164547 HAS SOUPS 1164547 WITH SCORE 1166030.081
AT ITER 3813 NEW BEST:: SOT 8528663 SOS 1483050 HAS SOPS 1483050 HAS SOUS 1164516 HAS SOUPS 1164516 WITH SCORE 1165999.05
AT ITER 3863 NEW BEST:: SOT 8528571 SOS 1482866 HAS SOPS 1482866 HAS SOUS 1163780 HAS SOUPS 1163780 WITH SCORE 1165262.866
AT ITER 3881 NEW BEST:: SOT 8527745 SOS 1482040 HAS SOPS 1482040 HAS SOUS 1163780 HAS SOUPS 1163780 WITH SCORE 1165262.04
AT ITER 3884 NEW BEST:: SOT 8527743 SOS 1481979 HAS SOPS 1481979 HAS SOUS 1163776 HAS SOUPS 1163776 WITH SCORE 1165257.979
AT ITER 3893 NEW BEST:: SOT 8527738 SOS 1481977 HAS SOPS 1481977 HAS SOUS 1163770 HAS SOUPS 1163770 WITH SCORE 1165251.977
AT ITER 3915 NEW BEST:: SOT 8527725 SOS 1481760 HAS SOPS 1481760 HAS SOUS 1163553 HAS SOUPS 1163553 WITH SCORE 1165034.76
AT ITER 3932 NEW BEST:: SOT 8525365 SOS 1479715 HAS SOPS 1479715 HAS SOUS 1161174 HAS SOUPS 1161174 WITH SCORE 1162653.715
AT ITER 3950 NEW BEST:: SOT 8525365 SOS 1479548 HAS SOPS 1479548 HAS SOUS 1161113 HAS SOUPS 1161113 WITH SCORE 1162592.548
AT ITER 3975 NEW BEST:: SOT 8524621 SOS 1479052 HAS SOPS 1479052 HAS SOUS 1160617 HAS SOUPS 1160617 WITH SCORE 1162096.052
AT ITER 3983 NEW BEST:: SOT 8524328 SOS 1478466 HAS SOPS 1478466 HAS SOUS 1160031 HAS SOUPS 1160031 WITH SCORE 1161509.466
AT ITER 4009 NEW BEST:: SOT 8524203 SOS 1478194 HAS SOPS 1478194 HAS SOUS 1159759 HAS SOUPS 1159759 WITH SCORE 1161237.194
AT ITER 4020 NEW BEST:: SOT 8524197 SOS 1478057 HAS SOPS 1478057 HAS SOUS 1159746 HAS SOUPS 1159746 WITH SCORE 1161224.057
AT ITER 4078 NEW BEST:: SOT 8524177 SOS 1477997 HAS SOPS 1477997 HAS SOUS 1159704 HAS SOUPS 1159704 WITH SCORE 1161181.997
AT ITER 4106 NEW BEST:: SOT 8524177 SOS 1477997 HAS SOPS 1477997 HAS SOUS 1159703 HAS SOUPS 1159703 WITH SCORE 1161180.997
AT ITER 4159 NEW BEST:: SOT 8524168 SOS 1477984 HAS SOPS 1477984 HAS SOUS 1159681 HAS SOUPS 1159681 WITH SCORE 1161158.984
AT ITER 4206 NEW BEST:: SOT 8524168 SOS 1477981 HAS SOPS 1477981 HAS SOUS 1159678 HAS SOUPS 1159678 WITH SCORE 1161155.981
AT ITER 4210 NEW BEST:: SOT 8524168 SOS 1477882 HAS SOPS 1477882 HAS SOUS 1159675 HAS SOUPS 1159675 WITH SCORE 1161152.882
AT ITER 4222 NEW BEST:: SOT 8524240 SOS 1482907 HAS SOPS 1482907 HAS SOUS 1158733 HAS SOUPS 1158733 WITH SCORE 1160215.907
AT ITER 4226 NEW BEST:: SOT 8524240 SOS 1482756 HAS SOPS 1482756 HAS SOUS 1158733 HAS SOUPS 1158733 WITH SCORE 1160215.756
AT ITER 4233 NEW BEST:: SOT 8523968 SOS 1481714 HAS SOPS 1481714 HAS SOUS 1158170 HAS SOUPS 1158170 WITH SCORE 1159651.714
AT ITER 4274 NEW BEST:: SOT 8523968 SOS 1481562 HAS SOPS 1481562 HAS SOUS 1158170 HAS SOUPS 1158170 WITH SCORE 1159651.562
AT ITER 4287 NEW BEST:: SOT 8523968 SOS 1481293 HAS SOPS 1481293 HAS SOUS 1157901 HAS SOUPS 1157901 WITH SCORE 1159382.293
AT ITER 4292 NEW BEST:: SOT 8523739 SOS 1481024 HAS SOPS 1481024 HAS SOUS 1157751 HAS SOUPS 1157751 WITH SCORE 1159232.024
AT ITER 4323 NEW BEST:: SOT 8523738 SOS 1480740 HAS SOPS 1480740 HAS SOUS 1157467 HAS SOUPS 1157467 WITH SCORE 1158947.74
AT ITER 4353 NEW BEST:: SOT 8523609 SOS 1481161 HAS SOPS 1481161 HAS SOUS 1157181 HAS SOUPS 1157181 WITH SCORE 1158662.161
AT ITER 4354 NEW BEST:: SOT 8523608 SOS 1480884 HAS SOPS 1480884 HAS SOUS 1157176 HAS SOUPS 1157176 WITH SCORE 1158656.884
AT ITER 4355 NEW BEST:: SOT 8523608 SOS 1480884 HAS SOPS 1480884 HAS SOUS 1157172 HAS SOUPS 1157172 WITH SCORE 1158652.884
AT ITER 4365 NEW BEST:: SOT 8523444 SOS 1480556 HAS SOPS 1480556 HAS SOUS 1156584 HAS SOUPS 1156584 WITH SCORE 1158064.556
AT ITER 4376 NEW BEST:: SOT 8523444 SOS 1480555 HAS SOPS 1480555 HAS SOUS 1156583 HAS SOUPS 1156583 WITH SCORE 1158063.555
AT ITER 4386 NEW BEST:: SOT 8523364 SOS 1480475 HAS SOPS 1480475 HAS SOUS 1156503 HAS SOUPS 1156503 WITH SCORE 1157983.475
AT ITER 4395 NEW BEST:: SOT 8523027 SOS 1479396 HAS SOPS 1479396 HAS SOUS 1156300 HAS SOUPS 1156300 WITH SCORE 1157779.396
AT ITER 4402 NEW BEST:: SOT 8522943 SOS 1479228 HAS SOPS 1479228 HAS SOUS 1156048 HAS SOUPS 1156048 WITH SCORE 1157527.228
AT ITER 4404 NEW BEST:: SOT 8522546 SOS 1479642 HAS SOPS 1479642 HAS SOUS 1155902 HAS SOUPS 1155902 WITH SCORE 1157381.642
AT ITER 4459 NEW BEST:: SOT 8522703 SOS 1479274 HAS SOPS 1479274 HAS SOUS 1155534 HAS SOUPS 1155534 WITH SCORE 1157013.274
AT ITER 4462 NEW BEST:: SOT 8522703 SOS 1479055 HAS SOPS 1479055 HAS SOUS 1152908 HAS SOUPS 1152908 WITH SCORE 1154387.055
AT ITER 4467 NEW BEST:: SOT 8522702 SOS 1478961 HAS SOPS 1478961 HAS SOUS 1152906 HAS SOUPS 1152906 WITH SCORE 1154384.961
AT ITER 4469 NEW BEST:: SOT 8523212 SOS 1479535 HAS SOPS 1479535 HAS SOUS 1152638 HAS SOUPS 1152638 WITH SCORE 1154117.535
AT ITER 4477 NEW BEST:: SOT 8523041 SOS 1479193 HAS SOPS 1479193 HAS SOUS 1152296 HAS SOUPS 1152296 WITH SCORE 1153775.193
AT ITER 4495 NEW BEST:: SOT 8522367 SOS 1478856 HAS SOPS 1478856 HAS SOUS 1151959 HAS SOUPS 1151959 WITH SCORE 1153437.856
AT ITER 4502 NEW BEST:: SOT 8522011 SOS 1478574 HAS SOPS 1478574 HAS SOUS 1151674 HAS SOUPS 1151674 WITH SCORE 1153152.574
AT ITER 4510 NEW BEST:: SOT 8522230 SOS 1478626 HAS SOPS 1478626 HAS SOUS 1150522 HAS SOUPS 1150522 WITH SCORE 1152000.626
AT ITER 4519 NEW BEST:: SOT 8522230 SOS 1478222 HAS SOPS 1478222 HAS SOUS 1150320 HAS SOUPS 1150320 WITH SCORE 1151798.222
AT ITER 4527 NEW BEST:: SOT 8521821 SOS 1477544 HAS SOPS 1477544 HAS SOUS 1149636 HAS SOUPS 1149636 WITH SCORE 1151113.544
AT ITER 4553 NEW BEST:: SOT 8521589 SOS 1477311 HAS SOPS 1477311 HAS SOUS 1149403 HAS SOUPS 1149403 WITH SCORE 1150880.311
AT ITER 4575 NEW BEST:: SOT 8521448 SOS 1477018 HAS SOPS 1477018 HAS SOUS 1149110 HAS SOUPS 1149110 WITH SCORE 1150587.018
AT ITER 4588 NEW BEST:: SOT 8521591 SOS 1477020 HAS SOPS 1477020 HAS SOUS 1148815 HAS SOUPS 1148815 WITH SCORE 1150292.02
AT ITER 4590 NEW BEST:: SOT 8521444 SOS 1476982 HAS SOPS 1476982 HAS SOUS 1148573 HAS SOUPS 1148573 WITH SCORE 1150049.982
AT ITER 4615 NEW BEST:: SOT 8521444 SOS 1476541 HAS SOPS 1476541 HAS SOUS 1148573 HAS SOUPS 1148573 WITH SCORE 1150049.541
AT ITER 4620 NEW BEST:: SOT 8521408 SOS 1476505 HAS SOPS 1476505 HAS SOUS 1148501 HAS SOUPS 1148501 WITH SCORE 1149977.505
AT ITER 4622 NEW BEST:: SOT 8521027 SOS 1475939 HAS SOPS 1475939 HAS SOUS 1147935 HAS SOUPS 1147935 WITH SCORE 1149410.939
AT ITER 4640 NEW BEST:: SOT 8520919 SOS 1476188 HAS SOPS 1476188 HAS SOUS 1147778 HAS SOUPS 1147778 WITH SCORE 1149254.188
AT ITER 4718 NEW BEST:: SOT 8520888 SOS 1476163 HAS SOPS 1476163 HAS SOUS 1147753 HAS SOUPS 1147753 WITH SCORE 1149229.163
AT ITER 4719 NEW BEST:: SOT 8520888 SOS 1475991 HAS SOPS 1475991 HAS SOUS 1147581 HAS SOUPS 1147581 WITH SCORE 1149056.991
AT ITER 4745 NEW BEST:: SOT 8520149 SOS 1476941 HAS SOPS 1476941 HAS SOUS 1147091 HAS SOUPS 1147091 WITH SCORE 1148567.941
AT ITER 4747 NEW BEST:: SOT 8520081 SOS 1476805 HAS SOPS 1476805 HAS SOUS 1146955 HAS SOUPS 1146955 WITH SCORE 1148431.805
AT ITER 4753 NEW BEST:: SOT 8520081 SOS 1476801 HAS SOPS 1476801 HAS SOUS 1146951 HAS SOUPS 1146951 WITH SCORE 1148427.801
AT ITER 4806 NEW BEST:: SOT 8520080 SOS 1476698 HAS SOPS 1476698 HAS SOUS 1146948 HAS SOUPS 1146948 WITH SCORE 1148424.698
AT ITER 4820 NEW BEST:: SOT 8519838 SOS 1476456 HAS SOPS 1476456 HAS SOUS 1146706 HAS SOUPS 1146706 WITH SCORE 1148182.456
AT ITER 4839 NEW BEST:: SOT 8519868 SOS 1476486 HAS SOPS 1476486 HAS SOUS 1146704 HAS SOUPS 1146704 WITH SCORE 1148180.486
AT ITER 4842 NEW BEST:: SOT 8519698 SOS 1476143 HAS SOPS 1476143 HAS SOUS 1146361 HAS SOUPS 1146361 WITH SCORE 1147837.143
AT ITER 4848 NEW BEST:: SOT 8519548 SOS 1475691 HAS SOPS 1475691 HAS SOUS 1145909 HAS SOUPS 1145909 WITH SCORE 1147384.691
AT ITER 4853 NEW BEST:: SOT 8519463 SOS 1475521 HAS SOPS 1475521 HAS SOUS 1145739 HAS SOUPS 1145739 WITH SCORE 1147214.521
AT ITER 4929 NEW BEST:: SOT 8519422 SOS 1475389 HAS SOPS 1475389 HAS SOUS 1145607 HAS SOUPS 1145607 WITH SCORE 1147082.389
AT ITER 4939 NEW BEST:: SOT 8519501 SOS 1475105 HAS SOPS 1475105 HAS SOUS 1145323 HAS SOUPS 1145323 WITH SCORE 1146798.105
AT ITER 4945 NEW BEST:: SOT 8519459 SOS 1475063 HAS SOPS 1475063 HAS SOUS 1145281 HAS SOUPS 1145281 WITH SCORE 1146756.063
AT ITER 4977 NEW BEST:: SOT 8519083 SOS 1474734 HAS SOPS 1474734 HAS SOUS 1144952 HAS SOUPS 1144952 WITH SCORE 1146426.734
AT ITER 4978 NEW BEST:: SOT 8516452 SOS 1473153 HAS SOPS 1473153 HAS SOUS 1144553 HAS SOUPS 1144553 WITH SCORE 1146026.153
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-08b-CTLFireability-00 (AF( ((potential((tk(P1191)>=1))))))
PROPERTY: ASLink-PT-08b-CTLFireability-01 (AF( (! (AF( ((potential((tk(P496)>=1) & (tk(P962)>=1)))))))))
PROPERTY: ASLink-PT-08b-CTLFireability-02 (EF( ( (AF( (! ((potential((tk(P657)>=1))))))) & (AU( ((potential((tk(P1495)>=1)))) , ((potential((tk(P879)>=1)))) )) )))
PROPERTY: ASLink-PT-08b-CTLFireability-03 ( (AF( ( ((potential((tk(P3458)>=1)))) & ( ((potential((tk(P1241)>=1)))) | ( ((potential((tk(P1109)>=1)))) & ((potential((tk(P3497)>=1)))) ) ) ))) & (AF( ( ((potential((tk(P883)>=1)))) & ((potential((tk(P2853)>=1)))) ))) )
PROPERTY: ASLink-PT-08b-CTLFireability-04 ( (EF( ((potential((tk(P918)>=1) & (tk(P1368)>=1)))))) | (EG( ((potential((tk(P3124)>=1)))))) )
PROPERTY: ASLink-PT-08b-CTLFireability-05 (AF( ( (AX( ( ((potential((tk(P1005)>=1)))) | ((potential((tk(P2475)>=1) & (tk(P2934)>=1)))) ))) | (AU( ((potential((tk(P121)>=1) & (tk(P573)>=1)))) , ((potential((tk(P885)>=1) & (tk(P1040)>=1)))) )) )))
PROPERTY: ASLink-PT-08b-CTLFireability-06 (AF( ( (AF( ((potential((tk(P3406)>=1)))))) | ( (! ( ((potential((tk(P2383)>=1) & (tk(P2453)>=1)))) & ((potential((tk(P960)>=1)))) )) & (EG( ((potential((tk(P921)>=1)))))) ) )))
PROPERTY: ASLink-PT-08b-CTLFireability-07 (AU( (! (EF( ((potential((tk(P33)>=1) & (tk(P175)>=1))))))) , ( (EG( ((potential((tk(P950)>=1)))))) | (AG( ((potential((tk(P3508)>=1)))))) ) ))
PROPERTY: ASLink-PT-08b-CTLFireability-08 ( ( (! (AG( ((potential((tk(P2103)>=1) & (tk(P2544)>=1))))))) | ((potential((tk(P1696)>=1) & (tk(P2161)>=1)))) ) & (AF( ((potential((tk(P3073)>=1)))))) )
PROPERTY: ASLink-PT-08b-CTLFireability-09 (AF( ((potential((tk(P159)>=1) & (tk(P439)>=1))))))
PROPERTY: ASLink-PT-08b-CTLFireability-10 ( (AF( (AF( ( ((potential((tk(P1963)>=1)))) | ((potential((tk(P1712)>=1) & (tk(P2149)>=1)))) ))))) | ( ((potential((tk(P2079)>=1) & (tk(P2556)>=1)))) & (! (! ( ((potential((tk(P421)>=1)))) | (! ((potential((tk(P2465)>=1) & (tk(P2624)>=1))))) ))) ) )
PROPERTY: ASLink-PT-08b-CTLFireability-11 ( ( ( (AU( ((potential((tk(P1284)>=1)))) , ((potential((tk(P2894)>=1) & (tk(P3253)>=1)))) )) | ( (AG( ((potential((tk(P2483)>=1) & (tk(P2931)>=1)))))) | ( ( ((potential((tk(P1178)>=1)))) | ((potential((tk(P2308)>=1)))) ) | (! ((potential((tk(P2052)>=1))))) ) ) ) | ((potential((tk(P2913)>=1)))) ) & (EF( ((potential((tk(P503)>=1) & (tk(P961)>=1)))))) )
PROPERTY: ASLink-PT-08b-CTLFireability-12 ( (AF( (AU( ((potential((tk(P2134)>=1) & (tk(P2414)>=1)))) , ((potential((tk(P519)>=1) & (tk(P970)>=1)))) )))) | (EU( ( ( ((potential((tk(P2994)>=1)))) & ((potential((tk(P954)>=1) & (tk(P1205)>=1)))) ) | (! ((potential((tk(P2506)>=1) & (tk(P2662)>=1))))) ) , ((potential((tk(P2091)>=1) & (tk(P2547)>=1)))) )) )
PROPERTY: ASLink-PT-08b-CTLFireability-13 (! (EG( (! ((potential((tk(P1440)>=1))))))))
PROPERTY: ASLink-PT-08b-CTLFireability-14 (EF( (AU( ( ((potential((tk(P638)>=1)))) & ((potential((tk(P1734)>=1)))) ) , ( ((potential((tk(P559)>=1) & (tk(P615)>=1)))) | ((potential((tk(P2506)>=1) & (tk(P2662)>=1)))) ) ))))
PROPERTY: ASLink-PT-08b-CTLFireability-15 ( (! ( (! ((potential((tk(P895)>=1) & (tk(P1363)>=1))))) | (! (! ( ((potential((tk(P2502)>=1) & (tk(P2954)>=1)))) & ((potential((tk(P2881)>=1) & (tk(P3276)>=1)))) ))) )) | ( ( (AX( (! ((potential((tk(P2897)>=1) & (tk(P3273)>=1))))))) | (EX( ( ((potential((tk(P1236)>=1)))) & ((potential((tk(P1980)>=1)))) ))) ) & (AF( (! (! ((potential((tk(P243)>=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="ASLink-PT-08b"
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 ASLink-PT-08b, 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 r003-smll-158897508100132"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-08b.tgz
mv ASLink-PT-08b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;