Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 4.2K Mar 30 19:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 30 19:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 29 09:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 29 09:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 05:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 05:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 23:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 23:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.1M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-08b-CTLCardinality-00
FORMULA_NAME DLCround-PT-08b-CTLCardinality-01
FORMULA_NAME DLCround-PT-08b-CTLCardinality-02
FORMULA_NAME DLCround-PT-08b-CTLCardinality-03
FORMULA_NAME DLCround-PT-08b-CTLCardinality-04
FORMULA_NAME DLCround-PT-08b-CTLCardinality-05
FORMULA_NAME DLCround-PT-08b-CTLCardinality-06
FORMULA_NAME DLCround-PT-08b-CTLCardinality-07
FORMULA_NAME DLCround-PT-08b-CTLCardinality-08
FORMULA_NAME DLCround-PT-08b-CTLCardinality-09
FORMULA_NAME DLCround-PT-08b-CTLCardinality-10
FORMULA_NAME DLCround-PT-08b-CTLCardinality-11
FORMULA_NAME DLCround-PT-08b-CTLCardinality-12
FORMULA_NAME DLCround-PT-08b-CTLCardinality-13
FORMULA_NAME DLCround-PT-08b-CTLCardinality-14
FORMULA_NAME DLCround-PT-08b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589128408405

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 08b
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 3088 places, 4732 transitions, 13004 arcs.
AT ITER 0 NEW BEST:: SOT 9173617 SOS 2109158 HAS SOPS 2109158 HAS SOUS 1266858 HAS SOUPS 1266858 WITH SCORE 1268967.158
AT ITER 6 NEW BEST:: SOT 9173617 SOS 2109072 HAS SOPS 2109072 HAS SOUS 1266772 HAS SOUPS 1266772 WITH SCORE 1268881.072
AT ITER 7 NEW BEST:: SOT 9173395 SOS 2108628 HAS SOPS 2108628 HAS SOUS 1266545 HAS SOUPS 1266545 WITH SCORE 1268653.628
AT ITER 11 NEW BEST:: SOT 9172750 SOS 2107983 HAS SOPS 2107983 HAS SOUS 1265900 HAS SOUPS 1265900 WITH SCORE 1268007.983
AT ITER 13 NEW BEST:: SOT 9172484 SOS 2107451 HAS SOPS 2107451 HAS SOUS 1264727 HAS SOUPS 1264727 WITH SCORE 1266834.451
AT ITER 29 NEW BEST:: SOT 9172306 SOS 2107362 HAS SOPS 2107362 HAS SOUS 1264638 HAS SOUPS 1264638 WITH SCORE 1266745.362
AT ITER 35 NEW BEST:: SOT 9172306 SOS 2107323 HAS SOPS 2107323 HAS SOUS 1264599 HAS SOUPS 1264599 WITH SCORE 1266706.323
AT ITER 44 NEW BEST:: SOT 9172213 SOS 2106951 HAS SOPS 2106951 HAS SOUS 1264506 HAS SOUPS 1264506 WITH SCORE 1266612.951
AT ITER 59 NEW BEST:: SOT 9171978 SOS 2106716 HAS SOPS 2106716 HAS SOUS 1264271 HAS SOUPS 1264271 WITH SCORE 1266377.716
AT ITER 60 NEW BEST:: SOT 9171932 SOS 2106624 HAS SOPS 2106624 HAS SOUS 1264046 HAS SOUPS 1264046 WITH SCORE 1266152.624
AT ITER 80 NEW BEST:: SOT 9171493 SOS 2106614 HAS SOPS 2106614 HAS SOUS 1263754 HAS SOUPS 1263754 WITH SCORE 1265860.614
AT ITER 84 NEW BEST:: SOT 9170760 SOS 2105871 HAS SOPS 2105871 HAS SOUS 1263020 HAS SOUPS 1263020 WITH SCORE 1265125.871
AT ITER 106 NEW BEST:: SOT 9169921 SOS 2104629 HAS SOPS 2104629 HAS SOUS 1261745 HAS SOUPS 1261745 WITH SCORE 1263849.629
AT ITER 117 NEW BEST:: SOT 9168345 SOS 2102350 HAS SOPS 2102350 HAS SOUS 1259366 HAS SOUPS 1259366 WITH SCORE 1261468.35
AT ITER 171 NEW BEST:: SOT 9167702 SOS 2101064 HAS SOPS 2101064 HAS SOUS 1258842 HAS SOUPS 1258842 WITH SCORE 1260943.064
AT ITER 183 NEW BEST:: SOT 9167702 SOS 2101486 HAS SOPS 2101486 HAS SOUS 1258841 HAS SOUPS 1258841 WITH SCORE 1260942.486
AT ITER 190 NEW BEST:: SOT 9167370 SOS 2100822 HAS SOPS 2100822 HAS SOUS 1258588 HAS SOUPS 1258588 WITH SCORE 1260688.822
AT ITER 197 NEW BEST:: SOT 9166801 SOS 2101141 HAS SOPS 2101141 HAS SOUS 1257449 HAS SOUPS 1257449 WITH SCORE 1259550.141
AT ITER 209 NEW BEST:: SOT 9166430 SOS 2100399 HAS SOPS 2100399 HAS SOUS 1257077 HAS SOUPS 1257077 WITH SCORE 1259177.399
AT ITER 239 NEW BEST:: SOT 9165976 SOS 2099945 HAS SOPS 2099945 HAS SOUS 1257077 HAS SOUPS 1257077 WITH SCORE 1259176.945
AT ITER 244 NEW BEST:: SOT 9165975 SOS 2099943 HAS SOPS 2099943 HAS SOUS 1257075 HAS SOUPS 1257075 WITH SCORE 1259174.943
AT ITER 246 NEW BEST:: SOT 9164898 SOS 2098304 HAS SOPS 2098304 HAS SOUS 1255998 HAS SOUPS 1255998 WITH SCORE 1258096.304
AT ITER 277 NEW BEST:: SOT 9164459 SOS 2097861 HAS SOPS 2097861 HAS SOUS 1255558 HAS SOUPS 1255558 WITH SCORE 1257655.861
AT ITER 281 NEW BEST:: SOT 9164459 SOS 2097792 HAS SOPS 2097792 HAS SOUS 1255489 HAS SOUPS 1255489 WITH SCORE 1257586.792
AT ITER 301 NEW BEST:: SOT 9164190 SOS 2097523 HAS SOPS 2097523 HAS SOUS 1255220 HAS SOUPS 1255220 WITH SCORE 1257317.523
AT ITER 306 NEW BEST:: SOT 9164190 SOS 2097523 HAS SOPS 2097523 HAS SOUS 1255048 HAS SOUPS 1255048 WITH SCORE 1257145.523
AT ITER 307 NEW BEST:: SOT 9164190 SOS 2097523 HAS SOPS 2097523 HAS SOUS 1254808 HAS SOUPS 1254808 WITH SCORE 1256905.523
AT ITER 342 NEW BEST:: SOT 9164190 SOS 2096743 HAS SOPS 2096743 HAS SOUS 1254548 HAS SOUPS 1254548 WITH SCORE 1256644.743
AT ITER 351 NEW BEST:: SOT 9163794 SOS 2096836 HAS SOPS 2096836 HAS SOUS 1254152 HAS SOUPS 1254152 WITH SCORE 1256248.836
AT ITER 355 NEW BEST:: SOT 9163899 SOS 2096770 HAS SOPS 2096770 HAS SOUS 1254119 HAS SOUPS 1254119 WITH SCORE 1256215.77
AT ITER 360 NEW BEST:: SOT 9163859 SOS 2096690 HAS SOPS 2096690 HAS SOUS 1253952 HAS SOUPS 1253952 WITH SCORE 1256048.69
AT ITER 380 NEW BEST:: SOT 9163232 SOS 2095436 HAS SOPS 2095436 HAS SOUS 1252401 HAS SOUPS 1252401 WITH SCORE 1254496.436
AT ITER 393 NEW BEST:: SOT 9163232 SOS 2096191 HAS SOPS 2096191 HAS SOUS 1251646 HAS SOUPS 1251646 WITH SCORE 1253742.191
AT ITER 401 NEW BEST:: SOT 9162526 SOS 2095389 HAS SOPS 2095389 HAS SOUS 1250586 HAS SOUPS 1250586 WITH SCORE 1252681.389
AT ITER 402 NEW BEST:: SOT 9162526 SOS 2096127 HAS SOPS 2096127 HAS SOUS 1250584 HAS SOUPS 1250584 WITH SCORE 1252680.127
AT ITER 411 NEW BEST:: SOT 9162185 SOS 2096468 HAS SOPS 2096468 HAS SOUS 1250243 HAS SOUPS 1250243 WITH SCORE 1252339.468
AT ITER 431 NEW BEST:: SOT 9162185 SOS 2095541 HAS SOPS 2095541 HAS SOUS 1250242 HAS SOUPS 1250242 WITH SCORE 1252337.541
AT ITER 448 NEW BEST:: SOT 9162195 SOS 2095791 HAS SOPS 2095791 HAS SOUS 1249098 HAS SOUPS 1249098 WITH SCORE 1251193.791
AT ITER 461 NEW BEST:: SOT 9161291 SOS 2095338 HAS SOPS 2095338 HAS SOUS 1248645 HAS SOUPS 1248645 WITH SCORE 1250740.338
AT ITER 505 NEW BEST:: SOT 9161274 SOS 2095304 HAS SOPS 2095304 HAS SOUS 1248611 HAS SOUPS 1248611 WITH SCORE 1250706.304
AT ITER 510 NEW BEST:: SOT 9161274 SOS 2094563 HAS SOPS 2094563 HAS SOUS 1248364 HAS SOUPS 1248364 WITH SCORE 1250458.563
AT ITER 517 NEW BEST:: SOT 9161263 SOS 2094542 HAS SOPS 2094542 HAS SOUS 1248352 HAS SOUPS 1248352 WITH SCORE 1250446.542
AT ITER 523 NEW BEST:: SOT 9161262 SOS 2094540 HAS SOPS 2094540 HAS SOUS 1248350 HAS SOUPS 1248350 WITH SCORE 1250444.54
AT ITER 526 NEW BEST:: SOT 9160936 SOS 2093888 HAS SOPS 2093888 HAS SOUS 1248024 HAS SOUPS 1248024 WITH SCORE 1250117.888
AT ITER 549 NEW BEST:: SOT 9160328 SOS 2092672 HAS SOPS 2092672 HAS SOUS 1246883 HAS SOUPS 1246883 WITH SCORE 1248975.672
AT ITER 574 NEW BEST:: SOT 9159893 SOS 2092237 HAS SOPS 2092237 HAS SOUS 1246438 HAS SOUPS 1246438 WITH SCORE 1248530.237
AT ITER 630 NEW BEST:: SOT 9159538 SOS 2092059 HAS SOPS 2092059 HAS SOUS 1246258 HAS SOUPS 1246258 WITH SCORE 1248350.059
AT ITER 639 NEW BEST:: SOT 9158920 SOS 2092677 HAS SOPS 2092677 HAS SOUS 1245516 HAS SOUPS 1245516 WITH SCORE 1247608.677
AT ITER 659 NEW BEST:: SOT 9158819 SOS 2092475 HAS SOPS 2092475 HAS SOUS 1245314 HAS SOUPS 1245314 WITH SCORE 1247406.475
AT ITER 691 NEW BEST:: SOT 9158819 SOS 2091692 HAS SOPS 2091692 HAS SOUS 1245053 HAS SOUPS 1245053 WITH SCORE 1247144.692
AT ITER 812 NEW BEST:: SOT 9158819 SOS 2091692 HAS SOPS 2091692 HAS SOUS 1244535 HAS SOUPS 1244535 WITH SCORE 1246626.692
AT ITER 815 NEW BEST:: SOT 9158143 SOS 2091354 HAS SOPS 2091354 HAS SOUS 1244197 HAS SOUPS 1244197 WITH SCORE 1246288.354
AT ITER 817 NEW BEST:: SOT 9158033 SOS 2091875 HAS SOPS 2091875 HAS SOUS 1244087 HAS SOUPS 1244087 WITH SCORE 1246178.875
AT ITER 859 NEW BEST:: SOT 9157934 SOS 2091772 HAS SOPS 2091772 HAS SOUS 1243987 HAS SOUPS 1243987 WITH SCORE 1246078.772
AT ITER 861 NEW BEST:: SOT 9157806 SOS 2092293 HAS SOPS 2092293 HAS SOUS 1243858 HAS SOUPS 1243858 WITH SCORE 1245950.293
AT ITER 870 NEW BEST:: SOT 9157449 SOS 2093204 HAS SOPS 2093204 HAS SOUS 1243143 HAS SOUPS 1243143 WITH SCORE 1245236.204
AT ITER 878 NEW BEST:: SOT 9156263 SOS 2092018 HAS SOPS 2092018 HAS SOUS 1241957 HAS SOUPS 1241957 WITH SCORE 1244049.018
AT ITER 883 NEW BEST:: SOT 9156125 SOS 2091742 HAS SOPS 2091742 HAS SOUS 1241818 HAS SOUPS 1241818 WITH SCORE 1243909.742
AT ITER 889 NEW BEST:: SOT 9155801 SOS 2091094 HAS SOPS 2091094 HAS SOUS 1241602 HAS SOUPS 1241602 WITH SCORE 1243693.094
AT ITER 912 NEW BEST:: SOT 9155801 SOS 2091094 HAS SOPS 2091094 HAS SOUS 1241471 HAS SOUPS 1241471 WITH SCORE 1243562.094
AT ITER 932 NEW BEST:: SOT 9155801 SOS 2091094 HAS SOPS 2091094 HAS SOUS 1241463 HAS SOUPS 1241463 WITH SCORE 1243554.094
AT ITER 933 NEW BEST:: SOT 9155801 SOS 2092794 HAS SOPS 2092794 HAS SOUS 1241461 HAS SOUPS 1241461 WITH SCORE 1243553.794
AT ITER 943 NEW BEST:: SOT 9155366 SOS 2093082 HAS SOPS 2093082 HAS SOUS 1241302 HAS SOUPS 1241302 WITH SCORE 1243395.082
AT ITER 965 NEW BEST:: SOT 9155630 SOS 2093023 HAS SOPS 2093023 HAS SOUS 1241243 HAS SOUPS 1241243 WITH SCORE 1243336.023
AT ITER 992 NEW BEST:: SOT 9155533 SOS 2092829 HAS SOPS 2092829 HAS SOUS 1241049 HAS SOUPS 1241049 WITH SCORE 1243141.829
AT ITER 1021 NEW BEST:: SOT 9155533 SOS 2092829 HAS SOPS 2092829 HAS SOUS 1240998 HAS SOUPS 1240998 WITH SCORE 1243090.829
AT ITER 1056 NEW BEST:: SOT 9155387 SOS 2092537 HAS SOPS 2092537 HAS SOUS 1240706 HAS SOUPS 1240706 WITH SCORE 1242798.537
AT ITER 1066 NEW BEST:: SOT 9155341 SOS 2092445 HAS SOPS 2092445 HAS SOUS 1240614 HAS SOUPS 1240614 WITH SCORE 1242706.445
AT ITER 1092 NEW BEST:: SOT 9154948 SOS 2092442 HAS SOPS 2092442 HAS SOUS 1239827 HAS SOUPS 1239827 WITH SCORE 1241919.442
AT ITER 1100 NEW BEST:: SOT 9154656 SOS 2091858 HAS SOPS 2091858 HAS SOUS 1239243 HAS SOUPS 1239243 WITH SCORE 1241334.858
AT ITER 1108 NEW BEST:: SOT 9154298 SOS 2091776 HAS SOPS 2091776 HAS SOUS 1239170 HAS SOUPS 1239170 WITH SCORE 1241261.776
AT ITER 1147 NEW BEST:: SOT 9154086 SOS 2091772 HAS SOPS 2091772 HAS SOUS 1239169 HAS SOUPS 1239169 WITH SCORE 1241260.772
AT ITER 1155 NEW BEST:: SOT 9153883 SOS 2091569 HAS SOPS 2091569 HAS SOUS 1238966 HAS SOUPS 1238966 WITH SCORE 1241057.569
AT ITER 1162 NEW BEST:: SOT 9153575 SOS 2090953 HAS SOPS 2090953 HAS SOUS 1238350 HAS SOUPS 1238350 WITH SCORE 1240440.953
AT ITER 1170 NEW BEST:: SOT 9153328 SOS 2093977 HAS SOPS 2093977 HAS SOUS 1237855 HAS SOUPS 1237855 WITH SCORE 1239948.977
AT ITER 1172 NEW BEST:: SOT 9153328 SOS 2093737 HAS SOPS 2093737 HAS SOUS 1237615 HAS SOUPS 1237615 WITH SCORE 1239708.737
AT ITER 1177 NEW BEST:: SOT 9153433 SOS 2093487 HAS SOPS 2093487 HAS SOUS 1237595 HAS SOUPS 1237595 WITH SCORE 1239688.487
AT ITER 1214 NEW BEST:: SOT 9153111 SOS 2093477 HAS SOPS 2093477 HAS SOUS 1237498 HAS SOUPS 1237498 WITH SCORE 1239591.477
AT ITER 1219 NEW BEST:: SOT 9152923 SOS 2093281 HAS SOPS 2093281 HAS SOUS 1237302 HAS SOUPS 1237302 WITH SCORE 1239395.281
AT ITER 1224 NEW BEST:: SOT 9152785 SOS 2093143 HAS SOPS 2093143 HAS SOUS 1237164 HAS SOUPS 1237164 WITH SCORE 1239257.143
AT ITER 1229 NEW BEST:: SOT 9152661 SOS 2092895 HAS SOPS 2092895 HAS SOUS 1236783 HAS SOUPS 1236783 WITH SCORE 1238875.895
AT ITER 1234 NEW BEST:: SOT 9152592 SOS 2092892 HAS SOPS 2092892 HAS SOUS 1236782 HAS SOUPS 1236782 WITH SCORE 1238874.892
AT ITER 1241 NEW BEST:: SOT 9152317 SOS 2092605 HAS SOPS 2092605 HAS SOUS 1236506 HAS SOUPS 1236506 WITH SCORE 1238598.605
AT ITER 1247 NEW BEST:: SOT 9152317 SOS 2092730 HAS SOPS 2092730 HAS SOUS 1236441 HAS SOUPS 1236441 WITH SCORE 1238533.73
AT ITER 1254 NEW BEST:: SOT 9152317 SOS 2093383 HAS SOPS 2093383 HAS SOUS 1236440 HAS SOUPS 1236440 WITH SCORE 1238533.383
AT ITER 1266 NEW BEST:: SOT 9151580 SOS 2093466 HAS SOPS 2093466 HAS SOUS 1236394 HAS SOUPS 1236394 WITH SCORE 1238487.466
AT ITER 1271 NEW BEST:: SOT 9151580 SOS 2093459 HAS SOPS 2093459 HAS SOUS 1236387 HAS SOUPS 1236387 WITH SCORE 1238480.459
AT ITER 1290 NEW BEST:: SOT 9151112 SOS 2093458 HAS SOPS 2093458 HAS SOUS 1236386 HAS SOUPS 1236386 WITH SCORE 1238479.458
AT ITER 1319 NEW BEST:: SOT 9150729 SOS 2093075 HAS SOPS 2093075 HAS SOUS 1236003 HAS SOUPS 1236003 WITH SCORE 1238096.075
AT ITER 1325 NEW BEST:: SOT 9150727 SOS 2093073 HAS SOPS 2093073 HAS SOUS 1236001 HAS SOUPS 1236001 WITH SCORE 1238094.073
AT ITER 1390 NEW BEST:: SOT 9150495 SOS 2092841 HAS SOPS 2092841 HAS SOUS 1235769 HAS SOUPS 1235769 WITH SCORE 1237861.841
AT ITER 1396 NEW BEST:: SOT 9150403 SOS 2093015 HAS SOPS 2093015 HAS SOUS 1235768 HAS SOUPS 1235768 WITH SCORE 1237861.015
AT ITER 1401 NEW BEST:: SOT 9150403 SOS 2093680 HAS SOPS 2093680 HAS SOUS 1235692 HAS SOUPS 1235692 WITH SCORE 1237785.68
AT ITER 1402 NEW BEST:: SOT 9150373 SOS 2093620 HAS SOPS 2093620 HAS SOUS 1235632 HAS SOUPS 1235632 WITH SCORE 1237725.62
AT ITER 1405 NEW BEST:: SOT 9148317 SOS 2091307 HAS SOPS 2091307 HAS SOUS 1234752 HAS SOUPS 1234752 WITH SCORE 1236843.307
AT ITER 1422 NEW BEST:: SOT 9148434 SOS 2091141 HAS SOPS 2091141 HAS SOUS 1234565 HAS SOUPS 1234565 WITH SCORE 1236656.141
AT ITER 1424 NEW BEST:: SOT 9148434 SOS 2091141 HAS SOPS 2091141 HAS SOUS 1234564 HAS SOUPS 1234564 WITH SCORE 1236655.141
AT ITER 1434 NEW BEST:: SOT 9148434 SOS 2091141 HAS SOPS 2091141 HAS SOUS 1234222 HAS SOUPS 1234222 WITH SCORE 1236313.141
AT ITER 1435 NEW BEST:: SOT 9148326 SOS 2091887 HAS SOPS 2091887 HAS SOUS 1234005 HAS SOUPS 1234005 WITH SCORE 1236096.887
AT ITER 1436 NEW BEST:: SOT 9148141 SOS 2091517 HAS SOPS 2091517 HAS SOUS 1233233 HAS SOUPS 1233233 WITH SCORE 1235324.517
AT ITER 1447 NEW BEST:: SOT 9147701 SOS 2091067 HAS SOPS 2091067 HAS SOUS 1232792 HAS SOUPS 1232792 WITH SCORE 1234883.067
AT ITER 1475 NEW BEST:: SOT 9145761 SOS 2090279 HAS SOPS 2090279 HAS SOUS 1231008 HAS SOUPS 1231008 WITH SCORE 1233098.279
AT ITER 1492 NEW BEST:: SOT 9145761 SOS 2090142 HAS SOPS 2090142 HAS SOUS 1230871 HAS SOUPS 1230871 WITH SCORE 1232961.142
AT ITER 1497 NEW BEST:: SOT 9145708 SOS 2090032 HAS SOPS 2090032 HAS SOUS 1230764 HAS SOUPS 1230764 WITH SCORE 1232854.032
AT ITER 1499 NEW BEST:: SOT 9145707 SOS 2091393 HAS SOPS 2091393 HAS SOUS 1230761 HAS SOUPS 1230761 WITH SCORE 1232852.393
AT ITER 1515 NEW BEST:: SOT 9145185 SOS 2090663 HAS SOPS 2090663 HAS SOUS 1230187 HAS SOUPS 1230187 WITH SCORE 1232277.663
AT ITER 1517 NEW BEST:: SOT 9144710 SOS 2089713 HAS SOPS 2089713 HAS SOUS 1229237 HAS SOUPS 1229237 WITH SCORE 1231326.713
AT ITER 1539 NEW BEST:: SOT 9144504 SOS 2091567 HAS SOPS 2091567 HAS SOUS 1228825 HAS SOUPS 1228825 WITH SCORE 1230916.567
AT ITER 1548 NEW BEST:: SOT 9144301 SOS 2091614 HAS SOPS 2091614 HAS SOUS 1228803 HAS SOUPS 1228803 WITH SCORE 1230894.614
AT ITER 1578 NEW BEST:: SOT 9144299 SOS 2091610 HAS SOPS 2091610 HAS SOUS 1228799 HAS SOUPS 1228799 WITH SCORE 1230890.61
AT ITER 1582 NEW BEST:: SOT 9144579 SOS 2092170 HAS SOPS 2092170 HAS SOUS 1228614 HAS SOUPS 1228614 WITH SCORE 1230706.17
AT ITER 1586 NEW BEST:: SOT 9144103 SOS 2091696 HAS SOPS 2091696 HAS SOUS 1228140 HAS SOUPS 1228140 WITH SCORE 1230231.696
AT ITER 1590 NEW BEST:: SOT 9143860 SOS 2091939 HAS SOPS 2091939 HAS SOUS 1227785 HAS SOUPS 1227785 WITH SCORE 1229876.939
AT ITER 1597 NEW BEST:: SOT 9142071 SOS 2089936 HAS SOPS 2089936 HAS SOUS 1226703 HAS SOUPS 1226703 WITH SCORE 1228792.936
AT ITER 1613 NEW BEST:: SOT 9142070 SOS 2089766 HAS SOPS 2089766 HAS SOUS 1226533 HAS SOUPS 1226533 WITH SCORE 1228622.766
AT ITER 1614 NEW BEST:: SOT 9142069 SOS 2089276 HAS SOPS 2089276 HAS SOUS 1226288 HAS SOUPS 1226288 WITH SCORE 1228377.276
AT ITER 1627 NEW BEST:: SOT 9141486 SOS 2088683 HAS SOPS 2088683 HAS SOUS 1225704 HAS SOUPS 1225704 WITH SCORE 1227792.683
AT ITER 1630 NEW BEST:: SOT 9140695 SOS 2088553 HAS SOPS 2088553 HAS SOUS 1225397 HAS SOUPS 1225397 WITH SCORE 1227485.553
AT ITER 1693 NEW BEST:: SOT 9139915 SOS 2087786 HAS SOPS 2087786 HAS SOUS 1224630 HAS SOUPS 1224630 WITH SCORE 1226717.786
AT ITER 1722 NEW BEST:: SOT 9139915 SOS 2087786 HAS SOPS 2087786 HAS SOUS 1224628 HAS SOUPS 1224628 WITH SCORE 1226715.786
AT ITER 1726 NEW BEST:: SOT 9139914 SOS 2087784 HAS SOPS 2087784 HAS SOUS 1224626 HAS SOUPS 1224626 WITH SCORE 1226713.784
AT ITER 1747 NEW BEST:: SOT 9139208 SOS 2093476 HAS SOPS 2093476 HAS SOUS 1224347 HAS SOUPS 1224347 WITH SCORE 1226440.476
AT ITER 1751 NEW BEST:: SOT 9139207 SOS 2093474 HAS SOPS 2093474 HAS SOUS 1224345 HAS SOUPS 1224345 WITH SCORE 1226438.474
AT ITER 1763 NEW BEST:: SOT 9139187 SOS 2093471 HAS SOPS 2093471 HAS SOUS 1224304 HAS SOUPS 1224304 WITH SCORE 1226397.471
AT ITER 1780 NEW BEST:: SOT 9138789 SOS 2093461 HAS SOPS 2093461 HAS SOUS 1224017 HAS SOUPS 1224017 WITH SCORE 1226110.461
AT ITER 1806 NEW BEST:: SOT 9138789 SOS 2093461 HAS SOPS 2093461 HAS SOUS 1224016 HAS SOUPS 1224016 WITH SCORE 1226109.461
AT ITER 1810 NEW BEST:: SOT 9138789 SOS 2093460 HAS SOPS 2093460 HAS SOUS 1224014 HAS SOUPS 1224014 WITH SCORE 1226107.46
AT ITER 1822 NEW BEST:: SOT 9138482 SOS 2097102 HAS SOPS 2097102 HAS SOUS 1223771 HAS SOUPS 1223771 WITH SCORE 1225868.102
AT ITER 1847 NEW BEST:: SOT 9137622 SOS 2096672 HAS SOPS 2096672 HAS SOUS 1223341 HAS SOUPS 1223341 WITH SCORE 1225437.672
AT ITER 1848 NEW BEST:: SOT 9137622 SOS 2096645 HAS SOPS 2096645 HAS SOUS 1223332 HAS SOUPS 1223332 WITH SCORE 1225428.645
AT ITER 1885 NEW BEST:: SOT 9136745 SOS 2095663 HAS SOPS 2095663 HAS SOUS 1222346 HAS SOUPS 1222346 WITH SCORE 1224441.663
AT ITER 1905 NEW BEST:: SOT 9136745 SOS 2095620 HAS SOPS 2095620 HAS SOUS 1222346 HAS SOUPS 1222346 WITH SCORE 1224441.62
AT ITER 1940 NEW BEST:: SOT 9136471 SOS 2095246 HAS SOPS 2095246 HAS SOUS 1221972 HAS SOUPS 1221972 WITH SCORE 1224067.246
AT ITER 1962 NEW BEST:: SOT 9136471 SOS 2095062 HAS SOPS 2095062 HAS SOUS 1221788 HAS SOUPS 1221788 WITH SCORE 1223883.062
AT ITER 1968 NEW BEST:: SOT 9136471 SOS 2094243 HAS SOPS 2094243 HAS SOUS 1221515 HAS SOUPS 1221515 WITH SCORE 1223609.243
AT ITER 2007 NEW BEST:: SOT 9136449 SOS 2094199 HAS SOPS 2094199 HAS SOUS 1221471 HAS SOUPS 1221471 WITH SCORE 1223565.199
AT ITER 2032 NEW BEST:: SOT 9136367 SOS 2093953 HAS SOPS 2093953 HAS SOUS 1221225 HAS SOUPS 1221225 WITH SCORE 1223318.953
AT ITER 2040 NEW BEST:: SOT 9136366 SOS 2093987 HAS SOPS 2093987 HAS SOUS 1221224 HAS SOUPS 1221224 WITH SCORE 1223317.987
AT ITER 2048 NEW BEST:: SOT 9136143 SOS 2093541 HAS SOPS 2093541 HAS SOUS 1220778 HAS SOUPS 1220778 WITH SCORE 1222871.541
AT ITER 2061 NEW BEST:: SOT 9135995 SOS 2094567 HAS SOPS 2094567 HAS SOUS 1220481 HAS SOUPS 1220481 WITH SCORE 1222575.567
AT ITER 2098 NEW BEST:: SOT 9135995 SOS 2094567 HAS SOPS 2094567 HAS SOUS 1220479 HAS SOUPS 1220479 WITH SCORE 1222573.567
AT ITER 2122 NEW BEST:: SOT 9135900 SOS 2094617 HAS SOPS 2094617 HAS SOUS 1220422 HAS SOUPS 1220422 WITH SCORE 1222516.617
AT ITER 2135 NEW BEST:: SOT 9135538 SOS 2094179 HAS SOPS 2094179 HAS SOUS 1219984 HAS SOUPS 1219984 WITH SCORE 1222078.179
AT ITER 2141 NEW BEST:: SOT 9135176 SOS 2093988 HAS SOPS 2093988 HAS SOUS 1219695 HAS SOUPS 1219695 WITH SCORE 1221788.988
AT ITER 2166 NEW BEST:: SOT 9134688 SOS 2093933 HAS SOPS 2093933 HAS SOUS 1219640 HAS SOUPS 1219640 WITH SCORE 1221733.933
AT ITER 2193 NEW BEST:: SOT 9134552 SOS 2094698 HAS SOPS 2094698 HAS SOUS 1219213 HAS SOUPS 1219213 WITH SCORE 1221307.698
AT ITER 2235 NEW BEST:: SOT 9134273 SOS 2094599 HAS SOPS 2094599 HAS SOUS 1219087 HAS SOUPS 1219087 WITH SCORE 1221181.599
AT ITER 2237 NEW BEST:: SOT 9134273 SOS 2095420 HAS SOPS 2095420 HAS SOUS 1219086 HAS SOUPS 1219086 WITH SCORE 1221181.42
AT ITER 2269 NEW BEST:: SOT 9134156 SOS 2095533 HAS SOPS 2095533 HAS SOUS 1219085 HAS SOUPS 1219085 WITH SCORE 1221180.533
AT ITER 2294 NEW BEST:: SOT 9134007 SOS 2095473 HAS SOPS 2095473 HAS SOUS 1219027 HAS SOUPS 1219027 WITH SCORE 1221122.473
AT ITER 2296 NEW BEST:: SOT 9133868 SOS 2095195 HAS SOPS 2095195 HAS SOUS 1218749 HAS SOUPS 1218749 WITH SCORE 1220844.195
AT ITER 2323 NEW BEST:: SOT 9133812 SOS 2094971 HAS SOPS 2094971 HAS SOUS 1218637 HAS SOUPS 1218637 WITH SCORE 1220731.971
AT ITER 2354 NEW BEST:: SOT 9133812 SOS 2095633 HAS SOPS 2095633 HAS SOUS 1218635 HAS SOUPS 1218635 WITH SCORE 1220730.633
AT ITER 2379 NEW BEST:: SOT 9133628 SOS 2095265 HAS SOPS 2095265 HAS SOUS 1218451 HAS SOUPS 1218451 WITH SCORE 1220546.265
AT ITER 2385 NEW BEST:: SOT 9133572 SOS 2095153 HAS SOPS 2095153 HAS SOUS 1218394 HAS SOUPS 1218394 WITH SCORE 1220489.153
AT ITER 2389 NEW BEST:: SOT 9133482 SOS 2095158 HAS SOPS 2095158 HAS SOUS 1218381 HAS SOUPS 1218381 WITH SCORE 1220476.158
AT ITER 2404 NEW BEST:: SOT 9133482 SOS 2095089 HAS SOPS 2095089 HAS SOUS 1218312 HAS SOUPS 1218312 WITH SCORE 1220407.089
AT ITER 2409 NEW BEST:: SOT 9133288 SOS 2094701 HAS SOPS 2094701 HAS SOUS 1217924 HAS SOUPS 1217924 WITH SCORE 1220018.701
AT ITER 2411 NEW BEST:: SOT 9132885 SOS 2094298 HAS SOPS 2094298 HAS SOUS 1217521 HAS SOUPS 1217521 WITH SCORE 1219615.298
AT ITER 2414 NEW BEST:: SOT 9132617 SOS 2094333 HAS SOPS 2094333 HAS SOUS 1217454 HAS SOUPS 1217454 WITH SCORE 1219548.333
AT ITER 2420 NEW BEST:: SOT 9132573 SOS 2095990 HAS SOPS 2095990 HAS SOUS 1217214 HAS SOUPS 1217214 WITH SCORE 1219309.99
AT ITER 2473 NEW BEST:: SOT 9132670 SOS 2097551 HAS SOPS 2097551 HAS SOUS 1216950 HAS SOUPS 1216950 WITH SCORE 1219047.551
AT ITER 2484 NEW BEST:: SOT 9132560 SOS 2097496 HAS SOPS 2097496 HAS SOUS 1216895 HAS SOUPS 1216895 WITH SCORE 1218992.496
AT ITER 2492 NEW BEST:: SOT 9132491 SOS 2097292 HAS SOPS 2097292 HAS SOUS 1216827 HAS SOUPS 1216827 WITH SCORE 1218924.292
AT ITER 2500 NEW BEST:: SOT 9132491 SOS 2097289 HAS SOPS 2097289 HAS SOUS 1216827 HAS SOUPS 1216827 WITH SCORE 1218924.289
AT ITER 2515 NEW BEST:: SOT 9132532 SOS 2097282 HAS SOPS 2097282 HAS SOUS 1216820 HAS SOUPS 1216820 WITH SCORE 1218917.282
AT ITER 2517 NEW BEST:: SOT 9132823 SOS 2096583 HAS SOPS 2096583 HAS SOUS 1216684 HAS SOUPS 1216684 WITH SCORE 1218780.583
AT ITER 2522 NEW BEST:: SOT 9132695 SOS 2096327 HAS SOPS 2096327 HAS SOUS 1216435 HAS SOUPS 1216435 WITH SCORE 1218531.327
AT ITER 2557 NEW BEST:: SOT 9132475 SOS 2095883 HAS SOPS 2095883 HAS SOUS 1216100 HAS SOUPS 1216100 WITH SCORE 1218195.883
AT ITER 2560 NEW BEST:: SOT 9132442 SOS 2095792 HAS SOPS 2095792 HAS SOUS 1216009 HAS SOUPS 1216009 WITH SCORE 1218104.792
AT ITER 2570 NEW BEST:: SOT 9133650 SOS 2088798 HAS SOPS 2088798 HAS SOUS 1215014 HAS SOUPS 1215014 WITH SCORE 1217102.798
AT ITER 2572 NEW BEST:: SOT 9133550 SOS 2088598 HAS SOPS 2088598 HAS SOUS 1214814 HAS SOUPS 1214814 WITH SCORE 1216902.598
AT ITER 2589 NEW BEST:: SOT 9133317 SOS 2088383 HAS SOPS 2088383 HAS SOUS 1214599 HAS SOUPS 1214599 WITH SCORE 1216687.383
AT ITER 2618 NEW BEST:: SOT 9133286 SOS 2088321 HAS SOPS 2088321 HAS SOUS 1214568 HAS SOUPS 1214568 WITH SCORE 1216656.321
AT ITER 2665 NEW BEST:: SOT 9132903 SOS 2087924 HAS SOPS 2087924 HAS SOUS 1214171 HAS SOUPS 1214171 WITH SCORE 1216258.924
AT ITER 2668 NEW BEST:: SOT 9132855 SOS 2087923 HAS SOPS 2087923 HAS SOUS 1214170 HAS SOUPS 1214170 WITH SCORE 1216257.923
AT ITER 2685 NEW BEST:: SOT 9132763 SOS 2087555 HAS SOPS 2087555 HAS SOUS 1213986 HAS SOUPS 1213986 WITH SCORE 1216073.555
AT ITER 2735 NEW BEST:: SOT 9132445 SOS 2087234 HAS SOPS 2087234 HAS SOUS 1213667 HAS SOUPS 1213667 WITH SCORE 1215754.234
AT ITER 2739 NEW BEST:: SOT 9132179 SOS 2086968 HAS SOPS 2086968 HAS SOUS 1213401 HAS SOUPS 1213401 WITH SCORE 1215487.968
AT ITER 2747 NEW BEST:: SOT 9131912 SOS 2087235 HAS SOPS 2087235 HAS SOUS 1212867 HAS SOUPS 1212867 WITH SCORE 1214954.235
AT ITER 2751 NEW BEST:: SOT 9131872 SOS 2087155 HAS SOPS 2087155 HAS SOUS 1212787 HAS SOUPS 1212787 WITH SCORE 1214874.155
AT ITER 2758 NEW BEST:: SOT 9131309 SOS 2086029 HAS SOPS 2086029 HAS SOUS 1212498 HAS SOUPS 1212498 WITH SCORE 1214584.029
AT ITER 2766 NEW BEST:: SOT 9131083 SOS 2086123 HAS SOPS 2086123 HAS SOUS 1212271 HAS SOUPS 1212271 WITH SCORE 1214357.123
AT ITER 2781 NEW BEST:: SOT 9129486 SOS 2085797 HAS SOPS 2085797 HAS SOUS 1211780 HAS SOUPS 1211780 WITH SCORE 1213865.797
AT ITER 2801 NEW BEST:: SOT 9129289 SOS 2087176 HAS SOPS 2087176 HAS SOUS 1211386 HAS SOUPS 1211386 WITH SCORE 1213473.176
AT ITER 2817 NEW BEST:: SOT 9129200 SOS 2086998 HAS SOPS 2086998 HAS SOUS 1210937 HAS SOUPS 1210937 WITH SCORE 1213023.998
AT ITER 2819 NEW BEST:: SOT 9128977 SOS 2086628 HAS SOPS 2086628 HAS SOUS 1210567 HAS SOUPS 1210567 WITH SCORE 1212653.628
AT ITER 2822 NEW BEST:: SOT 9129020 SOS 2086218 HAS SOPS 2086218 HAS SOUS 1210362 HAS SOUPS 1210362 WITH SCORE 1212448.218
AT ITER 2832 NEW BEST:: SOT 9129020 SOS 2085922 HAS SOPS 2085922 HAS SOUS 1210362 HAS SOUPS 1210362 WITH SCORE 1212447.922
AT ITER 2841 NEW BEST:: SOT 9128780 SOS 2083762 HAS SOPS 2083762 HAS SOUS 1209882 HAS SOUPS 1209882 WITH SCORE 1211965.762
AT ITER 2849 NEW BEST:: SOT 9128174 SOS 2080429 HAS SOPS 2080429 HAS SOUS 1209276 HAS SOUPS 1209276 WITH SCORE 1211356.429
AT ITER 2897 NEW BEST:: SOT 9128045 SOS 2080171 HAS SOPS 2080171 HAS SOUS 1209268 HAS SOUPS 1209268 WITH SCORE 1211348.171
AT ITER 2932 NEW BEST:: SOT 9127838 SOS 2079964 HAS SOPS 2079964 HAS SOUS 1208854 HAS SOUPS 1208854 WITH SCORE 1210933.964
AT ITER 2951 NEW BEST:: SOT 9127838 SOS 2079963 HAS SOPS 2079963 HAS SOUS 1208853 HAS SOUPS 1208853 WITH SCORE 1210932.963
AT ITER 2996 NEW BEST:: SOT 9127759 SOS 2079805 HAS SOPS 2079805 HAS SOUS 1208695 HAS SOUPS 1208695 WITH SCORE 1210774.805
AT ITER 3008 NEW BEST:: SOT 9127759 SOS 2079678 HAS SOPS 2079678 HAS SOUS 1208568 HAS SOUPS 1208568 WITH SCORE 1210647.678
AT ITER 3031 NEW BEST:: SOT 9128010 SOS 2078629 HAS SOPS 2078629 HAS SOUS 1208409 HAS SOUPS 1208409 WITH SCORE 1210487.629
AT ITER 3043 NEW BEST:: SOT 9127608 SOS 2078026 HAS SOPS 2078026 HAS SOUS 1207806 HAS SOUPS 1207806 WITH SCORE 1209884.026
AT ITER 3084 NEW BEST:: SOT 9127608 SOS 2078340 HAS SOPS 2078340 HAS SOUS 1207751 HAS SOUPS 1207751 WITH SCORE 1209829.34
AT ITER 3100 NEW BEST:: SOT 9127608 SOS 2078340 HAS SOPS 2078340 HAS SOUS 1207360 HAS SOUPS 1207360 WITH SCORE 1209438.34
AT ITER 3121 NEW BEST:: SOT 9127608 SOS 2078340 HAS SOPS 2078340 HAS SOUS 1207032 HAS SOUPS 1207032 WITH SCORE 1209110.34
AT ITER 3143 NEW BEST:: SOT 9127243 SOS 2077979 HAS SOPS 2077979 HAS SOUS 1206667 HAS SOUPS 1206667 WITH SCORE 1208744.979
AT ITER 3153 NEW BEST:: SOT 9127081 SOS 2077898 HAS SOPS 2077898 HAS SOUS 1206586 HAS SOUPS 1206586 WITH SCORE 1208663.898
AT ITER 3154 NEW BEST:: SOT 9127049 SOS 2078112 HAS SOPS 2078112 HAS SOUS 1206521 HAS SOUPS 1206521 WITH SCORE 1208599.112
AT ITER 3165 NEW BEST:: SOT 9126988 SOS 2078112 HAS SOPS 2078112 HAS SOUS 1206399 HAS SOUPS 1206399 WITH SCORE 1208477.112
AT ITER 3168 NEW BEST:: SOT 9126537 SOS 2075857 HAS SOPS 2075857 HAS SOUS 1205497 HAS SOUPS 1205497 WITH SCORE 1207572.857
AT ITER 3174 NEW BEST:: SOT 9125703 SOS 2074606 HAS SOPS 2074606 HAS SOUS 1204246 HAS SOUPS 1204246 WITH SCORE 1206320.606
AT ITER 3184 NEW BEST:: SOT 9125436 SOS 2074869 HAS SOPS 2074869 HAS SOUS 1203711 HAS SOUPS 1203711 WITH SCORE 1205785.869
AT ITER 3224 NEW BEST:: SOT 9125436 SOS 2074840 HAS SOPS 2074840 HAS SOUS 1203682 HAS SOUPS 1203682 WITH SCORE 1205756.84
AT ITER 3229 NEW BEST:: SOT 9125480 SOS 2077942 HAS SOPS 2077942 HAS SOUS 1203433 HAS SOUPS 1203433 WITH SCORE 1205510.942
AT ITER 3247 NEW BEST:: SOT 9125480 SOS 2077794 HAS SOPS 2077794 HAS SOUS 1203285 HAS SOUPS 1203285 WITH SCORE 1205362.794
AT ITER 3249 NEW BEST:: SOT 9125355 SOS 2077544 HAS SOPS 2077544 HAS SOUS 1203034 HAS SOUPS 1203034 WITH SCORE 1205111.544
AT ITER 3255 NEW BEST:: SOT 9125347 SOS 2077528 HAS SOPS 2077528 HAS SOUS 1203026 HAS SOUPS 1203026 WITH SCORE 1205103.528
AT ITER 3259 NEW BEST:: SOT 9125288 SOS 2077697 HAS SOPS 2077697 HAS SOUS 1202867 HAS SOUPS 1202867 WITH SCORE 1204944.697
AT ITER 3280 NEW BEST:: SOT 9125051 SOS 2077223 HAS SOPS 2077223 HAS SOUS 1202686 HAS SOUPS 1202686 WITH SCORE 1204763.223
AT ITER 3286 NEW BEST:: SOT 9125431 SOS 2076843 HAS SOPS 2076843 HAS SOUS 1202686 HAS SOUPS 1202686 WITH SCORE 1204762.843
AT ITER 3297 NEW BEST:: SOT 9125181 SOS 2077339 HAS SOPS 2077339 HAS SOUS 1202435 HAS SOUPS 1202435 WITH SCORE 1204512.339
AT ITER 3307 NEW BEST:: SOT 9124702 SOS 2076895 HAS SOPS 2076895 HAS SOUS 1201991 HAS SOUPS 1201991 WITH SCORE 1204067.895
AT ITER 3312 NEW BEST:: SOT 9125916 SOS 2074193 HAS SOPS 2074193 HAS SOUS 1201952 HAS SOUPS 1201952 WITH SCORE 1204026.193
AT ITER 3350 NEW BEST:: SOT 9125975 SOS 2074093 HAS SOPS 2074093 HAS SOUS 1201932 HAS SOUPS 1201932 WITH SCORE 1204006.093
AT ITER 3355 NEW BEST:: SOT 9125739 SOS 2074067 HAS SOPS 2074067 HAS SOUS 1201906 HAS SOUPS 1201906 WITH SCORE 1203980.067
AT ITER 3392 NEW BEST:: SOT 9125739 SOS 2075050 HAS SOPS 2075050 HAS SOUS 1201627 HAS SOUPS 1201627 WITH SCORE 1203702.05
AT ITER 3397 NEW BEST:: SOT 9125739 SOS 2075050 HAS SOPS 2075050 HAS SOUS 1201625 HAS SOUPS 1201625 WITH SCORE 1203700.05
AT ITER 3413 NEW BEST:: SOT 9125739 SOS 2074973 HAS SOPS 2074973 HAS SOUS 1201548 HAS SOUPS 1201548 WITH SCORE 1203622.973
AT ITER 3419 NEW BEST:: SOT 9125739 SOS 2074973 HAS SOPS 2074973 HAS SOUS 1201371 HAS SOUPS 1201371 WITH SCORE 1203445.973
AT ITER 3438 NEW BEST:: SOT 9125660 SOS 2074891 HAS SOPS 2074891 HAS SOUS 1201291 HAS SOUPS 1201291 WITH SCORE 1203365.891
AT ITER 3450 NEW BEST:: SOT 9125500 SOS 2075327 HAS SOPS 2075327 HAS SOUS 1201188 HAS SOUPS 1201188 WITH SCORE 1203263.327
AT ITER 3467 NEW BEST:: SOT 9125500 SOS 2075568 HAS SOPS 2075568 HAS SOUS 1201187 HAS SOUPS 1201187 WITH SCORE 1203262.568
AT ITER 3470 NEW BEST:: SOT 9125499 SOS 2075566 HAS SOPS 2075566 HAS SOUS 1201185 HAS SOUPS 1201185 WITH SCORE 1203260.566
AT ITER 3487 NEW BEST:: SOT 9125469 SOS 2075506 HAS SOPS 2075506 HAS SOUS 1201125 HAS SOUPS 1201125 WITH SCORE 1203200.506
AT ITER 3499 NEW BEST:: SOT 9125438 SOS 2074723 HAS SOPS 2074723 HAS SOUS 1200342 HAS SOUPS 1200342 WITH SCORE 1202416.723
AT ITER 3508 NEW BEST:: SOT 9125257 SOS 2074971 HAS SOPS 2074971 HAS SOUS 1200161 HAS SOUPS 1200161 WITH SCORE 1202235.971
AT ITER 3512 NEW BEST:: SOT 9125257 SOS 2075221 HAS SOPS 2075221 HAS SOUS 1200159 HAS SOUPS 1200159 WITH SCORE 1202234.221
AT ITER 3519 NEW BEST:: SOT 9125092 SOS 2075465 HAS SOPS 2075465 HAS SOUS 1199982 HAS SOUPS 1199982 WITH SCORE 1202057.465
AT ITER 3521 NEW BEST:: SOT 9125079 SOS 2075452 HAS SOPS 2075452 HAS SOUS 1199982 HAS SOUPS 1199982 WITH SCORE 1202057.452
AT ITER 3567 NEW BEST:: SOT 9124631 SOS 2075004 HAS SOPS 2075004 HAS SOUS 1199534 HAS SOUPS 1199534 WITH SCORE 1201609.004
AT ITER 3615 NEW BEST:: SOT 9124404 SOS 2074879 HAS SOPS 2074879 HAS SOUS 1199112 HAS SOUPS 1199112 WITH SCORE 1201186.879
AT ITER 3655 NEW BEST:: SOT 9124204 SOS 2074882 HAS SOPS 2074882 HAS SOUS 1199074 HAS SOUPS 1199074 WITH SCORE 1201148.882
AT ITER 3686 NEW BEST:: SOT 9124268 SOS 2075010 HAS SOPS 2075010 HAS SOUS 1198665 HAS SOUPS 1198665 WITH SCORE 1200740.01
AT ITER 3710 NEW BEST:: SOT 9124243 SOS 2074960 HAS SOPS 2074960 HAS SOUS 1198615 HAS SOUPS 1198615 WITH SCORE 1200689.96
AT ITER 3720 NEW BEST:: SOT 9124243 SOS 2073970 HAS SOPS 2073970 HAS SOUS 1198285 HAS SOUPS 1198285 WITH SCORE 1200358.97
AT ITER 3744 NEW BEST:: SOT 9124243 SOS 2073970 HAS SOPS 2073970 HAS SOUS 1198097 HAS SOUPS 1198097 WITH SCORE 1200170.97
AT ITER 3790 NEW BEST:: SOT 9124243 SOS 2073130 HAS SOPS 2073130 HAS SOUS 1197817 HAS SOUPS 1197817 WITH SCORE 1199890.13
AT ITER 3801 NEW BEST:: SOT 9124073 SOS 2072960 HAS SOPS 2072960 HAS SOUS 1197647 HAS SOUPS 1197647 WITH SCORE 1199719.96
AT ITER 3803 NEW BEST:: SOT 9123540 SOS 2072423 HAS SOPS 2072423 HAS SOUS 1197113 HAS SOUPS 1197113 WITH SCORE 1199185.423
AT ITER 3842 NEW BEST:: SOT 9123488 SOS 2072523 HAS SOPS 2072523 HAS SOUS 1197060 HAS SOUPS 1197060 WITH SCORE 1199132.523
AT ITER 3851 NEW BEST:: SOT 9123241 SOS 2072029 HAS SOPS 2072029 HAS SOUS 1196566 HAS SOUPS 1196566 WITH SCORE 1198638.029
AT ITER 3864 NEW BEST:: SOT 9123240 SOS 2072027 HAS SOPS 2072027 HAS SOUS 1196564 HAS SOUPS 1196564 WITH SCORE 1198636.027
AT ITER 3906 NEW BEST:: SOT 9123204 SOS 2072017 HAS SOPS 2072017 HAS SOUS 1196563 HAS SOUPS 1196563 WITH SCORE 1198635.017
AT ITER 3926 NEW BEST:: SOT 9123123 SOS 2072677 HAS SOPS 2072677 HAS SOUS 1196049 HAS SOUPS 1196049 WITH SCORE 1198121.677
AT ITER 3929 NEW BEST:: SOT 9122991 SOS 2072631 HAS SOPS 2072631 HAS SOUS 1196003 HAS SOUPS 1196003 WITH SCORE 1198075.631
AT ITER 3956 NEW BEST:: SOT 9121378 SOS 2070910 HAS SOPS 2070910 HAS SOUS 1194282 HAS SOUPS 1194282 WITH SCORE 1196352.91
AT ITER 3974 NEW BEST:: SOT 9120802 SOS 2070910 HAS SOPS 2070910 HAS SOUS 1193706 HAS SOUPS 1193706 WITH SCORE 1195776.91
AT ITER 3979 NEW BEST:: SOT 9120201 SOS 2070427 HAS SOPS 2070427 HAS SOUS 1193223 HAS SOUPS 1193223 WITH SCORE 1195293.427
AT ITER 3986 NEW BEST:: SOT 9120201 SOS 2070856 HAS SOPS 2070856 HAS SOUS 1193222 HAS SOUPS 1193222 WITH SCORE 1195292.856
AT ITER 3991 NEW BEST:: SOT 9119725 SOS 2070376 HAS SOPS 2070376 HAS SOUS 1193221 HAS SOUPS 1193221 WITH SCORE 1195291.376
AT ITER 3998 NEW BEST:: SOT 9119932 SOS 2069786 HAS SOPS 2069786 HAS SOUS 1193056 HAS SOUPS 1193056 WITH SCORE 1195125.786
AT ITER 3999 NEW BEST:: SOT 9119932 SOS 2069450 HAS SOPS 2069450 HAS SOUS 1192944 HAS SOUPS 1192944 WITH SCORE 1195013.45
AT ITER 4001 NEW BEST:: SOT 9119107 SOS 2069243 HAS SOPS 2069243 HAS SOUS 1192600 HAS SOUPS 1192600 WITH SCORE 1194669.243
AT ITER 4026 NEW BEST:: SOT 9119107 SOS 2069085 HAS SOPS 2069085 HAS SOUS 1192521 HAS SOUPS 1192521 WITH SCORE 1194590.085
AT ITER 4036 NEW BEST:: SOT 9118756 SOS 2068891 HAS SOPS 2068891 HAS SOUS 1192169 HAS SOUPS 1192169 WITH SCORE 1194237.891
AT ITER 4084 NEW BEST:: SOT 9118755 SOS 2068889 HAS SOPS 2068889 HAS SOUS 1192167 HAS SOUPS 1192167 WITH SCORE 1194235.889
AT ITER 4107 NEW BEST:: SOT 9118642 SOS 2068663 HAS SOPS 2068663 HAS SOUS 1191832 HAS SOUPS 1191832 WITH SCORE 1193900.663
AT ITER 4112 NEW BEST:: SOT 9117602 SOS 2067611 HAS SOPS 2067611 HAS SOUS 1191401 HAS SOUPS 1191401 WITH SCORE 1193468.611
AT ITER 4133 NEW BEST:: SOT 9117602 SOS 2067718 HAS SOPS 2067718 HAS SOUS 1191400 HAS SOUPS 1191400 WITH SCORE 1193467.718
AT ITER 4144 NEW BEST:: SOT 9116590 SOS 2066756 HAS SOPS 2066756 HAS SOUS 1190438 HAS SOUPS 1190438 WITH SCORE 1192504.756
AT ITER 4188 NEW BEST:: SOT 9115767 SOS 2066991 HAS SOPS 2066991 HAS SOUS 1190218 HAS SOUPS 1190218 WITH SCORE 1192284.991
AT ITER 4205 NEW BEST:: SOT 9115601 SOS 2067465 HAS SOPS 2067465 HAS SOUS 1189732 HAS SOUPS 1189732 WITH SCORE 1191799.465
AT ITER 4208 NEW BEST:: SOT 9115232 SOS 2067183 HAS SOPS 2067183 HAS SOUS 1189592 HAS SOUPS 1189592 WITH SCORE 1191659.183
AT ITER 4213 NEW BEST:: SOT 9114242 SOS 2066463 HAS SOPS 2066463 HAS SOUS 1189322 HAS SOUPS 1189322 WITH SCORE 1191388.463
AT ITER 4218 NEW BEST:: SOT 9114039 SOS 2066260 HAS SOPS 2066260 HAS SOUS 1189119 HAS SOUPS 1189119 WITH SCORE 1191185.26
AT ITER 4219 NEW BEST:: SOT 9113943 SOS 2070802 HAS SOPS 2070802 HAS SOUS 1188927 HAS SOUPS 1188927 WITH SCORE 1190997.802
AT ITER 4224 NEW BEST:: SOT 9113845 SOS 2070737 HAS SOPS 2070737 HAS SOUS 1188730 HAS SOUPS 1188730 WITH SCORE 1190800.737
AT ITER 4239 NEW BEST:: SOT 9113845 SOS 2070686 HAS SOPS 2070686 HAS SOUS 1188679 HAS SOUPS 1188679 WITH SCORE 1190749.686
AT ITER 4249 NEW BEST:: SOT 9113426 SOS 2076184 HAS SOPS 2076184 HAS SOUS 1188260 HAS SOUPS 1188260 WITH SCORE 1190336.184
AT ITER 4297 NEW BEST:: SOT 9113205 SOS 2076049 HAS SOPS 2076049 HAS SOUS 1188125 HAS SOUPS 1188125 WITH SCORE 1190201.049
AT ITER 4300 NEW BEST:: SOT 9113086 SOS 2076037 HAS SOPS 2076037 HAS SOUS 1188006 HAS SOUPS 1188006 WITH SCORE 1190082.037
AT ITER 4321 NEW BEST:: SOT 9113443 SOS 2076553 HAS SOPS 2076553 HAS SOUS 1187925 HAS SOUPS 1187925 WITH SCORE 1190001.553
AT ITER 4356 NEW BEST:: SOT 9113419 SOS 2076364 HAS SOPS 2076364 HAS SOUS 1187866 HAS SOUPS 1187866 WITH SCORE 1189942.364
AT ITER 4361 NEW BEST:: SOT 9113408 SOS 2075799 HAS SOPS 2075799 HAS SOUS 1187856 HAS SOUPS 1187856 WITH SCORE 1189931.799
AT ITER 4378 NEW BEST:: SOT 9113448 SOS 2075227 HAS SOPS 2075227 HAS SOUS 1187610 HAS SOUPS 1187610 WITH SCORE 1189685.227
AT ITER 4459 NEW BEST:: SOT 9111069 SOS 2073474 HAS SOPS 2073474 HAS SOUS 1185713 HAS SOUPS 1185713 WITH SCORE 1187786.474
AT ITER 4481 NEW BEST:: SOT 9111315 SOS 2073490 HAS SOPS 2073490 HAS SOUS 1185527 HAS SOUPS 1185527 WITH SCORE 1187600.49
AT ITER 4512 NEW BEST:: SOT 9111161 SOS 2072720 HAS SOPS 2072720 HAS SOUS 1185373 HAS SOUPS 1185373 WITH SCORE 1187445.72
AT ITER 4525 NEW BEST:: SOT 9108876 SOS 2072737 HAS SOPS 2072737 HAS SOUS 1184817 HAS SOUPS 1184817 WITH SCORE 1186889.737
AT ITER 4531 NEW BEST:: SOT 9108876 SOS 2072361 HAS SOPS 2072361 HAS SOUS 1184817 HAS SOUPS 1184817 WITH SCORE 1186889.361
AT ITER 4547 NEW BEST:: SOT 9108517 SOS 2073742 HAS SOPS 2073742 HAS SOUS 1184086 HAS SOUPS 1184086 WITH SCORE 1186159.742
AT ITER 4555 NEW BEST:: SOT 9108746 SOS 2073108 HAS SOPS 2073108 HAS SOUS 1183991 HAS SOUPS 1183991 WITH SCORE 1186064.108
AT ITER 4564 NEW BEST:: SOT 9107365 SOS 2071759 HAS SOPS 2071759 HAS SOUS 1182642 HAS SOUPS 1182642 WITH SCORE 1184713.759
AT ITER 4583 NEW BEST:: SOT 9107209 SOS 2071447 HAS SOPS 2071447 HAS SOUS 1182330 HAS SOUPS 1182330 WITH SCORE 1184401.447
AT ITER 4589 NEW BEST:: SOT 9107149 SOS 2071389 HAS SOPS 2071389 HAS SOUS 1182274 HAS SOUPS 1182274 WITH SCORE 1184345.389
AT ITER 4602 NEW BEST:: SOT 9106996 SOS 2070927 HAS SOPS 2070927 HAS SOUS 1181967 HAS SOUPS 1181967 WITH SCORE 1184037.927
AT ITER 4633 NEW BEST:: SOT 9106933 SOS 2070675 HAS SOPS 2070675 HAS SOUS 1181841 HAS SOUPS 1181841 WITH SCORE 1183911.675
AT ITER 4662 NEW BEST:: SOT 9106933 SOS 2070689 HAS SOPS 2070689 HAS SOUS 1181840 HAS SOUPS 1181840 WITH SCORE 1183910.689
AT ITER 4679 NEW BEST:: SOT 9106933 SOS 2071627 HAS SOPS 2071627 HAS SOUS 1181839 HAS SOUPS 1181839 WITH SCORE 1183910.627
AT ITER 4693 NEW BEST:: SOT 9107019 SOS 2071541 HAS SOPS 2071541 HAS SOUS 1181839 HAS SOUPS 1181839 WITH SCORE 1183910.541
AT ITER 4698 NEW BEST:: SOT 9106052 SOS 2069831 HAS SOPS 2069831 HAS SOUS 1180921 HAS SOUPS 1180921 WITH SCORE 1182990.831
AT ITER 4714 NEW BEST:: SOT 9106052 SOS 2068541 HAS SOPS 2068541 HAS SOUS 1180491 HAS SOUPS 1180491 WITH SCORE 1182559.541
AT ITER 4727 NEW BEST:: SOT 9105929 SOS 2068295 HAS SOPS 2068295 HAS SOUS 1180245 HAS SOUPS 1180245 WITH SCORE 1182313.295
AT ITER 4731 NEW BEST:: SOT 9105521 SOS 2063807 HAS SOPS 2063807 HAS SOUS 1179429 HAS SOUPS 1179429 WITH SCORE 1181492.807
AT ITER 4775 NEW BEST:: SOT 9105461 SOS 2063747 HAS SOPS 2063747 HAS SOUS 1179369 HAS SOUPS 1179369 WITH SCORE 1181432.747
AT ITER 4792 NEW BEST:: SOT 9105048 SOS 2062921 HAS SOPS 2062921 HAS SOUS 1177994 HAS SOUPS 1177994 WITH SCORE 1180056.921
AT ITER 4819 NEW BEST:: SOT 9105048 SOS 2062562 HAS SOPS 2062562 HAS SOUS 1177917 HAS SOUPS 1177917 WITH SCORE 1179979.562
AT ITER 4853 NEW BEST:: SOT 9104943 SOS 2062247 HAS SOPS 2062247 HAS SOUS 1177917 HAS SOUPS 1177917 WITH SCORE 1179979.247
AT ITER 4866 NEW BEST:: SOT 9104821 SOS 2062003 HAS SOPS 2062003 HAS SOUS 1176998 HAS SOUPS 1176998 WITH SCORE 1179060.003
AT ITER 4873 NEW BEST:: SOT 9104789 SOS 2061939 HAS SOPS 2061939 HAS SOUS 1176934 HAS SOUPS 1176934 WITH SCORE 1178995.939
AT ITER 4893 NEW BEST:: SOT 9104663 SOS 2061687 HAS SOPS 2061687 HAS SOUS 1176809 HAS SOUPS 1176809 WITH SCORE 1178870.687
AT ITER 4899 NEW BEST:: SOT 9104351 SOS 2059641 HAS SOPS 2059641 HAS SOUS 1176339 HAS SOUPS 1176339 WITH SCORE 1178398.641
AT ITER 4933 NEW BEST:: SOT 9104351 SOS 2060102 HAS SOPS 2060102 HAS SOUS 1176338 HAS SOUPS 1176338 WITH SCORE 1178398.102
AT ITER 4966 NEW BEST:: SOT 9104321 SOS 2060042 HAS SOPS 2060042 HAS SOUS 1176278 HAS SOUPS 1176278 WITH SCORE 1178338.042
AT ITER 4979 NEW BEST:: SOT 9104277 SOS 2059954 HAS SOPS 2059954 HAS SOUS 1176190 HAS SOUPS 1176190 WITH SCORE 1178249.954
AT ITER 4980 NEW BEST:: SOT 9104192 SOS 2064077 HAS SOPS 2064077 HAS SOUS 1176105 HAS SOUPS 1176105 WITH SCORE 1178169.077
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-08b-CTLCardinality-00 (AG( (AF(potential( ( 2 ) <= (tk(P2106)) )))))
PROPERTY: DLCround-PT-08b-CTLCardinality-01 ( ( ( (AG( potential( (tk(P2280)) <= (tk(P2221)) ))) & (AG( potential( (tk(P681)) <= (tk(P2579)) ))) ) & ( potential( (tk(P2102)) <= (tk(P800)) ) & ( ( potential( ( 3 ) <= (tk(P2753)) ) | potential( (tk(P1860)) <= (tk(P2994)) ) ) | ( potential( (tk(P2770)) <= (tk(P2448)) ) | potential( ( 3 ) <= (tk(P2663)) ) ) ) ) ) | (EF((AG( potential( (tk(P1869)) <= (tk(P2218)) ))))) )
PROPERTY: DLCround-PT-08b-CTLCardinality-02 (! (AF((! ( potential( (tk(P490)) <= (tk(P1522)) ) | potential( ( 2 ) <= (tk(P2477)) ) )))))
PROPERTY: DLCround-PT-08b-CTLCardinality-03 (EG( (AF(( potential( (tk(P1701)) <= (tk(P2426)) ) & potential( (tk(P573)) <= (tk(P2726)) ) )))))
PROPERTY: DLCround-PT-08b-CTLCardinality-04 (EF((! (AF(potential( (tk(P2943)) <= (tk(P2565)) ))))))
PROPERTY: DLCround-PT-08b-CTLCardinality-05 (AG( ( potential( (tk(P1892)) <= (tk(P2538)) ) | ( ( potential( (tk(P1487)) <= (tk(P2412)) ) | potential( ( 1 ) <= (tk(P2212)) ) ) | ( potential( (tk(P380)) <= (tk(P161)) ) | potential( ( 3 ) <= (tk(P2841)) ) ) ) )))
PROPERTY: DLCround-PT-08b-CTLCardinality-06 (AU( potential( (tk(P1058)) <= (tk(P2096)) ),( ( potential( ( 1 ) <= (tk(P2755)) ) & potential( ( 3 ) <= (tk(P2671)) ) ) & ( potential( (tk(P484)) <= (tk(P691)) ) & potential( ( 1 ) <= (tk(P1627)) ) ) ) ))
PROPERTY: DLCround-PT-08b-CTLCardinality-07 (AU( ( potential( (tk(P2251)) <= (tk(P2890)) ) | ( potential( ( 2 ) <= (tk(P114)) ) & potential( (tk(P788)) <= (tk(P1473)) ) ) ),(EG( potential( (tk(P257)) <= (tk(P106)) ))) ))
PROPERTY: DLCround-PT-08b-CTLCardinality-08 (AU( potential( (tk(P496)) <= (tk(P515)) ),( ( potential( ( 1 ) <= (tk(P1193)) ) | potential( ( 3 ) <= (tk(P1758)) ) ) & ( potential( ( 1 ) <= (tk(P2700)) ) | potential( ( 3 ) <= (tk(P128)) ) ) ) ))
PROPERTY: DLCround-PT-08b-CTLCardinality-09 (EX( (AG( (! potential( ( 3 ) <= (tk(P2706)) ))))))
PROPERTY: DLCround-PT-08b-CTLCardinality-10 (EG( ( ( ( potential( ( 1 ) <= (tk(P851)) ) & potential( (tk(P2356)) <= (tk(P2938)) ) ) & ( potential( ( 2 ) <= (tk(P1042)) ) & potential( ( 3 ) <= (tk(P2422)) ) ) ) | (EX( potential( (tk(P1393)) <= (tk(P1224)) ))) )))
PROPERTY: DLCround-PT-08b-CTLCardinality-11 ( ( ( potential( (tk(P128)) <= (tk(P163)) ) | (! ( potential( ( 3 ) <= (tk(P2117)) ) & potential( (tk(P860)) <= (tk(P2699)) ) )) ) | (! ( ( potential( ( 2 ) <= (tk(P1417)) ) & potential( (tk(P2311)) <= (tk(P3078)) ) ) & ( potential( (tk(P1902)) <= (tk(P1727)) ) | potential( ( 2 ) <= (tk(P1652)) ) ) )) ) & (AX( (EF(potential( ( 3 ) <= (tk(P2468)) ))))) )
PROPERTY: DLCround-PT-08b-CTLCardinality-12 (AF(( (EG( potential( ( 2 ) <= (tk(P2694)) ))) | (AG( potential( ( 1 ) <= (tk(P1575)) ))) )))
PROPERTY: DLCround-PT-08b-CTLCardinality-13 (! ( potential( ( 2 ) <= (tk(P3057)) ) | (EG( ( potential( (tk(P2825)) <= (tk(P2401)) ) & potential( (tk(P1930)) <= (tk(P2778)) ) ))) ))
PROPERTY: DLCround-PT-08b-CTLCardinality-14 ( (AU( ( potential( ( 3 ) <= (tk(P444)) ) | potential( ( 3 ) <= (tk(P2163)) ) ),( potential( ( 2 ) <= (tk(P269)) ) & potential( (tk(P882)) <= (tk(P571)) ) ) )) | (EF(( potential( ( 1 ) <= (tk(P1888)) ) & (! potential( (tk(P702)) <= (tk(P2708)) )) ))) )
PROPERTY: DLCround-PT-08b-CTLCardinality-15 (AU( ( ( potential( (tk(P120)) <= (tk(P2516)) ) & potential( ( 1 ) <= (tk(P2514)) ) ) | (! potential( ( 1 ) <= (tk(P2645)) )) ),( ( potential( ( 3 ) <= (tk(P2541)) ) & potential( (tk(P539)) <= (tk(P2338)) ) ) & ( potential( (tk(P2000)) <= (tk(P81)) ) & potential( (tk(P310)) <= (tk(P1769)) ) ) ) ))

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-08b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCround-PT-08b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542300539"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-08b.tgz
mv DLCround-PT-08b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;